Trace number 4463914

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-30SAT5373732 3589.51 3598.48

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran14x18.opb
MD5SUM5c8d8ce64a950076da07daccd75facb4
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4052992
Best CPU time to get the best result obtained on this benchmark71226.5
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7812
Total number of constraints284
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 constraints284
Minimum length of a constraint31
Maximum length of a constraint540
Number of terms in the objective function 7812
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 1450667950777
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 1450667950777
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: e6e2b6ff-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
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.1         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
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.4.0         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.07	c ** Before presolving: virtualMemUsedAtLc = 44883968, getVmSize() = 44883968, SCIPgetMemUsed() = 19346370, SCIPgetMemTotal() = 23040314, SCIPgetMemExternEstim() = 7320255
0.00/0.07	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.21/0.28	c ** Estimated virtualMemUsedAtSolver = 37905749, getVmSize() = 68833280, SCIPgetMemUsed() = 28696206, SCIPgetMemTotal() = 45542942, SCIPgetMemExternEstim() = 7320255
0.21/0.28	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.21/0.28	c Original Problem   :
0.21/0.28	c   Problem name     : instance-4463914-1722378594
0.21/0.28	c   Variables        : 7812 (7812 binary, 0 integer, 0 implicit integer, 0 continuous)
0.21/0.28	c   Constraints      : 284
0.21/0.28	c   Objective sense  : minimize
0.21/0.28	c Presolved Problem  :
0.21/0.28	c   Variables        : 3840 (3840 binary, 0 integer, 0 implicit integer, 0 continuous)
0.21/0.28	c   Constraints      : 912
0.21/0.28	c Constraints        : Number
0.21/0.28	c   knapsack         : 216 
0.21/0.28	c   setppc           : 664 
0.21/0.28	c   linear           : 32 
0.21/0.28	c ** Instance transfer method used: 0
0.21/0.30	c ** ParaScipInstance copy does not increase the number of variables. **
0.21/0.32	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.21/0.32	c                                Nodes    Active                                            
0.21/0.32	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
16.24/16.37	c *      16              0           1         1     6242930.0000                -          -
16.24/16.37	c        16              0           1         1     6242930.0000                -          -
21.73/21.84	c        22              3           2         1     6242930.0000     3236544.4058     92.89%
27.51/27.65	c        28              8           7         1     6242930.0000     3236544.4058     92.89%
32.70/32.86	c        33             14          13         1     6242930.0000     3236544.4058     92.89%
39.29/39.41	c        39             26          25         1     6242930.0000     3241645.5808     92.59%
45.17/45.32	c        45             68          67         1     6242930.0000     3241645.5808     92.59%
50.87/51.07	c *      51             94          93         1     5951702.0000     3242419.5083     83.56%
50.87/51.07	c        51             94          93         1     5951702.0000     3242419.5083     83.56%
56.65/56.86	c        57            127         126         1     5951702.0000     3242419.5083     83.56%
61.23/61.50	c *      62            153         152         1     5861590.0000     3242419.5083     80.78%
62.63/62.86	c        63            165         164         1     5861590.0000     3242419.5083     80.78%
69.02/69.27	c        69            190         189         1     5861590.0000     3242419.5083     80.78%
74.10/74.34	c        74            202         201         1     5861590.0000     3242424.8752     80.78%
79.90/80.13	c        80            214         213         1     5861590.0000     3242424.8752     80.78%
85.67/85.94	c        86            232         231         1     5861590.0000     3242424.8752     80.78%
90.77/91.06	c        91            259         258         1     5861590.0000     3242585.3267     80.77%
95.77/96.07	c        96            274         273         1     5861590.0000     3243098.7911     80.74%
102.03/102.31	c       102            298         297         1     5861590.0000     3243098.7911     80.74%
108.22/108.54	c       109            310         309         1     5861590.0000     3243410.1978     80.72%
113.30/113.67	c       114            327         326         1     5861590.0000     3243410.1978     80.72%
118.48/118.84	c       119            346         345         1     5861590.0000     3244802.8328     80.65%
125.06/125.46	c       125            374         373         1     5861590.0000     3246841.7489     80.53%
132.25/132.68	c       133            404         403         1     5861590.0000     3246862.8761     80.53%
138.03/138.47	c       138            427         426         1     5861590.0000     3247813.5997     80.48%
143.42/143.87	c       144            446         445         1     5861590.0000     3247813.5997     80.48%
149.10/149.52	c       150            476         475         1     5861590.0000     3249760.3499     80.37%
154.19/154.67	c       155            490         489         1     5861590.0000     3251150.5231     80.29%
159.87/160.38	c       160            520         519         1     5861590.0000     3251198.4352     80.29%
165.57/166.02	c       166            535         534         1     5861590.0000     3251198.4352     80.29%
171.55/172.04	c       172            553         552         1     5861590.0000     3251956.1731     80.25%
176.74/177.27	c       177            566         565         1     5861590.0000     3251956.1731     80.25%
182.82/183.32	c       183            580         579         1     5861590.0000     3251956.1731     80.25%
188.52/189.06	c       189            601         600         1     5861590.0000     3251956.1731     80.25%
193.98/194.53	c       195            617         616         1     5861590.0000     3252700.6126     80.21%
199.37/199.93	c       200            637         636         1     5861590.0000     3253711.0615     80.15%
204.57/205.13	c       205            655         654         1     5861590.0000     3253711.0615     80.15%
210.35/210.90	c       211            677         676         1     5861590.0000     3254388.0737     80.11%
215.73/216.38	c       216            711         710         1     5861590.0000     3254687.0679     80.10%
221.32/221.97	c       222            736         735         1     5861590.0000     3254687.0679     80.10%
226.81/227.47	c       227            747         746         1     5861590.0000     3254687.0679     80.10%
232.00/232.68	c       233            788         787         1     5861590.0000     3254751.5558     80.09%
237.59/238.25	c       238            821         820         1     5861590.0000     3256415.4098     80.00%
243.57/244.29	c       244            838         837         1     5861590.0000     3256415.4098     80.00%
249.06/249.75	c       250            852         851         1     5861590.0000     3256415.4098     80.00%
254.65/255.31	c       255            872         871         1     5861590.0000     3256581.0230     79.99%
260.53/261.29	c       261            884         883         1     5861590.0000     3256581.0230     79.99%
267.43/268.19	c       268            914         913         1     5861590.0000     3256627.4396     79.99%
274.20/274.96	c       275            930         929         1     5861590.0000     3256627.4396     79.99%
280.49/281.28	c       281            944         943         1     5861590.0000     3257393.7956     79.95%
285.58/286.39	c       286            953         952         1     5861590.0000     3257393.7956     79.95%
291.06/291.87	c       292            969         968         1     5861590.0000     3257765.0621     79.93%
296.26/297.08	c       297            986         985         1     5861590.0000     3257765.0621     79.93%
302.63/303.49	c       303           1009        1008         1     5861590.0000     3259109.2347     79.85%
307.92/308.75	c       309           1027        1026         1     5861590.0000     3259529.9390     79.83%
322.99/323.85	c       324           1050           0         1     5861590.0000     3262469.0995     79.67%
329.47/330.33	c       330           1052           2         1     5861590.0000     3262501.7485     79.67%
334.96/335.81	c       336           1072          22         1     5861590.0000     3272871.9626     79.10%
340.05/340.93	c       341           1092          42         1     5861590.0000     3272871.9626     79.10%
345.63/346.50	c       346           1112          62         1     5861590.0000     3273811.7838     79.04%
351.62/352.50	c       353           1130          80         1     5861590.0000     3273811.7838     79.04%
356.80/357.75	c       358           1149          99         1     5861590.0000     3273811.7838     79.04%
362.39/363.31	c       363           1172         122         1     5861590.0000     3275410.0156     78.96%
368.27/369.23	c       369           1241         191         1     5861590.0000     3275597.9186     78.95%
373.46/374.46	c       374           1278         228         1     5861590.0000     3275781.1778     78.94%
379.24/380.21	c       380           1309         259         1     5861590.0000     3275781.1778     78.94%
385.23/386.23	c       386           1357         307         1     5861590.0000     3275781.1778     78.94%
391.12/392.12	c       392           1389         339         1     5861590.0000     3275781.1778     78.94%
396.49/397.52	c       398           1414         364         1     5861590.0000     3275781.1778     78.94%
402.87/403.90	c       404           1434         384         1     5861590.0000     3275781.1778     78.94%
409.25/410.37	c       410           1449         399         1     5861590.0000     3275781.1778     78.94%
414.84/416.00	c       416           1481         431         1     5861590.0000     3275781.1778     78.94%
420.93/422.10	c       422           1504         454         1     5861590.0000     3275781.1778     78.94%
426.81/427.97	c       428           1542         492         1     5861590.0000     3275781.1778     78.94%
432.80/433.92	c       434           1571         521         1     5861590.0000     3275781.1778     78.94%
438.68/439.88	c       440           1606         556         1     5861590.0000     3276367.4115     78.91%
443.77/444.98	c       445           1645         595         1     5861590.0000     3276832.5124     78.88%
450.87/452.09	c       452           1686         636         1     5861590.0000     3277503.9706     78.84%
457.54/458.70	c       459           1716         666         1     5861590.0000     3277699.5120     78.83%
462.84/464.04	c       464           1740         690         1     5861590.0000     3277699.5120     78.83%
469.01/470.24	c       470           1783         733         1     5861590.0000     3279151.9238     78.75%
474.00/475.29	c       475           1810         760         1     5861590.0000     3279151.9238     78.75%
479.98/481.20	c       481           1839         789         1     5861590.0000     3279151.9238     78.75%
486.47/487.73	c       488           1865         815         1     5861590.0000     3279151.9238     78.75%
492.16/493.46	c       493           1906         856         1     5861590.0000     3279151.9238     78.75%
498.04/499.32	c       499           1944         894         1     5861590.0000     3279151.9238     78.75%
503.43/504.73	c       505           1963         913         1     5861590.0000     3279151.9238     78.75%
509.11/510.48	c       510           1997         947         1     5861590.0000     3279481.4136     78.74%
514.60/515.94	c       516           2049         999         1     5861590.0000     3279665.8250     78.73%
520.09/521.49	c       521           2081        1031         1     5861590.0000     3280156.9553     78.70%
525.28/526.61	c       527           2111        1061         1     5861590.0000     3280158.1310     78.70%
530.87/532.22	c       532           2140        1090         1     5861590.0000     3280158.1310     78.70%
536.26/537.66	c       538           2172        1122         1     5861590.0000     3280530.5993     78.68%
541.35/542.79	c       543           2201        1151         1     5861590.0000     3281230.0973     78.64%
546.53/547.99	c       548           2223        1173         1     5861590.0000     3281230.0973     78.64%
552.42/553.89	c       554           2258        1208         1     5861590.0000     3281616.4481     78.62%
557.62/559.06	c       559           2277        1227         1     5861590.0000     3281626.2353     78.62%
564.29/565.74	c       566           2325        1275         1     5861590.0000     3281626.2353     78.62%
569.77/571.24	c       571           2350        1300         1     5861590.0000     3281626.2353     78.62%
575.76/577.24	c       577           2382        1332         1     5861590.0000     3281626.2353     78.62%
581.14/582.63	c       583           2413        1363         1     5861590.0000     3281626.2353     78.62%
586.84/588.36	c       588           2439        1389         1     5861590.0000     3281652.3586     78.62%
591.93/593.41	c       593           2469        1419         1     5861590.0000     3281652.3586     78.62%
597.11/598.66	c       599           2513        1463         1     5861590.0000     3281652.3586     78.62%
602.69/604.29	c       604           2532        1482         1     5861590.0000     3282046.6103     78.60%
607.87/609.43	c       609           2556        1508         1     5861590.0000     3282046.6103     78.60%
613.36/614.93	c       615           2578        1528         1     5861590.0000     3282046.6103     78.60%
618.65/620.20	c       620           2598        1548         1     5861590.0000     3282799.3227     78.55%
624.33/625.92	c       626           2632        1582         1     5861590.0000     3282799.3227     78.55%
630.31/632.01	c       632           2660        1610         1     5861590.0000     3282799.3227     78.55%
636.29/637.94	c       638           2684        1634         1     5861590.0000     3282799.3227     78.55%
641.78/643.49	c       644           2704        1654         1     5861590.0000     3282987.6892     78.54%
647.47/649.12	c       649           2729        1679         1     5861590.0000     3282987.6892     78.54%
654.45/656.16	c       656           2764        1714         1     5861590.0000     3282989.6738     78.54%
659.44/661.19	c       661           2792        1742         1     5861590.0000     3282989.6738     78.54%
665.01/666.70	c       667           2827        1777         1     5861590.0000     3283018.8009     78.54%
670.60/672.32	c       672           2863        1813         1     5861590.0000     3283019.5271     78.54%
675.98/677.77	c       678           2910        1860         1     5861590.0000     3283019.5271     78.54%
682.16/683.95	c       684           2952        1902         1     5861590.0000     3283064.5505     78.54%
687.26/689.03	c       689           3001        1951         1     5861590.0000     3283503.7885     78.52%
692.63/694.44	c       694           3053        2003         1     5861590.0000     3283503.7885     78.52%
697.91/699.75	c       700           3095        2045         1     5861590.0000     3284009.1193     78.49%
703.32/705.19	c       705           3124        2074         1     5861590.0000     3284365.6203     78.47%
708.69/710.51	c       711           3194        2144         1     5861590.0000     3284365.6203     78.47%
713.77/715.64	c       716           3275        2225         1     5861590.0000     3284365.6203     78.47%
719.35/721.27	c       721           3358        2308         1     5861590.0000     3284365.6203     78.47%
725.04/726.94	c       727           3441        2391         1     5861590.0000     3285473.0234     78.41%
730.73/732.68	c       733           3497        2447         1     5861590.0000     3285473.0234     78.41%
736.12/738.09	c       738           3545        2495         1     5861590.0000     3285775.0406     78.39%
741.99/743.90	c       744           3635        2585         1     5861590.0000     3285775.0406     78.39%
747.37/749.36	c       749           3705        2655         1     5861590.0000     3286361.0433     78.36%
752.86/754.85	c       755           3746        2696         1     5861590.0000     3286361.0433     78.36%
758.24/760.21	c       760           3833        2783         1     5861590.0000     3286361.0433     78.36%
764.14/766.17	c       766           3871        2821         1     5861590.0000     3286365.6706     78.36%
769.51/771.54	c       772           3932        2882         1     5861590.0000     3286365.6706     78.36%
775.29/777.32	c       777           3982        2932         1     5861590.0000     3287159.5784     78.32%
781.78/783.83	c       784           4075        3025         1     5861590.0000     3287832.6492     78.28%
787.16/789.24	c       789           4152        3102         1     5861590.0000     3287832.6492     78.28%
792.74/794.80	c       795           4214        3164         1     5861590.0000     3288009.2313     78.27%
797.94/800.01	c       800           4307        3257         1     5861590.0000     3288009.2313     78.27%
803.41/805.59	c       806           4407        3357         1     5861590.0000     3288009.2313     78.27%
808.59/810.76	c       811           4503        3453         1     5861590.0000     3288009.2313     78.27%
814.89/817.05	c       817           4565        3515         1     5861590.0000     3288105.7910     78.27%
819.98/822.14	c       822           4648        3598         1     5861590.0000     3288105.7910     78.27%
825.35/827.55	c       828           4790        3740         1     5861590.0000     3288105.7910     78.27%
831.43/833.66	c       834           4895        3845         1     5861590.0000     3288369.7962     78.25%
836.93/839.14	c       839           4984        3934         1     5861590.0000     3288391.7115     78.25%
842.20/844.44	c       844           5109        4059         1     5861590.0000     3288391.7115     78.25%
847.98/850.22	c       850           5194        4144         1     5861590.0000     3288391.7115     78.25%
853.67/856.01	c       856           5254        4204         1     5861590.0000     3288405.1669     78.25%
858.86/861.19	c       861           5369        4319         1     5861590.0000     3288405.1669     78.25%
864.53/866.80	c       867           5528        4478         1     5861590.0000     3288405.1669     78.25%
869.62/871.94	c       872           5682        4632         1     5861590.0000     3288405.1669     78.25%
875.61/878.01	c       878           5743        4693         1     5861590.0000     3288453.5174     78.25%
881.29/883.69	c       884           5847        4795         1     5861590.0000     3288453.5174     78.25%
886.48/888.81	c       889           5978        4926         1     5861590.0000     3288453.5174     78.25%
892.96/895.36	c       895           6105        5051         1     5861590.0000     3288538.2733     78.24%
898.15/900.57	c       901           6196        5142         1     5861590.0000     3288669.6022     78.24%
904.65/907.06	c       907           6264        5208         1     5861590.0000     3289057.9720     78.21%
910.82/913.27	c       913           6325        5269         1     5861590.0000     3289342.1340     78.20%
916.40/918.87	c       919           6437        5381         1     5861590.0000     3289629.1628     78.18%
921.71/924.12	c       924           6588        5532         1     5861590.0000     3289629.1628     78.18%
927.08/929.57	c       930           6711        5655         1     5861590.0000     3290083.7688     78.16%
932.97/935.48	c       935           6756        5700         1     5861590.0000     3290175.7133     78.15%
938.26/940.74	c       941           6891        5833         1     5861590.0000     3290175.7133     78.15%
943.84/946.36	c       946           6984        5924         1     5861590.0000     3290175.7133     78.15%
949.23/951.75	c       952           7062        6002         1     5861590.0000     3290272.3895     78.15%
954.41/957.01	c       957           7195        6133         1     5861590.0000     3290272.3895     78.15%
960.20/962.76	c       963           7255        6187         1     5861590.0000     3290302.2601     78.15%
965.51/968.04	c       968           7413        6343         1     5861590.0000     3290302.2601     78.15%
970.49/973.06	c       973           7501        6431         1     5861590.0000     3290429.4944     78.14%
975.58/978.15	c       978           7613        6539         1     5861590.0000     3290429.4944     78.14%
981.15/983.77	c       984           7759        6681         1     5861590.0000     3290429.4944     78.14%
986.24/988.90	c       989           7892        6812         1     5861590.0000     3290429.4944     78.14%
991.92/994.52	c       995           8011        6923         1     5861590.0000     3290527.1286     78.14%
997.31/999.95	c      1000           8111        7019         1     5861590.0000     3290527.1286     78.14%
1002.30/1004.99	c      1005           8231        7127         1     5861590.0000     3290748.4042     78.12%
1007.89/1010.52	c      1011           8283        7179         1     5861590.0000     3290748.4042     78.12%
1012.88/1015.59	c      1016           8371        7265         1     5861590.0000     3290996.4116     78.11%
1018.86/1021.51	c      1022           8475        7369         1     5861590.0000     3290996.4116     78.11%
1024.15/1026.83	c      1027           8573        7463         1     5861590.0000     3291061.7465     78.11%
1029.84/1032.51	c      1033           8661        7551         1     5861590.0000     3291670.0570     78.07%
1035.03/1037.75	c      1038           8779        7661         1     5861590.0000     3291670.0570     78.07%
1040.72/1043.46	c      1043           8881        7759         1     5861590.0000     3291670.0862     78.07%
1046.10/1048.80	c      1049           9015        7887         1     5861590.0000     3291670.0862     78.07%
1051.89/1054.64	c      1055           9120        7992         1     5861590.0000     3292129.0155     78.05%
1057.07/1059.86	c      1060           9269        8137         1     5861590.0000     3292129.0155     78.05%
1062.06/1064.87	c      1065           9379        8243         1     5861590.0000     3292129.0155     78.05%
1067.74/1070.54	c      1071           9532        8390         1     5861590.0000     3292129.0155     78.05%
1073.13/1075.95	c      1076           9626        8484         1     5861590.0000     3292349.8120     78.04%
1078.33/1081.12	c      1081           9741        8597         1     5861590.0000     3292480.9121     78.03%
1084.50/1087.39	c      1087           9845        8701         1     5861590.0000     3292480.9121     78.03%
1089.99/1092.85	c      1093           9954        8808         1     5861590.0000     3292706.0106     78.02%
1094.98/1097.86	c      1098          10071        8921         1     5861590.0000     3292773.8253     78.01%
1100.66/1103.57	c      1104          10161        9011         1     5861590.0000     3292773.8253     78.01%
1105.95/1108.88	c      1109          10262        9108         1     5861590.0000     3293036.1350     78.00%
1111.52/1114.48	c      1114          10390        9232         1     5861590.0000     3293041.2160     78.00%
1116.91/1119.87	c      1120          10487        9327         1     5861590.0000     3293070.2315     78.00%
1122.61/1125.53	c      1126          10613        9447         1     5861590.0000     3293070.2315     78.00%
1127.99/1130.91	c      1131          10749        9579         1     5861590.0000     3293070.2315     78.00%
1133.28/1136.20	c      1136          10858        9678         1     5861590.0000     3293070.2315     78.00%
1138.37/1141.31	c      1141          10984        9800         1     5861590.0000     3293070.2315     78.00%
1144.17/1147.12	c      1147          11096        9900         1     5861590.0000     3293389.5162     77.98%
1149.54/1152.55	c      1153          11225       10023         1     5861590.0000     3293389.5162     77.98%
1154.82/1157.85	c      1158          11322       10112         1     5861590.0000     3293410.7833     77.98%
1160.02/1163.05	c      1163          11454       10230         1     5861590.0000     3293410.7833     77.98%
1166.20/1169.23	c      1169          11488       10264         1     5861590.0000     3293638.2021     77.97%
1171.89/1174.92	c      1175          11603       10367         1     5861590.0000     3293777.4822     77.96%
1177.28/1180.36	c      1180          11678       10440         1     5861590.0000     3293928.3634     77.95%
1182.57/1185.63	c      1186          11774       10534         1     5861590.0000     3293928.3634     77.95%
1188.45/1191.53	c      1192          11872       10610         1     5861590.0000     3294012.4055     77.95%
1194.43/1197.50	c      1198          11984       10718         1     5861590.0000     3294135.4170     77.94%
1199.72/1202.86	c      1203          12080       10802         1     5861590.0000     3294135.4170     77.94%
1205.01/1208.13	c      1208          12164       10886         1     5861590.0000     3294208.6217     77.94%
1210.19/1213.37	c      1213          12246       10966         1     5861590.0000     3294208.6217     77.94%
1215.67/1218.82	c      1219          12331       11051         1     5861590.0000     3294442.6448     77.92%
1221.06/1224.20	c      1224          12425       11145         1     5861590.0000     3294442.6448     77.92%
1226.15/1229.36	c      1229          12561       11273         1     5861590.0000     3294442.6448     77.92%
1231.14/1234.38	c      1234          12651       11359         1     5861590.0000     3294649.3381     77.91%
1236.33/1239.53	c      1240          12777       11469         1     5861590.0000     3294649.3381     77.91%
1241.61/1244.84	c      1245          12893       11583         1     5861590.0000     3294652.0294     77.91%
1246.91/1250.15	c      1250          13002       11690         1     5861590.0000     3294652.0294     77.91%
1252.90/1256.13	c      1256          13096       11780         1     5861590.0000     3294655.7427     77.91%
1257.98/1261.26	c      1261          13208       11874         1     5861590.0000     3294655.7427     77.91%
1263.07/1266.39	c      1266          13238       11904         1     5861590.0000     3294882.9486     77.90%
1268.87/1272.19	c      1272          13326       11982         1     5861590.0000     3294883.1678     77.90%
1274.64/1277.96	c      1278          13422       12070         1     5861590.0000     3294883.1678     77.90%
1279.74/1283.04	c      1283          13485       12127         1     5861590.0000     3294883.1703     77.90%
1285.01/1288.32	c      1288          13598       12230         1     5861590.0000     3294883.1703     77.90%
1291.00/1294.31	c      1294          13684       12314         1     5861590.0000     3295113.1030     77.89%
1295.98/1299.35	c      1299          13748       12378         1     5861590.0000     3295113.1030     77.89%
1301.97/1305.37	c      1305          13807       12437         1     5861590.0000     3295120.4516     77.89%
1308.26/1311.63	c      1312          13855       12485         1     5861590.0000     3295120.4516     77.89%
1313.66/1317.05	c      1317          13921       12551         1     5861590.0000     3295154.5402     77.89%
1318.75/1322.15	c      1322          13992       12612         1     5861590.0000     3295154.5402     77.89%
1324.32/1327.72	c      1328          14092       12702         1     5861590.0000     3295154.5402     77.89%
1329.50/1332.92	c      1333          14211       12821         1     5861590.0000     3295164.4948     77.88%
1335.49/1338.91	c      1339          14284       12890         1     5861590.0000     3295164.4948     77.88%
1340.70/1344.17	c      1344          14410       12998         1     5861590.0000     3295164.4948     77.88%
1345.77/1349.23	c      1349          14511       13093         1     5861590.0000     3295173.1965     77.88%
1350.86/1354.36	c      1354          14599       13179         1     5861590.0000     3295173.1965     77.88%
1356.25/1359.72	c      1360          14702       13276         1     5861590.0000     3295173.1965     77.88%
1361.54/1365.09	c      1365          14753       13325         1     5861590.0000     3295173.1965     77.88%
1366.82/1370.32	c      1370          14821       13389         1     5861590.0000     3295237.1479     77.88%
1372.31/1375.83	c      1376          14904       13470         1     5861590.0000     3295237.1479     77.88%
1377.61/1381.12	c      1381          14982       13540         1     5861590.0000     3295320.2921     77.88%
1382.69/1386.27	c      1386          15066       13616         1     5861590.0000     3295320.2921     77.88%
1387.97/1391.58	c      1392          15125       13675         1     5861590.0000     3295438.8159     77.87%
1393.36/1396.98	c      1397          15217       13761         1     5861590.0000     3295440.0820     77.87%
1398.64/1402.28	c      1402          15331       13869         1     5861590.0000     3295475.5359     77.87%
1404.33/1407.97	c      1408          15401       13939         1     5861590.0000     3295475.5359     77.87%
1409.43/1413.07	c      1413          15577       14079         1     5861590.0000     3295475.5359     77.87%
1414.70/1418.36	c      1418          15684       14186         1     5861590.0000     3295478.3095     77.87%
1419.79/1423.43	c      1423          15841       14327         1     5861590.0000     3295771.1953     77.85%
1424.88/1428.58	c      1429          15927       14411         1     5861590.0000     3295771.1953     77.85%
1430.57/1434.20	c      1434          16051       14525         1     5861590.0000     3295934.5686     77.84%
1435.65/1439.33	c      1439          16144       14614         1     5861590.0000     3295934.5686     77.84%
1440.94/1444.67	c      1445          16265       14731         1     5861590.0000     3295934.5686     77.84%
1446.23/1449.98	c      1450          16344       14808         1     5861590.0000     3295985.1164     77.84%
1451.72/1455.48	c      1455          16442       14896         1     5861590.0000     3295985.1164     77.84%
1456.81/1460.58	c      1461          16595       15043         1     5861590.0000     3295985.1164     77.84%
1462.10/1465.83	c      1466          16715       15141         1     5861590.0000     3295985.1164     77.84%
1467.40/1471.12	c      1471          16829       15255         1     5861590.0000     3295985.1164     77.84%
1472.87/1476.65	c      1477          16877       15303         1     5861590.0000     3296017.5959     77.84%
1478.85/1482.62	c      1483          17004       15418         1     5861590.0000     3296077.8764     77.84%
1484.84/1488.68	c      1489          17092       15500         1     5861590.0000     3296077.8764     77.84%
1490.23/1494.03	c      1494          17214       15594         1     5861590.0000     3296178.8079     77.83%
1496.01/1499.89	c      1500          17325       15699         1     5861590.0000     3296178.8079     77.83%
1501.22/1505.10	c      1505          17450       15810         1     5861590.0000     3296178.8079     77.83%
1506.69/1510.53	c      1511          17541       15901         1     5861590.0000     3296223.9605     77.83%
1512.07/1515.97	c      1516          17627       15983         1     5861590.0000     3296274.6819     77.82%
1517.27/1521.19	c      1521          17763       16117         1     5861590.0000     3296274.6819     77.82%
1523.15/1527.11	c      1527          17851       16193         1     5861590.0000     3296274.6819     77.82%
1528.72/1532.63	c      1533          17963       16293         1     5861590.0000     3296274.6819     77.82%
1534.01/1537.95	c      1538          18065       16387         1     5861590.0000     3296274.6819     77.82%
1539.89/1543.83	c      1544          18153       16459         1     5861590.0000     3296274.6819     77.82%
1544.97/1549.01	c      1549          18261       16563         1     5861590.0000     3296319.2304     77.82%
1550.36/1554.35	c      1554          18337       16639         1     5861590.0000     3296319.2304     77.82%
1555.75/1559.71	c      1560          18416       16718         1     5861590.0000     3296319.2304     77.82%
1560.83/1564.89	c      1565          18504       16792         1     5861590.0000     3296319.2304     77.82%
1566.62/1570.64	c      1571          18561       16841         1     5861590.0000     3296492.6492     77.81%
1572.01/1576.03	c      1576          18659       16931         1     5861590.0000     3296492.6492     77.81%
1577.28/1581.34	c      1581          18764       17020         1     5861590.0000     3296492.6492     77.81%
1582.67/1586.74	c      1587          18840       17094         1     5861590.0000     3296492.6492     77.81%
1588.55/1592.62	c      1593          18894       17148         1     5861590.0000     3296786.6265     77.80%
1593.73/1597.82	c      1598          19015       17261         1     5861590.0000     3296786.6265     77.80%
1598.93/1603.08	c      1603          19105       17351         1     5861590.0000     3296786.6265     77.80%
1604.11/1608.27	c      1608          19144       17390         1     5861590.0000     3296829.1778     77.79%
1609.40/1613.54	c      1614          19201       17445         1     5861590.0000     3296829.1778     77.79%
1614.78/1618.94	c      1619          19281       17515         1     5861590.0000     3296958.6460     77.79%
1620.16/1624.33	c      1624          19415       17635         1     5861590.0000     3296958.6460     77.79%
1625.64/1629.81	c      1630          19503       17723         1     5861590.0000     3297086.1904     77.78%
1631.22/1635.47	c      1635          19604       17822         1     5861590.0000     3297100.9634     77.78%
1636.51/1640.78	c      1641          19688       17894         1     5861590.0000     3297100.9634     77.78%
1641.60/1645.87	c      1646          19818       18006         1     5861590.0000     3297100.9634     77.78%
1646.98/1651.28	c      1651          19923       18103         1     5861590.0000     3297100.9634     77.78%
1652.26/1656.59	c      1657          20011       18181         1     5861590.0000     3297100.9634     77.78%
1657.95/1662.26	c      1662          20111       18275         1     5861590.0000     3297100.9634     77.78%
1663.43/1667.71	c      1668          20204       18364         1     5861590.0000     3297117.7358     77.78%
1668.61/1672.93	c      1673          20237       18397         1     5861590.0000     3297238.0837     77.77%
1674.10/1678.46	c      1678          20302       18456         1     5861590.0000     3297238.0837     77.77%
1679.39/1683.79	c      1684          20428       18566         1     5861590.0000     3297238.0837     77.77%
1685.27/1689.65	c      1690          20513       18647         1     5861590.0000     3297358.7522     77.77%
1690.55/1694.91	c      1695          20645       18765         1     5861590.0000     3297358.7522     77.77%
1695.65/1700.04	c      1700          20740       18858         1     5861590.0000     3297358.7522     77.77%
1701.12/1705.52	c      1706          20841       18947         1     5861590.0000     3297358.7522     77.77%
1706.41/1710.89	c      1711          20947       19047         1     5861590.0000     3297358.7522     77.77%
1711.78/1716.21	c      1716          21063       19157         1     5861590.0000     3297358.7522     77.77%
1711.78/1716.21	c *    1716          21063       19157         1     5726586.0000     3297358.7522     73.67%
1717.07/1721.51	c      1722          21139       18139         1     5726586.0000     3297578.9642     73.66%
1722.46/1726.90	c      1727          21233       18231         1     5726586.0000     3297610.5788     73.66%
1727.65/1732.14	c      1732          21330       18318         1     5726586.0000     3297610.5788     73.66%
1733.43/1737.96	c      1738          21462       18418         1     5726586.0000     3297626.4834     73.66%
1739.21/1743.73	c      1744          21571       18527         1     5726586.0000     3297716.9619     73.65%
1744.40/1748.94	c      1749          21675       18621         1     5726586.0000     3297716.9619     73.65%
1749.97/1754.59	c      1755          21762       18704         1     5726586.0000     3297732.4280     73.65%
1755.85/1760.43	c      1760          21788       18730         1     5726586.0000     3297732.4280     73.65%
1761.04/1765.69	c      1766          21896       18822         1     5726586.0000     3297732.4280     73.65%
1766.72/1771.30	c      1771          21994       18918         1     5726586.0000     3297886.3702     73.64%
1772.42/1777.02	c      1777          22093       19007         1     5726586.0000     3298014.2091     73.64%
1777.59/1782.22	c      1782          22198       19098         1     5726586.0000     3298014.2091     73.64%
1782.57/1787.24	c      1787          22268       19168         1     5726586.0000     3298122.0599     73.63%
1788.06/1792.77	c      1793          22356       19244         1     5726586.0000     3298169.1160     73.63%
1793.36/1798.04	c      1798          22404       19290         1     5726586.0000     3298169.1160     73.63%
1799.23/1803.91	c      1804          22481       19363         1     5726586.0000     3298261.3459     73.62%
1805.11/1809.80	c      1810          22550       19418         1     5726586.0000     3298261.3459     73.62%
1810.59/1815.34	c      1815          22625       19477         1     5726586.0000     3298267.7622     73.62%
1815.88/1820.62	c      1821          22712       19560         1     5726586.0000     3298267.7622     73.62%
1821.06/1825.86	c      1826          22815       19653         1     5726586.0000     3298267.7622     73.62%
1826.55/1831.35	c      1831          22915       19749         1     5726586.0000     3298585.9819     73.61%
1831.84/1836.61	c      1837          23026       19854         1     5726586.0000     3298585.9819     73.61%
1836.92/1841.73	c      1842          23143       19945         1     5726586.0000     3298585.9819     73.61%
1842.50/1847.36	c      1847          23230       20028         1     5726586.0000     3298686.2052     73.60%
1847.79/1852.63	c      1853          23309       20091         1     5726586.0000     3298687.8042     73.60%
1853.19/1858.02	c      1858          23439       20203         1     5726586.0000     3298687.8042     73.60%
1858.36/1863.25	c      1863          23558       20294         1     5726586.0000     3298687.8042     73.60%
1863.56/1868.40	c      1868          23653       20379         1     5726586.0000     3298687.8042     73.60%
1868.84/1873.73	c      1874          23754       20464         1     5726586.0000     3298687.8042     73.60%
1874.03/1878.94	c      1879          23854       20562         1     5726586.0000     3298687.8042     73.60%
1879.91/1884.85	c      1885          23968       20660         1     5726586.0000     3298718.3766     73.60%
1885.12/1890.02	c      1890          24069       20737         1     5726586.0000     3298718.3766     73.60%
1890.49/1895.44	c      1895          24161       20811         1     5726586.0000     3298934.9684     73.59%
1895.78/1900.76	c      1901          24229       20879         1     5726586.0000     3298934.9684     73.59%
1901.08/1906.09	c      1906          24338       20976         1     5726586.0000     3298934.9684     73.59%
1906.96/1911.96	c      1912          24471       21085         1     5726586.0000     3298976.2812     73.59%
1912.24/1917.27	c      1917          24551       21153         1     5726586.0000     3298976.2812     73.59%
1917.73/1922.76	c      1923          24650       21244         1     5726586.0000     3298981.7166     73.59%
1923.03/1928.04	c      1928          24740       21326         1     5726586.0000     3298985.4416     73.59%
1928.31/1933.31	c      1933          24851       21427         1     5726586.0000     3298985.4416     73.59%
1934.19/1939.27	c      1939          24950       21512         1     5726586.0000     3299025.5048     73.58%
1939.48/1944.50	c      1944          25070       21622         1     5726586.0000     3299025.5048     73.58%
1945.56/1950.64	c      1951          25199       21725         1     5726586.0000     3299025.5048     73.58%
1952.25/1957.37	c      1957          25307       21807         1     5726586.0000     3299025.5048     73.58%
1957.43/1962.54	c      1963          25404       21890         1     5726586.0000     3299071.5252     73.58%
1963.03/1968.18	c      1968          25497       21973         1     5726586.0000     3299205.0916     73.57%
1968.31/1973.40	c      1973          25596       22058         1     5726586.0000     3299205.0916     73.57%
1974.01/1979.16	c      1979          25654       22112         1     5726586.0000     3299245.9904     73.57%
1979.38/1984.57	c      1985          25747       22195         1     5726586.0000     3299245.9904     73.57%
1985.07/1990.25	c      1990          25808       22252         1     5726586.0000     3299279.9419     73.57%
1990.16/1995.39	c      1995          25897       22323         1     5726586.0000     3299291.7626     73.57%
1996.04/2001.22	c      2001          25967       22389         1     5726586.0000     3299346.4541     73.57%
2001.32/2006.53	c      2007          26080       22480         1     5726586.0000     3299346.4541     73.57%
2006.52/2011.73	c      2012          26181       22573         1     5726586.0000     3299346.4541     73.57%
2012.11/2017.35	c      2017          26270       22652         1     5726586.0000     3299346.4541     73.57%
2017.49/2022.72	c      2023          26341       22711         1     5726586.0000     3299346.4541     73.57%
2022.68/2027.90	c      2028          26410       22774         1     5726586.0000     3299392.5364     73.56%
2028.46/2033.72	c      2034          26471       22827         1     5726586.0000     3299454.4702     73.56%
2033.45/2038.78	c      2039          26548       22894         1     5726586.0000     3299656.2922     73.55%
2038.94/2044.29	c      2044          26620       22960         1     5726586.0000     3299657.3572     73.55%
2045.23/2050.55	c      2051          26686       23022         1     5726586.0000     3300052.1201     73.53%
2050.61/2055.96	c      2056          26744       23074         1     5726586.0000     3300194.5448     73.52%
2056.00/2061.37	c      2061          26834       23140         1     5726586.0000     3300194.5448     73.52%
2061.29/2066.61	c      2067          26867       23173         1     5726586.0000     3300214.0371     73.52%
2067.07/2072.45	c      2072          26941       23241         1     5726586.0000     3300214.0371     73.52%
2073.16/2078.57	c      2079          27001       23297         1     5726586.0000     3300524.7673     73.51%
2079.34/2084.72	c      2085          27086       23374         1     5726586.0000     3300524.7673     73.51%
2084.75/2090.18	c      2090          27133       23419         1     5726586.0000     3300650.3869     73.50%
2090.32/2095.77	c      2096          27218       23494         1     5726586.0000     3300650.3869     73.50%
2095.62/2101.10	c      2101          27281       23547         1     5726586.0000     3300810.6979     73.49%
2100.71/2106.18	c      2106          27334       23598         1     5726586.0000     3300810.6979     73.49%
2107.08/2112.54	c      2113          27421       23677         1     5726586.0000     3301008.7891     73.48%
2112.96/2118.40	c      2118          27508       23756         1     5726586.0000     3301008.7891     73.48%
2118.36/2123.84	c      2124          27598       23832         1     5726586.0000     3301008.7891     73.48%
2124.05/2129.53	c      2130          27649       23883         1     5726586.0000     3301044.5477     73.48%
2129.23/2134.74	c      2135          27729       23955         1     5726586.0000     3301044.5477     73.48%
2134.71/2140.26	c      2140          27777       24003         1     5726586.0000     3301044.5477     73.48%
2140.80/2146.36	c      2146          27823       24049         1     5726586.0000     3301044.5477     73.48%
2146.79/2152.36	c      2152          27858       24084         1     5726586.0000     3301044.5477     73.48%
2153.49/2159.04	c      2159          27911       24137         1     5726586.0000     3301044.5477     73.48%
2158.58/2164.14	c      2164          27981       24201         1     5726586.0000     3301084.7307     73.48%
2163.75/2169.38	c      2169          28067       24279         1     5726586.0000     3301084.7307     73.48%
2169.04/2174.67	c      2175          28147       24355         1     5726586.0000     3301189.9318     73.47%
2174.32/2179.96	c      2180          28216       24424         1     5726586.0000     3301189.9318     73.47%
2179.71/2185.31	c      2185          28263       24471         1     5726586.0000     3301262.6928     73.47%
2185.20/2190.89	c      2191          28313       24521         1     5726586.0000     3301262.6928     73.47%
2190.40/2196.09	c      2196          28369       24575         1     5726586.0000     3301262.6928     73.47%
2196.18/2201.85	c      2202          28476       24668         1     5726586.0000     3301452.2908     73.46%
2201.76/2207.47	c      2207          28545       24735         1     5726586.0000     3301452.2908     73.46%
2207.46/2213.19	c      2213          28605       24793         1     5726586.0000     3301452.2908     73.46%
2212.83/2218.52	c      2219          28703       24877         1     5726586.0000     3301452.2908     73.46%
2217.82/2223.52	c      2224          28754       24928         1     5726586.0000     3301800.7525     73.44%
2223.80/2229.52	c      2230          28831       25001         1     5726586.0000     3301800.7525     73.44%
2228.99/2234.71	c      2235          28895       25065         1     5726586.0000     3301848.4861     73.44%
2233.97/2239.77	c      2240          28991       25157         1     5726586.0000     3302114.6359     73.42%
2239.16/2244.90	c      2245          29072       25234         1     5726586.0000     3302114.6359     73.42%
2244.65/2250.43	c      2250          29163       25305         1     5726586.0000     3302114.6359     73.42%
2249.94/2255.73	c      2256          29234       25376         1     5726586.0000     3302149.3437     73.42%
2255.82/2261.62	c      2262          29314       25454         1     5726586.0000     3302246.0015     73.41%
2261.51/2267.35	c      2267          29377       25517         1     5726586.0000     3302246.0015     73.41%
2266.80/2272.67	c      2273          29479       25615         1     5726586.0000     3302246.0015     73.41%
2272.19/2278.08	c      2278          29582       25714         1     5726586.0000     3302285.4871     73.41%
2277.47/2283.34	c      2283          29675       25797         1     5726586.0000     3302285.4871     73.41%
2283.35/2289.28	c      2289          29769       25885         1     5726586.0000     3302650.0462     73.39%
2288.94/2294.89	c      2295          29836       25946         1     5726586.0000     3302650.0462     73.39%
2295.24/2301.19	c      2301          29920       26022         1     5726586.0000     3302747.1358     73.39%
2301.32/2307.21	c      2307          30007       26099         1     5726586.0000     3302747.1358     73.39%
2306.80/2312.74	c      2313          30108       26182         1     5726586.0000     3302747.1358     73.39%
2312.39/2318.38	c      2318          30200       26264         1     5726586.0000     3302766.2120     73.39%
2318.08/2324.03	c      2324          30258       26320         1     5726586.0000     3302840.1744     73.38%
2323.17/2329.19	c      2329          30383       26435         1     5726586.0000     3302840.1744     73.38%
2329.06/2335.02	c      2335          30493       26521         1     5726586.0000     3302840.1744     73.38%
2334.15/2340.14	c      2340          30533       26555         1     5726586.0000     3302840.1744     73.38%
2339.52/2345.53	c      2346          30593       26605         1     5726586.0000     3302840.1744     73.38%
2346.60/2352.63	c      2353          30671       26669         1     5726586.0000     3303011.8757     73.37%
2351.79/2357.88	c      2358          30728       26720         1     5726586.0000     3303011.8757     73.37%
2357.19/2363.29	c      2363          30834       26812         1     5726586.0000     3303011.8757     73.37%
2362.57/2368.67	c      2369          30899       26869         1     5726586.0000     3303099.3058     73.37%
2368.45/2374.54	c      2375          30965       26925         1     5726586.0000     3303241.1123     73.36%
2374.14/2380.22	c      2380          31040       26990         1     5726586.0000     3303241.1123     73.36%
2379.43/2385.59	c      2386          31073       27023         1     5726586.0000     3303299.0454     73.36%
2385.11/2391.23	c      2391          31131       27081         1     5726586.0000     3303460.6372     73.35%
2391.02/2397.12	c      2397          31178       27128         1     5726586.0000     3303460.6372     73.35%
2396.39/2402.53	c      2403          31223       27173         1     5726586.0000     3303647.0864     73.34%
2402.27/2408.42	c      2408          31251       27201         1     5726586.0000     3303647.0864     73.34%
2407.46/2413.65	c      2414          31277       27227         1     5726586.0000     3303647.0864     73.34%
2413.05/2419.20	c      2419          31310       27260         1     5726586.0000     3303717.3076     73.34%
2418.63/2424.81	c      2425          31338       27288         1     5726586.0000     3303717.3076     73.34%
2424.32/2430.51	c      2431          31370       27320         1     5726586.0000     3303717.3076     73.34%
2429.82/2436.03	c      2436          31499       27445         1     5726586.0000     3303717.3076     73.34%
2434.99/2441.23	c      2441          31561       27507         1     5726586.0000     3303818.5906     73.33%
2440.48/2446.70	c      2447          31642       27586         1     5726586.0000     3303818.5906     73.33%
2445.67/2451.90	c      2452          31745       27685         1     5726586.0000     3303818.5906     73.33%
2450.96/2457.26	c      2457          31807       27743         1     5726586.0000     3303880.3989     73.33%
2456.14/2462.45	c      2462          31920       27848         1     5726586.0000     3303880.7504     73.33%
2461.75/2468.03	c      2468          31979       27907         1     5726586.0000     3303880.7504     73.33%
2467.02/2473.31	c      2473          32048       27966         1     5726586.0000     3303880.7504     73.33%
2472.21/2478.56	c      2479          32145       28059         1     5726586.0000     3304136.8977     73.32%
2477.59/2483.90	c      2484          32230       28128         1     5726586.0000     3304136.8977     73.32%
2482.79/2489.13	c      2489          32360       28240         1     5726586.0000     3304136.8977     73.32%
2488.07/2494.41	c      2494          32527       28375         1     5726586.0000     3304136.8977     73.32%
2493.96/2500.34	c      2500          32611       28457         1     5726586.0000     3304217.7339     73.31%
2499.45/2505.86	c      2506          32660       28504         1     5726586.0000     3304217.7339     73.31%
2504.65/2511.01	c      2511          32789       28609         1     5726586.0000     3304217.7339     73.31%
2510.52/2517.01	c      2517          32907       28711         1     5726586.0000     3304362.4222     73.30%
2515.90/2522.36	c      2522          33007       28805         1     5726586.0000     3304458.7831     73.30%
2521.18/2527.68	c      2528          33129       28913         1     5726586.0000     3304458.7831     73.30%
2527.07/2533.58	c      2534          33249       29027         1     5726586.0000     3304631.4991     73.29%
2532.16/2538.67	c      2539          33298       29076         1     5726586.0000     3304631.4991     73.29%
2537.84/2544.31	c      2544          33449       29213         1     5726586.0000     3304648.4610     73.29%
2543.03/2549.56	c      2550          33573       29319         1     5726586.0000     3304648.4610     73.29%
2548.33/2554.82	c      2555          33681       29427         1     5726586.0000     3304733.7725     73.28%
2553.63/2560.13	c      2560          33800       29524         1     5726586.0000     3304733.7725     73.28%
2558.80/2565.37	c      2565          33898       29614         1     5726586.0000     3305021.0531     73.27%
2563.98/2570.50	c      2571          34031       29725         1     5726586.0000     3305153.2431     73.26%
2569.17/2575.73	c      2576          34125       29819         1     5726586.0000     3305153.2431     73.26%
2574.96/2581.50	c      2582          34224       29908         1     5726586.0000     3305153.2431     73.26%
2580.15/2586.74	c      2587          34318       29998         1     5726586.0000     3305153.2431     73.26%
2585.34/2591.97	c      2592          34434       30110         1     5726586.0000     3305153.2431     73.26%
2590.54/2597.14	c      2597          34508       30182         1     5726586.0000     3305159.0404     73.26%
2595.81/2602.49	c      2602          34584       30254         1     5726586.0000     3305159.0404     73.26%
2601.20/2607.88	c      2608          34636       30306         1     5726586.0000     3305159.0404     73.26%
2607.08/2613.78	c      2614          34693       30363         1     5726586.0000     3305159.0404     73.26%
2612.48/2619.14	c      2619          34737       30407         1     5726586.0000     3305159.0404     73.26%
2617.56/2624.27	c      2624          34859       30521         1     5726586.0000     3305159.0404     73.26%
2623.15/2629.81	c      2630          34967       30623         1     5726586.0000     3305164.1419     73.26%
2629.03/2635.74	c      2636          35080       30732         1     5726586.0000     3305299.5821     73.25%
2634.33/2641.02	c      2641          35189       30827         1     5726586.0000     3305299.5821     73.25%
2639.42/2646.17	c      2646          35282       30904         1     5726586.0000     3305300.3443     73.25%
2644.80/2651.56	c      2652          35374       30986         1     5726586.0000     3305300.3443     73.25%
2649.99/2656.70	c      2657          35455       31065         1     5726586.0000     3305300.3443     73.25%
2655.77/2662.58	c      2663          35555       31165         1     5726586.0000     3305324.6268     73.25%
2661.86/2668.63	c      2669          35667       31271         1     5726586.0000     3305756.0705     73.23%
2667.04/2673.85	c      2674          35734       31332         1     5726586.0000     3305756.0705     73.23%
2672.43/2679.25	c      2679          35828       31418         1     5726586.0000     3305756.0705     73.23%
2678.01/2684.84	c      2685          35912       31496         1     5726586.0000     3305756.0705     73.23%
2683.90/2690.79	c      2691          36014       31596         1     5726586.0000     3305764.9515     73.23%
2689.78/2696.61	c      2697          36102       31680         1     5726586.0000     3305828.3710     73.23%
2694.98/2701.85	c      2702          36176       31754         1     5726586.0000     3305828.3710     73.23%
2700.37/2707.27	c      2707          36284       31854         1     5726586.0000     3305930.1705     73.22%
2705.35/2712.29	c      2712          36404       31954         1     5726586.0000     3305996.9162     73.22%
2710.94/2717.81	c      2718          36504       32050         1     5726586.0000     3305996.9162     73.22%
2716.14/2723.08	c      2723          36658       32204         1     5726586.0000     3305996.9162     73.22%
2721.41/2728.36	c      2728          36823       32369         1     5726586.0000     3305996.9162     73.22%
2726.70/2733.67	c      2734          36978       32524         1     5726586.0000     3305996.9162     73.22%
2732.68/2739.69	c      2740          37108       32654         1     5726586.0000     3306032.3093     73.22%
2738.48/2745.46	c      2745          37191       32729         1     5726586.0000     3306367.4499     73.20%
2744.36/2751.37	c      2751          37266       32796         1     5726586.0000     3306367.4499     73.20%
2750.05/2757.07	c      2757          37378       32904         1     5726586.0000     3306373.2248     73.20%
2755.84/2762.83	c      2763          37495       33015         1     5726586.0000     3306430.6430     73.20%
2760.92/2767.90	c      2768          37614       33126         1     5726586.0000     3306433.2094     73.20%
2766.40/2773.45	c      2773          37744       33250         1     5726586.0000     3306473.1219     73.19%
2771.90/2778.90	c      2779          37875       33381         1     5726586.0000     3306473.1219     73.19%
2777.10/2784.11	c      2784          37983       33489         1     5726586.0000     3306473.1219     73.19%
2782.27/2789.38	c      2789          38115       33621         1     5726586.0000     3306473.1219     73.19%
2787.76/2794.86	c      2795          38198       33704         1     5726586.0000     3306644.3713     73.18%
2793.14/2800.21	c      2800          38325       33827         1     5726586.0000     3306644.3713     73.18%
2798.24/2805.32	c      2805          38378       33880         1     5726586.0000     3306654.0296     73.18%
2803.93/2811.01	c      2811          38507       34009         1     5726586.0000     3306654.0296     73.18%
2809.81/2816.96	c      2817          38648       34150         1     5726586.0000     3306840.4102     73.17%
2814.90/2822.09	c      2822          38774       34276         1     5726586.0000     3306840.4102     73.17%
2820.29/2827.42	c      2827          38884       34386         1     5726586.0000     3306850.5270     73.17%
2825.88/2833.06	c      2833          39026       34528         1     5726586.0000     3306850.5270     73.17%
2831.05/2838.24	c      2838          39133       34635         1     5726586.0000     3306861.2486     73.17%
2837.04/2844.22	c      2844          39205       34707         1     5726586.0000     3306918.4870     73.17%
2842.73/2849.99	c      2850          39264       34766         1     5726586.0000     3306918.4870     73.17%
2848.83/2856.07	c      2856          39337       34839         1     5726586.0000     3306949.6629     73.17%
2854.41/2861.64	c      2862          39423       34925         1     5726586.0000     3306949.6629     73.17%
2859.69/2867.01	c      2867          39532       35034         1     5726586.0000     3306949.6629     73.17%
2865.07/2872.31	c      2872          39637       35139         1     5726586.0000     3307184.1631     73.16%
2870.26/2877.52	c      2878          39773       35273         1     5726586.0000     3307184.1631     73.16%
2875.65/2882.95	c *    2883          39880       35380         1     5653337.0000     3307247.6174     70.94%
2875.65/2882.95	c      2883          39880       35380         1     5653337.0000     3307247.6174     70.94%
2875.86/2883.14	c *    2883          39880       35380         1     5479257.0000     3307247.6174     65.67%
2881.64/2888.90	c      2889          40002       30439         1     5479257.0000     3307415.1114     65.67%
2887.02/2894.32	c      2894          40140       30577         1     5479257.0000     3307415.1114     65.67%
2892.51/2899.81	c      2900          40265       30694         1     5479257.0000     3307501.4010     65.66%
2897.80/2905.12	c      2905          40408       30831         1     5479257.0000     3307501.4010     65.66%
2903.89/2911.24	c      2911          40537       30954         1     5479257.0000     3307501.4137     65.66%
2909.17/2916.57	c      2917          40654       31069         1     5479257.0000     3307514.9131     65.66%
2914.96/2922.32	c      2922          40755       31166         1     5479257.0000     3307514.9131     65.66%
2920.05/2927.49	c      2928          40872       31283         1     5479257.0000     3307514.9131     65.66%
2925.74/2933.15	c      2933          40986       31391         1     5479257.0000     3307911.3498     65.64%
2931.73/2939.16	c      2939          41106       31507         1     5479257.0000     3307911.3498     65.64%
2937.30/2944.72	c      2945          41206       31603         1     5479257.0000     3307935.8300     65.64%
2942.49/2949.96	c      2950          41324       31707         1     5479257.0000     3307935.8300     65.64%
2947.78/2955.29	c      2955          41433       31816         1     5479257.0000     3307965.8752     65.64%
2952.97/2960.44	c      2960          41540       31919         1     5479257.0000     3307965.8752     65.64%
2958.16/2965.68	c      2966          41681       32052         1     5479257.0000     3307965.8752     65.64%
2963.65/2971.19	c      2971          41759       32126         1     5479257.0000     3308006.5669     65.64%
2969.03/2976.51	c      2977          41884       32221         1     5479257.0000     3308006.5669     65.64%
2974.63/2982.19	c      2982          42017       32350         1     5479257.0000     3308030.5576     65.64%
2979.80/2987.30	c      2987          42079       32412         1     5479257.0000     3308120.4191     65.63%
2985.29/2992.87	c      2993          42193       32508         1     5479257.0000     3308204.0649     65.63%
2990.98/2998.55	c      2999          42279       32594         1     5479257.0000     3308204.0649     65.63%
2996.27/3003.82	c      3004          42402       32713         1     5479257.0000     3308244.0693     65.62%
3001.65/3009.22	c      3009          42509       32810         1     5479257.0000     3308244.0693     65.62%
3006.74/3014.34	c      3014          42643       32930         1     5479257.0000     3308244.0693     65.62%
3011.93/3019.56	c      3020          42781       33054         1     5479257.0000     3308244.0693     65.62%
3017.11/3024.75	c      3025          42904       33165         1     5479257.0000     3308244.0693     65.62%
3022.81/3030.47	c      3030          43025       33280         1     5479257.0000     3308286.3115     65.62%
3027.99/3035.62	c      3036          43195       33430         1     5479257.0000     3308286.3115     65.62%
3034.08/3041.73	c      3042          43316       33549         1     5479257.0000     3308446.9281     65.61%
3039.27/3046.91	c      3047          43503       33734         1     5479257.0000     3308446.9281     65.61%
3045.15/3052.84	c      3053          43662       33881         1     5479257.0000     3308447.9487     65.61%
3050.94/3058.64	c      3059          43713       33932         1     5479257.0000     3308447.9487     65.61%
3056.23/3063.93	c      3064          43807       34026         1     5479257.0000     3308669.7772     65.60%
3061.71/3069.41	c      3069          43925       34144         1     5479257.0000     3308677.5126     65.60%
3067.60/3075.31	c      3075          44022       34241         1     5479257.0000     3308792.1908     65.60%
3072.89/3080.65	c      3081          44150       34369         1     5479257.0000     3308792.1908     65.60%
3078.18/3085.99	c      3086          44277       34496         1     5479257.0000     3308885.8893     65.59%
3084.06/3091.80	c      3092          44381       34600         1     5479257.0000     3308885.8893     65.59%
3089.26/3097.08	c      3097          44488       34707         1     5479257.0000     3308885.8893     65.59%
3095.34/3103.19	c      3103          44617       34836         1     5479257.0000     3308987.8951     65.59%
3101.23/3109.02	c      3109          44759       34978         1     5479257.0000     3308987.8951     65.59%
3106.21/3114.11	c      3114          44901       35118         1     5479257.0000     3309031.0677     65.58%
3111.39/3119.22	c      3119          45012       35229         1     5479257.0000     3309031.0677     65.58%
3117.19/3125.10	c      3125          45131       35348         1     5479257.0000     3309238.8509     65.57%
3122.66/3130.51	c      3131          45249       35466         1     5479257.0000     3309238.8509     65.57%
3127.86/3135.76	c      3136          45355       35572         1     5479257.0000     3309238.8509     65.57%
3133.15/3141.06	c      3141          45480       35697         1     5479257.0000     3309274.8428     65.57%
3138.93/3146.87	c      3147          45595       35812         1     5479257.0000     3309300.1595     65.57%
3144.13/3152.09	c      3152          45701       35918         1     5479257.0000     3309300.1595     65.57%
3150.00/3157.92	c      3158          45837       36054         1     5479257.0000     3309397.8090     65.57%
3155.29/3163.20	c      3163          45958       36175         1     5479257.0000     3309397.8090     65.57%
3161.08/3169.05	c      3169          46078       36295         1     5479257.0000     3309414.5122     65.57%
3166.26/3174.20	c      3174          46226       36443         1     5479257.0000     3309414.5122     65.57%
3172.06/3180.02	c      3180          46343       36560         1     5479257.0000     3309561.6462     65.56%
3177.53/3185.52	c      3186          46451       36666         1     5479257.0000     3309693.0368     65.55%
3183.32/3191.30	c      3191          46596       36811         1     5479257.0000     3309723.3591     65.55%
3188.71/3196.73	c      3197          46714       36929         1     5479257.0000     3310032.9221     65.53%
3193.79/3201.87	c      3202          46859       37074         1     5479257.0000     3310032.9221     65.53%
3199.39/3207.42	c      3207          46940       37155         1     5479257.0000     3310569.1930     65.51%
3204.57/3212.60	c      3213          47074       37291         1     5479257.0000     3310569.1930     65.51%
3204.57/3212.61	c *    3213          47074       37291         1     5416496.0000     3310569.1930     63.61%
3204.57/3212.63	c *    3213          47074       37291         1     5373732.0000     3310569.1930     62.32%
3209.86/3218.00	c      3218          47179       34911         1     5373732.0000     3310630.4102     62.32%
3214.96/3223.08	c      3223          47343       35075         1     5373732.0000     3310630.4102     62.32%
3220.13/3228.26	c      3228          47491       35223         1     5373732.0000     3310728.4651     62.31%
3225.22/3233.32	c      3233          47611       35343         1     5373732.0000     3310857.1893     62.31%
3230.31/3238.41	c      3238          47755       35487         1     5373732.0000     3310857.1893     62.31%
3236.10/3244.21	c      3244          47817       35549         1     5373732.0000     3311043.7110     62.30%
3241.18/3249.37	c      3249          47971       35703         1     5373732.0000     3311102.4914     62.29%
3246.77/3254.90	c      3255          48100       35830         1     5373732.0000     3311156.1655     62.29%
3252.56/3260.70	c      3261          48236       35966         1     5373732.0000     3311156.1655     62.29%
3257.65/3265.90	c      3266          48370       36100         1     5373732.0000     3311156.1655     62.29%
3262.85/3271.10	c      3271          48491       36221         1     5373732.0000     3311220.6459     62.29%
3268.12/3276.30	c      3276          48626       36356         1     5373732.0000     3311220.6459     62.29%
3273.71/3281.95	c      3282          48749       36479         1     5373732.0000     3311238.0861     62.29%
3279.49/3287.74	c      3288          48934       36664         1     5373732.0000     3311320.9693     62.28%
3285.38/3293.66	c      3294          49047       36777         1     5373732.0000     3311370.0757     62.28%
3290.67/3299.01	c      3299          49208       36938         1     5373732.0000     3311517.8956     62.27%
3295.94/3304.24	c      3304          49322       37052         1     5373732.0000     3311631.0204     62.27%
3301.13/3309.47	c      3309          49399       37129         1     5373732.0000     3311716.3600     62.26%
3307.41/3315.77	c      3316          49522       37252         1     5373732.0000     3311766.6890     62.26%
3312.50/3320.89	c      3321          49666       37396         1     5373732.0000     3311766.6890     62.26%
3318.28/3326.66	c      3327          49841       37571         1     5373732.0000     3311905.6467     62.25%
3323.47/3331.85	c      3332          49961       37691         1     5373732.0000     3311908.7617     62.25%
3329.15/3337.50	c      3338          50085       37813         1     5373732.0000     3311949.0595     62.25%
3334.14/3342.53	c      3343          50194       37922         1     5373732.0000     3312076.7582     62.25%
3339.42/3347.84	c      3348          50308       38036         1     5373732.0000     3312080.7079     62.25%
3344.63/3353.01	c      3353          50469       38197         1     5373732.0000     3312080.7079     62.25%
3350.50/3358.97	c      3359          50603       38331         1     5373732.0000     3312125.9122     62.24%
3356.18/3364.67	c      3365          50739       38467         1     5373732.0000     3312125.9122     62.24%
3361.47/3369.93	c      3370          50914       38640         1     5373732.0000     3312125.9122     62.24%
3366.56/3375.04	c      3375          51036       38762         1     5373732.0000     3312125.9122     62.24%
3372.44/3380.98	c      3381          51152       38878         1     5373732.0000     3312246.5388     62.24%
3378.83/3387.34	c      3387          51191       38915         1     5373732.0000     3312246.5388     62.24%
3384.71/3393.28	c      3393          51215       38939         1     5373732.0000     3312246.5388     62.24%
3390.10/3398.68	c      3399          51236       38960         1     5373732.0000     3312246.5388     62.24%
3396.08/3404.62	c      3405          51286       39010         1     5373732.0000     3312414.6913     62.23%
3401.96/3410.57	c      3411          51334       39056         1     5373732.0000     3312414.6913     62.23%
3407.85/3416.47	c      3416          51389       39111         1     5373732.0000     3312414.6913     62.23%
3413.55/3422.16	c      3422          51429       39151         1     5373732.0000     3312414.6913     62.23%
3419.33/3427.96	c      3428          51464       39186         1     5373732.0000     3312414.6913     62.23%
3425.42/3434.03	c      3434          51512       39234         1     5373732.0000     3312414.6913     62.23%
3431.30/3439.99	c      3440          51565       39283         1     5373732.0000     3312414.6913     62.23%
3437.28/3445.93	c      3446          51609       39327         1     5373732.0000     3312414.6913     62.23%
3442.67/3451.31	c      3451          51671       39385         1     5373732.0000     3312432.3879     62.23%
3447.86/3456.52	c      3457          51745       39459         1     5373732.0000     3312432.3879     62.23%
3453.15/3461.87	c      3462          51792       39506         1     5373732.0000     3312601.2420     62.22%
3458.45/3467.14	c      3467          51819       39531         1     5373732.0000     3312601.2420     62.22%
3463.72/3472.49	c      3472          51870       39580         1     5373732.0000     3312651.8665     62.22%
3468.91/3477.62	c      3478          51891       39601         1     5373732.0000     3312651.8665     62.22%
3474.70/3483.42	c      3483          51962       39672         1     5373732.0000     3312657.4333     62.22%
3479.99/3488.73	c      3489          52023       39729         1     5373732.0000     3312657.4333     62.22%
3484.96/3493.79	c      3494          52092       39798         1     5373732.0000     3312657.4333     62.22%
3491.15/3499.96	c      3500          52164       39868         1     5373732.0000     3312657.4333     62.22%
3496.73/3505.58	c      3506          52235       39939         1     5373732.0000     3312657.4333     62.22%
3502.23/3511.02	c      3511          52302       40006         1     5373732.0000     3312657.4333     62.22%
3507.91/3516.73	c      3517          52330       40034         1     5373732.0000     3312657.4333     62.22%
3513.01/3521.89	c      3522          52354       40058         1     5373732.0000     3312657.4333     62.22%
3518.79/3527.60	c      3528          52373       40075         1     5373732.0000     3312657.4333     62.22%
3523.98/3532.82	c      3533          52416       40118         1     5373732.0000     3312657.4333     62.22%
3529.28/3538.17	c      3538          52477       40179         1     5373732.0000     3312657.4333     62.22%
3535.05/3543.93	c      3544          52521       40223         1     5373732.0000     3312657.4333     62.22%
3540.26/3549.12	c      3549          52632       40334         1     5373732.0000     3312731.7838     62.21%
3545.73/3554.62	c      3555          52689       40391         1     5373732.0000     3312731.7838     62.21%
3551.02/3559.94	c      3560          52761       40463         1     5373732.0000     3313041.4302     62.20%
3556.70/3565.69	c      3566          52847       40549         1     5373732.0000     3313041.4302     62.20%
3563.78/3572.78	c      3573          52905       40607         1     5373732.0000     3313123.7400     62.20%
3569.28/3578.25	c      3578          52937       40639         1     5373732.0000     3313123.7400     62.20%
3575.36/3584.30	c      3584          53006       40708         1     5373732.0000     3313123.7400     62.20%
3580.34/3589.39	c      3589          53076       40776         1     5373732.0000     3313175.0322     62.19%
3585.73/3594.77	c      3595          53139       40839         1     5373732.0000     3313175.0322     62.19%
3589.42/3598.45	c SCIP Status        : c solving was interrupted [hard time limit reached]
3589.42/3598.45	c Total Time         : 3598.44
3589.42/3598.45	c   solving          : 3598.44
3589.42/3598.45	c   presolving       : 0.21 (included in solving)
3589.42/3598.45	c B&B Tree           :
3589.42/3598.45	c   nodes (total)    : 1
3589.42/3598.45	c Solution           :
3589.42/3598.45	c   Solutions found  : 8
3589.42/3598.45	c   Primal Bound     : +5.37373200000000e+06
3589.42/3598.45	c   Dual Bound       : +3.31318718398076e+06
3589.42/3598.45	c Gap                : 62.19222 %
3589.42/3598.45	c * Warning: final gap: 6.21922e-01 is greater than SCIPepsilon: 1.00000e-09
3589.42/3598.45	o 5373732
3589.42/3598.45	s SATISFIABLE
3589.42/3598.45	v x7731 -x7730 -x7728 -x7727 -x7726 -x7725 x7724 -x7723 -x7722 -x7721 x7720 -x7719 -x7717 -x7716 x7715 -x7714 -x7713 -x7712 -x7711 
3589.42/3598.45	v -x7710 x7709 -x7708 -x7706 -x7705 -x7704 -x7703 -x7702 -x7701 -x7700 x7699 -x7698 -x7697 -x7695 -x7694 -x7693 -x7692 -x7691 
3589.42/3598.45	v -x7690 -x7689 x7688 -x7687 -x7686 -x7684 -x7683 x7682 x7681 -x7680 -x7679 -x7678 -x7677 -x7676 x7675 -x7672 -x7671 -x7670 -x7669 
3589.42/3598.45	v x7668 x7667 -x7666 -x7665 -x7664 -x7663 -x7661 -x7660 -x7659 -x7658 -x7657 -x7656 -x7655 -x7654 -x7653 x7652 -x7650 -x7649 
3589.42/3598.45	v x7648 -x7647 x7646 -x7645 -x7644 -x7643 -x7642 -x7641 -x7639 -x7638 -x7637 -x7636 -x7635 -x7634 -x7633 -x7632 -x7631 -x7630 
3589.42/3598.45	v -x7628 -x7627 -x7626 -x7625 -x7624 -x7623 -x7622 x7621 -x7620 -x7619 -x7617 -x7616 -x7615 -x7614 x7613 -x7612 -x7611 -x7610 
3589.42/3598.45	v -x7609 x7608 -x7606 -x7605 -x7604 -x7603 -x7602 -x7601 -x7600 x7599 -x7598 -x7597 -x7595 -x7594 x7593 -x7592 -x7591 x7590 -x7589 
3589.42/3598.45	v -x7588 -x7587 -x7586 -x7584 -x7583 -x7582 -x7581 -x7580 -x7579 -x7578 -x7577 -x7576 -x7575 -x7573 x7572 -x7571 -x7570 x7569 
3589.42/3598.45	v x7568 -x7567 -x7566 -x7565 -x7564 -x7812 -x7811 -x7810 -x7809 -x7808 -x7807 -x7806 -x7805 -x7804 -x7803 -x7801 -x7800 -x7799 
3589.42/3598.45	v -x7798 x7797 -x7796 -x7795 -x7794 -x7793 -x7792 x7790 -x7789 -x7788 -x7787 -x7786 -x7785 -x7784 -x7783 -x7782 -x7781 -x7779 
3589.42/3598.45	v -x7778 -x7777 -x7776 -x7775 -x7774 x7773 -x7772 -x7771 -x7770 x7768 -x7767 -x7766 -x7765 -x7764 -x7763 -x7762 -x7761 x7760 
3589.42/3598.45	v -x7759 -x7757 x7756 -x7755 x7754 x7753 -x7752 -x7751 x7750 -x7749 -x7748 -x7746 -x7745 -x7744 -x7743 -x7742 x7741 -x7740 -x7739 
3589.42/3598.45	v -x7738 -x7737 x7735 -x7734 -x7733 -x7732 -x7729 -x7718 -x7707 -x7696 -x7685 -x7674 x7662 -x7651 -x7640 -x7629 -x7618 -x7607 
3589.42/3598.45	v -x7596 x7585 -x7574 -x7563 -x7802 -x7791 -x7780 -x7769 -x7758 x7747 -x7736 -x7673 -x7562 -x7561 -x5130 -x5129 -x5128 -x5127 
3589.42/3598.45	v -x5126 -x5125 -x5124 -x5123 -x5122 -x5121 -x5120 -x5119 -x5118 -x5117 -x5116 -x5115 x5114 -x5113 -x5112 -x5111 -x5110 -x5109 
3589.42/3598.45	v -x5108 -x5107 -x5106 -x5105 -x5104 -x5103 -x5102 -x5101 -x5100 -x5099 -x5098 -x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 
3589.42/3598.45	v -x5090 -x5089 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 -x5080 -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 
3589.42/3598.45	v -x5072 -x5071 -x5040 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 -x5025 
3589.42/3598.45	v -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015 -x5014 -x5013 -x5012 -x5011 -x5010 -x5009 -x5008 -x5007 
3589.42/3598.45	v -x5006 -x5005 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 
3589.42/3598.45	v -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979 -x4978 -x4977 -x4976 -x4975 -x4974 -x4973 -x4972 
3589.42/3598.45	v -x4971 -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957 -x4956 -x4955 -x4954 
3589.42/3598.45	v -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4936 
3589.42/3598.45	v -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 -x4918 
3589.42/3598.45	v -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907 -x4906 -x4905 -x4904 -x4903 x4902 x4901 -x4900 
3589.42/3598.45	v -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891 -x4890 -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 
3589.42/3598.45	v -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874 -x4873 -x4872 -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 
3589.42/3598.45	v -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854 -x4853 -x4852 -x4851 -x4850 -x4849 -x4848 -x4847 -x4846 
3589.42/3598.45	v -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 
3589.42/3598.45	v -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817 -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 
3589.42/3598.45	v -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 -x4793 
3589.42/3598.45	v -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 x4783 -x4782 -x4781 -x4780 -x4779 -x4778 -x4777 -x4776 -x4775 
3589.42/3598.45	v -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 -x4760 -x4759 -x4758 -x4757 
3589.42/3598.45	v -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 -x4710 -x4709 
3589.42/3598.45	v -x4708 -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 -x4701 -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 
3589.42/3598.45	v -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 -x4674 -x4673 
3589.42/3598.45	v -x4672 -x4671 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 
3589.42/3598.45	v -x4655 -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 
3589.42/3598.45	v -x4637 -x4636 -x4635 x4634 -x4633 x4632 x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 
3589.42/3598.45	v -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 
3589.42/3598.45	v -x4601 -x4600 -x4599 -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 
3589.42/3598.45	v -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 
3589.42/3598.45	v -x4565 -x4564 -x4563 -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 
3589.42/3598.45	v -x4547 -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 
3589.42/3598.45	v -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 -x4513 -x4512 
3589.42/3598.45	v -x4511 -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 
3589.42/3598.45	v -x4493 -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 
3589.42/3598.45	v -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 
3589.42/3598.45	v -x4458 -x4457 -x4456 -x4455 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 x4448 x4447 -x4446 x4445 -x4444 x4443 -x4442 -x4441 -x4440 
3589.42/3598.45	v -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 
3589.42/3598.45	v -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 
3589.42/3598.45	v -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 
3589.42/3598.45	v -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 
3589.42/3598.45	v -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 
3589.42/3598.45	v -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 
3589.42/3598.45	v -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 
3589.42/3598.45	v -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 
3589.42/3598.45	v -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 
3589.42/3598.45	v -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 
3589.42/3598.45	v -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 
3589.42/3598.45	v -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 
3589.42/3598.45	v -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 
3589.42/3598.45	v -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 
3589.42/3598.45	v -x4159 -x4158 -x4157 -x4156 x4155 -x4154 x4153 -x4152 x4151 x4150 x4149 -x4148 -x4147 x4146 -x4145 x4144 x4143 -x4142 -x4141 
3589.42/3598.45	v -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 
3589.42/3598.45	v -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 
3589.42/3598.45	v -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 
3589.42/3598.45	v -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 
3589.42/3598.45	v -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 
3589.42/3598.45	v -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 
3589.42/3598.45	v -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 
3589.42/3598.45	v -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 
3589.42/3598.45	v -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 
3589.42/3598.45	v -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 
3589.42/3598.45	v -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 
3589.42/3598.45	v -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 
3589.42/3598.45	v -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 
3589.42/3598.45	v -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863 -x3862 -x3861 
3589.42/3598.45	v -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 
3589.42/3598.45	v -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 
3589.42/3598.45	v -x3825 -x3824 -x3823 -x3822 -x3821 x3820 -x3819 x3818 x3817 x3816 x3815 x3814 x3813 x3812 -x3811 -x3810 -x3809 -x3808 -x3807 
3589.42/3598.45	v -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 
3589.42/3598.45	v -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 
3589.42/3598.45	v -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 
3589.42/3598.45	v -x3752 -x3751 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 
3589.42/3598.45	v -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 
3589.42/3598.45	v -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 
3589.42/3598.45	v -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 
3589.42/3598.45	v -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 x3639 -x3638 -x3637 -x3636 -x3635 -x3634 
3589.42/3598.45	v -x3633 x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 
3589.42/3598.45	v -x3615 x3614 -x3613 x3612 x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 
3589.42/3598.45	v -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 
3589.42/3598.45	v -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 
3589.42/3598.45	v -x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 
3589.42/3598.45	v -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 
3589.42/3598.45	v -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 
3589.42/3598.45	v -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 
3589.42/3598.45	v -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 
3589.42/3598.45	v -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 
3589.42/3598.45	v -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 
3589.42/3598.45	v -x3436 x3435 -x3434 x3433 -x3432 x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3360 -x3359 -x3358 
3589.42/3598.45	v -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 
3589.42/3598.45	v -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 
3589.42/3598.45	v -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 
3589.42/3598.45	v -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 
3589.42/3598.45	v -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 
3589.42/3598.45	v -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 
3589.42/3598.45	v -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 
3589.42/3598.45	v -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 
3589.42/3598.45	v -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 
3589.42/3598.45	v -x3196 x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 
3589.42/3598.45	v -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 
3589.42/3598.45	v -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 
3589.42/3598.45	v -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 
3589.42/3598.45	v -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 
3589.42/3598.45	v -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 
3589.42/3598.45	v -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 
3589.42/3598.45	v -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 
3589.42/3598.45	v -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 
3589.42/3598.45	v -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 
3589.42/3598.45	v -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 
3589.42/3598.45	v -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 
3589.42/3598.45	v -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 
3589.42/3598.45	v -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 
3589.42/3598.45	v -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 
3589.42/3598.45	v -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 
3589.42/3598.45	v -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 
3589.42/3598.45	v -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 
3589.42/3598.45	v -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 
3589.42/3598.45	v -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 
3589.42/3598.45	v -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 
3589.42/3598.45	v -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 
3589.42/3598.45	v -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 
3589.42/3598.45	v -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 x2743 -x2742 -x2741 -x2740 -x2739 
3589.42/3598.45	v -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 
3589.42/3598.45	v -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 
3589.42/3598.45	v -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 
3589.42/3598.45	v -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 
3589.42/3598.45	v -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 x2626 -x2625 -x2624 -x2623 x2622 -x2621 -x2620 -x2619 
3589.42/3598.45	v -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 
3589.42/3598.45	v -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 
3589.42/3598.45	v -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 
3589.42/3598.45	v -x2564 x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 
3589.42/3598.45	v -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 
3589.42/3598.45	v -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 
3589.42/3598.45	v -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 
3589.42/3598.45	v -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 
3589.42/3598.45	v -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 
3589.42/3598.45	v -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 
3589.42/3598.45	v -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 
3589.42/3598.45	v -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 
3589.42/3598.45	v -x2404 -x2403 -x2402 -x2401 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 
3589.42/3598.45	v -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 
3589.42/3598.45	v -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 
3589.42/3598.45	v -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 
3589.42/3598.45	v -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 
3589.42/3598.45	v -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 
3589.42/3598.45	v -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 
3589.42/3598.45	v -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 
3589.42/3598.45	v -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 
3589.42/3598.45	v -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 
3589.42/3598.45	v -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 
3589.42/3598.45	v -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 
3589.42/3598.45	v -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 
3589.42/3598.45	v -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 
3589.42/3598.45	v -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 
3589.42/3598.45	v -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 
3589.42/3598.45	v -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 
3589.42/3598.45	v -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 
3589.42/3598.45	v -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 
3589.42/3598.45	v -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 
3589.42/3598.45	v -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 
3589.42/3598.45	v -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 
3589.42/3598.45	v -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 
3589.42/3598.45	v -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 
3589.42/3598.45	v -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 
3589.42/3598.45	v -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 
3589.42/3598.45	v -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 
3589.42/3598.45	v -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 
3589.42/3598.45	v -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 
3589.42/3598.45	v -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 x1814 -x1813 -x1812 x1811 -x1810 -x1809 
3589.42/3598.45	v -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 
3589.42/3598.45	v -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 
3589.42/3598.45	v -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 
3589.42/3598.45	v -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1710 -x1709 -x1708 -x1707 
3589.42/3598.45	v -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 
3589.42/3598.45	v -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 
3589.42/3598.45	v -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 
3589.42/3598.45	v -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 
3589.42/3598.45	v -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 
3589.42/3598.45	v -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 
3589.42/3598.45	v -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 
3589.42/3598.45	v -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 
3589.42/3598.45	v -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 
3589.42/3598.45	v -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 
3589.42/3598.45	v -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 
3589.42/3598.45	v -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 
3589.42/3598.45	v -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 
3589.42/3598.45	v -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 
3589.42/3598.45	v -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 
3589.42/3598.45	v -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 
3589.42/3598.45	v -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 x1414 x1413 x1412 -x1411 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 
3589.42/3598.45	v -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 
3589.42/3598.45	v -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 
3589.42/3598.45	v -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 
3589.42/3598.45	v -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 
3589.42/3598.45	v -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 
3589.42/3598.45	v -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 
3589.42/3598.45	v -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 
3589.42/3598.45	v -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 
3589.42/3598.45	v -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 
3589.42/3598.45	v -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 
3589.42/3598.45	v -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 
3589.42/3598.45	v -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 
3589.42/3598.45	v -x1158 -x1157 -x1156 -x1155 x1154 -x1153 x1152 x1151 x1150 x1149 x1148 x1147 x1146 x1145 -x1144 -x1143 x1142 -x1141 -x1140 -x1139 
3589.42/3598.45	v -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 
3589.42/3598.45	v -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 
3589.42/3598.45	v -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 
3589.42/3598.45	v -x1085 -x1084 -x1083 -x1082 -x1081 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 
3589.42/3598.45	v -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 
3589.42/3598.45	v -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 
3589.42/3598.45	v -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 
3589.42/3598.45	v -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 
3589.42/3598.45	v -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 
3589.42/3598.45	v -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 
3589.42/3598.45	v -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 
3589.42/3598.45	v -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 
3589.42/3598.45	v -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 
3589.42/3598.45	v -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 
3589.42/3598.45	v -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 
3589.42/3598.45	v -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 
3589.42/3598.45	v -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 
3589.42/3598.45	v -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 
3589.42/3598.45	v -x751 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 
3589.42/3598.45	v -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 
3589.42/3598.45	v -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 
3589.42/3598.45	v -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 
3589.42/3598.45	v -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 
3589.42/3598.45	v -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 
3589.42/3598.45	v -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 
3589.42/3598.45	v -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 
3589.42/3598.45	v -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 
3589.42/3598.45	v -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 
3589.42/3598.45	v -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 
3589.42/3598.45	v -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 
3589.42/3598.45	v -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 
3589.42/3598.45	v -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 
3589.42/3598.45	v -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 
3589.42/3598.45	v -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 
3589.42/3598.45	v -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 x342 -x341 -x340 -x339 -x338 
3589.42/3598.45	v -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 
3589.42/3598.45	v -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 
3589.42/3598.45	v -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 
3589.42/3598.45	v -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 
3589.42/3598.45	v x254 -x253 -x252 -x251 x250 x249 -x248 -x247 -x246 -x245 x244 x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 
3589.42/3598.45	v -x232 -x231 -x230 -x229 -x228 -x227 -x226 x225 -x224 -x223 -x222 -x221 -x220 -x219 x218 x217 x216 x215 -x214 x213 -x212 -x211 
3589.42/3598.45	v -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 
3589.42/3598.45	v -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 
3589.42/3598.45	v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 
3589.42/3598.45	v -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 
3589.42/3598.45	v -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 
3589.42/3598.45	v -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x7560 -x7559 -x7558 -x7557 -x7556 
3589.42/3598.45	v -x7555 -x7554 -x7553 -x7552 -x7551 -x7550 -x7549 -x7548 -x7547 -x7546 -x7545 -x7544 -x7543 -x7542 -x7541 -x7540 -x7539 -x7538 
3589.42/3598.45	v -x7537 -x7536 -x7535 -x7534 -x7533 -x7532 -x7531 -x7530 -x7529 -x7528 -x7527 -x7526 -x7525 -x7524 -x7523 -x7522 -x7521 -x7520 
3589.42/3598.45	v -x7519 -x7518 -x7517 -x7516 -x7515 -x7514 -x7513 -x7512 -x7511 -x7510 -x7509 -x7508 -x7507 -x7506 -x7505 -x7504 -x7503 -x7502 
3589.42/3598.45	v -x7501 -x7500 -x7499 -x7498 -x7497 -x7496 -x7495 -x7494 -x7493 -x7492 -x7491 -x7490 -x7489 -x7488 -x7487 -x7486 -x7485 -x7484 
3589.42/3598.45	v -x7483 -x7482 -x7481 -x7480 -x7479 -x7478 -x7477 -x7476 -x7475 -x7474 -x7473 -x7472 -x7471 -x7470 -x7469 -x7468 -x7467 -x7466 
3589.42/3598.45	v -x7465 -x7464 -x7463 -x7462 -x7461 -x7460 -x7459 -x7458 -x7457 -x7456 -x7455 -x7454 -x7453 -x7452 -x7451 -x7450 -x7449 -x7448 
3589.42/3598.45	v -x7447 -x7446 -x7445 -x7444 -x7443 -x7442 -x7441 -x7440 -x7439 -x7438 -x7437 -x7436 -x7435 -x7434 -x7433 -x7432 -x7431 
3589.42/3598.45	v -x7430 -x7429 -x7428 -x7427 -x7426 -x7425 -x7424 -x7423 -x7422 -x7421 -x7420 -x7419 -x7418 -x7417 -x7416 -x7415 -x7414 -x7413 
3589.42/3598.45	v -x7412 -x7411 -x7410 -x7409 -x7408 -x7407 -x7406 -x7405 -x7404 -x7403 -x7402 -x7401 -x7400 -x7399 -x7398 -x7397 -x7396 -x7395 
3589.42/3598.45	v -x7394 -x7393 -x7392 -x7391 -x7390 -x7389 -x7388 -x7387 -x7386 -x7385 -x7384 -x7383 -x7382 -x7381 -x7380 -x7379 -x7378 -x7377 
3589.42/3598.45	v -x7376 -x7375 -x7374 -x7373 -x7372 -x7371 -x7370 -x7369 -x7368 -x7367 -x7366 -x7365 -x7364 -x7363 -x7362 -x7361 -x7360 -x7359 
3589.42/3598.45	v -x7358 -x7357 -x7356 -x7355 -x7354 -x7353 -x7352 -x7351 -x7350 -x7349 -x7348 -x7347 -x7346 -x7345 -x7344 -x7343 -x7342 -x7341 
3589.42/3598.45	v -x7340 -x7339 -x7338 -x7337 -x7336 -x7335 -x7334 -x7333 -x7332 -x7331 -x7330 -x7329 -x7328 -x7327 -x7326 -x7325 -x7324 -x7323 
3589.42/3598.45	v -x7322 -x7321 -x7320 -x7319 -x7318 -x7317 -x7316 -x7315 -x7314 -x7313 -x7312 -x7311 -x7310 -x7309 -x7308 -x7307 -x7306 
3589.42/3598.45	v -x7305 -x7304 -x7303 -x7302 -x7301 -x7300 -x7299 -x7298 -x7297 -x7296 -x7295 -x7294 -x7293 -x7292 -x7291 -x7290 -x7289 -x7288 
3589.42/3598.45	v -x7287 -x7286 -x7285 -x7284 -x7283 -x7282 -x7281 -x7280 -x7279 -x7278 -x7277 -x7276 -x7275 -x7274 -x7273 -x7272 -x7271 -x7270 
3589.42/3598.45	v -x7269 -x7268 -x7267 -x7266 -x7265 -x7264 -x7263 -x7262 -x7261 -x7230 -x7229 -x7228 -x7227 -x7226 -x7225 -x7224 -x7223 -x7222 
3589.42/3598.45	v -x7221 -x7220 -x7219 -x7218 -x7217 -x7216 -x7215 -x7214 -x7213 -x7212 -x7211 -x7210 -x7209 -x7208 -x7207 -x7206 -x7205 -x7204 
3589.42/3598.45	v -x7203 -x7202 -x7201 -x7200 -x7199 -x7198 -x7197 -x7196 -x7195 -x7194 -x7193 -x7192 -x7191 -x7190 -x7189 -x7188 -x7187 -x7186 
3589.42/3598.45	v -x7185 -x7184 -x7183 -x7182 -x7181 -x7180 -x7179 -x7178 -x7177 -x7176 -x7175 -x7174 -x7173 -x7172 -x7171 -x7170 -x7169 -x7168 
3589.42/3598.45	v -x7167 -x7166 -x7165 -x7164 -x7163 -x7162 -x7161 -x7160 -x7159 -x7158 -x7157 -x7156 -x7155 -x7154 -x7153 -x7152 -x7151 
3589.42/3598.45	v -x7150 -x7149 -x7148 -x7147 -x7146 -x7145 -x7144 -x7143 -x7142 -x7141 -x7140 -x7139 -x7138 -x7137 -x7136 -x7135 -x7134 -x7133 
3589.42/3598.45	v -x7132 -x7131 -x7130 -x7129 -x7128 -x7127 -x7126 -x7125 -x7124 -x7123 -x7122 -x7121 -x7120 -x7119 -x7118 -x7117 -x7116 -x7115 
3589.42/3598.45	v -x7114 -x7113 -x7112 -x7111 -x7110 -x7109 -x7108 -x7107 -x7106 -x7105 -x7104 -x7103 -x7102 -x7101 -x7100 -x7099 -x7098 -x7097 
3589.42/3598.45	v -x7096 x7095 -x7094 -x7093 x7092 -x7091 -x7090 -x7089 -x7088 -x7087 -x7086 -x7085 -x7084 -x7083 -x7082 -x7081 -x7080 -x7079 
3589.42/3598.45	v -x7078 -x7077 -x7076 -x7075 -x7074 -x7073 -x7072 -x7071 -x7070 -x7069 -x7068 -x7067 -x7066 -x7065 -x7064 -x7063 -x7062 -x7061 
3589.42/3598.45	v -x7060 -x7059 -x7058 -x7057 -x7056 -x7055 -x7054 -x7053 -x7052 -x7051 -x7050 -x7049 -x7048 -x7047 -x7046 -x7045 -x7044 -x7043 
3589.42/3598.45	v -x7042 -x7041 -x7040 -x7039 -x7038 -x7037 -x7036 -x7035 -x7034 -x7033 -x7032 -x7031 -x7030 -x7029 -x7028 -x7027 -x7026 -x7025 
3589.42/3598.45	v -x7024 -x7023 -x7022 -x7021 -x7020 -x7019 -x7018 -x7017 -x7016 -x7015 -x7014 -x7013 -x7012 -x7011 -x7010 -x7009 -x7008 -x7007 
3589.42/3598.45	v -x7006 -x7005 -x7004 -x7003 -x7002 -x7001 -x7000 -x6999 -x6998 -x6997 -x6996 -x6995 -x6994 -x6993 -x6992 -x6991 -x6990 
3589.42/3598.45	v -x6989 -x6988 -x6987 -x6986 -x6985 -x6984 -x6983 -x6982 -x6981 -x6980 -x6979 -x6978 -x6977 -x6976 -x6975 -x6974 -x6973 -x6972 
3589.42/3598.45	v -x6971 -x6970 -x6969 -x6968 -x6967 -x6966 -x6965 -x6964 -x6963 -x6962 -x6961 -x6960 -x6959 -x6958 -x6957 -x6956 -x6955 -x6954 
3589.42/3598.45	v -x6953 -x6952 -x6951 -x6950 -x6949 -x6948 -x6947 -x6946 -x6945 -x6944 -x6943 -x6942 -x6941 -x6940 -x6939 -x6938 -x6937 -x6936 
3589.42/3598.45	v -x6935 -x6934 -x6933 -x6932 -x6931 -x6900 -x6899 -x6898 -x6897 -x6896 -x6895 -x6894 -x6893 -x6892 -x6891 -x6890 -x6889 -x6888 
3589.42/3598.45	v -x6887 -x6886 -x6885 x6884 -x6883 -x6882 x6881 -x6880 -x6879 -x6878 -x6877 -x6876 -x6875 -x6874 -x6873 -x6872 -x6871 -x6870 
3589.42/3598.45	v -x6869 -x6868 -x6867 -x6866 -x6865 -x6864 -x6863 -x6862 -x6861 -x6860 -x6859 -x6858 -x6857 -x6856 -x6855 -x6854 -x6853 -x6852 
3589.42/3598.45	v -x6851 -x6850 -x6849 -x6848 -x6847 -x6846 -x6845 -x6844 -x6843 -x6842 -x6841 -x6840 -x6839 -x6838 -x6837 -x6836 -x6835 -x6834 
3589.42/3598.45	v -x6833 -x6832 -x6831 -x6830 -x6829 -x6828 -x6827 -x6826 -x6825 -x6824 -x6823 -x6822 -x6821 -x6820 -x6819 -x6818 -x6817 -x6816 
3589.42/3598.45	v -x6815 -x6814 -x6813 -x6812 -x6811 -x6810 -x6809 -x6808 -x6807 -x6806 -x6805 -x6804 -x6803 -x6802 -x6801 -x6800 -x6799 
3589.42/3598.45	v -x6798 -x6797 -x6796 -x6795 -x6794 -x6793 -x6792 -x6791 -x6790 -x6789 -x6788 -x6787 -x6786 -x6785 -x6784 -x6783 -x6782 -x6781 
3589.42/3598.45	v -x6780 -x6779 -x6778 -x6777 -x6776 -x6775 -x6774 -x6773 -x6772 -x6771 -x6770 -x6769 -x6768 -x6767 -x6766 -x6765 -x6764 -x6763 
3589.42/3598.45	v -x6762 -x6761 -x6760 -x6759 -x6758 -x6757 -x6756 -x6755 -x6754 -x6753 -x6752 -x6751 -x6750 -x6749 -x6748 -x6747 -x6746 -x6745 
3589.42/3598.45	v -x6744 -x6743 -x6742 -x6741 -x6740 -x6739 -x6738 -x6737 -x6736 -x6735 -x6734 -x6733 -x6732 -x6731 -x6730 -x6729 -x6728 -x6727 
3589.42/3598.45	v -x6726 -x6725 -x6724 -x6723 -x6722 -x6721 -x6720 -x6719 -x6718 -x6717 -x6716 -x6715 -x6714 -x6713 -x6712 -x6711 -x6710 -x6709 
3589.42/3598.45	v -x6708 -x6707 -x6706 -x6705 -x6704 -x6703 -x6702 -x6701 -x6700 -x6699 -x6698 -x6697 -x6696 -x6695 -x6694 -x6693 -x6692 -x6691 
3589.42/3598.45	v -x6690 -x6689 -x6688 -x6687 -x6686 -x6685 -x6684 -x6683 -x6682 -x6681 -x6680 -x6679 -x6678 -x6677 -x6676 -x6675 -x6674 
3589.42/3598.45	v -x6673 -x6672 -x6671 -x6670 -x6669 -x6668 -x6667 -x6666 -x6665 -x6664 -x6663 -x6662 -x6661 -x6660 -x6659 -x6658 -x6657 -x6656 
3589.42/3598.45	v -x6655 -x6654 -x6653 -x6652 -x6651 -x6650 -x6649 -x6648 -x6647 -x6646 -x6645 -x6644 -x6643 -x6642 -x6641 -x6640 -x6639 -x6638 
3589.42/3598.45	v -x6637 -x6636 -x6635 -x6634 -x6633 -x6632 -x6631 -x6630 -x6629 -x6628 -x6627 -x6626 -x6625 -x6624 -x6623 -x6622 -x6621 -x6620 
3589.42/3598.45	v -x6619 -x6618 -x6617 -x6616 -x6615 -x6614 -x6613 -x6612 -x6611 -x6610 -x6609 -x6608 -x6607 -x6606 -x6605 -x6604 -x6603 -x6602 
3589.42/3598.45	v -x6601 -x6570 -x6569 -x6568 -x6567 -x6566 -x6565 -x6564 -x6563 -x6562 -x6561 -x6560 -x6559 -x6558 -x6557 -x6556 -x6555 -x6554 
3589.42/3598.45	v -x6553 -x6552 -x6551 -x6550 -x6549 -x6548 -x6547 -x6546 -x6545 -x6544 -x6543 -x6542 -x6541 -x6540 -x6539 -x6538 -x6537 -x6536 
3589.42/3598.45	v -x6535 -x6534 -x6533 -x6532 -x6531 -x6530 -x6529 -x6528 -x6527 -x6526 -x6525 -x6524 -x6523 -x6522 -x6521 -x6520 -x6519 
3589.42/3598.45	v -x6518 -x6517 -x6516 -x6515 -x6514 -x6513 -x6512 -x6511 -x6510 -x6509 -x6508 -x6507 -x6506 -x6505 -x6504 -x6503 -x6502 -x6501 
3589.42/3598.45	v -x6500 -x6499 -x6498 -x6497 -x6496 -x6495 -x6494 -x6493 -x6492 -x6491 -x6490 -x6489 -x6488 -x6487 -x6486 -x6485 -x6484 -x6483 
3589.42/3598.45	v -x6482 -x6481 -x6480 -x6479 -x6478 -x6477 -x6476 -x6475 -x6474 -x6473 -x6472 -x6471 -x6470 -x6469 -x6468 -x6467 -x6466 -x6465 
3589.42/3598.45	v -x6464 -x6463 -x6462 -x6461 -x6460 -x6459 -x6458 -x6457 -x6456 -x6455 -x6454 -x6453 -x6452 -x6451 -x6450 -x6449 -x6448 -x6447 
3589.42/3598.45	v -x6446 -x6445 -x6444 -x6443 -x6442 -x6441 -x6440 -x6439 -x6438 -x6437 -x6436 -x6435 -x6434 -x6433 -x6432 -x6431 -x6430 -x6429 
3589.42/3598.45	v -x6428 -x6427 -x6426 -x6425 -x6424 -x6423 -x6422 -x6421 -x6420 -x6419 -x6418 -x6417 -x6416 -x6415 -x6414 -x6413 -x6412 -x6411 
3589.42/3598.45	v -x6410 -x6409 -x6408 -x6407 -x6406 -x6405 -x6404 -x6403 -x6402 -x6401 -x6400 -x6399 -x6398 -x6397 -x6396 -x6395 -x6394 
3589.42/3598.45	v -x6393 -x6392 -x6391 -x6390 -x6389 -x6388 -x6387 -x6386 -x6385 -x6384 -x6383 -x6382 -x6381 -x6380 -x6379 -x6378 -x6377 -x6376 
3589.42/3598.45	v -x6375 -x6374 x6373 x6372 -x6371 -x6370 -x6369 -x6368 -x6367 -x6366 -x6365 -x6364 -x6363 -x6362 -x6361 -x6360 -x6359 -x6358 
3589.42/3598.45	v -x6357 -x6356 -x6355 -x6354 -x6353 -x6352 -x6351 -x6350 -x6349 -x6348 -x6347 -x6346 -x6345 -x6344 -x6343 -x6342 -x6341 -x6340 
3589.42/3598.45	v -x6339 -x6338 -x6337 -x6336 -x6335 -x6334 -x6333 -x6332 -x6331 -x6330 -x6329 -x6328 -x6327 -x6326 -x6325 -x6324 -x6323 -x6322 
3589.42/3598.45	v -x6321 -x6320 -x6319 -x6318 -x6317 -x6316 -x6315 -x6314 -x6313 -x6312 -x6311 -x6310 -x6309 -x6308 -x6307 -x6306 -x6305 -x6304 
3589.42/3598.45	v -x6303 -x6302 -x6301 -x6300 -x6299 -x6298 -x6297 -x6296 -x6295 -x6294 -x6293 -x6292 -x6291 -x6290 -x6289 -x6288 -x6287 -x6286 
3589.42/3598.45	v -x6285 -x6284 -x6283 -x6282 -x6281 -x6280 -x6279 -x6278 -x6277 -x6276 -x6275 -x6274 -x6273 -x6272 -x6271 -x6240 -x6239 -x6238 
3589.42/3598.45	v -x6237 -x6236 -x6235 -x6234 -x6233 -x6232 -x6231 -x6230 -x6229 -x6228 -x6227 -x6226 -x6225 -x6224 x6223 -x6222 -x6221 -x6220 
3589.42/3598.45	v -x6219 -x6218 -x6217 -x6216 -x6215 -x6214 -x6213 -x6212 -x6211 -x6210 -x6209 -x6208 -x6207 -x6206 -x6205 -x6204 -x6203 -x6202 
3589.42/3598.45	v -x6201 -x6200 -x6199 -x6198 -x6197 -x6196 -x6195 -x6194 -x6193 -x6192 -x6191 -x6190 -x6189 -x6188 -x6187 -x6186 -x6185 
3589.42/3598.45	v -x6184 -x6183 -x6182 -x6181 -x6180 -x6179 -x6178 -x6177 -x6176 -x6175 -x6174 -x6173 -x6172 -x6171 -x6170 -x6169 -x6168 -x6167 
3589.42/3598.45	v -x6166 -x6165 -x6164 -x6163 -x6162 -x6161 -x6160 -x6159 -x6158 -x6157 -x6156 -x6155 -x6154 -x6153 -x6152 -x6151 -x6150 -x6149 
3589.42/3598.45	v -x6148 -x6147 -x6146 -x6145 -x6144 -x6143 -x6142 -x6141 -x6140 -x6139 -x6138 -x6137 -x6136 -x6135 -x6134 -x6133 -x6132 -x6131 
3589.42/3598.45	v -x6130 -x6129 -x6128 -x6127 -x6126 -x6125 -x6124 -x6123 -x6122 -x6121 -x6120 -x6119 -x6118 -x6117 -x6116 -x6115 -x6114 -x6113 
3589.42/3598.45	v -x6112 -x6111 -x6110 -x6109 -x6108 -x6107 -x6106 -x6105 -x6104 -x6103 -x6102 -x6101 -x6100 -x6099 -x6098 -x6097 -x6096 -x6095 
3589.42/3598.45	v -x6094 -x6093 -x6092 -x6091 -x6090 -x6089 -x6088 -x6087 -x6086 -x6085 -x6084 -x6083 -x6082 -x6081 -x6080 -x6079 -x6078 -x6077 
3589.42/3598.45	v -x6076 -x6075 -x6074 -x6073 -x6072 -x6071 -x6070 -x6069 -x6068 -x6067 -x6066 -x6065 -x6064 -x6063 -x6062 -x6061 -x6060 
3589.42/3598.45	v -x6059 -x6058 -x6057 -x6056 -x6055 -x6054 -x6053 -x6052 -x6051 -x6050 -x6049 -x6048 -x6047 -x6046 -x6045 -x6044 -x6043 -x6042 
3589.42/3598.45	v -x6041 -x6040 -x6039 -x6038 -x6037 -x6036 -x6035 -x6034 -x6033 -x6032 -x6031 -x6030 -x6029 -x6028 -x6027 -x6026 -x6025 -x6024 
3589.42/3598.45	v -x6023 -x6022 -x6021 -x6020 -x6019 -x6018 -x6017 -x6016 -x6015 -x6014 -x6013 -x6012 -x6011 -x6010 -x6009 -x6008 -x6007 -x6006 
3589.42/3598.45	v -x6005 -x6004 -x6003 -x6002 -x6001 -x6000 -x5999 -x5998 -x5997 -x5996 -x5995 -x5994 -x5993 -x5992 -x5991 -x5990 -x5989 -x5988 
3589.42/3598.45	v -x5987 -x5986 -x5985 -x5984 -x5983 -x5982 -x5981 -x5980 -x5979 -x5978 -x5977 x5976 -x5975 -x5974 -x5973 -x5972 -x5971 -x5970 
3589.42/3598.45	v -x5969 -x5968 -x5967 -x5966 -x5965 -x5964 -x5963 -x5962 -x5961 -x5960 -x5959 -x5958 -x5957 -x5956 -x5955 -x5954 -x5953 -x5952 
3589.42/3598.45	v -x5951 -x5950 -x5949 -x5948 -x5947 -x5946 -x5945 -x5944 -x5943 -x5942 -x5941 -x5910 -x5909 -x5908 -x5907 -x5906 -x5905 -x5904 
3589.42/3598.45	v -x5903 -x5902 -x5901 -x5900 -x5899 -x5898 -x5897 -x5896 -x5895 -x5894 -x5893 -x5892 -x5891 -x5890 -x5889 -x5888 -x5887 
3589.42/3598.45	v -x5886 -x5885 -x5884 -x5883 -x5882 -x5881 -x5880 -x5879 -x5878 -x5877 -x5876 -x5875 -x5874 -x5873 -x5872 -x5871 -x5870 -x5869 
3589.42/3598.45	v -x5868 -x5867 -x5866 -x5865 x5864 x5863 -x5862 x5861 -x5860 -x5859 -x5858 -x5857 -x5856 -x5855 -x5854 -x5853 -x5852 -x5851 -x5850 
3589.42/3598.45	v -x5849 -x5848 -x5847 -x5846 -x5845 -x5844 -x5843 -x5842 -x5841 -x5840 -x5839 -x5838 -x5837 -x5836 -x5835 -x5834 -x5833 
3589.42/3598.45	v -x5832 -x5831 -x5830 -x5829 -x5828 -x5827 -x5826 -x5825 -x5824 -x5823 -x5822 -x5821 -x5820 -x5819 -x5818 -x5817 -x5816 -x5815 
3589.42/3598.45	v -x5814 -x5813 -x5812 -x5811 -x5810 -x5809 -x5808 -x5807 -x5806 -x5805 -x5804 x5803 x5802 x5801 -x5800 -x5799 -x5798 -x5797 -x5796 
3589.42/3598.45	v -x5795 -x5794 -x5793 -x5792 -x5791 -x5790 -x5789 -x5788 -x5787 -x5786 -x5785 -x5784 -x5783 -x5782 -x5781 -x5780 -x5779 
3589.42/3598.45	v -x5778 -x5777 -x5776 -x5775 -x5774 -x5773 x5772 -x5771 x5770 -x5769 x5768 x5767 x5766 x5765 x5764 x5763 x5762 -x5761 -x5760 -x5759 
3589.42/3598.45	v -x5758 -x5757 -x5756 -x5755 -x5754 -x5753 -x5752 -x5751 -x5750 -x5749 -x5748 -x5747 -x5746 -x5745 -x5744 -x5743 -x5742 
3589.42/3598.45	v -x5741 -x5740 -x5739 -x5738 -x5737 -x5736 -x5735 -x5734 -x5733 -x5732 -x5731 -x5730 -x5729 -x5728 -x5727 -x5726 -x5725 -x5724 
3589.42/3598.45	v -x5723 -x5722 -x5721 -x5720 -x5719 -x5718 -x5717 -x5716 -x5715 -x5714 -x5713 -x5712 -x5711 -x5710 -x5709 -x5708 -x5707 -x5706 
3589.42/3598.45	v -x5705 -x5704 -x5703 -x5702 -x5701 -x5700 -x5699 -x5698 -x5697 -x5696 -x5695 -x5694 -x5693 -x5692 -x5691 -x5690 -x5689 -x5688 
3589.42/3598.45	v -x5687 -x5686 -x5685 -x5684 -x5683 -x5682 x5681 -x5680 -x5679 x5678 x5677 x5676 -x5675 -x5674 -x5673 x5672 -x5671 -x5670 -x5669 
3589.42/3598.45	v -x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662 -x5661 -x5660 -x5659 -x5658 -x5657 -x5656 -x5655 -x5654 -x5653 -x5652 
3589.42/3598.45	v -x5651 -x5650 -x5649 -x5648 -x5647 -x5646 -x5645 -x5644 -x5643 -x5642 -x5641 -x5640 -x5639 -x5638 -x5637 -x5636 -x5635 -x5634 
3589.42/3598.45	v -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 -x5627 -x5626 -x5625 -x5624 -x5623 -x5622 -x5621 -x5620 -x5619 -x5618 -x5617 -x5616 
3589.42/3598.45	v -x5615 -x5614 -x5613 -x5612 -x5611 -x5580 -x5579 -x5578 -x5577 -x5576 -x5575 -x5574 -x5573 -x5572 -x5571 -x5570 -x5569 -x5568 
3589.42/3598.45	v -x5567 -x5566 -x5565 -x5564 -x5563 -x5562 -x5561 -x5560 -x5559 -x5558 -x5557 -x5556 -x5555 -x5554 -x5553 -x5552 -x5551 -x5550 
3589.42/3598.45	v -x5549 -x5548 -x5547 -x5546 -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 -x5537 -x5536 -x5535 -x5534 -x5533 -x5532 
3589.42/3598.45	v -x5531 -x5530 -x5529 -x5528 -x5527 -x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5520 -x5519 -x5518 -x5517 -x5516 -x5515 -x5514 
3589.42/3598.45	v -x5513 -x5512 -x5511 -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5501 -x5500 -x5499 -x5498 -x5497 
3589.42/3598.45	v -x5496 -x5495 -x5494 -x5493 -x5492 -x5491 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483 -x5482 -x5481 -x5480 -x5479 
3589.42/3598.45	v -x5478 -x5477 -x5476 -x5475 -x5474 -x5473 -x5472 -x5471 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463 -x5462 -x5461 
3589.42/3598.45	v -x5460 -x5459 -x5458 -x5457 -x5456 -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5445 -x5444 -x5443 
3589.42/3598.45	v -x5442 -x5441 -x5440 -x5439 -x5438 -x5437 -x5436 -x5435 -x5434 -x5433 -x5432 -x5431 -x5430 -x5429 -x5428 -x5427 -x5426 -x5425 
3589.42/3598.45	v -x5424 -x5423 -x5422 -x5421 -x5420 -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 x5412 x5411 -x5410 -x5409 -x5408 -x5407 
3589.42/3598.45	v -x5406 -x5405 -x5404 -x5403 -x5402 -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 -x5391 -x5390 -x5389 
3589.42/3598.45	v -x5388 -x5387 -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5375 -x5374 -x5373 -x5372 -x5371 
3589.42/3598.45	v -x5370 -x5369 -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359 -x5358 -x5357 -x5356 -x5355 -x5354 -x5353 
3589.42/3598.45	v -x5352 -x5351 -x5350 -x5349 -x5348 -x5347 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341 -x5340 -x5339 -x5338 -x5337 -x5336 
3589.42/3598.45	v -x5335 -x5334 -x5333 -x5332 -x5331 -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 -x5322 -x5321 -x5320 -x5319 -x5318 
3589.42/3598.45	v -x5317 -x5316 -x5315 -x5314 -x5313 -x5312 -x5311 -x5310 -x5309 -x5308 -x5307 -x5306 -x5305 -x5304 -x5303 -x5302 -x5301 -x5300 
3589.42/3598.45	v -x5299 -x5298 -x5297 -x5296 -x5295 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 -x5288 -x5287 -x5286 -x5285 -x5284 -x5283 -x5282 
3589.42/3598.45	v -x5281 -x5250 -x5249 -x5248 -x5247 -x5246 -x5245 -x5244 -x5243 -x5242 -x5241 -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 x5234 
3589.42/3598.45	v x5233 x5232 x5231 -x5230 -x5229 -x5228 -x5227 -x5226 -x5225 -x5224 -x5223 -x5222 -x5221 -x5220 -x5219 -x5218 -x5217 -x5216 
3589.42/3598.45	v -x5215 -x5214 -x5213 -x5212 -x5211 -x5210 -x5209 -x5208 -x5207 -x5206 -x5205 -x5204 -x5203 -x5202 -x5201 -x5200 -x5199 -x5198 
3589.42/3598.45	v -x5197 -x5196 -x5195 -x5194 -x5193 -x5192 -x5191 -x5190 -x5189 -x5188 -x5187 -x5186 -x5185 -x5184 -x5183 -x5182 -x5181 -x5180 
3589.42/3598.45	v -x5179 -x5178 -x5177 -x5176 -x5175 -x5174 -x5173 -x5172 -x5171 -x5170 -x5169 -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 -x5162 
3589.42/3598.45	v -x5161 -x5160 -x5159 -x5158 -x5157 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151 -x5150 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 
3589.42/3598.45	v -x5143 -x5142 -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 -x5133 -x5132 -x5131 -x5070 -x5069 -x5068 -x5067 -x5066 
3589.42/3598.45	v -x5065 -x5064 -x5063 -x5062 -x5061 -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 -x5050 -x5049 
3589.42/3598.45	v -x5048 -x5047 -x5046 -x5045 -x5044 -x5043 -x5042 -x5041 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 
3589.42/3598.45	v -x4730 -x4729 -x4728 -x4727 -x4726 -x4725 -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 
3589.42/3598.45	v -x4712 -x4711 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 
3589.42/3598.45	v -x4394 -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4080 -x4079 -x4078 -x4077 
3589.42/3598.45	v -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 
3589.42/3598.45	v -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 
3589.42/3598.45	v -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 
3589.42/3598.45	v -x3723 -x3722 -x3721 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 
3589.42/3598.45	v -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3060 -x3059 -x3058 
3589.42/3598.45	v -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 x3041 -x3040 
3589.42/3598.45	v -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 
3589.42/3598.45	v -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 
3589.42/3598.45	v -x2703 -x2702 -x2701 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 
3589.42/3598.45	v -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2070 -x2069 -x2068 
3589.42/3598.45	v -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 
3589.42/3598.45	v -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 
3589.42/3598.45	v -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 
3589.42/3598.45	v -x1714 -x1713 -x1712 -x1711 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 
3589.42/3598.45	v -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1080 -x1079 
3589.42/3598.45	v -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 
3589.42/3598.45	v -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 
3589.42/3598.45	v -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 
3589.42/3598.45	v -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 
3589.42/3598.45	v -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 
3589.42/3598.45	v -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x7260 -x7259 -x7258 -x7257 -x7256 -x7255 
3589.42/3598.45	v -x7254 -x7253 -x7252 -x7251 -x7250 -x7249 -x7248 -x7247 -x7246 -x7245 -x7244 -x7243 -x7242 -x7241 -x7240 -x7239 -x7238 -x7237 
3589.42/3598.45	v -x7236 -x7235 -x7234 -x7233 -x7232 -x7231 -x6930 -x6929 -x6928 -x6927 -x6926 -x6925 -x6924 -x6923 -x6922 -x6921 -x6920 -x6919 
3589.42/3598.45	v -x6918 -x6917 -x6916 -x6915 -x6914 -x6913 -x6912 -x6911 -x6910 -x6909 -x6908 -x6907 -x6906 -x6905 -x6904 -x6903 -x6902 -x6901 
3589.42/3598.45	v -x6600 -x6599 -x6598 -x6597 -x6596 -x6595 -x6594 -x6593 -x6592 -x6591 -x6590 -x6589 -x6588 -x6587 -x6586 -x6585 -x6584 -x6583 
3589.42/3598.46	v -x6582 -x6581 -x6580 -x6579 -x6578 -x6577 -x6576 -x6575 -x6574 -x6573 -x6572 -x6571 -x6270 -x6269 -x6268 -x6267 -x6266 -x6265 
3589.42/3598.46	v -x6264 -x6263 -x6262 -x6261 -x6260 -x6259 -x6258 -x6257 -x6256 -x6255 -x6254 -x6253 -x6252 -x6251 -x6250 -x6249 -x6248 
3589.42/3598.46	v -x6247 -x6246 -x6245 -x6244 -x6243 -x6242 -x6241 -x5940 -x5939 -x5938 -x5937 -x5936 -x5935 -x5934 -x5933 -x5932 -x5931 -x5930 
3589.42/3598.46	v -x5929 -x5928 -x5927 -x5926 -x5925 -x5924 -x5923 -x5922 -x5921 -x5920 -x5919 -x5918 -x5917 -x5916 -x5915 -x5914 -x5913 -x5912 
3589.42/3598.46	v -x5911 -x5610 -x5609 -x5608 -x5607 -x5606 -x5605 -x5604 -x5603 -x5602 -x5601 -x5600 -x5599 -x5598 -x5597 -x5596 x5595 -x5594 
3589.42/3598.46	v x5593 -x5592 -x5591 -x5590 -x5589 -x5588 -x5587 -x5586 -x5585 -x5584 -x5583 -x5582 -x5581 -x5280 -x5279 -x5278 -x5277 -x5276 
3589.42/3598.46	v -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 -x5266 -x5265 -x5264 -x5263 -x5262 -x5261 -x5260 -x5259 -x5258 
3589.42/3598.46	v -x5257 -x5256 -x5255 -x5254 -x5253 -x5252 -x5251 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 
3589.42/3598.46	v -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 
3589.42/3598.46	v -x3361 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 
3589.42/3598.46	v -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 
3589.42/3598.46	v -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 

