Trace number 4434933

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-02SAT167 3588.4 3600.25

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-oct5.5.opb
MD5SUM26f8151eeea3bfac35ea53df0172ab44
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark167
Best CPU time to get the best result obtained on this benchmark3.55095
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9632
Total number of constraints29620
Number of constraints which are clauses27568
Number of constraints which are cardinality constraints (but not clauses)232
Number of constraints which are nor clauses,nor cardinality constraints1820
Minimum length of a constraint2
Maximum length of a constraint248
Number of terms in the objective function 26
Biggest coefficient in the objective function 20
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 211
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 160
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 687
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.2.1         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.22/0.28	c Default LC presolving (default).
0.22/0.28	c ** Before presolving: virtualMemUsedAtLc = 102684826, getVmSize() = 88788992, SCIPgetMemUsed() = 55740924, SCIPgetMemTotal() = 64786228, SCIPgetMemExternEstim() = 37898598
0.22/0.28	c ** set memory limit for presolving in LC to 8.79606e+12 for SCIP **
3.47/3.57	c ** Estimated virtualMemUsedAtSolver = 150433631, getVmSize() = 216244224, SCIPgetMemUsed() = 137824937, SCIPgetMemTotal() = 187751849, SCIPgetMemExternEstim() = 37898598
3.47/3.57	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
3.47/3.57	c Original Problem   :
3.47/3.57	c   Problem name     : instance-4434933-1721165421
3.47/3.57	c   Variables        : 9632 (9632 binary, 0 integer, 0 implicit integer, 0 continuous)
3.47/3.57	c   Constraints      : 29620
3.47/3.57	c   Objective sense  : minimize
3.47/3.57	c Presolved Problem  :
3.47/3.57	c   Variables        : 9561 (9561 binary, 0 integer, 0 implicit integer, 0 continuous)
3.47/3.57	c   Constraints      : 27419
3.47/3.57	c Constraints        : Number
3.47/3.57	c   knapsack         : 1128 
3.47/3.57	c   setppc           : 16027 
3.47/3.57	c   linear           : 28 
3.47/3.57	c   logicor          : 10236 
3.47/3.57	c ** Instance transfer method used: 0
3.57/3.62	c ** ParaScipInstance copy does not increase the number of variables. **
3.67/3.72	c LC is working with racing ramp-up and with rebuilding tree after racing.
3.67/3.72	c                                Nodes    Active                                            
3.67/3.72	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
320.86/322.07	c       322              2           1         1                -          56.4444          -
340.19/341.47	c       341             10           9         1                -          56.4444          -
349.96/351.20	c       351             11          10         1                -          56.4444          -
368.81/370.12	c       370             16          15         1                -          57.7778          -
396.80/398.22	c       398             17          16         1                -          57.7778          -
892.74/895.71	c *     896             17          16         1         189.0000          57.7778    227.12%
892.74/895.71	c       896             17          16         1         189.0000          57.7778    227.12%
906.80/909.87	c       910             19          18         1         189.0000          57.7778    227.12%
920.55/923.65	c       924             20          19         1         189.0000          57.7778    227.12%
942.08/945.22	c       945             21          20         1         189.0000          57.7778    227.12%
964.21/967.49	c       968             22          21         1         189.0000          57.7778    227.12%
980.55/983.87	c       984             23          22         1         189.0000          57.7778    227.12%
989.32/992.60	c       993             24          23         1         189.0000          57.7778    227.12%
1012.45/1015.89	c      1016             25          24         1         189.0000          57.7778    227.12%
1034.38/1037.84	c      1038             26          25         1         189.0000          57.7778    227.12%
1056.21/1059.71	c      1060             27          26         1         189.0000          57.7778    227.12%
1067.37/1070.99	c      1071             31          30         1         189.0000          57.7778    227.12%
1084.72/1088.32	c      1088             32          31         1         189.0000          57.7778    227.12%
1101.86/1105.58	c      1106             41          40         1         189.0000          57.7778    227.12%
1127.58/1131.37	c      1131             42          41         1         189.0000          57.7778    227.12%
1137.44/1141.25	c      1141             44          43         1         189.0000          57.7778    227.12%
1150.21/1154.09	c      1154             46          45         1         189.0000          57.7778    227.12%
1164.28/1168.15	c      1168             50          49         1         189.0000          57.7778    227.12%
1174.63/1178.51	c      1179             52          51         1         189.0000          57.7778    227.12%
1182.50/1186.43	c      1186             54          53         1         189.0000          57.7778    227.12%
1195.07/1199.02	c      1199             58          57         1         189.0000          57.7778    227.12%
1204.53/1208.52	c      1209             60          59         1         189.0000          57.7778    227.12%
1215.89/1219.98	c      1220             64          63         1         189.0000          57.7778    227.12%
1222.57/1226.68	c      1227             66          65         1         189.0000          57.7778    227.12%
1230.75/1234.86	c      1235             68          67         1         189.0000          57.7778    227.12%
1242.92/1247.08	c      1247             70          69         1         189.0000          57.7778    227.12%
1252.89/1257.04	c      1257             74          73         1         189.0000          57.7778    227.12%
1260.05/1264.26	c      1264             76          75         1         189.0000          57.7778    227.12%
1267.63/1271.86	c      1272             78          77         1         189.0000          57.7778    227.12%
1273.61/1277.86	c      1278             79          78         1         189.0000          57.7778    227.12%
1280.79/1285.07	c      1285             80          79         1         189.0000          57.7778    227.12%
1404.67/1409.31	c      1409             88          87         1         189.0000          57.7778    227.12%
1417.43/1422.20	c      1422             91          90         1         189.0000          57.7778    227.12%
1437.64/1442.48	c      1442             97          96         1         189.0000          64.7778    191.77%
1451.59/1456.45	c      1456             99          98         1         189.0000          64.7778    191.77%
1464.34/1469.23	c      1469            101         100         1         189.0000          64.7778    191.77%
1489.95/1494.91	c      1495            103         102         1         189.0000          64.7778    191.77%
1496.32/1501.31	c      1501            105         104         1         189.0000          64.7778    191.77%
1512.16/1517.20	c      1517            109         108         1         189.0000          64.7778    191.77%
1527.50/1532.68	c      1533            111         110         1         189.0000          64.7778    191.77%
1534.27/1539.46	c      1539            114         113         1         189.0000          65.5556    188.31%
1545.13/1550.34	c      1550            117         116         1         189.0000          65.5556    188.31%
1552.60/1557.86	c      1558            124         123         1         189.0000          65.5556    188.31%
1558.68/1563.94	c      1564            125         124         1         189.0000          65.5556    188.31%
1565.25/1570.58	c      1571            128         127         1         189.0000          65.5556    188.31%
1573.02/1578.34	c      1578            131         130         1         189.0000          65.5556    188.31%
1590.45/1595.81	c      1596            133         132         1         189.0000          65.5556    188.31%
1599.64/1605.06	c      1605            135         134         1         189.0000          65.5556    188.31%
1612.28/1617.71	c      1618            137         136         1         189.0000          65.5556    188.31%
1629.62/1635.17	c      1635            143         142         1         189.0000          65.5556    188.31%
1640.67/1646.30	c      1646            151         150         1         189.0000          65.5556    188.31%
1652.72/1658.34	c      1658            154         153         1         189.0000          72.4444    160.89%
1658.30/1664.01	c      1664            155         154         1         189.0000          72.4444    160.89%
1663.49/1669.14	c      1669            158         157         1         189.0000          72.4444    160.89%
1675.35/1681.02	c      1681            159         158         1         189.0000          72.4444    160.89%
1685.71/1691.40	c      1691            161         160         1         189.0000          72.4444    160.89%
1694.58/1700.33	c      1700            163         162         1         189.0000          72.4444    160.89%
1700.37/1706.13	c      1706            166         165         1         189.0000          72.4444    160.89%
1725.98/1731.88	c      1732            167         166         1         189.0000          72.4444    160.89%
1748.51/1754.45	c      1754            171         168         1         189.0000          72.4444    160.89%
1757.09/1763.09	c      1763            173         170         1         189.0000          72.4444    160.89%
1763.46/1769.47	c      1769            176         173         1         189.0000          72.4444    160.89%
1771.05/1777.04	c      1777            177         174         1         189.0000          72.4444    160.89%
1784.49/1790.51	c      1791            181         178         1         189.0000          72.4444    160.89%
1795.65/1801.72	c      1802            183         180         1         189.0000          72.4444    160.89%
1873.33/1879.62	c *    1880            184         181         1         177.0000          72.4444    144.33%
1873.33/1879.62	c      1880            184         181         1         177.0000          72.4444    144.33%
1883.10/1889.48	c      1889            187         184         1         177.0000          72.4444    144.33%
1894.67/1901.04	c      1901            189         186         1         177.0000          72.4444    144.33%
1907.32/1913.71	c      1914            191         188         1         177.0000          72.4444    144.33%
2033.03/2039.83	c      2040            193         190         1         177.0000          72.4444    144.33%
2047.68/2054.50	c      2054            197         194         1         177.0000          72.4444    144.33%
2076.39/2083.35	c      2083            199         196         1         177.0000          72.4444    144.33%
2089.76/2096.72	c      2097            201         198         1         177.0000          72.4444    144.33%
2110.69/2117.71	c      2118            203         200         1         177.0000          72.6667    143.58%
2117.08/2124.12	c      2124            206         203         1         177.0000          72.6667    143.58%
2123.55/2130.68	c      2131            207         204         1         177.0000          72.6667    143.58%
2142.58/2149.74	c      2150            211         208         1         177.0000          72.6667    143.58%
2147.57/2154.78	c      2155            215         210         1         177.0000          73.3778    141.22%
2153.05/2160.20	c      2160            217         212         1         177.0000          73.3778    141.22%
2158.73/2165.91	c      2166            222         217         1         177.0000          73.3778    141.22%
2166.51/2173.78	c      2174            223         218         1         177.0000          73.3778    141.22%
2186.64/2193.99	c      2194            225         220         1         177.0000          73.3778    141.22%
2193.92/2201.29	c      2201            227         222         1         177.0000          73.3778    141.22%
2199.40/2206.79	c      2207            229         224         1         177.0000          73.3778    141.22%
2205.69/2213.09	c      2213            232         227         1         177.0000          74.7778    136.70%
2216.34/2223.78	c      2224            233         228         1         177.0000          74.7778    136.70%
2225.32/2232.70	c      2233            239         232         1         177.0000          74.7778    136.70%
2231.30/2238.77	c      2239            241         234         1         177.0000          74.7778    136.70%
2247.34/2254.80	c      2255            243         236         1         177.0000          74.7778    136.70%
2254.72/2262.25	c      2262            248         241         1         177.0000          74.7778    136.70%
2267.27/2274.89	c      2275            255         248         1         177.0000          77.0952    129.59%
2273.25/2280.86	c      2281            258         251         1         177.0000          77.0952    129.59%
2285.43/2293.09	c      2293            261         252         1         177.0000          77.0952    129.59%
2299.97/2307.69	c      2308            263         254         1         177.0000          77.1111    129.54%
2306.64/2314.33	c      2314            272         261         1         177.0000          77.1111    129.54%
2312.44/2320.19	c      2320            275         264         1         177.0000          77.1111    129.54%
2318.11/2325.87	c      2326            280         269         1         177.0000          77.1111    129.54%
2324.09/2331.89	c      2332            283         272         1         177.0000          77.8889    127.25%
2332.46/2340.24	c      2340            288         273         1         177.0000          77.8889    127.25%
2337.94/2345.78	c      2346            292         277         1         177.0000          77.8889    127.25%
2344.02/2351.85	c      2352            295         280         1         177.0000          77.8889    127.25%
2349.90/2357.73	c      2358            296         281         1         177.0000          77.8889    127.25%
2357.08/2364.97	c      2365            298         283         1         177.0000          77.8889    127.25%
2362.95/2370.85	c      2371            304         289         1         177.0000          77.8889    127.25%
2368.15/2376.02	c      2376            307         290         1         177.0000          77.8889    127.25%
2373.13/2381.07	c      2381            310         293         1         177.0000          80.2500    120.56%
2387.77/2395.77	c      2396            315         298         1         177.0000          80.2500    120.56%
2405.04/2413.10	c      2413            317         300         1         177.0000          80.2500    120.56%
2419.28/2427.34	c      2427            319         302         1         177.0000          80.2500    120.56%
2428.25/2436.39	c      2436            321         304         1         177.0000          80.2500    120.56%
2437.82/2446.01	c      2446            323         306         1         177.0000          82.3365    114.97%
2445.90/2454.03	c      2454            325         308         1         177.0000          82.3365    114.97%
2454.36/2462.58	c      2463            330         313         1         177.0000          82.3365    114.97%
2459.64/2467.81	c      2468            333         314         1         177.0000          82.3365    114.97%
2464.84/2473.02	c      2473            334         315         1         177.0000          82.3365    114.97%
2472.70/2480.96	c      2481            335         316         1         177.0000          82.3365    114.97%
2482.46/2490.78	c      2491            338         317         1         177.0000          82.3365    114.97%
2489.64/2497.90	c      2498            342         317         1         177.0000          82.5952    114.30%
2616.04/2624.71	c *    2625            343         318         1         167.0000          82.5952    102.19%
2616.04/2624.71	c      2625            343         318         1         167.0000          82.5952    102.19%
2625.01/2633.72	c      2634            346         320         1         167.0000          82.5952    102.19%
2632.30/2641.06	c      2641            348         322         1         167.0000          82.5952    102.19%
2637.47/2646.20	c      2646            355         329         1         167.0000          82.5952    102.19%
2650.73/2659.56	c      2660            360         334         1         167.0000          82.5952    102.19%
2657.01/2665.84	c      2666            366         338         1         167.0000          82.5952    102.19%
2667.57/2676.47	c      2676            369         341         1         167.0000          82.5952    102.19%
2676.54/2685.43	c      2685            371         343         1         167.0000          82.5952    102.19%
2682.14/2691.07	c      2691            373         345         1         167.0000          82.5952    102.19%
2690.90/2699.90	c      2700            377         347         1         167.0000          82.5952    102.19%
2701.57/2710.58	c      2711            379         349         1         167.0000          82.5952    102.19%
2711.94/2720.99	c      2721            381         351         1         167.0000          82.5952    102.19%
2716.92/2726.01	c      2726            386         352         1         167.0000          82.5952    102.19%
2727.99/2737.06	c      2737            388         354         1         167.0000          82.5952    102.19%
2733.36/2742.47	c      2742            389         355         1         167.0000          82.5952    102.19%
2750.81/2759.98	c      2760            391         357         1         167.0000          82.5952    102.19%
2759.68/2768.89	c      2769            393         359         1         167.0000          84.4032     97.86%
2769.15/2778.37	c      2778            395         361         1         167.0000          84.4032     97.86%
2781.41/2790.61	c      2791            397         363         1         167.0000          84.4032     97.86%
2788.49/2797.75	c      2798            402         368         1         167.0000          84.4032     97.86%
2793.57/2802.88	c      2803            404         370         1         167.0000          84.4032     97.86%
2798.65/2807.97	c      2808            405         371         1         167.0000          84.4032     97.86%
2806.93/2816.22	c      2816            407         373         1         167.0000          86.0952     93.97%
2813.11/2822.48	c      2822            409         375         1         167.0000          86.0952     93.97%
2824.47/2833.88	c      2834            411         377         1         167.0000          86.0952     93.97%
2833.65/2843.07	c      2843            413         379         1         167.0000          87.1111     91.71%
2840.32/2849.77	c      2850            415         381         1         167.0000          87.1111     91.71%
2845.51/2854.97	c      2855            417         383         1         167.0000          87.1111     91.71%
2861.76/2871.23	c      2871            419         385         1         167.0000          87.1111     91.71%
2877.20/2886.73	c      2887            423         389         1         167.0000          87.1111     91.71%
2884.49/2894.10	c      2894            424         387         1         167.0000          87.1111     91.71%
2898.44/2908.08	c      2908            430         393         1         167.0000          87.1111     91.71%
2907.20/2916.82	c      2917            436         397         1         167.0000          87.1111     91.71%
2923.65/2933.35	c      2933            440         399         1         167.0000          87.1111     91.71%
2936.32/2946.07	c      2946            442         401         1         167.0000          87.1111     91.71%
2946.47/2956.27	c      2956            444         403         1         167.0000          87.1111     91.71%
2955.84/2965.69	c      2966            446         405         1         167.0000          87.1111     91.71%
2962.83/2972.62	c      2973            454         411         1         167.0000          87.1111     91.71%
2980.97/2990.83	c      2991            458         415         1         167.0000          87.1111     91.71%
2991.83/3001.74	c      3002            460         416         1         167.0000          87.1111     91.71%
3167.57/3178.05	c      3178            464         419         1         167.0000          87.1111     91.71%
3174.13/3184.62	c      3185            471         422         1         167.0000          87.1111     91.71%
3180.41/3190.91	c      3191            476         423         1         167.0000          93.4000     78.80%
3197.95/3208.57	c      3209            480         427         1         167.0000          93.4000     78.80%
3203.14/3213.71	c      3214            485         430         1         167.0000          93.4000     78.80%
3214.60/3225.29	c      3225            492         436         1         167.0000          93.4000     78.80%
3227.06/3237.74	c      3238            502         440         1         167.0000          93.4000     78.80%
3237.62/3248.33	c      3248            504         442         1         167.0000          93.4000     78.80%
3242.60/3253.39	c      3253            506         442         1         167.0000          93.4000     78.80%
3248.19/3258.92	c      3259            507         443         1         167.0000          93.4000     78.80%
3263.24/3274.07	c      3274            511         443         1         167.0000          93.4000     78.80%
3269.41/3280.29	c      3280            513         445         1         167.0000          95.1667     75.48%
3278.39/3289.25	c      3289            522         452         1         167.0000          95.1667     75.48%
3286.86/3297.75	c      3298            527         455         1         167.0000          95.1667     75.48%
3297.33/3308.20	c      3308            533         457         1         167.0000          95.1667     75.48%
3308.99/3319.91	c      3320            535         459         1         167.0000          97.8333     70.70%
3314.27/3325.21	c      3325            537         461         1         167.0000          97.8333     70.70%
3319.45/3330.43	c      3330            539         463         1         167.0000          97.8333     70.70%
3327.82/3338.80	c      3339            541         465         1         167.0000          97.8333     70.70%
3333.12/3344.12	c      3344            543         465         1         167.0000          98.2889     69.91%
3345.76/3356.86	c      3357            544         466         1         167.0000          98.2889     69.91%
3351.34/3362.41	c      3362            545         467         1         167.0000          98.2889     69.91%
3358.12/3369.29	c      3369            548         465         1         167.0000          98.2889     69.91%
3365.59/3376.76	c      3377            550         467         1         167.0000          98.2889     69.91%
3380.64/3391.87	c      3392            557         469         1         167.0000          98.2889     69.91%
3391.92/3403.19	c      3403            567         469         1         167.0000          99.0333     68.63%
3397.09/3408.36	c      3408            572         469         1         167.0000          99.0333     68.63%
3404.36/3415.69	c      3416            573         469         1         167.0000          99.0333     68.63%
3416.52/3427.84	c      3428            582         473         1         167.0000          99.0333     68.63%
3425.19/3436.58	c      3437            593         474         1         167.0000          99.0333     68.63%
3434.26/3445.63	c      3446            600         475         1         167.0000          99.0333     68.63%
3443.64/3455.01	c      3455            603         478         1         167.0000          99.0333     68.63%
3448.73/3460.19	c      3460            632         490         1         167.0000          99.3833     68.04%
3463.76/3475.26	c      3475            637         492         1         167.0000          99.3833     68.04%
3469.94/3481.43	c      3481            645         492         1         167.0000          99.3833     68.04%
3475.32/3486.89	c      3487            650         489         1         167.0000          99.3833     68.04%
3481.90/3493.48	c      3493            654         489         1         167.0000          99.6667     67.56%
3487.88/3499.48	c      3499            659         485         1         167.0000          99.6667     67.56%
3494.06/3505.64	c      3506            664         484         1         167.0000          99.6667     67.56%
3502.33/3513.95	c      3514            678         481         1         167.0000          99.6667     67.56%
3521.26/3532.94	c      3533            685         482         1         167.0000          99.6667     67.56%
3526.25/3537.98	c      3538            691         482         1         167.0000         100.0333     66.94%
3540.71/3552.43	c      3552            698         485         1         167.0000         100.0333     66.94%
3553.07/3564.80	c      3565            702         487         1         167.0000         100.0333     66.94%
3558.84/3570.67	c      3571            720         479         1         167.0000         100.0333     66.94%
3564.13/3575.93	c      3576            724         479         1         167.0000         100.0333     66.94%
3570.01/3581.88	c      3582            725         480         1         167.0000         100.0333     66.94%
3576.39/3588.27	c      3588            739         479         1         167.0000         100.0333     66.94%
3581.57/3593.43	c      3593            746         480         1         167.0000         100.0333     66.94%
3587.75/3599.63	c      3600            747         481         1         167.0000         100.0333     66.94%
3588.16/3600.11	c SCIP Status        : c solving was interrupted [hard time limit reached]
3588.16/3600.11	c Total Time         : 3600.11
3588.16/3600.11	c   solving          : 3600.11
3588.16/3600.11	c   presolving       : 3.28 (included in solving)
3588.16/3600.11	c B&B Tree           :
3588.16/3600.11	c   nodes (total)    : 1
3588.16/3600.11	c Solution           :
3588.16/3600.11	c   Solutions found  : 3
3588.16/3600.11	c   Primal Bound     : +1.67000000000000e+02
3588.16/3600.11	c   Dual Bound       : +1.00033333333333e+02
3588.16/3600.11	c Gap                : 66.94435 %
3588.16/3600.11	c * Warning: final gap: 6.69444e-01 is greater than SCIPepsilon: 1.00000e-09
3588.16/3600.13	o 167
3588.16/3600.13	s SATISFIABLE
3588.16/3600.13	v -x9632 -x9631 -x9630 -x9629 -x9628 -x9627 -x9626 -x9625 -x9624 -x9623 -x9622 -x9621 -x9620 -x9619 -x9618 -x9617 -x9616 -x9615 -x9614 
3588.16/3600.13	v -x9613 -x9612 -x9611 -x9610 -x9609 -x9608 -x9607 -x9606 -x9605 x9604 -x9603 -x9602 x9601 x9600 -x9599 -x9598 x9597 x9596 
3588.16/3600.13	v x9595 x9594 x9593 -x9592 -x9591 x9590 -x9589 -x9588 x9587 -x9586 -x9585 -x9584 x9583 x9582 x9581 -x9580 -x9579 -x9578 -x9577 
3588.16/3600.13	v -x9576 x9575 -x9574 -x9573 -x9572 -x9571 -x9570 -x9569 x9568 x9567 -x9566 -x9565 -x9564 -x9563 -x9562 x9561 x9560 x9559 x9558 
3588.16/3600.13	v x9557 x9556 x9555 -x9554 -x9553 x9552 -x9551 x9550 x9549 x9548 x9547 -x9546 x9545 -x9544 -x9543 -x9542 x9541 -x9540 x9539 
3588.16/3600.13	v -x9538 -x9537 -x9536 -x9535 -x9534 x9533 -x9532 x9531 x9530 -x9529 -x9528 -x9527 -x9526 -x9525 -x9524 -x9523 x9522 x9521 -x9520 
3588.16/3600.13	v x9519 x9518 -x9517 -x9516 x9515 x9514 x9513 x9512 -x9511 x9510 x9509 -x9508 -x9507 x9506 -x9505 -x9504 x9503 x9502 -x9501 
3588.16/3600.13	v x9500 x9499 -x9498 -x9497 x9496 -x9495 x9494 -x9493 -x9492 x9491 x9490 x9489 -x9488 -x9487 -x9486 x9485 -x9484 -x9483 -x9482 
3588.16/3600.13	v x9481 -x9480 x9479 -x9478 -x9477 -x9476 x9475 x9474 x9473 x9472 x9471 x9470 -x9469 -x9468 x9467 -x9466 -x9465 x9464 x9463 x9462 
3588.16/3600.13	v -x9461 -x9460 -x9459 -x9458 x9457 -x9456 -x9455 x9454 -x9453 x9452 x9451 -x9450 -x9449 x9448 -x9447 x9446 -x9445 x9444 x9443 
3588.16/3600.13	v -x9442 x9441 -x9440 -x9439 x9438 -x9437 x9436 -x9435 -x9434 -x9433 x9432 x9431 x9430 x9429 -x9428 x9427 -x9426 -x9425 x9424 
3588.16/3600.13	v x9423 x9422 x9421 -x9420 -x9419 x9418 -x9417 x9416 -x9415 -x9414 -x9413 -x9412 x9411 -x9410 x9409 x9408 x9407 -x9406 x9405 
3588.16/3600.13	v -x9404 -x9403 x9402 x9401 x9400 -x9399 x9398 x9397 -x9396 x9395 -x9394 -x9393 -x9392 -x9391 x9390 -x9389 x9388 x9387 x9386 -x9385 
3588.16/3600.13	v -x9384 x9383 -x9382 -x9381 -x9380 -x9379 -x9378 x9377 -x9376 x9375 -x9374 x9373 -x9372 x9371 -x9370 -x9369 x9368 x9367 x9366 
3588.16/3600.13	v -x9365 -x9364 -x9363 x9362 -x9361 -x9360 x9359 x9358 x9357 x9356 x9355 -x9354 x9353 -x9352 -x9351 x9350 -x9349 x9348 x9347 
3588.16/3600.13	v x9346 -x9345 x9344 x9343 -x9342 -x9341 -x9340 x9339 -x9338 x9337 x9336 x9335 -x9334 x9333 -x9332 -x9331 -x9330 x9329 x9328 
3588.16/3600.13	v x9327 -x9326 -x9325 -x9324 -x9323 -x9322 x9321 -x9320 x9319 -x9318 x9317 -x9316 x9315 -x9314 -x9313 x9312 -x9311 x9310 x9309 
3588.16/3600.13	v x9308 -x9307 -x9306 -x9305 -x9304 x9303 x9302 x9301 x9300 x9299 -x9298 x9297 x9296 x9295 x9294 x9293 x9292 x9291 x9290 x9289 
3588.16/3600.13	v -x9288 -x9287 -x9286 x9285 -x9284 -x9283 x9282 x9281 x9280 -x9279 x9278 -x9277 x9276 -x9275 -x9274 -x9273 x9272 -x9271 x9270 
3588.16/3600.13	v -x9269 x9268 -x9267 -x9266 -x9265 -x9264 x9263 x9262 x9261 -x9260 x9259 x9258 x9257 -x9256 -x9255 -x9254 -x9253 -x9252 -x9251 
3588.16/3600.13	v x9250 -x9249 -x9248 x9247 x9246 x9245 x9244 x9243 -x9242 -x9241 x9240 -x9239 x9238 -x9237 x9236 -x9235 -x9234 x9233 -x9232 
3588.16/3600.13	v x9231 -x9230 x9229 x9228 x9227 -x9226 x9225 x9224 x9223 -x9222 -x9221 -x9220 x9219 x9218 x9217 x9216 x9215 -x9214 -x9213 -x9212 
3588.16/3600.13	v -x9211 -x9210 -x9209 x9208 x9207 -x9206 x9205 x9204 -x9203 -x9202 -x9201 -x9200 x9199 -x9198 x9197 x9196 x9195 -x9194 -x9193 
3588.16/3600.13	v -x9192 -x9191 -x9190 x9189 x9188 -x9187 -x9186 x9185 -x9184 -x9183 x9182 -x9181 x9180 x9179 x9178 -x9177 x9176 x9175 x9174 
3588.16/3600.13	v -x9173 x9172 x9171 x9170 x9169 x9168 x9167 -x9166 x9165 -x9164 -x9163 -x9162 x9161 -x9160 -x9159 -x9158 -x9157 x9156 -x9155 
3588.16/3600.13	v -x9154 x9153 -x9152 -x9151 x9150 -x9149 x9148 x9147 x9146 x9145 x9144 x9143 -x9142 -x9141 x9140 x9139 -x9138 x9137 x9136 x9135 
3588.16/3600.13	v -x9134 x9133 x9132 -x9131 x9130 x9129 -x9128 -x9127 -x9126 -x9125 -x9124 -x9123 -x9122 -x9121 x9120 x9119 x9118 -x9117 -x9116 
3588.16/3600.13	v x9115 -x9114 -x9113 -x9112 -x9111 x9110 x9109 -x9108 x9107 x9106 x9105 x9104 -x9103 x9102 -x9101 x9100 -x9099 -x9098 x9097 
3588.16/3600.13	v -x9096 x9095 -x9094 -x9093 -x9092 -x9091 x9090 x9089 -x9088 -x9087 x9086 x9085 x9084 -x9083 -x9082 -x9081 x9080 x9079 -x9078 
3588.16/3600.13	v -x9077 -x9076 x9075 -x9074 -x9073 -x9072 x9071 x9070 -x9069 x9068 -x9067 x9066 x9065 x9064 -x9063 -x9062 x9061 -x9060 x9059 
3588.16/3600.13	v x9058 -x9057 -x9056 x9055 -x9054 x9053 x9052 -x9051 -x9050 -x9049 x9048 x9047 x9046 x9045 x9044 x9043 x9042 -x9041 -x9040 x9039 
3588.16/3600.13	v -x9038 -x9037 x9036 x9035 x9034 -x9033 -x9032 -x9031 x9030 -x9029 -x9028 x9027 x9026 x9025 -x9024 x9023 x9022 -x9021 -x9020 
3588.16/3600.13	v x9019 -x9018 -x9017 -x9016 -x9015 -x9014 x9013 x9012 x9011 -x9010 -x9009 -x9008 x9007 x9006 -x9005 x9004 -x9003 x9002 x9001 
3588.16/3600.13	v -x9000 -x8999 -x8998 -x8997 x8996 -x8995 -x8994 x8993 -x8992 x8991 x8990 x8989 x8988 -x8987 x8986 x8985 x8984 -x8983 x8982 x8981 
3588.16/3600.13	v -x8980 -x8979 -x8978 x8977 x8976 -x8975 x8974 x8973 -x8972 x8971 -x8970 -x8969 -x8968 -x8967 x8966 -x8965 -x8964 x8963 -x8962 
3588.16/3600.13	v x8961 -x8960 x8959 x8958 -x8957 -x8956 x8955 x8954 -x8953 x8952 x8951 x8950 -x8949 x8948 -x8947 x8946 x8945 x8944 -x8943 
3588.16/3600.13	v -x8942 x8941 -x8940 -x8939 x8938 x8937 x8936 -x8935 -x8934 x8933 -x8932 x8931 x8930 -x8929 -x8928 -x8927 x8926 -x8925 x8924 
3588.16/3600.13	v -x8923 -x8922 x8921 x8920 -x8919 x8918 -x8917 x8916 -x8915 x8914 -x8913 -x8912 -x8911 -x8910 -x8909 -x8908 x8907 x8906 x8905 
3588.16/3600.13	v -x8904 -x8903 x8902 -x8901 x8900 x8899 x8898 -x8897 -x8896 -x8895 x8894 x8893 x8892 -x8891 x8890 x8889 x8888 x8887 -x8886 x8885 
3588.16/3600.13	v -x8884 x8883 x8882 x8881 x8880 -x8879 -x8878 -x8877 x8876 x8875 -x8874 x8873 -x8872 -x8871 -x8870 -x8869 -x8868 x8867 -x8866 
3588.16/3600.13	v x8865 -x8864 -x8863 -x8862 x8861 -x8860 x8859 -x8858 x8857 -x8856 x8855 -x8854 x8853 x8852 -x8851 x8850 x8849 x8848 -x8847 
3588.16/3600.13	v -x8846 x8845 x8844 -x8843 -x8842 x8841 -x8840 x8839 x8838 -x8837 -x8836 -x8835 -x8834 x8833 x8832 x8831 x8830 x8829 -x8828 
3588.16/3600.13	v -x8827 x8826 x8825 x8824 -x8823 -x8822 x8821 x8820 x8819 x8818 -x8817 -x8816 x8815 x8814 -x8813 x8812 -x8811 -x8810 -x8809 x8808 
3588.16/3600.13	v -x8807 -x8806 x8805 x8804 x8803 -x8802 x8801 -x8800 -x8799 -x8798 -x8797 -x8796 -x8795 -x8794 -x8793 x8792 x8791 -x8790 x8789 
3588.16/3600.13	v x8788 x8787 -x8786 x8785 x8784 x8783 x8782 x8781 -x8780 x8779 -x8778 x8777 -x8776 -x8775 -x8774 -x8773 -x8772 x8771 x8770 
3588.16/3600.13	v x8769 x8768 x8767 -x8766 -x8765 -x8764 -x8763 x8762 -x8761 -x8760 x8759 -x8758 x8757 -x8756 x8755 -x8754 x8753 x8752 -x8751 
3588.16/3600.13	v -x8750 -x8749 x8748 x8747 -x8746 x8745 -x8744 x8743 x8742 x8741 x8740 x8739 -x8738 x8737 -x8736 x8735 x8734 -x8733 -x8732 -x8731 
3588.16/3600.13	v -x8730 -x8729 -x8728 -x8727 -x8726 -x8725 x8724 x8723 -x8722 x8721 x8720 -x8719 x8718 x8717 -x8716 -x8715 -x8714 -x8713 
3588.16/3600.13	v x8712 x8711 -x8710 -x8709 x8708 -x8707 x8706 x8705 x8704 x8703 x8702 x8701 -x8700 -x8699 -x8698 x8697 x8696 x8695 x8694 -x8693 
3588.16/3600.13	v -x8692 -x8691 -x8690 -x8689 -x8688 -x8687 x8686 x8685 -x8684 x8683 -x8682 -x8681 -x8680 -x8679 -x8678 -x8677 -x8676 x8675 -x8674 
3588.16/3600.13	v -x8673 x8672 -x8671 -x8670 x8669 x8668 -x8667 x8666 -x8665 x8664 -x8663 -x8662 x8661 x8660 x8659 x8658 x8657 x8656 x8655 
3588.16/3600.13	v -x8654 -x8653 -x8652 -x8651 -x8650 x8649 x8648 -x8647 -x8646 -x8645 -x8644 x8643 -x8642 -x8641 x8640 -x8639 -x8638 x8637 x8636 
3588.16/3600.13	v -x8635 -x8634 x8633 -x8632 -x8631 x8630 x8629 -x8628 x8627 -x8626 x8625 x8624 -x8623 -x8622 -x8621 x8620 -x8619 -x8618 -x8617 
3588.16/3600.13	v -x8616 x8615 x8614 -x8613 x8612 -x8611 x8610 x8609 x8608 -x8607 -x8606 -x8605 -x8604 -x8603 -x8602 x8601 x8600 -x8599 x8598 
3588.16/3600.13	v x8597 -x8596 -x8595 -x8594 x8593 x8592 x8591 -x8590 -x8589 x8588 x8587 -x8586 -x8585 -x8584 -x8583 x8582 x8581 -x8580 x8579 
3588.16/3600.13	v -x8578 -x8577 -x8576 -x8575 x8574 -x8573 x8572 x8571 -x8570 x8569 -x8568 x8567 x8566 x8565 -x8564 -x8563 -x8562 -x8561 -x8560 
3588.16/3600.13	v -x8559 x8558 x8557 -x8556 -x8555 -x8554 -x8553 x8552 x8551 -x8550 x8549 -x8548 -x8547 x8546 x8545 x8544 -x8543 -x8542 -x8541 
3588.16/3600.13	v -x8540 -x8539 x8538 -x8537 x8536 x8535 -x8534 -x8533 -x8532 x8531 -x8530 -x8529 x8528 -x8527 x8526 x8525 x8524 x8523 -x8522 
3588.16/3600.13	v x8521 -x8520 -x8519 -x8518 x8517 x8516 -x8515 x8514 x8513 x8512 x8511 x8510 -x8509 x8508 -x8507 x8506 -x8505 x8504 -x8503 
3588.16/3600.13	v x8502 x8501 -x8500 -x8499 -x8498 x8497 -x8496 x8495 -x8494 x8493 -x8492 -x8491 -x8490 -x8489 -x8488 -x8487 x8486 -x8485 x8484 
3588.16/3600.13	v x8483 -x8482 x8481 -x8480 -x8479 -x8478 x8477 -x8476 -x8475 x8474 x8473 x8472 -x8471 x8470 -x8469 -x8468 -x8467 x8466 -x8465 
3588.16/3600.13	v x8464 x8463 x8462 -x8461 -x8460 -x8459 x8458 x8457 x8456 x8455 x8454 -x8453 x8452 -x8451 -x8450 -x8449 x8448 -x8447 x8446 x8445 
3588.16/3600.13	v -x8444 x8443 -x8442 -x8441 -x8440 x8439 x8438 x8437 -x8436 -x8435 -x8434 -x8433 -x8432 -x8431 x8430 -x8429 -x8428 -x8427 
3588.16/3600.13	v -x8426 -x8425 -x8424 -x8423 -x8422 -x8421 x8420 x8419 x8418 -x8417 x8416 x8415 -x8414 -x8413 -x8412 x8411 -x8410 x8409 -x8408 
3588.16/3600.13	v x8407 x8406 -x8405 -x8404 x8403 -x8402 -x8401 -x8400 x8399 x8398 x8397 x8396 -x8395 -x8394 -x8393 -x8392 -x8391 -x8390 -x8389 
3588.16/3600.13	v x8388 x8387 x8386 x8385 x8384 -x8383 -x8382 x8381 x8380 -x8379 -x8378 -x8377 -x8376 -x8375 x8374 x8373 -x8372 x8371 -x8370 
3588.16/3600.13	v x8369 -x8368 x8367 x8366 -x8365 x8364 -x8363 x8362 -x8361 -x8360 -x8359 x8358 -x8357 -x8356 -x8355 x8354 x8353 x8352 -x8351 -x8350 
3588.16/3600.13	v -x8349 -x8348 -x8347 -x8346 x8345 x8344 x8343 x8342 -x8341 -x8340 -x8339 x8338 -x8337 -x8336 x8335 x8334 x8333 x8332 -x8331 
3588.16/3600.13	v x8330 -x8329 -x8328 -x8327 x8326 -x8325 x8324 -x8323 x8322 -x8321 -x8320 x8319 x8318 -x8317 x8316 x8315 -x8314 x8313 -x8312 
3588.16/3600.13	v -x8311 -x8310 x8309 -x8308 -x8307 -x8306 x8305 -x8304 -x8303 -x8302 -x8301 -x8300 -x8299 -x8298 -x8297 x8296 x8295 x8294 
3588.16/3600.13	v -x8293 x8292 x8291 x8290 x8289 -x8288 x8287 x8286 -x8285 x8284 x8283 -x8282 x8281 -x8280 -x8279 -x8278 -x8277 -x8276 -x8275 x8274 
3588.16/3600.13	v x8273 -x8272 -x8271 x8270 -x8269 -x8268 -x8267 -x8266 -x8265 -x8264 x8263 -x8262 -x8261 -x8260 -x8259 -x8258 x8257 x8256 
3588.16/3600.13	v x8255 x8254 x8253 -x8252 -x8251 -x8250 x8249 x8248 -x8247 x8246 -x8245 x8244 x8243 -x8242 -x8241 -x8240 -x8239 -x8238 -x8237 
3588.16/3600.13	v -x8236 x8235 -x8234 x8233 -x8232 x8231 x8230 -x8229 x8228 -x8227 x8226 x8225 x8224 -x8223 -x8222 -x8221 x8220 x8219 -x8218 -x8217 
3588.16/3600.13	v -x8216 x8215 -x8214 x8213 -x8212 -x8211 x8210 x8209 -x8208 -x8207 x8206 x8205 x8204 -x8203 -x8202 x8201 -x8200 x8199 -x8198 
3588.16/3600.13	v -x8197 -x8196 x8195 x8194 -x8193 x8192 -x8191 -x8190 -x8189 -x8188 -x8187 x8186 -x8185 -x8184 x8183 x8182 x8181 -x8180 -x8179 
3588.16/3600.13	v -x8178 -x8177 -x8176 -x8175 -x8174 x8173 x8172 -x8171 x8170 x8169 -x8168 -x8167 -x8166 x8165 -x8164 x8163 -x8162 x8161 
3588.16/3600.13	v -x8160 -x8159 -x8158 -x8157 x8156 -x8155 -x8154 x8153 x8152 -x8151 x8150 x8149 x8148 x8147 -x8146 -x8145 -x8144 -x8143 x8142 
3588.16/3600.13	v x8141 -x8140 -x8139 -x8138 x8137 -x8136 x8135 -x8134 -x8133 x8132 x8131 x8130 x8129 -x8128 x8127 x8126 -x8125 x8124 -x8123 -x8122 
3588.16/3600.13	v -x8121 -x8120 x8119 -x8118 -x8117 -x8116 x8115 -x8114 -x8113 x8112 x8111 x8110 -x8109 -x8108 x8107 -x8106 -x8105 x8104 -x8103 
3588.16/3600.13	v x8102 x8101 x8100 -x8099 -x8098 x8097 x8096 -x8095 x8094 -x8093 x8092 -x8091 -x8090 x8089 x8088 -x8087 -x8086 x8085 -x8084 
3588.16/3600.13	v -x8083 -x8082 x8081 -x8080 x8079 -x8078 -x8077 -x8076 x8075 x8074 -x8073 x8072 -x8071 -x8070 -x8069 -x8068 x8067 x8066 -x8065 
3588.16/3600.13	v x8064 -x8063 -x8062 x8061 x8060 x8059 -x8058 x8057 -x8056 x8055 x8054 -x8053 -x8052 x8051 -x8050 x8049 -x8048 x8047 -x8046 
3588.16/3600.13	v x8045 -x8044 x8043 x8042 x8041 x8040 -x8039 -x8038 -x8037 x8036 -x8035 -x8034 x8033 -x8032 -x8031 -x8030 x8029 x8028 -x8027 
3588.16/3600.13	v -x8026 -x8025 -x8024 x8023 -x8022 -x8021 -x8020 -x8019 -x8018 -x8017 x8016 -x8015 -x8014 -x8013 -x8012 x8011 -x8010 x8009 -x8008 
3588.16/3600.13	v -x8007 -x8006 -x8005 x8004 x8003 x8002 x8001 x8000 -x7999 x7998 -x7997 x7996 x7995 x7994 -x7993 x7992 -x7991 x7990 -x7989 
3588.16/3600.13	v x7988 -x7987 x7986 -x7985 -x7984 x7983 -x7982 -x7981 -x7980 x7979 x7978 -x7977 -x7976 x7975 x7974 -x7973 x7972 -x7971 -x7970 
3588.16/3600.13	v x7969 x7968 x7967 x7966 -x7965 -x7964 -x7963 -x7962 -x7961 x7960 -x7959 -x7958 -x7957 -x7956 x7955 x7954 -x7953 -x7952 -x7951 
3588.16/3600.13	v -x7950 x7949 x7948 -x7947 -x7946 x7945 -x7944 x7943 x7942 x7941 -x7940 x7939 x7938 -x7937 -x7936 -x7935 x7934 -x7933 x7932 
3588.16/3600.13	v x7931 x7930 x7929 x7928 x7927 x7926 x7925 -x7924 -x7923 x7922 -x7921 -x7920 -x7919 x7918 -x7917 -x7916 -x7915 -x7914 -x7913 
3588.16/3600.13	v x7912 -x7911 x7910 -x7909 x7908 x7907 x7906 -x7905 x7904 -x7903 -x7902 -x7901 -x7900 -x7899 x7898 x7897 x7896 x7895 -x7894 x7893 
3588.16/3600.13	v x7892 -x7891 x7890 -x7889 x7888 -x7887 -x7886 -x7885 -x7884 x7883 x7882 x7881 -x7880 -x7879 x7878 -x7877 x7876 -x7875 -x7874 
3588.16/3600.13	v -x7873 -x7872 -x7871 x7870 -x7869 x7855 x7854 x7853 x7852 x7851 x7850 x7849 x7848 x7847 x7846 x7845 x7844 x7843 x7842 x7841 
3588.16/3600.13	v x7827 x7826 x7825 x7824 x7823 x7822 x7821 x7820 x7819 x7818 x7817 x7816 x7815 x7814 x7813 -x7812 -x7811 -x7810 -x7809 -x7808 
3588.16/3600.13	v -x7807 -x7806 -x7805 -x7804 -x7803 -x7802 x7801 -x7800 -x7799 -x7798 -x7797 -x7796 x7795 -x7794 -x7793 x7792 x7791 -x7790 
3588.16/3600.13	v x7789 -x7788 x7787 -x7786 x7785 -x7784 -x7783 x7782 -x7781 -x7780 -x7779 -x7778 -x7777 -x7776 x7775 -x7774 x7773 -x7772 x7771 
3588.16/3600.13	v -x7770 -x7769 x7768 -x7767 x7766 -x7765 -x7764 x7763 x7762 x7761 x7760 x7759 x7758 x7757 -x7756 x7755 x7754 x7753 x7752 x7751 
3588.16/3600.13	v x7750 -x7749 -x7748 x7747 x7746 x7745 x7744 x7743 x7742 x7741 x7740 x7739 x7738 x7737 x7736 x7735 x7734 x7733 x7732 -x7731 
3588.16/3600.13	v x7730 -x7729 x7728 x7727 -x7726 x7725 x7724 -x7723 -x7722 -x7721 -x7720 x7719 x7718 -x7717 -x7716 -x7715 x7714 x7713 x7712 -x7711 
3588.16/3600.13	v x7710 x7709 x7708 x7707 x7706 x7705 x7704 x7703 -x7702 x7701 -x7700 -x7699 -x7698 -x7697 -x7696 -x7695 -x7694 -x7693 -x7692 
3588.16/3600.13	v -x7691 -x7690 x7689 -x7688 -x7687 -x7686 -x7685 -x7684 x7683 x7682 -x7681 x7680 x7679 x7678 x7677 -x7676 x7675 x7674 x7673 
3588.16/3600.13	v -x7672 -x7671 x7670 -x7669 -x7668 -x7667 -x7666 -x7665 -x7664 -x7663 x7662 x7661 -x7660 -x7659 x7658 -x7657 -x7656 -x7655 
3588.16/3600.13	v x7654 x7653 x7652 x7651 x7650 -x7649 x7648 x7647 -x7646 x7645 -x7644 -x7643 x7642 -x7641 -x7640 -x7639 x7638 -x7637 -x7636 -x7635 
3588.16/3600.13	v x7634 -x7633 -x7632 -x7631 -x7630 x7629 x7628 x7627 x7626 -x7625 x7624 -x7623 -x7622 x7621 x7620 -x7619 x7618 -x7617 -x7616 
3588.16/3600.13	v -x7615 -x7614 -x7613 x7612 -x7611 x7610 -x7609 -x7608 -x7607 -x7606 -x7605 -x7604 x7603 -x7602 x7601 x7600 x7599 x7598 -x7597 
3588.16/3600.13	v -x7596 x7595 x7594 x7593 x7592 x7591 -x7590 x7589 -x7588 -x7587 x7586 x7585 -x7584 -x7583 -x7582 -x7581 -x7580 x7579 x7578 
3588.16/3600.13	v x7577 -x7576 -x7575 -x7574 x7573 -x7572 x7571 -x7570 x7569 x7568 x7567 x7566 x7565 x7564 x7563 x7562 x7561 -x7560 -x7559 x7558 
3588.16/3600.13	v x7557 x7556 x7555 x7554 -x7553 -x7552 x7551 x7550 x7549 x7548 x7547 x7546 x7545 -x7544 x7543 x7542 x7541 x7540 x7539 x7538 
3588.16/3600.13	v x7537 x7536 x7535 x7534 x7533 x7532 -x7531 x7530 -x7529 x7528 -x7527 x7526 -x7525 -x7524 x7523 -x7522 -x7521 x7520 -x7519 
3588.16/3600.13	v x7518 x7517 x7516 x7515 x7514 x7513 x7512 x7511 -x7510 x7509 x7508 x7507 x7506 x7505 -x7504 -x7503 -x7502 x7501 x7500 -x7499 
3588.16/3600.13	v -x7498 -x7497 -x7496 x7495 x7494 -x7493 x7492 x7491 -x7490 -x7489 x7488 x7487 x7486 -x7485 x7484 x7483 x7482 x7481 -x7480 x7479 
3588.16/3600.13	v x7478 x7477 -x7476 -x7475 -x7474 x7473 -x7472 -x7471 x7470 -x7469 -x7468 -x7467 x7466 -x7465 -x7464 -x7463 -x7462 -x7461 x7460 
3588.16/3600.13	v x7459 x7458 x7457 x7456 x7455 -x7454 -x7453 x7452 -x7451 x7450 x7449 -x7448 -x7447 -x7446 -x7445 x7444 -x7443 x7442 -x7441 
3588.16/3600.13	v -x7440 -x7439 -x7438 x7437 x7436 -x7435 -x7434 -x7433 -x7432 -x7431 x7430 x7429 x7428 x7427 x7426 -x7425 x7424 x7423 x7422 
3588.16/3600.13	v -x7421 -x7420 -x7419 -x7418 -x7417 -x7416 -x7415 -x7414 -x7413 -x7412 x7411 x7410 x7409 x7408 -x7407 -x7406 -x7405 -x7404 -x7403 
3588.16/3600.13	v -x7402 x7401 -x7400 -x7399 x7398 x7397 x7396 x7395 x7394 x7393 -x7392 -x7391 x7390 x7389 x7388 -x7387 -x7386 -x7385 -x7384 
3588.16/3600.13	v x7383 x7382 x7381 x7380 -x7379 -x7378 x7377 -x7376 -x7375 -x7374 x7373 x7372 x7371 x7370 x7369 x7368 x7367 -x7366 x7365 -x7364 
3588.16/3600.13	v x7363 x7362 x7361 -x7360 x7359 x7358 -x7357 -x7356 x7355 x7354 x7353 x7352 x7351 x7350 x7349 x7348 x7347 x7346 x7345 -x7344 
3588.16/3600.13	v x7343 x7342 x7341 x7340 x7339 x7338 -x7337 x7336 x7335 -x7334 -x7333 x7332 -x7331 x7330 -x7329 -x7328 x7327 x7326 x7325 x7324 
3588.16/3600.13	v x7323 x7322 x7321 -x7320 x7319 x7318 x7317 -x7316 x7315 x7314 -x7313 -x7312 x7311 x7310 x7309 -x7308 x7307 x7306 -x7305 
3588.16/3600.13	v x7304 x7303 x7302 -x7301 -x7300 x7299 x7298 x7297 -x7296 -x7295 -x7294 -x7293 x7292 x7291 -x7290 -x7289 x7288 x7287 -x7286 x7285 
3588.16/3600.13	v x7284 x7283 -x7282 x7281 -x7280 -x7279 -x7278 -x7277 x7276 -x7275 -x7274 -x7273 -x7272 x7271 x7270 -x7269 -x7268 x7267 -x7266 
3588.16/3600.13	v x7265 x7264 x7263 x7262 x7261 x7260 x7259 -x7258 x7257 x7256 -x7255 x7254 x7253 -x7252 -x7251 x7250 -x7249 -x7248 -x7247 
3588.16/3600.13	v -x7246 -x7245 -x7244 x7243 x7242 x7241 -x7240 -x7239 x7238 -x7237 -x7236 -x7235 x7234 -x7233 x7232 x7231 x7230 x7229 -x7228 
3588.16/3600.13	v x7227 x7226 x7225 -x7224 -x7223 -x7222 -x7221 x7220 -x7219 x7218 -x7217 -x7216 -x7215 -x7214 x7213 -x7212 x7211 -x7210 -x7209 
3588.16/3600.13	v -x7208 -x7207 x7206 x7205 x7204 x7203 -x7202 x7201 x7200 x7199 x7198 x7197 -x7196 -x7195 -x7194 x7193 -x7192 -x7191 x7190 -x7189 
3588.16/3600.13	v -x7188 x7187 x7186 x7185 x7184 x7183 x7182 -x7181 x7180 x7179 x7178 x7177 x7176 -x7175 -x7174 -x7173 x7172 x7171 x7170 x7169 
3588.16/3600.13	v x7168 x7167 x7166 x7165 x7164 x7163 x7162 -x7161 -x7160 x7159 x7158 x7157 -x7156 -x7155 x7154 x7153 x7152 x7151 x7150 x7149 
3588.16/3600.13	v x7148 x7147 x7146 x7145 x7144 x7143 x7142 -x7141 -x7140 x7139 x7138 -x7137 -x7136 x7135 x7134 -x7133 -x7132 -x7131 x7130 
3588.16/3600.13	v x7129 x7128 x7127 x7126 x7125 x7124 x7123 x7122 x7121 -x7120 x7119 x7118 x7117 x7116 -x7115 x7114 x7113 -x7112 -x7111 x7110 -x7109 
3588.16/3600.13	v -x7108 -x7107 x7106 -x7105 -x7104 x7103 -x7102 x7101 x7100 -x7099 x7098 x7097 -x7096 -x7095 -x7094 x7093 x7092 x7091 x7090 
3588.16/3600.13	v x7089 x7088 x7087 -x7086 -x7085 -x7084 -x7083 x7082 -x7081 x7080 -x7079 -x7078 -x7077 -x7076 x7075 x7074 -x7073 x7072 -x7071 
3588.16/3600.13	v -x7070 -x7069 -x7068 x7067 x7066 x7065 x7064 -x7063 x7062 x7061 -x7060 x7059 x7058 x7057 -x7056 -x7055 -x7054 -x7053 -x7052 
3588.16/3600.13	v x7051 -x7050 -x7049 -x7048 x7047 x7046 x7045 x7044 x7043 -x7042 -x7041 x7040 x7039 x7038 x7037 -x7036 x7035 -x7034 x7033 x7032 
3588.16/3600.13	v -x7031 x7030 x7029 -x7028 -x7027 -x7026 x7025 x7024 -x7023 -x7022 -x7021 -x7020 x7019 -x7018 x7017 x7016 x7015 x7014 x7013 
3588.16/3600.13	v x7012 x7011 x7010 -x7009 x7008 x7007 x7006 -x7005 x7004 x7003 x7002 x7001 x7000 -x6999 -x6998 x6997 x6996 -x6995 x6994 -x6993 
3588.16/3600.13	v -x6992 x6991 x6990 x6989 -x6988 x6987 x6986 x6985 -x6984 x6983 x6982 x6981 x6980 x6979 x6978 x6977 x6976 x6975 x6974 x6973 
3588.16/3600.13	v x6972 x6971 x6970 x6969 x6968 x6967 x6966 -x6965 -x6964 x6963 x6962 x6961 x6960 x6959 x6958 x6957 x6956 x6955 x6954 x6953 x6952 
3588.16/3600.13	v x6951 x6950 x6949 x6948 x6947 x6946 x6945 -x6944 -x6943 -x6942 -x6941 -x6940 -x6939 -x6938 -x6937 -x6936 -x6935 -x6934 -x6933 
3588.16/3600.13	v -x6932 -x6931 -x6930 -x6929 -x6928 -x6927 -x6926 -x6925 -x6924 -x6923 -x6922 -x6921 -x6920 x6919 x6918 -x6917 -x6916 -x6915 
3588.16/3600.13	v -x6914 -x6913 -x6912 -x6911 -x6910 -x6909 -x6908 -x6907 -x6906 -x6905 -x6904 -x6903 -x6902 -x6901 -x6900 -x6899 -x6898 -x6897 
3588.16/3600.13	v -x6896 -x6895 -x6894 -x6893 -x6892 -x6891 -x6890 -x6889 -x6888 -x6887 -x6886 -x6885 -x6884 -x6883 -x6882 -x6881 -x6880 
3588.16/3600.13	v -x6879 -x6878 -x6877 -x6876 -x6875 -x6874 -x6873 -x6872 -x6871 -x6870 -x6869 -x6868 -x6867 -x6866 -x6865 x6864 x6863 -x6862 -x6861 
3588.16/3600.13	v -x6860 -x6859 -x6858 -x6857 -x6856 -x6855 -x6854 -x6853 -x6852 -x6851 -x6850 -x6849 -x6848 -x6847 -x6846 -x6845 -x6844 
3588.16/3600.13	v -x6843 -x6842 -x6841 -x6840 -x6839 -x6838 -x6837 -x6836 -x6835 -x6834 -x6833 -x6832 -x6831 -x6830 -x6829 -x6828 -x6827 -x6826 
3588.16/3600.13	v -x6825 -x6824 -x6823 -x6822 -x6821 -x6820 -x6819 -x6818 -x6817 -x6816 -x6815 -x6814 -x6813 -x6812 -x6811 -x6810 -x6809 -x6808 
3588.16/3600.13	v -x6807 -x6806 x6805 x6804 -x6803 -x6802 -x6801 -x6800 -x6799 -x6798 -x6797 -x6796 -x6795 -x6794 -x6793 -x6792 -x6791 -x6790 
3588.16/3600.13	v -x6789 -x6788 -x6787 -x6786 -x6785 -x6784 -x6783 -x6782 -x6781 -x6780 -x6779 -x6778 -x6777 -x6776 -x6775 -x6774 -x6773 -x6772 
3588.16/3600.13	v -x6771 -x6770 -x6769 -x6768 -x6767 -x6766 -x6765 -x6764 -x6763 -x6762 -x6761 -x6760 -x6759 -x6758 x6757 x6756 -x6755 -x6754 
3588.16/3600.13	v -x6753 -x6752 -x6751 -x6750 -x6749 -x6748 -x6747 -x6746 -x6745 -x6744 -x6743 -x6742 -x6741 -x6740 -x6739 -x6738 -x6737 -x6736 
3588.16/3600.13	v -x6735 -x6734 -x6733 -x6732 -x6731 -x6730 -x6729 -x6728 -x6727 -x6726 -x6725 -x6724 -x6723 -x6722 -x6721 -x6720 -x6719 -x6718 
3588.16/3600.13	v -x6717 -x6716 -x6715 -x6714 -x6713 -x6712 -x6711 -x6710 x6709 x6708 -x6707 -x6706 -x6705 -x6704 -x6703 -x6702 -x6701 -x6700 
3588.16/3600.13	v x6699 x6698 x6697 -x6696 -x6695 -x6694 -x6693 -x6692 -x6691 -x6690 -x6689 -x6688 -x6687 -x6686 -x6685 -x6684 -x6683 -x6682 
3588.16/3600.13	v -x6681 -x6680 -x6679 -x6678 -x6677 -x6676 x6675 x6674 x6673 -x6672 -x6671 -x6670 -x6669 -x6668 -x6667 x6666 x6665 -x6664 -x6663 
3588.16/3600.13	v -x6662 -x6661 -x6660 -x6659 -x6658 -x6657 -x6656 -x6655 -x6654 -x6653 -x6652 -x6651 -x6650 -x6649 -x6648 -x6647 -x6646 -x6645 
3588.16/3600.13	v -x6644 -x6643 -x6642 -x6641 -x6640 -x6639 -x6638 -x6637 -x6636 -x6635 -x6634 -x6633 -x6632 -x6631 -x6630 -x6629 -x6628 -x6627 
3588.16/3600.13	v -x6626 -x6625 -x6624 -x6623 -x6622 -x6621 -x6620 -x6619 -x6618 -x6617 -x6616 -x6615 -x6614 -x6613 -x6612 -x6611 -x6610 -x6609 
3588.16/3600.13	v -x6608 -x6607 -x6606 -x6605 -x6604 -x6603 -x6602 -x6601 -x6600 -x6599 -x6598 -x6597 -x6596 -x6595 -x6594 -x6593 -x6592 
3588.16/3600.13	v -x6591 -x6590 -x6589 -x6588 -x6587 -x6586 -x6585 -x6584 -x6583 -x6582 -x6581 -x6580 -x6579 -x6578 -x6577 -x6576 -x6575 -x6574 
3588.16/3600.13	v -x6573 -x6572 -x6571 -x6570 -x6569 -x6568 -x6567 -x6566 x6565 x6564 -x6563 -x6562 -x6561 x6560 x6559 -x6558 -x6557 -x6556 -x6555 
3588.27/3600.13	v -x6554 -x6553 -x6552 -x6551 -x6550 x6549 x6548 -x6547 -x6546 -x6545 -x6544 -x6543 -x6542 -x6541 -x6540 -x6539 -x6538 -x6537 
3588.27/3600.13	v -x6536 -x6535 -x6534 -x6533 -x6532 -x6531 -x6530 -x6529 -x6528 -x6527 -x6526 -x6525 -x6524 -x6523 -x6522 -x6521 -x6520 -x6519 
3588.27/3600.13	v -x6518 -x6517 -x6516 -x6515 -x6514 -x6513 -x6512 -x6511 -x6510 x6509 x6508 -x6507 -x6506 -x6505 -x6504 -x6503 -x6502 x6501 
3588.27/3600.13	v x6500 -x6499 -x6498 -x6497 -x6496 -x6495 -x6494 -x6493 -x6492 -x6491 -x6490 -x6489 -x6488 -x6487 -x6486 -x6485 -x6484 -x6483 
3588.27/3600.13	v -x6482 -x6481 -x6480 -x6479 -x6478 -x6477 -x6476 -x6475 -x6474 -x6473 -x6472 -x6471 -x6470 -x6469 -x6468 -x6467 -x6466 -x6465 
3588.27/3600.13	v -x6464 -x6463 -x6462 -x6461 -x6460 -x6459 -x6458 -x6457 -x6456 -x6455 -x6454 -x6453 -x6452 x6451 x6450 x6449 -x6448 -x6447 
3588.27/3600.13	v -x6446 -x6445 -x6444 -x6443 -x6442 -x6441 -x6440 -x6439 -x6438 x6437 x6436 -x6435 -x6434 -x6433 -x6432 -x6431 -x6430 -x6429 
3588.27/3600.13	v -x6428 x6427 x6426 x6425 -x6424 -x6423 -x6422 -x6421 -x6420 -x6419 -x6418 -x6417 -x6416 -x6415 -x6414 -x6413 -x6412 -x6411 -x6410 
3588.27/3600.13	v -x6409 -x6408 -x6407 -x6406 -x6405 -x6404 x6403 x6402 -x6401 -x6400 -x6399 -x6398 -x6397 -x6396 -x6395 x6394 x6393 -x6392 
3588.27/3600.13	v -x6391 -x6390 -x6389 -x6388 -x6387 -x6386 -x6385 -x6384 -x6383 -x6382 -x6381 -x6380 x6379 x6378 -x6377 -x6376 x6375 x6374 
3588.27/3600.13	v x6373 -x6372 -x6371 -x6370 -x6369 -x6368 -x6367 -x6366 -x6365 -x6364 x6363 x6362 -x6361 -x6360 -x6359 -x6358 -x6357 -x6356 -x6355 
3588.27/3600.13	v -x6354 -x6353 -x6352 -x6351 -x6350 -x6349 -x6348 -x6347 -x6346 -x6345 -x6344 -x6343 -x6342 -x6341 -x6340 -x6339 -x6338 -x6337 
3588.27/3600.13	v -x6336 -x6335 -x6334 -x6333 -x6332 -x6331 -x6330 -x6329 -x6328 -x6327 -x6326 -x6325 -x6324 x6323 x6322 x6321 -x6320 -x6319 
3588.27/3600.13	v -x6318 -x6317 -x6316 x6315 x6314 -x6313 -x6312 -x6311 -x6310 -x6309 -x6308 -x6307 -x6306 -x6305 -x6304 -x6303 -x6302 -x6301 
3588.27/3600.13	v -x6300 x6299 x6298 x6297 -x6296 -x6295 -x6294 -x6293 -x6292 -x6291 -x6290 -x6289 -x6288 -x6287 -x6286 x6285 x6284 -x6283 -x6282 
3588.27/3600.13	v -x6281 -x6280 -x6279 -x6278 -x6277 -x6276 -x6275 -x6274 -x6273 -x6272 -x6271 -x6270 -x6269 -x6268 -x6267 -x6266 -x6265 
3588.27/3600.13	v -x6264 -x6263 -x6262 x6261 x6260 -x6259 -x6258 -x6257 -x6256 -x6255 -x6254 x6253 x6252 -x6251 -x6250 -x6249 -x6248 -x6247 -x6246 
3588.27/3600.13	v -x6245 -x6244 x6243 x6242 x6241 -x6240 -x6239 -x6238 -x6237 -x6236 -x6235 x6234 x6233 -x6232 -x6231 -x6230 -x6229 -x6228 
3588.27/3600.13	v -x6227 -x6226 -x6225 -x6224 -x6223 -x6222 -x6221 -x6220 -x6219 -x6218 -x6217 -x6216 -x6215 -x6214 -x6213 -x6212 -x6211 -x6210 
3588.27/3600.13	v -x6209 -x6208 x6207 x6206 -x6205 -x6204 -x6203 -x6202 -x6201 -x6200 -x6199 -x6198 -x6197 -x6196 -x6195 -x6194 -x6193 -x6192 
3588.27/3600.13	v -x6191 -x6190 -x6189 -x6188 -x6187 -x6186 -x6185 -x6184 -x6183 -x6182 x6181 x6180 -x6179 -x6178 -x6177 -x6176 -x6175 -x6174 -x6173 
3588.27/3600.13	v -x6172 -x6171 x6170 x6169 -x6168 -x6167 -x6166 -x6165 -x6164 -x6163 -x6162 -x6161 -x6160 -x6159 -x6158 -x6157 -x6156 -x6155 
3588.27/3600.13	v -x6154 -x6153 -x6152 -x6151 -x6150 -x6149 -x6148 -x6147 -x6146 -x6145 -x6144 -x6143 -x6142 -x6141 -x6140 -x6139 -x6138 -x6137 
3588.27/3600.13	v x6136 x6135 x6134 -x6133 -x6132 -x6131 -x6130 -x6129 x6128 x6127 -x6126 -x6125 -x6124 -x6123 -x6122 -x6121 -x6120 -x6119 
3588.27/3600.13	v -x6118 -x6117 -x6116 -x6115 -x6114 -x6113 x6112 x6111 x6110 -x6109 -x6108 -x6107 -x6106 -x6105 -x6104 -x6103 -x6102 x6101 x6100 
3588.27/3600.13	v -x6099 -x6098 -x6097 -x6096 -x6095 -x6094 -x6093 -x6092 -x6091 -x6090 -x6089 -x6088 -x6087 -x6086 -x6085 -x6084 -x6083 -x6082 
3588.27/3600.13	v -x6081 -x6080 -x6079 -x6078 x6077 x6076 -x6075 -x6074 -x6073 -x6072 -x6071 -x6070 -x6069 -x6068 x6067 x6066 x6065 -x6064 
3588.27/3600.13	v -x6063 -x6062 -x6061 -x6060 -x6059 -x6058 -x6057 -x6056 -x6055 -x6054 -x6053 -x6052 -x6051 -x6050 -x6049 -x6048 -x6047 -x6046 
3588.27/3600.13	v -x6045 -x6044 -x6043 -x6042 -x6041 -x6040 -x6039 -x6038 -x6037 -x6036 -x6035 -x6034 -x6033 -x6032 -x6031 -x6030 -x6029 -x6028 
3588.27/3600.13	v -x6027 -x6026 -x6025 -x6024 -x6023 -x6022 x6021 x6020 -x6019 -x6018 -x6017 -x6016 -x6015 -x6014 -x6013 -x6012 x6011 x6010 
3588.27/3600.13	v x6009 -x6008 -x6007 -x6006 -x6005 -x6004 -x6003 -x6002 -x6001 -x6000 -x5999 -x5998 -x5997 -x5996 -x5995 -x5994 -x5993 -x5992 
3588.27/3600.13	v -x5991 -x5990 -x5989 -x5988 -x5987 -x5986 -x5985 -x5984 -x5983 -x5982 -x5981 -x5980 -x5979 -x5978 -x5977 -x5976 -x5975 -x5974 
3588.27/3600.13	v -x5973 -x5972 x5971 x5970 -x5969 -x5968 -x5967 -x5966 -x5965 -x5964 x5963 x5962 x5961 -x5960 -x5959 -x5958 x5957 x5956 -x5955 
3588.27/3600.13	v -x5954 -x5953 -x5952 -x5951 -x5950 -x5949 -x5948 -x5947 -x5946 -x5945 -x5944 -x5943 -x5942 -x5941 -x5940 -x5939 -x5938 -x5937 
3588.27/3600.13	v -x5936 -x5935 -x5934 -x5933 -x5932 x5931 x5930 x5929 -x5928 -x5927 -x5926 -x5925 -x5924 x5923 x5922 -x5921 -x5920 -x5919 
3588.27/3600.13	v -x5918 -x5917 -x5916 -x5915 -x5914 -x5913 -x5912 -x5911 -x5910 -x5909 -x5908 -x5907 -x5906 -x5905 -x5904 -x5903 -x5902 -x5901 
3588.27/3600.13	v -x5900 -x5899 -x5898 -x5897 -x5896 x5895 x5894 -x5893 -x5892 -x5891 -x5890 -x5889 -x5888 -x5887 -x5886 -x5885 -x5884 -x5883 
3588.27/3600.13	v -x5882 -x5881 -x5880 -x5879 -x5878 x5877 x5876 -x5875 -x5874 -x5873 -x5872 -x5871 x5870 x5869 x5868 -x5867 -x5866 -x5865 -x5864 
3588.27/3600.13	v -x5863 -x5862 -x5861 -x5860 -x5859 x5858 x5857 -x5856 -x5855 -x5854 -x5853 -x5852 -x5851 -x5850 -x5849 -x5848 -x5847 -x5846 
3588.27/3600.13	v x5845 x5844 -x5843 -x5842 -x5841 -x5840 -x5839 -x5838 -x5837 -x5836 -x5835 -x5834 -x5833 -x5832 -x5831 -x5830 -x5829 -x5828 
3588.27/3600.13	v x5827 x5826 x5825 -x5824 -x5823 -x5822 -x5821 -x5820 -x5819 -x5818 -x5817 -x5816 -x5815 -x5814 x5813 x5812 -x5811 -x5810 -x5809 
3588.27/3600.13	v -x5808 x5807 x5806 -x5805 -x5804 -x5803 -x5802 -x5801 -x5800 -x5799 -x5798 -x5797 -x5796 -x5795 x5794 x5793 -x5792 -x5791 
3588.27/3600.13	v -x5790 -x5789 -x5788 -x5787 -x5786 -x5785 -x5784 -x5783 -x5782 -x5781 -x5780 x5779 x5778 -x5777 -x5776 -x5775 -x5774 -x5773 
3588.27/3600.13	v -x5772 -x5771 -x5770 -x5769 -x5768 x5767 x5766 -x5765 -x5764 -x5763 -x5762 -x5761 -x5760 -x5759 -x5758 -x5757 -x5756 -x5755 -x5754 
3588.27/3600.13	v -x5753 -x5752 -x5751 -x5750 -x5749 -x5748 -x5747 -x5746 -x5745 -x5744 -x5743 -x5742 x5741 x5740 -x5739 -x5738 -x5737 -x5736 
3588.27/3600.13	v -x5735 -x5734 -x5733 -x5732 -x5731 -x5730 -x5729 -x5728 -x5727 -x5726 x5725 x5724 -x5723 -x5722 -x5721 -x5720 -x5719 -x5718 
3588.27/3600.13	v x5717 x5716 -x5715 -x5714 -x5713 -x5712 -x5711 -x5710 -x5709 -x5708 x5707 x5706 -x5705 -x5704 -x5703 -x5702 -x5701 -x5700 
3588.27/3600.13	v -x5699 -x5698 -x5697 -x5696 -x5695 -x5694 -x5693 -x5692 -x5691 -x5690 -x5689 -x5688 -x5687 -x5686 -x5685 -x5684 -x5683 x5682 
3588.27/3600.13	v x5681 -x5680 -x5679 -x5678 -x5677 -x5676 -x5675 -x5674 -x5673 -x5672 -x5671 -x5670 -x5669 -x5668 -x5667 -x5666 -x5665 -x5664 
3588.27/3600.13	v -x5663 -x5662 -x5661 -x5660 -x5659 -x5658 -x5657 -x5656 -x5655 -x5654 -x5653 -x5652 -x5651 -x5650 -x5649 -x5648 -x5647 -x5646 
3588.27/3600.13	v -x5645 -x5644 -x5643 -x5642 -x5641 -x5640 -x5639 -x5638 -x5637 -x5636 -x5635 -x5634 -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 
3588.27/3600.13	v x5627 x5626 -x5625 -x5624 -x5623 -x5622 -x5621 -x5620 -x5619 -x5618 -x5617 -x5616 -x5615 -x5614 -x5613 -x5612 -x5611 -x5610 
3588.27/3600.13	v -x5609 -x5608 -x5607 -x5606 -x5605 -x5604 -x5603 -x5602 -x5601 -x5600 -x5599 -x5598 -x5597 -x5596 -x5595 -x5594 -x5593 -x5592 
3588.27/3600.13	v -x5591 -x5590 -x5589 -x5588 -x5587 -x5586 -x5585 -x5584 -x5583 -x5582 -x5581 -x5580 -x5579 -x5578 -x5577 -x5576 -x5575 -x5574 
3588.27/3600.13	v -x5573 -x5572 x5571 x5570 x5569 -x5568 -x5567 -x5566 -x5565 -x5564 -x5563 -x5562 -x5561 x5560 x5559 -x5558 -x5557 -x5556 
3588.27/3600.13	v -x5555 -x5554 -x5553 -x5552 -x5551 -x5550 -x5549 -x5548 -x5547 -x5546 -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 
3588.27/3600.13	v -x5537 -x5536 -x5535 -x5534 -x5533 -x5532 -x5531 -x5530 -x5529 -x5528 -x5527 -x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5520 
3588.27/3600.13	v -x5519 -x5518 -x5517 -x5516 x5515 x5514 -x5513 -x5512 -x5511 -x5510 -x5509 -x5508 x5507 x5506 x5505 -x5504 -x5503 -x5502 -x5501 
3588.27/3600.13	v -x5500 -x5499 -x5498 -x5497 -x5496 -x5495 -x5494 -x5493 -x5492 -x5491 -x5490 -x5489 x5488 x5487 -x5486 -x5485 -x5484 -x5483 
3588.27/3600.13	v -x5482 -x5481 -x5480 -x5479 -x5478 -x5477 -x5476 -x5475 -x5474 -x5473 -x5472 -x5471 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465 
3588.27/3600.13	v -x5464 -x5463 -x5462 -x5461 -x5460 x5459 x5458 x5457 -x5456 -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 
3588.27/3600.13	v -x5446 -x5445 -x5444 -x5443 -x5442 -x5441 -x5440 x5439 x5438 -x5437 -x5436 -x5435 -x5434 -x5433 -x5432 -x5431 -x5430 -x5429 
3588.27/3600.13	v -x5428 -x5427 -x5426 -x5425 -x5424 -x5423 -x5422 -x5421 -x5420 -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412 -x5411 
3588.27/3600.13	v -x5410 -x5409 -x5408 -x5407 -x5406 -x5405 -x5404 -x5403 x5402 x5401 -x5400 -x5399 -x5398 x5397 x5396 -x5395 -x5394 -x5393 
3588.27/3600.13	v -x5392 -x5391 -x5390 -x5389 -x5388 -x5387 -x5386 -x5385 -x5384 -x5383 -x5382 x5381 x5380 -x5379 -x5378 -x5377 -x5376 -x5375 -x5374 
3588.27/3600.13	v x5373 x5372 -x5371 -x5370 -x5369 -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359 -x5358 -x5357 -x5356 
3588.27/3600.13	v x5355 x5354 -x5353 -x5352 x5351 x5350 -x5349 -x5348 -x5347 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341 -x5340 -x5339 -x5338 
3588.27/3600.13	v -x5337 -x5336 -x5335 -x5334 -x5333 -x5332 -x5331 -x5330 -x5329 -x5328 x5327 x5326 -x5325 -x5324 -x5323 -x5322 -x5321 -x5320 
3588.27/3600.13	v x5319 x5318 x5317 -x5316 -x5315 -x5314 -x5313 -x5312 -x5311 -x5310 x5309 x5308 -x5307 -x5306 -x5305 -x5304 -x5303 -x5302 -x5301 
3588.27/3600.13	v -x5300 -x5299 -x5298 -x5297 -x5296 -x5295 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 -x5288 -x5287 -x5286 x5285 x5284 -x5283 
3588.27/3600.13	v -x5282 -x5281 -x5280 -x5279 -x5278 -x5277 -x5276 x5275 x5274 x5273 x5272 x5271 -x5270 -x5269 -x5268 -x5267 -x5266 -x5265 -x5264 
3588.27/3600.13	v -x5263 -x5262 -x5261 -x5260 x5259 x5258 -x5257 -x5256 -x5255 -x5254 -x5253 -x5252 -x5251 x5250 x5249 -x5248 -x5247 -x5246 
3588.27/3600.13	v -x5245 -x5244 -x5243 -x5242 -x5241 -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232 -x5231 -x5230 -x5229 -x5228 
3588.27/3600.13	v -x5227 -x5226 -x5225 -x5224 -x5223 -x5222 -x5221 -x5220 -x5219 x5218 x5217 -x5216 -x5215 -x5214 x5213 x5212 -x5211 -x5210 
3588.27/3600.13	v -x5209 -x5208 -x5207 -x5206 -x5205 -x5204 -x5203 -x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 -x5195 -x5194 -x5193 -x5192 
3588.27/3600.13	v -x5191 -x5190 -x5189 -x5188 -x5187 -x5186 -x5185 -x5184 -x5183 -x5182 -x5181 -x5180 -x5179 -x5178 -x5177 -x5176 -x5175 -x5174 
3588.27/3600.13	v -x5173 -x5172 -x5171 -x5170 -x5169 -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 -x5162 -x5161 -x5160 -x5159 -x5158 -x5157 -x5156 
3588.27/3600.13	v -x5155 -x5154 -x5153 -x5152 -x5151 -x5150 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 -x5143 -x5142 -x5141 -x5140 -x5139 -x5138 
3588.27/3600.13	v -x5137 -x5136 -x5135 -x5134 -x5133 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 -x5124 -x5123 -x5122 -x5121 -x5120 
3588.27/3600.13	v -x5119 -x5118 -x5117 -x5116 -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105 -x5104 -x5103 
3588.27/3600.13	v -x5102 -x5101 -x5100 -x5099 -x5098 -x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086 -x5085 
3588.27/3600.13	v -x5084 -x5083 -x5082 -x5081 -x5080 -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 
3588.27/3600.13	v -x5066 -x5065 -x5064 -x5063 -x5062 -x5061 -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 -x5050 -x5049 
3588.27/3600.13	v -x5048 -x5047 -x5046 -x5045 -x5044 -x5043 -x5042 -x5041 -x5040 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 
3588.27/3600.13	v -x5030 -x5029 -x5028 -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015 -x5014 -x5013 
3588.27/3600.13	v -x5012 -x5011 -x5010 -x5009 -x5008 -x5007 -x5006 -x5005 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 
3588.27/3600.13	v -x4994 -x4993 -x4992 -x4991 -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979 -x4978 
3588.27/3600.13	v -x4977 -x4976 -x4975 -x4974 -x4973 -x4972 -x4971 -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 
3588.27/3600.13	v -x4959 -x4958 -x4957 -x4956 -x4955 -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 
3588.27/3600.13	v -x4941 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924 
3588.27/3600.13	v -x4923 -x4922 -x4921 -x4920 -x4919 -x4918 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907 -x4906 
3588.27/3600.13	v -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891 -x4890 -x4889 -x4888 
3588.27/3600.13	v -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874 -x4873 -x4872 -x4871 -x4870 
3588.27/3600.13	v -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854 -x4853 
3588.27/3600.13	v -x4852 -x4851 -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 
3588.27/3600.13	v -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817 
3588.27/3600.13	v -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 -x4799 
3588.27/3600.13	v -x4798 -x4797 -x4796 -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 
3588.27/3600.13	v -x4780 -x4779 -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 
3588.27/3600.13	v -x4762 -x4761 -x4760 -x4759 -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 
3588.27/3600.13	v -x4744 -x4743 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 
3588.27/3600.13	v -x4727 -x4726 -x4725 -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 
3588.27/3600.13	v -x4709 -x4708 -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 -x4701 -x4700 -x4699 x4698 x4697 -x4696 -x4695 -x4694 -x4693 -x4692 
3588.27/3600.13	v -x4691 x4690 x4689 -x4688 -x4687 -x4686 -x4685 -x4684 x4683 x4682 x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 -x4674 -x4673 
3588.27/3600.13	v -x4672 -x4671 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 
3588.27/3600.13	v -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 x4645 x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 
3588.27/3600.13	v -x4636 x4635 x4634 x4633 -x4632 x4631 x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 x4619 x4618 
3588.27/3600.13	v -x4617 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 
3588.27/3600.13	v -x4599 -x4598 -x4597 -x4596 x4595 x4594 -x4593 x4592 x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 x4584 x4583 x4582 -x4581 
3588.27/3600.13	v -x4580 -x4579 -x4578 -x4577 x4576 x4575 x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 x4563 
3588.27/3600.13	v x4562 x4561 -x4560 -x4559 -x4558 -x4557 -x4556 x4555 x4554 x4553 -x4552 -x4551 -x4550 -x4549 -x4548 x4547 x4546 -x4545 -x4544 
3588.27/3600.13	v -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 x4533 x4532 -x4531 -x4530 -x4529 x4528 x4527 x4526 
3588.27/3600.13	v -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 -x4513 -x4512 -x4511 -x4510 x4509 x4508 -x4507 
3588.27/3600.13	v -x4506 -x4505 x4504 x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4492 x4491 x4490 x4489 
3588.27/3600.13	v -x4488 -x4487 -x4486 x4485 x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 x4477 x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4470 
3588.27/3600.13	v x4469 x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 -x4454 -x4453 -x4452 
3588.27/3600.13	v -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 x4445 x4444 -x4443 -x4442 -x4441 x4440 x4439 -x4438 -x4437 -x4436 -x4435 -x4434 
3588.27/3600.13	v -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 x4421 x4420 -x4419 -x4418 -x4417 -x4416 
3588.27/3600.13	v -x4415 -x4414 -x4413 -x4412 x4411 x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 
3588.27/3600.13	v -x4397 -x4396 x4395 x4394 -x4393 -x4392 -x4391 -x4390 x4389 x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 
3588.27/3600.13	v -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 x4370 x4369 -x4368 -x4367 -x4366 x4365 x4364 -x4363 -x4362 -x4361 
3588.27/3600.13	v -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 x4350 x4349 x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 
3588.27/3600.13	v -x4341 -x4340 x4339 x4338 x4337 -x4336 -x4335 x4334 x4333 x4332 -x4331 -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 
3588.27/3600.13	v -x4323 x4322 x4321 -x4320 -x4319 -x4318 x4317 x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 x4306 x4305 
3588.27/3600.13	v -x4304 -x4303 -x4302 -x4301 -x4300 x4299 x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 x4288 x4287 
3588.27/3600.13	v -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 x4275 x4274 -x4273 -x4272 -x4271 -x4270 x4269 x4268 
3588.27/3600.13	v -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 -x4254 x4253 x4252 -x4251 -x4250 
3588.27/3600.13	v -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 x4243 x4242 x4241 -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 
3588.27/3600.13	v -x4231 -x4230 -x4229 -x4228 x4227 x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 x4219 x4218 x4217 x4216 x4215 -x4214 -x4213 
3588.27/3600.13	v -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 x4205 x4204 -x4203 -x4202 -x4201 x4200 x4199 -x4198 -x4197 -x4196 -x4195 -x4194 
3588.27/3600.13	v -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 -x4182 x4181 x4180 -x4179 -x4178 -x4177 -x4176 
3588.27/3600.13	v x4175 x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 
3588.27/3600.13	v -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 x4147 x4146 x4145 -x4144 -x4143 -x4142 -x4141 -x4140 
3588.27/3600.13	v x4139 x4138 x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 
3588.27/3600.13	v -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 x4112 x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 
3588.27/3600.13	v -x4102 -x4101 -x4100 x4099 x4098 x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 x4090 x4089 x4088 x4087 -x4086 -x4085 
3588.27/3600.13	v -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 x4077 x4076 -x4075 -x4074 -x4073 x4072 x4071 x4070 -x4069 -x4068 -x4067 -x4066 
3588.27/3600.13	v -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 x4056 x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 
3588.27/3600.13	v -x4047 -x4046 -x4045 -x4044 x4043 x4042 x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 x4034 x4033 x4032 x4031 -x4030 -x4029 
3588.27/3600.13	v -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 x4019 x4018 x4017 -x4016 -x4015 x4014 x4013 x4012 -x4011 -x4010 
3588.27/3600.13	v -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 x4000 x3999 x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 
3588.27/3600.13	v -x3991 -x3990 -x3989 -x3988 x3987 x3986 x3985 -x3984 -x3983 -x3982 -x3981 -x3980 x3979 x3978 x3977 x3976 x3975 -x3974 -x3973 
3588.27/3600.13	v -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 
3588.27/3600.13	v -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 x3947 x3946 x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 
3588.27/3600.13	v -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 
3588.27/3600.13	v -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 
3588.27/3600.13	v -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 x3893 x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 x3883 
3588.27/3600.13	v x3882 x3881 -x3880 -x3879 -x3878 -x3877 -x3876 x3875 x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 
3588.27/3600.13	v -x3863 -x3862 x3861 x3860 -x3859 -x3858 -x3857 x3856 x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 
3588.27/3600.13	v x3845 x3844 -x3843 -x3842 -x3841 -x3840 -x3839 x3838 x3837 x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 x3829 x3828 -x3827 
3588.27/3600.13	v -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 
3588.27/3600.13	v -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 
3588.27/3600.13	v -x3790 -x3789 -x3788 x3787 x3786 x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 x3776 x3775 -x3774 -x3773 
3588.27/3600.13	v -x3772 -x3771 -x3770 -x3769 x3768 x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 x3755 
3588.27/3600.13	v x3754 x3753 -x3752 -x3751 -x3750 x3749 x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 x3741 x3740 -x3739 -x3738 -x3737 -x3736 
3588.27/3600.13	v -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 x3722 x3721 -x3720 -x3719 -x3718 
3588.27/3600.13	v -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 x3707 x3706 x3705 -x3704 -x3703 -x3702 x3701 x3700 -x3699 
3588.27/3600.13	v -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 
3588.27/3600.13	v -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 
3588.27/3600.13	v -x3662 -x3661 -x3660 x3659 x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 
3588.27/3600.13	v -x3644 -x3643 x3642 x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 
3588.27/3600.13	v x3626 x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 
3588.27/3600.13	v -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 x3592 x3591 
3588.27/3600.13	v x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 x3579 x3578 -x3577 -x3576 -x3575 -x3574 -x3573 
3588.27/3600.13	v -x3572 -x3571 -x3570 -x3569 -x3568 x3567 x3566 x3565 -x3564 -x3563 -x3562 -x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 
3588.27/3600.13	v -x3553 -x3552 -x3551 x3550 x3549 x3548 -x3547 -x3546 -x3545 -x3544 -x3543 x3542 x3541 x3540 -x3539 -x3538 -x3537 -x3536 
3588.27/3600.13	v -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 x3522 x3521 -x3520 -x3519 -x3518 -x3517 
3588.27/3600.13	v -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 x3501 x3500 -x3499 
3588.27/3600.13	v -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 x3491 x3490 -x3489 x3488 x3487 x3486 -x3485 -x3484 -x3483 -x3482 -x3481 
3588.27/3600.13	v -x3480 -x3479 x3478 x3477 x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 
3588.27/3600.13	v -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 x3454 x3453 x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 x3445 x3444 
3588.27/3600.13	v -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 x3429 x3428 -x3427 -x3426 
3588.27/3600.13	v -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 
3588.27/3600.13	v -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 x3398 x3397 x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 
3588.27/3600.13	v -x3389 -x3388 x3387 x3386 x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 
3588.27/3600.13	v -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 
3588.27/3600.13	v -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 x3339 x3338 x3337 -x3336 -x3335 
3588.27/3600.13	v x3334 x3333 x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 
3588.27/3600.13	v -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 x3309 x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 
3588.27/3600.13	v -x3298 -x3297 -x3296 -x3295 -x3294 x3293 x3292 -x3291 -x3290 -x3289 -x3288 -x3287 x3286 x3285 x3284 -x3283 -x3282 -x3281 -x3280 
3588.27/3600.13	v x3279 x3278 x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 x3269 x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 
3588.27/3600.13	v -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 
3588.27/3600.13	v x3243 x3242 x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 x3234 x3233 -x3232 -x3231 -x3230 x3229 x3228 -x3227 -x3226 -x3225 
3588.27/3600.13	v -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 x3207 
3588.27/3600.13	v x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 x3197 x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 
3588.27/3600.13	v -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 x3175 x3174 -x3173 -x3172 -x3171 -x3170 
3588.27/3600.13	v -x3169 -x3168 -x3167 -x3166 x3165 x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 x3154 x3153 x3152 
3588.27/3600.13	v x3151 x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 x3143 x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 
3588.27/3600.13	v -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 
3588.27/3600.13	v -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 x3098 
3588.27/3600.13	v x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 x3090 x3089 -x3088 -x3087 -x3086 -x3085 -x3084 x3083 x3082 x3081 -x3080 -x3079 
3588.27/3600.13	v -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 x3069 x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 
3588.27/3600.13	v -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 
3588.27/3600.13	v -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 x3034 x3033 -x3032 x3031 x3030 x3029 -x3028 -x3027 -x3026 -x3025 -x3024 
3588.27/3600.13	v -x3023 -x3022 -x3021 -x3020 x3019 x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 
3588.27/3600.13	v -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 x2994 x2993 -x2992 -x2991 -x2990 x2989 x2988 
3588.27/3600.13	v -x2987 -x2986 -x2985 -x2984 x2983 x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 
3588.27/3600.13	v -x2969 -x2968 -x2967 -x2966 x2965 x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 x2957 x2956 -x2955 -x2954 -x2953 -x2952 -x2951 
3588.27/3600.13	v -x2950 x2949 x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 
3588.27/3600.13	v -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 x2926 x2925 x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 
3588.27/3600.13	v x2914 x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 
3588.27/3600.13	v -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 x2890 x2889 -x2888 -x2887 x2886 x2885 x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 
3588.27/3600.13	v -x2877 -x2876 x2875 x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 
3588.27/3600.13	v -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 x2843 x2842 
3588.27/3600.13	v -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 x2830 x2829 x2828 -x2827 -x2826 -x2825 x2824 x2823 
3588.27/3600.13	v -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 
3588.27/3600.13	v -x2804 -x2803 -x2802 -x2801 -x2800 x2799 x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 x2789 x2788 -x2787 
3588.27/3600.13	v -x2786 -x2785 -x2784 -x2783 -x2782 x2781 x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 
3588.27/3600.13	v -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 x2754 x2753 -x2752 -x2751 
3588.27/3600.13	v -x2750 x2749 x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 
3588.27/3600.13	v x2731 x2730 x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 x2722 x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 
3588.27/3600.13	v -x2713 -x2712 -x2711 -x2710 x2709 x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 
3588.27/3600.13	v -x2695 -x2694 -x2693 -x2692 x2691 x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 x2678 x2677 
3588.27/3600.13	v x2676 -x2675 -x2674 -x2673 -x2672 -x2671 x2670 x2669 x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 x2659 
3588.27/3600.13	v x2658 x2657 x2656 x2655 x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 x2643 x2642 x2641 x2640 
3588.27/3600.13	v x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 x2632 -x2631 x2630 x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 
3588.27/3600.13	v -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 
3588.27/3600.13	v -x2602 -x2601 -x2600 -x2599 -x2598 x2597 x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 x2587 x2586 x2585 
3588.27/3600.13	v x2584 x2583 x2582 -x2581 -x2580 -x2579 -x2578 -x2577 x2576 -x2575 x2574 x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 
3588.27/3600.13	v -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 x2552 x2551 -x2550 -x2549 -x2548 
3588.27/3600.13	v -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 x2539 x2538 -x2537 x2536 -x2535 x2534 x2533 -x2532 -x2531 -x2530 -x2529 
3588.27/3600.13	v -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 x2514 x2513 -x2512 -x2511 
3588.27/3600.13	v -x2510 -x2509 -x2508 -x2507 x2506 x2505 -x2504 -x2503 -x2502 -x2501 -x2500 x2499 x2498 -x2497 x2496 x2495 x2494 -x2493 -x2492 
3588.27/3600.13	v -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 x2485 x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 
3588.27/3600.13	v -x2473 -x2472 x2471 x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 x2463 x2462 x2461 -x2460 -x2459 -x2458 -x2457 -x2456 
3588.27/3600.13	v -x2455 -x2454 x2453 x2452 -x2451 -x2450 -x2449 x2448 x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 
3588.27/3600.13	v -x2436 -x2435 x2434 x2433 -x2432 -x2431 -x2430 -x2429 -x2428 x2427 x2426 x2425 x2424 x2423 x2422 -x2421 -x2420 -x2419 -x2418 
3588.27/3600.13	v -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 x2403 x2402 x2401 -x2400 
3588.27/3600.13	v -x2399 x2398 x2397 x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 x2389 x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 x2381 
3588.27/3600.13	v x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 x2371 x2370 x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 
3588.27/3600.13	v -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 x2349 x2348 -x2347 -x2346 -x2345 
3588.27/3600.13	v -x2344 -x2343 -x2342 -x2341 -x2340 x2339 x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 
3588.27/3600.13	v x2325 x2324 -x2323 -x2322 -x2321 x2320 x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 x2311 x2310 -x2309 -x2308 
3588.27/3600.13	v -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 x2299 x2298 x2297 -x2296 -x2295 -x2294 x2293 x2292 -x2291 -x2290 -x2289 
3588.27/3600.13	v -x2288 x2287 x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 
3588.27/3600.13	v -x2270 -x2269 -x2268 x2267 x2266 x2265 -x2264 x2263 x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 
3588.27/3600.13	v x2251 x2250 x2249 -x2248 -x2247 -x2246 -x2245 -x2244 x2243 x2242 x2241 -x2240 -x2239 -x2238 -x2237 -x2236 x2235 x2234 x2233 
3588.27/3600.13	v -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 x2215 
3588.27/3600.13	v x2214 -x2213 -x2212 -x2211 -x2210 -x2209 x2208 x2207 x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 
3588.27/3600.13	v -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 x2187 x2186 x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 
3588.27/3600.13	v -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 x2165 x2164 -x2163 -x2162 -x2161 -x2160 
3588.27/3600.13	v x2159 x2158 x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 x2147 x2146 -x2145 -x2144 -x2143 -x2142 
3588.27/3600.13	v -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 x2131 x2130 x2129 -x2128 -x2127 -x2126 x2125 x2124 -x2123 
3588.27/3600.13	v -x2122 -x2121 x2120 x2119 x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 x2106 x2105 
3588.27/3600.13	v -x2104 -x2103 -x2102 -x2101 -x2100 x2099 x2098 x2097 -x2096 -x2095 -x2094 -x2093 -x2092 x2091 x2090 x2089 -x2088 -x2087 -x2086 
3588.27/3600.13	v -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 x2077 x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 
3588.27/3600.13	v -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 x2059 x2058 x2057 -x2056 x2055 x2054 x2053 -x2052 -x2051 -x2050 -x2049 
3588.27/3600.13	v -x2048 -x2047 -x2046 -x2045 -x2044 x2043 x2042 x2041 -x2040 -x2039 -x2038 x2037 x2036 -x2035 -x2034 -x2033 x2032 x2031 -x2030 
3588.27/3600.13	v -x2029 -x2028 -x2027 -x2026 -x2025 x2024 x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 x2013 x2012 
3588.27/3600.13	v -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 x1997 x1996 -x1995 -x1994 
3588.27/3600.13	v -x1993 -x1992 -x1991 -x1990 x1989 x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 x1981 x1980 -x1979 -x1978 -x1977 -x1976 -x1975 
3588.27/3600.13	v -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 x1968 x1967 x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 x1959 x1958 x1957 
3588.27/3600.13	v -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 x1947 x1946 x1945 -x1944 -x1943 -x1942 -x1941 -x1940 x1939 x1938 
3588.27/3600.13	v x1937 -x1936 -x1935 -x1934 -x1933 -x1932 x1931 x1930 x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 
3588.27/3600.13	v x1919 x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 x1907 x1906 x1905 x1904 x1903 x1902 -x1901 
3588.27/3600.13	v -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 x1894 x1893 x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 x1882 
3588.27/3600.13	v x1881 -x1880 x1879 x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 
3588.27/3600.13	v -x1863 -x1862 -x1861 -x1860 x1859 x1858 x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 
3588.27/3600.13	v -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 x1837 x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 x1827 
3588.27/3600.13	v x1826 x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 x1818 x1817 x1816 x1815 x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 
3588.27/3600.13	v -x1807 -x1806 -x1805 -x1804 x1803 x1802 x1801 -x1800 -x1799 x1798 x1797 x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 
3588.27/3600.13	v -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 x1782 x1781 x1780 -x1779 -x1778 -x1777 -x1776 -x1775 x1774 x1773 x1772 -x1771 
3588.27/3600.13	v -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 x1755 x1754 -x1753 
3588.27/3600.13	v -x1752 x1751 x1750 x1749 -x1748 -x1747 -x1746 -x1745 x1744 x1743 x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 
3588.27/3600.13	v -x1733 -x1732 x1731 x1730 x1729 x1728 x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 x1717 x1716 -x1715 
3588.27/3600.13	v -x1714 -x1713 -x1712 -x1711 -x1710 x1709 x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 x1699 x1698 x1697 
3588.27/3600.13	v x1696 x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 x1679 x1678 
3588.27/3600.13	v -x1677 -x1676 -x1675 -x1674 -x1673 x1672 -x1671 x1670 x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 x1661 x1660 
3588.27/3600.13	v -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 x1651 x1650 x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 x1642 x1641 
3588.27/3600.13	v -x1640 x1639 x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 x1626 x1625 -x1624 -x1623 
3588.27/3600.13	v -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 x1613 x1612 -x1611 -x1610 -x1609 -x1608 -x1607 x1606 x1605 x1604 
3588.27/3600.13	v -x1603 -x1602 -x1601 -x1600 x1599 x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 x1587 x1586 
3588.27/3600.13	v -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 x1579 x1578 -x1577 -x1576 -x1575 x1574 x1573 x1572 -x1571 -x1570 -x1569 -x1568 -x1567 
3588.27/3600.13	v -x1566 -x1565 -x1564 -x1563 x1562 x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 x1551 x1550 -x1549 
3588.27/3600.13	v -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 x1538 x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 
3588.27/3600.13	v x1530 x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 x1519 x1518 x1517 -x1516 -x1515 -x1514 -x1513 -x1512 
3588.27/3600.13	v -x1511 -x1510 -x1509 -x1508 -x1507 x1506 x1505 -x1504 x1503 x1502 x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 
3588.27/3600.13	v -x1492 x1491 x1490 x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 x1477 x1476 -x1475 
3588.27/3600.13	v -x1474 -x1473 -x1472 x1471 x1470 x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 x1459 x1458 -x1457 x1456 
3588.27/3600.13	v x1455 x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 x1443 x1442 -x1441 -x1440 -x1439 -x1438 
3588.27/3600.13	v -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 x1427 x1426 x1425 -x1424 x1423 x1422 -x1421 -x1420 -x1419 
3588.27/3600.13	v -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 x1411 x1410 x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 
3588.27/3600.13	v -x1400 -x1399 -x1398 -x1397 -x1396 x1395 x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 
3588.27/3600.13	v -x1382 -x1381 -x1380 x1379 x1378 x1377 -x1376 -x1375 -x1374 -x1373 -x1372 x1371 x1370 x1369 -x1368 -x1367 x1366 x1365 x1364 
3588.27/3600.13	v -x1363 -x1362 -x1361 -x1360 x1359 x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 x1351 x1350 x1349 -x1348 -x1347 -x1346 -x1345 
3588.27/3600.13	v -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 x1327 
3588.27/3600.13	v x1326 x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 
3588.27/3600.13	v -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 x1301 x1300 -x1299 -x1298 -x1297 x1296 -x1295 x1294 x1293 -x1292 -x1291 -x1290 
3588.27/3600.13	v -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 x1283 x1282 x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 x1274 x1273 -x1272 
3588.27/3600.13	v -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 x1261 x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 
3588.27/3600.13	v x1253 x1252 -x1251 -x1250 -x1249 -x1248 x1247 x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 x1235 
3588.27/3600.13	v x1234 -x1233 -x1232 x1231 x1230 x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 x1221 x1220 -x1219 -x1218 -x1217 -x1216 
3588.27/3600.13	v x1215 x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 x1206 x1205 x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 
3588.27/3600.13	v -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 x1189 x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 
3588.27/3600.13	v x1179 x1178 -x1177 x1176 x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 x1166 x1165 x1164 -x1163 -x1162 -x1161 
3588.27/3600.13	v -x1160 -x1159 -x1158 x1157 x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 x1149 x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 
3588.27/3600.13	v -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 
3588.27/3600.13	v x1123 x1122 x1121 -x1120 x1119 x1118 x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 x1109 x1108 -x1107 -x1106 -x1105 
3588.27/3600.13	v -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 x1093 x1092 -x1091 -x1090 -x1089 -x1088 -x1087 
3588.27/3600.13	v -x1086 -x1085 -x1084 x1083 x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 x1075 x1074 -x1073 -x1072 -x1071 -x1070 -x1069 
3588.27/3600.13	v -x1068 x1067 x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 x1051 
3588.27/3600.13	v x1050 x1049 -x1048 -x1047 x1046 x1045 x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 x1034 x1033 -x1032 
3588.27/3600.13	v -x1031 -x1030 x1029 x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 x1019 x1018 x1017 -x1016 -x1015 -x1014 -x1013 
3588.27/3600.13	v -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 x1003 x1002 x1001 x1000 x999 -x998 -x997 -x996 -x995 -x994 
3588.27/3600.13	v -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 x981 x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 
3588.27/3600.13	v -x972 x971 x970 x969 -x968 -x967 -x966 x965 x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 
3588.27/3600.13	v -x950 x949 x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 x939 x938 x937 -x936 -x935 x934 x933 x932 -x931 -x930 -x929 
3588.27/3600.13	v -x928 -x927 x926 x925 x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 x915 x914 x913 -x912 x911 x910 x909 -x908 -x907 -x906 
3588.27/3600.13	v -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 x895 x894 x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 
3588.27/3600.13	v -x884 x883 x882 x881 -x880 -x879 -x878 -x877 -x876 x875 x874 x873 x872 -x871 x870 x869 -x868 -x867 -x866 -x865 x864 x863 -x862 
3588.27/3600.13	v -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 x843 x842 x841 
3588.27/3600.13	v -x840 -x839 x838 x837 x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 x821 x820 -x819 
3588.27/3600.13	v -x818 -x817 -x816 -x815 -x814 x813 x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 x802 x801 -x800 -x799 -x798 
3588.27/3600.13	v -x797 -x796 x795 x794 x793 -x792 -x791 -x790 -x789 -x788 x787 x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 
3588.27/3600.13	v -x775 -x774 x773 x772 -x771 -x770 -x769 x768 x767 x766 -x765 -x764 -x763 -x762 -x761 x760 x759 x758 -x757 -x756 -x755 -x754 
3588.27/3600.13	v -x753 -x752 -x751 x750 x749 x748 -x747 -x746 -x745 -x744 -x743 x742 x741 x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 
3588.27/3600.13	v x731 x730 x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 x720 x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 
3588.27/3600.13	v -x710 x709 x708 -x707 -x706 -x705 -x704 -x703 -x702 x701 x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 
3588.27/3600.13	v -x688 -x687 -x686 -x685 -x684 -x683 x682 x681 -x680 -x679 -x678 x677 x676 -x675 -x674 -x673 x672 x671 -x670 -x669 -x668 -x667 
3588.27/3600.13	v -x666 -x665 x664 x663 x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 x654 x653 x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 
3588.34/3600.23	v -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 x635 x634 -x633 -x632 -x631 -x630 x629 x628 -x627 -x626 -x625 -x624 
3588.34/3600.23	v -x623 -x622 x621 x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 x611 x610 x609 x608 x607 x606 -x605 -x604 -x603 -x602 
3588.34/3600.23	v -x601 -x600 -x599 -x598 -x597 -x596 x595 x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 
3588.34/3600.23	v -x580 x579 x578 -x577 -x576 -x575 -x574 x573 x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 x563 x562 x561 -x560 -x559 
3588.34/3600.23	v -x558 -x557 -x556 -x555 x554 x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 x544 x543 x542 -x541 -x540 -x539 -x538 -x537 
3588.34/3600.23	v -x536 x535 x534 x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 x520 x519 x518 -x517 -x516 -x515 
3588.34/3600.23	v -x514 -x513 -x512 -x511 -x510 -x509 -x508 x507 x506 -x505 -x504 -x503 -x502 -x501 -x500 x499 x498 x497 -x496 -x495 -x494 -x493 
3588.34/3600.23	v -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 x482 x481 -x480 -x479 -x478 -x477 -x476 -x475 x474 x473 -x472 
3588.34/3600.23	v -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 x459 x458 x457 -x456 -x455 -x454 -x453 -x452 -x451 
3588.34/3600.23	v -x450 -x449 x448 -x447 x446 x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 
3588.34/3600.23	v -x428 -x427 x426 x425 -x424 -x423 -x422 x421 x420 -x419 -x418 -x417 -x416 -x415 -x414 x413 x412 -x411 -x410 -x409 -x408 x407 
3588.34/3600.23	v x406 x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 x395 x394 x393 -x392 -x391 x390 x389 x388 -x387 -x386 -x385 
3588.34/3600.23	v -x384 -x383 x382 x381 x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 x365 x364 -x363 
3588.34/3600.23	v -x362 -x361 x360 x359 x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 
3588.34/3600.23	v x341 x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 x330 x329 -x328 -x327 x326 x325 -x324 -x323 -x322 -x321 -x320 
3588.34/3600.23	v -x319 -x318 -x317 -x316 -x315 x314 x313 -x312 -x311 -x310 -x309 -x308 x307 x306 -x305 -x304 -x303 -x302 -x301 -x300 x299 
3588.34/3600.23	v x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 x283 x282 x281 -x280 x279 x278 -x277 
3588.34/3600.23	v -x276 -x275 -x274 -x273 -x272 x271 x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 x261 x260 -x259 -x258 -x257 x256 x255 
3588.34/3600.23	v x254 -x253 -x252 -x251 -x250 -x249 -x248 x247 x246 x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 x234 x233 
3588.34/3600.23	v -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 x219 x218 x217 -x216 -x215 -x214 -x213 -x212 
3588.34/3600.23	v x211 x210 -x209 -x208 -x207 -x206 x205 x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 
3588.34/3600.23	v -x189 -x188 x187 x186 x185 -x184 -x183 -x182 x181 x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 x171 x170 x169 x168 
3588.34/3600.23	v x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 x154 -x153 x152 -x151 x150 x149 -x148 -x147 -x146 
3588.34/3600.23	v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 x134 x133 x132 -x131 -x130 -x129 -x128 x127 x126 -x125 -x124 
3588.34/3600.23	v -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 x105 -x104 -x103 
3588.34/3600.23	v -x102 -x101 -x100 -x99 x98 x97 -x96 -x95 -x94 x93 x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 x84 -x83 -x82 -x81 -x80 -x79 -x78 
3588.34/3600.23	v -x77 -x76 x75 x74 -x73 -x72 -x71 -x70 x69 x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 x53 x52 
3588.34/3600.23	v -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 x37 x36 -x35 -x34 -x33 -x32 -x31 -x30 x29 x28 -x27 -x26 
3588.34/3600.23	v -x25 x24 x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 x10 x9 -x8 -x7 -x6 x5 x4 -x3 -x2 -x1 x7868 x7867 x7866 
3588.34/3600.23	v x7865 x7864 x7863 x7862 -x7861 -x7860 x7859 x7858 x7857 x7856 x7840 x7839 x7838 x7837 x7836 x7835 x7834 -x7833 -x7832 x7831 
3588.34/3600.23	v x7830 x7829 x7828 

