Trace number 4464263

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-30SAT167 3588.49 3598.51

General information on the benchmark

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

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100095 s]*
/proc/loadavg: 4.13 4.12 4.11 5/261 39557
/proc/meminfo: memFree=98659076/131524600 swapFree=131071996/131071996
[pid=39556] ppid=39553 vsize=82488 memory=71904 CPUtime=0.1 cores=1,3
/proc/39556/stat : 39556 (fscip) R 39553 39556 35189 0 -1 4194304 15718 0 0 0 8 2 0 0 20 0 1 0 5181406 84467712 17976 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
/proc/39556/statm: 20622 17976 2555 3035 0 17018 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 82488 KiB
Current children cumulated memory: 71904 KiB

[startup+0.205646 s]*
/proc/loadavg: 4.13 4.12 4.11 5/261 39557
/proc/meminfo: memFree=98627996/131524600 swapFree=131071996/131071996
[pid=39556] ppid=39553 vsize=110488 memory=98236 CPUtime=0.2 cores=1,3
/proc/39556/stat : 39556 (fscip) R 39553 39556 35189 0 -1 4194304 24510 0 0 0 17 3 0 0 20 0 1 0 5181406 113139712 24559 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
/proc/39556/statm: 27622 24559 2694 3035 0 24018 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 110488 KiB
Current children cumulated memory: 98236 KiB

[startup+0.305573 s]*
/proc/loadavg: 4.13 4.12 4.11 5/261 39557
/proc/meminfo: memFree=98625924/131524600 swapFree=131071996/131071996
[pid=39556] ppid=39553 vsize=112076 memory=100276 CPUtime=0.3 cores=1,3
/proc/39556/stat : 39556 (fscip) R 39553 39556 35189 0 -1 4194304 26818 0 0 0 26 4 0 0 20 0 1 0 5181406 114765824 25069 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
/proc/39556/statm: 28019 25069 2726 3035 0 24415 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 112076 KiB
Current children cumulated memory: 100276 KiB

[startup+0.700203 s]
/proc/loadavg: 4.13 4.12 4.11 5/261 39557
/proc/meminfo: memFree=98623964/131524600 swapFree=131071996/131071996
[pid=39556] ppid=39553 vsize=115756 memory=102932 CPUtime=0.69 cores=1,3
/proc/39556/stat : 39556 (fscip) R 39553 39556 35189 0 -1 4194304 28438 0 0 0 65 4 0 0 20 0 1 0 5181406 118534144 25733 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
/proc/39556/statm: 28939 25733 2774 3035 0 25335 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 115756 KiB
Current children cumulated memory: 102932 KiB

[startup+1.5002 s]
/proc/loadavg: 4.13 4.12 4.11 5/261 39557
/proc/meminfo: memFree=98623000/131524600 swapFree=131071996/131071996
[pid=39556] ppid=39553 vsize=117292 memory=104516 CPUtime=1.48 cores=1,3
/proc/39556/stat : 39556 (fscip) R 39553 39556 35189 0 -1 4194304 28825 0 0 0 144 4 0 0 20 0 1 0 5181406 120107008 26129 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
/proc/39556/statm: 29323 26129 2774 3035 0 25719 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 117292 KiB
Current children cumulated memory: 104516 KiB

[startup+3.10633 s]
/proc/loadavg: 4.12 4.12 4.11 5/263 39561
/proc/meminfo: memFree=98461768/131524600 swapFree=131071996/131071996
[pid=39556] ppid=39553 vsize=362020 memory=265172 CPUtime=3.08 cores=1,3
/proc/39556/stat : 39556 (fscip) S 39553 39556 35189 0 -1 1077936128 76005 0 0 0 297 11 0 0 20 0 3 0 5181406 370708480 66293 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
/proc/39556/statm: 90505 66293 2806 3035 0 76818 0
[pid=39556/tid=39560] ppid=39553 vsize=362020 memory=0 CPUtime=0.39 cores=1,3
/proc/39556/task/39560/stat : 39560 (fscip) R 39553 39556 35189 0 -1 4194368 25365 0 0 0 36 3 0 0 20 0 3 0 5181671 370708480 66293 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
[pid=39556/tid=39561] ppid=39553 vsize=362020 memory=132032 CPUtime=0 cores=1,3
/proc/39556/task/39561/stat : 39561 (fscip) S 39553 39556 35189 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5181680 370708480 66293 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 362020 KiB
Current children cumulated memory: 265172 KiB

