Trace number 4434854

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-02OPT42 2409 2417.99

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100093 s]*
/proc/loadavg: 4.14 4.22 4.15 5/254 854820
/proc/meminfo: memFree=121995528/131524600 swapFree=131071996/131071996
[pid=854815] ppid=854812 vsize=44112 memory=32520 CPUtime=0.1 cores=1,3
/proc/854815/stat : 854815 (fscip) R 854812 854815 850721 0 -1 4194304 6075 0 0 0 9 1 0 0 20 0 1 0 165138546 45170688 8130 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
/proc/854815/statm: 11028 8130 2318 3032 0 7428 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 44112 KiB
Current children cumulated memory: 32520 KiB

[startup+0.205568 s]*
/proc/loadavg: 4.14 4.22 4.15 5/254 854820
/proc/meminfo: memFree=121943260/131524600 swapFree=131071996/131071996
[pid=854815] ppid=854812 vsize=60044 memory=48624 CPUtime=0.19 cores=1,3
/proc/854815/stat : 854815 (fscip) R 854812 854815 850721 0 -1 4194304 10095 0 0 0 18 1 0 0 20 0 1 0 165138546 61485056 12156 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
/proc/854815/statm: 15011 12156 2318 3032 0 11411 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 60044 KiB
Current children cumulated memory: 48624 KiB

[startup+0.3055 s]*
/proc/loadavg: 4.14 4.22 4.15 5/254 854820
/proc/meminfo: memFree=121900108/131524600 swapFree=131071996/131071996
[pid=854815] ppid=854812 vsize=70940 memory=59584 CPUtime=0.3 cores=1,3
/proc/854815/stat : 854815 (fscip) R 854812 854815 850721 0 -1 4194304 12780 0 0 0 28 2 0 0 20 0 1 0 165138546 72642560 14896 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
/proc/854815/statm: 17735 14896 2318 3032 0 14135 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 70940 KiB
Current children cumulated memory: 59584 KiB

[startup+0.700223 s]
/proc/loadavg: 4.14 4.22 4.15 4/250 854824
/proc/meminfo: memFree=123747392/131524600 swapFree=131071996/131071996
[pid=854815] ppid=854812 vsize=120028 memory=107932 CPUtime=0.69 cores=1,3
/proc/854815/stat : 854815 (fscip) R 854812 854815 850721 0 -1 4194304 24887 0 0 0 65 4 0 0 20 0 1 0 165138546 122908672 26983 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
/proc/854815/statm: 30007 26983 2318 3032 0 26407 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 120028 KiB
Current children cumulated memory: 107932 KiB

[startup+1.50018 s]
/proc/loadavg: 4.14 4.22 4.15 5/248 854856
/proc/meminfo: memFree=123371108/131524600 swapFree=131071996/131071996
[pid=854815] ppid=854812 vsize=565620 memory=548100 CPUtime=1.49 cores=1,3
/proc/854815/stat : 854815 (fscip) R 854812 854815 850721 0 -1 4194304 141854 0 0 0 128 21 0 0 20 0 1 0 165138546 579194880 137025 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
/proc/854815/statm: 141405 137025 2590 3032 0 137805 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 565620 KiB
Current children cumulated memory: 548100 KiB

[startup+3.10564 s]
/proc/loadavg: 4.14 4.22 4.15 5/251 854866
/proc/meminfo: memFree=121782100/131524600 swapFree=131071996/131071996
[pid=854815] ppid=854812 vsize=1006832 memory=925276 CPUtime=3.08 cores=1,3
/proc/854815/stat : 854815 (fscip) R 854812 854815 850721 0 -1 4194304 147774 0 0 0 279 29 0 0 20 0 1 0 165138546 1030995968 231253 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
/proc/854815/statm: 251708 231319 2638 3032 0 248108 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1006832 KiB
Current children cumulated memory: 925276 KiB

[startup+6.30023 s]
/proc/loadavg: 4.13 4.22 4.15 5/257 854879
/proc/meminfo: memFree=120827832/131524600 swapFree=131071996/131071996
[pid=854815] ppid=854812 vsize=1167168 memory=1073736 CPUtime=6.28 cores=1,3
/proc/854815/stat : 854815 (fscip) R 854812 854815 850721 0 -1 4194304 238740 0 0 0 570 58 0 0 20 0 1 0 165138546 1195180032 268434 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
/proc/854815/statm: 291792 268434 2734 3032 0 288192 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 1167168 KiB
Current children cumulated memory: 1073736 KiB

