Trace number 363222

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
glpPB 0.2OPT-98107 47.8667 47.8883

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p6000.opb
MD5SUMe2f15e37dec17456fb4044387114eb48
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-98107
Best CPU time to get the best result obtained on this benchmark47.8667
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -98107
Optimality of the best value was proved YES
Number of variables6000
Total number of constraints2171
Number of constraints which are clauses222
Number of constraints which are cardinality constraints (but not clauses)1914
Number of constraints which are nor clauses,nor cardinality constraints35
Minimum length of a constraint2
Maximum length of a constraint5998
Number of terms in the objective function 5995
Biggest coefficient in the objective function 3684
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 527319
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 25616
Number of bits of the biggest number in a constraint 15
Biggest sum of numbers in a constraint 527319
Number of bits of the biggest sum of numbers20
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/0.00	c glpPB 0.2 (July 2006)
0.00/0.00	c An Application of GLPK 4.10 for PB Constraints
0.00/0.00	c Done @ University of Michigan, Ann Arbor, MI
0.00/0.00	c  by Hossein Sheini
47.77/47.88	c starting to Solve
47.77/47.88	c total time = 47.86
47.77/47.88	o -98107
47.77/47.88	c quality of integer solution is H
47.77/47.88	s OPTIMUM FOUND
47.77/47.88	v -x1 -x1112 -x2223 -x3334 -x4445 -x5556 -x5668 -x5779 -x5890 -x2 -x113 -x224 -x335 -x446 -x557 -x668 -x779 -x890 -x1001 -x1113
47.77/47.88	v -x1224 -x1335 -x1446 -x1557 -x1668 -x1779 -x1890 -x2001 -x2112 -x2224 -x2335 -x2446 -x2557 -x2668 -x2779 -x2890 -x3001
47.77/47.88	v -x3112 -x3223 -x3335 -x3446 -x3557 -x3668 -x3779 -x3890 -x4001 x4112 -x4223 -x4334 -x4446 -x4557 -x4668 -x4779 -x4890
47.77/47.88	v -x5001 -x5112 -x5223 -x5334 -x5445 -x5557 -x5569 -x5580 -x5591 -x5602 -x5613 -x5624 -x5635 -x5646 -x5657 -x5669 -x5680
47.77/47.88	v -x5691 -x5702 -x5713 -x5724 -x5735 -x5746 -x5757 -x5768 -x5780 -x5791 -x5802 -x5813 -x5824 -x5835 -x5846 -x5857 -x5868
47.77/47.88	v -x5879 -x5891 -x5902 -x5913 -x5924 -x5935 -x5946 -x5957 -x5968 -x5979 -x5990 -x3 -x14 -x25 -x36 -x47 -x58 -x69 -x80 -x91
47.77/47.88	v -x102 -x114 -x125 -x136 -x147 -x158 -x169 -x180 -x191 -x202 -x213 -x225 -x236 -x247 -x258 -x269 -x280 -x291 -x302 -x313 -x324
47.77/47.88	v -x336 -x347 -x358 -x369 -x380 -x391 -x402 -x413 -x424 -x435 -x447 -x458 x469 -x480 -x491 -x502 -x513 -x524 -x535 -x546 -x558
47.77/47.88	v -x569 -x580 -x591 -x602 -x613 -x624 -x635 -x646 -x657 -x669 -x680 -x691 -x702 -x713 -x724 -x735 -x746 -x757 -x768 -x780 -x791
47.77/47.88	v -x802 -x813 -x824 -x835 -x846 -x857 -x868 -x879 -x891 -x902 -x913 -x924 -x935 -x946 -x957 -x968 -x979 -x990 -x1002 -x1013
47.77/47.88	v -x1024 -x1035 -x1046 -x1057 -x1068 -x1079 -x1090 -x1101 -x1114 -x1125 -x1136 -x1147 -x1158 -x1169 -x1180 -x1191 -x1202
47.77/47.88	v -x1213 -x1225 -x1236 -x1247 -x1258 -x1269 -x1280 -x1291 -x1302 -x1313 -x1324 -x1336 -x1347 -x1358 -x1369 -x1380 -x1391
47.77/47.88	v -x1402 -x1413 -x1424 -x1435 -x1447 -x1458 -x1469 -x1480 -x1491 -x1502 -x1513 -x1524 -x1535 x1546 -x1558 -x1569 -x1580
47.77/47.88	v -x1591 -x1602 -x1613 -x1624 -x1635 -x1646 -x1657 -x1669 x1680 -x1691 -x1702 x1713 -x1724 -x1735 -x1746 x1757 -x1768 -x1780
47.77/47.88	v x1791 x1802 -x1813 -x1824 -x1835 -x1846 x1857 -x1868 x1879 -x1891 x1902 -x1913 -x1924 -x1935 x1946 -x1957 -x1968 x1979
47.77/47.88	v -x1990 -x2002 x2013 -x2024 -x2035 -x2046 -x2057 -x2068 -x2079 -x2090 -x2101 x2113 -x2124 -x2135 x2146 -x2157 -x2168 -x2179
47.77/47.88	v x2190 x2201 -x2212 -x2225 x2236 -x2247 -x2258 -x2269 -x2280 x2291 x2302 -x2313 -x2324 -x2336 x2347 -x2358 -x2369 -x2380
47.77/47.88	v x2391 -x2402 -x2413 x2424 -x2435 x2447 -x2458 x2469 -x2480 -x2491 x2502 -x2513 -x2524 -x2535 -x2546 x2558 -x2569 -x2580
47.77/47.88	v x2591 x2602 -x2613 -x2624 x2635 -x2646 -x2657 x2669 -x2680 -x2691 -x2702 x2713 -x2724 x2735 -x2746 -x2757 -x2768 -x2780
47.77/47.88	v x2791 -x2802 -x2813 x2824 x2835 -x2846 -x2857 x2868 -x2879 -x2891 -x2902 x2913 -x2924 -x2935 x2946 -x2957 -x2968 x2979
47.77/47.88	v -x2990 -x3002 x3013 -x3024 x3035 -x3046 -x3057 -x3068 x3079 -x3090 -x3101 x3113 -x3124 x3135 -x3146 -x3157 -x3168 -x3179
47.77/47.88	v x3190 x3201 -x3212 -x3224 -x3235 -x3246 x3257 -x3268 -x3279 x3290 -x3301 x3312 -x3323 -x3336 x3347 -x3358 x3369 -x3380
47.77/47.88	v -x3391 x3402 -x3413 -x3424 -x3435 -x3447 x3458 -x3469 -x3480 x3491 -x3502 -x3513 x3524 -x3535 -x3546 x3558 x3569 -x3580
47.77/47.88	v -x3591 -x3602 -x3613 x3624 -x3635 x3646 -x3657 -x3669 x3680 -x3691 -x3702 -x3713 x3724 -x3735 x3746 -x3757 -x3768 -x3780
47.77/47.88	v -x3791 x3802 -x3813 -x3824 x3835 -x3846 -x3857 x3868 -x3879 -x3891 -x3902 x3913 -x3924 -x3935 x3946 -x3957 x3968 -x3979
47.77/47.88	v -x3990 x4002 -x4013 -x4024 -x4035 x4046 -x4057 -x4068 -x4079 x4090 x4101 -x4113 -x4124 -x4135 -x4146 x4157 x4168 -x4179
47.77/47.88	v -x4190 -x4201 -x4212 x4224 x4235 -x4246 -x4257 x4268 -x4279 -x4290 -x4301 -x4312 x4323 -x4335 x4346 -x4357 -x4368 x4379
47.77/47.88	v -x4390 -x4401 x4412 -x4423 -x4434 x4447 -x4458 x4469 -x4480 -x4491 -x4502 -x4513 x4524 -x4535 -x4546 x4558 -x4569 x4580
47.77/47.88	v -x4591 -x4602 -x4613 -x4624 -x4635 -x4646 -x4657 -x4669 -x4680 -x4691 x4702 -x4713 -x4724 -x4735 -x4746 -x4757 -x4768
47.77/47.88	v -x4780 -x4791 -x4802 -x4813 -x4824 -x4835 -x4846 x4857 x4868 -x4879 -x4891 -x4902 -x4913 -x4924 -x4935 -x4946 -x4957 -x4968
47.77/47.88	v -x4979 -x4990 -x5002 -x5013 -x5024 x5035 -x5046 -x5057 -x5068 -x5079 -x5090 -x5101 -x5113 -x5124 -x5135 -x5146 x5157 -x5168
47.77/47.88	v x5179 -x5190 -x5201 -x5212 x5224 -x5235 x5246 -x5257 -x5268 x5279 -x5290 x5301 -x5312 -x5323 -x5335 x5346 -x5357 x5368
47.77/47.88	v -x5379 -x5390 -x5401 -x5412 -x5423 x5434 -x5446 -x5457 x5468 -x5479 -x5490 -x5501 -x5512 x5523 x5534 -x5545 -x5558 -x5560
47.77/47.88	v x5561 -x5562 -x5563 -x5564 -x5565 -x5566 x5567 -x5568 x5570 -x5571 -x5572 -x5573 x5574 -x5575 -x5576 x5577 -x5578 x5579
47.77/47.88	v -x5581 -x5582 x5583 -x5584 -x5585 -x5586 -x5587 x5588 -x5589 -x5590 -x5592 -x5593 -x5594 x5595 -x5596 x5597 -x5598 -x5599
47.77/47.88	v -x5600 -x5601 -x5603 -x5604 -x5605 -x5606 -x5607 x5608 -x5609 -x5610 x5611 x5612 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619
47.77/47.88	v -x5620 -x5621 -x5622 x5623 -x5625 -x5626 x5627 -x5628 x5629 -x5630 -x5631 -x5632 -x5633 x5634 -x5636 x5637 -x5638 -x5639
47.77/47.88	v -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5647 x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 x5656 -x5658 -x5659
47.77/47.88	v x5660 -x5661 -x5662 -x5663 x5664 -x5665 -x5666 x5667 x5670 -x5671 -x5672 -x5673 x5674 -x5675 -x5676 -x5677 -x5678 -x5679
47.77/47.88	v -x5681 -x5682 -x5683 -x5684 x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5692 -x5693 x5694 -x5695 x5696 -x5697 -x5698 -x5699
47.77/47.88	v -x5700 -x5701 -x5703 x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5714 x5715 -x5716 x5717 -x5718 -x5719
47.77/47.88	v -x5720 x5721 -x5722 -x5723 -x5725 -x5726 x5727 -x5728 -x5729 -x5730 x5731 -x5732 x5733 -x5734 -x5736 x5737 -x5738 -x5739
47.77/47.88	v -x5740 -x5741 x5742 -x5743 -x5744 -x5745 -x5747 x5748 -x5749 -x5750 -x5751 -x5752 x5753 -x5754 x5755 -x5756 -x5758 -x5759
47.77/47.88	v x5760 -x5761 -x5762 -x5763 x5764 -x5765 -x5766 -x5767 -x5769 -x5770 -x5771 x5772 -x5773 -x5774 -x5775 x5776 -x5777 -x5778
47.77/47.88	v -x5781 -x5782 x5783 -x5784 -x5785 x5786 -x5787 -x5788 -x5789 -x5790 -x5792 -x5793 -x5794 x5795 -x5796 -x5797 -x5798 -x5799
47.77/47.88	v -x5800 -x5801 -x5803 -x5804 x5805 -x5806 -x5807 -x5808 -x5809 x5810 -x5811 -x5812 -x5814 -x5815 -x5816 -x5817 -x5818 x5819
47.77/47.88	v -x5820 -x5821 -x5822 x5823 -x5825 x5826 -x5827 -x5828 -x5829 x5830 -x5831 -x5832 -x5833 -x5834 -x5836 -x5837 -x5838 -x5839
47.77/47.88	v -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5858
47.77/47.88	v -x5859 -x5860 x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5869 -x5870 x5871 -x5872 -x5873 -x5874 -x5875 -x5876 x5877
47.77/47.88	v x5878 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 x5892 -x5893 -x5894 -x5895 -x5896 x5897 -x5898
47.77/47.88	v x5899 -x5900 -x5901 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 x5911 -x5912 x5914 -x5915 -x5916 -x5917 -x5918
47.77/47.88	v -x5919 -x5920 -x5921 -x5922 -x5923 -x5925 -x5926 x5927 -x5928 -x5929 -x5930 x5931 -x5932 -x5933 x5934 -x5936 -x5937 -x5938
47.77/47.88	v -x5939 -x5940 -x5941 x5942 -x5943 -x5944 x5945 -x5947 -x5948 -x5949 -x5950 x5951 -x5952 -x5953 -x5954 -x5955 x5956 -x5958
47.77/47.88	v -x5959 -x5960 x5961 x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5969 x5970 -x5971 -x5972 -x5973 -x5974 -x5975 x5976 -x5977
47.77/47.88	v -x5978 x5980 -x5981 x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997
47.77/47.88	v -x5998 x5999 -x6000 -x4 x5 -x6 -x7 -x8 x9 x10 -x11 -x12 -x13 x15 -x16 -x17 -x18 x19 x20 -x21 -x22 -x23 -x24 -x26 -x27 -x28 -x29
47.77/47.88	v -x30 x31 -x32 x33 -x34 -x35 -x37 -x38 -x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x59
47.77/47.88	v -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x81 -x82 -x83 -x84 -x85 -x86 -x87
47.77/47.88	v x88 -x89 x90 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x115
47.77/47.88	v -x116 x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x137 -x138
47.77/47.88	v -x139 -x140 -x141 x142 -x143 -x144 x145 -x146 x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 x157 -x159 x160 -x161 -x162
47.77/47.88	v -x163 -x164 x165 -x166 -x167 x168 x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x181 -x182 -x183 -x184 -x185
47.77/47.88	v -x186 -x187 x188 x189 -x190 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x203 x204 -x205 -x206 -x207 -x208
47.77/47.88	v -x209 -x210 x211 -x212 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 x223 -x226 -x227 -x228 -x229 -x230 -x231 x232
47.77/47.88	v -x233 -x234 -x235 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x248 -x249 -x250 -x251 -x252 x253 -x254 -x255
47.77/47.88	v -x256 x257 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x270 -x271 -x272 -x273 -x274 -x275 -x276 x277 -x278
47.77/47.88	v -x279 -x281 -x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301
47.77/47.88	v x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x314 -x315 -x316 -x317 -x318 -x319 -x320 x321 -x322 -x323 x325
47.77/47.88	v -x326 x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x348 -x349
47.77/47.88	v x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x370 -x371 -x372
47.77/47.88	v -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x392 -x393 -x394 -x395
47.77/47.88	v -x396 -x397 -x398 -x399 -x400 -x401 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x414 -x415 -x416 -x417 -x418
47.77/47.88	v -x419 -x420 -x421 -x422 -x423 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x436 x437 -x438 -x439 -x440 -x441
47.77/47.88	v -x442 -x443 -x444 -x445 -x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 -x457 -x459 x460 -x461 -x462 x463 -x464 -x465
47.77/47.88	v -x466 -x467 x468 -x470 -x472 -x473 -x474 -x475 -x476 -x477 x478 -x479 -x481 -x482 -x483 -x484 -x485 -x486 x487 -x488 -x489
47.77/47.88	v -x490 -x492 -x493 -x494 -x495 -x496 -x497 -x498 x499 -x500 -x501 -x503 -x504 -x505 -x506 x507 -x508 x509 -x510 -x511 -x512
47.77/47.88	v -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 x523 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 x533 -x534 -x536
47.77/47.88	v -x537 -x538 -x539 -x540 -x541 -x542 x543 -x544 -x545 -x547 -x548 -x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 -x559 -x560
47.77/47.88	v -x561 x562 -x563 -x564 -x565 -x566 -x567 x568 x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x581 -x582 -x583
47.77/47.88	v -x584 -x585 -x586 x587 -x588 -x589 -x590 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x603 -x604 -x605 -x606
47.77/47.88	v -x607 -x608 -x609 -x610 -x611 -x612 -x614 -x615 x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 x625 -x626 -x627 -x628 -x629
47.77/47.88	v -x630 -x631 -x632 -x633 -x634 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x647 -x648 -x649 -x650 -x651 -x652
47.77/47.88	v -x653 -x654 -x655 -x656 -x658 -x659 x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x670 -x671 -x672 -x673 -x674 -x675 -x676
47.77/47.88	v -x677 -x678 -x679 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699
47.77/47.88	v -x700 -x701 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x714 -x715 -x716 -x717 x718 -x719 -x720 -x721 -x722
47.77/47.88	v -x723 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 x733 -x734 -x736 x737 -x738 x739 -x740 -x741 -x742 -x743 -x744 -x745
47.77/47.88	v -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 x755 -x756 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x769
47.77/47.88	v -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x792 x793
47.77/47.88	v -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x814 -x815 -x816
47.77/47.88	v -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x836 -x837 -x838 x839
47.77/47.88	v -x840 -x841 -x842 -x843 -x844 -x845 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x858 -x859 -x860 -x861 -x862
47.77/47.88	v -x863 -x864 -x865 -x866 -x867 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x880 -x881 -x882 -x883 -x884 -x885
47.77/47.88	v -x886 -x887 -x888 -x889 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x903 -x904 -x905 -x906 -x907 -x908 -x909
47.77/47.88	v -x910 -x911 -x912 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932
47.77/47.88	v -x933 -x934 -x936 x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955
47.77/47.88	v -x956 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x969 x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978
47.77/47.88	v -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000
47.77/47.88	v -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020
47.77/47.88	v -x1021 -x1022 -x1023 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1036 -x1037 -x1038 -x1039
47.77/47.88	v -x1040 -x1041 -x1042 x1043 -x1044 -x1045 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1058
47.77/47.88	v -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076
47.77/47.88	v -x1077 -x1078 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1091 -x1092 -x1093 -x1094 -x1095
47.77/47.88	v -x1096 -x1097 -x1098 -x1099 -x1100 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1115 -x1116
47.77/47.88	v -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134
47.77/47.88	v -x1135 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153
47.77/47.88	v -x1154 -x1155 -x1156 -x1157 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1170 -x1171 -x1172
47.77/47.88	v -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190
47.77/47.88	v -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209
47.77/47.88	v -x1210 x1211 -x1212 -x1214 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1226 -x1227 -x1228 -x1229 -x1230
47.77/47.88	v -x1231 -x1232 -x1233 -x1234 -x1235 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1248 -x1249
47.77/47.88	v -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267
47.77/47.88	v -x1268 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286
47.77/47.88	v -x1287 -x1288 -x1289 -x1290 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1303 -x1304 -x1305
47.77/47.88	v -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 x1312 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323
47.77/47.88	v -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1337 -x1338 -x1339 -x1340 x1341 -x1342 -x1343
47.77/47.88	v -x1344 -x1345 -x1346 -x1348 -x1349 -x1350 x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1359 -x1360 -x1361 -x1362
47.77/47.88	v -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1381
47.77/47.88	v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399
47.77/47.88	v -x1400 -x1401 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1414 -x1415 -x1416 -x1417 -x1418
47.77/47.88	v -x1419 -x1420 -x1421 -x1422 -x1423 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1436 -x1437
47.77/47.88	v -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456
47.77/47.88	v -x1457 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475
47.77/47.88	v -x1476 -x1477 -x1478 -x1479 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1492 -x1493 -x1494
47.77/47.88	v -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512
47.77/47.88	v -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531
47.77/47.88	v -x1532 -x1533 -x1534 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1547 -x1548 -x1549 -x1550
47.77/47.88	v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1570
47.77/47.88	v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588
47.77/47.88	v -x1589 -x1590 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1603 -x1604 -x1605 -x1606 -x1607
47.77/47.88	v -x1608 -x1609 -x1610 -x1611 -x1612 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1625 -x1626
47.77/47.88	v -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644
47.77/47.88	v -x1645 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663
47.77/47.88	v -x1664 -x1665 -x1666 -x1667 -x1670 -x1671 -x1672 -x1673 x1674 -x1675 x1676 -x1677 -x1678 -x1679 -x1681 -x1682 -x1683 -x1684
47.77/47.88	v -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1703
47.77/47.88	v x1704 -x1705 x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722
47.77/47.88	v -x1723 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 x1733 -x1734 -x1736 -x1737 x1738 -x1739 -x1740 x1741 -x1742
47.77/47.88	v -x1743 x1744 -x1745 -x1747 -x1748 x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 x1756 -x1758 -x1759 x1760 -x1761 -x1762
47.77/47.88	v -x1763 -x1764 -x1765 -x1766 x1767 -x1769 -x1770 x1771 -x1772 -x1773 x1774 x1775 -x1776 -x1777 x1778 -x1781 -x1782 -x1783
47.77/47.88	v -x1784 x1785 -x1786 x1787 -x1788 -x1789 -x1790 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 x1799 -x1800 -x1801 -x1803
47.77/47.88	v x1804 -x1805 -x1806 -x1807 x1808 -x1809 -x1810 -x1811 -x1812 -x1814 x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 x1822
47.77/47.88	v -x1823 -x1825 -x1826 -x1827 -x1828 x1829 -x1830 -x1831 -x1832 x1833 -x1834 -x1836 -x1837 -x1838 -x1839 -x1840 x1841 -x1842
47.77/47.88	v x1843 -x1844 -x1845 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1858 -x1859 -x1860 -x1861
47.77/47.88	v -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1869 -x1870 x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 x1880 -x1881
47.77/47.88	v -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 x1892 -x1893 -x1894 -x1895 x1896 -x1897 -x1898 -x1899 -x1900 -x1901
47.77/47.88	v -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920
47.77/47.88	v -x1921 -x1922 -x1923 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1936 -x1937 -x1938 -x1939
47.77/47.88	v -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1958
47.77/47.88	v -x1959 x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976
47.77/47.88	v -x1977 -x1978 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1989 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996
47.77/47.88	v -x1997 -x1998 -x1999 -x2000 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2014 -x2015 -x2016
47.77/47.88	v -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034
47.77/47.88	v -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053
47.77/47.88	v -x2054 -x2055 -x2056 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2069 -x2070 -x2071 -x2072
47.77/47.88	v -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2080 -x2081 x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 x2091 -x2092
47.77/47.88	v -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110
47.77/47.88	v -x2111 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130
47.77/47.88	v -x2131 -x2132 -x2133 -x2134 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2147 -x2148 -x2149
47.77/47.88	v -x2150 -x2151 -x2152 -x2153 x2154 -x2155 -x2156 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167
47.77/47.88	v -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2176 -x2177 -x2178 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187
47.77/47.88	v -x2188 -x2189 -x2191 -x2192 x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2202 -x2203 -x2204 -x2205 -x2206
47.77/47.88	v -x2207 -x2208 -x2209 -x2210 -x2211 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2226 -x2227
47.77/47.88	v -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245
47.77/47.88	v -x2246 -x2248 -x2249 -x2250 -x2251 -x2252 x2253 -x2254 -x2255 -x2256 -x2257 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264
47.77/47.88	v -x2265 -x2266 -x2267 -x2268 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2281 -x2282 -x2283
47.77/47.88	v -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301
47.77/47.88	v -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 x2310 -x2311 -x2312 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320
47.77/47.88	v -x2321 -x2322 -x2323 -x2325 -x2326 -x2327 -x2328 -x2329 x2330 -x2331 -x2332 -x2333 -x2334 -x2337 -x2338 -x2339 -x2340
47.77/47.88	v -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 x2359
47.77/47.88	v -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377
47.77/47.88	v -x2378 -x2379 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2392 -x2393 -x2394 -x2395 -x2396
47.77/47.88	v -x2397 -x2398 -x2399 -x2400 -x2401 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2414 -x2415
47.77/47.88	v -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433
47.77/47.88	v -x2434 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453
47.77/47.88	v -x2454 -x2455 -x2456 -x2457 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2470 -x2471 -x2472
47.77/47.88	v -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490
47.77/47.88	v -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509
47.77/47.88	v -x2510 -x2511 -x2512 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2525 -x2526 -x2527 -x2528
47.77/47.88	v -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2547
47.77/47.88	v -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566
47.77/47.88	v -x2567 -x2568 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2581 -x2582 -x2583 -x2584 -x2585
47.77/47.88	v -x2586 -x2587 -x2588 -x2589 -x2590 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2603 -x2604
47.77/47.88	v -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622
47.77/47.88	v -x2623 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641
47.77/47.88	v -x2642 -x2643 -x2644 x2645 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2658 -x2659 -x2660
47.77/47.88	v -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2670 x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679
47.77/47.88	v -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698
47.77/47.88	v -x2699 -x2700 -x2701 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 x2709 -x2710 -x2711 -x2712 -x2714 -x2715 -x2716 -x2717
47.77/47.88	v -x2718 -x2719 -x2720 x2721 -x2722 -x2723 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2736
47.77/47.88	v -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 x2754
47.77/47.88	v -x2755 -x2756 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2769 -x2770 -x2771 -x2772 -x2773
47.77/47.88	v -x2774 -x2775 -x2776 -x2777 -x2778 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2792 -x2793
47.77/47.88	v -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811
47.77/47.88	v -x2812 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830
47.77/47.88	v -x2831 -x2832 -x2833 -x2834 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2847 -x2848 -x2849
47.77/47.88	v -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2858 x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867
47.77/47.88	v -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886
47.77/47.88	v -x2887 -x2888 -x2889 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 x2898 -x2899 -x2900 -x2901 -x2903 -x2904 -x2905 -x2906
47.77/47.88	v -x2908 -x2909 -x2910 -x2911 -x2912 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2925 -x2926
47.77/47.88	v -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 x2943 -x2944
47.77/47.88	v -x2945 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963
47.77/47.88	v -x2964 -x2965 -x2966 -x2967 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2980 -x2981 -x2982
47.77/47.88	v -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000
47.77/47.88	v -x3003 -x3004 -x3005 x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020
47.77/47.88	v -x3021 -x3022 -x3023 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 x3031 -x3032 -x3033 -x3034 -x3036 -x3037 -x3038 -x3039
47.77/47.88	v -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3058
47.77/47.88	v -x3059 x3060 -x3061 -x3062 -x3063 x3064 -x3065 -x3066 x3067 -x3069 x3070 -x3071 -x3072 -x3073 x3074 x3075 -x3076 -x3077
47.77/47.88	v -x3078 -x3080 x3081 -x3082 -x3083 x3084 -x3085 -x3086 x3087 -x3088 -x3089 x3091 -x3092 -x3093 x3094 -x3095 x3096 -x3097
47.77/47.88	v -x3098 -x3099 x3100 -x3102 -x3103 x3104 x3105 -x3106 -x3107 -x3108 x3109 -x3110 -x3111 x3114 -x3115 -x3116 -x3117 x3118
47.77/47.88	v x3119 -x3120 -x3121 x3122 -x3123 -x3125 -x3126 x3127 -x3128 -x3129 x3130 -x3131 x3132 -x3133 -x3134 -x3136 -x3137 x3138
47.77/47.88	v -x3139 x3140 -x3141 -x3142 x3143 -x3144 -x3145 -x3147 x3148 x3149 -x3150 -x3151 -x3152 -x3153 x3154 -x3155 x3156 -x3158
47.77/47.88	v x3159 -x3160 -x3161 -x3162 x3163 -x3164 -x3165 x3166 -x3167 -x3169 -x3170 x3171 x3172 -x3173 -x3174 x3175 -x3176 -x3177
47.77/47.88	v -x3178 x3180 -x3181 -x3182 -x3183 x3184 x3185 -x3186 -x3187 x3188 -x3189 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197
47.77/47.88	v -x3198 -x3199 -x3200 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3213 -x3214 -x3215 -x3216
47.77/47.88	v -x3217 -x3218 x3219 -x3220 -x3221 -x3222 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3236
47.77/47.88	v -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3247 -x3248 x3249 -x3250 -x3251 -x3252 -x3253 -x3254
47.77/47.88	v -x3255 -x3256 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3269 -x3270 -x3271 -x3272 -x3273
47.77/47.88	v -x3274 -x3275 -x3276 -x3277 x3278 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3291 x3292 -x3293
47.77/47.88	v -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3302 x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311
47.77/47.88	v -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330
47.77/47.88	v -x3331 -x3332 -x3333 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3348 -x3349 -x3350 -x3351
47.77/47.88	v -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 x3366 -x3367 -x3368 -x3370
47.77/47.88	v -x3371 -x3372 x3373 -x3374 -x3375 x3376 x3377 -x3378 x3379 -x3381 -x3382 x3383 x3384 -x3385 -x3386 x3387 x3388 -x3389 x3390
47.77/47.88	v -x3392 x3393 -x3394 -x3395 x3396 -x3397 x3398 -x3399 x3400 x3401 -x3403 x3404 -x3405 -x3406 x3407 -x3408 x3409 -x3410 x3411
47.77/47.88	v -x3412 x3414 -x3415 x3416 x3417 -x3418 -x3419 x3420 x3421 -x3422 -x3423 x3425 -x3426 x3427 x3428 -x3429 -x3430 x3431 -x3432
47.77/47.88	v x3433 x3434 -x3436 x3437 -x3438 x3439 -x3440 x3441 -x3442 -x3443 x3444 -x3445 x3448 x3449 -x3450 x3451 -x3452 x3453 -x3454
47.77/47.88	v -x3455 x3456 -x3457 x3459 -x3460 x3461 -x3462 x3463 x3464 -x3465 -x3466 -x3467 -x3468 -x3470 -x3471 -x3472 -x3473 -x3474
47.77/47.88	v -x3475 -x3476 -x3477 -x3478 -x3479 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3492 -x3493
47.77/47.88	v -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511
47.77/47.88	v -x3512 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530
47.77/47.88	v -x3531 -x3532 -x3533 -x3534 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3547 -x3548 -x3549
47.77/47.88	v -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 x3567 -x3568
47.77/47.88	v x3570 -x3571 -x3572 -x3573 x3574 -x3575 -x3576 x3577 -x3578 -x3579 -x3581 x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588
47.77/47.88	v x3589 -x3590 -x3592 -x3593 -x3594 -x3595 x3596 -x3597 -x3598 -x3599 -x3600 x3601 -x3603 x3604 -x3605 -x3606 -x3607 -x3608
47.77/47.88	v -x3609 -x3610 -x3611 x3612 -x3614 -x3615 -x3616 -x3617 x3618 -x3619 -x3620 -x3621 -x3622 -x3623 x3625 x3626 -x3627 -x3628
47.77/47.88	v -x3629 -x3630 -x3631 -x3632 x3633 x3634 -x3636 -x3637 -x3638 -x3639 x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3647 x3648
47.77/47.88	v -x3649 -x3650 -x3651 x3652 -x3653 -x3654 -x3655 -x3656 -x3658 x3659 -x3660 x3661 -x3662 -x3663 x3664 -x3665 -x3666 -x3667
47.77/47.88	v -x3670 -x3671 x3672 -x3673 x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3681 -x3682 x3683 -x3684 -x3685 -x3686 -x3687 -x3688
47.77/47.88	v -x3689 -x3690 x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 x3699 -x3700 -x3701 x3703 -x3704 -x3705 x3706 -x3707 -x3708
47.77/47.88	v x3709 x3710 -x3711 -x3712 -x3714 -x3715 -x3716 -x3717 -x3718 x3719 -x3720 -x3721 -x3722 -x3723 x3725 -x3726 x3727 -x3728
47.77/47.88	v -x3729 -x3730 x3731 -x3732 -x3733 -x3734 -x3736 -x3737 -x3738 -x3739 x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3747 -x3748
47.77/47.88	v x3749 x3750 -x3751 -x3752 -x3753 -x3754 -x3755 x3756 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 x3767
47.77/47.88	v -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3781 -x3782 x3783 -x3784 -x3785 -x3786 -x3787
47.77/47.88	v -x3788 -x3789 -x3790 x3792 -x3793 -x3794 -x3795 x3796 -x3797 -x3798 -x3799 x3800 -x3801 -x3803 x3804 -x3805 -x3806 -x3807
47.77/47.88	v -x3808 -x3809 -x3810 -x3811 -x3812 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 x3820 -x3821 -x3822 -x3823 -x3825 -x3826
47.77/47.88	v x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3836 -x3837 x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 x3845
47.77/47.88	v -x3847 -x3848 -x3849 -x3850 x3851 -x3852 -x3853 -x3854 -x3855 x3856 -x3858 -x3859 -x3860 -x3861 -x3862 x3863 -x3864 -x3865
47.77/47.88	v -x3866 x3867 -x3869 -x3870 -x3871 x3872 x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885
47.77/47.88	v -x3886 -x3887 x3888 -x3889 x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3903 -x3904 -x3905 -x3906
47.77/47.88	v -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3914 -x3915 -x3916 x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3925
47.77/47.88	v -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943
47.77/47.88	v -x3944 -x3945 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3958 -x3959 -x3960 -x3961 -x3962
47.77/47.88	v -x3963 -x3964 -x3965 -x3966 -x3967 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3980 -x3981
47.77/47.88	v -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999
47.77/47.88	v -x4000 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4014 -x4015 -x4016 -x4017 -x4018 x4019
47.77/47.88	v -x4020 -x4021 -x4022 -x4023 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 x4032 -x4033 -x4034 -x4036 -x4037 -x4038
47.77/47.88	v -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 x4053 -x4054 -x4055 x4056 -x4058
47.77/47.88	v -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076
47.77/47.88	v -x4077 -x4078 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4091 -x4092 -x4093 -x4094 -x4095
47.77/47.88	v -x4096 -x4097 -x4098 -x4099 -x4100 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4114 -x4115
47.77/47.88	v -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133
47.77/47.88	v -x4134 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152
47.77/47.88	v -x4153 -x4154 -x4155 -x4156 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4169 -x4170 x4171
47.77/47.88	v -x4172 -x4173 -x4174 x4175 -x4176 -x4177 x4178 x4180 -x4181 -x4182 -x4183 x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4191
47.77/47.88	v -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209
47.77/47.88	v -x4210 -x4211 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4225 -x4226 -x4227 -x4228 -x4229
47.77/47.88	v -x4230 -x4231 -x4232 -x4233 -x4234 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4247 -x4248
47.77/47.88	v -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266
47.77/47.88	v -x4267 -x4269 x4270 -x4271 -x4272 -x4273 -x4274 -x4275 x4276 -x4277 -x4278 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286
47.77/47.88	v -x4287 -x4288 -x4289 x4291 -x4292 -x4293 -x4294 -x4295 -x4296 x4297 -x4298 -x4299 -x4300 -x4302 -x4303 -x4304 -x4305 -x4306
47.77/47.88	v -x4307 -x4308 -x4309 -x4310 -x4311 -x4313 -x4314 -x4315 -x4316 x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4324 -x4325
47.77/47.88	v -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344
47.77/47.88	v -x4345 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363
47.77/47.88	v -x4364 -x4365 -x4366 -x4367 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4380 -x4381 -x4382
47.77/47.88	v -x4383 x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400
47.77/47.88	v -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4413 x4414 -x4415 -x4416 -x4417 -x4418 -x4419
47.77/47.88	v -x4420 -x4421 -x4422 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4435 -x4436 -x4437 -x4438
47.77/47.88	v -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4459
47.77/47.88	v -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477
47.77/47.88	v -x4478 -x4479 -x4481 x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4492 -x4493 -x4494 -x4495 -x4496
47.77/47.88	v -x4497 -x4498 -x4499 -x4500 -x4501 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4514 -x4515
47.77/47.88	v -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533
47.77/47.88	v -x4534 -x4536 -x4537 -x4538 -x4539 -x4540 x4541 -x4542 -x4543 -x4544 -x4545 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552
47.77/47.88	v -x4553 -x4554 -x4555 -x4556 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4570 -x4571 -x4572
47.77/47.88	v -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4581 -x4582 -x4583 -x4584 -x4585 x4586 -x4587 -x4588 -x4589 -x4590
47.77/47.88	v -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609
47.77/47.88	v -x4610 -x4611 -x4612 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4625 -x4626 -x4627 -x4628
47.77/47.88	v -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4647
47.77/47.88	v -x4648 x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665
47.77/47.88	v -x4666 -x4667 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4681 -x4682 -x4683 -x4684 -x4685
47.77/47.88	v -x4686 -x4687 -x4688 -x4689 -x4690 -x4692 -x4693 -x4694 -x4695 -x4696 x4697 -x4698 -x4699 -x4700 -x4701 -x4703 -x4704
47.77/47.88	v -x4705 -x4706 -x4707 -x4708 -x4709 x4710 -x4711 x4712 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723
47.77/47.88	v -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742
47.77/47.88	v -x4743 -x4744 -x4745 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4758 -x4759 -x4760 -x4761
47.77/47.88	v -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4781
47.77/47.88	v -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799
47.77/47.88	v -x4800 -x4801 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 x4812 -x4814 -x4815 -x4816 -x4817 -x4818
47.77/47.88	v -x4819 -x4820 -x4821 -x4822 -x4823 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4836 -x4837
47.77/47.88	v -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4847 -x4848 -x4849 x4850 -x4851 -x4852 -x4853 -x4854 -x4855
47.77/47.88	v -x4856 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 x4864 -x4865 -x4866 x4867 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875
47.77/47.88	v -x4876 -x4877 -x4878 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4892 -x4893 -x4894 -x4895
47.77/47.88	v -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4914
47.77/47.88	v -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4925 -x4926 -x4927 -x4928 -x4929 x4930 -x4931 -x4932
47.77/47.88	v -x4933 -x4934 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4947 -x4948 -x4949 -x4950 -x4951
47.77/47.88	v -x4952 -x4953 -x4954 -x4955 -x4956 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4969 -x4970
47.77/47.88	v -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 x4978 -x4980 -x4981 -x4982 -x4983 x4984 -x4985 -x4986 -x4987 -x4988 -x4989
47.77/47.88	v -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009
47.77/47.88	v -x5010 -x5011 -x5012 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5025 -x5026 -x5027 -x5028
47.77/47.88	v -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5047
47.77/47.88	v -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065
47.77/47.88	v -x5066 -x5067 -x5069 -x5070 -x5071 x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5080 -x5081 -x5082 -x5083 -x5084
47.77/47.88	v -x5085 -x5086 -x5087 -x5088 -x5089 -x5091 -x5092 x5093 -x5094 -x5095 -x5096 -x5097 x5098 -x5099 -x5100 -x5102 -x5103 x5104
47.77/47.88	v -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123
47.77/47.88	v -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142
47.77/47.88	v -x5143 -x5144 -x5145 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5158 -x5159 -x5160 -x5161
47.77/47.88	v -x5162 x5163 -x5164 -x5165 -x5166 -x5167 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5180
47.77/47.88	v -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198
47.77/47.88	v -x5199 -x5200 -x5202 -x5203 -x5204 -x5205 -x5206 x5207 -x5208 -x5209 -x5210 -x5211 -x5213 -x5214 -x5215 -x5216 -x5217
47.77/47.88	v -x5218 -x5219 -x5220 -x5221 -x5222 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5236 -x5237
47.77/47.88	v -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255
47.77/47.88	v -x5256 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274
47.77/47.88	v -x5275 -x5276 -x5277 -x5278 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5291 -x5292 -x5293
47.77/47.88	v -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311
47.77/47.88	v -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330
47.77/47.88	v -x5331 -x5332 -x5333 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5347 -x5348 -x5349 -x5350
47.77/47.88	v -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5369
47.77/47.88	v -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387
47.77/47.88	v -x5388 -x5389 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5402 -x5403 -x5404 -x5405 -x5406
47.77/47.88	v -x5407 -x5408 -x5409 -x5410 -x5411 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5424 -x5425
47.77/47.88	v -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443
47.77/47.88	v -x5444 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463
47.77/47.88	v -x5464 -x5465 -x5466 -x5467 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5480 -x5481 -x5482
47.77/47.88	v -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500
47.77/47.88	v -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519
47.77/47.88	v -x5520 -x5521 -x5522 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5535 -x5536 -x5537 -x5538
47.77/47.88	v -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5559
47.77/47.88	v -x471 -x1215 -x1988 -x2175 -x2907

