Trace number 4443020

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 NameAnswerCPU timeWall clock time
FiberSCIP 2024-07-02SAT 3441.21 3451.88

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin14.opb
MD5SUM946fa793c8e40fdbe884453e390b9fbe
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark2.99868
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8281
Total number of constraints826
Number of constraints which are clauses364
Number of constraints which are cardinality constraints (but not clauses)462
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint91
Maximum length of a constraint169
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 171
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

OK	0

Watcher Data 

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

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

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100097 s]*
/proc/loadavg: 4.10 4.13 4.10 5/256 959384
/proc/meminfo: memFree=127421728/131524600 swapFree=131071996/131071996
[pid=959383] ppid=959380 vsize=69004 memory=57760 CPUtime=0.09 cores=5,7
/proc/959383/stat : 959383 (fscip) R 959380 959383 954227 0 -1 4194304 13817 0 0 0 8 1 0 0 20 0 1 0 182265217 70660096 14440 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
/proc/959383/statm: 17251 14440 2638 3032 0 13651 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 69004 KiB
Current children cumulated memory: 57760 KiB

[startup+0.205417 s]*
/proc/loadavg: 4.10 4.13 4.10 5/256 959384
/proc/meminfo: memFree=127400912/131524600 swapFree=131071996/131071996
[pid=959383] ppid=959380 vsize=111736 memory=89928 CPUtime=0.19 cores=5,7
/proc/959383/stat : 959383 (fscip) R 959380 959383 954227 0 -1 4194304 19447 0 0 0 17 2 0 0 20 0 1 0 182265217 114417664 22482 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
/proc/959383/statm: 27934 22482 2718 3032 0 24334 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 111736 KiB
Current children cumulated memory: 89928 KiB

[startup+0.305618 s]*
/proc/loadavg: 4.10 4.13 4.10 5/256 959384
/proc/meminfo: memFree=127367696/131524600 swapFree=131071996/131071996
[pid=959383] ppid=959380 vsize=132876 memory=111764 CPUtime=0.3 cores=5,7
/proc/959383/stat : 959383 (fscip) R 959380 959383 954227 0 -1 4194304 22344 0 0 0 27 3 0 0 20 0 1 0 182265217 136065024 27941 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
/proc/959383/statm: 33219 27941 2718 3032 0 29619 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 132876 KiB
Current children cumulated memory: 111764 KiB

[startup+0.700235 s]
/proc/loadavg: 4.10 4.13 4.10 5/256 959384
/proc/meminfo: memFree=127323876/131524600 swapFree=131071996/131071996
[pid=959383] ppid=959380 vsize=204852 memory=156804 CPUtime=0.68 cores=5,7
/proc/959383/stat : 959383 (fscip) R 959380 959383 954227 0 -1 4194304 33598 0 0 0 64 4 0 0 20 0 1 0 182265217 209768448 39201 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
/proc/959383/statm: 51213 39201 2766 3032 0 47613 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 204852 KiB
Current children cumulated memory: 156804 KiB

[startup+1.50023 s]
/proc/loadavg: 4.10 4.13 4.10 5/256 959384
/proc/meminfo: memFree=127321196/131524600 swapFree=131071996/131071996
[pid=959383] ppid=959380 vsize=206624 memory=158648 CPUtime=1.49 cores=5,7
/proc/959383/stat : 959383 (fscip) R 959380 959383 954227 0 -1 4194304 34063 0 0 0 144 5 0 0 20 0 1 0 182265217 211582976 39662 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
/proc/959383/statm: 51656 39662 2766 3032 0 48056 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 206624 KiB
Current children cumulated memory: 158648 KiB

[startup+3.10539 s]
/proc/loadavg: 4.17 4.15 4.11 5/258 959388
/proc/meminfo: memFree=127314524/131524600 swapFree=131071996/131071996
[pid=959383] ppid=959380 vsize=210764 memory=162592 CPUtime=3.08 cores=5,7
/proc/959383/stat : 959383 (fscip) R 959380 959383 954227 0 -1 4194304 35060 0 0 0 303 5 0 0 20 0 1 0 182265217 215822336 40648 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
/proc/959383/statm: 52691 40648 2766 3032 0 49091 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 210764 KiB
Current children cumulated memory: 162592 KiB

