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