Trace number 4464079

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-30SAT25 3588.71 3598.31

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_2.opb
MD5SUMa7d8f923a6cdb36d5c6f2d05cbd48ec7
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 benchmark19
Best CPU time to get the best result obtained on this benchmark263.345
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8901
Total number of constraints32298
Number of constraints which are clauses32280
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints17
Minimum length of a constraint1
Maximum length of a constraint790
Number of terms in the objective function 790
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 790
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 820
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.09/0.10	c Default LC presolving (default).
0.09/0.10	c ** Before presolving: virtualMemUsedAtLc = 98819601, getVmSize() = 84320256, SCIPgetMemUsed() = 54620940, SCIPgetMemTotal() = 59934796, SCIPgetMemExternEstim() = 38884805
0.09/0.10	c ** set memory limit for presolving in LC to 8.79606e+12 for SCIP **
0.50/0.55	c ** Estimated virtualMemUsedAtSolver = 99093075, getVmSize() = 139481088, SCIPgetMemUsed() = 62199544, SCIPgetMemTotal() = 109754808, SCIPgetMemExternEstim() = 38884805
0.50/0.55	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.50/0.55	c Original Problem   :
0.50/0.55	c   Problem name     : instance-4464079-1722382193
0.50/0.55	c   Variables        : 8901 (8901 binary, 0 integer, 0 implicit integer, 0 continuous)
0.50/0.55	c   Constraints      : 32298
0.50/0.55	c   Objective sense  : minimize
0.50/0.55	c Presolved Problem  :
0.50/0.55	c   Variables        : 7901 (7901 binary, 0 integer, 0 implicit integer, 0 continuous)
0.50/0.55	c   Constraints      : 7852
0.50/0.55	c Constraints        : Number
0.50/0.55	c   knapsack         : 1 
0.50/0.55	c   setppc           : 730 
0.50/0.55	c   and              : 7116 
0.50/0.55	c   logicor          : 5 
0.50/0.55	c ** Instance transfer method used: 0
0.50/0.57	c ** ParaScipInstance copy does not increase the number of variables. **
0.50/0.59	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.50/0.59	c                                Nodes    Active                                            
0.50/0.59	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
1.38/1.43	c *       1              0           1         1          28.0000                -          -
1.38/1.45	c *       1              0           1         1          27.0000                -          -
12.22/12.35	c *      12              0           1         1          26.0000                -          -
12.22/12.35	c        12              0           1         1          26.0000                -          -
31.27/31.41	c *      31              0           1         1          25.0000                -          -
31.27/31.41	c        31              0           1         1          25.0000                -          -
39.05/39.26	c        39              3           2         1          25.0000          11.4807    117.76%
47.83/48.02	c        48              5           4         1          25.0000          11.5111    117.18%
53.02/53.21	c        53              6           5         1          25.0000          11.5188    117.04%
61.00/61.21	c        61              7           6         1          25.0000          11.5188    117.04%
80.64/80.91	c        81              8           7         1          25.0000          11.5188    117.04%
88.92/89.23	c        89              9           8         1          25.0000          11.5188    117.04%
97.81/98.16	c        98             10           9         1          25.0000          11.5188    117.04%
104.09/104.42	c       104             11          10         1          25.0000          11.5188    117.04%
158.55/159.05	c       159             12          11         1          25.0000          11.5188    117.04%
167.32/167.83	c       168             13          12         1          25.0000          11.5188    117.04%
193.66/194.28	c       194             14          13         1          25.0000          11.5188    117.04%
200.05/200.61	c       201             15          14         1          25.0000          11.5188    117.04%
207.22/207.88	c       208             16          15         1          25.0000          11.5188    117.04%
214.21/214.82	c       215             17          16         1          25.0000          11.5188    117.04%
223.29/223.97	c       224             18          17         1          25.0000          11.5188    117.04%
231.17/231.86	c       232             20          19         1          25.0000          11.5188    117.04%
245.73/246.47	c       246             21          20         1          25.0000          11.5188    117.04%
255.31/256.02	c       256             22          21         1          25.0000          11.5188    117.04%
260.60/261.33	c       261             23          22         1          25.0000          11.5188    117.04%
265.78/266.53	c       267             24          23         1          25.0000          11.5188    117.04%
272.46/273.27	c       273             26          25         1          25.0000          11.5188    117.04%
279.14/279.92	c       280             27          26         1          25.0000          11.5188    117.04%
291.42/292.20	c       292             28          27         1          25.0000          11.5188    117.04%
303.19/304.00	c       304             29          28         1          25.0000          11.5188    117.04%
310.57/311.40	c       311             30          29         1          25.0000          11.5188    117.04%
318.35/319.24	c       319             31          30         1          25.0000          11.5188    117.04%
339.40/340.31	c       340             32          31         1          25.0000          11.5188    117.04%
349.87/350.88	c       351             33          32         1          25.0000          11.5188    117.04%
358.25/359.26	c       359             34          33         1          25.0000          11.5188    117.04%
368.62/369.66	c       370             35          34         1          25.0000          11.5188    117.04%
389.08/390.18	c       390             36          35         1          25.0000          11.5188    117.04%
398.06/399.14	c       399             37          36         1          25.0000          11.5188    117.04%
416.20/417.37	c       417             38          37         1          25.0000          11.5188    117.04%
428.58/429.78	c       430             39          38         1          25.0000          11.5188    117.04%
433.76/434.92	c       435             40          39         1          25.0000          11.5188    117.04%
442.44/443.60	c       444             41          40         1          25.0000          11.5188    117.04%
458.09/459.31	c       459             42          41         1          25.0000          11.5188    117.04%
464.58/465.88	c       466             43          42         1          25.0000          11.5188    117.04%
482.14/483.45	c       483             44          43         1          25.0000          11.5708    116.06%
492.31/493.61	c       494             45          44         1          25.0000          11.5708    116.06%
498.59/499.94	c       500             46          45         1          25.0000          11.5708    116.06%
508.46/509.83	c       510             48          47         1          25.0000          11.5708    116.06%
532.40/533.87	c       534             49          48         1          25.0000          11.5708    116.06%
544.27/545.74	c       546             50          49         1          25.0000          11.5708    116.06%
552.25/553.77	c       554             51          50         1          25.0000          11.5708    116.06%
569.20/570.76	c       571             52          51         1          25.0000          11.5988    115.54%
577.69/579.20	c       579             53          52         1          25.0000          11.5988    115.54%
586.36/587.93	c       588             54          53         1          25.0000          11.5988    115.54%
593.85/595.43	c       595             55          54         1          25.0000          11.5988    115.54%
600.44/602.08	c       602             56          55         1          25.0000          11.5988    115.54%
610.51/612.13	c       612             57          56         1          25.0000          11.5988    115.54%
618.49/620.12	c       620             58          57         1          25.0000          11.5988    115.54%
629.06/630.71	c       631             60          59         1          25.0000          11.5988    115.54%
635.84/637.58	c       638             61          60         1          25.0000          11.5988    115.54%
642.33/644.09	c       644             62          61         1          25.0000          11.5988    115.54%
650.81/652.52	c       653             63          62         1          25.0000          11.5988    115.54%
660.19/661.90	c       662             65          64         1          25.0000          11.5988    115.54%
670.37/672.14	c       672             66          65         1          25.0000          11.5988    115.54%
680.14/681.94	c       682             68          67         1          25.0000          11.5988    115.54%
686.42/688.22	c       688             69          68         1          25.0000          11.5988    115.54%
692.60/694.40	c       694             73          72         1          25.0000          11.5988    115.54%
706.06/707.95	c       708             77          76         1          25.0000          11.5988    115.54%
717.53/719.49	c       719             78          77         1          25.0000          11.5988    115.54%
723.41/725.35	c       725             79          78         1          25.0000          11.5988    115.54%
729.20/731.18	c       731             80          79         1          25.0000          11.5988    115.54%
738.37/740.30	c       740             81          80         1          25.0000          11.5988    115.54%
748.54/750.56	c       751             82          81         1          25.0000          11.5988    115.54%
767.19/769.22	c       769             84          83         1          25.0000          11.5988    115.54%
775.97/778.07	c       778             86          85         1          25.0000          11.5988    115.54%
781.45/783.58	c       784             88          87         1          25.0000          11.5988    115.54%
793.71/795.86	c       796             92          91         1          25.0000          11.5988    115.54%
804.68/806.87	c       807             93          92         1          25.0000          11.5988    115.54%
811.56/813.74	c       814             94          93         1          25.0000          11.5988    115.54%
817.94/820.13	c       820             97          96         1          25.0000          11.5988    115.54%
825.92/828.14	c       828             99          98         1          25.0000          11.5988    115.54%
832.50/834.78	c       835            100          99         1          25.0000          11.5988    115.54%
838.78/841.10	c       841            106         105         1          25.0000          11.5988    115.54%
844.16/846.44	c       846            111         110         1          25.0000          11.5988    115.54%
851.04/853.31	c       853            112         111         1          25.0000          11.5988    115.54%
857.22/859.57	c       860            113         112         1          25.0000          11.5988    115.54%
863.20/865.51	c       866            118         117         1          25.0000          11.5988    115.54%
868.38/870.74	c       871            127         126         1          25.0000          11.5988    115.54%
892.12/894.51	c       895            131         130         1          25.0000          11.5988    115.54%
898.40/900.80	c       901            132         131         1          25.0000          11.5988    115.54%
907.58/910.07	c       910            133         132         1          25.0000          11.5988    115.54%
917.65/920.13	c       920            135         134         1          25.0000          11.5988    115.54%
924.63/927.14	c       927            138         137         1          25.0000          11.5988    115.54%
935.69/938.29	c       938            142         141         1          25.0000          11.5988    115.54%
941.17/943.75	c       944            143         142         1          25.0000          11.5988    115.54%
946.16/948.76	c       949            146         145         1          25.0000          11.5988    115.54%
998.41/1001.13	c      1001            151         150         1          25.0000          11.5988    115.54%
1021.04/1023.84	c      1024            152         151         1          25.0000          11.6003    115.51%
1032.31/1035.11	c      1035            153         152         1          25.0000          11.6003    115.51%
1058.63/1061.55	c      1062            154         153         1          25.0000          11.6003    115.51%
1067.71/1070.68	c      1071            155         154         1          25.0000          11.6003    115.51%
1076.58/1079.52	c      1080            156         155         1          25.0000          11.6003    115.51%
1085.45/1088.42	c      1088            157         156         1          25.0000          11.6003    115.51%
1091.14/1094.12	c      1094            158         157         1          25.0000          11.6003    115.51%
1097.91/1100.94	c      1101            159         158         1          25.0000          11.6003    115.51%
1107.29/1110.36	c      1110            161         160         1          25.0000          11.6003    115.51%
1113.77/1116.89	c      1117            162         161         1          25.0000          11.6003    115.51%
1124.24/1127.33	c      1127            164         163         1          25.0000          11.6003    115.51%
1129.33/1132.44	c      1132            165         164         1          25.0000          11.6003    115.51%
1135.31/1138.49	c      1138            170         169         1          25.0000          11.6003    115.51%
1157.25/1160.45	c      1160            173         172         1          25.0000          11.6574    114.46%
1179.39/1182.68	c      1183            174         173         1          25.0000          11.6574    114.46%
1189.46/1192.71	c      1193            175         174         1          25.0000          11.6574    114.46%
1195.94/1199.29	c      1199            176         175         1          25.0000          11.6574    114.46%
1207.41/1210.74	c      1211            177         176         1          25.0000          11.6574    114.46%
1216.79/1220.13	c      1220            179         178         1          25.0000          11.6574    114.46%
1224.66/1228.09	c      1228            180         179         1          25.0000          11.6574    114.46%
1230.14/1233.58	c      1234            182         181         1          25.0000          11.6574    114.46%
1241.01/1244.47	c      1244            184         183         1          25.0000          11.6574    114.46%
1248.60/1252.03	c      1252            185         184         1          25.0000          11.6574    114.46%
1256.77/1260.29	c      1260            187         186         1          25.0000          11.6574    114.46%
1265.94/1269.45	c      1269            191         190         1          25.0000          11.6574    114.46%
1287.58/1291.15	c      1291            194         193         1          25.0000          11.6574    114.46%
1313.61/1317.26	c      1317            195         194         1          25.0000          11.6574    114.46%
1324.68/1328.35	c      1328            196         195         1          25.0000          11.6574    114.46%
1331.66/1335.31	c      1335            197         196         1          25.0000          11.6574    114.46%
1341.23/1344.92	c      1345            198         197         1          25.0000          11.6574    114.46%
1348.71/1352.42	c      1352            199         198         1          25.0000          11.6574    114.46%
1353.89/1357.60	c      1358            201         200         1          25.0000          11.6574    114.46%
1359.48/1363.29	c      1363            203         202         1          25.0000          11.6574    114.46%
1365.96/1369.74	c      1370            205         204         1          25.0000          11.6574    114.46%
1372.24/1376.09	c      1376            207         206         1          25.0000          11.6574    114.46%
1377.33/1381.17	c      1381            209         208         1          25.0000          11.6574    114.46%
1383.41/1387.24	c      1387            213         212         1          25.0000          11.6574    114.46%
1408.04/1411.91	c      1412            215         214         1          25.0000          11.6574    114.46%
1415.22/1419.19	c      1419            216         215         1          25.0000          11.6574    114.46%
1432.08/1436.00	c      1436            217         216         1          25.0000          11.6574    114.46%
1440.85/1444.80	c      1445            219         218         1          25.0000          11.6574    114.46%
1453.01/1457.07	c      1457            222         221         1          25.0000          11.6574    114.46%
1460.70/1464.71	c      1465            224         223         1          25.0000          11.6574    114.46%
1465.88/1469.94	c      1470            225         224         1          25.0000          11.6574    114.46%
1473.45/1477.59	c      1478            228         227         1          25.0000          11.6574    114.46%
1478.54/1482.64	c      1483            232         231         1          25.0000          11.6574    114.46%
1512.25/1516.46	c      1516            236         235         1          25.0000          11.6574    114.46%
1525.71/1529.95	c      1530            237         236         1          25.0000          11.6574    114.46%
1535.98/1540.27	c      1540            238         237         1          25.0000          11.6574    114.46%
1544.86/1549.11	c      1549            240         239         1          25.0000          11.6574    114.46%
1550.54/1554.85	c      1555            242         241         1          25.0000          11.6574    114.46%
1557.92/1562.24	c      1562            243         242         1          25.0000          11.6574    114.46%
1564.20/1568.50	c      1568            244         243         1          25.0000          11.6574    114.46%
1571.28/1575.64	c      1576            245         244         1          25.0000          11.6574    114.46%
1577.86/1582.22	c      1582            247         246         1          25.0000          11.6574    114.46%
1583.84/1588.29	c      1588            248         249         1          25.0000          11.6574    114.46%
1591.52/1595.92	c      1596            252         251         1          25.0000          11.6574    114.46%
1597.40/1601.85	c      1602            255         254         1          25.0000          11.6574    114.46%
1619.84/1624.33	c      1624            257         256         1          25.0000          11.6811    114.02%
1625.73/1630.22	c      1630            258         257         1          25.0000          11.6811    114.02%
1634.30/1638.81	c      1639            259         258         1          25.0000          11.6811    114.02%
1640.08/1644.65	c      1645            260         259         1          25.0000          11.6811    114.02%
1645.97/1650.54	c      1651            262         261         1          25.0000          11.6811    114.02%
1652.45/1657.08	c      1657            263         262         1          25.0000          11.6811    114.02%
1660.72/1665.37	c      1665            265         264         1          25.0000          11.6811    114.02%
1666.21/1670.80	c      1671            266         265         1          25.0000          11.6811    114.02%
1672.09/1676.78	c      1677            267         266         1          25.0000          11.6811    114.02%
1678.67/1683.36	c      1683            268         267         1          25.0000          11.6811    114.02%
1684.55/1689.21	c      1689            269         268         1          25.0000          11.6811    114.02%
1689.84/1694.56	c      1695            271         270         1          25.0000          11.6811    114.02%
1695.72/1700.46	c      1700            273         272         1          25.0000          11.6811    114.02%
1701.91/1706.69	c      1707            276         275         1          25.0000          11.6811    114.02%
1707.19/1711.99	c      1712            277         276         1          25.0000          11.6811    114.02%
1716.67/1721.49	c      1721            278         277         1          25.0000          11.6811    114.02%
1738.41/1743.27	c      1743            279         278         1          25.0000          11.6811    114.02%
1748.67/1753.56	c      1754            280         279         1          25.0000          11.6811    114.02%
1763.14/1768.04	c      1768            281         280         1          25.0000          11.6811    114.02%
1769.71/1774.65	c      1775            282         281         1          25.0000          11.6811    114.02%
1778.69/1783.63	c      1784            284         283         1          25.0000          11.6811    114.02%
1791.06/1796.07	c      1796            286         285         1          25.0000          11.6811    114.02%
1796.44/1801.43	c      1801            288         287         1          25.0000          11.6811    114.02%
1802.04/1807.05	c      1807            289         288         1          25.0000          11.6811    114.02%
1807.02/1812.06	c      1812            291         290         1          25.0000          11.6811    114.02%
1813.00/1818.05	c      1818            298         297         1          25.0000          11.6811    114.02%
1833.54/1838.66	c      1839            299         298         1          25.0000          11.6811    114.02%
1844.81/1849.99	c      1850            300         299         1          25.0000          11.6811    114.02%
1899.75/1905.08	c      1905            301         300         1          25.0000          11.6811    114.02%
1914.01/1919.31	c      1919            302         301         1          25.0000          11.6811    114.02%
1926.78/1932.11	c      1932            303         302         1          25.0000          11.6811    114.02%
1955.70/1961.11	c      1961            304         303         1          25.0000          11.6811    114.02%
1965.96/1971.44	c      1971            305         304         1          25.0000          11.6811    114.02%
1982.22/1987.70	c      1988            306         305         1          25.0000          11.6811    114.02%
1989.60/1995.15	c      1995            307         306         1          25.0000          11.6811    114.02%
1998.18/2003.71	c      2004            308         307         1          25.0000          11.6811    114.02%
2010.44/2016.09	c      2016            310         309         1          25.0000          11.6811    114.02%
2022.21/2027.81	c      2028            312         311         1          25.0000          11.6811    114.02%
2029.78/2035.43	c      2035            317         316         1          25.0000          11.6811    114.02%
2036.47/2042.12	c      2042            319         318         1          25.0000          11.6811    114.02%
2068.07/2073.89	c      2074            320         319         1          25.0000          11.6946    113.77%
2080.84/2086.68	c      2087            321         320         1          25.0000          11.6946    113.77%
2109.27/2115.15	c      2115            322         321         1          25.0000          11.6946    113.77%
2119.73/2125.68	c      2126            323         322         1          25.0000          11.6946    113.77%
2130.11/2136.03	c      2136            324         323         1          25.0000          11.6946    113.77%
2140.97/2146.97	c      2147            326         325         1          25.0000          11.6946    113.77%
2150.54/2156.50	c      2156            329         328         1          25.0000          11.6946    113.77%
2159.92/2165.91	c      2166            335         334         1          25.0000          11.6946    113.77%
2165.10/2171.10	c      2171            339         338         1          25.0000          11.6946    113.77%
2172.58/2178.65	c      2179            341         340         1          25.0000          11.6946    113.77%
2177.86/2183.91	c      2184            345         344         1          25.0000          11.6946    113.77%
2183.24/2189.30	c      2189            349         348         1          25.0000          11.6946    113.77%
2188.43/2194.54	c      2195            355         354         1          25.0000          11.6946    113.77%
2197.02/2203.10	c      2203            359         358         1          25.0000          11.6946    113.77%
2227.83/2234.04	c      2234            366         365         1          25.0000          11.6975    113.72%
2236.80/2243.06	c      2243            367         366         1          25.0000          11.6975    113.72%
2244.38/2250.61	c      2251            368         367         1          25.0000          11.6975    113.72%
2249.66/2255.99	c      2256            370         369         1          25.0000          11.6975    113.72%
2259.74/2266.02	c      2266            371         370         1          25.0000          11.6975    113.72%
2270.30/2276.67	c      2277            372         371         1          25.0000          11.6975    113.72%
2276.58/2282.94	c      2283            373         372         1          25.0000          11.6975    113.72%
2282.86/2289.25	c      2289            375         374         1          25.0000          11.6975    113.72%
2288.65/2295.00	c      2295            377         376         1          25.0000          11.6975    113.72%
2295.43/2301.80	c      2302            379         378         1          25.0000          11.6975    113.72%
2301.61/2308.06	c      2308            382         381         1          25.0000          11.6975    113.72%
2313.47/2319.90	c      2320            383         382         1          25.0000          11.6975    113.72%
2320.56/2327.05	c      2327            384         383         1          25.0000          11.6975    113.72%
2336.81/2343.30	c      2343            385         384         1          25.0000          11.6975    113.72%
2346.89/2353.48	c      2353            387         386         1          25.0000          11.6975    113.72%
2377.50/2384.11	c      2384            388         387         1          25.0000          11.6975    113.72%
2387.47/2394.14	c      2394            389         388         1          25.0000          11.6975    113.72%
2401.52/2408.24	c      2408            390         389         1          25.0000          11.6975    113.72%
2417.58/2424.30	c      2424            391         390         1          25.0000          11.6975    113.72%
2427.85/2434.61	c      2435            392         391         1          25.0000          11.6975    113.72%
2436.62/2443.41	c      2443            393         392         1          25.0000          11.6975    113.72%
2444.10/2450.96	c      2451            394         393         1          25.0000          11.6975    113.72%
2451.68/2458.56	c      2459            396         395         1          25.0000          11.6975    113.72%
2456.67/2463.59	c      2464            398         397         1          25.0000          11.6975    113.72%
2462.26/2469.14	c      2469            400         399         1          25.0000          11.6975    113.72%
2470.63/2477.52	c      2478            403         402         1          25.0000          11.6975    113.72%
2476.22/2483.14	c      2483            404         403         1          25.0000          11.6975    113.72%
2481.30/2488.28	c      2488            405         404         1          25.0000          11.6975    113.72%
2486.38/2493.34	c      2493            407         406         1          25.0000          11.6975    113.72%
2504.23/2511.28	c      2511            412         411         1          25.0000          11.6991    113.69%
2510.21/2517.24	c      2517            413         412         1          25.0000          11.6991    113.69%
2517.89/2524.96	c      2525            415         414         1          25.0000          11.6991    113.69%
2523.18/2530.20	c      2530            418         417         1          25.0000          11.6991    113.69%
2530.96/2538.05	c      2538            422         421         1          25.0000          11.6991    113.69%
2536.94/2544.05	c      2544            429         428         1          25.0000          11.6991    113.69%
2542.32/2549.42	c      2549            436         435         1          25.0000          11.6991    113.69%
2560.47/2567.64	c      2568            439         438         1          25.0000          11.7080    113.53%
2571.74/2578.92	c      2579            440         439         1          25.0000          11.7080    113.53%
2577.52/2584.76	c      2585            441         440         1          25.0000          11.7080    113.53%
2593.07/2600.33	c      2600            442         441         1          25.0000          11.7080    113.53%
2599.36/2606.64	c      2607            443         442         1          25.0000          11.7080    113.53%
2622.19/2629.51	c      2630            444         443         1          25.0000          11.7080    113.53%
2627.57/2634.95	c      2635            445         444         1          25.0000          11.7080    113.53%
2634.85/2642.22	c      2642            447         446         1          25.0000          11.7080    113.53%
2640.15/2647.56	c      2648            450         449         1          25.0000          11.7080    113.53%
2647.12/2654.59	c      2655            459         458         1          25.0000          11.7080    113.53%
2662.97/2670.46	c      2670            465         464         1          25.0000          11.7080    113.53%
2677.53/2685.00	c      2685            466         465         1          25.0000          11.7080    113.53%
2683.01/2690.56	c      2691            467         466         1          25.0000          11.7080    113.53%
2690.09/2697.65	c      2698            469         468         1          25.0000          11.7080    113.53%
2718.92/2726.57	c      2727            471         470         1          25.0000          11.7080    113.53%
2739.08/2746.70	c      2747            472         471         1          25.0000          11.7080    113.53%
2750.75/2758.48	c      2758            473         472         1          25.0000          11.7080    113.53%
2764.32/2772.04	c      2772            474         473         1          25.0000          11.7080    113.53%
2772.40/2780.12	c      2780            475         474         1          25.0000          11.7080    113.53%
2778.68/2786.49	c      2786            476         475         1          25.0000          11.7080    113.53%
2791.36/2799.19	c      2799            477         476         1          25.0000          11.7080    113.53%
2799.23/2807.10	c      2807            479         478         1          25.0000          11.7080    113.53%
2806.62/2814.47	c      2814            480         479         1          25.0000          11.7080    113.53%
2813.50/2821.37	c      2821            482         481         1          25.0000          11.7080    113.53%
2819.59/2827.42	c      2827            484         483         1          25.0000          11.7080    113.53%
2825.97/2833.86	c      2834            486         485         1          25.0000          11.7080    113.53%
2833.65/2841.56	c      2842            489         488         1          25.0000          11.7080    113.53%
2840.83/2848.75	c      2849            493         492         1          25.0000          11.7080    113.53%
2866.77/2874.79	c      2875            496         493         1          25.0000          11.7080    113.53%
2891.03/2899.09	c      2899            497         494         1          25.0000          11.7080    113.53%
2900.80/2908.81	c      2909            498         495         1          25.0000          11.7080    113.53%
2913.27/2921.36	c      2921            499         496         1          25.0000          11.7080    113.53%
2918.46/2926.52	c      2927            500         497         1          25.0000          11.7080    113.53%
2927.24/2935.37	c      2935            502         499         1          25.0000          11.7080    113.53%
2933.52/2941.68	c      2942            503         500         1          25.0000          11.7080    113.53%
2938.91/2947.05	c      2947            505         502         1          25.0000          11.7080    113.53%
2946.59/2954.76	c      2955            508         505         1          25.0000          11.7080    113.53%
2951.98/2960.16	c      2960            511         508         1          25.0000          11.7080    113.53%
2957.76/2965.91	c      2966            512         509         1          25.0000          11.7080    113.53%
2963.55/2971.71	c      2972            513         510         1          25.0000          11.7080    113.53%
2971.03/2979.20	c      2979            515         512         1          25.0000          11.7080    113.53%
2978.51/2986.78	c      2987            517         514         1          25.0000          11.7080    113.53%
2984.70/2992.91	c      2993            520         517         1          25.0000          11.7080    113.53%
3006.64/3014.93	c      3015            521         518         1          25.0000          11.7180    113.35%
3012.14/3020.42	c      3020            522         519         1          25.0000          11.7180    113.35%
3018.73/3027.04	c      3027            523         520         1          25.0000          11.7180    113.35%
3023.72/3032.08	c      3032            525         522         1          25.0000          11.7180    113.35%
3029.60/3037.90	c      3038            536         533         1          25.0000          11.7180    113.35%
3040.87/3049.23	c      3049            543         540         1          25.0000          11.7180    113.35%
3057.33/3065.78	c      3066            544         541         1          25.0000          11.7592    112.60%
3067.21/3075.62	c      3076            545         542         1          25.0000          11.7592    112.60%
3072.30/3080.75	c      3081            547         544         1          25.0000          11.7592    112.60%
3082.68/3091.18	c      3091            549         546         1          25.0000          11.7798    112.23%
3087.96/3096.41	c      3096            554         551         1          25.0000          11.7798    112.23%
3097.73/3106.21	c      3106            557         554         1          25.0000          11.7798    112.23%
3104.82/3113.37	c      3113            564         561         1          25.0000          11.7798    112.23%
3117.59/3126.11	c      3126            567         566         1          25.0000          11.7798    112.23%
3144.33/3152.96	c      3153            569         566         1          25.0000          11.7798    112.23%
3163.68/3172.32	c      3172            570         567         1          25.0000          11.7806    112.21%
3169.87/3178.57	c      3179            571         568         1          25.0000          11.7806    112.21%
3178.54/3187.27	c      3187            573         570         1          25.0000          11.7806    112.21%
3192.02/3200.75	c      3201            575         572         1          25.0000          11.7806    112.21%
3201.99/3210.71	c      3211            577         574         1          25.0000          11.7806    112.21%
3214.27/3223.00	c      3223            580         577         1          25.0000          11.7806    112.21%
3222.44/3231.27	c      3231            583         580         1          25.0000          11.7806    112.21%
3230.23/3239.08	c      3239            585         582         1          25.0000          11.7806    112.21%
3241.40/3250.23	c      3250            590         587         1          25.0000          11.7806    112.21%
3251.87/3260.74	c      3261            594         591         1          25.0000          11.7806    112.21%
3261.95/3270.82	c      3271            595         592         1          25.0000          11.7806    112.21%
3271.03/3279.92	c      3280            599         596         1          25.0000          11.7806    112.21%
3280.51/3289.48	c      3289            600         597         1          25.0000          11.8106    111.67%
3285.69/3294.64	c      3295            602         599         1          25.0000          11.8106    111.67%
3290.79/3299.78	c      3300            604         601         1          25.0000          11.8106    111.67%
3297.37/3306.33	c      3306            605         602         1          25.0000          11.8106    111.67%
3307.84/3316.86	c      3317            616         613         1          25.0000          11.8106    111.67%
3317.82/3326.89	c      3327            617         614         1          25.0000          11.8106    111.67%
3325.80/3334.89	c      3335            618         615         1          25.0000          11.8322    111.29%
3331.28/3340.33	c      3340            620         617         1          25.0000          11.8322    111.29%
3336.77/3345.82	c      3346            623         620         1          25.0000          11.8322    111.29%
3349.54/3358.65	c      3359            628         625         1          25.0000          11.8322    111.29%
3355.23/3364.31	c      3364            633         630         1          25.0000          11.8322    111.29%
3363.32/3372.49	c      3372            638         635         1          25.0000          11.8322    111.29%
3372.99/3382.10	c      3382            641         638         1          25.0000          11.8322    111.29%
3384.16/3393.33	c      3393            645         642         1          25.0000          11.8322    111.29%
3391.34/3400.57	c      3401            648         645         1          25.0000          11.8322    111.29%
3406.31/3415.59	c      3416            658         655         1          25.0000          11.8322    111.29%
3424.47/3433.79	c      3434            662         659         1          25.0000          11.8560    110.86%
3440.14/3449.43	c      3449            663         660         1          25.0000          11.8560    110.86%
3455.60/3464.93	c      3465            664         661         1          25.0000          11.8560    110.86%
3468.27/3477.63	c      3478            665         662         1          25.0000          11.8560    110.86%
3475.76/3485.19	c      3485            666         663         1          25.0000          11.8560    110.86%
3487.52/3496.95	c      3497            667         664         1          25.0000          11.8560    110.86%
3493.11/3502.52	c      3503            670         667         1          25.0000          11.8560    110.86%
3500.20/3509.63	c      3510            672         669         1          25.0000          11.8712    110.59%
3509.68/3519.16	c      3519            677         674         1          25.0000          11.8712    110.59%
3524.04/3533.53	c      3534            678         675         1          25.0000          11.8712    110.59%
3545.19/3554.75	c      3555            679         676         1          25.0000          11.8712    110.59%
3553.96/3563.55	c      3564            680         677         1          25.0000          11.8712    110.59%
3569.93/3579.57	c      3580            682         679         1          25.0000          11.8802    110.43%
3577.71/3587.32	c      3587            683         680         1          25.0000          11.8802    110.43%
3583.80/3593.46	c      3593            684         681         1          25.0000          11.8802    110.43%
3588.59/3598.26	c SCIP Status        : c solving was interrupted [hard time limit reached]
3588.59/3598.26	c Total Time         : 3598.26
3588.59/3598.26	c   solving          : 3598.26
3588.59/3598.26	c   presolving       : 0.44 (included in solving)
3588.59/3598.26	c B&B Tree           :
3588.59/3598.26	c   nodes (total)    : 1
3588.59/3598.26	c Solution           :
3588.59/3598.26	c   Solutions found  : 4
3588.59/3598.26	c   Primal Bound     : +2.50000000000000e+01
3588.59/3598.26	c   Dual Bound       : +1.18802316112764e+01
3588.59/3598.26	c Gap                : 110.43361 %
3588.59/3598.26	c * Warning: final gap: 1.10434e+00 is greater than SCIPepsilon: 1.00000e-09
3588.59/3598.27	o 25
3588.59/3598.27	s SATISFIABLE
3588.59/3598.27	v -x8901 -x8899 x8897 x8895 -x8893 -x8892 -x8891 -x8890 -x8888 -x8887 -x8886 -x8885 -x8883 -x8882 -x8881 -x8880 -x8878 -x8877 -x8876 
3588.59/3598.27	v -x8875 -x8873 -x8872 -x8871 -x8870 -x8868 -x8867 -x8866 -x8865 -x8863 -x8862 -x8861 -x8860 -x8858 -x8857 -x8856 -x8855 -x8853 
3588.59/3598.27	v -x8852 -x8851 -x8850 -x8848 -x8847 -x8846 x8845 -x8843 -x8842 -x8841 -x8840 -x8838 -x8837 -x8836 -x8835 -x8833 -x8832 -x8831 
3588.59/3598.27	v -x8830 -x8828 -x8827 -x8826 x8825 -x8823 -x8822 -x8821 -x8820 -x8818 -x8817 -x8816 -x8815 -x8813 -x8812 -x8811 -x8810 -x8808 
3588.59/3598.27	v -x8807 -x8806 x8805 -x8803 -x8802 -x8801 -x8800 -x8798 -x8797 -x8796 -x8795 -x8793 -x8792 -x8791 -x8790 -x8788 -x8787 -x8786 
3588.59/3598.27	v -x8785 -x8783 -x8782 -x8781 -x8780 -x8778 -x8777 -x8776 -x8775 -x8773 -x8772 -x8771 -x8770 -x8768 -x8767 -x8766 -x8765 -x8763 
3588.59/3598.27	v -x8762 -x8761 -x8760 -x8758 -x8757 -x8756 -x8755 -x8753 -x8752 -x8751 -x8750 -x8748 -x8747 -x8746 -x8745 -x8743 -x8742 
3588.59/3598.27	v -x8741 -x8740 -x8738 -x8737 -x8736 -x8735 -x8733 -x8732 -x8731 -x8730 -x8728 -x8727 -x8726 -x8725 -x8723 -x8722 -x8721 x8720 
3588.59/3598.27	v -x8718 -x8717 -x8716 -x8715 -x8713 -x8712 -x8711 -x8710 -x8708 -x8707 -x8706 -x8705 -x8703 -x8702 -x8701 -x8700 -x8698 -x8697 
3588.59/3598.27	v -x8696 -x8695 -x8693 -x8692 -x8691 -x8690 -x8688 -x8687 -x8686 -x8685 -x8683 -x8682 -x8681 -x8680 -x8678 -x8677 -x8676 -x8675 
3588.59/3598.27	v -x8673 -x8672 -x8671 -x8670 -x8668 -x8667 -x8666 -x8665 -x8663 -x8662 -x8661 -x8660 -x8658 -x8657 -x8656 -x8655 -x8653 -x8652 
3588.59/3598.27	v -x8651 -x8650 -x8648 -x8647 -x8646 -x8645 -x8643 -x8642 -x8641 -x8640 -x8638 -x8637 -x8636 -x8635 -x8633 -x8632 -x8631 -x8630 
3588.59/3598.27	v -x8628 -x8627 -x8626 -x8625 -x8623 -x8622 -x8621 x8620 -x8618 -x8617 -x8616 -x8615 -x8613 -x8612 -x8611 -x8610 -x8608 -x8607 
3588.59/3598.27	v -x8606 -x8605 -x8603 -x8602 -x8601 -x8600 -x8598 -x8597 -x8596 -x8595 -x8593 -x8592 -x8591 -x8590 -x8588 -x8587 -x8586 -x8585 
3588.59/3598.27	v -x8583 -x8582 -x8581 -x8580 -x8578 -x8577 -x8576 -x8575 -x8573 -x8572 -x8571 -x8570 -x8568 -x8567 -x8566 -x8565 -x8563 -x8562 
3588.59/3598.27	v -x8561 -x8560 -x8558 -x8557 -x8556 -x8555 -x8553 -x8552 -x8551 -x8550 -x8548 -x8547 -x8546 -x8545 -x8544 -x8543 -x8542 
3588.59/3598.27	v -x8541 -x8540 -x8539 -x8538 -x8536 -x8534 -x8533 -x8532 -x8531 -x8530 -x8529 -x8528 -x8527 -x8526 -x8525 -x8524 -x8522 -x8520 
3588.59/3598.27	v -x8519 -x8518 -x8517 -x8516 -x8515 -x8514 -x8513 -x8512 -x8511 x8510 -x8508 -x8506 -x8505 -x8504 -x8503 -x8502 -x8501 -x8500 
3588.59/3598.27	v -x8499 -x8498 -x8497 -x8496 -x8494 -x8492 -x8491 -x8490 -x8489 -x8488 -x8487 -x8486 -x8485 -x8484 -x8483 -x8482 x8480 -x8478 
3588.59/3598.27	v -x8477 -x8476 -x8475 -x8474 -x8473 -x8472 -x8471 -x8470 -x8469 -x8468 -x8466 -x8464 -x8463 -x8462 -x8461 -x8460 -x8459 -x8458 
3588.59/3598.27	v -x8457 -x8456 -x8455 -x8454 x8452 -x8450 -x8449 -x8448 -x8447 -x8446 -x8445 -x8444 -x8443 -x8442 -x8441 -x8440 -x8438 -x8436 
3588.59/3598.27	v -x8435 -x8434 -x8433 -x8432 -x8431 -x8430 -x8429 -x8428 -x8427 -x8426 x8424 -x8422 -x8421 -x8420 -x8419 -x8418 -x8417 -x8416 
3588.59/3598.27	v -x8415 -x8414 -x8413 -x8412 -x8410 -x8409 -x8408 -x8407 -x8406 -x8405 -x8404 -x8403 -x8402 -x8401 -x8400 -x8398 -x8396 -x8395 
3588.59/3598.27	v -x8394 -x8393 -x8392 -x8391 -x8390 -x8389 -x8388 -x8387 -x8386 -x8384 -x8382 -x8381 -x8380 -x8379 -x8378 -x8377 -x8376 -x8375 
3588.59/3598.27	v -x8374 -x8373 -x8372 -x8370 -x8368 -x8367 -x8366 -x8365 -x8364 -x8363 -x8362 -x8361 -x8360 -x8359 -x8358 -x8356 -x8354 -x8353 
3588.59/3598.27	v -x8352 -x8351 -x8350 -x8349 -x8348 -x8347 -x8346 -x8345 -x8344 -x8342 -x8340 -x8339 -x8338 -x8337 -x8336 -x8335 -x8334 -x8333 
3588.59/3598.27	v -x8332 -x8331 -x8330 -x8328 -x8326 -x8325 -x8324 -x8323 -x8322 -x8321 -x8320 -x8319 -x8318 -x8317 -x8316 -x8314 -x8312 
3588.59/3598.27	v -x8311 -x8310 -x8309 -x8308 -x8307 -x8306 -x8305 -x8304 -x8303 -x8302 x8300 -x8298 -x8297 -x8296 -x8295 -x8294 -x8293 -x8292 
3588.59/3598.27	v -x8291 -x8290 -x8289 -x8288 -x8286 -x8284 -x8283 -x8282 -x8281 -x8280 -x8279 -x8278 -x8277 -x8276 -x8275 -x8274 -x8272 -x8270 
3588.59/3598.27	v -x8269 -x8268 -x8267 -x8266 -x8265 -x8264 -x8263 -x8262 -x8261 -x8260 -x8258 -x8256 -x8255 -x8254 -x8253 -x8252 -x8251 -x8250 
3588.59/3598.27	v -x8249 -x8248 -x8247 x8246 -x8244 -x8242 -x8241 -x8240 -x8239 -x8238 -x8237 -x8236 -x8235 -x8234 -x8233 -x8232 -x8230 -x8228 
3588.59/3598.27	v -x8227 -x8226 -x8225 -x8224 -x8223 -x8222 -x8221 -x8220 -x8219 x8218 -x8216 -x8214 -x8213 -x8212 -x8211 -x8210 -x8209 -x8208 
3588.59/3598.27	v -x8207 -x8206 -x8205 -x8204 -x8202 -x8200 -x8199 -x8198 -x8197 -x8196 -x8195 -x8194 -x8193 -x8192 -x8191 x8190 -x8188 -x8186 
3588.59/3598.27	v -x8185 -x8184 -x8183 -x8182 -x8181 -x8180 -x8179 -x8178 -x8177 -x8176 -x8174 -x8172 -x8171 -x8170 -x8169 -x8168 -x8167 -x8166 
3588.59/3598.27	v -x8165 -x8164 -x8163 -x8162 x8160 -x8158 -x8157 -x8156 -x8155 -x8154 -x8153 -x8152 -x8151 -x8150 -x8149 -x8148 -x8146 -x8144 
3588.59/3598.27	v -x8143 -x8142 -x8141 -x8140 -x8139 -x8138 -x8137 -x8136 -x8135 -x8134 -x8132 -x8130 -x8129 -x8128 -x8127 -x8126 -x8125 -x8124 
3588.59/3598.27	v -x8123 -x8122 -x8121 -x8120 -x8118 -x8117 -x8116 -x8115 -x8114 -x8113 -x8112 -x8111 -x8110 -x8109 -x8108 -x8106 -x8104 -x8103 
3588.59/3598.27	v -x8102 -x8101 -x8100 -x8099 -x8098 -x8097 -x8096 -x8095 -x8094 -x8092 -x8090 -x8089 -x8088 -x8087 -x8086 -x8085 -x8084 -x8083 
3588.59/3598.27	v -x8082 -x8081 -x8080 -x8078 -x8076 -x8075 -x8074 -x8073 -x8072 -x8071 -x8070 -x8069 -x8068 -x8067 -x8066 -x8064 -x8062 
3588.59/3598.27	v -x8061 -x8060 -x8059 -x8058 -x8057 -x8056 -x8055 -x8054 -x8053 -x8052 -x8050 -x8048 -x8047 -x8046 -x8045 -x8044 -x8043 -x8042 
3588.59/3598.27	v -x8041 -x8040 -x8039 -x8038 -x8036 -x8034 -x8033 -x8032 -x8031 -x8030 -x8029 -x8028 -x8027 -x8026 -x8025 -x8024 -x8022 -x8020 
3588.59/3598.27	v -x8019 -x8018 -x8017 -x8016 -x8015 -x8014 -x8013 -x8012 -x8011 -x8010 -x8008 -x8006 -x8005 -x8004 -x8003 -x8002 -x8001 -x8000 
3588.59/3598.27	v -x7999 -x7998 -x7997 -x7996 -x7994 -x7992 -x7991 -x7990 -x7989 -x7988 -x7987 -x7986 -x7985 -x7984 -x7983 -x7982 -x7980 -x7979 
3588.59/3598.27	v -x7978 -x7977 -x7976 -x7975 -x7974 -x7973 -x7972 -x7971 -x7970 -x7968 -x7966 -x7965 -x7964 -x7963 -x7962 -x7961 -x7960 -x7959 
3588.59/3598.27	v -x7958 -x7957 -x7956 x7954 -x7952 -x7951 -x7950 -x7949 -x7948 -x7947 -x7946 -x7945 -x7944 -x7943 -x7942 -x7940 -x7939 -x7938 
3588.59/3598.27	v -x7937 -x7936 -x7935 -x7934 -x7933 -x7932 -x7931 -x7930 -x7928 -x7927 -x7926 -x7925 -x7924 -x7923 -x7922 -x7921 -x7920 -x7919 
3588.59/3598.27	v -x7918 -x7916 -x7915 -x7914 -x7913 -x7912 -x7911 -x7910 -x7909 -x7908 -x7907 -x7906 -x7904 -x7903 -x7902 -x7901 -x7900 
3588.59/3598.27	v -x7899 -x7898 -x7897 -x7896 -x7895 -x7894 -x7892 -x7890 -x7889 -x7888 -x7887 -x7886 -x7885 -x7884 -x7883 -x7882 -x7881 -x7880 
3588.59/3598.27	v -x7878 -x7876 -x7875 -x7874 -x7873 -x7872 -x7871 -x7870 -x7869 -x7868 -x7867 -x7866 -x7864 -x7863 -x7862 -x7861 -x7860 -x7859 
3588.59/3598.27	v -x7858 -x7857 -x7856 -x7855 -x7854 -x7852 -x7850 -x7849 -x7848 -x7847 -x7846 -x7845 -x7844 -x7843 -x7842 -x7841 -x7840 -x7838 
3588.59/3598.27	v -x7836 -x7835 -x7834 -x7833 -x7832 -x7831 -x7830 -x7829 -x7828 -x7827 -x7826 -x7824 -x7822 -x7821 -x7820 -x7819 -x7818 -x7817 
3588.59/3598.27	v -x7816 -x7815 -x7814 -x7813 -x7812 -x7810 -x7808 -x7807 -x7806 -x7805 -x7804 -x7803 -x7802 -x7801 -x7800 -x7799 -x7798 -x7796 
3588.59/3598.27	v -x7794 -x7793 -x7792 -x7791 -x7790 -x7789 -x7788 -x7787 -x7786 -x7785 -x7784 -x7782 -x7781 -x7780 -x7779 -x7778 -x7777 -x7776 
3588.59/3598.27	v -x7775 -x7774 -x7773 -x7772 -x7771 -x7770 -x7769 -x7768 -x7767 -x7766 -x7765 -x7764 -x7763 -x7762 -x7761 -x7760 -x7759 
3588.59/3598.27	v -x7758 -x7757 -x7755 -x7754 -x7753 -x7752 -x7751 -x7750 -x7749 -x7748 -x7747 -x7746 -x7745 -x7744 -x7743 -x7742 -x7741 -x7740 
3588.59/3598.27	v -x7739 -x7738 -x7737 -x7736 -x7735 -x7734 -x7733 -x7732 -x7731 x7730 -x7728 -x7727 -x7726 -x7725 -x7724 -x7723 -x7722 -x7721 
3588.59/3598.27	v -x7720 -x7719 -x7718 -x7717 -x7716 -x7715 -x7714 -x7713 -x7712 -x7711 -x7710 -x7709 -x7708 -x7707 -x7706 -x7705 -x7704 -x7703 
3588.59/3598.27	v -x7701 -x7700 -x7699 -x7698 -x7697 -x7696 -x7695 -x7694 -x7693 -x7692 -x7691 -x7690 -x7689 -x7688 -x7687 -x7686 -x7685 -x7684 
3588.59/3598.27	v -x7683 -x7682 -x7681 -x7680 -x7679 -x7678 -x7677 -x7676 -x7674 -x7673 -x7672 -x7671 -x7670 -x7669 -x7668 -x7667 -x7666 -x7665 
3588.59/3598.27	v -x7664 -x7663 -x7662 -x7661 -x7660 -x7659 -x7658 -x7657 -x7656 -x7655 -x7654 -x7653 -x7652 -x7651 -x7650 -x7649 -x7647 -x7646 
3588.59/3598.27	v -x7645 -x7644 -x7643 -x7642 -x7641 -x7640 -x7639 -x7638 -x7637 -x7636 -x7635 -x7634 -x7633 -x7632 -x7631 -x7630 -x7629 -x7628 
3588.59/3598.27	v -x7627 -x7626 -x7625 -x7624 -x7623 -x7622 -x7620 -x7619 -x7618 -x7617 -x7616 -x7615 -x7614 -x7613 -x7612 -x7611 -x7610 
3588.59/3598.27	v -x7609 -x7608 -x7607 -x7606 -x7605 -x7604 -x7603 -x7602 -x7601 -x7600 -x7599 -x7598 -x7597 -x7596 -x7595 -x7593 -x7592 -x7591 
3588.59/3598.27	v -x7590 -x7589 -x7588 -x7587 -x7586 -x7585 -x7584 -x7583 -x7582 -x7581 -x7580 -x7579 -x7578 -x7577 -x7576 -x7575 -x7574 -x7573 
3588.59/3598.27	v -x7572 -x7571 -x7570 -x7569 -x7568 -x7566 -x7565 -x7564 -x7563 -x7562 -x7561 -x7560 -x7559 -x7558 -x7557 -x7556 -x7555 -x7554 
3588.59/3598.27	v -x7553 -x7552 -x7551 -x7550 -x7549 -x7548 -x7547 -x7546 -x7545 -x7544 -x7543 -x7542 -x7541 -x7539 -x7538 -x7537 -x7536 -x7535 
3588.59/3598.27	v -x7534 -x7533 -x7532 -x7531 -x7530 -x7529 -x7528 -x7527 -x7526 -x7525 -x7524 -x7523 -x7522 -x7521 -x7520 -x7519 -x7518 -x7517 
3588.59/3598.27	v -x7516 -x7515 -x7514 -x7512 -x7511 -x7510 -x7509 -x7508 -x7507 -x7506 -x7505 -x7504 -x7503 -x7502 -x7501 -x7500 -x7499 -x7498 
3588.59/3598.27	v -x7497 -x7496 -x7495 -x7494 -x7493 -x7492 -x7491 -x7490 -x7489 -x7488 -x7487 -x7485 -x7484 -x7483 -x7482 -x7481 -x7480 
3588.59/3598.27	v -x7479 -x7478 -x7477 -x7476 -x7475 -x7474 -x7473 -x7472 -x7471 -x7470 -x7469 -x7468 -x7467 -x7466 -x7465 -x7464 -x7463 -x7462 
3588.59/3598.27	v -x7461 -x7460 -x7458 -x7457 -x7456 -x7455 -x7454 -x7453 -x7452 -x7451 -x7450 -x7449 -x7448 -x7447 -x7446 -x7445 -x7444 -x7443 
3588.59/3598.27	v -x7442 -x7441 -x7440 -x7439 -x7438 -x7437 -x7436 -x7435 -x7434 -x7433 -x7431 -x7430 -x7429 -x7428 -x7427 -x7426 -x7425 -x7424 
3588.59/3598.27	v -x7423 -x7422 -x7421 -x7420 -x7419 -x7418 -x7417 -x7416 -x7415 -x7414 -x7413 -x7412 -x7411 -x7410 -x7409 -x7408 -x7407 -x7406 
3588.59/3598.27	v -x7404 -x7403 -x7402 -x7401 -x7400 -x7399 -x7398 -x7397 -x7396 -x7395 -x7394 -x7393 -x7392 -x7391 -x7390 -x7389 -x7388 -x7387 
3588.59/3598.27	v -x7386 -x7385 -x7384 -x7383 -x7382 -x7381 -x7380 -x7379 -x7377 -x7376 -x7375 -x7374 -x7373 -x7372 -x7371 -x7370 -x7369 -x7368 
3588.59/3598.27	v -x7367 -x7366 -x7365 -x7364 -x7363 -x7362 -x7361 -x7360 -x7359 -x7358 -x7357 -x7356 -x7355 -x7354 -x7353 x7352 -x7350 -x7349 
3588.59/3598.27	v -x7348 -x7347 -x7346 -x7345 -x7344 -x7343 -x7342 -x7341 -x7340 -x7339 -x7338 -x7337 -x7336 -x7335 -x7334 -x7333 -x7332 
3588.59/3598.27	v -x7331 -x7330 -x7329 -x7328 -x7327 -x7326 -x7325 -x7323 -x7322 -x7321 -x7320 -x7319 -x7318 -x7317 -x7316 -x7315 -x7314 -x7313 
3588.59/3598.27	v -x7312 -x7311 -x7310 -x7309 -x7308 -x7307 -x7306 -x7305 -x7304 -x7303 -x7302 -x7301 -x7300 -x7299 x7298 -x7296 -x7295 -x7294 
3588.59/3598.27	v -x7293 -x7292 -x7291 -x7290 -x7289 -x7288 -x7287 -x7286 -x7285 -x7284 -x7283 -x7282 -x7281 -x7280 -x7279 -x7278 -x7277 -x7276 
3588.59/3598.27	v -x7275 -x7274 -x7273 -x7272 -x7271 -x7269 -x7268 -x7267 -x7266 -x7265 -x7264 -x7263 -x7262 -x7261 -x7260 -x7259 -x7258 -x7257 
3588.59/3598.27	v -x7256 -x7255 -x7254 -x7253 -x7252 -x7251 -x7250 -x7249 -x7248 -x7247 -x7246 -x7245 -x7244 -x7242 -x7241 -x7240 -x7239 -x7238 
3588.59/3598.27	v -x7237 -x7236 -x7235 -x7234 -x7233 -x7232 -x7231 -x7230 -x7229 -x7228 -x7227 -x7226 -x7225 -x7224 -x7223 -x7222 -x7221 -x7220 
3588.59/3598.27	v -x7219 -x7218 -x7217 -x7215 -x7214 -x7213 -x7212 -x7211 -x7210 -x7209 -x7208 -x7207 -x7206 -x7205 -x7204 -x7203 -x7202 -x7201 
3588.59/3598.27	v -x7200 -x7199 -x7198 -x7197 -x7196 -x7195 -x7194 -x7193 -x7192 -x7191 -x7190 -x7188 -x7187 -x7186 -x7185 -x7184 -x7183 
3588.59/3598.27	v -x7182 -x7181 -x7180 -x7179 -x7178 -x7177 -x7176 -x7175 -x7174 -x7173 -x7172 -x7171 -x7170 -x7169 -x7168 -x7167 -x7166 -x7165 
3588.59/3598.27	v -x7164 -x7163 -x7161 -x7160 -x7159 -x7158 -x7157 -x7156 -x7155 -x7154 -x7153 -x7152 -x7151 -x7150 -x7149 -x7148 -x7147 -x7146 
3588.59/3598.27	v -x7145 -x7144 -x7143 -x7142 -x7141 -x7140 -x7139 -x7138 -x7137 -x7136 -x7134 -x7133 -x7132 -x7131 -x7130 -x7129 -x7128 -x7127 
3588.59/3598.27	v -x7126 -x7125 -x7124 -x7123 -x7122 -x7121 -x7120 -x7119 -x7118 -x7117 -x7116 -x7115 -x7114 -x7113 -x7112 -x7111 -x7110 -x7109 
3588.59/3598.27	v -x7107 -x7106 -x7105 -x7104 -x7103 -x7102 -x7101 -x7100 -x7099 -x7098 -x7097 -x7096 -x7095 -x7094 -x7093 -x7092 -x7091 -x7090 
3588.59/3598.27	v -x7089 -x7088 -x7087 -x7086 -x7085 -x7084 -x7083 -x7082 -x7080 -x7079 -x7078 -x7077 -x7076 -x7075 -x7074 -x7073 -x7072 -x7071 
3588.59/3598.27	v -x7070 -x7069 -x7068 -x7067 -x7066 -x7065 -x7064 -x7063 -x7062 -x7061 -x7060 -x7059 -x7058 -x7057 -x7056 -x7055 -x7053 
3588.59/3598.27	v -x7052 -x7051 -x7050 -x7049 -x7048 -x7047 -x7046 -x7045 -x7044 -x7043 -x7042 -x7041 -x7040 -x7039 -x7038 -x7037 -x7036 -x7035 
3588.59/3598.27	v -x7034 -x7033 -x7032 -x7031 -x7030 -x7029 -x7028 -x7026 -x7025 -x7024 -x7023 -x7022 -x7021 -x7020 -x7019 -x7018 -x7017 -x7016 
3588.59/3598.27	v -x7015 -x7014 -x7013 -x7012 -x7011 -x7010 -x7009 -x7008 -x7007 -x7006 -x7005 -x7004 -x7003 -x7002 -x7001 -x7000 -x6999 -x6998 
3588.59/3598.27	v -x6997 -x6996 -x6995 -x6994 -x6993 -x6992 -x6991 -x6990 -x6989 -x6988 -x6987 -x6986 -x6985 -x6984 -x6983 -x6982 -x6981 -x6980 
3588.59/3598.27	v -x6979 -x6978 -x6977 -x6976 -x6975 -x6974 -x6973 -x6972 -x6971 -x6970 -x6968 -x6967 -x6966 -x6965 -x6964 -x6963 -x6962 -x6961 
3588.59/3598.27	v -x6960 -x6959 -x6958 -x6957 -x6956 -x6955 -x6954 -x6953 -x6952 -x6951 -x6950 -x6949 -x6948 -x6947 -x6946 -x6945 -x6944 -x6943 
3588.59/3598.27	v -x6942 -x6941 -x6940 -x6939 -x6938 -x6937 -x6936 -x6935 -x6934 -x6933 -x6932 -x6931 -x6930 -x6929 -x6928 -x6927 -x6926 
3588.59/3598.27	v -x6925 -x6924 -x6923 -x6922 -x6921 -x6920 -x6919 -x6918 -x6917 -x6916 -x6915 -x6914 -x6913 -x6912 -x6910 -x6909 -x6908 -x6907 
3588.59/3598.27	v -x6906 -x6905 -x6904 -x6903 -x6902 -x6901 -x6900 -x6899 -x6898 -x6897 -x6896 -x6895 -x6894 -x6893 -x6892 -x6891 -x6890 -x6889 
3588.59/3598.27	v -x6888 -x6887 -x6886 -x6885 -x6884 -x6883 -x6882 -x6881 -x6880 -x6879 -x6878 -x6877 -x6876 -x6875 -x6874 -x6873 -x6872 -x6871 
3588.59/3598.27	v -x6870 -x6869 -x6868 -x6867 -x6866 -x6865 -x6864 -x6863 -x6862 -x6861 -x6860 -x6859 -x6858 -x6857 -x6856 -x6855 x6854 -x6852 
3588.59/3598.27	v -x6851 -x6850 -x6849 -x6848 -x6847 -x6846 -x6845 -x6844 -x6843 -x6842 -x6841 -x6840 -x6839 -x6838 -x6837 -x6836 -x6835 -x6834 
3588.59/3598.27	v -x6833 -x6832 -x6831 -x6830 -x6829 -x6828 -x6827 -x6826 -x6825 -x6824 -x6823 -x6822 -x6821 -x6820 -x6819 -x6818 -x6817 -x6816 
3588.59/3598.27	v -x6815 -x6814 -x6813 -x6812 -x6811 -x6810 -x6809 -x6808 -x6807 -x6806 -x6805 -x6804 -x6803 -x6802 -x6801 -x6800 -x6799 -x6798 
3588.59/3598.27	v -x6797 -x6796 -x6794 -x6793 -x6792 -x6791 -x6790 -x6789 -x6788 -x6787 -x6786 -x6785 -x6784 -x6783 -x6782 -x6781 -x6780 
3588.59/3598.27	v -x6779 -x6778 -x6777 -x6776 -x6775 -x6774 -x6773 -x6772 -x6771 -x6770 -x6769 -x6768 -x6767 -x6766 -x6765 -x6764 -x6763 -x6762 
3588.59/3598.27	v -x6761 -x6760 -x6759 -x6758 -x6757 -x6756 -x6755 -x6754 -x6753 -x6752 -x6751 -x6750 -x6749 -x6748 -x6747 -x6746 -x6745 -x6744 
3588.59/3598.27	v -x6743 -x6742 -x6741 -x6740 -x6739 -x6738 -x6736 -x6735 -x6734 -x6733 -x6732 -x6731 -x6730 -x6729 -x6728 -x6727 -x6726 -x6725 
3588.59/3598.27	v -x6724 -x6723 -x6722 -x6721 -x6720 -x6719 -x6718 -x6717 -x6716 -x6715 -x6714 -x6713 -x6712 -x6711 -x6710 -x6709 -x6708 -x6707 
3588.59/3598.27	v -x6706 -x6705 -x6704 -x6703 -x6702 -x6701 -x6700 -x6699 -x6698 -x6697 -x6696 -x6695 -x6694 -x6693 -x6692 -x6691 -x6690 -x6689 
3588.59/3598.27	v -x6688 -x6687 -x6686 -x6685 -x6684 -x6683 -x6682 -x6681 -x6680 -x6678 -x6677 -x6676 -x6675 -x6674 -x6673 -x6672 -x6671 -x6670 
3588.59/3598.27	v -x6669 -x6668 -x6667 -x6666 -x6665 -x6664 -x6663 -x6662 -x6661 -x6660 -x6659 -x6658 -x6657 -x6656 -x6655 -x6654 -x6653 
3588.59/3598.27	v -x6652 -x6651 -x6650 -x6649 -x6648 -x6647 -x6646 -x6645 -x6644 -x6643 -x6642 -x6641 -x6640 -x6639 -x6638 -x6637 -x6636 -x6635 
3588.59/3598.27	v -x6634 -x6633 -x6632 -x6631 -x6630 -x6629 -x6628 -x6627 -x6626 -x6625 -x6624 -x6623 x6622 -x6620 -x6619 -x6618 -x6617 -x6616 
3588.59/3598.27	v -x6615 -x6614 -x6613 -x6612 -x6611 -x6610 -x6609 -x6608 -x6607 -x6606 -x6605 -x6604 -x6603 -x6602 -x6601 -x6600 -x6599 -x6598 
3588.59/3598.27	v -x6597 -x6596 -x6595 -x6594 -x6593 -x6592 -x6591 -x6590 -x6589 -x6588 -x6587 -x6586 -x6585 -x6584 -x6583 -x6582 -x6581 -x6580 
3588.59/3598.27	v -x6579 -x6578 -x6577 -x6576 -x6575 -x6574 -x6573 -x6572 -x6571 -x6570 -x6569 -x6568 -x6567 -x6566 -x6565 -x6564 -x6562 -x6561 
3588.59/3598.27	v -x6560 -x6559 -x6557 -x6555 -x6554 -x6553 -x6552 -x6550 -x6548 -x6547 -x6546 -x6545 -x6543 -x6541 -x6540 -x6539 x6538 -x6536 
3588.59/3598.27	v -x6534 -x6533 -x6532 -x6531 x6529 -x6527 -x6526 -x6525 -x6524 x6522 -x6520 -x6519 -x6518 -x6517 -x6515 -x6513 -x6512 -x6511 
3588.59/3598.27	v -x6510 x6508 -x6506 -x6505 -x6504 -x6503 -x6501 -x6499 -x6498 -x6497 -x6496 -x6494 -x6492 -x6491 -x6490 -x6489 -x6487 -x6486 
3588.59/3598.27	v -x6485 -x6484 -x6482 -x6480 -x6479 -x6478 -x6477 -x6475 -x6473 -x6472 -x6471 -x6470 -x6468 -x6466 -x6465 -x6464 -x6463 -x6461 
3588.59/3598.27	v -x6459 -x6458 -x6457 -x6456 -x6454 -x6452 -x6451 -x6450 -x6449 x6447 -x6445 -x6444 -x6443 -x6442 -x6440 -x6438 -x6437 -x6436 
3588.59/3598.27	v -x6435 -x6433 -x6431 -x6430 -x6429 -x6428 -x6426 -x6424 -x6423 -x6422 -x6421 -x6419 -x6417 -x6416 -x6415 -x6414 -x6412 -x6410 
3588.59/3598.27	v -x6409 -x6408 x6407 -x6405 -x6403 -x6402 -x6401 -x6400 -x6398 -x6396 -x6395 -x6394 x6393 -x6391 -x6389 -x6388 -x6387 x6386 
3588.59/3598.27	v -x6384 -x6382 -x6381 -x6380 -x6379 x6377 -x6375 -x6374 -x6373 -x6372 -x6370 -x6368 -x6367 -x6366 -x6365 -x6363 -x6361 -x6360 
3588.59/3598.27	v -x6359 -x6358 -x6356 -x6354 -x6353 -x6352 -x6351 -x6349 -x6347 -x6346 -x6345 -x6344 -x6342 -x6340 -x6339 -x6338 -x6337 -x6335 
3588.59/3598.27	v -x6333 -x6332 -x6331 -x6330 -x6328 -x6326 -x6325 -x6324 -x6323 -x6321 -x6320 -x6319 -x6318 -x6317 -x6316 -x6315 -x6314 -x6313 
3588.59/3598.27	v -x6312 -x6311 -x6309 -x6308 -x6307 -x6306 -x6305 -x6304 -x6303 -x6302 -x6301 -x6300 -x6299 -x6297 -x6296 -x6295 -x6294 -x6293 
3588.59/3598.27	v -x6292 -x6291 -x6290 -x6289 -x6288 -x6287 -x6285 -x6284 -x6283 -x6282 -x6281 -x6280 -x6279 -x6278 -x6277 -x6276 -x6275 
3588.59/3598.27	v -x6273 -x6272 -x6271 -x6270 -x6269 -x6268 -x6267 -x6266 -x6265 -x6264 -x6263 -x6261 -x6260 -x6259 -x6258 -x6257 -x6256 -x6255 
3588.59/3598.27	v -x6254 -x6253 -x6252 x6251 -x6249 -x6248 -x6247 -x6246 -x6245 -x6244 -x6243 -x6242 -x6241 -x6240 -x6239 -x6237 -x6236 -x6235 
3588.59/3598.27	v -x6234 -x6233 -x6232 -x6231 -x6230 -x6229 -x6228 -x6227 -x6225 -x6224 -x6223 -x6222 -x6221 -x6220 -x6219 -x6218 -x6217 -x6216 
3588.59/3598.27	v -x6215 -x6213 -x6212 -x6211 -x6210 -x6209 -x6208 -x6207 -x6206 -x6205 -x6204 -x6203 -x6201 -x6200 -x6199 -x6198 -x6197 -x6196 
3588.59/3598.27	v -x6195 -x6194 -x6193 -x6192 -x6191 -x6189 -x6188 -x6187 -x6186 -x6185 -x6184 -x6183 -x6182 -x6181 -x6180 -x6179 -x6177 -x6176 
3588.59/3598.27	v -x6175 -x6174 -x6173 -x6172 -x6171 -x6170 -x6169 -x6168 -x6167 -x6165 -x6164 -x6163 -x6162 -x6161 -x6160 -x6159 -x6158 -x6157 
3588.59/3598.27	v -x6156 -x6155 -x6153 -x6152 -x6151 -x6150 -x6149 -x6148 -x6147 -x6146 -x6145 -x6144 -x6143 -x6141 -x6140 -x6139 -x6138 -x6137 
3588.59/3598.27	v -x6136 -x6135 -x6134 -x6133 -x6132 -x6131 -x6129 -x6128 -x6127 -x6126 -x6125 -x6124 -x6123 -x6122 -x6121 -x6120 -x6119 
3588.59/3598.27	v -x6117 -x6116 -x6115 -x6114 -x6113 -x6112 -x6111 -x6110 -x6109 -x6108 x6107 -x6105 -x6104 -x6103 -x6102 -x6101 -x6100 -x6099 
3588.59/3598.27	v -x6098 -x6097 -x6096 x6095 -x6093 -x6092 -x6091 -x6090 -x6089 -x6088 -x6087 -x6086 -x6085 -x6084 -x6083 -x6081 -x6080 -x6079 
3588.59/3598.27	v -x6078 -x6077 -x6076 -x6075 -x6074 -x6073 -x6072 -x6071 -x6069 -x6068 -x6067 -x6066 -x6065 -x6064 -x6063 -x6062 -x6061 -x6060 
3588.59/3598.27	v -x6059 -x6058 -x6057 -x6056 -x6055 -x6054 -x6053 -x6052 -x6051 -x6050 -x6049 -x6048 -x6047 -x6046 -x6045 -x6044 -x6042 -x6041 
3588.59/3598.27	v -x6040 -x6039 -x6038 -x6037 -x6036 -x6035 -x6034 -x6033 -x6032 -x6031 -x6030 -x6029 -x6028 -x6027 -x6026 -x6025 -x6024 -x6023 
3588.59/3598.27	v -x6022 -x6021 -x6020 -x6019 -x6018 -x6017 -x6015 -x6014 -x6013 -x6012 -x6011 -x6010 -x6009 -x6008 -x6007 -x6006 -x6005 -x6004 
3588.59/3598.27	v -x6003 -x6002 -x6001 -x6000 -x5999 -x5998 -x5997 -x5996 -x5995 -x5994 -x5993 -x5992 -x5991 -x5990 -x5988 -x5987 -x5986 -x5985 
3588.59/3598.27	v -x5984 -x5983 -x5982 -x5981 -x5980 -x5979 -x5978 -x5977 -x5976 -x5975 -x5974 -x5973 -x5972 -x5971 -x5970 -x5969 -x5968 -x5967 
3588.59/3598.27	v -x5966 -x5965 -x5964 x5963 -x5961 -x5960 -x5959 -x5958 -x5957 -x5956 -x5955 -x5954 -x5953 -x5952 -x5951 -x5950 -x5949 -x5948 
3588.59/3598.27	v -x5947 -x5946 -x5945 -x5944 -x5943 -x5942 -x5941 -x5940 -x5939 -x5938 -x5937 -x5936 -x5934 -x5933 -x5932 -x5931 -x5930 
3588.59/3598.27	v -x5929 -x5928 -x5927 -x5926 -x5925 -x5924 -x5923 -x5922 -x5921 -x5920 -x5919 -x5918 -x5917 -x5916 -x5915 -x5914 -x5913 -x5912 
3588.59/3598.27	v -x5911 -x5910 -x5909 -x5907 -x5906 -x5905 -x5904 -x5903 -x5902 -x5901 -x5900 -x5899 -x5898 -x5897 -x5896 -x5895 -x5894 -x5893 
3588.59/3598.27	v -x5892 -x5891 -x5890 -x5889 -x5888 -x5887 -x5886 -x5885 -x5884 -x5883 x5882 -x5880 -x5879 -x5878 -x5877 -x5875 -x5874 -x5873 
3588.59/3598.27	v -x5872 -x5870 -x5869 -x5868 -x5867 -x5865 -x5864 -x5863 -x5862 -x5860 -x5859 -x5858 -x5857 -x5855 -x5854 -x5853 -x5852 -x5850 
3588.59/3598.27	v -x5849 -x5848 x5847 -x5845 -x5844 -x5843 -x5842 -x5840 -x5839 -x5838 -x5837 -x5835 -x5834 -x5833 -x5832 -x5830 -x5829 -x5828 
3588.59/3598.27	v -x5827 -x5825 -x5824 -x5823 -x5822 -x5820 -x5819 -x5818 -x5817 -x5815 -x5814 -x5813 -x5812 -x5810 -x5809 -x5808 -x5807 -x5805 
3588.59/3598.27	v -x5804 -x5803 -x5802 -x5800 -x5799 -x5798 -x5797 -x5795 -x5794 -x5793 -x5792 -x5790 -x5789 -x5788 -x5787 -x5785 -x5784 -x5783 
3588.59/3598.27	v -x5782 -x5780 -x5779 -x5778 -x5777 -x5775 -x5774 -x5773 -x5772 -x5770 -x5769 -x5768 -x5767 -x5765 -x5764 -x5763 -x5762 -x5760 
3588.59/3598.27	v -x5759 -x5758 x5757 -x5755 -x5754 -x5753 -x5752 -x5750 -x5749 -x5748 -x5747 -x5745 -x5744 -x5743 -x5742 -x5740 -x5739 -x5738 
3588.59/3598.27	v x5737 -x5735 -x5734 -x5733 -x5732 -x5730 -x5729 -x5728 x5727 -x5725 -x5724 -x5723 -x5722 -x5720 -x5719 -x5718 -x5717 -x5715 
3588.59/3598.27	v -x5714 -x5713 -x5712 -x5710 -x5709 -x5708 -x5707 -x5705 -x5704 -x5703 -x5702 -x5700 -x5699 -x5698 -x5697 -x5695 -x5694 -x5693 
3588.59/3598.27	v -x5692 -x5690 -x5689 -x5688 -x5687 -x5685 -x5684 -x5683 -x5682 -x5680 -x5679 -x5678 -x5677 -x5675 -x5674 -x5673 -x5672 
3588.59/3598.27	v -x5670 -x5669 -x5668 -x5667 -x5665 -x5664 -x5663 -x5662 -x5660 -x5659 -x5658 -x5657 -x5655 -x5654 -x5653 -x5652 -x5650 -x5649 
3588.59/3598.27	v -x5648 -x5647 -x5645 -x5644 -x5643 -x5642 -x5640 -x5639 -x5638 -x5637 -x5635 -x5634 -x5633 -x5632 -x5630 -x5629 -x5628 -x5627 
3588.59/3598.27	v -x5625 -x5624 -x5623 -x5622 -x5620 -x5619 -x5618 -x5617 -x5615 -x5614 -x5613 -x5612 -x5610 -x5609 -x5608 -x5607 -x5605 -x5604 
3588.59/3598.27	v -x5603 -x5602 -x5600 -x5599 -x5598 -x5597 -x5595 -x5594 -x5593 -x5592 -x5590 -x5589 -x5588 -x5587 -x5585 -x5584 -x5583 -x5582 
3588.59/3598.27	v -x5580 -x5579 -x5578 -x5577 -x5575 -x5574 -x5573 -x5572 -x5570 -x5569 -x5568 -x5567 -x5565 -x5564 -x5563 -x5562 -x5560 -x5559 
3588.59/3598.27	v -x5558 -x5557 -x5555 -x5554 -x5553 -x5552 -x5550 -x5549 -x5548 -x5547 -x5545 -x5544 -x5543 -x5542 -x5540 -x5539 -x5538 -x5537 
3588.59/3598.27	v -x5536 -x5535 -x5534 -x5533 -x5532 -x5531 -x5530 -x5528 -x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5520 -x5519 -x5518 
3588.59/3598.27	v -x5517 -x5516 -x5514 -x5512 -x5511 -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5500 -x5498 -x5497 -x5496 
3588.59/3598.27	v -x5495 -x5494 -x5493 -x5492 -x5491 -x5490 -x5489 x5488 -x5486 -x5484 -x5483 -x5482 -x5481 -x5480 -x5479 -x5478 -x5477 -x5476 
3588.59/3598.27	v -x5475 -x5474 x5472 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463 -x5462 -x5461 -x5460 x5458 -x5456 -x5455 -x5454 
3588.59/3598.27	v -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5444 -x5442 -x5441 -x5440 -x5439 -x5438 -x5437 -x5436 -x5435 -x5434 
3588.59/3598.27	v -x5433 -x5432 x5430 -x5428 -x5427 -x5426 -x5425 -x5424 -x5423 -x5422 -x5421 -x5420 -x5419 -x5418 -x5416 -x5414 -x5413 -x5412 
3588.59/3598.27	v -x5411 -x5410 -x5409 -x5408 -x5407 -x5406 -x5405 -x5404 -x5402 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 
3588.59/3598.27	v -x5391 -x5390 -x5388 -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5374 -x5372 -x5371 -x5370 
3588.59/3598.27	v -x5369 -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 x5362 -x5360 -x5359 -x5358 -x5357 -x5356 -x5355 -x5354 -x5353 -x5352 -x5351 
3588.59/3598.27	v -x5350 -x5348 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341 -x5340 -x5339 -x5338 -x5337 x5336 -x5334 -x5332 -x5331 -x5330 -x5329 
3588.59/3598.27	v -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 x5322 -x5320 -x5318 -x5317 -x5316 -x5315 -x5314 -x5313 -x5312 -x5311 -x5310 -x5309 
3588.59/3598.27	v -x5308 x5306 -x5304 -x5303 -x5302 -x5301 -x5300 -x5299 -x5298 -x5297 -x5296 -x5295 -x5294 -x5292 -x5290 -x5289 -x5288 -x5287 
3588.59/3598.27	v -x5286 -x5285 -x5284 -x5283 -x5282 -x5281 -x5280 -x5278 -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 
3588.59/3598.27	v -x5266 -x5264 -x5262 -x5261 -x5260 -x5259 -x5258 -x5257 -x5256 -x5255 -x5254 -x5253 -x5252 -x5250 -x5248 -x5247 -x5246 -x5245 
3588.59/3598.27	v -x5244 -x5243 -x5242 -x5241 -x5240 -x5239 -x5238 -x5236 -x5234 -x5233 -x5232 -x5231 -x5230 -x5229 -x5228 -x5227 -x5226 -x5225 
3588.59/3598.27	v -x5224 -x5222 -x5220 -x5219 -x5218 -x5217 -x5216 -x5215 -x5214 -x5213 -x5212 -x5211 -x5210 -x5208 -x5206 -x5205 -x5204 
3588.59/3598.27	v -x5203 -x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 -x5194 -x5193 -x5192 -x5191 -x5190 -x5189 -x5188 -x5187 -x5186 -x5185 
3588.59/3598.27	v -x5184 -x5182 -x5180 -x5179 -x5178 -x5177 -x5176 -x5175 -x5174 -x5173 -x5172 -x5171 -x5170 -x5168 -x5167 -x5166 -x5165 -x5164 
3588.59/3598.27	v -x5163 -x5162 -x5161 -x5160 -x5159 -x5158 -x5156 -x5154 -x5153 -x5152 -x5151 -x5150 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 
3588.59/3598.27	v -x5142 -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 -x5133 -x5132 -x5131 -x5130 -x5128 -x5126 -x5125 -x5124 -x5123 -x5122 
3588.59/3598.27	v -x5121 -x5120 -x5119 -x5118 -x5117 -x5116 -x5114 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105 -x5104 -x5103 -x5102 
3588.59/3598.27	v -x5100 -x5099 -x5098 -x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 -x5082 
3588.59/3598.27	v -x5081 -x5080 -x5079 -x5078 -x5076 -x5074 -x5073 -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 -x5066 -x5065 -x5064 -x5062 
3588.59/3598.27	v -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 -x5050 -x5048 -x5046 -x5045 -x5044 -x5043 -x5042 -x5041 
3588.59/3598.27	v -x5040 -x5039 -x5038 -x5037 -x5036 -x5034 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 -x5020 
3588.59/3598.27	v -x5018 -x5017 -x5016 -x5015 -x5014 -x5013 -x5012 -x5011 -x5010 -x5009 -x5008 -x5006 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 
3588.59/3598.27	v -x4998 -x4997 -x4996 -x4995 -x4994 -x4992 -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4978 
3588.59/3598.27	v -x4976 -x4975 -x4974 -x4973 -x4972 -x4971 -x4970 -x4969 -x4968 -x4967 -x4966 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 
3588.59/3598.27	v -x4957 -x4956 -x4955 -x4954 -x4952 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x4938 -x4936 
3588.59/3598.27	v -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4924 -x4922 -x4921 -x4920 -x4919 -x4918 -x4917 
3588.59/3598.27	v -x4916 -x4915 -x4914 -x4913 -x4912 -x4910 -x4908 -x4907 -x4906 -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4896 
3588.59/3598.27	v -x4894 -x4893 -x4892 -x4891 -x4890 -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 
3588.59/3598.27	v -x4875 -x4874 -x4873 -x4872 -x4870 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4856 -x4854 
3588.59/3598.27	v -x4853 -x4852 -x4851 -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 
3588.59/3598.27	v -x4834 -x4833 -x4832 -x4830 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4816 -x4815 -x4814 
3588.59/3598.27	v -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4804 -x4802 -x4801 -x4800 -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 
3588.59/3598.27	v -x4793 -x4792 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 -x4778 -x4777 -x4776 -x4775 
3588.59/3598.27	v -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 -x4760 -x4759 -x4758 -x4757 
3588.59/3598.27	v -x4756 -x4755 -x4754 -x4753 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 -x4740 -x4739 -x4738 
3588.59/3598.27	v -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 
3588.59/3598.27	v -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 -x4701 
3588.59/3598.27	v -x4700 x4699 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 
3588.59/3598.27	v -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 -x4674 -x4673 -x4672 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 
3588.59/3598.27	v -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 
3588.59/3598.27	v -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 
3588.59/3598.27	v -x4626 -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 
3588.59/3598.27	v -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 -x4589 
3588.59/3598.27	v -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 
3588.59/3598.27	v -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 
3588.59/3598.27	v -x4551 -x4550 -x4549 -x4548 -x4547 -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4535 -x4534 -x4533 
3588.59/3598.27	v -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 
3588.59/3598.27	v -x4514 -x4513 -x4512 -x4511 -x4510 -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 
3588.59/3598.27	v -x4496 -x4495 -x4494 -x4493 -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4481 -x4480 -x4479 -x4478 
3588.59/3598.27	v -x4477 -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 
3588.59/3598.27	v -x4459 -x4458 -x4457 x4456 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 
3588.59/3598.27	v -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 x4429 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 
3588.59/3598.27	v -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 
3588.59/3598.27	v -x4403 -x4402 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 
3588.59/3598.27	v -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 
3588.59/3598.27	v -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 
3588.59/3598.27	v -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 
3588.59/3598.27	v -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 
3588.59/3598.27	v -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4292 
3588.59/3598.27	v -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 
3588.59/3598.27	v -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 
3588.59/3598.27	v -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4238 -x4237 -x4236 
3588.59/3598.27	v -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 
3588.59/3598.27	v -x4217 -x4216 -x4215 -x4214 -x4213 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 
3588.59/3598.27	v -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4184 -x4183 -x4182 -x4181 
3588.59/3598.27	v -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 
3588.59/3598.27	v -x4162 -x4161 -x4160 -x4159 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 
3588.59/3598.27	v -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 
3588.59/3598.27	v -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 
3588.59/3598.27	v -x4106 -x4105 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 
3588.59/3598.27	v -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 
3588.59/3598.27	v -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 
3588.59/3598.27	v -x4051 -x4049 -x4048 -x4047 -x4046 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 
3588.59/3598.27	v -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 
3588.59/3598.27	v -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 
3588.59/3598.27	v -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 
3588.59/3598.27	v -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 
3588.59/3598.27	v -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 
3588.59/3598.27	v -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 
3588.59/3598.27	v -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 x3908 -x3906 -x3905 
3588.59/3598.27	v -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 
3588.59/3598.27	v -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 
3588.59/3598.27	v -x3868 -x3867 -x3866 -x3865 -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 
3588.59/3598.27	v x3850 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 
3588.59/3598.27	v -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 
3588.59/3598.27	v -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 
3588.59/3598.27	v -x3795 -x3794 -x3793 -x3792 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 
3588.59/3598.27	v -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 
3588.59/3598.27	v -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 
3588.59/3598.27	v -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 
3588.59/3598.27	v -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 
3588.59/3598.27	v -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 
3588.59/3598.27	v -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 
3588.59/3598.27	v -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 
3588.59/3598.27	v -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 
3588.59/3598.27	v -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3616 -x3615 -x3614 
3588.59/3598.27	v -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 
3588.59/3598.27	v -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 
3588.59/3598.27	v -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3560 
3588.59/3598.27	v -x3558 -x3557 -x3556 -x3555 -x3553 -x3552 -x3551 -x3550 -x3548 -x3547 -x3546 -x3545 -x3543 -x3542 -x3541 -x3540 -x3538 -x3537 
3588.59/3598.27	v -x3536 -x3535 -x3533 -x3532 -x3531 -x3530 -x3528 -x3527 -x3526 -x3525 -x3523 -x3522 -x3521 -x3520 -x3518 -x3517 -x3516 
3588.59/3598.27	v -x3515 -x3513 -x3512 -x3511 -x3510 -x3508 -x3507 -x3506 -x3505 -x3503 -x3502 -x3501 -x3500 -x3498 -x3497 -x3496 -x3495 -x3493 
3588.59/3598.27	v -x3492 -x3491 -x3490 -x3488 -x3487 -x3486 -x3485 -x3483 -x3482 -x3481 x3480 -x3478 -x3477 -x3476 -x3475 -x3473 -x3472 -x3471 
3588.59/3598.27	v -x3470 -x3468 -x3467 -x3466 -x3465 -x3463 -x3462 -x3461 -x3460 -x3458 -x3457 -x3456 -x3455 -x3453 -x3452 -x3451 -x3450 -x3448 
3588.59/3598.27	v -x3447 -x3446 -x3445 -x3443 -x3442 -x3441 -x3440 -x3438 -x3437 -x3436 x3435 -x3433 -x3432 -x3431 -x3430 -x3428 -x3427 -x3426 
3588.59/3598.27	v -x3425 -x3423 -x3422 -x3421 -x3420 -x3418 -x3417 -x3416 -x3415 -x3413 -x3412 -x3411 -x3410 -x3408 -x3407 -x3406 -x3405 -x3403 
3588.59/3598.27	v -x3402 -x3401 -x3400 -x3398 -x3397 -x3396 -x3395 -x3393 -x3392 -x3391 -x3390 -x3388 -x3387 -x3386 -x3385 -x3383 -x3382 -x3381 
3588.59/3598.27	v -x3380 -x3378 -x3377 -x3376 -x3375 -x3373 -x3372 -x3371 -x3370 -x3368 -x3367 -x3366 -x3365 -x3363 -x3362 -x3361 -x3360 -x3358 
3588.59/3598.27	v -x3357 -x3356 -x3355 -x3353 -x3352 -x3351 -x3350 -x3348 -x3347 -x3346 -x3345 -x3343 -x3342 -x3341 -x3340 -x3338 -x3337 -x3336 
3588.59/3598.27	v x3335 -x3333 -x3332 -x3331 -x3330 -x3328 -x3327 -x3326 -x3325 -x3323 -x3322 -x3321 -x3320 -x3318 -x3317 -x3316 -x3315 -x3313 
3588.59/3598.27	v -x3312 -x3311 -x3310 -x3308 -x3307 -x3306 -x3305 -x3303 -x3302 -x3301 -x3300 -x3298 -x3297 -x3296 -x3295 -x3293 -x3292 
3588.59/3598.27	v -x3291 -x3290 -x3288 -x3287 -x3286 -x3285 -x3283 -x3282 -x3281 -x3280 -x3278 -x3277 -x3276 -x3275 -x3273 -x3272 -x3271 -x3270 
3588.59/3598.27	v -x3268 -x3267 -x3266 -x3265 -x3263 -x3262 -x3261 -x3260 -x3258 -x3257 -x3256 -x3255 -x3253 -x3252 -x3251 -x3250 -x3248 -x3247 
3588.59/3598.27	v -x3246 x3245 -x3243 -x3242 -x3241 -x3240 -x3238 -x3237 -x3236 x3235 -x3233 -x3232 -x3231 -x3230 -x3228 -x3227 -x3226 -x3225 
3588.59/3598.27	v -x3223 -x3222 -x3221 -x3220 -x3218 -x3217 -x3216 -x3215 -x3213 -x3212 -x3211 -x3210 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 
3588.59/3598.27	v -x3202 -x3201 -x3200 -x3199 -x3198 -x3196 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 x3182 
3588.59/3598.27	v -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 x3168 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 
3588.59/3598.27	v -x3160 -x3159 -x3158 -x3157 -x3156 -x3154 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3140 
3588.59/3598.27	v -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3126 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 
3588.59/3598.27	v -x3118 -x3117 -x3116 -x3115 -x3114 -x3112 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 x3098 
3588.59/3598.27	v -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3084 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 
3588.59/3598.27	v -x3076 -x3075 -x3074 -x3073 -x3072 -x3070 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3056 
3588.59/3598.27	v -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3042 -x3040 -x3039 -x3038 -x3037 -x3036 
3588.59/3598.27	v -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3028 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 
3588.59/3598.27	v x3014 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3000 -x2998 -x2997 -x2996 -x2995 -x2994 
3588.59/3598.27	v -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2986 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 
3588.59/3598.27	v -x2972 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2958 -x2956 -x2955 -x2954 -x2953 -x2952 
3588.59/3598.27	v -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2944 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 
3588.59/3598.27	v -x2930 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2916 -x2914 -x2913 -x2912 -x2911 -x2910 
3588.59/3598.27	v -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2902 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 x2890 
3588.59/3598.27	v -x2888 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 x2874 -x2872 -x2871 -x2870 -x2869 -x2868 
3588.59/3598.27	v -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2860 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 
3588.59/3598.27	v -x2846 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2832 -x2830 -x2829 -x2828 -x2827 
3588.59/3598.27	v -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 
3588.59/3598.27	v -x2806 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2792 -x2790 -x2789 -x2788 -x2787 -x2786 
3588.59/3598.27	v -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2778 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 
3588.59/3598.27	v -x2764 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2750 -x2748 -x2747 -x2746 -x2745 -x2744 
3588.59/3598.27	v -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2736 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 
3588.59/3598.27	v -x2722 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2708 -x2706 -x2705 -x2704 -x2703 -x2702 
3588.59/3598.27	v -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2694 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 
3588.59/3598.27	v x2682 -x2680 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 x2666 -x2664 -x2663 -x2662 -x2661 -x2660 
3588.59/3598.27	v -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2652 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 
3588.59/3598.27	v -x2640 -x2638 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2624 -x2622 -x2621 -x2620 -x2619 
3588.59/3598.27	v -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2610 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 
3588.59/3598.27	v -x2598 -x2596 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2582 -x2580 -x2579 -x2578 -x2577 
3588.59/3598.27	v -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2568 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 
3588.59/3598.27	v -x2556 -x2554 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2540 -x2538 -x2537 -x2536 -x2535 
3588.59/3598.27	v -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2526 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 
3588.59/3598.27	v -x2514 -x2512 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2498 -x2496 -x2495 -x2494 
3588.59/3598.27	v -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 x2486 -x2484 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 
3588.59/3598.27	v -x2473 x2472 -x2470 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2456 -x2454 -x2453 -x2452 
3588.59/3598.27	v -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2442 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 
3588.59/3598.27	v -x2431 -x2430 -x2428 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 
3588.59/3598.27	v -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 
3588.59/3598.27	v -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 
3588.59/3598.27	v -x2374 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 
3588.59/3598.27	v -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 
3588.59/3598.27	v -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 
3588.59/3598.27	v -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 
3588.59/3598.27	v -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 
3588.59/3598.27	v -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2264 -x2263 
3588.59/3598.27	v -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 
3588.59/3598.27	v -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 
3588.59/3598.27	v -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2210 -x2209 -x2208 -x2207 
3588.59/3598.27	v -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 
3588.59/3598.27	v -x2189 -x2188 -x2187 -x2186 -x2185 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 
3588.59/3598.27	v -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2156 -x2155 -x2154 -x2153 -x2152 
3588.59/3598.27	v -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 
3588.59/3598.27	v -x2133 -x2132 -x2131 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 
3588.59/3598.27	v -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 
3588.59/3598.27	v -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 
3588.59/3598.27	v -x2077 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 
3588.59/3598.27	v -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 
3588.59/3598.27	v -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 
3588.59/3598.27	v -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 
3588.59/3598.27	v -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 
3588.59/3598.27	v -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 x1969 -x1967 -x1966 
3588.59/3598.27	v -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 
3588.59/3598.27	v -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 
3588.59/3598.27	v -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1913 -x1912 -x1911 
3588.59/3598.27	v -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 
3588.59/3598.27	v -x1892 -x1891 -x1890 -x1889 -x1888 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 
3588.59/3598.27	v -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1859 -x1858 -x1857 -x1856 -x1855 
3588.59/3598.27	v -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 
3588.59/3598.27	v -x1836 -x1835 -x1834 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 
3588.59/3598.27	v -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 x1807 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 
3588.59/3598.27	v -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 
3588.59/3598.27	v -x1780 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 
3588.59/3598.27	v -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 
3588.59/3598.27	v -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 
3588.59/3598.27	v -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 
3588.59/3598.27	v -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 
3588.59/3598.27	v -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 x1672 -x1670 -x1669 
3588.59/3598.27	v -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 
3588.59/3598.27	v -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 
3588.59/3598.27	v -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 
3588.59/3598.27	v -x1615 -x1614 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 
3588.59/3598.27	v -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 
3588.59/3598.27	v -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 
3588.59/3598.27	v -x1560 -x1559 -x1558 -x1557 x1556 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 
3588.59/3598.27	v -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 
3588.59/3598.27	v -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 
3588.59/3598.27	v -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 
3588.59/3598.27	v -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 
3588.59/3598.27	v -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 
3588.59/3598.27	v -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 
3588.59/3598.27	v -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 
3588.59/3598.27	v -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 
3588.59/3598.27	v -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1380 -x1379 -x1378 
3588.59/3598.27	v -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 
3588.59/3598.27	v -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 
3588.59/3598.27	v -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 
3588.59/3598.27	v -x1324 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 
3588.59/3598.27	v -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 
3588.59/3598.27	v -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 
3588.59/3598.27	v -x1269 -x1268 -x1267 x1266 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 
3588.59/3598.27	v -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 
3588.59/3598.27	v -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 
3588.59/3598.27	v -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1200 -x1199 -x1198 x1197 -x1206 -x1203 -x1201 -x870 -x869 x868 -x867 
3588.59/3598.27	v -x866 -x865 -x864 -x863 -x1195 -x1193 -x1194 -x1192 -x1190 -x1191 -x1189 -x1187 -x1188 -x1186 -x1184 -x1185 -x1183 -x1181 -x1182 
3588.59/3598.27	v -x1180 -x1178 -x1179 -x1177 -x1175 -x1176 -x1174 -x1172 -x1173 -x1171 -x1169 -x1170 -x1168 -x1167 -x1166 -x1164 -x1165 -x1163 
3588.59/3598.27	v -x1161 -x1162 -x1160 -x1158 -x1159 -x1157 -x1155 -x1156 -x1154 -x1152 -x1153 -x1151 -x1149 -x1150 -x1148 -x1146 -x1147 
3588.59/3598.27	v -x1145 -x1143 x1144 -x1142 -x1140 -x1141 -x1139 -x1137 -x1138 -x1136 -x1134 -x1135 -x1133 -x1131 -x1132 -x1130 -x1128 -x1129 
3588.59/3598.27	v -x1127 -x1125 -x1126 -x1124 -x1122 -x1123 -x1121 -x1119 -x1120 -x1118 -x1116 -x1117 -x1115 -x1113 -x1114 -x1112 -x1110 -x1111 
3588.59/3598.27	v -x1109 -x1107 -x1108 -x1106 -x1104 -x1105 -x1103 -x1101 -x1102 -x1100 -x1098 -x1099 -x1097 -x1095 -x1096 -x1094 -x1092 -x1093 
3588.59/3598.27	v -x1091 -x1089 -x1090 -x1088 -x1086 -x1087 -x1085 -x1083 -x1084 -x1082 -x1080 -x1081 -x1079 -x1077 -x1078 -x1076 -x1074 -x1075 
3588.59/3598.27	v -x1073 -x1071 -x1072 -x1070 -x1068 -x1069 -x1067 -x1065 -x1066 -x1064 -x1063 -x1062 -x1060 -x1061 -x1059 -x1057 -x1058 -x1056 
3588.59/3598.27	v -x1054 -x1055 -x1053 -x1051 -x1052 -x1050 -x1048 -x1049 -x1047 -x1045 -x1046 -x1044 -x1042 -x1043 -x1041 -x1039 -x1040 -x1038 
3588.59/3598.27	v -x1036 -x1037 -x1035 -x1033 -x1034 -x1032 -x1030 -x1031 x1029 -x1027 -x1028 -x1026 -x1024 -x1025 -x1023 -x1021 -x1022 -x1020 
3588.59/3598.27	v -x1018 -x1019 -x1017 -x1015 -x1016 -x1014 -x1012 -x1013 -x1011 -x1009 -x1010 -x1008 -x1006 -x1007 -x1005 -x1003 -x1004 -x1002 
3588.59/3598.27	v -x1001 -x1000 -x998 -x999 -x997 -x995 -x996 -x994 -x992 -x993 -x991 -x989 -x990 -x988 -x986 -x987 -x985 -x983 -x984 -x982 
3588.59/3598.27	v -x980 -x981 -x979 -x977 -x978 -x976 -x974 -x975 -x973 -x972 -x971 -x969 -x970 -x968 -x966 x967 -x965 -x964 -x963 -x962 -x961 
3588.59/3598.27	v -x960 -x959 -x958 -x957 -x955 -x956 -x954 -x952 -x953 -x951 -x950 -x949 -x947 -x948 -x946 -x944 -x945 -x943 -x941 -x942 -x940 
3588.59/3598.27	v -x938 -x939 -x937 -x935 -x936 -x934 -x933 -x932 -x930 -x929 -x927 -x926 -x925 -x924 -x922 -x921 -x920 -x919 -x918 -x917 -x915 
3588.59/3598.27	v -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x894 
3588.59/3598.27	v x893 -x892 -x891 -x890 -x889 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 
3588.59/3598.27	v -x871 -x706 -x705 -x704 x703 -x702 -x701 -x700 -x861 -x859 -x860 -x858 -x856 -x857 -x855 -x853 -x854 -x852 -x850 -x851 -x849 
3588.59/3598.27	v -x847 -x848 -x846 -x844 -x845 -x843 -x841 -x842 -x840 -x838 -x839 -x837 -x835 -x836 -x834 -x832 -x833 -x831 -x830 -x829 -x827 
3588.59/3598.27	v -x828 -x826 -x824 -x825 -x823 -x821 -x822 -x820 -x818 -x819 -x817 -x815 -x816 -x814 -x812 x813 -x811 -x809 -x810 -x808 -x806 
3588.59/3598.27	v -x807 -x805 -x803 -x804 -x802 -x800 -x801 -x799 -x797 -x798 -x796 -x794 -x795 -x793 -x791 -x792 -x790 -x788 -x789 x787 -x785 
3588.59/3598.27	v -x786 -x784 -x782 -x783 -x781 -x779 -x780 -x778 -x776 -x777 -x775 -x773 -x774 -x772 -x770 -x771 -x769 -x767 -x768 -x766 -x764 
3588.59/3598.27	v -x765 -x763 -x761 -x762 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x750 -x749 -x748 -x747 -x746 -x745 -x743 -x742 
3588.59/3598.27	v -x740 -x739 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x728 -x727 -x725 -x724 -x723 -x722 -x720 -x719 -x717 -x716 -x714 
3588.59/3598.27	v x713 -x711 -x710 -x709 -x708 -x707 -x370 x369 -x368 -x367 -x366 -x365 -x364 -x363 -x698 -x696 -x697 -x695 -x693 -x694 -x692 
3588.59/3598.27	v -x690 -x691 -x689 -x687 -x688 -x686 -x684 -x685 -x683 -x681 -x682 -x680 -x678 -x679 -x677 -x675 -x676 -x674 -x672 -x673 -x671 
3588.59/3598.27	v -x669 -x670 -x668 -x666 -x667 -x665 -x663 -x664 -x662 -x660 -x661 -x659 -x657 -x658 -x656 -x654 -x655 -x653 -x651 -x652 -x650 
3588.59/3598.27	v -x648 -x649 -x647 -x645 -x646 -x644 -x642 -x643 -x641 -x639 -x640 -x638 -x636 -x637 -x635 -x633 -x634 -x632 -x630 -x631 
3588.59/3598.27	v -x629 -x627 -x628 -x626 -x624 -x625 -x623 -x621 -x622 -x620 -x619 -x618 -x616 -x617 -x615 -x613 -x614 -x612 -x610 -x611 -x609 
3588.59/3598.27	v -x607 -x608 -x606 -x604 -x605 -x603 -x602 -x601 -x599 -x600 -x598 -x596 -x597 -x595 -x593 -x594 -x592 -x590 -x591 -x589 -x587 
3588.59/3598.27	v -x588 -x586 -x584 -x585 -x583 -x581 -x582 -x580 -x578 -x579 -x577 -x575 -x576 -x574 -x572 -x573 -x571 -x569 -x570 -x568 -x566 
3588.59/3598.27	v -x567 -x565 -x563 -x564 -x562 -x560 -x561 x559 -x558 -x557 -x555 -x556 -x554 -x552 -x553 -x551 -x549 -x550 -x548 -x546 -x547 
3588.59/3598.27	v -x545 -x543 -x544 -x542 -x540 -x541 -x539 -x537 -x538 -x536 -x534 -x535 -x533 -x531 -x532 -x530 -x528 -x529 -x527 -x525 -x526 
3588.59/3598.27	v -x524 -x523 -x522 -x520 -x521 -x519 -x518 -x517 -x515 -x516 -x514 -x512 -x513 -x511 -x509 -x510 -x508 -x506 -x507 -x505 -x504 
3588.59/3598.27	v -x503 -x502 -x501 -x499 -x500 -x498 -x496 -x497 -x495 -x493 -x494 -x492 -x490 -x491 -x489 -x487 -x488 -x486 -x484 -x485 
3588.59/3598.27	v -x483 -x481 -x482 -x480 -x478 -x479 -x477 -x476 -x475 -x473 -x474 -x472 -x470 -x471 -x469 -x467 -x468 -x466 -x464 -x465 -x463 
3588.59/3598.27	v -x461 -x462 -x460 -x459 -x458 -x456 -x457 -x455 -x453 -x454 -x452 -x451 -x450 -x448 -x449 -x447 -x446 -x445 -x443 -x444 -x442 
3588.59/3598.27	v -x441 -x440 -x439 -x438 -x436 -x435 -x433 x432 -x431 -x430 -x428 -x427 -x426 -x425 -x423 -x422 -x421 -x420 -x418 -x417 -x415 
3588.59/3598.27	v -x414 -x412 -x411 -x409 -x408 -x407 -x406 -x405 -x404 -x402 -x401 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 
3588.59/3598.27	v -x389 -x388 -x387 -x386 -x385 -x384 -x382 -x381 -x380 -x379 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x9 -x8 -x7 -x6 -x5 
3588.59/3598.27	v -x4 x3 -x2 -x361 -x359 -x360 -x358 -x356 -x357 -x355 -x353 -x354 -x352 -x350 -x351 -x349 -x347 -x348 -x346 -x344 -x345 -x343 
3588.59/3598.27	v -x341 -x342 -x340 -x338 -x339 -x337 -x335 -x336 -x334 -x332 -x333 -x331 -x329 -x330 -x328 -x326 -x327 -x325 -x323 -x324 -x322 
3588.59/3598.27	v -x320 -x321 -x319 -x317 -x318 -x316 -x314 -x315 -x313 -x311 -x312 -x310 -x308 -x309 -x307 -x305 -x306 -x304 -x302 -x303 -x301 
3588.59/3598.27	v -x299 -x300 -x298 -x296 -x297 x295 -x293 -x294 -x292 -x290 -x291 -x289 -x287 -x288 -x286 -x284 -x285 -x283 -x281 -x282 -x280 
3588.59/3598.27	v -x278 -x279 -x277 -x275 -x276 -x274 -x272 -x273 -x271 -x269 -x270 -x268 -x266 -x267 -x265 -x263 -x264 -x262 -x260 -x261 -x259 
3588.59/3598.27	v -x257 -x258 -x256 -x254 -x255 -x253 -x251 -x252 -x250 -x248 -x249 -x247 -x245 -x246 -x244 -x242 -x243 -x241 -x239 -x240 -x238 
3588.59/3598.27	v -x236 -x237 -x235 -x233 x234 -x232 -x230 -x231 -x229 -x227 -x228 -x226 -x224 -x225 -x223 -x221 -x222 -x220 -x218 -x219 -x217 
3588.59/3598.27	v -x215 -x216 -x214 -x212 -x213 -x211 -x209 -x210 -x208 -x206 -x207 -x205 -x203 -x204 -x202 -x200 -x201 -x199 -x197 -x198 -x196 
3588.59/3598.27	v -x194 -x195 -x193 -x191 -x192 -x190 -x188 -x189 -x187 -x185 -x186 -x184 -x182 -x183 -x181 -x179 -x180 -x178 -x176 -x177 
3588.59/3598.27	v -x175 -x174 -x173 -x171 -x172 -x170 -x168 -x169 -x167 -x165 -x166 -x164 -x162 -x163 -x161 -x159 -x160 -x158 -x156 -x157 -x155 
3588.59/3598.27	v -x153 -x154 -x152 -x150 -x151 -x149 -x147 -x148 -x146 -x144 -x145 -x143 -x141 -x142 -x140 -x138 -x139 -x137 -x135 -x136 -x134 
3588.59/3598.27	v -x132 -x133 -x131 -x129 -x130 -x128 -x126 -x127 -x125 -x123 -x124 -x122 -x120 -x121 -x119 -x117 -x118 -x116 -x114 -x115 -x113 
3588.59/3598.27	v -x111 -x112 -x110 -x108 -x109 -x107 -x105 -x106 x104 -x102 -x103 -x101 -x99 -x100 -x98 -x96 -x97 -x95 -x93 -x94 -x92 -x90 
3588.59/3598.27	v -x91 -x89 -x87 -x86 -x84 -x83 -x81 -x80 -x78 -x77 -x75 -x74 -x72 -x71 -x69 -x68 -x67 -x66 -x64 -x63 -x61 -x60 -x58 -x57 -x55 
3588.59/3598.27	v -x54 -x52 -x51 -x49 -x48 -x47 -x46 -x44 x43 -x42 -x41 -x39 -x38 -x36 -x35 -x34 -x33 -x31 -x30 -x28 -x27 -x25 -x24 -x22 -x21 -x19 
3588.59/3598.27	v -x18 -x16 -x15 -x13 -x12 -x10 -x1205 -x1204 -x1202 -x8900 -x8898 -x8896 x8894 -x8889 -x8884 -x8879 -x8874 -x8869 -x8864 -x8859 
3588.59/3598.27	v -x8854 -x8849 -x8844 -x8839 -x8834 -x8829 -x8824 -x8819 -x8814 -x8809 -x8804 -x8799 -x8794 -x8789 -x8784 -x8779 -x8774 
3588.59/3598.27	v -x8769 -x8764 -x8759 -x8754 -x8749 -x8744 -x8739 -x8734 -x8729 -x8724 x8719 -x8714 -x8709 -x8704 -x8699 -x8694 -x8689 -x8684 
3588.59/3598.27	v -x8679 -x8674 -x8669 -x8664 -x8659 -x8654 -x8649 -x8644 -x8639 -x8634 -x8629 -x8624 -x8619 -x8614 -x8609 -x8604 -x8599 -x8594 
3588.59/3598.27	v -x8589 -x8584 -x8579 -x8574 -x8569 -x8564 -x8559 -x8554 -x8549 -x8537 -x8535 -x8523 -x8521 -x8509 -x8507 -x8495 -x8493 -x8481 
3588.59/3598.27	v -x8479 -x8467 -x8465 -x8453 -x8451 -x8439 -x8437 -x8425 -x8423 -x8411 -x8399 -x8397 -x8385 -x8383 -x8371 -x8369 -x8357 -x8355 
3588.59/3598.27	v -x8343 -x8341 -x8329 -x8327 -x8315 -x8313 -x8301 -x8299 -x8287 -x8285 -x8273 -x8271 -x8259 -x8257 x8245 -x8243 -x8231 -x8229 
3588.59/3598.27	v -x8217 -x8215 -x8203 -x8201 -x8189 -x8187 -x8175 -x8173 -x8161 -x8159 -x8147 -x8145 -x8133 -x8131 -x8119 -x8107 -x8105 -x8093 
3588.59/3598.27	v -x8091 -x8079 -x8077 -x8065 -x8063 -x8051 -x8049 -x8037 -x8035 -x8023 -x8021 -x8009 -x8007 -x7995 -x7993 -x7981 -x7969 -x7967 
3588.59/3598.27	v -x7955 x7953 -x7941 -x7929 -x7917 -x7905 -x7893 -x7891 -x7879 -x7877 -x7865 -x7853 -x7851 -x7839 -x7837 -x7825 -x7823 -x7811 
3588.59/3598.27	v -x7809 -x7797 -x7795 -x7783 -x7756 -x931 -x7729 -x928 -x7702 -x7675 -x923 -x7648 -x7621 -x7594 -x916 -x7567 -x7540 -x7513 
3588.59/3598.27	v -x7486 -x7459 -x7432 -x7405 -x7378 -x7351 -x7324 -x895 x7297 -x7270 -x7243 -x888 -x7216 -x7189 -x7162 -x7135 -x7108 -x7081 
3588.59/3598.27	v -x7054 -x7027 -x6969 -x6911 x6853 -x6795 -x6737 -x6679 -x6621 -x6563 -x6558 -x6556 -x6551 -x6549 -x6544 -x6542 -x6537 -x6535 
3588.59/3598.27	v -x6530 -x6528 -x6523 -x6521 -x6516 -x6514 -x6509 -x6507 -x6502 -x6500 -x6495 -x6493 -x6488 -x6483 -x6481 -x6476 -x6474 -x6469 
3588.59/3598.27	v -x6467 -x6462 -x6460 -x6455 -x6453 -x6448 x6446 -x6441 -x6439 -x6434 -x6432 -x6427 -x6425 -x6420 -x6418 -x6413 -x6411 -x6406 
3588.59/3598.27	v -x6404 -x6399 -x6397 -x6392 -x6390 x6385 -x6383 -x6378 -x6376 -x6371 -x6369 -x6364 -x6362 -x6357 -x6355 -x6350 -x6348 -x6343 
3588.59/3598.27	v -x6341 -x6336 -x6334 -x6329 -x6327 -x6322 -x6310 -x6298 -x6286 -x6274 -x751 -x6262 -x6250 -x6238 x744 -x6226 -x741 -x6214 -x738 
3588.59/3598.27	v -x6202 -x6190 -x6178 -x6166 -x729 -x6154 -x726 -x6142 -x6130 -x721 -x6118 -x718 -x6106 -x715 x6094 -x712 -x6082 -x6070 -x6043 
3588.59/3598.27	v -x6016 -x5989 x5962 -x5935 -x5908 -x5881 -x5876 -x5871 -x5866 -x5861 -x5856 -x5851 -x5846 -x5841 -x5836 -x5831 -x5826 -x5821 
3588.59/3598.27	v -x5816 -x5811 -x5806 -x5801 -x5796 -x5791 -x5786 -x5781 -x5776 -x5771 -x5766 -x5761 -x5756 -x5751 -x5746 -x5741 -x5736 -x5731 
3588.59/3598.27	v -x5726 -x5721 -x5716 -x5711 -x5706 -x5701 -x5696 -x5691 -x5686 -x5681 -x5676 -x5671 -x5666 -x5661 -x5656 -x5651 -x5646 
3588.59/3598.27	v -x5641 -x5636 -x5631 -x5626 -x5621 -x5616 -x5611 -x5606 -x5601 -x5596 -x5591 -x5586 -x5581 -x5576 -x5571 -x5566 -x5561 -x5556 
3588.59/3598.27	v -x5551 -x5546 -x5541 -x5529 -x5527 -x5515 -x5513 -x5501 -x5499 -x5487 -x5485 -x5473 -x5471 -x5459 -x5457 -x5445 -x5443 -x5431 
3588.59/3598.27	v -x5429 -x5417 -x5415 -x5403 -x5401 -x5389 -x5387 -x5375 -x5373 x5361 -x5349 -x5347 -x5335 -x5333 -x5321 -x5319 -x5307 -x5305 
3588.59/3598.27	v -x5293 -x5291 -x5279 -x5277 -x5265 -x5263 -x5251 -x5249 -x5237 -x5235 -x5223 -x5221 -x5209 -x5207 -x5195 -x5183 -x5181 -x5169 
3588.59/3598.27	v -x5157 -x5155 -x5143 -x5141 -x5129 -x5127 -x5115 -x5113 -x5101 -x5089 -x5077 -x5075 -x5063 -x5061 -x5049 -x5047 -x5035 -x5033 
3588.59/3598.27	v -x5021 -x5019 -x5007 -x5005 -x4993 -x4991 -x4979 -x4977 -x4965 -x4953 -x4951 -x4939 -x4937 -x4925 -x4923 -x4911 -x4909 -x4897 
3588.59/3598.27	v -x4895 -x4883 -x4871 -x4869 -x4857 -x4855 -x4843 -x4831 -x4829 -x4817 -x4805 -x4803 -x4791 -x4779 -x4752 -x437 -x4725 -x434 
3588.59/3598.27	v x4698 -x4671 -x429 -x4644 -x4617 -x424 -x4590 -x4563 -x419 -x4536 -x416 -x4509 -x413 -x4482 -x410 -x4455 -x4428 -x4401 -x403 
3588.59/3598.27	v -x4374 -x400 -x4347 -x4320 -x4293 -x4266 -x4239 -x4212 -x4185 -x4158 -x383 -x4131 -x4104 -x378 -x4077 -x4050 -x4023 -x3965 
3588.59/3598.27	v x3907 -x3849 -x3791 -x3733 -x3675 -x3617 -x3559 -x3554 -x3549 -x3544 -x3539 -x3534 -x3529 -x3524 -x3519 -x3514 -x3509 -x3504 
3588.59/3598.27	v -x3499 -x3494 -x3489 -x3484 -x3479 -x3474 -x3469 -x3464 -x3459 -x3454 -x3449 -x3444 -x3439 -x3434 -x3429 -x3424 -x3419 -x3414 
3588.59/3598.27	v -x3409 -x3404 -x3399 -x3394 -x3389 -x3384 -x3379 -x3374 -x3369 -x3364 -x3359 -x3354 -x3349 -x3344 -x3339 x3334 -x3329 -x3324 
3588.59/3598.27	v -x3319 -x3314 -x3309 -x3304 -x3299 -x3294 -x3289 -x3284 -x3279 -x3274 -x3269 -x3264 -x3259 -x3254 -x3249 -x3244 -x3239 -x3234 
3588.59/3598.27	v -x3229 -x3224 -x3219 -x3214 -x3209 -x3197 -x3195 -x3183 -x3181 -x3169 -x3167 -x3155 -x3153 -x3141 -x3139 -x3127 -x3125 -x3113 
3588.69/3598.30	v -x3111 -x3099 x3097 -x3085 -x3083 -x3071 -x3069 -x3057 -x3055 -x3043 -x3041 -x3029 -x3027 -x3015 -x3013 -x3001 -x2999 -x2987 
3588.69/3598.30	v -x2985 -x2973 -x2971 -x2959 -x2957 -x2945 -x2943 -x2931 -x2929 -x2917 -x2915 -x2903 -x2901 -x2889 -x2887 -x2875 -x2873 -x2861 
3588.69/3598.30	v -x2859 -x2847 -x2845 -x2833 -x2831 -x2819 -x2807 -x2805 -x2793 -x2791 -x2779 -x2777 -x2765 -x2763 -x2751 -x2749 -x2737 
3588.69/3598.30	v -x2735 -x2723 -x2721 -x2709 -x2707 -x2695 -x2693 -x2681 -x2679 -x2667 -x2665 -x2653 -x2651 -x2639 -x2637 -x2625 -x2623 -x2611 
3588.69/3598.30	v -x2609 -x2597 -x2595 -x2583 -x2581 -x2569 -x2567 -x2555 -x2553 -x2541 -x2539 -x2527 -x2525 -x2513 -x2511 -x2499 -x2497 x2485 
3588.69/3598.30	v -x2483 -x2471 -x2469 -x2457 -x2455 -x2443 -x2441 -x2429 -x2427 -x2400 -x88 -x2373 -x85 -x2346 -x82 -x2319 x79 -x2292 -x76 -x2265 
3588.69/3598.30	v -x73 -x2238 -x70 -x2211 -x2184 -x65 -x2157 -x62 -x2130 -x59 -x2103 -x56 -x2076 -x53 -x2049 -x50 -x2022 -x1995 -x45 x1968 
3588.69/3598.30	v -x1941 -x40 -x1914 -x37 -x1887 -x1860 -x32 -x1833 -x29 -x1806 -x26 -x1779 -x23 -x1752 -x20 -x1725 -x17 -x1698 -x14 -x1671 -x11 
3588.69/3598.30	v -x1613 -x1555 -x1497 -x1439 -x1381 -x1323 x1265 -x1207 x1196 x862 x699 x362 x1 

