Trace number 4464186

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-30OPT42 2244.94 2250.8

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_9_shg.opb
MD5SUM6ff458260e5cc7a1e00e7b04a599a648
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 benchmark42
Best CPU time to get the best result obtained on this benchmark992.421
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7840
Total number of constraints65280
Number of constraints which are clauses65280
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint34
Maximum length of a constraint64
Number of terms in the objective function 7840
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 7840
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 7840
Number of bits of the biggest sum of numbers13
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)
1.29/1.38	c Default LC presolving (default).
1.29/1.38	c ** Before presolving: virtualMemUsedAtLc = 741065440, getVmSize() = 579207168, SCIPgetMemUsed() = 381895970, SCIPgetMemTotal() = 545551818, SCIPgetMemExternEstim() = 195513622
1.29/1.38	c ** set memory limit for presolving in LC to 8.79587e+12 for SCIP **
13.15/13.26	c ** Estimated virtualMemUsedAtSolver = 1844507812, getVmSize() = 2751545344, SCIPgetMemUsed() = 1437225233, SCIPgetMemTotal() = 2571248097, SCIPgetMemExternEstim() = 195513622
13.15/13.26	c ** set memory limit for solvers to 4.39799e+12 for each SCIP **
13.15/13.26	c Original Problem   :
13.15/13.26	c   Problem name     : instance-4464186-1722382201
13.15/13.26	c   Variables        : 7840 (7840 binary, 0 integer, 0 implicit integer, 0 continuous)
13.15/13.26	c   Constraints      : 65280
13.15/13.26	c   Objective sense  : minimize
13.15/13.26	c Presolved Problem  :
13.15/13.26	c   Variables        : 7840 (7840 binary, 0 integer, 0 implicit integer, 0 continuous)
13.15/13.26	c   Constraints      : 65280
13.15/13.26	c Constraints        : Number
13.15/13.26	c   logicor          : 65280 
13.15/13.26	c ** Instance transfer method used: 0
13.45/13.58	c ** ParaScipInstance copy does not increase the number of variables. **
13.75/13.86	c LC is working with racing ramp-up and with rebuilding tree after racing.
13.75/13.86	c                                Nodes    Active                                            
13.75/13.86	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
21.82/21.90	c *      22              0           1         1          48.0000                -          -
21.82/21.90	c        22              0           1         1          48.0000                -          -
757.39/759.45	c *     759              0           1         1          47.0000                -          -
757.39/759.45	c       759              0           1         1          47.0000                -          -
757.49/759.55	c *     760              0           1         1          46.0000                -          -
759.39/761.41	c *     761              0           1         1          44.0000                -          -
835.49/837.78	c *     838              0           1         1          42.0000                -          -
835.49/837.78	c       838              0           1         1          42.0000                -          -
888.15/890.53	c       891              2           1         1          42.0000          38.8245      8.18%
939.42/941.99	c       942              3           2         1          42.0000          38.8857      8.01%
1033.16/1035.98	c      1036              4           3         1          42.0000          38.8857      8.01%
1122.43/1125.40	c      1125              5           4         1          42.0000          38.8857      8.01%
1160.03/1163.11	c      1163              6           5         1          42.0000          38.8857      8.01%
1199.83/1203.02	c      1203              7           6         1          42.0000          38.8857      8.01%
1237.92/1241.29	c      1241              8           7         1          42.0000          38.8857      8.01%
1267.24/1270.64	c      1271              9           8         1          42.0000          38.8857      8.01%
1273.03/1276.43	c      1276             11          10         1          42.0000          38.8857      8.01%
1279.31/1282.73	c      1283             13          12         1          42.0000          38.9905      7.72%
1286.59/1290.10	c      1290             15          14         1          42.0000          39.2727      6.94%
1293.36/1296.84	c      1297             17          16         1          42.0000          39.2727      6.94%
1320.99/1324.54	c      1325             18          17         1          42.0000          39.2727      6.94%
1345.72/1349.37	c      1349             19          18         1          42.0000          39.2727      6.94%
1477.49/1481.49	c      1481             21          20         1          42.0000          39.4002      6.60%
1509.12/1513.12	c      1513             22          21         1          42.0000          39.4799      6.38%
1517.49/1521.56	c      1522             24          23         1          42.0000          39.4799      6.38%
1524.08/1528.11	c      1528             26          25         1          42.0000          39.4799      6.38%
1529.85/1533.95	c      1534             27          26         1          42.0000          39.4799      6.38%
1538.64/1542.78	c      1543             29          28         1          42.0000          39.4799      6.38%
1544.52/1548.65	c      1549             31          30         1          42.0000          39.4799      6.38%
1572.55/1576.70	c      1577             33          32         1          42.0000          39.4926      6.35%
1579.54/1583.78	c      1584             35          34         1          42.0000          39.4926      6.35%
1586.12/1590.37	c      1590             38          37         1          42.0000          39.4926      6.35%
1594.10/1598.33	c      1598             41          38         1          42.0000          39.4926      6.35%
1601.18/1605.41	c      1605             43          40         1          42.0000          39.5827      6.11%
1609.25/1613.56	c      1614             45          42         1          42.0000          39.5827      6.11%
1616.33/1620.64	c      1621             47          44         1          42.0000          39.5827      6.11%
1641.97/1646.35	c      1646             49          44         1          42.0000          39.7537      5.65%
1650.45/1654.87	c      1655             52          45         1          42.0000          39.8577      5.37%
1656.34/1660.77	c      1661             54          47         1          42.0000          39.8577      5.37%
1661.92/1666.35	c      1666             56          47         1          42.0000          39.8577      5.37%
1667.90/1672.39	c      1672             59          48         1          42.0000          39.8577      5.37%
1673.38/1677.83	c      1678             62          49         1          42.0000          39.8954      5.28%
1679.97/1684.42	c      1684             64          51         1          42.0000          39.8954      5.28%
1701.22/1705.79	c      1706             66          51         1          42.0000          39.8954      5.28%
1707.80/1712.32	c      1712             68          53         1          42.0000          39.8954      5.28%
1714.59/1719.12	c      1719             70          55         1          42.0000          39.8954      5.28%
1722.37/1726.95	c      1727             73          56         1          42.0000          39.9180      5.22%
1739.02/1743.62	c      1744             74          57         1          42.0000          39.9180      5.22%
1747.10/1751.77	c      1752             77          58         1          42.0000          39.9180      5.22%
1755.58/1760.20	c      1760             80          59         1          42.0000          39.9180      5.22%
1762.46/1767.19	c      1767             82          61         1          42.0000          39.9180      5.22%
1769.34/1774.03	c      1774             86          59         1          42.0000          39.9180      5.22%
1778.42/1783.14	c      1783             87          60         1          42.0000          39.9180      5.22%
1799.87/1804.61	c      1805             88          61         1          42.0000          39.9180      5.22%
1805.15/1809.99	c      1810             90          61         1          42.0000          39.9180      5.22%
1812.53/1817.37	c      1817             93          62         1          42.0000          39.9571      5.11%
1837.67/1842.52	c      1843             95          64         1          42.0000          39.9571      5.11%
1846.94/1851.89	c      1852             99          64         1          42.0000          39.9571      5.11%
1854.43/1859.33	c      1859            101          64         1          42.0000          39.9571      5.11%
1872.28/1877.21	c      1877            102          65         1          42.0000          39.9571      5.11%
1878.66/1883.64	c      1884            104          67         1          42.0000          39.9571      5.11%
1883.75/1888.78	c      1889            106          65         1          42.0000          39.9571      5.11%
1891.14/1896.19	c      1896            110          63         1          42.0000          39.9571      5.11%
1915.77/1920.87	c      1921            112          65         1          42.0000          40.0568      4.85%
1923.36/1928.41	c      1928            114          65         1          42.0000          40.0595      4.84%
1929.34/1934.45	c      1934            116          67         1          42.0000          40.0595      4.84%
1935.03/1940.12	c      1940            119          66         1          42.0000          40.0595      4.84%
1946.30/1951.43	c      1951            123          66         1          42.0000          40.1073      4.72%
1951.68/1956.85	c      1957            125          66         1          42.0000          40.1073      4.72%
1960.56/1965.74	c      1966            127          64         1          42.0000          40.1073      4.72%
1967.14/1972.31	c      1972            130          63         1          42.0000          40.1533      4.60%
1986.09/1991.37	c      1991            132          63         1          42.0000          40.1533      4.60%
2004.15/2009.46	c      2009            134          65         1          42.0000          40.1533      4.60%
2011.13/2016.43	c      2016            136          65         1          42.0000          40.1533      4.60%
2019.61/2024.96	c      2025            139          64         1          42.0000          40.1533      4.60%
2034.27/2039.66	c      2040            142          63         1          42.0000          40.2416      4.37%
2050.23/2055.60	c      2056            144          63         1          42.0000          40.3010      4.22%
2055.22/2060.69	c      2061            146          61         1          42.0000          40.3010      4.22%
2072.78/2078.28	c      2078            148          61         1          42.0000          40.3010      4.22%
2079.16/2084.64	c      2085            150          59         1          42.0000          40.3010      4.22%
2086.84/2092.30	c      2092            153          60         1          42.0000          40.3010      4.22%
2092.53/2098.02	c      2098            158          55         1          42.0000          40.3010      4.22%
2105.99/2111.57	c      2112            162          53         1          42.0000          40.3082      4.20%
2112.67/2118.26	c      2118            167          50         1          42.0000          40.3082      4.20%
2132.32/2137.93	c      2138            171          48         1          42.0000          40.3082      4.20%
2140.10/2145.74	c      2146            173          48         1          42.0000          40.4018      3.96%
2161.15/2166.89	c      2167            178          45         1          42.0000          40.4018      3.96%
2167.34/2173.02	c      2173            188          35         1          42.0000          40.4296      3.88%
2172.82/2178.50	c      2178            194          29         1          42.0000          40.4416      3.85%
2177.90/2183.69	c      2184            196          27         1          42.0000          40.4416      3.85%
2193.57/2199.38	c      2199            201          22         1          42.0000          40.4416      3.85%
2202.04/2207.86	c      2208            208          15         1          42.0000          40.4416      3.85%
2218.20/2224.06	c      2224            212          11         1          42.0000          40.4799      3.76%
2228.67/2234.50	c      2234            216           7         1          42.0000          40.4799      3.76%
2241.84/2247.70	c      2248            221           2         1          42.0000          40.4799      3.76%
2244.13/2250.00	c      2250            223           0         0          42.0000          42.0000      0.00%
2244.63/2250.53	c      2251            223           0         0          42.0000          42.0000          -
2244.63/2250.53	c SCIP Status        : c problem is solved
2244.63/2250.53	c Total Time         : 2250.5200
2244.63/2250.53	c   solving          : 2250.5200
2244.63/2250.53	c   presolving       : 11.8845 (included in solving)
2244.63/2250.53	c B&B Tree           :
2244.63/2250.53	c   nodes (total)    : 223
2244.63/2250.53	c Solution           :
2244.63/2250.53	c   Solutions found  : 6
2244.63/2250.53	c   Primal Bound     : +4.20000000000000e+01
2244.63/2250.53	c   Dual Bound       : +4.20000000000000e+01
2244.63/2250.53	c Gap                : 0.00000 %
2244.63/2250.59	o 42
2244.63/2250.59	s OPTIMUM FOUND
2244.63/2250.59	v -x7840 -x7839 -x7838 -x7837 -x7836 -x7835 -x7834 -x7833 -x7832 -x7831 -x7830 -x7829 -x7828 -x7827 -x7826 -x7825 -x7824 -x7823 -x7822 
2244.63/2250.59	v -x7821 -x7820 -x7819 -x7818 -x7817 -x7816 -x7815 -x7814 -x7813 -x7812 -x7811 -x7810 -x7809 -x7808 -x7807 -x7806 -x7805 
2244.63/2250.59	v -x7804 -x7803 -x7802 -x7801 -x7800 -x7799 -x7798 -x7797 -x7796 -x7795 -x7794 -x7793 -x7792 -x7791 -x7790 -x7789 -x7788 -x7787 
2244.63/2250.59	v -x7786 -x7785 -x7784 -x7783 -x7782 -x7781 -x7780 -x7779 -x7778 -x7777 -x7776 -x7775 -x7774 -x7773 -x7772 -x7771 -x7770 -x7769 
2244.63/2250.59	v -x7768 -x7767 -x7766 -x7765 -x7764 -x7763 -x7762 -x7761 -x7760 -x7759 -x7758 -x7757 -x7756 -x7755 -x7754 -x7753 -x7752 -x7751 
2244.63/2250.59	v -x7750 -x7749 -x7748 -x7747 -x7746 -x7745 -x7744 -x7743 -x7742 -x7741 -x7740 -x7739 -x7738 -x7737 -x7736 -x7735 -x7734 -x7733 
2244.63/2250.59	v -x7732 -x7731 -x7730 -x7729 -x7728 -x7727 -x7726 -x7725 -x7724 -x7723 -x7722 -x7721 -x7720 -x7719 -x7718 -x7717 -x7716 -x7715 
2244.63/2250.59	v -x7714 -x7713 -x7712 -x7711 -x7710 -x7709 -x7708 -x7707 -x7706 -x7705 -x7704 -x7703 -x7702 -x7701 -x7700 -x7699 -x7698 -x7697 
2244.63/2250.59	v -x7696 -x7695 -x7694 -x7693 -x7692 -x7691 -x7690 -x7689 -x7688 -x7687 -x7686 -x7685 -x7684 -x7683 -x7682 -x7681 -x7680 
2244.63/2250.59	v -x7679 -x7678 -x7677 -x7676 -x7675 -x7674 -x7673 -x7672 -x7671 -x7670 -x7669 -x7668 -x7667 -x7666 -x7665 -x7664 -x7663 -x7662 
2244.63/2250.59	v -x7661 -x7660 -x7659 -x7658 -x7657 -x7656 -x7655 -x7654 -x7653 -x7652 -x7651 -x7650 -x7649 -x7648 -x7647 -x7646 -x7645 -x7644 
2244.63/2250.59	v -x7643 -x7642 -x7641 -x7640 -x7639 -x7638 -x7637 -x7636 -x7635 -x7634 -x7633 -x7632 -x7631 -x7630 -x7629 -x7628 -x7627 -x7626 
2244.63/2250.59	v -x7625 -x7624 -x7623 -x7622 -x7621 -x7620 -x7619 -x7618 -x7617 -x7616 -x7615 -x7614 -x7613 -x7612 -x7611 -x7610 -x7609 -x7608 
2244.63/2250.59	v -x7607 -x7606 -x7605 -x7604 -x7603 -x7602 -x7601 -x7600 -x7599 -x7598 -x7597 -x7596 -x7595 -x7594 -x7593 -x7592 -x7591 -x7590 
2244.63/2250.59	v -x7589 -x7588 -x7587 -x7586 -x7585 -x7584 -x7583 -x7582 -x7581 -x7580 -x7579 -x7578 -x7577 -x7576 -x7575 -x7574 -x7573 -x7572 
2244.63/2250.59	v -x7571 -x7570 -x7569 -x7568 -x7567 -x7566 -x7565 -x7564 -x7563 -x7562 -x7561 -x7560 -x7559 -x7558 -x7557 -x7556 -x7555 
2244.63/2250.59	v -x7554 -x7553 -x7552 -x7551 -x7550 -x7549 -x7548 -x7547 -x7546 -x7545 -x7544 -x7543 -x7542 -x7541 -x7540 -x7539 -x7538 -x7537 
2244.63/2250.59	v -x7536 -x7535 -x7534 -x7533 -x7532 -x7531 -x7530 -x7529 -x7528 -x7527 -x7526 -x7525 -x7524 -x7523 -x7522 -x7521 -x7520 -x7519 
2244.63/2250.59	v -x7518 -x7517 -x7516 -x7515 -x7514 -x7513 -x7512 -x7511 -x7510 -x7509 -x7508 -x7507 -x7506 -x7505 -x7504 -x7503 -x7502 -x7501 
2244.63/2250.59	v -x7500 -x7499 -x7498 -x7497 -x7496 -x7495 -x7494 -x7493 -x7492 -x7491 -x7490 -x7489 -x7488 -x7487 -x7486 -x7485 -x7484 -x7483 
2244.63/2250.59	v -x7482 -x7481 -x7480 -x7479 -x7478 -x7477 -x7476 -x7475 -x7474 -x7473 -x7472 -x7471 -x7470 -x7469 -x7468 -x7467 -x7466 -x7465 
2244.63/2250.59	v -x7464 -x7463 -x7462 -x7461 -x7460 -x7459 -x7458 -x7457 -x7456 -x7455 -x7454 -x7453 -x7452 -x7451 -x7450 -x7449 -x7448 -x7447 
2244.63/2250.59	v -x7446 -x7445 -x7444 -x7443 -x7442 -x7441 -x7440 -x7439 -x7438 -x7437 -x7436 -x7435 -x7434 -x7433 -x7432 -x7431 -x7430 
2244.63/2250.59	v -x7429 -x7428 -x7427 -x7426 -x7425 -x7424 -x7423 -x7422 -x7421 -x7420 -x7419 -x7418 -x7417 -x7416 -x7415 -x7414 -x7413 -x7412 
2244.63/2250.59	v -x7411 -x7410 -x7409 -x7408 -x7407 -x7406 -x7405 -x7404 -x7403 -x7402 -x7401 -x7400 -x7399 -x7398 -x7397 -x7396 -x7395 -x7394 
2244.63/2250.59	v -x7393 -x7392 -x7391 -x7390 -x7389 -x7388 -x7387 -x7386 -x7385 -x7384 -x7383 -x7382 -x7381 -x7380 -x7379 -x7378 -x7377 -x7376 
2244.63/2250.59	v -x7375 -x7374 -x7373 -x7372 -x7371 -x7370 -x7369 -x7368 -x7367 -x7366 -x7365 -x7364 -x7363 -x7362 -x7361 -x7360 -x7359 -x7358 
2244.63/2250.59	v -x7357 -x7356 -x7355 -x7354 -x7353 -x7352 -x7351 -x7350 -x7349 -x7348 -x7347 -x7346 -x7345 -x7344 -x7343 -x7342 -x7341 -x7340 
2244.63/2250.59	v -x7339 -x7338 -x7337 -x7336 -x7335 -x7334 -x7333 -x7332 -x7331 -x7330 -x7329 -x7328 -x7327 -x7326 -x7325 -x7324 -x7323 -x7322 
2244.63/2250.59	v -x7321 -x7320 -x7319 -x7318 -x7317 -x7316 -x7315 -x7314 -x7313 -x7312 -x7311 -x7310 -x7309 -x7308 -x7307 -x7306 -x7305 
2244.63/2250.59	v -x7304 -x7303 -x7302 -x7301 -x7300 -x7299 -x7298 -x7297 -x7296 -x7295 -x7294 -x7293 -x7292 -x7291 -x7290 -x7289 -x7288 -x7287 
2244.63/2250.59	v -x7286 -x7285 -x7284 -x7283 -x7282 -x7281 -x7280 -x7279 -x7278 -x7277 -x7276 -x7275 -x7274 -x7273 -x7272 -x7271 -x7270 -x7269 
2244.63/2250.59	v -x7268 -x7267 -x7266 -x7265 -x7264 -x7263 -x7262 -x7261 -x7260 -x7259 -x7258 -x7257 -x7256 -x7255 -x7254 -x7253 -x7252 -x7251 
2244.63/2250.59	v -x7250 -x7249 -x7248 -x7247 -x7246 -x7245 -x7244 -x7243 -x7242 -x7241 -x7240 -x7239 -x7238 -x7237 -x7236 -x7235 -x7234 -x7233 
2244.63/2250.59	v -x7232 -x7231 -x7230 -x7229 -x7228 -x7227 -x7226 -x7225 -x7224 -x7223 -x7222 -x7221 -x7220 -x7219 -x7218 -x7217 -x7216 -x7215 
2244.63/2250.59	v -x7214 -x7213 -x7212 -x7211 -x7210 -x7209 -x7208 -x7207 -x7206 -x7205 -x7204 -x7203 -x7202 -x7201 -x7200 -x7199 -x7198 -x7197 
2244.63/2250.59	v -x7196 -x7195 -x7194 -x7193 -x7192 -x7191 -x7190 -x7189 -x7188 -x7187 -x7186 -x7185 -x7184 -x7183 -x7182 -x7181 -x7180 
2244.63/2250.59	v -x7179 -x7178 -x7177 -x7176 -x7175 -x7174 -x7173 -x7172 -x7171 -x7170 -x7169 -x7168 -x7167 -x7166 -x7165 -x7164 -x7163 -x7162 
2244.63/2250.59	v -x7161 -x7160 -x7159 -x7158 -x7157 -x7156 -x7155 -x7154 -x7153 -x7152 -x7151 -x7150 -x7149 -x7148 -x7147 -x7146 -x7145 -x7144 
2244.63/2250.59	v -x7143 -x7142 -x7141 -x7140 -x7139 -x7138 -x7137 -x7136 -x7135 -x7134 -x7133 -x7132 -x7131 -x7130 -x7129 -x7128 -x7127 -x7126 
2244.63/2250.59	v -x7125 -x7124 -x7123 -x7122 -x7121 -x7120 -x7119 -x7118 -x7117 -x7116 -x7115 -x7114 -x7113 -x7112 -x7111 -x7110 -x7109 -x7108 
2244.63/2250.59	v -x7107 -x7106 -x7105 -x7104 -x7103 -x7102 -x7101 -x7100 -x7099 -x7098 -x7097 -x7096 -x7095 -x7094 -x7093 -x7092 -x7091 -x7090 
2244.63/2250.59	v -x7089 -x7088 -x7087 -x7086 -x7085 -x7084 -x7083 -x7082 -x7081 -x7080 -x7079 -x7078 -x7077 -x7076 -x7075 -x7074 -x7073 -x7072 
2244.63/2250.59	v -x7071 -x7070 -x7069 -x7068 -x7067 -x7066 -x7065 -x7064 -x7063 -x7062 -x7061 -x7060 -x7059 -x7058 -x7057 -x7056 -x7055 
2244.63/2250.59	v -x7054 -x7053 -x7052 -x7051 -x7050 -x7049 -x7048 -x7047 -x7046 -x7045 -x7044 -x7043 -x7042 -x7041 -x7040 -x7039 -x7038 -x7037 
2244.63/2250.59	v -x7036 -x7035 -x7034 -x7033 -x7032 -x7031 -x7030 -x7029 -x7028 -x7027 -x7026 -x7025 -x7024 -x7023 -x7022 -x7021 -x7020 -x7019 
2244.63/2250.59	v -x7018 -x7017 -x7016 -x7015 -x7014 -x7013 -x7012 -x7011 -x7010 -x7009 -x7008 -x7007 -x7006 -x7005 -x7004 -x7003 -x7002 -x7001 
2244.63/2250.59	v -x7000 -x6999 -x6998 -x6997 -x6996 -x6995 -x6994 -x6993 -x6992 -x6991 -x6990 -x6989 -x6988 -x6987 -x6986 -x6985 -x6984 -x6983 
2244.63/2250.59	v -x6982 -x6981 -x6980 -x6979 -x6978 -x6977 -x6976 -x6975 -x6974 -x6973 -x6972 -x6971 -x6970 -x6969 -x6968 -x6967 -x6966 -x6965 
2244.63/2250.59	v -x6964 -x6963 -x6962 -x6961 -x6960 -x6959 -x6958 -x6957 -x6956 -x6955 -x6954 -x6953 -x6952 -x6951 -x6950 -x6949 -x6948 -x6947 
2244.63/2250.59	v -x6946 -x6945 -x6944 -x6943 -x6942 -x6941 -x6940 -x6939 -x6938 -x6937 -x6936 -x6935 -x6934 -x6933 -x6932 -x6931 -x6930 
2244.63/2250.59	v -x6929 -x6928 -x6927 -x6926 -x6925 -x6924 -x6923 -x6922 -x6921 x6920 -x6919 -x6918 -x6917 -x6916 -x6915 -x6914 -x6913 -x6912 
2244.63/2250.59	v -x6911 -x6910 -x6909 -x6908 -x6907 -x6906 -x6905 -x6904 -x6903 -x6902 -x6901 -x6900 -x6899 -x6898 -x6897 -x6896 -x6895 -x6894 
2244.63/2250.59	v -x6893 -x6892 -x6891 -x6890 -x6889 -x6888 -x6887 -x6886 -x6885 -x6884 -x6883 -x6882 -x6881 -x6880 -x6879 -x6878 -x6877 -x6876 
2244.63/2250.59	v -x6875 -x6874 -x6873 -x6872 -x6871 -x6870 -x6869 -x6868 -x6867 -x6866 -x6865 -x6864 -x6863 -x6862 -x6861 -x6860 -x6859 -x6858 
2244.63/2250.59	v -x6857 -x6856 -x6855 -x6854 -x6853 -x6852 -x6851 -x6850 -x6849 -x6848 -x6847 -x6846 -x6845 -x6844 -x6843 -x6842 -x6841 -x6840 
2244.63/2250.59	v -x6839 -x6838 -x6837 -x6836 -x6835 -x6834 -x6833 -x6832 -x6831 -x6830 -x6829 -x6828 -x6827 -x6826 -x6825 -x6824 -x6823 -x6822 
2244.63/2250.59	v -x6821 -x6820 -x6819 -x6818 -x6817 -x6816 -x6815 -x6814 -x6813 -x6812 -x6811 -x6810 -x6809 -x6808 -x6807 -x6806 -x6805 -x6804 
2244.63/2250.59	v -x6803 -x6802 -x6801 -x6800 -x6799 -x6798 -x6797 -x6796 -x6795 -x6794 -x6793 -x6792 -x6791 -x6790 -x6789 -x6788 -x6787 
2244.63/2250.59	v -x6786 -x6785 -x6784 -x6783 -x6782 -x6781 -x6780 -x6779 -x6778 -x6777 -x6776 -x6775 -x6774 -x6773 -x6772 -x6771 -x6770 -x6769 
2244.63/2250.59	v -x6768 -x6767 -x6766 -x6765 -x6764 -x6763 -x6762 -x6761 -x6760 -x6759 -x6758 -x6757 -x6756 -x6755 -x6754 -x6753 -x6752 -x6751 
2244.63/2250.59	v -x6750 -x6749 -x6748 -x6747 -x6746 -x6745 -x6744 -x6743 -x6742 -x6741 -x6740 -x6739 -x6738 -x6737 -x6736 -x6735 -x6734 -x6733 
2244.63/2250.59	v -x6732 -x6731 -x6730 -x6729 -x6728 -x6727 -x6726 -x6725 -x6724 -x6723 -x6722 -x6721 -x6720 -x6719 -x6718 -x6717 -x6716 -x6715 
2244.63/2250.59	v -x6714 -x6713 -x6712 -x6711 -x6710 -x6709 -x6708 -x6707 -x6706 -x6705 -x6704 -x6703 -x6702 -x6701 -x6700 -x6699 -x6698 -x6697 
2244.63/2250.59	v -x6696 -x6695 -x6694 -x6693 -x6692 -x6691 -x6690 -x6689 -x6688 -x6687 -x6686 -x6685 -x6684 -x6683 -x6682 -x6681 -x6680 -x6679 
2244.63/2250.59	v -x6678 -x6677 -x6676 -x6675 -x6674 -x6673 -x6672 -x6671 -x6670 -x6669 -x6668 -x6667 -x6666 -x6665 -x6664 -x6663 -x6662 
2244.63/2250.59	v -x6661 -x6660 -x6659 -x6658 -x6657 -x6656 -x6655 -x6654 -x6653 -x6652 -x6651 -x6650 -x6649 -x6648 -x6647 -x6646 -x6645 -x6644 
2244.63/2250.59	v -x6643 -x6642 -x6641 -x6640 -x6639 -x6638 -x6637 -x6636 -x6635 -x6634 -x6633 -x6632 -x6631 -x6630 -x6629 -x6628 -x6627 -x6626 
2244.63/2250.59	v -x6625 -x6624 -x6623 -x6622 -x6621 -x6620 -x6619 -x6618 -x6617 -x6616 -x6615 -x6614 x6613 -x6612 -x6611 -x6610 -x6609 -x6608 
2244.63/2250.59	v -x6607 -x6606 -x6605 -x6604 -x6603 -x6602 -x6601 -x6600 -x6599 -x6598 -x6597 -x6596 -x6595 -x6594 -x6593 -x6592 -x6591 -x6590 
2244.63/2250.59	v -x6589 -x6588 -x6587 -x6586 -x6585 -x6584 -x6583 -x6582 -x6581 -x6580 -x6579 -x6578 -x6577 -x6576 -x6575 -x6574 -x6573 -x6572 
2244.63/2250.59	v -x6571 -x6570 -x6569 -x6568 -x6567 -x6566 -x6565 -x6564 -x6563 -x6562 -x6561 -x6560 -x6559 -x6558 -x6557 -x6556 -x6555 -x6554 
2244.63/2250.59	v -x6553 -x6552 -x6551 -x6550 -x6549 -x6548 -x6547 -x6546 -x6545 -x6544 -x6543 -x6542 -x6541 -x6540 -x6539 -x6538 -x6537 -x6536 
2244.63/2250.59	v -x6535 -x6534 -x6533 -x6532 -x6531 -x6530 -x6529 -x6528 -x6527 -x6526 -x6525 -x6524 -x6523 -x6522 -x6521 -x6520 -x6519 
2244.63/2250.59	v -x6518 -x6517 -x6516 -x6515 -x6514 -x6513 -x6512 -x6511 -x6510 -x6509 -x6508 -x6507 -x6506 -x6505 -x6504 -x6503 -x6502 -x6501 
2244.63/2250.59	v -x6500 -x6499 -x6498 -x6497 -x6496 -x6495 -x6494 -x6493 -x6492 -x6491 -x6490 -x6489 -x6488 -x6487 -x6486 -x6485 -x6484 -x6483 
2244.63/2250.59	v -x6482 -x6481 -x6480 -x6479 -x6478 -x6477 -x6476 -x6475 -x6474 -x6473 -x6472 -x6471 -x6470 -x6469 -x6468 -x6467 -x6466 -x6465 
2244.63/2250.59	v -x6464 -x6463 -x6462 -x6461 -x6460 -x6459 -x6458 -x6457 -x6456 -x6455 -x6454 -x6453 -x6452 -x6451 -x6450 -x6449 -x6448 -x6447 
2244.63/2250.59	v -x6446 -x6445 -x6444 -x6443 -x6442 -x6441 -x6440 -x6439 -x6438 -x6437 -x6436 -x6435 -x6434 -x6433 -x6432 -x6431 x6430 x6429 
2244.63/2250.59	v -x6428 -x6427 -x6426 -x6425 -x6424 -x6423 -x6422 -x6421 -x6420 -x6419 -x6418 -x6417 -x6416 -x6415 -x6414 -x6413 -x6412 -x6411 
2244.63/2250.59	v -x6410 -x6409 -x6408 -x6407 -x6406 -x6405 -x6404 -x6403 -x6402 -x6401 -x6400 -x6399 -x6398 -x6397 -x6396 -x6395 -x6394 -x6393 
2244.63/2250.59	v -x6392 -x6391 -x6390 -x6389 -x6388 -x6387 -x6386 -x6385 -x6384 -x6383 -x6382 -x6381 -x6380 -x6379 -x6378 -x6377 -x6376 -x6375 
2244.63/2250.59	v -x6374 -x6373 -x6372 -x6371 -x6370 -x6369 -x6368 -x6367 -x6366 -x6365 -x6364 -x6363 -x6362 -x6361 -x6360 -x6359 -x6358 
2244.63/2250.59	v -x6357 -x6356 -x6355 -x6354 -x6353 -x6352 -x6351 -x6350 -x6349 -x6348 -x6347 -x6346 -x6345 -x6344 -x6343 -x6342 -x6341 -x6340 
2244.63/2250.59	v -x6339 -x6338 -x6337 -x6336 -x6335 -x6334 -x6333 -x6332 -x6331 -x6330 -x6329 -x6328 -x6327 -x6326 -x6325 -x6324 -x6323 -x6322 
2244.63/2250.59	v -x6321 -x6320 -x6319 -x6318 -x6317 -x6316 -x6315 -x6314 -x6313 -x6312 -x6311 -x6310 -x6309 -x6308 -x6307 -x6306 -x6305 -x6304 
2244.63/2250.59	v -x6303 -x6302 -x6301 -x6300 -x6299 -x6298 -x6297 -x6296 -x6295 -x6294 -x6293 -x6292 -x6291 -x6290 -x6289 -x6288 -x6287 -x6286 
2244.63/2250.59	v -x6285 -x6284 -x6283 -x6282 -x6281 -x6280 -x6279 -x6278 -x6277 -x6276 -x6275 -x6274 -x6273 -x6272 -x6271 -x6270 -x6269 -x6268 
2244.63/2250.59	v -x6267 -x6266 -x6265 -x6264 -x6263 -x6262 -x6261 -x6260 -x6259 -x6258 -x6257 -x6256 -x6255 -x6254 -x6253 x6252 x6251 -x6250 
2244.63/2250.59	v -x6249 -x6248 -x6247 -x6246 -x6245 -x6244 -x6243 -x6242 -x6241 -x6240 -x6239 -x6238 -x6237 -x6236 -x6235 -x6234 -x6233 -x6232 
2244.63/2250.59	v -x6231 -x6230 -x6229 -x6228 -x6227 -x6226 -x6225 -x6224 -x6223 -x6222 -x6221 -x6220 -x6219 -x6218 -x6217 -x6216 -x6215 -x6214 
2244.63/2250.59	v -x6213 -x6212 -x6211 -x6210 -x6209 -x6208 -x6207 -x6206 -x6205 -x6204 -x6203 -x6202 -x6201 -x6200 -x6199 -x6198 -x6197 
2244.63/2250.59	v -x6196 -x6195 -x6194 -x6193 -x6192 -x6191 -x6190 -x6189 -x6188 -x6187 -x6186 -x6185 -x6184 -x6183 -x6182 -x6181 -x6180 -x6179 
2244.63/2250.59	v -x6178 -x6177 -x6176 -x6175 -x6174 -x6173 -x6172 -x6171 -x6170 -x6169 -x6168 -x6167 -x6166 -x6165 -x6164 -x6163 -x6162 -x6161 
2244.63/2250.59	v -x6160 -x6159 -x6158 -x6157 -x6156 -x6155 -x6154 -x6153 -x6152 -x6151 -x6150 -x6149 -x6148 -x6147 -x6146 -x6145 -x6144 -x6143 
2244.63/2250.59	v -x6142 -x6141 -x6140 -x6139 -x6138 -x6137 -x6136 -x6135 -x6134 -x6133 -x6132 -x6131 -x6130 -x6129 -x6128 -x6127 -x6126 -x6125 
2244.63/2250.59	v -x6124 -x6123 -x6122 -x6121 -x6120 -x6119 -x6118 -x6117 -x6116 -x6115 -x6114 -x6113 -x6112 -x6111 -x6110 -x6109 -x6108 -x6107 
2244.63/2250.59	v -x6106 -x6105 -x6104 -x6103 -x6102 -x6101 -x6100 -x6099 -x6098 -x6097 -x6096 -x6095 -x6094 -x6093 -x6092 -x6091 -x6090 -x6089 
2244.63/2250.59	v -x6088 -x6087 -x6086 -x6085 -x6084 -x6083 -x6082 -x6081 -x6080 -x6079 -x6078 -x6077 -x6076 -x6075 -x6074 -x6073 -x6072 
2244.63/2250.59	v -x6071 -x6070 -x6069 -x6068 -x6067 -x6066 -x6065 -x6064 -x6063 -x6062 -x6061 -x6060 -x6059 -x6058 -x6057 -x6056 -x6055 -x6054 
2244.63/2250.59	v -x6053 -x6052 -x6051 -x6050 -x6049 -x6048 -x6047 -x6046 -x6045 -x6044 -x6043 -x6042 -x6041 -x6040 -x6039 -x6038 -x6037 x6036 
2244.63/2250.59	v -x6035 -x6034 -x6033 -x6032 -x6031 -x6030 -x6029 -x6028 -x6027 -x6026 -x6025 -x6024 -x6023 -x6022 -x6021 -x6020 -x6019 -x6018 
2244.63/2250.59	v -x6017 -x6016 -x6015 -x6014 -x6013 -x6012 -x6011 -x6010 -x6009 -x6008 -x6007 -x6006 -x6005 -x6004 -x6003 -x6002 -x6001 -x6000 
2244.63/2250.59	v -x5999 -x5998 -x5997 -x5996 -x5995 -x5994 -x5993 -x5992 -x5991 -x5990 -x5989 -x5988 -x5987 -x5986 -x5985 -x5984 -x5983 -x5982 
2244.63/2250.59	v -x5981 -x5980 -x5979 -x5978 -x5977 -x5976 -x5975 -x5974 -x5973 -x5972 -x5971 -x5970 -x5969 -x5968 -x5967 -x5966 -x5965 -x5964 
2244.63/2250.59	v -x5963 -x5962 -x5961 -x5960 -x5959 -x5958 -x5957 -x5956 -x5955 -x5954 -x5953 -x5952 -x5951 -x5950 -x5949 -x5948 -x5947 -x5946 
2244.63/2250.59	v -x5945 -x5944 -x5943 -x5942 -x5941 -x5940 -x5939 -x5938 -x5937 -x5936 -x5935 -x5934 -x5933 -x5932 -x5931 -x5930 -x5929 
2244.63/2250.59	v -x5928 -x5927 -x5926 -x5925 -x5924 -x5923 -x5922 -x5921 -x5920 -x5919 -x5918 -x5917 -x5916 -x5915 -x5914 -x5913 -x5912 -x5911 
2244.63/2250.59	v -x5910 -x5909 -x5908 -x5907 -x5906 -x5905 -x5904 -x5903 -x5902 -x5901 -x5900 -x5899 -x5898 -x5897 -x5896 -x5895 -x5894 -x5893 
2244.63/2250.59	v -x5892 -x5891 -x5890 -x5889 -x5888 -x5887 -x5886 -x5885 -x5884 -x5883 -x5882 -x5881 -x5880 -x5879 -x5878 -x5877 -x5876 -x5875 
2244.63/2250.59	v -x5874 -x5873 -x5872 -x5871 -x5870 -x5869 -x5868 -x5867 -x5866 -x5865 -x5864 -x5863 -x5862 -x5861 -x5860 -x5859 -x5858 -x5857 
2244.63/2250.59	v -x5856 -x5855 -x5854 -x5853 -x5852 -x5851 -x5850 -x5849 -x5848 -x5847 -x5846 -x5845 -x5844 -x5843 -x5842 -x5841 -x5840 -x5839 
2244.63/2250.59	v -x5838 -x5837 -x5836 -x5835 -x5834 -x5833 -x5832 -x5831 -x5830 -x5829 -x5828 -x5827 -x5826 -x5825 -x5824 -x5823 -x5822 -x5821 
2244.63/2250.59	v -x5820 -x5819 -x5818 -x5817 -x5816 -x5815 -x5814 -x5813 -x5812 -x5811 -x5810 -x5809 -x5808 -x5807 -x5806 -x5805 -x5804 
2244.63/2250.59	v -x5803 -x5802 -x5801 -x5800 -x5799 -x5798 -x5797 -x5796 -x5795 -x5794 -x5793 -x5792 -x5791 -x5790 -x5789 -x5788 -x5787 -x5786 
2244.63/2250.59	v -x5785 -x5784 -x5783 -x5782 -x5781 -x5780 -x5779 -x5778 -x5777 -x5776 -x5775 -x5774 -x5773 -x5772 -x5771 -x5770 -x5769 -x5768 
2244.63/2250.59	v -x5767 -x5766 -x5765 -x5764 -x5763 -x5762 -x5761 -x5760 -x5759 -x5758 -x5757 -x5756 -x5755 -x5754 -x5753 -x5752 -x5751 -x5750 
2244.63/2250.59	v -x5749 -x5748 -x5747 -x5746 -x5745 -x5744 -x5743 -x5742 -x5741 -x5740 -x5739 -x5738 -x5737 -x5736 -x5735 -x5734 -x5733 -x5732 
2244.63/2250.59	v -x5731 -x5730 -x5729 -x5728 -x5727 -x5726 -x5725 -x5724 -x5723 -x5722 -x5721 -x5720 -x5719 -x5718 -x5717 -x5716 -x5715 -x5714 
2244.63/2250.59	v -x5713 -x5712 -x5711 -x5710 -x5709 -x5708 -x5707 -x5706 -x5705 -x5704 -x5703 -x5702 -x5701 -x5700 -x5699 -x5698 -x5697 -x5696 
2244.63/2250.59	v -x5695 -x5694 -x5693 -x5692 -x5691 -x5690 -x5689 -x5688 -x5687 -x5686 -x5685 -x5684 -x5683 -x5682 -x5681 -x5680 -x5679 
2244.63/2250.59	v -x5678 -x5677 -x5676 -x5675 -x5674 -x5673 -x5672 -x5671 -x5670 -x5669 -x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662 -x5661 
2244.63/2250.59	v -x5660 -x5659 -x5658 -x5657 -x5656 -x5655 -x5654 -x5653 -x5652 -x5651 -x5650 -x5649 -x5648 -x5647 -x5646 -x5645 -x5644 -x5643 
2244.63/2250.59	v -x5642 -x5641 -x5640 -x5639 -x5638 -x5637 -x5636 -x5635 -x5634 -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 -x5627 -x5626 -x5625 
2244.63/2250.59	v -x5624 -x5623 -x5622 -x5621 -x5620 -x5619 -x5618 -x5617 -x5616 -x5615 -x5614 -x5613 -x5612 -x5611 -x5610 -x5609 -x5608 -x5607 
2244.63/2250.59	v -x5606 -x5605 -x5604 -x5603 -x5602 -x5601 -x5600 -x5599 -x5598 -x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 -x5590 -x5589 
2244.63/2250.59	v -x5588 -x5587 -x5586 -x5585 -x5584 -x5583 -x5582 -x5581 -x5580 -x5579 -x5578 -x5577 -x5576 -x5575 -x5574 -x5573 -x5572 -x5571 
2244.63/2250.59	v -x5570 -x5569 -x5568 -x5567 -x5566 -x5565 -x5564 -x5563 -x5562 -x5561 -x5560 -x5559 -x5558 -x5557 -x5556 -x5555 -x5554 
2244.63/2250.59	v -x5553 -x5552 -x5551 -x5550 -x5549 -x5548 -x5547 -x5546 -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 -x5537 -x5536 
2244.63/2250.59	v -x5535 -x5534 -x5533 -x5532 -x5531 -x5530 -x5529 -x5528 -x5527 -x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5520 -x5519 -x5518 
2244.63/2250.59	v -x5517 -x5516 -x5515 -x5514 -x5513 -x5512 -x5511 -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5501 -x5500 
2244.63/2250.59	v -x5499 -x5498 -x5497 -x5496 -x5495 -x5494 -x5493 -x5492 -x5491 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483 -x5482 
2244.63/2250.59	v -x5481 -x5480 -x5479 -x5478 -x5477 -x5476 -x5475 -x5474 -x5473 -x5472 -x5471 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465 -x5464 
2244.63/2250.59	v -x5463 -x5462 -x5461 -x5460 -x5459 -x5458 -x5457 -x5456 -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 
2244.63/2250.59	v -x5445 -x5444 -x5443 -x5442 -x5441 -x5440 -x5439 -x5438 -x5437 -x5436 -x5435 -x5434 -x5433 -x5432 -x5431 -x5430 -x5429 
2244.63/2250.59	v -x5428 -x5427 -x5426 -x5425 -x5424 -x5423 -x5422 -x5421 -x5420 -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412 -x5411 
2244.63/2250.59	v -x5410 -x5409 -x5408 -x5407 -x5406 -x5405 -x5404 -x5403 -x5402 -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 
2244.63/2250.59	v -x5392 -x5391 -x5390 -x5389 -x5388 -x5387 -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5375 
2244.63/2250.59	v -x5374 -x5373 -x5372 -x5371 -x5370 -x5369 -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359 -x5358 -x5357 
2244.63/2250.59	v -x5356 -x5355 -x5354 -x5353 -x5352 -x5351 -x5350 -x5349 -x5348 -x5347 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341 -x5340 -x5339 
2244.63/2250.59	v -x5338 -x5337 -x5336 -x5335 -x5334 -x5333 -x5332 -x5331 -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 -x5322 -x5321 
2244.63/2250.59	v -x5320 -x5319 -x5318 -x5317 -x5316 -x5315 -x5314 -x5313 -x5312 -x5311 -x5310 -x5309 -x5308 -x5307 -x5306 -x5305 -x5304 
2244.63/2250.59	v -x5303 -x5302 -x5301 -x5300 -x5299 -x5298 -x5297 -x5296 -x5295 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 -x5288 -x5287 -x5286 
2244.63/2250.59	v -x5285 -x5284 -x5283 -x5282 -x5281 -x5280 -x5279 -x5278 -x5277 -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 
2244.63/2250.59	v -x5267 -x5266 -x5265 -x5264 -x5263 -x5262 -x5261 -x5260 -x5259 -x5258 -x5257 -x5256 -x5255 -x5254 -x5253 -x5252 -x5251 -x5250 
2244.63/2250.59	v -x5249 -x5248 -x5247 -x5246 -x5245 -x5244 -x5243 -x5242 -x5241 -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232 
2244.63/2250.59	v -x5231 -x5230 -x5229 -x5228 -x5227 -x5226 -x5225 -x5224 -x5223 -x5222 -x5221 -x5220 -x5219 -x5218 -x5217 -x5216 -x5215 -x5214 
2244.63/2250.59	v -x5213 -x5212 -x5211 -x5210 -x5209 -x5208 -x5207 -x5206 -x5205 -x5204 -x5203 -x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 
2244.63/2250.59	v -x5195 -x5194 -x5193 -x5192 -x5191 -x5190 -x5189 -x5188 -x5187 -x5186 -x5185 -x5184 -x5183 -x5182 -x5181 -x5180 -x5179 
2244.63/2250.59	v -x5178 -x5177 -x5176 -x5175 -x5174 -x5173 -x5172 -x5171 -x5170 -x5169 -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 -x5162 -x5161 
2244.63/2250.59	v -x5160 -x5159 -x5158 -x5157 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151 -x5150 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 -x5143 
2244.63/2250.59	v -x5142 -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 -x5133 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 
2244.63/2250.59	v -x5124 -x5123 -x5122 -x5121 -x5120 -x5119 -x5118 -x5117 -x5116 -x5115 x5114 -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 
2244.63/2250.59	v -x5106 -x5105 -x5104 -x5103 -x5102 -x5101 -x5100 -x5099 -x5098 -x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 
2244.63/2250.59	v -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 -x5080 -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 
2244.63/2250.59	v -x5070 -x5069 -x5068 -x5067 -x5066 -x5065 -x5064 -x5063 -x5062 -x5061 -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 
2244.63/2250.59	v -x5052 -x5051 -x5050 -x5049 -x5048 -x5047 -x5046 -x5045 -x5044 -x5043 -x5042 -x5041 -x5040 -x5039 -x5038 -x5037 -x5036 
2244.63/2250.59	v -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 
2244.63/2250.59	v -x5017 -x5016 -x5015 -x5014 -x5013 -x5012 -x5011 -x5010 -x5009 -x5008 -x5007 -x5006 -x5005 -x5004 -x5003 -x5002 -x5001 -x5000 
2244.63/2250.59	v -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 
2244.63/2250.59	v -x4981 -x4980 -x4979 -x4978 -x4977 -x4976 -x4975 -x4974 -x4973 -x4972 -x4971 -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 -x4964 
2244.63/2250.59	v -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957 -x4956 -x4955 -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 
2244.63/2250.59	v -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 
2244.63/2250.59	v -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 -x4918 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 
2244.63/2250.59	v -x4910 -x4909 -x4908 -x4907 -x4906 -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 
2244.63/2250.59	v -x4892 -x4891 -x4890 -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 
2244.63/2250.59	v -x4874 -x4873 -x4872 -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 
2244.63/2250.59	v -x4856 -x4855 -x4854 -x4853 -x4852 -x4851 -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 
2244.63/2250.59	v -x4838 -x4837 -x4836 -x4835 -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 
2244.63/2250.59	v -x4820 -x4819 -x4818 -x4817 -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 x4807 -x4806 -x4805 -x4804 -x4803 
2244.63/2250.59	v -x4802 -x4801 -x4800 -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 
2244.63/2250.59	v -x4784 -x4783 -x4782 -x4781 -x4780 -x4779 -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 
2244.63/2250.59	v -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 -x4760 -x4759 -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 
2244.63/2250.59	v -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 
2244.63/2250.59	v -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4725 -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 
2244.63/2250.59	v -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 -x4701 -x4700 -x4699 -x4698 -x4697 -x4696 
2244.63/2250.59	v -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 
2244.63/2250.59	v -x4677 -x4676 -x4675 -x4674 -x4673 -x4672 -x4671 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 
2244.63/2250.59	v -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 
2244.63/2250.59	v -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 -x4635 -x4634 -x4633 -x4632 -x4631 x4630 x4629 -x4628 -x4627 -x4626 -x4625 -x4624 
2244.63/2250.59	v -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 
2244.63/2250.59	v -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 
2244.63/2250.59	v -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 
2244.63/2250.59	v -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 
2244.63/2250.59	v -x4552 -x4551 -x4550 -x4549 -x4548 -x4547 -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 
2244.63/2250.59	v -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 
2244.63/2250.59	v -x4516 -x4515 -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 
2244.63/2250.59	v -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 
2244.63/2250.59	v -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 
2244.63/2250.59	v -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 
2244.63/2250.59	v -x4445 -x4444 -x4443 -x4442 -x4441 x4440 x4439 -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 
2244.63/2250.59	v -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 
2244.63/2250.59	v -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 
2244.63/2250.59	v -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 
2244.63/2250.59	v -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 
2244.63/2250.59	v -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 
2244.63/2250.59	v -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 
2244.63/2250.59	v -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 
2244.63/2250.59	v -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 
2244.63/2250.59	v -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 
2244.63/2250.59	v -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 
2244.63/2250.59	v -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 
2244.63/2250.59	v -x4230 x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 
2244.63/2250.59	v -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 
2244.63/2250.59	v -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 
2244.63/2250.59	v -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 
2244.63/2250.59	v -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 
2244.63/2250.59	v -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 
2244.63/2250.59	v -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 
2244.63/2250.59	v -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 
2244.63/2250.59	v -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 
2244.63/2250.59	v -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 
2244.63/2250.59	v -x4052 -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 
2244.63/2250.59	v -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 
2244.63/2250.59	v -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 
2244.63/2250.59	v -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 
2244.63/2250.59	v -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 
2244.63/2250.59	v -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 
2244.63/2250.59	v -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 
2244.63/2250.59	v -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 
2244.63/2250.59	v -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 
2244.63/2250.59	v -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 
2244.63/2250.59	v -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 
2244.63/2250.59	v -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 
2244.63/2250.59	v -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 
2244.63/2250.59	v -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 
2244.63/2250.59	v -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 
2244.63/2250.59	v -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 
2244.63/2250.59	v -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 
2244.63/2250.59	v -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 
2244.63/2250.59	v -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 
2244.63/2250.59	v -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 
2244.63/2250.59	v -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 
2244.63/2250.59	v -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 
2244.63/2250.59	v -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 
2244.63/2250.59	v -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 
2244.63/2250.59	v -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 
2244.63/2250.59	v -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 
2244.63/2250.59	v -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 
2244.63/2250.59	v -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 
2244.63/2250.59	v -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 
2244.63/2250.59	v -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 x3519 -x3518 -x3517 
2244.63/2250.59	v -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 
2244.63/2250.59	v -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 
2244.63/2250.59	v -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 
2244.63/2250.59	v -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 
2244.63/2250.59	v -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 
2244.63/2250.59	v -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 x3414 x3413 x3412 x3411 -x3410 -x3409 
2244.63/2250.59	v -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 
2244.63/2250.59	v -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 
2244.63/2250.59	v -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 
2244.63/2250.59	v -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 
2244.63/2250.59	v -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 
2244.63/2250.59	v -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 
2244.63/2250.59	v -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 
2244.63/2250.59	v -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 
2244.63/2250.59	v -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 
2244.63/2250.59	v -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 
2244.63/2250.59	v -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 
2244.63/2250.59	v -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 
2244.63/2250.59	v -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 
2244.63/2250.59	v -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 
2244.63/2250.59	v -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 
2244.63/2250.59	v -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 
2244.63/2250.59	v -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 
2244.63/2250.59	v -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 
2244.63/2250.59	v -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 
2244.63/2250.59	v -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 
2244.63/2250.59	v -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 
2244.63/2250.59	v -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 
2244.63/2250.59	v -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 
2244.63/2250.59	v -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 
2244.63/2250.59	v -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 
2244.63/2250.59	v -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 
2244.63/2250.59	v -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 
2244.63/2250.59	v -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 
2244.63/2250.59	v -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 
2244.63/2250.59	v -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 
2244.63/2250.59	v -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 
2244.63/2250.59	v -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 
2244.63/2250.59	v -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 
2244.63/2250.59	v -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 
2244.63/2250.59	v -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 
2244.63/2250.59	v -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 
2244.63/2250.59	v -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 
2244.63/2250.59	v -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 
2244.63/2250.59	v -x2729 x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 
2244.63/2250.59	v -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 
2244.63/2250.59	v -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 
2244.63/2250.59	v -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 
2244.63/2250.59	v -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 
2244.63/2250.59	v -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 
2244.63/2250.59	v -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 
2244.63/2250.59	v -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 x2596 x2595 x2594 x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 
2244.63/2250.59	v -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 
2244.63/2250.59	v -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 
2244.63/2250.59	v -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 
2244.63/2250.59	v -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 
2244.63/2250.59	v -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 
2244.63/2250.59	v -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 
2244.63/2250.59	v -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 
2244.63/2250.59	v -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 
2244.63/2250.59	v -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 
2244.63/2250.59	v -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 
2244.63/2250.59	v -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 
2244.63/2250.59	v -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 
2244.63/2250.59	v -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 
2244.63/2250.59	v -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 
2244.63/2250.59	v -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 
2244.63/2250.59	v -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 
2244.63/2250.59	v -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 
2244.63/2250.59	v -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 
2244.63/2250.59	v -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 
2244.63/2250.59	v -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 
2244.63/2250.59	v -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 
2244.63/2250.59	v -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 
2244.63/2250.59	v -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 
2244.63/2250.59	v -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 
2244.63/2250.59	v -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 
2244.63/2250.59	v -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 
2244.63/2250.59	v -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 
2244.63/2250.59	v -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 
2244.63/2250.59	v -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 
2244.63/2250.59	v -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 
2244.63/2250.59	v -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 
2244.63/2250.59	v -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 
2244.63/2250.59	v -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 
2244.63/2250.59	v -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 
2244.63/2250.59	v -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 
2244.63/2250.59	v -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 
2244.63/2250.59	v -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 
2244.63/2250.59	v -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 
2244.63/2250.59	v -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 
2244.63/2250.59	v -x1889 -x1888 x1887 x1886 -x1885 x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 x1872 
2244.63/2250.59	v x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 
2244.63/2250.59	v -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 
2244.63/2250.59	v -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 
2244.63/2250.59	v -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 
2244.63/2250.59	v -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 
2244.63/2250.59	v -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 
2244.63/2250.59	v -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 
2244.63/2250.59	v -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 
2244.63/2250.59	v -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 
2244.63/2250.59	v -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 
2244.63/2250.59	v -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 
2244.63/2250.59	v -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 
2244.63/2250.59	v -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 
2244.63/2250.59	v -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 
2244.63/2250.59	v -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 
2244.63/2250.59	v -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 
2244.63/2250.59	v -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 
2244.63/2250.59	v -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 
2244.63/2250.59	v -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 
2244.63/2250.59	v -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 
2244.63/2250.59	v -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 
2244.63/2250.59	v -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 
2244.63/2250.59	v -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 
2244.63/2250.59	v -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 
2244.63/2250.59	v -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 
2244.63/2250.59	v -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 
2244.63/2250.59	v -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 
2244.63/2250.59	v -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 
2244.63/2250.59	v -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 
2244.63/2250.59	v -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 
2244.63/2250.59	v -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 
2244.63/2250.59	v -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 
2244.63/2250.59	v -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 
2244.63/2250.59	v -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 
2244.63/2250.59	v -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 
2244.63/2250.59	v -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 
2244.63/2250.59	v -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 
2244.63/2250.59	v -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 
2244.63/2250.59	v -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 
2244.63/2250.59	v -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 x1166 -x1165 -x1164 x1163 -x1162 x1161 -x1160 -x1159 -x1158 -x1157 
2244.63/2250.59	v -x1156 -x1155 -x1154 -x1153 x1152 x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 
2244.63/2250.59	v -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 
2244.63/2250.59	v -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 
2244.63/2250.59	v -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 
2244.63/2250.59	v -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 
2244.63/2250.59	v -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 
2244.63/2250.59	v -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 
2244.63/2250.59	v -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 
2244.63/2250.59	v -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 
2244.63/2250.59	v -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 
2244.63/2250.59	v -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 
2244.63/2250.59	v -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 
2244.63/2250.59	v -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 
2244.63/2250.59	v -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 
2244.63/2250.59	v -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 
2244.63/2250.59	v -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 
2244.63/2250.59	v -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 
2244.63/2250.59	v -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 
2244.63/2250.59	v -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 
2244.63/2250.59	v -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 
2244.63/2250.59	v -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 
2244.63/2250.59	v -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 
2244.63/2250.59	v -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 
2244.63/2250.59	v -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 
2244.63/2250.59	v -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 
2244.63/2250.59	v -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 
2244.63/2250.59	v -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 
2244.63/2250.59	v -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 
2244.63/2250.59	v -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 
2244.63/2250.59	v -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 
2244.63/2250.59	v -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 
2244.63/2250.59	v -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 
2244.63/2250.59	v -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 
2244.63/2250.59	v -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 
2244.63/2250.59	v -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 
2244.63/2250.59	v -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 
2244.63/2250.59	v -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 
2244.63/2250.59	v -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 
2244.63/2250.59	v -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 
2244.63/2250.59	v -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 
2244.63/2250.59	v -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 
2244.63/2250.59	v -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 
2244.83/2250.78	v -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 
2244.83/2250.78	v -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 
2244.83/2250.78	v -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 
2244.83/2250.78	v -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 
2244.83/2250.78	v -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 
2244.83/2250.78	v -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 
2244.83/2250.78	v -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 
2244.83/2250.78	v -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 
2244.83/2250.78	v -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 
2244.83/2250.78	v -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 
2244.83/2250.78	v -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 
2244.83/2250.78	v -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 
2244.83/2250.78	v -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 
2244.83/2250.78	v -x23 -x22 -x21 -x20 x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 -x5 x4 x3 x2 x1

