Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.02 | 1800.51 |
Name | /DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3046_4-unsat.opb |
MD5SUM | 194fc06f7c21580ad88e7dc6177066b4 |
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.064989 |
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 | 3968 |
Total number of constraints | 13430 |
Number of constraints which are clauses | 13178 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 252 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 30 |
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 | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 187 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.04 c PB-wave - v2 0.00/0.04 c command line = ./PB-wave 0.00/0.04 c seed = 30710105 0.00/0.04 c cutoff = 1000000 0.00/0.04 c tries = 1000000 0.00/0.04 c heuristic = c best, noise 50 / 100 0.00/0.04 #var 3968 #con 13430 0.00/0.04 mode is SAT 0.00/0.04 c tail starts after flip = 11904 0.00/0.04 c numatom = 3968, numclause = 13430, numliterals = 35501 0.00/0.04 c wff read in 0.00/0.04 c 0.00/0.04 c lowest final avg noise noise total avg mean mean 0.00/0.04 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.04 c this this this this this this success success until std 0.00/0.04 c try try try try try try rate tries assign dev 0.00/0.04 c 1.19/1.25 c 116 195 231.12 37.00 6.25 1000000 0 2.39/2.46 c 104 192 232.25 36.50 6.36 1000000 0 3.59/3.67 c 119 206 231.91 36.22 6.40 1000000 0 4.79/4.89 c 110 284 231.34 36.27 6.38 1000000 0 5.99/6.09 c 99 203 231.48 37.70 6.14 1000000 0 7.28/7.30 c 94 179 226.23 36.56 6.19 1000000 0 8.48/8.51 c 100 197 234.69 34.54 6.80 1000000 0 9.68/9.72 c 110 219 233.02 36.68 6.35 1000000 0 10.89/10.93 c 121 313 234.76 35.85 6.55 1000000 0 12.09/12.14 c 118 226 231.15 35.60 6.49 1000000 0 13.28/13.35 c 107 240 231.83 35.91 6.46 1000000 0 14.48/14.55 c 114 251 233.84 36.22 6.46 1000000 0 15.68/15.76 c 105 149 231.39 36.66 6.31 1000000 0 16.88/16.97 c 110 187 227.44 35.77 6.36 1000000 0 18.08/18.18 c 117 228 233.01 34.37 6.78 1000000 0 19.28/19.39 c 122 259 232.35 36.21 6.42 1000000 0 20.58/20.60 c 103 272 230.51 36.28 6.35 1000000 0 21.78/21.81 c 90 216 228.85 34.63 6.61 1000000 0 22.99/23.02 c 120 259 228.49 34.63 6.60 1000000 0 24.19/24.22 c 116 216 234.12 36.19 6.47 1000000 0 25.38/25.44 c 120 254 231.60 35.34 6.55 1000000 0 26.58/26.65 c 118 205 227.72 34.31 6.64 1000000 0 27.78/27.85 c 107 217 226.94 37.09 6.12 1000000 0 28.98/29.06 c 107 246 232.47 36.60 6.35 1000000 0 30.18/30.28 c 86 225 227.12 34.86 6.52 1000000 0 31.38/31.48 c 107 232 232.89 36.93 6.31 1000000 0 32.58/32.69 c 112 259 229.10 38.27 5.99 1000000 0 33.88/33.91 c 96 206 231.91 37.40 6.20 1000000 0 35.08/35.11 c 122 214 235.03 35.33 6.65 1000000 0 36.28/36.32 c 106 212 232.51 35.93 6.47 1000000 0 37.48/37.53 c 111 242 233.89 35.55 6.58 1000000 0 38.68/38.73 c 123 173 229.14 36.45 6.29 1000000 0 39.88/39.94 c 105 201 230.68 35.04 6.58 1000000 0 41.07/41.15 c 101 156 229.28 35.18 6.52 1000000 0 42.27/42.36 c 99 143 230.97 36.71 6.29 1000000 0 43.47/43.57 c 112 183 229.71 35.18 6.53 1000000 0 44.67/44.78 c 113 209 228.88 35.06 6.53 1000000 0 45.87/45.98 c 109 220 233.80 36.72 6.37 1000000 0 47.07/47.19 c 111 232 230.34 35.27 6.53 1000000 0 48.28/48.39 c 106 281 230.94 35.12 6.58 1000000 0 49.57/49.60 c 112 230 230.13 34.82 6.61 1000000 0 50.77/50.81 c 114 210 231.41 35.98 6.43 1000000 0 51.97/52.02 c 112 230 230.12 36.61 6.29 1000000 0 53.17/53.23 c 109 176 229.43 34.97 6.56 1000000 0 54.37/54.44 c 90 199 229.70 38.16 6.02 1000000 0 55.57/55.65 c 106 221 235.54 35.24 6.68 1000000 0 56.77/56.86 c 112 220 228.61 35.44 6.45 1000000 0 57.97/58.06 c 113 275 232.38 36.79 6.32 1000000 0 59.17/59.27 c 117 257 237.51 38.67 6.14 1000000 0 60.38/60.49 c 114 220 231.28 36.72 6.30 1000000 0 61.58/61.69 c 96 205 230.86 34.94 6.61 1000000 0 62.87/62.90 c 119 263 231.06 37.10 6.23 1000000 0 64.07/64.11 c 117 248 234.20 35.28 6.64 1000000 0 65.27/65.32 c 115 191 231.34 35.13 6.59 1000000 0 66.47/66.53 c 107 240 236.38 38.17 6.19 1000000 0 67.67/67.74 c 111 288 232.59 36.66 6.34 1000000 0 68.87/68.94 c 120 207 234.64 35.03 6.70 1000000 0 70.07/70.15 c 102 235 231.24 36.51 6.33 1000000 0 71.27/71.36 c 104 214 227.77 36.03 6.32 1000000 0 72.47/72.57 c 118 231 231.42 35.72 6.48 1000000 0 73.67/73.78 c 117 277 233.94 37.31 6.27 1000000 0 74.87/74.99 c 112 238 231.64 36.17 6.40 1000000 0 76.16/76.20 c 113 211 231.53 34.48 6.71 1000000 0 77.36/77.41 c 86 191 229.60 36.91 6.22 1000000 0 78.56/78.62 c 111 228 229.26 36.21 6.33 1000000 0 79.76/79.83 c 119 266 236.13 34.47 6.85 1000000 0 80.96/81.04 c 116 213 231.67 35.70 6.49 1000000 0 82.16/82.25 c 109 313 233.56 36.59 6.38 1000000 0 83.36/83.46 c 104 241 230.90 34.86 6.62 1000000 0 84.57/84.67 c 111 224 228.57 34.11 6.70 1000000 0 85.77/85.88 c 104 213 229.25 37.04 6.19 1000000 0 86.96/87.09 c 114 225 229.41 35.52 6.46 1000000 0 88.16/88.30 c 110 185 229.10 35.87 6.39 1000000 0 89.46/89.51 c 115 294 232.76 34.36 6.77 1000000 0 90.66/90.71 c 97 212 236.22 36.81 6.42 1000000 0 91.86/91.92 c 121 202 232.16 34.57 6.72 1000000 0 93.06/93.13 c 116 191 229.09 35.53 6.45 1000000 0 94.26/94.34 c 113 253 224.79 33.65 6.68 1000000 0 95.46/95.55 c 118 207 233.36 36.30 6.43 1000000 0 96.67/96.77 c 118 204 228.07 35.56 6.41 1000000 0 97.87/97.98 c 119 235 229.73 36.10 6.36 1000000 0 99.06/99.19 c 117 244 231.89 35.40 6.55 1000000 0 100.26/100.39 c 110 189 232.59 34.53 6.74 1000000 0 101.56/101.60 c 97 265 226.96 36.55 6.21 1000000 0 102.76/102.82 c 116 179 233.50 37.20 6.28 1000000 0 103.96/104.02 c 126 210 229.74 33.59 6.84 1000000 0 105.16/105.23 c 114 257 229.94 36.16 6.36 1000000 0 106.36/106.44 c 117 182 229.75 35.24 6.52 1000000 0 107.56/107.65 c 95 238 228.49 35.50 6.44 1000000 0 108.76/108.86 c 111 255 230.11 35.40 6.50 1000000 0 109.96/110.07 c 117 242 234.78 38.14 6.16 1000000 0 111.16/111.28 c 105 198 235.37 37.17 6.33 1000000 0 112.35/112.48 c 124 235 226.84 34.40 6.60 1000000 0 113.55/113.69 c 103 177 230.75 35.62 6.48 1000000 0 114.85/114.90 c 101 234 229.55 36.14 6.35 1000000 0 116.05/116.11 c 114 239 229.00 34.29 6.68 1000000 0 117.25/117.31 c 115 208 230.63 34.99 6.59 1000000 0 118.45/118.53 c 107 260 235.58 36.01 6.54 1000000 0 119.65/119.73 c 107 272 230.25 34.81 6.61 1000000 0 120.86/120.94 c 102 239 228.37 35.50 6.43 1000000 0 122.06/122.15 c 98 233 230.05 36.02 6.39 1000000 0 123.25/123.37 c 122 178 232.46 38.83 5.99 1000000 0 124.45/124.58 c 114 260 231.30 34.88 6.63 1000000 0 125.65/125.79 c 116 192 232.62 36.46 6.38 1000000 0 126.95/127.00 c 113 240 232.22 34.96 6.64 1000000 0 128.15/128.21 c 107 220 233.19 35.45 6.58 1000000 0 129.35/129.42 c 107 209 228.28 36.60 6.24 1000000 0 130.55/130.63 c 109 231 237.19 38.71 6.13 1000000 0 131.75/131.84 c 117 227 231.52 34.84 6.65 1000000 0 132.96/133.05 c 110 192 231.16 36.46 6.34 1000000 0 134.16/134.25 c 106 224 230.97 35.99 6.42 1000000 0 135.35/135.47 c 101 228 231.80 35.58 6.51 1000000 0 136.55/136.67 c 94 169 226.90 37.88 5.99 1000000 0 137.75/137.88 c 112 218 227.99 35.08 6.50 1000000 0 138.95/139.09 c 111 209 227.07 34.88 6.51 1000000 0 140.25/140.30 c 106 224 227.13 34.84 6.52 1000000 0 141.45/141.51 c 98 230 229.76 37.04 6.20 1000000 0 142.65/142.72 c 105 269 231.57 36.67 6.32 1000000 0 143.85/143.93 c 109 172 231.08 35.97 6.42 1000000 0 145.05/145.15 c 112 213 228.57 35.26 6.48 1000000 0 146.25/146.36 c 117 222 231.14 34.77 6.65 1000000 0 147.45/147.56 c 114 178 236.42 36.40 6.50 1000000 0 148.65/148.77 c 110 267 234.00 37.61 6.22 1000000 0 149.85/149.98 c 121 173 231.15 35.40 6.53 1000000 0 151.05/151.19 c 99 191 227.86 37.25 6.12 1000000 0 152.24/152.40 c 127 245 232.97 37.25 6.26 1000000 0 153.54/153.60 c 95 258 230.09 38.31 6.01 1000000 0 154.74/154.81 c 100 320 231.84 35.84 6.47 1000000 0 155.94/156.02 c 108 311 229.33 36.39 6.30 1000000 0 157.15/157.23 c 102 244 231.64 35.53 6.52 1000000 0 158.35/158.43 c 117 254 231.99 36.46 6.36 1000000 0 159.54/159.64 c 102 217 233.34 36.23 6.44 1000000 0 160.74/160.85 c 116 204 231.99 37.13 6.25 1000000 0 161.94/162.05 c 121 231 235.11 35.09 6.70 1000000 0 163.14/163.26 c 117 202 235.48 34.85 6.76 1000000 0 164.34/164.46 c 98 197 231.74 35.36 6.55 1000000 0 165.54/165.68 c 110 282 232.47 36.50 6.37 1000000 0 166.74/166.89 c 115 220 231.32 36.47 6.34 1000000 0 167.94/168.10 c 89 240 229.38 35.87 6.39 1000000 0 169.25/169.30 c 101 220 229.76 37.87 6.07 1000000 0 170.45/170.51 c 110 300 232.75 37.85 6.15 1000000 0 171.64/171.72 c 112 225 233.85 35.47 6.59 1000000 0 172.84/172.93 c 119 328 232.15 38.58 6.02 1000000 0 174.04/174.13 c 109 269 229.94 36.63 6.28 1000000 0 175.24/175.34 c 118 168 234.37 38.65 6.06 1000000 0 176.44/176.55 c 113 196 227.42 34.96 6.51 1000000 0 177.64/177.76 c 112 209 227.50 36.43 6.24 1000000 0 178.84/178.97 c 111 215 231.47 35.97 6.44 1000000 0 180.04/180.18 c 118 235 236.75 37.54 6.31 1000000 0 181.24/181.39 c 109 271 232.92 35.07 6.64 1000000 0 182.44/182.60 c 117 291 232.64 34.40 6.76 1000000 0 183.74/183.80 c 118 284 226.77 35.29 6.43 1000000 0 184.94/185.01 c 115 240 230.21 35.63 6.46 1000000 0 186.13/186.22 c 115 228 233.37 36.62 6.37 1000000 0 187.33/187.43 c 105 248 233.63 39.44 5.92 1000000 0 188.53/188.63 c 106 222 230.31 37.11 6.21 1000000 0 189.73/189.85 c 106 209 231.73 34.98 6.62 1000000 0 190.93/191.05 c 105 225 233.31 36.95 6.31 1000000 0 192.13/192.26 c 108 255 231.74 34.70 6.68 1000000 0 193.33/193.47 c 106 199 232.41 37.52 6.19 1000000 0 194.54/194.67 c 99 211 230.84 35.90 6.43 1000000 0 195.74/195.88 c 121 164 230.92 35.73 6.46 1000000 0 197.03/197.10 c 113 267 233.63 36.31 6.43 1000000 0 198.23/198.31 c 107 265 234.50 38.22 6.14 1000000 0 199.43/199.52 c 94 239 228.92 37.05 6.18 1000000 0 200.63/200.73 c 121 209 231.84 33.55 6.91 1000000 0 201.83/201.94 c 109 254 229.20 36.23 6.33 1000000 0 203.03/203.15 c 83 276 233.39 35.89 6.50 1000000 0 204.23/204.36 c 83 248 233.62 37.71 6.20 1000000 0 205.43/205.57 c 115 176 230.28 36.47 6.31 1000000 0 206.64/206.78 c 99 150 232.25 37.14 6.25 1000000 0 207.84/207.99 c 112 188 233.49 37.05 6.30 1000000 0 209.03/209.20 c 100 211 228.90 36.32 6.30 1000000 0 210.33/210.41 c 104 190 233.64 36.83 6.34 1000000 0 211.53/211.62 c 116 212 231.93 35.16 6.60 1000000 0 212.73/212.83 c 118 304 229.08 34.76 6.59 1000000 0 213.93/214.04 c 114 287 230.15 36.82 6.25 1000000 0 215.13/215.24 c 119 252 228.55 36.37 6.28 1000000 0 216.33/216.45 c 97 242 233.95 36.54 6.40 1000000 0 217.53/217.66 c 108 257 234.41 38.49 6.09 1000000 0 218.73/218.87 c 115 266 231.96 35.47 6.54 1000000 0 219.93/220.08 c 113 273 233.39 36.73 6.35 1000000 0 221.12/221.29 c 103 264 230.46 35.04 6.58 1000000 0 222.42/222.50 c 109 215 230.44 35.94 6.41 1000000 0 223.62/223.72 c 99 266 228.82 37.08 6.17 1000000 0 224.82/224.93 c 102 297 231.50 37.24 6.22 1000000 0 226.02/226.13 c 109 214 229.04 35.89 6.38 1000000 0 227.22/227.34 c 111 204 233.54 35.63 6.56 1000000 0 228.42/228.55 c 105 200 228.91 34.44 6.65 1000000 0 229.62/229.75 c 111 215 227.54 36.13 6.30 1000000 0 230.83/230.96 c 105 241 231.41 37.55 6.16 1000000 0 232.03/232.17 c 104 275 232.74 35.75 6.51 1000000 0 233.22/233.39 c 96 229 232.26 36.22 6.41 1000000 0 234.42/234.59 c 96 172 233.38 35.30 6.61 1000000 0 235.72/235.80 c 108 211 231.98 33.02 7.03 1000000 0 236.92/237.01 c 99 221 234.41 35.59 6.59 1000000 0 238.12/238.22 c 111 210 230.77 36.03 6.41 1000000 0 239.32/239.43 c 97 213 232.57 36.00 6.46 1000000 0 240.52/240.64 c 112 195 227.34 35.70 6.37 1000000 0 241.72/241.84 c 100 270 232.67 37.45 6.21 1000000 0 242.93/243.05 c 101 231 235.00 39.95 5.88 1000000 0 244.13/244.26 c 103 239 231.88 34.82 6.66 1000000 0 245.32/245.47 c 110 197 231.30 36.57 6.33 1000000 0 246.52/246.67 c 110 248 233.26 34.83 6.70 1000000 0 247.72/247.88 c 124 201 229.72 35.61 6.45 1000000 0 248.92/249.09 c 117 242 233.06 35.37 6.59 1000000 0 250.22/250.30 c 115 306 234.76 36.88 6.37 1000000 0 251.42/251.51 c 119 245 230.92 34.66 6.66 1000000 0 252.62/252.72 c 119 229 231.83 36.51 6.35 1000000 0 253.82/253.93 c 119 198 231.56 34.43 6.73 1000000 0 255.02/255.14 c 114 243 229.99 35.55 6.47 1000000 0 256.22/256.34 c 94 217 228.85 35.59 6.43 1000000 0 257.41/257.55 c 107 276 230.33 36.47 6.32 1000000 0 258.61/258.76 c 113 217 232.53 36.27 6.41 1000000 0 259.81/259.97 c 107 191 230.15 36.85 6.25 1000000 0 261.01/261.17 c 113 206 231.97 34.08 6.81 1000000 0 262.21/262.38 c 106 232 231.89 35.28 6.57 1000000 0 263.41/263.58 c 93 215 225.39 35.94 6.27 1000000 0 264.71/264.80 c 113 240 234.42 36.36 6.45 1000000 0 265.91/266.00 c 102 247 230.86 36.87 6.26 1000000 0 267.12/267.21 c 106 281 231.08 37.21 6.21 1000000 0 268.32/268.41 c 109 209 228.44 35.75 6.39 1000000 0 269.51/269.62 c 102 246 228.35 35.00 6.52 1000000 0 270.71/270.83 c 102 233 232.84 36.68 6.35 1000000 0 271.91/272.04 c 124 262 231.23 35.86 6.45 1000000 0 273.11/273.24 c 106 244 229.56 34.97 6.56 1000000 0 274.31/274.45 c 115 229 233.63 36.08 6.48 1000000 0 275.51/275.66 c 113 217 231.49 33.93 6.82 1000000 0 276.71/276.87 c 124 217 232.19 37.24 6.24 1000000 0 277.91/278.09 c 103 202 234.05 37.73 6.20 1000000 0 279.11/279.30 c 112 253 232.13 36.19 6.42 1000000 0 280.42/280.51 c 116 254 228.02 35.34 6.45 1000000 0 281.61/281.71 c 95 305 231.52 36.20 6.40 1000000 0 282.81/282.92 c 113 224 233.88 35.78 6.54 1000000 0 284.01/284.13 c 113 191 228.97 35.61 6.43 1000000 0 285.21/285.34 c 126 242 230.51 34.45 6.69 1000000 0 286.41/286.55 c 109 225 233.10 35.26 6.61 1000000 0 287.61/287.76 c 112 264 230.61 35.54 6.49 1000000 0 288.81/288.97 c 91 294 230.03 37.63 6.11 1000000 0 290.01/290.17 c 127 274 237.07 35.81 6.62 1000000 0 291.21/291.39 c 105 252 229.05 37.87 6.05 1000000 0 292.41/292.59 c 114 241 228.91 35.09 6.52 1000000 0 293.71/293.81 c 116 230 224.44 34.04 6.59 1000000 0 294.91/295.02 c 112 145 231.17 36.07 6.41 1000000 0 296.10/296.23 c 117 220 227.36 37.17 6.12 1000000 0 297.30/297.44 c 102 274 230.26 36.35 6.33 1000000 0 298.50/298.65 c 100 252 228.69 37.00 6.18 1000000 0 299.70/299.85 c 115 213 233.34 35.03 6.66 1000000 0 300.90/301.06 c 111 174 226.80 36.09 6.28 1000000 0 302.10/302.27 c 82 223 230.31 37.63 6.12 1000000 0 303.30/303.47 c 117 307 231.97 37.05 6.26 1000000 0 304.51/304.68 c 84 243 228.86 36.64 6.25 1000000 0 305.71/305.89 c 114 210 229.58 36.70 6.26 1000000 0 307.00/307.10 c 97 256 227.64 34.92 6.52 1000000 0 308.20/308.31 c 108 280 234.01 35.44 6.60 1000000 0 309.40/309.51 c 101 180 231.68 36.66 6.32 1000000 0 310.60/310.72 c 116 236 231.37 36.16 6.40 1000000 0 311.80/311.93 c 92 263 228.42 34.66 6.59 1000000 0 313.00/313.13 c 116 178 233.70 34.54 6.77 1000000 0 314.20/314.35 c 116 179 235.58 37.63 6.26 1000000 0 315.40/315.56 c 117 174 236.84 34.70 6.82 1000000 0 316.61/316.76 c 102 240 230.25 33.65 6.84 1000000 0 317.81/317.97 c 113 164 235.92 35.46 6.65 1000000 0 319.00/319.18 c 95 178 227.73 34.91 6.52 1000000 0 320.20/320.39 c 119 243 232.73 37.37 6.23 1000000 0 321.50/321.60 c 110 264 235.85 35.02 6.74 1000000 0 322.70/322.81 c 108 287 231.75 37.18 6.23 1000000 0 323.90/324.02 c 113 204 232.55 37.19 6.25 1000000 0 325.10/325.23 c 118 250 232.13 34.70 6.69 1000000 0 326.30/326.44 c 108 325 229.26 36.05 6.36 1000000 0 327.50/327.65 c 102 252 231.76 37.42 6.19 1000000 0 328.70/328.85 c 100 312 231.05 37.00 6.24 1000000 0 329.90/330.06 c 122 229 234.01 33.93 6.90 1000000 0 331.09/331.27 c 108 321 229.58 34.91 6.58 1000000 0 332.29/332.47 c 103 260 234.93 35.90 6.54 1000000 0 333.49/333.68 c 109 293 233.26 37.05 6.30 1000000 0 334.69/334.89 c 110 248 230.79 36.68 6.29 1000000 0 335.99/336.10 c 104 233 230.52 34.70 6.64 1000000 0 337.19/337.31 c 113 278 232.92 36.28 6.42 1000000 0 338.39/338.52 c 84 242 233.29 36.18 6.45 1000000 0 339.59/339.73 c 118 213 228.29 36.12 6.32 1000000 0 340.80/340.94 c 118 244 231.59 36.84 6.29 1000000 0 342.00/342.14 c 98 177 231.32 36.29 6.37 1000000 0 343.19/343.36 c 105 204 229.19 33.82 6.78 1000000 0 344.39/344.56 c 97 286 231.56 36.05 6.42 1000000 0 345.59/345.77 c 115 223 234.48 35.61 6.59 1000000 0 346.79/346.98 c 107 218 226.32 35.09 6.45 1000000 0 347.99/348.19 c 114 229 232.68 35.32 6.59 1000000 0 349.29/349.40 c 108 210 236.32 35.14 6.73 1000000 0 350.49/350.62 c 108 277 232.19 35.81 6.48 1000000 0 351.69/351.82 c 118 266 227.67 33.81 6.73 1000000 0 352.90/353.03 c 110 255 234.51 36.35 6.45 1000000 0 354.10/354.24 c 91 260 231.41 36.30 6.37 1000000 0 355.29/355.45 c 113 207 232.95 35.81 6.51 1000000 0 356.49/356.66 c 112 240 231.78 33.61 6.90 1000000 0 357.69/357.87 c 110 243 232.27 34.82 6.67 1000000 0 358.89/359.09 c 104 303 234.40 36.45 6.43 1000000 0 360.09/360.29 c 100 229 232.01 35.57 6.52 1000000 0 361.39/361.50 c 106 290 232.36 37.51 6.19 1000000 0 362.59/362.71 c 112 191 232.61 36.30 6.41 1000000 0 363.79/363.92 c 112 234 231.64 36.41 6.36 1000000 0 364.99/365.13 c 109 191 230.66 35.80 6.44 1000000 0 366.19/366.34 c 106 202 229.79 36.43 6.31 1000000 0 367.38/367.54 c 122 269 233.31 34.86 6.69 1000000 0 368.58/368.76 c 106 287 234.42 36.34 6.45 1000000 0 369.78/369.97 c 89 236 233.40 37.87 6.16 1000000 0 370.98/371.18 c 117 200 231.74 36.27 6.39 1000000 0 372.18/372.39 c 114 187 232.66 38.33 6.07 1000000 0 373.38/373.59 c 81 242 228.89 36.93 6.20 1000000 0 374.68/374.80 c 106 236 226.07 35.09 6.44 1000000 0 375.88/376.01 c 109 168 229.58 35.33 6.50 1000000 0 377.09/377.22 c 109 215 229.88 35.27 6.52 1000000 0 378.29/378.43 c 91 185 228.04 33.13 6.88 1000000 0 379.48/379.64 c 99 285 235.02 35.88 6.55 1000000 0 380.68/380.85 c 100 224 232.20 35.45 6.55 1000000 0 381.88/382.06 c 101 249 229.41 37.02 6.20 1000000 0 383.08/383.27 c 108 235 232.85 37.24 6.25 1000000 0 384.28/384.48 c 102 286 232.20 37.91 6.13 1000000 0 385.48/385.69 c 102 254 229.67 36.88 6.23 1000000 0 386.78/386.90 c 115 276 227.98 35.16 6.48 1000000 0 387.98/388.11 c 115 199 232.58 35.71 6.51 1000000 0 389.19/389.32 c 118 242 229.56 35.59 6.45 1000000 0 390.39/390.53 c 114 218 231.11 36.19 6.39 1000000 0 391.58/391.74 c 100 219 231.94 36.28 6.39 1000000 0 392.78/392.94 c 116 251 231.92 36.23 6.40 1000000 0 393.98/394.15 c 109 286 229.24 35.04 6.54 1000000 0 395.18/395.36 c 110 190 233.95 37.16 6.30 1000000 0 396.38/396.57 c 109 217 236.83 37.03 6.40 1000000 0 397.58/397.78 c 108 196 233.11 36.84 6.33 1000000 0 398.78/398.99 c 112 218 233.00 37.21 6.26 1000000 0 399.98/400.19 c 107 279 232.17 35.82 6.48 1000000 0 401.28/401.40 c 102 338 231.21 34.53 6.70 1000000 0 402.48/402.61 c 106 217 227.28 33.46 6.79 1000000 0 403.67/403.83 c 116 200 235.35 36.29 6.49 1000000 0 404.87/405.04 c 95 197 230.49 36.26 6.36 1000000 0 406.07/406.24 c 106 258 229.84 35.05 6.56 1000000 0 407.27/407.45 c 111 242 230.23 35.21 6.54 1000000 0 408.47/408.66 c 127 246 232.41 35.75 6.50 1000000 0 409.67/409.86 c 107 215 229.91 34.90 6.59 1000000 0 410.87/411.07 c 113 191 234.99 36.58 6.42 1000000 0 412.07/412.28 c 119 238 231.40 34.80 6.65 1000000 0 413.27/413.49 c 107 210 228.35 36.54 6.25 1000000 0 414.48/414.70 c 117 267 234.98 37.48 6.27 1000000 0 415.77/415.91 c 125 218 233.34 36.46 6.40 1000000 0 416.97/417.12 c 122 209 232.42 34.39 6.76 1000000 0 418.17/418.33 c 108 185 232.69 37.01 6.29 1000000 0 419.37/419.54 c 99 177 230.75 38.97 5.92 1000000 0 420.57/420.75 c 107 221 231.96 34.40 6.74 1000000 0 421.77/421.96 c 102 256 231.59 36.95 6.27 1000000 0 422.97/423.17 c 109 188 231.04 37.23 6.21 1000000 0 424.17/424.38 c 117 220 230.57 35.24 6.54 1000000 0 425.37/425.59 c 113 185 233.65 35.31 6.62 1000000 0 426.58/426.80 c 127 242 232.17 35.10 6.61 1000000 0 427.87/428.01 c 100 153 231.05 37.05 6.24 1000000 0 429.07/429.21 c 112 202 227.39 35.33 6.44 1000000 0 430.27/430.43 c 106 211 233.55 37.77 6.18 1000000 0 431.47/431.63 c 101 291 231.34 37.21 6.22 1000000 0 432.67/432.84 c 109 178 232.77 33.77 6.89 1000000 0 433.87/434.05 c 102 164 229.37 37.07 6.19 1000000 0 435.07/435.26 c 111 206 229.27 35.84 6.40 1000000 0 436.27/436.47 c 113 186 230.91 35.95 6.42 1000000 0 437.47/437.68 c 107 247 231.84 33.73 6.87 1000000 0 438.67/438.89 c 103 261 227.46 34.71 6.55 1000000 0 439.87/440.10 c 107 201 231.62 34.65 6.68 1000000 0 441.16/441.30 c 94 235 230.93 35.55 6.50 1000000 0 442.36/442.51 c 110 208 231.53 37.37 6.20 1000000 0 443.56/443.72 c 112 221 227.92 35.69 6.39 1000000 0 444.76/444.92 c 103 309 233.56 37.63 6.21 1000000 0 445.96/446.13 c 106 240 230.89 37.17 6.21 1000000 0 447.16/447.34 c 115 261 230.29 34.88 6.60 1000000 0 448.36/448.55 c 109 299 228.95 35.84 6.39 1000000 0 449.56/449.76 c 119 184 232.61 35.06 6.63 1000000 0 450.77/450.97 c 92 250 233.68 36.55 6.39 1000000 0 451.97/452.18 c 99 230 231.46 36.23 6.39 1000000 0 453.16/453.39 c 105 214 232.29 35.27 6.59 1000000 0 454.36/454.60 c 102 228 234.82 36.49 6.44 1000000 0 455.66/455.81 c 109 223 229.63 34.43 6.67 1000000 0 456.86/457.01 c 112 261 227.04 36.29 6.26 1000000 0 458.06/458.22 c 93 231 229.05 37.33 6.14 1000000 0 459.26/459.43 c 103 200 228.09 35.17 6.49 1000000 0 460.46/460.63 c 95 225 228.69 37.41 6.11 1000000 0 461.66/461.84 c 104 255 231.51 34.86 6.64 1000000 0 462.87/463.05 c 88 241 232.58 35.76 6.50 1000000 0 464.07/464.27 c 86 216 233.85 36.96 6.33 1000000 0 465.26/465.47 c 95 291 230.22 35.80 6.43 1000000 0 466.46/466.69 c 106 248 230.24 39.54 5.82 1000000 0 467.66/467.89 c 114 278 232.14 34.48 6.73 1000000 0 468.96/469.10 c 118 241 232.23 37.66 6.17 1000000 0 470.16/470.31 c 102 305 230.36 36.25 6.36 1000000 0 471.36/471.52 c 112 234 235.28 38.32 6.14 1000000 0 472.56/472.73 c 109 215 236.81 36.40 6.51 1000000 0 473.76/473.94 c 106 228 229.54 36.25 6.33 1000000 0 474.96/475.15 c 114 200 229.44 35.38 6.48 1000000 0 476.16/476.36 c 110 171 230.56 37.51 6.15 1000000 0 477.35/477.57 c 89 233 232.98 37.92 6.14 1000000 0 478.55/478.77 c 114 180 234.63 36.29 6.47 1000000 0 479.75/479.98 c 120 194 231.54 36.03 6.43 1000000 0 480.95/481.19 c 84 222 231.73 35.15 6.59 1000000 0 482.15/482.40 c 111 244 227.24 35.90 6.33 1000000 0 483.45/483.61 c 103 303 230.22 35.35 6.51 1000000 0 484.65/484.82 c 114 201 235.89 36.26 6.51 1000000 0 485.85/486.02 c 101 209 228.08 34.87 6.54 1000000 0 487.06/487.23 c 116 229 229.71 33.54 6.85 1000000 0 488.26/488.44 c 101 255 228.40 35.13 6.50 1000000 0 489.45/489.65 c 102 170 230.81 37.70 6.12 1000000 0 490.65/490.85 c 106 265 228.21 34.25 6.66 1000000 0 491.85/492.06 c 113 273 234.22 36.06 6.50 1000000 0 493.05/493.27 c 125 238 230.16 35.43 6.50 1000000 0 494.25/494.48 c 89 189 226.15 36.21 6.24 1000000 0 495.45/495.69 c 110 315 233.48 38.13 6.12 1000000 0 496.75/496.90 c 94 267 232.50 35.79 6.50 1000000 0 497.95/498.11 c 112 203 232.76 38.61 6.03 1000000 0 499.16/499.32 c 112 199 233.15 35.44 6.58 1000000 0 500.36/500.53 c 113 303 228.94 34.82 6.57 1000000 0 501.55/501.74 c 121 298 233.01 34.78 6.70 1000000 0 502.75/502.95 c 106 292 233.04 36.70 6.35 1000000 0 503.95/504.16 c 113 271 233.89 35.46 6.60 1000000 0 505.15/505.37 c 108 141 230.65 37.53 6.15 1000000 0 506.35/506.58 c 101 225 233.29 36.05 6.47 1000000 0 507.55/507.79 c 118 220 231.76 35.74 6.49 1000000 0 508.75/509.00 c 114 204 231.25 36.88 6.27 1000000 0 510.05/510.20 c 116 245 229.84 36.07 6.37 1000000 0 511.25/511.41 c 109 260 231.31 37.09 6.24 1000000 0 512.45/512.62 c 95 201 228.95 37.08 6.17 1000000 0 513.64/513.83 c 91 234 224.40 34.86 6.44 1000000 0 514.84/515.03 c 96 206 228.46 37.41 6.11 1000000 0 516.04/516.24 c 109 187 226.62 35.03 6.47 1000000 0 517.24/517.45 c 116 235 235.56 36.46 6.46 1000000 0 518.44/518.66 c 98 189 230.85 36.42 6.34 1000000 0 519.64/519.87 c 106 170 233.02 36.19 6.44 1000000 0 520.84/521.08 c 110 203 235.14 36.40 6.46 1000000 0 522.04/522.29 c 105 211 229.42 35.39 6.48 1000000 0 523.24/523.49 c 97 242 231.97 37.24 6.23 1000000 0 524.45/524.70 c 99 203 227.52 36.26 6.27 1000000 0 525.74/525.91 c 103 237 227.19 37.51 6.06 1000000 0 526.94/527.12 c 104 190 231.85 35.59 6.52 1000000 0 528.14/528.33 c 116 253 236.75 35.70 6.63 1000000 0 529.34/529.54 c 121 259 236.27 35.32 6.69 1000000 0 530.54/530.75 c 93 228 228.05 36.09 6.32 1000000 0 531.74/531.96 c 111 265 227.90 35.71 6.38 1000000 0 532.94/533.17 c 106 273 230.44 35.42 6.51 1000000 0 534.14/534.38 c 106 253 231.82 37.35 6.21 1000000 0 535.34/535.59 c 107 226 226.52 34.89 6.49 1000000 0 536.55/536.79 c 117 260 226.99 34.59 6.56 1000000 0 537.84/538.00 c 116 250 232.75 35.40 6.58 1000000 0 539.04/539.21 c 104 254 226.98 35.54 6.39 1000000 0 540.24/540.42 c 102 236 228.22 36.33 6.28 1000000 0 541.44/541.63 c 106 288 231.89 37.21 6.23 1000000 0 542.64/542.83 c 111 291 231.11 37.16 6.22 1000000 0 543.84/544.04 c 116 159 230.90 35.97 6.42 1000000 0 545.04/545.25 c 101 212 230.02 37.49 6.14 1000000 0 546.23/546.46 c 119 180 235.97 37.25 6.33 1000000 0 547.43/547.67 c 113 226 227.02 34.47 6.59 1000000 0 548.64/548.88 c 107 163 226.89 35.01 6.48 1000000 0 549.84/550.08 c 100 249 232.23 35.53 6.54 1000000 0 551.03/551.29 c 107 268 230.51 35.74 6.45 1000000 0 552.33/552.50 c 124 157 233.21 36.58 6.37 1000000 0 553.53/553.71 c 127 256 235.98 37.52 6.29 1000000 0 554.73/554.92 c 89 248 230.47 37.18 6.20 1000000 0 555.93/556.14 c 112 215 231.69 35.44 6.54 1000000 0 557.13/557.35 c 113 183 231.30 34.64 6.68 1000000 0 558.33/558.56 c 119 238 233.69 35.21 6.64 1000000 0 559.53/559.77 c 109 205 230.38 37.11 6.21 1000000 0 560.74/560.98 c 106 182 226.63 35.11 6.45 1000000 0 561.94/562.19 c 116 260 225.92 34.34 6.58 1000000 0 563.23/563.40 c 113 259 233.23 36.90 6.32 1000000 0 564.43/564.61 c 108 179 225.99 37.21 6.07 1000000 0 565.63/565.81 c 122 247 228.42 35.20 6.49 1000000 0 566.83/567.02 c 112 222 232.36 37.15 6.26 1000000 0 568.03/568.23 c 117 294 231.01 34.68 6.66 1000000 0 569.23/569.44 c 113 201 230.25 35.57 6.47 1000000 0 570.43/570.65 c 115 207 228.95 35.37 6.47 1000000 0 571.63/571.86 c 115 188 231.16 36.03 6.42 1000000 0 572.83/573.07 c 113 256 234.40 36.27 6.46 1000000 0 574.04/574.28 c 87 242 232.91 37.26 6.25 1000000 0 575.23/575.49 c 111 198 229.34 34.67 6.62 1000000 0 576.53/576.70 c 123 221 233.45 36.72 6.36 1000000 0 577.73/577.91 c 104 238 227.58 35.64 6.39 1000000 0 578.93/579.12 c 103 266 229.96 36.66 6.27 1000000 0 580.13/580.33 c 104 262 232.53 35.07 6.63 1000000 0 581.33/581.54 c 96 198 232.49 38.04 6.11 1000000 0 582.53/582.75 c 111 250 229.83 35.67 6.44 1000000 0 583.73/583.96 c 108 206 230.07 36.33 6.33 1000000 0 584.93/585.16 c 119 217 232.59 35.31 6.59 1000000 0 586.13/586.36 c 95 276 229.67 34.99 6.56 1000000 0 587.32/587.57 c 91 250 232.19 37.18 6.24 1000000 0 588.52/588.78 c 114 248 230.69 35.24 6.55 1000000 0 589.72/589.99 c 107 206 228.48 35.19 6.49 1000000 0 591.02/591.20 c 109 261 232.02 36.99 6.27 1000000 0 592.22/592.41 c 116 171 232.00 34.44 6.74 1000000 0 593.42/593.61 c 112 261 232.71 36.51 6.37 1000000 0 594.62/594.82 c 124 206 236.02 36.24 6.51 1000000 0 595.82/596.03 c 109 195 230.33 37.11 6.21 1000000 0 597.03/597.24 c 112 227 233.13 36.62 6.37 1000000 0 598.23/598.45 c 92 266 231.00 37.07 6.23 1000000 0 599.42/599.66 c 117 245 229.38 35.68 6.43 1000000 0 600.62/600.87 c 120 207 230.98 36.48 6.33 1000000 0 601.82/602.08 c 101 202 231.88 36.85 6.29 1000000 0 603.02/603.29 c 110 266 228.49 35.76 6.39 1000000 0 604.32/604.50 c 106 223 233.59 36.27 6.44 1000000 0 605.52/605.71 c 114 265 231.81 34.72 6.68 1000000 0 606.72/606.91 c 113 188 230.07 35.34 6.51 1000000 0 607.92/608.12 c 117 245 232.95 34.97 6.66 1000000 0 609.13/609.33 c 119 243 233.91 35.40 6.61 1000000 0 610.33/610.54 c 111 258 234.13 35.40 6.61 1000000 0 611.52/611.76 c 113 249 229.06 36.88 6.21 1000000 0 612.72/612.96 c 99 263 235.13 37.65 6.24 1000000 0 613.92/614.17 c 108 226 228.40 35.65 6.41 1000000 0 615.12/615.38 c 109 217 234.16 35.26 6.64 1000000 0 616.32/616.59 c 110 204 229.22 36.30 6.32 1000000 0 617.62/617.80 c 118 248 233.14 36.83 6.33 1000000 0 618.82/619.00 c 105 264 229.87 36.46 6.31 1000000 0 620.02/620.21 c 114 232 236.18 35.52 6.65 1000000 0 621.22/621.42 c 110 226 229.56 34.42 6.67 1000000 0 622.42/622.63 c 110 180 228.14 36.93 6.18 1000000 0 623.61/623.83 c 107 204 232.73 36.34 6.40 1000000 0 624.81/625.04 c 117 238 234.86 35.59 6.60 1000000 0 626.01/626.25 c 117 208 231.46 35.94 6.44 1000000 0 627.21/627.46 c 112 231 231.80 38.75 5.98 1000000 0 628.41/628.67 c 101 202 232.65 37.20 6.25 1000000 0 629.61/629.87 c 107 191 226.57 35.17 6.44 1000000 0 630.81/631.09 c 111 230 233.07 36.49 6.39 1000000 0 632.01/632.29 c 105 216 232.94 34.76 6.70 1000000 0 633.32/633.50 c 107 293 228.66 34.40 6.65 1000000 0 634.52/634.71 c 113 232 233.80 34.60 6.76 1000000 0 635.71/635.92 c 114 182 234.66 35.92 6.53 1000000 0 636.91/637.13 c 110 218 234.16 37.76 6.20 1000000 0 638.11/638.34 c 108 285 231.57 36.29 6.38 1000000 0 639.31/639.54 c 107 197 228.74 34.62 6.61 1000000 0 640.51/640.76 c 106 205 229.50 35.53 6.46 1000000 0 641.71/641.97 c 107 238 227.63 36.84 6.18 1000000 0 642.91/643.18 c 99 277 231.45 37.21 6.22 1000000 0 644.21/644.40 c 107 256 231.35 37.73 6.13 1000000 0 645.41/645.61 c 111 239 231.73 36.24 6.39 1000000 0 646.61/646.82 c 105 182 230.32 34.79 6.62 1000000 0 647.81/648.02 c 100 269 226.12 34.35 6.58 1000000 0 649.01/649.23 c 124 196 234.13 33.99 6.89 1000000 0 650.21/650.44 c 97 335 231.29 37.89 6.10 1000000 0 651.41/651.65 c 115 234 232.68 35.54 6.55 1000000 0 652.61/652.86 c 110 235 232.22 35.94 6.46 1000000 0 653.81/654.07 c 113 176 230.23 36.33 6.34 1000000 0 655.01/655.28 c 107 226 234.06 35.92 6.52 1000000 0 656.21/656.48 c 116 261 228.74 34.38 6.65 1000000 0 657.40/657.69 c 110 203 230.76 35.89 6.43 1000000 0 658.61/658.90 c 112 216 230.65 35.87 6.43 1000000 0 659.90/660.10 c 110 225 230.13 34.40 6.69 1000000 0 661.10/661.31 c 117 207 232.51 37.39 6.22 1000000 0 662.30/662.51 c 106 212 231.75 33.99 6.82 1000000 0 663.50/663.72 c 119 213 230.80 36.49 6.33 1000000 0 664.70/664.93 c 113 222 231.39 35.98 6.43 1000000 0 665.90/666.14 c 107 225 233.03 35.99 6.48 1000000 0 667.10/667.35 c 122 206 230.18 33.54 6.86 1000000 0 668.30/668.56 c 108 236 232.40 36.12 6.43 1000000 0 669.50/669.77 c 113 174 232.18 37.31 6.22 1000000 0 670.71/670.97 c 100 253 228.35 35.33 6.46 1000000 0 671.91/672.17 c 115 231 233.95 36.79 6.36 1000000 0 673.10/673.38 c 102 246 235.91 36.52 6.46 1000000 0 674.30/674.59 c 109 205 234.58 36.94 6.35 1000000 0 675.50/675.79 c 83 239 232.06 37.04 6.27 1000000 0 676.80/677.01 c 122 248 232.20 34.39 6.75 1000000 0 678.00/678.22 c 117 225 233.01 34.98 6.66 1000000 0 679.20/679.43 c 107 243 236.44 37.35 6.33 1000000 0 680.40/680.64 c 105 219 228.14 35.75 6.38 1000000 0 681.60/681.85 c 124 225 232.71 36.91 6.30 1000000 0 682.80/683.06 c 123 274 233.37 35.23 6.62 1000000 0 684.00/684.28 c 126 201 230.60 34.52 6.68 1000000 0 685.20/685.48 c 105 199 233.40 37.97 6.15 1000000 0 686.40/686.69 c 105 257 234.53 35.57 6.59 1000000 0 687.70/687.90 c 114 222 229.55 35.46 6.47 1000000 0 688.90/689.11 c 108 219 228.70 38.18 5.99 1000000 0 690.10/690.32 c 115 134 228.96 36.10 6.34 1000000 0 691.29/691.53 c 104 148 234.07 37.65 6.22 1000000 0 692.49/692.74 c 112 179 234.24 35.98 6.51 1000000 0 693.69/693.95 c 117 219 230.92 35.51 6.50 1000000 0 694.90/695.16 c 103 251 231.84 34.20 6.78 1000000 0 696.10/696.37 c 121 154 233.84 38.18 6.13 1000000 0 697.29/697.58 c 117 281 232.98 36.76 6.34 1000000 0 698.49/698.79 c 112 222 227.72 35.01 6.50 1000000 0 699.79/700.00 c 110 236 231.84 35.66 6.50 1000000 0 700.99/701.21 c 114 258 229.64 34.93 6.57 1000000 0 702.19/702.43 c 95 200 228.65 36.15 6.33 1000000 0 703.39/703.64 c 108 202 230.15 36.97 6.23 1000000 0 704.59/704.85 c 97 194 230.71 38.17 6.04 1000000 0 705.79/706.05 c 98 194 228.59 35.66 6.41 1000000 0 707.00/707.26 c 92 298 233.99 36.22 6.46 1000000 0 708.20/708.47 c 113 232 231.26 38.70 5.98 1000000 0 709.39/709.68 c 103 256 231.66 35.45 6.53 1000000 0 710.59/710.89 c 110 214 227.41 37.53 6.06 1000000 0 711.89/712.10 c 103 206 226.83 37.27 6.09 1000000 0 713.09/713.30 c 101 239 230.05 36.48 6.31 1000000 0 714.29/714.51 c 107 208 236.11 36.00 6.56 1000000 0 715.49/715.72 c 101 199 227.05 34.60 6.56 1000000 0 716.69/716.93 c 120 273 233.74 36.91 6.33 1000000 0 717.89/718.14 c 104 189 230.88 36.58 6.31 1000000 0 719.09/719.34 c 115 202 229.76 34.91 6.58 1000000 0 720.29/720.56 c 116 215 232.98 36.93 6.31 1000000 0 721.49/721.76 c 108 214 228.75 37.07 6.17 1000000 0 722.69/722.97 c 101 232 227.23 34.83 6.52 1000000 0 723.89/724.18 c 104 190 228.30 36.84 6.20 1000000 0 725.09/725.39 c 104 219 233.73 35.92 6.51 1000000 0 726.39/726.60 c 106 199 230.99 35.43 6.52 1000000 0 727.59/727.81 c 113 262 232.66 37.77 6.16 1000000 0 728.79/729.01 c 116 211 229.34 35.58 6.45 1000000 0 729.99/730.22 c 111 223 230.91 36.67 6.30 1000000 0 731.19/731.43 c 113 206 231.21 36.27 6.38 1000000 0 732.39/732.64 c 105 237 234.69 38.30 6.13 1000000 0 733.58/733.85 c 107 228 232.38 37.97 6.12 1000000 0 734.78/735.06 c 127 288 232.78 36.03 6.46 1000000 0 735.98/736.27 c 89 244 229.08 38.07 6.02 1000000 0 737.18/737.47 c 109 257 229.73 36.08 6.37 1000000 0 738.38/738.69 c 111 206 233.38 37.22 6.27 1000000 0 739.58/739.90 c 121 252 227.22 34.56 6.57 1000000 0 740.88/741.11 c 104 199 230.43 35.95 6.41 1000000 0 742.08/742.32 c 115 210 231.42 36.11 6.41 1000000 0 743.29/743.53 c 113 276 228.73 38.28 5.98 1000000 0 744.49/744.73 c 119 283 228.49 36.21 6.31 1000000 0 745.68/745.94 c 119 217 231.03 35.56 6.50 1000000 0 746.88/747.15 c 91 212 231.29 37.38 6.19 1000000 0 748.08/748.36 c 114 185 232.78 34.78 6.69 1000000 0 749.28/749.57 c 104 235 232.30 36.94 6.29 1000000 0 750.48/750.78 c 119 225 228.48 33.89 6.74 1000000 0 751.68/751.99 c 110 231 231.81 36.78 6.30 1000000 0 752.88/753.20 c 111 206 232.02 36.29 6.39 1000000 0 754.18/754.40 c 119 215 233.65 36.47 6.41 1000000 0 755.39/755.61 c 113 254 232.76 36.34 6.40 1000000 0 756.58/756.83 c 116 258 233.38 35.17 6.64 1000000 0 757.78/758.03 c 110 210 232.76 37.10 6.27 1000000 0 758.98/759.25 c 118 255 239.67 35.86 6.68 1000000 0 760.18/760.46 c 98 300 231.05 33.86 6.82 1000000 0 761.38/761.67 c 110 261 230.72 35.47 6.50 1000000 0 762.58/762.88 c 109 230 234.29 37.19 6.30 1000000 0 763.78/764.09 c 106 176 229.99 36.56 6.29 1000000 0 764.98/765.29 c 129 234 235.13 36.92 6.37 1000000 0 766.28/766.50 c 101 244 231.41 37.02 6.25 1000000 0 767.48/767.71 c 110 192 233.21 37.62 6.20 1000000 0 768.68/768.92 c 121 245 233.00 34.75 6.71 1000000 0 769.87/770.13 c 91 258 231.63 37.85 6.12 1000000 0 771.07/771.33 c 113 260 230.69 34.14 6.76 1000000 0 772.27/772.54 c 107 196 233.29 36.32 6.42 1000000 0 773.47/773.75 c 107 237 231.46 36.15 6.40 1000000 0 774.67/774.97 c 115 244 233.00 36.10 6.45 1000000 0 775.87/776.18 c 102 249 228.50 35.18 6.49 1000000 0 777.07/777.38 c 114 232 232.63 36.77 6.33 1000000 0 778.27/778.60 c 97 285 227.90 36.86 6.18 1000000 0 779.58/779.80 c 114 185 230.87 36.84 6.27 1000000 0 780.78/781.01 c 117 231 230.60 35.08 6.57 1000000 0 781.97/782.22 c 112 260 234.61 39.00 6.01 1000000 0 783.17/783.43 c 118 212 227.80 34.79 6.55 1000000 0 784.37/784.64 c 99 227 231.73 35.73 6.49 1000000 0 785.57/785.85 c 113 256 230.41 36.48 6.32 1000000 0 786.77/787.06 c 118 233 229.09 35.56 6.44 1000000 0 787.97/788.27 c 102 237 230.20 37.76 6.10 1000000 0 789.17/789.48 c 97 257 232.45 36.30 6.40 1000000 0 790.37/790.69 c 119 263 228.44 34.02 6.72 1000000 0 791.67/791.90 c 109 218 231.20 35.09 6.59 1000000 0 792.77/793.10 c 115 264 229.16 35.62 6.43 1000000 0 794.07/794.31 c 120 268 233.03 36.58 6.37 1000000 0 795.27/795.52 c 108 219 228.54 34.74 6.58 1000000 0 796.47/796.73 c 115 249 234.04 35.40 6.61 1000000 0 797.67/797.95 c 104 205 232.73 36.53 6.37 1000000 0 798.87/799.16 c 120 174 231.68 35.17 6.59 1000000 0 800.07/800.37 c 107 209 233.40 36.83 6.34 1000000 0 801.27/801.58 c 103 200 231.25 36.47 6.34 1000000 0 802.46/802.79 c 87 269 233.85 38.06 6.14 1000000 0 803.77/804.00 c 109 257 231.30 36.79 6.29 1000000 0 804.97/805.21 c 112 209 235.81 36.01 6.55 1000000 0 806.16/806.42 c 106 186 230.41 35.57 6.48 1000000 0 807.36/807.63 c 115 225 225.80 36.20 6.24 1000000 0 808.56/808.84 c 110 213 233.43 35.34 6.61 1000000 0 809.76/810.05 c 111 231 236.27 34.52 6.84 1000000 0 810.96/811.26 c 101 183 229.06 35.25 6.50 1000000 0 812.16/812.47 c 102 205 232.72 37.05 6.28 1000000 0 813.36/813.68 c 105 203 227.48 35.86 6.34 1000000 0 814.56/814.88 c 108 286 232.29 37.30 6.23 1000000 0 815.76/816.09 c 115 219 239.00 37.31 6.41 1000000 0 816.97/817.30 c 116 256 235.51 37.75 6.24 1000000 0 818.26/818.50 c 116 213 231.33 35.91 6.44 1000000 0 819.46/819.71 c 113 184 228.65 35.89 6.37 1000000 0 820.66/820.92 c 91 191 233.60 37.46 6.24 1000000 0 821.86/822.12 c 107 279 234.63 36.25 6.47 1000000 0 823.06/823.33 c 105 232 232.10 36.64 6.33 1000000 0 824.26/824.54 c 124 246 232.58 34.59 6.72 1000000 0 825.46/825.75 c 103 213 228.14 36.92 6.18 1000000 0 826.66/826.96 c 101 245 233.59 34.87 6.70 1000000 0 827.86/828.17 c 108 174 234.88 36.82 6.38 1000000 0 829.06/829.37 c 118 262 228.10 36.02 6.33 1000000 0 830.26/830.58 c 114 241 229.62 36.20 6.34 1000000 0 831.46/831.79 c 113 213 223.82 36.02 6.21 1000000 0 832.76/833.00 c 115 246 229.70 36.96 6.21 1000000 0 833.96/834.21 c 108 172 234.94 37.39 6.28 1000000 0 835.16/835.42 c 91 165 232.01 35.61 6.52 1000000 0 836.35/836.63 c 102 217 230.59 36.86 6.26 1000000 0 837.55/837.84 c 111 273 228.53 35.10 6.51 1000000 0 838.75/839.04 c 112 229 231.98 36.45 6.36 1000000 0 839.95/840.25 c 111 230 231.35 33.94 6.82 1000000 0 841.16/841.46 c 117 236 234.22 37.84 6.19 1000000 0 842.36/842.67 c 106 204 232.68 35.90 6.48 1000000 0 843.55/843.88 c 112 178 229.70 35.26 6.51 1000000 0 844.75/845.08 c 105 217 233.36 37.50 6.22 1000000 0 845.95/846.29 c 114 247 230.43 34.76 6.63 1000000 0 847.25/847.51 c 106 231 229.01 35.16 6.51 1000000 0 848.45/848.71 c 105 223 231.20 35.77 6.46 1000000 0 849.65/849.93 c 83 185 229.27 36.48 6.29 1000000 0 850.85/851.13 c 88 206 228.96 37.44 6.12 1000000 0 852.05/852.34 c 112 279 231.41 34.38 6.73 1000000 0 853.26/853.55 c 116 278 230.17 36.98 6.22 1000000 0 854.46/854.76 c 85 240 233.00 38.57 6.04 1000000 0 855.65/855.97 c 123 187 232.29 34.40 6.75 1000000 0 856.85/857.18 c 105 246 233.24 35.53 6.57 1000000 0 858.05/858.39 c 120 206 233.31 36.40 6.41 1000000 0 859.35/859.61 c 128 268 236.81 37.21 6.36 1000000 0 860.55/860.82 c 115 252 232.76 35.50 6.56 1000000 0 861.75/862.03 c 124 190 232.04 36.91 6.29 1000000 0 862.95/863.23 c 110 252 232.64 35.77 6.50 1000000 0 864.15/864.44 c 119 245 231.21 34.63 6.68 1000000 0 865.35/865.65 c 98 282 227.31 36.31 6.26 1000000 0 866.55/866.86 c 118 266 232.59 34.87 6.67 1000000 0 867.75/868.07 c 120 250 233.67 36.05 6.48 1000000 0 868.95/869.28 c 100 196 227.90 35.15 6.48 1000000 0 870.15/870.48 c 112 203 229.45 36.72 6.25 1000000 0 871.35/871.69 c 109 240 233.40 37.19 6.28 1000000 0 872.65/872.90 c 106 206 234.60 37.23 6.30 1000000 0 873.85/874.10 c 122 174 231.25 34.48 6.71 1000000 0 875.04/875.31 c 112 265 232.15 35.32 6.57 1000000 0 876.24/876.52 c 123 211 236.07 36.49 6.47 1000000 0 877.45/877.73 c 98 200 231.74 35.84 6.47 1000000 0 878.65/878.93 c 112 257 226.64 36.28 6.25 1000000 0 879.84/880.14 c 112 218 232.98 35.85 6.50 1000000 0 881.04/881.35 c 109 256 230.69 35.89 6.43 1000000 0 882.24/882.56 c 104 228 232.78 37.25 6.25 1000000 0 883.44/883.77 c 108 291 231.36 34.04 6.80 1000000 0 884.64/884.98 c 117 240 232.98 35.12 6.63 1000000 0 885.84/886.18 c 120 279 232.78 37.61 6.19 1000000 0 887.04/887.39 c 107 246 232.94 37.44 6.22 1000000 0 888.24/888.60 c 123 245 237.54 35.81 6.63 1000000 0 889.55/889.81 c 90 228 230.82 36.87 6.26 1000000 0 890.75/891.02 c 119 185 228.76 36.11 6.33 1000000 0 891.94/892.23 c 119 190 228.25 35.68 6.40 1000000 0 893.14/893.44 c 115 176 230.72 34.01 6.78 1000000 0 894.34/894.64 c 102 274 233.63 37.27 6.27 1000000 0 895.54/895.85 c 106 224 225.76 35.29 6.40 1000000 0 896.74/897.06 c 110 185 227.43 34.26 6.64 1000000 0 897.94/898.28 c 127 259 235.43 35.93 6.55 1000000 0 899.14/899.48 c 115 231 224.97 34.70 6.48 1000000 0 900.34/900.69 c 102 241 228.03 35.10 6.50 1000000 0 901.64/901.90 c 104 222 235.15 37.34 6.30 1000000 0 902.84/903.11 c 115 262 231.84 35.36 6.56 1000000 0 904.04/904.32 c 119 246 231.40 38.03 6.08 1000000 0 905.24/905.53 c 118 153 229.62 35.37 6.49 1000000 0 906.44/906.74 c 108 237 230.77 36.64 6.30 1000000 0 907.64/907.95 c 98 202 233.79 36.45 6.41 1000000 0 908.84/909.15 c 119 218 233.00 35.26 6.61 1000000 0 910.04/910.36 c 104 258 232.00 35.59 6.52 1000000 0 911.24/911.57 c 104 280 230.92 36.89 6.26 1000000 0 912.44/912.77 c 107 193 226.93 37.43 6.06 1000000 0 913.63/913.98 c 109 249 230.94 35.15 6.57 1000000 0 914.84/915.19 c 112 208 229.80 37.43 6.14 1000000 0 916.13/916.40 c 108 227 228.85 34.97 6.54 1000000 0 917.33/917.61 c 116 268 235.60 34.94 6.74 1000000 0 918.53/918.82 c 99 216 229.22 35.59 6.44 1000000 0 919.73/920.03 c 109 213 228.83 36.27 6.31 1000000 0 920.93/921.24 c 114 204 228.20 33.98 6.72 1000000 0 922.13/922.45 c 115 217 227.89 36.29 6.28 1000000 0 923.33/923.65 c 79 204 229.57 36.55 6.28 1000000 0 924.53/924.86 c 114 324 231.73 36.02 6.43 1000000 0 925.73/926.07 c 119 194 228.89 35.42 6.46 1000000 0 926.94/927.28 c 104 262 230.64 35.47 6.50 1000000 0 928.14/928.49 c 101 232 235.58 37.04 6.36 1000000 0 929.43/929.70 c 98 197 233.42 36.22 6.44 1000000 0 930.63/930.91 c 111 219 232.20 35.39 6.56 1000000 0 931.84/932.11 c 111 210 232.50 36.67 6.34 1000000 0 933.04/933.32 c 118 232 235.14 36.23 6.49 1000000 0 934.24/934.53 c 114 229 233.70 36.70 6.37 1000000 0 935.44/935.73 c 107 191 231.49 35.75 6.47 1000000 0 936.64/936.94 c 89 214 231.11 38.30 6.03 1000000 0 937.84/938.15 c 117 204 232.18 35.68 6.51 1000000 0 939.04/939.36 c 110 203 232.41 39.11 5.94 1000000 0 940.24/940.57 c 109 275 230.16 35.97 6.40 1000000 0 941.44/941.78 c 106 268 228.76 35.05 6.53 1000000 0 942.64/942.99 c 105 282 231.30 37.04 6.24 1000000 0 943.84/944.19 c 97 251 227.29 36.81 6.17 1000000 0 945.14/945.40 c 125 217 231.33 35.86 6.45 1000000 0 946.34/946.61 c 119 227 234.44 37.86 6.19 1000000 0 947.53/947.81 c 112 229 230.50 36.71 6.28 1000000 0 948.73/949.02 c 103 196 229.26 34.04 6.73 1000000 0 949.93/950.23 c 118 198 232.33 34.93 6.65 1000000 0 951.14/951.44 c 102 220 232.28 35.46 6.55 1000000 0 952.34/952.64 c 117 252 225.83 35.44 6.37 1000000 0 953.53/953.85 c 103 221 226.96 35.64 6.37 1000000 0 954.73/955.06 c 130 196 231.98 33.85 6.85 1000000 0 955.93/956.27 c 117 152 231.74 36.30 6.38 1000000 0 957.13/957.48 c 107 249 231.47 37.24 6.22 1000000 0 958.33/958.68 c 112 200 233.93 36.13 6.48 1000000 0 959.53/959.89 c 112 232 229.11 35.79 6.40 1000000 0 960.83/961.10 c 119 191 231.91 35.99 6.44 1000000 0 962.03/962.31 c 100 275 229.70 36.79 6.24 1000000 0 963.24/963.52 c 113 220 230.33 35.40 6.51 1000000 0 964.44/964.73 c 110 251 228.02 35.77 6.37 1000000 0 965.63/965.93 c 112 195 236.49 37.76 6.26 1000000 0 966.83/967.14 c 93 220 231.02 35.54 6.50 1000000 0 968.03/968.35 c 126 204 233.62 35.79 6.53 1000000 0 969.23/969.57 c 100 194 233.53 37.68 6.20 1000000 0 970.43/970.78 c 109 274 228.26 36.48 6.26 1000000 0 971.63/971.99 c 109 188 232.28 37.73 6.16 1000000 0 972.93/973.20 c 113 279 234.35 35.79 6.55 1000000 0 974.13/974.41 c 108 242 230.08 36.50 6.30 1000000 0 975.33/975.62 c 109 195 227.54 35.85 6.35 1000000 0 976.53/976.82 c 116 210 233.88 37.49 6.24 1000000 0 977.73/978.03 c 102 303 231.51 35.27 6.56 1000000 0 978.93/979.25 c 101 289 232.87 35.62 6.54 1000000 0 980.13/980.46 c 96 211 229.35 34.93 6.57 1000000 0 981.33/981.67 c 108 273 230.49 35.00 6.59 1000000 0 982.52/982.88 c 125 312 231.65 35.39 6.54 1000000 0 983.72/984.08 c 114 223 230.73 36.22 6.37 1000000 0 984.92/985.29 c 109 230 229.52 33.94 6.76 1000000 0 986.22/986.50 c 96 237 227.53 35.92 6.33 1000000 0 987.43/987.70 c 104 212 232.68 36.26 6.42 1000000 0 988.63/988.91 c 115 235 232.26 36.33 6.39 1000000 0 989.82/990.12 c 115 178 229.49 34.56 6.64 1000000 0 991.02/991.33 c 102 195 234.11 36.37 6.44 1000000 0 992.22/992.55 c 109 228 231.65 37.86 6.12 1000000 0 993.42/993.76 c 102 217 230.63 36.89 6.25 1000000 0 994.62/994.97 c 104 209 233.93 38.36 6.10 1000000 0 995.82/996.18 c 109 245 235.49 36.98 6.37 1000000 0 997.02/997.38 c 104 255 230.76 35.36 6.53 1000000 0 998.22/998.59 c 97 218 230.12 34.68 6.64 1000000 0 999.53/999.80 c 118 153 229.98 35.21 6.53 1000000 0 1000.73/1001.01 c 121 183 236.55 37.51 6.31 1000000 0 1001.92/1002.23 c 114 251 228.51 34.94 6.54 1000000 0 1003.12/1003.44 c 94 164 231.60 35.11 6.60 1000000 0 1004.32/1004.64 c 115 206 230.66 37.26 6.19 1000000 0 1005.52/1005.85 c 96 168 231.31 37.44 6.18 1000000 0 1006.72/1007.06 c 112 301 229.51 35.60 6.45 1000000 0 1007.92/1008.27 c 107 266 230.72 38.06 6.06 1000000 0 1009.12/1009.48 c 116 271 232.54 34.70 6.70 1000000 0 1010.32/1010.69 c 106 239 229.47 35.59 6.45 1000000 0 1011.62/1011.90 c 111 263 234.34 36.68 6.39 1000000 0 1012.82/1013.11 c 109 154 231.90 37.69 6.15 1000000 0 1014.02/1014.31 c 112 245 230.25 35.99 6.40 1000000 0 1015.22/1015.52 c 115 281 233.94 36.53 6.40 1000000 0 1016.42/1016.73 c 110 193 228.86 34.91 6.56 1000000 0 1017.62/1017.94 c 122 224 230.19 35.91 6.41 1000000 0 1018.82/1019.14 c 121 283 232.12 34.96 6.64 1000000 0 1020.01/1020.35 c 121 225 230.14 34.98 6.58 1000000 0 1021.21/1021.56 c 124 247 234.40 35.68 6.57 1000000 0 1022.41/1022.77 c 105 256 232.84 37.06 6.28 1000000 0 1023.61/1023.98 c 101 276 229.14 37.46 6.12 1000000 0 1024.82/1025.19 c 103 198 233.58 35.00 6.67 1000000 0 1026.02/1026.39 c 116 225 227.68 35.96 6.33 1000000 0 1027.31/1027.60 c 99 186 230.85 36.33 6.35 1000000 0 1028.51/1028.81 c 105 198 230.76 34.95 6.60 1000000 0 1029.71/1030.01 c 116 167 231.63 36.35 6.37 1000000 0 1030.91/1031.22 c 92 288 227.64 36.02 6.32 1000000 0 1032.11/1032.43 c 109 209 231.07 36.51 6.33 1000000 0 1033.31/1033.64 c 98 250 230.22 35.96 6.40 1000000 0 1034.51/1034.85 c 113 227 231.20 36.08 6.41 1000000 0 1035.71/1036.06 c 108 262 231.87 34.78 6.67 1000000 0 1036.92/1037.27 c 113 197 229.98 38.41 5.99 1000000 0 1038.12/1038.48 c 115 210 225.22 34.70 6.49 1000000 0 1039.31/1039.69 c 107 203 227.62 36.00 6.32 1000000 0 1040.51/1040.89 c 112 239 234.70 36.59 6.41 1000000 0 1041.81/1042.10 c 97 218 226.37 36.10 6.27 1000000 0 1043.01/1043.31 c 105 210 226.36 34.81 6.50 1000000 0 1044.21/1044.51 c 108 269 230.95 35.85 6.44 1000000 0 1045.41/1045.72 c 113 153 233.27 36.61 6.37 1000000 0 1046.61/1046.93 c 110 240 233.57 38.37 6.09 1000000 0 1047.81/1048.15 c 99 220 235.13 35.66 6.59 1000000 0 1049.01/1049.36 c 112 250 232.34 36.75 6.32 1000000 0 1050.21/1050.57 c 118 248 232.44 36.29 6.41 1000000 0 1051.41/1051.78 c 101 261 231.26 34.96 6.62 1000000 0 1052.61/1052.98 c 113 210 231.68 35.59 6.51 1000000 0 1053.81/1054.19 c 104 174 231.04 38.35 6.02 1000000 0 1055.11/1055.40 c 102 240 230.77 34.55 6.68 1000000 0 1056.31/1056.61 c 114 236 231.76 35.11 6.60 1000000 0 1057.51/1057.81 c 110 181 233.22 34.93 6.68 1000000 0 1058.70/1059.02 c 101 167 233.31 36.79 6.34 1000000 0 1059.90/1060.23 c 104 316 228.63 35.07 6.52 1000000 0 1061.11/1061.44 c 101 225 228.59 36.03 6.34 1000000 0 1062.31/1062.65 c 111 287 231.79 35.03 6.62 1000000 0 1063.50/1063.86 c 97 236 236.94 32.95 7.19 1000000 0 1064.70/1065.07 c 131 257 234.12 35.02 6.68 1000000 0 1065.90/1066.28 c 124 211 231.12 34.79 6.64 1000000 0 1067.10/1067.49 c 105 260 232.71 35.96 6.47 1000000 0 1068.40/1068.70 c 107 208 232.39 36.59 6.35 1000000 0 1069.60/1069.91 c 114 207 237.16 35.58 6.66 1000000 0 1070.80/1071.12 c 101 205 232.10 35.86 6.47 1000000 0 1072.00/1072.34 c 112 237 229.93 36.05 6.38 1000000 0 1073.21/1073.54 c 103 324 231.22 35.40 6.53 1000000 0 1074.41/1074.75 c 125 183 232.10 36.27 6.40 1000000 0 1075.60/1075.96 c 114 261 226.59 35.70 6.35 1000000 0 1076.80/1077.17 c 113 234 233.46 35.76 6.53 1000000 0 1078.00/1078.38 c 105 254 233.98 37.26 6.28 1000000 0 1079.20/1079.59 c 100 249 230.09 35.91 6.41 1000000 0 1080.40/1080.79 c 106 277 230.65 36.50 6.32 1000000 0 1081.70/1082.01 c 113 233 235.86 39.90 5.91 1000000 0 1082.90/1083.22 c 120 325 234.11 37.37 6.26 1000000 0 1084.10/1084.43 c 114 273 234.99 34.77 6.76 1000000 0 1085.30/1085.64 c 103 237 228.64 35.97 6.36 1000000 0 1086.50/1086.84 c 109 173 232.48 37.01 6.28 1000000 0 1087.70/1088.05 c 100 258 233.58 35.78 6.53 1000000 0 1088.90/1089.26 c 112 159 234.16 35.91 6.52 1000000 0 1090.10/1090.48 c 124 200 232.30 34.04 6.82 1000000 0 1091.30/1091.69 c 103 204 229.39 34.96 6.56 1000000 0 1092.50/1092.90 c 121 201 229.16 34.50 6.64 1000000 0 1093.79/1094.11 c 119 197 231.23 35.70 6.48 1000000 0 1094.99/1095.31 c 109 166 228.35 37.35 6.11 1000000 0 1096.19/1096.52 c 99 268 232.27 34.02 6.83 1000000 0 1097.40/1097.73 c 124 204 230.31 35.93 6.41 1000000 0 1098.60/1098.94 c 99 268 233.98 35.87 6.52 1000000 0 1099.79/1100.15 c 114 318 233.17 37.64 6.20 1000000 0 1100.99/1101.36 c 115 195 231.80 35.35 6.56 1000000 0 1102.19/1102.57 c 102 179 226.61 35.21 6.44 1000000 0 1103.39/1103.77 c 117 275 230.47 35.52 6.49 1000000 0 1104.59/1104.98 c 105 264 228.27 35.98 6.34 1000000 0 1105.79/1106.19 c 105 278 234.25 36.31 6.45 1000000 0 1107.09/1107.40 c 106 263 231.46 35.96 6.44 1000000 0 1108.29/1108.60 c 103 238 232.79 36.70 6.34 1000000 0 1109.50/1109.81 c 114 256 233.09 35.87 6.50 1000000 0 1110.70/1111.02 c 113 223 226.97 36.14 6.28 1000000 0 1111.89/1112.23 c 95 215 230.51 33.94 6.79 1000000 0 1113.09/1113.43 c 123 232 233.87 35.34 6.62 1000000 0 1114.29/1114.64 c 114 223 232.24 36.23 6.41 1000000 0 1115.49/1115.85 c 111 277 230.16 39.43 5.84 1000000 0 1116.69/1117.06 c 109 280 228.33 37.17 6.14 1000000 0 1117.89/1118.27 c 111 184 229.46 36.67 6.26 1000000 0 1119.09/1119.48 c 118 238 233.15 37.42 6.23 1000000 0 1120.29/1120.69 c 108 253 232.27 37.11 6.26 1000000 0 1121.59/1121.90 c 118 262 232.13 36.65 6.33 1000000 0 1122.79/1123.11 c 87 245 230.38 37.80 6.10 1000000 0 1123.99/1124.32 c 106 193 228.40 35.25 6.48 1000000 0 1125.19/1125.53 c 94 228 229.19 36.63 6.26 1000000 0 1126.39/1126.74 c 105 191 235.38 35.59 6.61 1000000 0 1127.59/1127.95 c 116 258 231.91 35.96 6.45 1000000 0 1128.79/1129.16 c 99 188 228.86 35.80 6.39 1000000 0 1129.99/1130.37 c 110 218 231.27 37.59 6.15 1000000 0 1131.19/1131.58 c 103 233 229.44 36.22 6.33 1000000 0 1132.38/1132.79 c 104 254 231.61 36.76 6.30 1000000 0 1133.69/1134.00 c 114 278 235.39 35.92 6.55 1000000 0 1134.89/1135.21 c 98 245 234.41 38.06 6.16 1000000 0 1136.08/1136.42 c 108 146 231.22 34.87 6.63 1000000 0 1137.28/1137.63 c 116 228 228.32 35.97 6.35 1000000 0 1138.48/1138.84 c 98 229 232.39 37.82 6.14 1000000 0 1139.68/1140.05 c 105 215 232.27 34.84 6.67 1000000 0 1140.88/1141.26 c 110 192 230.53 35.72 6.45 1000000 0 1142.08/1142.47 c 104 172 228.79 36.18 6.32 1000000 0 1143.28/1143.68 c 101 253 236.40 38.24 6.18 1000000 0 1144.48/1144.89 c 110 205 231.44 35.00 6.61 1000000 0 1145.79/1146.10 c 116 291 232.02 35.05 6.62 1000000 0 1146.99/1147.31 c 114 187 230.71 34.62 6.66 1000000 0 1148.18/1148.51 c 110 209 231.35 37.85 6.11 1000000 0 1149.38/1149.73 c 113 234 230.03 36.69 6.27 1000000 0 1150.58/1150.94 c 101 289 229.79 34.82 6.60 1000000 0 1151.78/1152.14 c 113 223 225.77 35.30 6.40 1000000 0 1152.98/1153.35 c 96 267 230.06 36.26 6.35 1000000 0 1154.18/1154.56 c 111 274 230.70 35.62 6.48 1000000 0 1155.38/1155.77 c 117 186 229.46 34.99 6.56 1000000 0 1156.58/1156.98 c 110 236 230.45 36.45 6.32 1000000 0 1157.78/1158.19 c 101 272 231.45 36.86 6.28 1000000 0 1158.98/1159.40 c 118 231 230.39 35.60 6.47 1000000 0 1160.28/1160.61 c 114 188 228.47 35.92 6.36 1000000 0 1161.48/1161.82 c 109 270 229.48 39.41 5.82 1000000 0 1162.68/1163.03 c 113 183 232.83 36.15 6.44 1000000 0 1163.88/1164.23 c 112 198 227.26 34.38 6.61 1000000 0 1165.08/1165.44 c 103 209 234.17 36.38 6.44 1000000 0 1166.28/1166.65 c 110 221 228.70 34.28 6.67 1000000 0 1167.48/1167.86 c 114 229 233.28 36.10 6.46 1000000 0 1168.68/1169.07 c 119 231 233.43 35.98 6.49 1000000 0 1169.87/1170.28 c 106 291 233.78 35.82 6.53 1000000 0 1171.08/1171.49 c 116 166 231.75 35.91 6.45 1000000 0 1172.28/1172.70 c 110 258 226.96 35.49 6.39 1000000 0 1173.57/1173.91 c 103 291 229.29 38.89 5.90 1000000 0 1174.77/1175.12 c 103 231 230.22 35.42 6.50 1000000 0 1175.97/1176.32 c 112 233 233.60 35.69 6.54 1000000 0 1177.17/1177.53 c 116 259 232.69 36.68 6.34 1000000 0 1178.37/1178.74 c 113 215 230.18 35.48 6.49 1000000 0 1179.57/1179.95 c 93 245 231.03 37.76 6.12 1000000 0 1180.77/1181.16 c 108 263 231.07 35.74 6.47 1000000 0 1181.97/1182.37 c 107 242 233.05 36.53 6.38 1000000 0 1183.18/1183.59 c 114 234 233.19 36.62 6.37 1000000 0 1184.38/1184.79 c 122 210 231.36 36.60 6.32 1000000 0 1185.67/1186.00 c 87 199 231.87 34.94 6.64 1000000 0 1186.87/1187.21 c 111 183 230.24 33.64 6.84 1000000 0 1188.07/1188.42 c 101 228 233.46 34.76 6.72 1000000 0 1189.27/1189.63 c 109 185 227.04 35.06 6.48 1000000 0 1190.47/1190.84 c 108 237 231.56 37.07 6.25 1000000 0 1191.67/1192.06 c 109 233 233.49 36.06 6.48 1000000 0 1192.87/1193.26 c 91 245 226.64 35.02 6.47 1000000 0 1194.07/1194.47 c 104 168 226.03 35.68 6.33 1000000 0 1195.28/1195.68 c 89 253 233.97 36.97 6.33 1000000 0 1196.57/1196.90 c 113 215 228.64 35.25 6.49 1000000 0 1197.77/1198.11 c 98 230 229.43 36.03 6.37 1000000 0 1198.97/1199.32 c 109 209 231.79 37.91 6.11 1000000 0 1200.17/1200.53 c 117 290 232.43 38.51 6.04 1000000 0 1201.37/1201.74 c 116 267 231.86 36.76 6.31 1000000 0 1202.57/1202.95 c 127 220 232.64 34.44 6.76 1000000 0 1203.77/1204.16 c 86 203 227.13 35.66 6.37 1000000 0 1204.96/1205.37 c 103 287 229.49 36.80 6.24 1000000 0 1206.16/1206.57 c 101 235 233.39 37.51 6.22 1000000 0 1207.37/1207.78 c 109 178 229.79 36.93 6.22 1000000 0 1208.57/1208.99 c 118 305 230.71 34.95 6.60 1000000 0 1209.76/1210.19 c 105 226 230.95 38.63 5.98 1000000 0 1211.06/1211.40 c 114 217 232.12 34.40 6.75 1000000 0 1212.26/1212.61 c 114 287 233.37 37.17 6.28 1000000 0 1213.46/1213.82 c 110 226 230.63 37.54 6.14 1000000 0 1214.66/1215.03 c 95 238 233.19 37.70 6.18 1000000 0 1215.86/1216.24 c 108 240 235.55 35.77 6.59 1000000 0 1217.06/1217.45 c 121 211 231.33 35.88 6.45 1000000 0 1218.26/1218.66 c 116 215 229.84 36.32 6.33 1000000 0 1219.47/1219.87 c 106 229 232.02 37.92 6.12 1000000 0 1220.67/1221.07 c 101 270 233.90 35.41 6.61 1000000 0 1221.86/1222.28 c 107 236 232.48 37.24 6.24 1000000 0 1223.06/1223.49 c 120 198 227.89 35.21 6.47 1000000 0 1224.36/1224.70 c 108 235 231.44 34.95 6.62 1000000 0 1225.56/1225.91 c 109 248 232.07 35.74 6.49 1000000 0 1226.76/1227.12 c 89 209 225.66 36.15 6.24 1000000 0 1227.96/1228.32 c 123 230 234.86 37.85 6.21 1000000 0 1229.16/1229.53 c 112 217 232.23 37.18 6.25 1000000 0 1230.36/1230.74 c 111 204 229.63 35.31 6.50 1000000 0 1231.56/1231.95 c 109 218 234.13 37.78 6.20 1000000 0 1232.76/1233.16 c 97 213 230.58 37.73 6.11 1000000 0 1233.96/1234.37 c 112 202 230.69 34.64 6.66 1000000 0 1235.16/1235.58 c 122 206 233.67 35.68 6.55 1000000 0 1236.36/1236.78 c 112 206 231.82 36.23 6.40 1000000 0 1237.56/1237.99 c 110 274 228.88 36.37 6.29 1000000 0 1238.86/1239.21 c 102 251 222.73 33.76 6.60 1000000 0 1240.06/1240.42 c 112 238 225.72 37.47 6.02 1000000 0 1241.26/1241.63 c 77 230 230.24 36.58 6.29 1000000 0 1242.46/1242.83 c 112 272 236.52 36.36 6.51 1000000 0 1243.66/1244.05 c 94 248 228.30 36.52 6.25 1000000 0 1244.86/1245.25 c 108 269 230.47 35.92 6.42 1000000 0 1246.05/1246.47 c 107 193 230.66 34.86 6.62 1000000 0 1247.25/1247.68 c 108 252 232.39 37.66 6.17 1000000 0 1248.45/1248.89 c 115 211 235.00 36.16 6.50 1000000 0 1249.65/1250.09 c 77 241 229.56 35.88 6.40 1000000 0 1250.85/1251.29 c 95 240 228.50 36.15 6.32 1000000 0 1252.15/1252.50 c 99 239 228.32 36.99 6.17 1000000 0 1253.35/1253.71 c 119 181 233.56 35.19 6.64 1000000 0 1254.55/1254.92 c 104 178 235.60 36.38 6.48 1000000 0 1255.76/1256.13 c 101 272 231.96 35.64 6.51 1000000 0 1256.96/1257.34 c 108 186 229.66 35.57 6.46 1000000 0 1258.15/1258.55 c 115 277 235.11 36.24 6.49 1000000 0 1259.35/1259.76 c 116 222 234.49 36.59 6.41 1000000 0 1260.55/1260.97 c 106 189 235.46 37.18 6.33 1000000 0 1261.75/1262.18 c 96 157 232.84 37.30 6.24 1000000 0 1262.95/1263.39 c 102 174 229.11 35.57 6.44 1000000 0 1264.25/1264.60 c 119 252 231.47 35.14 6.59 1000000 0 1265.45/1265.81 c 122 194 233.97 34.40 6.80 1000000 0 1266.65/1267.02 c 111 199 228.78 36.08 6.34 1000000 0 1267.85/1268.23 c 97 236 230.93 34.44 6.70 1000000 0 1269.05/1269.44 c 110 206 237.16 37.09 6.39 1000000 0 1270.25/1270.65 c 117 221 227.96 34.48 6.61 1000000 0 1271.45/1271.85 c 100 230 230.90 36.53 6.32 1000000 0 1272.65/1273.06 c 84 267 225.25 35.13 6.41 1000000 0 1273.85/1274.27 c 111 188 229.49 36.35 6.31 1000000 0 1275.05/1275.48 c 98 249 233.55 35.99 6.49 1000000 0 1276.24/1276.69 c 97 308 233.35 36.76 6.35 1000000 0 1277.54/1277.90 c 110 175 231.01 37.04 6.24 1000000 0 1278.74/1279.11 c 113 200 230.55 35.29 6.53 1000000 0 1279.95/1280.32 c 95 220 229.67 37.27 6.16 1000000 0 1281.15/1281.53 c 98 258 228.39 35.21 6.49 1000000 0 1282.34/1282.74 c 91 217 231.08 36.01 6.42 1000000 0 1283.54/1283.95 c 105 250 231.04 35.71 6.47 1000000 0 1284.74/1285.16 c 118 210 226.00 34.80 6.49 1000000 0 1285.94/1286.37 c 107 220 231.48 37.90 6.11 1000000 0 1287.14/1287.58 c 110 213 230.83 35.10 6.58 1000000 0 1288.34/1288.78 c 111 239 229.88 37.55 6.12 1000000 0 1289.54/1289.99 c 107 272 229.46 35.49 6.46 1000000 0 1290.74/1291.19 c 83 179 232.83 38.59 6.03 1000000 0 1292.05/1292.40 c 125 229 230.42 35.13 6.56 1000000 0 1293.25/1293.61 c 117 291 233.35 36.69 6.36 1000000 0 1294.44/1294.82 c 95 232 233.20 37.39 6.24 1000000 0 1295.64/1296.03 c 112 200 226.31 34.49 6.56 1000000 0 1296.84/1297.24 c 125 277 232.49 36.58 6.36 1000000 0 1298.04/1298.45 c 115 258 231.25 36.93 6.26 1000000 0 1299.24/1299.65 c 112 234 232.31 36.40 6.38 1000000 0 1300.44/1300.86 c 103 199 229.05 34.82 6.58 1000000 0 1301.64/1302.07 c 100 209 230.92 37.41 6.17 1000000 0 1302.84/1303.28 c 114 265 232.35 37.62 6.18 1000000 0 1304.04/1304.49 c 113 235 229.70 35.00 6.56 1000000 0 1305.24/1305.70 c 94 261 230.59 34.61 6.66 1000000 0 1306.54/1306.91 c 96 252 230.29 35.78 6.44 1000000 0 1307.74/1308.12 c 106 282 230.58 35.63 6.47 1000000 0 1308.94/1309.33 c 104 211 233.25 35.40 6.59 1000000 0 1310.14/1310.54 c 103 202 231.93 35.32 6.57 1000000 0 1311.34/1311.76 c 108 286 230.23 36.95 6.23 1000000 0 1312.54/1312.96 c 107 219 232.16 35.03 6.63 1000000 0 1313.74/1314.17 c 110 306 233.82 33.90 6.90 1000000 0 1314.94/1315.38 c 97 139 231.48 34.76 6.66 1000000 0 1316.13/1316.59 c 107 224 228.52 34.22 6.68 1000000 0 1317.44/1317.80 c 105 272 231.14 34.61 6.68 1000000 0 1318.63/1319.01 c 118 185 229.16 34.94 6.56 1000000 0 1319.83/1320.22 c 109 258 232.27 37.39 6.21 1000000 0 1321.03/1321.43 c 94 194 230.79 36.55 6.31 1000000 0 1322.23/1322.64 c 118 278 236.05 36.89 6.40 1000000 0 1323.43/1323.85 c 112 188 231.47 37.26 6.21 1000000 0 1324.63/1325.06 c 106 165 233.92 36.32 6.44 1000000 0 1325.83/1326.27 c 98 301 229.90 39.00 5.90 1000000 0 1327.03/1327.48 c 97 234 229.03 39.24 5.84 1000000 0 1328.23/1328.69 c 86 209 232.22 37.75 6.15 1000000 0 1329.44/1329.90 c 108 211 231.77 36.00 6.44 1000000 0 1330.73/1331.10 c 109 191 231.37 36.48 6.34 1000000 0 1331.93/1332.31 c 111 170 234.86 36.49 6.44 1000000 0 1333.13/1333.52 c 101 316 233.09 36.50 6.39 1000000 0 1334.33/1334.73 c 96 191 228.35 33.97 6.72 1000000 0 1335.53/1335.94 c 121 216 234.04 34.91 6.70 1000000 0 1336.73/1337.15 c 117 211 231.23 34.85 6.63 1000000 0 1337.93/1338.36 c 102 240 233.69 35.82 6.52 1000000 0 1339.13/1339.56 c 108 261 230.12 35.25 6.53 1000000 0 1340.33/1340.77 c 108 196 235.95 37.54 6.29 1000000 0 1341.53/1341.98 c 82 308 228.28 36.42 6.27 1000000 0 1342.73/1343.19 c 112 232 230.54 34.23 6.73 1000000 0 1344.03/1344.40 c 116 188 227.05 36.02 6.30 1000000 0 1345.23/1345.61 c 117 273 231.64 35.23 6.57 1000000 0 1346.43/1346.82 c 78 199 232.08 36.83 6.30 1000000 0 1347.63/1348.03 c 99 228 228.11 35.20 6.48 1000000 0 1348.83/1349.24 c 117 253 231.60 36.14 6.41 1000000 0 1350.02/1350.45 c 103 294 232.07 35.82 6.48 1000000 0 1351.22/1351.65 c 109 220 233.68 36.99 6.32 1000000 0 1352.42/1352.86 c 116 278 231.93 34.72 6.68 1000000 0 1353.63/1354.07 c 103 223 228.85 34.28 6.68 1000000 0 1354.83/1355.27 c 113 222 231.17 35.03 6.60 1000000 0 1356.02/1356.48 c 123 261 229.94 35.72 6.44 1000000 0 1357.22/1357.69 c 117 214 231.79 35.18 6.59 1000000 0 1358.52/1358.90 c 112 179 229.97 35.64 6.45 1000000 0 1359.72/1360.11 c 113 254 231.90 39.23 5.91 1000000 0 1360.92/1361.33 c 108 190 231.61 38.06 6.08 1000000 0 1362.12/1362.54 c 95 192 234.98 36.48 6.44 1000000 0 1363.32/1363.75 c 95 257 235.08 36.35 6.47 1000000 0 1364.52/1364.95 c 118 316 230.09 35.96 6.40 1000000 0 1365.73/1366.15 c 111 213 230.45 36.01 6.40 1000000 0 1366.93/1367.37 c 114 232 231.93 35.81 6.48 1000000 0 1368.12/1368.57 c 116 261 235.77 35.14 6.71 1000000 0 1369.32/1369.78 c 88 209 234.09 36.52 6.41 1000000 0 1370.52/1370.99 c 105 270 234.47 36.37 6.45 1000000 0 1371.72/1372.20 c 95 217 236.09 36.35 6.49 1000000 0 1373.02/1373.40 c 108 204 232.88 36.71 6.34 1000000 0 1374.22/1374.61 c 109 200 229.35 34.96 6.56 1000000 0 1375.42/1375.83 c 114 271 228.66 34.93 6.55 1000000 0 1376.62/1377.04 c 113 172 230.62 33.94 6.80 1000000 0 1377.82/1378.25 c 116 190 231.48 36.00 6.43 1000000 0 1379.02/1379.46 c 119 253 237.09 35.27 6.72 1000000 0 1380.22/1380.66 c 109 207 230.30 35.52 6.48 1000000 0 1381.42/1381.87 c 119 196 229.61 34.40 6.67 1000000 0 1382.62/1383.07 c 108 188 230.55 36.55 6.31 1000000 0 1383.82/1384.28 c 115 262 233.91 35.46 6.60 1000000 0 1385.12/1385.50 c 111 283 233.48 34.63 6.74 1000000 0 1386.32/1386.71 c 100 278 233.37 36.24 6.44 1000000 0 1387.52/1387.92 c 83 251 233.69 39.18 5.97 1000000 0 1388.71/1389.12 c 112 238 232.65 35.00 6.65 1000000 0 1389.92/1390.33 c 110 281 231.50 33.84 6.84 1000000 0 1391.12/1391.54 c 113 246 231.15 37.24 6.21 1000000 0 1392.31/1392.75 c 102 234 228.67 35.06 6.52 1000000 0 1393.51/1393.96 c 114 203 235.10 37.66 6.24 1000000 0 1394.71/1395.17 c 99 279 227.61 37.07 6.14 1000000 0 1395.91/1396.38 c 113 239 236.03 37.63 6.27 1000000 0 1397.11/1397.59 c 126 263 234.71 35.39 6.63 1000000 0 1398.41/1398.80 c 112 219 227.29 35.03 6.49 1000000 0 1399.61/1400.01 c 116 241 229.76 36.23 6.34 1000000 0 1400.81/1401.22 c 118 285 234.90 37.33 6.29 1000000 0 1402.02/1402.43 c 114 192 234.50 36.27 6.47 1000000 0 1403.22/1403.64 c 112 217 234.34 36.19 6.47 1000000 0 1404.41/1404.86 c 110 273 234.09 34.86 6.71 1000000 0 1405.61/1406.06 c 104 196 232.98 36.51 6.38 1000000 0 1406.81/1407.27 c 103 271 232.18 37.18 6.24 1000000 0 1408.01/1408.48 c 118 211 230.05 35.93 6.40 1000000 0 1409.21/1409.69 c 102 225 234.22 37.21 6.29 1000000 0 1410.51/1410.91 c 114 312 233.85 36.08 6.48 1000000 0 1411.71/1412.12 c 112 240 234.35 36.80 6.37 1000000 0 1412.91/1413.33 c 102 229 231.97 37.41 6.20 1000000 0 1414.12/1414.54 c 94 212 233.38 37.77 6.18 1000000 0 1415.31/1415.74 c 111 225 230.64 36.57 6.31 1000000 0 1416.51/1416.95 c 107 181 229.41 35.94 6.38 1000000 0 1417.71/1418.16 c 110 179 231.87 36.47 6.36 1000000 0 1418.91/1419.37 c 112 220 229.93 35.47 6.48 1000000 0 1420.11/1420.58 c 107 203 232.31 34.84 6.67 1000000 0 1421.31/1421.78 c 111 235 234.98 34.63 6.79 1000000 0 1422.51/1422.99 c 109 264 226.42 34.39 6.58 1000000 0 1423.81/1424.20 c 112 188 230.33 35.28 6.53 1000000 0 1425.01/1425.41 c 107 200 231.74 36.02 6.43 1000000 0 1426.21/1426.62 c 108 248 232.90 36.38 6.40 1000000 0 1427.41/1427.83 c 108 227 230.83 37.92 6.09 1000000 0 1428.60/1429.04 c 100 248 228.09 35.73 6.38 1000000 0 1429.80/1430.25 c 115 180 229.21 34.75 6.60 1000000 0 1431.00/1431.46 c 110 260 233.04 36.02 6.47 1000000 0 1432.20/1432.67 c 108 200 232.42 37.17 6.25 1000000 0 1433.40/1433.88 c 123 217 226.36 33.31 6.79 1000000 0 1434.60/1435.09 c 108 232 230.19 35.63 6.46 1000000 0 1435.80/1436.29 c 105 190 231.41 35.64 6.49 1000000 0 1437.10/1437.50 c 109 254 233.05 37.80 6.16 1000000 0 1438.31/1438.71 c 109 239 231.14 37.72 6.13 1000000 0 1439.51/1439.92 c 98 255 234.63 38.69 6.06 1000000 0 1440.70/1441.13 c 105 203 228.74 36.13 6.33 1000000 0 1441.90/1442.34 c 107 273 232.90 36.82 6.32 1000000 0 1443.10/1443.55 c 101 220 235.06 37.50 6.27 1000000 0 1444.30/1444.75 c 105 253 229.11 36.10 6.35 1000000 0 1445.50/1445.96 c 95 202 229.59 35.07 6.55 1000000 0 1446.70/1447.17 c 129 215 236.73 34.88 6.79 1000000 0 1447.90/1448.38 c 110 318 233.12 36.32 6.42 1000000 0 1449.10/1449.58 c 99 260 230.70 37.33 6.18 1000000 0 1450.30/1450.79 c 109 271 233.42 36.66 6.37 1000000 0 1451.51/1452.00 c 109 235 233.43 36.46 6.40 1000000 0 1452.80/1453.21 c 101 316 231.20 37.23 6.21 1000000 0 1454.00/1454.42 c 95 161 227.55 36.45 6.24 1000000 0 1455.20/1455.63 c 113 241 231.24 35.91 6.44 1000000 0 1456.40/1456.84 c 109 191 230.44 36.65 6.29 1000000 0 1457.60/1458.05 c 93 291 230.15 34.90 6.59 1000000 0 1458.80/1459.25 c 107 275 235.15 37.14 6.33 1000000 0 1460.00/1460.47 c 116 177 229.76 34.12 6.73 1000000 0 1461.19/1461.68 c 102 234 231.68 38.13 6.08 1000000 0 1462.39/1462.89 c 104 203 235.12 36.12 6.51 1000000 0 1463.60/1464.09 c 108 215 232.19 33.20 6.99 1000000 0 1464.89/1465.30 c 115 218 234.48 37.20 6.30 1000000 0 1466.09/1466.51 c 106 201 231.89 35.91 6.46 1000000 0 1467.29/1467.72 c 115 254 232.02 36.64 6.33 1000000 0 1468.49/1468.93 c 115 222 230.03 35.96 6.40 1000000 0 1469.69/1470.13 c 100 269 231.69 38.97 5.94 1000000 0 1470.89/1471.34 c 106 243 228.58 37.69 6.06 1000000 0 1472.09/1472.55 c 103 217 228.85 35.66 6.42 1000000 0 1473.29/1473.76 c 90 274 235.29 36.42 6.46 1000000 0 1474.49/1474.97 c 94 199 232.66 36.88 6.31 1000000 0 1475.70/1476.18 c 107 183 232.25 36.58 6.35 1000000 0 1476.90/1477.39 c 103 299 231.78 36.28 6.39 1000000 0 1478.19/1478.60 c 106 228 234.37 36.99 6.34 1000000 0 1479.39/1479.80 c 101 224 232.64 36.69 6.34 1000000 0 1480.59/1481.01 c 114 233 229.46 33.74 6.80 1000000 0 1481.79/1482.22 c 120 267 234.79 34.35 6.83 1000000 0 1482.99/1483.43 c 87 256 230.39 36.49 6.31 1000000 0 1484.19/1484.64 c 118 228 232.86 37.61 6.19 1000000 0 1485.39/1485.85 c 104 238 233.31 37.06 6.30 1000000 0 1486.59/1487.06 c 109 254 228.55 36.30 6.30 1000000 0 1487.79/1488.27 c 97 194 227.81 36.04 6.32 1000000 0 1488.99/1489.48 c 115 236 227.79 37.02 6.15 1000000 0 1490.19/1490.69 c 106 272 226.54 35.89 6.31 1000000 0 1491.39/1491.89 c 104 235 228.97 34.39 6.66 1000000 0 1492.69/1493.10 c 119 219 232.63 35.80 6.50 1000000 0 1493.89/1494.32 c 119 184 235.33 35.37 6.65 1000000 0 1495.09/1495.52 c 100 218 230.49 37.47 6.15 1000000 0 1496.29/1496.73 c 115 243 231.89 35.80 6.48 1000000 0 1497.49/1497.94 c 100 250 229.83 36.95 6.22 1000000 0 1498.69/1499.15 c 101 279 230.70 37.68 6.12 1000000 0 1499.89/1500.36 c 112 303 227.26 36.33 6.25 1000000 0 1501.09/1501.57 c 92 199 230.91 35.10 6.58 1000000 0 1502.28/1502.78 c 111 215 231.39 34.80 6.65 1000000 0 1503.48/1503.99 c 89 183 228.60 35.11 6.51 1000000 0 1504.78/1505.20 c 109 263 231.60 37.61 6.16 1000000 0 1505.98/1506.41 c 122 302 233.05 35.70 6.53 1000000 0 1507.18/1507.62 c 99 209 234.09 36.34 6.44 1000000 0 1508.38/1508.82 c 90 228 232.74 34.47 6.75 1000000 0 1509.58/1510.03 c 124 257 233.07 35.23 6.62 1000000 0 1510.78/1511.24 c 112 272 230.74 35.02 6.59 1000000 0 1511.99/1512.45 c 118 199 231.15 35.07 6.59 1000000 0 1513.19/1513.66 c 113 226 229.72 35.78 6.42 1000000 0 1514.38/1514.87 c 109 212 234.35 35.44 6.61 1000000 0 1515.58/1516.08 c 113 221 228.07 33.81 6.75 1000000 0 1516.78/1517.29 c 112 205 232.58 38.17 6.09 1000000 0 1518.08/1518.50 c 118 298 232.73 35.81 6.50 1000000 0 1519.28/1519.71 c 113 206 232.04 36.86 6.30 1000000 0 1520.48/1520.91 c 114 174 228.76 34.29 6.67 1000000 0 1521.68/1522.12 c 109 252 231.78 35.56 6.52 1000000 0 1522.88/1523.33 c 100 225 231.64 35.57 6.51 1000000 0 1524.09/1524.54 c 112 266 227.86 35.94 6.34 1000000 0 1525.29/1525.75 c 123 219 232.14 34.64 6.70 1000000 0 1526.48/1526.96 c 122 262 230.87 35.81 6.45 1000000 0 1527.68/1528.17 c 113 243 227.00 36.01 6.30 1000000 0 1528.88/1529.37 c 107 231 234.02 34.17 6.85 1000000 0 1530.08/1530.58 c 110 183 228.58 35.19 6.50 1000000 0 1531.28/1531.79 c 109 183 233.09 36.92 6.31 1000000 0 1532.48/1532.99 c 100 231 231.17 37.67 6.14 1000000 0 1533.78/1534.20 c 98 240 232.77 36.79 6.33 1000000 0 1534.98/1535.41 c 103 248 234.51 37.42 6.27 1000000 0 1536.18/1536.62 c 118 210 229.40 34.77 6.60 1000000 0 1537.38/1537.83 c 107 227 232.51 37.80 6.15 1000000 0 1538.57/1539.04 c 115 194 230.23 34.15 6.74 1000000 0 1539.77/1540.25 c 89 216 228.24 35.93 6.35 1000000 0 1540.97/1541.46 c 115 224 226.58 35.98 6.30 1000000 0 1542.17/1542.67 c 117 244 233.38 35.34 6.60 1000000 0 1543.37/1543.88 c 120 273 233.08 37.60 6.20 1000000 0 1544.57/1545.09 c 114 238 232.55 37.99 6.12 1000000 0 1545.77/1546.29 c 105 262 230.15 38.27 6.01 1000000 0 1547.07/1547.50 c 99 265 234.02 35.90 6.52 1000000 0 1548.28/1548.71 c 113 269 231.70 34.15 6.78 1000000 0 1549.48/1549.92 c 118 214 233.51 35.47 6.58 1000000 0 1550.67/1551.13 c 112 234 231.19 39.50 5.85 1000000 0 1551.87/1552.34 c 121 257 230.13 35.56 6.47 1000000 0 1553.07/1553.54 c 113 243 230.13 35.70 6.45 1000000 0 1554.27/1554.75 c 97 272 229.46 35.79 6.41 1000000 0 1555.47/1555.96 c 103 204 233.57 35.49 6.58 1000000 0 1556.67/1557.17 c 103 226 232.08 35.51 6.54 1000000 0 1557.87/1558.38 c 101 215 229.57 35.67 6.44 1000000 0 1559.07/1559.59 c 102 171 230.76 35.17 6.56 1000000 0 1560.38/1560.80 c 107 220 232.05 36.32 6.39 1000000 0 1561.58/1562.01 c 113 291 232.77 34.89 6.67 1000000 0 1562.77/1563.21 c 105 258 236.31 38.01 6.22 1000000 0 1563.97/1564.43 c 96 244 232.39 36.89 6.30 1000000 0 1565.17/1565.64 c 93 262 234.20 36.40 6.43 1000000 0 1566.37/1566.85 c 122 188 233.39 36.42 6.41 1000000 0 1567.57/1568.06 c 113 191 234.24 37.34 6.27 1000000 0 1568.77/1569.27 c 107 245 228.91 35.91 6.37 1000000 0 1569.97/1570.48 c 122 240 233.48 35.98 6.49 1000000 0 1571.17/1571.69 c 109 235 230.81 37.25 6.20 1000000 0 1572.36/1572.90 c 109 251 232.15 37.48 6.19 1000000 0 1573.67/1574.11 c 101 185 232.96 36.50 6.38 1000000 0 1574.86/1575.31 c 101 196 229.76 35.25 6.52 1000000 0 1576.06/1576.52 c 114 193 233.55 34.15 6.84 1000000 0 1577.26/1577.73 c 106 225 233.65 38.57 6.06 1000000 0 1578.46/1578.95 c 104 258 230.28 36.20 6.36 1000000 0 1579.66/1580.16 c 97 249 229.77 34.23 6.71 1000000 0 1580.86/1581.36 c 83 189 229.26 36.22 6.33 1000000 0 1582.06/1582.57 c 102 277 235.64 36.38 6.48 1000000 0 1583.26/1583.77 c 106 228 230.36 35.27 6.53 1000000 0 1584.46/1584.99 c 97 246 230.05 37.42 6.15 1000000 0 1585.67/1586.20 c 122 248 229.02 34.86 6.57 1000000 0 1586.96/1587.40 c 115 274 229.59 36.61 6.27 1000000 0 1588.16/1588.61 c 101 185 231.72 36.27 6.39 1000000 0 1589.36/1589.82 c 97 220 231.52 34.41 6.73 1000000 0 1590.56/1591.02 c 99 241 229.75 37.14 6.19 1000000 0 1591.76/1592.24 c 106 265 226.80 35.93 6.31 1000000 0 1592.96/1593.45 c 100 253 234.80 38.87 6.04 1000000 0 1594.16/1594.66 c 94 190 230.42 35.25 6.54 1000000 0 1595.36/1595.87 c 105 209 232.34 34.92 6.65 1000000 0 1596.56/1597.08 c 112 254 228.58 34.44 6.64 1000000 0 1597.77/1598.29 c 105 205 229.93 33.95 6.77 1000000 0 1599.06/1599.50 c 95 214 225.06 35.06 6.42 1000000 0 1600.26/1600.71 c 110 229 232.05 33.82 6.86 1000000 0 1601.46/1601.92 c 98 272 232.55 36.71 6.34 1000000 0 1602.66/1603.13 c 128 249 237.41 34.30 6.92 1000000 0 1603.86/1604.33 c 97 204 227.61 35.56 6.40 1000000 0 1605.06/1605.54 c 118 212 231.01 35.96 6.42 1000000 0 1606.26/1606.75 c 110 219 231.13 33.26 6.95 1000000 0 1607.46/1607.95 c 114 308 230.98 36.32 6.36 1000000 0 1608.66/1609.17 c 93 270 230.64 37.35 6.17 1000000 0 1609.86/1610.38 c 105 277 229.64 36.60 6.27 1000000 0 1611.06/1611.59 c 121 297 232.43 36.59 6.35 1000000 0 1612.25/1612.80 c 111 271 233.18 36.44 6.40 1000000 0 1613.55/1614.00 c 94 218 229.48 35.72 6.42 1000000 0 1614.75/1615.21 c 114 228 230.81 35.61 6.48 1000000 0 1615.95/1616.42 c 123 193 228.47 34.46 6.63 1000000 0 1617.15/1617.63 c 110 233 230.09 37.41 6.15 1000000 0 1618.35/1618.84 c 121 204 229.92 35.36 6.50 1000000 0 1619.55/1620.05 c 120 232 233.91 33.69 6.94 1000000 0 1620.75/1621.26 c 101 193 235.58 36.38 6.48 1000000 0 1621.96/1622.46 c 116 226 230.79 37.73 6.12 1000000 0 1623.16/1623.67 c 116 236 230.80 35.42 6.52 1000000 0 1624.35/1624.88 c 104 204 229.68 36.99 6.21 1000000 0 1625.55/1626.09 c 91 259 229.48 36.25 6.33 1000000 0 1626.85/1627.30 c 107 225 233.87 35.97 6.50 1000000 0 1628.05/1628.51 c 99 227 233.16 36.91 6.32 1000000 0 1629.25/1629.71 c 108 271 235.09 34.63 6.79 1000000 0 1630.45/1630.92 c 109 191 229.41 36.55 6.28 1000000 0 1631.65/1632.13 c 103 243 225.95 35.79 6.31 1000000 0 1632.85/1633.34 c 99 266 231.21 37.22 6.21 1000000 0 1634.06/1634.54 c 96 220 228.50 36.13 6.33 1000000 0 1635.26/1635.75 c 100 265 233.06 35.18 6.62 1000000 0 1636.45/1636.96 c 117 221 231.92 37.02 6.26 1000000 0 1637.65/1638.17 c 92 235 231.36 37.34 6.20 1000000 0 1638.85/1639.38 c 109 236 225.76 36.47 6.19 1000000 0 1640.05/1640.59 c 103 314 232.11 37.63 6.17 1000000 0 1641.35/1641.81 c 123 263 230.52 34.22 6.74 1000000 0 1642.55/1643.01 c 104 237 228.23 33.02 6.91 1000000 0 1643.75/1644.22 c 105 153 235.80 35.33 6.67 1000000 0 1644.95/1645.43 c 110 326 232.82 35.86 6.49 1000000 0 1646.15/1646.64 c 99 252 230.74 37.56 6.14 1000000 0 1647.35/1647.84 c 103 225 232.65 35.51 6.55 1000000 0 1648.55/1649.05 c 107 260 235.18 36.46 6.45 1000000 0 1649.74/1650.26 c 115 209 232.59 33.59 6.92 1000000 0 1650.94/1651.47 c 120 206 234.29 34.96 6.70 1000000 0 1652.14/1652.68 c 104 248 228.23 35.39 6.45 1000000 0 1653.34/1653.89 c 120 234 231.22 33.56 6.89 1000000 0 1654.54/1655.09 c 97 261 226.52 39.02 5.80 1000000 0 1655.84/1656.30 c 98 187 233.73 35.68 6.55 1000000 0 1657.04/1657.51 c 113 180 232.78 35.72 6.52 1000000 0 1658.25/1658.71 c 101 225 231.17 36.17 6.39 1000000 0 1659.45/1659.92 c 107 157 231.38 34.74 6.66 1000000 0 1660.64/1661.13 c 113 190 238.35 37.69 6.32 1000000 0 1661.84/1662.34 c 104 196 225.97 38.80 5.82 1000000 0 1663.04/1663.55 c 107 247 232.79 35.70 6.52 1000000 0 1664.24/1664.76 c 100 298 230.74 36.43 6.33 1000000 0 1665.44/1665.97 c 115 223 226.34 36.41 6.22 1000000 0 1666.64/1667.17 c 101 210 231.32 37.70 6.14 1000000 0 1667.84/1668.38 c 111 252 231.30 36.41 6.35 1000000 0 1669.04/1669.59 c 123 190 231.70 34.72 6.67 1000000 0 1670.35/1670.80 c 112 246 233.10 34.34 6.79 1000000 0 1671.55/1672.01 c 103 195 231.49 34.57 6.70 1000000 0 1672.74/1673.22 c 119 269 233.15 35.73 6.52 1000000 0 1673.94/1674.43 c 79 236 227.22 34.42 6.60 1000000 0 1675.14/1675.64 c 122 226 233.77 35.46 6.59 1000000 0 1676.34/1676.85 c 117 276 231.18 36.70 6.30 1000000 0 1677.54/1678.06 c 74 215 226.40 36.22 6.25 1000000 0 1678.74/1679.27 c 103 221 235.01 37.85 6.21 1000000 0 1679.94/1680.47 c 110 230 230.35 36.94 6.24 1000000 0 1681.14/1681.68 c 120 280 229.01 35.32 6.48 1000000 0 1682.34/1682.89 c 112 234 232.01 33.84 6.86 1000000 0 1683.54/1684.10 c 112 237 229.86 38.43 5.98 1000000 0 1684.83/1685.31 c 112 297 229.10 35.33 6.48 1000000 0 1686.03/1686.52 c 93 220 228.48 36.97 6.18 1000000 0 1687.23/1687.73 c 106 264 233.03 35.19 6.62 1000000 0 1688.43/1688.94 c 123 229 232.72 35.18 6.62 1000000 0 1689.63/1690.15 c 115 233 234.50 34.82 6.74 1000000 0 1690.83/1691.36 c 110 272 229.00 35.76 6.40 1000000 0 1692.03/1692.57 c 104 237 232.71 36.62 6.36 1000000 0 1693.23/1693.78 c 119 295 232.66 35.27 6.60 1000000 0 1694.43/1694.99 c 110 176 227.42 37.43 6.08 1000000 0 1695.64/1696.20 c 79 239 230.95 36.90 6.26 1000000 0 1696.93/1697.41 c 108 195 231.67 34.78 6.66 1000000 0 1698.13/1698.62 c 119 239 233.95 35.41 6.61 1000000 0 1699.33/1699.83 c 118 220 234.15 36.24 6.46 1000000 0 1700.53/1701.04 c 117 216 234.85 34.90 6.73 1000000 0 1701.73/1702.25 c 94 248 232.06 37.58 6.18 1000000 0 1702.93/1703.46 c 108 237 228.86 34.64 6.61 1000000 0 1704.13/1704.67 c 109 241 231.71 35.05 6.61 1000000 0 1705.33/1705.88 c 129 230 237.18 34.37 6.90 1000000 0 1706.53/1707.09 c 112 221 232.80 35.63 6.53 1000000 0 1707.74/1708.30 c 101 271 232.79 36.22 6.43 1000000 0 1709.03/1709.51 c 109 192 234.54 36.47 6.43 1000000 0 1710.23/1710.72 c 105 223 231.75 37.85 6.12 1000000 0 1711.43/1711.93 c 104 194 230.72 36.19 6.38 1000000 0 1712.63/1713.14 c 125 277 232.75 35.37 6.58 1000000 0 1713.83/1714.35 c 107 189 233.09 35.97 6.48 1000000 0 1715.03/1715.56 c 111 246 225.66 34.64 6.51 1000000 0 1716.23/1716.77 c 120 220 234.07 35.54 6.59 1000000 0 1717.43/1717.98 c 109 226 233.75 37.01 6.32 1000000 0 1718.63/1719.19 c 108 269 232.00 36.62 6.34 1000000 0 1719.83/1720.40 c 104 272 231.58 36.95 6.27 1000000 0 1721.13/1721.61 c 110 230 229.59 35.10 6.54 1000000 0 1722.33/1722.82 c 95 218 232.17 36.15 6.42 1000000 0 1723.52/1724.02 c 94 239 233.16 35.54 6.56 1000000 0 1724.72/1725.23 c 112 201 228.48 36.85 6.20 1000000 0 1725.92/1726.44 c 97 226 234.78 36.77 6.38 1000000 0 1727.12/1727.65 c 122 188 233.10 38.03 6.13 1000000 0 1728.32/1728.85 c 112 258 231.89 36.48 6.36 1000000 0 1729.52/1730.06 c 118 245 234.68 34.37 6.83 1000000 0 1730.72/1731.27 c 109 233 231.38 37.63 6.15 1000000 0 1731.93/1732.48 c 102 168 230.19 35.71 6.45 1000000 0 1733.13/1733.69 c 115 221 229.73 36.58 6.28 1000000 0 1734.32/1734.89 c 113 265 233.60 36.49 6.40 1000000 0 1735.62/1736.10 c 116 252 229.82 36.10 6.37 1000000 0 1736.82/1737.32 c 80 174 232.94 36.95 6.30 1000000 0 1738.02/1738.52 c 94 198 230.95 37.10 6.22 1000000 0 1739.22/1739.74 c 109 182 231.75 36.46 6.36 1000000 0 1740.42/1740.95 c 95 361 232.51 38.21 6.09 1000000 0 1741.62/1742.15 c 111 208 229.51 35.51 6.46 1000000 0 1742.82/1743.36 c 106 188 233.79 34.01 6.87 1000000 0 1744.02/1744.57 c 91 254 229.56 33.41 6.87 1000000 0 1745.22/1745.78 c 110 293 225.42 36.86 6.12 1000000 0 1746.42/1746.99 c 115 197 232.33 35.74 6.50 1000000 0 1747.72/1748.20 c 123 173 232.95 35.59 6.55 1000000 0 1748.92/1749.41 c 117 230 233.02 35.58 6.55 1000000 0 1750.12/1750.62 c 110 256 231.29 36.03 6.42 1000000 0 1751.32/1751.83 c 114 225 230.02 37.97 6.06 1000000 0 1752.52/1753.04 c 121 290 231.09 35.37 6.53 1000000 0 1753.72/1754.25 c 106 195 231.73 35.61 6.51 1000000 0 1754.92/1755.46 c 114 255 231.69 34.37 6.74 1000000 0 1756.12/1756.67 c 108 209 232.45 35.17 6.61 1000000 0 1757.32/1757.88 c 110 251 228.78 37.71 6.07 1000000 0 1758.51/1759.10 c 121 228 233.47 36.49 6.40 1000000 0 1759.81/1760.31 c 101 215 231.59 37.35 6.20 1000000 0 1761.01/1761.51 c 98 236 225.38 34.65 6.50 1000000 0 1762.21/1762.72 c 117 222 235.33 38.15 6.17 1000000 0 1763.41/1763.93 c 102 278 232.90 36.32 6.41 1000000 0 1764.61/1765.14 c 112 195 231.51 36.73 6.30 1000000 0 1765.81/1766.35 c 93 202 231.97 37.32 6.22 1000000 0 1767.01/1767.56 c 103 216 232.02 36.49 6.36 1000000 0 1768.22/1768.77 c 111 196 231.23 36.58 6.32 1000000 0 1769.42/1769.98 c 118 174 232.30 37.81 6.14 1000000 0 1770.61/1771.18 c 119 213 233.65 36.24 6.45 1000000 0 1771.81/1772.39 c 109 286 227.22 37.71 6.03 1000000 0 1773.01/1773.59 c 113 264 232.70 35.18 6.61 1000000 0 1774.31/1774.80 c 111 192 230.65 34.70 6.65 1000000 0 1775.51/1776.01 c 101 219 225.26 35.36 6.37 1000000 0 1776.71/1777.22 c 91 247 228.61 34.91 6.55 1000000 0 1777.91/1778.42 c 123 273 230.60 35.96 6.41 1000000 0 1779.11/1779.63 c 98 208 229.36 35.57 6.45 1000000 0 1780.32/1780.84 c 120 258 235.29 36.76 6.40 1000000 0 1781.52/1782.05 c 107 253 230.29 36.84 6.25 1000000 0 1782.71/1783.25 c 120 251 232.79 34.67 6.71 1000000 0 1783.91/1784.46 c 102 229 233.69 35.02 6.67 1000000 0 1785.11/1785.67 c 104 278 233.80 38.73 6.04 1000000 0 1786.31/1786.88 c 115 281 231.91 35.09 6.61 1000000 0 1787.51/1788.09 c 103 194 229.60 36.84 6.23 1000000 0 1788.81/1789.30 c 128 317 235.36 37.12 6.34 1000000 0 1790.01/1790.51 c 99 245 229.89 36.33 6.33 1000000 0 1791.21/1791.72 c 106 204 236.14 36.68 6.44 1000000 0 1792.41/1792.93 c 100 297 230.34 36.58 6.30 1000000 0 1793.61/1794.13 c 114 216 230.43 33.58 6.86 1000000 0 1794.80/1795.34 c 96 209 230.95 35.07 6.59 1000000 0 1796.00/1796.55 c 119 269 229.73 36.60 6.28 1000000 0 1797.20/1797.76 c 108 260 233.10 36.50 6.39 1000000 0 1798.40/1798.97 c 109 256 235.75 37.22 6.33 1000000 0 1799.60/1800.18 c 110 255 231.47 36.14 6.41 1000000 0 1800.01/1800.51 HOME/run: line 2: 24312 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-2684538-1278432542/watcher-2684538-1278432542 -o /tmp/evaluation-result-2684538-1278432542/solver-2684538-1278432542 -C 1800 -W 2000 -M 1800 run HOME/instance-2684538-1278432542.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.00 0.00 0.00 2/106 24311 /proc/meminfo: memFree=1493992/2059040 swapFree=4192956/4192956 [pid=24311] ppid=24309 vsize=8700 CPUtime=0 /proc/24311/stat : 24311 (run) R 24309 24311 24253 0 -1 4202496 342 0 0 0 0 0 0 0 19 0 1 0 11468025 8908800 243 1992294400 4194304 4922060 140736096162032 18446744073709551615 248552989077 0 65538 4100 65536 0 0 0 17 1 0 0 0 /proc/24311/statm: 2175 243 204 178 0 68 0 [startup+0.0141101 s] /proc/loadavg: 0.00 0.00 0.00 2/106 24311 /proc/meminfo: memFree=1493992/2059040 swapFree=4192956/4192956 [pid=24311] ppid=24309 vsize=8700 CPUtime=0 /proc/24311/stat : 24311 (run) S 24309 24311 24253 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468025 8908800 243 1992294400 4194304 4922060 140736096162032 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24311/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101098 s] /proc/loadavg: 0.00 0.00 0.00 2/106 24311 /proc/meminfo: memFree=1493992/2059040 swapFree=4192956/4192956 [pid=24311] ppid=24309 vsize=8700 CPUtime=0 /proc/24311/stat : 24311 (run) S 24309 24311 24253 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468025 8908800 243 1992294400 4194304 4922060 140736096162032 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24311/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301121 s] /proc/loadavg: 0.00 0.00 0.00 2/106 24311 /proc/meminfo: memFree=1493992/2059040 swapFree=4192956/4192956 [pid=24311] ppid=24309 vsize=8700 CPUtime=0 /proc/24311/stat : 24311 (run) S 24309 24311 24253 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468025 8908800 243 1992294400 4194304 4922060 140736096162032 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24311/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701169 s] /proc/loadavg: 0.00 0.00 0.00 2/106 24311 /proc/meminfo: memFree=1493992/2059040 swapFree=4192956/4192956 [pid=24311] ppid=24309 vsize=8700 CPUtime=0 /proc/24311/stat : 24311 (run) S 24309 24311 24253 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468025 8908800 243 1992294400 4194304 4922060 140736096162032 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24311/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50126 s] /proc/loadavg: 0.00 0.00 0.00 2/108 24313 /proc/meminfo: memFree=1490380/2059040 swapFree=4192956/4192956 [pid=24311] ppid=24309 vsize=8700 CPUtime=0 /proc/24311/stat : 24311 (run) S 24309 24311 24253 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468025 8908800 243 1992294400 4194304 4922060 140736096162032 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24311/statm: 2175 243 204 178 0 68 0 [pid=24312] ppid=24311 vsize=40452 CPUtime=1.49 /proc/24312/stat : 24312 (PB-wave) R 24311 24311 24253 0 -1 4202496 965 0 0 0 149 0 0 0 25 0 1 0 11468026 41422848 895 1992294400 134512640 135071400 4288445840 18446744073709551615 134537188 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24312/statm: 10113 895 69 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.10145 s] /proc/loadavg: 0.00 0.00 0.00 2/108 24314 /proc/meminfo: memFree=1490132/2059040 swapFree=4192956/4192956 [pid=24311] ppid=24309 vsize=8700 CPUtime=0 /proc/24311/stat : 24311 (run) S 24309 24311 24253 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468025 8908800 243 1992294400 4194304 4922060 140736096162032 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24311/statm: 2175 243 204 178 0 68 0 [pid=24312] ppid=24311 vsize=40452 CPUtime=3.09 /proc/24312/stat : 24312 (PB-wave) R 24311 24311 24253 0 -1 4202496 965 0 0 0 309 0 0 0 25 0 1 0 11468026 41422848 895 1992294400 134512640 135071400 4288445840 18446744073709551615 134526719 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24312/statm: 10113 895 69 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.30182 s] /proc/loadavg: 0.08 0.02 0.01 2/108 24314 /proc/meminfo: memFree=1490132/2059040 swapFree=4192956/4192956 [pid=24311] ppid=24309 vsize=8700 CPUtime=0 /proc/24311/stat : 24311 (run) S 24309 24311 24253 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468025 8908800 243 1992294400 4194304 4922060 140736096162032 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24311/statm: 2175 243 204 178 0 68 0 [pid=24312] ppid=24311 vsize=40452 CPUtime=6.29 /proc/24312/stat : 24312 (PB-wave) R 24311 24311 24253 0 -1 4202496 966 0 0 0 629 0 0 0 25 0 1 0 11468026 41422848 896 1992294400 134512640 135071400 4288445840 18446744073709551615 134526314 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24312/statm: 10113 896 69 137 0 9974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49152 [startup+12.7016 s] /proc/loadavg: 0.15 0.03 0.01 2/108 24314 /proc/meminfo: memFree=1490008/2059040 swapFree=4192956/4192956 [pid=24311] ppid=24309 vsize=8700 CPUtime=0 /proc/24311/stat : 24311 (run) S 24309 24311 24253 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468025 8908800 243 1992294400 4194304 4922060 140736096162032 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24311/statm: 2175 243 204 178 0 68 0 [pid=24312] ppid=24311 vsize=40452 CPUtime=12.68 /proc/24312/stat : 24312 (PB-wave) R 24311 24311 24253 0 -1 4202496 966 0 0 0 1268 0 0 0 25 0 1 0 11468026 41422848 896 1992294400 134512640 135071400 4288445840 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24312/statm: 10113 896 69 137 0 9974 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 49152 [startup+25.5011 s] /proc/loadavg: 0.34 0.08 0.02 2/108 24314 /proc/meminfo: memFree=1490008/2059040 swapFree=4192956/4192956 [pid=24311] ppid=24309 vsize=8700 CPUtime=0 /proc/24311/stat : 24311 (run) S 24309 24311 24253 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468025 8908800 243 1992294400 4194304 4922060 140736096162032 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24311/statm: 2175 243 204 178 0 68 0 [pid=24312] ppid=24311 vsize=40452 CPUtime=25.48 /proc/24312/stat : 24312 (PB-wave) R 24311 24311 24253 0 -1 4202496 966 0 0 0 2548 0 0 0 25 0 1 0 11468026 41422848 896 1992294400 134512640 135071400 4288445840 18446744073709551615 134526083 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24312/statm: 10113 896 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1011 s] /proc/loadavg: 0.56 0.15 0.05 2/108 24315 /proc/meminfo: memFree=1490008/2059040 swapFree=4192956/4192956 [pid=24311] ppid=24309 vsize=8700 CPUtime=0 /proc/24311/stat : 24311 (run) S 24309 24311 24253 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468025 8908800 243 1992294400 4194304 4922060 140736096162032 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24311/statm: 2175 243 204 178 0 68 0 [pid=24312] ppid=24311 vsize=40452 CPUtime=51.07 /proc/24312/stat : 24312 (PB-wave) R 24311 24311 24253 0 -1 4202496 966 0 0 0 5107 0 0 0 25 0 1 0 11468026 41422848 896 1992294400 134512640 135071400 4288445840 18446744073709551615 134525621 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24312/statm: 10113 896 69 137 0 9974 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 49152 [startup+102.308 s] /proc/loadavg: 0.81 0.28 0.10 2/108 24317 /proc/meminfo: memFree=1489760/2059040 swapFree=4192956/4192956 [pid=24311] ppid=24309 vsize=8700 CPUtime=0 /proc/24311/stat : 24311 (run) S 24309 24311 24253 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468025 8908800 243 1992294400 4194304 4922060 140736096162032 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24311/statm: 2175 243 204 178 0 68 0 [pid=24312] ppid=24311 vsize=40452 CPUtime=102.26 /proc/24312/stat : 24312 (PB-wave) R 24311 24311 24253 0 -1 4202496 966 0 0 0 10226 0 0 0 25 0 1 0 11468026 41422848 896 1992294400 134512640 135071400 4288445840 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24312/statm: 10113 896 69 137 0 9974 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 49152 [startup+162.301 s] /proc/loadavg: 0.93 0.41 0.15 2/108 24318 /proc/meminfo: memFree=1489636/2059040 swapFree=4192956/4192956 [pid=24311] ppid=24309 vsize=8700 CPUtime=0 /proc/24311/stat : 24311 (run) S 24309 24311 24253 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468025 8908800 243 1992294400 4194304 4922060 140736096162032 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24311/statm: 2175 243 204 178 0 68 0 [pid=24312] ppid=24311 vsize=40452 CPUtime=162.24 /proc/24312/stat : 24312 (PB-wave) R 24311 24311 24253 0 -1 4202496 966 0 0 0 16224 0 0 0 25 0 1 0 11468026 41422848 896 1992294400 134512640 135071400 4288445840 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24312/statm: 10113 896 69 137 0 9974 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 49152 [startup+222.301 s] /proc/loadavg: 0.97 0.51 0.20 2/108 24319 /proc/meminfo: memFree=1489512/2059040 swapFree=4192956/4192956 [pid=24311] ppid=24309 vsize=8700 CPUtime=0 /proc/24311/stat : 24311 (run) S 24309 24311 24253 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468025 8908800 243 1992294400 4194304 4922060 140736096162032 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24311/statm: 2175 243 204 178 0 68 0 [pid=24312] ppid=24311 vsize=40452 CPUtime=222.22 /proc/24312/stat : 24312 (PB-wave) R 24311 24311 24253 0 -1 4202496 966 0 0 0 22222 0 0 0 25 0 1 0 11468026 41422848 896 1992294400 134512640 135071400 4288445840 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24312/statm: 10113 896 69 137 0 9974 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 49152 [startup+282.301 s] /proc/loadavg: 0.99 0.60 0.25 2/108 24321 /proc/meminfo: memFree=1489512/2059040 swapFree=4192956/4192956 [pid=24311] ppid=24309 vsize=8700 CPUtime=0 /proc/24311/stat : 24311 (run) S 24309 24311 24253 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468025 8908800 243 1992294400 4194304 4922060 140736096162032 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24311/statm: 2175 243 204 178 0 68 0 [pid=24312] ppid=24311 vsize=40452 CPUtime=282.21 /proc/24312/stat : 24312 (PB-wave) R 24311 24311 24253 0 -1 4202496 966 0 0 0 28221 0 0 0 25 0 1 0 11468026 41422848 896 1992294400 134512640 135071400 4288445840 18446744073709551615 134526611 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24312/statm: 10113 896 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: 0.99 0.67 0.29 2/108 24323 /proc/meminfo: memFree=1489388/2059040 swapFree=4192956/4192956 [pid=24311] ppid=24309 vsize=8700 CPUtime=0 /proc/24311/stat : 24311 (run) S 24309 24311 24253 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468025 8908800 243 1992294400 4194304 4922060 140736096162032 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24311/statm: 2175 243 204 178 0 68 0 [pid=24312] ppid=24311 vsize=40452 CPUtime=342.19 /proc/24312/stat : 24312 (PB-wave) R 24311 24311 24253 0 -1 4202496 966 0 0 0 34219 0 0 0 25 0 1 0 11468026 41422848 896 1992294400 134512640 135071400 4288445840 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24312/statm: 10113 896 69 137 0 9974 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 49152 [startup+402.301 s] /proc/loadavg: 0.99 0.73 0.33 2/108 24324 /proc/meminfo: memFree=1489388/2059040 swapFree=4192956/4192956 [pid=24311] ppid=24309 vsize=8700 CPUtime=0 /proc/24311/stat : 24311 (run) S 24309 24311 24253 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468025 8908800 243 1992294400 4194304 4922060 140736096162032 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24311/statm: 2175 243 204 178 0 68 0 [pid=24312] ppid=24311 vsize=40452 CPUtime=402.17 /proc/24312/stat : 24312 (PB-wave) R 24311 24311 24253 0 -1 4202496 966 0 0 0 40217 0 0 0 25 0 1 0 11468026 41422848 896 1992294400 134512640 135071400 4288445840 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24312/statm: 10113 896 69 137 0 9974 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 49152 [startup+462.301 s] ################ # More data... # ################ /proc/24311/statm: 2175 243 204 178 0 68 0 [pid=24312] ppid=24311 vsize=40452 CPUtime=1121.99 /proc/24312/stat : 24312 (PB-wave) R 24311 24311 24253 0 -1 4202496 966 0 0 0 112198 1 0 0 25 0 1 0 11468026 41422848 896 1992294400 134512640 135071400 4288445840 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24312/statm: 10113 896 69 137 0 9974 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.00 0.97 0.69 2/108 24348 /proc/meminfo: memFree=1488024/2059040 swapFree=4192956/4192956 [pid=24311] ppid=24309 vsize=8700 CPUtime=0 /proc/24311/stat : 24311 (run) S 24309 24311 24253 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468025 8908800 243 1992294400 4194304 4922060 140736096162032 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24311/statm: 2175 243 204 178 0 68 0 [pid=24312] ppid=24311 vsize=40452 CPUtime=1181.97 /proc/24312/stat : 24312 (PB-wave) R 24311 24311 24253 0 -1 4202496 966 0 0 0 118196 1 0 0 25 0 1 0 11468026 41422848 896 1992294400 134512640 135071400 4288445840 18446744073709551615 134537188 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24312/statm: 10113 896 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.00 0.97 0.71 2/108 24350 /proc/meminfo: memFree=1487776/2059040 swapFree=4192956/4192956 [pid=24311] ppid=24309 vsize=8700 CPUtime=0 /proc/24311/stat : 24311 (run) S 24309 24311 24253 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468025 8908800 243 1992294400 4194304 4922060 140736096162032 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24311/statm: 2175 243 204 178 0 68 0 [pid=24312] ppid=24311 vsize=40452 CPUtime=1241.96 /proc/24312/stat : 24312 (PB-wave) R 24311 24311 24253 0 -1 4202496 966 0 0 0 124195 1 0 0 25 0 1 0 11468026 41422848 896 1992294400 134512640 135071400 4288445840 18446744073709551615 134526821 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24312/statm: 10113 896 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.00 0.97 0.73 2/108 24352 /proc/meminfo: memFree=1487528/2059040 swapFree=4192956/4192956 [pid=24311] ppid=24309 vsize=8700 CPUtime=0 /proc/24311/stat : 24311 (run) S 24309 24311 24253 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468025 8908800 243 1992294400 4194304 4922060 140736096162032 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24311/statm: 2175 243 204 178 0 68 0 [pid=24312] ppid=24311 vsize=40452 CPUtime=1301.95 /proc/24312/stat : 24312 (PB-wave) R 24311 24311 24253 0 -1 4202496 966 0 0 0 130194 1 0 0 25 0 1 0 11468026 41422848 896 1992294400 134512640 135071400 4288445840 18446744073709551615 134526677 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24312/statm: 10113 896 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.00 0.97 0.74 2/108 24353 /proc/meminfo: memFree=1487528/2059040 swapFree=4192956/4192956 [pid=24311] ppid=24309 vsize=8700 CPUtime=0 /proc/24311/stat : 24311 (run) S 24309 24311 24253 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468025 8908800 243 1992294400 4194304 4922060 140736096162032 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24311/statm: 2175 243 204 178 0 68 0 [pid=24312] ppid=24311 vsize=40452 CPUtime=1361.92 /proc/24312/stat : 24312 (PB-wave) R 24311 24311 24253 0 -1 4202496 966 0 0 0 136191 1 0 0 25 0 1 0 11468026 41422848 896 1992294400 134512640 135071400 4288445840 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24312/statm: 10113 896 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.00 0.97 0.75 2/108 24354 /proc/meminfo: memFree=1487404/2059040 swapFree=4192956/4192956 [pid=24311] ppid=24309 vsize=8700 CPUtime=0 /proc/24311/stat : 24311 (run) S 24309 24311 24253 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468025 8908800 243 1992294400 4194304 4922060 140736096162032 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24311/statm: 2175 243 204 178 0 68 0 [pid=24312] ppid=24311 vsize=40452 CPUtime=1421.91 /proc/24312/stat : 24312 (PB-wave) R 24311 24311 24253 0 -1 4202496 966 0 0 0 142190 1 0 0 25 0 1 0 11468026 41422848 896 1992294400 134512640 135071400 4288445840 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24312/statm: 10113 896 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.00 0.97 0.76 2/108 24356 /proc/meminfo: memFree=1487404/2059040 swapFree=4192956/4192956 [pid=24311] ppid=24309 vsize=8700 CPUtime=0 /proc/24311/stat : 24311 (run) S 24309 24311 24253 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468025 8908800 243 1992294400 4194304 4922060 140736096162032 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24311/statm: 2175 243 204 178 0 68 0 [pid=24312] ppid=24311 vsize=40452 CPUtime=1481.89 /proc/24312/stat : 24312 (PB-wave) R 24311 24311 24253 0 -1 4202496 966 0 0 0 148188 1 0 0 25 0 1 0 11468026 41422848 896 1992294400 134512640 135071400 4288445840 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24312/statm: 10113 896 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.00 0.97 0.77 2/108 24358 /proc/meminfo: memFree=1487280/2059040 swapFree=4192956/4192956 [pid=24311] ppid=24309 vsize=8700 CPUtime=0 /proc/24311/stat : 24311 (run) S 24309 24311 24253 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468025 8908800 243 1992294400 4194304 4922060 140736096162032 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24311/statm: 2175 243 204 178 0 68 0 [pid=24312] ppid=24311 vsize=40452 CPUtime=1541.87 /proc/24312/stat : 24312 (PB-wave) R 24311 24311 24253 0 -1 4202496 966 0 0 0 154186 1 0 0 25 0 1 0 11468026 41422848 896 1992294400 134512640 135071400 4288445840 18446744073709551615 134526314 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24312/statm: 10113 896 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.00 0.97 0.79 2/108 24359 /proc/meminfo: memFree=1487032/2059040 swapFree=4192956/4192956 [pid=24311] ppid=24309 vsize=8700 CPUtime=0 /proc/24311/stat : 24311 (run) S 24309 24311 24253 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468025 8908800 243 1992294400 4194304 4922060 140736096162032 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24311/statm: 2175 243 204 178 0 68 0 [pid=24312] ppid=24311 vsize=40452 CPUtime=1601.86 /proc/24312/stat : 24312 (PB-wave) R 24311 24311 24253 0 -1 4202496 966 0 0 0 160185 1 0 0 25 0 1 0 11468026 41422848 896 1992294400 134512640 135071400 4288445840 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24312/statm: 10113 896 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.00 0.97 0.80 2/108 24361 /proc/meminfo: memFree=1486908/2059040 swapFree=4192956/4192956 [pid=24311] ppid=24309 vsize=8700 CPUtime=0 /proc/24311/stat : 24311 (run) S 24309 24311 24253 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468025 8908800 243 1992294400 4194304 4922060 140736096162032 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24311/statm: 2175 243 204 178 0 68 0 [pid=24312] ppid=24311 vsize=40452 CPUtime=1661.84 /proc/24312/stat : 24312 (PB-wave) R 24311 24311 24253 0 -1 4202496 966 0 0 0 166183 1 0 0 25 0 1 0 11468026 41422848 896 1992294400 134512640 135071400 4288445840 18446744073709551615 134526349 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24312/statm: 10113 896 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.00 0.97 0.81 2/108 24362 /proc/meminfo: memFree=1486908/2059040 swapFree=4192956/4192956 [pid=24311] ppid=24309 vsize=8700 CPUtime=0 /proc/24311/stat : 24311 (run) S 24309 24311 24253 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468025 8908800 243 1992294400 4194304 4922060 140736096162032 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24311/statm: 2175 243 204 178 0 68 0 [pid=24312] ppid=24311 vsize=40452 CPUtime=1721.83 /proc/24312/stat : 24312 (PB-wave) R 24311 24311 24253 0 -1 4202496 966 0 0 0 172182 1 0 0 25 0 1 0 11468026 41422848 896 1992294400 134512640 135071400 4288445840 18446744073709551615 134526500 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24312/statm: 10113 896 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.00 0.97 0.82 2/108 24364 /proc/meminfo: memFree=1486660/2059040 swapFree=4192956/4192956 [pid=24311] ppid=24309 vsize=8700 CPUtime=0 /proc/24311/stat : 24311 (run) S 24309 24311 24253 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468025 8908800 243 1992294400 4194304 4922060 140736096162032 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24311/statm: 2175 243 204 178 0 68 0 [pid=24312] ppid=24311 vsize=40452 CPUtime=1781.81 /proc/24312/stat : 24312 (PB-wave) R 24311 24311 24253 0 -1 4202496 966 0 0 0 178180 1 0 0 25 0 1 0 11468026 41422848 896 1992294400 134512640 135071400 4288445840 18446744073709551615 134525834 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24312/statm: 10113 896 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 0.97 0.82 2/108 24364 /proc/meminfo: memFree=1486660/2059040 swapFree=4192956/4192956 [pid=24311] ppid=24309 vsize=8700 CPUtime=0 /proc/24311/stat : 24311 (run) S 24309 24311 24253 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468025 8908800 243 1992294400 4194304 4922060 140736096162032 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24311/statm: 2175 243 204 178 0 68 0 [pid=24312] ppid=24311 vsize=40452 CPUtime=1800.01 /proc/24312/stat : 24312 (PB-wave) R 24311 24311 24253 0 -1 4202496 966 0 0 0 180000 1 0 0 25 0 1 0 11468026 41422848 896 1992294400 134512640 135071400 4288445840 18446744073709551615 134519921 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24312/statm: 10113 896 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) Sleeping 2 secondsSolver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 0.97 0.82 2/108 24364 /proc/meminfo: memFree=1486660/2059040 swapFree=4192956/4192956 [pid=24311] ppid=24309 vsize=8700 CPUtime=0 /proc/24311/stat : 24311 (run) S 24309 24311 24253 0 -1 4202496 358 0 0 0 0 0 0 0 19 0 1 0 11468025 8908800 243 1992294400 4194304 4922060 140736096162032 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24311/statm: 2175 243 204 178 0 68 0 [pid=24312] ppid=24311 vsize=40452 CPUtime=1800.01 /proc/24312/stat : 24312 (PB-wave) R 24311 24311 24253 0 -1 4202496 966 0 0 0 180000 1 0 0 25 0 1 0 11468026 41422848 896 1992294400 134512640 135071400 4288445840 18446744073709551615 134519921 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24312/statm: 10113 896 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 49152 Child status: 143 Real time (s): 1800.51 CPU time (s): 1800.02 CPU user time (s): 1800.01 CPU system time (s): 0.015997 CPU usage (%): 99.9729 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.01 system time used= 0.015997 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1336 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 7250 runsolver used 3.38549 second user time and 8.17176 second system time The end
Begin job on node001 at 2010-07-06 18:09:02 IDJOB=2684538 IDBENCH=72884 IDSOLVER=1171 FILE ID=node001/2684538-1278432542 PBS_JOBID= 11233469 Free space on /tmp= 62472 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j30/normalized-j3046_4-unsat.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2684538-1278432542/watcher-2684538-1278432542 -o /tmp/evaluation-result-2684538-1278432542/solver-2684538-1278432542 -C 1800 -W 2000 -M 1800 run HOME/instance-2684538-1278432542.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 194fc06f7c21580ad88e7dc6177066b4 RANDOM SEED=414750923 node001.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.215 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.215 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1494636 kB Buffers: 107492 kB Cached: 323844 kB SwapCached: 0 kB Active: 166944 kB Inactive: 324484 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1494636 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 1392 kB Writeback: 0 kB AnonPages: 60084 kB Mapped: 14420 kB Slab: 51128 kB PageTables: 4160 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181348 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= 62472 MiB End job on node001 at 2010-07-06 18:39:03