[startup+6.30033 s]
/proc/loadavg: 4.12 4.12 4.11 5/263 39657
/proc/meminfo: memFree=99199024/131524600 swapFree=131071996/131071996
[pid=39556] ppid=39553 vsize=427556 memory=314900 CPUtime=6.24 cores=1,3
/proc/39556/stat : 39556 (fscip) S 39553 39556 35189 0 -1 1077936128 105408 0 0 0 610 14 0 0 20 0 3 0 5181406 437817344 78725 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
/proc/39556/statm: 106889 78725 2934 3035 0 89409 0
[pid=39556/tid=39560] ppid=39553 vsize=427556 memory=0 CPUtime=3.55 cores=1,3
/proc/39556/task/39560/stat : 39560 (fscip) R 39553 39556 35189 0 -1 4194368 54761 0 0 0 349 6 0 0 20 0 3 0 5181671 437817344 78725 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
[pid=39556/tid=39561] ppid=39553 vsize=427556 memory=104516 CPUtime=0 cores=1,3
/proc/39556/task/39561/stat : 39561 (fscip) S 39553 39556 35189 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 5181680 437817344 78725 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 427556 KiB
Current children cumulated memory: 314900 KiB

[startup+12.7003 s]
/proc/loadavg: 4.26 4.15 4.12 11/266 39661
/proc/meminfo: memFree=99171128/131524600 swapFree=131071996/131071996
[pid=39556] ppid=39553 vsize=427556 memory=317960 CPUtime=12.59 cores=1,3
/proc/39556/stat : 39556 (fscip) S 39553 39556 35189 0 -1 1077936128 113565 0 0 0 1244 15 0 0 20 0 3 0 5181406 437817344 79490 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
/proc/39556/statm: 106889 79490 2950 3035 0 90224 0
[pid=39556/tid=39560] ppid=39553 vsize=427556 memory=11596 CPUtime=9.9 cores=1,3
/proc/39556/task/39560/stat : 39560 (fscip) R 39553 39556 35189 0 -1 4194368 62906 0 0 0 983 7 0 0 20 0 3 0 5181671 437817344 79490 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
[pid=39556/tid=39561] ppid=39553 vsize=427556 memory=317540 CPUtime=0 cores=1,3
/proc/39556/task/39561/stat : 39561 (fscip) S 39553 39556 35189 0 -1 1077936192 19 0 0 0 0 0 0 0 20 0 3 0 5181680 437817344 79490 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 427556 KiB
Current children cumulated memory: 317960 KiB

[startup+25.5003 s]
/proc/loadavg: 4.37 4.18 4.13 5/260 39731
/proc/meminfo: memFree=121476524/131524600 swapFree=131071996/131071996
[pid=39556] ppid=39553 vsize=427556 memory=318784 CPUtime=25.28 cores=1,3
/proc/39556/stat : 39556 (fscip) S 39553 39556 35189 0 -1 1077936128 135187 0 0 0 2511 17 0 0 20 0 3 0 5181406 437817344 79696 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
/proc/39556/statm: 106889 79696 2950 3035 0 90374 0
[pid=39556/tid=39560] ppid=39553 vsize=427556 memory=4276 CPUtime=22.59 cores=1,3
/proc/39556/task/39560/stat : 39560 (fscip) R 39553 39556 35189 0 -1 4194368 84514 0 0 0 2250 9 0 0 20 0 3 0 5181671 437817344 79696 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
[pid=39556/tid=39561] ppid=39553 vsize=427556 memory=314948 CPUtime=0 cores=1,3
/proc/39556/task/39561/stat : 39561 (fscip) S 39553 39556 35189 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 5181680 437817344 79696 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
Current children cumulated CPU time: 25.28 s
Current children cumulated vsize: 427556 KiB
Current children cumulated memory: 318784 KiB