Verifier Data (download as text)

OK	-98107

Conversion Script Data (download as text)

/tmp/evaluation/363222-1177024339/instance-363222-1177024339.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node35/watcher-363222-1177024339 -o ROOT/results/node35/solver-363222-1177024339 -C 1800 -W 3600 -M 1800 --output-limit 1,15 glpPBv3 /tmp/evaluation/363222-1177024339/instance-363222-1177024339.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 0.95 0.97 2/77 25147
/proc/meminfo: memFree=1799048/2055920 swapFree=4151140/4192956
[pid=25147] ppid=25145 vsize=2644 CPUtime=0
/proc/25147/stat : 25147 (glpPBv3) R 25145 25147 24364 0 -1 0 254 0 0 0 0 0 0 0 18 0 1 0 150349324 2707456 224 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 1928919 0 0 4096 0 0 0 0 17 1 0 0
/proc/25147/statm: 661 226 192 40 0 76 0

[startup+0.0994929 s]
/proc/loadavg: 0.91 0.95 0.97 2/77 25147
/proc/meminfo: memFree=1799048/2055920 swapFree=4151140/4192956
[pid=25147] ppid=25145 vsize=5188 CPUtime=0.08
/proc/25147/stat : 25147 (glpPBv3) R 25145 25147 24364 0 -1 0 911 0 0 0 8 0 0 0 18 0 1 0 150349324 5312512 881 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 1883787 0 0 4096 0 0 0 0 17 1 0 0
/proc/25147/statm: 1297 881 201 40 0 712 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5188