[startup+6.30022 s]
/proc/loadavg: 4.17 4.15 4.11 5/258 959389
/proc/meminfo: memFree=127312096/131524600 swapFree=131071996/131071996
[pid=959383] ppid=959380 vsize=212832 memory=164696 CPUtime=6.28 cores=5,7
/proc/959383/stat : 959383 (fscip) R 959380 959383 954227 0 -1 4194304 35582 0 0 0 622 6 0 0 20 0 1 0 182265217 217939968 41174 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
/proc/959383/statm: 53208 41174 2766 3032 0 49608 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 212832 KiB
Current children cumulated memory: 164696 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.14 4.11 5/260 959391
/proc/meminfo: memFree=127171052/131524600 swapFree=131071996/131071996
[pid=959383] ppid=959380 vsize=378276 memory=259176 CPUtime=12.65 cores=5,7
/proc/959383/stat : 959383 (fscip) S 959380 959383 954227 0 -1 1077936128 83672 0 0 0 1255 10 0 0 20 0 3 0 182265217 387354624 64794 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
/proc/959383/statm: 94569 64794 2830 3032 0 78118 0
[pid=959383/tid=959390] ppid=959380 vsize=378276 memory=257076 CPUtime=6.25 cores=5,7
/proc/959383/task/959390/stat : 959390 (fscip) R 959380 959383 954227 0 -1 4194368 43647 0 0 0 622 3 0 0 20 0 3 0 182265858 387354624 64794 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
[pid=959383/tid=959391] ppid=959380 vsize=378276 memory=231252 CPUtime=0 cores=5,7
/proc/959383/task/959391/stat : 959391 (fscip) S 959380 959383 954227 0 -1 1077936192 19 0 0 0 0 0 0 0 20 0 3 0 182265861 387354624 64794 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 378276 KiB
Current children cumulated memory: 259176 KiB

[startup+25.5003 s]
/proc/loadavg: 4.20 4.15 4.11 5/260 959394
/proc/meminfo: memFree=127142764/131524600 swapFree=131071996/131071996
[pid=959383] ppid=959380 vsize=378432 memory=263072 CPUtime=25.42 cores=5,7
/proc/959383/stat : 959383 (fscip) S 959380 959383 954227 0 -1 1077936128 88215 0 0 0 2531 11 0 0 20 0 3 0 182265217 387514368 65768 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
/proc/959383/statm: 94608 65768 2894 3032 0 79102 0
[pid=959383/tid=959390] ppid=959380 vsize=378432 memory=263072 CPUtime=19.02 cores=5,7
/proc/959383/task/959390/stat : 959390 (fscip) R 959380 959383 954227 0 -1 4194368 48162 0 0 0 1898 4 0 0 20 0 3 0 182265858 387514368 65768 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
[pid=959383/tid=959391] ppid=959380 vsize=378432 memory=97 CPUtime=0 cores=5,7
/proc/959383/task/959391/stat : 959391 (fscip) S 959380 959383 954227 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 3 0 182265861 387514368 65768 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 378432 KiB
Current children cumulated memory: 263072 KiB

[startup+51.1055 s]
/proc/loadavg: 4.13 4.14 4.11 5/264 959402
/proc/meminfo: memFree=125959856/131524600 swapFree=131071996/131071996
[pid=959383] ppid=959380 vsize=378432 memory=263104 CPUtime=50.95 cores=5,7
/proc/959383/stat : 959383 (fscip) S 959380 959383 954227 0 -1 1077936128 90810 0 0 0 5084 11 0 0 20 0 3 0 182265217 387514368 65776 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
/proc/959383/statm: 94608 65776 2894 3032 0 79102 0
[pid=959383/tid=959390] ppid=959380 vsize=378432 memory=263080 CPUtime=44.55 cores=5,7
/proc/959383/task/959390/stat : 959390 (fscip) R 959380 959383 954227 0 -1 4194368 50736 0 0 0 4451 4 0 0 20 0 3 0 182265858 387514368 65776 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
[pid=959383/tid=959391] ppid=959380 vsize=378432 memory=263080 CPUtime=0 cores=5,7
/proc/959383/task/959391/stat : 959391 (fscip) S 959380 959383 954227 0 -1 1077936192 68 0 0 0 0 0 0 0 20 0 3 0 182265861 387514368 65776 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 378432 KiB
Current children cumulated memory: 263104 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.15 4.11 5/264 959411
/proc/meminfo: memFree=125860456/131524600 swapFree=131071996/131071996
[pid=959383] ppid=959380 vsize=378432 memory=263116 CPUtime=102.02 cores=5,7
/proc/959383/stat : 959383 (fscip) S 959380 959383 954227 0 -1 1077936128 93488 0 0 0 10191 11 0 0 20 0 3 0 182265217 387514368 65779 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
/proc/959383/statm: 94608 65779 2894 3032 0 79102 0
[pid=959383/tid=959390] ppid=959380 vsize=378432 memory=12420 CPUtime=95.62 cores=5,7
/proc/959383/task/959390/stat : 959390 (fscip) R 959380 959383 954227 0 -1 4194368 53393 0 0 0 9558 4 0 0 20 0 3 0 182265858 387514368 65779 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
[pid=959383/tid=959391] ppid=959380 vsize=378432 memory=263116 CPUtime=0 cores=5,7
/proc/959383/task/959391/stat : 959391 (fscip) S 959380 959383 954227 0 -1 1077936192 89 0 0 0 0 0 0 0 20 0 3 0 182265861 387514368 65779 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 378432 KiB
Current children cumulated memory: 263116 KiB