Verifier Data

OK	25

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=30063, runsolver pid=30060

[startup+0.100218 s]*
/proc/loadavg: 4.16 4.12 4.03 5/253 30084
/proc/meminfo: memFree=119900444/131524600 swapFree=131071996/131071996
[pid=30063] ppid=30060 vsize=81768 memory=70308 CPUtime=0.09 cores=5,7
/proc/30063/stat : 30063 (fscip) R 30060 30063 27893 0 -1 4194304 15360 0 0 0 8 1 0 0 20 0 1 0 4817177 83730432 17577 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
/proc/30063/statm: 20442 17577 2555 3035 0 16838 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 81768 KiB
Current children cumulated memory: 70308 KiB

[startup+0.205566 s]*
/proc/loadavg: 4.16 4.12 4.03 4/252 30093
/proc/meminfo: memFree=119858048/131524600 swapFree=131071996/131071996
[pid=30063] ppid=30060 vsize=110112 memory=97520 CPUtime=0.2 cores=5,7
/proc/30063/stat : 30063 (fscip) R 30060 30063 27893 0 -1 4194304 23000 0 0 0 18 2 0 0 20 0 1 0 4817177 112754688 24380 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
/proc/30063/statm: 27528 24380 2694 3035 0 23924 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 110112 KiB
Current children cumulated memory: 97520 KiB

