Trace number 3452452

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4OPT26 23.7314 23.7317

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_022_area_delay.opb
MD5SUM8e8463c13e61e1a22058cdf603119640
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark26
Best CPU time to get the best result obtained on this benchmark23.0085
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 26
Optimality of the best value was proved YES
Number of variables7926
Total number of constraints23835
Number of constraints which are clauses23835
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 3885
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 3885
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 3885
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

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

Verifier Data

OK	26

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.00 2.02 2.00 2/511 31427
/proc/meminfo: memFree=15323468/32951124 swapFree=67111204/67111528
[pid=31427] ppid=31425 vsize=14996 CPUtime=0 cores=0,2,4,6
/proc/31427/stat : 31427 (scip-2.0.1.4.li) R 31425 31427 30576 0 -1 4202496 2770 0 0 0 0 0 0 0 25 0 1 0 802494686 15355904 2722 33554432000 4194304 9128323 140733649500016 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31427/statm: 3749 2722 400 1205 0 2540 0

[startup+0.040889 s]
/proc/loadavg: 2.00 2.02 2.00 2/511 31427
/proc/meminfo: memFree=15323468/32951124 swapFree=67111204/67111528
[pid=31427] ppid=31425 vsize=18336 CPUtime=0.03 cores=0,2,4,6
/proc/31427/stat : 31427 (scip-2.0.1.4.li) R 31425 31427 30576 0 -1 4202496 3601 0 0 0 3 0 0 0 25 0 1 0 802494686 18776064 3553 33554432000 4194304 9128323 140733649500016 18446744073709551615 7998219 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31427/statm: 4584 3553 400 1205 0 3375 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 18336

[startup+0.100866 s]
/proc/loadavg: 2.00 2.02 2.00 2/511 31427
/proc/meminfo: memFree=15323468/32951124 swapFree=67111204/67111528
[pid=31427] ppid=31425 vsize=21976 CPUtime=0.09 cores=0,2,4,6
/proc/31427/stat : 31427 (scip-2.0.1.4.li) R 31425 31427 30576 0 -1 4202496 4498 0 0 0 9 0 0 0 25 0 1 0 802494686 22503424 4448 33554432000 4194304 9128323 140733649500016 18446744073709551615 4485008 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31427/statm: 5494 4448 400 1205 0 4285 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21976

[startup+0.300838 s]
/proc/loadavg: 2.00 2.02 2.00 2/511 31427
/proc/meminfo: memFree=15323468/32951124 swapFree=67111204/67111528
[pid=31427] ppid=31425 vsize=62444 CPUtime=0.29 cores=0,2,4,6
/proc/31427/stat : 31427 (scip-2.0.1.4.li) R 31425 31427 30576 0 -1 4202496 14248 0 0 0 28 1 0 0 25 0 1 0 802494686 63942656 14177 33554432000 4194304 9128323 140733649500016 18446744073709551615 4592837 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31427/statm: 15611 14177 520 1205 0 14402 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 62444

[startup+0.700764 s]
/proc/loadavg: 2.00 2.02 2.00 2/511 31427
/proc/meminfo: memFree=15323468/32951124 swapFree=67111204/67111528
[pid=31427] ppid=31425 vsize=88828 CPUtime=0.69 cores=0,2,4,6
/proc/31427/stat : 31427 (scip-2.0.1.4.li) R 31425 31427 30576 0 -1 4202496 21887 0 0 0 67 2 0 0 25 0 1 0 802494686 90959872 20654 33554432000 4194304 9128323 140733649500016 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31427/statm: 22207 20654 674 1205 0 20998 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 88828

