Trace number 3451906

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
SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4OPT9 45.808 45.8079

General information on the benchmark

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

Verifier Data 

OK	9

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

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

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

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


[startup+0 s]
/proc/loadavg: 1.92 2.01 1.99 2/527 10676
/proc/meminfo: memFree=24897048/32951124 swapFree=56241860/67111528
[pid=10676] ppid=10674 vsize=10932 CPUtime=0 cores=0,2,4,6
/proc/10676/stat : 10676 (scip-2.0.1.4.li) R 10674 10676 5807 0 -1 4202496 1719 0 0 0 0 0 0 0 25 0 1 0 901801437 11194368 1672 33554432000 4194304 9128323 140733986803248 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10676/statm: 2733 1672 400 1205 0 1524 0

[startup+0.0358689 s]
/proc/loadavg: 1.92 2.01 1.99 2/527 10676
/proc/meminfo: memFree=24897048/32951124 swapFree=56241860/67111528
[pid=10676] ppid=10674 vsize=16324 CPUtime=0.03 cores=0,2,4,6
/proc/10676/stat : 10676 (scip-2.0.1.4.li) R 10674 10676 5807 0 -1 4202496 3077 0 0 0 3 0 0 0 25 0 1 0 901801437 16715776 3030 33554432000 4194304 9128323 140733986803248 18446744073709551615 7414534 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10676/statm: 4081 3030 400 1205 0 2872 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 16324

[startup+0.100884 s]
/proc/loadavg: 1.92 2.01 1.99 2/527 10676
/proc/meminfo: memFree=24897048/32951124 swapFree=56241860/67111528
[pid=10676] ppid=10674 vsize=22572 CPUtime=0.09 cores=0,2,4,6
/proc/10676/stat : 10676 (scip-2.0.1.4.li) R 10674 10676 5807 0 -1 4202496 4326 0 0 0 9 0 0 0 25 0 1 0 901801437 23113728 4278 33554432000 4194304 9128323 140733986803248 18446744073709551615 8009021 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10676/statm: 5643 4320 429 1205 0 4434 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22572

[startup+0.300861 s]
/proc/loadavg: 1.92 2.01 1.99 2/527 10676
/proc/meminfo: memFree=24897048/32951124 swapFree=56241860/67111528
[pid=10676] ppid=10674 vsize=55616 CPUtime=0.29 cores=0,2,4,6
/proc/10676/stat : 10676 (scip-2.0.1.4.li) R 10674 10676 5807 0 -1 4202496 12967 0 0 0 28 1 0 0 25 0 1 0 901801437 56950784 12652 33554432000 4194304 9128323 140733986803248 18446744073709551615 5157052 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10676/statm: 13904 12652 561 1205 0 12695 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 55616

[startup+0.700779 s]
/proc/loadavg: 1.92 2.01 1.99 2/527 10676
/proc/meminfo: memFree=24897048/32951124 swapFree=56241860/67111528
[pid=10676] ppid=10674 vsize=80216 CPUtime=0.69 cores=0,2,4,6
/proc/10676/stat : 10676 (scip-2.0.1.4.li) R 10674 10676 5807 0 -1 4202496 20166 0 0 0 67 2 0 0 18 0 1 0 901801437 82141184 18785 33554432000 4194304 9128323 140733986803248 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10676/statm: 20054 18785 667 1205 0 18845 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 80216

[startup+1.50064 s]
/proc/loadavg: 1.92 2.01 1.99 3/528 10677
/proc/meminfo: memFree=24813144/32951124 swapFree=56241860/67111528
[pid=10676] ppid=10674 vsize=118760 CPUtime=1.49 cores=0,2,4,6
/proc/10676/stat : 10676 (scip-2.0.1.4.li) R 10674 10676 5807 0 -1 4202496 30439 0 0 0 146 3 0 0 19 0 1 0 901801437 121610240 28375 33554432000 4194304 9128323 140733986803248 18446744073709551615 5158210 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10676/statm: 29690 28375 720 1205 0 28481 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 118760

[startup+3.10034 s]
/proc/loadavg: 1.92 2.01 1.99 3/528 10677
/proc/meminfo: memFree=24766768/32951124 swapFree=56241860/67111528
[pid=10676] ppid=10674 vsize=129944 CPUtime=3.09 cores=0,2,4,6
/proc/10676/stat : 10676 (scip-2.0.1.4.li) R 10674 10676 5807 0 -1 4202496 33556 0 0 0 306 3 0 0 22 0 1 0 901801437 133062656 31492 33554432000 4194304 9128323 140733986803248 18446744073709551615 6697865 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10676/statm: 32486 31492 734 1205 0 31277 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 129944

