Trace number 4464392

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-30SAT 3426.17 3434.98

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464392-1722378607/watcher-4464392-1722378607 -o /tmp/evaluation-result-4464392-1722378607/solver-4464392-1722378607 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722378594-29097 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464392-1722378607.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
Current StackSize limit: 8192 KiB

solver pid=29262, runsolver pid=29259

[startup+0.100957 s]*
/proc/loadavg: 0.72 0.22 0.13 5/252 29263
/proc/meminfo: memFree=124597544/131655788 swapFree=131071996/131071996
[pid=29262] ppid=29259 vsize=55768 memory=44324 CPUtime=0.1 cores=5,7
/proc/29262/stat : 29262 (fscip) R 29259 29262 29084 0 -1 4194304 8777 0 0 0 8 2 0 0 20 0 1 0 4456360 57106432 11081 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
/proc/29262/statm: 13942 11081 2582 3035 0 10338 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 55768 KiB
Current children cumulated memory: 44324 KiB

[startup+0.213512 s]*
/proc/loadavg: 0.72 0.22 0.13 5/252 29263
/proc/meminfo: memFree=124582228/131655788 swapFree=131071996/131071996
[pid=29262] ppid=29259 vsize=69024 memory=57864 CPUtime=0.21 cores=5,7
/proc/29262/stat : 29262 (fscip) R 29259 29262 29084 0 -1 4194304 13819 0 0 0 18 3 0 0 20 0 1 0 4456360 70680576 14466 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
/proc/29262/statm: 17256 14466 2662 3035 0 13652 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 69024 KiB
Current children cumulated memory: 57864 KiB

[startup+0.313371 s]*
/proc/loadavg: 0.72 0.22 0.13 5/252 29263
/proc/meminfo: memFree=124580936/131655788 swapFree=131071996/131071996
[pid=29262] ppid=29259 vsize=64708 memory=53844 CPUtime=0.31 cores=5,7
/proc/29262/stat : 29262 (fscip) R 29259 29262 29084 0 -1 4194304 13826 0 0 0 28 3 0 0 20 0 1 0 4456360 66260992 13461 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
/proc/29262/statm: 16177 13461 2694 3035 0 12573 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 64708 KiB
Current children cumulated memory: 53844 KiB

[startup+0.700314 s]
/proc/loadavg: 0.98 0.28 0.15 5/252 29263
/proc/meminfo: memFree=124544176/131655788 swapFree=131071996/131071996
[pid=29262] ppid=29259 vsize=132892 memory=112632 CPUtime=0.69 cores=5,7
/proc/29262/stat : 29262 (fscip) R 29259 29262 29084 0 -1 4194304 22558 0 0 0 63 6 0 0 20 0 1 0 4456360 136081408 28158 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
/proc/29262/statm: 33223 28158 2742 3035 0 29619 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 132892 KiB
Current children cumulated memory: 112632 KiB

[startup+1.50028 s]
/proc/loadavg: 0.98 0.28 0.15 5/252 29263
/proc/meminfo: memFree=124467208/131655788 swapFree=131071996/131071996
[pid=29262] ppid=29259 vsize=205368 memory=160440 CPUtime=1.48 cores=5,7
/proc/29262/stat : 29262 (fscip) R 29259 29262 29084 0 -1 4194304 33956 0 0 0 140 8 0 0 20 0 1 0 4456360 210296832 40110 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
/proc/29262/statm: 51342 40110 2774 3035 0 47738 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 205368 KiB
Current children cumulated memory: 160440 KiB

[startup+3.11288 s]
/proc/loadavg: 0.98 0.28 0.15 5/252 29263
/proc/meminfo: memFree=124459464/131655788 swapFree=131071996/131071996
[pid=29262] ppid=29259 vsize=207884 memory=162808 CPUtime=3.09 cores=5,7
/proc/29262/stat : 29262 (fscip) R 29259 29262 29084 0 -1 4194304 34584 0 0 0 301 8 0 0 20 0 1 0 4456360 212873216 40702 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
/proc/29262/statm: 51971 40702 2774 3035 0 48367 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 207884 KiB
Current children cumulated memory: 162808 KiB