Verifier Data

OK	167

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

Current StackSize limit: 8192 KiB

solver pid=874134, runsolver pid=874122

[startup+0.100095 s]*
/proc/loadavg: 1.14 1.15 1.71 9/250 874142
/proc/meminfo: memFree=124710628/131655788 swapFree=131071996/131071996
[pid=874134] ppid=874122 vsize=43604 memory=32308 CPUtime=0.11 cores=0,2
/proc/874134/stat : 874134 (fscip) R 874122 874134 874063 0 -1 4194304 5960 0 0 0 9 2 0 0 20 0 1 0 168700962 44650496 8077 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
/proc/874134/statm: 10901 8077 2318 3032 0 7301 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 43604 KiB
Current children cumulated memory: 32308 KiB

[startup+0.215811 s]*
/proc/loadavg: 1.14 1.15 1.71 4/240 874158
/proc/meminfo: memFree=124670544/131655788 swapFree=131071996/131071996
[pid=874134] ppid=874122 vsize=67540 memory=57388 CPUtime=0.22 cores=0,2
/proc/874134/stat : 874134 (fscip) R 874122 874134 874063 0 -1 4194304 12182 0 0 0 18 4 0 0 20 0 1 0 168700962 69160960 14347 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
/proc/874134/statm: 17141 14347 2558 3032 0 13541 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 67540 KiB
Current children cumulated memory: 57388 KiB