[startup+0.305419 s]*
/proc/loadavg: 4.16 4.12 4.03 5/255 30100
/proc/meminfo: memFree=119821908/131524600 swapFree=131071996/131071996
[pid=30063] ppid=30060 vsize=106268 memory=94524 CPUtime=0.29 cores=5,7
/proc/30063/stat : 30063 (fscip) R 30060 30063 27893 0 -1 4194304 24605 0 0 0 27 2 0 0 20 0 1 0 4817177 108818432 23631 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
/proc/30063/statm: 26567 23631 2726 3035 0 22963 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 106268 KiB
Current children cumulated memory: 94524 KiB

[startup+0.700213 s]
/proc/loadavg: 4.16 4.12 4.03 4/258 30110
/proc/meminfo: memFree=119760712/131524600 swapFree=131071996/131071996
[pid=30063] ppid=30060 vsize=222680 memory=167320 CPUtime=0.69 cores=5,7
/proc/30063/stat : 30063 (fscip) S 30060 30063 27893 0 -1 1077936128 46026 0 0 0 64 5 0 0 20 0 3 0 4817177 228024320 41830 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
/proc/30063/statm: 55670 41830 2822 3035 0 48592 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 222680 KiB
Current children cumulated memory: 167320 KiB

[startup+1.50122 s]
/proc/loadavg: 4.16 4.12 4.03 4/260 30160
/proc/meminfo: memFree=119619120/131524600 swapFree=131071996/131071996
[pid=30063] ppid=30060 vsize=288216 memory=221576 CPUtime=1.48 cores=5,7
/proc/30063/stat : 30063 (fscip) S 30060 30063 27893 0 -1 1077936128 59539 0 0 0 141 7 0 0 20 0 3 0 4817177 295133184 55394 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
/proc/30063/statm: 72054 55394 2950 3035 0 62482 0
[pid=30063/tid=30115] ppid=30060 vsize=288216 memory=11712 CPUtime=0.91 cores=5,7
/proc/30063/task/30115/stat : 30115 (fscip) R 30060 30063 27893 0 -1 4194368 25744 0 0 0 88 3 0 0 20 0 3 0 4817232 295133184 55394 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
[pid=30063/tid=30126] ppid=30060 vsize=288216 memory=12552 CPUtime=0 cores=5,7
/proc/30063/task/30126/stat : 30126 (fscip) S 30060 30063 27893 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4817237 295133184 55394 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 288216 KiB
Current children cumulated memory: 221576 KiB