[startup+6.30026 s]
/proc/loadavg: 1.22 0.34 0.17 5/250 29309
/proc/meminfo: memFree=124519904/131655788 swapFree=131071996/131071996
[pid=29262] ppid=29259 vsize=212920 memory=167808 CPUtime=6.27 cores=5,7
/proc/29262/stat : 29262 (fscip) R 29259 29262 29084 0 -1 4194304 35803 0 0 0 618 9 0 0 20 0 1 0 4456360 218030080 41952 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
/proc/29262/statm: 53230 41952 2774 3035 0 49626 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 212920 KiB
Current children cumulated memory: 167808 KiB

[startup+12.701 s]
/proc/loadavg: 1.45 0.41 0.20 5/252 29313
/proc/meminfo: memFree=124252888/131655788 swapFree=131071996/131071996
[pid=29262] ppid=29259 vsize=312772 memory=245420 CPUtime=12.61 cores=5,7
/proc/29262/stat : 29262 (fscip) S 29259 29262 29084 0 -1 1077936128 75122 0 0 0 1246 15 0 0 20 0 3 0 4456360 320278528 61355 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
/proc/29262/statm: 78193 61355 2806 3035 0 73880 0
[pid=29262/tid=29312] ppid=29259 vsize=312772 memory=241368 CPUtime=5.61 cores=5,7
/proc/29262/task/29312/stat : 29312 (fscip) R 29259 29262 29084 0 -1 4194368 34899 0 0 0 556 5 0 0 20 0 3 0 4457060 320278528 61355 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
[pid=29262/tid=29313] ppid=29259 vsize=312772 memory=245380 CPUtime=0 cores=5,7
/proc/29262/task/29313/stat : 29313 (fscip) S 29259 29262 29084 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4457065 320278528 61355 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 312772 KiB
Current children cumulated memory: 245420 KiB

[startup+25.5004 s]
/proc/loadavg: 1.92 0.54 0.24 5/256 29375
/proc/meminfo: memFree=124157456/131655788 swapFree=131071996/131071996
[pid=29262] ppid=29259 vsize=378460 memory=266520 CPUtime=25.36 cores=5,7
/proc/29262/stat : 29262 (fscip) S 29259 29262 29084 0 -1 1077936128 95965 0 0 0 2518 18 0 0 20 0 3 0 4456360 387543040 66630 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
/proc/29262/statm: 94615 66630 2950 3035 0 79150 0
[pid=29262/tid=29312] ppid=29259 vsize=378460 memory=266260 CPUtime=18.37 cores=5,7
/proc/29262/task/29312/stat : 29312 (fscip) R 29259 29262 29084 0 -1 4194368 55717 0 0 0 1829 8 0 0 20 0 3 0 4457060 387543040 66630 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
[pid=29262/tid=29313] ppid=29259 vsize=378460 memory=266408 CPUtime=0 cores=5,7
/proc/29262/task/29313/stat : 29313 (fscip) S 29259 29262 29084 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 4457065 387543040 66630 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 378460 KiB
Current children cumulated memory: 266520 KiB

[startup+51.1133 s]
/proc/loadavg: 2.79 0.89 0.37 5/256 29381
/proc/meminfo: memFree=123907744/131655788 swapFree=131071996/131071996
[pid=29262] ppid=29259 vsize=378460 memory=266552 CPUtime=50.91 cores=5,7
/proc/29262/stat : 29262 (fscip) S 29259 29262 29084 0 -1 1077936128 98581 0 0 0 5073 18 0 0 20 0 3 0 4456360 387543040 66638 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
/proc/29262/statm: 94615 66638 2950 3035 0 79150 0
[pid=29262/tid=29312] ppid=29259 vsize=378460 memory=266528 CPUtime=43.91 cores=5,7
/proc/29262/task/29312/stat : 29312 (fscip) R 29259 29262 29084 0 -1 4194368 58312 0 0 0 4383 8 0 0 20 0 3 0 4457060 387543040 66638 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
[pid=29262/tid=29313] ppid=29259 vsize=378460 memory=266528 CPUtime=0 cores=5,7
/proc/29262/task/29313/stat : 29313 (fscip) S 29259 29262 29084 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 3 0 4457065 387543040 66638 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 378460 KiB
Current children cumulated memory: 266552 KiB