[startup+0.101492 s]
/proc/loadavg: 0.91 0.95 0.97 2/77 25147
/proc/meminfo: memFree=1799048/2055920 swapFree=4151140/4192956
[pid=25147] ppid=25145 vsize=5188 CPUtime=0.09
/proc/25147/stat : 25147 (glpPBv3) R 25145 25147 24364 0 -1 0 913 0 0 0 9 0 0 0 18 0 1 0 150349324 5312512 883 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134541989 0 0 4096 0 0 0 0 17 1 0 0
/proc/25147/statm: 1297 883 203 40 0 712 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5188

[startup+0.301516 s]
/proc/loadavg: 0.91 0.95 0.97 2/77 25147
/proc/meminfo: memFree=1799048/2055920 swapFree=4151140/4192956
[pid=25147] ppid=25145 vsize=6156 CPUtime=0.29
/proc/25147/stat : 25147 (glpPBv3) R 25145 25147 24364 0 -1 0 1172 0 0 0 29 0 0 0 20 0 1 0 150349324 6303744 1141 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25147/statm: 1539 1141 221 40 0 954 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6156

[startup+0.701563 s]
/proc/loadavg: 0.91 0.95 0.97 2/77 25147
/proc/meminfo: memFree=1799048/2055920 swapFree=4151140/4192956
[pid=25147] ppid=25145 vsize=7916 CPUtime=0.69
/proc/25147/stat : 25147 (glpPBv3) R 25145 25147 24364 0 -1 0 2778 0 0 0 68 1 0 0 24 0 1 0 150349324 8105984 1619 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134537472 0 0 4096 0 0 0 0 17 1 0 0
/proc/25147/statm: 1979 1619 227 40 0 1394 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7916