[startup+6.3008 s]
/proc/loadavg: 1.93 2.01 1.99 3/528 10677
/proc/meminfo: memFree=24758468/32951124 swapFree=56241860/67111528
[pid=10676] ppid=10674 vsize=129944 CPUtime=6.29 cores=0,2,4,6
/proc/10676/stat : 10676 (scip-2.0.1.4.li) R 10674 10676 5807 0 -1 4202496 33646 0 0 0 625 4 0 0 25 0 1 0 901801437 133062656 31582 33554432000 4194304 9128323 140733986803248 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10676/statm: 32486 31582 744 1205 0 31277 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 129944

[startup+12.7007 s]
/proc/loadavg: 1.93 2.01 1.99 3/528 10678
/proc/meminfo: memFree=24749844/32951124 swapFree=56241860/67111528
[pid=10676] ppid=10674 vsize=129944 CPUtime=12.7 cores=0,2,4,6
/proc/10676/stat : 10676 (scip-2.0.1.4.li) R 10674 10676 5807 0 -1 4202496 33646 0 0 0 1263 7 0 0 25 0 1 0 901801437 133062656 31582 33554432000 4194304 9128323 140733986803248 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10676/statm: 32486 31582 744 1205 0 31277 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 129944

[startup+25.5004 s]
/proc/loadavg: 1.95 2.00 1.99 3/528 10678
/proc/meminfo: memFree=24754364/32951124 swapFree=56241860/67111528
[pid=10676] ppid=10674 vsize=129944 CPUtime=25.49 cores=0,2,4,6
/proc/10676/stat : 10676 (scip-2.0.1.4.li) R 10674 10676 5807 0 -1 4202496 33646 0 0 0 2536 13 0 0 25 0 1 0 901801437 133062656 31582 33554432000 4194304 9128323 140733986803248 18446744073709551615 7286095 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10676/statm: 32486 31582 744 1205 0 31277 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 129944

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

[startup+38.3002 s]
/proc/loadavg: 1.95 2.00 1.99 3/528 10678
/proc/meminfo: memFree=24751420/32951124 swapFree=56241860/67111528
[pid=10676] ppid=10674 vsize=129944 CPUtime=38.29 cores=0,2,4,6
/proc/10676/stat : 10676 (scip-2.0.1.4.li) R 10674 10676 5807 0 -1 4202496 33646 0 0 0 3810 19 0 0 25 0 1 0 901801437 133062656 31582 33554432000 4194304 9128323 140733986803248 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10676/statm: 32486 31582 744 1205 0 31277 0
Current children cumulated CPU time (s) 38.29
Current children cumulated vsize (KiB) 129944

[startup+41.5006 s]
/proc/loadavg: 1.96 2.00 1.99 3/528 10678
/proc/meminfo: memFree=24757620/32951124 swapFree=56241860/67111528
[pid=10676] ppid=10674 vsize=129944 CPUtime=41.49 cores=0,2,4,6
/proc/10676/stat : 10676 (scip-2.0.1.4.li) R 10674 10676 5807 0 -1 4202496 33646 0 0 0 4128 21 0 0 25 0 1 0 901801437 133062656 31582 33554432000 4194304 9128323 140733986803248 18446744073709551615 7286095 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10676/statm: 32486 31582 744 1205 0 31277 0
Current children cumulated CPU time (s) 41.49
Current children cumulated vsize (KiB) 129944

[startup+43.1004 s]
/proc/loadavg: 1.96 2.00 1.99 3/528 10679
/proc/meminfo: memFree=24757268/32951124 swapFree=56241860/67111528
[pid=10676] ppid=10674 vsize=129944 CPUtime=43.09 cores=0,2,4,6
/proc/10676/stat : 10676 (scip-2.0.1.4.li) R 10674 10676 5807 0 -1 4202496 33646 0 0 0 4287 22 0 0 25 0 1 0 901801437 133062656 31582 33554432000 4194304 9128323 140733986803248 18446744073709551615 7342973 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10676/statm: 32486 31582 744 1205 0 31277 0
Current children cumulated CPU time (s) 43.09
Current children cumulated vsize (KiB) 129944