[startup+102.3 s]
/proc/loadavg: 3.53 1.39 0.57 5/259 29395
/proc/meminfo: memFree=123889292/131655788 swapFree=131071996/131071996
[pid=29262] ppid=29259 vsize=378460 memory=266564 CPUtime=101.98 cores=5,7
/proc/29262/stat : 29262 (fscip) S 29259 29262 29084 0 -1 1077936128 101228 0 0 0 10179 19 0 0 20 0 3 0 4456360 387543040 66641 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
/proc/29262/statm: 94615 66641 2950 3035 0 79150 0
[pid=29262/tid=29312] ppid=29259 vsize=378460 memory=11352 CPUtime=94.99 cores=5,7
/proc/29262/task/29312/stat : 29312 (fscip) R 29259 29262 29084 0 -1 4194368 60938 0 0 0 9490 9 0 0 20 0 3 0 4457060 387543040 66641 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
[pid=29262/tid=29313] ppid=29259 vsize=378460 memory=266556 CPUtime=0 cores=5,7
/proc/29262/task/29313/stat : 29313 (fscip) S 29259 29262 29084 0 -1 1077936192 75 0 0 0 0 0 0 0 20 0 3 0 4457065 387543040 66641 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 378460 KiB
Current children cumulated memory: 266564 KiB

[startup+162.3 s]
/proc/loadavg: 3.90 1.88 0.79 5/259 29407
/proc/meminfo: memFree=123875104/131655788 swapFree=131071996/131071996
[pid=29262] ppid=29259 vsize=378460 memory=266580 CPUtime=161.83 cores=5,7
/proc/29262/stat : 29262 (fscip) S 29259 29262 29084 0 -1 1077936128 102980 0 0 0 16164 19 0 0 20 0 3 0 4456360 387543040 66645 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
/proc/29262/statm: 94615 66645 2950 3035 0 79150 0
[pid=29262/tid=29312] ppid=29259 vsize=378460 memory=266576 CPUtime=154.84 cores=5,7
/proc/29262/task/29312/stat : 29312 (fscip) R 29259 29262 29084 0 -1 4194368 62676 0 0 0 15475 9 0 0 20 0 3 0 4457060 387543040 66645 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
[pid=29262/tid=29313] ppid=29259 vsize=378460 memory=16640 CPUtime=0 cores=5,7
/proc/29262/task/29313/stat : 29313 (fscip) S 29259 29262 29084 0 -1 1077936192 89 0 0 0 0 0 0 0 20 0 3 0 4457065 387543040 66645 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 378460 KiB
Current children cumulated memory: 266580 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 2.28 1.00 5/259 29418
/proc/meminfo: memFree=123806920/131655788 swapFree=131071996/131071996
[pid=29262] ppid=29259 vsize=378460 memory=266592 CPUtime=221.68 cores=5,7
/proc/29262/stat : 29262 (fscip) S 29259 29262 29084 0 -1 1077936128 104828 0 0 0 22149 19 0 0 20 0 3 0 4456360 387543040 66648 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
/proc/29262/statm: 94615 66648 2950 3035 0 79150 0
[pid=29262/tid=29312] ppid=29259 vsize=378460 memory=266584 CPUtime=214.69 cores=5,7
/proc/29262/task/29312/stat : 29312 (fscip) R 29259 29262 29084 0 -1 4194368 64510 0 0 0 21460 9 0 0 20 0 3 0 4457060 387543040 66648 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
[pid=29262/tid=29313] ppid=29259 vsize=378460 memory=11352 CPUtime=0 cores=5,7
/proc/29262/task/29313/stat : 29313 (fscip) S 29259 29262 29084 0 -1 1077936192 103 0 0 0 0 0 0 0 20 0 3 0 4457065 387543040 66648 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 378460 KiB
Current children cumulated memory: 266592 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 2.63 1.20 5/257 29428
/proc/meminfo: memFree=123792948/131655788 swapFree=131071996/131071996
[pid=29262] ppid=29259 vsize=378460 memory=266592 CPUtime=281.54 cores=5,7
/proc/29262/stat : 29262 (fscip) S 29259 29262 29084 0 -1 1077936128 106596 0 0 0 28134 20 0 0 20 0 3 0 4456360 387543040 66648 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
/proc/29262/statm: 94615 66648 2950 3035 0 79150 0
[pid=29262/tid=29312] ppid=29259 vsize=378460 memory=266592 CPUtime=274.55 cores=5,7
/proc/29262/task/29312/stat : 29312 (fscip) R 29259 29262 29084 0 -1 4194368 66264 0 0 0 27445 10 0 0 20 0 3 0 4457060 387543040 66648 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
[pid=29262/tid=29313] ppid=29259 vsize=378460 memory=266592 CPUtime=0 cores=5,7
/proc/29262/task/29313/stat : 29313 (fscip) S 29259 29262 29084 0 -1 1077936192 117 0 0 0 0 0 0 0 20 0 3 0 4457065 387543040 66648 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 378460 KiB

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

