Trace number 4434747

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-02SAT25 3591.01 3600.33

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=832916, runsolver pid=832912

[startup+0.101043 s]*
/proc/loadavg: 3.90 4.07 4.12 5/241 832924
/proc/meminfo: memFree=126476772/131655788 swapFree=131071996/131071996
[pid=832916] ppid=832912 vsize=41600 memory=29184 CPUtime=0.1 cores=4,6
/proc/832916/stat : 832916 (fscip) R 832912 832916 832856 0 -1 4194304 5190 0 0 0 9 1 0 0 20 0 1 0 163715402 42598400 7296 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
/proc/832916/statm: 10400 7296 2318 3032 0 6800 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41600 KiB
Current children cumulated memory: 29184 KiB

[startup+0.213867 s]*
/proc/loadavg: 3.90 4.07 4.12 4/237 832924
/proc/meminfo: memFree=126452656/131655788 swapFree=131071996/131071996
[pid=832916] ppid=832912 vsize=68184 memory=57904 CPUtime=0.21 cores=4,6
/proc/832916/stat : 832916 (fscip) R 832912 832916 832856 0 -1 4194304 12297 0 0 0 18 3 0 0 20 0 1 0 163715402 69820416 14476 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
/proc/832916/statm: 17046 14476 2558 3032 0 13446 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 68184 KiB
Current children cumulated memory: 57904 KiB

[startup+0.314046 s]*
/proc/loadavg: 3.90 4.07 4.12 5/240 832942
/proc/meminfo: memFree=126404672/131655788 swapFree=131071996/131071996
[pid=832916] ppid=832912 vsize=87176 memory=74188 CPUtime=0.31 cores=4,6
/proc/832916/stat : 832916 (fscip) R 832912 832916 832856 0 -1 4194304 16300 0 0 0 27 4 0 0 20 0 1 0 163715402 89268224 18547 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
/proc/832916/statm: 21794 18547 2606 3032 0 18194 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 87176 KiB
Current children cumulated memory: 74188 KiB

[startup+0.700333 s]
/proc/loadavg: 3.90 4.07 4.12 5/241 832954
/proc/meminfo: memFree=126274232/131655788 swapFree=131071996/131071996
[pid=832916] ppid=832912 vsize=109324 memory=97328 CPUtime=0.68 cores=4,6
/proc/832916/stat : 832916 (fscip) R 832912 832916 832856 0 -1 4194304 25619 0 0 0 61 7 0 0 20 0 1 0 163715402 111947776 24332 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
/proc/832916/statm: 27331 24332 2702 3032 0 23731 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 109324 KiB
Current children cumulated memory: 97328 KiB

[startup+1.50105 s]
/proc/loadavg: 3.90 4.07 4.12 5/247 832982
/proc/meminfo: memFree=125963932/131655788 swapFree=131071996/131071996
[pid=832916] ppid=832912 vsize=222664 memory=165272 CPUtime=1.48 cores=4,6
/proc/832916/stat : 832916 (fscip) S 832912 832916 832856 0 -1 1077936128 47055 0 0 0 135 13 0 0 20 0 3 0 163715402 228007936 41318 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
/proc/832916/statm: 55666 41318 2814 3032 0 48592 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 222664 KiB
Current children cumulated memory: 165272 KiB

[startup+3.11259 s]
/proc/loadavg: 3.90 4.07 4.12 5/249 832984
/proc/meminfo: memFree=124753776/131655788 swapFree=131071996/131071996
[pid=832916] ppid=832912 vsize=288200 memory=219176 CPUtime=3.08 cores=4,6
/proc/832916/stat : 832916 (fscip) S 832912 832916 832856 0 -1 1077936128 75722 0 0 0 288 20 0 0 20 0 3 0 163715402 295116800 54794 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
/proc/832916/statm: 72050 54794 2974 3032 0 62524 0
[pid=832916/tid=832983] ppid=832912 vsize=288200 memory=198340509722 CPUtime=1.91 cores=4,6
/proc/832916/task/832983/stat : 832983 (fscip) R 832912 832916 832856 0 -1 4194368 39580 0 0 0 182 9 0 0 20 0 3 0 163715516 295116800 54794 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
[pid=832916/tid=832984] ppid=832912 vsize=288200 memory=11404 CPUtime=0 cores=4,6
/proc/832916/task/832984/stat : 832984 (fscip) S 832912 832916 832856 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 163715524 295116800 54794 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 288200 KiB
Current children cumulated memory: 219176 KiB