[startup+162.3 s]
/proc/loadavg: 4.18 4.15 4.11 5/264 959421
/proc/meminfo: memFree=125512044/131524600 swapFree=131071996/131071996
[pid=959383] ppid=959380 vsize=378432 memory=263124 CPUtime=161.87 cores=5,7
/proc/959383/stat : 959383 (fscip) S 959380 959383 954227 0 -1 1077936128 95282 0 0 0 16176 11 0 0 20 0 3 0 182265217 387514368 65781 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
/proc/959383/statm: 94608 65781 2894 3032 0 79102 0
[pid=959383/tid=959390] ppid=959380 vsize=378432 memory=12420 CPUtime=155.46 cores=5,7
/proc/959383/task/959390/stat : 959390 (fscip) R 959380 959383 954227 0 -1 4194368 55173 0 0 0 15542 4 0 0 20 0 3 0 182265858 387514368 65781 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
[pid=959383/tid=959391] ppid=959380 vsize=378432 memory=263124 CPUtime=0 cores=5,7
/proc/959383/task/959391/stat : 959391 (fscip) S 959380 959383 954227 0 -1 1077936192 103 0 0 0 0 0 0 0 20 0 3 0 182265861 387514368 65781 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 378432 KiB
Current children cumulated memory: 263124 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/264 959433
/proc/meminfo: memFree=125410180/131524600 swapFree=131071996/131071996
[pid=959383] ppid=959380 vsize=378432 memory=263144 CPUtime=221.68 cores=5,7
/proc/959383/stat : 959383 (fscip) S 959380 959383 954227 0 -1 1077936128 97078 0 0 0 22157 11 0 0 20 0 3 0 182265217 387514368 65786 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
/proc/959383/statm: 94608 65786 2894 3032 0 79102 0
[pid=959383/tid=959390] ppid=959380 vsize=378432 memory=263144 CPUtime=215.29 cores=5,7
/proc/959383/task/959390/stat : 959390 (fscip) R 959380 959383 954227 0 -1 4194368 56955 0 0 0 21524 5 0 0 20 0 3 0 182265858 387514368 65786 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
[pid=959383/tid=959391] ppid=959380 vsize=378432 memory=5468 CPUtime=0 cores=5,7
/proc/959383/task/959391/stat : 959391 (fscip) S 959380 959383 954227 0 -1 1077936192 117 0 0 0 0 0 0 0 20 0 3 0 182265861 387514368 65786 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 378432 KiB
Current children cumulated memory: 263144 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/264 959445
/proc/meminfo: memFree=125348832/131524600 swapFree=131071996/131071996
[pid=959383] ppid=959380 vsize=378432 memory=263144 CPUtime=281.5 cores=5,7
/proc/959383/stat : 959383 (fscip) S 959380 959383 954227 0 -1 1077936128 98840 0 0 0 28138 12 0 0 20 0 3 0 182265217 387514368 65786 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
/proc/959383/statm: 94608 65786 2894 3032 0 79102 0
[pid=959383/tid=959390] ppid=959380 vsize=378432 memory=12420 CPUtime=275.09 cores=5,7
/proc/959383/task/959390/stat : 959390 (fscip) R 959380 959383 954227 0 -1 4194368 58703 0 0 0 27504 5 0 0 20 0 3 0 182265858 387514368 65786 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
[pid=959383/tid=959391] ppid=959380 vsize=378432 memory=263144 CPUtime=0 cores=5,7
/proc/959383/task/959391/stat : 959391 (fscip) S 959380 959383 954227 0 -1 1077936192 131 0 0 0 0 0 0 0 20 0 3 0 182265861 387514368 65786 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 378432 KiB

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

