Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.04 | 1800.51 |
Name | /DEC-SMALLINT-LIN/oliveras/j60/ normalized-j605_7-sat.opb |
MD5SUM | ac2e6a55152eb7845597b43a492fb5a5 |
Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 3.9354 |
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 | 9272 |
Total number of constraints | 29130 |
Number of constraints which are clauses | 28830 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 300 |
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 | 16 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 200 |
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.07 c PB-wave - v2 0.00/0.07 c command line = ./PB-wave 0.00/0.07 c seed = 113684194 0.00/0.07 c cutoff = 1000000 0.00/0.07 c tries = 1000000 0.00/0.07 c heuristic = c best, noise 50 / 100 0.00/0.07 #var 9272 #con 29130 0.00/0.07 mode is SAT 0.00/0.07 c tail starts after flip = 27816 0.00/0.07 c numatom = 9272, numclause = 29130, numliterals = 70720 0.00/0.07 c wff read in 0.00/0.07 c 0.00/0.07 c lowest final avg noise noise total avg mean mean 0.00/0.07 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.07 c this this this this this this success success until std 0.00/0.07 c try try try try try try rate tries assign dev 0.00/0.07 c 1.19/1.26 c 287 406 458.54 53.07 8.64 1000000 0 2.39/2.46 c 321 497 461.23 51.74 8.91 1000000 0 3.59/3.65 c 295 463 459.11 58.40 7.86 1000000 0 4.79/4.84 c 290 392 464.58 46.80 9.93 1000000 0 5.99/6.03 c 315 421 457.02 50.40 9.07 1000000 0 7.19/7.23 c 313 458 457.51 50.34 9.09 1000000 0 8.39/8.42 c 320 485 461.40 51.98 8.88 1000000 0 9.59/9.61 c 315 453 457.57 48.70 9.39 1000000 0 10.79/10.80 c 314 450 465.97 50.91 9.15 1000000 0 11.89/11.99 c 324 417 463.55 53.18 8.72 1000000 0 13.09/13.19 c 326 489 462.58 44.56 10.38 1000000 0 14.29/14.39 c 308 371 457.02 52.09 8.77 1000000 0 15.49/15.57 c 293 457 452.51 45.64 9.91 1000000 0 16.69/16.77 c 328 444 462.12 47.92 9.64 1000000 0 17.89/17.96 c 324 457 463.20 43.56 10.63 1000000 0 19.09/19.15 c 319 439 460.65 50.19 9.18 1000000 0 20.28/20.34 c 310 464 460.59 49.80 9.25 1000000 0 21.48/21.55 c 304 441 464.85 51.94 8.95 1000000 0 22.68/22.74 c 301 459 455.41 48.38 9.41 1000000 0 23.88/23.93 c 303 436 455.58 54.46 8.37 1000000 0 25.08/25.12 c 289 431 452.75 51.19 8.84 1000000 0 26.29/26.31 c 308 457 455.64 51.17 8.91 1000000 0 27.48/27.51 c 300 439 466.13 52.66 8.85 1000000 0 28.68/28.70 c 294 471 464.75 54.40 8.54 1000000 0 29.78/29.89 c 324 502 467.61 51.06 9.16 1000000 0 30.98/31.09 c 320 430 460.84 49.20 9.37 1000000 0 32.18/32.28 c 306 531 456.08 49.41 9.23 1000000 0 33.38/33.48 c 322 463 463.83 51.44 9.02 1000000 0 34.58/34.67 c 289 434 467.04 50.65 9.22 1000000 0 35.78/35.86 c 319 436 457.47 49.78 9.19 1000000 0 36.98/37.05 c 306 530 466.26 53.57 8.70 1000000 0 38.18/38.24 c 270 425 462.50 54.55 8.48 1000000 0 39.38/39.43 c 306 473 461.72 57.04 8.09 1000000 0 40.58/40.62 c 304 560 456.44 50.82 8.98 1000000 0 41.78/41.81 c 279 500 459.06 51.51 8.91 1000000 0 42.97/43.00 c 315 445 456.70 49.69 9.19 1000000 0 44.17/44.20 c 316 450 461.81 54.34 8.50 1000000 0 45.27/45.39 c 298 398 461.32 48.47 9.52 1000000 0 46.47/46.58 c 306 422 462.75 57.77 8.01 1000000 0 47.67/47.78 c 287 409 459.22 51.55 8.91 1000000 0 48.87/48.97 c 308 424 454.54 46.77 9.72 1000000 0 50.07/50.16 c 317 406 459.15 52.93 8.68 1000000 0 51.27/51.35 c 285 412 458.55 55.03 8.33 1000000 0 52.47/52.54 c 300 483 463.00 51.57 8.98 1000000 0 53.67/53.73 c 308 496 458.03 52.32 8.75 1000000 0 54.88/54.92 c 307 500 456.51 47.98 9.51 1000000 0 56.08/56.11 c 284 426 459.79 50.95 9.02 1000000 0 57.27/57.31 c 310 419 454.25 54.71 8.30 1000000 0 58.37/58.50 c 316 501 452.99 48.03 9.43 1000000 0 59.57/59.69 c 328 523 462.49 44.49 10.40 1000000 0 60.77/60.88 c 293 433 465.94 60.93 7.65 1000000 0 61.97/62.07 c 330 455 463.54 49.00 9.46 1000000 0 63.17/63.26 c 312 508 464.59 48.80 9.52 1000000 0 64.37/64.45 c 301 383 457.77 54.01 8.48 1000000 0 65.57/65.64 c 315 456 456.49 48.19 9.47 1000000 0 66.77/66.84 c 304 553 462.12 51.49 8.97 1000000 0 67.97/68.03 c 302 456 456.52 51.95 8.79 1000000 0 69.17/69.22 c 308 431 464.84 51.28 9.06 1000000 0 70.37/70.42 c 326 447 456.23 46.91 9.73 1000000 0 71.57/71.61 c 281 483 466.41 51.83 9.00 1000000 0 72.77/72.81 c 321 449 462.39 48.55 9.52 1000000 0 73.97/74.00 c 309 443 458.91 52.13 8.80 1000000 0 75.07/75.19 c 329 431 460.51 49.99 9.21 1000000 0 76.27/76.39 c 315 566 462.31 50.79 9.10 1000000 0 77.47/77.57 c 285 398 454.72 48.67 9.34 1000000 0 78.67/78.77 c 321 426 468.84 54.20 8.65 1000000 0 79.86/79.96 c 291 515 453.16 55.04 8.23 1000000 0 81.06/81.16 c 293 483 462.10 52.71 8.77 1000000 0 82.26/82.34 c 288 456 470.23 48.84 9.63 1000000 0 83.47/83.54 c 308 474 457.88 50.62 9.05 1000000 0 84.67/84.73 c 311 508 465.91 50.42 9.24 1000000 0 85.86/85.92 c 318 401 456.47 42.71 10.69 1000000 0 87.06/87.11 c 310 444 463.31 53.96 8.59 1000000 0 88.26/88.30 c 313 470 462.34 49.04 9.43 1000000 0 89.36/89.49 c 303 449 459.04 48.32 9.50 1000000 0 90.56/90.69 c 304 429 461.19 52.05 8.86 1000000 0 91.76/91.88 c 302 474 465.50 51.29 9.08 1000000 0 92.96/93.08 c 307 471 452.12 47.25 9.57 1000000 0 94.16/94.27 c 322 434 463.94 43.20 10.74 1000000 0 95.36/95.47 c 310 432 460.56 53.69 8.58 1000000 0 96.56/96.65 c 270 379 448.54 48.39 9.27 1000000 0 97.77/97.85 c 324 449 462.11 51.84 8.91 1000000 0 98.97/99.04 c 294 409 458.90 50.32 9.12 1000000 0 100.16/100.23 c 314 413 461.67 54.67 8.44 1000000 0 101.36/101.42 c 321 497 462.97 47.06 9.84 1000000 0 102.56/102.61 c 287 470 466.59 53.89 8.66 1000000 0 103.76/103.81 c 309 463 470.36 55.35 8.50 1000000 0 104.96/105.00 c 305 388 460.90 54.36 8.48 1000000 0 106.06/106.19 c 305 432 455.59 47.80 9.53 1000000 0 107.26/107.38 c 301 573 464.88 52.08 8.93 1000000 0 108.46/108.58 c 312 526 453.02 45.85 9.88 1000000 0 109.66/109.77 c 305 409 449.97 50.65 8.88 1000000 0 110.86/110.96 c 305 471 459.51 48.03 9.57 1000000 0 112.06/112.16 c 298 531 459.81 50.54 9.10 1000000 0 113.26/113.35 c 322 453 462.07 52.91 8.73 1000000 0 114.46/114.54 c 332 490 459.33 46.30 9.92 1000000 0 115.66/115.73 c 312 405 464.52 54.58 8.51 1000000 0 116.86/116.92 c 317 420 451.74 47.78 9.46 1000000 0 118.06/118.11 c 322 534 460.60 52.26 8.81 1000000 0 119.26/119.30 c 312 458 463.88 49.38 9.39 1000000 0 120.35/120.49 c 305 554 459.08 48.37 9.49 1000000 0 121.55/121.69 c 301 469 448.18 49.48 9.06 1000000 0 122.75/122.88 c 310 391 459.57 54.91 8.37 1000000 0 123.95/124.07 c 312 476 455.30 46.68 9.75 1000000 0 125.15/125.26 c 318 558 464.28 49.01 9.47 1000000 0 126.36/126.45 c 279 425 458.91 52.31 8.77 1000000 0 127.56/127.64 c 307 468 463.45 52.04 8.91 1000000 0 128.75/128.83 c 293 460 456.88 50.35 9.07 1000000 0 129.95/130.03 c 316 498 473.85 53.96 8.78 1000000 0 131.15/131.22 c 305 385 456.42 50.38 9.06 1000000 0 132.35/132.42 c 307 471 459.16 47.58 9.65 1000000 0 133.55/133.61 c 312 486 458.73 55.84 8.21 1000000 0 134.75/134.80 c 305 445 459.69 53.59 8.58 1000000 0 135.85/135.99 c 338 554 464.72 54.44 8.54 1000000 0 137.05/137.18 c 295 402 464.51 52.36 8.87 1000000 0 138.25/138.37 c 311 487 466.86 50.48 9.25 1000000 0 139.45/139.56 c 306 500 455.84 50.71 8.99 1000000 0 140.66/140.75 c 315 448 462.14 52.64 8.78 1000000 0 141.86/141.95 c 307 469 457.53 56.31 8.12 1000000 0 143.05/143.14 c 316 408 457.23 50.08 9.13 1000000 0 144.25/144.33 c 304 520 460.10 49.02 9.39 1000000 0 145.45/145.52 c 306 430 465.16 52.68 8.83 1000000 0 146.65/146.71 c 284 463 444.34 46.39 9.58 1000000 0 147.85/147.90 c 299 431 472.14 59.33 7.96 1000000 0 148.95/149.10 c 295 422 459.90 49.89 9.22 1000000 0 150.15/150.29 c 294 458 462.89 56.44 8.20 1000000 0 151.35/151.48 c 312 521 456.65 45.57 10.02 1000000 0 152.55/152.67 c 301 456 463.72 57.73 8.03 1000000 0 153.75/153.86 c 318 381 466.57 49.55 9.42 1000000 0 154.95/155.05 c 310 502 458.70 48.02 9.55 1000000 0 156.15/156.24 c 323 481 455.93 43.78 10.41 1000000 0 157.35/157.44 c 311 427 455.03 48.72 9.34 1000000 0 158.54/158.63 c 291 415 462.14 47.56 9.72 1000000 0 159.74/159.83 c 304 525 460.07 58.47 7.87 1000000 0 160.95/161.01 c 332 433 461.05 51.05 9.03 1000000 0 162.15/162.20 c 301 383 449.36 49.54 9.07 1000000 0 163.34/163.40 c 319 522 463.99 50.50 9.19 1000000 0 164.44/164.59 c 320 472 456.81 46.21 9.89 1000000 0 165.64/165.78 c 312 524 462.00 49.96 9.25 1000000 0 166.84/166.98 c 292 476 468.39 54.60 8.58 1000000 0 168.04/168.17 c 295 421 462.95 54.81 8.45 1000000 0 169.25/169.36 c 322 495 457.19 49.04 9.32 1000000 0 170.45/170.56 c 304 519 460.61 54.59 8.44 1000000 0 171.64/171.74 c 317 474 469.39 54.70 8.58 1000000 0 172.84/172.93 c 284 475 460.14 56.89 8.09 1000000 0 174.04/174.12 c 325 488 463.04 49.47 9.36 1000000 0 175.24/175.31 c 329 467 470.43 52.73 8.92 1000000 0 176.44/176.50 c 326 518 462.40 50.27 9.20 1000000 0 177.64/177.70 c 326 487 467.03 47.33 9.87 1000000 0 178.74/178.89 c 311 428 451.62 45.28 9.97 1000000 0 179.94/180.09 c 278 385 462.82 53.52 8.65 1000000 0 181.14/181.28 c 320 412 459.64 43.72 10.51 1000000 0 182.34/182.46 c 285 420 452.99 45.61 9.93 1000000 0 183.55/183.65 c 323 452 456.08 45.81 9.96 1000000 0 184.75/184.84 c 312 466 456.32 44.27 10.31 1000000 0 185.94/186.03 c 327 577 465.55 45.03 10.34 1000000 0 187.14/187.22 c 316 508 457.78 54.69 8.37 1000000 0 188.34/188.41 c 305 449 461.14 51.66 8.93 1000000 0 189.54/189.61 c 307 527 465.05 52.67 8.83 1000000 0 190.74/190.80 c 305 417 458.62 50.52 9.08 1000000 0 191.84/191.99 c 317 435 453.18 47.05 9.63 1000000 0 193.04/193.19 c 334 408 466.32 48.40 9.64 1000000 0 194.24/194.39 c 330 438 468.00 51.76 9.04 1000000 0 195.44/195.58 c 305 490 462.07 51.56 8.96 1000000 0 196.64/196.77 c 307 537 460.14 52.36 8.79 1000000 0 197.84/197.96 c 301 464 467.25 55.14 8.47 1000000 0 199.04/199.15 c 296 404 458.21 44.77 10.24 1000000 0 200.23/200.35 c 288 406 459.96 47.74 9.63 1000000 0 201.43/201.53 c 311 475 457.49 51.64 8.86 1000000 0 202.63/202.73 c 280 429 462.46 49.90 9.27 1000000 0 203.83/203.92 c 294 516 454.87 46.00 9.89 1000000 0 205.03/205.11 c 292 502 459.97 50.89 9.04 1000000 0 206.23/206.31 c 307 503 463.66 52.16 8.89 1000000 0 207.43/207.50 c 306 453 459.47 49.47 9.29 1000000 0 208.63/208.70 c 308 428 461.89 51.07 9.04 1000000 0 209.73/209.89 c 305 493 458.16 53.07 8.63 1000000 0 210.93/211.09 c 291 451 465.71 58.36 7.98 1000000 0 212.14/212.28 c 303 433 464.37 56.40 8.23 1000000 0 213.34/213.48 c 310 456 458.86 49.78 9.22 1000000 0 214.53/214.66 c 287 450 458.74 45.63 10.05 1000000 0 215.73/215.85 c 305 475 458.68 54.08 8.48 1000000 0 216.93/217.04 c 292 388 459.91 53.56 8.59 1000000 0 218.13/218.23 c 311 450 458.61 47.79 9.60 1000000 0 219.33/219.43 c 309 454 461.64 54.86 8.41 1000000 0 220.53/220.62 c 284 498 462.91 50.68 9.13 1000000 0 221.73/221.81 c 309 513 460.43 53.41 8.62 1000000 0 222.93/223.01 c 319 396 458.13 48.58 9.43 1000000 0 224.13/224.20 c 335 377 469.39 47.00 9.99 1000000 0 225.23/225.39 c 302 412 455.02 48.17 9.45 1000000 0 226.44/226.58 c 312 509 460.67 51.56 8.93 1000000 0 227.64/227.77 c 309 393 458.72 46.63 9.84 1000000 0 228.83/228.96 c 320 435 464.15 51.04 9.09 1000000 0 230.03/230.15 c 295 478 456.01 54.16 8.42 1000000 0 231.23/231.35 c 311 385 467.11 49.56 9.43 1000000 0 232.43/232.54 c 302 377 454.38 50.49 9.00 1000000 0 233.63/233.74 c 317 456 462.46 52.55 8.80 1000000 0 234.83/234.93 c 330 514 463.74 43.02 10.78 1000000 0 236.03/236.12 c 318 439 461.07 52.00 8.87 1000000 0 237.23/237.31 c 309 456 463.95 47.75 9.72 1000000 0 238.43/238.50 c 297 390 454.48 52.38 8.68 1000000 0 239.53/239.69 c 314 509 460.67 50.54 9.11 1000000 0 240.73/240.88 c 303 448 456.54 50.31 9.08 1000000 0 241.93/242.07 c 307 499 459.86 47.93 9.59 1000000 0 243.12/243.26 c 309 372 462.23 49.51 9.34 1000000 0 244.32/244.46 c 318 443 464.19 48.60 9.55 1000000 0 245.52/245.65 c 323 441 467.21 46.21 10.11 1000000 0 246.72/246.85 c 314 425 452.44 48.63 9.30 1000000 0 247.92/248.04 c 310 433 462.53 49.50 9.34 1000000 0 249.12/249.24 c 312 408 456.90 58.59 7.80 1000000 0 250.32/250.43 c 320 558 452.88 47.07 9.62 1000000 0 251.52/251.62 c 332 505 462.85 51.32 9.02 1000000 0 252.72/252.82 c 323 380 458.82 48.69 9.42 1000000 0 253.93/254.01 c 311 427 465.24 51.20 9.09 1000000 0 255.03/255.20 c 318 465 465.09 50.00 9.30 1000000 0 256.23/256.39 c 303 453 455.19 52.92 8.60 1000000 0 257.42/257.59 c 299 463 455.85 48.18 9.46 1000000 0 258.62/258.78 c 315 401 465.71 52.67 8.84 1000000 0 259.82/259.97 c 318 459 458.94 58.74 7.81 1000000 0 261.02/261.17 c 312 391 455.78 46.47 9.81 1000000 0 262.22/262.36 c 317 443 457.42 50.92 8.98 1000000 0 263.42/263.56 c 304 460 465.78 56.76 8.21 1000000 0 264.62/264.75 c 296 451 459.49 53.74 8.55 1000000 0 265.82/265.95 c 305 476 457.33 50.35 9.08 1000000 0 267.02/267.13 c 297 456 459.14 53.33 8.61 1000000 0 268.22/268.32 c 319 496 463.22 47.50 9.75 1000000 0 269.42/269.52 c 302 555 459.27 47.50 9.67 1000000 0 270.62/270.71 c 309 423 450.84 48.02 9.39 1000000 0 271.81/271.90 c 296 622 457.61 48.78 9.38 1000000 0 272.91/273.09 c 274 450 465.60 50.37 9.24 1000000 0 274.11/274.29 c 320 552 458.32 47.27 9.70 1000000 0 275.31/275.47 c 310 458 455.23 48.36 9.41 1000000 0 276.51/276.66 c 317 478 462.83 47.58 9.73 1000000 0 277.71/277.86 c 305 409 465.26 48.92 9.51 1000000 0 278.91/279.05 c 335 446 465.90 51.38 9.07 1000000 0 280.11/280.25 c 313 449 463.12 47.57 9.74 1000000 0 281.31/281.44 c 311 489 451.38 50.60 8.92 1000000 0 282.52/282.63 c 312 382 460.57 54.17 8.50 1000000 0 283.72/283.82 c 326 433 458.09 46.07 9.94 1000000 0 284.91/285.01 c 304 442 464.27 51.50 9.01 1000000 0 286.11/286.20 c 304 501 461.58 52.39 8.81 1000000 0 287.21/287.39 c 330 377 465.54 52.89 8.80 1000000 0 288.41/288.59 c 310 382 467.36 47.72 9.79 1000000 0 289.61/289.78 c 316 547 457.48 48.58 9.42 1000000 0 290.81/290.98 c 311 380 457.80 52.94 8.65 1000000 0 292.01/292.17 c 303 447 457.77 53.71 8.52 1000000 0 293.21/293.36 c 311 454 458.59 47.25 9.71 1000000 0 294.41/294.55 c 279 559 458.62 53.02 8.65 1000000 0 295.61/295.74 c 311 488 458.65 53.55 8.56 1000000 0 296.81/296.94 c 309 523 462.36 51.74 8.94 1000000 0 298.01/298.13 c 304 342 459.96 47.81 9.62 1000000 0 299.21/299.31 c 304 499 467.83 63.21 7.40 1000000 0 300.41/300.50 c 316 559 460.93 47.58 9.69 1000000 0 301.61/301.70 c 318 531 453.66 45.64 9.94 1000000 0 302.71/302.89 c 294 495 454.96 45.82 9.93 1000000 0 303.91/304.08 c 295 524 465.54 53.41 8.72 1000000 0 305.11/305.27 c 325 432 459.61 47.90 9.59 1000000 0 306.31/306.47 c 311 505 472.05 52.91 8.92 1000000 0 307.51/307.66 c 308 442 455.81 50.87 8.96 1000000 0 308.70/308.85 c 319 462 455.24 47.10 9.67 1000000 0 309.90/310.04 c 303 456 460.88 53.55 8.61 1000000 0 311.11/311.23 c 297 486 457.43 48.20 9.49 1000000 0 312.31/312.42 c 310 404 457.41 53.17 8.60 1000000 0 313.50/313.61 c 302 390 460.32 47.33 9.73 1000000 0 314.70/314.80 c 312 494 458.03 52.00 8.81 1000000 0 315.90/316.00 c 311 425 469.10 52.30 8.97 1000000 0 317.00/317.19 c 281 404 461.88 62.49 7.39 1000000 0 318.20/318.39 c 318 385 457.39 45.27 10.10 1000000 0 319.40/319.58 c 318 600 467.59 52.75 8.86 1000000 0 320.60/320.77 c 325 393 460.28 53.38 8.62 1000000 0 321.80/321.96 c 318 534 458.11 48.83 9.38 1000000 0 323.00/323.16 c 299 396 452.27 50.95 8.88 1000000 0 324.20/324.34 c 311 399 453.86 46.25 9.81 1000000 0 325.41/325.54 c 322 421 460.51 47.52 9.69 1000000 0 326.61/326.72 c 323 497 459.76 49.67 9.26 1000000 0 327.80/327.91 c 307 426 458.69 46.17 9.94 1000000 0 329.00/329.11 c 300 410 458.67 51.30 8.94 1000000 0 330.20/330.31 c 310 464 458.98 55.15 8.32 1000000 0 331.30/331.49 c 322 463 458.16 50.72 9.03 1000000 0 332.50/332.69 c 278 477 459.36 51.32 8.95 1000000 0 333.70/333.88 c 312 468 457.32 51.63 8.86 1000000 0 334.90/335.07 c 311 426 456.07 49.41 9.23 1000000 0 336.10/336.26 c 319 417 459.47 53.99 8.51 1000000 0 337.30/337.45 c 289 524 465.66 47.14 9.88 1000000 0 338.50/338.65 c 308 371 460.90 52.73 8.74 1000000 0 339.70/339.84 c 308 474 457.66 54.05 8.47 1000000 0 340.90/341.03 c 305 452 455.65 50.62 9.00 1000000 0 342.10/342.22 c 305 422 465.30 51.43 9.05 1000000 0 343.29/343.41 c 299 483 457.24 48.93 9.35 1000000 0 344.49/344.60 c 317 403 450.48 47.37 9.51 1000000 0 345.59/345.79 c 321 453 465.93 52.25 8.92 1000000 0 346.79/346.98 c 312 446 456.84 48.45 9.43 1000000 0 347.99/348.17 c 303 503 456.36 46.68 9.78 1000000 0 349.19/349.37 c 283 386 458.49 52.19 8.78 1000000 0 350.39/350.56 c 326 556 468.77 53.13 8.82 1000000 0 351.59/351.75 c 300 448 463.29 47.52 9.75 1000000 0 352.79/352.94 c 303 506 464.31 52.87 8.78 1000000 0 354.00/354.13 c 305 434 458.01 52.07 8.80 1000000 0 355.20/355.32 c 296 483 455.39 48.99 9.30 1000000 0 356.39/356.51 c 309 377 459.61 56.64 8.11 1000000 0 357.59/357.70 c 313 492 460.86 46.59 9.89 1000000 0 358.69/358.89 c 293 473 465.13 49.81 9.34 1000000 0 359.89/360.08 c 304 478 462.41 49.92 9.26 1000000 0 361.09/361.27 c 297 440 456.03 50.43 9.04 1000000 0 362.29/362.46 c 321 447 457.58 46.56 9.83 1000000 0 363.49/363.65 c 315 417 460.65 52.61 8.76 1000000 0 364.69/364.85 c 291 401 451.19 50.25 8.98 1000000 0 365.89/366.04 c 311 441 455.39 47.48 9.59 1000000 0 367.09/367.23 c 317 474 467.20 53.22 8.78 1000000 0 368.30/368.43 c 321 434 458.94 47.87 9.59 1000000 0 369.50/369.63 c 307 546 452.46 51.67 8.76 1000000 0 370.69/370.82 c 319 497 465.85 57.02 8.17 1000000 0 371.89/372.01 c 302 448 464.82 49.91 9.31 1000000 0 373.09/373.20 c 274 558 465.26 50.49 9.21 1000000 0 374.29/374.40 c 310 462 462.46 52.01 8.89 1000000 0 375.39/375.59 c 320 419 460.32 54.05 8.52 1000000 0 376.59/376.78 c 303 486 458.33 51.87 8.84 1000000 0 377.79/377.97 c 302 491 459.37 50.87 9.03 1000000 0 378.99/379.16 c 288 397 463.75 51.19 9.06 1000000 0 380.19/380.36 c 305 452 459.69 54.46 8.44 1000000 0 381.39/381.55 c 313 518 460.43 49.49 9.30 1000000 0 382.59/382.75 c 312 488 458.04 46.24 9.91 1000000 0 383.79/383.94 c 305 531 463.59 54.82 8.46 1000000 0 384.99/385.13 c 294 456 461.29 50.81 9.08 1000000 0 386.18/386.32 c 295 489 465.65 50.68 9.19 1000000 0 387.38/387.51 c 288 409 457.01 51.75 8.83 1000000 0 388.58/388.70 c 299 444 455.46 46.92 9.71 1000000 0 389.68/389.90 c 303 474 462.27 53.23 8.68 1000000 0 390.88/391.09 c 315 454 464.85 50.70 9.17 1000000 0 392.08/392.28 c 309 522 454.95 51.31 8.87 1000000 0 393.28/393.47 c 314 491 456.81 48.46 9.43 1000000 0 394.48/394.66 c 302 487 457.06 55.99 8.16 1000000 0 395.68/395.85 c 287 449 452.03 49.48 9.14 1000000 0 396.89/397.05 c 278 452 462.28 57.99 7.97 1000000 0 398.09/398.24 c 328 461 473.10 49.37 9.58 1000000 0 399.28/399.43 c 296 468 455.18 53.48 8.51 1000000 0 400.48/400.62 c 334 426 464.90 47.77 9.73 1000000 0 401.68/401.81 c 311 457 458.79 49.85 9.20 1000000 0 402.88/403.00 c 305 534 454.53 51.93 8.75 1000000 0 404.08/404.20 c 297 347 455.85 48.39 9.42 1000000 0 405.18/405.39 c 324 465 459.52 47.26 9.72 1000000 0 406.38/406.58 c 309 442 456.31 50.45 9.04 1000000 0 407.58/407.77 c 329 482 466.48 50.55 9.23 1000000 0 408.78/408.97 c 301 543 461.42 51.48 8.96 1000000 0 409.98/410.16 c 312 501 459.01 50.78 9.04 1000000 0 411.18/411.36 c 303 490 464.74 55.14 8.43 1000000 0 412.38/412.55 c 312 397 474.22 49.09 9.66 1000000 0 413.58/413.74 c 324 506 461.79 52.33 8.83 1000000 0 414.78/414.93 c 290 425 454.21 46.52 9.76 1000000 0 415.98/416.12 c 293 467 453.46 47.10 9.63 1000000 0 417.18/417.31 c 306 464 461.03 48.63 9.48 1000000 0 418.38/418.51 c 310 466 462.31 51.33 9.01 1000000 0 419.58/419.70 c 311 450 465.46 51.81 8.98 1000000 0 420.78/420.90 c 259 537 466.13 53.18 8.76 1000000 0 421.87/422.09 c 314 429 461.08 52.42 8.80 1000000 0 423.07/423.28 c 313 454 463.49 51.49 9.00 1000000 0 424.27/424.47 c 302 455 464.27 52.34 8.87 1000000 0 425.48/425.66 c 309 415 462.80 51.71 8.95 1000000 0 426.68/426.86 c 306 409 463.20 45.06 10.28 1000000 0 427.87/428.05 c 294 481 455.40 45.51 10.01 1000000 0 429.07/429.24 c 311 467 456.40 50.91 8.97 1000000 0 430.27/430.43 c 306 489 456.15 46.78 9.75 1000000 0 431.47/431.62 c 317 418 455.38 47.48 9.59 1000000 0 432.67/432.81 c 295 471 462.12 49.72 9.30 1000000 0 433.87/434.00 c 317 543 461.14 49.45 9.33 1000000 0 434.97/435.19 c 314 421 461.90 49.02 9.42 1000000 0 436.17/436.39 c 287 416 464.68 52.67 8.82 1000000 0 437.37/437.58 c 320 393 461.09 50.42 9.15 1000000 0 438.57/438.77 c 288 544 465.64 47.09 9.89 1000000 0 439.78/439.96 c 307 457 459.42 53.24 8.63 1000000 0 440.98/441.15 c 309 480 459.31 44.67 10.28 1000000 0 442.17/442.34 c 306 470 458.22 50.22 9.12 1000000 0 443.37/443.53 c 328 459 459.99 42.19 10.90 1000000 0 444.57/444.72 c 292 389 457.22 50.71 9.02 1000000 0 445.77/445.91 c 293 493 463.79 52.13 8.90 1000000 0 446.97/447.11 c 308 433 461.46 55.64 8.29 1000000 0 448.17/448.30 c 314 431 462.08 52.47 8.81 1000000 0 449.27/449.49 c 316 411 458.93 52.23 8.79 1000000 0 450.47/450.69 c 314 449 465.40 45.09 10.32 1000000 0 451.67/451.88 c 310 407 464.61 52.56 8.84 1000000 0 452.87/453.08 c 313 482 454.76 45.00 10.11 1000000 0 454.07/454.28 c 322 483 467.02 52.82 8.84 1000000 0 455.27/455.47 c 299 393 452.45 47.96 9.43 1000000 0 456.47/456.66 c 319 471 461.08 55.62 8.29 1000000 0 457.67/457.85 c 289 390 453.52 49.69 9.13 1000000 0 458.87/459.04 c 314 426 462.36 48.07 9.62 1000000 0 460.07/460.24 c 314 477 455.77 50.25 9.07 1000000 0 461.27/461.43 c 312 471 458.99 54.64 8.40 1000000 0 462.46/462.63 c 321 463 457.41 54.64 8.37 1000000 0 463.66/463.83 c 321 490 472.82 57.44 8.23 1000000 0 464.86/465.02 c 305 477 457.83 52.82 8.67 1000000 0 466.06/466.22 c 318 426 464.97 51.44 9.04 1000000 0 467.27/467.41 c 328 505 460.54 48.56 9.48 1000000 0 468.37/468.60 c 298 467 462.93 59.28 7.81 1000000 0 469.57/469.79 c 289 463 454.06 47.47 9.56 1000000 0 470.76/470.98 c 302 501 461.40 48.96 9.42 1000000 0 471.96/472.17 c 284 495 452.86 51.19 8.85 1000000 0 473.16/473.36 c 309 484 459.28 53.56 8.57 1000000 0 474.36/474.56 c 309 442 466.92 48.81 9.57 1000000 0 475.56/475.74 c 305 464 457.81 46.56 9.83 1000000 0 476.76/476.93 c 314 444 462.70 57.44 8.06 1000000 0 477.96/478.12 c 303 452 460.14 47.07 9.78 1000000 0 479.16/479.32 c 303 428 464.22 51.00 9.10 1000000 0 480.36/480.51 c 315 423 459.59 42.90 10.71 1000000 0 481.57/481.70 c 319 382 466.56 52.57 8.87 1000000 0 482.67/482.89 c 292 437 458.05 51.58 8.88 1000000 0 483.87/484.09 c 292 538 462.23 50.40 9.17 1000000 0 485.06/485.28 c 295 429 463.63 47.97 9.67 1000000 0 486.26/486.47 c 319 449 459.54 46.61 9.86 1000000 0 487.46/487.66 c 317 444 460.62 56.52 8.15 1000000 0 488.66/488.85 c 324 414 461.05 47.50 9.71 1000000 0 489.86/490.04 c 294 478 458.19 50.04 9.16 1000000 0 491.06/491.23 c 310 464 463.62 51.98 8.92 1000000 0 492.26/492.42 c 310 532 451.19 49.70 9.08 1000000 0 493.46/493.61 c 319 406 464.35 50.03 9.28 1000000 0 494.66/494.80 c 322 409 472.06 53.37 8.85 1000000 0 495.76/495.99 c 281 497 463.03 47.45 9.76 1000000 0 496.96/497.19 c 309 507 457.40 50.14 9.12 1000000 0 498.16/498.38 c 294 426 461.60 49.24 9.37 1000000 0 499.36/499.57 c 276 487 464.58 52.46 8.86 1000000 0 500.55/500.76 c 296 478 455.01 49.39 9.21 1000000 0 501.75/501.95 c 320 376 463.84 49.07 9.45 1000000 0 502.95/503.14 c 325 427 468.83 50.31 9.32 1000000 0 504.15/504.34 c 328 472 462.23 50.81 9.10 1000000 0 505.35/505.53 c 337 438 460.84 44.46 10.36 1000000 0 506.55/506.73 c 312 564 462.52 48.02 9.63 1000000 0 507.75/507.92 c 280 482 453.97 59.87 7.58 1000000 0 508.95/509.11 c 316 458 464.06 46.07 10.07 1000000 0 510.16/510.30 c 301 464 461.10 47.05 9.80 1000000 0 511.26/511.49 c 307 506 463.87 56.74 8.18 1000000 0 512.46/512.68 c 296 424 456.77 46.90 9.74 1000000 0 513.65/513.87 c 305 417 459.54 48.65 9.45 1000000 0 514.85/515.06 c 302 427 462.41 49.34 9.37 1000000 0 516.05/516.25 c 303 471 466.40 48.39 9.64 1000000 0 517.25/517.44 c 290 540 457.34 53.25 8.59 1000000 0 518.45/518.63 c 316 466 468.69 54.46 8.61 1000000 0 519.65/519.82 c 320 480 467.41 51.90 9.01 1000000 0 520.85/521.01 c 283 404 468.41 55.17 8.49 1000000 0 522.05/522.21 c 296 486 461.40 53.37 8.65 1000000 0 523.25/523.40 c 322 423 460.82 54.38 8.47 1000000 0 524.35/524.59 c 299 448 460.37 54.15 8.50 1000000 0 525.56/525.78 c 302 526 459.07 45.35 10.12 1000000 0 526.76/526.97 c 326 447 465.71 55.45 8.40 1000000 0 527.95/528.17 c 316 511 457.31 49.33 9.27 1000000 0 529.15/529.37 c 318 477 459.32 50.20 9.15 1000000 0 530.35/530.56 c 323 422 460.64 50.22 9.17 1000000 0 531.55/531.76 c 282 476 457.83 46.90 9.76 1000000 0 532.75/532.95 c 300 534 456.83 48.22 9.47 1000000 0 533.95/534.15 c 334 457 460.56 45.15 10.20 1000000 0 535.15/535.34 c 304 529 461.93 52.75 8.76 1000000 0 536.35/536.53 c 298 459 464.39 51.13 9.08 1000000 0 537.55/537.72 c 317 411 461.69 52.67 8.77 1000000 0 538.75/538.92 c 318 455 463.31 49.18 9.42 1000000 0 539.95/540.11 c 317 463 459.91 48.93 9.40 1000000 0 541.14/541.30 c 294 474 458.14 60.24 7.61 1000000 0 542.24/542.49 c 313 380 458.62 45.99 9.97 1000000 0 543.44/543.69 c 311 390 453.45 49.24 9.21 1000000 0 544.64/544.87 c 314 463 457.37 50.87 8.99 1000000 0 545.84/546.07 c 300 446 461.56 49.75 9.28 1000000 0 547.04/547.27 c 307 359 459.43 56.12 8.19 1000000 0 548.24/548.46 c 314 442 462.98 49.46 9.36 1000000 0 549.44/549.65 c 309 493 463.23 53.18 8.71 1000000 0 550.64/550.85 c 300 555 451.75 54.49 8.29 1000000 0 551.84/552.04 c 313 442 462.31 55.97 8.26 1000000 0 553.05/553.23 c 326 470 462.04 51.65 8.95 1000000 0 554.25/554.42 c 329 451 470.36 47.88 9.82 1000000 0 555.44/555.62 c 308 401 459.46 49.86 9.22 1000000 0 556.64/556.81 c 299 418 453.06 48.28 9.38 1000000 0 557.84/558.00 c 295 480 461.29 49.61 9.30 1000000 0 558.94/559.19 c 282 514 460.83 56.97 8.09 1000000 0 560.14/560.38 c 324 495 463.25 47.38 9.78 1000000 0 561.34/561.57 c 317 502 463.07 51.16 9.05 1000000 0 562.54/562.77 c 312 414 464.44 53.79 8.63 1000000 0 563.74/563.96 c 323 394 464.81 53.72 8.65 1000000 0 564.94/565.15 c 313 423 460.52 53.24 8.65 1000000 0 566.14/566.34 c 316 417 462.53 48.21 9.59 1000000 0 567.34/567.54 c 325 482 468.70 49.63 9.44 1000000 0 568.54/568.73 c 297 369 461.67 52.13 8.86 1000000 0 569.74/569.92 c 310 489 457.06 47.22 9.68 1000000 0 570.94/571.11 c 300 453 453.06 51.27 8.84 1000000 0 572.14/572.30 c 300 453 466.38 57.35 8.13 1000000 0 573.23/573.49 c 314 545 461.56 53.46 8.63 1000000 0 574.43/574.68 c 294 442 461.98 53.51 8.63 1000000 0 575.63/575.87 c 321 480 458.45 54.83 8.36 1000000 0 576.83/577.06 c 318 490 449.20 52.16 8.61 1000000 0 578.03/578.25 c 308 424 464.10 49.73 9.33 1000000 0 579.23/579.44 c 320 408 457.76 55.57 8.24 1000000 0 580.43/580.64 c 319 498 462.41 50.35 9.18 1000000 0 581.64/581.83 c 292 373 461.08 50.83 9.07 1000000 0 582.84/583.03 c 306 511 456.63 52.54 8.69 1000000 0 584.03/584.22 c 314 403 464.39 48.39 9.60 1000000 0 585.23/585.41 c 311 477 452.64 51.99 8.71 1000000 0 586.43/586.61 c 294 480 464.41 52.29 8.88 1000000 0 587.53/587.80 c 294 475 454.65 49.96 9.10 1000000 0 588.73/588.99 c 280 410 460.62 52.65 8.75 1000000 0 589.93/590.18 c 316 387 459.03 48.18 9.53 1000000 0 591.13/591.37 c 321 457 459.46 54.18 8.48 1000000 0 592.33/592.57 c 323 477 462.15 47.89 9.65 1000000 0 593.53/593.77 c 309 486 457.59 50.52 9.06 1000000 0 594.73/594.96 c 299 417 458.15 45.30 10.11 1000000 0 595.94/596.14 c 302 472 456.03 52.25 8.73 1000000 0 597.14/597.33 c 314 413 462.07 51.19 9.03 1000000 0 598.33/598.52 c 300 480 463.58 50.40 9.20 1000000 0 599.53/599.71 c 298 459 475.45 51.56 9.22 1000000 0 600.73/600.90 c 319 415 461.12 48.24 9.56 1000000 0 601.83/602.09 c 286 448 461.78 50.28 9.18 1000000 0 603.03/603.28 c 309 408 467.57 55.38 8.44 1000000 0 604.23/604.47 c 306 490 468.20 52.13 8.98 1000000 0 605.43/605.66 c 336 482 462.02 45.72 10.10 1000000 0 606.63/606.85 c 304 395 463.11 55.73 8.31 1000000 0 607.82/608.05 c 327 423 463.03 45.13 10.26 1000000 0 609.02/609.23 c 290 483 462.87 47.92 9.66 1000000 0 610.23/610.43 c 322 479 454.46 47.49 9.57 1000000 0 611.43/611.62 c 318 514 455.98 52.52 8.68 1000000 0 612.62/612.81 c 298 438 459.51 50.96 9.02 1000000 0 613.82/614.00 c 297 478 459.78 52.31 8.79 1000000 0 614.92/615.20 c 321 408 454.67 54.39 8.36 1000000 0 616.12/616.38 c 314 451 446.72 44.81 9.97 1000000 0 617.32/617.57 c 304 413 458.85 53.52 8.57 1000000 0 618.52/618.77 c 326 463 468.12 51.63 9.07 1000000 0 619.72/619.96 c 311 412 456.83 49.63 9.21 1000000 0 620.92/621.15 c 317 420 466.10 51.71 9.01 1000000 0 622.12/622.34 c 276 459 449.26 51.56 8.71 1000000 0 623.32/623.53 c 308 416 464.19 48.25 9.62 1000000 0 624.53/624.72 c 325 410 458.07 46.39 9.88 1000000 0 625.73/625.91 c 310 473 455.55 48.21 9.45 1000000 0 626.92/627.10 c 286 571 467.63 56.64 8.26 1000000 0 628.02/628.29 c 321 416 462.30 50.13 9.22 1000000 0 629.22/629.48 c 315 414 460.54 46.64 9.88 1000000 0 630.42/630.68 c 312 450 455.97 51.07 8.93 1000000 0 631.62/631.87 c 293 466 455.72 46.52 9.80 1000000 0 632.82/633.06 c 331 452 463.30 50.61 9.15 1000000 0 634.03/634.25 c 299 496 462.87 52.27 8.86 1000000 0 635.23/635.44 c 314 456 462.88 50.63 9.14 1000000 0 636.43/636.64 c 322 404 463.26 51.21 9.05 1000000 0 637.63/637.82 c 300 392 458.34 50.18 9.13 1000000 0 638.83/639.01 c 304 470 459.06 51.52 8.91 1000000 0 639.93/640.20 c 303 451 462.02 56.74 8.14 1000000 0 641.13/641.39 c 297 405 456.41 52.03 8.77 1000000 0 642.33/642.59 c 320 445 455.70 50.37 9.05 1000000 0 643.53/643.78 c 319 476 459.38 49.96 9.19 1000000 0 644.72/644.96 c 313 458 464.90 48.84 9.52 1000000 0 645.92/646.16 c 298 466 468.36 51.90 9.03 1000000 0 647.12/647.35 c 308 410 457.85 53.75 8.52 1000000 0 648.32/648.54 c 306 433 459.03 51.63 8.89 1000000 0 649.52/649.73 c 279 429 463.64 47.64 9.73 1000000 0 650.72/650.92 c 319 451 457.20 51.70 8.84 1000000 0 651.92/652.11 c 288 379 459.45 48.11 9.55 1000000 0 653.13/653.31 c 306 433 458.32 52.76 8.69 1000000 0 654.33/654.51 c 292 448 460.42 45.04 10.22 1000000 0 655.43/655.69 c 305 461 452.83 53.54 8.46 1000000 0 656.62/656.88 c 309 481 462.44 53.31 8.67 1000000 0 657.82/658.08 c 306 453 465.39 50.88 9.15 1000000 0 659.02/659.27 c 309 410 457.59 50.77 9.01 1000000 0 660.22/660.46 c 321 469 459.53 44.72 10.28 1000000 0 661.42/661.65 c 300 469 468.67 57.57 8.14 1000000 0 662.62/662.84 c 311 453 464.96 53.05 8.77 1000000 0 663.82/664.04 c 306 483 464.15 47.11 9.85 1000000 0 665.02/665.23 c 314 453 469.11 51.40 9.13 1000000 0 666.22/666.43 c 301 456 460.51 50.05 9.20 1000000 0 667.42/667.62 c 300 466 456.89 52.68 8.67 1000000 0 668.62/668.81 c 306 424 459.40 53.22 8.63 1000000 0 669.72/669.99 c 297 435 457.65 50.40 9.08 1000000 0 670.92/671.18 c 319 486 461.65 47.77 9.66 1000000 0 672.12/672.37 c 305 490 460.81 50.90 9.05 1000000 0 673.32/673.57 c 314 461 457.06 47.92 9.54 1000000 0 674.52/674.75 c 324 462 459.17 55.55 8.27 1000000 0 675.72/675.94 c 309 516 458.89 52.58 8.73 1000000 0 676.92/677.13 c 304 477 458.23 47.47 9.65 1000000 0 678.11/678.33 c 317 397 465.95 48.47 9.61 1000000 0 679.31/679.52 c 300 413 454.61 49.24 9.23 1000000 0 680.51/680.71 c 304 387 463.90 53.62 8.65 1000000 0 681.72/681.90 c 298 390 463.06 54.60 8.48 1000000 0 682.82/683.09 c 312 452 458.45 49.45 9.27 1000000 0 684.02/684.29 c 307 450 461.06 48.97 9.41 1000000 0 685.21/685.48 c 301 457 462.61 54.75 8.45 1000000 0 686.41/686.67 c 306 436 451.63 45.99 9.82 1000000 0 687.61/687.86 c 303 463 467.12 59.75 7.82 1000000 0 688.81/689.06 c 319 491 458.83 47.80 9.60 1000000 0 690.01/690.25 c 298 434 465.03 51.95 8.95 1000000 0 691.21/691.44 c 318 472 460.74 51.74 8.91 1000000 0 692.41/692.63 c 298 437 458.89 49.78 9.22 1000000 0 693.61/693.82 c 264 547 457.97 52.39 8.74 1000000 0 694.81/695.02 c 308 421 461.58 46.43 9.94 1000000 0 696.02/696.21 c 288 439 462.37 51.39 9.00 1000000 0 697.12/697.40 c 324 489 461.34 50.35 9.16 1000000 0 698.32/698.59 c 317 413 455.01 46.81 9.72 1000000 0 699.51/699.77 c 310 491 459.26 48.14 9.54 1000000 0 700.71/700.96 c 332 440 462.89 50.12 9.24 1000000 0 701.91/702.15 c 302 406 460.42 50.12 9.19 1000000 0 703.11/703.35 c 306 453 462.94 45.16 10.25 1000000 0 704.31/704.54 c 283 437 455.12 50.05 9.09 1000000 0 705.51/705.73 c 308 579 460.47 50.23 9.17 1000000 0 706.71/706.93 c 306 526 459.64 53.75 8.55 1000000 0 707.91/708.12 c 316 430 467.09 49.00 9.53 1000000 0 709.11/709.31 c 289 485 457.79 52.60 8.70 1000000 0 710.31/710.50 c 262 547 463.68 49.39 9.39 1000000 0 711.41/711.70 c 328 435 459.67 45.10 10.19 1000000 0 712.61/712.89 c 314 386 461.73 47.46 9.73 1000000 0 713.81/714.09 c 315 417 468.99 51.26 9.15 1000000 0 715.01/715.28 c 311 494 460.22 49.56 9.29 1000000 0 716.21/716.47 c 317 468 458.78 48.84 9.39 1000000 0 717.40/717.66 c 313 434 461.80 47.81 9.66 1000000 0 718.60/718.86 c 314 538 459.40 50.66 9.07 1000000 0 719.80/720.04 c 302 414 460.06 51.44 8.94 1000000 0 721.00/721.23 c 313 447 456.90 47.24 9.67 1000000 0 722.20/722.43 c 317 505 458.35 55.08 8.32 1000000 0 723.40/723.62 c 305 439 452.48 51.78 8.74 1000000 0 724.61/724.81 c 322 464 464.12 52.33 8.87 1000000 0 725.71/726.00 c 318 456 467.83 49.81 9.39 1000000 0 726.91/727.19 c 297 443 451.49 47.29 9.55 1000000 0 728.10/728.38 c 308 461 455.51 46.33 9.83 1000000 0 729.30/729.57 c 308 410 458.79 51.06 8.99 1000000 0 730.50/730.77 c 317 437 448.72 44.24 10.14 1000000 0 731.70/731.96 c 305 458 460.02 45.55 10.10 1000000 0 732.90/733.15 c 334 472 467.44 50.64 9.23 1000000 0 734.10/734.34 c 321 498 463.74 50.37 9.21 1000000 0 735.30/735.53 c 319 471 462.93 47.96 9.65 1000000 0 736.50/736.72 c 305 442 461.06 50.46 9.14 1000000 0 737.70/737.92 c 332 466 467.72 54.06 8.65 1000000 0 738.91/739.11 c 309 451 462.05 57.82 7.99 1000000 0 740.01/740.30 c 318 514 457.18 54.12 8.45 1000000 0 741.21/741.49 c 322 411 463.37 48.50 9.55 1000000 0 742.40/742.68 c 317 475 458.89 46.18 9.94 1000000 0 743.60/743.86 c 292 427 460.77 48.85 9.43 1000000 0 744.80/745.06 c 296 477 456.49 56.18 8.13 1000000 0 746.00/746.26 c 323 456 453.35 52.82 8.58 1000000 0 747.20/747.44 c 304 445 451.55 53.69 8.41 1000000 0 748.40/748.64 c 303 476 451.63 45.53 9.92 1000000 0 749.60/749.83 c 301 500 451.07 46.77 9.64 1000000 0 750.80/751.02 c 304 432 457.29 47.04 9.72 1000000 0 752.00/752.22 c 289 401 469.22 52.65 8.91 1000000 0 753.20/753.41 c 328 444 459.55 48.88 9.40 1000000 0 754.30/754.60 c 318 482 454.09 48.99 9.27 1000000 0 755.50/755.79 c 272 470 455.25 54.75 8.32 1000000 0 756.69/756.98 c 280 415 448.90 46.09 9.74 1000000 0 757.89/758.17 c 315 521 460.95 56.81 8.11 1000000 0 759.09/759.37 c 319 449 456.70 56.98 8.01 1000000 0 760.29/760.56 c 312 475 457.06 50.57 9.04 1000000 0 761.49/761.76 c 302 465 472.04 55.78 8.46 1000000 0 762.69/762.95 c 299 403 458.22 52.02 8.81 1000000 0 763.89/764.14 c 313 464 460.33 52.79 8.72 1000000 0 765.09/765.33 c 302 498 466.21 49.41 9.44 1000000 0 766.29/766.51 c 313 438 464.77 50.37 9.23 1000000 0 767.50/767.71 c 301 501 464.24 53.33 8.71 1000000 0 768.60/768.90 c 304 482 450.98 49.06 9.19 1000000 0 769.80/770.10 c 323 393 461.97 48.25 9.58 1000000 0 770.99/771.29 c 299 558 462.51 51.57 8.97 1000000 0 772.19/772.49 c 315 468 467.94 56.56 8.27 1000000 0 773.39/773.68 c 326 484 463.90 49.50 9.37 1000000 0 774.59/774.87 c 307 491 453.35 43.56 10.41 1000000 0 775.79/776.06 c 304 486 458.73 54.22 8.46 1000000 0 776.99/777.25 c 301 444 458.78 52.84 8.68 1000000 0 778.19/778.44 c 311 451 461.15 51.90 8.89 1000000 0 779.39/779.63 c 293 462 456.70 50.11 9.11 1000000 0 780.59/780.82 c 300 541 451.97 47.62 9.49 1000000 0 781.79/782.01 c 327 471 460.33 48.40 9.51 1000000 0 782.99/783.21 c 304 457 461.08 46.75 9.86 1000000 0 784.19/784.40 c 315 492 458.93 55.21 8.31 1000000 0 785.29/785.59 c 328 420 457.93 46.04 9.95 1000000 0 786.49/786.79 c 318 435 455.00 44.31 10.27 1000000 0 787.68/787.98 c 311 388 455.37 52.29 8.71 1000000 0 788.88/789.17 c 307 397 453.22 49.84 9.09 1000000 0 790.08/790.37 c 301 446 458.61 51.25 8.95 1000000 0 791.28/791.56 c 321 360 467.46 51.33 9.11 1000000 0 792.48/792.75 c 312 348 453.64 49.18 9.22 1000000 0 793.68/793.94 c 316 473 460.39 50.66 9.09 1000000 0 794.88/795.13 c 303 543 467.05 60.12 7.77 1000000 0 796.09/796.32 c 319 380 455.04 52.03 8.74 1000000 0 797.29/797.51 c 315 452 455.33 46.45 9.80 1000000 0 798.48/798.70 c 287 333 454.92 53.20 8.55 1000000 0 799.58/799.90 c 329 481 462.74 47.20 9.80 1000000 0 800.78/801.09 c 296 383 464.79 56.80 8.18 1000000 0 801.98/802.29 c 298 478 459.35 52.52 8.75 1000000 0 803.18/803.48 c 321 447 464.83 56.56 8.22 1000000 0 804.38/804.67 c 325 489 467.18 45.96 10.16 1000000 0 805.58/805.86 c 321 489 463.26 55.09 8.41 1000000 0 806.78/807.06 c 331 379 463.77 49.81 9.31 1000000 0 807.98/808.25 c 280 466 461.28 52.87 8.72 1000000 0 809.18/809.44 c 318 364 464.87 58.75 7.91 1000000 0 810.39/810.64 c 317 442 458.58 49.64 9.24 1000000 0 811.59/811.84 c 275 429 456.78 54.03 8.45 1000000 0 812.78/813.03 c 299 475 462.99 50.40 9.19 1000000 0 813.98/814.22 c 297 508 461.20 49.75 9.27 1000000 0 815.18/815.41 c 300 490 474.23 54.38 8.72 1000000 0 816.38/816.60 c 300 548 460.62 52.38 8.79 1000000 0 817.48/817.79 c 310 367 459.83 50.67 9.08 1000000 0 818.68/818.99 c 305 426 462.20 49.89 9.26 1000000 0 819.88/820.18 c 281 406 460.71 53.39 8.63 1000000 0 821.08/821.38 c 310 495 461.73 49.90 9.25 1000000 0 822.27/822.57 c 331 428 459.90 49.40 9.31 1000000 0 823.47/823.76 c 310 434 462.74 53.31 8.68 1000000 0 824.68/824.95 c 327 496 457.60 51.43 8.90 1000000 0 825.88/826.14 c 296 366 461.89 47.84 9.65 1000000 0 827.07/827.33 c 306 372 460.40 49.35 9.33 1000000 0 828.27/828.52 c 302 503 456.90 51.79 8.82 1000000 0 829.47/829.71 c 295 401 457.61 49.43 9.26 1000000 0 830.67/830.91 c 311 506 461.53 53.17 8.68 1000000 0 831.87/832.11 c 321 487 465.12 53.27 8.73 1000000 0 833.07/833.30 c 305 428 457.67 48.06 9.52 1000000 0 834.17/834.49 c 317 440 460.54 50.88 9.05 1000000 0 835.37/835.68 c 314 586 451.21 48.71 9.26 1000000 0 836.57/836.87 c 333 425 459.64 44.74 10.27 1000000 0 837.77/838.06 c 289 511 460.05 49.42 9.31 1000000 0 838.98/839.25 c 321 482 454.55 46.50 9.77 1000000 0 840.18/840.44 c 291 474 455.78 46.41 9.82 1000000 0 841.37/841.63 c 331 477 468.40 53.42 8.77 1000000 0 842.57/842.83 c 314 489 460.63 42.76 10.77 1000000 0 843.77/844.02 c 299 393 462.29 49.33 9.37 1000000 0 844.97/845.21 c 328 462 465.27 51.45 9.04 1000000 0 846.17/846.40 c 334 421 462.97 56.33 8.22 1000000 0 847.37/847.60 c 337 468 461.70 51.20 9.02 1000000 0 848.47/848.79 c 292 464 459.87 52.04 8.84 1000000 0 849.67/849.98 c 306 494 457.12 47.06 9.71 1000000 0 850.87/851.18 c 320 406 456.37 44.84 10.18 1000000 0 852.07/852.37 c 316 461 462.39 49.45 9.35 1000000 0 853.27/853.56 c 310 486 456.71 49.57 9.21 1000000 0 854.47/854.75 c 319 432 458.72 51.26 8.95 1000000 0 855.67/855.95 c 306 470 461.93 51.91 8.90 1000000 0 856.87/857.15 c 281 497 453.14 49.99 9.06 1000000 0 858.07/858.34 c 286 494 462.39 52.94 8.73 1000000 0 859.27/859.53 c 321 481 463.41 47.46 9.76 1000000 0 860.47/860.73 c 312 446 457.27 46.82 9.77 1000000 0 861.67/861.92 c 324 386 463.66 47.73 9.71 1000000 0 862.86/863.11 c 327 427 465.47 51.28 9.08 1000000 0 864.06/864.30 c 313 464 463.27 45.75 10.13 1000000 0 865.16/865.49 c 296 394 452.13 52.35 8.64 1000000 0 866.36/866.68 c 298 487 461.41 52.72 8.75 1000000 0 867.57/867.87 c 281 426 454.33 51.52 8.82 1000000 0 868.77/869.06 c 300 451 448.83 47.28 9.49 1000000 0 869.96/870.25 c 316 473 457.93 47.38 9.66 1000000 0 871.16/871.44 c 312 460 456.35 50.08 9.11 1000000 0 872.36/872.64 c 319 477 456.92 45.02 10.15 1000000 0 873.56/873.83 c 288 540 459.42 50.55 9.09 1000000 0 874.76/875.03 c 311 451 460.90 55.20 8.35 1000000 0 875.96/876.22 c 323 530 465.23 51.99 8.95 1000000 0 877.16/877.42 c 316 497 458.67 47.07 9.74 1000000 0 878.36/878.61 c 302 461 464.87 46.76 9.94 1000000 0 879.56/879.80 c 310 486 460.46 57.41 8.02 1000000 0 880.66/880.99 c 330 529 461.13 51.93 8.88 1000000 0 881.86/882.18 c 314 401 460.70 47.91 9.62 1000000 0 883.06/883.37 c 310 472 461.27 53.08 8.69 1000000 0 884.26/884.56 c 318 427 455.06 55.75 8.16 1000000 0 885.46/885.76 c 314 486 457.87 53.51 8.56 1000000 0 886.66/886.95 c 320 419 465.89 47.39 9.83 1000000 0 887.86/888.14 c 311 427 467.76 54.68 8.55 1000000 0 889.06/889.33 c 321 493 468.40 53.20 8.80 1000000 0 890.26/890.53 c 312 533 463.63 54.20 8.55 1000000 0 891.46/891.72 c 328 471 458.67 44.23 10.37 1000000 0 892.66/892.91 c 316 550 459.93 44.99 10.22 1000000 0 893.86/894.10 c 346 409 463.19 40.88 11.33 1000000 0 895.06/895.30 c 295 455 458.40 48.14 9.52 1000000 0 896.16/896.49 c 320 431 460.49 47.63 9.67 1000000 0 897.36/897.68 c 309 463 459.98 51.45 8.94 1000000 0 898.55/898.88 c 290 450 457.65 52.92 8.65 1000000 0 899.75/900.07 c 294 496 457.91 53.56 8.55 1000000 0 900.95/901.27 c 301 476 460.17 51.75 8.89 1000000 0 902.15/902.46 c 296 398 453.72 51.41 8.83 1000000 0 903.35/903.65 c 312 438 463.72 47.46 9.77 1000000 0 904.55/904.84 c 304 484 456.04 52.75 8.65 1000000 0 905.75/906.05 c 303 521 456.96 56.82 8.04 1000000 0 906.95/907.23 c 327 488 462.61 49.09 9.42 1000000 0 908.15/908.42 c 270 463 458.05 52.93 8.65 1000000 0 909.36/909.62 c 305 487 463.73 49.64 9.34 1000000 0 910.56/910.81 c 300 422 457.55 47.75 9.58 1000000 0 911.75/912.00 c 320 602 455.88 43.92 10.38 1000000 0 912.85/913.19 c 302 480 457.40 53.60 8.53 1000000 0 914.05/914.38 c 305 469 467.60 53.27 8.78 1000000 0 915.25/915.57 c 328 444 463.31 54.46 8.51 1000000 0 916.45/916.76 c 308 467 458.55 49.06 9.35 1000000 0 917.65/917.95 c 310 405 455.63 50.68 8.99 1000000 0 918.85/919.14 c 316 513 463.53 53.82 8.61 1000000 0 920.05/920.34 c 285 469 459.46 50.05 9.18 1000000 0 921.25/921.53 c 301 459 461.85 49.89 9.26 1000000 0 922.45/922.72 c 304 534 458.49 53.99 8.49 1000000 0 923.65/923.91 c 292 523 464.64 53.01 8.77 1000000 0 924.75/925.10 c 296 381 451.24 53.34 8.46 1000000 0 925.95/926.29 c 325 451 464.21 47.91 9.69 1000000 0 927.15/927.48 c 302 417 452.30 48.74 9.28 1000000 0 928.35/928.67 c 336 506 465.13 52.71 8.82 1000000 0 929.55/929.87 c 328 486 464.00 44.63 10.40 1000000 0 930.75/931.05 c 320 469 456.80 49.20 9.28 1000000 0 931.95/932.24 c 302 461 471.59 53.78 8.77 1000000 0 933.14/933.43 c 316 453 463.27 50.67 9.14 1000000 0 934.34/934.62 c 294 467 458.46 45.77 10.02 1000000 0 935.54/935.81 c 315 433 462.40 46.86 9.87 1000000 0 936.74/937.01 c 296 387 462.09 48.86 9.46 1000000 0 937.95/938.20 c 306 486 461.17 51.95 8.88 1000000 0 939.05/939.39 c 317 409 461.07 46.92 9.83 1000000 0 940.25/940.58 c 313 481 457.56 54.40 8.41 1000000 0 941.44/941.77 c 318 478 463.92 48.95 9.48 1000000 0 942.64/942.96 c 319 455 454.98 46.79 9.72 1000000 0 943.84/944.15 c 318 521 468.34 48.79 9.60 1000000 0 945.04/945.34 c 318 438 459.45 49.46 9.29 1000000 0 946.24/946.53 c 284 470 460.21 50.32 9.15 1000000 0 947.44/947.72 c 321 484 462.81 49.65 9.32 1000000 0 948.64/948.91 c 308 483 460.51 51.96 8.86 1000000 0 949.84/950.10 c 309 474 460.45 49.02 9.39 1000000 0 950.94/951.29 c 331 635 463.76 48.93 9.48 1000000 0 952.14/952.48 c 321 501 462.21 52.95 8.73 1000000 0 953.35/953.67 c 327 398 468.34 49.86 9.39 1000000 0 954.55/954.86 c 306 494 458.37 49.07 9.34 1000000 0 955.74/956.04 c 293 435 456.62 53.14 8.59 1000000 0 956.94/957.23 c 308 433 453.50 50.00 9.07 1000000 0 958.14/958.42 c 304 348 462.17 50.92 9.08 1000000 0 959.34/959.61 c 318 490 457.54 45.60 10.03 1000000 0 960.54/960.80 c 294 429 459.62 52.66 8.73 1000000 0 961.74/962.00 c 291 452 460.57 45.63 10.09 1000000 0 962.84/963.18 c 262 465 453.21 52.62 8.61 1000000 0 964.04/964.38 c 322 578 465.79 49.57 9.40 1000000 0 965.24/965.57 c 303 409 450.73 50.14 8.99 1000000 0 966.44/966.77 c 301 394 457.92 51.39 8.91 1000000 0 967.64/967.96 c 324 453 466.09 48.47 9.62 1000000 0 968.84/969.15 c 271 387 453.53 50.91 8.91 1000000 0 970.04/970.35 c 293 466 465.42 57.24 8.13 1000000 0 971.24/971.55 c 298 432 453.87 50.22 9.04 1000000 0 972.44/972.74 c 317 399 461.90 48.43 9.54 1000000 0 973.63/973.93 c 290 535 466.43 55.48 8.41 1000000 0 974.83/975.12 c 315 509 464.48 50.78 9.15 1000000 0 976.03/976.31 c 305 421 449.79 50.16 8.97 1000000 0 977.23/977.50 c 305 497 468.06 48.25 9.70 1000000 0 978.33/978.68 c 314 513 458.49 46.68 9.82 1000000 0 979.53/979.88 c 308 477 463.62 54.14 8.56 1000000 0 980.73/981.07 c 247 468 457.21 48.04 9.52 1000000 0 981.94/982.26 c 303 447 463.55 49.72 9.32 1000000 0 983.14/983.45 c 304 401 462.82 50.16 9.23 1000000 0 984.33/984.65 c 285 455 469.33 53.73 8.73 1000000 0 985.53/985.84 c 305 425 451.78 46.96 9.62 1000000 0 986.73/987.03 c 285 483 455.02 50.84 8.95 1000000 0 987.93/988.22 c 307 518 462.13 48.69 9.49 1000000 0 989.13/989.42 c 324 483 459.92 47.94 9.59 1000000 0 990.33/990.61 c 319 495 460.93 52.14 8.84 1000000 0 991.53/991.80 c 333 510 459.99 47.26 9.73 1000000 0 992.63/992.99 c 292 462 451.94 49.13 9.20 1000000 0 993.83/994.18 c 319 461 454.22 51.01 8.91 1000000 0 995.03/995.37 c 302 448 455.15 53.21 8.55 1000000 0 996.23/996.56 c 295 406 459.27 51.21 8.97 1000000 0 997.43/997.75 c 308 438 458.44 52.01 8.81 1000000 0 998.63/998.94 c 306 509 469.56 47.87 9.81 1000000 0 999.83/1000.13 c 291 538 462.59 55.63 8.32 1000000 0 1001.02/1001.33 c 291 445 462.76 59.19 7.82 1000000 0 1002.22/1002.52 c 308 401 463.06 49.04 9.44 1000000 0 1003.43/1003.72 c 329 557 460.54 46.84 9.83 1000000 0 1004.63/1004.91 c 321 491 461.85 50.59 9.13 1000000 0 1005.83/1006.10 c 329 389 458.00 45.69 10.03 1000000 0 1007.03/1007.30 c 317 435 457.51 49.24 9.29 1000000 0 1008.13/1008.49 c 316 492 458.08 56.04 8.17 1000000 0 1009.33/1009.68 c 320 416 460.29 47.97 9.59 1000000 0 1010.54/1010.87 c 310 461 457.67 50.24 9.11 1000000 0 1011.74/1012.06 c 307 477 465.49 52.47 8.87 1000000 0 1012.93/1013.24 c 312 416 462.00 53.10 8.70 1000000 0 1014.13/1014.44 c 316 523 457.75 49.13 9.32 1000000 0 1015.33/1015.63 c 303 474 461.03 52.54 8.77 1000000 0 1016.53/1016.82 c 321 418 462.96 57.97 7.99 1000000 0 1017.73/1018.01 c 291 415 461.50 50.62 9.12 1000000 0 1018.93/1019.20 c 331 341 462.71 54.32 8.52 1000000 0 1020.13/1020.41 c 305 468 462.83 52.10 8.88 1000000 0 1021.23/1021.59 c 275 469 459.74 54.31 8.47 1000000 0 1022.43/1022.79 c 317 440 454.69 45.08 10.09 1000000 0 1023.63/1023.98 c 312 415 453.88 50.45 9.00 1000000 0 1024.84/1025.17 c 316 413 455.85 47.44 9.61 1000000 0 1026.04/1026.36 c 321 482 462.60 51.84 8.92 1000000 0 1027.23/1027.56 c 311 433 460.86 50.25 9.17 1000000 0 1028.43/1028.75 c 336 438 464.08 48.88 9.49 1000000 0 1029.63/1029.95 c 323 519 464.05 53.61 8.66 1000000 0 1030.83/1031.14 c 309 479 465.83 52.42 8.89 1000000 0 1032.03/1032.34 c 318 442 461.57 50.72 9.10 1000000 0 1033.23/1033.53 c 306 458 458.98 52.34 8.77 1000000 0 1034.43/1034.72 c 314 467 472.01 51.31 9.20 1000000 0 1035.63/1035.91 c 300 509 459.86 50.89 9.04 1000000 0 1036.83/1037.11 c 310 382 459.48 57.94 7.93 1000000 0 1038.03/1038.30 c 315 444 453.03 44.54 10.17 1000000 0 1039.13/1039.49 c 313 470 460.90 53.29 8.65 1000000 0 1040.33/1040.68 c 304 435 461.85 51.55 8.96 1000000 0 1041.52/1041.87 c 324 443 459.69 41.03 11.20 1000000 0 1042.72/1043.07 c 297 400 469.06 52.19 8.99 1000000 0 1043.92/1044.26 c 310 499 456.82 51.09 8.94 1000000 0 1045.12/1045.45 c 315 519 467.04 50.47 9.25 1000000 0 1046.32/1046.64 c 294 415 457.55 48.36 9.46 1000000 0 1047.52/1047.83 c 303 437 457.68 46.70 9.80 1000000 0 1048.72/1049.02 c 313 411 458.38 51.21 8.95 1000000 0 1049.92/1050.22 c 291 445 455.39 48.79 9.33 1000000 0 1051.12/1051.41 c 322 384 464.42 44.26 10.49 1000000 0 1052.33/1052.60 c 296 468 462.12 44.52 10.38 1000000 0 1053.43/1053.79 c 313 429 468.72 53.25 8.80 1000000 0 1054.63/1054.98 c 314 558 455.96 46.60 9.79 1000000 0 1055.82/1056.17 c 322 461 468.68 48.39 9.68 1000000 0 1057.02/1057.36 c 307 371 460.84 46.20 9.97 1000000 0 1058.22/1058.55 c 327 461 461.88 51.98 8.89 1000000 0 1059.42/1059.74 c 296 458 462.50 54.11 8.55 1000000 0 1060.62/1060.94 c 302 376 453.74 51.41 8.83 1000000 0 1061.82/1062.13 c 321 494 467.95 49.60 9.44 1000000 0 1063.02/1063.32 c 302 473 461.22 56.13 8.22 1000000 0 1064.22/1064.51 c 310 406 455.56 50.80 8.97 1000000 0 1065.42/1065.70 c 314 427 462.30 51.55 8.97 1000000 0 1066.52/1066.89 c 323 484 455.81 48.09 9.48 1000000 0 1067.73/1068.09 c 310 477 460.43 50.87 9.05 1000000 0 1068.93/1069.28 c 307 426 459.62 49.50 9.29 1000000 0 1070.12/1070.48 c 325 448 459.65 48.25 9.53 1000000 0 1071.32/1071.67 c 303 504 457.60 47.62 9.61 1000000 0 1072.52/1072.86 c 319 456 462.39 48.77 9.48 1000000 0 1073.72/1074.05 c 298 450 456.41 50.58 9.02 1000000 0 1074.92/1075.24 c 318 491 458.36 51.69 8.87 1000000 0 1076.12/1076.44 c 331 440 463.01 57.61 8.04 1000000 0 1077.32/1077.63 c 319 417 461.03 49.22 9.37 1000000 0 1078.52/1078.82 c 310 442 457.87 52.14 8.78 1000000 0 1079.71/1080.02 c 300 504 468.07 55.11 8.49 1000000 0 1080.92/1081.21 c 307 488 463.78 45.62 10.17 1000000 0 1082.02/1082.40 c 306 481 450.97 47.21 9.55 1000000 0 1083.22/1083.59 c 318 391 464.10 50.35 9.22 1000000 0 1084.41/1084.78 c 319 407 457.74 49.81 9.19 1000000 0 1085.61/1085.97 c 295 465 463.25 45.18 10.25 1000000 0 1086.81/1087.17 c 320 497 462.42 49.81 9.28 1000000 0 1088.01/1088.36 c 316 505 451.56 45.70 9.88 1000000 0 1089.21/1089.55 c 310 494 458.67 51.13 8.97 1000000 0 1090.41/1090.74 c 307 437 448.36 46.18 9.71 1000000 0 1091.61/1091.94 c 282 479 460.83 50.97 9.04 1000000 0 1092.81/1093.13 c 290 463 460.52 48.06 9.58 1000000 0 1094.01/1094.32 c 327 486 460.17 55.37 8.31 1000000 0 1095.22/1095.51 c 303 469 460.40 50.00 9.21 1000000 0 1096.42/1096.70 c 295 466 460.49 49.74 9.26 1000000 0 1097.61/1097.90 c 300 514 460.38 52.41 8.78 1000000 0 1098.71/1099.09 c 297 547 458.19 54.08 8.47 1000000 0 1099.91/1100.29 c 297 429 451.57 56.11 8.05 1000000 0 1101.11/1101.48 c 293 486 457.34 52.59 8.70 1000000 0 1102.31/1102.68 c 304 433 465.34 53.60 8.68 1000000 0 1103.51/1103.87 c 309 414 459.12 50.23 9.14 1000000 0 1104.71/1105.06 c 305 474 463.38 49.05 9.45 1000000 0 1105.91/1106.25 c 336 463 472.56 55.04 8.59 1000000 0 1107.11/1107.45 c 308 536 452.02 44.10 10.25 1000000 0 1108.31/1108.64 c 322 546 461.80 43.71 10.57 1000000 0 1109.52/1109.83 c 333 399 466.73 52.48 8.89 1000000 0 1110.72/1111.03 c 294 544 463.32 48.55 9.54 1000000 0 1111.91/1112.22 c 322 446 462.97 47.97 9.65 1000000 0 1113.11/1113.41 c 305 492 458.49 49.70 9.22 1000000 0 1114.21/1114.60 c 316 507 460.70 51.20 9.00 1000000 0 1115.41/1115.79 c 315 460 456.11 60.19 7.58 1000000 0 1116.61/1116.98 c 299 525 460.11 52.35 8.79 1000000 0 1117.81/1118.17 c 319 569 460.48 49.41 9.32 1000000 0 1119.01/1119.37 c 303 387 462.69 47.63 9.71 1000000 0 1120.21/1120.56 c 291 405 464.12 52.68 8.81 1000000 0 1121.40/1121.75 c 330 411 463.21 51.96 8.91 1000000 0 1122.60/1122.94 c 327 529 466.34 47.71 9.78 1000000 0 1123.81/1124.13 c 331 425 460.87 47.64 9.67 1000000 0 1125.01/1125.33 c 282 360 466.10 51.19 9.11 1000000 0 1126.20/1126.52 c 300 521 462.99 52.08 8.89 1000000 0 1127.40/1127.70 c 320 401 460.24 51.46 8.94 1000000 0 1128.50/1128.89 c 330 484 459.59 47.35 9.71 1000000 0 1129.70/1130.08 c 319 469 459.44 53.12 8.65 1000000 0 1130.90/1131.28 c 283 478 463.99 53.01 8.75 1000000 0 1132.10/1132.48 c 304 485 454.82 48.37 9.40 1000000 0 1133.30/1133.67 c 301 397 457.42 50.36 9.08 1000000 0 1134.50/1134.86 c 320 492 460.01 51.61 8.91 1000000 0 1135.70/1136.06 c 315 471 459.14 48.21 9.52 1000000 0 1136.90/1137.25 c 305 450 456.53 46.27 9.87 1000000 0 1138.11/1138.45 c 302 388 457.92 51.66 8.86 1000000 0 1139.31/1139.64 c 321 417 462.53 48.53 9.53 1000000 0 1140.50/1140.83 c 314 488 466.39 51.09 9.13 1000000 0 1141.70/1142.02 c 312 376 458.85 52.13 8.80 1000000 0 1142.90/1143.22 c 296 503 460.40 50.77 9.07 1000000 0 1144.10/1144.41 c 316 429 457.45 48.91 9.35 1000000 0 1145.30/1145.61 c 325 410 466.22 47.82 9.75 1000000 0 1146.40/1146.79 c 300 433 458.53 51.34 8.93 1000000 0 1147.60/1147.99 c 303 448 451.91 49.22 9.18 1000000 0 1148.79/1149.19 c 311 442 462.51 53.77 8.60 1000000 0 1149.99/1150.38 c 325 505 454.39 45.86 9.91 1000000 0 1151.19/1151.57 c 308 462 457.69 50.37 9.09 1000000 0 1152.40/1152.77 c 311 498 460.10 45.03 10.22 1000000 0 1153.60/1153.96 c 311 444 462.49 49.65 9.32 1000000 0 1154.79/1155.15 c 313 406 461.25 47.73 9.66 1000000 0 1155.99/1156.33 c 313 485 458.58 46.29 9.91 1000000 0 1157.19/1157.52 c 312 399 468.39 47.95 9.77 1000000 0 1158.39/1158.71 c 326 503 461.98 50.54 9.14 1000000 0 1159.59/1159.90 c 294 396 454.31 54.21 8.38 1000000 0 1160.69/1161.09 c 322 418 463.77 53.59 8.65 1000000 0 1161.89/1162.29 c 299 452 453.26 64.12 7.07 1000000 0 1163.09/1163.48 c 304 521 458.48 53.05 8.64 1000000 0 1164.29/1164.67 c 286 380 458.02 52.78 8.68 1000000 0 1165.49/1165.86 c 313 451 461.83 48.22 9.58 1000000 0 1166.69/1167.05 c 305 488 456.43 49.79 9.17 1000000 0 1167.89/1168.25 c 297 491 449.03 48.45 9.27 1000000 0 1169.09/1169.44 c 315 480 465.70 53.81 8.65 1000000 0 1170.29/1170.63 c 309 371 459.61 59.16 7.77 1000000 0 1171.49/1171.82 c 293 490 456.65 50.73 9.00 1000000 0 1172.68/1173.01 c 305 486 462.90 56.69 8.17 1000000 0 1173.88/1174.20 c 312 411 457.88 46.99 9.74 1000000 0 1175.08/1175.40 c 302 454 463.94 53.11 8.74 1000000 0 1176.18/1176.59 c 311 473 461.82 51.48 8.97 1000000 0 1177.38/1177.78 c 318 435 458.17 48.09 9.53 1000000 0 1178.58/1178.98 c 319 455 468.60 51.31 9.13 1000000 0 1179.78/1180.16 c 314 430 456.43 50.20 9.09 1000000 0 1180.99/1181.35 c 288 440 454.09 46.45 9.78 1000000 0 1182.19/1182.54 c 308 467 456.13 47.85 9.53 1000000 0 1183.38/1183.74 c 305 454 455.09 48.95 9.30 1000000 0 1184.58/1184.93 c 291 447 446.88 50.28 8.89 1000000 0 1185.78/1186.12 c 319 542 464.01 53.80 8.62 1000000 0 1186.98/1187.31 c 326 433 452.46 47.68 9.49 1000000 0 1188.18/1188.50 c 325 432 461.54 48.03 9.61 1000000 0 1189.28/1189.69 c 329 502 460.94 54.11 8.52 1000000 0 1190.48/1190.88 c 307 417 460.67 48.45 9.51 1000000 0 1191.68/1192.08 c 311 436 461.88 52.25 8.84 1000000 0 1192.88/1193.28 c 307 454 458.25 48.44 9.46 1000000 0 1194.08/1194.47 c 328 442 461.16 46.82 9.85 1000000 0 1195.29/1195.66 c 298 451 453.13 57.95 7.82 1000000 0 1196.49/1196.85 c 310 435 458.13 51.30 8.93 1000000 0 1197.68/1198.04 c 292 477 461.78 51.28 9.00 1000000 0 1198.88/1199.23 c 311 452 458.65 49.71 9.23 1000000 0 1200.08/1200.43 c 332 408 458.91 48.54 9.45 1000000 0 1201.28/1201.61 c 293 443 451.03 50.14 9.00 1000000 0 1202.48/1202.81 c 319 483 466.24 51.72 9.01 1000000 0 1203.68/1204.00 c 296 406 457.57 46.98 9.74 1000000 0 1204.78/1205.19 c 324 461 459.71 50.53 9.10 1000000 0 1205.98/1206.38 c 301 385 452.24 46.00 9.83 1000000 0 1207.18/1207.57 c 297 494 460.37 52.47 8.77 1000000 0 1208.38/1208.77 c 296 429 461.31 47.55 9.70 1000000 0 1209.58/1209.96 c 313 458 465.40 51.10 9.11 1000000 0 1210.78/1211.15 c 296 514 461.77 50.99 9.06 1000000 0 1211.97/1212.34 c 298 509 451.00 50.38 8.95 1000000 0 1213.17/1213.53 c 326 375 463.47 46.88 9.89 1000000 0 1214.38/1214.73 c 281 403 452.80 47.49 9.53 1000000 0 1215.57/1215.92 c 326 494 462.37 48.28 9.58 1000000 0 1216.77/1217.11 c 318 428 458.55 49.23 9.31 1000000 0 1217.97/1218.30 c 311 428 466.12 53.86 8.65 1000000 0 1219.07/1219.49 c 286 411 463.97 54.57 8.50 1000000 0 1220.27/1220.68 c 313 450 466.17 49.35 9.45 1000000 0 1221.47/1221.88 c 326 498 458.46 53.07 8.64 1000000 0 1222.67/1223.07 c 273 561 463.82 49.61 9.35 1000000 0 1223.88/1224.26 c 325 428 458.10 44.41 10.32 1000000 0 1225.08/1225.45 c 311 420 466.30 52.83 8.83 1000000 0 1226.27/1226.65 c 269 388 458.42 47.90 9.57 1000000 0 1227.47/1227.83 c 323 514 457.23 48.85 9.36 1000000 0 1228.67/1229.02 c 288 484 459.68 45.70 10.06 1000000 0 1229.87/1230.22 c 329 471 459.93 48.14 9.55 1000000 0 1231.07/1231.41 c 303 474 458.99 57.99 7.91 1000000 0 1232.27/1232.60 c 313 494 463.55 49.62 9.34 1000000 0 1233.37/1233.79 c 289 470 460.05 53.33 8.63 1000000 0 1234.57/1234.98 c 300 424 460.50 53.59 8.59 1000000 0 1235.77/1236.18 c 298 439 458.49 53.14 8.63 1000000 0 1236.97/1237.37 c 266 509 461.76 49.15 9.40 1000000 0 1238.17/1238.56 c 320 441 463.09 55.49 8.35 1000000 0 1239.37/1239.75 c 303 507 459.64 51.52 8.92 1000000 0 1240.57/1240.94 c 319 392 463.56 50.30 9.22 1000000 0 1241.77/1242.14 c 294 473 460.67 47.51 9.70 1000000 0 1242.97/1243.33 c 306 447 459.58 45.90 10.01 1000000 0 1244.17/1244.53 c 311 479 461.10 52.60 8.77 1000000 0 1245.37/1245.72 c 316 515 457.27 46.58 9.82 1000000 0 1246.56/1246.92 c 303 436 454.08 49.94 9.09 1000000 0 1247.76/1248.11 c 297 435 454.19 49.62 9.15 1000000 0 1248.96/1249.30 c 324 446 466.68 57.75 8.08 1000000 0 1250.06/1250.49 c 311 515 469.63 50.30 9.34 1000000 0 1251.26/1251.68 c 307 529 460.29 49.67 9.27 1000000 0 1252.47/1252.87 c 352 469 466.75 47.84 9.76 1000000 0 1253.67/1254.07 c 272 418 452.23 51.59 8.77 1000000 0 1254.86/1255.26 c 296 449 466.42 54.58 8.54 1000000 0 1256.06/1256.45 c 314 417 459.51 47.82 9.61 1000000 0 1257.26/1257.64 c 299 515 464.25 50.77 9.14 1000000 0 1258.46/1258.83 c 294 459 464.33 56.34 8.24 1000000 0 1259.66/1260.03 c 318 432 466.41 47.92 9.73 1000000 0 1260.86/1261.22 c 302 420 457.34 54.45 8.40 1000000 0 1262.06/1262.41 c 303 371 455.68 50.86 8.96 1000000 0 1263.26/1263.61 c 318 417 452.91 49.31 9.19 1000000 0 1264.36/1264.79 c 296 469 463.36 46.17 10.04 1000000 0 1265.56/1265.98 c 303 481 460.44 49.35 9.33 1000000 0 1266.77/1267.17 c 322 358 462.15 56.02 8.25 1000000 0 1267.97/1268.36 c 303 443 455.06 52.49 8.67 1000000 0 1269.16/1269.55 c 290 514 463.11 45.91 10.09 1000000 0 1270.36/1270.74 c 307 398 456.68 47.43 9.63 1000000 0 1271.56/1271.93 c 299 438 459.11 57.32 8.01 1000000 0 1272.76/1273.13 c 307 465 454.04 50.16 9.05 1000000 0 1273.96/1274.32 c 292 444 464.98 52.59 8.84 1000000 0 1275.16/1275.52 c 303 435 457.45 50.31 9.09 1000000 0 1276.36/1276.71 c 311 502 458.35 47.64 9.62 1000000 0 1277.56/1277.90 c 258 436 462.99 51.55 8.98 1000000 0 1278.66/1279.09 c 326 418 461.54 50.69 9.10 1000000 0 1279.86/1280.29 c 291 400 455.93 50.28 9.07 1000000 0 1281.06/1281.47 c 306 440 463.90 51.40 9.03 1000000 0 1282.26/1282.67 c 313 465 451.85 53.23 8.49 1000000 0 1283.45/1283.86 c 312 485 462.92 50.07 9.24 1000000 0 1284.65/1285.05 c 315 445 458.72 52.84 8.68 1000000 0 1285.85/1286.25 c 312 440 461.50 49.59 9.31 1000000 0 1287.05/1287.43 c 325 460 457.20 45.04 10.15 1000000 0 1288.25/1288.62 c 307 465 467.93 51.28 9.13 1000000 0 1289.45/1289.82 c 287 376 458.69 53.97 8.50 1000000 0 1290.65/1291.01 c 319 462 458.53 52.44 8.74 1000000 0 1291.85/1292.21 c 302 474 455.57 53.06 8.59 1000000 0 1293.05/1293.40 c 310 441 462.68 49.17 9.41 1000000 0 1294.15/1294.59 c 310 435 459.92 47.32 9.72 1000000 0 1295.36/1295.79 c 298 391 462.25 53.41 8.65 1000000 0 1296.56/1296.98 c 311 455 465.47 48.89 9.52 1000000 0 1297.75/1298.18 c 315 448 468.75 57.81 8.11 1000000 0 1298.95/1299.37 c 286 481 468.02 56.08 8.35 1000000 0 1300.15/1300.56 c 326 440 462.84 47.86 9.67 1000000 0 1301.35/1301.75 c 319 445 460.27 45.15 10.19 1000000 0 1302.55/1302.95 c 317 424 462.56 52.12 8.88 1000000 0 1303.75/1304.13 c 324 531 464.17 50.95 9.11 1000000 0 1304.95/1305.32 c 320 513 462.52 48.32 9.57 1000000 0 1306.15/1306.51 c 288 459 453.12 51.94 8.72 1000000 0 1307.35/1307.71 c 303 433 465.88 49.20 9.47 1000000 0 1308.56/1308.90 c 327 473 464.68 48.53 9.58 1000000 0 1309.65/1310.09 c 302 442 457.87 50.61 9.05 1000000 0 1310.85/1311.28 c 299 466 463.94 54.25 8.55 1000000 0 1312.05/1312.47 c 295 526 454.56 48.99 9.28 1000000 0 1313.25/1313.67 c 306 508 464.68 58.12 7.99 1000000 0 1314.45/1314.86 c 303 443 460.97 51.28 8.99 1000000 0 1315.65/1316.05 c 316 391 449.50 44.23 10.16 1000000 0 1316.85/1317.23 c 309 443 463.96 46.77 9.92 1000000 0 1318.04/1318.42 c 322 421 469.04 56.18 8.35 1000000 0 1319.25/1319.62 c 309 550 457.61 50.23 9.11 1000000 0 1320.45/1320.80 c 296 479 460.66 53.00 8.69 1000000 0 1321.64/1322.00 c 292 451 455.12 47.54 9.57 1000000 0 1322.85/1323.20 c 315 415 462.22 51.86 8.91 1000000 0 1323.95/1324.39 c 307 410 457.19 50.09 9.13 1000000 0 1325.15/1325.58 c 287 470 461.93 51.54 8.96 1000000 0 1326.34/1326.77 c 317 465 460.67 57.03 8.08 1000000 0 1327.54/1327.96 c 315 421 458.55 52.01 8.82 1000000 0 1328.74/1329.15 c 325 514 460.71 51.23 8.99 1000000 0 1329.94/1330.34 c 314 415 463.19 48.38 9.57 1000000 0 1331.14/1331.53 c 315 431 461.73 48.89 9.45 1000000 0 1332.34/1332.73 c 301 455 467.92 50.55 9.26 1000000 0 1333.54/1333.92 c 310 441 462.88 48.47 9.55 1000000 0 1334.74/1335.11 c 307 448 457.63 51.45 8.90 1000000 0 1335.94/1336.31 c 321 441 461.64 52.65 8.77 1000000 0 1337.04/1337.50 c 296 410 450.15 46.88 9.60 1000000 0 1338.25/1338.69 c 290 478 463.79 50.50 9.18 1000000 0 1339.45/1339.88 c 300 429 460.43 54.99 8.37 1000000 0 1340.64/1341.07 c 308 456 462.25 50.33 9.18 1000000 0 1341.84/1342.27 c 309 453 472.89 50.78 9.31 1000000 0 1343.04/1343.46 c 300 406 466.84 55.61 8.39 1000000 0 1344.24/1344.65 c 316 502 451.92 47.85 9.44 1000000 0 1345.44/1345.84 c 321 382 466.41 47.17 9.89 1000000 0 1346.64/1347.03 c 291 466 464.67 52.15 8.91 1000000 0 1347.84/1348.22 c 313 503 461.14 53.83 8.57 1000000 0 1349.04/1349.42 c 313 414 465.99 54.91 8.49 1000000 0 1350.24/1350.61 c 297 414 461.29 48.92 9.43 1000000 0 1351.44/1351.80 c 319 432 456.31 46.73 9.77 1000000 0 1352.54/1352.99 c 329 482 461.77 48.75 9.47 1000000 0 1353.74/1354.19 c 304 447 455.82 48.83 9.33 1000000 0 1354.94/1355.39 c 328 487 467.51 54.10 8.64 1000000 0 1356.13/1356.58 c 278 478 455.71 52.35 8.71 1000000 0 1357.33/1357.78 c 323 467 456.38 48.22 9.46 1000000 0 1358.53/1358.97 c 302 487 458.00 50.04 9.15 1000000 0 1359.73/1360.16 c 296 436 465.39 48.73 9.55 1000000 0 1360.93/1361.35 c 279 377 453.06 43.84 10.33 1000000 0 1362.13/1362.55 c 311 427 462.36 47.89 9.65 1000000 0 1363.33/1363.74 c 324 455 462.75 51.96 8.91 1000000 0 1364.53/1364.93 c 316 445 462.07 53.39 8.65 1000000 0 1365.74/1366.13 c 334 456 463.61 54.91 8.44 1000000 0 1366.94/1367.32 c 327 387 461.49 55.33 8.34 1000000 0 1368.13/1368.51 c 278 484 461.79 54.08 8.54 1000000 0 1369.33/1369.70 c 303 482 455.82 50.54 9.02 1000000 0 1370.43/1370.89 c 309 448 456.97 49.65 9.20 1000000 0 1371.63/1372.09 c 299 475 461.96 55.55 8.32 1000000 0 1372.83/1373.28 c 306 472 462.51 48.70 9.50 1000000 0 1374.03/1374.47 c 316 390 458.88 46.88 9.79 1000000 0 1375.23/1375.67 c 315 443 463.12 51.83 8.94 1000000 0 1376.43/1376.86 c 279 502 461.88 50.30 9.18 1000000 0 1377.63/1378.05 c 307 366 458.06 51.90 8.83 1000000 0 1378.83/1379.25 c 312 514 456.05 51.37 8.88 1000000 0 1380.04/1380.44 c 315 575 458.02 53.06 8.63 1000000 0 1381.24/1381.63 c 310 433 457.15 46.82 9.76 1000000 0 1382.43/1382.82 c 292 462 462.10 46.31 9.98 1000000 0 1383.63/1384.02 c 307 438 466.59 51.96 8.98 1000000 0 1384.83/1385.22 c 307 429 465.55 48.89 9.52 1000000 0 1386.03/1386.41 c 302 370 454.59 47.95 9.48 1000000 0 1387.23/1387.60 c 296 489 464.68 50.54 9.19 1000000 0 1388.33/1388.79 c 315 560 469.86 49.44 9.50 1000000 0 1389.53/1389.99 c 283 398 457.29 54.19 8.44 1000000 0 1390.73/1391.18 c 299 382 452.38 48.50 9.33 1000000 0 1391.93/1392.37 c 311 468 466.86 48.30 9.67 1000000 0 1393.13/1393.56 c 325 471 465.52 51.33 9.07 1000000 0 1394.33/1394.75 c 323 442 460.87 45.33 10.17 1000000 0 1395.53/1395.94 c 306 479 465.01 56.39 8.25 1000000 0 1396.72/1397.13 c 304 459 453.51 55.94 8.11 1000000 0 1397.92/1398.33 c 313 445 457.82 46.43 9.86 1000000 0 1399.12/1399.52 c 325 471 458.87 43.78 10.48 1000000 0 1400.32/1400.71 c 328 441 465.01 48.87 9.51 1000000 0 1401.52/1401.90 c 324 412 457.74 53.57 8.54 1000000 0 1402.62/1403.10 c 307 438 455.06 48.51 9.38 1000000 0 1403.82/1404.29 c 304 510 457.35 47.20 9.69 1000000 0 1405.02/1405.48 c 318 457 453.36 51.82 8.75 1000000 0 1406.22/1406.67 c 284 423 454.08 51.51 8.82 1000000 0 1407.42/1407.86 c 333 530 460.29 45.20 10.18 1000000 0 1408.63/1409.05 c 314 452 467.83 49.85 9.38 1000000 0 1409.83/1410.23 c 316 343 462.84 48.07 9.63 1000000 0 1411.02/1411.42 c 320 398 461.39 49.12 9.39 1000000 0 1412.22/1412.62 c 307 466 456.56 47.98 9.52 1000000 0 1413.42/1413.82 c 311 452 464.39 50.26 9.24 1000000 0 1414.62/1415.01 c 295 504 458.85 51.49 8.91 1000000 0 1415.82/1416.20 c 297 534 460.33 49.43 9.31 1000000 0 1416.92/1417.40 c 280 368 463.13 52.54 8.82 1000000 0 1418.12/1418.58 c 291 497 462.93 51.59 8.97 1000000 0 1419.32/1419.77 c 307 458 458.72 49.21 9.32 1000000 0 1420.52/1420.96 c 312 462 451.14 49.47 9.12 1000000 0 1421.72/1422.16 c 323 439 457.26 49.31 9.27 1000000 0 1422.92/1423.35 c 341 458 468.39 47.16 9.93 1000000 0 1424.13/1424.54 c 287 399 467.64 58.57 7.98 1000000 0 1425.32/1425.74 c 295 467 457.26 55.08 8.30 1000000 0 1426.52/1426.92 c 306 443 452.81 46.80 9.68 1000000 0 1427.72/1428.12 c 310 480 452.78 55.71 8.13 1000000 0 1428.92/1429.31 c 288 567 463.57 53.68 8.64 1000000 0 1430.12/1430.50 c 317 427 460.83 53.97 8.54 1000000 0 1431.22/1431.69 c 323 527 465.36 51.20 9.09 1000000 0 1432.42/1432.88 c 317 474 459.42 53.08 8.66 1000000 0 1433.62/1434.07 c 310 525 471.24 57.56 8.19 1000000 0 1434.82/1435.26 c 315 436 461.14 47.10 9.79 1000000 0 1436.02/1436.45 c 305 490 459.43 52.09 8.82 1000000 0 1437.22/1437.64 c 310 424 456.99 48.17 9.49 1000000 0 1438.42/1438.83 c 310 544 462.73 58.05 7.97 1000000 0 1439.61/1440.02 c 326 405 461.61 43.43 10.63 1000000 0 1440.81/1441.22 c 292 489 456.64 49.35 9.25 1000000 0 1442.01/1442.40 c 315 459 455.91 51.16 8.91 1000000 0 1443.11/1443.59 c 305 381 462.01 50.75 9.10 1000000 0 1444.31/1444.79 c 264 439 454.49 52.39 8.68 1000000 0 1445.51/1445.98 c 315 360 465.32 52.81 8.81 1000000 0 1446.71/1447.17 c 316 495 457.75 47.50 9.64 1000000 0 1447.91/1448.36 c 297 449 457.63 56.71 8.07 1000000 0 1449.11/1449.55 c 310 464 461.96 51.65 8.94 1000000 0 1450.31/1450.75 c 306 473 461.05 51.78 8.90 1000000 0 1451.52/1451.94 c 308 437 459.39 49.66 9.25 1000000 0 1452.72/1453.13 c 316 453 460.07 54.48 8.45 1000000 0 1453.91/1454.32 c 304 546 466.06 55.23 8.44 1000000 0 1455.11/1455.51 c 332 556 469.31 47.26 9.93 1000000 0 1456.31/1456.70 c 307 473 467.25 53.49 8.74 1000000 0 1457.41/1457.89 c 302 486 456.79 52.30 8.73 1000000 0 1458.61/1459.08 c 296 440 455.85 49.41 9.23 1000000 0 1459.81/1460.27 c 323 421 460.76 50.79 9.07 1000000 0 1461.01/1461.46 c 318 531 461.04 49.59 9.30 1000000 0 1462.21/1462.65 c 308 488 454.61 53.87 8.44 1000000 0 1463.41/1463.85 c 288 436 462.40 50.12 9.23 1000000 0 1464.61/1465.04 c 311 344 452.82 50.90 8.90 1000000 0 1465.81/1466.23 c 323 486 468.31 48.15 9.73 1000000 0 1467.01/1467.43 c 320 413 458.78 51.32 8.94 1000000 0 1468.21/1468.62 c 297 414 463.37 54.59 8.49 1000000 0 1469.41/1469.81 c 326 415 460.44 45.95 10.02 1000000 0 1470.61/1471.01 c 328 467 472.67 55.79 8.47 1000000 0 1471.80/1472.20 c 308 363 456.94 48.80 9.36 1000000 0 1472.90/1473.39 c 310 466 462.34 51.32 9.01 1000000 0 1474.10/1474.58 c 313 464 462.19 54.35 8.50 1000000 0 1475.30/1475.77 c 281 455 457.86 50.15 9.13 1000000 0 1476.50/1476.96 c 310 380 458.70 50.32 9.12 1000000 0 1477.70/1478.15 c 322 454 454.50 50.38 9.02 1000000 0 1478.90/1479.34 c 314 430 454.03 44.88 10.12 1000000 0 1480.11/1480.54 c 301 479 458.98 51.03 8.99 1000000 0 1481.31/1481.73 c 316 435 465.97 52.39 8.89 1000000 0 1482.50/1482.92 c 304 464 460.11 48.15 9.56 1000000 0 1483.70/1484.11 c 292 419 464.07 50.25 9.24 1000000 0 1484.90/1485.31 c 314 365 463.14 48.84 9.48 1000000 0 1486.00/1486.49 c 320 461 464.94 48.37 9.61 1000000 0 1487.20/1487.68 c 321 457 458.63 49.67 9.23 1000000 0 1488.40/1488.88 c 321 494 466.18 49.11 9.49 1000000 0 1489.60/1490.07 c 321 479 459.62 49.51 9.28 1000000 0 1490.80/1491.26 c 293 466 457.47 53.82 8.50 1000000 0 1492.00/1492.46 c 333 452 455.65 49.32 9.24 1000000 0 1493.20/1493.66 c 302 539 464.87 53.54 8.68 1000000 0 1494.41/1494.84 c 296 415 459.59 46.61 9.86 1000000 0 1495.61/1496.03 c 326 440 462.47 43.13 10.72 1000000 0 1496.80/1497.23 c 291 385 461.74 51.21 9.02 1000000 0 1498.00/1498.43 c 307 420 457.62 56.08 8.16 1000000 0 1499.20/1499.62 c 290 497 454.42 51.72 8.79 1000000 0 1500.40/1500.81 c 311 443 459.33 51.99 8.84 1000000 0 1501.60/1502.01 c 304 462 464.65 50.20 9.26 1000000 0 1502.80/1503.20 c 310 466 459.76 47.39 9.70 1000000 0 1503.90/1504.39 c 298 460 458.88 60.32 7.61 1000000 0 1505.10/1505.58 c 301 457 452.81 51.26 8.83 1000000 0 1506.30/1506.77 c 305 498 466.66 52.86 8.83 1000000 0 1507.50/1507.96 c 296 553 459.67 55.07 8.35 1000000 0 1508.70/1509.15 c 323 453 452.83 44.63 10.15 1000000 0 1509.90/1510.35 c 315 421 457.98 49.32 9.29 1000000 0 1511.10/1511.54 c 300 413 470.10 48.72 9.65 1000000 0 1512.29/1512.73 c 310 437 458.45 47.48 9.65 1000000 0 1513.49/1513.92 c 316 468 460.58 52.39 8.79 1000000 0 1514.69/1515.10 c 307 445 463.83 46.04 10.07 1000000 0 1515.79/1516.29 c 322 433 462.47 46.12 10.03 1000000 0 1516.99/1517.48 c 304 453 458.09 48.07 9.53 1000000 0 1518.19/1518.67 c 309 527 456.27 49.23 9.27 1000000 0 1519.39/1519.86 c 295 509 461.87 47.46 9.73 1000000 0 1520.59/1521.06 c 306 471 460.15 50.02 9.20 1000000 0 1521.79/1522.26 c 318 458 466.53 54.19 8.61 1000000 0 1523.00/1523.45 c 282 412 461.09 51.18 9.01 1000000 0 1524.20/1524.64 c 322 453 466.68 51.93 8.99 1000000 0 1525.39/1525.83 c 306 453 464.15 45.92 10.11 1000000 0 1526.59/1527.02 c 291 440 472.26 55.96 8.44 1000000 0 1527.79/1528.22 c 315 490 458.06 47.38 9.67 1000000 0 1528.99/1529.41 c 268 485 460.64 50.80 9.07 1000000 0 1530.09/1530.59 c 315 482 454.88 45.88 9.91 1000000 0 1531.29/1531.79 c 322 523 458.32 49.88 9.19 1000000 0 1532.49/1532.98 c 316 540 465.43 51.52 9.03 1000000 0 1533.69/1534.16 c 303 433 451.28 48.15 9.37 1000000 0 1534.89/1535.35 c 323 540 470.59 48.28 9.75 1000000 0 1536.09/1536.54 c 335 545 463.92 50.11 9.26 1000000 0 1537.30/1537.74 c 295 417 464.52 46.58 9.97 1000000 0 1538.50/1538.93 c 317 511 458.29 53.88 8.51 1000000 0 1539.69/1540.12 c 323 453 470.15 52.27 9.00 1000000 0 1540.89/1541.31 c 315 442 464.36 53.13 8.74 1000000 0 1542.09/1542.50 c 318 467 467.35 49.90 9.36 1000000 0 1543.19/1543.69 c 309 493 459.16 48.09 9.55 1000000 0 1544.39/1544.89 c 314 430 459.23 49.74 9.23 1000000 0 1545.59/1546.08 c 316 539 461.26 48.60 9.49 1000000 0 1546.79/1547.26 c 297 448 460.35 53.20 8.65 1000000 0 1547.99/1548.45 c 308 458 453.92 52.43 8.66 1000000 0 1549.18/1549.65 c 300 422 454.23 45.94 9.89 1000000 0 1550.38/1550.84 c 305 354 459.25 49.92 9.20 1000000 0 1551.59/1552.03 c 324 486 457.85 50.24 9.11 1000000 0 1552.79/1553.23 c 340 472 466.55 45.07 10.35 1000000 0 1553.98/1554.43 c 318 488 458.73 48.33 9.49 1000000 0 1555.18/1555.62 c 299 436 454.21 45.99 9.88 1000000 0 1556.38/1556.81 c 303 432 459.41 50.23 9.15 1000000 0 1557.58/1558.00 c 303 439 456.38 50.69 9.00 1000000 0 1558.78/1559.20 c 319 466 469.64 54.25 8.66 1000000 0 1559.88/1560.38 c 310 509 461.97 51.99 8.89 1000000 0 1561.08/1561.58 c 310 483 455.97 47.76 9.55 1000000 0 1562.28/1562.77 c 295 467 458.74 48.22 9.51 1000000 0 1563.48/1563.96 c 296 385 458.76 51.36 8.93 1000000 0 1564.68/1565.15 c 310 400 462.62 52.62 8.79 1000000 0 1565.89/1566.34 c 318 474 459.19 51.99 8.83 1000000 0 1567.09/1567.53 c 294 412 459.99 49.23 9.34 1000000 0 1568.28/1568.72 c 304 390 458.97 48.63 9.44 1000000 0 1569.48/1569.91 c 305 432 461.57 54.02 8.54 1000000 0 1570.68/1571.10 c 324 466 467.29 51.60 9.06 1000000 0 1571.78/1572.30 c 310 469 456.15 52.04 8.77 1000000 0 1572.98/1573.49 c 304 441 463.68 53.30 8.70 1000000 0 1574.18/1574.68 c 317 444 459.71 50.56 9.09 1000000 0 1575.38/1575.87 c 304 440 463.18 46.21 10.02 1000000 0 1576.58/1577.06 c 269 452 458.34 53.80 8.52 1000000 0 1577.78/1578.25 c 307 476 457.96 52.95 8.65 1000000 0 1578.98/1579.43 c 297 461 455.40 51.26 8.88 1000000 0 1580.18/1580.62 c 296 428 448.74 45.79 9.80 1000000 0 1581.38/1581.81 c 306 456 449.30 50.31 8.93 1000000 0 1582.58/1583.00 c 305 464 464.41 54.45 8.53 1000000 0 1583.68/1584.19 c 308 470 450.21 46.89 9.60 1000000 0 1584.88/1585.39 c 306 475 462.13 47.06 9.82 1000000 0 1586.07/1586.58 c 297 469 458.92 50.81 9.03 1000000 0 1587.27/1587.77 c 317 448 459.15 46.52 9.87 1000000 0 1588.47/1588.96 c 316 494 461.38 41.26 11.18 1000000 0 1589.67/1590.15 c 287 422 463.69 50.15 9.25 1000000 0 1590.87/1591.34 c 299 423 448.36 52.07 8.61 1000000 0 1592.07/1592.54 c 330 504 465.19 51.77 8.99 1000000 0 1593.27/1593.72 c 294 418 461.07 50.45 9.14 1000000 0 1594.48/1594.92 c 296 504 457.71 52.16 8.77 1000000 0 1595.68/1596.11 c 321 507 463.76 49.40 9.39 1000000 0 1596.87/1597.30 c 311 409 464.60 48.51 9.58 1000000 0 1597.97/1598.49 c 311 481 460.96 51.32 8.98 1000000 0 1599.17/1599.68 c 314 464 453.59 50.32 9.01 1000000 0 1600.37/1600.88 c 314 496 456.13 52.50 8.69 1000000 0 1601.57/1602.07 c 289 505 459.54 55.48 8.28 1000000 0 1602.77/1603.26 c 328 387 460.78 50.03 9.21 1000000 0 1603.97/1604.45 c 293 470 458.24 51.31 8.93 1000000 0 1605.17/1605.65 c 311 492 460.52 52.99 8.69 1000000 0 1606.37/1606.84 c 302 444 457.60 49.95 9.16 1000000 0 1607.57/1608.04 c 312 406 462.46 53.38 8.66 1000000 0 1608.78/1609.23 c 317 443 457.03 51.56 8.86 1000000 0 1609.98/1610.42 c 324 473 461.47 54.18 8.52 1000000 0 1611.17/1611.62 c 307 452 464.16 49.82 9.32 1000000 0 1612.37/1612.81 c 294 444 457.52 51.04 8.96 1000000 0 1613.57/1614.00 c 325 453 462.75 55.33 8.36 1000000 0 1614.67/1615.19 c 332 495 470.40 50.18 9.37 1000000 0 1615.87/1616.38 c 294 453 461.21 55.02 8.38 1000000 0 1617.07/1617.57 c 299 427 458.54 50.20 9.13 1000000 0 1618.27/1618.76 c 291 566 454.82 48.12 9.45 1000000 0 1619.47/1619.95 c 330 471 456.40 47.73 9.56 1000000 0 1620.67/1621.15 c 325 405 461.16 47.04 9.80 1000000 0 1621.87/1622.34 c 304 495 457.81 53.95 8.49 1000000 0 1623.07/1623.53 c 300 417 461.78 51.43 8.98 1000000 0 1624.27/1624.72 c 303 500 462.10 54.09 8.54 1000000 0 1625.46/1625.91 c 321 392 457.40 49.15 9.31 1000000 0 1626.66/1627.10 c 323 503 470.76 47.87 9.83 1000000 0 1627.76/1628.30 c 317 425 456.87 48.63 9.40 1000000 0 1628.96/1629.49 c 316 540 460.34 47.94 9.60 1000000 0 1630.16/1630.69 c 288 426 460.05 55.06 8.36 1000000 0 1631.36/1631.88 c 298 441 466.90 51.96 8.99 1000000 0 1632.56/1633.08 c 305 477 460.14 48.39 9.51 1000000 0 1633.76/1634.26 c 306 521 461.88 50.41 9.16 1000000 0 1634.96/1635.45 c 299 433 461.19 54.89 8.40 1000000 0 1636.16/1636.64 c 326 458 459.34 49.42 9.30 1000000 0 1637.37/1637.84 c 294 420 452.08 49.56 9.12 1000000 0 1638.57/1639.03 c 320 425 462.14 50.76 9.10 1000000 0 1639.76/1640.21 c 316 448 458.37 52.76 8.69 1000000 0 1640.96/1641.40 c 316 552 461.47 46.84 9.85 1000000 0 1642.06/1642.59 c 315 427 460.21 55.13 8.35 1000000 0 1643.26/1643.77 c 319 556 462.60 48.45 9.55 1000000 0 1644.46/1644.96 c 299 421 461.88 55.07 8.39 1000000 0 1645.66/1646.16 c 298 499 453.66 50.71 8.95 1000000 0 1646.86/1647.35 c 313 439 463.97 51.44 9.02 1000000 0 1648.06/1648.54 c 294 545 464.16 52.38 8.86 1000000 0 1649.26/1649.74 c 300 438 462.57 51.93 8.91 1000000 0 1650.46/1650.93 c 307 506 461.42 52.16 8.85 1000000 0 1651.66/1652.12 c 282 469 453.83 48.99 9.26 1000000 0 1652.86/1653.31 c 288 485 455.41 48.08 9.47 1000000 0 1654.06/1654.50 c 298 584 455.88 49.74 9.17 1000000 0 1655.16/1655.70 c 303 497 463.85 55.27 8.39 1000000 0 1656.36/1656.89 c 281 439 457.52 47.56 9.62 1000000 0 1657.56/1658.08 c 298 449 457.06 52.55 8.70 1000000 0 1658.76/1659.27 c 322 456 462.52 50.93 9.08 1000000 0 1659.95/1660.46 c 286 506 457.70 48.96 9.35 1000000 0 1661.15/1661.66 c 305 409 464.07 52.55 8.83 1000000 0 1662.35/1662.85 c 288 545 455.13 52.16 8.72 1000000 0 1663.55/1664.04 c 282 488 454.02 44.84 10.12 1000000 0 1664.75/1665.24 c 303 481 459.88 51.07 9.00 1000000 0 1665.96/1666.43 c 312 491 457.57 48.06 9.52 1000000 0 1667.16/1667.62 c 321 446 461.58 51.07 9.04 1000000 0 1668.35/1668.81 c 321 472 460.77 44.54 10.34 1000000 0 1669.55/1670.01 c 306 412 454.49 50.76 8.95 1000000 0 1670.75/1671.20 c 295 457 455.04 49.78 9.14 1000000 0 1671.85/1672.39 c 322 453 460.94 41.14 11.21 1000000 0 1673.05/1673.58 c 312 489 461.80 53.68 8.60 1000000 0 1674.25/1674.77 c 317 436 459.02 49.85 9.21 1000000 0 1675.45/1675.96 c 302 470 461.73 47.22 9.78 1000000 0 1676.65/1677.16 c 294 391 461.50 64.51 7.15 1000000 0 1677.85/1678.35 c 319 433 463.85 50.28 9.22 1000000 0 1679.05/1679.54 c 323 467 461.37 47.12 9.79 1000000 0 1680.26/1680.73 c 299 456 465.42 54.81 8.49 1000000 0 1681.46/1681.92 c 321 483 460.95 45.78 10.07 1000000 0 1682.65/1683.12 c 305 534 460.73 47.88 9.62 1000000 0 1683.85/1684.31 c 291 486 458.87 51.21 8.96 1000000 0 1685.05/1685.50 c 304 463 460.74 48.57 9.49 1000000 0 1686.15/1686.69 c 297 457 460.56 55.28 8.33 1000000 0 1687.35/1687.88 c 330 455 465.91 49.66 9.38 1000000 0 1688.55/1689.07 c 318 477 462.01 50.61 9.13 1000000 0 1689.75/1690.26 c 319 476 460.73 49.95 9.22 1000000 0 1690.95/1691.46 c 336 476 472.15 49.85 9.47 1000000 0 1692.15/1692.65 c 307 558 459.08 52.40 8.76 1000000 0 1693.35/1693.85 c 321 432 453.07 47.95 9.45 1000000 0 1694.55/1695.04 c 293 477 452.68 44.35 10.21 1000000 0 1695.75/1696.23 c 287 427 450.66 48.72 9.25 1000000 0 1696.95/1697.43 c 288 447 454.99 54.82 8.30 1000000 0 1698.15/1698.62 c 319 491 461.13 49.25 9.36 1000000 0 1699.35/1699.81 c 296 432 464.81 51.23 9.07 1000000 0 1700.55/1701.01 c 312 570 458.08 45.99 9.96 1000000 0 1701.65/1702.19 c 291 486 461.47 52.61 8.77 1000000 0 1702.84/1703.39 c 330 513 457.51 44.18 10.36 1000000 0 1704.04/1704.58 c 328 430 464.88 50.57 9.19 1000000 0 1705.24/1705.77 c 314 425 467.39 57.02 8.20 1000000 0 1706.44/1706.96 c 322 444 453.28 47.58 9.53 1000000 0 1707.64/1708.15 c 314 498 468.96 57.39 8.17 1000000 0 1708.85/1709.35 c 315 438 453.08 45.32 10.00 1000000 0 1710.05/1710.54 c 306 372 458.25 51.37 8.92 1000000 0 1711.24/1711.73 c 326 419 456.10 45.87 9.94 1000000 0 1712.44/1712.92 c 292 584 460.69 53.73 8.57 1000000 0 1713.64/1714.11 c 275 455 451.36 48.11 9.38 1000000 0 1714.84/1715.31 c 289 511 465.92 53.25 8.75 1000000 0 1716.04/1716.50 c 328 399 463.89 50.23 9.23 1000000 0 1717.14/1717.69 c 298 391 463.02 60.46 7.66 1000000 0 1718.34/1718.88 c 322 472 460.05 41.84 11.00 1000000 0 1719.54/1720.08 c 297 469 464.02 46.76 9.92 1000000 0 1720.74/1721.27 c 298 458 453.82 48.97 9.27 1000000 0 1721.94/1722.47 c 316 516 462.16 47.52 9.73 1000000 0 1723.15/1723.66 c 293 464 449.71 50.69 8.87 1000000 0 1724.35/1724.85 c 318 430 458.63 50.90 9.01 1000000 0 1725.54/1726.05 c 296 481 465.30 48.61 9.57 1000000 0 1726.74/1727.24 c 315 355 451.99 44.11 10.25 1000000 0 1727.94/1728.42 c 319 370 449.27 47.80 9.40 1000000 0 1729.14/1729.61 c 297 411 462.47 53.63 8.62 1000000 0 1730.24/1730.79 c 304 521 469.98 48.78 9.64 1000000 0 1731.44/1731.99 c 304 467 454.79 49.38 9.21 1000000 0 1732.64/1733.18 c 328 463 470.88 51.70 9.11 1000000 0 1733.84/1734.37 c 296 505 459.89 48.66 9.45 1000000 0 1735.04/1735.56 c 315 386 455.59 52.04 8.76 1000000 0 1736.24/1736.76 c 304 472 453.12 51.35 8.82 1000000 0 1737.44/1737.95 c 295 420 454.44 48.54 9.36 1000000 0 1738.64/1739.15 c 305 497 464.89 51.05 9.11 1000000 0 1739.83/1740.34 c 319 412 456.09 50.45 9.04 1000000 0 1741.03/1741.53 c 316 454 462.93 49.25 9.40 1000000 0 1742.23/1742.72 c 324 539 471.38 48.95 9.63 1000000 0 1743.43/1743.92 c 299 420 458.16 52.53 8.72 1000000 0 1744.63/1745.11 c 313 501 458.76 51.82 8.85 1000000 0 1745.83/1746.30 c 305 425 461.31 52.09 8.86 1000000 0 1746.93/1747.49 c 329 518 462.43 48.82 9.47 1000000 0 1748.13/1748.68 c 318 460 458.86 48.97 9.37 1000000 0 1749.33/1749.87 c 312 489 458.01 46.82 9.78 1000000 0 1750.53/1751.06 c 301 527 460.38 47.14 9.77 1000000 0 1751.74/1752.26 c 320 412 457.24 46.97 9.74 1000000 0 1752.94/1753.45 c 307 461 461.46 48.05 9.60 1000000 0 1754.13/1754.64 c 317 478 462.64 46.94 9.86 1000000 0 1755.33/1755.83 c 326 426 457.98 44.42 10.31 1000000 0 1756.53/1757.03 c 301 405 468.48 50.30 9.31 1000000 0 1757.73/1758.21 c 294 411 453.80 47.31 9.59 1000000 0 1758.93/1759.40 c 312 502 453.94 48.09 9.44 1000000 0 1760.13/1760.60 c 315 439 462.87 45.37 10.20 1000000 0 1761.23/1761.79 c 309 372 459.88 47.91 9.60 1000000 0 1762.43/1762.99 c 299 449 453.08 50.16 9.03 1000000 0 1763.63/1764.18 c 317 385 455.75 55.28 8.24 1000000 0 1764.83/1765.37 c 324 428 461.82 48.68 9.49 1000000 0 1766.03/1766.56 c 314 523 460.23 46.46 9.91 1000000 0 1767.23/1767.76 c 307 475 457.38 50.78 9.01 1000000 0 1768.43/1768.95 c 306 387 459.69 54.92 8.37 1000000 0 1769.63/1770.14 c 289 459 462.75 47.78 9.69 1000000 0 1770.83/1771.32 c 298 473 462.69 55.25 8.37 1000000 0 1772.03/1772.52 c 314 504 455.18 55.51 8.20 1000000 0 1773.23/1773.70 c 317 507 456.70 48.51 9.41 1000000 0 1774.43/1774.90 c 303 461 460.56 50.20 9.17 1000000 0 1775.53/1776.09 c 305 417 458.87 54.01 8.50 1000000 0 1776.72/1777.28 c 316 443 455.76 52.42 8.69 1000000 0 1777.92/1778.47 c 319 433 466.56 48.43 9.63 1000000 0 1779.12/1779.66 c 304 427 466.76 49.46 9.44 1000000 0 1780.33/1780.85 c 307 422 457.37 56.91 8.04 1000000 0 1781.53/1782.04 c 305 387 463.42 48.29 9.60 1000000 0 1782.72/1783.23 c 304 432 461.74 47.54 9.71 1000000 0 1783.92/1784.43 c 319 527 457.63 47.99 9.54 1000000 0 1785.12/1785.61 c 308 448 462.91 47.95 9.65 1000000 0 1786.32/1786.81 c 311 455 462.62 56.34 8.21 1000000 0 1787.52/1788.00 c 323 412 461.49 53.99 8.55 1000000 0 1788.62/1789.19 c 262 437 451.57 45.45 9.94 1000000 0 1789.82/1790.38 c 310 457 458.78 46.82 9.80 1000000 0 1791.02/1791.57 c 306 501 459.26 49.76 9.23 1000000 0 1792.22/1792.76 c 321 549 464.67 49.26 9.43 1000000 0 1793.42/1793.96 c 294 501 467.37 53.70 8.70 1000000 0 1794.63/1795.15 c 308 469 459.29 49.90 9.20 1000000 0 1795.83/1796.35 c 319 445 456.87 45.19 10.11 1000000 0 1797.02/1797.54 c 312 479 472.71 56.42 8.38 1000000 0 1798.22/1798.72 c 317 449 459.22 48.23 9.52 1000000 0 1799.42/1799.92 c 289 472 457.94 53.79 8.51 1000000 0 1800.03/1800.51 HOME/run: line 2: 19787 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-2685574-1278441713/watcher-2685574-1278441713 -o /tmp/evaluation-result-2685574-1278441713/solver-2685574-1278441713 -C 1800 -W 2000 -M 1800 run HOME/instance-2685574-1278441713.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.17 1.10 1.01 3/105 19786 /proc/meminfo: memFree=1365152/2059040 swapFree=4192956/4192956 [pid=19786] ppid=19784 vsize=8700 CPUtime=0 /proc/19786/stat : 19786 (run) R 19784 19786 18544 0 -1 4202496 343 0 0 0 0 0 0 0 25 0 1 0 12379631 8908800 244 1992294400 4194304 4922060 140736206677344 18446744073709551615 207239094677 0 65538 4100 65536 0 0 0 17 1 0 0 0 /proc/19786/statm: 2175 244 204 178 0 68 0 [startup+0.091185 s] /proc/loadavg: 1.17 1.10 1.01 3/105 19786 /proc/meminfo: memFree=1365152/2059040 swapFree=4192956/4192956 [pid=19786] ppid=19784 vsize=8700 CPUtime=0 /proc/19786/stat : 19786 (run) S 19784 19786 18544 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12379631 8908800 244 1992294400 4194304 4922060 140736206677344 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19786/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101186 s] /proc/loadavg: 1.17 1.10 1.01 3/105 19786 /proc/meminfo: memFree=1365152/2059040 swapFree=4192956/4192956 [pid=19786] ppid=19784 vsize=8700 CPUtime=0 /proc/19786/stat : 19786 (run) S 19784 19786 18544 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12379631 8908800 244 1992294400 4194304 4922060 140736206677344 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19786/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300207 s] /proc/loadavg: 1.17 1.10 1.01 3/105 19786 /proc/meminfo: memFree=1365152/2059040 swapFree=4192956/4192956 [pid=19786] ppid=19784 vsize=8700 CPUtime=0 /proc/19786/stat : 19786 (run) S 19784 19786 18544 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12379631 8908800 244 1992294400 4194304 4922060 140736206677344 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19786/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700245 s] /proc/loadavg: 1.17 1.10 1.01 3/105 19786 /proc/meminfo: memFree=1365152/2059040 swapFree=4192956/4192956 [pid=19786] ppid=19784 vsize=8700 CPUtime=0 /proc/19786/stat : 19786 (run) S 19784 19786 18544 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12379631 8908800 244 1992294400 4194304 4922060 140736206677344 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19786/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50132 s] /proc/loadavg: 1.17 1.10 1.01 2/107 19788 /proc/meminfo: memFree=1360548/2059040 swapFree=4192956/4192956 [pid=19786] ppid=19784 vsize=8700 CPUtime=0 /proc/19786/stat : 19786 (run) S 19784 19786 18544 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12379631 8908800 244 1992294400 4194304 4922060 140736206677344 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19786/statm: 2175 244 204 178 0 68 0 [pid=19787] ppid=19786 vsize=40452 CPUtime=1.49 /proc/19787/stat : 19787 (PB-wave) R 19786 19786 18544 0 -1 4202496 1201 0 0 0 149 0 0 0 25 0 1 0 12379631 41422848 1130 1992294400 134512640 135071400 4287412656 18446744073709551615 134526740 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19787/statm: 10113 1130 69 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.10148 s] /proc/loadavg: 1.16 1.10 1.01 2/107 19788 /proc/meminfo: memFree=1360176/2059040 swapFree=4192956/4192956 [pid=19786] ppid=19784 vsize=8700 CPUtime=0 /proc/19786/stat : 19786 (run) S 19784 19786 18544 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12379631 8908800 244 1992294400 4194304 4922060 140736206677344 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19786/statm: 2175 244 204 178 0 68 0 [pid=19787] ppid=19786 vsize=40452 CPUtime=3.09 /proc/19787/stat : 19787 (PB-wave) R 19786 19786 18544 0 -1 4202496 1201 0 0 0 309 0 0 0 25 0 1 0 12379631 41422848 1130 1992294400 134512640 135071400 4287412656 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19787/statm: 10113 1130 69 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.30179 s] /proc/loadavg: 1.16 1.10 1.01 2/107 19788 /proc/meminfo: memFree=1360060/2059040 swapFree=4192956/4192956 [pid=19786] ppid=19784 vsize=8700 CPUtime=0 /proc/19786/stat : 19786 (run) S 19784 19786 18544 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12379631 8908800 244 1992294400 4194304 4922060 140736206677344 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19786/statm: 2175 244 204 178 0 68 0 [pid=19787] ppid=19786 vsize=40452 CPUtime=6.29 /proc/19787/stat : 19787 (PB-wave) R 19786 19786 18544 0 -1 4202496 1201 0 0 0 629 0 0 0 25 0 1 0 12379631 41422848 1130 1992294400 134512640 135071400 4287412656 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19787/statm: 10113 1130 69 137 0 9974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49152 [startup+12.7014 s] /proc/loadavg: 1.13 1.10 1.01 2/107 19788 /proc/meminfo: memFree=1359936/2059040 swapFree=4192956/4192956 [pid=19786] ppid=19784 vsize=8700 CPUtime=0 /proc/19786/stat : 19786 (run) S 19784 19786 18544 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12379631 8908800 244 1992294400 4194304 4922060 140736206677344 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19786/statm: 2175 244 204 178 0 68 0 [pid=19787] ppid=19786 vsize=40452 CPUtime=12.69 /proc/19787/stat : 19787 (PB-wave) R 19786 19786 18544 0 -1 4202496 1201 0 0 0 1269 0 0 0 25 0 1 0 12379631 41422848 1130 1992294400 134512640 135071400 4287412656 18446744073709551615 134526740 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19787/statm: 10113 1130 69 137 0 9974 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49152 [startup+25.5017 s] /proc/loadavg: 1.11 1.09 1.01 2/107 19788 /proc/meminfo: memFree=1359936/2059040 swapFree=4192956/4192956 [pid=19786] ppid=19784 vsize=8700 CPUtime=0 /proc/19786/stat : 19786 (run) S 19784 19786 18544 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12379631 8908800 244 1992294400 4194304 4922060 140736206677344 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19786/statm: 2175 244 204 178 0 68 0 [pid=19787] ppid=19786 vsize=40452 CPUtime=25.48 /proc/19787/stat : 19787 (PB-wave) R 19786 19786 18544 0 -1 4202496 1201 0 0 0 2548 0 0 0 25 0 1 0 12379631 41422848 1130 1992294400 134512640 135071400 4287412656 18446744073709551615 134519783 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19787/statm: 10113 1130 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1012 s] /proc/loadavg: 1.07 1.08 1.00 2/107 19788 /proc/meminfo: memFree=1359936/2059040 swapFree=4192956/4192956 [pid=19786] ppid=19784 vsize=8700 CPUtime=0 /proc/19786/stat : 19786 (run) S 19784 19786 18544 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12379631 8908800 244 1992294400 4194304 4922060 140736206677344 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19786/statm: 2175 244 204 178 0 68 0 [pid=19787] ppid=19786 vsize=40452 CPUtime=51.07 /proc/19787/stat : 19787 (PB-wave) R 19786 19786 18544 0 -1 4202496 1201 0 0 0 5107 0 0 0 25 0 1 0 12379631 41422848 1130 1992294400 134512640 135071400 4287412656 18446744073709551615 134526274 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19787/statm: 10113 1130 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.03 1.07 1.00 2/107 19790 /proc/meminfo: memFree=1359812/2059040 swapFree=4192956/4192956 [pid=19786] ppid=19784 vsize=8700 CPUtime=0 /proc/19786/stat : 19786 (run) S 19784 19786 18544 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12379631 8908800 244 1992294400 4194304 4922060 140736206677344 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19786/statm: 2175 244 204 178 0 68 0 [pid=19787] ppid=19786 vsize=40452 CPUtime=102.27 /proc/19787/stat : 19787 (PB-wave) R 19786 19786 18544 0 -1 4202496 1201 0 0 0 10227 0 0 0 25 0 1 0 12379631 41422848 1130 1992294400 134512640 135071400 4287412656 18446744073709551615 134519808 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19787/statm: 10113 1130 69 137 0 9974 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 49152 [startup+162.302 s] /proc/loadavg: 1.01 1.05 1.00 2/107 19792 /proc/meminfo: memFree=1359688/2059040 swapFree=4192956/4192956 [pid=19786] ppid=19784 vsize=8700 CPUtime=0 /proc/19786/stat : 19786 (run) S 19784 19786 18544 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12379631 8908800 244 1992294400 4194304 4922060 140736206677344 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19786/statm: 2175 244 204 178 0 68 0 [pid=19787] ppid=19786 vsize=40452 CPUtime=162.25 /proc/19787/stat : 19787 (PB-wave) R 19786 19786 18544 0 -1 4202496 1201 0 0 0 16225 0 0 0 25 0 1 0 12379631 41422848 1130 1992294400 134512640 135071400 4287412656 18446744073709551615 134526010 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19787/statm: 10113 1130 69 137 0 9974 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 49152 [startup+222.302 s] /proc/loadavg: 1.00 1.04 1.00 2/107 19794 /proc/meminfo: memFree=1359688/2059040 swapFree=4192956/4192956 [pid=19786] ppid=19784 vsize=8700 CPUtime=0 /proc/19786/stat : 19786 (run) S 19784 19786 18544 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12379631 8908800 244 1992294400 4194304 4922060 140736206677344 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19786/statm: 2175 244 204 178 0 68 0 [pid=19787] ppid=19786 vsize=40452 CPUtime=222.23 /proc/19787/stat : 19787 (PB-wave) R 19786 19786 18544 0 -1 4202496 1201 0 0 0 22223 0 0 0 25 0 1 0 12379631 41422848 1130 1992294400 134512640 135071400 4287412656 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19787/statm: 10113 1130 69 137 0 9974 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 49152 [startup+282.302 s] /proc/loadavg: 1.00 1.03 1.00 2/107 19794 /proc/meminfo: memFree=1359688/2059040 swapFree=4192956/4192956 [pid=19786] ppid=19784 vsize=8700 CPUtime=0 /proc/19786/stat : 19786 (run) S 19784 19786 18544 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12379631 8908800 244 1992294400 4194304 4922060 140736206677344 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19786/statm: 2175 244 204 178 0 68 0 [pid=19787] ppid=19786 vsize=40452 CPUtime=282.21 /proc/19787/stat : 19787 (PB-wave) R 19786 19786 18544 0 -1 4202496 1201 0 0 0 28221 0 0 0 25 0 1 0 12379631 41422848 1130 1992294400 134512640 135071400 4287412656 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19787/statm: 10113 1130 69 137 0 9974 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 49152 [startup+342.302 s] /proc/loadavg: 1.00 1.02 1.00 2/107 19796 /proc/meminfo: memFree=1359564/2059040 swapFree=4192956/4192956 [pid=19786] ppid=19784 vsize=8700 CPUtime=0 /proc/19786/stat : 19786 (run) S 19784 19786 18544 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12379631 8908800 244 1992294400 4194304 4922060 140736206677344 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19786/statm: 2175 244 204 178 0 68 0 [pid=19787] ppid=19786 vsize=40452 CPUtime=342.2 /proc/19787/stat : 19787 (PB-wave) R 19786 19786 18544 0 -1 4202496 1201 0 0 0 34220 0 0 0 25 0 1 0 12379631 41422848 1130 1992294400 134512640 135071400 4287412656 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19787/statm: 10113 1130 69 137 0 9974 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 49152 [startup+402.302 s] /proc/loadavg: 1.00 1.02 1.00 2/107 19798 /proc/meminfo: memFree=1359440/2059040 swapFree=4192956/4192956 [pid=19786] ppid=19784 vsize=8700 CPUtime=0 /proc/19786/stat : 19786 (run) S 19784 19786 18544 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12379631 8908800 244 1992294400 4194304 4922060 140736206677344 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19786/statm: 2175 244 204 178 0 68 0 [pid=19787] ppid=19786 vsize=40452 CPUtime=402.18 /proc/19787/stat : 19787 (PB-wave) R 19786 19786 18544 0 -1 4202496 1201 0 0 0 40218 0 0 0 25 0 1 0 12379631 41422848 1130 1992294400 134512640 135071400 4287412656 18446744073709551615 134526161 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19787/statm: 10113 1130 69 137 0 9974 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 49152 [startup+462.3 s] ################ # More data... # ################ /proc/19786/statm: 2175 244 204 178 0 68 0 [pid=19787] ppid=19786 vsize=40452 CPUtime=1122 /proc/19787/stat : 19787 (PB-wave) R 19786 19786 18544 0 -1 4202496 1201 0 0 0 112198 2 0 0 25 0 1 0 12379631 41422848 1130 1992294400 134512640 135071400 4287412656 18446744073709551615 134526919 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19787/statm: 10113 1130 69 137 0 9974 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19827 /proc/meminfo: memFree=1357456/2059040 swapFree=4192956/4192956 [pid=19786] ppid=19784 vsize=8700 CPUtime=0 /proc/19786/stat : 19786 (run) S 19784 19786 18544 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12379631 8908800 244 1992294400 4194304 4922060 140736206677344 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19786/statm: 2175 244 204 178 0 68 0 [pid=19787] ppid=19786 vsize=40452 CPUtime=1181.98 /proc/19787/stat : 19787 (PB-wave) R 19786 19786 18544 0 -1 4202496 1201 0 0 0 118196 2 0 0 25 0 1 0 12379631 41422848 1130 1992294400 134512640 135071400 4287412656 18446744073709551615 134525769 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19787/statm: 10113 1130 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19829 /proc/meminfo: memFree=1357456/2059040 swapFree=4192956/4192956 [pid=19786] ppid=19784 vsize=8700 CPUtime=0 /proc/19786/stat : 19786 (run) S 19784 19786 18544 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12379631 8908800 244 1992294400 4194304 4922060 140736206677344 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19786/statm: 2175 244 204 178 0 68 0 [pid=19787] ppid=19786 vsize=40452 CPUtime=1241.97 /proc/19787/stat : 19787 (PB-wave) R 19786 19786 18544 0 -1 4202496 1201 0 0 0 124195 2 0 0 25 0 1 0 12379631 41422848 1130 1992294400 134512640 135071400 4287412656 18446744073709551615 134526535 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19787/statm: 10113 1130 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19831 /proc/meminfo: memFree=1357456/2059040 swapFree=4192956/4192956 [pid=19786] ppid=19784 vsize=8700 CPUtime=0 /proc/19786/stat : 19786 (run) S 19784 19786 18544 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12379631 8908800 244 1992294400 4194304 4922060 140736206677344 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19786/statm: 2175 244 204 178 0 68 0 [pid=19787] ppid=19786 vsize=40452 CPUtime=1301.96 /proc/19787/stat : 19787 (PB-wave) R 19786 19786 18544 0 -1 4202496 1201 0 0 0 130194 2 0 0 25 0 1 0 12379631 41422848 1130 1992294400 134512640 135071400 4287412656 18446744073709551615 134526693 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19787/statm: 10113 1130 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19833 /proc/meminfo: memFree=1357332/2059040 swapFree=4192956/4192956 [pid=19786] ppid=19784 vsize=8700 CPUtime=0 /proc/19786/stat : 19786 (run) S 19784 19786 18544 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12379631 8908800 244 1992294400 4194304 4922060 140736206677344 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19786/statm: 2175 244 204 178 0 68 0 [pid=19787] ppid=19786 vsize=40452 CPUtime=1361.93 /proc/19787/stat : 19787 (PB-wave) R 19786 19786 18544 0 -1 4202496 1201 0 0 0 136191 2 0 0 25 0 1 0 12379631 41422848 1130 1992294400 134512640 135071400 4287412656 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19787/statm: 10113 1130 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/107 19835 /proc/meminfo: memFree=1357332/2059040 swapFree=4192956/4192956 [pid=19786] ppid=19784 vsize=8700 CPUtime=0 /proc/19786/stat : 19786 (run) S 19784 19786 18544 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12379631 8908800 244 1992294400 4194304 4922060 140736206677344 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19786/statm: 2175 244 204 178 0 68 0 [pid=19787] ppid=19786 vsize=40452 CPUtime=1421.93 /proc/19787/stat : 19787 (PB-wave) R 19786 19786 18544 0 -1 4202496 1201 0 0 0 142191 2 0 0 25 0 1 0 12379631 41422848 1130 1992294400 134512640 135071400 4287412656 18446744073709551615 134537125 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19787/statm: 10113 1130 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19835 /proc/meminfo: memFree=1357332/2059040 swapFree=4192956/4192956 [pid=19786] ppid=19784 vsize=8700 CPUtime=0 /proc/19786/stat : 19786 (run) S 19784 19786 18544 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12379631 8908800 244 1992294400 4194304 4922060 140736206677344 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19786/statm: 2175 244 204 178 0 68 0 [pid=19787] ppid=19786 vsize=40452 CPUtime=1481.9 /proc/19787/stat : 19787 (PB-wave) R 19786 19786 18544 0 -1 4202496 1201 0 0 0 148188 2 0 0 25 0 1 0 12379631 41422848 1130 1992294400 134512640 135071400 4287412656 18446744073709551615 134519845 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19787/statm: 10113 1130 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/107 19837 /proc/meminfo: memFree=1357332/2059040 swapFree=4192956/4192956 [pid=19786] ppid=19784 vsize=8700 CPUtime=0 /proc/19786/stat : 19786 (run) S 19784 19786 18544 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12379631 8908800 244 1992294400 4194304 4922060 140736206677344 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19786/statm: 2175 244 204 178 0 68 0 [pid=19787] ppid=19786 vsize=40452 CPUtime=1541.89 /proc/19787/stat : 19787 (PB-wave) R 19786 19786 18544 0 -1 4202496 1201 0 0 0 154187 2 0 0 25 0 1 0 12379631 41422848 1130 1992294400 134512640 135071400 4287412656 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19787/statm: 10113 1130 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19839 /proc/meminfo: memFree=1357208/2059040 swapFree=4192956/4192956 [pid=19786] ppid=19784 vsize=8700 CPUtime=0 /proc/19786/stat : 19786 (run) S 19784 19786 18544 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12379631 8908800 244 1992294400 4194304 4922060 140736206677344 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19786/statm: 2175 244 204 178 0 68 0 [pid=19787] ppid=19786 vsize=40452 CPUtime=1601.87 /proc/19787/stat : 19787 (PB-wave) R 19786 19786 18544 0 -1 4202496 1201 0 0 0 160185 2 0 0 25 0 1 0 12379631 41422848 1130 1992294400 134512640 135071400 4287412656 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19787/statm: 10113 1130 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19841 /proc/meminfo: memFree=1357084/2059040 swapFree=4192956/4192956 [pid=19786] ppid=19784 vsize=8700 CPUtime=0 /proc/19786/stat : 19786 (run) S 19784 19786 18544 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12379631 8908800 244 1992294400 4194304 4922060 140736206677344 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19786/statm: 2175 244 204 178 0 68 0 [pid=19787] ppid=19786 vsize=40452 CPUtime=1661.85 /proc/19787/stat : 19787 (PB-wave) R 19786 19786 18544 0 -1 4202496 1201 0 0 0 166183 2 0 0 25 0 1 0 12379631 41422848 1130 1992294400 134512640 135071400 4287412656 18446744073709551615 134519756 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19787/statm: 10113 1130 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.00 1.00 1.00 2/107 19843 /proc/meminfo: memFree=1356960/2059040 swapFree=4192956/4192956 [pid=19786] ppid=19784 vsize=8700 CPUtime=0 /proc/19786/stat : 19786 (run) S 19784 19786 18544 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12379631 8908800 244 1992294400 4194304 4922060 140736206677344 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19786/statm: 2175 244 204 178 0 68 0 [pid=19787] ppid=19786 vsize=40452 CPUtime=1721.84 /proc/19787/stat : 19787 (PB-wave) R 19786 19786 18544 0 -1 4202496 1201 0 0 0 172182 2 0 0 25 0 1 0 12379631 41422848 1130 1992294400 134512640 135071400 4287412656 18446744073709551615 134526317 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19787/statm: 10113 1130 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19843 /proc/meminfo: memFree=1356712/2059040 swapFree=4192956/4192956 [pid=19786] ppid=19784 vsize=8700 CPUtime=0 /proc/19786/stat : 19786 (run) S 19784 19786 18544 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12379631 8908800 244 1992294400 4194304 4922060 140736206677344 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19786/statm: 2175 244 204 178 0 68 0 [pid=19787] ppid=19786 vsize=40452 CPUtime=1781.82 /proc/19787/stat : 19787 (PB-wave) R 19786 19786 18544 0 -1 4202496 1201 0 0 0 178180 2 0 0 25 0 1 0 12379631 41422848 1130 1992294400 134512640 135071400 4287412656 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19787/statm: 10113 1130 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19845 /proc/meminfo: memFree=1356712/2059040 swapFree=4192956/4192956 [pid=19786] ppid=19784 vsize=8700 CPUtime=0 /proc/19786/stat : 19786 (run) S 19784 19786 18544 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12379631 8908800 244 1992294400 4194304 4922060 140736206677344 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19786/statm: 2175 244 204 178 0 68 0 [pid=19787] ppid=19786 vsize=40452 CPUtime=1800.03 /proc/19787/stat : 19787 (PB-wave) R 19786 19786 18544 0 -1 4202496 1201 0 0 0 180001 2 0 0 25 0 1 0 12379631 41422848 1130 1992294400 134512640 135071400 4287412656 18446744073709551615 134525664 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19787/statm: 10113 1130 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) Sleeping 2Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19845 /proc/meminfo: memFree=1356712/2059040 swapFree=4192956/4192956 [pid=19786] ppid=19784 vsize=8700 CPUtime=0 /proc/19786/stat : 19786 (run) S 19784 19786 18544 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12379631 8908800 244 1992294400 4194304 4922060 140736206677344 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19786/statm: 2175 244 204 178 0 68 0 [pid=19787] ppid=19786 vsize=40452 CPUtime=1800.03 /proc/19787/stat : 19787 (PB-wave) R 19786 19786 18544 0 -1 4202496 1201 0 0 0 180001 2 0 0 25 0 1 0 12379631 41422848 1130 1992294400 134512640 135071400 4287412656 18446744073709551615 134525664 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19787/statm: 10113 1130 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 49152 Child status: 143 Real time (s): 1800.51 CPU time (s): 1800.04 CPU user time (s): 1800.01 CPU system time (s): 0.030995 CPU usage (%): 99.9741 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.01 system time used= 0.030995 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1573 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= 3740 runsolver used 3.04554 second user time and 8.5217 second system time The end
Begin job on node089 at 2010-07-06 20:41:53 IDJOB=2685574 IDBENCH=76464 IDSOLVER=1171 FILE ID=node089/2685574-1278441713 PBS_JOBID= 11233436 Free space on /tmp= 62556 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j60/normalized-j605_7-sat.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2685574-1278441713/watcher-2685574-1278441713 -o /tmp/evaluation-result-2685574-1278441713/solver-2685574-1278441713 -C 1800 -W 2000 -M 1800 run HOME/instance-2685574-1278441713.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ac2e6a55152eb7845597b43a492fb5a5 RANDOM SEED=725521233 node089.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.244 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.48 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.244 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.39 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1365672 kB Buffers: 111600 kB Cached: 443660 kB SwapCached: 0 kB Active: 234468 kB Inactive: 381352 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1365672 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 1376 kB Writeback: 0 kB AnonPages: 60528 kB Mapped: 14664 kB Slab: 55808 kB PageTables: 4192 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183496 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= 62556 MiB End job on node089 at 2010-07-06 21:11:54