Trace number 3738296

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)OPT9 108.41 108.45

General information on the benchmark

Name/OPT-SMALLINT-LIN/flexray/
normalized-fx92.opb
MD5SUM27a6a4205f1c6df1de962194e8e7e014
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark9
Best CPU time to get the best result obtained on this benchmark0.140977
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7164
Total number of constraints7824
Number of constraints which are clauses7155
Number of constraints which are cardinality constraints (but not clauses)93
Number of constraints which are nor clauses,nor cardinality constraints576
Minimum length of a constraint2
Maximum length of a constraint576
Number of terms in the objective function 9
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 9
Number of bits of the sum of numbers in the objective function 4
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1132
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

OK	9

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3738296-1338754831/watcher-3738296-1338754831 -o /tmp/evaluation-result-3738296-1338754831/solver-3738296-1338754831 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3738296-1338754831.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 350
/proc/meminfo: memFree=28416592/32873844 swapFree=7372/7372
[pid=350] ppid=348 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/350/stat : 350 (runsolver) R 348 32091 32091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 1 0 341611666 12095488 20 33554432000 4194304 5436572 140735075248928 140735075245120 4873495 0 0 4096 24578 0 0 0 17 6 0 0 0 0 0
/proc/350/statm: 2953 20 1 304 0 2645 0