/proc/959383/statm: 128712 103855 2990 3032 0 111539 0
[pid=959383/tid=959390] ppid=959380 vsize=514848 memory=384804 CPUtime=3265.64 cores=5,7
/proc/959383/task/959390/stat : 959390 (fscip) R 959380 959383 954227 0 -1 4194368 229746 0 0 0 326540 24 0 0 20 0 3 0 182265858 527204352 103855 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
[pid=959383/tid=959391] ppid=959380 vsize=514848 memory=383740 CPUtime=0.03 cores=5,7
/proc/959383/task/959391/stat : 959391 (fscip) S 959380 959383 954227 0 -1 1077936192 773 0 0 0 0 3 0 0 20 0 3 0 182265861 527204352 103855 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
Current children cumulated CPU time: 3272.1 s
Current children cumulated vsize: 514848 KiB
Current children cumulated memory: 415420 KiB

[startup+3342.3 s]
/proc/loadavg: 4.22 4.15 4.10 5/262 961191
/proc/meminfo: memFree=124178244/131524600 swapFree=131071996/131071996
[pid=959383] ppid=959380 vsize=514848 memory=423100 CPUtime=3331.92 cores=5,7
/proc/959383/stat : 959383 (fscip) S 959380 959383 954227 0 -1 1077936128 284868 0 0 0 333154 38 0 0 20 0 3 0 182265217 527204352 105775 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
/proc/959383/statm: 128712 105775 2990 3032 0 113037 0
[pid=959383/tid=959390] ppid=959380 vsize=514848 memory=423100 CPUtime=3325.47 cores=5,7
/proc/959383/task/959390/stat : 959390 (fscip) R 959380 959383 954227 0 -1 4194368 243969 0 0 0 332520 27 0 0 20 0 3 0 182265858 527204352 105775 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
[pid=959383/tid=959391] ppid=959380 vsize=514848 memory=423100 CPUtime=0.03 cores=5,7
/proc/959383/task/959391/stat : 959391 (fscip) S 959380 959383 954227 0 -1 1077936192 776 0 0 0 0 3 0 0 20 0 3 0 182265861 527204352 105775 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
Current children cumulated CPU time: 3331.92 s
Current children cumulated vsize: 514848 KiB
Current children cumulated memory: 423100 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/262 961201
/proc/meminfo: memFree=124154824/131524600 swapFree=131071996/131071996
[pid=959383] ppid=959380 vsize=514848 memory=439844 CPUtime=3391.76 cores=5,7
/proc/959383/stat : 959383 (fscip) S 959380 959383 954227 0 -1 1077936128 309978 0 0 0 339134 42 0 0 20 0 3 0 182265217 527204352 109961 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
/proc/959383/statm: 128712 109961 2990 3032 0 117654 0
[pid=959383/tid=959390] ppid=959380 vsize=514848 memory=423100 CPUtime=3385.3 cores=5,7
/proc/959383/task/959390/stat : 959390 (fscip) R 959380 959383 954227 0 -1 4194368 269060 0 0 0 338499 31 0 0 20 0 3 0 182265858 527204352 109961 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
[pid=959383/tid=959391] ppid=959380 vsize=514848 memory=439844 CPUtime=0.03 cores=5,7
/proc/959383/task/959391/stat : 959391 (fscip) S 959380 959383 954227 0 -1 1077936192 779 0 0 0 0 3 0 0 20 0 3 0 182265861 527204352 109961 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
Current children cumulated CPU time: 3391.76 s
Current children cumulated vsize: 514848 KiB
Current children cumulated memory: 439844 KiB

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

# cumulated CPU time of all completed processes:  user=3440.76 s, system=0.450734 s

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