[startup+3.10622 s]
/proc/loadavg: 4.15 4.11 4.03 6/264 30208
/proc/meminfo: memFree=119359184/131524600 swapFree=131071996/131071996
[pid=30063] ppid=30060 vsize=353752 memory=296572 CPUtime=3.07 cores=5,7
/proc/30063/stat : 30063 (fscip) S 30060 30063 27893 0 -1 1077936128 107470 0 0 0 295 12 0 0 20 0 3 0 4817177 362242048 74143 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
/proc/30063/statm: 88438 74143 2966 3035 0 81966 0
[pid=30063/tid=30115] ppid=30060 vsize=353752 memory=174624 CPUtime=2.49 cores=5,7
/proc/30063/task/30115/stat : 30115 (fscip) R 30060 30063 27893 0 -1 4194368 73669 0 0 0 242 7 0 0 20 0 3 0 4817232 362242048 74143 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
[pid=30063/tid=30126] ppid=30060 vsize=353752 memory=0 CPUtime=0 cores=5,7
/proc/30063/task/30126/stat : 30126 (fscip) S 30060 30063 27893 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 4817237 362242048 74143 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 353752 KiB
Current children cumulated memory: 296572 KiB

[startup+6.30017 s]
/proc/loadavg: 4.15 4.11 4.03 5/264 30208
/proc/meminfo: memFree=119310700/131524600 swapFree=131071996/131071996
[pid=30063] ppid=30060 vsize=353752 memory=300700 CPUtime=6.23 cores=5,7
/proc/30063/stat : 30063 (fscip) S 30060 30063 27893 0 -1 1077936128 137032 0 0 0 610 13 0 0 20 0 3 0 4817177 362242048 75175 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
/proc/30063/statm: 88438 75175 2966 3035 0 82762 0
[pid=30063/tid=30115] ppid=30060 vsize=353752 memory=279348 CPUtime=5.66 cores=5,7
/proc/30063/task/30115/stat : 30115 (fscip) R 30060 30063 27893 0 -1 4194368 103229 0 0 0 557 9 0 0 20 0 3 0 4817232 362242048 75175 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
[pid=30063/tid=30126] ppid=30060 vsize=353752 memory=6275210 CPUtime=0 cores=5,7
/proc/30063/task/30126/stat : 30126 (fscip) S 30060 30063 27893 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4817237 362242048 75175 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 353752 KiB
Current children cumulated memory: 300700 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.11 4.03 5/264 30210
/proc/meminfo: memFree=119263996/131524600 swapFree=131071996/131071996
[pid=30063] ppid=30060 vsize=419288 memory=317144 CPUtime=12.62 cores=5,7
/proc/30063/stat : 30063 (fscip) S 30060 30063 27893 0 -1 1077936128 196913 0 0 0 1246 16 0 0 20 0 3 0 4817177 429350912 79286 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
/proc/30063/statm: 104822 79286 3014 3035 0 91343 0
[pid=30063/tid=30115] ppid=30060 vsize=419288 memory=315312 CPUtime=12.05 cores=5,7
/proc/30063/task/30115/stat : 30115 (fscip) R 30060 30063 27893 0 -1 4194368 161846 0 0 0 1193 12 0 0 20 0 3 0 4817232 429350912 79286 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
[pid=30063/tid=30126] ppid=30060 vsize=419288 memory=11712 CPUtime=0 cores=5,7
/proc/30063/task/30126/stat : 30126 (fscip) S 30060 30063 27893 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 4817237 429350912 79286 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 419288 KiB
Current children cumulated memory: 317144 KiB

