Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.03 | 1800.51 |
Name | /DEC-SMALLINT-LIN/oliveras/j60/ normalized-j606_1-unsat.opb |
MD5SUM | 23a08531bb1ecb66ad5007046f660b62 |
Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.089986 |
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 | 7320 |
Total number of constraints | 22689 |
Number of constraints which are clauses | 22453 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 236 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 32 |
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 | 31 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 220 |
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.06 c PB-wave - v2 0.00/0.06 c command line = ./PB-wave 0.00/0.06 c seed = 70338976 0.00/0.06 c cutoff = 1000000 0.00/0.06 c tries = 1000000 0.00/0.06 c heuristic = c best, noise 50 / 100 0.00/0.06 #var 7320 #con 22689 0.00/0.06 mode is SAT 0.00/0.06 c tail starts after flip = 21960 0.00/0.06 c numatom = 7320, numclause = 22689, numliterals = 55017 0.00/0.06 c wff read in 0.00/0.06 c 0.00/0.06 c lowest final avg noise noise total avg mean mean 0.00/0.06 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.06 c this this this this this this success success until std 0.00/0.06 c try try try try try try rate tries assign dev 0.00/0.06 c 1.19/1.23 c 239 431 407.01 50.99 7.98 1000000 0 2.39/2.40 c 237 354 406.58 53.75 7.56 1000000 0 3.49/3.57 c 252 405 415.18 54.93 7.56 1000000 0 4.68/4.74 c 244 392 406.73 58.00 7.01 1000000 0 5.78/5.87 c 243 390 425.79 52.69 8.08 1000000 0 6.98/7.05 c 259 394 406.33 53.81 7.55 1000000 0 8.18/8.22 c 249 400 415.00 54.04 7.68 1000000 0 9.28/9.39 c 247 385 412.76 53.08 7.78 1000000 0 10.48/10.56 c 254 469 404.21 53.04 7.62 1000000 0 11.68/11.73 c 249 403 408.56 52.76 7.74 1000000 0 12.78/12.90 c 259 407 414.92 47.87 8.67 1000000 0 13.98/14.07 c 241 389 409.57 57.29 7.15 1000000 0 15.18/15.24 c 267 401 412.59 53.33 7.74 1000000 0 16.39/16.41 c 254 370 411.95 54.48 7.56 1000000 0 17.49/17.58 c 210 415 408.63 56.16 7.28 1000000 0 18.68/18.75 c 284 447 416.70 45.14 9.23 1000000 0 19.88/19.93 c 214 406 417.89 53.09 7.87 1000000 0 21.08/21.10 c 240 427 409.39 53.35 7.67 1000000 0 22.18/22.26 c 249 497 415.11 48.53 8.55 1000000 0 23.38/23.43 c 263 363 409.09 49.02 8.35 1000000 0 24.58/24.60 c 250 465 415.69 53.85 7.72 1000000 0 25.68/25.78 c 245 354 414.65 57.95 7.16 1000000 0 26.87/26.94 c 249 460 413.09 56.59 7.30 1000000 0 28.07/28.11 c 236 430 408.58 56.68 7.21 1000000 0 29.17/29.28 c 236 340 406.99 50.47 8.06 1000000 0 30.37/30.45 c 251 391 412.62 55.11 7.49 1000000 0 31.57/31.62 c 264 404 413.20 48.90 8.45 1000000 0 32.77/32.80 c 237 446 411.58 49.81 8.26 1000000 0 33.87/33.97 c 268 341 419.14 48.99 8.56 1000000 0 35.08/35.14 c 216 420 412.79 52.85 7.81 1000000 0 36.28/36.31 c 220 378 408.92 50.61 8.08 1000000 0 37.38/37.48 c 221 318 414.90 56.69 7.32 1000000 0 38.57/38.65 c 245 427 417.07 51.60 8.08 1000000 0 39.77/39.82 c 267 403 413.86 52.75 7.85 1000000 0 40.87/40.99 c 220 482 396.42 52.06 7.61 1000000 0 42.07/42.16 c 253 423 407.34 52.13 7.81 1000000 0 43.27/43.33 c 246 470 416.85 53.42 7.80 1000000 0 44.47/44.50 c 275 437 423.62 57.98 7.31 1000000 0 45.57/45.67 c 257 428 413.38 49.43 8.36 1000000 0 46.77/46.84 c 246 392 407.03 59.99 6.78 1000000 0 47.97/48.01 c 262 376 414.59 48.34 8.58 1000000 0 49.07/49.19 c 248 467 411.73 48.49 8.49 1000000 0 50.27/50.36 c 218 380 414.29 52.62 7.87 1000000 0 51.47/51.53 c 223 283 407.65 50.84 8.02 1000000 0 52.67/52.70 c 231 433 410.59 56.55 7.26 1000000 0 53.77/53.87 c 251 461 409.14 53.82 7.60 1000000 0 54.97/55.04 c 230 419 411.10 53.02 7.75 1000000 0 56.17/56.21 c 240 465 419.45 52.35 8.01 1000000 0 57.27/57.38 c 241 475 405.00 50.80 7.97 1000000 0 58.47/58.55 c 235 417 410.40 51.03 8.04 1000000 0 59.66/59.73 c 244 403 419.51 56.89 7.37 1000000 0 60.76/60.89 c 258 427 404.62 47.52 8.51 1000000 0 61.96/62.07 c 243 403 405.48 52.18 7.77 1000000 0 63.16/63.24 c 247 365 415.26 51.38 8.08 1000000 0 64.36/64.41 c 258 423 413.18 49.36 8.37 1000000 0 65.46/65.58 c 269 396 412.23 51.91 7.94 1000000 0 66.66/66.75 c 262 361 415.94 49.19 8.45 1000000 0 67.86/67.92 c 230 332 402.74 48.56 8.29 1000000 0 68.96/69.09 c 259 446 408.33 51.81 7.88 1000000 0 70.16/70.26 c 246 325 408.99 56.78 7.20 1000000 0 71.37/71.43 c 255 504 418.92 52.13 8.04 1000000 0 72.47/72.60 c 257 416 402.94 49.42 8.15 1000000 0 73.67/73.77 c 267 535 412.48 49.84 8.28 1000000 0 74.86/74.94 c 251 321 412.23 52.80 7.81 1000000 0 76.06/76.11 c 209 374 410.12 54.12 7.58 1000000 0 77.16/77.28 c 257 305 409.11 53.27 7.68 1000000 0 78.36/78.45 c 239 380 414.34 46.59 8.89 1000000 0 79.56/79.62 c 256 360 419.41 58.99 7.11 1000000 0 80.66/80.79 c 265 437 406.37 45.39 8.95 1000000 0 81.86/81.96 c 218 380 410.08 56.15 7.30 1000000 0 83.06/83.13 c 259 481 414.99 52.11 7.96 1000000 0 84.26/84.30 c 257 417 415.16 57.09 7.27 1000000 0 85.36/85.47 c 247 371 413.75 54.88 7.54 1000000 0 86.56/86.64 c 258 386 412.80 54.36 7.59 1000000 0 87.76/87.81 c 249 462 415.52 52.37 7.93 1000000 0 88.86/88.99 c 270 470 411.29 49.45 8.32 1000000 0 90.06/90.16 c 267 357 411.12 51.39 8.00 1000000 0 91.27/91.33 c 267 432 414.33 53.34 7.77 1000000 0 92.46/92.50 c 254 363 423.93 55.37 7.66 1000000 0 93.56/93.67 c 260 365 403.23 56.35 7.16 1000000 0 94.76/94.84 c 221 376 405.29 56.15 7.22 1000000 0 95.96/96.02 c 232 458 404.93 62.29 6.50 1000000 0 97.06/97.19 c 264 335 416.40 59.68 6.98 1000000 0 98.26/98.35 c 273 389 420.80 51.00 8.25 1000000 0 99.45/99.52 c 254 406 415.12 49.92 8.32 1000000 0 100.55/100.70 c 254 290 425.92 58.51 7.28 1000000 0 101.75/101.87 c 246 449 424.45 59.85 7.09 1000000 0 102.95/103.04 c 248 345 413.86 52.89 7.83 1000000 0 104.15/104.21 c 237 481 412.48 54.88 7.52 1000000 0 105.25/105.38 c 217 341 414.73 53.49 7.75 1000000 0 106.45/106.55 c 281 414 419.97 54.27 7.74 1000000 0 107.66/107.72 c 251 431 418.18 54.14 7.72 1000000 0 108.76/108.89 c 224 454 407.86 59.15 6.90 1000000 0 109.96/110.06 c 267 406 411.06 48.34 8.50 1000000 0 111.15/111.23 c 256 448 413.95 49.48 8.37 1000000 0 112.35/112.40 c 235 506 412.53 56.16 7.35 1000000 0 113.45/113.57 c 253 410 422.90 51.53 8.21 1000000 0 114.65/114.74 c 247 328 417.69 54.40 7.68 1000000 0 115.85/115.92 c 251 425 421.92 50.89 8.29 1000000 0 116.95/117.08 c 252 408 408.13 50.33 8.11 1000000 0 118.15/118.25 c 264 435 417.45 49.27 8.47 1000000 0 119.35/119.42 c 249 372 414.83 52.20 7.95 1000000 0 120.45/120.59 c 268 434 403.74 51.39 7.86 1000000 0 121.65/121.77 c 204 451 416.23 50.96 8.17 1000000 0 122.85/122.94 c 248 461 407.26 50.35 8.09 1000000 0 124.05/124.11 c 261 414 402.36 54.87 7.33 1000000 0 125.15/125.28 c 264 385 410.44 47.42 8.66 1000000 0 126.36/126.45 c 259 433 410.83 48.34 8.50 1000000 0 127.56/127.62 c 247 537 419.50 49.36 8.50 1000000 0 128.66/128.79 c 273 410 422.85 51.16 8.27 1000000 0 129.85/129.96 c 240 463 403.39 46.18 8.74 1000000 0 131.05/131.14 c 262 371 411.21 53.91 7.63 1000000 0 132.25/132.31 c 249 408 411.06 50.44 8.15 1000000 0 133.35/133.48 c 262 518 414.30 57.49 7.21 1000000 0 134.55/134.65 c 237 426 422.67 58.16 7.27 1000000 0 135.75/135.83 c 230 468 422.47 49.36 8.56 1000000 0 136.85/137.00 c 264 303 407.32 52.03 7.83 1000000 0 138.05/138.17 c 250 399 417.96 54.60 7.66 1000000 0 139.24/139.34 c 229 380 403.73 53.05 7.61 1000000 0 140.44/140.51 c 264 332 414.03 48.68 8.51 1000000 0 141.54/141.68 c 238 482 415.78 53.00 7.84 1000000 0 142.74/142.85 c 243 494 411.95 46.48 8.86 1000000 0 143.95/144.02 c 233 384 419.01 57.40 7.30 1000000 0 145.05/145.19 c 252 450 417.89 49.83 8.39 1000000 0 146.25/146.36 c 246 433 410.41 47.43 8.65 1000000 0 147.44/147.53 c 244 389 410.07 51.46 7.97 1000000 0 148.64/148.71 c 242 385 412.89 51.65 7.99 1000000 0 149.74/149.88 c 233 499 404.76 53.83 7.52 1000000 0 150.94/151.05 c 264 418 410.57 54.33 7.56 1000000 0 152.14/152.22 c 245 340 412.54 49.95 8.26 1000000 0 153.24/153.39 c 257 485 420.09 53.58 7.84 1000000 0 154.44/154.56 c 261 436 408.51 49.82 8.20 1000000 0 155.64/155.73 c 232 384 411.23 54.62 7.53 1000000 0 156.84/156.90 c 261 412 415.20 53.31 7.79 1000000 0 157.94/158.07 c 251 430 412.69 54.20 7.61 1000000 0 159.14/159.24 c 236 342 414.13 56.77 7.29 1000000 0 160.34/160.41 c 254 379 408.26 51.09 7.99 1000000 0 161.44/161.57 c 277 438 413.80 50.05 8.27 1000000 0 162.65/162.74 c 271 430 420.68 56.84 7.40 1000000 0 163.84/163.92 c 228 421 402.55 48.00 8.39 1000000 0 164.94/165.08 c 250 374 412.44 54.96 7.50 1000000 0 166.14/166.25 c 258 393 414.61 51.72 8.02 1000000 0 167.34/167.42 c 262 396 413.54 52.88 7.82 1000000 0 168.44/168.59 c 255 394 412.76 48.85 8.45 1000000 0 169.64/169.76 c 257 344 414.53 49.08 8.45 1000000 0 170.84/170.93 c 223 420 411.96 54.90 7.50 1000000 0 172.04/172.11 c 261 447 410.43 51.92 7.91 1000000 0 173.13/173.28 c 250 458 414.77 53.03 7.82 1000000 0 174.33/174.45 c 240 382 417.32 60.78 6.87 1000000 0 175.53/175.63 c 235 420 417.84 54.11 7.72 1000000 0 176.73/176.80 c 266 402 406.74 51.49 7.90 1000000 0 177.83/177.97 c 274 382 413.56 48.26 8.57 1000000 0 179.03/179.14 c 265 464 421.92 50.85 8.30 1000000 0 180.24/180.31 c 227 333 405.96 47.96 8.47 1000000 0 181.34/181.47 c 247 445 410.29 50.60 8.11 1000000 0 182.54/182.65 c 231 444 408.93 55.58 7.36 1000000 0 183.73/183.81 c 243 336 407.80 52.53 7.76 1000000 0 184.83/184.99 c 260 404 420.94 54.92 7.66 1000000 0 186.03/186.15 c 269 417 405.25 50.25 8.06 1000000 0 187.23/187.33 c 255 471 408.98 49.34 8.29 1000000 0 188.33/188.50 c 247 350 413.33 48.96 8.44 1000000 0 189.53/189.67 c 240 390 415.50 49.23 8.44 1000000 0 190.73/190.84 c 263 482 415.57 53.19 7.81 1000000 0 191.93/192.01 c 272 469 414.93 57.97 7.16 1000000 0 193.03/193.18 c 252 424 418.96 51.62 8.12 1000000 0 194.23/194.34 c 256 376 409.65 51.58 7.94 1000000 0 195.43/195.52 c 264 407 415.52 49.01 8.48 1000000 0 196.53/196.68 c 262 330 415.03 55.88 7.43 1000000 0 197.73/197.85 c 267 362 418.90 51.27 8.17 1000000 0 198.93/199.02 c 246 412 413.12 55.80 7.40 1000000 0 200.04/200.19 c 253 341 409.86 52.81 7.76 1000000 0 201.24/201.36 c 246 483 411.38 49.10 8.38 1000000 0 202.43/202.53 c 253 513 420.75 50.42 8.34 1000000 0 203.63/203.70 c 254 444 400.93 48.38 8.29 1000000 0 204.73/204.88 c 263 391 417.40 51.17 8.16 1000000 0 205.93/206.04 c 243 433 415.94 52.34 7.95 1000000 0 207.13/207.21 c 245 439 409.14 52.65 7.77 1000000 0 208.23/208.38 c 248 401 413.93 55.44 7.47 1000000 0 209.43/209.55 c 225 489 398.52 47.59 8.37 1000000 0 210.63/210.72 c 257 384 418.16 51.24 8.16 1000000 0 211.73/211.89 c 249 469 422.10 53.40 7.90 1000000 0 212.93/213.06 c 235 478 424.05 52.71 8.05 1000000 0 214.13/214.23 c 257 406 407.43 55.71 7.31 1000000 0 215.32/215.41 c 264 517 417.76 53.91 7.75 1000000 0 216.42/216.58 c 238 449 421.73 55.00 7.67 1000000 0 217.63/217.75 c 247 339 419.31 48.85 8.58 1000000 0 218.83/218.92 c 254 434 414.86 51.92 7.99 1000000 0 219.93/220.09 c 242 424 420.44 54.94 7.65 1000000 0 221.12/221.26 c 229 408 409.74 53.79 7.62 1000000 0 222.32/222.43 c 260 388 414.40 50.50 8.21 1000000 0 223.52/223.60 c 253 452 413.44 48.92 8.45 1000000 0 224.62/224.77 c 255 346 400.14 55.36 7.23 1000000 0 225.82/225.94 c 233 443 411.04 56.44 7.28 1000000 0 227.02/227.11 c 244 375 411.41 56.64 7.26 1000000 0 228.12/228.28 c 247 471 421.54 50.25 8.39 1000000 0 229.32/229.45 c 243 430 406.89 50.26 8.10 1000000 0 230.52/230.62 c 271 507 405.46 47.97 8.45 1000000 0 231.62/231.79 c 255 368 410.86 47.81 8.59 1000000 0 232.82/232.96 c 253 435 417.02 48.47 8.60 1000000 0 234.02/234.13 c 257 412 415.05 53.05 7.82 1000000 0 235.23/235.30 c 215 370 400.68 54.86 7.30 1000000 0 236.33/236.47 c 253 365 407.37 50.85 8.01 1000000 0 237.53/237.64 c 231 419 409.55 52.04 7.87 1000000 0 238.72/238.81 c 249 541 409.51 51.11 8.01 1000000 0 239.82/239.98 c 255 464 410.74 57.10 7.19 1000000 0 241.02/241.15 c 243 489 410.88 50.20 8.19 1000000 0 242.22/242.32 c 244 377 411.94 51.86 7.94 1000000 0 243.32/243.49 c 236 374 411.12 53.17 7.73 1000000 0 244.52/244.67 c 266 385 412.09 52.40 7.86 1000000 0 245.72/245.84 c 255 513 413.80 47.44 8.72 1000000 0 246.92/247.01 c 242 377 416.21 58.14 7.16 1000000 0 248.02/248.18 c 259 477 413.11 51.75 7.98 1000000 0 249.22/249.35 c 272 465 418.73 50.16 8.35 1000000 0 250.42/250.52 c 245 386 405.92 49.36 8.22 1000000 0 251.52/251.69 c 240 447 417.99 52.19 8.01 1000000 0 252.72/252.86 c 255 341 415.24 48.62 8.54 1000000 0 253.92/254.03 c 251 383 403.94 49.69 8.13 1000000 0 255.12/255.21 c 275 384 427.05 48.91 8.73 1000000 0 256.22/256.37 c 248 438 415.75 56.98 7.30 1000000 0 257.41/257.55 c 232 405 409.93 58.58 7.00 1000000 0 258.61/258.71 c 257 406 412.45 55.35 7.45 1000000 0 259.71/259.89 c 257 348 411.65 53.90 7.64 1000000 0 260.91/261.06 c 255 335 413.87 59.39 6.97 1000000 0 262.11/262.23 c 249 495 416.94 57.96 7.19 1000000 0 263.31/263.40 c 238 378 410.75 57.63 7.13 1000000 0 264.41/264.57 c 259 394 417.54 52.32 7.98 1000000 0 265.61/265.74 c 238 395 414.46 56.99 7.27 1000000 0 266.81/266.91 c 261 414 419.04 50.66 8.27 1000000 0 267.91/268.08 c 237 427 409.25 54.00 7.58 1000000 0 269.11/269.25 c 249 341 408.06 54.23 7.52 1000000 0 270.31/270.42 c 232 350 402.60 52.22 7.71 1000000 0 271.41/271.59 c 269 391 407.94 50.50 8.08 1000000 0 272.62/272.76 c 229 413 413.14 60.81 6.79 1000000 0 273.82/273.93 c 256 500 420.24 54.03 7.78 1000000 0 275.01/275.10 c 238 440 409.06 60.51 6.76 1000000 0 276.11/276.28 c 243 473 415.00 51.96 7.99 1000000 0 277.31/277.45 c 256 399 405.15 51.84 7.82 1000000 0 278.51/278.62 c 248 433 412.27 49.81 8.28 1000000 0 279.61/279.79 c 283 375 416.46 51.03 8.16 1000000 0 280.81/280.96 c 249 337 408.56 48.71 8.39 1000000 0 282.01/282.13 c 236 375 417.32 52.87 7.89 1000000 0 283.21/283.30 c 252 411 423.44 57.81 7.33 1000000 0 284.31/284.47 c 246 392 415.71 48.23 8.62 1000000 0 285.51/285.64 c 259 459 406.08 53.96 7.53 1000000 0 286.71/286.81 c 239 436 408.69 48.75 8.38 1000000 0 287.81/287.98 c 252 349 416.30 53.87 7.73 1000000 0 289.01/289.16 c 273 383 413.45 50.84 8.13 1000000 0 290.21/290.33 c 241 365 399.73 55.46 7.21 1000000 0 291.31/291.49 c 249 368 405.18 48.50 8.35 1000000 0 292.51/292.67 c 250 373 415.20 56.11 7.40 1000000 0 293.70/293.84 c 267 393 412.31 53.60 7.69 1000000 0 294.90/295.01 c 269 468 409.41 49.47 8.28 1000000 0 296.00/296.18 c 240 459 407.55 54.10 7.53 1000000 0 297.20/297.35 c 252 401 417.47 51.53 8.10 1000000 0 298.40/298.52 c 240 321 413.40 60.10 6.88 1000000 0 299.50/299.69 c 284 384 418.21 42.12 9.93 1000000 0 300.70/300.86 c 260 421 408.39 45.77 8.92 1000000 0 301.90/302.03 c 246 410 409.69 54.00 7.59 1000000 0 303.10/303.20 c 272 446 422.12 52.54 8.03 1000000 0 304.20/304.37 c 214 495 412.28 52.86 7.80 1000000 0 305.40/305.54 c 248 366 413.03 52.64 7.85 1000000 0 306.60/306.71 c 247 435 411.98 52.62 7.83 1000000 0 307.70/307.89 c 221 347 405.57 49.81 8.14 1000000 0 308.91/309.06 c 249 479 419.59 51.51 8.15 1000000 0 310.11/310.23 c 255 414 409.11 53.22 7.69 1000000 0 311.30/311.40 c 270 422 418.30 52.96 7.90 1000000 0 312.40/312.57 c 260 341 412.65 47.08 8.76 1000000 0 313.60/313.74 c 253 461 426.54 49.46 8.62 1000000 0 314.80/314.91 c 214 424 402.79 57.84 6.96 1000000 0 315.90/316.08 c 248 420 417.86 49.08 8.51 1000000 0 317.10/317.26 c 292 467 423.58 53.14 7.97 1000000 0 318.30/318.43 c 276 410 417.92 53.86 7.76 1000000 0 319.50/319.60 c 239 464 419.15 52.24 8.02 1000000 0 320.60/320.77 c 276 412 423.37 52.30 8.09 1000000 0 321.80/321.94 c 260 423 415.85 59.81 6.95 1000000 0 323.00/323.10 c 254 318 408.73 50.41 8.11 1000000 0 324.10/324.27 c 245 405 409.24 52.55 7.79 1000000 0 325.30/325.44 c 247 355 410.21 52.29 7.85 1000000 0 326.50/326.61 c 283 370 421.37 45.29 9.30 1000000 0 327.60/327.78 c 258 415 401.15 49.77 8.06 1000000 0 328.80/328.95 c 243 369 407.06 49.23 8.27 1000000 0 330.00/330.12 c 248 401 418.17 52.78 7.92 1000000 0 331.10/331.29 c 259 405 412.80 50.55 8.17 1000000 0 332.30/332.46 c 253 362 402.65 49.89 8.07 1000000 0 333.50/333.63 c 262 411 413.41 56.56 7.31 1000000 0 334.69/334.80 c 250 392 408.62 51.05 8.00 1000000 0 335.79/335.97 c 256 385 406.54 49.93 8.14 1000000 0 336.99/337.14 c 258 491 411.32 49.43 8.32 1000000 0 338.19/338.31 c 242 472 404.66 46.72 8.66 1000000 0 339.29/339.48 c 236 351 412.52 51.87 7.95 1000000 0 340.49/340.65 c 243 360 415.89 48.74 8.53 1000000 0 341.69/341.82 c 226 454 409.95 56.64 7.24 1000000 0 342.79/342.99 c 241 443 416.35 47.14 8.83 1000000 0 343.99/344.16 c 260 361 410.56 49.96 8.22 1000000 0 345.20/345.33 c 254 392 402.96 53.52 7.53 1000000 0 346.40/346.51 c 249 374 413.68 50.50 8.19 1000000 0 347.50/347.68 c 242 482 413.07 58.07 7.11 1000000 0 348.69/348.85 c 222 412 404.20 55.55 7.28 1000000 0 349.89/350.02 c 236 498 413.01 57.89 7.13 1000000 0 350.99/351.19 c 242 372 408.96 51.67 7.92 1000000 0 352.19/352.36 c 262 468 415.12 50.52 8.22 1000000 0 353.39/353.53 c 232 424 413.80 54.52 7.59 1000000 0 354.59/354.70 c 257 363 414.71 52.82 7.85 1000000 0 355.69/355.87 c 261 414 413.13 54.09 7.64 1000000 0 356.89/357.04 c 261 426 412.05 44.66 9.23 1000000 0 358.09/358.21 c 242 406 417.78 54.29 7.70 1000000 0 359.19/359.39 c 237 383 417.31 55.16 7.56 1000000 0 360.39/360.56 c 235 402 401.93 57.49 6.99 1000000 0 361.59/361.73 c 257 475 413.51 53.98 7.66 1000000 0 362.79/362.90 c 252 415 407.23 49.02 8.31 1000000 0 363.89/364.07 c 265 421 406.37 51.24 7.93 1000000 0 365.09/365.24 c 255 523 415.29 52.27 7.94 1000000 0 366.29/366.41 c 250 518 405.62 45.87 8.84 1000000 0 367.39/367.58 c 241 414 409.15 50.45 8.11 1000000 0 368.58/368.75 c 239 332 422.34 52.13 8.10 1000000 0 369.78/369.93 c 266 420 415.88 50.07 8.31 1000000 0 370.98/371.10 c 246 338 413.75 52.34 7.91 1000000 0 372.08/372.26 c 257 420 406.84 58.98 6.90 1000000 0 373.28/373.44 c 264 360 414.67 53.16 7.80 1000000 0 374.48/374.61 c 261 386 417.55 52.95 7.89 1000000 0 375.58/375.78 c 251 353 413.26 55.48 7.45 1000000 0 376.78/376.95 c 252 411 406.23 48.23 8.42 1000000 0 377.98/378.12 c 235 454 419.44 54.69 7.67 1000000 0 379.08/379.30 c 268 452 412.42 51.51 8.01 1000000 0 380.28/380.46 c 253 438 411.89 47.56 8.66 1000000 0 381.49/381.63 c 226 415 407.51 51.82 7.86 1000000 0 382.59/382.80 c 235 387 406.50 51.95 7.82 1000000 0 383.79/383.97 c 270 386 417.59 54.23 7.70 1000000 0 384.98/385.14 c 254 434 412.51 52.90 7.80 1000000 0 386.18/386.32 c 266 392 413.77 47.74 8.67 1000000 0 387.28/387.49 c 249 406 412.74 51.30 8.05 1000000 0 388.48/388.66 c 250 417 406.52 52.18 7.79 1000000 0 389.68/389.83 c 242 550 409.51 54.37 7.53 1000000 0 390.88/391.00 c 289 424 421.14 53.23 7.91 1000000 0 391.98/392.18 c 249 440 414.46 48.33 8.58 1000000 0 393.18/393.35 c 275 396 421.62 46.65 9.04 1000000 0 394.38/394.52 c 251 466 408.13 54.47 7.49 1000000 0 395.48/395.69 c 278 460 411.59 47.00 8.76 1000000 0 396.68/396.86 c 238 404 409.73 54.16 7.57 1000000 0 397.88/398.03 c 252 419 412.77 51.60 8.00 1000000 0 399.08/399.20 c 238 469 409.38 52.12 7.85 1000000 0 400.18/400.37 c 230 395 408.81 55.40 7.38 1000000 0 401.38/401.54 c 263 405 414.23 57.72 7.18 1000000 0 402.58/402.71 c 241 408 416.39 54.46 7.65 1000000 0 403.67/403.88 c 276 367 410.92 49.41 8.32 1000000 0 404.87/405.05 c 236 340 419.89 56.78 7.39 1000000 0 406.07/406.22 c 250 361 415.63 51.55 8.06 1000000 0 407.17/407.39 c 247 331 409.71 52.48 7.81 1000000 0 408.37/408.56 c 262 400 412.58 49.39 8.35 1000000 0 409.57/409.73 c 267 478 407.53 48.46 8.41 1000000 0 410.77/410.91 c 254 375 417.45 54.42 7.67 1000000 0 411.87/412.07 c 248 396 406.97 50.17 8.11 1000000 0 413.07/413.25 c 251 421 418.41 51.85 8.07 1000000 0 414.27/414.42 c 250 499 416.62 51.88 8.03 1000000 0 415.37/415.60 c 236 509 418.84 55.82 7.50 1000000 0 416.57/416.77 c 267 344 416.03 50.78 8.19 1000000 0 417.78/417.94 c 254 370 414.12 50.80 8.15 1000000 0 418.98/419.11 c 222 414 413.41 51.95 7.96 1000000 0 420.08/420.28 c 263 411 404.76 48.97 8.27 1000000 0 421.27/421.45 c 245 349 412.82 54.25 7.61 1000000 0 422.47/422.62 c 257 403 412.08 50.08 8.23 1000000 0 423.57/423.79 c 259 416 408.58 51.71 7.90 1000000 0 424.77/424.96 c 244 438 416.96 55.00 7.58 1000000 0 425.97/426.13 c 262 353 406.12 53.77 7.55 1000000 0 427.17/427.30 c 266 495 414.92 53.05 7.82 1000000 0 428.27/428.47 c 250 402 406.55 50.24 8.09 1000000 0 429.47/429.64 c 260 442 410.23 50.75 8.08 1000000 0 430.67/430.81 c 245 457 406.59 53.13 7.65 1000000 0 431.77/431.98 c 244 438 403.25 50.24 8.03 1000000 0 432.97/433.16 c 237 366 398.93 50.37 7.92 1000000 0 434.17/434.33 c 250 325 418.65 51.54 8.12 1000000 0 435.37/435.50 c 277 319 413.02 54.01 7.65 1000000 0 436.47/436.67 c 233 393 410.25 52.09 7.88 1000000 0 437.67/437.84 c 231 406 407.32 50.39 8.08 1000000 0 438.87/439.01 c 215 329 408.99 52.42 7.80 1000000 0 439.97/440.18 c 246 391 407.95 56.59 7.21 1000000 0 441.17/441.35 c 249 386 410.56 52.81 7.77 1000000 0 442.37/442.53 c 261 431 405.46 48.56 8.35 1000000 0 443.47/443.69 c 236 374 414.61 57.06 7.27 1000000 0 444.67/444.86 c 261 385 412.23 52.16 7.90 1000000 0 445.87/446.04 c 239 361 413.15 56.35 7.33 1000000 0 447.06/447.21 c 257 395 424.38 53.88 7.88 1000000 0 448.16/448.38 c 257 294 422.16 48.07 8.78 1000000 0 449.36/449.55 c 270 440 412.24 52.93 7.79 1000000 0 450.56/450.72 c 234 461 409.77 55.89 7.33 1000000 0 451.66/451.89 c 254 491 404.06 46.93 8.61 1000000 0 452.86/453.06 c 270 338 416.80 48.55 8.59 1000000 0 454.07/454.23 c 251 367 416.99 52.30 7.97 1000000 0 455.17/455.40 c 239 374 410.52 55.14 7.44 1000000 0 456.37/456.57 c 223 404 411.49 52.93 7.77 1000000 0 457.56/457.74 c 242 469 423.41 56.33 7.52 1000000 0 458.76/458.92 c 242 452 419.71 51.52 8.15 1000000 0 459.86/460.09 c 280 412 419.25 50.78 8.26 1000000 0 461.06/461.26 c 236 463 420.09 49.25 8.53 1000000 0 462.26/462.43 c 236 484 413.17 53.72 7.69 1000000 0 463.46/463.61 c 241 369 392.97 50.93 7.72 1000000 0 464.56/464.78 c 253 386 427.58 52.79 8.10 1000000 0 465.76/465.95 c 245 375 411.45 52.55 7.83 1000000 0 466.96/467.11 c 258 530 411.71 50.30 8.18 1000000 0 468.06/468.29 c 243 416 421.96 52.62 8.02 1000000 0 469.26/469.46 c 246 379 408.26 49.21 8.30 1000000 0 470.46/470.63 c 258 442 412.62 49.91 8.27 1000000 0 471.56/471.79 c 227 482 403.66 56.25 7.18 1000000 0 472.76/472.96 c 225 388 423.60 50.58 8.38 1000000 0 473.96/474.14 c 255 364 413.51 52.47 7.88 1000000 0 475.16/475.31 c 248 431 411.83 50.92 8.09 1000000 0 476.26/476.48 c 258 479 410.76 52.21 7.87 1000000 0 477.46/477.65 c 236 463 410.09 56.30 7.28 1000000 0 478.66/478.82 c 250 422 411.16 56.49 7.28 1000000 0 479.76/479.99 c 230 391 417.32 54.01 7.73 1000000 0 480.96/481.16 c 224 435 408.43 49.60 8.24 1000000 0 482.16/482.33 c 266 403 413.11 49.15 8.41 1000000 0 483.36/483.50 c 265 378 416.33 52.64 7.91 1000000 0 484.46/484.67 c 214 386 402.79 56.03 7.19 1000000 0 485.66/485.84 c 247 346 396.34 51.40 7.71 1000000 0 486.85/487.01 c 265 423 410.06 49.15 8.34 1000000 0 487.95/488.18 c 255 459 414.83 52.54 7.90 1000000 0 489.15/489.35 c 255 370 416.38 50.25 8.29 1000000 0 490.36/490.52 c 265 355 408.70 52.51 7.78 1000000 0 491.46/491.69 c 244 405 408.49 52.82 7.73 1000000 0 492.66/492.86 c 249 462 409.28 51.00 8.02 1000000 0 493.85/494.03 c 258 440 414.67 49.94 8.30 1000000 0 495.05/495.21 c 267 438 424.27 50.98 8.32 1000000 0 496.15/496.38 c 265 410 407.51 51.13 7.97 1000000 0 497.35/497.55 c 249 420 415.78 52.10 7.98 1000000 0 498.55/498.73 c 245 324 404.02 55.04 7.34 1000000 0 499.65/499.90 c 255 473 401.86 53.08 7.57 1000000 0 500.85/501.07 c 276 360 412.08 48.64 8.47 1000000 0 502.05/502.24 c 236 459 405.32 50.21 8.07 1000000 0 503.25/503.41 c 258 389 422.06 58.34 7.23 1000000 0 504.35/504.58 c 255 407 405.93 52.57 7.72 1000000 0 505.55/505.75 c 240 357 407.60 47.88 8.51 1000000 0 506.75/506.92 c 249 446 425.27 55.83 7.62 1000000 0 507.85/508.09 c 252 442 420.42 51.71 8.13 1000000 0 509.05/509.26 c 256 427 419.51 56.78 7.39 1000000 0 510.25/510.43 c 281 427 414.98 49.77 8.34 1000000 0 511.45/511.61 c 257 387 414.18 55.80 7.42 1000000 0 512.55/512.78 c 240 451 406.78 49.60 8.20 1000000 0 513.75/513.95 c 262 408 407.25 46.39 8.78 1000000 0 514.95/515.12 c 242 439 421.67 51.10 8.25 1000000 0 516.04/516.29 c 238 473 404.64 52.69 7.68 1000000 0 517.24/517.46 c 205 335 414.69 59.72 6.94 1000000 0 518.44/518.64 c 255 376 413.81 51.82 7.98 1000000 0 519.65/519.81 c 215 456 410.84 51.10 8.04 1000000 0 520.74/520.98 c 257 383 416.30 48.91 8.51 1000000 0 521.94/522.15 c 256 455 400.23 49.38 8.11 1000000 0 523.14/523.32 c 240 323 400.73 53.98 7.42 1000000 0 524.24/524.49 c 266 427 413.88 51.61 8.02 1000000 0 525.44/525.66 c 229 431 418.34 52.91 7.91 1000000 0 526.65/526.83 c 242 508 416.22 55.15 7.55 1000000 0 527.85/528.00 c 245 362 408.46 55.99 7.29 1000000 0 528.95/529.18 c 267 458 415.80 52.01 8.00 1000000 0 530.14/530.35 c 245 390 409.91 57.01 7.19 1000000 0 531.34/531.51 c 240 461 406.49 48.54 8.37 1000000 0 532.44/532.68 c 269 455 402.86 45.93 8.77 1000000 0 533.64/533.85 c 239 394 404.10 55.06 7.34 1000000 0 534.84/535.03 c 236 402 409.02 51.39 7.96 1000000 0 535.94/536.20 c 263 440 414.47 53.91 7.69 1000000 0 537.14/537.36 c 250 429 420.58 55.82 7.53 1000000 0 538.34/538.53 c 246 365 413.57 51.87 7.97 1000000 0 539.54/539.71 c 247 457 415.93 58.01 7.17 1000000 0 540.64/540.87 c 245 486 418.26 56.73 7.37 1000000 0 541.84/542.04 c 245 418 413.07 55.99 7.38 1000000 0 543.04/543.21 c 258 432 423.07 55.37 7.64 1000000 0 544.14/544.38 c 237 407 407.50 54.18 7.52 1000000 0 545.35/545.55 c 268 450 409.91 51.10 8.02 1000000 0 546.54/546.72 c 225 420 404.18 48.80 8.28 1000000 0 547.64/547.89 c 231 426 412.51 51.92 7.94 1000000 0 548.84/549.06 c 194 356 414.71 50.32 8.24 1000000 0 550.04/550.23 c 247 400 409.34 51.70 7.92 1000000 0 551.24/551.40 c 254 332 416.49 50.01 8.33 1000000 0 552.34/552.58 c 258 497 410.88 48.98 8.39 1000000 0 553.54/553.75 c 225 426 417.29 50.28 8.30 1000000 0 554.74/554.91 c 261 516 404.45 50.35 8.03 1000000 0 555.84/556.09 c 256 339 411.93 52.09 7.91 1000000 0 557.04/557.26 c 248 383 402.14 59.74 6.73 1000000 0 558.23/558.43 c 249 407 408.67 50.67 8.07 1000000 0 559.43/559.60 c 251 367 411.24 56.26 7.31 1000000 0 560.53/560.77 c 254 376 406.47 51.29 7.92 1000000 0 561.73/561.93 c 257 476 412.18 50.03 8.24 1000000 0 562.94/563.10 c 274 428 417.43 50.74 8.23 1000000 0 564.04/564.28 c 257 413 420.27 51.41 8.17 1000000 0 565.24/565.45 c 250 388 412.64 50.33 8.20 1000000 0 566.43/566.62 c 240 386 404.69 50.31 8.04 1000000 0 567.53/567.79 c 264 369 411.40 47.52 8.66 1000000 0 568.73/568.96 c 258 455 411.22 47.26 8.70 1000000 0 569.93/570.13 c 245 385 406.60 55.04 7.39 1000000 0 571.13/571.30 c 241 294 404.76 49.95 8.10 1000000 0 572.23/572.47 c 255 351 411.16 51.86 7.93 1000000 0 573.43/573.64 c 255 331 403.32 54.56 7.39 1000000 0 574.63/574.81 c 242 475 418.10 52.13 8.02 1000000 0 575.73/575.98 c 244 421 400.72 48.96 8.18 1000000 0 576.93/577.15 c 251 455 417.85 51.28 8.15 1000000 0 578.13/578.33 c 260 391 412.53 56.84 7.26 1000000 0 579.33/579.50 c 235 410 412.19 50.78 8.12 1000000 0 580.43/580.67 c 260 429 418.24 50.88 8.22 1000000 0 581.63/581.84 c 246 398 413.24 51.24 8.06 1000000 0 582.83/583.01 c 240 334 414.12 50.99 8.12 1000000 0 583.93/584.18 c 258 532 415.05 49.45 8.39 1000000 0 585.13/585.36 c 274 345 418.48 53.00 7.90 1000000 0 586.33/586.52 c 214 473 408.40 55.99 7.29 1000000 0 587.53/587.70 c 266 346 420.97 58.29 7.22 1000000 0 588.63/588.87 c 270 454 414.66 51.71 8.02 1000000 0 589.83/590.03 c 253 335 409.29 51.19 8.00 1000000 0 591.03/591.20 c 256 351 415.87 52.67 7.90 1000000 0 592.12/592.37 c 247 487 413.63 49.61 8.34 1000000 0 593.32/593.54 c 247 317 406.11 55.71 7.29 1000000 0 594.52/594.71 c 242 415 416.17 55.38 7.52 1000000 0 595.62/595.88 c 228 445 413.71 50.04 8.27 1000000 0 596.82/597.05 c 259 378 409.15 53.38 7.67 1000000 0 598.02/598.22 c 273 337 420.45 52.65 7.99 1000000 0 599.12/599.39 c 258 472 409.67 53.61 7.64 1000000 0 600.33/600.56 c 277 466 417.92 44.53 9.39 1000000 0 601.53/601.73 c 265 401 411.07 51.04 8.05 1000000 0 602.63/602.90 c 274 494 429.27 50.31 8.53 1000000 0 603.82/604.06 c 226 377 410.54 53.76 7.64 1000000 0 605.02/605.23 c 243 434 420.80 51.51 8.17 1000000 0 606.22/606.40 c 240 397 407.36 47.36 8.60 1000000 0 607.32/607.58 c 254 374 411.92 53.97 7.63 1000000 0 608.52/608.74 c 242 436 414.27 52.85 7.84 1000000 0 609.72/609.92 c 256 308 403.55 50.46 8.00 1000000 0 610.82/611.09 c 277 378 422.91 52.61 8.04 1000000 0 612.02/612.26 c 233 421 415.04 53.46 7.76 1000000 0 613.22/613.43 c 268 326 419.99 53.62 7.83 1000000 0 614.32/614.59 c 261 428 405.69 46.51 8.72 1000000 0 615.52/615.77 c 253 341 401.48 50.06 8.02 1000000 0 616.72/616.94 c 230 448 411.80 54.33 7.58 1000000 0 617.92/618.11 c 271 306 406.27 45.48 8.93 1000000 0 619.02/619.28 c 257 425 414.92 55.11 7.53 1000000 0 620.22/620.46 c 256 417 408.09 49.27 8.28 1000000 0 621.42/621.63 c 263 440 417.16 47.39 8.80 1000000 0 622.62/622.80 c 262 558 412.56 51.52 8.01 1000000 0 623.72/623.97 c 257 468 422.04 56.28 7.50 1000000 0 624.92/625.14 c 222 408 405.10 48.37 8.38 1000000 0 626.12/626.31 c 248 344 414.27 54.60 7.59 1000000 0 627.22/627.48 c 252 362 415.49 50.56 8.22 1000000 0 628.42/628.65 c 229 376 406.42 51.01 7.97 1000000 0 629.61/629.83 c 236 336 410.39 55.48 7.40 1000000 0 630.71/630.99 c 269 405 410.14 54.66 7.50 1000000 0 631.91/632.16 c 253 517 413.07 48.29 8.55 1000000 0 633.11/633.33 c 237 506 418.28 56.63 7.39 1000000 0 634.31/634.50 c 209 414 399.61 54.23 7.37 1000000 0 635.41/635.67 c 225 347 411.78 51.88 7.94 1000000 0 636.62/636.85 c 250 461 410.00 52.29 7.84 1000000 0 637.82/638.02 c 236 447 399.42 51.36 7.78 1000000 0 638.92/639.19 c 246 407 409.08 46.80 8.74 1000000 0 640.11/640.36 c 271 396 426.00 47.78 8.92 1000000 0 641.31/641.53 c 252 356 406.84 51.65 7.88 1000000 0 642.51/642.70 c 254 319 409.21 55.07 7.43 1000000 0 643.61/643.87 c 248 449 416.43 52.63 7.91 1000000 0 644.81/645.04 c 264 449 410.21 45.07 9.10 1000000 0 646.01/646.21 c 238 376 410.15 53.53 7.66 1000000 0 647.11/647.38 c 240 422 400.77 54.07 7.41 1000000 0 648.31/648.55 c 261 476 412.11 50.97 8.09 1000000 0 649.51/649.72 c 280 358 415.43 50.39 8.24 1000000 0 650.61/650.89 c 261 424 410.94 57.98 7.09 1000000 0 651.81/652.07 c 235 392 420.37 49.72 8.45 1000000 0 653.01/653.24 c 230 387 407.92 53.67 7.60 1000000 0 654.22/654.41 c 244 444 409.14 52.21 7.84 1000000 0 655.31/655.58 c 260 489 403.06 50.02 8.06 1000000 0 656.51/656.75 c 271 333 420.97 48.91 8.61 1000000 0 657.71/657.92 c 252 496 410.14 49.00 8.37 1000000 0 658.81/659.09 c 233 426 416.95 50.38 8.28 1000000 0 660.00/660.26 c 223 431 414.28 49.33 8.40 1000000 0 661.20/661.43 c 274 408 416.66 53.30 7.82 1000000 0 662.40/662.60 c 241 387 405.85 53.16 7.63 1000000 0 663.50/663.77 c 253 517 413.39 57.91 7.14 1000000 0 664.70/664.94 c 273 433 420.09 59.21 7.10 1000000 0 665.90/666.11 c 237 464 420.77 58.86 7.15 1000000 0 667.00/667.28 c 272 372 412.01 49.00 8.41 1000000 0 668.20/668.45 c 257 459 410.16 53.57 7.66 1000000 0 669.40/669.62 c 255 456 411.49 52.94 7.77 1000000 0 670.50/670.79 c 243 414 411.99 51.32 8.03 1000000 0 671.70/671.96 c 253 364 409.50 48.82 8.39 1000000 0 672.91/673.13 c 213 397 403.91 52.54 7.69 1000000 0 674.11/674.31 c 235 324 404.85 55.06 7.35 1000000 0 675.21/675.48 c 261 437 418.32 55.70 7.51 1000000 0 676.40/676.65 c 257 372 411.86 52.38 7.86 1000000 0 677.60/677.82 c 248 355 411.78 53.41 7.71 1000000 0 678.70/678.99 c 287 461 413.95 52.17 7.93 1000000 0 679.90/680.16 c 249 424 422.98 53.19 7.95 1000000 0 681.10/681.34 c 247 367 408.71 56.05 7.29 1000000 0 682.30/682.51 c 249 377 417.55 51.63 8.09 1000000 0 683.40/683.68 c 256 428 406.97 51.42 7.91 1000000 0 684.60/684.85 c 256 341 405.68 53.71 7.55 1000000 0 685.80/686.02 c 252 425 407.50 53.18 7.66 1000000 0 686.90/687.19 c 260 387 412.80 53.26 7.75 1000000 0 688.10/688.35 c 225 416 406.78 52.87 7.69 1000000 0 689.30/689.52 c 251 456 418.37 53.00 7.89 1000000 0 690.40/690.69 c 250 421 414.99 56.94 7.29 1000000 0 691.60/691.86 c 258 538 413.48 53.50 7.73 1000000 0 692.80/693.03 c 264 493 407.37 52.12 7.82 1000000 0 694.00/694.20 c 264 436 413.49 50.42 8.20 1000000 0 695.09/695.35 c 266 455 407.75 52.44 7.78 1000000 0 696.29/696.52 c 265 427 415.73 56.54 7.35 1000000 0 697.39/697.69 c 251 362 419.69 54.00 7.77 1000000 0 698.59/698.86 c 231 356 415.01 57.65 7.20 1000000 0 699.79/700.03 c 270 443 409.54 51.32 7.98 1000000 0 700.99/701.20 c 260 337 400.04 51.74 7.73 1000000 0 702.09/702.37 c 237 516 408.69 57.45 7.11 1000000 0 703.29/703.54 c 249 385 417.46 52.57 7.94 1000000 0 704.49/704.71 c 253 450 419.91 51.53 8.15 1000000 0 705.59/705.88 c 239 478 405.92 50.07 8.11 1000000 0 706.79/707.05 c 259 363 412.82 52.78 7.82 1000000 0 707.99/708.22 c 225 410 408.94 51.34 7.97 1000000 0 709.09/709.39 c 258 411 417.68 52.95 7.89 1000000 0 710.29/710.56 c 265 423 409.38 55.24 7.41 1000000 0 711.49/711.73 c 229 369 407.55 56.61 7.20 1000000 0 712.69/712.90 c 251 464 414.46 53.52 7.74 1000000 0 713.79/714.08 c 221 441 405.92 48.72 8.33 1000000 0 714.99/715.24 c 250 416 409.24 48.28 8.48 1000000 0 716.19/716.41 c 234 408 401.26 55.99 7.17 1000000 0 717.28/717.58 c 252 374 411.02 51.17 8.03 1000000 0 718.48/718.75 c 236 381 411.43 51.27 8.02 1000000 0 719.68/719.92 c 242 419 406.00 47.70 8.51 1000000 0 720.78/721.10 c 216 395 414.02 54.81 7.55 1000000 0 721.98/722.27 c 256 428 414.70 54.31 7.64 1000000 0 723.18/723.44 c 208 478 400.23 50.90 7.86 1000000 0 724.38/724.61 c 243 410 420.53 57.05 7.37 1000000 0 725.48/725.78 c 259 434 414.52 50.10 8.27 1000000 0 726.68/726.95 c 264 421 404.22 49.75 8.13 1000000 0 727.89/728.11 c 235 479 406.99 56.36 7.22 1000000 0 728.99/729.28 c 260 355 409.54 53.12 7.71 1000000 0 730.19/730.46 c 249 403 414.34 50.98 8.13 1000000 0 731.38/731.63 c 246 481 411.34 47.95 8.58 1000000 0 732.48/732.79 c 275 381 414.62 54.02 7.68 1000000 0 733.68/733.96 c 253 419 413.03 48.81 8.46 1000000 0 734.88/735.14 c 262 338 407.97 47.74 8.54 1000000 0 736.08/736.31 c 264 449 414.31 51.79 8.00 1000000 0 737.18/737.48 c 253 363 407.07 53.83 7.56 1000000 0 738.38/738.65 c 244 403 402.58 49.11 8.20 1000000 0 739.58/739.82 c 260 410 418.18 53.71 7.79 1000000 0 740.68/741.00 c 257 394 420.21 57.40 7.32 1000000 0 741.88/742.17 c 234 478 410.99 52.82 7.78 1000000 0 743.08/743.34 c 283 417 432.23 50.33 8.59 1000000 0 744.28/744.51 c 246 392 410.38 49.74 8.25 1000000 0 745.38/745.68 c 251 411 413.61 52.52 7.88 1000000 0 746.58/746.85 c 227 479 416.86 58.26 7.16 1000000 0 747.78/748.02 c 253 399 419.24 53.55 7.83 1000000 0 748.88/749.19 c 264 374 408.60 47.36 8.63 1000000 0 750.08/750.36 c 274 395 411.21 48.90 8.41 1000000 0 751.28/751.52 c 250 416 408.01 52.81 7.73 1000000 0 752.38/752.69 c 251 364 404.03 50.24 8.04 1000000 0 753.58/753.86 c 264 404 414.55 53.02 7.82 1000000 0 754.78/755.03 c 261 393 421.31 45.68 9.22 1000000 0 755.98/756.20 c 262 402 407.70 48.50 8.41 1000000 0 757.07/757.37 c 272 326 415.60 49.94 8.32 1000000 0 758.27/758.54 c 262 421 418.58 52.65 7.95 1000000 0 759.47/759.71 c 276 410 416.29 51.04 8.16 1000000 0 760.57/760.88 c 270 399 417.39 50.63 8.24 1000000 0 761.77/762.05 c 234 341 417.31 58.38 7.15 1000000 0 762.97/763.22 c 228 394 406.59 56.47 7.20 1000000 0 764.07/764.39 c 256 431 418.05 52.11 8.02 1000000 0 765.28/765.56 c 238 377 412.94 48.26 8.56 1000000 0 766.48/766.73 c 279 404 414.16 49.50 8.37 1000000 0 767.67/767.90 c 233 369 408.09 51.16 7.98 1000000 0 768.77/769.08 c 255 373 405.72 54.36 7.46 1000000 0 769.97/770.24 c 246 395 411.86 60.85 6.77 1000000 0 771.17/771.41 c 263 443 412.74 49.49 8.34 1000000 0 772.27/772.58 c 250 362 400.73 50.08 8.00 1000000 0 773.47/773.75 c 268 379 413.93 52.95 7.82 1000000 0 774.67/774.93 c 218 439 412.24 56.81 7.26 1000000 0 775.77/776.10 c 253 414 409.27 50.28 8.14 1000000 0 776.97/777.27 c 267 397 416.27 50.18 8.30 1000000 0 778.17/778.44 c 244 423 413.74 55.06 7.51 1000000 0 779.37/779.61 c 260 454 419.08 54.24 7.73 1000000 0 780.47/780.78 c 262 353 414.02 50.94 8.13 1000000 0 781.67/781.95 c 236 342 406.55 54.02 7.53 1000000 0 782.87/783.12 c 226 358 405.16 54.16 7.48 1000000 0 783.97/784.28 c 228 444 409.71 51.65 7.93 1000000 0 785.17/785.46 c 222 371 407.31 50.09 8.13 1000000 0 786.37/786.63 c 246 506 411.68 49.70 8.28 1000000 0 787.47/787.79 c 252 377 413.92 52.03 7.96 1000000 0 788.67/788.97 c 271 396 408.44 53.16 7.68 1000000 0 789.87/790.14 c 235 446 424.70 54.51 7.79 1000000 0 791.07/791.31 c 257 390 421.37 51.91 8.12 1000000 0 792.17/792.48 c 245 426 413.35 51.93 7.96 1000000 0 793.37/793.65 c 249 396 408.92 49.20 8.31 1000000 0 794.57/794.82 c 215 461 408.20 53.17 7.68 1000000 0 795.67/795.99 c 256 337 415.03 52.01 7.98 1000000 0 796.86/797.16 c 267 367 410.66 46.43 8.84 1000000 0 798.06/798.33 c 228 496 407.14 55.49 7.34 1000000 0 799.26/799.50 c 233 385 418.32 54.42 7.69 1000000 0 800.36/800.67 c 224 389 419.19 55.57 7.54 1000000 0 801.57/801.83 c 246 434 409.12 53.51 7.65 1000000 0 802.67/803.00 c 255 396 420.79 53.44 7.87 1000000 0 803.87/804.17 c 242 389 418.50 48.55 8.62 1000000 0 805.06/805.34 c 262 403 421.73 54.33 7.76 1000000 0 806.26/806.51 c 241 334 412.35 55.02 7.49 1000000 0 807.36/807.69 c 269 351 404.91 47.19 8.58 1000000 0 808.56/808.85 c 261 398 404.89 51.82 7.81 1000000 0 809.76/810.02 c 250 315 406.86 50.82 8.01 1000000 0 810.86/811.19 c 240 358 409.87 59.22 6.92 1000000 0 812.06/812.36 c 240 443 411.57 55.96 7.35 1000000 0 813.26/813.53 c 273 464 426.91 54.58 7.82 1000000 0 814.46/814.71 c 211 404 413.48 59.25 6.98 1000000 0 815.56/815.88 c 264 371 407.80 46.58 8.76 1000000 0 816.76/817.05 c 252 467 421.41 51.52 8.18 1000000 0 817.96/818.22 c 244 447 415.21 51.83 8.01 1000000 0 819.06/819.39 c 218 297 402.94 50.44 7.99 1000000 0 820.26/820.56 c 262 438 414.33 54.62 7.59 1000000 0 821.46/821.73 c 229 485 407.17 50.37 8.08 1000000 0 822.66/822.90 c 253 422 418.84 50.22 8.34 1000000 0 823.76/824.07 c 214 432 419.57 60.22 6.97 1000000 0 824.96/825.24 c 249 456 420.32 50.84 8.27 1000000 0 826.16/826.41 c 267 447 420.40 48.53 8.66 1000000 0 827.26/827.58 c 242 420 410.40 55.79 7.36 1000000 0 828.46/828.75 c 243 337 410.82 50.19 8.18 1000000 0 829.65/829.92 c 268 480 409.19 47.91 8.54 1000000 0 830.75/831.09 c 217 402 406.52 53.19 7.64 1000000 0 831.95/832.26 c 254 398 419.71 54.18 7.75 1000000 0 833.15/833.44 c 249 476 413.71 55.69 7.43 1000000 0 834.35/834.61 c 238 358 406.86 53.64 7.59 1000000 0 835.45/835.78 c 251 424 417.08 52.47 7.95 1000000 0 836.65/836.96 c 257 433 412.62 57.22 7.21 1000000 0 837.86/838.13 c 187 440 409.76 54.46 7.52 1000000 0 838.96/839.30 c 280 378 415.45 50.01 8.31 1000000 0 840.16/840.47 c 249 368 409.07 50.66 8.07 1000000 0 841.35/841.64 c 273 421 415.18 50.22 8.27 1000000 0 842.55/842.81 c 225 350 413.20 54.54 7.58 1000000 0 843.65/843.98 c 248 403 406.74 49.38 8.24 1000000 0 844.85/845.15 c 256 341 411.21 55.52 7.41 1000000 0 846.05/846.32 c 230 432 415.57 53.73 7.73 1000000 0 847.15/847.49 c 248 360 404.70 53.50 7.56 1000000 0 848.35/848.66 c 276 385 416.47 51.43 8.10 1000000 0 849.55/849.84 c 251 379 407.33 55.45 7.35 1000000 0 850.75/851.01 c 257 343 417.24 51.44 8.11 1000000 0 851.85/852.18 c 250 309 413.92 47.43 8.73 1000000 0 853.05/853.35 c 261 415 417.16 53.08 7.86 1000000 0 854.25/854.52 c 249 376 411.09 47.83 8.60 1000000 0 855.35/855.69 c 263 390 418.97 54.11 7.74 1000000 0 856.55/856.86 c 260 407 420.39 53.26 7.89 1000000 0 857.75/858.04 c 241 445 415.46 58.98 7.04 1000000 0 858.95/859.21 c 253 466 409.86 50.78 8.07 1000000 0 860.05/860.38 c 253 381 407.71 50.77 8.03 1000000 0 861.25/861.56 c 262 365 412.22 50.46 8.17 1000000 0 862.45/862.73 c 271 462 416.15 48.31 8.61 1000000 0 863.65/863.90 c 236 460 403.72 51.78 7.80 1000000 0 864.75/865.07 c 255 369 400.96 48.69 8.24 1000000 0 865.95/866.24 c 247 402 408.94 49.82 8.21 1000000 0 867.15/867.42 c 259 332 414.52 56.58 7.33 1000000 0 868.25/868.59 c 255 423 408.73 55.40 7.38 1000000 0 869.44/869.76 c 250 349 403.03 50.71 7.95 1000000 0 870.64/870.93 c 220 393 412.60 51.68 7.98 1000000 0 871.84/872.10 c 242 365 410.80 52.23 7.87 1000000 0 872.94/873.27 c 214 416 406.89 49.30 8.25 1000000 0 874.15/874.45 c 268 372 407.75 49.83 8.18 1000000 0 875.35/875.62 c 257 474 412.89 50.75 8.14 1000000 0 876.45/876.79 c 225 438 411.58 48.25 8.53 1000000 0 877.64/877.96 c 240 372 410.11 52.20 7.86 1000000 0 878.84/879.13 c 257 406 419.52 47.30 8.87 1000000 0 880.04/880.30 c 243 500 402.74 57.60 6.99 1000000 0 881.14/881.47 c 225 370 401.52 50.56 7.94 1000000 0 882.34/882.64 c 241 390 404.85 47.75 8.48 1000000 0 883.54/883.81 c 226 517 410.49 55.51 7.39 1000000 0 884.64/884.98 c 233 490 416.07 55.01 7.56 1000000 0 885.84/886.15 c 258 431 411.15 48.90 8.41 1000000 0 887.04/887.32 c 237 392 403.91 47.98 8.42 1000000 0 888.25/888.50 c 198 494 406.61 57.14 7.12 1000000 0 889.35/889.67 c 226 362 414.52 57.78 7.17 1000000 0 890.55/890.84 c 241 409 404.16 46.70 8.65 1000000 0 891.76/892.01 c 253 403 416.69 51.25 8.13 1000000 0 892.86/893.18 c 255 315 411.23 53.12 7.74 1000000 0 894.06/894.36 c 262 493 411.99 50.18 8.21 1000000 0 895.25/895.53 c 246 395 416.91 48.70 8.56 1000000 0 896.45/896.70 c 260 414 412.44 49.81 8.28 1000000 0 897.55/897.87 c 247 379 409.65 52.14 7.86 1000000 0 898.75/899.03 c 251 378 410.23 53.41 7.68 1000000 0 899.95/900.20 c 274 527 416.25 48.50 8.58 1000000 0 901.05/901.37 c 248 405 409.42 56.64 7.23 1000000 0 902.24/902.54 c 223 373 409.42 57.43 7.13 1000000 0 903.44/903.71 c 242 367 404.47 56.32 7.18 1000000 0 904.55/904.89 c 238 483 418.75 53.81 7.78 1000000 0 905.75/906.06 c 258 398 416.52 55.37 7.52 1000000 0 906.95/907.23 c 267 372 408.86 51.34 7.96 1000000 0 908.04/908.39 c 249 418 398.61 49.82 8.00 1000000 0 909.24/909.56 c 266 413 413.71 53.89 7.68 1000000 0 910.45/910.74 c 263 452 412.05 51.62 7.98 1000000 0 911.65/911.91 c 242 493 409.89 55.87 7.34 1000000 0 912.75/913.08 c 270 435 410.32 48.80 8.41 1000000 0 913.94/914.24 c 251 474 416.95 54.21 7.69 1000000 0 915.14/915.41 c 260 342 406.85 51.64 7.88 1000000 0 916.24/916.59 c 237 299 410.69 51.89 7.91 1000000 0 917.44/917.76 c 243 367 417.32 51.86 8.05 1000000 0 918.64/918.93 c 252 412 409.13 45.33 9.02 1000000 0 919.84/920.10 c 259 384 418.86 46.49 9.01 1000000 0 920.94/921.27 c 251 414 406.72 54.02 7.53 1000000 0 922.14/922.45 c 251 453 410.71 55.44 7.41 1000000 0 923.34/923.62 c 273 376 417.88 55.27 7.56 1000000 0 924.44/924.79 c 242 375 407.99 52.64 7.75 1000000 0 925.64/925.95 c 231 500 406.56 54.87 7.41 1000000 0 926.84/927.12 c 267 484 419.47 51.17 8.20 1000000 0 927.94/928.29 c 245 406 415.20 52.43 7.92 1000000 0 929.15/929.46 c 233 307 417.18 55.83 7.47 1000000 0 930.35/930.63 c 258 379 406.92 51.58 7.89 1000000 0 931.54/931.80 c 254 328 407.26 55.26 7.37 1000000 0 932.64/932.97 c 272 338 407.29 49.04 8.30 1000000 0 933.84/934.14 c 235 388 408.38 50.65 8.06 1000000 0 935.04/935.32 c 273 420 423.89 52.08 8.14 1000000 0 936.14/936.48 c 225 374 400.84 48.53 8.26 1000000 0 937.34/937.65 c 239 419 414.52 52.03 7.97 1000000 0 938.54/938.83 c 251 308 416.41 61.57 6.76 1000000 0 939.74/940.00 c 236 383 405.44 55.11 7.36 1000000 0 940.83/941.17 c 246 354 411.91 50.89 8.09 1000000 0 942.03/942.34 c 237 459 411.52 50.55 8.14 1000000 0 943.23/943.51 c 206 351 400.42 53.84 7.44 1000000 0 944.33/944.68 c 259 399 418.17 50.45 8.29 1000000 0 945.53/945.85 c 245 375 413.19 48.42 8.53 1000000 0 946.74/947.02 c 269 385 419.31 54.77 7.66 1000000 0 947.84/948.19 c 258 339 413.61 50.54 8.18 1000000 0 949.04/949.36 c 249 416 414.68 51.40 8.07 1000000 0 950.23/950.53 c 221 428 407.17 54.92 7.41 1000000 0 951.43/951.71 c 258 395 421.74 55.58 7.59 1000000 0 952.53/952.88 c 259 409 406.89 51.13 7.96 1000000 0 953.73/954.05 c 249 435 413.21 52.49 7.87 1000000 0 954.93/955.22 c 261 517 403.15 52.31 7.71 1000000 0 956.03/956.39 c 262 403 418.49 52.36 7.99 1000000 0 957.23/957.56 c 250 476 411.95 54.00 7.63 1000000 0 958.43/958.73 c 260 443 415.32 52.71 7.88 1000000 0 959.63/959.90 c 252 403 412.82 55.94 7.38 1000000 0 960.73/961.07 c 241 307 412.24 56.93 7.24 1000000 0 961.93/962.24 c 202 410 404.61 52.53 7.70 1000000 0 963.13/963.41 c 254 531 416.90 53.97 7.72 1000000 0 964.23/964.58 c 265 354 407.63 45.98 8.86 1000000 0 965.44/965.75 c 234 394 413.84 58.70 7.05 1000000 0 966.64/966.92 c 247 386 413.36 53.93 7.66 1000000 0 967.74/968.09 c 256 458 405.99 53.60 7.57 1000000 0 968.93/969.26 c 256 465 415.24 49.08 8.46 1000000 0 970.13/970.43 c 274 406 413.47 48.00 8.61 1000000 0 971.33/971.60 c 248 318 408.02 51.35 7.95 1000000 0 972.43/972.77 c 259 368 420.88 54.89 7.67 1000000 0 973.63/973.94 c 251 420 408.91 54.63 7.49 1000000 0 974.83/975.11 c 257 416 411.49 47.49 8.66 1000000 0 975.93/976.29 c 261 449 409.98 55.22 7.42 1000000 0 977.12/977.46 c 247 417 407.38 56.13 7.26 1000000 0 978.32/978.63 c 250 446 417.21 50.48 8.27 1000000 0 979.52/979.80 c 251 387 419.38 50.97 8.23 1000000 0 980.62/980.97 c 264 438 411.27 48.50 8.48 1000000 0 981.82/982.14 c 255 409 425.86 51.30 8.30 1000000 0 983.03/983.31 c 241 446 413.01 57.71 7.16 1000000 0 984.13/984.48 c 249 370 412.45 52.52 7.85 1000000 0 985.33/985.65 c 240 467 411.59 50.52 8.15 1000000 0 986.52/986.82 c 228 363 404.48 55.64 7.27 1000000 0 987.62/987.99 c 214 404 411.69 58.73 7.01 1000000 0 988.82/989.16 c 223 379 410.08 50.98 8.04 1000000 0 990.02/990.32 c 255 465 410.47 48.54 8.46 1000000 0 991.12/991.50 c 273 349 412.61 52.26 7.90 1000000 0 992.32/992.66 c 248 388 409.36 56.28 7.27 1000000 0 993.52/993.83 c 254 397 409.42 47.81 8.56 1000000 0 994.72/995.01 c 242 414 402.11 55.27 7.28 1000000 0 995.82/996.18 c 261 417 414.63 56.73 7.31 1000000 0 997.02/997.35 c 235 456 410.07 55.66 7.37 1000000 0 998.22/998.52 c 255 412 406.75 50.60 8.04 1000000 0 999.32/999.69 c 270 439 405.76 50.87 7.98 1000000 0 1000.52/1000.85 c 233 367 399.58 49.09 8.14 1000000 0 1001.73/1002.03 c 252 369 417.52 47.92 8.71 1000000 0 1002.82/1003.20 c 260 403 421.45 54.65 7.71 1000000 0 1004.03/1004.37 c 265 391 412.77 57.78 7.14 1000000 0 1005.22/1005.54 c 224 386 416.08 56.98 7.30 1000000 0 1006.42/1006.71 c 258 417 413.53 53.27 7.76 1000000 0 1007.52/1007.88 c 262 396 409.55 48.33 8.47 1000000 0 1008.72/1009.04 c 248 422 412.38 56.74 7.27 1000000 0 1009.92/1010.21 c 231 392 414.04 47.61 8.70 1000000 0 1011.02/1011.38 c 259 383 422.71 50.78 8.32 1000000 0 1012.22/1012.56 c 241 361 408.96 45.79 8.93 1000000 0 1013.42/1013.73 c 275 366 411.48 52.67 7.81 1000000 0 1014.61/1014.90 c 261 481 403.52 46.44 8.69 1000000 0 1015.71/1016.07 c 264 506 414.14 49.51 8.37 1000000 0 1016.91/1017.24 c 251 458 408.30 51.78 7.89 1000000 0 1018.11/1018.41 c 249 455 412.87 50.88 8.11 1000000 0 1019.21/1019.58 c 206 348 408.16 55.08 7.41 1000000 0 1020.42/1020.75 c 247 437 413.45 50.87 8.13 1000000 0 1021.62/1021.93 c 240 499 410.76 56.19 7.31 1000000 0 1022.72/1023.10 c 246 521 415.13 52.95 7.84 1000000 0 1023.91/1024.27 c 260 420 422.38 52.39 8.06 1000000 0 1025.11/1025.43 c 264 443 410.12 50.96 8.05 1000000 0 1026.31/1026.61 c 267 392 411.53 48.01 8.57 1000000 0 1027.41/1027.78 c 264 432 402.30 45.88 8.77 1000000 0 1028.61/1028.95 c 243 415 412.76 52.48 7.87 1000000 0 1029.81/1030.12 c 252 355 407.85 51.32 7.95 1000000 0 1030.91/1031.29 c 266 458 410.60 54.46 7.54 1000000 0 1032.11/1032.46 c 245 381 409.19 53.03 7.72 1000000 0 1033.31/1033.63 c 243 404 409.89 51.48 7.96 1000000 0 1034.41/1034.80 c 269 441 413.82 48.72 8.49 1000000 0 1035.61/1035.97 c 256 334 407.71 46.72 8.73 1000000 0 1036.81/1037.14 c 225 400 410.02 54.38 7.54 1000000 0 1038.02/1038.31 c 255 437 415.86 53.39 7.79 1000000 0 1039.12/1039.48 c 266 465 410.62 47.42 8.66 1000000 0 1040.32/1040.65 c 242 470 414.07 54.94 7.54 1000000 0 1041.51/1041.82 c 261 441 413.07 49.50 8.35 1000000 0 1042.61/1042.98 c 246 419 415.83 60.99 6.82 1000000 0 1043.81/1044.16 c 240 394 410.41 53.31 7.70 1000000 0 1045.01/1045.33 c 262 370 412.36 56.04 7.36 1000000 0 1046.11/1046.50 c 272 335 416.92 49.81 8.37 1000000 0 1047.31/1047.67 c 251 391 411.11 51.57 7.97 1000000 0 1048.51/1048.84 c 245 418 411.91 54.59 7.55 1000000 0 1049.71/1050.02 c 240 387 417.84 52.17 8.01 1000000 0 1050.81/1051.19 c 246 389 415.22 50.30 8.26 1000000 0 1052.01/1052.36 c 231 417 405.72 50.28 8.07 1000000 0 1053.21/1053.53 c 270 385 413.28 51.63 8.00 1000000 0 1054.40/1054.71 c 216 478 407.42 55.58 7.33 1000000 0 1055.50/1055.88 c 251 453 418.01 57.94 7.21 1000000 0 1056.71/1057.05 c 229 407 411.48 51.88 7.93 1000000 0 1057.91/1058.22 c 256 435 423.86 53.13 7.98 1000000 0 1059.01/1059.40 c 248 415 415.39 55.32 7.51 1000000 0 1060.20/1060.57 c 248 449 415.42 47.95 8.66 1000000 0 1061.40/1061.74 c 235 445 413.42 53.54 7.72 1000000 0 1062.60/1062.91 c 273 390 422.56 48.94 8.63 1000000 0 1063.70/1064.08 c 258 414 413.92 52.61 7.87 1000000 0 1064.90/1065.25 c 242 418 414.29 49.72 8.33 1000000 0 1066.10/1066.42 c 278 542 428.28 61.84 6.93 1000000 0 1067.20/1067.59 c 234 367 409.84 52.25 7.84 1000000 0 1068.40/1068.75 c 227 407 408.23 48.78 8.37 1000000 0 1069.60/1069.93 c 256 423 408.74 51.68 7.91 1000000 0 1070.70/1071.09 c 249 419 408.82 50.13 8.16 1000000 0 1071.90/1072.26 c 254 390 420.86 51.78 8.13 1000000 0 1073.10/1073.43 c 233 476 406.80 54.19 7.51 1000000 0 1074.31/1074.60 c 221 378 402.08 52.16 7.71 1000000 0 1075.41/1075.77 c 267 473 412.73 45.59 9.05 1000000 0 1076.61/1076.94 c 252 464 405.74 52.37 7.75 1000000 0 1077.80/1078.11 c 252 461 416.72 54.13 7.70 1000000 0 1078.90/1079.29 c 249 382 408.70 50.68 8.06 1000000 0 1080.10/1080.46 c 252 380 410.71 51.92 7.91 1000000 0 1081.30/1081.62 c 250 373 408.21 53.40 7.64 1000000 0 1082.50/1082.80 c 220 403 409.52 53.46 7.66 1000000 0 1083.60/1083.97 c 264 409 413.27 52.56 7.86 1000000 0 1084.80/1085.14 c 249 497 412.59 58.85 7.01 1000000 0 1086.00/1086.31 c 251 450 419.43 61.90 6.78 1000000 0 1087.10/1087.48 c 229 393 403.56 56.74 7.11 1000000 0 1088.30/1088.65 c 264 422 408.21 51.63 7.91 1000000 0 1089.50/1089.82 c 272 305 419.18 50.39 8.32 1000000 0 1090.60/1090.99 c 261 503 411.97 53.20 7.74 1000000 0 1091.80/1092.16 c 276 428 414.42 49.67 8.34 1000000 0 1093.00/1093.33 c 249 442 406.74 51.07 7.96 1000000 0 1094.20/1094.50 c 265 421 419.03 52.82 7.93 1000000 0 1095.30/1095.68 c 245 490 406.10 50.61 8.02 1000000 0 1096.49/1096.85 c 263 397 418.29 54.15 7.72 1000000 0 1097.69/1098.01 c 245 411 414.87 55.54 7.47 1000000 0 1098.79/1099.19 c 229 424 413.44 54.07 7.65 1000000 0 1099.99/1100.36 c 260 346 414.88 50.54 8.21 1000000 0 1101.19/1101.53 c 258 413 408.91 49.25 8.30 1000000 0 1102.39/1102.70 c 228 463 398.21 49.92 7.98 1000000 0 1103.49/1103.87 c 265 326 408.61 52.23 7.82 1000000 0 1104.69/1105.04 c 249 397 414.99 55.56 7.47 1000000 0 1105.89/1106.21 c 264 491 410.34 48.03 8.54 1000000 0 1106.99/1107.38 c 266 353 406.74 46.52 8.74 1000000 0 1108.19/1108.55 c 224 389 410.06 50.41 8.13 1000000 0 1109.39/1109.72 c 263 493 415.68 49.49 8.40 1000000 0 1110.49/1110.89 c 256 465 409.91 53.49 7.66 1000000 0 1111.70/1112.06 c 261 427 405.48 49.84 8.14 1000000 0 1112.90/1113.23 c 256 425 413.40 48.87 8.46 1000000 0 1114.09/1114.40 c 278 430 404.03 45.74 8.83 1000000 0 1115.19/1115.57 c 238 463 412.43 54.85 7.52 1000000 0 1116.39/1116.74 c 269 352 404.44 51.90 7.79 1000000 0 1117.59/1117.91 c 252 399 415.96 51.07 8.14 1000000 0 1118.69/1119.09 c 251 345 409.57 48.69 8.41 1000000 0 1119.89/1120.25 c 253 411 405.38 48.82 8.30 1000000 0 1121.09/1121.43 c 264 390 410.42 55.21 7.43 1000000 0 1122.19/1122.59 c 250 439 414.19 55.76 7.43 1000000 0 1123.39/1123.76 c 271 395 406.04 49.57 8.19 1000000 0 1124.59/1124.94 c 213 409 401.67 51.76 7.76 1000000 0 1125.79/1126.11 c 247 454 417.50 56.97 7.33 1000000 0 1126.89/1127.28 c 242 518 414.67 52.28 7.93 1000000 0 1128.09/1128.45 c 256 368 402.74 47.33 8.51 1000000 0 1129.29/1129.62 c 248 384 413.09 50.68 8.15 1000000 0 1130.39/1130.79 c 240 419 405.75 50.19 8.08 1000000 0 1131.59/1131.96 c 239 452 419.14 58.86 7.12 1000000 0 1132.79/1133.13 c 244 378 418.88 56.28 7.44 1000000 0 1133.99/1134.30 c 253 410 413.52 56.87 7.27 1000000 0 1135.08/1135.47 c 257 437 406.02 51.50 7.88 1000000 0 1136.28/1136.64 c 240 389 413.80 52.84 7.83 1000000 0 1137.48/1137.81 c 256 413 411.84 50.40 8.17 1000000 0 1138.58/1138.98 c 260 447 403.39 52.74 7.65 1000000 0 1139.78/1140.15 c 263 485 411.71 53.82 7.65 1000000 0 1140.98/1141.33 c 246 393 416.75 49.18 8.47 1000000 0 1142.18/1142.50 c 238 373 412.37 53.94 7.65 1000000 0 1143.28/1143.67 c 226 349 414.47 55.69 7.44 1000000 0 1144.48/1144.85 c 258 381 412.96 53.07 7.78 1000000 0 1145.68/1146.02 c 250 461 413.52 59.66 6.93 1000000 0 1146.78/1147.19 c 235 385 411.79 56.28 7.32 1000000 0 1147.99/1148.36 c 248 366 412.78 48.00 8.60 1000000 0 1149.19/1149.53 c 270 361 416.90 58.35 7.14 1000000 0 1150.38/1150.71 c 228 392 404.16 52.71 7.67 1000000 0 1151.48/1151.88 c 265 451 404.83 49.26 8.22 1000000 0 1152.68/1153.05 c 254 451 411.51 49.77 8.27 1000000 0 1153.88/1154.22 c 257 375 411.26 56.04 7.34 1000000 0 1154.98/1155.39 c 272 401 419.40 50.11 8.37 1000000 0 1156.18/1156.56 c 245 474 407.31 53.70 7.58 1000000 0 1157.38/1157.73 c 230 347 408.45 56.14 7.28 1000000 0 1158.58/1158.90 c 267 368 411.77 52.95 7.78 1000000 0 1159.68/1160.07 c 270 423 411.06 52.30 7.86 1000000 0 1160.88/1161.24 c 250 429 422.63 52.59 8.04 1000000 0 1162.08/1162.41 c 266 395 418.64 59.79 7.00 1000000 0 1163.18/1163.58 c 254 372 415.30 49.72 8.35 1000000 0 1164.38/1164.75 c 221 404 414.38 53.71 7.71 1000000 0 1165.58/1165.92 c 250 342 402.48 51.37 7.84 1000000 0 1166.68/1167.09 c 213 391 402.32 53.14 7.57 1000000 0 1167.88/1168.26 c 240 386 414.49 61.04 6.79 1000000 0 1169.08/1169.43 c 235 286 416.36 50.61 8.23 1000000 0 1170.28/1170.61 c 226 373 408.01 51.66 7.90 1000000 0 1171.38/1171.78 c 256 411 410.16 50.66 8.10 1000000 0 1172.58/1172.95 c 257 413 408.04 56.82 7.18 1000000 0 1173.77/1174.12 c 260 482 414.95 50.92 8.15 1000000 0 1174.87/1175.29 c 261 414 414.79 53.65 7.73 1000000 0 1176.07/1176.46 c 241 415 410.95 49.80 8.25 1000000 0 1177.27/1177.63 c 225 386 409.34 51.41 7.96 1000000 0 1178.47/1178.80 c 241 400 415.59 45.84 9.07 1000000 0 1179.57/1179.98 c 219 368 409.91 49.13 8.34 1000000 0 1180.77/1181.15 c 231 379 412.76 61.18 6.75 1000000 0 1181.97/1182.32 c 248 343 420.14 59.52 7.06 1000000 0 1183.07/1183.49 c 243 484 407.84 54.46 7.49 1000000 0 1184.28/1184.66 c 257 398 408.01 47.38 8.61 1000000 0 1185.48/1185.84 c 234 443 415.27 50.85 8.17 1000000 0 1186.67/1187.01 c 253 491 428.78 53.49 8.02 1000000 0 1187.77/1188.18 c 217 365 394.10 48.62 8.11 1000000 0 1188.97/1189.35 c 263 472 412.60 53.19 7.76 1000000 0 1190.17/1190.51 c 269 466 411.62 49.15 8.38 1000000 0 1191.27/1191.68 c 256 396 417.38 51.84 8.05 1000000 0 1192.47/1192.85 c 272 413 425.47 54.13 7.86 1000000 0 1193.67/1194.03 c 259 348 407.90 48.60 8.39 1000000 0 1194.77/1195.19 c 256 388 404.12 53.15 7.60 1000000 0 1195.97/1196.37 c 246 419 407.81 46.31 8.81 1000000 0 1197.17/1197.53 c 245 319 402.11 54.26 7.41 1000000 0 1198.37/1198.71 c 258 432 409.40 50.97 8.03 1000000 0 1199.47/1199.88 c 248 410 417.20 52.99 7.87 1000000 0 1200.67/1201.05 c 276 381 410.06 46.19 8.88 1000000 0 1201.87/1202.22 c 256 364 418.14 49.66 8.42 1000000 0 1202.97/1203.39 c 258 355 408.19 52.62 7.76 1000000 0 1204.17/1204.56 c 256 396 414.43 55.69 7.44 1000000 0 1205.37/1205.73 c 234 522 408.32 53.32 7.66 1000000 0 1206.57/1206.91 c 262 329 420.08 52.06 8.07 1000000 0 1207.67/1208.08 c 215 402 415.12 54.40 7.63 1000000 0 1208.87/1209.25 c 264 301 411.18 50.73 8.11 1000000 0 1210.07/1210.43 c 239 324 402.92 52.13 7.73 1000000 0 1211.17/1211.60 c 258 471 412.25 54.17 7.61 1000000 0 1212.37/1212.77 c 218 289 408.77 53.80 7.60 1000000 0 1213.57/1213.94 c 255 381 415.94 50.60 8.22 1000000 0 1214.76/1215.11 c 257 402 411.17 48.45 8.49 1000000 0 1215.86/1216.28 c 247 434 404.03 54.66 7.39 1000000 0 1217.06/1217.46 c 263 377 411.44 55.29 7.44 1000000 0 1218.26/1218.63 c 221 451 414.59 55.45 7.48 1000000 0 1219.47/1219.80 c 273 400 412.05 54.58 7.55 1000000 0 1220.57/1220.97 c 230 454 408.70 55.44 7.37 1000000 0 1221.77/1222.14 c 210 388 401.69 54.65 7.35 1000000 0 1222.96/1223.31 c 229 447 407.64 50.13 8.13 1000000 0 1224.06/1224.48 c 236 422 410.04 48.60 8.44 1000000 0 1225.26/1225.65 c 256 376 414.25 47.87 8.65 1000000 0 1226.46/1226.82 c 241 379 411.09 58.08 7.08 1000000 0 1227.56/1227.99 c 255 421 413.79 52.00 7.96 1000000 0 1228.76/1229.16 c 265 374 423.23 60.53 6.99 1000000 0 1229.96/1230.32 c 257 433 415.33 50.94 8.15 1000000 0 1231.06/1231.49 c 227 521 413.12 46.92 8.80 1000000 0 1232.26/1232.66 c 242 420 423.12 56.86 7.44 1000000 0 1233.46/1233.83 c 261 370 419.69 50.79 8.26 1000000 0 1234.66/1235.00 c 246 337 411.75 50.25 8.19 1000000 0 1235.76/1236.17 c 251 384 409.02 52.06 7.86 1000000 0 1236.96/1237.34 c 246 402 408.97 52.57 7.78 1000000 0 1238.17/1238.51 c 244 472 407.01 52.18 7.80 1000000 0 1239.27/1239.68 c 247 391 416.44 51.18 8.14 1000000 0 1240.47/1240.85 c 241 360 405.41 60.66 6.68 1000000 0 1241.66/1242.02 c 245 452 414.26 55.89 7.41 1000000 0 1242.76/1243.19 c 258 405 409.59 54.49 7.52 1000000 0 1243.96/1244.36 c 246 510 412.83 49.23 8.39 1000000 0 1245.16/1245.53 c 261 366 408.38 51.62 7.91 1000000 0 1246.36/1246.70 c 242 382 413.40 51.53 8.02 1000000 0 1247.46/1247.87 c 255 342 411.50 54.03 7.62 1000000 0 1248.66/1249.05 c 254 458 420.74 54.89 7.67 1000000 0 1249.86/1250.22 c 251 499 411.30 50.58 8.13 1000000 0 1250.96/1251.39 c 255 466 417.24 53.62 7.78 1000000 0 1252.16/1252.56 c 219 473 415.89 59.11 7.04 1000000 0 1253.36/1253.73 c 264 393 418.24 50.62 8.26 1000000 0 1254.55/1254.90 c 246 376 415.24 54.76 7.58 1000000 0 1255.65/1256.07 c 262 373 418.72 51.08 8.20 1000000 0 1256.86/1257.24 c 225 422 409.39 57.15 7.16 1000000 0 1258.06/1258.41 c 241 393 405.70 55.74 7.28 1000000 0 1259.16/1259.58 c 202 350 403.29 50.11 8.05 1000000 0 1260.35/1260.75 c 241 396 410.83 50.41 8.15 1000000 0 1261.55/1261.92 c 257 366 421.37 54.92 7.67 1000000 0 1262.65/1263.09 c 240 455 405.80 53.16 7.63 1000000 0 1263.85/1264.26 c 253 399 424.44 53.14 7.99 1000000 0 1265.05/1265.43 c 262 465 410.20 53.43 7.68 1000000 0 1266.25/1266.60 c 243 422 410.62 56.88 7.22 1000000 0 1267.35/1267.78 c 256 427 411.34 54.20 7.59 1000000 0 1268.55/1268.95 c 266 330 410.28 50.30 8.16 1000000 0 1269.75/1270.12 c 248 484 418.65 48.39 8.65 1000000 0 1270.85/1271.29 c 262 379 414.88 55.15 7.52 1000000 0 1272.05/1272.46 c 250 401 412.68 58.41 7.07 1000000 0 1273.25/1273.63 c 223 394 410.60 53.70 7.65 1000000 0 1274.46/1274.80 c 231 311 416.83 52.68 7.91 1000000 0 1275.56/1275.97 c 233 520 408.32 47.54 8.59 1000000 0 1276.76/1277.14 c 256 409 405.29 49.63 8.17 1000000 0 1277.95/1278.31 c 247 408 417.44 49.98 8.35 1000000 0 1279.05/1279.48 c 235 428 411.80 57.53 7.16 1000000 0 1280.25/1280.65 c 242 378 404.78 54.95 7.37 1000000 0 1281.45/1281.82 c 203 437 406.19 53.38 7.61 1000000 0 1282.55/1282.99 c 265 394 422.50 52.76 8.01 1000000 0 1283.75/1284.16 c 245 391 418.93 56.31 7.44 1000000 0 1284.95/1285.33 c 248 415 423.30 53.89 7.85 1000000 0 1286.15/1286.50 c 257 366 406.50 51.83 7.84 1000000 0 1287.25/1287.67 c 223 412 405.69 52.32 7.75 1000000 0 1288.45/1288.84 c 258 339 408.12 49.74 8.21 1000000 0 1289.65/1290.01 c 259 462 417.47 52.79 7.91 1000000 0 1290.75/1291.18 c 268 374 418.21 54.21 7.72 1000000 0 1291.95/1292.35 c 265 360 414.58 51.66 8.02 1000000 0 1293.15/1293.52 c 233 421 419.32 57.15 7.34 1000000 0 1294.25/1294.69 c 254 389 401.61 50.71 7.92 1000000 0 1295.45/1295.87 c 267 402 425.26 52.83 8.05 1000000 0 1296.64/1297.04 c 250 484 406.24 49.54 8.20 1000000 0 1297.84/1298.21 c 248 450 416.54 51.31 8.12 1000000 0 1298.94/1299.38 c 235 412 412.95 55.84 7.40 1000000 0 1300.14/1300.56 c 261 409 408.75 54.10 7.56 1000000 0 1301.34/1301.73 c 240 405 415.30 58.29 7.12 1000000 0 1302.44/1302.90 c 236 365 404.09 55.96 7.22 1000000 0 1303.64/1304.07 c 259 400 409.75 51.22 8.00 1000000 0 1304.84/1305.24 c 241 370 417.70 52.74 7.92 1000000 0 1306.04/1306.41 c 273 449 403.27 49.41 8.16 1000000 0 1307.14/1307.58 c 233 357 409.21 57.13 7.16 1000000 0 1308.34/1308.75 c 234 453 400.86 53.47 7.50 1000000 0 1309.54/1309.92 c 236 444 412.97 53.32 7.75 1000000 0 1310.64/1311.09 c 258 411 401.19 47.73 8.41 1000000 0 1311.85/1312.26 c 255 406 408.87 56.20 7.28 1000000 0 1313.05/1313.43 c 230 498 407.36 51.90 7.85 1000000 0 1314.24/1314.60 c 248 389 408.25 50.30 8.12 1000000 0 1315.34/1315.77 c 277 385 417.93 49.60 8.43 1000000 0 1316.54/1316.94 c 255 512 419.39 52.77 7.95 1000000 0 1317.74/1318.11 c 255 438 411.14 49.56 8.30 1000000 0 1318.84/1319.28 c 243 388 411.43 51.60 7.97 1000000 0 1320.04/1320.45 c 259 397 414.31 48.63 8.52 1000000 0 1321.24/1321.62 c 251 431 413.78 49.81 8.31 1000000 0 1322.34/1322.79 c 260 428 410.94 62.08 6.62 1000000 0 1323.54/1323.96 c 269 432 416.51 50.35 8.27 1000000 0 1324.74/1325.13 c 275 410 415.41 46.61 8.91 1000000 0 1325.94/1326.30 c 268 349 415.23 52.48 7.91 1000000 0 1327.04/1327.47 c 255 323 405.81 49.53 8.19 1000000 0 1328.24/1328.64 c 256 410 421.01 47.36 8.89 1000000 0 1329.44/1329.81 c 214 417 409.93 53.01 7.73 1000000 0 1330.54/1330.98 c 262 376 412.43 49.36 8.35 1000000 0 1331.74/1332.15 c 248 390 413.96 50.04 8.27 1000000 0 1332.94/1333.32 c 234 467 412.34 53.27 7.74 1000000 0 1334.04/1334.49 c 258 379 412.96 48.93 8.44 1000000 0 1335.23/1335.66 c 248 369 410.96 48.50 8.47 1000000 0 1336.43/1336.83 c 252 404 409.19 52.12 7.85 1000000 0 1337.63/1338.01 c 234 370 410.64 56.50 7.27 1000000 0 1338.73/1339.17 c 261 382 412.23 51.63 7.98 1000000 0 1339.93/1340.34 c 244 397 408.63 55.89 7.31 1000000 0 1341.13/1341.51 c 224 409 405.08 52.45 7.72 1000000 0 1342.23/1342.69 c 248 517 416.79 57.06 7.30 1000000 0 1343.43/1343.86 c 256 420 406.50 50.09 8.12 1000000 0 1344.63/1345.03 c 254 517 410.51 51.75 7.93 1000000 0 1345.83/1346.20 c 249 440 409.96 57.07 7.18 1000000 0 1346.93/1347.37 c 279 397 419.19 49.09 8.54 1000000 0 1348.14/1348.53 c 261 409 409.32 47.91 8.54 1000000 0 1349.34/1349.71 c 234 405 412.31 51.86 7.95 1000000 0 1350.44/1350.88 c 270 362 411.72 50.13 8.21 1000000 0 1351.63/1352.05 c 262 383 409.11 56.16 7.28 1000000 0 1352.83/1353.22 c 264 417 415.76 57.12 7.28 1000000 0 1353.93/1354.39 c 230 537 408.65 62.66 6.52 1000000 0 1355.13/1355.56 c 229 356 409.86 54.33 7.54 1000000 0 1356.33/1356.73 c 230 368 415.53 52.81 7.87 1000000 0 1357.53/1357.90 c 263 388 418.54 53.66 7.80 1000000 0 1358.63/1359.07 c 235 487 415.46 57.40 7.24 1000000 0 1359.83/1360.24 c 240 464 408.00 50.74 8.04 1000000 0 1361.03/1361.41 c 266 389 408.26 48.39 8.44 1000000 0 1362.13/1362.58 c 261 412 411.94 51.00 8.08 1000000 0 1363.33/1363.74 c 250 340 410.97 44.51 9.23 1000000 0 1364.53/1364.91 c 240 331 411.16 58.16 7.07 1000000 0 1365.63/1366.09 c 230 403 410.90 52.25 7.86 1000000 0 1366.83/1367.26 c 233 387 404.68 54.87 7.37 1000000 0 1368.03/1368.43 c 254 411 410.92 49.88 8.24 1000000 0 1369.23/1369.60 c 239 432 407.70 52.55 7.76 1000000 0 1370.32/1370.77 c 239 411 415.24 49.58 8.38 1000000 0 1371.52/1371.94 c 263 494 413.42 54.75 7.55 1000000 0 1372.72/1373.11 c 235 412 411.75 57.65 7.14 1000000 0 1373.82/1374.27 c 263 444 407.34 49.77 8.18 1000000 0 1375.02/1375.45 c 286 344 426.86 48.05 8.88 1000000 0 1376.22/1376.62 c 258 422 412.43 52.36 7.88 1000000 0 1377.32/1377.79 c 250 372 413.33 52.43 7.88 1000000 0 1378.52/1378.96 c 258 430 409.34 49.31 8.30 1000000 0 1379.72/1380.13 c 263 318 410.49 52.82 7.77 1000000 0 1380.92/1381.30 c 259 435 406.48 53.30 7.63 1000000 0 1382.02/1382.47 c 265 373 417.62 55.18 7.57 1000000 0 1383.22/1383.64 c 237 415 413.27 50.94 8.11 1000000 0 1384.43/1384.81 c 263 444 409.89 56.26 7.29 1000000 0 1385.53/1385.98 c 247 575 407.25 48.81 8.34 1000000 0 1386.73/1387.15 c 247 395 402.69 50.27 8.01 1000000 0 1387.92/1388.32 c 238 503 414.46 51.18 8.10 1000000 0 1389.02/1389.49 c 238 353 400.03 49.26 8.12 1000000 0 1390.22/1390.66 c 235 437 406.35 54.32 7.48 1000000 0 1391.42/1391.83 c 229 461 413.41 57.23 7.22 1000000 0 1392.62/1393.00 c 254 361 415.74 54.87 7.58 1000000 0 1393.72/1394.17 c 244 438 410.24 46.39 8.84 1000000 0 1394.92/1395.34 c 244 490 409.04 51.33 7.97 1000000 0 1396.12/1396.51 c 235 437 416.04 56.10 7.42 1000000 0 1397.22/1397.69 c 257 335 423.60 53.29 7.95 1000000 0 1398.42/1398.86 c 227 362 422.55 57.34 7.37 1000000 0 1399.62/1400.03 c 249 391 419.40 57.35 7.31 1000000 0 1400.82/1401.20 c 221 505 406.44 53.36 7.62 1000000 0 1401.92/1402.37 c 239 372 401.13 53.40 7.51 1000000 0 1403.12/1403.54 c 250 406 405.84 49.86 8.14 1000000 0 1404.32/1404.71 c 260 434 409.66 49.13 8.34 1000000 0 1405.42/1405.88 c 290 414 429.05 49.50 8.67 1000000 0 1406.62/1407.05 c 276 385 414.14 51.45 8.05 1000000 0 1407.82/1408.22 c 271 399 416.18 49.06 8.48 1000000 0 1408.92/1409.39 c 233 399 397.77 51.11 7.78 1000000 0 1410.12/1410.56 c 251 393 412.01 50.56 8.15 1000000 0 1411.32/1411.73 c 245 445 418.67 52.75 7.94 1000000 0 1412.52/1412.90 c 262 363 402.14 53.77 7.48 1000000 0 1413.61/1414.07 c 267 370 416.03 55.70 7.47 1000000 0 1414.81/1415.24 c 206 463 414.20 53.82 7.70 1000000 0 1416.01/1416.42 c 242 377 413.57 52.68 7.85 1000000 0 1417.11/1417.59 c 268 346 413.64 51.30 8.06 1000000 0 1418.31/1418.76 c 251 387 410.42 54.56 7.52 1000000 0 1419.51/1419.92 c 273 439 410.75 52.25 7.86 1000000 0 1420.61/1421.09 c 257 460 421.86 54.43 7.75 1000000 0 1421.82/1422.26 c 214 422 403.25 53.84 7.49 1000000 0 1423.02/1423.43 c 241 454 406.73 53.72 7.57 1000000 0 1424.12/1424.60 c 232 435 403.46 46.68 8.64 1000000 0 1425.31/1425.77 c 265 412 419.57 48.80 8.60 1000000 0 1426.51/1426.94 c 273 432 418.61 50.61 8.27 1000000 0 1427.71/1428.11 c 247 438 402.29 59.92 6.71 1000000 0 1428.81/1429.27 c 245 302 408.73 50.73 8.06 1000000 0 1430.01/1430.44 c 247 398 417.61 52.98 7.88 1000000 0 1431.21/1431.61 c 264 419 417.13 49.97 8.35 1000000 0 1432.31/1432.78 c 264 455 414.90 48.85 8.49 1000000 0 1433.51/1433.95 c 232 387 403.00 55.59 7.25 1000000 0 1434.71/1435.12 c 246 479 411.75 52.36 7.86 1000000 0 1435.81/1436.29 c 221 375 407.77 55.32 7.37 1000000 0 1437.01/1437.46 c 237 391 409.95 50.08 8.19 1000000 0 1438.21/1438.63 c 248 349 402.01 54.03 7.44 1000000 0 1439.42/1439.80 c 245 456 407.22 54.32 7.50 1000000 0 1440.52/1440.97 c 236 429 409.39 50.89 8.05 1000000 0 1441.71/1442.14 c 259 342 402.01 46.94 8.56 1000000 0 1442.91/1443.31 c 246 372 396.47 47.08 8.42 1000000 0 1444.01/1444.48 c 258 473 415.05 55.50 7.48 1000000 0 1445.21/1445.65 c 254 498 408.35 54.36 7.51 1000000 0 1446.41/1446.82 c 239 357 415.12 53.29 7.79 1000000 0 1447.51/1447.99 c 229 494 403.50 58.93 6.85 1000000 0 1448.71/1449.16 c 266 416 407.61 48.53 8.40 1000000 0 1449.91/1450.33 c 245 437 407.29 56.96 7.15 1000000 0 1451.11/1451.50 c 236 386 411.79 52.71 7.81 1000000 0 1452.21/1452.67 c 250 509 413.23 53.34 7.75 1000000 0 1453.41/1453.84 c 268 359 418.48 50.63 8.27 1000000 0 1454.60/1455.01 c 244 420 419.37 49.68 8.44 1000000 0 1455.70/1456.18 c 233 409 413.54 50.99 8.11 1000000 0 1456.90/1457.35 c 258 291 408.70 51.20 7.98 1000000 0 1458.11/1458.52 c 235 404 413.08 53.65 7.70 1000000 0 1459.21/1459.69 c 246 392 415.89 57.12 7.28 1000000 0 1460.41/1460.86 c 230 372 409.07 48.89 8.37 1000000 0 1461.60/1462.03 c 261 365 417.98 52.03 8.03 1000000 0 1462.80/1463.20 c 243 353 405.56 49.15 8.25 1000000 0 1463.90/1464.37 c 256 446 405.76 52.29 7.76 1000000 0 1465.10/1465.54 c 209 386 403.41 54.94 7.34 1000000 0 1466.30/1466.71 c 270 441 413.99 56.86 7.28 1000000 0 1467.40/1467.88 c 265 361 413.52 54.77 7.55 1000000 0 1468.60/1469.05 c 231 360 417.93 49.82 8.39 1000000 0 1469.80/1470.22 c 232 532 409.70 56.25 7.28 1000000 0 1470.90/1471.39 c 258 380 420.06 50.63 8.30 1000000 0 1472.10/1472.56 c 237 459 418.15 56.21 7.44 1000000 0 1473.30/1473.74 c 264 470 415.25 52.45 7.92 1000000 0 1474.50/1474.90 c 273 415 409.26 57.86 7.07 1000000 0 1475.60/1476.08 c 255 417 408.68 50.84 8.04 1000000 0 1476.81/1477.25 c 261 347 414.42 53.57 7.74 1000000 0 1478.01/1478.42 c 252 473 413.09 47.35 8.72 1000000 0 1479.11/1479.59 c 258 394 416.59 53.89 7.73 1000000 0 1480.30/1480.77 c 206 404 403.71 53.14 7.60 1000000 0 1481.50/1481.94 c 238 426 415.65 54.26 7.66 1000000 0 1482.70/1483.11 c 252 442 419.77 53.66 7.82 1000000 0 1483.80/1484.28 c 222 369 408.29 56.43 7.23 1000000 0 1485.00/1485.45 c 261 431 416.92 51.33 8.12 1000000 0 1486.20/1486.62 c 248 419 413.20 57.80 7.15 1000000 0 1487.30/1487.79 c 245 468 415.35 50.02 8.30 1000000 0 1488.50/1488.96 c 271 343 416.82 54.50 7.65 1000000 0 1489.70/1490.13 c 221 413 416.94 54.46 7.66 1000000 0 1490.90/1491.30 c 242 409 425.54 58.20 7.31 1000000 0 1492.00/1492.47 c 263 358 412.62 47.97 8.60 1000000 0 1493.20/1493.64 c 265 495 417.67 50.99 8.19 1000000 0 1494.40/1494.82 c 246 439 414.87 55.63 7.46 1000000 0 1495.50/1495.99 c 259 397 417.95 55.78 7.49 1000000 0 1496.70/1497.16 c 251 405 404.83 51.61 7.84 1000000 0 1497.89/1498.32 c 212 451 414.85 49.94 8.31 1000000 0 1499.09/1499.50 c 238 365 419.39 54.66 7.67 1000000 0 1500.19/1500.67 c 231 376 406.15 52.40 7.75 1000000 0 1501.39/1501.84 c 252 387 413.36 52.47 7.88 1000000 0 1502.59/1503.01 c 245 360 417.85 54.41 7.68 1000000 0 1503.69/1504.18 c 261 389 413.27 51.93 7.96 1000000 0 1504.89/1505.36 c 232 364 419.02 63.38 6.61 1000000 0 1506.09/1506.53 c 270 409 416.83 51.72 8.06 1000000 0 1507.19/1507.70 c 235 503 404.54 51.22 7.90 1000000 0 1508.39/1508.87 c 219 458 407.72 55.25 7.38 1000000 0 1509.59/1510.04 c 210 433 414.86 53.41 7.77 1000000 0 1510.79/1511.21 c 260 462 418.67 47.98 8.73 1000000 0 1511.89/1512.38 c 266 404 423.35 52.21 8.11 1000000 0 1513.10/1513.55 c 273 306 406.41 48.15 8.44 1000000 0 1514.30/1514.72 c 244 415 411.01 52.32 7.86 1000000 0 1515.39/1515.89 c 220 429 410.05 53.64 7.64 1000000 0 1516.59/1517.05 c 213 344 405.83 58.44 6.94 1000000 0 1517.79/1518.22 c 247 400 405.96 48.41 8.39 1000000 0 1518.89/1519.39 c 229 430 400.34 58.96 6.79 1000000 0 1520.09/1520.56 c 227 407 406.82 55.20 7.37 1000000 0 1521.29/1521.73 c 275 440 410.41 52.18 7.87 1000000 0 1522.49/1522.90 c 256 410 415.04 47.61 8.72 1000000 0 1523.59/1524.07 c 222 393 413.88 55.67 7.43 1000000 0 1524.78/1525.24 c 253 402 402.08 46.71 8.61 1000000 0 1525.99/1526.42 c 259 510 420.40 57.66 7.29 1000000 0 1527.08/1527.59 c 233 414 412.02 57.99 7.11 1000000 0 1528.28/1528.76 c 229 436 406.16 49.08 8.28 1000000 0 1529.48/1529.93 c 264 368 415.77 50.89 8.17 1000000 0 1530.69/1531.10 c 259 339 418.48 53.83 7.77 1000000 0 1531.79/1532.27 c 253 289 409.78 53.15 7.71 1000000 0 1532.99/1533.44 c 265 424 417.52 51.46 8.11 1000000 0 1534.18/1534.61 c 251 365 418.23 51.35 8.14 1000000 0 1535.28/1535.78 c 240 457 405.62 52.17 7.77 1000000 0 1536.48/1536.95 c 262 376 411.00 49.25 8.34 1000000 0 1537.68/1538.12 c 262 420 408.20 53.76 7.59 1000000 0 1538.78/1539.29 c 258 457 408.61 54.00 7.57 1000000 0 1539.98/1540.46 c 246 381 405.36 53.96 7.51 1000000 0 1541.18/1541.64 c 266 431 425.91 55.55 7.67 1000000 0 1542.38/1542.81 c 267 446 409.90 49.49 8.28 1000000 0 1543.48/1543.98 c 273 430 420.32 51.82 8.11 1000000 0 1544.68/1545.14 c 256 364 414.78 52.68 7.87 1000000 0 1545.88/1546.32 c 240 488 411.79 56.76 7.26 1000000 0 1546.98/1547.49 c 259 397 416.34 51.55 8.08 1000000 0 1548.18/1548.66 c 245 353 410.14 48.66 8.43 1000000 0 1549.39/1549.83 c 258 420 419.78 52.66 7.97 1000000 0 1550.49/1551.00 c 220 477 415.82 49.75 8.36 1000000 0 1551.69/1552.17 c 257 468 409.07 50.13 8.16 1000000 0 1552.88/1553.34 c 247 352 412.25 52.35 7.88 1000000 0 1554.08/1554.51 c 247 419 417.00 52.96 7.87 1000000 0 1555.18/1555.68 c 247 397 410.70 48.45 8.48 1000000 0 1556.38/1556.85 c 272 325 410.43 45.58 9.00 1000000 0 1557.58/1558.02 c 247 408 412.78 57.87 7.13 1000000 0 1558.68/1559.19 c 260 294 409.95 48.49 8.45 1000000 0 1559.88/1560.36 c 240 394 420.27 50.05 8.40 1000000 0 1561.08/1561.53 c 273 400 415.70 52.60 7.90 1000000 0 1562.28/1562.70 c 276 378 412.40 47.42 8.70 1000000 0 1563.38/1563.87 c 238 469 409.77 53.61 7.64 1000000 0 1564.58/1565.04 c 258 375 408.42 48.27 8.46 1000000 0 1565.77/1566.22 c 257 418 410.78 50.38 8.15 1000000 0 1566.87/1567.38 c 218 400 417.82 54.14 7.72 1000000 0 1568.08/1568.56 c 223 484 411.80 50.84 8.10 1000000 0 1569.28/1569.72 c 268 331 410.97 49.09 8.37 1000000 0 1570.38/1570.89 c 242 411 409.32 54.90 7.46 1000000 0 1571.57/1572.06 c 273 434 407.60 52.77 7.72 1000000 0 1572.77/1573.23 c 257 453 405.95 50.92 7.97 1000000 0 1573.97/1574.40 c 247 395 411.32 53.20 7.73 1000000 0 1575.07/1575.58 c 278 419 408.39 50.97 8.01 1000000 0 1576.27/1576.75 c 264 458 415.21 53.04 7.83 1000000 0 1577.47/1577.93 c 245 366 406.25 56.46 7.20 1000000 0 1578.67/1579.10 c 242 451 411.66 55.38 7.43 1000000 0 1579.77/1580.27 c 262 386 404.88 51.06 7.93 1000000 0 1580.97/1581.44 c 231 335 406.43 51.67 7.87 1000000 0 1582.17/1582.61 c 236 401 421.78 58.89 7.16 1000000 0 1583.27/1583.78 c 263 359 418.00 55.09 7.59 1000000 0 1584.47/1584.95 c 256 359 419.28 51.52 8.14 1000000 0 1585.67/1586.12 c 259 401 418.18 48.84 8.56 1000000 0 1586.77/1587.29 c 230 431 417.22 53.13 7.85 1000000 0 1587.97/1588.46 c 256 423 405.86 53.49 7.59 1000000 0 1589.17/1589.63 c 252 421 416.15 52.11 7.99 1000000 0 1590.37/1590.80 c 254 458 417.57 50.03 8.35 1000000 0 1591.47/1591.98 c 251 437 415.79 51.51 8.07 1000000 0 1592.66/1593.15 c 268 463 429.18 52.30 8.21 1000000 0 1593.86/1594.32 c 234 448 418.92 53.53 7.83 1000000 0 1594.96/1595.49 c 212 366 417.60 50.07 8.34 1000000 0 1596.16/1596.66 c 249 417 411.80 51.65 7.97 1000000 0 1597.36/1597.83 c 211 318 407.32 56.66 7.19 1000000 0 1598.56/1599.01 c 255 405 414.87 51.84 8.00 1000000 0 1599.66/1600.18 c 273 436 411.99 56.37 7.31 1000000 0 1600.86/1601.35 c 265 419 424.69 51.86 8.19 1000000 0 1602.06/1602.52 c 247 416 411.73 48.10 8.56 1000000 0 1603.16/1603.69 c 264 377 408.05 55.03 7.42 1000000 0 1604.37/1604.86 c 274 400 424.50 49.01 8.66 1000000 0 1605.57/1606.03 c 274 371 411.24 46.27 8.89 1000000 0 1606.76/1607.20 c 223 337 411.36 49.43 8.32 1000000 0 1607.86/1608.37 c 258 436 403.73 50.89 7.93 1000000 0 1609.06/1609.54 c 244 515 417.78 51.57 8.10 1000000 0 1610.26/1610.71 c 270 369 425.11 55.58 7.65 1000000 0 1611.36/1611.88 c 243 465 408.46 54.27 7.53 1000000 0 1612.56/1613.05 c 255 390 419.43 49.41 8.49 1000000 0 1613.76/1614.22 c 254 423 414.12 51.55 8.03 1000000 0 1614.86/1615.39 c 251 490 409.70 50.07 8.18 1000000 0 1616.06/1616.57 c 273 368 411.78 55.56 7.41 1000000 0 1617.26/1617.74 c 266 343 416.16 46.98 8.86 1000000 0 1618.46/1618.91 c 243 334 415.43 51.15 8.12 1000000 0 1619.56/1620.08 c 237 469 414.92 51.20 8.10 1000000 0 1620.76/1621.25 c 216 397 406.07 49.98 8.13 1000000 0 1621.96/1622.42 c 255 376 418.61 51.70 8.10 1000000 0 1623.06/1623.59 c 218 493 416.35 48.27 8.63 1000000 0 1624.26/1624.76 c 247 386 409.93 48.31 8.49 1000000 0 1625.46/1625.93 c 259 372 418.26 48.28 8.66 1000000 0 1626.65/1627.10 c 262 391 404.86 52.87 7.66 1000000 0 1627.75/1628.27 c 247 383 417.11 55.28 7.54 1000000 0 1628.95/1629.44 c 223 414 411.27 51.54 7.98 1000000 0 1630.15/1630.61 c 235 487 418.20 54.08 7.73 1000000 0 1631.25/1631.78 c 251 402 411.34 50.41 8.16 1000000 0 1632.45/1632.96 c 249 412 414.78 52.32 7.93 1000000 0 1633.65/1634.13 c 242 396 414.18 51.86 7.99 1000000 0 1634.85/1635.30 c 263 374 415.49 49.03 8.47 1000000 0 1635.95/1636.48 c 247 392 409.48 50.12 8.17 1000000 0 1637.15/1637.65 c 233 370 423.66 54.23 7.81 1000000 0 1638.35/1638.82 c 249 441 413.51 50.21 8.24 1000000 0 1639.45/1639.99 c 267 466 420.92 54.44 7.73 1000000 0 1640.66/1641.16 c 262 442 424.05 48.46 8.75 1000000 0 1641.86/1642.33 c 269 425 421.80 52.31 8.06 1000000 0 1643.05/1643.50 c 254 414 415.91 49.47 8.41 1000000 0 1644.15/1644.67 c 266 527 409.89 54.15 7.57 1000000 0 1645.35/1645.83 c 245 402 424.59 52.48 8.09 1000000 0 1646.55/1647.00 c 235 405 405.80 50.36 8.06 1000000 0 1647.65/1648.18 c 251 445 406.43 48.45 8.39 1000000 0 1648.85/1649.35 c 279 500 420.66 51.12 8.23 1000000 0 1650.05/1650.52 c 207 409 416.45 55.88 7.45 1000000 0 1651.15/1651.69 c 251 452 417.63 53.86 7.75 1000000 0 1652.35/1652.86 c 249 533 419.91 58.26 7.21 1000000 0 1653.55/1654.02 c 254 452 416.66 55.71 7.48 1000000 0 1654.75/1655.20 c 247 445 408.98 54.75 7.47 1000000 0 1655.85/1656.37 c 243 382 407.97 50.48 8.08 1000000 0 1657.05/1657.54 c 247 353 416.45 56.03 7.43 1000000 0 1658.25/1658.71 c 247 411 415.42 53.94 7.70 1000000 0 1659.35/1659.88 c 250 464 416.83 59.83 6.97 1000000 0 1660.55/1661.05 c 243 385 407.03 55.83 7.29 1000000 0 1661.75/1662.22 c 263 326 412.35 55.16 7.48 1000000 0 1662.85/1663.39 c 260 407 418.08 49.34 8.47 1000000 0 1664.05/1664.56 c 261 414 414.28 51.93 7.98 1000000 0 1665.24/1665.73 c 247 424 405.97 49.12 8.26 1000000 0 1666.44/1666.90 c 219 366 418.66 51.96 8.06 1000000 0 1667.54/1668.07 c 263 401 419.80 48.97 8.57 1000000 0 1668.74/1669.24 c 241 458 406.15 55.31 7.34 1000000 0 1669.94/1670.41 c 242 438 414.48 49.94 8.30 1000000 0 1671.04/1671.58 c 246 321 414.32 52.24 7.93 1000000 0 1672.24/1672.75 c 285 433 424.42 51.14 8.30 1000000 0 1673.44/1673.93 c 243 379 418.20 58.06 7.20 1000000 0 1674.64/1675.10 c 265 377 420.17 54.53 7.71 1000000 0 1675.74/1676.27 c 224 477 411.83 52.62 7.83 1000000 0 1676.95/1677.44 c 253 370 413.73 48.85 8.47 1000000 0 1678.15/1678.61 c 262 389 403.71 46.50 8.68 1000000 0 1679.25/1679.78 c 250 340 406.24 55.88 7.27 1000000 0 1680.44/1680.95 c 259 510 404.52 55.38 7.30 1000000 0 1681.64/1682.12 c 262 348 410.01 53.28 7.70 1000000 0 1682.74/1683.29 c 244 372 400.59 47.38 8.46 1000000 0 1683.94/1684.46 c 256 360 409.16 48.47 8.44 1000000 0 1685.14/1685.63 c 224 469 422.36 56.54 7.47 1000000 0 1686.34/1686.81 c 251 393 411.99 51.87 7.94 1000000 0 1687.44/1687.98 c 246 443 414.53 55.56 7.46 1000000 0 1688.64/1689.16 c 257 445 414.94 49.71 8.35 1000000 0 1689.84/1690.33 c 238 387 409.65 50.13 8.17 1000000 0 1691.04/1691.50 c 266 420 417.69 54.44 7.67 1000000 0 1692.14/1692.67 c 257 403 412.40 51.44 8.02 1000000 0 1693.34/1693.84 c 250 347 398.83 46.59 8.56 1000000 0 1694.54/1695.01 c 216 350 401.50 56.39 7.12 1000000 0 1695.64/1696.18 c 197 435 405.14 51.93 7.80 1000000 0 1696.84/1697.35 c 263 384 413.89 50.88 8.13 1000000 0 1698.04/1698.52 c 258 409 410.16 52.76 7.77 1000000 0 1699.14/1699.69 c 243 423 405.64 47.66 8.51 1000000 0 1700.34/1700.86 c 241 452 408.87 53.02 7.71 1000000 0 1701.54/1702.03 c 241 438 412.53 53.13 7.76 1000000 0 1702.64/1703.19 c 253 389 412.53 51.97 7.94 1000000 0 1703.83/1704.36 c 209 459 408.63 50.07 8.16 1000000 0 1705.03/1705.53 c 233 375 420.34 48.86 8.60 1000000 0 1706.23/1706.71 c 245 423 403.17 51.48 7.83 1000000 0 1707.33/1707.88 c 261 401 414.15 49.80 8.32 1000000 0 1708.53/1709.05 c 263 374 415.95 49.96 8.33 1000000 0 1709.73/1710.22 c 234 458 408.10 51.77 7.88 1000000 0 1710.83/1711.39 c 240 330 420.32 57.69 7.29 1000000 0 1712.03/1712.56 c 248 419 409.52 54.23 7.55 1000000 0 1713.24/1713.74 c 257 422 415.21 55.81 7.44 1000000 0 1714.44/1714.91 c 265 295 421.02 47.43 8.88 1000000 0 1715.54/1716.08 c 231 486 401.08 48.44 8.28 1000000 0 1716.73/1717.25 c 221 342 406.92 53.41 7.62 1000000 0 1717.93/1718.42 c 275 361 416.83 46.25 9.01 1000000 0 1719.03/1719.59 c 267 467 410.96 48.82 8.42 1000000 0 1720.23/1720.76 c 247 346 402.02 51.45 7.81 1000000 0 1721.43/1721.93 c 256 413 415.69 54.70 7.60 1000000 0 1722.63/1723.10 c 238 357 405.94 53.61 7.57 1000000 0 1723.73/1724.27 c 263 433 416.88 51.96 8.02 1000000 0 1724.93/1725.44 c 258 399 417.31 55.59 7.51 1000000 0 1726.13/1726.61 c 265 497 416.04 55.53 7.49 1000000 0 1727.23/1727.77 c 269 429 411.50 53.18 7.74 1000000 0 1728.43/1728.95 c 237 358 408.54 56.60 7.22 1000000 0 1729.63/1730.12 c 240 355 406.06 50.66 8.02 1000000 0 1730.73/1731.29 c 237 416 406.42 51.98 7.82 1000000 0 1731.94/1732.46 c 262 423 408.58 53.97 7.57 1000000 0 1733.14/1733.62 c 256 456 425.16 49.79 8.54 1000000 0 1734.24/1734.79 c 264 466 405.79 48.06 8.44 1000000 0 1735.43/1735.96 c 243 461 418.23 55.63 7.52 1000000 0 1736.63/1737.14 c 208 519 411.56 57.70 7.13 1000000 0 1737.83/1738.31 c 272 376 414.42 59.35 6.98 1000000 0 1738.93/1739.48 c 239 442 415.17 48.05 8.64 1000000 0 1740.13/1740.65 c 243 454 421.46 54.52 7.73 1000000 0 1741.33/1741.83 c 253 291 415.49 48.55 8.56 1000000 0 1742.43/1743.00 c 224 403 410.26 46.70 8.78 1000000 0 1743.63/1744.17 c 256 452 401.28 54.80 7.32 1000000 0 1744.83/1745.34 c 245 346 413.96 50.41 8.21 1000000 0 1746.03/1746.51 c 262 523 417.85 51.37 8.13 1000000 0 1747.12/1747.68 c 228 379 413.21 54.72 7.55 1000000 0 1748.32/1748.85 c 249 484 404.81 53.64 7.55 1000000 0 1749.53/1750.03 c 250 439 417.00 56.35 7.40 1000000 0 1750.63/1751.19 c 251 402 405.56 52.12 7.78 1000000 0 1751.83/1752.36 c 240 354 421.19 58.41 7.21 1000000 0 1753.02/1753.53 c 252 442 409.63 54.75 7.48 1000000 0 1754.22/1754.70 c 247 348 408.28 50.42 8.10 1000000 0 1755.32/1755.87 c 252 388 409.26 50.68 8.08 1000000 0 1756.52/1757.04 c 235 315 410.80 48.42 8.48 1000000 0 1757.72/1758.21 c 265 408 410.16 51.71 7.93 1000000 0 1758.82/1759.38 c 222 497 411.02 50.74 8.10 1000000 0 1760.02/1760.56 c 245 426 409.00 50.14 8.16 1000000 0 1761.22/1761.73 c 245 401 407.12 52.18 7.80 1000000 0 1762.32/1762.89 c 254 408 426.94 50.47 8.46 1000000 0 1763.52/1764.06 c 261 481 419.62 53.98 7.77 1000000 0 1764.72/1765.23 c 246 499 411.55 54.23 7.59 1000000 0 1765.92/1766.40 c 223 450 408.90 52.15 7.84 1000000 0 1767.02/1767.57 c 245 375 416.43 58.86 7.08 1000000 0 1768.23/1768.74 c 224 458 409.83 51.70 7.93 1000000 0 1769.43/1769.91 c 275 463 419.64 59.31 7.08 1000000 0 1770.53/1771.08 c 261 530 413.05 53.68 7.69 1000000 0 1771.72/1772.25 c 262 325 412.82 50.86 8.12 1000000 0 1772.92/1773.42 c 271 367 416.33 55.89 7.45 1000000 0 1774.02/1774.59 c 245 415 412.97 54.83 7.53 1000000 0 1775.22/1775.76 c 234 412 411.89 53.79 7.66 1000000 0 1776.41/1776.93 c 256 407 415.83 51.59 8.06 1000000 0 1777.61/1778.10 c 258 466 408.10 50.34 8.11 1000000 0 1778.71/1779.27 c 245 302 412.09 53.45 7.71 1000000 0 1779.91/1780.44 c 244 337 409.25 51.32 7.97 1000000 0 1781.11/1781.61 c 270 354 413.08 50.13 8.24 1000000 0 1782.21/1782.79 c 253 444 411.29 51.58 7.97 1000000 0 1783.41/1783.96 c 240 361 412.96 61.52 6.71 1000000 0 1784.61/1785.12 c 248 418 401.97 51.07 7.87 1000000 0 1785.71/1786.29 c 268 473 414.00 52.98 7.81 1000000 0 1786.92/1787.46 c 263 430 410.29 49.57 8.28 1000000 0 1788.12/1788.63 c 262 361 408.24 46.95 8.70 1000000 0 1789.31/1789.80 c 256 402 403.69 51.00 7.92 1000000 0 1790.41/1790.97 c 248 466 414.54 52.55 7.89 1000000 0 1791.61/1792.14 c 234 314 408.01 52.02 7.84 1000000 0 1792.81/1793.31 c 236 428 405.24 52.89 7.66 1000000 0 1793.91/1794.48 c 249 397 410.94 52.20 7.87 1000000 0 1795.11/1795.65 c 234 421 405.02 51.34 7.89 1000000 0 1796.31/1796.82 c 228 359 414.23 50.68 8.17 1000000 0 1797.41/1797.99 c 221 462 415.45 54.32 7.65 1000000 0 1798.61/1799.16 c 245 409 413.33 54.46 7.59 1000000 0 1799.81/1800.33 c 231 419 413.09 54.04 7.64 1000000 0 1800.02/1800.50 HOME/run: line 2: 24932 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-2685448-1278441286/watcher-2685448-1278441286 -o /tmp/evaluation-result-2685448-1278441286/solver-2685448-1278441286 -C 1800 -W 2000 -M 1800 run HOME/instance-2685448-1278441286.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.80 0.95 0.98 3/106 24931 /proc/meminfo: memFree=1828576/2059040 swapFree=4137936/4192956 [pid=24931] ppid=24929 vsize=8700 CPUtime=0 /proc/24931/stat : 24931 (run) R 24929 24931 22805 0 -1 4202496 342 0 0 0 0 0 0 0 20 0 1 0 12339827 8908800 243 1992294400 4194304 4922060 140734481878352 18446744073709551615 260420772245 0 65538 4100 65536 0 0 0 17 1 0 0 0 /proc/24931/statm: 2175 243 204 178 0 68 0 [startup+0.0464131 s] /proc/loadavg: 0.80 0.95 0.98 3/106 24931 /proc/meminfo: memFree=1828576/2059040 swapFree=4137936/4192956 [pid=24931] ppid=24929 vsize=8700 CPUtime=0 /proc/24931/stat : 24931 (run) S 24929 24931 22805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12339827 8908800 243 1992294400 4194304 4922060 140734481878352 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24931/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101416 s] /proc/loadavg: 0.80 0.95 0.98 3/106 24931 /proc/meminfo: memFree=1828576/2059040 swapFree=4137936/4192956 [pid=24931] ppid=24929 vsize=8700 CPUtime=0 /proc/24931/stat : 24931 (run) S 24929 24931 22805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12339827 8908800 243 1992294400 4194304 4922060 140734481878352 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24931/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.30143 s] /proc/loadavg: 0.80 0.95 0.98 3/106 24931 /proc/meminfo: memFree=1828576/2059040 swapFree=4137936/4192956 [pid=24931] ppid=24929 vsize=8700 CPUtime=0 /proc/24931/stat : 24931 (run) S 24929 24931 22805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12339827 8908800 243 1992294400 4194304 4922060 140734481878352 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24931/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701458 s] /proc/loadavg: 0.80 0.95 0.98 3/106 24931 /proc/meminfo: memFree=1828576/2059040 swapFree=4137936/4192956 [pid=24931] ppid=24929 vsize=8700 CPUtime=0 /proc/24931/stat : 24931 (run) S 24929 24931 22805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12339827 8908800 243 1992294400 4194304 4922060 140734481878352 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24931/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50052 s] /proc/loadavg: 0.82 0.95 0.98 2/108 24933 /proc/meminfo: memFree=1824344/2059040 swapFree=4137936/4192956 [pid=24931] ppid=24929 vsize=8700 CPUtime=0 /proc/24931/stat : 24931 (run) S 24929 24931 22805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12339827 8908800 243 1992294400 4194304 4922060 140734481878352 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24931/statm: 2175 243 204 178 0 68 0 [pid=24932] ppid=24931 vsize=40452 CPUtime=1.49 /proc/24932/stat : 24932 (PB-wave) R 24931 24931 22805 0 -1 4202496 1101 0 0 0 149 0 0 0 25 0 1 0 12339827 41422848 1031 1992294400 134512640 135071400 4288392624 18446744073709551615 134525813 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24932/statm: 10113 1031 69 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.10063 s] /proc/loadavg: 0.82 0.95 0.98 2/108 24933 /proc/meminfo: memFree=1824096/2059040 swapFree=4137936/4192956 [pid=24931] ppid=24929 vsize=8700 CPUtime=0 /proc/24931/stat : 24931 (run) S 24929 24931 22805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12339827 8908800 243 1992294400 4194304 4922060 140734481878352 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24931/statm: 2175 243 204 178 0 68 0 [pid=24932] ppid=24931 vsize=40452 CPUtime=3.09 /proc/24932/stat : 24932 (PB-wave) R 24931 24931 22805 0 -1 4202496 1101 0 0 0 309 0 0 0 25 0 1 0 12339827 41422848 1031 1992294400 134512640 135071400 4288392624 18446744073709551615 134525581 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24932/statm: 10113 1031 69 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.30085 s] /proc/loadavg: 0.82 0.95 0.98 2/108 24933 /proc/meminfo: memFree=1824096/2059040 swapFree=4137936/4192956 [pid=24931] ppid=24929 vsize=8700 CPUtime=0 /proc/24931/stat : 24931 (run) S 24929 24931 22805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12339827 8908800 243 1992294400 4194304 4922060 140734481878352 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24931/statm: 2175 243 204 178 0 68 0 [pid=24932] ppid=24931 vsize=40452 CPUtime=6.28 /proc/24932/stat : 24932 (PB-wave) R 24931 24931 22805 0 -1 4202496 1101 0 0 0 628 0 0 0 25 0 1 0 12339827 41422848 1031 1992294400 134512640 135071400 4288392624 18446744073709551615 134526336 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24932/statm: 10113 1031 69 137 0 9974 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 49152 [startup+12.7013 s] /proc/loadavg: 0.92 0.97 0.99 2/108 24933 /proc/meminfo: memFree=1823980/2059040 swapFree=4137936/4192956 [pid=24931] ppid=24929 vsize=8700 CPUtime=0 /proc/24931/stat : 24931 (run) S 24929 24931 22805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12339827 8908800 243 1992294400 4194304 4922060 140734481878352 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24931/statm: 2175 243 204 178 0 68 0 [pid=24932] ppid=24931 vsize=40452 CPUtime=12.68 /proc/24932/stat : 24932 (PB-wave) R 24931 24931 22805 0 -1 4202496 1101 0 0 0 1268 0 0 0 25 0 1 0 12339827 41422848 1031 1992294400 134512640 135071400 4288392624 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24932/statm: 10113 1031 69 137 0 9974 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 49152 [startup+25.5012 s] /proc/loadavg: 0.94 0.97 0.99 2/108 24933 /proc/meminfo: memFree=1823980/2059040 swapFree=4137936/4192956 [pid=24931] ppid=24929 vsize=8700 CPUtime=0 /proc/24931/stat : 24931 (run) S 24929 24931 22805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12339827 8908800 243 1992294400 4194304 4922060 140734481878352 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24931/statm: 2175 243 204 178 0 68 0 [pid=24932] ppid=24931 vsize=40452 CPUtime=25.48 /proc/24932/stat : 24932 (PB-wave) R 24931 24931 22805 0 -1 4202496 1101 0 0 0 2548 0 0 0 25 0 1 0 12339827 41422848 1031 1992294400 134512640 135071400 4288392624 18446744073709551615 134526047 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24932/statm: 10113 1031 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.102 s] /proc/loadavg: 1.01 0.99 0.99 2/108 24935 /proc/meminfo: memFree=1823980/2059040 swapFree=4137936/4192956 [pid=24931] ppid=24929 vsize=8700 CPUtime=0 /proc/24931/stat : 24931 (run) S 24929 24931 22805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12339827 8908800 243 1992294400 4194304 4922060 140734481878352 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24931/statm: 2175 243 204 178 0 68 0 [pid=24932] ppid=24931 vsize=40452 CPUtime=51.07 /proc/24932/stat : 24932 (PB-wave) R 24931 24931 22805 0 -1 4202496 1101 0 0 0 5107 0 0 0 25 0 1 0 12339827 41422848 1031 1992294400 134512640 135071400 4288392624 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24932/statm: 10113 1031 69 137 0 9974 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 49152 [startup+102.309 s] /proc/loadavg: 1.09 1.02 1.00 2/108 24935 /proc/meminfo: memFree=1823856/2059040 swapFree=4137936/4192956 [pid=24931] ppid=24929 vsize=8700 CPUtime=0 /proc/24931/stat : 24931 (run) S 24929 24931 22805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12339827 8908800 243 1992294400 4194304 4922060 140734481878352 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24931/statm: 2175 243 204 178 0 68 0 [pid=24932] ppid=24931 vsize=40452 CPUtime=102.26 /proc/24932/stat : 24932 (PB-wave) R 24931 24931 22805 0 -1 4202496 1101 0 0 0 10226 0 0 0 25 0 1 0 12339827 41422848 1031 1992294400 134512640 135071400 4288392624 18446744073709551615 134526366 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24932/statm: 10113 1031 69 137 0 9974 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 49152 [startup+162.302 s] /proc/loadavg: 1.03 1.01 1.00 2/108 24937 /proc/meminfo: memFree=1823732/2059040 swapFree=4137936/4192956 [pid=24931] ppid=24929 vsize=8700 CPUtime=0 /proc/24931/stat : 24931 (run) S 24929 24931 22805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12339827 8908800 243 1992294400 4194304 4922060 140734481878352 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24931/statm: 2175 243 204 178 0 68 0 [pid=24932] ppid=24931 vsize=40452 CPUtime=162.24 /proc/24932/stat : 24932 (PB-wave) R 24931 24931 22805 0 -1 4202496 1101 0 0 0 16224 0 0 0 25 0 1 0 12339827 41422848 1031 1992294400 134512640 135071400 4288392624 18446744073709551615 134525790 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24932/statm: 10113 1031 69 137 0 9974 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 49152 [startup+222.302 s] /proc/loadavg: 1.01 1.00 1.00 2/108 24939 /proc/meminfo: memFree=1823732/2059040 swapFree=4137936/4192956 [pid=24931] ppid=24929 vsize=8700 CPUtime=0 /proc/24931/stat : 24931 (run) S 24929 24931 22805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12339827 8908800 243 1992294400 4194304 4922060 140734481878352 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24931/statm: 2175 243 204 178 0 68 0 [pid=24932] ppid=24931 vsize=40452 CPUtime=222.22 /proc/24932/stat : 24932 (PB-wave) R 24931 24931 22805 0 -1 4202496 1101 0 0 0 22222 0 0 0 25 0 1 0 12339827 41422848 1031 1992294400 134512640 135071400 4288392624 18446744073709551615 134526487 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24932/statm: 10113 1031 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: 1.00 1.00 1.00 2/108 24941 /proc/meminfo: memFree=1823732/2059040 swapFree=4137936/4192956 [pid=24931] ppid=24929 vsize=8700 CPUtime=0 /proc/24931/stat : 24931 (run) S 24929 24931 22805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12339827 8908800 243 1992294400 4194304 4922060 140734481878352 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24931/statm: 2175 243 204 178 0 68 0 [pid=24932] ppid=24931 vsize=40452 CPUtime=282.21 /proc/24932/stat : 24932 (PB-wave) R 24931 24931 22805 0 -1 4202496 1101 0 0 0 28221 0 0 0 25 0 1 0 12339827 41422848 1031 1992294400 134512640 135071400 4288392624 18446744073709551615 134526161 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24932/statm: 10113 1031 69 137 0 9974 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 49152 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 24941 /proc/meminfo: memFree=1823608/2059040 swapFree=4137936/4192956 [pid=24931] ppid=24929 vsize=8700 CPUtime=0 /proc/24931/stat : 24931 (run) S 24929 24931 22805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12339827 8908800 243 1992294400 4194304 4922060 140734481878352 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24931/statm: 2175 243 204 178 0 68 0 [pid=24932] ppid=24931 vsize=40452 CPUtime=342.19 /proc/24932/stat : 24932 (PB-wave) R 24931 24931 22805 0 -1 4202496 1101 0 0 0 34219 0 0 0 25 0 1 0 12339827 41422848 1031 1992294400 134512640 135071400 4288392624 18446744073709551615 134571997 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24932/statm: 10113 1031 69 137 0 9974 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 49152 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 24943 /proc/meminfo: memFree=1823484/2059040 swapFree=4137936/4192956 [pid=24931] ppid=24929 vsize=8700 CPUtime=0 /proc/24931/stat : 24931 (run) S 24929 24931 22805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12339827 8908800 243 1992294400 4194304 4922060 140734481878352 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24931/statm: 2175 243 204 178 0 68 0 [pid=24932] ppid=24931 vsize=40452 CPUtime=402.18 /proc/24932/stat : 24932 (PB-wave) R 24931 24931 22805 0 -1 4202496 1101 0 0 0 40218 0 0 0 25 0 1 0 12339827 41422848 1031 1992294400 134512640 135071400 4288392624 18446744073709551615 134519756 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24932/statm: 10113 1031 69 137 0 9974 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 49152 [startup+462.302 s] ################ # More data... # ################ /proc/24931/statm: 2175 243 204 178 0 68 0 [pid=24932] ppid=24931 vsize=40452 CPUtime=1121.99 /proc/24932/stat : 24932 (PB-wave) R 24931 24931 22805 0 -1 4202496 1101 0 0 0 112198 1 0 0 25 0 1 0 12339827 41422848 1031 1992294400 134512640 135071400 4288392624 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24932/statm: 10113 1031 69 137 0 9974 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 24965 /proc/meminfo: memFree=1822244/2059040 swapFree=4137936/4192956 [pid=24931] ppid=24929 vsize=8700 CPUtime=0 /proc/24931/stat : 24931 (run) S 24929 24931 22805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12339827 8908800 243 1992294400 4194304 4922060 140734481878352 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24931/statm: 2175 243 204 178 0 68 0 [pid=24932] ppid=24931 vsize=40452 CPUtime=1181.97 /proc/24932/stat : 24932 (PB-wave) R 24931 24931 22805 0 -1 4202496 1101 0 0 0 118196 1 0 0 25 0 1 0 12339827 41422848 1031 1992294400 134512640 135071400 4288392624 18446744073709551615 134519731 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24932/statm: 10113 1031 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 24965 /proc/meminfo: memFree=1821996/2059040 swapFree=4137936/4192956 [pid=24931] ppid=24929 vsize=8700 CPUtime=0 /proc/24931/stat : 24931 (run) S 24929 24931 22805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12339827 8908800 243 1992294400 4194304 4922060 140734481878352 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24931/statm: 2175 243 204 178 0 68 0 [pid=24932] ppid=24931 vsize=40452 CPUtime=1241.96 /proc/24932/stat : 24932 (PB-wave) R 24931 24931 22805 0 -1 4202496 1101 0 0 0 124195 1 0 0 25 0 1 0 12339827 41422848 1031 1992294400 134512640 135071400 4288392624 18446744073709551615 134525931 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24932/statm: 10113 1031 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 24967 /proc/meminfo: memFree=1821872/2059040 swapFree=4137936/4192956 [pid=24931] ppid=24929 vsize=8700 CPUtime=0 /proc/24931/stat : 24931 (run) S 24929 24931 22805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12339827 8908800 243 1992294400 4194304 4922060 140734481878352 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24931/statm: 2175 243 204 178 0 68 0 [pid=24932] ppid=24931 vsize=40452 CPUtime=1301.95 /proc/24932/stat : 24932 (PB-wave) R 24931 24931 22805 0 -1 4202496 1101 0 0 0 130194 1 0 0 25 0 1 0 12339827 41422848 1031 1992294400 134512640 135071400 4288392624 18446744073709551615 134525938 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24932/statm: 10113 1031 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 24969 /proc/meminfo: memFree=1821748/2059040 swapFree=4137936/4192956 [pid=24931] ppid=24929 vsize=8700 CPUtime=0 /proc/24931/stat : 24931 (run) S 24929 24931 22805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12339827 8908800 243 1992294400 4194304 4922060 140734481878352 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24931/statm: 2175 243 204 178 0 68 0 [pid=24932] ppid=24931 vsize=40452 CPUtime=1361.93 /proc/24932/stat : 24932 (PB-wave) R 24931 24931 22805 0 -1 4202496 1101 0 0 0 136192 1 0 0 25 0 1 0 12339827 41422848 1031 1992294400 134512640 135071400 4288392624 18446744073709551615 134519845 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24932/statm: 10113 1031 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 24971 /proc/meminfo: memFree=1821624/2059040 swapFree=4137936/4192956 [pid=24931] ppid=24929 vsize=8700 CPUtime=0 /proc/24931/stat : 24931 (run) S 24929 24931 22805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12339827 8908800 243 1992294400 4194304 4922060 140734481878352 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24931/statm: 2175 243 204 178 0 68 0 [pid=24932] ppid=24931 vsize=40452 CPUtime=1421.92 /proc/24932/stat : 24932 (PB-wave) R 24931 24931 22805 0 -1 4202496 1101 0 0 0 142191 1 0 0 25 0 1 0 12339827 41422848 1031 1992294400 134512640 135071400 4288392624 18446744073709551615 134526819 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24932/statm: 10113 1031 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 24973 /proc/meminfo: memFree=1821500/2059040 swapFree=4137936/4192956 [pid=24931] ppid=24929 vsize=8700 CPUtime=0 /proc/24931/stat : 24931 (run) S 24929 24931 22805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12339827 8908800 243 1992294400 4194304 4922060 140734481878352 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24931/statm: 2175 243 204 178 0 68 0 [pid=24932] ppid=24931 vsize=40452 CPUtime=1481.9 /proc/24932/stat : 24932 (PB-wave) R 24931 24931 22805 0 -1 4202496 1101 0 0 0 148189 1 0 0 25 0 1 0 12339827 41422848 1031 1992294400 134512640 135071400 4288392624 18446744073709551615 134525783 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24932/statm: 10113 1031 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 24973 /proc/meminfo: memFree=1821500/2059040 swapFree=4137936/4192956 [pid=24931] ppid=24929 vsize=8700 CPUtime=0 /proc/24931/stat : 24931 (run) S 24929 24931 22805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12339827 8908800 243 1992294400 4194304 4922060 140734481878352 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24931/statm: 2175 243 204 178 0 68 0 [pid=24932] ppid=24931 vsize=40452 CPUtime=1541.88 /proc/24932/stat : 24932 (PB-wave) R 24931 24931 22805 0 -1 4202496 1101 0 0 0 154187 1 0 0 25 0 1 0 12339827 41422848 1031 1992294400 134512640 135071400 4288392624 18446744073709551615 134537028 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24932/statm: 10113 1031 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.16 1.04 1.01 2/108 24984 /proc/meminfo: memFree=1813792/2059040 swapFree=4137936/4192956 [pid=24931] ppid=24929 vsize=8700 CPUtime=0 /proc/24931/stat : 24931 (run) S 24929 24931 22805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12339827 8908800 243 1992294400 4194304 4922060 140734481878352 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24931/statm: 2175 243 204 178 0 68 0 [pid=24932] ppid=24931 vsize=40452 CPUtime=1601.86 /proc/24932/stat : 24932 (PB-wave) R 24931 24931 22805 0 -1 4202496 1101 0 0 0 160185 1 0 0 25 0 1 0 12339827 41422848 1031 1992294400 134512640 135071400 4288392624 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24932/statm: 10113 1031 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.06 1.03 1.01 2/108 24986 /proc/meminfo: memFree=1813792/2059040 swapFree=4137936/4192956 [pid=24931] ppid=24929 vsize=8700 CPUtime=0 /proc/24931/stat : 24931 (run) S 24929 24931 22805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12339827 8908800 243 1992294400 4194304 4922060 140734481878352 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24931/statm: 2175 243 204 178 0 68 0 [pid=24932] ppid=24931 vsize=40452 CPUtime=1661.85 /proc/24932/stat : 24932 (PB-wave) R 24931 24931 22805 0 -1 4202496 1101 0 0 0 166184 1 0 0 25 0 1 0 12339827 41422848 1031 1992294400 134512640 135071400 4288392624 18446744073709551615 134525971 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24932/statm: 10113 1031 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.02 1.03 1.00 2/108 24988 /proc/meminfo: memFree=1813792/2059040 swapFree=4137936/4192956 [pid=24931] ppid=24929 vsize=8700 CPUtime=0 /proc/24931/stat : 24931 (run) S 24929 24931 22805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12339827 8908800 243 1992294400 4194304 4922060 140734481878352 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24931/statm: 2175 243 204 178 0 68 0 [pid=24932] ppid=24931 vsize=40452 CPUtime=1721.83 /proc/24932/stat : 24932 (PB-wave) R 24931 24931 22805 0 -1 4202496 1101 0 0 0 172182 1 0 0 25 0 1 0 12339827 41422848 1031 1992294400 134512640 135071400 4288392624 18446744073709551615 134525707 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24932/statm: 10113 1031 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.00 1.02 1.00 2/108 24990 /proc/meminfo: memFree=1813792/2059040 swapFree=4137936/4192956 [pid=24931] ppid=24929 vsize=8700 CPUtime=0 /proc/24931/stat : 24931 (run) S 24929 24931 22805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12339827 8908800 243 1992294400 4194304 4922060 140734481878352 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24931/statm: 2175 243 204 178 0 68 0 [pid=24932] ppid=24931 vsize=40452 CPUtime=1781.81 /proc/24932/stat : 24932 (PB-wave) R 24931 24931 22805 0 -1 4202496 1101 0 0 0 178180 1 0 0 25 0 1 0 12339827 41422848 1031 1992294400 134512640 135071400 4288392624 18446744073709551615 134525834 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24932/statm: 10113 1031 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.02 1.00 2/108 24990 /proc/meminfo: memFree=1813792/2059040 swapFree=4137936/4192956 [pid=24931] ppid=24929 vsize=8700 CPUtime=0 /proc/24931/stat : 24931 (run) S 24929 24931 22805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12339827 8908800 243 1992294400 4194304 4922060 140734481878352 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24931/statm: 2175 243 204 178 0 68 0 [pid=24932] ppid=24931 vsize=40452 CPUtime=1800.02 /proc/24932/stat : 24932 (PB-wave) R 24931 24931 22805 0 -1 4202496 1101 0 0 0 180001 1 0 0 25 0 1 0 12339827 41422848 1031 1992294400 134512640 135071400 4288392624 18446744073709551615 134525671 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24932/statm: 10113 1031 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) Sleeping Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.02 1.00 2/108 24990 /proc/meminfo: memFree=1813792/2059040 swapFree=4137936/4192956 [pid=24931] ppid=24929 vsize=8700 CPUtime=0 /proc/24931/stat : 24931 (run) S 24929 24931 22805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12339827 8908800 243 1992294400 4194304 4922060 140734481878352 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/24931/statm: 2175 243 204 178 0 68 0 [pid=24932] ppid=24931 vsize=40452 CPUtime=1800.02 /proc/24932/stat : 24932 (PB-wave) R 24931 24931 22805 0 -1 4202496 1101 0 0 0 180001 1 0 0 25 0 1 0 12339827 41422848 1031 1992294400 134512640 135071400 4288392624 18446744073709551615 134525671 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/24932/statm: 10113 1031 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 49152 Child status: 143 Real time (s): 1800.51 CPU time (s): 1800.03 CPU user time (s): 1800.01 CPU system time (s): 0.020996 CPU usage (%): 99.9735 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.01 system time used= 0.020996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1472 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= 5842 runsolver used 3.01754 second user time and 8.51571 second system time The end
Begin job on node034 at 2010-07-06 20:34:46 IDJOB=2685448 IDBENCH=75806 IDSOLVER=1171 FILE ID=node034/2685448-1278441286 PBS_JOBID= 11233445 Free space on /tmp= 62400 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j60/normalized-j606_1-unsat.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2685448-1278441286/watcher-2685448-1278441286 -o /tmp/evaluation-result-2685448-1278441286/solver-2685448-1278441286 -C 1800 -W 2000 -M 1800 run HOME/instance-2685448-1278441286.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 23a08531bb1ecb66ad5007046f660b62 RANDOM SEED=119597934 node034.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.216 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.216 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: 1829096 kB Buffers: 4816 kB Cached: 141760 kB SwapCached: 5652 kB Active: 50376 kB Inactive: 106720 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1829096 kB SwapTotal: 4192956 kB SwapFree: 4137936 kB Dirty: 1636 kB Writeback: 0 kB AnonPages: 9220 kB Mapped: 11564 kB Slab: 51068 kB PageTables: 4180 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183992 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= 62400 MiB End job on node034 at 2010-07-06 21:04:46