[startup+0.314507 s]*
/proc/loadavg: 1.14 1.15 1.71 3/244 874170
/proc/meminfo: memFree=124625256/131655788 swapFree=131071996/131071996
[pid=874134] ppid=874122 vsize=90668 memory=78220 CPUtime=0.31 cores=0,2
/proc/874134/stat : 874134 (fscip) R 874122 874134 874063 0 -1 4194304 17309 0 0 0 25 6 0 0 20 0 1 0 168700962 92844032 19555 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
/proc/874134/statm: 22667 19555 2622 3032 0 19067 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 90668 KiB
Current children cumulated memory: 78220 KiB

[startup+0.700364 s]
/proc/loadavg: 1.14 1.15 1.71 7/239 874211
/proc/meminfo: memFree=124644016/131655788 swapFree=131071996/131071996
[pid=874134] ppid=874122 vsize=107856 memory=95972 CPUtime=0.69 cores=0,2
/proc/874134/stat : 874134 (fscip) R 874122 874134 874063 0 -1 4194304 26045 0 0 0 59 10 0 0 20 0 1 0 168700962 110444544 23993 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
/proc/874134/statm: 26964 23993 2702 3032 0 23364 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 107856 KiB
Current children cumulated memory: 95972 KiB

[startup+1.50035 s]
/proc/loadavg: 1.14 1.15 1.71 6/246 874264
/proc/meminfo: memFree=124568064/131655788 swapFree=131071996/131071996
[pid=874134] ppid=874122 vsize=120444 memory=107996 CPUtime=1.48 cores=0,2
/proc/874134/stat : 874134 (fscip) R 874122 874134 874063 0 -1 4194304 29775 0 0 0 137 11 0 0 20 0 1 0 168700962 123334656 26999 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
/proc/874134/statm: 30111 26999 2750 3032 0 26511 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 120444 KiB
Current children cumulated memory: 107996 KiB