[startup+1.50165 s]
/proc/loadavg: 0.91 0.95 0.97 2/78 25148
/proc/meminfo: memFree=1793216/2055920 swapFree=4151140/4192956
[pid=25147] ppid=25145 vsize=7916 CPUtime=1.49
/proc/25147/stat : 25147 (glpPBv3) R 25145 25147 24364 0 -1 0 6038 0 0 0 146 3 0 0 25 0 1 0 150349324 8105984 1619 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134543250 0 0 4096 0 0 0 0 17 1 0 0
/proc/25147/statm: 1979 1619 227 40 0 1394 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7916

[startup+3.10184 s]
/proc/loadavg: 0.92 0.95 0.97 2/78 25148
/proc/meminfo: memFree=1793024/2055920 swapFree=4151140/4192956
[pid=25147] ppid=25145 vsize=7916 CPUtime=3.09
/proc/25147/stat : 25147 (glpPBv3) R 25145 25147 24364 0 -1 0 12301 0 0 0 304 5 0 0 25 0 1 0 150349324 8105984 1619 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134568970 0 0 4096 0 0 0 0 17 1 0 0
/proc/25147/statm: 1979 1619 227 40 0 1394 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7916

[startup+6.30122 s]
/proc/loadavg: 0.92 0.95 0.97 2/78 25148
/proc/meminfo: memFree=1792896/2055920 swapFree=4151140/4192956
[pid=25147] ppid=25145 vsize=8564 CPUtime=6.28
/proc/25147/stat : 25147 (glpPBv3) R 25145 25147 24364 0 -1 0 25848 0 0 0 615 13 0 0 25 0 1 0 150349324 8769536 1765 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134586441 0 0 4096 0 0 0 0 17 1 0 0
/proc/25147/statm: 2141 1765 227 40 0 1556 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 8564