[startup+6.30036 s]
/proc/loadavg: 3.91 4.07 4.12 5/251 833084
/proc/meminfo: memFree=123590380/131655788 swapFree=131071996/131071996
[pid=832916] ppid=832912 vsize=353736 memory=295620 CPUtime=6.26 cores=4,6
/proc/832916/stat : 832916 (fscip) S 832912 832916 832856 0 -1 1077936128 96985 0 0 0 603 23 0 0 20 0 3 0 163715402 362225664 73905 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
/proc/832916/statm: 88434 73905 2990 3032 0 81965 0
[pid=832916/tid=832983] ppid=832912 vsize=353736 memory=41484 CPUtime=5.09 cores=4,6
/proc/832916/task/832983/stat : 832983 (fscip) R 832912 832916 832856 0 -1 4194368 60843 0 0 0 497 12 0 0 20 0 3 0 163715516 362225664 73905 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
[pid=832916/tid=832984] ppid=832912 vsize=353736 memory=0 CPUtime=0 cores=4,6
/proc/832916/task/832984/stat : 832984 (fscip) S 832912 832916 832856 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 163715524 362225664 73905 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 353736 KiB
Current children cumulated memory: 295620 KiB

[startup+12.7004 s]
/proc/loadavg: 3.91 4.07 4.12 5/249 833132
/proc/meminfo: memFree=123428220/131655788 swapFree=131071996/131071996
[pid=832916] ppid=832912 vsize=419272 memory=316692 CPUtime=12.64 cores=4,6
/proc/832916/stat : 832916 (fscip) S 832912 832916 832856 0 -1 1077936128 159495 0 0 0 1237 27 0 0 20 0 3 0 163715402 429334528 79173 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
/proc/832916/statm: 104818 79173 2990 3032 0 91359 0
[pid=832916/tid=832983] ppid=832912 vsize=419272 memory=41484 CPUtime=11.47 cores=4,6
/proc/832916/task/832983/stat : 832983 (fscip) R 832912 832916 832856 0 -1 4194368 123349 0 0 0 1131 16 0 0 20 0 3 0 163715516 429334528 79173 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
[pid=832916/tid=832984] ppid=832912 vsize=419272 memory=5524 CPUtime=0 cores=4,6
/proc/832916/task/832984/stat : 832984 (fscip) S 832912 832916 832856 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 163715524 429334528 79173 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 419272 KiB
Current children cumulated memory: 316692 KiB

[startup+25.5004 s]
/proc/loadavg: 3.94 4.07 4.12 5/249 833373
/proc/meminfo: memFree=118498500/131655788 swapFree=131071996/131071996
[pid=832916] ppid=832912 vsize=419272 memory=323492 CPUtime=25.42 cores=4,6
/proc/832916/stat : 832916 (fscip) S 832912 832916 832856 0 -1 1077936128 205084 0 0 0 2511 31 0 0 20 0 3 0 163715402 429334528 80873 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
/proc/832916/statm: 104818 80873 2990 3032 0 92990 0
[pid=832916/tid=832983] ppid=832912 vsize=419272 memory=323448 CPUtime=24.24 cores=4,6
/proc/832916/task/832983/stat : 832983 (fscip) R 832912 832916 832856 0 -1 4194368 167652 0 0 0 2404 20 0 0 20 0 3 0 163715516 429334528 80873 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
[pid=832916/tid=832984] ppid=832912 vsize=419272 memory=323444 CPUtime=0 cores=4,6
/proc/832916/task/832984/stat : 832984 (fscip) S 832912 832916 832856 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 163715524 429334528 80873 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 419272 KiB
Current children cumulated memory: 323492 KiB