[startup+3.11324 s]
/proc/loadavg: 1.37 1.19 1.72 4/246 874520
/proc/meminfo: memFree=124560404/131655788 swapFree=131071996/131071996
[pid=874134] ppid=874122 vsize=123172 memory=110900 CPUtime=3.09 cores=0,2
/proc/874134/stat : 874134 (fscip) R 874122 874134 874063 0 -1 4194304 30457 0 0 0 298 11 0 0 20 0 1 0 168700962 126128128 27725 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
/proc/874134/statm: 30793 27725 2750 3032 0 27193 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 123172 KiB
Current children cumulated memory: 110900 KiB

[startup+6.30038 s]
/proc/loadavg: 1.37 1.19 1.72 6/256 874666
/proc/meminfo: memFree=123721616/131655788 swapFree=131071996/131071996
[pid=874134] ppid=874122 vsize=361404 memory=273548 CPUtime=6.26 cores=0,2
/proc/874134/stat : 874134 (fscip) S 874122 874134 874063 0 -1 1077936128 88149 0 0 0 603 23 0 0 20 0 3 0 168700962 370077696 68387 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
/proc/874134/statm: 90351 68387 2798 3032 0 78978 0
[pid=874134/tid=874595] ppid=874122 vsize=361404 memory=198340509722 CPUtime=2.65 cores=0,2
/proc/874134/task/874595/stat : 874595 (fscip) R 874122 874134 874063 0 -1 4194368 35871 0 0 0 257 8 0 0 20 0 3 0 168701319 370077696 68387 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
[pid=874134/tid=874618] ppid=874122 vsize=361404 memory=12740 CPUtime=0 cores=0,2
/proc/874134/task/874618/stat : 874618 (fscip) S 874122 874134 874063 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 168701334 370077696 68387 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 361404 KiB
Current children cumulated memory: 273548 KiB

