Trace number 3450792

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 E SCIP 2.0.1.4b with SoPlex 1.5.0.4OPT26 23.3205 23.3204

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

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-3450792-1307099449/watcher-3450792-1307099449 -o /tmp/evaluation-result-3450792-1307099449/solver-3450792-1307099449 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450792-1307099449.opb -t 1800 -m 15500 

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.02 2.00 2/446 10704
/proc/meminfo: memFree=31318224/32950928 swapFree=34365992/67111528
[pid=10704] ppid=10702 vsize=15368 CPUtime=0 cores=1,3,5,7
/proc/10704/stat : 10704 (scip-2.0.1.4b.l) R 10702 10704 10081 0 -1 4202496 2845 0 0 0 0 0 0 0 25 0 1 0 821543707 15736832 2797 33554432000 4194304 9163163 140736894304128 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10704/statm: 3842 2797 389 1214 0 2624 0

[startup+0.096161 s]
/proc/loadavg: 2.01 2.02 2.00 2/446 10704
/proc/meminfo: memFree=31318224/32950928 swapFree=34365992/67111528
[pid=10704] ppid=10702 vsize=25812 CPUtime=0.08 cores=1,3,5,7
/proc/10704/stat : 10704 (scip-2.0.1.4b.l) R 10702 10704 10081 0 -1 4202496 5434 0 0 0 8 0 0 0 25 0 1 0 821543707 26431488 5386 33554432000 4194304 9163163 140736894304128 18446744073709551615 4217257 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10704/statm: 6453 5386 395 1214 0 5235 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 25812

[startup+0.101155 s]
/proc/loadavg: 2.01 2.02 2.00 2/446 10704
/proc/meminfo: memFree=31318224/32950928 swapFree=34365992/67111528
[pid=10704] ppid=10702 vsize=25812 CPUtime=0.09 cores=1,3,5,7
/proc/10704/stat : 10704 (scip-2.0.1.4b.l) R 10702 10704 10081 0 -1 4202496 5436 0 0 0 9 0 0 0 25 0 1 0 821543707 26431488 5388 33554432000 4194304 9163163 140736894304128 18446744073709551615 4338914 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10704/statm: 6453 5388 395 1214 0 5235 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25812

[startup+0.301123 s]
/proc/loadavg: 2.01 2.02 2.00 2/446 10704
/proc/meminfo: memFree=31318224/32950928 swapFree=34365992/67111528
[pid=10704] ppid=10702 vsize=59648 CPUtime=0.29 cores=1,3,5,7
/proc/10704/stat : 10704 (scip-2.0.1.4b.l) R 10702 10704 10081 0 -1 4202496 14158 0 0 0 28 1 0 0 25 0 1 0 821543707 61079552 13491 33554432000 4194304 9163163 140736894304128 18446744073709551615 5208880 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10704/statm: 14912 13491 523 1214 0 13694 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59648

[startup+0.701053 s]
/proc/loadavg: 2.01 2.02 2.00 2/446 10704
/proc/meminfo: memFree=31318224/32950928 swapFree=34365992/67111528
[pid=10704] ppid=10702 vsize=85600 CPUtime=0.69 cores=1,3,5,7
/proc/10704/stat : 10704 (scip-2.0.1.4b.l) R 10702 10704 10081 0 -1 4202496 21007 0 0 0 67 2 0 0 25 0 1 0 821543707 87654400 19852 33554432000 4194304 9163163 140736894304128 18446744073709551615 6668738 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10704/statm: 21400 19852 669 1214 0 20182 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85600

[startup+1.50085 s]
/proc/loadavg: 2.01 2.02 2.00 3/447 10705
/proc/meminfo: memFree=31238360/32950928 swapFree=34365992/67111528
[pid=10704] ppid=10702 vsize=93468 CPUtime=1.49 cores=1,3,5,7
/proc/10704/stat : 10704 (scip-2.0.1.4b.l) R 10702 10704 10081 0 -1 4202496 22922 0 0 0 146 3 0 0 25 0 1 0 821543707 95711232 21722 33554432000 4194304 9163163 140736894304128 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10704/statm: 23367 21722 717 1214 0 22149 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 93468

[startup+3.10057 s]
/proc/loadavg: 2.01 2.02 2.00 3/447 10732
/proc/meminfo: memFree=31278464/32950928 swapFree=34365992/67111528
[pid=10704] ppid=10702 vsize=97796 CPUtime=3.09 cores=1,3,5,7
/proc/10704/stat : 10704 (scip-2.0.1.4b.l) R 10702 10704 10081 0 -1 4202496 24118 0 0 0 305 4 0 0 25 0 1 0 821543707 100143104 22896 33554432000 4194304 9163163 140736894304128 18446744073709551615 6668656 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10704/statm: 24449 22896 695 1214 0 23231 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 97796

[startup+6.30107 s]
/proc/loadavg: 2.01 2.02 2.00 3/447 10732
/proc/meminfo: memFree=31212556/32950928 swapFree=34365992/67111528
[pid=10704] ppid=10702 vsize=104524 CPUtime=6.29 cores=1,3,5,7
/proc/10704/stat : 10704 (scip-2.0.1.4b.l) R 10702 10704 10081 0 -1 4202496 25869 0 0 0 623 6 0 0 25 0 1 0 821543707 107032576 24647 33554432000 4194304 9163163 140736894304128 18446744073709551615 6677717 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10704/statm: 26131 24647 740 1214 0 24913 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 104524