[startup+51.1054 s]
/proc/loadavg: 4.42 4.21 4.14 5/263 39768
/proc/meminfo: memFree=121584908/131524600 swapFree=131071996/131071996
[pid=39556] ppid=39553 vsize=443220 memory=347328 CPUtime=50.71 cores=1,3
/proc/39556/stat : 39556 (fscip) S 39553 39556 35189 0 -1 1077936128 165658 0 0 0 5052 19 0 0 20 0 3 0 5181406 453857280 86832 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
/proc/39556/statm: 110805 86832 2966 3035 0 98261 0
[pid=39556/tid=39560] ppid=39553 vsize=443220 memory=318792 CPUtime=48.02 cores=1,3
/proc/39556/task/39560/stat : 39560 (fscip) R 39553 39556 35189 0 -1 4194368 114973 0 0 0 4791 11 0 0 20 0 3 0 5181671 453857280 86832 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
[pid=39556/tid=39561] ppid=39553 vsize=443220 memory=13120 CPUtime=0 cores=1,3
/proc/39556/task/39561/stat : 39561 (fscip) S 39553 39556 35189 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 3 0 5181680 453857280 86832 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
Current children cumulated CPU time: 50.71 s
Current children cumulated vsize: 443220 KiB
Current children cumulated memory: 347328 KiB

[startup+102.3 s]
/proc/loadavg: 4.22 4.19 4.13 5/263 39873
/proc/meminfo: memFree=121552540/131524600 swapFree=131071996/131071996
[pid=39556] ppid=39553 vsize=508756 memory=355932 CPUtime=101.73 cores=1,3
/proc/39556/stat : 39556 (fscip) S 39553 39556 35189 0 -1 1077936128 239674 0 0 0 10150 23 0 0 20 0 3 0 5181406 520966144 88983 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
/proc/39556/statm: 127189 88983 2966 3035 0 112500 0
[pid=39556/tid=39560] ppid=39553 vsize=508756 memory=355928 CPUtime=99.04 cores=1,3
/proc/39556/task/39560/stat : 39560 (fscip) R 39553 39556 35189 0 -1 4194368 188980 0 0 0 9889 15 0 0 20 0 3 0 5181671 520966144 88983 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
[pid=39556/tid=39561] ppid=39553 vsize=508756 memory=13120 CPUtime=0 cores=1,3
/proc/39556/task/39561/stat : 39561 (fscip) S 39553 39556 35189 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 3 0 5181680 520966144 88983 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
Current children cumulated CPU time: 101.73 s
Current children cumulated vsize: 508756 KiB
Current children cumulated memory: 355932 KiB