[startup+12.7004 s]
/proc/loadavg: 1.74 1.27 1.74 6/256 874668
/proc/meminfo: memFree=123262020/131655788 swapFree=131071996/131071996
[pid=874134] ppid=874122 vsize=426940 memory=323144 CPUtime=12.63 cores=0,2
/proc/874134/stat : 874134 (fscip) S 874122 874134 874063 0 -1 1077936128 112927 0 0 0 1237 26 0 0 20 0 3 0 168700962 437186560 80786 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
/proc/874134/statm: 106735 80786 2910 3032 0 91574 0
[pid=874134/tid=874595] ppid=874122 vsize=426940 memory=110900 CPUtime=9.03 cores=0,2
/proc/874134/task/874595/stat : 874595 (fscip) R 874122 874134 874063 0 -1 4194368 60635 0 0 0 892 11 0 0 20 0 3 0 168701319 437186560 80786 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
[pid=874134/tid=874618] ppid=874122 vsize=426940 memory=5624 CPUtime=0 cores=0,2
/proc/874134/task/874618/stat : 874618 (fscip) S 874122 874134 874063 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 3 0 168701334 437186560 80786 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 426940 KiB
Current children cumulated memory: 323144 KiB

[startup+25.5004 s]
/proc/loadavg: 2.46 1.46 1.80 6/254 874669
/proc/meminfo: memFree=123254352/131655788 swapFree=131071996/131071996
[pid=874134] ppid=874122 vsize=426940 memory=324568 CPUtime=25.4 cores=0,2
/proc/874134/stat : 874134 (fscip) S 874122 874134 874063 0 -1 1077936128 137210 0 0 0 2512 28 0 0 20 0 3 0 168700962 437186560 81142 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
/proc/874134/statm: 106735 81142 2910 3032 0 91671 0
[pid=874134/tid=874595] ppid=874122 vsize=426940 memory=324568 CPUtime=21.79 cores=0,2
/proc/874134/task/874595/stat : 874595 (fscip) R 874122 874134 874063 0 -1 4194368 84902 0 0 0 2166 13 0 0 20 0 3 0 168701319 437186560 81142 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
[pid=874134/tid=874618] ppid=874122 vsize=426940 memory=324560 CPUtime=0 cores=0,2
/proc/874134/task/874618/stat : 874618 (fscip) S 874122 874134 874063 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 168701334 437186560 81142 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 426940 KiB
Current children cumulated memory: 324568 KiB