[pid=29262] ppid=29259 vsize=514876 memory=424840 CPUtime=3333.74 cores=5,7
/proc/29262/stat : 29262 (fscip) S 29259 29262 29084 0 -1 1077936128 251461 0 0 0 333316 58 0 0 20 0 3 0 4456360 527233024 106210 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
/proc/29262/statm: 128719 106210 3014 3035 0 113040 0
[pid=29262/tid=29312] ppid=29259 vsize=514876 memory=12220 CPUtime=3326.67 cores=5,7
/proc/29262/task/29312/stat : 29312 (fscip) R 29259 29262 29084 0 -1 4194368 210536 0 0 0 332625 42 0 0 20 0 3 0 4457060 527233024 106210 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
[pid=29262/tid=29313] ppid=29259 vsize=514876 memory=11352 CPUtime=0.05 cores=5,7
/proc/29262/task/29313/stat : 29313 (fscip) S 29259 29262 29084 0 -1 1077936192 659 0 0 0 1 4 0 0 20 0 3 0 4457065 527233024 106210 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
Current children cumulated CPU time: 3333.74 s
Current children cumulated vsize: 514876 KiB
Current children cumulated memory: 424840 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.13 4.06 5/251 31013
/proc/meminfo: memFree=120634668/131655788 swapFree=131071996/131071996
[pid=29262] ppid=29259 vsize=514876 memory=443580 CPUtime=3393.58 cores=5,7
/proc/29262/stat : 29262 (fscip) S 29259 29262 29084 0 -1 1077936128 276300 0 0 0 339296 62 0 0 20 0 3 0 4456360 527233024 110895 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
/proc/29262/statm: 128719 110895 3014 3035 0 117620 0
[pid=29262/tid=29312] ppid=29259 vsize=514876 memory=441396 CPUtime=3386.5 cores=5,7
/proc/29262/task/29312/stat : 29312 (fscip) R 29259 29262 29084 0 -1 4194368 235363 0 0 0 338605 45 0 0 20 0 3 0 4457060 527233024 110895 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
[pid=29262/tid=29313] ppid=29259 vsize=514876 memory=441564 CPUtime=0.05 cores=5,7
/proc/29262/task/29313/stat : 29313 (fscip) S 29259 29262 29084 0 -1 1077936192 661 0 0 0 1 4 0 0 20 0 3 0 4457065 527233024 110895 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
Current children cumulated CPU time: 3393.58 s
Current children cumulated vsize: 514876 KiB
Current children cumulated memory: 443580 KiB

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

# cumulated CPU time of all completed processes:  user=3425.52 s, system=0.65668 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.06 5/251 31013
/proc/meminfo: memFree=120634712/131655788 swapFree=131071996/131071996
[pid=29262] ppid=29259 vsize=514876 memory=443580 CPUtime=3396.08 cores=5,7
/proc/29262/stat : 29262 (fscip) S 29259 29262 29084 0 -1 1077936128 276375 0 0 0 339546 62 0 0 20 0 3 0 4456360 527233024 110895 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
/proc/29262/statm: 128719 110895 3014 3035 0 117620 0
[pid=29262/tid=29312] ppid=29259 vsize=514876 memory=2248 CPUtime=3388.99 cores=5,7
/proc/29262/task/29312/stat : 29312 (fscip) R 29259 29262 29084 0 -1 4194368 235438 0 0 0 338854 45 0 0 20 0 3 0 4457060 527233024 110895 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
[pid=29262/tid=29313] ppid=29259 vsize=514876 memory=441396 CPUtime=0.05 cores=5,7
/proc/29262/task/29313/stat : 29313 (fscip) S 29259 29262 29084 0 -1 1077936192 661 0 0 0 1 4 0 0 20 0 3 0 4457065 527233024 110895 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
Current children cumulated CPU time: 3396.08 s
Current children cumulated vsize: 514876 KiB
Current children cumulated memory: 443580 KiB