[startup+162.3 s]
/proc/loadavg: 4.20 4.18 4.13 5/262 39978
/proc/meminfo: memFree=120792596/131524600 swapFree=131071996/131071996
[pid=39556] ppid=39553 vsize=508756 memory=356540 CPUtime=161.55 cores=1,3
/proc/39556/stat : 39556 (fscip) S 39553 39556 35189 0 -1 1077936128 262088 0 0 0 16130 25 0 0 20 0 3 0 5181406 520966144 89135 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
/proc/39556/statm: 127189 89135 2966 3035 0 112652 0
[pid=39556/tid=39560] ppid=39553 vsize=508756 memory=13120 CPUtime=158.85 cores=1,3
/proc/39556/task/39560/stat : 39560 (fscip) R 39553 39556 35189 0 -1 4194368 211384 0 0 0 15869 16 0 0 20 0 3 0 5181671 520966144 89135 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
[pid=39556/tid=39561] ppid=39553 vsize=508756 memory=356540 CPUtime=0 cores=1,3
/proc/39556/task/39561/stat : 39561 (fscip) S 39553 39556 35189 0 -1 1077936192 64 0 0 0 0 0 0 0 20 0 3 0 5181680 520966144 89135 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
Current children cumulated CPU time: 161.55 s
Current children cumulated vsize: 508756 KiB
Current children cumulated memory: 356540 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.16 4.13 5/261 39988
/proc/meminfo: memFree=117725088/131524600 swapFree=131071996/131071996
[pid=39556] ppid=39553 vsize=508756 memory=356600 CPUtime=221.37 cores=1,3
/proc/39556/stat : 39556 (fscip) S 39553 39556 35189 0 -1 1077936128 282011 0 0 0 22112 25 0 0 20 0 3 0 5181406 520966144 89150 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
/proc/39556/statm: 127189 89150 2966 3035 0 112717 0
[pid=39556/tid=39560] ppid=39553 vsize=508756 memory=356600 CPUtime=218.68 cores=1,3
/proc/39556/task/39560/stat : 39560 (fscip) R 39553 39556 35189 0 -1 4194368 231299 0 0 0 21851 17 0 0 20 0 3 0 5181671 520966144 89150 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
[pid=39556/tid=39561] ppid=39553 vsize=508756 memory=356600 CPUtime=0 cores=1,3
/proc/39556/task/39561/stat : 39561 (fscip) S 39553 39556 35189 0 -1 1077936192 72 0 0 0 0 0 0 0 20 0 3 0 5181680 520966144 89150 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
Current children cumulated CPU time: 221.37 s
Current children cumulated vsize: 508756 KiB
Current children cumulated memory: 356600 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 4.16 4.13 5/261 39999
/proc/meminfo: memFree=117655336/131524600 swapFree=131071996/131071996
[pid=39556] ppid=39553 vsize=508756 memory=356840 CPUtime=281.21 cores=1,3

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

[pid=39556] ppid=39553 vsize=639828 memory=558228 CPUtime=3452.63 cores=1,3
/proc/39556/stat : 39556 (fscip) S 39553 39556 35189 0 -1 1077936128 598294 0 0 0 345214 49 0 0 20 0 3 0 5181406 655183872 139557 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
/proc/39556/statm: 159957 139557 3030 3035 0 147563 0
[pid=39556/tid=39560] ppid=39553 vsize=639828 memory=547852 CPUtime=3449.88 cores=1,3
/proc/39556/task/39560/stat : 39560 (fscip) R 39553 39556 35189 0 -1 4194368 544987 0 0 0 344950 38 0 0 20 0 3 0 5181671 655183872 139557 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
[pid=39556/tid=39561] ppid=39553 vsize=639828 memory=11596 CPUtime=0.03 cores=1,3
/proc/39556/task/39561/stat : 39561 (fscip) S 39553 39556 35189 0 -1 1077936192 283 0 0 0 1 2 0 0 20 0 3 0 5181680 655183872 139557 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
Current children cumulated CPU time: 3452.63 s
Current children cumulated vsize: 639828 KiB
Current children cumulated memory: 558228 KiB

[startup+3522.3 s]
/proc/loadavg: 4.50 4.21 4.12 5/265 41808
/proc/meminfo: memFree=118281668/131524600 swapFree=131071996/131071996
[pid=39556] ppid=39553 vsize=639828 memory=558228 CPUtime=3512.47 cores=1,3
/proc/39556/stat : 39556 (fscip) S 39553 39556 35189 0 -1 1077936128 599041 0 0 0 351198 49 0 0 20 0 3 0 5181406 655183872 139557 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
/proc/39556/statm: 159957 139557 3030 3035 0 147563 0
[pid=39556/tid=39560] ppid=39553 vsize=639828 memory=558228 CPUtime=3509.72 cores=1,3
/proc/39556/task/39560/stat : 39560 (fscip) R 39553 39556 35189 0 -1 4194368 545706 0 0 0 350934 38 0 0 20 0 3 0 5181671 655183872 139557 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
[pid=39556/tid=39561] ppid=39553 vsize=639828 memory=558228 CPUtime=0.03 cores=1,3
/proc/39556/task/39561/stat : 39561 (fscip) S 39553 39556 35189 0 -1 1077936192 287 0 0 0 1 2 0 0 20 0 3 0 5181680 655183872 139557 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
Current children cumulated CPU time: 3512.47 s
Current children cumulated vsize: 639828 KiB
Current children cumulated memory: 558228 KiB

