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