[startup+3417.6 s]
/proc/loadavg: 4.09 4.12 4.06 5/251 31017
/proc/meminfo: memFree=120633896/131655788 swapFree=131071996/131071996
[pid=29262] ppid=29259 vsize=514876 memory=444428 CPUtime=3408.84 cores=5,7
/proc/29262/stat : 29262 (fscip) S 29259 29262 29084 0 -1 1077936128 283453 0 0 0 340821 63 0 0 20 0 3 0 4456360 527233024 111107 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
/proc/29262/statm: 128719 111107 3046 3035 0 117620 0
[pid=29262/tid=29312] ppid=29259 vsize=514876 memory=12220 CPUtime=3401.76 cores=5,7
/proc/29262/task/29312/stat : 29312 (fscip) R 29259 29262 29084 0 -1 4194368 242511 0 0 0 340130 46 0 0 20 0 3 0 4457060 527233024 111107 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
[pid=29262/tid=29313] ppid=29259 vsize=514876 memory=16744 CPUtime=0.05 cores=5,7
/proc/29262/task/29313/stat : 29313 (fscip) S 29259 29262 29084 0 -1 1077936192 661 0 0 0 1 4 0 0 20 0 3 0 4457065 527233024 111107 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
Current children cumulated CPU time: 3408.84 s
Current children cumulated vsize: 514876 KiB
Current children cumulated memory: 444428 KiB

[startup+3424 s]*
/proc/loadavg: 4.16 4.14 4.07 5/251 31017
/proc/meminfo: memFree=120633376/131655788 swapFree=131071996/131071996
[pid=29262] ppid=29259 vsize=514876 memory=444824 CPUtime=3415.23 cores=5,7
/proc/29262/stat : 29262 (fscip) S 29259 29262 29084 0 -1 1077936128 284620 0 0 0 341460 63 0 0 20 0 3 0 4456360 527233024 111206 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
/proc/29262/statm: 128719 111206 3046 3035 0 117620 0
[pid=29262/tid=29312] ppid=29259 vsize=514876 memory=-7308334511900681085 CPUtime=3408.15 cores=5,7
/proc/29262/task/29312/stat : 29312 (fscip) R 29259 29262 29084 0 -1 4194368 243678 0 0 0 340769 46 0 0 20 0 3 0 4457060 527233024 111206 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
[pid=29262/tid=29313] ppid=29259 vsize=514876 memory=4788334228063022751 CPUtime=0.05 cores=5,7
/proc/29262/task/29313/stat : 29313 (fscip) S 29259 29262 29084 0 -1 1077936192 661 0 0 0 1 4 0 0 20 0 3 0 4457065 527233024 111206 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
Current children cumulated CPU time: 3415.23 s
Current children cumulated vsize: 514876 KiB
Current children cumulated memory: 444824 KiB

[startup+3430.4 s]
/proc/loadavg: 4.15 4.13 4.07 5/251 31018
/proc/meminfo: memFree=120633296/131655788 swapFree=131071996/131071996
[pid=29262] ppid=29259 vsize=514876 memory=444824 CPUtime=3421.6 cores=5,7
/proc/29262/stat : 29262 (fscip) S 29259 29262 29084 0 -1 1077936128 285905 0 0 0 342097 63 0 0 20 0 3 0 4456360 527233024 111206 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
/proc/29262/statm: 128719 111206 3046 3035 0 117620 0
[pid=29262/tid=29312] ppid=29259 vsize=514876 memory=16084 CPUtime=3414.52 cores=5,7
/proc/29262/task/29312/stat : 29312 (fscip) R 29259 29262 29084 0 -1 4194368 244963 0 0 0 341406 46 0 0 20 0 3 0 4457060 527233024 111206 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
[pid=29262/tid=29313] ppid=29259 vsize=514876 memory=16744 CPUtime=0.05 cores=5,7
/proc/29262/task/29313/stat : 29313 (fscip) S 29259 29262 29084 0 -1 1077936192 661 0 0 0 1 4 0 0 20 0 3 0 4457065 527233024 111206 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
Current children cumulated CPU time: 3421.6 s
Current children cumulated vsize: 514876 KiB
Current children cumulated memory: 444824 KiB

