Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.1 | 1800.62 |
Name | /DEC-SMALLINT-LIN/oliveras/j60/ normalized-j603_2-unsat.opb |
MD5SUM | a21481d09c6e372fceb7a960f40ed463 |
Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.100984 |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 8418 |
Total number of constraints | 26241 |
Number of constraints which are clauses | 25969 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 272 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 18 |
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 | 23 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 119 |
Number of bits of the biggest sum of numbers | 7 |
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.06 c PB-wave - v2 0.00/0.06 c command line = ./PB-wave 0.00/0.06 c seed = 49369885 0.00/0.06 c cutoff = 1000000 0.00/0.06 c tries = 1000000 0.00/0.06 c heuristic = c best, noise 50 / 100 0.00/0.06 #var 8418 #con 26241 0.00/0.06 mode is SAT 0.00/0.06 c tail starts after flip = 25254 0.00/0.06 c numatom = 8418, numclause = 26241, numliterals = 59538 0.00/0.06 c wff read in 0.00/0.06 c 0.00/0.06 c lowest final avg noise noise total avg mean mean 0.00/0.06 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.06 c this this this this this this success success until std 0.00/0.06 c try try try try try try rate tries assign dev 0.00/0.06 c 1.00/1.09 c 89 295 247.23 75.39 3.28 1000000 0 2.10/2.12 c 89 253 249.34 57.92 4.30 1000000 0 3.09/3.16 c 113 312 258.87 64.19 4.03 1000000 0 4.09/4.19 c 85 237 256.38 73.38 3.49 1000000 0 5.19/5.22 c 88 333 270.08 57.80 4.67 1000000 0 6.19/6.25 c 88 264 256.51 67.18 3.82 1000000 0 7.19/7.28 c 126 310 262.80 55.56 4.73 1000000 0 8.29/8.31 c 119 245 256.44 61.61 4.16 1000000 0 9.29/9.34 c 113 204 253.82 50.39 5.04 1000000 0 10.29/10.37 c 132 188 260.35 64.00 4.07 1000000 0 11.39/11.40 c 118 225 256.40 58.18 4.41 1000000 0 12.39/12.43 c 62 272 251.56 60.20 4.18 1000000 0 13.39/13.46 c 85 261 241.75 56.14 4.31 1000000 0 14.39/14.49 c 129 215 262.61 60.07 4.37 1000000 0 15.49/15.52 c 93 327 247.66 65.12 3.80 1000000 0 16.49/16.55 c 104 272 252.37 58.36 4.32 1000000 0 17.49/17.58 c 115 187 256.68 64.12 4.00 1000000 0 18.59/18.61 c 83 268 253.36 72.04 3.52 1000000 0 19.59/19.64 c 111 276 252.59 59.01 4.28 1000000 0 20.58/20.68 c 97 248 258.96 59.35 4.36 1000000 0 21.68/21.71 c 92 285 249.16 65.31 3.82 1000000 0 22.68/22.74 c 97 254 250.25 60.60 4.13 1000000 0 23.68/23.77 c 112 282 252.10 58.18 4.33 1000000 0 24.68/24.80 c 108 263 253.63 60.78 4.17 1000000 0 25.78/25.83 c 92 210 263.10 60.19 4.37 1000000 0 26.78/26.86 c 62 228 250.48 66.83 3.75 1000000 0 27.78/27.89 c 109 255 266.39 57.78 4.61 1000000 0 28.88/28.92 c 117 274 263.71 62.81 4.20 1000000 0 29.88/29.95 c 110 355 242.60 55.34 4.38 1000000 0 30.88/30.98 c 91 186 257.11 60.76 4.23 1000000 0 31.98/32.01 c 90 215 258.46 66.70 3.87 1000000 0 32.99/33.04 c 104 180 263.01 61.63 4.27 1000000 0 33.99/34.07 c 108 149 253.02 59.68 4.24 1000000 0 35.09/35.10 c 137 292 253.80 58.71 4.32 1000000 0 36.08/36.13 c 115 296 256.86 62.86 4.09 1000000 0 37.08/37.16 c 105 223 252.35 63.55 3.97 1000000 0 38.08/38.19 c 102 240 246.67 55.69 4.43 1000000 0 39.18/39.22 c 76 230 252.89 65.70 3.85 1000000 0 40.18/40.25 c 122 165 257.67 60.49 4.26 1000000 0 41.18/41.28 c 77 357 253.83 68.10 3.73 1000000 0 42.28/42.31 c 109 326 257.26 62.24 4.13 1000000 0 43.28/43.34 c 90 254 252.89 58.83 4.30 1000000 0 44.28/44.37 c 84 273 252.55 56.06 4.50 1000000 0 45.38/45.40 c 116 153 264.60 51.70 5.12 1000000 0 46.38/46.43 c 109 343 266.02 65.16 4.08 1000000 0 47.38/47.46 c 95 281 262.17 63.17 4.15 1000000 0 48.38/48.50 c 111 241 254.49 72.49 3.51 1000000 0 49.48/49.52 c 105 195 250.30 68.80 3.64 1000000 0 50.48/50.56 c 114 182 269.69 68.03 3.96 1000000 0 51.48/51.59 c 81 304 249.72 61.78 4.04 1000000 0 52.58/52.62 c 125 255 250.82 57.34 4.37 1000000 0 53.58/53.65 c 115 289 246.74 56.44 4.37 1000000 0 54.58/54.68 c 111 319 253.75 55.85 4.54 1000000 0 55.67/55.71 c 110 286 260.73 62.90 4.14 1000000 0 56.67/56.73 c 80 305 248.21 59.49 4.17 1000000 0 57.67/57.76 c 93 276 258.53 56.10 4.61 1000000 0 58.67/58.80 c 90 265 254.14 62.28 4.08 1000000 0 59.77/59.82 c 95 232 243.95 52.74 4.63 1000000 0 60.77/60.86 c 96 241 261.34 58.83 4.44 1000000 0 61.77/61.89 c 76 259 253.01 58.82 4.30 1000000 0 62.87/62.92 c 73 247 249.24 68.49 3.64 1000000 0 63.87/63.95 c 112 209 252.48 64.94 3.89 1000000 0 64.88/64.98 c 89 308 251.10 55.24 4.55 1000000 0 65.98/66.01 c 85 313 250.66 62.87 3.99 1000000 0 66.98/67.04 c 111 356 245.38 51.71 4.74 1000000 0 67.97/68.07 c 88 221 259.15 66.29 3.91 1000000 0 69.07/69.10 c 87 265 248.40 68.12 3.65 1000000 0 70.07/70.13 c 89 129 257.60 63.61 4.05 1000000 0 71.07/71.16 c 85 251 249.17 55.90 4.46 1000000 0 72.07/72.19 c 107 301 252.88 58.92 4.29 1000000 0 73.17/73.21 c 105 261 256.46 59.20 4.33 1000000 0 74.17/74.24 c 110 195 250.83 51.80 4.84 1000000 0 75.17/75.28 c 103 221 268.02 54.41 4.93 1000000 0 76.27/76.31 c 120 286 256.07 61.83 4.14 1000000 0 77.27/77.34 c 98 271 251.83 60.00 4.20 1000000 0 78.27/78.37 c 109 311 258.80 63.66 4.07 1000000 0 79.37/79.40 c 79 252 252.31 62.55 4.03 1000000 0 80.37/80.43 c 89 260 261.58 58.62 4.46 1000000 0 81.37/81.46 c 109 203 258.01 54.18 4.76 1000000 0 82.37/82.49 c 113 214 252.55 53.46 4.72 1000000 0 83.47/83.52 c 127 252 259.29 60.41 4.29 1000000 0 84.47/84.55 c 101 251 245.07 58.43 4.19 1000000 0 85.47/85.58 c 125 239 251.27 60.73 4.14 1000000 0 86.57/86.61 c 129 218 256.27 62.57 4.10 1000000 0 87.57/87.64 c 105 187 255.44 63.51 4.02 1000000 0 88.57/88.66 c 112 217 255.73 52.86 4.84 1000000 0 89.57/89.69 c 78 270 253.11 66.26 3.82 1000000 0 90.67/90.72 c 67 201 253.68 58.40 4.34 1000000 0 91.67/91.75 c 99 241 253.79 70.89 3.58 1000000 0 92.66/92.78 c 113 239 243.67 53.80 4.53 1000000 0 93.76/93.81 c 108 287 251.59 62.37 4.03 1000000 0 94.76/94.84 c 111 213 257.81 58.44 4.41 1000000 0 95.76/95.87 c 100 191 246.23 54.86 4.49 1000000 0 96.86/96.90 c 112 254 241.71 50.73 4.76 1000000 0 97.87/97.93 c 100 292 255.32 64.43 3.96 1000000 0 98.87/98.96 c 88 243 247.06 62.94 3.93 1000000 0 99.86/99.99 c 89 257 261.77 59.57 4.39 1000000 0 100.96/101.02 c 114 236 254.46 58.27 4.37 1000000 0 101.96/102.05 c 127 239 263.27 56.91 4.63 1000000 0 102.96/103.08 c 102 238 254.44 58.96 4.32 1000000 0 104.06/104.11 c 118 262 257.89 57.37 4.50 1000000 0 105.06/105.14 c 131 228 256.32 52.01 4.93 1000000 0 106.06/106.17 c 83 305 250.54 65.08 3.85 1000000 0 107.16/107.20 c 81 277 248.87 55.99 4.44 1000000 0 108.16/108.23 c 118 187 265.20 53.31 4.97 1000000 0 109.16/109.26 c 113 334 249.19 54.39 4.58 1000000 0 110.16/110.29 c 109 276 250.19 67.35 3.71 1000000 0 111.26/111.32 c 119 301 252.22 52.74 4.78 1000000 0 112.26/112.35 c 94 260 251.31 63.26 3.97 1000000 0 113.27/113.38 c 108 296 258.40 61.57 4.20 1000000 0 114.37/114.42 c 99 322 257.71 65.94 3.91 1000000 0 115.36/115.44 c 89 256 255.21 66.75 3.82 1000000 0 116.36/116.47 c 125 185 253.28 50.72 4.99 1000000 0 117.46/117.50 c 106 188 254.82 59.39 4.29 1000000 0 118.46/118.53 c 95 269 254.05 69.80 3.64 1000000 0 119.45/119.57 c 112 248 248.93 53.94 4.62 1000000 0 120.45/120.60 c 90 207 253.36 64.98 3.90 1000000 0 121.55/121.62 c 101 247 250.26 59.59 4.20 1000000 0 122.55/122.65 c 105 198 251.81 67.35 3.74 1000000 0 123.55/123.69 c 131 235 260.25 60.40 4.31 1000000 0 124.65/124.72 c 126 287 259.70 59.72 4.35 1000000 0 125.65/125.75 c 101 275 250.85 58.31 4.30 1000000 0 126.65/126.77 c 90 177 256.78 57.46 4.47 1000000 0 127.75/127.81 c 109 231 258.32 63.06 4.10 1000000 0 128.75/128.84 c 100 243 250.57 51.80 4.84 1000000 0 129.76/129.87 c 90 274 253.25 57.50 4.40 1000000 0 130.76/130.90 c 102 273 253.09 64.88 3.90 1000000 0 131.86/131.93 c 109 276 255.08 67.39 3.79 1000000 0 132.85/132.96 c 87 188 259.94 56.72 4.58 1000000 0 133.85/133.98 c 93 299 242.86 58.15 4.18 1000000 0 134.95/135.02 c 108 171 247.29 62.89 3.93 1000000 0 135.95/136.04 c 66 262 238.44 56.28 4.24 1000000 0 136.95/137.08 c 110 206 257.56 64.39 4.00 1000000 0 138.05/138.11 c 113 231 254.61 64.73 3.93 1000000 0 139.05/139.14 c 106 223 254.55 55.09 4.62 1000000 0 140.05/140.17 c 81 276 257.92 54.13 4.76 1000000 0 141.05/141.19 c 105 202 237.79 58.76 4.05 1000000 0 142.15/142.22 c 111 275 257.60 60.46 4.26 1000000 0 143.15/143.26 c 83 308 262.87 61.86 4.25 1000000 0 144.15/144.28 c 125 211 253.42 69.90 3.63 1000000 0 145.25/145.31 c 84 267 247.58 51.87 4.77 1000000 0 146.25/146.34 c 106 232 251.69 54.14 4.65 1000000 0 147.25/147.37 c 97 297 249.56 57.77 4.32 1000000 0 148.35/148.40 c 100 198 244.26 59.74 4.09 1000000 0 149.35/149.43 c 106 221 253.49 53.75 4.72 1000000 0 150.35/150.46 c 88 213 255.62 57.26 4.46 1000000 0 151.35/151.49 c 103 244 245.01 51.20 4.79 1000000 0 152.45/152.52 c 103 162 247.26 51.82 4.77 1000000 0 153.45/153.55 c 106 289 251.25 58.09 4.32 1000000 0 154.45/154.58 c 109 218 249.39 58.52 4.26 1000000 0 155.55/155.61 c 93 253 248.60 68.29 3.64 1000000 0 156.55/156.64 c 108 226 253.52 60.99 4.16 1000000 0 157.54/157.67 c 85 244 261.46 62.57 4.18 1000000 0 158.64/158.70 c 116 230 260.77 61.41 4.25 1000000 0 159.64/159.73 c 75 324 246.79 61.15 4.04 1000000 0 160.64/160.76 c 60 199 243.43 61.96 3.93 1000000 0 161.65/161.79 c 104 243 250.00 59.59 4.20 1000000 0 162.75/162.82 c 102 252 255.60 65.99 3.87 1000000 0 163.75/163.85 c 99 253 263.58 55.27 4.77 1000000 0 164.74/164.88 c 109 331 251.30 56.17 4.47 1000000 0 165.84/165.91 c 94 189 250.76 63.88 3.93 1000000 0 166.84/166.94 c 104 269 255.03 64.17 3.97 1000000 0 167.84/167.97 c 70 208 251.80 57.78 4.36 1000000 0 168.84/169.00 c 85 212 251.21 63.56 3.95 1000000 0 169.94/170.03 c 102 223 251.44 60.02 4.19 1000000 0 170.94/171.06 c 117 260 264.14 57.56 4.59 1000000 0 171.94/172.09 c 111 247 245.56 62.15 3.95 1000000 0 173.04/173.12 c 101 219 251.92 56.71 4.44 1000000 0 174.04/174.15 c 48 275 252.50 60.18 4.20 1000000 0 175.04/175.18 c 76 284 265.69 69.65 3.81 1000000 0 176.14/176.21 c 76 208 247.30 71.20 3.47 1000000 0 177.14/177.24 c 100 194 257.81 58.21 4.43 1000000 0 178.15/178.27 c 107 223 252.22 55.15 4.57 1000000 0 179.15/179.30 c 68 265 245.53 57.54 4.27 1000000 0 180.25/180.33 c 108 263 254.31 59.96 4.24 1000000 0 181.24/181.36 c 100 237 257.96 73.59 3.51 1000000 0 182.24/182.39 c 97 337 262.29 63.01 4.16 1000000 0 183.34/183.42 c 125 316 251.95 50.10 5.03 1000000 0 184.34/184.44 c 109 274 249.42 60.91 4.09 1000000 0 185.34/185.47 c 94 290 248.99 59.98 4.15 1000000 0 186.44/186.50 c 108 220 250.02 56.60 4.42 1000000 0 187.44/187.53 c 75 223 245.47 67.69 3.63 1000000 0 188.44/188.56 c 86 234 251.79 58.49 4.30 1000000 0 189.44/189.59 c 108 214 255.88 66.66 3.84 1000000 0 190.54/190.62 c 94 227 257.10 56.91 4.52 1000000 0 191.53/191.65 c 96 289 247.17 67.94 3.64 1000000 0 192.53/192.68 c 100 268 260.27 65.84 3.95 1000000 0 193.63/193.71 c 94 235 238.75 58.30 4.10 1000000 0 194.64/194.74 c 123 216 259.93 58.60 4.44 1000000 0 195.64/195.77 c 102 213 256.67 59.75 4.30 1000000 0 196.74/196.80 c 68 257 258.52 59.06 4.38 1000000 0 197.73/197.83 c 105 205 255.97 59.14 4.33 1000000 0 198.73/198.86 c 98 266 256.88 65.84 3.90 1000000 0 199.73/199.89 c 103 229 254.84 61.67 4.13 1000000 0 200.83/200.91 c 86 244 240.93 56.83 4.24 1000000 0 201.83/201.94 c 129 265 258.58 59.31 4.36 1000000 0 202.83/202.97 c 138 210 270.03 65.84 4.10 1000000 0 203.93/204.01 c 123 238 266.92 55.38 4.82 1000000 0 204.93/205.03 c 114 208 258.60 60.40 4.28 1000000 0 205.93/206.07 c 81 230 257.96 59.83 4.31 1000000 0 207.03/207.10 c 121 224 256.29 64.74 3.96 1000000 0 208.03/208.12 c 112 297 254.26 57.89 4.39 1000000 0 209.03/209.15 c 109 205 245.41 58.37 4.20 1000000 0 210.04/210.19 c 112 312 261.73 56.11 4.66 1000000 0 211.14/211.22 c 104 159 250.48 59.50 4.21 1000000 0 212.14/212.24 c 91 249 246.02 61.19 4.02 1000000 0 213.13/213.27 c 97 220 245.95 71.62 3.43 1000000 0 214.23/214.30 c 112 264 258.80 58.98 4.39 1000000 0 215.23/215.33 c 92 323 242.27 55.06 4.40 1000000 0 216.23/216.36 c 115 252 263.85 60.93 4.33 1000000 0 217.23/217.39 c 121 187 263.98 61.14 4.32 1000000 0 218.33/218.42 c 67 183 248.85 61.42 4.05 1000000 0 219.33/219.45 c 106 223 239.05 62.70 3.81 1000000 0 220.33/220.48 c 103 216 247.87 66.22 3.74 1000000 0 221.43/221.51 c 112 220 263.88 57.92 4.56 1000000 0 222.43/222.54 c 103 331 255.02 57.22 4.46 1000000 0 223.43/223.57 c 91 203 248.89 66.49 3.74 1000000 0 224.53/224.60 c 98 247 254.86 59.53 4.28 1000000 0 225.53/225.64 c 93 200 259.79 61.65 4.21 1000000 0 226.53/226.66 c 114 213 247.35 59.98 4.12 1000000 0 227.53/227.69 c 101 255 251.75 64.01 3.93 1000000 0 228.63/228.72 c 95 216 254.61 73.77 3.45 1000000 0 229.63/229.76 c 87 252 259.33 71.49 3.63 1000000 0 230.62/230.79 c 92 291 252.05 53.15 4.74 1000000 0 231.72/231.82 c 96 213 252.65 62.67 4.03 1000000 0 232.72/232.85 c 95 253 247.45 58.57 4.22 1000000 0 233.72/233.88 c 103 284 249.24 49.82 5.00 1000000 0 234.82/234.91 c 99 296 252.16 58.19 4.33 1000000 0 235.82/235.93 c 94 210 254.04 59.93 4.24 1000000 0 236.82/236.96 c 97 301 247.18 57.60 4.29 1000000 0 237.92/238.00 c 102 236 258.06 57.14 4.52 1000000 0 238.92/239.02 c 96 273 245.83 58.20 4.22 1000000 0 239.92/240.05 c 84 246 248.21 56.11 4.42 1000000 0 240.92/241.08 c 119 248 257.48 51.86 4.96 1000000 0 242.02/242.11 c 106 222 250.26 56.48 4.43 1000000 0 243.03/243.14 c 115 306 247.24 53.74 4.60 1000000 0 244.03/244.17 c 95 228 247.72 61.45 4.03 1000000 0 245.13/245.20 c 86 278 252.84 58.99 4.29 1000000 0 246.12/246.23 c 108 168 253.91 67.10 3.78 1000000 0 247.12/247.26 c 93 239 262.08 62.72 4.18 1000000 0 248.12/248.29 c 100 322 249.55 56.23 4.44 1000000 0 249.22/249.32 c 101 306 239.30 64.49 3.71 1000000 0 250.22/250.35 c 81 230 257.44 59.05 4.36 1000000 0 251.22/251.38 c 79 288 252.38 63.11 4.00 1000000 0 252.32/252.41 c 105 288 249.34 52.76 4.73 1000000 0 253.32/253.44 c 130 305 268.18 52.64 5.10 1000000 0 254.32/254.47 c 81 275 250.19 61.49 4.07 1000000 0 255.42/255.50 c 97 191 253.18 54.08 4.68 1000000 0 256.42/256.53 c 104 275 255.37 71.05 3.59 1000000 0 257.42/257.57 c 101 230 260.72 54.11 4.82 1000000 0 258.51/258.60 c 118 223 258.20 64.37 4.01 1000000 0 259.52/259.63 c 125 249 268.86 56.24 4.78 1000000 0 260.52/260.66 c 108 204 251.06 63.85 3.93 1000000 0 261.51/261.69 c 72 234 251.30 63.32 3.97 1000000 0 262.61/262.71 c 102 266 244.29 61.47 3.97 1000000 0 263.61/263.75 c 125 239 268.44 68.62 3.91 1000000 0 264.61/264.77 c 85 247 258.24 61.49 4.20 1000000 0 265.71/265.80 c 92 263 260.99 67.72 3.85 1000000 0 266.71/266.83 c 104 292 255.66 63.45 4.03 1000000 0 267.71/267.86 c 64 201 247.19 72.16 3.43 1000000 0 268.71/268.89 c 91 275 252.33 62.71 4.02 1000000 0 269.81/269.93 c 99 297 253.70 57.06 4.45 1000000 0 270.81/270.96 c 106 313 263.10 57.00 4.62 1000000 0 271.81/271.99 c 70 280 244.29 63.67 3.84 1000000 0 272.91/273.02 c 121 240 270.34 66.63 4.06 1000000 0 273.91/274.05 c 115 181 249.82 55.63 4.49 1000000 0 274.92/275.08 c 116 223 254.61 63.74 3.99 1000000 0 276.02/276.11 c 99 272 256.45 64.58 3.97 1000000 0 277.01/277.13 c 99 273 251.36 59.81 4.20 1000000 0 278.01/278.16 c 89 277 245.57 61.43 4.00 1000000 0 279.01/279.19 c 106 327 244.47 51.96 4.71 1000000 0 280.11/280.22 c 98 222 255.20 62.11 4.11 1000000 0 281.11/281.25 c 104 210 253.90 67.06 3.79 1000000 0 282.11/282.28 c 128 289 270.40 54.78 4.94 1000000 0 283.21/283.31 c 104 210 236.06 59.50 3.97 1000000 0 284.21/284.33 c 108 229 244.34 56.16 4.35 1000000 0 285.20/285.36 c 96 192 251.73 57.64 4.37 1000000 0 286.20/286.39 c 103 227 239.78 65.70 3.65 1000000 0 287.30/287.42 c 116 191 259.14 52.57 4.93 1000000 0 288.30/288.45 c 105 223 254.26 58.79 4.32 1000000 0 289.30/289.48 c 100 290 250.91 62.43 4.02 1000000 0 290.40/290.51 c 94 244 252.56 57.77 4.37 1000000 0 291.41/291.54 c 86 280 241.03 67.38 3.58 1000000 0 292.41/292.57 c 103 274 251.04 57.04 4.40 1000000 0 293.51/293.60 c 92 304 261.78 60.57 4.32 1000000 0 294.50/294.63 c 112 211 253.05 54.62 4.63 1000000 0 295.50/295.66 c 133 230 255.45 61.49 4.15 1000000 0 296.50/296.69 c 99 164 255.47 57.37 4.45 1000000 0 297.60/297.72 c 78 323 250.27 62.08 4.03 1000000 0 298.60/298.75 c 87 246 253.65 54.10 4.69 1000000 0 299.60/299.78 c 123 259 251.30 60.59 4.15 1000000 0 300.70/300.81 c 108 145 250.06 57.88 4.32 1000000 0 301.70/301.84 c 99 236 253.85 70.96 3.58 1000000 0 302.70/302.87 c 55 228 251.05 59.21 4.24 1000000 0 303.80/303.90 c 111 262 258.76 62.20 4.16 1000000 0 304.80/304.93 c 94 201 254.42 55.88 4.55 1000000 0 305.80/305.96 c 92 247 248.25 65.48 3.79 1000000 0 306.81/306.99 c 62 243 247.89 64.51 3.84 1000000 0 307.91/308.02 c 117 278 250.01 59.82 4.18 1000000 0 308.91/309.05 c 87 230 260.30 59.05 4.41 1000000 0 309.90/310.08 c 117 198 256.65 60.09 4.27 1000000 0 311.00/311.11 c 110 327 249.57 55.72 4.48 1000000 0 312.00/312.14 c 85 267 251.33 64.18 3.92 1000000 0 313.00/313.17 c 98 285 262.20 66.84 3.92 1000000 0 314.00/314.20 c 113 236 254.22 61.07 4.16 1000000 0 315.10/315.23 c 123 247 257.17 50.55 5.09 1000000 0 316.10/316.26 c 84 329 252.19 67.82 3.72 1000000 0 317.10/317.29 c 103 273 243.79 61.25 3.98 1000000 0 318.20/318.32 c 79 233 255.50 64.06 3.99 1000000 0 319.20/319.35 c 114 231 240.24 53.48 4.49 1000000 0 320.19/320.38 c 100 299 260.01 64.89 4.01 1000000 0 321.29/321.41 c 118 211 258.82 47.59 5.44 1000000 0 322.29/322.44 c 100 295 252.79 52.71 4.80 1000000 0 323.30/323.47 c 102 205 245.30 56.33 4.35 1000000 0 324.30/324.50 c 90 226 254.93 56.24 4.53 1000000 0 325.40/325.53 c 76 250 256.66 56.94 4.51 1000000 0 326.39/326.56 c 90 208 257.04 66.49 3.87 1000000 0 327.39/327.59 c 54 211 247.75 59.77 4.14 1000000 0 328.49/328.62 c 101 206 252.39 56.02 4.51 1000000 0 329.49/329.65 c 110 281 258.37 57.86 4.47 1000000 0 330.49/330.68 c 97 134 254.42 65.02 3.91 1000000 0 331.59/331.72 c 122 261 260.31 65.88 3.95 1000000 0 332.59/332.75 c 97 229 251.95 55.05 4.58 1000000 0 333.59/333.78 c 110 296 256.08 51.82 4.94 1000000 0 334.69/334.81 c 103 233 266.36 61.13 4.36 1000000 0 335.69/335.84 c 122 241 271.13 65.12 4.16 1000000 0 336.69/336.87 c 131 211 268.03 57.45 4.67 1000000 0 337.79/337.90 c 91 237 246.88 58.86 4.19 1000000 0 338.79/338.93 c 114 231 254.70 53.37 4.77 1000000 0 339.80/339.96 c 98 178 255.20 73.24 3.48 1000000 0 340.80/340.99 c 111 250 240.04 52.10 4.61 1000000 0 341.90/342.02 c 131 281 262.79 46.05 5.71 1000000 0 342.89/343.05 c 80 299 244.33 60.69 4.03 1000000 0 343.89/344.08 c 97 254 255.84 59.88 4.27 1000000 0 344.99/345.11 c 74 137 257.02 73.38 3.50 1000000 0 345.99/346.13 c 72 263 252.85 63.30 3.99 1000000 0 346.99/347.16 c 92 170 254.14 64.01 3.97 1000000 0 347.99/348.19 c 80 176 248.86 57.39 4.34 1000000 0 349.09/349.22 c 116 224 258.94 54.81 4.72 1000000 0 350.09/350.25 c 105 255 245.13 54.27 4.52 1000000 0 351.09/351.28 c 105 280 249.16 61.67 4.04 1000000 0 352.19/352.31 c 126 267 256.05 57.68 4.44 1000000 0 353.19/353.34 c 74 247 246.49 66.61 3.70 1000000 0 354.19/354.37 c 115 338 260.51 58.57 4.45 1000000 0 355.28/355.40 c 107 193 241.90 56.32 4.29 1000000 0 356.29/356.43 c 119 305 259.28 53.34 4.86 1000000 0 357.29/357.46 c 101 223 258.11 53.62 4.81 1000000 0 358.28/358.49 c 108 258 248.59 53.72 4.63 1000000 0 359.38/359.52 c 102 218 248.08 58.57 4.24 1000000 0 360.38/360.55 c 91 278 261.82 58.10 4.51 1000000 0 361.38/361.58 c 118 198 257.17 55.79 4.61 1000000 0 362.48/362.61 c 109 207 261.61 60.19 4.35 1000000 0 363.48/363.64 c 100 239 253.53 62.95 4.03 1000000 0 364.48/364.67 c 105 229 251.14 57.12 4.40 1000000 0 365.58/365.70 c 96 350 250.91 64.52 3.89 1000000 0 366.58/366.73 c 83 267 256.81 64.09 4.01 1000000 0 367.58/367.76 c 100 251 257.48 55.51 4.64 1000000 0 368.58/368.79 c 73 271 249.27 65.43 3.81 1000000 0 369.68/369.82 c 63 206 238.57 58.07 4.11 1000000 0 370.68/370.85 c 107 290 256.97 70.18 3.66 1000000 0 371.69/371.87 c 89 180 245.72 62.28 3.95 1000000 0 372.69/372.90 c 92 236 242.90 60.03 4.05 1000000 0 373.79/373.93 c 91 145 245.28 60.28 4.07 1000000 0 374.78/374.96 c 70 207 241.17 65.72 3.67 1000000 0 375.78/375.99 c 124 259 266.18 49.16 5.41 1000000 0 376.88/377.03 c 134 268 269.56 63.95 4.22 1000000 0 377.88/378.05 c 105 254 240.69 58.44 4.12 1000000 0 378.88/379.08 c 105 254 252.84 54.46 4.64 1000000 0 379.98/380.11 c 109 281 242.09 61.18 3.96 1000000 0 380.98/381.14 c 95 307 248.38 58.24 4.27 1000000 0 381.98/382.17 c 113 176 247.57 53.15 4.66 1000000 0 383.08/383.20 c 109 333 253.07 63.45 3.99 1000000 0 384.08/384.23 c 76 228 249.85 62.93 3.97 1000000 0 385.08/385.26 c 78 225 248.76 53.43 4.66 1000000 0 386.08/386.29 c 95 202 260.30 65.67 3.96 1000000 0 387.18/387.32 c 111 298 261.20 60.33 4.33 1000000 0 388.18/388.36 c 106 221 261.80 59.02 4.44 1000000 0 389.19/389.38 c 100 216 260.69 58.69 4.44 1000000 0 390.29/390.42 c 88 228 254.68 57.33 4.44 1000000 0 391.28/391.44 c 126 292 260.36 58.62 4.44 1000000 0 392.28/392.47 c 100 319 240.66 54.77 4.39 1000000 0 393.38/393.50 c 78 226 246.39 54.63 4.51 1000000 0 394.38/394.53 c 109 333 253.89 60.98 4.16 1000000 0 395.38/395.56 c 110 277 259.09 65.77 3.94 1000000 0 396.38/396.59 c 131 139 261.50 51.36 5.09 1000000 0 397.48/397.62 c 106 227 245.36 59.41 4.13 1000000 0 398.48/398.65 c 69 272 246.00 59.41 4.14 1000000 0 399.48/399.68 c 126 281 261.61 57.18 4.58 1000000 0 400.58/400.72 c 99 279 258.79 63.97 4.05 1000000 0 401.58/401.74 c 106 321 245.37 59.69 4.11 1000000 0 402.58/402.77 c 113 259 246.60 59.41 4.15 1000000 0 403.68/403.80 c 106 162 254.75 55.13 4.62 1000000 0 404.69/404.83 c 61 284 256.63 66.83 3.84 1000000 0 405.69/405.86 c 108 294 260.20 53.39 4.87 1000000 0 406.68/406.89 c 83 312 249.90 58.94 4.24 1000000 0 407.78/407.92 c 111 299 251.28 55.99 4.49 1000000 0 408.78/408.95 c 83 299 250.77 63.62 3.94 1000000 0 409.78/409.98 c 90 158 246.54 64.97 3.79 1000000 0 410.88/411.00 c 70 265 240.71 56.90 4.23 1000000 0 411.88/412.03 c 116 258 258.86 52.81 4.90 1000000 0 412.88/413.06 c 75 261 255.12 69.96 3.65 1000000 0 413.88/414.09 c 93 206 248.42 57.59 4.31 1000000 0 414.98/415.12 c 118 256 243.93 51.95 4.70 1000000 0 415.98/416.15 c 70 234 251.51 57.80 4.35 1000000 0 416.98/417.18 c 117 303 250.56 50.89 4.92 1000000 0 418.08/418.21 c 99 215 250.63 69.12 3.63 1000000 0 419.08/419.24 c 115 294 249.30 57.90 4.31 1000000 0 420.08/420.27 c 94 224 253.25 69.60 3.64 1000000 0 421.08/421.30 c 91 169 248.56 62.68 3.97 1000000 0 422.18/422.33 c 102 209 254.19 66.81 3.80 1000000 0 423.17/423.36 c 106 187 262.03 57.33 4.57 1000000 0 424.17/424.39 c 89 307 256.74 56.82 4.52 1000000 0 425.27/425.42 c 111 253 254.90 55.58 4.59 1000000 0 426.27/426.45 c 102 258 251.02 61.10 4.11 1000000 0 427.27/427.48 c 110 277 254.45 59.79 4.26 1000000 0 428.37/428.51 c 93 257 258.92 65.43 3.96 1000000 0 429.37/429.54 c 118 240 260.01 56.24 4.62 1000000 0 430.37/430.57 c 112 284 244.62 56.75 4.31 1000000 0 431.47/431.60 c 76 180 247.47 69.03 3.58 1000000 0 432.47/432.63 c 111 264 250.14 56.62 4.42 1000000 0 433.47/433.66 c 121 200 259.81 53.11 4.89 1000000 0 434.47/434.69 c 96 304 253.03 63.73 3.97 1000000 0 435.57/435.73 c 82 210 257.22 59.05 4.36 1000000 0 436.58/436.76 c 121 370 266.32 62.40 4.27 1000000 0 437.58/437.79 c 109 210 251.96 61.58 4.09 1000000 0 438.68/438.82 c 103 252 252.46 67.50 3.74 1000000 0 439.67/439.85 c 86 302 253.32 67.29 3.76 1000000 0 440.67/440.88 c 110 288 248.29 51.82 4.79 1000000 0 441.77/441.91 c 115 341 256.71 60.31 4.26 1000000 0 442.77/442.94 c 87 287 264.19 64.59 4.09 1000000 0 443.77/443.97 c 80 288 250.39 62.22 4.02 1000000 0 444.87/445.00 c 79 250 248.06 62.82 3.95 1000000 0 445.87/446.03 c 125 238 255.17 55.02 4.64 1000000 0 446.87/447.06 c 92 219 253.73 60.49 4.19 1000000 0 447.87/448.08 c 71 256 249.91 65.58 3.81 1000000 0 448.97/449.11 c 111 263 250.66 57.61 4.35 1000000 0 449.97/450.15 c 59 274 252.45 56.84 4.44 1000000 0 450.97/451.18 c 103 206 250.12 63.66 3.93 1000000 0 452.07/452.21 c 138 170 265.72 53.89 4.93 1000000 0 453.08/453.24 c 94 304 258.25 61.49 4.20 1000000 0 454.07/454.27 c 112 281 254.46 56.11 4.53 1000000 0 455.17/455.30 c 82 308 251.16 58.55 4.29 1000000 0 456.17/456.33 c 106 277 252.09 55.30 4.56 1000000 0 457.17/457.36 c 100 256 258.85 56.46 4.58 1000000 0 458.17/458.38 c 93 190 243.82 61.33 3.98 1000000 0 459.27/459.41 c 94 254 247.50 70.16 3.53 1000000 0 460.27/460.44 c 119 186 252.76 57.96 4.36 1000000 0 461.26/461.47 c 77 188 253.35 65.11 3.89 1000000 0 462.36/462.50 c 112 258 257.99 57.53 4.48 1000000 0 463.36/463.53 c 98 189 257.47 57.48 4.48 1000000 0 464.36/464.56 c 79 322 250.20 58.49 4.28 1000000 0 465.36/465.59 c 92 270 258.69 56.84 4.55 1000000 0 466.46/466.62 c 95 244 253.50 57.09 4.44 1000000 0 467.46/467.65 c 100 211 252.92 52.80 4.79 1000000 0 468.47/468.69 c 121 215 261.61 63.92 4.09 1000000 0 469.57/469.72 c 102 207 254.87 55.95 4.56 1000000 0 470.57/470.74 c 108 176 248.78 48.54 5.13 1000000 0 471.56/471.78 c 99 261 262.90 64.57 4.07 1000000 0 472.66/472.81 c 110 209 245.88 65.44 3.76 1000000 0 473.66/473.83 c 70 219 251.91 62.15 4.05 1000000 0 474.66/474.86 c 70 205 248.41 69.46 3.58 1000000 0 475.66/475.89 c 100 248 254.75 59.87 4.25 1000000 0 476.76/476.92 c 119 241 250.67 63.49 3.95 1000000 0 477.76/477.95 c 79 271 245.97 60.76 4.05 1000000 0 478.76/478.98 c 123 195 257.81 53.68 4.80 1000000 0 479.86/480.01 c 94 254 250.62 66.14 3.79 1000000 0 480.86/481.04 c 123 172 259.19 56.58 4.58 1000000 0 481.86/482.07 c 89 279 251.48 54.46 4.62 1000000 0 482.96/483.10 c 78 313 258.17 63.18 4.09 1000000 0 483.96/484.13 c 111 217 252.30 57.97 4.35 1000000 0 484.97/485.16 c 103 296 258.24 53.36 4.84 1000000 0 485.97/486.19 c 105 252 244.38 52.67 4.64 1000000 0 487.06/487.22 c 99 189 249.11 58.63 4.25 1000000 0 488.06/488.25 c 70 213 253.33 61.29 4.13 1000000 0 489.06/489.28 c 110 255 267.91 50.12 5.35 1000000 0 490.16/490.31 c 96 281 259.10 53.16 4.87 1000000 0 491.16/491.34 c 124 334 259.06 54.18 4.78 1000000 0 492.16/492.37 c 93 282 255.69 55.93 4.57 1000000 0 493.26/493.41 c 110 293 260.37 63.76 4.08 1000000 0 494.26/494.44 c 88 212 252.77 59.65 4.24 1000000 0 495.26/495.47 c 102 265 261.33 67.04 3.90 1000000 0 496.36/496.50 c 112 193 256.39 61.05 4.20 1000000 0 497.36/497.53 c 108 230 255.73 58.97 4.34 1000000 0 498.36/498.56 c 77 282 255.25 65.54 3.89 1000000 0 499.35/499.59 c 89 219 246.45 55.72 4.42 1000000 0 500.45/500.62 c 103 162 260.62 58.36 4.47 1000000 0 501.46/501.65 c 88 180 242.38 65.33 3.71 1000000 0 502.46/502.68 c 72 244 249.22 55.75 4.47 1000000 0 503.56/503.71 c 119 209 256.18 57.71 4.44 1000000 0 504.55/504.74 c 87 363 248.49 60.39 4.11 1000000 0 505.55/505.77 c 82 270 236.06 69.51 3.40 1000000 0 506.55/506.79 c 115 277 248.62 53.29 4.67 1000000 0 507.65/507.82 c 75 305 245.52 59.23 4.15 1000000 0 508.65/508.85 c 112 215 256.17 57.91 4.42 1000000 0 509.65/509.88 c 97 188 249.97 64.10 3.90 1000000 0 510.75/510.91 c 76 333 258.11 60.33 4.28 1000000 0 511.75/511.94 c 96 250 249.29 59.30 4.20 1000000 0 512.75/512.97 c 106 199 251.84 68.26 3.69 1000000 0 513.85/514.00 c 75 187 259.69 63.26 4.11 1000000 0 514.85/515.03 c 112 227 247.17 54.28 4.55 1000000 0 515.85/516.06 c 105 186 254.05 58.74 4.33 1000000 0 516.86/517.09 c 94 267 249.53 59.51 4.19 1000000 0 517.96/518.12 c 106 216 252.96 54.53 4.64 1000000 0 518.96/519.15 c 34 310 233.57 64.40 3.63 1000000 0 519.95/520.18 c 77 192 253.58 63.32 4.00 1000000 0 521.05/521.21 c 98 236 248.63 58.44 4.25 1000000 0 522.05/522.24 c 97 265 258.53 62.25 4.15 1000000 0 523.05/523.27 c 98 342 254.10 60.81 4.18 1000000 0 524.15/524.30 c 101 233 255.49 62.00 4.12 1000000 0 525.15/525.33 c 99 226 247.27 62.81 3.94 1000000 0 526.15/526.36 c 99 159 244.03 59.09 4.13 1000000 0 527.15/527.39 c 110 197 258.35 63.10 4.09 1000000 0 528.25/528.42 c 100 211 259.82 66.86 3.89 1000000 0 529.25/529.45 c 76 287 245.27 53.81 4.56 1000000 0 530.25/530.48 c 125 284 248.94 62.41 3.99 1000000 0 531.35/531.51 c 126 231 265.07 57.91 4.58 1000000 0 532.35/532.54 c 87 320 255.05 55.59 4.59 1000000 0 533.35/533.57 c 71 232 249.51 63.97 3.90 1000000 0 534.35/534.60 c 107 230 258.01 60.76 4.25 1000000 0 535.45/535.62 c 103 257 256.43 58.17 4.41 1000000 0 536.44/536.65 c 81 127 249.06 70.54 3.53 1000000 0 537.44/537.68 c 92 225 248.70 58.62 4.24 1000000 0 538.54/538.71 c 101 241 255.32 59.77 4.27 1000000 0 539.54/539.74 c 106 260 248.76 53.60 4.64 1000000 0 540.54/540.77 c 98 195 239.47 59.58 4.02 1000000 0 541.64/541.81 c 129 226 256.19 51.70 4.96 1000000 0 542.64/542.84 c 91 249 255.66 62.72 4.08 1000000 0 543.64/543.87 c 90 255 267.61 66.94 4.00 1000000 0 544.74/544.90 c 86 310 258.31 63.59 4.06 1000000 0 545.74/545.93 c 116 261 251.02 61.12 4.11 1000000 0 546.74/546.96 c 117 207 256.44 60.44 4.24 1000000 0 547.74/547.99 c 115 245 247.00 50.73 4.87 1000000 0 548.84/549.02 c 115 212 254.54 56.75 4.48 1000000 0 549.85/550.04 c 112 268 252.99 61.22 4.13 1000000 0 550.85/551.07 c 96 233 239.91 56.30 4.26 1000000 0 551.95/552.10 c 116 214 249.64 52.91 4.72 1000000 0 552.94/553.13 c 121 258 252.46 59.46 4.25 1000000 0 553.94/554.16 c 93 146 252.75 56.91 4.44 1000000 0 554.94/555.19 c 110 223 259.83 62.21 4.18 1000000 0 556.04/556.22 c 110 221 256.28 53.62 4.78 1000000 0 557.04/557.25 c 85 283 265.91 60.24 4.41 1000000 0 558.04/558.28 c 76 268 246.02 63.74 3.86 1000000 0 559.14/559.31 c 100 303 244.87 52.88 4.63 1000000 0 560.14/560.34 c 113 250 248.16 51.57 4.81 1000000 0 561.14/561.37 c 111 230 253.25 65.65 3.86 1000000 0 562.24/562.40 c 97 241 250.72 67.61 3.71 1000000 0 563.24/563.43 c 114 256 253.76 63.08 4.02 1000000 0 564.24/564.46 c 108 133 250.35 55.24 4.53 1000000 0 565.24/565.49 c 93 294 256.32 63.04 4.07 1000000 0 566.34/566.52 c 116 250 256.57 53.68 4.78 1000000 0 567.34/567.55 c 105 223 260.55 53.27 4.89 1000000 0 568.33/568.58 c 91 217 257.58 63.14 4.08 1000000 0 569.43/569.61 c 134 226 262.41 59.57 4.41 1000000 0 570.43/570.64 c 88 295 254.44 57.01 4.46 1000000 0 571.43/571.67 c 100 271 253.05 59.47 4.25 1000000 0 572.53/572.70 c 99 260 252.89 65.96 3.83 1000000 0 573.53/573.73 c 93 237 256.48 63.81 4.02 1000000 0 574.53/574.76 c 124 206 255.64 53.10 4.81 1000000 0 575.53/575.79 c 101 261 250.95 58.08 4.32 1000000 0 576.63/576.82 c 110 218 254.08 56.10 4.53 1000000 0 577.63/577.85 c 70 232 247.49 58.65 4.22 1000000 0 578.63/578.88 c 117 297 257.23 55.11 4.67 1000000 0 579.73/579.91 c 111 250 255.59 65.13 3.92 1000000 0 580.73/580.94 c 99 280 254.22 64.89 3.92 1000000 0 581.74/581.97 c 96 184 254.86 54.86 4.65 1000000 0 582.74/583.00 c 119 204 255.02 50.88 5.01 1000000 0 583.84/584.03 c 114 167 253.87 58.53 4.34 1000000 0 584.83/585.06 c 125 292 260.46 59.29 4.39 1000000 0 585.83/586.09 c 106 260 255.55 57.05 4.48 1000000 0 586.93/587.12 c 101 256 248.36 56.26 4.41 1000000 0 587.93/588.15 c 108 198 246.70 53.65 4.60 1000000 0 588.93/589.18 c 51 261 258.38 68.79 3.76 1000000 0 590.03/590.21 c 103 247 259.11 53.30 4.86 1000000 0 591.03/591.24 c 81 231 247.39 55.16 4.48 1000000 0 592.03/592.27 c 84 245 249.09 53.68 4.64 1000000 0 593.13/593.30 c 102 316 258.09 57.51 4.49 1000000 0 594.13/594.33 c 88 220 253.22 63.02 4.02 1000000 0 595.13/595.36 c 113 239 255.44 52.41 4.87 1000000 0 596.13/596.39 c 108 202 253.00 65.37 3.87 1000000 0 597.23/597.42 c 126 310 262.61 57.58 4.56 1000000 0 598.23/598.45 c 116 380 259.96 54.61 4.76 1000000 0 599.23/599.49 c 115 224 259.05 57.61 4.50 1000000 0 600.33/600.52 c 89 314 245.75 62.21 3.95 1000000 0 601.32/601.55 c 131 256 260.54 54.08 4.82 1000000 0 602.32/602.58 c 88 283 247.96 63.05 3.93 1000000 0 603.42/603.61 c 53 363 256.38 60.02 4.27 1000000 0 604.42/604.64 c 109 327 252.79 62.64 4.04 1000000 0 605.42/605.67 c 93 279 252.65 66.28 3.81 1000000 0 606.42/606.69 c 89 177 247.26 61.17 4.04 1000000 0 607.52/607.72 c 104 266 248.43 69.17 3.59 1000000 0 608.52/608.75 c 76 202 232.82 63.35 3.68 1000000 0 609.52/609.78 c 117 189 254.31 57.94 4.39 1000000 0 610.62/610.81 c 114 243 259.13 65.60 3.95 1000000 0 611.62/611.84 c 120 283 263.43 64.43 4.09 1000000 0 612.62/612.87 c 87 263 245.45 64.08 3.83 1000000 0 613.72/613.90 c 94 221 244.37 59.64 4.10 1000000 0 614.73/614.93 c 117 250 253.73 61.46 4.13 1000000 0 615.73/615.96 c 105 190 248.87 53.48 4.65 1000000 0 616.72/616.99 c 96 264 251.49 58.82 4.28 1000000 0 617.82/618.02 c 120 277 259.88 55.14 4.71 1000000 0 618.82/619.05 c 115 172 252.30 54.69 4.61 1000000 0 619.82/620.08 c 101 263 261.27 65.85 3.97 1000000 0 620.92/621.11 c 117 215 254.46 53.24 4.78 1000000 0 621.92/622.14 c 114 205 252.12 68.89 3.66 1000000 0 622.92/623.17 c 94 242 254.06 62.98 4.03 1000000 0 624.02/624.20 c 89 267 254.44 60.54 4.20 1000000 0 625.02/625.24 c 85 259 257.35 62.41 4.12 1000000 0 626.02/626.26 c 90 207 244.88 62.12 3.94 1000000 0 627.02/627.29 c 78 260 254.63 57.87 4.40 1000000 0 628.12/628.32 c 95 262 251.16 56.16 4.47 1000000 0 629.12/629.35 c 101 229 250.74 59.73 4.20 1000000 0 630.12/630.38 c 109 290 254.59 59.30 4.29 1000000 0 631.22/631.41 c 121 247 256.45 54.27 4.73 1000000 0 632.22/632.44 c 99 217 261.98 60.91 4.30 1000000 0 633.21/633.47 c 101 259 255.96 58.85 4.35 1000000 0 634.31/634.50 c 85 249 257.61 61.04 4.22 1000000 0 635.31/635.53 c 102 214 244.89 55.49 4.41 1000000 0 636.31/636.56 c 49 226 240.64 69.99 3.44 1000000 0 637.31/637.59 c 109 251 273.60 82.31 3.32 1000000 0 638.41/638.62 c 105 246 267.07 71.14 3.75 1000000 0 639.41/639.65 c 108 243 260.56 67.87 3.84 1000000 0 640.41/640.69 c 112 270 253.96 55.67 4.56 1000000 0 641.51/641.71 c 115 214 250.06 56.60 4.42 1000000 0 642.51/642.75 c 110 206 247.72 57.58 4.30 1000000 0 643.51/643.78 c 91 243 258.05 58.69 4.40 1000000 0 644.61/644.81 c 86 288 249.90 58.18 4.30 1000000 0 645.61/645.83 c 89 254 246.67 64.10 3.85 1000000 0 646.62/646.86 c 109 203 245.19 55.53 4.42 1000000 0 647.62/647.89 c 115 242 248.34 58.53 4.24 1000000 0 648.72/648.92 c 109 313 257.38 58.76 4.38 1000000 0 649.71/649.95 c 99 204 250.44 67.49 3.71 1000000 0 650.71/650.98 c 120 317 255.21 55.95 4.56 1000000 0 651.81/652.01 c 48 265 234.59 55.19 4.25 1000000 0 652.81/653.04 c 56 211 250.01 49.51 5.05 1000000 0 653.81/654.07 c 87 215 250.43 64.89 3.86 1000000 0 654.91/655.10 c 108 213 264.99 67.01 3.95 1000000 0 655.91/656.13 c 96 139 241.71 56.53 4.28 1000000 0 656.91/657.16 c 115 178 255.53 59.32 4.31 1000000 0 657.91/658.19 c 82 259 245.71 62.96 3.90 1000000 0 659.01/659.22 c 127 278 258.57 57.73 4.48 1000000 0 660.01/660.25 c 87 226 251.48 55.76 4.51 1000000 0 661.01/661.28 c 85 277 260.30 52.69 4.94 1000000 0 662.11/662.31 c 68 194 244.16 59.21 4.12 1000000 0 663.11/663.34 c 94 237 250.97 59.14 4.24 1000000 0 664.11/664.37 c 116 224 249.20 58.76 4.24 1000000 0 665.10/665.39 c 100 220 258.32 60.36 4.28 1000000 0 666.20/666.43 c 137 295 262.40 55.43 4.73 1000000 0 667.20/667.45 c 112 165 250.70 55.12 4.55 1000000 0 668.20/668.48 c 117 219 257.72 61.07 4.22 1000000 0 669.30/669.52 c 71 225 250.23 57.85 4.33 1000000 0 670.30/670.54 c 111 248 247.35 58.73 4.21 1000000 0 671.30/671.57 c 99 242 253.25 64.28 3.94 1000000 0 672.40/672.60 c 111 202 255.50 55.11 4.64 1000000 0 673.40/673.63 c 101 265 250.45 57.49 4.36 1000000 0 674.40/674.66 c 117 278 253.02 54.40 4.65 1000000 0 675.40/675.69 c 102 242 248.25 59.95 4.14 1000000 0 676.50/676.72 c 107 258 248.52 64.89 3.83 1000000 0 677.50/677.75 c 115 220 246.92 57.85 4.27 1000000 0 678.51/678.78 c 71 270 242.03 64.75 3.74 1000000 0 679.61/679.81 c 100 138 244.50 65.90 3.71 1000000 0 680.61/680.84 c 108 188 264.79 60.34 4.39 1000000 0 681.60/681.87 c 129 262 266.46 54.65 4.88 1000000 0 682.70/682.90 c 109 280 250.12 66.99 3.73 1000000 0 683.70/683.94 c 100 310 252.12 56.13 4.49 1000000 0 684.70/684.97 c 100 308 260.16 58.17 4.47 1000000 0 685.70/686.00 c 105 272 249.23 68.05 3.66 1000000 0 686.80/687.02 c 82 301 238.47 50.02 4.77 1000000 0 687.80/688.05 c 121 314 253.88 54.79 4.63 1000000 0 688.80/689.08 c 103 294 241.46 53.64 4.50 1000000 0 689.90/690.11 c 83 264 245.04 56.30 4.35 1000000 0 690.90/691.14 c 92 271 246.41 58.54 4.21 1000000 0 691.90/692.17 c 114 183 246.97 51.98 4.75 1000000 0 693.00/693.20 c 88 254 243.78 54.26 4.49 1000000 0 694.00/694.23 c 119 210 255.34 58.95 4.33 1000000 0 695.00/695.26 c 119 248 246.99 53.68 4.60 1000000 0 696.00/696.29 c 102 253 254.64 57.95 4.39 1000000 0 697.10/697.32 c 102 250 254.70 56.12 4.54 1000000 0 698.09/698.35 c 82 328 255.22 66.14 3.86 1000000 0 699.09/699.38 c 122 346 271.65 52.58 5.17 1000000 0 700.19/700.41 c 96 330 240.83 50.31 4.79 1000000 0 701.19/701.44 c 84 249 265.07 61.54 4.31 1000000 0 702.19/702.47 c 66 293 250.84 59.45 4.22 1000000 0 703.29/703.50 c 99 270 243.47 57.89 4.21 1000000 0 704.29/704.53 c 96 287 255.23 65.39 3.90 1000000 0 705.29/705.56 c 102 265 254.26 66.55 3.82 1000000 0 706.29/706.59 c 87 192 246.76 59.94 4.12 1000000 0 707.39/707.62 c 86 272 254.00 57.91 4.39 1000000 0 708.39/708.65 c 121 319 269.05 65.10 4.13 1000000 0 709.39/709.68 c 94 225 247.43 60.43 4.09 1000000 0 710.49/710.71 c 102 250 252.08 63.67 3.96 1000000 0 711.50/711.74 c 107 236 254.03 65.75 3.86 1000000 0 712.50/712.77 c 108 176 264.63 54.47 4.86 1000000 0 713.60/713.80 c 89 248 253.08 51.06 4.96 1000000 0 714.59/714.83 c 101 285 251.73 57.03 4.41 1000000 0 715.59/715.86 c 55 266 260.06 65.69 3.96 1000000 0 716.59/716.89 c 108 214 242.14 50.61 4.78 1000000 0 717.69/717.92 c 108 251 251.46 59.47 4.23 1000000 0 718.69/718.95 c 102 221 257.23 61.08 4.21 1000000 0 719.69/719.98 c 93 293 246.17 59.37 4.15 1000000 0 720.79/721.01 c 112 267 251.18 61.76 4.07 1000000 0 721.79/722.04 c 73 240 255.22 60.87 4.19 1000000 0 722.79/723.07 c 131 272 267.26 56.20 4.76 1000000 0 723.88/724.10 c 93 253 249.72 52.68 4.74 1000000 0 724.88/725.13 c 98 292 260.76 57.46 4.54 1000000 0 725.88/726.16 c 132 345 267.64 56.29 4.75 1000000 0 726.89/727.20 c 118 322 249.94 52.50 4.76 1000000 0 727.99/728.22 c 115 210 260.22 60.08 4.33 1000000 0 728.99/729.25 c 98 235 252.88 61.31 4.12 1000000 0 729.98/730.28 c 76 221 248.63 66.06 3.76 1000000 0 731.08/731.32 c 106 220 259.79 56.18 4.62 1000000 0 732.08/732.35 c 105 123 250.22 66.79 3.75 1000000 0 733.08/733.38 c 98 336 254.27 60.23 4.22 1000000 0 734.18/734.41 c 102 221 254.72 56.64 4.50 1000000 0 735.18/735.44 c 105 313 256.07 63.88 4.01 1000000 0 736.18/736.47 c 106 246 252.10 67.54 3.73 1000000 0 737.28/737.50 c 118 282 262.43 58.23 4.51 1000000 0 738.28/738.53 c 94 205 245.64 59.45 4.13 1000000 0 739.28/739.56 c 120 234 251.55 54.49 4.62 1000000 0 740.28/740.59 c 93 284 257.04 63.91 4.02 1000000 0 741.38/741.62 c 82 270 251.55 62.43 4.03 1000000 0 742.38/742.65 c 85 271 252.00 53.81 4.68 1000000 0 743.38/743.68 c 98 267 247.91 54.63 4.54 1000000 0 744.48/744.70 c 91 286 245.30 57.54 4.26 1000000 0 745.48/745.73 c 101 257 255.49 49.76 5.13 1000000 0 746.48/746.76 c 113 172 253.09 67.22 3.77 1000000 0 747.58/747.80 c 93 264 263.73 66.49 3.97 1000000 0 748.58/748.83 c 65 213 248.36 60.35 4.12 1000000 0 749.58/749.86 c 121 275 264.22 55.13 4.79 1000000 0 750.57/750.89 c 80 220 246.11 62.80 3.92 1000000 0 751.67/751.92 c 106 238 247.83 63.75 3.89 1000000 0 752.67/752.95 c 94 201 251.87 70.39 3.58 1000000 0 753.68/753.98 c 97 324 259.12 54.15 4.79 1000000 0 754.78/755.01 c 115 235 256.07 52.07 4.92 1000000 0 755.78/756.03 c 64 230 248.05 56.90 4.36 1000000 0 756.78/757.07 c 124 269 262.15 64.12 4.09 1000000 0 757.78/758.09 c 89 261 257.30 66.94 3.84 1000000 0 758.88/759.13 c 116 229 255.65 54.06 4.73 1000000 0 759.89/760.16 c 107 279 254.56 67.23 3.79 1000000 0 760.89/761.19 c 114 184 260.52 64.31 4.05 1000000 0 761.99/762.22 c 91 349 258.67 59.25 4.37 1000000 0 762.98/763.25 c 116 143 251.82 53.73 4.69 1000000 0 763.98/764.28 c 87 223 258.99 65.58 3.95 1000000 0 765.08/765.31 c 102 243 258.41 63.54 4.07 1000000 0 766.08/766.34 c 94 172 260.50 55.11 4.73 1000000 0 767.08/767.37 c 73 167 247.32 59.21 4.18 1000000 0 768.18/768.40 c 122 300 251.19 47.80 5.25 1000000 0 769.18/769.43 c 114 176 257.63 54.71 4.71 1000000 0 770.18/770.46 c 97 234 257.49 64.29 4.00 1000000 0 771.18/771.49 c 106 214 252.95 52.56 4.81 1000000 0 772.28/772.52 c 113 188 257.56 60.67 4.25 1000000 0 773.28/773.55 c 119 329 252.29 56.01 4.50 1000000 0 774.28/774.58 c 114 247 262.02 59.98 4.37 1000000 0 775.38/775.61 c 54 223 252.27 62.62 4.03 1000000 0 776.38/776.64 c 93 250 258.39 61.74 4.19 1000000 0 777.38/777.67 c 91 216 243.01 61.91 3.92 1000000 0 778.48/778.70 c 103 270 249.78 54.24 4.61 1000000 0 779.48/779.73 c 94 324 257.35 61.08 4.21 1000000 0 780.48/780.76 c 101 273 263.11 58.07 4.53 1000000 0 781.48/781.79 c 81 199 257.69 57.02 4.52 1000000 0 782.58/782.82 c 99 177 250.63 61.45 4.08 1000000 0 783.57/783.85 c 97 177 257.29 63.10 4.08 1000000 0 784.57/784.88 c 111 210 261.37 63.19 4.14 1000000 0 785.67/785.91 c 96 190 238.99 60.90 3.92 1000000 0 786.67/786.94 c 122 251 257.06 59.61 4.31 1000000 0 787.67/787.96 c 98 195 246.74 59.67 4.13 1000000 0 788.67/788.99 c 101 234 247.88 53.96 4.59 1000000 0 789.77/790.02 c 88 231 252.77 63.19 4.00 1000000 0 790.77/791.05 c 118 301 260.80 63.36 4.12 1000000 0 791.78/792.08 c 101 169 246.15 60.93 4.04 1000000 0 792.88/793.11 c 91 196 252.88 57.04 4.43 1000000 0 793.88/794.14 c 96 302 253.40 61.51 4.12 1000000 0 794.87/795.17 c 111 200 256.63 58.35 4.40 1000000 0 795.97/796.20 c 100 270 256.82 61.17 4.20 1000000 0 796.97/797.23 c 100 322 254.03 60.27 4.22 1000000 0 797.97/798.26 c 96 252 255.33 54.97 4.65 1000000 0 798.97/799.29 c 126 222 267.17 66.18 4.04 1000000 0 800.07/800.32 c 99 219 261.99 59.23 4.42 1000000 0 801.07/801.35 c 105 295 259.34 58.98 4.40 1000000 0 802.07/802.38 c 119 288 257.64 60.82 4.24 1000000 0 803.17/803.41 c 78 212 246.57 59.09 4.17 1000000 0 804.17/804.44 c 104 294 245.45 57.26 4.29 1000000 0 805.17/805.47 c 61 232 245.85 70.22 3.50 1000000 0 806.27/806.50 c 113 257 256.29 61.87 4.14 1000000 0 807.27/807.53 c 118 191 254.36 57.91 4.39 1000000 0 808.28/808.56 c 83 177 253.39 62.09 4.08 1000000 0 809.27/809.59 c 107 185 253.33 71.47 3.54 1000000 0 810.37/810.62 c 77 294 264.98 56.08 4.72 1000000 0 811.37/811.65 c 93 193 262.52 70.77 3.71 1000000 0 812.37/812.69 c 130 223 268.97 50.43 5.33 1000000 0 813.47/813.72 c 100 290 250.02 59.12 4.23 1000000 0 814.47/814.75 c 92 173 253.53 67.32 3.77 1000000 0 815.47/815.78 c 107 263 251.35 54.52 4.61 1000000 0 816.57/816.81 c 107 199 257.96 56.91 4.53 1000000 0 817.57/817.84 c 107 206 254.85 65.53 3.89 1000000 0 818.57/818.87 c 102 302 257.96 59.28 4.35 1000000 0 819.67/819.90 c 113 264 259.00 57.86 4.48 1000000 0 820.67/820.93 c 109 164 247.55 52.19 4.74 1000000 0 821.67/821.96 c 120 320 254.18 67.02 3.79 1000000 0 822.66/822.99 c 85 161 251.73 53.93 4.67 1000000 0 823.76/824.02 c 84 223 250.18 57.42 4.36 1000000 0 824.77/825.05 c 90 240 257.76 61.11 4.22 1000000 0 825.77/826.08 c 114 276 248.05 53.85 4.61 1000000 0 826.87/827.11 c 99 226 251.46 60.86 4.13 1000000 0 827.86/828.14 c 108 179 264.20 64.95 4.07 1000000 0 828.86/829.17 c 76 209 253.74 63.75 3.98 1000000 0 829.96/830.20 c 95 277 245.70 57.40 4.28 1000000 0 830.96/831.23 c 83 248 250.29 62.28 4.02 1000000 0 831.96/832.26 c 78 212 247.70 69.45 3.57 1000000 0 832.96/833.28 c 98 250 248.30 56.00 4.43 1000000 0 834.06/834.31 c 74 221 237.97 52.04 4.57 1000000 0 835.06/835.34 c 74 251 248.63 61.08 4.07 1000000 0 836.06/836.37 c 104 336 258.26 70.54 3.66 1000000 0 837.16/837.40 c 124 227 255.95 53.23 4.81 1000000 0 838.16/838.43 c 126 246 268.93 55.39 4.86 1000000 0 839.16/839.46 c 118 257 247.09 58.87 4.20 1000000 0 840.17/840.49 c 103 307 246.58 54.56 4.52 1000000 0 841.27/841.52 c 116 360 266.69 59.40 4.49 1000000 0 842.26/842.55 c 96 226 247.03 61.44 4.02 1000000 0 843.26/843.58 c 113 248 251.84 57.95 4.35 1000000 0 844.36/844.61 c 97 192 260.84 57.04 4.57 1000000 0 845.36/845.64 c 121 235 255.19 65.43 3.90 1000000 0 846.36/846.68 c 113 312 259.77 57.14 4.55 1000000 0 847.46/847.71 c 109 332 263.40 58.69 4.49 1000000 0 848.46/848.74 c 89 236 250.90 59.62 4.21 1000000 0 849.46/849.77 c 85 224 260.06 62.61 4.15 1000000 0 850.46/850.80 c 62 276 257.45 67.53 3.81 1000000 0 851.56/851.83 c 78 308 260.20 57.88 4.50 1000000 0 852.56/852.86 c 86 288 249.44 65.33 3.82 1000000 0 853.56/853.89 c 127 345 269.57 70.81 3.81 1000000 0 854.66/854.92 c 109 167 257.84 60.17 4.28 1000000 0 855.65/855.95 c 110 241 250.36 53.57 4.67 1000000 0 856.66/856.98 c 108 315 259.61 56.37 4.61 1000000 0 857.76/858.01 c 102 163 252.87 55.93 4.52 1000000 0 858.76/859.04 c 109 212 259.39 56.68 4.58 1000000 0 859.75/860.07 c 89 202 250.00 64.58 3.87 1000000 0 860.85/861.10 c 102 232 258.86 59.07 4.38 1000000 0 861.85/862.13 c 105 261 256.06 63.81 4.01 1000000 0 862.85/863.16 c 81 283 239.29 59.17 4.04 1000000 0 863.85/864.19 c 81 290 256.91 62.87 4.09 1000000 0 864.95/865.22 c 98 300 260.05 58.22 4.47 1000000 0 865.95/866.25 c 59 269 249.43 53.76 4.64 1000000 0 866.95/867.28 c 95 209 255.07 64.52 3.95 1000000 0 868.05/868.31 c 126 259 254.27 63.63 4.00 1000000 0 869.05/869.34 c 119 344 251.05 67.06 3.74 1000000 0 870.05/870.37 c 117 254 263.38 68.24 3.86 1000000 0 871.15/871.40 c 67 184 262.43 66.66 3.94 1000000 0 872.15/872.43 c 123 243 250.00 61.30 4.08 1000000 0 873.16/873.46 c 80 293 264.55 70.61 3.75 1000000 0 874.16/874.49 c 98 252 261.94 70.70 3.70 1000000 0 875.26/875.52 c 126 239 256.71 54.66 4.70 1000000 0 876.25/876.55 c 108 168 250.85 54.31 4.62 1000000 0 877.25/877.58 c 84 238 252.67 56.89 4.44 1000000 0 878.35/878.61 c 90 225 243.41 61.87 3.93 1000000 0 879.35/879.64 c 80 225 248.49 56.14 4.43 1000000 0 880.35/880.67 c 89 261 250.90 55.57 4.51 1000000 0 881.45/881.70 c 124 224 259.90 58.43 4.45 1000000 0 882.45/882.73 c 84 230 251.51 65.82 3.82 1000000 0 883.45/883.76 c 117 147 249.34 60.19 4.14 1000000 0 884.45/884.79 c 97 153 251.09 54.76 4.59 1000000 0 885.55/885.82 c 97 205 251.66 58.10 4.33 1000000 0 886.55/886.85 c 121 252 258.23 60.78 4.25 1000000 0 887.55/887.88 c 121 181 254.49 58.73 4.33 1000000 0 888.65/888.91 c 98 306 244.13 61.15 3.99 1000000 0 889.65/889.94 c 78 228 252.64 57.92 4.36 1000000 0 890.65/890.97 c 104 231 253.23 57.11 4.43 1000000 0 891.75/892.00 c 98 180 259.32 55.17 4.70 1000000 0 892.74/893.03 c 62 194 238.21 57.67 4.13 1000000 0 893.74/894.06 c 112 237 253.37 48.76 5.20 1000000 0 894.74/895.09 c 102 315 253.20 63.15 4.01 1000000 0 895.84/896.12 c 87 276 251.62 54.47 4.62 1000000 0 896.84/897.15 c 112 252 255.58 58.68 4.36 1000000 0 897.84/898.18 c 98 270 243.24 54.26 4.48 1000000 0 898.94/899.21 c 109 310 267.88 65.62 4.08 1000000 0 899.94/900.24 c 117 294 253.01 57.61 4.39 1000000 0 900.94/901.27 c 92 330 253.00 62.46 4.05 1000000 0 902.04/902.31 c 104 231 266.17 62.38 4.27 1000000 0 903.04/903.34 c 103 254 271.12 64.61 4.20 1000000 0 904.04/904.37 c 92 178 241.64 56.06 4.31 1000000 0 905.14/905.40 c 125 246 268.82 55.84 4.81 1000000 0 906.15/906.43 c 112 248 262.84 54.60 4.81 1000000 0 907.15/907.46 c 126 164 258.86 59.22 4.37 1000000 0 908.14/908.49 c 57 234 232.05 66.62 3.48 1000000 0 909.24/909.52 c 90 265 253.77 55.82 4.55 1000000 0 910.24/910.55 c 88 272 256.43 64.72 3.96 1000000 0 911.24/911.58 c 87 292 246.06 65.18 3.78 1000000 0 912.34/912.61 c 93 105 241.86 58.77 4.12 1000000 0 913.34/913.64 c 82 232 252.97 60.78 4.16 1000000 0 914.34/914.67 c 124 242 250.93 52.31 4.80 1000000 0 915.43/915.70 c 123 283 260.29 67.28 3.87 1000000 0 916.43/916.72 c 88 259 250.35 65.29 3.83 1000000 0 917.43/917.75 c 105 223 247.13 49.56 4.99 1000000 0 918.43/918.78 c 116 260 262.40 75.91 3.46 1000000 0 919.53/919.81 c 68 207 247.79 63.76 3.89 1000000 0 920.53/920.84 c 29 263 248.20 65.32 3.80 1000000 0 921.54/921.87 c 108 165 254.71 61.62 4.13 1000000 0 922.54/922.90 c 105 291 251.56 62.70 4.01 1000000 0 923.64/923.93 c 101 246 245.23 60.71 4.04 1000000 0 924.63/924.96 c 129 238 256.93 54.30 4.73 1000000 0 925.63/925.99 c 75 280 250.39 61.59 4.07 1000000 0 926.73/927.02 c 103 239 246.71 54.74 4.51 1000000 0 927.73/928.05 c 110 320 244.50 58.65 4.17 1000000 0 928.73/929.08 c 85 291 252.87 66.68 3.79 1000000 0 929.83/930.11 c 79 157 250.94 57.58 4.36 1000000 0 930.83/931.14 c 98 233 248.44 61.84 4.02 1000000 0 931.83/932.17 c 107 234 259.24 58.24 4.45 1000000 0 932.93/933.20 c 67 323 251.67 55.91 4.50 1000000 0 933.93/934.23 c 101 231 262.35 58.40 4.49 1000000 0 934.93/935.26 c 104 255 259.39 52.93 4.90 1000000 0 935.93/936.29 c 116 232 249.88 49.53 5.04 1000000 0 937.03/937.32 c 106 326 264.05 57.33 4.61 1000000 0 938.04/938.35 c 111 178 259.67 69.48 3.74 1000000 0 939.04/939.38 c 108 289 257.64 55.88 4.61 1000000 0 940.14/940.41 c 64 182 241.63 57.63 4.19 1000000 0 941.13/941.44 c 92 324 253.21 52.38 4.83 1000000 0 942.13/942.47 c 93 223 247.85 62.40 3.97 1000000 0 943.23/943.50 c 102 302 247.71 68.28 3.63 1000000 0 944.23/944.53 c 106 257 251.59 51.68 4.87 1000000 0 945.23/945.56 c 57 311 248.64 66.00 3.77 1000000 0 946.23/946.59 c 98 218 243.97 56.65 4.31 1000000 0 947.33/947.62 c 106 260 256.40 69.07 3.71 1000000 0 948.33/948.64 c 88 145 245.85 64.10 3.84 1000000 0 949.33/949.68 c 87 210 254.79 65.15 3.91 1000000 0 950.43/950.70 c 85 175 247.70 68.03 3.64 1000000 0 951.43/951.73 c 100 340 250.79 57.45 4.37 1000000 0 952.42/952.76 c 112 225 260.96 62.01 4.21 1000000 0 953.52/953.80 c 106 297 256.55 54.61 4.70 1000000 0 954.53/954.83 c 110 291 258.41 58.25 4.44 1000000 0 955.53/955.86 c 104 172 255.06 60.48 4.22 1000000 0 956.52/956.89 c 100 248 250.43 63.15 3.97 1000000 0 957.62/957.91 c 100 227 238.76 56.22 4.25 1000000 0 958.62/958.94 c 57 255 245.27 68.74 3.57 1000000 0 959.62/959.98 c 86 238 250.96 65.00 3.86 1000000 0 960.72/961.01 c 130 194 271.17 57.67 4.70 1000000 0 961.72/962.04 c 120 224 255.87 53.57 4.78 1000000 0 962.72/963.07 c 109 196 259.21 62.19 4.17 1000000 0 963.82/964.10 c 118 331 260.42 63.04 4.13 1000000 0 964.82/965.13 c 92 333 248.60 59.78 4.16 1000000 0 965.82/966.16 c 79 298 254.70 57.03 4.47 1000000 0 966.82/967.19 c 108 198 256.69 57.87 4.44 1000000 0 967.92/968.22 c 84 251 256.88 56.99 4.51 1000000 0 968.92/969.25 c 119 317 262.60 65.32 4.02 1000000 0 969.93/970.28 c 110 261 250.16 53.31 4.69 1000000 0 971.03/971.31 c 75 235 250.74 64.51 3.89 1000000 0 972.03/972.33 c 106 199 238.62 63.03 3.79 1000000 0 973.02/973.37 c 80 217 251.35 59.66 4.21 1000000 0 974.02/974.39 c 118 261 249.85 61.26 4.08 1000000 0 975.12/975.43 c 111 213 258.12 65.51 3.94 1000000 0 976.12/976.45 c 90 251 253.49 62.90 4.03 1000000 0 977.12/977.49 c 96 263 248.72 58.23 4.27 1000000 0 978.22/978.51 c 95 254 254.38 63.41 4.01 1000000 0 979.22/979.54 c 112 245 249.49 50.47 4.94 1000000 0 980.22/980.58 c 120 233 269.24 61.44 4.38 1000000 0 981.32/981.61 c 91 283 251.00 64.67 3.88 1000000 0 982.32/982.64 c 96 295 255.43 55.31 4.62 1000000 0 983.32/983.67 c 116 244 266.68 64.10 4.16 1000000 0 984.42/984.70 c 103 271 256.14 63.04 4.06 1000000 0 985.42/985.73 c 120 282 249.96 63.58 3.93 1000000 0 986.42/986.76 c 102 225 248.24 66.11 3.75 1000000 0 987.42/987.79 c 80 225 252.29 57.92 4.36 1000000 0 988.52/988.82 c 100 232 259.52 65.13 3.98 1000000 0 989.51/989.86 c 107 230 267.49 68.32 3.91 1000000 0 990.51/990.89 c 110 232 256.00 62.02 4.13 1000000 0 991.61/991.92 c 87 188 244.94 57.75 4.24 1000000 0 992.61/992.95 c 87 231 252.65 57.77 4.37 1000000 0 993.61/993.98 c 106 260 248.02 57.46 4.32 1000000 0 994.71/995.01 c 95 304 253.38 59.56 4.25 1000000 0 995.71/996.04 c 70 334 267.13 68.83 3.88 1000000 0 996.71/997.07 c 99 221 242.37 59.43 4.08 1000000 0 997.81/998.10 c 105 254 248.35 57.25 4.34 1000000 0 998.81/999.12 c 86 299 244.12 63.39 3.85 1000000 0 999.81/1000.16 c 122 289 251.70 54.72 4.60 1000000 0 1000.81/1001.18 c 94 268 253.15 65.34 3.87 1000000 0 1001.91/1002.21 c 99 193 244.49 64.06 3.82 1000000 0 1002.92/1003.24 c 120 277 265.80 62.53 4.25 1000000 0 1003.92/1004.27 c 105 196 253.38 69.24 3.66 1000000 0 1005.02/1005.30 c 116 359 254.96 52.87 4.82 1000000 0 1006.01/1006.33 c 112 283 251.41 55.23 4.55 1000000 0 1007.01/1007.36 c 80 207 243.54 60.20 4.05 1000000 0 1008.01/1008.39 c 106 350 254.49 59.80 4.26 1000000 0 1009.11/1009.42 c 104 289 259.94 62.90 4.13 1000000 0 1010.11/1010.45 c 103 245 265.96 59.81 4.45 1000000 0 1011.11/1011.49 c 92 309 251.09 62.16 4.04 1000000 0 1012.21/1012.52 c 91 252 248.48 60.79 4.09 1000000 0 1013.21/1013.55 c 108 237 253.54 55.62 4.56 1000000 0 1014.21/1014.58 c 69 225 254.75 57.16 4.46 1000000 0 1015.31/1015.61 c 122 233 270.89 57.12 4.74 1000000 0 1016.31/1016.64 c 91 153 246.00 60.62 4.06 1000000 0 1017.31/1017.67 c 121 264 253.77 57.09 4.45 1000000 0 1018.41/1018.70 c 91 247 262.44 60.79 4.32 1000000 0 1019.41/1019.73 c 114 176 257.83 54.22 4.76 1000000 0 1020.41/1020.76 c 84 263 249.93 57.87 4.32 1000000 0 1021.40/1021.79 c 131 245 260.32 64.70 4.02 1000000 0 1022.50/1022.82 c 100 300 265.67 61.69 4.31 1000000 0 1023.50/1023.85 c 113 291 255.63 67.95 3.76 1000000 0 1024.50/1024.88 c 122 267 251.74 59.69 4.22 1000000 0 1025.60/1025.91 c 91 254 257.07 54.37 4.73 1000000 0 1026.60/1026.94 c 123 232 262.19 67.06 3.91 1000000 0 1027.60/1027.97 c 115 316 252.47 64.67 3.90 1000000 0 1028.60/1029.00 c 89 257 244.13 55.60 4.39 1000000 0 1029.70/1030.03 c 99 291 251.52 55.63 4.52 1000000 0 1030.70/1031.06 c 107 276 254.56 48.68 5.23 1000000 0 1031.70/1032.09 c 92 328 258.17 56.93 4.53 1000000 0 1032.80/1033.12 c 67 276 247.69 56.83 4.36 1000000 0 1033.80/1034.15 c 128 283 264.54 60.55 4.37 1000000 0 1034.81/1035.18 c 116 226 251.07 59.63 4.21 1000000 0 1035.91/1036.21 c 95 239 260.30 61.63 4.22 1000000 0 1036.91/1037.24 c 98 206 255.11 67.45 3.78 1000000 0 1037.90/1038.27 c 94 249 248.94 55.54 4.48 1000000 0 1039.00/1039.30 c 113 254 258.18 53.94 4.79 1000000 0 1040.00/1040.33 c 111 224 252.89 64.10 3.95 1000000 0 1041.00/1041.36 c 111 283 258.87 55.47 4.67 1000000 0 1042.00/1042.39 c 113 251 255.82 52.56 4.87 1000000 0 1043.10/1043.42 c 108 210 253.43 54.41 4.66 1000000 0 1044.10/1044.45 c 82 238 256.78 56.78 4.52 1000000 0 1045.10/1045.48 c 86 149 251.98 63.30 3.98 1000000 0 1046.20/1046.51 c 110 344 258.57 67.09 3.85 1000000 0 1047.20/1047.54 c 83 287 252.23 50.72 4.97 1000000 0 1048.20/1048.57 c 100 182 252.04 66.99 3.76 1000000 0 1049.30/1049.60 c 80 222 246.19 64.66 3.81 1000000 0 1050.30/1050.63 c 107 273 260.94 61.21 4.26 1000000 0 1051.30/1051.66 c 110 303 261.02 53.89 4.84 1000000 0 1052.30/1052.69 c 95 237 258.38 58.03 4.45 1000000 0 1053.40/1053.72 c 117 258 258.23 54.50 4.74 1000000 0 1054.40/1054.75 c 112 251 262.45 56.75 4.62 1000000 0 1055.39/1055.78 c 110 269 263.67 60.60 4.35 1000000 0 1056.49/1056.81 c 110 274 253.39 58.08 4.36 1000000 0 1057.49/1057.84 c 97 330 241.45 55.08 4.38 1000000 0 1058.49/1058.87 c 87 188 248.14 60.73 4.09 1000000 0 1059.59/1059.90 c 90 249 236.78 69.93 3.39 1000000 0 1060.59/1060.93 c 121 186 252.15 61.60 4.09 1000000 0 1061.59/1061.96 c 115 271 260.31 61.12 4.26 1000000 0 1062.59/1062.99 c 114 285 257.18 61.62 4.17 1000000 0 1063.69/1064.02 c 100 216 253.48 63.54 3.99 1000000 0 1064.69/1065.05 c 102 328 255.46 58.07 4.40 1000000 0 1065.69/1066.08 c 116 365 258.80 66.26 3.91 1000000 0 1066.79/1067.11 c 119 253 258.93 53.08 4.88 1000000 0 1067.80/1068.14 c 94 285 257.05 59.26 4.34 1000000 0 1068.80/1069.17 c 106 265 251.98 56.19 4.48 1000000 0 1069.90/1070.20 c 123 233 254.35 67.03 3.79 1000000 0 1070.89/1071.23 c 111 310 258.83 67.60 3.83 1000000 0 1071.89/1072.26 c 103 182 261.23 58.99 4.43 1000000 0 1072.89/1073.29 c 123 283 258.00 55.43 4.65 1000000 0 1073.99/1074.32 c 129 221 261.00 52.48 4.97 1000000 0 1074.99/1075.35 c 97 253 241.35 65.66 3.68 1000000 0 1075.99/1076.38 c 105 194 249.86 53.48 4.67 1000000 0 1077.09/1077.41 c 111 213 251.95 50.75 4.96 1000000 0 1078.09/1078.44 c 104 340 260.50 60.35 4.32 1000000 0 1079.09/1079.47 c 106 229 250.19 56.34 4.44 1000000 0 1080.19/1080.50 c 108 259 247.82 59.42 4.17 1000000 0 1081.18/1081.52 c 95 222 246.27 59.45 4.14 1000000 0 1082.18/1082.56 c 101 244 254.87 66.20 3.85 1000000 0 1083.19/1083.59 c 79 328 253.66 69.21 3.67 1000000 0 1084.29/1084.62 c 71 274 259.60 62.66 4.14 1000000 0 1085.29/1085.65 c 109 229 259.50 57.76 4.49 1000000 0 1086.28/1086.67 c 83 290 244.36 60.88 4.01 1000000 0 1087.38/1087.71 c 106 244 267.72 67.22 3.98 1000000 0 1088.38/1088.74 c 103 115 259.67 59.54 4.36 1000000 0 1089.38/1089.77 c 82 261 252.53 67.86 3.72 1000000 0 1090.38/1090.80 c 86 196 252.10 56.34 4.47 1000000 0 1091.48/1091.83 c 118 302 263.99 61.02 4.33 1000000 0 1092.48/1092.86 c 91 301 261.66 64.76 4.04 1000000 0 1093.48/1093.89 c 64 204 243.51 67.41 3.61 1000000 0 1094.58/1094.92 c 96 238 251.74 52.14 4.83 1000000 0 1095.58/1095.94 c 76 252 239.29 59.77 4.00 1000000 0 1096.58/1096.97 c 117 282 263.32 56.90 4.63 1000000 0 1097.68/1098.00 c 98 219 254.23 56.95 4.46 1000000 0 1098.68/1099.03 c 100 185 256.64 56.94 4.51 1000000 0 1099.69/1100.07 c 130 282 261.83 59.17 4.42 1000000 0 1100.69/1101.10 c 103 191 255.44 48.06 5.31 1000000 0 1101.79/1102.13 c 77 231 251.14 68.44 3.67 1000000 0 1102.78/1103.15 c 117 294 248.23 58.59 4.24 1000000 0 1103.78/1104.18 c 99 259 254.66 64.66 3.94 1000000 0 1104.88/1105.21 c 83 287 255.45 57.16 4.47 1000000 0 1105.88/1106.24 c 106 195 255.65 63.16 4.05 1000000 0 1106.88/1107.27 c 59 213 262.70 61.67 4.26 1000000 0 1107.98/1108.30 c 109 324 251.98 49.95 5.04 1000000 0 1108.98/1109.33 c 98 139 257.52 56.48 4.56 1000000 0 1109.98/1110.36 c 97 266 255.46 60.94 4.19 1000000 0 1110.98/1111.39 c 85 202 256.95 56.09 4.58 1000000 0 1112.08/1112.42 c 96 305 256.74 62.33 4.12 1000000 0 1113.08/1113.46 c 106 241 266.22 60.27 4.42 1000000 0 1114.08/1114.49 c 92 283 251.95 61.72 4.08 1000000 0 1115.18/1115.52 c 94 244 248.84 60.81 4.09 1000000 0 1116.18/1116.55 c 99 198 253.50 54.40 4.66 1000000 0 1117.18/1117.58 c 105 170 244.69 65.37 3.74 1000000 0 1118.28/1118.61 c 110 218 268.07 70.06 3.83 1000000 0 1119.27/1119.64 c 79 262 242.50 55.28 4.39 1000000 0 1120.27/1120.67 c 102 279 253.40 59.08 4.29 1000000 0 1121.27/1121.69 c 90 255 258.78 64.78 3.99 1000000 0 1122.37/1122.73 c 113 296 253.22 58.17 4.35 1000000 0 1123.37/1123.76 c 84 279 258.11 54.07 4.77 1000000 0 1124.37/1124.79 c 107 193 250.54 53.37 4.69 1000000 0 1125.47/1125.82 c 97 190 253.23 55.31 4.58 1000000 0 1126.47/1126.85 c 99 199 240.40 62.77 3.83 1000000 0 1127.47/1127.88 c 93 215 259.55 60.35 4.30 1000000 0 1128.57/1128.91 c 96 237 252.73 57.53 4.39 1000000 0 1129.57/1129.94 c 92 225 249.51 58.50 4.26 1000000 0 1130.57/1130.97 c 110 246 270.39 61.46 4.40 1000000 0 1131.67/1132.00 c 100 236 247.95 54.26 4.57 1000000 0 1132.68/1133.03 c 116 289 266.43 67.28 3.96 1000000 0 1133.68/1134.06 c 102 204 248.94 62.03 4.01 1000000 0 1134.67/1135.09 c 113 240 252.13 59.49 4.24 1000000 0 1135.77/1136.12 c 82 269 251.93 60.76 4.15 1000000 0 1136.77/1137.15 c 69 232 243.84 57.62 4.23 1000000 0 1137.77/1138.18 c 89 213 250.54 60.70 4.13 1000000 0 1138.87/1139.21 c 75 207 249.55 73.16 3.41 1000000 0 1139.87/1140.24 c 98 282 252.32 61.35 4.11 1000000 0 1140.87/1141.27 c 123 266 254.04 52.07 4.88 1000000 0 1141.97/1142.30 c 119 345 253.69 52.63 4.82 1000000 0 1142.97/1143.33 c 104 314 252.62 56.46 4.47 1000000 0 1143.97/1144.36 c 96 208 249.83 55.03 4.54 1000000 0 1144.97/1145.39 c 93 243 250.34 63.77 3.93 1000000 0 1146.07/1146.42 c 108 240 259.56 63.90 4.06 1000000 0 1147.07/1147.45 c 71 175 253.28 61.04 4.15 1000000 0 1148.07/1148.48 c 90 224 247.89 56.70 4.37 1000000 0 1149.17/1149.51 c 99 220 255.87 64.97 3.94 1000000 0 1150.17/1150.54 c 131 328 258.56 56.72 4.56 1000000 0 1151.16/1151.57 c 113 216 252.08 61.13 4.12 1000000 0 1152.26/1152.60 c 94 330 256.20 63.20 4.05 1000000 0 1153.26/1153.63 c 77 275 247.53 57.91 4.27 1000000 0 1154.26/1154.66 c 85 355 243.68 62.27 3.91 1000000 0 1155.26/1155.69 c 104 245 248.32 65.72 3.78 1000000 0 1156.36/1156.72 c 89 187 257.19 68.28 3.77 1000000 0 1157.36/1157.75 c 79 247 253.08 70.01 3.62 1000000 0 1158.36/1158.78 c 120 209 259.80 63.97 4.06 1000000 0 1159.46/1159.81 c 76 223 241.51 61.44 3.93 1000000 0 1160.46/1160.84 c 110 276 252.99 65.77 3.85 1000000 0 1161.46/1161.87 c 111 236 262.84 55.55 4.73 1000000 0 1162.56/1162.90 c 105 277 253.10 63.73 3.97 1000000 0 1163.56/1163.93 c 122 261 258.33 64.92 3.98 1000000 0 1164.57/1164.96 c 76 167 249.61 62.04 4.02 1000000 0 1165.57/1165.99 c 93 218 261.32 59.58 4.39 1000000 0 1166.67/1167.02 c 81 224 250.20 60.66 4.12 1000000 0 1167.66/1168.05 c 105 257 252.35 61.62 4.10 1000000 0 1168.66/1169.08 c 101 225 238.40 60.19 3.96 1000000 0 1169.76/1170.11 c 91 249 242.56 62.11 3.91 1000000 0 1170.76/1171.14 c 82 235 241.20 53.79 4.48 1000000 0 1171.76/1172.17 c 107 316 248.51 52.85 4.70 1000000 0 1172.76/1173.20 c 74 164 258.03 55.15 4.68 1000000 0 1173.86/1174.23 c 106 205 262.48 68.51 3.83 1000000 0 1174.86/1175.26 c 121 214 255.49 59.29 4.31 1000000 0 1175.86/1176.29 c 87 250 251.23 63.78 3.94 1000000 0 1176.96/1177.32 c 125 259 260.80 58.13 4.49 1000000 0 1177.96/1178.35 c 127 256 268.58 62.47 4.30 1000000 0 1178.96/1179.38 c 99 193 256.11 64.88 3.95 1000000 0 1180.06/1180.41 c 100 249 241.31 57.98 4.16 1000000 0 1181.06/1181.44 c 90 211 246.05 54.36 4.53 1000000 0 1182.06/1182.47 c 124 233 258.86 50.40 5.14 1000000 0 1183.16/1183.50 c 53 191 246.26 61.44 4.01 1000000 0 1184.15/1184.53 c 89 176 257.61 62.76 4.10 1000000 0 1185.15/1185.56 c 81 188 253.38 63.26 4.01 1000000 0 1186.15/1186.59 c 106 253 259.37 55.77 4.65 1000000 0 1187.25/1187.62 c 103 170 253.40 60.40 4.20 1000000 0 1188.25/1188.65 c 118 171 252.46 59.91 4.21 1000000 0 1189.25/1189.68 c 117 190 245.12 53.41 4.59 1000000 0 1190.35/1190.71 c 99 162 259.65 58.49 4.44 1000000 0 1191.35/1191.74 c 123 258 256.27 59.92 4.28 1000000 0 1192.35/1192.77 c 96 288 248.79 66.37 3.75 1000000 0 1193.45/1193.80 c 76 208 255.93 65.80 3.89 1000000 0 1194.45/1194.83 c 88 281 258.95 66.92 3.87 1000000 0 1195.45/1195.86 c 105 279 252.83 59.96 4.22 1000000 0 1196.46/1196.89 c 80 217 251.42 54.67 4.60 1000000 0 1197.56/1197.92 c 110 309 254.89 55.54 4.59 1000000 0 1198.56/1198.95 c 125 319 260.98 64.85 4.02 1000000 0 1199.55/1199.98 c 91 271 253.84 68.25 3.72 1000000 0 1200.65/1201.01 c 85 229 241.71 62.93 3.84 1000000 0 1201.65/1202.04 c 115 277 254.61 50.03 5.09 1000000 0 1202.65/1203.07 c 102 253 256.72 61.05 4.20 1000000 0 1203.75/1204.10 c 84 224 254.03 64.92 3.91 1000000 0 1204.75/1205.14 c 122 185 264.92 64.16 4.13 1000000 0 1205.75/1206.17 c 77 272 250.72 58.69 4.27 1000000 0 1206.75/1207.20 c 109 310 258.35 55.72 4.64 1000000 0 1207.85/1208.22 c 106 293 243.38 55.72 4.37 1000000 0 1208.85/1209.25 c 81 213 249.62 70.70 3.53 1000000 0 1209.85/1210.28 c 101 200 239.91 57.52 4.17 1000000 0 1210.95/1211.31 c 105 246 253.87 56.34 4.51 1000000 0 1211.95/1212.34 c 108 330 265.89 60.18 4.42 1000000 0 1212.95/1213.37 c 96 245 256.23 55.06 4.65 1000000 0 1213.95/1214.40 c 110 235 259.24 53.19 4.87 1000000 0 1215.05/1215.43 c 124 266 256.39 54.66 4.69 1000000 0 1216.05/1216.46 c 108 223 256.06 65.62 3.90 1000000 0 1217.05/1217.49 c 90 212 248.13 59.19 4.19 1000000 0 1218.15/1218.52 c 103 274 248.21 65.98 3.76 1000000 0 1219.15/1219.55 c 133 226 255.68 56.17 4.55 1000000 0 1220.15/1220.58 c 98 288 248.04 58.37 4.25 1000000 0 1221.25/1221.61 c 107 258 259.46 62.18 4.17 1000000 0 1222.25/1222.64 c 111 270 272.63 78.12 3.49 1000000 0 1223.25/1223.67 c 70 249 258.65 65.38 3.96 1000000 0 1224.34/1224.71 c 117 288 263.00 56.51 4.65 1000000 0 1225.34/1225.73 c 73 85 245.73 57.76 4.25 1000000 0 1226.34/1226.77 c 120 279 268.26 53.42 5.02 1000000 0 1227.34/1227.79 c 96 261 244.41 63.57 3.84 1000000 0 1228.44/1228.82 c 112 206 257.21 70.83 3.63 1000000 0 1229.45/1229.85 c 117 231 257.45 60.85 4.23 1000000 0 1230.45/1230.88 c 72 170 241.68 60.90 3.97 1000000 0 1231.55/1231.91 c 110 268 259.79 54.09 4.80 1000000 0 1232.54/1232.95 c 106 260 260.21 57.69 4.51 1000000 0 1233.54/1233.98 c 108 216 263.52 54.59 4.83 1000000 0 1234.64/1235.01 c 92 196 254.09 59.97 4.24 1000000 0 1235.64/1236.03 c 90 116 248.42 60.20 4.13 1000000 0 1236.64/1237.06 c 104 278 248.97 55.85 4.46 1000000 0 1237.74/1238.10 c 106 223 258.90 62.99 4.11 1000000 0 1238.74/1239.13 c 109 252 253.78 66.02 3.84 1000000 0 1239.74/1240.16 c 133 269 256.31 61.87 4.14 1000000 0 1240.75/1241.19 c 81 338 261.95 57.36 4.57 1000000 0 1241.85/1242.22 c 99 219 260.05 59.43 4.38 1000000 0 1242.85/1243.25 c 97 231 258.23 63.49 4.07 1000000 0 1243.85/1244.28 c 92 151 254.70 68.51 3.72 1000000 0 1244.94/1245.32 c 128 252 263.57 59.96 4.40 1000000 0 1245.95/1246.35 c 116 257 258.55 55.51 4.66 1000000 0 1246.95/1247.38 c 104 250 258.54 59.97 4.31 1000000 0 1248.05/1248.41 c 71 271 253.62 54.65 4.64 1000000 0 1249.04/1249.44 c 113 216 257.36 60.54 4.25 1000000 0 1250.04/1250.47 c 107 254 261.26 56.36 4.64 1000000 0 1251.04/1251.50 c 100 225 254.08 59.36 4.28 1000000 0 1252.14/1252.53 c 114 338 256.46 64.70 3.96 1000000 0 1253.14/1253.56 c 109 279 256.12 53.81 4.76 1000000 0 1254.14/1254.59 c 116 237 246.92 58.34 4.23 1000000 0 1255.24/1255.62 c 101 233 259.61 58.03 4.47 1000000 0 1256.24/1256.65 c 116 351 255.99 51.07 5.01 1000000 0 1257.24/1257.68 c 96 292 256.35 66.59 3.85 1000000 0 1258.34/1258.71 c 128 210 259.42 60.21 4.31 1000000 0 1259.34/1259.74 c 79 260 249.59 57.58 4.33 1000000 0 1260.34/1260.77 c 95 259 245.76 60.40 4.07 1000000 0 1261.44/1261.80 c 117 304 253.66 58.67 4.32 1000000 0 1262.45/1262.83 c 107 263 253.15 61.43 4.12 1000000 0 1263.45/1263.86 c 102 255 259.81 55.51 4.68 1000000 0 1264.44/1264.89 c 80 187 251.38 61.57 4.08 1000000 0 1265.54/1265.92 c 108 256 257.33 60.31 4.27 1000000 0 1266.54/1266.95 c 107 224 250.50 61.18 4.09 1000000 0 1267.54/1267.98 c 119 244 248.92 58.48 4.26 1000000 0 1268.64/1269.01 c 87 273 248.13 57.64 4.30 1000000 0 1269.64/1270.04 c 97 264 252.36 59.13 4.27 1000000 0 1270.64/1271.07 c 115 279 266.51 59.29 4.49 1000000 0 1271.74/1272.10 c 98 193 258.90 57.85 4.48 1000000 0 1272.74/1273.13 c 113 251 254.80 55.86 4.56 1000000 0 1273.74/1274.16 c 93 284 259.72 62.13 4.18 1000000 0 1274.74/1275.19 c 114 261 261.13 67.48 3.87 1000000 0 1275.84/1276.22 c 121 280 258.51 70.38 3.67 1000000 0 1276.84/1277.25 c 91 263 251.95 53.87 4.68 1000000 0 1277.84/1278.27 c 103 271 244.19 56.81 4.30 1000000 0 1278.84/1279.30 c 119 182 255.74 54.64 4.68 1000000 0 1279.94/1280.33 c 96 259 255.67 57.26 4.47 1000000 0 1280.93/1281.36 c 108 192 263.99 66.69 3.96 1000000 0 1281.93/1282.39 c 110 209 253.32 62.41 4.06 1000000 0 1283.03/1283.42 c 71 234 257.59 52.56 4.90 1000000 0 1284.03/1284.45 c 124 268 256.30 46.18 5.55 1000000 0 1285.03/1285.48 c 95 255 253.84 60.16 4.22 1000000 0 1286.13/1286.51 c 110 241 248.79 67.40 3.69 1000000 0 1287.13/1287.54 c 120 291 261.45 67.87 3.85 1000000 0 1288.13/1288.57 c 116 264 255.41 62.88 4.06 1000000 0 1289.23/1289.60 c 107 272 255.10 55.96 4.56 1000000 0 1290.23/1290.63 c 95 213 247.95 57.63 4.30 1000000 0 1291.23/1291.66 c 71 223 257.10 73.04 3.52 1000000 0 1292.23/1292.69 c 118 269 257.65 61.30 4.20 1000000 0 1293.33/1293.72 c 114 219 250.91 61.45 4.08 1000000 0 1294.34/1294.75 c 62 243 254.12 67.70 3.75 1000000 0 1295.34/1295.78 c 69 235 248.16 65.82 3.77 1000000 0 1296.44/1296.81 c 127 338 258.86 58.06 4.46 1000000 0 1297.43/1297.84 c 109 333 251.54 52.60 4.78 1000000 0 1298.43/1298.87 c 76 160 254.40 55.67 4.57 1000000 0 1299.53/1299.90 c 106 302 244.98 66.10 3.71 1000000 0 1300.53/1300.93 c 107 200 246.01 70.85 3.47 1000000 0 1301.53/1301.96 c 94 321 246.82 61.58 4.01 1000000 0 1302.53/1302.99 c 79 284 247.94 63.22 3.92 1000000 0 1303.63/1304.02 c 101 269 257.85 58.04 4.44 1000000 0 1304.63/1305.05 c 84 269 243.92 63.78 3.82 1000000 0 1305.63/1306.08 c 125 269 265.66 62.88 4.22 1000000 0 1306.73/1307.11 c 104 206 251.80 66.32 3.80 1000000 0 1307.73/1308.14 c 108 175 254.75 56.29 4.53 1000000 0 1308.73/1309.17 c 121 220 262.44 54.16 4.85 1000000 0 1309.82/1310.20 c 97 246 261.97 61.81 4.24 1000000 0 1310.83/1311.23 c 86 205 252.05 61.73 4.08 1000000 0 1311.83/1312.26 c 123 275 261.14 58.66 4.45 1000000 0 1312.82/1313.29 c 98 232 246.22 64.33 3.83 1000000 0 1313.92/1314.31 c 66 258 244.98 55.65 4.40 1000000 0 1314.92/1315.35 c 108 207 253.35 57.74 4.39 1000000 0 1315.92/1316.37 c 98 228 240.60 55.70 4.32 1000000 0 1317.02/1317.41 c 64 257 248.30 72.96 3.40 1000000 0 1318.02/1318.44 c 99 260 252.67 58.54 4.32 1000000 0 1319.02/1319.47 c 128 282 258.35 55.44 4.66 1000000 0 1320.12/1320.50 c 107 214 251.75 54.07 4.66 1000000 0 1321.12/1321.53 c 112 243 260.33 54.95 4.74 1000000 0 1322.12/1322.56 c 54 288 255.61 57.01 4.48 1000000 0 1323.12/1323.59 c 93 203 249.41 56.22 4.44 1000000 0 1324.22/1324.62 c 90 213 262.17 52.64 4.98 1000000 0 1325.22/1325.65 c 94 229 248.70 56.76 4.38 1000000 0 1326.23/1326.68 c 84 151 248.15 58.56 4.24 1000000 0 1327.33/1327.71 c 118 223 253.70 49.45 5.13 1000000 0 1328.33/1328.74 c 95 254 245.94 64.00 3.84 1000000 0 1329.32/1329.77 c 78 216 249.79 61.75 4.05 1000000 0 1330.32/1330.79 c 80 298 246.89 61.20 4.03 1000000 0 1331.42/1331.82 c 97 230 250.60 61.79 4.06 1000000 0 1332.42/1332.85 c 72 194 247.86 60.74 4.08 1000000 0 1333.42/1333.88 c 106 221 255.45 65.79 3.88 1000000 0 1334.52/1334.91 c 124 217 251.02 55.35 4.54 1000000 0 1335.52/1335.94 c 112 224 257.54 58.85 4.38 1000000 0 1336.52/1336.97 c 117 300 245.83 50.85 4.83 1000000 0 1337.51/1338.00 c 107 255 253.56 55.21 4.59 1000000 0 1338.61/1339.03 c 60 287 260.33 59.50 4.38 1000000 0 1339.61/1340.06 c 83 168 255.79 63.79 4.01 1000000 0 1340.61/1341.09 c 98 278 259.06 55.66 4.65 1000000 0 1341.71/1342.12 c 92 181 254.68 54.77 4.65 1000000 0 1342.72/1343.15 c 102 258 244.53 59.52 4.11 1000000 0 1343.72/1344.18 c 111 255 252.91 61.86 4.09 1000000 0 1344.82/1345.21 c 110 217 259.99 60.35 4.31 1000000 0 1345.81/1346.24 c 126 248 255.79 52.69 4.85 1000000 0 1346.81/1347.27 c 93 265 245.61 57.06 4.30 1000000 0 1347.91/1348.30 c 98 290 257.65 58.63 4.39 1000000 0 1348.91/1349.33 c 115 156 245.99 55.83 4.41 1000000 0 1349.91/1350.36 c 115 201 256.69 55.48 4.63 1000000 0 1350.91/1351.40 c 103 259 268.84 57.68 4.66 1000000 0 1352.01/1352.42 c 97 282 242.49 58.82 4.12 1000000 0 1353.01/1353.45 c 103 331 251.53 55.85 4.50 1000000 0 1354.01/1354.48 c 111 219 261.78 56.04 4.67 1000000 0 1355.11/1355.51 c 101 174 246.75 56.02 4.40 1000000 0 1356.11/1356.54 c 107 248 243.92 58.86 4.14 1000000 0 1357.11/1357.57 c 101 261 246.11 48.69 5.05 1000000 0 1358.21/1358.60 c 92 240 249.20 64.06 3.89 1000000 0 1359.22/1359.63 c 111 234 244.06 54.67 4.46 1000000 0 1360.22/1360.66 c 99 293 250.02 51.59 4.85 1000000 0 1361.21/1361.69 c 86 282 247.67 62.83 3.94 1000000 0 1362.31/1362.72 c 115 230 254.47 53.24 4.78 1000000 0 1363.31/1363.75 c 87 272 254.44 58.41 4.36 1000000 0 1364.31/1364.78 c 84 230 255.18 53.73 4.75 1000000 0 1365.41/1365.81 c 122 278 255.53 56.53 4.52 1000000 0 1366.41/1366.84 c 105 229 253.10 51.65 4.90 1000000 0 1367.41/1367.87 c 116 275 261.04 66.48 3.93 1000000 0 1368.51/1368.90 c 106 262 255.02 63.49 4.02 1000000 0 1369.51/1369.93 c 80 250 255.62 61.56 4.15 1000000 0 1370.51/1370.96 c 88 240 244.71 49.96 4.90 1000000 0 1371.51/1371.99 c 98 241 253.78 56.11 4.52 1000000 0 1372.61/1373.02 c 121 254 247.11 60.32 4.10 1000000 0 1373.61/1374.05 c 112 130 254.64 52.61 4.84 1000000 0 1374.61/1375.08 c 104 232 253.92 62.88 4.04 1000000 0 1375.71/1376.12 c 126 226 268.82 64.27 4.18 1000000 0 1376.71/1377.15 c 110 263 259.44 66.76 3.89 1000000 0 1377.70/1378.17 c 82 261 245.11 61.90 3.96 1000000 0 1378.80/1379.20 c 107 243 261.86 56.65 4.62 1000000 0 1379.80/1380.24 c 113 225 259.06 56.95 4.55 1000000 0 1380.80/1381.26 c 97 281 254.68 62.21 4.09 1000000 0 1381.90/1382.30 c 88 233 273.57 58.14 4.71 1000000 0 1382.90/1383.33 c 103 198 255.66 56.86 4.50 1000000 0 1383.90/1384.36 c 112 227 253.35 64.92 3.90 1000000 0 1384.90/1385.38 c 81 227 245.40 65.78 3.73 1000000 0 1386.00/1386.42 c 125 290 272.91 58.84 4.64 1000000 0 1387.00/1387.45 c 115 340 247.05 62.19 3.97 1000000 0 1388.00/1388.47 c 101 261 249.88 63.80 3.92 1000000 0 1389.10/1389.50 c 105 290 260.22 65.88 3.95 1000000 0 1390.10/1390.53 c 98 287 253.55 61.81 4.10 1000000 0 1391.11/1391.56 c 127 197 259.30 63.29 4.10 1000000 0 1392.11/1392.59 c 78 300 245.35 56.73 4.32 1000000 0 1393.21/1393.62 c 97 277 259.29 63.90 4.06 1000000 0 1394.20/1394.65 c 84 203 245.68 57.16 4.30 1000000 0 1395.20/1395.68 c 122 201 259.75 50.30 5.16 1000000 0 1396.30/1396.71 c 100 205 251.49 58.35 4.31 1000000 0 1397.30/1397.74 c 63 231 245.61 65.49 3.75 1000000 0 1398.30/1398.77 c 103 351 260.01 61.74 4.21 1000000 0 1399.40/1399.80 c 101 224 255.92 59.60 4.29 1000000 0 1400.40/1400.83 c 107 268 254.13 54.34 4.68 1000000 0 1401.40/1401.86 c 65 170 248.03 64.19 3.86 1000000 0 1402.39/1402.89 c 107 279 250.39 51.68 4.84 1000000 0 1403.49/1403.92 c 117 248 247.23 54.22 4.56 1000000 0 1404.49/1404.95 c 104 272 243.19 65.42 3.72 1000000 0 1405.49/1405.98 c 94 237 246.04 59.28 4.15 1000000 0 1406.59/1407.01 c 113 197 247.31 56.22 4.40 1000000 0 1407.60/1408.03 c 120 280 248.64 60.25 4.13 1000000 0 1408.60/1409.06 c 111 252 251.10 60.00 4.19 1000000 0 1409.59/1410.09 c 113 229 248.85 56.84 4.38 1000000 0 1410.69/1411.12 c 123 324 262.19 63.86 4.11 1000000 0 1411.69/1412.15 c 94 245 261.52 56.30 4.64 1000000 0 1412.69/1413.19 c 101 228 251.90 57.25 4.40 1000000 0 1413.79/1414.22 c 112 275 258.10 59.74 4.32 1000000 0 1414.79/1415.25 c 89 268 255.63 57.32 4.46 1000000 0 1415.79/1416.28 c 83 182 246.70 61.72 4.00 1000000 0 1416.89/1417.31 c 106 276 256.01 64.16 3.99 1000000 0 1417.89/1418.34 c 97 205 248.25 53.07 4.68 1000000 0 1418.89/1419.36 c 109 214 247.66 58.22 4.25 1000000 0 1419.89/1420.40 c 69 211 263.04 57.42 4.58 1000000 0 1421.00/1421.43 c 93 295 250.92 63.71 3.94 1000000 0 1422.00/1422.46 c 113 170 258.40 56.65 4.56 1000000 0 1423.00/1423.49 c 91 253 251.51 59.91 4.20 1000000 0 1424.10/1424.52 c 68 264 241.16 60.04 4.02 1000000 0 1425.10/1425.55 c 105 269 249.39 61.62 4.05 1000000 0 1426.10/1426.58 c 106 243 250.91 56.21 4.46 1000000 0 1427.20/1427.61 c 113 240 255.77 61.27 4.17 1000000 0 1428.20/1428.64 c 99 218 245.64 64.28 3.82 1000000 0 1429.20/1429.67 c 112 236 256.69 54.24 4.73 1000000 0 1430.30/1430.70 c 105 286 258.04 59.80 4.32 1000000 0 1431.29/1431.73 c 88 172 249.03 58.62 4.25 1000000 0 1432.29/1432.76 c 106 191 253.83 57.39 4.42 1000000 0 1433.29/1433.79 c 61 247 252.28 59.01 4.28 1000000 0 1434.39/1434.82 c 84 197 241.26 61.98 3.89 1000000 0 1435.39/1435.84 c 101 220 257.76 51.02 5.05 1000000 0 1436.39/1436.87 c 109 223 247.39 49.70 4.98 1000000 0 1437.49/1437.90 c 79 297 247.37 59.88 4.13 1000000 0 1438.49/1438.93 c 114 296 264.48 58.24 4.54 1000000 0 1439.50/1439.96 c 76 281 242.85 50.86 4.77 1000000 0 1440.50/1440.99 c 113 265 251.22 63.18 3.98 1000000 0 1441.60/1442.02 c 89 303 251.20 56.02 4.48 1000000 0 1442.59/1443.05 c 101 163 244.46 66.57 3.67 1000000 0 1443.59/1444.08 c 78 225 256.39 65.06 3.94 1000000 0 1444.69/1445.11 c 100 280 249.63 59.94 4.16 1000000 0 1445.69/1446.14 c 90 215 257.73 65.71 3.92 1000000 0 1446.69/1447.17 c 127 226 259.69 61.65 4.21 1000000 0 1447.79/1448.20 c 98 238 251.07 56.70 4.43 1000000 0 1448.79/1449.23 c 85 250 243.98 65.07 3.75 1000000 0 1449.79/1450.26 c 96 318 252.26 61.83 4.08 1000000 0 1450.79/1451.29 c 98 270 240.39 59.69 4.03 1000000 0 1451.89/1452.32 c 83 258 251.69 72.13 3.49 1000000 0 1452.89/1453.35 c 90 221 238.94 67.00 3.57 1000000 0 1453.89/1454.38 c 95 236 255.36 54.91 4.65 1000000 0 1454.99/1455.41 c 100 311 255.61 64.19 3.98 1000000 0 1455.99/1456.44 c 119 327 251.69 62.57 4.02 1000000 0 1456.99/1457.47 c 106 229 254.73 66.52 3.83 1000000 0 1458.09/1458.50 c 116 208 251.21 63.32 3.97 1000000 0 1459.09/1459.53 c 59 301 246.95 69.11 3.57 1000000 0 1460.09/1460.56 c 102 165 253.65 51.69 4.91 1000000 0 1461.09/1461.59 c 136 263 267.16 54.93 4.86 1000000 0 1462.19/1462.62 c 128 252 264.16 64.32 4.11 1000000 0 1463.19/1463.65 c 98 227 250.08 59.60 4.20 1000000 0 1464.18/1464.68 c 86 228 251.78 64.35 3.91 1000000 0 1465.28/1465.71 c 111 428 259.16 62.45 4.15 1000000 0 1466.28/1466.74 c 86 187 242.70 54.65 4.44 1000000 0 1467.28/1467.77 c 106 201 254.02 71.04 3.58 1000000 0 1468.38/1468.80 c 114 242 255.77 62.84 4.07 1000000 0 1469.37/1469.85 c 118 195 253.37 55.47 4.57 1000000 0 1470.37/1470.88 c 85 247 251.88 66.88 3.77 1000000 0 1471.47/1471.91 c 76 221 246.05 59.86 4.11 1000000 0 1472.48/1472.94 c 89 240 249.80 59.32 4.21 1000000 0 1473.48/1473.97 c 109 282 258.85 57.76 4.48 1000000 0 1474.47/1475.00 c 108 321 250.95 58.22 4.31 1000000 0 1475.57/1476.03 c 124 280 266.91 51.03 5.23 1000000 0 1476.57/1477.05 c 80 233 240.47 58.25 4.13 1000000 0 1477.57/1478.08 c 110 269 246.20 65.29 3.77 1000000 0 1478.67/1479.11 c 102 155 247.55 49.08 5.04 1000000 0 1479.67/1480.14 c 120 255 258.83 54.90 4.71 1000000 0 1480.67/1481.17 c 105 250 248.67 62.64 3.97 1000000 0 1481.77/1482.20 c 107 262 249.04 64.76 3.85 1000000 0 1482.76/1483.23 c 84 311 244.93 55.10 4.45 1000000 0 1483.76/1484.26 c 114 223 258.40 56.97 4.54 1000000 0 1484.76/1485.29 c 114 281 248.37 51.42 4.83 1000000 0 1485.86/1486.32 c 98 316 254.17 58.02 4.38 1000000 0 1486.86/1487.35 c 94 205 240.95 63.13 3.82 1000000 0 1487.87/1488.38 c 118 237 261.20 59.69 4.38 1000000 0 1488.97/1489.41 c 110 307 255.62 53.62 4.77 1000000 0 1489.97/1490.44 c 86 298 242.58 62.02 3.91 1000000 0 1490.96/1491.47 c 107 223 258.00 62.85 4.11 1000000 0 1492.06/1492.50 c 130 265 273.82 65.67 4.17 1000000 0 1493.06/1493.53 c 99 319 252.68 56.37 4.48 1000000 0 1494.06/1494.56 c 91 296 237.30 54.29 4.37 1000000 0 1495.06/1495.59 c 98 275 262.90 55.89 4.70 1000000 0 1496.16/1496.62 c 129 231 263.67 67.29 3.92 1000000 0 1497.16/1497.65 c 94 337 254.35 68.10 3.74 1000000 0 1498.16/1498.68 c 98 276 243.16 62.22 3.91 1000000 0 1499.26/1499.71 c 103 236 249.81 64.75 3.86 1000000 0 1500.26/1500.74 c 90 253 246.39 59.17 4.16 1000000 0 1501.26/1501.76 c 84 254 247.11 60.48 4.09 1000000 0 1502.36/1502.80 c 101 262 260.67 55.71 4.68 1000000 0 1503.36/1503.83 c 100 205 249.60 65.99 3.78 1000000 0 1504.36/1504.85 c 38 222 247.01 62.47 3.95 1000000 0 1505.36/1505.88 c 84 260 252.64 61.69 4.10 1000000 0 1506.46/1506.91 c 117 298 255.62 61.07 4.19 1000000 0 1507.46/1507.94 c 105 203 252.92 55.40 4.57 1000000 0 1508.45/1508.97 c 95 266 239.62 56.32 4.25 1000000 0 1509.55/1510.00 c 115 211 254.92 58.78 4.34 1000000 0 1510.55/1511.03 c 100 267 248.72 58.51 4.25 1000000 0 1511.55/1512.06 c 102 259 257.54 55.83 4.61 1000000 0 1512.55/1513.09 c 81 281 246.06 56.89 4.33 1000000 0 1513.65/1514.12 c 98 293 248.99 59.31 4.20 1000000 0 1514.65/1515.15 c 92 174 251.27 58.05 4.33 1000000 0 1515.65/1516.18 c 106 251 257.13 56.53 4.55 1000000 0 1516.75/1517.21 c 107 186 244.99 52.07 4.70 1000000 0 1517.75/1518.24 c 93 226 243.30 57.46 4.23 1000000 0 1518.75/1519.27 c 84 301 245.75 59.88 4.10 1000000 0 1519.76/1520.29 c 85 177 243.52 62.58 3.89 1000000 0 1520.86/1521.32 c 112 248 253.42 57.11 4.44 1000000 0 1521.86/1522.36 c 103 170 256.36 52.41 4.89 1000000 0 1522.85/1523.38 c 65 241 249.41 56.04 4.45 1000000 0 1523.95/1524.41 c 123 253 264.47 59.29 4.46 1000000 0 1524.95/1525.45 c 120 196 262.28 63.93 4.10 1000000 0 1525.95/1526.48 c 121 210 247.08 49.52 4.99 1000000 0 1527.05/1527.51 c 110 204 260.07 63.28 4.11 1000000 0 1528.05/1528.53 c 102 215 255.69 55.40 4.62 1000000 0 1529.05/1529.56 c 76 264 248.35 54.79 4.53 1000000 0 1530.05/1530.59 c 93 228 253.61 62.46 4.06 1000000 0 1531.15/1531.63 c 109 240 260.58 63.53 4.10 1000000 0 1532.15/1532.66 c 140 230 269.18 57.44 4.69 1000000 0 1533.15/1533.69 c 101 185 260.21 58.22 4.47 1000000 0 1534.25/1534.72 c 115 270 255.78 60.38 4.24 1000000 0 1535.25/1535.75 c 106 239 263.03 59.37 4.43 1000000 0 1536.25/1536.78 c 75 244 248.76 58.81 4.23 1000000 0 1537.35/1537.81 c 105 245 253.35 59.22 4.28 1000000 0 1538.35/1538.84 c 99 339 252.67 56.48 4.47 1000000 0 1539.35/1539.87 c 109 183 251.55 60.30 4.17 1000000 0 1540.35/1540.90 c 122 310 256.71 52.08 4.93 1000000 0 1541.45/1541.92 c 117 290 253.34 62.12 4.08 1000000 0 1542.44/1542.96 c 116 293 255.34 55.34 4.61 1000000 0 1543.44/1543.99 c 132 234 263.79 49.48 5.33 1000000 0 1544.54/1545.02 c 103 222 254.81 63.62 4.00 1000000 0 1545.54/1546.04 c 105 309 244.89 67.68 3.62 1000000 0 1546.54/1547.07 c 79 288 245.22 67.51 3.63 1000000 0 1547.64/1548.10 c 107 308 249.90 54.48 4.59 1000000 0 1548.64/1549.13 c 98 251 261.87 55.35 4.73 1000000 0 1549.64/1550.17 c 116 297 255.13 63.27 4.03 1000000 0 1550.74/1551.20 c 110 332 259.08 52.56 4.93 1000000 0 1551.74/1552.23 c 84 224 244.52 68.57 3.57 1000000 0 1552.75/1553.26 c 129 222 257.90 53.79 4.79 1000000 0 1553.75/1554.29 c 94 203 240.67 51.26 4.69 1000000 0 1554.85/1555.31 c 109 185 254.95 61.90 4.12 1000000 0 1555.84/1556.35 c 95 261 262.55 56.84 4.62 1000000 0 1556.84/1557.37 c 111 247 249.93 59.68 4.19 1000000 0 1557.94/1558.40 c 104 259 251.74 58.52 4.30 1000000 0 1558.94/1559.43 c 106 269 263.93 57.66 4.58 1000000 0 1559.94/1560.47 c 113 204 256.21 56.82 4.51 1000000 0 1561.04/1561.50 c 100 334 259.95 64.12 4.05 1000000 0 1562.04/1562.53 c 99 196 245.78 66.45 3.70 1000000 0 1563.04/1563.56 c 121 321 260.69 63.04 4.14 1000000 0 1564.04/1564.59 c 92 252 261.28 59.19 4.41 1000000 0 1565.14/1565.62 c 117 235 240.36 54.90 4.38 1000000 0 1566.14/1566.65 c 114 225 252.48 55.08 4.58 1000000 0 1567.14/1567.68 c 94 256 241.32 58.69 4.11 1000000 0 1568.23/1568.71 c 68 229 253.64 58.23 4.36 1000000 0 1569.24/1569.73 c 91 236 245.73 58.12 4.23 1000000 0 1570.24/1570.76 c 124 308 255.85 59.69 4.29 1000000 0 1571.24/1571.79 c 99 192 259.51 70.58 3.68 1000000 0 1572.34/1572.82 c 108 266 253.80 52.23 4.86 1000000 0 1573.34/1573.85 c 94 243 253.68 64.37 3.94 1000000 0 1574.34/1574.88 c 100 197 250.81 63.02 3.98 1000000 0 1575.44/1575.91 c 97 248 247.02 59.27 4.17 1000000 0 1576.44/1576.94 c 112 246 255.28 64.46 3.96 1000000 0 1577.44/1577.97 c 107 286 248.76 62.09 4.01 1000000 0 1578.54/1579.00 c 105 258 253.58 63.27 4.01 1000000 0 1579.54/1580.03 c 87 272 258.55 62.05 4.17 1000000 0 1580.54/1581.06 c 69 261 249.11 56.72 4.39 1000000 0 1581.54/1582.09 c 105 280 261.74 64.79 4.04 1000000 0 1582.64/1583.12 c 90 228 240.88 68.71 3.51 1000000 0 1583.64/1584.15 c 89 178 253.52 62.79 4.04 1000000 0 1584.65/1585.18 c 83 232 246.45 65.47 3.76 1000000 0 1585.75/1586.21 c 106 238 251.60 57.14 4.40 1000000 0 1586.75/1587.24 c 97 153 251.97 69.33 3.63 1000000 0 1587.74/1588.27 c 116 189 255.52 60.83 4.20 1000000 0 1588.84/1589.30 c 112 231 255.72 61.54 4.16 1000000 0 1589.84/1590.34 c 120 230 255.92 56.11 4.56 1000000 0 1590.84/1591.36 c 91 216 254.27 63.60 4.00 1000000 0 1591.84/1592.40 c 102 222 247.18 61.03 4.05 1000000 0 1592.94/1593.43 c 101 199 256.94 58.07 4.42 1000000 0 1593.94/1594.46 c 97 283 257.22 58.11 4.43 1000000 0 1594.94/1595.49 c 96 235 250.73 60.74 4.13 1000000 0 1596.04/1596.51 c 99 232 244.68 55.11 4.44 1000000 0 1597.04/1597.55 c 106 247 257.82 59.01 4.37 1000000 0 1598.04/1598.58 c 98 246 255.92 58.83 4.35 1000000 0 1599.14/1599.61 c 96 251 242.40 56.50 4.29 1000000 0 1600.14/1600.64 c 105 272 256.65 55.80 4.60 1000000 0 1601.14/1601.66 c 113 155 246.55 56.18 4.39 1000000 0 1602.14/1602.69 c 113 230 249.53 54.00 4.62 1000000 0 1603.24/1603.73 c 120 336 262.00 52.44 5.00 1000000 0 1604.23/1604.75 c 87 175 243.61 57.96 4.20 1000000 0 1605.23/1605.78 c 85 204 256.71 59.26 4.33 1000000 0 1606.33/1606.81 c 86 285 254.30 60.84 4.18 1000000 0 1607.33/1607.84 c 107 202 248.76 70.12 3.55 1000000 0 1608.33/1608.87 c 92 230 252.36 58.15 4.34 1000000 0 1609.43/1609.90 c 106 246 252.73 60.48 4.18 1000000 0 1610.43/1610.93 c 125 236 260.26 59.49 4.37 1000000 0 1611.43/1611.95 c 58 329 240.05 63.49 3.78 1000000 0 1612.43/1612.98 c 100 315 253.63 55.81 4.54 1000000 0 1613.53/1614.01 c 94 226 252.39 55.94 4.51 1000000 0 1614.53/1615.04 c 92 239 251.99 56.96 4.42 1000000 0 1615.53/1616.07 c 89 208 262.45 65.05 4.03 1000000 0 1616.63/1617.10 c 117 248 256.42 58.79 4.36 1000000 0 1617.64/1618.13 c 89 246 251.04 54.68 4.59 1000000 0 1618.64/1619.16 c 133 295 258.54 53.15 4.86 1000000 0 1619.63/1620.19 c 94 320 255.91 61.80 4.14 1000000 0 1620.73/1621.22 c 60 219 245.42 56.75 4.33 1000000 0 1621.73/1622.25 c 91 204 250.26 65.08 3.85 1000000 0 1622.73/1623.28 c 88 237 249.05 58.75 4.24 1000000 0 1623.83/1624.31 c 107 281 258.79 59.83 4.33 1000000 0 1624.83/1625.34 c 97 239 259.72 58.39 4.45 1000000 0 1625.83/1626.37 c 117 272 256.71 60.07 4.27 1000000 0 1626.93/1627.40 c 122 180 259.03 63.01 4.11 1000000 0 1627.93/1628.43 c 109 148 262.45 58.58 4.48 1000000 0 1628.93/1629.46 c 124 302 260.07 57.74 4.50 1000000 0 1629.93/1630.49 c 73 153 250.24 63.12 3.96 1000000 0 1631.03/1631.52 c 59 345 254.36 64.17 3.96 1000000 0 1632.03/1632.55 c 99 251 257.53 60.08 4.29 1000000 0 1633.03/1633.58 c 101 222 245.78 54.03 4.55 1000000 0 1634.13/1634.61 c 92 283 263.46 60.51 4.35 1000000 0 1635.13/1635.63 c 96 259 253.88 61.24 4.15 1000000 0 1636.13/1636.66 c 101 215 247.22 54.04 4.57 1000000 0 1637.13/1637.69 c 135 200 257.15 47.14 5.46 1000000 0 1638.22/1638.72 c 111 259 254.90 65.54 3.89 1000000 0 1639.22/1639.76 c 95 274 252.87 64.63 3.91 1000000 0 1640.22/1640.79 c 110 237 256.53 61.98 4.14 1000000 0 1641.32/1641.82 c 92 223 250.10 58.16 4.30 1000000 0 1642.32/1642.85 c 100 290 263.56 58.96 4.47 1000000 0 1643.32/1643.88 c 96 157 258.93 64.75 4.00 1000000 0 1644.42/1644.91 c 101 233 251.82 61.85 4.07 1000000 0 1645.42/1645.94 c 102 237 251.33 58.51 4.30 1000000 0 1646.42/1646.96 c 90 191 233.77 57.58 4.06 1000000 0 1647.42/1647.99 c 109 293 240.26 61.48 3.91 1000000 0 1648.52/1649.02 c 75 173 251.24 59.53 4.22 1000000 0 1649.53/1650.05 c 112 176 252.00 58.60 4.30 1000000 0 1650.53/1651.08 c 107 190 254.40 58.24 4.37 1000000 0 1651.63/1652.11 c 97 307 251.10 63.36 3.96 1000000 0 1652.62/1653.14 c 108 194 245.30 56.75 4.32 1000000 0 1653.62/1654.16 c 105 201 245.78 53.83 4.57 1000000 0 1654.62/1655.19 c 109 210 242.59 53.83 4.51 1000000 0 1655.72/1656.22 c 96 253 251.68 59.77 4.21 1000000 0 1656.72/1657.25 c 111 347 254.85 61.42 4.15 1000000 0 1657.72/1658.28 c 92 198 256.79 54.75 4.69 1000000 0 1658.82/1659.31 c 104 212 256.35 58.36 4.39 1000000 0 1659.82/1660.34 c 91 236 256.64 70.11 3.66 1000000 0 1660.82/1661.37 c 94 206 250.04 59.23 4.22 1000000 0 1661.92/1662.40 c 105 276 257.45 64.96 3.96 1000000 0 1662.92/1663.43 c 132 206 266.41 59.35 4.49 1000000 0 1663.92/1664.46 c 104 198 250.48 54.61 4.59 1000000 0 1664.92/1665.49 c 106 272 242.13 51.34 4.72 1000000 0 1666.02/1666.52 c 87 237 253.55 63.69 3.98 1000000 0 1667.02/1667.54 c 119 300 253.32 55.02 4.60 1000000 0 1668.02/1668.57 c 103 240 254.39 60.73 4.19 1000000 0 1669.12/1669.60 c 101 308 253.37 61.89 4.09 1000000 0 1670.12/1670.63 c 77 216 256.38 56.35 4.55 1000000 0 1671.11/1671.66 c 100 219 257.92 54.23 4.76 1000000 0 1672.11/1672.69 c 88 193 259.10 66.05 3.92 1000000 0 1673.21/1673.73 c 104 318 260.09 57.65 4.51 1000000 0 1674.21/1674.75 c 89 228 248.23 60.68 4.09 1000000 0 1675.21/1675.78 c 95 165 250.40 53.33 4.70 1000000 0 1676.31/1676.81 c 100 311 245.21 60.09 4.08 1000000 0 1677.31/1677.84 c 115 288 265.61 61.24 4.34 1000000 0 1678.31/1678.87 c 97 253 257.39 54.75 4.70 1000000 0 1679.41/1679.90 c 105 275 246.44 53.27 4.63 1000000 0 1680.41/1680.93 c 85 253 250.92 64.89 3.87 1000000 0 1681.42/1681.96 c 93 322 254.79 54.47 4.68 1000000 0 1682.42/1682.99 c 110 244 253.73 59.91 4.24 1000000 0 1683.52/1684.02 c 89 252 238.85 47.09 5.07 1000000 0 1684.51/1685.05 c 89 251 246.58 52.64 4.68 1000000 0 1685.51/1686.08 c 103 256 248.76 55.53 4.48 1000000 0 1686.61/1687.11 c 89 214 251.61 64.05 3.93 1000000 0 1687.61/1688.14 c 111 272 260.78 59.25 4.40 1000000 0 1688.61/1689.17 c 84 252 253.18 67.07 3.77 1000000 0 1689.71/1690.20 c 108 232 248.27 56.77 4.37 1000000 0 1690.71/1691.23 c 104 280 245.44 56.83 4.32 1000000 0 1691.71/1692.26 c 103 217 256.76 62.60 4.10 1000000 0 1692.71/1693.29 c 103 208 255.66 61.34 4.17 1000000 0 1693.81/1694.32 c 108 300 252.17 64.45 3.91 1000000 0 1694.81/1695.35 c 88 287 248.60 62.93 3.95 1000000 0 1695.81/1696.39 c 103 275 266.21 63.13 4.22 1000000 0 1696.91/1697.42 c 89 259 254.60 68.14 3.74 1000000 0 1697.91/1698.44 c 82 190 248.79 56.86 4.38 1000000 0 1698.91/1699.47 c 98 324 255.38 55.56 4.60 1000000 0 1700.01/1700.50 c 103 312 255.53 64.45 3.96 1000000 0 1701.01/1701.53 c 127 303 260.65 64.76 4.02 1000000 0 1702.01/1702.56 c 120 264 258.16 55.92 4.62 1000000 0 1703.01/1703.59 c 79 246 246.94 57.16 4.32 1000000 0 1704.11/1704.63 c 94 187 254.82 55.70 4.58 1000000 0 1705.10/1705.66 c 107 268 256.37 60.17 4.26 1000000 0 1706.10/1706.69 c 114 252 253.81 56.87 4.46 1000000 0 1707.20/1707.71 c 91 251 257.84 62.61 4.12 1000000 0 1708.20/1708.74 c 92 168 260.08 61.54 4.23 1000000 0 1709.20/1709.78 c 108 284 249.00 54.98 4.53 1000000 0 1710.30/1710.81 c 110 271 262.34 63.97 4.10 1000000 0 1711.30/1711.84 c 112 303 249.82 61.35 4.07 1000000 0 1712.30/1712.87 c 84 207 251.11 58.79 4.27 1000000 0 1713.40/1713.90 c 103 244 249.82 57.87 4.32 1000000 0 1714.41/1714.93 c 98 189 259.36 66.28 3.91 1000000 0 1715.41/1715.96 c 107 277 258.06 67.51 3.82 1000000 0 1716.40/1716.99 c 115 241 258.86 57.11 4.53 1000000 0 1717.50/1718.02 c 97 220 252.19 56.40 4.47 1000000 0 1718.50/1719.05 c 112 213 251.88 60.76 4.15 1000000 0 1719.50/1720.08 c 109 143 262.79 61.85 4.25 1000000 0 1720.60/1721.12 c 109 175 259.28 73.36 3.53 1000000 0 1721.60/1722.15 c 101 260 244.32 57.17 4.27 1000000 0 1722.60/1723.18 c 98 226 257.12 59.42 4.33 1000000 0 1723.70/1724.21 c 99 215 244.11 58.78 4.15 1000000 0 1724.70/1725.24 c 100 254 256.73 67.92 3.78 1000000 0 1725.70/1726.26 c 79 224 246.98 55.94 4.42 1000000 0 1726.70/1727.29 c 100 347 255.82 60.68 4.22 1000000 0 1727.80/1728.32 c 103 272 250.83 55.62 4.51 1000000 0 1728.80/1729.35 c 104 224 251.11 59.16 4.24 1000000 0 1729.81/1730.38 c 129 239 266.52 51.57 5.17 1000000 0 1730.90/1731.41 c 136 260 266.47 51.73 5.15 1000000 0 1731.90/1732.44 c 97 209 257.96 65.97 3.91 1000000 0 1732.90/1733.47 c 101 225 252.66 57.66 4.38 1000000 0 1734.00/1734.51 c 81 296 254.46 71.75 3.55 1000000 0 1735.00/1735.54 c 87 316 259.16 64.21 4.04 1000000 0 1736.00/1736.57 c 124 202 258.36 62.23 4.15 1000000 0 1737.10/1737.60 c 119 298 258.29 52.97 4.88 1000000 0 1738.10/1738.63 c 113 207 250.91 57.73 4.35 1000000 0 1739.10/1739.66 c 98 286 251.01 62.11 4.04 1000000 0 1740.09/1740.69 c 111 276 246.33 59.33 4.15 1000000 0 1741.19/1741.71 c 100 233 251.59 55.41 4.54 1000000 0 1742.19/1742.75 c 130 203 260.30 57.08 4.56 1000000 0 1743.19/1743.78 c 115 270 253.75 50.59 5.02 1000000 0 1744.29/1744.81 c 100 244 242.33 56.00 4.33 1000000 0 1745.29/1745.84 c 125 256 255.78 51.95 4.92 1000000 0 1746.30/1746.87 c 112 268 261.53 65.72 3.98 1000000 0 1747.30/1747.90 c 109 159 244.57 57.68 4.24 1000000 0 1748.40/1748.93 c 102 345 248.62 66.95 3.71 1000000 0 1749.39/1749.96 c 101 277 246.48 57.14 4.31 1000000 0 1750.39/1750.99 c 111 147 259.39 57.77 4.49 1000000 0 1751.49/1752.02 c 104 179 255.79 63.25 4.04 1000000 0 1752.49/1753.04 c 88 321 251.18 60.76 4.13 1000000 0 1753.49/1754.08 c 112 235 267.31 61.16 4.37 1000000 0 1754.59/1755.11 c 118 273 257.53 57.85 4.45 1000000 0 1755.59/1756.13 c 97 210 251.05 63.09 3.98 1000000 0 1756.59/1757.16 c 114 308 258.66 58.50 4.42 1000000 0 1757.59/1758.19 c 96 302 243.52 58.80 4.14 1000000 0 1758.69/1759.22 c 111 180 249.33 60.19 4.14 1000000 0 1759.69/1760.25 c 113 198 253.42 54.19 4.68 1000000 0 1760.69/1761.28 c 99 229 248.83 68.86 3.61 1000000 0 1761.79/1762.32 c 109 206 252.46 59.57 4.24 1000000 0 1762.79/1763.35 c 109 308 255.58 58.05 4.40 1000000 0 1763.79/1764.37 c 101 264 247.82 62.43 3.97 1000000 0 1764.89/1765.40 c 82 229 252.46 67.75 3.73 1000000 0 1765.89/1766.43 c 104 264 265.40 63.75 4.16 1000000 0 1766.89/1767.46 c 120 186 252.60 63.45 3.98 1000000 0 1767.89/1768.49 c 127 234 265.78 61.38 4.33 1000000 0 1768.99/1769.53 c 107 273 260.70 69.34 3.76 1000000 0 1769.98/1770.56 c 94 204 254.26 65.24 3.90 1000000 0 1770.98/1771.59 c 95 205 250.18 58.05 4.31 1000000 0 1772.08/1772.62 c 105 195 251.22 63.76 3.94 1000000 0 1773.08/1773.65 c 114 240 265.22 57.46 4.62 1000000 0 1774.08/1774.68 c 111 255 260.50 63.77 4.08 1000000 0 1775.18/1775.71 c 108 226 262.29 67.45 3.89 1000000 0 1776.18/1776.74 c 75 258 265.22 61.65 4.30 1000000 0 1777.18/1777.77 c 78 184 241.55 60.80 3.97 1000000 0 1778.28/1778.80 c 79 273 255.14 61.03 4.18 1000000 0 1779.29/1779.83 c 117 184 259.34 54.88 4.73 1000000 0 1780.29/1780.86 c 109 238 260.67 49.53 5.26 1000000 0 1781.28/1781.89 c 111 329 253.34 51.33 4.94 1000000 0 1782.38/1782.92 c 105 312 254.16 62.95 4.04 1000000 0 1783.38/1783.95 c 90 191 251.59 66.20 3.80 1000000 0 1784.38/1784.98 c 112 260 261.00 56.32 4.63 1000000 0 1785.48/1786.01 c 71 341 249.61 61.20 4.08 1000000 0 1786.48/1787.04 c 68 376 260.21 57.10 4.56 1000000 0 1787.48/1788.07 c 107 337 254.35 56.12 4.53 1000000 0 1788.58/1789.10 c 87 251 260.91 57.44 4.54 1000000 0 1789.58/1790.14 c 102 236 265.86 60.65 4.38 1000000 0 1790.58/1791.17 c 118 282 263.01 61.58 4.27 1000000 0 1791.68/1792.20 c 83 241 257.24 59.98 4.29 1000000 0 1792.68/1793.23 c 98 262 261.59 60.73 4.31 1000000 0 1793.68/1794.26 c 91 233 251.47 74.78 3.36 1000000 0 1794.68/1795.29 c 86 254 257.65 70.74 3.64 1000000 0 1795.78/1796.32 c 79 310 256.21 61.05 4.20 1000000 0 1796.78/1797.35 c 71 204 248.74 65.56 3.79 1000000 0 1797.78/1798.38 c 106 229 250.22 60.06 4.17 1000000 0 1798.88/1799.41 c 99 245 255.40 63.09 4.05 1000000 0 1799.88/1800.44 c 109 291 253.95 56.45 4.50 1000000 0 1800.09/1800.61 HOME/run: line 2: 22722 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-2685476-1278441393/watcher-2685476-1278441393 -o /tmp/evaluation-result-2685476-1278441393/solver-2685476-1278441393 -C 1800 -W 2000 -M 1800 run HOME/instance-2685476-1278441393.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.03 1.01 1.00 3/105 22721 /proc/meminfo: memFree=1460424/2059040 swapFree=4192956/4192956 [pid=22721] ppid=22719 vsize=8700 CPUtime=0 /proc/22721/stat : 22721 (run) R 22719 22721 21941 0 -1 4202496 343 0 0 0 0 0 0 0 25 0 1 0 12347186 8908800 244 1992294400 4194304 4922060 140733504815248 18446744073709551615 219540988309 0 65538 4100 65536 0 0 0 17 0 0 0 0 /proc/22721/statm: 2175 244 204 178 0 68 0 [startup+0.0761089 s] /proc/loadavg: 1.03 1.01 1.00 3/105 22721 /proc/meminfo: memFree=1460424/2059040 swapFree=4192956/4192956 [pid=22721] ppid=22719 vsize=8700 CPUtime=0 /proc/22721/stat : 22721 (run) S 22719 22721 21941 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12347186 8908800 244 1992294400 4194304 4922060 140733504815248 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22721/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101112 s] /proc/loadavg: 1.03 1.01 1.00 3/105 22721 /proc/meminfo: memFree=1460424/2059040 swapFree=4192956/4192956 [pid=22721] ppid=22719 vsize=8700 CPUtime=0 /proc/22721/stat : 22721 (run) S 22719 22721 21941 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12347186 8908800 244 1992294400 4194304 4922060 140733504815248 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22721/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301137 s] /proc/loadavg: 1.03 1.01 1.00 3/105 22721 /proc/meminfo: memFree=1460424/2059040 swapFree=4192956/4192956 [pid=22721] ppid=22719 vsize=8700 CPUtime=0 /proc/22721/stat : 22721 (run) S 22719 22721 21941 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12347186 8908800 244 1992294400 4194304 4922060 140733504815248 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22721/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701187 s] /proc/loadavg: 1.03 1.01 1.00 3/105 22721 /proc/meminfo: memFree=1460424/2059040 swapFree=4192956/4192956 [pid=22721] ppid=22719 vsize=8700 CPUtime=0 /proc/22721/stat : 22721 (run) S 22719 22721 21941 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12347186 8908800 244 1992294400 4194304 4922060 140733504815248 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22721/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50129 s] /proc/loadavg: 1.03 1.01 1.00 2/107 22723 /proc/meminfo: memFree=1455944/2059040 swapFree=4192956/4192956 [pid=22721] ppid=22719 vsize=8700 CPUtime=0 /proc/22721/stat : 22721 (run) S 22719 22721 21941 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12347186 8908800 244 1992294400 4194304 4922060 140733504815248 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22721/statm: 2175 244 204 178 0 68 0 [pid=22722] ppid=22721 vsize=40452 CPUtime=1.49 /proc/22722/stat : 22722 (PB-wave) R 22721 22721 21941 0 -1 4202496 1145 0 0 0 149 0 0 0 25 0 1 0 12347186 41422848 1075 1992294400 134512640 135071400 4291459248 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22722/statm: 10113 1075 69 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.10048 s] /proc/loadavg: 1.03 1.01 1.00 2/107 22723 /proc/meminfo: memFree=1455820/2059040 swapFree=4192956/4192956 [pid=22721] ppid=22719 vsize=8700 CPUtime=0 /proc/22721/stat : 22721 (run) S 22719 22721 21941 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12347186 8908800 244 1992294400 4194304 4922060 140733504815248 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22721/statm: 2175 244 204 178 0 68 0 [pid=22722] ppid=22721 vsize=40452 CPUtime=3.09 /proc/22722/stat : 22722 (PB-wave) R 22721 22721 21941 0 -1 4202496 1145 0 0 0 309 0 0 0 25 0 1 0 12347186 41422848 1075 1992294400 134512640 135071400 4291459248 18446744073709551615 134525707 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22722/statm: 10113 1075 69 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.30088 s] /proc/loadavg: 1.03 1.01 1.00 2/107 22723 /proc/meminfo: memFree=1455820/2059040 swapFree=4192956/4192956 [pid=22721] ppid=22719 vsize=8700 CPUtime=0 /proc/22721/stat : 22721 (run) S 22719 22721 21941 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12347186 8908800 244 1992294400 4194304 4922060 140733504815248 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22721/statm: 2175 244 204 178 0 68 0 [pid=22722] ppid=22721 vsize=40452 CPUtime=6.29 /proc/22722/stat : 22722 (PB-wave) R 22721 22721 21941 0 -1 4202496 1145 0 0 0 629 0 0 0 25 0 1 0 12347186 41422848 1075 1992294400 134512640 135071400 4291459248 18446744073709551615 134526475 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22722/statm: 10113 1075 69 137 0 9974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49152 [startup+12.7007 s] /proc/loadavg: 1.02 1.01 1.00 2/107 22723 /proc/meminfo: memFree=1455828/2059040 swapFree=4192956/4192956 [pid=22721] ppid=22719 vsize=8700 CPUtime=0 /proc/22721/stat : 22721 (run) S 22719 22721 21941 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12347186 8908800 244 1992294400 4194304 4922060 140733504815248 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22721/statm: 2175 244 204 178 0 68 0 [pid=22722] ppid=22721 vsize=40452 CPUtime=12.69 /proc/22722/stat : 22722 (PB-wave) R 22721 22721 21941 0 -1 4202496 1146 0 0 0 1269 0 0 0 25 0 1 0 12347186 41422848 1076 1992294400 134512640 135071400 4291459248 18446744073709551615 134526359 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22722/statm: 10113 1076 69 137 0 9974 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49152 [startup+25.5013 s] /proc/loadavg: 1.02 1.01 1.00 2/107 22723 /proc/meminfo: memFree=1455828/2059040 swapFree=4192956/4192956 [pid=22721] ppid=22719 vsize=8700 CPUtime=0 /proc/22721/stat : 22721 (run) S 22719 22721 21941 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12347186 8908800 244 1992294400 4194304 4922060 140733504815248 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22721/statm: 2175 244 204 178 0 68 0 [pid=22722] ppid=22721 vsize=40452 CPUtime=25.48 /proc/22722/stat : 22722 (PB-wave) R 22721 22721 21941 0 -1 4202496 1146 0 0 0 2548 0 0 0 25 0 1 0 12347186 41422848 1076 1992294400 134512640 135071400 4291459248 18446744073709551615 134526830 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22722/statm: 10113 1076 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1014 s] /proc/loadavg: 1.01 1.01 1.00 2/107 22725 /proc/meminfo: memFree=1455828/2059040 swapFree=4192956/4192956 [pid=22721] ppid=22719 vsize=8700 CPUtime=0 /proc/22721/stat : 22721 (run) S 22719 22721 21941 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12347186 8908800 244 1992294400 4194304 4922060 140733504815248 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22721/statm: 2175 244 204 178 0 68 0 [pid=22722] ppid=22721 vsize=40452 CPUtime=51.08 /proc/22722/stat : 22722 (PB-wave) R 22721 22721 21941 0 -1 4202496 1146 0 0 0 5108 0 0 0 25 0 1 0 12347186 41422848 1076 1992294400 134512640 135071400 4291459248 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22722/statm: 10113 1076 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 22725 /proc/meminfo: memFree=1455704/2059040 swapFree=4192956/4192956 [pid=22721] ppid=22719 vsize=8700 CPUtime=0 /proc/22721/stat : 22721 (run) S 22719 22721 21941 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12347186 8908800 244 1992294400 4194304 4922060 140733504815248 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22721/statm: 2175 244 204 178 0 68 0 [pid=22722] ppid=22721 vsize=40452 CPUtime=102.27 /proc/22722/stat : 22722 (PB-wave) R 22721 22721 21941 0 -1 4202496 1146 0 0 0 10227 0 0 0 25 0 1 0 12347186 41422848 1076 1992294400 134512640 135071400 4291459248 18446744073709551615 134526366 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22722/statm: 10113 1076 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 22727 /proc/meminfo: memFree=1455580/2059040 swapFree=4192956/4192956 [pid=22721] ppid=22719 vsize=8700 CPUtime=0 /proc/22721/stat : 22721 (run) S 22719 22721 21941 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12347186 8908800 244 1992294400 4194304 4922060 140733504815248 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22721/statm: 2175 244 204 178 0 68 0 [pid=22722] ppid=22721 vsize=40452 CPUtime=162.24 /proc/22722/stat : 22722 (PB-wave) R 22721 22721 21941 0 -1 4202496 1146 0 0 0 16224 0 0 0 25 0 1 0 12347186 41422848 1076 1992294400 134512640 135071400 4291459248 18446744073709551615 134547285 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22722/statm: 10113 1076 69 137 0 9974 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 49152 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22729 /proc/meminfo: memFree=1455580/2059040 swapFree=4192956/4192956 [pid=22721] ppid=22719 vsize=8700 CPUtime=0 /proc/22721/stat : 22721 (run) S 22719 22721 21941 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12347186 8908800 244 1992294400 4194304 4922060 140733504815248 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22721/statm: 2175 244 204 178 0 68 0 [pid=22722] ppid=22721 vsize=40452 CPUtime=222.23 /proc/22722/stat : 22722 (PB-wave) R 22721 22721 21941 0 -1 4202496 1146 0 0 0 22223 0 0 0 25 0 1 0 12347186 41422848 1076 1992294400 134512640 135071400 4291459248 18446744073709551615 134527032 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22722/statm: 10113 1076 69 137 0 9974 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 49152 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22731 /proc/meminfo: memFree=1455580/2059040 swapFree=4192956/4192956 [pid=22721] ppid=22719 vsize=8700 CPUtime=0 /proc/22721/stat : 22721 (run) S 22719 22721 21941 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12347186 8908800 244 1992294400 4194304 4922060 140733504815248 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22721/statm: 2175 244 204 178 0 68 0 [pid=22722] ppid=22721 vsize=40452 CPUtime=282.21 /proc/22722/stat : 22722 (PB-wave) R 22721 22721 21941 0 -1 4202496 1146 0 0 0 28221 0 0 0 25 0 1 0 12347186 41422848 1076 1992294400 134512640 135071400 4291459248 18446744073709551615 134525938 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22722/statm: 10113 1076 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 22733 /proc/meminfo: memFree=1455332/2059040 swapFree=4192956/4192956 [pid=22721] ppid=22719 vsize=8700 CPUtime=0 /proc/22721/stat : 22721 (run) S 22719 22721 21941 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12347186 8908800 244 1992294400 4194304 4922060 140733504815248 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22721/statm: 2175 244 204 178 0 68 0 [pid=22722] ppid=22721 vsize=40452 CPUtime=342.19 /proc/22722/stat : 22722 (PB-wave) R 22721 22721 21941 0 -1 4202496 1146 0 0 0 34219 0 0 0 25 0 1 0 12347186 41422848 1076 1992294400 134512640 135071400 4291459248 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22722/statm: 10113 1076 69 137 0 9974 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 49152 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22733 /proc/meminfo: memFree=1455332/2059040 swapFree=4192956/4192956 [pid=22721] ppid=22719 vsize=8700 CPUtime=0 /proc/22721/stat : 22721 (run) S 22719 22721 21941 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12347186 8908800 244 1992294400 4194304 4922060 140733504815248 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22721/statm: 2175 244 204 178 0 68 0 [pid=22722] ppid=22721 vsize=40452 CPUtime=402.18 /proc/22722/stat : 22722 (PB-wave) R 22721 22721 21941 0 -1 4202496 1146 0 0 0 40217 1 0 0 25 0 1 0 12347186 41422848 1076 1992294400 134512640 135071400 4291459248 18446744073709551615 134526480 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22722/statm: 10113 1076 69 137 0 9974 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 49152 [startup+462.301 s] ################ # More data... # ################ /proc/22721/statm: 2175 244 204 178 0 68 0 [pid=22722] ppid=22721 vsize=40452 CPUtime=1061.99 /proc/22722/stat : 22722 (PB-wave) R 22721 22721 21941 0 -1 4202496 1146 0 0 0 106197 2 0 0 25 0 1 0 12347186 41422848 1076 1992294400 134512640 135071400 4291459248 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22722/statm: 10113 1076 69 137 0 9974 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 49152 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22753 /proc/meminfo: memFree=1453968/2059040 swapFree=4192956/4192956 [pid=22721] ppid=22719 vsize=8700 CPUtime=0 /proc/22721/stat : 22721 (run) S 22719 22721 21941 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12347186 8908800 244 1992294400 4194304 4922060 140733504815248 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22721/statm: 2175 244 204 178 0 68 0 [pid=22722] ppid=22721 vsize=40452 CPUtime=1121.97 /proc/22722/stat : 22722 (PB-wave) R 22721 22721 21941 0 -1 4202496 1146 0 0 0 112195 2 0 0 25 0 1 0 12347186 41422848 1076 1992294400 134512640 135071400 4291459248 18446744073709551615 134526475 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22722/statm: 10113 1076 69 137 0 9974 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22755 /proc/meminfo: memFree=1453720/2059040 swapFree=4192956/4192956 [pid=22721] ppid=22719 vsize=8700 CPUtime=0 /proc/22721/stat : 22721 (run) S 22719 22721 21941 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12347186 8908800 244 1992294400 4194304 4922060 140733504815248 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22721/statm: 2175 244 204 178 0 68 0 [pid=22722] ppid=22721 vsize=40452 CPUtime=1181.96 /proc/22722/stat : 22722 (PB-wave) R 22721 22721 21941 0 -1 4202496 1146 0 0 0 118194 2 0 0 25 0 1 0 12347186 41422848 1076 1992294400 134512640 135071400 4291459248 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22722/statm: 10113 1076 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22757 /proc/meminfo: memFree=1453472/2059040 swapFree=4192956/4192956 [pid=22721] ppid=22719 vsize=8700 CPUtime=0 /proc/22721/stat : 22721 (run) S 22719 22721 21941 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12347186 8908800 244 1992294400 4194304 4922060 140733504815248 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22721/statm: 2175 244 204 178 0 68 0 [pid=22722] ppid=22721 vsize=40452 CPUtime=1241.95 /proc/22722/stat : 22722 (PB-wave) R 22721 22721 21941 0 -1 4202496 1146 0 0 0 124192 3 0 0 25 0 1 0 12347186 41422848 1076 1992294400 134512640 135071400 4291459248 18446744073709551615 134526328 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22722/statm: 10113 1076 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22757 /proc/meminfo: memFree=1453348/2059040 swapFree=4192956/4192956 [pid=22721] ppid=22719 vsize=8700 CPUtime=0 /proc/22721/stat : 22721 (run) S 22719 22721 21941 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12347186 8908800 244 1992294400 4194304 4922060 140733504815248 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22721/statm: 2175 244 204 178 0 68 0 [pid=22722] ppid=22721 vsize=40452 CPUtime=1301.94 /proc/22722/stat : 22722 (PB-wave) R 22721 22721 21941 0 -1 4202496 1146 0 0 0 130191 3 0 0 25 0 1 0 12347186 41422848 1076 1992294400 134512640 135071400 4291459248 18446744073709551615 134525633 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22722/statm: 10113 1076 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22759 /proc/meminfo: memFree=1453348/2059040 swapFree=4192956/4192956 [pid=22721] ppid=22719 vsize=8700 CPUtime=0 /proc/22721/stat : 22721 (run) S 22719 22721 21941 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12347186 8908800 244 1992294400 4194304 4922060 140733504815248 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22721/statm: 2175 244 204 178 0 68 0 [pid=22722] ppid=22721 vsize=40452 CPUtime=1361.91 /proc/22722/stat : 22722 (PB-wave) R 22721 22721 21941 0 -1 4202496 1146 0 0 0 136188 3 0 0 25 0 1 0 12347186 41422848 1076 1992294400 134512640 135071400 4291459248 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22722/statm: 10113 1076 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22761 /proc/meminfo: memFree=1453224/2059040 swapFree=4192956/4192956 [pid=22721] ppid=22719 vsize=8700 CPUtime=0 /proc/22721/stat : 22721 (run) S 22719 22721 21941 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12347186 8908800 244 1992294400 4194304 4922060 140733504815248 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22721/statm: 2175 244 204 178 0 68 0 [pid=22722] ppid=22721 vsize=40452 CPUtime=1421.9 /proc/22722/stat : 22722 (PB-wave) R 22721 22721 21941 0 -1 4202496 1146 0 0 0 142186 4 0 0 25 0 1 0 12347186 41422848 1076 1992294400 134512640 135071400 4291459248 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22722/statm: 10113 1076 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.07 1.02 1.00 2/107 22772 /proc/meminfo: memFree=1452604/2059040 swapFree=4192956/4192956 [pid=22721] ppid=22719 vsize=8700 CPUtime=0 /proc/22721/stat : 22721 (run) S 22719 22721 21941 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12347186 8908800 244 1992294400 4194304 4922060 140733504815248 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22721/statm: 2175 244 204 178 0 68 0 [pid=22722] ppid=22721 vsize=40452 CPUtime=1481.87 /proc/22722/stat : 22722 (PB-wave) R 22721 22721 21941 0 -1 4202496 1146 0 0 0 148183 4 0 0 25 0 1 0 12347186 41422848 1076 1992294400 134512640 135071400 4291459248 18446744073709551615 134525790 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22722/statm: 10113 1076 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 22774 /proc/meminfo: memFree=1452604/2059040 swapFree=4192956/4192956 [pid=22721] ppid=22719 vsize=8700 CPUtime=0 /proc/22721/stat : 22721 (run) S 22719 22721 21941 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12347186 8908800 244 1992294400 4194304 4922060 140733504815248 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22721/statm: 2175 244 204 178 0 68 0 [pid=22722] ppid=22721 vsize=40452 CPUtime=1541.85 /proc/22722/stat : 22722 (PB-wave) R 22721 22721 21941 0 -1 4202496 1146 0 0 0 154181 4 0 0 25 0 1 0 12347186 41422848 1076 1992294400 134512640 135071400 4291459248 18446744073709551615 134526109 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22722/statm: 10113 1076 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.01 1.00 1.00 2/107 22774 /proc/meminfo: memFree=1452604/2059040 swapFree=4192956/4192956 [pid=22721] ppid=22719 vsize=8700 CPUtime=0 /proc/22721/stat : 22721 (run) S 22719 22721 21941 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12347186 8908800 244 1992294400 4194304 4922060 140733504815248 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22721/statm: 2175 244 204 178 0 68 0 [pid=22722] ppid=22721 vsize=40452 CPUtime=1601.84 /proc/22722/stat : 22722 (PB-wave) R 22721 22721 21941 0 -1 4202496 1146 0 0 0 160179 5 0 0 25 0 1 0 12347186 41422848 1076 1992294400 134512640 135071400 4291459248 18446744073709551615 134537285 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22722/statm: 10113 1076 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22776 /proc/meminfo: memFree=1452604/2059040 swapFree=4192956/4192956 [pid=22721] ppid=22719 vsize=8700 CPUtime=0 /proc/22721/stat : 22721 (run) S 22719 22721 21941 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12347186 8908800 244 1992294400 4194304 4922060 140733504815248 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22721/statm: 2175 244 204 178 0 68 0 [pid=22722] ppid=22721 vsize=40452 CPUtime=1661.82 /proc/22722/stat : 22722 (PB-wave) R 22721 22721 21941 0 -1 4202496 1146 0 0 0 166177 5 0 0 25 0 1 0 12347186 41422848 1076 1992294400 134512640 135071400 4291459248 18446744073709551615 134525813 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22722/statm: 10113 1076 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22778 /proc/meminfo: memFree=1452728/2059040 swapFree=4192956/4192956 [pid=22721] ppid=22719 vsize=8700 CPUtime=0 /proc/22721/stat : 22721 (run) S 22719 22721 21941 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12347186 8908800 244 1992294400 4194304 4922060 140733504815248 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22721/statm: 2175 244 204 178 0 68 0 [pid=22722] ppid=22721 vsize=40452 CPUtime=1721.8 /proc/22722/stat : 22722 (PB-wave) R 22721 22721 21941 0 -1 4202496 1146 0 0 0 172175 5 0 0 25 0 1 0 12347186 41422848 1076 1992294400 134512640 135071400 4291459248 18446744073709551615 134525931 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22722/statm: 10113 1076 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22780 /proc/meminfo: memFree=1452356/2059040 swapFree=4192956/4192956 [pid=22721] ppid=22719 vsize=8700 CPUtime=0 /proc/22721/stat : 22721 (run) S 22719 22721 21941 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12347186 8908800 244 1992294400 4194304 4922060 140733504815248 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22721/statm: 2175 244 204 178 0 68 0 [pid=22722] ppid=22721 vsize=40452 CPUtime=1781.78 /proc/22722/stat : 22722 (PB-wave) R 22721 22721 21941 0 -1 4202496 1146 0 0 0 178173 5 0 0 25 0 1 0 12347186 41422848 1076 1992294400 134512640 135071400 4291459248 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22722/statm: 10113 1076 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.78 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 22780 /proc/meminfo: memFree=1452356/2059040 swapFree=4192956/4192956 [pid=22721] ppid=22719 vsize=8700 CPUtime=0 /proc/22721/stat : 22721 (run) S 22719 22721 21941 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12347186 8908800 244 1992294400 4194304 4922060 140733504815248 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22721/statm: 2175 244 204 178 0 68 0 [pid=22722] ppid=22721 vsize=40452 CPUtime=1800.09 /proc/22722/stat : 22722 (PB-wave) R 22721 22721 21941 0 -1 4202496 1146 0 0 0 180004 5 0 0 25 0 1 0 12347186 41422848 1076 1992294400 134512640 135071400 4291459248 18446744073709551615 134525739 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/22722/statm: 10113 1076 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) Sleeping Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1800.62 CPU time (s): 1800.1 CPU user time (s): 1800.04 CPU system time (s): 0.058991 CPU usage (%): 99.9715 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.04 system time used= 0.058991 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1518 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= 25412 runsolver used 3.07253 second user time and 8.50871 second system time The end
Begin job on node080 at 2010-07-06 20:36:33 IDJOB=2685476 IDBENCH=76117 IDSOLVER=1171 FILE ID=node080/2685476-1278441393 PBS_JOBID= 11233470 Free space on /tmp= 62540 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j60/normalized-j603_2-unsat.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2685476-1278441393/watcher-2685476-1278441393 -o /tmp/evaluation-result-2685476-1278441393/solver-2685476-1278441393 -C 1800 -W 2000 -M 1800 run HOME/instance-2685476-1278441393.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a21481d09c6e372fceb7a960f40ed463 RANDOM SEED=2001577204 node080.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.255 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.51 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.255 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.50 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1460944 kB Buffers: 102952 kB Cached: 356392 kB SwapCached: 0 kB Active: 88140 kB Inactive: 431436 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1460944 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2556 kB Writeback: 0 kB AnonPages: 60092 kB Mapped: 14448 kB Slab: 56792 kB PageTables: 4044 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182836 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62536 MiB End job on node080 at 2010-07-06 21:06:33