[startup+51.1133 s]
/proc/loadavg: 3.46 1.78 1.89 6/256 874676
/proc/meminfo: memFree=122718596/131655788 swapFree=131071996/131071996
[pid=874134] ppid=874122 vsize=443672 memory=364068 CPUtime=50.92 cores=0,2
/proc/874134/stat : 874134 (fscip) S 874122 874134 874063 0 -1 1077936128 187957 0 0 0 5060 32 0 0 20 0 3 0 168700962 454320128 91017 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
/proc/874134/statm: 110918 91017 2926 3032 0 102144 0
[pid=874134/tid=874595] ppid=874122 vsize=443672 memory=361988 CPUtime=47.3 cores=0,2
/proc/874134/task/874595/stat : 874595 (fscip) R 874122 874134 874063 0 -1 4194368 135636 0 0 0 4714 16 0 0 20 0 3 0 168701319 454320128 91017 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
[pid=874134/tid=874618] ppid=874122 vsize=443672 memory=43124 CPUtime=0 cores=0,2
/proc/874134/task/874618/stat : 874618 (fscip) S 874122 874134 874063 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 3 0 168701334 454320128 91017 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 443672 KiB
Current children cumulated memory: 364068 KiB

[startup+102.3 s]
/proc/loadavg: 3.95 2.18 2.03 6/256 874684
/proc/meminfo: memFree=122123720/131655788 swapFree=131071996/131071996
[pid=874134] ppid=874122 vsize=509208 memory=396928 CPUtime=101.92 cores=0,2
/proc/874134/stat : 874134 (fscip) S 874122 874134 874063 0 -1 1077936128 248099 0 0 0 10155 37 0 0 20 0 3 0 168700962 521428992 99232 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
/proc/874134/statm: 127302 99232 2926 3032 0 114520 0
[pid=874134/tid=874595] ppid=874122 vsize=509208 memory=396928 CPUtime=98.31 cores=0,2
/proc/874134/task/874595/stat : 874595 (fscip) R 874122 874134 874063 0 -1 4194368 195763 0 0 0 9810 21 0 0 20 0 3 0 168701319 521428992 99232 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
[pid=874134/tid=874618] ppid=874122 vsize=509208 memory=396928 CPUtime=0 cores=0,2
/proc/874134/task/874618/stat : 874618 (fscip) S 874122 874134 874063 0 -1 1077936192 66 0 0 0 0 0 0 0 20 0 3 0 168701334 521428992 99232 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 509208 KiB
Current children cumulated memory: 396928 KiB