[startup+25.5002 s]
/proc/loadavg: 4.17 4.12 4.03 6/264 30211
/proc/meminfo: memFree=119194484/131524600 swapFree=131071996/131071996
[pid=30063] ppid=30060 vsize=484824 memory=371672 CPUtime=25.39 cores=5,7
/proc/30063/stat : 30063 (fscip) S 30060 30063 27893 0 -1 1077936128 253967 0 0 0 2519 20 0 0 20 0 3 0 4817177 496459776 92918 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
/proc/30063/statm: 121206 92918 3014 3035 0 105640 0
[pid=30063/tid=30115] ppid=30060 vsize=484824 memory=324100 CPUtime=24.82 cores=5,7
/proc/30063/task/30115/stat : 30115 (fscip) R 30060 30063 27893 0 -1 4194368 218892 0 0 0 2466 16 0 0 20 0 3 0 4817232 496459776 92918 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
[pid=30063/tid=30126] ppid=30060 vsize=484824 memory=323892 CPUtime=0 cores=5,7
/proc/30063/task/30126/stat : 30126 (fscip) S 30060 30063 27893 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 4817237 496459776 92918 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 484824 KiB
Current children cumulated memory: 371672 KiB

[startup+51.1055 s]
/proc/loadavg: 4.11 4.11 4.03 5/265 30273
/proc/meminfo: memFree=119100468/131524600 swapFree=131071996/131071996
[pid=30063] ppid=30060 vsize=484824 memory=391820 CPUtime=50.93 cores=5,7
/proc/30063/stat : 30063 (fscip) S 30060 30063 27893 0 -1 1077936128 337666 0 0 0 5067 26 0 0 20 0 3 0 4817177 496459776 97955 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
/proc/30063/statm: 121206 97955 3014 3035 0 109949 0
[pid=30063/tid=30115] ppid=30060 vsize=484824 memory=391820 CPUtime=50.35 cores=5,7
/proc/30063/task/30115/stat : 30115 (fscip) R 30060 30063 27893 0 -1 4194368 301254 0 0 0 5013 22 0 0 20 0 3 0 4817232 496459776 97955 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
[pid=30063/tid=30126] ppid=30060 vsize=484824 memory=317144 CPUtime=0 cores=5,7
/proc/30063/task/30126/stat : 30126 (fscip) S 30060 30063 27893 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 4817237 496459776 97955 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 484824 KiB
Current children cumulated memory: 391820 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.03 6/265 30283
/proc/meminfo: memFree=119060228/131524600 swapFree=131071996/131071996
[pid=30063] ppid=30060 vsize=484824 memory=391960 CPUtime=101.99 cores=5,7
/proc/30063/stat : 30063 (fscip) S 30060 30063 27893 0 -1 1077936128 405338 0 0 0 10169 30 0 0 20 0 3 0 4817177 496459776 97990 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
/proc/30063/statm: 121206 97990 3030 3035 0 109949 0
[pid=30063/tid=30115] ppid=30060 vsize=484824 memory=11712 CPUtime=101.41 cores=5,7
/proc/30063/task/30115/stat : 30115 (fscip) R 30060 30063 27893 0 -1 4194368 368791 0 0 0 10116 25 0 0 20 0 3 0 4817232 496459776 97990 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
[pid=30063/tid=30126] ppid=30060 vsize=484824 memory=11712 CPUtime=0 cores=5,7
/proc/30063/task/30126/stat : 30126 (fscip) S 30060 30063 27893 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 3 0 4817237 496459776 97990 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 484824 KiB
Current children cumulated memory: 391960 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.03 5/265 30293
/proc/meminfo: memFree=119004852/131524600 swapFree=131071996/131071996
[pid=30063] ppid=30060 vsize=484824 memory=392372 CPUtime=161.84 cores=5,7
/proc/30063/stat : 30063 (fscip) S 30060 30063 27893 0 -1 1077936128 470783 0 0 0 16151 33 0 0 20 0 3 0 4817177 496459776 98093 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
/proc/30063/statm: 121206 98093 3030 3035 0 109949 0
[pid=30063/tid=30115] ppid=30060 vsize=484824 memory=-7668622482090321530 CPUtime=161.26 cores=5,7
/proc/30063/task/30115/stat : 30115 (fscip) R 30060 30063 27893 0 -1 4194368 434182 0 0 0 16097 29 0 0 20 0 3 0 4817232 496459776 98093 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
[pid=30063/tid=30126] ppid=30060 vsize=484824 memory=392372 CPUtime=0 cores=5,7
/proc/30063/task/30126/stat : 30126 (fscip) S 30060 30063 27893 0 -1 1077936192 61 0 0 0 0 0 0 0 20 0 3 0 4817237 496459776 98093 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 484824 KiB
Current children cumulated memory: 392372 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.10 4.03 5/265 30303
/proc/meminfo: memFree=118948944/131524600 swapFree=131071996/131071996
[pid=30063] ppid=30060 vsize=484824 memory=392400 CPUtime=221.69 cores=5,7
/proc/30063/stat : 30063 (fscip) S 30060 30063 27893 0 -1 1077936128 506466 0 0 0 22133 36 0 0 20 0 3 0 4817177 496459776 98100 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
/proc/30063/statm: 121206 98100 3030 3035 0 109949 0
[pid=30063/tid=30115] ppid=30060 vsize=484824 memory=392400 CPUtime=221.11 cores=5,7
/proc/30063/task/30115/stat : 30115 (fscip) R 30060 30063 27893 0 -1 4194368 469795 0 0 0 22080 31 0 0 20 0 3 0 4817232 496459776 98100 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
[pid=30063/tid=30126] ppid=30060 vsize=484824 memory=392400 CPUtime=0 cores=5,7
/proc/30063/task/30126/stat : 30126 (fscip) S 30060 30063 27893 0 -1 1077936192 70 0 0 0 0 0 0 0 20 0 3 0 4817237 496459776 98100 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 484824 KiB
Current children cumulated memory: 392400 KiB


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