Verifier Data

OK	5373732

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: 64096 MiB (61358 MiB free)
  memory of node 1: 64473 MiB (58021 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=30875, runsolver pid=30869

[startup+0.100857 s]*
/proc/loadavg: 0.16 0.12 0.13 7/248 30894
/proc/meminfo: memFree=122179024/131655788 swapFree=131071996/131071996
[pid=30875] ppid=30869 vsize=46784 memory=35624 CPUtime=0.1 cores=4,6
/proc/30875/stat : 30875 (fscip) R 30869 30875 30817 0 -1 4194304 6538 0 0 0 8 2 0 0 20 0 1 0 4455935 47906816 8906 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
/proc/30875/statm: 11696 8906 2630 3035 0 8092 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 46784 KiB
Current children cumulated memory: 35624 KiB

[startup+0.213957 s]*
/proc/loadavg: 0.16 0.12 0.13 4/246 30896
/proc/meminfo: memFree=122139040/131655788 swapFree=131071996/131071996
[pid=30875] ppid=30869 vsize=56792 memory=45604 CPUtime=0.21 cores=4,6
/proc/30875/stat : 30875 (fscip) R 30869 30875 30817 0 -1 4194304 9284 0 0 0 19 2 0 0 20 0 1 0 4455935 58155008 11401 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
/proc/30875/statm: 14198 11401 2774 3035 0 10594 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 56792 KiB
Current children cumulated memory: 45604 KiB

[startup+0.314701 s]*
/proc/loadavg: 0.16 0.12 0.13 6/246 30907
/proc/meminfo: memFree=122106900/131655788 swapFree=131071996/131071996
[pid=30875] ppid=30869 vsize=156284 memory=63684 CPUtime=0.31 cores=4,6
/proc/30875/stat : 30875 (fscip) S 30869 30875 30817 0 -1 1077936128 14705 0 0 0 27 4 0 0 20 0 3 0 4455935 160034816 15921 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
/proc/30875/statm: 39071 15921 2806 3035 0 20822 0
[pid=30875/tid=30906] ppid=30869 vsize=156284 memory=-6737200782029914566 CPUtime=0.02 cores=4,6
/proc/30875/task/30906/stat : 30906 (fscip) R 30869 30875 30817 0 -1 4194368 2783 0 0 0 1 1 0 0 20 0 3 0 4455964 160034816 15987 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
[pid=30875/tid=30908] ppid=30869 vsize=156284 memory=-6000919507099610220 CPUtime=0 cores=4,6
/proc/30875/task/30908/stat : 30908 (fscip) R 30869 30875 30817 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 3 0 4455967 160034816 15987 134679101440 4194304 16623229 140733460160512 0 0 0 2147221247 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 156284 KiB
Current children cumulated memory: 63684 KiB

[startup+0.700436 s]
/proc/loadavg: 0.16 0.12 0.13 5/247 30908
/proc/meminfo: memFree=122058636/131655788 swapFree=131071996/131071996
[pid=30875] ppid=30869 vsize=165376 memory=90992 CPUtime=0.68 cores=4,6
/proc/30875/stat : 30875 (fscip) S 30869 30875 30817 0 -1 1077936128 21493 0 0 0 61 7 0 0 20 0 3 0 4455935 169345024 22748 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
/proc/30875/statm: 41344 22748 2934 3035 0 28431 0
[pid=30875/tid=30906] ppid=30869 vsize=165376 memory=2316 CPUtime=0.39 cores=4,6
/proc/30875/task/30906/stat : 30906 (fscip) R 30869 30875 30817 0 -1 4194368 9532 0 0 0 36 3 0 0 20 0 3 0 4455964 169345024 22748 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
[pid=30875/tid=30908] ppid=30869 vsize=165376 memory=257 CPUtime=0 cores=4,6
/proc/30875/task/30908/stat : 30908 (fscip) S 30869 30875 30817 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4455967 169345024 22748 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 165376 KiB
Current children cumulated memory: 90992 KiB

[startup+1.50035 s]
/proc/loadavg: 0.16 0.12 0.13 5/249 30910
/proc/meminfo: memFree=122004052/131655788 swapFree=131071996/131071996
[pid=30875] ppid=30869 vsize=168204 memory=112000 CPUtime=1.48 cores=4,6
/proc/30875/stat : 30875 (fscip) S 30869 30875 30817 0 -1 1077936128 35190 0 0 0 138 10 0 0 20 0 3 0 4455935 172240896 28000 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
/proc/30875/statm: 42051 28000 2966 3035 0 34160 0
[pid=30875/tid=30906] ppid=30869 vsize=168204 memory=0 CPUtime=1.18 cores=4,6
/proc/30875/task/30906/stat : 30906 (fscip) R 30869 30875 30817 0 -1 4194368 23226 0 0 0 112 6 0 0 20 0 3 0 4455964 172240896 28000 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
[pid=30875/tid=30908] ppid=30869 vsize=168204 memory=2316 CPUtime=0 cores=4,6
/proc/30875/task/30908/stat : 30908 (fscip) S 30869 30875 30817 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 4455967 172240896 28000 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 168204 KiB
Current children cumulated memory: 112000 KiB

[startup+3.11373 s]
/proc/loadavg: 0.16 0.12 0.13 6/256 30950
/proc/meminfo: memFree=121855848/131655788 swapFree=131071996/131071996
[pid=30875] ppid=30869 vsize=235984 memory=138972 CPUtime=3.08 cores=4,6
/proc/30875/stat : 30875 (fscip) S 30869 30875 30817 0 -1 1077936128 44851 0 0 0 297 11 0 0 20 0 3 0 4455935 241647616 34743 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
/proc/30875/statm: 58996 34743 2966 3035 0 40552 0
[pid=30875/tid=30906] ppid=30869 vsize=235984 memory=12036 CPUtime=2.79 cores=4,6
/proc/30875/task/30906/stat : 30906 (fscip) R 30869 30875 30817 0 -1 4194368 32887 0 0 0 272 7 0 0 20 0 3 0 4455964 241647616 34743 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
[pid=30875/tid=30908] ppid=30869 vsize=235984 memory=0 CPUtime=0 cores=4,6
/proc/30875/task/30908/stat : 30908 (fscip) S 30869 30875 30817 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 4455967 241647616 34743 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 235984 KiB
Current children cumulated memory: 138972 KiB

[startup+6.30033 s]
/proc/loadavg: 0.55 0.20 0.16 6/256 30952
/proc/meminfo: memFree=121770492/131655788 swapFree=131071996/131071996
[pid=30875] ppid=30869 vsize=238900 memory=161212 CPUtime=6.26 cores=4,6
/proc/30875/stat : 30875 (fscip) S 30869 30875 30817 0 -1 1077936128 82072 0 0 0 613 13 0 0 20 0 3 0 4455935 244633600 40303 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
/proc/30875/statm: 59725 40303 2966 3035 0 46260 0
[pid=30875/tid=30906] ppid=30869 vsize=238900 memory=0 CPUtime=5.98 cores=4,6
/proc/30875/task/30906/stat : 30906 (fscip) R 30869 30875 30817 0 -1 4194368 70106 0 0 0 588 10 0 0 20 0 3 0 4455964 244633600 40303 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
[pid=30875/tid=30908] ppid=30869 vsize=238900 memory=-5155625791117880197 CPUtime=0 cores=4,6
/proc/30875/task/30908/stat : 30908 (fscip) S 30869 30875 30817 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 4455967 244633600 40303 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 238900 KiB
Current children cumulated memory: 161212 KiB

[startup+12.7003 s]
/proc/loadavg: 0.82 0.26 0.18 7/259 31011
/proc/meminfo: memFree=121673816/131655788 swapFree=131071996/131071996
[pid=30875] ppid=30869 vsize=238900 memory=168384 CPUtime=12.66 cores=4,6
/proc/30875/stat : 30875 (fscip) S 30869 30875 30817 0 -1 1077936128 92643 0 0 0 1251 15 0 0 20 0 3 0 4455935 244633600 42096 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
/proc/30875/statm: 59725 42096 3270 3035 0 47574 0
[pid=30875/tid=30906] ppid=30869 vsize=238900 memory=-5155625791117880197 CPUtime=12.36 cores=4,6
/proc/30875/task/30906/stat : 30906 (fscip) R 30869 30875 30817 0 -1 4194368 80667 0 0 0 1225 11 0 0 20 0 3 0 4455964 244633600 42096 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
[pid=30875/tid=30908] ppid=30869 vsize=238900 memory=168380 CPUtime=0 cores=4,6
/proc/30875/task/30908/stat : 30908 (fscip) S 30869 30875 30817 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 4455967 244633600 42096 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 238900 KiB
Current children cumulated memory: 168384 KiB

[startup+25.5004 s]
/proc/loadavg: 1.53 0.45 0.24 6/259 31014
/proc/meminfo: memFree=121648508/131655788 swapFree=131071996/131071996
[pid=30875] ppid=30869 vsize=238900 memory=191816 CPUtime=25.42 cores=4,6
/proc/30875/stat : 30875 (fscip) S 30869 30875 30817 0 -1 1077936128 134564 0 0 0 2524 18 0 0 20 0 3 0 4455935 244633600 47954 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
/proc/30875/statm: 59725 47954 3318 3035 0 53408 0
[pid=30875/tid=30906] ppid=30869 vsize=238900 memory=191816 CPUtime=25.12 cores=4,6
/proc/30875/task/30906/stat : 30906 (fscip) R 30869 30875 30817 0 -1 4194368 121604 0 0 0 2498 14 0 0 20 0 3 0 4455964 244633600 47954 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
[pid=30875/tid=30908] ppid=30869 vsize=238900 memory=191816 CPUtime=0 cores=4,6
/proc/30875/task/30908/stat : 30908 (fscip) S 30869 30875 30817 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 4455967 244633600 47954 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 238900 KiB
Current children cumulated memory: 191816 KiB

[startup+51.1139 s]
/proc/loadavg: 2.43 0.75 0.35 6/259 31017
/proc/meminfo: memFree=121577588/131655788 swapFree=131071996/131071996
[pid=30875] ppid=30869 vsize=238900 memory=195340 CPUtime=50.97 cores=4,6
/proc/30875/stat : 30875 (fscip) S 30869 30875 30817 0 -1 1077936128 190768 0 0 0 5075 22 0 0 20 0 3 0 4455935 244633600 48835 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
/proc/30875/statm: 59725 48835 3334 3035 0 54565 0
[pid=30875/tid=30906] ppid=30869 vsize=238900 memory=191736 CPUtime=50.67 cores=4,6
/proc/30875/task/30906/stat : 30906 (fscip) R 30869 30875 30817 0 -1 4194368 176814 0 0 0 5049 18 0 0 20 0 3 0 4455964 244633600 48835 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
[pid=30875/tid=30908] ppid=30869 vsize=238900 memory=192204 CPUtime=0 cores=4,6
/proc/30875/task/30908/stat : 30908 (fscip) S 30869 30875 30817 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 4455967 244633600 48835 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 238900 KiB
Current children cumulated memory: 195340 KiB

[startup+102.3 s]
/proc/loadavg: 3.42 1.28 0.55 6/259 31025
/proc/meminfo: memFree=121471180/131655788 swapFree=131071996/131071996
[pid=30875] ppid=30869 vsize=304436 memory=207696 CPUtime=102.03 cores=4,6
/proc/30875/stat : 30875 (fscip) S 30869 30875 30817 0 -1 1077936128 255743 0 0 0 10176 27 0 0 20 0 3 0 4455935 311742464 51924 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
/proc/30875/statm: 76109 51924 3334 3035 0 57306 0
[pid=30875/tid=30906] ppid=30869 vsize=304436 memory=207696 CPUtime=101.73 cores=4,6
/proc/30875/task/30906/stat : 30906 (fscip) R 30869 30875 30817 0 -1 4194368 240815 0 0 0 10150 23 0 0 20 0 3 0 4455964 311742464 51924 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
[pid=30875/tid=30908] ppid=30869 vsize=304436 memory=12036 CPUtime=0 cores=4,6
/proc/30875/task/30908/stat : 30908 (fscip) S 30869 30875 30817 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 3 0 4455967 311742464 51924 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 304436 KiB
Current children cumulated memory: 207696 KiB

[startup+162.3 s]
/proc/loadavg: 3.94 1.83 0.78 6/259 31037
/proc/meminfo: memFree=121348172/131655788 swapFree=131071996/131071996
[pid=30875] ppid=30869 vsize=304436 memory=219964 CPUtime=161.87 cores=4,6
/proc/30875/stat : 30875 (fscip) S 30869 30875 30817 0 -1 1077936128 284033 0 0 0 16158 29 0 0 20 0 3 0 4455935 311742464 54991 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
/proc/30875/statm: 76109 54991 3334 3035 0 59124 0
[pid=30875/tid=30906] ppid=30869 vsize=304436 memory=207768 CPUtime=161.55 cores=4,6
/proc/30875/task/30906/stat : 30906 (fscip) R 30869 30875 30817 0 -1 4194368 269054 0 0 0 16131 24 0 0 20 0 3 0 4455964 311742464 54991 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
[pid=30875/tid=30908] ppid=30869 vsize=304436 memory=218960 CPUtime=0 cores=4,6
/proc/30875/task/30908/stat : 30908 (fscip) S 30869 30875 30817 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 3 0 4455967 311742464 54991 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 304436 KiB
Current children cumulated memory: 219964 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 2.24 0.99 6/257 31047
/proc/meminfo: memFree=121265516/131655788 swapFree=131071996/131071996
[pid=30875] ppid=30869 vsize=304436 memory=235336 CPUtime=221.72 cores=4,6
/proc/30875/stat : 30875 (fscip) S 30869 30875 30817 0 -1 1077936128 293184 0 0 0 22142 30 0 0 20 0 3 0 4455935 311742464 58834 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
/proc/30875/statm: 76109 58834 3334 3035 0 61690 0

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

/proc/30875/statm: 157888 145107 3366 3035 0 148083 0
[pid=30875/tid=30906] ppid=30869 vsize=631552 memory=580056 CPUtime=3393.15 cores=4,6
/proc/30875/task/30906/stat : 30906 (fscip) R 30869 30875 30817 0 -1 4194368 809979 0 0 0 339203 112 0 0 20 0 3 0 4455964 646709248 145107 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
[pid=30875/tid=30908] ppid=30869 vsize=631552 memory=580360 CPUtime=0.05 cores=4,6
/proc/30875/task/30908/stat : 30908 (fscip) S 30869 30875 30817 0 -1 1077936192 180 0 0 0 2 3 0 0 20 0 3 0 4455967 646709248 145107 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
Current children cumulated CPU time: 3393.79 s
Current children cumulated vsize: 631552 KiB
Current children cumulated memory: 580428 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.13 4.09 6/251 32606
/proc/meminfo: memFree=119798328/131655788 swapFree=131071996/131071996
[pid=30875] ppid=30869 vsize=631552 memory=590656 CPUtime=3453.65 cores=4,6
/proc/30875/stat : 30875 (fscip) S 30869 30875 30817 0 -1 1077936128 840924 0 0 0 345232 133 0 0 20 0 3 0 4455935 646709248 147664 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
/proc/30875/statm: 157888 147664 3366 3035 0 150727 0
[pid=30875/tid=30906] ppid=30869 vsize=631552 memory=580056 CPUtime=3453 cores=4,6
/proc/30875/task/30906/stat : 30906 (fscip) R 30869 30875 30817 0 -1 4194368 824864 0 0 0 345186 114 0 0 20 0 3 0 4455964 646709248 147664 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
[pid=30875/tid=30908] ppid=30869 vsize=631552 memory=12036 CPUtime=0.05 cores=4,6
/proc/30875/task/30908/stat : 30908 (fscip) S 30869 30875 30817 0 -1 1077936192 182 0 0 0 2 3 0 0 20 0 3 0 4455967 646709248 147664 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
Current children cumulated CPU time: 3453.65 s
Current children cumulated vsize: 631552 KiB
Current children cumulated memory: 590656 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.15 4.10 6/253 32787
/proc/meminfo: memFree=119793056/131655788 swapFree=131071996/131071996
[pid=30875] ppid=30869 vsize=631552 memory=591104 CPUtime=3513.5 cores=4,6
/proc/30875/stat : 30875 (fscip) S 30869 30875 30817 0 -1 1077936128 853849 0 0 0 351215 135 0 0 20 0 3 0 4455935 646709248 147776 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
/proc/30875/statm: 157888 147776 3366 3035 0 150727 0
[pid=30875/tid=30906] ppid=30869 vsize=631552 memory=590656 CPUtime=3512.86 cores=4,6
/proc/30875/task/30906/stat : 30906 (fscip) R 30869 30875 30817 0 -1 4194368 837774 0 0 0 351170 116 0 0 20 0 3 0 4455964 646709248 147776 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
[pid=30875/tid=30908] ppid=30869 vsize=631552 memory=12036 CPUtime=0.05 cores=4,6
/proc/30875/task/30908/stat : 30908 (fscip) S 30869 30875 30817 0 -1 1077936192 184 0 0 0 2 3 0 0 20 0 3 0 4455967 646709248 147776 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
Current children cumulated CPU time: 3513.5 s
Current children cumulated vsize: 631552 KiB
Current children cumulated memory: 591104 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.14 4.09 6/253 32798
/proc/meminfo: memFree=119786396/131655788 swapFree=131071996/131071996
[pid=30875] ppid=30869 vsize=631552 memory=592444 CPUtime=3573.36 cores=4,6
/proc/30875/stat : 30875 (fscip) S 30869 30875 30817 0 -1 1077936128 869930 0 0 0 357199 137 0 0 20 0 3 0 4455935 646709248 148111 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
/proc/30875/statm: 157888 148111 3366 3035 0 150727 0
[pid=30875/tid=30906] ppid=30869 vsize=631552 memory=12036 CPUtime=3572.72 cores=4,6
/proc/30875/task/30906/stat : 30906 (fscip) R 30869 30875 30817 0 -1 4194368 853835 0 0 0 357154 118 0 0 20 0 3 0 4455964 646709248 148111 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
[pid=30875/tid=30908] ppid=30869 vsize=631552 memory=592444 CPUtime=0.06 cores=4,6
/proc/30875/task/30908/stat : 30908 (fscip) S 30869 30875 30817 0 -1 1077936192 186 0 0 0 2 4 0 0 20 0 3 0 4455967 646709248 148111 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
Current children cumulated CPU time: 3573.36 s
Current children cumulated vsize: 631552 KiB
Current children cumulated memory: 592444 KiB

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

# cumulated CPU time of all completed processes:  user=3588.11 s, system=1.3989 s

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

[startup+3584 s]*
/proc/loadavg: 4.14 4.14 4.09 7/253 32798
/proc/meminfo: memFree=119786360/131655788 swapFree=131071996/131071996
[pid=30875] ppid=30869 vsize=631552 memory=592444 CPUtime=3575.07 cores=4,6
/proc/30875/stat : 30875 (fscip) S 30869 30875 30817 0 -1 1077936128 869970 0 0 0 357370 137 0 0 20 0 3 0 4455935 646709248 148111 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
/proc/30875/statm: 157888 148111 3366 3035 0 150727 0
[pid=30875/tid=30906] ppid=30869 vsize=631552 memory=273022481103003 CPUtime=3574.42 cores=4,6
/proc/30875/task/30906/stat : 30906 (fscip) R 30869 30875 30817 0 -1 4194368 853875 0 0 0 357324 118 0 0 20 0 3 0 4455964 646709248 148111 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
[pid=30875/tid=30908] ppid=30869 vsize=631552 memory=4715715883094929052 CPUtime=0.06 cores=4,6
/proc/30875/task/30908/stat : 30908 (fscip) S 30869 30875 30817 0 -1 1077936192 186 0 0 0 2 4 0 0 20 0 3 0 4455967 646709248 148111 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
Current children cumulated CPU time: 3575.07 s
Current children cumulated vsize: 631552 KiB
Current children cumulated memory: 592444 KiB

[startup+3590.4 s]
/proc/loadavg: 4.12 4.13 4.09 6/253 32800
/proc/meminfo: memFree=119786208/131655788 swapFree=131071996/131071996
[pid=30875] ppid=30869 vsize=631552 memory=592444 CPUtime=3581.44 cores=4,6
/proc/30875/stat : 30875 (fscip) S 30869 30875 30817 0 -1 1077936128 870884 0 0 0 358007 137 0 0 20 0 3 0 4455935 646709248 148111 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
/proc/30875/statm: 157888 148111 3366 3035 0 150727 0
[pid=30875/tid=30906] ppid=30869 vsize=631552 memory=12036 CPUtime=3580.79 cores=4,6
/proc/30875/task/30906/stat : 30906 (fscip) R 30869 30875 30817 0 -1 4194368 854785 0 0 0 357961 118 0 0 20 0 3 0 4455964 646709248 148111 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
[pid=30875/tid=30908] ppid=30869 vsize=631552 memory=592444 CPUtime=0.06 cores=4,6
/proc/30875/task/30908/stat : 30908 (fscip) S 30869 30875 30817 0 -1 1077936192 188 0 0 0 2 4 0 0 20 0 3 0 4455967 646709248 148111 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
Current children cumulated CPU time: 3581.44 s
Current children cumulated vsize: 631552 KiB
Current children cumulated memory: 592444 KiB

[startup+3593.6 s]
/proc/loadavg: 4.11 4.13 4.09 6/253 32800
/proc/meminfo: memFree=119786232/131655788 swapFree=131071996/131071996
[pid=30875] ppid=30869 vsize=631552 memory=592444 CPUtime=3584.63 cores=4,6
/proc/30875/stat : 30875 (fscip) S 30869 30875 30817 0 -1 1077936128 870953 0 0 0 358326 137 0 0 20 0 3 0 4455935 646709248 148111 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
/proc/30875/statm: 157888 148111 3366 3035 0 150727 0
[pid=30875/tid=30906] ppid=30869 vsize=631552 memory=592444 CPUtime=3583.98 cores=4,6
/proc/30875/task/30906/stat : 30906 (fscip) R 30869 30875 30817 0 -1 4194368 854854 0 0 0 358280 118 0 0 20 0 3 0 4455964 646709248 148111 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
[pid=30875/tid=30908] ppid=30869 vsize=631552 memory=7449345653068222544 CPUtime=0.06 cores=4,6
/proc/30875/task/30908/stat : 30908 (fscip) S 30869 30875 30817 0 -1 1077936192 188 0 0 0 2 4 0 0 20 0 3 0 4455967 646709248 148111 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
Current children cumulated CPU time: 3584.63 s
Current children cumulated vsize: 631552 KiB
Current children cumulated memory: 592444 KiB

[startup+3596.8 s]
/proc/loadavg: 4.11 4.13 4.09 6/253 32801
/proc/meminfo: memFree=119785188/131655788 swapFree=131071996/131071996
[pid=30875] ppid=30869 vsize=631552 memory=592444 CPUtime=3587.83 cores=4,6
/proc/30875/stat : 30875 (fscip) S 30869 30875 30817 0 -1 1077936128 870973 0 0 0 358646 137 0 0 20 0 3 0 4455935 646709248 148111 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
/proc/30875/statm: 157888 148111 3366 3035 0 150727 0
[pid=30875/tid=30906] ppid=30869 vsize=631552 memory=592096 CPUtime=3587.18 cores=4,6
/proc/30875/task/30906/stat : 30906 (fscip) R 30869 30875 30817 0 -1 4194368 854874 0 0 0 358600 118 0 0 20 0 3 0 4455964 646709248 148111 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
[pid=30875/tid=30908] ppid=30869 vsize=631552 memory=12036 CPUtime=0.06 cores=4,6
/proc/30875/task/30908/stat : 30908 (fscip) S 30869 30875 30817 0 -1 1077936192 188 0 0 0 2 4 0 0 20 0 3 0 4455967 646709248 148111 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
Current children cumulated CPU time: 3587.83 s
Current children cumulated vsize: 631552 KiB
Current children cumulated memory: 592444 KiB

[startup+3597.6 s]
/proc/loadavg: 4.11 4.13 4.09 6/253 32801
/proc/meminfo: memFree=119785168/131655788 swapFree=131071996/131071996
[pid=30875] ppid=30869 vsize=631552 memory=592444 CPUtime=3588.62 cores=4,6
/proc/30875/stat : 30875 (fscip) S 30869 30875 30817 0 -1 1077936128 870982 0 0 0 358725 137 0 0 20 0 3 0 4455935 646709248 148111 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
/proc/30875/statm: 157888 148111 3366 3035 0 150727 0
[pid=30875/tid=30906] ppid=30869 vsize=631552 memory=12036 CPUtime=3587.98 cores=4,6
/proc/30875/task/30906/stat : 30906 (fscip) R 30869 30875 30817 0 -1 4194368 854883 0 0 0 358680 118 0 0 20 0 3 0 4455964 646709248 148111 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
[pid=30875/tid=30908] ppid=30869 vsize=631552 memory=14824 CPUtime=0.06 cores=4,6
/proc/30875/task/30908/stat : 30908 (fscip) S 30869 30875 30817 0 -1 1077936192 188 0 0 0 2 4 0 0 20 0 3 0 4455967 646709248 148111 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
Current children cumulated CPU time: 3588.62 s
Current children cumulated vsize: 631552 KiB
Current children cumulated memory: 592444 KiB

[startup+3598 s]*
/proc/loadavg: 4.11 4.13 4.09 6/253 32801
/proc/meminfo: memFree=119784848/131655788 swapFree=131071996/131071996
[pid=30875] ppid=30869 vsize=631552 memory=592816 CPUtime=3589.03 cores=4,6
/proc/30875/stat : 30875 (fscip) S 30869 30875 30817 0 -1 1077936128 871859 0 0 0 358766 137 0 0 20 0 3 0 4455935 646709248 148204 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
/proc/30875/statm: 157888 148204 3366 3035 0 150768 0
[pid=30875/tid=30906] ppid=30869 vsize=631552 memory=-7020104135748969084 CPUtime=3588.39 cores=4,6
/proc/30875/task/30906/stat : 30906 (fscip) R 30869 30875 30817 0 -1 4194368 855759 0 0 0 358721 118 0 0 20 0 3 0 4455964 646709248 148204 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
[pid=30875/tid=30908] ppid=30869 vsize=631552 memory=7078607063656472084 CPUtime=0.06 cores=4,6
/proc/30875/task/30908/stat : 30908 (fscip) S 30869 30875 30817 0 -1 1077936192 188 0 0 0 2 4 0 0 20 0 3 0 4455967 646709248 148204 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
Current children cumulated CPU time: 3589.03 s
Current children cumulated vsize: 631552 KiB
Current children cumulated memory: 592816 KiB

[startup+3598.4 s]
/proc/loadavg: 4.11 4.13 4.09 6/253 32801
/proc/meminfo: memFree=119784848/131655788 swapFree=131071996/131071996
[pid=30875] ppid=30869 vsize=631552 memory=592816 CPUtime=3589.42 cores=4,6
/proc/30875/stat : 30875 (fscip) S 30869 30875 30817 0 -1 1077936128 879928 0 0 0 358805 137 0 0 20 0 3 0 4455935 646709248 148204 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
/proc/30875/statm: 157888 148204 3366 3035 0 150768 0
[pid=30875/tid=30906] ppid=30869 vsize=631552 memory=4868 CPUtime=3588.77 cores=4,6
/proc/30875/task/30906/stat : 30906 (fscip) R 30869 30875 30817 0 -1 4194368 863829 0 0 0 358759 118 0 0 20 0 3 0 4455964 646709248 148204 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
[pid=30875/tid=30908] ppid=30869 vsize=631552 memory=635660 CPUtime=0.06 cores=4,6
/proc/30875/task/30908/stat : 30908 (fscip) S 30869 30875 30817 0 -1 1077936192 188 0 0 0 2 4 0 0 20 0 3 0 4455967 646709248 148204 134679101440 4194304 16623229 140733460160512 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 37052416 140733460165654 140733460165770 140733460165770 140733460172784 0
Current children cumulated CPU time: 3589.42 s
Current children cumulated vsize: 631552 KiB
Current children cumulated memory: 592816 KiB

Child status: 0

Real time (s): 3598.48
CPU time (s): 3589.51
CPU user time (s): 3588.11
CPU system time (s): 1.3989
CPU usage (%): 99.7508
Max. virtual memory (cumulated for all children) (KiB): 631552
Max. memory (cumulated for all children) (KiB): 592816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.11
system time used= 1.3989
maximum resident set size= 592816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 881413
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= 10136
involuntary context switches= 2511


# summary of solver processes directly reported to runsolver:
#   pid: 30875
#   total CPU time (s): 3589.51
#   total CPU user time (s): 3588.11
#   total CPU system time (s): 1.3989

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4927 second user time and 36.106 second system time

The end

Launcher Data

Begin job on nodeC006 at 2024-07-31 00:29:54
IDJOB=4463914
IDBENCH=146763
IDSOLVER=3092
FILE ID=nodeC006/4463914-1722378594
RUNJOBID= nodeC006-1722378594-30828
SLURM_JOB_ID= 8249836
Free space on /tmp= 723768 MiB

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

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

MD5SUM BENCH= 5c8d8ce64a950076da07daccd75facb4
RANDOM SEED=1497379858

nodeC006.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.168
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.46
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		: 1197.176
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.38
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.176
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.46
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.173
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.38
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.169
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.46
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.159
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.38
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.178
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.46
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.176
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.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        122245576 kB
MemAvailable:   129913320 kB
Buffers:           89872 kB
Cached:          8347592 kB
SwapCached:            0 kB
Active:           258508 kB
Inactive:        8576076 kB
Active(anon):       1304 kB
Inactive(anon):   417456 kB
Active(file):     257204 kB
Inactive(file):  8158620 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            114000 kB
Writeback:             4 kB
AnonPages:        397008 kB
Mapped:            87984 kB
Shmem:             21320 kB
KReclaimable:     184240 kB
Slab:             271144 kB
SReclaimable:     184240 kB
SUnreclaim:        86904 kB
KernelStack:        3744 kB
PageTables:         9668 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     743956 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             7072 kB
HardwareCorrupted:     0 kB
AnonHugePages:    278528 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:      232264 kB
DirectMap2M:    16449536 kB
DirectMap1G:    119537664 kB

Free space on /tmp at the end= 723668 MiB
End job on nodeC006 at 2024-07-31 01:29:53