[startup+12.702 s]
/proc/loadavg: 0.93 0.96 0.97 2/78 25148
/proc/meminfo: memFree=1791688/2055920 swapFree=4151140/4192956
[pid=25147] ppid=25145 vsize=9444 CPUtime=12.68
/proc/25147/stat : 25147 (glpPBv3) R 25145 25147 24364 0 -1 0 78612 0 0 0 1230 38 0 0 25 0 1 0 150349324 9670656 1984 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25147/statm: 2361 1984 227 40 0 1776 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 9444

[startup+25.5015 s]
/proc/loadavg: 0.94 0.96 0.97 2/78 25148
/proc/meminfo: memFree=1791880/2055920 swapFree=4151140/4192956
[pid=25147] ppid=25145 vsize=9780 CPUtime=25.48
/proc/25147/stat : 25147 (glpPBv3) R 25145 25147 24364 0 -1 0 189503 0 0 0 2456 92 0 0 25 0 1 0 150349324 10014720 2064 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134636804 0 0 4096 0 0 0 0 17 1 0 0
/proc/25147/statm: 2445 2064 227 40 0 1860 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 9780

Solver just ended. Dumping a history of the last processes samples

[startup+38.302 s]
/proc/loadavg: 0.95 0.96 0.97 2/78 25148
/proc/meminfo: memFree=1791176/2055920 swapFree=4151140/4192956
[pid=25147] ppid=25145 vsize=9920 CPUtime=38.28
/proc/25147/stat : 25147 (glpPBv3) R 25145 25147 24364 0 -1 0 317503 0 0 0 3672 156 0 0 25 0 1 0 150349324 10158080 2120 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25147/statm: 2480 2120 227 40 0 1895 0
Current children cumulated CPU time (s) 38.28
Current children cumulated vsize (KiB) 9920

