Trace number 4434581

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-02SAT5700562 3590.53 3600.66

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran10x26.opb
MD5SUM6ea30ee5c980a208725b42ec6ced88d1
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 benchmark4372480
Best CPU time to get the best result obtained on this benchmark2892.16
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8060
Total number of constraints296
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints296
Minimum length of a constraint31
Maximum length of a constraint780
Number of terms in the objective function 8060
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 1599918681646
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 1599918681646
Number of bits of the biggest sum of numbers41
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.00/0.06	c Default LC presolving (default).
0.00/0.06	c ** Before presolving: virtualMemUsedAtLc = 44904448, getVmSize() = 44904448, SCIPgetMemUsed() = 19920626, SCIPgetMemTotal() = 23072058, SCIPgetMemExternEstim() = 7555304
0.00/0.06	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.22/0.28	c ** Estimated virtualMemUsedAtSolver = 38135125, getVmSize() = 69500928, SCIPgetMemUsed() = 29989316, SCIPgetMemTotal() = 46284252, SCIPgetMemExternEstim() = 7555304
0.22/0.28	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.22/0.28	c Original Problem   :
0.22/0.28	c   Problem name     : instance-4434581-1721061277
0.22/0.28	c   Variables        : 8060 (8060 binary, 0 integer, 0 implicit integer, 0 continuous)
0.22/0.28	c   Constraints      : 296
0.22/0.28	c   Objective sense  : minimize
0.22/0.28	c Presolved Problem  :
0.22/0.28	c   Variables        : 3830 (3830 binary, 0 integer, 0 implicit integer, 0 continuous)
0.22/0.28	c   Constraints      : 1292
0.22/0.28	c Constraints        : Number
0.22/0.28	c   knapsack         : 181 
0.22/0.28	c   setppc           : 1075 
0.22/0.28	c   linear           : 36 
0.22/0.28	c ** Instance transfer method used: 0
0.22/0.30	c ** ParaScipInstance copy does not increase the number of variables. **
0.31/0.33	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.31/0.33	c                                Nodes    Active                                            
0.31/0.33	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
10.54/10.68	c *      11              0           1         1     8702502.0000                -          -
10.54/10.68	c        11              0           1         1     8702502.0000                -          -
16.82/16.94	c        17              5           4         1     8702502.0000     4046573.5884    115.06%
22.91/23.06	c        23             11          10         1     8702502.0000     4046573.5884    115.06%
28.09/28.28	c        28             17          16         1     8702502.0000     4046573.5884    115.06%
33.66/33.85	c        34             31          30         1     8702502.0000     4046573.5884    115.06%
39.16/39.36	c        39             73          72         1     8702502.0000     4046573.5884    115.06%
44.64/44.87	c        45            102         101         1     8702502.0000     4050435.2869    114.85%
50.32/50.56	c        51            146         145         1     8702502.0000     4050435.2869    114.85%
55.59/55.85	c        56            181         180         1     8702502.0000     4080362.7972    113.28%
61.58/61.86	c        62            236         235         1     8702502.0000     4080362.7972    113.28%
67.46/67.73	c        68            288         283         1     8702502.0000     4080362.7972    113.28%
73.44/73.71	c        74            338         333         1     8702502.0000     4080362.7972    113.28%
78.43/78.73	c        79            403         398         1     8702502.0000     4081733.1835    113.21%
84.51/84.84	c        85            468         463         1     8702502.0000     4084816.9866    113.05%
89.89/90.25	c        90            520         515         1     8702502.0000     4084816.9866    113.05%
95.48/95.83	c        96            572         567         1     8702502.0000     4084816.9866    113.05%
100.87/101.20	c       101            626         621         1     8702502.0000     4084816.9866    113.05%
107.15/107.58	c       108            692         687         1     8702502.0000     4084816.9866    113.05%
112.53/113.01	c       113            756         751         1     8702502.0000     4084816.9866    113.05%
119.51/119.91	c       120            818         813         1     8702502.0000     4086275.2087    112.97%
125.48/125.92	c       126            893         888         1     8702502.0000     4086275.2087    112.97%
130.58/131.04	c       131            952         947         1     8702502.0000     4086275.2087    112.97%
137.06/137.50	c       138           1019        1014         1     8702502.0000     4086275.2087    112.97%
143.13/143.65	c       144           1055        1050         1     8702502.0000     4086275.2087    112.97%
149.52/150.07	c       150           1121        1116         1     8702502.0000     4086275.2087    112.97%
155.60/156.19	c       156           1187        1182         1     8702502.0000     4086850.2754    112.94%
160.68/161.24	c       161           1243        1238         1     8702502.0000     4086850.2754    112.94%
166.66/167.29	c       167           1312        1307         1     8702502.0000     4086850.2754    112.94%
172.24/172.83	c       173           1373        1368         1     8702502.0000     4086850.2754    112.94%
177.22/177.86	c       178           1420        1415         1     8702502.0000     4086850.2754    112.94%
184.20/184.88	c       185           1499        1494         1     8702502.0000     4087859.7686    112.89%
189.88/190.59	c       191           1539        1534         1     8702502.0000     4087859.7686    112.89%
195.97/196.64	c       197           1585        1580         1     8702502.0000     4087859.7686    112.89%
201.36/202.10	c       202           1638        1633         1     8702502.0000     4087859.7686    112.89%
207.23/207.96	c       208           1669        1664         1     8702502.0000     4087859.7686    112.89%
213.01/213.78	c       214           1721        1716         1     8702502.0000     4088514.4958    112.85%
218.90/219.64	c       220           1788        1783         1     8702502.0000     4088514.4958    112.85%
221.99/222.72	c *     223           1788        1783         1     8543317.0000     4088514.4958    108.96%
225.58/226.36	c       226           1816        1811         1     8543317.0000     4088514.4958    108.96%
232.15/232.93	c       233           1877        1872         1     8543317.0000     4088514.4958    108.96%
238.53/239.39	c       239           1928        1923         1     8543317.0000     4088527.6584    108.96%
243.61/244.48	c       244           1972        1967         1     8543317.0000     4090679.0458    108.85%
249.89/250.79	c       251           2027        2022         1     8543317.0000     4091232.6438    108.82%
255.47/256.35	c       256           2072        2067         1     8543317.0000     4091812.3543    108.79%
260.96/261.88	c       262           2128        2123         1     8543317.0000     4091812.3543    108.79%
266.55/267.40	c       267           2163        2158         1     8543317.0000     4091812.3543    108.79%
272.33/273.23	c       273           2230        2225         1     8543317.0000     4093964.6563    108.68%
278.41/279.36	c       279           2273        2268         1     8543317.0000     4093964.6563    108.68%
283.90/284.82	c       285           2360        2355         1     8543317.0000     4093964.6563    108.68%
288.89/289.85	c       290           2407        2402         1     8543317.0000     4094528.3812    108.65%
294.28/295.24	c       295           2435        2430         1     8543317.0000     4094700.0611    108.64%
300.08/301.04	c       301           2496        2491         1     8543317.0000     4094700.0611    108.64%
305.35/306.38	c       306           2552        2547         1     8543317.0000     4094700.0611    108.64%
311.83/312.87	c       313           2606        2601         1     8543317.0000     4094700.0611    108.64%
317.82/318.81	c       319           2680        2675         1     8543317.0000     4094700.0611    108.64%
323.60/324.67	c       325           2736        2731         1     8543317.0000     4094700.0611    108.64%
329.49/330.54	c       331           2799        2794         1     8543317.0000     4096322.6612    108.56%
334.67/335.77	c       336           2846        2841         1     8543317.0000     4098992.9222    108.42%
339.76/340.83	c       341           2896        2891         1     8543317.0000     4098992.9222    108.42%
344.96/346.07	c       346           2957        2952         1     8543317.0000     4098992.9222    108.42%
350.14/351.25	c       351           3002        2997         1     8543317.0000     4098992.9222    108.42%
355.73/356.82	c       357           3069        3064         1     8543317.0000     4100700.8207    108.34%
361.11/362.27	c       362           3142        3137         1     8543317.0000     4100700.8207    108.34%
366.50/367.70	c       368           3206        3201         1     8543317.0000     4100700.8207    108.34%
372.28/373.43	c       373           3272        3267         1     8543317.0000     4101283.2429    108.31%
377.57/378.72	c       379           3349        3344         1     8543317.0000     4101283.2429    108.31%
382.75/383.93	c       384           3396        3391         1     8543317.0000     4101283.2429    108.31%
388.55/389.72	c       390           3442        3437         1     8543317.0000     4101283.2429    108.31%
393.63/394.85	c       395           3483        3478         1     8543317.0000     4101283.2429    108.31%
398.83/400.11	c       400           3535        3530         1     8543317.0000     4101283.2429    108.31%
403.92/405.12	c       405           3586        3581         1     8543317.0000     4104113.7521    108.16%
409.09/410.33	c       410           3636        3631         1     8543317.0000     4104290.1885    108.16%
414.79/416.02	c       416           3729        3724         1     8543317.0000     4104290.1885    108.16%
420.16/421.47	c       421           3797        3792         1     8543317.0000     4105845.2448    108.08%
425.45/426.70	c       427           3848        3843         1     8543317.0000     4105896.7408    108.07%
430.75/432.08	c       432           3875        3870         1     8543317.0000     4105896.7408    108.07%
436.53/437.88	c       438           3941        3936         1     8543317.0000     4105896.7408    108.07%
441.72/443.05	c       443           4002        3995         1     8543317.0000     4109077.4914    107.91%
447.10/448.40	c       448           4032        4025         1     8543317.0000     4109077.4914    107.91%
452.08/453.43	c       453           4065        4058         1     8543317.0000     4109077.4914    107.91%
457.57/458.98	c       459           4114        4107         1     8543317.0000     4110112.3890    107.86%
463.16/464.59	c       465           4160        4153         1     8543317.0000     4110795.4011    107.83%
468.54/469.95	c       470           4193        4186         1     8543317.0000     4111813.2288    107.77%
474.33/475.75	c       476           4255        4248         1     8543317.0000     4111813.2288    107.77%
480.21/481.63	c       482           4333        4326         1     8543317.0000     4111813.2288    107.77%
485.50/486.92	c       487           4365        4358         1     8543317.0000     4111813.2288    107.77%
490.89/492.30	c       492           4407        4400         1     8543317.0000     4111813.2288    107.77%
496.77/498.20	c       498           4505        4498         1     8543317.0000     4111813.2288    107.77%
502.67/504.14	c       504           4542        4535         1     8543317.0000     4111821.2477    107.77%
508.24/509.77	c       510           4589        4582         1     8543317.0000     4111821.2477    107.77%
513.33/514.83	c       515           4659        4652         1     8543317.0000     4111821.2477    107.77%
518.53/520.05	c       520           4757        4750         1     8543317.0000     4111821.2477    107.77%
524.20/525.73	c       526           4822        4815         1     8543317.0000     4113448.5822    107.69%
529.19/530.74	c *     531           4882        4875         1     7181340.0000     4113448.5822     74.58%
529.19/530.74	c       531           4882        4875         1     7181340.0000     4113448.5822     74.58%
534.17/535.76	c       536           4929        4922         1     7181340.0000     4114339.1960     74.54%
539.26/540.86	c       541           5010        5003         1     7181340.0000     4114339.1960     74.54%
544.75/546.39	c       546           5089        5082         1     7181340.0000     4114339.1960     74.54%
550.64/552.27	c       552           5133        5126         1     7181340.0000     4114660.2758     74.53%
556.12/557.76	c       558           5204        5197         1     7181340.0000     4115230.3060     74.51%
561.31/562.95	c       563           5301        5294         1     7181340.0000     4115230.3060     74.51%
566.51/568.18	c       568           5378        5371         1     7181340.0000     4115230.3060     74.51%
571.88/573.55	c       574           5441        5434         1     7181340.0000     4115276.8952     74.50%
577.27/578.93	c       579           5531        5524         1     7181340.0000     4115405.2346     74.50%
583.24/584.99	c       585           5607        5600         1     7181340.0000     4116243.1260     74.46%
589.14/590.80	c       591           5658        5651         1     7181340.0000     4116243.1260     74.46%
594.12/595.86	c       596           5680        5673         1     7181340.0000     4116347.3373     74.46%
600.00/601.72	c       602           5739        5732         1     7181340.0000     4116401.2485     74.46%
605.09/606.85	c       607           5822        5815         1     7181340.0000     4116401.2485     74.46%
610.29/612.11	c       612           5879        5872         1     7181340.0000     4116409.3119     74.46%
616.37/618.15	c       618           5945        5938         1     7181340.0000     4116409.3119     74.46%
621.37/623.19	c       623           6002        5995         1     7181340.0000     4116934.6756     74.43%
627.04/628.88	c       629           6096        6089         1     7181340.0000     4116934.6756     74.43%
632.72/634.57	c       635           6148        6141         1     7181340.0000     4116971.5027     74.43%
638.01/639.87	c       640           6212        6205         1     7181340.0000     4116971.5027     74.43%
643.69/645.57	c       646           6269        6262         1     7181340.0000     4117042.9031     74.43%
649.20/651.02	c       651           6352        6343         1     7181340.0000     4117563.8204     74.41%
654.27/656.18	c       656           6416        6407         1     7181340.0000     4117563.8204     74.41%
660.34/662.25	c       662           6468        6459         1     7181340.0000     4117921.3371     74.39%
666.83/668.70	c       669           6538        6529         1     7181340.0000     4117921.3371     74.39%
672.61/674.59	c       675           6621        6612         1     7181340.0000     4117921.3371     74.39%
678.40/680.33	c       680           6674        6665         1     7181340.0000     4118323.9594     74.38%
684.28/686.24	c       686           6692        6683         1     7181340.0000     4118416.6960     74.37%
689.57/691.51	c       692           6768        6759         1     7181340.0000     4118437.0891     74.37%
695.95/697.99	c       698           6832        6823         1     7181340.0000     4119169.3116     74.34%
701.74/703.78	c       704           6881        6872         1     7181340.0000     4119169.3116     74.34%
705.83/707.82	c *     708           6909        6900         1     6883260.0000     4119169.3116     67.10%
707.53/709.55	c       710           6942        6933         1     6883260.0000     4119247.9507     67.10%
712.61/714.61	c       715           6997        6988         1     6883260.0000     4119985.7501     67.07%
717.89/719.98	c       720           7069        7060         1     6883260.0000     4120261.5153     67.06%
723.10/725.14	c       725           7146        7137         1     6883260.0000     4120261.5153     67.06%
728.18/730.26	c       730           7197        7188         1     6883260.0000     4120401.7917     67.05%
733.97/736.03	c       736           7272        7263         1     6883260.0000     4120541.4557     67.05%
739.96/742.06	c       742           7306        7295         1     6883260.0000     4120541.4557     67.05%
746.04/748.19	c       748           7351        7340         1     6883260.0000     4120541.4557     67.05%
751.61/753.77	c       754           7429        7418         1     6883260.0000     4120602.9467     67.04%
756.91/759.04	c       759           7514        7503         1     6883260.0000     4120602.9467     67.04%
762.28/764.45	c       764           7575        7564         1     6883260.0000     4120731.8986     67.04%
767.87/770.07	c       770           7638        7625         1     6883260.0000     4120842.9603     67.04%
773.95/776.11	c       776           7694        7681         1     6883260.0000     4120842.9603     67.04%
778.93/781.19	c       781           7772        7759         1     6883260.0000     4120866.9275     67.03%
784.50/786.77	c       787           7820        7807         1     6883260.0000     4120976.0718     67.03%
790.09/792.35	c       792           7872        7859         1     6883260.0000     4120976.0718     67.03%
795.78/798.01	c       798           7921        7908         1     6883260.0000     4120976.0718     67.03%
801.65/803.94	c       804           7984        7971         1     6883260.0000     4121127.9248     67.02%
807.43/809.77	c       810           8020        8007         1     6883260.0000     4121520.6219     67.01%
813.12/815.44	c       815           8104        8091         1     6883260.0000     4121520.6219     67.01%
818.30/820.66	c       821           8142        8129         1     6883260.0000     4121537.2696     67.01%
823.58/825.95	c       826           8197        8184         1     6883260.0000     4121537.2696     67.01%
829.06/831.42	c       831           8250        8237         1     6883260.0000     4121562.8387     67.01%
834.66/837.09	c       837           8330        8317         1     6883260.0000     4121562.8387     67.01%
839.83/842.28	c       842           8378        8365         1     6883260.0000     4121562.8387     67.01%
845.41/847.81	c       848           8423        8410         1     6883260.0000     4121562.8387     67.01%
850.50/852.98	c       853           8479        8466         1     6883260.0000     4121564.1870     67.01%
855.70/858.19	c       858           8538        8525         1     6883260.0000     4121564.1870     67.01%
861.87/864.30	c       864           8573        8560         1     6883260.0000     4121564.1870     67.01%
868.14/870.62	c       871           8633        8620         1     6883260.0000     4121564.1870     67.01%
873.73/876.20	c       876           8672        8659         1     6883260.0000     4121564.1870     67.01%
879.31/881.83	c       882           8727        8714         1     6883260.0000     4121564.1870     67.01%
884.39/886.91	c       887           8788        8775         1     6883260.0000     4121811.5326     67.00%
889.87/892.48	c       892           8876        8863         1     6883260.0000     4121811.5326     67.00%
895.36/897.92	c       898           8958        8945         1     6883260.0000     4121814.3035     67.00%
900.55/903.13	c       903           9038        9025         1     6883260.0000     4121814.3035     67.00%
905.62/908.29	c       908           9091        9078         1     6883260.0000     4122101.3973     66.98%
911.61/914.24	c       914           9171        9158         1     6883260.0000     4122101.3973     66.98%
917.40/920.06	c       920           9233        9220         1     6883260.0000     4122131.7144     66.98%
923.27/925.98	c       926           9287        9274         1     6883260.0000     4122131.7144     66.98%
928.46/931.12	c       931           9347        9334         1     6883260.0000     4122259.3599     66.98%
934.13/936.87	c       937           9444        9431         1     6883260.0000     4122259.3599     66.98%
939.61/942.37	c       942           9502        9489         1     6883260.0000     4122553.6585     66.97%
945.41/948.18	c       948           9556        9543         1     6883260.0000     4122553.6585     66.97%
951.67/954.41	c       954           9602        9589         1     6883260.0000     4122553.6585     66.97%
957.65/960.48	c       960           9643        9630         1     6883260.0000     4122553.6585     66.97%
963.54/966.36	c       966           9716        9703         1     6883260.0000     4122693.2226     66.96%
969.52/972.36	c       972           9766        9753         1     6883260.0000     4122840.8559     66.95%
975.50/978.37	c       978           9821        9808         1     6883260.0000     4122840.8559     66.95%
980.68/983.55	c       984           9878        9865         1     6883260.0000     4122840.8559     66.95%
985.67/988.56	c       989           9920        9907         1     6883260.0000     4122843.1436     66.95%
991.45/994.37	c       994           9999        9986         1     6883260.0000     4122843.1436     66.95%
998.24/1001.15	c      1001          10042       10029         1     6883260.0000     4123002.3798     66.95%
1003.71/1006.69	c      1007          10106       10093         1     6883260.0000     4123002.3798     66.95%
1008.79/1011.77	c      1012          10142       10129         1     6883260.0000     4123011.3035     66.95%
1013.98/1016.94	c      1017          10191       10178         1     6883260.0000     4123011.3035     66.95%
1019.86/1022.87	c      1023          10244       10231         1     6883260.0000     4123026.7643     66.95%
1025.54/1028.55	c      1029          10280       10267         1     6883260.0000     4123062.7129     66.95%
1031.13/1034.19	c      1034          10337       10324         1     6883260.0000     4123062.7129     66.95%
1036.80/1039.83	c      1040          10400       10387         1     6883260.0000     4123062.7129     66.95%
1042.11/1045.18	c      1045          10452       10439         1     6883260.0000     4123062.7129     66.95%
1047.76/1050.82	c      1051          10502       10489         1     6883260.0000     4123180.0044     66.94%
1048.76/1051.88	c *    1052          10502       10489         1     6808508.0000     4123180.0044     65.13%
1053.25/1056.31	c      1056          10561       10548         1     6808508.0000     4123180.0044     65.13%
1058.73/1061.89	c      1062          10626       10613         1     6808508.0000     4123322.9690     65.12%
1064.02/1067.13	c      1067          10700       10687         1     6808508.0000     4123322.9690     65.12%
1069.59/1072.78	c      1073          10758       10745         1     6808508.0000     4123324.5367     65.12%
1075.27/1078.48	c      1078          10820       10807         1     6808508.0000     4123324.5367     65.12%
1081.45/1084.63	c      1085          10868       10855         1     6808508.0000     4123469.0763     65.12%
1087.04/1090.23	c      1090          10901       10888         1     6808508.0000     4123469.0763     65.12%
1093.00/1096.24	c      1096          10974       10961         1     6808508.0000     4123689.3258     65.11%
1098.49/1101.78	c      1102          11011       10998         1     6808508.0000     4123736.1725     65.11%
1104.57/1107.86	c      1108          11064       11051         1     6808508.0000     4123736.1725     65.11%
1110.26/1113.56	c      1114          11103       11090         1     6808508.0000     4124002.6490     65.09%
1115.65/1118.96	c      1119          11147       11134         1     6808508.0000     4124218.5015     65.09%
1121.53/1124.81	c      1125          11188       11175         1     6808508.0000     4124218.5015     65.09%
1126.61/1129.90	c      1130          11221       11208         1     6808508.0000     4124353.6071     65.08%
1132.61/1135.90	c      1136          11274       11261         1     6808508.0000     4124353.6071     65.08%
1137.70/1141.05	c      1141          11332       11319         1     6808508.0000     4124714.8589     65.07%
1142.98/1146.34	c      1146          11379       11366         1     6808508.0000     4124834.8757     65.06%
1147.97/1151.36	c      1151          11434       11421         1     6808508.0000     4124834.8757     65.06%
1154.15/1157.57	c      1158          11513       11500         1     6808508.0000     4124834.8757     65.06%
1159.24/1162.68	c      1163          11548       11535         1     6808508.0000     4124834.8757     65.06%
1164.73/1168.14	c      1168          11606       11593         1     6808508.0000     4124870.6661     65.06%
1170.62/1174.08	c      1174          11664       11651         1     6808508.0000     4124870.6661     65.06%
1176.38/1179.86	c      1180          11720       11707         1     6808508.0000     4124883.5423     65.06%
1182.18/1185.64	c      1186          11781       11768         1     6808508.0000     4124919.2109     65.06%
1187.86/1191.38	c      1191          11840       11827         1     6808508.0000     4125122.6164     65.05%
1193.15/1196.63	c      1197          11885       11872         1     6808508.0000     4125122.6164     65.05%
1198.14/1201.67	c      1202          11949       11936         1     6808508.0000     4125288.2269     65.04%
1204.12/1207.61	c      1208          11993       11980         1     6808508.0000     4125288.2269     65.04%
1209.30/1212.80	c      1213          12051       12038         1     6808508.0000     4125934.2751     65.02%
1215.09/1218.65	c      1219          12106       12093         1     6808508.0000     4126000.8409     65.01%
1221.08/1224.64	c      1225          12185       12172         1     6808508.0000     4126000.8409     65.01%
1226.26/1229.82	c      1230          12236       12223         1     6808508.0000     4126121.9864     65.01%
1231.84/1235.43	c      1235          12290       12277         1     6808508.0000     4126121.9864     65.01%
1237.54/1241.16	c      1241          12357       12344         1     6808508.0000     4126166.7181     65.01%
1242.91/1246.51	c      1247          12393       12380         1     6808508.0000     4126166.7181     65.01%
1248.30/1251.99	c      1252          12452       12439         1     6808508.0000     4126214.0027     65.01%
1253.99/1257.66	c      1258          12503       12490         1     6808508.0000     4126280.6360     65.00%
1259.58/1263.25	c      1263          12551       12538         1     6808508.0000     4126280.6360     65.00%
1265.56/1269.26	c      1269          12610       12597         1     6808508.0000     4126461.3047     65.00%
1271.24/1274.91	c      1275          12654       12641         1     6808508.0000     4126461.3047     65.00%
1277.13/1280.80	c      1281          12726       12713         1     6808508.0000     4126474.3345     65.00%
1282.70/1286.44	c      1286          12791       12778         1     6808508.0000     4126474.3345     65.00%
1288.31/1292.06	c      1292          12848       12835         1     6808508.0000     4127018.9029     64.97%
1293.68/1297.45	c      1297          12892       12879         1     6808508.0000     4127263.7814     64.96%
1299.56/1303.39	c      1303          12944       12931         1     6808508.0000     4127263.7814     64.96%
1305.36/1309.13	c      1309          12993       12980         1     6808508.0000     4127540.1214     64.95%
1310.35/1314.14	c      1314          13045       13032         1     6808508.0000     4127833.1420     64.94%
1315.92/1319.75	c      1320          13092       13079         1     6808508.0000     4127833.1420     64.94%
1321.60/1325.45	c      1325          13147       13134         1     6808508.0000     4128103.1594     64.93%
1327.49/1331.30	c      1331          13218       13205         1     6808508.0000     4128103.1594     64.93%
1332.88/1336.70	c      1337          13242       13229         1     6808508.0000     4128381.9505     64.92%
1338.56/1342.49	c      1342          13291       13278         1     6808508.0000     4128381.9505     64.92%
1344.26/1348.19	c      1348          13358       13345         1     6808508.0000     4128381.9505     64.92%
1350.14/1354.01	c      1354          13412       13399         1     6808508.0000     4128578.6753     64.91%
1355.52/1359.42	c      1359          13470       13457         1     6808508.0000     4128578.6753     64.91%
1360.70/1364.68	c      1365          13528       13515         1     6808508.0000     4128764.3638     64.90%
1365.79/1369.74	c      1370          13572       13559         1     6808508.0000     4128804.1230     64.90%
1371.47/1375.49	c      1375          13606       13593         1     6808508.0000     4128804.1230     64.90%
1377.36/1381.31	c      1381          13687       13674         1     6808508.0000     4128957.5023     64.90%
1382.75/1386.77	c      1387          13734       13721         1     6808508.0000     4128957.5023     64.90%
1388.73/1392.72	c      1393          13814       13801         1     6808508.0000     4129106.9963     64.89%
1393.81/1397.80	c      1398          13888       13875         1     6808508.0000     4129289.5083     64.88%
1399.70/1403.71	c      1404          13961       13948         1     6808508.0000     4129289.5083     64.88%
1406.00/1410.02	c      1410          14012       13999         1     6808508.0000     4129339.1165     64.88%
1411.27/1415.37	c      1415          14026       14013         1     6808508.0000     4129339.1165     64.88%
1416.76/1420.89	c      1421          14038       14025         1     6808508.0000     4129339.1165     64.88%
1422.74/1426.85	c      1427          14112       14099         1     6808508.0000     4129402.7382     64.88%
1428.53/1432.67	c      1433          14189       14176         1     6808508.0000     4129402.7382     64.88%
1433.82/1437.93	c      1438          14263       14250         1     6808508.0000     4129548.6989     64.87%
1438.80/1442.96	c      1443          14300       14287         1     6808508.0000     4129548.6989     64.87%
1444.68/1448.81	c      1449          14359       14346         1     6808508.0000     4129548.6989     64.87%
1450.07/1454.28	c      1454          14415       14402         1     6808508.0000     4129548.6989     64.87%
1456.06/1460.24	c      1460          14497       14484         1     6808508.0000     4129689.4610     64.87%
1461.64/1465.89	c      1466          14588       14575         1     6808508.0000     4129772.1693     64.86%
1467.33/1471.57	c      1472          14753       14740         1     6808508.0000     4129772.1693     64.86%
1473.22/1477.41	c      1477          14853       14840         1     6808508.0000     4129772.1693     64.86%
1478.60/1482.81	c      1483          14915       14902         1     6808508.0000     4129772.1693     64.86%
1484.38/1488.63	c      1489          15013       15000         1     6808508.0000     4130128.6457     64.85%
1489.56/1493.84	c      1494          15082       15069         1     6808508.0000     4130606.1046     64.83%
1494.76/1499.07	c      1499          15132       15119         1     6808508.0000     4131535.7105     64.79%
1500.85/1505.19	c      1505          15191       15178         1     6808508.0000     4132804.2484     64.74%
1506.31/1510.66	c      1511          15282       15269         1     6808508.0000     4133534.9233     64.71%
1512.11/1516.40	c      1516          15379       15366         1     6808508.0000     4133737.7367     64.71%
1517.70/1522.04	c      1522          15442       15429         1     6808508.0000     4134409.4075     64.68%
1523.58/1527.94	c      1528          15502       15489         1     6808508.0000     4135667.6461     64.63%
1528.96/1533.34	c      1533          15562       15549         1     6808508.0000     4136257.4296     64.61%
1534.15/1538.54	c      1539          15628       15615         1     6808508.0000     4136649.5909     64.59%
1540.43/1544.89	c      1545          15711       15698         1     6808508.0000     4136969.3121     64.58%
1545.52/1549.95	c      1550          15764       15751         1     6808508.0000     4137394.5931     64.56%
1551.00/1555.42	c      1555          15835       15822         1     6808508.0000     4137394.5931     64.56%
1556.30/1560.75	c      1561          15932       15919         1     6808508.0000     4137394.5931     64.56%
1562.08/1566.54	c      1567          16010       15997         1     6808508.0000     4137394.5931     64.56%
1567.86/1572.35	c      1572          16087       16074         1     6808508.0000     4137394.5931     64.56%
1572.95/1577.47	c      1577          16153       16140         1     6808508.0000     4137394.5931     64.56%
1578.44/1582.97	c      1583          16236       16223         1     6808508.0000     4137394.5931     64.56%
1584.23/1588.71	c      1589          16298       16285         1     6808508.0000     4137394.5931     64.56%
1589.41/1593.90	c      1594          16352       16339         1     6808508.0000     4137394.5931     64.56%
1594.79/1599.36	c      1599          16428       16415         1     6808508.0000     4137394.5931     64.56%
1600.67/1605.23	c      1605          16504       16491         1     6808508.0000     4137394.5931     64.56%
1607.15/1611.71	c      1612          16582       16569         1     6808508.0000     4137394.5931     64.56%
1612.34/1616.92	c      1617          16620       16607         1     6808508.0000     4137394.5931     64.56%
1618.12/1622.75	c      1623          16655       16642         1     6808508.0000     4137394.5931     64.56%
1624.42/1629.02	c      1629          16691       16678         1     6808508.0000     4137394.5931     64.56%
1629.79/1634.41	c      1634          16733       16720         1     6808508.0000     4137394.5931     64.56%
1636.17/1640.81	c      1641          16774       16761         1     6808508.0000     4137394.5931     64.56%
1642.15/1646.88	c      1647          16814       16801         1     6808508.0000     4137394.5931     64.56%
1647.35/1652.03	c      1652          16848       16835         1     6808508.0000     4137394.5931     64.56%
1653.02/1657.79	c      1658          16860       16847         1     6808508.0000     4137394.5931     64.56%
1659.41/1664.15	c      1664          16923       16910         1     6808508.0000     4137394.5931     64.56%
1664.98/1669.76	c      1670          16971       16958         1     6808508.0000     4137394.5931     64.56%
1669.97/1674.79	c      1675          17021       17008         1     6808508.0000     4137394.5931     64.56%
1675.66/1680.49	c      1680          17081       17068         1     6808508.0000     4137394.5931     64.56%
1681.24/1686.06	c      1686          17142       17129         1     6808508.0000     4137602.7356     64.55%
1686.93/1691.77	c      1692          17229       17216         1     6808508.0000     4137602.7356     64.55%
1692.81/1697.63	c      1698          17296       17283         1     6808508.0000     4137602.7356     64.55%
1698.31/1703.13	c      1703          17342       17329         1     6808508.0000     4137602.7356     64.55%
1704.58/1709.48	c      1709          17400       17387         1     6808508.0000     4137602.7356     64.55%
1709.96/1714.84	c      1715          17475       17462         1     6808508.0000     4137602.7356     64.55%
1714.95/1719.86	c      1720          17517       17504         1     6808508.0000     4137602.7356     64.55%
1720.74/1725.69	c      1726          17598       17585         1     6808508.0000     4137602.7356     64.55%
1725.83/1730.77	c      1731          17656       17643         1     6808508.0000     4137602.7356     64.55%
1731.41/1736.35	c      1736          17726       17713         1     6808508.0000     4137602.7356     64.55%
1737.11/1742.08	c      1742          17782       17769         1     6808508.0000     4138464.5489     64.52%
1743.18/1748.15	c      1748          17850       17837         1     6808508.0000     4138671.4945     64.51%
1749.16/1754.17	c      1754          17900       17887         1     6808508.0000     4138671.4945     64.51%
1755.24/1760.20	c      1760          17928       17915         1     6808508.0000     4138671.4945     64.51%
1760.53/1765.55	c      1766          17947       17934         1     6808508.0000     4138671.4945     64.51%
1766.02/1771.05	c      1771          17976       17963         1     6808508.0000     4138671.4945     64.51%
1771.79/1776.80	c      1777          18134       18121         1     6808508.0000     4138671.4945     64.51%
1776.89/1781.92	c      1782          18315       18302         1     6808508.0000     4138671.4945     64.51%
1782.37/1787.50	c      1788          18482       18459         1     6808508.0000     4138723.9218     64.51%
1783.87/1789.00	c *    1789          18494       18471         1     5977705.0000     4138723.9218     44.43%
1788.07/1793.17	c      1793          18792       18741         1     5977705.0000     4138779.6721     44.43%
1793.95/1799.04	c      1799          19402       19247         1     5977705.0000     4139011.6966     44.42%
1799.12/1804.20	c      1804          19847       19598         1     5977705.0000     4139229.2658     44.42%
1804.51/1809.62	c      1810          20298       19935         1     5977705.0000     4139300.0102     44.41%
1806.30/1811.44	c *    1811          20420       20023         1     5977554.0000     4139301.9483     44.41%
1806.41/1811.51	c *    1812          20420       20023         1     5967823.0000     4139301.9483     44.17%
1809.79/1814.94	c      1815          20772       20274         1     5967823.0000     4139301.9483     44.17%
1815.18/1820.31	c      1820          20890       20392         1     5967823.0000     4139301.9483     44.17%
1821.15/1826.35	c      1826          20964       20466         1     5967823.0000     4139301.9483     44.17%
1826.34/1831.59	c      1832          21067       20569         1     5967823.0000     4139519.4853     44.17%
1831.62/1836.89	c      1837          21232       20714         1     5967823.0000     4139519.4853     44.17%
1836.71/1841.92	c      1842          21322       20802         1     5967823.0000     4139519.4853     44.17%
1841.90/1847.12	c      1847          21367       20847         1     5967823.0000     4139519.4853     44.17%
1847.67/1852.91	c      1853          21457       20933         1     5967823.0000     4139664.6137     44.16%
1853.55/1858.82	c      1859          21559       21035         1     5967823.0000     4139687.6956     44.16%
1858.75/1864.01	c      1864          21660       21126         1     5967823.0000     4139688.5462     44.16%
1864.32/1869.66	c      1870          21741       21207         1     5967823.0000     4139688.5462     44.16%
1870.29/1875.61	c      1876          21835       21301         1     5967823.0000     4139698.2365     44.16%
1875.88/1881.29	c      1881          21940       21406         1     5967823.0000     4139839.7875     44.16%
1881.16/1886.50	c      1886          22062       21520         1     5967823.0000     4139839.7875     44.16%
1887.24/1892.62	c      1893          22192       21648         1     5967823.0000     4139841.1420     44.16%
1892.73/1898.13	c      1898          22282       21738         1     5967823.0000     4139841.1420     44.16%
1898.80/1904.22	c      1904          22374       21830         1     5967823.0000     4139884.1216     44.15%
1905.08/1910.50	c      1910          22460       21916         1     5967823.0000     4139884.1216     44.15%
1910.46/1915.90	c      1916          22594       22046         1     5967823.0000     4139937.5437     44.15%
1915.94/1921.43	c      1921          22794       22222         1     5967823.0000     4139937.5437     44.15%
1921.03/1926.52	c      1927          22861       22289         1     5967823.0000     4140060.8540     44.15%
1926.02/1931.57	c      1932          22928       22356         1     5967823.0000     4140077.8691     44.15%
1931.30/1936.87	c      1937          22982       22410         1     5967823.0000     4140095.7405     44.15%
1936.60/1942.15	c      1942          23032       22460         1     5967823.0000     4140095.7405     44.15%
1942.36/1948.01	c      1948          23094       22522         1     5967823.0000     4140095.7405     44.15%
1948.14/1953.72	c      1954          23207       22635         1     5967823.0000     4140095.7405     44.15%
1953.33/1958.95	c      1959          23285       22713         1     5967823.0000     4140313.5392     44.14%
1958.52/1964.13	c      1964          23371       22799         1     5967823.0000     4140313.5392     44.14%
1964.09/1969.73	c      1970          23437       22861         1     5967823.0000     4140313.5392     44.14%
1970.98/1976.63	c      1977          23507       22931         1     5967823.0000     4140376.6914     44.14%
1976.16/1981.80	c      1982          23578       23000         1     5967823.0000     4140510.1828     44.13%
1981.95/1987.60	c      1988          23650       23068         1     5967823.0000     4140510.1828     44.13%
1987.44/1993.14	c      1993          23736       23152         1     5967823.0000     4140583.8051     44.13%
1992.72/1998.49	c      1998          23798       23214         1     5967823.0000     4140583.8051     44.13%
1998.50/2004.22	c      2004          23844       23260         1     5967823.0000     4140583.8051     44.13%
2004.68/2010.48	c      2010          23910       23326         1     5967823.0000     4140583.8051     44.13%
2010.08/2015.83	c      2016          23960       23376         1     5967823.0000     4140583.8051     44.13%
2015.56/2021.36	c      2021          23998       23414         1     5967823.0000     4140583.8051     44.13%
2021.84/2027.63	c      2028          24067       23483         1     5967823.0000     4140638.8288     44.13%
2027.63/2033.50	c      2034          24135       23551         1     5967823.0000     4140638.8288     44.13%
2032.92/2038.72	c      2039          24202       23618         1     5967823.0000     4140855.9795     44.12%
2038.70/2044.54	c      2045          24254       23670         1     5967823.0000     4140855.9795     44.12%
2043.78/2049.62	c      2050          24305       23721         1     5967823.0000     4140855.9795     44.12%
2049.47/2055.33	c      2055          24355       23769         1     5967823.0000     4140855.9795     44.12%
2055.65/2061.58	c      2062          24415       23829         1     5967823.0000     4140855.9795     44.12%
2061.54/2067.46	c      2067          24472       23886         1     5967823.0000     4140855.9795     44.12%
2067.63/2073.56	c      2074          24538       23952         1     5967823.0000     4140855.9795     44.12%
2072.61/2078.58	c      2079          24590       24000         1     5967823.0000     4140855.9795     44.12%
2078.60/2084.54	c      2085          24678       24088         1     5967823.0000     4140855.9795     44.12%
2083.98/2089.95	c      2090          24752       24158         1     5967823.0000     4140855.9795     44.12%
2089.67/2095.67	c      2096          24811       24217         1     5967823.0000     4140855.9795     44.12%
2095.25/2101.26	c      2101          24873       24279         1     5967823.0000     4140855.9795     44.12%
2101.15/2107.15	c      2107          24941       24339         1     5967823.0000     4140855.9795     44.12%
2106.62/2112.69	c      2113          25031       24423         1     5967823.0000     4141098.9301     44.11%
2112.12/2118.16	c      2118          25088       24480         1     5967823.0000     4141098.9301     44.11%
2117.30/2123.36	c      2123          25162       24554         1     5967823.0000     4141389.9841     44.10%
2122.48/2128.57	c      2129          25203       24595         1     5967823.0000     4141389.9841     44.10%
2127.67/2133.74	c      2134          25248       24640         1     5967823.0000     4141389.9841     44.10%
2133.75/2139.83	c      2140          25292       24684         1     5967823.0000     4141389.9841     44.10%
2138.74/2144.85	c      2145          25369       24761         1     5967823.0000     4141389.9841     44.10%
2144.03/2150.12	c      2150          25478       24856         1     5967823.0000     4141389.9841     44.10%
2149.20/2155.39	c      2155          25542       24920         1     5967823.0000     4141389.9841     44.10%
2154.28/2160.43	c      2160          25651       25029         1     5967823.0000     4141418.0413     44.10%
2159.66/2165.86	c      2166          25763       25137         1     5967823.0000     4141423.8630     44.10%
2164.86/2171.02	c      2171          25875       25245         1     5967823.0000     4141423.8630     44.10%
2170.64/2176.81	c      2177          25983       25353         1     5967823.0000     4141423.8630     44.10%
2176.32/2182.59	c      2183          26131       25497         1     5967823.0000     4141429.4959     44.10%
2181.92/2188.17	c      2188          26240       25606         1     5967823.0000     4141490.1105     44.10%
2187.80/2194.09	c      2194          26368       25734         1     5967823.0000     4141490.1105     44.10%
2193.37/2199.62	c      2200          26503       25861         1     5967823.0000     4141683.9020     44.09%
2198.77/2205.03	c      2205          26609       25961         1     5967823.0000     4141692.6871     44.09%
2204.34/2210.61	c      2211          26712       26062         1     5967823.0000     4141704.6125     44.09%
2209.33/2215.67	c      2216          26823       26169         1     5967823.0000     4141806.5308     44.09%
2214.62/2220.91	c      2221          26941       26283         1     5967823.0000     4141806.5308     44.09%
2220.40/2226.70	c      2227          27046       26388         1     5967823.0000     4141828.5101     44.09%
2226.10/2232.46	c      2232          27161       26497         1     5967823.0000     4141850.9875     44.09%
2231.38/2237.73	c      2238          27261       26595         1     5967823.0000     4141850.9875     44.09%
2236.47/2242.84	c      2243          27358       26688         1     5967823.0000     4142051.9667     44.08%
2241.95/2248.32	c      2248          27473       26797         1     5967823.0000     4142111.8623     44.08%
2247.75/2254.13	c      2254          27550       26866         1     5967823.0000     4142229.1567     44.07%
2248.83/2255.20	c *    2255          27572       26888         1     5866965.0000     4142397.3235     41.63%
2252.82/2259.29	c      2259          27624       26833         1     5866965.0000     4142397.3235     41.63%
2258.51/2264.94	c      2265          27728       26929         1     5866965.0000     4142549.3283     41.63%
2263.80/2270.20	c      2270          27845       27042         1     5866965.0000     4142549.3283     41.63%
2269.59/2276.02	c      2276          27995       27186         1     5866965.0000     4142560.5139     41.63%
2274.76/2281.22	c      2281          28129       27318         1     5866965.0000     4142560.5139     41.63%
2280.05/2286.52	c      2287          28225       27406         1     5866965.0000     4142560.5139     41.63%
2285.14/2291.68	c      2292          28345       27524         1     5866965.0000     4142560.5139     41.63%
2290.42/2297.01	c      2297          28460       27631         1     5866965.0000     4142876.0900     41.62%
2295.90/2302.47	c      2302          28587       27752         1     5866965.0000     4143011.2885     41.61%
2301.28/2307.80	c      2308          28721       27884         1     5866965.0000     4143043.4635     41.61%
2306.58/2313.19	c      2313          28848       28001         1     5866965.0000     4143043.4635     41.61%
2311.85/2318.47	c      2318          28959       28102         1     5866965.0000     4143043.4635     41.61%
2318.24/2324.89	c      2325          29081       28218         1     5866965.0000     4143410.1588     41.60%
2324.13/2330.76	c      2331          29164       28301         1     5866965.0000     4143424.8025     41.60%
2329.21/2335.87	c      2336          29218       28355         1     5866965.0000     4143424.8025     41.60%
2334.60/2341.27	c      2341          29277       28414         1     5866965.0000     4143518.7153     41.59%
2339.78/2346.41	c      2346          29336       28473         1     5866965.0000     4143528.8915     41.59%
2345.27/2351.93	c      2352          29415       28552         1     5866965.0000     4143532.9281     41.59%
2350.85/2357.50	c      2358          29471       28608         1     5866965.0000     4143532.9281     41.59%
2356.14/2362.90	c      2363          29541       28678         1     5866965.0000     4143532.9281     41.59%
2361.82/2368.54	c      2369          29639       28776         1     5866965.0000     4143552.5998     41.59%
2367.01/2373.76	c      2374          29704       28841         1     5866965.0000     4143624.5973     41.59%
2372.49/2379.20	c      2379          29770       28907         1     5866965.0000     4143624.5973     41.59%
2378.08/2384.83	c      2385          29852       28989         1     5866965.0000     4143646.5153     41.59%
2383.37/2390.15	c      2390          29933       29070         1     5866965.0000     4143646.5153     41.59%
2388.85/2395.68	c      2396          29995       29132         1     5866965.0000     4143984.8002     41.58%
2394.63/2401.40	c      2401          30062       29199         1     5866965.0000     4143984.8002     41.58%
2400.11/2406.91	c      2407          30132       29269         1     5866965.0000     4143986.2646     41.58%
2405.49/2412.31	c      2412          30208       29343         1     5866965.0000     4143986.2646     41.58%
2411.18/2418.03	c      2418          30274       29409         1     5866965.0000     4143986.2646     41.58%
2417.16/2424.09	c      2424          30344       29479         1     5866965.0000     4143986.2646     41.58%
2422.73/2429.68	c      2430          30389       29520         1     5866965.0000     4143986.2646     41.58%
2428.42/2435.37	c      2435          30422       29553         1     5866965.0000     4143986.2646     41.58%
2434.00/2440.90	c      2441          30462       29593         1     5866965.0000     4143986.2646     41.58%
2439.88/2446.82	c      2447          30521       29652         1     5866965.0000     4143986.2646     41.58%
2445.67/2452.60	c      2453          30595       29726         1     5866965.0000     4144042.4977     41.58%
2451.46/2458.44	c      2458          30647       29778         1     5866965.0000     4144042.4977     41.58%
2456.84/2463.81	c      2464          30703       29834         1     5866965.0000     4144321.0202     41.57%
2462.53/2469.50	c      2470          30768       29899         1     5866965.0000     4144401.9916     41.56%
2468.03/2475.09	c      2475          30824       29955         1     5866965.0000     4144401.9916     41.56%
2473.30/2480.38	c      2480          30879       30008         1     5866965.0000     4144403.9899     41.56%
2478.78/2485.85	c      2486          30943       30072         1     5866965.0000     4144403.9899     41.56%
2484.17/2491.25	c      2491          30994       30123         1     5866965.0000     4144403.9899     41.56%
2490.45/2497.53	c      2498          31050       30179         1     5866965.0000     4144527.2446     41.56%
2495.54/2502.68	c      2503          31117       30244         1     5866965.0000     4144600.4313     41.56%
2500.93/2508.07	c      2508          31182       30305         1     5866965.0000     4144600.4313     41.56%
2506.61/2513.79	c      2514          31255       30370         1     5866965.0000     4144978.4637     41.54%
2512.10/2519.24	c      2519          31318       30433         1     5866965.0000     4144999.1044     41.54%
2517.68/2524.86	c      2525          31392       30503         1     5866965.0000     4144999.1044     41.54%
2523.27/2530.43	c      2530          31454       30565         1     5866965.0000     4144999.1044     41.54%
2528.96/2536.19	c      2536          31522       30625         1     5866965.0000     4144999.1044     41.54%
2534.64/2541.89	c      2542          31615       30712         1     5866965.0000     4144999.1044     41.54%
2539.94/2547.19	c      2547          31716       30805         1     5866965.0000     4144999.1044     41.54%
2545.31/2552.56	c      2553          31843       30924         1     5866965.0000     4144999.1044     41.54%
2551.20/2558.42	c      2558          31969       31048         1     5866965.0000     4144999.1044     41.54%
2556.48/2563.75	c      2564          32047       31118         1     5866965.0000     4144999.1044     41.54%
2561.67/2569.01	c      2569          32148       31215         1     5866965.0000     4144999.1044     41.54%
2567.05/2574.39	c      2574          32260       31327         1     5866965.0000     4144999.1044     41.54%
2572.44/2579.73	c      2580          32407       31472         1     5866965.0000     4144999.1044     41.54%
2578.03/2585.33	c      2585          32526       31587         1     5866965.0000     4144999.1044     41.54%
2583.52/2590.80	c      2591          32666       31719         1     5866965.0000     4145265.0343     41.53%
2589.50/2596.80	c      2597          32818       31871         1     5866965.0000     4145268.1189     41.53%
2594.59/2601.94	c      2602          32947       31998         1     5866965.0000     4145278.2328     41.53%
2599.97/2607.33	c      2607          33072       32119         1     5866965.0000     4145298.9575     41.53%
2605.86/2613.24	c      2613          33170       32217         1     5866965.0000     4145298.9575     41.53%
2611.75/2619.19	c      2619          33319       32364         1     5866965.0000     4145354.7977     41.53%
2617.33/2624.73	c      2625          33452       32495         1     5866965.0000     4145354.7977     41.53%
2622.63/2630.10	c      2630          33582       32621         1     5866965.0000     4145524.3825     41.53%
2627.80/2635.27	c      2635          33726       32763         1     5866965.0000     4145524.3825     41.53%
2633.71/2641.17	c      2641          33852       32889         1     5866965.0000     4145546.3279     41.52%
2638.88/2646.33	c      2646          34001       33022         1     5866965.0000     4145546.3279     41.52%
2644.26/2651.72	c      2652          34162       33183         1     5866965.0000     4145689.2641     41.52%
2649.56/2657.05	c      2657          34301       33316         1     5866965.0000     4145689.2641     41.52%
2654.83/2662.35	c      2662          34396       33411         1     5866965.0000     4145834.4092     41.51%
2660.71/2668.22	c      2668          34570       33581         1     5866965.0000     4145863.3485     41.51%
2666.19/2673.76	c      2674          34659       33668         1     5866965.0000     4145863.3485     41.51%
2671.49/2679.10	c      2679          34804       33805         1     5866965.0000     4145863.3485     41.51%
2676.76/2684.31	c      2684          34954       33947         1     5866965.0000     4145863.3485     41.51%
2682.14/2689.70	c      2690          35043       34032         1     5866965.0000     4145863.3485     41.51%
2687.33/2694.96	c      2695          35154       34143         1     5866965.0000     4145863.3485     41.51%
2692.81/2700.45	c      2700          35242       34229         1     5866965.0000     4145863.3485     41.51%
2698.09/2705.77	c      2706          35322       34309         1     5866965.0000     4145863.3485     41.51%
2703.97/2711.62	c      2712          35397       34380         1     5866965.0000     4145881.6976     41.51%
2709.25/2716.94	c      2717          35478       34459         1     5866965.0000     4145924.7759     41.51%
2714.45/2722.16	c      2722          35588       34555         1     5866965.0000     4145924.7759     41.51%
2719.62/2727.31	c      2727          35709       34662         1     5866965.0000     4145924.7759     41.51%
2725.70/2733.45	c      2733          35808       34757         1     5866965.0000     4145924.7759     41.51%
2731.09/2738.84	c      2739          35930       34871         1     5866965.0000     4145924.7759     41.51%
2736.67/2744.45	c      2744          36023       34954         1     5866965.0000     4146016.1891     41.51%
2742.45/2750.23	c      2750          36130       35043         1     5866965.0000     4146016.1891     41.51%
2748.13/2755.93	c      2756          36215       35124         1     5866965.0000     4146016.1891     41.51%
2754.11/2761.91	c      2762          36310       35209         1     5866965.0000     4146109.1512     41.51%
2759.49/2767.32	c      2767          36431       35304         1     5866965.0000     4146109.1512     41.51%
2764.68/2772.55	c      2773          36544       35415         1     5866965.0000     4146109.1512     41.51%
2769.86/2777.76	c      2778          36656       35517         1     5866965.0000     4146109.1512     41.51%
2775.15/2783.08	c      2783          36776       35615         1     5866965.0000     4146109.1512     41.51%
2777.33/2785.21	c *    2785          36817       35656         1     5843413.0000     4146109.1512     40.94%
2780.63/2788.55	c      2789          36863       35597         1     5843413.0000     4146109.1513     40.94%
2785.91/2793.89	c      2794          36969       35687         1     5843413.0000     4146109.1513     40.94%
2787.30/2795.23	c *    2795          37006       35718         1     5718997.0000     4146109.1513     37.94%
2791.28/2799.21	c      2799          37085       35064         1     5718997.0000     4146109.1513     37.94%
2796.57/2804.54	c      2805          37162       35131         1     5718997.0000     4146193.3278     37.93%
2799.46/2807.46	c *    2807          37209       35168         1     5700562.0000     4146193.3278     37.49%
2801.96/2809.90	c      2810          37276       35061         1     5700562.0000     4146193.3278     37.49%
2807.05/2815.04	c      2815          37394       35161         1     5700562.0000     4146216.4922     37.49%
2812.73/2820.78	c      2821          37493       35238         1     5700562.0000     4146240.7150     37.49%
2818.03/2826.08	c      2826          37595       35316         1     5700562.0000     4146240.7150     37.49%
2823.20/2831.20	c      2831          37698       35411         1     5700562.0000     4146256.3054     37.49%
2828.69/2836.73	c      2837          37825       35526         1     5700562.0000     4146256.3054     37.49%
2834.09/2842.19	c      2842          37932       35603         1     5700562.0000     4146256.3054     37.49%
2839.27/2847.39	c      2847          38035       35688         1     5700562.0000     4146256.3054     37.49%
2845.15/2853.22	c      2853          38129       35782         1     5700562.0000     4146256.3054     37.49%
2850.14/2858.28	c      2858          38217       35868         1     5700562.0000     4146355.9447     37.48%
2856.04/2864.11	c      2864          38307       35956         1     5700562.0000     4146355.9447     37.48%
2861.31/2869.48	c      2869          38401       36050         1     5700562.0000     4146377.4728     37.48%
2867.02/2875.14	c      2875          38516       36163         1     5700562.0000     4146403.1577     37.48%
2872.09/2880.28	c      2880          38628       36275         1     5700562.0000     4146403.1577     37.48%
2877.57/2885.77	c      2886          38729       36376         1     5700562.0000     4146498.1662     37.48%
2882.66/2890.87	c      2891          38832       36477         1     5700562.0000     4146498.1662     37.48%
2887.85/2896.07	c      2896          38961       36606         1     5700562.0000     4146498.1662     37.48%
2893.23/2901.45	c      2901          39094       36739         1     5700562.0000     4146537.9673     37.48%
2898.62/2906.88	c      2907          39188       36833         1     5700562.0000     4146548.9680     37.48%
2904.01/2912.21	c      2912          39309       36950         1     5700562.0000     4146548.9680     37.48%
2909.59/2917.89	c      2918          39421       37062         1     5700562.0000     4146548.9680     37.48%
2914.98/2923.27	c      2923          39527       37168         1     5700562.0000     4146552.9941     37.48%
2920.26/2928.55	c      2929          39652       37293         1     5700562.0000     4146692.0396     37.47%
2925.45/2933.79	c      2934          39767       37408         1     5700562.0000     4146692.0396     37.47%
2931.53/2939.82	c      2940          39871       37512         1     5700562.0000     4146782.5746     37.47%
2936.62/2944.98	c      2945          39981       37622         1     5700562.0000     4146782.5746     37.47%
2942.11/2950.40	c      2950          40114       37755         1     5700562.0000     4146782.5746     37.47%
2947.20/2955.52	c      2956          40202       37843         1     5700562.0000     4146790.4215     37.47%
2953.28/2961.64	c      2962          40346       37987         1     5700562.0000     4146802.4818     37.47%
2958.96/2967.30	c      2967          40497       38138         1     5700562.0000     4146923.6230     37.46%
2964.95/2973.38	c      2973          40610       38251         1     5700562.0000     4146949.2590     37.46%
2970.33/2978.79	c      2979          40703       38340         1     5700562.0000     4146949.2590     37.46%
2976.01/2984.49	c      2984          40810       38445         1     5700562.0000     4147004.7355     37.46%
2981.10/2989.54	c      2990          40912       38545         1     5700562.0000     4147071.7767     37.46%
2986.28/2994.79	c      2995          41024       38657         1     5700562.0000     4147071.7767     37.46%
2991.36/2999.82	c      3000          41122       38755         1     5700562.0000     4147098.0938     37.46%
2996.44/3004.98	c      3005          41216       38849         1     5700562.0000     4147098.0938     37.46%
3002.13/3010.64	c      3011          41312       38943         1     5700562.0000     4147150.7015     37.46%
3007.41/3015.94	c      3016          41427       39058         1     5700562.0000     4147150.7015     37.46%
3012.50/3021.10	c      3021          41532       39163         1     5700562.0000     4147199.3571     37.46%
3018.37/3026.92	c      3027          41642       39271         1     5700562.0000     4147199.3571     37.46%
3023.86/3032.48	c      3032          41752       39371         1     5700562.0000     4147199.3571     37.46%
3028.94/3037.52	c      3038          41838       39449         1     5700562.0000     4147222.1609     37.45%
3034.92/3043.52	c      3044          41944       39549         1     5700562.0000     4147222.1609     37.45%
3040.10/3048.74	c      3049          42045       39650         1     5700562.0000     4147222.1609     37.45%
3045.40/3054.03	c      3054          42168       39767         1     5700562.0000     4147222.1609     37.45%
3050.97/3059.61	c      3060          42295       39878         1     5700562.0000     4147222.1609     37.45%
3056.95/3065.61	c      3066          42416       39991         1     5700562.0000     4147266.7168     37.45%
3062.13/3070.82	c      3071          42520       40095         1     5700562.0000     4147336.0316     37.45%
3067.43/3076.11	c      3076          42642       40217         1     5700562.0000     4147336.0316     37.45%
3072.61/3081.35	c      3081          42732       40299         1     5700562.0000     4147336.0316     37.45%
3078.48/3087.28	c      3087          42839       40396         1     5700562.0000     4147345.0909     37.45%
3084.27/3093.02	c      3093          42958       40503         1     5700562.0000     4147393.8716     37.45%
3089.36/3098.15	c      3098          43067       40602         1     5700562.0000     4147393.8716     37.45%
3095.13/3103.92	c      3104          43180       40709         1     5700562.0000     4147394.4909     37.45%
3100.91/3109.77	c      3110          43245       40774         1     5700562.0000     4147394.4909     37.45%
3106.20/3115.03	c      3115          43347       40876         1     5700562.0000     4147394.4909     37.45%
3111.88/3120.71	c      3121          43459       40988         1     5700562.0000     4147454.3583     37.45%
3117.27/3126.12	c      3126          43560       41089         1     5700562.0000     4147454.3583     37.45%
3122.34/3131.25	c      3131          43647       41176         1     5700562.0000     4147454.3583     37.45%
3127.73/3136.69	c      3137          43754       41283         1     5700562.0000     4147454.3583     37.45%
3133.61/3142.57	c      3143          43870       41391         1     5700562.0000     4147455.9523     37.45%
3138.69/3147.60	c      3148          43951       41470         1     5700562.0000     4147461.8529     37.45%
3144.19/3153.15	c      3153          44057       41566         1     5700562.0000     4147483.5594     37.45%
3149.36/3158.31	c      3158          44156       41649         1     5700562.0000     4147483.5594     37.45%
3154.44/3163.42	c      3163          44239       41722         1     5700562.0000     4147483.5594     37.45%
3159.93/3168.98	c      3169          44311       41794         1     5700562.0000     4147485.6487     37.45%
3165.12/3174.15	c      3174          44417       41892         1     5700562.0000     4147485.6487     37.45%
3170.79/3179.83	c      3180          44516       41991         1     5700562.0000     4147489.7843     37.45%
3176.47/3185.52	c      3186          44608       42081         1     5700562.0000     4147489.7843     37.45%
3182.06/3191.17	c      3191          44739       42206         1     5700562.0000     4147680.3582     37.44%
3187.83/3196.98	c      3197          44848       42315         1     5700562.0000     4147703.7031     37.44%
3193.72/3202.86	c      3203          44972       42437         1     5700562.0000     4147717.5669     37.44%
3198.80/3207.91	c      3208          45072       42529         1     5700562.0000     4147758.2207     37.44%
3204.00/3213.13	c      3213          45187       42644         1     5700562.0000     4147758.2207     37.44%
3209.47/3218.60	c      3219          45279       42718         1     5700562.0000     4147779.7768     37.44%
3215.15/3224.36	c      3224          45396       42835         1     5700562.0000     4147783.7419     37.44%
3220.73/3229.90	c      3230          45519       42958         1     5700562.0000     4147783.7419     37.44%
3226.21/3235.48	c      3235          45631       43062         1     5700562.0000     4147869.0251     37.43%
3231.99/3241.23	c      3241          45730       43147         1     5700562.0000     4147869.0251     37.43%
3237.07/3246.34	c      3246          45823       43240         1     5700562.0000     4147869.0251     37.43%
3242.36/3251.63	c      3252          45936       43349         1     5700562.0000     4147869.0251     37.43%
3247.54/3256.83	c      3257          46047       43458         1     5700562.0000     4147869.0251     37.43%
3252.83/3262.14	c      3262          46178       43589         1     5700562.0000     4147926.4539     37.43%
3258.01/3267.35	c      3267          46300       43709         1     5700562.0000     4147976.2781     37.43%
3263.59/3272.96	c      3273          46405       43814         1     5700562.0000     4147976.2781     37.43%
3268.98/3278.35	c      3278          46524       43929         1     5700562.0000     4147976.2781     37.43%
3274.46/3283.82	c      3284          46653       44058         1     5700562.0000     4147976.2781     37.43%
3279.55/3288.93	c      3289          46765       44160         1     5700562.0000     4147976.2781     37.43%
3284.54/3293.98	c      3294          46866       44261         1     5700562.0000     4148001.6232     37.43%
3290.22/3299.65	c      3300          46986       44381         1     5700562.0000     4148004.0019     37.43%
3295.51/3304.92	c      3305          47081       44470         1     5700562.0000     4148004.0019     37.43%
3301.10/3310.55	c      3311          47188       44567         1     5700562.0000     4148004.0019     37.43%
3306.89/3316.33	c      3316          47310       44689         1     5700562.0000     4148004.4286     37.43%
3312.27/3321.75	c      3322          47442       44821         1     5700562.0000     4148004.4286     37.43%
3317.76/3327.29	c      3327          47545       44916         1     5700562.0000     4148070.9510     37.43%
3323.04/3332.59	c      3333          47674       45045         1     5700562.0000     4148070.9510     37.43%
3328.33/3337.87	c      3338          47772       45139         1     5700562.0000     4148070.9510     37.43%
3333.72/3343.23	c      3343          47900       45265         1     5700562.0000     4148131.1421     37.42%
3339.40/3349.01	c      3349          47981       45346         1     5700562.0000     4148144.5778     37.42%
3345.48/3355.03	c      3355          48068       45431         1     5700562.0000     4148145.4576     37.42%
3351.65/3361.20	c      3361          48137       45500         1     5700562.0000     4148145.4576     37.42%
3357.84/3367.46	c      3367          48250       45605         1     5700562.0000     4148165.0165     37.42%
3363.33/3372.94	c      3373          48373       45718         1     5700562.0000     4148165.7080     37.42%
3368.81/3378.47	c      3378          48474       45809         1     5700562.0000     4148165.7080     37.42%
3373.90/3383.54	c      3384          48568       45893         1     5700562.0000     4148202.2833     37.42%
3379.08/3388.73	c      3389          48674       45999         1     5700562.0000     4148203.9090     37.42%
3384.49/3394.12	c      3394          48782       46107         1     5700562.0000     4148351.0405     37.42%
3390.16/3399.80	c      3400          48902       46227         1     5700562.0000     4148351.0405     37.42%
3395.36/3405.05	c      3405          48988       46313         1     5700562.0000     4148389.4874     37.42%
3400.54/3410.26	c      3410          49080       46405         1     5700562.0000     4148507.9007     37.41%
3405.92/3415.62	c      3416          49167       46484         1     5700562.0000     4148507.9007     37.41%
3410.91/3420.68	c      3421          49228       46537         1     5700562.0000     4148576.8116     37.41%
3416.10/3425.88	c      3426          49321       46626         1     5700562.0000     4148578.0614     37.41%
3421.40/3431.18	c      3431          49425       46728         1     5700562.0000     4148578.0614     37.41%
3426.67/3436.41	c      3436          49538       46841         1     5700562.0000     4148578.0614     37.41%
3431.86/3441.64	c      3442          49663       46962         1     5700562.0000     4148578.0614     37.41%
3437.26/3447.01	c      3447          49779       47078         1     5700562.0000     4148578.0614     37.41%
3442.83/3452.63	c      3453          49883       47182         1     5700562.0000     4148578.0614     37.41%
3447.92/3457.79	c      3458          50001       47296         1     5700562.0000     4148578.0614     37.41%
3453.32/3463.12	c      3463          50088       47383         1     5700562.0000     4148604.4246     37.41%
3459.20/3469.09	c      3469          50202       47495         1     5700562.0000     4148608.4154     37.41%
3464.38/3474.21	c      3474          50322       47599         1     5700562.0000     4148797.9764     37.40%
3469.66/3479.54	c      3480          50449       47720         1     5700562.0000     4148797.9764     37.40%
3475.64/3485.57	c      3486          50583       47852         1     5700562.0000     4148865.4942     37.40%
3481.44/3491.38	c      3491          50644       47911         1     5700562.0000     4148865.4942     37.40%
3486.72/3496.67	c      3497          50728       47995         1     5700562.0000     4148888.9735     37.40%
3492.22/3502.16	c      3502          50801       48068         1     5700562.0000     4148923.9487     37.40%
3497.69/3507.67	c      3508          50873       48136         1     5700562.0000     4148923.9487     37.40%
3503.20/3513.19	c      3513          50963       48204         1     5700562.0000     4148923.9487     37.40%
3508.57/3518.56	c      3519          51065       48296         1     5700562.0000     4148923.9487     37.40%
3513.95/3523.99	c      3524          51161       48392         1     5700562.0000     4148992.9818     37.40%
3519.34/3529.37	c      3529          51274       48505         1     5700562.0000     4148992.9818     37.40%
3524.93/3534.94	c      3535          51384       48615         1     5700562.0000     4148992.9818     37.40%
3530.31/3540.31	c      3540          51490       48721         1     5700562.0000     4149008.9232     37.40%
3535.40/3545.48	c      3545          51571       48802         1     5700562.0000     4149026.6310     37.40%
3540.88/3550.91	c      3551          51679       48910         1     5700562.0000     4149026.6310     37.40%
3546.17/3556.22	c      3556          51804       49035         1     5700562.0000     4149026.6312     37.40%
3551.86/3561.95	c      3562          51914       49141         1     5700562.0000     4149026.6312     37.40%
3557.45/3567.57	c      3568          52011       49234         1     5700562.0000     4149061.3797     37.39%
3562.63/3572.77	c      3573          52104       49327         1     5700562.0000     4149075.0326     37.39%
3568.52/3578.67	c      3579          52218       49441         1     5700562.0000     4149238.3346     37.39%
3574.40/3584.56	c      3585          52323       49542         1     5700562.0000     4149342.0594     37.38%
3579.59/3589.78	c      3590          52460       49669         1     5700562.0000     4149342.0594     37.38%
3585.67/3595.80	c      3596          52584       49793         1     5700562.0000     4149356.9331     37.38%
3590.47/3600.62	c SCIP Status        : c solving was interrupted [hard time limit reached]
3590.47/3600.62	c Total Time         : 3600.61
3590.47/3600.62	c   solving          : 3600.61
3590.47/3600.62	c   presolving       : 0.22 (included in solving)
3590.47/3600.62	c B&B Tree           :
3590.47/3600.62	c   nodes (total)    : 1
3590.47/3600.62	c Solution           :
3590.47/3600.62	c   Solutions found  : 12
3590.47/3600.62	c   Primal Bound     : +5.70056200000000e+06
3590.47/3600.62	c   Dual Bound       : +4.14935693311224e+06
3590.47/3600.62	c Gap                : 37.38423 %
3590.47/3600.62	c * Warning: final gap: 3.73842e-01 is greater than SCIPepsilon: 1.00000e-09
3590.47/3600.62	o 5700562
3590.47/3600.62	s SATISFIABLE
3590.47/3600.62	v -x7979 -x7978 -x7977 -x7976 -x7975 -x7974 -x7973 -x7972 -x7971 -x7970 -x7968 -x7967 -x7966 x7965 x7964 -x7963 -x7962 x7961 -x7960 
3590.47/3600.62	v -x7959 -x7957 -x7956 -x7955 -x7954 -x7953 -x7952 -x7951 -x7950 x7949 -x7948 -x7946 -x7945 -x7944 -x7943 -x7942 -x7941 -x7940 
3590.47/3600.62	v -x7939 -x7938 -x7937 -x7935 -x7934 -x7933 -x7932 x7931 -x7930 -x7929 -x7928 -x7927 -x7926 x7924 -x7923 -x7922 -x7921 -x7920 
3590.47/3600.62	v -x7919 -x7918 -x7917 x7916 -x7915 x7912 x7911 -x7910 -x7909 -x7908 -x7907 -x7906 x7905 -x7904 -x7903 -x7901 -x7900 -x7899 -x7898 
3590.47/3600.62	v -x7897 -x7896 -x7895 -x7894 x7893 -x7892 -x7890 -x7889 -x7888 x7887 -x7886 -x7885 -x7884 -x7883 x7882 -x7881 -x7879 -x7878 
3590.47/3600.62	v x7877 -x7876 -x7875 -x7874 -x7873 -x7872 -x7871 -x7870 -x7868 -x7867 -x7866 -x7865 -x7864 -x7863 -x7862 -x7861 x7860 -x7859 
3590.47/3600.62	v -x7857 -x7856 -x7855 -x7854 -x7853 x7852 -x7851 -x7850 -x7849 -x7848 -x7846 -x7845 -x7844 -x7843 -x7842 -x7841 -x7840 -x7839 
3590.47/3600.62	v -x7838 -x7837 -x7835 -x7834 -x7833 -x7832 -x7831 -x7830 -x7829 -x7828 -x7827 -x7826 -x7824 -x7823 -x7822 -x7821 x7820 -x7819 
3590.47/3600.62	v -x7818 x7817 -x7816 -x7815 x7813 x7812 -x7811 -x7810 -x7809 -x7808 -x7807 x7806 -x7805 x7804 -x8060 -x8059 -x8058 -x8057 -x8056 
3590.47/3600.62	v -x8055 -x8054 -x8053 -x8052 -x8051 -x8049 x8048 -x8047 x8046 -x8045 -x8044 -x8043 -x8042 -x8041 -x8040 -x8038 -x8037 -x8036 
3590.47/3600.62	v -x8035 -x8034 -x8033 -x8032 -x8031 -x8030 -x8029 -x8027 -x8026 x8025 -x8024 -x8023 -x8022 -x8021 x8020 x8019 -x8018 -x8016 
3590.47/3600.62	v x8015 -x8014 -x8013 x8012 x8011 -x8010 -x8009 -x8008 -x8007 -x8005 -x8004 -x8003 -x8002 -x8001 -x8000 -x7999 -x7998 -x7997 
3590.47/3600.62	v -x7996 -x7994 -x7993 -x7992 -x7991 -x7990 -x7989 -x7988 x7987 -x7986 x7985 -x7983 -x7982 -x7981 x7980 -x7969 -x7958 -x7947 x7936 
3590.47/3600.62	v -x7925 -x7914 -x7902 x7891 -x7880 -x7869 -x7858 -x7847 x7836 -x7825 -x7814 -x7803 x8050 -x8039 -x8028 -x8017 -x8006 -x7995 
3590.47/3600.62	v -x7984 -x7913 -x7802 -x7801 -x5370 -x5369 -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359 -x5358 -x5357 
3590.47/3600.62	v -x5356 -x5355 -x5354 -x5353 -x5352 -x5351 -x5350 -x5349 -x5348 -x5347 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341 -x5340 -x5339 
3590.47/3600.62	v -x5338 -x5337 -x5336 -x5335 -x5334 -x5333 -x5332 -x5331 -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 -x5322 -x5321 
3590.47/3600.62	v -x5320 -x5319 -x5318 -x5317 -x5316 -x5315 -x5314 -x5313 -x5312 -x5311 -x5310 -x5309 -x5308 -x5307 -x5306 -x5305 -x5304 
3590.47/3600.62	v -x5303 -x5302 -x5301 -x5300 -x5299 -x5298 -x5297 -x5296 -x5295 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 -x5288 -x5287 -x5286 
3590.47/3600.62	v -x5285 -x5284 -x5283 -x5282 -x5281 -x5280 -x5279 -x5278 -x5277 -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 
3590.47/3600.62	v -x5267 -x5266 -x5265 -x5264 -x5263 -x5262 -x5261 -x5260 -x5259 -x5258 -x5257 -x5256 -x5255 -x5254 -x5253 -x5252 -x5251 -x5250 
3590.47/3600.62	v -x5249 -x5248 -x5247 -x5246 -x5245 -x5244 -x5243 -x5242 -x5241 -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232 
3590.47/3600.62	v -x5231 -x5230 -x5229 -x5228 -x5227 -x5226 -x5225 -x5224 -x5223 -x5222 -x5221 -x5220 -x5219 -x5218 -x5217 -x5216 -x5215 -x5214 
3590.47/3600.62	v -x5213 -x5212 -x5211 -x5210 -x5209 -x5208 -x5207 -x5206 -x5205 -x5204 -x5203 -x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 
3590.47/3600.62	v -x5195 -x5194 -x5193 -x5192 -x5191 -x5190 -x5189 -x5188 -x5187 -x5186 -x5185 -x5184 -x5183 -x5182 -x5181 -x5180 -x5179 
3590.47/3600.62	v -x5178 -x5177 -x5176 -x5175 -x5174 -x5173 -x5172 -x5171 -x5170 -x5169 -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 -x5162 -x5161 
3590.47/3600.62	v -x5160 -x5159 -x5158 -x5157 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151 -x5150 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 -x5143 
3590.47/3600.62	v -x5142 -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 -x5133 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 
3590.47/3600.62	v -x5124 -x5123 -x5122 -x5121 -x5120 -x5119 -x5118 -x5117 -x5116 -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 
3590.47/3600.62	v -x5106 -x5105 -x5104 -x5103 -x5102 -x5101 -x5100 -x5099 -x5098 -x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 
3590.47/3600.62	v -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 -x5080 -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 
3590.47/3600.62	v -x5040 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 -x5025 -x5024 
3590.47/3600.62	v -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015 -x5014 -x5013 -x5012 -x5011 -x5010 -x5009 -x5008 -x5007 -x5006 
3590.47/3600.62	v -x5005 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 -x4989 -x4988 
3590.47/3600.62	v -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979 -x4978 -x4977 -x4976 -x4975 -x4974 -x4973 -x4972 -x4971 -x4970 
3590.47/3600.62	v -x4969 -x4968 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957 -x4956 -x4955 -x4954 -x4953 -x4952 
3590.47/3600.62	v -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 
3590.47/3600.62	v x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 -x4918 -x4917 -x4916 
3590.47/3600.62	v -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907 x4906 x4905 -x4904 x4903 x4902 x4901 x4900 x4899 x4898 x4897 
3590.47/3600.62	v -x4896 x4895 x4894 x4893 x4892 -x4891 -x4890 -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 
3590.47/3600.62	v -x4878 -x4877 -x4876 -x4875 -x4874 -x4873 -x4872 -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 
3590.47/3600.62	v -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854 -x4853 -x4852 -x4851 -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 
3590.47/3600.62	v -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 
3590.47/3600.62	v -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817 -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 
3590.47/3600.62	v x4806 -x4805 -x4804 -x4803 x4802 -x4801 -x4800 -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 
3590.47/3600.62	v -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 -x4779 -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 
3590.47/3600.62	v -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 -x4760 -x4759 -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 
3590.47/3600.62	v -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 -x4710 -x4709 -x4708 -x4707 -x4706 
3590.47/3600.62	v -x4705 -x4704 -x4703 -x4702 -x4701 -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 -x4689 -x4688 
3590.47/3600.62	v -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 -x4674 -x4673 -x4672 -x4671 -x4670 
3590.47/3600.62	v -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 
3590.47/3600.62	v -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 -x4635 -x4634 
3590.47/3600.62	v -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4617 -x4616 
3590.47/3600.62	v -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 
3590.47/3600.62	v -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 
3590.47/3600.62	v -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 
3590.47/3600.62	v -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4547 -x4546 -x4545 
3590.47/3600.62	v -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 
3590.47/3600.62	v -x4526 -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 
3590.47/3600.62	v -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4492 -x4491 
3590.47/3600.62	v -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474 -x4473 
3590.47/3600.62	v -x4472 -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 
3590.47/3600.62	v -x4455 -x4454 x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 
3590.47/3600.62	v -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 
3590.47/3600.62	v -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 
3590.47/3600.62	v -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 
3590.47/3600.62	v -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 
3590.47/3600.62	v -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 
3590.47/3600.62	v -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 
3590.47/3600.62	v -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 
3590.47/3600.62	v -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 
3590.47/3600.62	v -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 
3590.47/3600.62	v -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 
3590.47/3600.62	v -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 
3590.47/3600.62	v -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 
3590.47/3600.62	v -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 
3590.47/3600.62	v -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 
3590.47/3600.62	v -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 
3590.47/3600.62	v -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 
3590.47/3600.62	v -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 
3590.47/3600.62	v -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 
3590.47/3600.62	v -x4085 -x4084 -x4083 -x4082 -x4081 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 
3590.47/3600.62	v -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 
3590.47/3600.62	v -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 
3590.47/3600.62	v -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 
3590.47/3600.62	v -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 
3590.47/3600.62	v -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 
3590.47/3600.62	v -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 
3590.47/3600.62	v -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 x3913 
3590.47/3600.62	v x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 
3590.47/3600.62	v -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 
3590.47/3600.62	v -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 
3590.47/3600.62	v -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 
3590.47/3600.62	v -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 
3590.47/3600.62	v -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 
3590.47/3600.62	v -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 
3590.47/3600.62	v -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 
3590.47/3600.62	v -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 
3590.47/3600.62	v -x3751 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 x3704 
3590.47/3600.62	v -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 
3590.47/3600.62	v -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 
3590.47/3600.62	v -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 
3590.47/3600.62	v -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 
3590.47/3600.62	v -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 
3590.47/3600.62	v -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 
3590.47/3600.62	v -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 
3590.47/3600.62	v -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 
3590.47/3600.62	v -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 
3590.47/3600.62	v -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 
3590.47/3600.62	v -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 
3590.47/3600.62	v -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 
3590.47/3600.62	v -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 
3590.47/3600.62	v -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 x3464 -x3463 x3462 x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 
3590.47/3600.62	v -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 
3590.47/3600.62	v -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3360 -x3359 -x3358 
3590.47/3600.62	v -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 x3344 -x3343 -x3342 -x3341 -x3340 
3590.47/3600.62	v -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 
3590.47/3600.62	v -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 
3590.47/3600.62	v -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 
3590.47/3600.62	v -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 
3590.47/3600.62	v -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 
3590.47/3600.62	v -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 
3590.47/3600.62	v -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 
3590.47/3600.62	v -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 
3590.47/3600.62	v -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 
3590.47/3600.62	v -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 
3590.47/3600.62	v -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 
3590.47/3600.62	v -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 x3135 x3134 -x3133 x3132 x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 
3590.47/3600.62	v -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 
3590.47/3600.62	v -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 
3590.47/3600.62	v -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 
3590.47/3600.62	v -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 
3590.47/3600.62	v -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 
3590.47/3600.62	v -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 
3590.47/3600.62	v -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 
3590.47/3600.62	v -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 
3590.47/3600.62	v -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 
3590.47/3600.62	v -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 
3590.47/3600.62	v -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 
3590.47/3600.62	v -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 
3590.47/3600.62	v -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 
3590.47/3600.62	v -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 
3590.47/3600.62	v -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 
3590.47/3600.62	v -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 
3590.47/3600.62	v -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 
3590.47/3600.62	v -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 
3590.47/3600.62	v -x2773 x2772 x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 
3590.47/3600.62	v -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 
3590.47/3600.62	v -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 
3590.47/3600.62	v -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 
3590.47/3600.62	v -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 
3590.47/3600.62	v -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 
3590.47/3600.62	v -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 
3590.47/3600.62	v -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 
3590.47/3600.62	v -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 x2593 x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 
3590.47/3600.62	v -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 
3590.47/3600.62	v -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 
3590.47/3600.62	v -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 
3590.47/3600.62	v -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 
3590.47/3600.62	v -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 
3590.47/3600.62	v -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 
3590.47/3600.62	v -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 
3590.47/3600.62	v -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 x2441 x2440 x2439 
3590.47/3600.62	v x2438 x2437 x2436 x2435 x2434 x2433 x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 
3590.47/3600.62	v -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 
3590.47/3600.62	v -x2401 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 
3590.47/3600.62	v -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 
3590.47/3600.62	v -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 
3590.47/3600.62	v -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 
3590.47/3600.62	v -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 
3590.47/3600.62	v x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 
3590.47/3600.62	v -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 
3590.47/3600.62	v -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 
3590.47/3600.62	v -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 
3590.47/3600.62	v -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 
3590.47/3600.62	v -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 
3590.47/3600.62	v -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 
3590.47/3600.62	v -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 
3590.47/3600.62	v -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 
3590.47/3600.62	v -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 
3590.47/3600.62	v -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 
3590.47/3600.62	v -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2040 -x2039 
3590.47/3600.62	v -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 
3590.47/3600.62	v -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 
3590.47/3600.62	v -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 
3590.47/3600.62	v -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 
3590.47/3600.62	v -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 
3590.47/3600.62	v -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 
3590.47/3600.62	v -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 
3590.47/3600.62	v -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 
3590.47/3600.62	v -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 
3590.47/3600.62	v -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 
3590.47/3600.62	v -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 
3590.47/3600.62	v -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 
3590.47/3600.62	v -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 
3590.47/3600.62	v -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 
3590.47/3600.62	v -x1788 -x1787 -x1786 x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 
3590.47/3600.62	v -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 
3590.47/3600.62	v -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 
3590.47/3600.62	v -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 
3590.47/3600.62	v -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 
3590.47/3600.62	v -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 
3590.47/3600.62	v -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 
3590.47/3600.62	v -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 
3590.47/3600.62	v -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 
3590.47/3600.62	v -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 
3590.47/3600.62	v -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 
3590.47/3600.62	v -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 x1545 x1544 
3590.47/3600.62	v -x1543 x1542 x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 
3590.47/3600.62	v -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 
3590.47/3600.62	v -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 
3590.47/3600.62	v -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 
3590.47/3600.62	v -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 
3590.47/3600.62	v -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 
3590.47/3600.62	v -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 
3590.47/3600.62	v -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 
3590.47/3600.62	v -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 
3590.47/3600.62	v -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 
3590.47/3600.62	v -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 
3590.47/3600.62	v -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 
3590.47/3600.62	v -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 
3590.47/3600.62	v -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 
3590.47/3600.62	v -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 
3590.47/3600.62	v -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 
3590.47/3600.62	v -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 
3590.47/3600.62	v -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 
3590.47/3600.62	v -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 
3590.47/3600.62	v -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 
3590.47/3600.62	v -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 
3590.47/3600.62	v -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 
3590.47/3600.62	v -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 
3590.47/3600.62	v -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 
3590.47/3600.62	v -x1084 -x1083 -x1082 -x1081 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 
3590.47/3600.62	v -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 
3590.47/3600.62	v -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 
3590.47/3600.62	v -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 
3590.47/3600.62	v -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 
3590.47/3600.62	v -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 
3590.47/3600.62	v -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 
3590.47/3600.62	v -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 
3590.47/3600.62	v -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 
3590.47/3600.62	v -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 
3590.47/3600.62	v -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 
3590.47/3600.62	v -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 
3590.47/3600.62	v -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 
3590.47/3600.62	v -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 
3590.47/3600.62	v -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 
3590.47/3600.62	v -x751 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 
3590.47/3600.62	v -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 
3590.47/3600.62	v -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 
3590.47/3600.62	v -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 
3590.47/3600.62	v -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 
3590.47/3600.62	v -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 
3590.47/3600.62	v -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 x576 
3590.47/3600.62	v -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 
3590.47/3600.62	v -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 
3590.47/3600.62	v -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 
3590.47/3600.62	v -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 
3590.47/3600.62	v -x492 -x491 x490 x489 x488 x487 -x486 x485 x484 x483 x482 x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 
3590.47/3600.62	v -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 
3590.47/3600.62	v -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 
3590.47/3600.62	v -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 
3590.47/3600.62	v -x377 -x376 x375 -x374 -x373 x372 x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 
3590.47/3600.62	v -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 x341 -x340 -x339 -x338 -x337 -x336 -x335 
3590.47/3600.62	v -x334 -x333 -x332 x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 
3590.47/3600.62	v -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 
3590.47/3600.62	v -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 
3590.47/3600.62	v -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 
3590.47/3600.62	v -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 
3590.47/3600.62	v -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 
3590.47/3600.62	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
3590.47/3600.62	v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 
3590.47/3600.62	v -x168 -x167 -x166 -x165 -x164 x163 x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
3590.47/3600.62	v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 
3590.47/3600.62	v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 
3590.47/3600.62	v x105 -x104 -x103 -x102 x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x7800 -x7799 -x7798 -x7797 -x7796 -x7795 -x7794 
3590.47/3600.62	v -x7793 -x7792 -x7791 -x7790 -x7789 -x7788 -x7787 -x7786 -x7785 -x7784 -x7783 -x7782 -x7781 -x7780 -x7779 -x7778 -x7777 -x7776 
3590.47/3600.62	v -x7775 -x7774 -x7773 -x7772 -x7771 -x7770 -x7769 -x7768 -x7767 -x7766 -x7765 -x7764 -x7763 -x7762 -x7761 -x7760 -x7759 -x7758 
3590.47/3600.62	v -x7757 -x7756 -x7755 -x7754 -x7753 -x7752 -x7751 -x7750 -x7749 -x7748 -x7747 -x7746 -x7745 -x7744 -x7743 -x7742 -x7741 
3590.47/3600.62	v -x7740 -x7739 -x7738 -x7737 -x7736 -x7735 -x7734 -x7733 -x7732 -x7731 -x7730 -x7729 -x7728 -x7727 -x7726 -x7725 -x7724 -x7723 
3590.47/3600.62	v -x7722 -x7721 -x7720 -x7719 -x7718 -x7717 -x7716 -x7715 -x7714 -x7713 -x7712 -x7711 -x7710 -x7709 -x7708 -x7707 -x7706 -x7705 
3590.47/3600.62	v -x7704 -x7703 -x7702 -x7701 -x7700 -x7699 -x7698 -x7697 -x7696 -x7695 -x7694 -x7693 -x7692 -x7691 -x7690 -x7689 -x7688 -x7687 
3590.47/3600.62	v -x7686 -x7685 -x7684 -x7683 -x7682 -x7681 -x7680 -x7679 -x7678 -x7677 -x7676 -x7675 -x7674 -x7673 -x7672 -x7671 -x7670 -x7669 
3590.47/3600.62	v -x7668 -x7667 -x7666 -x7665 -x7664 -x7663 -x7662 -x7661 -x7660 -x7659 -x7658 -x7657 -x7656 -x7655 -x7654 -x7653 -x7652 -x7651 
3590.47/3600.62	v -x7650 -x7649 -x7648 -x7647 -x7646 -x7645 -x7644 -x7643 -x7642 -x7641 -x7640 -x7639 -x7638 -x7637 -x7636 -x7635 -x7634 -x7633 
3590.47/3600.62	v -x7632 -x7631 -x7630 -x7629 -x7628 -x7627 -x7626 -x7625 -x7624 -x7623 -x7622 -x7621 -x7620 -x7619 -x7618 -x7617 -x7616 
3590.47/3600.62	v -x7615 -x7614 -x7613 -x7612 -x7611 -x7610 -x7609 -x7608 -x7607 -x7606 -x7605 -x7604 -x7603 -x7602 -x7601 -x7600 -x7599 -x7598 
3590.47/3600.62	v -x7597 -x7596 -x7595 -x7594 -x7593 -x7592 -x7591 -x7590 -x7589 -x7588 -x7587 -x7586 -x7585 -x7584 -x7583 -x7582 -x7581 -x7580 
3590.47/3600.62	v -x7579 -x7578 -x7577 -x7576 -x7575 -x7574 -x7573 -x7572 -x7571 -x7570 -x7569 -x7568 -x7567 -x7566 -x7565 -x7564 -x7563 -x7562 
3590.47/3600.62	v -x7561 -x7560 -x7559 -x7558 -x7557 -x7556 -x7555 -x7554 -x7553 -x7552 -x7551 -x7550 -x7549 -x7548 -x7547 -x7546 -x7545 -x7544 
3590.47/3600.62	v -x7543 -x7542 -x7541 -x7540 -x7539 -x7538 -x7537 -x7536 -x7535 -x7534 -x7533 -x7532 -x7531 -x7530 -x7529 -x7528 -x7527 -x7526 
3590.47/3600.62	v -x7525 -x7524 -x7523 -x7522 -x7521 -x7520 -x7519 -x7518 -x7517 -x7516 -x7515 -x7514 -x7513 -x7512 -x7511 -x7510 -x7509 -x7508 
3590.47/3600.62	v -x7507 -x7506 -x7505 -x7504 -x7503 -x7502 -x7501 -x7470 -x7469 -x7468 -x7467 -x7466 -x7465 -x7464 -x7463 -x7462 -x7461 
3590.47/3600.62	v -x7460 -x7459 -x7458 -x7457 -x7456 -x7455 -x7454 -x7453 -x7452 -x7451 -x7450 -x7449 -x7448 -x7447 -x7446 -x7445 -x7444 -x7443 
3590.47/3600.62	v -x7442 -x7441 -x7440 -x7439 -x7438 -x7437 -x7436 -x7435 -x7434 -x7433 -x7432 -x7431 -x7430 -x7429 -x7428 -x7427 -x7426 -x7425 
3590.47/3600.62	v -x7424 -x7423 -x7422 x7421 -x7420 -x7419 -x7418 -x7417 -x7416 -x7415 -x7414 -x7413 -x7412 x7411 -x7410 -x7409 -x7408 -x7407 
3590.47/3600.62	v -x7406 -x7405 -x7404 -x7403 -x7402 -x7401 -x7400 -x7399 -x7398 -x7397 -x7396 -x7395 -x7394 -x7393 -x7392 -x7391 -x7390 -x7389 
3590.47/3600.62	v -x7388 -x7387 -x7386 -x7385 -x7384 -x7383 -x7382 -x7381 -x7380 -x7379 -x7378 -x7377 -x7376 -x7375 -x7374 -x7373 -x7372 -x7371 
3590.47/3600.62	v -x7370 -x7369 -x7368 -x7367 -x7366 -x7365 -x7364 -x7363 -x7362 -x7361 x7360 x7359 x7358 x7357 x7356 x7355 x7354 x7353 x7352 
3590.47/3600.62	v x7351 -x7350 -x7349 -x7348 -x7347 -x7346 -x7345 -x7344 -x7343 -x7342 -x7341 -x7340 -x7339 -x7338 -x7337 -x7336 -x7335 -x7334 
3590.47/3600.62	v -x7333 -x7332 -x7331 -x7330 -x7329 -x7328 -x7327 -x7326 -x7325 -x7324 -x7323 -x7322 -x7321 -x7320 -x7319 -x7318 -x7317 -x7316 
3590.47/3600.62	v -x7315 -x7314 -x7313 -x7312 -x7311 -x7310 -x7309 -x7308 -x7307 -x7306 -x7305 -x7304 -x7303 -x7302 -x7301 -x7300 -x7299 -x7298 
3590.47/3600.62	v -x7297 -x7296 -x7295 -x7294 -x7293 -x7292 -x7291 -x7290 -x7289 -x7288 -x7287 -x7286 -x7285 -x7284 -x7283 -x7282 -x7281 -x7280 
3590.47/3600.62	v -x7279 -x7278 -x7277 -x7276 -x7275 -x7274 -x7273 -x7272 -x7271 -x7270 -x7269 -x7268 -x7267 -x7266 -x7265 -x7264 -x7263 -x7262 
3590.47/3600.62	v -x7261 -x7260 -x7259 -x7258 -x7257 -x7256 -x7255 -x7254 -x7253 -x7252 -x7251 -x7250 -x7249 -x7248 -x7247 -x7246 -x7245 
3590.47/3600.62	v -x7244 -x7243 -x7242 -x7241 -x7240 -x7239 -x7238 -x7237 -x7236 -x7235 -x7234 -x7233 -x7232 -x7231 -x7230 -x7229 -x7228 -x7227 
3590.47/3600.62	v -x7226 -x7225 -x7224 -x7223 -x7222 -x7221 -x7220 -x7219 -x7218 -x7217 -x7216 -x7215 -x7214 -x7213 -x7212 -x7211 -x7210 -x7209 
3590.47/3600.62	v -x7208 -x7207 -x7206 -x7205 -x7204 -x7203 -x7202 -x7201 -x7200 -x7199 -x7198 -x7197 -x7196 -x7195 -x7194 -x7193 -x7192 -x7191 
3590.47/3600.62	v -x7190 -x7189 -x7188 -x7187 -x7186 -x7185 -x7184 -x7183 -x7182 -x7181 -x7180 -x7179 -x7178 -x7177 -x7176 -x7175 -x7174 -x7173 
3590.47/3600.62	v -x7172 -x7171 -x7140 -x7139 -x7138 -x7137 -x7136 -x7135 -x7134 -x7133 -x7132 -x7131 -x7130 -x7129 -x7128 -x7127 -x7126 -x7125 
3590.47/3600.62	v -x7124 -x7123 -x7122 -x7121 -x7120 -x7119 -x7118 -x7117 -x7116 -x7115 -x7114 -x7113 -x7112 -x7111 -x7110 -x7109 -x7108 -x7107 
3590.47/3600.62	v -x7106 -x7105 -x7104 -x7103 -x7102 -x7101 -x7100 -x7099 -x7098 -x7097 -x7096 -x7095 -x7094 -x7093 -x7092 -x7091 -x7090 
3590.47/3600.62	v -x7089 -x7088 -x7087 -x7086 -x7085 -x7084 -x7083 -x7082 -x7081 -x7080 -x7079 -x7078 -x7077 -x7076 -x7075 -x7074 -x7073 -x7072 
3590.47/3600.62	v -x7071 -x7070 -x7069 -x7068 -x7067 -x7066 -x7065 -x7064 -x7063 -x7062 -x7061 -x7060 -x7059 -x7058 -x7057 -x7056 -x7055 -x7054 
3590.47/3600.62	v -x7053 -x7052 -x7051 -x7050 -x7049 -x7048 -x7047 -x7046 -x7045 -x7044 -x7043 -x7042 -x7041 -x7040 -x7039 -x7038 -x7037 -x7036 
3590.47/3600.62	v -x7035 -x7034 -x7033 -x7032 -x7031 -x7030 -x7029 -x7028 -x7027 -x7026 -x7025 -x7024 -x7023 -x7022 -x7021 -x7020 -x7019 -x7018 
3590.47/3600.62	v -x7017 -x7016 -x7015 -x7014 -x7013 -x7012 -x7011 -x7010 -x7009 -x7008 -x7007 -x7006 -x7005 -x7004 -x7003 -x7002 -x7001 -x7000 
3590.47/3600.62	v -x6999 -x6998 -x6997 -x6996 -x6995 -x6994 -x6993 -x6992 -x6991 -x6990 -x6989 -x6988 -x6987 -x6986 -x6985 -x6984 -x6983 -x6982 
3590.47/3600.62	v -x6981 -x6980 -x6979 -x6978 -x6977 -x6976 -x6975 -x6974 -x6973 -x6972 -x6971 -x6970 -x6969 -x6968 -x6967 -x6966 -x6965 
3590.47/3600.62	v -x6964 -x6963 -x6962 -x6961 -x6960 -x6959 -x6958 -x6957 -x6956 -x6955 -x6954 -x6953 -x6952 -x6951 -x6950 -x6949 -x6948 -x6947 
3590.47/3600.62	v -x6946 -x6945 -x6944 -x6943 -x6942 -x6941 -x6940 -x6939 -x6938 -x6937 -x6936 -x6935 -x6934 -x6933 -x6932 -x6931 -x6930 -x6929 
3590.47/3600.62	v -x6928 -x6927 -x6926 -x6925 -x6924 -x6923 -x6922 -x6921 -x6920 -x6919 -x6918 -x6917 -x6916 -x6915 -x6914 -x6913 -x6912 -x6911 
3590.47/3600.62	v -x6910 -x6909 -x6908 -x6907 -x6906 -x6905 -x6904 -x6903 -x6902 -x6901 -x6900 -x6899 -x6898 -x6897 -x6896 -x6895 -x6894 -x6893 
3590.47/3600.62	v -x6892 -x6891 -x6890 -x6889 -x6888 -x6887 -x6886 -x6885 -x6884 -x6883 -x6882 -x6881 -x6880 -x6879 -x6878 -x6877 -x6876 -x6875 
3590.47/3600.62	v -x6874 -x6873 -x6872 -x6871 -x6870 -x6869 -x6868 -x6867 -x6866 -x6865 -x6864 -x6863 -x6862 -x6861 -x6860 -x6859 -x6858 -x6857 
3590.47/3600.62	v -x6856 -x6855 -x6854 -x6853 -x6852 -x6851 -x6850 -x6849 -x6848 -x6847 -x6846 -x6845 -x6844 -x6843 -x6842 -x6841 -x6810 
3590.47/3600.62	v -x6809 -x6808 -x6807 -x6806 -x6805 -x6804 -x6803 -x6802 -x6801 -x6800 -x6799 -x6798 -x6797 -x6796 -x6795 -x6794 -x6793 -x6792 
3590.47/3600.62	v -x6791 -x6790 -x6789 -x6788 -x6787 -x6786 -x6785 -x6784 -x6783 -x6782 -x6781 -x6780 -x6779 -x6778 -x6777 -x6776 -x6775 -x6774 
3590.47/3600.62	v -x6773 -x6772 -x6771 -x6770 -x6769 -x6768 -x6767 -x6766 -x6765 -x6764 -x6763 -x6762 -x6761 -x6760 -x6759 -x6758 -x6757 -x6756 
3590.47/3600.62	v -x6755 -x6754 -x6753 -x6752 -x6751 -x6750 -x6749 -x6748 -x6747 -x6746 -x6745 -x6744 -x6743 -x6742 -x6741 -x6740 -x6739 -x6738 
3590.47/3600.62	v -x6737 -x6736 -x6735 -x6734 -x6733 -x6732 -x6731 -x6730 -x6729 -x6728 -x6727 -x6726 -x6725 -x6724 -x6723 x6722 -x6721 -x6720 
3590.47/3600.62	v -x6719 -x6718 -x6717 -x6716 -x6715 -x6714 -x6713 -x6712 -x6711 -x6710 -x6709 -x6708 -x6707 -x6706 -x6705 -x6704 -x6703 -x6702 
3590.47/3600.62	v -x6701 -x6700 -x6699 -x6698 -x6697 -x6696 -x6695 -x6694 -x6693 -x6692 -x6691 -x6690 -x6689 -x6688 -x6687 -x6686 -x6685 -x6684 
3590.47/3600.62	v -x6683 -x6682 -x6681 -x6680 -x6679 -x6678 -x6677 -x6676 -x6675 -x6674 -x6673 -x6672 -x6671 -x6670 -x6669 -x6668 -x6667 
3590.47/3600.62	v -x6666 -x6665 -x6664 -x6663 -x6662 -x6661 -x6660 -x6659 -x6658 -x6657 -x6656 -x6655 -x6654 -x6653 -x6652 -x6651 -x6650 -x6649 
3590.47/3600.62	v -x6648 -x6647 -x6646 -x6645 -x6644 -x6643 -x6642 -x6641 -x6640 -x6639 -x6638 -x6637 -x6636 -x6635 -x6634 -x6633 -x6632 -x6631 
3590.47/3600.62	v -x6630 -x6629 -x6628 -x6627 -x6626 -x6625 -x6624 -x6623 -x6622 -x6621 -x6620 -x6619 -x6618 -x6617 -x6616 -x6615 -x6614 -x6613 
3590.47/3600.62	v -x6612 -x6611 -x6610 -x6609 -x6608 -x6607 -x6606 -x6605 -x6604 -x6603 -x6602 -x6601 -x6600 -x6599 -x6598 -x6597 -x6596 -x6595 
3590.47/3600.62	v -x6594 -x6593 -x6592 -x6591 -x6590 -x6589 -x6588 -x6587 -x6586 -x6585 -x6584 -x6583 -x6582 -x6581 x6580 x6579 x6578 x6577 
3590.47/3600.62	v x6576 x6575 x6574 x6573 x6572 x6571 -x6570 -x6569 -x6568 -x6567 -x6566 -x6565 -x6564 -x6563 -x6562 -x6561 -x6560 -x6559 -x6558 
3590.47/3600.62	v -x6557 -x6556 -x6555 -x6554 -x6553 -x6552 x6551 -x6550 -x6549 -x6548 -x6547 -x6546 -x6545 -x6544 -x6543 -x6542 -x6541 -x6540 
3590.47/3600.62	v -x6539 -x6538 -x6537 -x6536 -x6535 -x6534 -x6533 -x6532 -x6531 -x6530 -x6529 -x6528 -x6527 -x6526 -x6525 -x6524 -x6523 -x6522 
3590.47/3600.62	v -x6521 -x6520 -x6519 -x6518 -x6517 -x6516 -x6515 -x6514 -x6513 -x6512 -x6511 -x6480 -x6479 -x6478 -x6477 -x6476 -x6475 -x6474 
3590.47/3600.62	v -x6473 -x6472 -x6471 -x6470 -x6469 -x6468 -x6467 -x6466 -x6465 -x6464 -x6463 -x6462 -x6461 -x6460 -x6459 -x6458 -x6457 -x6456 
3590.47/3600.62	v -x6455 -x6454 -x6453 -x6452 -x6451 -x6450 -x6449 -x6448 -x6447 -x6446 -x6445 -x6444 -x6443 -x6442 -x6441 -x6440 -x6439 
3590.47/3600.62	v -x6438 -x6437 -x6436 -x6435 -x6434 -x6433 x6432 -x6431 x6430 x6429 x6428 x6427 x6426 x6425 x6424 x6423 x6422 x6421 -x6420 -x6419 
3590.47/3600.62	v -x6418 -x6417 -x6416 -x6415 -x6414 -x6413 -x6412 -x6411 -x6410 -x6409 -x6408 -x6407 -x6406 -x6405 -x6404 -x6403 -x6402 -x6401 
3590.47/3600.62	v -x6400 -x6399 -x6398 -x6397 -x6396 -x6395 -x6394 -x6393 -x6392 -x6391 -x6390 -x6389 -x6388 -x6387 -x6386 -x6385 -x6384 -x6383 
3590.47/3600.62	v -x6382 -x6381 -x6380 -x6379 -x6378 -x6377 -x6376 -x6375 -x6374 -x6373 -x6372 -x6371 -x6370 -x6369 -x6368 -x6367 -x6366 
3590.47/3600.62	v -x6365 -x6364 -x6363 -x6362 -x6361 -x6360 -x6359 -x6358 -x6357 -x6356 -x6355 -x6354 -x6353 -x6352 -x6351 -x6350 -x6349 -x6348 
3590.47/3600.62	v -x6347 -x6346 -x6345 x6344 -x6343 x6342 -x6341 -x6340 -x6339 -x6338 -x6337 -x6336 -x6335 -x6334 -x6333 -x6332 -x6331 -x6330 
3590.47/3600.62	v -x6329 -x6328 -x6327 -x6326 -x6325 -x6324 -x6323 -x6322 -x6321 -x6320 -x6319 -x6318 -x6317 -x6316 -x6315 x6314 x6313 x6312 -x6311 
3590.47/3600.62	v -x6310 -x6309 -x6308 -x6307 -x6306 -x6305 -x6304 -x6303 -x6302 -x6301 -x6300 -x6299 -x6298 -x6297 -x6296 -x6295 -x6294 -x6293 
3590.47/3600.62	v -x6292 -x6291 -x6290 -x6289 -x6288 -x6287 -x6286 -x6285 -x6284 -x6283 -x6282 -x6281 -x6280 -x6279 -x6278 -x6277 -x6276 
3590.47/3600.62	v -x6275 -x6274 -x6273 -x6272 -x6271 -x6270 -x6269 -x6268 -x6267 -x6266 -x6265 -x6264 -x6263 -x6262 -x6261 -x6260 -x6259 -x6258 
3590.47/3600.62	v -x6257 -x6256 -x6255 -x6254 -x6253 -x6252 -x6251 -x6250 -x6249 -x6248 -x6247 -x6246 -x6245 -x6244 -x6243 -x6242 -x6241 -x6240 
3590.47/3600.63	v -x6239 -x6238 -x6237 -x6236 -x6235 -x6234 -x6233 -x6232 -x6231 -x6230 -x6229 -x6228 -x6227 -x6226 -x6225 -x6224 -x6223 -x6222 
3590.47/3600.63	v -x6221 -x6220 -x6219 -x6218 -x6217 -x6216 -x6215 -x6214 -x6213 -x6212 -x6211 -x6210 -x6209 -x6208 -x6207 -x6206 -x6205 -x6204 
3590.47/3600.63	v -x6203 -x6202 -x6201 -x6200 -x6199 -x6198 -x6197 -x6196 -x6195 -x6194 -x6193 -x6192 -x6191 -x6190 -x6189 -x6188 -x6187 -x6186 
3590.47/3600.63	v -x6185 -x6184 -x6183 -x6182 -x6181 -x6150 -x6149 -x6148 -x6147 -x6146 -x6145 -x6144 -x6143 -x6142 -x6141 -x6140 -x6139 -x6138 
3590.47/3600.63	v -x6137 -x6136 -x6135 -x6134 -x6133 -x6132 -x6131 -x6130 -x6129 -x6128 -x6127 -x6126 -x6125 -x6124 -x6123 -x6122 -x6121 
3590.47/3600.63	v -x6120 -x6119 -x6118 -x6117 -x6116 -x6115 -x6114 -x6113 -x6112 -x6111 -x6110 -x6109 -x6108 -x6107 -x6106 -x6105 -x6104 -x6103 
3590.47/3600.63	v -x6102 -x6101 -x6100 -x6099 -x6098 -x6097 -x6096 -x6095 -x6094 -x6093 -x6092 -x6091 -x6090 -x6089 -x6088 -x6087 -x6086 -x6085 
3590.47/3600.63	v -x6084 -x6083 -x6082 -x6081 -x6080 -x6079 -x6078 -x6077 -x6076 -x6075 -x6074 -x6073 -x6072 -x6071 -x6070 -x6069 -x6068 -x6067 
3590.47/3600.63	v -x6066 -x6065 -x6064 -x6063 -x6062 -x6061 -x6060 -x6059 -x6058 -x6057 -x6056 -x6055 -x6054 -x6053 -x6052 -x6051 -x6050 -x6049 
3590.47/3600.63	v -x6048 -x6047 -x6046 -x6045 -x6044 -x6043 -x6042 -x6041 -x6040 -x6039 -x6038 -x6037 -x6036 -x6035 -x6034 -x6033 -x6032 -x6031 
3590.47/3600.63	v -x6030 -x6029 -x6028 -x6027 -x6026 -x6025 -x6024 -x6023 -x6022 -x6021 -x6020 -x6019 -x6018 -x6017 -x6016 -x6015 -x6014 -x6013 
3590.47/3600.63	v -x6012 -x6011 -x6010 -x6009 -x6008 -x6007 -x6006 -x6005 -x6004 -x6003 -x6002 -x6001 -x6000 -x5999 -x5998 -x5997 -x5996 
3590.47/3600.63	v -x5995 -x5994 -x5993 -x5992 -x5991 -x5990 -x5989 -x5988 -x5987 -x5986 -x5985 -x5984 -x5983 -x5982 -x5981 -x5980 -x5979 -x5978 
3590.47/3600.63	v -x5977 -x5976 -x5975 -x5974 -x5973 -x5972 -x5971 -x5970 -x5969 -x5968 -x5967 -x5966 -x5965 -x5964 -x5963 -x5962 -x5961 -x5960 
3590.47/3600.63	v -x5959 -x5958 -x5957 -x5956 -x5955 -x5954 -x5953 -x5952 -x5951 -x5950 -x5949 -x5948 -x5947 -x5946 -x5945 -x5944 -x5943 -x5942 
3590.47/3600.63	v -x5941 -x5940 -x5939 -x5938 -x5937 -x5936 -x5935 -x5934 -x5933 -x5932 -x5931 -x5930 -x5929 -x5928 -x5927 -x5926 -x5925 -x5924 
3590.47/3600.63	v -x5923 -x5922 -x5921 -x5920 -x5919 -x5918 -x5917 -x5916 -x5915 -x5914 -x5913 -x5912 -x5911 -x5910 -x5909 -x5908 -x5907 -x5906 
3590.47/3600.63	v -x5905 -x5904 -x5903 -x5902 -x5901 -x5900 -x5899 -x5898 -x5897 -x5896 -x5895 -x5894 -x5893 -x5892 -x5891 -x5890 -x5889 -x5888 
3590.47/3600.63	v -x5887 -x5886 -x5885 -x5884 -x5883 -x5882 -x5881 -x5880 -x5879 -x5878 -x5877 -x5876 -x5875 -x5874 -x5873 -x5872 -x5871 
3590.47/3600.63	v -x5870 -x5869 -x5868 -x5867 -x5866 -x5865 -x5864 -x5863 -x5862 -x5861 -x5860 -x5859 -x5858 -x5857 -x5856 -x5855 -x5854 -x5853 
3590.47/3600.63	v -x5852 -x5851 -x5820 -x5819 -x5818 -x5817 -x5816 -x5815 -x5814 -x5813 -x5812 -x5811 -x5810 -x5809 -x5808 -x5807 -x5806 -x5805 
3590.47/3600.63	v -x5804 -x5803 -x5802 -x5801 -x5800 -x5799 -x5798 -x5797 -x5796 -x5795 -x5794 -x5793 -x5792 -x5791 -x5790 -x5789 -x5788 -x5787 
3590.47/3600.63	v -x5786 -x5785 -x5784 -x5783 -x5782 -x5781 -x5780 -x5779 -x5778 -x5777 -x5776 -x5775 -x5774 -x5773 -x5772 -x5771 -x5770 -x5769 
3590.47/3600.63	v -x5768 -x5767 -x5766 -x5765 -x5764 -x5763 -x5762 -x5761 -x5760 -x5759 -x5758 -x5757 -x5756 -x5755 -x5754 -x5753 -x5752 -x5751 
3590.47/3600.63	v -x5750 -x5749 -x5748 -x5747 -x5746 -x5745 -x5744 -x5743 -x5742 -x5741 -x5740 -x5739 -x5738 -x5737 -x5736 -x5735 -x5734 -x5733 
3590.47/3600.63	v -x5732 -x5731 -x5730 -x5729 -x5728 -x5727 -x5726 -x5725 -x5724 -x5723 -x5722 -x5721 -x5720 -x5719 -x5718 -x5717 -x5716 
3590.47/3600.63	v -x5715 -x5714 -x5713 -x5712 -x5711 -x5710 -x5709 -x5708 -x5707 -x5706 -x5705 -x5704 -x5703 -x5702 -x5701 -x5700 -x5699 -x5698 
3590.47/3600.63	v -x5697 -x5696 -x5695 -x5694 -x5693 -x5692 -x5691 -x5690 -x5689 -x5688 -x5687 -x5686 -x5685 -x5684 -x5683 -x5682 -x5681 -x5680 
3590.47/3600.63	v -x5679 -x5678 -x5677 -x5676 -x5675 -x5674 -x5673 -x5672 -x5671 -x5670 -x5669 -x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662 
3590.47/3600.63	v -x5661 -x5660 -x5659 -x5658 -x5657 -x5656 -x5655 -x5654 -x5653 -x5652 -x5651 -x5650 -x5649 -x5648 -x5647 -x5646 -x5645 -x5644 
3590.47/3600.63	v -x5643 -x5642 -x5641 -x5640 -x5639 -x5638 -x5637 -x5636 -x5635 -x5634 -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 -x5627 -x5626 
3590.47/3600.63	v -x5625 -x5624 -x5623 -x5622 -x5621 -x5620 -x5619 -x5618 -x5617 -x5616 -x5615 -x5614 -x5613 -x5612 -x5611 -x5610 -x5609 -x5608 
3590.47/3600.63	v -x5607 -x5606 -x5605 -x5604 -x5603 -x5602 -x5601 -x5600 -x5599 -x5598 -x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 
3590.47/3600.63	v -x5590 -x5589 -x5588 -x5587 -x5586 -x5585 -x5584 -x5583 -x5582 x5581 -x5580 -x5579 -x5578 -x5577 -x5576 -x5575 -x5574 -x5573 
3590.47/3600.63	v -x5572 -x5571 -x5570 -x5569 -x5568 -x5567 -x5566 -x5565 -x5564 -x5563 -x5562 -x5561 -x5560 -x5559 -x5558 -x5557 -x5556 -x5555 
3590.47/3600.63	v -x5554 -x5553 -x5552 -x5551 -x5550 -x5549 -x5548 -x5547 -x5546 -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 -x5537 
3590.47/3600.63	v -x5536 -x5535 x5534 -x5533 -x5532 x5531 x5530 x5529 x5528 x5527 x5526 x5525 x5524 x5523 x5522 x5521 -x5490 -x5489 -x5488 -x5487 
3590.47/3600.63	v -x5486 -x5485 -x5484 -x5483 -x5482 -x5481 -x5480 -x5479 -x5478 -x5477 -x5476 -x5475 -x5474 -x5473 -x5472 -x5471 -x5470 -x5469 
3590.47/3600.63	v -x5468 -x5467 -x5466 -x5465 -x5464 -x5463 -x5462 -x5461 -x5460 -x5459 -x5458 -x5457 -x5456 -x5455 -x5454 -x5453 -x5452 
3590.47/3600.63	v -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5445 -x5444 -x5443 -x5442 -x5441 -x5440 -x5439 -x5438 -x5437 -x5436 -x5435 -x5434 
3590.47/3600.63	v -x5433 -x5432 -x5431 -x5430 -x5429 -x5428 -x5427 -x5426 -x5425 -x5424 -x5423 -x5422 -x5421 -x5420 -x5419 -x5418 -x5417 -x5416 
3590.47/3600.63	v -x5415 -x5414 -x5413 -x5412 -x5411 -x5410 -x5409 -x5408 -x5407 -x5406 -x5405 -x5404 -x5403 -x5402 -x5401 -x5400 -x5399 -x5398 
3590.47/3600.63	v -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 -x5391 -x5390 -x5389 -x5388 -x5387 -x5386 x5385 -x5384 x5383 -x5382 x5381 -x5380 
3590.47/3600.63	v -x5379 -x5378 -x5377 -x5376 -x5375 -x5374 -x5373 -x5372 -x5371 -x5070 -x5069 -x5068 -x5067 -x5066 -x5065 -x5064 -x5063 -x5062 
3590.47/3600.63	v -x5061 -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 -x5050 -x5049 -x5048 -x5047 -x5046 -x5045 -x5044 
3590.47/3600.63	v -x5043 -x5042 -x5041 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 
3590.47/3600.63	v -x4725 -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4410 -x4409 -x4408 
3590.47/3600.63	v -x4407 -x4406 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 
3590.47/3600.63	v -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4080 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 
3590.47/3600.63	v -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 
3590.47/3600.63	v -x4054 -x4053 -x4052 -x4051 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 
3590.47/3600.63	v -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3420 -x3419 
3590.47/3600.63	v -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 
3590.47/3600.63	v -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 
3590.47/3600.63	v -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 
3590.47/3600.63	v -x3034 -x3033 -x3032 -x3031 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 
3590.47/3600.63	v -x2716 x2715 x2714 x2713 x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2400 -x2399 
3590.47/3600.63	v -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 
3590.47/3600.63	v -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 
3590.47/3600.63	v -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 
3590.47/3600.64	v -x2044 -x2043 -x2042 -x2041 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 
3590.47/3600.64	v -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1410 
3590.47/3600.64	v -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 
3590.47/3600.64	v -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 
3590.47/3600.64	v -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 x1063 x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 
3590.47/3600.64	v -x1055 -x1054 -x1053 -x1052 -x1051 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 
3590.47/3600.64	v -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x420 -x419 -x418 -x417 -x416 -x415 
3590.47/3600.64	v -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 
3590.47/3600.64	v -x393 -x392 -x391 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 
3590.47/3600.64	v -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x7500 -x7499 -x7498 -x7497 -x7496 -x7495 -x7494 -x7493 -x7492 -x7491 -x7490 -x7489 
3590.47/3600.64	v -x7488 -x7487 -x7486 -x7485 -x7484 x7483 x7482 -x7481 -x7480 -x7479 -x7478 -x7477 -x7476 -x7475 -x7474 -x7473 -x7472 -x7471 
3590.47/3600.64	v -x7170 -x7169 -x7168 -x7167 -x7166 -x7165 -x7164 -x7163 -x7162 -x7161 -x7160 -x7159 -x7158 -x7157 -x7156 -x7155 -x7154 -x7153 
3590.47/3600.64	v -x7152 -x7151 -x7150 -x7149 -x7148 -x7147 -x7146 -x7145 -x7144 -x7143 -x7142 -x7141 -x6840 -x6839 -x6838 -x6837 -x6836 
3590.47/3600.64	v -x6835 -x6834 -x6833 -x6832 -x6831 -x6830 -x6829 -x6828 -x6827 -x6826 -x6825 -x6824 -x6823 -x6822 -x6821 -x6820 -x6819 -x6818 
3590.47/3600.64	v -x6817 -x6816 -x6815 -x6814 -x6813 -x6812 -x6811 -x6510 -x6509 -x6508 -x6507 -x6506 -x6505 -x6504 -x6503 -x6502 -x6501 -x6500 
3590.47/3600.64	v -x6499 -x6498 -x6497 -x6496 -x6495 -x6494 -x6493 -x6492 -x6491 -x6490 -x6489 -x6488 -x6487 -x6486 -x6485 -x6484 -x6483 -x6482 
3590.47/3600.64	v -x6481 -x6180 -x6179 -x6178 -x6177 -x6176 -x6175 -x6174 -x6173 -x6172 -x6171 -x6170 -x6169 -x6168 -x6167 -x6166 -x6165 -x6164 
3590.47/3600.64	v -x6163 -x6162 -x6161 -x6160 -x6159 -x6158 -x6157 -x6156 -x6155 -x6154 -x6153 -x6152 -x6151 -x5850 -x5849 -x5848 -x5847 -x5846 
3590.47/3600.64	v -x5845 -x5844 -x5843 -x5842 -x5841 -x5840 -x5839 -x5838 -x5837 -x5836 -x5835 -x5834 -x5833 -x5832 -x5831 -x5830 -x5829 -x5828 
3590.47/3600.64	v -x5827 -x5826 -x5825 -x5824 -x5823 -x5822 -x5821 -x5520 -x5519 -x5518 -x5517 -x5516 -x5515 -x5514 -x5513 -x5512 -x5511 
3590.47/3600.64	v -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5501 -x5500 -x5499 -x5498 -x5497 -x5496 -x5495 -x5494 -x5493 
3590.47/3600.64	v -x5492 -x5491 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 
3590.47/3600.64	v -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x60 -x59 -x58 -x57 -x56 
3590.47/3600.64	v -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 
3590.47/3600.64	v -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 
3590.47/3600.64	v -x4 -x3 -x2 -x1 