[startup+3582.3 s]
/proc/loadavg: 4.57 4.29 4.16 5/265 41818
/proc/meminfo: memFree=118246916/131524600 swapFree=131071996/131071996
[pid=39556] ppid=39553 vsize=639828 memory=558232 CPUtime=3572.31 cores=1,3
/proc/39556/stat : 39556 (fscip) S 39553 39556 35189 0 -1 1077936128 599782 0 0 0 357182 49 0 0 20 0 3 0 5181406 655183872 139558 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
/proc/39556/statm: 159957 139558 3030 3035 0 147563 0
[pid=39556/tid=39560] ppid=39553 vsize=639828 memory=558232 CPUtime=3569.56 cores=1,3
/proc/39556/task/39560/stat : 39560 (fscip) R 39553 39556 35189 0 -1 4194368 546427 0 0 0 356918 38 0 0 20 0 3 0 5181671 655183872 139558 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
[pid=39556/tid=39561] ppid=39553 vsize=639828 memory=2160 CPUtime=0.03 cores=1,3
/proc/39556/task/39561/stat : 39561 (fscip) S 39553 39556 35189 0 -1 1077936192 291 0 0 0 1 2 0 0 20 0 3 0 5181680 655183872 139558 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
Current children cumulated CPU time: 3572.31 s
Current children cumulated vsize: 639828 KiB
Current children cumulated memory: 558232 KiB

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

# cumulated CPU time of all completed processes:  user=3587.99 s, system=0.502557 s

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

[startup+3584 s]*
/proc/loadavg: 4.53 4.28 4.16 5/265 41820
/proc/meminfo: memFree=118246584/131524600 swapFree=131071996/131071996
[pid=39556] ppid=39553 vsize=639828 memory=558264 CPUtime=3574.01 cores=1,3
/proc/39556/stat : 39556 (fscip) S 39553 39556 35189 0 -1 1077936128 599926 0 0 0 357352 49 0 0 20 0 3 0 5181406 655183872 139566 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
/proc/39556/statm: 159957 139566 3030 3035 0 147563 0
[pid=39556/tid=39560] ppid=39553 vsize=639828 memory=7686721470247706567 CPUtime=3571.26 cores=1,3
/proc/39556/task/39560/stat : 39560 (fscip) R 39553 39556 35189 0 -1 4194368 546570 0 0 0 357088 38 0 0 20 0 3 0 5181671 655183872 139566 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
[pid=39556/tid=39561] ppid=39553 vsize=639828 memory=4139535510551555739 CPUtime=0.03 cores=1,3
/proc/39556/task/39561/stat : 39561 (fscip) S 39553 39556 35189 0 -1 1077936192 292 0 0 0 1 2 0 0 20 0 3 0 5181680 655183872 139566 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
Current children cumulated CPU time: 3574.01 s
Current children cumulated vsize: 639828 KiB
Current children cumulated memory: 558264 KiB

