Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.08 | 1800.62 |
Name | /DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6033_2-unsat.opb |
MD5SUM | 899af7013bffd830ee31db3c8b2bc82e |
Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.173973 |
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 | 12200 |
Total number of constraints | 42056 |
Number of constraints which are clauses | 41660 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 396 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 18 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 13 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 116 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.09 c PB-wave - v2 0.00/0.09 c command line = ./PB-wave 0.00/0.09 c seed = 63642810 0.00/0.09 c cutoff = 1000000 0.00/0.09 c tries = 1000000 0.00/0.09 c heuristic = c best, noise 50 / 100 0.00/0.09 #var 12200 #con 42056 0.00/0.09 mode is SAT 0.00/0.09 c tail starts after flip = 36600 0.00/0.09 c numatom = 12200, numclause = 42056, numliterals = 94574 0.00/0.09 c wff read in 0.00/0.09 c 0.00/0.09 c lowest final avg noise noise total avg mean mean 0.00/0.09 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.09 c this this this this this this success success until std 0.00/0.09 c try try try try try try rate tries assign dev 0.00/0.09 c 1.29/1.34 c 298 436 473.96 62.12 7.63 1000000 0 2.49/2.59 c 321 404 473.85 56.49 8.39 1000000 0 3.79/3.84 c 301 387 472.55 62.04 7.62 1000000 0 4.99/5.08 c 283 449 459.68 61.99 7.41 1000000 0 6.29/6.33 c 267 327 474.98 76.26 6.23 1000000 0 7.49/7.57 c 286 426 464.04 70.66 6.57 1000000 0 8.79/8.82 c 258 420 469.03 63.23 7.42 1000000 0 9.99/10.07 c 285 393 475.25 69.12 6.88 1000000 0 11.29/11.31 c 274 446 458.33 65.52 6.99 1000000 0 12.49/12.57 c 283 478 500.87 64.50 7.76 1000000 0 13.79/13.81 c 240 515 469.75 67.27 6.98 1000000 0 14.98/15.06 c 289 468 480.72 65.75 7.31 1000000 0 16.28/16.31 c 290 575 468.52 64.96 7.21 1000000 0 17.49/17.55 c 294 336 470.17 65.23 7.21 1000000 0 18.78/18.80 c 275 477 474.65 65.74 7.22 1000000 0 19.98/20.04 c 212 478 454.79 60.98 7.46 1000000 0 21.18/21.29 c 285 429 482.66 66.53 7.25 1000000 0 22.48/22.53 c 296 407 466.39 65.27 7.15 1000000 0 23.68/23.78 c 318 529 484.61 70.48 6.88 1000000 0 24.98/25.03 c 256 516 467.82 70.07 6.68 1000000 0 26.18/26.28 c 255 551 480.07 70.37 6.82 1000000 0 27.48/27.54 c 281 493 472.24 69.61 6.78 1000000 0 28.68/28.78 c 318 452 473.31 64.43 7.35 1000000 0 29.98/30.03 c 315 455 476.13 56.45 8.43 1000000 0 31.18/31.28 c 294 542 478.00 69.18 6.91 1000000 0 32.47/32.53 c 309 439 480.55 68.62 7.00 1000000 0 33.67/33.78 c 279 465 482.02 71.79 6.71 1000000 0 34.97/35.04 c 322 414 481.21 74.74 6.44 1000000 0 36.18/36.28 c 305 424 478.80 65.49 7.31 1000000 0 37.47/37.53 c 279 591 461.88 63.16 7.31 1000000 0 38.67/38.77 c 259 439 469.57 71.47 6.57 1000000 0 39.97/40.02 c 297 496 475.41 68.41 6.95 1000000 0 41.17/41.27 c 303 614 482.33 70.88 6.81 1000000 0 42.47/42.52 c 281 457 480.41 57.23 8.39 1000000 0 43.67/43.76 c 294 385 467.27 69.17 6.75 1000000 0 44.99/45.01 c 290 414 468.22 67.93 6.89 1000000 0 46.19/46.26 c 305 506 470.82 61.40 7.67 1000000 0 47.48/47.50 c 289 442 476.25 62.49 7.62 1000000 0 48.68/48.75 c 301 480 476.61 72.52 6.57 1000000 0 49.98/50.00 c 306 438 459.52 61.69 7.45 1000000 0 51.18/51.25 c 293 429 475.32 59.81 7.95 1000000 0 52.48/52.50 c 308 430 470.87 59.98 7.85 1000000 0 53.68/53.75 c 281 483 475.87 73.90 6.44 1000000 0 54.88/55.00 c 247 454 472.18 67.37 7.01 1000000 0 56.18/56.24 c 283 464 467.05 63.13 7.40 1000000 0 57.38/57.49 c 292 427 457.75 57.90 7.91 1000000 0 58.68/58.74 c 307 446 478.97 63.01 7.60 1000000 0 59.87/59.99 c 237 453 475.32 78.85 6.03 1000000 0 61.17/61.24 c 265 543 472.53 68.65 6.88 1000000 0 62.37/62.49 c 289 487 476.07 61.41 7.75 1000000 0 63.68/63.74 c 292 435 478.94 66.13 7.24 1000000 0 64.88/64.99 c 275 471 478.59 59.57 8.03 1000000 0 66.17/66.23 c 260 410 476.74 72.69 6.56 1000000 0 67.37/67.49 c 289 463 475.07 63.77 7.45 1000000 0 68.67/68.73 c 297 462 482.19 61.32 7.86 1000000 0 69.87/69.98 c 259 474 476.07 80.17 5.94 1000000 0 71.17/71.23 c 259 451 468.99 69.05 6.79 1000000 0 72.37/72.48 c 292 519 463.65 63.42 7.31 1000000 0 73.68/73.72 c 314 613 480.80 57.27 8.40 1000000 0 74.87/74.97 c 284 476 465.83 66.27 7.03 1000000 0 76.17/76.22 c 297 415 478.03 63.45 7.53 1000000 0 77.37/77.47 c 286 415 471.07 65.71 7.17 1000000 0 78.67/78.72 c 299 388 476.35 64.17 7.42 1000000 0 79.87/79.96 c 274 452 461.08 61.72 7.47 1000000 0 81.17/81.21 c 302 521 476.90 77.92 6.12 1000000 0 82.37/82.46 c 289 438 470.02 57.44 8.18 1000000 0 83.66/83.70 c 293 466 467.26 60.39 7.74 1000000 0 84.86/84.95 c 305 396 475.69 57.76 8.24 1000000 0 86.06/86.19 c 297 416 481.47 69.96 6.88 1000000 0 87.36/87.44 c 241 578 471.71 68.16 6.92 1000000 0 88.56/88.69 c 312 419 482.51 61.96 7.79 1000000 0 89.86/89.94 c 317 456 491.62 69.14 7.11 1000000 0 91.06/91.19 c 277 452 464.20 66.43 6.99 1000000 0 92.37/92.44 c 310 476 492.31 60.27 8.17 1000000 0 93.56/93.69 c 275 403 480.67 68.36 7.03 1000000 0 94.86/94.94 c 312 354 492.73 69.91 7.05 1000000 0 96.06/96.19 c 306 495 476.01 60.22 7.90 1000000 0 97.36/97.44 c 286 463 480.25 70.64 6.80 1000000 0 98.56/98.69 c 313 457 477.16 61.72 7.73 1000000 0 99.86/99.93 c 305 543 483.78 68.94 7.02 1000000 0 101.07/101.18 c 292 373 477.08 62.47 7.64 1000000 0 102.36/102.44 c 302 462 475.65 61.17 7.78 1000000 0 103.56/103.69 c 307 441 478.28 67.18 7.12 1000000 0 104.86/104.94 c 254 427 475.66 68.57 6.94 1000000 0 106.06/106.19 c 294 417 468.80 71.53 6.55 1000000 0 107.36/107.44 c 284 548 479.59 71.29 6.73 1000000 0 108.55/108.69 c 283 441 466.27 64.20 7.26 1000000 0 109.86/109.93 c 285 509 477.86 67.54 7.08 1000000 0 111.06/111.18 c 264 561 466.62 65.87 7.08 1000000 0 112.35/112.43 c 298 434 473.20 65.90 7.18 1000000 0 113.55/113.67 c 274 440 463.38 72.48 6.39 1000000 0 114.85/114.92 c 283 429 469.71 64.03 7.34 1000000 0 116.05/116.17 c 282 366 471.76 67.45 6.99 1000000 0 117.35/117.42 c 299 531 476.33 60.38 7.89 1000000 0 118.55/118.66 c 291 465 477.13 67.97 7.02 1000000 0 119.86/119.91 c 294 600 472.94 65.79 7.19 1000000 0 121.05/121.16 c 295 379 491.36 69.48 7.07 1000000 0 122.35/122.41 c 313 475 473.74 71.64 6.61 1000000 0 123.55/123.65 c 305 438 470.41 53.91 8.73 1000000 0 124.85/124.90 c 275 585 472.83 65.20 7.25 1000000 0 126.05/126.15 c 289 510 471.61 68.93 6.84 1000000 0 127.35/127.40 c 303 555 478.83 66.58 7.19 1000000 0 128.55/128.65 c 285 511 472.97 74.65 6.34 1000000 0 129.85/129.90 c 259 482 478.60 69.37 6.90 1000000 0 131.05/131.15 c 212 467 469.03 61.43 7.63 1000000 0 132.25/132.39 c 288 415 466.96 68.84 6.78 1000000 0 133.55/133.64 c 312 471 471.03 58.31 8.08 1000000 0 134.75/134.88 c 308 533 468.41 57.40 8.16 1000000 0 136.05/136.13 c 287 490 473.71 72.84 6.50 1000000 0 137.25/137.38 c 299 501 471.15 69.66 6.76 1000000 0 138.55/138.63 c 288 455 464.82 57.63 8.06 1000000 0 139.74/139.88 c 316 508 481.84 66.77 7.22 1000000 0 141.05/141.13 c 284 477 471.26 56.33 8.37 1000000 0 142.25/142.38 c 316 395 480.88 73.74 6.52 1000000 0 143.54/143.63 c 308 545 475.22 60.28 7.88 1000000 0 144.74/144.88 c 285 476 473.50 68.51 6.91 1000000 0 146.04/146.13 c 275 373 479.39 69.15 6.93 1000000 0 147.25/147.38 c 269 381 476.74 75.83 6.29 1000000 0 148.54/148.63 c 279 451 469.43 70.37 6.67 1000000 0 149.74/149.88 c 287 482 490.99 75.79 6.48 1000000 0 151.04/151.13 c 316 426 478.41 71.14 6.72 1000000 0 152.24/152.37 c 305 421 477.66 64.85 7.37 1000000 0 153.54/153.62 c 287 443 463.26 66.19 7.00 1000000 0 154.74/154.87 c 272 524 462.77 67.33 6.87 1000000 0 156.05/156.12 c 277 506 476.19 71.18 6.69 1000000 0 157.25/157.37 c 284 406 483.99 68.69 7.05 1000000 0 158.54/158.62 c 274 467 474.91 65.56 7.24 1000000 0 159.74/159.86 c 296 411 468.24 70.89 6.60 1000000 0 161.04/161.10 c 277 432 450.48 62.52 7.21 1000000 0 162.24/162.35 c 310 650 485.79 68.04 7.14 1000000 0 163.54/163.60 c 253 388 477.49 68.27 6.99 1000000 0 164.74/164.85 c 308 423 474.83 73.20 6.49 1000000 0 165.94/166.10 c 291 403 467.03 68.25 6.84 1000000 0 167.24/167.35 c 331 406 488.67 62.43 7.83 1000000 0 168.44/168.59 c 278 442 460.15 70.56 6.52 1000000 0 169.74/169.84 c 279 439 478.36 78.97 6.06 1000000 0 170.94/171.09 c 242 488 465.39 72.61 6.41 1000000 0 172.23/172.34 c 278 463 486.01 67.42 7.21 1000000 0 173.43/173.59 c 300 366 470.90 59.36 7.93 1000000 0 174.74/174.84 c 306 449 486.56 67.96 7.16 1000000 0 175.94/176.09 c 280 444 462.09 66.33 6.97 1000000 0 177.23/177.33 c 272 518 473.14 58.58 8.08 1000000 0 178.43/178.57 c 294 401 461.85 67.16 6.88 1000000 0 179.73/179.82 c 291 433 469.04 60.24 7.79 1000000 0 180.93/181.07 c 307 501 474.83 72.78 6.52 1000000 0 182.23/182.32 c 286 444 474.80 65.57 7.24 1000000 0 183.43/183.57 c 299 522 474.90 72.88 6.52 1000000 0 184.74/184.81 c 296 476 467.59 71.32 6.56 1000000 0 185.93/186.06 c 298 456 484.33 61.32 7.90 1000000 0 187.23/187.31 c 302 456 468.78 64.15 7.31 1000000 0 188.43/188.56 c 299 424 478.77 61.27 7.81 1000000 0 189.73/189.80 c 262 363 455.44 62.09 7.34 1000000 0 190.93/191.05 c 336 458 480.58 59.83 8.03 1000000 0 192.13/192.29 c 292 528 468.52 67.69 6.92 1000000 0 193.44/193.54 c 292 394 469.75 68.76 6.83 1000000 0 194.64/194.78 c 318 509 476.04 62.10 7.67 1000000 0 195.93/196.03 c 301 419 470.91 55.81 8.44 1000000 0 197.13/197.28 c 308 568 480.15 64.08 7.49 1000000 0 198.43/198.52 c 277 463 464.65 62.78 7.40 1000000 0 199.63/199.76 c 298 466 464.83 59.54 7.81 1000000 0 200.93/201.01 c 300 474 489.44 67.93 7.21 1000000 0 202.13/202.26 c 288 353 470.67 64.01 7.35 1000000 0 203.43/203.50 c 296 482 467.99 62.60 7.48 1000000 0 204.62/204.75 c 247 507 464.66 60.05 7.74 1000000 0 205.82/206.00 c 307 468 471.18 56.61 8.32 1000000 0 207.12/207.25 c 304 454 481.34 72.47 6.64 1000000 0 208.42/208.50 c 290 516 485.92 64.37 7.55 1000000 0 209.62/209.75 c 314 491 479.31 55.54 8.63 1000000 0 210.82/211.00 c 290 429 471.42 62.10 7.59 1000000 0 212.13/212.24 c 273 441 476.89 68.34 6.98 1000000 0 213.33/213.49 c 278 464 467.35 58.74 7.96 1000000 0 214.62/214.74 c 310 480 476.23 58.59 8.13 1000000 0 215.82/215.99 c 273 470 470.49 62.79 7.49 1000000 0 217.12/217.24 c 313 451 480.48 66.60 7.21 1000000 0 218.32/218.48 c 308 426 464.39 58.50 7.94 1000000 0 219.62/219.73 c 302 453 473.73 67.42 7.03 1000000 0 220.82/220.98 c 285 540 484.98 68.94 7.03 1000000 0 222.13/222.23 c 305 504 483.29 68.46 7.06 1000000 0 223.32/223.49 c 301 480 481.81 61.57 7.82 1000000 0 224.62/224.74 c 320 428 489.33 62.56 7.82 1000000 0 225.82/225.98 c 312 426 465.60 64.90 7.17 1000000 0 227.12/227.23 c 285 505 477.75 69.43 6.88 1000000 0 228.31/228.48 c 285 405 466.19 58.48 7.97 1000000 0 229.61/229.73 c 310 488 483.18 63.59 7.60 1000000 0 230.82/230.98 c 282 441 480.19 64.91 7.40 1000000 0 232.11/232.23 c 273 456 462.69 67.10 6.90 1000000 0 233.31/233.48 c 295 427 475.15 68.34 6.95 1000000 0 234.61/234.73 c 291 468 468.24 58.75 7.97 1000000 0 235.81/235.97 c 288 547 481.62 64.57 7.46 1000000 0 237.11/237.22 c 270 532 476.07 74.27 6.41 1000000 0 238.31/238.47 c 309 502 475.82 57.15 8.33 1000000 0 239.62/239.73 c 275 440 477.39 65.54 7.28 1000000 0 240.82/240.97 c 263 460 471.75 66.37 7.11 1000000 0 242.11/242.22 c 277 456 466.01 67.62 6.89 1000000 0 243.31/243.47 c 292 485 479.50 60.27 7.96 1000000 0 244.62/244.72 c 312 499 478.09 67.41 7.09 1000000 0 245.82/245.97 c 307 465 476.60 66.14 7.21 1000000 0 247.12/247.21 c 277 371 474.30 63.49 7.47 1000000 0 248.32/248.46 c 294 528 465.48 66.42 7.01 1000000 0 249.63/249.71 c 308 370 476.87 63.97 7.46 1000000 0 250.82/250.95 c 296 464 472.16 67.29 7.02 1000000 0 252.12/252.20 c 283 410 468.71 60.80 7.71 1000000 0 253.32/253.44 c 285 417 461.35 76.48 6.03 1000000 0 254.61/254.70 c 289 466 475.28 81.72 5.82 1000000 0 255.81/255.94 c 289 373 480.84 63.50 7.57 1000000 0 257.01/257.19 c 272 469 484.23 76.09 6.36 1000000 0 258.32/258.44 c 287 467 475.61 58.49 8.13 1000000 0 259.52/259.68 c 315 442 475.18 58.10 8.18 1000000 0 260.81/260.93 c 285 578 469.98 59.74 7.87 1000000 0 262.01/262.18 c 290 479 479.64 62.00 7.74 1000000 0 263.31/263.42 c 290 456 481.55 58.31 8.26 1000000 0 264.51/264.68 c 300 520 488.58 79.95 6.11 1000000 0 265.81/265.92 c 288 494 474.54 68.23 6.95 1000000 0 267.01/267.17 c 279 558 467.85 69.34 6.75 1000000 0 268.32/268.42 c 279 386 468.81 59.37 7.90 1000000 0 269.51/269.67 c 287 466 476.66 70.68 6.74 1000000 0 270.81/270.92 c 274 433 465.83 60.94 7.64 1000000 0 272.01/272.16 c 306 406 477.11 65.58 7.28 1000000 0 273.31/273.41 c 248 382 468.41 68.53 6.83 1000000 0 274.51/274.65 c 290 510 472.63 68.74 6.88 1000000 0 275.81/275.90 c 322 506 482.71 65.00 7.43 1000000 0 277.01/277.15 c 285 469 476.49 54.98 8.67 1000000 0 278.31/278.40 c 314 462 473.16 56.15 8.43 1000000 0 279.51/279.64 c 287 524 462.96 56.50 8.19 1000000 0 280.71/280.89 c 300 468 458.97 64.94 7.07 1000000 0 282.01/282.13 c 278 545 473.34 64.81 7.30 1000000 0 283.20/283.38 c 298 451 481.48 70.76 6.80 1000000 0 284.50/284.63 c 314 433 477.06 53.42 8.93 1000000 0 285.70/285.88 c 286 482 473.07 71.28 6.64 1000000 0 287.01/287.12 c 215 479 464.74 64.15 7.25 1000000 0 288.20/288.37 c 265 357 475.68 71.15 6.69 1000000 0 289.50/289.62 c 277 454 473.03 70.60 6.70 1000000 0 290.70/290.87 c 318 474 473.19 63.83 7.41 1000000 0 292.00/292.12 c 304 413 465.94 59.98 7.77 1000000 0 293.20/293.37 c 311 458 472.04 61.19 7.71 1000000 0 294.50/294.61 c 275 410 468.12 64.27 7.28 1000000 0 295.71/295.86 c 281 480 478.54 75.82 6.31 1000000 0 297.00/297.10 c 305 429 469.71 66.94 7.02 1000000 0 298.20/298.35 c 254 483 467.82 63.52 7.36 1000000 0 299.40/299.59 c 299 435 467.35 65.29 7.16 1000000 0 300.70/300.85 c 313 539 482.37 73.74 6.54 1000000 0 301.90/302.09 c 304 515 478.53 74.94 6.39 1000000 0 303.20/303.34 c 292 436 477.30 64.25 7.43 1000000 0 304.40/304.59 c 309 533 491.05 65.66 7.48 1000000 0 305.70/305.84 c 307 482 474.07 61.04 7.77 1000000 0 306.90/307.09 c 291 550 482.56 87.33 5.53 1000000 0 308.20/308.34 c 302 464 468.39 63.04 7.43 1000000 0 309.40/309.59 c 323 414 484.67 59.63 8.13 1000000 0 310.70/310.84 c 269 448 454.21 61.12 7.43 1000000 0 311.90/312.09 c 289 540 474.94 72.40 6.56 1000000 0 313.20/313.33 c 280 495 474.21 61.37 7.73 1000000 0 314.40/314.58 c 302 491 462.35 60.28 7.67 1000000 0 315.69/315.82 c 297 478 466.41 59.94 7.78 1000000 0 316.89/317.08 c 294 480 484.19 60.70 7.98 1000000 0 318.19/318.33 c 285 420 482.16 68.79 7.01 1000000 0 319.39/319.58 c 291 502 472.10 68.21 6.92 1000000 0 320.69/320.82 c 282 478 474.46 62.13 7.64 1000000 0 321.89/322.08 c 296 358 480.81 82.20 5.85 1000000 0 323.20/323.33 c 301 474 487.88 72.26 6.75 1000000 0 324.40/324.58 c 288 491 483.66 63.83 7.58 1000000 0 325.69/325.83 c 293 433 479.15 67.73 7.07 1000000 0 326.89/327.09 c 293 417 493.12 62.08 7.94 1000000 0 328.19/328.34 c 275 435 465.32 57.36 8.11 1000000 0 329.39/329.59 c 282 540 457.33 62.77 7.29 1000000 0 330.69/330.83 c 278 504 468.70 60.32 7.77 1000000 0 331.89/332.08 c 314 521 470.97 56.05 8.40 1000000 0 333.19/333.33 c 275 512 474.25 64.95 7.30 1000000 0 334.39/334.58 c 277 402 471.84 66.66 7.08 1000000 0 335.69/335.83 c 276 576 486.40 75.85 6.41 1000000 0 336.89/337.07 c 282 392 473.07 66.29 7.14 1000000 0 338.19/338.32 c 261 430 468.54 75.65 6.19 1000000 0 339.38/339.57 c 319 402 472.59 68.67 6.88 1000000 0 340.68/340.82 c 287 459 476.11 62.16 7.66 1000000 0 341.89/342.06 c 293 478 471.54 70.00 6.74 1000000 0 343.18/343.31 c 277 432 468.24 63.73 7.35 1000000 0 344.38/344.56 c 299 444 483.33 75.64 6.39 1000000 0 345.68/345.81 c 293 557 480.56 66.58 7.22 1000000 0 346.88/347.06 c 302 382 477.47 64.69 7.38 1000000 0 348.18/348.30 c 268 449 466.38 63.59 7.33 1000000 0 349.38/349.55 c 264 463 468.27 69.16 6.77 1000000 0 350.69/350.80 c 299 498 481.09 66.71 7.21 1000000 0 351.89/352.05 c 279 470 482.33 66.62 7.24 1000000 0 353.08/353.29 c 285 545 467.93 57.99 8.07 1000000 0 354.38/354.54 c 313 477 482.74 66.05 7.31 1000000 0 355.58/355.79 c 292 457 483.05 58.51 8.26 1000000 0 356.88/357.04 c 285 504 481.16 68.20 7.06 1000000 0 358.08/358.29 c 286 400 468.70 70.77 6.62 1000000 0 359.38/359.54 c 286 444 470.88 58.75 8.02 1000000 0 360.58/360.79 c 299 542 473.31 74.61 6.34 1000000 0 361.88/362.03 c 285 426 467.66 66.33 7.05 1000000 0 363.08/363.28 c 279 449 476.80 64.75 7.36 1000000 0 364.38/364.53 c 302 459 472.86 71.14 6.65 1000000 0 365.58/365.77 c 252 534 464.02 62.16 7.46 1000000 0 366.88/367.02 c 270 397 467.63 74.49 6.28 1000000 0 368.08/368.28 c 294 538 483.35 61.93 7.80 1000000 0 369.38/369.52 c 305 435 481.69 64.20 7.50 1000000 0 370.58/370.77 c 278 390 472.98 57.47 8.23 1000000 0 371.87/372.02 c 232 422 478.39 68.42 6.99 1000000 0 373.08/373.26 c 302 458 479.20 63.06 7.60 1000000 0 374.37/374.51 c 284 507 460.90 65.40 7.05 1000000 0 375.57/375.76 c 300 421 465.24 60.83 7.65 1000000 0 376.87/377.01 c 293 411 486.22 72.80 6.68 1000000 0 378.07/378.25 c 276 464 469.81 58.94 7.97 1000000 0 379.28/379.50 c 232 396 471.79 72.44 6.51 1000000 0 380.57/380.75 c 282 485 473.83 74.51 6.36 1000000 0 381.77/382.00 c 287 478 473.99 65.21 7.27 1000000 0 383.07/383.25 c 295 418 475.87 70.38 6.76 1000000 0 384.37/384.50 c 248 526 474.53 73.16 6.49 1000000 0 385.57/385.74 c 317 480 487.46 68.94 7.07 1000000 0 386.77/386.99 c 274 417 467.38 58.29 8.02 1000000 0 388.08/388.24 c 316 520 479.75 61.67 7.78 1000000 0 389.28/389.49 c 294 466 477.19 60.22 7.92 1000000 0 390.57/390.73 c 297 425 463.35 60.59 7.65 1000000 0 391.77/391.98 c 288 394 474.75 57.30 8.29 1000000 0 393.07/393.23 c 303 446 478.41 70.52 6.78 1000000 0 394.27/394.47 c 282 411 461.05 58.46 7.89 1000000 0 395.57/395.72 c 289 415 464.68 66.74 6.96 1000000 0 396.77/396.97 c 313 491 476.60 53.82 8.86 1000000 0 398.07/398.21 c 260 485 468.13 68.59 6.83 1000000 0 399.26/399.46 c 279 425 463.63 72.79 6.37 1000000 0 400.56/400.71 c 287 504 487.39 61.55 7.92 1000000 0 401.76/401.96 c 319 445 473.06 58.20 8.13 1000000 0 403.06/403.20 c 299 472 473.99 57.10 8.30 1000000 0 404.26/404.45 c 310 467 472.78 59.54 7.94 1000000 0 405.56/405.70 c 306 489 472.46 61.07 7.74 1000000 0 406.77/406.95 c 268 503 478.06 58.60 8.16 1000000 0 408.06/408.20 c 283 445 482.10 68.94 6.99 1000000 0 409.26/409.44 c 275 494 459.45 62.14 7.39 1000000 0 410.46/410.69 c 306 594 487.99 65.20 7.48 1000000 0 411.76/411.94 c 290 556 475.20 58.93 8.06 1000000 0 412.96/413.19 c 281 432 466.73 72.50 6.44 1000000 0 414.26/414.44 c 303 516 475.16 77.88 6.10 1000000 0 415.46/415.68 c 250 481 472.29 66.55 7.10 1000000 0 416.77/416.93 c 271 477 462.91 71.60 6.47 1000000 0 417.96/418.17 c 241 427 469.98 63.22 7.43 1000000 0 419.26/419.42 c 341 392 482.58 56.23 8.58 1000000 0 420.46/420.67 c 288 403 476.11 63.22 7.53 1000000 0 421.76/421.92 c 258 601 470.65 67.35 6.99 1000000 0 422.96/423.17 c 303 550 475.01 70.02 6.78 1000000 0 424.26/424.42 c 282 438 460.73 69.64 6.62 1000000 0 425.46/425.66 c 287 436 470.25 64.66 7.27 1000000 0 426.76/426.90 c 278 496 466.35 60.15 7.75 1000000 0 427.95/428.15 c 288 468 481.02 58.63 8.20 1000000 0 429.25/429.40 c 297 479 483.25 67.15 7.20 1000000 0 430.45/430.65 c 290 530 473.07 70.42 6.72 1000000 0 431.76/431.90 c 296 338 478.93 72.92 6.57 1000000 0 432.96/433.15 c 298 419 479.13 71.23 6.73 1000000 0 434.27/434.40 c 304 457 486.82 62.84 7.75 1000000 0 435.47/435.64 c 295 449 477.09 66.26 7.20 1000000 0 436.66/436.89 c 320 431 475.29 58.92 8.07 1000000 0 437.96/438.14 c 264 367 467.40 59.26 7.89 1000000 0 439.16/439.39 c 305 386 468.08 62.52 7.49 1000000 0 440.46/440.63 c 294 539 471.48 66.83 7.05 1000000 0 441.66/441.88 c 290 443 469.36 65.47 7.17 1000000 0 442.96/443.13 c 283 434 467.40 63.08 7.41 1000000 0 444.17/444.38 c 312 440 475.69 64.07 7.42 1000000 0 445.46/445.62 c 273 521 459.72 64.79 7.10 1000000 0 446.66/446.87 c 284 427 475.39 63.38 7.50 1000000 0 447.96/448.12 c 309 408 475.53 62.33 7.63 1000000 0 449.16/449.36 c 302 495 470.84 69.70 6.75 1000000 0 450.46/450.61 c 290 447 476.60 68.63 6.94 1000000 0 451.66/451.86 c 318 438 490.44 71.40 6.87 1000000 0 452.96/453.11 c 306 501 476.39 62.26 7.65 1000000 0 454.16/454.36 c 280 427 480.15 63.01 7.62 1000000 0 455.45/455.61 c 268 538 475.97 65.51 7.27 1000000 0 456.65/456.86 c 317 488 481.05 67.58 7.12 1000000 0 457.96/458.10 c 291 455 466.02 74.02 6.30 1000000 0 459.15/459.35 c 313 515 484.44 66.70 7.26 1000000 0 460.45/460.60 c 306 448 466.17 58.69 7.94 1000000 0 461.65/461.84 c 290 526 468.52 66.20 7.08 1000000 0 462.86/463.10 c 305 518 470.41 61.74 7.62 1000000 0 464.15/464.35 c 304 462 488.53 58.21 8.39 1000000 0 465.45/465.60 c 321 430 474.24 65.83 7.20 1000000 0 466.65/466.84 c 256 468 465.17 64.68 7.19 1000000 0 467.85/468.09 c 296 437 477.38 64.17 7.44 1000000 0 469.15/469.34 c 289 468 476.16 68.05 7.00 1000000 0 470.35/470.59 c 272 408 479.05 56.83 8.43 1000000 0 471.66/471.83 c 297 462 473.60 63.52 7.46 1000000 0 472.86/473.08 c 289 619 469.95 61.34 7.66 1000000 0 474.15/474.32 c 306 397 465.46 59.87 7.77 1000000 0 475.35/475.57 c 270 450 465.81 60.93 7.65 1000000 0 476.65/476.82 c 297 509 472.59 54.18 8.72 1000000 0 477.85/478.07 c 238 438 464.95 70.08 6.63 1000000 0 479.15/479.31 c 254 449 474.32 75.92 6.25 1000000 0 480.35/480.57 c 325 533 497.60 68.96 7.22 1000000 0 481.65/481.81 c 279 440 483.64 70.21 6.89 1000000 0 482.85/483.07 c 307 483 486.00 74.77 6.50 1000000 0 484.15/484.31 c 286 514 473.89 69.37 6.83 1000000 0 485.34/485.57 c 277 439 467.65 76.56 6.11 1000000 0 486.64/486.81 c 302 526 482.31 65.21 7.40 1000000 0 487.84/488.06 c 290 649 472.95 64.98 7.28 1000000 0 489.14/489.31 c 295 366 486.30 59.54 8.17 1000000 0 490.35/490.56 c 307 388 472.40 61.13 7.73 1000000 0 491.64/491.80 c 236 387 470.06 69.19 6.79 1000000 0 492.84/493.05 c 316 505 479.99 64.38 7.46 1000000 0 494.04/494.29 c 289 397 468.62 60.53 7.74 1000000 0 495.34/495.54 c 313 455 468.11 70.83 6.61 1000000 0 496.54/496.79 c 318 527 486.61 67.91 7.17 1000000 0 497.84/498.04 c 299 460 483.85 63.71 7.60 1000000 0 499.04/499.29 c 306 383 476.94 63.24 7.54 1000000 0 500.34/500.54 c 261 527 467.37 63.75 7.33 1000000 0 501.54/501.79 c 289 533 465.63 59.95 7.77 1000000 0 502.83/503.04 c 270 502 477.51 62.87 7.59 1000000 0 504.03/504.29 c 268 415 476.54 59.32 8.03 1000000 0 505.33/505.54 c 286 403 475.42 68.86 6.90 1000000 0 506.53/506.79 c 322 509 480.35 68.77 6.98 1000000 0 507.83/508.03 c 291 420 472.36 69.07 6.84 1000000 0 509.04/509.28 c 295 517 473.77 66.17 7.16 1000000 0 510.33/510.53 c 287 520 479.65 65.53 7.32 1000000 0 511.53/511.78 c 296 496 470.54 59.81 7.87 1000000 0 512.83/513.03 c 301 476 483.93 75.81 6.38 1000000 0 514.03/514.27 c 322 482 475.17 59.15 8.03 1000000 0 515.33/515.52 c 295 544 474.08 67.15 7.06 1000000 0 516.53/516.77 c 243 435 476.60 71.23 6.69 1000000 0 517.84/518.02 c 303 432 482.07 67.52 7.14 1000000 0 519.04/519.27 c 308 403 471.50 62.50 7.54 1000000 0 520.33/520.51 c 258 447 467.73 63.86 7.32 1000000 0 521.53/521.77 c 298 467 478.91 64.05 7.48 1000000 0 522.83/523.01 c 265 441 470.15 54.43 8.64 1000000 0 524.03/524.26 c 299 487 463.30 67.69 6.84 1000000 0 525.33/525.51 c 290 487 474.64 58.97 8.05 1000000 0 526.53/526.76 c 299 406 481.15 65.88 7.30 1000000 0 527.84/528.01 c 268 428 470.41 69.23 6.79 1000000 0 529.03/529.26 c 310 437 490.37 65.61 7.47 1000000 0 530.33/530.50 c 277 516 456.46 63.71 7.16 1000000 0 531.53/531.74 c 297 518 468.87 58.33 8.04 1000000 0 532.73/532.99 c 257 519 478.12 67.28 7.11 1000000 0 534.03/534.24 c 312 455 479.13 62.90 7.62 1000000 0 535.23/535.49 c 298 472 483.11 70.69 6.83 1000000 0 536.53/536.73 c 280 483 468.22 64.85 7.22 1000000 0 537.73/537.98 c 293 522 468.89 65.11 7.20 1000000 0 539.03/539.23 c 303 419 477.61 79.74 5.99 1000000 0 540.22/540.48 c 313 498 479.03 69.37 6.90 1000000 0 541.52/541.73 c 281 367 473.13 60.08 7.87 1000000 0 542.72/542.99 c 298 453 475.76 79.63 5.97 1000000 0 544.02/544.24 c 305 430 468.17 59.69 7.84 1000000 0 545.22/545.49 c 271 501 470.35 54.02 8.71 1000000 0 546.53/546.74 c 293 553 470.65 58.20 8.09 1000000 0 547.72/547.99 c 320 518 471.25 70.75 6.66 1000000 0 549.02/549.24 c 262 506 472.42 66.68 7.08 1000000 0 550.22/550.49 c 259 536 469.37 60.83 7.72 1000000 0 551.52/551.73 c 298 427 470.27 64.78 7.26 1000000 0 552.72/552.99 c 292 498 481.69 75.56 6.37 1000000 0 554.02/554.23 c 316 431 466.85 66.96 6.97 1000000 0 555.23/555.47 c 253 483 464.70 61.23 7.59 1000000 0 556.52/556.72 c 307 500 487.18 66.02 7.38 1000000 0 557.72/557.97 c 233 403 464.77 65.71 7.07 1000000 0 559.02/559.22 c 293 477 469.87 66.60 7.06 1000000 0 560.22/560.46 c 262 439 463.50 70.42 6.58 1000000 0 561.52/561.70 c 284 504 461.89 64.95 7.11 1000000 0 562.72/562.95 c 290 423 466.81 56.28 8.29 1000000 0 564.02/564.20 c 266 374 476.59 74.26 6.42 1000000 0 565.22/565.45 c 259 405 472.23 76.45 6.18 1000000 0 566.51/566.70 c 233 425 478.89 76.89 6.23 1000000 0 567.71/567.94 c 268 417 456.98 62.03 7.37 1000000 0 568.92/569.19 c 296 487 471.82 57.09 8.26 1000000 0 570.21/570.44 c 256 425 472.46 71.16 6.64 1000000 0 571.41/571.68 c 289 498 474.17 73.09 6.49 1000000 0 572.71/572.93 c 298 436 461.74 62.05 7.44 1000000 0 573.92/574.17 c 274 546 466.48 67.73 6.89 1000000 0 575.21/575.42 c 272 458 467.77 62.79 7.45 1000000 0 576.41/576.66 c 284 479 478.41 66.04 7.24 1000000 0 577.71/577.91 c 312 586 469.64 59.43 7.90 1000000 0 578.91/579.16 c 277 495 469.82 71.77 6.55 1000000 0 580.21/580.41 c 295 377 474.01 58.87 8.05 1000000 0 581.41/581.65 c 264 492 468.26 71.97 6.51 1000000 0 582.72/582.91 c 290 542 478.73 65.20 7.34 1000000 0 583.92/584.16 c 258 403 469.81 71.39 6.58 1000000 0 585.21/585.40 c 295 453 473.09 65.29 7.25 1000000 0 586.41/586.65 c 280 465 472.15 69.49 6.79 1000000 0 587.71/587.90 c 308 451 485.35 69.01 7.03 1000000 0 588.91/589.15 c 294 468 471.96 56.17 8.40 1000000 0 590.11/590.39 c 207 452 462.59 66.92 6.91 1000000 0 591.41/591.64 c 269 516 474.38 57.84 8.20 1000000 0 592.61/592.89 c 321 476 477.02 68.93 6.92 1000000 0 593.91/594.14 c 290 372 480.45 68.05 7.06 1000000 0 595.11/595.39 c 293 478 473.34 58.55 8.08 1000000 0 596.40/596.64 c 291 449 474.01 59.26 8.00 1000000 0 597.60/597.88 c 253 473 468.27 68.74 6.81 1000000 0 598.90/599.13 c 268 553 476.02 60.58 7.86 1000000 0 600.10/600.38 c 288 489 477.97 70.36 6.79 1000000 0 601.41/601.63 c 290 432 476.79 70.55 6.76 1000000 0 602.61/602.88 c 279 498 477.56 75.30 6.34 1000000 0 603.90/604.12 c 262 523 470.88 64.88 7.26 1000000 0 605.10/605.37 c 281 407 478.03 62.02 7.71 1000000 0 606.40/606.62 c 266 490 460.67 59.43 7.75 1000000 0 607.60/607.86 c 289 470 468.29 68.45 6.84 1000000 0 608.90/609.11 c 296 536 465.24 65.36 7.12 1000000 0 610.10/610.36 c 314 438 484.55 68.31 7.09 1000000 0 611.41/611.61 c 285 457 472.83 63.54 7.44 1000000 0 612.60/612.86 c 283 469 470.72 68.83 6.84 1000000 0 613.90/614.11 c 299 493 465.32 67.72 6.87 1000000 0 615.10/615.36 c 285 430 473.20 65.77 7.19 1000000 0 616.41/616.61 c 237 464 471.18 66.29 7.11 1000000 0 617.61/617.86 c 291 401 480.96 66.08 7.28 1000000 0 618.90/619.11 c 294 441 465.02 63.29 7.35 1000000 0 620.11/620.35 c 285 388 477.08 62.24 7.67 1000000 0 621.41/621.61 c 314 438 482.44 59.06 8.17 1000000 0 622.60/622.85 c 301 522 473.00 74.14 6.38 1000000 0 623.90/624.11 c 289 432 484.40 61.51 7.88 1000000 0 625.10/625.35 c 262 493 471.60 71.07 6.64 1000000 0 626.40/626.60 c 290 529 476.88 66.90 7.13 1000000 0 627.60/627.85 c 282 452 475.30 73.06 6.51 1000000 0 628.91/629.11 c 329 419 483.32 66.13 7.31 1000000 0 630.11/630.35 c 288 463 474.97 56.02 8.48 1000000 0 631.30/631.59 c 305 444 476.35 65.24 7.30 1000000 0 632.60/632.84 c 305 537 473.28 62.43 7.58 1000000 0 633.80/634.09 c 267 555 479.43 72.10 6.65 1000000 0 635.10/635.34 c 310 406 482.29 63.31 7.62 1000000 0 636.30/636.58 c 254 534 460.41 66.70 6.90 1000000 0 637.60/637.83 c 294 445 477.72 62.64 7.63 1000000 0 638.80/639.08 c 296 476 477.34 64.55 7.39 1000000 0 640.10/640.33 c 248 461 483.17 66.24 7.29 1000000 0 641.30/641.58 c 256 424 465.66 66.97 6.95 1000000 0 642.60/642.82 c 273 478 473.23 68.70 6.89 1000000 0 643.80/644.07 c 293 463 467.66 68.48 6.83 1000000 0 645.10/645.32 c 261 557 452.35 71.18 6.36 1000000 0 646.30/646.56 c 306 528 476.56 58.86 8.10 1000000 0 647.60/647.81 c 292 428 482.11 66.64 7.23 1000000 0 648.80/649.06 c 281 624 477.18 69.27 6.89 1000000 0 650.09/650.31 c 279 389 468.44 62.53 7.49 1000000 0 651.29/651.55 c 329 479 475.41 61.26 7.76 1000000 0 652.59/652.80 c 298 434 481.61 60.30 7.99 1000000 0 653.79/654.05 c 277 582 466.69 67.08 6.96 1000000 0 655.09/655.30 c 304 435 459.90 61.12 7.52 1000000 0 656.29/656.54 c 269 413 464.68 71.82 6.47 1000000 0 657.50/657.79 c 280 479 463.47 68.44 6.77 1000000 0 658.79/659.04 c 277 580 478.07 63.59 7.52 1000000 0 659.99/660.29 c 299 486 472.23 71.51 6.60 1000000 0 661.29/661.54 c 283 459 474.37 66.14 7.17 1000000 0 662.49/662.79 c 306 497 484.80 53.99 8.98 1000000 0 663.79/664.04 c 282 469 472.72 56.03 8.44 1000000 0 664.99/665.28 c 288 449 465.44 69.54 6.69 1000000 0 666.30/666.53 c 275 443 471.18 72.95 6.46 1000000 0 667.50/667.77 c 288 495 460.07 61.14 7.53 1000000 0 668.79/669.02 c 266 412 476.14 67.91 7.01 1000000 0 669.99/670.27 c 303 486 474.50 63.43 7.48 1000000 0 671.29/671.51 c 293 529 462.26 69.91 6.61 1000000 0 672.49/672.76 c 282 519 476.47 68.82 6.92 1000000 0 673.79/674.01 c 293 496 460.62 70.76 6.51 1000000 0 674.99/675.26 c 299 528 476.09 58.00 8.21 1000000 0 676.29/676.50 c 302 433 480.70 69.19 6.95 1000000 0 677.49/677.75 c 295 477 468.74 55.10 8.51 1000000 0 678.68/678.99 c 300 458 468.38 59.77 7.84 1000000 0 679.99/680.24 c 254 427 473.54 75.99 6.23 1000000 0 681.19/681.48 c 270 505 471.65 65.63 7.19 1000000 0 682.48/682.74 c 293 517 484.71 71.40 6.79 1000000 0 683.68/683.98 c 325 471 471.35 68.19 6.91 1000000 0 684.99/685.23 c 291 419 478.73 66.24 7.23 1000000 0 686.19/686.48 c 262 488 471.68 70.06 6.73 1000000 0 687.48/687.73 c 302 477 479.06 67.15 7.13 1000000 0 688.68/688.97 c 265 433 470.30 64.31 7.31 1000000 0 689.98/690.22 c 291 520 466.43 59.88 7.79 1000000 0 691.18/691.47 c 269 423 477.96 65.79 7.27 1000000 0 692.48/692.72 c 288 381 474.44 75.02 6.32 1000000 0 693.68/693.96 c 209 466 470.55 60.16 7.82 1000000 0 694.99/695.21 c 317 456 483.13 65.34 7.39 1000000 0 696.18/696.46 c 302 442 468.20 60.76 7.71 1000000 0 697.48/697.71 c 308 479 472.02 61.70 7.65 1000000 0 698.68/698.96 c 308 446 470.25 64.28 7.32 1000000 0 699.98/700.21 c 284 490 468.22 83.24 5.63 1000000 0 701.18/701.45 c 270 422 472.36 75.74 6.24 1000000 0 702.48/702.70 c 296 431 486.11 70.59 6.89 1000000 0 703.69/703.95 c 280 458 479.48 70.00 6.85 1000000 0 704.98/705.20 c 296 551 472.80 64.84 7.29 1000000 0 706.18/706.44 c 293 408 468.77 58.36 8.03 1000000 0 707.38/707.69 c 305 511 476.84 65.52 7.28 1000000 0 708.68/708.95 c 322 477 484.67 66.49 7.29 1000000 0 709.98/710.20 c 263 427 473.15 66.76 7.09 1000000 0 711.18/711.45 c 291 497 487.75 64.73 7.54 1000000 0 712.48/712.70 c 260 451 471.80 72.67 6.49 1000000 0 713.68/713.95 c 311 451 470.26 63.03 7.46 1000000 0 714.88/715.19 c 297 569 466.90 52.86 8.83 1000000 0 716.17/716.44 c 288 518 478.88 64.43 7.43 1000000 0 717.37/717.68 c 295 462 471.08 60.70 7.76 1000000 0 718.67/718.93 c 287 445 472.90 62.29 7.59 1000000 0 719.87/720.18 c 296 506 474.13 60.27 7.87 1000000 0 721.17/721.43 c 286 429 477.39 69.57 6.86 1000000 0 722.38/722.68 c 285 516 478.92 67.45 7.10 1000000 0 723.67/723.93 c 295 528 476.22 66.64 7.15 1000000 0 724.87/725.18 c 308 434 484.30 70.21 6.90 1000000 0 726.17/726.42 c 286 475 470.53 67.27 6.99 1000000 0 727.37/727.67 c 297 520 475.14 57.31 8.29 1000000 0 728.67/728.92 c 321 503 479.00 65.59 7.30 1000000 0 729.87/730.17 c 271 434 463.87 69.52 6.67 1000000 0 731.18/731.42 c 300 504 470.57 62.99 7.47 1000000 0 732.38/732.67 c 308 396 468.11 60.80 7.70 1000000 0 733.67/733.91 c 282 524 461.99 64.40 7.17 1000000 0 734.87/735.16 c 289 518 485.36 71.54 6.78 1000000 0 736.17/736.41 c 294 404 466.83 64.14 7.28 1000000 0 737.37/737.66 c 282 465 469.32 66.49 7.06 1000000 0 738.67/738.90 c 284 495 479.88 65.89 7.28 1000000 0 739.87/740.15 c 291 448 474.26 62.09 7.64 1000000 0 741.07/741.39 c 278 394 474.51 63.26 7.50 1000000 0 742.36/742.64 c 274 537 468.04 63.57 7.36 1000000 0 743.56/743.89 c 322 332 479.46 62.26 7.70 1000000 0 744.86/745.15 c 298 468 479.90 71.85 6.68 1000000 0 746.06/746.39 c 292 489 466.46 65.66 7.10 1000000 0 747.36/747.64 c 298 416 489.52 60.37 8.11 1000000 0 748.56/748.89 c 289 489 479.91 58.37 8.22 1000000 0 749.87/750.14 c 288 516 461.94 58.08 7.95 1000000 0 751.07/751.38 c 297 367 473.34 54.56 8.68 1000000 0 752.36/752.63 c 292 505 472.77 60.45 7.82 1000000 0 753.56/753.88 c 291 483 479.94 57.96 8.28 1000000 0 754.86/755.13 c 279 452 479.76 71.71 6.69 1000000 0 756.06/756.38 c 316 458 470.33 61.14 7.69 1000000 0 757.36/757.62 c 267 411 471.53 66.26 7.12 1000000 0 758.56/758.87 c 268 405 475.04 63.89 7.44 1000000 0 759.86/760.12 c 278 448 476.81 62.34 7.65 1000000 0 761.06/761.37 c 301 386 473.29 69.18 6.84 1000000 0 762.36/762.62 c 231 485 472.09 62.39 7.57 1000000 0 763.55/763.87 c 297 415 480.95 61.41 7.83 1000000 0 764.85/765.12 c 286 531 470.11 76.74 6.13 1000000 0 766.06/766.37 c 305 457 473.48 57.45 8.24 1000000 0 767.35/767.61 c 312 445 471.98 62.79 7.52 1000000 0 768.56/768.86 c 291 422 470.51 64.49 7.30 1000000 0 769.85/770.11 c 314 455 471.59 59.11 7.98 1000000 0 771.05/771.35 c 273 471 468.81 59.03 7.94 1000000 0 772.25/772.59 c 293 403 467.73 64.77 7.22 1000000 0 773.55/773.84 c 276 482 490.52 68.51 7.16 1000000 0 774.75/775.09 c 287 465 478.25 69.12 6.92 1000000 0 776.05/776.34 c 241 480 476.15 65.56 7.26 1000000 0 777.25/777.59 c 325 553 478.65 63.83 7.50 1000000 0 778.56/778.84 c 270 615 479.26 70.42 6.81 1000000 0 779.75/780.09 c 275 404 471.14 69.47 6.78 1000000 0 781.05/781.33 c 294 508 467.26 64.29 7.27 1000000 0 782.25/782.58 c 290 513 481.92 70.83 6.80 1000000 0 783.55/783.83 c 300 380 477.28 68.01 7.02 1000000 0 784.75/785.07 c 258 492 462.34 65.49 7.06 1000000 0 786.05/786.32 c 297 405 473.42 56.71 8.35 1000000 0 787.25/787.57 c 316 375 479.28 61.96 7.73 1000000 0 788.55/788.82 c 292 667 480.58 67.55 7.11 1000000 0 789.75/790.07 c 267 454 468.53 69.95 6.70 1000000 0 791.05/791.31 c 319 422 475.50 74.24 6.41 1000000 0 792.25/792.56 c 296 399 477.65 62.80 7.61 1000000 0 793.54/793.81 c 281 437 470.46 63.67 7.39 1000000 0 794.74/795.06 c 290 431 466.29 65.75 7.09 1000000 0 796.05/796.31 c 295 432 466.88 66.34 7.04 1000000 0 797.26/797.56 c 331 467 482.76 60.72 7.95 1000000 0 798.55/798.80 c 312 456 471.16 52.35 9.00 1000000 0 799.75/800.06 c 310 488 474.60 67.37 7.05 1000000 0 801.05/801.30 c 326 397 483.30 67.15 7.20 1000000 0 802.25/802.55 c 266 452 463.61 69.90 6.63 1000000 0 803.55/803.80 c 254 414 462.44 57.85 7.99 1000000 0 804.75/805.04 c 271 530 469.06 70.93 6.61 1000000 0 805.96/806.29 c 285 445 477.72 62.70 7.62 1000000 0 807.25/807.54 c 303 422 471.46 62.24 7.57 1000000 0 808.45/808.78 c 300 464 468.94 73.71 6.36 1000000 0 809.75/810.03 c 303 457 473.58 71.06 6.66 1000000 0 810.95/811.28 c 298 491 474.88 67.57 7.03 1000000 0 812.25/812.53 c 298 470 479.62 67.70 7.08 1000000 0 813.45/813.78 c 272 535 477.04 68.89 6.93 1000000 0 814.75/815.03 c 275 600 478.54 58.54 8.17 1000000 0 815.95/816.27 c 268 490 473.51 71.33 6.64 1000000 0 817.25/817.52 c 285 466 461.74 67.32 6.86 1000000 0 818.45/818.77 c 303 565 475.84 69.06 6.89 1000000 0 819.75/820.01 c 272 479 469.86 63.44 7.41 1000000 0 820.95/821.26 c 283 518 468.06 59.45 7.87 1000000 0 822.24/822.51 c 272 438 462.41 61.44 7.53 1000000 0 823.44/823.76 c 309 526 472.00 58.67 8.05 1000000 0 824.75/825.01 c 285 443 471.04 68.67 6.86 1000000 0 825.94/826.26 c 263 414 474.78 72.74 6.53 1000000 0 827.24/827.50 c 304 550 468.19 68.16 6.87 1000000 0 828.44/828.75 c 297 493 477.24 64.90 7.35 1000000 0 829.74/830.00 c 275 434 472.60 66.94 7.06 1000000 0 830.94/831.24 c 299 430 476.29 60.16 7.92 1000000 0 832.14/832.49 c 293 510 474.99 59.58 7.97 1000000 0 833.45/833.74 c 254 401 466.62 76.30 6.12 1000000 0 834.65/834.99 c 299 573 471.06 66.52 7.08 1000000 0 835.94/836.23 c 314 443 476.91 59.02 8.08 1000000 0 837.14/837.48 c 300 460 475.72 51.18 9.30 1000000 0 838.44/838.73 c 299 465 466.90 64.83 7.20 1000000 0 839.64/839.98 c 308 490 464.95 69.20 6.72 1000000 0 840.94/841.22 c 255 571 459.28 70.75 6.49 1000000 0 842.14/842.47 c 327 437 474.86 67.85 7.00 1000000 0 843.45/843.71 c 300 466 464.45 56.79 8.18 1000000 0 844.64/844.96 c 314 448 475.09 57.96 8.20 1000000 0 845.94/846.20 c 272 412 461.01 72.09 6.39 1000000 0 847.14/847.45 c 306 391 475.76 64.01 7.43 1000000 0 848.44/848.70 c 307 405 478.27 62.68 7.63 1000000 0 849.64/849.95 c 271 434 471.52 67.29 7.01 1000000 0 850.94/851.20 c 308 561 477.03 59.34 8.04 1000000 0 852.14/852.45 c 291 495 474.42 62.54 7.59 1000000 0 853.43/853.70 c 307 516 480.89 68.27 7.04 1000000 0 854.63/854.94 c 316 416 470.76 57.15 8.24 1000000 0 855.83/856.19 c 283 494 469.36 62.57 7.50 1000000 0 857.13/857.44 c 264 476 467.92 68.66 6.81 1000000 0 858.33/858.69 c 288 584 469.23 59.01 7.95 1000000 0 859.63/859.93 c 298 521 477.06 58.75 8.12 1000000 0 860.83/861.18 c 285 496 474.72 64.57 7.35 1000000 0 862.14/862.43 c 298 500 477.67 70.03 6.82 1000000 0 863.33/863.68 c 298 439 476.94 79.64 5.99 1000000 0 864.63/864.93 c 283 455 459.44 70.56 6.51 1000000 0 865.83/866.18 c 301 496 483.44 73.36 6.59 1000000 0 867.13/867.42 c 289 401 461.16 59.52 7.75 1000000 0 868.33/868.66 c 281 370 461.23 66.98 6.89 1000000 0 869.63/869.91 c 289 445 477.50 66.17 7.22 1000000 0 870.83/871.16 c 239 495 478.32 83.52 5.73 1000000 0 872.13/872.41 c 297 471 467.43 58.82 7.95 1000000 0 873.33/873.65 c 293 539 470.08 69.11 6.80 1000000 0 874.63/874.90 c 274 467 477.29 77.86 6.13 1000000 0 875.82/876.15 c 277 478 473.27 63.56 7.45 1000000 0 877.13/877.40 c 300 488 468.54 61.44 7.63 1000000 0 878.32/878.65 c 304 487 479.62 71.81 6.68 1000000 0 879.52/879.89 c 309 445 470.42 63.82 7.37 1000000 0 880.83/881.14 c 291 387 479.07 64.13 7.47 1000000 0 882.02/882.39 c 296 383 476.90 65.44 7.29 1000000 0 883.32/883.63 c 274 495 461.70 71.51 6.46 1000000 0 884.52/884.88 c 298 453 468.90 70.24 6.68 1000000 0 885.82/886.13 c 300 509 478.98 70.83 6.76 1000000 0 887.02/887.37 c 298 426 459.78 58.50 7.86 1000000 0 888.32/888.62 c 300 481 477.72 58.23 8.20 1000000 0 889.53/889.87 c 239 501 469.89 65.67 7.16 1000000 0 890.82/891.11 c 252 406 473.11 76.60 6.18 1000000 0 892.02/892.37 c 295 507 477.63 69.81 6.84 1000000 0 893.32/893.61 c 302 406 466.49 68.37 6.82 1000000 0 894.52/894.86 c 274 449 464.55 66.37 7.00 1000000 0 895.82/896.10 c 301 434 455.92 59.85 7.62 1000000 0 897.02/897.35 c 290 395 483.63 62.84 7.70 1000000 0 898.32/898.60 c 282 514 476.91 61.94 7.70 1000000 0 899.52/899.85 c 295 555 468.38 58.71 7.98 1000000 0 900.72/901.09 c 298 500 461.25 63.97 7.21 1000000 0 902.02/902.34 c 269 420 477.79 69.26 6.90 1000000 0 903.22/903.59 c 302 541 475.30 65.85 7.22 1000000 0 904.51/904.84 c 275 432 470.28 63.64 7.39 1000000 0 905.71/906.09 c 284 350 477.30 72.82 6.55 1000000 0 907.01/907.34 c 292 377 480.66 75.44 6.37 1000000 0 908.22/908.59 c 300 449 480.23 66.24 7.25 1000000 0 909.51/909.83 c 294 404 477.49 65.24 7.32 1000000 0 910.71/911.08 c 305 393 478.08 68.88 6.94 1000000 0 912.01/912.33 c 303 401 483.30 67.48 7.16 1000000 0 913.21/913.58 c 301 551 477.87 60.95 7.84 1000000 0 914.51/914.82 c 292 432 472.35 63.87 7.40 1000000 0 915.71/916.07 c 271 506 473.47 65.09 7.27 1000000 0 917.02/917.32 c 310 560 477.48 61.94 7.71 1000000 0 918.22/918.57 c 283 440 474.36 68.05 6.97 1000000 0 919.51/919.81 c 280 536 478.45 65.83 7.27 1000000 0 920.71/921.06 c 290 424 461.69 64.27 7.18 1000000 0 922.01/922.31 c 319 540 487.90 64.12 7.61 1000000 0 923.21/923.56 c 300 387 473.14 77.81 6.08 1000000 0 924.50/924.81 c 268 497 468.68 68.61 6.83 1000000 0 925.70/926.07 c 278 453 477.03 68.92 6.92 1000000 0 927.01/927.31 c 285 393 464.92 64.61 7.20 1000000 0 928.20/928.56 c 278 515 478.56 61.58 7.77 1000000 0 929.50/929.81 c 298 463 473.87 61.49 7.71 1000000 0 930.70/931.05 c 270 487 460.72 64.22 7.17 1000000 0 932.00/932.30 c 300 521 470.19 59.42 7.91 1000000 0 933.20/933.55 c 254 495 478.32 74.04 6.46 1000000 0 934.40/934.80 c 309 423 471.06 56.77 8.30 1000000 0 935.72/936.04 c 269 450 474.31 63.02 7.53 1000000 0 936.92/937.28 c 268 471 457.29 63.14 7.24 1000000 0 938.21/938.53 c 301 573 479.75 65.02 7.38 1000000 0 939.41/939.77 c 297 513 469.11 65.29 7.18 1000000 0 940.71/941.02 c 242 522 464.50 67.00 6.93 1000000 0 941.91/942.27 c 291 463 480.72 74.91 6.42 1000000 0 943.21/943.52 c 298 408 470.76 72.41 6.50 1000000 0 944.41/944.76 c 297 470 464.02 62.75 7.39 1000000 0 945.71/946.01 c 260 528 455.33 65.19 6.98 1000000 0 946.91/947.25 c 282 473 476.02 65.30 7.29 1000000 0 948.20/948.50 c 270 516 471.35 71.59 6.58 1000000 0 949.40/949.74 c 296 381 470.30 58.83 7.99 1000000 0 950.70/951.00 c 306 413 481.28 62.84 7.66 1000000 0 951.90/952.24 c 285 442 473.13 69.06 6.85 1000000 0 953.10/953.49 c 314 486 466.09 62.34 7.48 1000000 0 954.41/954.73 c 279 553 465.16 68.43 6.80 1000000 0 955.61/955.98 c 278 466 467.43 60.28 7.75 1000000 0 956.90/957.22 c 301 413 479.88 63.44 7.56 1000000 0 958.10/958.47 c 262 516 468.71 58.96 7.95 1000000 0 959.40/959.71 c 296 457 481.85 58.50 8.24 1000000 0 960.60/960.96 c 285 492 479.55 65.75 7.29 1000000 0 961.90/962.21 c 272 506 475.25 61.44 7.74 1000000 0 963.10/963.46 c 280 410 484.56 75.61 6.41 1000000 0 964.40/964.71 c 296 570 474.38 70.29 6.75 1000000 0 965.60/965.96 c 294 480 468.81 64.43 7.28 1000000 0 966.90/967.21 c 270 523 471.64 69.58 6.78 1000000 0 968.09/968.45 c 297 392 467.53 67.84 6.89 1000000 0 969.39/969.70 c 211 491 459.12 66.85 6.87 1000000 0 970.59/970.94 c 269 458 475.32 64.70 7.35 1000000 0 971.80/972.19 c 267 540 466.87 78.01 5.98 1000000 0 973.10/973.44 c 314 469 484.77 71.37 6.79 1000000 0 974.30/974.68 c 252 435 468.21 64.28 7.28 1000000 0 975.59/975.93 c 333 381 493.79 64.78 7.62 1000000 0 976.79/977.18 c 284 371 466.65 67.18 6.95 1000000 0 978.09/978.43 c 320 499 482.39 59.67 8.08 1000000 0 979.29/979.68 c 272 479 469.51 61.82 7.59 1000000 0 980.59/980.93 c 313 572 475.89 59.30 8.03 1000000 0 981.79/982.18 c 309 542 471.22 54.86 8.59 1000000 0 983.10/983.42 c 307 464 463.49 62.02 7.47 1000000 0 984.29/984.67 c 303 504 472.85 66.65 7.09 1000000 0 985.59/985.92 c 275 529 470.49 66.61 7.06 1000000 0 986.79/987.16 c 246 449 464.50 69.29 6.70 1000000 0 988.09/988.41 c 301 496 469.77 61.41 7.65 1000000 0 989.29/989.66 c 294 426 467.25 66.86 6.99 1000000 0 990.59/990.90 c 288 418 465.51 64.17 7.25 1000000 0 991.79/992.15 c 311 459 482.46 63.16 7.64 1000000 0 993.09/993.40 c 310 413 472.80 67.07 7.05 1000000 0 994.29/994.64 c 290 581 472.87 60.25 7.85 1000000 0 995.49/995.89 c 268 463 476.13 68.84 6.92 1000000 0 996.79/997.14 c 290 545 476.73 58.57 8.14 1000000 0 997.98/998.39 c 321 349 477.10 55.10 8.66 1000000 0 999.28/999.64 c 267 496 468.90 70.45 6.66 1000000 0 1000.48/1000.89 c 280 440 476.35 65.20 7.31 1000000 0 1001.79/1002.13 c 244 518 466.64 70.60 6.61 1000000 0 1002.98/1003.38 c 300 534 475.95 62.14 7.66 1000000 0 1004.28/1004.63 c 301 412 481.94 65.64 7.34 1000000 0 1005.48/1005.88 c 243 571 460.31 65.49 7.03 1000000 0 1006.78/1007.13 c 300 503 483.36 70.29 6.88 1000000 0 1007.98/1008.37 c 287 486 465.81 66.67 6.99 1000000 0 1009.28/1009.62 c 264 517 467.37 68.67 6.81 1000000 0 1010.49/1010.86 c 267 388 459.11 66.80 6.87 1000000 0 1011.78/1012.11 c 266 468 461.26 66.65 6.92 1000000 0 1012.98/1013.36 c 284 535 476.05 69.11 6.89 1000000 0 1014.28/1014.61 c 282 597 481.60 68.45 7.04 1000000 0 1015.48/1015.87 c 273 489 484.35 76.03 6.37 1000000 0 1016.78/1017.11 c 288 490 469.99 72.16 6.51 1000000 0 1017.98/1018.35 c 285 466 461.82 60.47 7.64 1000000 0 1019.29/1019.60 c 317 514 483.34 61.79 7.82 1000000 0 1020.49/1020.85 c 306 491 477.06 58.59 8.14 1000000 0 1021.78/1022.10 c 272 476 467.91 73.43 6.37 1000000 0 1022.98/1023.34 c 297 561 469.04 59.28 7.91 1000000 0 1024.18/1024.59 c 305 362 463.48 62.76 7.39 1000000 0 1025.47/1025.84 c 278 487 461.94 66.53 6.94 1000000 0 1026.67/1027.09 c 269 537 469.24 66.78 7.03 1000000 0 1027.97/1028.34 c 308 410 476.52 73.85 6.45 1000000 0 1029.18/1029.59 c 304 511 470.18 64.61 7.28 1000000 0 1030.47/1030.84 c 306 389 482.26 63.51 7.59 1000000 0 1031.67/1032.08 c 221 492 471.34 62.55 7.53 1000000 0 1032.97/1033.33 c 313 496 479.00 58.81 8.14 1000000 0 1034.17/1034.57 c 291 354 473.47 66.19 7.15 1000000 0 1035.47/1035.82 c 244 468 463.23 68.55 6.76 1000000 0 1036.67/1037.07 c 258 437 468.16 60.27 7.77 1000000 0 1037.98/1038.31 c 314 491 477.66 61.35 7.79 1000000 0 1039.18/1039.56 c 293 370 480.31 72.44 6.63 1000000 0 1040.47/1040.81 c 294 438 476.64 65.56 7.27 1000000 0 1041.67/1042.05 c 288 489 462.16 60.22 7.67 1000000 0 1042.97/1043.30 c 289 498 468.21 65.57 7.14 1000000 0 1044.17/1044.55 c 307 415 476.64 65.28 7.30 1000000 0 1045.47/1045.80 c 273 534 473.17 60.47 7.82 1000000 0 1046.67/1047.05 c 308 519 469.54 62.40 7.52 1000000 0 1047.87/1048.29 c 297 507 478.68 65.16 7.35 1000000 0 1049.17/1049.54 c 280 520 469.53 62.49 7.51 1000000 0 1050.37/1050.79 c 293 398 471.09 76.30 6.17 1000000 0 1051.67/1052.03 c 256 458 466.80 65.61 7.11 1000000 0 1052.87/1053.28 c 281 503 474.92 66.15 7.18 1000000 0 1054.17/1054.53 c 289 493 457.66 61.06 7.49 1000000 0 1055.37/1055.77 c 302 508 472.34 72.88 6.48 1000000 0 1056.68/1057.02 c 290 485 475.81 64.43 7.38 1000000 0 1057.88/1058.26 c 312 468 478.00 60.21 7.94 1000000 0 1059.17/1059.51 c 272 496 480.24 71.36 6.73 1000000 0 1060.37/1060.76 c 293 479 483.87 72.99 6.63 1000000 0 1061.67/1062.01 c 318 436 480.54 60.43 7.95 1000000 0 1062.87/1063.26 c 267 477 474.37 63.29 7.50 1000000 0 1064.17/1064.50 c 248 489 465.58 58.13 8.01 1000000 0 1065.37/1065.75 c 297 440 471.18 63.17 7.46 1000000 0 1066.58/1067.00 c 291 477 476.61 65.15 7.32 1000000 0 1067.87/1068.25 c 319 403 477.40 65.84 7.25 1000000 0 1069.07/1069.49 c 306 509 465.03 64.58 7.20 1000000 0 1070.37/1070.74 c 290 481 469.50 70.45 6.66 1000000 0 1071.57/1071.99 c 297 554 476.83 68.64 6.95 1000000 0 1072.87/1073.24 c 291 545 476.63 58.63 8.13 1000000 0 1074.07/1074.49 c 296 451 480.60 59.29 8.11 1000000 0 1075.37/1075.74 c 268 524 471.48 70.44 6.69 1000000 0 1076.57/1076.99 c 310 415 484.71 55.60 8.72 1000000 0 1077.87/1078.24 c 313 523 480.85 63.95 7.52 1000000 0 1079.07/1079.49 c 265 468 473.74 66.14 7.16 1000000 0 1080.37/1080.74 c 328 501 484.70 62.69 7.73 1000000 0 1081.57/1081.99 c 292 445 477.67 66.80 7.15 1000000 0 1082.87/1083.23 c 311 447 482.22 70.95 6.80 1000000 0 1084.06/1084.48 c 277 387 475.77 67.34 7.07 1000000 0 1085.37/1085.73 c 292 514 475.38 66.40 7.16 1000000 0 1086.56/1086.97 c 299 440 475.60 61.54 7.73 1000000 0 1087.86/1088.22 c 284 551 478.78 62.82 7.62 1000000 0 1089.06/1089.47 c 300 454 473.95 73.96 6.41 1000000 0 1090.36/1090.72 c 298 490 471.79 64.28 7.34 1000000 0 1091.56/1091.97 c 282 498 472.98 66.19 7.15 1000000 0 1092.86/1093.22 c 271 451 469.82 68.98 6.81 1000000 0 1094.07/1094.47 c 311 332 484.36 64.68 7.49 1000000 0 1095.36/1095.72 c 297 449 476.70 69.27 6.88 1000000 0 1096.56/1096.97 c 309 404 488.55 62.89 7.77 1000000 0 1097.86/1098.22 c 291 495 481.79 63.25 7.62 1000000 0 1099.06/1099.47 c 315 472 484.51 69.16 7.01 1000000 0 1100.36/1100.72 c 263 490 475.48 69.15 6.88 1000000 0 1101.56/1101.97 c 299 522 479.92 56.71 8.46 1000000 0 1102.86/1103.21 c 243 444 471.83 70.98 6.65 1000000 0 1104.06/1104.46 c 312 433 477.61 61.92 7.71 1000000 0 1105.35/1105.71 c 297 461 483.92 69.44 6.97 1000000 0 1106.55/1106.96 c 284 568 471.13 63.64 7.40 1000000 0 1107.86/1108.21 c 282 436 463.56 61.04 7.59 1000000 0 1109.05/1109.46 c 247 490 478.87 66.59 7.19 1000000 0 1110.35/1110.70 c 302 458 469.41 59.80 7.85 1000000 0 1111.55/1111.94 c 275 502 463.64 69.86 6.64 1000000 0 1112.76/1113.19 c 310 489 482.52 66.89 7.21 1000000 0 1114.05/1114.44 c 308 431 474.26 62.39 7.60 1000000 0 1115.25/1115.69 c 309 417 477.67 68.75 6.95 1000000 0 1116.55/1116.94 c 314 480 474.29 62.16 7.63 1000000 0 1117.75/1118.18 c 303 431 479.07 68.36 7.01 1000000 0 1119.05/1119.43 c 305 471 470.83 59.35 7.93 1000000 0 1120.25/1120.68 c 290 397 467.06 61.40 7.61 1000000 0 1121.56/1121.93 c 260 342 474.08 69.02 6.87 1000000 0 1122.76/1123.17 c 323 440 475.10 59.76 7.95 1000000 0 1124.05/1124.42 c 285 418 461.80 61.14 7.55 1000000 0 1125.25/1125.67 c 311 385 477.70 56.51 8.45 1000000 0 1126.55/1126.91 c 281 466 469.64 60.11 7.81 1000000 0 1127.75/1128.16 c 276 477 477.54 64.42 7.41 1000000 0 1129.05/1129.41 c 291 491 468.65 66.40 7.06 1000000 0 1130.25/1130.66 c 275 448 474.23 70.93 6.69 1000000 0 1131.55/1131.91 c 240 574 475.71 64.63 7.36 1000000 0 1132.75/1133.15 c 307 429 461.99 61.11 7.56 1000000 0 1134.05/1134.40 c 301 481 471.41 66.41 7.10 1000000 0 1135.24/1135.65 c 255 514 467.93 65.54 7.14 1000000 0 1136.44/1136.89 c 280 543 472.96 63.33 7.47 1000000 0 1137.74/1138.14 c 308 480 477.60 58.74 8.13 1000000 0 1138.94/1139.38 c 286 443 462.90 67.37 6.87 1000000 0 1140.25/1140.63 c 279 416 466.08 60.93 7.65 1000000 0 1141.45/1141.88 c 286 503 481.74 60.24 8.00 1000000 0 1142.74/1143.13 c 302 458 481.97 65.91 7.31 1000000 0 1143.94/1144.38 c 256 491 480.14 69.99 6.86 1000000 0 1145.24/1145.63 c 252 531 467.05 68.54 6.81 1000000 0 1146.44/1146.88 c 305 476 472.38 62.96 7.50 1000000 0 1147.74/1148.12 c 296 523 481.26 58.13 8.28 1000000 0 1148.94/1149.37 c 289 484 471.14 60.22 7.82 1000000 0 1150.25/1150.62 c 289 460 476.27 67.76 7.03 1000000 0 1151.44/1151.86 c 297 483 479.25 66.20 7.24 1000000 0 1152.74/1153.11 c 287 419 474.85 70.46 6.74 1000000 0 1153.94/1154.36 c 283 436 473.68 72.29 6.55 1000000 0 1155.23/1155.61 c 303 482 481.13 63.09 7.63 1000000 0 1156.43/1156.86 c 255 462 451.38 66.90 6.75 1000000 0 1157.73/1158.10 c 277 437 468.28 70.26 6.67 1000000 0 1158.94/1159.36 c 288 642 473.62 76.32 6.21 1000000 0 1160.23/1160.61 c 308 437 480.76 62.10 7.74 1000000 0 1161.43/1161.85 c 309 488 461.08 61.16 7.54 1000000 0 1162.63/1163.09 c 282 401 465.00 60.91 7.63 1000000 0 1163.93/1164.34 c 298 510 471.54 68.42 6.89 1000000 0 1165.13/1165.59 c 262 377 478.35 74.74 6.40 1000000 0 1166.43/1166.85 c 312 506 491.77 69.84 7.04 1000000 0 1167.63/1168.10 c 309 617 480.57 76.97 6.24 1000000 0 1168.94/1169.34 c 306 536 471.57 56.35 8.37 1000000 0 1170.13/1170.59 c 294 436 470.67 68.61 6.86 1000000 0 1171.43/1171.84 c 260 444 468.95 74.08 6.33 1000000 0 1172.63/1173.09 c 300 449 479.51 62.38 7.69 1000000 0 1173.93/1174.34 c 282 487 478.04 73.75 6.48 1000000 0 1175.13/1175.59 c 318 395 480.43 67.23 7.15 1000000 0 1176.43/1176.83 c 288 423 457.07 57.96 7.89 1000000 0 1177.63/1178.08 c 308 498 480.58 64.37 7.47 1000000 0 1178.93/1179.32 c 260 489 469.92 71.09 6.61 1000000 0 1180.13/1180.57 c 261 328 488.82 58.63 8.34 1000000 0 1181.43/1181.82 c 287 554 466.85 61.87 7.54 1000000 0 1182.63/1183.07 c 286 559 483.37 63.02 7.67 1000000 0 1183.93/1184.32 c 285 399 470.85 66.12 7.12 1000000 0 1185.13/1185.57 c 322 437 474.96 60.70 7.83 1000000 0 1186.44/1186.82 c 309 608 473.40 62.39 7.59 1000000 0 1187.64/1188.07 c 287 515 477.46 80.71 5.92 1000000 0 1188.93/1189.32 c 268 455 474.05 63.37 7.48 1000000 0 1190.13/1190.56 c 310 368 476.56 51.01 9.34 1000000 0 1191.43/1191.80 c 289 469 461.30 58.86 7.84 1000000 0 1192.63/1193.05 c 310 525 486.94 68.94 7.06 1000000 0 1193.93/1194.30 c 299 439 479.99 68.18 7.04 1000000 0 1195.13/1195.55 c 270 552 465.89 76.16 6.12 1000000 0 1196.34/1196.80 c 281 405 479.18 67.45 7.10 1000000 0 1197.63/1198.05 c 304 467 475.96 66.27 7.18 1000000 0 1198.93/1199.30 c 291 497 480.52 70.09 6.86 1000000 0 1200.13/1200.55 c 217 348 475.41 73.23 6.49 1000000 0 1201.43/1201.80 c 307 500 480.17 65.47 7.33 1000000 0 1202.63/1203.05 c 301 381 475.69 65.74 7.24 1000000 0 1203.83/1204.29 c 286 402 467.49 62.64 7.46 1000000 0 1205.13/1205.55 c 293 429 477.59 67.19 7.11 1000000 0 1206.33/1206.79 c 293 565 465.10 58.85 7.90 1000000 0 1207.62/1208.04 c 285 474 480.35 60.09 7.99 1000000 0 1208.82/1209.29 c 271 504 469.24 66.08 7.10 1000000 0 1210.12/1210.54 c 311 454 475.34 61.92 7.68 1000000 0 1211.32/1211.78 c 299 441 461.80 66.38 6.96 1000000 0 1212.62/1213.03 c 280 473 477.79 56.83 8.41 1000000 0 1213.82/1214.28 c 297 479 472.22 71.33 6.62 1000000 0 1215.13/1215.52 c 292 427 465.01 56.22 8.27 1000000 0 1216.32/1216.77 c 291 453 473.78 60.57 7.82 1000000 0 1217.62/1218.02 c 269 430 472.32 65.53 7.21 1000000 0 1218.82/1219.27 c 290 430 473.94 66.54 7.12 1000000 0 1220.12/1220.52 c 301 507 467.37 60.25 7.76 1000000 0 1221.32/1221.77 c 301 524 479.30 69.87 6.86 1000000 0 1222.62/1223.01 c 274 537 456.95 58.91 7.76 1000000 0 1223.82/1224.26 c 282 443 472.29 60.25 7.84 1000000 0 1225.12/1225.51 c 294 550 466.50 57.75 8.08 1000000 0 1226.32/1226.75 c 305 420 468.72 62.12 7.55 1000000 0 1227.62/1228.00 c 322 405 489.57 63.07 7.76 1000000 0 1228.82/1229.25 c 296 456 473.60 63.09 7.51 1000000 0 1230.12/1230.50 c 290 570 474.27 60.37 7.86 1000000 0 1231.31/1231.76 c 246 453 483.31 66.72 7.24 1000000 0 1232.62/1233.00 c 312 468 470.72 60.90 7.73 1000000 0 1233.82/1234.25 c 303 498 478.95 61.41 7.80 1000000 0 1235.11/1235.50 c 302 444 470.65 66.09 7.12 1000000 0 1236.31/1236.74 c 268 375 453.40 65.52 6.92 1000000 0 1237.51/1237.99 c 304 417 485.70 72.32 6.72 1000000 0 1238.81/1239.24 c 274 396 466.34 64.98 7.18 1000000 0 1240.01/1240.49 c 303 448 469.65 72.36 6.49 1000000 0 1241.31/1241.74 c 290 510 468.65 63.15 7.42 1000000 0 1242.52/1242.99 c 288 420 474.35 65.50 7.24 1000000 0 1243.81/1244.24 c 289 396 481.14 70.10 6.86 1000000 0 1245.01/1245.49 c 306 492 478.62 68.18 7.02 1000000 0 1246.31/1246.74 c 314 463 478.14 70.52 6.78 1000000 0 1247.51/1247.98 c 270 507 472.02 66.31 7.12 1000000 0 1248.81/1249.23 c 282 557 459.09 60.65 7.57 1000000 0 1250.01/1250.48 c 283 367 468.37 63.22 7.41 1000000 0 1251.32/1251.73 c 281 501 479.87 76.30 6.29 1000000 0 1252.52/1252.97 c 247 573 467.18 80.22 5.82 1000000 0 1253.81/1254.22 c 314 529 483.32 60.97 7.93 1000000 0 1255.01/1255.47 c 289 508 483.78 61.66 7.85 1000000 0 1256.31/1256.72 c 284 456 475.97 70.40 6.76 1000000 0 1257.51/1257.97 c 291 463 473.39 64.82 7.30 1000000 0 1258.81/1259.21 c 281 435 467.55 65.35 7.15 1000000 0 1260.01/1260.46 c 300 305 467.31 65.87 7.09 1000000 0 1261.21/1261.70 c 300 501 470.69 64.63 7.28 1000000 0 1262.51/1262.95 c 294 561 478.32 72.29 6.62 1000000 0 1263.80/1264.20 c 301 417 486.51 65.03 7.48 1000000 0 1265.00/1265.45 c 289 572 469.53 54.76 8.57 1000000 0 1266.30/1266.70 c 289 431 479.18 68.01 7.05 1000000 0 1267.50/1267.95 c 316 521 480.20 68.17 7.04 1000000 0 1268.80/1269.20 c 314 422 483.77 65.28 7.41 1000000 0 1270.01/1270.45 c 305 545 465.62 62.70 7.43 1000000 0 1271.21/1271.70 c 294 488 465.83 66.99 6.95 1000000 0 1272.50/1272.94 c 310 483 459.65 63.30 7.26 1000000 0 1273.70/1274.19 c 318 409 482.25 61.51 7.84 1000000 0 1275.00/1275.44 c 285 484 483.70 66.84 7.24 1000000 0 1276.20/1276.68 c 297 446 469.04 64.77 7.24 1000000 0 1277.50/1277.93 c 280 466 472.05 74.07 6.37 1000000 0 1278.70/1279.18 c 276 459 470.57 69.79 6.74 1000000 0 1280.01/1280.42 c 284 523 462.52 61.62 7.51 1000000 0 1281.20/1281.67 c 307 440 482.06 67.05 7.19 1000000 0 1282.50/1282.92 c 320 456 471.59 67.12 7.03 1000000 0 1283.69/1284.16 c 273 506 470.88 68.51 6.87 1000000 0 1284.99/1285.41 c 283 496 467.11 63.19 7.39 1000000 0 1286.19/1286.66 c 302 435 474.88 67.89 6.99 1000000 0 1287.49/1287.91 c 319 536 480.50 58.30 8.24 1000000 0 1288.70/1289.16 c 274 449 474.44 73.67 6.44 1000000 0 1289.99/1290.40 c 284 464 463.96 61.76 7.51 1000000 0 1291.19/1291.65 c 266 450 472.68 64.53 7.33 1000000 0 1292.39/1292.89 c 299 461 471.40 70.37 6.70 1000000 0 1293.69/1294.14 c 300 406 473.32 67.83 6.98 1000000 0 1294.89/1295.39 c 257 447 476.48 61.94 7.69 1000000 0 1296.19/1296.64 c 299 484 470.73 60.42 7.79 1000000 0 1297.39/1297.89 c 296 455 474.56 69.97 6.78 1000000 0 1298.70/1299.14 c 305 429 482.19 76.20 6.33 1000000 0 1299.89/1300.39 c 277 542 476.08 66.16 7.20 1000000 0 1301.19/1301.64 c 336 498 486.04 60.52 8.03 1000000 0 1302.40/1302.89 c 286 404 470.12 65.27 7.20 1000000 0 1303.70/1304.14 c 303 443 468.79 62.08 7.55 1000000 0 1304.90/1305.39 c 275 480 481.53 69.67 6.91 1000000 0 1306.19/1306.63 c 289 583 469.25 57.55 8.15 1000000 0 1307.40/1307.88 c 278 481 479.52 67.90 7.06 1000000 0 1308.69/1309.13 c 299 370 471.12 67.72 6.96 1000000 0 1309.89/1310.39 c 274 516 462.76 62.33 7.42 1000000 0 1311.19/1311.63 c 290 440 464.91 68.60 6.78 1000000 0 1312.39/1312.88 c 302 459 467.59 69.50 6.73 1000000 0 1313.69/1314.13 c 274 513 465.69 71.82 6.48 1000000 0 1314.89/1315.37 c 313 507 476.69 59.25 8.04 1000000 0 1316.20/1316.62 c 281 464 466.27 62.21 7.50 1000000 0 1317.40/1317.87 c 281 381 492.35 67.85 7.26 1000000 0 1318.69/1319.12 c 311 427 485.54 59.98 8.09 1000000 0 1319.89/1320.37 c 307 428 474.68 58.44 8.12 1000000 0 1321.19/1321.61 c 296 512 478.78 69.62 6.88 1000000 0 1322.39/1322.86 c 298 389 472.11 68.40 6.90 1000000 0 1323.69/1324.11 c 306 568 475.83 65.62 7.25 1000000 0 1324.89/1325.36 c 292 370 463.81 64.88 7.15 1000000 0 1326.09/1326.60 c 296 455 470.41 65.51 7.18 1000000 0 1327.39/1327.85 c 277 335 472.90 58.28 8.11 1000000 0 1328.69/1329.10 c 289 519 479.63 78.74 6.09 1000000 0 1329.89/1330.34 c 292 446 464.92 64.89 7.16 1000000 0 1331.09/1331.59 c 295 420 482.38 65.67 7.35 1000000 0 1332.39/1332.83 c 283 325 475.77 65.55 7.26 1000000 0 1333.59/1334.08 c 292 469 464.88 69.05 6.73 1000000 0 1334.89/1335.33 c 294 507 470.38 59.71 7.88 1000000 0 1336.09/1336.57 c 248 420 472.03 68.81 6.86 1000000 0 1337.38/1337.82 c 306 568 476.92 66.79 7.14 1000000 0 1338.58/1339.07 c 307 528 472.76 56.06 8.43 1000000 0 1339.88/1340.32 c 316 458 479.50 62.07 7.73 1000000 0 1341.08/1341.57 c 261 453 468.55 67.01 6.99 1000000 0 1342.38/1342.82 c 311 405 486.71 70.48 6.91 1000000 0 1343.58/1344.07 c 265 594 473.48 65.39 7.24 1000000 0 1344.89/1345.32 c 288 385 464.83 60.90 7.63 1000000 0 1346.08/1346.56 c 282 452 470.21 62.97 7.47 1000000 0 1347.38/1347.81 c 280 455 470.43 65.43 7.19 1000000 0 1348.58/1349.05 c 282 560 471.89 63.07 7.48 1000000 0 1349.88/1350.30 c 249 495 472.00 71.19 6.63 1000000 0 1351.08/1351.55 c 302 551 477.60 67.06 7.12 1000000 0 1352.28/1352.80 c 299 499 471.36 68.47 6.88 1000000 0 1353.59/1354.04 c 281 429 472.31 74.78 6.32 1000000 0 1354.79/1355.28 c 275 529 463.33 69.03 6.71 1000000 0 1356.08/1356.53 c 267 432 472.01 63.22 7.47 1000000 0 1357.28/1357.77 c 294 572 469.66 65.13 7.21 1000000 0 1358.58/1359.03 c 312 419 479.96 63.31 7.58 1000000 0 1359.78/1360.27 c 304 385 474.14 69.93 6.78 1000000 0 1361.08/1361.52 c 291 478 463.90 63.59 7.30 1000000 0 1362.27/1362.77 c 254 449 474.21 65.30 7.26 1000000 0 1363.58/1364.02 c 285 497 480.07 64.56 7.44 1000000 0 1364.78/1365.27 c 288 512 467.48 68.06 6.87 1000000 0 1366.07/1366.51 c 306 517 473.67 61.88 7.66 1000000 0 1367.27/1367.76 c 295 351 471.58 63.35 7.44 1000000 0 1368.57/1369.00 c 303 502 461.05 66.41 6.94 1000000 0 1369.77/1370.26 c 282 490 470.01 67.58 6.96 1000000 0 1371.07/1371.50 c 280 520 473.47 58.02 8.16 1000000 0 1372.28/1372.75 c 305 454 469.21 61.67 7.61 1000000 0 1373.57/1374.00 c 282 487 477.43 65.44 7.30 1000000 0 1374.77/1375.24 c 294 588 460.11 61.19 7.52 1000000 0 1375.97/1376.49 c 275 474 468.15 57.99 8.07 1000000 0 1377.27/1377.74 c 325 493 476.06 58.71 8.11 1000000 0 1378.47/1378.99 c 291 495 469.50 62.92 7.46 1000000 0 1379.77/1380.24 c 302 466 470.59 67.23 7.00 1000000 0 1380.97/1381.48 c 268 514 475.75 73.14 6.50 1000000 0 1382.28/1382.73 c 285 465 476.51 71.12 6.70 1000000 0 1383.47/1383.98 c 305 451 480.62 62.34 7.71 1000000 0 1384.76/1385.23 c 293 413 476.94 69.32 6.88 1000000 0 1385.96/1386.48 c 312 488 478.38 68.40 6.99 1000000 0 1387.26/1387.73 c 327 440 489.62 60.93 8.04 1000000 0 1388.46/1388.99 c 285 503 476.37 63.87 7.46 1000000 0 1389.76/1390.24 c 280 467 481.60 74.75 6.44 1000000 0 1390.97/1391.48 c 290 485 461.35 76.17 6.06 1000000 0 1392.26/1392.73 c 267 384 460.94 65.70 7.02 1000000 0 1393.46/1393.98 c 317 395 496.33 62.63 7.92 1000000 0 1394.76/1395.23 c 279 437 475.92 79.33 6.00 1000000 0 1395.96/1396.48 c 283 408 472.77 71.70 6.59 1000000 0 1397.26/1397.73 c 263 460 470.66 69.32 6.79 1000000 0 1398.46/1398.97 c 292 455 469.23 70.46 6.66 1000000 0 1399.78/1400.22 c 279 448 478.73 60.42 7.92 1000000 0 1400.98/1401.47 c 299 428 474.07 66.45 7.13 1000000 0 1402.27/1402.72 c 295 493 483.33 57.86 8.35 1000000 0 1403.47/1403.96 c 313 416 460.02 56.92 8.08 1000000 0 1404.77/1405.21 c 308 433 482.69 57.65 8.37 1000000 0 1405.97/1406.46 c 287 511 471.93 73.06 6.46 1000000 0 1407.27/1407.71 c 306 469 480.26 70.81 6.78 1000000 0 1408.47/1408.95 c 253 450 462.87 67.03 6.91 1000000 0 1409.67/1410.20 c 262 438 479.46 69.34 6.91 1000000 0 1410.97/1411.45 c 317 536 480.25 68.93 6.97 1000000 0 1412.17/1412.69 c 281 438 469.96 67.78 6.93 1000000 0 1413.47/1413.94 c 313 427 473.64 62.04 7.63 1000000 0 1414.66/1415.19 c 269 443 472.66 78.02 6.06 1000000 0 1415.96/1416.44 c 281 414 481.83 63.26 7.62 1000000 0 1417.16/1417.68 c 262 404 464.80 74.92 6.20 1000000 0 1418.47/1418.93 c 288 599 470.04 69.82 6.73 1000000 0 1419.67/1420.18 c 295 512 469.17 62.71 7.48 1000000 0 1420.96/1421.43 c 269 428 478.86 53.56 8.94 1000000 0 1422.16/1422.68 c 293 500 474.31 60.82 7.80 1000000 0 1423.46/1423.93 c 294 391 472.65 62.99 7.50 1000000 0 1424.66/1425.18 c 332 431 492.35 60.98 8.07 1000000 0 1425.96/1426.43 c 306 474 479.00 59.80 8.01 1000000 0 1427.16/1427.67 c 284 473 483.22 59.36 8.14 1000000 0 1428.46/1428.92 c 289 538 477.39 62.62 7.62 1000000 0 1429.66/1430.17 c 248 370 486.49 68.83 7.07 1000000 0 1430.96/1431.43 c 307 491 477.12 71.87 6.64 1000000 0 1432.16/1432.67 c 264 385 465.99 62.01 7.51 1000000 0 1433.46/1433.91 c 306 467 466.05 59.32 7.86 1000000 0 1434.65/1435.16 c 292 508 474.82 62.90 7.55 1000000 0 1435.95/1436.41 c 288 434 479.78 70.22 6.83 1000000 0 1437.16/1437.66 c 251 504 468.34 64.46 7.27 1000000 0 1438.45/1438.90 c 286 429 459.24 61.04 7.52 1000000 0 1439.65/1440.15 c 288 431 473.49 63.86 7.41 1000000 0 1440.95/1441.40 c 263 430 464.19 57.34 8.10 1000000 0 1442.15/1442.64 c 267 557 459.18 57.92 7.93 1000000 0 1443.35/1443.89 c 326 489 482.79 64.55 7.48 1000000 0 1444.65/1445.14 c 309 497 473.95 69.06 6.86 1000000 0 1445.85/1446.39 c 300 521 473.95 64.36 7.36 1000000 0 1447.16/1447.64 c 288 461 468.46 64.47 7.27 1000000 0 1448.35/1448.88 c 272 388 457.51 67.35 6.79 1000000 0 1449.65/1450.13 c 275 404 458.62 67.35 6.81 1000000 0 1450.85/1451.37 c 267 441 468.66 68.69 6.82 1000000 0 1452.15/1452.62 c 300 456 467.80 68.17 6.86 1000000 0 1453.35/1453.87 c 297 559 471.42 58.76 8.02 1000000 0 1454.65/1455.12 c 299 462 465.87 67.67 6.88 1000000 0 1455.85/1456.37 c 291 552 474.56 68.57 6.92 1000000 0 1457.15/1457.62 c 305 495 475.08 77.57 6.12 1000000 0 1458.35/1458.86 c 261 509 466.89 65.69 7.11 1000000 0 1459.65/1460.11 c 285 404 474.20 74.12 6.40 1000000 0 1460.85/1461.36 c 311 430 469.23 72.06 6.51 1000000 0 1462.15/1462.60 c 280 422 466.13 60.64 7.69 1000000 0 1463.34/1463.85 c 288 475 475.11 67.04 7.09 1000000 0 1464.65/1465.11 c 291 429 483.83 69.60 6.95 1000000 0 1465.85/1466.36 c 305 470 472.32 63.24 7.47 1000000 0 1467.14/1467.61 c 323 451 465.35 62.24 7.48 1000000 0 1468.34/1468.86 c 292 551 472.13 68.33 6.91 1000000 0 1469.64/1470.10 c 270 490 473.70 74.93 6.32 1000000 0 1470.84/1471.35 c 307 509 478.50 58.47 8.18 1000000 0 1472.14/1472.60 c 307 548 475.81 65.66 7.25 1000000 0 1473.34/1473.85 c 279 498 475.09 65.75 7.23 1000000 0 1474.55/1475.09 c 279 446 472.55 62.20 7.60 1000000 0 1475.84/1476.35 c 298 429 478.71 60.48 7.91 1000000 0 1477.14/1477.60 c 286 463 475.13 66.00 7.20 1000000 0 1478.34/1478.84 c 286 494 472.28 65.15 7.25 1000000 0 1479.64/1480.10 c 284 397 479.27 68.25 7.02 1000000 0 1480.84/1481.35 c 295 482 473.04 66.41 7.12 1000000 0 1482.14/1482.60 c 279 487 470.58 66.31 7.10 1000000 0 1483.35/1483.85 c 308 416 478.33 66.77 7.16 1000000 0 1484.64/1485.10 c 302 460 472.29 63.56 7.43 1000000 0 1485.84/1486.35 c 247 482 468.26 76.36 6.13 1000000 0 1487.04/1487.59 c 281 453 472.38 64.39 7.34 1000000 0 1488.34/1488.84 c 271 476 467.59 75.79 6.17 1000000 0 1489.54/1490.09 c 277 471 484.00 88.27 5.48 1000000 0 1490.84/1491.34 c 240 534 471.20 70.36 6.70 1000000 0 1492.04/1492.58 c 259 489 473.66 65.69 7.21 1000000 0 1493.34/1493.83 c 311 432 471.21 68.61 6.87 1000000 0 1494.54/1495.08 c 299 453 479.83 71.18 6.74 1000000 0 1495.84/1496.33 c 297 520 479.00 66.15 7.24 1000000 0 1497.04/1497.57 c 297 425 473.91 55.95 8.47 1000000 0 1498.34/1498.82 c 283 419 469.36 61.72 7.61 1000000 0 1499.54/1500.07 c 308 532 480.48 63.50 7.57 1000000 0 1500.83/1501.32 c 297 448 470.35 58.92 7.98 1000000 0 1502.04/1502.57 c 269 520 469.04 59.72 7.85 1000000 0 1503.33/1503.82 c 204 396 467.51 66.90 6.99 1000000 0 1504.53/1505.07 c 281 415 471.89 70.10 6.73 1000000 0 1505.83/1506.32 c 314 502 484.44 59.00 8.21 1000000 0 1507.03/1507.57 c 278 405 471.83 68.32 6.91 1000000 0 1508.33/1508.82 c 303 418 475.35 64.15 7.41 1000000 0 1509.53/1510.07 c 315 476 478.86 72.20 6.63 1000000 0 1510.84/1511.32 c 269 564 469.83 62.01 7.58 1000000 0 1512.04/1512.56 c 309 377 483.22 62.79 7.70 1000000 0 1513.33/1513.81 c 300 515 480.78 66.71 7.21 1000000 0 1514.53/1515.06 c 290 375 481.14 72.97 6.59 1000000 0 1515.83/1516.31 c 304 425 483.67 61.45 7.87 1000000 0 1517.03/1517.57 c 297 448 473.32 72.55 6.52 1000000 0 1518.33/1518.81 c 285 519 468.14 68.09 6.87 1000000 0 1519.53/1520.06 c 287 523 475.70 63.16 7.53 1000000 0 1520.83/1521.31 c 256 550 472.31 64.10 7.37 1000000 0 1522.03/1522.55 c 296 450 465.89 58.47 7.97 1000000 0 1523.33/1523.80 c 254 555 466.37 55.30 8.43 1000000 0 1524.53/1525.05 c 281 402 469.11 63.20 7.42 1000000 0 1525.73/1526.30 c 284 557 468.04 71.50 6.55 1000000 0 1527.03/1527.54 c 302 503 469.00 64.44 7.28 1000000 0 1528.23/1528.79 c 269 451 473.34 73.06 6.48 1000000 0 1529.54/1530.04 c 316 447 472.31 54.99 8.59 1000000 0 1530.74/1531.29 c 308 571 477.93 61.85 7.73 1000000 0 1532.03/1532.54 c 262 416 467.82 65.66 7.12 1000000 0 1533.23/1533.78 c 271 439 466.23 66.85 6.97 1000000 0 1534.53/1535.04 c 305 459 493.85 76.15 6.49 1000000 0 1535.73/1536.29 c 300 481 463.90 61.17 7.58 1000000 0 1537.03/1537.53 c 307 422 467.36 61.18 7.64 1000000 0 1538.23/1538.78 c 261 438 466.91 75.06 6.22 1000000 0 1539.54/1540.03 c 279 507 473.39 61.30 7.72 1000000 0 1540.73/1541.27 c 312 359 477.97 59.50 8.03 1000000 0 1542.03/1542.52 c 298 476 480.01 72.75 6.60 1000000 0 1543.23/1543.77 c 291 362 473.44 65.97 7.18 1000000 0 1544.53/1545.01 c 273 485 466.97 62.89 7.42 1000000 0 1545.73/1546.26 c 287 475 469.77 68.72 6.84 1000000 0 1547.02/1547.51 c 289 505 470.14 62.39 7.54 1000000 0 1548.23/1548.76 c 270 439 474.71 83.17 5.71 1000000 0 1549.52/1550.00 c 249 527 477.38 67.72 7.05 1000000 0 1550.72/1551.26 c 289 544 458.23 66.14 6.93 1000000 0 1552.02/1552.50 c 300 542 482.20 72.86 6.62 1000000 0 1553.22/1553.75 c 303 443 463.88 60.51 7.67 1000000 0 1554.52/1555.00 c 284 394 458.80 60.65 7.56 1000000 0 1555.72/1556.25 c 303 514 491.38 67.09 7.32 1000000 0 1556.92/1557.49 c 273 537 474.20 64.67 7.33 1000000 0 1558.23/1558.74 c 308 484 471.58 56.64 8.33 1000000 0 1559.42/1559.99 c 296 419 476.21 62.78 7.59 1000000 0 1560.72/1561.24 c 314 423 478.20 60.94 7.85 1000000 0 1561.92/1562.48 c 243 454 477.28 72.75 6.56 1000000 0 1563.22/1563.73 c 286 378 474.53 61.33 7.74 1000000 0 1564.42/1564.98 c 271 458 474.58 60.64 7.83 1000000 0 1565.72/1566.23 c 301 507 486.69 69.57 7.00 1000000 0 1566.93/1567.48 c 274 437 476.40 61.39 7.76 1000000 0 1568.22/1568.73 c 315 432 478.86 51.34 9.33 1000000 0 1569.42/1569.97 c 243 439 471.07 67.13 7.02 1000000 0 1570.72/1571.22 c 269 480 477.40 67.08 7.12 1000000 0 1571.92/1572.46 c 301 454 478.87 63.39 7.55 1000000 0 1573.22/1573.71 c 296 447 472.77 66.58 7.10 1000000 0 1574.42/1574.96 c 302 564 484.58 65.70 7.38 1000000 0 1575.72/1576.20 c 268 427 470.46 64.39 7.31 1000000 0 1576.92/1577.45 c 283 533 471.05 66.04 7.13 1000000 0 1578.22/1578.70 c 256 397 468.47 63.86 7.34 1000000 0 1579.42/1579.95 c 269 515 486.80 61.21 7.95 1000000 0 1580.71/1581.20 c 288 474 469.96 68.31 6.88 1000000 0 1581.91/1582.45 c 295 546 473.91 70.42 6.73 1000000 0 1583.21/1583.70 c 315 441 481.69 61.46 7.84 1000000 0 1584.41/1584.95 c 257 421 476.03 68.81 6.92 1000000 0 1585.62/1586.20 c 277 585 490.22 62.19 7.88 1000000 0 1586.91/1587.45 c 300 497 487.65 76.32 6.39 1000000 0 1588.21/1588.70 c 303 580 480.89 69.84 6.89 1000000 0 1589.41/1589.96 c 301 450 482.11 63.34 7.61 1000000 0 1590.71/1591.21 c 293 370 473.61 60.25 7.86 1000000 0 1591.91/1592.46 c 288 548 466.80 63.89 7.31 1000000 0 1593.21/1593.71 c 283 471 470.46 64.22 7.33 1000000 0 1594.42/1594.95 c 303 491 470.43 59.03 7.97 1000000 0 1595.71/1596.20 c 308 559 468.74 61.13 7.67 1000000 0 1596.91/1597.44 c 280 444 462.92 59.92 7.73 1000000 0 1598.11/1598.69 c 304 479 469.61 66.35 7.08 1000000 0 1599.41/1599.94 c 290 452 476.99 66.62 7.16 1000000 0 1600.61/1601.18 c 254 485 479.24 69.95 6.85 1000000 0 1601.91/1602.43 c 296 386 477.47 61.89 7.72 1000000 0 1603.11/1603.68 c 280 519 472.56 62.86 7.52 1000000 0 1604.41/1604.94 c 294 459 474.13 75.68 6.26 1000000 0 1605.60/1606.18 c 280 436 475.38 62.45 7.61 1000000 0 1606.90/1607.43 c 262 446 471.87 59.68 7.91 1000000 0 1608.10/1608.68 c 285 352 477.15 65.48 7.29 1000000 0 1609.40/1609.92 c 297 487 468.69 64.25 7.29 1000000 0 1610.60/1611.17 c 300 562 478.61 61.03 7.84 1000000 0 1611.90/1612.42 c 285 438 469.59 76.91 6.11 1000000 0 1613.11/1613.66 c 230 492 468.51 63.10 7.42 1000000 0 1614.40/1614.91 c 323 485 470.60 62.20 7.57 1000000 0 1615.60/1616.17 c 293 466 479.02 63.72 7.52 1000000 0 1616.90/1617.41 c 253 411 469.24 61.23 7.66 1000000 0 1618.10/1618.66 c 257 467 459.77 60.39 7.61 1000000 0 1619.40/1619.90 c 301 524 475.82 73.15 6.50 1000000 0 1620.60/1621.15 c 286 471 473.01 67.37 7.02 1000000 0 1621.91/1622.41 c 266 577 470.93 60.04 7.84 1000000 0 1623.11/1623.65 c 304 416 455.00 54.85 8.30 1000000 0 1624.30/1624.89 c 304 510 459.78 67.82 6.78 1000000 0 1625.60/1626.14 c 278 488 480.78 71.54 6.72 1000000 0 1626.80/1627.39 c 301 433 486.47 57.81 8.41 1000000 0 1628.10/1628.64 c 271 387 463.66 70.22 6.60 1000000 0 1629.30/1629.89 c 285 418 472.79 70.80 6.68 1000000 0 1630.60/1631.14 c 295 492 470.93 66.28 7.10 1000000 0 1631.80/1632.39 c 294 417 487.99 68.25 7.15 1000000 0 1633.10/1633.63 c 287 430 474.92 62.45 7.61 1000000 0 1634.30/1634.88 c 245 596 475.41 64.76 7.34 1000000 0 1635.60/1636.13 c 314 523 476.68 59.20 8.05 1000000 0 1636.80/1637.38 c 271 415 461.57 68.54 6.73 1000000 0 1638.10/1638.63 c 298 501 480.88 62.47 7.70 1000000 0 1639.30/1639.87 c 307 456 482.24 68.53 7.04 1000000 0 1640.60/1641.12 c 318 439 474.23 66.20 7.16 1000000 0 1641.80/1642.37 c 272 481 470.49 75.17 6.26 1000000 0 1643.10/1643.62 c 303 386 480.32 68.57 7.01 1000000 0 1644.29/1644.86 c 277 460 465.05 65.74 7.07 1000000 0 1645.59/1646.11 c 274 488 469.13 57.96 8.09 1000000 0 1646.79/1647.36 c 301 500 479.28 71.62 6.69 1000000 0 1648.09/1648.61 c 290 454 484.72 70.53 6.87 1000000 0 1649.29/1649.86 c 276 457 479.31 76.91 6.23 1000000 0 1650.60/1651.10 c 270 449 472.68 70.25 6.73 1000000 0 1651.79/1652.35 c 239 511 465.38 65.10 7.15 1000000 0 1653.09/1653.60 c 324 470 481.16 66.23 7.27 1000000 0 1654.29/1654.85 c 274 506 474.13 64.50 7.35 1000000 0 1655.59/1656.10 c 287 418 475.16 67.10 7.08 1000000 0 1656.79/1657.35 c 299 427 479.97 63.16 7.60 1000000 0 1658.09/1658.60 c 312 438 482.81 57.35 8.42 1000000 0 1659.30/1659.84 c 300 526 475.39 71.14 6.68 1000000 0 1660.50/1661.09 c 295 423 472.83 59.59 7.93 1000000 0 1661.79/1662.34 c 306 576 469.20 63.33 7.41 1000000 0 1662.99/1663.58 c 294 372 465.06 62.90 7.39 1000000 0 1664.29/1664.83 c 313 444 481.84 65.93 7.31 1000000 0 1665.49/1666.08 c 292 420 466.61 69.65 6.70 1000000 0 1666.79/1667.32 c 305 553 488.86 65.36 7.48 1000000 0 1667.99/1668.57 c 280 528 455.98 63.10 7.23 1000000 0 1669.29/1669.81 c 262 473 475.95 71.21 6.68 1000000 0 1670.49/1671.06 c 277 503 464.08 61.21 7.58 1000000 0 1671.78/1672.31 c 288 350 473.76 66.33 7.14 1000000 0 1672.99/1673.56 c 308 407 469.69 62.02 7.57 1000000 0 1674.28/1674.81 c 272 382 464.77 66.09 7.03 1000000 0 1675.48/1676.05 c 297 415 473.69 59.00 8.03 1000000 0 1676.78/1677.30 c 277 434 464.44 65.17 7.13 1000000 0 1677.99/1678.55 c 282 498 481.02 62.22 7.73 1000000 0 1679.28/1679.80 c 278 428 476.59 67.48 7.06 1000000 0 1680.48/1681.05 c 268 478 486.94 71.78 6.78 1000000 0 1681.68/1682.29 c 276 515 466.80 65.77 7.10 1000000 0 1682.98/1683.54 c 319 563 472.15 59.73 7.90 1000000 0 1684.18/1684.79 c 280 314 470.44 56.08 8.39 1000000 0 1685.48/1686.04 c 280 513 473.29 65.89 7.18 1000000 0 1686.68/1687.29 c 326 445 477.40 57.31 8.33 1000000 0 1687.99/1688.53 c 300 569 479.54 61.21 7.83 1000000 0 1689.18/1689.78 c 284 458 469.79 68.57 6.85 1000000 0 1690.48/1691.03 c 321 423 486.75 57.34 8.49 1000000 0 1691.68/1692.28 c 269 467 471.73 63.95 7.38 1000000 0 1692.98/1693.53 c 268 447 478.52 61.49 7.78 1000000 0 1694.18/1694.77 c 288 472 471.83 62.36 7.57 1000000 0 1695.48/1696.02 c 283 480 464.67 66.92 6.94 1000000 0 1696.68/1697.26 c 278 392 461.10 62.64 7.36 1000000 0 1697.98/1698.52 c 308 503 482.87 62.72 7.70 1000000 0 1699.18/1699.76 c 300 416 469.53 67.60 6.95 1000000 0 1700.48/1701.01 c 267 462 468.42 75.78 6.18 1000000 0 1701.68/1702.26 c 314 449 480.89 55.99 8.59 1000000 0 1702.97/1703.51 c 294 549 482.95 76.60 6.31 1000000 0 1704.17/1704.76 c 318 448 475.89 59.60 7.99 1000000 0 1705.48/1706.00 c 278 470 469.88 69.50 6.76 1000000 0 1706.68/1707.25 c 300 423 486.78 64.69 7.52 1000000 0 1707.97/1708.50 c 283 394 478.56 67.71 7.07 1000000 0 1709.17/1709.75 c 268 526 481.78 57.26 8.41 1000000 0 1710.37/1710.99 c 280 523 476.43 71.62 6.65 1000000 0 1711.67/1712.24 c 316 433 474.02 72.30 6.56 1000000 0 1712.87/1713.49 c 280 400 472.14 60.97 7.74 1000000 0 1714.17/1714.74 c 293 470 482.68 75.64 6.38 1000000 0 1715.38/1715.99 c 295 512 474.55 62.07 7.65 1000000 0 1716.67/1717.23 c 299 478 469.05 68.48 6.85 1000000 0 1717.87/1718.48 c 261 583 468.58 60.51 7.74 1000000 0 1719.17/1719.73 c 291 505 470.20 75.18 6.25 1000000 0 1720.37/1720.98 c 282 489 466.62 67.23 6.94 1000000 0 1721.67/1722.23 c 306 502 488.63 59.38 8.23 1000000 0 1722.87/1723.48 c 321 389 473.54 64.49 7.34 1000000 0 1724.17/1724.73 c 294 473 472.64 73.92 6.39 1000000 0 1725.37/1725.97 c 260 519 473.85 61.70 7.68 1000000 0 1726.67/1727.22 c 297 413 486.19 74.93 6.49 1000000 0 1727.87/1728.47 c 311 384 480.10 66.15 7.26 1000000 0 1729.17/1729.72 c 264 418 472.53 69.86 6.76 1000000 0 1730.36/1730.97 c 276 462 473.66 64.43 7.35 1000000 0 1731.66/1732.22 c 311 504 472.88 70.25 6.73 1000000 0 1732.87/1733.47 c 293 454 468.49 61.40 7.63 1000000 0 1734.17/1734.71 c 319 440 474.03 55.14 8.60 1000000 0 1735.36/1735.96 c 299 387 474.01 71.53 6.63 1000000 0 1736.66/1737.21 c 297 450 470.38 64.17 7.33 1000000 0 1737.86/1738.46 c 296 545 476.26 70.91 6.72 1000000 0 1739.16/1739.71 c 270 435 481.92 70.52 6.83 1000000 0 1740.36/1740.95 c 315 475 470.03 64.83 7.25 1000000 0 1741.66/1742.20 c 282 496 468.41 57.67 8.12 1000000 0 1742.87/1743.45 c 307 502 488.04 70.88 6.89 1000000 0 1744.16/1744.70 c 227 435 475.18 78.78 6.03 1000000 0 1745.36/1745.95 c 263 406 476.38 61.23 7.78 1000000 0 1746.56/1747.19 c 253 611 467.47 66.40 7.04 1000000 0 1747.86/1748.44 c 294 411 480.97 65.13 7.39 1000000 0 1749.06/1749.69 c 272 454 474.97 71.60 6.63 1000000 0 1750.36/1750.93 c 306 466 461.54 57.27 8.06 1000000 0 1751.56/1752.18 c 302 404 468.21 71.32 6.57 1000000 0 1752.86/1753.43 c 277 454 485.23 70.20 6.91 1000000 0 1754.06/1754.69 c 286 485 484.95 65.28 7.43 1000000 0 1755.36/1755.93 c 288 443 471.37 69.02 6.83 1000000 0 1756.55/1757.18 c 272 481 474.52 70.84 6.70 1000000 0 1757.86/1758.43 c 284 427 469.05 60.71 7.73 1000000 0 1759.06/1759.68 c 299 499 479.16 60.82 7.88 1000000 0 1760.35/1760.93 c 299 425 473.74 55.50 8.54 1000000 0 1761.56/1762.18 c 311 391 471.67 64.26 7.34 1000000 0 1762.85/1763.42 c 307 468 473.13 61.26 7.72 1000000 0 1764.05/1764.67 c 302 546 471.02 63.41 7.43 1000000 0 1765.35/1765.92 c 300 505 480.28 68.18 7.04 1000000 0 1766.55/1767.17 c 289 551 461.93 72.66 6.36 1000000 0 1767.85/1768.42 c 258 445 477.09 66.33 7.19 1000000 0 1769.06/1769.66 c 269 516 462.95 63.58 7.28 1000000 0 1770.37/1770.91 c 313 602 470.25 55.02 8.55 1000000 0 1771.57/1772.16 c 282 521 488.65 68.15 7.17 1000000 0 1772.86/1773.41 c 301 405 486.71 62.67 7.77 1000000 0 1774.06/1774.66 c 289 567 465.06 67.89 6.85 1000000 0 1775.36/1775.91 c 261 432 472.39 71.56 6.60 1000000 0 1776.56/1777.15 c 305 426 467.98 73.24 6.39 1000000 0 1777.86/1778.40 c 316 444 479.42 64.75 7.40 1000000 0 1779.06/1779.65 c 314 443 489.43 81.15 6.03 1000000 0 1780.26/1780.90 c 292 578 469.28 72.12 6.51 1000000 0 1781.56/1782.15 c 283 530 470.15 72.89 6.45 1000000 0 1782.85/1783.40 c 304 494 475.89 62.23 7.65 1000000 0 1784.05/1784.65 c 263 479 465.29 57.54 8.09 1000000 0 1785.35/1785.90 c 284 527 468.98 62.57 7.50 1000000 0 1786.55/1787.14 c 291 436 462.85 55.92 8.28 1000000 0 1787.75/1788.39 c 302 442 469.53 70.54 6.66 1000000 0 1789.06/1789.64 c 282 368 468.27 65.04 7.20 1000000 0 1790.26/1790.89 c 280 430 478.75 60.17 7.96 1000000 0 1791.55/1792.14 c 312 448 477.91 79.65 6.00 1000000 0 1792.75/1793.39 c 291 495 483.42 70.64 6.84 1000000 0 1794.05/1794.64 c 296 501 474.77 67.42 7.04 1000000 0 1795.25/1795.89 c 294 544 478.32 65.44 7.31 1000000 0 1796.55/1797.13 c 309 466 473.31 60.24 7.86 1000000 0 1797.75/1798.38 c 289 504 473.09 61.18 7.73 1000000 0 1799.06/1799.63 c 269 511 480.22 62.37 7.70 1000000 0 1800.07/1800.61 HOME/run: line 2: 21038 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-2685378-1278440639/watcher-2685378-1278440639 -o /tmp/evaluation-result-2685378-1278440639/solver-2685378-1278440639 -C 1800 -W 2000 -M 1800 run HOME/instance-2685378-1278440639.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.13 1.07 1.03 3/106 21037 /proc/meminfo: memFree=1821992/2059040 swapFree=4192956/4192956 [pid=21037] ppid=21035 vsize=8700 CPUtime=0 /proc/21037/stat : 21037 (run) R 21035 21037 20235 0 -1 4202496 344 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479636885 0 65538 4100 65536 0 0 0 17 0 0 0 0 /proc/21037/statm: 2175 244 204 178 0 68 0 [startup+0.049999 s] /proc/loadavg: 1.13 1.07 1.03 3/106 21037 /proc/meminfo: memFree=1821992/2059040 swapFree=4192956/4192956 [pid=21037] ppid=21035 vsize=8700 CPUtime=0 /proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21037/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.100999 s] /proc/loadavg: 1.13 1.07 1.03 3/106 21037 /proc/meminfo: memFree=1821992/2059040 swapFree=4192956/4192956 [pid=21037] ppid=21035 vsize=8700 CPUtime=0 /proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21037/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300998 s] /proc/loadavg: 1.13 1.07 1.03 3/106 21037 /proc/meminfo: memFree=1821992/2059040 swapFree=4192956/4192956 [pid=21037] ppid=21035 vsize=8700 CPUtime=0 /proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21037/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700996 s] /proc/loadavg: 1.13 1.07 1.03 3/106 21037 /proc/meminfo: memFree=1821992/2059040 swapFree=4192956/4192956 [pid=21037] ppid=21035 vsize=8700 CPUtime=0 /proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21037/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50099 s] /proc/loadavg: 1.12 1.07 1.03 2/108 21039 /proc/meminfo: memFree=1816644/2059040 swapFree=4192956/4192956 [pid=21037] ppid=21035 vsize=8700 CPUtime=0 /proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21037/statm: 2175 244 204 178 0 68 0 [pid=21038] ppid=21037 vsize=40452 CPUtime=1.49 /proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1372 0 0 0 149 0 0 0 25 0 1 0 12274860 41422848 1302 1992294400 134512640 135071400 4287258160 18446744073709551615 134526003 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/21038/statm: 10113 1302 69 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.10098 s] /proc/loadavg: 1.12 1.07 1.03 2/108 21039 /proc/meminfo: memFree=1816396/2059040 swapFree=4192956/4192956 [pid=21037] ppid=21035 vsize=8700 CPUtime=0 /proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21037/statm: 2175 244 204 178 0 68 0 [pid=21038] ppid=21037 vsize=40452 CPUtime=3.09 /proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1372 0 0 0 309 0 0 0 25 0 1 0 12274860 41422848 1302 1992294400 134512640 135071400 4287258160 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/21038/statm: 10113 1302 69 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.30096 s] /proc/loadavg: 1.12 1.07 1.03 2/108 21039 /proc/meminfo: memFree=1816396/2059040 swapFree=4192956/4192956 [pid=21037] ppid=21035 vsize=8700 CPUtime=0 /proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21037/statm: 2175 244 204 178 0 68 0 [pid=21038] ppid=21037 vsize=40452 CPUtime=6.29 /proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1372 0 0 0 629 0 0 0 25 0 1 0 12274860 41422848 1302 1992294400 134512640 135071400 4287258160 18446744073709551615 134526003 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/21038/statm: 10113 1302 69 137 0 9974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49152 [startup+12.7019 s] /proc/loadavg: 1.10 1.07 1.03 2/108 21040 /proc/meminfo: memFree=1816288/2059040 swapFree=4192956/4192956 [pid=21037] ppid=21035 vsize=8700 CPUtime=0 /proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21037/statm: 2175 244 204 178 0 68 0 [pid=21038] ppid=21037 vsize=40452 CPUtime=12.69 /proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1372 0 0 0 1269 0 0 0 25 0 1 0 12274860 41422848 1302 1992294400 134512640 135071400 4287258160 18446744073709551615 134519756 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/21038/statm: 10113 1302 69 137 0 9974 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49152 [startup+25.5009 s] /proc/loadavg: 1.08 1.06 1.03 2/108 21040 /proc/meminfo: memFree=1816288/2059040 swapFree=4192956/4192956 [pid=21037] ppid=21035 vsize=8700 CPUtime=0 /proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21037/statm: 2175 244 204 178 0 68 0 [pid=21038] ppid=21037 vsize=40452 CPUtime=25.48 /proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1372 0 0 0 2548 0 0 0 25 0 1 0 12274860 41422848 1302 1992294400 134512640 135071400 4287258160 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/21038/statm: 10113 1302 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1007 s] /proc/loadavg: 1.05 1.06 1.02 2/108 21041 /proc/meminfo: memFree=1816288/2059040 swapFree=4192956/4192956 [pid=21037] ppid=21035 vsize=8700 CPUtime=0 /proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21037/statm: 2175 244 204 178 0 68 0 [pid=21038] ppid=21037 vsize=40452 CPUtime=51.08 /proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1373 0 0 0 5107 1 0 0 25 0 1 0 12274860 41422848 1303 1992294400 134512640 135071400 4287258160 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/21038/statm: 10113 1303 69 137 0 9974 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 49152 [startup+102.308 s] /proc/loadavg: 1.02 1.05 1.02 2/108 21042 /proc/meminfo: memFree=1815916/2059040 swapFree=4192956/4192956 [pid=21037] ppid=21035 vsize=8700 CPUtime=0 /proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21037/statm: 2175 244 204 178 0 68 0 [pid=21038] ppid=21037 vsize=40452 CPUtime=102.27 /proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1373 0 0 0 10226 1 0 0 25 0 1 0 12274860 41422848 1303 1992294400 134512640 135071400 4287258160 18446744073709551615 134547284 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/21038/statm: 10113 1303 69 137 0 9974 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 49152 [startup+162.3 s] /proc/loadavg: 1.01 1.03 1.01 2/108 21044 /proc/meminfo: memFree=1815792/2059040 swapFree=4192956/4192956 [pid=21037] ppid=21035 vsize=8700 CPUtime=0 /proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21037/statm: 2175 244 204 178 0 68 0 [pid=21038] ppid=21037 vsize=40452 CPUtime=162.24 /proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1373 0 0 0 16223 1 0 0 25 0 1 0 12274860 41422848 1303 1992294400 134512640 135071400 4287258160 18446744073709551615 134526500 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/21038/statm: 10113 1303 69 137 0 9974 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 49152 [startup+222.301 s] /proc/loadavg: 1.00 1.03 1.01 2/108 21045 /proc/meminfo: memFree=1815668/2059040 swapFree=4192956/4192956 [pid=21037] ppid=21035 vsize=8700 CPUtime=0 /proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21037/statm: 2175 244 204 178 0 68 0 [pid=21038] ppid=21037 vsize=40452 CPUtime=222.22 /proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1373 0 0 0 22221 1 0 0 25 0 1 0 12274860 41422848 1303 1992294400 134512640 135071400 4287258160 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/21038/statm: 10113 1303 69 137 0 9974 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 49152 [startup+282.3 s] /proc/loadavg: 1.00 1.02 1.00 2/108 21047 /proc/meminfo: memFree=1815668/2059040 swapFree=4192956/4192956 [pid=21037] ppid=21035 vsize=8700 CPUtime=0 /proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21037/statm: 2175 244 204 178 0 68 0 [pid=21038] ppid=21037 vsize=40452 CPUtime=282.21 /proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1373 0 0 0 28219 2 0 0 25 0 1 0 12274860 41422848 1303 1992294400 134512640 135071400 4287258160 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/21038/statm: 10113 1303 69 137 0 9974 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 49152 [startup+342.3 s] /proc/loadavg: 1.00 1.01 1.00 2/108 21048 /proc/meminfo: memFree=1815544/2059040 swapFree=4192956/4192956 [pid=21037] ppid=21035 vsize=8700 CPUtime=0 /proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21037/statm: 2175 244 204 178 0 68 0 [pid=21038] ppid=21037 vsize=40452 CPUtime=342.18 /proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1373 0 0 0 34216 2 0 0 25 0 1 0 12274860 41422848 1303 1992294400 134512640 135071400 4287258160 18446744073709551615 134537285 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/21038/statm: 10113 1303 69 137 0 9974 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 49152 [startup+402.301 s] /proc/loadavg: 1.00 1.01 1.00 2/108 21050 /proc/meminfo: memFree=1815420/2059040 swapFree=4192956/4192956 [pid=21037] ppid=21035 vsize=8700 CPUtime=0 /proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21037/statm: 2175 244 204 178 0 68 0 [pid=21038] ppid=21037 vsize=40452 CPUtime=402.16 /proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1373 0 0 0 40214 2 0 0 25 0 1 0 12274860 41422848 1303 1992294400 134512640 135071400 4287258160 18446744073709551615 134526274 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/21038/statm: 10113 1303 69 137 0 9974 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 49152 [startup+462.3 s] ################ # More data... # ################ /proc/21037/statm: 2175 244 204 178 0 68 0 [pid=21038] ppid=21037 vsize=40452 CPUtime=1061.97 /proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1373 0 0 0 106190 7 0 0 25 0 1 0 12274860 41422848 1303 1992294400 134512640 135071400 4287258160 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/21038/statm: 10113 1303 69 137 0 9974 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 49152 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21069 /proc/meminfo: memFree=1814180/2059040 swapFree=4192956/4192956 [pid=21037] ppid=21035 vsize=8700 CPUtime=0 /proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21037/statm: 2175 244 204 178 0 68 0 [pid=21038] ppid=21037 vsize=40452 CPUtime=1121.95 /proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1373 0 0 0 112188 7 0 0 25 0 1 0 12274860 41422848 1303 1992294400 134512640 135071400 4287258160 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/21038/statm: 10113 1303 69 137 0 9974 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21071 /proc/meminfo: memFree=1814056/2059040 swapFree=4192956/4192956 [pid=21037] ppid=21035 vsize=8700 CPUtime=0 /proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21037/statm: 2175 244 204 178 0 68 0 [pid=21038] ppid=21037 vsize=40452 CPUtime=1181.93 /proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1373 0 0 0 118186 7 0 0 25 0 1 0 12274860 41422848 1303 1992294400 134512640 135071400 4287258160 18446744073709551615 134519857 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/21038/statm: 10113 1303 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21072 /proc/meminfo: memFree=1813808/2059040 swapFree=4192956/4192956 [pid=21037] ppid=21035 vsize=8700 CPUtime=0 /proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21037/statm: 2175 244 204 178 0 68 0 [pid=21038] ppid=21037 vsize=40452 CPUtime=1241.91 /proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1373 0 0 0 124183 8 0 0 25 0 1 0 12274860 41422848 1303 1992294400 134512640 135071400 4287258160 18446744073709551615 134525938 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/21038/statm: 10113 1303 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21074 /proc/meminfo: memFree=1813560/2059040 swapFree=4192956/4192956 [pid=21037] ppid=21035 vsize=8700 CPUtime=0 /proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21037/statm: 2175 244 204 178 0 68 0 [pid=21038] ppid=21037 vsize=40452 CPUtime=1301.91 /proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1373 0 0 0 130182 9 0 0 25 0 1 0 12274860 41422848 1303 1992294400 134512640 135071400 4287258160 18446744073709551615 134519756 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/21038/statm: 10113 1303 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21076 /proc/meminfo: memFree=1813560/2059040 swapFree=4192956/4192956 [pid=21037] ppid=21035 vsize=8700 CPUtime=0 /proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21037/statm: 2175 244 204 178 0 68 0 [pid=21038] ppid=21037 vsize=40452 CPUtime=1361.87 /proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1373 0 0 0 136178 9 0 0 25 0 1 0 12274860 41422848 1303 1992294400 134512640 135071400 4287258160 18446744073709551615 134519749 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/21038/statm: 10113 1303 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21077 /proc/meminfo: memFree=1813436/2059040 swapFree=4192956/4192956 [pid=21037] ppid=21035 vsize=8700 CPUtime=0 /proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21037/statm: 2175 244 204 178 0 68 0 [pid=21038] ppid=21037 vsize=40452 CPUtime=1421.87 /proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1373 0 0 0 142177 10 0 0 25 0 1 0 12274860 41422848 1303 1992294400 134512640 135071400 4287258160 18446744073709551615 134525621 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/21038/statm: 10113 1303 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21079 /proc/meminfo: memFree=1813436/2059040 swapFree=4192956/4192956 [pid=21037] ppid=21035 vsize=8700 CPUtime=0 /proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21037/statm: 2175 244 204 178 0 68 0 [pid=21038] ppid=21037 vsize=40452 CPUtime=1481.84 /proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1373 0 0 0 148174 10 0 0 25 0 1 0 12274860 41422848 1303 1992294400 134512640 135071400 4287258160 18446744073709551615 134525863 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/21038/statm: 10113 1303 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21080 /proc/meminfo: memFree=1813188/2059040 swapFree=4192956/4192956 [pid=21037] ppid=21035 vsize=8700 CPUtime=0 /proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21037/statm: 2175 244 204 178 0 68 0 [pid=21038] ppid=21037 vsize=40452 CPUtime=1541.83 /proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1373 0 0 0 154172 11 0 0 25 0 1 0 12274860 41422848 1303 1992294400 134512640 135071400 4287258160 18446744073709551615 134526538 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/21038/statm: 10113 1303 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21082 /proc/meminfo: memFree=1813064/2059040 swapFree=4192956/4192956 [pid=21037] ppid=21035 vsize=8700 CPUtime=0 /proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21037/statm: 2175 244 204 178 0 68 0 [pid=21038] ppid=21037 vsize=40452 CPUtime=1601.81 /proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1373 0 0 0 160170 11 0 0 25 0 1 0 12274860 41422848 1303 1992294400 134512640 135071400 4287258160 18446744073709551615 134526240 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/21038/statm: 10113 1303 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21084 /proc/meminfo: memFree=1813064/2059040 swapFree=4192956/4192956 [pid=21037] ppid=21035 vsize=8700 CPUtime=0 /proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21037/statm: 2175 244 204 178 0 68 0 [pid=21038] ppid=21037 vsize=40452 CPUtime=1661.79 /proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1373 0 0 0 166168 11 0 0 25 0 1 0 12274860 41422848 1303 1992294400 134512640 135071400 4287258160 18446744073709551615 134525608 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/21038/statm: 10113 1303 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21085 /proc/meminfo: memFree=1812940/2059040 swapFree=4192956/4192956 [pid=21037] ppid=21035 vsize=8700 CPUtime=0 /proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21037/statm: 2175 244 204 178 0 68 0 [pid=21038] ppid=21037 vsize=40452 CPUtime=1721.77 /proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1373 0 0 0 172166 11 0 0 25 0 1 0 12274860 41422848 1303 1992294400 134512640 135071400 4287258160 18446744073709551615 134526243 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/21038/statm: 10113 1303 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21087 /proc/meminfo: memFree=1812692/2059040 swapFree=4192956/4192956 [pid=21037] ppid=21035 vsize=8700 CPUtime=0 /proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21037/statm: 2175 244 204 178 0 68 0 [pid=21038] ppid=21037 vsize=40452 CPUtime=1781.76 /proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1373 0 0 0 178164 12 0 0 25 0 1 0 12274860 41422848 1303 1992294400 134512640 135071400 4287258160 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/21038/statm: 10113 1303 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21087 /proc/meminfo: memFree=1812816/2059040 swapFree=4192956/4192956 [pid=21037] ppid=21035 vsize=8700 CPUtime=0 /proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21037/statm: 2175 244 204 178 0 68 0 [pid=21038] ppid=21037 vsize=40452 CPUtime=1800.07 /proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1373 0 0 0 179995 12 0 0 25 0 1 0 12274860 41422848 1303 1992294400 134512640 135071400 4287258160 18446744073709551615 134519921 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/21038/statm: 10113 1303 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1800.62 CPU time (s): 1800.08 CPU user time (s): 1799.95 CPU system time (s): 0.12698 CPU usage (%): 99.9699 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.95 system time used= 0.12698 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1747 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 8826 runsolver used 3.97839 second user time and 9.2136 second system time The end
Begin job on node035 at 2010-07-06 20:23:59 IDJOB=2685378 IDBENCH=75654 IDSOLVER=1171 FILE ID=node035/2685378-1278440639 PBS_JOBID= 11233486 Free space on /tmp= 62492 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j60/normalized-j6033_2-unsat.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2685378-1278440639/watcher-2685378-1278440639 -o /tmp/evaluation-result-2685378-1278440639/solver-2685378-1278440639 -C 1800 -W 2000 -M 1800 run HOME/instance-2685378-1278440639.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 899af7013bffd830ee31db3c8b2bc82e RANDOM SEED=880841613 node035.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.212 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.42 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.212 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1822512 kB Buffers: 14584 kB Cached: 86440 kB SwapCached: 0 kB Active: 58076 kB Inactive: 103304 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1822512 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 1988 kB Writeback: 0 kB AnonPages: 60356 kB Mapped: 14500 kB Slab: 53180 kB PageTables: 4152 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 178932 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= 62488 MiB End job on node035 at 2010-07-06 20:54:00