Trace number 2703358

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
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverOPT24 333.865 333.967

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

Verifier Data

OK	24

Watcher Data

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703358-1278563739/watcher-2703358-1278563739 -o /tmp/evaluation-result-2703358-1278563739/solver-2703358-1278563739 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703358-1278563739.opb -t 1800 -m 1800 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.02 1.05 1.00 3/106 1579
/proc/meminfo: memFree=1568676/2059040 swapFree=4139504/4192956
[pid=1579] ppid=1577 vsize=5824 CPUtime=0
/proc/1579/stat : 1579 (pbscip.linux.x8) R 1577 1579 1094 0 -1 4202496 821 0 0 0 0 0 0 0 20 0 1 0 24586304 5963776 736 1992294400 4194304 8395647 140735893217440 18446744073709551615 7355228 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1579/statm: 1456 737 351 1026 0 426 0

[startup+0.0588631 s]
/proc/loadavg: 1.02 1.05 1.00 3/106 1579
/proc/meminfo: memFree=1568676/2059040 swapFree=4139504/4192956
[pid=1579] ppid=1577 vsize=15828 CPUtime=0.04
/proc/1579/stat : 1579 (pbscip.linux.x8) R 1577 1579 1094 0 -1 4202496 3282 0 0 0 4 0 0 0 22 0 1 0 24586304 16207872 3193 1992294400 4194304 8395647 140735893217440 18446744073709551615 7370173 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1579/statm: 3957 3193 393 1026 0 2927 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 15828

[startup+0.101868 s]
/proc/loadavg: 1.02 1.05 1.00 3/106 1579
/proc/meminfo: memFree=1568676/2059040 swapFree=4139504/4192956
[pid=1579] ppid=1577 vsize=18932 CPUtime=0.09
/proc/1579/stat : 1579 (pbscip.linux.x8) R 1577 1579 1094 0 -1 4202496 4021 0 0 0 8 1 0 0 22 0 1 0 24586304 19386368 3932 1992294400 4194304 8395647 140735893217440 18446744073709551615 4245985 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1579/statm: 4733 3932 393 1026 0 3703 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18932

[startup+0.300887 s]
/proc/loadavg: 1.02 1.05 1.00 3/106 1579
/proc/meminfo: memFree=1568676/2059040 swapFree=4139504/4192956
[pid=1579] ppid=1577 vsize=25004 CPUtime=0.29
/proc/1579/stat : 1579 (pbscip.linux.x8) R 1577 1579 1094 0 -1 4202496 5542 0 0 0 28 1 0 0 22 0 1 0 24586304 25604096 5453 1992294400 4194304 8395647 140735893217440 18446744073709551615 7382056 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1579/statm: 6251 5453 393 1026 0 5221 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25004

[startup+0.700927 s]
/proc/loadavg: 1.02 1.05 1.00 3/106 1579
/proc/meminfo: memFree=1568676/2059040 swapFree=4139504/4192956
[pid=1579] ppid=1577 vsize=56916 CPUtime=0.69
/proc/1579/stat : 1579 (pbscip.linux.x8) R 1577 1579 1094 0 -1 4202496 13475 0 0 0 65 4 0 0 23 0 1 0 24586304 58281984 13032 1992294400 4194304 8395647 140735893217440 18446744073709551615 18446744073699066034 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1579/statm: 14229 13032 475 1026 0 13199 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 56916

[startup+1.50101 s]
/proc/loadavg: 1.02 1.05 1.00 2/107 1580
/proc/meminfo: memFree=1514728/2059040 swapFree=4139504/4192956
[pid=1579] ppid=1577 vsize=75832 CPUtime=1.49
/proc/1579/stat : 1579 (pbscip.linux.x8) R 1577 1579 1094 0 -1 4202496 18011 0 0 0 144 5 0 0 25 0 1 0 24586304 77651968 17327 1992294400 4194304 8395647 140735893217440 18446744073709551615 6696677 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1579/statm: 18958 17327 587 1026 0 17928 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 75832

