Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.06 | 1800.62 |
Name | /DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3041_4-unsat.opb |
MD5SUM | fa33f3f881a96fd28fe28332e1a468a6 |
Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.129979 |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 4836 |
Total number of constraints | 16649 |
Number of constraints which are clauses | 16341 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 308 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 26 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 15 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 166 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.04 c PB-wave - v2 0.00/0.04 c command line = ./PB-wave 0.00/0.04 c seed = 58876085 0.00/0.04 c cutoff = 1000000 0.00/0.04 c tries = 1000000 0.00/0.04 c heuristic = c best, noise 50 / 100 0.00/0.04 #var 4836 #con 16649 0.00/0.04 mode is SAT 0.00/0.04 c tail starts after flip = 14508 0.00/0.04 c numatom = 4836, numclause = 16649, numliterals = 41738 0.00/0.04 c wff read in 0.00/0.04 c 0.00/0.04 c lowest final avg noise noise total avg mean mean 0.00/0.04 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.04 c this this this this this this success success until std 0.00/0.04 c try try try try try try rate tries assign dev 0.00/0.04 c 1.10/1.17 c 79 87 173.69 26.93 6.45 1000000 0 2.29/2.30 c 83 163 173.02 26.39 6.56 1000000 0 3.39/3.43 c 86 190 168.78 26.13 6.46 1000000 0 4.49/4.56 c 93 126 172.58 26.08 6.62 1000000 0 5.59/5.69 c 73 228 170.84 26.25 6.51 1000000 0 6.79/6.82 c 85 189 171.91 26.40 6.51 1000000 0 7.89/7.95 c 72 182 174.69 26.52 6.59 1000000 0 8.99/9.08 c 83 160 172.73 26.35 6.55 1000000 0 10.19/10.21 c 89 131 174.54 27.94 6.25 1000000 0 11.29/11.34 c 75 199 171.56 26.57 6.46 1000000 0 12.39/12.47 c 71 149 172.49 27.09 6.37 1000000 0 13.59/13.60 c 88 181 169.68 25.64 6.62 1000000 0 14.68/14.74 c 94 167 174.95 28.51 6.14 1000000 0 15.78/15.87 c 92 160 174.98 28.02 6.24 1000000 0 16.88/16.99 c 87 132 172.88 27.38 6.31 1000000 0 18.08/18.12 c 85 167 170.59 26.98 6.32 1000000 0 19.18/19.25 c 86 195 170.61 26.98 6.32 1000000 0 20.28/20.38 c 86 157 173.98 26.79 6.49 1000000 0 21.48/21.51 c 80 177 174.29 27.53 6.33 1000000 0 22.58/22.64 c 91 168 171.75 26.56 6.47 1000000 0 23.68/23.77 c 91 133 170.46 27.03 6.31 1000000 0 24.88/24.90 c 74 191 171.77 28.19 6.09 1000000 0 25.98/26.03 c 86 185 173.19 27.00 6.41 1000000 0 27.08/27.16 c 76 147 169.96 26.48 6.42 1000000 0 28.18/28.28 c 72 134 171.00 25.39 6.74 1000000 0 29.38/29.41 c 75 174 173.68 27.23 6.38 1000000 0 30.48/30.54 c 85 160 173.40 26.46 6.55 1000000 0 31.58/31.67 c 76 164 174.99 28.13 6.22 1000000 0 32.78/32.81 c 87 184 175.82 26.77 6.57 1000000 0 33.88/33.94 c 90 191 172.76 26.69 6.47 1000000 0 34.98/35.07 c 82 207 174.51 27.01 6.46 1000000 0 36.18/36.20 c 87 201 172.15 27.72 6.21 1000000 0 37.28/37.33 c 90 183 173.69 26.66 6.52 1000000 0 38.38/38.46 c 85 204 173.54 26.44 6.56 1000000 0 39.48/39.59 c 73 211 172.48 26.56 6.50 1000000 0 40.68/40.72 c 91 98 173.08 27.51 6.29 1000000 0 41.78/41.85 c 92 169 175.80 28.05 6.27 1000000 0 42.88/42.98 c 49 165 172.98 27.67 6.25 1000000 0 44.07/44.11 c 85 194 170.26 25.05 6.80 1000000 0 45.17/45.24 c 70 162 171.34 27.28 6.28 1000000 0 46.27/46.37 c 85 158 171.03 26.79 6.38 1000000 0 47.37/47.50 c 89 156 170.76 26.59 6.42 1000000 0 48.57/48.63 c 84 175 173.22 27.37 6.33 1000000 0 49.67/49.75 c 76 242 171.30 26.11 6.56 1000000 0 50.77/50.88 c 77 136 172.66 27.12 6.37 1000000 0 51.97/52.01 c 77 163 168.49 26.66 6.32 1000000 0 53.07/53.15 c 83 215 173.08 28.03 6.17 1000000 0 54.17/54.28 c 93 198 173.02 27.77 6.23 1000000 0 55.37/55.41 c 74 155 170.39 26.40 6.45 1000000 0 56.47/56.54 c 72 169 173.02 26.53 6.52 1000000 0 57.57/57.67 c 83 132 172.50 27.40 6.30 1000000 0 58.77/58.80 c 67 201 172.37 27.38 6.30 1000000 0 59.87/59.93 c 79 170 170.44 27.66 6.16 1000000 0 60.97/61.06 c 85 153 173.38 28.17 6.15 1000000 0 62.07/62.19 c 84 174 174.08 27.76 6.27 1000000 0 63.27/63.32 c 81 172 172.91 26.57 6.51 1000000 0 64.37/64.45 c 88 147 171.23 25.99 6.59 1000000 0 65.47/65.58 c 71 191 173.36 26.88 6.45 1000000 0 66.66/66.71 c 88 162 171.96 25.88 6.64 1000000 0 67.76/67.83 c 76 167 170.29 26.85 6.34 1000000 0 68.86/68.97 c 91 131 175.51 27.99 6.27 1000000 0 70.06/70.10 c 73 152 173.66 27.72 6.27 1000000 0 71.16/71.23 c 80 143 175.18 27.71 6.32 1000000 0 72.26/72.36 c 87 169 175.74 27.69 6.35 1000000 0 73.36/73.49 c 74 160 172.10 26.52 6.49 1000000 0 74.56/74.62 c 71 173 171.72 28.59 6.01 1000000 0 75.66/75.75 c 79 152 169.78 26.28 6.46 1000000 0 76.76/76.88 c 70 187 170.18 26.59 6.40 1000000 0 77.97/78.01 c 75 146 172.08 28.86 5.96 1000000 0 79.07/79.14 c 71 148 172.23 26.70 6.45 1000000 0 80.17/80.27 c 88 226 171.39 27.37 6.26 1000000 0 81.27/81.40 c 81 115 173.41 27.25 6.36 1000000 0 82.47/82.53 c 85 173 173.96 27.13 6.41 1000000 0 83.57/83.66 c 89 165 173.53 26.94 6.44 1000000 0 84.67/84.79 c 90 216 174.27 26.90 6.48 1000000 0 85.86/85.92 c 84 145 172.54 26.91 6.41 1000000 0 86.96/87.05 c 80 166 174.47 27.27 6.40 1000000 0 88.06/88.18 c 79 207 172.11 26.09 6.60 1000000 0 89.26/89.31 c 90 187 173.09 27.80 6.23 1000000 0 90.36/90.43 c 79 178 172.13 27.21 6.33 1000000 0 91.46/91.57 c 77 175 173.83 28.45 6.11 1000000 0 92.65/92.70 c 86 242 172.63 28.04 6.16 1000000 0 93.75/93.83 c 93 177 173.92 27.28 6.37 1000000 0 94.85/94.96 c 86 191 172.83 26.11 6.62 1000000 0 95.95/96.09 c 89 168 173.43 27.37 6.34 1000000 0 97.15/97.21 c 81 152 171.65 27.37 6.27 1000000 0 98.26/98.34 c 82 134 172.67 29.63 5.83 1000000 0 99.35/99.47 c 59 177 175.25 27.12 6.46 1000000 0 100.55/100.60 c 83 161 172.36 26.69 6.46 1000000 0 101.65/101.73 c 73 188 172.81 27.10 6.38 1000000 0 102.75/102.86 c 84 108 169.13 26.61 6.36 1000000 0 103.85/103.99 c 84 129 170.97 27.33 6.25 1000000 0 105.05/105.12 c 85 184 172.87 26.84 6.44 1000000 0 106.15/106.25 c 89 121 170.59 25.68 6.64 1000000 0 107.25/107.38 c 79 187 171.10 26.33 6.50 1000000 0 108.45/108.51 c 86 143 171.58 27.69 6.20 1000000 0 109.55/109.64 c 74 221 172.50 26.89 6.41 1000000 0 110.65/110.77 c 86 228 173.24 27.89 6.21 1000000 0 111.85/111.90 c 86 177 172.12 27.07 6.36 1000000 0 112.96/113.03 c 79 185 173.35 27.89 6.22 1000000 0 114.06/114.16 c 91 147 171.97 25.53 6.74 1000000 0 115.16/115.29 c 79 179 174.49 28.56 6.11 1000000 0 116.36/116.42 c 83 173 172.19 26.31 6.55 1000000 0 117.46/117.55 c 79 203 175.60 27.97 6.28 1000000 0 118.56/118.68 c 92 186 172.70 26.61 6.49 1000000 0 119.76/119.81 c 82 190 174.02 28.16 6.18 1000000 0 120.86/120.94 c 92 151 173.55 26.55 6.54 1000000 0 121.96/122.07 c 88 160 171.44 27.48 6.24 1000000 0 123.06/123.19 c 90 159 172.73 25.33 6.82 1000000 0 124.26/124.32 c 84 165 172.90 27.80 6.22 1000000 0 125.36/125.46 c 70 250 173.40 27.77 6.24 1000000 0 126.46/126.59 c 78 172 173.56 24.99 6.95 1000000 0 127.65/127.72 c 88 139 173.39 28.45 6.09 1000000 0 128.75/128.85 c 81 197 175.93 28.46 6.18 1000000 0 129.85/129.97 c 79 188 168.59 27.32 6.17 1000000 0 131.05/131.10 c 68 178 167.89 25.66 6.54 1000000 0 132.15/132.23 c 80 175 172.45 26.81 6.43 1000000 0 133.25/133.36 c 83 203 171.12 26.99 6.34 1000000 0 134.35/134.49 c 86 155 171.82 27.97 6.14 1000000 0 135.55/135.62 c 74 173 173.12 28.13 6.15 1000000 0 136.65/136.75 c 85 179 171.94 25.86 6.65 1000000 0 137.75/137.88 c 74 193 171.94 27.10 6.34 1000000 0 138.95/139.01 c 86 173 172.04 26.63 6.46 1000000 0 140.05/140.14 c 89 131 172.75 26.87 6.43 1000000 0 141.15/141.27 c 87 119 171.40 26.03 6.58 1000000 0 142.35/142.40 c 90 213 174.55 26.92 6.48 1000000 0 143.45/143.53 c 88 161 175.03 26.61 6.58 1000000 0 144.55/144.66 c 74 177 173.73 27.93 6.22 1000000 0 145.65/145.79 c 71 184 172.30 27.16 6.34 1000000 0 146.85/146.92 c 75 104 175.01 28.08 6.23 1000000 0 147.95/148.05 c 78 176 172.52 28.17 6.13 1000000 0 149.05/149.18 c 87 216 173.60 27.83 6.24 1000000 0 150.25/150.31 c 79 193 172.40 26.18 6.59 1000000 0 151.35/151.44 c 87 158 172.09 25.79 6.67 1000000 0 152.44/152.57 c 76 137 171.51 26.51 6.47 1000000 0 153.64/153.70 c 67 147 172.54 27.52 6.27 1000000 0 154.74/154.83 c 85 205 172.48 26.60 6.49 1000000 0 155.84/155.96 c 86 143 174.59 26.59 6.57 1000000 0 156.94/157.09 c 95 117 177.03 27.17 6.52 1000000 0 158.14/158.22 c 83 133 171.91 26.59 6.47 1000000 0 159.24/159.35 c 89 158 171.75 27.55 6.23 1000000 0 160.34/160.48 c 85 178 172.72 26.57 6.50 1000000 0 161.55/161.61 c 78 174 172.58 26.88 6.42 1000000 0 162.65/162.74 c 77 160 172.73 27.47 6.29 1000000 0 163.75/163.87 c 81 150 173.16 26.92 6.43 1000000 0 164.85/165.00 c 80 137 172.03 27.10 6.35 1000000 0 166.05/166.13 c 72 240 171.21 27.71 6.18 1000000 0 167.15/167.26 c 92 176 172.67 26.76 6.45 1000000 0 168.25/168.39 c 87 108 173.22 26.95 6.43 1000000 0 169.44/169.52 c 74 131 173.57 26.24 6.61 1000000 0 170.54/170.64 c 72 170 170.12 27.66 6.15 1000000 0 171.64/171.77 c 68 151 172.40 25.88 6.66 1000000 0 172.84/172.90 c 87 158 170.59 27.19 6.28 1000000 0 173.94/174.03 c 83 169 171.81 25.88 6.64 1000000 0 175.04/175.16 c 94 171 174.29 26.41 6.60 1000000 0 176.14/176.29 c 79 188 171.76 27.87 6.16 1000000 0 177.34/177.42 c 87 191 173.15 27.55 6.28 1000000 0 178.44/178.55 c 87 148 173.37 27.35 6.34 1000000 0 179.54/179.68 c 85 226 173.90 26.49 6.56 1000000 0 180.74/180.81 c 81 193 171.15 26.16 6.54 1000000 0 181.84/181.94 c 77 176 171.35 26.72 6.41 1000000 0 182.94/183.07 c 82 153 172.16 27.05 6.37 1000000 0 184.04/184.20 c 64 140 173.00 28.36 6.10 1000000 0 185.24/185.33 c 67 198 169.33 26.65 6.35 1000000 0 186.34/186.45 c 82 167 171.73 27.35 6.28 1000000 0 187.44/187.58 c 86 180 174.23 27.37 6.37 1000000 0 188.64/188.72 c 78 203 173.00 26.94 6.42 1000000 0 189.74/189.85 c 91 147 173.60 26.75 6.49 1000000 0 190.83/190.98 c 84 124 177.45 28.73 6.18 1000000 0 192.03/192.11 c 84 162 172.08 27.02 6.37 1000000 0 193.13/193.24 c 82 139 172.51 28.03 6.16 1000000 0 194.23/194.37 c 88 167 174.31 27.32 6.38 1000000 0 195.43/195.50 c 96 189 174.28 26.69 6.53 1000000 0 196.53/196.63 c 85 145 173.95 26.76 6.50 1000000 0 197.63/197.76 c 79 152 172.59 27.09 6.37 1000000 0 198.73/198.89 c 87 203 174.59 27.82 6.27 1000000 0 199.93/200.02 c 82 161 172.41 27.61 6.24 1000000 0 201.03/201.15 c 76 178 171.93 26.74 6.43 1000000 0 202.13/202.28 c 81 159 172.91 27.09 6.38 1000000 0 203.34/203.41 c 86 160 172.65 27.52 6.27 1000000 0 204.44/204.54 c 88 196 173.98 27.14 6.41 1000000 0 205.54/205.67 c 90 216 171.65 26.78 6.41 1000000 0 206.64/206.79 c 87 148 173.83 27.08 6.42 1000000 0 207.84/207.92 c 82 174 172.95 28.31 6.11 1000000 0 208.94/209.05 c 87 164 175.17 28.57 6.13 1000000 0 210.04/210.18 c 77 133 174.00 27.34 6.36 1000000 0 211.23/211.31 c 88 183 173.45 26.14 6.63 1000000 0 212.33/212.45 c 79 213 172.59 27.39 6.30 1000000 0 213.43/213.57 c 81 140 171.05 27.11 6.31 1000000 0 214.63/214.71 c 80 155 169.34 26.31 6.44 1000000 0 215.73/215.84 c 80 197 172.54 27.60 6.25 1000000 0 216.83/216.96 c 91 158 174.99 27.18 6.44 1000000 0 217.93/218.09 c 81 138 171.96 28.05 6.13 1000000 0 219.13/219.22 c 90 159 172.32 26.01 6.62 1000000 0 220.22/220.35 c 89 164 169.68 26.15 6.49 1000000 0 221.32/221.48 c 84 198 175.16 28.81 6.08 1000000 0 222.52/222.61 c 83 146 171.96 26.26 6.55 1000000 0 223.62/223.74 c 84 179 174.28 26.42 6.60 1000000 0 224.72/224.88 c 84 169 174.92 26.76 6.54 1000000 0 225.92/226.01 c 86 186 173.78 26.64 6.52 1000000 0 227.02/227.14 c 79 217 173.48 25.29 6.86 1000000 0 228.12/228.27 c 88 247 172.16 26.97 6.38 1000000 0 229.32/229.40 c 86 194 171.64 26.89 6.38 1000000 0 230.42/230.53 c 79 215 171.88 26.84 6.40 1000000 0 231.52/231.66 c 77 148 172.03 26.28 6.55 1000000 0 232.62/232.79 c 87 189 172.95 27.31 6.33 1000000 0 233.82/233.92 c 67 212 173.68 26.24 6.62 1000000 0 234.92/235.05 c 71 176 172.18 27.57 6.25 1000000 0 236.02/236.18 c 87 214 173.12 26.56 6.52 1000000 0 237.22/237.31 c 89 143 175.47 27.76 6.32 1000000 0 238.32/238.44 c 80 199 172.94 27.25 6.35 1000000 0 239.42/239.57 c 71 200 171.42 27.20 6.30 1000000 0 240.62/240.70 c 89 139 173.09 27.70 6.25 1000000 0 241.72/241.83 c 85 192 172.59 26.95 6.40 1000000 0 242.82/242.96 c 72 130 171.53 27.15 6.32 1000000 0 243.92/244.09 c 79 142 173.74 26.96 6.45 1000000 0 245.12/245.22 c 87 149 173.41 26.84 6.46 1000000 0 246.22/246.35 c 73 198 172.18 26.79 6.43 1000000 0 247.32/247.48 c 91 155 173.72 27.32 6.36 1000000 0 248.52/248.61 c 80 155 172.46 29.44 5.86 1000000 0 249.62/249.74 c 90 185 173.34 27.02 6.42 1000000 0 250.72/250.87 c 74 163 172.76 28.37 6.09 1000000 0 251.82/252.00 c 83 204 172.93 26.77 6.46 1000000 0 253.01/253.13 c 87 225 171.94 27.15 6.33 1000000 0 254.11/254.26 c 85 196 172.98 25.85 6.69 1000000 0 255.21/255.39 c 85 171 174.52 26.84 6.50 1000000 0 256.41/256.51 c 88 170 173.43 26.88 6.45 1000000 0 257.51/257.64 c 83 162 173.64 26.71 6.50 1000000 0 258.61/258.77 c 79 168 175.27 26.44 6.63 1000000 0 259.81/259.90 c 80 159 173.28 28.40 6.10 1000000 0 260.91/261.03 c 86 148 171.42 25.94 6.61 1000000 0 262.01/262.17 c 85 200 172.25 27.33 6.30 1000000 0 263.11/263.29 c 77 152 171.54 28.15 6.09 1000000 0 264.31/264.43 c 72 146 173.23 26.87 6.45 1000000 0 265.41/265.56 c 82 132 171.59 26.41 6.50 1000000 0 266.51/266.69 c 86 153 171.62 27.75 6.18 1000000 0 267.71/267.82 c 87 161 171.35 26.48 6.47 1000000 0 268.81/268.95 c 91 190 174.45 26.66 6.54 1000000 0 269.91/270.08 c 86 178 173.94 28.29 6.15 1000000 0 271.11/271.21 c 79 165 173.09 26.53 6.52 1000000 0 272.21/272.34 c 92 175 172.01 26.47 6.50 1000000 0 273.31/273.47 c 84 177 173.30 26.90 6.44 1000000 0 274.51/274.60 c 84 179 172.50 26.05 6.62 1000000 0 275.61/275.73 c 83 151 172.93 28.34 6.10 1000000 0 276.70/276.86 c 90 159 174.52 26.41 6.61 1000000 0 277.81/277.99 c 72 183 174.63 28.10 6.21 1000000 0 279.01/279.12 c 80 163 172.57 27.63 6.25 1000000 0 280.10/280.25 c 83 150 170.50 26.84 6.35 1000000 0 281.20/281.38 c 79 125 173.04 27.50 6.29 1000000 0 282.40/282.51 c 88 178 174.03 27.21 6.40 1000000 0 283.50/283.64 c 78 129 177.28 26.75 6.63 1000000 0 284.60/284.78 c 77 122 174.39 28.33 6.16 1000000 0 285.81/285.90 c 84 140 173.62 26.92 6.45 1000000 0 286.91/287.03 c 93 188 173.06 26.04 6.65 1000000 0 288.01/288.16 c 91 148 173.94 26.10 6.66 1000000 0 289.11/289.29 c 90 178 170.62 26.68 6.39 1000000 0 290.31/290.42 c 86 189 171.20 27.87 6.14 1000000 0 291.41/291.55 c 80 150 174.91 27.48 6.36 1000000 0 292.51/292.68 c 78 123 172.40 25.91 6.65 1000000 0 293.70/293.81 c 65 145 174.68 27.08 6.45 1000000 0 294.80/294.94 c 80 166 173.17 27.66 6.26 1000000 0 295.90/296.08 c 72 159 171.26 26.29 6.51 1000000 0 297.10/297.21 c 78 140 174.02 27.70 6.28 1000000 0 298.20/298.33 c 90 156 175.17 26.63 6.58 1000000 0 299.30/299.46 c 83 196 172.84 26.61 6.50 1000000 0 300.40/300.59 c 82 173 174.63 27.95 6.25 1000000 0 301.60/301.72 c 88 163 173.09 27.64 6.26 1000000 0 302.70/302.85 c 88 165 172.50 27.72 6.22 1000000 0 303.80/303.98 c 72 205 171.11 27.34 6.26 1000000 0 304.99/305.11 c 84 193 171.02 26.47 6.46 1000000 0 306.09/306.24 c 85 184 174.35 27.92 6.25 1000000 0 307.19/307.37 c 76 133 171.71 28.00 6.13 1000000 0 308.39/308.50 c 82 204 172.50 27.51 6.27 1000000 0 309.49/309.63 c 72 172 171.56 27.64 6.21 1000000 0 310.59/310.76 c 79 148 172.84 27.35 6.32 1000000 0 311.69/311.89 c 76 156 171.79 27.23 6.31 1000000 0 312.89/313.02 c 87 219 175.27 27.30 6.42 1000000 0 313.99/314.15 c 87 140 174.06 27.94 6.23 1000000 0 315.09/315.28 c 69 186 170.69 27.02 6.32 1000000 0 316.29/316.41 c 80 183 172.99 27.09 6.39 1000000 0 317.39/317.54 c 73 131 169.67 27.32 6.21 1000000 0 318.49/318.67 c 82 146 172.62 27.02 6.39 1000000 0 319.69/319.80 c 80 192 172.38 27.75 6.21 1000000 0 320.79/320.93 c 77 167 173.06 28.36 6.10 1000000 0 321.89/322.06 c 83 163 173.73 28.67 6.06 1000000 0 322.99/323.19 c 88 166 172.55 25.36 6.80 1000000 0 324.19/324.32 c 82 203 174.23 27.68 6.29 1000000 0 325.29/325.45 c 79 217 172.38 26.67 6.46 1000000 0 326.39/326.58 c 84 197 172.92 26.63 6.49 1000000 0 327.59/327.72 c 85 214 174.39 27.02 6.45 1000000 0 328.69/328.84 c 89 200 176.90 27.48 6.44 1000000 0 329.79/329.98 c 83 216 171.80 25.83 6.65 1000000 0 330.99/331.11 c 88 171 172.20 28.03 6.14 1000000 0 332.09/332.24 c 89 221 170.09 26.67 6.38 1000000 0 333.19/333.37 c 80 249 175.12 27.16 6.45 1000000 0 334.39/334.50 c 89 144 174.09 27.02 6.44 1000000 0 335.48/335.63 c 81 175 172.25 26.59 6.48 1000000 0 336.58/336.76 c 76 120 171.40 27.56 6.22 1000000 0 337.69/337.89 c 84 190 170.68 27.05 6.31 1000000 0 338.89/339.02 c 85 209 173.73 26.70 6.51 1000000 0 339.98/340.15 c 87 159 173.03 27.04 6.40 1000000 0 341.08/341.28 c 82 107 171.21 26.62 6.43 1000000 0 342.28/342.41 c 78 205 174.00 26.94 6.46 1000000 0 343.38/343.54 c 91 132 173.41 26.25 6.61 1000000 0 344.48/344.67 c 86 186 171.25 26.62 6.43 1000000 0 345.68/345.80 c 75 128 171.57 26.36 6.51 1000000 0 346.78/346.93 c 88 167 171.01 27.04 6.32 1000000 0 347.88/348.06 c 82 153 172.03 27.37 6.28 1000000 0 348.98/349.19 c 83 157 171.21 26.56 6.45 1000000 0 350.18/350.32 c 84 157 175.40 27.65 6.34 1000000 0 351.28/351.45 c 89 175 171.94 27.53 6.24 1000000 0 352.38/352.58 c 82 155 173.77 26.64 6.52 1000000 0 353.58/353.71 c 88 161 173.92 27.62 6.30 1000000 0 354.68/354.84 c 82 154 173.50 28.09 6.18 1000000 0 355.78/355.98 c 74 149 173.00 28.06 6.17 1000000 0 356.98/357.10 c 87 186 170.39 27.73 6.14 1000000 0 358.08/358.24 c 85 129 171.47 25.99 6.60 1000000 0 359.18/359.37 c 85 126 173.63 26.00 6.68 1000000 0 360.38/360.50 c 74 153 170.01 26.46 6.42 1000000 0 361.48/361.63 c 78 182 171.37 27.18 6.31 1000000 0 362.58/362.76 c 70 171 173.08 27.63 6.26 1000000 0 363.68/363.89 c 84 187 170.45 26.77 6.37 1000000 0 364.87/365.02 c 82 166 173.08 27.33 6.33 1000000 0 365.97/366.15 c 72 164 173.58 28.42 6.11 1000000 0 367.07/367.28 c 78 157 173.14 27.85 6.22 1000000 0 368.28/368.41 c 68 239 173.16 28.08 6.17 1000000 0 369.38/369.54 c 83 164 173.62 27.20 6.38 1000000 0 370.48/370.67 c 76 159 169.77 26.10 6.51 1000000 0 371.58/371.80 c 86 126 175.09 28.06 6.24 1000000 0 372.78/372.93 c 88 165 172.71 26.84 6.43 1000000 0 373.88/374.06 c 87 146 172.86 27.49 6.29 1000000 0 374.98/375.19 c 82 171 174.79 27.19 6.43 1000000 0 376.17/376.32 c 80 179 171.17 26.96 6.35 1000000 0 377.27/377.45 c 86 184 170.54 26.57 6.42 1000000 0 378.37/378.58 c 89 163 171.34 25.93 6.61 1000000 0 379.57/379.71 c 79 174 170.25 27.19 6.26 1000000 0 380.67/380.84 c 91 141 172.93 26.55 6.51 1000000 0 381.77/381.97 c 85 182 172.02 27.99 6.15 1000000 0 382.97/383.10 c 82 164 175.33 26.69 6.57 1000000 0 384.07/384.23 c 74 154 173.83 27.56 6.31 1000000 0 385.17/385.36 c 90 189 172.41 26.60 6.48 1000000 0 386.27/386.49 c 79 261 171.98 26.94 6.38 1000000 0 387.47/387.62 c 75 186 172.20 25.96 6.63 1000000 0 388.57/388.75 c 91 198 174.24 26.71 6.52 1000000 0 389.67/389.88 c 83 150 171.45 26.80 6.40 1000000 0 390.87/391.01 c 92 176 173.87 26.57 6.54 1000000 0 391.97/392.14 c 73 199 171.72 29.44 5.83 1000000 0 393.07/393.27 c 86 177 170.97 26.63 6.42 1000000 0 394.27/394.40 c 69 168 171.85 26.99 6.37 1000000 0 395.37/395.53 c 70 197 171.84 26.77 6.42 1000000 0 396.47/396.66 c 80 163 171.74 27.61 6.22 1000000 0 397.57/397.79 c 88 171 175.50 27.77 6.32 1000000 0 398.77/398.92 c 91 118 172.74 26.81 6.44 1000000 0 399.86/400.05 c 81 227 175.10 27.11 6.46 1000000 0 400.96/401.18 c 79 180 171.96 26.52 6.48 1000000 0 402.16/402.31 c 90 147 168.52 25.65 6.57 1000000 0 403.26/403.44 c 88 164 174.46 26.74 6.53 1000000 0 404.36/404.56 c 77 216 170.34 26.32 6.47 1000000 0 405.46/405.69 c 81 219 171.05 27.24 6.28 1000000 0 406.66/406.82 c 81 148 172.57 27.64 6.24 1000000 0 407.76/407.95 c 84 192 173.74 26.54 6.55 1000000 0 408.86/409.08 c 90 173 171.50 26.65 6.44 1000000 0 410.07/410.21 c 89 188 172.83 27.46 6.29 1000000 0 411.17/411.35 c 92 193 169.89 26.45 6.42 1000000 0 412.27/412.47 c 88 176 170.64 25.05 6.81 1000000 0 413.36/413.60 c 77 162 172.58 27.76 6.22 1000000 0 414.56/414.74 c 85 148 174.07 25.96 6.71 1000000 0 415.67/415.87 c 71 175 174.26 26.68 6.53 1000000 0 416.76/416.99 c 81 190 172.32 27.29 6.31 1000000 0 417.96/418.12 c 81 178 171.20 26.49 6.46 1000000 0 419.06/419.25 c 86 182 174.74 26.87 6.50 1000000 0 420.16/420.38 c 91 128 173.79 26.67 6.52 1000000 0 421.35/421.51 c 78 150 172.87 26.97 6.41 1000000 0 422.45/422.64 c 83 157 174.25 28.03 6.22 1000000 0 423.56/423.77 c 95 214 171.05 25.53 6.70 1000000 0 424.75/424.90 c 85 165 173.10 26.58 6.51 1000000 0 425.85/426.03 c 85 147 171.24 26.57 6.44 1000000 0 426.95/427.16 c 89 137 171.97 26.92 6.39 1000000 0 428.05/428.29 c 79 175 171.49 26.99 6.35 1000000 0 429.25/429.42 c 85 205 172.49 27.09 6.37 1000000 0 430.35/430.55 c 74 163 174.72 26.55 6.58 1000000 0 431.45/431.68 c 78 166 171.01 27.15 6.30 1000000 0 432.65/432.81 c 78 188 171.32 28.17 6.08 1000000 0 433.75/433.94 c 72 192 171.34 27.65 6.20 1000000 0 434.85/435.07 c 83 167 175.57 28.86 6.08 1000000 0 435.95/436.19 c 71 162 172.56 27.30 6.32 1000000 0 437.15/437.32 c 73 167 174.90 26.87 6.51 1000000 0 438.25/438.45 c 80 169 175.00 26.86 6.52 1000000 0 439.35/439.58 c 84 86 172.22 26.05 6.61 1000000 0 440.55/440.71 c 94 179 171.93 26.50 6.49 1000000 0 441.65/441.84 c 83 154 171.97 26.76 6.43 1000000 0 442.75/442.97 c 73 233 173.66 28.19 6.16 1000000 0 443.95/444.10 c 84 153 171.89 26.71 6.44 1000000 0 445.06/445.23 c 82 148 170.04 26.48 6.42 1000000 0 446.16/446.36 c 89 192 174.02 28.02 6.21 1000000 0 447.26/447.48 c 81 224 172.70 27.31 6.32 1000000 0 448.45/448.61 c 89 182 172.81 27.71 6.24 1000000 0 449.55/449.74 c 88 183 171.75 26.30 6.53 1000000 0 450.65/450.87 c 70 156 173.58 26.61 6.52 1000000 0 451.86/452.00 c 91 137 172.06 27.21 6.32 1000000 0 452.96/453.13 c 78 185 170.58 27.80 6.14 1000000 0 454.06/454.26 c 83 210 174.52 28.08 6.22 1000000 0 455.16/455.39 c 76 142 175.62 27.94 6.29 1000000 0 456.36/456.52 c 89 167 173.94 26.74 6.50 1000000 0 457.46/457.65 c 91 185 172.81 27.47 6.29 1000000 0 458.56/458.78 c 80 170 170.88 27.03 6.32 1000000 0 459.75/459.91 c 79 139 172.58 28.76 6.00 1000000 0 460.85/461.04 c 83 169 171.26 26.03 6.58 1000000 0 461.95/462.17 c 92 171 172.60 27.13 6.36 1000000 0 463.15/463.30 c 67 189 172.28 28.55 6.03 1000000 0 464.25/464.43 c 83 158 171.00 26.80 6.38 1000000 0 465.35/465.56 c 94 215 175.39 26.66 6.58 1000000 0 466.45/466.69 c 82 168 176.00 26.56 6.63 1000000 0 467.65/467.82 c 75 156 170.69 27.39 6.23 1000000 0 468.75/468.95 c 81 150 173.12 25.58 6.77 1000000 0 469.85/470.08 c 93 139 174.09 26.92 6.47 1000000 0 471.05/471.21 c 80 166 171.93 26.56 6.47 1000000 0 472.14/472.34 c 74 167 174.15 27.91 6.24 1000000 0 473.24/473.47 c 75 226 171.12 25.63 6.68 1000000 0 474.44/474.60 c 84 171 171.21 26.46 6.47 1000000 0 475.54/475.73 c 76 167 174.38 27.83 6.26 1000000 0 476.64/476.86 c 87 202 174.16 27.79 6.27 1000000 0 477.84/478.00 c 74 187 173.67 26.79 6.48 1000000 0 478.94/479.13 c 77 145 171.79 26.02 6.60 1000000 0 480.04/480.25 c 75 120 171.94 26.57 6.47 1000000 0 481.14/481.39 c 82 129 172.77 27.98 6.17 1000000 0 482.34/482.52 c 70 197 171.29 26.49 6.47 1000000 0 483.44/483.64 c 87 164 175.66 28.60 6.14 1000000 0 484.54/484.78 c 80 190 176.14 27.47 6.41 1000000 0 485.74/485.90 c 77 144 171.52 27.38 6.26 1000000 0 486.84/487.03 c 90 172 173.38 27.22 6.37 1000000 0 487.94/488.16 c 90 135 173.37 27.25 6.36 1000000 0 489.04/489.29 c 75 195 170.58 26.70 6.39 1000000 0 490.24/490.42 c 81 177 174.84 27.21 6.42 1000000 0 491.34/491.55 c 77 150 170.60 28.11 6.07 1000000 0 492.44/492.68 c 80 162 172.49 28.06 6.15 1000000 0 493.64/493.81 c 85 201 173.91 28.01 6.21 1000000 0 494.74/494.95 c 80 188 173.11 27.02 6.41 1000000 0 495.84/496.07 c 80 168 174.05 27.06 6.43 1000000 0 497.05/497.20 c 67 144 170.37 26.82 6.35 1000000 0 498.15/498.33 c 83 160 170.46 27.14 6.28 1000000 0 499.25/499.46 c 92 141 171.98 26.56 6.48 1000000 0 500.34/500.59 c 81 163 173.85 26.71 6.51 1000000 0 501.54/501.72 c 77 125 171.52 27.56 6.22 1000000 0 502.64/502.86 c 79 143 172.32 27.15 6.35 1000000 0 503.73/503.98 c 72 165 171.10 26.15 6.54 1000000 0 504.93/505.11 c 87 243 173.23 26.57 6.52 1000000 0 506.03/506.24 c 89 197 170.65 26.47 6.45 1000000 0 507.13/507.37 c 85 180 173.96 27.19 6.40 1000000 0 508.33/508.50 c 86 179 174.78 26.80 6.52 1000000 0 509.43/509.63 c 79 160 171.78 27.11 6.34 1000000 0 510.53/510.76 c 82 148 173.50 26.67 6.50 1000000 0 511.63/511.89 c 87 207 171.47 25.98 6.60 1000000 0 512.83/513.02 c 85 184 174.85 26.69 6.55 1000000 0 513.93/514.15 c 75 173 171.76 27.09 6.34 1000000 0 515.03/515.28 c 89 166 170.71 25.22 6.77 1000000 0 516.23/516.40 c 93 216 171.13 26.44 6.47 1000000 0 517.33/517.54 c 86 156 172.08 27.69 6.21 1000000 0 518.43/518.67 c 86 167 172.44 27.66 6.24 1000000 0 519.63/519.80 c 76 184 175.31 27.04 6.48 1000000 0 520.73/520.93 c 80 166 172.92 27.17 6.36 1000000 0 521.83/522.06 c 94 172 173.35 26.26 6.60 1000000 0 522.93/523.19 c 89 162 169.21 25.81 6.56 1000000 0 524.13/524.31 c 86 197 172.13 27.40 6.28 1000000 0 525.23/525.44 c 80 271 171.61 25.87 6.63 1000000 0 526.33/526.57 c 83 195 172.28 26.27 6.56 1000000 0 527.52/527.70 c 92 163 173.88 28.53 6.09 1000000 0 528.62/528.83 c 78 163 171.01 28.15 6.07 1000000 0 529.72/529.96 c 83 181 170.67 27.57 6.19 1000000 0 530.82/531.09 c 88 160 171.46 26.14 6.56 1000000 0 532.02/532.22 c 79 213 174.49 26.78 6.52 1000000 0 533.12/533.35 c 90 211 174.04 26.93 6.46 1000000 0 534.22/534.48 c 75 172 175.45 28.06 6.25 1000000 0 535.43/535.61 c 90 170 174.06 27.41 6.35 1000000 0 536.53/536.74 c 88 142 175.82 26.70 6.59 1000000 0 537.63/537.87 c 92 153 172.80 25.94 6.66 1000000 0 538.73/539.00 c 83 154 173.43 27.34 6.34 1000000 0 539.93/540.13 c 73 182 172.78 27.67 6.25 1000000 0 541.03/541.26 c 79 176 171.80 27.40 6.27 1000000 0 542.13/542.39 c 83 186 174.05 26.17 6.65 1000000 0 543.32/543.52 c 80 173 174.05 27.07 6.43 1000000 0 544.42/544.65 c 81 210 173.17 26.95 6.42 1000000 0 545.52/545.78 c 82 201 173.76 27.51 6.32 1000000 0 546.72/546.91 c 86 189 177.49 27.29 6.50 1000000 0 547.82/548.04 c 87 159 173.89 26.89 6.47 1000000 0 548.92/549.17 c 71 161 170.92 27.38 6.24 1000000 0 550.02/550.29 c 86 205 171.30 26.76 6.40 1000000 0 551.22/551.42 c 83 217 173.89 27.56 6.31 1000000 0 552.32/552.56 c 82 147 174.46 27.48 6.35 1000000 0 553.41/553.69 c 78 146 172.47 27.67 6.23 1000000 0 554.61/554.82 c 80 140 173.78 26.92 6.46 1000000 0 555.71/555.95 c 86 143 175.17 27.49 6.37 1000000 0 556.81/557.08 c 85 190 174.45 27.25 6.40 1000000 0 558.01/558.22 c 71 171 170.69 26.74 6.38 1000000 0 559.11/559.35 c 91 194 174.77 27.53 6.35 1000000 0 560.21/560.48 c 88 198 171.13 26.84 6.38 1000000 0 561.41/561.61 c 87 175 171.84 26.50 6.48 1000000 0 562.51/562.74 c 86 161 174.29 25.77 6.76 1000000 0 563.61/563.87 c 91 185 172.03 25.72 6.69 1000000 0 564.81/565.00 c 86 126 173.18 26.64 6.50 1000000 0 565.91/566.13 c 94 179 173.94 25.57 6.80 1000000 0 567.01/567.26 c 83 157 173.68 27.68 6.28 1000000 0 568.11/568.39 c 70 254 173.93 27.28 6.38 1000000 0 569.31/569.52 c 77 189 170.18 26.31 6.47 1000000 0 570.41/570.65 c 78 179 170.85 27.56 6.20 1000000 0 571.51/571.78 c 85 198 172.00 26.80 6.42 1000000 0 572.71/572.92 c 80 195 173.10 27.14 6.38 1000000 0 573.81/574.05 c 83 166 175.43 28.53 6.15 1000000 0 574.91/575.18 c 79 220 172.81 26.01 6.64 1000000 0 576.12/576.30 c 87 154 171.30 27.04 6.33 1000000 0 577.22/577.44 c 78 152 172.73 27.83 6.21 1000000 0 578.32/578.57 c 74 184 172.72 27.54 6.27 1000000 0 579.42/579.70 c 90 141 172.17 25.62 6.72 1000000 0 580.62/580.83 c 87 147 172.97 26.86 6.44 1000000 0 581.72/581.96 c 89 178 175.99 26.32 6.69 1000000 0 582.82/583.09 c 82 220 173.02 27.74 6.24 1000000 0 584.01/584.22 c 77 202 174.84 26.94 6.49 1000000 0 585.11/585.35 c 90 189 172.07 26.42 6.51 1000000 0 586.21/586.48 c 87 160 174.15 27.62 6.31 1000000 0 587.40/587.62 c 88 157 169.67 26.52 6.40 1000000 0 588.50/588.75 c 76 178 175.78 28.68 6.13 1000000 0 589.60/589.88 c 75 124 170.60 26.95 6.33 1000000 0 590.80/591.01 c 85 225 172.36 26.21 6.58 1000000 0 591.90/592.14 c 83 190 172.09 26.44 6.51 1000000 0 593.00/593.27 c 77 158 171.36 26.40 6.49 1000000 0 594.20/594.40 c 86 181 173.39 26.68 6.50 1000000 0 595.30/595.53 c 89 178 173.78 27.10 6.41 1000000 0 596.39/596.66 c 69 165 174.21 26.93 6.47 1000000 0 597.49/597.79 c 75 182 170.55 28.18 6.05 1000000 0 598.69/598.92 c 77 179 172.06 27.26 6.31 1000000 0 599.79/600.05 c 90 138 174.18 27.15 6.42 1000000 0 600.89/601.18 c 69 226 172.37 26.96 6.39 1000000 0 602.09/602.31 c 85 175 174.47 27.04 6.45 1000000 0 603.19/603.44 c 77 160 172.28 26.82 6.42 1000000 0 604.29/604.57 c 89 185 172.22 26.91 6.40 1000000 0 605.49/605.70 c 73 199 172.21 26.24 6.56 1000000 0 606.59/606.83 c 93 169 171.92 25.77 6.67 1000000 0 607.69/607.96 c 86 193 170.79 26.13 6.54 1000000 0 608.79/609.09 c 89 170 171.83 26.58 6.47 1000000 0 609.99/610.22 c 86 161 171.04 26.03 6.57 1000000 0 611.10/611.34 c 70 135 171.18 27.63 6.19 1000000 0 612.20/612.47 c 82 194 170.71 26.51 6.44 1000000 0 613.40/613.60 c 78 184 173.32 26.21 6.61 1000000 0 614.50/614.73 c 86 168 172.38 27.17 6.34 1000000 0 615.60/615.86 c 79 155 173.01 27.24 6.35 1000000 0 616.70/616.99 c 83 145 175.39 27.37 6.41 1000000 0 617.90/618.12 c 80 213 173.78 27.57 6.30 1000000 0 619.00/619.25 c 78 139 171.62 26.36 6.51 1000000 0 620.10/620.38 c 83 181 172.11 27.12 6.35 1000000 0 621.30/621.51 c 85 179 173.56 26.97 6.44 1000000 0 622.40/622.64 c 84 172 173.15 26.96 6.42 1000000 0 623.50/623.77 c 78 173 172.62 27.00 6.39 1000000 0 624.69/624.90 c 93 208 171.75 25.49 6.74 1000000 0 625.79/626.03 c 84 217 171.94 27.66 6.22 1000000 0 626.89/627.16 c 79 145 170.38 26.64 6.39 1000000 0 627.99/628.29 c 85 200 174.38 27.68 6.30 1000000 0 629.19/629.42 c 84 180 171.21 27.47 6.23 1000000 0 630.29/630.55 c 84 182 171.80 27.05 6.35 1000000 0 631.39/631.68 c 86 192 173.64 26.85 6.47 1000000 0 632.59/632.81 c 84 187 174.92 26.52 6.60 1000000 0 633.69/633.94 c 90 184 174.80 26.67 6.55 1000000 0 634.79/635.07 c 87 172 173.62 26.52 6.55 1000000 0 635.99/636.20 c 74 181 172.91 28.54 6.06 1000000 0 637.09/637.33 c 85 178 173.95 27.31 6.37 1000000 0 638.19/638.46 c 85 165 171.39 26.98 6.35 1000000 0 639.29/639.59 c 86 199 175.18 27.67 6.33 1000000 0 640.49/640.72 c 69 189 171.24 26.80 6.39 1000000 0 641.59/641.85 c 82 195 175.41 26.65 6.58 1000000 0 642.69/642.98 c 85 108 175.47 29.21 6.01 1000000 0 643.89/644.11 c 80 178 173.68 26.96 6.44 1000000 0 644.99/645.24 c 72 141 174.11 28.09 6.20 1000000 0 646.09/646.37 c 88 179 173.24 27.22 6.37 1000000 0 647.28/647.50 c 82 116 171.77 25.93 6.62 1000000 0 648.38/648.63 c 83 167 171.54 26.14 6.56 1000000 0 649.48/649.75 c 75 180 171.00 26.52 6.45 1000000 0 650.58/650.88 c 76 209 172.47 27.43 6.29 1000000 0 651.78/652.02 c 87 198 172.09 25.84 6.66 1000000 0 652.88/653.14 c 80 141 171.50 28.26 6.07 1000000 0 653.98/654.27 c 85 164 170.72 27.50 6.21 1000000 0 655.18/655.40 c 88 139 172.66 27.06 6.38 1000000 0 656.28/656.53 c 55 175 172.05 27.72 6.21 1000000 0 657.38/657.66 c 83 175 171.75 27.00 6.36 1000000 0 658.48/658.79 c 88 194 170.78 26.35 6.48 1000000 0 659.69/659.92 c 89 138 172.41 26.90 6.41 1000000 0 660.79/661.05 c 80 232 172.05 26.85 6.41 1000000 0 661.89/662.18 c 77 148 171.23 26.22 6.53 1000000 0 663.09/663.31 c 81 168 171.42 27.30 6.28 1000000 0 664.19/664.44 c 76 200 173.87 27.38 6.35 1000000 0 665.29/665.57 c 78 172 172.24 26.02 6.62 1000000 0 666.48/666.70 c 85 147 171.04 27.76 6.16 1000000 0 667.58/667.83 c 84 209 173.43 28.17 6.16 1000000 0 668.68/668.96 c 89 211 172.27 27.43 6.28 1000000 0 669.78/670.09 c 73 194 173.53 27.00 6.43 1000000 0 670.98/671.22 c 86 239 173.61 27.79 6.25 1000000 0 672.08/672.35 c 78 137 170.04 27.39 6.21 1000000 0 673.17/673.48 c 81 166 171.99 26.52 6.49 1000000 0 674.37/674.61 c 86 165 174.02 27.20 6.40 1000000 0 675.47/675.74 c 82 153 172.87 26.12 6.62 1000000 0 676.57/676.87 c 82 185 173.60 27.76 6.25 1000000 0 677.77/678.00 c 73 159 171.82 25.78 6.67 1000000 0 678.87/679.13 c 81 196 172.27 28.08 6.14 1000000 0 679.97/680.26 c 68 214 173.04 27.64 6.26 1000000 0 681.07/681.39 c 80 171 173.03 26.19 6.61 1000000 0 682.27/682.52 c 80 158 175.45 27.34 6.42 1000000 0 683.37/683.65 c 83 170 174.05 26.62 6.54 1000000 0 684.47/684.78 c 80 167 175.62 27.24 6.45 1000000 0 685.67/685.91 c 87 135 172.99 26.93 6.42 1000000 0 686.77/687.04 c 72 187 172.92 27.32 6.33 1000000 0 687.87/688.17 c 66 140 174.20 27.66 6.30 1000000 0 689.07/689.30 c 87 208 173.43 26.47 6.55 1000000 0 690.17/690.43 c 80 175 169.54 26.47 6.40 1000000 0 691.27/691.56 c 91 174 177.13 28.68 6.18 1000000 0 692.37/692.69 c 79 174 173.18 28.20 6.14 1000000 0 693.57/693.82 c 84 144 171.31 27.25 6.29 1000000 0 694.67/694.95 c 71 171 172.38 27.38 6.30 1000000 0 695.77/696.08 c 91 196 172.14 27.26 6.31 1000000 0 696.97/697.21 c 82 150 172.40 28.27 6.10 1000000 0 698.07/698.34 c 81 162 171.95 26.46 6.50 1000000 0 699.17/699.47 c 85 124 173.83 28.62 6.07 1000000 0 700.37/700.61 c 75 210 172.10 27.86 6.18 1000000 0 701.47/701.73 c 89 154 171.88 26.10 6.59 1000000 0 702.57/702.87 c 87 174 174.26 26.52 6.57 1000000 0 703.67/704.00 c 78 175 172.34 26.24 6.57 1000000 0 704.87/705.13 c 77 189 174.60 27.01 6.46 1000000 0 705.97/706.26 c 87 161 172.97 26.69 6.48 1000000 0 707.07/707.39 c 82 184 175.37 26.72 6.56 1000000 0 708.26/708.52 c 90 155 173.16 28.55 6.06 1000000 0 709.36/709.65 c 83 158 172.10 26.31 6.54 1000000 0 710.46/710.78 c 91 144 173.06 27.76 6.23 1000000 0 711.66/711.91 c 91 166 173.67 27.13 6.40 1000000 0 712.76/713.04 c 81 156 172.93 27.21 6.36 1000000 0 713.86/714.17 c 90 190 171.77 26.05 6.60 1000000 0 715.06/715.30 c 84 161 171.44 27.12 6.32 1000000 0 716.16/716.43 c 85 151 174.20 26.71 6.52 1000000 0 717.26/717.56 c 77 141 170.44 26.61 6.41 1000000 0 718.36/718.69 c 86 185 169.73 25.07 6.77 1000000 0 719.56/719.82 c 81 178 172.32 26.25 6.56 1000000 0 720.66/720.95 c 87 159 170.16 26.55 6.41 1000000 0 721.76/722.08 c 93 179 172.04 25.98 6.62 1000000 0 722.96/723.21 c 81 224 169.35 27.78 6.10 1000000 0 724.06/724.34 c 96 204 172.22 25.49 6.76 1000000 0 725.16/725.47 c 85 210 172.38 26.71 6.45 1000000 0 726.36/726.60 c 71 167 174.84 26.93 6.49 1000000 0 727.46/727.73 c 88 168 173.91 26.76 6.50 1000000 0 728.56/728.86 c 84 195 172.89 27.67 6.25 1000000 0 729.66/729.99 c 79 158 175.25 27.04 6.48 1000000 0 730.86/731.12 c 91 189 172.09 25.94 6.63 1000000 0 731.96/732.25 c 82 208 172.13 26.42 6.51 1000000 0 733.05/733.38 c 82 182 170.81 28.21 6.05 1000000 0 734.25/734.51 c 87 141 172.73 25.49 6.78 1000000 0 735.35/735.64 c 68 181 170.23 25.53 6.67 1000000 0 736.45/736.77 c 88 185 173.63 27.37 6.34 1000000 0 737.65/737.90 c 85 162 172.16 27.63 6.23 1000000 0 738.75/739.04 c 85 195 176.72 27.60 6.40 1000000 0 739.85/740.16 c 86 163 174.03 26.19 6.65 1000000 0 740.95/741.29 c 85 138 170.65 25.67 6.65 1000000 0 742.16/742.42 c 79 131 171.55 26.47 6.48 1000000 0 743.26/743.55 c 80 152 174.83 27.23 6.42 1000000 0 744.36/744.68 c 84 160 172.29 27.78 6.20 1000000 0 745.56/745.81 c 84 141 169.63 26.46 6.41 1000000 0 746.66/746.94 c 84 169 170.53 27.87 6.12 1000000 0 747.76/748.07 c 69 173 171.69 28.47 6.03 1000000 0 748.86/749.20 c 80 208 171.95 26.95 6.38 1000000 0 750.05/750.32 c 81 167 174.60 27.55 6.34 1000000 0 751.15/751.45 c 86 148 176.33 27.78 6.35 1000000 0 752.25/752.59 c 80 178 171.91 26.41 6.51 1000000 0 753.45/753.71 c 85 179 172.28 27.78 6.20 1000000 0 754.55/754.84 c 85 186 171.59 26.19 6.55 1000000 0 755.65/755.97 c 83 150 172.34 25.87 6.66 1000000 0 756.85/757.10 c 77 129 173.62 27.69 6.27 1000000 0 757.95/758.23 c 92 210 171.97 25.63 6.71 1000000 0 759.05/759.36 c 88 172 174.90 28.82 6.07 1000000 0 760.15/760.49 c 82 223 172.30 26.81 6.43 1000000 0 761.35/761.62 c 84 139 172.76 26.68 6.47 1000000 0 762.45/762.75 c 68 131 170.25 27.40 6.21 1000000 0 763.54/763.88 c 89 242 172.41 26.59 6.49 1000000 0 764.74/765.01 c 85 170 170.99 27.17 6.29 1000000 0 765.85/766.13 c 82 170 175.30 27.95 6.27 1000000 0 766.94/767.26 c 74 154 173.27 26.87 6.45 1000000 0 768.14/768.40 c 76 154 171.94 25.03 6.87 1000000 0 769.24/769.52 c 79 156 170.16 28.07 6.06 1000000 0 770.34/770.66 c 92 188 175.65 27.82 6.31 1000000 0 771.44/771.79 c 70 161 173.65 25.51 6.81 1000000 0 772.64/772.92 c 81 182 175.24 27.70 6.33 1000000 0 773.74/774.04 c 81 177 173.87 29.04 5.99 1000000 0 774.84/775.17 c 82 157 173.56 28.45 6.10 1000000 0 776.04/776.31 c 79 171 170.94 27.19 6.29 1000000 0 777.14/777.44 c 72 210 174.13 26.42 6.59 1000000 0 778.24/778.57 c 78 208 174.69 27.26 6.41 1000000 0 779.44/779.70 c 83 134 172.37 26.08 6.61 1000000 0 780.54/780.83 c 89 157 173.00 26.90 6.43 1000000 0 781.64/781.96 c 87 149 171.74 27.38 6.27 1000000 0 782.74/783.09 c 89 161 173.45 27.73 6.26 1000000 0 783.94/784.22 c 89 139 174.35 27.10 6.43 1000000 0 785.04/785.35 c 86 252 176.24 26.05 6.76 1000000 0 786.14/786.48 c 82 174 171.92 27.17 6.33 1000000 0 787.35/787.61 c 85 187 173.49 26.48 6.55 1000000 0 788.45/788.74 c 81 108 171.69 27.55 6.23 1000000 0 789.54/789.87 c 82 170 172.00 27.70 6.21 1000000 0 790.64/791.00 c 80 175 171.53 26.36 6.51 1000000 0 791.84/792.13 c 93 187 174.00 27.93 6.23 1000000 0 792.93/793.26 c 76 128 174.96 28.29 6.18 1000000 0 794.03/794.39 c 84 147 173.27 27.50 6.30 1000000 0 795.23/795.51 c 66 238 171.01 27.49 6.22 1000000 0 796.33/796.64 c 79 189 173.88 26.78 6.49 1000000 0 797.43/797.77 c 70 162 173.94 27.68 6.29 1000000 0 798.63/798.90 c 92 163 172.17 27.90 6.17 1000000 0 799.73/800.03 c 83 124 173.90 27.45 6.34 1000000 0 800.83/801.16 c 83 200 173.56 27.23 6.37 1000000 0 801.93/802.29 c 80 197 174.12 26.71 6.52 1000000 0 803.13/803.42 c 91 161 171.43 26.67 6.43 1000000 0 804.23/804.55 c 83 151 173.37 28.42 6.10 1000000 0 805.33/805.68 c 82 197 176.81 26.13 6.77 1000000 0 806.53/806.81 c 77 134 170.78 25.37 6.73 1000000 0 807.63/807.94 c 88 130 170.45 26.47 6.44 1000000 0 808.73/809.07 c 84 171 176.09 26.76 6.58 1000000 0 809.93/810.20 c 88 184 176.00 27.44 6.41 1000000 0 811.03/811.33 c 83 173 174.84 28.06 6.23 1000000 0 812.13/812.46 c 86 159 172.42 27.01 6.38 1000000 0 813.23/813.59 c 78 183 170.42 27.31 6.24 1000000 0 814.43/814.72 c 88 198 175.11 27.20 6.44 1000000 0 815.53/815.85 c 89 147 172.88 28.38 6.09 1000000 0 816.63/816.98 c 82 164 173.26 28.10 6.17 1000000 0 817.83/818.11 c 88 186 173.68 26.60 6.53 1000000 0 818.93/819.24 c 81 194 173.26 28.70 6.04 1000000 0 820.03/820.37 c 88 183 171.96 26.97 6.38 1000000 0 821.23/821.50 c 82 174 174.74 26.64 6.56 1000000 0 822.32/822.63 c 85 190 173.64 27.56 6.30 1000000 0 823.42/823.76 c 87 182 172.58 26.39 6.54 1000000 0 824.52/824.89 c 80 187 173.00 27.12 6.38 1000000 0 825.73/826.02 c 81 174 171.79 28.73 5.98 1000000 0 826.83/827.15 c 88 163 172.44 26.33 6.55 1000000 0 827.93/828.28 c 75 217 171.92 26.56 6.47 1000000 0 829.13/829.41 c 83 187 171.56 27.08 6.34 1000000 0 830.23/830.54 c 86 139 172.89 26.86 6.44 1000000 0 831.33/831.67 c 88 153 172.25 26.23 6.57 1000000 0 832.52/832.80 c 82 158 172.69 28.01 6.16 1000000 0 833.62/833.93 c 77 202 170.06 26.55 6.40 1000000 0 834.73/835.06 c 90 184 171.48 27.28 6.29 1000000 0 835.83/836.19 c 86 190 173.98 27.46 6.34 1000000 0 837.03/837.32 c 77 195 173.52 26.80 6.48 1000000 0 838.13/838.45 c 85 196 173.77 26.89 6.46 1000000 0 839.23/839.58 c 89 169 173.47 26.76 6.48 1000000 0 840.43/840.71 c 81 153 173.86 27.25 6.38 1000000 0 841.53/841.83 c 81 204 171.57 27.12 6.33 1000000 0 842.63/842.97 c 83 125 170.63 26.19 6.51 1000000 0 843.73/844.09 c 75 172 170.29 26.67 6.39 1000000 0 844.93/845.22 c 76 176 174.14 27.85 6.25 1000000 0 846.03/846.36 c 83 149 171.66 27.86 6.16 1000000 0 847.13/847.48 c 86 137 172.57 27.77 6.21 1000000 0 848.33/848.61 c 77 100 171.21 26.32 6.51 1000000 0 849.42/849.75 c 90 167 174.95 26.25 6.67 1000000 0 850.52/850.88 c 89 178 172.42 26.06 6.62 1000000 0 851.73/852.01 c 77 198 173.35 25.71 6.74 1000000 0 852.82/853.14 c 77 160 175.00 27.23 6.43 1000000 0 853.92/854.27 c 92 172 172.46 25.40 6.79 1000000 0 855.02/855.39 c 84 149 171.87 26.53 6.48 1000000 0 856.22/856.53 c 81 172 170.15 26.34 6.46 1000000 0 857.32/857.66 c 76 172 172.25 27.11 6.35 1000000 0 858.42/858.79 c 81 173 170.20 27.21 6.25 1000000 0 859.62/859.92 c 87 208 173.15 27.63 6.27 1000000 0 860.72/861.05 c 84 171 174.23 26.82 6.50 1000000 0 861.82/862.17 c 76 167 170.05 26.62 6.39 1000000 0 863.02/863.31 c 82 170 172.38 26.67 6.46 1000000 0 864.12/864.44 c 85 149 170.57 27.41 6.22 1000000 0 865.22/865.57 c 87 156 173.97 28.72 6.06 1000000 0 866.32/866.69 c 76 196 174.14 27.83 6.26 1000000 0 867.53/867.82 c 87 247 173.40 26.67 6.50 1000000 0 868.63/868.95 c 82 169 172.13 26.71 6.44 1000000 0 869.72/870.08 c 88 222 172.25 26.84 6.42 1000000 0 870.92/871.21 c 89 155 176.21 28.71 6.14 1000000 0 872.02/872.34 c 86 132 174.86 27.43 6.37 1000000 0 873.12/873.47 c 84 202 173.21 27.61 6.27 1000000 0 874.32/874.60 c 85 201 175.43 27.56 6.36 1000000 0 875.41/875.73 c 78 215 171.24 26.51 6.46 1000000 0 876.52/876.86 c 74 157 174.40 27.12 6.43 1000000 0 877.62/877.99 c 88 176 174.96 26.38 6.63 1000000 0 878.81/879.12 c 92 162 173.80 27.02 6.43 1000000 0 879.91/880.25 c 89 138 173.52 27.71 6.26 1000000 0 881.01/881.39 c 68 158 171.05 27.25 6.28 1000000 0 882.21/882.52 c 81 210 172.56 25.93 6.65 1000000 0 883.31/883.65 c 80 161 172.63 27.07 6.38 1000000 0 884.41/884.78 c 80 167 171.76 27.12 6.33 1000000 0 885.61/885.91 c 79 142 176.31 27.83 6.34 1000000 0 886.71/887.04 c 87 178 170.35 27.93 6.10 1000000 0 887.81/888.17 c 85 142 174.33 26.79 6.51 1000000 0 889.01/889.30 c 90 181 174.49 27.49 6.35 1000000 0 890.11/890.43 c 84 189 171.96 27.74 6.20 1000000 0 891.21/891.56 c 85 146 176.22 28.59 6.16 1000000 0 892.31/892.69 c 76 196 172.61 26.87 6.42 1000000 0 893.51/893.82 c 86 189 174.51 26.80 6.51 1000000 0 894.61/894.94 c 88 159 174.15 27.31 6.38 1000000 0 895.71/896.07 c 81 164 175.24 27.56 6.36 1000000 0 896.91/897.20 c 83 193 173.99 26.81 6.49 1000000 0 898.01/898.33 c 83 174 173.85 28.01 6.21 1000000 0 899.11/899.46 c 90 184 172.94 27.01 6.40 1000000 0 900.21/900.59 c 91 184 173.36 27.84 6.23 1000000 0 901.41/901.72 c 76 181 173.37 27.45 6.32 1000000 0 902.51/902.85 c 82 139 173.10 27.20 6.37 1000000 0 903.61/903.98 c 76 136 175.36 26.69 6.57 1000000 0 904.81/905.11 c 69 170 173.86 28.03 6.20 1000000 0 905.91/906.24 c 73 202 174.45 28.00 6.23 1000000 0 907.01/907.37 c 88 166 174.24 26.35 6.61 1000000 0 908.21/908.50 c 80 170 171.53 27.05 6.34 1000000 0 909.31/909.64 c 84 194 174.86 26.88 6.51 1000000 0 910.41/910.77 c 77 170 170.97 27.00 6.33 1000000 0 911.51/911.90 c 78 191 172.85 26.90 6.42 1000000 0 912.71/913.03 c 82 219 171.51 26.72 6.42 1000000 0 913.81/914.16 c 91 200 168.84 26.70 6.32 1000000 0 914.91/915.29 c 75 130 171.46 26.67 6.43 1000000 0 916.10/916.42 c 83 192 171.70 28.58 6.01 1000000 0 917.20/917.55 c 74 184 171.73 26.90 6.38 1000000 0 918.30/918.68 c 78 185 173.05 28.09 6.16 1000000 0 919.50/919.81 c 88 210 175.69 28.03 6.27 1000000 0 920.60/920.94 c 86 186 173.43 28.10 6.17 1000000 0 921.70/922.07 c 72 145 168.82 27.94 6.04 1000000 0 922.90/923.20 c 81 182 173.52 28.06 6.18 1000000 0 924.00/924.33 c 89 195 171.61 26.63 6.44 1000000 0 925.10/925.46 c 81 142 172.07 27.59 6.24 1000000 0 926.20/926.59 c 87 138 175.02 27.82 6.29 1000000 0 927.40/927.72 c 81 176 172.04 25.89 6.65 1000000 0 928.50/928.85 c 89 188 175.37 27.53 6.37 1000000 0 929.59/929.98 c 76 164 172.37 27.12 6.36 1000000 0 930.79/931.11 c 86 206 170.40 25.85 6.59 1000000 0 931.89/932.24 c 77 154 171.16 27.42 6.24 1000000 0 932.99/933.37 c 89 189 173.46 28.40 6.11 1000000 0 934.19/934.50 c 80 151 172.76 27.04 6.39 1000000 0 935.29/935.63 c 92 190 171.36 26.21 6.54 1000000 0 936.39/936.76 c 82 156 175.29 26.49 6.62 1000000 0 937.49/937.89 c 87 187 170.31 26.60 6.40 1000000 0 938.69/939.02 c 78 158 173.43 27.85 6.23 1000000 0 939.79/940.15 c 87 209 174.33 25.92 6.72 1000000 0 940.89/941.28 c 93 162 174.98 27.42 6.38 1000000 0 942.09/942.41 c 86 152 172.29 28.18 6.11 1000000 0 943.19/943.54 c 83 170 173.34 27.20 6.37 1000000 0 944.29/944.67 c 89 165 173.20 27.02 6.41 1000000 0 945.49/945.80 c 83 148 170.90 27.53 6.21 1000000 0 946.59/946.93 c 82 169 176.13 26.93 6.54 1000000 0 947.69/948.06 c 95 145 175.18 25.94 6.75 1000000 0 948.79/949.19 c 79 142 173.16 27.75 6.24 1000000 0 950.00/950.32 c 76 172 171.22 25.79 6.64 1000000 0 951.10/951.45 c 80 204 174.69 26.21 6.67 1000000 0 952.19/952.59 c 94 168 174.44 27.33 6.38 1000000 0 953.40/953.72 c 79 125 172.48 27.90 6.18 1000000 0 954.49/954.85 c 86 131 173.36 26.82 6.46 1000000 0 955.59/955.98 c 82 170 176.62 28.20 6.26 1000000 0 956.79/957.11 c 86 132 173.10 28.50 6.07 1000000 0 957.89/958.24 c 84 143 171.90 28.00 6.14 1000000 0 958.99/959.37 c 95 190 171.98 25.97 6.62 1000000 0 960.19/960.50 c 82 189 174.55 28.96 6.03 1000000 0 961.28/961.63 c 81 171 172.91 27.05 6.39 1000000 0 962.39/962.76 c 90 103 173.41 26.32 6.59 1000000 0 963.48/963.89 c 88 163 173.42 27.05 6.41 1000000 0 964.68/965.02 c 83 158 170.81 26.13 6.54 1000000 0 965.78/966.15 c 77 156 172.92 28.64 6.04 1000000 0 966.88/967.28 c 88 179 174.58 27.02 6.46 1000000 0 968.08/968.41 c 89 163 174.08 25.97 6.70 1000000 0 969.18/969.54 c 77 130 174.67 29.05 6.01 1000000 0 970.28/970.67 c 76 189 171.01 25.75 6.64 1000000 0 971.48/971.80 c 82 220 172.38 25.89 6.66 1000000 0 972.58/972.93 c 86 204 171.04 25.25 6.78 1000000 0 973.68/974.06 c 89 117 175.23 27.27 6.43 1000000 0 974.78/975.19 c 80 117 171.07 28.53 6.00 1000000 0 975.98/976.32 c 93 177 174.17 26.02 6.69 1000000 0 977.08/977.45 c 77 148 171.75 26.33 6.52 1000000 0 978.18/978.58 c 88 147 170.93 26.36 6.48 1000000 0 979.38/979.71 c 86 189 171.95 25.32 6.79 1000000 0 980.48/980.83 c 81 174 171.00 26.55 6.44 1000000 0 981.58/981.96 c 74 150 173.51 26.58 6.53 1000000 0 982.68/983.09 c 88 166 171.92 25.20 6.82 1000000 0 983.88/984.22 c 78 191 170.19 27.86 6.11 1000000 0 984.98/985.35 c 71 166 171.18 27.09 6.32 1000000 0 986.08/986.48 c 88 144 173.91 27.03 6.43 1000000 0 987.28/987.61 c 79 201 171.84 25.23 6.81 1000000 0 988.38/988.74 c 78 200 171.31 26.83 6.39 1000000 0 989.48/989.87 c 86 169 171.24 25.90 6.61 1000000 0 990.68/991.00 c 93 192 174.51 27.10 6.44 1000000 0 991.78/992.13 c 83 154 169.72 27.24 6.23 1000000 0 992.88/993.26 c 89 164 173.27 26.00 6.66 1000000 0 993.98/994.39 c 79 158 171.94 26.60 6.46 1000000 0 995.18/995.52 c 78 212 173.74 26.93 6.45 1000000 0 996.28/996.65 c 74 228 171.43 25.98 6.60 1000000 0 997.38/997.78 c 84 198 171.64 27.25 6.30 1000000 0 998.57/998.91 c 92 188 171.10 27.02 6.33 1000000 0 999.67/1000.04 c 81 199 174.22 27.19 6.41 1000000 0 1000.77/1001.16 c 76 209 169.78 27.10 6.26 1000000 0 1001.87/1002.29 c 75 173 174.18 27.25 6.39 1000000 0 1003.07/1003.43 c 84 168 173.04 26.86 6.44 1000000 0 1004.17/1004.55 c 84 124 171.75 27.00 6.36 1000000 0 1005.27/1005.69 c 80 107 174.95 26.45 6.61 1000000 0 1006.47/1006.82 c 64 153 173.59 27.82 6.24 1000000 0 1007.57/1007.95 c 79 168 172.44 26.97 6.39 1000000 0 1008.67/1009.08 c 92 180 176.71 28.32 6.24 1000000 0 1009.87/1010.20 c 81 192 172.98 26.15 6.61 1000000 0 1010.97/1011.33 c 81 147 173.65 28.65 6.06 1000000 0 1012.07/1012.46 c 86 174 173.14 27.10 6.39 1000000 0 1013.17/1013.59 c 90 136 171.95 26.75 6.43 1000000 0 1014.37/1014.72 c 83 166 173.57 27.60 6.29 1000000 0 1015.46/1015.85 c 78 185 176.39 28.63 6.16 1000000 0 1016.56/1016.98 c 83 138 171.35 27.55 6.22 1000000 0 1017.76/1018.11 c 84 168 171.77 26.88 6.39 1000000 0 1018.86/1019.24 c 80 212 174.54 27.94 6.25 1000000 0 1019.96/1020.37 c 83 252 172.08 26.61 6.47 1000000 0 1021.16/1021.50 c 81 235 171.51 26.52 6.47 1000000 0 1022.26/1022.63 c 93 142 172.79 26.18 6.60 1000000 0 1023.36/1023.76 c 88 191 173.15 26.41 6.56 1000000 0 1024.46/1024.89 c 77 180 173.83 26.34 6.60 1000000 0 1025.66/1026.02 c 91 204 173.62 29.48 5.89 1000000 0 1026.76/1027.15 c 81 101 171.86 27.02 6.36 1000000 0 1027.86/1028.28 c 92 154 173.27 26.61 6.51 1000000 0 1029.06/1029.41 c 86 189 173.95 27.22 6.39 1000000 0 1030.16/1030.54 c 87 169 171.35 26.35 6.50 1000000 0 1031.26/1031.67 c 89 170 173.77 26.63 6.52 1000000 0 1032.47/1032.80 c 73 185 171.03 26.99 6.34 1000000 0 1033.57/1033.93 c 66 143 172.54 27.56 6.26 1000000 0 1034.67/1035.06 c 76 218 174.88 27.89 6.27 1000000 0 1035.77/1036.19 c 85 161 172.80 26.31 6.57 1000000 0 1036.97/1037.32 c 85 167 171.59 26.71 6.42 1000000 0 1038.07/1038.44 c 89 173 173.40 28.11 6.17 1000000 0 1039.17/1039.58 c 79 167 173.31 27.87 6.22 1000000 0 1040.36/1040.71 c 79 169 170.87 27.68 6.17 1000000 0 1041.46/1041.83 c 86 171 171.59 27.14 6.32 1000000 0 1042.56/1042.97 c 91 207 173.95 27.47 6.33 1000000 0 1043.76/1044.10 c 79 163 171.09 26.43 6.47 1000000 0 1044.86/1045.23 c 91 149 172.54 25.55 6.75 1000000 0 1045.96/1046.36 c 91 174 173.34 26.35 6.58 1000000 0 1047.06/1047.49 c 78 189 172.99 26.47 6.53 1000000 0 1048.26/1048.61 c 81 216 171.73 27.88 6.16 1000000 0 1049.36/1049.74 c 72 182 172.58 25.08 6.88 1000000 0 1050.46/1050.87 c 76 231 171.75 26.69 6.44 1000000 0 1051.66/1052.00 c 70 164 172.61 26.05 6.63 1000000 0 1052.75/1053.13 c 77 185 172.81 28.57 6.05 1000000 0 1053.85/1054.26 c 82 154 174.71 27.24 6.41 1000000 0 1054.95/1055.39 c 84 172 172.33 26.78 6.44 1000000 0 1056.16/1056.52 c 86 151 170.97 26.68 6.41 1000000 0 1057.25/1057.65 c 93 120 171.50 26.69 6.43 1000000 0 1058.35/1058.78 c 87 186 173.34 27.99 6.19 1000000 0 1059.55/1059.91 c 88 187 169.43 25.41 6.67 1000000 0 1060.65/1061.04 c 90 136 172.42 26.85 6.42 1000000 0 1061.75/1062.17 c 84 116 172.32 27.20 6.33 1000000 0 1062.95/1063.30 c 67 167 174.19 27.37 6.36 1000000 0 1064.05/1064.43 c 75 165 167.80 25.30 6.63 1000000 0 1065.15/1065.56 c 78 220 172.25 27.76 6.21 1000000 0 1066.25/1066.69 c 80 185 170.50 25.83 6.60 1000000 0 1067.45/1067.81 c 83 160 168.76 25.94 6.51 1000000 0 1068.55/1068.94 c 79 138 174.63 27.40 6.37 1000000 0 1069.65/1070.07 c 83 156 172.04 25.50 6.75 1000000 0 1070.85/1071.20 c 89 172 173.84 27.59 6.30 1000000 0 1071.95/1072.34 c 91 154 173.17 27.00 6.41 1000000 0 1073.05/1073.47 c 87 176 170.79 26.98 6.33 1000000 0 1074.15/1074.60 c 66 173 171.23 27.23 6.29 1000000 0 1075.35/1075.73 c 80 224 173.10 27.68 6.25 1000000 0 1076.45/1076.86 c 87 182 172.99 26.80 6.45 1000000 0 1077.55/1077.99 c 88 165 174.72 27.28 6.40 1000000 0 1078.76/1079.12 c 81 139 172.92 27.98 6.18 1000000 0 1079.86/1080.25 c 69 166 173.32 28.25 6.14 1000000 0 1080.96/1081.38 c 88 149 170.53 27.50 6.20 1000000 0 1082.15/1082.51 c 82 169 174.73 27.81 6.28 1000000 0 1083.25/1083.64 c 75 131 171.00 27.12 6.31 1000000 0 1084.35/1084.77 c 84 215 173.13 27.35 6.33 1000000 0 1085.55/1085.90 c 84 185 175.20 27.32 6.41 1000000 0 1086.65/1087.03 c 89 148 172.60 27.45 6.29 1000000 0 1087.75/1088.16 c 84 167 173.28 28.07 6.17 1000000 0 1088.85/1089.29 c 80 141 170.12 26.29 6.47 1000000 0 1090.05/1090.42 c 75 207 171.36 27.18 6.30 1000000 0 1091.15/1091.55 c 91 152 171.86 26.23 6.55 1000000 0 1092.25/1092.68 c 88 159 173.73 26.29 6.61 1000000 0 1093.45/1093.81 c 80 165 171.27 26.99 6.35 1000000 0 1094.55/1094.94 c 87 155 174.57 28.18 6.19 1000000 0 1095.65/1096.06 c 96 134 173.96 27.43 6.34 1000000 0 1096.75/1097.19 c 65 169 170.41 27.25 6.25 1000000 0 1097.95/1098.32 c 80 158 175.18 26.99 6.49 1000000 0 1099.05/1099.45 c 69 175 171.41 27.30 6.28 1000000 0 1100.15/1100.58 c 89 182 169.09 26.43 6.40 1000000 0 1101.35/1101.71 c 87 131 172.90 27.37 6.32 1000000 0 1102.45/1102.83 c 78 219 172.70 27.69 6.24 1000000 0 1103.55/1103.96 c 90 154 173.24 27.08 6.40 1000000 0 1104.65/1105.09 c 78 200 172.77 26.78 6.45 1000000 0 1105.85/1106.22 c 80 173 171.58 26.72 6.42 1000000 0 1106.95/1107.35 c 86 199 170.97 26.21 6.52 1000000 0 1108.05/1108.49 c 82 128 170.87 27.11 6.30 1000000 0 1109.24/1109.61 c 81 244 172.21 27.39 6.29 1000000 0 1110.34/1110.74 c 93 158 172.61 25.50 6.77 1000000 0 1111.44/1111.87 c 78 160 170.08 25.31 6.72 1000000 0 1112.64/1113.00 c 76 173 173.02 27.14 6.37 1000000 0 1113.74/1114.13 c 86 198 171.01 26.35 6.49 1000000 0 1114.84/1115.26 c 80 152 174.47 29.16 5.98 1000000 0 1115.94/1116.39 c 80 163 171.46 27.27 6.29 1000000 0 1117.15/1117.52 c 90 160 173.45 26.97 6.43 1000000 0 1118.25/1118.65 c 88 172 172.46 27.13 6.36 1000000 0 1119.35/1119.78 c 94 147 174.41 27.26 6.40 1000000 0 1120.55/1120.91 c 81 166 173.58 26.90 6.45 1000000 0 1121.65/1122.04 c 91 153 174.32 27.81 6.27 1000000 0 1122.75/1123.17 c 92 241 171.63 27.19 6.31 1000000 0 1123.85/1124.29 c 84 153 171.83 27.32 6.29 1000000 0 1125.04/1125.42 c 81 180 170.63 26.33 6.48 1000000 0 1126.14/1126.55 c 82 226 174.36 27.16 6.42 1000000 0 1127.24/1127.68 c 77 144 172.74 27.84 6.20 1000000 0 1128.44/1128.81 c 86 213 174.28 27.83 6.26 1000000 0 1129.54/1129.94 c 82 214 173.18 27.26 6.35 1000000 0 1130.64/1131.07 c 80 173 171.20 25.95 6.60 1000000 0 1131.84/1132.20 c 81 158 173.02 25.70 6.73 1000000 0 1132.94/1133.33 c 76 219 172.93 27.05 6.39 1000000 0 1134.04/1134.46 c 81 146 171.99 26.03 6.61 1000000 0 1135.14/1135.59 c 86 175 171.86 26.06 6.59 1000000 0 1136.34/1136.72 c 81 160 172.20 27.59 6.24 1000000 0 1137.44/1137.85 c 84 172 173.72 25.49 6.81 1000000 0 1138.53/1138.98 c 90 184 171.64 27.74 6.19 1000000 0 1139.73/1140.11 c 81 130 170.99 26.75 6.39 1000000 0 1140.83/1141.24 c 76 190 174.60 27.48 6.35 1000000 0 1141.94/1142.37 c 74 201 173.62 26.95 6.44 1000000 0 1143.13/1143.50 c 96 207 175.43 27.17 6.46 1000000 0 1144.23/1144.63 c 88 191 173.47 27.15 6.39 1000000 0 1145.33/1145.76 c 83 217 172.32 26.96 6.39 1000000 0 1146.43/1146.89 c 84 151 172.21 27.45 6.27 1000000 0 1147.63/1148.02 c 79 147 172.72 28.58 6.04 1000000 0 1148.73/1149.15 c 93 179 173.60 26.63 6.52 1000000 0 1149.83/1150.28 c 90 216 171.83 26.64 6.45 1000000 0 1151.03/1151.41 c 71 208 173.83 28.13 6.18 1000000 0 1152.13/1152.54 c 85 130 171.76 27.35 6.28 1000000 0 1153.23/1153.67 c 84 156 171.66 27.74 6.19 1000000 0 1154.43/1154.80 c 85 137 172.54 26.57 6.49 1000000 0 1155.53/1155.93 c 74 262 173.12 27.12 6.38 1000000 0 1156.63/1157.06 c 83 170 174.50 28.03 6.22 1000000 0 1157.73/1158.19 c 84 154 171.19 27.61 6.20 1000000 0 1158.94/1159.32 c 81 125 173.09 27.62 6.27 1000000 0 1160.04/1160.45 c 83 164 171.99 26.31 6.54 1000000 0 1161.13/1161.59 c 73 143 174.66 27.78 6.29 1000000 0 1162.34/1162.72 c 90 144 172.58 25.81 6.69 1000000 0 1163.44/1163.85 c 80 171 172.49 25.96 6.64 1000000 0 1164.53/1164.98 c 79 142 171.61 27.43 6.26 1000000 0 1165.73/1166.10 c 83 154 171.06 26.73 6.40 1000000 0 1166.82/1167.24 c 76 193 173.20 27.28 6.35 1000000 0 1167.92/1168.37 c 83 178 172.43 26.56 6.49 1000000 0 1169.02/1169.49 c 77 186 171.22 26.65 6.42 1000000 0 1170.22/1170.62 c 78 187 170.52 26.62 6.41 1000000 0 1171.32/1171.75 c 88 206 170.01 26.20 6.49 1000000 0 1172.42/1172.88 c 83 164 173.48 27.29 6.36 1000000 0 1173.62/1174.01 c 84 108 172.11 26.99 6.38 1000000 0 1174.72/1175.14 c 76 175 169.66 26.88 6.31 1000000 0 1175.82/1176.27 c 82 188 176.36 28.06 6.29 1000000 0 1177.02/1177.40 c 70 110 173.59 26.83 6.47 1000000 0 1178.12/1178.53 c 85 138 176.10 28.56 6.17 1000000 0 1179.22/1179.66 c 83 155 173.50 26.23 6.61 1000000 0 1180.32/1180.79 c 87 144 171.03 26.66 6.42 1000000 0 1181.52/1181.91 c 83 168 170.96 25.54 6.69 1000000 0 1182.62/1183.04 c 81 157 173.09 27.53 6.29 1000000 0 1183.72/1184.17 c 81 202 170.97 27.23 6.28 1000000 0 1184.92/1185.30 c 75 153 172.48 27.93 6.18 1000000 0 1186.01/1186.43 c 74 178 174.44 26.23 6.65 1000000 0 1187.11/1187.56 c 90 122 173.48 27.08 6.41 1000000 0 1188.21/1188.69 c 80 175 170.35 27.24 6.25 1000000 0 1189.41/1189.82 c 74 181 174.08 28.26 6.16 1000000 0 1190.51/1190.95 c 87 188 172.29 26.75 6.44 1000000 0 1191.62/1192.08 c 84 148 170.62 25.58 6.67 1000000 0 1192.82/1193.21 c 84 142 172.41 26.59 6.49 1000000 0 1193.92/1194.34 c 90 129 173.31 28.23 6.14 1000000 0 1195.02/1195.47 c 83 216 170.77 26.52 6.44 1000000 0 1196.22/1196.60 c 82 177 173.62 27.52 6.31 1000000 0 1197.32/1197.73 c 76 154 174.02 28.15 6.18 1000000 0 1198.42/1198.86 c 87 210 171.94 27.33 6.29 1000000 0 1199.52/1199.99 c 75 169 173.76 27.55 6.31 1000000 0 1200.73/1201.12 c 80 180 174.34 28.38 6.14 1000000 0 1201.83/1202.25 c 84 202 173.74 28.48 6.10 1000000 0 1202.93/1203.38 c 86 201 172.96 26.86 6.44 1000000 0 1204.12/1204.51 c 86 176 171.39 26.31 6.51 1000000 0 1205.22/1205.64 c 86 153 172.44 27.19 6.34 1000000 0 1206.32/1206.77 c 92 136 172.81 26.70 6.47 1000000 0 1207.42/1207.89 c 86 173 173.47 26.43 6.56 1000000 0 1208.62/1209.02 c 78 184 174.70 27.63 6.32 1000000 0 1209.72/1210.15 c 77 160 172.74 26.73 6.46 1000000 0 1210.82/1211.28 c 89 193 174.13 27.44 6.35 1000000 0 1212.01/1212.41 c 82 201 169.52 26.16 6.48 1000000 0 1213.11/1213.54 c 79 201 170.31 26.15 6.51 1000000 0 1214.21/1214.67 c 88 256 170.87 26.53 6.44 1000000 0 1215.41/1215.80 c 88 169 176.35 28.29 6.23 1000000 0 1216.51/1216.93 c 73 200 173.89 28.48 6.11 1000000 0 1217.61/1218.06 c 75 190 171.69 26.46 6.49 1000000 0 1218.71/1219.19 c 81 226 174.16 27.67 6.29 1000000 0 1219.91/1220.32 c 83 154 175.42 27.62 6.35 1000000 0 1221.01/1221.45 c 81 190 172.80 26.29 6.57 1000000 0 1222.11/1222.58 c 85 198 173.06 26.49 6.53 1000000 0 1223.31/1223.71 c 84 184 173.76 26.79 6.49 1000000 0 1224.41/1224.84 c 83 165 172.29 26.41 6.52 1000000 0 1225.51/1225.97 c 79 162 173.97 27.48 6.33 1000000 0 1226.71/1227.10 c 85 158 171.27 26.66 6.42 1000000 0 1227.81/1228.23 c 75 197 174.44 27.17 6.42 1000000 0 1228.91/1229.36 c 89 160 173.06 26.69 6.48 1000000 0 1230.01/1230.49 c 86 134 175.82 28.10 6.26 1000000 0 1231.21/1231.62 c 80 169 172.84 28.08 6.15 1000000 0 1232.31/1232.75 c 75 159 173.17 28.19 6.14 1000000 0 1233.41/1233.88 c 79 184 173.12 25.26 6.85 1000000 0 1234.61/1235.01 c 90 182 172.63 25.68 6.72 1000000 0 1235.71/1236.14 c 84 159 172.41 28.22 6.11 1000000 0 1236.81/1237.27 c 76 172 175.23 28.69 6.11 1000000 0 1238.00/1238.40 c 75 183 173.06 27.80 6.23 1000000 0 1239.10/1239.53 c 79 122 169.41 26.41 6.42 1000000 0 1240.20/1240.66 c 82 182 170.00 26.40 6.44 1000000 0 1241.30/1241.79 c 82 147 173.61 27.27 6.37 1000000 0 1242.51/1242.92 c 83 187 174.64 26.37 6.62 1000000 0 1243.61/1244.05 c 84 166 171.87 27.96 6.15 1000000 0 1244.71/1245.18 c 82 191 171.50 26.83 6.39 1000000 0 1245.91/1246.31 c 81 157 172.27 26.52 6.50 1000000 0 1247.01/1247.44 c 72 133 171.70 26.58 6.46 1000000 0 1248.11/1248.57 c 87 214 175.42 27.27 6.43 1000000 0 1249.30/1249.70 c 74 176 174.66 27.63 6.32 1000000 0 1250.40/1250.83 c 83 180 174.35 26.88 6.49 1000000 0 1251.50/1251.96 c 73 179 173.85 27.54 6.31 1000000 0 1252.60/1253.09 c 87 116 170.72 25.50 6.69 1000000 0 1253.80/1254.22 c 78 142 172.06 26.70 6.44 1000000 0 1254.90/1255.35 c 89 177 172.21 27.33 6.30 1000000 0 1256.00/1256.48 c 75 147 172.42 27.02 6.38 1000000 0 1257.20/1257.61 c 86 166 173.25 27.38 6.33 1000000 0 1258.30/1258.74 c 84 165 174.57 26.69 6.54 1000000 0 1259.40/1259.87 c 88 165 170.15 26.29 6.47 1000000 0 1260.60/1261.00 c 74 236 171.90 26.65 6.45 1000000 0 1261.70/1262.13 c 77 198 172.28 26.91 6.40 1000000 0 1262.80/1263.26 c 79 209 174.86 27.02 6.47 1000000 0 1263.90/1264.39 c 86 154 172.20 27.98 6.15 1000000 0 1265.10/1265.52 c 82 133 170.58 26.17 6.52 1000000 0 1266.20/1266.64 c 72 162 173.92 28.32 6.14 1000000 0 1267.30/1267.77 c 84 190 172.00 26.79 6.42 1000000 0 1268.50/1268.90 c 83 180 173.60 28.77 6.04 1000000 0 1269.60/1270.03 c 83 181 173.72 26.66 6.52 1000000 0 1270.70/1271.16 c 89 198 172.43 25.70 6.71 1000000 0 1271.79/1272.29 c 89 168 173.00 27.91 6.20 1000000 0 1272.99/1273.42 c 85 189 173.53 27.15 6.39 1000000 0 1274.09/1274.55 c 84 219 172.70 27.20 6.35 1000000 0 1275.19/1275.68 c 76 163 170.56 27.48 6.21 1000000 0 1276.39/1276.81 c 80 172 175.04 27.78 6.30 1000000 0 1277.49/1277.94 c 95 205 172.81 25.58 6.75 1000000 0 1278.59/1279.07 c 79 169 173.27 26.49 6.54 1000000 0 1279.79/1280.20 c 88 192 170.92 25.05 6.82 1000000 0 1280.89/1281.33 c 85 206 170.86 26.29 6.50 1000000 0 1281.99/1282.46 c 86 211 173.57 25.83 6.72 1000000 0 1283.09/1283.59 c 90 138 170.99 25.43 6.72 1000000 0 1284.30/1284.72 c 79 162 170.78 27.39 6.23 1000000 0 1285.40/1285.85 c 76 139 171.60 27.28 6.29 1000000 0 1286.50/1286.98 c 78 154 174.06 26.14 6.66 1000000 0 1287.70/1288.11 c 92 207 174.39 26.66 6.54 1000000 0 1288.80/1289.24 c 88 195 172.08 26.41 6.52 1000000 0 1289.90/1290.37 c 81 172 171.87 27.13 6.33 1000000 0 1291.09/1291.50 c 85 193 175.20 27.98 6.26 1000000 0 1292.19/1292.63 c 88 156 174.48 27.08 6.44 1000000 0 1293.29/1293.76 c 82 150 173.55 27.20 6.38 1000000 0 1294.39/1294.89 c 79 129 173.62 27.41 6.33 1000000 0 1295.59/1296.02 c 85 134 174.55 27.78 6.28 1000000 0 1296.69/1297.15 c 80 225 174.63 28.42 6.14 1000000 0 1297.78/1298.28 c 78 137 172.36 27.94 6.17 1000000 0 1298.98/1299.41 c 77 154 173.44 26.57 6.53 1000000 0 1300.08/1300.54 c 75 155 172.87 25.67 6.73 1000000 0 1301.18/1301.67 c 72 185 171.51 26.96 6.36 1000000 0 1302.38/1302.80 c 81 136 175.01 26.82 6.53 1000000 0 1303.48/1303.93 c 81 181 173.51 27.46 6.32 1000000 0 1304.58/1305.06 c 88 153 173.30 27.84 6.23 1000000 0 1305.68/1306.19 c 83 190 170.50 26.46 6.44 1000000 0 1306.88/1307.32 c 84 161 174.65 27.81 6.28 1000000 0 1307.98/1308.45 c 89 178 172.25 26.68 6.46 1000000 0 1309.08/1309.58 c 84 177 175.88 28.47 6.18 1000000 0 1310.28/1310.71 c 83 175 172.37 27.23 6.33 1000000 0 1311.38/1311.84 c 77 161 173.73 28.28 6.14 1000000 0 1312.48/1312.98 c 88 187 175.56 25.44 6.90 1000000 0 1313.68/1314.11 c 89 162 173.45 27.46 6.32 1000000 0 1314.78/1315.24 c 74 192 173.33 26.65 6.50 1000000 0 1315.88/1316.37 c 92 177 173.79 27.01 6.43 1000000 0 1317.08/1317.50 c 82 181 172.26 26.76 6.44 1000000 0 1318.18/1318.63 c 78 189 175.09 28.08 6.24 1000000 0 1319.28/1319.76 c 79 120 171.82 28.34 6.06 1000000 0 1320.38/1320.89 c 89 148 174.62 27.23 6.41 1000000 0 1321.58/1322.02 c 82 246 172.91 26.70 6.48 1000000 0 1322.68/1323.15 c 73 184 172.10 26.85 6.41 1000000 0 1323.78/1324.28 c 81 178 174.29 26.44 6.59 1000000 0 1324.98/1325.41 c 93 175 172.28 25.16 6.85 1000000 0 1326.08/1326.54 c 72 140 171.48 25.85 6.63 1000000 0 1327.18/1327.66 c 85 150 172.09 26.09 6.60 1000000 0 1328.28/1328.79 c 84 166 172.97 28.20 6.13 1000000 0 1329.48/1329.92 c 79 177 174.54 27.67 6.31 1000000 0 1330.58/1331.05 c 80 165 172.54 26.38 6.54 1000000 0 1331.68/1332.18 c 78 135 172.82 27.04 6.39 1000000 0 1332.87/1333.31 c 81 194 173.21 27.01 6.41 1000000 0 1333.97/1334.44 c 66 164 171.97 26.08 6.59 1000000 0 1335.07/1335.57 c 82 193 173.68 26.69 6.51 1000000 0 1336.27/1336.70 c 83 225 170.39 25.67 6.64 1000000 0 1337.37/1337.83 c 81 154 173.33 26.22 6.61 1000000 0 1338.47/1338.96 c 73 186 171.38 26.50 6.47 1000000 0 1339.57/1340.09 c 73 178 174.33 27.91 6.25 1000000 0 1340.77/1341.22 c 88 178 173.03 26.50 6.53 1000000 0 1341.87/1342.35 c 72 203 170.63 25.41 6.72 1000000 0 1342.97/1343.48 c 84 158 172.50 26.09 6.61 1000000 0 1344.17/1344.61 c 66 173 170.04 28.34 6.00 1000000 0 1345.27/1345.74 c 89 149 170.06 26.20 6.49 1000000 0 1346.37/1346.87 c 84 171 172.70 26.15 6.60 1000000 0 1347.57/1348.00 c 86 171 172.54 27.52 6.27 1000000 0 1348.67/1349.13 c 79 207 173.06 27.29 6.34 1000000 0 1349.77/1350.26 c 81 152 173.14 26.69 6.49 1000000 0 1350.87/1351.39 c 86 204 173.72 27.16 6.40 1000000 0 1352.07/1352.52 c 78 112 172.65 28.23 6.11 1000000 0 1353.17/1353.65 c 87 214 172.93 25.97 6.66 1000000 0 1354.27/1354.78 c 93 145 175.49 26.86 6.53 1000000 0 1355.46/1355.91 c 83 131 172.68 27.65 6.25 1000000 0 1356.57/1357.04 c 85 179 173.15 26.79 6.46 1000000 0 1357.66/1358.17 c 89 136 173.63 27.87 6.23 1000000 0 1358.86/1359.30 c 87 167 171.47 26.58 6.45 1000000 0 1359.96/1360.43 c 80 152 174.16 27.28 6.38 1000000 0 1361.06/1361.56 c 79 169 174.48 26.04 6.70 1000000 0 1362.16/1362.69 c 93 200 174.57 26.50 6.59 1000000 0 1363.36/1363.82 c 83 190 172.23 26.01 6.62 1000000 0 1364.46/1364.95 c 83 178 175.18 27.29 6.42 1000000 0 1365.56/1366.08 c 79 195 175.85 27.80 6.32 1000000 0 1366.77/1367.21 c 82 166 173.80 27.28 6.37 1000000 0 1367.87/1368.34 c 82 228 172.40 27.09 6.36 1000000 0 1368.97/1369.47 c 75 138 171.59 28.24 6.08 1000000 0 1370.07/1370.60 c 85 172 172.42 26.35 6.54 1000000 0 1371.27/1371.73 c 77 179 174.87 26.24 6.67 1000000 0 1372.37/1372.86 c 75 174 171.81 27.29 6.30 1000000 0 1373.47/1373.99 c 74 160 173.49 27.14 6.39 1000000 0 1374.66/1375.12 c 88 120 174.81 27.73 6.30 1000000 0 1375.76/1376.25 c 83 171 169.91 26.41 6.43 1000000 0 1376.86/1377.38 c 86 182 173.26 26.59 6.52 1000000 0 1378.06/1378.51 c 83 183 173.13 26.72 6.48 1000000 0 1379.16/1379.64 c 81 153 169.82 26.60 6.38 1000000 0 1380.26/1380.77 c 81 136 172.83 27.64 6.25 1000000 0 1381.46/1381.90 c 92 186 171.36 25.30 6.77 1000000 0 1382.56/1383.03 c 74 193 171.97 26.80 6.42 1000000 0 1383.65/1384.16 c 80 221 170.74 28.24 6.05 1000000 0 1384.75/1385.29 c 85 175 173.09 27.34 6.33 1000000 0 1385.95/1386.42 c 83 167 173.15 27.97 6.19 1000000 0 1387.05/1387.55 c 79 223 173.60 27.22 6.38 1000000 0 1388.15/1388.68 c 77 181 173.64 28.09 6.18 1000000 0 1389.35/1389.82 c 81 194 173.03 27.00 6.41 1000000 0 1390.45/1390.94 c 72 201 175.04 27.19 6.44 1000000 0 1391.55/1392.08 c 82 178 173.67 30.05 5.78 1000000 0 1392.75/1393.21 c 88 157 171.30 28.00 6.12 1000000 0 1393.85/1394.34 c 81 166 172.74 26.93 6.41 1000000 0 1394.95/1395.46 c 87 154 169.39 25.82 6.56 1000000 0 1396.05/1396.59 c 90 177 174.04 27.21 6.40 1000000 0 1397.25/1397.72 c 81 156 171.58 28.03 6.12 1000000 0 1398.35/1398.85 c 75 157 170.41 28.26 6.03 1000000 0 1399.45/1399.98 c 74 182 173.34 26.51 6.54 1000000 0 1400.65/1401.11 c 77 132 174.61 27.46 6.36 1000000 0 1401.75/1402.24 c 88 161 172.70 27.06 6.38 1000000 0 1402.85/1403.37 c 85 153 172.57 27.05 6.38 1000000 0 1404.05/1404.50 c 84 165 171.47 28.11 6.10 1000000 0 1405.15/1405.63 c 83 207 169.41 26.35 6.43 1000000 0 1406.25/1406.76 c 85 202 172.82 27.36 6.32 1000000 0 1407.35/1407.89 c 84 131 173.51 30.43 5.70 1000000 0 1408.55/1409.02 c 88 144 173.56 26.60 6.53 1000000 0 1409.65/1410.15 c 85 166 173.61 26.25 6.61 1000000 0 1410.75/1411.28 c 81 184 172.16 26.05 6.61 1000000 0 1411.95/1412.41 c 84 161 171.28 25.61 6.69 1000000 0 1413.05/1413.54 c 87 184 174.94 27.19 6.43 1000000 0 1414.15/1414.67 c 78 124 171.56 26.49 6.48 1000000 0 1415.35/1415.80 c 75 202 170.58 25.95 6.57 1000000 0 1416.45/1416.93 c 87 206 175.48 27.32 6.42 1000000 0 1417.54/1418.06 c 79 213 172.72 26.56 6.50 1000000 0 1418.64/1419.19 c 74 140 170.69 26.23 6.51 1000000 0 1419.84/1420.32 c 83 182 173.24 28.04 6.18 1000000 0 1420.94/1421.45 c 76 138 171.42 28.25 6.07 1000000 0 1422.04/1422.58 c 82 168 173.09 27.38 6.32 1000000 0 1423.24/1423.71 c 81 158 171.34 27.20 6.30 1000000 0 1424.34/1424.84 c 86 203 173.51 25.91 6.70 1000000 0 1425.44/1425.97 c 84 163 174.50 26.38 6.62 1000000 0 1426.64/1427.11 c 84 173 170.52 26.64 6.40 1000000 0 1427.74/1428.24 c 76 176 171.89 25.80 6.66 1000000 0 1428.84/1429.36 c 87 189 173.81 26.52 6.55 1000000 0 1430.04/1430.50 c 82 129 174.90 28.85 6.06 1000000 0 1431.14/1431.62 c 80 203 173.53 27.90 6.22 1000000 0 1432.24/1432.76 c 75 121 176.64 28.19 6.27 1000000 0 1433.34/1433.89 c 84 186 174.97 26.80 6.53 1000000 0 1434.54/1435.02 c 82 154 172.77 27.64 6.25 1000000 0 1435.64/1436.15 c 76 161 171.99 28.35 6.07 1000000 0 1436.74/1437.28 c 88 155 174.64 29.12 6.00 1000000 0 1437.94/1438.41 c 86 151 170.57 27.03 6.31 1000000 0 1439.04/1439.54 c 91 150 174.64 26.12 6.69 1000000 0 1440.14/1440.67 c 82 217 175.67 27.96 6.28 1000000 0 1441.34/1441.80 c 84 132 173.26 27.68 6.26 1000000 0 1442.44/1442.93 c 80 171 171.98 26.66 6.45 1000000 0 1443.54/1444.06 c 80 194 171.36 26.74 6.41 1000000 0 1444.64/1445.19 c 91 146 173.89 27.44 6.34 1000000 0 1445.84/1446.32 c 80 129 174.04 27.14 6.41 1000000 0 1446.94/1447.45 c 87 136 174.05 26.78 6.50 1000000 0 1448.03/1448.58 c 81 192 172.71 27.21 6.35 1000000 0 1449.24/1449.71 c 83 205 172.78 27.31 6.33 1000000 0 1450.34/1450.84 c 86 191 171.51 25.89 6.62 1000000 0 1451.44/1451.97 c 82 174 170.87 27.87 6.13 1000000 0 1452.54/1453.10 c 83 197 175.63 27.95 6.28 1000000 0 1453.74/1454.23 c 85 175 171.85 27.53 6.24 1000000 0 1454.84/1455.36 c 74 225 171.19 26.07 6.57 1000000 0 1455.94/1456.49 c 88 169 171.59 27.13 6.32 1000000 0 1457.13/1457.62 c 80 158 170.93 26.61 6.42 1000000 0 1458.23/1458.75 c 84 216 170.87 26.40 6.47 1000000 0 1459.33/1459.88 c 85 181 172.45 27.08 6.37 1000000 0 1460.53/1461.01 c 84 192 173.57 26.38 6.58 1000000 0 1461.63/1462.14 c 81 190 173.96 27.35 6.36 1000000 0 1462.73/1463.27 c 79 118 172.76 27.89 6.19 1000000 0 1463.93/1464.40 c 85 181 172.78 27.74 6.23 1000000 0 1465.03/1465.53 c 75 221 171.49 26.95 6.36 1000000 0 1466.13/1466.66 c 81 174 171.67 26.20 6.55 1000000 0 1467.23/1467.79 c 86 167 170.92 26.72 6.40 1000000 0 1468.43/1468.92 c 81 128 172.80 29.05 5.95 1000000 0 1469.53/1470.05 c 80 158 171.13 26.10 6.56 1000000 0 1470.63/1471.18 c 73 214 173.14 27.11 6.39 1000000 0 1471.83/1472.31 c 81 193 170.01 27.31 6.23 1000000 0 1472.93/1473.44 c 91 175 173.67 27.22 6.38 1000000 0 1474.02/1474.57 c 78 167 173.22 26.63 6.50 1000000 0 1475.22/1475.70 c 86 166 172.49 27.83 6.20 1000000 0 1476.33/1476.83 c 74 196 171.12 28.10 6.09 1000000 0 1477.42/1477.96 c 76 211 173.46 27.88 6.22 1000000 0 1478.52/1479.09 c 83 153 171.45 26.20 6.54 1000000 0 1479.72/1480.22 c 84 187 170.77 26.48 6.45 1000000 0 1480.82/1481.35 c 86 140 172.70 26.74 6.46 1000000 0 1481.92/1482.48 c 88 214 171.85 27.25 6.31 1000000 0 1483.12/1483.61 c 83 142 168.38 27.26 6.18 1000000 0 1484.22/1484.74 c 84 182 173.13 26.97 6.42 1000000 0 1485.32/1485.87 c 85 142 172.09 27.16 6.34 1000000 0 1486.52/1487.00 c 92 139 174.43 27.26 6.40 1000000 0 1487.62/1488.13 c 81 178 174.18 27.04 6.44 1000000 0 1488.72/1489.26 c 70 197 172.43 28.19 6.12 1000000 0 1489.82/1490.39 c 84 163 171.84 26.47 6.49 1000000 0 1491.03/1491.52 c 90 216 173.14 27.17 6.37 1000000 0 1492.13/1492.65 c 79 180 171.86 26.43 6.50 1000000 0 1493.23/1493.78 c 83 171 174.91 28.98 6.04 1000000 0 1494.43/1494.91 c 72 184 172.20 26.74 6.44 1000000 0 1495.53/1496.04 c 90 161 173.60 27.42 6.33 1000000 0 1496.63/1497.17 c 84 136 172.24 27.76 6.20 1000000 0 1497.82/1498.30 c 68 224 174.17 26.66 6.53 1000000 0 1498.92/1499.43 c 94 161 171.92 24.47 7.02 1000000 0 1500.02/1500.56 c 73 207 173.46 27.74 6.25 1000000 0 1501.12/1501.69 c 81 177 175.11 28.17 6.22 1000000 0 1502.32/1502.82 c 87 170 175.57 28.00 6.27 1000000 0 1503.42/1503.95 c 90 168 171.76 26.00 6.61 1000000 0 1504.52/1505.08 c 85 168 173.65 27.76 6.26 1000000 0 1505.72/1506.21 c 82 203 172.83 25.80 6.70 1000000 0 1506.82/1507.34 c 77 193 172.16 27.14 6.34 1000000 0 1507.92/1508.47 c 90 191 173.95 26.56 6.55 1000000 0 1509.11/1509.60 c 83 168 172.25 26.65 6.46 1000000 0 1510.22/1510.73 c 77 161 172.73 28.19 6.13 1000000 0 1511.31/1511.86 c 74 160 172.63 27.07 6.38 1000000 0 1512.41/1512.99 c 84 163 172.50 26.21 6.58 1000000 0 1513.61/1514.12 c 90 229 173.29 27.42 6.32 1000000 0 1514.71/1515.25 c 83 168 174.20 27.48 6.34 1000000 0 1515.81/1516.38 c 85 220 176.00 28.47 6.18 1000000 0 1517.01/1517.51 c 89 202 173.58 26.40 6.57 1000000 0 1518.11/1518.64 c 88 158 169.98 26.39 6.44 1000000 0 1519.21/1519.77 c 85 149 171.92 26.34 6.53 1000000 0 1520.41/1520.90 c 80 176 170.95 26.59 6.43 1000000 0 1521.51/1522.03 c 76 178 173.37 29.11 5.95 1000000 0 1522.61/1523.16 c 86 161 174.12 27.83 6.26 1000000 0 1523.71/1524.29 c 86 176 174.56 27.10 6.44 1000000 0 1524.91/1525.42 c 85 180 170.77 26.87 6.36 1000000 0 1526.01/1526.55 c 83 177 171.75 28.34 6.06 1000000 0 1527.11/1527.68 c 80 178 173.41 27.49 6.31 1000000 0 1528.31/1528.81 c 90 160 174.90 26.81 6.52 1000000 0 1529.41/1529.94 c 88 150 175.55 28.55 6.15 1000000 0 1530.51/1531.07 c 86 173 172.22 26.93 6.39 1000000 0 1531.71/1532.20 c 80 226 173.34 28.07 6.18 1000000 0 1532.81/1533.33 c 89 186 172.69 26.74 6.46 1000000 0 1533.91/1534.46 c 86 173 173.51 27.17 6.39 1000000 0 1535.01/1535.59 c 91 175 172.05 26.85 6.41 1000000 0 1536.21/1536.72 c 75 161 172.06 25.35 6.79 1000000 0 1537.31/1537.85 c 84 205 172.70 27.10 6.37 1000000 0 1538.41/1538.98 c 88 206 173.68 28.38 6.12 1000000 0 1539.60/1540.12 c 93 154 172.10 26.54 6.49 1000000 0 1540.70/1541.25 c 84 147 172.78 28.45 6.07 1000000 0 1541.80/1542.38 c 87 251 171.32 27.06 6.33 1000000 0 1543.01/1543.51 c 80 148 171.57 26.17 6.56 1000000 0 1544.11/1544.64 c 79 127 170.57 25.84 6.60 1000000 0 1545.21/1545.77 c 88 202 170.51 25.16 6.78 1000000 0 1546.31/1546.89 c 90 223 170.64 25.85 6.60 1000000 0 1547.51/1548.02 c 94 178 175.84 27.17 6.47 1000000 0 1548.61/1549.15 c 85 234 172.87 28.02 6.17 1000000 0 1549.71/1550.28 c 87 216 174.57 26.94 6.48 1000000 0 1550.91/1551.41 c 74 200 173.58 26.06 6.66 1000000 0 1552.01/1552.54 c 83 150 171.97 26.84 6.41 1000000 0 1553.11/1553.67 c 88 140 171.19 26.61 6.43 1000000 0 1554.31/1554.80 c 83 205 174.12 26.95 6.46 1000000 0 1555.41/1555.93 c 93 142 171.07 25.91 6.60 1000000 0 1556.51/1557.06 c 94 139 172.54 27.31 6.32 1000000 0 1557.61/1558.19 c 85 198 174.18 27.75 6.28 1000000 0 1558.81/1559.32 c 83 188 173.05 27.09 6.39 1000000 0 1559.91/1560.45 c 74 164 172.05 27.89 6.17 1000000 0 1561.01/1561.58 c 74 195 172.86 25.99 6.65 1000000 0 1562.21/1562.71 c 88 154 174.45 27.59 6.32 1000000 0 1563.31/1563.84 c 81 192 173.79 26.77 6.49 1000000 0 1564.41/1564.97 c 72 181 170.58 27.87 6.12 1000000 0 1565.61/1566.11 c 85 195 172.97 25.76 6.71 1000000 0 1566.70/1567.23 c 88 158 174.73 26.49 6.60 1000000 0 1567.80/1568.37 c 81 167 171.39 28.31 6.05 1000000 0 1569.00/1569.50 c 77 188 173.53 27.92 6.22 1000000 0 1570.11/1570.63 c 90 207 171.19 27.05 6.33 1000000 0 1571.20/1571.76 c 83 158 173.37 27.49 6.31 1000000 0 1572.30/1572.89 c 88 167 172.13 27.53 6.25 1000000 0 1573.51/1574.02 c 84 220 170.92 27.38 6.24 1000000 0 1574.61/1575.15 c 77 191 172.63 27.71 6.23 1000000 0 1575.71/1576.28 c 77 172 170.97 26.99 6.33 1000000 0 1576.91/1577.41 c 92 145 173.03 26.66 6.49 1000000 0 1578.01/1578.54 c 87 148 173.02 28.30 6.11 1000000 0 1579.11/1579.67 c 83 184 174.06 28.43 6.12 1000000 0 1580.30/1580.80 c 77 127 172.02 26.60 6.47 1000000 0 1581.40/1581.93 c 80 157 174.38 28.17 6.19 1000000 0 1582.50/1583.06 c 83 202 172.19 26.63 6.47 1000000 0 1583.60/1584.19 c 82 122 172.91 28.11 6.15 1000000 0 1584.80/1585.32 c 85 203 172.16 25.97 6.63 1000000 0 1585.90/1586.46 c 84 186 173.00 26.09 6.63 1000000 0 1587.00/1587.59 c 77 165 172.55 27.37 6.30 1000000 0 1588.20/1588.71 c 81 118 171.52 27.15 6.32 1000000 0 1589.30/1589.84 c 87 159 173.30 27.31 6.35 1000000 0 1590.40/1590.97 c 85 202 171.50 27.21 6.30 1000000 0 1591.60/1592.11 c 92 181 172.36 27.38 6.30 1000000 0 1592.69/1593.24 c 73 169 172.80 28.53 6.06 1000000 0 1593.79/1594.37 c 84 174 173.54 26.40 6.57 1000000 0 1595.00/1595.50 c 86 183 174.59 28.30 6.17 1000000 0 1596.10/1596.63 c 90 194 174.72 26.89 6.50 1000000 0 1597.19/1597.76 c 84 161 175.16 27.49 6.37 1000000 0 1598.29/1598.89 c 76 192 172.53 27.72 6.22 1000000 0 1599.49/1600.02 c 74 176 172.00 27.94 6.16 1000000 0 1600.59/1601.15 c 89 155 173.35 28.38 6.11 1000000 0 1601.69/1602.28 c 82 164 173.81 27.26 6.38 1000000 0 1602.89/1603.41 c 86 202 174.31 27.53 6.33 1000000 0 1603.99/1604.54 c 87 178 173.61 27.15 6.39 1000000 0 1605.09/1605.67 c 83 199 175.65 29.06 6.04 1000000 0 1606.29/1606.80 c 72 130 172.22 27.57 6.25 1000000 0 1607.39/1607.93 c 86 195 173.31 27.15 6.38 1000000 0 1608.49/1609.06 c 90 138 174.42 26.65 6.54 1000000 0 1609.59/1610.19 c 80 178 174.31 28.49 6.12 1000000 0 1610.79/1611.32 c 81 226 173.11 28.31 6.11 1000000 0 1611.89/1612.45 c 84 156 172.82 27.31 6.33 1000000 0 1612.99/1613.58 c 90 186 172.98 26.67 6.49 1000000 0 1614.19/1614.71 c 82 144 173.10 26.50 6.53 1000000 0 1615.29/1615.84 c 91 141 172.76 26.08 6.62 1000000 0 1616.39/1616.97 c 78 156 174.10 27.54 6.32 1000000 0 1617.49/1618.10 c 87 170 171.96 26.36 6.52 1000000 0 1618.69/1619.23 c 72 122 170.76 27.17 6.28 1000000 0 1619.79/1620.36 c 84 115 172.66 28.47 6.06 1000000 0 1620.89/1621.49 c 75 192 174.14 27.31 6.38 1000000 0 1622.09/1622.62 c 86 150 172.11 26.44 6.51 1000000 0 1623.19/1623.75 c 79 218 170.70 25.78 6.62 1000000 0 1624.29/1624.88 c 79 168 173.94 27.40 6.35 1000000 0 1625.48/1626.01 c 82 209 172.15 25.81 6.67 1000000 0 1626.58/1627.14 c 79 144 173.47 26.87 6.46 1000000 0 1627.68/1628.27 c 86 170 171.97 26.45 6.50 1000000 0 1628.88/1629.40 c 82 151 177.15 27.21 6.51 1000000 0 1629.99/1630.54 c 90 169 173.51 26.83 6.47 1000000 0 1631.08/1631.66 c 81 167 173.24 27.56 6.29 1000000 0 1632.28/1632.80 c 86 178 173.57 26.85 6.47 1000000 0 1633.38/1633.93 c 85 199 173.48 27.26 6.36 1000000 0 1634.48/1635.06 c 82 181 170.55 26.84 6.35 1000000 0 1635.58/1636.19 c 79 149 171.84 26.47 6.49 1000000 0 1636.78/1637.32 c 70 174 172.34 27.16 6.35 1000000 0 1637.88/1638.45 c 87 205 169.71 26.67 6.36 1000000 0 1638.98/1639.58 c 81 140 171.17 27.15 6.31 1000000 0 1640.18/1640.71 c 72 156 174.41 26.62 6.55 1000000 0 1641.28/1641.84 c 78 162 169.91 28.09 6.05 1000000 0 1642.38/1642.97 c 74 178 171.95 26.25 6.55 1000000 0 1643.58/1644.10 c 90 151 170.80 26.15 6.53 1000000 0 1644.68/1645.23 c 83 173 173.56 27.82 6.24 1000000 0 1645.78/1646.36 c 78 139 169.81 26.20 6.48 1000000 0 1646.88/1647.49 c 75 109 171.13 27.41 6.24 1000000 0 1648.08/1648.62 c 80 146 173.16 26.77 6.47 1000000 0 1649.18/1649.75 c 85 248 171.03 26.61 6.43 1000000 0 1650.28/1650.87 c 79 196 171.80 26.29 6.54 1000000 0 1651.48/1652.00 c 85 222 171.38 28.18 6.08 1000000 0 1652.57/1653.13 c 74 119 172.58 27.59 6.26 1000000 0 1653.67/1654.27 c 87 149 170.02 26.02 6.53 1000000 0 1654.77/1655.39 c 91 118 173.74 27.64 6.29 1000000 0 1655.98/1656.52 c 81 187 173.39 26.31 6.59 1000000 0 1657.08/1657.65 c 73 160 170.66 26.96 6.33 1000000 0 1658.18/1658.78 c 83 174 171.27 27.94 6.13 1000000 0 1659.38/1659.92 c 87 217 175.89 27.24 6.46 1000000 0 1660.48/1661.05 c 92 168 171.57 26.78 6.41 1000000 0 1661.58/1662.18 c 89 172 172.33 28.13 6.13 1000000 0 1662.77/1663.31 c 82 189 172.43 27.47 6.28 1000000 0 1663.87/1664.43 c 92 163 172.34 25.24 6.83 1000000 0 1664.97/1665.56 c 87 156 173.50 25.79 6.73 1000000 0 1666.07/1666.69 c 86 179 173.57 26.70 6.50 1000000 0 1667.27/1667.82 c 80 179 169.90 27.13 6.26 1000000 0 1668.37/1668.95 c 78 164 171.21 27.07 6.32 1000000 0 1669.47/1670.09 c 92 178 174.28 26.55 6.56 1000000 0 1670.67/1671.21 c 92 148 172.37 27.25 6.33 1000000 0 1671.77/1672.35 c 88 190 175.96 25.83 6.81 1000000 0 1672.87/1673.48 c 80 200 169.90 26.74 6.35 1000000 0 1674.07/1674.61 c 80 154 173.79 27.65 6.29 1000000 0 1675.17/1675.74 c 85 201 171.97 26.77 6.42 1000000 0 1676.27/1676.86 c 87 171 172.84 27.29 6.33 1000000 0 1677.37/1677.99 c 88 160 173.70 27.52 6.31 1000000 0 1678.56/1679.12 c 77 177 172.24 27.78 6.20 1000000 0 1679.66/1680.25 c 76 156 170.25 26.49 6.43 1000000 0 1680.77/1681.39 c 82 132 174.35 28.92 6.03 1000000 0 1681.96/1682.51 c 80 206 174.11 28.37 6.14 1000000 0 1683.06/1683.64 c 82 158 170.64 26.62 6.41 1000000 0 1684.16/1684.77 c 85 179 173.43 25.30 6.86 1000000 0 1685.36/1685.90 c 64 153 170.78 27.13 6.29 1000000 0 1686.46/1687.03 c 78 204 173.81 26.83 6.48 1000000 0 1687.56/1688.16 c 76 182 171.74 27.43 6.26 1000000 0 1688.66/1689.29 c 85 171 170.93 26.06 6.56 1000000 0 1689.86/1690.42 c 88 192 173.52 25.32 6.85 1000000 0 1690.96/1691.55 c 87 160 172.83 27.63 6.25 1000000 0 1692.06/1692.68 c 65 222 172.81 28.15 6.14 1000000 0 1693.26/1693.81 c 91 149 172.76 26.42 6.54 1000000 0 1694.36/1694.94 c 77 119 171.62 26.36 6.51 1000000 0 1695.46/1696.07 c 92 142 172.94 26.45 6.54 1000000 0 1696.67/1697.20 c 84 209 173.33 26.31 6.59 1000000 0 1697.77/1698.33 c 73 169 172.25 27.78 6.20 1000000 0 1698.87/1699.46 c 88 180 173.42 27.79 6.24 1000000 0 1699.97/1700.59 c 85 157 170.70 26.61 6.41 1000000 0 1701.17/1701.72 c 76 138 173.23 26.62 6.51 1000000 0 1702.27/1702.85 c 85 167 171.74 27.16 6.32 1000000 0 1703.37/1703.98 c 83 154 172.39 27.29 6.32 1000000 0 1704.56/1705.11 c 91 218 172.98 26.01 6.65 1000000 0 1705.66/1706.24 c 77 197 173.20 27.82 6.23 1000000 0 1706.76/1707.37 c 87 160 174.15 28.04 6.21 1000000 0 1707.96/1708.50 c 78 225 173.55 26.47 6.56 1000000 0 1709.06/1709.63 c 80 196 173.92 26.54 6.55 1000000 0 1710.16/1710.76 c 76 167 172.31 27.51 6.26 1000000 0 1711.35/1711.90 c 82 147 173.72 28.16 6.17 1000000 0 1712.45/1713.03 c 88 241 172.36 26.24 6.57 1000000 0 1713.55/1714.16 c 87 146 173.30 27.09 6.40 1000000 0 1714.65/1715.29 c 85 182 176.85 27.41 6.45 1000000 0 1715.86/1716.42 c 85 173 175.65 27.42 6.41 1000000 0 1716.95/1717.55 c 65 171 173.45 24.90 6.96 1000000 0 1718.05/1718.68 c 79 167 173.08 28.02 6.18 1000000 0 1719.25/1719.81 c 87 185 171.20 26.72 6.41 1000000 0 1720.35/1720.94 c 88 190 175.45 26.82 6.54 1000000 0 1721.45/1722.08 c 83 189 172.35 25.78 6.68 1000000 0 1722.65/1723.21 c 88 147 171.21 26.63 6.43 1000000 0 1723.75/1724.34 c 81 180 172.84 26.41 6.55 1000000 0 1724.85/1725.47 c 90 155 170.46 26.65 6.40 1000000 0 1725.95/1726.59 c 89 176 172.79 27.55 6.27 1000000 0 1727.15/1727.72 c 88 149 172.85 27.81 6.22 1000000 0 1728.25/1728.86 c 80 108 172.37 27.08 6.37 1000000 0 1729.35/1729.99 c 82 170 173.58 26.32 6.60 1000000 0 1730.55/1731.12 c 79 198 172.28 28.20 6.11 1000000 0 1731.65/1732.24 c 82 183 169.57 26.74 6.34 1000000 0 1732.75/1733.38 c 92 227 175.89 28.33 6.21 1000000 0 1733.95/1734.51 c 84 158 176.06 28.24 6.23 1000000 0 1735.05/1735.64 c 85 184 172.32 26.51 6.50 1000000 0 1736.15/1736.77 c 86 200 173.80 27.07 6.42 1000000 0 1737.35/1737.90 c 82 154 170.40 24.81 6.87 1000000 0 1738.45/1739.03 c 86 143 173.40 26.36 6.58 1000000 0 1739.55/1740.16 c 82 119 172.31 26.18 6.58 1000000 0 1740.65/1741.29 c 73 140 175.06 28.14 6.22 1000000 0 1741.85/1742.42 c 77 161 172.82 27.52 6.28 1000000 0 1742.95/1743.55 c 88 157 171.65 26.13 6.57 1000000 0 1744.05/1744.68 c 73 158 174.32 27.53 6.33 1000000 0 1745.24/1745.81 c 88 221 173.59 29.65 5.86 1000000 0 1746.34/1746.94 c 79 168 171.06 27.94 6.12 1000000 0 1747.44/1748.07 c 89 243 172.72 26.17 6.60 1000000 0 1748.64/1749.20 c 88 241 174.88 27.52 6.35 1000000 0 1749.74/1750.33 c 82 194 172.91 27.29 6.34 1000000 0 1750.84/1751.47 c 84 182 172.78 26.98 6.40 1000000 0 1752.04/1752.60 c 80 149 169.08 26.62 6.35 1000000 0 1753.14/1753.73 c 84 176 172.73 27.09 6.38 1000000 0 1754.24/1754.86 c 91 165 172.38 25.97 6.64 1000000 0 1755.34/1755.99 c 83 156 177.84 27.48 6.47 1000000 0 1756.54/1757.12 c 87 161 174.11 27.34 6.37 1000000 0 1757.64/1758.25 c 80 167 173.64 27.75 6.26 1000000 0 1758.74/1759.38 c 79 169 173.13 27.56 6.28 1000000 0 1759.94/1760.51 c 82 185 172.41 26.74 6.45 1000000 0 1761.04/1761.64 c 79 152 170.83 27.08 6.31 1000000 0 1762.14/1762.77 c 80 201 170.44 27.81 6.13 1000000 0 1763.34/1763.90 c 84 178 173.87 27.85 6.24 1000000 0 1764.44/1765.03 c 78 187 172.84 28.33 6.10 1000000 0 1765.54/1766.16 c 79 139 171.11 27.50 6.22 1000000 0 1766.74/1767.30 c 82 171 175.53 27.78 6.32 1000000 0 1767.83/1768.43 c 78 203 175.34 26.81 6.54 1000000 0 1768.93/1769.56 c 79 149 171.36 26.86 6.38 1000000 0 1770.03/1770.69 c 79 160 172.50 26.81 6.43 1000000 0 1771.23/1771.82 c 74 157 172.91 27.00 6.40 1000000 0 1772.33/1772.95 c 82 125 172.21 26.49 6.50 1000000 0 1773.43/1774.08 c 84 194 173.44 27.16 6.38 1000000 0 1774.63/1775.21 c 87 166 173.12 27.86 6.21 1000000 0 1775.73/1776.34 c 83 220 174.69 26.50 6.59 1000000 0 1776.83/1777.47 c 81 171 171.78 27.04 6.35 1000000 0 1778.04/1778.60 c 77 246 170.25 27.08 6.29 1000000 0 1779.14/1779.74 c 81 203 174.40 27.99 6.23 1000000 0 1780.24/1780.86 c 84 183 174.53 27.37 6.38 1000000 0 1781.34/1782.00 c 77 109 171.37 28.33 6.05 1000000 0 1782.54/1783.13 c 79 195 169.53 27.24 6.22 1000000 0 1783.64/1784.26 c 94 195 174.52 26.52 6.58 1000000 0 1784.74/1785.38 c 90 143 169.08 26.81 6.31 1000000 0 1785.93/1786.51 c 75 226 171.57 26.28 6.53 1000000 0 1787.04/1787.65 c 83 179 171.34 25.42 6.74 1000000 0 1788.14/1788.78 c 89 189 171.52 26.97 6.36 1000000 0 1789.34/1789.91 c 84 156 174.38 27.02 6.45 1000000 0 1790.44/1791.04 c 80 157 170.92 25.68 6.66 1000000 0 1791.54/1792.17 c 92 126 171.52 27.32 6.28 1000000 0 1792.74/1793.30 c 94 170 175.31 28.49 6.15 1000000 0 1793.84/1794.43 c 83 192 171.17 27.30 6.27 1000000 0 1794.94/1795.55 c 80 173 170.73 27.27 6.26 1000000 0 1796.03/1796.68 c 66 189 170.12 26.03 6.54 1000000 0 1797.23/1797.82 c 88 158 173.44 26.57 6.53 1000000 0 1798.33/1798.94 c 85 184 170.00 26.82 6.34 1000000 0 1799.43/1800.08 c 81 177 171.00 26.60 6.43 1000000 0 1800.05/1800.61 HOME/run: line 2: 23565 Terminated ./PB-wave < $1
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2684650-1278432570/watcher-2684650-1278432570 -o /tmp/evaluation-result-2684650-1278432570/solver-2684650-1278432570 -C 1800 -W 2000 -M 1800 run HOME/instance-2684650-1278432570.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.37 0.09 0.03 3/106 23564 /proc/meminfo: memFree=1413776/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=8700 CPUtime=0 /proc/23564/stat : 23564 (run) R 23562 23564 23341 0 -1 4202496 343 0 0 0 0 0 0 0 18 0 1 0 11469995 8908800 244 1992294400 4194304 4922060 140734238207920 18446744073709551615 237802987925 0 65538 4100 65536 0 0 0 17 0 0 0 0 /proc/23564/statm: 2175 244 204 178 0 68 0 [startup+0.0820011 s] /proc/loadavg: 0.37 0.09 0.03 3/106 23564 /proc/meminfo: memFree=1413776/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=8700 CPUtime=0 /proc/23564/stat : 23564 (run) S 23562 23564 23341 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11469995 8908800 244 1992294400 4194304 4922060 140734238207920 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23564/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.100002 s] /proc/loadavg: 0.37 0.09 0.03 3/106 23564 /proc/meminfo: memFree=1413776/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=8700 CPUtime=0 /proc/23564/stat : 23564 (run) S 23562 23564 23341 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11469995 8908800 244 1992294400 4194304 4922060 140734238207920 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23564/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300004 s] /proc/loadavg: 0.37 0.09 0.03 3/106 23564 /proc/meminfo: memFree=1413776/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=8700 CPUtime=0 /proc/23564/stat : 23564 (run) S 23562 23564 23341 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11469995 8908800 244 1992294400 4194304 4922060 140734238207920 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23564/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.70001 s] /proc/loadavg: 0.37 0.09 0.03 3/106 23564 /proc/meminfo: memFree=1413776/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=8700 CPUtime=0 /proc/23564/stat : 23564 (run) S 23562 23564 23341 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11469995 8908800 244 1992294400 4194304 4922060 140734238207920 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23564/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50002 s] /proc/loadavg: 0.37 0.09 0.03 2/108 23566 /proc/meminfo: memFree=1409916/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=8700 CPUtime=0 /proc/23564/stat : 23564 (run) S 23562 23564 23341 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11469995 8908800 244 1992294400 4194304 4922060 140734238207920 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23564/statm: 2175 244 204 178 0 68 0 [pid=23565] ppid=23564 vsize=40452 CPUtime=1.49 /proc/23565/stat : 23565 (PB-wave) R 23564 23564 23341 0 -1 4202496 1007 0 0 0 149 0 0 0 25 0 1 0 11469995 41422848 937 1992294400 134512640 135071400 4294331792 18446744073709551615 134525679 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23565/statm: 10113 937 69 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.10004 s] /proc/loadavg: 0.42 0.11 0.03 2/108 23566 /proc/meminfo: memFree=1409544/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=8700 CPUtime=0 /proc/23564/stat : 23564 (run) S 23562 23564 23341 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11469995 8908800 244 1992294400 4194304 4922060 140734238207920 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23564/statm: 2175 244 204 178 0 68 0 [pid=23565] ppid=23564 vsize=40452 CPUtime=3.09 /proc/23565/stat : 23565 (PB-wave) R 23564 23564 23341 0 -1 4202496 1007 0 0 0 309 0 0 0 25 0 1 0 11469995 41422848 937 1992294400 134512640 135071400 4294331792 18446744073709551615 134526003 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23565/statm: 10113 937 69 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.30009 s] /proc/loadavg: 0.42 0.11 0.03 2/108 23566 /proc/meminfo: memFree=1409544/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=8700 CPUtime=0 /proc/23564/stat : 23564 (run) S 23562 23564 23341 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11469995 8908800 244 1992294400 4194304 4922060 140734238207920 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23564/statm: 2175 244 204 178 0 68 0 [pid=23565] ppid=23564 vsize=40452 CPUtime=6.29 /proc/23565/stat : 23565 (PB-wave) R 23564 23564 23341 0 -1 4202496 1007 0 0 0 629 0 0 0 25 0 1 0 11469995 41422848 937 1992294400 134512640 135071400 4294331792 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23565/statm: 10113 937 69 137 0 9974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49152 [startup+12.7012 s] /proc/loadavg: 0.51 0.14 0.04 2/108 23567 /proc/meminfo: memFree=1409420/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=8700 CPUtime=0 /proc/23564/stat : 23564 (run) S 23562 23564 23341 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11469995 8908800 244 1992294400 4194304 4922060 140734238207920 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23564/statm: 2175 244 204 178 0 68 0 [pid=23565] ppid=23564 vsize=40452 CPUtime=12.69 /proc/23565/stat : 23565 (PB-wave) R 23564 23564 23341 0 -1 4202496 1007 0 0 0 1269 0 0 0 25 0 1 0 11469995 41422848 937 1992294400 134512640 135071400 4294331792 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23565/statm: 10113 937 69 137 0 9974 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49152 [startup+25.5004 s] /proc/loadavg: 0.58 0.16 0.05 2/108 23567 /proc/meminfo: memFree=1409420/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=8700 CPUtime=0 /proc/23564/stat : 23564 (run) S 23562 23564 23341 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11469995 8908800 244 1992294400 4194304 4922060 140734238207920 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23564/statm: 2175 244 204 178 0 68 0 [pid=23565] ppid=23564 vsize=40452 CPUtime=25.48 /proc/23565/stat : 23565 (PB-wave) R 23564 23564 23341 0 -1 4202496 1007 0 0 0 2548 0 0 0 25 0 1 0 11469995 41422848 937 1992294400 134512640 135071400 4294331792 18446744073709551615 134526240 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23565/statm: 10113 937 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1007 s] /proc/loadavg: 0.72 0.23 0.08 2/108 23568 /proc/meminfo: memFree=1409420/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=8700 CPUtime=0 /proc/23564/stat : 23564 (run) S 23562 23564 23341 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11469995 8908800 244 1992294400 4194304 4922060 140734238207920 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23564/statm: 2175 244 204 178 0 68 0 [pid=23565] ppid=23564 vsize=40452 CPUtime=51.07 /proc/23565/stat : 23565 (PB-wave) R 23564 23564 23341 0 -1 4202496 1007 0 0 0 5107 0 0 0 25 0 1 0 11469995 41422848 937 1992294400 134512640 135071400 4294331792 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23565/statm: 10113 937 69 137 0 9974 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 49152 [startup+102.308 s] /proc/loadavg: 0.89 0.36 0.13 2/108 23569 /proc/meminfo: memFree=1409172/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=8700 CPUtime=0 /proc/23564/stat : 23564 (run) S 23562 23564 23341 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11469995 8908800 244 1992294400 4194304 4922060 140734238207920 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23564/statm: 2175 244 204 178 0 68 0 [pid=23565] ppid=23564 vsize=40452 CPUtime=102.26 /proc/23565/stat : 23565 (PB-wave) R 23564 23564 23341 0 -1 4202496 1007 0 0 0 10226 0 0 0 25 0 1 0 11469995 41422848 937 1992294400 134512640 135071400 4294331792 18446744073709551615 134537208 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23565/statm: 10113 937 69 137 0 9974 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 49152 [startup+162.3 s] /proc/loadavg: 0.95 0.46 0.18 2/108 23571 /proc/meminfo: memFree=1408924/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=8700 CPUtime=0 /proc/23564/stat : 23564 (run) S 23562 23564 23341 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11469995 8908800 244 1992294400 4194304 4922060 140734238207920 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23564/statm: 2175 244 204 178 0 68 0 [pid=23565] ppid=23564 vsize=40452 CPUtime=162.24 /proc/23565/stat : 23565 (PB-wave) R 23564 23564 23341 0 -1 4202496 1007 0 0 0 16223 1 0 0 25 0 1 0 11469995 41422848 937 1992294400 134512640 135071400 4294331792 18446744073709551615 134571201 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23565/statm: 10113 937 69 137 0 9974 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 49152 [startup+222.3 s] /proc/loadavg: 0.98 0.56 0.23 2/108 23572 /proc/meminfo: memFree=1408800/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=8700 CPUtime=0 /proc/23564/stat : 23564 (run) S 23562 23564 23341 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11469995 8908800 244 1992294400 4194304 4922060 140734238207920 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23564/statm: 2175 244 204 178 0 68 0 [pid=23565] ppid=23564 vsize=40452 CPUtime=222.22 /proc/23565/stat : 23565 (PB-wave) R 23564 23564 23341 0 -1 4202496 1007 0 0 0 22221 1 0 0 25 0 1 0 11469995 41422848 937 1992294400 134512640 135071400 4294331792 18446744073709551615 134525897 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23565/statm: 10113 937 69 137 0 9974 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 49152 [startup+282.301 s] /proc/loadavg: 0.99 0.64 0.27 2/108 23574 /proc/meminfo: memFree=1408676/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=8700 CPUtime=0 /proc/23564/stat : 23564 (run) S 23562 23564 23341 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11469995 8908800 244 1992294400 4194304 4922060 140734238207920 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23564/statm: 2175 244 204 178 0 68 0 [pid=23565] ppid=23564 vsize=40452 CPUtime=282.2 /proc/23565/stat : 23565 (PB-wave) R 23564 23564 23341 0 -1 4202496 1007 0 0 0 28219 1 0 0 25 0 1 0 11469995 41422848 937 1992294400 134512640 135071400 4294331792 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23565/statm: 10113 937 69 137 0 9974 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 49152 [startup+342.301 s] /proc/loadavg: 0.99 0.70 0.32 2/108 23576 /proc/meminfo: memFree=1408552/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=8700 CPUtime=0 /proc/23564/stat : 23564 (run) S 23562 23564 23341 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11469995 8908800 244 1992294400 4194304 4922060 140734238207920 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23564/statm: 2175 244 204 178 0 68 0 [pid=23565] ppid=23564 vsize=40452 CPUtime=342.18 /proc/23565/stat : 23565 (PB-wave) R 23564 23564 23341 0 -1 4202496 1007 0 0 0 34217 1 0 0 25 0 1 0 11469995 41422848 937 1992294400 134512640 135071400 4294331792 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23565/statm: 10113 937 69 137 0 9974 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 49152 [startup+402.301 s] /proc/loadavg: 0.99 0.75 0.35 2/108 23577 /proc/meminfo: memFree=1408552/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=8700 CPUtime=0 /proc/23564/stat : 23564 (run) S 23562 23564 23341 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11469995 8908800 244 1992294400 4194304 4922060 140734238207920 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23564/statm: 2175 244 204 178 0 68 0 [pid=23565] ppid=23564 vsize=40452 CPUtime=402.16 /proc/23565/stat : 23565 (PB-wave) R 23564 23564 23341 0 -1 4202496 1007 0 0 0 40215 1 0 0 25 0 1 0 11469995 41422848 937 1992294400 134512640 135071400 4294331792 18446744073709551615 134525710 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23565/statm: 10113 937 69 137 0 9974 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 49152 [startup+462.3 s] ################ # More data... # ################ [pid=23565] ppid=23564 vsize=40452 CPUtime=1061.95 /proc/23565/stat : 23565 (PB-wave) R 23564 23564 23341 0 -1 4202496 1007 0 0 0 106190 5 0 0 25 0 1 0 11469995 41422848 937 1992294400 134512640 135071400 4294331792 18446744073709551615 134526830 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23565/statm: 10113 937 69 137 0 9974 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 49152 [startup+1122.3 s] /proc/loadavg: 1.00 0.97 0.68 2/108 23599 /proc/meminfo: memFree=1407064/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=8700 CPUtime=0 /proc/23564/stat : 23564 (run) S 23562 23564 23341 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11469995 8908800 244 1992294400 4194304 4922060 140734238207920 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23564/statm: 2175 244 204 178 0 68 0 [pid=23565] ppid=23564 vsize=40452 CPUtime=1121.94 /proc/23565/stat : 23565 (PB-wave) R 23564 23564 23341 0 -1 4202496 1007 0 0 0 112188 6 0 0 25 0 1 0 11469995 41422848 937 1992294400 134512640 135071400 4294331792 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23565/statm: 10113 937 69 137 0 9974 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.00 0.97 0.70 2/108 23601 /proc/meminfo: memFree=1407064/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=8700 CPUtime=0 /proc/23564/stat : 23564 (run) S 23562 23564 23341 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11469995 8908800 244 1992294400 4194304 4922060 140734238207920 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23564/statm: 2175 244 204 178 0 68 0 [pid=23565] ppid=23564 vsize=40452 CPUtime=1181.92 /proc/23565/stat : 23565 (PB-wave) R 23564 23564 23341 0 -1 4202496 1007 0 0 0 118186 6 0 0 25 0 1 0 11469995 41422848 937 1992294400 134512640 135071400 4294331792 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23565/statm: 10113 937 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.00 0.97 0.71 2/108 23603 /proc/meminfo: memFree=1406692/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=8700 CPUtime=0 /proc/23564/stat : 23564 (run) S 23562 23564 23341 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11469995 8908800 244 1992294400 4194304 4922060 140734238207920 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23564/statm: 2175 244 204 178 0 68 0 [pid=23565] ppid=23564 vsize=40452 CPUtime=1241.9 /proc/23565/stat : 23565 (PB-wave) R 23564 23564 23341 0 -1 4202496 1007 0 0 0 124183 7 0 0 25 0 1 0 11469995 41422848 937 1992294400 134512640 135071400 4294331792 18446744073709551615 134547341 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23565/statm: 10113 937 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.00 0.97 0.73 2/108 23604 /proc/meminfo: memFree=1406568/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=8700 CPUtime=0 /proc/23564/stat : 23564 (run) S 23562 23564 23341 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11469995 8908800 244 1992294400 4194304 4922060 140734238207920 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23564/statm: 2175 244 204 178 0 68 0 [pid=23565] ppid=23564 vsize=40452 CPUtime=1301.89 /proc/23565/stat : 23565 (PB-wave) R 23564 23564 23341 0 -1 4202496 1007 0 0 0 130182 7 0 0 25 0 1 0 11469995 41422848 937 1992294400 134512640 135071400 4294331792 18446744073709551615 134526083 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23565/statm: 10113 937 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.00 0.97 0.74 2/108 23606 /proc/meminfo: memFree=1406568/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=8700 CPUtime=0 /proc/23564/stat : 23564 (run) S 23562 23564 23341 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11469995 8908800 244 1992294400 4194304 4922060 140734238207920 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23564/statm: 2175 244 204 178 0 68 0 [pid=23565] ppid=23564 vsize=40452 CPUtime=1361.86 /proc/23565/stat : 23565 (PB-wave) R 23564 23564 23341 0 -1 4202496 1007 0 0 0 136179 7 0 0 25 0 1 0 11469995 41422848 937 1992294400 134512640 135071400 4294331792 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23565/statm: 10113 937 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.00 0.97 0.75 2/108 23607 /proc/meminfo: memFree=1406444/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=8700 CPUtime=0 /proc/23564/stat : 23564 (run) S 23562 23564 23341 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11469995 8908800 244 1992294400 4194304 4922060 140734238207920 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23564/statm: 2175 244 204 178 0 68 0 [pid=23565] ppid=23564 vsize=40452 CPUtime=1421.85 /proc/23565/stat : 23565 (PB-wave) R 23564 23564 23341 0 -1 4202496 1007 0 0 0 142178 7 0 0 25 0 1 0 11469995 41422848 937 1992294400 134512640 135071400 4294331792 18446744073709551615 134519845 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23565/statm: 10113 937 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.00 0.97 0.77 2/108 23609 /proc/meminfo: memFree=1406444/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=8700 CPUtime=0 /proc/23564/stat : 23564 (run) S 23562 23564 23341 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11469995 8908800 244 1992294400 4194304 4922060 140734238207920 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23564/statm: 2175 244 204 178 0 68 0 [pid=23565] ppid=23564 vsize=40452 CPUtime=1481.82 /proc/23565/stat : 23565 (PB-wave) R 23564 23564 23341 0 -1 4202496 1007 0 0 0 148175 7 0 0 25 0 1 0 11469995 41422848 937 1992294400 134512640 135071400 4294331792 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23565/statm: 10113 937 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.00 0.97 0.78 2/108 23611 /proc/meminfo: memFree=1406320/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=8700 CPUtime=0 /proc/23564/stat : 23564 (run) S 23562 23564 23341 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11469995 8908800 244 1992294400 4194304 4922060 140734238207920 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23564/statm: 2175 244 204 178 0 68 0 [pid=23565] ppid=23564 vsize=40452 CPUtime=1541.8 /proc/23565/stat : 23565 (PB-wave) R 23564 23564 23341 0 -1 4202496 1007 0 0 0 154173 7 0 0 25 0 1 0 11469995 41422848 937 1992294400 134512640 135071400 4294331792 18446744073709551615 134526020 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23565/statm: 10113 937 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.00 0.97 0.79 2/108 23612 /proc/meminfo: memFree=1406196/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=8700 CPUtime=0 /proc/23564/stat : 23564 (run) S 23562 23564 23341 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11469995 8908800 244 1992294400 4194304 4922060 140734238207920 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23564/statm: 2175 244 204 178 0 68 0 [pid=23565] ppid=23564 vsize=40452 CPUtime=1601.79 /proc/23565/stat : 23565 (PB-wave) R 23564 23564 23341 0 -1 4202496 1007 0 0 0 160171 8 0 0 25 0 1 0 11469995 41422848 937 1992294400 134512640 135071400 4294331792 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23565/statm: 10113 937 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.00 0.97 0.80 2/108 23614 /proc/meminfo: memFree=1406072/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=8700 CPUtime=0 /proc/23564/stat : 23564 (run) S 23562 23564 23341 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11469995 8908800 244 1992294400 4194304 4922060 140734238207920 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23564/statm: 2175 244 204 178 0 68 0 [pid=23565] ppid=23564 vsize=40452 CPUtime=1661.77 /proc/23565/stat : 23565 (PB-wave) R 23564 23564 23341 0 -1 4202496 1007 0 0 0 166169 8 0 0 25 0 1 0 11469995 41422848 937 1992294400 134512640 135071400 4294331792 18446744073709551615 134547371 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23565/statm: 10113 937 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.00 0.97 0.81 2/108 23615 /proc/meminfo: memFree=1405948/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=8700 CPUtime=0 /proc/23564/stat : 23564 (run) S 23562 23564 23341 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11469995 8908800 244 1992294400 4194304 4922060 140734238207920 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23564/statm: 2175 244 204 178 0 68 0 [pid=23565] ppid=23564 vsize=40452 CPUtime=1721.75 /proc/23565/stat : 23565 (PB-wave) R 23564 23564 23341 0 -1 4202496 1007 0 0 0 172167 8 0 0 25 0 1 0 11469995 41422848 937 1992294400 134512640 135071400 4294331792 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23565/statm: 10113 937 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.00 0.97 0.82 2/108 23617 /proc/meminfo: memFree=1405700/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=8700 CPUtime=0 /proc/23564/stat : 23564 (run) S 23562 23564 23341 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11469995 8908800 244 1992294400 4194304 4922060 140734238207920 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23564/statm: 2175 244 204 178 0 68 0 [pid=23565] ppid=23564 vsize=40452 CPUtime=1781.73 /proc/23565/stat : 23565 (PB-wave) R 23564 23564 23341 0 -1 4202496 1007 0 0 0 178165 8 0 0 25 0 1 0 11469995 41422848 937 1992294400 134512640 135071400 4294331792 18446744073709551615 134526677 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23565/statm: 10113 937 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 0.97 0.82 2/108 23617 /proc/meminfo: memFree=1405700/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=8700 CPUtime=0 /proc/23564/stat : 23564 (run) S 23562 23564 23341 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11469995 8908800 244 1992294400 4194304 4922060 140734238207920 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23564/statm: 2175 244 204 178 0 68 0 [pid=23565] ppid=23564 vsize=40452 CPUtime=1800.05 /proc/23565/stat : 23565 (PB-wave) R 23564 23564 23341 0 -1 4202496 1007 0 0 0 179996 9 0 0 25 0 1 0 11469995 41422848 937 1992294400 134512640 135071400 4294331792 18446744073709551615 134525707 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23565/statm: 10113 937 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1800.62 CPU time (s): 1800.06 CPU user time (s): 1799.97 CPU system time (s): 0.091986 CPU usage (%): 99.9689 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.97 system time used= 0.091986 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1379 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 27228 runsolver used 4.09638 second user time and 8.85465 second system time The end
Begin job on node013 at 2010-07-06 18:09:30 IDJOB=2684650 IDBENCH=73213 IDSOLVER=1171 FILE ID=node013/2684650-1278432570 PBS_JOBID= 11233458 Free space on /tmp= 62544 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j30/normalized-j3041_4-unsat.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2684650-1278432570/watcher-2684650-1278432570 -o /tmp/evaluation-result-2684650-1278432570/solver-2684650-1278432570 -C 1800 -W 2000 -M 1800 run HOME/instance-2684650-1278432570.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fa33f3f881a96fd28fe28332e1a468a6 RANDOM SEED=682447239 node013.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.43 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.218 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1414296 kB Buffers: 103640 kB Cached: 402332 kB SwapCached: 0 kB Active: 168300 kB Inactive: 397824 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1414296 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2204 kB Writeback: 0 kB AnonPages: 60176 kB Mapped: 14416 kB Slab: 56820 kB PageTables: 4156 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180036 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62544 MiB End job on node013 at 2010-07-06 18:39:31