[startup+3404.8 s]
/proc/loadavg: 4.12 4.13 4.10 5/262 961202
/proc/meminfo: memFree=124154752/131524600 swapFree=131071996/131071996
[pid=959383] ppid=959380 vsize=514848 memory=439844 CPUtime=3394.25 cores=5,7
/proc/959383/stat : 959383 (fscip) S 959380 959383 954227 0 -1 1077936128 310484 0 0 0 339383 42 0 0 20 0 3 0 182265217 527204352 109961 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
/proc/959383/statm: 128712 109961 2990 3032 0 117654 0
[pid=959383/tid=959390] ppid=959380 vsize=514848 memory=6720659965361078124 CPUtime=3387.79 cores=5,7
/proc/959383/task/959390/stat : 959390 (fscip) R 959380 959383 954227 0 -1 4194368 269558 0 0 0 338748 31 0 0 20 0 3 0 182265858 527204352 109961 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
[pid=959383/tid=959391] ppid=959380 vsize=514848 memory=43644 CPUtime=0.03 cores=5,7
/proc/959383/task/959391/stat : 959391 (fscip) S 959380 959383 954227 0 -1 1077936192 779 0 0 0 0 3 0 0 20 0 3 0 182265861 527204352 109961 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
Current children cumulated CPU time: 3394.25 s
Current children cumulated vsize: 514848 KiB
Current children cumulated memory: 439844 KiB

[startup+3430.4 s]
/proc/loadavg: 4.22 4.16 4.10 5/262 961206
/proc/meminfo: memFree=124154504/131524600 swapFree=131071996/131071996
[pid=959383] ppid=959380 vsize=514848 memory=439932 CPUtime=3419.78 cores=5,7
/proc/959383/stat : 959383 (fscip) S 959380 959383 954227 0 -1 1077936128 317696 0 0 0 341935 43 0 0 20 0 3 0 182265217 527204352 109983 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
/proc/959383/statm: 128712 109983 2990 3032 0 117654 0
[pid=959383/tid=959390] ppid=959380 vsize=514848 memory=423112 CPUtime=3413.32 cores=5,7
/proc/959383/task/959390/stat : 959390 (fscip) R 959380 959383 954227 0 -1 4194368 276766 0 0 0 341300 32 0 0 20 0 3 0 182265858 527204352 109983 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
[pid=959383/tid=959391] ppid=959380 vsize=514848 memory=5468 CPUtime=0.03 cores=5,7
/proc/959383/task/959391/stat : 959391 (fscip) S 959380 959383 954227 0 -1 1077936192 781 0 0 0 0 3 0 0 20 0 3 0 182265861 527204352 109983 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
Current children cumulated CPU time: 3419.78 s
Current children cumulated vsize: 514848 KiB
Current children cumulated memory: 439932 KiB

[startup+3443.2 s]
/proc/loadavg: 4.17 4.15 4.10 5/262 961208
/proc/meminfo: memFree=124077084/131524600 swapFree=131071996/131071996
[pid=959383] ppid=959380 vsize=514848 memory=439988 CPUtime=3432.54 cores=5,7
/proc/959383/stat : 959383 (fscip) S 959380 959383 954227 0 -1 1077936128 319865 0 0 0 343211 43 0 0 20 0 3 0 182265217 527204352 109997 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
/proc/959383/statm: 128712 109997 2990 3032 0 117654 0
[pid=959383/tid=959390] ppid=959380 vsize=514848 memory=439932 CPUtime=3426.08 cores=5,7
/proc/959383/task/959390/stat : 959390 (fscip) R 959380 959383 954227 0 -1 4194368 278935 0 0 0 342576 32 0 0 20 0 3 0 182265858 527204352 109997 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
[pid=959383/tid=959391] ppid=959380 vsize=514848 memory=43644 CPUtime=0.03 cores=5,7
/proc/959383/task/959391/stat : 959391 (fscip) S 959380 959383 954227 0 -1 1077936192 781 0 0 0 0 3 0 0 20 0 3 0 182265861 527204352 109997 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
Current children cumulated CPU time: 3432.54 s
Current children cumulated vsize: 514848 KiB
Current children cumulated memory: 439988 KiB