Verifier Data 

OK	42

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (62730 MiB free)
  memory of node 1: 64473 MiB (63924 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100089 s]*
/proc/loadavg: 4.12 4.12 4.05 5/259 30345
/proc/meminfo: memFree=129666532/131524600 swapFree=131063756/131071996
[pid=30344] ppid=30341 vsize=46180 memory=34712 CPUtime=0.09 cores=5,7
/proc/30344/stat : 30344 (fscip) R 30341 30344 27458 0 -1 4194304 6569 0 0 0 9 0 0 0 20 0 1 0 4821262 47288320 8678 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
/proc/30344/statm: 11545 8678 2347 3035 0 7941 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46180 KiB
Current children cumulated memory: 34712 KiB

[startup+0.205676 s]*
/proc/loadavg: 4.12 4.12 4.05 5/259 30345
/proc/meminfo: memFree=129650036/131524600 swapFree=131063756/131071996
[pid=30344] ppid=30341 vsize=61108 memory=49992 CPUtime=0.2 cores=5,7
/proc/30344/stat : 30344 (fscip) R 30341 30344 27458 0 -1 4194304 10358 0 0 0 19 1 0 0 20 0 1 0 4821262 62574592 12498 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
/proc/30344/statm: 15277 12498 2347 3035 0 11673 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 61108 KiB
Current children cumulated memory: 49992 KiB