[startup+0.026728 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 350
/proc/meminfo: memFree=28416592/32873844 swapFree=7372/7372
[pid=350] ppid=348 vsize=12700 CPUtime=0.01 cores=0,2,4,6
/proc/350/stat : 350 (pbscip.linux.x8) R 348 350 32091 0 -1 4202496 2530 0 0 0 1 0 0 0 20 0 1 0 341611666 13004800 2482 33554432000 4194304 7823515 140735107037168 140735106969272 5878822 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/350/statm: 3175 2482 354 887 0 2285 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12700

[startup+0.100313 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 350
/proc/meminfo: memFree=28416592/32873844 swapFree=7372/7372
[pid=350] ppid=348 vsize=20284 CPUtime=0.08 cores=0,2,4,6
/proc/350/stat : 350 (pbscip.linux.x8) R 348 350 32091 0 -1 4202496 4409 0 0 0 8 0 0 0 20 0 1 0 341611666 20770816 4361 33554432000 4194304 7823515 140735107037168 140735106903272 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/350/statm: 5070 4360 354 887 0 4180 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 20284

[startup+0.300271 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 350
/proc/meminfo: memFree=28416592/32873844 swapFree=7372/7372
[pid=350] ppid=348 vsize=49752 CPUtime=0.29 cores=0,2,4,6
/proc/350/stat : 350 (pbscip.linux.x8) R 348 350 32091 0 -1 4202496 11853 0 0 0 27 2 0 0 20 0 1 0 341611666 50946048 11451 33554432000 4194304 7823515 140735107037168 140735106903272 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/350/statm: 12438 11451 440 887 0 11548 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49752

[startup+0.700274 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 350
/proc/meminfo: memFree=28416592/32873844 swapFree=7372/7372
[pid=350] ppid=348 vsize=62000 CPUtime=0.68 cores=0,2,4,6
/proc/350/stat : 350 (pbscip.linux.x8) R 348 350 32091 0 -1 4202496 15595 0 0 0 66 2 0 0 20 0 1 0 341611666 63488000 14563 33554432000 4194304 7823515 140735107037168 140735106903272 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/350/statm: 15500 14563 534 887 0 14610 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 62000

[startup+1.50027 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 351
/proc/meminfo: memFree=28359784/32873844 swapFree=7372/7372
[pid=350] ppid=348 vsize=69308 CPUtime=1.49 cores=0,2,4,6
/proc/350/stat : 350 (pbscip.linux.x8) R 348 350 32091 0 -1 4202496 17168 0 0 0 145 4 0 0 20 0 1 0 341611666 70971392 16132 33554432000 4194304 7823515 140735107037168 140735107031976 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/350/statm: 17327 16132 562 887 0 16437 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 69308

[startup+3.10027 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 351
/proc/meminfo: memFree=28348560/32873844 swapFree=7372/7372
[pid=350] ppid=348 vsize=77668 CPUtime=3.08 cores=0,2,4,6
/proc/350/stat : 350 (pbscip.linux.x8) R 348 350 32091 0 -1 4202496 18136 0 0 0 304 4 0 0 20 0 1 0 341611666 79532032 17611 33554432000 4194304 7823515 140735107037168 140735107032968 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/350/statm: 19417 17611 562 887 0 18527 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 77668

[startup+6.30025 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 351
/proc/meminfo: memFree=28340508/32873844 swapFree=7372/7372
[pid=350] ppid=348 vsize=82160 CPUtime=6.29 cores=0,2,4,6
/proc/350/stat : 350 (pbscip.linux.x8) R 348 350 32091 0 -1 4202496 26826 0 0 0 622 7 0 0 20 0 1 0 341611666 84131840 19109 33554432000 4194304 7823515 140735107037168 140735107031864 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/350/statm: 20540 19109 574 887 0 19650 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 82160

[startup+12.7002 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 351
/proc/meminfo: memFree=28340368/32873844 swapFree=7372/7372
[pid=350] ppid=348 vsize=82160 CPUtime=12.69 cores=0,2,4,6
/proc/350/stat : 350 (pbscip.linux.x8) R 348 350 32091 0 -1 4202496 26826 0 0 0 1261 8 0 0 20 0 1 0 341611666 84131840 19109 33554432000 4194304 7823515 140735107037168 140735107032328 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/350/statm: 20540 19109 574 887 0 19650 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 82160

[startup+25.5002 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 351
/proc/meminfo: memFree=28337384/32873844 swapFree=7372/7372
[pid=350] ppid=348 vsize=82160 CPUtime=25.48 cores=0,2,4,6
/proc/350/stat : 350 (pbscip.linux.x8) R 348 350 32091 0 -1 4202496 26826 0 0 0 2536 12 0 0 20 0 1 0 341611666 84131840 19109 33554432000 4194304 7823515 140735107037168 140735107031864 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/350/statm: 20540 19109 574 887 0 19650 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 82160

[startup+51.1003 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 351
/proc/meminfo: memFree=28333260/32873844 swapFree=7372/7372
[pid=350] ppid=348 vsize=82160 CPUtime=51.07 cores=0,2,4,6
/proc/350/stat : 350 (pbscip.linux.x8) R 348 350 32091 0 -1 4202496 26832 0 0 0 5087 20 0 0 20 0 1 0 341611666 84131840 19115 33554432000 4194304 7823515 140735107037168 140735107032328 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/350/statm: 20540 19115 574 887 0 19650 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 82160

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 352
/proc/meminfo: memFree=28315148/32873844 swapFree=7372/7372
[pid=350] ppid=348 vsize=87052 CPUtime=102.26 cores=0,2,4,6
/proc/350/stat : 350 (pbscip.linux.x8) R 348 350 32091 0 -1 4202496 28132 0 0 0 10189 37 0 0 20 0 1 0 341611666 89141248 20843 33554432000 4194304 7823515 140735107037168 140735107032968 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/350/statm: 21763 20843 580 887 0 20873 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 87052

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

[startup+105.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 352
/proc/meminfo: memFree=28315148/32873844 swapFree=7372/7372
[pid=350] ppid=348 vsize=87052 CPUtime=105.46 cores=0,2,4,6
/proc/350/stat : 350 (pbscip.linux.x8) R 348 350 32091 0 -1 4202496 28132 0 0 0 10508 38 0 0 20 0 1 0 341611666 89141248 20843 33554432000 4194304 7823515 140735107037168 140735107031864 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/350/statm: 21763 20843 580 887 0 20873 0
Current children cumulated CPU time (s) 105.46
Current children cumulated vsize (KiB) 87052

[startup+107.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 352
/proc/meminfo: memFree=28314884/32873844 swapFree=7372/7372
[pid=350] ppid=348 vsize=87052 CPUtime=107.05 cores=0,2,4,6
/proc/350/stat : 350 (pbscip.linux.x8) R 348 350 32091 0 -1 4202496 28138 0 0 0 10666 39 0 0 20 0 1 0 341611666 89141248 20915 33554432000 4194304 7823515 140735107037168 140735107032920 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/350/statm: 21763 20915 580 887 0 20873 0
Current children cumulated CPU time (s) 107.05
Current children cumulated vsize (KiB) 87052

[startup+107.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 352
/proc/meminfo: memFree=28314884/32873844 swapFree=7372/7372
[pid=350] ppid=348 vsize=87052 CPUtime=107.85 cores=0,2,4,6
/proc/350/stat : 350 (pbscip.linux.x8) R 348 350 32091 0 -1 4202496 28138 0 0 0 10746 39 0 0 20 0 1 0 341611666 89141248 20915 33554432000 4194304 7823515 140735107037168 140735107032920 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/350/statm: 21763 20915 580 887 0 20873 0
Current children cumulated CPU time (s) 107.85
Current children cumulated vsize (KiB) 87052

[startup+108.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 352
/proc/meminfo: memFree=28314884/32873844 swapFree=7372/7372
[pid=350] ppid=348 vsize=87052 CPUtime=108.25 cores=0,2,4,6
/proc/350/stat : 350 (pbscip.linux.x8) R 348 350 32091 0 -1 4202496 28138 0 0 0 10786 39 0 0 20 0 1 0 341611666 89141248 20915 33554432000 4194304 7823515 140735107037168 140735107032616 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/350/statm: 21763 20915 580 887 0 20873 0
Current children cumulated CPU time (s) 108.25
Current children cumulated vsize (KiB) 87052

[startup+108.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 352
/proc/meminfo: memFree=28314884/32873844 swapFree=7372/7372
[pid=350] ppid=348 vsize=87052 CPUtime=108.35 cores=0,2,4,6
/proc/350/stat : 350 (pbscip.linux.x8) R 348 350 32091 0 -1 4202496 28138 0 0 0 10796 39 0 0 20 0 1 0 341611666 89141248 20915 33554432000 4194304 7823515 140735107037168 140735107032616 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/350/statm: 21763 20915 580 887 0 20873 0
Current children cumulated CPU time (s) 108.35
Current children cumulated vsize (KiB) 87052

Child status: 0
Real time (s): 108.45
CPU time (s): 108.41
CPU user time (s): 108.009
CPU system time (s): 0.400939
CPU usage (%): 99.9625
Max. virtual memory (cumulated for all children) (KiB): 108428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 108.009
system time used= 0.400939
maximum resident set size= 104956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28143
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= 23
involuntary context switches= 117

runsolver used 0.137979 second user time and 0.45993 second system time

The end

Launcher Data 

Begin job on node109 at 2012-06-03 22:20:31
IDJOB=3738296
IDBENCH=71841
IDSOLVER=2321
FILE ID=node109/3738296-1338754831
RUNJOBID= node109-1338747536-32107
PBS_JOBID= 14636780
Free space on /tmp= 70704 MiB

SOLVER NAME= PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/flexray/normalized-fx92.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3738296-1338754831/watcher-3738296-1338754831 -o /tmp/evaluation-result-3738296-1338754831/solver-3738296-1338754831 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3738296-1338754831.opb

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

MD5SUM BENCH= 27a6a4205f1c6df1de962194e8e7e014
RANDOM SEED=108146204

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28416484 kB
Buffers:         1860540 kB
Cached:          1610416 kB
SwapCached:          988 kB
Active:          2539744 kB
Inactive:        1038152 kB
Active(anon):      97612 kB
Inactive(anon):     7876 kB
Active(file):    2442132 kB
Inactive(file):  1030276 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67105540 kB
Dirty:             21348 kB
Writeback:             0 kB
AnonPages:        158068 kB
Mapped:            12120 kB
Shmem:                 4 kB
Slab:             740068 kB
SReclaimable:     181912 kB
SUnreclaim:       558156 kB
KernelStack:        1480 kB
PageTables:         4344 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     223928 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     55296 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70692 MiB
End job on node109 at 2012-06-03 22:22:19