[startup+3432 s]*
/proc/loadavg: 4.14 4.13 4.07 5/251 31018
/proc/meminfo: memFree=120633296/131655788 swapFree=131071996/131071996
[pid=29262] ppid=29259 vsize=514876 memory=444824 CPUtime=3423.21 cores=5,7
/proc/29262/stat : 29262 (fscip) S 29259 29262 29084 0 -1 1077936128 286251 0 0 0 342258 63 0 0 20 0 3 0 4456360 527233024 111206 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
/proc/29262/statm: 128719 111206 3046 3035 0 117620 0
[pid=29262/tid=29312] ppid=29259 vsize=514876 memory=477128 CPUtime=3416.13 cores=5,7
/proc/29262/task/29312/stat : 29312 (fscip) R 29259 29262 29084 0 -1 4194368 245309 0 0 0 341566 47 0 0 20 0 3 0 4457060 527233024 111206 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
[pid=29262/tid=29313] ppid=29259 vsize=514876 memory=2728 CPUtime=0.05 cores=5,7
/proc/29262/task/29313/stat : 29313 (fscip) S 29259 29262 29084 0 -1 1077936192 661 0 0 0 1 4 0 0 20 0 3 0 4457065 527233024 111206 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
Current children cumulated CPU time: 3423.21 s
Current children cumulated vsize: 514876 KiB
Current children cumulated memory: 444824 KiB

[startup+3433.6 s]
/proc/loadavg: 4.14 4.13 4.07 5/251 31018
/proc/meminfo: memFree=120633164/131655788 swapFree=131071996/131071996
[pid=29262] ppid=29259 vsize=514876 memory=444824 CPUtime=3424.79 cores=5,7
/proc/29262/stat : 29262 (fscip) S 29259 29262 29084 0 -1 1077936128 286562 0 0 0 342416 63 0 0 20 0 3 0 4456360 527233024 111206 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
/proc/29262/statm: 128719 111206 3046 3035 0 117620 0
[pid=29262/tid=29312] ppid=29259 vsize=514876 memory=444824 CPUtime=3417.71 cores=5,7
/proc/29262/task/29312/stat : 29312 (fscip) R 29259 29262 29084 0 -1 4194368 245620 0 0 0 341724 47 0 0 20 0 3 0 4457060 527233024 111206 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
[pid=29262/tid=29313] ppid=29259 vsize=514876 memory=11352 CPUtime=0.05 cores=5,7
/proc/29262/task/29313/stat : 29313 (fscip) S 29259 29262 29084 0 -1 1077936192 661 0 0 0 1 4 0 0 20 0 3 0 4457065 527233024 111206 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
Current children cumulated CPU time: 3424.79 s
Current children cumulated vsize: 514876 KiB
Current children cumulated memory: 444824 KiB

[startup+3434.4 s]
/proc/loadavg: 4.14 4.13 4.07 5/251 31018
/proc/meminfo: memFree=120633292/131655788 swapFree=131071996/131071996
[pid=29262] ppid=29259 vsize=514876 memory=444824 CPUtime=3425.59 cores=5,7
/proc/29262/stat : 29262 (fscip) S 29259 29262 29084 0 -1 1077936128 286793 0 0 0 342495 64 0 0 20 0 3 0 4456360 527233024 111206 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
/proc/29262/statm: 128719 111206 3046 3035 0 117620 0
[pid=29262/tid=29312] ppid=29259 vsize=514876 memory=444824 CPUtime=3418.51 cores=5,7
/proc/29262/task/29312/stat : 29312 (fscip) R 29259 29262 29084 0 -1 4194368 245851 0 0 0 341804 47 0 0 20 0 3 0 4457060 527233024 111206 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
[pid=29262/tid=29313] ppid=29259 vsize=514876 memory=0 CPUtime=0.05 cores=5,7
/proc/29262/task/29313/stat : 29313 (fscip) S 29259 29262 29084 0 -1 1077936192 661 0 0 0 1 4 0 0 20 0 3 0 4457065 527233024 111206 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
Current children cumulated CPU time: 3425.59 s
Current children cumulated vsize: 514876 KiB
Current children cumulated memory: 444824 KiB