[startup+51.1127 s]
/proc/loadavg: 4.02 4.08 4.12 5/251 833378
/proc/meminfo: memFree=109525692/131655788 swapFree=131071996/131071996
[pid=832916] ppid=832912 vsize=484808 memory=391856 CPUtime=50.96 cores=4,6
/proc/832916/stat : 832916 (fscip) S 832912 832916 832856 0 -1 1077936128 300937 0 0 0 5058 38 0 0 20 0 3 0 163715402 496443392 97964 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
/proc/832916/statm: 121202 97964 2990 3032 0 109960 0
[pid=832916/tid=832983] ppid=832912 vsize=484808 memory=391856 CPUtime=49.77 cores=4,6
/proc/832916/task/832983/stat : 832983 (fscip) R 832912 832916 832856 0 -1 4194368 262134 0 0 0 4951 26 0 0 20 0 3 0 163715516 496443392 97964 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
[pid=832916/tid=832984] ppid=832912 vsize=484808 memory=391796 CPUtime=0 cores=4,6
/proc/832916/task/832984/stat : 832984 (fscip) S 832912 832916 832856 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 163715524 496443392 97964 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 484808 KiB
Current children cumulated memory: 391856 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.08 4.11 5/258 833447
/proc/meminfo: memFree=124931944/131655788 swapFree=131071996/131071996
[pid=832916] ppid=832912 vsize=484808 memory=391916 CPUtime=102 cores=4,6
/proc/832916/stat : 832916 (fscip) S 832912 832916 832856 0 -1 1077936128 364531 0 0 0 10160 40 0 0 20 0 3 0 163715402 496443392 97979 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
/proc/832916/statm: 121202 97979 2990 3032 0 109960 0
[pid=832916/tid=832983] ppid=832912 vsize=484808 memory=391916 CPUtime=100.82 cores=4,6
/proc/832916/task/832983/stat : 832983 (fscip) R 832912 832916 832856 0 -1 4194368 325598 0 0 0 10053 29 0 0 20 0 3 0 163715516 496443392 97979 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
[pid=832916/tid=832984] ppid=832912 vsize=484808 memory=323492 CPUtime=0 cores=4,6
/proc/832916/task/832984/stat : 832984 (fscip) S 832912 832916 832856 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 3 0 163715524 496443392 97979 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 484808 KiB
Current children cumulated memory: 391916 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.08 4.11 5/258 833458
/proc/meminfo: memFree=124842924/131655788 swapFree=131071996/131071996
[pid=832916] ppid=832912 vsize=484808 memory=392236 CPUtime=161.85 cores=4,6
/proc/832916/stat : 832916 (fscip) S 832912 832916 832856 0 -1 1077936128 425256 0 0 0 16141 44 0 0 20 0 3 0 163715402 496443392 98059 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
/proc/832916/statm: 121202 98059 2990 3032 0 109960 0
[pid=832916/tid=832983] ppid=832912 vsize=484808 memory=0 CPUtime=160.67 cores=4,6
/proc/832916/task/832983/stat : 832983 (fscip) R 832912 832916 832856 0 -1 4194368 386275 0 0 0 16034 33 0 0 20 0 3 0 163715516 496443392 98059 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
[pid=832916/tid=832984] ppid=832912 vsize=484808 memory=391928 CPUtime=0 cores=4,6
/proc/832916/task/832984/stat : 832984 (fscip) S 832912 832916 832856 0 -1 1077936192 69 0 0 0 0 0 0 0 20 0 3 0 163715524 496443392 98059 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 484808 KiB
Current children cumulated memory: 392236 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.09 4.11 5/258 833468
/proc/meminfo: memFree=124818104/131655788 swapFree=131071996/131071996
[pid=832916] ppid=832912 vsize=484808 memory=392264 CPUtime=221.7 cores=4,6
/proc/832916/stat : 832916 (fscip) S 832912 832916 832856 0 -1 1077936128 466259 0 0 0 22123 47 0 0 20 0 3 0 163715402 496443392 98066 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
/proc/832916/statm: 121202 98066 2990 3032 0 109960 0
[pid=832916/tid=832983] ppid=832912 vsize=484808 memory=392264 CPUtime=220.51 cores=4,6
/proc/832916/task/832983/stat : 832983 (fscip) R 832912 832916 832856 0 -1 4194368 427228 0 0 0 22016 35 0 0 20 0 3 0 163715516 496443392 98066 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
[pid=832916/tid=832984] ppid=832912 vsize=484808 memory=392264 CPUtime=0 cores=4,6
/proc/832916/task/832984/stat : 832984 (fscip) S 832912 832916 832856 0 -1 1077936192 83 0 0 0 0 0 0 0 20 0 3 0 163715524 496443392 98066 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 484808 KiB
Current children cumulated memory: 392264 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.09 4.10 5/257 833478
/proc/meminfo: memFree=124809680/131655788 swapFree=131071996/131071996
[pid=832916] ppid=832912 vsize=484808 memory=392272 CPUtime=281.54 cores=4,6

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