[startup+12.7002 s]
/proc/loadavg: 4.28 4.25 4.16 5/257 854879
/proc/meminfo: memFree=117750540/131524600 swapFree=131071996/131071996
[pid=854815] ppid=854812 vsize=2687044 memory=2330660 CPUtime=12.65 cores=1,3
/proc/854815/stat : 854815 (fscip) R 854812 854815 850721 0 -1 4194304 295405 0 0 0 1177 88 0 0 20 0 1 0 165138546 2751533056 582665 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
/proc/854815/statm: 671761 582665 2766 3032 0 668161 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2687044 KiB
Current children cumulated memory: 2330660 KiB

[startup+25.5005 s]
/proc/loadavg: 4.22 4.24 4.16 5/261 854886
/proc/meminfo: memFree=110913192/131524600 swapFree=131071996/131071996
[pid=854815] ppid=854812 vsize=4028240 memory=3627412 CPUtime=25.35 cores=1,3
/proc/854815/stat : 854815 (fscip) S 854812 854815 850721 0 -1 1077936128 639242 0 0 0 2382 153 0 0 20 0 3 0 165138546 4124917760 906853 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
/proc/854815/statm: 1007060 906853 2878 3032 0 992633 0
[pid=854815/tid=854880] ppid=854812 vsize=4028240 memory=3313352 CPUtime=11.49 cores=1,3
/proc/854815/task/854880/stat : 854880 (fscip) R 854812 854815 850721 0 -1 4194368 333660 0 0 0 1087 62 0 0 20 0 3 0 165139903 4124917760 906853 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
[pid=854815/tid=854881] ppid=854812 vsize=4028240 memory=3627412 CPUtime=0 cores=1,3
/proc/854815/task/854881/stat : 854881 (fscip) S 854812 854815 850721 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 165139966 4124917760 906853 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 4028240 KiB
Current children cumulated memory: 3627412 KiB

