Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.04 | 1800.62 |
Name | /DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3029_6-sat.opb |
MD5SUM | 39b121eedec0f13027beba32f35754bd |
Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.280957 |
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 | 5766 |
Total number of constraints | 18893 |
Number of constraints which are clauses | 18525 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 368 |
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 | 17 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 197 |
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.05 c PB-wave - v2 0.00/0.05 c command line = ./PB-wave 0.00/0.05 c seed = 66767415 0.00/0.05 c cutoff = 1000000 0.00/0.05 c tries = 1000000 0.00/0.05 c heuristic = c best, noise 50 / 100 0.00/0.05 #var 5766 #con 18893 0.00/0.05 mode is SAT 0.00/0.05 c tail starts after flip = 17298 0.00/0.05 c numatom = 5766, numclause = 18893, numliterals = 50588 0.00/0.05 c wff read in 0.00/0.05 c 0.00/0.05 c lowest final avg noise noise total avg mean mean 0.00/0.05 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.05 c this this this this this this success success until std 0.00/0.05 c try try try try try try rate tries assign dev 0.00/0.05 c 1.19/1.26 c 177 249 269.34 31.69 8.50 1000000 0 2.38/2.46 c 158 232 266.41 30.71 8.68 1000000 0 3.58/3.66 c 173 272 268.81 31.26 8.60 1000000 0 4.78/4.87 c 146 274 270.64 34.09 7.94 1000000 0 5.98/6.07 c 163 245 266.27 31.67 8.41 1000000 0 7.18/7.28 c 162 270 266.15 33.31 7.99 1000000 0 8.38/8.48 c 155 266 270.76 33.80 8.01 1000000 0 9.58/9.68 c 156 251 265.60 33.35 7.96 1000000 0 10.78/10.88 c 167 258 265.25 30.23 8.78 1000000 0 11.99/12.08 c 149 244 268.16 32.92 8.15 1000000 0 13.19/13.29 c 142 289 267.50 30.03 8.91 1000000 0 14.48/14.50 c 161 313 268.33 31.66 8.48 1000000 0 15.68/15.70 c 161 221 264.59 32.18 8.22 1000000 0 16.88/16.91 c 153 256 266.83 32.27 8.27 1000000 0 18.08/18.12 c 153 323 266.11 34.25 7.77 1000000 0 19.28/19.32 c 155 223 263.80 31.96 8.26 1000000 0 20.48/20.52 c 158 288 265.50 32.03 8.29 1000000 0 21.68/21.72 c 140 311 266.71 31.77 8.39 1000000 0 22.88/22.93 c 164 252 270.02 33.20 8.13 1000000 0 24.08/24.13 c 167 288 267.81 30.83 8.69 1000000 0 25.28/25.34 c 169 266 272.39 33.03 8.25 1000000 0 26.48/26.55 c 170 283 268.34 32.46 8.27 1000000 0 27.67/27.75 c 159 277 267.17 30.16 8.86 1000000 0 28.87/28.95 c 163 239 269.24 32.33 8.33 1000000 0 30.07/30.16 c 158 243 270.68 33.16 8.16 1000000 0 31.27/31.36 c 158 278 268.84 32.08 8.38 1000000 0 32.47/32.56 c 150 317 267.80 33.21 8.06 1000000 0 33.67/33.77 c 156 319 266.78 32.57 8.19 1000000 0 34.87/34.97 c 161 321 266.85 32.66 8.17 1000000 0 36.07/36.18 c 166 197 268.54 32.49 8.26 1000000 0 37.28/37.38 c 166 298 269.04 30.28 8.88 1000000 0 38.48/38.59 c 166 256 268.38 32.64 8.22 1000000 0 39.67/39.79 c 152 262 266.17 33.91 7.85 1000000 0 40.87/40.99 c 170 275 269.67 32.91 8.19 1000000 0 42.07/42.20 c 156 251 269.28 34.22 7.87 1000000 0 43.37/43.40 c 167 227 266.41 31.98 8.33 1000000 0 44.57/44.60 c 165 213 267.04 33.13 8.06 1000000 0 45.77/45.81 c 160 283 266.13 30.89 8.62 1000000 0 46.97/47.02 c 158 252 263.88 30.63 8.61 1000000 0 48.17/48.22 c 170 281 268.87 31.96 8.41 1000000 0 49.37/49.42 c 154 265 270.68 31.39 8.62 1000000 0 50.57/50.62 c 159 308 269.02 33.42 8.05 1000000 0 51.77/51.83 c 161 266 269.05 33.57 8.01 1000000 0 52.97/53.04 c 178 216 265.77 30.36 8.75 1000000 0 54.16/54.24 c 156 238 270.22 32.18 8.40 1000000 0 55.37/55.44 c 162 299 272.72 32.83 8.31 1000000 0 56.57/56.64 c 160 262 271.27 32.41 8.37 1000000 0 57.77/57.85 c 154 328 267.18 32.44 8.24 1000000 0 58.97/59.05 c 156 321 266.58 34.79 7.66 1000000 0 60.17/60.26 c 169 351 270.72 34.90 7.76 1000000 0 61.37/61.46 c 164 253 265.16 31.72 8.36 1000000 0 62.58/62.67 c 159 315 269.67 31.70 8.51 1000000 0 63.78/63.87 c 167 288 267.10 31.84 8.39 1000000 0 64.97/65.07 c 168 265 264.42 31.24 8.46 1000000 0 66.17/66.28 c 153 246 270.48 33.46 8.08 1000000 0 67.37/67.48 c 159 216 269.68 32.23 8.37 1000000 0 68.57/68.69 c 171 261 268.14 31.78 8.44 1000000 0 69.77/69.89 c 170 276 266.00 32.52 8.18 1000000 0 71.07/71.10 c 159 267 270.32 32.93 8.21 1000000 0 72.27/72.31 c 164 238 269.88 31.29 8.63 1000000 0 73.47/73.51 c 126 255 267.73 31.78 8.43 1000000 0 74.67/74.72 c 150 255 267.52 32.52 8.23 1000000 0 75.88/75.92 c 157 258 266.26 33.61 7.92 1000000 0 77.07/77.12 c 173 253 266.63 31.81 8.38 1000000 0 78.27/78.33 c 164 247 266.40 32.20 8.27 1000000 0 79.47/79.54 c 165 278 266.13 31.18 8.54 1000000 0 80.67/80.74 c 161 269 266.50 31.42 8.48 1000000 0 81.87/81.94 c 148 270 268.32 34.74 7.72 1000000 0 83.07/83.15 c 162 274 267.96 30.70 8.73 1000000 0 84.27/84.35 c 158 267 266.74 34.66 7.70 1000000 0 85.47/85.56 c 159 219 264.90 31.24 8.48 1000000 0 86.66/86.76 c 149 286 269.04 31.52 8.53 1000000 0 87.87/87.96 c 153 214 266.23 33.34 7.98 1000000 0 89.07/89.17 c 166 356 271.78 32.09 8.47 1000000 0 90.26/90.37 c 164 249 263.82 30.09 8.77 1000000 0 91.46/91.58 c 169 262 268.33 31.66 8.47 1000000 0 92.66/92.78 c 165 292 265.84 30.81 8.63 1000000 0 93.86/93.99 c 153 281 265.90 30.94 8.59 1000000 0 95.06/95.19 c 163 212 269.18 34.23 7.86 1000000 0 96.36/96.40 c 165 260 266.71 32.34 8.25 1000000 0 97.56/97.60 c 154 266 268.88 34.63 7.76 1000000 0 98.76/98.80 c 164 253 269.48 30.09 8.95 1000000 0 99.97/100.00 c 145 277 269.53 32.59 8.27 1000000 0 101.17/101.21 c 150 239 264.79 31.02 8.54 1000000 0 102.36/102.41 c 161 241 264.48 33.52 7.89 1000000 0 103.56/103.62 c 158 284 263.90 31.22 8.45 1000000 0 104.76/104.83 c 169 309 267.70 31.13 8.60 1000000 0 105.96/106.03 c 165 255 264.25 30.19 8.75 1000000 0 107.16/107.24 c 152 283 268.95 33.41 8.05 1000000 0 108.36/108.44 c 168 243 264.46 31.72 8.34 1000000 0 109.56/109.64 c 161 266 265.20 33.63 7.89 1000000 0 110.76/110.85 c 152 260 267.56 29.97 8.93 1000000 0 111.96/112.05 c 153 304 265.81 31.79 8.36 1000000 0 113.16/113.25 c 145 247 268.06 33.77 7.94 1000000 0 114.36/114.46 c 160 331 268.11 32.72 8.19 1000000 0 115.55/115.67 c 156 286 270.23 32.18 8.40 1000000 0 116.75/116.87 c 154 211 269.15 33.09 8.13 1000000 0 117.95/118.08 c 167 211 262.87 30.25 8.69 1000000 0 119.15/119.28 c 164 227 269.76 32.16 8.39 1000000 0 120.35/120.48 c 169 315 266.44 33.29 8.00 1000000 0 121.55/121.68 c 132 287 266.98 31.64 8.44 1000000 0 122.75/122.89 c 166 284 270.30 31.75 8.51 1000000 0 123.95/124.09 c 154 211 269.39 34.00 7.92 1000000 0 125.15/125.29 c 155 288 268.27 31.87 8.42 1000000 0 126.36/126.50 c 162 292 264.93 31.33 8.46 1000000 0 127.65/127.71 c 166 248 270.08 32.53 8.30 1000000 0 128.85/128.91 c 167 277 266.10 31.54 8.44 1000000 0 130.05/130.11 c 150 189 265.66 31.75 8.37 1000000 0 131.25/131.32 c 168 277 266.93 31.31 8.52 1000000 0 132.45/132.52 c 156 270 264.59 32.82 8.06 1000000 0 133.65/133.72 c 164 239 269.35 32.72 8.23 1000000 0 134.85/134.93 c 167 266 266.57 31.41 8.49 1000000 0 136.05/136.13 c 164 276 267.02 31.99 8.35 1000000 0 137.25/137.34 c 145 288 266.44 33.81 7.88 1000000 0 138.46/138.54 c 156 358 268.46 33.36 8.05 1000000 0 139.65/139.74 c 159 248 264.96 30.01 8.83 1000000 0 140.85/140.95 c 159 344 268.01 33.74 7.94 1000000 0 142.05/142.15 c 160 254 271.98 33.70 8.07 1000000 0 143.25/143.36 c 151 247 267.58 33.00 8.11 1000000 0 144.45/144.57 c 159 193 268.02 32.32 8.29 1000000 0 145.64/145.77 c 152 254 267.73 32.27 8.30 1000000 0 146.84/146.97 c 161 284 268.33 33.41 8.03 1000000 0 148.04/148.17 c 160 258 266.40 31.90 8.35 1000000 0 149.24/149.38 c 167 310 268.02 32.11 8.35 1000000 0 150.44/150.58 c 166 258 267.48 31.41 8.52 1000000 0 151.65/151.79 c 175 294 269.12 30.98 8.69 1000000 0 152.85/153.00 c 163 276 269.72 33.05 8.16 1000000 0 154.14/154.20 c 146 228 267.22 35.43 7.54 1000000 0 155.34/155.41 c 165 319 265.87 30.71 8.66 1000000 0 156.54/156.61 c 155 247 268.82 34.38 7.82 1000000 0 157.74/157.81 c 162 225 267.24 31.06 8.60 1000000 0 158.94/159.02 c 158 283 269.11 32.77 8.21 1000000 0 160.14/160.22 c 162 242 269.60 30.71 8.78 1000000 0 161.34/161.43 c 162 356 263.96 32.93 8.02 1000000 0 162.54/162.63 c 171 212 266.93 32.49 8.22 1000000 0 163.75/163.83 c 151 268 265.10 32.87 8.07 1000000 0 164.95/165.04 c 162 283 267.96 29.53 9.07 1000000 0 166.14/166.24 c 167 240 263.50 29.49 8.93 1000000 0 167.34/167.44 c 159 309 267.54 33.09 8.09 1000000 0 168.54/168.65 c 167 238 271.57 32.03 8.48 1000000 0 169.74/169.86 c 147 290 268.56 32.39 8.29 1000000 0 170.94/171.06 c 170 336 271.89 33.68 8.07 1000000 0 172.14/172.27 c 145 286 271.17 33.80 8.02 1000000 0 173.34/173.47 c 166 285 268.11 33.76 7.94 1000000 0 174.54/174.67 c 163 252 268.51 32.56 8.25 1000000 0 175.74/175.87 c 153 298 266.80 31.41 8.49 1000000 0 176.94/177.08 c 157 259 269.56 33.11 8.14 1000000 0 178.14/178.28 c 154 263 265.24 35.34 7.51 1000000 0 179.34/179.49 c 151 243 268.20 33.55 7.99 1000000 0 180.54/180.69 c 172 290 269.38 31.49 8.55 1000000 0 181.83/181.90 c 165 246 268.02 35.46 7.56 1000000 0 183.03/183.10 c 160 217 266.21 31.25 8.52 1000000 0 184.23/184.31 c 160 286 266.32 33.91 7.85 1000000 0 185.43/185.51 c 147 296 267.00 32.94 8.11 1000000 0 186.63/186.72 c 165 260 268.21 34.15 7.85 1000000 0 187.83/187.92 c 158 266 264.01 29.84 8.85 1000000 0 189.04/189.12 c 160 259 268.94 30.67 8.77 1000000 0 190.24/190.33 c 153 270 268.74 33.16 8.10 1000000 0 191.43/191.53 c 165 261 266.77 35.99 7.41 1000000 0 192.63/192.73 c 155 264 267.08 31.89 8.38 1000000 0 193.83/193.94 c 167 231 266.58 31.98 8.34 1000000 0 195.03/195.14 c 168 208 268.69 32.21 8.34 1000000 0 196.23/196.35 c 171 308 266.11 31.53 8.44 1000000 0 197.43/197.55 c 168 316 270.84 32.98 8.21 1000000 0 198.63/198.76 c 158 242 268.12 34.41 7.79 1000000 0 199.83/199.97 c 163 296 268.36 32.51 8.26 1000000 0 201.03/201.17 c 164 260 263.69 31.18 8.46 1000000 0 202.23/202.37 c 159 253 265.29 31.04 8.55 1000000 0 203.43/203.57 c 160 297 266.54 30.29 8.80 1000000 0 204.62/204.78 c 158 217 268.33 32.70 8.21 1000000 0 205.82/205.98 c 163 272 266.04 31.79 8.37 1000000 0 207.02/207.19 c 150 284 266.53 32.27 8.26 1000000 0 208.22/208.40 c 168 226 265.55 31.94 8.32 1000000 0 209.52/209.60 c 158 235 264.47 32.13 8.23 1000000 0 210.72/210.80 c 165 258 270.80 33.29 8.13 1000000 0 211.92/212.01 c 147 269 267.84 32.10 8.34 1000000 0 213.12/213.22 c 151 262 269.47 29.65 9.09 1000000 0 214.33/214.42 c 166 290 268.06 30.79 8.71 1000000 0 215.53/215.62 c 161 305 267.73 34.17 7.83 1000000 0 216.72/216.83 c 160 268 269.93 33.65 8.02 1000000 0 217.92/218.03 c 161 231 268.47 31.20 8.61 1000000 0 219.12/219.23 c 173 338 268.13 31.42 8.53 1000000 0 220.32/220.44 c 166 313 268.25 32.87 8.16 1000000 0 221.52/221.65 c 164 245 266.14 30.54 8.71 1000000 0 222.72/222.86 c 156 271 264.62 32.59 8.12 1000000 0 223.92/224.06 c 168 329 268.49 33.57 8.00 1000000 0 225.12/225.26 c 167 273 267.03 30.24 8.83 1000000 0 226.31/226.46 c 165 231 266.56 30.88 8.63 1000000 0 227.52/227.67 c 160 208 265.45 32.70 8.12 1000000 0 228.72/228.87 c 155 182 265.79 31.49 8.44 1000000 0 229.91/230.08 c 169 212 267.95 33.39 8.03 1000000 0 231.11/231.29 c 157 255 269.31 34.44 7.82 1000000 0 232.31/232.49 c 164 247 268.56 33.20 8.09 1000000 0 233.51/233.69 c 167 312 265.09 32.62 8.13 1000000 0 234.81/234.90 c 173 304 267.51 31.90 8.38 1000000 0 236.01/236.10 c 161 277 268.23 30.97 8.66 1000000 0 237.21/237.31 c 162 312 263.55 33.23 7.93 1000000 0 238.41/238.51 c 158 299 267.26 32.35 8.26 1000000 0 239.62/239.72 c 167 244 266.71 31.83 8.38 1000000 0 240.82/240.92 c 157 206 269.77 31.84 8.47 1000000 0 242.01/242.13 c 164 314 268.33 32.11 8.36 1000000 0 243.21/243.33 c 156 285 268.85 32.27 8.33 1000000 0 244.41/244.54 c 167 237 267.84 32.04 8.36 1000000 0 245.61/245.74 c 155 311 269.40 33.20 8.11 1000000 0 246.81/246.94 c 167 265 266.40 31.26 8.52 1000000 0 248.01/248.15 c 147 243 265.62 34.31 7.74 1000000 0 249.21/249.35 c 155 325 269.42 32.57 8.27 1000000 0 250.41/250.56 c 165 258 268.71 30.25 8.88 1000000 0 251.61/251.76 c 172 278 266.43 32.21 8.27 1000000 0 252.81/252.96 c 161 228 272.78 32.06 8.51 1000000 0 254.01/254.17 c 154 272 266.52 32.88 8.11 1000000 0 255.21/255.37 c 164 261 270.28 31.56 8.56 1000000 0 256.41/256.57 c 172 249 264.20 31.29 8.44 1000000 0 257.60/257.78 c 170 273 274.27 30.94 8.87 1000000 0 258.80/258.98 c 151 268 262.39 31.79 8.25 1000000 0 260.00/260.19 c 166 256 270.15 32.90 8.21 1000000 0 261.20/261.39 c 163 299 267.60 31.52 8.49 1000000 0 262.50/262.60 c 167 261 267.32 33.27 8.03 1000000 0 263.70/263.80 c 160 236 271.22 31.86 8.51 1000000 0 264.91/265.01 c 170 295 265.55 31.88 8.33 1000000 0 266.11/266.21 c 143 281 269.52 34.04 7.92 1000000 0 267.30/267.41 c 161 275 268.01 30.73 8.72 1000000 0 268.50/268.62 c 165 226 269.92 32.49 8.31 1000000 0 269.70/269.81 c 170 316 266.80 30.64 8.71 1000000 0 270.90/271.02 c 156 249 267.15 31.75 8.41 1000000 0 272.10/272.22 c 170 279 267.07 33.19 8.05 1000000 0 273.30/273.43 c 177 312 266.23 30.99 8.59 1000000 0 274.50/274.63 c 158 267 268.42 32.96 8.14 1000000 0 275.70/275.83 c 164 254 270.90 33.36 8.12 1000000 0 276.90/277.03 c 150 285 265.69 33.52 7.93 1000000 0 278.10/278.24 c 160 267 268.07 32.15 8.34 1000000 0 279.30/279.45 c 161 270 272.57 34.24 7.96 1000000 0 280.50/280.65 c 167 252 268.65 32.88 8.17 1000000 0 281.70/281.85 c 150 279 264.92 32.77 8.08 1000000 0 282.90/283.06 c 170 298 270.08 31.98 8.45 1000000 0 284.10/284.26 c 155 278 268.45 32.06 8.37 1000000 0 285.29/285.47 c 158 249 270.27 33.72 8.02 1000000 0 286.49/286.67 c 162 273 271.51 33.65 8.07 1000000 0 287.69/287.87 c 160 254 268.06 32.94 8.14 1000000 0 288.89/289.08 c 167 248 267.03 33.08 8.07 1000000 0 290.09/290.28 c 163 222 267.11 31.91 8.37 1000000 0 291.30/291.49 c 179 228 269.58 32.42 8.32 1000000 0 292.50/292.69 c 170 202 270.19 30.39 8.89 1000000 0 293.79/293.90 c 153 278 269.21 34.27 7.85 1000000 0 294.99/295.10 c 154 269 263.77 31.65 8.33 1000000 0 296.19/296.30 c 160 372 268.92 31.35 8.58 1000000 0 297.39/297.50 c 156 291 267.34 32.35 8.26 1000000 0 298.59/298.71 c 168 251 267.23 32.27 8.28 1000000 0 299.79/299.91 c 157 352 266.43 31.99 8.33 1000000 0 300.99/301.12 c 163 311 265.30 32.00 8.29 1000000 0 302.19/302.32 c 156 266 271.27 32.62 8.32 1000000 0 303.39/303.53 c 170 286 266.36 31.57 8.44 1000000 0 304.60/304.74 c 157 302 273.52 31.67 8.64 1000000 0 305.79/305.94 c 172 245 269.04 30.76 8.75 1000000 0 306.99/307.15 c 175 273 272.57 32.87 8.29 1000000 0 308.19/308.35 c 174 319 267.01 31.81 8.39 1000000 0 309.39/309.55 c 167 290 267.10 32.12 8.32 1000000 0 310.59/310.75 c 164 284 271.02 33.33 8.13 1000000 0 311.79/311.97 c 164 267 266.57 31.96 8.34 1000000 0 312.99/313.17 c 159 282 271.79 35.41 7.68 1000000 0 314.19/314.37 c 160 340 265.97 33.83 7.86 1000000 0 315.39/315.58 c 159 254 265.14 32.07 8.27 1000000 0 316.59/316.79 c 161 273 267.83 33.80 7.92 1000000 0 317.79/317.99 c 160 264 271.04 31.58 8.58 1000000 0 318.98/319.19 c 165 331 262.70 31.94 8.22 1000000 0 320.28/320.40 c 151 260 266.16 31.83 8.36 1000000 0 321.48/321.60 c 162 244 270.58 34.36 7.87 1000000 0 322.68/322.81 c 164 248 269.48 35.03 7.69 1000000 0 323.88/324.01 c 168 228 269.76 31.96 8.44 1000000 0 325.08/325.22 c 161 214 269.86 32.41 8.33 1000000 0 326.28/326.42 c 141 263 265.95 30.54 8.71 1000000 0 327.48/327.62 c 150 242 269.17 31.32 8.59 1000000 0 328.69/328.83 c 161 303 273.49 34.69 7.88 1000000 0 329.89/330.04 c 157 276 266.25 32.49 8.20 1000000 0 331.08/331.24 c 164 251 268.76 32.37 8.30 1000000 0 332.28/332.45 c 159 267 272.03 31.46 8.65 1000000 0 333.48/333.65 c 160 254 265.52 31.89 8.33 1000000 0 334.68/334.85 c 166 248 268.89 31.30 8.59 1000000 0 335.88/336.06 c 165 262 266.99 32.15 8.30 1000000 0 337.08/337.27 c 168 296 271.93 34.26 7.94 1000000 0 338.29/338.47 c 151 321 264.40 31.29 8.45 1000000 0 339.49/339.68 c 170 221 270.75 32.06 8.45 1000000 0 340.69/340.88 c 158 311 265.96 32.04 8.30 1000000 0 341.89/342.09 c 163 254 267.41 30.54 8.76 1000000 0 343.09/343.29 c 155 249 269.88 32.72 8.25 1000000 0 344.28/344.50 c 153 293 266.74 35.10 7.60 1000000 0 345.58/345.70 c 171 289 267.56 31.96 8.37 1000000 0 346.78/346.91 c 159 275 270.49 30.19 8.96 1000000 0 347.98/348.11 c 152 242 266.53 30.59 8.71 1000000 0 349.18/349.32 c 167 252 266.28 32.40 8.22 1000000 0 350.38/350.52 c 162 239 270.53 34.02 7.95 1000000 0 351.58/351.72 c 156 226 268.06 34.61 7.75 1000000 0 352.78/352.93 c 160 289 268.23 32.11 8.35 1000000 0 353.99/354.13 c 162 249 265.55 31.45 8.44 1000000 0 355.19/355.33 c 161 238 268.47 32.70 8.21 1000000 0 356.38/356.54 c 165 243 267.42 34.80 7.68 1000000 0 357.58/357.74 c 172 346 272.09 31.05 8.76 1000000 0 358.78/358.94 c 155 287 267.68 35.76 7.49 1000000 0 359.98/360.14 c 162 277 266.57 32.74 8.14 1000000 0 361.18/361.34 c 154 243 268.19 30.93 8.67 1000000 0 362.38/362.55 c 174 242 265.43 30.98 8.57 1000000 0 363.58/363.75 c 158 276 262.77 30.98 8.48 1000000 0 364.78/364.96 c 162 284 268.01 32.67 8.20 1000000 0 365.98/366.17 c 156 312 266.41 32.56 8.18 1000000 0 367.18/367.38 c 160 334 267.11 33.25 8.03 1000000 0 368.38/368.58 c 168 220 271.32 32.20 8.43 1000000 0 369.57/369.78 c 162 279 266.01 32.01 8.31 1000000 0 370.77/370.99 c 158 273 265.51 31.03 8.56 1000000 0 371.97/372.19 c 165 210 266.32 31.37 8.49 1000000 0 373.27/373.40 c 158 258 270.06 34.20 7.90 1000000 0 374.47/374.60 c 160 282 270.46 34.30 7.88 1000000 0 375.67/375.81 c 158 244 267.02 32.59 8.19 1000000 0 376.87/377.02 c 168 305 268.97 30.80 8.73 1000000 0 378.07/378.22 c 168 248 269.39 30.71 8.77 1000000 0 379.28/379.42 c 158 273 267.68 33.06 8.10 1000000 0 380.48/380.63 c 154 279 266.63 31.53 8.46 1000000 0 381.67/381.83 c 157 234 267.69 35.99 7.44 1000000 0 382.87/383.04 c 164 284 267.06 31.91 8.37 1000000 0 384.07/384.24 c 160 276 269.73 34.67 7.78 1000000 0 385.27/385.45 c 168 266 269.56 30.88 8.73 1000000 0 386.47/386.66 c 160 242 269.14 31.38 8.58 1000000 0 387.67/387.86 c 167 259 270.63 32.75 8.26 1000000 0 388.87/389.07 c 163 246 267.49 31.04 8.62 1000000 0 390.07/390.27 c 159 271 264.27 32.24 8.20 1000000 0 391.27/391.47 c 161 313 268.79 33.04 8.14 1000000 0 392.47/392.68 c 157 299 267.90 32.60 8.22 1000000 0 393.68/393.89 c 175 284 266.54 31.78 8.39 1000000 0 394.87/395.09 c 162 306 267.02 30.90 8.64 1000000 0 396.07/396.30 c 153 263 264.10 33.11 7.98 1000000 0 397.36/397.50 c 168 254 265.23 31.65 8.38 1000000 0 398.56/398.70 c 161 307 268.44 31.70 8.47 1000000 0 399.76/399.92 c 160 279 267.60 32.63 8.20 1000000 0 400.96/401.12 c 148 350 266.06 32.05 8.30 1000000 0 402.16/402.33 c 166 249 267.15 33.35 8.01 1000000 0 403.36/403.53 c 166 255 267.81 31.47 8.51 1000000 0 404.57/404.74 c 168 247 268.06 32.17 8.33 1000000 0 405.77/405.94 c 158 238 264.27 32.74 8.07 1000000 0 406.96/407.15 c 155 307 265.87 30.01 8.86 1000000 0 408.16/408.35 c 160 256 267.25 32.38 8.25 1000000 0 409.36/409.56 c 150 243 269.36 31.82 8.46 1000000 0 410.56/410.76 c 161 265 270.61 35.33 7.66 1000000 0 411.76/411.96 c 157 225 267.10 32.16 8.30 1000000 0 412.96/413.17 c 162 245 267.30 30.27 8.83 1000000 0 414.16/414.38 c 165 255 266.52 31.85 8.37 1000000 0 415.36/415.58 c 152 276 265.08 32.07 8.26 1000000 0 416.56/416.79 c 162 254 272.08 33.12 8.22 1000000 0 417.76/417.99 c 140 305 268.18 35.01 7.66 1000000 0 419.06/419.20 c 153 257 267.78 32.10 8.34 1000000 0 420.26/420.40 c 168 328 269.31 33.65 8.00 1000000 0 421.46/421.61 c 168 266 267.13 33.27 8.03 1000000 0 422.65/422.82 c 170 256 268.81 32.91 8.17 1000000 0 423.85/424.02 c 163 244 271.03 32.77 8.27 1000000 0 425.05/425.22 c 168 264 269.73 33.35 8.09 1000000 0 426.25/426.43 c 155 257 267.16 32.77 8.15 1000000 0 427.45/427.63 c 166 337 269.10 32.69 8.23 1000000 0 428.65/428.83 c 156 228 268.48 32.55 8.25 1000000 0 429.86/430.03 c 164 231 265.50 30.63 8.67 1000000 0 431.06/431.24 c 160 302 266.43 30.41 8.76 1000000 0 432.25/432.44 c 161 202 269.13 35.40 7.60 1000000 0 433.45/433.65 c 153 263 268.84 31.71 8.48 1000000 0 434.65/434.85 c 138 231 265.04 33.00 8.03 1000000 0 435.85/436.05 c 155 305 269.51 32.38 8.32 1000000 0 437.05/437.26 c 167 247 267.24 32.23 8.29 1000000 0 438.25/438.46 c 136 243 266.96 31.30 8.53 1000000 0 439.45/439.67 c 159 314 269.72 32.23 8.37 1000000 0 440.65/440.87 c 160 263 269.64 32.51 8.29 1000000 0 441.85/442.07 c 161 213 266.25 31.35 8.49 1000000 0 443.05/443.28 c 164 282 268.87 31.95 8.41 1000000 0 444.25/444.48 c 154 239 267.51 31.47 8.50 1000000 0 445.45/445.69 c 164 274 268.95 34.42 7.81 1000000 0 446.65/446.89 c 166 266 269.29 32.67 8.24 1000000 0 447.84/448.09 c 162 283 267.76 31.25 8.57 1000000 0 449.14/449.30 c 156 300 267.48 30.08 8.89 1000000 0 450.34/450.51 c 170 290 264.02 33.29 7.93 1000000 0 451.54/451.70 c 155 290 268.18 31.19 8.60 1000000 0 452.74/452.91 c 161 190 268.71 31.21 8.61 1000000 0 453.94/454.11 c 165 274 268.68 33.10 8.12 1000000 0 455.15/455.32 c 160 239 270.09 33.75 8.00 1000000 0 456.35/456.52 c 150 287 269.26 32.53 8.28 1000000 0 457.54/457.72 c 162 257 267.41 29.60 9.03 1000000 0 458.74/458.92 c 159 258 264.73 32.26 8.21 1000000 0 459.94/460.12 c 155 265 267.93 34.63 7.74 1000000 0 461.14/461.32 c 162 339 265.57 31.43 8.45 1000000 0 462.34/462.52 c 153 267 264.11 30.55 8.65 1000000 0 463.54/463.72 c 174 290 271.42 32.07 8.46 1000000 0 464.75/464.93 c 156 221 266.32 30.76 8.66 1000000 0 465.95/466.13 c 153 255 268.99 34.70 7.75 1000000 0 467.15/467.33 c 149 246 267.08 32.78 8.15 1000000 0 468.35/468.54 c 150 239 267.10 33.80 7.90 1000000 0 469.55/469.75 c 158 307 269.15 32.11 8.38 1000000 0 470.75/470.95 c 164 253 267.62 32.13 8.33 1000000 0 471.95/472.16 c 174 274 268.54 32.43 8.28 1000000 0 473.14/473.37 c 161 272 268.15 32.99 8.13 1000000 0 474.34/474.57 c 163 318 267.95 33.08 8.10 1000000 0 475.54/475.77 c 163 246 271.43 32.22 8.42 1000000 0 476.74/476.98 c 166 302 267.03 32.11 8.32 1000000 0 477.94/478.18 c 161 291 269.82 31.69 8.51 1000000 0 479.14/479.39 c 159 286 267.41 32.42 8.25 1000000 0 480.34/480.59 c 162 324 268.67 33.85 7.94 1000000 0 481.55/481.79 c 171 199 268.11 34.25 7.83 1000000 0 482.84/483.00 c 166 288 271.13 31.02 8.74 1000000 0 484.04/484.20 c 159 239 270.53 33.01 8.19 1000000 0 485.24/485.41 c 158 316 267.53 33.13 8.07 1000000 0 486.44/486.62 c 153 307 271.25 32.36 8.38 1000000 0 487.64/487.82 c 160 290 265.97 31.82 8.36 1000000 0 488.84/489.02 c 145 283 264.09 30.79 8.58 1000000 0 490.04/490.23 c 168 257 267.11 33.19 8.05 1000000 0 491.24/491.44 c 155 237 266.60 30.47 8.75 1000000 0 492.44/492.64 c 172 223 267.43 32.08 8.34 1000000 0 493.64/493.85 c 156 268 267.74 32.06 8.35 1000000 0 494.84/495.05 c 153 268 268.65 32.07 8.38 1000000 0 496.04/496.25 c 148 302 266.45 32.52 8.19 1000000 0 497.24/497.46 c 167 250 266.23 30.36 8.77 1000000 0 498.43/498.66 c 155 268 267.36 33.23 8.05 1000000 0 499.63/499.86 c 153 319 265.46 32.11 8.27 1000000 0 500.83/501.07 c 151 278 267.74 32.13 8.33 1000000 0 502.03/502.27 c 168 268 264.70 33.19 7.98 1000000 0 503.23/503.48 c 166 337 266.42 30.85 8.64 1000000 0 504.43/504.68 c 162 274 265.23 33.60 7.89 1000000 0 505.63/505.89 c 170 243 266.03 32.47 8.19 1000000 0 506.84/507.09 c 169 242 265.70 29.38 9.04 1000000 0 508.04/508.29 c 144 269 264.67 30.57 8.66 1000000 0 509.33/509.50 c 165 250 265.74 32.32 8.22 1000000 0 510.53/510.71 c 167 288 264.91 31.16 8.50 1000000 0 511.73/511.91 c 159 273 265.41 33.37 7.95 1000000 0 512.93/513.11 c 168 324 265.67 30.84 8.61 1000000 0 514.13/514.32 c 169 287 267.86 32.85 8.15 1000000 0 515.33/515.52 c 160 228 269.52 33.98 7.93 1000000 0 516.53/516.72 c 157 277 264.86 32.49 8.15 1000000 0 517.73/517.92 c 141 260 266.45 31.70 8.41 1000000 0 518.94/519.13 c 157 299 270.25 34.09 7.93 1000000 0 520.14/520.33 c 157 356 269.97 32.95 8.19 1000000 0 521.33/521.53 c 163 247 268.09 32.14 8.34 1000000 0 522.53/522.73 c 158 250 268.67 33.64 7.99 1000000 0 523.73/523.94 c 163 275 267.02 30.55 8.74 1000000 0 524.93/525.14 c 169 259 268.84 30.93 8.69 1000000 0 526.13/526.34 c 157 235 265.82 32.39 8.21 1000000 0 527.32/527.55 c 159 236 267.43 32.74 8.17 1000000 0 528.52/528.75 c 164 305 267.24 33.61 7.95 1000000 0 529.72/529.96 c 170 268 266.65 31.08 8.58 1000000 0 530.93/531.16 c 180 282 276.61 34.75 7.96 1000000 0 532.13/532.36 c 161 373 265.07 32.34 8.20 1000000 0 533.33/533.57 c 168 288 272.91 33.36 8.18 1000000 0 534.52/534.77 c 161 257 268.67 33.08 8.12 1000000 0 535.72/535.97 c 170 248 268.41 32.06 8.37 1000000 0 536.92/537.18 c 157 255 268.47 35.25 7.62 1000000 0 538.12/538.38 c 161 252 269.38 33.12 8.13 1000000 0 539.32/539.58 c 155 218 265.45 34.40 7.72 1000000 0 540.52/540.78 c 158 243 265.72 32.54 8.17 1000000 0 541.72/541.99 c 170 280 271.29 33.10 8.20 1000000 0 543.01/543.20 c 164 257 267.52 31.23 8.57 1000000 0 544.11/544.40 c 161 255 268.33 30.94 8.67 1000000 0 545.42/545.61 c 154 275 271.03 30.94 8.76 1000000 0 546.61/546.82 c 163 263 270.92 32.12 8.43 1000000 0 547.81/548.03 c 153 294 265.56 32.04 8.29 1000000 0 549.01/549.23 c 155 276 267.51 32.58 8.21 1000000 0 550.21/550.44 c 163 216 266.11 32.40 8.21 1000000 0 551.41/551.64 c 164 262 271.77 31.91 8.52 1000000 0 552.61/552.85 c 157 282 264.81 32.44 8.16 1000000 0 553.81/554.05 c 155 246 265.61 32.58 8.15 1000000 0 555.01/555.25 c 159 255 265.50 32.78 8.10 1000000 0 556.21/556.45 c 180 250 270.55 32.29 8.38 1000000 0 557.42/557.66 c 162 228 265.33 30.80 8.61 1000000 0 558.61/558.86 c 156 292 264.34 32.43 8.15 1000000 0 559.81/560.07 c 160 233 266.98 31.04 8.60 1000000 0 561.01/561.27 c 150 227 270.04 33.13 8.15 1000000 0 562.21/562.47 c 163 261 266.56 29.71 8.97 1000000 0 563.41/563.68 c 172 276 271.04 32.36 8.38 1000000 0 564.61/564.88 c 163 350 266.81 30.66 8.70 1000000 0 565.81/566.09 c 164 299 268.16 31.77 8.44 1000000 0 567.00/567.29 c 174 340 268.12 29.73 9.02 1000000 0 568.20/568.49 c 146 265 268.84 33.11 8.12 1000000 0 569.40/569.70 c 158 259 265.74 31.44 8.45 1000000 0 570.61/570.90 c 172 264 269.57 31.79 8.48 1000000 0 571.90/572.10 c 166 257 271.25 31.95 8.49 1000000 0 573.10/573.31 c 162 277 270.50 32.88 8.23 1000000 0 574.30/574.51 c 166 265 265.84 30.64 8.68 1000000 0 575.50/575.71 c 171 339 268.39 32.94 8.15 1000000 0 576.70/576.92 c 154 292 268.13 31.34 8.55 1000000 0 577.90/578.13 c 176 254 271.27 32.67 8.30 1000000 0 579.10/579.33 c 155 301 266.43 32.65 8.16 1000000 0 580.30/580.54 c 152 230 269.56 32.61 8.27 1000000 0 581.50/581.74 c 149 297 265.76 30.66 8.67 1000000 0 582.70/582.95 c 168 234 269.03 31.85 8.45 1000000 0 583.90/584.16 c 155 270 271.33 34.97 7.76 1000000 0 585.09/585.36 c 163 290 269.83 32.28 8.36 1000000 0 586.29/586.57 c 161 308 267.23 31.01 8.62 1000000 0 587.49/587.77 c 173 240 265.74 31.17 8.53 1000000 0 588.69/588.98 c 161 312 268.95 32.57 8.26 1000000 0 589.89/590.18 c 158 269 266.63 30.88 8.64 1000000 0 591.09/591.39 c 141 270 267.57 32.38 8.26 1000000 0 592.29/592.59 c 148 238 269.62 32.72 8.24 1000000 0 593.49/593.79 c 163 293 265.43 31.05 8.55 1000000 0 594.69/595.00 c 154 223 270.19 32.06 8.43 1000000 0 596.00/596.21 c 171 255 268.99 30.28 8.88 1000000 0 597.19/597.41 c 161 244 270.16 32.45 8.33 1000000 0 598.39/598.62 c 169 319 265.31 30.99 8.56 1000000 0 599.59/599.82 c 162 218 268.09 35.28 7.60 1000000 0 600.79/601.03 c 160 234 269.68 32.92 8.19 1000000 0 601.99/602.23 c 162 249 266.47 32.91 8.10 1000000 0 603.19/603.44 c 172 277 268.27 31.45 8.53 1000000 0 604.39/604.64 c 153 273 269.89 32.38 8.34 1000000 0 605.59/605.85 c 165 286 267.60 32.25 8.30 1000000 0 606.79/607.05 c 159 366 268.80 32.45 8.28 1000000 0 608.00/608.26 c 162 263 264.02 31.01 8.52 1000000 0 609.20/609.46 c 167 287 265.73 32.22 8.25 1000000 0 610.39/610.67 c 169 254 268.97 32.40 8.30 1000000 0 611.59/611.87 c 167 321 267.19 33.01 8.09 1000000 0 612.79/613.07 c 162 291 270.34 33.65 8.03 1000000 0 613.99/614.27 c 159 283 269.21 33.13 8.13 1000000 0 615.19/615.48 c 149 260 270.74 33.11 8.18 1000000 0 616.40/616.68 c 151 284 268.62 33.45 8.03 1000000 0 617.60/617.89 c 137 295 268.94 30.88 8.71 1000000 0 618.89/619.10 c 133 312 270.82 32.98 8.21 1000000 0 619.99/620.30 c 174 252 270.30 32.15 8.41 1000000 0 621.30/621.51 c 164 238 271.72 33.76 8.05 1000000 0 622.49/622.71 c 145 219 263.37 31.81 8.28 1000000 0 623.69/623.92 c 169 262 271.31 32.29 8.40 1000000 0 624.89/625.13 c 147 280 269.29 36.52 7.37 1000000 0 626.09/626.33 c 159 262 266.22 31.91 8.34 1000000 0 627.29/627.54 c 147 244 265.13 32.35 8.19 1000000 0 628.49/628.74 c 157 267 264.52 31.62 8.37 1000000 0 629.69/629.94 c 163 223 266.56 31.49 8.46 1000000 0 630.89/631.15 c 168 220 267.78 30.97 8.65 1000000 0 632.09/632.35 c 160 306 268.80 32.55 8.26 1000000 0 633.29/633.55 c 146 219 270.18 31.90 8.47 1000000 0 634.49/634.75 c 171 200 264.69 31.19 8.49 1000000 0 635.69/635.95 c 141 291 268.20 31.62 8.48 1000000 0 636.89/637.16 c 171 253 269.62 31.75 8.49 1000000 0 638.09/638.36 c 151 250 267.79 32.42 8.26 1000000 0 639.28/639.57 c 167 277 269.37 31.74 8.49 1000000 0 640.48/640.77 c 156 255 266.24 31.03 8.58 1000000 0 641.68/641.98 c 170 215 269.69 33.70 8.00 1000000 0 642.89/643.18 c 155 260 265.41 32.11 8.27 1000000 0 644.08/644.38 c 169 286 270.20 30.01 9.00 1000000 0 645.28/645.59 c 163 220 264.76 30.27 8.75 1000000 0 646.49/646.79 c 160 260 264.15 32.99 8.01 1000000 0 647.69/648.00 c 146 266 267.55 33.00 8.11 1000000 0 648.98/649.20 c 163 236 269.67 34.22 7.88 1000000 0 650.18/650.40 c 169 236 272.11 33.53 8.11 1000000 0 651.38/651.61 c 154 270 268.12 32.13 8.35 1000000 0 652.58/652.81 c 160 253 266.15 32.53 8.18 1000000 0 653.78/654.02 c 158 196 267.45 31.25 8.56 1000000 0 654.98/655.22 c 151 252 266.76 31.42 8.49 1000000 0 656.18/656.42 c 162 233 265.68 33.03 8.04 1000000 0 657.38/657.63 c 166 253 273.97 35.02 7.82 1000000 0 658.59/658.83 c 166 257 272.50 32.38 8.42 1000000 0 659.79/660.04 c 157 256 266.17 31.45 8.46 1000000 0 660.98/661.24 c 167 243 267.24 31.93 8.37 1000000 0 662.18/662.45 c 159 276 268.16 33.15 8.09 1000000 0 663.38/663.65 c 153 286 266.55 34.31 7.77 1000000 0 664.58/664.85 c 169 309 268.70 32.11 8.37 1000000 0 665.78/666.06 c 156 282 264.26 32.32 8.18 1000000 0 666.98/667.26 c 160 303 268.69 30.68 8.76 1000000 0 668.18/668.46 c 171 236 267.45 31.35 8.53 1000000 0 669.37/669.67 c 146 316 268.18 34.37 7.80 1000000 0 670.57/670.87 c 161 252 272.49 33.14 8.22 1000000 0 671.78/672.08 c 150 275 267.14 32.24 8.29 1000000 0 672.98/673.28 c 167 226 265.11 31.29 8.47 1000000 0 674.17/674.48 c 158 257 273.15 32.70 8.35 1000000 0 675.37/675.68 c 148 266 268.08 32.76 8.18 1000000 0 676.57/676.88 c 148 223 266.21 32.71 8.14 1000000 0 677.77/678.09 c 163 257 270.19 34.02 7.94 1000000 0 678.97/679.29 c 148 295 266.93 32.14 8.31 1000000 0 680.27/680.50 c 160 230 266.58 32.83 8.12 1000000 0 681.47/681.71 c 167 256 271.08 33.32 8.14 1000000 0 682.67/682.91 c 157 272 267.02 31.44 8.49 1000000 0 683.88/684.11 c 167 218 268.96 31.56 8.52 1000000 0 685.07/685.32 c 169 294 267.45 29.71 9.00 1000000 0 686.27/686.52 c 161 313 270.18 32.44 8.33 1000000 0 687.47/687.72 c 164 255 269.28 33.11 8.13 1000000 0 688.67/688.92 c 163 232 264.56 31.87 8.30 1000000 0 689.87/690.13 c 169 258 265.42 32.47 8.17 1000000 0 691.06/691.33 c 170 249 266.96 31.48 8.48 1000000 0 692.26/692.53 c 153 290 269.84 34.04 7.93 1000000 0 693.46/693.74 c 159 257 262.99 31.82 8.26 1000000 0 694.66/694.94 c 154 266 265.40 33.36 7.95 1000000 0 695.86/696.14 c 154 266 265.13 32.67 8.11 1000000 0 697.07/697.34 c 146 283 267.45 31.90 8.39 1000000 0 698.27/698.55 c 174 376 271.17 30.09 9.01 1000000 0 699.46/699.75 c 163 254 269.23 32.63 8.25 1000000 0 700.66/700.96 c 152 279 266.62 32.09 8.31 1000000 0 701.86/702.17 c 174 244 272.51 32.66 8.34 1000000 0 703.06/703.37 c 148 326 264.49 32.14 8.23 1000000 0 704.26/704.58 c 168 224 270.75 30.59 8.85 1000000 0 705.46/705.78 c 155 276 263.91 32.55 8.11 1000000 0 706.66/706.99 c 164 233 270.75 32.84 8.24 1000000 0 707.86/708.19 c 154 225 264.94 30.68 8.63 1000000 0 709.06/709.40 c 171 251 265.73 30.72 8.65 1000000 0 710.26/710.60 c 160 348 266.42 32.17 8.28 1000000 0 711.56/711.80 c 160 305 265.90 31.38 8.47 1000000 0 712.75/713.01 c 176 271 270.87 31.13 8.70 1000000 0 713.95/714.21 c 171 286 271.04 32.33 8.38 1000000 0 715.15/715.42 c 159 260 266.57 32.76 8.14 1000000 0 716.35/716.62 c 159 286 267.05 33.19 8.05 1000000 0 717.55/717.83 c 166 305 268.14 33.13 8.09 1000000 0 718.75/719.03 c 163 236 268.07 32.11 8.35 1000000 0 719.95/720.24 c 156 219 269.12 31.96 8.42 1000000 0 721.15/721.44 c 168 317 268.92 34.33 7.83 1000000 0 722.36/722.65 c 160 336 269.31 32.53 8.28 1000000 0 723.56/723.85 c 152 286 265.91 32.34 8.22 1000000 0 724.75/725.05 c 157 248 268.22 33.27 8.06 1000000 0 725.95/726.26 c 156 293 269.78 33.32 8.10 1000000 0 727.15/727.47 c 165 298 268.60 35.06 7.66 1000000 0 728.35/728.67 c 158 192 267.73 32.63 8.20 1000000 0 729.55/729.88 c 173 282 271.88 33.49 8.12 1000000 0 730.75/731.08 c 162 279 269.97 31.61 8.54 1000000 0 731.95/732.28 c 168 264 270.31 31.04 8.71 1000000 0 733.15/733.48 c 161 233 266.84 33.04 8.08 1000000 0 734.35/734.69 c 127 266 267.57 32.38 8.26 1000000 0 735.56/735.89 c 157 262 268.06 32.66 8.21 1000000 0 736.76/737.10 c 164 222 269.99 31.95 8.45 1000000 0 738.05/738.30 c 148 325 268.02 31.33 8.55 1000000 0 739.25/739.50 c 156 305 267.31 34.23 7.81 1000000 0 740.45/740.71 c 149 301 269.53 34.28 7.86 1000000 0 741.64/741.92 c 163 246 267.40 31.60 8.46 1000000 0 742.84/743.12 c 165 239 267.82 32.80 8.17 1000000 0 744.04/744.33 c 160 267 268.77 34.35 7.83 1000000 0 745.24/745.53 c 153 303 265.32 32.85 8.08 1000000 0 746.44/746.74 c 155 235 269.53 31.75 8.49 1000000 0 747.65/747.94 c 161 226 268.12 33.44 8.02 1000000 0 748.85/749.14 c 157 275 268.01 31.93 8.39 1000000 0 750.04/750.35 c 165 237 266.21 32.16 8.28 1000000 0 751.24/751.55 c 151 317 271.38 32.75 8.29 1000000 0 752.44/752.76 c 152 282 271.32 34.35 7.90 1000000 0 753.64/753.96 c 162 334 268.97 35.75 7.52 1000000 0 754.84/755.17 c 174 244 269.74 32.62 8.27 1000000 0 756.04/756.37 c 173 277 266.63 30.38 8.78 1000000 0 757.24/757.58 c 144 271 266.17 33.13 8.03 1000000 0 758.44/758.78 c 157 290 267.17 31.31 8.53 1000000 0 759.64/759.99 c 163 256 265.34 30.82 8.61 1000000 0 760.85/761.20 c 160 202 270.70 33.73 8.02 1000000 0 762.14/762.40 c 172 286 267.35 31.82 8.40 1000000 0 763.34/763.61 c 161 311 266.86 32.20 8.29 1000000 0 764.54/764.82 c 154 299 267.92 33.30 8.05 1000000 0 765.74/766.02 c 156 254 265.97 31.96 8.32 1000000 0 766.94/767.22 c 165 225 266.96 33.03 8.08 1000000 0 768.14/768.42 c 155 295 269.06 32.94 8.17 1000000 0 769.34/769.62 c 161 232 273.32 34.42 7.94 1000000 0 770.54/770.83 c 160 254 269.35 32.99 8.17 1000000 0 771.73/772.03 c 143 237 266.80 32.10 8.31 1000000 0 772.94/773.24 c 156 226 270.05 32.15 8.40 1000000 0 774.14/774.44 c 150 296 267.18 32.71 8.17 1000000 0 775.33/775.64 c 162 280 268.13 33.31 8.05 1000000 0 776.53/776.85 c 149 285 264.08 31.72 8.32 1000000 0 777.73/778.05 c 152 282 269.16 33.44 8.05 1000000 0 778.93/779.25 c 165 271 262.55 31.01 8.47 1000000 0 780.13/780.45 c 167 283 266.81 32.25 8.27 1000000 0 781.33/781.66 c 173 238 270.62 31.39 8.62 1000000 0 782.53/782.86 c 166 286 269.94 31.30 8.62 1000000 0 783.73/784.07 c 155 280 262.50 31.72 8.27 1000000 0 784.93/785.27 c 160 256 266.98 33.57 7.95 1000000 0 786.14/786.47 c 155 310 266.00 31.36 8.48 1000000 0 787.34/787.67 c 166 286 271.53 31.24 8.69 1000000 0 788.53/788.88 c 162 303 269.17 30.77 8.75 1000000 0 789.73/790.08 c 152 279 266.02 33.97 7.83 1000000 0 790.93/791.28 c 153 266 272.60 32.75 8.32 1000000 0 792.13/792.48 c 162 318 269.12 32.82 8.20 1000000 0 793.33/793.69 c 161 211 266.00 31.50 8.44 1000000 0 794.53/794.89 c 155 266 266.74 31.71 8.41 1000000 0 795.73/796.09 c 156 247 268.81 33.14 8.11 1000000 0 796.93/797.30 c 162 237 263.92 32.24 8.19 1000000 0 798.23/798.50 c 159 246 264.35 31.36 8.43 1000000 0 799.43/799.71 c 140 323 269.23 33.96 7.93 1000000 0 800.63/800.91 c 165 294 267.86 34.12 7.85 1000000 0 801.83/802.11 c 156 232 269.53 32.90 8.19 1000000 0 803.02/803.32 c 158 393 268.41 33.18 8.09 1000000 0 804.22/804.52 c 156 314 269.11 33.69 7.99 1000000 0 805.43/805.73 c 156 246 266.92 31.73 8.41 1000000 0 806.62/806.92 c 157 236 269.60 33.22 8.11 1000000 0 807.82/808.13 c 163 286 268.14 32.92 8.14 1000000 0 809.02/809.33 c 163 283 270.36 33.29 8.12 1000000 0 810.22/810.53 c 164 253 267.39 30.85 8.67 1000000 0 811.43/811.74 c 170 219 265.64 32.05 8.29 1000000 0 812.63/812.94 c 153 269 268.12 32.19 8.33 1000000 0 813.82/814.14 c 162 274 271.04 33.94 7.99 1000000 0 815.02/815.35 c 166 357 270.66 32.58 8.31 1000000 0 816.22/816.55 c 157 295 266.64 33.22 8.03 1000000 0 817.42/817.75 c 161 247 266.03 32.75 8.12 1000000 0 818.62/818.96 c 163 230 269.60 32.64 8.26 1000000 0 819.82/820.16 c 161 263 270.28 32.64 8.28 1000000 0 821.02/821.36 c 162 277 267.38 30.29 8.83 1000000 0 822.22/822.57 c 155 275 268.55 31.61 8.49 1000000 0 823.42/823.77 c 154 246 269.57 33.20 8.12 1000000 0 824.62/824.98 c 166 279 266.14 32.73 8.13 1000000 0 825.82/826.18 c 167 278 269.25 31.59 8.52 1000000 0 827.02/827.38 c 165 240 270.89 35.15 7.71 1000000 0 828.22/828.58 c 146 264 267.16 33.49 7.98 1000000 0 829.41/829.79 c 161 239 270.52 33.17 8.16 1000000 0 830.62/830.99 c 166 285 272.14 34.29 7.94 1000000 0 831.91/832.20 c 162 250 264.47 30.38 8.71 1000000 0 833.11/833.40 c 161 329 269.57 31.44 8.57 1000000 0 834.31/834.60 c 162 302 270.61 31.63 8.55 1000000 0 835.51/835.81 c 154 244 269.17 31.58 8.52 1000000 0 836.72/837.01 c 157 322 267.87 33.20 8.07 1000000 0 837.92/838.21 c 159 298 269.07 32.09 8.38 1000000 0 839.11/839.42 c 173 268 265.67 32.29 8.23 1000000 0 840.31/840.62 c 170 277 268.61 33.85 7.94 1000000 0 841.51/841.82 c 153 241 267.52 33.18 8.06 1000000 0 842.71/843.03 c 162 266 263.89 30.82 8.56 1000000 0 843.91/844.23 c 153 240 269.34 32.61 8.26 1000000 0 845.11/845.44 c 161 288 265.36 32.85 8.08 1000000 0 846.31/846.64 c 161 228 269.46 32.94 8.18 1000000 0 847.51/847.84 c 162 253 267.93 29.40 9.11 1000000 0 848.71/849.04 c 156 230 265.84 31.22 8.51 1000000 0 849.91/850.25 c 162 294 266.92 31.99 8.34 1000000 0 851.12/851.46 c 161 264 264.87 32.09 8.25 1000000 0 852.31/852.66 c 172 256 269.89 31.90 8.46 1000000 0 853.51/853.86 c 154 319 267.05 32.32 8.26 1000000 0 854.71/855.07 c 149 328 270.43 34.66 7.80 1000000 0 855.91/856.27 c 147 239 264.30 32.06 8.24 1000000 0 857.11/857.47 c 165 251 269.66 31.01 8.70 1000000 0 858.31/858.68 c 173 344 268.47 31.37 8.56 1000000 0 859.51/859.88 c 168 315 270.23 29.34 9.21 1000000 0 860.70/861.09 c 165 238 270.68 32.84 8.24 1000000 0 861.90/862.29 c 155 292 265.74 31.88 8.34 1000000 0 863.12/863.50 c 156 248 270.31 33.06 8.18 1000000 0 864.32/864.70 c 143 244 266.99 33.40 7.99 1000000 0 865.51/865.90 c 158 256 265.74 33.26 7.99 1000000 0 866.81/867.10 c 166 281 268.94 33.60 8.00 1000000 0 868.01/868.30 c 171 265 267.51 32.10 8.33 1000000 0 869.21/869.50 c 161 250 268.00 32.13 8.34 1000000 0 870.41/870.71 c 159 291 268.29 32.66 8.21 1000000 0 871.61/871.92 c 145 290 265.19 30.42 8.72 1000000 0 872.81/873.12 c 156 234 269.03 31.87 8.44 1000000 0 874.01/874.32 c 166 258 266.28 30.74 8.66 1000000 0 875.21/875.53 c 161 253 266.86 30.43 8.77 1000000 0 876.41/876.73 c 172 230 265.15 31.58 8.40 1000000 0 877.61/877.93 c 163 239 270.30 31.93 8.46 1000000 0 878.81/879.13 c 159 281 263.46 31.63 8.33 1000000 0 880.01/880.34 c 166 244 268.46 31.38 8.55 1000000 0 881.21/881.55 c 164 263 267.19 33.73 7.92 1000000 0 882.41/882.75 c 164 255 266.76 31.45 8.48 1000000 0 883.60/883.95 c 164 262 266.37 31.64 8.42 1000000 0 884.80/885.16 c 139 225 269.64 34.38 7.84 1000000 0 886.00/886.36 c 167 251 264.34 31.69 8.34 1000000 0 887.20/887.57 c 163 280 273.59 32.58 8.40 1000000 0 888.41/888.77 c 160 280 272.77 33.40 8.17 1000000 0 889.61/889.97 c 164 247 267.83 30.94 8.66 1000000 0 890.80/891.18 c 156 250 263.39 30.28 8.70 1000000 0 892.00/892.39 c 170 310 272.41 33.56 8.12 1000000 0 893.20/893.59 c 164 264 268.37 32.73 8.20 1000000 0 894.50/894.80 c 172 237 269.53 31.84 8.47 1000000 0 895.70/896.00 c 173 258 268.99 31.49 8.54 1000000 0 896.90/897.20 c 170 215 268.06 32.40 8.27 1000000 0 898.10/898.41 c 169 246 266.61 30.43 8.76 1000000 0 899.30/899.62 c 163 274 271.51 32.16 8.44 1000000 0 900.51/900.82 c 157 277 270.31 30.55 8.85 1000000 0 901.70/902.03 c 162 269 268.31 31.37 8.55 1000000 0 902.90/903.23 c 157 311 268.06 30.87 8.68 1000000 0 904.10/904.44 c 150 307 267.58 32.99 8.11 1000000 0 905.30/905.64 c 161 312 267.85 32.00 8.37 1000000 0 906.50/906.85 c 143 246 264.41 31.11 8.50 1000000 0 907.70/908.05 c 137 299 266.52 33.17 8.03 1000000 0 908.89/909.25 c 154 312 267.47 31.72 8.43 1000000 0 910.09/910.46 c 170 331 269.93 31.98 8.44 1000000 0 911.29/911.66 c 153 289 269.46 33.55 8.03 1000000 0 912.49/912.86 c 164 307 263.45 31.16 8.45 1000000 0 913.70/914.07 c 159 272 271.04 32.35 8.38 1000000 0 914.90/915.28 c 155 262 270.66 32.02 8.45 1000000 0 916.09/916.48 c 166 285 268.32 30.23 8.88 1000000 0 917.29/917.68 c 155 205 263.55 30.89 8.53 1000000 0 918.49/918.88 c 165 251 266.59 32.65 8.17 1000000 0 919.69/920.09 c 155 300 262.93 31.73 8.29 1000000 0 920.89/921.29 c 162 285 265.15 29.77 8.91 1000000 0 922.09/922.49 c 163 217 268.15 35.48 7.56 1000000 0 923.39/923.70 c 151 293 269.66 33.03 8.16 1000000 0 924.59/924.90 c 150 236 270.44 35.14 7.70 1000000 0 925.69/926.10 c 158 280 267.61 32.62 8.20 1000000 0 926.99/927.31 c 155 248 268.45 32.36 8.30 1000000 0 928.18/928.51 c 164 286 267.72 31.18 8.59 1000000 0 929.38/929.71 c 176 255 268.49 30.12 8.91 1000000 0 930.58/930.91 c 160 250 266.72 31.97 8.34 1000000 0 931.78/932.12 c 167 260 270.41 32.17 8.41 1000000 0 932.99/933.32 c 146 311 267.60 32.58 8.21 1000000 0 934.18/934.52 c 149 214 269.82 34.37 7.85 1000000 0 935.38/935.73 c 161 249 269.75 29.69 9.09 1000000 0 936.58/936.93 c 172 287 270.78 33.07 8.19 1000000 0 937.78/938.14 c 167 255 272.65 32.37 8.42 1000000 0 938.99/939.34 c 160 224 268.35 34.00 7.89 1000000 0 940.19/940.54 c 155 238 268.56 33.67 7.98 1000000 0 941.38/941.75 c 169 211 271.86 31.27 8.69 1000000 0 942.58/942.96 c 173 245 264.62 31.35 8.44 1000000 0 943.78/944.16 c 153 217 264.82 32.02 8.27 1000000 0 944.98/945.37 c 158 247 269.19 32.10 8.39 1000000 0 946.18/946.57 c 172 294 269.74 33.19 8.13 1000000 0 947.38/947.78 c 163 268 269.53 32.25 8.36 1000000 0 948.58/948.98 c 156 237 267.02 33.32 8.01 1000000 0 949.78/950.18 c 167 292 269.49 32.44 8.31 1000000 0 950.98/951.39 c 168 278 267.90 32.36 8.28 1000000 0 952.19/952.59 c 153 336 269.59 31.43 8.58 1000000 0 953.39/953.79 c 169 261 269.18 32.92 8.18 1000000 0 954.58/955.00 c 160 269 272.86 30.22 9.03 1000000 0 955.88/956.20 c 160 261 270.51 35.08 7.71 1000000 0 957.08/957.40 c 151 214 267.94 32.78 8.17 1000000 0 958.28/958.61 c 154 262 269.75 35.86 7.52 1000000 0 959.48/959.81 c 166 245 266.43 31.46 8.47 1000000 0 960.67/961.02 c 157 315 268.31 31.77 8.45 1000000 0 961.87/962.23 c 159 277 266.45 30.21 8.82 1000000 0 963.07/963.43 c 157 269 270.17 31.91 8.47 1000000 0 964.28/964.64 c 158 285 265.60 32.03 8.29 1000000 0 965.48/965.84 c 166 239 270.24 29.98 9.01 1000000 0 966.68/967.05 c 150 269 264.17 33.25 7.94 1000000 0 967.87/968.25 c 172 255 264.39 31.76 8.32 1000000 0 969.07/969.46 c 173 262 268.83 31.23 8.61 1000000 0 970.27/970.66 c 168 270 271.67 33.26 8.17 1000000 0 971.47/971.86 c 156 286 267.66 32.42 8.26 1000000 0 972.67/973.06 c 161 229 269.13 30.28 8.89 1000000 0 973.87/974.27 c 164 293 266.21 33.09 8.04 1000000 0 975.07/975.47 c 153 235 269.41 32.99 8.17 1000000 0 976.27/976.68 c 146 273 266.98 35.60 7.50 1000000 0 977.48/977.88 c 152 244 267.49 31.53 8.48 1000000 0 978.68/979.09 c 163 333 265.51 31.34 8.47 1000000 0 979.87/980.29 c 166 277 267.55 30.85 8.67 1000000 0 981.17/981.50 c 169 257 266.82 31.02 8.60 1000000 0 982.37/982.71 c 142 236 269.63 32.99 8.17 1000000 0 983.56/983.91 c 165 209 266.69 32.46 8.21 1000000 0 984.77/985.11 c 157 255 267.76 33.74 7.94 1000000 0 985.96/986.32 c 162 273 266.96 32.70 8.16 1000000 0 987.16/987.52 c 165 303 268.70 31.73 8.47 1000000 0 988.36/988.72 c 161 239 271.94 33.60 8.09 1000000 0 989.57/989.93 c 162 230 265.65 32.81 8.10 1000000 0 990.77/991.13 c 163 249 268.80 29.70 9.05 1000000 0 991.96/992.33 c 155 282 266.13 32.57 8.17 1000000 0 993.16/993.53 c 165 300 268.70 31.67 8.48 1000000 0 994.36/994.74 c 169 280 269.08 36.02 7.47 1000000 0 995.56/995.94 c 167 259 269.80 33.19 8.13 1000000 0 996.76/997.15 c 148 257 265.25 32.33 8.20 1000000 0 997.96/998.35 c 173 286 268.09 32.66 8.21 1000000 0 999.16/999.56 c 168 233 268.55 32.73 8.21 1000000 0 1000.36/1000.75 c 169 240 269.97 33.58 8.04 1000000 0 1001.56/1001.96 c 159 241 273.03 32.06 8.52 1000000 0 1002.77/1003.16 c 173 251 267.42 31.92 8.38 1000000 0 1003.97/1004.37 c 145 258 268.66 33.15 8.10 1000000 0 1005.17/1005.57 c 155 282 269.39 32.41 8.31 1000000 0 1006.37/1006.78 c 157 227 269.80 32.79 8.23 1000000 0 1007.57/1007.99 c 159 269 271.12 35.59 7.62 1000000 0 1008.77/1009.19 c 167 229 266.74 32.02 8.33 1000000 0 1009.97/1010.40 c 162 249 265.18 31.59 8.39 1000000 0 1011.26/1011.60 c 162 254 268.58 32.20 8.34 1000000 0 1012.46/1012.80 c 148 261 265.82 34.75 7.65 1000000 0 1013.66/1014.01 c 167 283 268.25 32.67 8.21 1000000 0 1014.87/1015.21 c 133 257 266.21 31.05 8.57 1000000 0 1016.07/1016.42 c 163 258 265.81 32.26 8.24 1000000 0 1017.26/1017.62 c 162 314 267.83 32.02 8.37 1000000 0 1018.46/1018.83 c 153 321 272.01 32.83 8.29 1000000 0 1019.66/1020.03 c 164 279 266.77 34.39 7.76 1000000 0 1020.86/1021.23 c 165 268 265.86 31.75 8.37 1000000 0 1022.06/1022.44 c 152 264 269.34 34.10 7.90 1000000 0 1023.26/1023.64 c 159 217 271.24 34.47 7.87 1000000 0 1024.46/1024.85 c 160 302 268.90 30.94 8.69 1000000 0 1025.66/1026.05 c 159 263 265.43 32.62 8.14 1000000 0 1026.86/1027.26 c 160 315 268.80 30.28 8.88 1000000 0 1028.07/1028.46 c 166 236 265.82 33.72 7.88 1000000 0 1029.27/1029.66 c 177 262 269.25 30.90 8.71 1000000 0 1030.46/1030.87 c 160 285 265.39 30.54 8.69 1000000 0 1031.66/1032.08 c 152 286 265.36 31.63 8.39 1000000 0 1032.86/1033.28 c 164 260 271.93 31.88 8.53 1000000 0 1034.06/1034.48 c 165 265 269.35 32.76 8.22 1000000 0 1035.26/1035.68 c 159 237 268.25 33.52 8.00 1000000 0 1036.46/1036.89 c 173 282 267.29 31.70 8.43 1000000 0 1037.66/1038.09 c 168 273 268.41 33.99 7.90 1000000 0 1038.96/1039.30 c 160 261 270.37 32.73 8.26 1000000 0 1040.05/1040.50 c 163 234 267.54 31.76 8.42 1000000 0 1041.36/1041.71 c 161 287 264.73 32.89 8.05 1000000 0 1042.56/1042.91 c 145 268 269.85 33.85 7.97 1000000 0 1043.76/1044.12 c 160 249 268.41 32.94 8.15 1000000 0 1044.96/1045.32 c 158 304 268.60 35.17 7.64 1000000 0 1046.15/1046.52 c 172 247 269.31 33.21 8.11 1000000 0 1047.35/1047.73 c 165 283 269.94 33.44 8.07 1000000 0 1048.55/1048.94 c 167 227 268.42 32.70 8.21 1000000 0 1049.75/1050.14 c 172 248 265.91 31.91 8.33 1000000 0 1050.95/1051.35 c 164 329 267.09 31.14 8.58 1000000 0 1052.15/1052.56 c 152 340 266.72 33.53 7.95 1000000 0 1053.36/1053.76 c 158 302 262.56 32.24 8.14 1000000 0 1054.56/1054.97 c 162 189 264.78 32.98 8.03 1000000 0 1055.75/1056.17 c 149 233 266.94 34.84 7.66 1000000 0 1056.95/1057.38 c 148 292 264.78 33.98 7.79 1000000 0 1058.15/1058.58 c 161 323 269.34 33.70 7.99 1000000 0 1059.35/1059.79 c 167 358 265.51 31.30 8.48 1000000 0 1060.55/1060.99 c 166 290 268.15 32.67 8.21 1000000 0 1061.75/1062.20 c 168 267 264.51 33.15 7.98 1000000 0 1063.05/1063.40 c 158 290 266.85 33.05 8.07 1000000 0 1064.25/1064.60 c 157 313 268.60 31.50 8.53 1000000 0 1065.45/1065.81 c 160 260 267.56 31.77 8.42 1000000 0 1066.65/1067.02 c 161 261 269.76 34.16 7.90 1000000 0 1067.84/1068.22 c 160 308 269.70 33.34 8.09 1000000 0 1069.04/1069.43 c 164 264 265.64 32.91 8.07 1000000 0 1070.24/1070.63 c 166 289 266.04 32.53 8.18 1000000 0 1071.44/1071.84 c 141 257 267.26 33.23 8.04 1000000 0 1072.64/1073.04 c 162 263 268.58 32.26 8.32 1000000 0 1073.84/1074.24 c 162 295 267.02 31.14 8.57 1000000 0 1075.04/1075.44 c 173 280 268.24 32.09 8.36 1000000 0 1076.24/1076.65 c 158 292 270.08 32.45 8.32 1000000 0 1077.44/1077.85 c 161 264 269.22 32.85 8.20 1000000 0 1078.65/1079.06 c 149 286 269.56 32.03 8.41 1000000 0 1079.85/1080.26 c 162 335 268.13 32.79 8.18 1000000 0 1081.04/1081.46 c 164 238 267.78 31.26 8.57 1000000 0 1082.24/1082.67 c 159 278 266.92 32.95 8.10 1000000 0 1083.44/1083.87 c 166 262 266.36 31.94 8.34 1000000 0 1084.64/1085.07 c 162 207 266.54 33.82 7.88 1000000 0 1085.84/1086.28 c 173 286 270.14 31.17 8.67 1000000 0 1087.04/1087.48 c 173 290 269.46 32.29 8.34 1000000 0 1088.24/1088.69 c 154 311 266.87 34.69 7.69 1000000 0 1089.44/1089.88 c 168 301 267.44 33.48 7.99 1000000 0 1090.64/1091.09 c 158 241 266.16 31.72 8.39 1000000 0 1091.84/1092.29 c 166 246 268.07 32.14 8.34 1000000 0 1093.04/1093.49 c 157 248 264.75 30.44 8.70 1000000 0 1094.34/1094.70 c 168 260 266.08 33.29 7.99 1000000 0 1095.54/1095.91 c 159 264 270.33 32.77 8.25 1000000 0 1096.73/1097.11 c 174 242 266.33 32.57 8.18 1000000 0 1097.93/1098.31 c 158 258 269.54 32.16 8.38 1000000 0 1099.13/1099.52 c 154 249 267.89 31.70 8.45 1000000 0 1100.33/1100.72 c 163 258 266.01 33.38 7.97 1000000 0 1101.53/1101.92 c 155 282 267.70 34.16 7.84 1000000 0 1102.73/1103.13 c 165 257 264.35 30.47 8.68 1000000 0 1103.94/1104.34 c 168 247 269.08 31.90 8.44 1000000 0 1105.14/1105.54 c 160 295 267.95 32.72 8.19 1000000 0 1106.33/1106.75 c 160 294 264.57 32.34 8.18 1000000 0 1107.53/1107.95 c 169 302 269.22 30.77 8.75 1000000 0 1108.73/1109.16 c 170 306 267.82 33.27 8.05 1000000 0 1109.93/1110.36 c 173 243 266.85 31.81 8.39 1000000 0 1111.13/1111.56 c 163 205 270.67 35.38 7.65 1000000 0 1112.33/1112.77 c 172 329 273.93 31.76 8.63 1000000 0 1113.53/1113.97 c 162 231 267.63 31.79 8.42 1000000 0 1114.73/1115.17 c 150 268 266.53 31.15 8.56 1000000 0 1115.92/1116.38 c 161 311 273.40 33.26 8.22 1000000 0 1117.13/1117.58 c 161 248 268.56 32.46 8.27 1000000 0 1118.33/1118.78 c 153 230 269.80 33.85 7.97 1000000 0 1119.52/1119.99 c 169 235 266.60 32.52 8.20 1000000 0 1120.72/1121.19 c 162 264 272.20 33.19 8.20 1000000 0 1121.92/1122.40 c 170 281 265.89 29.58 8.99 1000000 0 1123.22/1123.60 c 152 302 265.53 33.72 7.88 1000000 0 1124.42/1124.81 c 154 258 267.73 30.70 8.72 1000000 0 1125.62/1126.01 c 152 283 265.07 28.78 9.21 1000000 0 1126.82/1127.21 c 163 228 268.74 31.78 8.46 1000000 0 1128.02/1128.42 c 169 255 270.66 33.51 8.08 1000000 0 1129.23/1129.62 c 163 287 272.17 32.10 8.48 1000000 0 1130.43/1130.83 c 162 249 268.90 32.90 8.17 1000000 0 1131.62/1132.03 c 153 258 263.49 32.64 8.07 1000000 0 1132.82/1133.24 c 159 245 268.08 35.39 7.57 1000000 0 1134.02/1134.44 c 158 285 264.48 32.09 8.24 1000000 0 1135.22/1135.65 c 160 258 268.23 30.69 8.74 1000000 0 1136.42/1136.85 c 165 284 266.93 30.40 8.78 1000000 0 1137.62/1138.06 c 168 274 265.63 33.67 7.89 1000000 0 1138.82/1139.27 c 159 291 268.35 32.36 8.29 1000000 0 1140.02/1140.47 c 172 259 269.56 31.81 8.47 1000000 0 1141.22/1141.68 c 160 270 267.04 32.26 8.28 1000000 0 1142.42/1142.88 c 174 267 268.14 32.72 8.19 1000000 0 1143.62/1144.08 c 159 299 270.81 32.02 8.46 1000000 0 1144.81/1145.29 c 159 239 265.52 28.78 9.23 1000000 0 1146.01/1146.49 c 165 246 269.34 35.10 7.67 1000000 0 1147.21/1147.69 c 154 230 260.99 33.01 7.91 1000000 0 1148.51/1148.90 c 172 257 267.55 32.00 8.36 1000000 0 1149.71/1150.10 c 169 206 266.88 29.63 9.01 1000000 0 1150.91/1151.30 c 155 243 267.50 33.37 8.02 1000000 0 1152.11/1152.50 c 171 248 267.66 31.39 8.53 1000000 0 1153.31/1153.70 c 162 233 265.16 30.79 8.61 1000000 0 1154.52/1154.91 c 164 328 268.49 32.66 8.22 1000000 0 1155.72/1156.11 c 177 240 267.79 31.02 8.63 1000000 0 1156.91/1157.31 c 162 262 265.46 31.61 8.40 1000000 0 1158.11/1158.51 c 165 308 269.37 33.58 8.02 1000000 0 1159.31/1159.72 c 164 280 267.40 37.74 7.09 1000000 0 1160.51/1160.92 c 155 264 268.41 33.97 7.90 1000000 0 1161.71/1162.11 c 152 278 268.84 34.64 7.76 1000000 0 1162.91/1163.32 c 170 251 269.91 31.84 8.48 1000000 0 1164.11/1164.53 c 143 196 267.51 34.24 7.81 1000000 0 1165.31/1165.73 c 175 257 268.86 32.14 8.37 1000000 0 1166.51/1166.94 c 154 316 268.54 32.35 8.30 1000000 0 1167.72/1168.14 c 161 286 264.87 32.84 8.07 1000000 0 1168.92/1169.35 c 162 252 269.55 33.14 8.13 1000000 0 1170.11/1170.55 c 146 200 267.00 31.68 8.43 1000000 0 1171.31/1171.75 c 163 264 270.15 32.28 8.37 1000000 0 1172.51/1172.96 c 153 214 267.16 33.97 7.87 1000000 0 1173.71/1174.17 c 155 248 267.95 31.30 8.56 1000000 0 1174.91/1175.37 c 165 283 269.93 31.55 8.56 1000000 0 1176.11/1176.58 c 147 354 269.15 33.30 8.08 1000000 0 1177.31/1177.78 c 157 288 265.85 29.59 8.98 1000000 0 1178.50/1178.99 c 139 283 265.08 32.32 8.20 1000000 0 1179.70/1180.20 c 166 222 266.42 32.20 8.27 1000000 0 1180.91/1181.40 c 159 286 270.27 32.39 8.34 1000000 0 1182.20/1182.61 c 165 200 267.78 30.80 8.70 1000000 0 1183.40/1183.81 c 156 257 267.81 30.70 8.72 1000000 0 1184.60/1185.02 c 159 288 264.85 35.10 7.55 1000000 0 1185.80/1186.22 c 159 208 270.71 34.57 7.83 1000000 0 1187.00/1187.42 c 151 252 268.37 35.66 7.53 1000000 0 1188.20/1188.63 c 156 274 270.90 34.87 7.77 1000000 0 1189.40/1189.83 c 149 301 269.61 33.90 7.95 1000000 0 1190.60/1191.04 c 167 226 269.21 32.41 8.31 1000000 0 1191.80/1192.25 c 173 267 270.88 33.47 8.09 1000000 0 1193.00/1193.45 c 169 253 267.56 32.25 8.30 1000000 0 1194.21/1194.66 c 160 250 265.45 30.97 8.57 1000000 0 1195.40/1195.86 c 155 216 263.31 30.11 8.74 1000000 0 1196.60/1197.07 c 159 260 271.26 34.11 7.95 1000000 0 1197.80/1198.27 c 161 311 264.71 31.71 8.35 1000000 0 1199.00/1199.48 c 158 295 263.83 31.17 8.46 1000000 0 1200.20/1200.69 c 151 253 265.93 32.36 8.22 1000000 0 1201.40/1201.89 c 149 248 268.93 33.79 7.96 1000000 0 1202.60/1203.09 c 146 347 271.79 35.19 7.72 1000000 0 1203.80/1204.29 c 168 214 267.78 33.50 7.99 1000000 0 1204.99/1205.50 c 161 301 272.51 32.76 8.32 1000000 0 1206.20/1206.70 c 162 305 266.58 32.81 8.13 1000000 0 1207.50/1207.90 c 168 242 268.47 31.85 8.43 1000000 0 1208.69/1209.11 c 155 250 266.52 31.48 8.47 1000000 0 1209.89/1210.31 c 168 218 267.72 31.68 8.45 1000000 0 1211.09/1211.52 c 171 244 270.05 31.67 8.53 1000000 0 1212.29/1212.73 c 161 259 268.11 33.01 8.12 1000000 0 1213.49/1213.93 c 155 273 265.75 33.74 7.88 1000000 0 1214.69/1215.13 c 151 244 265.98 32.81 8.11 1000000 0 1215.89/1216.33 c 162 346 268.56 31.44 8.54 1000000 0 1217.09/1217.53 c 160 234 267.85 32.16 8.33 1000000 0 1218.30/1218.74 c 162 270 268.70 32.35 8.30 1000000 0 1219.50/1219.94 c 150 290 269.59 34.19 7.89 1000000 0 1220.69/1221.14 c 143 301 263.94 33.43 7.90 1000000 0 1221.89/1222.35 c 162 253 267.07 31.69 8.43 1000000 0 1223.09/1223.55 c 163 269 267.16 32.31 8.27 1000000 0 1224.29/1224.75 c 159 256 268.50 31.79 8.45 1000000 0 1225.49/1225.96 c 166 246 265.96 31.50 8.44 1000000 0 1226.69/1227.16 c 162 254 266.34 32.02 8.32 1000000 0 1227.89/1228.36 c 155 243 264.43 32.83 8.05 1000000 0 1229.09/1229.56 c 161 340 268.02 32.92 8.14 1000000 0 1230.29/1230.76 c 153 273 267.87 32.13 8.34 1000000 0 1231.49/1231.97 c 155 310 265.15 32.22 8.23 1000000 0 1232.69/1233.17 c 169 270 270.15 32.47 8.32 1000000 0 1233.88/1234.37 c 166 228 265.51 30.69 8.65 1000000 0 1235.08/1235.58 c 166 299 267.59 32.33 8.28 1000000 0 1236.28/1236.78 c 160 284 266.88 33.18 8.04 1000000 0 1237.48/1237.99 c 143 227 269.53 32.32 8.34 1000000 0 1238.78/1239.20 c 159 281 266.21 30.99 8.59 1000000 0 1239.98/1240.40 c 165 220 270.66 31.57 8.57 1000000 0 1241.18/1241.61 c 161 253 265.06 29.52 8.98 1000000 0 1242.38/1242.81 c 151 242 268.35 31.37 8.55 1000000 0 1243.59/1244.01 c 161 296 269.83 32.00 8.43 1000000 0 1244.79/1245.21 c 163 296 269.31 33.33 8.08 1000000 0 1245.98/1246.42 c 167 280 270.62 33.17 8.16 1000000 0 1247.18/1247.62 c 168 270 269.05 33.50 8.03 1000000 0 1248.38/1248.83 c 156 254 267.85 31.98 8.38 1000000 0 1249.58/1250.03 c 152 308 265.79 34.28 7.75 1000000 0 1250.78/1251.24 c 164 272 266.60 33.17 8.04 1000000 0 1251.98/1252.44 c 162 263 265.78 31.31 8.49 1000000 0 1253.18/1253.65 c 161 283 266.89 31.67 8.43 1000000 0 1254.38/1254.85 c 151 279 268.51 30.79 8.72 1000000 0 1255.58/1256.06 c 161 262 267.33 30.45 8.78 1000000 0 1256.78/1257.26 c 166 266 267.69 32.86 8.15 1000000 0 1257.99/1258.46 c 165 273 267.78 31.20 8.58 1000000 0 1259.18/1259.67 c 172 266 267.69 32.06 8.35 1000000 0 1260.38/1260.87 c 147 316 268.59 32.04 8.38 1000000 0 1261.57/1262.08 c 165 304 266.25 32.80 8.12 1000000 0 1262.77/1263.28 c 169 197 267.13 29.86 8.95 1000000 0 1263.97/1264.49 c 158 253 269.63 32.10 8.40 1000000 0 1265.18/1265.69 c 171 313 266.73 31.88 8.37 1000000 0 1266.38/1266.89 c 166 343 266.62 31.29 8.52 1000000 0 1267.58/1268.09 c 157 270 269.05 36.01 7.47 1000000 0 1268.78/1269.30 c 153 334 268.44 32.41 8.28 1000000 0 1269.99/1270.50 c 167 234 267.04 32.59 8.19 1000000 0 1271.28/1271.70 c 154 307 268.91 30.25 8.89 1000000 0 1272.48/1272.90 c 168 293 268.57 32.73 8.21 1000000 0 1273.68/1274.10 c 162 258 270.37 34.00 7.95 1000000 0 1274.88/1275.31 c 161 323 266.79 33.20 8.04 1000000 0 1276.08/1276.51 c 169 259 270.25 31.42 8.60 1000000 0 1277.28/1277.71 c 157 294 265.46 32.56 8.15 1000000 0 1278.48/1278.91 c 173 276 267.34 29.97 8.92 1000000 0 1279.68/1280.12 c 157 254 268.64 34.51 7.78 1000000 0 1280.88/1281.33 c 162 271 266.19 31.65 8.41 1000000 0 1282.08/1282.53 c 165 289 264.95 32.74 8.09 1000000 0 1283.28/1283.74 c 159 271 266.53 31.97 8.34 1000000 0 1284.48/1284.94 c 150 247 271.74 35.74 7.60 1000000 0 1285.67/1286.15 c 156 269 262.39 32.38 8.10 1000000 0 1286.87/1287.36 c 170 269 264.52 29.47 8.98 1000000 0 1288.07/1288.56 c 149 333 268.65 31.65 8.49 1000000 0 1289.27/1289.77 c 154 236 266.50 33.45 7.97 1000000 0 1290.47/1290.97 c 149 231 263.37 30.17 8.73 1000000 0 1291.67/1292.18 c 160 283 268.58 32.42 8.28 1000000 0 1292.87/1293.38 c 161 314 269.45 31.84 8.46 1000000 0 1294.07/1294.58 c 160 307 269.87 33.21 8.13 1000000 0 1295.28/1295.79 c 166 240 267.80 33.85 7.91 1000000 0 1296.48/1296.99 c 162 269 266.28 31.80 8.37 1000000 0 1297.67/1298.19 c 151 219 270.60 30.68 8.82 1000000 0 1298.97/1299.40 c 164 264 271.80 33.55 8.10 1000000 0 1300.17/1300.60 c 156 295 268.69 34.71 7.74 1000000 0 1301.37/1301.81 c 163 233 267.12 31.52 8.47 1000000 0 1302.57/1303.01 c 164 286 267.64 32.12 8.33 1000000 0 1303.77/1304.21 c 167 296 269.61 32.89 8.20 1000000 0 1304.97/1305.42 c 173 253 262.88 30.68 8.57 1000000 0 1306.17/1306.62 c 161 275 263.90 31.91 8.27 1000000 0 1307.38/1307.82 c 164 259 269.63 32.02 8.42 1000000 0 1308.58/1309.03 c 163 280 268.57 30.05 8.94 1000000 0 1309.77/1310.23 c 160 223 263.69 31.79 8.30 1000000 0 1310.97/1311.43 c 159 297 263.67 33.16 7.95 1000000 0 1312.17/1312.64 c 167 288 269.29 32.04 8.40 1000000 0 1313.37/1313.84 c 168 245 269.07 31.54 8.53 1000000 0 1314.57/1315.05 c 153 263 266.86 33.56 7.95 1000000 0 1315.77/1316.25 c 162 254 266.61 30.88 8.63 1000000 0 1316.97/1317.46 c 160 201 270.15 34.64 7.80 1000000 0 1318.17/1318.66 c 163 263 266.94 31.76 8.40 1000000 0 1319.37/1319.86 c 156 259 266.91 33.51 7.96 1000000 0 1320.57/1321.07 c 159 270 268.01 31.78 8.43 1000000 0 1321.77/1322.27 c 146 254 265.27 32.30 8.21 1000000 0 1322.96/1323.48 c 151 192 270.47 33.58 8.05 1000000 0 1324.16/1324.68 c 150 259 266.97 32.04 8.33 1000000 0 1325.36/1325.88 c 158 293 268.28 31.23 8.59 1000000 0 1326.56/1327.09 c 162 227 268.61 31.64 8.49 1000000 0 1327.76/1328.29 c 153 246 271.67 32.74 8.30 1000000 0 1329.06/1329.50 c 160 289 267.46 33.05 8.09 1000000 0 1330.26/1330.70 c 162 268 270.40 33.38 8.10 1000000 0 1331.46/1331.91 c 166 272 266.76 32.69 8.16 1000000 0 1332.67/1333.12 c 161 220 267.57 35.28 7.58 1000000 0 1333.87/1334.32 c 164 212 269.34 31.68 8.50 1000000 0 1335.06/1335.52 c 164 278 266.36 31.81 8.37 1000000 0 1336.26/1336.72 c 156 321 272.07 33.77 8.06 1000000 0 1337.46/1337.93 c 146 282 268.26 31.84 8.43 1000000 0 1338.66/1339.13 c 173 283 267.23 32.81 8.14 1000000 0 1339.86/1340.34 c 163 241 267.26 32.73 8.16 1000000 0 1341.06/1341.54 c 172 289 270.23 32.40 8.34 1000000 0 1342.26/1342.74 c 168 257 267.51 32.38 8.26 1000000 0 1343.46/1343.94 c 166 236 266.15 32.57 8.17 1000000 0 1344.66/1345.15 c 164 221 265.76 30.39 8.74 1000000 0 1345.86/1346.36 c 161 297 266.68 33.58 7.94 1000000 0 1347.06/1347.56 c 138 254 266.93 31.60 8.45 1000000 0 1348.25/1348.76 c 154 294 266.28 35.04 7.60 1000000 0 1349.45/1349.97 c 155 260 269.23 35.71 7.54 1000000 0 1350.65/1351.17 c 154 307 271.22 32.61 8.32 1000000 0 1351.85/1352.38 c 147 237 263.56 32.35 8.15 1000000 0 1353.05/1353.58 c 167 313 267.88 32.15 8.33 1000000 0 1354.25/1354.79 c 149 304 266.36 31.13 8.56 1000000 0 1355.45/1355.99 c 164 254 270.35 31.61 8.55 1000000 0 1356.65/1357.19 c 167 249 267.86 33.97 7.89 1000000 0 1357.85/1358.40 c 166 219 270.58 30.58 8.85 1000000 0 1359.06/1359.60 c 164 287 270.00 33.17 8.14 1000000 0 1360.35/1360.81 c 169 250 265.05 30.94 8.57 1000000 0 1361.55/1362.01 c 139 216 269.90 34.20 7.89 1000000 0 1362.75/1363.22 c 164 250 263.06 32.07 8.20 1000000 0 1363.95/1364.42 c 154 270 266.94 31.38 8.51 1000000 0 1365.15/1365.63 c 170 276 266.66 31.23 8.54 1000000 0 1366.35/1366.84 c 154 266 272.81 33.03 8.26 1000000 0 1367.55/1368.04 c 161 252 271.02 32.01 8.47 1000000 0 1368.75/1369.24 c 171 283 267.43 33.02 8.10 1000000 0 1369.95/1370.45 c 163 247 267.73 32.08 8.34 1000000 0 1371.15/1371.65 c 158 338 264.60 34.54 7.66 1000000 0 1372.35/1372.85 c 163 250 268.40 31.44 8.54 1000000 0 1373.55/1374.06 c 165 290 268.63 30.41 8.83 1000000 0 1374.75/1375.26 c 168 303 266.01 35.18 7.56 1000000 0 1375.95/1376.46 c 160 269 265.63 31.64 8.39 1000000 0 1377.15/1377.66 c 158 240 267.33 32.81 8.15 1000000 0 1378.35/1378.86 c 165 275 267.83 33.86 7.91 1000000 0 1379.54/1380.06 c 164 329 273.87 36.68 7.47 1000000 0 1380.74/1381.27 c 163 250 266.42 31.49 8.46 1000000 0 1381.94/1382.48 c 156 293 264.76 33.04 8.01 1000000 0 1383.14/1383.68 c 166 243 268.93 30.98 8.68 1000000 0 1384.35/1384.89 c 161 274 266.69 30.79 8.66 1000000 0 1385.55/1386.09 c 154 263 267.06 31.78 8.40 1000000 0 1386.74/1387.29 c 165 257 271.94 31.90 8.52 1000000 0 1388.04/1388.50 c 160 290 266.09 32.91 8.09 1000000 0 1389.24/1389.70 c 159 302 263.84 30.72 8.59 1000000 0 1390.44/1390.91 c 159 262 267.07 32.84 8.13 1000000 0 1391.64/1392.11 c 168 333 268.16 31.64 8.48 1000000 0 1392.84/1393.32 c 160 262 271.24 31.58 8.59 1000000 0 1394.04/1394.52 c 155 314 267.60 31.43 8.51 1000000 0 1395.24/1395.73 c 156 272 270.63 32.50 8.33 1000000 0 1396.44/1396.93 c 165 211 265.24 30.41 8.72 1000000 0 1397.64/1398.13 c 167 247 266.94 35.17 7.59 1000000 0 1398.84/1399.34 c 174 255 270.19 30.90 8.75 1000000 0 1400.03/1400.54 c 166 285 265.29 33.28 7.97 1000000 0 1401.23/1401.75 c 158 256 267.72 31.91 8.39 1000000 0 1402.43/1402.95 c 164 293 269.06 33.66 7.99 1000000 0 1403.63/1404.15 c 170 249 271.43 32.91 8.25 1000000 0 1404.83/1405.36 c 166 248 270.21 30.77 8.78 1000000 0 1406.03/1406.57 c 151 292 270.55 31.94 8.47 1000000 0 1407.23/1407.77 c 151 262 270.14 33.51 8.06 1000000 0 1408.43/1408.98 c 160 263 268.27 32.81 8.18 1000000 0 1409.64/1410.18 c 166 274 268.20 32.95 8.14 1000000 0 1410.84/1411.38 c 152 244 266.87 33.96 7.86 1000000 0 1412.03/1412.58 c 155 253 265.31 32.47 8.17 1000000 0 1413.23/1413.78 c 153 238 272.16 34.32 7.93 1000000 0 1414.43/1414.99 c 172 289 265.20 32.11 8.26 1000000 0 1415.63/1416.19 c 154 216 264.96 31.70 8.36 1000000 0 1416.93/1417.40 c 170 207 265.08 32.53 8.15 1000000 0 1418.13/1418.60 c 136 273 264.64 32.80 8.07 1000000 0 1419.33/1419.81 c 169 279 267.47 32.54 8.22 1000000 0 1420.53/1421.01 c 155 291 267.55 31.54 8.48 1000000 0 1421.73/1422.22 c 166 286 265.31 31.87 8.33 1000000 0 1422.93/1423.42 c 157 234 272.20 31.54 8.63 1000000 0 1424.12/1424.62 c 170 253 270.15 32.95 8.20 1000000 0 1425.32/1425.83 c 158 282 269.95 32.12 8.41 1000000 0 1426.52/1427.03 c 170 230 273.41 32.01 8.54 1000000 0 1427.72/1428.24 c 172 254 266.19 31.05 8.57 1000000 0 1428.92/1429.44 c 157 287 265.59 32.06 8.28 1000000 0 1430.12/1430.65 c 163 261 272.49 32.96 8.27 1000000 0 1431.32/1431.85 c 165 294 266.07 32.07 8.30 1000000 0 1432.52/1433.06 c 156 316 265.38 32.25 8.23 1000000 0 1433.72/1434.26 c 163 317 266.34 31.91 8.35 1000000 0 1434.93/1435.46 c 166 236 266.21 30.51 8.72 1000000 0 1436.13/1436.66 c 171 292 268.78 32.27 8.33 1000000 0 1437.32/1437.87 c 157 230 266.25 32.88 8.10 1000000 0 1438.52/1439.07 c 168 257 268.54 31.20 8.61 1000000 0 1439.72/1440.28 c 174 291 270.23 31.72 8.52 1000000 0 1440.92/1441.49 c 161 278 268.08 35.26 7.60 1000000 0 1442.12/1442.69 c 165 265 269.22 33.01 8.16 1000000 0 1443.32/1443.90 c 139 271 269.54 30.99 8.70 1000000 0 1444.62/1445.10 c 157 243 269.33 32.13 8.38 1000000 0 1445.82/1446.31 c 154 246 262.87 29.70 8.85 1000000 0 1447.02/1447.51 c 158 251 266.31 32.32 8.24 1000000 0 1448.22/1448.71 c 155 244 271.19 33.38 8.12 1000000 0 1449.41/1449.92 c 161 220 267.45 30.75 8.70 1000000 0 1450.61/1451.12 c 162 235 268.52 33.39 8.04 1000000 0 1451.81/1452.33 c 155 270 268.07 33.11 8.10 1000000 0 1453.01/1453.54 c 166 350 268.98 33.79 7.96 1000000 0 1454.21/1454.74 c 155 310 265.70 34.42 7.72 1000000 0 1455.41/1455.95 c 152 272 266.56 32.83 8.12 1000000 0 1456.61/1457.15 c 160 271 265.46 32.74 8.11 1000000 0 1457.81/1458.36 c 139 287 267.27 32.70 8.17 1000000 0 1459.01/1459.56 c 165 236 268.62 32.94 8.15 1000000 0 1460.22/1460.77 c 148 239 265.56 32.83 8.09 1000000 0 1461.42/1461.97 c 159 260 267.69 32.40 8.26 1000000 0 1462.62/1463.17 c 167 339 269.29 32.35 8.32 1000000 0 1463.82/1464.38 c 170 279 272.25 33.55 8.12 1000000 0 1465.02/1465.58 c 156 258 264.22 33.60 7.86 1000000 0 1466.22/1466.78 c 161 280 268.52 33.66 7.98 1000000 0 1467.42/1467.98 c 149 155 266.16 33.27 8.00 1000000 0 1468.62/1469.19 c 161 274 267.31 31.77 8.41 1000000 0 1469.82/1470.39 c 157 220 266.00 32.88 8.09 1000000 0 1471.02/1471.59 c 155 242 266.47 32.95 8.09 1000000 0 1472.22/1472.79 c 155 267 271.44 31.94 8.50 1000000 0 1473.42/1474.00 c 166 203 266.70 33.89 7.87 1000000 0 1474.71/1475.20 c 173 274 270.53 34.54 7.83 1000000 0 1475.91/1476.41 c 170 295 267.51 33.29 8.04 1000000 0 1477.11/1477.61 c 165 312 267.51 30.79 8.69 1000000 0 1478.31/1478.82 c 165 326 268.84 34.13 7.88 1000000 0 1479.51/1480.02 c 161 252 264.34 32.00 8.26 1000000 0 1480.71/1481.22 c 161 244 265.88 32.76 8.12 1000000 0 1481.91/1482.43 c 161 288 265.81 31.76 8.37 1000000 0 1483.11/1483.63 c 150 264 267.08 33.36 8.00 1000000 0 1484.31/1484.84 c 161 239 266.33 31.32 8.50 1000000 0 1485.52/1486.04 c 165 305 268.18 32.26 8.31 1000000 0 1486.72/1487.24 c 156 237 269.34 31.92 8.44 1000000 0 1487.91/1488.44 c 155 284 266.22 31.86 8.36 1000000 0 1489.11/1489.65 c 155 215 271.09 34.38 7.89 1000000 0 1490.31/1490.86 c 163 308 265.96 32.01 8.31 1000000 0 1491.51/1492.06 c 160 239 271.82 31.77 8.56 1000000 0 1492.71/1493.26 c 161 288 267.45 32.69 8.18 1000000 0 1493.91/1494.46 c 160 222 266.83 31.47 8.48 1000000 0 1495.11/1495.66 c 153 296 265.19 31.12 8.52 1000000 0 1496.31/1496.87 c 160 249 269.66 32.13 8.39 1000000 0 1497.51/1498.07 c 153 285 267.92 32.88 8.15 1000000 0 1498.71/1499.27 c 148 370 267.18 33.80 7.90 1000000 0 1499.91/1500.48 c 164 242 269.01 32.76 8.21 1000000 0 1501.10/1501.68 c 165 274 266.08 31.91 8.34 1000000 0 1502.30/1502.88 c 160 283 265.37 30.96 8.57 1000000 0 1503.50/1504.08 c 168 274 266.53 31.97 8.34 1000000 0 1504.70/1505.29 c 154 251 264.63 32.46 8.15 1000000 0 1505.90/1506.49 c 164 272 269.67 33.36 8.08 1000000 0 1507.10/1507.70 c 161 218 265.69 33.95 7.83 1000000 0 1508.40/1508.90 c 155 305 268.81 31.31 8.59 1000000 0 1509.60/1510.10 c 163 197 271.99 34.18 7.96 1000000 0 1510.70/1511.30 c 165 261 269.83 31.85 8.47 1000000 0 1512.01/1512.51 c 153 245 269.71 30.61 8.81 1000000 0 1513.20/1513.71 c 168 198 272.59 33.73 8.08 1000000 0 1514.40/1514.91 c 171 280 267.84 33.42 8.01 1000000 0 1515.60/1516.12 c 154 348 268.22 31.51 8.51 1000000 0 1516.80/1517.32 c 166 264 269.84 32.74 8.24 1000000 0 1518.00/1518.53 c 150 292 268.33 33.63 7.98 1000000 0 1519.20/1519.73 c 164 289 269.79 30.76 8.77 1000000 0 1520.39/1520.93 c 168 301 272.10 33.44 8.14 1000000 0 1521.59/1522.14 c 155 222 269.92 32.09 8.41 1000000 0 1522.79/1523.35 c 137 285 268.38 32.70 8.21 1000000 0 1524.00/1524.55 c 168 305 273.60 33.45 8.18 1000000 0 1525.20/1525.75 c 157 298 264.07 31.28 8.44 1000000 0 1526.39/1526.95 c 161 218 269.67 32.16 8.38 1000000 0 1527.59/1528.16 c 165 240 266.69 33.22 8.03 1000000 0 1528.79/1529.36 c 154 206 265.22 32.00 8.29 1000000 0 1529.99/1530.57 c 166 234 267.14 34.50 7.74 1000000 0 1531.19/1531.77 c 161 251 267.04 33.36 8.00 1000000 0 1532.39/1532.97 c 163 276 271.28 34.01 7.98 1000000 0 1533.59/1534.17 c 158 251 264.89 31.05 8.53 1000000 0 1534.79/1535.38 c 161 290 263.79 33.08 7.98 1000000 0 1535.99/1536.59 c 163 265 267.84 33.15 8.08 1000000 0 1537.20/1537.79 c 160 315 265.65 32.79 8.10 1000000 0 1538.40/1538.99 c 154 233 271.47 34.90 7.78 1000000 0 1539.59/1540.19 c 163 306 273.21 34.47 7.93 1000000 0 1540.79/1541.40 c 160 287 271.39 34.15 7.95 1000000 0 1542.09/1542.60 c 151 238 265.74 33.94 7.83 1000000 0 1543.29/1543.81 c 147 192 267.43 33.65 7.95 1000000 0 1544.49/1545.01 c 158 279 265.43 33.08 8.02 1000000 0 1545.69/1546.22 c 168 219 267.79 31.21 8.58 1000000 0 1546.89/1547.42 c 161 280 267.36 33.77 7.92 1000000 0 1548.09/1548.62 c 161 279 266.86 32.43 8.23 1000000 0 1549.29/1549.83 c 159 242 267.20 31.80 8.40 1000000 0 1550.49/1551.03 c 168 260 271.31 31.92 8.50 1000000 0 1551.68/1552.24 c 163 336 265.13 31.81 8.33 1000000 0 1552.88/1553.45 c 165 246 269.81 33.97 7.94 1000000 0 1554.08/1554.65 c 165 265 266.08 30.67 8.68 1000000 0 1555.28/1555.86 c 163 307 272.98 32.69 8.35 1000000 0 1556.48/1557.06 c 141 251 265.49 31.85 8.33 1000000 0 1557.68/1558.26 c 168 292 272.06 33.34 8.16 1000000 0 1558.88/1559.47 c 174 264 270.30 30.66 8.81 1000000 0 1560.08/1560.67 c 164 268 270.97 31.73 8.54 1000000 0 1561.28/1561.88 c 168 269 274.05 34.84 7.87 1000000 0 1562.49/1563.09 c 160 267 268.24 33.61 7.98 1000000 0 1563.69/1564.29 c 166 304 271.59 33.79 8.04 1000000 0 1564.88/1565.49 c 154 274 272.57 32.31 8.44 1000000 0 1566.18/1566.70 c 155 252 269.52 32.36 8.33 1000000 0 1567.38/1567.90 c 167 320 267.67 33.68 7.95 1000000 0 1568.58/1569.11 c 151 283 267.93 32.29 8.30 1000000 0 1569.78/1570.31 c 163 286 273.07 32.83 8.32 1000000 0 1570.98/1571.51 c 163 268 270.15 31.59 8.55 1000000 0 1572.18/1572.72 c 159 274 264.52 31.19 8.48 1000000 0 1573.38/1573.92 c 162 238 267.11 33.37 8.01 1000000 0 1574.58/1575.13 c 159 249 263.15 31.65 8.31 1000000 0 1575.78/1576.33 c 173 258 269.55 32.24 8.36 1000000 0 1576.97/1577.53 c 166 283 265.72 32.14 8.27 1000000 0 1578.17/1578.74 c 155 263 267.86 32.10 8.34 1000000 0 1579.37/1579.94 c 159 308 265.05 31.37 8.45 1000000 0 1580.57/1581.14 c 159 282 267.51 31.88 8.39 1000000 0 1581.77/1582.35 c 167 253 270.09 32.92 8.20 1000000 0 1582.97/1583.56 c 165 264 267.47 30.89 8.66 1000000 0 1584.17/1584.76 c 158 266 266.51 29.74 8.96 1000000 0 1585.37/1585.97 c 153 283 267.28 31.48 8.49 1000000 0 1586.57/1587.17 c 162 243 270.01 33.59 8.04 1000000 0 1587.78/1588.38 c 157 250 269.23 32.22 8.36 1000000 0 1588.98/1589.58 c 157 233 269.70 32.37 8.33 1000000 0 1590.17/1590.79 c 166 212 264.62 31.89 8.30 1000000 0 1591.37/1592.00 c 158 244 267.71 31.84 8.41 1000000 0 1592.68/1593.20 c 160 235 267.40 32.16 8.32 1000000 0 1593.88/1594.40 c 163 236 268.62 33.74 7.96 1000000 0 1595.08/1595.61 c 165 288 270.89 31.92 8.49 1000000 0 1596.28/1596.81 c 168 294 270.01 32.15 8.40 1000000 0 1597.48/1598.02 c 176 242 269.24 31.83 8.46 1000000 0 1598.68/1599.22 c 142 248 266.55 33.43 7.97 1000000 0 1599.89/1600.42 c 160 281 270.66 33.91 7.98 1000000 0 1601.09/1601.62 c 165 271 266.82 31.45 8.49 1000000 0 1602.28/1602.83 c 167 265 268.92 32.94 8.16 1000000 0 1603.48/1604.03 c 166 241 266.20 33.76 7.89 1000000 0 1604.68/1605.23 c 161 274 265.17 32.30 8.21 1000000 0 1605.87/1606.43 c 168 203 265.77 31.55 8.42 1000000 0 1607.07/1607.64 c 152 318 260.77 34.31 7.60 1000000 0 1608.27/1608.84 c 153 268 265.48 31.76 8.36 1000000 0 1609.48/1610.04 c 158 259 271.82 32.72 8.31 1000000 0 1610.67/1611.25 c 135 208 269.58 33.98 7.93 1000000 0 1611.87/1612.45 c 160 290 267.85 32.30 8.29 1000000 0 1613.08/1613.65 c 162 291 267.50 31.69 8.44 1000000 0 1614.28/1614.86 c 153 251 270.46 33.87 7.99 1000000 0 1615.47/1616.06 c 152 278 267.57 34.66 7.72 1000000 0 1616.67/1617.27 c 155 278 266.59 33.29 8.01 1000000 0 1617.87/1618.47 c 171 244 268.04 31.86 8.41 1000000 0 1619.07/1619.68 c 152 264 266.79 33.07 8.07 1000000 0 1620.27/1620.88 c 158 233 267.11 33.18 8.05 1000000 0 1621.47/1622.09 c 161 224 264.64 31.86 8.31 1000000 0 1622.77/1623.30 c 173 266 270.32 33.04 8.18 1000000 0 1623.97/1624.50 c 157 205 264.53 35.49 7.45 1000000 0 1625.17/1625.71 c 158 241 268.91 33.15 8.11 1000000 0 1626.37/1626.92 c 150 298 270.79 33.03 8.20 1000000 0 1627.57/1628.12 c 172 334 272.24 33.09 8.23 1000000 0 1628.77/1629.32 c 159 292 268.55 34.14 7.87 1000000 0 1629.97/1630.53 c 172 264 270.94 35.37 7.66 1000000 0 1631.17/1631.73 c 170 284 267.29 33.18 8.06 1000000 0 1632.36/1632.93 c 167 247 265.27 32.60 8.14 1000000 0 1633.56/1634.14 c 160 303 267.72 31.23 8.57 1000000 0 1634.77/1635.34 c 148 204 270.71 32.45 8.34 1000000 0 1635.96/1636.54 c 153 269 268.77 33.66 7.99 1000000 0 1637.16/1637.75 c 166 274 268.55 33.70 7.97 1000000 0 1638.37/1638.95 c 145 320 269.35 34.00 7.92 1000000 0 1639.57/1640.15 c 154 285 266.18 32.34 8.23 1000000 0 1640.76/1641.36 c 164 225 272.74 33.21 8.21 1000000 0 1641.96/1642.56 c 169 288 268.72 32.80 8.19 1000000 0 1643.16/1643.77 c 169 242 268.06 31.32 8.56 1000000 0 1644.36/1644.97 c 148 264 266.63 32.97 8.09 1000000 0 1645.56/1646.18 c 164 305 272.96 32.87 8.30 1000000 0 1646.76/1647.38 c 160 264 269.48 31.54 8.54 1000000 0 1647.96/1648.58 c 167 204 266.16 32.31 8.24 1000000 0 1649.16/1649.78 c 148 233 270.12 34.54 7.82 1000000 0 1650.36/1650.98 c 172 243 268.15 30.55 8.78 1000000 0 1651.57/1652.19 c 170 241 266.65 29.43 9.06 1000000 0 1652.77/1653.39 c 171 264 265.97 32.51 8.18 1000000 0 1653.96/1654.59 c 164 260 265.25 31.52 8.41 1000000 0 1655.16/1655.79 c 167 205 269.70 30.49 8.84 1000000 0 1656.46/1657.00 c 174 323 271.82 31.10 8.74 1000000 0 1657.66/1658.20 c 157 289 270.06 33.52 8.06 1000000 0 1658.86/1659.41 c 173 248 267.83 32.76 8.18 1000000 0 1660.06/1660.62 c 160 255 268.90 34.67 7.76 1000000 0 1661.26/1661.82 c 165 267 269.90 31.30 8.62 1000000 0 1662.46/1663.03 c 162 241 267.15 31.54 8.47 1000000 0 1663.66/1664.23 c 154 266 263.74 31.79 8.29 1000000 0 1664.86/1665.44 c 163 286 268.30 33.10 8.11 1000000 0 1666.05/1666.64 c 163 251 272.81 33.54 8.13 1000000 0 1667.25/1667.85 c 163 259 266.64 31.40 8.49 1000000 0 1668.45/1669.04 c 152 241 265.51 31.67 8.39 1000000 0 1669.65/1670.24 c 173 216 268.61 29.83 9.01 1000000 0 1670.85/1671.45 c 166 303 265.53 31.48 8.43 1000000 0 1672.05/1672.65 c 155 217 267.30 31.52 8.48 1000000 0 1673.25/1673.85 c 154 263 268.14 32.65 8.21 1000000 0 1674.45/1675.06 c 167 265 267.91 31.98 8.38 1000000 0 1675.65/1676.26 c 154 345 267.50 33.09 8.08 1000000 0 1676.86/1677.47 c 154 290 269.14 33.49 8.04 1000000 0 1678.06/1678.67 c 164 203 267.34 31.53 8.48 1000000 0 1679.25/1679.87 c 154 262 269.34 31.10 8.66 1000000 0 1680.45/1681.08 c 163 242 266.66 33.00 8.08 1000000 0 1681.65/1682.28 c 160 283 270.79 31.59 8.57 1000000 0 1682.85/1683.49 c 152 290 262.71 32.82 8.01 1000000 0 1684.05/1684.69 c 145 248 265.16 32.09 8.26 1000000 0 1685.25/1685.89 c 162 248 266.51 33.90 7.86 1000000 0 1686.55/1687.10 c 171 225 270.93 32.59 8.31 1000000 0 1687.74/1688.30 c 160 207 268.41 34.78 7.72 1000000 0 1688.95/1689.51 c 163 208 266.49 32.47 8.21 1000000 0 1690.15/1690.71 c 157 242 267.70 32.72 8.18 1000000 0 1691.34/1691.92 c 161 292 269.46 32.03 8.41 1000000 0 1692.54/1693.12 c 162 324 269.74 32.39 8.33 1000000 0 1693.74/1694.33 c 157 262 267.56 31.26 8.56 1000000 0 1694.94/1695.53 c 159 300 269.23 31.99 8.42 1000000 0 1696.14/1696.74 c 162 303 265.91 33.11 8.03 1000000 0 1697.34/1697.94 c 148 293 266.31 31.44 8.47 1000000 0 1698.54/1699.14 c 166 294 268.73 32.18 8.35 1000000 0 1699.74/1700.34 c 162 250 264.60 32.06 8.25 1000000 0 1700.94/1701.54 c 164 229 270.41 33.31 8.12 1000000 0 1702.15/1702.75 c 144 279 269.46 31.78 8.48 1000000 0 1703.35/1703.96 c 164 371 267.55 32.27 8.29 1000000 0 1704.54/1705.16 c 167 300 265.50 32.47 8.18 1000000 0 1705.74/1706.37 c 169 289 265.15 29.91 8.87 1000000 0 1706.94/1707.57 c 154 262 270.25 34.41 7.85 1000000 0 1708.14/1708.78 c 144 225 267.50 34.38 7.78 1000000 0 1709.34/1709.98 c 160 239 267.16 32.77 8.15 1000000 0 1710.54/1711.19 c 166 229 267.38 31.39 8.52 1000000 0 1711.74/1712.39 c 164 287 266.45 34.34 7.76 1000000 0 1712.94/1713.59 c 163 280 269.80 32.35 8.34 1000000 0 1714.14/1714.79 c 156 308 267.72 34.38 7.79 1000000 0 1715.34/1716.00 c 152 300 266.92 32.91 8.11 1000000 0 1716.64/1717.20 c 172 230 264.11 34.08 7.75 1000000 0 1717.83/1718.41 c 153 289 267.38 33.76 7.92 1000000 0 1719.03/1719.61 c 151 315 266.00 30.79 8.64 1000000 0 1720.24/1720.82 c 165 221 264.57 33.43 7.91 1000000 0 1721.43/1722.02 c 158 270 270.41 32.38 8.35 1000000 0 1722.63/1723.22 c 170 259 267.52 31.28 8.55 1000000 0 1723.83/1724.43 c 162 258 266.79 34.13 7.82 1000000 0 1725.03/1725.63 c 165 259 266.54 31.14 8.56 1000000 0 1726.23/1726.84 c 161 210 267.06 30.72 8.69 1000000 0 1727.44/1728.04 c 174 257 269.80 31.33 8.61 1000000 0 1728.64/1729.24 c 159 277 264.72 32.23 8.21 1000000 0 1729.83/1730.44 c 148 309 264.41 31.75 8.33 1000000 0 1731.03/1731.65 c 156 217 267.38 34.83 7.68 1000000 0 1732.23/1732.85 c 153 278 267.49 33.71 7.94 1000000 0 1733.43/1734.05 c 162 285 265.89 32.75 8.12 1000000 0 1734.63/1735.26 c 160 312 270.53 33.58 8.06 1000000 0 1735.83/1736.47 c 169 229 269.08 32.79 8.21 1000000 0 1737.03/1737.67 c 157 300 265.07 31.12 8.52 1000000 0 1738.23/1738.88 c 158 287 269.60 31.77 8.49 1000000 0 1739.43/1740.08 c 156 222 267.87 30.51 8.78 1000000 0 1740.63/1741.28 c 158 271 268.07 32.91 8.14 1000000 0 1741.83/1742.48 c 155 234 266.36 33.80 7.88 1000000 0 1743.02/1743.69 c 164 217 268.37 34.75 7.72 1000000 0 1744.22/1744.89 c 146 266 266.27 33.82 7.87 1000000 0 1745.42/1746.09 c 159 305 272.30 32.51 8.38 1000000 0 1746.62/1747.29 c 155 253 268.82 34.27 7.84 1000000 0 1747.92/1748.50 c 159 263 268.78 30.31 8.87 1000000 0 1749.12/1749.70 c 163 301 269.30 31.99 8.42 1000000 0 1750.32/1750.90 c 168 226 266.32 31.25 8.52 1000000 0 1751.52/1752.10 c 158 264 267.23 33.35 8.01 1000000 0 1752.73/1753.31 c 152 254 266.32 31.09 8.57 1000000 0 1753.93/1754.52 c 155 293 271.23 32.62 8.31 1000000 0 1755.12/1755.72 c 148 238 263.38 31.29 8.42 1000000 0 1756.32/1756.93 c 163 228 273.98 32.38 8.46 1000000 0 1757.52/1758.13 c 159 207 266.01 33.17 8.02 1000000 0 1758.72/1759.33 c 161 305 266.55 32.20 8.28 1000000 0 1759.92/1760.53 c 159 244 264.07 30.73 8.59 1000000 0 1761.12/1761.74 c 165 266 267.76 31.51 8.50 1000000 0 1762.32/1762.94 c 158 211 266.50 31.43 8.48 1000000 0 1763.52/1764.15 c 168 253 267.85 33.38 8.02 1000000 0 1764.72/1765.35 c 156 272 264.59 32.10 8.24 1000000 0 1765.92/1766.55 c 153 288 269.79 30.46 8.86 1000000 0 1767.13/1767.76 c 156 267 269.94 32.48 8.31 1000000 0 1768.32/1768.96 c 175 316 269.12 29.98 8.98 1000000 0 1769.52/1770.17 c 156 206 268.74 33.31 8.07 1000000 0 1770.72/1771.37 c 165 262 272.28 33.80 8.05 1000000 0 1771.92/1772.58 c 175 197 268.58 33.07 8.12 1000000 0 1773.11/1773.78 c 167 306 269.09 31.01 8.68 1000000 0 1774.31/1774.99 c 158 216 265.55 32.41 8.19 1000000 0 1775.51/1776.19 c 162 283 271.41 30.86 8.79 1000000 0 1776.71/1777.40 c 168 220 268.16 32.60 8.23 1000000 0 1778.02/1778.61 c 173 258 265.25 30.76 8.62 1000000 0 1779.22/1779.81 c 163 341 267.99 33.22 8.07 1000000 0 1780.41/1781.01 c 170 269 269.38 30.97 8.70 1000000 0 1781.61/1782.21 c 166 284 265.69 30.72 8.65 1000000 0 1782.81/1783.42 c 148 238 266.62 34.44 7.74 1000000 0 1784.01/1784.62 c 150 286 273.03 34.55 7.90 1000000 0 1785.21/1785.83 c 165 277 270.20 32.15 8.40 1000000 0 1786.41/1787.03 c 155 252 266.36 31.85 8.36 1000000 0 1787.61/1788.24 c 178 272 269.13 31.48 8.55 1000000 0 1788.81/1789.44 c 172 287 269.54 33.49 8.05 1000000 0 1790.01/1790.64 c 168 249 267.28 33.40 8.00 1000000 0 1791.21/1791.85 c 147 241 269.51 34.09 7.91 1000000 0 1792.41/1793.05 c 154 295 268.78 32.92 8.16 1000000 0 1793.61/1794.26 c 162 248 267.08 31.23 8.55 1000000 0 1794.81/1795.46 c 164 292 268.69 32.98 8.15 1000000 0 1796.01/1796.66 c 151 276 268.44 31.51 8.52 1000000 0 1797.21/1797.87 c 167 302 271.63 35.09 7.74 1000000 0 1798.40/1799.07 c 166 296 269.24 32.41 8.31 1000000 0 1799.60/1800.28 c 164 223 270.25 32.99 8.19 1000000 0 1800.02/1800.61 HOME/run: line 2: 17658 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-2684678-1278432578/watcher-2684678-1278432578 -o /tmp/evaluation-result-2684678-1278432578/solver-2684678-1278432578 -C 1800 -W 2000 -M 1800 run HOME/instance-2684678-1278432578.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.24 0.06 0.02 2/106 17657 /proc/meminfo: memFree=1441556/2059040 swapFree=4192956/4192956 [pid=17657] ppid=17655 vsize=8700 CPUtime=0 /proc/17657/stat : 17657 (run) R 17655 17657 17370 0 -1 4202496 343 0 0 0 0 0 0 0 20 0 1 0 11470840 8908800 244 1992294400 4194304 4922060 140734248530576 18446744073709551615 257316987285 0 65538 4100 65536 0 0 0 17 0 0 0 0 /proc/17657/statm: 2175 244 204 178 0 68 0 [startup+0.072999 s] /proc/loadavg: 0.24 0.06 0.02 2/106 17657 /proc/meminfo: memFree=1441556/2059040 swapFree=4192956/4192956 [pid=17657] ppid=17655 vsize=8700 CPUtime=0 /proc/17657/stat : 17657 (run) S 17655 17657 17370 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11470840 8908800 244 1992294400 4194304 4922060 140734248530576 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17657/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.100998 s] /proc/loadavg: 0.24 0.06 0.02 2/106 17657 /proc/meminfo: memFree=1441556/2059040 swapFree=4192956/4192956 [pid=17657] ppid=17655 vsize=8700 CPUtime=0 /proc/17657/stat : 17657 (run) S 17655 17657 17370 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11470840 8908800 244 1992294400 4194304 4922060 140734248530576 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17657/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300995 s] /proc/loadavg: 0.24 0.06 0.02 2/106 17657 /proc/meminfo: memFree=1441556/2059040 swapFree=4192956/4192956 [pid=17657] ppid=17655 vsize=8700 CPUtime=0 /proc/17657/stat : 17657 (run) S 17655 17657 17370 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11470840 8908800 244 1992294400 4194304 4922060 140734248530576 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17657/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700988 s] /proc/loadavg: 0.24 0.06 0.02 2/106 17657 /proc/meminfo: memFree=1441556/2059040 swapFree=4192956/4192956 [pid=17657] ppid=17655 vsize=8700 CPUtime=0 /proc/17657/stat : 17657 (run) S 17655 17657 17370 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11470840 8908800 244 1992294400 4194304 4922060 140734248530576 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17657/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50197 s] /proc/loadavg: 0.24 0.06 0.02 2/108 17659 /proc/meminfo: memFree=1437448/2059040 swapFree=4192956/4192956 [pid=17657] ppid=17655 vsize=8700 CPUtime=0 /proc/17657/stat : 17657 (run) S 17655 17657 17370 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11470840 8908800 244 1992294400 4194304 4922060 140734248530576 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17657/statm: 2175 244 204 178 0 68 0 [pid=17658] ppid=17657 vsize=40452 CPUtime=1.49 /proc/17658/stat : 17658 (PB-wave) R 17657 17657 17370 0 -1 4202496 1055 0 0 0 149 0 0 0 25 0 1 0 11470840 41422848 985 1992294400 134512640 135071400 4289823856 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/17658/statm: 10113 985 69 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.10094 s] /proc/loadavg: 0.24 0.06 0.02 2/108 17659 /proc/meminfo: memFree=1437324/2059040 swapFree=4192956/4192956 [pid=17657] ppid=17655 vsize=8700 CPUtime=0 /proc/17657/stat : 17657 (run) S 17655 17657 17370 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11470840 8908800 244 1992294400 4194304 4922060 140734248530576 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17657/statm: 2175 244 204 178 0 68 0 [pid=17658] ppid=17657 vsize=40452 CPUtime=3.08 /proc/17658/stat : 17658 (PB-wave) R 17657 17657 17370 0 -1 4202496 1055 0 0 0 308 0 0 0 25 0 1 0 11470840 41422848 985 1992294400 134512640 135071400 4289823856 18446744073709551615 134526372 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/17658/statm: 10113 985 69 137 0 9974 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 49152 [startup+6.30089 s] /proc/loadavg: 0.30 0.08 0.02 2/108 17659 /proc/meminfo: memFree=1437200/2059040 swapFree=4192956/4192956 [pid=17657] ppid=17655 vsize=8700 CPUtime=0 /proc/17657/stat : 17657 (run) S 17655 17657 17370 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11470840 8908800 244 1992294400 4194304 4922060 140734248530576 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17657/statm: 2175 244 204 178 0 68 0 [pid=17658] ppid=17657 vsize=40452 CPUtime=6.28 /proc/17658/stat : 17658 (PB-wave) R 17657 17657 17370 0 -1 4202496 1055 0 0 0 628 0 0 0 25 0 1 0 11470840 41422848 985 1992294400 134512640 135071400 4289823856 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/17658/statm: 10113 985 69 137 0 9974 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 49152 [startup+12.7008 s] /proc/loadavg: 0.35 0.09 0.03 2/108 17660 /proc/meminfo: memFree=1437076/2059040 swapFree=4192956/4192956 [pid=17657] ppid=17655 vsize=8700 CPUtime=0 /proc/17657/stat : 17657 (run) S 17655 17657 17370 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11470840 8908800 244 1992294400 4194304 4922060 140734248530576 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17657/statm: 2175 244 204 178 0 68 0 [pid=17658] ppid=17657 vsize=40452 CPUtime=12.68 /proc/17658/stat : 17658 (PB-wave) R 17657 17657 17370 0 -1 4202496 1055 0 0 0 1268 0 0 0 25 0 1 0 11470840 41422848 985 1992294400 134512640 135071400 4289823856 18446744073709551615 134525664 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/17658/statm: 10113 985 69 137 0 9974 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 49152 [startup+25.5005 s] /proc/loadavg: 0.50 0.13 0.04 2/108 17660 /proc/meminfo: memFree=1437076/2059040 swapFree=4192956/4192956 [pid=17657] ppid=17655 vsize=8700 CPUtime=0 /proc/17657/stat : 17657 (run) S 17655 17657 17370 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11470840 8908800 244 1992294400 4194304 4922060 140734248530576 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17657/statm: 2175 244 204 178 0 68 0 [pid=17658] ppid=17657 vsize=40452 CPUtime=25.48 /proc/17658/stat : 17658 (PB-wave) R 17657 17657 17370 0 -1 4202496 1055 0 0 0 2548 0 0 0 25 0 1 0 11470840 41422848 985 1992294400 134512640 135071400 4289823856 18446744073709551615 134519813 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/17658/statm: 10113 985 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1001 s] /proc/loadavg: 0.67 0.20 0.07 2/108 17661 /proc/meminfo: memFree=1437076/2059040 swapFree=4192956/4192956 [pid=17657] ppid=17655 vsize=8700 CPUtime=0 /proc/17657/stat : 17657 (run) S 17655 17657 17370 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11470840 8908800 244 1992294400 4194304 4922060 140734248530576 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17657/statm: 2175 244 204 178 0 68 0 [pid=17658] ppid=17657 vsize=40452 CPUtime=51.07 /proc/17658/stat : 17658 (PB-wave) R 17657 17657 17370 0 -1 4202496 1055 0 0 0 5107 0 0 0 25 0 1 0 11470840 41422848 985 1992294400 134512640 135071400 4289823856 18446744073709551615 134526631 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/17658/statm: 10113 985 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.85 0.32 0.11 2/108 17663 /proc/meminfo: memFree=1437076/2059040 swapFree=4192956/4192956 [pid=17657] ppid=17655 vsize=8700 CPUtime=0 /proc/17657/stat : 17657 (run) S 17655 17657 17370 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11470840 8908800 244 1992294400 4194304 4922060 140734248530576 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17657/statm: 2175 244 204 178 0 68 0 [pid=17658] ppid=17657 vsize=40452 CPUtime=102.27 /proc/17658/stat : 17658 (PB-wave) R 17657 17657 17370 0 -1 4202496 1055 0 0 0 10226 1 0 0 25 0 1 0 11470840 41422848 985 1992294400 134512640 135071400 4289823856 18446744073709551615 134525840 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/17658/statm: 10113 985 69 137 0 9974 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 49152 [startup+162.3 s] /proc/loadavg: 0.94 0.44 0.17 2/108 17664 /proc/meminfo: memFree=1436952/2059040 swapFree=4192956/4192956 [pid=17657] ppid=17655 vsize=8700 CPUtime=0 /proc/17657/stat : 17657 (run) S 17655 17657 17370 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11470840 8908800 244 1992294400 4194304 4922060 140734248530576 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17657/statm: 2175 244 204 178 0 68 0 [pid=17658] ppid=17657 vsize=40452 CPUtime=162.24 /proc/17658/stat : 17658 (PB-wave) R 17657 17657 17370 0 -1 4202496 1055 0 0 0 16223 1 0 0 25 0 1 0 11470840 41422848 985 1992294400 134512640 135071400 4289823856 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/17658/statm: 10113 985 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.98 0.54 0.21 2/108 17665 /proc/meminfo: memFree=1436952/2059040 swapFree=4192956/4192956 [pid=17657] ppid=17655 vsize=8700 CPUtime=0 /proc/17657/stat : 17657 (run) S 17655 17657 17370 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11470840 8908800 244 1992294400 4194304 4922060 140734248530576 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17657/statm: 2175 244 204 178 0 68 0 [pid=17658] ppid=17657 vsize=40452 CPUtime=222.22 /proc/17658/stat : 17658 (PB-wave) R 17657 17657 17370 0 -1 4202496 1055 0 0 0 22221 1 0 0 25 0 1 0 11470840 41422848 985 1992294400 134512640 135071400 4289823856 18446744073709551615 134526837 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/17658/statm: 10113 985 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.62 0.26 2/108 17667 /proc/meminfo: memFree=1436952/2059040 swapFree=4192956/4192956 [pid=17657] ppid=17655 vsize=8700 CPUtime=0 /proc/17657/stat : 17657 (run) S 17655 17657 17370 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11470840 8908800 244 1992294400 4194304 4922060 140734248530576 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17657/statm: 2175 244 204 178 0 68 0 [pid=17658] ppid=17657 vsize=40452 CPUtime=282.2 /proc/17658/stat : 17658 (PB-wave) R 17657 17657 17370 0 -1 4202496 1055 0 0 0 28219 1 0 0 25 0 1 0 11470840 41422848 985 1992294400 134512640 135071400 4289823856 18446744073709551615 134527020 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/17658/statm: 10113 985 69 137 0 9974 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 49152 [startup+342.301 s] /proc/loadavg: 0.99 0.69 0.30 2/108 17669 /proc/meminfo: memFree=1436828/2059040 swapFree=4192956/4192956 [pid=17657] ppid=17655 vsize=8700 CPUtime=0 /proc/17657/stat : 17657 (run) S 17655 17657 17370 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11470840 8908800 244 1992294400 4194304 4922060 140734248530576 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17657/statm: 2175 244 204 178 0 68 0 [pid=17658] ppid=17657 vsize=40452 CPUtime=342.18 /proc/17658/stat : 17658 (PB-wave) R 17657 17657 17370 0 -1 4202496 1055 0 0 0 34216 2 0 0 25 0 1 0 11470840 41422848 985 1992294400 134512640 135071400 4289823856 18446744073709551615 134526866 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/17658/statm: 10113 985 69 137 0 9974 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 49152 [startup+402.301 s] /proc/loadavg: 0.99 0.74 0.35 2/108 17671 /proc/meminfo: memFree=1436704/2059040 swapFree=4192956/4192956 [pid=17657] ppid=17655 vsize=8700 CPUtime=0 /proc/17657/stat : 17657 (run) S 17655 17657 17370 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11470840 8908800 244 1992294400 4194304 4922060 140734248530576 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17657/statm: 2175 244 204 178 0 68 0 [pid=17658] ppid=17657 vsize=40452 CPUtime=402.16 /proc/17658/stat : 17658 (PB-wave) R 17657 17657 17370 0 -1 4202496 1055 0 0 0 40214 2 0 0 25 0 1 0 11470840 41422848 985 1992294400 134512640 135071400 4289823856 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/17658/statm: 10113 985 69 137 0 9974 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 49152 [startup+462.301 s] ################ # More data... # ################ /proc/17657/stat : 17657 (run) S 17655 17657 17370 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11470840 8908800 244 1992294400 4194304 4922060 140734248530576 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17657/statm: 2175 244 204 178 0 68 0 [pid=17658] ppid=17657 vsize=40452 CPUtime=1061.95 /proc/17658/stat : 17658 (PB-wave) R 17657 17657 17370 0 -1 4202496 1055 0 0 0 106189 6 0 0 25 0 1 0 11470840 41422848 985 1992294400 134512640 135071400 4289823856 18446744073709551615 134525819 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/17658/statm: 10113 985 69 137 0 9974 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 49152 [startup+1122.3 s] /proc/loadavg: 1.07 1.00 0.69 2/108 17692 /proc/meminfo: memFree=1435464/2059040 swapFree=4192956/4192956 [pid=17657] ppid=17655 vsize=8700 CPUtime=0 /proc/17657/stat : 17657 (run) S 17655 17657 17370 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11470840 8908800 244 1992294400 4194304 4922060 140734248530576 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17657/statm: 2175 244 204 178 0 68 0 [pid=17658] ppid=17657 vsize=40452 CPUtime=1121.92 /proc/17658/stat : 17658 (PB-wave) R 17657 17657 17370 0 -1 4202496 1055 0 0 0 112186 6 0 0 25 0 1 0 11470840 41422848 985 1992294400 134512640 135071400 4289823856 18446744073709551615 134526863 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/17658/statm: 10113 985 69 137 0 9974 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.06 1.01 0.71 2/108 17694 /proc/meminfo: memFree=1435340/2059040 swapFree=4192956/4192956 [pid=17657] ppid=17655 vsize=8700 CPUtime=0 /proc/17657/stat : 17657 (run) S 17655 17657 17370 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11470840 8908800 244 1992294400 4194304 4922060 140734248530576 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17657/statm: 2175 244 204 178 0 68 0 [pid=17658] ppid=17657 vsize=40452 CPUtime=1181.9 /proc/17658/stat : 17658 (PB-wave) R 17657 17657 17370 0 -1 4202496 1055 0 0 0 118184 6 0 0 25 0 1 0 11470840 41422848 985 1992294400 134512640 135071400 4289823856 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/17658/statm: 10113 985 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.06 1.02 0.73 2/108 17696 /proc/meminfo: memFree=1435092/2059040 swapFree=4192956/4192956 [pid=17657] ppid=17655 vsize=8700 CPUtime=0 /proc/17657/stat : 17657 (run) S 17655 17657 17370 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11470840 8908800 244 1992294400 4194304 4922060 140734248530576 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17657/statm: 2175 244 204 178 0 68 0 [pid=17658] ppid=17657 vsize=40452 CPUtime=1241.88 /proc/17658/stat : 17658 (PB-wave) R 17657 17657 17370 0 -1 4202496 1055 0 0 0 124182 6 0 0 25 0 1 0 11470840 41422848 985 1992294400 134512640 135071400 4289823856 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/17658/statm: 10113 985 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.12 1.05 0.75 2/108 17698 /proc/meminfo: memFree=1434968/2059040 swapFree=4192956/4192956 [pid=17657] ppid=17655 vsize=8700 CPUtime=0 /proc/17657/stat : 17657 (run) S 17655 17657 17370 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11470840 8908800 244 1992294400 4194304 4922060 140734248530576 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17657/statm: 2175 244 204 178 0 68 0 [pid=17658] ppid=17657 vsize=40452 CPUtime=1301.88 /proc/17658/stat : 17658 (PB-wave) R 17657 17657 17370 0 -1 4202496 1055 0 0 0 130181 7 0 0 25 0 1 0 11470840 41422848 985 1992294400 134512640 135071400 4289823856 18446744073709551615 134526283 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/17658/statm: 10113 985 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.19 1.08 0.78 2/108 17699 /proc/meminfo: memFree=1434844/2059040 swapFree=4192956/4192956 [pid=17657] ppid=17655 vsize=8700 CPUtime=0 /proc/17657/stat : 17657 (run) S 17655 17657 17370 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11470840 8908800 244 1992294400 4194304 4922060 140734248530576 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17657/statm: 2175 244 204 178 0 68 0 [pid=17658] ppid=17657 vsize=40452 CPUtime=1361.85 /proc/17658/stat : 17658 (PB-wave) R 17657 17657 17370 0 -1 4202496 1055 0 0 0 136178 7 0 0 25 0 1 0 11470840 41422848 985 1992294400 134512640 135071400 4289823856 18446744073709551615 134526648 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/17658/statm: 10113 985 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.07 1.06 0.79 2/108 17700 /proc/meminfo: memFree=1434844/2059040 swapFree=4192956/4192956 [pid=17657] ppid=17655 vsize=8700 CPUtime=0 /proc/17657/stat : 17657 (run) S 17655 17657 17370 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11470840 8908800 244 1992294400 4194304 4922060 140734248530576 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17657/statm: 2175 244 204 178 0 68 0 [pid=17658] ppid=17657 vsize=40452 CPUtime=1421.83 /proc/17658/stat : 17658 (PB-wave) R 17657 17657 17370 0 -1 4202496 1055 0 0 0 142176 7 0 0 25 0 1 0 11470840 41422848 985 1992294400 134512640 135071400 4289823856 18446744073709551615 134525819 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/17658/statm: 10113 985 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.02 1.05 0.81 2/108 17702 /proc/meminfo: memFree=1434720/2059040 swapFree=4192956/4192956 [pid=17657] ppid=17655 vsize=8700 CPUtime=0 /proc/17657/stat : 17657 (run) S 17655 17657 17370 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11470840 8908800 244 1992294400 4194304 4922060 140734248530576 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17657/statm: 2175 244 204 178 0 68 0 [pid=17658] ppid=17657 vsize=40452 CPUtime=1481.81 /proc/17658/stat : 17658 (PB-wave) R 17657 17657 17370 0 -1 4202496 1055 0 0 0 148173 8 0 0 25 0 1 0 11470840 41422848 985 1992294400 134512640 135071400 4289823856 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/17658/statm: 10113 985 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.01 1.04 0.82 2/108 17704 /proc/meminfo: memFree=1434596/2059040 swapFree=4192956/4192956 [pid=17657] ppid=17655 vsize=8700 CPUtime=0 /proc/17657/stat : 17657 (run) S 17655 17657 17370 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11470840 8908800 244 1992294400 4194304 4922060 140734248530576 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17657/statm: 2175 244 204 178 0 68 0 [pid=17658] ppid=17657 vsize=40452 CPUtime=1541.79 /proc/17658/stat : 17658 (PB-wave) R 17657 17657 17370 0 -1 4202496 1055 0 0 0 154171 8 0 0 25 0 1 0 11470840 41422848 985 1992294400 134512640 135071400 4289823856 18446744073709551615 134525713 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/17658/statm: 10113 985 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.00 1.03 0.82 2/108 17706 /proc/meminfo: memFree=1434596/2059040 swapFree=4192956/4192956 [pid=17657] ppid=17655 vsize=8700 CPUtime=0 /proc/17657/stat : 17657 (run) S 17655 17657 17370 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11470840 8908800 244 1992294400 4194304 4922060 140734248530576 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17657/statm: 2175 244 204 178 0 68 0 [pid=17658] ppid=17657 vsize=40452 CPUtime=1601.78 /proc/17658/stat : 17658 (PB-wave) R 17657 17657 17370 0 -1 4202496 1055 0 0 0 160169 9 0 0 25 0 1 0 11470840 41422848 985 1992294400 134512640 135071400 4289823856 18446744073709551615 134526336 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/17658/statm: 10113 985 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.00 1.02 0.83 2/108 17707 /proc/meminfo: memFree=1434472/2059040 swapFree=4192956/4192956 [pid=17657] ppid=17655 vsize=8700 CPUtime=0 /proc/17657/stat : 17657 (run) S 17655 17657 17370 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11470840 8908800 244 1992294400 4194304 4922060 140734248530576 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17657/statm: 2175 244 204 178 0 68 0 [pid=17658] ppid=17657 vsize=40452 CPUtime=1661.76 /proc/17658/stat : 17658 (PB-wave) R 17657 17657 17370 0 -1 4202496 1055 0 0 0 166167 9 0 0 25 0 1 0 11470840 41422848 985 1992294400 134512640 135071400 4289823856 18446744073709551615 134526283 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/17658/statm: 10113 985 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.00 1.02 0.84 2/108 17708 /proc/meminfo: memFree=1434348/2059040 swapFree=4192956/4192956 [pid=17657] ppid=17655 vsize=8700 CPUtime=0 /proc/17657/stat : 17657 (run) S 17655 17657 17370 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11470840 8908800 244 1992294400 4194304 4922060 140734248530576 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17657/statm: 2175 244 204 178 0 68 0 [pid=17658] ppid=17657 vsize=40452 CPUtime=1721.73 /proc/17658/stat : 17658 (PB-wave) R 17657 17657 17370 0 -1 4202496 1055 0 0 0 172164 9 0 0 25 0 1 0 11470840 41422848 985 1992294400 134512640 135071400 4289823856 18446744073709551615 134526834 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/17658/statm: 10113 985 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.00 1.01 0.84 2/108 17710 /proc/meminfo: memFree=1434224/2059040 swapFree=4192956/4192956 [pid=17657] ppid=17655 vsize=8700 CPUtime=0 /proc/17657/stat : 17657 (run) S 17655 17657 17370 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11470840 8908800 244 1992294400 4194304 4922060 140734248530576 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17657/statm: 2175 244 204 178 0 68 0 [pid=17658] ppid=17657 vsize=40452 CPUtime=1781.71 /proc/17658/stat : 17658 (PB-wave) R 17657 17657 17370 0 -1 4202496 1055 0 0 0 178162 9 0 0 25 0 1 0 11470840 41422848 985 1992294400 134512640 135071400 4289823856 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/17658/statm: 10113 985 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.01 0.84 2/108 17710 /proc/meminfo: memFree=1434224/2059040 swapFree=4192956/4192956 [pid=17657] ppid=17655 vsize=8700 CPUtime=0 /proc/17657/stat : 17657 (run) S 17655 17657 17370 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11470840 8908800 244 1992294400 4194304 4922060 140734248530576 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/17657/statm: 2175 244 204 178 0 68 0 [pid=17658] ppid=17657 vsize=40452 CPUtime=1800.02 /proc/17658/stat : 17658 (PB-wave) R 17657 17657 17370 0 -1 4202496 1055 0 0 0 179993 9 0 0 25 0 1 0 11470840 41422848 985 1992294400 134512640 135071400 4289823856 18446744073709551615 134526331 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/17658/statm: 10113 985 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) SSolver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1800.62 CPU time (s): 1800.04 CPU user time (s): 1799.93 CPU system time (s): 0.102984 CPU usage (%): 99.9678 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.93 system time used= 0.102984 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1428 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 9968 runsolver used 3.3095 second user time and 8.31673 second system time The end
Begin job on node012 at 2010-07-06 18:09:38 IDJOB=2684678 IDBENCH=73284 IDSOLVER=1171 FILE ID=node012/2684678-1278432578 PBS_JOBID= 11233459 Free space on /tmp= 62484 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j30/normalized-j3029_6-sat.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2684678-1278432578/watcher-2684678-1278432578 -o /tmp/evaluation-result-2684678-1278432578/solver-2684678-1278432578 -C 1800 -W 2000 -M 1800 run HOME/instance-2684678-1278432578.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 39b121eedec0f13027beba32f35754bd RANDOM SEED=2067182163 node012.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.248 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.49 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.248 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: 1441952 kB Buffers: 101652 kB Cached: 378140 kB SwapCached: 0 kB Active: 168012 kB Inactive: 371956 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1441952 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 1440 kB Writeback: 0 kB AnonPages: 60204 kB Mapped: 14416 kB Slab: 55120 kB PageTables: 4152 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181120 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= 62484 MiB End job on node012 at 2010-07-06 18:39:39