[startup+0.305608 s]*
/proc/loadavg: 4.12 4.12 4.05 5/261 30347
/proc/meminfo: memFree=129580816/131524600 swapFree=131063756/131071996
[pid=30344] ppid=30341 vsize=71980 memory=60492 CPUtime=0.3 cores=5,7
/proc/30344/stat : 30344 (fscip) R 30341 30344 27458 0 -1 4194304 13045 0 0 0 28 2 0 0 20 0 1 0 4821262 73707520 15123 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
/proc/30344/statm: 17995 15123 2347 3035 0 14391 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 71980 KiB
Current children cumulated memory: 60492 KiB

[startup+0.700218 s]
/proc/loadavg: 4.12 4.12 4.05 5/261 30347
/proc/meminfo: memFree=129511796/131524600 swapFree=131063756/131071996
[pid=30344] ppid=30341 vsize=123628 memory=111484 CPUtime=0.69 cores=5,7
/proc/30344/stat : 30344 (fscip) R 30341 30344 27458 0 -1 4194304 25761 0 0 0 65 4 0 0 20 0 1 0 4821262 126595072 27871 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
/proc/30344/statm: 30907 27871 2347 3035 0 27303 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 123628 KiB
Current children cumulated memory: 111484 KiB

[startup+1.50022 s]
/proc/loadavg: 4.12 4.12 4.05 5/261 30347
/proc/meminfo: memFree=129317852/131524600 swapFree=131063756/131071996
[pid=30344] ppid=30341 vsize=565632 memory=548132 CPUtime=1.48 cores=5,7
/proc/30344/stat : 30344 (fscip) R 30341 30344 27458 0 -1 4194304 141856 0 0 0 128 20 0 0 20 0 1 0 4821262 579207168 137033 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
/proc/30344/statm: 141408 137033 2598 3035 0 137804 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 565632 KiB
Current children cumulated memory: 548132 KiB