[startup+51.1055 s]
/proc/loadavg: 4.14 4.22 4.15 5/261 854889
/proc/meminfo: memFree=105385404/131524600 swapFree=131071996/131071996
[pid=854815] ppid=854812 vsize=4028240 memory=3627412 CPUtime=50.7 cores=1,3
/proc/854815/stat : 854815 (fscip) S 854812 854815 850721 0 -1 1077936128 647430 0 0 0 4916 154 0 0 20 0 3 0 165138546 4124917760 906853 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
/proc/854815/statm: 1007060 906853 2878 3032 0 992633 0
[pid=854815/tid=854880] ppid=854812 vsize=4028240 memory=3627412 CPUtime=36.83 cores=1,3
/proc/854815/task/854880/stat : 854880 (fscip) R 854812 854815 850721 0 -1 4194368 341830 0 0 0 3620 63 0 0 20 0 3 0 165139903 4124917760 906853 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
[pid=854815/tid=854881] ppid=854812 vsize=4028240 memory=3627412 CPUtime=0 cores=1,3
/proc/854815/task/854881/stat : 854881 (fscip) S 854812 854815 850721 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 165139966 4124917760 906853 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
Current children cumulated CPU time: 50.7 s
Current children cumulated vsize: 4028240 KiB
Current children cumulated memory: 3627412 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.20 4.15 5/260 854897
/proc/meminfo: memFree=102339448/131524600 swapFree=131071996/131071996
[pid=854815] ppid=854812 vsize=4028240 memory=3627476 CPUtime=101.37 cores=1,3
/proc/854815/stat : 854815 (fscip) S 854812 854815 850721 0 -1 1077936128 657010 0 0 0 9982 155 0 0 20 0 3 0 165138546 4124917760 906869 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
/proc/854815/statm: 1007060 906869 2894 3032 0 992633 0
[pid=854815/tid=854880] ppid=854812 vsize=4028240 memory=3627476 CPUtime=87.51 cores=1,3
/proc/854815/task/854880/stat : 854880 (fscip) R 854812 854815 850721 0 -1 4194368 351389 0 0 0 8687 64 0 0 20 0 3 0 165139903 4124917760 906869 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
[pid=854815/tid=854881] ppid=854812 vsize=4028240 memory=12340 CPUtime=0 cores=1,3
/proc/854815/task/854881/stat : 854881 (fscip) S 854812 854815 850721 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 165139966 4124917760 906869 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
Current children cumulated CPU time: 101.37 s
Current children cumulated vsize: 4028240 KiB
Current children cumulated memory: 3627476 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.17 4.14 5/260 854908
/proc/meminfo: memFree=91279664/131524600 swapFree=131071996/131071996
[pid=854815] ppid=854812 vsize=4028240 memory=3627476 CPUtime=160.77 cores=1,3
/proc/854815/stat : 854815 (fscip) S 854812 854815 850721 0 -1 1077936128 666586 0 0 0 15921 156 0 0 20 0 3 0 165138546 4124917760 906869 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
/proc/854815/statm: 1007060 906869 2894 3032 0 992633 0
[pid=854815/tid=854880] ppid=854812 vsize=4028240 memory=3627476 CPUtime=146.9 cores=1,3
/proc/854815/task/854880/stat : 854880 (fscip) R 854812 854815 850721 0 -1 4194368 360951 0 0 0 14625 65 0 0 20 0 3 0 165139903 4124917760 906869 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
[pid=854815/tid=854881] ppid=854812 vsize=4028240 memory=12340 CPUtime=0 cores=1,3
/proc/854815/task/854881/stat : 854881 (fscip) S 854812 854815 850721 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 3 0 165139966 4124917760 906869 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
Current children cumulated CPU time: 160.77 s
Current children cumulated vsize: 4028240 KiB
Current children cumulated memory: 3627476 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.15 4.14 5/263 854968
/proc/meminfo: memFree=112139832/131524600 swapFree=131071996/131071996
[pid=854815] ppid=854812 vsize=4028240 memory=3627476 CPUtime=220.16 cores=1,3
/proc/854815/stat : 854815 (fscip) S 854812 854815 850721 0 -1 1077936128 675692 0 0 0 21859 157 0 0 20 0 3 0 165138546 4124917760 906869 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
/proc/854815/statm: 1007060 906869 2894 3032 0 992633 0
[pid=854815/tid=854880] ppid=854812 vsize=4028240 memory=12340 CPUtime=206.29 cores=1,3
/proc/854815/task/854880/stat : 854880 (fscip) R 854812 854815 850721 0 -1 4194368 370036 0 0 0 20563 66 0 0 20 0 3 0 165139903 4124917760 906869 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
[pid=854815/tid=854881] ppid=854812 vsize=4028240 memory=-6656998000824597354 CPUtime=0 cores=1,3
/proc/854815/task/854881/stat : 854881 (fscip) S 854812 854815 850721 0 -1 1077936192 77 0 0 0 0 0 0 0 20 0 3 0 165139966 4124917760 906869 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
Current children cumulated CPU time: 220.16 s
Current children cumulated vsize: 4028240 KiB
Current children cumulated memory: 3627476 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.15 4.14 5/263 854979
/proc/meminfo: memFree=112139156/131524600 swapFree=131071996/131071996
[pid=854815] ppid=854812 vsize=4028240 memory=3627476 CPUtime=279.77 cores=1,3
/proc/854815/stat : 854815 (fscip) S 854812 854815 850721 0 -1 1077936128 685133 0 0 0 27818 159 0 0 20 0 3 0 165138546 4124917760 906869 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
/proc/854815/statm: 1007060 906869 2894 3032 0 992633 0
[pid=854815/tid=854880] ppid=854812 vsize=4028240 memory=3627476 CPUtime=265.9 cores=1,3
/proc/854815/task/854880/stat : 854880 (fscip) R 854812 854815 850721 0 -1 4194368 379456 0 0 0 26523 67 0 0 20 0 3 0 165139903 4124917760 906869 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
[pid=854815/tid=854881] ppid=854812 vsize=4028240 memory=3627476 CPUtime=0 cores=1,3
/proc/854815/task/854881/stat : 854881 (fscip) S 854812 854815 850721 0 -1 1077936192 98 0 0 0 0 0 0 0 20 0 3 0 165139966 4124917760 906869 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
Current children cumulated CPU time: 279.77 s
Current children cumulated vsize: 4028240 KiB
Current children cumulated memory: 3627476 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.14 4.13 5/263 854989

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