[startup+3434.8 s]
/proc/loadavg: 4.14 4.13 4.07 5/251 31018
/proc/meminfo: memFree=120633292/131655788 swapFree=131071996/131071996
[pid=29262] ppid=29259 vsize=514876 memory=444824 CPUtime=3425.99 cores=5,7
/proc/29262/stat : 29262 (fscip) S 29259 29262 29084 0 -1 1077936128 286858 0 0 0 342535 64 0 0 20 0 3 0 4456360 527233024 111206 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
/proc/29262/statm: 128719 111206 3046 3035 0 117620 0
[pid=29262/tid=29312] ppid=29259 vsize=514876 memory=3470 CPUtime=3418.91 cores=5,7
/proc/29262/task/29312/stat : 29312 (fscip) R 29259 29262 29084 0 -1 4194368 245916 0 0 0 341844 47 0 0 20 0 3 0 4457060 527233024 111206 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
[pid=29262/tid=29313] ppid=29259 vsize=514876 memory=27007 CPUtime=0.05 cores=5,7
/proc/29262/task/29313/stat : 29313 (fscip) S 29259 29262 29084 0 -1 1077936192 661 0 0 0 1 4 0 0 20 0 3 0 4457065 527233024 111206 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
Current children cumulated CPU time: 3425.99 s
Current children cumulated vsize: 514876 KiB
Current children cumulated memory: 444824 KiB

[startup+3434.92 s]
/proc/loadavg: 4.14 4.13 4.07 5/251 31018
/proc/meminfo: memFree=120633292/131655788 swapFree=131071996/131071996
[pid=29262] ppid=29259 vsize=509688 memory=438796 CPUtime=3426.11 cores=5,7
/proc/29262/stat : 29262 (fscip) R 29259 29262 29084 0 -1 4194304 288444 0 0 0 342547 64 0 0 20 0 2 0 4456360 521920512 109699 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
/proc/29262/statm: 127422 109699 3046 3035 0 116323 0
[pid=29262/tid=29313] ppid=29259 vsize=509688 memory=444824 CPUtime=0.05 cores=5,7
/proc/29262/task/29313/stat : 29313 (fscip) S 29259 29262 29084 0 -1 1077936192 661 0 0 0 1 4 0 0 20 0 2 0 4457065 521920512 109699 134679101440 4194304 16623229 140721788743408 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27258880 140721788748822 140721788748938 140721788748938 140721788755952 0
Current children cumulated CPU time: 3426.11 s
Current children cumulated vsize: 509688 KiB
Current children cumulated memory: 438796 KiB

Child status: 0

Real time (s): 3434.98
CPU time (s): 3426.17
CPU user time (s): 3425.52
CPU system time (s): 0.65668
CPU usage (%): 99.7437
Max. virtual memory (cumulated for all children) (KiB): 514876
Max. memory (cumulated for all children) (KiB): 444824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3425.52
system time used= 0.65668
maximum resident set size= 444824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 288648
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= 4091
involuntary context switches= 1297


# summary of solver processes directly reported to runsolver:
#   pid: 29262
#   total CPU time (s): 3426.17
#   total CPU user time (s): 3425.52
#   total CPU system time (s): 0.65668

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6533 second user time and 33.216 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2024-07-31 00:30:07
IDJOB=4464392
IDBENCH=147860
IDSOLVER=3092
FILE ID=nodeC002/4464392-1722378607
RUNJOBID= nodeC002-1722378594-29097
SLURM_JOB_ID= 8249832
Free space on /tmp= 723696 MiB

SOLVER NAME= FiberSCIP 2024-07-30
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-4464392-1722378607/watcher-4464392-1722378607 -o /tmp/evaluation-result-4464392-1722378607/solver-4464392-1722378607 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722378594-29097 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464392-1722378607.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 946fa793c8e40fdbe884453e390b9fbe
RANDOM SEED=1453536771

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        124627844 kB
MemAvailable:   129439060 kB
Buffers:           91260 kB
Cached:          5510292 kB
SwapCached:            0 kB
Active:           255536 kB
Inactive:        6223972 kB
Active(anon):       1908 kB
Inactive(anon):   905564 kB
Active(file):     253628 kB
Inactive(file):  5318408 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            116620 kB
Writeback:            16 kB
AnonPages:        877692 kB
Mapped:           127952 kB
Shmem:             29512 kB
KReclaimable:     158424 kB
Slab:             242604 kB
SReclaimable:     158424 kB
SUnreclaim:        84180 kB
KernelStack:        4048 kB
PageTables:        10848 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     961712 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             6944 kB
HardwareCorrupted:     0 kB
AnonHugePages:    247808 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:      224072 kB
DirectMap2M:    19603456 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 723656 MiB
End job on nodeC002 at 2024-07-31 01:27:23