[startup+44.7017 s]
/proc/loadavg: 0.96 0.96 0.97 2/78 25148
/proc/meminfo: memFree=1791816/2055920 swapFree=4151140/4192956
[pid=25147] ppid=25145 vsize=9096 CPUtime=44.67
/proc/25147/stat : 25147 (glpPBv3) R 25145 25147 24364 0 -1 0 392449 0 0 0 4271 196 0 0 25 0 1 0 150349324 9314304 1914 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0
/proc/25147/statm: 2274 1914 227 40 0 1689 0
Current children cumulated CPU time (s) 44.67
Current children cumulated vsize (KiB) 9096

[startup+46.3019 s]
/proc/loadavg: 0.96 0.96 0.97 2/78 25148
/proc/meminfo: memFree=1791112/2055920 swapFree=4151140/4192956
[pid=25147] ppid=25145 vsize=9096 CPUtime=46.27
/proc/25147/stat : 25147 (glpPBv3) R 25145 25147 24364 0 -1 0 413329 0 0 0 4421 206 0 0 25 0 1 0 150349324 9314304 1914 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134569956 0 0 4096 0 0 0 0 17 1 0 0
/proc/25147/statm: 2274 1914 227 40 0 1689 0
Current children cumulated CPU time (s) 46.27
Current children cumulated vsize (KiB) 9096