/proc/loadavg: 4.06 4.12 4.15 5/265 856058
/proc/meminfo: memFree=108116604/131524600 swapFree=131071996/131071996
[pid=854815] ppid=854812 vsize=4575868 memory=4136416 CPUtime=2253.76 cores=1,3
/proc/854815/stat : 854815 (fscip) S 854812 854815 850721 0 -1 1077936128 2681494 0 0 0 225086 290 0 0 20 0 3 0 165138546 4685688832 1034104 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
/proc/854815/statm: 1143967 1034104 2974 3032 0 1117817 0
[pid=854815/tid=854880] ppid=854812 vsize=4575868 memory=4136416 CPUtime=2239.85 cores=1,3
/proc/854815/task/854880/stat : 854880 (fscip) R 854812 854815 850721 0 -1 4194368 2372868 0 0 0 223790 195 0 0 20 0 3 0 165139903 4685688832 1034104 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
[pid=854815/tid=854881] ppid=854812 vsize=4575868 memory=4136416 CPUtime=0.02 cores=1,3
/proc/854815/task/854881/stat : 854881 (fscip) S 854812 854815 850721 0 -1 1077936192 417 0 0 0 0 2 0 0 20 0 3 0 165139966 4685688832 1034104 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
Current children cumulated CPU time: 2253.76 s
Current children cumulated vsize: 4575868 KiB
Current children cumulated memory: 4136416 KiB

[startup+2322.3 s]
/proc/loadavg: 4.06 4.11 4.15 5/265 856068
/proc/meminfo: memFree=108038572/131524600 swapFree=131071996/131071996
[pid=854815] ppid=854812 vsize=4575868 memory=4136424 CPUtime=2313.59 cores=1,3
/proc/854815/stat : 854815 (fscip) S 854812 854815 850721 0 -1 1077936128 2713508 0 0 0 231067 292 0 0 20 0 3 0 165138546 4685688832 1034106 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
/proc/854815/statm: 1143967 1034106 2974 3032 0 1117817 0
[pid=854815/tid=854880] ppid=854812 vsize=4575868 memory=12340 CPUtime=2299.66 cores=1,3
/proc/854815/task/854880/stat : 854880 (fscip) R 854812 854815 850721 0 -1 4194368 2404851 0 0 0 229770 196 0 0 20 0 3 0 165139903 4685688832 1034106 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
[pid=854815/tid=854881] ppid=854812 vsize=4575868 memory=4136424 CPUtime=0.02 cores=1,3
/proc/854815/task/854881/stat : 854881 (fscip) S 854812 854815 850721 0 -1 1077936192 425 0 0 0 0 2 0 0 20 0 3 0 165139966 4685688832 1034106 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
Current children cumulated CPU time: 2313.59 s
Current children cumulated vsize: 4575868 KiB
Current children cumulated memory: 4136424 KiB

[startup+2382.3 s]
/proc/loadavg: 4.17 4.14 4.15 5/265 856079
/proc/meminfo: memFree=108005636/131524600 swapFree=131071996/131071996
[pid=854815] ppid=854812 vsize=4575868 memory=4136432 CPUtime=2373.4 cores=1,3
/proc/854815/stat : 854815 (fscip) S 854812 854815 850721 0 -1 1077936128 2741091 0 0 0 237047 293 0 0 20 0 3 0 165138546 4685688832 1034108 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
/proc/854815/statm: 1143967 1034108 2974 3032 0 1117817 0
[pid=854815/tid=854880] ppid=854812 vsize=4575868 memory=4136432 CPUtime=2359.48 cores=1,3
/proc/854815/task/854880/stat : 854880 (fscip) R 854812 854815 850721 0 -1 4194368 2432390 0 0 0 235751 197 0 0 20 0 3 0 165139903 4685688832 1034108 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
[pid=854815/tid=854881] ppid=854812 vsize=4575868 memory=12340 CPUtime=0.03 cores=1,3
/proc/854815/task/854881/stat : 854881 (fscip) S 854812 854815 850721 0 -1 1077936192 432 0 0 0 0 3 0 0 20 0 3 0 165139966 4685688832 1034108 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
Current children cumulated CPU time: 2373.4 s
Current children cumulated vsize: 4575868 KiB
Current children cumulated memory: 4136432 KiB

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

# cumulated CPU time of all completed processes:  user=2405.98 s, system=3.01894 s

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