[startup+3590.4 s]
/proc/loadavg: 4.48 4.28 4.15 5/265 41820
/proc/meminfo: memFree=118239464/131524600 swapFree=131071996/131071996
[pid=39556] ppid=39553 vsize=639828 memory=558264 CPUtime=3580.39 cores=1,3
/proc/39556/stat : 39556 (fscip) S 39553 39556 35189 0 -1 1077936128 600170 0 0 0 357990 49 0 0 20 0 3 0 5181406 655183872 139566 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
/proc/39556/statm: 159957 139566 3030 3035 0 147563 0
[pid=39556/tid=39560] ppid=39553 vsize=639828 memory=11596 CPUtime=3577.64 cores=1,3
/proc/39556/task/39560/stat : 39560 (fscip) R 39553 39556 35189 0 -1 4194368 546814 0 0 0 357726 38 0 0 20 0 3 0 5181671 655183872 139566 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
[pid=39556/tid=39561] ppid=39553 vsize=639828 memory=558264 CPUtime=0.03 cores=1,3
/proc/39556/task/39561/stat : 39561 (fscip) S 39553 39556 35189 0 -1 1077936192 292 0 0 0 1 2 0 0 20 0 3 0 5181680 655183872 139566 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
Current children cumulated CPU time: 3580.39 s
Current children cumulated vsize: 639828 KiB
Current children cumulated memory: 558264 KiB

[startup+3593.6 s]
/proc/loadavg: 4.45 4.27 4.15 5/265 41821
/proc/meminfo: memFree=118237864/131524600 swapFree=131071996/131071996
[pid=39556] ppid=39553 vsize=639828 memory=558264 CPUtime=3583.59 cores=1,3
/proc/39556/stat : 39556 (fscip) S 39553 39556 35189 0 -1 1077936128 600171 0 0 0 358310 49 0 0 20 0 3 0 5181406 655183872 139566 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
/proc/39556/statm: 159957 139566 3030 3035 0 147563 0
[pid=39556/tid=39560] ppid=39553 vsize=639828 memory=558264 CPUtime=3580.83 cores=1,3
/proc/39556/task/39560/stat : 39560 (fscip) R 39553 39556 35189 0 -1 4194368 546815 0 0 0 358045 38 0 0 20 0 3 0 5181671 655183872 139566 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
[pid=39556/tid=39561] ppid=39553 vsize=639828 memory=140298999157153 CPUtime=0.03 cores=1,3
/proc/39556/task/39561/stat : 39561 (fscip) S 39553 39556 35189 0 -1 1077936192 292 0 0 0 1 2 0 0 20 0 3 0 5181680 655183872 139566 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
Current children cumulated CPU time: 3583.59 s
Current children cumulated vsize: 639828 KiB
Current children cumulated memory: 558264 KiB

[startup+3596.8 s]
/proc/loadavg: 4.45 4.27 4.15 5/265 41821
/proc/meminfo: memFree=118237376/131524600 swapFree=131071996/131071996
[pid=39556] ppid=39553 vsize=639828 memory=558264 CPUtime=3586.78 cores=1,3
/proc/39556/stat : 39556 (fscip) S 39553 39556 35189 0 -1 1077936128 600181 0 0 0 358629 49 0 0 20 0 3 0 5181406 655183872 139566 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
/proc/39556/statm: 159957 139566 3030 3035 0 147563 0
[pid=39556/tid=39560] ppid=39553 vsize=639828 memory=558228 CPUtime=3584.02 cores=1,3
/proc/39556/task/39560/stat : 39560 (fscip) R 39553 39556 35189 0 -1 4194368 546825 0 0 0 358364 38 0 0 20 0 3 0 5181671 655183872 139566 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
[pid=39556/tid=39561] ppid=39553 vsize=639828 memory=558228 CPUtime=0.03 cores=1,3
/proc/39556/task/39561/stat : 39561 (fscip) S 39553 39556 35189 0 -1 1077936192 292 0 0 0 1 2 0 0 20 0 3 0 5181680 655183872 139566 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
Current children cumulated CPU time: 3586.78 s
Current children cumulated vsize: 639828 KiB
Current children cumulated memory: 558264 KiB