[startup+3446.4 s]
/proc/loadavg: 4.17 4.15 4.10 5/262 961209
/proc/meminfo: memFree=124077056/131524600 swapFree=131071996/131071996
[pid=959383] ppid=959380 vsize=514848 memory=439988 CPUtime=3435.73 cores=5,7
/proc/959383/stat : 959383 (fscip) S 959380 959383 954227 0 -1 1077936128 320280 0 0 0 343530 43 0 0 20 0 3 0 182265217 527204352 109997 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
/proc/959383/statm: 128712 109997 2990 3032 0 117654 0
[pid=959383/tid=959390] ppid=959380 vsize=514848 memory=5468 CPUtime=3429.27 cores=5,7
/proc/959383/task/959390/stat : 959390 (fscip) R 959380 959383 954227 0 -1 4194368 279350 0 0 0 342895 32 0 0 20 0 3 0 182265858 527204352 109997 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
[pid=959383/tid=959391] ppid=959380 vsize=514848 memory=16156 CPUtime=0.03 cores=5,7
/proc/959383/task/959391/stat : 959391 (fscip) S 959380 959383 954227 0 -1 1077936192 781 0 0 0 0 3 0 0 20 0 3 0 182265861 527204352 109997 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
Current children cumulated CPU time: 3435.73 s
Current children cumulated vsize: 514848 KiB
Current children cumulated memory: 439988 KiB

[startup+3449.6 s]
/proc/loadavg: 4.16 4.14 4.10 5/262 961210
/proc/meminfo: memFree=124077024/131524600 swapFree=131071996/131071996
[pid=959383] ppid=959380 vsize=514848 memory=439988 CPUtime=3438.92 cores=5,7
/proc/959383/stat : 959383 (fscip) S 959380 959383 954227 0 -1 1077936128 320998 0 0 0 343849 43 0 0 20 0 3 0 182265217 527204352 109997 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
/proc/959383/statm: 128712 109997 2990 3032 0 117654 0
[pid=959383/tid=959390] ppid=959380 vsize=514848 memory=43644 CPUtime=3432.46 cores=5,7
/proc/959383/task/959390/stat : 959390 (fscip) R 959380 959383 954227 0 -1 4194368 280068 0 0 0 343214 32 0 0 20 0 3 0 182265858 527204352 109997 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
[pid=959383/tid=959391] ppid=959380 vsize=514848 memory=43644 CPUtime=0.03 cores=5,7
/proc/959383/task/959391/stat : 959391 (fscip) S 959380 959383 954227 0 -1 1077936192 781 0 0 0 0 3 0 0 20 0 3 0 182265861 527204352 109997 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
Current children cumulated CPU time: 3438.92 s
Current children cumulated vsize: 514848 KiB
Current children cumulated memory: 439988 KiB

[startup+3451.2 s]
/proc/loadavg: 4.16 4.14 4.10 5/262 961210
/proc/meminfo: memFree=124077032/131524600 swapFree=131071996/131071996
[pid=959383] ppid=959380 vsize=514848 memory=439988 CPUtime=3440.51 cores=5,7
/proc/959383/stat : 959383 (fscip) S 959380 959383 954227 0 -1 1077936128 321303 0 0 0 344008 43 0 0 20 0 3 0 182265217 527204352 109997 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
/proc/959383/statm: 128712 109997 2990 3032 0 117654 0
[pid=959383/tid=959390] ppid=959380 vsize=514848 memory=43644 CPUtime=3434.05 cores=5,7
/proc/959383/task/959390/stat : 959390 (fscip) R 959380 959383 954227 0 -1 4194368 280373 0 0 0 343373 32 0 0 20 0 3 0 182265858 527204352 109997 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
[pid=959383/tid=959391] ppid=959380 vsize=514848 memory=12420 CPUtime=0.03 cores=5,7
/proc/959383/task/959391/stat : 959391 (fscip) S 959380 959383 954227 0 -1 1077936192 781 0 0 0 0 3 0 0 20 0 3 0 182265861 527204352 109997 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
Current children cumulated CPU time: 3440.51 s
Current children cumulated vsize: 514848 KiB
Current children cumulated memory: 439988 KiB

[startup+3451.6 s]
/proc/loadavg: 4.16 4.14 4.10 5/262 961210
/proc/meminfo: memFree=124077032/131524600 swapFree=131071996/131071996
[pid=959383] ppid=959380 vsize=514848 memory=439988 CPUtime=3440.91 cores=5,7
/proc/959383/stat : 959383 (fscip) S 959380 959383 954227 0 -1 1077936128 321335 0 0 0 344048 43 0 0 20 0 3 0 182265217 527204352 109997 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
/proc/959383/statm: 128712 109997 2990 3032 0 117654 0
[pid=959383/tid=959390] ppid=959380 vsize=514848 memory=439988 CPUtime=3434.45 cores=5,7
/proc/959383/task/959390/stat : 959390 (fscip) R 959380 959383 954227 0 -1 4194368 280405 0 0 0 343413 32 0 0 20 0 3 0 182265858 527204352 109997 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
[pid=959383/tid=959391] ppid=959380 vsize=514848 memory=43644 CPUtime=0.03 cores=5,7
/proc/959383/task/959391/stat : 959391 (fscip) S 959380 959383 954227 0 -1 1077936192 781 0 0 0 0 3 0 0 20 0 3 0 182265861 527204352 109997 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
Current children cumulated CPU time: 3440.91 s
Current children cumulated vsize: 514848 KiB
Current children cumulated memory: 439988 KiB