[startup+47.102 s]
/proc/loadavg: 0.96 0.96 0.97 2/78 25148
/proc/meminfo: memFree=1791112/2055920 swapFree=4151140/4192956
[pid=25147] ppid=25145 vsize=9096 CPUtime=47.07
/proc/25147/stat : 25147 (glpPBv3) R 25145 25147 24364 0 -1 0 424001 0 0 0 4498 209 0 0 25 0 1 0 150349324 9314304 1914 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134541710 0 0 4096 0 0 0 0 17 1 0 0
/proc/25147/statm: 2274 1914 227 40 0 1689 0
Current children cumulated CPU time (s) 47.07
Current children cumulated vsize (KiB) 9096

[startup+47.501 s]
/proc/loadavg: 0.96 0.96 0.97 2/78 25148
/proc/meminfo: memFree=1791816/2055920 swapFree=4151140/4192956
[pid=25147] ppid=25145 vsize=10152 CPUtime=47.48
/proc/25147/stat : 25147 (glpPBv3) R 25145 25147 24364 0 -1 0 429105 0 0 0 4536 212 0 0 25 0 1 0 150349324 10395648 2146 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25147/statm: 2538 2146 227 40 0 1953 0
Current children cumulated CPU time (s) 47.48
Current children cumulated vsize (KiB) 10152