[startup+3.10555 s]
/proc/loadavg: 4.11 4.11 4.05 5/261 30347
/proc/meminfo: memFree=128667956/131524600 swapFree=131063756/131071996
[pid=30344] ppid=30341 vsize=897012 memory=821648 CPUtime=3.08 cores=5,7
/proc/30344/stat : 30344 (fscip) R 30341 30344 27458 0 -1 4194304 151080 0 0 0 277 31 0 0 20 0 1 0 4821262 918540288 205412 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
/proc/30344/statm: 224253 205412 2678 3035 0 220649 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 897012 KiB
Current children cumulated memory: 821648 KiB

[startup+6.30022 s]
/proc/loadavg: 4.11 4.11 4.05 5/261 30347
/proc/meminfo: memFree=128712676/131524600 swapFree=131063756/131071996
[pid=30344] ppid=30341 vsize=1269596 memory=1171372 CPUtime=6.27 cores=5,7
/proc/30344/stat : 30344 (fscip) R 30341 30344 27458 0 -1 4194304 239770 0 0 0 573 54 0 0 20 0 1 0 4821262 1300066304 292843 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
/proc/30344/statm: 317399 292843 2758 3035 0 313795 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1269596 KiB
Current children cumulated memory: 1171372 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.11 4.05 5/261 30348
/proc/meminfo: memFree=127281216/131524600 swapFree=131063756/131071996
[pid=30344] ppid=30341 vsize=2687056 memory=2331080 CPUtime=12.66 cores=5,7
/proc/30344/stat : 30344 (fscip) R 30341 30344 27458 0 -1 4194304 295172 0 0 0 1184 82 0 0 20 0 1 0 4821262 2751545344 582770 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
/proc/30344/statm: 671764 582770 2774 3035 0 668160 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2687056 KiB
Current children cumulated memory: 2331080 KiB

