Trace number 2666257

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
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverOPT9 718.637 718.833

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

Verifier Data 

OK	9

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

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

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 16798
/proc/meminfo: memFree=1664948/2059040 swapFree=4192956/4192956
[pid=16798] ppid=16796 vsize=8752 CPUtime=0
/proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16523 0 -1 4202496 1305 0 0 0 0 0 0 0 20 0 1 0 10066808 8962048 1225 1992294400 4194304 8223781 140736981820336 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16798/statm: 2188 1236 348 984 0 1201 0

[startup+0.0956319 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 16798
/proc/meminfo: memFree=1664948/2059040 swapFree=4192956/4192956
[pid=16798] ppid=16796 vsize=15636 CPUtime=0.09
/proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16523 0 -1 4202496 3207 0 0 0 8 1 0 0 20 0 1 0 10066808 16011264 3127 1992294400 4194304 8223781 140736981820336 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16798/statm: 3909 3127 365 984 0 2922 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15636

[startup+0.101632 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 16798
/proc/meminfo: memFree=1664948/2059040 swapFree=4192956/4192956
[pid=16798] ppid=16796 vsize=16108 CPUtime=0.09
/proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16523 0 -1 4202496 3324 0 0 0 8 1 0 0 20 0 1 0 10066808 16494592 3244 1992294400 4194304 8223781 140736981820336 18446744073709551615 7241474 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16798/statm: 4027 3244 365 984 0 3040 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16108

[startup+0.301654 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 16798
/proc/meminfo: memFree=1664948/2059040 swapFree=4192956/4192956
[pid=16798] ppid=16796 vsize=35956 CPUtime=0.29
/proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16523 0 -1 4202496 8610 0 0 0 26 3 0 0 20 0 1 0 10066808 36818944 8166 1992294400 4194304 8223781 140736981820336 18446744073709551615 6207680 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16798/statm: 9026 8176 390 984 0 8039 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35956

[startup+0.701696 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 16798
/proc/meminfo: memFree=1664948/2059040 swapFree=4192956/4192956
[pid=16798] ppid=16796 vsize=50756 CPUtime=0.69
/proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16523 0 -1 4202496 12759 0 0 0 63 6 0 0 21 0 1 0 10066808 51974144 11603 1992294400 4194304 8223781 140736981820336 18446744073709551615 4890934 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16798/statm: 12689 11603 458 984 0 11702 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 50756

[startup+1.50178 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16799
/proc/meminfo: memFree=1617572/2059040 swapFree=4192956/4192956
[pid=16798] ppid=16796 vsize=55108 CPUtime=1.49
/proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16523 0 -1 4202496 13846 0 0 0 142 7 0 0 23 0 1 0 10066808 56430592 12690 1992294400 4194304 8223781 140736981820336 18446744073709551615 4681571 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16798/statm: 13777 12690 458 984 0 12790 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 55108

[startup+3.10095 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16799
/proc/meminfo: memFree=1613356/2059040 swapFree=4192956/4192956
[pid=16798] ppid=16796 vsize=69392 CPUtime=3.09
/proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16523 0 -1 4202496 18523 0 0 0 300 9 0 0 25 0 1 0 10066808 71057408 16154 1992294400 4194304 8223781 140736981820336 18446744073709551615 6503360 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16798/statm: 17348 16154 547 984 0 16361 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 69392

[startup+6.30129 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16799
/proc/meminfo: memFree=1562392/2059040 swapFree=4192956/4192956
[pid=16798] ppid=16796 vsize=114432 CPUtime=6.29
/proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16523 0 -1 4202496 30826 0 0 0 613 16 0 0 25 0 1 0 10066808 117178368 26909 1992294400 4194304 8223781 140736981820336 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16798/statm: 28608 26909 580 984 0 27621 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 114432

[startup+12.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16799
/proc/meminfo: memFree=1591036/2059040 swapFree=4192956/4192956
[pid=16798] ppid=16796 vsize=81724 CPUtime=12.69
/proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16523 0 -1 4202496 33076 0 0 0 1249 20 0 0 25 0 1 0 10066808 83685376 18988 1992294400 4194304 8223781 140736981820336 18446744073709551615 6539311 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16798/statm: 20431 18988 586 984 0 19444 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 81724

[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16799
/proc/meminfo: memFree=1589796/2059040 swapFree=4192956/4192956
[pid=16798] ppid=16796 vsize=81924 CPUtime=25.48
/proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16523 0 -1 4202496 53015 0 0 0 2517 31 0 0 25 0 1 0 10066808 83890176 19129 1992294400 4194304 8223781 140736981820336 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16798/statm: 20481 19129 592 984 0 19494 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 81924

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16799
/proc/meminfo: memFree=1589672/2059040 swapFree=4192956/4192956
[pid=16798] ppid=16796 vsize=81868 CPUtime=51.07
/proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16523 0 -1 4202496 61374 0 0 0 5062 45 0 0 25 0 1 0 10066808 83832832 19138 1992294400 4194304 8223781 140736981820336 18446744073709551615 6568490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16798/statm: 20467 19138 592 984 0 19480 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 81868

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16801
/proc/meminfo: memFree=1589548/2059040 swapFree=4192956/4192956
[pid=16798] ppid=16796 vsize=81800 CPUtime=102.26
/proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16523 0 -1 4202496 72101 0 0 0 10157 69 0 0 25 0 1 0 10066808 83763200 19111 1992294400 4194304 8223781 140736981820336 18446744073709551615 6560128 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16798/statm: 20450 19111 592 984 0 19463 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 81800

[startup+162.301 s]
/proc/loadavg: 1.09 1.03 1.01 2/107 16803
/proc/meminfo: memFree=1589052/2059040 swapFree=4192956/4192956
[pid=16798] ppid=16796 vsize=82536 CPUtime=162.25
/proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16523 0 -1 4202496 91573 0 0 0 16122 103 0 0 25 0 1 0 10066808 84516864 19307 1992294400 4194304 8223781 140736981820336 18446744073709551615 6358944 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16798/statm: 20634 19307 592 984 0 19647 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 82536

[startup+222.301 s]
/proc/loadavg: 1.03 1.02 1.00 2/107 16808
/proc/meminfo: memFree=1582232/2059040 swapFree=4192956/4192956
[pid=16798] ppid=16796 vsize=88644 CPUtime=222.22
/proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16523 0 -1 4202496 130527 0 0 0 22076 146 0 0 25 0 1 0 10066808 90771456 20859 1992294400 4194304 8223781 140736981820336 18446744073709551615 6358880 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16798/statm: 22161 20859 596 984 0 21174 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 88644

[startup+282.301 s]
/proc/loadavg: 1.04 1.03 1.00 2/107 16808
/proc/meminfo: memFree=1577148/2059040 swapFree=4192956/4192956
[pid=16798] ppid=16796 vsize=93740 CPUtime=282.21
/proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16523 0 -1 4202496 179940 0 0 0 28022 199 0 0 25 0 1 0 10066808 95989760 22154 1992294400 4194304 8223781 140736981820336 18446744073709551615 6532645 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16798/statm: 23435 22154 596 984 0 22448 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 93740

[startup+342.301 s]
/proc/loadavg: 1.13 1.05 1.01 2/107 16810
/proc/meminfo: memFree=1572560/2059040 swapFree=4192956/4192956
[pid=16798] ppid=16796 vsize=98236 CPUtime=342.19
/proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16523 0 -1 4202496 235481 0 0 0 33963 256 0 0 25 0 1 0 10066808 100593664 23241 1992294400 4194304 8223781 140736981820336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16798/statm: 24559 23241 596 984 0 23572 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 98236

[startup+402.302 s]
/proc/loadavg: 1.12 1.06 1.00 2/107 16812
/proc/meminfo: memFree=1569832/2059040 swapFree=4192956/4192956
[pid=16798] ppid=16796 vsize=101000 CPUtime=402.17
/proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16523 0 -1 4202496 291365 0 0 0 39906 311 0 0 25 0 1 0 10066808 103424000 23925 1992294400 4194304 8223781 140736981820336 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16798/statm: 25250 23925 596 984 0 24263 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 101000

[startup+462.301 s]
/proc/loadavg: 1.11 1.06 1.00 2/107 16814
/proc/meminfo: memFree=1568716/2059040 swapFree=4192956/4192956
[pid=16798] ppid=16796 vsize=101848 CPUtime=462.16
/proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16523 0 -1 4202496 348898 0 0 0 45850 366 0 0 25 0 1 0 10066808 104292352 24184 1992294400 4194304 8223781 140736981820336 18446744073709551615 6532643 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16798/statm: 25462 24184 596 984 0 24475 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 101848

[startup+522.301 s]
/proc/loadavg: 1.10 1.06 1.00 2/107 16816
/proc/meminfo: memFree=1567724/2059040 swapFree=4192956/4192956
[pid=16798] ppid=16796 vsize=103464 CPUtime=522.15
/proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16523 0 -1 4202496 397681 0 0 0 51793 422 0 0 25 0 1 0 10066808 105947136 24559 1992294400 4194304 8223781 140736981820336 18446744073709551615 6539298 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16798/statm: 25866 24559 596 984 0 24879 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 103464

[startup+582.301 s]
/proc/loadavg: 1.09 1.06 1.00 2/107 16816
/proc/meminfo: memFree=1566112/2059040 swapFree=4192956/4192956
[pid=16798] ppid=16796 vsize=104600 CPUtime=582.13
/proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16523 0 -1 4202496 448557 0 0 0 57735 478 0 0 25 0 1 0 10066808 107110400 24892 1992294400 4194304 8223781 140736981820336 18446744073709551615 6559818 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16798/statm: 26150 24892 596 984 0 25163 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 104600

[startup+642.301 s]
/proc/loadavg: 1.08 1.06 1.00 2/107 16818
/proc/meminfo: memFree=1562764/2059040 swapFree=4192956/4192956
[pid=16798] ppid=16796 vsize=107960 CPUtime=642.13
/proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16523 0 -1 4202496 504167 0 0 0 63676 537 0 0 25 0 1 0 10066808 110551040 25683 1992294400 4194304 8223781 140736981820336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16798/statm: 26990 25683 596 984 0 26003 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 107960

[startup+702.302 s]
/proc/loadavg: 1.08 1.06 1.00 2/107 16820
/proc/meminfo: memFree=1558176/2059040 swapFree=4192956/4192956
[pid=16798] ppid=16796 vsize=112644 CPUtime=702.1
/proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16523 0 -1 4202496 559259 0 0 0 69613 597 0 0 25 0 1 0 10066808 115347456 26867 1992294400 4194304 8223781 140736981820336 18446744073709551615 5909152 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16798/statm: 28161 26867 596 984 0 27174 0
Current children cumulated CPU time (s) 702.1
Current children cumulated vsize (KiB) 112644

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

[startup+703.902 s]
/proc/loadavg: 1.08 1.06 1.00 2/107 16820
/proc/meminfo: memFree=1558176/2059040 swapFree=4192956/4192956
[pid=16798] ppid=16796 vsize=112772 CPUtime=703.7
/proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16523 0 -1 4202496 561042 0 0 0 69771 599 0 0 25 0 1 0 10066808 115478528 26876 1992294400 4194304 8223781 140736981820336 18446744073709551615 5913485 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16798/statm: 28193 26876 596 984 0 27206 0
Current children cumulated CPU time (s) 703.7
Current children cumulated vsize (KiB) 112772

[startup+710.302 s]
/proc/loadavg: 1.07 1.06 1.00 2/107 16820
/proc/meminfo: memFree=1557804/2059040 swapFree=4192956/4192956
[pid=16798] ppid=16796 vsize=113308 CPUtime=710.1
/proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16523 0 -1 4202496 567119 0 0 0 70404 606 0 0 25 0 1 0 10066808 116027392 26993 1992294400 4194304 8223781 140736981820336 18446744073709551615 6560195 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16798/statm: 28327 26993 596 984 0 27340 0
Current children cumulated CPU time (s) 710.1
Current children cumulated vsize (KiB) 113308

[startup+713.501 s]
/proc/loadavg: 1.07 1.06 1.00 2/107 16820
/proc/meminfo: memFree=1557680/2059040 swapFree=4192956/4192956
[pid=16798] ppid=16796 vsize=113168 CPUtime=713.3
/proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16523 0 -1 4202496 570192 0 0 0 70720 610 0 0 25 0 1 0 10066808 115884032 26996 1992294400 4194304 8223781 140736981820336 18446744073709551615 6560191 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16798/statm: 28292 26996 596 984 0 27305 0
Current children cumulated CPU time (s) 713.3
Current children cumulated vsize (KiB) 113168

[startup+716.701 s]
/proc/loadavg: 1.06 1.06 1.00 2/107 16820
/proc/meminfo: memFree=1557556/2059040 swapFree=4192956/4192956
[pid=16798] ppid=16796 vsize=113372 CPUtime=716.5
/proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16523 0 -1 4202496 573165 0 0 0 71037 613 0 0 25 0 1 0 10066808 116092928 27100 1992294400 4194304 8223781 140736981820336 18446744073709551615 6358996 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16798/statm: 28343 27100 596 984 0 27356 0
Current children cumulated CPU time (s) 716.5
Current children cumulated vsize (KiB) 113372

[startup+717.501 s]
/proc/loadavg: 1.06 1.06 1.00 2/107 16820
/proc/meminfo: memFree=1557308/2059040 swapFree=4192956/4192956
[pid=16798] ppid=16796 vsize=113628 CPUtime=717.3
/proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16523 0 -1 4202496 573299 0 0 0 71116 614 0 0 25 0 1 0 10066808 116355072 27164 1992294400 4194304 8223781 140736981820336 18446744073709551615 5930476 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16798/statm: 28407 27164 596 984 0 27420 0
Current children cumulated CPU time (s) 717.3
Current children cumulated vsize (KiB) 113628

[startup+718.308 s]
/proc/loadavg: 1.06 1.06 1.00 2/107 16820
/proc/meminfo: memFree=1556812/2059040 swapFree=4192956/4192956
[pid=16798] ppid=16796 vsize=114072 CPUtime=718.1
/proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16523 0 -1 4202496 573421 0 0 0 71196 614 0 0 25 0 1 0 10066808 116809728 27273 1992294400 4194304 8223781 140736981820336 18446744073709551615 6520504 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16798/statm: 28518 27273 596 984 0 27531 0
Current children cumulated CPU time (s) 718.1
Current children cumulated vsize (KiB) 114072

[startup+718.701 s]
/proc/loadavg: 1.06 1.06 1.00 2/107 16820
/proc/meminfo: memFree=1556812/2059040 swapFree=4192956/4192956
[pid=16798] ppid=16796 vsize=114268 CPUtime=718.49
/proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16523 0 -1 4202496 573481 0 0 0 71235 614 0 0 25 0 1 0 10066808 117010432 27323 1992294400 4194304 8223781 140736981820336 18446744073709551615 4409705 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16798/statm: 28567 27323 596 984 0 27580 0
Current children cumulated CPU time (s) 718.49
Current children cumulated vsize (KiB) 114268

[startup+718.802 s]
/proc/loadavg: 1.06 1.06 1.00 2/107 16820
/proc/meminfo: memFree=1556812/2059040 swapFree=4192956/4192956
[pid=16798] ppid=16796 vsize=107368 CPUtime=718.6
/proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16523 0 -1 4202496 573500 0 0 0 71245 615 0 0 25 0 1 0 10066808 109944832 25573 1992294400 4194304 8223781 140736981820336 18446744073709551615 6206490 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16798/statm: 26842 25573 599 984 0 25855 0
Current children cumulated CPU time (s) 718.6
Current children cumulated vsize (KiB) 107368

Child status: 0
Real time (s): 718.833
CPU time (s): 718.637
CPU user time (s): 712.474
CPU system time (s): 6.16306
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (KiB): 114712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 712.474
system time used= 6.16306
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 573504
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= 2
involuntary context switches= 1397

runsolver used 1.19282 second user time and 3.40248 second system time

The end

Launcher Data 

Begin job on node047 at 2010-06-16 13:29:08
IDJOB=2666257
IDBENCH=71841
IDSOLVER=1169
FILE ID=node047/2666257-1276687748
PBS_JOBID= 11172590
Free space on /tmp= 62540 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/flexray/normalized-fx92.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666257-1276687748/watcher-2666257-1276687748 -o /tmp/evaluation-result-2666257-1276687748/solver-2666257-1276687748 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666257-1276687748.opb -t 1800 -m 1800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 27a6a4205f1c6df1de962194e8e7e014
RANDOM SEED=1500537111

node047.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1665476 kB
Buffers:        111176 kB
Cached:         154996 kB
SwapCached:          0 kB
Active:         132960 kB
Inactive:       192520 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1665476 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            5272 kB
Writeback:           0 kB
AnonPages:       59276 kB
Mapped:          15364 kB
Slab:            46328 kB
PageTables:       4004 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180212 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62536 MiB
End job on node047 at 2010-06-16 13:41:07