Trace number 2664827

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
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solverOPT9 993.518 993.826

General information on the benchmark

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

Solver Data 

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

Verifier Data 

OK	9

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 0.99 1.00 0.99 3/106 8739
/proc/meminfo: memFree=1726800/2059040 swapFree=4140468/4192956
[pid=8739] ppid=8737 vsize=9288 CPUtime=0
/proc/8739/stat : 8739 (pbscip.linux.x8) R 8737 8739 7974 0 -1 4202496 1070 0 0 0 0 0 0 0 20 0 1 0 44376505 9510912 991 1992294400 4194304 9819077 140737463021472 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8739/statm: 2322 1001 371 1374 0 943 0

[startup+0.0711199 s]
/proc/loadavg: 0.99 1.00 0.99 3/106 8739
/proc/meminfo: memFree=1726800/2059040 swapFree=4140468/4192956
[pid=8739] ppid=8737 vsize=14984 CPUtime=0.07
/proc/8739/stat : 8739 (pbscip.linux.x8) R 8737 8739 7974 0 -1 4202496 2682 0 0 0 6 1 0 0 20 0 1 0 44376505 15343616 2603 1992294400 4194304 9819077 140737463021472 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8739/statm: 3746 2603 388 1374 0 2367 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 14984

[startup+0.101124 s]
/proc/loadavg: 0.99 1.00 0.99 3/106 8739
/proc/meminfo: memFree=1726800/2059040 swapFree=4140468/4192956
[pid=8739] ppid=8737 vsize=17664 CPUtime=0.09
/proc/8739/stat : 8739 (pbscip.linux.x8) R 8737 8739 7974 0 -1 4202496 3344 0 0 0 8 1 0 0 20 0 1 0 44376505 18087936 3265 1992294400 4194304 9819077 140737463021472 18446744073709551615 4240599 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8739/statm: 4416 3265 388 1374 0 3037 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17664

[startup+0.301145 s]
/proc/loadavg: 0.99 1.00 0.99 3/106 8739
/proc/meminfo: memFree=1726800/2059040 swapFree=4140468/4192956
[pid=8739] ppid=8737 vsize=37284 CPUtime=0.29
/proc/8739/stat : 8739 (pbscip.linux.x8) R 8737 8739 7974 0 -1 4202496 8644 0 0 0 26 3 0 0 20 0 1 0 44376505 38178816 8211 1992294400 4194304 9819077 140737463021472 18446744073709551615 6179008 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8739/statm: 9321 8213 438 1374 0 7942 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37284

[startup+0.70119 s]
/proc/loadavg: 0.99 1.00 0.99 3/106 8739
/proc/meminfo: memFree=1726800/2059040 swapFree=4140468/4192956
[pid=8739] ppid=8737 vsize=51860 CPUtime=0.69
/proc/8739/stat : 8739 (pbscip.linux.x8) R 8737 8739 7974 0 -1 4202496 12794 0 0 0 63 6 0 0 20 0 1 0 44376505 53104640 11616 1992294400 4194304 9819077 140737463021472 18446744073709551615 4442966 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8739/statm: 12965 11616 504 1374 0 11586 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51860