[startup+25.5003 s]
/proc/loadavg: 4.08 4.11 4.05 5/263 30352
/proc/meminfo: memFree=125891424/131524600 swapFree=131063756/131071996
[pid=30344] ppid=30341 vsize=4028252 memory=3627432 CPUtime=25.41 cores=5,7
/proc/30344/stat : 30344 (fscip) S 30341 30344 27458 0 -1 1077936128 637723 0 0 0 2395 146 0 0 20 0 3 0 4821262 4124930048 906858 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
/proc/30344/statm: 1007063 906858 2918 3035 0 992632 0
[pid=30344/tid=30349] ppid=30341 vsize=4028252 memory=3627432 CPUtime=11.86 cores=5,7
/proc/30344/task/30349/stat : 30349 (fscip) R 30341 30344 27458 0 -1 4194368 332508 0 0 0 1124 62 0 0 20 0 3 0 4822589 4124930048 906858 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
[pid=30344/tid=30350] ppid=30341 vsize=4028252 memory=3452680 CPUtime=0 cores=5,7
/proc/30344/task/30350/stat : 30350 (fscip) S 30341 30344 27458 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4822649 4124930048 906858 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 4028252 KiB
Current children cumulated memory: 3627432 KiB

[startup+51.1058 s]
/proc/loadavg: 4.11 4.11 4.05 5/268 30418
/proc/meminfo: memFree=125871076/131524600 swapFree=131063756/131071996
[pid=30344] ppid=30341 vsize=4028252 memory=3627496 CPUtime=50.95 cores=5,7
/proc/30344/stat : 30344 (fscip) S 30341 30344 27458 0 -1 1077936128 645293 0 0 0 4948 147 0 0 20 0 3 0 4821262 4124930048 906874 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
/proc/30344/statm: 1007063 906874 2934 3035 0 992632 0
[pid=30344/tid=30349] ppid=30341 vsize=4028252 memory=11532 CPUtime=37.39 cores=5,7
/proc/30344/task/30349/stat : 30349 (fscip) R 30341 30344 27458 0 -1 4194368 340060 0 0 0 3676 63 0 0 20 0 3 0 4822589 4124930048 906874 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
[pid=30344/tid=30350] ppid=30341 vsize=4028252 memory=3627432 CPUtime=0 cores=5,7
/proc/30344/task/30350/stat : 30350 (fscip) S 30341 30344 27458 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 4822649 4124930048 906874 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 4028252 KiB
Current children cumulated memory: 3627496 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.06 5/268 30427
/proc/meminfo: memFree=125864172/131524600 swapFree=131063756/131071996
[pid=30344] ppid=30341 vsize=4028252 memory=3627496 CPUtime=102 cores=5,7
/proc/30344/stat : 30344 (fscip) S 30341 30344 27458 0 -1 1077936128 655413 0 0 0 10052 148 0 0 20 0 3 0 4821262 4124930048 906874 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
/proc/30344/statm: 1007063 906874 2934 3035 0 992632 0
[pid=30344/tid=30349] ppid=30341 vsize=4028252 memory=3627496 CPUtime=88.45 cores=5,7
/proc/30344/task/30349/stat : 30349 (fscip) R 30341 30344 27458 0 -1 4194368 350163 0 0 0 8781 64 0 0 20 0 3 0 4822589 4124930048 906874 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
[pid=30344/tid=30350] ppid=30341 vsize=4028252 memory=11532 CPUtime=0 cores=5,7
/proc/30344/task/30350/stat : 30350 (fscip) S 30341 30344 27458 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 4822649 4124930048 906874 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 4028252 KiB
Current children cumulated memory: 3627496 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.06 5/267 30438
/proc/meminfo: memFree=125876984/131524600 swapFree=131063756/131071996
[pid=30344] ppid=30341 vsize=4028252 memory=3627496 CPUtime=161.84 cores=5,7
/proc/30344/stat : 30344 (fscip) S 30341 30344 27458 0 -1 1077936128 663443 0 0 0 16035 149 0 0 20 0 3 0 4821262 4124930048 906874 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
/proc/30344/statm: 1007063 906874 2934 3035 0 992632 0
[pid=30344/tid=30349] ppid=30341 vsize=4028252 memory=11532 CPUtime=148.29 cores=5,7
/proc/30344/task/30349/stat : 30349 (fscip) R 30341 30344 27458 0 -1 4194368 358175 0 0 0 14764 65 0 0 20 0 3 0 4822589 4124930048 906874 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
[pid=30344/tid=30350] ppid=30341 vsize=4028252 memory=1944 CPUtime=0 cores=5,7
/proc/30344/task/30350/stat : 30350 (fscip) S 30341 30344 27458 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 3 0 4822649 4124930048 906874 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 4028252 KiB
Current children cumulated memory: 3627496 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.10 4.06 5/266 30449
/proc/meminfo: memFree=125872568/131524600 swapFree=131063756/131071996
[pid=30344] ppid=30341 vsize=4028252 memory=3627496 CPUtime=221.68 cores=5,7
/proc/30344/stat : 30344 (fscip) S 30341 30344 27458 0 -1 1077936128 672992 0 0 0 22017 151 0 0 20 0 3 0 4821262 4124930048 906874 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
/proc/30344/statm: 1007063 906874 2934 3035 0 992632 0
[pid=30344/tid=30349] ppid=30341 vsize=4028252 memory=3627496 CPUtime=208.13 cores=5,7
/proc/30344/task/30349/stat : 30349 (fscip) R 30341 30344 27458 0 -1 4194368 367707 0 0 0 20746 67 0 0 20 0 3 0 4822589 4124930048 906874 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
[pid=30344/tid=30350] ppid=30341 vsize=4028252 memory=3627496 CPUtime=0 cores=5,7
/proc/30344/task/30350/stat : 30350 (fscip) S 30341 30344 27458 0 -1 1077936192 72 0 0 0 0 0 0 0 20 0 3 0 4822649 4124930048 906874 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 4028252 KiB
Current children cumulated memory: 3627496 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.09 4.06 5/266 30460
/proc/meminfo: memFree=125863372/131524600 swapFree=131063756/131071996
[pid=30344] ppid=30341 vsize=4028252 memory=3627496 CPUtime=281.53 cores=5,7
/proc/30344/stat : 30344 (fscip) S 30341 30344 27458 0 -1 1077936128 681411 0 0 0 28001 152 0 0 20 0 3 0 4821262 4124930048 906874 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
/proc/30344/statm: 1007063 906874 2934 3035 0 992632 0
[pid=30344/tid=30349] ppid=30341 vsize=4028252 memory=3627496 CPUtime=267.97 cores=5,7
/proc/30344/task/30349/stat : 30349 (fscip) R 30341 30344 27458 0 -1 4194368 376108 0 0 0 26729 68 0 0 20 0 3 0 4822589 4124930048 906874 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
[pid=30344/tid=30350] ppid=30341 vsize=4028252 memory=3627496 CPUtime=0 cores=5,7
/proc/30344/task/30350/stat : 30350 (fscip) S 30341 30344 27458 0 -1 1077936192 90 0 0 0 0 0 0 0 20 0 3 0 4822649 4124930048 906874 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 4028252 KiB
Current children cumulated memory: 3627496 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 4.09 4.06 5/266 30470

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