[startup+2393.6 s]
/proc/loadavg: 4.15 4.13 4.15 5/265 856081
/proc/meminfo: memFree=108005140/131524600 swapFree=131071996/131071996
[pid=854815] ppid=854812 vsize=4575868 memory=4136432 CPUtime=2384.67 cores=1,3
/proc/854815/stat : 854815 (fscip) S 854812 854815 850721 0 -1 1077936128 2755559 0 0 0 238173 294 0 0 20 0 3 0 165138546 4685688832 1034108 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
/proc/854815/statm: 1143967 1034108 2974 3032 0 1117817 0
[pid=854815/tid=854880] ppid=854812 vsize=4575868 memory=4136432 CPUtime=2370.75 cores=1,3
/proc/854815/task/854880/stat : 854880 (fscip) R 854812 854815 850721 0 -1 4194368 2446855 0 0 0 236877 198 0 0 20 0 3 0 165139903 4685688832 1034108 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
[pid=854815/tid=854881] ppid=854812 vsize=4575868 memory=12340 CPUtime=0.03 cores=1,3
/proc/854815/task/854881/stat : 854881 (fscip) S 854812 854815 850721 0 -1 1077936192 435 0 0 0 0 3 0 0 20 0 3 0 165139966 4685688832 1034108 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
Current children cumulated CPU time: 2384.67 s
Current children cumulated vsize: 4575868 KiB
Current children cumulated memory: 4136432 KiB

[startup+2406.4 s]
/proc/loadavg: 4.11 4.12 4.15 5/265 856084
/proc/meminfo: memFree=108005168/131524600 swapFree=131071996/131071996
[pid=854815] ppid=854812 vsize=4575868 memory=4136432 CPUtime=2397.43 cores=1,3
/proc/854815/stat : 854815 (fscip) S 854812 854815 850721 0 -1 1077936128 2758101 0 0 0 239449 294 0 0 20 0 3 0 165138546 4685688832 1034108 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
/proc/854815/statm: 1143967 1034108 2974 3032 0 1117817 0
[pid=854815/tid=854880] ppid=854812 vsize=4575868 memory=4136424 CPUtime=2383.51 cores=1,3
/proc/854815/task/854880/stat : 854880 (fscip) R 854812 854815 850721 0 -1 4194368 2449383 0 0 0 238153 198 0 0 20 0 3 0 165139903 4685688832 1034108 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
[pid=854815/tid=854881] ppid=854812 vsize=4575868 memory=57 CPUtime=0.03 cores=1,3
/proc/854815/task/854881/stat : 854881 (fscip) S 854812 854815 850721 0 -1 1077936192 435 0 0 0 0 3 0 0 20 0 3 0 165139966 4685688832 1034108 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
Current children cumulated CPU time: 2397.43 s
Current children cumulated vsize: 4575868 KiB
Current children cumulated memory: 4136432 KiB

[startup+2412.8 s]
/proc/loadavg: 4.10 4.12 4.15 5/265 856085
/proc/meminfo: memFree=108005140/131524600 swapFree=131071996/131071996
[pid=854815] ppid=854812 vsize=4575868 memory=4136432 CPUtime=2403.82 cores=1,3
/proc/854815/stat : 854815 (fscip) S 854812 854815 850721 0 -1 1077936128 2758893 0 0 0 240088 294 0 0 20 0 3 0 165138546 4685688832 1034108 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
/proc/854815/statm: 1143967 1034108 2974 3032 0 1117817 0
[pid=854815/tid=854880] ppid=854812 vsize=4575868 memory=12340 CPUtime=2389.89 cores=1,3
/proc/854815/task/854880/stat : 854880 (fscip) R 854812 854815 850721 0 -1 4194368 2450175 0 0 0 238791 198 0 0 20 0 3 0 165139903 4685688832 1034108 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
[pid=854815/tid=854881] ppid=854812 vsize=4575868 memory=4136432 CPUtime=0.03 cores=1,3
/proc/854815/task/854881/stat : 854881 (fscip) S 854812 854815 850721 0 -1 1077936192 435 0 0 0 0 3 0 0 20 0 3 0 165139966 4685688832 1034108 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
Current children cumulated CPU time: 2403.82 s
Current children cumulated vsize: 4575868 KiB
Current children cumulated memory: 4136432 KiB