[pid=30063] ppid=30060 vsize=814700 memory=649976 CPUtime=3453.01 cores=5,7
/proc/30063/stat : 30063 (fscip) S 30060 30063 27893 0 -1 1077936128 960902 0 0 0 345220 81 0 0 20 0 3 0 4817177 834252800 162494 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
/proc/30063/statm: 203675 162494 3334 3035 0 185123 0
[pid=30063/tid=30115] ppid=30060 vsize=814700 memory=12552 CPUtime=3452.34 cores=5,7
/proc/30063/task/30115/stat : 30115 (fscip) R 30060 30063 27893 0 -1 4194368 922786 0 0 0 345162 72 0 0 20 0 3 0 4817232 834252800 162494 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
[pid=30063/tid=30126] ppid=30060 vsize=814700 memory=644056 CPUtime=0.03 cores=5,7
/proc/30063/task/30126/stat : 30126 (fscip) S 30060 30063 27893 0 -1 1077936192 285 0 0 0 1 2 0 0 20 0 3 0 4817237 834252800 162494 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
Current children cumulated CPU time: 3453.01 s
Current children cumulated vsize: 814700 KiB
Current children cumulated memory: 649976 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.12 5/264 32068
/proc/meminfo: memFree=114764256/131524600 swapFree=131071996/131071996
[pid=30063] ppid=30060 vsize=814700 memory=652808 CPUtime=3512.87 cores=5,7
/proc/30063/stat : 30063 (fscip) S 30060 30063 27893 0 -1 1077936128 977782 0 0 0 351205 82 0 0 20 0 3 0 4817177 834252800 163202 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
/proc/30063/statm: 203675 163202 3334 3035 0 187955 0
[pid=30063/tid=30115] ppid=30060 vsize=814700 memory=12552 CPUtime=3512.2 cores=5,7
/proc/30063/task/30115/stat : 30115 (fscip) R 30060 30063 27893 0 -1 4194368 939634 0 0 0 351147 73 0 0 20 0 3 0 4817232 834252800 163202 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
[pid=30063/tid=30126] ppid=30060 vsize=814700 memory=652808 CPUtime=0.03 cores=5,7
/proc/30063/task/30126/stat : 30126 (fscip) S 30060 30063 27893 0 -1 1077936192 289 0 0 0 1 2 0 0 20 0 3 0 4817237 834252800 163202 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
Current children cumulated CPU time: 3512.87 s
Current children cumulated vsize: 814700 KiB
Current children cumulated memory: 652808 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.11 6/264 32246
/proc/meminfo: memFree=114757296/131524600 swapFree=131071996/131071996
[pid=30063] ppid=30060 vsize=814700 memory=653672 CPUtime=3572.73 cores=5,7
/proc/30063/stat : 30063 (fscip) S 30060 30063 27893 0 -1 1077936128 990781 0 0 0 357190 83 0 0 20 0 3 0 4817177 834252800 163418 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
/proc/30063/statm: 203675 163418 3334 3035 0 188169 0
[pid=30063/tid=30115] ppid=30060 vsize=814700 memory=653672 CPUtime=3572.06 cores=5,7
/proc/30063/task/30115/stat : 30115 (fscip) R 30060 30063 27893 0 -1 4194368 952611 0 0 0 357132 74 0 0 20 0 3 0 4817232 834252800 163418 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
[pid=30063/tid=30126] ppid=30060 vsize=814700 memory=653672 CPUtime=0.03 cores=5,7
/proc/30063/task/30126/stat : 30126 (fscip) S 30060 30063 27893 0 -1 1077936192 290 0 0 0 1 2 0 0 20 0 3 0 4817237 834252800 163418 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
Current children cumulated CPU time: 3572.73 s
Current children cumulated vsize: 814700 KiB
Current children cumulated memory: 653672 KiB

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