[startup+162.3 s]
/proc/loadavg: 4.02 2.53 2.16 6/256 874696
/proc/meminfo: memFree=122046656/131655788 swapFree=131071996/131071996
[pid=874134] ppid=874122 vsize=509208 memory=405744 CPUtime=161.7 cores=0,2
/proc/874134/stat : 874134 (fscip) S 874122 874134 874063 0 -1 1077936128 265690 0 0 0 16132 38 0 0 20 0 3 0 168700962 521428992 101436 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
/proc/874134/statm: 127302 101436 2926 3032 0 114520 0
[pid=874134/tid=874595] ppid=874122 vsize=509208 memory=12740 CPUtime=158.09 cores=0,2
/proc/874134/task/874595/stat : 874595 (fscip) R 874122 874134 874063 0 -1 4194368 213343 0 0 0 15787 22 0 0 20 0 3 0 168701319 521428992 101436 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
[pid=874134/tid=874618] ppid=874122 vsize=509208 memory=405744 CPUtime=0 cores=0,2
/proc/874134/task/874618/stat : 874618 (fscip) S 874122 874134 874063 0 -1 1077936192 77 0 0 0 0 0 0 0 20 0 3 0 168701334 521428992 101436 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 509208 KiB
Current children cumulated memory: 405744 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 2.83 2.29 6/254 874706
/proc/meminfo: memFree=121970408/131655788 swapFree=131071996/131071996
[pid=874134] ppid=874122 vsize=509208 memory=422116 CPUtime=221.48 cores=0,2
/proc/874134/stat : 874134 (fscip) S 874122 874134 874063 0 -1 1077936128 269625 0 0 0 22110 38 0 0 20 0 3 0 168700962 521428992 105529 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
/proc/874134/statm: 127302 105529 2926 3032 0 114520 0
[pid=874134/tid=874595] ppid=874122 vsize=509208 memory=43124 CPUtime=217.87 cores=0,2
/proc/874134/task/874595/stat : 874595 (fscip) R 874122 874134 874063 0 -1 4194368 217273 0 0 0 21764 23 0 0 20 0 3 0 168701319 521428992 105529 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
[pid=874134/tid=874618] ppid=874122 vsize=509208 memory=422116 CPUtime=0 cores=0,2
/proc/874134/task/874618/stat : 874618 (fscip) S 874122 874134 874063 0 -1 1077936192 82 0 0 0 0 0 0 0 20 0 3 0 168701334 521428992 105529 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 509208 KiB
Current children cumulated memory: 422116 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 3.07 2.41 6/254 874717
/proc/meminfo: memFree=121810216/131655788 swapFree=131071996/131071996
[pid=874134] ppid=874122 vsize=574744 memory=499532 CPUtime=281.28 cores=0,2
/proc/874134/stat : 874134 (fscip) S 874122 874134 874063 0 -1 1077936128 287223 0 0 0 28088 40 0 0 20 0 3 0 168700962 588537856 124883 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
/proc/874134/statm: 143686 124883 2942 3032 0 132793 0
[pid=874134/tid=874595] ppid=874122 vsize=574744 memory=422116 CPUtime=277.67 cores=0,2
/proc/874134/task/874595/stat : 874595 (fscip) R 874122 874134 874063 0 -1 4194368 234868 0 0 0 27742 25 0 0 20 0 3 0 168701319 588537856 124883 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0

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