[startup+1.50062 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 31428
/proc/meminfo: memFree=15240876/32951124 swapFree=67111204/67111528
[pid=31427] ppid=31425 vsize=96692 CPUtime=1.49 cores=0,2,4,6
/proc/31427/stat : 31427 (scip-2.0.1.4.li) R 31425 31427 30576 0 -1 4202496 23801 0 0 0 147 2 0 0 25 0 1 0 802494686 99012608 22526 33554432000 4194304 9128323 140733649500016 18446744073709551615 6322637 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31427/statm: 24173 22526 726 1205 0 22964 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 96692

[startup+3.10034 s]
/proc/loadavg: 2.00 2.02 2.00 4/512 31428
/proc/meminfo: memFree=15230212/32951124 swapFree=67111204/67111528
[pid=31427] ppid=31425 vsize=101096 CPUtime=3.09 cores=0,2,4,6
/proc/31427/stat : 31427 (scip-2.0.1.4.li) R 31425 31427 30576 0 -1 4202496 24949 0 0 0 306 3 0 0 25 0 1 0 802494686 103522304 23653 33554432000 4194304 9128323 140733649500016 18446744073709551615 6694293 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31427/statm: 25274 23653 705 1205 0 24065 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 101096

[startup+6.30078 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 31428
/proc/meminfo: memFree=15222160/32951124 swapFree=67111204/67111528
[pid=31427] ppid=31425 vsize=107744 CPUtime=6.29 cores=0,2,4,6
/proc/31427/stat : 31427 (scip-2.0.1.4.li) R 31425 31427 30576 0 -1 4202496 26719 0 0 0 625 4 0 0 25 0 1 0 802494686 110329856 25423 33554432000 4194304 9128323 140733649500016 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31427/statm: 26936 25423 750 1205 0 25727 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 107744

[startup+12.7007 s]
/proc/loadavg: 2.00 2.01 2.00 4/512 31428
/proc/meminfo: memFree=15217588/32951124 swapFree=67111204/67111528
[pid=31427] ppid=31425 vsize=114948 CPUtime=12.69 cores=0,2,4,6
/proc/31427/stat : 31427 (scip-2.0.1.4.li) R 31425 31427 30576 0 -1 4202496 29157 0 0 0 1263 6 0 0 25 0 1 0 802494686 117706752 27039 33554432000 4194304 9128323 140733649500016 18446744073709551615 6694293 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31427/statm: 28737 27039 705 1205 0 27528 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 114948

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

[startup+19.1005 s]
/proc/loadavg: 2.00 2.01 2.00 4/512 31428
/proc/meminfo: memFree=15214728/32951124 swapFree=67111204/67111528
[pid=31427] ppid=31425 vsize=115236 CPUtime=19.09 cores=0,2,4,6
/proc/31427/stat : 31427 (scip-2.0.1.4.li) R 31425 31427 30576 0 -1 4202496 29250 0 0 0 1902 7 0 0 25 0 1 0 802494686 118001664 27132 33554432000 4194304 9128323 140733649500016 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31427/statm: 28809 27132 705 1205 0 27600 0
Current children cumulated CPU time (s) 19.09
Current children cumulated vsize (KiB) 115236

[startup+22.3009 s]
/proc/loadavg: 2.00 2.01 2.00 4/512 31428
/proc/meminfo: memFree=15216088/32951124 swapFree=67111204/67111528
[pid=31427] ppid=31425 vsize=111624 CPUtime=22.29 cores=0,2,4,6
/proc/31427/stat : 31427 (scip-2.0.1.4.li) R 31425 31427 30576 0 -1 4202496 36546 0 0 0 2219 10 0 0 25 0 1 0 802494686 114302976 26629 33554432000 4194304 9128323 140733649500016 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31427/statm: 27906 26629 748 1205 0 26697 0
Current children cumulated CPU time (s) 22.29
Current children cumulated vsize (KiB) 111624

[startup+23.1198 s]
/proc/loadavg: 2.00 2.01 2.00 3/512 31428
/proc/meminfo: memFree=15216460/32951124 swapFree=67111204/67111528
[pid=31427] ppid=31425 vsize=110360 CPUtime=23.11 cores=0,2,4,6
/proc/31427/stat : 31427 (scip-2.0.1.4.li) R 31425 31427 30576 0 -1 4202496 37557 0 0 0 2300 11 0 0 25 0 1 0 802494686 113008640 26496 33554432000 4194304 9128323 140733649500016 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31427/statm: 27590 26496 828 1205 0 26381 0
Current children cumulated CPU time (s) 23.11
Current children cumulated vsize (KiB) 110360

[startup+23.5008 s]
/proc/loadavg: 2.00 2.01 2.00 3/512 31428
/proc/meminfo: memFree=15216460/32951124 swapFree=67111204/67111528
[pid=31427] ppid=31425 vsize=120316 CPUtime=23.49 cores=0,2,4,6
/proc/31427/stat : 31427 (scip-2.0.1.4.li) R 31425 31427 30576 0 -1 4202496 39903 0 0 0 2338 11 0 0 25 0 1 0 802494686 123203584 28793 33554432000 4194304 9128323 140733649500016 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31427/statm: 30079 28793 785 1205 0 28870 0
Current children cumulated CPU time (s) 23.49
Current children cumulated vsize (KiB) 120316

[startup+23.7007 s]
/proc/loadavg: 2.00 2.01 2.00 3/512 31428
/proc/meminfo: memFree=15216460/32951124 swapFree=67111204/67111528
[pid=31427] ppid=31425 vsize=120316 CPUtime=23.69 cores=0,2,4,6
/proc/31427/stat : 31427 (scip-2.0.1.4.li) R 31425 31427 30576 0 -1 4202496 39903 0 0 0 2358 11 0 0 18 0 1 0 802494686 123203584 28793 33554432000 4194304 9128323 140733649500016 18446744073709551615 8003471 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31427/statm: 30079 28793 785 1205 0 28870 0
Current children cumulated CPU time (s) 23.69
Current children cumulated vsize (KiB) 120316

Child status: 0
Real time (s): 23.7317
CPU time (s): 23.7314
CPU user time (s): 23.6064
CPU system time (s): 0.124981
CPU usage (%): 99.9987
Max. virtual memory (cumulated for all children) (KiB): 144480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.6064
system time used= 0.124981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39907
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= 3
involuntary context switches= 51

runsolver used 0.12598 second user time and 0.278957 second system time

The end

Launcher Data

Begin job on node144 at 2011-06-03 13:33:06
IDJOB=3452452
IDBENCH=24998
IDSOLVER=1949
FILE ID=node144/3452452-1307100786
RUNJOBID= node144-1307094732-30594
PBS_JOBID= 13498007
Free space on /tmp= 73840 MiB

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

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

MD5SUM BENCH= 8e8463c13e61e1a22058cdf603119640
RANDOM SEED=2023892732

node144.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      15323748 kB
Buffers:        281792 kB
Cached:         476508 kB
SwapCached:        140 kB
Active:       16977756 kB
Inactive:       371420 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      15323748 kB
SwapTotal:    67111528 kB
SwapFree:     67111204 kB
Dirty:           13148 kB
Writeback:           0 kB
AnonPages:    16590912 kB
Mapped:          45380 kB
Slab:           136016 kB
PageTables:      72420 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 159211284 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73828 MiB
End job on node144 at 2011-06-03 13:33:29