[startup+3451.8 s]
/proc/loadavg: 4.16 4.14 4.10 5/262 961210
/proc/meminfo: memFree=124077032/131524600 swapFree=131071996/131071996
[pid=959383] ppid=959380 vsize=509664 memory=434812 CPUtime=3441.11 cores=5,7
/proc/959383/stat : 959383 (fscip) S 959380 959383 954227 0 -1 1077936128 321978 0 0 0 344068 43 0 0 20 0 3 0 182265217 521895936 108703 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
/proc/959383/statm: 127416 108703 2990 3032 0 116358 0
[pid=959383/tid=959390] ppid=959380 vsize=509664 memory=439988 CPUtime=3434.65 cores=5,7
/proc/959383/task/959390/stat : 959390 (fscip) R 959380 959383 954227 0 -1 4194368 280979 0 0 0 343433 32 0 0 20 0 3 0 182265858 521895936 108703 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
[pid=959383/tid=959391] ppid=959380 vsize=509664 memory=4880 CPUtime=0.03 cores=5,7
/proc/959383/task/959391/stat : 959391 (fscip) S 959380 959383 954227 0 -1 1077936192 781 0 0 0 0 3 0 0 20 0 3 0 182265861 521895936 108703 134679101440 4194304 16613245 140727308343360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35913728 140727308350484 140727308350600 140727308350600 140727308357616 0
Current children cumulated CPU time: 3441.11 s
Current children cumulated vsize: 509664 KiB
Current children cumulated memory: 434812 KiB

Child status: 0

Real time (s): 3451.88
CPU time (s): 3441.21
CPU user time (s): 3440.76
CPU system time (s): 0.450734
CPU usage (%): 99.6908
Max. virtual memory (cumulated for all children) (KiB): 514848
Max. memory (cumulated for all children) (KiB): 439988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3440.76
system time used= 0.450734
maximum resident set size= 440156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 324430
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= 4107
involuntary context switches= 1215


# summary of solver processes directly reported to runsolver:
#   pid: 959383
#   total CPU time (s): 3441.21
#   total CPU user time (s): 3440.76
#   total CPU system time (s): 0.450734

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.93435 second user time and 16.3158 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2024-07-18 13:10:03
IDJOB=4443020
IDBENCH=147860
IDSOLVER=3064
FILE ID=nodeC026/4443020-1721300990
RUNJOBID= nodeC026-1721293769-954240
SLURM_JOB_ID= 7542600
Free space on /tmp= 889988 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/robin/normalized-robin14.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-4443020-1721300990/watcher-4443020-1721300990 -o /tmp/evaluation-result-4443020-1721300990/solver-4443020-1721300990 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721293769-954240 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4443020-1721300990.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 946fa793c8e40fdbe884453e390b9fbe
RANDOM SEED=1256771643

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127469600 kB
MemAvailable:   128110796 kB
Buffers:          506036 kB
Cached:           972548 kB
SwapCached:            0 kB
Active:          1000476 kB
Inactive:        2441476 kB
Active(anon):       1548 kB
Inactive(anon):  1999532 kB
Active(file):     998928 kB
Inactive(file):   441944 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            126920 kB
Writeback:            72 kB
AnonPages:       1958796 kB
Mapped:           139864 kB
Shmem:             37720 kB
KReclaimable:      80296 kB
Slab:             190696 kB
SReclaimable:      80296 kB
SUnreclaim:       110400 kB
KernelStack:        4080 kB
PageTables:        13440 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    2139076 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            67808 kB
HardwareCorrupted:     0 kB
AnonHugePages:    395264 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:      260820 kB
DirectMap2M:    27824128 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 889960 MiB
End job on nodeC026 at 2024-07-18 14:07:35