[startup+3597.6 s]
/proc/loadavg: 4.45 4.27 4.15 5/265 41821
/proc/meminfo: memFree=118235628/131524600 swapFree=131071996/131071996
[pid=39556] ppid=39553 vsize=639828 memory=558264 CPUtime=3587.58 cores=1,3
/proc/39556/stat : 39556 (fscip) S 39553 39556 35189 0 -1 1077936128 600181 0 0 0 358709 49 0 0 20 0 3 0 5181406 655183872 139566 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
/proc/39556/statm: 159957 139566 3030 3035 0 147563 0
[pid=39556/tid=39560] ppid=39553 vsize=639828 memory=13120 CPUtime=3584.82 cores=1,3
/proc/39556/task/39560/stat : 39560 (fscip) R 39553 39556 35189 0 -1 4194368 546825 0 0 0 358444 38 0 0 20 0 3 0 5181671 655183872 139566 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
[pid=39556/tid=39561] ppid=39553 vsize=639828 memory=12272 CPUtime=0.03 cores=1,3
/proc/39556/task/39561/stat : 39561 (fscip) S 39553 39556 35189 0 -1 1077936192 292 0 0 0 1 2 0 0 20 0 3 0 5181680 655183872 139566 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
Current children cumulated CPU time: 3587.58 s
Current children cumulated vsize: 639828 KiB
Current children cumulated memory: 558264 KiB

[startup+3598 s]*
/proc/loadavg: 4.41 4.27 4.15 5/265 41821
/proc/meminfo: memFree=118234868/131524600 swapFree=131071996/131071996
[pid=39556] ppid=39553 vsize=639828 memory=558264 CPUtime=3587.98 cores=1,3
/proc/39556/stat : 39556 (fscip) S 39553 39556 35189 0 -1 1077936128 600181 0 0 0 358749 49 0 0 20 0 3 0 5181406 655183872 139566 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
/proc/39556/statm: 159957 139566 3030 3035 0 147563 0
[pid=39556/tid=39560] ppid=39553 vsize=639828 memory=1836 CPUtime=3585.23 cores=1,3
/proc/39556/task/39560/stat : 39560 (fscip) R 39553 39556 35189 0 -1 4194368 546825 0 0 0 358485 38 0 0 20 0 3 0 5181671 655183872 139566 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
[pid=39556/tid=39561] ppid=39553 vsize=639828 memory=2160 CPUtime=0.03 cores=1,3
/proc/39556/task/39561/stat : 39561 (fscip) S 39553 39556 35189 0 -1 1077936192 292 0 0 0 1 2 0 0 20 0 3 0 5181680 655183872 139566 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
Current children cumulated CPU time: 3587.98 s
Current children cumulated vsize: 639828 KiB
Current children cumulated memory: 558264 KiB

[startup+3598.4 s]
/proc/loadavg: 4.41 4.27 4.15 5/265 41821
/proc/meminfo: memFree=118234868/131524600 swapFree=131071996/131071996
[pid=39556] ppid=39553 vsize=624164 memory=542600 CPUtime=3588.37 cores=1,3
/proc/39556/stat : 39556 (fscip) S 39553 39556 35189 0 -1 1077936128 600259 0 0 0 358788 49 0 0 20 0 3 0 5181406 639143936 135650 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
/proc/39556/statm: 156041 135650 3030 3035 0 143647 0
[pid=39556/tid=39560] ppid=39553 vsize=624164 memory=558264 CPUtime=3585.62 cores=1,3
/proc/39556/task/39560/stat : 39560 (fscip) R 39553 39556 35189 0 -1 4194368 546900 0 0 0 358524 38 0 0 20 0 3 0 5181671 639143936 135650 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
[pid=39556/tid=39561] ppid=39553 vsize=624164 memory=13120 CPUtime=0.03 cores=1,3
/proc/39556/task/39561/stat : 39561 (fscip) S 39553 39556 35189 0 -1 1077936192 292 0 0 0 1 2 0 0 20 0 3 0 5181680 639143936 135650 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
Current children cumulated CPU time: 3588.37 s
Current children cumulated vsize: 624164 KiB
Current children cumulated memory: 542600 KiB