[startup+1.50128 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 8740
/proc/meminfo: memFree=1679672/2059040 swapFree=4140468/4192956
[pid=8739] ppid=8737 vsize=56384 CPUtime=1.49
/proc/8739/stat : 8739 (pbscip.linux.x8) R 8737 8739 7974 0 -1 4202496 13901 0 0 0 142 7 0 0 22 0 1 0 44376505 57737216 12723 1992294400 4194304 9819077 140737463021472 18446744073709551615 4891252 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8739/statm: 14096 12723 504 1374 0 12717 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 56384

[startup+3.10146 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 8740
/proc/meminfo: memFree=1675456/2059040 swapFree=4140468/4192956
[pid=8739] ppid=8737 vsize=72232 CPUtime=3.09
/proc/8739/stat : 8739 (pbscip.linux.x8) R 8737 8739 7974 0 -1 4202496 21120 0 0 0 299 10 0 0 25 0 1 0 44376505 73965568 16344 1992294400 4194304 9819077 140737463021472 18446744073709551615 6007156 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8739/statm: 18058 16344 664 1374 0 16679 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 72232

[startup+6.30081 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 8740
/proc/meminfo: memFree=1659956/2059040 swapFree=4140468/4192956
[pid=8739] ppid=8737 vsize=75388 CPUtime=6.29
/proc/8739/stat : 8739 (pbscip.linux.x8) R 8737 8739 7974 0 -1 4202496 33683 0 0 0 613 16 0 0 25 0 1 0 44376505 77197312 17230 1992294400 4194304 9819077 140737463021472 18446744073709551615 7309071 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8739/statm: 18847 17230 697 1374 0 17468 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 75388

[startup+12.7015 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 8740
/proc/meminfo: memFree=1655492/2059040 swapFree=4140468/4192956
[pid=8739] ppid=8737 vsize=83760 CPUtime=12.69
/proc/8739/stat : 8739 (pbscip.linux.x8) R 8737 8739 7974 0 -1 4202496 52234 0 0 0 1243 26 0 0 25 0 1 0 44376505 85770240 18370 1992294400 4194304 9819077 140737463021472 18446744073709551615 7290225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8739/statm: 20940 18370 709 1374 0 19561 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 83760

[startup+25.5009 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 8740
/proc/meminfo: memFree=1655244/2059040 swapFree=4140468/4192956
[pid=8739] ppid=8737 vsize=83448 CPUtime=25.49
/proc/8739/stat : 8739 (pbscip.linux.x8) R 8737 8739 7974 0 -1 4202496 85401 0 0 0 2506 43 0 0 25 0 1 0 44376505 85450752 18374 1992294400 4194304 9819077 140737463021472 18446744073709551615 6391588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8739/statm: 20862 18374 713 1374 0 19483 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 83448

[startup+51.1008 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 8740
/proc/meminfo: memFree=1655368/2059040 swapFree=4140468/4192956
[pid=8739] ppid=8737 vsize=83232 CPUtime=51.07
/proc/8739/stat : 8739 (pbscip.linux.x8) R 8737 8739 7974 0 -1 4202496 154958 0 0 0 5031 76 0 0 25 0 1 0 44376505 85229568 18431 1992294400 4194304 9819077 140737463021472 18446744073709551615 6697322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8739/statm: 20808 18431 727 1374 0 19429 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 83232

[startup+102.308 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 8742
/proc/meminfo: memFree=1654624/2059040 swapFree=4140468/4192956
[pid=8739] ppid=8737 vsize=81224 CPUtime=102.26
/proc/8739/stat : 8739 (pbscip.linux.x8) R 8737 8739 7974 0 -1 4202496 376583 0 0 0 10055 171 0 0 25 0 1 0 44376505 83173376 18596 1992294400 4194304 9819077 140737463021472 18446744073709551615 6391571 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8739/statm: 20306 18596 727 1374 0 18927 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 81224

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 8744
/proc/meminfo: memFree=1641976/2059040 swapFree=4140468/4192956
[pid=8739] ppid=8737 vsize=93588 CPUtime=162.24
/proc/8739/stat : 8739 (pbscip.linux.x8) R 8737 8739 7974 0 -1 4202496 786473 0 0 0 15876 348 0 0 25 0 1 0 44376505 95834112 21625 1992294400 4194304 9819077 140737463021472 18446744073709551615 6676959 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8739/statm: 23397 21628 731 1374 0 22018 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 93588

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 8746
/proc/meminfo: memFree=1638628/2059040 swapFree=4140468/4192956
[pid=8739] ppid=8737 vsize=96784 CPUtime=222.22
/proc/8739/stat : 8739 (pbscip.linux.x8) R 8737 8739 7974 0 -1 4202496 1237577 0 0 0 21683 539 0 0 25 0 1 0 44376505 99106816 22451 1992294400 4194304 9819077 140737463021472 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8739/statm: 24196 22451 732 1374 0 22817 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 96784

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 8746
/proc/meminfo: memFree=1631436/2059040 swapFree=4140468/4192956
[pid=8739] ppid=8737 vsize=104044 CPUtime=282.19
/proc/8739/stat : 8739 (pbscip.linux.x8) R 8737 8739 7974 0 -1 4202496 1802023 0 0 0 27437 782 0 0 25 0 1 0 44376505 106541056 24259 1992294400 4194304 9819077 140737463021472 18446744073709551615 6439914 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8739/statm: 26011 24259 732 1374 0 24632 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 104044

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 8748
/proc/meminfo: memFree=1628956/2059040 swapFree=4140468/4192956
[pid=8739] ppid=8737 vsize=106460 CPUtime=342.18
/proc/8739/stat : 8739 (pbscip.linux.x8) R 8737 8739 7974 0 -1 4202496 2284770 0 0 0 33234 984 0 0 25 0 1 0 44376505 109015040 24876 1992294400 4194304 9819077 140737463021472 18446744073709551615 4854249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8739/statm: 26615 24876 732 1374 0 25236 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 106460

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 8750
/proc/meminfo: memFree=1625112/2059040 swapFree=4140468/4192956
[pid=8739] ppid=8737 vsize=110188 CPUtime=402.16
/proc/8739/stat : 8739 (pbscip.linux.x8) R 8737 8739 7974 0 -1 4202496 2882831 0 0 0 38986 1230 0 0 25 0 1 0 44376505 112832512 25812 1992294400 4194304 9819077 140737463021472 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8739/statm: 27547 25812 732 1374 0 26168 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 110188

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 8752
/proc/meminfo: memFree=1623376/2059040 swapFree=4140468/4192956
[pid=8739] ppid=8737 vsize=114864 CPUtime=462.14
/proc/8739/stat : 8739 (pbscip.linux.x8) R 8737 8739 7974 0 -1 4202496 3579963 0 0 0 44705 1509 0 0 25 0 1 0 44376505 117620736 26300 1992294400 4194304 9819077 140737463021472 18446744073709551615 6391510 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8739/statm: 28716 26300 732 1374 0 27337 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 114864

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 8754
/proc/meminfo: memFree=1621640/2059040 swapFree=4140468/4192956
[pid=8739] ppid=8737 vsize=113620 CPUtime=522.13
/proc/8739/stat : 8739 (pbscip.linux.x8) R 8737 8739 7974 0 -1 4202496 4224740 0 0 0 50439 1774 0 0 25 0 1 0 44376505 116346880 26749 1992294400 4194304 9819077 140737463021472 18446744073709551615 7235184 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8739/statm: 28512 26751 732 1374 0 27133 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 113620

[startup+582.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 8754
/proc/meminfo: memFree=1619656/2059040 swapFree=4140468/4192956
[pid=8739] ppid=8737 vsize=115868 CPUtime=582.1
/proc/8739/stat : 8739 (pbscip.linux.x8) R 8737 8739 7974 0 -1 4202496 5007702 0 0 0 56123 2087 0 0 25 0 1 0 44376505 118648832 27246 1992294400 4194304 9819077 140737463021472 18446744073709551615 4651872 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8739/statm: 28967 27246 732 1374 0 27588 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 115868

[startup+642.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 8756
/proc/meminfo: memFree=1617300/2059040 swapFree=4140468/4192956
[pid=8739] ppid=8737 vsize=120720 CPUtime=642.1
/proc/8739/stat : 8739 (pbscip.linux.x8) R 8737 8739 7974 0 -1 4202496 5503873 0 0 0 61911 2299 0 0 25 0 1 0 44376505 123617280 27816 1992294400 4194304 9819077 140737463021472 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8739/statm: 30180 27816 732 1374 0 28801 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 120720

[startup+702.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 8758
/proc/meminfo: memFree=1615688/2059040 swapFree=4140468/4192956
[pid=8739] ppid=8737 vsize=119772 CPUtime=702.07
/proc/8739/stat : 8739 (pbscip.linux.x8) R 8737 8739 7974 0 -1 4202496 6002780 0 0 0 67697 2510 0 0 25 0 1 0 44376505 122646528 28226 1992294400 4194304 9819077 140737463021472 18446744073709551615 6513096 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8739/statm: 29943 28226 732 1374 0 28564 0
Current children cumulated CPU time (s) 702.07
Current children cumulated vsize (KiB) 119772

[startup+762.309 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 8760
/proc/meminfo: memFree=1612588/2059040 swapFree=4140468/4192956
[pid=8739] ppid=8737 vsize=122324 CPUtime=762.06
/proc/8739/stat : 8739 (pbscip.linux.x8) R 8737 8739 7974 0 -1 4202496 6602519 0 0 0 73448 2758 0 0 25 0 1 0 44376505 125259776 28869 1992294400 4194304 9819077 140737463021472 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8739/statm: 30581 28869 732 1374 0 29202 0
Current children cumulated CPU time (s) 762.06
Current children cumulated vsize (KiB) 122324

[startup+822.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 8762
/proc/meminfo: memFree=1611720/2059040 swapFree=4140468/4192956
[pid=8739] ppid=8737 vsize=123740 CPUtime=822.04
/proc/8739/stat : 8739 (pbscip.linux.x8) R 8737 8739 7974 0 -1 4202496 7110842 0 0 0 79229 2975 0 0 25 0 1 0 44376505 126709760 29216 1992294400 4194304 9819077 140737463021472 18446744073709551615 6391571 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8739/statm: 30935 29216 732 1374 0 29556 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 123740

[startup+882.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 8762
/proc/meminfo: memFree=1608992/2059040 swapFree=4140468/4192956
[pid=8739] ppid=8737 vsize=126200 CPUtime=882.02
/proc/8739/stat : 8739 (pbscip.linux.x8) R 8737 8739 7974 0 -1 4202496 7682264 0 0 0 84987 3215 0 0 25 0 1 0 44376505 129228800 29809 1992294400 4194304 9819077 140737463021472 18446744073709551615 6391571 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8739/statm: 31550 29809 732 1374 0 30171 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 126200

[startup+942.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 8764
/proc/meminfo: memFree=1607876/2059040 swapFree=4140468/4192956
[pid=8739] ppid=8737 vsize=130296 CPUtime=942
/proc/8739/stat : 8739 (pbscip.linux.x8) R 8737 8739 7974 0 -1 4202496 8309197 0 0 0 90717 3483 0 0 25 0 1 0 44376505 133423104 30242 1992294400 4194304 9819077 140737463021472 18446744073709551615 6656837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8739/statm: 32574 30242 732 1374 0 31195 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 130296

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

[startup+947.108 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 8764
/proc/meminfo: memFree=1607504/2059040 swapFree=4140468/4192956
[pid=8739] ppid=8737 vsize=127776 CPUtime=946.8
/proc/8739/stat : 8739 (pbscip.linux.x8) R 8737 8739 7974 0 -1 4202496 8349766 0 0 0 91180 3500 0 0 25 0 1 0 44376505 130842624 30222 1992294400 4194304 9819077 140737463021472 18446744073709551615 4854246 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8739/statm: 31944 30222 732 1374 0 30565 0
Current children cumulated CPU time (s) 946.8
Current children cumulated vsize (KiB) 127776

[startup+972.701 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 8766
/proc/meminfo: memFree=1606760/2059040 swapFree=4140468/4192956
[pid=8739] ppid=8737 vsize=128432 CPUtime=972.39
/proc/8739/stat : 8739 (pbscip.linux.x8) R 8737 8739 7974 0 -1 4202496 8643602 0 0 0 93621 3618 0 0 25 0 1 0 44376505 131514368 30399 1992294400 4194304 9819077 140737463021472 18446744073709551615 5956090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8739/statm: 32108 30399 732 1374 0 30729 0
Current children cumulated CPU time (s) 972.39
Current children cumulated vsize (KiB) 128432

[startup+985.501 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 8766
/proc/meminfo: memFree=1606140/2059040 swapFree=4140468/4192956
[pid=8739] ppid=8737 vsize=128984 CPUtime=985.2
/proc/8739/stat : 8739 (pbscip.linux.x8) R 8737 8739 7974 0 -1 4202496 8736767 0 0 0 94862 3658 0 0 25 0 1 0 44376505 132079616 30522 1992294400 4194304 9819077 140737463021472 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8739/statm: 32246 30522 732 1374 0 30867 0
Current children cumulated CPU time (s) 985.2
Current children cumulated vsize (KiB) 128984

[startup+988.702 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 8766
/proc/meminfo: memFree=1606264/2059040 swapFree=4140468/4192956
[pid=8739] ppid=8737 vsize=128816 CPUtime=988.39
/proc/8739/stat : 8739 (pbscip.linux.x8) R 8737 8739 7974 0 -1 4202496 8758235 0 0 0 95172 3667 0 0 25 0 1 0 44376505 131907584 30465 1992294400 4194304 9819077 140737463021472 18446744073709551615 7816449 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8739/statm: 32204 30469 732 1374 0 30825 0
Current children cumulated CPU time (s) 988.39
Current children cumulated vsize (KiB) 128816

[startup+991.901 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 8766
/proc/meminfo: memFree=1606140/2059040 swapFree=4140468/4192956
[pid=8739] ppid=8737 vsize=128920 CPUtime=991.59
/proc/8739/stat : 8739 (pbscip.linux.x8) R 8737 8739 7974 0 -1 4202496 8786590 0 0 0 95481 3678 0 0 25 0 1 0 44376505 132014080 30525 1992294400 4194304 9819077 140737463021472 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8739/statm: 32230 30525 732 1374 0 30851 0
Current children cumulated CPU time (s) 991.59
Current children cumulated vsize (KiB) 128920

[startup+992.701 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 8766
/proc/meminfo: memFree=1606140/2059040 swapFree=4140468/4192956
[pid=8739] ppid=8737 vsize=131544 CPUtime=992.39
/proc/8739/stat : 8739 (pbscip.linux.x8) R 8737 8739 7974 0 -1 4202496 8794827 0 0 0 95558 3681 0 0 25 0 1 0 44376505 134701056 30622 1992294400 4194304 9819077 140737463021472 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8739/statm: 32340 30607 732 1374 0 30961 0
Current children cumulated CPU time (s) 992.39
Current children cumulated vsize (KiB) 131544

[startup+993.501 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 8766
/proc/meminfo: memFree=1606016/2059040 swapFree=4140468/4192956
[pid=8739] ppid=8737 vsize=129192 CPUtime=993.18
/proc/8739/stat : 8739 (pbscip.linux.x8) R 8737 8739 7974 0 -1 4202496 8800241 0 0 0 95635 3683 0 0 25 0 1 0 44376505 132292608 30599 1992294400 4194304 9819077 140737463021472 18446744073709551615 6590687 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8739/statm: 32298 30599 732 1374 0 30919 0
Current children cumulated CPU time (s) 993.18
Current children cumulated vsize (KiB) 129192

[startup+993.701 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 8766
/proc/meminfo: memFree=1606016/2059040 swapFree=4140468/4192956
[pid=8739] ppid=8737 vsize=129192 CPUtime=993.38
/proc/8739/stat : 8739 (pbscip.linux.x8) R 8737 8739 7974 0 -1 4202496 8801281 0 0 0 95655 3683 0 0 25 0 1 0 44376505 132292608 30599 1992294400 4194304 9819077 140737463021472 18446744073709551615 4561443 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8739/statm: 32298 30599 732 1374 0 30919 0
Current children cumulated CPU time (s) 993.38
Current children cumulated vsize (KiB) 129192

[startup+993.801 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 8766
/proc/meminfo: memFree=1606016/2059040 swapFree=4140468/4192956
[pid=8739] ppid=8737 vsize=94856 CPUtime=993.48
/proc/8739/stat : 8739 (pbscip.linux.x8) R 8737 8739 7974 0 -1 4202496 8801285 0 0 0 95664 3684 0 0 25 0 1 0 44376505 97132544 22819 1992294400 4194304 9819077 140737463021472 18446744073709551615 8723783 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8739/statm: 23714 22807 736 1374 0 22335 0
Current children cumulated CPU time (s) 993.48
Current children cumulated vsize (KiB) 94856

Child status: 0
Real time (s): 993.826
CPU time (s): 993.518
CPU user time (s): 956.661
CPU system time (s): 36.8574
CPU usage (%): 99.969
Max. virtual memory (cumulated for all children) (KiB): 132132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 956.661
system time used= 36.8574
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8801289
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= 1
involuntary context switches= 824

runsolver used 1.62575 second user time and 4.71428 second system time

The end

Launcher Data 

Begin job on node005 at 2010-06-16 13:28:48
IDJOB=2664827
IDBENCH=71841
IDSOLVER=1168
FILE ID=node005/2664827-1276687728
PBS_JOBID= 11172568
Free space on /tmp= 62564 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/flexray/normalized-fx92.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2664827-1276687728/watcher-2664827-1276687728 -o /tmp/evaluation-result-2664827-1276687728/solver-2664827-1276687728 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2664827-1276687728.opb -t 1800 -m 1800

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

MD5SUM BENCH= 27a6a4205f1c6df1de962194e8e7e014
RANDOM SEED=332569295

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

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1727204 kB
Buffers:         99480 kB
Cached:         136944 kB
SwapCached:       6352 kB
Active:          96288 kB
Inactive:       153940 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1727204 kB
SwapTotal:     4192956 kB
SwapFree:      4140468 kB
Dirty:            7040 kB
Writeback:           0 kB
AnonPages:       11628 kB
Mapped:          13096 kB
Slab:            59848 kB
PageTables:       3984 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181044 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62560 MiB
End job on node005 at 2010-06-16 13:45:22