/proc/loadavg: 4.12 4.12 4.09 5/263 31364
/proc/meminfo: memFree=125279252/131524600 swapFree=131063756/131071996
[pid=30344] ppid=30341 vsize=4575880 memory=4144440 CPUtime=2076.87 cores=5,7
/proc/30344/stat : 30344 (fscip) S 30341 30344 27458 0 -1 1077936128 2609913 0 0 0 207414 273 0 0 20 0 3 0 4821262 4685701120 1036110 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
/proc/30344/statm: 1143970 1036110 3014 3035 0 1121038 0
[pid=30344/tid=30349] ppid=30341 vsize=4575880 memory=4144432 CPUtime=2063.27 cores=5,7
/proc/30344/task/30349/stat : 30349 (fscip) R 30341 30344 27458 0 -1 4194368 2301402 0 0 0 206141 186 0 0 20 0 3 0 4822589 4685701120 1036110 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
[pid=30344/tid=30350] ppid=30341 vsize=4575880 memory=11532 CPUtime=0.02 cores=5,7
/proc/30344/task/30350/stat : 30350 (fscip) S 30341 30344 27458 0 -1 1077936192 436 0 0 0 1 1 0 0 20 0 3 0 4822649 4685701120 1036110 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
Current children cumulated CPU time: 2076.87 s
Current children cumulated vsize: 4575880 KiB
Current children cumulated memory: 4144440 KiB