# cumulated CPU time of all completed processes:  user=3587.86 s, system=0.857677 s

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

[startup+3584 s]*
/proc/loadavg: 4.11 4.10 4.11 6/264 32246
/proc/meminfo: memFree=114752448/131524600 swapFree=131071996/131071996
[pid=30063] ppid=30060 vsize=814700 memory=653672 CPUtime=3574.43 cores=5,7
/proc/30063/stat : 30063 (fscip) S 30060 30063 27893 0 -1 1077936128 990888 0 0 0 357360 83 0 0 20 0 3 0 4817177 834252800 163418 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
/proc/30063/statm: 203675 163418 3334 3035 0 188169 0
[pid=30063/tid=30115] ppid=30060 vsize=814700 memory=-7380110630961898362 CPUtime=3573.76 cores=5,7
/proc/30063/task/30115/stat : 30115 (fscip) R 30060 30063 27893 0 -1 4194368 952718 0 0 0 357302 74 0 0 20 0 3 0 4817232 834252800 163418 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
[pid=30063/tid=30126] ppid=30060 vsize=814700 memory=4353457588068314781 CPUtime=0.03 cores=5,7
/proc/30063/task/30126/stat : 30126 (fscip) S 30060 30063 27893 0 -1 1077936192 290 0 0 0 1 2 0 0 20 0 3 0 4817237 834252800 163418 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
Current children cumulated CPU time: 3574.43 s
Current children cumulated vsize: 814700 KiB
Current children cumulated memory: 653672 KiB