[startup+2416 s]*
/proc/loadavg: 4.10 4.12 4.14 5/265 856086
/proc/meminfo: memFree=108005084/131524600 swapFree=131071996/131071996
[pid=854815] ppid=854812 vsize=4575868 memory=4136432 CPUtime=2407.01 cores=1,3
/proc/854815/stat : 854815 (fscip) S 854812 854815 850721 0 -1 1077936128 2759548 0 0 0 240407 294 0 0 20 0 3 0 165138546 4685688832 1034108 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
/proc/854815/statm: 1143967 1034108 2974 3032 0 1117817 0
[pid=854815/tid=854880] ppid=854812 vsize=4575868 memory=6720666545233936241 CPUtime=2393.09 cores=1,3
/proc/854815/task/854880/stat : 854880 (fscip) R 854812 854815 850721 0 -1 4194368 2450829 0 0 0 239111 198 0 0 20 0 3 0 165139903 4685688832 1034108 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
[pid=854815/tid=854881] ppid=854812 vsize=4575868 memory=-7305251628563718784 CPUtime=0.03 cores=1,3
/proc/854815/task/854881/stat : 854881 (fscip) S 854812 854815 850721 0 -1 1077936192 435 0 0 0 0 3 0 0 20 0 3 0 165139966 4685688832 1034108 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
Current children cumulated CPU time: 2407.01 s
Current children cumulated vsize: 4575868 KiB
Current children cumulated memory: 4136432 KiB

[startup+2416.8 s]
/proc/loadavg: 4.10 4.12 4.14 5/265 856086
/proc/meminfo: memFree=108005084/131524600 swapFree=131071996/131071996
[pid=854815] ppid=854812 vsize=4575868 memory=4136432 CPUtime=2407.8 cores=1,3
/proc/854815/stat : 854815 (fscip) S 854812 854815 850721 0 -1 1077936128 2761144 0 0 0 240486 294 0 0 20 0 3 0 165138546 4685688832 1034108 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
/proc/854815/statm: 1143967 1034108 2974 3032 0 1117817 0
[pid=854815/tid=854880] ppid=854812 vsize=4575868 memory=4136432 CPUtime=2393.88 cores=1,3
/proc/854815/task/854880/stat : 854880 (fscip) R 854812 854815 850721 0 -1 4194368 2452422 0 0 0 239190 198 0 0 20 0 3 0 165139903 4685688832 1034108 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
[pid=854815/tid=854881] ppid=854812 vsize=4575868 memory=15976 CPUtime=0.03 cores=1,3
/proc/854815/task/854881/stat : 854881 (fscip) S 854812 854815 850721 0 -1 1077936192 435 0 0 0 0 3 0 0 20 0 3 0 165139966 4685688832 1034108 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
Current children cumulated CPU time: 2407.8 s
Current children cumulated vsize: 4575868 KiB
Current children cumulated memory: 4136432 KiB

[startup+2417.6 s]
/proc/loadavg: 4.10 4.12 4.14 5/265 856086
/proc/meminfo: memFree=108005084/131524600 swapFree=131071996/131071996
[pid=854815] ppid=854812 vsize=4435820 memory=3996384 CPUtime=2408.6 cores=1,3
/proc/854815/stat : 854815 (fscip) S 854812 854815 850721 0 -1 1077936128 2797834 0 0 0 240564 296 0 0 20 0 3 0 165138546 4542279680 999096 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
/proc/854815/statm: 1108955 999096 2974 3032 0 1082805 0
[pid=854815/tid=854880] ppid=854812 vsize=4435820 memory=1816 CPUtime=2394.68 cores=1,3
/proc/854815/task/854880/stat : 854880 (fscip) R 854812 854815 850721 0 -1 4194368 2489109 0 0 0 239268 200 0 0 20 0 3 0 165139903 4542279680 999096 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
[pid=854815/tid=854881] ppid=854812 vsize=4435820 memory=6720662134403121005 CPUtime=0.03 cores=1,3
/proc/854815/task/854881/stat : 854881 (fscip) S 854812 854815 850721 0 -1 1077936192 435 0 0 0 0 3 0 0 20 0 3 0 165139966 4542279680 999096 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
Current children cumulated CPU time: 2408.6 s
Current children cumulated vsize: 4435820 KiB
Current children cumulated memory: 3996384 KiB