[startup+2142.3 s]
/proc/loadavg: 4.20 4.14 4.10 5/263 31374
/proc/meminfo: memFree=125278272/131524600 swapFree=131063756/131071996
[pid=30344] ppid=30341 vsize=4575880 memory=4144440 CPUtime=2136.7 cores=5,7
/proc/30344/stat : 30344 (fscip) S 30341 30344 27458 0 -1 1077936128 2648914 0 0 0 213396 274 0 0 20 0 3 0 4821262 4685701120 1036110 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
/proc/30344/statm: 1143970 1036110 3014 3035 0 1121038 0
[pid=30344/tid=30349] ppid=30341 vsize=4575880 memory=4144432 CPUtime=2123.11 cores=5,7
/proc/30344/task/30349/stat : 30349 (fscip) R 30341 30344 27458 0 -1 4194368 2340345 0 0 0 212123 188 0 0 20 0 3 0 4822589 4685701120 1036110 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
[pid=30344/tid=30350] ppid=30341 vsize=4575880 memory=11532 CPUtime=0.02 cores=5,7
/proc/30344/task/30350/stat : 30350 (fscip) S 30341 30344 27458 0 -1 1077936192 449 0 0 0 1 1 0 0 20 0 3 0 4822649 4685701120 1036110 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
Current children cumulated CPU time: 2136.7 s
Current children cumulated vsize: 4575880 KiB
Current children cumulated memory: 4144440 KiB