[pid=832916] ppid=832912 vsize=812488 memory=673180 CPUtime=3453.32 cores=4,6
/proc/832916/stat : 832916 (fscip) S 832912 832916 832856 0 -1 1077936128 797141 0 0 0 345246 86 0 0 20 0 3 0 163715402 831987712 168295 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
/proc/832916/statm: 203122 168295 3310 3032 0 185371 0
[pid=832916/tid=832983] ppid=832912 vsize=812488 memory=11404 CPUtime=3452.01 cores=4,6
/proc/832916/task/832983/stat : 832983 (fscip) R 832912 832916 832856 0 -1 4194368 756534 0 0 0 345135 66 0 0 20 0 3 0 163715516 831987712 168295 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
[pid=832916/tid=832984] ppid=832912 vsize=812488 memory=11404 CPUtime=0.05 cores=4,6
/proc/832916/task/832984/stat : 832984 (fscip) S 832912 832916 832856 0 -1 1077936192 362 0 0 0 1 4 0 0 20 0 3 0 163715524 831987712 168295 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
Current children cumulated CPU time: 3453.32 s
Current children cumulated vsize: 812488 KiB
Current children cumulated memory: 673180 KiB

[startup+3522.3 s]
/proc/loadavg: 4.23 4.36 4.28 5/250 835287
/proc/meminfo: memFree=123969572/131655788 swapFree=131071996/131071996
[pid=832916] ppid=832912 vsize=812488 memory=676532 CPUtime=3513.17 cores=4,6
/proc/832916/stat : 832916 (fscip) S 832912 832916 832856 0 -1 1077936128 808493 0 0 0 351230 87 0 0 20 0 3 0 163715402 831987712 169133 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
/proc/832916/statm: 203122 169133 3310 3032 0 188133 0
[pid=832916/tid=832983] ppid=832912 vsize=812488 memory=674388 CPUtime=3511.87 cores=4,6
/proc/832916/task/832983/stat : 832983 (fscip) R 832912 832916 832856 0 -1 4194368 767856 0 0 0 351119 68 0 0 20 0 3 0 163715516 831987712 169133 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
[pid=832916/tid=832984] ppid=832912 vsize=812488 memory=676532 CPUtime=0.05 cores=4,6
/proc/832916/task/832984/stat : 832984 (fscip) S 832912 832916 832856 0 -1 1077936192 367 0 0 0 1 4 0 0 20 0 3 0 163715524 831987712 169133 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
Current children cumulated CPU time: 3513.17 s
Current children cumulated vsize: 812488 KiB
Current children cumulated memory: 676532 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.32 4.27 5/250 835297
/proc/meminfo: memFree=123944272/131655788 swapFree=131071996/131071996
[pid=832916] ppid=832912 vsize=812488 memory=676568 CPUtime=3573.02 cores=4,6
/proc/832916/stat : 832916 (fscip) S 832912 832916 832856 0 -1 1077936128 816656 0 0 0 357214 88 0 0 20 0 3 0 163715402 831987712 169142 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
/proc/832916/statm: 203122 169142 3310 3032 0 188133 0
[pid=832916/tid=832983] ppid=832912 vsize=812488 memory=16140 CPUtime=3571.72 cores=4,6
/proc/832916/task/832983/stat : 832983 (fscip) R 832912 832916 832856 0 -1 4194368 775990 0 0 0 357104 68 0 0 20 0 3 0 163715516 831987712 169142 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
[pid=832916/tid=832984] ppid=832912 vsize=812488 memory=2273 CPUtime=0.05 cores=4,6
/proc/832916/task/832984/stat : 832984 (fscip) S 832912 832916 832856 0 -1 1077936192 373 0 0 0 1 4 0 0 20 0 3 0 163715524 831987712 169142 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
Current children cumulated CPU time: 3573.02 s
Current children cumulated vsize: 812488 KiB
Current children cumulated memory: 676568 KiB

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

# cumulated CPU time of all completed processes:  user=3590.11 s, system=0.90203 s

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

