Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 20.2809 | 20.2798 |
Name | /PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.3.accl.ucl--soft-66-100-0.wbo |
MD5SUM | e08e31eb3b4e7c09e6499c484fbac4c3 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 2.19767 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 4622 |
Total number of constraints | 12569 |
Number of soft constraints | 4285 |
Number of constraints which are clauses | 11753 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 816 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 11 |
Top cost | 220151 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 220150 |
Biggest number in a constraint | 36 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 130 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c PB/CT 0.1.2 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.08 c constraints 531/285 clauses 7744/3997 units 5 0.00/0.08 c vars 4622 0.70/0.76 c 0.679896 88.5898 48 113268 0.70/0.76 o 6083 0.80/0.88 c 0.763883 89.7578 74 169426 0.80/0.88 o 5872 0.89/0.95 c 0.807877 89.7578 88 202939 0.89/0.95 o 5265 0.99/1.02 c 0.85087 89.7578 111 230003 0.99/1.02 o 4535 0.99/1.07 c 0.883865 89.7578 145 247753 0.99/1.07 o 3985 1.10/1.16 c 0.941856 89.7578 176 266299 1.10/1.16 o 3910 1.10/1.19 c 0.964853 89.7578 195 274629 1.10/1.19 o 3440 1.39/1.46 c 1.16182 89.7578 363 305602 1.39/1.46 o 3230 1.49/1.57 c 1.23781 89.7578 415 308364 1.49/1.57 o 3228 1.69/1.71 c 1.3288 89.7578 505 329894 1.69/1.71 o 2778 1.69/1.78 c 1.38279 89.7578 544 349397 1.69/1.78 o 2766 1.79/1.82 c 1.40679 89.7578 563 359845 1.79/1.82 o 2685 1.79/1.88 c 1.44978 89.7578 597 367497 1.79/1.88 o 2682 1.89/1.96 c 1.50877 89.7578 635 390767 1.89/1.96 o 2116 1.99/2.00 c 1.54076 89.7578 645 397780 1.99/2.00 o 2110 2.09/2.16 c 1.63775 89.8867 721 399797 2.09/2.16 o 2108 2.09/2.19 c 1.66975 89.8867 738 405092 2.09/2.19 o 2102 2.19/2.22 c 1.69374 89.8867 748 411182 2.19/2.22 o 2066 2.19/2.26 c 1.72274 89.8867 764 414253 2.19/2.26 o 2064 2.29/2.31 c 1.75273 89.8867 778 416949 2.29/2.31 o 2063 2.29/2.35 c 1.77773 89.8867 787 431646 2.29/2.35 o 1864 2.29/2.39 c 1.80472 89.8867 811 438239 2.29/2.39 o 1862 2.39/2.44 c 1.84072 89.8867 828 452006 2.39/2.44 o 1415 2.39/2.48 c 1.86871 89.8867 851 454277 2.39/2.48 o 1412 2.49/2.51 c 1.89271 89.8867 862 457974 2.49/2.51 o 1410 2.49/2.54 c 1.92171 89.8867 873 464569 2.49/2.54 o 1378 2.60/2.60 c 1.9607 89.8867 886 468846 2.60/2.60 o 1369 2.60/2.63 c 1.9827 89.8867 894 472356 2.60/2.63 o 1368 2.60/2.67 c 2.01269 89.8867 906 475399 2.60/2.67 o 1358 2.69/2.75 c 2.07668 89.8867 934 478660 2.69/2.75 o 1353 2.89/2.99 c 2.24466 89.8867 1063 481236 2.89/2.99 o 1349 2.99/3.06 c 2.29565 89.8867 1090 483310 2.99/3.06 o 1340 3.09/3.12 c 2.35264 89.8867 1149 484838 3.09/3.12 o 1337 3.09/3.17 c 2.38864 89.8867 1164 487331 3.09/3.17 o 1334 3.19/3.21 c 2.42563 89.8867 1181 494155 3.19/3.21 o 1327 3.19/3.28 c 2.48662 89.8867 1222 502707 3.19/3.28 o 1325 3.30/3.31 c 2.51362 89.8867 1234 505025 3.30/3.31 o 1321 3.30/3.35 c 2.54461 89.8867 1240 510192 3.30/3.35 o 1320 3.30/3.38 c 2.57061 89.8867 1245 516512 3.30/3.38 o 1293 3.39/3.40 c 2.59061 89.8867 1248 520577 3.39/3.40 o 1269 3.39/3.43 c 2.6126 89.8867 1252 523392 3.39/3.43 o 1267 3.39/3.45 c 2.6356 89.8867 1254 528884 3.39/3.45 o 1233 3.39/3.48 c 2.6526 89.8867 1255 531260 3.39/3.48 o 1231 3.49/3.50 c 2.67159 89.8867 1257 534755 3.49/3.50 o 1217 3.49/3.52 c 2.69059 89.8867 1259 538152 3.49/3.52 o 1215 3.49/3.55 c 2.70959 90.0156 1262 542293 3.49/3.55 o 1194 3.49/3.57 c 2.72959 90.0156 1263 546593 3.49/3.57 o 1171 3.59/3.60 c 2.75358 90.0156 1271 550425 3.59/3.60 o 1165 3.69/3.79 c 2.89256 90.0156 1359 552002 3.69/3.79 o 1161 4.09/4.13 c 3.12053 90.0156 1516 554330 4.09/4.13 o 1159 4.09/4.18 c 3.16452 90.0156 1547 557859 4.09/4.18 o 1153 4.29/4.33 c 3.2755 90.0156 1632 561261 4.29/4.33 o 1152 4.39/4.42 c 3.34449 90.0156 1667 562886 4.39/4.42 o 1151 4.39/4.46 c 3.37349 90.0156 1673 563904 4.39/4.46 o 1149 4.39/4.48 c 3.39348 90.0156 1681 565033 4.39/4.48 o 1148 4.50/4.51 c 3.41948 90.0156 1688 566323 4.50/4.51 o 1146 4.50/4.54 c 3.44747 90.0156 1697 568165 4.50/4.54 o 1136 4.50/4.59 c 3.47947 90.0156 1711 570700 4.50/4.59 o 1135 4.59/4.64 c 3.51546 90.0156 1719 574774 4.59/4.64 o 1133 4.59/4.66 c 3.53446 90.0156 1725 577237 4.59/4.66 o 1132 4.69/4.70 c 3.56046 90.0156 1733 580586 4.69/4.70 o 1124 4.69/4.73 c 3.58545 90.0156 1741 582313 4.69/4.73 o 1123 4.69/4.77 c 3.60945 90.0156 1751 583511 4.69/4.77 o 1118 4.79/4.83 c 3.64644 90.0156 1776 584795 4.79/4.83 o 1117 4.79/4.85 c 3.66244 90.0156 1784 586522 4.79/4.85 o 1114 4.79/4.87 c 3.68244 90.0156 1787 587832 4.79/4.87 o 1110 4.89/4.90 c 3.70444 90.0156 1791 589776 4.89/4.90 o 1108 4.89/4.92 c 3.72543 90.0156 1795 594807 4.89/4.92 o 914 4.89/4.94 c 3.74343 90.0156 1796 598359 4.89/4.94 o 893 4.89/4.97 c 3.76643 90.0156 1799 600307 4.89/4.97 o 889 4.99/5.00 c 3.78842 90.0156 1806 602503 4.99/5.00 o 884 4.99/5.04 c 3.81742 90.0156 1816 604629 4.99/5.04 o 882 4.99/5.06 c 3.83742 90.0156 1819 607149 4.99/5.06 o 879 4.99/5.09 c 3.85741 90.0156 1825 609455 4.99/5.09 o 873 5.09/5.11 c 3.87341 90.0156 1833 613754 5.09/5.11 o 871 5.09/5.14 c 3.90041 90.0156 1840 617048 5.09/5.14 o 864 5.09/5.17 c 3.9254 90.0156 1847 620547 5.09/5.17 o 847 5.09/5.19 c 3.9414 90.0156 1849 622797 5.09/5.19 o 837 5.19/5.21 c 3.9574 90.0156 1850 624324 5.19/5.21 o 835 5.19/5.23 c 3.97839 90.0156 1852 628343 5.19/5.23 o 829 5.19/5.25 c 3.99539 90.0156 1852 630950 5.19/5.25 o 819 5.19/5.29 c 4.02139 90.0156 1854 633886 5.19/5.29 o 814 5.30/5.31 c 4.03839 90.0156 1855 636542 5.30/5.31 o 807 5.30/5.33 c 4.05438 90.0156 1856 639320 5.30/5.33 o 802 5.30/5.35 c 4.07338 90.0156 1857 640995 5.30/5.35 o 794 5.30/5.37 c 4.09138 90.0156 1857 644160 5.30/5.37 o 778 5.30/5.39 c 4.11237 90.0156 1867 645288 5.30/5.39 o 775 5.39/5.42 c 4.13837 90.0156 1870 647843 5.39/5.42 o 771 5.39/5.44 c 4.15637 90.1445 1871 652671 5.39/5.44 o 712 5.39/5.46 c 4.17136 90.1445 1873 654871 5.39/5.46 o 706 5.39/5.49 c 4.19136 90.1445 1873 656517 5.39/5.49 o 702 5.50/5.51 c 4.21336 90.1445 1876 660592 5.50/5.51 o 700 5.50/5.54 c 4.23635 90.1445 1880 661684 5.50/5.54 o 698 5.50/5.57 c 4.25435 90.1445 1882 662934 5.50/5.57 o 688 5.50/5.60 c 4.28235 90.1445 1888 665348 5.50/5.60 o 687 5.60/5.63 c 4.30335 90.1445 1891 665804 5.60/5.63 o 686 5.60/5.65 c 4.32734 90.1445 1894 667770 5.60/5.65 o 681 5.60/5.69 c 4.35434 90.1445 1907 669515 5.60/5.69 o 679 5.69/5.73 c 4.38033 90.1445 1936 670478 5.69/5.73 o 677 5.69/5.75 c 4.40033 90.1445 1938 671763 5.69/5.75 o 672 5.99/6.01 c 4.5713 90.1445 2044 674622 5.99/6.01 o 664 5.99/6.06 c 4.6173 90.1445 2089 675557 5.99/6.06 o 663 6.10/6.10 c 4.64729 90.1445 2101 676074 6.10/6.10 o 662 6.10/6.17 c 4.70328 90.1445 2124 677037 6.10/6.17 o 659 6.10/6.19 c 4.72428 90.1445 2128 678002 6.10/6.19 o 655 6.19/6.22 c 4.74328 90.1445 2131 679351 6.19/6.22 o 651 6.39/6.46 c 4.90225 90.1445 2224 681053 6.39/6.46 o 646 6.39/6.48 c 4.92525 90.1445 2229 681575 6.39/6.48 o 645 6.49/6.58 c 4.99224 90.1445 2303 682195 6.49/6.58 o 644 6.60/6.62 c 5.01824 90.1445 2316 683165 6.60/6.62 o 639 6.60/6.67 c 5.06423 90.1445 2351 683858 6.60/6.67 o 638 6.70/6.71 c 5.09922 90.1445 2361 684601 6.70/6.71 o 632 6.70/6.79 c 5.15522 90.1445 2394 685265 6.70/6.79 o 630 6.79/6.82 c 5.18121 90.1445 2404 685916 6.79/6.82 o 628 6.79/6.90 c 5.2322 90.1445 2444 686577 6.89/6.90 o 626 6.89/6.92 c 5.2522 90.1445 2449 687127 6.89/6.92 o 625 6.89/6.96 c 5.2812 90.1445 2468 688865 6.89/6.96 o 618 6.89/6.98 c 5.30519 90.1445 2473 689717 6.89/6.98 o 613 6.99/7.01 c 5.32919 90.1445 2478 690520 6.99/7.01 o 612 6.99/7.04 c 5.35019 90.1445 2480 691151 6.99/7.04 o 610 6.99/7.06 c 5.37118 90.1445 2483 691803 6.99/7.06 o 609 6.99/7.08 c 5.39018 90.1445 2483 692273 6.99/7.08 o 607 7.09/7.12 c 5.41918 90.1445 2490 692655 7.09/7.12 o 606 7.09/7.14 c 5.43817 90.1445 2492 693199 7.09/7.14 o 604 7.09/7.16 c 5.45317 90.1445 2494 694032 7.09/7.16 o 600 7.09/7.19 c 5.47617 90.1445 2496 694738 7.09/7.19 o 599 7.19/7.22 c 5.50716 90.1445 2500 695882 7.19/7.22 o 595 7.19/7.24 c 5.52316 90.1445 2500 697104 7.19/7.24 o 587 7.19/7.27 c 5.54216 90.1445 2503 698185 7.19/7.27 o 584 7.19/7.29 c 5.55816 90.1445 2503 698887 7.19/7.29 o 583 7.30/7.31 c 5.57515 90.1445 2503 699659 7.30/7.31 o 579 7.30/7.34 c 5.59415 90.1445 2503 700408 7.30/7.34 o 577 7.30/7.36 c 5.61115 90.1445 2503 701611 7.30/7.36 o 572 7.30/7.38 c 5.63314 90.1445 2504 702838 7.30/7.38 o 562 7.39/7.40 c 5.65014 90.1445 2504 703306 7.39/7.40 o 561 7.39/7.43 c 5.67214 90.2734 2509 704327 7.39/7.43 o 559 7.39/7.45 c 5.69213 90.2734 2510 705622 7.39/7.45 o 545 7.39/7.47 c 5.71013 90.2734 2511 706080 7.39/7.47 o 544 7.49/7.51 c 5.73913 90.2734 2523 707184 7.49/7.51 o 540 7.59/7.60 c 5.80212 90.2734 2551 707851 7.59/7.60 o 539 7.59/7.62 c 5.82811 90.2734 2571 708506 7.59/7.62 o 538 7.59/7.65 c 5.84811 90.2734 2573 709351 7.59/7.65 o 536 7.59/7.67 c 5.86611 90.2734 2574 710025 7.59/7.67 o 535 7.59/7.70 c 5.8841 90.2734 2575 711053 7.59/7.70 o 531 7.69/7.74 c 5.9161 90.2734 2585 711753 7.69/7.74 o 529 7.69/7.78 c 5.9481 90.2734 2594 712823 7.69/7.78 o 528 7.79/7.82 c 5.98009 90.2734 2606 713421 7.79/7.82 o 526 7.79/7.85 c 6.00309 90.2734 2614 714083 7.79/7.85 o 524 7.79/7.87 c 6.02008 90.2734 2615 715220 7.79/7.87 o 507 7.79/7.90 c 6.04008 90.2734 2617 715665 7.79/7.90 o 505 7.90/7.94 c 6.07408 90.2734 2629 716404 7.90/7.94 o 502 7.90/7.96 c 6.09507 90.2734 2631 717181 7.90/7.96 o 498 7.99/8.02 c 6.14007 90.2734 2650 718216 7.99/8.02 o 496 7.99/8.05 c 6.16406 90.2734 2654 718740 7.99/8.05 o 494 7.99/8.07 c 6.18106 90.2734 2659 719586 7.99/8.07 o 489 7.99/8.09 c 6.20606 90.2734 2662 719903 7.99/8.09 o 488 8.09/8.12 c 6.22205 90.2734 2662 720230 8.09/8.12 o 486 8.09/8.14 c 6.24105 90.2734 2662 720600 8.09/8.14 o 483 8.09/8.16 c 6.25805 90.2734 2663 721100 8.09/8.16 o 482 8.19/8.20 c 6.28704 90.2734 2671 721620 8.19/8.20 o 480 8.19/8.25 c 6.32604 90.2734 2691 721944 8.19/8.25 o 479 8.19/8.29 c 6.35403 90.2734 2707 722559 8.19/8.29 o 478 8.29/8.32 c 6.38403 90.2734 2716 722899 8.29/8.32 o 477 8.29/8.39 c 6.45202 90.2734 2784 723281 8.29/8.39 o 476 8.39/8.42 c 6.47802 90.2734 2790 723799 8.39/8.42 o 471 8.39/8.45 c 6.50201 90.2734 2799 724241 8.39/8.45 o 467 8.39/8.47 c 6.52001 90.2734 2802 724918 8.39/8.47 o 461 8.49/8.50 c 6.545 90.2734 2809 725327 8.49/8.50 o 458 8.49/8.53 c 6.57 90.2734 2813 725655 8.49/8.53 o 457 8.49/8.55 c 6.59 90.2734 2815 726250 8.49/8.55 o 453 8.49/8.57 c 6.607 90.2734 2817 726629 8.49/8.57 o 452 8.49/8.59 c 6.62799 90.2734 2818 727123 8.49/8.59 o 450 8.59/8.63 c 6.65799 90.2734 2821 728045 8.59/8.63 o 444 8.59/8.65 c 6.67499 90.2734 2825 728589 8.59/8.65 o 443 8.59/8.67 c 6.69198 90.2734 2826 729110 8.59/8.67 o 438 8.69/8.70 c 6.71398 90.2734 2833 729702 8.69/8.70 o 433 8.69/8.73 c 6.74597 90.2734 2850 730110 8.69/8.73 o 431 8.69/8.75 c 6.76597 90.2734 2851 730581 8.69/8.75 o 429 8.69/8.77 c 6.78697 90.2734 2851 731032 8.69/8.77 o 426 8.69/8.80 c 6.80497 90.2734 2851 731421 8.69/8.80 o 424 8.79/8.82 c 6.82396 90.2734 2852 731977 8.79/8.82 o 418 8.79/8.84 c 6.84396 90.2734 2853 732297 8.79/8.84 o 416 8.79/8.86 c 6.86596 90.2734 2855 733335 8.79/8.86 o 403 8.79/8.88 c 6.88695 90.2734 2858 733822 8.79/8.88 o 402 8.89/8.91 c 6.90995 90.2734 2862 734234 8.89/8.91 o 401 8.89/8.95 c 6.94094 90.2734 2875 734999 8.89/8.95 o 399 8.89/8.98 c 6.95994 90.2734 2879 735343 8.89/8.98 o 398 8.99/9.00 c 6.98194 90.2734 2883 735790 8.99/9.00 o 395 8.99/9.03 c 7.00693 90.2734 2888 736533 8.99/9.03 o 392 8.99/9.05 c 7.02593 90.2734 2890 736996 8.99/9.05 o 389 8.99/9.08 c 7.04793 90.2734 2895 737412 8.99/9.08 o 386 9.09/9.10 c 7.06492 90.2734 2897 737736 9.09/9.10 o 383 9.09/9.15 c 7.09992 90.2734 2908 738226 9.09/9.15 o 380 9.09/9.17 c 7.11992 90.2734 2910 738563 9.09/9.17 o 378 9.19/9.20 c 7.14691 90.2734 2915 738840 9.19/9.20 o 377 9.19/9.26 c 7.19491 90.2734 2954 739200 9.19/9.26 o 376 9.19/9.29 c 7.2189 90.2734 2958 739871 9.19/9.29 o 372 9.29/9.31 c 7.2389 90.2734 2963 740425 9.29/9.31 o 368 9.29/9.33 c 7.26389 90.2734 2970 740805 9.29/9.33 o 366 9.29/9.36 c 7.28289 90.2734 2973 741348 9.29/9.36 o 362 9.29/9.38 c 7.30189 90.2734 2975 741770 9.29/9.38 o 360 9.39/9.49 c 7.37688 90.2734 3013 742099 9.39/9.49 o 359 9.49/9.52 c 7.41087 90.2734 3019 742638 9.49/9.52 o 354 9.49/9.55 c 7.43087 90.2734 3021 743050 9.49/9.55 o 352 9.49/9.57 c 7.44787 90.2734 3022 743439 9.49/9.57 o 349 9.49/9.59 c 7.46686 90.4023 3025 743935 9.49/9.59 o 346 9.59/9.62 c 7.48286 90.4023 3025 744231 9.59/9.62 o 345 9.59/9.64 c 7.50186 90.4023 3026 744681 9.59/9.64 o 341 9.59/9.66 c 7.51486 90.4023 3026 745078 9.59/9.66 o 338 9.59/9.68 c 7.53185 90.4023 3026 745365 9.59/9.68 o 337 9.69/9.70 c 7.54885 90.4023 3026 745711 9.69/9.70 o 335 9.69/9.72 c 7.56785 90.4023 3026 746024 9.69/9.72 o 333 9.69/9.74 c 7.58285 90.4023 3026 746348 9.69/9.74 o 332 9.69/9.77 c 7.60084 90.4023 3031 746676 9.69/9.77 o 331 9.79/9.80 c 7.62684 90.4023 3034 747055 9.79/9.80 o 329 9.79/9.82 c 7.64584 90.4023 3038 747499 9.79/9.82 o 327 9.79/9.85 c 7.67083 90.4023 3053 747929 9.79/9.85 o 325 9.79/9.87 c 7.69083 90.4023 3061 748412 9.79/9.87 o 321 9.79/9.89 c 7.70783 90.4023 3063 748872 9.79/9.89 o 317 9.90/9.99 c 7.79481 90.4023 3173 749672 9.90/9.99 o 316 10.00/10.01 c 7.81581 90.4023 3177 750039 10.00/10.01 o 315 10.00/10.04 c 7.83481 90.4023 3180 750398 10.00/10.04 o 314 10.00/10.07 c 7.85881 90.4023 3189 750989 10.00/10.07 o 313 10.00/10.09 c 7.8778 90.4023 3191 751431 10.00/10.09 o 312 10.10/10.12 c 7.8988 90.4023 3193 751973 10.10/10.12 o 309 10.10/10.15 c 7.92279 90.4023 3198 752536 10.10/10.15 o 307 10.10/10.17 c 7.94179 90.4023 3198 753197 10.10/10.17 o 305 10.10/10.19 c 7.95979 90.4023 3198 753713 10.10/10.19 o 304 10.19/10.22 c 7.98379 90.4023 3200 754583 10.19/10.22 o 298 10.19/10.24 c 8.00278 90.4023 3200 754971 10.19/10.24 o 297 10.19/10.26 c 8.01978 90.4023 3200 755662 10.19/10.26 o 292 10.19/10.28 c 8.03878 90.4023 3200 756062 10.19/10.28 o 291 10.29/10.31 c 8.05477 90.4023 3201 756389 10.29/10.31 o 290 10.29/10.33 c 8.07277 90.4023 3201 756924 10.29/10.33 o 288 10.29/10.35 c 8.09177 90.4023 3201 757300 10.29/10.35 o 287 10.29/10.37 c 8.10977 90.4023 3201 757671 10.29/10.37 o 286 10.29/10.39 c 8.12776 90.4023 3201 758153 10.29/10.39 o 283 10.40/10.41 c 8.14576 90.4023 3201 758530 10.40/10.41 o 282 10.40/10.44 c 8.16476 90.4023 3202 758978 10.40/10.44 o 279 10.40/10.46 c 8.18576 90.4023 3202 759522 10.40/10.46 o 275 10.40/10.48 c 8.20075 90.4023 3202 760019 10.40/10.48 o 272 10.49/10.50 c 8.21775 90.4023 3202 760439 10.49/10.50 o 271 10.49/10.52 c 8.23775 90.4023 3203 760726 10.49/10.52 o 270 10.49/10.58 c 8.28174 90.4023 3218 761244 10.49/10.58 o 267 10.59/10.60 c 8.30174 90.4023 3221 761610 10.59/10.60 o 265 10.59/10.64 c 8.33073 90.4023 3229 762033 10.59/10.64 o 264 10.59/10.69 c 8.37173 90.4023 3245 762395 10.59/10.69 o 263 10.69/10.72 c 8.40472 90.4023 3261 763015 10.69/10.72 o 259 10.69/10.75 c 8.43072 90.4023 3272 763355 10.69/10.75 o 258 10.69/10.77 c 8.45072 90.4023 3273 763828 10.69/10.77 o 254 10.69/10.79 c 8.46871 90.4023 3274 764296 10.69/10.79 o 249 10.79/10.81 c 8.48671 90.4023 3276 764613 10.79/10.81 o 248 10.79/10.84 c 8.50471 90.4023 3276 764853 10.79/10.84 o 247 10.79/10.86 c 8.5237 90.4023 3278 765161 10.79/10.86 o 245 10.79/10.88 c 8.5457 90.4023 3280 765555 10.79/10.88 o 242 10.89/10.96 c 8.60169 90.4023 3311 765923 10.89/10.96 o 241 10.89/10.99 c 8.63369 90.4023 3333 766344 10.89/10.99 o 240 11.00/11.03 c 8.66468 90.4023 3356 766779 11.00/11.03 o 239 11.00/11.07 c 8.69668 90.4023 3370 767405 11.00/11.07 o 237 11.00/11.10 c 8.72067 90.4023 3375 768011 11.00/11.10 o 234 11.10/11.13 c 8.74867 90.4023 3381 768413 11.10/11.13 o 233 11.10/11.16 c 8.77767 90.4023 3389 768782 11.10/11.16 o 231 11.10/11.19 c 8.80266 90.4023 3394 769065 11.10/11.19 o 230 11.19/11.22 c 8.82466 90.4023 3396 769283 11.19/11.22 o 229 11.19/11.24 c 8.84465 90.4023 3402 769505 11.19/11.24 o 228 11.19/11.26 c 8.86365 90.4023 3408 769736 11.19/11.26 o 227 11.19/11.28 c 8.88265 90.4023 3410 769992 11.19/11.28 o 226 11.29/11.31 c 8.90465 90.4023 3412 770337 11.29/11.31 o 224 11.29/11.33 c 8.92864 90.4023 3419 770662 11.29/11.33 o 222 11.29/11.36 c 8.95364 90.4023 3429 770902 11.29/11.36 o 221 11.29/11.38 c 8.97463 90.4023 3430 771161 11.29/11.38 o 220 11.39/11.40 c 8.99063 90.4023 3430 771421 11.39/11.41 o 219 11.39/11.43 c 9.01063 90.4023 3431 771675 11.39/11.43 o 218 11.39/11.45 c 9.03463 90.4023 3433 772017 11.39/11.45 o 216 11.39/11.48 c 9.05362 90.4023 3436 772278 11.39/11.48 o 215 11.49/11.50 c 9.07062 90.4023 3436 772509 11.49/11.50 o 214 11.49/11.53 c 9.09862 90.4023 3446 772948 11.49/11.53 o 212 11.49/11.56 c 9.11661 90.5312 3448 773330 11.49/11.56 o 210 11.49/11.58 c 9.13661 90.5312 3448 773596 11.49/11.58 o 209 11.60/11.60 c 9.15561 90.5312 3448 773896 11.60/11.60 o 207 11.60/11.62 c 9.17361 90.5312 3448 774168 11.60/11.62 o 206 11.60/11.65 c 9.1946 90.5312 3449 774451 11.60/11.65 o 205 11.60/11.67 c 9.2136 90.5312 3450 774834 11.60/11.67 o 203 11.60/11.69 c 9.2296 90.5312 3451 775077 11.60/11.69 o 202 11.70/11.72 c 9.24659 90.5312 3453 775357 11.70/11.72 o 201 11.70/11.76 c 9.27859 90.5312 3467 775654 11.70/11.76 o 200 11.70/11.79 c 9.30358 90.5312 3474 775996 11.70/11.79 o 199 11.79/11.82 c 9.32658 90.5312 3478 776309 11.79/11.82 o 198 11.79/11.85 c 9.34758 90.5312 3487 776788 11.79/11.85 o 195 11.79/11.88 c 9.37657 90.5312 3497 777229 11.79/11.88 o 193 11.89/11.91 c 9.39857 90.5312 3498 777526 11.89/11.91 o 191 11.89/11.93 c 9.41457 90.5312 3498 777767 11.89/11.93 o 190 11.89/11.95 c 9.43557 90.5312 3498 778008 11.89/11.95 o 189 11.89/11.97 c 9.45256 90.5312 3498 778300 11.89/11.97 o 188 11.89/11.99 c 9.47156 90.5312 3498 778611 11.89/11.99 o 186 11.99/12.01 c 9.49156 90.5312 3498 778840 11.99/12.01 o 185 11.99/12.03 c 9.50855 90.5312 3499 779101 11.99/12.03 o 184 11.99/12.06 c 9.52955 90.5312 3500 779430 11.99/12.06 o 183 11.99/12.09 c 9.55255 90.5312 3509 779718 11.99/12.09 o 182 12.10/12.18 c 9.62354 90.5312 3540 780120 12.10/12.18 o 181 12.19/12.21 c 9.64353 90.5312 3541 780616 12.19/12.21 o 177 12.19/12.23 c 9.66353 90.5312 3542 781235 12.19/12.23 o 172 12.19/12.25 c 9.68353 90.5312 3542 781508 12.19/12.25 o 171 12.19/12.27 c 9.70153 90.5312 3542 781824 12.19/12.27 o 169 12.19/12.29 c 9.71952 90.5312 3542 782093 12.19/12.29 o 168 12.30/12.32 c 9.73852 90.5312 3542 782419 12.30/12.32 o 166 12.30/12.34 c 9.75552 90.5312 3542 782693 12.30/12.34 o 165 12.30/12.36 c 9.77351 90.5312 3542 783022 12.30/12.36 o 163 12.30/12.38 c 9.79251 90.5312 3542 783288 12.30/12.38 o 162 12.39/12.40 c 9.81051 90.5312 3542 783688 12.39/12.40 o 160 12.39/12.42 c 9.83051 90.5312 3543 784199 12.39/12.42 o 156 12.39/12.45 c 9.8515 90.5312 3543 784620 12.39/12.45 o 153 12.39/12.47 c 9.8685 90.5312 3543 785029 12.39/12.47 o 151 12.39/12.49 c 9.8855 90.5312 3543 785600 12.39/12.49 o 146 12.49/12.51 c 9.90549 90.5312 3543 786113 12.49/12.51 o 142 12.49/12.53 c 9.92249 90.5312 3543 786591 12.49/12.53 o 138 12.49/12.55 c 9.94049 90.5312 3543 787041 12.49/12.55 o 134 12.49/12.58 c 9.95649 90.5312 3543 787340 12.49/12.58 o 133 12.59/12.60 c 9.97448 90.5312 3543 787638 12.59/12.60 o 132 12.59/12.62 c 9.99348 90.5312 3543 788046 12.59/12.62 o 128 12.59/12.64 c 10.0135 90.5312 3543 788434 12.59/12.64 o 125 12.59/12.66 c 10.0335 90.5312 3543 788798 12.59/12.66 o 122 12.59/12.68 c 10.0495 90.5312 3543 789063 12.59/12.68 o 121 12.69/12.70 c 10.0645 90.5312 3543 789416 12.69/12.70 o 119 12.69/12.73 c 10.0835 90.5312 3544 789731 12.69/12.73 o 118 12.69/12.75 c 10.1015 90.5312 3545 790149 12.69/12.75 o 115 12.69/12.77 c 10.1225 90.5312 3548 790393 12.69/12.77 o 114 12.69/12.79 c 10.1425 90.5312 3549 790685 12.69/12.79 o 112 12.79/12.82 c 10.1615 90.5312 3550 790962 12.79/12.82 o 110 12.79/12.84 c 10.1805 90.5312 3550 791184 12.79/12.84 o 109 12.79/12.86 c 10.1964 90.5312 3550 791535 12.79/12.86 o 106 12.79/12.88 c 10.2154 90.5312 3550 791930 12.79/12.88 o 103 12.89/12.90 c 10.2344 90.5312 3551 792243 12.89/12.90 o 102 12.89/12.92 c 10.2554 90.5312 3551 792566 12.89/12.92 o 100 12.89/12.94 c 10.2734 90.5312 3551 792842 12.89/12.94 o 99 12.89/12.97 c 10.2904 90.5312 3551 793180 12.89/12.97 o 98 12.89/12.99 c 10.3114 90.5312 3249 793422 12.89/12.99 o 97 12.99/13.01 c 10.3304 90.5312 3249 793694 12.99/13.01 o 96 12.99/13.03 c 10.3484 90.5312 3249 794017 12.99/13.03 o 94 12.99/13.05 c 10.3664 90.5312 3249 794294 12.99/13.05 o 93 12.99/13.07 c 10.3854 90.5312 3249 794615 12.99/13.07 o 91 12.99/13.09 c 10.4004 90.5312 3249 794922 12.99/13.09 o 90 13.09/13.11 c 10.4194 90.5312 3249 795275 13.09/13.11 o 88 13.09/13.13 c 10.4404 90.5312 3250 795781 13.09/13.13 o 87 13.09/13.16 c 10.4614 90.5312 2298 796100 13.09/13.16 o 86 13.09/13.18 c 10.4804 90.5312 2299 796534 13.09/13.18 o 82 13.09/13.20 c 10.4984 90.5312 2299 796836 13.09/13.20 o 81 13.19/13.22 c 10.5144 90.5312 2299 797122 13.19/13.22 o 80 13.19/13.24 c 10.5294 90.5312 2299 797452 13.19/13.24 o 79 13.19/13.26 c 10.5464 90.5312 2299 797779 13.19/13.26 o 77 13.19/13.28 c 10.5644 90.5312 2077 798172 13.19/13.28 o 74 13.19/13.30 c 10.5824 90.5312 2077 798644 13.19/13.30 o 70 13.30/13.32 c 10.5994 90.5312 2077 798924 13.30/13.32 o 68 13.30/13.34 c 10.6164 90.5312 2077 799214 13.30/13.34 o 66 13.30/13.36 c 10.6314 90.5312 2077 799502 13.30/13.36 o 64 13.30/13.37 c 10.6464 90.5312 2077 799815 13.30/13.37 o 61 13.30/13.39 c 10.6594 90.5312 1956 800162 13.30/13.39 o 59 13.39/13.41 c 10.6734 90.5312 1956 800451 13.39/13.41 o 57 13.39/13.43 c 10.6874 90.5312 1956 800781 13.39/13.43 o 55 13.39/13.45 c 10.7004 90.5312 1956 801120 13.39/13.45 o 54 13.39/13.46 c 10.7164 90.5312 1956 801424 13.39/13.46 o 52 13.39/13.48 c 10.7324 90.5312 1956 801756 13.39/13.48 o 50 13.49/13.50 c 10.7474 90.5312 1918 802067 13.49/13.50 o 49 13.49/13.52 c 10.7624 90.5312 1918 802362 13.49/13.52 o 48 13.49/13.53 c 10.7774 90.5312 1918 802719 13.49/13.53 o 45 13.49/13.55 c 10.7934 90.5312 1918 803145 13.49/13.55 o 41 13.49/13.56 c 10.8084 90.5312 1918 803555 13.49/13.56 o 39 13.49/13.58 c 10.8234 90.5312 1918 803923 13.49/13.58 o 37 13.59/13.60 c 10.8374 90.5312 1910 804278 13.59/13.60 o 35 13.59/13.61 c 10.8514 90.5312 1910 804670 13.59/13.61 o 32 13.59/13.63 c 10.8653 90.5312 1910 804985 13.59/13.63 o 31 13.59/13.64 c 10.8793 90.5312 1910 805351 13.59/13.64 o 29 13.59/13.66 c 10.8923 90.5312 1911 805760 13.59/13.66 o 26 13.59/13.68 c 10.9083 90.5312 1911 806129 13.59/13.68 o 24 13.59/13.69 c 10.9243 90.5312 1907 806483 13.59/13.69 o 22 13.69/13.71 c 10.9393 90.5312 1908 806740 13.69/13.71 o 21 13.69/13.76 c 10.9923 90.5312 1957 807071 13.69/13.76 o 19 13.69/13.78 c 11.0093 90.5312 1963 807351 13.69/13.78 o 18 13.79/13.80 c 11.0293 90.5312 1968 807783 13.79/13.80 o 14 13.79/13.81 c 11.0423 90.5312 1969 808185 13.79/13.81 o 10 13.79/13.83 c 11.0563 90.5312 1969 808416 13.79/13.83 o 9 13.79/13.84 c 11.0693 90.5312 1969 808681 13.79/13.84 o 7 13.79/13.85 c 11.0823 90.5312 1967 808943 13.79/13.85 o 5 13.79/13.87 c 11.0953 90.5312 1967 809245 13.79/13.87 o 2 13.79/13.88 c 11.1113 90.5312 1976 809531 13.79/13.88 o 1 20.09/20.11 c 17.2174 93.3945 7882 854105 20.09/20.11 s OPTIMUM FOUND 20.09/20.11 v -x1 x2 -x3 -x4 -x5 -x6 x7 -x8 x9 -x10 -x11 x12 x13 -x14 x15 -x16 x17 -x18 -x19 x20 -x21 -x22 -x23 x24 x25 x26 x27 -x28 -x29 x30 x31 x32 -x33 -x34 -x35 x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 x48 -x49 x50 -x51 -x52 x53 -x54 -x55 x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 x114 x115 x116 -x117 x118 x119 -x120 x121 -x122 x123 -x124 -x125 x126 -x127 -x128 x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 x143 -x144 x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 -x183 x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 x194 -x195 -x196 x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 x213 x214 x215 x216 -x217 x218 x219 x220 x221 x222 x223 x224 -x225 -x226 x227 x228 x229 x230 -x231 x232 -x233 -x234 -x235 -x236 x237 x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 x249 -x250 -x251 x252 -x253 x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 x266 x267 x268 -x269 -x270 -x271 x272 -x273 -x274 x275 -x276 x277 -x278 -x279 x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 x291 -x292 -x293 -x294 -x295 x296 -x297 -x298 x299 -x300 x301 -x302 -x303 x304 -x305 x306 -x307 -x308 x309 -x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 x324 x325 -x326 -x327 x328 x329 x330 -x331 -x332 -x333 -x334 x335 -x336 x337 -x338 x339 -x340 -x341 x342 x343 x344 x345 -x346 -x347 -x348 x349 -x350 -x351 x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 x368 x369 x370 x371 x372 -x373 -x374 x375 -x376 x377 -x378 -x379 x380 -x381 x382 -x383 x384 -x385 -x386 x387 -x388 -x389 x390 -x391 x392 -x393 x394 -x395 -x396 x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 x409 x410 x411 -x412 -x413 x414 x415 x416 x417 -x418 x419 -x420 -x421 x422 -x423 x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 x433 -x434 -x435 x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 x444 -x445 -x446 -x447 -x448 x449 x450 x451 x452 x453 x454 x455 x456 x457 x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 x471 x472 x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 x483 -x484 -x485 -x486 x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 x503 x504 x505 x506 x507 x508 -x509 -x510 -x511 x512 -x513 x514 x515 x516 -x517 x518 x519 x520 -x521 -x522 -x523 x524 -x525 -x526 -x527 -x528 -x529 -x530 x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 x553 -x554 -x555 -x556 -x557 -x558 x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 x570 x571 x572 x573 -x574 x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 x583 x584 x585 x586 -x587 -x588 x589 x590 x591 -x592 -x593 x594 -x595 x596 x597 -x598 -x599 x600 -x601 -x602 -x603 -x604 x605 -x606 x607 -x608 x609 -x610 x611 -x612 x613 -x614 x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 x636 x637 x638 x639 -x640 -x641 x642 x643 -x644 -x645 -x646 -x647 -x648 -x649 x650 -x651 -x652 x653 x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 x670 -x671 -x672 -x673 -x674 x675 x676 -x677 x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 x687 x688 x689 -x690 x691 -x692 x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 x705 -x706 x707 -x708 -x709 -x710 x711 -x712 -x713 x714 x715 x716 x717 -x718 -x719 x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 x729 -x730 x731 -x732 -x733 -x734 -x735 -x736 x737 -x738 -x739 -x740 x741 -x742 -x743 -x744 -x745 x746 -x747 -x748 -x749 -x750 x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 x810 -x811 x812 x813 -x814 -x815 -x816 -x817 -x818 -x819 x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 x854 x855 x856 -x857 -x858 x859 -x860 x861 -x862 -x863 x864 -x865 x866 -x867 -x868 x869 -x870 x871 x872 x873 x874 -x875 -x876 -x877 -x878 x879 -x880 x881 -x882 -x883 x884 -x885 x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 x903 x904 -x905 -x906 -x907 -x908 x909 -x910 -x911 -x912 -x913 x914 -x915 -x916 x917 -x918 -x919 x920 -x921 x922 -x923 -x924 x925 -x926 x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 x947 x948 x949 x950 -x951 -x952 x953 -x954 -x955 x956 -x957 -x958 x959 -x960 x961 -x962 x963 -x964 -x965 x966 -x967 -x968 x969 -x970 x971 -x972 -x973 x974 -x975 x976 -x977 -x978 x979 -x980 -x981 x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 x1016 x1017 -x1018 x1019 x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 x1030 x1031 -x1032 -x1033 x1034 -x1035 -x1036 -x1037 -x1038 x1039 -x1040 -x1041 -x1042 x1043 -x1044 x1045 x1046 x1047 x1048 x1049 x1050 x1051 x1052 x1053 -x1054 -x1055 -x1056 x1057 -x1058 -x1059 -x1060 -x1061 x1062 -x1063 -x1064 -x1065 x1066 -x1067 -x1068 x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 x1077 -x1078 x1079 x1080 x1081 -x1082 -x1083 -x1084 x1085 -x1086 -x1087 -x1088 x1089 -x1090 -x1091 -x1092 x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 x1103 -x1104 -x1105 x1106 x1107 x1108 -x1109 x1110 x1111 x1112 -x1113 -x1114 x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 x1123 -x1124 x1125 x1126 x1127 -x1128 -x1129 -x1130 x1131 -x1132 -x1133 -x1134 x1135 -x1136 -x1137 -x1138 x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 x1146 -x1147 -x1148 x1149 -x1150 -x1151 -x1152 -x1153 x1154 -x1155 -x1156 -x1157 x1158 -x1159 -x1160 -x1161 x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 x1169 -x1170 -x1171 -x1172 -x1173 -x1174 x1175 -x1176 -x1177 x1178 -x1179 -x1180 -x1181 x1182 -x1183 -x1184 x1185 x1186 x1187 x1188 x1189 x1190 x1191 x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 x1213 x1214 x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 x1237 x1238 -x1239 -x1240 x1241 -x1242 -x1243 -x1244 -x1245 -x1246 x1247 -x1248 x1249 -x1250 -x1251 -x1252 -x1253 -x1254 x1255 -x1256 -x1257 x1258 -x1259 -x1260 -x1261 -x1262 x1263 -x1264 x1265 -x1266 -x1267 -x1268 -x1269 -x1270 x1271 -x1272 -x1273 x1274 -x1275 -x1276 -x1277 -x1278 x1279 x1280 x1281 x1282 -x1283 -x1284 -x1285 -x1286 x1287 -x1288 -x1289 -x1290 -x1291 -x1292 x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 x1349 x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 x1358 -x1359 x1360 -x1361 -x1362 -x1363 x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 x1371 -x1372 -x1373 -x1374 -x1375 x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 x1388 -x1389 x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 x1399 -x1400 -x1401 x1402 -x1403 -x1404 -x1405 x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 x1433 -x1434 -x1435 x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 x1448 -x1449 -x1450 -x1451 -x1452 x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 x1460 -x1461 -x1462 -x1463 -x1464 x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 x1475 x1476 x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 x1500 -x1501 -x1502 -x1503 -x1504 -x1505 x1506 -x1507 -x1508 x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 x1566 -x1567 -x1568 -x1569 x1570 -x1571 -x1572 -x1573 x1574 -x1575 -x1576 -x1577 x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 x1608 -x1609 x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 x1618 -x1619 -x1620 x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 x1628 -x1629 x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 x1638 -x1639 -x1640 x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 x1648 -x1649 x1650 -x1651 -x1652 x1653 -x1654 x1655 x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 x1741 -x1742 -x1743 x1744 -x1745 x1746 x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 x1775 -x1776 x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 x1787 -x1788 -x1789 x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 x1799 -x1800 x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 x1811 -x1812 -x1813 x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 x1823 -x1824 x1825 -x1826 -x1827 -x1828 x1829 -x1830 x1831 x1832 x1833 -x1834 -x1835 -x1836 -x1837 -x1838 x1839 -x1840 -x1841 x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 x1875 -x1876 x1877 -x1878 x1879 x1880 -x1881 -x1882 -x1883 -x1884 x1885 -x1886 x1887 -x1888 x1889 x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 x1905 -x1906 -x1907 x1908 x1909 -x1910 -x1911 -x1912 x1913 -x1914 x1915 -x1916 x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 x1924 -x1925 -x1926 -x1927 -x1928 -x1929 x1930 x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 x1971 x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 x2009 -x2010 -x2011 x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 x2037 -x2038 -x2039 -x2040 -x2041 x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 x2135 x2136 -x2137 x2138 -x2139 x2140 x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 x2237 -x2238 -x2239 x2240 x2241 x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 x2354 x2355 -x2356 x2357 -x2358 x2359 x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 x2378 x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 x2390 x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 x2423 x2424 -x2425 -x2426 x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 x2451 x2452 x2453 -x2454 -x2455 -x2456 -x2457 -x2458 x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 x2467 x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 x2482 -x2483 -x2484 -x2485 x2486 -x2487 -x2488 -x2489 -x2490 x2491 x2492 -x2493 -x2494 -x2495 -x2496 -x2497 x2498 -x2499 -x2500 -x2501 -x2502 x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 x2578 -x2579 x2580 x2581 x2582 x2583 x2584 x2585 x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 x2626 -x2627 x2628 x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 x2636 -x2637 -x2638 -x2639 -x2640 x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 x2655 -x2656 -x2657 x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 x2670 -x2671 -x2672 -x2673 -x2674 -x2675 x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 x2736 -x2737 -x2738 -x2739 x2740 -x2741 -x2742 -x2743 -x2744 x2745 -x2746 -x2747 -x2748 -x2749 x2750 -x2751 -x2752 -x2753 -x2754 x2755 -x2756 -x2757 -x2758 -x2759 x2760 -x2761 -x2762 -x2763 -x2764 -x2765 x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 x2830 -x2831 -x2832 x2833 x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 x2933 -x2934 x2935 -x2936 -x2937 -x2938 -x2939 x2940 -x2941 x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 x2987 -x2988 -x2989 x2990 x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 x3005 x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 x3093 x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 x3166 -x3167 -x3168 -x3169 -x3170 -x3171 x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 x3187 x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 x3207 -x3208 x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 x3228 x3229 x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 x3289 x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 x3348 -x3349 -x3350 -x3351 -x3352 x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 x3438 x3439 x3440 x3441 x3442 x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 x3450 -x3451 -x3452 -x3453 x3454 -x3455 -x3456 -x3457 x3458 -x3459 -x3460 -x3461 x3462 -x3463 -x3464 -x3465 x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 x3478 -x3479 -x3480 -x3481 x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 x3509 x3510 x3511 x3512 -x3513 -x3514 -x3515 x3516 -x3517 -x3518 -x3519 -x3520 -x3521 x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 x3529 x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 x3537 -x3538 -x3539 -x3540 x3541 -x3542 -x3543 -x3544 x3545 -x3546 -x3547 -x3548 x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 x3562 -x3563 -x3564 x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 x3593 -x3594 -x3595 -x3596 -x3597 x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 x3641 x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 x3657 -x3658 -x3659 -x3660 -x3661 x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 x3685 x3686 x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 x3697 x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 x3722 x3723 -x3724 -x3725 x3726 -x3727 x3728 x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 x3740 x3741 x3742 x3743 x3744 x3745 x3746 x3747 x3748 x3749 x3750 x3751 -x3752 x3753 x3754 x3755 x3756 x3757 x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 x3770 x3771 x3772 x3773 x3774 x3775 x3776 x3777 x3778 x3779 -x3780 -x3781 -x3782 x3783 x3784 x3785 x3786 x3787 x3788 x3789 x3790 x3791 x3792 x3793 x3794 x3795 -x3796 x3797 -x3798 -x3799 -x3800 x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 x4166 -x4167 x4168 -x4169 -x4170 -x4171 -x4172 -x4173 x4174 -x4175 -x4176 -x4177 -x4178 -x4179 x4180 x4181 x4182 x4183 x4184 x4185 -x4186 -x4187 -x4188 x4189 x4190 x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 x4207 -x4208 -x4209 -x4210 -x4211 -x4212 x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 x4277 x4278 x4279 -x4280 -x4281 -x4282 -x4283 x4284 x4285 x4286 x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 x4343 x4344 x4345 -x4346 -x4347 x4348 x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 x4358 x4359 -x4360 -x4361 -x4362 -x4363 x4364 x4365 x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 x4446 -x4447 x4448 -x4449 -x4450 x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 x4458 -x4459 -x4460 x4461 x4462 x4463 -x4464 -x4465 -x4466 -x4467 -x4468 x4469 x4470 x4471 x4472 x4473 x4474 -x4475 -x4476 -x4477 -x4478 x4479 x4480 -x4481 x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 x4506 x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 x4517 -x4518 -x4519 -x4520 -x4521 -x4522 x4523 -x4524 x4525 -x4526 x4527 x4528 x4529 -x4530 -x4531 x4532 -x4533 -x4534 -x4535 -x4536 x4537 x4538 x4539 x4540 x4541 x4542 -x4543 x4544 x4545 x4546 -x4547 -x4548 -x4549 x4550 x4551 -x4552 x4553 -x4554 -x4555 -x4556 -x4557 -x4558 x4559 x4560 -x4561 -x4562 -x4563 x4564 -x4565 -x4566 x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 x4575 x4576 -x4577 x4578 x4579 -x4580 x4581 -x4582 x4583 -x4584 -x4585 x4586 -x4587 x4588 x4589 -x4590 -x4591 x4592 x4593 -x4594 x4595 x4596 -x4597 -x4598 x4599 -x4600 -x4601 -x4602 -x4603 -x4604 x4605 -x4606 x4607 x4608 x4609 -x4610 -x4611 x4612 -x4613 x4614 -x4615 x4616 -x4617 -x4618 x4619 x4620 -x4621 -x4622
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698844-1278461657/watcher-2698844-1278461657 -o /tmp/evaluation-result-2698844-1278461657/solver-2698844-1278461657 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698844-1278461657.wbo 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.92 4/178 13289 /proc/meminfo: memFree=29174476/32950928 swapFree=67111528/67111528 [pid=13289] ppid=13287 vsize=2136 CPUtime=0 /proc/13289/stat : 13289 (pbct) R 13287 13289 12668 0 -1 4202496 252 0 0 0 0 0 0 0 25 0 1 0 14380478 2187264 171 4089446400 134512640 136422188 4287396560 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/13289/statm: 534 171 144 467 0 65 0 [startup+0.107173 s] /proc/loadavg: 2.00 2.00 1.92 4/178 13289 /proc/meminfo: memFree=29174476/32950928 swapFree=67111528/67111528 [pid=13289] ppid=13287 vsize=11292 CPUtime=0.1 /proc/13289/stat : 13289 (pbct) R 13287 13289 12668 0 -1 4202496 2545 0 0 0 10 0 0 0 25 0 1 0 14380478 11563008 2464 4089446400 134512640 136422188 4287396560 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13289/statm: 2856 2471 187 467 0 2387 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 11292 [startup+0.20116 s] /proc/loadavg: 2.00 2.00 1.92 4/178 13289 /proc/meminfo: memFree=29174476/32950928 swapFree=67111528/67111528 [pid=13289] ppid=13287 vsize=30076 CPUtime=0.19 /proc/13289/stat : 13289 (pbct) R 13287 13289 12668 0 -1 4202496 7384 0 0 0 18 1 0 0 25 0 1 0 14380478 30797824 7188 4089446400 134512640 136422188 4287396560 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13289/statm: 7519 7190 193 467 0 7050 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 30076 [startup+0.301143 s] /proc/loadavg: 2.00 2.00 1.92 4/178 13289 /proc/meminfo: memFree=29174476/32950928 swapFree=67111528/67111528 [pid=13289] ppid=13287 vsize=49328 CPUtime=0.29 /proc/13289/stat : 13289 (pbct) R 13287 13289 12668 0 -1 4202496 12593 0 0 0 28 1 0 0 25 0 1 0 14380478 50511872 11865 4089446400 134512640 136422188 4287396560 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13289/statm: 12332 11868 193 467 0 11863 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 49328 [startup+0.701058 s] /proc/loadavg: 2.00 2.00 1.92 4/178 13289 /proc/meminfo: memFree=29174476/32950928 swapFree=67111528/67111528 [pid=13289] ppid=13287 vsize=90712 CPUtime=0.7 /proc/13289/stat : 13289 (pbct) R 13287 13289 12668 0 -1 4202496 23176 0 0 0 63 7 0 0 25 0 1 0 14380478 92889088 21298 4089446400 134512640 136422188 4287396560 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13289/statm: 22678 21298 213 467 0 22209 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 90712 [startup+1.50091 s] /proc/loadavg: 2.00 2.00 1.92 3/179 13290 /proc/meminfo: memFree=29089404/32950928 swapFree=67111528/67111528 [pid=13289] ppid=13287 vsize=91908 CPUtime=1.49 /proc/13289/stat : 13289 (pbct) R 13287 13289 12668 0 -1 4202496 23584 0 0 0 118 31 0 0 25 0 1 0 14380478 94113792 21432 4089446400 134512640 136422188 4287396560 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13289/statm: 22977 21432 237 467 0 22508 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 91908 [startup+3.10061 s] /proc/loadavg: 2.00 2.00 1.92 3/179 13290 /proc/meminfo: memFree=29089032/32950928 swapFree=67111528/67111528 [pid=13289] ppid=13287 vsize=92040 CPUtime=3.09 /proc/13289/stat : 13289 (pbct) R 13287 13289 12668 0 -1 4202496 23651 0 0 0 232 77 0 0 25 0 1 0 14380478 94248960 21475 4089446400 134512640 136422188 4287396560 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13289/statm: 23010 21475 237 467 0 22541 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 92040 [startup+6.30099 s] /proc/loadavg: 2.00 2.00 1.92 3/179 13290 /proc/meminfo: memFree=29089404/32950928 swapFree=67111528/67111528 [pid=13289] ppid=13287 vsize=92304 CPUtime=6.29 /proc/13289/stat : 13289 (pbct) R 13287 13289 12668 0 -1 4202496 23778 0 0 0 479 150 0 0 25 0 1 0 14380478 94519296 21528 4089446400 134512640 136422188 4287396560 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13289/statm: 23076 21528 237 467 0 22607 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 92304 [startup+12.7008 s] /proc/loadavg: 2.00 2.00 1.92 3/179 13291 /proc/meminfo: memFree=29089384/32950928 swapFree=67111528/67111528 [pid=13289] ppid=13287 vsize=92700 CPUtime=12.69 /proc/13289/stat : 13289 (pbct) R 13287 13289 12668 0 -1 4202496 24112 0 0 0 1005 264 0 0 25 0 1 0 14380478 94924800 21645 4089446400 134512640 136422188 4287396560 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13289/statm: 23175 21645 237 467 0 22706 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 92700 Solver just ended. Dumping a history of the last processes samples [startup+12.8008 s] /proc/loadavg: 2.00 2.00 1.92 3/179 13291 /proc/meminfo: memFree=29089384/32950928 swapFree=67111528/67111528 [pid=13289] ppid=13287 vsize=92700 CPUtime=12.79 /proc/13289/stat : 13289 (pbct) R 13287 13289 12668 0 -1 4202496 24120 0 0 0 1014 265 0 0 25 0 1 0 14380478 94924800 21648 4089446400 134512640 136422188 4287396560 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13289/statm: 23175 21648 237 467 0 22706 0 Current children cumulated CPU time (s) 12.79 Current children cumulated vsize (KiB) 92700 [startup+16.0011 s] /proc/loadavg: 2.00 2.00 1.92 3/179 13291 /proc/meminfo: memFree=29089156/32950928 swapFree=67111528/67111528 [pid=13289] ppid=13287 vsize=93360 CPUtime=15.99 /proc/13289/stat : 13289 (pbct) R 13287 13289 12668 0 -1 4202496 24343 0 0 0 1319 280 0 0 25 0 1 0 14380478 95600640 21814 4089446400 134512640 136422188 4287396560 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13289/statm: 23340 21814 237 467 0 22871 0 Current children cumulated CPU time (s) 15.99 Current children cumulated vsize (KiB) 93360 [startup+17.6008 s] /proc/loadavg: 2.00 2.00 1.92 3/179 13291 /proc/meminfo: memFree=29087792/32950928 swapFree=67111528/67111528 [pid=13289] ppid=13287 vsize=94284 CPUtime=17.6 /proc/13289/stat : 13289 (pbct) R 13287 13289 12668 0 -1 4202496 24585 0 0 0 1476 284 0 0 25 0 1 0 14380478 96546816 22056 4089446400 134512640 136422188 4287396560 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13289/statm: 23571 22056 237 467 0 23102 0 Current children cumulated CPU time (s) 17.6 Current children cumulated vsize (KiB) 94284 [startup+19.2005 s] /proc/loadavg: 2.00 2.00 1.92 3/179 13291 /proc/meminfo: memFree=29087288/32950928 swapFree=67111528/67111528 [pid=13289] ppid=13287 vsize=95236 CPUtime=19.19 /proc/13289/stat : 13289 (pbct) R 13287 13289 12668 0 -1 4202496 24796 0 0 0 1632 287 0 0 25 0 1 0 14380478 97521664 22267 4089446400 134512640 136422188 4287396560 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13289/statm: 23809 22267 237 467 0 23340 0 Current children cumulated CPU time (s) 19.19 Current children cumulated vsize (KiB) 95236 [startup+20.0004 s] /proc/loadavg: 2.00 2.00 1.92 3/179 13291 /proc/meminfo: memFree=29086544/32950928 swapFree=67111528/67111528 [pid=13289] ppid=13287 vsize=95632 CPUtime=19.99 /proc/13289/stat : 13289 (pbct) R 13287 13289 12668 0 -1 4202496 24901 0 0 0 1710 289 0 0 25 0 1 0 14380478 97927168 22372 4089446400 134512640 136422188 4287396560 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13289/statm: 23908 22372 237 467 0 23439 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (KiB) 95632 [startup+20.2003 s] /proc/loadavg: 2.00 2.00 1.92 3/179 13291 /proc/meminfo: memFree=29086544/32950928 swapFree=67111528/67111528 [pid=13289] ppid=13287 vsize=86020 CPUtime=20.19 /proc/13289/stat : 13289 (pbct) R 13287 13289 12668 0 -1 4202496 24913 0 0 0 1730 289 0 0 25 0 1 0 14380478 88084480 20529 4089446400 134512640 136422188 4287396560 18446744073709551615 134701755 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13289/statm: 21505 20529 240 467 0 21036 0 Current children cumulated CPU time (s) 20.19 Current children cumulated vsize (KiB) 86020 Child status: 0 Real time (s): 20.2798 CPU time (s): 20.2809 CPU user time (s): 17.3804 CPU system time (s): 2.90056 CPU usage (%): 100.006 Max. virtual memory (cumulated for all children) (KiB): 95632 getrusage(RUSAGE_CHILDREN,...) data: user time used= 17.3804 system time used= 2.90056 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24914 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= 1 involuntary context switches= 52 runsolver used 0.037994 second user time and 0.05999 second system time The end
Begin job on node114 at 2010-07-07 02:14:17 IDJOB=2698844 IDBENCH=79022 IDSOLVER=1212 FILE ID=node114/2698844-1278461657 PBS_JOBID= 11233765 Free space on /tmp= 73380 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.3.accl.ucl--soft-66-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2698844-1278461657/watcher-2698844-1278461657 -o /tmp/evaluation-result-2698844-1278461657/solver-2698844-1278461657 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698844-1278461657.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e08e31eb3b4e7c09e6499c484fbac4c3 RANDOM SEED=788142430 node114.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.824 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.64 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.824 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.824 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.824 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.824 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.824 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.824 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.824 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 29174996 kB Buffers: 108436 kB Cached: 3435864 kB SwapCached: 0 kB Active: 1066080 kB Inactive: 2560128 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29174996 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2260 kB Writeback: 0 kB AnonPages: 81900 kB Mapped: 15624 kB Slab: 87276 kB PageTables: 4680 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 222208 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73376 MiB End job on node114 at 2010-07-07 02:14:38