Trace number 4434591

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
FiberSCIP 2024-07-02OPT2807154740 1500.48 1504.74

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-sp98ic.opb
MD5SUMf5b507fec305347e12cc700790213fb8
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2807154740
Best CPU time to get the best result obtained on this benchmark87.1436
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10894
Total number of constraints825
Number of constraints which are clauses20
Number of constraints which are cardinality constraints (but not clauses)624
Number of constraints which are nor clauses,nor cardinality constraints181
Minimum length of a constraint2
Maximum length of a constraint5038
Number of terms in the objective function 10894
Biggest coefficient in the objective function 1079902210
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 3040671454286
Number of bits of the sum of numbers in the objective function 42
Biggest number in a constraint 1079902210
Number of bits of the biggest number in a constraint 31
Biggest sum of numbers in a constraint 3040671454286
Number of bits of the biggest sum of numbers42
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 The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.2.1         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.10/0.19	c Default LC presolving (default).
0.10/0.19	c ** Before presolving: virtualMemUsedAtLc = 88551424, getVmSize() = 88551424, SCIPgetMemUsed() = 51647205, SCIPgetMemTotal() = 66501989, SCIPgetMemExternEstim() = 21025820
0.10/0.19	c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
1.58/1.64	c ** Estimated virtualMemUsedAtSolver = 129380380, getVmSize() = 196845568, SCIPgetMemUsed() = 88865150, SCIPgetMemTotal() = 173044750, SCIPgetMemExternEstim() = 21025820
1.58/1.64	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
1.58/1.64	c Original Problem   :
1.58/1.64	c   Problem name     : instance-4434591-1721064879
1.58/1.64	c   Variables        : 10894 (10894 binary, 0 integer, 0 implicit integer, 0 continuous)
1.58/1.64	c   Constraints      : 825
1.58/1.64	c   Objective sense  : minimize
1.58/1.64	c Presolved Problem  :
1.58/1.64	c   Variables        : 10876 (10876 binary, 0 integer, 0 implicit integer, 0 continuous)
1.58/1.64	c   Constraints      : 796
1.58/1.64	c Constraints        : Number
1.58/1.64	c   knapsack         : 156 
1.58/1.64	c   setppc           : 627 
1.58/1.64	c   logicor          : 13 
1.58/1.64	c ** Instance transfer method used: 0
1.58/1.69	c ** ParaScipInstance copy does not increase the number of variables. **
1.68/1.79	c LC is working with racing ramp-up and with rebuilding tree after racing.
1.68/1.79	c                                Nodes    Active                                            
1.68/1.79	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
3.08/3.20	c *       3              0           1         1 72857027766.0000                -          -
8.97/9.01	c *       9              0           1         1  7835085432.0000                -          -
8.97/9.01	c         9              0           1         1  7835085432.0000                -          -
10.08/10.17	c *** A new solution generated in a Solver does not match with the upperbound in LC ***
10.08/10.17	c SCIPgetUpperbound(scip) = 7834597768.0000
10.08/10.17	c solution->getObjectiveFunctionValue() = 7834597768.0000
10.08/10.17	c Difference = -0.0000, SCIPfeastol(scip) = 0.0000
10.08/10.17	c *      10              0           1         1  7834597768.0000                -          -
10.08/10.19	c *** A new solution generated in a Solver does not match with the upperbound in LC ***
10.08/10.19	c SCIPgetUpperbound(scip) = 3411690124.0000
10.08/10.19	c solution->getObjectiveFunctionValue() = 3411690124.0000
10.08/10.19	c Difference = -0.0000, SCIPfeastol(scip) = 0.0000
10.08/10.19	c *      10              0           1         1  3411690124.0000                -          -
35.21/35.30	c *      35              0           1         1  3088110388.0000                -          -
35.21/35.30	c        35              0           1         1  3088110388.0000                -          -
45.18/45.38	c        45              2           1         1  3088110388.0000  2781433651.0124     11.03%
51.07/51.25	c        51             10           9         1  3088110388.0000  2781433651.0124     11.03%
56.65/56.81	c        57             18          17         1  3088110388.0000  2781840015.4086     11.01%
62.44/62.67	c        63             28          27         1  3088110388.0000  2783400378.6246     10.95%
68.94/69.18	c        69             36          35         1  3088110388.0000  2783400378.6246     10.95%
74.42/74.67	c        75             47          46         1  3088110388.0000  2783683421.4428     10.94%
74.62/74.81	c *      75             47          46         1  2930639691.0000  2783683421.4428      5.28%
74.72/74.99	c *      75             47          46         1  2921055573.0000  2783683421.4428      4.93%
76.31/76.50	c *      76             49          34         1  2918983473.0000  2783683421.4428      4.86%
79.82/80.11	c        80             57          41         1  2918983473.0000  2783683421.4428      4.86%
85.69/85.99	c        86             81          55         1  2918983473.0000  2785185071.7226      4.80%
91.38/91.63	c        92             98          68         1  2918983473.0000  2785185071.7226      4.80%
96.87/97.11	c        97            149         111         1  2918983473.0000  2785998873.3390      4.77%
104.54/104.87	c       105            180         138         1  2918983473.0000  2786318599.3133      4.76%
110.43/110.77	c       111            256         196         1  2918983473.0000  2786661442.8113      4.75%
112.22/112.58	c *     113            272         204         1  2894482272.0000  2786661442.8113      3.87%
115.83/116.11	c       116            327         190         1  2894482272.0000  2787434150.4298      3.84%
122.20/122.59	c       123            408         235         1  2894482272.0000  2787586511.5944      3.83%
127.59/128.01	c       128            481         272         1  2894482272.0000  2788158781.1966      3.81%
133.17/133.59	c       134            578         313         1  2894482272.0000  2788158781.1966      3.81%
139.25/139.61	c       140            646         351         1  2894482272.0000  2788158781.1966      3.81%
145.04/145.48	c       145            683         388         1  2894482272.0000  2788158781.1966      3.81%
150.42/150.89	c       151            716         421         1  2894482272.0000  2788158781.1966      3.81%
155.81/156.21	c       156            752         457         1  2894482272.0000  2789031770.6624      3.78%
161.50/161.93	c       162            811         516         1  2894482272.0000  2789182616.5564      3.78%
167.28/167.73	c       168            845         550         1  2894482272.0000  2789421544.4353      3.77%
172.76/173.25	c       173            885         588         1  2894482272.0000  2789421544.4353      3.77%
178.65/179.14	c       179            929         632         1  2894482272.0000  2790044237.8258      3.74%
179.93/180.41	c *     180            932         635         1  2880873154.0000  2790321705.7714      3.25%
185.23/185.75	c       186            972         595         1  2880873154.0000  2790353925.1735      3.24%
190.53/191.03	c       191           1004         617         1  2880873154.0000  2790383047.5979      3.24%
196.00/196.55	c       197           1054         657         1  2880873154.0000  2790383047.5979      3.24%
201.98/202.51	c       203           1081         684         1  2880873154.0000  2790383047.5979      3.24%
207.48/208.10	c       208           1122         719         1  2880873154.0000  2790383047.5979      3.24%
213.25/213.81	c       214           1170         755         1  2880873154.0000  2790587896.3203      3.24%
218.84/219.49	c       219           1203         784         1  2880873154.0000  2790587896.3203      3.24%
224.53/225.18	c       225           1248         825         1  2880873154.0000  2790587896.3203      3.24%
229.69/230.38	c       230           1289         858         1  2880873154.0000  2790587896.3203      3.24%
235.39/236.08	c       236           1334         891         1  2880873154.0000  2790587896.3203      3.24%
241.16/241.87	c       242           1379         930         1  2880873154.0000  2790687856.0705      3.23%
246.95/247.68	c       248           1422         965         1  2880873154.0000  2790687856.0705      3.23%
252.53/253.29	c       253           1465        1002         1  2880873154.0000  2790687856.0705      3.23%
258.12/258.80	c       259           1505        1036         1  2880873154.0000  2790687856.0705      3.23%
263.60/264.36	c       264           1545        1072         1  2880873154.0000  2791152865.8088      3.21%
269.10/269.84	c       270           1584        1109         1  2880873154.0000  2791152865.8088      3.21%
274.58/275.34	c       275           1633        1152         1  2880873154.0000  2791152865.8088      3.21%
280.56/281.40	c       281           1676        1183         1  2880873154.0000  2791249871.6450      3.21%
291.73/292.56	c       293           1695           0         1  2880873154.0000  2791274381.9986      3.21%
297.82/298.69	c       299           1718          23         1  2880873154.0000  2791274381.9986      3.21%
303.71/304.50	c       304           1746          51         1  2880873154.0000  2791274381.9986      3.21%
309.30/310.17	c       310           1780          85         1  2880873154.0000  2791274381.9986      3.21%
314.29/315.17	c       315           1816         121         1  2880873154.0000  2791274381.9986      3.21%
320.28/321.16	c       321           1870         171         1  2880873154.0000  2791274381.9986      3.21%
325.85/326.73	c       327           1908         201         1  2880873154.0000  2791274381.9986      3.21%
331.03/331.92	c       332           1958         241         1  2880873154.0000  2791274381.9986      3.21%
337.02/338.01	c       338           1990         271         1  2880873154.0000  2791274381.9986      3.21%
342.50/343.46	c       343           2042         313         1  2880873154.0000  2791274381.9986      3.21%
347.99/348.95	c       349           2086         349         1  2880873154.0000  2791274381.9986      3.21%
353.67/354.67	c       355           2132         379         1  2880873154.0000  2791274381.9986      3.21%
354.57/355.54	c *     356           2132         379         1  2879559338.0000  2791274381.9986      3.16%
359.76/360.78	c       361           2179         413         1  2879559338.0000  2791274381.9986      3.16%
365.54/366.57	c       367           2230         448         1  2879559338.0000  2791274381.9986      3.16%
371.33/372.34	c       372           2269         483         1  2879559338.0000  2791274381.9986      3.16%
376.82/377.87	c       378           2306         520         1  2879559338.0000  2791274381.9986      3.16%
382.30/383.32	c       383           2338         548         1  2879559338.0000  2791274381.9986      3.16%
388.00/389.08	c       389           2390         596         1  2879559338.0000  2791274381.9986      3.16%
393.58/394.61	c       395           2428         632         1  2879559338.0000  2791274381.9986      3.16%
399.36/400.49	c       400           2456         658         1  2879559338.0000  2791274381.9986      3.16%
405.44/406.53	c       407           2504         696         1  2879559338.0000  2791274381.9986      3.16%
410.62/411.79	c       412           2546         730         1  2879559338.0000  2791274381.9986      3.16%
415.71/416.88	c       417           2581         765         1  2879559338.0000  2791274381.9986      3.16%
421.09/422.23	c       422           2624         798         1  2879559338.0000  2791799409.4335      3.14%
426.58/427.74	c       428           2672         842         1  2879559338.0000  2791799409.4335      3.14%
432.37/433.57	c       434           2713         879         1  2879559338.0000  2791799409.4335      3.14%
437.76/438.93	c       439           2762         926         1  2879559338.0000  2791799409.4335      3.14%
443.05/444.25	c       444           2803         965         1  2879559338.0000  2791799409.4335      3.14%
449.03/450.23	c       450           2843        1001         1  2879559338.0000  2791799409.4335      3.14%
454.72/455.95	c       456           2888        1040         1  2879559338.0000  2791799409.4335      3.14%
459.82/461.03	c       461           2936        1082         1  2879559338.0000  2793202018.7120      3.09%
464.80/466.07	c       466           2986        1126         1  2879559338.0000  2793309126.7657      3.09%
469.80/471.09	c       471           3019        1155         1  2879559338.0000  2793322133.6821      3.09%
475.07/476.31	c       476           3072        1198         1  2879559338.0000  2793340366.1503      3.09%
480.36/481.61	c       482           3127        1249         1  2879559338.0000  2793340366.1503      3.09%
486.44/487.79	c       488           3177        1297         1  2879559338.0000  2793340366.1503      3.09%
488.14/489.40	c *     489           3193        1305         1  2820696694.0000  2793340366.1503      0.98%
491.84/493.14	c       493           3239         392         1  2820696694.0000  2793421861.3751      0.98%
497.31/498.68	c       499           3312         407         1  2820696694.0000  2793421861.3751      0.98%
502.80/504.16	c       504           3391         422         1  2820696694.0000  2793421861.3751      0.98%
507.98/509.37	c       509           3493         440         1  2820696694.0000  2793421861.3751      0.98%
512.06/513.49	c *     513           3542         443         1  2819044232.0000  2793421861.3751      0.92%
512.67/514.07	c *     514           3566         411         1  2816349229.0000  2793421861.3751      0.82%
512.96/514.39	c       514           3586         354         1  2816349229.0000  2793576349.5931      0.82%
518.54/519.95	c       520           3675         377         1  2816349229.0000  2793953150.8219      0.80%
524.52/525.91	c       526           3770         396         1  2816349229.0000  2794031455.6065      0.80%
529.81/531.25	c       531           3878         410         1  2816349229.0000  2794031455.6065      0.80%
534.99/536.44	c       536           3986         420         1  2816349229.0000  2794031455.6065      0.80%
539.97/541.48	c       541           4074         436         1  2816349229.0000  2794056452.3727      0.80%
545.67/547.12	c       547           4170         456         1  2816349229.0000  2794154011.2494      0.79%
550.84/552.35	c       552           4265         469         1  2816349229.0000  2794249487.5737      0.79%
556.72/558.26	c       558           4333         485         1  2816349229.0000  2794249487.5737      0.79%
562.21/563.73	c       564           4418         504         1  2816349229.0000  2794249487.5737      0.79%
567.79/569.33	c       569           4498         518         1  2816349229.0000  2794249487.5737      0.79%
573.48/575.07	c       575           4621         553         1  2816349229.0000  2794310061.1024      0.79%
578.86/580.44	c       580           4733         567         1  2816349229.0000  2794338102.5082      0.79%
584.04/585.60	c       586           4867         575         1  2816349229.0000  2794338102.5082      0.79%
589.62/591.30	c       591           5033         585         1  2816349229.0000  2794395776.5559      0.79%
594.70/596.39	c       596           5178         594         1  2816349229.0000  2794437524.9222      0.78%
599.98/601.65	c       602           5306         602         1  2816349229.0000  2794437524.9222      0.78%
605.26/606.96	c       607           5416         614         1  2816349229.0000  2794437524.9222      0.78%
610.75/612.50	c       612           5508         626         1  2816349229.0000  2794437524.9222      0.78%
616.13/617.84	c       618           5594         646         1  2816349229.0000  2794507909.9103      0.78%
621.92/623.64	c       624           5707         665         1  2816349229.0000  2794548451.3709      0.78%
622.91/624.69	c *     625           5707         665         1  2814831512.0000  2794548451.3709      0.73%
627.59/629.37	c       629           5851         602         1  2814831512.0000  2794644812.5967      0.72%
632.88/634.66	c       635           5900         615         1  2814831512.0000  2794644812.5967      0.72%
638.38/640.12	c       640           5978         627         1  2814831512.0000  2794644812.5967      0.72%
643.55/645.34	c       645           6056         637         1  2814831512.0000  2794644812.5967      0.72%
648.63/650.49	c       650           6153         644         1  2814831512.0000  2794845523.8991      0.72%
653.92/655.71	c       656           6244         649         1  2814831512.0000  2794845523.8991      0.72%
659.40/661.22	c       661           6331         660         1  2814831512.0000  2794846387.7010      0.72%
664.78/666.61	c       667           6405         674         1  2814831512.0000  2794846387.7010      0.72%
670.28/672.16	c       672           6481         690         1  2814831512.0000  2794976011.8543      0.71%
676.26/678.11	c       678           6569         700         1  2814831512.0000  2795047584.6475      0.71%
681.93/683.86	c       684           6684         719         1  2814831512.0000  2795125722.7902      0.71%
687.01/688.97	c       689           6756         727         1  2814831512.0000  2795180412.9837      0.70%
692.30/694.23	c       694           6820         741         1  2814831512.0000  2795180412.9837      0.70%
697.58/699.52	c       700           6897         754         1  2814831512.0000  2795180412.9837      0.70%
702.96/704.92	c       705           6982         765         1  2814831512.0000  2795180412.9837      0.70%
708.54/710.51	c       711           7070         781         1  2814831512.0000  2795180412.9837      0.70%
713.73/715.71	c       716           7205         782         1  2814831512.0000  2795303254.5189      0.70%
719.02/721.02	c       721           7355         798         1  2814831512.0000  2795458523.8580      0.69%
724.19/726.22	c       726           7476         809         1  2814831512.0000  2795525765.8777      0.69%
729.57/731.65	c       732           7647         812         1  2814831512.0000  2795525765.8777      0.69%
734.85/736.91	c       737           7774         823         1  2814831512.0000  2795637088.1184      0.69%
740.05/742.19	c       742           7928         841         1  2814831512.0000  2795637088.1184      0.69%
745.52/747.64	c       748           8091         850         1  2814831512.0000  2795826372.7468      0.68%
751.39/753.59	c       754           8231         856         1  2814831512.0000  2795912465.1291      0.68%
756.78/758.93	c       759           8315         870         1  2814831512.0000  2796053974.4169      0.67%
762.37/764.52	c       765           8420         881         1  2814831512.0000  2796117175.4482      0.67%
767.65/769.80	c       770           8500         889         1  2814831512.0000  2796117175.4482      0.67%
773.44/775.66	c       776           8654         899         1  2814831512.0000  2796157312.3884      0.67%
778.73/780.91	c       781           8724         905         1  2814831512.0000  2796157312.3884      0.67%
784.61/786.87	c       787           8846         923         1  2814831512.0000  2796174926.5611      0.67%
790.50/792.75	c       793           8982         939         1  2814831512.0000  2796280022.7734      0.66%
795.68/797.92	c       798           9121         950         1  2814831512.0000  2796327633.5582      0.66%
800.78/803.02	c       803           9236         965         1  2814831512.0000  2796368362.9243      0.66%
806.15/808.40	c       808           9355         980         1  2814831512.0000  2796435186.6666      0.66%
812.05/814.37	c       814           9485         996         1  2814831512.0000  2796502050.0103      0.66%
817.33/819.69	c       820           9608        1019         1  2814831512.0000  2796524105.0386      0.65%
818.33/820.62	c *     821           9608        1019         1  2813996798.0000  2796524105.0386      0.62%
821.83/824.14	c *     824           9716         946         1  2811270071.0000  2796609551.6452      0.52%
823.41/825.70	c       826           9750         667         1  2811270071.0000  2796726459.0669      0.52%
829.19/831.50	c       832           9859         674         1  2811270071.0000  2796816574.1293      0.52%
834.18/836.50	c *     836           9957         684         1  2811247397.0000  2796842529.1468      0.52%
834.58/836.92	c       837           9986         685         1  2811247397.0000  2796888790.0873      0.51%
840.06/842.42	c       842          10100         693         1  2811247397.0000  2796971557.1831      0.51%
845.84/848.24	c       848          10206         699         1  2811247397.0000  2796986168.1193      0.51%
850.82/853.25	c       853          10322         707         1  2811247397.0000  2797058114.1779      0.51%
856.01/858.45	c       858          10441         708         1  2811247397.0000  2797058114.1779      0.51%
861.60/864.03	c       864          10575         720         1  2811247397.0000  2797128997.7118      0.50%
866.78/869.25	c       869          10702         731         1  2811247397.0000  2797128997.7118      0.50%
871.96/874.45	c       874          10856         741         1  2811247397.0000  2797170383.8647      0.50%
877.94/880.45	c       880          11009         758         1  2811247397.0000  2797188875.9023      0.50%
883.43/885.97	c       886          11126         773         1  2811247397.0000  2797285592.9557      0.50%
889.40/891.95	c       892          11285         784         1  2811247397.0000  2797344504.4693      0.50%
894.50/897.09	c       897          11411         796         1  2811247397.0000  2797459921.6514      0.49%
899.77/902.32	c       902          11520         795         1  2811247397.0000  2797512246.8788      0.49%
905.75/908.30	c       908          11638         803         1  2811247397.0000  2797513625.1249      0.49%
911.33/913.93	c       914          11799         820         1  2811247397.0000  2797560462.8651      0.49%
911.44/914.03	c *     914          11799         820         1  2808918425.0000  2797560462.8651      0.41%
916.53/919.15	c       919          11935         577         1  2808918425.0000  2797660959.8457      0.40%
921.80/924.43	c       924          12036         582         1  2808918425.0000  2797762812.2935      0.40%
927.40/930.07	c       930          12169         585         1  2808918425.0000  2797764316.8457      0.40%
932.57/935.20	c       935          12281         589         1  2808918425.0000  2797764316.8457      0.40%
938.15/940.81	c       941          12399         597         1  2808918425.0000  2797810631.8226      0.40%
943.35/946.08	c       946          12500         608         1  2808918425.0000  2797837382.3777      0.40%
949.12/951.80	c       952          12620         608         1  2808918425.0000  2797853723.6042      0.40%
954.20/957.01	c       957          12741         611         1  2808918425.0000  2797853723.6042      0.40%
956.40/959.17	c *     959          12782         614         1  2807583220.0000  2797853723.6042      0.35%
959.88/962.62	c       963          12857         496         1  2807583220.0000  2797858643.2747      0.35%
964.97/967.80	c       968          13001         500         1  2807583220.0000  2797858643.2747      0.35%
970.26/973.09	c       973          13122         503         1  2807583220.0000  2797858643.2747      0.35%
976.03/978.83	c       979          13237         510         1  2807583220.0000  2797879926.1986      0.35%
982.12/984.91	c       985          13360         511         1  2807583220.0000  2797972375.3509      0.34%
987.31/990.17	c       990          13496         507         1  2807583220.0000  2797989488.3257      0.34%
992.49/995.35	c       995          13598         511         1  2807583220.0000  2797989488.3257      0.34%
997.67/1000.51	c      1001          13694         511         1  2807583220.0000  2798025118.1814      0.34%
1002.97/1005.87	c      1006          13813         504         1  2807583220.0000  2798155581.7334      0.34%
1008.26/1011.15	c      1011          13922         503         1  2807583220.0000  2798155581.7334      0.34%
1014.03/1016.99	c      1017          14058         499         1  2807583220.0000  2798276598.8903      0.33%
1019.61/1022.52	c      1023          14169         502         1  2807583220.0000  2798293330.6202      0.33%
1025.49/1028.49	c      1028          14297         504         1  2807583220.0000  2798344756.5708      0.33%
1030.98/1033.96	c      1034          14422         511         1  2807583220.0000  2798363694.9965      0.33%
1036.47/1039.44	c      1039          14567         518         1  2807583220.0000  2798440398.9404      0.33%
1042.25/1045.20	c      1045          14685         522         1  2807583220.0000  2798440398.9404      0.33%
1048.23/1051.21	c      1051          14800         525         1  2807583220.0000  2798590892.4402      0.32%
1053.43/1056.42	c      1056          14973         534         1  2807583220.0000  2798590892.4402      0.32%
1059.21/1062.22	c      1062          15094         531         1  2807583220.0000  2798689940.9477      0.32%
1064.90/1067.90	c      1068          15221         532         1  2807583220.0000  2798780972.8857      0.31%
1070.10/1073.16	c      1073          15326         537         1  2807583220.0000  2798801790.6830      0.31%
1075.18/1078.28	c      1078          15461         540         1  2807583220.0000  2798801790.6830      0.31%
1080.76/1083.80	c      1084          15624         543         1  2807583220.0000  2798833529.3901      0.31%
1085.75/1088.86	c      1089          15746         547         1  2807583220.0000  2798922762.0445      0.31%
1090.84/1094.01	c      1094          15873         556         1  2807583220.0000  2798922762.0445      0.31%
1096.72/1099.88	c      1100          15993         562         1  2807583220.0000  2799056516.4174      0.30%
1101.81/1104.99	c      1105          16123         562         1  2807583220.0000  2799056516.4174      0.30%
1107.79/1110.92	c      1111          16251         566         1  2807583220.0000  2799190066.3682      0.30%
1113.18/1116.31	c      1116          16340         571         1  2807583220.0000  2799257804.4927      0.30%
1118.88/1122.02	c      1122          16434         571         1  2807583220.0000  2799267821.2360      0.30%
1124.06/1127.22	c      1127          16534         571         1  2807583220.0000  2799300075.2171      0.30%
1129.44/1132.67	c      1133          16628         575         1  2807583220.0000  2799300075.2171      0.30%
1134.73/1137.90	c      1138          16735         574         1  2807583220.0000  2799300075.2171      0.30%
1139.83/1143.10	c      1143          16844         583         1  2807583220.0000  2799300075.2171      0.30%
1145.00/1148.29	c      1148          16950         585         1  2807583220.0000  2799384908.2817      0.29%
1150.69/1153.97	c      1154          17077         588         1  2807583220.0000  2799478308.1556      0.29%
1156.79/1160.03	c      1160          17195         590         1  2807583220.0000  2799545756.8836      0.29%
1162.66/1165.92	c      1166          17313         588         1  2807583220.0000  2799693945.7071      0.28%
1167.65/1170.96	c      1171          17396         583         1  2807583220.0000  2799798434.8585      0.28%
1172.63/1175.99	c      1176          17485         586         1  2807583220.0000  2799822128.1938      0.28%
1178.23/1181.56	c      1182          17628         591         1  2807583220.0000  2799885439.4893      0.27%
1183.61/1187.01	c      1187          17757         594         1  2807583220.0000  2799918798.2763      0.27%
1188.80/1192.14	c      1192          17863         592         1  2807583220.0000  2799918798.2763      0.27%
1193.98/1197.34	c      1197          17971         598         1  2807583220.0000  2799918798.2763      0.27%
1197.78/1201.13	c *    1201          18073         604         1  2807154740.0000  2799955535.1825      0.26%
1199.78/1203.11	c      1203          18116         562         1  2807154740.0000  2799955535.1825      0.26%
1205.76/1209.11	c      1209          18232         562         1  2807154740.0000  2799972534.8995      0.26%
1211.14/1214.51	c      1215          18360         568         1  2807154740.0000  2800051307.1926      0.25%
1217.13/1220.57	c      1221          18489         567         1  2807154740.0000  2800116246.9952      0.25%
1223.10/1226.57	c      1227          18617         575         1  2807154740.0000  2800127370.8583      0.25%
1228.20/1231.69	c      1232          18737         571         1  2807154740.0000  2800234551.3665      0.25%
1233.48/1236.96	c      1237          18859         579         1  2807154740.0000  2800251772.0711      0.25%
1239.06/1242.57	c      1243          19001         577         1  2807154740.0000  2800457574.1047      0.24%
1244.85/1248.38	c      1248          19128         568         1  2807154740.0000  2800508218.6355      0.24%
1250.43/1253.93	c      1254          19234         572         1  2807154740.0000  2800508218.6355      0.24%
1255.81/1259.30	c      1259          19362         578         1  2807154740.0000  2800543705.0239      0.24%
1261.50/1265.02	c      1265          19488         576         1  2807154740.0000  2800572695.7225      0.24%
1267.17/1270.79	c      1271          19649         579         1  2807154740.0000  2800602950.3218      0.23%
1272.35/1275.96	c      1276          19777         579         1  2807154740.0000  2800602950.3218      0.23%
1278.23/1281.88	c      1282          19930         566         1  2807154740.0000  2800653882.8978      0.23%
1283.44/1287.01	c      1287          20055         565         1  2807154740.0000  2800767099.0576      0.23%
1289.31/1292.92	c      1293          20160         574         1  2807154740.0000  2800782914.1494      0.23%
1294.69/1298.37	c      1298          20261         579         1  2807154740.0000  2800782914.1494      0.23%
1300.67/1304.38	c      1304          20419         573         1  2807154740.0000  2800787339.0837      0.23%
1306.05/1309.74	c      1310          20526         574         1  2807154740.0000  2800836204.3733      0.23%
1311.34/1315.01	c      1315          20634         572         1  2807154740.0000  2800883675.7065      0.22%
1316.52/1320.24	c      1320          20766         562         1  2807154740.0000  2800915006.7370      0.22%
1321.70/1325.46	c      1325          20883         559         1  2807154740.0000  2800956873.0468      0.22%
1327.18/1330.94	c      1331          21008         562         1  2807154740.0000  2800987674.7560      0.22%
1332.46/1336.21	c      1336          21107         565         1  2807154740.0000  2800987674.7560      0.22%
1338.05/1341.89	c      1342          21266         552         1  2807154740.0000  2801081276.6417      0.22%
1343.73/1347.55	c      1348          21411         539         1  2807154740.0000  2801276113.3910      0.21%
1349.51/1353.35	c      1353          21536         540         1  2807154740.0000  2801353444.4524      0.21%
1355.09/1358.92	c      1359          21655         543         1  2807154740.0000  2801353444.4524      0.21%
1360.29/1364.11	c      1364          21788         534         1  2807154740.0000  2801360845.9115      0.21%
1365.36/1369.23	c      1369          21913         529         1  2807154740.0000  2801360845.9115      0.21%
1370.84/1374.71	c      1375          22046         520         1  2807154740.0000  2801415307.8265      0.20%
1376.42/1380.36	c      1380          22186         510         1  2807154740.0000  2801577724.2256      0.20%
1382.01/1385.90	c      1386          22296         506         1  2807154740.0000  2801584465.6463      0.20%
1387.10/1391.06	c      1391          22416         494         1  2807154740.0000  2801689000.7277      0.20%
1392.77/1396.72	c      1397          22539         489         1  2807154740.0000  2801801497.9907      0.19%
1397.95/1401.94	c      1402          22670         484         1  2807154740.0000  2801880270.6531      0.19%
1403.24/1407.26	c      1407          22796         474         1  2807154740.0000  2801880270.6531      0.19%
1409.13/1413.19	c      1413          22946         454         1  2807154740.0000  2801964769.5205      0.19%
1414.41/1418.41	c      1418          23072         444         1  2807154740.0000  2802177032.9338      0.18%
1419.39/1423.44	c      1423          23178         432         1  2807154740.0000  2802193787.5839      0.18%
1424.67/1428.73	c      1429          23284         424         1  2807154740.0000  2802200566.6369      0.18%
1430.15/1434.27	c      1434          23396         420         1  2807154740.0000  2802213189.6791      0.18%
1435.34/1439.45	c      1439          23519         413         1  2807154740.0000  2802228232.5571      0.18%
1440.83/1444.91	c      1445          23651         387         1  2807154740.0000  2802312487.4996      0.17%
1445.80/1449.95	c      1450          23716         340         1  2807154740.0000  2802370205.8777      0.17%
1451.78/1455.97	c      1456          23765         291         1  2807154740.0000  2802551529.9472      0.16%
1457.36/1461.57	c      1462          23803         253         1  2807154740.0000  2802684518.4977      0.16%
1463.55/1467.72	c      1468          23843         213         1  2807154740.0000  2802941959.8028      0.15%
1469.43/1473.69	c      1474          23874         182         1  2807154740.0000  2803096685.6999      0.14%
1474.83/1479.09	c      1479          23906         150         1  2807154740.0000  2803327529.0231      0.14%
1480.81/1485.05	c      1485          23945         111         1  2807154740.0000  2803584216.3472      0.13%
1485.98/1490.21	c      1490          23976          80         1  2807154740.0000  2803784127.6087      0.12%
1491.37/1495.67	c      1496          24012          44         1  2807154740.0000  2803977703.3568      0.11%
1497.35/1501.63	c      1502          24041          15         1  2807154740.0000  2804214342.9939      0.10%
1500.14/1504.49	c      1504          24056           0         0  2807154740.0000  2807154740.0000      0.00%
1500.34/1504.61	c      1505          24056           0         0  2807154740.0000  2807154740.0000          -
1500.34/1504.61	c SCIP Status        : c problem is solved
1500.34/1504.61	c Total Time         : 1504.6000
1500.34/1504.61	c   solving          : 1504.6000
1500.34/1504.61	c   presolving       : 1.4425 (included in solving)
1500.34/1504.61	c B&B Tree           :
1500.34/1504.61	c   nodes (total)    : 24056
1500.34/1504.61	c Solution           :
1500.34/1504.61	c   Solutions found  : 21
1500.34/1504.61	c   Primal Bound     : +2.80715474000000e+09
1500.34/1504.61	c   Dual Bound       : +2.80715474000000e+09
1500.34/1504.61	c Gap                : 0.00000 %
1500.34/1504.62	o 2807154740
1500.34/1504.62	s OPTIMUM FOUND
1500.34/1504.62	v -x996 -x995 -x994 -x993 -x992 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x979 -x978 -x977 -x976 -x975 -x974 -x973 
1500.34/1504.62	v -x972 -x971 -x970 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x957 -x956 -x955 -x954 -x953 -x952 -x951 
1500.34/1504.62	v -x950 -x949 -x948 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 
1500.34/1504.62	v -x927 -x926 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 
1500.34/1504.62	v -x904 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 
1500.34/1504.62	v -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x857 
1500.34/1504.62	v -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x835 -x834 
1500.34/1504.62	v -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x813 -x812 
1500.34/1504.62	v -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x791 -x790 -x789 
1500.34/1504.62	v -x788 -x787 x786 -x785 -x784 -x783 -x782 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x768 -x767 -x766 -x765 
1500.34/1504.62	v -x764 -x763 -x762 -x761 -x760 -x759 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x746 -x745 -x744 -x743 -x742 
1500.34/1504.62	v -x741 -x740 -x739 -x738 -x737 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x724 -x723 -x722 -x721 -x720 -x719 
1500.34/1504.62	v -x718 -x717 -x716 -x715 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x702 -x701 -x700 -x699 -x698 -x697 -x696 
1500.34/1504.62	v -x695 -x694 -x693 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 
1500.34/1504.62	v -x672 -x671 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 
1500.34/1504.62	v -x649 -x648 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 
1500.34/1504.62	v -x626 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 
1500.34/1504.62	v -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x580 
1500.34/1504.62	v -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x557 -x556 
1500.34/1504.62	v -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x535 -x534 -x533 
1500.34/1504.62	v -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x513 -x512 -x511 
1500.34/1504.62	v -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x491 -x490 -x489 -x488 
1500.34/1504.62	v -x487 -x486 -x485 -x484 -x483 -x482 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x469 -x468 -x467 -x466 -x465 
1500.34/1504.62	v -x464 -x463 -x462 -x461 -x460 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x446 -x445 -x444 -x443 -x442 -x441 
1500.34/1504.62	v -x440 -x439 -x438 -x437 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x424 -x423 -x422 -x421 -x420 -x419 -x418 
1500.34/1504.62	v -x417 -x416 -x415 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 
1500.34/1504.62	v -x394 -x393 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 
1500.34/1504.62	v -x372 -x371 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 
1500.34/1504.62	v -x349 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 
1500.34/1504.62	v -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x302 
1500.34/1504.62	v -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x280 -x279 
1500.34/1504.62	v -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x258 -x257 -x256 
1500.34/1504.62	v -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x236 -x235 -x234 
1500.34/1504.62	v -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x213 -x212 -x211 -x210 
1500.34/1504.62	v -x209 -x208 -x207 -x206 -x205 -x204 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x191 -x190 -x189 -x188 -x187 
1500.34/1504.62	v -x186 -x185 -x184 -x183 -x182 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x169 -x168 -x167 -x166 -x165 -x164 
1500.34/1504.62	v -x163 -x162 -x161 -x160 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x147 -x146 -x145 -x144 -x143 -x142 -x141 
1500.34/1504.62	v -x140 -x139 -x138 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 
1500.34/1504.62	v -x117 -x116 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 
1500.34/1504.62	v -x93 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x69 -x68 -x67 -x66 
1500.34/1504.62	v -x65 -x64 -x63 -x62 -x61 -x60 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 
1500.34/1504.62	v -x38 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x14 -x13 x12 -x11 -x10 
1500.34/1504.62	v -x9 -x8 -x7 -x6 -x5 -x10894 -x10893 -x10892 -x10891 -x10890 -x10889 -x10888 -x10887 -x10886 -x10885 -x10883 -x10882 -x10881 
1500.34/1504.62	v -x10880 -x10879 -x10878 -x10877 -x10876 -x10875 -x10874 -x10872 -x10871 -x10870 -x10869 -x10868 -x10867 -x10866 -x10865 -x10864 
1500.34/1504.62	v -x10863 -x10861 -x10860 -x10859 -x10858 -x10857 -x10856 -x10855 -x10854 -x10853 -x10852 -x10850 -x10849 -x10848 -x10847 
1500.34/1504.62	v -x10846 -x10845 -x10844 -x10843 -x10842 -x10841 -x10839 -x10838 -x10837 -x10836 -x10835 -x10834 -x10833 -x10832 -x10831 -x10830 
1500.34/1504.62	v -x10828 -x10827 -x10826 -x10825 -x10824 -x10823 -x10822 -x10821 -x10820 -x10819 -x10817 -x10816 -x10815 -x10814 -x10813 -x10812 
1500.34/1504.62	v -x10811 -x10810 -x10809 -x10808 -x10806 -x10805 -x10804 -x10803 -x10802 -x10801 -x10800 -x10799 -x10798 -x10797 -x10795 
1500.34/1504.62	v -x10794 -x10793 -x10792 -x10791 -x10790 -x10789 -x10788 -x10787 -x10786 -x10783 -x10782 -x10781 -x10780 -x10779 -x10778 -x10777 
1500.34/1504.62	v -x10776 -x10775 -x10774 -x10772 -x10771 -x10770 -x10769 -x10768 -x10767 -x10766 -x10765 -x10764 -x10763 -x10761 -x10760 
1500.34/1504.62	v -x10759 -x10758 -x10757 -x10756 -x10755 -x10754 -x10753 -x10752 -x10750 -x10749 -x10748 -x10747 -x10746 -x10745 -x10744 -x10743 
1500.34/1504.62	v -x10742 -x10741 -x10739 -x10738 -x10737 -x10736 -x10735 -x10734 -x10733 -x10732 -x10731 -x10730 -x10728 -x10727 -x10726 -x10725 
1500.34/1504.62	v -x10724 -x10723 -x10722 -x10721 -x10720 -x10719 -x10717 -x10716 -x10715 -x10714 -x10713 -x10712 -x10711 -x10710 -x10709 
1500.34/1504.62	v -x10708 -x10706 -x10705 -x10704 -x10703 -x10702 -x10701 -x10700 -x10699 -x10698 -x10697 -x10695 -x10694 -x10693 -x10692 -x10691 
1500.34/1504.62	v -x10690 -x10689 -x10688 -x10687 -x10686 -x10684 -x10683 -x10682 -x10681 -x10680 -x10679 -x10678 -x10677 -x10676 -x10675 -x10672 
1500.34/1504.62	v -x10671 -x10670 -x10669 -x10668 -x10667 -x10666 -x10665 -x10664 -x10663 -x10661 -x10660 -x10659 -x10658 -x10657 -x10656 
1500.34/1504.62	v -x10655 -x10654 -x10653 -x10652 -x10650 -x10649 -x10648 -x10647 -x10646 -x10645 -x10644 -x10643 -x10642 -x10641 -x10639 -x10638 
1500.34/1504.62	v -x10637 -x10636 -x10635 -x10634 -x10633 -x10632 -x10631 -x10630 -x10628 -x10627 -x10626 -x10625 -x10624 -x10623 -x10622 
1500.34/1504.62	v -x10621 -x10620 -x10619 -x10617 -x10616 -x10615 -x10614 -x10613 -x10612 -x10611 -x10610 -x10609 -x10608 -x10606 -x10605 -x10604 
1500.34/1504.62	v -x10603 -x10602 -x10601 -x10600 -x10599 -x10598 -x10597 -x10595 -x10594 -x10593 -x10592 -x10591 -x10590 -x10589 -x10588 -x10587 
1500.34/1504.62	v -x10586 -x10584 -x10583 -x10582 -x10581 -x10580 -x10579 -x10578 -x10577 -x10576 -x10575 -x10573 -x10572 -x10571 -x10570 
1500.34/1504.62	v -x10569 -x10568 -x10567 -x10566 -x10565 -x10564 -x10561 -x10560 -x10559 -x10558 -x10557 -x10556 -x10555 -x10554 -x10553 -x10552 
1500.34/1504.62	v -x10550 -x10549 -x10548 -x10547 -x10546 -x10545 -x10544 -x10543 -x10542 -x10541 -x10539 -x10538 -x10537 -x10536 -x10535 -x10534 
1500.34/1504.62	v -x10533 -x10532 -x10531 -x10530 -x10528 -x10527 -x10526 -x10525 -x10524 -x10523 -x10522 -x10521 -x10520 -x10519 -x10517 
1500.34/1504.62	v -x10516 -x10515 -x10514 -x10513 -x10512 -x10511 -x10510 -x10509 -x10508 -x10506 -x10505 -x10504 -x10503 -x10502 -x10501 -x10500 
1500.34/1504.62	v -x10499 -x10498 -x10497 -x10495 -x10494 -x10493 -x10492 -x10491 -x10490 -x10489 -x10488 -x10487 -x10486 -x10484 -x10483 
1500.34/1504.62	v -x10482 -x10481 -x10480 -x10479 -x10478 -x10477 -x10476 -x10475 -x10473 -x10472 -x10471 -x10470 -x10469 -x10468 -x10467 -x10466 
1500.34/1504.62	v -x10465 -x10464 -x10462 -x10461 -x10460 -x10459 -x10458 -x10457 -x10456 -x10455 -x10454 -x10453 -x10450 -x10449 -x10448 -x10447 
1500.34/1504.62	v -x10446 -x10445 -x10444 -x10443 -x10442 -x10441 -x10439 -x10438 -x10437 -x10436 -x10435 -x10434 -x10433 -x10432 -x10431 
1500.34/1504.62	v -x10430 -x10428 -x10427 -x10426 -x10425 -x10424 -x10423 -x10422 -x10421 -x10420 -x10419 -x10417 -x10416 -x10415 -x10414 -x10413 
1500.34/1504.62	v -x10412 -x10411 -x10410 -x10409 -x10408 -x10406 -x10405 -x10404 -x10403 -x10402 -x10401 -x10400 -x10399 -x10398 -x10397 -x10395 
1500.34/1504.62	v -x10394 -x10393 -x10392 -x10391 -x10390 -x10389 -x10388 -x10387 -x10386 -x10384 -x10383 -x10382 -x10381 -x10380 -x10379 
1500.34/1504.62	v -x10378 -x10377 -x10376 -x10375 -x10373 -x10372 -x10371 -x10370 -x10369 -x10368 -x10367 -x10366 -x10365 -x10364 -x10362 -x10361 
1500.34/1504.62	v -x10360 -x10359 -x10358 -x10357 -x10356 -x10355 -x10354 -x10353 -x10351 -x10350 -x10349 -x10348 -x10347 -x10346 -x10345 
1500.34/1504.62	v -x10344 x10343 -x10342 -x10339 -x10338 -x10337 -x10336 -x10335 -x10334 -x10333 -x10332 -x10331 -x10330 -x10328 -x10327 -x10326 
1500.34/1504.62	v -x10325 -x10324 -x10323 -x10322 -x10321 -x10320 -x10319 -x10317 -x10316 -x10315 -x10314 -x10313 -x10312 -x10311 -x10310 -x10309 
1500.34/1504.62	v -x10308 -x10306 -x10305 -x10304 -x10303 -x10302 -x10301 -x10300 -x10299 -x10298 -x10297 -x10295 -x10294 -x10293 -x10292 
1500.34/1504.62	v -x10291 -x10290 -x10289 -x10288 -x10287 -x10286 -x10284 -x10283 -x10282 -x10281 -x10280 -x10279 -x10278 -x10277 -x10276 -x10275 
1500.34/1504.62	v -x10273 -x10272 -x10271 -x10270 -x10269 -x10268 -x10267 -x10266 -x10265 -x10264 -x10262 -x10261 -x10260 -x10259 -x10258 -x10257 
1500.34/1504.62	v -x10256 -x10255 -x10254 -x10253 -x10251 -x10250 -x10249 -x10248 -x10247 -x10246 -x10245 -x10244 -x10243 -x10242 -x10240 
1500.34/1504.62	v -x10239 -x10238 -x10237 -x10236 -x10235 -x10234 -x10233 -x10232 -x10231 -x10228 -x10227 -x10226 -x10225 -x10224 -x10223 -x10222 
1500.34/1504.62	v -x10221 -x10220 -x10219 -x10217 -x10216 -x10215 -x10214 -x10213 -x10212 -x10211 -x10210 -x10209 -x10208 -x10206 -x10205 -x10204 
1500.34/1504.62	v -x10203 -x10202 -x10201 -x10200 -x10199 -x10198 -x10197 -x10195 -x10194 -x10193 -x10192 -x10191 -x10190 -x10189 -x10188 
1500.34/1504.62	v -x10187 -x10186 -x10184 -x10183 -x10182 -x10181 -x10180 -x10179 -x10178 -x10177 -x10176 -x10175 -x10173 -x10172 -x10171 -x10170 
1500.34/1504.62	v -x10169 -x10168 -x10167 -x10166 -x10165 -x10164 -x10162 -x10161 -x10160 -x10159 -x10158 -x10157 -x10156 -x10155 -x10154 
1500.34/1504.62	v -x10153 -x10151 -x10150 -x10149 -x10148 -x10147 -x10146 -x10145 -x10144 -x10143 -x10142 -x10140 -x10139 -x10138 -x10137 -x10136 
1500.34/1504.62	v -x10135 -x10134 -x10133 -x10132 -x10131 -x10129 -x10128 -x10127 -x10126 -x10125 -x10124 -x10123 -x10122 -x10121 -x10120 -x10117 
1500.34/1504.62	v -x10116 -x10115 -x10114 -x10113 -x10112 -x10111 -x10110 -x10109 -x10108 -x10106 -x10105 -x10104 -x10103 -x10102 -x10101 
1500.34/1504.62	v -x10100 -x10099 -x10098 -x10097 -x10095 -x10094 -x10093 -x10092 -x10091 -x10090 -x10089 -x10088 -x10087 -x10086 -x10084 -x10083 
1500.34/1504.62	v -x10082 -x10081 -x10080 -x10079 -x10078 -x10077 -x10076 -x10075 -x10073 -x10072 -x10071 -x10070 -x10069 -x10068 -x10067 -x10066 
1500.34/1504.62	v -x10065 -x10064 -x10062 -x10061 -x10060 -x10059 -x10058 -x10057 -x10056 -x10055 -x10054 -x10053 -x10051 -x10050 -x10049 
1500.34/1504.62	v -x10048 -x10047 -x10046 -x10045 -x10044 -x10043 -x10042 -x10040 -x10039 -x10038 -x10037 -x10036 -x10035 -x10034 -x10033 -x10032 
1500.34/1504.62	v -x10031 -x10029 -x10028 -x10027 -x10026 -x10025 -x10024 -x10023 -x10022 -x10021 -x10020 -x10018 -x10017 -x10016 -x10015 
1500.34/1504.62	v -x10014 -x10013 -x10012 -x10011 -x10010 -x10009 -x10006 -x10005 -x10004 -x10003 -x10002 -x10001 -x10000 -x9999 -x9998 -x9997 
1500.34/1504.62	v -x9995 -x9994 -x9993 -x9992 -x9991 -x9990 -x9989 -x9988 -x9987 -x9986 -x9984 -x9983 -x9982 -x9981 -x9980 -x9979 -x9978 -x9977 
1500.34/1504.62	v -x9976 -x9975 -x9973 -x9972 -x9971 -x9970 -x9969 -x9968 -x9967 -x9966 -x9965 -x9964 -x9962 -x9961 -x9960 -x9959 -x9958 -x9957 
1500.34/1504.62	v -x9956 -x9955 -x9954 -x9953 -x9951 x9950 -x9949 -x9948 -x9947 -x9946 -x9945 -x9944 -x9943 -x9942 -x9940 -x9939 -x9938 -x9937 
1500.34/1504.62	v -x9936 -x9935 -x9934 -x9933 -x9932 -x9931 -x9929 -x9928 -x9927 -x9926 -x9925 -x9924 -x9923 -x9922 -x9921 -x9920 -x9918 -x9917 
1500.34/1504.62	v -x9916 -x9915 -x9914 -x9913 -x9912 -x9911 -x9910 -x9909 -x9907 -x9906 -x9905 -x9904 -x9903 -x9902 -x9901 -x9900 -x9899 -x9898 
1500.34/1504.62	v -x9895 -x9894 -x9893 -x9892 -x9891 -x9890 -x9889 -x9888 -x9887 -x9886 -x9884 -x9883 -x9882 -x9881 -x9880 -x9879 -x9878 -x9877 
1500.34/1504.62	v -x9876 -x9875 -x9873 -x9872 -x9871 -x9870 -x9869 -x9868 -x9867 -x9866 -x9865 -x9864 -x9862 -x9861 -x9860 -x9859 -x9858 -x9857 
1500.34/1504.62	v -x9856 -x9855 -x9854 -x9853 -x9851 -x9850 -x9849 -x9848 -x9847 -x9846 -x9845 -x9844 -x9843 -x9842 -x9840 -x9839 -x9838 
1500.34/1504.62	v -x9837 -x9836 -x9835 -x9834 -x9833 -x9832 -x9831 -x9829 -x9828 -x9827 -x9826 -x9825 -x9824 -x9823 -x9822 -x9821 -x9820 -x9818 
1500.34/1504.62	v -x9817 -x9816 -x9815 -x9814 -x9813 -x9812 -x9811 -x9810 -x9809 -x9807 -x9806 -x9805 -x9804 -x9803 -x9802 -x9801 -x9800 -x9799 
1500.34/1504.62	v -x9798 -x9796 -x9795 -x9794 -x9793 -x9792 -x9791 -x9790 -x9789 -x9788 -x9787 -x9783 -x9782 -x9781 -x9780 -x9779 -x9778 -x9777 
1500.34/1504.62	v -x9776 -x9775 -x9774 -x9772 -x9771 -x9770 -x9769 -x9768 -x9767 -x9766 -x9765 -x9764 -x9763 -x9761 -x9760 -x9759 -x9758 -x9757 
1500.34/1504.62	v -x9756 -x9755 -x9754 -x9753 -x9752 -x9750 -x9749 -x9748 -x9747 -x9746 -x9745 -x9744 -x9743 -x9742 -x9741 -x9739 -x9738 -x9737 
1500.34/1504.62	v -x9736 -x9735 -x9734 -x9733 -x9732 -x9731 -x9730 -x9728 -x9727 -x9726 -x9725 -x9724 -x9723 -x9722 -x9721 -x9720 -x9719 -x9717 
1500.34/1504.62	v -x9716 -x9715 -x9714 -x9713 -x9712 -x9711 -x9710 -x9709 -x9708 -x9706 -x9705 -x9704 -x9703 -x9702 -x9701 -x9700 -x9699 
1500.34/1504.62	v -x9698 -x9697 -x9695 -x9694 -x9693 -x9692 -x9691 -x9690 -x9689 -x9688 -x9687 -x9686 -x9684 -x9683 -x9682 -x9681 -x9680 -x9679 
1500.34/1504.62	v -x9678 -x9677 -x9676 -x9675 -x9672 -x9671 -x9670 -x9669 -x9668 -x9667 -x9666 -x9665 -x9664 -x9663 -x9661 -x9660 -x9659 -x9658 
1500.34/1504.62	v -x9657 -x9656 -x9655 -x9654 -x9653 -x9652 -x9650 -x9649 -x9648 -x9647 -x9646 -x9645 -x9644 -x9643 -x9642 -x9641 -x9639 -x9638 
1500.34/1504.62	v -x9637 -x9636 -x9635 -x9634 -x9633 -x9632 -x9631 -x9630 -x9628 -x9627 -x9626 -x9625 -x9624 -x9623 -x9622 -x9621 -x9620 -x9619 
1500.34/1504.62	v -x9617 -x9616 -x9615 -x9614 -x9613 -x9612 -x9611 -x9610 -x9609 -x9608 -x9606 -x9605 -x9604 -x9603 -x9602 -x9601 -x9600 -x9599 
1500.34/1504.62	v -x9598 -x9597 -x9595 -x9594 -x9593 -x9592 -x9591 -x9590 -x9589 -x9588 -x9587 -x9586 -x9584 -x9583 -x9582 -x9581 -x9580 -x9579 
1500.34/1504.62	v -x9578 -x9577 -x9576 -x9575 -x9573 -x9572 -x9571 -x9570 -x9569 -x9568 -x9567 -x9566 -x9565 -x9564 -x9561 -x9560 -x9559 
1500.34/1504.62	v -x9558 -x9557 -x9556 -x9555 -x9554 -x9553 -x9552 -x9550 -x9549 -x9548 -x9547 -x9546 -x9545 -x9544 -x9543 -x9542 -x9541 -x9539 
1500.34/1504.62	v -x9538 -x9537 -x9536 -x9535 -x9534 -x9533 -x9532 -x9531 -x9530 -x9528 -x9527 -x9526 -x9525 -x9524 -x9523 -x9522 -x9521 -x9520 
1500.34/1504.62	v -x9519 -x9517 -x9516 -x9515 -x9514 -x9513 -x9512 -x9511 -x9510 -x9509 -x9508 -x9506 -x9505 -x9504 -x9503 -x9502 -x9501 -x9500 
1500.34/1504.62	v -x9499 -x9498 -x9497 -x9495 -x9494 -x9493 -x9492 -x9491 -x9490 -x9489 -x9488 -x9487 -x9486 -x9484 -x9483 -x9482 -x9481 -x9480 
1500.34/1504.62	v -x9479 -x9478 -x9477 -x9476 -x9475 -x9473 -x9472 -x9471 -x9470 -x9469 -x9468 -x9467 -x9466 -x9465 -x9464 -x9462 -x9461 -x9460 
1500.34/1504.62	v -x9459 -x9458 -x9457 -x9456 -x9455 -x9454 -x9453 -x9450 -x9449 -x9448 -x9447 -x9446 -x9445 -x9444 -x9443 -x9442 -x9441 -x9439 
1500.34/1504.62	v -x9438 -x9437 -x9436 -x9435 -x9434 -x9433 -x9432 -x9431 -x9430 -x9428 -x9427 -x9426 -x9425 -x9424 -x9423 -x9422 -x9421 
1500.34/1504.62	v -x9420 -x9419 -x9417 -x9416 -x9415 -x9414 -x9413 -x9412 -x9411 -x9410 -x9409 -x9408 -x9406 -x9405 -x9404 -x9403 -x9402 -x9401 
1500.34/1504.62	v -x9400 -x9399 -x9398 -x9397 -x9395 -x9394 -x9393 -x9392 -x9391 -x9390 -x9389 -x9388 -x9387 -x9386 -x9384 -x9383 -x9382 -x9381 
1500.34/1504.62	v -x9380 -x9379 -x9378 -x9377 -x9376 -x9375 -x9373 -x9372 -x9371 -x9370 -x9369 -x9368 -x9367 -x9366 -x9365 -x9364 -x9362 -x9361 
1500.34/1504.62	v -x9360 -x9359 -x9358 -x9357 -x9356 -x9355 -x9354 -x9353 -x9351 -x9350 -x9349 -x9348 -x9347 -x9346 -x9345 -x9344 -x9343 -x9342 
1500.34/1504.62	v -x9339 -x9338 -x9337 -x9336 -x9335 -x9334 -x9333 -x9332 -x9331 -x9330 -x9328 -x9327 -x9326 -x9325 -x9324 -x9323 -x9322 -x9321 
1500.34/1504.62	v -x9320 -x9319 -x9317 -x9316 -x9315 -x9314 -x9313 -x9312 -x9311 -x9310 -x9309 -x9308 -x9306 -x9305 -x9304 -x9303 -x9302 -x9301 
1500.34/1504.62	v -x9300 -x9299 -x9298 -x9297 -x9295 -x9294 -x9293 -x9292 -x9291 -x9290 -x9289 -x9288 -x9287 -x9286 -x9284 -x9283 -x9282 
1500.34/1504.62	v -x9281 -x9280 -x9279 -x9278 -x9277 -x9276 -x9275 -x9273 -x9272 -x9271 -x9270 -x9269 -x9268 -x9267 -x9266 -x9265 -x9264 -x9262 
1500.34/1504.62	v -x9261 -x9260 -x9259 -x9258 -x9257 -x9256 -x9255 -x9254 -x9253 -x9251 -x9250 -x9249 -x9248 -x9247 -x9246 -x9245 -x9244 -x9243 
1500.34/1504.62	v -x9242 -x9240 -x9239 -x9238 -x9237 -x9236 -x9235 -x9234 -x9233 -x9232 -x9231 -x9228 -x9227 -x9226 -x9225 -x9224 -x9223 -x9222 
1500.34/1504.62	v -x9221 -x9220 -x9219 -x9217 -x9216 -x9215 -x9214 -x9213 -x9212 -x9211 -x9210 -x9209 -x9208 -x9206 -x9205 -x9204 -x9203 -x9202 
1500.34/1504.62	v -x9201 -x9200 -x9199 -x9198 -x9197 -x9195 -x9194 -x9193 -x9192 -x9191 -x9190 -x9189 -x9188 -x9187 -x9186 -x9184 -x9183 -x9182 
1500.34/1504.62	v -x9181 -x9180 -x9179 -x9178 -x9177 -x9176 -x9175 -x9173 -x9172 -x9171 -x9170 -x9169 -x9168 -x9167 -x9166 -x9165 -x9164 -x9162 
1500.34/1504.62	v -x9161 -x9160 -x9159 -x9158 -x9157 -x9156 -x9155 -x9154 -x9153 -x9151 -x9150 -x9149 -x9148 x9147 -x9146 -x9145 -x9144 -x9143 
1500.34/1504.62	v -x9142 -x9140 -x9139 -x9138 -x9137 -x9136 -x9135 -x9134 -x9133 -x9132 -x9131 -x9129 -x9128 -x9127 -x9126 -x9125 -x9124 
1500.34/1504.62	v -x9123 -x9122 -x9121 -x9120 -x9117 -x9116 -x9115 -x9114 -x9113 -x9112 -x9111 -x9110 -x9109 -x9108 -x9106 -x9105 -x9104 -x9103 
1500.34/1504.62	v -x9102 -x9101 -x9100 -x9099 -x9098 -x9097 -x9095 -x9094 -x9093 -x9092 -x9091 -x9090 -x9089 -x9088 -x9087 -x9086 -x9084 -x9083 
1500.34/1504.62	v -x9082 -x9081 -x9080 -x9079 -x9078 -x9077 -x9076 -x9075 -x9073 -x9072 -x9071 -x9070 -x9069 -x9068 -x9067 -x9066 -x9065 -x9064 
1500.34/1504.62	v -x9062 -x9061 -x9060 -x9059 x9058 -x9057 -x9056 -x9055 -x9054 -x9053 -x9051 -x9050 -x9049 -x9048 -x9047 -x9046 -x9045 -x9044 
1500.34/1504.62	v -x9043 -x9042 -x9040 -x9039 -x9038 -x9037 -x9036 -x9035 -x9034 -x9033 -x9032 -x9031 -x9029 -x9028 -x9027 -x9026 -x9025 -x9024 
1500.34/1504.62	v -x9023 -x9022 -x9021 -x9020 -x9018 -x9017 -x9016 -x9015 -x9014 -x9013 -x9012 -x9011 -x9010 -x9009 -x9006 -x9005 -x9004 -x9003 
1500.34/1504.62	v -x9002 -x9001 -x9000 -x8999 -x8998 -x8997 -x8995 -x8994 -x8993 -x8992 -x8991 -x8990 -x8989 -x8988 -x8987 -x8986 -x8984 -x8983 
1500.34/1504.62	v -x8982 -x8981 -x8980 -x8979 -x8978 -x8977 -x8976 -x8975 -x8973 -x8972 -x8971 -x8970 -x8969 -x8968 -x8967 -x8966 -x8965 
1500.34/1504.62	v -x8964 -x8962 -x8961 -x8960 -x8959 -x8958 -x8957 -x8956 -x8955 -x8954 -x8953 -x8951 -x8950 -x8949 -x8948 -x8947 -x8946 -x8945 
1500.34/1504.62	v -x8944 -x8943 -x8942 -x8940 -x8939 -x8938 -x8937 -x8936 -x8935 -x8934 -x8933 -x8932 -x8931 -x8929 -x8928 -x8927 -x8926 -x8925 
1500.34/1504.62	v -x8924 -x8923 -x8922 -x8921 -x8920 -x8918 -x8917 -x8916 -x8915 -x8914 -x8913 -x8912 -x8911 -x8910 x8909 -x8907 -x8906 -x8905 
1500.34/1504.62	v -x8904 -x8903 -x8902 -x8901 -x8900 -x8899 -x8898 -x8895 -x8894 -x8893 -x8892 -x8891 -x8890 -x8889 -x8888 -x8887 -x8886 -x8884 
1500.34/1504.62	v -x8883 -x8882 -x8881 -x8880 -x8879 -x8878 -x8877 -x8876 -x8875 -x8873 -x8872 -x8871 -x8870 -x8869 -x8868 -x8867 -x8866 -x8865 
1500.34/1504.62	v -x8864 -x8862 -x8861 -x8860 -x8859 -x8858 -x8857 -x8856 -x8855 -x8854 -x8853 -x8851 -x8850 -x8849 -x8848 -x8847 -x8846 -x8845 
1500.34/1504.62	v -x8844 -x8843 -x8842 -x8840 -x8839 -x8838 -x8837 -x8836 -x8835 -x8834 -x8833 -x8832 -x8831 -x8829 -x8828 -x8827 -x8826 -x8825 
1500.34/1504.62	v -x8824 -x8823 -x8822 -x8821 -x8820 -x8818 -x8817 -x8816 -x8815 -x8814 -x8813 -x8812 -x8811 -x8810 -x8809 -x8807 -x8806 
1500.34/1504.62	v -x8805 -x8804 -x8803 -x8802 -x8801 -x8800 -x8799 -x8798 -x8796 -x8795 -x8794 -x8793 -x8792 -x8791 -x8790 -x8789 -x8788 -x8787 
1500.34/1504.62	v -x8784 -x8783 -x8782 -x8781 -x8780 -x8779 -x8778 -x8777 -x8776 -x8775 -x8773 -x8772 -x8771 -x8770 -x8769 -x8768 -x8767 -x8766 
1500.34/1504.62	v -x8765 -x8764 -x8762 -x8761 -x8760 -x8759 -x8758 -x8757 -x8756 -x8755 -x8754 -x8753 -x8751 -x8750 -x8749 -x8748 -x8747 -x8746 
1500.34/1504.62	v -x8745 -x8744 -x8743 -x8742 -x8740 -x8739 -x8738 -x8737 -x8736 -x8735 -x8734 -x8733 -x8732 -x8731 -x8729 -x8728 -x8727 -x8726 
1500.34/1504.62	v -x8725 -x8724 -x8723 -x8722 -x8721 -x8720 -x8718 -x8717 -x8716 -x8715 -x8714 -x8713 -x8712 -x8711 -x8710 -x8709 -x8707 -x8706 
1500.34/1504.62	v -x8705 -x8704 -x8703 -x8702 -x8701 -x8700 -x8699 -x8698 -x8696 -x8695 -x8694 -x8693 -x8692 -x8691 -x8690 -x8689 -x8688 -x8687 
1500.34/1504.62	v -x8685 -x8684 -x8683 -x8682 -x8681 -x8680 -x8679 -x8678 -x8677 -x8676 -x8672 -x8671 -x8670 -x8669 -x8668 -x8667 -x8666 
1500.34/1504.62	v -x8665 -x8664 -x8663 -x8661 -x8660 -x8659 -x8658 -x8657 -x8656 -x8655 -x8654 -x8653 -x8652 -x8650 -x8649 -x8648 -x8647 -x8646 
1500.34/1504.62	v -x8645 -x8644 -x8643 -x8642 -x8641 -x8639 -x8638 -x8637 -x8636 -x8635 -x8634 -x8633 -x8632 -x8631 -x8630 -x8628 -x8627 -x8626 
1500.34/1504.62	v -x8625 -x8624 -x8623 -x8622 -x8621 -x8620 -x8619 -x8617 -x8616 -x8615 -x8614 -x8613 -x8612 -x8611 -x8610 -x8609 -x8608 -x8606 
1500.34/1504.62	v -x8605 -x8604 -x8603 -x8602 -x8601 -x8600 -x8599 -x8598 -x8597 -x8595 -x8594 -x8593 -x8592 -x8591 -x8590 -x8589 -x8588 -x8587 
1500.34/1504.62	v -x8586 -x8584 -x8583 -x8582 -x8581 -x8580 -x8579 -x8578 -x8577 -x8576 -x8575 -x8573 -x8572 -x8571 -x8570 -x8569 -x8568 -x8567 
1500.34/1504.62	v -x8566 -x8565 -x8564 -x8561 -x8560 -x8559 -x8558 -x8557 -x8556 -x8555 -x8554 -x8553 -x8552 -x8550 -x8549 -x8548 -x8547 -x8546 
1500.34/1504.62	v -x8545 -x8544 -x8543 -x8542 -x8541 -x8539 -x8538 -x8537 -x8536 -x8535 -x8534 -x8533 -x8532 -x8531 -x8530 -x8528 -x8527 
1500.34/1504.62	v -x8526 -x8525 -x8524 -x8523 -x8522 -x8521 -x8520 -x8519 -x8517 -x8516 -x8515 -x8514 -x8513 -x8512 -x8511 -x8510 -x8509 -x8508 
1500.34/1504.62	v -x8506 -x8505 -x8504 -x8503 -x8502 -x8501 -x8500 -x8499 -x8498 -x8497 -x8495 -x8494 -x8493 -x8492 -x8491 -x8490 -x8489 -x8488 
1500.34/1504.62	v -x8487 -x8486 -x8484 -x8483 -x8482 -x8481 -x8480 -x8479 -x8478 -x8477 -x8476 -x8475 -x8473 -x8472 -x8471 -x8470 -x8469 -x8468 
1500.34/1504.62	v -x8467 -x8466 -x8465 -x8464 -x8462 -x8461 -x8460 -x8459 -x8458 -x8457 -x8456 -x8455 -x8454 -x8453 -x8450 -x8449 -x8448 -x8447 
1500.34/1504.62	v -x8446 -x8445 -x8444 -x8443 -x8442 -x8441 -x8439 -x8438 -x8437 -x8436 -x8435 -x8434 -x8433 -x8432 -x8431 -x8430 -x8428 -x8427 
1500.34/1504.62	v -x8426 -x8425 -x8424 -x8423 -x8422 -x8421 -x8420 -x8419 -x8417 -x8416 -x8415 -x8414 -x8413 -x8412 -x8411 -x8410 -x8409 -x8408 
1500.34/1504.62	v -x8406 -x8405 -x8404 -x8403 -x8402 -x8401 -x8400 -x8399 -x8398 -x8397 -x8395 -x8394 -x8393 -x8392 -x8391 -x8390 -x8389 
1500.34/1504.62	v -x8388 -x8387 -x8386 -x8384 -x8383 -x8382 -x8381 -x8380 -x8379 -x8378 -x8377 -x8376 -x8375 -x8373 -x8372 -x8371 -x8370 -x8369 
1500.34/1504.62	v -x8368 -x8367 -x8366 -x8365 -x8364 -x8362 -x8361 -x8360 -x8359 -x8358 -x8357 -x8356 -x8355 -x8354 -x8353 -x8351 -x8350 -x8349 
1500.34/1504.62	v -x8348 -x8347 -x8346 -x8345 -x8344 -x8343 -x8342 -x8339 -x8338 -x8337 -x8336 -x8335 -x8334 -x8333 -x8332 -x8331 -x8330 -x8328 
1500.34/1504.62	v -x8327 -x8326 -x8325 -x8324 -x8323 -x8322 -x8321 -x8320 -x8319 -x8317 -x8316 -x8315 -x8314 -x8313 -x8312 -x8311 -x8310 -x8309 
1500.34/1504.62	v -x8308 -x8306 -x8305 -x8304 -x8303 -x8302 -x8301 -x8300 -x8299 -x8298 -x8297 -x8295 -x8294 -x8293 -x8292 -x8291 -x8290 -x8289 
1500.34/1504.62	v -x8288 -x8287 -x8286 -x8284 -x8283 -x8282 -x8281 -x8280 -x8279 -x8278 -x8277 -x8276 -x8275 -x8273 -x8272 -x8271 -x8270 -x8269 
1500.34/1504.62	v -x8268 -x8267 -x8266 -x8265 -x8264 -x8262 -x8261 -x8260 -x8259 -x8258 -x8257 -x8256 -x8255 -x8254 -x8253 -x8251 -x8250 
1500.34/1504.62	v -x8249 -x8248 -x8247 -x8246 -x8245 -x8244 -x8243 -x8242 -x8240 -x8239 -x8238 -x8237 -x8236 -x8235 -x8234 -x8233 -x8232 -x8231 
1500.34/1504.62	v -x8228 -x8227 x8226 -x8225 -x8224 -x8223 -x8222 -x8221 -x8220 -x8219 -x8217 -x8216 -x8215 -x8214 -x8213 -x8212 -x8211 -x8210 
1500.34/1504.62	v -x8209 -x8208 -x8206 -x8205 -x8204 -x8203 -x8202 -x8201 -x8200 -x8199 -x8198 -x8197 -x8195 -x8194 -x8193 -x8192 -x8191 -x8190 
1500.34/1504.62	v -x8189 -x8188 -x8187 -x8186 -x8184 -x8183 -x8182 -x8181 -x8180 -x8179 -x8178 -x8177 -x8176 -x8175 -x8173 -x8172 -x8171 -x8170 
1500.34/1504.62	v -x8169 -x8168 -x8167 -x8166 -x8165 -x8164 -x8162 -x8161 -x8160 -x8159 -x8158 -x8157 -x8156 -x8155 -x8154 -x8153 -x8151 -x8150 
1500.34/1504.62	v -x8149 -x8148 -x8147 -x8146 -x8145 -x8144 -x8143 -x8142 -x8140 -x8139 -x8138 -x8137 -x8136 -x8135 -x8134 -x8133 -x8132 -x8131 
1500.34/1504.62	v -x8129 -x8128 -x8127 -x8126 -x8125 -x8124 -x8123 -x8122 -x8121 -x8120 -x8117 -x8116 -x8115 -x8114 -x8113 -x8112 -x8111 -x8110 
1500.34/1504.62	v -x8109 -x8108 -x8106 -x8105 -x8104 -x8103 -x8102 -x8101 -x8100 -x8099 -x8098 -x8097 -x8095 -x8094 -x8093 -x8092 -x8091 
1500.34/1504.62	v -x8090 -x8089 -x8088 -x8087 -x8086 -x8084 -x8083 -x8082 -x8081 -x8080 -x8079 -x8078 -x8077 -x8076 -x8075 -x8073 -x8072 -x8071 
1500.34/1504.62	v -x8070 -x8069 -x8068 -x8067 -x8066 -x8065 -x8064 -x8062 -x8061 -x8060 -x8059 x8058 -x8057 -x8056 -x8055 -x8054 -x8053 -x8051 
1500.34/1504.62	v -x8050 -x8049 -x8048 -x8047 -x8046 -x8045 -x8044 -x8043 -x8042 -x8040 -x8039 -x8038 -x8037 -x8036 -x8035 -x8034 -x8033 -x8032 
1500.34/1504.62	v -x8031 -x8029 -x8028 -x8027 -x8026 -x8025 -x8024 -x8023 -x8022 -x8021 -x8020 -x8018 -x8017 -x8016 -x8015 -x8014 -x8013 -x8012 
1500.34/1504.62	v -x8011 -x8010 -x8009 -x8006 -x8005 -x8004 -x8003 -x8002 -x8001 -x8000 -x7999 -x7998 -x7997 -x7995 -x7994 -x7993 -x7992 -x7991 
1500.34/1504.62	v -x7990 -x7989 -x7988 -x7987 -x7986 -x7984 -x7983 -x7982 -x7981 -x7980 -x7979 -x7978 -x7977 -x7976 -x7975 -x7973 -x7972 -x7971 
1500.34/1504.62	v -x7970 -x7969 -x7968 -x7967 -x7966 -x7965 -x7964 -x7962 -x7961 -x7960 -x7959 -x7958 -x7957 -x7956 -x7955 -x7954 -x7953 -x7951 
1500.34/1504.62	v -x7950 -x7949 -x7948 -x7947 -x7946 -x7945 -x7944 -x7943 -x7942 -x7940 -x7939 -x7938 -x7937 -x7936 -x7935 -x7934 -x7933 
1500.34/1504.62	v -x7932 -x7931 -x7929 -x7928 -x7927 -x7926 -x7925 -x7924 -x7923 -x7922 -x7921 -x7920 -x7918 -x7917 -x7916 -x7915 -x7914 -x7913 
1500.34/1504.62	v -x7912 -x7911 -x7910 -x7909 -x7907 -x7906 -x7905 -x7904 -x7903 -x7902 -x7901 -x7900 -x7899 -x7898 -x7895 -x7894 -x7893 -x7892 
1500.34/1504.62	v -x7891 -x7890 -x7889 -x7888 -x7887 -x7886 -x7884 -x7883 -x7882 -x7881 -x7880 -x7879 -x7878 -x7877 -x7876 -x7875 -x7873 -x7872 
1500.34/1504.62	v -x7871 -x7870 -x7869 -x7868 -x7867 -x7866 -x7865 -x7864 -x7862 -x7861 -x7860 -x7859 -x7858 -x7857 -x7856 -x7855 -x7854 -x7853 
1500.34/1504.62	v -x7851 -x7850 -x7849 -x7848 -x7847 -x7846 -x7845 -x7844 -x7843 -x7842 -x7840 -x7839 -x7838 -x7837 -x7836 -x7835 -x7834 -x7833 
1500.34/1504.62	v -x7832 -x7831 -x7829 -x7828 -x7827 -x7826 -x7825 -x7824 -x7823 -x7822 -x7821 -x7820 -x7818 -x7817 -x7816 -x7815 -x7814 -x7813 
1500.34/1504.62	v -x7812 -x7811 -x7810 -x7809 -x7807 -x7806 -x7805 -x7804 -x7803 -x7802 x7801 -x7800 -x7799 -x7798 -x7796 -x7795 -x7794 -x7793 
1500.34/1504.62	v -x7792 -x7791 -x7790 -x7789 -x7788 -x7787 -x7784 -x7783 -x7782 -x7781 -x7780 -x7779 -x7778 -x7777 -x7776 -x7775 -x7773 
1500.34/1504.62	v -x7772 -x7771 -x7770 -x7769 -x7768 -x7767 -x7766 -x7765 -x7764 -x7762 -x7761 -x7760 -x7759 -x7758 -x7757 -x7756 -x7755 -x7754 
1500.34/1504.62	v -x7753 -x7751 -x7750 -x7749 -x7748 -x7747 -x7746 -x7745 -x7744 -x7743 -x7742 -x7740 -x7739 -x7738 -x7737 -x7736 -x7735 -x7734 
1500.34/1504.62	v -x7733 -x7732 -x7731 -x7729 -x7728 -x7727 -x7726 -x7725 -x7724 -x7723 -x7722 -x7721 -x7720 -x7718 -x7717 -x7716 -x7715 -x7714 
1500.34/1504.62	v -x7713 -x7712 -x7711 -x7710 -x7709 -x7707 -x7706 -x7705 -x7704 -x7703 -x7702 -x7701 -x7700 -x7699 -x7698 -x7696 -x7695 -x7694 
1500.34/1504.62	v -x7693 -x7692 -x7691 -x7690 -x7689 -x7688 -x7687 -x7685 -x7684 -x7683 -x7682 -x7681 -x7680 -x7679 -x7678 -x7677 -x7676 -x7673 
1500.34/1504.62	v -x7672 -x7671 -x7670 -x7669 -x7668 -x7667 -x7666 -x7665 -x7664 -x7662 -x7661 -x7660 -x7659 -x7658 -x7657 -x7656 -x7655 -x7654 
1500.34/1504.62	v -x7653 -x7651 -x7650 -x7649 -x7648 -x7647 -x7646 -x7645 -x7644 -x7643 -x7642 -x7640 -x7639 -x7638 -x7637 -x7636 -x7635 
1500.34/1504.62	v -x7634 -x7633 -x7632 -x7631 -x7629 -x7628 -x7627 -x7626 -x7625 -x7624 -x7623 -x7622 -x7621 -x7620 -x7618 -x7617 -x7616 -x7615 
1500.34/1504.62	v -x7614 -x7613 -x7612 -x7611 -x7610 -x7609 -x7607 -x7606 -x7605 -x7604 -x7603 -x7602 -x7601 -x7600 -x7599 -x7598 -x7596 -x7595 
1500.34/1504.62	v -x7594 -x7593 -x7592 -x7591 -x7590 -x7589 -x7588 -x7587 -x7585 -x7584 -x7583 -x7582 -x7581 -x7580 -x7579 -x7578 -x7577 -x7576 
1500.34/1504.62	v -x7574 -x7573 -x7572 -x7571 -x7570 -x7569 -x7568 -x7567 -x7566 -x7565 -x7561 -x7560 -x7559 -x7558 -x7557 -x7556 -x7555 -x7554 
1500.34/1504.62	v -x7553 -x7552 -x7550 -x7549 -x7548 -x7547 -x7546 -x7545 -x7544 -x7543 -x7542 -x7541 -x7539 -x7538 -x7537 -x7536 -x7535 -x7534 
1500.34/1504.62	v -x7533 -x7532 -x7531 -x7530 -x7528 -x7527 -x7526 -x7525 -x7524 -x7523 -x7522 -x7521 -x7520 -x7519 -x7517 -x7516 -x7515 -x7514 
1500.34/1504.62	v -x7513 -x7512 -x7511 -x7510 -x7509 -x7508 -x7506 -x7505 -x7504 -x7503 -x7502 -x7501 -x7500 -x7499 -x7498 -x7497 -x7495 
1500.34/1504.62	v -x7494 -x7493 -x7492 -x7491 -x7490 -x7489 -x7488 -x7487 -x7486 -x7484 -x7483 -x7482 -x7481 -x7480 -x7479 -x7478 -x7477 -x7476 
1500.34/1504.62	v -x7475 -x7473 -x7472 -x7471 -x7470 -x7469 -x7468 -x7467 -x7466 -x7465 -x7464 -x7462 -x7461 -x7460 -x7459 -x7458 -x7457 -x7456 
1500.34/1504.62	v -x7455 -x7454 -x7453 -x7450 -x7449 -x7448 -x7447 -x7446 -x7445 -x7444 -x7443 -x7442 -x7441 -x7439 -x7438 -x7437 -x7436 -x7435 
1500.34/1504.62	v -x7434 -x7433 -x7432 -x7431 -x7430 -x7428 -x7427 -x7426 -x7425 -x7424 -x7423 -x7422 -x7421 -x7420 -x7419 -x7417 -x7416 -x7415 
1500.34/1504.62	v -x7414 -x7413 -x7412 -x7411 -x7410 -x7409 -x7408 -x7406 -x7405 -x7404 -x7403 -x7402 -x7401 -x7400 -x7399 -x7398 -x7397 -x7395 
1500.34/1504.62	v -x7394 -x7393 -x7392 -x7391 -x7390 -x7389 -x7388 -x7387 -x7386 -x7384 -x7383 -x7382 -x7381 -x7380 -x7379 -x7378 -x7377 -x7376 
1500.34/1504.62	v -x7375 -x7373 -x7372 -x7371 -x7370 -x7369 -x7368 -x7367 x7366 -x7365 -x7364 -x7362 -x7361 -x7360 -x7359 -x7358 -x7357 -x7356 
1500.34/1504.62	v -x7355 -x7354 -x7353 -x7351 -x7350 -x7349 -x7348 -x7347 -x7346 -x7345 -x7344 -x7343 -x7342 -x7339 -x7338 -x7337 -x7336 
1500.34/1504.62	v -x7335 -x7334 -x7333 -x7332 -x7331 -x7330 -x7328 -x7327 -x7326 -x7325 -x7324 -x7323 -x7322 -x7321 -x7320 -x7319 -x7317 -x7316 
1500.34/1504.62	v -x7315 -x7314 -x7313 -x7312 -x7311 -x7310 -x7309 -x7308 -x7306 -x7305 -x7304 -x7303 -x7302 -x7301 -x7300 -x7299 -x7298 -x7297 
1500.34/1504.62	v -x7295 -x7294 -x7293 -x7292 -x7291 -x7290 -x7289 -x7288 -x7287 -x7286 -x7284 -x7283 -x7282 -x7281 -x7280 -x7279 -x7278 -x7277 
1500.34/1504.62	v -x7276 -x7275 -x7273 -x7272 -x7271 -x7270 -x7269 -x7268 -x7267 -x7266 -x7265 -x7264 -x7262 -x7261 -x7260 -x7259 -x7258 -x7257 
1500.34/1504.62	v -x7256 -x7255 -x7254 -x7253 -x7251 -x7250 -x7249 -x7248 -x7247 -x7246 -x7245 -x7244 -x7243 -x7242 -x7240 -x7239 -x7238 -x7237 
1500.34/1504.62	v -x7236 -x7235 -x7234 -x7233 -x7232 -x7231 -x7228 -x7227 -x7226 -x7225 -x7224 -x7223 -x7222 -x7221 -x7220 -x7219 -x7217 -x7216 
1500.34/1504.62	v -x7215 -x7214 -x7213 -x7212 -x7211 -x7210 -x7209 -x7208 -x7206 -x7205 -x7204 -x7203 -x7202 -x7201 -x7200 -x7199 -x7198 
1500.34/1504.62	v -x7197 -x7195 -x7194 -x7193 -x7192 -x7191 -x7190 -x7189 -x7188 -x7187 -x7186 -x7184 -x7183 -x7182 -x7181 -x7180 -x7179 -x7178 
1500.34/1504.62	v -x7177 -x7176 -x7175 -x7173 -x7172 -x7171 -x7170 -x7169 -x7168 -x7167 -x7166 -x7165 -x7164 -x7162 -x7161 -x7160 -x7159 -x7158 
1500.34/1504.62	v -x7157 -x7156 -x7155 -x7154 -x7153 -x7151 -x7150 -x7149 -x7148 -x7147 -x7146 -x7145 -x7144 -x7143 -x7142 -x7140 -x7139 -x7138 
1500.34/1504.62	v -x7137 -x7136 -x7135 -x7134 -x7133 -x7132 -x7131 -x7129 -x7128 -x7127 -x7126 -x7125 -x7124 -x7123 -x7122 -x7121 -x7120 -x7117 
1500.34/1504.62	v -x7116 -x7115 -x7114 -x7113 -x7112 -x7111 -x7110 -x7109 -x7108 -x7106 -x7105 -x7104 -x7103 -x7102 -x7101 -x7100 -x7099 -x7098 
1500.34/1504.62	v -x7097 -x7095 -x7094 -x7093 -x7092 -x7091 -x7090 -x7089 -x7088 -x7087 -x7086 -x7084 -x7083 -x7082 -x7081 -x7080 -x7079 -x7078 
1500.34/1504.62	v -x7077 -x7076 -x7075 -x7073 -x7072 -x7071 x7070 -x7069 -x7068 -x7067 -x7066 -x7065 -x7064 -x7062 -x7061 -x7060 -x7059 -x7058 
1500.34/1504.62	v -x7057 -x7056 -x7055 -x7054 -x7053 -x7051 -x7050 -x7049 -x7048 -x7047 -x7046 -x7045 -x7044 -x7043 -x7042 -x7040 -x7039 
1500.34/1504.62	v -x7038 -x7037 -x7036 -x7035 -x7034 -x7033 -x7032 -x7031 -x7029 -x7028 -x7027 -x7026 -x7025 -x7024 -x7023 -x7022 -x7021 -x7020 
1500.34/1504.62	v -x7018 -x7017 -x7016 -x7015 -x7014 -x7013 -x7012 -x7011 -x7010 -x7009 -x7006 -x7005 -x7004 -x7003 -x7002 -x7001 -x7000 -x6999 
1500.34/1504.62	v -x6998 -x6997 -x6995 -x6994 -x6993 -x6992 -x6991 -x6990 -x6989 -x6988 -x6987 -x6986 -x6984 -x6983 -x6982 -x6981 -x6980 -x6979 
1500.34/1504.62	v -x6978 -x6977 -x6976 -x6975 -x6973 -x6972 -x6971 -x6970 -x6969 -x6968 -x6967 -x6966 -x6965 -x6964 -x6962 -x6961 -x6960 -x6959 
1500.34/1504.62	v -x6958 -x6957 -x6956 -x6955 -x6954 -x6953 -x6951 -x6950 -x6949 -x6948 -x6947 -x6946 -x6945 -x6944 -x6943 -x6942 -x6940 -x6939 
1500.34/1504.62	v -x6938 -x6937 -x6936 -x6935 -x6934 -x6933 -x6932 -x6931 -x6929 -x6928 -x6927 -x6926 -x6925 -x6924 -x6923 -x6922 -x6921 -x6920 
1500.34/1504.62	v -x6918 -x6917 -x6916 -x6915 -x6914 -x6913 -x6912 -x6911 -x6910 -x6909 -x6907 -x6906 -x6905 -x6904 -x6903 -x6902 -x6901 
1500.34/1504.62	v -x6900 -x6899 -x6898 -x6895 -x6894 -x6893 -x6892 -x6891 -x6890 -x6889 -x6888 -x6887 -x6886 -x6884 -x6883 -x6882 -x6881 -x6880 
1500.34/1504.62	v -x6879 -x6878 -x6877 -x6876 -x6875 -x6873 -x6872 -x6871 -x6870 -x6869 -x6868 -x6867 -x6866 -x6865 -x6864 -x6862 -x6861 -x6860 
1500.34/1504.62	v -x6859 -x6858 -x6857 -x6856 -x6855 -x6854 -x6853 -x6851 -x6850 -x6849 -x6848 -x6847 -x6846 -x6845 -x6844 -x6843 -x6842 -x6840 
1500.34/1504.62	v -x6839 -x6838 -x6837 -x6836 -x6835 -x6834 -x6833 -x6832 -x6831 -x6829 -x6828 -x6827 -x6826 -x6825 -x6824 -x6823 -x6822 -x6821 
1500.34/1504.62	v -x6820 -x6818 -x6817 -x6816 -x6815 -x6814 -x6813 -x6812 -x6811 -x6810 -x6809 -x6807 -x6806 -x6805 -x6804 -x6803 -x6802 -x6801 
1500.34/1504.62	v -x6800 -x6799 -x6798 -x6796 -x6795 -x6794 -x6793 -x6792 -x6791 -x6790 -x6789 -x6788 -x6787 -x6784 -x6783 -x6782 -x6781 -x6780 
1500.34/1504.62	v -x6779 -x6778 -x6777 -x6776 -x6775 -x6773 -x6772 -x6771 -x6770 -x6769 -x6768 -x6767 -x6766 -x6765 -x6764 -x6762 -x6761 
1500.34/1504.62	v -x6760 -x6759 -x6758 -x6757 -x6756 -x6755 -x6754 -x6753 -x6751 -x6750 -x6749 -x6748 -x6747 -x6746 -x6745 -x6744 -x6743 -x6742 
1500.34/1504.62	v -x6740 -x6739 -x6738 -x6737 -x6736 -x6735 -x6734 -x6733 -x6732 -x6731 -x6729 -x6728 -x6727 -x6726 -x6725 -x6724 -x6723 -x6722 
1500.34/1504.62	v -x6721 -x6720 -x6718 -x6717 -x6716 -x6715 -x6714 -x6713 -x6712 -x6711 -x6710 -x6709 -x6707 -x6706 -x6705 -x6704 -x6703 -x6702 
1500.34/1504.62	v -x6701 -x6700 -x6699 -x6698 -x6696 -x6695 -x6694 -x6693 -x6692 -x6691 -x6690 -x6689 -x6688 -x6687 -x6685 -x6684 -x6683 -x6682 
1500.34/1504.62	v -x6681 -x6680 -x6679 -x6678 -x6677 -x6676 -x6673 -x6672 -x6671 -x6670 -x6669 -x6668 -x6667 -x6666 -x6665 -x6664 -x6662 -x6661 
1500.34/1504.62	v -x6660 -x6659 -x6658 -x6657 -x6656 -x6655 -x6654 -x6653 x6651 -x6650 -x6649 -x6648 -x6647 -x6646 -x6645 -x6644 -x6643 -x6642 
1500.34/1504.62	v -x6640 -x6639 -x6638 -x6637 -x6636 -x6635 -x6634 -x6633 -x6632 -x6631 -x6629 -x6628 -x6627 -x6626 -x6625 -x6624 -x6623 -x6622 
1500.34/1504.62	v -x6621 -x6620 -x6618 -x6617 -x6616 -x6615 -x6614 -x6613 -x6612 -x6611 -x6610 -x6609 -x6607 -x6606 -x6605 -x6604 -x6603 
1500.34/1504.62	v -x6602 -x6601 -x6600 -x6599 -x6598 -x6596 -x6595 -x6594 -x6593 -x6592 -x6591 -x6590 -x6589 -x6588 -x6587 -x6585 -x6584 -x6583 
1500.34/1504.62	v -x6582 -x6581 -x6580 -x6579 -x6578 -x6577 -x6576 -x6574 -x6573 -x6572 -x6571 -x6570 -x6569 -x6568 -x6567 -x6566 -x6565 -x6562 
1500.34/1504.62	v -x6561 -x6560 -x6559 -x6558 -x6557 -x6556 -x6555 -x6554 -x6553 -x6551 -x6550 -x6549 -x6548 -x6547 -x6546 -x6545 -x6544 -x6543 
1500.34/1504.62	v -x6542 -x6540 -x6539 -x6538 -x6537 -x6536 -x6535 -x6534 -x6533 -x6532 -x6531 -x6529 -x6528 -x6527 -x6526 -x6525 -x6524 -x6523 
1500.34/1504.62	v -x6522 -x6521 -x6520 -x6518 -x6517 -x6516 -x6515 -x6514 -x6513 -x6512 -x6511 -x6510 -x6509 -x6507 -x6506 -x6505 -x6504 -x6503 
1500.34/1504.62	v -x6502 -x6501 -x6500 -x6499 -x6498 -x6496 -x6495 -x6494 -x6493 -x6492 -x6491 -x6490 -x6489 -x6488 -x6487 -x6485 -x6484 -x6483 
1500.34/1504.62	v -x6482 -x6481 -x6480 -x6479 -x6478 -x6477 -x6476 -x6474 -x6473 -x6472 -x6471 -x6470 -x6469 -x6468 -x6467 -x6466 -x6465 
1500.34/1504.62	v -x6463 -x6462 -x6461 -x6460 -x6459 -x6458 -x6457 -x6456 -x6455 -x6454 -x6450 -x6449 -x6448 -x6447 -x6446 -x6445 -x6444 -x6443 
1500.34/1504.62	v -x6442 -x6441 -x6439 -x6438 -x6437 -x6436 -x6435 -x6434 -x6433 -x6432 -x6431 -x6430 -x6428 -x6427 -x6426 -x6425 -x6424 -x6423 
1500.34/1504.62	v -x6422 -x6421 -x6420 -x6419 -x6417 -x6416 -x6415 -x6414 -x6413 -x6412 -x6411 -x6410 -x6409 -x6408 -x6406 -x6405 -x6404 -x6403 
1500.34/1504.62	v -x6402 -x6401 -x6400 -x6399 -x6398 -x6397 -x6395 -x6394 -x6393 -x6392 -x6391 -x6390 -x6389 -x6388 -x6387 -x6386 -x6384 -x6383 
1500.34/1504.62	v -x6382 -x6381 -x6380 -x6379 -x6378 -x6377 -x6376 -x6375 -x6373 -x6372 -x6371 -x6370 -x6369 -x6368 -x6367 -x6366 -x6365 -x6364 
1500.34/1504.62	v -x6362 -x6361 -x6360 -x6359 -x6358 -x6357 -x6356 -x6355 -x6354 -x6353 -x6351 -x6350 -x6349 -x6348 -x6347 -x6346 -x6345 -x6344 
1500.34/1504.62	v -x6343 -x6342 -x6339 -x6338 -x6337 -x6336 -x6335 -x6334 -x6333 -x6332 -x6331 -x6330 -x6328 -x6327 -x6326 -x6325 -x6324 
1500.34/1504.62	v -x6323 -x6322 -x6321 -x6320 -x6319 -x6317 -x6316 -x6315 -x6314 -x6313 -x6312 -x6311 -x6310 -x6309 -x6308 -x6306 -x6305 -x6304 
1500.34/1504.62	v -x6303 -x6302 -x6301 -x6300 -x6299 -x6298 -x6297 -x6295 -x6294 -x6293 -x6292 -x6291 -x6290 -x6289 -x6288 -x6287 -x6286 -x6284 
1500.34/1504.62	v -x6283 -x6282 -x6281 -x6280 -x6279 -x6278 -x6277 -x6276 -x6275 -x6273 -x6272 -x6271 -x6270 -x6269 -x6268 -x6267 -x6266 -x6265 
1500.34/1504.62	v -x6264 -x6262 -x6261 -x6260 -x6259 -x6258 -x6257 -x6256 -x6255 -x6254 -x6253 -x6251 -x6250 -x6249 -x6248 -x6247 -x6246 -x6245 
1500.34/1504.62	v -x6244 -x6243 -x6242 -x6240 -x6239 -x6238 -x6237 -x6236 -x6235 -x6234 -x6233 -x6232 -x6231 -x6228 -x6227 -x6226 -x6225 -x6224 
1500.34/1504.62	v -x6223 -x6222 -x6221 -x6220 -x6219 -x6217 -x6216 -x6215 -x6214 -x6213 -x6212 -x6211 -x6210 -x6209 -x6208 -x6206 -x6205 -x6204 
1500.34/1504.62	v -x6203 -x6202 -x6201 -x6200 -x6199 -x6198 -x6197 -x6195 -x6194 -x6193 -x6192 -x6191 -x6190 -x6189 -x6188 -x6187 -x6186 
1500.34/1504.62	v -x6184 -x6183 -x6182 -x6181 -x6180 -x6179 -x6178 -x6177 -x6176 -x6175 -x6173 -x6172 -x6171 -x6170 -x6169 -x6168 -x6167 -x6166 
1500.34/1504.62	v -x6165 -x6164 -x6162 -x6161 -x6160 -x6159 -x6158 -x6157 -x6156 -x6155 -x6154 -x6153 -x6151 -x6150 -x6149 -x6148 -x6147 -x6146 
1500.34/1504.62	v -x6145 -x6144 -x6143 -x6142 -x6140 -x6139 -x6138 -x6137 -x6136 -x6135 -x6134 -x6133 -x6132 -x6131 -x6129 -x6128 -x6127 -x6126 
1500.34/1504.62	v -x6125 -x6124 -x6123 -x6122 -x6121 -x6120 -x6117 -x6116 -x6115 -x6114 -x6113 -x6112 -x6111 -x6110 -x6109 -x6108 -x6106 -x6105 
1500.34/1504.62	v -x6104 -x6103 -x6102 -x6101 -x6100 -x6099 -x6098 -x6097 -x6095 -x6094 -x6093 -x6092 -x6091 -x6090 -x6089 -x6088 -x6087 -x6086 
1500.34/1504.62	v -x6084 -x6083 -x6082 -x6081 -x6080 -x6079 -x6078 -x6077 -x6076 -x6075 -x6073 -x6072 -x6071 -x6070 -x6069 -x6068 -x6067 -x6066 
1500.34/1504.62	v -x6065 -x6064 -x6062 -x6061 -x6060 -x6059 -x6058 -x6057 -x6056 -x6055 -x6054 -x6053 -x6051 -x6050 -x6049 -x6048 -x6047 
1500.34/1504.62	v -x6046 -x6045 -x6044 -x6043 -x6042 -x6040 -x6039 -x6038 -x6037 -x6036 -x6035 -x6034 -x6033 -x6032 -x6031 x6029 -x6028 -x6027 
1500.34/1504.62	v -x6026 -x6025 -x6024 -x6023 -x6022 -x6021 -x6020 -x6018 -x6017 -x6016 -x6015 -x6014 -x6013 -x6012 -x6011 -x6010 -x6009 -x6006 
1500.34/1504.62	v -x6005 -x6004 -x6003 -x6002 -x6001 -x6000 -x5999 -x5998 -x5997 -x5995 -x5994 -x5993 -x5992 -x5991 -x5990 -x5989 -x5988 -x5987 
1500.34/1504.62	v -x5986 -x5984 -x5983 -x5982 -x5981 -x5980 -x5979 -x5978 -x5977 -x5976 -x5975 -x5973 -x5972 -x5971 -x5970 -x5969 -x5968 -x5967 
1500.34/1504.62	v -x5966 -x5965 -x5964 -x5962 -x5961 -x5960 -x5959 -x5958 -x5957 -x5956 -x5955 -x5954 -x5953 -x5951 -x5950 -x5949 -x5948 -x5947 
1500.34/1504.62	v -x5946 -x5945 -x5944 -x5943 -x5942 -x5940 -x5939 -x5938 -x5937 -x5936 -x5935 -x5934 -x5933 -x5932 -x5931 -x5929 -x5928 -x5927 
1500.34/1504.62	v -x5926 -x5925 -x5924 -x5923 -x5922 -x5921 -x5920 -x5918 -x5917 -x5916 -x5915 -x5914 -x5913 -x5912 -x5911 -x5910 -x5909 -x5907 
1500.34/1504.62	v -x5906 -x5905 -x5904 -x5903 -x5902 -x5901 -x5900 -x5899 -x5898 -x5895 -x5894 -x5893 -x5892 -x5891 -x5890 -x5889 -x5888 
1500.34/1504.62	v -x5887 -x5886 -x5884 -x5883 -x5882 -x5881 -x5880 -x5879 -x5878 -x5877 -x5876 -x5875 -x5873 -x5872 -x5871 -x5870 -x5869 -x5868 
1500.34/1504.62	v -x5867 -x5866 -x5865 -x5864 -x5862 -x5861 -x5860 -x5859 -x5858 -x5857 -x5856 -x5855 -x5854 -x5853 -x5851 -x5850 -x5849 -x5848 
1500.34/1504.62	v -x5847 -x5846 -x5845 -x5844 -x5843 -x5842 -x5840 -x5839 -x5838 -x5837 -x5836 -x5835 -x5834 -x5833 -x5832 -x5831 -x5829 -x5828 
1500.34/1504.62	v -x5827 -x5826 -x5825 -x5824 -x5823 -x5822 -x5821 -x5820 -x5818 -x5817 -x5816 -x5815 -x5814 -x5813 -x5812 -x5811 -x5810 -x5809 
1500.34/1504.62	v -x5807 -x5806 -x5805 -x5804 -x5803 -x5802 -x5801 x5800 -x5799 -x5798 -x5796 -x5795 -x5794 -x5793 -x5792 -x5791 -x5790 -x5789 
1500.34/1504.62	v -x5788 -x5787 -x5784 -x5783 -x5782 -x5781 -x5780 -x5779 -x5778 -x5777 -x5776 -x5775 -x5773 -x5772 -x5771 -x5770 -x5769 -x5768 
1500.34/1504.62	v -x5767 -x5766 -x5765 -x5764 -x5762 -x5761 -x5760 -x5759 -x5758 -x5757 -x5756 -x5755 -x5754 -x5753 -x5751 -x5750 -x5749 -x5748 
1500.34/1504.62	v -x5747 -x5746 -x5745 -x5744 -x5743 -x5742 -x5740 -x5739 -x5738 -x5737 -x5736 -x5735 -x5734 -x5733 -x5732 -x5731 -x5729 
1500.34/1504.62	v -x5728 -x5727 -x5726 -x5725 -x5724 -x5723 -x5722 -x5721 -x5720 -x5718 -x5717 -x5716 -x5715 -x5714 -x5713 -x5712 -x5711 -x5710 
1500.34/1504.62	v -x5709 -x5707 -x5706 -x5705 -x5704 -x5703 -x5702 -x5701 -x5700 -x5699 -x5698 -x5696 -x5695 -x5694 -x5693 -x5692 -x5691 -x5690 
1500.34/1504.62	v -x5689 -x5688 -x5687 -x5685 -x5684 -x5683 -x5682 -x5681 -x5680 -x5679 -x5678 -x5677 -x5676 -x5673 -x5672 -x5671 -x5670 -x5669 
1500.34/1504.62	v -x5668 -x5667 -x5666 -x5665 -x5664 -x5662 -x5661 -x5660 -x5659 -x5658 -x5657 -x5656 -x5655 -x5654 -x5653 -x5651 -x5650 -x5649 
1500.34/1504.62	v -x5648 -x5647 -x5646 -x5645 -x5644 -x5643 -x5642 -x5640 -x5639 -x5638 -x5637 -x5636 -x5635 -x5634 -x5633 -x5632 -x5631 -x5629 
1500.34/1504.62	v -x5628 -x5627 -x5626 -x5625 -x5624 -x5623 -x5622 -x5621 -x5620 -x5618 -x5617 -x5616 -x5615 -x5614 -x5613 -x5612 -x5611 -x5610 
1500.34/1504.62	v -x5609 -x5607 -x5606 -x5605 -x5604 -x5603 -x5602 -x5601 -x5600 -x5599 -x5598 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 
1500.34/1504.62	v -x5590 -x5589 -x5588 -x5587 -x5585 -x5584 -x5583 -x5582 -x5581 -x5580 -x5579 -x5578 -x5577 -x5576 -x5574 -x5573 -x5572 -x5571 
1500.34/1504.62	v -x5570 -x5569 -x5568 -x5567 -x5566 -x5565 -x5562 -x5561 -x5560 -x5559 -x5558 -x5557 -x5556 -x5555 -x5554 -x5553 -x5551 -x5550 
1500.34/1504.62	v -x5549 -x5548 -x5547 -x5546 -x5545 -x5544 -x5543 -x5542 -x5540 -x5539 -x5538 -x5537 -x5536 -x5535 -x5534 -x5533 -x5532 -x5531 
1500.34/1504.62	v -x5529 -x5528 -x5527 -x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5520 -x5518 -x5517 -x5516 -x5515 -x5514 -x5513 -x5512 -x5511 
1500.34/1504.62	v -x5510 -x5509 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5501 -x5500 -x5499 -x5498 -x5496 -x5495 -x5494 -x5493 -x5492 -x5491 
1500.34/1504.62	v -x5490 -x5489 -x5488 -x5487 -x5485 -x5484 -x5483 -x5482 -x5481 -x5480 -x5479 -x5478 -x5477 -x5476 -x5474 -x5473 -x5472 -x5471 
1500.34/1504.62	v -x5470 -x5469 -x5468 -x5467 -x5466 -x5465 -x5463 -x5462 -x5461 -x5460 -x5459 -x5458 -x5457 -x5456 -x5455 -x5454 -x5451 
1500.34/1504.62	v -x5450 -x5449 -x5448 -x5447 -x5446 -x5445 -x5444 -x5443 -x5442 -x5440 -x5439 -x5438 -x5437 -x5436 -x5435 -x5434 -x5433 -x5432 
1500.34/1504.62	v -x5431 -x5429 -x5428 -x5427 -x5426 -x5425 -x5424 -x5423 -x5422 -x5421 -x5420 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412 
1500.34/1504.62	v -x5411 -x5410 -x5409 -x5407 -x5406 -x5405 -x5404 -x5403 -x5402 -x5401 -x5400 -x5399 -x5398 -x5396 -x5395 -x5394 -x5393 -x5392 
1500.34/1504.62	v -x5391 -x5390 -x5389 -x5388 -x5387 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5374 -x5373 -x5372 
1500.34/1504.62	v -x5371 -x5370 -x5369 -x5368 -x5367 -x5366 -x5365 -x5363 -x5362 -x5361 -x5360 -x5359 -x5358 -x5357 -x5356 -x5355 -x5354 -x5352 
1500.34/1504.62	v -x5351 -x5350 -x5349 -x5348 -x5347 -x5346 -x5345 -x5344 -x5343 -x5339 -x5338 -x5337 -x5336 -x5335 -x5334 -x5333 -x5332 -x5331 
1500.34/1504.62	v -x5330 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 -x5322 -x5321 -x5320 -x5319 -x5317 -x5316 -x5315 -x5314 -x5313 -x5312 
1500.34/1504.62	v -x5311 -x5310 -x5309 -x5308 -x5306 -x5305 -x5304 -x5303 -x5302 -x5301 -x5300 -x5299 -x5298 -x5297 -x5295 -x5294 -x5293 -x5292 
1500.34/1504.62	v -x5291 -x5290 -x5289 -x5288 -x5287 -x5286 -x5284 -x5283 -x5282 -x5281 -x5280 -x5279 -x5278 -x5277 -x5276 -x5275 -x5273 -x5272 
1500.34/1504.62	v -x5271 -x5270 -x5269 -x5268 -x5267 -x5266 -x5265 -x5264 -x5262 -x5261 -x5260 -x5259 -x5258 -x5257 -x5256 -x5255 -x5254 -x5253 
1500.34/1504.62	v -x5251 -x5250 -x5249 -x5248 -x5247 -x5246 -x5245 -x5244 -x5243 -x5242 -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 
1500.34/1504.62	v -x5232 -x5231 -x5228 -x5227 -x5226 -x5225 -x5224 -x5223 -x5222 -x5221 -x5220 -x5219 -x5217 -x5216 -x5215 -x5214 -x5213 -x5212 
1500.34/1504.62	v -x5211 -x5210 -x5209 -x5208 -x5206 -x5205 -x5204 -x5203 -x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5195 -x5194 -x5193 -x5192 
1500.34/1504.62	v -x5191 -x5190 -x5189 -x5188 -x5187 -x5186 -x5184 -x5183 -x5182 -x5181 -x5180 -x5179 -x5178 -x5177 -x5176 -x5175 -x5173 
1500.34/1504.62	v -x5172 -x5171 -x5170 -x5169 -x5168 -x5167 -x5166 -x5165 -x5164 -x5162 -x5161 -x5160 -x5159 -x5158 -x5157 -x5156 -x5155 -x5154 
1500.34/1504.62	v -x5153 -x5151 -x5150 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 -x5143 -x5142 -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 
1500.34/1504.62	v -x5133 -x5132 -x5131 -x5129 -x5128 -x5127 -x5126 -x5125 -x5124 -x5123 -x5122 -x5121 -x5120 -x5117 -x5116 -x5115 -x5114 -x5113 
1500.34/1504.62	v -x5112 -x5111 -x5110 -x5109 -x5108 x5106 -x5105 -x5104 -x5103 -x5102 -x5101 -x5100 -x5099 -x5098 -x5097 -x5095 -x5094 -x5093 
1500.34/1504.62	v -x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086 -x5084 -x5083 -x5082 -x5081 -x5080 -x5079 -x5078 -x5077 -x5076 -x5075 -x5073 
1500.34/1504.62	v -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 -x5066 -x5065 -x5064 -x5062 -x5061 -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 
1500.34/1504.62	v -x5053 -x5051 -x5050 -x5049 -x5048 -x5047 -x5046 -x5045 -x5044 -x5043 -x5042 -x5040 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034 
1500.34/1504.62	v -x5033 -x5032 -x5031 -x5029 -x5028 -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 -x5021 -x5020 -x5018 -x5017 -x5016 -x5015 
1500.34/1504.62	v -x5014 -x5013 -x5012 -x5011 -x5010 -x5009 -x5006 -x5005 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4998 -x4997 -x4995 -x4994 
1500.34/1504.62	v -x4993 -x4992 -x4991 -x4990 -x4989 -x4988 -x4987 -x4986 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979 -x4978 -x4977 -x4976 -x4975 
1500.34/1504.62	v -x4973 -x4972 -x4971 -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 -x4964 -x4962 -x4961 -x4960 -x4959 -x4958 x4957 -x4956 -x4955 
1500.34/1504.62	v -x4954 -x4953 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 
1500.34/1504.62	v -x4934 -x4933 -x4932 -x4931 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 -x4921 -x4920 -x4918 -x4917 -x4916 -x4915 
1500.34/1504.62	v -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4907 -x4906 -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4895 -x4894 
1500.34/1504.62	v -x4893 -x4892 -x4891 -x4890 -x4889 -x4888 -x4887 -x4886 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 
1500.34/1504.62	v -x4873 -x4872 -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 
1500.34/1504.62	v -x4855 -x4854 -x4853 -x4851 -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4840 -x4839 -x4838 -x4837 -x4836 
1500.34/1504.62	v -x4835 -x4834 -x4833 -x4832 -x4831 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4818 -x4817 -x4816 
1500.34/1504.62	v -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 -x4799 -x4798 -x4796 
1500.34/1504.62	v -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4784 -x4783 -x4782 -x4781 -x4780 -x4779 -x4778 -x4777 -x4776 
1500.34/1504.62	v -x4775 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4762 -x4761 -x4760 -x4759 -x4758 -x4757 -x4756 
1500.34/1504.62	v -x4755 -x4754 -x4753 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4742 -x4740 -x4739 -x4738 -x4737 -x4736 
1500.34/1504.62	v -x4735 -x4734 -x4733 -x4732 -x4731 -x4729 -x4728 -x4727 -x4726 -x4725 -x4724 -x4723 -x4722 -x4721 -x4720 -x4718 -x4717 
1500.34/1504.62	v -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 -x4701 -x4700 -x4699 -x4698 
1500.34/1504.62	v -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 -x4689 -x4688 -x4687 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 
1500.34/1504.62	v -x4677 -x4676 -x4673 -x4672 -x4671 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 
1500.34/1504.62	v -x4656 -x4655 -x4654 -x4653 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4640 -x4639 -x4638 -x4637 
1500.34/1504.62	v -x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4618 -x4617 
1500.34/1504.62	v -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 
1500.34/1504.62	v -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 
1500.34/1504.62	v -x4578 -x4577 -x4576 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4562 -x4561 -x4560 -x4559 -x4558 
1500.34/1504.62	v -x4557 -x4556 -x4555 -x4554 -x4553 -x4551 -x4550 -x4549 -x4548 -x4547 -x4546 -x4545 -x4544 -x4543 -x4542 -x4540 -x4539 -x4538 
1500.34/1504.62	v -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4518 
1500.34/1504.62	v -x4517 -x4516 -x4515 -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 
1500.34/1504.62	v -x4498 -x4496 -x4495 -x4494 -x4493 -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 
1500.34/1504.62	v -x4478 -x4477 -x4476 -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4463 -x4462 -x4461 -x4460 -x4459 
1500.34/1504.62	v -x4458 -x4457 -x4456 -x4455 -x4454 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4440 -x4439 
1500.34/1504.62	v -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 
1500.34/1504.62	v -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 
1500.34/1504.62	v -x4399 -x4398 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 
1500.34/1504.62	v -x4379 -x4378 -x4377 -x4376 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 -x4365 -x4363 -x4362 -x4361 -x4360 
1500.34/1504.62	v -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4340 -x4339 
1500.34/1504.62	v -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 
1500.34/1504.62	v -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 
1500.34/1504.62	v -x4300 -x4299 -x4298 -x4296 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4285 -x4284 -x4283 -x4282 -x4281 
1500.34/1504.62	v -x4280 -x4279 -x4278 -x4277 -x4276 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 -x4263 -x4262 -x4261 
1500.34/1504.62	v -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 -x4254 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4241 
1500.34/1504.62	v -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 
1500.34/1504.62	v -x4219 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 
1500.34/1504.62	v -x4199 -x4198 -x4197 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4184 -x4183 -x4182 -x4181 -x4180 
1500.34/1504.62	v -x4179 -x4178 -x4177 -x4176 -x4175 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4162 -x4161 
1500.34/1504.62	v -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 
1500.34/1504.62	v -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 
1500.34/1504.62	v -x4121 -x4120 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 
1500.34/1504.62	v -x4100 -x4099 -x4098 -x4097 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4084 -x4083 -x4082 -x4081 
1500.34/1504.62	v -x4080 -x4079 -x4078 -x4077 -x4076 -x4075 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4062 -x4061 
1500.34/1504.62	v -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x4044 -x4043 -x4042 
1500.34/1504.62	v -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 
1500.34/1504.62	v -x4022 -x4021 -x4020 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 -x4006 -x4005 -x4004 -x4003 -x4002 
1500.34/1504.62	v -x4001 -x4000 -x3999 -x3998 -x3997 -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3984 -x3983 -x3982 
1500.34/1504.62	v -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3962 
1500.34/1504.62	v -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 
1500.34/1504.62	v -x3942 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 
1500.34/1504.62	v -x3922 -x3921 -x3920 -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3907 x3906 -x3905 -x3904 -x3903 
1500.34/1504.62	v -x3902 -x3901 -x3900 -x3899 -x3898 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3884 -x3883 -x3882 
1500.34/1504.62	v -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 
1500.34/1504.62	v -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 
1500.34/1504.62	v -x3843 -x3842 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 
1500.34/1504.62	v -x3823 -x3822 -x3821 -x3820 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3807 -x3806 -x3805 -x3804 
1500.34/1504.62	v -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3784 -x3783 
1500.34/1504.62	v -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 
1500.34/1504.62	v -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 
1500.34/1504.62	v -x3743 -x3742 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3729 -x3728 -x3727 -x3726 -x3725 
1500.34/1504.62	v -x3724 -x3723 -x3722 -x3721 -x3720 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3707 -x3706 -x3705 
1500.34/1504.62	v -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3685 
1500.34/1504.62	v -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 
1500.34/1504.62	v -x3664 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 
1500.34/1504.62	v -x3644 -x3643 -x3642 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3629 -x3628 -x3627 -x3626 -x3625 
1500.34/1504.62	v -x3624 -x3623 -x3622 -x3621 -x3620 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3607 -x3606 -x3605 
1500.34/1504.62	v -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 
1500.34/1504.62	v -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 
1500.34/1504.62	v -x3566 -x3565 -x3562 -x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 
1500.34/1504.62	v -x3545 -x3544 -x3543 -x3542 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3529 -x3528 -x3527 -x3526 
1500.34/1504.62	v -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3507 -x3506 
1500.34/1504.62	v -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 
1500.34/1504.62	v -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 
1500.34/1504.62	v -x3466 -x3465 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3451 -x3450 -x3449 -x3448 -x3447 
1500.34/1504.62	v -x3446 -x3445 -x3444 -x3443 -x3442 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3429 -x3428 -x3427 
1500.34/1504.62	v -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3407 
1500.34/1504.62	v -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 
1500.34/1504.62	v -x3387 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 
1500.34/1504.62	v -x3367 -x3366 -x3365 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3352 -x3351 -x3350 -x3349 -x3348 
1500.34/1504.62	v -x3347 -x3346 -x3345 -x3344 -x3343 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3329 -x3328 -x3327 
1500.34/1504.62	v -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 
1500.34/1504.62	v -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 
1500.34/1504.62	v -x3288 -x3287 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 
1500.34/1504.62	v -x3268 -x3267 -x3266 -x3265 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3252 -x3251 -x3250 -x3249 
1500.34/1504.62	v -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3229 -x3228 
1500.34/1504.62	v -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 
1500.34/1504.62	v -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 
1500.34/1504.62	v -x3188 -x3187 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3174 -x3173 -x3172 -x3171 -x3170 
1500.34/1504.62	v -x3169 -x3168 -x3167 -x3166 -x3165 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3152 -x3151 -x3150 
1500.34/1504.62	v -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3130 
1500.34/1504.62	v -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 
1500.34/1504.62	v -x3108 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 
1500.34/1504.62	v -x3088 -x3087 -x3086 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3073 -x3072 -x3071 -x3070 -x3069 
1500.34/1504.62	v -x3068 -x3067 -x3066 -x3065 -x3064 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3051 -x3050 -x3049 
1500.34/1504.62	v -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 
1500.34/1504.62	v -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 
1500.34/1504.62	v -x3010 -x3009 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 
1500.34/1504.62	v -x2989 -x2988 -x2987 -x2986 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2973 -x2972 -x2971 -x2970 
1500.34/1504.62	v -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2951 -x2950 
1500.34/1504.62	v -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 
1500.34/1504.62	v -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 
1500.34/1504.62	v -x2910 -x2909 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2895 -x2894 -x2893 -x2892 -x2891 
1500.34/1504.62	v -x2890 -x2889 -x2888 -x2887 -x2886 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2873 -x2872 -x2871 
1500.34/1504.62	v -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2851 
1500.34/1504.62	v -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 
1500.34/1504.62	v -x2831 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 
1500.34/1504.62	v -x2811 -x2810 -x2809 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2796 -x2795 -x2794 -x2793 -x2792 
1500.34/1504.62	v -x2791 -x2790 -x2789 -x2788 -x2787 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2773 -x2772 -x2771 
1500.34/1504.62	v -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 
1500.34/1504.62	v -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 
1500.34/1504.62	v -x2732 -x2731 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 
1500.34/1504.62	v -x2712 -x2711 -x2710 -x2709 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2696 -x2695 -x2694 -x2693 
1500.34/1504.62	v -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2673 -x2672 
1500.34/1504.62	v -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 
1500.34/1504.62	v -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 
1500.34/1504.62	v -x2632 -x2631 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2618 -x2617 -x2616 -x2615 -x2614 
1500.34/1504.62	v -x2613 -x2612 -x2611 -x2610 -x2609 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2596 -x2595 -x2594 
1500.34/1504.62	v -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2574 
1500.34/1504.62	v -x2573 -x2572 -x2571 x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 
1500.34/1504.62	v -x2553 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 
1500.34/1504.62	v -x2533 -x2532 -x2531 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2518 -x2517 -x2516 -x2515 -x2514 
1500.34/1504.62	v -x2513 -x2512 -x2511 -x2510 -x2509 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2496 -x2495 -x2494 
1500.34/1504.62	v -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2474 
1500.34/1504.62	v -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 
1500.34/1504.62	v -x2455 -x2454 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 
1500.34/1504.62	v -x2434 -x2433 -x2432 -x2431 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2418 -x2417 -x2416 -x2415 
1500.34/1504.62	v -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 x2396 -x2395 
1500.34/1504.62	v -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 
1500.34/1504.62	v -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 
1500.34/1504.62	v -x2355 -x2354 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 
1500.34/1504.62	v -x2334 -x2333 -x2332 -x2331 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2318 -x2317 -x2316 -x2315 
1500.34/1504.62	v -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2296 
1500.34/1504.62	v -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 
1500.34/1504.62	v -x2276 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 
1500.34/1504.62	v -x2256 -x2255 -x2254 -x2252 -x2251 -x2250 -x2249 x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2241 -x2240 -x2239 -x2238 -x2237 
1500.34/1504.62	v -x2236 -x2235 -x2234 -x2233 -x2232 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2218 -x2217 -x2216 
1500.34/1504.62	v -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2196 
1500.34/1504.62	v -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 
1500.34/1504.62	v -x2176 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 
1500.34/1504.62	v -x2156 -x2155 -x2154 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2141 -x2140 -x2139 -x2138 
1500.34/1504.62	v -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2118 -x2117 
1500.34/1504.62	v -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 
1500.34/1504.62	v -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 
1500.34/1504.62	v -x2077 -x2076 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 
1500.34/1504.62	v -x2057 -x2056 -x2055 -x2054 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2041 -x2040 -x2039 -x2038 
1500.34/1504.62	v -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2019 -x2018 
1500.34/1504.62	v -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 
1500.34/1504.62	v -x1997 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 
1500.34/1504.62	v -x1977 -x1976 -x1975 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1962 -x1961 -x1960 -x1959 -x1958 
1500.34/1504.62	v -x1957 -x1956 -x1955 -x1954 -x1953 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1940 -x1939 -x1938 
1500.34/1504.62	v -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1918 
1500.34/1504.62	v -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 
1500.34/1504.62	v -x1898 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 
1500.34/1504.62	v -x1877 -x1876 -x1875 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1862 -x1861 -x1860 -x1859 
1500.34/1504.62	v -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1840 -x1839 
1500.34/1504.62	v -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 
1500.34/1504.62	v -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 
1500.34/1504.62	v -x1799 -x1798 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 
1500.34/1504.62	v -x1778 -x1777 -x1776 -x1775 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1762 -x1761 -x1760 -x1759 
1500.34/1504.62	v -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1740 -x1739 
1500.34/1504.62	v -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 
1500.34/1504.62	v -x1720 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 
1500.34/1504.62	v -x1700 -x1699 -x1698 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1685 -x1684 -x1683 -x1682 -x1681 
1500.34/1504.62	v -x1680 -x1679 -x1678 -x1677 -x1676 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1662 -x1661 -x1660 
1500.34/1504.62	v -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1640 
1500.34/1504.62	v -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 
1500.34/1504.62	v -x1620 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 
1500.34/1504.62	v -x1600 -x1599 -x1598 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1585 -x1584 -x1583 -x1582 
1500.34/1504.62	v -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1562 -x1561 
1500.34/1504.62	v -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 
1500.34/1504.62	v -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 
1500.34/1504.62	v -x1521 -x1520 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 
1500.34/1504.62	v -x1501 -x1500 -x1499 -x1498 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1485 -x1484 -x1483 -x1482 
1500.34/1504.62	v -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1463 -x1462 
1500.34/1504.62	v -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 
1500.34/1504.62	v -x1442 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 
1500.34/1504.62	v -x1422 -x1421 -x1420 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1407 -x1406 -x1405 -x1404 -x1403 
1500.34/1504.62	v -x1402 -x1401 -x1400 -x1399 -x1398 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1385 -x1384 -x1383 
1500.34/1504.62	v -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1363 
1500.34/1504.62	v -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 
1500.34/1504.62	v -x1343 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 
1500.34/1504.62	v -x1322 -x1321 -x1320 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1307 -x1306 -x1305 -x1304 
1500.34/1504.62	v -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1285 -x1284 
1500.34/1504.62	v -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 
1500.34/1504.62	v -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 
1500.34/1504.62	v -x1244 -x1243 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 
1500.34/1504.62	v -x1223 -x1222 -x1221 -x1220 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1207 -x1206 -x1205 -x1204 
1500.34/1504.62	v -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1185 -x1184 
1500.34/1504.62	v -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 
1500.34/1504.62	v -x1165 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 
1500.34/1504.62	v -x1145 -x1144 -x1143 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1130 -x1129 -x1128 -x1127 -x1126 
1500.34/1504.62	v -x1125 -x1124 -x1123 -x1122 -x1121 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1107 -x1106 -x1105 
1500.34/1504.62	v -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1085 
1500.34/1504.62	v -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 
1500.34/1504.62	v -x1065 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 
1500.34/1504.62	v -x1045 -x1044 -x1043 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1030 -x1029 -x1028 -x1027 
1500.34/1504.62	v -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1007 -x1006 
1500.34/1504.62	v -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x991 -x980 -x969 -x958 -x947 -x936 -x925 -x914 -x903 -x892 -x880 -x869 
1500.34/1504.62	v -x858 -x847 -x836 -x825 -x814 -x803 -x792 -x781 -x769 -x758 -x747 x736 -x725 -x714 -x703 -x692 -x681 -x670 -x658 -x647 -x636 
1500.34/1504.62	v -x625 -x614 -x603 -x592 -x581 -x570 -x559 -x547 -x536 -x525 -x514 -x503 -x492 -x481 -x470 -x459 -x448 -x436 -x425 -x414 -x403 
1500.34/1504.62	v -x392 -x381 -x370 -x359 -x348 -x337 -x325 -x314 -x303 -x292 -x281 -x270 -x259 -x248 -x237 -x226 -x214 -x203 -x192 -x181 -x170 
1500.34/1504.62	v -x159 -x148 -x137 -x126 -x115 -x103 -x92 -x81 -x70 -x59 -x48 -x37 -x26 -x15 -x4 -x10884 -x10873 -x10862 -x10851 -x10840 -x10829 
1500.34/1504.62	v -x10818 -x10807 -x10796 -x10785 -x10773 -x10762 -x10751 -x10740 -x10729 -x10718 -x10707 -x10696 -x10685 -x10674 -x10662 
1500.34/1504.62	v -x10651 -x10640 -x10629 -x10618 -x10607 -x10596 -x10585 -x10574 -x10563 -x10551 -x10540 -x10529 -x10518 -x10507 -x10496 -x10485 
1500.34/1504.62	v -x10474 -x10463 -x10452 -x10440 -x10429 -x10418 -x10407 -x10396 -x10385 -x10374 -x10363 -x10352 -x10341 -x10329 -x10318 
1500.34/1504.62	v -x10307 -x10296 -x10285 -x10274 -x10263 -x10252 -x10241 -x10230 -x10218 -x10207 x10196 -x10185 -x10174 -x10163 -x10152 -x10141 
1500.34/1504.62	v -x10130 -x10119 -x10107 -x10096 -x10085 -x10074 -x10063 -x10052 -x10041 -x10030 -x10019 -x10008 -x9996 -x9985 -x9974 -x9963 
1500.34/1504.62	v -x9952 -x9941 -x9930 -x9919 -x9908 -x9897 -x9885 -x9874 -x9863 -x9852 -x9841 -x9830 -x9819 -x9808 -x9797 -x9786 -x9773 -x9762 
1500.34/1504.62	v -x9751 -x9740 -x9729 -x9718 -x9707 -x9696 -x9685 -x9674 -x9662 -x9651 -x9640 -x9629 -x9618 -x9607 -x9596 -x9585 -x9574 -x9563 
1500.34/1504.62	v -x9551 -x9540 -x9529 -x9518 -x9507 -x9496 -x9485 -x9474 -x9463 -x9452 -x9440 -x9429 -x9418 -x9407 -x9396 -x9385 -x9374 -x9363 
1500.34/1504.62	v -x9352 -x9341 -x9329 -x9318 -x9307 -x9296 -x9285 -x9274 -x9263 -x9252 -x9241 -x9230 -x9218 -x9207 -x9196 -x9185 -x9174 -x9163 
1500.34/1504.62	v -x9152 -x9141 -x9130 -x9119 -x9107 -x9096 -x9085 -x9074 -x9063 -x9052 -x9041 -x9030 -x9019 -x9008 -x8996 -x8985 -x8974 -x8963 
1500.34/1504.62	v -x8952 -x8941 -x8930 -x8919 -x8908 -x8897 -x8885 -x8874 -x8863 -x8852 -x8841 -x8830 -x8819 -x8808 -x8797 -x8786 -x8774 
1500.34/1504.62	v -x8763 -x8752 -x8741 -x8730 -x8719 -x8708 -x8697 -x8686 -x8675 -x8662 -x8651 -x8640 -x8629 -x8618 -x8607 -x8596 -x8585 -x8574 
1500.34/1504.62	v -x8563 -x8551 -x8540 -x8529 -x8518 -x8507 -x8496 -x8485 -x8474 -x8463 -x8452 -x8440 -x8429 -x8418 -x8407 -x8396 -x8385 -x8374 
1500.34/1504.62	v -x8363 -x8352 -x8341 -x8329 -x8318 -x8307 -x8296 -x8285 -x8274 -x8263 -x8252 -x8241 -x8230 -x8218 -x8207 -x8196 -x8185 -x8174 
1500.34/1504.62	v -x8163 -x8152 -x8141 -x8130 -x8119 -x8107 -x8096 -x8085 -x8074 -x8063 -x8052 -x8041 -x8030 -x8019 -x8008 -x7996 -x7985 -x7974 
1500.34/1504.62	v -x7963 -x7952 -x7941 -x7930 -x7919 -x7908 -x7897 -x7885 -x7874 -x7863 -x7852 -x7841 -x7830 -x7819 -x7808 -x7797 -x7786 -x7774 
1500.34/1504.62	v -x7763 -x7752 -x7741 -x7730 -x7719 -x7708 -x7697 -x7686 -x7675 -x7663 -x7652 -x7641 -x7630 -x7619 -x7608 -x7597 -x7586 -x7575 
1500.34/1504.62	v -x7564 -x7551 -x7540 -x7529 -x7518 -x7507 -x7496 -x7485 -x7474 -x7463 -x7452 -x7440 -x7429 -x7418 -x7407 -x7396 -x7385 
1500.34/1504.62	v -x7374 -x7363 -x7352 -x7341 -x7329 -x7318 -x7307 -x7296 -x7285 -x7274 -x7263 -x7252 -x7241 -x7230 -x7218 -x7207 -x7196 -x7185 
1500.34/1504.62	v -x7174 -x7163 -x7152 -x7141 -x7130 -x7119 -x7107 -x7096 -x7085 -x7074 -x7063 -x7052 -x7041 -x7030 -x7019 -x7008 -x6996 -x6985 
1500.34/1504.62	v -x6974 -x6963 -x6952 -x6941 -x6930 -x6919 -x6908 -x6897 -x6885 -x6874 -x6863 -x6852 -x6841 -x6830 -x6819 -x6808 -x6797 -x6786 
1500.34/1504.62	v -x6774 -x6763 -x6752 -x6741 -x6730 -x6719 -x6708 -x6697 -x6686 -x6675 -x6663 -x6652 -x6641 -x6630 -x6619 -x6608 -x6597 -x6586 
1500.34/1504.62	v -x6575 -x6564 -x6552 -x6541 -x6530 -x6519 -x6508 -x6497 -x6486 -x6475 -x6464 -x6453 -x6440 -x6429 -x6418 -x6407 -x6396 -x6385 
1500.34/1504.62	v -x6374 -x6363 -x6352 -x6341 -x6329 -x6318 -x6307 -x6296 -x6285 -x6274 -x6263 -x6252 -x6241 -x6230 -x6218 -x6207 -x6196 -x6185 
1500.34/1504.62	v -x6174 -x6163 -x6152 -x6141 -x6130 -x6119 -x6107 -x6096 -x6085 -x6074 -x6063 -x6052 -x6041 -x6030 -x6019 -x6008 -x5996 
1500.34/1504.62	v -x5985 -x5974 -x5963 -x5952 -x5941 -x5930 -x5919 -x5908 -x5897 -x5885 -x5874 -x5863 -x5852 -x5841 -x5830 -x5819 -x5808 -x5797 
1500.34/1504.62	v -x5786 -x5774 -x5763 -x5752 -x5741 -x5730 -x5719 -x5708 -x5697 -x5686 -x5675 -x5663 -x5652 -x5641 -x5630 -x5619 -x5608 -x5597 
1500.34/1504.62	v -x5586 -x5575 -x5564 -x5552 -x5541 -x5530 -x5519 -x5508 -x5497 -x5486 -x5475 -x5464 -x5453 -x5441 -x5430 -x5419 -x5408 -x5397 
1500.34/1504.62	v -x5386 -x5375 -x5364 -x5353 -x5342 -x5329 -x5318 -x5307 -x5296 -x5285 -x5274 -x5263 -x5252 -x5241 -x5230 -x5218 -x5207 -x5196 
1500.34/1504.62	v -x5185 -x5174 -x5163 -x5152 -x5141 -x5130 -x5119 -x5107 -x5096 -x5085 -x5074 -x5063 -x5052 -x5041 -x5030 -x5019 -x5008 -x4996 
1500.34/1504.62	v -x4985 -x4974 -x4963 -x4952 -x4941 -x4930 -x4919 -x4908 -x4897 -x4885 -x4874 -x4863 -x4852 -x4841 -x4830 -x4819 -x4808 -x4797 
1500.34/1504.62	v -x4786 -x4774 -x4763 -x4752 -x4741 -x4730 -x4719 -x4708 -x4697 -x4686 -x4675 -x4663 -x4652 -x4641 -x4630 -x4619 -x4608 
1500.34/1504.62	v -x4597 -x4586 -x4575 -x4564 -x4552 -x4541 -x4530 -x4519 -x4508 -x4497 -x4486 -x4475 -x4464 -x4453 -x4441 -x4430 -x4419 -x4408 
1500.34/1504.62	v -x4397 -x4386 -x4375 -x4364 -x4353 -x4342 -x4330 -x4319 -x4308 -x4297 -x4286 -x4275 -x4264 -x4253 -x4242 -x4231 -x4218 -x4207 
1500.34/1504.62	v -x4196 -x4185 -x4174 -x4163 -x4152 -x4141 -x4130 -x4119 -x4107 -x4096 -x4085 -x4074 -x4063 -x4052 -x4041 -x4030 -x4019 -x4008 
1500.34/1504.62	v -x3996 -x3985 -x3974 -x3963 -x3952 -x3941 -x3930 -x3919 -x3908 -x3897 -x3885 -x3874 -x3863 -x3852 -x3841 -x3830 -x3819 -x3808 
1500.34/1504.62	v -x3797 -x3786 -x3774 -x3763 -x3752 -x3741 -x3730 -x3719 -x3708 -x3697 -x3686 -x3675 -x3663 -x3652 -x3641 -x3630 -x3619 -x3608 
1500.34/1504.62	v -x3597 -x3586 -x3575 -x3564 -x3552 -x3541 -x3530 -x3519 -x3508 -x3497 -x3486 -x3475 -x3464 -x3453 -x3441 -x3430 -x3419 -x3408 
1500.34/1504.62	v -x3397 -x3386 -x3375 -x3364 -x3353 -x3342 -x3330 -x3319 -x3308 -x3297 -x3286 -x3275 -x3264 -x3253 -x3242 -x3231 -x3219 
1500.34/1504.62	v -x3208 -x3197 -x3186 -x3175 -x3164 -x3153 -x3142 -x3131 -x3120 -x3107 -x3096 -x3085 -x3074 -x3063 -x3052 -x3041 -x3030 -x3019 
1500.34/1504.62	v -x3008 -x2996 -x2985 -x2974 -x2963 -x2952 -x2941 -x2930 -x2919 -x2908 -x2897 -x2885 -x2874 -x2863 -x2852 -x2841 -x2830 -x2819 
1500.34/1504.62	v -x2808 -x2797 -x2786 -x2774 -x2763 -x2752 -x2741 -x2730 -x2719 -x2708 -x2697 -x2686 -x2675 -x2663 -x2652 -x2641 -x2630 -x2619 
1500.34/1504.62	v -x2608 -x2597 -x2586 -x2575 -x2564 -x2552 -x2541 -x2530 -x2519 -x2508 -x2497 -x2486 -x2475 -x2464 -x2453 -x2441 -x2430 -x2419 
1500.34/1504.62	v -x2408 -x2397 -x2386 -x2375 -x2364 -x2353 -x2342 -x2330 -x2319 -x2308 -x2297 -x2286 -x2275 -x2264 -x2253 -x2242 -x2231 -x2219 
1500.34/1504.62	v -x2208 -x2197 -x2186 -x2175 -x2164 -x2153 -x2142 -x2131 -x2120 -x2108 -x2097 -x2086 -x2075 -x2064 -x2053 -x2042 -x2031 -x2020 
1500.34/1504.62	v -x2009 -x1996 -x1985 -x1974 -x1963 -x1952 -x1941 -x1930 -x1919 -x1908 -x1897 -x1885 -x1874 -x1863 -x1852 -x1841 -x1830 
1500.34/1504.62	v -x1819 -x1808 -x1797 -x1786 -x1774 -x1763 -x1752 -x1741 -x1730 -x1719 -x1708 -x1697 -x1686 -x1675 -x1663 -x1652 -x1641 -x1630 
1500.34/1504.62	v -x1619 -x1608 -x1597 -x1586 -x1575 -x1564 -x1552 -x1541 -x1530 -x1519 -x1508 -x1497 -x1486 -x1475 -x1464 -x1453 -x1441 -x1430 
1500.34/1504.62	v -x1419 -x1408 -x1397 -x1386 -x1375 -x1364 -x1353 -x1342 -x1330 -x1319 -x1308 -x1297 -x1286 -x1275 -x1264 -x1253 -x1242 -x1231 
1500.34/1504.62	v -x1219 -x1208 -x1197 -x1186 -x1175 -x1164 -x1153 -x1142 -x1131 -x1120 -x1108 -x1097 -x1086 -x1075 -x1064 -x1053 -x1042 -x1031 
1500.34/1504.62	v -x1020 -x1009 -x997 -x891 -x780 -x669 -x558 -x447 -x336 -x225 -x114 -x3 -x10784 -x10673 -x10562 -x10451 -x10340 -x10229 -x10118 
1500.34/1504.62	v -x10007 -x9896 -x9785 -x9673 -x9562 -x9451 -x9340 -x9229 -x9118 -x9007 -x8896 -x8785 -x8674 -x8562 -x8451 -x8340 -x8229 
1500.34/1504.62	v -x8118 -x8007 -x7896 -x7785 -x7674 -x7563 -x7451 -x7340 -x7229 -x7118 -x7007 -x6896 -x6785 -x6674 -x6563 -x6452 -x6340 -x6229 
1500.34/1504.62	v -x6118 -x6007 -x5896 -x5785 -x5674 -x5563 -x5452 -x5341 -x5229 -x5118 -x5007 -x4896 -x4785 -x4674 -x4563 -x4452 -x4341 -x4230 
1500.34/1504.62	v -x4118 -x4007 -x3896 -x3785 -x3674 -x3563 -x3452 -x3341 -x3230 -x3119 -x3007 -x2896 -x2785 -x2674 -x2563 -x2452 -x2341 -x2230 
1500.34/1504.62	v -x2119 -x2008 -x1896 -x1785 -x1674 -x1563 -x1452 -x1341 -x1230 -x1119 -x1008 -x2 -x9784 -x8673 -x7562 -x6451 -x5340 -x4229 
1500.43/1504.71	v -x3118 -x2007 -x1 