[startup+3.10017 s]
/proc/loadavg: 1.02 1.05 1.00 2/107 1580
/proc/meminfo: memFree=1493524/2059040 swapFree=4139504/4192956
[pid=1579] ppid=1577 vsize=86944 CPUtime=3.08
/proc/1579/stat : 1579 (pbscip.linux.x8) R 1577 1579 1094 0 -1 4202496 20981 0 0 0 302 6 0 0 25 0 1 0 24586304 89030656 20255 1992294400 4194304 8395647 140735893217440 18446744073709551615 6440503 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1579/statm: 21736 20255 611 1026 0 20706 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 86944

[startup+6.30149 s]
/proc/loadavg: 1.02 1.05 1.00 2/107 1580
/proc/meminfo: memFree=1478644/2059040 swapFree=4139504/4192956
[pid=1579] ppid=1577 vsize=97352 CPUtime=6.29
/proc/1579/stat : 1579 (pbscip.linux.x8) R 1577 1579 1094 0 -1 4202496 23621 0 0 0 621 8 0 0 25 0 1 0 24586304 99688448 22893 1992294400 4194304 8395647 140735893217440 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1579/statm: 24338 22893 610 1026 0 23308 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 97352

[startup+12.7011 s]
/proc/loadavg: 1.02 1.05 1.00 2/107 1580
/proc/meminfo: memFree=1475668/2059040 swapFree=4139504/4192956
[pid=1579] ppid=1577 vsize=99792 CPUtime=12.68
/proc/1579/stat : 1579 (pbscip.linux.x8) R 1577 1579 1094 0 -1 4202496 24359 0 0 0 1257 11 0 0 25 0 1 0 24586304 102187008 23625 1992294400 4194304 8395647 140735893217440 18446744073709551615 6124432 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1579/statm: 24948 23625 609 1026 0 23918 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 99792

[startup+25.5014 s]
/proc/loadavg: 1.01 1.04 1.00 2/107 1580
/proc/meminfo: memFree=1469964/2059040 swapFree=4139504/4192956
[pid=1579] ppid=1577 vsize=105136 CPUtime=25.49
/proc/1579/stat : 1579 (pbscip.linux.x8) R 1577 1579 1094 0 -1 4202496 25969 0 0 0 2534 15 0 0 25 0 1 0 24586304 107659264 25076 1992294400 4194304 8395647 140735893217440 18446744073709551615 6107091 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1579/statm: 26284 25076 617 1026 0 25254 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 105136

[startup+51.101 s]
/proc/loadavg: 1.01 1.04 1.00 2/107 1581
/proc/meminfo: memFree=1463392/2059040 swapFree=4139504/4192956
[pid=1579] ppid=1577 vsize=111592 CPUtime=51.07
/proc/1579/stat : 1579 (pbscip.linux.x8) R 1577 1579 1094 0 -1 4202496 27606 0 0 0 5081 26 0 0 25 0 1 0 24586304 114270208 26708 1992294400 4194304 8395647 140735893217440 18446744073709551615 6129650 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1579/statm: 27898 26708 612 1026 0 26868 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 111592