[startup+2202.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/261 31385
/proc/meminfo: memFree=125277420/131524600 swapFree=131063756/131071996
[pid=30344] ppid=30341 vsize=4575880 memory=4144492 CPUtime=2196.56 cores=5,7
/proc/30344/stat : 30344 (fscip) S 30341 30344 27458 0 -1 1077936128 2671541 0 0 0 219380 276 0 0 20 0 3 0 4821262 4685701120 1036123 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
/proc/30344/statm: 1143970 1036123 3014 3035 0 1121038 0
[pid=30344/tid=30349] ppid=30341 vsize=4575880 memory=4144432 CPUtime=2182.96 cores=5,7
/proc/30344/task/30349/stat : 30349 (fscip) R 30341 30344 27458 0 -1 4194368 2362918 0 0 0 218107 189 0 0 20 0 3 0 4822589 4685701120 1036123 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
[pid=30344/tid=30350] ppid=30341 vsize=4575880 memory=11532 CPUtime=0.02 cores=5,7
/proc/30344/task/30350/stat : 30350 (fscip) S 30341 30344 27458 0 -1 1077936192 455 0 0 0 1 1 0 0 20 0 3 0 4822649 4685701120 1036123 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
Current children cumulated CPU time: 2196.56 s
Current children cumulated vsize: 4575880 KiB
Current children cumulated memory: 4144492 KiB

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

# cumulated CPU time of all completed processes:  user=2242.07 s, system=2.87329 s

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

[startup+2227.2 s]
/proc/loadavg: 4.15 4.13 4.09 5/261 31391
/proc/meminfo: memFree=125276820/131524600 swapFree=131063756/131071996
[pid=30344] ppid=30341 vsize=4575880 memory=4144492 CPUtime=2221.39 cores=5,7
/proc/30344/stat : 30344 (fscip) S 30341 30344 27458 0 -1 1077936128 2688173 0 0 0 221862 277 0 0 20 0 3 0 4821262 4685701120 1036123 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
/proc/30344/statm: 1143970 1036123 3014 3035 0 1121038 0
[pid=30344/tid=30349] ppid=30341 vsize=4575880 memory=1944 CPUtime=2207.8 cores=5,7
/proc/30344/task/30349/stat : 30349 (fscip) R 30341 30344 27458 0 -1 4194368 2379520 0 0 0 220589 191 0 0 20 0 3 0 4822589 4685701120 1036123 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
[pid=30344/tid=30350] ppid=30341 vsize=4575880 memory=5420 CPUtime=0.02 cores=5,7
/proc/30344/task/30350/stat : 30350 (fscip) S 30341 30344 27458 0 -1 1077936192 462 0 0 0 1 1 0 0 20 0 3 0 4822649 4685701120 1036123 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
Current children cumulated CPU time: 2221.39 s
Current children cumulated vsize: 4575880 KiB
Current children cumulated memory: 4144492 KiB

[startup+2240 s]*
/proc/loadavg: 4.18 4.14 4.10 5/261 31393
/proc/meminfo: memFree=125277168/131524600 swapFree=131063756/131071996
[pid=30344] ppid=30341 vsize=4575880 memory=4144492 CPUtime=2234.16 cores=5,7
/proc/30344/stat : 30344 (fscip) S 30341 30344 27458 0 -1 1077936128 2689449 0 0 0 223139 277 0 0 20 0 3 0 4821262 4685701120 1036123 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
/proc/30344/statm: 1143970 1036123 3014 3035 0 1121038 0
[pid=30344/tid=30349] ppid=30341 vsize=4575880 memory=-7452449699976537468 CPUtime=2220.57 cores=5,7
/proc/30344/task/30349/stat : 30349 (fscip) R 30341 30344 27458 0 -1 4194368 2380794 0 0 0 221866 191 0 0 20 0 3 0 4822589 4685701120 1036123 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
[pid=30344/tid=30350] ppid=30341 vsize=4575880 memory=7583337836902451822 CPUtime=0.02 cores=5,7
/proc/30344/task/30350/stat : 30350 (fscip) S 30341 30344 27458 0 -1 1077936192 462 0 0 0 1 1 0 0 20 0 3 0 4822649 4685701120 1036123 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
Current children cumulated CPU time: 2234.16 s
Current children cumulated vsize: 4575880 KiB
Current children cumulated memory: 4144492 KiB

[startup+2246.4 s]
/proc/loadavg: 4.17 4.14 4.10 5/261 31393
/proc/meminfo: memFree=125277196/131524600 swapFree=131063756/131071996
[pid=30344] ppid=30341 vsize=4575880 memory=4144492 CPUtime=2240.55 cores=5,7
/proc/30344/stat : 30344 (fscip) S 30341 30344 27458 0 -1 1077936128 2690061 0 0 0 223777 278 0 0 20 0 3 0 4821262 4685701120 1036123 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
/proc/30344/statm: 1143970 1036123 3014 3035 0 1121038 0
[pid=30344/tid=30349] ppid=30341 vsize=4575880 memory=12744 CPUtime=2226.94 cores=5,7
/proc/30344/task/30349/stat : 30349 (fscip) R 30341 30344 27458 0 -1 4194368 2381406 0 0 0 222503 191 0 0 20 0 3 0 4822589 4685701120 1036123 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
[pid=30344/tid=30350] ppid=30341 vsize=4575880 memory=4144492 CPUtime=0.02 cores=5,7
/proc/30344/task/30350/stat : 30350 (fscip) S 30341 30344 27458 0 -1 1077936192 462 0 0 0 1 1 0 0 20 0 3 0 4822649 4685701120 1036123 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
Current children cumulated CPU time: 2240.55 s
Current children cumulated vsize: 4575880 KiB
Current children cumulated memory: 4144492 KiB

[startup+2248 s]*
/proc/loadavg: 4.23 4.15 4.10 5/261 31394
/proc/meminfo: memFree=125276740/131524600 swapFree=131063756/131071996
[pid=30344] ppid=30341 vsize=4575880 memory=4144492 CPUtime=2242.15 cores=5,7
/proc/30344/stat : 30344 (fscip) S 30341 30344 27458 0 -1 1077936128 2690396 0 0 0 223937 278 0 0 20 0 3 0 4821262 4685701120 1036123 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
/proc/30344/statm: 1143970 1036123 3014 3035 0 1121038 0
[pid=30344/tid=30349] ppid=30341 vsize=4575880 memory=-7452449699976537468 CPUtime=2228.55 cores=5,7
/proc/30344/task/30349/stat : 30349 (fscip) R 30341 30344 27458 0 -1 4194368 2381740 0 0 0 222664 191 0 0 20 0 3 0 4822589 4685701120 1036123 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
[pid=30344/tid=30350] ppid=30341 vsize=4575880 memory=4426358507524746912 CPUtime=0.02 cores=5,7
/proc/30344/task/30350/stat : 30350 (fscip) S 30341 30344 27458 0 -1 1077936192 462 0 0 0 1 1 0 0 20 0 3 0 4822649 4685701120 1036123 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
Current children cumulated CPU time: 2242.15 s
Current children cumulated vsize: 4575880 KiB
Current children cumulated memory: 4144492 KiB

[startup+2249.6 s]
/proc/loadavg: 4.23 4.15 4.10 5/261 31395
/proc/meminfo: memFree=125276800/131524600 swapFree=131063756/131071996
[pid=30344] ppid=30341 vsize=4575880 memory=4144492 CPUtime=2243.74 cores=5,7
/proc/30344/stat : 30344 (fscip) S 30341 30344 27458 0 -1 1077936128 2692067 0 0 0 224096 278 0 0 20 0 3 0 4821262 4685701120 1036123 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
/proc/30344/statm: 1143970 1036123 3014 3035 0 1121038 0
[pid=30344/tid=30349] ppid=30341 vsize=4575880 memory=4144492 CPUtime=2230.13 cores=5,7
/proc/30344/task/30349/stat : 30349 (fscip) R 30341 30344 27458 0 -1 4194368 2383410 0 0 0 222822 191 0 0 20 0 3 0 4822589 4685701120 1036123 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
[pid=30344/tid=30350] ppid=30341 vsize=4575880 memory=4144492 CPUtime=0.02 cores=5,7
/proc/30344/task/30350/stat : 30350 (fscip) S 30341 30344 27458 0 -1 1077936192 462 0 0 0 1 1 0 0 20 0 3 0 4822649 4685701120 1036123 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
Current children cumulated CPU time: 2243.74 s
Current children cumulated vsize: 4575880 KiB
Current children cumulated memory: 4144492 KiB

[startup+2250.4 s]
/proc/loadavg: 4.23 4.15 4.10 5/261 31395
/proc/meminfo: memFree=125276776/131524600 swapFree=131063756/131071996
[pid=30344] ppid=30341 vsize=4575880 memory=4144492 CPUtime=2244.54 cores=5,7
/proc/30344/stat : 30344 (fscip) S 30341 30344 27458 0 -1 1077936128 2732353 0 0 0 224172 282 0 0 20 0 3 0 4821262 4685701120 1036123 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
/proc/30344/statm: 1143970 1036123 3014 3035 0 1121038 0
[pid=30344/tid=30349] ppid=30341 vsize=4575880 memory=-7452449699976537468 CPUtime=2230.93 cores=5,7
/proc/30344/task/30349/stat : 30349 (fscip) R 30341 30344 27458 0 -1 4194368 2423693 0 0 0 222898 195 0 0 20 0 3 0 4822589 4685701120 1036123 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
[pid=30344/tid=30350] ppid=30341 vsize=4575880 memory=11532 CPUtime=0.02 cores=5,7
/proc/30344/task/30350/stat : 30350 (fscip) S 30341 30344 27458 0 -1 1077936192 462 0 0 0 1 1 0 0 20 0 3 0 4822649 4685701120 1036123 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
Current children cumulated CPU time: 2244.54 s
Current children cumulated vsize: 4575880 KiB
Current children cumulated memory: 4144492 KiB

[startup+2250.6 s]
/proc/loadavg: 4.23 4.15 4.10 5/261 31395
/proc/meminfo: memFree=125276776/131524600 swapFree=131063756/131071996
[pid=30344] ppid=30341 vsize=4341848 memory=3916828 CPUtime=2244.73 cores=5,7
/proc/30344/stat : 30344 (fscip) R 30341 30344 27458 0 -1 4194304 2764589 0 0 0 224190 283 0 0 20 0 2 0 4821262 4446052352 979207 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
/proc/30344/statm: 1085462 979207 3014 3035 0 1062530 0
[pid=30344/tid=30350] ppid=30341 vsize=4341848 memory=5420 CPUtime=0.02 cores=5,7
/proc/30344/task/30350/stat : 30350 (fscip) S 30341 30344 27458 0 -1 1077936192 462 0 0 0 1 1 0 0 20 0 2 0 4822649 4446052352 979207 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
Current children cumulated CPU time: 2244.73 s
Current children cumulated vsize: 4341848 KiB
Current children cumulated memory: 3916828 KiB

[startup+2250.7 s]
/proc/loadavg: 4.23 4.15 4.10 5/261 31395
/proc/meminfo: memFree=125276776/131524600 swapFree=131063756/131071996
[pid=30344] ppid=30341 vsize=4313680 memory=3888760 CPUtime=2244.83 cores=5,7
/proc/30344/stat : 30344 (fscip) R 30341 30344 27458 0 -1 4194304 2774377 0 0 0 224199 284 0 0 20 0 2 0 4821262 4417208320 972190 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
/proc/30344/statm: 1078420 972190 3014 3035 0 1055488 0
[pid=30344/tid=30350] ppid=30341 vsize=4313680 memory=4144432 CPUtime=0.02 cores=5,7
/proc/30344/task/30350/stat : 30350 (fscip) S 30341 30344 27458 0 -1 1077936192 462 0 0 0 1 1 0 0 20 0 2 0 4822649 4417208320 972190 134679101440 4194304 16623229 140732751634208 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 34861056 140732751639574 140732751639690 140732751639690 140732751646704 0
Current children cumulated CPU time: 2244.83 s
Current children cumulated vsize: 4313680 KiB
Current children cumulated memory: 3888760 KiB

Child status: 0

Real time (s): 2250.8
CPU time (s): 2244.94
CPU user time (s): 2242.07
CPU system time (s): 2.87329
CPU usage (%): 99.7397
Max. virtual memory (cumulated for all children) (KiB): 4575880
Max. memory (cumulated for all children) (KiB): 4144492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2242.07
system time used= 2.87329
maximum resident set size= 4144492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2781503
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= 2649
involuntary context switches= 1844


# summary of solver processes directly reported to runsolver:
#   pid: 30344
#   total CPU time (s): 2244.94
#   total CPU user time (s): 2242.07
#   total CPU system time (s): 2.87329

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.07831 second user time and 10.2608 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2024-07-31 01:30:02
IDJOB=4464186
IDBENCH=155400
IDSOLVER=3092
FILE ID=nodeC029/4464186-1722382201
RUNJOBID= nodeC029-1722378597-27471
SLURM_JOB_ID= 8249852
Free space on /tmp= 889964 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_9_shg.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-4464186-1722382201/watcher-4464186-1722382201 -o /tmp/evaluation-result-4464186-1722382201/solver-4464186-1722382201 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722378597-27471 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464186-1722382201.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 6ff458260e5cc7a1e00e7b04a599a648
RANDOM SEED=483359291

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        129698268 kB
MemAvailable:   129675156 kB
Buffers:           87060 kB
Cached:           728280 kB
SwapCached:          212 kB
Active:           255392 kB
Inactive:        1108032 kB
Active(anon):       1756 kB
Inactive(anon):   567352 kB
Active(file):     253636 kB
Inactive(file):   540680 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131063756 kB
Dirty:            148300 kB
Writeback:            40 kB
AnonPages:        548024 kB
Mapped:           117516 kB
Shmem:             21024 kB
KReclaimable:      44792 kB
Slab:             125284 kB
SReclaimable:      44792 kB
SUnreclaim:        80492 kB
KernelStack:        4112 kB
PageTables:        10104 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     827552 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             7616 kB
HardwareCorrupted:     0 kB
AnonHugePages:    372736 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:      185044 kB
DirectMap2M:     6928384 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 889936 MiB
End job on nodeC029 at 2024-07-31 02:07:32