Trace number 3693496

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixedOPT24 31.0783 31.0916

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_019_area_delay.opb
MD5SUM0b594d74f3df9901bfa97fac996b1847
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark4.22336
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved YES
Number of variables7437
Total number of constraints23270
Number of constraints which are clauses23270
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 3612
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 3612
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 3612
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

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

Verifier Data 

OK	24

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3693496-1338035046/watcher-3693496-1338035046 -o /tmp/evaluation-result-3693496-1338035046/solver-3693496-1338035046 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693496-1338035046.opb -t 1800 -m 15500 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8847
/proc/meminfo: memFree=28105988/32873844 swapFree=7616/7616
[pid=8847] ppid=8845 vsize=10716 CPUtime=0 cores=1,3,5,7
/proc/8847/stat : 8847 (scip-2.1.1.4sfi) R 8845 8847 6477 0 -1 4202496 1416 0 0 0 0 0 0 0 20 0 1 0 269628967 10973184 1371 33554432000 4194304 10169799 140737321182192 140733865735784 7543003 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8847/statm: 2679 1374 403 1459 0 1211 0

[startup+0.00869511 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8847
/proc/meminfo: memFree=28105988/32873844 swapFree=7616/7616
[pid=8847] ppid=8845 vsize=12612 CPUtime=0 cores=1,3,5,7
/proc/8847/stat : 8847 (scip-2.1.1.4sfi) R 8845 8847 6477 0 -1 4202496 1889 0 0 0 0 0 0 0 20 0 1 0 269628967 12914688 1844 33554432000 4194304 10169799 140737321182192 140733865735784 9174538 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8847/statm: 3153 1844 403 1459 0 1685 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12612

[startup+0.100264 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8847
/proc/meminfo: memFree=28105988/32873844 swapFree=7616/7616
[pid=8847] ppid=8845 vsize=43748 CPUtime=0.09 cores=1,3,5,7
/proc/8847/stat : 8847 (scip-2.1.1.4sfi) R 8845 8847 6477 0 -1 4202496 9348 0 0 0 8 1 0 0 20 0 1 0 269628967 44797952 9304 33554432000 4194304 10169799 140737321182192 140737321048520 8844157 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8847/statm: 10937 9324 497 1459 0 9469 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43748

[startup+0.300274 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8847
/proc/meminfo: memFree=28105988/32873844 swapFree=7616/7616
[pid=8847] ppid=8845 vsize=65264 CPUtime=0.29 cores=1,3,5,7
/proc/8847/stat : 8847 (scip-2.1.1.4sfi) R 8845 8847 6477 0 -1 4202496 15332 0 0 0 26 3 0 0 20 0 1 0 269628967 66830336 14662 33554432000 4194304 10169799 140737321182192 140737321048520 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8847/statm: 16316 14662 566 1459 0 14848 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 65264

[startup+0.700285 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8847
/proc/meminfo: memFree=28105988/32873844 swapFree=7616/7616
[pid=8847] ppid=8845 vsize=92448 CPUtime=0.69 cores=1,3,5,7
/proc/8847/stat : 8847 (scip-2.1.1.4sfi) R 8845 8847 6477 0 -1 4202496 22881 0 0 0 64 5 0 0 20 0 1 0 269628967 94666752 21535 33554432000 4194304 10169799 140737321182192 140737321048520 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8847/statm: 23112 21535 788 1459 0 21644 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 92448

[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8848
/proc/meminfo: memFree=28022024/32873844 swapFree=7616/7616
[pid=8847] ppid=8845 vsize=103540 CPUtime=1.49 cores=1,3,5,7
/proc/8847/stat : 8847 (scip-2.1.1.4sfi) R 8845 8847 6477 0 -1 4202496 25502 0 0 0 142 7 0 0 20 0 1 0 269628967 106024960 24096 33554432000 4194304 10169799 140737321182192 140737321176968 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8847/statm: 25885 24096 810 1459 0 24417 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 103540

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8848
/proc/meminfo: memFree=28011236/32873844 swapFree=7616/7616
[pid=8847] ppid=8845 vsize=104668 CPUtime=3.09 cores=1,3,5,7
/proc/8847/stat : 8847 (scip-2.1.1.4sfi) R 8845 8847 6477 0 -1 4202496 25902 0 0 0 301 8 0 0 20 0 1 0 269628967 107180032 24590 33554432000 4194304 10169799 140737321182192 140737321178184 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8847/statm: 26167 24590 811 1459 0 24699 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 104668

[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8848
/proc/meminfo: memFree=28009060/32873844 swapFree=7616/7616
[pid=8847] ppid=8845 vsize=107332 CPUtime=6.29 cores=1,3,5,7
/proc/8847/stat : 8847 (scip-2.1.1.4sfi) R 8845 8847 6477 0 -1 4202496 26464 0 0 0 619 10 0 0 20 0 1 0 269628967 109907968 25143 33554432000 4194304 10169799 140737321182192 140737321178216 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8847/statm: 26833 25143 811 1459 0 25365 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 107332

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8848
/proc/meminfo: memFree=27997156/32873844 swapFree=7616/7616
[pid=8847] ppid=8845 vsize=115480 CPUtime=12.69 cores=1,3,5,7
/proc/8847/stat : 8847 (scip-2.1.1.4sfi) R 8845 8847 6477 0 -1 4202496 28789 0 0 0 1255 14 0 0 20 0 1 0 269628967 118251520 27466 33554432000 4194304 10169799 140737321182192 140737321178232 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8847/statm: 28870 27466 811 1459 0 27402 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 115480

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8848
/proc/meminfo: memFree=27992360/32873844 swapFree=7616/7616
[pid=8847] ppid=8845 vsize=117344 CPUtime=25.48 cores=1,3,5,7
/proc/8847/stat : 8847 (scip-2.1.1.4sfi) R 8845 8847 6477 0 -1 4202496 36645 0 0 0 2525 23 0 0 20 0 1 0 269628967 120160256 28041 33554432000 4194304 10169799 140737321182192 140737321177176 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8847/statm: 29336 28041 860 1459 0 27868 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 117344

Solver just ended. Dumping a history of the last processes samples

[startup+25.6003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8848
/proc/meminfo: memFree=27992360/32873844 swapFree=7616/7616
[pid=8847] ppid=8845 vsize=117344 CPUtime=25.58 cores=1,3,5,7
/proc/8847/stat : 8847 (scip-2.1.1.4sfi) R 8845 8847 6477 0 -1 4202496 36646 0 0 0 2535 23 0 0 20 0 1 0 269628967 120160256 28042 33554432000 4194304 10169799 140737321182192 140737321177176 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8847/statm: 29336 28042 860 1459 0 27868 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 117344

[startup+28.8003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8848
/proc/meminfo: memFree=27992732/32873844 swapFree=7616/7616
[pid=8847] ppid=8845 vsize=117344 CPUtime=28.77 cores=1,3,5,7
/proc/8847/stat : 8847 (scip-2.1.1.4sfi) R 8845 8847 6477 0 -1 4202496 36727 0 0 0 2853 24 0 0 20 0 1 0 269628967 120160256 28123 33554432000 4194304 10169799 140737321182192 140737321177176 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8847/statm: 29336 28123 860 1459 0 27868 0
Current children cumulated CPU time (s) 28.77
Current children cumulated vsize (KiB) 117344

[startup+30.4003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8848
/proc/meminfo: memFree=27995584/32873844 swapFree=7616/7616
[pid=8847] ppid=8845 vsize=117492 CPUtime=30.38 cores=1,3,5,7
/proc/8847/stat : 8847 (scip-2.1.1.4sfi) R 8845 8847 6477 0 -1 4202496 36750 0 0 0 3012 26 0 0 20 0 1 0 269628967 120311808 28146 33554432000 4194304 10169799 140737321182192 140737321177176 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8847/statm: 29373 28146 860 1459 0 27905 0
Current children cumulated CPU time (s) 30.38
Current children cumulated vsize (KiB) 117492

[startup+30.8003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8848
/proc/meminfo: memFree=27995460/32873844 swapFree=7616/7616
[pid=8847] ppid=8845 vsize=117492 CPUtime=30.79 cores=1,3,5,7
/proc/8847/stat : 8847 (scip-2.1.1.4sfi) R 8845 8847 6477 0 -1 4202496 36753 0 0 0 3053 26 0 0 20 0 1 0 269628967 120311808 28149 33554432000 4194304 10169799 140737321182192 140737321177176 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8847/statm: 29373 28149 860 1459 0 27905 0
Current children cumulated CPU time (s) 30.79
Current children cumulated vsize (KiB) 117492

[startup+31.0003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8848
/proc/meminfo: memFree=27995460/32873844 swapFree=7616/7616
[pid=8847] ppid=8845 vsize=117492 CPUtime=30.98 cores=1,3,5,7
/proc/8847/stat : 8847 (scip-2.1.1.4sfi) R 8845 8847 6477 0 -1 4202496 36753 0 0 0 3072 26 0 0 20 0 1 0 269628967 120311808 28149 33554432000 4194304 10169799 140737321182192 140737321177176 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8847/statm: 29373 28149 860 1459 0 27905 0
Current children cumulated CPU time (s) 30.98
Current children cumulated vsize (KiB) 117492

Child status: 0
Real time (s): 31.0916
CPU time (s): 31.0783
CPU user time (s): 30.8093
CPU system time (s): 0.268959
CPU usage (%): 99.957
Max. virtual memory (cumulated for all children) (KiB): 146152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.8093
system time used= 0.268959
maximum resident set size= 139596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36787
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= 22
involuntary context switches= 33

runsolver used 0.045993 second user time and 0.141978 second system time

The end

Launcher Data 

Begin job on node141 at 2012-05-26 14:24:06
IDJOB=3693496
IDBENCH=24984
IDSOLVER=2272
FILE ID=node141/3693496-1338035046
RUNJOBID= node141-1338029496-8082
PBS_JOBID= 14624334
Free space on /tmp= 71492 MiB

SOLVER NAME= SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_019_area_delay.opb
COMMAND LINE= HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3693496-1338035046/watcher-3693496-1338035046 -o /tmp/evaluation-result-3693496-1338035046/solver-3693496-1338035046 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693496-1338035046.opb -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 0b594d74f3df9901bfa97fac996b1847
RANDOM SEED=225524423

node141.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.744
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.744
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.744
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.744
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.744
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.744
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.744
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.744
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28106632 kB
Buffers:          259836 kB
Cached:          3526644 kB
SwapCached:            0 kB
Active:           840548 kB
Inactive:        3148288 kB
Active(anon):     205180 kB
Inactive(anon):        0 kB
Active(file):     635368 kB
Inactive(file):  3148288 kB
Unevictable:        7616 kB
Mlocked:            7616 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             14204 kB
Writeback:             0 kB
AnonPages:        226448 kB
Mapped:            17888 kB
Shmem:               200 kB
Slab:             638940 kB
SReclaimable:      81448 kB
SUnreclaim:       557492 kB
KernelStack:        1472 kB
PageTables:         3868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     319600 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    188416 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71480 MiB
End job on node141 at 2012-05-26 14:24:38