[startup+3584 s]*
/proc/loadavg: 4.18 4.32 4.27 5/250 835299
/proc/meminfo: memFree=123944316/131655788 swapFree=131071996/131071996
[pid=832916] ppid=832912 vsize=812488 memory=676568 CPUtime=3574.73 cores=4,6
/proc/832916/stat : 832916 (fscip) S 832912 832916 832856 0 -1 1077936128 816789 0 0 0 357385 88 0 0 20 0 3 0 163715402 831987712 169142 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
/proc/832916/statm: 203122 169142 3310 3032 0 188133 0
[pid=832916/tid=832983] ppid=832912 vsize=812488 memory=6720659939590946155 CPUtime=3573.43 cores=4,6
/proc/832916/task/832983/stat : 832983 (fscip) R 832912 832916 832856 0 -1 4194368 776123 0 0 0 357275 68 0 0 20 0 3 0 163715516 831987712 169142 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
[pid=832916/tid=832984] ppid=832912 vsize=812488 memory=7825457936960100255 CPUtime=0.05 cores=4,6
/proc/832916/task/832984/stat : 832984 (fscip) S 832912 832916 832856 0 -1 1077936192 373 0 0 0 1 4 0 0 20 0 3 0 163715524 831987712 169142 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
Current children cumulated CPU time: 3574.73 s
Current children cumulated vsize: 812488 KiB
Current children cumulated memory: 676568 KiB

[startup+3590.4 s]
/proc/loadavg: 4.15 4.31 4.26 5/250 835299
/proc/meminfo: memFree=123943196/131655788 swapFree=131071996/131071996
[pid=832916] ppid=832912 vsize=812488 memory=677548 CPUtime=3581.1 cores=4,6
/proc/832916/stat : 832916 (fscip) S 832912 832916 832856 0 -1 1077936128 817636 0 0 0 358022 88 0 0 20 0 3 0 163715402 831987712 169387 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
/proc/832916/statm: 203122 169387 3310 3032 0 188382 0
[pid=832916/tid=832983] ppid=832912 vsize=812488 memory=5524 CPUtime=3579.8 cores=4,6
/proc/832916/task/832983/stat : 832983 (fscip) R 832912 832916 832856 0 -1 4194368 776969 0 0 0 357912 68 0 0 20 0 3 0 163715516 831987712 169387 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
[pid=832916/tid=832984] ppid=832912 vsize=812488 memory=16140 CPUtime=0.05 cores=4,6
/proc/832916/task/832984/stat : 832984 (fscip) S 832912 832916 832856 0 -1 1077936192 373 0 0 0 1 4 0 0 20 0 3 0 163715524 831987712 169387 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
Current children cumulated CPU time: 3581.1 s
Current children cumulated vsize: 812488 KiB
Current children cumulated memory: 677548 KiB

[startup+3596.8 s]
/proc/loadavg: 4.14 4.31 4.26 5/250 835300
/proc/meminfo: memFree=123942748/131655788 swapFree=131071996/131071996
[pid=832916] ppid=832912 vsize=812488 memory=677772 CPUtime=3587.49 cores=4,6
/proc/832916/stat : 832916 (fscip) S 832912 832916 832856 0 -1 1077936128 817749 0 0 0 358661 88 0 0 20 0 3 0 163715402 831987712 169443 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
/proc/832916/statm: 203122 169443 3310 3032 0 188479 0
[pid=832916/tid=832983] ppid=832912 vsize=812488 memory=5524 CPUtime=3586.18 cores=4,6
/proc/832916/task/832983/stat : 832983 (fscip) R 832912 832916 832856 0 -1 4194368 777082 0 0 0 358550 68 0 0 20 0 3 0 163715516 831987712 169443 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
[pid=832916/tid=832984] ppid=832912 vsize=812488 memory=676568 CPUtime=0.05 cores=4,6
/proc/832916/task/832984/stat : 832984 (fscip) S 832912 832916 832856 0 -1 1077936192 373 0 0 0 1 4 0 0 20 0 3 0 163715524 831987712 169443 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
Current children cumulated CPU time: 3587.49 s
Current children cumulated vsize: 812488 KiB
Current children cumulated memory: 677772 KiB

