Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.68 | 1801.22 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos5.opb |
MD5SUM | 687e90f40c46b53feec9c54ee9b43fa6 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 15360 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 15360 |
Optimality of the best value was proved | NO |
Number of variables | 163 |
Total number of constraints | 73 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 3 |
Number of constraints which are nor clauses,nor cardinality constraints | 70 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 102 |
Number of terms in the objective function | 163 |
Biggest coefficient in the objective function | 1024 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 74742 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 8192 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 74742 |
Number of bits of the biggest sum of numbers | 17 |
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 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00 c Solving ROOT/tmp/node66/41526-1149366316/instance-41526-1149366316.opb ...... 0.01 c done parsing opb. 0.01 o 64512 0.02 o 63488 0.02 o 62464 0.02 o 61440 0.02 o 60416 0.02 o 59392 0.03 o 58368 0.03 o 57344 0.03 o 56320 0.03 o 55296 0.03 o 54272 0.04 o 53248 0.04 o 52224 0.04 o 51200 0.04 o 50176 0.04 o 49152 0.05 o 48128 0.05 o 47104 0.05 o 46080 0.05 o 45056 0.05 o 44032 0.06 o 43008 0.06 o 41984 0.06 o 40960 0.06 o 39936 1.27 o 31994 1.27 o 31959 1.27 o 31843 1.27 o 31838 1.27 o 31837 1.28 o 31836 1.28 o 31762 1.28 o 31667 1.28 o 31658 1.28 o 31484 1.28 o 31446 1.29 o 31295 1.29 o 31251 1.29 o 31192 1.29 o 31191 1.29 o 31190 1.29 o 31188 1.30 o 31110 1.30 o 30796 1.30 o 30795 1.30 o 30785 1.30 o 30780 1.30 o 30776 1.31 o 30761 1.31 o 30759 1.31 o 30733 1.31 o 30732 1.31 o 30679 1.31 o 30673 1.32 o 30664 1.32 o 30532 1.32 o 30437 1.32 o 30436 1.32 o 30435 1.33 o 30434 1.33 o 30433 1.33 o 30427 1.33 o 30412 1.33 o 30391 1.33 o 30354 1.34 o 30353 1.34 o 30344 1.34 o 30342 1.34 o 30304 1.34 o 30303 1.34 o 30300 1.35 o 30298 1.35 o 30247 1.35 o 30246 1.35 o 30242 1.35 o 30237 1.35 o 30187 1.36 o 30186 1.36 o 30170 1.36 o 30141 1.36 o 30109 1.36 o 30108 1.37 o 30090 1.37 o 30088 1.37 o 30080 1.37 o 30076 1.37 o 30072 1.37 o 30066 1.38 o 30065 1.38 o 30058 1.38 o 30057 1.38 o 30056 1.38 o 30029 1.38 o 30010 1.39 o 30009 1.39 o 30008 1.39 o 30007 1.39 o 30006 1.39 o 30000 1.40 o 29999 1.40 o 29998 1.40 o 29997 1.40 o 29994 1.40 o 29992 1.41 o 29991 1.41 o 29990 1.41 o 29981 1.41 o 29979 1.41 o 29977 1.42 o 29970 1.42 o 29969 1.42 o 29968 1.42 o 29965 1.42 o 29963 1.42 o 29948 1.43 o 29938 1.43 o 29937 1.43 o 29933 1.43 o 29927 1.43 o 29891 1.43 o 29890 1.44 o 29886 1.44 o 29885 1.44 o 29880 1.44 o 29879 1.44 o 29871 1.45 o 29868 1.45 o 29867 1.45 o 29864 1.45 o 29863 1.45 o 29862 1.45 o 29861 1.46 o 29860 1.46 o 29805 1.46 o 29804 1.46 o 29795 1.46 o 29787 1.47 o 29786 1.47 o 29785 1.47 o 29784 1.47 o 29781 1.47 o 29780 1.48 o 29778 1.48 o 29775 1.48 o 29759 1.48 o 29757 1.48 o 29756 1.48 o 29755 1.49 o 29745 1.49 o 29737 1.49 o 29736 1.49 o 29735 1.49 o 29724 1.50 o 29715 1.50 o 29709 1.50 o 29708 1.50 o 29698 1.50 o 29697 1.50 o 29696 1.51 o 29695 1.51 o 29691 1.51 o 29690 1.51 o 29683 1.51 o 29680 1.52 o 29619 1.52 o 29614 1.52 o 29613 1.52 o 29597 1.52 o 29594 1.52 o 29593 1.53 o 29588 1.53 o 29587 1.53 o 29585 1.53 o 29574 1.53 o 29551 1.54 o 29550 1.54 o 29518 1.54 o 29517 1.54 o 29516 1.54 o 29514 1.55 o 29513 1.55 o 29512 1.55 o 29511 1.55 o 29510 1.55 o 29471 1.56 o 29470 1.56 o 29469 1.56 o 29468 1.56 o 29467 1.56 o 29461 1.56 o 29459 1.57 o 29457 1.57 o 29454 1.57 o 29448 1.57 o 29447 1.57 o 29446 1.58 o 29438 1.58 o 29432 1.58 o 29431 1.58 o 29430 1.58 o 29388 1.58 o 29386 1.59 o 29368 1.59 o 29367 1.59 o 29366 1.59 o 29365 1.59 o 29364 1.60 o 29357 1.60 o 29338 1.60 o 29337 1.60 o 29336 1.60 o 29335 1.61 o 29332 1.61 o 29331 1.61 o 29330 1.61 o 29327 1.61 o 29326 1.62 o 29324 1.62 o 29323 1.62 o 29321 1.62 o 29320 1.62 o 29318 1.63 o 29317 1.63 o 29316 1.63 o 29311 1.63 o 29310 1.63 o 29308 1.63 o 29307 1.64 o 29306 1.64 o 29301 1.64 o 29300 1.64 o 29298 1.64 o 29297 1.65 o 29296 1.65 o 29283 1.65 o 29282 1.65 o 29281 1.65 o 29279 1.66 o 29278 1.66 o 29276 1.66 o 29263 1.66 o 29262 1.66 o 29261 1.66 o 29260 1.67 o 29239 1.67 o 29238 1.67 o 29237 1.67 o 29235 1.67 o 29204 1.68 o 29203 1.68 o 29202 1.68 o 29201 1.68 o 29188 1.68 o 29187 1.69 o 29177 1.69 o 29168 1.69 o 29162 1.69 o 29161 1.69 o 29160 1.70 o 29159 1.70 o 29158 1.70 o 29153 1.70 o 28854 1.71 o 28848 1.72 o 28847 1.73 o 28846 1.73 o 28845 1.73 o 28844 1.73 o 28842 1.73 o 28841 1.74 o 28840 1.74 o 28839 1.74 o 28838 1.74 o 28837 1.74 o 28836 1.75 o 28835 1.75 o 28834 1.75 o 28833 1.75 o 28832 1.76 o 28831 1.76 o 28830 1.76 o 28829 1.76 o 28828 1.76 o 28827 1.77 o 28825 1.77 o 28824 1.77 o 28823 1.77 o 28822 1.78 o 28821 1.78 o 28820 1.78 o 28819 1.78 o 28818 1.78 o 28816 1.79 o 28815 1.79 o 28814 1.79 o 28813 1.79 o 28812 1.79 o 28811 1.80 o 28810 1.80 o 28809 1.80 o 28808 1.80 o 28807 1.81 o 28806 1.81 o 28805 1.81 o 28804 1.81 o 28803 1.81 o 28802 1.82 o 28801 1.82 o 28800 1.82 o 28799 1.82 o 28798 1.82 o 28797 1.83 o 28796 1.83 o 28795 1.83 o 28794 1.83 o 28793 1.83 o 28792 1.84 o 28791 1.84 o 28790 1.84 o 28789 1.84 o 28788 1.85 o 28787 1.85 o 28786 1.85 o 28785 1.85 o 28784 1.85 o 28783 1.86 o 28782 1.86 o 28781 1.86 o 28780 1.86 o 28779 1.86 o 28778 1.87 o 28777 1.87 o 28776 1.87 o 28775 1.87 o 28774 1.88 o 28773 1.88 o 28772 1.88 o 28771 1.88 o 28770 1.88 o 28769 1.89 o 28768 1.89 o 28767 1.89 o 28766 1.89 o 28765 1.89 o 28764 1.90 o 28763 1.90 o 28762 1.90 o 28761 1.90 o 28759 1.91 o 28758 1.91 o 28757 1.91 o 28756 1.91 o 28755 1.91 o 28754 1.92 o 28753 1.92 o 28752 1.92 o 28751 1.92 o 28750 1.92 o 28749 1.93 o 28748 1.93 o 28747 1.93 o 28746 1.93 o 28745 1.94 o 28744 1.94 o 28743 1.94 o 28742 1.94 o 28741 1.94 o 28740 1.95 o 28739 1.95 o 28738 1.95 o 28737 1.95 o 28736 1.96 o 28735 1.96 o 28734 1.96 o 28733 1.96 o 28732 1.96 o 28731 1.97 o 28730 1.97 o 28729 1.97 o 28728 1.97 o 28727 1.98 o 28726 1.98 o 28725 1.98 o 28724 1.98 o 28723 1.98 o 28722 1.99 o 28721 1.99 o 28720 1.99 o 28718 1.99 o 28717 1.99 o 28716 2.00 o 28715 2.00 o 28714 2.00 o 28713 2.00 o 28712 2.01 o 28711 2.01 o 28710 2.01 o 28709 2.01 o 28708 2.01 o 28707 2.02 o 28706 2.02 o 28705 2.02 o 28704 2.02 o 28703 2.03 o 28702 2.03 o 28701 2.03 o 28697 2.03 o 28696 2.03 o 28695 2.04 o 28694 2.04 o 28693 2.04 o 28692 2.04 o 28691 2.05 o 28690 2.05 o 28689 2.05 o 28688 2.05 o 28687 2.05 o 28686 2.06 o 28685 2.06 o 28684 2.06 o 28683 2.06 o 28682 2.07 o 28681 2.07 o 28680 2.07 o 28679 2.07 o 28678 2.07 o 28677 2.08 o 28676 2.08 o 28675 2.08 o 28674 2.08 o 28673 2.09 o 28672 2.09 o 28671 2.09 o 28670 2.09 o 28669 2.09 o 28668 2.10 o 28667 2.10 o 28666 2.10 o 28665 2.10 o 28664 2.10 o 28663 2.11 o 28662 2.11 o 28652 2.11 o 28651 2.12 o 28625 2.12 o 28622 2.12 o 28579 2.12 o 28578 2.13 o 28577 2.13 o 28534 2.13 o 28531 2.13 o 28529 2.14 o 28527 2.14 o 28520 2.14 o 28519 2.15 o 28518 2.15 o 28517 2.15 o 28516 2.15 o 28515 2.16 o 28189 2.16 o 28143 2.16 o 28136 2.16 o 28135 2.17 o 28130 2.17 o 28129 2.17 o 28128 2.17 o 28127 2.18 o 28126 2.18 o 28125 2.18 o 28124 2.19 o 28123 2.19 o 28122 2.19 o 27923 2.19 o 27918 2.20 o 27917 2.20 o 27916 2.20 o 27915 2.20 o 27914 2.21 o 27913 2.21 o 27912 2.21 o 27884 2.21 o 27883 2.21 o 27882 2.22 o 27881 2.22 o 27852 2.22 o 27844 2.22 o 27843 2.23 o 27842 2.23 o 27831 2.23 o 27828 2.23 o 27827 2.24 o 27807 2.24 o 27806 2.24 o 27805 2.25 o 27804 2.25 o 27803 2.25 o 27802 2.26 o 27801 2.26 o 27800 2.26 o 27488 2.26 o 27483 2.27 o 27482 2.27 o 27481 2.27 o 27437 2.27 o 27436 2.28 o 27435 2.28 o 27427 2.28 o 27420 2.28 o 27419 2.28 o 27418 2.29 o 27412 2.29 o 27411 2.29 o 27409 2.29 o 27408 2.30 o 27406 2.30 o 27405 2.30 o 27404 2.30 o 27403 2.31 o 27401 2.31 o 27400 2.31 o 27397 2.31 o 27395 2.31 o 27394 2.32 o 27393 2.32 o 27327 2.32 o 27326 2.32 o 27324 2.32 o 26231 2.33 o 26230 2.33 o 26229 2.33 o 26228 2.33 o 26227 2.34 o 26226 2.34 o 26225 2.34 o 26128 2.34 o 26126 2.35 o 26125 2.35 o 26119 2.35 o 26118 2.35 o 26117 2.36 o 26116 2.36 o 26115 2.36 o 26114 2.36 o 26113 2.36 o 26112 2.37 o 26110 2.37 o 26109 2.37 o 26108 2.37 o 26104 2.37 o 26103 2.38 o 26102 2.38 o 26095 2.38 o 26062 2.39 o 26061 2.39 o 26060 2.39 o 26059 2.39 o 26058 2.40 o 26057 2.40 o 26056 2.40 o 26055 2.40 o 26054 2.40 o 26053 2.41 o 26052 2.41 o 26051 2.41 o 26050 2.41 o 26049 2.42 o 26048 2.42 o 26047 2.42 o 26046 2.42 o 26045 2.42 o 26044 2.43 o 26043 2.43 o 26042 2.43 o 26041 2.43 o 26040 2.44 o 26039 2.44 o 26038 2.44 o 26037 2.44 o 26036 2.44 o 26035 2.45 o 26034 2.45 o 26033 2.45 o 26032 2.45 o 26031 2.45 o 26030 2.46 o 26029 2.46 o 26028 2.46 o 26027 2.46 o 26026 2.47 o 26025 2.47 o 26024 2.47 o 26023 2.47 o 26022 2.47 o 26021 2.48 o 26020 2.48 o 26019 2.48 o 26018 2.48 o 26017 2.48 o 26016 2.49 o 26015 2.49 o 26014 2.49 o 26013 2.49 o 26012 2.50 o 26011 2.50 o 26010 2.50 o 26009 2.50 o 26008 2.50 o 26007 2.51 o 26006 2.51 o 26005 2.51 o 26004 2.51 o 26003 2.51 o 26002 2.52 o 26001 2.52 o 26000 2.52 o 25999 2.52 o 25998 2.53 o 25997 2.53 o 25996 2.53 o 25995 2.53 o 25994 2.53 o 25993 2.54 o 25992 2.54 o 25991 2.54 o 25990 2.54 o 25989 2.55 o 25988 2.55 o 25987 2.55 o 25986 2.55 o 25985 2.55 o 25984 2.56 o 25983 2.56 o 25982 2.56 o 25981 2.56 o 25980 2.56 o 25979 2.57 o 25978 2.57 o 25977 2.57 o 25976 2.57 o 25975 2.58 o 25974 2.58 o 25973 2.58 o 25972 2.58 o 25971 2.58 o 25970 2.59 o 25969 2.59 o 25968 2.59 o 25967 2.59 o 25966 2.59 o 25965 2.60 o 25964 2.60 o 25963 2.60 o 25962 2.60 o 25961 2.61 o 25960 2.61 o 25959 2.61 o 25958 2.61 o 25957 2.61 o 25956 2.62 o 25955 2.62 o 25954 2.62 o 25953 2.62 o 25952 2.63 o 25951 2.63 o 25950 2.63 o 25949 2.63 o 25948 2.63 o 25947 2.64 o 25946 2.64 o 25945 2.64 o 25944 2.64 o 25943 2.64 o 25942 2.65 o 25941 2.65 o 25940 2.65 o 25939 2.65 o 25938 2.66 o 25937 2.66 o 25936 2.66 o 25935 2.66 o 25934 2.66 o 25559 2.67 o 25532 2.67 o 25531 2.67 o 25523 2.67 o 25437 2.67 o 25436 2.68 o 25433 2.68 o 25422 2.68 o 25333 2.68 o 25329 2.70 o 25328 2.70 o 25327 2.70 o 25326 2.70 o 25325 2.70 o 25324 2.71 o 25323 2.71 o 25322 2.71 o 25321 2.71 o 25320 2.71 o 25318 2.72 o 25317 2.72 o 25316 2.72 o 25315 2.72 o 25314 2.73 o 25313 2.73 o 25312 2.73 o 25311 2.73 o 25310 2.73 o 25309 2.74 o 25308 2.74 o 25307 2.74 o 25306 2.74 o 25305 2.74 o 25304 2.75 o 25303 2.75 o 25302 2.75 o 25301 2.75 o 25287 2.75 o 25272 2.76 o 25271 2.76 o 25270 2.76 o 25260 2.76 o 25183 2.76 o 25182 2.77 o 25177 2.77 o 25166 2.77 o 25120 2.77 o 25119 2.77 o 25117 2.78 o 25110 2.78 o 25109 2.78 o 25108 2.78 o 25107 2.78 o 25101 2.78 o 25078 2.79 o 25076 2.79 o 25069 2.79 o 24898 2.79 o 24887 2.79 o 24886 2.81 o 24789 2.81 o 24777 2.81 o 24773 2.82 o 24772 2.82 o 24752 2.82 o 24751 2.82 o 24743 2.83 o 24741 2.83 o 24740 2.83 o 24732 2.83 o 24731 2.83 o 24729 2.84 o 24716 2.84 o 24694 2.84 o 24681 2.84 o 24657 2.84 o 24656 2.85 o 24649 2.85 o 24648 2.85 o 24641 2.85 o 24627 2.86 o 24626 2.86 o 24625 2.86 o 24624 2.86 o 24620 2.86 o 24614 2.87 o 24613 2.87 o 24612 2.87 o 24611 2.87 o 24609 2.87 o 24606 2.88 o 24604 2.88 o 24603 2.88 o 24601 2.88 o 24600 2.89 o 24598 2.89 o 24597 2.89 o 24596 2.89 o 24595 2.89 o 24594 2.90 o 24593 2.90 o 24592 2.90 o 24590 2.90 o 24589 2.91 o 24588 2.91 o 24587 2.91 o 24586 2.91 o 24585 2.91 o 24584 2.92 o 24583 2.92 o 24580 2.92 o 24577 2.92 o 24576 2.93 o 24575 2.93 o 24550 2.93 o 24541 2.93 o 24540 2.93 o 24525 2.94 o 24511 2.94 o 24510 2.94 o 24509 2.94 o 24495 2.94 o 24494 2.95 o 24491 2.95 o 24483 2.95 o 24480 2.95 o 24473 2.95 o 24470 2.96 o 24461 2.96 o 24451 2.96 o 24446 2.96 o 24444 2.97 o 24430 2.97 o 24423 2.97 o 24420 2.97 o 24418 2.97 o 24417 2.98 o 24406 2.98 o 24399 2.98 o 24398 2.98 o 24373 2.98 o 24371 2.99 o 24367 2.99 o 24243 2.99 o 24231 2.99 o 24204 2.99 o 24193 3.00 o 24185 3.00 o 24184 3.00 o 24183 3.00 o 24181 3.00 o 24170 3.01 o 24169 3.01 o 24165 3.01 o 24162 3.01 o 24160 3.02 o 24156 3.02 o 24155 3.02 o 24141 3.02 o 24111 3.02 o 24097 3.03 o 24094 3.03 o 24093 3.03 o 24087 3.03 o 24086 3.03 o 24085 3.04 o 24084 3.04 o 23987 3.04 o 23982 3.04 o 23975 3.04 o 23967 3.05 o 23966 3.05 o 23965 3.05 o 23955 3.05 o 23947 3.06 o 23925 3.06 o 23920 3.06 o 23919 3.06 o 23918 3.06 o 23916 3.07 o 23908 3.07 o 23907 3.07 o 23875 3.07 o 23871 3.07 o 23869 3.08 o 23855 3.08 o 23851 3.08 o 23725 3.08 o 23722 3.08 o 23713 3.09 o 23708 3.09 o 23700 3.09 o 23698 3.09 o 23690 3.09 o 23676 3.10 o 23675 3.10 o 23669 3.10 o 23668 3.10 o 23629 3.11 o 23628 3.11 o 23626 3.11 o 23625 3.11 o 23622 3.11 o 23621 3.12 o 23620 3.12 o 23615 3.12 o 23614 3.12 o 23613 3.12 o 23611 3.13 o 23610 3.13 o 23609 3.13 o 23608 3.13 o 23602 3.14 o 23601 3.14 o 23599 3.14 o 23592 3.14 o 23591 3.14 o 23590 3.15 o 23589 3.15 o 23587 3.15 o 23580 3.15 o 23579 3.16 o 23578 3.16 o 23576 3.16 o 23575 3.16 o 23572 3.16 o 23571 3.17 o 23570 3.17 o 23566 3.17 o 23565 3.17 o 23564 3.18 o 23563 3.18 o 23562 3.18 o 23561 3.18 o 23559 3.18 o 23558 3.19 o 23557 3.19 o 23556 3.19 o 23555 3.19 o 23554 3.20 o 23553 3.20 o 23552 3.20 o 23544 3.20 o 23543 3.20 o 23505 3.21 o 23503 3.21 o 23495 3.21 o 23491 3.21 o 23490 3.21 o 23487 3.22 o 23479 3.22 o 23471 3.22 o 23442 3.22 o 23400 3.22 o 23391 3.23 o 23376 3.23 o 23362 3.23 o 23356 3.23 o 23317 3.23 o 23312 3.24 o 23309 3.24 o 23149 3.24 o 23147 3.24 o 23142 3.24 o 23128 3.25 o 23127 3.25 o 23103 3.25 o 23101 3.25 o 23095 3.25 o 23092 3.26 o 23091 3.26 o 23090 3.26 o 23089 3.26 o 23083 3.27 o 23078 3.27 o 23077 3.27 o 23076 3.27 o 23067 3.27 o 23066 3.28 o 23065 3.28 o 23064 3.28 o 23063 3.28 o 23062 3.29 o 23061 3.29 o 23060 3.29 o 23059 3.29 o 23058 3.30 o 23056 3.30 o 23055 3.30 o 23054 3.30 o 23053 3.30 o 23052 3.31 o 23051 3.31 o 23050 3.31 o 23049 3.31 o 23048 3.32 o 23047 3.32 o 23046 3.32 o 23045 3.32 o 23044 3.32 o 23043 3.33 o 23042 3.33 o 23041 3.33 o 23040 3.33 o 23039 3.33 o 23038 3.34 o 23037 3.34 o 23036 3.34 o 23035 3.34 o 23034 3.35 o 23033 3.35 o 23032 3.35 o 23031 3.35 o 23030 3.35 o 23029 3.36 o 23028 3.36 o 23027 3.36 o 23026 3.36 o 23025 3.37 o 23024 3.44 o 23023 3.44 o 23019 3.44 o 22908 3.45 o 22892 3.45 o 22891 3.45 o 22887 3.45 o 22873 3.45 o 22867 3.46 o 22866 3.46 o 22858 3.46 o 22850 3.46 o 22848 3.46 o 22844 3.47 o 22843 3.47 o 22842 3.47 o 22841 3.47 o 22839 3.47 o 22810 3.48 o 22807 3.48 o 22791 3.48 o 22790 3.48 o 22783 3.48 o 22781 3.49 o 22775 3.49 o 22774 3.49 o 22771 3.49 o 22767 3.49 o 22744 3.50 o 22743 3.50 o 22726 3.50 o 22725 3.50 o 22717 3.50 o 22716 3.51 o 22715 3.51 o 22713 3.51 o 22712 3.51 o 22711 3.52 o 22710 3.52 o 22709 3.52 o 22708 3.52 o 22706 3.52 o 22704 3.53 o 22703 3.53 o 22702 3.53 o 22701 3.53 o 22700 3.53 o 22699 3.54 o 22683 3.54 o 22680 3.54 o 22678 3.54 o 22676 3.54 o 22675 3.55 o 22672 3.55 o 22668 3.55 o 22667 3.55 o 22666 3.55 o 22665 3.56 o 22662 3.56 o 22661 3.56 o 22660 3.56 o 22659 3.57 o 22658 3.57 o 22657 3.57 o 22654 3.57 o 22650 3.57 o 22649 3.58 o 22637 3.58 o 22636 3.58 o 22627 3.58 o 22626 3.58 o 22625 3.59 o 22624 3.59 o 22623 3.59 o 22620 3.59 o 22618 3.59 o 22617 3.60 o 22616 3.60 o 22614 3.60 o 22612 3.60 o 22604 3.61 o 22593 3.61 o 22592 3.61 o 22591 3.61 o 22590 3.61 o 22589 3.62 o 22588 3.62 o 22586 3.62 o 22585 3.62 o 22584 3.62 o 22583 3.63 o 22582 3.63 o 22581 3.63 o 22580 3.63 o 22579 3.64 o 22578 3.64 o 22577 3.64 o 22576 3.64 o 22571 3.64 o 22570 3.65 o 22569 3.65 o 22568 3.65 o 22566 3.65 o 22565 3.66 o 22564 3.66 o 22562 3.66 o 22556 3.66 o 22553 3.66 o 22552 3.67 o 22551 3.67 o 22550 3.67 o 22549 3.67 o 22548 3.67 o 22547 3.68 o 22544 3.68 o 22543 3.68 o 22541 3.68 o 22540 3.69 o 22539 3.69 o 22537 3.69 o 22536 3.69 o 22535 3.69 o 22534 3.70 o 22533 3.70 o 22532 3.70 o 22531 3.70 o 22530 3.71 o 22529 3.71 o 22528 3.71 o 22509 3.71 o 22490 3.71 o 22489 3.72 o 22488 3.72 o 22478 3.72 o 22471 3.72 o 22462 3.72 o 22447 3.73 o 22443 3.73 o 22442 3.73 o 22435 3.73 o 22423 3.73 o 22420 3.74 o 22371 4.61 o 22370 5.02 o 22369 5.02 o 22368 5.02 o 22367 5.03 o 22366 5.03 o 22365 5.03 o 22364 5.03 o 22363 5.03 o 22362 5.04 o 22361 5.04 o 22360 5.04 o 22359 5.04 o 22358 5.05 o 22357 5.05 o 22356 5.05 o 22355 5.05 o 22354 5.05 o 22353 5.06 o 22352 5.06 o 22351 5.06 o 22350 5.06 o 22349 5.07 o 22348 5.07 o 22347 5.07 o 22346 5.07 o 22345 5.07 o 22344 5.08 o 22343 5.08 o 22342 5.08 o 22341 5.08 o 22340 5.09 o 22339 5.09 o 22338 5.09 o 22337 5.09 o 22336 5.09 o 22335 5.10 o 22334 5.10 o 22333 5.10 o 22332 5.10 o 22331 5.11 o 22330 5.11 o 22329 5.11 o 22328 5.11 o 22327 5.11 o 22326 5.12 o 22325 5.12 o 22324 5.12 o 22323 5.12 o 22322 5.13 o 22321 5.13 o 22320 5.13 o 22319 5.13 o 22318 5.13 o 22317 5.14 o 22316 5.14 o 22315 5.14 o 22314 5.14 o 22313 5.15 o 22312 5.15 o 22311 5.15 o 22310 5.15 o 22309 5.15 o 22308 5.16 o 22307 5.16 o 22306 5.16 o 22305 5.16 o 22304 5.17 o 22303 5.17 o 22302 5.17 o 22301 5.17 o 22300 5.17 o 22299 5.18 o 22298 5.18 o 22297 5.18 o 22296 5.18 o 22295 5.19 o 22294 5.19 o 22293 5.19 o 22292 5.19 o 22291 5.19 o 22290 5.20 o 22289 5.20 o 22288 5.20 o 22287 5.20 o 22286 5.21 o 22285 5.21 o 22284 5.21 o 22283 5.21 o 22282 5.22 o 22281 5.22 o 22280 5.22 o 22279 5.22 o 22278 5.22 o 22277 5.23 o 22276 5.23 o 22275 5.23 o 22274 5.23 o 22273 5.24 o 22272 5.24 o 22271 5.24 o 22270 5.24 o 22269 5.24 o 22268 5.25 o 22267 5.25 o 22266 5.25 o 22265 5.25 o 22264 5.26 o 22263 5.26 o 22262 5.26 o 22261 5.26 o 22260 5.26 o 22259 5.27 o 22258 5.27 o 22257 5.27 o 22256 5.27 o 22255 5.28 o 22254 5.28 o 22253 5.28 o 22252 5.28 o 22251 5.28 o 22250 5.29 o 22249 5.29 o 22248 5.29 o 22247 5.29 o 22246 5.30 o 22245 5.30 o 22244 5.30 o 22243 5.30 o 22242 5.30 o 22241 5.31 o 22240 5.31 o 22239 5.31 o 22238 5.31 o 22237 5.32 o 22236 5.32 o 22235 5.32 o 22234 5.32 o 22233 5.32 o 22232 5.33 o 22231 5.33 o 22230 5.33 o 22229 5.33 o 22228 5.34 o 22227 5.34 o 22226 5.34 o 22225 5.34 o 22224 5.34 o 22223 5.35 o 22222 5.35 o 22221 5.35 o 22220 5.35 o 22219 5.36 o 22218 5.36 o 22217 5.36 o 22216 5.36 o 22215 5.36 o 22214 5.37 o 22213 5.37 o 22212 5.37 o 22211 5.37 o 22210 5.38 o 22209 5.38 o 22208 5.38 o 22207 5.38 o 22206 5.38 o 22205 5.39 o 22204 5.39 o 22203 5.39 o 22202 5.39 o 22201 5.40 o 22200 5.40 o 22199 5.40 o 22198 5.40 o 22197 5.40 o 22196 5.41 o 22195 5.41 o 22194 5.41 o 22193 5.41 o 22192 5.42 o 22191 5.42 o 22190 5.42 o 22189 5.42 o 22188 5.42 o 22187 5.43 o 22186 5.43 o 22185 5.43 o 22184 5.43 o 22183 5.44 o 22182 5.44 o 22181 5.44 o 22180 5.44 o 22179 5.44 o 22178 5.45 o 22177 5.45 o 22176 5.45 o 22175 5.45 o 22174 5.46 o 22173 5.46 o 22172 5.46 o 22171 5.46 o 22170 5.46 o 22169 5.47 o 22168 5.47 o 22167 5.47 o 22166 5.47 o 22165 5.48 o 22164 5.48 o 22163 5.48 o 22162 5.48 o 22161 5.49 o 22160 5.49 o 22159 5.49 o 22158 5.49 o 22157 5.49 o 22156 5.50 o 22155 5.50 o 22154 5.50 o 22153 5.50 o 22152 5.51 o 22151 5.51 o 22150 5.51 o 22149 5.51 o 22148 5.51 o 22147 5.52 o 22146 5.52 o 22145 5.52 o 22144 5.52 o 22143 5.53 o 22142 5.53 o 22141 5.53 o 22140 5.53 o 22139 5.53 o 22138 5.54 o 22137 5.54 o 22136 5.54 o 22135 5.54 o 22134 5.55 o 22133 5.55 o 22132 5.55 o 22131 5.55 o 22130 5.55 o 22129 5.56 o 22128 5.56 o 22127 5.56 o 22126 5.56 o 22125 5.57 o 22124 5.57 o 22123 5.57 o 22122 5.57 o 22121 5.57 o 22120 5.58 o 22119 5.58 o 22118 5.58 o 22117 5.58 o 22116 6.10 o 22115 6.10 o 22114 6.11 o 22113 6.11 o 22112 6.11 o 22111 6.11 o 22110 6.12 o 22109 6.12 o 22108 6.12 o 22107 6.12 o 22106 6.12 o 22105 6.13 o 22104 6.13 o 22103 6.13 o 22102 6.13 o 22101 6.14 o 22100 6.14 o 22099 6.14 o 22098 6.14 o 22097 6.14 o 22096 6.15 o 22095 6.15 o 22094 6.15 o 22093 6.15 o 22092 6.16 o 22091 6.16 o 22090 6.16 o 22089 6.16 o 22088 6.16 o 22087 6.17 o 22086 6.17 o 22085 6.17 o 22084 6.17 o 22083 6.18 o 22082 6.18 o 22081 6.18 o 22080 6.18 o 22079 6.18 o 22078 6.19 o 22077 6.19 o 22076 6.19 o 22075 6.19 o 22074 6.19 o 22073 6.20 o 22072 6.20 o 22071 6.20 o 22070 6.20 o 22069 6.21 o 22068 6.21 o 22067 6.21 o 22066 6.21 o 22065 6.21 o 22064 6.22 o 22063 6.22 o 22062 6.22 o 22061 6.22 o 22060 6.23 o 22059 6.23 o 22058 6.23 o 22057 6.23 o 22056 6.23 o 22055 6.24 o 22054 6.24 o 22053 6.24 o 22052 6.24 o 22051 6.25 o 22050 6.25 o 22049 6.25 o 22048 6.25 o 22047 6.25 o 22046 6.26 o 22045 6.26 o 22044 6.26 o 22043 6.26 o 22042 6.27 o 22041 6.27 o 22040 6.27 o 22039 6.27 o 22038 6.27 o 22037 6.28 o 22036 6.28 o 22035 6.28 o 22034 6.28 o 22033 6.29 o 22032 6.29 o 22031 6.29 o 22030 6.29 o 22029 6.29 o 22028 6.30 o 22027 6.30 o 22026 6.30 o 22025 6.30 o 22024 6.31 o 22023 6.31 o 22022 6.31 o 22021 6.31 o 22020 6.31 o 22019 6.32 o 22018 6.32 o 22017 6.32 o 22016 6.32 o 22015 6.32 o 22013 6.33 o 22012 6.33 o 22011 6.33 o 22010 6.33 o 22009 6.34 o 22008 6.34 o 22007 6.34 o 22006 6.34 o 22005 6.34 o 22004 6.35 o 22003 6.35 o 22002 6.35 o 22001 6.35 o 22000 6.35 o 21999 6.36 o 21998 6.36 o 21997 6.36 o 21996 6.36 o 21995 6.37 o 21994 6.37 o 21993 6.37 o 21992 6.37 o 21991 6.37 o 21990 6.38 o 21989 6.38 o 21988 6.38 o 21987 6.38 o 21986 6.39 o 21985 6.39 o 21984 6.39 o 21983 6.39 o 21982 6.39 o 21981 6.40 o 21980 6.40 o 21979 6.40 o 21978 6.40 o 21977 6.40 o 21976 6.41 o 21975 6.41 o 21974 6.41 o 21973 6.41 o 21972 6.42 o 21971 6.42 o 21970 6.42 o 21969 6.42 o 21968 6.42 o 21967 6.43 o 21966 6.43 o 21965 6.43 o 21964 6.43 o 21963 6.44 o 21962 6.44 o 21961 6.44 o 21960 6.44 o 21959 6.44 o 21958 6.45 o 21957 6.45 o 21956 6.45 o 21955 6.45 o 21954 6.45 o 21953 6.46 o 21952 6.46 o 21951 6.46 o 21950 6.46 o 21949 6.47 o 21948 6.47 o 21947 6.47 o 21946 6.47 o 21945 6.47 o 21944 6.48 o 21943 6.48 o 21942 6.48 o 21941 6.48 o 21940 6.49 o 21939 6.49 o 21938 6.49 o 21937 6.49 o 21936 6.49 o 21935 6.50 o 21934 6.50 o 21933 6.50 o 21932 6.50 o 21931 6.50 o 21930 6.51 o 21929 6.51 o 21928 6.51 o 21927 6.51 o 21926 6.52 o 21925 6.52 o 21924 6.52 o 21923 6.52 o 21922 6.52 o 21921 6.53 o 21920 6.53 o 21919 6.53 o 21918 6.53 o 21917 6.54 o 21916 6.54 o 21915 6.54 o 21914 6.54 o 21913 6.54 o 21912 6.55 o 21911 6.55 o 21910 6.55 o 21909 6.55 o 21908 6.55 o 21907 6.56 o 21906 6.56 o 21905 6.56 o 21904 6.56 o 21903 6.57 o 21902 6.57 o 21901 6.57 o 21900 6.57 o 21896 6.57 o 21895 6.58 o 21894 6.58 o 21884 6.58 o 21883 6.58 o 21882 6.59 o 21881 6.59 o 21880 6.59 o 21879 6.59 o 21878 6.59 o 21864 6.60 o 21863 6.60 o 21862 6.60 o 21861 6.60 o 21860 6.60 o 21859 6.61 o 21858 6.61 o 21857 6.61 o 21856 6.61 o 21855 6.61 o 21849 6.62 o 21848 6.62 o 21843 6.62 o 21842 6.62 o 21841 6.63 o 21840 6.63 o 21839 6.63 o 21838 6.63 o 21837 6.63 o 21831 6.64 o 21830 6.64 o 21829 6.64 o 21828 6.64 o 21827 6.64 o 21826 6.65 o 21825 6.65 o 21820 6.65 o 21819 6.65 o 21818 6.66 o 21817 6.66 o 21457 6.66 o 21456 6.66 o 21455 6.66 o 21454 6.67 o 21453 6.67 o 21452 6.67 o 21451 6.67 o 21450 7.01 o 21449 7.02 o 21448 7.02 o 21447 7.02 o 21446 7.02 o 21445 7.03 o 21444 7.03 o 21443 7.03 o 21442 7.03 o 21441 7.03 o 21440 7.04 o 21439 7.04 o 21438 7.04 o 21437 7.04 o 21436 7.05 o 21435 7.05 o 21434 7.05 o 21433 7.05 o 21432 7.05 o 21431 7.06 o 21430 7.06 o 21429 7.06 o 21428 7.06 o 21427 7.06 o 21426 7.07 o 21425 7.07 o 21424 7.07 o 21423 7.07 o 21422 7.08 o 21421 7.08 o 21420 7.08 o 21419 7.08 o 21418 7.08 o 21417 7.09 o 21416 7.09 o 21415 7.09 o 21414 7.09 o 21413 7.10 o 21412 7.10 o 21411 7.10 o 21410 7.10 o 21409 7.10 o 21408 7.11 o 21407 7.11 o 21406 7.11 o 21405 7.11 o 21404 7.12 o 21403 7.12 o 21402 7.12 o 21401 7.12 o 21400 7.12 o 21399 7.13 o 21398 7.13 o 21397 7.13 o 21396 7.13 o 21395 7.14 o 21394 7.14 o 21393 7.14 o 21392 7.14 o 21391 7.14 o 21390 7.15 o 21389 7.15 o 21388 7.15 o 21387 7.15 o 21386 7.15 o 21385 7.16 o 21384 7.16 o 21383 7.16 o 21382 7.16 o 21381 7.17 o 21380 7.17 o 21379 7.17 o 21378 7.17 o 21377 7.17 o 21376 7.18 o 21375 7.18 o 21374 7.18 o 21373 7.18 o 21372 7.19 o 21371 7.19 o 21370 7.19 o 21369 7.19 o 21368 7.19 o 21367 7.20 o 21366 7.20 o 21365 7.20 o 21364 7.20 o 21363 7.21 o 21362 7.21 o 21361 7.21 o 21360 7.21 o 21359 7.21 o 21358 7.22 o 21357 7.22 o 21356 7.22 o 21355 7.22 o 21354 7.23 o 21353 7.23 o 21352 7.23 o 21351 7.23 o 21350 7.23 o 21349 7.24 o 21348 7.24 o 21347 7.24 o 21346 7.24 o 21345 7.25 o 21344 7.25 o 21343 7.25 o 21342 7.25 o 21341 7.25 o 21340 7.26 o 21339 7.26 o 21338 7.26 o 21337 7.26 o 21336 7.26 o 21335 7.27 o 21334 7.27 o 21333 7.27 o 21332 7.27 o 21331 7.28 o 21330 7.28 o 21329 7.28 o 21328 7.28 o 21327 7.28 o 21326 7.29 o 21325 7.29 o 21324 7.29 o 21323 7.29 o 21322 7.30 o 21321 7.30 o 21320 7.30 o 21319 7.30 o 21318 7.30 o 21317 7.31 o 21316 7.31 o 21315 7.31 o 21314 7.31 o 21313 7.31 o 21312 7.32 o 21311 7.32 o 21310 7.32 o 21309 7.32 o 21308 7.33 o 21307 7.33 o 21306 7.33 o 21305 7.33 o 21304 7.33 o 21303 7.34 o 21302 7.34 o 21301 7.34 o 21300 7.34 o 21299 7.35 o 21298 7.35 o 21297 7.35 o 21296 7.35 o 21295 7.35 o 21294 7.36 o 21293 7.36 o 21292 7.36 o 21291 7.36 o 21290 7.37 o 21289 7.37 o 21288 7.37 o 21287 7.37 o 21286 7.37 o 21285 7.38 o 21284 7.38 o 21283 7.38 o 21282 7.38 o 21281 7.39 o 21280 7.39 o 21279 7.39 o 21278 7.39 o 21277 7.39 o 21276 7.40 o 21275 7.40 o 21274 7.40 o 21273 7.40 o 21272 7.41 o 21271 7.41 o 21270 7.41 o 21269 7.41 o 21268 7.41 o 21267 7.42 o 21266 7.42 o 21265 7.42 o 21264 7.42 o 21263 7.42 o 21262 7.43 o 21261 7.43 o 21260 7.43 o 21259 7.43 o 21258 7.44 o 21257 7.44 o 21256 7.44 o 21255 7.44 o 21254 7.44 o 21253 7.45 o 21252 7.45 o 21251 7.45 o 21250 7.45 o 21249 7.46 o 21248 7.46 o 21247 7.46 o 21246 7.46 o 21245 7.46 o 21244 7.47 o 21243 7.47 o 21242 7.47 o 21241 7.47 o 21240 7.48 o 21239 7.48 o 21238 7.48 o 21237 7.48 o 21236 7.48 o 21235 7.49 o 21234 7.49 o 21233 7.49 o 21232 7.49 o 21231 7.50 o 21230 7.50 o 21229 7.50 o 21228 7.50 o 21227 7.50 o 21226 7.51 o 21225 7.51 o 21224 7.51 o 21223 7.51 o 21222 7.51 o 21221 7.52 o 21220 7.52 o 21219 7.52 o 21218 7.52 o 21217 7.53 o 21216 7.53 o 21215 7.53 o 21214 7.53 o 21213 7.53 o 21212 7.54 o 21211 7.54 o 21210 7.54 o 21209 7.54 o 21208 7.55 o 21207 7.55 o 21206 7.55 o 21205 7.55 o 21204 7.55 o 21203 7.56 o 21202 7.56 o 21201 7.56 o 21200 7.56 o 21199 7.57 o 21198 7.57 o 21197 7.57 o 21196 7.57 o 21195 7.57 o 21194 7.58 o 21193 7.92 o 21192 7.92 o 21191 7.93 o 21190 7.93 o 21189 7.93 o 21188 7.93 o 21187 7.93 o 21186 7.94 o 21185 7.94 o 21184 7.94 o 21183 7.94 o 21182 7.95 o 21181 7.95 o 21180 7.95 o 21179 7.95 o 21178 7.95 o 21177 7.96 o 21176 7.96 o 21175 7.96 o 21174 7.96 o 21173 7.97 o 21172 7.97 o 21171 7.97 o 21170 7.97 o 21169 7.97 o 21168 7.98 o 21167 7.98 o 21166 7.98 o 21165 7.98 o 21164 7.99 o 21163 7.99 o 21162 7.99 o 21161 7.99 o 21160 7.99 o 21159 8.00 o 21158 8.00 o 21157 8.00 o 21156 8.00 o 21155 8.01 o 21154 8.01 o 21153 8.01 o 21152 8.01 o 21151 8.01 o 21150 8.02 o 21149 8.02 o 21148 8.02 o 21147 8.02 o 21146 8.02 o 21145 8.03 o 21144 8.03 o 21143 8.03 o 21142 8.03 o 21141 8.04 o 21140 8.04 o 21139 8.04 o 21138 8.04 o 21137 8.04 o 21136 8.05 o 21135 8.05 o 21134 8.05 o 21133 8.05 o 21132 8.06 o 21131 8.06 o 21130 8.06 o 21129 8.06 o 21128 8.06 o 21127 8.07 o 21126 8.07 o 21125 8.07 o 21124 8.07 o 21123 8.08 o 21122 8.08 o 21121 8.08 o 21120 8.08 o 21119 8.08 o 21118 8.09 o 21117 8.09 o 21116 8.09 o 21115 8.09 o 21114 8.10 o 21113 8.10 o 21112 8.10 o 21111 8.10 o 21110 8.10 o 21109 8.11 o 21108 8.11 o 21107 8.11 o 21106 8.11 o 21105 8.11 o 21104 8.12 o 21103 8.12 o 21102 8.12 o 21101 8.12 o 21100 8.13 o 21099 8.13 o 21098 8.13 o 21097 8.13 o 21096 8.13 o 21095 8.14 o 21094 8.14 o 21093 8.14 o 21092 8.14 o 21091 8.15 o 21090 8.15 o 21089 8.15 o 21088 8.15 o 21087 8.15 o 21086 8.16 o 21085 8.16 o 21084 8.16 o 21083 8.16 o 21082 8.17 o 21081 8.17 o 21080 8.17 o 21079 8.17 o 21078 8.17 o 21077 8.18 o 21076 8.18 o 21075 8.18 o 21074 8.18 o 21073 8.19 o 21072 8.19 o 21071 8.19 o 21070 8.19 o 21069 8.19 o 21068 8.20 o 21067 8.20 o 21066 8.20 o 21065 8.20 o 21064 8.21 o 21063 8.21 o 21062 8.21 o 21061 8.21 o 21060 8.21 o 21059 8.22 o 21058 8.22 o 21057 8.22 o 21056 8.22 o 21055 8.22 o 21054 8.23 o 21053 8.23 o 21052 8.23 o 21051 8.23 o 21050 8.24 o 21049 8.24 o 21048 8.24 o 21047 8.24 o 21046 8.24 o 21045 8.25 o 21044 8.25 o 21043 8.25 o 21042 8.25 o 21041 8.26 o 21040 8.26 o 21039 8.26 o 21038 8.26 o 21037 8.26 o 21036 8.27 o 21035 8.27 o 21034 8.27 o 21033 8.27 o 21032 8.28 o 21031 8.28 o 21030 8.28 o 21029 8.28 o 21028 8.28 o 21027 8.29 o 21026 8.29 o 21025 8.29 o 21024 8.29 o 21023 8.30 o 21022 8.30 o 21021 8.30 o 21020 8.30 o 21019 8.30 o 21018 8.31 o 21017 8.31 o 21016 8.31 o 21015 8.31 o 21014 8.32 o 21013 8.32 o 21012 8.32 o 21011 8.32 o 21010 8.32 o 21009 8.33 o 21008 8.33 o 21007 8.33 o 21006 8.33 o 21005 8.34 o 21004 8.34 o 21003 8.34 o 21002 8.34 o 21001 8.34 o 21000 8.35 o 20999 8.35 o 20998 8.35 o 20997 8.35 o 20996 8.36 o 20995 8.36 o 20994 8.36 o 20993 8.36 o 20992 8.36 o 20991 8.37 o 20990 8.37 o 20989 8.37 o 20988 8.37 o 20987 8.38 o 20986 8.38 o 20985 8.38 o 20984 8.38 o 20983 8.38 o 20982 8.39 o 20981 8.39 o 20980 8.39 o 20979 8.39 o 20978 8.39 o 20977 8.40 o 20976 8.40 o 20975 8.40 o 20974 8.40 o 20973 8.41 o 20972 8.41 o 20971 8.41 o 20970 8.41 o 20969 8.41 o 20968 8.42 o 20967 8.42 o 20966 8.42 o 20965 8.42 o 20964 8.43 o 20963 8.43 o 20962 8.43 o 20961 8.43 o 20960 8.43 o 20959 8.44 o 20958 8.44 o 20957 8.44 o 20956 8.44 o 20955 8.44 o 20954 8.45 o 20953 8.45 o 20952 8.45 o 20951 8.45 o 20950 8.46 o 20949 8.46 o 20948 8.46 o 20947 8.46 o 20946 8.46 o 20945 8.47 o 20944 8.47 o 20943 8.47 o 20942 8.47 o 20941 8.47 o 20940 8.48 o 20939 8.48 o 20938 8.48 o 20937 8.48 o 20858 8.49 o 20857 8.62 o 20856 8.62 o 20855 8.62 o 20854 8.63 o 20853 8.63 o 20852 8.63 o 20850 8.63 o 20849 8.64 o 20848 8.64 o 20847 8.64 o 20846 8.64 o 20845 8.64 o 20844 8.65 o 20843 8.65 o 20842 8.65 o 20841 8.65 o 20840 8.65 o 20839 8.66 o 20838 8.66 o 20837 8.66 o 20836 8.66 o 20835 8.67 o 20834 8.67 o 20833 8.67 o 20832 8.67 o 20831 8.67 o 20830 8.68 o 20829 8.68 o 20828 8.68 o 20827 8.68 o 20826 8.69 o 20825 8.69 o 20824 8.69 o 20823 8.69 o 20822 8.69 o 20821 8.70 o 20820 8.70 o 20819 8.70 o 20818 8.70 o 20817 8.71 o 20816 8.71 o 20815 8.71 o 20814 8.71 o 20813 8.71 o 20812 8.72 o 20811 8.72 o 20809 8.72 o 20808 8.72 o 20807 8.72 o 20806 8.73 o 20805 8.73 o 20804 8.73 o 20803 8.73 o 20802 8.74 o 20801 8.74 o 20800 8.74 o 20799 8.74 o 20797 8.75 o 20796 8.75 o 20795 8.75 o 20794 8.75 o 20792 8.75 o 20790 8.76 o 20789 8.76 o 20788 8.76 o 20786 8.76 o 20785 8.76 o 20784 8.77 o 20782 8.77 o 20781 8.77 o 20780 8.77 o 20779 8.78 o 20778 8.78 o 20777 8.78 o 20776 8.78 o 20774 8.78 o 20773 8.79 o 20772 8.79 o 20771 8.79 o 20770 8.79 o 20769 8.80 o 20768 8.80 o 20767 8.80 o 20766 8.80 o 20765 8.80 o 20764 8.81 o 20763 8.81 o 20762 8.81 o 20761 8.81 o 20760 8.82 o 20759 8.82 o 20758 8.82 o 20757 8.82 o 20756 8.82 o 20755 8.83 o 20754 8.83 o 20753 8.83 o 20752 8.83 o 20751 8.83 o 20750 8.84 o 20749 8.84 o 20747 8.84 o 20746 8.84 o 20744 8.85 o 20743 8.85 o 20742 8.85 o 20741 8.85 o 20740 8.85 o 20739 8.86 o 20738 8.86 o 20737 8.86 o 20736 8.86 o 20735 8.87 o 20734 8.87 o 20733 8.87 o 20732 8.87 o 20731 8.87 o 20730 8.88 o 20729 8.88 o 20728 8.88 o 20727 8.88 o 20726 8.88 o 20724 8.89 o 20723 8.89 o 20722 8.89 o 20721 8.89 o 20720 8.90 o 20719 8.90 o 20717 8.90 o 20716 8.90 o 20715 8.90 o 20712 8.91 o 20708 8.91 o 20707 8.91 o 20706 8.91 o 20705 8.92 o 20704 8.92 o 20702 8.92 o 20700 8.92 o 20699 8.92 o 20698 8.93 o 20696 8.93 o 20695 8.93 o 20694 8.93 o 20693 8.93 o 20692 8.94 o 20691 8.94 o 20689 8.94 o 20687 8.94 o 20686 8.95 o 20685 8.95 o 20684 8.95 o 20683 8.95 o 20682 8.95 o 20681 8.96 o 20680 8.96 o 20679 8.96 o 20678 8.96 o 20677 8.97 o 20675 8.97 o 20674 8.97 o 20673 8.97 o 20672 8.97 o 20671 8.98 o 20669 8.98 o 20668 8.98 o 20665 8.98 o 20664 8.98 o 20663 8.99 o 20662 8.99 o 20661 8.99 o 20660 8.99 o 20659 9.00 o 20658 9.00 o 20657 9.00 o 20656 9.00 o 20655 9.00 o 20654 9.01 o 20652 9.01 o 20651 9.01 o 20650 9.01 o 20649 9.02 o 20648 9.02 o 20647 9.02 o 20646 9.02 o 20645 9.02 o 20644 9.03 o 20643 9.03 o 20642 9.03 o 20641 9.03 o 20640 9.04 o 20639 9.04 o 20637 9.04 o 20636 9.04 o 20635 9.04 o 20634 9.05 o 20632 9.05 o 20631 9.05 o 20630 9.05 o 20629 9.06 o 20628 9.06 o 20627 9.06 o 20626 9.06 o 20625 9.06 o 20624 9.07 o 20623 9.07 o 20622 9.07 o 20620 9.07 o 20619 9.08 o 20618 9.08 o 20616 9.08 o 20615 9.08 o 20614 9.08 o 20613 9.09 o 20612 9.09 o 20611 9.09 o 20610 9.09 o 20609 9.10 o 20608 9.10 o 20607 9.10 o 20606 9.10 o 20605 9.34 o 20603 9.34 o 20602 9.34 o 20601 9.34 o 20600 9.35 o 20599 9.35 o 20598 9.35 o 20597 9.35 o 20596 9.35 o 20595 9.36 o 20594 9.36 o 20593 9.36 o 20592 9.36 o 20591 9.37 o 20590 9.37 o 20589 9.37 o 20588 9.37 o 20587 9.37 o 20586 9.38 o 20585 9.38 o 20584 9.38 o 20583 9.38 o 20582 9.39 o 20581 9.39 o 20580 9.39 o 20579 9.39 o 20578 9.39 o 20577 9.40 o 20576 9.40 o 20575 9.40 o 20574 9.40 o 20573 9.40 o 20572 9.41 o 20571 9.41 o 20570 9.41 o 20569 9.41 o 20568 9.42 o 20567 9.42 o 20566 9.42 o 20565 9.42 o 20564 9.42 o 20563 9.43 o 20562 9.43 o 20561 9.43 o 20560 9.43 o 20559 9.44 o 20558 9.44 o 20557 9.44 o 20556 9.44 o 20555 9.44 o 20554 9.45 o 20553 9.45 o 20552 9.45 o 20551 9.45 o 20550 9.46 o 20549 9.46 o 20548 9.46 o 20547 9.46 o 20546 9.46 o 20545 9.47 o 20544 9.47 o 20543 9.47 o 20542 9.47 o 20541 9.48 o 20540 9.48 o 20539 9.48 o 20538 9.48 o 20537 9.48 o 20536 9.49 o 20535 9.49 o 20534 9.49 o 20533 9.49 o 20532 9.50 o 20531 9.50 o 20530 9.50 o 20529 9.50 o 20528 9.50 o 20527 9.51 o 20526 9.51 o 20525 9.51 o 20524 9.51 o 20523 9.51 o 20522 9.52 o 20521 9.52 o 20520 9.52 o 20519 9.52 o 20518 9.53 o 20517 9.53 o 20516 9.53 o 20515 9.53 o 20514 9.53 o 20513 9.54 o 20512 9.54 o 20511 9.54 o 20510 9.54 o 20509 9.55 o 20508 9.55 o 20507 9.55 o 20506 9.55 o 20505 9.55 o 20504 9.56 o 20503 9.56 o 20502 9.56 o 20501 9.56 o 20500 9.57 o 20499 9.57 o 20498 9.57 o 20497 9.57 o 20496 9.57 o 20495 9.58 o 20494 9.58 o 20493 9.58 o 20492 9.58 o 20491 9.59 o 20490 9.59 o 20489 9.59 o 20488 9.59 o 20487 9.59 o 20486 9.60 o 20485 9.60 o 20484 9.60 o 20483 9.60 o 20482 9.61 o 20481 9.61 o 20480 9.61 o 20479 9.61 o 20478 9.61 o 20477 9.62 o 20476 9.62 o 20475 9.62 o 20474 9.62 o 20473 9.63 o 20472 9.63 o 20471 9.63 o 20470 9.63 o 20469 9.63 o 20468 9.64 o 20467 9.64 o 20466 9.64 o 20465 9.64 o 20464 9.64 o 20463 9.65 o 20462 9.65 o 20461 9.65 o 20460 9.65 o 20459 9.66 o 20458 9.66 o 20457 9.66 o 20456 9.66 o 20455 9.66 o 20454 9.67 o 20453 9.67 o 20452 9.67 o 20451 9.67 o 20450 9.68 o 20449 9.68 o 20448 9.68 o 20447 9.68 o 20446 9.68 o 20445 9.69 o 20444 9.69 o 20443 9.69 o 20442 9.69 o 20441 9.70 o 20440 9.70 o 20439 9.70 o 20438 9.70 o 20437 9.70 o 20436 9.71 o 20435 9.71 o 20434 9.71 o 20433 9.71 o 20432 9.71 o 20431 9.72 o 20430 9.72 o 20429 9.72 o 20428 9.72 o 20427 9.73 o 20426 9.73 o 20425 9.73 o 20424 9.73 o 20423 9.73 o 20422 9.74 o 20421 9.74 o 20420 9.74 o 20419 9.74 o 20418 9.75 o 20417 9.75 o 20416 9.75 o 20415 9.75 o 20414 9.75 o 20413 9.76 o 20412 9.76 o 20411 9.76 o 20410 9.76 o 20409 9.77 o 20408 9.77 o 20407 9.77 o 20406 9.77 o 20405 9.77 o 20404 9.78 o 20403 9.78 o 20402 9.78 o 20401 9.78 o 20400 9.78 o 20399 9.79 o 20398 9.79 o 20397 9.79 o 20396 9.79 o 20395 9.80 o 20394 9.80 o 20393 9.80 o 20392 9.80 o 20391 9.80 o 20390 9.81 o 20389 9.81 o 20388 9.81 o 20387 9.81 o 20386 9.82 o 20385 9.82 o 20384 9.82 o 20383 9.82 o 20382 9.82 o 20381 9.83 o 20380 9.83 o 20379 9.83 o 20378 9.83 o 20377 9.84 o 20376 9.84 o 20375 9.84 o 20374 9.84 o 20373 9.84 o 20372 9.85 o 20371 9.85 o 20370 9.85 o 20369 9.85 o 20368 9.85 o 20367 9.86 o 20366 9.86 o 20365 9.86 o 20364 9.86 o 20363 9.87 o 20362 9.87 o 20361 9.87 o 20360 9.87 o 20359 9.87 o 20358 9.88 o 20357 9.88 o 20356 9.88 o 20355 9.88 o 20354 9.89 o 20353 9.89 o 20352 9.89 o 20351 9.89 o 20350 9.89 o 20349 9.90 o 20348 9.90 o 20347 9.90 o 20346 9.90 o 20345 9.91 o 20344 10.83 o 20343 10.83 o 20342 10.83 o 20341 10.84 o 20340 10.84 o 20339 10.84 o 20338 10.84 o 20337 10.84 o 20336 10.85 o 20335 10.85 o 20334 10.85 o 20333 10.85 o 20332 10.86 o 20331 10.86 o 20330 10.86 o 20329 10.86 o 20328 10.86 o 20327 10.87 o 20326 10.87 o 20325 10.87 o 20324 10.87 o 20323 10.87 o 20322 10.88 o 20321 10.88 o 20320 10.88 o 20319 10.88 o 20318 10.89 o 20317 10.89 o 20316 10.89 o 20315 10.89 o 20314 10.89 o 20313 10.90 o 20312 10.90 o 20311 10.90 o 20310 10.90 o 20309 10.91 o 20308 10.91 o 20307 10.91 o 20306 10.91 o 20305 10.91 o 20304 10.92 o 20303 10.92 o 20302 10.92 o 20301 10.92 o 20300 10.92 o 20299 10.93 o 20298 10.93 o 20297 10.93 o 20296 10.93 o 20295 10.94 o 20294 10.94 o 20293 10.94 o 20292 10.94 o 20291 10.94 o 20290 10.95 o 20289 10.95 o 20288 10.95 o 20287 10.95 o 20286 10.96 o 20285 10.96 o 20284 10.96 o 20283 10.96 o 20282 10.96 o 20281 10.97 o 20280 10.97 o 20279 10.97 o 20278 10.97 o 20277 10.97 o 20276 10.98 o 20275 10.98 o 20274 10.98 o 20273 10.98 o 20272 10.99 o 20271 10.99 o 20270 10.99 o 20269 10.99 o 20268 10.99 o 20267 11.00 o 20266 11.00 o 20265 11.00 o 20264 11.00 o 20263 11.01 o 20262 11.01 o 20261 11.01 o 20260 11.01 o 20259 11.01 o 20258 11.02 o 20257 11.02 o 20256 11.02 o 20255 11.02 o 20254 11.02 o 20253 11.03 o 20252 11.03 o 20251 11.03 o 20250 11.03 o 20249 11.04 o 20248 11.04 o 20247 11.04 o 20246 11.04 o 20245 11.04 o 20244 11.05 o 20243 11.05 o 20242 11.05 o 20241 11.05 o 20240 11.06 o 20239 11.06 o 20238 11.06 o 20237 11.06 o 20236 11.06 o 20235 11.07 o 20234 11.07 o 20233 11.07 o 20232 11.07 o 20231 11.07 o 20230 11.08 o 20229 11.08 o 20228 11.08 o 20227 11.08 o 20226 11.09 o 20225 11.09 o 20224 11.11 o 20223 12.89 o 20222 12.89 o 20221 12.89 o 20220 12.89 o 20219 12.90 o 20218 12.90 o 20217 12.90 o 20216 12.90 o 20215 12.90 o 20214 12.91 o 20213 12.91 o 20212 12.91 o 20211 12.91 o 20210 12.92 o 20209 12.92 o 20208 12.92 o 20207 12.92 o 20206 12.92 o 20205 12.93 o 20204 12.93 o 20203 12.93 o 20202 12.93 o 20201 12.93 o 20200 12.94 o 20199 12.94 o 20198 12.94 o 20197 12.94 o 20196 12.95 o 20195 12.95 o 20194 12.95 o 20193 12.95 o 20192 12.95 o 20191 12.96 o 20190 12.96 o 20189 12.96 o 20188 12.96 o 20187 12.97 o 20186 12.97 o 20185 12.97 o 20184 12.97 o 20183 12.97 o 20182 12.98 o 20181 12.98 o 20180 12.98 o 20179 12.98 o 20178 12.98 o 20177 12.99 o 20176 12.99 o 20175 12.99 o 20174 12.99 o 20173 13.00 o 20172 13.00 o 20171 13.00 o 20170 13.00 o 20169 13.00 o 20168 13.01 o 20167 13.01 o 20166 13.01 o 20165 13.01 o 20164 13.02 o 20163 13.02 o 20162 13.02 o 20161 13.02 o 20160 13.02 o 20159 13.03 o 20158 13.03 o 20157 13.03 o 20156 13.03 o 20155 13.04 o 20154 13.04 o 20153 13.04 o 20152 13.04 o 20151 13.04 o 20150 13.05 o 20149 13.05 o 20148 13.05 o 20147 13.05 o 20146 13.05 o 20145 13.06 o 20144 13.06 o 20143 13.06 o 20142 13.06 o 20141 13.07 o 20140 13.07 o 20139 13.07 o 20138 13.07 o 20137 13.07 o 20136 13.08 o 20135 13.08 o 20134 13.08 o 20133 13.08 o 20132 13.08 o 20131 13.09 o 20130 13.09 o 20129 13.09 o 20128 13.09 o 20127 13.10 o 20126 13.10 o 20125 13.10 o 20124 13.10 o 20123 13.10 o 20122 13.11 o 20121 13.11 o 20120 13.11 o 20119 13.11 o 20118 13.12 o 20117 13.12 o 20116 13.12 o 20115 13.12 o 20114 13.12 o 20113 13.13 o 20112 13.13 o 20111 13.13 o 20110 13.13 o 20109 13.13 o 20108 13.14 o 20107 13.14 o 20106 13.14 o 20105 13.14 o 20104 13.15 o 20103 13.15 o 20102 13.15 o 20101 13.15 o 20100 13.15 o 20099 13.16 o 20098 13.16 o 20097 13.16 o 20096 13.16 o 20095 13.17 o 20094 13.17 o 20093 13.17 o 20092 13.17 o 20091 13.17 o 20090 13.18 o 20089 13.18 o 20088 13.18 o 20087 13.18 o 20086 13.19 o 20085 13.19 o 20084 13.19 o 20083 13.19 o 20082 13.19 o 20081 13.20 o 20080 13.20 o 20079 13.20 o 20078 13.20 o 20077 13.20 o 20076 13.21 o 20075 13.21 o 20074 13.21 o 20073 13.21 o 20072 13.22 o 20071 13.22 o 20070 13.22 o 20069 13.22 o 20068 13.22 o 20067 13.23 o 20066 13.23 o 20065 13.23 o 20064 13.23 o 20063 13.23 o 20062 13.24 o 20061 13.24 o 20060 13.24 o 20059 13.24 o 20058 13.24 o 20057 13.25 o 20056 13.25 o 20055 13.25 o 20054 13.25 o 20053 13.26 o 20052 13.26 o 20051 13.26 o 20050 13.26 o 20049 13.26 o 20048 13.27 o 20047 13.27 o 20046 13.27 o 20045 13.27 o 20044 13.27 o 20043 13.28 o 20042 13.28 o 20041 13.28 o 20040 13.28 o 20039 13.28 o 20038 13.29 o 20037 13.29 o 20036 13.29 o 20035 13.29 o 20034 13.29 o 20033 13.30 o 20032 13.30 o 20031 13.30 o 20030 13.30 o 20029 13.30 o 20028 13.31 o 20027 13.31 o 20026 13.31 o 20025 13.31 o 20024 13.31 o 20023 13.32 o 20022 13.32 o 20021 13.32 o 20020 13.32 o 20019 13.32 o 20018 13.33 o 20017 13.33 o 20016 13.33 o 20015 13.33 o 20014 13.33 o 20013 13.34 o 20012 13.34 o 20011 13.34 o 20010 13.34 o 20009 13.34 o 20008 13.35 o 20007 13.35 o 20006 13.35 o 20005 13.35 o 20004 13.35 o 20003 13.36 o 20002 13.36 o 20001 13.36 o 20000 13.36 o 19999 13.37 o 19998 13.37 o 19997 13.37 o 19996 13.37 o 19995 13.37 o 19994 13.38 o 19993 13.38 o 19992 13.38 o 19991 13.38 o 19990 13.38 o 19989 13.39 o 19988 13.39 o 19987 13.39 o 19986 13.39 o 19985 13.39 o 19984 13.40 o 19983 13.40 o 19982 13.40 o 19981 13.40 o 19980 13.41 o 19979 13.41 o 19978 13.41 o 19977 13.46 o 19976 13.88 o 19975 14.49 o 19974 14.50 o 19973 14.50 o 19972 14.50 o 19971 14.50 o 19970 14.50 o 19969 14.51 o 19968 15.29 o 19967 15.29 o 19966 15.29 o 19965 15.30 o 19964 15.30 o 19963 15.30 o 19962 15.30 o 19961 15.30 o 19960 15.31 o 19959 15.31 o 19958 15.31 o 19957 15.31 o 19956 15.32 o 19955 15.32 o 19954 15.32 o 19953 15.32 o 19952 15.32 o 19951 15.33 o 19950 15.33 o 19949 15.33 o 19948 15.33 o 19947 15.34 o 19946 15.34 o 19945 15.34 o 19944 15.34 o 19943 15.34 o 19942 15.35 o 19941 15.35 o 19940 15.35 o 19939 15.35 o 19938 15.36 o 19937 15.36 o 19936 15.36 o 19935 15.36 o 19934 15.36 o 19933 15.37 o 19932 15.37 o 19931 15.37 o 19930 15.37 o 19929 15.37 o 19928 15.38 o 19927 15.38 o 19926 15.38 o 19925 15.38 o 19924 15.39 o 19923 15.39 o 19922 15.39 o 19921 15.39 o 19920 15.39 o 19919 15.40 o 19918 15.40 o 19917 15.40 o 19916 15.40 o 19915 15.41 o 19914 15.41 o 19913 15.41 o 19912 15.41 o 19911 15.41 o 19910 15.42 o 19909 15.42 o 19908 15.42 o 19907 15.42 o 19906 15.43 o 19905 15.43 o 19904 15.43 o 19903 15.43 o 19902 15.43 o 19901 15.44 o 19900 15.44 o 19899 15.44 o 19898 15.44 o 19897 15.45 o 19896 15.45 o 19895 15.45 o 19894 15.45 o 19893 15.45 o 19892 15.46 o 19891 15.46 o 19890 15.46 o 19889 15.46 o 19888 15.46 o 19887 15.47 o 19886 15.47 o 19885 15.47 o 19884 15.47 o 19883 15.48 o 19882 15.48 o 19881 15.48 o 19880 15.48 o 19879 15.48 o 19878 15.49 o 19877 15.49 o 19876 15.49 o 19875 15.49 o 19874 15.50 o 19873 15.50 o 19872 15.50 o 19871 15.50 o 19870 15.50 o 19869 15.51 o 19868 15.51 o 19867 15.51 o 19866 15.51 o 19865 15.52 o 19864 15.52 o 19863 15.52 o 19862 15.52 o 19861 15.52 o 19860 15.53 o 19859 15.53 o 19858 15.53 o 19857 15.53 o 19856 15.54 o 19855 15.54 o 19854 15.54 o 19853 15.54 o 19852 15.54 o 19851 15.55 o 19850 15.55 o 19849 15.55 o 19848 15.55 o 19847 15.56 o 19846 15.56 o 19845 15.56 o 19844 15.56 o 19843 15.56 o 19842 15.57 o 19841 15.57 o 19840 15.57 o 19839 15.57 o 19838 15.58 o 19837 15.58 o 19836 15.58 o 19835 15.58 o 19834 15.58 o 19833 15.59 o 19832 15.59 o 19831 15.59 o 19830 15.59 o 19829 15.60 o 19828 15.60 o 19827 15.60 o 19826 15.60 o 19825 15.60 o 19824 15.61 o 19823 15.61 o 19822 15.61 o 19821 15.61 o 19820 15.61 o 19819 15.62 o 19818 15.62 o 19817 15.62 o 19816 15.62 o 19815 15.63 o 19814 15.63 o 19813 15.63 o 19812 15.63 o 19811 15.63 o 19810 15.64 o 19809 15.64 o 19808 15.64 o 19807 15.64 o 19806 15.65 o 19805 15.65 o 19804 15.65 o 19803 15.65 o 19802 15.65 o 19801 15.66 o 19800 15.66 o 19799 15.66 o 19798 15.66 o 19797 15.67 o 19796 15.67 o 19795 15.67 o 19794 15.67 o 19793 15.67 o 19792 15.68 o 19791 15.68 o 19790 15.68 o 19789 15.68 o 19788 15.69 o 19787 15.69 o 19786 15.69 o 19785 15.69 o 19784 15.69 o 19783 15.70 o 19782 15.70 o 19781 15.70 o 19780 15.70 o 19779 15.71 o 19778 15.71 o 19777 15.71 o 19776 15.71 o 19775 15.71 o 19774 15.72 o 19773 15.72 o 19772 15.72 o 19771 15.72 o 19770 15.73 o 19769 15.73 o 19768 15.73 o 19767 15.73 o 19766 15.73 o 19765 15.74 o 19764 15.74 o 19763 15.74 o 19762 15.74 o 19761 15.75 o 19760 15.75 o 19759 15.75 o 19758 15.75 o 19757 15.75 o 19756 15.76 o 19755 15.76 o 19754 15.76 o 19753 15.76 o 19752 15.77 o 19751 15.77 o 19750 15.77 o 19749 15.77 o 19748 15.77 o 19747 15.78 o 19746 15.78 o 19745 15.78 o 19744 15.78 o 19743 15.79 o 19742 15.79 o 19741 15.79 o 19740 15.79 o 19739 15.79 o 19738 15.80 o 19737 15.80 o 19736 15.80 o 19735 15.80 o 19734 15.81 o 19733 15.81 o 19732 15.81 o 19731 15.81 o 19730 15.81 o 19729 15.82 o 19728 15.82 o 19727 15.82 o 19726 15.82 o 19725 15.83 o 19724 15.83 o 19723 15.83 o 19722 15.83 o 19721 15.83 o 19720 15.84 o 19719 15.84 o 19718 15.84 o 19717 15.84 o 19716 15.85 o 19715 15.85 o 19714 15.85 o 19713 15.85 o 19712 15.85 o 19711 15.86 o 19710 15.86 o 19709 15.86 o 19708 15.86 o 19707 15.86 o 19706 15.87 o 19705 15.87 o 19704 15.87 o 19703 15.87 o 19702 15.88 o 19701 15.88 o 19700 15.88 o 19699 15.88 o 19698 15.88 o 19697 15.89 o 19696 15.89 o 19695 15.89 o 19694 15.89 o 19693 15.90 o 19692 15.90 o 19691 15.90 o 19690 15.90 o 19689 15.90 o 19688 15.91 o 19687 15.91 o 19686 15.91 o 19685 15.91 o 19684 15.92 o 19683 15.92 o 19682 15.92 o 19681 15.92 o 19680 15.92 o 19679 15.93 o 19678 15.93 o 19677 15.93 o 19676 15.93 o 19675 15.94 o 19674 15.94 o 19673 15.94 o 19672 15.94 o 19671 15.94 o 19670 15.95 o 19668 15.95 o 19667 15.95 o 19666 15.95 o 19665 15.96 o 19664 15.96 o 19663 15.96 o 19662 15.96 o 19661 15.96 o 19660 15.97 o 19659 15.97 o 19658 15.97 o 19657 15.97 o 19656 15.98 o 19655 15.98 o 19654 15.98 o 19653 15.98 o 19652 15.98 o 19651 15.99 o 19650 15.99 o 19649 15.99 o 19648 15.99 o 19647 16.00 o 19646 16.00 o 19645 16.00 o 19644 16.00 o 19643 16.00 o 19642 16.01 o 19641 16.01 o 19640 16.01 o 19639 16.01 o 19638 16.02 o 19637 16.02 o 19636 16.02 o 19635 16.02 o 19634 16.02 o 19633 16.03 o 19632 16.03 o 19631 16.03 o 19630 16.03 o 19628 16.04 o 19627 16.04 o 19626 16.04 o 19625 16.04 o 19624 16.04 o 19623 16.05 o 19622 16.05 o 19621 16.05 o 19620 16.05 o 19619 16.06 o 19618 16.06 o 19617 16.39 o 19616 16.43 o 19615 16.64 o 19614 16.80 o 19613 16.81 o 19611 16.81 o 19610 16.81 o 19609 16.82 o 19608 16.82 o 19607 16.82 o 19606 16.82 o 19605 16.82 o 19604 16.83 o 19603 16.83 o 19602 16.83 o 19601 16.83 o 19600 16.84 o 19599 16.84 o 19597 16.84 o 19596 16.84 o 19595 16.84 o 19594 16.85 o 19592 16.85 o 19591 16.85 o 19590 16.85 o 19589 16.86 o 19588 16.86 o 19587 16.86 o 19586 16.86 o 19585 16.86 o 19584 16.87 o 19583 16.87 o 19582 16.87 o 19581 16.87 o 19580 16.88 o 19579 16.88 o 19578 16.88 o 19577 16.88 o 19576 16.88 o 19575 16.89 o 19574 16.89 o 19573 16.89 o 19572 16.89 o 19571 16.89 o 19570 16.90 o 19569 16.90 o 19568 16.90 o 19567 16.90 o 19566 16.91 o 19565 16.91 o 19564 16.91 o 19563 16.91 o 19562 16.91 o 19561 16.92 o 19560 16.92 o 19559 16.92 o 19558 16.92 o 19557 16.93 o 19556 16.93 o 19555 16.93 o 19554 16.93 o 19553 16.93 o 19552 16.94 o 19551 16.94 o 19550 16.94 o 19549 16.94 o 19548 16.95 o 19547 16.95 o 19546 16.95 o 19544 16.95 o 19543 16.95 o 19542 16.96 o 19541 16.96 o 19540 16.96 o 19539 16.96 o 19538 16.97 o 19537 16.97 o 19536 16.97 o 19535 16.97 o 19534 16.97 o 19533 16.98 o 19532 16.98 o 19531 16.98 o 19530 16.98 o 19529 16.99 o 19528 16.99 o 19527 16.99 o 19526 16.99 o 19525 16.99 o 19523 17.00 o 19522 17.00 o 19521 17.00 o 19520 17.00 o 19519 17.01 o 19518 17.01 o 19517 17.01 o 19516 17.01 o 19515 17.01 o 19514 17.02 o 19513 17.02 o 19511 17.02 o 19510 17.02 o 19509 17.03 o 19508 17.03 o 19507 17.03 o 19506 17.03 o 19505 17.03 o 19504 17.04 o 19503 17.04 o 19502 17.04 o 19501 17.04 o 19500 17.05 o 19499 17.05 o 19498 17.05 o 19497 17.05 o 19496 17.05 o 19495 17.06 o 19494 17.06 o 19493 17.06 o 19492 17.06 o 19491 17.07 o 19490 17.07 o 19489 17.07 o 19488 17.07 o 19487 17.07 o 19483 17.08 o 19482 17.08 o 19481 17.08 o 19480 17.08 o 19479 17.09 o 19478 17.09 o 19477 17.09 o 19476 17.09 o 19475 17.09 o 19474 17.10 o 19473 17.10 o 19472 17.10 o 19471 17.10 o 19470 17.11 o 19469 17.11 o 19468 17.11 o 19467 17.11 o 19466 17.11 o 19465 17.12 o 19464 17.12 o 19463 17.12 o 19462 17.12 o 19461 17.13 o 19460 17.13 o 19459 17.13 o 19458 17.13 o 19457 17.13 o 19456 17.14 o 19455 17.14 o 19454 17.14 o 19453 17.14 o 19452 17.14 o 19451 17.15 o 19450 17.15 o 19449 17.15 o 19448 17.15 o 19447 17.16 o 19446 17.16 o 19445 17.16 o 19444 17.16 o 19443 17.16 o 19442 17.17 o 19441 17.17 o 19440 17.17 o 19439 17.17 o 19438 17.18 o 19437 17.18 o 19436 17.18 o 19434 17.18 o 19433 17.18 o 19432 17.19 o 19431 17.19 o 19430 17.19 o 19429 17.19 o 19428 17.19 o 19427 17.20 o 19426 17.20 o 19425 17.20 o 19424 17.20 o 19423 17.21 o 19422 17.21 o 19421 17.21 o 19420 17.21 o 19419 17.21 o 19418 17.22 o 19417 17.22 o 19416 17.22 o 19415 17.22 o 19414 17.23 o 19413 17.23 o 19412 17.23 o 19411 17.23 o 19410 17.23 o 19409 17.24 o 19408 17.24 o 19407 17.24 o 19406 17.24 o 19405 17.25 o 19404 17.25 o 19403 17.25 o 19402 17.25 o 19401 17.25 o 19400 17.26 o 19398 17.26 o 19397 17.26 o 19396 17.26 o 19395 17.27 o 19394 17.27 o 19393 17.27 o 19392 17.27 o 19391 17.27 o 19390 17.28 o 19389 17.28 o 19388 17.28 o 19387 17.28 o 19386 17.28 o 19385 17.29 o 19381 17.29 o 19380 17.29 o 19379 17.29 o 19378 17.30 o 19377 17.30 o 19376 17.30 o 19375 17.30 o 19374 17.30 o 19373 17.31 o 19372 17.31 o 19371 17.31 o 19370 17.31 o 19369 17.31 o 19368 17.32 o 19367 17.32 o 19366 17.32 o 19365 17.32 o 19364 17.80 o 19363 17.81 o 19362 17.81 o 19361 17.81 o 19360 17.81 o 19359 17.82 o 19358 17.82 o 19357 17.82 o 19356 17.82 o 19355 17.82 o 19354 17.83 o 19353 17.83 o 19352 17.83 o 19351 17.83 o 19350 17.84 o 19349 17.84 o 19348 17.84 o 19347 17.84 o 19346 17.84 o 19345 17.85 o 19344 17.85 o 19343 17.85 o 19342 17.85 o 19341 17.86 o 19340 17.86 o 19339 17.86 o 19338 17.86 o 19337 17.86 o 19336 17.87 o 19335 17.87 o 19334 17.87 o 19333 17.87 o 19332 17.88 o 19331 17.88 o 19330 17.88 o 19329 17.88 o 19328 17.88 o 19327 17.89 o 19326 17.89 o 19325 17.89 o 19324 17.89 o 19323 17.90 o 19322 17.90 o 19321 17.90 o 19320 17.90 o 19319 17.90 o 19318 17.91 o 19317 17.91 o 19316 17.91 o 19315 17.91 o 19314 17.92 o 19313 17.92 o 19312 17.92 o 19311 17.92 o 19310 17.92 o 19309 17.93 o 19308 17.93 o 19307 17.93 o 19306 17.93 o 19305 17.94 o 19304 17.94 o 19303 17.94 o 19302 17.94 o 19301 17.94 o 19300 17.95 o 19299 17.95 o 19298 17.95 o 19297 17.95 o 19296 17.96 o 19295 17.96 o 19294 17.96 o 19293 17.96 o 19292 17.96 o 19291 17.97 o 19290 17.97 o 19289 17.97 o 19288 17.97 o 19287 17.98 o 19286 17.98 o 19285 17.98 o 19284 17.98 o 19283 17.98 o 19282 17.99 o 19281 17.99 o 19280 17.99 o 19279 17.99 o 19278 18.00 o 19277 18.00 o 19276 18.00 o 19275 18.00 o 19274 18.00 o 19273 18.01 o 19272 18.01 o 19271 18.01 o 19270 18.01 o 19269 18.02 o 19268 18.02 o 19267 18.02 o 19266 18.02 o 19265 18.03 o 19264 18.03 o 19263 18.03 o 19262 18.03 o 19261 18.03 o 19260 18.04 o 19259 18.04 o 19258 18.04 o 19257 18.04 o 19256 18.04 o 19255 18.05 o 19254 18.05 o 19253 18.05 o 19252 18.05 o 19251 18.06 o 19250 18.06 o 19249 18.06 o 19248 18.06 o 19247 18.07 o 19246 18.07 o 19245 18.07 o 19244 18.07 o 19243 18.07 o 19242 18.08 o 19241 18.08 o 19240 18.08 o 19239 18.08 o 19238 18.09 o 19237 18.09 o 19236 18.09 o 19235 18.09 o 19234 18.09 o 19233 18.10 o 19232 18.10 o 19231 18.10 o 19230 18.10 o 19229 18.11 o 19228 18.11 o 19227 18.11 o 19226 18.11 o 19225 18.11 o 19224 18.12 o 19223 18.12 o 19222 18.12 o 19221 18.12 o 19220 18.13 o 19219 18.13 o 19218 18.13 o 19217 18.13 o 19216 18.13 o 19215 18.14 o 19214 18.14 o 19213 18.14 o 19212 18.14 o 19211 18.15 o 19210 18.15 o 19209 18.15 o 19208 18.15 o 19207 18.15 o 19206 18.16 o 19205 18.16 o 19204 18.16 o 19203 18.16 o 19202 18.17 o 19201 18.17 o 19200 18.17 o 19199 18.17 o 19198 18.17 o 19197 18.18 o 19196 18.18 o 19195 18.18 o 19194 18.18 o 19193 18.19 o 19192 18.19 o 19191 18.19 o 19190 18.19 o 19189 18.19 o 19188 18.20 o 19187 18.20 o 19186 18.20 o 19185 18.20 o 19184 18.21 o 19183 18.21 o 19182 18.21 o 19181 18.21 o 19180 18.22 o 19179 18.22 o 19178 18.22 o 19177 18.22 o 19176 18.22 o 19175 18.23 o 19174 18.23 o 19173 18.23 o 19172 18.23 o 19171 18.24 o 19170 18.24 o 19169 18.24 o 19168 18.24 o 19167 18.24 o 19166 18.25 o 19165 18.25 o 19164 18.25 o 19163 18.25 o 19162 18.26 o 19161 18.26 o 19160 18.26 o 19159 18.26 o 19158 18.26 o 19157 18.27 o 19156 18.27 o 19155 18.27 o 19154 18.27 o 19153 18.28 o 19152 18.28 o 19151 18.28 o 19150 18.28 o 19149 18.28 o 19148 18.29 o 19147 18.29 o 19146 18.29 o 19145 18.29 o 19144 18.30 o 19143 18.30 o 19142 18.30 o 19141 18.30 o 19140 18.30 o 19139 18.31 o 19138 18.31 o 19137 18.31 o 19136 18.31 o 19135 18.32 o 19134 18.32 o 19133 18.32 o 19132 18.32 o 19131 18.33 o 19130 18.33 o 19129 18.33 o 19128 18.33 o 19127 18.33 o 19126 18.34 o 19125 18.34 o 19124 18.34 o 19123 18.34 o 19122 18.35 o 19121 18.35 o 19120 18.35 o 19119 18.35 o 19118 18.35 o 19117 18.36 o 19116 18.36 o 19115 18.36 o 19114 18.36 o 19113 18.37 o 19112 18.37 o 19111 18.37 o 19110 18.37 o 19109 18.38 o 19108 18.79 o 19107 18.80 o 19106 18.80 o 19105 18.80 o 19104 18.80 o 19103 18.81 o 19102 18.81 o 19101 18.81 o 19100 18.81 o 19099 18.82 o 19098 18.82 o 19097 18.82 o 19096 18.82 o 19095 18.82 o 19094 18.83 o 19093 18.83 o 19092 18.83 o 19091 18.83 o 19090 18.84 o 19089 18.84 o 19088 18.84 o 19087 18.84 o 19086 18.84 o 19085 18.85 o 19084 18.85 o 19083 18.85 o 19082 18.85 o 19081 18.86 o 19080 18.86 o 19079 18.86 o 19078 18.86 o 19077 18.87 o 19076 18.87 o 19075 18.87 o 19074 18.87 o 19073 18.87 o 19072 18.88 o 19071 18.88 o 19070 18.88 o 19069 18.88 o 19068 18.89 o 19067 18.89 o 19066 18.89 o 19065 18.89 o 19064 18.89 o 19063 18.90 o 19062 18.90 o 19061 18.90 o 19060 18.90 o 19059 18.91 o 19058 18.91 o 19057 18.91 o 19056 18.91 o 19055 18.92 o 19054 18.92 o 19053 18.92 o 19052 18.92 o 19051 18.92 o 19050 18.93 o 19049 18.93 o 19048 18.93 o 19047 18.93 o 19046 18.94 o 19045 18.94 o 19044 18.94 o 19043 18.94 o 19042 18.94 o 19041 18.95 o 19040 18.95 o 19039 18.95 o 19038 18.95 o 19037 18.96 o 19036 18.96 o 19035 18.96 o 19034 18.96 o 19033 18.97 o 19032 18.97 o 19031 18.97 o 19030 18.97 o 19029 18.97 o 19028 18.98 o 19027 18.98 o 19026 18.98 o 19025 18.98 o 19024 18.99 o 19023 18.99 o 19022 18.99 o 19021 18.99 o 19020 18.99 o 19019 19.00 o 19018 19.00 o 19017 19.00 o 19016 19.00 o 19015 19.01 o 19014 19.01 o 19013 19.01 o 19012 19.01 o 19011 19.02 o 19010 19.02 o 19009 19.02 o 19008 19.02 o 19007 19.02 o 19006 19.03 o 19005 19.03 o 19004 19.03 o 19003 19.03 o 19002 19.04 o 19001 19.04 o 19000 19.04 o 18999 19.04 o 18998 19.04 o 18997 19.05 o 18996 19.05 o 18995 19.05 o 18994 19.05 o 18993 19.06 o 18992 19.06 o 18991 19.06 o 18990 19.06 o 18989 19.06 o 18988 19.07 o 18987 19.07 o 18986 19.07 o 18985 19.07 o 18984 19.08 o 18983 19.08 o 18982 19.08 o 18981 19.08 o 18980 19.09 o 18979 19.09 o 18978 19.09 o 18977 19.09 o 18976 19.09 o 18975 19.10 o 18974 19.10 o 18973 19.10 o 18972 19.10 o 18971 19.11 o 18970 19.11 o 18969 19.11 o 18968 19.11 o 18967 19.12 o 18966 19.12 o 18965 19.12 o 18964 19.12 o 18963 19.12 o 18962 19.13 o 18961 19.13 o 18960 19.13 o 18959 19.13 o 18958 19.14 o 18957 19.14 o 18956 19.14 o 18955 19.14 o 18954 19.14 o 18953 19.15 o 18952 19.15 o 18951 19.15 o 18950 19.15 o 18949 19.16 o 18948 19.16 o 18947 19.16 o 18946 19.16 o 18945 19.17 o 18944 19.17 o 18943 19.17 o 18942 19.17 o 18941 19.18 o 18940 19.18 o 18939 19.18 o 18938 19.18 o 18937 19.18 o 18936 19.19 o 18935 19.19 o 18934 19.19 o 18933 19.19 o 18932 19.20 o 18931 19.20 o 18930 19.20 o 18929 19.20 o 18928 19.20 o 18927 19.21 o 18926 19.21 o 18925 19.21 o 18924 19.21 o 18923 19.22 o 18922 19.22 o 18921 19.22 o 18920 19.22 o 18919 19.23 o 18918 19.23 o 18917 19.23 o 18916 19.23 o 18915 19.23 o 18914 19.24 o 18913 19.24 o 18912 19.24 o 18911 19.24 o 18910 19.25 o 18909 19.25 o 18908 19.25 o 18907 19.25 o 18906 19.25 o 18905 19.26 o 18904 19.26 o 18903 19.26 o 18902 19.26 o 18901 19.27 o 18900 19.27 o 18899 19.27 o 18898 19.27 o 18897 19.27 o 18896 19.28 o 18895 19.28 o 18894 19.28 o 18893 19.28 o 18892 19.29 o 18891 19.29 o 18890 19.29 o 18889 19.29 o 18888 19.30 o 18887 19.30 o 18886 19.30 o 18885 19.30 o 18884 19.30 o 18883 19.31 o 18882 19.31 o 18881 19.31 o 18880 19.31 o 18879 19.32 o 18878 19.32 o 18877 19.32 o 18876 19.32 o 18875 19.32 o 18874 19.33 o 18873 19.33 o 18872 19.33 o 18871 19.33 o 18870 19.34 o 18869 19.34 o 18868 19.34 o 18867 19.34 o 18866 19.34 o 18865 19.35 o 18864 19.35 o 18863 19.35 o 18862 19.35 o 18861 19.36 o 18860 19.36 o 18859 19.36 o 18858 19.36 o 18857 19.37 o 18856 19.37 o 18855 19.37 o 18854 19.37 o 18853 19.37 o 18852 19.38 o 18851 19.38 o 18850 19.38 o 18849 19.38 o 18848 19.39 o 18847 19.39 o 18846 19.39 o 18845 19.39 o 18844 19.39 o 18843 19.40 o 18842 19.40 o 18841 19.40 o 18840 19.40 o 18839 19.41 o 18838 19.41 o 18837 19.41 o 18836 19.41 o 18835 19.42 o 18834 19.42 o 18833 19.42 o 18832 19.42 o 18831 19.42 o 18830 19.43 o 18829 19.43 o 18828 19.43 o 18827 19.43 o 18826 19.44 o 18825 19.44 o 18824 19.44 o 18823 19.44 o 18822 19.44 o 18821 19.45 o 18820 19.45 o 18819 19.45 o 18818 19.45 o 18817 19.46 o 18816 19.46 o 18815 19.46 o 18814 19.46 o 18813 19.47 o 18812 19.47 o 18811 19.47 o 18810 19.48 o 18809 19.56 o 18808 19.67 o 18807 19.68 o 18806 19.68 o 18805 19.68 o 18804 19.68 o 18803 19.69 o 18802 19.69 o 18801 19.69 o 18800 19.69 o 18799 19.70 o 18798 19.70 o 18797 19.70 o 18796 19.70 o 18795 19.70 o 18794 19.71 o 18793 19.71 o 18792 19.71 o 18791 19.71 o 18790 19.72 o 18789 19.72 o 18788 19.72 o 18787 19.72 o 18786 19.72 o 18785 19.73 o 18784 19.73 o 18783 19.73 o 18782 19.73 o 18781 19.74 o 18780 19.74 o 18779 19.74 o 18778 19.74 o 18777 19.74 o 18776 19.75 o 18775 19.75 o 18774 19.75 o 18773 19.75 o 18772 19.76 o 18771 19.76 o 18770 19.76 o 18769 19.76 o 18768 19.76 o 18767 19.77 o 18766 19.77 o 18765 19.77 o 18764 19.77 o 18763 19.78 o 18762 19.78 o 18761 19.78 o 18760 19.78 o 18759 19.78 o 18758 19.79 o 18757 19.79 o 18756 19.79 o 18755 19.79 o 18754 19.80 o 18753 19.80 o 18752 19.80 o 18751 19.80 o 18750 19.81 o 18749 19.81 o 18748 19.81 o 18747 19.81 o 18746 19.81 o 18745 19.82 o 18744 19.82 o 18743 19.82 o 18742 19.82 o 18741 19.83 o 18740 19.83 o 18739 19.83 o 18738 19.83 o 18737 19.83 o 18736 19.84 o 18735 19.84 o 18734 19.84 o 18733 19.84 o 18732 19.85 o 18731 19.85 o 18730 19.85 o 18729 19.85 o 18728 19.85 o 18727 19.86 o 18726 19.86 o 18725 19.86 o 18724 19.86 o 18723 19.87 o 18722 19.87 o 18721 19.87 o 18720 19.87 o 18719 19.87 o 18718 19.88 o 18717 19.88 o 18716 19.88 o 18715 19.88 o 18714 19.89 o 18713 19.89 o 18712 19.89 o 18711 19.89 o 18710 19.89 o 18709 19.90 o 18708 19.90 o 18707 19.90 o 18706 19.90 o 18705 19.91 o 18704 19.91 o 18703 19.91 o 18702 19.91 o 18701 19.91 o 18700 19.92 o 18699 19.92 o 18698 19.92 o 18697 19.92 o 18696 19.93 o 18695 19.93 o 18694 19.93 o 18693 19.93 o 18692 19.94 o 18691 19.94 o 18690 19.94 o 18689 19.94 o 18688 19.94 o 18687 19.95 o 18686 19.95 o 18685 19.95 o 18684 19.95 o 18683 19.96 o 18682 19.96 o 18681 19.96 o 18680 19.96 o 18679 19.96 o 18678 19.97 o 18677 19.97 o 18676 19.97 o 18675 19.97 o 18674 19.98 o 18673 19.98 o 18672 19.98 o 18671 19.98 o 18670 19.98 o 18669 19.99 o 18668 19.99 o 18667 19.99 o 18666 19.99 o 18665 20.00 o 18664 20.00 o 18663 20.00 o 18662 20.00 o 18661 20.00 o 18660 20.01 o 18659 20.01 o 18658 20.01 o 18657 20.01 o 18656 20.02 o 18655 20.02 o 18654 20.02 o 18653 20.02 o 18652 20.02 o 18651 20.03 o 18650 20.03 o 18649 20.03 o 18648 20.03 o 18647 20.04 o 18646 20.04 o 18645 20.04 o 18644 20.04 o 18643 20.04 o 18642 20.05 o 18641 20.05 o 18640 20.05 o 18639 20.05 o 18638 20.06 o 18637 20.06 o 18636 20.06 o 18635 20.06 o 18634 20.06 o 18633 20.07 o 18632 20.07 o 18631 20.07 o 18630 20.07 o 18629 20.08 o 18628 20.08 o 18627 20.08 o 18626 20.08 o 18625 20.08 o 18624 20.09 o 18623 20.09 o 18622 20.09 o 18621 20.09 o 18620 20.10 o 18619 20.10 o 18618 20.10 o 18617 20.10 o 18616 20.10 o 18615 20.11 o 18614 20.11 o 18613 20.11 o 18612 20.11 o 18611 20.12 o 18610 20.12 o 18609 20.12 o 18608 20.12 o 18607 20.12 o 18606 20.13 o 18605 20.13 o 18604 20.13 o 18603 20.13 o 18602 20.14 o 18601 20.14 o 18600 20.14 o 18599 20.14 o 18598 20.14 o 18597 20.15 o 18596 20.15 o 18595 20.15 o 18594 20.15 o 18593 20.16 o 18592 20.16 o 18591 20.16 o 18590 20.16 o 18589 20.16 o 18588 20.17 o 18587 20.17 o 18586 20.17 o 18585 20.17 o 18584 20.18 o 18583 20.18 o 18582 20.18 o 18581 20.18 o 18580 20.18 o 18579 20.19 o 18578 20.19 o 18577 20.19 o 18576 20.19 o 18575 20.20 o 18574 20.20 o 18573 20.20 o 18572 20.20 o 18571 20.21 o 18570 20.21 o 18569 20.21 o 18568 20.21 o 18567 20.21 o 18566 20.22 o 18565 20.22 o 18564 20.22 o 18563 20.22 o 18562 20.23 o 18561 20.23 o 18560 20.23 o 18559 20.23 o 18558 20.23 o 18557 20.24 o 18556 20.24 o 18555 20.24 o 18554 20.24 o 18553 20.25 o 18552 20.25 o 18551 20.25 o 18550 20.25 o 18549 20.25 o 18548 20.26 o 18547 20.26 o 18546 20.26 o 18545 20.26 o 18544 20.27 o 18543 20.27 o 18542 20.27 o 18541 20.27 o 18540 20.27 o 18539 20.28 o 18538 20.28 o 18537 20.28 o 18536 20.28 o 18535 20.29 o 18534 20.29 o 18533 20.29 o 18532 20.29 o 18531 20.29 o 18530 20.30 o 18529 20.30 o 18528 20.30 o 18527 20.30 o 18526 20.31 o 18525 20.31 o 18524 20.31 o 18523 20.31 o 18522 20.32 o 18521 20.32 o 18520 20.32 o 18519 20.32 o 18518 20.32 o 18517 20.33 o 18516 20.33 o 18515 20.33 o 18514 20.62 o 18513 20.62 o 18512 20.63 o 18511 20.63 o 18510 20.63 o 18509 20.63 o 18508 20.63 o 18507 20.64 o 18506 20.64 o 18505 20.64 o 18504 20.64 o 18503 20.65 o 18502 20.65 o 18501 20.65 o 18500 20.65 o 18499 20.66 o 18498 20.66 o 18497 20.66 o 18496 20.66 o 18495 20.66 o 18494 20.67 o 18493 20.67 o 18492 20.67 o 18491 20.67 o 18490 20.68 o 18489 20.68 o 18488 20.68 o 18487 20.68 o 18486 20.68 o 18485 20.69 o 18484 20.69 o 18483 20.69 o 18482 20.69 o 18481 20.70 o 18480 20.70 o 18479 20.70 o 18478 20.70 o 18477 20.70 o 18476 20.71 o 18475 20.71 o 18474 20.71 o 18473 20.71 o 18472 20.72 o 18471 20.72 o 18470 20.72 o 18469 20.72 o 18468 20.73 o 18467 20.73 o 18466 20.73 o 18465 20.73 o 18464 20.73 o 18463 20.74 o 18462 20.74 o 18461 20.74 o 18460 20.74 o 18459 20.75 o 18458 20.75 o 18457 20.75 o 18456 20.75 o 18455 20.75 o 18454 20.76 o 18453 20.76 o 18452 20.76 o 18451 20.76 o 18450 20.77 o 18449 20.77 o 18448 20.77 o 18447 20.77 o 18446 20.78 o 18445 20.78 o 18444 20.78 o 18443 20.78 o 18442 20.78 o 18441 20.79 o 18440 20.79 o 18439 20.79 o 18438 20.79 o 18437 20.80 o 18436 20.80 o 18435 20.80 o 18434 20.80 o 18433 20.81 o 18432 25.63 o 18431 25.64 o 18430 25.64 o 18429 25.64 o 18428 25.64 o 18427 25.64 o 18426 25.65 o 18425 25.65 o 18424 25.65 o 18423 25.65 o 18422 25.66 o 18421 25.66 o 18420 25.66 o 18419 25.66 o 18418 25.66 o 18417 25.67 o 18416 25.67 o 18415 25.67 o 18414 25.67 o 18413 25.68 o 18412 25.68 o 18411 25.68 o 18410 25.68 o 18409 25.68 o 18408 25.69 o 18407 25.69 o 18406 25.69 o 18405 25.69 o 18404 25.70 o 18403 25.70 o 18402 25.70 o 18401 25.70 o 18400 25.70 o 18399 25.71 o 18398 25.71 o 18397 25.71 o 18396 25.71 o 18395 25.72 o 18394 25.72 o 18393 25.72 o 18392 25.72 o 18391 25.72 o 18390 25.73 o 18389 25.73 o 18388 25.73 o 18387 25.73 o 18386 25.74 o 18385 25.74 o 18384 25.74 o 18383 25.74 o 18382 25.74 o 18381 25.75 o 18380 25.75 o 18379 25.75 o 18378 25.75 o 18377 25.76 o 18376 25.76 o 18375 25.76 o 18374 25.76 o 18373 25.76 o 18372 25.77 o 18371 25.77 o 18370 25.77 o 18369 25.77 o 18368 25.78 o 18367 25.78 o 18366 25.78 o 18365 25.78 o 18364 25.78 o 18363 25.79 o 18362 25.79 o 18361 25.79 o 18360 25.79 o 18359 25.80 o 18358 25.80 o 18357 25.80 o 18356 25.80 o 18355 25.80 o 18354 25.81 o 18353 25.81 o 18352 25.81 o 18351 25.81 o 18350 25.82 o 18349 25.82 o 18348 25.82 o 18347 25.82 o 18346 25.83 o 18345 25.83 o 18344 25.83 o 18343 25.83 o 18342 25.83 o 18341 25.84 o 18340 25.84 o 18339 25.84 o 18338 25.84 o 18337 25.85 o 18336 25.85 o 18335 25.85 o 18334 25.85 o 18333 25.85 o 18332 25.86 o 18331 25.86 o 18330 25.86 o 18329 25.86 o 18328 25.87 o 18327 25.87 o 18326 25.87 o 18325 25.87 o 18324 25.87 o 18323 25.88 o 18322 25.88 o 18321 25.88 o 18320 25.88 o 18319 25.89 o 18318 25.89 o 18317 25.89 o 18316 25.89 o 18315 25.90 o 18314 25.90 o 18313 25.90 o 18312 25.90 o 18311 25.90 o 18310 25.91 o 18309 25.91 o 18308 25.91 o 18307 25.91 o 18306 25.92 o 18305 25.92 o 18304 25.92 o 18303 25.92 o 18302 25.92 o 18301 25.93 o 18300 25.93 o 18299 25.93 o 18298 25.93 o 18297 25.94 o 18296 25.94 o 18295 25.94 o 18294 25.94 o 18293 25.94 o 18292 25.95 o 18291 25.95 o 18290 25.95 o 18289 25.95 o 18288 25.96 o 18287 25.96 o 18286 25.96 o 18285 25.96 o 18284 25.97 o 18283 25.97 o 18282 25.97 o 18281 25.97 o 18280 25.97 o 18279 25.98 o 18278 25.98 o 18277 25.98 o 18276 25.98 o 18275 25.99 o 18274 25.99 o 18273 25.99 o 18272 25.99 o 18271 25.99 o 18270 26.00 o 18269 26.00 o 18268 26.00 o 18267 26.00 o 18266 26.01 o 18265 26.01 o 18264 26.01 o 18263 26.01 o 18262 26.01 o 18261 26.02 o 18260 26.02 o 18259 26.02 o 18258 26.02 o 18257 26.03 o 18256 26.03 o 18255 26.03 o 18254 26.03 o 18253 26.04 o 18252 26.04 o 18251 26.04 o 18250 26.04 o 18249 26.04 o 18248 26.05 o 18247 26.05 o 18246 26.05 o 18245 26.05 o 18244 26.06 o 18243 26.06 o 18242 26.06 o 18241 26.06 o 18240 26.06 o 18239 26.07 o 18238 26.07 o 18237 26.07 o 18236 26.07 o 18235 26.08 o 18234 26.08 o 18233 26.08 o 18232 26.08 o 18231 26.08 o 18230 26.09 o 18229 26.09 o 18228 26.09 o 18227 26.09 o 18226 26.10 o 18225 26.10 o 18224 26.10 o 18223 26.10 o 18222 26.11 o 18221 26.11 o 18220 26.11 o 18219 26.11 o 18218 26.11 o 18217 26.12 o 18216 26.12 o 18215 26.12 o 18214 26.12 o 18213 26.13 o 18212 26.13 o 18211 26.13 o 18210 26.13 o 18209 26.13 o 18208 26.14 o 18207 26.14 o 18206 26.14 o 18205 26.14 o 18204 26.15 o 18203 26.15 o 18202 26.15 o 18201 26.15 o 18200 26.16 o 18199 26.16 o 18198 26.16 o 18197 26.16 o 18196 26.16 o 18195 26.17 o 18194 26.17 o 18193 26.17 o 18192 26.17 o 18191 26.18 o 18190 26.18 o 18189 26.18 o 18188 26.18 o 18187 26.18 o 18186 26.19 o 18185 26.19 o 18184 26.19 o 18183 26.19 o 18182 26.20 o 18181 26.20 o 18180 26.20 o 18179 26.20 o 18178 26.21 o 18177 26.21 o 18176 26.21 o 18175 26.21 o 18174 26.21 o 18173 26.22 o 18172 26.22 o 18171 26.22 o 18170 26.22 o 18169 26.23 o 18168 26.23 o 18167 26.23 o 18166 26.23 o 18165 26.23 o 18164 26.24 o 18163 26.24 o 18162 26.24 o 18161 26.24 o 18160 26.25 o 18159 26.25 o 18158 26.25 o 18157 26.25 o 18156 26.26 o 18155 26.26 o 18154 26.26 o 18153 26.26 o 18152 26.26 o 18151 26.27 o 18150 26.27 o 18149 26.27 o 18148 26.27 o 18147 26.28 o 18146 26.28 o 18145 26.28 o 18144 26.28 o 18143 26.28 o 18142 26.29 o 18141 26.29 o 18140 26.29 o 18139 26.29 o 18138 26.30 o 18137 26.30 o 18136 26.30 o 18135 26.30 o 18134 26.30 o 18133 26.31 o 18132 26.31 o 18131 26.31 o 18130 26.31 o 18129 26.32 o 18128 26.32 o 18127 26.32 o 18126 26.32 o 18125 26.33 o 18124 26.33 o 18123 26.33 o 18122 26.33 o 18121 26.33 o 18120 26.34 o 18119 26.34 o 18118 26.34 o 18117 26.34 o 18116 26.35 o 18115 26.35 o 18114 26.35 o 18113 26.35 o 18112 26.35 o 18111 26.36 o 18110 26.36 o 18109 26.36 o 18108 26.36 o 18107 26.37 o 18106 26.37 o 18105 26.37 o 18104 26.37 o 18103 26.37 o 18102 26.38 o 18101 26.38 o 18100 26.38 o 18099 26.38 o 18098 26.39 o 18097 26.39 o 18096 26.39 o 18095 26.39 o 18094 26.40 o 18093 26.40 o 18092 26.40 o 18091 26.40 o 18090 26.40 o 18089 26.41 o 18088 26.41 o 18087 26.41 o 18086 26.41 o 18085 26.42 o 18084 26.42 o 18083 26.42 o 18082 26.42 o 18081 26.43 o 18080 26.43 o 18079 26.43 o 18078 26.43 o 18077 26.43 o 18076 26.44 o 18075 26.44 o 18074 26.44 o 18073 26.44 o 18072 26.45 o 18071 26.45 o 18070 26.45 o 18069 26.45 o 18068 26.45 o 18067 26.46 o 18066 26.46 o 18065 26.46 o 18064 26.46 o 18063 26.47 o 18062 26.47 o 18061 26.47 o 18060 26.47 o 18059 26.47 o 18058 26.48 o 18057 26.48 o 18056 26.48 o 18055 26.48 o 18054 26.49 o 18053 26.49 o 18052 26.49 o 18051 26.49 o 18050 26.50 o 18049 26.50 o 18048 26.50 o 18047 26.50 o 18046 26.50 o 18045 26.51 o 18044 26.51 o 18043 26.51 o 18042 26.51 o 18041 26.52 o 18040 26.54 o 18039 27.49 o 18038 30.56 o 18037 31.09 o 18036 57.71 o 18035 66.54 o 18034 78.19 o 18033 92.99 o 18032 94.05 o 18031 99.95 o 18030 106.15 o 18029 106.15 o 18028 106.15 o 18027 106.16 o 18026 106.16 o 18025 106.16 o 18024 106.16 o 18023 106.16 o 18022 106.17 o 18021 106.17 o 18020 106.17 o 18019 106.17 o 18018 106.18 o 18017 106.18 o 18016 106.18 o 18015 106.18 o 18014 106.19 o 18013 106.19 o 18012 106.19 o 18011 106.19 o 18010 106.19 o 18009 106.20 o 18008 106.20 o 18007 106.20 o 18006 106.20 o 18005 106.21 o 18004 106.21 o 18003 106.21 o 18002 106.21 o 18001 106.22 o 18000 106.22 o 17999 106.22 o 17998 106.22 o 17997 106.22 o 17996 106.23 o 17995 106.23 o 17994 106.23 o 17993 106.23 o 17992 106.24 o 17991 106.24 o 17990 106.24 o 17989 106.24 o 17988 106.25 o 17987 106.25 o 17986 106.25 o 17985 106.25 o 17984 106.25 o 17983 106.26 o 17982 106.26 o 17981 106.26 o 17980 106.26 o 17979 106.27 o 17978 106.27 o 17977 106.27 o 17976 106.27 o 17975 106.28 o 17974 106.28 o 17973 106.28 o 17972 106.28 o 17971 106.28 o 17970 106.29 o 17969 106.29 o 17968 106.29 o 17967 106.29 o 17966 106.30 o 17965 106.30 o 17964 106.30 o 17963 106.30 o 17962 106.31 o 17961 106.31 o 17960 106.31 o 17959 106.31 o 17958 106.31 o 17957 106.32 o 17956 106.32 o 17955 106.32 o 17954 106.32 o 17953 106.33 o 17952 106.33 o 17951 106.33 o 17950 106.33 o 17949 106.33 o 17948 106.34 o 17947 106.34 o 17946 106.34 o 17945 106.34 o 17944 106.35 o 17943 106.35 o 17942 106.35 o 17941 106.35 o 17940 106.36 o 17939 106.36 o 17938 106.36 o 17937 106.36 o 17936 106.37 o 17935 106.37 o 17934 106.37 o 17933 106.37 o 17932 106.37 o 17931 106.38 o 17930 106.38 o 17929 106.38 o 17928 106.38 o 17927 106.39 o 17926 106.39 o 17925 106.39 o 17924 106.39 o 17923 106.40 o 17922 106.40 o 17921 106.40 o 17920 128.11 o 17919 137.96 o 17918 148.72 o 17917 152.71 o 17916 155.66 o 17915 159.74 o 17914 159.91 o 17913 165.36 o 17912 174.30 o 17911 174.79 o 17910 177.44 o 17909 178.06 o 17908 180.20 o 17907 193.07 o 17906 194.08 o 17905 199.51 o 17904 199.51 o 17903 199.51 o 17902 199.52 o 17901 199.52 o 17900 199.52 o 17899 199.52 o 17898 199.53 o 17897 199.53 o 17896 199.53 o 17895 199.53 o 17894 199.53 o 17893 199.54 o 17892 199.54 o 17891 199.54 o 17890 199.54 o 17889 199.55 o 17888 199.55 o 17887 199.55 o 17886 199.55 o 17885 199.56 o 17884 199.56 o 17883 199.56 o 17882 199.56 o 17881 199.56 o 17880 199.57 o 17879 199.57 o 17878 199.57 o 17877 199.57 o 17876 199.57 o 17875 199.58 o 17874 199.58 o 17873 199.58 o 17872 199.58 o 17871 199.59 o 17870 199.59 o 17869 199.59 o 17868 199.59 o 17867 199.59 o 17866 199.60 o 17865 199.60 o 17864 199.60 o 17863 199.60 o 17862 199.61 o 17861 199.61 o 17860 199.61 o 17859 199.61 o 17858 199.61 o 17857 199.62 o 17856 199.62 o 17855 199.62 o 17854 199.62 o 17853 199.63 o 17852 199.63 o 17851 199.63 o 17850 199.63 o 17849 199.63 o 17848 199.64 o 17847 199.64 o 17846 199.64 o 17845 199.64 o 17844 199.65 o 17843 199.65 o 17842 199.65 o 17841 199.65 o 17840 199.66 o 17839 199.66 o 17838 199.66 o 17837 199.66 o 17836 199.66 o 17835 199.67 o 17834 199.67 o 17833 199.67 o 17832 199.67 o 17831 199.68 o 17830 199.68 o 17829 199.68 o 17828 199.68 o 17827 199.69 o 17826 199.69 o 17825 199.69 o 17824 199.69 o 17823 199.69 o 17822 199.70 o 17821 199.70 o 17820 199.70 o 17819 199.70 o 17818 199.71 o 17817 199.71 o 17816 199.71 o 17815 199.71 o 17814 199.72 o 17813 199.72 o 17812 199.72 o 17811 199.72 o 17810 199.72 o 17809 199.73 o 17808 199.73 o 17807 199.73 o 17806 199.73 o 17805 199.74 o 17804 199.74 o 17803 199.74 o 17802 199.74 o 17801 199.75 o 17800 199.75 o 17799 199.75 o 17798 199.75 o 17797 199.75 o 17796 199.76 o 17795 199.76 o 17794 199.76 o 17793 199.76 o 17792 199.77 o 17791 199.77 o 17790 199.77 o 17789 199.77 o 17788 199.78 o 17787 199.78 o 17786 199.78 o 17785 199.78 o 17784 199.78 o 17783 199.79 o 17782 199.79 o 17781 199.79 o 17780 199.79 o 17779 199.80 o 17778 199.80 o 17777 199.80 o 17776 199.80 o 17775 199.81 o 17774 199.81 o 17773 199.81 o 17772 199.81 o 17771 199.81 o 17770 199.82 o 17769 199.82 o 17768 199.82 o 17767 199.82 o 17766 199.83 o 17765 199.83 o 17764 199.83 o 17763 199.83 o 17762 199.84 o 17761 199.84 o 17760 199.84 o 17759 199.84 o 17758 199.84 o 17757 199.85 o 17756 199.85 o 17755 199.85 o 17754 199.85 o 17753 199.86 o 17752 199.86 o 17751 199.86 o 17750 199.86 o 17749 199.86 o 17748 199.87 o 17747 199.87 o 17746 199.87 o 17745 199.87 o 17744 199.88 o 17743 199.88 o 17742 199.88 o 17741 199.88 o 17740 199.88 o 17739 199.89 o 17738 199.89 o 17737 199.89 o 17736 199.89 o 17735 199.90 o 17734 199.90 o 17733 199.90 o 17732 199.90 o 17731 199.90 o 17730 199.91 o 17729 199.91 o 17728 199.91 o 17727 199.91 o 17726 199.92 o 17725 199.92 o 17724 199.92 o 17723 199.92 o 17722 199.92 o 17721 199.93 o 17720 199.93 o 17719 199.93 o 17718 199.93 o 17717 199.94 o 17716 199.94 o 17715 199.94 o 17714 199.94 o 17713 199.95 o 17712 199.95 o 17711 199.95 o 17710 199.95 o 17709 199.95 o 17708 199.96 o 17707 199.96 o 17706 199.96 o 17705 199.96 o 17704 199.97 o 17703 199.97 o 17702 199.97 o 17701 199.97 o 17700 199.98 o 17699 199.98 o 17698 199.98 o 17697 199.98 o 17696 199.98 o 17695 199.99 o 17694 199.99 o 17693 199.99 o 17692 199.99 o 17691 200.00 o 17690 200.00 o 17689 200.00 o 17688 200.00 o 17687 200.01 o 17686 200.01 o 17685 200.01 o 17684 200.01 o 17683 200.02 o 17682 200.02 o 17681 200.02 o 17680 200.02 o 17679 200.02 o 17678 200.03 o 17677 200.03 o 17676 200.03 o 17675 200.03 o 17674 200.04 o 17673 200.04 o 17672 200.04 o 17671 200.04 o 17670 200.05 o 17669 200.05 o 17668 200.05 o 17667 200.05 o 17666 200.05 o 17665 200.06 o 17664 200.06 o 17663 200.06 o 17662 200.06 o 17661 200.07 o 17660 200.07 o 17659 200.07 o 17658 200.07 o 17657 200.08 o 17656 200.08 o 17655 200.08 o 17654 200.08 o 17653 200.08 o 17652 200.09 o 17651 200.09 o 17650 200.09 o 17649 200.09 o 17648 200.10 o 17647 200.10 o 17646 200.10 o 17645 200.10 o 17644 200.11 o 17643 200.11 o 17642 200.11 o 17641 200.11 o 17640 200.11 o 17639 200.12 o 17638 200.12 o 17637 200.12 o 17636 200.12 o 17635 200.13 o 17634 200.13 o 17633 200.13 o 17632 200.13 o 17631 200.14 o 17630 200.14 o 17629 200.14 o 17628 200.14 o 17627 200.14 o 17626 200.15 o 17625 200.15 o 17624 200.15 o 17623 200.15 o 17622 200.16 o 17621 200.16 o 17620 200.16 o 17619 200.16 o 17618 200.17 o 17617 200.96 o 17616 201.07 o 17615 201.07 o 17614 201.08 o 17613 201.08 o 17612 201.08 o 17611 201.08 o 17610 201.09 o 17609 201.09 o 17608 201.09 o 17607 201.09 o 17606 201.09 o 17605 201.10 o 17604 201.10 o 17603 201.10 o 17602 201.10 o 17601 201.11 o 17600 201.11 o 17599 201.11 o 17598 201.11 o 17597 201.11 o 17596 201.12 o 17595 201.12 o 17594 201.12 o 17593 201.12 o 17592 201.13 o 17591 201.13 o 17590 201.13 o 17589 201.13 o 17588 201.14 o 17587 201.14 o 17586 201.14 o 17585 201.14 o 17584 201.15 o 17583 201.15 o 17582 201.15 o 17581 201.15 o 17580 201.15 o 17579 201.16 o 17578 201.16 o 17577 201.16 o 17576 201.16 o 17575 201.17 o 17574 201.17 o 17573 201.17 o 17572 201.17 o 17571 201.18 o 17570 201.18 o 17569 201.18 o 17568 201.18 o 17567 201.19 o 17566 201.19 o 17565 201.19 o 17564 201.19 o 17563 201.19 o 17562 201.20 o 17561 201.20 o 17560 201.20 o 17559 201.20 o 17558 201.21 o 17557 201.21 o 17556 201.21 o 17555 201.21 o 17554 201.22 o 17553 201.22 o 17552 201.22 o 17551 201.22 o 17550 201.23 o 17549 201.23 o 17548 201.23 o 17547 201.23 o 17546 201.23 o 17545 201.24 o 17544 201.24 o 17543 201.24 o 17542 201.24 o 17541 201.25 o 17540 201.25 o 17539 201.25 o 17538 201.25 o 17537 201.26 o 17536 201.26 o 17535 201.26 o 17534 201.26 o 17533 201.27 o 17532 201.27 o 17531 201.27 o 17530 201.27 o 17529 201.27 o 17528 201.28 o 17527 201.28 o 17526 201.28 o 17525 201.28 o 17524 201.29 o 17523 201.29 o 17522 201.29 o 17521 201.29 o 17520 201.30 o 17519 201.30 o 17518 201.30 o 17517 201.30 o 17516 201.31 o 17515 201.31 o 17514 201.31 o 17513 201.31 o 17512 201.31 o 17511 201.32 o 17510 201.32 o 17509 201.32 o 17508 201.32 o 17507 201.33 o 17506 201.33 o 17505 201.33 o 17504 201.33 o 17503 201.34 o 17502 201.34 o 17501 201.34 o 17500 201.34 o 17499 201.34 o 17498 201.35 o 17497 201.35 o 17496 201.35 o 17495 201.35 o 17494 201.36 o 17493 201.36 o 17492 201.36 o 17491 201.36 o 17490 201.36 o 17489 201.37 o 17488 201.37 o 17487 201.37 o 17486 201.37 o 17485 201.38 o 17484 201.38 o 17483 201.38 o 17482 201.38 o 17481 201.39 o 17480 201.39 o 17479 201.39 o 17478 201.39 o 17477 201.39 o 17476 201.40 o 17475 201.40 o 17474 201.40 o 17473 201.40 o 17472 201.41 o 17471 201.41 o 17470 201.41 o 17469 201.41 o 17468 201.41 o 17467 201.42 o 17466 201.42 o 17465 201.42 o 17464 201.42 o 17463 201.43 o 17462 201.43 o 17461 201.43 o 17460 201.43 o 17459 201.44 o 17458 201.44 o 17457 201.44 o 17456 201.44 o 17455 201.45 o 17454 201.45 o 17453 201.45 o 17452 201.45 o 17451 201.46 o 17450 208.77 o 17449 219.32 o 17448 219.32 o 17447 219.32 o 17446 219.32 o 17445 219.33 o 17444 219.33 o 17443 219.33 o 17442 219.33 o 17441 219.34 o 17440 219.34 o 17439 219.34 o 17438 219.34 o 17437 219.35 o 17436 219.35 o 17435 219.35 o 17434 219.35 o 17433 219.36 o 17432 219.36 o 17431 219.36 o 17430 219.36 o 17429 219.36 o 17428 219.37 o 17427 219.37 o 17426 219.37 o 17425 219.37 o 17424 219.38 o 17423 219.38 o 17422 219.38 o 17421 219.38 o 17420 219.39 o 17419 219.39 o 17418 219.39 o 17417 219.39 o 17416 219.40 o 17415 219.40 o 17414 219.40 o 17413 219.40 o 17412 219.41 o 17411 219.41 o 17410 219.41 o 17409 219.41 o 17408
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node66/watcher-41526-1149366316 -o ROOT/results/node66/solver-41526-1149366316 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node66/41526-1149366316/instance-41526-1149366316.opb 821759372 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.86 0.94 0.92 2/64 25878 /proc/meminfo: memFree=1682408/2055920 swapFree=4182224/4192956 [pid=25878] ppid=25876 vsize=1400 CPUtime=0 /proc/25878/stat : 25878 (PBS4L) R 25876 25878 25832 0 -1 4194304 153 0 0 0 0 0 0 0 18 0 1 0 202299678 1433600 136 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134536984 0 0 4096 0 0 0 0 17 1 0 0 /proc/25878/statm: 350 136 99 232 0 115 0 [startup+10.0026 s] /proc/loadavg: 0.88 0.94 0.92 2/64 25878 /proc/meminfo: memFree=1677176/2055920 swapFree=4182224/4192956 [pid=25878] ppid=25876 vsize=7464 CPUtime=10 /proc/25878/stat : 25878 (PBS4L) R 25876 25878 25832 0 -1 4194304 1483 0 0 0 988 12 0 0 25 0 1 0 202299678 7643136 1409 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551585 0 0 4096 0 0 0 0 17 1 0 0 /proc/25878/statm: 1866 1409 107 232 0 1631 0 Current children cumulated CPU time (s) 10 Current children cumulated vsize (Kb) 7464 [startup+20.0089 s] /proc/loadavg: 0.90 0.94 0.92 2/64 25878 /proc/meminfo: memFree=1674304/2055920 swapFree=4182224/4192956 [pid=25878] ppid=25876 vsize=12496 CPUtime=19.99 /proc/25878/stat : 25878 (PBS4L) R 25876 25878 25832 0 -1 4194304 2299 0 0 0 1980 19 0 0 25 0 1 0 202299678 12795904 2128 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/25878/statm: 3124 2128 108 232 0 2889 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 12496 [startup+30.0151 s] /proc/loadavg: 0.92 0.94 0.92 2/64 25878 /proc/meminfo: memFree=1673728/2055920 swapFree=4182224/4192956 [pid=25878] ppid=25876 vsize=13568 CPUtime=30 /proc/25878/stat : 25878 (PBS4L) R 25876 25878 25832 0 -1 4194304 2630 0 0 0 2977 23 0 0 25 0 1 0 202299678 13893632 2266 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/25878/statm: 3392 2266 108 232 0 3157 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 13568 [startup+40.0213 s] /proc/loadavg: 0.93 0.94 0.92 2/64 25878 /proc/meminfo: memFree=1672384/2055920 swapFree=4182224/4192956 [pid=25878] ppid=25876 vsize=13868 CPUtime=40 /proc/25878/stat : 25878 (PBS4L) R 25876 25878 25832 0 -1 4194304 2974 0 0 0 3975 25 0 0 25 0 1 0 202299678 14200832 2610 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/25878/statm: 3467 2610 108 232 0 3232 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 13868 [startup+50.0276 s] /proc/loadavg: 0.94 0.95 0.92 2/64 25878 /proc/meminfo: memFree=1671424/2055920 swapFree=4182224/4192956 [pid=25878] ppid=25876 vsize=14028 CPUtime=50.01 /proc/25878/stat : 25878 (PBS4L) R 25876 25878 25832 0 -1 4194304 3224 0 0 0 4974 27 0 0 25 0 1 0 202299678 14364672 2860 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/25878/statm: 3507 2860 108 232 0 3272 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 14028 [startup+60.0338 s] /proc/loadavg: 0.95 0.95 0.92 2/64 25878 /proc/meminfo: memFree=1670208/2055920 swapFree=4182224/4192956 [pid=25878] ppid=25876 vsize=14320 CPUtime=60.01 /proc/25878/stat : 25878 (PBS4L) R 25876 25878 25832 0 -1 4194304 3536 0 0 0 5972 29 0 0 25 0 1 0 202299678 14663680 3172 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549273 0 0 4096 0 0 0 0 17 1 0 0 /proc/25878/statm: 3580 3172 108 232 0 3345 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 14320 [startup+70.04 s] /proc/loadavg: 0.95 0.95 0.92 2/64 25878 /proc/meminfo: memFree=1669376/2055920 swapFree=4182224/4192956 [pid=25878] ppid=25876 vsize=14464 CPUtime=70.01 /proc/25878/stat : 25878 (PBS4L) R 25876 25878 25832 0 -1 4194304 3731 0 0 0 6970 31 0 0 25 0 1 0 202299678 14811136 3367 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/25878/statm: 3616 3367 108 232 0 3381 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 14464 [startup+80.0463 s] /proc/loadavg: 0.96 0.95 0.92 2/64 25878 /proc/meminfo: memFree=1668352/2055920 swapFree=4182224/4192956 [pid=25878] ppid=25876 vsize=24472 CPUtime=80.01 /proc/25878/stat : 25878 (PBS4L) R 25876 25878 25832 0 -1 4194304 4350 0 0 0 7969 32 0 0 25 0 1 0 202299678 25059328 3601 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/25878/statm: 6118 3601 108 232 0 5883 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 24472 [startup+90.0525 s] /proc/loadavg: 0.97 0.95 0.92 2/64 25878 /proc/meminfo: memFree=1667712/2055920 swapFree=4182224/4192956 [pid=25878] ppid=25876 vsize=24820 CPUtime=90.02 /proc/25878/stat : 25878 (PBS4L) R 25876 25878 25832 0 -1 4194304 4537 0 0 0 8968 34 0 0 25 0 1 0 202299678 25415680 3788 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558771 0 0 4096 0 0 0 0 17 1 0 0 /proc/25878/statm: 6205 3788 108 232 0 5970 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 24820 [startup+100.059 s] /proc/loadavg: 0.97 0.95 0.92 2/64 25878 /proc/meminfo: memFree=1666816/2055920 swapFree=4182224/4192956 [pid=25878] ppid=25876 vsize=24968 CPUtime=100.02 /proc/25878/stat : 25878 (PBS4L) R 25876 25878 25832 0 -1 4194304 4765 0 0 0 9967 35 0 0 25 0 1 0 202299678 25567232 4016 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/25878/statm: 6242 4016 108 232 0 6007 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 24968 [startup+110.065 s] /proc/loadavg: 0.98 0.95 0.92 2/64 25878 /proc/meminfo: memFree=1666432/2055920 swapFree=4182224/4192956 [pid=25878] ppid=25876 vsize=25128 CPUtime=110.02 /proc/25878/stat : 25878 (PBS4L) R 25876 25878 25832 0 -1 4194304 4850 0 0 0 10965 37 0 0 25 0 1 0 202299678 25731072 4101 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/25878/statm: 6282 4101 108 232 0 6047 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 25128 [startup+120.071 s] /proc/loadavg: 0.98 0.95 0.92 2/64 25878 /proc/meminfo: memFree=1666112/2055920 swapFree=4182224/4192956 [pid=25878] ppid=25876 vsize=25344 CPUtime=120.03 /proc/25878/stat : 25878 (PBS4L) R 25876 25878 25832 0 -1 4194304 4931 0 0 0 11964 39 0 0 25 0 1 0 202299678 25952256 4182 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/25878/statm: 6336 4182 108 232 0 6101 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 25344 [startup+130.077 s] /proc/loadavg: 0.98 0.95 0.92 2/64 25878 /proc/meminfo: memFree=1664704/2055920 swapFree=4182224/4192956 [pid=25878] ppid=25876 vsize=25512 CPUtime=130.04 /proc/25878/stat : 25878 (PBS4L) R 25876 25878 25832 0 -1 4194304 5287 0 0 0 12964 40 0 0 25 0 1 0 202299678 26124288 4538 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/25878/statm: 6378 4538 108 232 0 6143 0 Current children cumulated CPU time (s) 130.04 Current children cumulated vsize (Kb) 25512 [startup+140.084 s] /proc/loadavg: 0.98 0.95 0.92 2/64 25878 /proc/meminfo: memFree=1662912/2055920 swapFree=4182224/4192956 [pid=25878] ppid=25876 vsize=25924 CPUtime=140.04 /proc/25878/stat : 25878 (PBS4L) R 25876 25878 25832 0 -1 4194304 5718 0 0 0 13963 41 0 0 25 0 1 0 202299678 26546176 4969 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/25878/statm: 6481 4969 108 232 0 6246 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 25924 [startup+150.09 s] /proc/loadavg: 0.99 0.96 0.92 2/64 25878 /proc/meminfo: memFree=1662016/2055920 swapFree=4182224/4192956 [pid=25878] ppid=25876 vsize=26144 CPUtime=150.04 /proc/25878/stat : 25878 (PBS4L) R 25876 25878 25832 0 -1 4194304 5952 0 0 0 14962 42 0 0 25 0 1 0 202299678 26771456 5203 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/25878/statm: 6536 5203 108 232 0 6301 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 26144 [startup+160.096 s] /proc/loadavg: 0.99 0.96 0.92 2/64 25878 /proc/meminfo: memFree=1661760/2055920 swapFree=4182224/4192956 [pid=25878] ppid=25876 vsize=26276 CPUtime=160.04 /proc/25878/stat : 25878 (PBS4L) R 25876 25878 25832 0 -1 4194304 6009 0 0 0 15961 43 0 0 25 0 1 0 202299678 26906624 5260 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0 /proc/25878/statm: 6569 5260 108 232 0 6334 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 26276 [startup+170.102 s] /proc/loadavg: 0.99 0.96 0.92 2/64 25878 /proc/meminfo: memFree=1661440/2055920 swapFree=4182224/4192956 [pid=25878] ppid=25876 vsize=26416 CPUtime=170.05 /proc/25878/stat : 25878 (PBS4L) R 25876 25878 25832 0 -1 4194304 6085 0 0 0 16960 45 0 0 25 0 1 0 202299678 27049984 5336 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/25878/statm: 6604 5336 108 232 0 6369 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 26416 [startup+180.109 s] /proc/loadavg: 0.99 0.96 0.92 2/64 25878 /proc/meminfo: memFree=1661248/2055920 swapFree=4182224/4192956 [pid=25878] ppid=25876 vsize=26564 CPUtime=180.05 /proc/25878/stat : 25878 (PBS4L) R 25876 25878 25832 0 -1 4194304 6132 0 0 0 17959 46 0 0 25 0 1 0 202299678 27201536 5383 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558803 0 0 4096 0 0 0 0 17 1 0 0 /proc/25878/statm: 6641 5383 108 232 0 6406 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 26564 [startup+190.115 s] /proc/loadavg: 0.99 0.96 0.92 2/64 25878 /proc/meminfo: memFree=1660992/2055920 swapFree=4182224/4192956 [pid=25878] ppid=25876 vsize=26720 CPUtime=190.05 /proc/25878/stat : 25878 (PBS4L) R 25876 25878 25832 0 -1 4194304 6196 0 0 0 18958 47 0 0 25 0 1 0 202299678 27361280 5447 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/25878/statm: 6680 5447 108 232 0 6445 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 26720 [startup+200.121 s] /proc/loadavg: 0.99 0.96 0.92 2/64 25878 /proc/meminfo: memFree=1660800/2055920 swapFree=4182224/4192956 [pid=25878] ppid=25876 vsize=26720 CPUtime=200.06 /proc/25878/stat : 25878 (PBS4L) R 25876 25878 25832 0 -1 4194304 6248 0 0 0 19957 49 0 0 25 0 1 0 202299678 27361280 5499 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/25878/statm: 6680 5499 108 232 0 6445 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 26720 [startup+210.127 s] /proc/loadavg: 0.99 0.96 0.92 2/64 25878 /proc/meminfo: memFree=1660736/2055920 swapFree=4182224/4192956 ################ # More data... # ################ /proc/25878/stat : 25878 (PBS4L) R 25876 25878 25832 0 -1 4194304 18112 0 0 0 177974 183 0 0 25 0 1 0 202299678 78442496 11984 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/25878/statm: 19151 11984 108 232 0 18916 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (Kb) 76604 [startup+1783.11 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25880 /proc/meminfo: memFree=1634560/2055920 swapFree=4182224/4192956 [pid=25878] ppid=25876 vsize=76604 CPUtime=1782.58 /proc/25878/stat : 25878 (PBS4L) R 25876 25878 25832 0 -1 4194304 18116 0 0 0 178075 183 0 0 25 0 1 0 202299678 78442496 11988 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/25878/statm: 19151 11988 108 232 0 18916 0 Current children cumulated CPU time (s) 1782.58 Current children cumulated vsize (Kb) 76604 [startup+1784.12 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25880 /proc/meminfo: memFree=1634560/2055920 swapFree=4182224/4192956 [pid=25878] ppid=25876 vsize=76604 CPUtime=1783.58 /proc/25878/stat : 25878 (PBS4L) R 25876 25878 25832 0 -1 4194304 18117 0 0 0 178175 183 0 0 25 0 1 0 202299678 78442496 11989 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/25878/statm: 19151 11989 108 232 0 18916 0 Current children cumulated CPU time (s) 1783.58 Current children cumulated vsize (Kb) 76604 [startup+1785.12 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25880 /proc/meminfo: memFree=1634560/2055920 swapFree=4182224/4192956 [pid=25878] ppid=25876 vsize=76604 CPUtime=1784.58 /proc/25878/stat : 25878 (PBS4L) R 25876 25878 25832 0 -1 4194304 18119 0 0 0 178275 183 0 0 25 0 1 0 202299678 78442496 11991 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/25878/statm: 19151 11991 108 232 0 18916 0 Current children cumulated CPU time (s) 1784.58 Current children cumulated vsize (Kb) 76604 [startup+1786.13 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25880 /proc/meminfo: memFree=1634560/2055920 swapFree=4182224/4192956 [pid=25878] ppid=25876 vsize=76604 CPUtime=1785.59 /proc/25878/stat : 25878 (PBS4L) R 25876 25878 25832 0 -1 4194304 18120 0 0 0 178376 183 0 0 25 0 1 0 202299678 78442496 11992 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/25878/statm: 19151 11992 108 232 0 18916 0 Current children cumulated CPU time (s) 1785.59 Current children cumulated vsize (Kb) 76604 [startup+1787.13 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25880 /proc/meminfo: memFree=1634496/2055920 swapFree=4182224/4192956 [pid=25878] ppid=25876 vsize=76604 CPUtime=1786.59 /proc/25878/stat : 25878 (PBS4L) R 25876 25878 25832 0 -1 4194304 18121 0 0 0 178476 183 0 0 25 0 1 0 202299678 78442496 11993 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/25878/statm: 19151 11993 108 232 0 18916 0 Current children cumulated CPU time (s) 1786.59 Current children cumulated vsize (Kb) 76604 [startup+1788.14 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25880 /proc/meminfo: memFree=1634496/2055920 swapFree=4182224/4192956 [pid=25878] ppid=25876 vsize=76604 CPUtime=1787.6 /proc/25878/stat : 25878 (PBS4L) R 25876 25878 25832 0 -1 4194304 18122 0 0 0 178577 183 0 0 25 0 1 0 202299678 78442496 11994 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/25878/statm: 19151 11994 108 232 0 18916 0 Current children cumulated CPU time (s) 1787.6 Current children cumulated vsize (Kb) 76604 [startup+1789.14 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25880 /proc/meminfo: memFree=1634496/2055920 swapFree=4182224/4192956 [pid=25878] ppid=25876 vsize=76604 CPUtime=1788.6 /proc/25878/stat : 25878 (PBS4L) R 25876 25878 25832 0 -1 4194304 18134 0 0 0 178677 183 0 0 25 0 1 0 202299678 78442496 12006 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/25878/statm: 19151 12006 108 232 0 18916 0 Current children cumulated CPU time (s) 1788.6 Current children cumulated vsize (Kb) 76604 [startup+1790.15 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25880 /proc/meminfo: memFree=1634496/2055920 swapFree=4182224/4192956 [pid=25878] ppid=25876 vsize=77404 CPUtime=1789.61 /proc/25878/stat : 25878 (PBS4L) R 25876 25878 25832 0 -1 4194304 18136 0 0 0 178778 183 0 0 25 0 1 0 202299678 79261696 12008 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0 /proc/25878/statm: 19351 12008 108 232 0 19116 0 Current children cumulated CPU time (s) 1789.61 Current children cumulated vsize (Kb) 77404 [startup+1791.15 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25880 /proc/meminfo: memFree=1634432/2055920 swapFree=4182224/4192956 [pid=25878] ppid=25876 vsize=77404 CPUtime=1790.61 /proc/25878/stat : 25878 (PBS4L) R 25876 25878 25832 0 -1 4194304 18138 0 0 0 178878 183 0 0 25 0 1 0 202299678 79261696 12010 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/25878/statm: 19351 12010 108 232 0 19116 0 Current children cumulated CPU time (s) 1790.61 Current children cumulated vsize (Kb) 77404 [startup+1792.16 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25880 /proc/meminfo: memFree=1634432/2055920 swapFree=4182224/4192956 [pid=25878] ppid=25876 vsize=77404 CPUtime=1791.61 /proc/25878/stat : 25878 (PBS4L) R 25876 25878 25832 0 -1 4194304 18139 0 0 0 178978 183 0 0 25 0 1 0 202299678 79261696 12011 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/25878/statm: 19351 12011 108 232 0 19116 0 Current children cumulated CPU time (s) 1791.61 Current children cumulated vsize (Kb) 77404 [startup+1793.16 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25880 /proc/meminfo: memFree=1634432/2055920 swapFree=4182224/4192956 [pid=25878] ppid=25876 vsize=77404 CPUtime=1792.62 /proc/25878/stat : 25878 (PBS4L) R 25876 25878 25832 0 -1 4194304 18140 0 0 0 179079 183 0 0 25 0 1 0 202299678 79261696 12012 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/25878/statm: 19351 12012 108 232 0 19116 0 Current children cumulated CPU time (s) 1792.62 Current children cumulated vsize (Kb) 77404 [startup+1794.17 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25880 /proc/meminfo: memFree=1634432/2055920 swapFree=4182224/4192956 [pid=25878] ppid=25876 vsize=77404 CPUtime=1793.62 /proc/25878/stat : 25878 (PBS4L) R 25876 25878 25832 0 -1 4194304 18141 0 0 0 179179 183 0 0 25 0 1 0 202299678 79261696 12013 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/25878/statm: 19351 12013 108 232 0 19116 0 Current children cumulated CPU time (s) 1793.62 Current children cumulated vsize (Kb) 77404 [startup+1795.17 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25880 /proc/meminfo: memFree=1634432/2055920 swapFree=4182224/4192956 [pid=25878] ppid=25876 vsize=77404 CPUtime=1794.62 /proc/25878/stat : 25878 (PBS4L) R 25876 25878 25832 0 -1 4194304 18142 0 0 0 179279 183 0 0 25 0 1 0 202299678 79261696 12014 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/25878/statm: 19351 12014 108 232 0 19116 0 Current children cumulated CPU time (s) 1794.62 Current children cumulated vsize (Kb) 77404 [startup+1796.18 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25880 /proc/meminfo: memFree=1634432/2055920 swapFree=4182224/4192956 [pid=25878] ppid=25876 vsize=77404 CPUtime=1795.64 /proc/25878/stat : 25878 (PBS4L) R 25876 25878 25832 0 -1 4194304 18143 0 0 0 179380 184 0 0 25 0 1 0 202299678 79261696 12015 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/25878/statm: 19351 12015 108 232 0 19116 0 Current children cumulated CPU time (s) 1795.64 Current children cumulated vsize (Kb) 77404 [startup+1797.18 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25880 /proc/meminfo: memFree=1634368/2055920 swapFree=4182224/4192956 [pid=25878] ppid=25876 vsize=77404 CPUtime=1796.64 /proc/25878/stat : 25878 (PBS4L) R 25876 25878 25832 0 -1 4194304 18152 0 0 0 179480 184 0 0 25 0 1 0 202299678 79261696 12024 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0 /proc/25878/statm: 19351 12024 108 232 0 19116 0 Current children cumulated CPU time (s) 1796.64 Current children cumulated vsize (Kb) 77404 [startup+1798.19 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25880 /proc/meminfo: memFree=1634368/2055920 swapFree=4182224/4192956 [pid=25878] ppid=25876 vsize=77404 CPUtime=1797.64 /proc/25878/stat : 25878 (PBS4L) R 25876 25878 25832 0 -1 4194304 18154 0 0 0 179580 184 0 0 25 0 1 0 202299678 79261696 12026 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558793 0 0 4096 0 0 0 0 17 1 0 0 /proc/25878/statm: 19351 12026 108 232 0 19116 0 Current children cumulated CPU time (s) 1797.64 Current children cumulated vsize (Kb) 77404 [startup+1799.19 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25880 /proc/meminfo: memFree=1634368/2055920 swapFree=4182224/4192956 [pid=25878] ppid=25876 vsize=77404 CPUtime=1798.65 /proc/25878/stat : 25878 (PBS4L) R 25876 25878 25832 0 -1 4194304 18155 0 0 0 179681 184 0 0 25 0 1 0 202299678 79261696 12027 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/25878/statm: 19351 12027 108 232 0 19116 0 Current children cumulated CPU time (s) 1798.65 Current children cumulated vsize (Kb) 77404 [startup+1800.2 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25880 /proc/meminfo: memFree=1634368/2055920 swapFree=4182224/4192956 [pid=25878] ppid=25876 vsize=77404 CPUtime=1799.65 /proc/25878/stat : 25878 (PBS4L) R 25876 25878 25832 0 -1 4194304 18157 0 0 0 179781 184 0 0 25 0 1 0 202299678 79261696 12029 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/25878/statm: 19351 12029 108 232 0 19116 0 Current children cumulated CPU time (s) 1799.65 Current children cumulated vsize (Kb) 77404 [startup+1801.2 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25880 /proc/meminfo: memFree=1634368/2055920 swapFree=4182224/4192956 [pid=25878] ppid=25876 vsize=77404 CPUtime=1800.65 /proc/25878/stat : 25878 (PBS4L) R 25876 25878 25832 0 -1 4194304 18159 0 0 0 179881 184 0 0 25 0 1 0 202299678 79261696 12031 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/25878/statm: 19351 12031 108 232 0 19116 0 Current children cumulated CPU time (s) 1800.65 Current children cumulated vsize (Kb) 77404 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.21 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25880 /proc/meminfo: memFree=1634368/2055920 swapFree=4182224/4192956 [pid=25878] ppid=25876 vsize=77404 CPUtime=1800.66 /proc/25878/stat : 25878 (PBS4L) R 25876 25878 25832 0 -1 4194304 18159 0 0 0 179882 184 0 0 25 0 1 0 202299678 79261696 12031 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/25878/statm: 19351 12031 108 232 0 19116 0 Current children cumulated CPU time (s) 1800.66 Current children cumulated vsize (Kb) 77404 Sending SIGTERM to -25878 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.22 CPU time (s): 1800.68 CPU user time (s): 1798.82 CPU system time (s): 1.85572 CPU usage (%): 99.9699 Max. virtual memory (cumulated for all children) (Kb): 77404 The end
Begin job on node66 on Sat Jun 3 20:25:16 UTC 2006 FILE ID= 41526-1149366316 PBS_JOBID= 311851 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos5.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node66/41526-1149366316/instance-41526-1149366316.opb 821759372 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node66/watcher-41526-1149366316 -o ROOT/results/node66/solver-41526-1149366316 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node66/41526-1149366316/instance-41526-1149366316.opb 821759372 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 687e90f40c46b53feec9c54ee9b43fa6 RANDOM SEED= 821759372 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.225 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.225 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1682616 kB Buffers: 30656 kB Cached: 272568 kB SwapCached: 2368 kB Active: 55260 kB Inactive: 256592 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1682616 kB SwapTotal: 4192956 kB SwapFree: 4182224 kB Dirty: 292 kB Writeback: 0 kB Mapped: 15144 kB Slab: 47412 kB Committed_AS: 329556 kB PageTables: 1400 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node66 on Sat Jun 3 20:55:17 UTC 2006