Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 99.3159 | 99.3135 |
Name | /SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-tlan2.ucl--soft-0-100-0.wbo |
MD5SUM | 8cd432ce35ac43809c1c027beb7ff72a |
Bench Category | SOFT-SMALLINT-LIN (only soft 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 | 0.046992 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 2221 |
Total number of constraints | 3050 |
Number of soft constraints | 3050 |
Number of constraints which are clauses | 2330 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 720 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 19 |
Top cost | 154947 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 154946 |
Biggest number in a constraint | 641 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2174 |
Number of bits of the biggest sum of numbers | 12 |
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.03 c constraints 0/720 clauses 0/2330 units 0 0.00/0.03 c vars 2221 0.69/0.70 c 0.606907 77.9141 395 116283 0.69/0.70 o 5418 0.89/0.90 c 0.756884 79.4141 979 155317 0.89/0.90 o 5411 0.99/1.01 c 0.846871 79.4141 1435 186373 0.99/1.01 o 4248 1.09/1.12 c 0.940856 79.4141 1994 213187 1.09/1.12 o 4087 1.19/1.22 c 1.02684 79.4141 2642 230501 1.19/1.22 o 3863 1.19/1.25 c 1.04884 79.543 2660 237561 1.19/1.25 o 3126 1.29/1.33 c 1.12283 79.543 3040 248495 1.29/1.33 o 2523 1.39/1.40 c 1.18682 79.543 3650 256012 1.39/1.40 o 2522 1.39/1.46 c 1.23681 79.6719 4099 262166 1.39/1.46 o 2515 1.49/1.54 c 1.3148 79.6719 4560 269446 1.49/1.54 o 2514 1.49/1.58 c 1.3458 79.6719 4754 275297 1.49/1.58 o 2506 1.59/1.68 c 1.43178 79.6719 5199 288655 1.59/1.68 o 2503 1.69/1.75 c 1.49077 79.8008 5490 298802 1.69/1.75 o 2500 1.79/1.82 c 1.54776 79.8008 5804 309233 1.79/1.82 o 2494 1.79/1.87 c 1.58176 79.8008 5874 321826 1.79/1.87 o 2404 1.89/1.92 c 1.62675 79.8008 6066 335526 1.89/1.92 o 2265 1.89/1.99 c 1.68974 79.8008 6330 346983 1.89/1.99 o 1903 1.99/2.02 c 1.71274 79.8008 6378 352679 1.99/2.02 o 1652 1.99/2.08 c 1.76273 79.9297 6750 356335 1.99/2.08 o 1651 2.09/2.11 c 1.78173 79.9297 6758 360997 2.09/2.11 o 1157 2.09/2.16 c 1.82472 79.9297 6890 363610 2.09/2.16 o 1152 2.20/2.24 c 1.89671 79.9297 7369 369476 2.20/2.24 o 1146 2.20/2.27 c 1.91671 79.9297 7380 371338 2.20/2.27 o 1142 2.20/2.29 c 1.93971 79.9297 7404 373229 2.20/2.29 o 1139 2.29/2.37 c 2.00869 80.0586 8136 377332 2.29/2.37 o 1137 2.39/2.43 c 2.05469 80.0586 8365 381114 2.39/2.43 o 1135 2.39/2.49 c 2.10668 80.0586 8767 384645 2.39/2.49 o 1134 2.49/2.54 c 2.15667 80.0586 8976 388804 2.49/2.54 o 1125 2.59/2.60 c 2.21066 80.0586 9166 390862 2.59/2.60 o 1122 2.59/2.64 c 2.24966 80.0586 9536 394094 2.59/2.64 o 1114 2.59/2.67 c 2.27065 80.1875 9545 395218 2.59/2.67 o 1113 2.59/2.69 c 2.29265 80.1875 9625 396962 2.59/2.69 o 1109 2.69/2.73 c 2.32765 80.1875 9681 400316 2.69/2.73 o 1105 2.69/2.76 c 2.35064 80.1875 9742 402069 2.69/2.76 o 1095 2.79/2.80 c 2.38064 80.1875 9860 405429 2.79/2.80 o 1092 2.89/2.90 c 2.47662 80.1875 5639 409077 2.89/2.90 o 1089 2.89/2.99 c 2.55361 80.1875 6334 413042 2.89/2.99 o 1087 2.99/3.02 c 2.58061 80.1875 6631 414499 2.99/3.02 o 1086 2.99/3.05 c 2.6096 80.1875 6729 415947 2.99/3.05 o 1082 2.99/3.07 c 2.6276 80.1875 6739 418333 2.99/3.07 o 1081 2.99/3.09 c 2.6466 80.1875 6749 419941 2.99/3.09 o 1076 3.09/3.12 c 2.66959 80.1875 6775 421400 3.09/3.12 o 1074 3.09/3.19 c 2.72959 80.1875 7259 426395 3.09/3.19 o 1059 3.19/3.21 c 2.74658 80.1875 7316 428341 3.19/3.21 o 1054 3.19/3.24 c 2.77358 80.1875 7455 430986 3.19/3.24 o 1044 3.19/3.29 c 2.81357 80.1875 7720 433513 3.19/3.29 o 1038 3.30/3.32 c 2.84057 80.1875 7797 435198 3.30/3.32 o 1036 3.30/3.36 c 2.87256 80.1875 7950 437682 3.30/3.36 o 1032 3.30/3.39 c 2.89256 80.1875 7966 440639 3.30/3.39 o 1031 3.39/3.47 c 2.96855 80.1875 8572 443342 3.39/3.47 o 1030 3.49/3.50 c 2.99354 80.1875 8623 445710 3.49/3.50 o 1028 3.49/3.53 c 3.02054 80.1875 8664 449394 3.49/3.53 o 1023 3.59/3.60 c 3.08053 80.1875 9356 453482 3.59/3.60 o 1020 3.59/3.62 c 3.09953 80.1875 9372 455092 3.59/3.62 o 1014 3.59/3.67 c 3.14252 80.3164 9835 459168 3.59/3.67 o 1009 3.69/3.72 c 3.19151 80.3164 10325 462220 3.69/3.72 o 1002 3.79/3.82 c 3.2795 80.3164 6054 466401 3.79/3.82 o 1000 3.79/3.85 c 3.3095 80.3164 6195 467836 3.79/3.85 o 997 3.79/3.88 c 3.32949 80.3164 6242 469289 3.79/3.88 o 993 3.89/3.90 c 3.35649 80.3164 6431 471138 3.89/3.90 o 983 3.89/3.93 c 3.37649 80.3164 6438 473063 3.89/3.93 o 978 3.89/3.97 c 3.41048 80.3164 6909 475494 3.89/3.97 o 972 3.99/4.02 c 3.45447 80.3164 7367 477570 3.99/4.02 o 969 3.99/4.06 c 3.48347 80.3164 7645 479005 3.99/4.06 o 968 3.99/4.08 c 3.50247 80.3164 7654 480440 3.99/4.08 o 964 4.09/4.10 c 3.51946 80.3164 7659 481853 4.09/4.10 o 963 4.09/4.12 c 3.54146 80.3164 7672 483540 4.09/4.12 o 959 4.09/4.14 c 3.56246 80.3164 7700 484914 4.09/4.14 o 956 4.09/4.17 c 3.58845 80.3164 7738 486002 4.09/4.17 o 955 4.19/4.20 c 3.61345 80.3164 7831 487643 4.19/4.20 o 953 4.19/4.26 c 3.66344 80.3164 8120 489775 4.19/4.26 o 952 4.19/4.29 c 3.69144 80.3164 8250 491114 4.19/4.29 o 949 4.30/4.33 c 3.73043 80.3164 8501 492621 4.30/4.33 o 945 4.30/4.36 c 3.74843 80.3164 8530 493868 4.30/4.36 o 941 4.30/4.38 c 3.76843 80.3164 8541 494962 4.30/4.38 o 939 4.30/4.40 c 3.78642 80.3164 8553 496217 4.30/4.40 o 937 4.39/4.42 c 3.80942 80.3164 8580 497513 4.39/4.42 o 932 4.39/4.45 c 3.83042 80.3164 8644 499052 4.39/4.45 o 929 4.39/4.47 c 3.84841 80.3164 8679 500129 4.39/4.47 o 928 4.49/4.51 c 3.87541 80.3164 8887 501563 4.49/4.51 o 926 4.49/4.54 c 3.90541 80.3164 8973 503485 4.49/4.54 o 922 4.49/4.57 c 3.9294 80.3164 9140 505128 4.49/4.57 o 918 4.49/4.59 c 3.9484 80.3164 9155 506241 4.49/4.59 o 916 4.59/4.62 c 3.97839 80.3164 9287 507987 4.59/4.62 o 914 4.59/4.66 c 4.01139 80.3164 9499 510048 4.59/4.66 o 913 4.59/4.69 c 4.04038 80.3164 9562 511567 4.59/4.69 o 904 4.69/4.76 c 4.10938 80.3164 9866 513646 4.69/4.76 o 900 4.69/4.78 c 4.12837 80.3164 9877 514749 4.69/4.78 o 898 4.79/4.81 c 4.14837 80.3164 9899 516063 4.79/4.81 o 895 4.79/4.88 c 4.21236 80.4453 10251 517903 4.79/4.88 o 892 5.09/5.11 c 4.41933 80.4453 7250 526673 5.09/5.11 o 891 5.09/5.14 c 4.43933 80.4453 7317 527974 5.09/5.14 o 888 5.09/5.18 c 4.47832 80.4453 7488 529885 5.09/5.18 o 887 5.19/5.24 c 4.53531 80.4453 7814 531734 5.19/5.24 o 885 5.29/5.35 c 4.63629 80.4453 8551 536006 5.29/5.35 o 884 5.29/5.39 c 4.67329 80.4453 8847 537893 5.29/5.39 o 879 5.40/5.41 c 4.69329 80.4453 8849 539146 5.40/5.41 o 876 5.40/5.44 c 4.71728 80.4453 8974 540600 5.40/5.44 o 875 5.40/5.47 c 4.74228 80.4453 9122 541994 5.40/5.47 o 874 5.50/5.53 c 4.78927 80.4453 9261 544777 5.50/5.53 o 873 5.60/5.67 c 4.91925 80.4453 10362 548865 5.60/5.67 o 871 5.79/5.88 c 5.11322 80.4453 7005 556234 5.79/5.88 o 870 5.89/5.94 c 5.15822 80.4453 7417 558673 5.89/5.94 o 869 5.99/6.01 c 5.22321 80.4453 7975 561012 5.99/6.01 o 868 6.09/6.14 c 5.33219 80.4453 8949 566245 6.09/6.14 o 866 6.19/6.28 c 5.44417 80.5742 9982 572137 6.19/6.28 o 864 6.29/6.32 c 5.48317 80.5742 10181 573688 6.29/6.32 o 860 6.39/6.50 c 5.64614 80.5742 7161 579502 6.39/6.50 o 859 6.50/6.56 c 5.70213 80.5742 7848 582213 6.50/6.56 o 858 6.60/6.61 c 5.75012 80.5742 8165 584461 6.60/6.61 o 857 6.60/6.67 c 5.80412 80.5742 8772 586531 6.60/6.67 o 856 6.69/6.72 c 5.85111 80.5742 9294 588211 6.69/6.72 o 855 6.69/6.75 c 5.88211 80.5742 9423 590215 6.69/6.75 o 851 6.79/6.80 c 5.9231 80.5742 9599 592367 6.79/6.80 o 850 6.79/6.88 c 5.99309 80.5742 10081 595232 6.79/6.88 o 849 7.19/7.23 c 6.30404 80.5742 8585 607806 7.19/7.23 o 848 7.19/7.28 c 6.35003 80.5742 8952 609958 7.19/7.28 o 847 7.29/7.38 c 6.43702 80.5742 9612 614057 7.29/7.38 o 845 7.70/7.75 c 6.75997 80.7031 8778 627771 7.70/7.75 o 843 7.79/7.84 c 6.84596 80.7031 9497 631992 7.79/7.84 o 840 7.89/7.93 c 6.92695 80.7031 10149 634563 7.89/7.93 o 839 8.19/8.21 c 7.19091 80.7031 7931 645252 8.19/8.21 o 838 8.19/8.26 c 7.2379 80.7031 8312 647621 8.19/8.26 o 836 8.29/8.36 c 7.32389 80.7031 9063 651729 8.29/8.36 o 833 8.39/8.40 c 7.35788 80.7031 9230 653829 8.39/8.40 o 829 8.49/8.54 c 7.47986 80.7031 10446 658605 8.49/8.54 o 826 8.59/8.67 c 7.60184 80.7031 8078 664197 8.59/8.67 o 824 8.70/8.79 c 7.70183 80.7031 8953 668863 8.70/8.79 o 823 8.80/8.84 c 7.74682 80.7031 9278 671176 8.80/8.84 o 822 8.89/8.91 c 7.80381 80.7031 9846 674350 8.89/8.91 o 821 8.89/8.95 c 7.84281 80.7031 10132 676619 8.89/8.95 o 817 9.19/9.27 c 8.12776 80.7031 8459 687734 9.19/9.27 o 816 9.19/9.29 c 8.15076 80.7031 8540 689229 9.19/9.29 o 815 9.29/9.34 c 8.19175 80.7031 8876 691023 9.29/9.34 o 813 9.29/9.36 c 8.21075 80.7031 8885 692240 9.29/9.36 o 812 9.39/9.40 c 8.24475 80.7031 9104 693688 9.39/9.40 o 811 9.39/9.49 c 8.31973 80.832 9937 697093 9.39/9.49 o 807 9.49/9.53 c 8.35873 80.832 10300 698724 9.49/9.53 o 806 9.69/9.79 c 8.5837 80.832 8205 709407 9.69/9.79 o 805 9.80/9.82 c 8.60769 80.832 8222 710825 9.80/9.82 o 804 9.90/9.95 c 8.72467 80.832 10069 716550 9.90/9.95 o 803 9.90/9.99 c 8.75767 80.832 10384 718428 9.90/9.99 o 802 10.29/10.36 c 9.07962 80.832 8958 729917 10.29/10.36 o 801 10.39/10.43 c 9.13761 80.832 9477 732491 10.39/10.43 o 800 10.39/10.46 c 9.16161 80.832 9710 734106 10.39/10.46 o 796 10.79/10.85 c 9.50955 80.832 9240 747965 10.79/10.85 o 795 10.90/10.90 c 9.55655 80.832 9568 750107 10.90/10.90 o 794 10.90/10.93 c 9.58054 80.832 9657 751551 10.90/10.93 o 793 10.99/11.00 c 9.63953 80.832 10057 753711 10.99/11.00 o 791 10.99/11.04 c 9.67253 80.832 10323 755305 10.99/11.04 o 790 11.49/11.53 c 10.0955 80.832 9796 770928 11.49/11.53 o 789 11.49/11.57 c 10.1385 80.832 10001 772887 11.49/11.57 o 787 11.49/11.59 c 10.1575 80.832 10006 774028 11.49/11.59 o 785 11.60/11.64 c 10.2024 80.9609 10135 776187 11.60/11.64 o 784 12.09/12.13 c 10.6424 80.9609 9879 791368 12.09/12.13 o 783 12.09/12.16 c 10.6674 80.9609 9990 793091 12.09/12.16 o 778 12.59/12.64 c 11.0963 80.9609 9876 809134 12.59/12.64 o 775 12.80/12.85 c 11.2843 80.9609 7946 816398 12.80/12.85 o 774 12.89/12.93 c 11.3583 80.9609 8627 819221 12.89/12.93 o 772 12.89/12.98 c 11.3983 80.9609 8944 821375 12.89/12.98 o 771 12.99/13.00 c 11.4213 80.9609 9001 822738 12.99/13.00 o 770 12.99/13.03 c 11.4433 80.9609 9067 824202 12.99/13.03 o 769 13.09/13.14 c 11.5412 80.9609 10023 828455 13.09/13.14 o 764 13.39/13.47 c 11.8312 80.9609 8164 840144 13.39/13.47 o 762 13.50/13.53 c 11.8912 80.9609 8713 842617 13.50/13.53 o 761 13.50/13.59 c 11.9412 80.9609 9019 844237 13.50/13.59 o 760 13.89/13.94 c 12.2561 80.9609 7679 856970 13.89/13.94 o 759 14.09/14.12 c 12.4241 80.9609 9220 862432 14.09/14.12 o 757 14.09/14.16 c 12.4581 80.9609 9615 864409 14.09/14.16 o 756 14.59/14.60 c 12.846 81.0898 9388 879356 14.59/14.60 o 755 14.59/14.67 c 12.905 81.0898 10051 882188 14.59/14.67 o 754 14.89/14.96 c 13.157 81.0898 7310 892462 14.89/14.96 o 752 14.89/14.99 c 13.179 81.0898 7333 893845 14.89/14.99 o 750 15.09/15.10 c 13.277 81.0898 8374 898724 15.09/15.10 o 749 15.09/15.14 c 13.313 81.0898 8625 900533 15.09/15.14 o 746 15.19/15.23 c 13.394 81.0898 9334 903602 15.19/15.23 o 745 15.19/15.29 c 13.449 81.0898 9783 906097 15.19/15.29 o 742 15.29/15.34 c 13.4889 81.0898 9935 907841 15.29/15.34 o 741 15.29/15.38 c 13.5249 81.0898 10128 910787 15.29/15.38 o 740 15.79/15.80 c 13.8939 81.0898 8727 925072 15.79/15.80 o 739 15.89/15.96 c 14.0419 81.0898 10613 930752 15.89/15.96 o 734 16.00/16.07 c 14.1299 81.0898 7149 934249 16.00/16.07 o 733 16.09/16.11 c 14.1678 81.0898 7362 936121 16.09/16.11 o 732 16.19/16.20 c 14.2418 81.0898 8133 940155 16.19/16.20 o 726 16.19/16.23 c 14.2698 81.0898 8411 941986 16.19/16.23 o 724 16.19/16.26 c 14.2968 81.0898 8476 943589 16.19/16.26 o 717 16.29/16.31 c 14.3458 81.0898 8971 945425 16.29/16.31 o 716 16.29/16.35 c 14.3878 81.0898 9105 948034 16.29/16.35 o 715 16.40/16.42 c 14.4468 81.0898 9887 951028 16.40/16.42 o 713 16.59/16.67 c 14.6728 81.0898 7114 960264 16.59/16.67 o 712 16.79/16.83 c 14.8057 81.0898 8907 965925 16.79/16.83 o 711 16.79/16.86 c 14.8257 81.0898 8928 967061 16.79/16.86 o 710 16.89/16.90 c 14.8687 81.0898 9238 969041 16.89/16.90 o 709 16.89/16.93 c 14.8897 81.0898 9257 970563 16.89/16.93 o 708 16.89/16.95 c 14.9137 81.0898 9274 971860 16.89/16.95 o 707 16.89/16.98 c 14.9317 81.0898 9280 973023 16.89/16.98 o 706 16.99/17.01 c 14.9557 81.0898 9340 974615 16.99/17.01 o 705 16.99/17.03 c 14.9757 81.0898 9352 975707 16.99/17.03 o 704 16.99/17.05 c 14.9937 81.0898 9359 976866 16.99/17.05 o 703 16.99/17.07 c 15.0117 81.0898 9375 978205 16.99/17.07 o 702 16.99/17.09 c 15.0317 81.0898 9384 979339 16.99/17.09 o 699 17.09/17.14 c 15.0727 81.0898 9636 981254 17.09/17.14 o 698 17.09/17.16 c 15.0947 81.0898 9667 982716 17.09/17.16 o 691 17.09/17.19 c 15.1177 81.0898 9742 984144 17.09/17.19 o 687 17.20/17.22 c 15.1437 81.0898 9801 985590 17.20/17.22 o 685 17.20/17.24 c 15.1627 81.0898 9848 986680 17.20/17.24 o 684 17.20/17.26 c 15.1787 81.0898 9852 988080 17.20/17.26 o 676 17.29/17.31 c 15.2187 81.0898 10170 989900 17.29/17.31 o 673 17.29/17.36 c 15.2557 81.0898 10283 992168 17.29/17.36 o 670 17.60/17.67 c 15.5326 81.2188 8453 1004573 17.60/17.67 o 669 17.69/17.78 c 15.6286 81.2188 9350 1008952 17.69/17.78 o 667 17.90/17.93 c 15.7686 81.2188 11034 1012976 17.90/17.93 o 666 18.19/18.24 c 16.0446 81.2188 8536 1024346 18.19/18.24 o 664 18.19/18.27 c 16.0756 81.2188 8729 1025844 18.19/18.27 o 663 18.29/18.34 c 16.1285 81.2188 9271 1028539 18.29/18.34 o 662 18.39/18.44 c 16.2185 81.2188 10157 1032232 18.39/18.44 o 660 18.49/18.52 c 16.2855 81.2188 10749 1034972 18.49/18.52 o 659 18.60/18.66 c 16.4005 81.2188 8037 1040067 18.60/18.66 o 657 18.60/18.69 c 16.4205 81.2188 8257 1041576 18.60/18.69 o 655 18.80/18.81 c 16.5285 81.2188 9322 1046898 18.80/18.81 o 653 18.89/18.90 c 16.6035 81.2188 9946 1049818 18.89/18.90 o 650 18.89/18.98 c 16.6645 81.2188 10380 1052584 18.89/18.98 o 649 19.29/19.31 c 16.9544 81.2188 8634 1064227 19.29/19.31 o 648 19.29/19.38 c 17.0074 81.2188 9194 1066806 19.29/19.38 o 647 19.39/19.40 c 17.0244 81.2188 9212 1067851 19.39/19.40 o 646 19.39/19.42 c 17.0464 81.2188 9241 1069161 19.39/19.42 o 643 19.39/19.44 c 17.0664 81.2188 9252 1070518 19.39/19.44 o 642 19.39/19.46 c 17.0824 81.2188 9258 1071598 19.39/19.46 o 641 19.50/19.55 c 17.1594 81.2188 9884 1075014 19.50/19.55 o 640 19.50/19.57 c 17.1784 81.2188 9889 1076128 19.50/19.57 o 636 19.50/19.59 c 17.1974 81.2188 9907 1077279 19.50/19.59 o 635 19.59/19.62 c 17.2214 81.2188 9981 1078455 19.59/19.62 o 633 19.59/19.66 c 17.2534 81.2188 10207 1080077 19.59/19.66 o 630 19.59/19.68 c 17.2734 81.2188 10215 1081193 19.59/19.68 o 629 19.59/19.70 c 17.2914 81.2188 10220 1082218 19.59/19.70 o 628 19.70/19.73 c 17.3154 81.2188 10295 1083461 19.70/19.73 o 626 19.70/19.75 c 17.3394 81.2188 10382 1084622 19.70/19.75 o 625 19.89/19.94 c 17.5083 81.2188 7966 1091997 19.89/19.94 o 624 19.89/19.98 c 17.5333 81.2188 8056 1093657 19.89/19.98 o 620 20.09/20.11 c 17.6483 81.2188 8974 1097588 20.09/20.11 o 619 20.09/20.17 c 17.7013 81.2188 9331 1099277 20.09/20.17 o 617 20.19/20.22 c 17.7453 81.2188 9722 1101025 20.19/20.22 o 616 20.19/20.27 c 17.7883 81.2188 10278 1102916 20.19/20.27 o 615 20.19/20.29 c 17.8053 81.2188 10309 1104012 20.19/20.29 o 614 20.59/20.61 c 18.0882 81.2188 9053 1115280 20.59/20.61 o 613 20.59/20.65 c 18.1312 81.2188 9485 1117131 20.59/20.65 o 611 20.59/20.69 c 18.1632 81.2188 9679 1118519 20.59/20.69 o 610 21.10/21.13 c 18.5612 81.3477 9730 1132965 21.10/21.13 o 609 21.10/21.18 c 18.6002 81.3477 9950 1135482 21.10/21.18 o 608 21.19/21.20 c 18.6182 81.3477 9965 1136757 21.19/21.20 o 606 21.19/21.23 c 18.6392 81.3477 9971 1138040 21.19/21.23 o 603 21.19/21.25 c 18.6622 81.3477 9999 1139799 21.19/21.25 o 600 21.19/21.27 c 18.6822 81.3477 10023 1141402 21.19/21.27 o 597 21.29/21.31 c 18.7132 81.3477 10183 1143263 21.29/21.31 o 596 21.60/21.63 c 19.0041 81.3477 8619 1155011 21.60/21.63 o 594 21.70/21.70 c 19.0621 81.3477 9068 1157712 21.70/21.70 o 593 21.70/21.72 c 19.0791 81.3477 9126 1158888 21.70/21.72 o 591 21.79/21.80 c 19.1451 81.3477 9928 1161785 21.79/21.80 o 589 21.79/21.84 c 19.1771 81.3477 10364 1163759 21.79/21.84 o 588 21.79/21.87 c 19.1981 81.3477 10419 1165197 21.79/21.87 o 587 22.29/22.39 c 19.669 81.3477 10419 1180880 22.29/22.39 o 586 22.49/22.54 c 19.8 81.3477 8364 1186393 22.49/22.54 o 585 23.10/23.14 c 20.3289 81.3477 9480 1206457 23.10/23.14 o 584 23.19/23.24 c 20.4209 81.3477 10239 1209783 23.19/23.24 o 583 23.69/23.72 c 20.8318 81.3477 10056 1225435 23.69/23.72 o 579 23.69/23.76 c 20.8758 81.3477 10181 1227458 23.69/23.76 o 578 24.59/24.66 c 21.6677 81.4766 8487 1253413 24.59/24.66 o 577 24.69/24.78 c 21.7697 81.4766 9731 1257719 24.69/24.78 o 576 25.09/25.16 c 22.1046 81.4766 8910 1269714 25.09/25.16 o 573 25.69/25.75 c 22.6326 81.4766 9546 1286733 25.69/25.75 o 572 25.79/25.81 c 22.6846 81.4766 9681 1289188 25.79/25.81 o 571 25.79/25.88 c 22.7465 81.4766 10377 1291822 25.79/25.88 o 570 26.30/26.33 c 23.1365 81.4766 9492 1305693 26.30/26.33 o 569 26.30/26.38 c 23.1845 81.4766 9932 1307721 26.30/26.38 o 567 26.40/26.42 c 23.2195 81.4766 10091 1309389 26.40/26.42 o 566 26.40/26.48 c 23.2725 81.4766 10532 1311234 26.40/26.48 o 563 27.30/27.37 c 24.0533 81.4766 9929 1339262 27.30/27.37 o 562 27.30/27.39 c 24.0743 81.4766 9955 1340392 27.30/27.39 o 561 27.40/27.42 c 24.0983 81.4766 9970 1341740 27.40/27.42 o 560 27.40/27.47 c 24.1423 81.4766 10256 1343596 27.40/27.47 o 559 27.40/27.49 c 24.1623 81.4766 10323 1344794 27.40/27.49 o 558 27.50/27.51 c 24.1783 81.4766 10330 1345879 27.50/27.51 o 557 27.69/27.72 c 24.3723 81.4766 7497 1353377 27.69/27.72 o 556 27.69/27.78 c 24.4153 81.4766 7943 1355400 27.69/27.78 o 555 27.80/27.82 c 24.4483 81.4766 8266 1357387 27.80/27.82 o 553 27.80/27.87 c 24.4953 81.4766 8630 1359590 27.80/27.87 o 551 27.89/27.93 c 24.5523 81.4766 9169 1362165 27.89/27.93 o 549 27.89/27.96 c 24.5763 81.4766 9206 1363483 27.89/27.96 o 547 27.99/28.00 c 24.6103 81.4766 9456 1365161 27.99/28.00 o 545 27.99/28.09 c 24.6882 81.4766 10317 1367452 27.99/28.09 o 544 28.09/28.12 c 24.7222 81.4766 10448 1369175 28.09/28.12 o 542 28.39/28.48 c 25.0382 81.4766 9505 1381143 28.39/28.48 o 541 28.50/28.51 c 25.0602 81.4766 9574 1382218 28.50/28.51 o 540 28.50/28.57 c 25.1192 81.4766 9913 1384590 28.50/28.57 o 539 28.60/28.62 c 25.1592 81.4766 10107 1386267 28.60/28.62 o 538 28.89/28.96 c 25.4621 81.4766 8296 1397400 28.89/28.96 o 537 28.99/29.01 c 25.5061 81.4766 8553 1399166 28.99/29.01 o 536 28.99/29.04 c 25.5281 81.4766 8620 1400372 28.99/29.04 o 535 29.09/29.15 c 25.6271 81.4766 9406 1403264 29.09/29.15 o 534 29.60/29.64 c 26.068 81.4766 8760 1419472 29.60/29.64 o 533 29.60/29.68 c 26.097 81.4766 8980 1420913 29.60/29.68 o 530 30.09/30.14 c 26.521 81.4766 8334 1436930 30.09/30.14 o 529 30.19/30.23 c 26.59 81.4766 8853 1440233 30.19/30.23 o 528 30.19/30.25 c 26.611 81.4766 8921 1441536 30.19/30.25 o 525 30.29/30.32 c 26.6659 81.4766 9312 1443809 30.29/30.32 o 523 30.29/30.34 c 26.6899 81.4766 9387 1445096 30.29/30.34 o 521 30.29/30.38 c 26.7239 81.4766 9643 1446614 30.29/30.38 o 520 30.39/30.48 c 26.8089 81.6055 10483 1450075 30.39/30.48 o 519 30.80/30.83 c 27.1189 81.6055 9537 1460886 30.80/30.83 o 518 30.80/30.88 c 27.1649 81.6055 10090 1462678 30.80/30.88 o 516 30.89/30.91 c 27.1879 81.6055 10263 1463982 30.89/30.91 o 515 30.89/30.96 c 27.2319 81.6055 10380 1466597 30.89/30.96 o 509 30.89/30.98 c 27.2509 81.6055 10388 1467678 30.89/30.98 o 508 31.39/31.40 c 27.6068 81.6055 9879 1483267 31.39/31.40 o 507 31.39/31.45 c 27.6488 81.6055 10138 1484716 31.39/31.45 o 506 31.50/31.51 c 27.7028 81.6055 10657 1486388 31.50/31.51 o 505 31.69/31.72 c 27.8888 81.6055 8759 1491646 31.69/31.72 o 504 31.90/31.91 c 28.0587 81.6055 10405 1497139 31.90/31.91 o 502 32.19/32.24 c 28.3427 81.6055 9401 1508456 32.19/32.24 o 499 32.19/32.29 c 28.3787 81.6055 9597 1510452 32.19/32.29 o 498 32.29/32.39 c 28.4737 81.6055 10666 1514703 32.29/32.39 o 497 33.00/33.01 c 29.0126 81.6055 7771 1534911 33.00/33.01 o 496 33.00/33.08 c 29.0726 81.6055 8221 1537558 33.00/33.08 o 494 33.09/33.11 c 29.1006 81.6055 8290 1539300 33.09/33.11 o 493 33.19/33.21 c 29.1816 81.6055 9181 1543589 33.19/33.21 o 492 33.19/33.28 c 29.2416 81.6055 9820 1546420 33.19/33.28 o 491 33.29/33.33 c 29.2905 81.6055 9965 1548900 33.29/33.33 o 490 33.29/33.37 c 29.3195 81.6055 10251 1550321 33.29/33.37 o 489 33.39/33.42 c 29.3695 81.6055 10485 1552023 33.39/33.42 o 488 33.59/33.64 c 29.5575 81.6055 8544 1559029 33.59/33.64 o 487 33.59/33.69 c 29.5995 81.6055 8922 1560861 33.59/33.69 o 485 33.69/33.73 c 29.6355 81.6055 9307 1562660 33.69/33.73 o 484 33.69/33.78 c 29.6855 81.6055 9822 1565377 33.69/33.78 o 480 33.79/33.82 c 29.7145 81.6055 9878 1566769 33.79/33.82 o 479 33.79/33.84 c 29.7315 81.6055 9891 1567804 33.79/33.84 o 478 33.79/33.89 c 29.7755 81.6055 10108 1569675 33.79/33.89 o 477 33.89/33.93 c 29.8165 81.6055 10350 1571247 33.89/33.93 o 476 34.20/34.21 c 30.0654 81.6055 8622 1580005 34.20/34.21 o 475 34.20/34.26 c 30.1044 81.6055 9185 1582619 34.20/34.26 o 473 34.29/34.37 c 30.2024 81.6055 10052 1585659 34.29/34.37 o 471 34.79/34.80 c 30.5674 81.6055 10019 1602740 34.79/34.80 o 468 34.79/34.86 c 30.6213 81.6055 10381 1604346 34.79/34.86 o 463 34.79/34.88 c 30.6403 81.6055 10391 1605583 34.79/34.88 o 459 35.29/35.30 c 31.0013 81.6055 9984 1619784 35.29/35.30 o 458 35.29/35.34 c 31.0383 81.6055 10224 1621378 35.29/35.34 o 457 35.69/35.70 c 31.3512 81.6055 8827 1634199 35.69/35.70 o 456 35.79/35.82 c 31.4522 81.6055 9630 1639434 35.79/35.82 o 450 35.89/35.90 c 31.5222 81.7344 10225 1641557 35.89/35.90 o 449 35.89/35.92 c 31.5422 81.7344 10253 1642553 35.89/35.92 o 448 36.39/36.40 c 31.9681 81.7344 9568 1657845 36.39/36.40 o 447 36.50/36.52 c 32.0671 81.7344 10474 1662313 36.50/36.52 o 444 36.69/36.70 c 32.2301 81.7344 8068 1667828 36.69/36.70 o 440 36.69/36.73 c 32.2611 81.7344 8389 1669194 36.69/36.73 o 439 36.69/36.78 c 32.3081 81.7344 8729 1671048 36.69/36.78 o 438 36.89/36.97 c 32.4751 81.7344 10174 1676292 36.89/36.97 o 437 36.99/37.00 c 32.4981 81.7344 10226 1677564 36.99/37.00 o 436 37.40/37.40 c 32.847 81.7344 9933 1691112 37.40/37.40 o 435 37.89/37.91 c 33.2959 81.7344 10033 1706474 37.89/37.91 o 433 37.89/37.95 c 33.3269 81.7344 10347 1707877 37.89/37.95 o 432 38.19/38.23 c 33.5659 81.7344 8316 1717441 38.19/38.23 o 431 38.19/38.27 c 33.6009 81.7344 8442 1719083 38.19/38.27 o 429 38.29/38.35 c 33.6629 81.7344 9120 1722214 38.29/38.35 o 427 38.39/38.47 c 33.7719 81.7344 10297 1725332 38.39/38.47 o 425 38.50/38.51 c 33.8019 81.7344 10349 1726864 38.50/38.51 o 423 38.50/38.53 c 33.8279 81.7344 10433 1727941 38.50/38.53 o 422 39.29/39.32 c 34.5387 81.7344 9179 1749038 39.29/39.32 o 421 39.40/39.42 c 34.6197 81.7344 10206 1752212 39.40/39.42 o 419 39.79/39.80 c 34.9477 81.7344 8782 1763342 39.79/39.80 o 417 39.79/39.85 c 34.9997 81.7344 9208 1765413 39.79/39.85 o 416 39.99/40.01 c 35.1307 81.7344 10283 1771117 39.99/40.01 o 414 40.49/40.58 c 35.6406 81.8633 11038 1787172 40.49/40.58 o 413 41.09/41.18 c 36.1675 81.8633 7482 1806615 41.09/41.18 o 412 41.20/41.23 c 36.2075 81.8633 7789 1808710 41.20/41.23 o 411 41.20/41.25 c 36.2285 81.8633 7863 1809990 41.20/41.25 o 410 41.20/41.28 c 36.2565 81.8633 8042 1811774 41.20/41.28 o 408 41.29/41.33 c 36.2965 81.8633 8434 1813748 41.29/41.33 o 407 41.29/41.36 c 36.3185 81.8633 8441 1815133 41.29/41.36 o 406 41.29/41.38 c 36.3385 81.8633 8470 1816353 41.29/41.38 o 404 41.39/41.41 c 36.3695 81.8633 8843 1817945 41.39/41.41 o 403 41.39/41.43 c 36.3885 81.8633 8854 1819075 41.39/41.43 o 402 41.39/41.49 c 36.4325 81.8633 9283 1821449 41.39/41.49 o 397 41.49/41.52 c 36.4555 81.8633 9311 1822421 41.49/41.52 o 396 41.49/41.54 c 36.4775 81.8633 9359 1823614 41.49/41.54 o 394 41.49/41.57 c 36.5005 81.8633 9415 1824670 41.49/41.57 o 393 41.59/41.60 c 36.5284 81.8633 9521 1825828 41.59/41.60 o 392 41.59/41.63 c 36.5654 81.8633 9682 1827165 41.59/41.63 o 391 41.59/41.66 c 36.5834 81.8633 9714 1828257 41.59/41.66 o 390 41.70/41.70 c 36.6254 81.8633 9967 1829786 41.70/41.70 o 389 41.70/41.76 c 36.6734 81.8633 10178 1831685 41.70/41.76 o 388 41.80/41.81 c 36.7174 81.8633 10472 1833297 41.80/41.81 o 387 41.89/41.96 c 36.8484 81.8633 8120 1838708 41.89/41.96 o 386 42.00/42.02 c 36.9074 81.8633 8853 1841091 42.00/42.02 o 385 42.00/42.05 c 36.9274 81.8633 8872 1842305 42.00/42.05 o 383 42.09/42.11 c 36.9884 81.8633 9262 1844581 42.09/42.11 o 382 42.09/42.15 c 37.0184 81.8633 9337 1846074 42.09/42.15 o 381 42.09/42.18 c 37.0504 81.8633 9551 1847544 42.09/42.18 o 376 42.20/42.22 c 37.0854 81.8633 9771 1849060 42.20/42.22 o 375 42.49/42.59 c 37.4003 81.8633 9035 1860642 42.49/42.59 o 374 42.60/42.65 c 37.4523 81.8633 9461 1862452 42.60/42.65 o 373 42.60/42.67 c 37.4743 81.8633 9488 1863559 42.60/42.67 o 372 42.69/42.70 c 37.5023 81.8633 9657 1864802 42.69/42.70 o 371 42.69/42.77 c 37.5683 81.8633 10040 1866934 42.69/42.77 o 370 42.80/42.84 c 37.6263 81.8633 10280 1868904 42.80/42.84 o 369 42.80/42.88 c 37.6593 81.8633 10492 1870274 42.80/42.88 o 368 43.29/43.30 c 38.0342 81.8633 9606 1882052 43.29/43.30 o 367 43.70/43.77 c 38.4562 81.8633 8991 1896884 43.70/43.77 o 366 43.79/43.86 c 38.5381 81.8633 9998 1900349 43.79/43.86 o 363 44.39/44.42 c 39.0131 81.8633 10349 1916159 44.39/44.42 o 362 44.39/44.48 c 39.0631 81.8633 10813 1918084 44.39/44.48 o 361 44.59/44.60 c 39.165 81.8633 8111 1922149 44.59/44.60 o 360 44.70/44.70 c 39.256 81.8633 9246 1925481 44.70/44.70 o 359 44.70/44.76 c 39.299 81.8633 9595 1927799 44.70/44.76 o 357 44.79/44.83 c 39.363 81.8633 9942 1930369 44.79/44.83 o 356 44.79/44.86 c 39.388 81.8633 9971 1932049 44.79/44.86 o 355 44.89/44.95 c 39.471 81.8633 10469 1934076 44.89/44.95 o 354 44.89/44.97 c 39.493 81.8633 10483 1935396 44.89/44.97 o 348 45.19/45.20 c 39.687 81.8633 7447 1943144 45.19/45.20 o 347 45.29/45.33 c 39.7959 81.8633 8563 1946699 45.29/45.33 o 346 45.40/45.44 c 39.8959 81.8633 9244 1949900 45.40/45.44 o 345 45.50/45.50 c 39.9519 81.8633 9934 1951765 45.50/45.50 o 344 45.50/45.54 c 39.9889 81.8633 10086 1953385 45.50/45.54 o 343 45.50/45.56 c 40.0099 81.8633 10113 1954453 45.50/45.56 o 342 45.89/45.95 c 40.3439 81.8633 9859 1967678 45.89/45.95 o 341 45.99/46.00 c 40.3809 81.8633 10191 1969603 45.99/46.00 o 340 45.99/46.02 c 40.4039 81.8633 10234 1970708 45.99/46.02 o 339 45.99/46.05 c 40.4259 81.8633 10285 1971822 45.99/46.05 o 338 45.99/46.09 c 40.4568 81.8633 10518 1973568 45.99/46.09 o 337 46.10/46.12 c 40.4828 81.8633 10568 1974775 46.10/46.12 o 336 46.60/46.65 c 40.9528 81.8633 10029 1987457 46.60/46.65 o 335 47.09/47.13 c 41.3667 81.9922 10064 2003612 47.09/47.13 o 334 47.09/47.18 c 41.4107 81.9922 10279 2005322 47.09/47.18 o 331 47.20/47.20 c 41.4287 81.9922 10289 2006382 47.20/47.20 o 330 47.39/47.40 c 41.5977 81.9922 8624 2012400 47.39/47.40 o 329 47.59/47.64 c 41.8016 81.9922 10114 2016487 47.59/47.64 o 328 47.69/47.71 c 41.8706 81.9922 10718 2018771 47.69/47.71 o 327 48.09/48.11 c 42.2286 81.9922 10243 2030597 48.09/48.11 o 326 48.09/48.14 c 42.2506 81.9922 10292 2031710 48.09/48.14 o 324 48.60/48.60 c 42.6795 81.9922 9405 2044929 48.60/48.60 o 322 48.60/48.63 c 42.6995 81.9922 9415 2046244 48.60/48.63 o 321 48.69/48.70 c 42.7545 81.9922 9761 2049466 48.69/48.70 o 316 48.69/48.75 c 42.7965 81.9922 9965 2051173 48.69/48.75 o 315 48.79/48.85 c 42.8885 81.9922 10697 2053684 48.79/48.85 o 314 49.30/49.36 c 43.3184 81.9922 10842 2069513 49.30/49.36 o 313 50.00/50.00 c 43.8923 81.9922 7832 2087731 50.00/50.00 o 311 50.00/50.08 c 43.9663 81.9922 8591 2090008 50.00/50.08 o 310 50.79/50.81 c 44.6272 81.9922 10805 2109423 50.79/50.81 o 309 51.19/51.23 c 45.0032 81.9922 9664 2121191 51.19/51.23 o 307 51.19/51.29 c 45.0512 81.9922 10155 2123255 51.19/51.29 o 306 51.49/51.58 c 45.3111 81.9922 8891 2131649 51.49/51.58 o 304 51.60/51.66 c 45.3771 81.9922 9372 2134060 51.60/51.66 o 303 51.60/51.69 c 45.4041 81.9922 9514 2135451 51.60/51.69 o 302 51.70/51.76 c 45.4661 81.9922 9943 2137287 51.70/51.76 o 301 51.70/51.78 c 45.4871 81.9922 9955 2138330 51.70/51.78 o 300 51.79/51.82 c 45.5191 81.9922 10171 2140038 51.79/51.82 o 298 51.79/51.84 c 45.5411 81.9922 10214 2141163 51.79/51.84 o 297 52.29/52.35 c 45.988 81.9922 10434 2153857 52.29/52.35 o 296 52.80/52.87 c 46.4449 81.9922 10346 2168350 52.80/52.87 o 295 52.80/52.89 c 46.4649 81.9922 10392 2169487 52.80/52.89 o 292 52.89/52.91 c 46.4859 81.9922 10396 2170573 52.89/52.91 o 291 52.89/52.97 c 46.5339 81.9922 10597 2173058 52.89/52.97 o 290 53.69/53.74 c 47.1978 81.9922 9229 2194959 53.69/53.74 o 289 53.80/53.88 c 47.3268 81.9922 10489 2198757 53.80/53.88 o 288 54.19/54.27 c 47.6688 81.9922 9940 2208425 54.19/54.27 o 286 54.90/54.93 c 48.2397 82.1211 10912 2225868 54.90/54.93 o 284 55.39/55.41 c 48.6626 82.1211 10422 2238778 55.39/55.41 o 283 55.79/55.82 c 49.0285 82.1211 10897 2248859 55.79/55.82 o 281 56.19/56.24 c 49.4065 82.1211 9687 2260890 56.19/56.24 o 280 56.29/56.33 c 49.4765 82.1211 10276 2263556 56.29/56.33 o 279 56.29/56.37 c 49.5095 82.1211 10581 2265630 56.29/56.37 o 276 56.39/56.40 c 49.5355 82.1211 10643 2266852 56.39/56.40 o 275 56.69/56.75 c 49.8344 82.1211 9066 2276882 56.69/56.75 o 273 56.89/56.91 c 49.9784 82.1211 10350 2281092 56.89/56.91 o 272 56.89/56.97 c 50.0304 82.1211 10609 2283122 56.89/56.97 o 271 57.10/57.12 c 50.1624 82.1211 7925 2288130 57.10/57.12 o 270 57.19/57.22 c 50.2424 82.1211 8632 2291263 57.19/57.22 o 269 57.39/57.40 c 50.4033 82.1211 10191 2295969 57.39/57.40 o 267 57.39/57.43 c 50.4233 82.1211 10219 2297097 57.39/57.43 o 266 57.39/57.45 c 50.4433 82.1211 10231 2298108 57.39/57.45 o 265 57.69/57.76 c 50.7193 82.1211 8831 2307341 57.69/57.76 o 264 57.80/57.82 c 50.7693 82.1211 9282 2309312 57.80/57.82 o 263 57.89/57.91 c 50.8503 82.1211 9955 2311958 57.89/57.91 o 262 57.89/57.95 c 50.8823 82.1211 10078 2313285 57.89/57.95 o 261 57.89/57.97 c 50.9023 82.1211 10094 2314280 57.89/57.97 o 260 57.99/58.02 c 50.9523 82.1211 10345 2315932 57.99/58.02 o 259 57.99/58.09 c 51.0132 82.1211 10845 2318326 57.99/58.09 o 256 58.39/58.45 c 51.3322 82.1211 9421 2330061 58.39/58.45 o 255 58.49/58.51 c 51.3822 82.1211 9977 2332126 58.49/58.51 o 254 58.49/58.53 c 51.4052 82.1211 10003 2333452 58.49/58.53 o 252 58.49/58.57 c 51.4392 82.1211 10069 2335098 58.49/58.57 o 251 58.60/58.62 c 51.4812 82.1211 10283 2336650 58.60/58.62 o 250 58.60/58.64 c 51.5022 82.1211 10307 2337710 58.60/58.64 o 249 59.09/59.14 c 51.9451 82.1211 9925 2351335 59.09/59.14 o 248 59.19/59.21 c 52.0151 82.1211 10626 2353495 59.19/59.21 o 244 59.89/59.97 c 52.68 82.1211 8740 2375951 59.89/59.97 o 243 60.19/60.26 c 52.935 82.1211 10717 2384040 60.19/60.26 o 238 60.59/60.68 c 53.3039 82.1211 9604 2393646 60.59/60.68 o 237 60.69/60.72 c 53.3439 82.1211 10001 2395341 60.69/60.72 o 236 60.69/60.74 c 53.3649 82.1211 10008 2396329 60.69/60.74 o 235 60.69/60.79 c 53.4059 82.1211 10259 2398166 60.69/60.79 o 230 60.79/60.84 c 53.4549 82.1211 10478 2399910 60.79/60.84 o 229 61.19/61.25 c 53.8058 82.1211 9824 2412567 61.19/61.25 o 228 61.29/61.32 c 53.8688 82.25 10356 2414303 61.29/61.32 o 226 61.29/61.36 c 53.8988 82.25 10564 2415706 61.29/61.36 o 225 61.90/61.94 c 54.4167 82.25 11249 2430259 61.90/61.94 o 224 62.60/62.68 c 55.0626 82.25 8000 2450448 62.60/62.68 o 223 62.70/62.78 c 55.1556 82.25 8762 2453872 62.70/62.78 o 222 62.79/62.83 c 55.2046 82.25 9088 2455773 62.79/62.83 o 221 62.89/62.92 c 55.2766 82.25 9858 2458668 62.89/62.92 o 220 62.89/62.94 c 55.2976 82.25 9863 2459994 62.89/62.94 o 219 62.89/62.96 c 55.3166 82.25 9868 2461190 62.89/62.96 o 217 62.89/62.99 c 55.3406 82.25 9876 2462326 62.89/62.99 o 216 63.00/63.01 c 55.3646 82.25 9928 2463428 63.00/63.01 o 215 63.00/63.08 c 55.4206 82.25 10541 2465530 63.00/63.08 o 213 63.09/63.11 c 55.4456 82.25 10558 2466956 63.09/63.11 o 211 63.29/63.32 c 55.6295 82.25 8465 2473782 63.29/63.32 o 210 63.39/63.43 c 55.7305 82.25 9467 2476649 63.39/63.43 o 207 64.00/64.02 c 56.2444 82.25 9902 2490047 64.00/64.02 o 206 64.00/64.08 c 56.2954 82.25 10227 2491985 64.00/64.08 o 205 64.09/64.16 c 56.3654 82.25 10947 2494378 64.09/64.16 o 203 64.59/64.65 c 56.7814 82.25 10414 2507010 64.59/64.65 o 202 64.90/64.92 c 57.0253 82.25 9192 2516145 64.90/64.92 o 201 64.90/64.99 c 57.0853 82.25 9505 2518548 64.90/64.99 o 199 65.10/65.14 c 57.2163 82.25 10916 2522643 65.10/65.14 o 198 65.49/65.59 c 57.6152 82.25 9800 2533839 65.49/65.59 o 197 65.59/65.69 c 57.7002 82.25 10412 2535814 65.59/65.69 o 196 66.19/66.21 c 58.1622 82.25 10460 2549126 66.19/66.21 o 195 66.60/66.60 c 58.5001 82.25 9078 2560719 66.60/66.60 o 194 66.69/66.72 c 58.6081 82.25 9806 2564553 66.69/66.72 o 193 66.99/67.05 c 58.912 82.25 9354 2572948 66.99/67.05 o 192 67.10/67.19 c 59.042 82.25 10572 2576080 67.10/67.19 o 191 67.19/67.22 c 59.064 82.3789 10580 2577136 67.19/67.22 o 190 67.69/67.73 c 59.522 82.3789 10046 2591392 67.69/67.73 o 189 68.29/68.36 c 60.0629 82.3789 10817 2607318 68.29/68.36 o 188 68.59/68.63 c 60.3068 82.3789 9104 2614391 68.59/68.63 o 187 68.59/68.67 c 60.3408 82.3789 9146 2616103 68.59/68.67 o 186 68.69/68.75 c 60.4108 82.3789 9735 2618822 68.69/68.75 o 185 68.69/68.78 c 60.4378 82.3789 9808 2619978 68.69/68.78 o 184 68.79/68.85 c 60.5018 82.3789 10225 2622395 68.79/68.85 o 183 68.79/68.87 c 60.5198 82.3789 10243 2623637 68.79/68.87 o 181 68.90/68.91 c 60.5558 82.3789 10515 2625039 68.90/68.91 o 179 68.90/68.94 c 60.5788 82.3789 10588 2626194 68.90/68.94 o 178 69.29/69.37 c 60.9597 82.3789 9735 2637247 69.29/69.37 o 177 70.19/70.25 c 61.7296 82.3789 8938 2658867 70.19/70.25 o 175 70.29/70.30 c 61.7796 82.3789 9370 2660668 70.29/70.30 o 174 70.40/70.42 c 61.8896 82.3789 10332 2663515 70.40/70.42 o 173 70.89/70.96 c 62.3675 82.3789 10976 2677601 70.89/70.96 o 172 71.79/71.86 c 63.1704 82.3789 10185 2701060 71.79/71.86 o 171 71.79/71.89 c 63.2044 82.3789 10242 2702531 71.79/71.89 o 169 72.50/72.51 c 63.7293 82.3789 10871 2717969 72.50/72.51 o 168 73.29/73.34 c 64.4692 82.3789 10351 2738511 73.29/73.34 o 167 73.29/73.37 c 64.4912 82.3789 10362 2739620 73.29/73.37 o 166 73.39/73.41 c 64.5272 82.3789 10499 2741277 73.39/73.41 o 165 74.29/74.32 c 65.3331 82.3789 9882 2763986 74.29/74.32 o 164 74.39/74.42 c 65.4241 82.3789 10658 2766673 74.39/74.42 o 163 74.70/74.80 c 65.746 82.3789 9328 2775516 74.70/74.80 o 162 75.49/75.52 c 66.3979 82.3789 11125 2792098 75.49/75.52 o 161 76.30/76.36 c 67.1518 82.3789 10196 2813957 76.30/76.36 o 159 76.39/76.41 c 67.1928 82.3789 10629 2815802 76.39/76.41 o 158 76.79/76.88 c 67.6067 82.3789 9661 2828959 76.79/76.88 o 155 76.89/76.92 c 67.6327 82.3789 10034 2830426 76.89/76.92 o 152 76.89/76.95 c 67.6577 82.3789 10111 2831754 76.89/76.95 o 151 77.00/77.01 c 67.7147 82.3789 10541 2833441 77.00/77.01 o 148 77.39/77.42 c 68.0727 82.3789 10186 2844769 77.39/77.42 o 147 77.39/77.47 c 68.1116 82.3789 10348 2846299 77.39/77.47 o 146 77.39/77.50 c 68.1316 82.3789 10405 2847319 77.39/77.50 o 145 77.89/77.93 c 68.5066 82.5078 10011 2857260 77.89/77.93 o 144 78.39/78.45 c 68.9645 82.5078 10749 2872150 78.39/78.45 o 143 78.89/78.94 c 69.3855 82.5078 10280 2885022 78.89/78.94 o 142 79.10/79.20 c 69.6094 82.5078 9293 2892858 79.10/79.20 o 141 79.30/79.39 c 69.7784 82.5078 10546 2897804 79.30/79.39 o 140 79.70/79.74 c 70.0883 82.5078 9483 2908100 79.70/79.74 o 138 79.80/79.81 c 70.1543 82.5078 10006 2909744 79.80/79.81 o 137 79.80/79.86 c 70.2003 82.5078 10218 2911319 79.80/79.86 o 136 79.90/79.95 c 70.2843 82.5078 10845 2913580 79.90/79.95 o 134 80.40/80.47 c 70.7372 82.5078 10232 2926747 80.40/80.47 o 133 80.49/80.54 c 70.7982 82.5078 10913 2929909 80.49/80.54 o 132 81.59/81.67 c 71.7711 82.5078 11084 2957556 81.59/81.67 o 131 81.89/81.98 c 72.038 82.5078 9010 2966390 81.89/81.98 o 130 81.99/82.03 c 72.08 82.5078 9458 2968180 81.99/82.03 o 129 82.09/82.14 c 72.176 82.5078 10098 2970371 82.09/82.14 o 128 82.09/82.19 c 72.222 82.5078 10330 2972569 82.09/82.19 o 127 82.60/82.67 c 72.631 82.5078 9912 2984365 82.60/82.67 o 126 82.69/82.70 c 72.659 82.5078 10035 2985706 82.69/82.70 o 125 83.50/83.52 c 73.3898 82.5078 8904 3006915 83.50/83.52 o 124 83.50/83.60 c 73.4598 82.5078 9627 3009228 83.50/83.60 o 123 83.60/83.64 c 73.4948 82.5078 9786 3010790 83.60/83.64 o 122 83.60/83.66 c 73.5128 82.5078 9792 3011757 83.60/83.66 o 121 83.60/83.68 c 73.5368 82.5078 9858 3012990 83.60/83.68 o 119 83.69/83.74 c 73.5838 82.5078 10360 3014869 83.69/83.74 o 118 83.69/83.76 c 73.6028 82.5078 10376 3015964 83.69/83.76 o 117 84.09/84.13 c 73.9278 82.5078 9297 3024769 84.09/84.13 o 116 84.09/84.17 c 73.9598 82.5078 9420 3026220 84.09/84.17 o 114 84.29/84.37 c 74.1427 82.5078 10685 3029986 84.29/84.37 o 113 84.79/84.83 c 74.5407 82.5078 10069 3040893 84.79/84.83 o 112 84.79/84.86 c 74.5707 82.5078 10193 3042190 84.79/84.86 o 111 84.89/84.92 c 74.6147 82.5078 10564 3043927 84.89/84.92 o 110 84.89/84.97 c 74.6626 82.5078 10750 3046023 84.89/84.97 o 109 85.89/85.97 c 75.5505 82.6367 10316 3069023 85.89/85.97 o 108 85.99/86.00 c 75.5785 82.6367 10363 3070263 85.99/86.00 o 107 86.40/86.47 c 75.9874 82.6367 9931 3080727 86.40/86.47 o 106 87.50/87.50 c 76.8953 82.6367 9878 3104103 87.50/87.50 o 105 87.60/87.63 c 77.0123 82.6367 10652 3106691 87.60/87.63 o 103 87.89/87.92 c 77.2763 82.6367 8430 3113140 87.89/87.92 o 102 87.89/87.98 c 77.3222 82.6367 8896 3115044 87.89/87.98 o 101 88.00/88.01 c 77.3512 82.6367 9211 3116476 88.00/88.02 o 99 88.09/88.11 c 77.4322 82.6367 9840 3119262 88.09/88.11 o 98 88.69/88.70 c 77.9432 82.6367 10081 3133983 88.69/88.70 o 97 88.69/88.77 c 78.0091 82.6367 10711 3135914 88.69/88.77 o 96 89.59/89.60 c 78.731 82.7656 8429 3153651 89.59/89.60 o 95 89.70/89.70 c 78.824 82.7656 9586 3156216 89.70/89.70 o 94 89.70/89.75 c 78.866 82.7656 9919 3157882 89.70/89.75 o 93 89.80/89.84 c 78.948 82.7656 10606 3160161 89.80/89.84 o 91 90.30/90.30 c 79.3639 82.7656 9240 3169902 90.30/90.30 o 90 90.30/90.34 c 79.3929 82.7656 9481 3171347 90.30/90.34 o 88 90.30/90.38 c 79.4349 82.7656 9752 3173185 90.30/90.38 o 86 90.39/90.40 c 79.4559 82.7656 9774 3174271 90.39/90.40 o 84 90.39/90.43 c 79.4779 82.7656 9831 3175465 90.39/90.43 o 83 90.39/90.46 c 79.5059 82.7656 9922 3176846 90.39/90.46 o 82 90.59/90.61 c 79.6349 82.7656 11125 3179668 90.59/90.61 o 80 90.59/90.66 c 79.6809 82.7656 11431 3181185 90.59/90.66 o 77 90.99/91.05 c 80.0238 82.7656 10232 3192740 90.99/91.05 o 76 90.99/91.08 c 80.0538 82.7656 10358 3193915 90.99/91.08 o 75 91.20/91.25 c 80.2118 82.7656 11690 3197116 91.20/91.25 o 74 91.70/91.70 c 80.6127 82.7656 10226 3208521 91.70/91.70 o 73 91.79/91.87 c 80.7677 82.7656 11830 3212646 91.79/91.87 o 70 92.30/92.37 c 81.2197 82.7656 11139 3225630 92.30/92.37 o 69 92.90/92.99 c 81.7936 82.7656 11462 3240325 92.90/92.99 o 68 92.99/93.05 c 81.8426 82.7656 11913 3242135 92.99/93.05 o 67 93.69/93.71 c 82.4415 82.7656 12035 3258714 93.69/93.71 o 66 93.80/93.82 c 82.5445 82.7656 7929 3262074 93.80/93.82 o 65 94.09/94.19 c 82.8804 82.7656 10988 3271904 94.09/94.19 o 62 94.20/94.28 c 82.9564 82.7656 11657 3274344 94.20/94.28 o 60 94.50/94.52 c 83.1714 82.7656 8755 3280906 94.50/94.52 o 58 94.50/94.57 c 83.2123 82.7656 9104 3282944 94.50/94.57 o 57 94.60/94.65 c 83.2883 82.7656 9500 3284455 94.60/94.65 o 56 94.70/94.79 c 83.4163 82.7656 10688 3287685 94.70/94.79 o 54 94.79/94.83 c 83.4543 82.7656 10875 3289588 94.79/94.83 o 53 94.79/94.87 c 83.4853 82.7656 11091 3290801 94.79/94.87 o 52 94.90/94.94 c 83.5453 82.7656 11595 3292638 94.90/94.94 o 51 94.99/95.00 c 83.5973 82.7656 11953 3294151 94.99/95.00 o 50 94.99/95.09 c 83.6803 82.7656 12472 3296584 94.99/95.09 o 49 95.09/95.11 c 83.6993 82.7656 12483 3297541 95.09/95.11 o 48 95.09/95.16 c 83.7403 82.8945 12855 3299365 95.09/95.16 o 47 95.60/95.70 c 84.2382 82.8945 11724 3314794 95.60/95.70 o 46 95.70/95.74 c 84.2852 82.8945 12064 3316184 95.70/95.74 o 45 96.29/96.39 c 84.8811 82.8945 11294 3332159 96.29/96.39 o 44 96.39/96.47 c 84.9521 82.8945 12005 3334250 96.39/96.47 o 42 96.59/96.61 c 85.0811 82.8945 13085 3338921 96.59/96.61 o 40 96.99/97.07 c 85.498 82.8945 11051 3350354 96.99/97.07 o 39 97.09/97.10 c 85.528 82.8945 11196 3351902 97.09/97.10 o 38 97.09/97.13 c 85.557 82.8945 11243 3353381 97.09/97.13 o 37 97.09/97.18 c 85.602 82.8945 11526 3354704 97.09/97.18 o 36 97.19/97.26 c 85.678 82.8945 12149 3357041 97.19/97.26 o 35 97.29/97.30 c 85.711 82.8945 12395 3358376 97.29/97.30 o 34 97.29/97.37 c 85.78 82.8945 12788 3359777 97.29/97.37 o 33 97.69/97.74 c 86.1139 82.8945 10048 3370188 97.69/97.74 o 31 97.80/97.84 c 86.2039 82.8945 11173 3373994 97.80/97.84 o 30 97.89/97.93 c 86.2819 82.8945 12246 3376651 97.89/97.93 o 29 97.89/97.95 c 86.3009 82.8945 12272 3377686 97.89/97.95 o 28 97.89/97.97 c 86.3199 82.8945 12307 3378656 97.89/97.97 o 27 97.99/98.02 c 86.3669 82.8945 12593 3380163 97.99/98.02 o 26 97.99/98.05 c 86.3949 82.8945 12756 3381479 97.99/98.05 o 24 97.99/98.09 c 86.4399 82.8945 12966 3382838 97.99/98.09 o 23 98.09/98.14 c 86.4889 82.8945 13456 3384428 98.09/98.14 o 22 98.09/98.17 c 86.5138 82.8945 13504 3385476 98.09/98.17 o 21 98.19/98.20 c 86.5438 82.8945 13585 3386607 98.19/98.20 o 20 98.19/98.22 c 86.5648 82.8945 13640 3387614 98.19/98.22 o 19 98.19/98.24 c 86.5848 82.8945 13664 3388730 98.19/98.24 o 18 98.29/98.30 c 86.6368 82.8945 13937 3390103 98.29/98.30 o 17 98.49/98.59 c 86.9038 82.8945 9803 3397286 98.49/98.59 o 16 98.69/98.70 c 86.9998 82.8945 10942 3400354 98.69/98.70 o 13 98.69/98.72 c 87.0188 82.8945 11149 3401529 98.69/98.72 o 12 98.69/98.74 c 87.0378 82.8945 11160 3402489 98.69/98.74 o 11 98.69/98.79 c 87.0848 82.8945 11402 3404372 98.69/98.79 o 10 98.80/98.81 c 87.1058 82.8945 11477 3405448 98.80/98.81 o 9 98.80/98.86 c 87.1577 82.8945 11729 3406757 98.80/98.86 o 8 98.80/98.90 c 87.1897 82.8945 11886 3407930 98.80/98.90 o 6 98.90/98.95 c 87.2397 82.8945 12170 3409229 98.90/98.95 o 5 98.90/99.00 c 87.2847 82.8945 12501 3410869 98.90/99.00 o 4 99.00/99.02 c 87.3017 82.8945 12510 3411794 99.00/99.02 o 3 99.00/99.04 c 87.3267 82.8945 12631 3413155 99.00/99.04 o 2 99.00/99.09 c 87.3677 82.8945 12847 3415524 99.00/99.09 o 1 99.09/99.18 c 87.4537 82.8945 13291 3416071 99.09/99.18 s OPTIMUM FOUND 99.09/99.18 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
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699099-1278465199/watcher-2699099-1278465199 -o /tmp/evaluation-result-2699099-1278465199/solver-2699099-1278465199 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699099-1278465199.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.95 4/178 13313 /proc/meminfo: memFree=30897072/32951124 swapFree=67111528/67111528 [pid=13313] ppid=13311 vsize=2136 CPUtime=0 /proc/13313/stat : 13313 (pbct) R 13311 13313 12739 0 -1 4202496 254 0 0 0 0 0 0 0 25 0 1 0 14732158 2187264 174 4089446400 134512640 136422188 4291470448 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/13313/statm: 534 174 144 467 0 65 0 [startup+0.00687489 s] /proc/loadavg: 2.00 2.00 1.95 4/178 13313 /proc/meminfo: memFree=30897072/32951124 swapFree=67111528/67111528 [pid=13313] ppid=13311 vsize=2136 CPUtime=0 /proc/13313/stat : 13313 (pbct) R 13311 13313 12739 0 -1 4202496 264 0 0 0 0 0 0 0 25 0 1 0 14732158 2187264 184 4089446400 134512640 136422188 4291470448 18446744073709551615 134561757 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/13313/statm: 534 184 144 467 0 65 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2136 [startup+0.100856 s] /proc/loadavg: 2.00 2.00 1.95 4/178 13313 /proc/meminfo: memFree=30897072/32951124 swapFree=67111528/67111528 [pid=13313] ppid=13311 vsize=20364 CPUtime=0.09 /proc/13313/stat : 13313 (pbct) R 13311 13313 12739 0 -1 4202496 4749 0 0 0 9 0 0 0 25 0 1 0 14732158 20852736 4636 4089446400 134512640 136422188 4291470448 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13313/statm: 5091 4638 193 467 0 4622 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20364 [startup+0.30082 s] /proc/loadavg: 2.00 2.00 1.95 4/178 13313 /proc/meminfo: memFree=30897072/32951124 swapFree=67111528/67111528 [pid=13313] ppid=13311 vsize=59980 CPUtime=0.29 /proc/13313/stat : 13313 (pbct) R 13311 13313 12739 0 -1 4202496 15232 0 0 0 28 1 0 0 25 0 1 0 14732158 61419520 14376 4089446400 134512640 136422188 4291470448 18446744073709551615 135830093 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13313/statm: 14995 14256 194 467 0 14526 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 59980 [startup+0.700748 s] /proc/loadavg: 2.00 2.00 1.95 4/178 13313 /proc/meminfo: memFree=30897072/32951124 swapFree=67111528/67111528 [pid=13313] ppid=13311 vsize=79780 CPUtime=0.69 /proc/13313/stat : 13313 (pbct) R 13311 13313 12739 0 -1 4202496 20331 0 0 0 59 10 0 0 25 0 1 0 14732158 81694720 18747 4089446400 134512640 136422188 4291470448 18446744073709551615 134868301 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13313/statm: 19945 18747 214 467 0 19476 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 79780 [startup+1.50062 s] /proc/loadavg: 2.00 2.00 1.95 3/179 13314 /proc/meminfo: memFree=30821796/32951124 swapFree=67111528/67111528 [pid=13313] ppid=13311 vsize=81580 CPUtime=1.49 /proc/13313/stat : 13313 (pbct) R 13311 13313 12739 0 -1 4202496 20886 0 0 0 127 22 0 0 25 0 1 0 14732158 83537920 18927 4089446400 134512640 136422188 4291470448 18446744073709551615 134863250 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13313/statm: 20395 18927 237 467 0 19926 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 81580 [startup+3.10032 s] /proc/loadavg: 2.00 2.00 1.95 3/179 13314 /proc/meminfo: memFree=30821424/32951124 swapFree=67111528/67111528 [pid=13313] ppid=13311 vsize=82108 CPUtime=3.09 /proc/13313/stat : 13313 (pbct) R 13311 13313 12739 0 -1 4202496 21062 0 0 0 264 45 0 0 25 0 1 0 14732158 84078592 19071 4089446400 134512640 136422188 4291470448 18446744073709551615 134870615 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13313/statm: 20527 19071 237 467 0 20058 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 82108 [startup+6.30076 s] /proc/loadavg: 2.00 2.00 1.95 3/179 13314 /proc/meminfo: memFree=30821268/32951124 swapFree=67111528/67111528 [pid=13313] ppid=13311 vsize=82504 CPUtime=6.29 /proc/13313/stat : 13313 (pbct) R 13311 13313 12739 0 -1 4202496 21226 0 0 0 546 83 0 0 19 0 1 0 14732158 84484096 19170 4089446400 134512640 136422188 4291470448 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13313/statm: 20626 19170 237 467 0 20157 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 82504 [startup+12.7006 s] /proc/loadavg: 2.00 2.00 1.95 3/179 13314 /proc/meminfo: memFree=30821048/32951124 swapFree=67111528/67111528 [pid=13313] ppid=13311 vsize=82900 CPUtime=12.7 /proc/13313/stat : 13313 (pbct) R 13311 13313 12739 0 -1 4202496 21380 0 0 0 1115 155 0 0 25 0 1 0 14732158 84889600 19273 4089446400 134512640 136422188 4291470448 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13313/statm: 20725 19273 237 467 0 20256 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 82900 [startup+25.5003 s] /proc/loadavg: 2.00 2.00 1.95 3/179 13314 /proc/meminfo: memFree=30820880/32951124 swapFree=67111528/67111528 [pid=13313] ppid=13311 vsize=83428 CPUtime=25.49 /proc/13313/stat : 13313 (pbct) R 13311 13313 12739 0 -1 4202496 21617 0 0 0 2240 309 0 0 25 0 1 0 14732158 85430272 19398 4089446400 134512640 136422188 4291470448 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13313/statm: 20857 19398 237 467 0 20388 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 83428 [startup+51.1007 s] /proc/loadavg: 2.00 2.00 1.95 3/179 13315 /proc/meminfo: memFree=30819848/32951124 swapFree=67111528/67111528 [pid=13313] ppid=13311 vsize=83956 CPUtime=51.1 /proc/13313/stat : 13313 (pbct) R 13311 13313 12739 0 -1 4202496 21948 0 0 0 4488 622 0 0 25 0 1 0 14732158 85970944 19552 4089446400 134512640 136422188 4291470448 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13313/statm: 20989 19552 237 467 0 20520 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 83956 Solver just ended. Dumping a history of the last processes samples [startup+76.7001 s] /proc/loadavg: 2.00 2.00 1.95 3/179 13316 /proc/meminfo: memFree=30819448/32951124 swapFree=67111528/67111528 [pid=13313] ppid=13311 vsize=84352 CPUtime=76.69 /proc/13313/stat : 13313 (pbct) R 13311 13313 12739 0 -1 4202496 22176 0 0 0 6743 926 0 0 25 0 1 0 14732158 86376448 19668 4089446400 134512640 136422188 4291470448 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13313/statm: 21088 19668 237 467 0 20619 0 Current children cumulated CPU time (s) 76.69 Current children cumulated vsize (KiB) 84352 [startup+89.5008 s] /proc/loadavg: 2.00 2.00 1.95 3/179 13316 /proc/meminfo: memFree=30819064/32951124 swapFree=67111528/67111528 [pid=13313] ppid=13311 vsize=84616 CPUtime=89.5 /proc/13313/stat : 13313 (pbct) R 13311 13313 12739 0 -1 4202496 22289 0 0 0 7864 1086 0 0 25 0 1 0 14732158 86646784 19731 4089446400 134512640 136422188 4291470448 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13313/statm: 21154 19731 237 467 0 20685 0 Current children cumulated CPU time (s) 89.5 Current children cumulated vsize (KiB) 84616 [startup+95.9007 s] /proc/loadavg: 2.00 2.00 1.95 3/179 13316 /proc/meminfo: memFree=30818556/32951124 swapFree=67111528/67111528 [pid=13313] ppid=13311 vsize=84880 CPUtime=95.89 /proc/13313/stat : 13313 (pbct) R 13311 13313 12739 0 -1 4202496 22367 0 0 0 8442 1147 0 0 25 0 1 0 14732158 86917120 19772 4089446400 134512640 136422188 4291470448 18446744073709551615 134643383 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13313/statm: 21220 19772 237 467 0 20751 0 Current children cumulated CPU time (s) 95.89 Current children cumulated vsize (KiB) 84880 [startup+97.5004 s] /proc/loadavg: 2.00 2.00 1.95 3/179 13316 /proc/meminfo: memFree=30818556/32951124 swapFree=67111528/67111528 [pid=13313] ppid=13311 vsize=84880 CPUtime=97.49 /proc/13313/stat : 13313 (pbct) R 13311 13313 12739 0 -1 4202496 22389 0 0 0 8589 1160 0 0 25 0 1 0 14732158 86917120 19784 4089446400 134512640 136422188 4291470448 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13313/statm: 21220 19784 237 467 0 20751 0 Current children cumulated CPU time (s) 97.49 Current children cumulated vsize (KiB) 84880 [startup+98.3002 s] /proc/loadavg: 2.00 2.00 1.95 3/179 13316 /proc/meminfo: memFree=30818556/32951124 swapFree=67111528/67111528 [pid=13313] ppid=13311 vsize=84880 CPUtime=98.29 /proc/13313/stat : 13313 (pbct) R 13311 13313 12739 0 -1 4202496 22417 0 0 0 8663 1166 0 0 25 0 1 0 14732158 86917120 19799 4089446400 134512640 136422188 4291470448 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13313/statm: 21220 19799 237 467 0 20751 0 Current children cumulated CPU time (s) 98.29 Current children cumulated vsize (KiB) 84880 [startup+99.1011 s] /proc/loadavg: 2.00 2.00 1.95 3/179 13316 /proc/meminfo: memFree=30818428/32951124 swapFree=67111528/67111528 [pid=13313] ppid=13311 vsize=84880 CPUtime=99.09 /proc/13313/stat : 13313 (pbct) R 13311 13313 12739 0 -1 4202496 22442 0 0 0 8737 1172 0 0 25 0 1 0 14732158 86917120 19810 4089446400 134512640 136422188 4291470448 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13313/statm: 21220 19810 237 467 0 20751 0 Current children cumulated CPU time (s) 99.09 Current children cumulated vsize (KiB) 84880 [startup+99.3011 s] /proc/loadavg: 2.00 2.00 1.95 3/179 13316 /proc/meminfo: memFree=30818428/32951124 swapFree=67111528/67111528 [pid=13313] ppid=13311 vsize=77308 CPUtime=99.3 /proc/13313/stat : 13313 (pbct) R 13311 13313 12739 0 -1 4202496 22446 0 0 0 8757 1173 0 0 25 0 1 0 14732158 79163392 18591 4089446400 134512640 136422188 4291470448 18446744073709551615 135878289 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13313/statm: 19084 18449 240 467 0 18615 0 Current children cumulated CPU time (s) 99.3 Current children cumulated vsize (KiB) 77308 Child status: 0 Real time (s): 99.3135 CPU time (s): 99.3159 CPU user time (s): 87.5797 CPU system time (s): 11.7362 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 84880 getrusage(RUSAGE_CHILDREN,...) data: user time used= 87.5797 system time used= 11.7362 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22447 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= 6 involuntary context switches= 96 runsolver used 0.168974 second user time and 0.346947 second system time The end
Begin job on node145 at 2010-07-07 03:13:19 IDJOB=2699099 IDBENCH=79328 IDSOLVER=1212 FILE ID=node145/2699099-1278465199 PBS_JOBID= 11233703 Free space on /tmp= 73848 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-blast-tlan2.ucl--soft-0-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699099-1278465199/watcher-2699099-1278465199 -o /tmp/evaluation-result-2699099-1278465199/solver-2699099-1278465199 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699099-1278465199.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8cd432ce35ac43809c1c027beb7ff72a RANDOM SEED=1420194684 node145.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.859 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.71 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.859 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.83 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.859 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.74 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.859 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.83 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.859 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.74 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.859 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.859 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.859 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30897592 kB Buffers: 112048 kB Cached: 1720632 kB SwapCached: 0 kB Active: 693916 kB Inactive: 1225476 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30897592 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2036 kB Writeback: 0 kB AnonPages: 86040 kB Mapped: 15064 kB Slab: 70504 kB PageTables: 4800 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 230764 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= 73848 MiB End job on node145 at 2010-07-07 03:14:59