Trace number 4464262

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-30OPT189 2413.91 2419.73

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-jul5.5.opb
MD5SUMd644f29675162790fbe3eaac4bda72a3
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 benchmark189
Best CPU time to get the best result obtained on this benchmark2.83158
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9632
Total number of constraints29620
Number of constraints which are clauses27553
Number of constraints which are cardinality constraints (but not clauses)247
Number of constraints which are nor clauses,nor cardinality constraints1820
Minimum length of a constraint2
Maximum length of a constraint248
Number of terms in the objective function 26
Biggest coefficient in the objective function 20
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 211
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 160
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 687
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

OK	189

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64096 MiB (44208 MiB free)
  memory of node 1: 64473 MiB (59190 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464262-1722385795/watcher-4464262-1722385795 -o /tmp/evaluation-result-4464262-1722385795/solver-4464262-1722385795 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1722378594-29037 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464262-1722385795.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=33454, runsolver pid=33451

[startup+0.100104 s]*
/proc/loadavg: 4.19 4.15 4.16 5/250 33455
/proc/meminfo: memFree=105835140/131655788 swapFree=131071216/131071996
[pid=33454] ppid=33451 vsize=71644 memory=61348 CPUtime=0.1 cores=4,6
/proc/33454/stat : 33454 (fscip) R 33451 33454 29026 0 -1 4194304 13187 0 0 0 9 1 0 0 20 0 1 0 4950899 73363456 15337 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
/proc/33454/statm: 17911 15337 2555 3035 0 14307 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 71644 KiB
Current children cumulated memory: 61348 KiB

[startup+0.213592 s]*
/proc/loadavg: 4.19 4.15 4.16 5/250 33455
/proc/meminfo: memFree=105811788/131655788 swapFree=131071216/131071996
[pid=33454] ppid=33451 vsize=95900 memory=80040 CPUtime=0.22 cores=4,6
/proc/33454/stat : 33454 (fscip) R 33451 33454 29026 0 -1 4194304 17772 0 0 0 19 3 0 0 20 0 1 0 4950899 98201600 20010 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
/proc/33454/statm: 23975 20010 2630 3035 0 20371 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 95900 KiB
Current children cumulated memory: 80040 KiB

[startup+0.313171 s]*
/proc/loadavg: 4.19 4.15 4.16 5/250 33455
/proc/meminfo: memFree=105788216/131655788 swapFree=131071216/131071996
[pid=33454] ppid=33451 vsize=114644 memory=102696 CPUtime=0.31 cores=4,6
/proc/33454/stat : 33454 (fscip) R 33451 33454 29026 0 -1 4194304 24743 0 0 0 27 4 0 0 20 0 1 0 4950899 117395456 25674 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
/proc/33454/statm: 28661 25674 2694 3035 0 25057 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 114644 KiB
Current children cumulated memory: 102696 KiB

[startup+0.700352 s]
/proc/loadavg: 4.19 4.15 4.16 5/250 33455
/proc/meminfo: memFree=105786864/131655788 swapFree=131071216/131071996
[pid=33454] ppid=33451 vsize=119328 memory=107148 CPUtime=0.68 cores=4,6
/proc/33454/stat : 33454 (fscip) R 33451 33454 29026 0 -1 4194304 28467 0 0 0 63 5 0 0 20 0 1 0 4950899 122191872 26787 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
/proc/33454/statm: 29832 26787 2774 3035 0 26228 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 119328 KiB
Current children cumulated memory: 107148 KiB

[startup+1.50034 s]
/proc/loadavg: 4.17 4.15 4.16 5/250 33455
/proc/meminfo: memFree=105782920/131655788 swapFree=131071216/131071996
[pid=33454] ppid=33451 vsize=121068 memory=108732 CPUtime=1.48 cores=4,6
/proc/33454/stat : 33454 (fscip) R 33451 33454 29026 0 -1 4194304 28898 0 0 0 143 5 0 0 20 0 1 0 4950899 123973632 27183 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
/proc/33454/statm: 30267 27183 2774 3035 0 26663 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 121068 KiB
Current children cumulated memory: 108732 KiB

[startup+3.11316 s]
/proc/loadavg: 4.17 4.15 4.16 5/250 33455
/proc/meminfo: memFree=105779956/131655788 swapFree=131071216/131071996
[pid=33454] ppid=33451 vsize=123284 memory=111108 CPUtime=3.1 cores=4,6
/proc/33454/stat : 33454 (fscip) R 33451 33454 29026 0 -1 4194304 29450 0 0 0 304 6 0 0 20 0 1 0 4950899 126242816 27777 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
/proc/33454/statm: 30821 27777 2774 3035 0 27217 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 123284 KiB
Current children cumulated memory: 111108 KiB

[startup+6.30023 s]
/proc/loadavg: 4.16 4.15 4.16 6/252 33457
/proc/meminfo: memFree=105621068/131655788 swapFree=131071216/131071996
[pid=33454] ppid=33451 vsize=361412 memory=269584 CPUtime=6.24 cores=4,6
/proc/33454/stat : 33454 (fscip) S 33451 33454 29026 0 -1 1077936128 83634 0 0 0 607 17 0 0 20 0 3 0 4950899 370085888 67396 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
/proc/33454/statm: 90353 67396 2806 3035 0 78345 0
[pid=33454/tid=33456] ppid=33451 vsize=361412 memory=72931 CPUtime=2.42 cores=4,6
/proc/33454/task/33456/stat : 33456 (fscip) R 33451 33454 29026 0 -1 4194368 32724 0 0 0 234 8 0 0 20 0 3 0 4951276 370085888 67396 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
[pid=33454/tid=33457] ppid=33451 vsize=361412 memory=12132 CPUtime=0 cores=4,6
/proc/33454/task/33457/stat : 33457 (fscip) S 33451 33454 29026 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4951293 370085888 67396 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 361412 KiB
Current children cumulated memory: 269584 KiB

[startup+12.7004 s]
/proc/loadavg: 4.15 4.14 4.16 5/249 33563
/proc/meminfo: memFree=108622160/131655788 swapFree=131071216/131071996
[pid=33454] ppid=33451 vsize=426948 memory=322828 CPUtime=12.62 cores=4,6
/proc/33454/stat : 33454 (fscip) S 33451 33454 29026 0 -1 1077936128 119329 0 0 0 1241 21 0 0 20 0 3 0 4950899 437194752 80707 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
/proc/33454/statm: 106737 80707 2998 3035 0 91239 0
[pid=33454/tid=33456] ppid=33451 vsize=426948 memory=5789695 CPUtime=8.8 cores=4,6
/proc/33454/task/33456/stat : 33456 (fscip) R 33451 33454 29026 0 -1 4194368 67018 0 0 0 868 12 0 0 20 0 3 0 4951276 437194752 80707 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
[pid=33454/tid=33457] ppid=33451 vsize=426948 memory=321272 CPUtime=0 cores=4,6
/proc/33454/task/33457/stat : 33457 (fscip) S 33451 33454 29026 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 4951293 437194752 80707 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 426948 KiB
Current children cumulated memory: 322828 KiB

[startup+25.5004 s]
/proc/loadavg: 4.12 4.14 4.15 5/249 33564
/proc/meminfo: memFree=108603740/131655788 swapFree=131071216/131071996
[pid=33454] ppid=33451 vsize=426948 memory=324088 CPUtime=25.38 cores=4,6
/proc/33454/stat : 33454 (fscip) S 33451 33454 29026 0 -1 1077936128 127520 0 0 0 2517 21 0 0 20 0 3 0 4950899 437194752 81022 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
/proc/33454/statm: 106737 81022 2998 3035 0 91755 0
[pid=33454/tid=33456] ppid=33451 vsize=426948 memory=324088 CPUtime=21.56 cores=4,6
/proc/33454/task/33456/stat : 33456 (fscip) R 33451 33454 29026 0 -1 4194368 75188 0 0 0 2144 12 0 0 20 0 3 0 4951276 437194752 81022 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
[pid=33454/tid=33457] ppid=33451 vsize=426948 memory=12576 CPUtime=0 cores=4,6
/proc/33454/task/33457/stat : 33457 (fscip) S 33451 33454 29026 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 4951293 437194752 81022 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 426948 KiB
Current children cumulated memory: 324088 KiB

[startup+51.113 s]
/proc/loadavg: 4.13 4.14 4.15 5/249 33569
/proc/meminfo: memFree=108558844/131655788 swapFree=131071216/131071996
[pid=33454] ppid=33451 vsize=443676 memory=352000 CPUtime=50.92 cores=4,6
/proc/33454/stat : 33454 (fscip) S 33451 33454 29026 0 -1 1077936128 185674 0 0 0 5066 26 0 0 20 0 3 0 4950899 454324224 88000 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
/proc/33454/statm: 110919 88000 3014 3035 0 102775 0
[pid=33454/tid=33456] ppid=33451 vsize=443676 memory=322948 CPUtime=47.1 cores=4,6
/proc/33454/task/33456/stat : 33456 (fscip) R 33451 33454 29026 0 -1 4194368 133325 0 0 0 4693 17 0 0 20 0 3 0 4951276 454324224 88000 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
[pid=33454/tid=33457] ppid=33451 vsize=443676 memory=350900 CPUtime=0 cores=4,6
/proc/33454/task/33457/stat : 33457 (fscip) S 33451 33454 29026 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 3 0 4951293 454324224 88000 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 443676 KiB
Current children cumulated memory: 352000 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.12 4.14 5/249 33578
/proc/meminfo: memFree=108503784/131655788 swapFree=131071216/131071996
[pid=33454] ppid=33451 vsize=511944 memory=360476 CPUtime=101.94 cores=4,6
/proc/33454/stat : 33454 (fscip) S 33451 33454 29026 0 -1 1077936128 244546 0 0 0 10164 30 0 0 20 0 3 0 4950899 524230656 90119 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
/proc/33454/statm: 127986 90119 3014 3035 0 113806 0
[pid=33454/tid=33456] ppid=33451 vsize=511944 memory=12132 CPUtime=98.11 cores=4,6
/proc/33454/task/33456/stat : 33456 (fscip) R 33451 33454 29026 0 -1 4194368 192179 0 0 0 9791 20 0 0 20 0 3 0 4951276 524230656 90119 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
[pid=33454/tid=33457] ppid=33451 vsize=511944 memory=360472 CPUtime=0 cores=4,6
/proc/33454/task/33457/stat : 33457 (fscip) S 33451 33454 29026 0 -1 1077936192 70 0 0 0 0 0 0 0 20 0 3 0 4951293 524230656 90119 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 511944 KiB
Current children cumulated memory: 360476 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.12 4.14 5/249 33589
/proc/meminfo: memFree=108454552/131655788 swapFree=131071216/131071996
[pid=33454] ppid=33451 vsize=511944 memory=360476 CPUtime=161.77 cores=4,6
/proc/33454/stat : 33454 (fscip) S 33451 33454 29026 0 -1 1077936128 277713 0 0 0 16145 32 0 0 20 0 3 0 4950899 524230656 90119 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
/proc/33454/statm: 127986 90119 3014 3035 0 113806 0
[pid=33454/tid=33456] ppid=33451 vsize=511944 memory=360476 CPUtime=157.95 cores=4,6
/proc/33454/task/33456/stat : 33456 (fscip) R 33451 33454 29026 0 -1 4194368 225332 0 0 0 15772 23 0 0 20 0 3 0 4951276 524230656 90119 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
[pid=33454/tid=33457] ppid=33451 vsize=511944 memory=360476 CPUtime=0 cores=4,6
/proc/33454/task/33457/stat : 33457 (fscip) S 33451 33454 29026 0 -1 1077936192 84 0 0 0 0 0 0 0 20 0 3 0 4951293 524230656 90119 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 511944 KiB
Current children cumulated memory: 360476 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.14 5/249 33599
/proc/meminfo: memFree=108408432/131655788 swapFree=131071216/131071996
[pid=33454] ppid=33451 vsize=511944 memory=360476 CPUtime=221.62 cores=4,6
/proc/33454/stat : 33454 (fscip) S 33451 33454 29026 0 -1 1077936128 292489 0 0 0 22128 34 0 0 20 0 3 0 4950899 524230656 90119 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
/proc/33454/statm: 127986 90119 3014 3035 0 113806 0
[pid=33454/tid=33456] ppid=33451 vsize=511944 memory=360476 CPUtime=217.79 cores=4,6
/proc/33454/task/33456/stat : 33456 (fscip) R 33451 33454 29026 0 -1 4194368 240101 0 0 0 21755 24 0 0 20 0 3 0 4951276 524230656 90119 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
[pid=33454/tid=33457] ppid=33451 vsize=511944 memory=12132 CPUtime=0 cores=4,6
/proc/33454/task/33457/stat : 33457 (fscip) S 33451 33454 29026 0 -1 1077936192 91 0 0 0 0 0 0 0 20 0 3 0 4951293 524230656 90119 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 511944 KiB
Current children cumulated memory: 360476 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.11 4.13 5/249 33610
/proc/meminfo: memFree=108360900/131655788 swapFree=131071216/131071996
[pid=33454] ppid=33451 vsize=511944 memory=360476 CPUtime=281.47 cores=4,6
/proc/33454/stat : 33454 (fscip) S 33451 33454 29026 0 -1 1077936128 305343 0 0 0 28111 36 0 0 20 0 3 0 4950899 524230656 90119 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
/proc/33454/statm: 127986 90119 3014 3035 0 113806 0
[pid=33454/tid=33456] ppid=33451 vsize=511944 memory=360476 CPUtime=277.64 cores=4,6
/proc/33454/task/33456/stat : 33456 (fscip) R 33451 33454 29026 0 -1 4194368 252948 0 0 0 27738 26 0 0 20 0 3 0 4951276 524230656 90119 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0

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

/proc/loadavg: 4.17 4.20 4.17 5/250 34930
/proc/meminfo: memFree=114436120/131655788 swapFree=131071216/131071996
[pid=33454] ppid=33451 vsize=643016 memory=569280 CPUtime=2256.85 cores=4,6
/proc/33454/stat : 33454 (fscip) S 33451 33454 29026 0 -1 1077936128 659980 0 0 0 225617 68 0 0 20 0 3 0 4950899 658448384 142320 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
/proc/33454/statm: 160754 142320 3030 3035 0 150064 0
[pid=33454/tid=33456] ppid=33451 vsize=643016 memory=569280 CPUtime=2252.95 cores=4,6
/proc/33454/task/33456/stat : 33456 (fscip) R 33451 33454 29026 0 -1 4194368 605131 0 0 0 225242 53 0 0 20 0 3 0 4951276 658448384 142320 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
[pid=33454/tid=33457] ppid=33451 vsize=643016 memory=569280 CPUtime=0.03 cores=4,6
/proc/33454/task/33457/stat : 33457 (fscip) S 33451 33454 29026 0 -1 1077936192 278 0 0 0 0 3 0 0 20 0 3 0 4951293 658448384 142320 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
Current children cumulated CPU time: 2256.85 s
Current children cumulated vsize: 643016 KiB
Current children cumulated memory: 569280 KiB

[startup+2322.3 s]
/proc/loadavg: 4.12 4.18 4.16 5/250 34940
/proc/meminfo: memFree=114395800/131655788 swapFree=131071216/131071996
[pid=33454] ppid=33451 vsize=643016 memory=569280 CPUtime=2316.72 cores=4,6
/proc/33454/stat : 33454 (fscip) S 33451 33454 29026 0 -1 1077936128 661918 0 0 0 231604 68 0 0 20 0 3 0 4950899 658448384 142320 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
/proc/33454/statm: 160754 142320 3030 3035 0 150064 0
[pid=33454/tid=33456] ppid=33451 vsize=643016 memory=569280 CPUtime=2312.82 cores=4,6
/proc/33454/task/33456/stat : 33456 (fscip) R 33451 33454 29026 0 -1 4194368 607033 0 0 0 231228 54 0 0 20 0 3 0 4951276 658448384 142320 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
[pid=33454/tid=33457] ppid=33451 vsize=643016 memory=569280 CPUtime=0.04 cores=4,6
/proc/33454/task/33457/stat : 33457 (fscip) S 33451 33454 29026 0 -1 1077936192 284 0 0 0 1 3 0 0 20 0 3 0 4951293 658448384 142320 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
Current children cumulated CPU time: 2316.72 s
Current children cumulated vsize: 643016 KiB
Current children cumulated memory: 569280 KiB

[startup+2382.3 s]
/proc/loadavg: 4.09 4.16 4.15 5/251 34953
/proc/meminfo: memFree=114352536/131655788 swapFree=131071216/131071996
[pid=33454] ppid=33451 vsize=643736 memory=570332 CPUtime=2376.57 cores=4,6
/proc/33454/stat : 33454 (fscip) S 33451 33454 29026 0 -1 1077936128 667658 0 0 0 237587 70 0 0 20 0 3 0 4950899 659185664 142583 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
/proc/33454/statm: 160934 142583 3030 3035 0 150244 0
[pid=33454/tid=33456] ppid=33451 vsize=643736 memory=569280 CPUtime=2372.67 cores=4,6
/proc/33454/task/33456/stat : 33456 (fscip) R 33451 33454 29026 0 -1 4194368 612739 0 0 0 237212 55 0 0 20 0 3 0 4951276 659185664 142583 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
[pid=33454/tid=33457] ppid=33451 vsize=643736 memory=552884 CPUtime=0.04 cores=4,6
/proc/33454/task/33457/stat : 33457 (fscip) S 33451 33454 29026 0 -1 1077936192 290 0 0 0 1 3 0 0 20 0 3 0 4951293 659185664 142583 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
Current children cumulated CPU time: 2376.57 s
Current children cumulated vsize: 643736 KiB
Current children cumulated memory: 570332 KiB

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

# cumulated CPU time of all completed processes:  user=2413.18 s, system=0.730567 s

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

[startup+2406.4 s]
/proc/loadavg: 4.14 4.16 4.16 5/251 34956
/proc/meminfo: memFree=114333536/131655788 swapFree=131071216/131071996
[pid=33454] ppid=33451 vsize=643736 memory=570340 CPUtime=2400.61 cores=4,6
/proc/33454/stat : 33454 (fscip) S 33451 33454 29026 0 -1 1077936128 668406 0 0 0 239991 70 0 0 20 0 3 0 4950899 659185664 142585 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
/proc/33454/statm: 160934 142585 3030 3035 0 150244 0
[pid=33454/tid=33456] ppid=33451 vsize=643736 memory=104 CPUtime=2396.71 cores=4,6
/proc/33454/task/33456/stat : 33456 (fscip) R 33451 33454 29026 0 -1 4194368 613487 0 0 0 239616 55 0 0 20 0 3 0 4951276 659185664 142585 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
[pid=33454/tid=33457] ppid=33451 vsize=643736 memory=5512 CPUtime=0.04 cores=4,6
/proc/33454/task/33457/stat : 33457 (fscip) S 33451 33454 29026 0 -1 1077936192 290 0 0 0 1 3 0 0 20 0 3 0 4951293 659185664 142585 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
Current children cumulated CPU time: 2400.61 s
Current children cumulated vsize: 643736 KiB
Current children cumulated memory: 570340 KiB

[startup+2412.8 s]
/proc/loadavg: 4.12 4.16 4.15 5/254 34962
/proc/meminfo: memFree=114329016/131655788 swapFree=131071216/131071996
[pid=33454] ppid=33451 vsize=643736 memory=570340 CPUtime=2407 cores=4,6
/proc/33454/stat : 33454 (fscip) S 33451 33454 29026 0 -1 1077936128 670617 0 0 0 240630 70 0 0 20 0 3 0 4950899 659185664 142585 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
/proc/33454/statm: 160934 142585 3030 3035 0 150244 0
[pid=33454/tid=33456] ppid=33451 vsize=643736 memory=12576 CPUtime=2403.09 cores=4,6
/proc/33454/task/33456/stat : 33456 (fscip) R 33451 33454 29026 0 -1 4194368 615698 0 0 0 240254 55 0 0 20 0 3 0 4951276 659185664 142585 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
[pid=33454/tid=33457] ppid=33451 vsize=643736 memory=12132 CPUtime=0.04 cores=4,6
/proc/33454/task/33457/stat : 33457 (fscip) S 33451 33454 29026 0 -1 1077936192 290 0 0 0 1 3 0 0 20 0 3 0 4951293 659185664 142585 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
Current children cumulated CPU time: 2407 s
Current children cumulated vsize: 643736 KiB
Current children cumulated memory: 570340 KiB

[startup+2416 s]*
/proc/loadavg: 4.12 4.16 4.15 5/254 34962
/proc/meminfo: memFree=114325564/131655788 swapFree=131071216/131071996
[pid=33454] ppid=33451 vsize=643736 memory=570356 CPUtime=2410.2 cores=4,6
/proc/33454/stat : 33454 (fscip) S 33451 33454 29026 0 -1 1077936128 670864 0 0 0 240950 70 0 0 20 0 3 0 4950899 659185664 142589 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
/proc/33454/statm: 160934 142589 3030 3035 0 151966 0
[pid=33454/tid=33456] ppid=33451 vsize=643736 memory=7686721470247706567 CPUtime=2406.3 cores=4,6
/proc/33454/task/33456/stat : 33456 (fscip) R 33451 33454 29026 0 -1 4194368 615945 0 0 0 240575 55 0 0 20 0 3 0 4951276 659185664 142589 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
[pid=33454/tid=33457] ppid=33451 vsize=643736 memory=-4050210904893866125 CPUtime=0.04 cores=4,6
/proc/33454/task/33457/stat : 33457 (fscip) S 33451 33454 29026 0 -1 1077936192 290 0 0 0 1 3 0 0 20 0 3 0 4951293 659185664 142589 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
Current children cumulated CPU time: 2410.2 s
Current children cumulated vsize: 643736 KiB
Current children cumulated memory: 570356 KiB

[startup+2417.6 s]
/proc/loadavg: 4.11 4.15 4.15 5/254 34962
/proc/meminfo: memFree=114324892/131655788 swapFree=131071216/131071996
[pid=33454] ppid=33451 vsize=643736 memory=570356 CPUtime=2411.78 cores=4,6
/proc/33454/stat : 33454 (fscip) S 33451 33454 29026 0 -1 1077936128 670895 0 0 0 241108 70 0 0 20 0 3 0 4950899 659185664 142589 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
/proc/33454/statm: 160934 142589 3030 3035 0 152665 0
[pid=33454/tid=33456] ppid=33451 vsize=643736 memory=12576 CPUtime=2407.88 cores=4,6
/proc/33454/task/33456/stat : 33456 (fscip) R 33451 33454 29026 0 -1 4194368 615976 0 0 0 240733 55 0 0 20 0 3 0 4951276 659185664 142589 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
[pid=33454/tid=33457] ppid=33451 vsize=643736 memory=11968 CPUtime=0.04 cores=4,6
/proc/33454/task/33457/stat : 33457 (fscip) S 33451 33454 29026 0 -1 1077936192 290 0 0 0 1 3 0 0 20 0 3 0 4951293 659185664 142589 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
Current children cumulated CPU time: 2411.78 s
Current children cumulated vsize: 643736 KiB
Current children cumulated memory: 570356 KiB

[startup+2418.4 s]
/proc/loadavg: 4.11 4.15 4.15 5/254 34962
/proc/meminfo: memFree=114324784/131655788 swapFree=131071216/131071996
[pid=33454] ppid=33451 vsize=643736 memory=570356 CPUtime=2412.58 cores=4,6
/proc/33454/stat : 33454 (fscip) S 33451 33454 29026 0 -1 1077936128 670903 0 0 0 241188 70 0 0 20 0 3 0 4950899 659185664 142589 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
/proc/33454/statm: 160934 142589 3030 3035 0 152665 0
[pid=33454/tid=33456] ppid=33451 vsize=643736 memory=-7379547681008477563 CPUtime=2408.68 cores=4,6
/proc/33454/task/33456/stat : 33456 (fscip) R 33451 33454 29026 0 -1 4194368 615984 0 0 0 240813 55 0 0 20 0 3 0 4951276 659185664 142589 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
[pid=33454/tid=33457] ppid=33451 vsize=643736 memory=16000 CPUtime=0.04 cores=4,6
/proc/33454/task/33457/stat : 33457 (fscip) S 33451 33454 29026 0 -1 1077936192 290 0 0 0 1 3 0 0 20 0 3 0 4951293 659185664 142589 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
Current children cumulated CPU time: 2412.58 s
Current children cumulated vsize: 643736 KiB
Current children cumulated memory: 570356 KiB

[startup+2419.2 s]
/proc/loadavg: 4.11 4.15 4.15 5/254 34962
/proc/meminfo: memFree=114324836/131655788 swapFree=131071216/131071996
[pid=33454] ppid=33451 vsize=643736 memory=570356 CPUtime=2413.38 cores=4,6
/proc/33454/stat : 33454 (fscip) S 33451 33454 29026 0 -1 1077936128 670903 0 0 0 241268 70 0 0 20 0 3 0 4950899 659185664 142589 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
/proc/33454/statm: 160934 142589 3030 3035 0 152665 0
[pid=33454/tid=33456] ppid=33451 vsize=643736 memory=570340 CPUtime=2409.48 cores=4,6
/proc/33454/task/33456/stat : 33456 (fscip) R 33451 33454 29026 0 -1 4194368 615984 0 0 0 240893 55 0 0 20 0 3 0 4951276 659185664 142589 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
[pid=33454/tid=33457] ppid=33451 vsize=643736 memory=12576 CPUtime=0.04 cores=4,6
/proc/33454/task/33457/stat : 33457 (fscip) S 33451 33454 29026 0 -1 1077936192 290 0 0 0 1 3 0 0 20 0 3 0 4951293 659185664 142589 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
Current children cumulated CPU time: 2413.38 s
Current children cumulated vsize: 643736 KiB
Current children cumulated memory: 570356 KiB

[startup+2419.62 s]
/proc/loadavg: 4.11 4.15 4.15 5/254 34962
/proc/meminfo: memFree=114324836/131655788 swapFree=131071216/131071996
[pid=33454] ppid=33451 vsize=626288 memory=550868 CPUtime=2413.79 cores=4,6
/proc/33454/stat : 33454 (fscip) R 33451 33454 29026 0 -1 4194304 673834 0 0 0 241309 70 0 0 20 0 2 0 4950899 641318912 137717 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
/proc/33454/statm: 156572 137717 3030 3035 0 148303 0
[pid=33454/tid=33457] ppid=33451 vsize=626288 memory=2296 CPUtime=0.04 cores=4,6
/proc/33454/task/33457/stat : 33457 (fscip) S 33451 33454 29026 0 -1 1077936192 290 0 0 0 1 3 0 0 20 0 2 0 4951293 641318912 137717 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
Current children cumulated CPU time: 2413.79 s
Current children cumulated vsize: 626288 KiB
Current children cumulated memory: 550868 KiB

[startup+2419.7 s]
/proc/loadavg: 4.11 4.15 4.15 5/254 34962
/proc/meminfo: memFree=114324836/131655788 swapFree=131071216/131071996
[pid=33454] ppid=33451 vsize=607824 memory=532404 CPUtime=2413.88 cores=4,6
/proc/33454/stat : 33454 (fscip) R 33451 33454 29026 0 -1 4194304 675146 0 0 0 241317 71 0 0 20 0 2 0 4950899 622411776 133101 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
/proc/33454/statm: 151956 133101 3030 3035 0 143687 0
[pid=33454/tid=33457] ppid=33451 vsize=607824 memory=569280 CPUtime=0.04 cores=4,6
/proc/33454/task/33457/stat : 33457 (fscip) S 33451 33454 29026 0 -1 1077936192 290 0 0 0 1 3 0 0 20 0 2 0 4951293 622411776 133101 134679101440 4194304 16623229 140733431467168 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33693696 140733431473174 140733431473290 140733431473290 140733431480304 0
Current children cumulated CPU time: 2413.88 s
Current children cumulated vsize: 607824 KiB
Current children cumulated memory: 532404 KiB

Child status: 0

Real time (s): 2419.73
CPU time (s): 2413.91
CPU user time (s): 2413.18
CPU system time (s): 0.730567
CPU usage (%): 99.7598
Max. virtual memory (cumulated for all children) (KiB): 643736
Max. memory (cumulated for all children) (KiB): 570356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2413.18
system time used= 0.730567
maximum resident set size= 570360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 675307
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= 3057
involuntary context switches= 1058


# summary of solver processes directly reported to runsolver:
#   pid: 33454
#   total CPU time (s): 2413.91
#   total CPU user time (s): 2413.18
#   total CPU system time (s): 0.730567

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.6509 second user time and 23.5167 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2024-07-31 02:29:55
IDJOB=4464262
IDBENCH=158389
IDSOLVER=3092
FILE ID=nodeC003/4464262-1722385795
RUNJOBID= nodeC003-1722378594-29037
SLURM_JOB_ID= 8249833
Free space on /tmp= 723648 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-jul5.5.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464262-1722385795/watcher-4464262-1722385795 -o /tmp/evaluation-result-4464262-1722385795/solver-4464262-1722385795 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1722378594-29037 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464262-1722385795.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= d644f29675162790fbe3eaac4bda72a3
RANDOM SEED=99795441

nodeC003.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		: 3558.211
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.52
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		: 3658.897
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.40
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.342
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.52
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.195
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.40
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		: 3491.776
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.52
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		: 3665.818
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.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        105881492 kB
MemAvailable:   116749176 kB
Buffers:           97672 kB
Cached:         11588656 kB
SwapCached:           16 kB
Active:           321664 kB
Inactive:       24958964 kB
Active(anon):       1456 kB
Inactive(anon): 13614052 kB
Active(file):     320208 kB
Inactive(file): 11344912 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071216 kB
Dirty:             29388 kB
Writeback:             0 kB
AnonPages:      13593172 kB
Mapped:           125348 kB
Shmem:             21156 kB
KReclaimable:      85524 kB
Slab:             164428 kB
SReclaimable:      85524 kB
SUnreclaim:        78904 kB
KernelStack:        4016 kB
PageTables:        36264 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    8512860 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             6944 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5900288 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:      295752 kB
DirectMap2M:    11143168 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 723660 MiB
End job on nodeC003 at 2024-07-31 03:10:15