[startup+47.7011 s]
/proc/loadavg: 0.96 0.96 0.97 2/78 25148
/proc/meminfo: memFree=1791816/2055920 swapFree=4151140/4192956
[pid=25147] ppid=25145 vsize=9096 CPUtime=47.67
/proc/25147/stat : 25147 (glpPBv3) R 25145 25147 24364 0 -1 0 432353 0 0 0 4554 213 0 0 25 0 1 0 150349324 9314304 1914 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134569740 0 0 4096 0 0 0 0 17 1 0 0
/proc/25147/statm: 2274 1914 227 40 0 1689 0
Current children cumulated CPU time (s) 47.67
Current children cumulated vsize (KiB) 9096

[startup+47.8011 s]
/proc/loadavg: 0.96 0.96 0.97 2/78 25148
/proc/meminfo: memFree=1791816/2055920 swapFree=4151140/4192956
[pid=25147] ppid=25145 vsize=9688 CPUtime=47.77
/proc/25147/stat : 25147 (glpPBv3) R 25145 25147 24364 0 -1 0 434117 0 0 0 4563 214 0 0 25 0 1 0 150349324 9920512 2054 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 1928919 0 0 4096 0 0 0 0 17 1 0 0
/proc/25147/statm: 2422 2054 227 40 0 1837 0
Current children cumulated CPU time (s) 47.77
Current children cumulated vsize (KiB) 9688

Child status: 30
Real time (s): 47.8883
CPU time (s): 47.8667
CPU user time (s): 45.7111
CPU system time (s): 2.15567
CPU usage (%): 99.955
Max. virtual memory (cumulated for all children) (KiB): 10152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 45.7111
system time used= 2.15567
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 435146
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16
involuntary context switches= 1003

runsolver used 0.048992 second user time and 0.123981 second system time

The end

Launcher Data (download as text)

Begin job on node35 on Thu Apr 19 23:12:19 UTC 2007

IDJOB= 363222
IDBENCH= 1760
IDSOLVER= 166
FILE ID= node35/363222-1177024339

PBS_JOBID= 4630597

Free space on /tmp= 66304 MiB

SOLVER NAME= glpPB 0.2
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p6000.opb
COMMAND LINE= glpPBv3 /tmp/evaluation/363222-1177024339/instance-363222-1177024339.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node35/convwatcher-363222-1177024339 -o ROOT/results/node35/conversion-363222-1177024339 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/363222-1177024339/instance-363222-1177024339.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node35/watcher-363222-1177024339 -o ROOT/results/node35/solver-363222-1177024339 -C 1800 -W 3600 -M 1800 --output-limit 1,15  glpPBv3 /tmp/evaluation/363222-1177024339/instance-363222-1177024339.opb

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  e2f15e37dec17456fb4044387114eb48

RANDOM SEED= 220490894

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node35.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.232
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.232
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:       1799456 kB
Buffers:         22876 kB
Cached:         168352 kB
SwapCached:       9032 kB
Active:          78772 kB
Inactive:       136332 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1799456 kB
SwapTotal:     4192956 kB
SwapFree:      4151140 kB
Dirty:            2544 kB
Writeback:           0 kB
Mapped:          30736 kB
Slab:            26680 kB
Committed_AS:  2416624 kB
PageTables:       1996 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66304 MiB

End job on node35 on Thu Apr 19 23:13:07 UTC 2007