[startup+3590.4 s]
/proc/loadavg: 4.10 4.10 4.11 6/264 32248
/proc/meminfo: memFree=114752160/131524600 swapFree=131071996/131071996
[pid=30063] ppid=30060 vsize=814700 memory=653688 CPUtime=3580.81 cores=5,7
/proc/30063/stat : 30063 (fscip) S 30060 30063 27893 0 -1 1077936128 990940 0 0 0 357998 83 0 0 20 0 3 0 4817177 834252800 163422 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
/proc/30063/statm: 203675 163422 3334 3035 0 188208 0
[pid=30063/tid=30115] ppid=30060 vsize=814700 memory=653672 CPUtime=3580.14 cores=5,7
/proc/30063/task/30115/stat : 30115 (fscip) R 30060 30063 27893 0 -1 4194368 952770 0 0 0 357940 74 0 0 20 0 3 0 4817232 834252800 163422 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
[pid=30063/tid=30126] ppid=30060 vsize=814700 memory=653688 CPUtime=0.03 cores=5,7
/proc/30063/task/30126/stat : 30126 (fscip) S 30060 30063 27893 0 -1 1077936192 290 0 0 0 1 2 0 0 20 0 3 0 4817237 834252800 163422 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
Current children cumulated CPU time: 3580.81 s
Current children cumulated vsize: 814700 KiB
Current children cumulated memory: 653688 KiB

[startup+3593.6 s]
/proc/loadavg: 4.10 4.10 4.11 6/264 32248
/proc/meminfo: memFree=114750388/131524600 swapFree=131071996/131071996
[pid=30063] ppid=30060 vsize=814700 memory=654320 CPUtime=3584 cores=5,7
/proc/30063/stat : 30063 (fscip) S 30060 30063 27893 0 -1 1077936128 991119 0 0 0 358317 83 0 0 20 0 3 0 4817177 834252800 163580 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
/proc/30063/statm: 203675 163580 3334 3035 0 188338 0
[pid=30063/tid=30115] ppid=30060 vsize=814700 memory=-7668622482090321530 CPUtime=3583.33 cores=5,7
/proc/30063/task/30115/stat : 30115 (fscip) R 30060 30063 27893 0 -1 4194368 952949 0 0 0 358259 74 0 0 20 0 3 0 4817232 834252800 163580 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
[pid=30063/tid=30126] ppid=30060 vsize=814700 memory=5492 CPUtime=0.03 cores=5,7
/proc/30063/task/30126/stat : 30126 (fscip) S 30060 30063 27893 0 -1 1077936192 290 0 0 0 1 2 0 0 20 0 3 0 4817237 834252800 163580 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
Current children cumulated CPU time: 3584 s
Current children cumulated vsize: 814700 KiB
Current children cumulated memory: 654320 KiB

[startup+3596.8 s]
/proc/loadavg: 4.09 4.10 4.11 5/264 32248
/proc/meminfo: memFree=114750388/131524600 swapFree=131071996/131071996
[pid=30063] ppid=30060 vsize=814700 memory=654320 CPUtime=3587.19 cores=5,7
/proc/30063/stat : 30063 (fscip) S 30060 30063 27893 0 -1 1077936128 991126 0 0 0 358636 83 0 0 20 0 3 0 4817177 834252800 163580 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
/proc/30063/statm: 203675 163580 3334 3035 0 188338 0
[pid=30063/tid=30115] ppid=30060 vsize=814700 memory=12552 CPUtime=3586.52 cores=5,7
/proc/30063/task/30115/stat : 30115 (fscip) R 30060 30063 27893 0 -1 4194368 952956 0 0 0 358578 74 0 0 20 0 3 0 4817232 834252800 163580 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
[pid=30063/tid=30126] ppid=30060 vsize=814700 memory=11712 CPUtime=0.03 cores=5,7
/proc/30063/task/30126/stat : 30126 (fscip) S 30060 30063 27893 0 -1 1077936192 290 0 0 0 1 2 0 0 20 0 3 0 4817237 834252800 163580 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
Current children cumulated CPU time: 3587.19 s
Current children cumulated vsize: 814700 KiB
Current children cumulated memory: 654320 KiB

[startup+3597.6 s]
/proc/loadavg: 4.09 4.10 4.11 5/264 32248
/proc/meminfo: memFree=114750388/131524600 swapFree=131071996/131071996
[pid=30063] ppid=30060 vsize=814700 memory=654524 CPUtime=3587.99 cores=5,7
/proc/30063/stat : 30063 (fscip) S 30060 30063 27893 0 -1 1077936128 993068 0 0 0 358716 83 0 0 20 0 3 0 4817177 834252800 163631 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
/proc/30063/statm: 203675 163631 3334 3035 0 188409 0
[pid=30063/tid=30115] ppid=30060 vsize=814700 memory=12552 CPUtime=3587.32 cores=5,7
/proc/30063/task/30115/stat : 30115 (fscip) R 30060 30063 27893 0 -1 4194368 954898 0 0 0 358658 74 0 0 20 0 3 0 4817232 834252800 163631 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
[pid=30063/tid=30126] ppid=30060 vsize=814700 memory=11712 CPUtime=0.03 cores=5,7
/proc/30063/task/30126/stat : 30126 (fscip) S 30060 30063 27893 0 -1 1077936192 290 0 0 0 1 2 0 0 20 0 3 0 4817237 834252800 163631 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
Current children cumulated CPU time: 3587.99 s
Current children cumulated vsize: 814700 KiB
Current children cumulated memory: 654524 KiB

[startup+3598 s]*
/proc/loadavg: 4.09 4.10 4.11 5/264 32248
/proc/meminfo: memFree=114750108/131524600 swapFree=131071996/131071996
[pid=30063] ppid=30060 vsize=814700 memory=654616 CPUtime=3588.39 cores=5,7
/proc/30063/stat : 30063 (fscip) S 30060 30063 27893 0 -1 1077936128 993110 0 0 0 358756 83 0 0 20 0 3 0 4817177 834252800 163654 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
/proc/30063/statm: 203675 163654 3334 3035 0 188409 0
[pid=30063/tid=30115] ppid=30060 vsize=814700 memory=-7380110630961898362 CPUtime=3587.72 cores=5,7
/proc/30063/task/30115/stat : 30115 (fscip) R 30060 30063 27893 0 -1 4194368 954938 0 0 0 358698 74 0 0 20 0 3 0 4817232 834252800 163654 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
[pid=30063/tid=30126] ppid=30060 vsize=814700 memory=4353457588068314781 CPUtime=0.03 cores=5,7
/proc/30063/task/30126/stat : 30126 (fscip) S 30060 30063 27893 0 -1 1077936192 293 0 0 0 1 2 0 0 20 0 3 0 4817237 834252800 163654 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
Current children cumulated CPU time: 3588.39 s
Current children cumulated vsize: 814700 KiB
Current children cumulated memory: 654616 KiB

[startup+3598.2 s]
/proc/loadavg: 4.09 4.10 4.11 5/264 32248
/proc/meminfo: memFree=114750108/131524600 swapFree=131071996/131071996
[pid=30063] ppid=30060 vsize=814700 memory=654616 CPUtime=3588.59 cores=5,7
/proc/30063/stat : 30063 (fscip) S 30060 30063 27893 0 -1 1077936128 1004662 0 0 0 358775 84 0 0 20 0 3 0 4817177 834252800 163654 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
/proc/30063/statm: 203675 163654 3334 3035 0 188409 0
[pid=30063/tid=30115] ppid=30060 vsize=814700 memory=6736 CPUtime=3587.92 cores=5,7
/proc/30063/task/30115/stat : 30115 (fscip) R 30060 30063 27893 0 -1 4194368 966480 0 0 0 358717 75 0 0 20 0 3 0 4817232 834252800 163654 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
[pid=30063/tid=30126] ppid=30060 vsize=814700 memory=6968 CPUtime=0.03 cores=5,7
/proc/30063/task/30126/stat : 30126 (fscip) S 30060 30063 27893 0 -1 1077936192 293 0 0 0 1 2 0 0 20 0 3 0 4817237 834252800 163654 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
Current children cumulated CPU time: 3588.59 s
Current children cumulated vsize: 814700 KiB
Current children cumulated memory: 654616 KiB

[startup+3598.3 s]
/proc/loadavg: 4.09 4.10 4.11 5/264 32248
/proc/meminfo: memFree=114750108/131524600 swapFree=131071996/131071996
[pid=30063] ppid=30060 vsize=530820 memory=487488 CPUtime=3588.69 cores=5,7
/proc/30063/stat : 30063 (fscip) R 30060 30063 27893 0 -1 4194304 1012028 0 0 0 358784 85 0 0 20 0 2 0 4817177 543559680 121872 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
/proc/30063/statm: 132705 121872 3334 3035 0 128358 0
[pid=30063/tid=30126] ppid=30060 vsize=530820 memory=1932 CPUtime=0.03 cores=5,7
/proc/30063/task/30126/stat : 30126 (fscip) S 30060 30063 27893 0 -1 1077936192 293 0 0 0 1 2 0 0 20 0 2 0 4817237 543559680 121872 134679101440 4194304 16623229 140727469750416 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30068736 140727469753366 140727469753482 140727469753482 140727469760496 0
Current children cumulated CPU time: 3588.69 s
Current children cumulated vsize: 530820 KiB
Current children cumulated memory: 487488 KiB

Child status: 0

Real time (s): 3598.31
CPU time (s): 3588.71
CPU user time (s): 3587.86
CPU system time (s): 0.857677
CPU usage (%): 99.7332
Max. virtual memory (cumulated for all children) (KiB): 814700
Max. memory (cumulated for all children) (KiB): 654616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.86
system time used= 0.857677
maximum resident set size= 654616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1012392
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= 4765
involuntary context switches= 1873


# summary of solver processes directly reported to runsolver:
#   pid: 30063
#   total CPU time (s): 3588.71
#   total CPU user time (s): 3587.86
#   total CPU system time (s): 0.857677

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.53709 second user time and 14.2472 second system time

The end

Launcher Data

Begin job on nodeC020 at 2024-07-31 01:29:53
IDJOB=4464079
IDBENCH=148193
IDSOLVER=3092
FILE ID=nodeC020/4464079-1722382193
RUNJOBID= nodeC020-1722378594-27906
SLURM_JOB_ID= 8249843
Free space on /tmp= 889996 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.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-4464079-1722382193/watcher-4464079-1722382193 -o /tmp/evaluation-result-4464079-1722382193/solver-4464079-1722382193 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722378594-27906 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464079-1722382193.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= a7d8f923a6cdb36d5c6f2d05cbd48ec7
RANDOM SEED=1453536771

nodeC020.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		: 3600.865
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.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3641.319
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	: 7007.00
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		: 3658.404
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.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3635.425
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	: 7007.00
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		: 3648.290
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.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.840
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	: 7007.00
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		: 3660.523
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3673.711
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	: 7007.00
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        119995492 kB
MemAvailable:   127631176 kB
Buffers:           98076 kB
Cached:          8353040 kB
SwapCached:            0 kB
Active:           271260 kB
Inactive:       10740468 kB
Active(anon):       1552 kB
Inactive(anon):  2580404 kB
Active(file):     269708 kB
Inactive(file):  8160064 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             29620 kB
Writeback:             0 kB
AnonPages:       2558688 kB
Mapped:           100860 kB
Shmem:             21336 kB
KReclaimable:      91116 kB
Slab:             172880 kB
SReclaimable:      91116 kB
SUnreclaim:        81764 kB
KernelStack:        4016 kB
PageTables:        14012 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1447180 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             9792 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1112064 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:      193236 kB
DirectMap2M:    10065920 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 889892 MiB
End job on nodeC020 at 2024-07-31 02:29:51