Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.07 | 1800.51 |
Name | /DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9043_2-sat.opb |
MD5SUM | c4e2de59bc6cb40f7cda886fdbd69868 |
Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.284956 |
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 | 16744 |
Total number of constraints | 57767 |
Number of constraints which are clauses | 57403 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 364 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 72 |
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 | 50 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 458 |
Number of bits of the biggest sum of numbers | 9 |
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.15 c PB-wave - v2 0.00/0.15 c command line = ./PB-wave 0.00/0.15 c seed = 94178536 0.00/0.15 c cutoff = 1000000 0.00/0.15 c tries = 1000000 0.00/0.15 c heuristic = c best, noise 50 / 100 0.00/0.15 #var 16744 #con 57767 0.00/0.15 mode is SAT 0.00/0.15 c tail starts after flip = 50232 0.00/0.15 c numatom = 16744, numclause = 57767, numliterals = 146714 0.00/0.15 c wff read in 0.00/0.15 c 0.00/0.15 c lowest final avg noise noise total avg mean mean 0.00/0.15 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.15 c this this this this this this success success until std 0.00/0.15 c try try try try try try rate tries assign dev 0.00/0.15 c 1.79/1.88 c 302 580 578.41 112.67 5.13 1000000 0 3.49/3.59 c 249 634 563.42 99.69 5.65 1000000 0 5.29/5.31 c 310 564 572.45 117.91 4.85 1000000 0 6.99/7.03 c 304 556 584.78 86.72 6.74 1000000 0 8.69/8.75 c 344 617 566.48 93.53 6.06 1000000 0 10.38/10.48 c 368 558 582.74 98.65 5.91 1000000 0 12.18/12.21 c 367 438 587.37 115.97 5.06 1000000 0 13.88/13.94 c 327 658 586.39 107.15 5.47 1000000 0 15.58/15.65 c 339 542 564.33 83.73 6.74 1000000 0 17.28/17.38 c 335 557 585.06 117.95 4.96 1000000 0 18.98/19.09 c 297 532 566.74 121.52 4.66 1000000 0 20.79/20.81 c 333 456 573.90 97.84 5.87 1000000 0 22.48/22.54 c 354 571 579.27 101.99 5.68 1000000 0 24.19/24.26 c 323 545 585.97 98.44 5.95 1000000 0 25.88/25.97 c 322 638 568.30 101.72 5.59 1000000 0 27.58/27.69 c 324 552 565.31 96.10 5.88 1000000 0 29.38/29.42 c 363 516 592.25 124.43 4.76 1000000 0 31.08/31.15 c 322 518 582.67 108.83 5.35 1000000 0 32.78/32.87 c 352 599 562.61 96.12 5.85 1000000 0 34.48/34.59 c 336 528 579.94 95.77 6.06 1000000 0 36.29/36.31 c 360 490 570.64 111.55 5.12 1000000 0 37.98/38.03 c 361 624 573.17 111.50 5.14 1000000 0 39.68/39.76 c 367 539 598.10 118.56 5.04 1000000 0 41.38/41.47 c 310 692 563.20 96.71 5.82 1000000 0 43.08/43.19 c 302 527 556.43 117.39 4.74 1000000 0 44.88/44.91 c 330 467 581.69 111.08 5.24 1000000 0 46.58/46.64 c 361 651 584.28 103.99 5.62 1000000 0 48.28/48.36 c 375 490 576.68 91.02 6.34 1000000 0 49.98/50.08 c 305 533 572.28 109.87 5.21 1000000 0 51.68/51.79 c 331 638 566.68 87.18 6.50 1000000 0 53.47/53.51 c 353 615 574.89 101.82 5.65 1000000 0 55.17/55.22 c 338 511 571.24 104.16 5.48 1000000 0 56.87/56.94 c 326 476 555.18 95.53 5.81 1000000 0 58.57/58.66 c 325 563 576.95 117.80 4.90 1000000 0 60.27/60.38 c 323 526 558.24 95.56 5.84 1000000 0 61.97/62.09 c 348 551 562.91 99.27 5.67 1000000 0 63.78/63.81 c 361 547 568.99 94.74 6.01 1000000 0 65.47/65.52 c 338 624 559.95 96.80 5.78 1000000 0 67.17/67.25 c 352 463 593.11 109.70 5.41 1000000 0 68.87/68.97 c 295 590 581.39 105.43 5.51 1000000 0 70.57/70.69 c 367 657 577.89 92.11 6.27 1000000 0 72.37/72.41 c 327 688 588.61 113.72 5.18 1000000 0 74.07/74.13 c 305 588 569.17 99.77 5.70 1000000 0 75.78/75.85 c 315 529 571.53 101.13 5.65 1000000 0 77.47/77.56 c 324 529 562.32 98.85 5.69 1000000 0 79.18/79.27 c 352 524 562.41 110.17 5.11 1000000 0 80.87/80.99 c 329 489 577.98 94.56 6.11 1000000 0 82.67/82.71 c 343 696 563.57 96.24 5.86 1000000 0 84.37/84.42 c 313 610 559.72 105.78 5.29 1000000 0 86.07/86.14 c 391 490 590.08 92.39 6.39 1000000 0 87.77/87.86 c 363 499 584.33 109.25 5.35 1000000 0 89.47/89.58 c 353 525 565.98 94.79 5.97 1000000 0 91.27/91.31 c 388 564 588.58 108.26 5.44 1000000 0 92.96/93.03 c 329 567 570.34 89.97 6.34 1000000 0 94.66/94.75 c 342 585 577.99 110.55 5.23 1000000 0 96.36/96.46 c 305 514 548.87 96.02 5.72 1000000 0 98.06/98.19 c 351 544 575.42 117.81 4.88 1000000 0 99.86/99.90 c 304 582 560.14 126.88 4.41 1000000 0 101.56/101.62 c 343 517 584.52 117.32 4.98 1000000 0 103.27/103.34 c 352 609 566.89 110.68 5.12 1000000 0 104.96/105.06 c 301 481 568.01 85.61 6.63 1000000 0 106.67/106.78 c 327 519 566.80 91.90 6.17 1000000 0 108.36/108.49 c 351 582 564.57 97.96 5.76 1000000 0 110.16/110.22 c 316 528 565.63 103.24 5.48 1000000 0 111.86/111.95 c 276 504 577.32 117.07 4.93 1000000 0 113.56/113.67 c 340 444 570.04 105.22 5.42 1000000 0 115.36/115.40 c 350 546 576.97 109.61 5.26 1000000 0 117.06/117.12 c 356 781 589.00 100.10 5.88 1000000 0 118.76/118.85 c 324 538 576.32 103.63 5.56 1000000 0 120.46/120.58 c 371 548 588.13 109.67 5.36 1000000 0 122.16/122.28 c 336 512 555.88 105.03 5.29 1000000 0 123.96/124.01 c 331 621 573.26 113.84 5.04 1000000 0 125.65/125.73 c 374 557 580.58 96.44 6.02 1000000 0 127.35/127.45 c 343 653 573.07 107.75 5.32 1000000 0 129.05/129.17 c 385 499 568.41 92.48 6.15 1000000 0 130.76/130.88 c 360 505 556.23 97.95 5.68 1000000 0 132.55/132.60 c 357 580 566.80 106.37 5.33 1000000 0 134.25/134.33 c 356 610 583.53 121.78 4.79 1000000 0 135.95/136.05 c 356 487 583.95 98.06 5.95 1000000 0 137.65/137.77 c 342 408 577.84 121.52 4.76 1000000 0 139.45/139.50 c 360 609 570.85 114.27 5.00 1000000 0 141.15/141.21 c 318 693 558.27 103.22 5.41 1000000 0 142.86/142.92 c 334 571 568.01 106.39 5.34 1000000 0 144.55/144.65 c 357 558 582.65 111.31 5.23 1000000 0 146.26/146.37 c 355 474 572.16 96.83 5.91 1000000 0 147.95/148.08 c 345 505 559.93 103.24 5.42 1000000 0 149.75/149.80 c 303 594 578.94 112.05 5.17 1000000 0 151.45/151.52 c 333 480 575.14 106.63 5.39 1000000 0 153.15/153.24 c 361 592 587.61 108.34 5.42 1000000 0 154.85/154.98 c 349 519 576.88 106.35 5.42 1000000 0 156.65/156.70 c 361 550 578.90 109.29 5.30 1000000 0 158.35/158.42 c 334 690 570.20 87.32 6.53 1000000 0 160.05/160.14 c 323 518 575.23 113.97 5.05 1000000 0 161.75/161.86 c 373 416 568.46 99.64 5.71 1000000 0 163.45/163.58 c 332 629 577.90 130.64 4.42 1000000 0 165.24/165.30 c 358 576 579.66 100.39 5.77 1000000 0 166.94/167.03 c 305 565 575.93 126.48 4.55 1000000 0 168.64/168.75 c 364 578 592.16 117.69 5.03 1000000 0 170.35/170.47 c 269 579 569.99 106.30 5.36 1000000 0 172.14/172.20 c 360 487 587.37 100.14 5.87 1000000 0 173.84/173.93 c 346 477 579.90 113.17 5.12 1000000 0 175.54/175.64 c 291 517 551.80 107.32 5.14 1000000 0 177.24/177.36 c 364 485 578.94 100.11 5.78 1000000 0 178.94/179.07 c 345 552 559.50 94.04 5.95 1000000 0 180.64/180.79 c 344 444 573.67 103.28 5.55 1000000 0 182.45/182.51 c 309 688 585.84 124.28 4.71 1000000 0 184.14/184.22 c 323 526 556.88 97.28 5.72 1000000 0 185.85/185.94 c 318 427 580.38 124.77 4.65 1000000 0 187.54/187.66 c 340 504 571.31 111.52 5.12 1000000 0 189.24/189.38 c 362 565 577.67 96.33 6.00 1000000 0 191.04/191.10 c 260 535 580.39 115.01 5.05 1000000 0 192.74/192.83 c 351 615 583.33 96.88 6.02 1000000 0 194.44/194.54 c 357 501 564.78 95.78 5.90 1000000 0 196.14/196.27 c 338 443 576.95 106.16 5.43 1000000 0 197.84/197.98 c 319 663 558.19 91.29 6.11 1000000 0 199.64/199.70 c 334 646 572.36 87.75 6.52 1000000 0 201.34/201.41 c 297 533 553.67 97.24 5.69 1000000 0 203.04/203.13 c 357 641 577.60 100.34 5.76 1000000 0 204.73/204.85 c 364 461 578.58 93.92 6.16 1000000 0 206.43/206.58 c 376 485 573.25 93.51 6.13 1000000 0 208.13/208.29 c 331 469 553.23 81.19 6.81 1000000 0 209.94/210.01 c 344 527 561.60 101.92 5.51 1000000 0 211.63/211.73 c 311 465 562.80 95.58 5.89 1000000 0 213.34/213.45 c 363 520 578.89 119.95 4.83 1000000 0 215.03/215.16 c 330 522 551.57 92.29 5.98 1000000 0 216.73/216.88 c 314 562 558.27 109.88 5.08 1000000 0 218.53/218.60 c 382 643 571.38 112.59 5.07 1000000 0 220.23/220.32 c 360 554 560.41 111.78 5.01 1000000 0 221.93/222.04 c 340 497 584.13 108.76 5.37 1000000 0 223.63/223.75 c 332 624 566.04 90.98 6.22 1000000 0 225.34/225.47 c 318 539 577.07 107.72 5.36 1000000 0 227.13/227.20 c 340 602 578.42 102.35 5.65 1000000 0 228.83/228.91 c 320 453 566.14 102.37 5.53 1000000 0 230.53/230.63 c 363 603 572.03 98.39 5.81 1000000 0 232.23/232.35 c 312 486 565.23 102.50 5.51 1000000 0 233.93/234.06 c 289 500 572.63 114.23 5.01 1000000 0 235.63/235.78 c 337 497 571.65 115.32 4.96 1000000 0 237.33/237.50 c 346 497 571.73 114.26 5.00 1000000 0 239.13/239.21 c 334 510 578.41 100.07 5.78 1000000 0 240.83/240.94 c 324 614 577.76 103.11 5.60 1000000 0 242.53/242.66 c 365 503 588.23 107.33 5.48 1000000 0 244.23/244.38 c 350 603 558.25 116.66 4.79 1000000 0 246.03/246.10 c 347 564 581.27 106.90 5.44 1000000 0 247.72/247.82 c 341 557 585.82 94.54 6.20 1000000 0 249.42/249.54 c 350 493 577.82 114.14 5.06 1000000 0 251.12/251.27 c 351 595 587.38 117.13 5.01 1000000 0 252.83/253.00 c 367 586 583.69 98.64 5.92 1000000 0 254.62/254.72 c 359 514 579.98 98.19 5.91 1000000 0 256.32/256.45 c 352 496 589.45 92.41 6.38 1000000 0 258.02/258.17 c 352 582 567.89 107.22 5.30 1000000 0 259.72/259.88 c 341 617 557.17 98.25 5.67 1000000 0 261.52/261.60 c 338 453 572.62 109.57 5.23 1000000 0 263.22/263.32 c 359 747 577.16 149.23 3.87 1000000 0 264.93/265.05 c 307 573 578.76 105.21 5.50 1000000 0 266.62/266.76 c 319 504 558.47 93.58 5.97 1000000 0 268.33/268.48 c 345 528 578.67 96.76 5.98 1000000 0 270.12/270.20 c 362 561 562.16 116.02 4.85 1000000 0 271.82/271.93 c 334 500 575.17 108.50 5.30 1000000 0 273.52/273.65 c 354 651 581.84 102.88 5.66 1000000 0 275.22/275.37 c 270 500 557.52 107.61 5.18 1000000 0 276.92/277.09 c 340 558 587.77 107.32 5.48 1000000 0 278.72/278.82 c 343 618 577.81 99.15 5.83 1000000 0 280.42/280.53 c 353 658 573.66 92.72 6.19 1000000 0 282.12/282.25 c 346 611 574.53 97.57 5.89 1000000 0 283.81/283.97 c 350 501 587.18 98.56 5.96 1000000 0 285.51/285.69 c 349 657 558.52 105.64 5.29 1000000 0 287.31/287.41 c 322 510 581.21 115.94 5.01 1000000 0 289.01/289.13 c 350 638 581.28 100.30 5.80 1000000 0 290.71/290.85 c 332 605 582.49 102.80 5.67 1000000 0 292.42/292.57 c 345 545 584.13 92.01 6.35 1000000 0 294.11/294.28 c 340 559 565.66 88.83 6.37 1000000 0 295.91/296.01 c 325 551 583.51 103.23 5.65 1000000 0 297.61/297.74 c 364 489 580.82 117.65 4.94 1000000 0 299.31/299.46 c 351 565 580.98 119.67 4.85 1000000 0 301.01/301.18 c 344 631 570.82 118.63 4.81 1000000 0 302.71/302.88 c 358 484 560.66 76.23 7.35 1000000 0 304.52/304.61 c 336 618 568.71 88.93 6.40 1000000 0 306.21/306.32 c 302 483 550.39 96.44 5.71 1000000 0 307.92/308.04 c 303 710 573.69 96.21 5.96 1000000 0 309.61/309.75 c 364 597 560.29 98.68 5.68 1000000 0 311.31/311.48 c 374 578 590.31 127.45 4.63 1000000 0 313.11/313.20 c 339 516 577.63 104.89 5.51 1000000 0 314.81/314.93 c 338 526 567.47 99.16 5.72 1000000 0 316.51/316.65 c 333 552 564.43 91.20 6.19 1000000 0 318.21/318.36 c 342 505 568.26 96.57 5.88 1000000 0 319.91/320.08 c 368 667 568.07 101.12 5.62 1000000 0 321.71/321.80 c 328 686 574.33 114.49 5.02 1000000 0 323.40/323.51 c 314 462 551.82 101.52 5.44 1000000 0 325.10/325.24 c 362 570 577.28 104.93 5.50 1000000 0 326.80/326.96 c 314 508 565.21 117.39 4.81 1000000 0 328.50/328.68 c 372 590 584.21 96.44 6.06 1000000 0 330.30/330.41 c 347 624 583.83 123.21 4.74 1000000 0 332.01/332.11 c 302 471 551.98 96.19 5.74 1000000 0 333.70/333.83 c 353 462 568.69 108.61 5.24 1000000 0 335.41/335.55 c 351 530 571.17 109.36 5.22 1000000 0 337.10/337.27 c 336 550 572.08 96.48 5.93 1000000 0 338.80/338.99 c 355 559 579.57 98.72 5.87 1000000 0 340.60/340.71 c 342 499 578.68 107.87 5.36 1000000 0 342.30/342.43 c 345 726 592.74 102.85 5.76 1000000 0 344.00/344.17 c 355 461 591.26 102.65 5.76 1000000 0 345.70/345.88 c 361 634 565.14 92.73 6.09 1000000 0 347.41/347.60 c 327 533 564.49 98.56 5.73 1000000 0 349.20/349.32 c 351 609 588.09 105.99 5.55 1000000 0 350.90/351.03 c 322 575 568.47 105.88 5.37 1000000 0 352.60/352.75 c 331 507 563.47 96.05 5.87 1000000 0 354.30/354.48 c 348 639 579.69 116.77 4.96 1000000 0 356.10/356.21 c 379 560 593.72 118.80 5.00 1000000 0 357.80/357.92 c 325 596 573.51 105.44 5.44 1000000 0 359.50/359.65 c 345 564 563.20 114.35 4.93 1000000 0 361.20/361.36 c 362 564 556.25 80.79 6.89 1000000 0 362.90/363.08 c 321 556 571.56 117.52 4.86 1000000 0 364.69/364.80 c 326 496 565.61 90.94 6.22 1000000 0 366.39/366.52 c 326 486 577.92 100.93 5.73 1000000 0 368.09/368.25 c 325 623 576.86 98.56 5.85 1000000 0 369.79/369.97 c 330 736 561.89 114.52 4.91 1000000 0 371.49/371.69 c 343 573 582.05 99.18 5.87 1000000 0 373.29/373.41 c 326 505 564.99 132.47 4.26 1000000 0 375.00/375.13 c 343 531 573.28 113.12 5.07 1000000 0 376.69/376.85 c 361 661 571.06 119.15 4.79 1000000 0 378.39/378.57 c 319 655 577.47 103.26 5.59 1000000 0 380.09/380.28 c 343 536 561.23 87.06 6.45 1000000 0 381.89/382.01 c 315 656 586.75 105.95 5.54 1000000 0 383.59/383.73 c 275 542 579.81 116.84 4.96 1000000 0 385.29/385.45 c 337 586 576.93 91.14 6.33 1000000 0 387.00/387.16 c 320 593 560.25 90.28 6.21 1000000 0 388.69/388.88 c 364 478 589.51 97.81 6.03 1000000 0 390.49/390.61 c 370 577 582.61 92.00 6.33 1000000 0 392.19/392.33 c 378 512 587.04 105.85 5.55 1000000 0 393.89/394.05 c 335 493 572.79 121.95 4.70 1000000 0 395.59/395.77 c 339 521 563.87 94.05 6.00 1000000 0 397.29/397.49 c 339 573 567.13 113.89 4.98 1000000 0 399.09/399.21 c 359 591 580.36 94.85 6.12 1000000 0 400.79/400.92 c 343 604 559.64 113.61 4.93 1000000 0 402.49/402.63 c 355 657 560.58 102.86 5.45 1000000 0 404.18/404.34 c 312 494 574.54 105.18 5.46 1000000 0 405.88/406.05 c 343 604 562.43 94.93 5.92 1000000 0 407.58/407.76 c 327 681 549.33 91.37 6.01 1000000 0 409.28/409.47 c 346 718 566.69 101.27 5.60 1000000 0 411.08/411.20 c 321 650 572.67 126.00 4.54 1000000 0 412.78/412.92 c 331 558 571.97 100.56 5.69 1000000 0 414.49/414.64 c 367 570 582.25 121.25 4.80 1000000 0 416.18/416.37 c 311 495 570.39 103.62 5.50 1000000 0 417.89/418.09 c 363 468 584.98 103.15 5.67 1000000 0 419.68/419.81 c 344 580 561.23 99.31 5.65 1000000 0 421.38/421.53 c 265 564 572.68 107.98 5.30 1000000 0 423.08/423.25 c 350 661 580.68 107.82 5.39 1000000 0 424.78/424.98 c 374 495 567.80 96.05 5.91 1000000 0 426.59/426.71 c 350 630 598.06 118.03 5.07 1000000 0 428.28/428.43 c 322 682 581.96 123.86 4.70 1000000 0 429.98/430.16 c 383 488 576.90 110.32 5.23 1000000 0 431.68/431.87 c 355 475 557.37 98.82 5.64 1000000 0 433.38/433.59 c 362 471 569.10 106.93 5.32 1000000 0 435.18/435.31 c 337 636 571.31 91.13 6.27 1000000 0 436.88/437.04 c 356 621 592.90 97.08 6.11 1000000 0 438.58/438.75 c 329 517 556.70 126.54 4.40 1000000 0 440.28/440.46 c 369 632 572.28 104.04 5.50 1000000 0 441.98/442.19 c 362 519 583.88 85.93 6.80 1000000 0 443.77/443.91 c 346 608 582.52 104.35 5.58 1000000 0 445.47/445.64 c 371 562 582.54 107.85 5.40 1000000 0 447.17/447.37 c 335 678 581.92 120.51 4.83 1000000 0 448.87/449.10 c 341 617 582.17 116.45 5.00 1000000 0 450.67/450.82 c 366 526 584.29 112.31 5.20 1000000 0 452.37/452.53 c 329 578 569.73 86.48 6.59 1000000 0 454.08/454.25 c 355 471 573.22 101.66 5.64 1000000 0 455.77/455.98 c 370 524 575.01 92.64 6.21 1000000 0 457.57/457.70 c 389 532 576.89 85.42 6.75 1000000 0 459.27/459.42 c 278 560 570.80 112.31 5.08 1000000 0 460.97/461.14 c 369 600 592.21 104.34 5.68 1000000 0 462.67/462.86 c 313 557 553.88 95.30 5.81 1000000 0 464.37/464.58 c 321 562 563.27 107.40 5.24 1000000 0 466.18/466.30 c 298 419 570.22 123.15 4.63 1000000 0 467.87/468.02 c 351 520 572.57 82.59 6.93 1000000 0 469.58/469.74 c 330 374 579.50 112.79 5.14 1000000 0 471.27/471.47 c 361 579 575.44 97.17 5.92 1000000 0 472.97/473.18 c 327 524 558.37 114.28 4.89 1000000 0 474.77/474.91 c 336 643 573.86 107.28 5.35 1000000 0 476.47/476.62 c 293 643 557.99 94.14 5.93 1000000 0 478.17/478.33 c 349 578 559.98 113.95 4.91 1000000 0 479.87/480.07 c 381 518 593.56 85.37 6.95 1000000 0 481.57/481.79 c 353 469 575.18 102.13 5.63 1000000 0 483.36/483.51 c 301 557 572.87 114.14 5.02 1000000 0 485.06/485.23 c 345 594 583.57 95.14 6.13 1000000 0 486.76/486.96 c 338 612 572.39 116.04 4.93 1000000 0 488.46/488.68 c 369 549 562.20 128.53 4.37 1000000 0 490.16/490.39 c 340 657 567.07 103.58 5.47 1000000 0 491.96/492.11 c 313 485 564.76 111.74 5.05 1000000 0 493.67/493.83 c 330 495 579.20 110.19 5.26 1000000 0 495.37/495.55 c 303 486 562.37 108.25 5.19 1000000 0 497.08/497.28 c 353 534 580.39 116.64 4.98 1000000 0 498.87/499.01 c 361 592 589.61 105.98 5.56 1000000 0 500.57/500.73 c 375 679 574.69 98.41 5.84 1000000 0 502.27/502.44 c 347 410 567.02 107.41 5.28 1000000 0 503.97/504.15 c 350 476 567.14 100.64 5.64 1000000 0 505.67/505.88 c 356 498 577.87 98.22 5.88 1000000 0 507.47/507.60 c 359 519 581.83 115.19 5.05 1000000 0 509.17/509.32 c 316 662 568.62 109.47 5.19 1000000 0 510.87/511.04 c 378 711 569.83 94.14 6.05 1000000 0 512.57/512.77 c 382 557 576.02 91.79 6.28 1000000 0 514.26/514.49 c 355 545 584.76 88.37 6.62 1000000 0 516.06/516.20 c 335 494 566.55 102.07 5.55 1000000 0 517.76/517.92 c 349 574 575.69 93.97 6.13 1000000 0 519.46/519.65 c 375 498 577.27 115.25 5.01 1000000 0 521.17/521.36 c 322 705 567.64 95.08 5.97 1000000 0 522.86/523.08 c 314 491 563.70 88.35 6.38 1000000 0 524.66/524.81 c 365 541 596.01 111.56 5.34 1000000 0 526.36/526.52 c 329 504 558.46 92.90 6.01 1000000 0 528.06/528.23 c 333 477 545.79 77.43 7.05 1000000 0 529.76/529.95 c 346 579 571.02 134.79 4.24 1000000 0 531.46/531.66 c 319 558 561.38 106.14 5.29 1000000 0 533.16/533.38 c 340 531 574.57 107.29 5.36 1000000 0 534.86/535.09 c 259 601 566.43 106.01 5.34 1000000 0 536.57/536.80 c 351 555 564.02 102.53 5.50 1000000 0 538.36/538.52 c 354 548 570.20 92.79 6.14 1000000 0 540.06/540.23 c 302 484 565.22 102.01 5.54 1000000 0 541.76/541.94 c 340 473 563.09 107.14 5.26 1000000 0 543.46/543.66 c 339 565 559.42 95.38 5.87 1000000 0 545.16/545.38 c 340 656 577.49 108.53 5.32 1000000 0 546.96/547.10 c 373 511 578.96 97.13 5.96 1000000 0 548.66/548.82 c 308 569 571.76 109.93 5.20 1000000 0 550.36/550.52 c 346 589 556.27 79.71 6.98 1000000 0 552.06/552.24 c 346 354 580.19 94.89 6.11 1000000 0 553.76/553.95 c 338 453 567.76 131.78 4.31 1000000 0 555.45/555.67 c 334 549 557.95 121.62 4.59 1000000 0 557.15/557.37 c 339 588 570.31 107.49 5.31 1000000 0 558.85/559.09 c 329 506 573.46 94.59 6.06 1000000 0 560.65/560.81 c 337 604 581.54 105.67 5.50 1000000 0 562.35/562.53 c 300 611 572.29 117.07 4.89 1000000 0 564.06/564.25 c 351 476 565.13 90.14 6.27 1000000 0 565.75/565.98 c 364 546 581.90 117.72 4.94 1000000 0 567.55/567.70 c 297 594 583.77 106.81 5.47 1000000 0 569.25/569.41 c 341 577 554.30 99.80 5.55 1000000 0 570.95/571.13 c 372 744 592.71 103.31 5.74 1000000 0 572.65/572.85 c 367 429 567.54 100.86 5.63 1000000 0 574.35/574.56 c 326 504 566.79 93.70 6.05 1000000 0 576.05/576.29 c 352 587 587.14 114.29 5.14 1000000 0 577.85/578.01 c 347 628 575.50 97.48 5.90 1000000 0 579.56/579.73 c 327 499 576.31 103.23 5.58 1000000 0 581.25/581.45 c 309 529 575.65 103.10 5.58 1000000 0 582.95/583.18 c 367 515 580.93 105.63 5.50 1000000 0 584.75/584.90 c 308 527 572.07 112.14 5.10 1000000 0 586.45/586.63 c 331 676 594.21 117.72 5.05 1000000 0 588.15/588.36 c 360 406 576.59 104.09 5.54 1000000 0 589.85/590.08 c 334 447 566.25 101.84 5.56 1000000 0 591.55/591.80 c 341 541 573.95 102.27 5.61 1000000 0 593.35/593.52 c 356 579 583.74 116.52 5.01 1000000 0 595.05/595.24 c 347 640 570.11 106.51 5.35 1000000 0 596.75/596.97 c 370 483 580.39 132.46 4.38 1000000 0 598.44/598.69 c 334 526 572.35 98.24 5.83 1000000 0 600.24/600.41 c 345 579 582.96 107.71 5.41 1000000 0 601.94/602.13 c 327 596 570.44 104.53 5.46 1000000 0 603.65/603.85 c 315 498 573.26 106.19 5.40 1000000 0 605.34/605.57 c 347 569 570.75 104.21 5.48 1000000 0 607.05/607.29 c 342 652 567.95 104.62 5.43 1000000 0 608.84/609.00 c 346 545 569.53 102.49 5.56 1000000 0 610.54/610.72 c 341 605 576.47 98.97 5.83 1000000 0 612.24/612.45 c 321 518 585.78 124.08 4.72 1000000 0 613.94/614.17 c 365 629 589.32 134.18 4.39 1000000 0 615.75/615.90 c 359 481 585.31 114.94 5.09 1000000 0 617.44/617.62 c 324 572 580.53 100.14 5.80 1000000 0 619.15/619.32 c 339 462 552.56 99.81 5.54 1000000 0 620.84/621.05 c 356 587 569.01 92.79 6.13 1000000 0 622.54/622.77 c 323 499 581.66 102.22 5.69 1000000 0 624.24/624.49 c 378 477 585.10 99.50 5.88 1000000 0 626.04/626.20 c 349 557 568.25 92.73 6.13 1000000 0 627.74/627.92 c 317 725 566.36 114.93 4.93 1000000 0 629.44/629.63 c 279 543 556.86 107.43 5.18 1000000 0 631.14/631.35 c 370 452 575.17 118.97 4.83 1000000 0 632.84/633.07 c 331 520 573.89 82.97 6.92 1000000 0 634.54/634.79 c 302 602 566.23 117.95 4.80 1000000 0 636.34/636.52 c 364 546 586.17 101.05 5.80 1000000 0 638.04/638.24 c 355 649 562.55 116.99 4.81 1000000 0 639.74/639.97 c 374 620 595.49 101.99 5.84 1000000 0 641.43/641.68 c 333 572 563.60 97.60 5.77 1000000 0 643.24/643.41 c 374 475 582.63 104.76 5.56 1000000 0 644.93/645.13 c 381 730 589.31 106.49 5.53 1000000 0 646.64/646.85 c 351 548 565.76 101.33 5.58 1000000 0 648.33/648.57 c 321 674 579.23 110.69 5.23 1000000 0 650.03/650.28 c 323 469 559.61 100.67 5.56 1000000 0 651.83/652.01 c 355 539 595.24 123.52 4.82 1000000 0 653.53/653.73 c 324 641 564.40 134.75 4.19 1000000 0 655.23/655.46 c 353 512 586.29 109.01 5.38 1000000 0 656.93/657.18 c 341 640 581.37 102.02 5.70 1000000 0 658.64/658.90 c 295 662 571.81 96.39 5.93 1000000 0 660.43/660.61 c 324 587 561.44 102.23 5.49 1000000 0 662.13/662.33 c 359 507 587.19 111.10 5.29 1000000 0 663.83/664.05 c 309 477 583.91 106.14 5.50 1000000 0 665.53/665.78 c 323 671 574.68 115.91 4.96 1000000 0 667.33/667.51 c 365 509 585.75 101.62 5.76 1000000 0 669.03/669.22 c 353 486 571.05 91.30 6.25 1000000 0 670.73/670.93 c 360 541 562.72 90.33 6.23 1000000 0 672.43/672.65 c 310 442 572.42 122.49 4.67 1000000 0 674.13/674.38 c 284 622 575.23 96.02 5.99 1000000 0 675.92/676.11 c 310 636 584.71 130.84 4.47 1000000 0 677.62/677.83 c 371 552 577.53 100.22 5.76 1000000 0 679.32/679.55 c 341 462 575.50 108.89 5.29 1000000 0 681.02/681.27 c 373 494 579.40 94.18 6.15 1000000 0 682.72/682.99 c 395 604 574.22 95.68 6.00 1000000 0 684.52/684.71 c 328 622 565.36 118.20 4.78 1000000 0 686.23/686.44 c 346 553 583.41 94.49 6.17 1000000 0 687.92/688.16 c 293 529 586.10 113.08 5.18 1000000 0 689.62/689.88 c 361 525 574.82 113.80 5.05 1000000 0 691.42/691.60 c 336 384 575.22 109.05 5.27 1000000 0 693.12/693.32 c 373 686 580.97 111.46 5.21 1000000 0 694.82/695.05 c 351 706 584.73 114.88 5.09 1000000 0 696.52/696.78 c 342 445 591.38 116.35 5.08 1000000 0 698.23/698.49 c 360 505 577.36 92.83 6.22 1000000 0 700.02/700.21 c 348 680 573.52 80.67 7.11 1000000 0 701.72/701.93 c 356 449 572.38 88.63 6.46 1000000 0 703.42/703.64 c 343 694 572.39 101.16 5.66 1000000 0 705.12/705.36 c 322 631 566.50 106.06 5.34 1000000 0 706.82/707.08 c 387 588 583.67 85.92 6.79 1000000 0 708.62/708.80 c 305 505 567.81 110.77 5.13 1000000 0 710.32/710.52 c 313 631 581.83 108.97 5.34 1000000 0 712.02/712.25 c 333 685 573.57 122.01 4.70 1000000 0 713.72/713.97 c 352 475 568.63 98.45 5.78 1000000 0 715.42/715.69 c 330 556 574.32 99.43 5.78 1000000 0 717.22/717.41 c 374 576 571.14 113.90 5.01 1000000 0 718.91/719.13 c 335 596 569.98 108.90 5.23 1000000 0 720.61/720.86 c 324 555 583.43 98.10 5.95 1000000 0 722.31/722.58 c 324 500 578.32 118.90 4.86 1000000 0 724.01/724.29 c 313 475 558.97 89.71 6.23 1000000 0 725.82/726.02 c 308 590 580.29 121.50 4.78 1000000 0 727.51/727.75 c 334 622 580.75 107.47 5.40 1000000 0 729.21/729.47 c 345 569 594.07 137.18 4.33 1000000 0 730.91/731.18 c 295 568 566.32 98.78 5.73 1000000 0 732.71/732.90 c 352 542 577.27 98.10 5.88 1000000 0 734.41/734.61 c 325 577 548.52 100.70 5.45 1000000 0 736.11/736.33 c 342 568 559.78 93.28 6.00 1000000 0 737.82/738.05 c 364 505 585.63 113.58 5.16 1000000 0 739.51/739.77 c 325 577 586.46 104.05 5.64 1000000 0 741.22/741.49 c 370 487 572.40 93.25 6.14 1000000 0 743.01/743.21 c 335 551 573.78 89.40 6.42 1000000 0 744.71/744.92 c 264 728 554.80 114.36 4.85 1000000 0 746.41/746.64 c 331 546 584.55 105.08 5.56 1000000 0 748.11/748.35 c 326 463 568.86 91.03 6.25 1000000 0 749.81/750.07 c 293 622 559.20 105.68 5.29 1000000 0 751.50/751.79 c 313 479 553.58 105.81 5.23 1000000 0 753.31/753.50 c 372 550 578.14 98.75 5.85 1000000 0 755.00/755.23 c 346 529 562.08 87.74 6.41 1000000 0 756.70/756.95 c 311 524 587.77 109.45 5.37 1000000 0 758.40/758.67 c 274 394 560.88 111.51 5.03 1000000 0 760.10/760.39 c 300 535 587.59 122.98 4.78 1000000 0 761.90/762.11 c 334 512 559.90 97.22 5.76 1000000 0 763.60/763.83 c 332 657 565.87 108.65 5.21 1000000 0 765.31/765.55 c 325 377 573.92 114.44 5.01 1000000 0 767.00/767.26 c 345 530 566.60 96.11 5.90 1000000 0 768.71/768.99 c 348 566 596.11 112.79 5.29 1000000 0 770.50/770.70 c 349 650 558.86 109.04 5.13 1000000 0 772.20/772.42 c 352 500 573.14 121.93 4.70 1000000 0 773.90/774.14 c 356 529 568.06 102.95 5.52 1000000 0 775.60/775.85 c 343 500 564.99 94.16 6.00 1000000 0 777.30/777.58 c 357 527 577.08 102.30 5.64 1000000 0 779.00/779.29 c 320 642 551.54 110.62 4.99 1000000 0 780.80/781.01 c 314 595 581.76 105.56 5.51 1000000 0 782.50/782.71 c 314 585 545.54 93.78 5.82 1000000 0 784.20/784.43 c 317 440 572.43 97.43 5.88 1000000 0 785.90/786.16 c 355 458 585.78 104.28 5.62 1000000 0 787.60/787.88 c 362 507 576.98 92.96 6.21 1000000 0 789.39/789.60 c 303 645 565.71 117.09 4.83 1000000 0 791.09/791.32 c 355 634 574.43 105.48 5.45 1000000 0 792.80/793.05 c 346 494 584.08 89.84 6.50 1000000 0 794.49/794.77 c 349 523 582.46 102.15 5.70 1000000 0 796.20/796.49 c 331 592 569.99 96.68 5.90 1000000 0 797.99/798.20 c 326 469 564.78 97.91 5.77 1000000 0 799.69/799.91 c 379 468 573.28 97.63 5.87 1000000 0 801.39/801.62 c 330 577 564.01 120.53 4.68 1000000 0 803.09/803.34 c 363 426 560.54 92.59 6.05 1000000 0 804.79/805.06 c 361 557 578.34 103.72 5.58 1000000 0 806.49/806.77 c 322 648 575.55 95.93 6.00 1000000 0 808.20/808.50 c 330 421 581.85 116.45 5.00 1000000 0 809.99/810.22 c 301 592 560.09 107.12 5.23 1000000 0 811.69/811.94 c 352 562 587.32 126.93 4.63 1000000 0 813.39/813.66 c 314 522 579.01 116.87 4.95 1000000 0 815.09/815.37 c 323 495 554.75 96.61 5.74 1000000 0 816.79/817.08 c 325 497 562.41 93.54 6.01 1000000 0 818.59/818.80 c 342 572 584.69 95.39 6.13 1000000 0 820.29/820.52 c 341 567 568.34 96.29 5.90 1000000 0 821.99/822.24 c 332 479 560.24 106.09 5.28 1000000 0 823.69/823.96 c 367 612 569.31 86.46 6.58 1000000 0 825.38/825.67 c 312 585 555.62 95.07 5.84 1000000 0 827.08/827.39 c 357 521 584.15 106.79 5.47 1000000 0 828.88/829.11 c 341 566 568.59 105.75 5.38 1000000 0 830.58/830.83 c 334 544 559.75 97.69 5.73 1000000 0 832.28/832.54 c 306 671 575.41 103.61 5.55 1000000 0 833.98/834.27 c 352 666 579.17 110.53 5.24 1000000 0 835.69/835.99 c 342 510 582.11 98.30 5.92 1000000 0 837.48/837.71 c 322 472 575.37 107.00 5.38 1000000 0 839.18/839.43 c 357 525 577.74 83.98 6.88 1000000 0 840.88/841.15 c 341 524 567.48 108.88 5.21 1000000 0 842.58/842.88 c 361 453 586.20 121.53 4.82 1000000 0 844.28/844.59 c 326 533 561.89 116.93 4.81 1000000 0 846.08/846.32 c 354 534 583.25 115.99 5.03 1000000 0 847.78/848.04 c 337 705 585.09 116.43 5.03 1000000 0 849.48/849.76 c 318 524 565.48 96.75 5.84 1000000 0 851.18/851.50 c 310 554 588.18 117.69 5.00 1000000 0 852.98/853.21 c 307 568 558.48 87.48 6.38 1000000 0 854.68/854.93 c 353 538 580.44 125.78 4.61 1000000 0 856.37/856.66 c 310 492 596.28 116.22 5.13 1000000 0 858.08/858.38 c 330 653 573.60 91.98 6.24 1000000 0 859.88/860.10 c 374 484 580.02 113.07 5.13 1000000 0 861.57/861.83 c 328 467 577.46 97.23 5.94 1000000 0 863.28/863.55 c 359 493 583.18 111.59 5.23 1000000 0 864.97/865.28 c 348 563 606.03 113.71 5.33 1000000 0 866.77/867.02 c 364 430 597.46 119.32 5.01 1000000 0 868.47/868.74 c 325 586 577.24 104.11 5.54 1000000 0 870.17/870.47 c 369 588 589.55 116.76 5.05 1000000 0 871.87/872.19 c 371 490 586.62 102.43 5.73 1000000 0 873.67/873.92 c 323 530 577.13 111.10 5.19 1000000 0 875.38/875.64 c 329 577 572.42 97.77 5.85 1000000 0 877.07/877.36 c 339 632 576.98 110.15 5.24 1000000 0 878.77/879.07 c 334 516 566.91 105.61 5.37 1000000 0 880.47/880.79 c 359 626 577.69 97.20 5.94 1000000 0 882.27/882.52 c 334 569 574.22 89.98 6.38 1000000 0 883.97/884.24 c 375 462 578.68 122.05 4.74 1000000 0 885.67/885.96 c 354 487 578.20 98.32 5.88 1000000 0 887.37/887.67 c 306 597 573.31 106.92 5.36 1000000 0 889.07/889.40 c 362 551 583.49 97.83 5.96 1000000 0 890.87/891.11 c 325 452 568.45 96.46 5.89 1000000 0 892.57/892.84 c 293 508 579.89 104.86 5.53 1000000 0 894.27/894.55 c 345 491 570.65 102.20 5.58 1000000 0 895.97/896.28 c 363 596 578.01 108.18 5.34 1000000 0 897.76/898.00 c 295 543 567.35 111.40 5.09 1000000 0 899.47/899.72 c 367 691 589.02 101.27 5.82 1000000 0 901.16/901.45 c 386 531 582.89 115.51 5.05 1000000 0 902.87/903.17 c 342 488 578.08 118.62 4.87 1000000 0 904.56/904.89 c 314 640 567.87 103.00 5.51 1000000 0 906.36/906.62 c 334 473 578.66 89.18 6.49 1000000 0 908.06/908.34 c 336 702 574.22 91.79 6.26 1000000 0 909.76/910.05 c 318 684 566.06 124.27 4.56 1000000 0 911.46/911.78 c 362 621 582.04 111.31 5.23 1000000 0 913.16/913.50 c 347 470 578.85 117.42 4.93 1000000 0 914.97/915.21 c 337 557 562.19 97.10 5.79 1000000 0 916.66/916.93 c 310 658 574.11 116.39 4.93 1000000 0 918.36/918.65 c 344 590 582.08 100.49 5.79 1000000 0 920.06/920.36 c 353 514 580.77 117.62 4.94 1000000 0 921.76/922.09 c 324 623 585.84 112.14 5.22 1000000 0 923.56/923.80 c 353 518 559.91 115.68 4.84 1000000 0 925.26/925.52 c 299 672 570.43 110.14 5.18 1000000 0 926.96/927.24 c 334 582 574.51 108.19 5.31 1000000 0 928.66/928.97 c 349 530 589.22 112.73 5.23 1000000 0 930.36/930.68 c 339 441 565.88 111.14 5.09 1000000 0 932.16/932.42 c 350 376 593.21 118.17 5.02 1000000 0 933.86/934.14 c 352 741 585.68 98.59 5.94 1000000 0 935.56/935.85 c 323 495 566.17 91.75 6.17 1000000 0 937.26/937.57 c 326 543 572.35 123.41 4.64 1000000 0 939.06/939.30 c 376 642 588.22 99.18 5.93 1000000 0 940.75/941.03 c 356 662 578.68 104.59 5.53 1000000 0 942.46/942.74 c 307 518 566.48 94.38 6.00 1000000 0 944.15/944.46 c 305 556 571.66 111.82 5.11 1000000 0 945.85/946.18 c 372 638 572.99 108.68 5.27 1000000 0 947.65/947.91 c 285 736 566.60 107.86 5.25 1000000 0 949.35/949.64 c 336 551 584.74 115.02 5.08 1000000 0 951.05/951.37 c 338 465 582.37 105.49 5.52 1000000 0 952.75/953.09 c 323 485 559.44 105.73 5.29 1000000 0 954.46/954.79 c 293 454 547.01 101.00 5.42 1000000 0 956.25/956.52 c 354 570 566.01 103.70 5.46 1000000 0 957.95/958.23 c 314 469 555.81 93.76 5.93 1000000 0 959.65/959.95 c 339 538 572.71 112.75 5.08 1000000 0 961.35/961.66 c 359 513 583.50 98.82 5.90 1000000 0 963.05/963.39 c 365 645 589.29 112.93 5.22 1000000 0 964.85/965.11 c 310 604 579.34 108.95 5.32 1000000 0 966.56/966.82 c 315 409 557.56 97.32 5.73 1000000 0 968.25/968.54 c 297 546 558.53 108.12 5.17 1000000 0 969.95/970.26 c 330 486 585.71 116.71 5.02 1000000 0 971.65/971.99 c 319 483 585.62 106.82 5.48 1000000 0 973.45/973.70 c 315 521 552.17 107.96 5.11 1000000 0 975.15/975.42 c 334 772 580.40 123.38 4.70 1000000 0 976.85/977.15 c 358 556 584.97 116.02 5.04 1000000 0 978.55/978.86 c 335 540 555.57 99.42 5.59 1000000 0 980.24/980.58 c 349 470 593.80 90.47 6.56 1000000 0 981.95/982.30 c 360 713 580.63 89.82 6.46 1000000 0 983.74/984.02 c 383 522 587.05 98.38 5.97 1000000 0 985.44/985.73 c 335 512 566.97 103.53 5.48 1000000 0 987.14/987.45 c 340 586 571.53 97.06 5.89 1000000 0 988.84/989.17 c 349 557 565.04 105.69 5.35 1000000 0 990.54/990.88 c 364 644 568.12 97.36 5.84 1000000 0 992.34/992.60 c 333 656 564.91 94.60 5.97 1000000 0 994.05/994.32 c 321 591 563.72 111.02 5.08 1000000 0 995.74/996.05 c 301 539 581.50 99.12 5.87 1000000 0 997.45/997.76 c 363 555 573.86 90.09 6.37 1000000 0 999.14/999.48 c 330 562 573.59 103.74 5.53 1000000 0 1000.94/1001.21 c 365 588 580.18 115.53 5.02 1000000 0 1002.64/1002.93 c 349 509 583.43 116.41 5.01 1000000 0 1004.34/1004.66 c 381 521 583.23 96.66 6.03 1000000 0 1006.04/1006.37 c 325 488 549.74 92.68 5.93 1000000 0 1007.74/1008.09 c 368 507 571.42 100.05 5.71 1000000 0 1009.54/1009.80 c 364 590 561.77 85.00 6.61 1000000 0 1011.24/1011.52 c 366 555 575.22 104.21 5.52 1000000 0 1012.94/1013.24 c 308 594 560.57 118.39 4.73 1000000 0 1014.64/1014.97 c 350 522 594.74 114.91 5.18 1000000 0 1016.34/1016.68 c 400 515 580.51 92.93 6.25 1000000 0 1018.14/1018.40 c 327 611 569.63 107.88 5.28 1000000 0 1019.83/1020.12 c 333 568 575.95 87.59 6.58 1000000 0 1021.54/1021.84 c 346 561 583.10 93.88 6.21 1000000 0 1023.23/1023.56 c 309 522 577.86 109.84 5.26 1000000 0 1024.94/1025.29 c 337 550 586.33 128.64 4.56 1000000 0 1026.73/1027.01 c 360 584 576.19 109.92 5.24 1000000 0 1028.43/1028.72 c 329 624 565.87 100.26 5.64 1000000 0 1030.13/1030.44 c 324 505 568.34 107.94 5.27 1000000 0 1031.83/1032.17 c 335 622 577.21 107.55 5.37 1000000 0 1033.53/1033.88 c 332 514 561.69 104.09 5.40 1000000 0 1035.23/1035.59 c 348 614 568.77 95.44 5.96 1000000 0 1037.04/1037.32 c 315 494 577.49 122.88 4.70 1000000 0 1038.73/1039.03 c 344 602 557.78 95.29 5.85 1000000 0 1040.43/1040.75 c 373 596 583.92 102.95 5.67 1000000 0 1042.13/1042.48 c 347 571 574.44 108.30 5.30 1000000 0 1043.93/1044.20 c 352 659 565.92 94.48 5.99 1000000 0 1045.63/1045.92 c 348 502 583.77 99.75 5.85 1000000 0 1047.33/1047.63 c 302 550 558.25 95.25 5.86 1000000 0 1049.04/1049.35 c 338 558 578.10 101.03 5.72 1000000 0 1050.73/1051.07 c 316 524 567.96 106.79 5.32 1000000 0 1052.43/1052.79 c 347 524 574.17 108.58 5.29 1000000 0 1054.23/1054.50 c 351 517 564.36 97.49 5.79 1000000 0 1055.93/1056.21 c 335 617 568.88 95.42 5.96 1000000 0 1057.63/1057.93 c 335 505 571.06 111.49 5.12 1000000 0 1059.33/1059.64 c 342 527 572.56 104.11 5.50 1000000 0 1061.02/1061.36 c 343 579 561.30 109.57 5.12 1000000 0 1062.72/1063.08 c 320 483 571.19 99.32 5.75 1000000 0 1064.43/1064.79 c 348 481 573.24 98.40 5.83 1000000 0 1066.22/1066.51 c 305 451 558.09 119.60 4.67 1000000 0 1067.92/1068.23 c 357 647 573.63 102.61 5.59 1000000 0 1069.62/1069.96 c 305 481 582.81 102.64 5.68 1000000 0 1071.32/1071.67 c 350 572 563.99 94.75 5.95 1000000 0 1073.02/1073.39 c 326 498 577.64 112.48 5.14 1000000 0 1074.82/1075.11 c 355 571 582.02 95.56 6.09 1000000 0 1076.53/1076.83 c 359 630 577.29 127.73 4.52 1000000 0 1078.22/1078.56 c 338 560 571.20 109.08 5.24 1000000 0 1079.93/1080.27 c 357 640 582.84 99.67 5.85 1000000 0 1081.62/1081.99 c 353 529 559.13 100.99 5.54 1000000 0 1083.42/1083.72 c 367 569 579.51 106.68 5.43 1000000 0 1085.12/1085.44 c 350 569 593.87 103.17 5.76 1000000 0 1086.82/1087.16 c 360 636 576.48 100.18 5.75 1000000 0 1088.52/1088.88 c 358 445 571.79 83.18 6.87 1000000 0 1090.32/1090.60 c 282 660 572.69 115.46 4.96 1000000 0 1092.02/1092.32 c 321 499 582.86 114.77 5.08 1000000 0 1093.72/1094.05 c 370 601 579.91 104.58 5.55 1000000 0 1095.41/1095.77 c 333 444 571.19 115.65 4.94 1000000 0 1097.21/1097.50 c 359 667 604.76 111.37 5.43 1000000 0 1098.91/1099.21 c 321 608 563.08 95.99 5.87 1000000 0 1100.61/1100.94 c 366 499 595.32 105.78 5.63 1000000 0 1102.31/1102.66 c 386 492 573.17 88.77 6.46 1000000 0 1104.02/1104.37 c 292 546 560.52 119.63 4.69 1000000 0 1105.71/1106.09 c 338 531 569.15 103.73 5.49 1000000 0 1107.51/1107.81 c 313 639 568.77 85.46 6.66 1000000 0 1109.21/1109.53 c 323 439 573.55 97.27 5.90 1000000 0 1110.91/1111.24 c 320 443 570.39 84.31 6.77 1000000 0 1112.61/1112.96 c 315 545 581.45 115.68 5.03 1000000 0 1114.31/1114.68 c 365 487 570.16 100.39 5.68 1000000 0 1116.12/1116.40 c 335 592 570.89 94.65 6.03 1000000 0 1117.81/1118.12 c 337 601 577.09 116.73 4.94 1000000 0 1119.52/1119.85 c 375 463 581.28 103.81 5.60 1000000 0 1121.21/1121.57 c 356 524 563.97 90.44 6.24 1000000 0 1122.91/1123.29 c 335 589 581.89 107.76 5.40 1000000 0 1124.71/1125.01 c 380 603 583.26 95.90 6.08 1000000 0 1126.41/1126.74 c 343 579 588.50 110.92 5.31 1000000 0 1128.11/1128.47 c 370 503 589.12 111.02 5.31 1000000 0 1129.81/1130.18 c 347 636 573.76 100.58 5.70 1000000 0 1131.61/1131.91 c 301 514 572.49 112.98 5.07 1000000 0 1133.31/1133.63 c 344 530 584.75 100.77 5.80 1000000 0 1135.01/1135.35 c 310 518 564.15 91.25 6.18 1000000 0 1136.71/1137.07 c 335 631 581.89 111.82 5.20 1000000 0 1138.40/1138.79 c 348 470 575.85 91.66 6.28 1000000 0 1140.20/1140.51 c 332 560 568.96 95.08 5.98 1000000 0 1141.90/1142.23 c 341 502 572.47 98.98 5.78 1000000 0 1143.61/1143.95 c 340 547 576.67 95.56 6.03 1000000 0 1145.30/1145.68 c 360 701 583.59 110.34 5.29 1000000 0 1147.01/1147.39 c 334 511 581.75 95.79 6.07 1000000 0 1148.80/1149.12 c 320 436 590.30 103.49 5.70 1000000 0 1150.50/1150.84 c 292 635 582.07 131.16 4.44 1000000 0 1152.20/1152.56 c 332 438 574.65 117.08 4.91 1000000 0 1153.90/1154.28 c 329 542 564.06 118.30 4.77 1000000 0 1155.71/1156.00 c 339 499 578.56 94.16 6.14 1000000 0 1157.40/1157.72 c 346 557 576.21 108.37 5.32 1000000 0 1159.11/1159.43 c 304 520 551.81 107.36 5.14 1000000 0 1160.80/1161.15 c 347 599 570.79 102.28 5.58 1000000 0 1162.50/1162.88 c 333 533 574.21 103.16 5.57 1000000 0 1164.31/1164.60 c 348 480 583.03 88.32 6.60 1000000 0 1166.01/1166.33 c 314 496 581.39 102.97 5.65 1000000 0 1167.71/1168.05 c 332 548 569.71 102.86 5.54 1000000 0 1169.41/1169.77 c 342 441 564.09 86.44 6.53 1000000 0 1171.11/1171.49 c 351 494 582.34 113.43 5.13 1000000 0 1172.90/1173.20 c 354 503 573.94 108.19 5.30 1000000 0 1174.61/1174.92 c 355 484 557.93 97.55 5.72 1000000 0 1176.31/1176.63 c 323 543 551.35 108.96 5.06 1000000 0 1178.00/1178.36 c 340 610 567.57 102.56 5.53 1000000 0 1179.70/1180.07 c 317 562 554.34 96.45 5.75 1000000 0 1181.40/1181.79 c 326 585 563.03 122.41 4.60 1000000 0 1183.21/1183.50 c 317 587 564.34 121.08 4.66 1000000 0 1184.90/1185.22 c 345 703 578.64 100.37 5.77 1000000 0 1186.61/1186.94 c 325 462 561.28 105.18 5.34 1000000 0 1188.30/1188.66 c 382 544 575.44 95.67 6.01 1000000 0 1190.00/1190.39 c 359 440 584.24 112.61 5.19 1000000 0 1191.80/1192.10 c 357 532 571.43 91.76 6.23 1000000 0 1193.50/1193.82 c 367 505 566.07 99.08 5.71 1000000 0 1195.20/1195.54 c 341 639 586.30 106.01 5.53 1000000 0 1196.90/1197.27 c 362 545 556.10 89.21 6.23 1000000 0 1198.61/1198.99 c 325 547 564.17 94.83 5.95 1000000 0 1200.40/1200.71 c 341 600 579.42 117.64 4.93 1000000 0 1202.10/1202.42 c 320 643 560.28 100.74 5.56 1000000 0 1203.80/1204.15 c 365 624 594.18 102.72 5.78 1000000 0 1205.50/1205.87 c 359 448 565.81 117.01 4.84 1000000 0 1207.20/1207.59 c 309 573 567.66 101.36 5.60 1000000 0 1209.00/1209.30 c 334 482 568.00 89.94 6.32 1000000 0 1210.70/1211.02 c 302 576 568.50 117.74 4.83 1000000 0 1212.40/1212.73 c 352 640 569.02 102.78 5.54 1000000 0 1214.10/1214.45 c 327 518 577.78 102.69 5.63 1000000 0 1215.80/1216.19 c 350 608 594.04 104.58 5.68 1000000 0 1217.59/1217.91 c 348 521 579.84 97.36 5.96 1000000 0 1219.29/1219.62 c 343 556 562.25 101.46 5.54 1000000 0 1220.99/1221.35 c 339 539 591.05 123.99 4.77 1000000 0 1222.69/1223.08 c 355 472 586.63 121.57 4.83 1000000 0 1224.39/1224.80 c 329 674 572.57 95.01 6.03 1000000 0 1226.20/1226.52 c 367 470 568.24 107.89 5.27 1000000 0 1227.89/1228.23 c 359 655 580.20 89.51 6.48 1000000 0 1229.59/1229.95 c 346 598 583.56 93.25 6.26 1000000 0 1231.29/1231.67 c 348 621 575.24 112.23 5.13 1000000 0 1232.99/1233.39 c 266 557 565.19 96.88 5.83 1000000 0 1234.79/1235.11 c 328 547 574.57 93.44 6.15 1000000 0 1236.49/1236.83 c 327 543 576.51 118.45 4.87 1000000 0 1238.20/1238.56 c 352 634 601.89 104.39 5.77 1000000 0 1239.89/1240.28 c 350 604 583.27 104.80 5.57 1000000 0 1241.60/1241.99 c 352 522 563.82 116.69 4.83 1000000 0 1243.39/1243.72 c 363 658 576.81 105.37 5.47 1000000 0 1245.09/1245.44 c 352 553 574.43 126.94 4.53 1000000 0 1246.79/1247.16 c 327 639 573.98 126.67 4.53 1000000 0 1248.49/1248.88 c 328 461 578.97 104.77 5.53 1000000 0 1250.29/1250.60 c 314 568 570.68 92.94 6.14 1000000 0 1251.99/1252.33 c 365 562 576.41 94.32 6.11 1000000 0 1253.69/1254.05 c 339 432 559.80 99.92 5.60 1000000 0 1255.39/1255.78 c 328 539 600.72 113.20 5.31 1000000 0 1257.18/1257.50 c 359 540 588.18 110.88 5.30 1000000 0 1258.88/1259.22 c 337 612 565.73 111.80 5.06 1000000 0 1260.58/1260.93 c 358 509 568.04 103.94 5.47 1000000 0 1262.28/1262.65 c 369 621 578.47 101.22 5.72 1000000 0 1263.98/1264.37 c 350 569 582.56 94.25 6.18 1000000 0 1265.69/1266.08 c 314 535 550.27 97.24 5.66 1000000 0 1267.48/1267.81 c 360 490 585.94 114.91 5.10 1000000 0 1269.18/1269.52 c 336 551 564.71 90.90 6.21 1000000 0 1270.88/1271.24 c 382 527 572.01 111.50 5.13 1000000 0 1272.58/1272.95 c 338 570 571.01 94.66 6.03 1000000 0 1274.28/1274.68 c 344 423 569.94 100.19 5.69 1000000 0 1275.98/1276.39 c 360 563 565.03 96.06 5.88 1000000 0 1277.79/1278.11 c 286 685 571.37 109.83 5.20 1000000 0 1279.48/1279.84 c 318 488 577.64 109.36 5.28 1000000 0 1281.19/1281.56 c 351 618 572.71 109.59 5.23 1000000 0 1282.88/1283.29 c 341 542 571.28 123.99 4.61 1000000 0 1284.68/1285.01 c 290 667 581.09 123.56 4.70 1000000 0 1286.38/1286.74 c 355 444 589.03 110.55 5.33 1000000 0 1288.08/1288.46 c 332 452 561.37 84.14 6.67 1000000 0 1289.78/1290.18 c 315 400 575.74 121.27 4.75 1000000 0 1291.58/1291.91 c 327 499 566.08 103.49 5.47 1000000 0 1293.28/1293.62 c 339 618 569.02 107.75 5.28 1000000 0 1294.98/1295.34 c 314 504 560.42 105.79 5.30 1000000 0 1296.68/1297.06 c 321 441 558.62 106.32 5.25 1000000 0 1298.38/1298.77 c 303 462 566.55 92.39 6.13 1000000 0 1300.07/1300.49 c 311 602 563.66 125.75 4.48 1000000 0 1301.87/1302.20 c 357 641 568.50 109.04 5.21 1000000 0 1303.57/1303.92 c 368 592 571.67 114.04 5.01 1000000 0 1305.28/1305.64 c 347 598 570.04 94.27 6.05 1000000 0 1306.97/1307.35 c 387 614 574.69 96.01 5.99 1000000 0 1308.68/1309.07 c 340 560 578.12 105.36 5.49 1000000 0 1310.47/1310.80 c 303 474 584.13 102.87 5.68 1000000 0 1312.17/1312.52 c 373 394 570.93 105.58 5.41 1000000 0 1313.87/1314.24 c 342 496 576.72 103.92 5.55 1000000 0 1315.57/1315.96 c 324 529 578.07 102.90 5.62 1000000 0 1317.27/1317.69 c 345 765 581.53 120.83 4.81 1000000 0 1319.07/1319.41 c 355 707 583.08 96.17 6.06 1000000 0 1320.78/1321.14 c 342 585 580.07 120.30 4.82 1000000 0 1322.47/1322.86 c 325 651 574.56 97.03 5.92 1000000 0 1324.17/1324.58 c 345 519 564.02 93.50 6.03 1000000 0 1325.97/1326.30 c 342 538 572.86 112.00 5.11 1000000 0 1327.67/1328.03 c 346 564 585.25 115.54 5.07 1000000 0 1329.37/1329.75 c 390 560 586.17 96.72 6.06 1000000 0 1331.07/1331.48 c 329 514 571.17 108.45 5.27 1000000 0 1332.77/1333.20 c 319 627 573.06 101.96 5.62 1000000 0 1334.57/1334.92 c 343 570 587.10 104.01 5.64 1000000 0 1336.27/1336.64 c 348 451 565.80 108.56 5.21 1000000 0 1337.97/1338.35 c 278 518 557.98 97.66 5.71 1000000 0 1339.67/1340.06 c 341 579 568.63 107.22 5.30 1000000 0 1341.37/1341.78 c 336 605 567.30 105.71 5.37 1000000 0 1343.06/1343.49 c 402 515 574.12 88.21 6.51 1000000 0 1344.87/1345.22 c 332 594 589.65 117.85 5.00 1000000 0 1346.56/1346.94 c 335 496 569.55 98.74 5.77 1000000 0 1348.27/1348.67 c 353 602 578.17 101.03 5.72 1000000 0 1349.96/1350.39 c 345 624 584.11 100.37 5.82 1000000 0 1351.76/1352.11 c 335 467 564.94 98.98 5.71 1000000 0 1353.46/1353.83 c 345 484 561.93 94.00 5.98 1000000 0 1355.16/1355.56 c 369 636 590.33 103.03 5.73 1000000 0 1356.86/1357.28 c 357 606 576.87 98.52 5.86 1000000 0 1358.56/1358.99 c 327 491 562.46 114.11 4.93 1000000 0 1360.37/1360.71 c 352 566 578.53 110.45 5.24 1000000 0 1362.06/1362.42 c 324 419 560.60 98.66 5.68 1000000 0 1363.76/1364.14 c 378 456 566.11 101.19 5.59 1000000 0 1365.46/1365.87 c 353 607 593.28 103.93 5.71 1000000 0 1367.16/1367.59 c 322 625 567.01 93.97 6.03 1000000 0 1368.96/1369.31 c 359 539 583.65 113.14 5.16 1000000 0 1370.66/1371.03 c 332 480 564.44 110.04 5.13 1000000 0 1372.36/1372.75 c 334 450 558.17 115.70 4.82 1000000 0 1374.06/1374.46 c 300 507 562.44 118.14 4.76 1000000 0 1375.76/1376.18 c 380 560 579.22 87.10 6.65 1000000 0 1377.56/1377.90 c 344 675 571.44 107.90 5.30 1000000 0 1379.26/1379.62 c 328 473 565.18 125.56 4.50 1000000 0 1380.96/1381.34 c 350 609 581.82 110.23 5.28 1000000 0 1382.66/1383.07 c 363 669 578.72 105.25 5.50 1000000 0 1384.36/1384.79 c 348 596 581.85 107.06 5.43 1000000 0 1386.15/1386.51 c 344 612 566.76 115.53 4.91 1000000 0 1387.86/1388.23 c 296 595 570.90 105.46 5.41 1000000 0 1389.55/1389.95 c 385 532 582.24 97.57 5.97 1000000 0 1391.25/1391.67 c 294 593 580.77 91.03 6.38 1000000 0 1392.95/1393.39 c 334 677 573.07 92.57 6.19 1000000 0 1394.75/1395.12 c 357 664 588.53 93.19 6.32 1000000 0 1396.45/1396.84 c 363 519 589.97 120.22 4.91 1000000 0 1398.15/1398.55 c 327 507 558.85 105.98 5.27 1000000 0 1399.86/1400.29 c 384 501 595.88 101.94 5.85 1000000 0 1401.65/1402.00 c 344 382 565.97 98.15 5.77 1000000 0 1403.35/1403.72 c 340 633 564.48 123.17 4.58 1000000 0 1405.05/1405.43 c 322 797 556.68 102.30 5.44 1000000 0 1406.75/1407.16 c 370 636 589.99 98.02 6.02 1000000 0 1408.45/1408.89 c 345 599 570.83 92.65 6.16 1000000 0 1410.25/1410.61 c 370 681 580.78 87.35 6.65 1000000 0 1411.95/1412.33 c 341 584 564.88 120.70 4.68 1000000 0 1413.65/1414.05 c 342 378 581.90 102.39 5.68 1000000 0 1415.35/1415.77 c 359 610 573.91 97.53 5.88 1000000 0 1417.05/1417.48 c 330 607 574.67 93.85 6.12 1000000 0 1418.85/1419.20 c 347 447 566.09 109.85 5.15 1000000 0 1420.55/1420.93 c 331 493 575.77 116.67 4.93 1000000 0 1422.24/1422.65 c 351 448 568.50 104.64 5.43 1000000 0 1423.94/1424.37 c 337 602 573.83 107.99 5.31 1000000 0 1425.64/1426.08 c 338 569 553.79 86.77 6.38 1000000 0 1427.35/1427.80 c 334 594 574.55 113.52 5.06 1000000 0 1429.14/1429.51 c 355 595 576.39 91.54 6.30 1000000 0 1430.84/1431.24 c 338 507 578.48 95.87 6.03 1000000 0 1432.54/1432.95 c 312 516 568.70 108.39 5.25 1000000 0 1434.24/1434.67 c 382 597 571.43 97.25 5.88 1000000 0 1435.94/1436.39 c 335 619 577.49 95.65 6.04 1000000 0 1437.74/1438.10 c 371 590 576.66 108.94 5.29 1000000 0 1439.45/1439.83 c 347 617 582.27 126.79 4.59 1000000 0 1441.14/1441.54 c 331 666 561.08 101.50 5.53 1000000 0 1442.85/1443.28 c 376 697 598.87 103.47 5.79 1000000 0 1444.64/1445.00 c 350 418 589.75 109.80 5.37 1000000 0 1446.34/1446.72 c 316 515 567.10 106.76 5.31 1000000 0 1448.04/1448.45 c 314 519 583.72 116.79 5.00 1000000 0 1449.74/1450.17 c 372 534 584.92 96.66 6.05 1000000 0 1451.44/1451.89 c 302 457 559.13 100.29 5.57 1000000 0 1453.24/1453.60 c 341 498 562.11 97.13 5.79 1000000 0 1454.94/1455.32 c 337 582 574.43 101.79 5.64 1000000 0 1456.64/1457.03 c 332 506 571.81 105.52 5.42 1000000 0 1458.34/1458.75 c 351 460 564.26 96.79 5.83 1000000 0 1460.04/1460.48 c 340 457 572.28 86.48 6.62 1000000 0 1461.74/1462.19 c 336 404 571.02 102.43 5.57 1000000 0 1463.53/1463.91 c 331 573 583.62 120.49 4.84 1000000 0 1465.23/1465.63 c 358 532 571.79 114.31 5.00 1000000 0 1466.94/1467.35 c 368 656 552.35 91.95 6.01 1000000 0 1468.63/1469.07 c 353 596 582.76 98.20 5.93 1000000 0 1470.34/1470.79 c 308 599 579.04 109.36 5.29 1000000 0 1472.13/1472.51 c 324 626 565.03 92.50 6.11 1000000 0 1473.83/1474.23 c 312 594 578.14 108.57 5.32 1000000 0 1475.53/1475.96 c 327 596 572.78 110.96 5.16 1000000 0 1477.23/1477.68 c 364 465 575.98 125.72 4.58 1000000 0 1479.04/1479.41 c 331 634 583.60 114.48 5.10 1000000 0 1480.73/1481.13 c 358 585 561.54 116.55 4.82 1000000 0 1482.44/1482.84 c 380 583 578.39 85.42 6.77 1000000 0 1484.13/1484.56 c 351 571 566.09 111.00 5.10 1000000 0 1485.83/1486.29 c 356 514 589.42 91.78 6.42 1000000 0 1487.63/1488.01 c 319 581 565.05 103.52 5.46 1000000 0 1489.33/1489.73 c 363 614 586.41 127.83 4.59 1000000 0 1491.03/1491.44 c 304 574 554.73 93.90 5.91 1000000 0 1492.73/1493.17 c 333 696 577.06 103.28 5.59 1000000 0 1494.43/1494.89 c 346 482 583.76 107.52 5.43 1000000 0 1496.23/1496.62 c 347 566 585.87 112.96 5.19 1000000 0 1497.93/1498.34 c 365 620 572.99 103.15 5.56 1000000 0 1499.63/1500.06 c 325 406 584.96 114.09 5.13 1000000 0 1501.33/1501.79 c 344 560 566.53 91.24 6.21 1000000 0 1503.13/1503.52 c 350 556 593.52 97.38 6.09 1000000 0 1504.82/1505.24 c 305 513 574.18 135.13 4.25 1000000 0 1506.53/1506.97 c 364 464 578.45 105.29 5.49 1000000 0 1508.22/1508.68 c 307 593 562.42 104.47 5.38 1000000 0 1510.02/1510.40 c 357 739 575.61 93.85 6.13 1000000 0 1511.72/1512.12 c 315 612 574.65 130.14 4.42 1000000 0 1513.42/1513.85 c 265 634 572.10 109.73 5.21 1000000 0 1515.12/1515.57 c 331 658 568.89 122.37 4.65 1000000 0 1516.82/1517.28 c 337 480 564.72 98.68 5.72 1000000 0 1518.63/1519.00 c 318 601 566.39 100.74 5.62 1000000 0 1520.32/1520.72 c 318 631 572.59 107.10 5.35 1000000 0 1522.03/1522.43 c 301 620 552.40 97.15 5.69 1000000 0 1523.72/1524.15 c 352 533 567.01 96.98 5.85 1000000 0 1525.42/1525.87 c 346 503 574.38 97.12 5.91 1000000 0 1527.12/1527.58 c 349 490 563.91 93.58 6.03 1000000 0 1528.92/1529.32 c 390 574 589.75 120.87 4.88 1000000 0 1530.62/1531.03 c 308 529 573.27 102.27 5.61 1000000 0 1532.32/1532.76 c 379 503 586.26 104.58 5.61 1000000 0 1534.02/1534.49 c 380 566 594.94 101.17 5.88 1000000 0 1535.82/1536.21 c 342 622 577.60 101.73 5.68 1000000 0 1537.52/1537.93 c 350 665 568.39 107.08 5.31 1000000 0 1539.22/1539.65 c 347 530 581.06 99.43 5.84 1000000 0 1540.92/1541.37 c 353 543 560.03 102.54 5.46 1000000 0 1542.62/1543.09 c 305 652 580.38 100.61 5.77 1000000 0 1544.42/1544.80 c 336 670 571.64 91.46 6.25 1000000 0 1546.12/1546.53 c 329 466 595.43 133.15 4.47 1000000 0 1547.81/1548.26 c 317 586 583.03 107.72 5.41 1000000 0 1549.52/1549.98 c 348 500 578.45 108.65 5.32 1000000 0 1551.31/1551.70 c 321 500 577.12 93.89 6.15 1000000 0 1553.01/1553.43 c 321 539 561.65 116.65 4.81 1000000 0 1554.71/1555.14 c 356 529 566.58 109.95 5.15 1000000 0 1556.41/1556.87 c 313 607 585.34 113.75 5.15 1000000 0 1558.11/1558.58 c 346 507 562.63 105.17 5.35 1000000 0 1559.81/1560.29 c 323 496 573.85 95.66 6.00 1000000 0 1561.62/1562.02 c 322 461 577.06 121.77 4.74 1000000 0 1563.31/1563.74 c 335 631 580.40 107.86 5.38 1000000 0 1565.01/1565.45 c 331 713 558.44 92.60 6.03 1000000 0 1566.71/1567.17 c 321 539 570.39 125.34 4.55 1000000 0 1568.41/1568.88 c 360 516 563.41 103.17 5.46 1000000 0 1570.11/1570.59 c 333 592 568.27 89.60 6.34 1000000 0 1571.91/1572.32 c 339 529 596.69 116.16 5.14 1000000 0 1573.61/1574.05 c 322 479 584.45 95.93 6.09 1000000 0 1575.31/1575.77 c 355 501 567.85 106.97 5.31 1000000 0 1577.02/1577.48 c 362 530 562.28 101.12 5.56 1000000 0 1578.81/1579.20 c 330 493 573.74 110.04 5.21 1000000 0 1580.51/1580.92 c 362 482 561.08 95.42 5.88 1000000 0 1582.21/1582.63 c 309 417 554.58 111.27 4.98 1000000 0 1583.91/1584.35 c 351 582 584.13 103.42 5.65 1000000 0 1585.60/1586.08 c 353 625 577.13 93.98 6.14 1000000 0 1587.40/1587.80 c 349 616 562.27 95.97 5.86 1000000 0 1589.11/1589.52 c 337 571 589.57 120.77 4.88 1000000 0 1590.80/1591.25 c 352 587 582.90 110.56 5.27 1000000 0 1592.50/1592.97 c 364 596 572.50 101.92 5.62 1000000 0 1594.20/1594.68 c 342 518 564.73 91.85 6.15 1000000 0 1596.00/1596.40 c 317 701 578.94 101.96 5.68 1000000 0 1597.70/1598.12 c 340 533 571.55 102.79 5.56 1000000 0 1599.40/1599.84 c 294 535 570.56 108.58 5.25 1000000 0 1601.11/1601.56 c 333 628 571.66 129.22 4.42 1000000 0 1602.80/1603.28 c 327 588 570.76 108.73 5.25 1000000 0 1604.51/1604.98 c 295 682 532.88 87.41 6.10 1000000 0 1606.20/1606.69 c 355 523 561.38 96.93 5.79 1000000 0 1608.00/1608.41 c 392 522 582.40 89.92 6.48 1000000 0 1609.70/1610.14 c 325 684 581.82 110.07 5.29 1000000 0 1611.40/1611.86 c 359 595 567.23 113.45 5.00 1000000 0 1613.10/1613.58 c 369 475 576.35 114.39 5.04 1000000 0 1614.90/1615.30 c 269 551 549.30 113.85 4.82 1000000 0 1616.60/1617.02 c 317 522 576.18 91.93 6.27 1000000 0 1618.30/1618.75 c 324 492 587.74 116.64 5.04 1000000 0 1620.00/1620.47 c 332 504 584.68 105.51 5.54 1000000 0 1621.80/1622.21 c 329 636 587.78 120.50 4.88 1000000 0 1623.50/1623.93 c 366 820 579.08 110.93 5.22 1000000 0 1625.19/1625.64 c 304 587 563.81 107.46 5.25 1000000 0 1626.89/1627.36 c 304 543 568.66 106.00 5.36 1000000 0 1628.60/1629.07 c 331 521 551.79 95.45 5.78 1000000 0 1630.29/1630.79 c 325 571 567.65 93.95 6.04 1000000 0 1632.09/1632.51 c 353 544 589.12 97.91 6.02 1000000 0 1633.79/1634.23 c 314 421 576.35 111.24 5.18 1000000 0 1635.49/1635.95 c 355 585 577.61 102.32 5.64 1000000 0 1637.19/1637.67 c 324 717 579.03 98.64 5.87 1000000 0 1638.89/1639.38 c 322 678 561.60 111.21 5.05 1000000 0 1640.59/1641.09 c 323 472 547.77 97.55 5.62 1000000 0 1642.39/1642.80 c 336 467 565.92 93.03 6.08 1000000 0 1644.10/1644.53 c 355 608 593.29 101.34 5.85 1000000 0 1645.79/1646.24 c 325 650 554.18 101.66 5.45 1000000 0 1647.49/1647.96 c 336 510 577.45 98.41 5.87 1000000 0 1649.19/1649.67 c 339 635 569.67 98.22 5.80 1000000 0 1650.99/1651.40 c 310 433 582.29 106.30 5.48 1000000 0 1652.69/1653.12 c 331 536 574.04 111.29 5.16 1000000 0 1654.39/1654.84 c 315 534 566.31 90.65 6.25 1000000 0 1656.09/1656.56 c 315 522 574.99 116.75 4.93 1000000 0 1657.79/1658.28 c 346 450 570.16 110.34 5.17 1000000 0 1659.49/1660.00 c 341 624 579.28 111.65 5.19 1000000 0 1661.29/1661.71 c 341 523 575.34 88.25 6.52 1000000 0 1662.99/1663.43 c 348 520 577.41 117.71 4.91 1000000 0 1664.68/1665.16 c 331 550 572.25 117.62 4.87 1000000 0 1666.38/1666.88 c 375 690 582.60 89.78 6.49 1000000 0 1668.19/1668.60 c 332 436 554.07 112.87 4.91 1000000 0 1669.88/1670.31 c 289 677 569.43 99.34 5.73 1000000 0 1671.59/1672.03 c 334 445 577.28 98.73 5.85 1000000 0 1673.28/1673.75 c 337 465 580.78 112.80 5.15 1000000 0 1674.98/1675.48 c 319 482 569.29 115.44 4.93 1000000 0 1676.78/1677.21 c 359 589 577.80 101.83 5.67 1000000 0 1678.48/1678.92 c 330 389 568.48 100.53 5.65 1000000 0 1680.18/1680.65 c 366 592 589.56 103.01 5.72 1000000 0 1681.88/1682.37 c 348 434 566.87 101.55 5.58 1000000 0 1683.59/1684.09 c 295 572 562.05 113.93 4.93 1000000 0 1685.38/1685.80 c 357 602 561.85 102.17 5.50 1000000 0 1687.08/1687.52 c 357 561 578.95 99.84 5.80 1000000 0 1688.78/1689.23 c 315 519 555.57 93.45 5.94 1000000 0 1690.48/1690.95 c 277 466 582.21 117.27 4.96 1000000 0 1692.18/1692.67 c 290 438 563.21 105.04 5.36 1000000 0 1693.88/1694.39 c 271 616 567.74 114.83 4.94 1000000 0 1695.68/1696.11 c 319 636 575.26 108.09 5.32 1000000 0 1697.38/1697.84 c 366 523 589.83 123.71 4.77 1000000 0 1699.08/1699.57 c 347 534 574.89 109.23 5.26 1000000 0 1700.78/1701.28 c 343 658 564.91 94.20 6.00 1000000 0 1702.58/1703.00 c 340 548 575.62 122.63 4.69 1000000 0 1704.27/1704.71 c 325 591 561.16 93.83 5.98 1000000 0 1705.97/1706.43 c 349 634 575.14 96.28 5.97 1000000 0 1707.67/1708.15 c 374 466 574.32 124.04 4.63 1000000 0 1709.37/1709.86 c 331 671 564.03 96.81 5.83 1000000 0 1711.08/1711.59 c 346 563 577.48 95.23 6.06 1000000 0 1712.87/1713.31 c 355 678 567.36 92.90 6.11 1000000 0 1714.57/1715.03 c 305 625 578.28 100.93 5.73 1000000 0 1716.27/1716.73 c 332 501 556.83 81.73 6.81 1000000 0 1717.97/1718.45 c 367 709 570.17 88.69 6.43 1000000 0 1719.67/1720.17 c 347 463 573.31 109.40 5.24 1000000 0 1721.47/1721.90 c 351 616 596.63 111.67 5.34 1000000 0 1723.18/1723.62 c 334 550 579.16 92.10 6.29 1000000 0 1724.87/1725.34 c 286 500 581.75 99.30 5.86 1000000 0 1726.58/1727.06 c 363 631 584.42 105.85 5.52 1000000 0 1728.27/1728.78 c 366 563 576.26 101.06 5.70 1000000 0 1729.97/1730.49 c 343 540 573.73 103.64 5.54 1000000 0 1731.77/1732.21 c 324 484 578.04 100.28 5.76 1000000 0 1733.47/1733.92 c 320 585 560.67 109.41 5.12 1000000 0 1735.17/1735.65 c 349 673 575.24 105.30 5.46 1000000 0 1736.87/1737.36 c 345 604 554.34 88.39 6.27 1000000 0 1738.57/1739.07 c 316 611 563.75 102.71 5.49 1000000 0 1740.27/1740.79 c 302 684 579.04 102.60 5.64 1000000 0 1742.07/1742.52 c 321 578 580.83 121.23 4.79 1000000 0 1743.76/1744.23 c 308 585 561.57 93.64 6.00 1000000 0 1745.46/1745.95 c 335 515 562.96 105.64 5.33 1000000 0 1747.16/1747.67 c 345 545 570.54 131.23 4.35 1000000 0 1748.86/1749.39 c 336 520 578.72 140.05 4.13 1000000 0 1750.67/1751.12 c 367 637 571.75 92.40 6.19 1000000 0 1752.36/1752.84 c 354 744 588.28 92.32 6.37 1000000 0 1754.07/1754.57 c 305 594 578.12 93.87 6.16 1000000 0 1755.76/1756.29 c 337 571 574.14 124.32 4.62 1000000 0 1757.56/1758.01 c 331 530 572.03 110.56 5.17 1000000 0 1759.26/1759.73 c 262 536 564.78 95.36 5.92 1000000 0 1760.96/1761.44 c 335 747 572.38 105.66 5.42 1000000 0 1762.66/1763.16 c 328 624 564.40 100.04 5.64 1000000 0 1764.36/1764.87 c 309 516 567.42 107.01 5.30 1000000 0 1766.07/1766.59 c 361 716 570.91 101.14 5.64 1000000 0 1767.76/1768.29 c 320 515 552.51 94.72 5.83 1000000 0 1769.56/1770.00 c 335 534 549.27 87.51 6.28 1000000 0 1771.26/1771.72 c 371 631 579.40 98.66 5.87 1000000 0 1772.96/1773.44 c 361 667 589.70 109.88 5.37 1000000 0 1774.66/1775.16 c 331 488 559.39 107.08 5.22 1000000 0 1776.36/1776.89 c 364 475 588.82 106.30 5.54 1000000 0 1778.16/1778.61 c 308 601 562.56 97.31 5.78 1000000 0 1779.85/1780.34 c 376 484 608.20 113.23 5.37 1000000 0 1781.56/1782.06 c 373 565 575.04 92.99 6.18 1000000 0 1783.25/1783.77 c 324 553 564.80 98.11 5.76 1000000 0 1784.95/1785.49 c 349 627 573.02 108.80 5.27 1000000 0 1786.75/1787.21 c 277 573 566.09 104.00 5.44 1000000 0 1788.45/1788.93 c 314 515 587.01 94.54 6.21 1000000 0 1790.15/1790.65 c 368 461 576.21 81.98 7.03 1000000 0 1791.85/1792.37 c 305 561 575.83 111.70 5.16 1000000 0 1793.56/1794.09 c 345 526 559.03 91.48 6.11 1000000 0 1795.35/1795.82 c 370 534 589.15 95.73 6.15 1000000 0 1797.05/1797.52 c 340 560 551.94 94.02 5.87 1000000 0 1798.75/1799.24 c 328 638 565.87 95.46 5.93 1000000 0 1800.06/1800.51 HOME/run: line 2: 21856 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-2685224-1278440285/watcher-2685224-1278440285 -o /tmp/evaluation-result-2685224-1278440285/solver-2685224-1278440285 -C 1800 -W 2000 -M 1800 run HOME/instance-2685224-1278440285.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.95 1.00 0.99 3/106 21855 /proc/meminfo: memFree=1834876/2059040 swapFree=4177548/4192956 [pid=21855] ppid=21853 vsize=8700 CPUtime=0 /proc/21855/stat : 21855 (run) R 21853 21855 21224 0 -1 4202496 344 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965050773 0 65538 4100 65536 0 0 0 17 1 0 0 0 /proc/21855/statm: 2175 244 204 178 0 68 0 [startup+0.0850409 s] /proc/loadavg: 0.95 1.00 0.99 3/106 21855 /proc/meminfo: memFree=1834876/2059040 swapFree=4177548/4192956 [pid=21855] ppid=21853 vsize=8700 CPUtime=0 /proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21855/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101041 s] /proc/loadavg: 0.95 1.00 0.99 3/106 21855 /proc/meminfo: memFree=1834876/2059040 swapFree=4177548/4192956 [pid=21855] ppid=21853 vsize=8700 CPUtime=0 /proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21855/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301059 s] /proc/loadavg: 0.95 1.00 0.99 3/106 21855 /proc/meminfo: memFree=1834876/2059040 swapFree=4177548/4192956 [pid=21855] ppid=21853 vsize=8700 CPUtime=0 /proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21855/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701094 s] /proc/loadavg: 0.95 1.00 0.99 3/106 21855 /proc/meminfo: memFree=1834876/2059040 swapFree=4177548/4192956 [pid=21855] ppid=21853 vsize=8700 CPUtime=0 /proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21855/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50116 s] /proc/loadavg: 0.95 1.00 0.99 2/108 21857 /proc/meminfo: memFree=1828412/2059040 swapFree=4177548/4192956 [pid=21855] ppid=21853 vsize=8700 CPUtime=0 /proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21855/statm: 2175 244 204 178 0 68 0 [pid=21856] ppid=21855 vsize=40452 CPUtime=1.49 /proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1648 0 0 0 149 0 0 0 25 0 1 0 12235017 41422848 1577 1992294400 134512640 135071400 4288647744 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21856/statm: 10113 1577 62 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.10131 s] /proc/loadavg: 0.95 1.00 0.99 2/108 21857 /proc/meminfo: memFree=1828164/2059040 swapFree=4177548/4192956 [pid=21855] ppid=21853 vsize=8700 CPUtime=0 /proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21855/statm: 2175 244 204 178 0 68 0 [pid=21856] ppid=21855 vsize=40452 CPUtime=3.09 /proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 309 0 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134526693 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21856/statm: 10113 1585 69 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.30158 s] /proc/loadavg: 0.95 1.00 0.99 2/108 21857 /proc/meminfo: memFree=1828040/2059040 swapFree=4177548/4192956 [pid=21855] ppid=21853 vsize=8700 CPUtime=0 /proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21855/statm: 2175 244 204 178 0 68 0 [pid=21856] ppid=21855 vsize=40452 CPUtime=6.29 /proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 629 0 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21856/statm: 10113 1585 69 137 0 9974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49152 [startup+12.7011 s] /proc/loadavg: 0.96 1.00 0.99 2/108 21858 /proc/meminfo: memFree=1827792/2059040 swapFree=4177548/4192956 [pid=21855] ppid=21853 vsize=8700 CPUtime=0 /proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21855/statm: 2175 244 204 178 0 68 0 [pid=21856] ppid=21855 vsize=40452 CPUtime=12.68 /proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 1268 0 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134525783 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21856/statm: 10113 1585 69 137 0 9974 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 49152 [startup+25.5003 s] /proc/loadavg: 0.96 1.00 0.99 2/108 21858 /proc/meminfo: memFree=1827792/2059040 swapFree=4177548/4192956 [pid=21855] ppid=21853 vsize=8700 CPUtime=0 /proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21855/statm: 2175 244 204 178 0 68 0 [pid=21856] ppid=21855 vsize=40452 CPUtime=25.48 /proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 2548 0 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134526366 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21856/statm: 10113 1585 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1005 s] /proc/loadavg: 0.97 1.00 0.99 2/108 21858 /proc/meminfo: memFree=1827792/2059040 swapFree=4177548/4192956 [pid=21855] ppid=21853 vsize=8700 CPUtime=0 /proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21855/statm: 2175 244 204 178 0 68 0 [pid=21856] ppid=21855 vsize=40452 CPUtime=51.07 /proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 5107 0 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134526951 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21856/statm: 10113 1585 69 137 0 9974 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 49152 [startup+102.308 s] /proc/loadavg: 0.99 1.00 0.99 2/108 21862 /proc/meminfo: memFree=1827172/2059040 swapFree=4177548/4192956 [pid=21855] ppid=21853 vsize=8700 CPUtime=0 /proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21855/statm: 2175 244 204 178 0 68 0 [pid=21856] ppid=21855 vsize=40452 CPUtime=102.27 /proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 10227 0 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134526863 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21856/statm: 10113 1585 69 137 0 9974 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 49152 [startup+162.3 s] /proc/loadavg: 0.99 1.00 0.99 2/108 21865 /proc/meminfo: memFree=1827048/2059040 swapFree=4177548/4192956 [pid=21855] ppid=21853 vsize=8700 CPUtime=0 /proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21855/statm: 2175 244 204 178 0 68 0 [pid=21856] ppid=21855 vsize=40452 CPUtime=162.24 /proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 16224 0 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134571983 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21856/statm: 10113 1585 69 137 0 9974 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 49152 [startup+222.301 s] /proc/loadavg: 0.99 1.00 0.99 3/108 21866 /proc/meminfo: memFree=1827048/2059040 swapFree=4177548/4192956 [pid=21855] ppid=21853 vsize=8700 CPUtime=0 /proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21855/statm: 2175 244 204 178 0 68 0 [pid=21856] ppid=21855 vsize=40452 CPUtime=222.23 /proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 22223 0 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134525608 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21856/statm: 10113 1585 69 137 0 9974 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 49152 [startup+282.301 s] /proc/loadavg: 0.99 1.00 0.99 2/108 21867 /proc/meminfo: memFree=1827048/2059040 swapFree=4177548/4192956 [pid=21855] ppid=21853 vsize=8700 CPUtime=0 /proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21855/statm: 2175 244 204 178 0 68 0 [pid=21856] ppid=21855 vsize=40452 CPUtime=282.22 /proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 28222 0 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134525852 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21856/statm: 10113 1585 69 137 0 9974 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 49152 [startup+342.3 s] /proc/loadavg: 0.99 1.00 0.99 2/108 21869 /proc/meminfo: memFree=1827048/2059040 swapFree=4177548/4192956 [pid=21855] ppid=21853 vsize=8700 CPUtime=0 /proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21855/statm: 2175 244 204 178 0 68 0 [pid=21856] ppid=21855 vsize=40452 CPUtime=342.2 /proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 34220 0 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134526498 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21856/statm: 10113 1585 69 137 0 9974 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 49152 [startup+402.301 s] /proc/loadavg: 0.99 1.00 0.99 2/108 21871 /proc/meminfo: memFree=1827048/2059040 swapFree=4177548/4192956 [pid=21855] ppid=21853 vsize=8700 CPUtime=0 /proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21855/statm: 2175 244 204 178 0 68 0 [pid=21856] ppid=21855 vsize=40452 CPUtime=402.18 /proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 40218 0 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134526747 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21856/statm: 10113 1585 69 137 0 9974 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 49152 [startup+462.301 s] ################ # More data... # ################ /proc/21855/statm: 2175 244 204 178 0 68 0 [pid=21856] ppid=21855 vsize=40452 CPUtime=1122.01 /proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 112200 1 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134526451 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21856/statm: 10113 1585 69 137 0 9974 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 0.99 2/108 21891 /proc/meminfo: memFree=1825560/2059040 swapFree=4177548/4192956 [pid=21855] ppid=21853 vsize=8700 CPUtime=0 /proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21855/statm: 2175 244 204 178 0 68 0 [pid=21856] ppid=21855 vsize=40452 CPUtime=1182 /proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 118198 2 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134526083 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21856/statm: 10113 1585 69 137 0 9974 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 0.99 2/108 21893 /proc/meminfo: memFree=1825188/2059040 swapFree=4177548/4192956 [pid=21855] ppid=21853 vsize=8700 CPUtime=0 /proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21855/statm: 2175 244 204 178 0 68 0 [pid=21856] ppid=21855 vsize=40452 CPUtime=1241.99 /proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 124197 2 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134526083 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21856/statm: 10113 1585 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 0.99 2/108 21895 /proc/meminfo: memFree=1825064/2059040 swapFree=4177548/4192956 [pid=21855] ppid=21853 vsize=8700 CPUtime=0 /proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21855/statm: 2175 244 204 178 0 68 0 [pid=21856] ppid=21855 vsize=40452 CPUtime=1301.98 /proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 130196 2 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134525783 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21856/statm: 10113 1585 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 0.99 2/108 21897 /proc/meminfo: memFree=1824940/2059040 swapFree=4177548/4192956 [pid=21855] ppid=21853 vsize=8700 CPUtime=0 /proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21855/statm: 2175 244 204 178 0 68 0 [pid=21856] ppid=21855 vsize=40452 CPUtime=1361.96 /proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 136194 2 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134526547 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21856/statm: 10113 1585 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 0.99 2/108 21898 /proc/meminfo: memFree=1824816/2059040 swapFree=4177548/4192956 [pid=21855] ppid=21853 vsize=8700 CPUtime=0 /proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21855/statm: 2175 244 204 178 0 68 0 [pid=21856] ppid=21855 vsize=40452 CPUtime=1421.95 /proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 142193 2 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21856/statm: 10113 1585 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 0.99 2/108 21899 /proc/meminfo: memFree=1824692/2059040 swapFree=4177548/4192956 [pid=21855] ppid=21853 vsize=8700 CPUtime=0 /proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21855/statm: 2175 244 204 178 0 68 0 [pid=21856] ppid=21855 vsize=40452 CPUtime=1481.93 /proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 148191 2 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134525608 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21856/statm: 10113 1585 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 0.99 1.00 0.99 2/108 21901 /proc/meminfo: memFree=1824568/2059040 swapFree=4177548/4192956 [pid=21855] ppid=21853 vsize=8700 CPUtime=0 /proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21855/statm: 2175 244 204 178 0 68 0 [pid=21856] ppid=21855 vsize=40452 CPUtime=1541.92 /proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 154190 2 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21856/statm: 10113 1585 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 0.99 2/108 21903 /proc/meminfo: memFree=1824568/2059040 swapFree=4177548/4192956 [pid=21855] ppid=21853 vsize=8700 CPUtime=0 /proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21855/statm: 2175 244 204 178 0 68 0 [pid=21856] ppid=21855 vsize=40452 CPUtime=1601.9 /proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 160188 2 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21856/statm: 10113 1585 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.06 1.02 1.00 2/108 21905 /proc/meminfo: memFree=1824320/2059040 swapFree=4177548/4192956 [pid=21855] ppid=21853 vsize=8700 CPUtime=0 /proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21855/statm: 2175 244 204 178 0 68 0 [pid=21856] ppid=21855 vsize=40452 CPUtime=1661.89 /proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 166187 2 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21856/statm: 10113 1585 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.02 1.01 1.00 2/108 21905 /proc/meminfo: memFree=1824196/2059040 swapFree=4177548/4192956 [pid=21855] ppid=21853 vsize=8700 CPUtime=0 /proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21855/statm: 2175 244 204 178 0 68 0 [pid=21856] ppid=21855 vsize=40452 CPUtime=1721.87 /proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 172185 2 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134537216 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21856/statm: 10113 1585 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21907 /proc/meminfo: memFree=1823948/2059040 swapFree=4177548/4192956 [pid=21855] ppid=21853 vsize=8700 CPUtime=0 /proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21855/statm: 2175 244 204 178 0 68 0 [pid=21856] ppid=21855 vsize=40452 CPUtime=1781.85 /proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 178183 2 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21856/statm: 10113 1585 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21908 /proc/meminfo: memFree=1823948/2059040 swapFree=4177548/4192956 [pid=21855] ppid=21853 vsize=8700 CPUtime=0 /proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21855/statm: 2175 244 204 178 0 68 0 [pid=21856] ppid=21855 vsize=40452 CPUtime=1800.06 /proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 180004 2 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21856/statm: 10113 1585 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) Sleeping 2Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21908 /proc/meminfo: memFree=1823948/2059040 swapFree=4177548/4192956 [pid=21855] ppid=21853 vsize=8700 CPUtime=0 /proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21855/statm: 2175 244 204 178 0 68 0 [pid=21856] ppid=21855 vsize=40452 CPUtime=1800.06 /proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 180004 2 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21856/statm: 10113 1585 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 49152 Child status: 143 Real time (s): 1800.51 CPU time (s): 1800.07 CPU user time (s): 1800.04 CPU system time (s): 0.025996 CPU usage (%): 99.9756 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.04 system time used= 0.025996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2029 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 5417 runsolver used 2.78858 second user time and 8.74567 second system time The end
Begin job on node055 at 2010-07-06 20:18:06 IDJOB=2685224 IDBENCH=75009 IDSOLVER=1171 FILE ID=node055/2685224-1278440285 PBS_JOBID= 11233487 Free space on /tmp= 62576 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j90/normalized-j9043_2-sat.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2685224-1278440285/watcher-2685224-1278440285 -o /tmp/evaluation-result-2685224-1278440285/solver-2685224-1278440285 -C 1800 -W 2000 -M 1800 run HOME/instance-2685224-1278440285.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c4e2de59bc6cb40f7cda886fdbd69868 RANDOM SEED=992800856 node055.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.224 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.44 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.224 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1835272 kB Buffers: 5972 kB Cached: 101608 kB SwapCached: 3164 kB Active: 32964 kB Inactive: 122192 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1835272 kB SwapTotal: 4192956 kB SwapFree: 4177548 kB Dirty: 2384 kB Writeback: 0 kB AnonPages: 44460 kB Mapped: 14436 kB Slab: 46532 kB PageTables: 4212 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 178500 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= 62576 MiB End job on node055 at 2010-07-06 20:48:06