[startup+3598.5 s]
/proc/loadavg: 4.41 4.27 4.15 5/265 41821
/proc/meminfo: memFree=118234868/131524600 swapFree=131071996/131071996
[pid=39556] ppid=39553 vsize=597788 memory=515240 CPUtime=3588.47 cores=1,3
/proc/39556/stat : 39556 (fscip) R 39553 39556 35189 0 -1 4194304 603982 0 0 0 358798 49 0 0 20 0 2 0 5181406 612134912 128810 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
/proc/39556/statm: 149447 128810 3030 3035 0 137053 0
[pid=39556/tid=39561] ppid=39553 vsize=597788 memory=11596 CPUtime=0.03 cores=1,3
/proc/39556/task/39561/stat : 39561 (fscip) S 39553 39556 35189 0 -1 1077936192 292 0 0 0 1 2 0 0 20 0 2 0 5181680 612134912 128810 134679101440 4194304 16623229 140727015756720 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 34226176 140727015760922 140727015761038 140727015761038 140727015768048 0
Current children cumulated CPU time: 3588.47 s
Current children cumulated vsize: 597788 KiB
Current children cumulated memory: 515240 KiB

Child status: 0

Real time (s): 3598.51
CPU time (s): 3588.49
CPU user time (s): 3587.99
CPU system time (s): 0.502557
CPU usage (%): 99.7218
Max. virtual memory (cumulated for all children) (KiB): 639828
Max. memory (cumulated for all children) (KiB): 558264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.99
system time used= 0.502557
maximum resident set size= 558264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 604290
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= 4453
involuntary context switches= 1865


# summary of solver processes directly reported to runsolver:
#   pid: 39556
#   total CPU time (s): 3588.49
#   total CPU user time (s): 3587.99
#   total CPU system time (s): 0.502557

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.80556 second user time and 15.9087 second system time

The end

Launcher Data

Begin job on nodeC030 at 2024-07-31 02:29:55
IDJOB=4464263
IDBENCH=158394
IDSOLVER=3092
FILE ID=nodeC030/4464263-1722385795
RUNJOBID= nodeC030-1722378597-35201
SLURM_JOB_ID= 8249853
Free space on /tmp= 889736 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-jun5.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-4464263-1722385795/watcher-4464263-1722385795 -o /tmp/evaluation-result-4464263-1722385795/solver-4464263-1722385795 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722378597-35201 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464263-1722385795.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 5d17a5a2908f0ead03acb71ed633b69a
RANDOM SEED=83643309

nodeC030.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	: 0xb00002a
cpu MHz		: 3663.254
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7000.60
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	: 0xb00002a
cpu MHz		: 3665.282
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.48
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	: 0xb00002a
cpu MHz		: 3600.364
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7000.60
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	: 0xb00002a
cpu MHz		: 3672.450
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.48
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	: 0xb00002a
cpu MHz		: 3663.259
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7000.60
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	: 0xb00002a
cpu MHz		: 3676.274
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.48
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	: 0xb00002a
cpu MHz		: 3600.389
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7000.60
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	: 0xb00002a
cpu MHz		: 3600.600
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        98716548 kB
MemAvailable:   99353308 kB
Buffers:           97008 kB
Cached:          1370600 kB
SwapCached:            0 kB
Active:           537664 kB
Inactive:       31719380 kB
Active(anon):       1552 kB
Inactive(anon): 30809220 kB
Active(file):     536112 kB
Inactive(file):   910160 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             29296 kB
Writeback:            52 kB
AnonPages:      30787464 kB
Mapped:           124964 kB
Shmem:             21328 kB
KReclaimable:      60620 kB
Slab:             144296 kB
SReclaimable:      60620 kB
SUnreclaim:        83676 kB
KernelStack:        4176 kB
PageTables:        70520 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   18602088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             9376 kB
HardwareCorrupted:     0 kB
AnonHugePages:  12546048 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:      221908 kB
DirectMap2M:     6891520 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 889940 MiB
End job on nodeC030 at 2024-07-31 03:29:54