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