Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.08 | 1800.62 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.4.accl.ucl.opb |
MD5SUM | 5c27e468756746c81988dfb461940da4 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
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.196969 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 3939 |
Total number of constraints | 10412 |
Number of constraints which are clauses | 9740 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 672 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 13 |
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 | 69 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 258 |
Number of bits of the biggest sum of numbers | 9 |
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.03 c PB-wave - v2 0.00/0.03 c command line = ./PB-wave 0.00/0.03 c seed = 36063703 0.00/0.03 c cutoff = 1000000 0.00/0.03 c tries = 1000000 0.00/0.03 c heuristic = c best, noise 50 / 100 0.00/0.03 #var 3939 #con 10412 0.00/0.03 mode is SAT 0.00/0.03 c tail starts after flip = 11817 0.00/0.03 c numatom = 3939, numclause = 10412, numliterals = 31122 0.00/0.03 c wff read in 0.00/0.03 c 0.00/0.03 c lowest final avg noise noise total avg mean mean 0.00/0.03 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.03 c this this this this this this success success until std 0.00/0.03 c try try try try try try rate tries assign dev 0.00/0.03 c 1.49/1.50 c 122 228 220.03 35.51 6.20 1000000 0 2.89/2.98 c 111 202 216.75 33.84 6.41 1000000 0 4.40/4.46 c 118 184 216.56 37.50 5.78 1000000 0 5.89/5.92 c 124 289 223.89 37.50 5.97 1000000 0 7.29/7.40 c 118 203 213.34 36.39 5.86 1000000 0 8.80/8.87 c 134 184 221.11 32.20 6.87 1000000 0 10.29/10.34 c 115 217 217.73 33.50 6.50 1000000 0 11.79/11.82 c 113 217 210.88 35.07 6.01 1000000 0 13.29/13.30 c 111 233 218.56 39.19 5.58 1000000 0 14.69/14.78 c 108 208 217.80 35.82 6.08 1000000 0 16.19/16.26 c 121 172 214.45 35.45 6.05 1000000 0 17.69/17.73 c 122 196 218.58 38.79 5.63 1000000 0 19.19/19.21 c 103 248 218.32 34.33 6.36 1000000 0 20.58/20.68 c 126 215 223.16 34.67 6.44 1000000 0 22.08/22.16 c 129 235 221.15 34.77 6.36 1000000 0 23.58/23.63 c 134 196 225.11 33.41 6.74 1000000 0 25.08/25.12 c 123 207 217.64 33.83 6.43 1000000 0 26.48/26.59 c 112 209 224.47 37.74 5.95 1000000 0 27.98/28.07 c 123 222 216.17 35.55 6.08 1000000 0 29.48/29.54 c 123 206 220.65 36.78 6.00 1000000 0 30.98/31.00 c 132 226 221.32 33.76 6.56 1000000 0 32.38/32.48 c 119 198 210.29 36.02 5.84 1000000 0 33.88/33.95 c 125 206 221.01 35.19 6.28 1000000 0 35.38/35.42 c 113 213 218.86 36.27 6.03 1000000 0 36.78/36.89 c 101 207 215.46 39.76 5.42 1000000 0 38.28/38.37 c 103 225 217.23 36.88 5.89 1000000 0 39.78/39.85 c 116 190 219.46 38.09 5.76 1000000 0 41.28/41.32 c 127 229 218.47 37.17 5.88 1000000 0 42.68/42.78 c 117 297 220.52 35.31 6.25 1000000 0 44.18/44.25 c 116 230 220.98 37.75 5.85 1000000 0 45.68/45.72 c 102 231 212.16 37.10 5.72 1000000 0 47.18/47.20 c 121 272 219.45 33.89 6.48 1000000 0 48.58/48.68 c 125 182 214.75 33.92 6.33 1000000 0 50.08/50.15 c 122 202 223.84 36.12 6.20 1000000 0 51.58/51.61 c 121 228 221.16 36.05 6.14 1000000 0 52.98/53.08 c 115 234 213.45 35.76 5.97 1000000 0 54.48/54.57 c 121 181 215.45 33.83 6.37 1000000 0 55.98/56.04 c 125 180 217.58 31.54 6.90 1000000 0 57.48/57.51 c 107 167 218.69 37.57 5.82 1000000 0 58.87/58.99 c 113 226 210.74 37.43 5.63 1000000 0 60.38/60.46 c 111 214 217.08 33.40 6.50 1000000 0 61.87/61.93 c 119 229 222.18 38.03 5.84 1000000 0 63.37/63.40 c 114 207 218.65 39.53 5.53 1000000 0 64.78/64.86 c 119 191 223.67 38.38 5.83 1000000 0 66.27/66.33 c 126 205 219.17 33.79 6.49 1000000 0 67.77/67.80 c 122 222 220.62 35.97 6.13 1000000 0 69.18/69.26 c 111 187 224.10 35.57 6.30 1000000 0 70.67/70.73 c 123 223 221.26 39.07 5.66 1000000 0 72.07/72.19 c 112 209 215.74 38.66 5.58 1000000 0 73.58/73.67 c 122 280 219.30 34.67 6.33 1000000 0 75.07/75.14 c 126 287 229.77 36.11 6.36 1000000 0 76.57/76.61 c 103 223 212.50 37.00 5.74 1000000 0 77.98/78.08 c 113 193 214.37 37.57 5.71 1000000 0 79.47/79.55 c 124 218 223.60 36.58 6.11 1000000 0 80.97/81.01 c 119 157 226.50 34.28 6.61 1000000 0 82.37/82.48 c 123 273 219.34 33.75 6.50 1000000 0 83.87/83.95 c 121 231 214.90 33.80 6.36 1000000 0 85.37/85.43 c 124 212 222.01 35.61 6.23 1000000 0 86.77/86.90 c 127 188 215.74 31.81 6.78 1000000 0 88.27/88.37 c 113 258 214.69 38.12 5.63 1000000 0 89.77/89.84 c 121 203 216.27 34.83 6.21 1000000 0 91.27/91.32 c 111 188 209.61 32.40 6.47 1000000 0 92.66/92.78 c 125 223 218.61 33.22 6.58 1000000 0 94.16/94.26 c 94 269 214.26 37.54 5.71 1000000 0 95.67/95.74 c 117 261 211.06 34.68 6.09 1000000 0 97.16/97.20 c 124 246 221.60 33.53 6.61 1000000 0 98.56/98.69 c 117 204 215.50 37.11 5.81 1000000 0 100.07/100.17 c 122 242 214.46 34.74 6.17 1000000 0 101.56/101.66 c 122 246 216.76 37.48 5.78 1000000 0 103.06/103.13 c 121 198 220.09 35.58 6.19 1000000 0 104.47/104.59 c 123 174 221.21 36.67 6.03 1000000 0 105.96/106.07 c 94 192 212.85 39.08 5.45 1000000 0 107.46/107.56 c 111 152 216.91 34.60 6.27 1000000 0 108.96/109.03 c 128 227 223.30 34.16 6.54 1000000 0 110.46/110.51 c 111 177 216.69 38.50 5.63 1000000 0 111.86/111.97 c 125 190 219.33 34.08 6.44 1000000 0 113.35/113.44 c 107 207 210.25 36.51 5.76 1000000 0 114.85/114.91 c 113 212 212.97 38.64 5.51 1000000 0 116.25/116.38 c 123 246 222.33 35.09 6.34 1000000 0 117.75/117.86 c 109 221 214.87 33.53 6.41 1000000 0 119.25/119.32 c 125 189 222.46 35.48 6.27 1000000 0 120.65/120.79 c 131 242 222.35 36.60 6.08 1000000 0 122.15/122.25 c 115 185 222.32 37.58 5.92 1000000 0 123.65/123.73 c 119 238 218.45 37.44 5.83 1000000 0 125.05/125.18 c 109 208 221.93 34.21 6.49 1000000 0 126.55/126.67 c 125 158 218.96 34.35 6.38 1000000 0 128.05/128.14 c 117 234 219.47 38.15 5.75 1000000 0 129.55/129.62 c 121 174 208.53 31.13 6.70 1000000 0 130.95/131.09 c 111 180 210.33 37.36 5.63 1000000 0 132.45/132.56 c 120 195 219.07 37.65 5.82 1000000 0 133.95/134.04 c 118 206 213.06 37.30 5.71 1000000 0 135.45/135.51 c 117 215 216.27 35.14 6.15 1000000 0 136.95/137.00 c 103 165 211.13 38.23 5.52 1000000 0 138.35/138.48 c 118 298 209.76 36.68 5.72 1000000 0 139.85/139.96 c 120 173 217.97 39.47 5.52 1000000 0 141.35/141.43 c 118 194 222.45 40.06 5.55 1000000 0 142.85/142.91 c 130 232 223.41 35.37 6.32 1000000 0 144.25/144.37 c 120 175 219.64 37.75 5.82 1000000 0 145.74/145.84 c 121 247 219.68 36.26 6.06 1000000 0 147.25/147.31 c 121 224 224.89 39.24 5.73 1000000 0 148.64/148.79 c 117 210 212.90 31.74 6.71 1000000 0 150.14/150.28 c 113 219 217.41 35.45 6.13 1000000 0 151.65/151.76 c 118 217 218.85 32.81 6.67 1000000 0 153.14/153.24 c 111 224 209.42 37.83 5.54 1000000 0 154.64/154.71 c 117 204 216.83 39.96 5.43 1000000 0 156.05/156.17 c 130 201 220.47 32.27 6.83 1000000 0 157.54/157.66 c 120 266 211.49 31.80 6.65 1000000 0 159.04/159.14 c 125 266 219.33 35.97 6.10 1000000 0 160.55/160.62 c 122 203 215.41 34.97 6.16 1000000 0 161.94/162.09 c 109 225 218.42 32.44 6.73 1000000 0 163.44/163.57 c 121 243 211.70 33.79 6.27 1000000 0 164.95/165.05 c 128 178 220.38 34.90 6.32 1000000 0 166.44/166.52 c 121 249 218.36 34.93 6.25 1000000 0 167.94/168.00 c 124 229 214.30 32.60 6.57 1000000 0 169.35/169.46 c 127 197 216.19 34.68 6.23 1000000 0 170.84/170.95 c 123 241 215.45 34.87 6.18 1000000 0 172.34/172.41 c 130 194 226.23 34.25 6.61 1000000 0 173.74/173.90 c 112 177 218.21 35.04 6.23 1000000 0 175.24/175.37 c 123 253 224.69 38.14 5.89 1000000 0 176.74/176.84 c 123 278 219.07 34.36 6.38 1000000 0 178.23/178.32 c 112 200 211.37 36.94 5.72 1000000 0 179.63/179.79 c 116 237 212.98 35.74 5.96 1000000 0 181.13/181.26 c 122 185 218.33 36.39 6.00 1000000 0 182.63/182.74 c 124 247 219.23 33.03 6.64 1000000 0 184.13/184.21 c 118 207 213.15 33.23 6.42 1000000 0 185.53/185.69 c 120 271 215.88 35.78 6.03 1000000 0 187.03/187.16 c 119 211 219.43 33.90 6.47 1000000 0 188.53/188.63 c 125 208 224.45 38.67 5.80 1000000 0 190.03/190.10 c 128 174 218.54 33.55 6.51 1000000 0 191.43/191.59 c 109 164 214.51 35.66 6.02 1000000 0 192.93/193.07 c 116 180 212.34 38.76 5.48 1000000 0 194.43/194.55 c 107 203 208.71 36.23 5.76 1000000 0 195.93/196.01 c 97 165 215.91 36.67 5.89 1000000 0 197.33/197.48 c 130 220 219.29 32.54 6.74 1000000 0 198.83/198.95 c 128 206 216.65 32.00 6.77 1000000 0 200.33/200.42 c 109 180 213.72 35.02 6.10 1000000 0 201.73/201.89 c 116 192 218.07 36.79 5.93 1000000 0 203.23/203.36 c 122 147 219.12 33.79 6.48 1000000 0 204.73/204.85 c 125 189 216.78 38.67 5.61 1000000 0 206.23/206.32 c 124 190 218.67 34.47 6.34 1000000 0 207.73/207.81 c 103 194 212.78 35.30 6.03 1000000 0 209.13/209.29 c 106 193 216.93 32.77 6.62 1000000 0 210.63/210.75 c 124 264 218.28 33.68 6.48 1000000 0 212.13/212.23 c 115 225 222.30 39.61 5.61 1000000 0 213.63/213.70 c 121 232 213.98 34.58 6.19 1000000 0 215.03/215.17 c 133 216 222.08 38.37 5.79 1000000 0 216.53/216.64 c 110 173 215.83 35.53 6.07 1000000 0 218.02/218.12 c 125 233 219.03 35.68 6.14 1000000 0 219.42/219.59 c 112 279 222.54 34.37 6.47 1000000 0 220.93/221.06 c 119 165 215.83 34.85 6.19 1000000 0 222.42/222.53 c 119 219 220.00 35.03 6.28 1000000 0 223.92/224.00 c 117 171 229.26 37.86 6.06 1000000 0 225.33/225.47 c 114 218 221.81 35.14 6.31 1000000 0 226.82/226.94 c 123 177 219.00 33.32 6.57 1000000 0 228.32/228.41 c 112 216 215.08 34.67 6.20 1000000 0 229.73/229.89 c 119 232 222.14 34.56 6.43 1000000 0 231.22/231.36 c 119 239 218.66 36.70 5.96 1000000 0 232.72/232.84 c 117 193 214.41 37.14 5.77 1000000 0 234.23/234.31 c 112 246 214.71 36.41 5.90 1000000 0 235.62/235.79 c 129 267 212.18 33.68 6.30 1000000 0 237.12/237.27 c 100 168 214.48 38.26 5.61 1000000 0 238.62/238.73 c 116 192 223.17 36.89 6.05 1000000 0 240.12/240.20 c 122 208 219.53 36.02 6.09 1000000 0 241.52/241.68 c 111 245 223.82 36.02 6.21 1000000 0 243.02/243.15 c 124 170 218.09 36.15 6.03 1000000 0 244.51/244.62 c 100 195 219.62 37.51 5.85 1000000 0 246.01/246.11 c 107 190 209.78 31.80 6.60 1000000 0 247.42/247.59 c 111 190 212.06 34.69 6.11 1000000 0 248.91/249.07 c 119 192 217.18 37.50 5.79 1000000 0 250.41/250.54 c 103 219 220.23 34.80 6.33 1000000 0 251.91/252.02 c 113 190 214.70 37.10 5.79 1000000 0 253.31/253.49 c 119 162 223.67 36.51 6.13 1000000 0 254.81/254.96 c 111 222 212.54 37.10 5.73 1000000 0 256.31/256.44 c 120 213 218.81 34.10 6.42 1000000 0 257.81/257.91 c 113 247 217.45 36.07 6.03 1000000 0 259.21/259.39 c 126 275 223.05 38.15 5.85 1000000 0 260.71/260.86 c 115 197 216.85 39.25 5.52 1000000 0 262.21/262.34 c 118 211 221.90 35.48 6.25 1000000 0 263.71/263.81 c 123 225 215.87 35.51 6.08 1000000 0 265.11/265.28 c 120 169 217.19 33.24 6.53 1000000 0 266.61/266.75 c 117 256 222.79 37.72 5.91 1000000 0 268.11/268.22 c 111 197 212.22 38.15 5.56 1000000 0 269.51/269.68 c 124 221 224.63 35.36 6.35 1000000 0 271.01/271.17 c 112 194 209.71 32.89 6.38 1000000 0 272.51/272.64 c 131 189 221.55 35.82 6.18 1000000 0 274.01/274.12 c 123 223 215.21 33.28 6.47 1000000 0 275.41/275.58 c 126 174 223.16 33.35 6.69 1000000 0 276.91/277.06 c 126 188 219.12 35.87 6.11 1000000 0 278.41/278.55 c 124 200 219.83 35.09 6.27 1000000 0 279.91/280.01 c 128 221 225.59 35.92 6.28 1000000 0 281.31/281.49 c 130 219 223.14 34.91 6.39 1000000 0 282.81/282.96 c 121 190 217.93 37.22 5.86 1000000 0 284.30/284.43 c 123 207 221.38 34.59 6.40 1000000 0 285.81/285.90 c 118 220 212.27 35.84 5.92 1000000 0 287.20/287.37 c 118 210 224.90 38.75 5.80 1000000 0 288.70/288.84 c 110 220 219.34 36.88 5.95 1000000 0 290.21/290.31 c 119 251 224.29 33.95 6.61 1000000 0 291.60/291.79 c 119 190 212.89 34.27 6.21 1000000 0 293.10/293.26 c 118 225 216.87 35.71 6.07 1000000 0 294.61/294.75 c 116 209 211.13 35.53 5.94 1000000 0 296.10/296.23 c 135 186 221.17 35.09 6.30 1000000 0 297.60/297.71 c 121 220 213.80 37.12 5.76 1000000 0 299.01/299.20 c 114 214 216.71 34.73 6.24 1000000 0 300.50/300.67 c 109 210 214.18 34.71 6.17 1000000 0 302.00/302.15 c 114 201 219.47 36.07 6.08 1000000 0 303.50/303.63 c 109 206 210.66 39.37 5.35 1000000 0 305.00/305.11 c 118 200 210.62 35.95 5.86 1000000 0 306.50/306.60 c 124 224 214.82 34.34 6.26 1000000 0 307.90/308.08 c 116 225 222.43 33.06 6.73 1000000 0 309.40/309.54 c 110 173 218.48 36.05 6.06 1000000 0 310.90/311.01 c 124 239 223.94 36.09 6.21 1000000 0 312.30/312.49 c 126 245 222.40 36.17 6.15 1000000 0 313.80/313.97 c 117 188 218.36 32.95 6.63 1000000 0 315.30/315.45 c 128 238 217.95 31.21 6.98 1000000 0 316.79/316.93 c 123 201 218.23 36.05 6.05 1000000 0 318.29/318.40 c 100 174 215.34 35.10 6.13 1000000 0 319.69/319.88 c 112 200 211.16 36.92 5.72 1000000 0 321.19/321.36 c 121 226 214.43 34.57 6.20 1000000 0 322.69/322.83 c 104 232 222.53 34.65 6.42 1000000 0 324.19/324.31 c 127 216 219.08 33.93 6.46 1000000 0 325.69/325.80 c 115 212 213.64 34.10 6.26 1000000 0 327.09/327.26 c 122 190 218.89 36.92 5.93 1000000 0 328.59/328.73 c 119 240 217.93 35.12 6.21 1000000 0 330.09/330.21 c 112 170 212.83 35.09 6.06 1000000 0 331.49/331.69 c 128 196 212.88 33.88 6.28 1000000 0 332.99/333.15 c 120 216 221.24 37.59 5.89 1000000 0 334.49/334.62 c 116 235 214.58 35.26 6.09 1000000 0 335.89/336.09 c 113 188 219.90 31.26 7.04 1000000 0 337.39/337.57 c 110 243 216.44 34.85 6.21 1000000 0 338.89/339.04 c 116 205 223.95 34.55 6.48 1000000 0 340.39/340.51 c 121 198 222.96 38.92 5.73 1000000 0 341.79/342.00 c 123 205 219.58 33.15 6.62 1000000 0 343.29/343.47 c 114 228 223.63 31.32 7.14 1000000 0 344.79/344.95 c 106 175 212.70 34.22 6.22 1000000 0 346.29/346.44 c 124 235 212.56 35.98 5.91 1000000 0 347.79/347.90 c 104 196 218.63 37.53 5.83 1000000 0 349.19/349.38 c 111 237 212.59 39.76 5.35 1000000 0 350.69/350.85 c 116 200 218.37 38.56 5.66 1000000 0 352.19/352.33 c 122 237 217.07 33.84 6.42 1000000 0 353.68/353.81 c 115 244 219.01 37.85 5.79 1000000 0 355.09/355.29 c 115 219 211.64 38.71 5.47 1000000 0 356.58/356.77 c 123 187 223.10 35.81 6.23 1000000 0 358.08/358.25 c 116 209 211.43 38.06 5.56 1000000 0 359.59/359.72 c 110 240 223.90 39.60 5.65 1000000 0 361.08/361.20 c 121 176 214.12 37.00 5.79 1000000 0 362.48/362.68 c 110 194 208.19 35.96 5.79 1000000 0 363.99/364.14 c 128 245 220.40 35.35 6.23 1000000 0 365.48/365.62 c 105 232 220.29 36.17 6.09 1000000 0 366.88/367.09 c 123 163 220.78 31.04 7.11 1000000 0 368.39/368.56 c 113 214 217.35 35.95 6.05 1000000 0 369.88/370.04 c 120 249 215.84 37.05 5.83 1000000 0 371.38/371.53 c 99 173 204.04 36.84 5.54 1000000 0 372.88/373.01 c 122 213 215.73 34.48 6.26 1000000 0 374.28/374.48 c 120 216 219.95 34.30 6.41 1000000 0 375.78/375.95 c 115 200 218.00 32.54 6.70 1000000 0 377.28/377.42 c 127 186 225.71 37.69 5.99 1000000 0 378.68/378.89 c 95 175 218.97 32.38 6.76 1000000 0 380.18/380.37 c 109 190 217.26 32.84 6.62 1000000 0 381.68/381.84 c 131 216 216.00 32.45 6.66 1000000 0 383.17/383.31 c 140 238 224.72 32.28 6.96 1000000 0 384.57/384.78 c 113 228 215.48 39.11 5.51 1000000 0 386.07/386.26 c 115 188 211.22 39.80 5.31 1000000 0 387.57/387.74 c 120 205 211.92 32.43 6.54 1000000 0 389.07/389.21 c 109 224 223.36 35.82 6.24 1000000 0 390.47/390.69 c 124 140 217.03 36.16 6.00 1000000 0 391.97/392.16 c 114 199 218.04 36.25 6.02 1000000 0 393.47/393.64 c 108 155 211.77 32.60 6.50 1000000 0 394.97/395.11 c 114 242 218.72 35.33 6.19 1000000 0 396.47/396.60 c 113 186 207.57 36.26 5.72 1000000 0 397.87/398.08 c 124 217 219.86 36.64 6.00 1000000 0 399.37/399.54 c 127 215 221.39 35.61 6.22 1000000 0 400.87/401.02 c 114 226 213.75 34.34 6.22 1000000 0 402.38/402.50 c 119 173 212.78 37.18 5.72 1000000 0 403.77/403.97 c 109 190 215.91 37.49 5.76 1000000 0 405.27/405.45 c 112 232 222.77 39.19 5.68 1000000 0 406.78/406.93 c 129 227 223.26 34.21 6.53 1000000 0 408.27/408.42 c 112 208 214.40 38.50 5.57 1000000 0 409.67/409.89 c 117 214 221.89 35.90 6.18 1000000 0 411.17/411.38 c 105 164 207.47 37.50 5.53 1000000 0 412.67/412.84 c 127 216 221.30 35.08 6.31 1000000 0 414.17/414.33 c 114 193 206.90 34.40 6.02 1000000 0 415.57/415.80 c 125 258 222.68 35.85 6.21 1000000 0 417.07/417.27 c 118 202 219.19 35.58 6.16 1000000 0 418.56/418.74 c 110 229 216.09 34.17 6.32 1000000 0 420.07/420.20 c 119 232 219.86 36.91 5.96 1000000 0 421.46/421.69 c 119 214 218.13 33.62 6.49 1000000 0 422.96/423.15 c 114 219 221.61 35.98 6.16 1000000 0 424.47/424.61 c 114 176 218.59 35.51 6.16 1000000 0 425.86/426.08 c 122 182 221.63 34.41 6.44 1000000 0 427.36/427.56 c 119 219 214.85 40.77 5.27 1000000 0 428.87/429.03 c 118 171 220.66 35.25 6.26 1000000 0 430.36/430.50 c 131 255 223.26 32.38 6.89 1000000 0 431.76/431.97 c 119 249 216.14 36.72 5.89 1000000 0 433.27/433.46 c 112 196 213.44 31.64 6.75 1000000 0 434.76/434.92 c 137 216 225.95 33.08 6.83 1000000 0 436.16/436.38 c 134 249 224.62 36.47 6.16 1000000 0 437.67/437.84 c 107 192 217.53 35.38 6.15 1000000 0 439.16/439.31 c 110 191 214.95 40.74 5.28 1000000 0 440.56/440.79 c 109 205 217.12 35.84 6.06 1000000 0 442.06/442.27 c 115 220 224.54 35.19 6.38 1000000 0 443.56/443.74 c 121 186 212.93 34.90 6.10 1000000 0 445.06/445.21 c 116 180 215.12 36.45 5.90 1000000 0 446.46/446.69 c 127 211 219.10 34.70 6.31 1000000 0 447.95/448.16 c 115 245 218.19 40.36 5.41 1000000 0 449.45/449.64 c 128 206 220.98 35.89 6.16 1000000 0 450.95/451.13 c 124 193 222.09 29.08 7.64 1000000 0 452.45/452.61 c 109 211 213.37 38.57 5.53 1000000 0 453.85/454.07 c 104 179 220.96 35.16 6.28 1000000 0 455.35/455.53 c 118 233 218.37 37.64 5.80 1000000 0 456.85/457.01 c 121 215 212.91 31.77 6.70 1000000 0 458.25/458.50 c 115 192 209.36 36.81 5.69 1000000 0 459.75/459.97 c 126 175 212.84 30.21 7.05 1000000 0 461.25/461.45 c 113 190 218.82 35.39 6.18 1000000 0 462.75/462.92 c 115 214 220.24 37.44 5.88 1000000 0 464.15/464.39 c 115 239 217.25 36.06 6.03 1000000 0 465.65/465.87 c 119 205 217.86 31.86 6.84 1000000 0 467.15/467.34 c 118 178 214.16 34.12 6.28 1000000 0 468.65/468.82 c 113 223 216.00 33.19 6.51 1000000 0 470.05/470.29 c 120 269 223.51 35.21 6.35 1000000 0 471.55/471.76 c 109 189 217.32 36.92 5.89 1000000 0 473.05/473.23 c 120 232 215.95 34.89 6.19 1000000 0 474.55/474.70 c 119 198 220.73 32.48 6.80 1000000 0 475.95/476.17 c 115 145 212.32 31.35 6.77 1000000 0 477.45/477.64 c 124 226 221.95 37.36 5.94 1000000 0 478.95/479.12 c 124 192 219.76 31.16 7.05 1000000 0 480.35/480.59 c 110 240 215.94 34.75 6.21 1000000 0 481.84/482.06 c 117 186 213.77 35.07 6.10 1000000 0 483.34/483.53 c 119 234 220.93 35.99 6.14 1000000 0 484.85/485.00 c 105 195 216.42 35.16 6.16 1000000 0 486.24/486.49 c 116 218 210.59 36.30 5.80 1000000 0 487.74/487.95 c 131 253 227.46 35.25 6.45 1000000 0 489.25/489.42 c 119 223 214.01 36.33 5.89 1000000 0 490.74/490.91 c 112 219 219.02 33.53 6.53 1000000 0 492.14/492.38 c 115 264 219.49 33.94 6.47 1000000 0 493.65/493.83 c 114 212 221.35 35.77 6.19 1000000 0 495.14/495.30 c 114 206 219.44 36.58 6.00 1000000 0 496.54/496.78 c 105 160 221.48 34.87 6.35 1000000 0 498.05/498.25 c 123 196 218.81 33.36 6.56 1000000 0 499.54/499.75 c 99 206 211.37 36.44 5.80 1000000 0 501.04/501.22 c 125 192 216.12 34.06 6.35 1000000 0 502.45/502.70 c 93 217 214.78 36.42 5.90 1000000 0 503.94/504.18 c 113 232 208.99 35.90 5.82 1000000 0 505.44/505.64 c 119 199 215.79 35.46 6.09 1000000 0 506.94/507.14 c 111 186 209.39 40.38 5.19 1000000 0 508.44/508.61 c 114 184 224.18 35.25 6.36 1000000 0 509.84/510.08 c 123 219 216.73 35.13 6.17 1000000 0 511.34/511.54 c 107 211 222.05 36.42 6.10 1000000 0 512.84/513.01 c 121 258 213.80 33.85 6.32 1000000 0 514.24/514.49 c 119 167 212.69 34.70 6.13 1000000 0 515.74/515.97 c 120 234 218.17 35.42 6.16 1000000 0 517.24/517.44 c 124 212 212.91 34.00 6.26 1000000 0 518.73/518.91 c 118 201 218.20 37.82 5.77 1000000 0 520.14/520.38 c 122 214 221.50 33.78 6.56 1000000 0 521.63/521.85 c 104 257 210.01 35.98 5.84 1000000 0 523.13/523.32 c 120 237 221.79 36.80 6.03 1000000 0 524.54/524.79 c 109 191 217.52 37.24 5.84 1000000 0 526.03/526.27 c 121 174 214.03 35.61 6.01 1000000 0 527.53/527.75 c 118 220 215.21 35.12 6.13 1000000 0 529.03/529.22 c 113 198 216.62 36.98 5.86 1000000 0 530.43/530.68 c 105 230 225.45 32.95 6.84 1000000 0 531.93/532.15 c 126 213 224.22 31.30 7.16 1000000 0 533.43/533.62 c 117 221 216.65 34.95 6.20 1000000 0 534.83/535.09 c 126 191 224.57 36.29 6.19 1000000 0 536.33/536.57 c 112 176 212.45 35.07 6.06 1000000 0 537.83/538.03 c 128 211 223.24 37.81 5.90 1000000 0 539.33/539.50 c 119 184 214.70 34.69 6.19 1000000 0 540.73/540.98 c 113 201 215.02 33.50 6.42 1000000 0 542.23/542.47 c 122 193 212.11 35.80 5.92 1000000 0 543.73/543.94 c 123 177 214.09 33.56 6.38 1000000 0 545.23/545.40 c 126 220 222.74 35.89 6.21 1000000 0 546.63/546.88 c 108 232 210.11 38.00 5.53 1000000 0 548.13/548.34 c 122 184 217.00 36.71 5.91 1000000 0 549.62/549.82 c 115 225 212.56 36.72 5.79 1000000 0 551.02/551.27 c 124 214 227.06 35.61 6.38 1000000 0 552.52/552.75 c 114 227 213.25 38.07 5.60 1000000 0 554.02/554.22 c 127 191 220.50 34.57 6.38 1000000 0 555.52/555.71 c 134 210 220.11 33.82 6.51 1000000 0 556.92/557.17 c 110 256 214.23 36.05 5.94 1000000 0 558.42/558.65 c 122 210 216.75 33.35 6.50 1000000 0 559.92/560.13 c 113 208 218.04 34.64 6.29 1000000 0 561.42/561.62 c 111 192 216.76 38.16 5.68 1000000 0 562.82/563.09 c 110 224 216.13 32.18 6.72 1000000 0 564.32/564.56 c 121 191 219.76 36.21 6.07 1000000 0 565.82/566.03 c 115 257 223.06 32.92 6.78 1000000 0 567.32/567.50 c 119 227 218.99 38.31 5.72 1000000 0 568.72/568.97 c 123 185 220.59 36.59 6.03 1000000 0 570.22/570.44 c 132 227 218.38 31.76 6.88 1000000 0 571.72/571.92 c 116 270 215.78 34.78 6.20 1000000 0 573.22/573.40 c 120 208 219.22 37.18 5.90 1000000 0 574.62/574.88 c 121 233 215.87 32.18 6.71 1000000 0 576.12/576.35 c 126 223 218.06 33.70 6.47 1000000 0 577.61/577.83 c 109 170 219.73 38.05 5.78 1000000 0 579.11/579.32 c 123 190 213.02 36.73 5.80 1000000 0 580.52/580.80 c 121 207 216.48 32.95 6.57 1000000 0 582.01/582.28 c 110 205 214.56 38.75 5.54 1000000 0 583.51/583.74 c 118 172 219.91 36.00 6.11 1000000 0 585.02/585.22 c 115 193 213.05 34.97 6.09 1000000 0 586.41/586.69 c 116 181 218.81 39.20 5.58 1000000 0 587.91/588.17 c 103 258 210.81 38.74 5.44 1000000 0 589.42/589.64 c 114 209 216.52 34.16 6.34 1000000 0 590.91/591.12 c 127 250 219.98 34.61 6.36 1000000 0 592.31/592.59 c 105 174 214.47 35.28 6.08 1000000 0 593.82/594.07 c 124 266 219.30 33.32 6.58 1000000 0 595.31/595.53 c 130 187 222.93 30.89 7.22 1000000 0 596.81/597.00 c 104 227 213.87 33.22 6.44 1000000 0 598.22/598.47 c 117 219 220.84 35.88 6.15 1000000 0 599.71/599.95 c 117 214 214.04 33.17 6.45 1000000 0 601.21/601.43 c 111 213 213.10 36.78 5.79 1000000 0 602.70/602.91 c 123 201 220.77 37.50 5.89 1000000 0 604.10/604.39 c 126 202 215.26 29.69 7.25 1000000 0 605.60/605.86 c 116 216 216.73 36.51 5.94 1000000 0 607.10/607.33 c 126 209 218.65 32.13 6.80 1000000 0 608.60/608.81 c 124 276 221.18 38.09 5.81 1000000 0 610.00/610.28 c 108 235 212.76 32.17 6.61 1000000 0 611.50/611.75 c 117 198 219.12 37.18 5.89 1000000 0 613.00/613.22 c 123 263 220.75 36.16 6.10 1000000 0 614.50/614.71 c 116 239 216.03 36.73 5.88 1000000 0 615.90/616.18 c 116 225 221.04 35.20 6.28 1000000 0 617.40/617.66 c 109 182 214.79 36.28 5.92 1000000 0 618.90/619.13 c 123 234 223.74 38.49 5.81 1000000 0 620.40/620.61 c 110 180 215.36 38.21 5.64 1000000 0 621.80/622.08 c 112 215 214.38 35.49 6.04 1000000 0 623.30/623.54 c 117 221 211.24 36.53 5.78 1000000 0 624.80/625.02 c 126 223 216.55 33.56 6.45 1000000 0 626.30/626.50 c 129 252 217.11 31.04 6.99 1000000 0 627.70/627.97 c 128 230 220.69 36.01 6.13 1000000 0 629.20/629.45 c 120 212 215.56 32.38 6.66 1000000 0 630.70/630.92 c 112 180 218.97 35.79 6.12 1000000 0 632.10/632.38 c 117 198 222.82 36.49 6.11 1000000 0 633.60/633.86 c 117 208 221.08 35.28 6.27 1000000 0 635.10/635.32 c 127 178 221.83 37.68 5.89 1000000 0 636.60/636.81 c 107 270 210.23 35.24 5.97 1000000 0 638.00/638.27 c 106 167 216.30 33.18 6.52 1000000 0 639.49/639.75 c 106 175 214.84 38.52 5.58 1000000 0 641.00/641.23 c 126 200 211.91 33.90 6.25 1000000 0 642.49/642.71 c 120 140 217.44 37.10 5.86 1000000 0 643.89/644.17 c 124 219 223.03 35.45 6.29 1000000 0 645.40/645.66 c 113 214 212.92 32.91 6.47 1000000 0 646.89/647.14 c 121 237 222.96 37.72 5.91 1000000 0 648.39/648.61 c 118 228 222.07 33.63 6.60 1000000 0 649.80/650.09 c 107 217 213.30 33.89 6.29 1000000 0 651.29/651.57 c 113 212 214.29 36.17 5.92 1000000 0 652.79/653.04 c 107 191 215.68 38.16 5.65 1000000 0 654.30/654.51 c 109 196 210.97 34.91 6.04 1000000 0 655.69/655.98 c 116 196 215.49 38.46 5.60 1000000 0 657.19/657.45 c 122 206 215.12 33.34 6.45 1000000 0 658.70/658.93 c 128 217 217.79 32.97 6.61 1000000 0 660.19/660.40 c 119 219 215.29 35.11 6.13 1000000 0 661.59/661.88 c 118 180 214.43 35.49 6.04 1000000 0 663.09/663.34 c 126 225 226.83 34.90 6.50 1000000 0 664.59/664.80 c 115 192 223.18 38.02 5.87 1000000 0 665.99/666.28 c 112 185 219.48 36.33 6.04 1000000 0 667.49/667.76 c 126 196 213.43 36.60 5.83 1000000 0 668.99/669.25 c 115 252 212.85 35.50 6.00 1000000 0 670.49/670.72 c 118 182 217.70 35.28 6.17 1000000 0 671.98/672.20 c 111 264 218.11 36.08 6.04 1000000 0 673.38/673.68 c 129 200 220.55 36.14 6.10 1000000 0 674.88/675.17 c 105 190 211.01 35.73 5.91 1000000 0 676.38/676.64 c 116 250 218.57 34.15 6.40 1000000 0 677.88/678.11 c 118 253 216.52 38.18 5.67 1000000 0 679.28/679.59 c 130 193 222.11 36.17 6.14 1000000 0 680.78/681.06 c 114 209 217.40 33.73 6.44 1000000 0 682.28/682.54 c 118 300 215.99 35.15 6.14 1000000 0 683.78/684.01 c 132 217 225.04 32.52 6.92 1000000 0 685.18/685.48 c 111 195 215.21 35.19 6.12 1000000 0 686.68/686.96 c 124 178 217.93 36.12 6.03 1000000 0 688.18/688.42 c 114 250 222.82 35.59 6.26 1000000 0 689.58/689.89 c 104 177 217.38 34.67 6.27 1000000 0 691.08/691.37 c 121 247 217.31 32.32 6.72 1000000 0 692.58/692.84 c 123 247 216.55 37.22 5.82 1000000 0 694.08/694.31 c 109 184 220.40 37.00 5.96 1000000 0 695.58/695.80 c 119 234 215.84 36.09 5.98 1000000 0 696.98/697.27 c 104 224 216.35 37.47 5.77 1000000 0 698.48/698.75 c 126 232 218.84 38.07 5.75 1000000 0 699.98/700.22 c 117 199 223.10 34.87 6.40 1000000 0 701.48/701.71 c 113 201 214.64 34.37 6.24 1000000 0 702.88/703.18 c 128 181 221.89 35.93 6.18 1000000 0 704.37/704.64 c 134 237 228.57 35.17 6.50 1000000 0 705.88/706.11 c 120 233 217.82 34.83 6.25 1000000 0 707.27/707.58 c 111 254 217.58 35.00 6.22 1000000 0 708.77/709.06 c 118 193 219.51 33.73 6.51 1000000 0 710.28/710.53 c 111 262 221.61 32.46 6.83 1000000 0 711.77/712.00 c 107 212 215.35 32.74 6.58 1000000 0 713.17/713.49 c 108 204 214.51 34.58 6.20 1000000 0 714.68/714.97 c 119 293 217.50 37.18 5.85 1000000 0 716.17/716.45 c 105 200 216.31 39.88 5.42 1000000 0 717.67/717.94 c 121 209 212.37 36.25 5.86 1000000 0 719.18/719.42 c 112 171 217.70 36.89 5.90 1000000 0 720.57/720.89 c 126 255 223.20 34.19 6.53 1000000 0 722.07/722.35 c 109 202 219.95 35.34 6.22 1000000 0 723.58/723.81 c 115 248 226.18 39.97 5.66 1000000 0 724.97/725.28 c 129 250 226.33 35.79 6.32 1000000 0 726.47/726.76 c 109 207 217.55 34.17 6.37 1000000 0 727.98/728.22 c 123 212 218.68 34.17 6.40 1000000 0 729.47/729.70 c 110 211 222.04 39.25 5.66 1000000 0 730.87/731.16 c 98 221 219.62 35.18 6.24 1000000 0 732.37/732.64 c 125 186 217.96 34.43 6.33 1000000 0 733.87/734.10 c 112 196 219.67 37.34 5.88 1000000 0 735.27/735.60 c 117 160 217.03 33.92 6.40 1000000 0 736.77/737.06 c 119 239 219.20 35.17 6.23 1000000 0 738.26/738.53 c 110 183 226.32 34.32 6.59 1000000 0 739.76/740.00 c 122 187 221.23 34.08 6.49 1000000 0 741.17/741.47 c 114 228 227.28 33.75 6.73 1000000 0 742.66/742.93 c 118 196 219.64 34.55 6.36 1000000 0 744.06/744.39 c 117 215 221.27 37.61 5.88 1000000 0 745.57/745.87 c 95 188 215.61 37.57 5.74 1000000 0 747.06/747.35 c 109 229 217.37 33.41 6.51 1000000 0 748.56/748.83 c 121 176 218.46 37.03 5.90 1000000 0 750.06/750.30 c 120 219 214.09 34.38 6.23 1000000 0 751.46/751.78 c 129 185 217.16 38.55 5.63 1000000 0 752.96/753.26 c 108 190 215.65 33.80 6.38 1000000 0 754.46/754.73 c 125 192 221.24 33.52 6.60 1000000 0 755.96/756.21 c 126 202 221.79 35.19 6.30 1000000 0 757.36/757.68 c 128 211 220.60 32.55 6.78 1000000 0 758.86/759.15 c 119 202 220.58 32.23 6.84 1000000 0 760.36/760.61 c 119 226 220.16 33.32 6.61 1000000 0 761.76/762.08 c 112 224 217.37 37.84 5.74 1000000 0 763.26/763.55 c 120 159 218.28 33.46 6.52 1000000 0 764.76/765.02 c 129 239 222.64 31.11 7.16 1000000 0 766.16/766.49 c 130 241 227.50 34.21 6.65 1000000 0 767.66/767.97 c 112 184 212.91 36.37 5.85 1000000 0 769.16/769.44 c 125 223 215.99 33.96 6.36 1000000 0 770.66/770.92 c 119 219 218.84 32.88 6.66 1000000 0 772.05/772.39 c 133 206 223.13 31.27 7.13 1000000 0 773.55/773.86 c 126 176 221.04 31.54 7.01 1000000 0 775.05/775.35 c 124 233 216.95 36.72 5.91 1000000 0 776.55/776.83 c 122 212 212.49 32.93 6.45 1000000 0 778.05/778.31 c 127 229 219.91 33.20 6.62 1000000 0 779.45/779.77 c 120 260 218.49 36.66 5.96 1000000 0 780.95/781.24 c 124 182 217.38 32.35 6.72 1000000 0 782.45/782.73 c 105 204 205.40 38.39 5.35 1000000 0 783.85/784.19 c 124 200 219.31 32.53 6.74 1000000 0 785.35/785.66 c 120 199 220.10 37.34 5.89 1000000 0 786.85/787.13 c 125 202 225.13 39.21 5.74 1000000 0 788.25/788.59 c 121 272 218.62 34.26 6.38 1000000 0 789.75/790.06 c 127 219 222.99 38.16 5.84 1000000 0 791.25/791.53 c 105 203 217.00 38.17 5.68 1000000 0 792.75/793.01 c 127 186 218.38 37.14 5.88 1000000 0 794.25/794.50 c 108 194 211.05 34.90 6.05 1000000 0 795.65/795.97 c 129 196 219.30 32.51 6.75 1000000 0 797.15/797.47 c 100 198 212.39 40.15 5.29 1000000 0 798.65/798.95 c 116 190 213.08 36.05 5.91 1000000 0 800.15/800.42 c 115 210 219.76 33.74 6.51 1000000 0 801.55/801.90 c 108 232 218.34 35.30 6.19 1000000 0 803.04/803.38 c 118 206 215.94 36.60 5.90 1000000 0 804.54/804.85 c 124 181 212.85 33.38 6.38 1000000 0 806.05/806.32 c 120 222 221.36 36.62 6.04 1000000 0 807.44/807.78 c 129 239 227.71 34.89 6.53 1000000 0 808.94/809.25 c 116 184 217.33 34.92 6.22 1000000 0 810.45/810.73 c 112 178 215.79 36.51 5.91 1000000 0 811.84/812.19 c 127 197 224.05 32.69 6.85 1000000 0 813.34/813.66 c 130 212 220.72 29.39 7.51 1000000 0 814.85/815.14 c 115 214 214.11 38.58 5.55 1000000 0 816.34/816.60 c 120 175 222.42 33.09 6.72 1000000 0 817.74/818.09 c 114 219 214.17 36.73 5.83 1000000 0 819.25/819.56 c 117 212 217.45 35.10 6.20 1000000 0 820.74/821.03 c 106 244 211.31 38.67 5.46 1000000 0 822.24/822.50 c 120 218 219.76 37.57 5.85 1000000 0 823.64/823.98 c 117 238 209.52 32.52 6.44 1000000 0 825.14/825.46 c 116 201 220.06 34.98 6.29 1000000 0 826.64/826.93 c 133 197 218.50 32.67 6.69 1000000 0 828.04/828.39 c 122 219 219.93 34.00 6.47 1000000 0 829.54/829.87 c 110 179 219.35 35.28 6.22 1000000 0 831.04/831.33 c 118 193 215.73 31.88 6.77 1000000 0 832.44/832.79 c 127 205 217.94 36.60 5.95 1000000 0 833.94/834.27 c 111 260 214.19 34.49 6.21 1000000 0 835.43/835.73 c 123 236 228.19 36.63 6.23 1000000 0 836.93/837.22 c 119 195 218.04 38.29 5.69 1000000 0 838.43/838.70 c 101 206 214.30 38.19 5.61 1000000 0 839.83/840.18 c 106 253 217.08 39.76 5.46 1000000 0 841.33/841.65 c 111 288 221.05 40.17 5.50 1000000 0 842.83/843.12 c 110 187 217.34 34.53 6.29 1000000 0 844.23/844.58 c 109 165 216.68 30.49 7.11 1000000 0 845.73/846.04 c 133 202 228.53 35.36 6.46 1000000 0 847.23/847.52 c 122 251 222.23 36.80 6.04 1000000 0 848.73/849.00 c 105 217 217.86 34.04 6.40 1000000 0 850.13/850.48 c 96 220 215.83 40.49 5.33 1000000 0 851.63/851.95 c 120 238 220.13 39.80 5.53 1000000 0 853.13/853.43 c 111 242 216.34 37.40 5.78 1000000 0 854.63/854.90 c 120 201 216.97 33.27 6.52 1000000 0 856.03/856.39 c 127 218 215.46 35.10 6.14 1000000 0 857.53/857.87 c 108 213 211.06 31.58 6.68 1000000 0 859.03/859.35 c 105 229 214.29 35.69 6.00 1000000 0 860.53/860.81 c 118 185 217.39 38.32 5.67 1000000 0 861.92/862.29 c 123 239 221.54 37.19 5.96 1000000 0 863.42/863.77 c 123 168 219.00 34.73 6.31 1000000 0 864.92/865.23 c 129 208 222.97 32.28 6.91 1000000 0 866.43/866.71 c 105 220 215.19 34.32 6.27 1000000 0 867.82/868.18 c 124 224 215.14 35.77 6.01 1000000 0 869.32/869.64 c 124 239 221.21 37.83 5.85 1000000 0 870.83/871.11 c 125 180 216.19 35.07 6.16 1000000 0 872.22/872.59 c 132 198 222.92 38.81 5.74 1000000 0 873.72/874.05 c 115 212 219.72 39.19 5.61 1000000 0 875.23/875.52 c 99 185 213.45 35.04 6.09 1000000 0 876.72/877.01 c 112 195 209.44 32.01 6.54 1000000 0 878.12/878.48 c 123 237 217.20 36.09 6.02 1000000 0 879.63/879.96 c 121 230 215.68 33.40 6.46 1000000 0 881.12/881.44 c 133 247 224.95 38.22 5.89 1000000 0 882.62/882.91 c 115 211 215.89 36.90 5.85 1000000 0 884.02/884.38 c 83 198 219.88 37.84 5.81 1000000 0 885.52/885.85 c 115 210 217.33 39.29 5.53 1000000 0 887.02/887.32 c 114 176 218.06 35.46 6.15 1000000 0 888.42/888.79 c 115 223 216.70 36.71 5.90 1000000 0 889.92/890.27 c 114 197 218.73 32.21 6.79 1000000 0 891.42/891.73 c 112 203 216.96 38.63 5.62 1000000 0 892.82/893.20 c 119 203 222.84 39.62 5.62 1000000 0 894.32/894.67 c 123 219 215.19 37.39 5.76 1000000 0 895.82/896.14 c 119 171 219.37 35.01 6.27 1000000 0 897.32/897.61 c 125 232 213.08 33.21 6.42 1000000 0 898.71/899.09 c 112 166 215.05 32.40 6.64 1000000 0 900.21/900.59 c 115 222 211.57 35.86 5.90 1000000 0 901.72/902.06 c 121 198 220.20 36.39 6.05 1000000 0 903.21/903.54 c 121 178 213.22 36.19 5.89 1000000 0 904.71/905.02 c 128 200 220.26 35.79 6.15 1000000 0 906.12/906.48 c 114 218 217.01 35.35 6.14 1000000 0 907.61/907.96 c 108 195 218.98 38.86 5.64 1000000 0 909.11/909.42 c 125 195 221.27 36.11 6.13 1000000 0 910.61/910.90 c 115 212 222.28 37.27 5.96 1000000 0 912.01/912.36 c 100 230 217.38 34.35 6.33 1000000 0 913.51/913.83 c 116 229 216.69 34.32 6.31 1000000 0 915.01/915.33 c 102 191 208.37 36.97 5.64 1000000 0 916.41/916.80 c 125 232 218.90 32.69 6.70 1000000 0 917.91/918.28 c 118 195 218.80 36.82 5.94 1000000 0 919.41/919.75 c 128 260 220.09 35.41 6.22 1000000 0 920.91/921.22 c 122 172 221.96 38.28 5.80 1000000 0 922.30/922.69 c 112 181 220.59 35.52 6.21 1000000 0 923.80/924.15 c 124 184 213.69 37.58 5.69 1000000 0 925.30/925.62 c 109 225 217.95 36.61 5.95 1000000 0 926.70/927.09 c 115 245 214.41 37.52 5.71 1000000 0 928.20/928.57 c 109 211 218.80 38.44 5.69 1000000 0 929.70/930.04 c 119 172 220.01 35.78 6.15 1000000 0 931.20/931.51 c 121 189 216.13 35.16 6.15 1000000 0 932.60/932.97 c 119 244 220.12 32.60 6.75 1000000 0 934.10/934.45 c 119 272 217.25 33.84 6.42 1000000 0 935.60/935.93 c 118 239 214.49 34.80 6.16 1000000 0 937.00/937.39 c 131 235 222.00 31.37 7.08 1000000 0 938.50/938.86 c 128 199 221.31 35.24 6.28 1000000 0 940.00/940.33 c 91 185 218.39 34.87 6.26 1000000 0 941.50/941.81 c 119 205 215.23 35.30 6.10 1000000 0 942.90/943.28 c 126 210 218.88 34.37 6.37 1000000 0 944.40/944.76 c 117 212 221.19 34.30 6.45 1000000 0 945.90/946.23 c 122 160 215.60 34.07 6.33 1000000 0 947.40/947.70 c 120 241 216.85 32.67 6.64 1000000 0 948.80/949.18 c 126 186 216.50 34.66 6.25 1000000 0 950.30/950.64 c 120 242 218.77 34.41 6.36 1000000 0 951.80/952.12 c 119 213 213.43 32.89 6.49 1000000 0 953.30/953.60 c 125 219 217.87 36.48 5.97 1000000 0 954.69/955.08 c 121 184 214.72 35.57 6.04 1000000 0 956.19/956.56 c 111 219 210.93 34.87 6.05 1000000 0 957.70/958.03 c 113 202 216.97 38.02 5.71 1000000 0 959.19/959.51 c 104 207 210.52 34.83 6.04 1000000 0 960.59/960.96 c 112 263 226.48 38.55 5.87 1000000 0 962.10/962.44 c 119 224 222.60 33.71 6.60 1000000 0 963.59/963.92 c 128 208 217.13 32.94 6.59 1000000 0 964.99/965.39 c 132 168 216.25 35.47 6.10 1000000 0 966.50/966.88 c 100 185 213.50 36.23 5.89 1000000 0 967.99/968.36 c 120 247 221.52 38.24 5.79 1000000 0 969.49/969.83 c 116 196 219.98 37.26 5.90 1000000 0 970.90/971.30 c 128 222 224.08 35.06 6.39 1000000 0 972.39/972.77 c 114 194 212.19 34.54 6.14 1000000 0 973.89/974.24 c 113 271 218.23 35.74 6.11 1000000 0 975.40/975.72 c 119 254 217.49 35.80 6.08 1000000 0 976.79/977.19 c 124 259 218.17 36.00 6.06 1000000 0 978.29/978.67 c 118 184 213.77 33.22 6.43 1000000 0 979.79/980.15 c 115 227 209.56 34.12 6.14 1000000 0 981.29/981.63 c 117 263 219.57 34.56 6.35 1000000 0 982.79/983.10 c 120 195 222.94 33.65 6.63 1000000 0 984.19/984.57 c 122 208 216.65 36.71 5.90 1000000 0 985.69/986.05 c 123 229 219.60 35.80 6.13 1000000 0 987.18/987.51 c 119 205 217.95 36.19 6.02 1000000 0 988.59/988.98 c 109 259 220.00 35.14 6.26 1000000 0 990.08/990.44 c 115 222 220.11 34.63 6.36 1000000 0 991.58/991.92 c 119 209 215.44 33.07 6.51 1000000 0 992.99/993.39 c 116 192 220.98 39.35 5.62 1000000 0 994.48/994.87 c 121 198 220.23 36.44 6.04 1000000 0 995.98/996.34 c 103 217 218.10 33.31 6.55 1000000 0 997.48/997.80 c 127 174 220.30 33.54 6.57 1000000 0 998.88/999.27 c 111 245 214.53 33.63 6.38 1000000 0 1000.38/1000.75 c 125 271 217.06 38.30 5.67 1000000 0 1001.88/1002.23 c 124 206 217.47 38.10 5.71 1000000 0 1003.38/1003.70 c 113 200 217.68 34.76 6.26 1000000 0 1004.78/1005.16 c 126 261 222.10 33.46 6.64 1000000 0 1006.28/1006.64 c 132 212 218.75 36.31 6.02 1000000 0 1007.78/1008.10 c 127 222 222.47 32.12 6.93 1000000 0 1009.18/1009.57 c 118 218 221.72 39.10 5.67 1000000 0 1010.68/1011.04 c 120 198 212.16 34.67 6.12 1000000 0 1012.18/1012.51 c 117 220 219.43 33.27 6.60 1000000 0 1013.58/1013.98 c 128 203 221.40 37.60 5.89 1000000 0 1015.08/1015.44 c 125 198 219.98 37.02 5.94 1000000 0 1016.58/1016.92 c 116 280 213.38 31.42 6.79 1000000 0 1018.08/1018.40 c 121 242 222.01 36.93 6.01 1000000 0 1019.48/1019.86 c 110 259 219.50 37.43 5.86 1000000 0 1020.97/1021.33 c 125 215 217.17 31.57 6.88 1000000 0 1022.47/1022.80 c 120 179 220.81 36.18 6.10 1000000 0 1023.87/1024.28 c 121 233 215.35 36.85 5.84 1000000 0 1025.37/1025.74 c 106 243 217.10 38.06 5.70 1000000 0 1026.87/1027.22 c 120 207 217.41 33.30 6.53 1000000 0 1028.27/1028.68 c 130 209 221.72 37.11 5.98 1000000 0 1029.77/1030.16 c 122 195 214.37 35.33 6.07 1000000 0 1031.27/1031.63 c 120 207 222.37 34.68 6.41 1000000 0 1032.77/1033.11 c 115 218 210.52 34.72 6.06 1000000 0 1034.17/1034.58 c 112 200 218.12 34.63 6.30 1000000 0 1035.67/1036.06 c 115 221 213.56 33.28 6.42 1000000 0 1037.17/1037.55 c 125 188 218.30 38.01 5.74 1000000 0 1038.67/1039.02 c 104 203 218.86 38.04 5.75 1000000 0 1040.07/1040.49 c 114 206 218.16 30.22 7.22 1000000 0 1041.57/1041.96 c 123 243 218.56 33.89 6.45 1000000 0 1043.07/1043.43 c 127 212 220.72 35.33 6.25 1000000 0 1044.58/1044.91 c 125 186 218.05 31.38 6.95 1000000 0 1045.97/1046.38 c 125 248 226.92 36.01 6.30 1000000 0 1047.47/1047.84 c 121 159 215.67 35.77 6.03 1000000 0 1048.97/1049.31 c 116 275 221.14 42.93 5.15 1000000 0 1050.37/1050.77 c 117 237 215.52 36.72 5.87 1000000 0 1051.87/1052.25 c 115 166 211.47 36.74 5.76 1000000 0 1053.37/1053.72 c 122 214 221.27 36.02 6.14 1000000 0 1054.86/1055.20 c 111 190 212.14 34.62 6.13 1000000 0 1056.26/1056.68 c 109 155 213.05 36.63 5.82 1000000 0 1057.77/1058.15 c 111 208 217.08 37.19 5.84 1000000 0 1059.26/1059.62 c 111 161 217.68 36.51 5.96 1000000 0 1060.66/1061.09 c 114 192 218.88 31.46 6.96 1000000 0 1062.17/1062.57 c 117 196 214.10 35.59 6.02 1000000 0 1063.66/1064.04 c 118 246 221.00 33.85 6.53 1000000 0 1065.16/1065.54 c 97 253 208.91 39.28 5.32 1000000 0 1066.67/1067.01 c 117 228 218.70 35.03 6.24 1000000 0 1068.06/1068.49 c 119 245 219.07 35.38 6.19 1000000 0 1069.56/1069.97 c 113 226 219.20 36.71 5.97 1000000 0 1071.07/1071.44 c 119 198 219.07 35.11 6.24 1000000 0 1072.56/1072.91 c 124 240 220.45 34.54 6.38 1000000 0 1073.96/1074.38 c 111 223 219.47 37.51 5.85 1000000 0 1075.47/1075.85 c 122 244 215.22 34.45 6.25 1000000 0 1076.96/1077.34 c 95 171 211.50 36.15 5.85 1000000 0 1078.36/1078.80 c 123 200 222.29 37.56 5.92 1000000 0 1079.86/1080.27 c 108 188 223.09 35.57 6.27 1000000 0 1081.36/1081.75 c 112 212 218.35 34.26 6.37 1000000 0 1082.86/1083.23 c 123 206 213.89 35.38 6.05 1000000 0 1084.36/1084.70 c 121 245 222.51 37.70 5.90 1000000 0 1085.76/1086.17 c 114 231 217.76 35.13 6.20 1000000 0 1087.26/1087.65 c 121 195 212.08 35.13 6.04 1000000 0 1088.75/1089.12 c 112 216 218.88 38.34 5.71 1000000 0 1090.15/1090.58 c 132 220 222.67 34.66 6.42 1000000 0 1091.65/1092.04 c 109 235 218.14 36.02 6.06 1000000 0 1093.15/1093.51 c 108 233 216.20 33.43 6.47 1000000 0 1094.55/1094.99 c 124 250 220.40 34.25 6.43 1000000 0 1096.05/1096.47 c 110 170 209.81 33.14 6.33 1000000 0 1097.55/1097.96 c 132 204 225.16 33.50 6.72 1000000 0 1099.05/1099.44 c 117 206 219.23 34.98 6.27 1000000 0 1100.55/1100.92 c 108 186 221.27 39.73 5.57 1000000 0 1101.95/1102.39 c 110 227 215.03 37.63 5.72 1000000 0 1103.45/1103.86 c 116 191 223.98 37.49 5.97 1000000 0 1104.95/1105.35 c 109 187 217.72 38.06 5.72 1000000 0 1106.45/1106.82 c 126 190 217.13 36.22 6.00 1000000 0 1107.95/1108.30 c 122 292 216.53 32.83 6.59 1000000 0 1109.35/1109.77 c 128 214 225.04 36.66 6.14 1000000 0 1110.85/1111.24 c 112 193 216.81 37.04 5.85 1000000 0 1112.35/1112.72 c 94 194 216.62 38.57 5.62 1000000 0 1113.85/1114.20 c 112 171 217.21 39.96 5.44 1000000 0 1115.25/1115.68 c 125 220 213.91 33.09 6.46 1000000 0 1116.75/1117.15 c 122 197 213.07 33.04 6.45 1000000 0 1118.25/1118.63 c 126 202 211.42 33.98 6.22 1000000 0 1119.75/1120.11 c 120 197 220.76 37.55 5.88 1000000 0 1121.25/1121.60 c 123 186 218.05 35.60 6.12 1000000 0 1122.65/1123.07 c 132 203 226.08 32.03 7.06 1000000 0 1124.14/1124.55 c 118 233 215.75 33.76 6.39 1000000 0 1125.64/1126.01 c 116 244 218.48 36.90 5.92 1000000 0 1127.05/1127.49 c 124 206 219.49 32.81 6.69 1000000 0 1128.54/1128.95 c 132 214 225.25 37.75 5.97 1000000 0 1130.04/1130.42 c 129 218 222.89 35.94 6.20 1000000 0 1131.45/1131.88 c 121 192 223.77 36.98 6.05 1000000 0 1132.94/1133.36 c 122 195 213.98 34.37 6.23 1000000 0 1134.44/1134.84 c 121 204 218.56 35.19 6.21 1000000 0 1135.95/1136.31 c 112 125 218.30 35.69 6.12 1000000 0 1137.34/1137.79 c 127 241 221.26 36.23 6.11 1000000 0 1138.84/1139.26 c 126 203 216.44 33.66 6.43 1000000 0 1140.35/1140.73 c 114 232 214.87 35.45 6.06 1000000 0 1141.84/1142.21 c 108 266 216.45 38.35 5.64 1000000 0 1143.24/1143.70 c 122 193 220.24 35.83 6.15 1000000 0 1144.75/1145.16 c 129 269 223.57 36.84 6.07 1000000 0 1146.24/1146.64 c 111 251 218.08 39.21 5.56 1000000 0 1147.74/1148.12 c 119 202 220.92 35.60 6.21 1000000 0 1149.14/1149.59 c 120 204 213.29 34.92 6.11 1000000 0 1150.64/1151.05 c 119 196 222.43 37.11 5.99 1000000 0 1152.14/1152.53 c 110 239 219.80 35.36 6.22 1000000 0 1153.64/1154.00 c 128 246 223.37 30.97 7.21 1000000 0 1155.04/1155.48 c 133 207 219.32 35.47 6.18 1000000 0 1156.54/1156.95 c 118 227 219.73 39.07 5.62 1000000 0 1158.03/1158.43 c 121 247 214.09 32.50 6.59 1000000 0 1159.43/1159.90 c 119 200 219.18 34.78 6.30 1000000 0 1160.93/1161.38 c 132 225 216.99 34.27 6.33 1000000 0 1162.43/1162.85 c 122 299 219.02 34.54 6.34 1000000 0 1163.93/1164.31 c 120 229 222.05 34.85 6.37 1000000 0 1165.33/1165.78 c 131 272 220.18 32.09 6.86 1000000 0 1166.83/1167.25 c 130 186 219.16 33.56 6.53 1000000 0 1168.33/1168.72 c 131 251 218.96 34.65 6.32 1000000 0 1169.83/1170.20 c 117 219 221.93 37.54 5.91 1000000 0 1171.23/1171.68 c 126 236 221.04 33.15 6.67 1000000 0 1172.73/1173.14 c 121 163 224.08 34.20 6.55 1000000 0 1174.23/1174.61 c 119 223 219.59 32.28 6.80 1000000 0 1175.63/1176.09 c 112 304 215.42 36.07 5.97 1000000 0 1177.13/1177.56 c 126 179 222.47 38.02 5.85 1000000 0 1178.63/1179.02 c 116 211 216.33 35.70 6.06 1000000 0 1180.03/1180.49 c 109 241 219.80 35.83 6.13 1000000 0 1181.54/1181.97 c 116 250 221.95 37.98 5.84 1000000 0 1183.04/1183.45 c 108 162 217.25 34.01 6.39 1000000 0 1184.54/1184.93 c 123 179 215.72 33.85 6.37 1000000 0 1186.04/1186.43 c 108 228 215.03 35.78 6.01 1000000 0 1187.54/1187.92 c 98 241 208.22 34.11 6.10 1000000 0 1189.04/1189.40 c 124 199 222.43 36.93 6.02 1000000 0 1190.44/1190.88 c 113 237 213.03 35.10 6.07 1000000 0 1191.94/1192.36 c 119 192 217.44 36.86 5.90 1000000 0 1193.43/1193.84 c 114 174 213.21 33.18 6.43 1000000 0 1194.93/1195.31 c 117 220 218.88 33.96 6.44 1000000 0 1196.34/1196.77 c 110 211 219.11 38.52 5.69 1000000 0 1197.83/1198.25 c 120 223 216.79 32.85 6.60 1000000 0 1199.33/1199.72 c 129 189 221.65 36.60 6.06 1000000 0 1200.74/1201.19 c 120 242 223.20 36.23 6.16 1000000 0 1202.23/1202.65 c 111 226 212.66 32.80 6.48 1000000 0 1203.73/1204.13 c 122 178 224.49 34.06 6.59 1000000 0 1205.14/1205.58 c 131 244 222.78 32.36 6.88 1000000 0 1206.63/1207.04 c 115 236 218.30 37.40 5.84 1000000 0 1208.13/1208.51 c 131 236 216.21 35.46 6.10 1000000 0 1209.54/1209.99 c 117 243 212.20 36.92 5.75 1000000 0 1211.03/1211.47 c 108 202 213.32 33.40 6.39 1000000 0 1212.53/1212.94 c 116 233 220.92 35.54 6.22 1000000 0 1213.93/1214.39 c 103 229 214.40 34.49 6.22 1000000 0 1215.43/1215.87 c 120 218 218.39 35.58 6.14 1000000 0 1216.93/1217.35 c 118 205 220.69 35.56 6.21 1000000 0 1218.43/1218.84 c 90 224 211.25 34.70 6.09 1000000 0 1219.92/1220.31 c 132 207 223.18 35.02 6.37 1000000 0 1221.32/1221.79 c 98 218 216.24 35.34 6.12 1000000 0 1222.83/1223.27 c 124 198 218.70 38.14 5.73 1000000 0 1224.32/1224.74 c 126 192 218.97 31.40 6.97 1000000 0 1225.82/1226.22 c 121 168 213.56 33.50 6.37 1000000 0 1227.32/1227.70 c 119 209 213.22 40.28 5.29 1000000 0 1228.72/1229.16 c 106 186 216.85 38.13 5.69 1000000 0 1230.22/1230.65 c 117 252 220.71 32.29 6.84 1000000 0 1231.72/1232.12 c 125 182 221.57 34.66 6.39 1000000 0 1233.12/1233.59 c 124 211 225.68 37.63 6.00 1000000 0 1234.62/1235.06 c 122 203 221.52 35.86 6.18 1000000 0 1236.12/1236.53 c 124 241 221.02 35.11 6.30 1000000 0 1237.62/1238.02 c 111 202 214.11 39.06 5.48 1000000 0 1239.02/1239.49 c 108 190 218.73 34.64 6.31 1000000 0 1240.52/1240.97 c 131 209 221.32 35.18 6.29 1000000 0 1242.02/1242.45 c 120 157 213.84 34.52 6.20 1000000 0 1243.52/1243.91 c 133 180 222.80 34.16 6.52 1000000 0 1244.92/1245.39 c 120 232 220.99 35.31 6.26 1000000 0 1246.42/1246.87 c 132 209 216.22 33.13 6.53 1000000 0 1247.92/1248.34 c 125 242 219.79 33.82 6.50 1000000 0 1249.42/1249.82 c 120 220 214.98 35.76 6.01 1000000 0 1250.81/1251.29 c 108 259 222.38 38.12 5.83 1000000 0 1252.31/1252.78 c 119 193 214.80 32.78 6.55 1000000 0 1253.81/1254.24 c 131 220 217.28 34.02 6.39 1000000 0 1255.31/1255.71 c 118 227 217.97 33.95 6.42 1000000 0 1256.71/1257.19 c 120 259 215.99 34.70 6.22 1000000 0 1258.21/1258.66 c 104 206 227.11 38.92 5.84 1000000 0 1259.71/1260.13 c 122 284 220.33 38.50 5.72 1000000 0 1261.22/1261.60 c 116 192 217.39 36.03 6.03 1000000 0 1262.61/1263.08 c 116 230 213.30 35.47 6.01 1000000 0 1264.11/1264.54 c 117 190 222.32 33.73 6.59 1000000 0 1265.62/1266.02 c 123 156 214.78 33.88 6.34 1000000 0 1267.01/1267.48 c 132 182 223.55 34.54 6.47 1000000 0 1268.51/1268.97 c 104 255 215.65 34.82 6.19 1000000 0 1270.02/1270.45 c 107 228 217.90 40.26 5.41 1000000 0 1271.51/1271.93 c 112 191 217.44 37.69 5.77 1000000 0 1273.01/1273.40 c 119 205 217.61 33.23 6.55 1000000 0 1274.42/1274.87 c 129 222 219.91 32.98 6.67 1000000 0 1275.91/1276.34 c 125 229 222.15 36.48 6.09 1000000 0 1277.41/1277.81 c 125 213 225.80 35.47 6.37 1000000 0 1278.81/1279.28 c 99 267 214.66 36.02 5.96 1000000 0 1280.31/1280.74 c 131 184 216.85 35.54 6.10 1000000 0 1281.81/1282.21 c 108 215 220.07 34.81 6.32 1000000 0 1283.21/1283.67 c 133 196 221.71 31.36 7.07 1000000 0 1284.71/1285.14 c 116 155 218.47 39.59 5.52 1000000 0 1286.20/1286.62 c 119 182 221.99 38.21 5.81 1000000 0 1287.61/1288.08 c 127 230 218.83 34.87 6.28 1000000 0 1289.10/1289.55 c 116 251 215.46 32.14 6.70 1000000 0 1290.60/1291.02 c 122 212 223.92 38.24 5.86 1000000 0 1292.01/1292.49 c 123 245 222.62 36.75 6.06 1000000 0 1293.50/1293.97 c 105 208 216.89 38.00 5.71 1000000 0 1295.00/1295.43 c 117 191 220.75 33.54 6.58 1000000 0 1296.51/1296.90 c 111 209 217.36 31.66 6.87 1000000 0 1297.90/1298.37 c 123 227 217.82 39.63 5.50 1000000 0 1299.40/1299.83 c 129 195 223.24 39.05 5.72 1000000 0 1300.91/1301.31 c 119 194 219.11 33.24 6.59 1000000 0 1302.30/1302.79 c 124 194 221.73 34.50 6.43 1000000 0 1303.80/1304.25 c 117 211 223.90 36.32 6.17 1000000 0 1305.31/1305.72 c 124 194 220.00 35.28 6.24 1000000 0 1306.70/1307.19 c 113 238 211.97 33.65 6.30 1000000 0 1308.20/1308.66 c 118 197 218.34 33.90 6.44 1000000 0 1309.70/1310.14 c 122 192 216.17 31.95 6.77 1000000 0 1311.20/1311.61 c 116 197 212.32 32.92 6.45 1000000 0 1312.60/1313.09 c 118 202 213.90 39.24 5.45 1000000 0 1314.10/1314.56 c 112 177 217.59 36.49 5.96 1000000 0 1315.60/1316.03 c 123 220 224.91 35.47 6.34 1000000 0 1317.10/1317.50 c 117 167 216.26 32.89 6.58 1000000 0 1318.50/1318.97 c 117 239 222.57 33.90 6.57 1000000 0 1319.99/1320.45 c 122 233 223.38 36.06 6.19 1000000 0 1321.49/1321.93 c 132 226 217.60 36.61 5.94 1000000 0 1322.99/1323.40 c 119 226 217.06 35.42 6.13 1000000 0 1324.39/1324.87 c 110 181 217.27 33.73 6.44 1000000 0 1325.89/1326.35 c 112 161 214.77 34.36 6.25 1000000 0 1327.39/1327.83 c 121 238 220.69 33.98 6.49 1000000 0 1328.89/1329.31 c 122 229 216.10 37.29 5.80 1000000 0 1330.29/1330.79 c 112 233 215.31 32.16 6.70 1000000 0 1331.79/1332.26 c 129 216 218.77 35.94 6.09 1000000 0 1333.29/1333.74 c 107 212 211.81 38.10 5.56 1000000 0 1334.79/1335.21 c 112 216 215.87 37.66 5.73 1000000 0 1336.19/1336.68 c 101 195 221.17 37.09 5.96 1000000 0 1337.69/1338.16 c 123 216 215.94 35.10 6.15 1000000 0 1339.19/1339.63 c 119 181 215.30 37.04 5.81 1000000 0 1340.69/1341.11 c 119 158 223.96 34.13 6.56 1000000 0 1342.09/1342.59 c 122 219 215.78 34.90 6.18 1000000 0 1343.59/1344.06 c 122 240 220.01 31.79 6.92 1000000 0 1345.09/1345.52 c 133 204 223.63 35.94 6.22 1000000 0 1346.59/1347.00 c 121 222 215.24 34.75 6.19 1000000 0 1347.99/1348.47 c 120 215 215.55 33.82 6.37 1000000 0 1349.48/1349.95 c 118 216 215.29 37.21 5.79 1000000 0 1350.98/1351.42 c 115 164 218.79 35.65 6.14 1000000 0 1352.49/1352.91 c 121 219 217.93 37.87 5.75 1000000 0 1353.88/1354.37 c 129 180 223.31 33.52 6.66 1000000 0 1355.38/1355.85 c 114 235 212.49 36.14 5.88 1000000 0 1356.89/1357.33 c 117 215 216.48 37.33 5.80 1000000 0 1358.38/1358.80 c 121 185 218.73 39.49 5.54 1000000 0 1359.78/1360.28 c 118 266 219.24 34.02 6.44 1000000 0 1361.29/1361.75 c 115 240 214.72 34.27 6.26 1000000 0 1362.78/1363.23 c 119 200 217.43 35.43 6.14 1000000 0 1364.18/1364.70 c 125 222 218.57 36.62 5.97 1000000 0 1365.69/1366.17 c 84 173 217.97 39.91 5.46 1000000 0 1367.18/1367.64 c 108 218 210.97 32.01 6.59 1000000 0 1368.68/1369.12 c 106 251 216.33 32.53 6.65 1000000 0 1370.19/1370.61 c 110 188 216.00 41.36 5.22 1000000 0 1371.58/1372.08 c 106 291 215.80 37.02 5.83 1000000 0 1373.08/1373.55 c 131 178 227.08 33.22 6.84 1000000 0 1374.59/1375.02 c 119 206 220.38 35.01 6.30 1000000 0 1375.98/1376.49 c 123 259 213.90 31.08 6.88 1000000 0 1377.48/1377.96 c 118 248 213.37 37.07 5.76 1000000 0 1378.98/1379.44 c 117 226 215.64 34.76 6.20 1000000 0 1380.48/1380.92 c 123 212 211.95 35.51 5.97 1000000 0 1381.97/1382.41 c 110 217 216.51 34.61 6.26 1000000 0 1383.38/1383.87 c 118 231 225.25 35.94 6.27 1000000 0 1384.87/1385.35 c 116 264 223.20 36.21 6.16 1000000 0 1386.37/1386.83 c 117 188 214.42 33.12 6.47 1000000 0 1387.78/1388.29 c 127 230 224.97 36.55 6.16 1000000 0 1389.27/1389.75 c 120 215 223.16 38.35 5.82 1000000 0 1390.77/1391.23 c 114 220 218.93 37.09 5.90 1000000 0 1392.27/1392.70 c 108 233 215.51 33.44 6.44 1000000 0 1393.67/1394.18 c 113 165 211.40 34.87 6.06 1000000 0 1395.17/1395.64 c 118 183 220.74 34.89 6.33 1000000 0 1396.67/1397.11 c 129 238 216.70 38.08 5.69 1000000 0 1398.07/1398.57 c 121 177 218.43 36.45 5.99 1000000 0 1399.57/1400.04 c 112 262 208.44 34.53 6.04 1000000 0 1401.07/1401.51 c 121 197 213.39 31.89 6.69 1000000 0 1402.47/1402.99 c 114 204 219.39 36.92 5.94 1000000 0 1403.97/1404.46 c 114 246 223.28 37.49 5.96 1000000 0 1405.47/1405.94 c 114 208 220.73 36.62 6.03 1000000 0 1406.97/1407.41 c 120 218 223.86 36.89 6.07 1000000 0 1408.37/1408.89 c 109 204 215.32 37.32 5.77 1000000 0 1409.87/1410.37 c 93 165 209.78 37.86 5.54 1000000 0 1411.37/1411.83 c 123 188 219.84 34.32 6.41 1000000 0 1412.87/1413.30 c 115 126 217.76 35.26 6.18 1000000 0 1414.26/1414.77 c 114 189 215.65 32.69 6.60 1000000 0 1415.76/1416.25 c 122 175 217.13 34.75 6.25 1000000 0 1417.26/1417.72 c 127 192 222.72 32.95 6.76 1000000 0 1418.66/1419.19 c 116 235 211.60 37.37 5.66 1000000 0 1420.16/1420.67 c 111 198 217.50 36.11 6.02 1000000 0 1421.66/1422.14 c 113 189 217.83 34.66 6.28 1000000 0 1423.16/1423.61 c 124 217 221.57 36.56 6.06 1000000 0 1424.56/1425.08 c 114 204 213.64 34.68 6.16 1000000 0 1426.06/1426.55 c 102 239 216.00 34.14 6.33 1000000 0 1427.56/1428.02 c 122 186 219.75 35.44 6.20 1000000 0 1428.96/1429.49 c 121 240 221.87 34.05 6.52 1000000 0 1430.46/1430.96 c 126 189 224.40 32.75 6.85 1000000 0 1431.96/1432.45 c 96 183 214.49 35.79 5.99 1000000 0 1433.46/1433.92 c 117 194 214.71 38.70 5.55 1000000 0 1434.86/1435.40 c 127 226 227.57 33.28 6.84 1000000 0 1436.36/1436.87 c 124 212 220.15 30.67 7.18 1000000 0 1437.86/1438.36 c 113 195 212.38 36.14 5.88 1000000 0 1439.37/1439.82 c 115 171 219.61 31.65 6.94 1000000 0 1440.86/1441.30 c 108 199 212.40 35.54 5.98 1000000 0 1442.26/1442.78 c 110 217 217.62 37.22 5.85 1000000 0 1443.76/1444.23 c 108 236 221.48 34.48 6.42 1000000 0 1445.26/1445.71 c 115 210 219.16 37.57 5.83 1000000 0 1446.66/1447.18 c 118 248 216.53 34.60 6.26 1000000 0 1448.16/1448.65 c 117 223 220.95 37.25 5.93 1000000 0 1449.66/1450.14 c 125 201 221.03 34.76 6.36 1000000 0 1451.16/1451.61 c 109 219 214.99 34.09 6.31 1000000 0 1452.56/1453.08 c 107 217 214.88 36.27 5.92 1000000 0 1454.05/1454.55 c 115 250 222.89 34.28 6.50 1000000 0 1455.55/1456.03 c 119 240 215.82 35.83 6.02 1000000 0 1457.06/1457.51 c 116 227 211.22 30.72 6.87 1000000 0 1458.45/1458.97 c 134 199 220.22 32.48 6.78 1000000 0 1459.95/1460.45 c 118 217 212.24 32.07 6.62 1000000 0 1461.46/1461.93 c 126 173 219.52 36.11 6.08 1000000 0 1462.95/1463.41 c 120 253 214.50 38.20 5.62 1000000 0 1464.35/1464.89 c 118 205 213.44 37.07 5.76 1000000 0 1465.86/1466.36 c 131 197 225.24 32.92 6.84 1000000 0 1467.35/1467.83 c 126 214 213.68 33.55 6.37 1000000 0 1468.85/1469.31 c 111 190 219.89 37.61 5.85 1000000 0 1470.26/1470.79 c 128 167 216.55 33.06 6.55 1000000 0 1471.75/1472.25 c 117 266 222.14 36.13 6.15 1000000 0 1473.25/1473.71 c 115 246 219.30 37.38 5.87 1000000 0 1474.65/1475.18 c 112 234 224.66 37.66 5.97 1000000 0 1476.15/1476.66 c 115 223 221.04 40.02 5.52 1000000 0 1477.65/1478.11 c 126 242 221.61 34.01 6.52 1000000 0 1479.05/1479.59 c 100 218 219.20 36.71 5.97 1000000 0 1480.55/1481.07 c 120 225 213.62 33.81 6.32 1000000 0 1482.04/1482.53 c 128 230 224.76 31.51 7.13 1000000 0 1483.54/1484.02 c 110 181 212.40 34.56 6.15 1000000 0 1484.94/1485.48 c 107 233 213.32 31.58 6.75 1000000 0 1486.44/1486.95 c 110 188 217.90 35.15 6.20 1000000 0 1487.94/1488.42 c 118 283 216.96 33.25 6.53 1000000 0 1489.34/1489.89 c 121 173 217.30 35.75 6.08 1000000 0 1490.84/1491.35 c 126 208 223.45 34.80 6.42 1000000 0 1492.34/1492.83 c 125 160 213.26 38.86 5.49 1000000 0 1493.84/1494.32 c 114 212 218.13 34.59 6.31 1000000 0 1495.34/1495.80 c 119 211 216.61 35.21 6.15 1000000 0 1496.74/1497.29 c 112 267 214.19 36.51 5.87 1000000 0 1498.24/1498.77 c 115 238 215.78 36.45 5.92 1000000 0 1499.74/1500.25 c 120 195 221.47 40.06 5.53 1000000 0 1501.24/1501.73 c 121 200 221.39 35.25 6.28 1000000 0 1502.74/1503.20 c 122 173 222.37 36.12 6.16 1000000 0 1504.14/1504.67 c 126 221 214.77 36.51 5.88 1000000 0 1505.64/1506.15 c 126 223 221.50 35.44 6.25 1000000 0 1507.14/1507.63 c 113 210 221.21 35.37 6.25 1000000 0 1508.64/1509.10 c 120 218 215.39 34.77 6.19 1000000 0 1510.04/1510.57 c 103 194 222.49 40.60 5.48 1000000 0 1511.54/1512.05 c 123 214 218.98 33.62 6.51 1000000 0 1513.04/1513.52 c 112 216 217.20 36.23 6.00 1000000 0 1514.43/1514.99 c 101 200 212.72 34.25 6.21 1000000 0 1515.93/1516.46 c 114 212 223.63 34.32 6.52 1000000 0 1517.44/1517.94 c 97 224 216.68 34.68 6.25 1000000 0 1518.93/1519.41 c 133 286 225.66 31.86 7.08 1000000 0 1520.33/1520.89 c 124 194 219.41 33.87 6.48 1000000 0 1521.84/1522.36 c 112 237 219.74 39.32 5.59 1000000 0 1523.33/1523.83 c 124 209 216.79 33.21 6.53 1000000 0 1524.83/1525.30 c 128 215 223.93 34.58 6.48 1000000 0 1526.24/1526.78 c 99 200 211.65 35.50 5.96 1000000 0 1527.73/1528.25 c 114 222 219.73 38.02 5.78 1000000 0 1529.23/1529.73 c 116 208 214.68 33.27 6.45 1000000 0 1530.64/1531.20 c 129 240 221.36 35.27 6.28 1000000 0 1532.13/1532.68 c 113 198 214.88 33.68 6.38 1000000 0 1533.63/1534.15 c 127 205 222.77 35.34 6.30 1000000 0 1535.14/1535.62 c 115 183 218.27 35.05 6.23 1000000 0 1536.63/1537.10 c 125 226 219.83 33.83 6.50 1000000 0 1538.03/1538.57 c 131 252 223.82 36.67 6.10 1000000 0 1539.53/1540.05 c 115 166 209.53 32.19 6.51 1000000 0 1541.03/1541.52 c 114 224 217.13 34.89 6.22 1000000 0 1542.43/1542.99 c 130 212 221.60 33.10 6.69 1000000 0 1543.93/1544.46 c 116 223 220.67 37.30 5.92 1000000 0 1545.43/1545.93 c 101 216 216.24 34.00 6.36 1000000 0 1546.92/1547.40 c 118 255 220.52 35.19 6.27 1000000 0 1548.33/1548.88 c 119 235 218.05 33.57 6.50 1000000 0 1549.82/1550.35 c 127 187 223.39 36.10 6.19 1000000 0 1551.32/1551.83 c 117 201 221.07 37.75 5.86 1000000 0 1552.82/1553.31 c 102 239 217.47 38.73 5.61 1000000 0 1554.22/1554.77 c 129 221 219.67 28.41 7.73 1000000 0 1555.72/1556.23 c 134 176 220.13 33.50 6.57 1000000 0 1557.22/1557.72 c 125 211 215.66 34.54 6.24 1000000 0 1558.72/1559.20 c 131 281 217.53 39.28 5.54 1000000 0 1560.12/1560.67 c 116 239 213.60 40.29 5.30 1000000 0 1561.62/1562.15 c 112 240 216.34 39.04 5.54 1000000 0 1563.12/1563.64 c 122 261 217.13 35.62 6.10 1000000 0 1564.62/1565.11 c 117 227 220.97 38.00 5.81 1000000 0 1566.02/1566.58 c 116 270 218.11 33.20 6.57 1000000 0 1567.52/1568.05 c 125 214 222.87 41.61 5.36 1000000 0 1569.02/1569.53 c 124 190 215.67 35.11 6.14 1000000 0 1570.42/1570.99 c 101 204 215.08 37.28 5.77 1000000 0 1571.92/1572.47 c 118 239 214.24 32.72 6.55 1000000 0 1573.42/1573.95 c 116 156 219.44 33.22 6.61 1000000 0 1574.92/1575.41 c 109 227 219.71 34.78 6.32 1000000 0 1576.32/1576.88 c 126 218 219.96 36.52 6.02 1000000 0 1577.81/1578.36 c 108 175 213.54 34.32 6.22 1000000 0 1579.31/1579.85 c 116 165 218.66 34.83 6.28 1000000 0 1580.81/1581.31 c 118 172 217.52 37.25 5.84 1000000 0 1582.21/1582.77 c 124 202 219.43 36.25 6.05 1000000 0 1583.71/1584.23 c 123 182 222.46 39.56 5.62 1000000 0 1585.21/1585.71 c 125 256 215.61 33.67 6.40 1000000 0 1586.61/1587.18 c 116 187 220.11 34.45 6.39 1000000 0 1588.11/1588.65 c 115 222 221.35 32.22 6.87 1000000 0 1589.61/1590.13 c 96 188 208.23 38.77 5.37 1000000 0 1591.12/1591.60 c 122 261 218.32 36.68 5.95 1000000 0 1592.51/1593.07 c 123 242 219.44 34.50 6.36 1000000 0 1594.01/1594.55 c 122 221 212.92 35.26 6.04 1000000 0 1595.52/1596.02 c 117 165 220.70 32.92 6.70 1000000 0 1597.01/1597.50 c 131 236 216.52 35.00 6.19 1000000 0 1598.41/1598.97 c 119 258 215.47 36.70 5.87 1000000 0 1599.91/1600.46 c 125 179 218.48 35.53 6.15 1000000 0 1601.41/1601.93 c 125 223 221.94 33.10 6.70 1000000 0 1602.91/1603.40 c 128 254 224.23 35.89 6.25 1000000 0 1604.31/1604.85 c 106 223 216.05 36.93 5.85 1000000 0 1605.81/1606.32 c 127 204 222.93 32.54 6.85 1000000 0 1607.21/1607.80 c 117 166 215.58 35.47 6.08 1000000 0 1608.71/1609.26 c 122 229 222.63 34.54 6.45 1000000 0 1610.21/1610.74 c 126 186 217.15 36.95 5.88 1000000 0 1611.70/1612.22 c 116 200 213.71 34.79 6.14 1000000 0 1613.11/1613.70 c 111 232 212.97 32.20 6.61 1000000 0 1614.60/1615.18 c 121 181 218.97 33.39 6.56 1000000 0 1616.10/1616.65 c 112 242 211.65 35.94 5.89 1000000 0 1617.61/1618.12 c 120 208 220.94 37.72 5.86 1000000 0 1619.10/1619.60 c 106 228 210.58 36.78 5.73 1000000 0 1620.50/1621.06 c 116 192 217.19 34.38 6.32 1000000 0 1622.01/1622.54 c 116 233 216.52 37.64 5.75 1000000 0 1623.50/1624.02 c 116 195 218.15 35.13 6.21 1000000 0 1624.90/1625.49 c 132 212 222.42 32.99 6.74 1000000 0 1626.41/1626.98 c 114 286 210.15 37.98 5.53 1000000 0 1627.90/1628.47 c 114 229 210.31 34.31 6.13 1000000 0 1629.40/1629.94 c 105 249 219.76 33.54 6.55 1000000 0 1630.90/1631.42 c 109 222 216.64 37.92 5.71 1000000 0 1632.40/1632.90 c 115 203 217.36 38.19 5.69 1000000 0 1633.80/1634.36 c 124 279 222.18 34.22 6.49 1000000 0 1635.30/1635.83 c 121 295 226.34 37.76 6.00 1000000 0 1636.80/1637.31 c 116 211 212.58 34.83 6.10 1000000 0 1638.20/1638.78 c 117 255 216.66 34.03 6.37 1000000 0 1639.70/1640.26 c 133 217 218.99 36.89 5.94 1000000 0 1641.20/1641.73 c 118 220 216.11 39.11 5.53 1000000 0 1642.70/1643.21 c 122 231 218.10 35.01 6.23 1000000 0 1644.10/1644.67 c 127 227 223.24 35.57 6.28 1000000 0 1645.59/1646.15 c 125 194 222.53 34.72 6.41 1000000 0 1647.09/1647.62 c 102 247 217.32 34.38 6.32 1000000 0 1648.59/1649.10 c 116 222 212.33 37.72 5.63 1000000 0 1649.99/1650.58 c 125 214 213.00 31.74 6.71 1000000 0 1651.49/1652.05 c 127 261 223.89 36.82 6.08 1000000 0 1652.99/1653.52 c 106 214 213.17 38.21 5.58 1000000 0 1654.49/1655.00 c 111 216 220.53 35.41 6.23 1000000 0 1655.89/1656.47 c 125 204 216.16 35.05 6.17 1000000 0 1657.39/1657.95 c 126 236 216.82 36.90 5.88 1000000 0 1658.89/1659.42 c 124 193 214.41 30.44 7.04 1000000 0 1660.29/1660.88 c 125 222 221.20 36.65 6.03 1000000 0 1661.79/1662.37 c 106 193 212.68 34.63 6.14 1000000 0 1663.29/1663.85 c 114 207 219.56 34.88 6.29 1000000 0 1664.80/1665.33 c 116 184 214.18 34.17 6.27 1000000 0 1666.29/1666.80 c 129 202 217.62 31.06 7.01 1000000 0 1667.69/1668.28 c 129 199 217.22 31.33 6.93 1000000 0 1669.20/1669.76 c 127 221 216.47 35.12 6.16 1000000 0 1670.69/1671.23 c 121 181 219.33 39.17 5.60 1000000 0 1672.19/1672.71 c 112 246 220.11 39.27 5.61 1000000 0 1673.59/1674.17 c 132 205 223.58 32.57 6.87 1000000 0 1675.09/1675.65 c 105 234 215.02 34.51 6.23 1000000 0 1676.59/1677.12 c 107 219 216.54 38.51 5.62 1000000 0 1677.99/1678.59 c 120 205 218.89 37.27 5.87 1000000 0 1679.48/1680.06 c 115 200 220.22 35.09 6.28 1000000 0 1680.98/1681.54 c 122 201 217.17 33.83 6.42 1000000 0 1682.39/1683.00 c 121 180 219.84 31.19 7.05 1000000 0 1683.88/1684.48 c 124 242 214.54 31.76 6.75 1000000 0 1685.38/1685.95 c 116 200 225.10 36.80 6.12 1000000 0 1686.89/1687.41 c 125 195 219.99 35.49 6.20 1000000 0 1688.28/1688.88 c 117 183 216.99 34.48 6.29 1000000 0 1689.78/1690.34 c 123 265 219.77 36.68 5.99 1000000 0 1691.29/1691.81 c 128 233 222.02 34.44 6.45 1000000 0 1692.68/1693.28 c 104 254 216.53 33.44 6.47 1000000 0 1694.18/1694.76 c 125 174 221.54 36.12 6.13 1000000 0 1695.69/1696.25 c 117 236 208.72 36.81 5.67 1000000 0 1697.18/1697.72 c 126 204 213.14 32.51 6.56 1000000 0 1698.68/1699.20 c 111 176 214.45 36.75 5.83 1000000 0 1700.09/1700.68 c 125 230 217.03 31.81 6.82 1000000 0 1701.58/1702.13 c 116 209 221.60 32.02 6.92 1000000 0 1703.08/1703.60 c 117 165 217.79 34.06 6.40 1000000 0 1704.48/1705.07 c 132 196 221.43 30.91 7.16 1000000 0 1705.98/1706.55 c 122 224 214.37 35.38 6.06 1000000 0 1707.48/1708.02 c 109 241 218.66 34.09 6.41 1000000 0 1708.98/1709.50 c 107 238 212.84 40.23 5.29 1000000 0 1710.37/1710.98 c 131 189 220.89 34.44 6.41 1000000 0 1711.87/1712.45 c 124 217 218.10 34.77 6.27 1000000 0 1713.37/1713.94 c 111 221 209.85 32.20 6.52 1000000 0 1714.87/1715.42 c 113 205 211.34 33.52 6.30 1000000 0 1716.27/1716.90 c 118 238 217.06 37.15 5.84 1000000 0 1717.77/1718.36 c 125 152 216.79 32.64 6.64 1000000 0 1719.27/1719.84 c 111 168 217.79 35.43 6.15 1000000 0 1720.77/1721.32 c 112 160 217.23 33.15 6.55 1000000 0 1722.27/1722.80 c 128 253 225.02 35.34 6.37 1000000 0 1723.67/1724.28 c 114 181 218.77 41.08 5.33 1000000 0 1725.17/1725.76 c 115 277 215.11 40.04 5.37 1000000 0 1726.67/1727.22 c 114 218 210.87 32.63 6.46 1000000 0 1728.17/1728.70 c 118 317 222.15 32.32 6.87 1000000 0 1729.57/1730.18 c 121 202 216.67 37.64 5.76 1000000 0 1731.07/1731.65 c 131 199 220.82 35.36 6.25 1000000 0 1732.57/1733.12 c 124 244 226.34 33.78 6.70 1000000 0 1733.97/1734.59 c 130 190 222.44 35.49 6.27 1000000 0 1735.47/1736.07 c 112 208 217.12 31.50 6.89 1000000 0 1736.97/1737.53 c 115 325 219.79 36.33 6.05 1000000 0 1738.47/1739.00 c 96 240 213.98 38.58 5.55 1000000 0 1739.86/1740.48 c 96 199 214.80 36.68 5.86 1000000 0 1741.36/1741.94 c 117 264 223.45 34.11 6.55 1000000 0 1742.87/1743.42 c 107 225 216.32 31.83 6.80 1000000 0 1744.26/1744.89 c 129 205 228.38 33.91 6.74 1000000 0 1745.76/1746.36 c 111 189 214.26 31.30 6.85 1000000 0 1747.27/1747.83 c 103 213 214.91 35.77 6.01 1000000 0 1748.76/1749.30 c 122 219 224.38 33.11 6.78 1000000 0 1750.16/1750.78 c 118 202 210.35 37.69 5.58 1000000 0 1751.67/1752.25 c 123 225 220.58 33.35 6.61 1000000 0 1753.16/1753.71 c 122 195 216.56 37.14 5.83 1000000 0 1754.56/1755.19 c 108 251 210.48 34.88 6.03 1000000 0 1756.07/1756.64 c 119 243 220.05 37.53 5.86 1000000 0 1757.56/1758.12 c 122 193 218.79 34.93 6.26 1000000 0 1758.96/1759.58 c 129 193 216.26 36.71 5.89 1000000 0 1760.47/1761.06 c 103 215 211.45 32.23 6.56 1000000 0 1761.96/1762.53 c 124 215 218.28 32.95 6.63 1000000 0 1763.46/1764.01 c 109 202 214.75 32.87 6.53 1000000 0 1764.86/1765.48 c 124 228 215.91 37.73 5.72 1000000 0 1766.36/1766.96 c 120 210 215.19 36.29 5.93 1000000 0 1767.86/1768.43 c 120 164 220.15 35.65 6.18 1000000 0 1769.36/1769.91 c 120 148 217.99 35.06 6.22 1000000 0 1770.76/1771.39 c 120 201 217.29 36.12 6.02 1000000 0 1772.26/1772.86 c 110 197 216.19 35.57 6.08 1000000 0 1773.76/1774.33 c 107 220 211.85 36.70 5.77 1000000 0 1775.25/1775.81 c 122 226 216.61 37.09 5.84 1000000 0 1776.65/1777.28 c 122 240 223.47 34.31 6.51 1000000 0 1778.16/1778.76 c 97 218 213.37 34.36 6.21 1000000 0 1779.65/1780.23 c 127 225 216.55 31.09 6.97 1000000 0 1781.15/1781.70 c 118 240 212.07 39.37 5.39 1000000 0 1782.56/1783.18 c 123 211 216.26 35.98 6.01 1000000 0 1784.05/1784.65 c 131 206 220.50 35.51 6.21 1000000 0 1785.55/1786.11 c 111 234 216.48 31.77 6.81 1000000 0 1786.96/1787.57 c 123 185 223.12 35.78 6.24 1000000 0 1788.45/1789.04 c 120 211 221.17 36.26 6.10 1000000 0 1789.95/1790.51 c 124 193 221.44 32.69 6.77 1000000 0 1791.36/1791.97 c 110 272 220.34 34.77 6.34 1000000 0 1792.85/1793.43 c 122 228 222.29 36.37 6.11 1000000 0 1794.35/1794.90 c 110 204 216.11 35.04 6.17 1000000 0 1795.76/1796.37 c 113 213 227.03 37.62 6.03 1000000 0 1797.25/1797.85 c 110 190 212.40 41.17 5.16 1000000 0 1798.75/1799.32 c 108 174 214.42 36.54 5.87 1000000 0 1800.06/1800.61 HOME/run: line 2: 9909 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-2669873-1276610851/watcher-2669873-1276610851 -o /tmp/evaluation-result-2669873-1276610851/solver-2669873-1276610851 -C 1800 -W 2000 -M 1800 run HOME/instance-2669873-1276610851.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: 1.00 1.00 1.00 3/105 9908 /proc/meminfo: memFree=1518104/2059040 swapFree=4192956/4192956 [pid=9908] ppid=9906 vsize=8700 CPUtime=0 /proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9908/statm: 2175 244 204 178 0 68 0 [startup+0.07178 s] /proc/loadavg: 1.00 1.00 1.00 3/105 9908 /proc/meminfo: memFree=1518104/2059040 swapFree=4192956/4192956 [pid=9908] ppid=9906 vsize=8700 CPUtime=0 /proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9908/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101782 s] /proc/loadavg: 1.00 1.00 1.00 3/105 9908 /proc/meminfo: memFree=1518104/2059040 swapFree=4192956/4192956 [pid=9908] ppid=9906 vsize=8700 CPUtime=0 /proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9908/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301804 s] /proc/loadavg: 1.00 1.00 1.00 3/105 9908 /proc/meminfo: memFree=1518104/2059040 swapFree=4192956/4192956 [pid=9908] ppid=9906 vsize=8700 CPUtime=0 /proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9908/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701846 s] /proc/loadavg: 1.00 1.00 1.00 3/105 9908 /proc/meminfo: memFree=1518104/2059040 swapFree=4192956/4192956 [pid=9908] ppid=9906 vsize=8700 CPUtime=0 /proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9908/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50193 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9910 /proc/meminfo: memFree=1514492/2059040 swapFree=4192956/4192956 [pid=9908] ppid=9906 vsize=8700 CPUtime=0 /proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9908/statm: 2175 244 204 178 0 68 0 [pid=9909] ppid=9908 vsize=40452 CPUtime=1.49 /proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 923 0 0 0 149 0 0 0 25 0 1 0 2379253 41422848 853 1992294400 134512640 135071400 4288028336 18446744073709551615 134525611 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9909/statm: 10113 853 62 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9910 /proc/meminfo: memFree=1514368/2059040 swapFree=4192956/4192956 [pid=9908] ppid=9906 vsize=8700 CPUtime=0 /proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9908/statm: 2175 244 204 178 0 68 0 [pid=9909] ppid=9908 vsize=40452 CPUtime=3.09 /proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 309 0 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134526740 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9909/statm: 10113 861 69 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.30144 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9910 /proc/meminfo: memFree=1514244/2059040 swapFree=4192956/4192956 [pid=9908] ppid=9906 vsize=8700 CPUtime=0 /proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9908/statm: 2175 244 204 178 0 68 0 [pid=9909] ppid=9908 vsize=40452 CPUtime=6.29 /proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 629 0 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134537255 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9909/statm: 10113 861 69 137 0 9974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49152 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9910 /proc/meminfo: memFree=1513996/2059040 swapFree=4192956/4192956 [pid=9908] ppid=9906 vsize=8700 CPUtime=0 /proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9908/statm: 2175 244 204 178 0 68 0 [pid=9909] ppid=9908 vsize=40452 CPUtime=12.69 /proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 1269 0 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134526502 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9909/statm: 10113 861 69 137 0 9974 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49152 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9910 /proc/meminfo: memFree=1513996/2059040 swapFree=4192956/4192956 [pid=9908] ppid=9906 vsize=8700 CPUtime=0 /proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9908/statm: 2175 244 204 178 0 68 0 [pid=9909] ppid=9908 vsize=40452 CPUtime=25.48 /proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 2548 0 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134526403 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9909/statm: 10113 861 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9912 /proc/meminfo: memFree=1513996/2059040 swapFree=4192956/4192956 [pid=9908] ppid=9906 vsize=8700 CPUtime=0 /proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9908/statm: 2175 244 204 178 0 68 0 [pid=9909] ppid=9908 vsize=40452 CPUtime=51.08 /proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 5108 0 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134526505 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9909/statm: 10113 861 69 137 0 9974 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 49152 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9912 /proc/meminfo: memFree=1513748/2059040 swapFree=4192956/4192956 [pid=9908] ppid=9906 vsize=8700 CPUtime=0 /proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9908/statm: 2175 244 204 178 0 68 0 [pid=9909] ppid=9908 vsize=40452 CPUtime=102.27 /proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 10227 0 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134525870 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9909/statm: 10113 861 69 137 0 9974 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 49152 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9914 /proc/meminfo: memFree=1513624/2059040 swapFree=4192956/4192956 [pid=9908] ppid=9906 vsize=8700 CPUtime=0 /proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9908/statm: 2175 244 204 178 0 68 0 [pid=9909] ppid=9908 vsize=40452 CPUtime=162.24 /proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 16224 0 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134519828 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9909/statm: 10113 861 69 137 0 9974 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 49152 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9916 /proc/meminfo: memFree=1513624/2059040 swapFree=4192956/4192956 [pid=9908] ppid=9906 vsize=8700 CPUtime=0 /proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9908/statm: 2175 244 204 178 0 68 0 [pid=9909] ppid=9908 vsize=40452 CPUtime=222.22 /proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 22222 0 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134526693 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9909/statm: 10113 861 69 137 0 9974 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 49152 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9918 /proc/meminfo: memFree=1513624/2059040 swapFree=4192956/4192956 [pid=9908] ppid=9906 vsize=8700 CPUtime=0 /proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9908/statm: 2175 244 204 178 0 68 0 [pid=9909] ppid=9908 vsize=40452 CPUtime=282.21 /proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 28221 0 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134526366 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9909/statm: 10113 861 69 137 0 9974 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 49152 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9918 /proc/meminfo: memFree=1513500/2059040 swapFree=4192956/4192956 [pid=9908] ppid=9906 vsize=8700 CPUtime=0 /proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9908/statm: 2175 244 204 178 0 68 0 [pid=9909] ppid=9908 vsize=40452 CPUtime=342.19 /proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 34219 0 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134526243 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9909/statm: 10113 861 69 137 0 9974 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 49152 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9920 /proc/meminfo: memFree=1513376/2059040 swapFree=4192956/4192956 [pid=9908] ppid=9906 vsize=8700 CPUtime=0 /proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9908/statm: 2175 244 204 178 0 68 0 [pid=9909] ppid=9908 vsize=40452 CPUtime=402.17 /proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 40217 0 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9909/statm: 10113 861 69 137 0 9974 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 49152 [startup+462.302 s] ################ # More data... # ################ /proc/9908/statm: 2175 244 204 178 0 68 0 [pid=9909] ppid=9908 vsize=40452 CPUtime=1061.96 /proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 106196 0 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134526161 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9909/statm: 10113 861 69 137 0 9974 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 49152 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9940 /proc/meminfo: memFree=1512012/2059040 swapFree=4192956/4192956 [pid=9908] ppid=9906 vsize=8700 CPUtime=0 /proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9908/statm: 2175 244 204 178 0 68 0 [pid=9909] ppid=9908 vsize=40452 CPUtime=1121.95 /proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 112195 0 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134525671 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9909/statm: 10113 861 69 137 0 9974 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9942 /proc/meminfo: memFree=1511640/2059040 swapFree=4192956/4192956 [pid=9908] ppid=9906 vsize=8700 CPUtime=0 /proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9908/statm: 2175 244 204 178 0 68 0 [pid=9909] ppid=9908 vsize=40452 CPUtime=1181.94 /proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 118193 1 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134525739 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9909/statm: 10113 861 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9942 /proc/meminfo: memFree=1511392/2059040 swapFree=4192956/4192956 [pid=9908] ppid=9906 vsize=8700 CPUtime=0 /proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9908/statm: 2175 244 204 178 0 68 0 [pid=9909] ppid=9908 vsize=40452 CPUtime=1241.92 /proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 124191 1 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134525608 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9909/statm: 10113 861 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9944 /proc/meminfo: memFree=1511144/2059040 swapFree=4192956/4192956 [pid=9908] ppid=9906 vsize=8700 CPUtime=0 /proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9908/statm: 2175 244 204 178 0 68 0 [pid=9909] ppid=9908 vsize=40452 CPUtime=1301.91 /proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 130190 1 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134526243 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9909/statm: 10113 861 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9946 /proc/meminfo: memFree=1511144/2059040 swapFree=4192956/4192956 [pid=9908] ppid=9906 vsize=8700 CPUtime=0 /proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9908/statm: 2175 244 204 178 0 68 0 [pid=9909] ppid=9908 vsize=40452 CPUtime=1361.88 /proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 136187 1 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134519921 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9909/statm: 10113 861 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9948 /proc/meminfo: memFree=1511144/2059040 swapFree=4192956/4192956 [pid=9908] ppid=9906 vsize=8700 CPUtime=0 /proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9908/statm: 2175 244 204 178 0 68 0 [pid=9909] ppid=9908 vsize=40452 CPUtime=1421.87 /proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 142186 1 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134525819 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9909/statm: 10113 861 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9953 /proc/meminfo: memFree=1510648/2059040 swapFree=4192956/4192956 [pid=9908] ppid=9906 vsize=8700 CPUtime=0 /proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9908/statm: 2175 244 204 178 0 68 0 [pid=9909] ppid=9908 vsize=40452 CPUtime=1481.84 /proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 148183 1 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134526077 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9909/statm: 10113 861 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9953 /proc/meminfo: memFree=1510648/2059040 swapFree=4192956/4192956 [pid=9908] ppid=9906 vsize=8700 CPUtime=0 /proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9908/statm: 2175 244 204 178 0 68 0 [pid=9909] ppid=9908 vsize=40452 CPUtime=1541.83 /proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 154182 1 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134519749 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9909/statm: 10113 861 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9955 /proc/meminfo: memFree=1510648/2059040 swapFree=4192956/4192956 [pid=9908] ppid=9906 vsize=8700 CPUtime=0 /proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9908/statm: 2175 244 204 178 0 68 0 [pid=9909] ppid=9908 vsize=40452 CPUtime=1601.81 /proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 160180 1 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134526378 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9909/statm: 10113 861 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9957 /proc/meminfo: memFree=1510648/2059040 swapFree=4192956/4192956 [pid=9908] ppid=9906 vsize=8700 CPUtime=0 /proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9908/statm: 2175 244 204 178 0 68 0 [pid=9909] ppid=9908 vsize=40452 CPUtime=1661.79 /proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 166178 1 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134526584 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9909/statm: 10113 861 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9959 /proc/meminfo: memFree=1510648/2059040 swapFree=4192956/4192956 [pid=9908] ppid=9906 vsize=8700 CPUtime=0 /proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9908/statm: 2175 244 204 178 0 68 0 [pid=9909] ppid=9908 vsize=40452 CPUtime=1721.77 /proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 172176 1 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134526451 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9909/statm: 10113 861 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9961 /proc/meminfo: memFree=1510276/2059040 swapFree=4192956/4192956 [pid=9908] ppid=9906 vsize=8700 CPUtime=0 /proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9908/statm: 2175 244 204 178 0 68 0 [pid=9909] ppid=9908 vsize=40452 CPUtime=1781.75 /proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 178174 1 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134519756 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9909/statm: 10113 861 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9961 /proc/meminfo: memFree=1510276/2059040 swapFree=4192956/4192956 [pid=9908] ppid=9906 vsize=8700 CPUtime=0 /proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9908/statm: 2175 244 204 178 0 68 0 [pid=9909] ppid=9908 vsize=40452 CPUtime=1800.06 /proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 180005 1 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134526314 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9909/statm: 10113 861 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) Sleeping 2 secondsSolver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1800.62 CPU time (s): 1800.08 CPU user time (s): 1800.06 CPU system time (s): 0.019996 CPU usage (%): 99.97 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.06 system time used= 0.019996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1303 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= 3798 runsolver used 3.02754 second user time and 8.5457 second system time The end
Begin job on node081 at 2010-06-15 16:07:32 IDJOB=2669873 IDBENCH=1469 IDSOLVER=1171 FILE ID=node081/2669873-1276610851 PBS_JOBID= 11172244 Free space on /tmp= 121808 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.4.accl.ucl.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2669873-1276610851/watcher-2669873-1276610851 -o /tmp/evaluation-result-2669873-1276610851/solver-2669873-1276610851 -C 1800 -W 2000 -M 1800 run HOME/instance-2669873-1276610851.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5c27e468756746c81988dfb461940da4 RANDOM SEED=1967180762 node081.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.212 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.42 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.212 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 : 5999.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1518624 kB Buffers: 71172 kB Cached: 342028 kB SwapCached: 0 kB Active: 186308 kB Inactive: 286460 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1518624 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 1008 kB Writeback: 0 kB AnonPages: 59588 kB Mapped: 15404 kB Slab: 46012 kB PageTables: 3952 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180032 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 121808 MiB End job on node081 at 2010-06-15 16:37:32