Trace number 363221

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.4SAT-4235 1782.79 1783.28

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

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	-4235

Conversion Script Data (download as text)

/tmp/evaluation/363221-1177024312/instance-363221-1177024312.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/node11/watcher-363221-1177024312 -o ROOT/results/node11/solver-363221-1177024312 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/363221-1177024312/instance-363221-1177024312.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.85 0.97 0.99 3/77 16654
/proc/meminfo: memFree=1770912/2055920 swapFree=4150532/4192956
[pid=16654] ppid=16652 vsize=2552 CPUtime=0
/proc/16654/stat : 16654 (Pueblo) R 16652 16654 16227 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 143480208 2613248 230 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 8445655 0 0 4096 0 0 0 0 17 1 0 0
/proc/16654/statm: 638 232 193 16 0 77 0

[startup+0.077876 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 16654
/proc/meminfo: memFree=1770912/2055920 swapFree=4150532/4192956
[pid=16654] ppid=16652 vsize=3484 CPUtime=0.07
/proc/16654/stat : 16654 (Pueblo) R 16652 16654 16227 0 -1 4194304 508 0 0 0 7 0 0 0 18 0 1 0 143480208 3567616 478 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 8414843 0 0 4096 0 0 0 0 17 1 0 0
/proc/16654/statm: 871 478 199 16 0 310 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3484

[startup+0.102879 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 16654
/proc/meminfo: memFree=1770912/2055920 swapFree=4150532/4192956
[pid=16654] ppid=16652 vsize=4688 CPUtime=0.09
/proc/16654/stat : 16654 (Pueblo) R 16652 16654 16227 0 -1 4194304 795 0 0 0 9 0 0 0 18 0 1 0 143480208 4800512 765 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134532897 0 0 4096 0 0 0 0 17 1 0 0
/proc/16654/statm: 1172 765 202 16 0 611 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4688

[startup+0.301902 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 16654
/proc/meminfo: memFree=1770912/2055920 swapFree=4150532/4192956
[pid=16654] ppid=16652 vsize=5788 CPUtime=0.29
/proc/16654/stat : 16654 (Pueblo) R 16652 16654 16227 0 -1 4194304 1050 0 0 0 29 0 0 0 19 0 1 0 143480208 5926912 1020 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0
/proc/16654/statm: 1447 1020 205 16 0 886 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5788

[startup+0.70295 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 16654
/proc/meminfo: memFree=1770912/2055920 swapFree=4150532/4192956
[pid=16654] ppid=16652 vsize=5788 CPUtime=0.69
/proc/16654/stat : 16654 (Pueblo) R 16652 16654 16227 0 -1 4194304 1050 0 0 0 69 0 0 0 23 0 1 0 143480208 5926912 1020 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134530553 0 0 4096 0 0 0 0 17 1 0 0
/proc/16654/statm: 1447 1020 205 16 0 886 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5788

[startup+1.50104 s]
/proc/loadavg: 0.85 0.97 0.99 2/78 16655
/proc/meminfo: memFree=1767768/2055920 swapFree=4150532/4192956
[pid=16654] ppid=16652 vsize=5880 CPUtime=1.49
/proc/16654/stat : 16654 (Pueblo) R 16652 16654 16227 0 -1 4194304 1076 0 0 0 149 0 0 0 25 0 1 0 143480208 6021120 1046 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134530564 0 0 4096 0 0 0 0 17 1 0 0
/proc/16654/statm: 1470 1046 205 16 0 909 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5880

[startup+3.10123 s]
/proc/loadavg: 0.85 0.97 0.99 2/78 16655
/proc/meminfo: memFree=1767064/2055920 swapFree=4150532/4192956
[pid=16654] ppid=16652 vsize=13396 CPUtime=3.08
/proc/16654/stat : 16654 (Pueblo) R 16652 16654 16227 0 -1 4194304 2974 0 0 0 307 1 0 0 25 0 1 0 143480208 13717504 2944 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16654/statm: 3349 2944 205 16 0 2788 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 13396

[startup+6.30161 s]
/proc/loadavg: 0.86 0.97 0.99 2/78 16655
/proc/meminfo: memFree=1752088/2055920 swapFree=4150532/4192956
[pid=16654] ppid=16652 vsize=24384 CPUtime=6.28
/proc/16654/stat : 16654 (Pueblo) R 16652 16654 16227 0 -1 4194304 5721 0 0 0 625 3 0 0 25 0 1 0 143480208 24969216 5691 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16654/statm: 6096 5691 205 16 0 5535 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 24384

[startup+12.7014 s]
/proc/loadavg: 0.87 0.97 0.99 2/78 16655
/proc/meminfo: memFree=1730728/2055920 swapFree=4150532/4192956
[pid=16654] ppid=16652 vsize=42548 CPUtime=12.68
/proc/16654/stat : 16654 (Pueblo) R 16652 16654 16227 0 -1 4194304 10254 0 0 0 1262 6 0 0 25 0 1 0 143480208 43569152 10224 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528580 0 0 4096 0 0 0 0 17 1 0 0
/proc/16654/statm: 10637 10224 205 16 0 10076 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 42548

[startup+25.5019 s]
/proc/loadavg: 0.90 0.97 0.99 2/78 16655
/proc/meminfo: memFree=1719336/2055920 swapFree=4150532/4192956
[pid=16654] ppid=16652 vsize=53856 CPUtime=25.48
/proc/16654/stat : 16654 (Pueblo) R 16652 16654 16227 0 -1 4194304 13089 0 0 0 2541 7 0 0 25 0 1 0 143480208 55148544 13059 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0
/proc/16654/statm: 13464 13059 205 16 0 12903 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 53856

[startup+51.1019 s]
/proc/loadavg: 0.93 0.97 0.99 2/78 16655
/proc/meminfo: memFree=1702120/2055920 swapFree=4150532/4192956
[pid=16654] ppid=16652 vsize=71224 CPUtime=51.07
/proc/16654/stat : 16654 (Pueblo) R 16652 16654 16227 0 -1 4194304 17412 0 0 0 5097 10 0 0 25 0 1 0 143480208 72933376 17382 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517870 0 0 4096 0 0 0 0 17 1 0 0
/proc/16654/statm: 17806 17382 205 16 0 17245 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 71224

[startup+102.306 s]
/proc/loadavg: 0.97 0.97 0.99 2/78 16655
/proc/meminfo: memFree=1674920/2055920 swapFree=4150532/4192956
[pid=16654] ppid=16652 vsize=98312 CPUtime=102.26
/proc/16654/stat : 16654 (Pueblo) R 16652 16654 16227 0 -1 4194304 24202 0 0 0 10212 14 0 0 25 0 1 0 143480208 100671488 24172 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528713 0 0 4096 0 0 0 0 17 1 0 0
/proc/16654/statm: 24578 24172 205 16 0 24017 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 98312

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 16655
/proc/meminfo: memFree=1652904/2055920 swapFree=4150532/4192956
[pid=16654] ppid=16652 vsize=120252 CPUtime=162.24
/proc/16654/stat : 16654 (Pueblo) R 16652 16654 16227 0 -1 4194304 29683 0 0 0 16208 16 0 0 25 0 1 0 143480208 123138048 29653 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528556 0 0 4096 0 0 0 0 17 1 0 0
/proc/16654/statm: 30063 29653 205 16 0 29502 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 120252

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 16655
/proc/meminfo: memFree=1615464/2055920 swapFree=4150532/4192956
[pid=16654] ppid=16652 vsize=157828 CPUtime=222.23
/proc/16654/stat : 16654 (Pueblo) R 16652 16654 16227 0 -1 4194304 39074 0 0 0 22201 22 0 0 25 0 1 0 143480208 161615872 39044 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134557275 0 0 4096 0 0 0 0 17 1 0 0
/proc/16654/statm: 39457 39044 205 16 0 38896 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 157828

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 16655
/proc/meminfo: memFree=1583976/2055920 swapFree=4150532/4192956
[pid=16654] ppid=16652 vsize=189156 CPUtime=282.21
/proc/16654/stat : 16654 (Pueblo) R 16652 16654 16227 0 -1 4194304 46914 0 0 0 28195 26 0 0 25 0 1 0 143480208 193695744 46884 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528658 0 0 4096 0 0 0 0 17 1 0 0
/proc/16654/statm: 47289 46884 205 16 0 46728 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 189156

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 16655
/proc/meminfo: memFree=1637416/2055920 swapFree=4150532/4192956
[pid=16654] ppid=16652 vsize=135352 CPUtime=342.2
/proc/16654/stat : 16654 (Pueblo) R 16652 16654 16227 0 -1 4194304 46914 0 0 0 34192 28 0 0 25 0 1 0 143480208 138600448 33437 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134557299 0 0 4096 0 0 0 0 17 1 0 0
/proc/16654/statm: 33838 33437 205 16 0 33277 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 135352

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 16655
/proc/meminfo: memFree=1592296/2055920 swapFree=4150532/4192956
[pid=16654] ppid=16652 vsize=181328 CPUtime=402.18
/proc/16654/stat : 16654 (Pueblo) R 16652 16654 16227 0 -1 4194304 58396 0 0 0 40183 35 0 0 25 0 1 0 143480208 185679872 44919 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/16654/statm: 45332 44919 205 16 0 44771 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 181328

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 16655
/proc/meminfo: memFree=1570216/2055920 swapFree=4150532/4192956
[pid=16654] ppid=16652 vsize=202740 CPUtime=462.16
/proc/16654/stat : 16654 (Pueblo) R 16652 16654 16227 0 -1 4194304 63749 0 0 0 46179 37 0 0 25 0 1 0 143480208 207605760 50272 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16654/statm: 50685 50272 205 16 0 50124 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 202740

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 16655
/proc/meminfo: memFree=1564712/2055920 swapFree=4150532/4192956
[pid=16654] ppid=16652 vsize=208312 CPUtime=522.14
/proc/16654/stat : 16654 (Pueblo) R 16652 16654 16227 0 -1 4194304 65125 0 0 0 52176 38 0 0 25 0 1 0 143480208 213311488 51648 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16654/statm: 52078 51648 205 16 0 51517 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 208312

[startup+582.303 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 16655
/proc/meminfo: memFree=1564648/2055920 swapFree=4150532/4192956
[pid=16654] ppid=16652 vsize=208312 CPUtime=582.13
/proc/16654/stat : 16654 (Pueblo) R 16652 16654 16227 0 -1 4194304 65125 0 0 0 58174 39 0 0 25 0 1 0 143480208 213311488 51648 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/16654/statm: 52078 51648 205 16 0 51517 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 208312

[startup+642.303 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 16655
/proc/meminfo: memFree=1564648/2055920 swapFree=4150532/4192956
[pid=16654] ppid=16652 vsize=208312 CPUtime=642.12
/proc/16654/stat : 16654 (Pueblo) R 16652 16654 16227 0 -1 4194304 65127 0 0 0 64172 40 0 0 25 0 1 0 143480208 213311488 51650 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/16654/statm: 52078 51650 205 16 0 51517 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 208312


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

/proc/meminfo: memFree=1562216/2055920 swapFree=4150532/4192956
[pid=16654] ppid=16652 vsize=210644 CPUtime=882.05
/proc/16654/stat : 16654 (Pueblo) R 16652 16654 16227 0 -1 4194304 65726 0 0 0 88163 42 0 0 25 0 1 0 143480208 215699456 52249 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528544 0 0 4096 0 0 0 0 17 1 0 0
/proc/16654/statm: 52661 52249 205 16 0 52100 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 210644

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 16655
/proc/meminfo: memFree=1562152/2055920 swapFree=4150532/4192956
[pid=16654] ppid=16652 vsize=210644 CPUtime=942.03
/proc/16654/stat : 16654 (Pueblo) R 16652 16654 16227 0 -1 4194304 65726 0 0 0 94160 43 0 0 25 0 1 0 143480208 215699456 52249 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528580 0 0 4096 0 0 0 0 17 1 0 0
/proc/16654/statm: 52661 52249 205 16 0 52100 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 210644

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 16655
/proc/meminfo: memFree=1564456/2055920 swapFree=4150532/4192956
[pid=16654] ppid=16652 vsize=208312 CPUtime=1002.02
/proc/16654/stat : 16654 (Pueblo) R 16652 16654 16227 0 -1 4194304 65726 0 0 0 100158 44 0 0 25 0 1 0 143480208 213311488 51670 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528556 0 0 4096 0 0 0 0 17 1 0 0
/proc/16654/statm: 52078 51670 205 16 0 51517 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 208312

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 16655
/proc/meminfo: memFree=1558952/2055920 swapFree=4150532/4192956
[pid=16654] ppid=16652 vsize=213952 CPUtime=1062
/proc/16654/stat : 16654 (Pueblo) R 16652 16654 16227 0 -1 4194304 67132 0 0 0 106155 45 0 0 25 0 1 0 143480208 219086848 53076 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528700 0 0 4096 0 0 0 0 17 1 0 0
/proc/16654/statm: 53488 53076 205 16 0 52927 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 213952

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 16655
/proc/meminfo: memFree=1558952/2055920 swapFree=4150532/4192956
[pid=16654] ppid=16652 vsize=213952 CPUtime=1121.98
/proc/16654/stat : 16654 (Pueblo) R 16652 16654 16227 0 -1 4194304 67132 0 0 0 112152 46 0 0 25 0 1 0 143480208 219086848 53076 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528572 0 0 4096 0 0 0 0 17 1 0 0
/proc/16654/statm: 53488 53076 205 16 0 52927 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 213952

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 16655
/proc/meminfo: memFree=1557864/2055920 swapFree=4150532/4192956
[pid=16654] ppid=16652 vsize=215052 CPUtime=1181.97
/proc/16654/stat : 16654 (Pueblo) R 16652 16654 16227 0 -1 4194304 67406 0 0 0 118150 47 0 0 25 0 1 0 143480208 220213248 53350 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134557412 0 0 4096 0 0 0 0 17 1 0 0
/proc/16654/statm: 53763 53350 205 16 0 53202 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 215052

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 16655
/proc/meminfo: memFree=1557864/2055920 swapFree=4150532/4192956
[pid=16654] ppid=16652 vsize=215052 CPUtime=1241.95
/proc/16654/stat : 16654 (Pueblo) R 16652 16654 16227 0 -1 4194304 67406 0 0 0 124148 47 0 0 25 0 1 0 143480208 220213248 53350 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528574 0 0 4096 0 0 0 0 17 1 0 0
/proc/16654/statm: 53763 53350 205 16 0 53202 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 215052

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 16655
/proc/meminfo: memFree=1557864/2055920 swapFree=4150532/4192956
[pid=16654] ppid=16652 vsize=215052 CPUtime=1301.94
/proc/16654/stat : 16654 (Pueblo) R 16652 16654 16227 0 -1 4194304 67406 0 0 0 130146 48 0 0 25 0 1 0 143480208 220213248 53350 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16654/statm: 53763 53350 205 16 0 53202 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 215052

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 16655
/proc/meminfo: memFree=1557800/2055920 swapFree=4150532/4192956
[pid=16654] ppid=16652 vsize=214976 CPUtime=1361.92
/proc/16654/stat : 16654 (Pueblo) R 16652 16654 16227 0 -1 4194304 67406 0 0 0 136143 49 0 0 25 0 1 0 143480208 220135424 53336 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528560 0 0 4096 0 0 0 0 17 1 0 0
/proc/16654/statm: 53744 53336 205 16 0 53183 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 214976

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 16655
/proc/meminfo: memFree=1557800/2055920 swapFree=4150532/4192956
[pid=16654] ppid=16652 vsize=214976 CPUtime=1421.9
/proc/16654/stat : 16654 (Pueblo) R 16652 16654 16227 0 -1 4194304 67406 0 0 0 142141 49 0 0 25 0 1 0 143480208 220135424 53336 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0
/proc/16654/statm: 53744 53336 205 16 0 53183 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 214976

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 16655
/proc/meminfo: memFree=1557800/2055920 swapFree=4150532/4192956
[pid=16654] ppid=16652 vsize=214908 CPUtime=1481.89
/proc/16654/stat : 16654 (Pueblo) R 16652 16654 16227 0 -1 4194304 67406 0 0 0 148139 50 0 0 25 0 1 0 143480208 220065792 53319 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528560 0 0 4096 0 0 0 0 17 1 0 0
/proc/16654/statm: 53727 53319 205 16 0 53166 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 214908

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 16655
/proc/meminfo: memFree=1557800/2055920 swapFree=4150532/4192956
[pid=16654] ppid=16652 vsize=214908 CPUtime=1541.87
/proc/16654/stat : 16654 (Pueblo) R 16652 16654 16227 0 -1 4194304 67406 0 0 0 154137 50 0 0 25 0 1 0 143480208 220065792 53319 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528560 0 0 4096 0 0 0 0 17 1 0 0
/proc/16654/statm: 53727 53319 205 16 0 53166 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 214908

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 16655
/proc/meminfo: memFree=1557864/2055920 swapFree=4150532/4192956
[pid=16654] ppid=16652 vsize=214752 CPUtime=1601.85
/proc/16654/stat : 16654 (Pueblo) R 16652 16654 16227 0 -1 4194304 67406 0 0 0 160134 51 0 0 25 0 1 0 143480208 219906048 53280 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/16654/statm: 53688 53280 205 16 0 53127 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 214752

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 16655
/proc/meminfo: memFree=1557864/2055920 swapFree=4150532/4192956
[pid=16654] ppid=16652 vsize=214752 CPUtime=1661.84
/proc/16654/stat : 16654 (Pueblo) R 16652 16654 16227 0 -1 4194304 67406 0 0 0 166132 52 0 0 25 0 1 0 143480208 219906048 53280 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16654/statm: 53688 53280 205 16 0 53127 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 214752

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 16655
/proc/meminfo: memFree=1555944/2055920 swapFree=4150532/4192956
[pid=16654] ppid=16652 vsize=216900 CPUtime=1721.82
/proc/16654/stat : 16654 (Pueblo) R 16652 16654 16227 0 -1 4194304 67920 0 0 0 172130 52 0 0 25 0 1 0 143480208 222105600 53794 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528572 0 0 4096 0 0 0 0 17 1 0 0
/proc/16654/statm: 54225 53794 205 16 0 53664 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 216900

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 16655
/proc/meminfo: memFree=1555944/2055920 swapFree=4150532/4192956
[pid=16654] ppid=16652 vsize=216900 CPUtime=1781.81
/proc/16654/stat : 16654 (Pueblo) R 16652 16654 16227 0 -1 4194304 67920 0 0 0 178128 53 0 0 25 0 1 0 143480208 222105600 53794 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134557288 0 0 4096 0 0 0 0 17 1 0 0
/proc/16654/statm: 54225 53794 205 16 0 53664 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 216900

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

[startup+1782.7 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 16655
/proc/meminfo: memFree=1555944/2055920 swapFree=4150532/4192956
[pid=16654] ppid=16652 vsize=216900 CPUtime=1782.21
/proc/16654/stat : 16654 (Pueblo) R 16652 16654 16227 0 -1 4194304 67920 0 0 0 178168 53 0 0 25 0 1 0 143480208 222105600 53794 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16654/statm: 54225 53794 205 16 0 53664 0
Current children cumulated CPU time (s) 1782.21
Current children cumulated vsize (KiB) 216900

[startup+1783.11 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 16655
/proc/meminfo: memFree=1555944/2055920 swapFree=4150532/4192956
[pid=16654] ppid=16652 vsize=216900 CPUtime=1782.61
/proc/16654/stat : 16654 (Pueblo) R 16652 16654 16227 0 -1 4194304 67920 0 0 0 178208 53 0 0 25 0 1 0 143480208 222105600 53794 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134557299 0 0 4096 0 0 0 0 17 1 0 0
/proc/16654/statm: 54225 53794 205 16 0 53664 0
Current children cumulated CPU time (s) 1782.61
Current children cumulated vsize (KiB) 216900

[startup+1783.2 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 16655
/proc/meminfo: memFree=1555944/2055920 swapFree=4150532/4192956
[pid=16654] ppid=16652 vsize=216900 CPUtime=1782.7
/proc/16654/stat : 16654 (Pueblo) R 16652 16654 16227 0 -1 4194304 67920 0 0 0 178217 53 0 0 25 0 1 0 143480208 222105600 53794 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528560 0 0 4096 0 0 0 0 17 1 0 0
/proc/16654/statm: 54225 53794 205 16 0 53664 0
Current children cumulated CPU time (s) 1782.7
Current children cumulated vsize (KiB) 216900

Child status: 10
Real time (s): 1783.28
CPU time (s): 1782.79
CPU user time (s): 1782.22
CPU system time (s): 0.571913
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 216900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.22
system time used= 0.571913
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67927
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= 17
involuntary context switches= 38117

runsolver used 1.91671 second user time and 4.04938 second system time

The end

Launcher Data (download as text)

Begin job on node11 on Thu Apr 19 23:11:53 UTC 2007

IDJOB= 363221
IDBENCH= 1760
IDSOLVER= 165
FILE ID= node11/363221-1177024312

PBS_JOBID= 4630600

Free space on /tmp= 66255 MiB

SOLVER NAME= Pueblo 1.4
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= Pueblo /tmp/evaluation/363221-1177024312/instance-363221-1177024312.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node11/convwatcher-363221-1177024312 -o ROOT/results/node11/conversion-363221-1177024312 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/363221-1177024312/instance-363221-1177024312.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node11/watcher-363221-1177024312 -o ROOT/results/node11/solver-363221-1177024312 -C 1800 -W 3600 -M 1800 --output-limit 1,15  Pueblo /tmp/evaluation/363221-1177024312/instance-363221-1177024312.opb

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  e2f15e37dec17456fb4044387114eb48

RANDOM SEED= 479929856

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node11.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.235
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.235
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:       1771512 kB
Buffers:         33212 kB
Cached:         164740 kB
SwapCached:      11012 kB
Active:          77924 kB
Inactive:       143868 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1771512 kB
SwapTotal:     4192956 kB
SwapFree:      4150532 kB
Dirty:            2692 kB
Writeback:           0 kB
Mapped:          30800 kB
Slab:            48060 kB
Committed_AS:  6193432 kB
PageTables:       1852 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= 66255 MiB

End job on node11 on Thu Apr 19 23:41:36 UTC 2007