[startup+3598.4 s]
/proc/loadavg: 4.14 4.31 4.26 5/250 835300
/proc/meminfo: memFree=123942748/131655788 swapFree=131071996/131071996
[pid=832916] ppid=832912 vsize=812488 memory=677960 CPUtime=3589.08 cores=4,6
/proc/832916/stat : 832916 (fscip) S 832912 832916 832856 0 -1 1077936128 817781 0 0 0 358820 88 0 0 20 0 3 0 163715402 831987712 169490 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
/proc/832916/statm: 203122 169490 3310 3032 0 188479 0
[pid=832916/tid=832983] ppid=832912 vsize=812488 memory=11404 CPUtime=3587.78 cores=4,6
/proc/832916/task/832983/stat : 832983 (fscip) R 832912 832916 832856 0 -1 4194368 777114 0 0 0 358710 68 0 0 20 0 3 0 163715516 831987712 169490 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
[pid=832916/tid=832984] ppid=832912 vsize=812488 memory=677772 CPUtime=0.05 cores=4,6
/proc/832916/task/832984/stat : 832984 (fscip) S 832912 832916 832856 0 -1 1077936192 373 0 0 0 1 4 0 0 20 0 3 0 163715524 831987712 169490 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
Current children cumulated CPU time: 3589.08 s
Current children cumulated vsize: 812488 KiB
Current children cumulated memory: 677960 KiB

[startup+3599.2 s]
/proc/loadavg: 4.14 4.31 4.26 5/250 835300
/proc/meminfo: memFree=123942748/131655788 swapFree=131071996/131071996
[pid=832916] ppid=832912 vsize=812488 memory=677960 CPUtime=3589.88 cores=4,6
/proc/832916/stat : 832916 (fscip) S 832912 832916 832856 0 -1 1077936128 817781 0 0 0 358900 88 0 0 20 0 3 0 163715402 831987712 169490 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
/proc/832916/statm: 203122 169490 3310 3032 0 188479 0
[pid=832916/tid=832983] ppid=832912 vsize=812488 memory=11404 CPUtime=3588.57 cores=4,6
/proc/832916/task/832983/stat : 832983 (fscip) R 832912 832916 832856 0 -1 4194368 777114 0 0 0 358789 68 0 0 20 0 3 0 163715516 831987712 169490 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
[pid=832916/tid=832984] ppid=832912 vsize=812488 memory=677960 CPUtime=0.05 cores=4,6
/proc/832916/task/832984/stat : 832984 (fscip) S 832912 832916 832856 0 -1 1077936192 373 0 0 0 1 4 0 0 20 0 3 0 163715524 831987712 169490 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
Current children cumulated CPU time: 3589.88 s
Current children cumulated vsize: 812488 KiB
Current children cumulated memory: 677960 KiB

[startup+3600 s]*
/proc/loadavg: 4.13 4.30 4.26 5/250 835300
/proc/meminfo: memFree=123942748/131655788 swapFree=131071996/131071996
[pid=832916] ppid=832912 vsize=812488 memory=677960 CPUtime=3590.69 cores=4,6
/proc/832916/stat : 832916 (fscip) S 832912 832916 832856 0 -1 1077936128 818113 0 0 0 358981 88 0 0 20 0 3 0 163715402 831987712 169490 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
/proc/832916/statm: 203122 169490 3310 3032 0 188479 0
[pid=832916/tid=832983] ppid=832912 vsize=812488 memory=20476 CPUtime=3589.38 cores=4,6
/proc/832916/task/832983/stat : 832983 (fscip) R 832912 832916 832856 0 -1 4194368 777452 0 0 0 358870 68 0 0 20 0 3 0 163715516 831987712 169490 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
[pid=832916/tid=832984] ppid=832912 vsize=812488 memory=5436 CPUtime=0.05 cores=4,6
/proc/832916/task/832984/stat : 832984 (fscip) S 832912 832916 832856 0 -1 1077936192 373 0 0 0 1 4 0 0 20 0 3 0 163715524 831987712 169490 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
Current children cumulated CPU time: 3590.69 s
Current children cumulated vsize: 812488 KiB
Current children cumulated memory: 677960 KiB