[startup+102.309 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 1582
/proc/meminfo: memFree=1462648/2059040 swapFree=4139504/4192956
[pid=1579] ppid=1577 vsize=112416 CPUtime=102.26
/proc/1579/stat : 1579 (pbscip.linux.x8) R 1577 1579 1094 0 -1 4202496 33693 0 0 0 10172 54 0 0 25 0 1 0 24586304 115113984 26797 1992294400 4194304 8395647 140735893217440 18446744073709551615 6669642 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1579/statm: 28104 26797 636 1026 0 27074 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 112416

[startup+162.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 1585
/proc/meminfo: memFree=1462648/2059040 swapFree=4139504/4192956
[pid=1579] ppid=1577 vsize=112416 CPUtime=162.24
/proc/1579/stat : 1579 (pbscip.linux.x8) R 1577 1579 1094 0 -1 4202496 33708 0 0 0 16148 76 0 0 25 0 1 0 24586304 115113984 26812 1992294400 4194304 8395647 140735893217440 18446744073709551615 6636367 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1579/statm: 28104 26812 636 1026 0 27074 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 112416

[startup+222.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 1587
/proc/meminfo: memFree=1462648/2059040 swapFree=4139504/4192956
[pid=1579] ppid=1577 vsize=112416 CPUtime=222.22
/proc/1579/stat : 1579 (pbscip.linux.x8) R 1577 1579 1094 0 -1 4202496 33714 0 0 0 22125 97 0 0 25 0 1 0 24586304 115113984 26818 1992294400 4194304 8395647 140735893217440 18446744073709551615 6669605 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1579/statm: 28104 26818 636 1026 0 27074 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 112416

[startup+282.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 1588
/proc/meminfo: memFree=1462648/2059040 swapFree=4139504/4192956
[pid=1579] ppid=1577 vsize=112824 CPUtime=282.2
/proc/1579/stat : 1579 (pbscip.linux.x8) R 1577 1579 1094 0 -1 4202496 33784 0 0 0 28100 120 0 0 25 0 1 0 24586304 115531776 26888 1992294400 4194304 8395647 140735893217440 18446744073709551615 6696942 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1579/statm: 28206 26888 636 1026 0 27176 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 112824

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

[startup+307.101 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 1589
/proc/meminfo: memFree=1459796/2059040 swapFree=4139504/4192956
[pid=1579] ppid=1577 vsize=116012 CPUtime=306.99
/proc/1579/stat : 1579 (pbscip.linux.x8) R 1577 1579 1094 0 -1 4202496 40888 0 0 0 30567 132 0 0 25 0 1 0 24586304 118796288 27623 1992294400 4194304 8395647 140735893217440 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1579/statm: 29003 27623 639 1026 0 27973 0
Current children cumulated CPU time (s) 306.99
Current children cumulated vsize (KiB) 116012

[startup+319.901 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 1589
/proc/meminfo: memFree=1459796/2059040 swapFree=4139504/4192956
[pid=1579] ppid=1577 vsize=116012 CPUtime=319.79
/proc/1579/stat : 1579 (pbscip.linux.x8) R 1577 1579 1094 0 -1 4202496 40895 0 0 0 31841 138 0 0 25 0 1 0 24586304 118796288 27630 1992294400 4194304 8395647 140735893217440 18446744073709551615 6697150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1579/statm: 29003 27630 639 1026 0 27973 0
Current children cumulated CPU time (s) 319.79
Current children cumulated vsize (KiB) 116012

[startup+326.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 1589
/proc/meminfo: memFree=1459672/2059040 swapFree=4139504/4192956
[pid=1579] ppid=1577 vsize=116012 CPUtime=326.19
/proc/1579/stat : 1579 (pbscip.linux.x8) R 1577 1579 1094 0 -1 4202496 40915 0 0 0 32479 140 0 0 25 0 1 0 24586304 118796288 27650 1992294400 4194304 8395647 140735893217440 18446744073709551615 6390516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1579/statm: 29003 27650 639 1026 0 27973 0
Current children cumulated CPU time (s) 326.19
Current children cumulated vsize (KiB) 116012

[startup+329.501 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 1590
/proc/meminfo: memFree=1459672/2059040 swapFree=4139504/4192956
[pid=1579] ppid=1577 vsize=116012 CPUtime=329.39
/proc/1579/stat : 1579 (pbscip.linux.x8) R 1577 1579 1094 0 -1 4202496 40915 0 0 0 32798 141 0 0 25 0 1 0 24586304 118796288 27650 1992294400 4194304 8395647 140735893217440 18446744073709551615 6752539 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1579/statm: 29003 27650 639 1026 0 27973 0
Current children cumulated CPU time (s) 329.39
Current children cumulated vsize (KiB) 116012

[startup+331.108 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 1590
/proc/meminfo: memFree=1459672/2059040 swapFree=4139504/4192956
[pid=1579] ppid=1577 vsize=116012 CPUtime=331
/proc/1579/stat : 1579 (pbscip.linux.x8) R 1577 1579 1094 0 -1 4202496 40915 0 0 0 32958 142 0 0 25 0 1 0 24586304 118796288 27650 1992294400 4194304 8395647 140735893217440 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1579/statm: 29003 27650 639 1026 0 27973 0
Current children cumulated CPU time (s) 331
Current children cumulated vsize (KiB) 116012

[startup+332.701 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 1590
/proc/meminfo: memFree=1459672/2059040 swapFree=4139504/4192956
[pid=1579] ppid=1577 vsize=116012 CPUtime=332.59
/proc/1579/stat : 1579 (pbscip.linux.x8) R 1577 1579 1094 0 -1 4202496 40918 0 0 0 33116 143 0 0 25 0 1 0 24586304 118796288 27653 1992294400 4194304 8395647 140735893217440 18446744073709551615 6585815 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1579/statm: 29003 27653 639 1026 0 27973 0
Current children cumulated CPU time (s) 332.59
Current children cumulated vsize (KiB) 116012

[startup+333.502 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 1590
/proc/meminfo: memFree=1459672/2059040 swapFree=4139504/4192956
[pid=1579] ppid=1577 vsize=116012 CPUtime=333.39
/proc/1579/stat : 1579 (pbscip.linux.x8) R 1577 1579 1094 0 -1 4202496 40918 0 0 0 33196 143 0 0 25 0 1 0 24586304 118796288 27653 1992294400 4194304 8395647 140735893217440 18446744073709551615 6697051 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1579/statm: 29003 27653 639 1026 0 27973 0
Current children cumulated CPU time (s) 333.39
Current children cumulated vsize (KiB) 116012

[startup+333.902 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 1590
/proc/meminfo: memFree=1459672/2059040 swapFree=4139504/4192956
[pid=1579] ppid=1577 vsize=116012 CPUtime=333.79
/proc/1579/stat : 1579 (pbscip.linux.x8) R 1577 1579 1094 0 -1 4202496 40920 0 0 0 33236 143 0 0 25 0 1 0 24586304 118796288 27655 1992294400 4194304 8395647 140735893217440 18446744073709551615 6150657 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1579/statm: 29003 27655 641 1026 0 27973 0
Current children cumulated CPU time (s) 333.79
Current children cumulated vsize (KiB) 116012

Child status: 0
Real time (s): 333.967
CPU time (s): 333.865
CPU user time (s): 332.42
CPU system time (s): 1.44478
CPU usage (%): 99.9696
Max. virtual memory (cumulated for all children) (KiB): 137480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 332.42
system time used= 1.44478
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40923
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= 4
involuntary context switches= 1662

runsolver used 0.547916 second user time and 1.59476 second system time

The end

Launcher Data

Begin job on node017 at 2010-07-08 06:35:39
IDJOB=2703358
IDBENCH=24984
IDSOLVER=1213
FILE ID=node017/2703358-1278563739
PBS_JOBID= 11239570
Free space on /tmp= 62496 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_019_area_delay.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2703358-1278563739/watcher-2703358-1278563739 -o /tmp/evaluation-result-2703358-1278563739/solver-2703358-1278563739 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703358-1278563739.opb -t 1800 -m 1800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 0b594d74f3df9901bfa97fac996b1847
RANDOM SEED=1244089797

node017.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.220
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.220
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1569204 kB
Buffers:         69216 kB
Cached:         316216 kB
SwapCached:       7184 kB
Active:         162080 kB
Inactive:       238552 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1569204 kB
SwapTotal:     4192956 kB
SwapFree:      4139504 kB
Dirty:           11288 kB
Writeback:           0 kB
AnonPages:       12580 kB
Mapped:          11816 kB
Slab:            67476 kB
PageTables:       4104 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   178996 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62484 MiB
End job on node017 at 2010-07-08 06:41:13