Verifier Data

OK	5700562

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 (63199 MiB free)
  memory of node 1: 64510 MiB (62289 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
solver pid=811979, runsolver pid=811976
Current StackSize limit: 8192 KiB


[startup+0.100104 s]*
/proc/loadavg: 3.33 4.03 4.14 6/230 811989
/proc/meminfo: memFree=128461448/131655788 swapFree=131071996/131071996
[pid=811979] ppid=811976 vsize=46800 memory=35492 CPUtime=0.1 cores=1,3
/proc/811979/stat : 811979 (fscip) R 811976 811979 811937 0 -1 4194304 6553 0 0 0 9 1 0 0 20 0 1 0 158285800 47923200 8873 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
/proc/811979/statm: 11700 8873 2622 3032 0 8100 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 46800 KiB
Current children cumulated memory: 35492 KiB

[startup+0.213402 s]*
/proc/loadavg: 3.33 4.03 4.14 7/239 812005
/proc/meminfo: memFree=128415756/131655788 swapFree=131071996/131071996
[pid=811979] ppid=811976 vsize=59664 memory=47656 CPUtime=0.22 cores=1,3
/proc/811979/stat : 811979 (fscip) R 811976 811979 811937 0 -1 4194304 10055 0 0 0 19 3 0 0 20 0 1 0 158285800 61095936 11914 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
/proc/811979/statm: 14916 11914 2750 3032 0 11316 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 59664 KiB
Current children cumulated memory: 47656 KiB

[startup+0.313774 s]*
/proc/loadavg: 3.33 4.03 4.14 4/243 812011
/proc/meminfo: memFree=128387852/131655788 swapFree=131071996/131071996
[pid=811979] ppid=811976 vsize=145016 memory=58784 CPUtime=0.31 cores=1,3
/proc/811979/stat : 811979 (fscip) S 811976 811979 811937 0 -1 1077936128 13747 0 0 0 27 4 0 0 20 0 2 0 158285800 148496384 14696 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
/proc/811979/statm: 36254 14696 2782 3032 0 17645 0
[pid=811979/tid=812011] ppid=811976 vsize=145016 memory=-6170700487931690437 CPUtime=0.01 cores=1,3
/proc/811979/task/812011/stat : 812011 (fscip) R 811976 811979 811937 0 -1 4194368 1573 0 0 0 1 0 0 0 20 0 2 0 158285828 148496384 14894 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 145016 KiB
Current children cumulated memory: 58784 KiB

[startup+0.700438 s]
/proc/loadavg: 3.33 4.03 4.14 4/245 812028
/proc/meminfo: memFree=128280244/131655788 swapFree=131071996/131071996
[pid=811979] ppid=811976 vsize=165968 memory=98624 CPUtime=0.67 cores=1,3
/proc/811979/stat : 811979 (fscip) S 811976 811979 811937 0 -1 1077936128 25227 0 0 0 59 8 0 0 20 0 3 0 158285800 169951232 24656 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
/proc/811979/statm: 41492 24656 2894 3032 0 31403 0
[pid=811979/tid=812011] ppid=811976 vsize=165968 memory=42368 CPUtime=0.37 cores=1,3
/proc/811979/task/812011/stat : 812011 (fscip) R 811976 811979 811937 0 -1 4194368 12815 0 0 0 33 4 0 0 20 0 3 0 158285828 169951232 24656 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
[pid=811979/tid=812012] ppid=811976 vsize=165968 memory=12440 CPUtime=0 cores=1,3
/proc/811979/task/812012/stat : 812012 (fscip) S 811976 811979 811937 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 158285833 169951232 24656 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 165968 KiB
Current children cumulated memory: 98624 KiB

[startup+1.50044 s]
/proc/loadavg: 3.33 4.03 4.14 5/248 812060
/proc/meminfo: memFree=128195692/131655788 swapFree=131071996/131071996
[pid=811979] ppid=811976 vsize=167764 memory=119656 CPUtime=1.47 cores=1,3
/proc/811979/stat : 811979 (fscip) S 811976 811979 811937 0 -1 1077936128 37058 0 0 0 138 9 0 0 20 0 3 0 158285800 171790336 29914 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
/proc/811979/statm: 41941 29914 2910 3032 0 36651 0
[pid=811979/tid=812011] ppid=811976 vsize=167764 memory=12440 CPUtime=1.17 cores=1,3
/proc/811979/task/812011/stat : 812011 (fscip) R 811976 811979 811937 0 -1 4194368 24643 0 0 0 112 5 0 0 20 0 3 0 158285828 171790336 29914 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
[pid=811979/tid=812012] ppid=811976 vsize=167764 memory=12440 CPUtime=0 cores=1,3
/proc/811979/task/812012/stat : 812012 (fscip) S 811976 811979 811937 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 158285833 171790336 29914 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 167764 KiB
Current children cumulated memory: 119656 KiB

[startup+3.11381 s]
/proc/loadavg: 3.33 4.03 4.14 5/251 812063
/proc/meminfo: memFree=127796860/131655788 swapFree=131071996/131071996
[pid=811979] ppid=811976 vsize=168952 memory=131120 CPUtime=3.08 cores=1,3
/proc/811979/stat : 811979 (fscip) S 811976 811979 811937 0 -1 1077936128 44229 0 0 0 298 10 0 0 20 0 3 0 158285800 173006848 32780 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
/proc/811979/statm: 42238 32780 2910 3032 0 38597 0
[pid=811979/tid=812011] ppid=811976 vsize=168952 memory=12440 CPUtime=2.77 cores=1,3
/proc/811979/task/812011/stat : 812011 (fscip) R 811976 811979 811937 0 -1 4194368 31814 0 0 0 271 6 0 0 20 0 3 0 158285828 173006848 32780 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
[pid=811979/tid=812012] ppid=811976 vsize=168952 memory=42368 CPUtime=0 cores=1,3
/proc/811979/task/812012/stat : 812012 (fscip) S 811976 811979 811937 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 158285833 173006848 32780 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 168952 KiB
Current children cumulated memory: 131120 KiB

[startup+6.30038 s]
/proc/loadavg: 3.47 4.04 4.15 5/252 812066
/proc/meminfo: memFree=127492628/131655788 swapFree=131071996/131071996
[pid=811979] ppid=811976 vsize=239084 memory=150400 CPUtime=6.25 cores=1,3
/proc/811979/stat : 811979 (fscip) S 811976 811979 811937 0 -1 1077936128 76922 0 0 0 613 12 0 0 20 0 3 0 158285800 244822016 37600 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
/proc/811979/statm: 59771 37600 2910 3032 0 43492 0
[pid=811979/tid=812011] ppid=811976 vsize=239084 memory=-6371021640689695590 CPUtime=5.95 cores=1,3
/proc/811979/task/812011/stat : 812011 (fscip) R 811976 811979 811937 0 -1 4194368 64504 0 0 0 587 8 0 0 20 0 3 0 158285828 244822016 37600 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
[pid=811979/tid=812012] ppid=811976 vsize=239084 memory=-6224374277335071590 CPUtime=0 cores=1,3
/proc/811979/task/812012/stat : 812012 (fscip) S 811976 811979 811937 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 158285833 244822016 37600 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 239084 KiB
Current children cumulated memory: 150400 KiB

[startup+12.7004 s]
/proc/loadavg: 3.51 4.04 4.15 5/252 812066
/proc/meminfo: memFree=127319184/131655788 swapFree=131071996/131071996
[pid=811979] ppid=811976 vsize=239084 memory=173272 CPUtime=12.63 cores=1,3
/proc/811979/stat : 811979 (fscip) S 811976 811979 811937 0 -1 1077936128 100304 0 0 0 1249 14 0 0 20 0 3 0 158285800 244822016 43318 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
/proc/811979/statm: 59771 43318 2958 3032 0 49927 0
[pid=811979/tid=812011] ppid=811976 vsize=239084 memory=-6224374277335071590 CPUtime=12.33 cores=1,3
/proc/811979/task/812011/stat : 812011 (fscip) R 811976 811979 811937 0 -1 4194368 86973 0 0 0 1223 10 0 0 20 0 3 0 158285828 244822016 43318 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
[pid=811979/tid=812012] ppid=811976 vsize=239084 memory=12440 CPUtime=0 cores=1,3
/proc/811979/task/812012/stat : 812012 (fscip) S 811976 811979 811937 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 158285833 244822016 43318 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 239084 KiB
Current children cumulated memory: 173272 KiB

[startup+25.5004 s]
/proc/loadavg: 3.62 4.04 4.14 5/252 812068
/proc/meminfo: memFree=127216676/131655788 swapFree=131071996/131071996
[pid=811979] ppid=811976 vsize=239084 memory=173840 CPUtime=25.4 cores=1,3
/proc/811979/stat : 811979 (fscip) S 811976 811979 811937 0 -1 1077936128 123127 0 0 0 2524 16 0 0 20 0 3 0 158285800 244822016 43460 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
/proc/811979/statm: 59771 43460 2958 3032 0 49927 0
[pid=811979/tid=812011] ppid=811976 vsize=239084 memory=173348 CPUtime=25.09 cores=1,3
/proc/811979/task/812011/stat : 812011 (fscip) R 811976 811979 811937 0 -1 4194368 109733 0 0 0 2497 12 0 0 20 0 3 0 158285828 244822016 43460 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
[pid=811979/tid=812012] ppid=811976 vsize=239084 memory=6720666558236015473 CPUtime=0 cores=1,3
/proc/811979/task/812012/stat : 812012 (fscip) S 811976 811979 811937 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 158285833 244822016 43460 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 239084 KiB
Current children cumulated memory: 173840 KiB

[startup+51.1131 s]
/proc/loadavg: 3.95 4.08 4.16 5/252 812073
/proc/meminfo: memFree=127104244/131655788 swapFree=131071996/131071996
[pid=811979] ppid=811976 vsize=239084 memory=201576 CPUtime=50.93 cores=1,3
/proc/811979/stat : 811979 (fscip) S 811976 811979 811937 0 -1 1077936128 174979 0 0 0 5074 19 0 0 20 0 3 0 158285800 244822016 50394 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
/proc/811979/statm: 59771 50394 3310 3032 0 55912 0
[pid=811979/tid=812011] ppid=811976 vsize=239084 memory=6720666558236015473 CPUtime=50.62 cores=1,3
/proc/811979/task/812011/stat : 812011 (fscip) R 811976 811979 811937 0 -1 4194368 161525 0 0 0 5047 15 0 0 20 0 3 0 158285828 244822016 50394 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
[pid=811979/tid=812012] ppid=811976 vsize=239084 memory=12440 CPUtime=0 cores=1,3
/proc/811979/task/812012/stat : 812012 (fscip) S 811976 811979 811937 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 158285833 244822016 50394 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 239084 KiB
Current children cumulated memory: 201576 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.09 4.15 5/250 812083
/proc/meminfo: memFree=126985500/131655788 swapFree=131071996/131071996
[pid=811979] ppid=811976 vsize=304620 memory=211600 CPUtime=101.96 cores=1,3
/proc/811979/stat : 811979 (fscip) S 811976 811979 811937 0 -1 1077936128 207105 0 0 0 10174 22 0 0 20 0 3 0 158285800 311930880 52900 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
/proc/811979/statm: 76155 52900 3310 3032 0 57579 0
[pid=811979/tid=812011] ppid=811976 vsize=304620 memory=12440 CPUtime=101.65 cores=1,3
/proc/811979/task/812011/stat : 812011 (fscip) R 811976 811979 811937 0 -1 4194368 193594 0 0 0 10147 18 0 0 20 0 3 0 158285828 311930880 52900 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
[pid=811979/tid=812012] ppid=811976 vsize=304620 memory=211600 CPUtime=0 cores=1,3
/proc/811979/task/812012/stat : 812012 (fscip) S 811976 811979 811937 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 158285833 311930880 52900 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 304620 KiB
Current children cumulated memory: 211600 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.08 4.15 5/250 812093
/proc/meminfo: memFree=126896376/131655788 swapFree=131071996/131071996
[pid=811979] ppid=811976 vsize=304620 memory=231328 CPUtime=161.78 cores=1,3
/proc/811979/stat : 811979 (fscip) S 811976 811979 811937 0 -1 1077936128 214641 0 0 0 16154 24 0 0 20 0 3 0 158285800 311930880 57832 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
/proc/811979/statm: 76155 57832 3310 3032 0 60700 0
[pid=811979/tid=812011] ppid=811976 vsize=304620 memory=225356 CPUtime=161.45 cores=1,3
/proc/811979/task/812011/stat : 812011 (fscip) R 811976 811979 811937 0 -1 4194368 201094 0 0 0 16126 19 0 0 20 0 3 0 158285828 311930880 57832 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
[pid=811979/tid=812012] ppid=811976 vsize=304620 memory=224596 CPUtime=0 cores=1,3
/proc/811979/task/812012/stat : 812012 (fscip) S 811976 811979 811937 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 158285833 311930880 57832 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 304620 KiB
Current children cumulated memory: 231328 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.10 4.15 5/250 812104
/proc/meminfo: memFree=126870456/131655788 swapFree=131071996/131071996
[pid=811979] ppid=811976 vsize=301264 memory=246720 CPUtime=221.59 cores=1,3
/proc/811979/stat : 811979 (fscip) S 811976 811979 811937 0 -1 1077936128 228420 0 0 0 22133 26 0 0 20 0 3 0 158285800 308494336 61680 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
/proc/811979/statm: 75316 61680 3326 3032 0 64378 0
[pid=811979/tid=812011] ppid=811976 vsize=301264 memory=246420 CPUtime=221.26 cores=1,3
/proc/811979/task/812011/stat : 812011 (fscip) R 811976 811979 811937 0 -1 4194368 214851 0 0 0 22105 21 0 0 20 0 3 0 158285828 308494336 61680 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0

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

/proc/811979/statm: 174992 155622 3326 3032 0 158631 0
[pid=811979/tid=812011] ppid=811976 vsize=699968 memory=5576 CPUtime=3392 cores=1,3
/proc/811979/task/812011/stat : 812011 (fscip) R 811976 811979 811937 0 -1 4194368 1137992 0 0 0 339063 137 0 0 20 0 3 0 158285828 716767232 155622 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
[pid=811979/tid=812012] ppid=811976 vsize=699968 memory=615772 CPUtime=0.06 cores=1,3
/proc/811979/task/812012/stat : 812012 (fscip) S 811976 811979 811937 0 -1 1077936192 156 0 0 0 2 4 0 0 20 0 3 0 158285833 716767232 155622 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
Current children cumulated CPU time: 3392.65 s
Current children cumulated vsize: 699968 KiB
Current children cumulated memory: 622488 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.26 4.25 5/252 813887
/proc/meminfo: memFree=124949860/131655788 swapFree=131071996/131071996
[pid=811979] ppid=811976 vsize=699968 memory=637240 CPUtime=3452.51 cores=1,3
/proc/811979/stat : 811979 (fscip) S 811976 811979 811937 0 -1 1077936128 1177094 0 0 0 345093 158 0 0 20 0 3 0 158285800 716767232 159310 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
/proc/811979/statm: 174992 159310 3326 3032 0 162717 0
[pid=811979/tid=812011] ppid=811976 vsize=699968 memory=615772 CPUtime=3451.85 cores=1,3
/proc/811979/task/812011/stat : 812011 (fscip) R 811976 811979 811937 0 -1 4194368 1162317 0 0 0 345045 140 0 0 20 0 3 0 158285828 716767232 159310 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
[pid=811979/tid=812012] ppid=811976 vsize=699968 memory=626356 CPUtime=0.06 cores=1,3
/proc/811979/task/812012/stat : 812012 (fscip) S 811976 811979 811937 0 -1 1077936192 158 0 0 0 2 4 0 0 20 0 3 0 158285833 716767232 159310 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
Current children cumulated CPU time: 3452.51 s
Current children cumulated vsize: 699968 KiB
Current children cumulated memory: 637240 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.22 4.23 5/252 813897
/proc/meminfo: memFree=124936272/131655788 swapFree=131071996/131071996
[pid=811979] ppid=811976 vsize=699968 memory=640964 CPUtime=3512.36 cores=1,3
/proc/811979/stat : 811979 (fscip) S 811976 811979 811937 0 -1 1077936128 1198311 0 0 0 351075 161 0 0 20 0 3 0 158285800 716767232 160241 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
/proc/811979/statm: 174992 160241 3326 3032 0 163455 0
[pid=811979/tid=812011] ppid=811976 vsize=699968 memory=637256 CPUtime=3511.69 cores=1,3
/proc/811979/task/812011/stat : 812011 (fscip) R 811976 811979 811937 0 -1 4194368 1183517 0 0 0 351026 143 0 0 20 0 3 0 158285828 716767232 160241 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
[pid=811979/tid=812012] ppid=811976 vsize=699968 memory=637252 CPUtime=0.06 cores=1,3
/proc/811979/task/812012/stat : 812012 (fscip) S 811976 811979 811937 0 -1 1077936192 160 0 0 0 2 4 0 0 20 0 3 0 158285833 716767232 160241 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
Current children cumulated CPU time: 3512.36 s
Current children cumulated vsize: 699968 KiB
Current children cumulated memory: 640964 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.21 4.23 5/251 813908
/proc/meminfo: memFree=124901152/131655788 swapFree=131071996/131071996
[pid=811979] ppid=811976 vsize=699968 memory=645428 CPUtime=3572.21 cores=1,3
/proc/811979/stat : 811979 (fscip) S 811976 811979 811937 0 -1 1077936128 1219193 0 0 0 357058 163 0 0 20 0 3 0 158285800 716767232 161357 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
/proc/811979/statm: 174992 161357 3326 3032 0 164536 0
[pid=811979/tid=812011] ppid=811976 vsize=699968 memory=12440 CPUtime=3571.54 cores=1,3
/proc/811979/task/812011/stat : 812011 (fscip) R 811976 811979 811937 0 -1 4194368 1204382 0 0 0 357008 146 0 0 20 0 3 0 158285828 716767232 161357 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
[pid=811979/tid=812012] ppid=811976 vsize=699968 memory=42368 CPUtime=0.06 cores=1,3
/proc/811979/task/812012/stat : 812012 (fscip) S 811976 811979 811937 0 -1 1077936192 162 0 0 0 2 4 0 0 20 0 3 0 158285833 716767232 161357 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
Current children cumulated CPU time: 3572.21 s
Current children cumulated vsize: 699968 KiB
Current children cumulated memory: 645428 KiB

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

# cumulated CPU time of all completed processes:  user=3588.84 s, system=1.69217 s

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

[startup+3584 s]*
/proc/loadavg: 4.15 4.21 4.23 5/251 813908
/proc/meminfo: memFree=124901068/131655788 swapFree=131071996/131071996
[pid=811979] ppid=811976 vsize=699968 memory=645448 CPUtime=3573.91 cores=1,3
/proc/811979/stat : 811979 (fscip) S 811976 811979 811937 0 -1 1077936128 1219299 0 0 0 357228 163 0 0 20 0 3 0 158285800 716767232 161362 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
/proc/811979/statm: 174992 161362 3326 3032 0 164536 0
[pid=811979/tid=812011] ppid=811976 vsize=699968 memory=6720666549495151473 CPUtime=3573.25 cores=1,3
/proc/811979/task/812011/stat : 812011 (fscip) R 811976 811979 811937 0 -1 4194368 1204488 0 0 0 357179 146 0 0 20 0 3 0 158285828 716767232 161362 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
[pid=811979/tid=812012] ppid=811976 vsize=699968 memory=-8621784589405766303 CPUtime=0.06 cores=1,3
/proc/811979/task/812012/stat : 812012 (fscip) S 811976 811979 811937 0 -1 1077936192 162 0 0 0 2 4 0 0 20 0 3 0 158285833 716767232 161362 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
Current children cumulated CPU time: 3573.91 s
Current children cumulated vsize: 699968 KiB
Current children cumulated memory: 645448 KiB

[startup+3590.4 s]
/proc/loadavg: 4.20 4.22 4.23 5/251 813909
/proc/meminfo: memFree=124897736/131655788 swapFree=131071996/131071996
[pid=811979] ppid=811976 vsize=699968 memory=645464 CPUtime=3580.28 cores=1,3
/proc/811979/stat : 811979 (fscip) S 811976 811979 811937 0 -1 1077936128 1224031 0 0 0 357865 163 0 0 20 0 3 0 158285800 716767232 161366 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
/proc/811979/statm: 174992 161366 3326 3032 0 164536 0
[pid=811979/tid=812011] ppid=811976 vsize=699968 memory=0 CPUtime=3579.62 cores=1,3
/proc/811979/task/812011/stat : 812011 (fscip) R 811976 811979 811937 0 -1 4194368 1209213 0 0 0 357816 146 0 0 20 0 3 0 158285828 716767232 161366 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
[pid=811979/tid=812012] ppid=811976 vsize=699968 memory=12440 CPUtime=0.06 cores=1,3
/proc/811979/task/812012/stat : 812012 (fscip) S 811976 811979 811937 0 -1 1077936192 165 0 0 0 2 4 0 0 20 0 3 0 158285833 716767232 161366 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
Current children cumulated CPU time: 3580.28 s
Current children cumulated vsize: 699968 KiB
Current children cumulated memory: 645464 KiB

[startup+3596.8 s]
/proc/loadavg: 4.18 4.22 4.23 5/251 813911
/proc/meminfo: memFree=124895860/131655788 swapFree=131071996/131071996
[pid=811979] ppid=811976 vsize=699968 memory=645420 CPUtime=3586.67 cores=1,3
/proc/811979/stat : 811979 (fscip) S 811976 811979 811937 0 -1 1077936128 1234125 0 0 0 358503 164 0 0 20 0 3 0 158285800 716767232 161355 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
/proc/811979/statm: 174992 161355 3326 3032 0 167539 0
[pid=811979/tid=812011] ppid=811976 vsize=699968 memory=645364 CPUtime=3586 cores=1,3
/proc/811979/task/812011/stat : 812011 (fscip) R 811976 811979 811937 0 -1 4194368 1219293 0 0 0 358454 146 0 0 20 0 3 0 158285828 716767232 161355 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
[pid=811979/tid=812012] ppid=811976 vsize=699968 memory=12440 CPUtime=0.06 cores=1,3
/proc/811979/task/812012/stat : 812012 (fscip) S 811976 811979 811937 0 -1 1077936192 165 0 0 0 2 4 0 0 20 0 3 0 158285833 716767232 161355 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
Current children cumulated CPU time: 3586.67 s
Current children cumulated vsize: 699968 KiB
Current children cumulated memory: 645420 KiB

[startup+3598.4 s]
/proc/loadavg: 4.18 4.22 4.23 5/251 813911
/proc/meminfo: memFree=124895844/131655788 swapFree=131071996/131071996
[pid=811979] ppid=811976 vsize=699968 memory=645420 CPUtime=3588.26 cores=1,3
/proc/811979/stat : 811979 (fscip) S 811976 811979 811937 0 -1 1077936128 1234245 0 0 0 358662 164 0 0 20 0 3 0 158285800 716767232 161355 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
/proc/811979/statm: 174992 161355 3326 3032 0 167539 0
[pid=811979/tid=812011] ppid=811976 vsize=699968 memory=2008 CPUtime=3587.59 cores=1,3
/proc/811979/task/812011/stat : 812011 (fscip) R 811976 811979 811937 0 -1 4194368 1219413 0 0 0 358613 146 0 0 20 0 3 0 158285828 716767232 161355 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
[pid=811979/tid=812012] ppid=811976 vsize=699968 memory=645420 CPUtime=0.06 cores=1,3
/proc/811979/task/812012/stat : 812012 (fscip) S 811976 811979 811937 0 -1 1077936192 165 0 0 0 2 4 0 0 20 0 3 0 158285833 716767232 161355 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
Current children cumulated CPU time: 3588.26 s
Current children cumulated vsize: 699968 KiB
Current children cumulated memory: 645420 KiB

[startup+3600 s]*
/proc/loadavg: 4.17 4.21 4.23 5/251 813911
/proc/meminfo: memFree=124895740/131655788 swapFree=131071996/131071996
[pid=811979] ppid=811976 vsize=698172 memory=643720 CPUtime=3589.87 cores=1,3
/proc/811979/stat : 811979 (fscip) S 811976 811979 811937 0 -1 1077936128 1236477 0 0 0 358823 164 0 0 20 0 3 0 158285800 714928128 160930 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
/proc/811979/statm: 174543 160930 3326 3032 0 167090 0
[pid=811979/tid=812011] ppid=811976 vsize=698172 memory=6720666549495151473 CPUtime=3589.21 cores=1,3
/proc/811979/task/812011/stat : 812011 (fscip) R 811976 811979 811937 0 -1 4194368 1221672 0 0 0 358774 147 0 0 20 0 3 0 158285828 714928128 160930 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
[pid=811979/tid=812012] ppid=811976 vsize=698172 memory=7696 CPUtime=0.06 cores=1,3
/proc/811979/task/812012/stat : 812012 (fscip) S 811976 811979 811937 0 -1 1077936192 165 0 0 0 2 4 0 0 20 0 3 0 158285833 714928128 160930 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
Current children cumulated CPU time: 3589.87 s
Current children cumulated vsize: 698172 KiB
Current children cumulated memory: 643720 KiB

[startup+3600.4 s]
/proc/loadavg: 4.17 4.21 4.23 5/251 813911
/proc/meminfo: memFree=124895740/131655788 swapFree=131071996/131071996
[pid=811979] ppid=811976 vsize=698172 memory=643720 CPUtime=3590.26 cores=1,3
/proc/811979/stat : 811979 (fscip) S 811976 811979 811937 0 -1 1077936128 1258891 0 0 0 358860 166 0 0 20 0 3 0 158285800 714928128 160930 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
/proc/811979/statm: 174543 160930 3326 3032 0 167090 0
[pid=811979/tid=812011] ppid=811976 vsize=698172 memory=5576 CPUtime=3589.6 cores=1,3
/proc/811979/task/812011/stat : 812011 (fscip) R 811976 811979 811937 0 -1 4194368 1244059 0 0 0 358811 149 0 0 20 0 3 0 158285828 714928128 160930 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
[pid=811979/tid=812012] ppid=811976 vsize=698172 memory=16328 CPUtime=0.06 cores=1,3
/proc/811979/task/812012/stat : 812012 (fscip) S 811976 811979 811937 0 -1 1077936192 165 0 0 0 2 4 0 0 20 0 3 0 158285833 714928128 160930 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
Current children cumulated CPU time: 3590.26 s
Current children cumulated vsize: 698172 KiB
Current children cumulated memory: 643720 KiB

[startup+3600.6 s]
/proc/loadavg: 4.17 4.21 4.23 5/251 813911
/proc/meminfo: memFree=124895740/131655788 swapFree=131071996/131071996
[pid=811979] ppid=811976 vsize=698172 memory=643720 CPUtime=3590.47 cores=1,3
/proc/811979/stat : 811979 (fscip) S 811976 811979 811937 0 -1 1077936128 1261936 0 0 0 358880 167 0 0 20 0 3 0 158285800 714928128 160930 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
/proc/811979/statm: 174543 160930 3326 3032 0 167090 0
[pid=811979/tid=812011] ppid=811976 vsize=698172 memory=8144 CPUtime=3589.8 cores=1,3
/proc/811979/task/812011/stat : 812011 (fscip) R 811976 811979 811937 0 -1 4194368 1247105 0 0 0 358831 149 0 0 20 0 3 0 158285828 714928128 160930 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
[pid=811979/tid=812012] ppid=811976 vsize=698172 memory=2100 CPUtime=0.06 cores=1,3
/proc/811979/task/812012/stat : 812012 (fscip) S 811976 811979 811937 0 -1 1077936192 165 0 0 0 2 4 0 0 20 0 3 0 158285833 714928128 160930 134679101440 4194304 16613245 140728475709200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 32497664 140728475710485 140728475710601 140728475710601 140728475717616 0
Current children cumulated CPU time: 3590.47 s
Current children cumulated vsize: 698172 KiB
Current children cumulated memory: 643720 KiB

Child status: 0

Real time (s): 3600.66
CPU time (s): 3590.53
CPU user time (s): 3588.84
CPU system time (s): 1.69217
CPU usage (%): 99.7187
Max. virtual memory (cumulated for all children) (KiB): 699968
Max. memory (cumulated for all children) (KiB): 645516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.84
system time used= 1.69217
maximum resident set size= 655792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1262663
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= 10282
involuntary context switches= 2870


# summary of solver processes directly reported to runsolver:
#   pid: 811979
#   total CPU time (s): 3590.53
#   total CPU user time (s): 3588.84
#   total CPU system time (s): 1.69217

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.8928 second user time and 36.7499 second system time

The end

Launcher Data

Begin job on nodeC002 at 2024-07-15 18:34:50
IDJOB=4434581
IDBENCH=146743
IDSOLVER=3064
FILE ID=nodeC002/4434581-1721061277
RUNJOBID= nodeC002-1721061290-811949
SLURM_JOB_ID= 7505511
Free space on /tmp= 723784 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x26.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-4434581-1721061277/watcher-4434581-1721061277 -o /tmp/evaluation-result-4434581-1721061277/solver-4434581-1721061277 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721061290-811949 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4434581-1721061277.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 6ea30ee5c980a208725b42ec6ced88d1
RANDOM SEED=1094087206

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		: 1197.153
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		: 3489.011
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.189
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.155
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		: 1197.156
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		: 1197.160
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.159
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.156
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:        128523848 kB
MemAvailable:   129914152 kB
Buffers:          381832 kB
Cached:          1837220 kB
SwapCached:            0 kB
Active:           604732 kB
Inactive:        1973580 kB
Active(anon):       2596 kB
Inactive(anon):   394388 kB
Active(file):     602136 kB
Inactive(file):  1579192 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             94676 kB
Writeback:             4 kB
AnonPages:        358860 kB
Mapped:           103440 kB
Shmem:             37704 kB
KReclaimable:      98016 kB
Slab:             195920 kB
SReclaimable:      98016 kB
SUnreclaim:        97904 kB
KernelStack:        3648 kB
PageTables:         9228 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     834532 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52800 kB
HardwareCorrupted:     0 kB
AnonHugePages:    231424 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= 723668 MiB
End job on nodeC002 at 2024-07-15 19:34:51