[startup+3600.2 s]
/proc/loadavg: 4.13 4.30 4.26 5/250 835300
/proc/meminfo: memFree=123942748/131655788 swapFree=131071996/131071996
[pid=832916] ppid=832912 vsize=812488 memory=677960 CPUtime=3590.87 cores=4,6
/proc/832916/stat : 832916 (fscip) S 832912 832916 832856 0 -1 1077936128 821377 0 0 0 358999 88 0 0 20 0 3 0 163715402 831987712 169490 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
/proc/832916/statm: 203122 169490 3310 3032 0 188479 0
[pid=832916/tid=832983] ppid=832912 vsize=812488 memory=6720662134419766638 CPUtime=3589.58 cores=4,6
/proc/832916/task/832983/stat : 832983 (fscip) R 832912 832916 832856 0 -1 4194368 780709 0 0 0 358889 69 0 0 20 0 3 0 163715516 831987712 169490 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
[pid=832916/tid=832984] ppid=832912 vsize=812488 memory=544628 CPUtime=0.05 cores=4,6
/proc/832916/task/832984/stat : 832984 (fscip) S 832912 832916 832856 0 -1 1077936192 373 0 0 0 1 4 0 0 20 0 3 0 163715524 831987712 169490 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
Current children cumulated CPU time: 3590.87 s
Current children cumulated vsize: 812488 KiB
Current children cumulated memory: 677960 KiB

[startup+3600.3 s]
/proc/loadavg: 4.13 4.30 4.26 5/250 835300
/proc/meminfo: memFree=123942748/131655788 swapFree=131071996/131071996
[pid=832916] ppid=832912 vsize=663972 memory=586844 CPUtime=3590.98 cores=4,6
/proc/832916/stat : 832916 (fscip) R 832912 832916 832856 0 -1 4194304 825015 0 0 0 359009 89 0 0 20 0 2 0 163715402 679907328 146711 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
/proc/832916/statm: 165993 146711 3310 3032 0 161395 0
[pid=832916/tid=832984] ppid=832912 vsize=663972 memory=16140 CPUtime=0.05 cores=4,6
/proc/832916/task/832984/stat : 832984 (fscip) S 832912 832916 832856 0 -1 1077936192 373 0 0 0 1 4 0 0 20 0 2 0 163715524 679907328 146711 134679101440 4194304 16613245 140736758276528 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54951936 140736758285333 140736758285449 140736758285449 140736758292464 0
Current children cumulated CPU time: 3590.98 s
Current children cumulated vsize: 663972 KiB
Current children cumulated memory: 586844 KiB

Child status: 0

Real time (s): 3600.33
CPU time (s): 3591.01
CPU user time (s): 3590.11
CPU system time (s): 0.90203
CPU usage (%): 99.7413
Max. virtual memory (cumulated for all children) (KiB): 812488
Max. memory (cumulated for all children) (KiB): 677960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.11
system time used= 0.90203
maximum resident set size= 677960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 825524
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= 4756
involuntary context switches= 1582


# summary of solver processes directly reported to runsolver:
#   pid: 832916
#   total CPU time (s): 3591.01
#   total CPU user time (s): 3590.11
#   total CPU system time (s): 0.90203

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.6908 second user time and 33.5544 second system time

The end

Launcher Data

Begin job on nodeC012 at 2024-07-16 09:39:57
IDJOB=4434747
IDBENCH=148193
IDSOLVER=3064
FILE ID=nodeC012/4434747-1721115584
RUNJOBID= nodeC012-1721115597-832867
SLURM_JOB_ID= 7505652
Free space on /tmp= 723764 MiB

SOLVER NAME= FiberSCIP 2024-07-02
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-4434747-1721115584/watcher-4434747-1721115584 -o /tmp/evaluation-result-4434747-1721115584/solver-4434747-1721115584 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721115597-832867 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4434747-1721115584.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= a7d8f923a6cdb36d5c6f2d05cbd48ec7
RANDOM SEED=83718043

nodeC012.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3252.411
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.323
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.324
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.323
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1249.288
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1258.948
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1216.582
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126588288 kB
MemAvailable:   129908812 kB
Buffers:          394320 kB
Cached:          3729384 kB
SwapCached:            0 kB
Active:           672188 kB
Inactive:        3784096 kB
Active(anon):       1344 kB
Inactive(anon):   368972 kB
Active(file):     670844 kB
Inactive(file):  3415124 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            100968 kB
Writeback:             4 kB
AnonPages:        332672 kB
Mapped:           103560 kB
Shmem:             37704 kB
KReclaimable:     149172 kB
Slab:             252508 kB
SReclaimable:     149172 kB
SUnreclaim:       103336 kB
KernelStack:        3712 kB
PageTables:         9740 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     679256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52544 kB
HardwareCorrupted:     0 kB
AnonHugePages:    212992 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:      301896 kB
DirectMap2M:    32108544 kB
DirectMap1G:    103809024 kB

Free space on /tmp at the end= 723664 MiB
End job on nodeC012 at 2024-07-16 10:39:57