Verifier Data

OK	2807154740

Watcher Data

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (61808 MiB free)
  memory of node 1: 64510 MiB (62348 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434591-1721064879/watcher-4434591-1721064879 -o /tmp/evaluation-result-4434591-1721064879/solver-4434591-1721064879 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721061290-811948 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434591-1721064879.opb -qsol -t 3600 -sth 1 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=814027, runsolver pid=814024

[startup+0.100564 s]*
/proc/loadavg: 4.17 4.21 4.23 5/233 814033
/proc/meminfo: memFree=127093112/131655788 swapFree=131071996/131071996
[pid=814027] ppid=814024 vsize=39396 memory=26844 CPUtime=0.1 cores=4,6
/proc/814027/stat : 814027 (fscip) R 814024 814027 811937 0 -1 4194304 4655 0 0 0 9 1 0 0 20 0 1 0 158645919 40341504 6711 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
/proc/814027/statm: 9849 6711 2318 3032 0 6249 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39396 KiB
Current children cumulated memory: 26844 KiB

[startup+0.212649 s]*
/proc/loadavg: 4.17 4.21 4.23 6/245 814049
/proc/meminfo: memFree=126987572/131655788 swapFree=131071996/131071996
[pid=814027] ppid=814024 vsize=90528 memory=75720 CPUtime=0.21 cores=4,6
/proc/814027/stat : 814027 (fscip) R 814024 814027 811937 0 -1 4194304 16822 0 0 0 18 3 0 0 20 0 1 0 158645919 92700672 18930 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
/proc/814027/statm: 22632 18930 2590 3032 0 19032 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 90528 KiB
Current children cumulated memory: 75720 KiB

[startup+0.312747 s]*
/proc/loadavg: 4.17 4.21 4.23 5/245 814049
/proc/meminfo: memFree=126972920/131655788 swapFree=131071996/131071996
[pid=814027] ppid=814024 vsize=100260 memory=80364 CPUtime=0.31 cores=4,6
/proc/814027/stat : 814027 (fscip) R 814024 814027 811937 0 -1 4194304 17483 0 0 0 28 3 0 0 20 0 1 0 158645919 102666240 20091 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
/proc/814027/statm: 25065 20091 2622 3032 0 21465 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 100260 KiB
Current children cumulated memory: 80364 KiB

[startup+0.700332 s]
/proc/loadavg: 4.17 4.21 4.23 5/247 814051
/proc/meminfo: memFree=126845520/131655788 swapFree=131071996/131071996
[pid=814027] ppid=814024 vsize=140540 memory=120812 CPUtime=0.69 cores=4,6
/proc/814027/stat : 814027 (fscip) R 814024 814027 811937 0 -1 4194304 29076 0 0 0 62 7 0 0 20 0 1 0 158645919 143912960 30203 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
/proc/814027/statm: 35135 30203 2702 3032 0 31535 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 140540 KiB
Current children cumulated memory: 120812 KiB

[startup+1.50032 s]
/proc/loadavg: 4.17 4.21 4.23 5/247 814051
/proc/meminfo: memFree=126810888/131655788 swapFree=131071996/131071996
[pid=814027] ppid=814024 vsize=143408 memory=124164 CPUtime=1.48 cores=4,6
/proc/814027/stat : 814027 (fscip) R 814024 814027 811937 0 -1 4194304 29965 0 0 0 141 7 0 0 20 0 1 0 158645919 146849792 31041 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
/proc/814027/statm: 35852 31041 2750 3032 0 32252 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 143408 KiB
Current children cumulated memory: 124164 KiB

[startup+3.11297 s]
/proc/loadavg: 4.17 4.21 4.23 6/249 814101
/proc/meminfo: memFree=127770284/131655788 swapFree=131071996/131071996
[pid=814027] ppid=814024 vsize=425156 memory=338336 CPUtime=3.08 cores=4,6
/proc/814027/stat : 814027 (fscip) S 814024 814027 811937 0 -1 1077936128 95273 0 0 0 290 18 0 0 20 0 3 0 158645919 435359744 84584 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
/proc/814027/statm: 106289 84584 2814 3032 0 97597 0
[pid=814027/tid=814052] ppid=814024 vsize=425156 memory=12440 CPUtime=1.4 cores=4,6
/proc/814027/task/814052/stat : 814052 (fscip) R 814024 814027 811937 0 -1 4194368 53152 0 0 0 131 9 0 0 20 0 3 0 158646083 435359744 84584 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
[pid=814027/tid=814053] ppid=814024 vsize=425156 memory=0 CPUtime=0 cores=4,6
/proc/814027/task/814053/stat : 814053 (fscip) S 814024 814027 811937 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 158646099 435359744 84584 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 425156 KiB
Current children cumulated memory: 338336 KiB

[startup+6.30039 s]
/proc/loadavg: 4.16 4.21 4.23 5/251 814105
/proc/meminfo: memFree=127209740/131655788 swapFree=131071996/131071996
[pid=814027] ppid=814024 vsize=490692 memory=362532 CPUtime=6.27 cores=4,6
/proc/814027/stat : 814027 (fscip) S 814024 814027 811937 0 -1 1077936128 104777 0 0 0 608 19 0 0 20 0 3 0 158645919 502468608 90633 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
/proc/814027/statm: 122673 90633 2958 3032 0 103372 0
[pid=814027/tid=814052] ppid=814024 vsize=490692 memory=4232 CPUtime=4.58 cores=4,6
/proc/814027/task/814052/stat : 814052 (fscip) R 814024 814027 811937 0 -1 4194368 62216 0 0 0 448 10 0 0 20 0 3 0 158646083 502468608 90633 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
[pid=814027/tid=814053] ppid=814024 vsize=490692 memory=0 CPUtime=0 cores=4,6
/proc/814027/task/814053/stat : 814053 (fscip) S 814024 814027 811937 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 158646099 502468608 90633 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 490692 KiB
Current children cumulated memory: 362532 KiB

[startup+12.7003 s]
/proc/loadavg: 4.14 4.20 4.22 5/251 814105
/proc/meminfo: memFree=126966996/131655788 swapFree=131071996/131071996
[pid=814027] ppid=814024 vsize=505140 memory=406168 CPUtime=12.66 cores=4,6
/proc/814027/stat : 814027 (fscip) S 814024 814027 811937 0 -1 1077936128 147097 0 0 0 1243 23 0 0 20 0 3 0 158645919 517263360 101542 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
/proc/814027/statm: 126285 101542 2958 3032 0 114691 0
[pid=814027/tid=814052] ppid=814024 vsize=505140 memory=2216 CPUtime=10.96 cores=4,6
/proc/814027/task/814052/stat : 814052 (fscip) R 814024 814027 811937 0 -1 4194368 101693 0 0 0 1083 13 0 0 20 0 3 0 158646083 517263360 101542 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
[pid=814027/tid=814053] ppid=814024 vsize=505140 memory=0 CPUtime=0 cores=4,6
/proc/814027/task/814053/stat : 814053 (fscip) S 814024 814027 811937 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 158646099 517263360 101542 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 505140 KiB
Current children cumulated memory: 406168 KiB

[startup+25.5004 s]
/proc/loadavg: 4.18 4.21 4.23 5/251 814109
/proc/meminfo: memFree=126951540/131655788 swapFree=131071996/131071996
[pid=814027] ppid=814024 vsize=505140 memory=413396 CPUtime=25.43 cores=4,6
/proc/814027/stat : 814027 (fscip) S 814024 814027 811937 0 -1 1077936128 179725 0 0 0 2519 24 0 0 20 0 3 0 158645919 517263360 103349 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
/proc/814027/statm: 126285 103349 2958 3032 0 116223 0
[pid=814027/tid=814052] ppid=814024 vsize=505140 memory=362532 CPUtime=23.74 cores=4,6
/proc/814027/task/814052/stat : 814052 (fscip) R 814024 814027 811937 0 -1 4194368 134307 0 0 0 2359 15 0 0 20 0 3 0 158646083 517263360 103349 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
[pid=814027/tid=814053] ppid=814024 vsize=505140 memory=0 CPUtime=0 cores=4,6
/proc/814027/task/814053/stat : 814053 (fscip) S 814024 814027 811937 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 158646099 517263360 103349 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 505140 KiB
Current children cumulated memory: 413396 KiB

[startup+51.1127 s]
/proc/loadavg: 4.12 4.19 4.22 5/251 814112
/proc/meminfo: memFree=126857188/131655788 swapFree=131071996/131071996
[pid=814027] ppid=814024 vsize=570676 memory=458024 CPUtime=50.98 cores=4,6
/proc/814027/stat : 814027 (fscip) S 814024 814027 811937 0 -1 1077936128 242186 0 0 0 5068 30 0 0 20 0 3 0 158645919 584372224 114506 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
/proc/814027/statm: 142669 114506 2974 3032 0 127349 0
[pid=814027/tid=814052] ppid=814024 vsize=570676 memory=457928 CPUtime=49.28 cores=4,6
/proc/814027/task/814052/stat : 814052 (fscip) R 814024 814027 811937 0 -1 4194368 195185 0 0 0 4908 20 0 0 20 0 3 0 158646083 584372224 114506 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
[pid=814027/tid=814053] ppid=814024 vsize=570676 memory=457928 CPUtime=0 cores=4,6
/proc/814027/task/814053/stat : 814053 (fscip) S 814024 814027 811937 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 3 0 158646099 584372224 114506 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 570676 KiB
Current children cumulated memory: 458024 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.17 4.21 5/249 814122
/proc/meminfo: memFree=126780080/131655788 swapFree=131071996/131071996
[pid=814027] ppid=814024 vsize=570676 memory=503712 CPUtime=102.05 cores=4,6
/proc/814027/stat : 814027 (fscip) S 814024 814027 811937 0 -1 1077936128 347849 0 0 0 10166 39 0 0 20 0 3 0 158645919 584372224 125928 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
/proc/814027/statm: 142669 125928 3006 3032 0 138328 0
[pid=814027/tid=814052] ppid=814024 vsize=570676 memory=12440 CPUtime=100.34 cores=4,6
/proc/814027/task/814052/stat : 814052 (fscip) R 814024 814027 811937 0 -1 4194368 299098 0 0 0 10005 29 0 0 20 0 3 0 158646083 584372224 125928 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
[pid=814027/tid=814053] ppid=814024 vsize=570676 memory=459248 CPUtime=0 cores=4,6
/proc/814027/task/814053/stat : 814053 (fscip) S 814024 814027 811937 0 -1 1077936192 64 0 0 0 0 0 0 0 20 0 3 0 158646099 584372224 125928 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 570676 KiB
Current children cumulated memory: 503712 KiB

[startup+162.3 s]
/proc/loadavg: 4.20 4.19 4.21 5/249 814132
/proc/meminfo: memFree=126628476/131655788 swapFree=131071996/131071996
[pid=814027] ppid=814024 vsize=636212 memory=540576 CPUtime=161.9 cores=4,6
/proc/814027/stat : 814027 (fscip) S 814024 814027 811937 0 -1 1077936128 419106 0 0 0 16144 46 0 0 20 0 3 0 158645919 651481088 135144 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
/proc/814027/statm: 159053 135144 3326 3032 0 143305 0
[pid=814027/tid=814052] ppid=814024 vsize=636212 memory=42368 CPUtime=160.17 cores=4,6
/proc/814027/task/814052/stat : 814052 (fscip) R 814024 814027 811937 0 -1 4194368 368984 0 0 0 15982 35 0 0 20 0 3 0 158646083 651481088 135144 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
[pid=814027/tid=814053] ppid=814024 vsize=636212 memory=12440 CPUtime=0 cores=4,6
/proc/814027/task/814053/stat : 814053 (fscip) S 814024 814027 811937 0 -1 1077936192 69 0 0 0 0 0 0 0 20 0 3 0 158646099 651481088 135144 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 636212 KiB
Current children cumulated memory: 540576 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.17 4.20 5/249 814143
/proc/meminfo: memFree=126595476/131655788 swapFree=131071996/131071996
[pid=814027] ppid=814024 vsize=636212 memory=559912 CPUtime=221.73 cores=4,6
/proc/814027/stat : 814027 (fscip) S 814024 814027 811937 0 -1 1077936128 461887 0 0 0 22123 50 0 0 20 0 3 0 158645919 651481088 139978 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
/proc/814027/statm: 159053 139978 3326 3032 0 148198 0
[pid=814027/tid=814052] ppid=814024 vsize=636212 memory=548776 CPUtime=220 cores=4,6
/proc/814027/task/814052/stat : 814052 (fscip) R 814024 814027 811937 0 -1 4194368 410527 0 0 0 21961 39 0 0 20 0 3 0 158646083 651481088 139978 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
[pid=814027/tid=814053] ppid=814024 vsize=636212 memory=458024 CPUtime=0 cores=4,6
/proc/814027/task/814053/stat : 814053 (fscip) S 814024 814027 811937 0 -1 1077936192 71 0 0 0 0 0 0 0 20 0 3 0 158646099 651481088 139978 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 636212 KiB
Current children cumulated memory: 559912 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.16 4.19 5/249 814154
/proc/meminfo: memFree=126559568/131655788 swapFree=131071996/131071996
[pid=814027] ppid=814024 vsize=636212 memory=590024 CPUtime=281.56 cores=4,6

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

[pid=814027] ppid=814024 vsize=818372 memory=785568 CPUtime=1358.48 cores=4,6
/proc/814027/stat : 814027 (fscip) S 814024 814027 811937 0 -1 1077936128 781485 0 0 0 135753 95 0 0 20 0 3 0 158645919 838012928 196392 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
/proc/814027/statm: 204593 196392 3326 3032 0 200351 0
[pid=814027/tid=814052] ppid=814024 vsize=818372 memory=12440 CPUtime=1356.62 cores=4,6
/proc/814027/task/814052/stat : 814052 (fscip) R 814024 814027 811937 0 -1 4194368 728513 0 0 0 135583 79 0 0 20 0 3 0 158646083 838012928 196392 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
[pid=814027/tid=814053] ppid=814024 vsize=818372 memory=785568 CPUtime=0.01 cores=4,6
/proc/814027/task/814053/stat : 814053 (fscip) S 814024 814027 811937 0 -1 1077936192 109 0 0 0 0 1 0 0 20 0 3 0 158646099 838012928 196392 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
Current children cumulated CPU time: 1358.48 s
Current children cumulated vsize: 818372 KiB
Current children cumulated memory: 785568 KiB

[startup+1422.3 s]
/proc/loadavg: 4.12 4.17 4.20 5/250 814750
/proc/meminfo: memFree=125865836/131655788 swapFree=131071996/131071996
[pid=814027] ppid=814024 vsize=818372 memory=786428 CPUtime=1418.29 cores=4,6
/proc/814027/stat : 814027 (fscip) S 814024 814027 811937 0 -1 1077936128 796860 0 0 0 141732 97 0 0 20 0 3 0 158645919 838012928 196607 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
/proc/814027/statm: 204593 196607 3326 3032 0 200351 0
[pid=814027/tid=814052] ppid=814024 vsize=818372 memory=12440 CPUtime=1416.42 cores=4,6
/proc/814027/task/814052/stat : 814052 (fscip) R 814024 814027 811937 0 -1 4194368 743870 0 0 0 141561 81 0 0 20 0 3 0 158646083 838012928 196607 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
[pid=814027/tid=814053] ppid=814024 vsize=818372 memory=16328 CPUtime=0.01 cores=4,6
/proc/814027/task/814053/stat : 814053 (fscip) S 814024 814027 811937 0 -1 1077936192 113 0 0 0 0 1 0 0 20 0 3 0 158646099 838012928 196607 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
Current children cumulated CPU time: 1418.29 s
Current children cumulated vsize: 818372 KiB
Current children cumulated memory: 786428 KiB

[startup+1482.3 s]
/proc/loadavg: 4.08 4.15 4.19 5/252 814932
/proc/meminfo: memFree=125789892/131655788 swapFree=131071996/131071996
[pid=814027] ppid=814024 vsize=855896 memory=824236 CPUtime=1478.1 cores=4,6
/proc/814027/stat : 814027 (fscip) S 814024 814027 811937 0 -1 1077936128 815529 0 0 0 147710 100 0 0 20 0 3 0 158645919 876437504 206059 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
/proc/814027/statm: 213974 206059 3326 3032 0 209732 0
[pid=814027/tid=814052] ppid=814024 vsize=855896 memory=824176 CPUtime=1476.22 cores=4,6
/proc/814027/task/814052/stat : 814052 (fscip) R 814024 814027 811937 0 -1 4194368 762530 0 0 0 147539 83 0 0 20 0 3 0 158646083 876437504 206059 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
[pid=814027/tid=814053] ppid=814024 vsize=855896 memory=824232 CPUtime=0.01 cores=4,6
/proc/814027/task/814053/stat : 814053 (fscip) S 814024 814027 811937 0 -1 1077936192 113 0 0 0 0 1 0 0 20 0 3 0 158646099 876437504 206059 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
Current children cumulated CPU time: 1478.1 s
Current children cumulated vsize: 855896 KiB
Current children cumulated memory: 824236 KiB

[startup+1504.74 s]
# the end of solver process 814027 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=1499.44 s, system=1.04717 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1484.8 s]
/proc/loadavg: 4.16 4.17 4.19 5/252 814933
/proc/meminfo: memFree=125771108/131655788 swapFree=131071996/131071996
[pid=814027] ppid=814024 vsize=859328 memory=827668 CPUtime=1480.6 cores=4,6
/proc/814027/stat : 814027 (fscip) S 814024 814027 811937 0 -1 1077936128 816293 0 0 0 147959 101 0 0 20 0 3 0 158645919 879951872 206917 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
/proc/814027/statm: 214832 206917 3326 3032 0 210590 0
[pid=814027/tid=814052] ppid=814024 vsize=859328 memory=12440 CPUtime=1478.72 cores=4,6
/proc/814027/task/814052/stat : 814052 (fscip) R 814024 814027 811937 0 -1 4194368 763294 0 0 0 147788 84 0 0 20 0 3 0 158646083 879951872 206917 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
[pid=814027/tid=814053] ppid=814024 vsize=859328 memory=824232 CPUtime=0.01 cores=4,6
/proc/814027/task/814053/stat : 814053 (fscip) S 814024 814027 811937 0 -1 1077936192 113 0 0 0 0 1 0 0 20 0 3 0 158646099 879951872 206917 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
Current children cumulated CPU time: 1480.6 s
Current children cumulated vsize: 859328 KiB
Current children cumulated memory: 827668 KiB

[startup+1497.6 s]
/proc/loadavg: 4.13 4.16 4.19 5/252 814935
/proc/meminfo: memFree=125750412/131655788 swapFree=131071996/131071996
[pid=814027] ppid=814024 vsize=859328 memory=827668 CPUtime=1493.36 cores=4,6
/proc/814027/stat : 814027 (fscip) S 814024 814027 811937 0 -1 1077936128 817925 0 0 0 149235 101 0 0 20 0 3 0 158645919 879951872 206917 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
/proc/814027/statm: 214832 206917 3326 3032 0 210590 0
[pid=814027/tid=814052] ppid=814024 vsize=859328 memory=824232 CPUtime=1491.47 cores=4,6
/proc/814027/task/814052/stat : 814052 (fscip) R 814024 814027 811937 0 -1 4194368 764924 0 0 0 149063 84 0 0 20 0 3 0 158646083 879951872 206917 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
[pid=814027/tid=814053] ppid=814024 vsize=859328 memory=5576 CPUtime=0.01 cores=4,6
/proc/814027/task/814053/stat : 814053 (fscip) S 814024 814027 811937 0 -1 1077936192 115 0 0 0 0 1 0 0 20 0 3 0 158646099 879951872 206917 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
Current children cumulated CPU time: 1493.36 s
Current children cumulated vsize: 859328 KiB
Current children cumulated memory: 827668 KiB

[startup+1500.8 s]
/proc/loadavg: 4.12 4.16 4.19 5/252 814935
/proc/meminfo: memFree=125747704/131655788 swapFree=131071996/131071996
[pid=814027] ppid=814024 vsize=859328 memory=827668 CPUtime=1496.55 cores=4,6
/proc/814027/stat : 814027 (fscip) S 814024 814027 811937 0 -1 1077936128 817978 0 0 0 149554 101 0 0 20 0 3 0 158645919 879951872 206917 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
/proc/814027/statm: 214832 206917 3326 3032 0 210590 0
[pid=814027/tid=814052] ppid=814024 vsize=859328 memory=827668 CPUtime=1494.66 cores=4,6
/proc/814027/task/814052/stat : 814052 (fscip) R 814024 814027 811937 0 -1 4194368 764977 0 0 0 149382 84 0 0 20 0 3 0 158646083 879951872 206917 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
[pid=814027/tid=814053] ppid=814024 vsize=859328 memory=12440 CPUtime=0.01 cores=4,6
/proc/814027/task/814053/stat : 814053 (fscip) S 814024 814027 811937 0 -1 1077936192 115 0 0 0 0 1 0 0 20 0 3 0 158646099 879951872 206917 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
Current children cumulated CPU time: 1496.55 s
Current children cumulated vsize: 859328 KiB
Current children cumulated memory: 827668 KiB

[startup+1502.4 s]
/proc/loadavg: 4.12 4.16 4.19 5/252 814935
/proc/meminfo: memFree=125747804/131655788 swapFree=131071996/131071996
[pid=814027] ppid=814024 vsize=859328 memory=827668 CPUtime=1498.14 cores=4,6
/proc/814027/stat : 814027 (fscip) S 814024 814027 811937 0 -1 1077936128 818005 0 0 0 149713 101 0 0 20 0 3 0 158645919 879951872 206917 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
/proc/814027/statm: 214832 206917 3326 3032 0 210590 0
[pid=814027/tid=814052] ppid=814024 vsize=859328 memory=12440 CPUtime=1496.26 cores=4,6
/proc/814027/task/814052/stat : 814052 (fscip) R 814024 814027 811937 0 -1 4194368 765004 0 0 0 149542 84 0 0 20 0 3 0 158646083 879951872 206917 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
[pid=814027/tid=814053] ppid=814024 vsize=859328 memory=827668 CPUtime=0.01 cores=4,6
/proc/814027/task/814053/stat : 814053 (fscip) S 814024 814027 811937 0 -1 1077936192 115 0 0 0 0 1 0 0 20 0 3 0 158646099 879951872 206917 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
Current children cumulated CPU time: 1498.14 s
Current children cumulated vsize: 859328 KiB
Current children cumulated memory: 827668 KiB

[startup+1504 s]*
/proc/loadavg: 4.11 4.15 4.18 5/252 814937
/proc/meminfo: memFree=125747776/131655788 swapFree=131071996/131071996
[pid=814027] ppid=814024 vsize=859328 memory=827668 CPUtime=1499.75 cores=4,6
/proc/814027/stat : 814027 (fscip) S 814024 814027 811937 0 -1 1077936128 818027 0 0 0 149874 101 0 0 20 0 3 0 158645919 879951872 206917 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
/proc/814027/statm: 214832 206917 3326 3032 0 210590 0
[pid=814027/tid=814052] ppid=814024 vsize=859328 memory=6720667666186779496 CPUtime=1497.87 cores=4,6
/proc/814027/task/814052/stat : 814052 (fscip) R 814024 814027 811937 0 -1 4194368 765026 0 0 0 149703 84 0 0 20 0 3 0 158646083 879951872 206917 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
[pid=814027/tid=814053] ppid=814024 vsize=859328 memory=-9044459746194447340 CPUtime=0.01 cores=4,6
/proc/814027/task/814053/stat : 814053 (fscip) S 814024 814027 811937 0 -1 1077936192 115 0 0 0 0 1 0 0 20 0 3 0 158646099 879951872 206917 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
Current children cumulated CPU time: 1499.75 s
Current children cumulated vsize: 859328 KiB
Current children cumulated memory: 827668 KiB

[startup+1504.4 s]
/proc/loadavg: 4.11 4.15 4.18 5/252 814937
/proc/meminfo: memFree=125747776/131655788 swapFree=131071996/131071996
[pid=814027] ppid=814024 vsize=859328 memory=827668 CPUtime=1500.14 cores=4,6
/proc/814027/stat : 814027 (fscip) S 814024 814027 811937 0 -1 1077936128 818041 0 0 0 149913 101 0 0 20 0 3 0 158645919 879951872 206917 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
/proc/814027/statm: 214832 206917 3326 3032 0 210590 0
[pid=814027/tid=814052] ppid=814024 vsize=859328 memory=16328 CPUtime=1498.25 cores=4,6
/proc/814027/task/814052/stat : 814052 (fscip) R 814024 814027 811937 0 -1 4194368 765040 0 0 0 149741 84 0 0 20 0 3 0 158646083 879951872 206917 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
[pid=814027/tid=814053] ppid=814024 vsize=859328 memory=2216 CPUtime=0.01 cores=4,6
/proc/814027/task/814053/stat : 814053 (fscip) S 814024 814027 811937 0 -1 1077936192 115 0 0 0 0 1 0 0 20 0 3 0 158646099 879951872 206917 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
Current children cumulated CPU time: 1500.14 s
Current children cumulated vsize: 859328 KiB
Current children cumulated memory: 827668 KiB

[startup+1504.6 s]
/proc/loadavg: 4.11 4.15 4.18 5/252 814937
/proc/meminfo: memFree=125747776/131655788 swapFree=131071996/131071996
[pid=814027] ppid=814024 vsize=838736 memory=807076 CPUtime=1500.34 cores=4,6
/proc/814027/stat : 814027 (fscip) S 814024 814027 811937 0 -1 1077936128 820177 0 0 0 149933 101 0 0 20 0 3 0 158645919 858865664 201769 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
/proc/814027/statm: 209684 201769 3326 3032 0 205442 0
[pid=814027/tid=814052] ppid=814024 vsize=838736 memory=893976 CPUtime=1498.45 cores=4,6
/proc/814027/task/814052/stat : 814052 (fscip) R 814024 814027 811937 0 -1 4194368 767176 0 0 0 149761 84 0 0 20 0 3 0 158646083 858865664 201769 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
[pid=814027/tid=814053] ppid=814024 vsize=838736 memory=104 CPUtime=0.01 cores=4,6
/proc/814027/task/814053/stat : 814053 (fscip) S 814024 814027 811937 0 -1 1077936192 115 0 0 0 0 1 0 0 20 0 3 0 158646099 858865664 201769 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
Current children cumulated CPU time: 1500.34 s
Current children cumulated vsize: 838736 KiB
Current children cumulated memory: 807076 KiB

[startup+1504.7 s]
/proc/loadavg: 4.11 4.15 4.18 5/252 814937
/proc/meminfo: memFree=125747776/131655788 swapFree=131071996/131071996
[pid=814027] ppid=814024 vsize=834716 memory=760916 CPUtime=1500.43 cores=4,6
/proc/814027/stat : 814027 (fscip) R 814024 814027 811937 0 -1 4194304 822059 0 0 0 149942 101 0 0 20 0 2 0 158645919 854749184 190229 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
/proc/814027/statm: 208679 190229 3326 3032 0 204437 0
[pid=814027/tid=814053] ppid=814024 vsize=834716 memory=42604 CPUtime=0.01 cores=4,6
/proc/814027/task/814053/stat : 814053 (fscip) S 814024 814027 811937 0 -1 1077936192 115 0 0 0 0 1 0 0 20 0 2 0 158646099 854749184 190229 134679101440 4194304 16613245 140721157789056 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 52322304 140721157796885 140721157797001 140721157797001 140721157804016 0
Current children cumulated CPU time: 1500.43 s
Current children cumulated vsize: 834716 KiB
Current children cumulated memory: 760916 KiB

Child status: 0

Real time (s): 1504.74
CPU time (s): 1500.48
CPU user time (s): 1499.44
CPU system time (s): 1.04717
CPU usage (%): 99.7172
Max. virtual memory (cumulated for all children) (KiB): 883908
Max. memory (cumulated for all children) (KiB): 827668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1499.44
system time used= 1.04717
maximum resident set size= 844600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 822398
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= 4584
involuntary context switches= 923


# summary of solver processes directly reported to runsolver:
#   pid: 814027
#   total CPU time (s): 1500.48
#   total CPU user time (s): 1499.44
#   total CPU system time (s): 1.04717

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.1596 second user time and 13.7839 second system time

The end

Launcher Data

Begin job on nodeC002 at 2024-07-15 19:34:51
IDJOB=4434591
IDBENCH=146793
IDSOLVER=3064
FILE ID=nodeC002/4434591-1721064879
RUNJOBID= nodeC002-1721061290-811948
SLURM_JOB_ID= 7505511
Free space on /tmp= 723724 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp98ic.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434591-1721064879/watcher-4434591-1721064879 -o /tmp/evaluation-result-4434591-1721064879/solver-4434591-1721064879 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721061290-811948 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4434591-1721064879.opb -qsol -t 3600 -sth 1

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= f5b507fec305347e12cc700790213fb8
RANDOM SEED=8386153

nodeC002.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3671.228
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3492.352
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.361
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.152
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.693
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3492.216
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.397
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.229
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        127141556 kB
MemAvailable:   128464288 kB
Buffers:          386500 kB
Cached:          1764964 kB
SwapCached:            0 kB
Active:           610648 kB
Inactive:        3346996 kB
Active(anon):       2676 kB
Inactive(anon):  1841200 kB
Active(file):     607972 kB
Inactive(file):  1505796 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             59736 kB
Writeback:            20 kB
AnonPages:       1803844 kB
Mapped:           115672 kB
Shmem:             37704 kB
KReclaimable:      97992 kB
Slab:             195872 kB
SReclaimable:      97992 kB
SUnreclaim:        97880 kB
KernelStack:        3680 kB
PageTables:        12448 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     904124 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52800 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1501184 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201544 kB
DirectMap2M:    20674560 kB
DirectMap1G:    115343360 kB

Free space on /tmp at the end= 723660 MiB
End job on nodeC002 at 2024-07-15 19:59:56