/proc/loadavg: 4.19 4.14 4.08 6/251 876767
/proc/meminfo: memFree=120147864/131655788 swapFree=131071996/131071996
[pid=874134] ppid=874122 vsize=705816 memory=592956 CPUtime=3391.11 cores=0,2
/proc/874134/stat : 874134 (fscip) S 874122 874134 874063 0 -1 1077936128 404220 0 0 0 339053 58 0 0 20 0 3 0 168700962 722755584 148239 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
/proc/874134/statm: 176454 148239 2990 3032 0 159099 0
[pid=874134/tid=874595] ppid=874122 vsize=705816 memory=11936 CPUtime=3387.4 cores=0,2
/proc/874134/task/874595/stat : 874595 (fscip) R 874122 874134 874063 0 -1 4194368 350877 0 0 0 338703 37 0 0 20 0 3 0 168701319 722755584 148239 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
[pid=874134/tid=874618] ppid=874122 vsize=705816 memory=592956 CPUtime=0.06 cores=0,2
/proc/874134/task/874618/stat : 874618 (fscip) S 874122 874134 874063 0 -1 1077936192 308 0 0 0 1 5 0 0 20 0 3 0 168701334 722755584 148239 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
Current children cumulated CPU time: 3391.11 s
Current children cumulated vsize: 705816 KiB
Current children cumulated memory: 592956 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.13 4.08 6/251 876777
/proc/meminfo: memFree=120140124/131655788 swapFree=131071996/131071996
[pid=874134] ppid=874122 vsize=705816 memory=593008 CPUtime=3450.91 cores=0,2
/proc/874134/stat : 874134 (fscip) S 874122 874134 874063 0 -1 1077936128 405745 0 0 0 345032 59 0 0 20 0 3 0 168700962 722755584 148252 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
/proc/874134/statm: 176454 148252 2990 3032 0 159099 0
[pid=874134/tid=874595] ppid=874122 vsize=705816 memory=12740 CPUtime=3447.19 cores=0,2
/proc/874134/task/874595/stat : 874595 (fscip) R 874122 874134 874063 0 -1 4194368 352388 0 0 0 344682 37 0 0 20 0 3 0 168701319 722755584 148252 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
[pid=874134/tid=874618] ppid=874122 vsize=705816 memory=43124 CPUtime=0.06 cores=0,2
/proc/874134/task/874618/stat : 874618 (fscip) S 874122 874134 874063 0 -1 1077936192 310 0 0 0 1 5 0 0 20 0 3 0 168701334 722755584 148252 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
Current children cumulated CPU time: 3450.91 s
Current children cumulated vsize: 705816 KiB
Current children cumulated memory: 593008 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.13 4.09 6/251 876956
/proc/meminfo: memFree=120123392/131655788 swapFree=131071996/131071996
[pid=874134] ppid=874122 vsize=705816 memory=593040 CPUtime=3510.7 cores=0,2
/proc/874134/stat : 874134 (fscip) S 874122 874134 874063 0 -1 1077936128 407707 0 0 0 351011 59 0 0 20 0 3 0 168700962 722755584 148260 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
/proc/874134/statm: 176454 148260 2990 3032 0 159099 0
[pid=874134/tid=874595] ppid=874122 vsize=705816 memory=12740 CPUtime=3506.98 cores=0,2
/proc/874134/task/874595/stat : 874595 (fscip) R 874122 874134 874063 0 -1 4194368 354331 0 0 0 350661 37 0 0 20 0 3 0 168701319 722755584 148260 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
[pid=874134/tid=874618] ppid=874122 vsize=705816 memory=593032 CPUtime=0.06 cores=0,2
/proc/874134/task/874618/stat : 874618 (fscip) S 874122 874134 874063 0 -1 1077936192 314 0 0 0 1 5 0 0 20 0 3 0 168701334 722755584 148260 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
Current children cumulated CPU time: 3510.7 s
Current children cumulated vsize: 705816 KiB
Current children cumulated memory: 593040 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.14 4.09 6/251 876966
/proc/meminfo: memFree=120120200/131655788 swapFree=131071996/131071996
[pid=874134] ppid=874122 vsize=705816 memory=594100 CPUtime=3570.51 cores=0,2
/proc/874134/stat : 874134 (fscip) S 874122 874134 874063 0 -1 1077936128 420855 0 0 0 356990 61 0 0 20 0 3 0 168700962 722755584 148525 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
/proc/874134/statm: 176454 148525 2990 3032 0 159099 0
[pid=874134/tid=874595] ppid=874122 vsize=705816 memory=594100 CPUtime=3566.78 cores=0,2
/proc/874134/task/874595/stat : 874595 (fscip) R 874122 874134 874063 0 -1 4194368 367455 0 0 0 356640 38 0 0 20 0 3 0 168701319 722755584 148525 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
[pid=874134/tid=874618] ppid=874122 vsize=705816 memory=43124 CPUtime=0.06 cores=0,2
/proc/874134/task/874618/stat : 874618 (fscip) S 874122 874134 874063 0 -1 1077936192 318 0 0 0 1 5 0 0 20 0 3 0 168701334 722755584 148525 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
Current children cumulated CPU time: 3570.51 s
Current children cumulated vsize: 705816 KiB
Current children cumulated memory: 594100 KiB

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

# cumulated CPU time of all completed processes:  user=3587.76 s, system=0.638367 s

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

[startup+3584 s]*
/proc/loadavg: 4.12 4.14 4.09 6/251 876966
/proc/meminfo: memFree=120120192/131655788 swapFree=131071996/131071996
[pid=874134] ppid=874122 vsize=705816 memory=594100 CPUtime=3572.21 cores=0,2
/proc/874134/stat : 874134 (fscip) S 874122 874134 874063 0 -1 1077936128 420989 0 0 0 357160 61 0 0 20 0 3 0 168700962 722755584 148525 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
/proc/874134/statm: 176454 148525 2990 3032 0 159099 0
[pid=874134/tid=874595] ppid=874122 vsize=705816 memory=-6297272971998444394 CPUtime=3568.48 cores=0,2
/proc/874134/task/874595/stat : 874595 (fscip) R 874122 874134 874063 0 -1 4194368 367586 0 0 0 356810 38 0 0 20 0 3 0 168701319 722755584 148525 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
[pid=874134/tid=874618] ppid=874122 vsize=705816 memory=-7304688678610297465 CPUtime=0.06 cores=0,2
/proc/874134/task/874618/stat : 874618 (fscip) S 874122 874134 874063 0 -1 1077936192 318 0 0 0 1 5 0 0 20 0 3 0 168701334 722755584 148525 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
Current children cumulated CPU time: 3572.21 s
Current children cumulated vsize: 705816 KiB
Current children cumulated memory: 594100 KiB

[startup+3590.4 s]
/proc/loadavg: 4.11 4.13 4.09 6/251 876968
/proc/meminfo: memFree=120118688/131655788 swapFree=131071996/131071996
[pid=874134] ppid=874122 vsize=705816 memory=594100 CPUtime=3578.58 cores=0,2
/proc/874134/stat : 874134 (fscip) S 874122 874134 874063 0 -1 1077936128 421485 0 0 0 357797 61 0 0 20 0 3 0 168700962 722755584 148525 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
/proc/874134/statm: 176454 148525 2990 3032 0 159099 0
[pid=874134/tid=874595] ppid=874122 vsize=705816 memory=594100 CPUtime=3574.85 cores=0,2
/proc/874134/task/874595/stat : 874595 (fscip) R 874122 874134 874063 0 -1 4194368 368082 0 0 0 357447 38 0 0 20 0 3 0 168701319 722755584 148525 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
[pid=874134/tid=874618] ppid=874122 vsize=705816 memory=5624 CPUtime=0.06 cores=0,2
/proc/874134/task/874618/stat : 874618 (fscip) S 874122 874134 874063 0 -1 1077936192 318 0 0 0 1 5 0 0 20 0 3 0 168701334 722755584 148525 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
Current children cumulated CPU time: 3578.58 s
Current children cumulated vsize: 705816 KiB
Current children cumulated memory: 594100 KiB

[startup+3596.8 s]
/proc/loadavg: 4.10 4.13 4.09 6/253 877026
/proc/meminfo: memFree=120116080/131655788 swapFree=131071996/131071996
[pid=874134] ppid=874122 vsize=705816 memory=594100 CPUtime=3584.96 cores=0,2
/proc/874134/stat : 874134 (fscip) S 874122 874134 874063 0 -1 1077936128 421500 0 0 0 358435 61 0 0 20 0 3 0 168700962 722755584 148525 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
/proc/874134/statm: 176454 148525 2990 3032 0 159099 0
[pid=874134/tid=874595] ppid=874122 vsize=705816 memory=12740 CPUtime=3581.23 cores=0,2
/proc/874134/task/874595/stat : 874595 (fscip) R 874122 874134 874063 0 -1 4194368 368097 0 0 0 358085 38 0 0 20 0 3 0 168701319 722755584 148525 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
[pid=874134/tid=874618] ppid=874122 vsize=705816 memory=12740 CPUtime=0.06 cores=0,2
/proc/874134/task/874618/stat : 874618 (fscip) S 874122 874134 874063 0 -1 1077936192 318 0 0 0 1 5 0 0 20 0 3 0 168701334 722755584 148525 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
Current children cumulated CPU time: 3584.96 s
Current children cumulated vsize: 705816 KiB
Current children cumulated memory: 594100 KiB

[startup+3598.4 s]
/proc/loadavg: 4.10 4.13 4.09 6/253 877027
/proc/meminfo: memFree=120116612/131655788 swapFree=131071996/131071996
[pid=874134] ppid=874122 vsize=705816 memory=594100 CPUtime=3586.55 cores=0,2
/proc/874134/stat : 874134 (fscip) S 874122 874134 874063 0 -1 1077936128 421595 0 0 0 358594 61 0 0 20 0 3 0 168700962 722755584 148525 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
/proc/874134/statm: 176454 148525 2990 3032 0 159099 0
[pid=874134/tid=874595] ppid=874122 vsize=705816 memory=1245856 CPUtime=3582.82 cores=0,2
/proc/874134/task/874595/stat : 874595 (fscip) R 874122 874134 874063 0 -1 4194368 368191 0 0 0 358244 38 0 0 20 0 3 0 168701319 722755584 148525 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
[pid=874134/tid=874618] ppid=874122 vsize=705816 memory=6720662138580648300 CPUtime=0.06 cores=0,2
/proc/874134/task/874618/stat : 874618 (fscip) S 874122 874134 874063 0 -1 1077936192 319 0 0 0 1 5 0 0 20 0 3 0 168701334 722755584 148525 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
Current children cumulated CPU time: 3586.55 s
Current children cumulated vsize: 705816 KiB
Current children cumulated memory: 594100 KiB

[startup+3599.2 s]
/proc/loadavg: 4.09 4.13 4.09 6/253 877027
/proc/meminfo: memFree=120116676/131655788 swapFree=131071996/131071996
[pid=874134] ppid=874122 vsize=705816 memory=594100 CPUtime=3587.35 cores=0,2
/proc/874134/stat : 874134 (fscip) S 874122 874134 874063 0 -1 1077936128 421595 0 0 0 358674 61 0 0 20 0 3 0 168700962 722755584 148525 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
/proc/874134/statm: 176454 148525 2990 3032 0 159099 0
[pid=874134/tid=874595] ppid=874122 vsize=705816 memory=2268 CPUtime=3583.62 cores=0,2
/proc/874134/task/874595/stat : 874595 (fscip) R 874122 874134 874063 0 -1 4194368 368191 0 0 0 358324 38 0 0 20 0 3 0 168701319 722755584 148525 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
[pid=874134/tid=874618] ppid=874122 vsize=705816 memory=594100 CPUtime=0.06 cores=0,2
/proc/874134/task/874618/stat : 874618 (fscip) S 874122 874134 874063 0 -1 1077936192 319 0 0 0 1 5 0 0 20 0 3 0 168701334 722755584 148525 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
Current children cumulated CPU time: 3587.35 s
Current children cumulated vsize: 705816 KiB
Current children cumulated memory: 594100 KiB

[startup+3600 s]*
/proc/loadavg: 4.09 4.13 4.09 6/253 877027
/proc/meminfo: memFree=120115668/131655788 swapFree=131071996/131071996
[pid=874134] ppid=874122 vsize=689084 memory=577368 CPUtime=3588.16 cores=0,2
/proc/874134/stat : 874134 (fscip) S 874122 874134 874063 0 -1 1077936128 421919 0 0 0 358755 61 0 0 20 0 3 0 168700962 705622016 144342 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
/proc/874134/statm: 172271 144342 2990 3032 0 154916 0
[pid=874134/tid=874595] ppid=874122 vsize=689084 memory=41560 CPUtime=3584.43 cores=0,2
/proc/874134/task/874595/stat : 874595 (fscip) R 874122 874134 874063 0 -1 4194368 368514 0 0 0 358405 38 0 0 20 0 3 0 168701319 705622016 144342 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
[pid=874134/tid=874618] ppid=874122 vsize=689084 memory=-8621784580799577753 CPUtime=0.06 cores=0,2
/proc/874134/task/874618/stat : 874618 (fscip) S 874122 874134 874063 0 -1 1077936192 319 0 0 0 1 5 0 0 20 0 3 0 168701334 705622016 144342 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
Current children cumulated CPU time: 3588.16 s
Current children cumulated vsize: 689084 KiB
Current children cumulated memory: 577368 KiB

[startup+3600.2 s]
/proc/loadavg: 4.09 4.13 4.09 6/253 877027
/proc/meminfo: memFree=120115668/131655788 swapFree=131071996/131071996
[pid=874134] ppid=874122 vsize=750640 memory=572588 CPUtime=3588.34 cores=0,2
/proc/874134/stat : 874134 (fscip) R 874122 874134 874063 0 -1 4194304 425465 0 0 0 358773 61 0 0 20 0 1 0 168700962 768655360 143147 134679101440 4194304 16613245 140726518506096 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29040640 140726518514709 140726518514825 140726518514825 140726518521840 0
/proc/874134/statm: 187660 143147 2990 3032 0 153954 0
Current children cumulated CPU time: 3588.34 s
Current children cumulated vsize: 750640 KiB
Current children cumulated memory: 572588 KiB

Child status: 0

Real time (s): 3600.25
CPU time (s): 3588.4
CPU user time (s): 3587.76
CPU system time (s): 0.638367
CPU usage (%): 99.6709
Max. virtual memory (cumulated for all children) (KiB): 754620
Max. memory (cumulated for all children) (KiB): 594100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.76
system time used= 0.638367
maximum resident set size= 594100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 426117
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= 4607
involuntary context switches= 25113


# summary of solver processes directly reported to runsolver:
#   pid: 874134
#   total CPU time (s): 3588.4
#   total CPU user time (s): 3587.76
#   total CPU system time (s): 0.638367

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7864 second user time and 36.4879 second system time

The end

Launcher Data

Begin job on nodeC005 at 2024-07-16 23:30:33
IDJOB=4434933
IDBENCH=158398
IDSOLVER=3064
FILE ID=nodeC005/4434933-1721165421
RUNJOBID= nodeC005-1721165433-874073
SLURM_JOB_ID= 7505788
Free space on /tmp= 723772 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-oct5.5.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-4434933-1721165421/watcher-4434933-1721165421 -o /tmp/evaluation-result-4434933-1721165421/solver-4434933-1721165421 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721165433-874073 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4434933-1721165421.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 26f8151eeea3bfac35ea53df0172ab44
RANDOM SEED=231908085

nodeC005.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.189
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.53
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.35
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.178
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.53
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.181
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.35
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.179
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.53
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		: 1314.763
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.35
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		: 1257.523
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.53
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		: 1257.866
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.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        124763412 kB
MemAvailable:   129880656 kB
Buffers:          414916 kB
Cached:          5481644 kB
SwapCached:            0 kB
Active:           832888 kB
Inactive:        5384372 kB
Active(anon):       3332 kB
Inactive(anon):   355720 kB
Active(file):     829556 kB
Inactive(file):  5028652 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            114012 kB
Writeback:             0 kB
AnonPages:        320428 kB
Mapped:           105680 kB
Shmem:             37704 kB
KReclaimable:     198472 kB
Slab:             312148 kB
SReclaimable:     198472 kB
SUnreclaim:       113676 kB
KernelStack:        3808 kB
PageTables:         9588 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     757820 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            54272 kB
HardwareCorrupted:     0 kB
AnonHugePages:    196608 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:      285512 kB
DirectMap2M:    36319232 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 723660 MiB
End job on nodeC005 at 2024-07-17 00:30:34