[startup+12.7009 s]
/proc/loadavg: 2.01 2.02 2.00 3/447 10732
/proc/meminfo: memFree=31205428/32950928 swapFree=34365992/67111528
[pid=10704] ppid=10702 vsize=112000 CPUtime=12.69 cores=1,3,5,7
/proc/10704/stat : 10704 (scip-2.0.1.4b.l) R 10702 10704 10081 0 -1 4202496 27652 0 0 0 1260 9 0 0 25 0 1 0 821543707 114688000 26385 33554432000 4194304 9163163 140736894304128 18446744073709551615 4312220 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10704/statm: 28000 26385 695 1214 0 26782 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 112000

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

[startup+19.1008 s]
/proc/loadavg: 2.01 2.02 2.00 3/447 10732
/proc/meminfo: memFree=31203544/32950928 swapFree=34365992/67111528
[pid=10704] ppid=10702 vsize=111108 CPUtime=19.09 cores=1,3,5,7
/proc/10704/stat : 10704 (scip-2.0.1.4b.l) R 10702 10704 10081 0 -1 4202496 35125 0 0 0 1896 13 0 0 25 0 1 0 821543707 113774592 26488 33554432000 4194304 9163163 140736894304128 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10704/statm: 27777 26488 726 1214 0 26559 0
Current children cumulated CPU time (s) 19.09
Current children cumulated vsize (KiB) 111108

[startup+20.7005 s]
/proc/loadavg: 2.01 2.02 2.00 3/447 10732
/proc/meminfo: memFree=31202800/32950928 swapFree=34365992/67111528
[pid=10704] ppid=10702 vsize=111108 CPUtime=20.69 cores=1,3,5,7
/proc/10704/stat : 10704 (scip-2.0.1.4b.l) R 10702 10704 10081 0 -1 4202496 35127 0 0 0 2055 14 0 0 25 0 1 0 821543707 113774592 26490 33554432000 4194304 9163163 140736894304128 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10704/statm: 27777 26490 728 1214 0 26559 0
Current children cumulated CPU time (s) 20.69
Current children cumulated vsize (KiB) 111108

[startup+22.3002 s]
/proc/loadavg: 2.01 2.02 2.00 3/447 10732
/proc/meminfo: memFree=31201816/32950928 swapFree=34365992/67111528
[pid=10704] ppid=10702 vsize=111108 CPUtime=22.29 cores=1,3,5,7
/proc/10704/stat : 10704 (scip-2.0.1.4b.l) R 10702 10704 10081 0 -1 4202496 35127 0 0 0 2212 17 0 0 25 0 1 0 821543707 113774592 26490 33554432000 4194304 9163163 140736894304128 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10704/statm: 27777 26490 728 1214 0 26559 0
Current children cumulated CPU time (s) 22.29
Current children cumulated vsize (KiB) 111108

[startup+23.117 s]
/proc/loadavg: 2.01 2.02 2.00 3/447 10732
/proc/meminfo: memFree=31193132/32950928 swapFree=34365992/67111528
[pid=10704] ppid=10702 vsize=119792 CPUtime=23.11 cores=1,3,5,7
/proc/10704/stat : 10704 (scip-2.0.1.4b.l) R 10702 10704 10081 0 -1 4202496 38661 0 0 0 2293 18 0 0 25 0 1 0 821543707 122667008 28850 33554432000 4194304 9163163 140736894304128 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10704/statm: 29948 28850 792 1214 0 28730 0
Current children cumulated CPU time (s) 23.11
Current children cumulated vsize (KiB) 119792

[startup+23.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/447 10732
/proc/meminfo: memFree=31193132/32950928 swapFree=34365992/67111528
[pid=10704] ppid=10702 vsize=116716 CPUtime=23.29 cores=1,3,5,7
/proc/10704/stat : 10704 (scip-2.0.1.4b.l) R 10702 10704 10081 0 -1 4202496 38664 0 0 0 2311 18 0 0 25 0 1 0 821543707 119517184 28089 33554432000 4194304 9163163 140736894304128 18446744073709551615 4336889 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10704/statm: 29179 28089 795 1214 0 27961 0
Current children cumulated CPU time (s) 23.29
Current children cumulated vsize (KiB) 116716

Child status: 0
Real time (s): 23.3204
CPU time (s): 23.3205
CPU user time (s): 23.1295
CPU system time (s): 0.19097
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 142188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.1295
system time used= 0.19097
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38666
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= 50

runsolver used 0.098984 second user time and 0.25796 second system time

The end

Launcher Data 

Begin job on node120 at 2011-06-03 13:10:49
IDJOB=3450792
IDBENCH=24998
IDSOLVER=1948
FILE ID=node120/3450792-1307099449
RUNJOBID= node120-1307093855-10100
PBS_JOBID= 13498002
Free space on /tmp= 73800 MiB

SOLVER NAME= SCIP spx E SCIP 2.0.1.4b 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.4b.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3450792-1307099449/watcher-3450792-1307099449 -o /tmp/evaluation-result-3450792-1307099449/solver-3450792-1307099449 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450792-1307099449.opb -t 1800 -m 15500

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

MD5SUM BENCH= 8e8463c13e61e1a22058cdf603119640
RANDOM SEED=879534992

node120.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.809
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.61
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.809
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.07
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.809
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.82
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.809
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.75
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.809
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.78
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.809
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.75
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.809
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.82
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.809
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31318504 kB
Buffers:        258440 kB
Cached:         970556 kB
SwapCached:      12852 kB
Active:         417628 kB
Inactive:       922832 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31318504 kB
SwapTotal:    67111528 kB
SwapFree:     34365992 kB
Dirty:           25744 kB
Writeback:          20 kB
AnonPages:      108828 kB
Mapped:          12128 kB
Slab:           133068 kB
PageTables:      91320 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 105478996 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= 73788 MiB
End job on node120 at 2011-06-03 13:11:13