[startup+2417.8 s]
/proc/loadavg: 4.10 4.12 4.14 5/265 856086
/proc/meminfo: memFree=108005084/131524600 swapFree=131071996/131071996
[pid=854815] ppid=854812 vsize=4262972 memory=3857912 CPUtime=2408.8 cores=1,3
/proc/854815/stat : 854815 (fscip) R 854812 854815 850721 0 -1 4194304 2832586 0 0 0 240582 298 0 0 20 0 2 0 165138546 4365283328 964478 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
/proc/854815/statm: 1065743 964478 2974 3032 0 1046292 0
[pid=854815/tid=854881] ppid=854812 vsize=4262972 memory=12312 CPUtime=0.03 cores=1,3
/proc/854815/task/854881/stat : 854881 (fscip) S 854812 854815 850721 0 -1 1077936192 435 0 0 0 0 3 0 0 20 0 2 0 165139966 4365283328 964478 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
Current children cumulated CPU time: 2408.8 s
Current children cumulated vsize: 4262972 KiB
Current children cumulated memory: 3857912 KiB

[startup+2417.9 s]
/proc/loadavg: 4.10 4.12 4.14 5/265 856086
/proc/meminfo: memFree=108005084/131524600 swapFree=131071996/131071996
[pid=854815] ppid=854812 vsize=4223428 memory=3818472 CPUtime=2408.9 cores=1,3
/proc/854815/stat : 854815 (fscip) R 854812 854815 850721 0 -1 4194304 2840610 0 0 0 240591 299 0 0 20 0 2 0 165138546 4324790272 954618 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
/proc/854815/statm: 1055857 954618 2974 3032 0 1036406 0
[pid=854815/tid=854881] ppid=854812 vsize=4223428 memory=12340 CPUtime=0.03 cores=1,3
/proc/854815/task/854881/stat : 854881 (fscip) S 854812 854815 850721 0 -1 1077936192 435 0 0 0 0 3 0 0 20 0 2 0 165139966 4324790272 954618 134679101440 4194304 16613245 140735400705968 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50118656 140735400711189 140735400711305 140735400711305 140735400718320 0
Current children cumulated CPU time: 2408.9 s
Current children cumulated vsize: 4223428 KiB
Current children cumulated memory: 3818472 KiB

Child status: 0

Real time (s): 2417.99
CPU time (s): 2409
CPU user time (s): 2405.98
CPU system time (s): 3.01894
CPU usage (%): 99.6281
Max. virtual memory (cumulated for all children) (KiB): 4575868
Max. memory (cumulated for all children) (KiB): 4136432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2405.98
system time used= 3.01894
maximum resident set size= 4136432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2844204
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= 2844
involuntary context switches= 3658


# summary of solver processes directly reported to runsolver:
#   pid: 854815
#   total CPU time (s): 2409
#   total CPU user time (s): 2405.98
#   total CPU system time (s): 3.01894

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.23568 second user time and 12.7138 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-07-16 13:35:00
IDJOB=4434854
IDBENCH=155400
IDSOLVER=3064
FILE ID=nodeC033/4434854-1721129688
RUNJOBID= nodeC033-1721122498-850733
SLURM_JOB_ID= 7505674
Free space on /tmp= 889960 MiB

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

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

MD5SUM BENCH= 6ff458260e5cc7a1e00e7b04a599a648
RANDOM SEED=1404678251

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        122020452 kB
MemAvailable:   126863652 kB
Buffers:          438304 kB
Cached:          5184976 kB
SwapCached:            0 kB
Active:           719332 kB
Inactive:        8060820 kB
Active(anon):       1572 kB
Inactive(anon):  3193332 kB
Active(file):     717760 kB
Inactive(file):  4867488 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             59080 kB
Writeback:            40 kB
AnonPages:       3152040 kB
Mapped:           128228 kB
Shmem:             37716 kB
KReclaimable:     195200 kB
Slab:             312476 kB
SReclaimable:     195200 kB
SUnreclaim:       117276 kB
KernelStack:        4076 kB
PageTables:        15356 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    2352448 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62144 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2969600 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:      262868 kB
DirectMap2M:    25724928 kB
DirectMap1G:    110100480 kB

Free space on /tmp at the end= 889848 MiB
End job on nodeC033 at 2024-07-16 14:15:19