[startup+44.7011 s]
/proc/loadavg: 1.96 2.00 1.99 3/528 10679
/proc/meminfo: memFree=24757516/32951124 swapFree=56241860/67111528
[pid=10676] ppid=10674 vsize=129944 CPUtime=44.69 cores=0,2,4,6
/proc/10676/stat : 10676 (scip-2.0.1.4.li) R 10674 10676 5807 0 -1 4202496 33646 0 0 0 4446 23 0 0 25 0 1 0 901801437 133062656 31582 33554432000 4194304 9128323 140733986803248 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10676/statm: 32486 31582 744 1205 0 31277 0
Current children cumulated CPU time (s) 44.69
Current children cumulated vsize (KiB) 129944

[startup+45.5009 s]
/proc/loadavg: 1.96 2.00 1.99 3/528 10679
/proc/meminfo: memFree=24757172/32951124 swapFree=56241860/67111528
[pid=10676] ppid=10674 vsize=129944 CPUtime=45.49 cores=0,2,4,6
/proc/10676/stat : 10676 (scip-2.0.1.4.li) R 10674 10676 5807 0 -1 4202496 33646 0 0 0 4526 23 0 0 25 0 1 0 901801437 133062656 31582 33554432000 4194304 9128323 140733986803248 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10676/statm: 32486 31582 744 1205 0 31277 0
Current children cumulated CPU time (s) 45.49
Current children cumulated vsize (KiB) 129944

[startup+45.7009 s]
/proc/loadavg: 1.96 2.00 1.99 3/528 10679
/proc/meminfo: memFree=24757172/32951124 swapFree=56241860/67111528
[pid=10676] ppid=10674 vsize=129944 CPUtime=45.69 cores=0,2,4,6
/proc/10676/stat : 10676 (scip-2.0.1.4.li) R 10674 10676 5807 0 -1 4202496 33646 0 0 0 4546 23 0 0 25 0 1 0 901801437 133062656 31582 33554432000 4194304 9128323 140733986803248 18446744073709551615 7267336 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10676/statm: 32486 31582 744 1205 0 31277 0
Current children cumulated CPU time (s) 45.69
Current children cumulated vsize (KiB) 129944

[startup+45.8009 s]
/proc/loadavg: 1.96 2.00 1.99 3/528 10679
/proc/meminfo: memFree=24757172/32951124 swapFree=56241860/67111528
[pid=10676] ppid=10674 vsize=111756 CPUtime=45.79 cores=0,2,4,6
/proc/10676/stat : 10676 (scip-2.0.1.4.li) R 10674 10676 5807 0 -1 4202496 33650 0 0 0 4556 23 0 0 25 0 1 0 901801437 114438144 27297 33554432000 4194304 9128323 140733986803248 18446744073709551615 4336775 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10676/statm: 27939 27297 748 1205 0 26730 0
Current children cumulated CPU time (s) 45.79
Current children cumulated vsize (KiB) 111756

Child status: 0
Real time (s): 45.8079
CPU time (s): 45.808
CPU user time (s): 45.5671
CPU system time (s): 0.240963
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 129944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 45.5671
system time used= 0.240963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33652
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= 4
involuntary context switches= 69

runsolver used 0.291955 second user time and 0.508922 second system time

The end

Launcher Data 

Begin job on node119 at 2011-06-03 17:41:48
IDJOB=3451906
IDBENCH=71841
IDSOLVER=1949
FILE ID=node119/3451906-1307115708
RUNJOBID= node119-1307110299-10276
PBS_JOBID= 13497988
Free space on /tmp= 73620 MiB

SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/flexray/normalized-fx92.opb
COMMAND LINE= HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3451906-1307115708/watcher-3451906-1307115708 -o /tmp/evaluation-result-3451906-1307115708/solver-3451906-1307115708 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3451906-1307115708.opb -t 1800 -m 15500

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

MD5SUM BENCH= 27a6a4205f1c6df1de962194e8e7e014
RANDOM SEED=1980959131

node119.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24897204 kB
Buffers:        203648 kB
Cached:         559024 kB
SwapCached:      59076 kB
Active:         783920 kB
Inactive:      6972824 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24897204 kB
SwapTotal:    67111528 kB
SwapFree:     56241860 kB
Dirty:           26080 kB
Writeback:           0 kB
AnonPages:     6938012 kB
Mapped:          35972 kB
Slab:           148604 kB
PageTables:      79580 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 163981640 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73608 MiB
End job on node119 at 2011-06-03 17:42:34