| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-sat 1.12 | ? (TO) | 2519.98 | 2520.01 |
| Name | LatinSquare/LatinSquare-m1-gs/ qwh-o035-h405.xml |
| MD5SUM | 3223705abdf773009dcd28d689e47bd8 |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 12.0507 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1225 |
| Number of constraints | 2 |
| Number of domains | 1 |
| Minimum domain size | 35 |
| Maximum domain size | 35 |
| Distribution of domain sizes | [{"size":35,"count":1225}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 2 |
| Distribution of variable degrees | [{"degree":1,"count":405},{"degree":2,"count":820}] |
| Minimum constraint arity | 820 |
| Maximum constraint arity | 1225 |
| Distribution of constraint arities | [{"arity":820,"count":1},{"arity":1225,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"allDifferent","count":1},{"type":"instantiation","count":1}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.08 c SAT : Variables: 42875 -- Clauses: 730100 0.10/0.11 c root propagations : 9657 0.10/0.11 c restarts enabled, print stats at every restarts 0.10/0.11 c 0.10/0.11 c 0.10/0.11 c 0.10/0.11 c This is cosoco 1.12 -- 0.10/0.11 c 0.10/0.11 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266129-1502591492.xml 0.10/0.11 c ========================================[ Problem Statistics ]=========================================== 0.10/0.11 c | 0.10/0.11 c | Parse time : 0.07 s 0.10/0.11 c | 0.10/0.11 c | Variables: 1225 0.10/0.11 c | Domain Sizes: 35..35 0.10/0.11 c | 0.10/0.11 c | Constraints: 890 0.10/0.11 c | Arity: 1..35 -- Unary: 820 0.10/0.11 c | 0.10/0.11 c | Types: 0.10/0.11 c | All Different: 70 0.10/0.11 c | Unary: 820 0.10/0.11 c | 0.10/0.11 c ========================================================================================================= 0.10/0.11 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.10/0.14 c 10 1020 10311 21578 1221 6 940 972 875 0.10/0.18 c 20 2025 16496 41037 1221 11 938 951 859 0.10/0.20 c 30 2999 20465 47530 1221 15 925 954 852 0.21/0.23 c 40 3983 25224 58427 1221 23 922 964 866 0.21/0.25 c 50 4993 29615 66138 1221 29 884 978 867 0.21/0.28 c 60 6014 34625 78796 1221 35 950 973 873 0.21/0.30 c 70 7029 38885 86392 1221 41 898 974 869 0.31/0.32 c 80 8034 43228 93604 1221 48 964 985 886 0.31/0.35 c 90 9037 47748 103152 1221 57 757 980 836 0.31/0.37 c 100 10071 52368 111875 1221 63 955 988 883 0.31/0.37 c 101 10072 52384 111939 1221 63 1 1 0 0.31/0.40 c 110 11102 56999 121118 1221 68 904 987 866 0.41/0.42 c 120 12087 61229 129054 1221 71 902 923 826 0.41/0.45 c 130 13112 66281 141567 1221 74 927 949 853 0.41/0.47 c 140 14059 70552 149712 1221 79 736 931 816 0.41/0.49 c 150 15040 75032 158417 1221 86 889 921 826 0.51/0.52 c 160 15997 79220 166012 1221 90 876 911 810 0.51/0.54 c 170 16933 83206 172572 1221 97 876 920 810 0.51/0.56 c 180 17857 88063 184628 1221 102 876 911 813 0.51/0.59 c 190 18830 92354 192982 1221 104 875 927 826 0.60/0.61 c 200 19795 96471 200403 1221 113 867 941 835 0.60/0.63 c 210 20781 101038 209889 1221 123 915 967 855 0.60/0.65 c 211 21732 104570 213927 1221 124 951 951 475 0.60/0.68 c 220 22713 109122 223457 1221 128 916 927 829 0.69/0.71 c 230 23688 114316 236980 1221 135 899 940 841 0.69/0.73 c 240 24669 118717 245920 1221 144 939 971 871 0.69/0.75 c 250 25661 123170 254645 1221 148 911 958 851 0.69/0.78 c 260 26639 127690 264366 1221 155 915 950 848 0.79/0.81 c 270 27634 132401 274761 1221 158 912 951 851 0.79/0.83 c 280 28613 136422 281761 1221 166 839 966 845 0.79/0.85 c 290 29567 141263 293018 1221 167 882 903 811 0.79/0.88 c 300 30559 145993 303812 1221 174 945 969 872 0.89/0.90 c 310 31579 150671 313761 1221 176 922 976 862 0.89/0.93 c 320 32590 155584 325606 1221 184 902 986 863 0.89/0.96 c 330 33584 160372 336720 1221 192 877 977 860 0.89/0.97 c 332 34478 163405 339078 1221 194 885 893 592 0.89/1.00 c 340 35462 167640 346880 1221 202 898 975 833 1.00/1.02 c 350 36467 172333 356769 1221 206 913 975 858 1.00/1.05 c 360 37475 176714 365068 1221 213 917 985 880 1.00/1.07 c 370 38471 180827 372125 1221 223 892 984 865 1.00/1.10 c 380 39459 185768 383402 1221 227 873 969 861 1.10/1.12 c 390 40453 190043 391162 1221 233 932 955 857 1.10/1.15 c 400 41457 194792 401867 1221 241 880 985 873 1.10/1.17 c 410 42465 199154 410084 1221 245 874 993 878 1.10/1.19 c 420 43426 203093 416898 1221 248 874 936 841 1.19/1.22 c 430 44419 207549 425615 1221 252 877 967 856 1.19/1.24 c 440 45407 211968 434506 1221 261 885 959 849 1.19/1.27 c 450 46406 216349 443424 1221 269 872 983 867 1.19/1.29 c 460 47414 221041 453802 1221 275 873 982 871 1.29/1.31 c 465 48361 224797 459173 1221 280 866 935 752 1.29/1.33 c 470 49311 228603 464788 1221 283 867 946 773 1.29/1.35 c 480 50262 232305 470323 1221 291 869 942 837 1.29/1.38 c 490 51284 236772 479229 1221 298 866 989 862 1.39/1.40 c 500 52245 240591 484793 1221 304 872 942 844 1.39/1.42 c 510 53210 244698 492459 1221 312 875 950 842 1.39/1.44 c 520 54189 248925 499861 1221 321 842 970 847 1.39/1.47 c 530 55202 254348 513111 1221 326 858 963 859 1.49/1.50 c 540 56231 258727 521205 1221 333 907 976 866 1.49/1.52 c 550 57264 263538 531540 1221 340 921 1012 882 1.49/1.55 c 560 58272 268097 540549 1221 349 902 975 851 1.49/1.57 c 570 59259 272301 547826 1221 357 872 973 854 1.59/1.60 c 580 60279 277083 557822 1221 366 871 991 863 1.59/1.62 c 590 61275 281355 565884 1221 376 873 985 857 1.59/1.65 c 600 62284 286133 576206 1221 378 903 984 874 1.59/1.67 c 610 63247 290594 585054 1221 386 876 945 843 1.59/1.69 c 611 64119 293435 586823 1221 387 872 872 436 1.69/1.72 c 620 65132 298949 601054 1221 393 869 986 868 1.69/1.74 c 630 66089 303293 610251 1221 402 882 944 836 1.69/1.77 c 640 67085 307825 618786 1221 411 852 976 844 1.69/1.79 c 650 68098 312584 629440 1221 421 875 966 848 1.79/1.82 c 660 69073 316826 638134 1221 428 859 935 830 1.79/1.84 c 670 70085 321492 648112 1221 434 873 970 854 1.79/1.87 c 680 71072 325610 655577 1221 444 908 962 854 1.79/1.89 c 690 72025 329631 662032 1221 454 887 944 838 1.89/1.91 c 700 73018 334037 672340 1221 459 890 984 873 1.89/1.94 c 710 74003 338237 679453 1221 469 888 972 860 1.89/1.96 c 720 75022 342615 687372 1221 475 875 985 849 1.89/1.98 c 730 76059 346923 694309 1221 483 890 972 857 2.00/2.02 c 740 77023 353020 711506 1221 488 905 940 849 2.00/2.05 c 750 77998 357544 721169 1221 492 922 964 864 2.00/2.07 c 760 79039 362127 730477 1221 499 875 986 871 2.00/2.10 c 770 80035 366583 739491 1221 507 890 977 856 2.10/2.11 c 771 80888 369284 740906 1221 508 853 853 426 2.10/2.14 c 780 81858 373656 750043 1221 517 871 952 838 2.10/2.16 c 790 82862 378281 759234 1221 524 897 960 853 2.10/2.18 c 800 83861 382557 767317 1221 530 938 990 889 2.19/2.21 c 810 84816 386842 775673 1221 535 913 934 843 2.19/2.23 c 820 85867 391384 783228 1221 541 907 952 843 2.19/2.25 c 830 86799 394833 787725 1221 544 857 900 803 2.19/2.27 c 840 87742 398498 793257 1221 549 862 909 815 2.29/2.30 c 850 88715 403718 804896 1221 555 940 954 862 2.29/2.32 c 860 89716 407986 812291 1221 559 938 980 868 2.29/2.35 c 870 90669 412050 819770 1221 563 874 914 819 2.29/2.37 c 880 91656 415933 825549 1221 570 889 959 847 2.29/2.38 c 890 92574 419303 830045 1221 574 874 908 817 2.39/2.41 c 900 93510 423160 836288 1221 577 889 905 811 2.39/2.43 c 910 94459 427063 842132 1221 587 871 940 835 2.39/2.45 c 920 95482 431544 851343 1221 593 851 995 886 2.39/2.47 c 930 96438 435595 858784 1221 597 876 930 835 2.49/2.50 c 940 97393 439662 865982 1221 605 878 936 836 2.49/2.52 c 947 98314 443380 871757 1221 609 879 907 789 2.49/2.53 c 950 99215 446430 874257 1221 612 875 899 667 2.49/2.56 c 960 100239 450915 882604 1221 619 1 998 783 2.49/2.58 c 970 101286 455934 893429 1221 623 945 989 882 2.59/2.61 c 980 102265 460080 901126 1221 628 829 966 847 2.59/2.63 c 990 103302 464877 911367 1221 630 978 1007 902 2.59/2.66 c 1000 104266 468935 918110 1221 639 902 941 838 2.59/2.68 c 1010 105269 473079 924917 1221 643 880 963 859 2.69/2.70 c 1020 106268 477308 932490 1221 644 928 947 851 2.69/2.73 c 1030 107292 482265 944038 1221 653 922 978 862 2.69/2.75 c 1040 108258 486610 952518 1221 658 907 939 845 2.69/2.78 c 1050 109247 491335 962249 1221 663 887 954 843 2.79/2.80 c 1060 110199 495533 970876 1221 670 895 941 846 2.79/2.83 c 1070 111163 499975 980261 1221 678 898 938 839 2.79/2.85 c 1080 112160 504628 990894 1221 686 804 963 853 2.79/2.88 c 1090 113140 508783 997741 1221 690 893 929 827 2.89/2.90 c 1100 114114 513057 1005928 1221 697 881 957 850 2.89/2.92 c 1110 115054 516716 1011130 1221 707 873 931 824 2.89/2.94 c 1120 116027 520899 1018738 1221 713 889 931 821 2.89/2.97 c 1130 116982 524817 1025505 1221 722 836 934 819 2.89/2.99 c 1140 117947 529850 1038407 1221 728 878 931 823 3.00/3.01 c 1141 118852 533060 1041378 1221 729 905 905 452 3.00/3.03 c 1150 119774 536713 1046727 1221 734 871 904 805 3.00/3.05 c 1160 120733 541100 1055621 1221 744 890 940 831 3.00/3.08 c 1170 121669 544860 1061541 1221 746 889 908 817 3.00/3.10 c 1180 122650 549539 1072193 1221 750 875 941 841 3.10/3.13 c 1190 123595 553826 1080378 1221 757 845 930 822 3.10/3.15 c 1200 124536 557955 1087983 1221 764 845 926 822 3.10/3.17 c 1210 125481 562254 1096277 1221 771 846 930 824 3.19/3.20 c 1220 126506 566797 1105894 1221 777 850 985 866 3.19/3.22 c 1230 127451 571073 1114065 1221 784 846 930 822 3.19/3.24 c 1240 128418 575425 1123045 1221 790 904 954 851 3.19/3.27 c 1250 129391 579635 1131041 1221 799 877 964 842 3.19/3.29 c 1260 130378 583661 1137725 1221 805 894 956 849 3.29/3.32 c 1270 131322 588509 1149355 1221 813 890 930 835 3.29/3.35 c 1280 132299 593999 1163256 1221 817 941 952 860 3.29/3.37 c 1290 133289 598557 1172386 1221 820 933 966 868 3.39/3.40 c 1300 134281 603317 1183802 1221 828 915 969 862 3.39/3.42 c 1310 135284 607459 1190988 1221 835 841 991 861 3.39/3.45 c 1320 136283 611602 1197989 1221 839 952 979 882 3.39/3.47 c 1330 137269 615694 1205150 1221 847 896 967 853 3.39/3.49 c 1340 138249 620036 1213500 1221 850 921 945 849 3.49/3.52 c 1350 139219 624692 1223235 1221 855 855 940 836 3.49/3.53 c 1352 140136 627929 1226428 1221 857 910 916 608 3.49/3.56 c 1360 141102 632583 1236531 1221 862 916 950 821 3.49/3.58 c 1370 142087 636888 1244669 1221 872 910 974 862 3.59/3.61 c 1380 143080 641126 1252643 1221 880 910 974 861 3.59/3.63 c 1390 144153 645677 1261756 1221 888 909 997 874 3.59/3.66 c 1400 145142 650115 1270228 1221 894 909 956 841 3.59/3.68 c 1410 146163 654732 1279276 1221 900 901 958 844 3.69/3.71 c 1420 147138 658880 1286561 1221 910 924 959 856 3.69/3.73 c 1430 148095 663159 1295117 1221 913 907 943 844 3.69/3.76 c 1440 149086 667739 1304738 1221 917 853 982 863 3.69/3.78 c 1450 150055 671683 1311139 1221 924 851 958 841 3.79/3.81 c 1460 151057 677038 1324269 1221 927 943 962 867 3.79/3.83 c 1470 152037 681780 1334548 1221 932 848 949 843 3.79/3.86 c 1480 152975 685855 1342217 1221 940 856 922 829 3.79/3.88 c 1490 153978 690352 1350943 1221 948 847 961 844 3.89/3.91 c 1500 154938 694905 1360377 1221 956 849 951 828 3.89/3.93 c 1510 155872 699020 1367696 1221 962 851 924 812 3.89/3.95 c 1520 156850 703213 1375887 1221 965 854 947 835 3.89/3.98 c 1530 157812 707382 1383667 1221 975 903 953 851 3.89/4.00 c 1540 158781 712137 1394089 1221 981 899 948 843 4.00/4.03 c 1550 159828 717005 1404322 1221 990 852 990 839 4.00/4.06 c 1560 160818 721362 1412411 1221 994 849 933 831 4.00/4.08 c 1570 161792 725271 1418673 1221 1001 854 949 841 4.00/4.10 c 1580 162746 729435 1425973 1221 1006 855 935 836 4.10/4.12 c 1585 163658 732629 1428967 1221 1011 865 908 744 4.10/4.14 c 1590 164595 736243 1433710 1221 1016 894 933 762 4.10/4.16 c 1600 165535 739973 1439472 1221 1026 858 931 820 4.10/4.18 c 1610 166540 744247 1447275 1221 1034 850 989 872 4.19/4.21 c 1620 167517 749151 1458757 1221 1037 853 938 832 4.19/4.23 c 1630 168510 753283 1465515 1221 1040 934 956 861 4.19/4.26 c 1640 169485 757934 1475208 1221 1041 911 923 833 4.19/4.28 c 1650 170455 762404 1484133 1221 1050 855 958 834 4.29/4.31 c 1660 171406 766636 1492897 1221 1055 854 918 816 4.29/4.33 c 1670 172422 771663 1504743 1221 1060 856 952 838 4.29/4.36 c 1680 173419 776412 1515297 1221 1065 919 952 854 4.29/4.39 c 1690 174348 780903 1524981 1221 1072 852 914 810 4.39/4.41 c 1700 175273 785142 1533471 1221 1079 852 910 809 4.39/4.43 c 1710 176197 788906 1539897 1221 1087 856 903 808 4.39/4.45 c 1720 177121 793119 1548322 1221 1094 853 909 809 4.39/4.48 c 1730 178057 797308 1556236 1221 1101 853 921 810 4.49/4.50 c 1740 179033 801189 1562061 1221 1108 865 960 850 4.49/4.52 c 1750 179972 805526 1571078 1221 1117 853 926 822 4.49/4.55 c 1760 180927 810016 1580527 1221 1124 863 935 832 4.49/4.57 c 1770 181885 814284 1588963 1221 1131 854 942 820 4.59/4.60 c 1780 182869 818721 1597885 1221 1139 868 963 846 4.59/4.62 c 1790 183805 822418 1603912 1221 1145 855 914 816 4.59/4.64 c 1800 184821 827002 1613869 1221 1154 925 974 862 4.59/4.66 c 1810 185723 830475 1618361 1221 1156 882 885 803 4.59/4.68 c 1820 186717 834771 1626425 1221 1164 879 971 856 4.69/4.70 c 1830 187669 838689 1632807 1221 1167 894 908 818 4.69/4.73 c 1840 188634 842555 1638456 1221 1175 885 926 816 4.69/4.74 c 1841 189524 845618 1641029 1221 1176 890 890 445 4.69/4.77 c 1850 190492 849979 1650298 1221 1180 884 948 836 4.69/4.79 c 1860 191461 854313 1659423 1221 1186 883 949 844 4.79/4.81 c 1870 192414 858595 1668530 1221 1192 866 941 835 4.79/4.84 c 1880 193434 862863 1675486 1221 1199 855 967 850 4.79/4.86 c 1890 194397 867155 1684671 1221 1204 883 946 842 4.79/4.88 c 1900 195306 870505 1688966 1221 1214 853 900 801 4.89/4.90 c 1910 196275 874669 1696263 1221 1223 870 956 839 4.89/4.92 c 1920 197244 878784 1703880 1221 1232 878 956 840 4.89/4.95 c 1930 198235 883317 1713828 1221 1238 875 933 830 4.89/4.98 c 1940 199175 887901 1724786 1221 1242 880 895 809 5.00/5.01 c 1950 200174 893360 1739658 1221 1250 902 969 845 5.00/5.03 c 1960 201164 897335 1745680 1221 1256 825 976 849 5.00/5.05 c 1970 202142 901974 1756266 1221 1264 855 962 841 5.00/5.08 c 1980 203121 906053 1763442 1221 1271 900 956 854 5.00/5.10 c 1990 204073 910181 1770690 1221 1275 895 915 826 5.10/5.13 c 2000 205063 914624 1779287 1221 1283 894 971 853 5.10/5.15 c 2010 206038 918776 1787983 1221 1286 868 957 859 5.10/5.17 c 2020 207028 923346 1798105 1221 1290 874 933 831 5.19/5.20 c 2030 208003 927605 1806988 1221 1295 887 949 845 5.19/5.22 c 2040 208989 932023 1816143 1221 1303 892 942 832 5.19/5.25 c 2050 209966 936891 1828910 1221 1307 878 907 816 5.19/5.27 c 2060 210901 941175 1837731 1221 1314 865 908 801 5.29/5.30 c 2070 211891 945698 1847297 1221 1320 861 975 856 5.29/5.32 c 2080 212842 949622 1853496 1221 1325 870 907 801 5.29/5.34 c 2090 213818 954078 1862204 1221 1334 875 964 839 5.29/5.37 c 2100 214799 958055 1868834 1221 1344 894 970 860 5.29/5.39 c 2110 215799 962978 1879438 1221 1351 847 971 856 5.39/5.42 c 2120 216752 966935 1886086 1221 1356 886 927 830 5.39/5.43 c 2122 217623 970000 1889154 1221 1358 831 868 566 5.39/5.46 c 2130 218559 974564 1899247 1221 1365 868 902 785 5.39/5.48 c 2140 219554 979334 1910870 1221 1371 882 943 835 5.49/5.51 c 2150 220526 984159 1922841 1221 1378 879 912 817 5.49/5.54 c 2160 221488 988703 1931912 1221 1382 866 922 826 5.49/5.56 c 2170 222451 993045 1940617 1221 1388 873 927 812 5.49/5.59 c 2180 223457 997671 1950087 1221 1395 860 982 859 5.59/5.61 c 2190 224449 1002152 1959075 1221 1397 958 977 879 5.59/5.64 c 2200 225412 1006693 1969203 1221 1403 876 928 821 5.59/5.66 c 2210 226390 1010829 1976227 1221 1413 893 964 854 5.59/5.68 c 2220 227366 1014892 1983113 1221 1417 891 953 847 5.69/5.71 c 2230 228374 1019477 1991858 1221 1425 893 978 859 5.69/5.73 c 2240 229360 1023835 1999933 1221 1435 902 963 857 5.69/5.75 c 2250 230341 1027934 2006878 1221 1445 907 970 861 5.69/5.78 c 2260 231322 1033059 2019152 1221 1447 906 944 852 5.79/5.80 c 2270 232246 1036667 2024583 1221 1450 870 908 817 5.79/5.83 c 2280 233238 1041123 2033172 1221 1456 928 974 865 5.79/5.85 c 2290 234159 1045390 2041994 1221 1463 870 899 808 5.79/5.87 c 2300 235084 1049207 2048656 1221 1471 867 899 801 5.89/5.90 c 2310 236064 1053592 2057179 1221 1480 858 968 845 5.89/5.92 c 2320 237002 1058012 2066161 1221 1486 890 916 827 5.89/5.95 c 2330 237993 1062428 2075030 1221 1491 872 947 824 5.89/5.97 c 2340 239000 1066988 2085104 1221 1500 835 979 846 5.89/6.00 c 2350 239971 1071172 2092708 1221 1507 903 958 842 5.99/6.02 c 2360 240963 1075461 2100416 1221 1517 877 982 850 5.99/6.05 c 2370 241969 1080409 2111783 1221 1522 905 941 842 5.99/6.07 c 2380 242978 1084924 2120193 1221 1530 898 977 866 5.99/6.10 c 2390 243972 1089460 2129258 1221 1538 898 960 852 6.10/6.12 c 2400 244945 1093617 2136579 1221 1543 924 952 854 6.10/6.14 c 2410 245888 1097401 2142629 1221 1547 878 913 820 6.10/6.17 c 2420 246844 1101604 2150410 1221 1554 909 935 844 6.10/6.19 c 2430 247789 1105515 2156998 1221 1557 890 915 823 6.19/6.20 c 2431 248649 1108458 2159454 1221 1558 860 860 430 6.19/6.22 c 2440 249559 1112019 2165012 1221 1561 853 880 778 6.19/6.24 c 2450 250524 1116250 2173534 1221 1569 840 953 812 6.19/6.27 c 2460 251469 1120717 2183746 1221 1574 865 899 808 6.19/6.29 c 2470 252466 1125216 2192723 1221 1582 866 934 827 6.29/6.32 c 2480 253402 1129512 2201361 1221 1590 897 922 828 6.29/6.34 c 2490 254353 1133380 2208160 1221 1594 894 913 820 6.29/6.36 c 2500 255294 1137768 2216784 1221 1601 916 922 836 6.29/6.39 c 2510 256279 1142367 2226840 1221 1606 886 950 832 6.39/6.41 c 2520 257191 1145718 2230648 1221 1611 838 872 782 6.39/6.43 c 2530 258157 1150111 2240315 1221 1615 861 898 807 6.39/6.46 c 2540 259120 1154414 2248807 1221 1625 872 930 814 6.39/6.48 c 2550 260088 1158986 2258899 1221 1630 870 894 805 6.49/6.50 c 2560 261000 1162799 2265427 1221 1637 879 902 804 6.49/6.53 c 2570 261964 1167805 2278397 1221 1640 845 914 822 6.49/6.55 c 2580 262917 1172116 2287059 1221 1647 897 926 832 6.49/6.58 c 2590 263850 1176170 2294162 1221 1651 873 900 810 6.59/6.60 c 2600 264831 1180334 2301466 1221 1661 897 972 851 6.59/6.63 c 2610 265815 1185046 2312837 1221 1664 873 898 808 6.59/6.65 c 2620 266777 1189351 2320815 1221 1670 874 939 837 6.59/6.67 conflict 123lvl : 953 bt953-21530:0(2658)X3199805 6.59/6.67 c 2630 267791 1193825 2329440 1221 1675 948 974 876 6.69/6.70 c 2640 268764 1198010 2336876 1221 1684 852 962 834 6.69/6.72 c 2650 269724 1202641 2348586 1221 1687 880 894 807 6.69/6.75 c 2660 270696 1207116 2357309 1221 1696 860 958 830 6.69/6.77 c 2670 271599 1210653 2362802 1221 1706 837 893 791 6.79/6.80 c 2680 272550 1216263 2379022 1221 1709 877 897 809 6.79/6.83 c 2690 273484 1220859 2390384 1221 1714 877 897 810 6.79/6.85 c 2700 274415 1225281 2401178 1221 1721 883 892 806 6.79/6.87 c 2710 275377 1229338 2408190 1221 1729 894 943 837 6.89/6.90 c 2720 276361 1233666 2415830 1221 1738 940 968 869 6.89/6.92 c 2730 277352 1238218 2425200 1221 1743 925 946 854 6.89/6.95 c 2740 278315 1242383 2433459 1221 1746 938 948 857 6.89/6.97 c 2750 279322 1247052 2443395 1221 1752 894 957 843 6.89/6.99 c 2760 280281 1251021 2450147 1221 1759 843 944 830 7.00/7.02 c 2770 281231 1255118 2457635 1221 1768 854 938 821 7.00/7.03 c 2771 282125 1258168 2460122 1221 1769 894 894 447 7.00/7.05 c 2780 283092 1262107 2466769 1221 1777 842 959 804 7.00/7.08 c 2790 284029 1266084 2474079 1221 1781 895 917 827 7.00/7.10 c 2800 284950 1270301 2483049 1221 1785 844 897 803 7.10/7.12 c 2810 285867 1273785 2488201 1221 1789 845 883 793 7.10/7.14 c 2820 286820 1278446 2499605 1221 1793 878 902 804 7.10/7.17 c 2830 287787 1282279 2505397 1221 1803 893 958 848 7.10/7.19 c 2840 288782 1286991 2515567 1221 1811 921 954 853 7.19/7.22 c 2850 289744 1291163 2524523 1221 1814 899 938 843 7.19/7.24 c 2860 290731 1295642 2533129 1221 1818 863 917 820 7.19/7.26 c 2870 291655 1299278 2539259 1221 1824 861 876 791 7.19/7.28 c 2880 292628 1303676 2548042 1221 1830 905 942 840 7.29/7.31 c 2890 293614 1308137 2556582 1221 1840 938 970 867 7.29/7.33 c 2900 294566 1312131 2563522 1221 1845 880 929 830 7.29/7.35 c 2910 295470 1315793 2569065 1221 1853 858 893 802 7.29/7.38 c 2920 296474 1320155 2576756 1221 1861 893 955 841 7.39/7.40 c 2930 297473 1325007 2589646 1221 1864 965 985 884 7.39/7.43 c 2940 298444 1329350 2598053 1221 1871 931 951 857 7.39/7.45 c 2950 299353 1333154 2604602 1221 1880 882 899 810 7.39/7.47 c 2960 300269 1337300 2614174 1221 1886 833 894 800 7.49/7.50 c 2970 301314 1342098 2625117 1221 1893 887 979 854 7.49/7.52 c 2980 302242 1345774 2630743 1221 1902 818 909 787 7.49/7.55 c 2990 303163 1350666 2643937 1221 1906 865 884 795 7.49/7.57 c 3000 304141 1355108 2652804 1221 1911 860 955 856 7.59/7.60 c 3010 305118 1359254 2660496 1221 1921 892 966 857 7.59/7.62 c 3020 306104 1363446 2667644 1221 1926 884 977 869 7.59/7.64 c 3030 307046 1367402 2674690 1221 1935 866 930 809 7.59/7.66 c 3040 307998 1371496 2681993 1221 1940 854 890 800 7.59/7.69 c 3050 308977 1375730 2689757 1221 1948 946 953 862 7.69/7.71 c 3060 309912 1379713 2696850 1221 1956 867 920 822 7.69/7.73 c 3070 310867 1383960 2706382 1221 1964 868 937 832 7.69/7.75 c 3080 311785 1387818 2713197 1221 1966 854 887 800 7.69/7.78 c 3090 312725 1391643 2719588 1221 1976 882 914 815 7.79/7.80 c 3100 313705 1395728 2726471 1221 1986 886 957 844 7.79/7.82 c 3110 314647 1400418 2738618 1221 1988 862 889 799 7.79/7.85 c 3120 315629 1404710 2747211 1221 1997 870 960 835 7.79/7.87 c 3130 316618 1409082 2755953 1221 2005 926 969 867 7.79/7.89 c 3140 317577 1412867 2761746 1221 2011 803 920 811 7.89/7.91 c 3142 318544 1416631 2767006 1221 2012 955 960 638 7.89/7.93 c 3150 319476 1419956 2770466 1221 2017 818 885 769 7.89/7.95 c 3160 320463 1424253 2778979 1221 2018 938 966 868 7.89/7.98 c 3170 321446 1428510 2786861 1221 2026 938 972 872 7.89/8.00 c 3180 322404 1433108 2797202 1221 2031 877 927 819 8.00/8.03 c 3190 323379 1437210 2804557 1221 2040 866 954 821 8.00/8.05 c 3200 324353 1441636 2813391 1221 2047 853 930 796 8.00/8.07 c 3210 325261 1445467 2820795 1221 2049 865 876 793 8.00/8.10 c 3220 326269 1449933 2829520 1221 2058 883 980 865 8.10/8.12 c 3230 327239 1454320 2838374 1221 2064 880 927 819 8.10/8.15 c 3240 328200 1458821 2848590 1221 2069 874 938 835 8.10/8.18 c 3250 329205 1463647 2859579 1221 2073 937 959 863 8.19/8.20 c 3260 330186 1468024 2868508 1221 2080 870 947 835 8.19/8.23 c 3270 331128 1472883 2880382 1221 2088 870 917 817 8.19/8.26 c 3280 332140 1478067 2893657 1221 2091 944 974 871 8.19/8.29 c 3290 333139 1483824 2909665 1221 2095 917 939 847 8.29/8.31 c 3300 334102 1487888 2916690 1221 2105 913 940 842 8.29/8.34 c 3310 335070 1493050 2930286 1221 2109 924 946 850 8.29/8.37 c 3320 336055 1497253 2937752 1221 2117 861 963 854 8.39/8.40 c 3330 336968 1502549 2954698 1221 2124 864 885 799 8.39/8.42 c 3340 337908 1506591 2962345 1221 2130 901 923 834 8.39/8.44 c 3350 338829 1510554 2969611 1221 2137 810 895 785 8.39/8.47 c 3360 339820 1514926 2979307 1221 2145 880 980 858 8.39/8.49 c 3370 340806 1519317 2987510 1221 2153 881 965 850 8.49/8.51 c 3380 341777 1523517 2994930 1221 2161 891 952 847 8.49/8.54 c 3390 342777 1527870 3003381 1221 2168 945 972 872 8.49/8.56 c 3400 343799 1532369 3011710 1221 2171 941 971 870 8.49/8.59 c 3410 344707 1536510 3021034 1221 2176 862 885 799 8.59/8.61 c 3420 345726 1541656 3033947 1221 2179 911 969 851 8.59/8.65 c 3430 346729 1547807 3052625 1221 2181 899 935 845 8.59/8.68 c 3440 347730 1552798 3065039 1221 2185 941 953 857 8.69/8.70 c 3450 348736 1557154 3072830 1221 2190 959 983 882 8.69/8.73 c 3460 349720 1561514 3081366 1221 2196 919 960 862 8.69/8.75 c 3470 350648 1566505 3095226 1221 2204 861 885 797 8.69/8.78 c 3480 351569 1571481 3109053 1221 2209 876 891 802 8.79/8.81 c 3490 352508 1575757 3117992 1221 2211 873 888 797 8.79/8.83 c 3500 353447 1579591 3124205 1221 2221 808 924 797 8.79/8.85 c 3510 354387 1583622 3131532 1221 2227 885 915 819 8.79/8.87 c 3520 355324 1587539 3138275 1221 2232 844 881 792 8.89/8.90 c 3530 356279 1592125 3149358 1221 2237 921 933 841 8.89/8.92 c 3540 357280 1596516 3157703 1221 2243 856 988 858 8.89/8.95 c 3550 358212 1601674 3172427 1221 2248 872 888 800 8.89/8.97 c 3551 359088 1604716 3175175 1221 2250 875 875 437 8.89/8.99 c 3560 360068 1609196 3184388 1221 2255 869 938 821 9.00/9.02 c 3570 361040 1613288 3191151 1221 2260 887 936 829 9.00/9.04 c 3580 361979 1617598 3199581 1221 2266 840 903 806 9.00/9.07 c 3590 362954 1622365 3211143 1221 2270 846 910 793 9.00/9.09 c 3600 363958 1626723 3219455 1221 2273 876 938 837 9.10/9.11 c 3610 364955 1630917 3226769 1221 2279 906 985 876 9.10/9.14 c 3620 365970 1635685 3236835 1221 2283 920 962 856 9.10/9.16 c 3630 366974 1639916 3244372 1221 2289 859 943 841 9.10/9.19 c 3640 367900 1643808 3251483 1221 2292 857 880 790 9.19/9.21 c 3650 368909 1648837 3263870 1221 2296 851 957 841 9.19/9.24 c 3660 369901 1653389 3273872 1221 2304 870 934 814 9.19/9.26 c 3670 370838 1657082 3280204 1221 2309 852 882 793 9.19/9.29 c 3680 371829 1661773 3290416 1221 2319 861 962 834 9.29/9.31 c 3690 372793 1665783 3297117 1221 2325 838 928 819 9.29/9.33 c 3700 373709 1669741 3303920 1221 2331 845 896 808 9.29/9.35 c 3710 374692 1674046 3311533 1221 2341 840 960 836 9.29/9.38 c 3720 375678 1678481 3320894 1221 2350 837 973 839 9.39/9.40 c 3730 376620 1682736 3329967 1221 2359 869 909 806 9.39/9.43 c 3740 377570 1687093 3339632 1221 2369 869 918 806 9.39/9.45 c 3750 378519 1691087 3346501 1221 2375 847 896 802 9.39/9.47 c 3760 379463 1695251 3353990 1221 2381 851 909 813 9.49/9.50 c 3770 380451 1699840 3363894 1221 2390 871 933 813 9.49/9.52 c 3780 381374 1703718 3370930 1221 2394 871 897 807 9.49/9.55 c 3790 382361 1708327 3380911 1221 2403 871 933 813 9.49/9.57 c 3800 383313 1713045 3392225 1221 2410 870 925 817 9.59/9.60 c 3810 384286 1717642 3402431 1221 2420 851 938 821 9.59/9.63 c 3820 385259 1722635 3414925 1221 2426 881 930 831 9.59/9.66 c 3830 386298 1727725 3426851 1221 2433 862 948 839 9.59/9.68 c 3840 387260 1732044 3434740 1221 2436 862 903 793 9.69/9.70 conflict 63lvl : 881 bt879-7921:0(1068)X3266323 9.69/9.71 c 3850 388200 1736323 3444373 1221 2440 813 894 797 9.69/9.73 c 3860 389134 1740129 3450408 1221 2448 837 905 796 9.69/9.76 c 3870 390142 1745283 3462689 1221 2450 858 948 840 9.69/9.78 c 3880 391146 1750386 3474692 1221 2452 862 952 843 9.79/9.81 c 3890 392077 1754342 3481833 1221 2455 840 909 814 9.79/9.83 c 3900 393059 1758836 3490887 1221 2463 858 961 843 9.79/9.86 c 3910 393966 1763207 3501237 1221 2465 847 890 799 9.79/9.88 c 3920 394965 1768354 3513024 1221 2469 873 948 839 9.89/9.91 c 3930 395894 1773162 3525295 1221 2475 851 885 797 9.89/9.94 c 3940 396844 1777556 3534359 1221 2478 859 937 837 9.89/9.97 c 3950 397887 1782992 3548564 1221 2483 848 941 839 9.89/9.99 c 3960 398872 1787882 3559928 1221 2491 838 942 821 10.00/10.02 c 3970 399824 1792414 3569206 1221 2494 858 935 835 10.00/10.05 c 3980 400771 1796877 3578243 1221 2498 859 934 832 10.00/10.08 c 3990 401720 1802192 3592422 1221 2503 850 933 827 10.00/10.10 c 4000 402741 1807048 3602454 1221 2509 855 961 835 10.10/10.12 c 4001 403591 1810109 3605279 1221 2510 850 850 425 10.10/10.14 c 4010 404514 1813820 3611195 1221 2513 838 906 804 10.10/10.16 c 4020 405449 1818009 3619429 1221 2520 838 911 808 10.10/10.19 c 4030 406410 1822370 3628690 1221 2526 861 909 799 10.19/10.21 c 4040 407341 1826140 3634964 1221 2530 890 901 815 10.19/10.23 c 4050 408261 1830619 3645516 1221 2535 851 890 802 10.19/10.26 c 4060 409245 1835576 3657848 1221 2537 891 926 823 10.19/10.28 c 4070 410161 1839413 3664604 1221 2545 839 900 798 10.29/10.31 c 4080 411089 1843878 3674559 1221 2552 873 901 809 10.29/10.33 c 4090 412036 1848042 3682337 1221 2556 845 900 805 10.29/10.36 c 4100 413013 1852620 3692225 1221 2562 915 950 847 10.29/10.38 c 4110 413985 1857176 3702283 1221 2565 910 941 842 10.39/10.40 c 4120 414885 1861119 3710077 1221 2571 862 877 790 10.39/10.43 c 4130 415865 1866188 3723302 1221 2577 915 957 849 10.39/10.46 c 4140 416823 1870713 3733839 1221 2582 837 920 812 10.39/10.48 c 4150 417719 1874165 3739020 1221 2592 825 886 783 10.49/10.50 c 4160 418652 1878525 3749014 1221 2595 873 889 802 10.49/10.53 c 4170 419592 1883666 3763390 1221 2600 908 924 835 10.49/10.56 c 4180 420605 1888237 3773084 1221 2607 913 947 844 10.49/10.58 c 4190 421569 1892684 3782053 1221 2615 887 936 833 10.59/10.61 c 4200 422520 1897184 3791769 1221 2620 921 930 842 10.59/10.63 c 4210 423467 1901867 3802072 1221 2629 841 917 800 10.59/10.66 c 4220 424473 1906947 3814538 1221 2632 914 960 858 10.59/10.68 c 4230 425403 1910971 3821610 1221 2636 825 897 803 10.69/10.72 c 4240 426379 1916734 3838670 1221 2640 877 910 810 10.69/10.74 c 4250 427289 1921319 3850161 1221 2647 847 892 800 10.69/10.77 c 4260 428234 1926653 3866142 1221 2650 856 904 816 10.79/10.80 c 4270 429230 1931720 3879081 1221 2652 893 924 828 10.79/10.83 c 4280 430177 1936073 3887460 1221 2660 858 933 834 10.79/10.85 c 4290 431169 1940808 3898625 1221 2666 916 957 852 10.79/10.87 c 4300 432130 1944621 3904114 1221 2675 847 938 797 10.89/10.90 c 4310 433056 1948846 3912854 1221 2677 823 901 806 10.89/10.93 c 4320 433971 1953718 3925667 1221 2682 849 883 795 10.89/10.95 c 4330 434879 1957946 3935196 1221 2685 876 886 800 10.89/10.96 conflict 57lvl : 873 bt873-16343:0(934)X3285262 10.89/10.98 c 4340 435804 1962719 3947372 1221 2689 875 884 799 10.89/11.00 c 4350 436799 1967226 3956808 1221 2693 870 925 807 11.00/11.03 c 4360 437734 1971871 3967721 1221 2702 877 907 810 11.00/11.05 c 4370 438674 1976306 3977568 1221 2709 863 917 808 11.00/11.08 c 4380 439595 1980516 3985633 1221 2717 879 901 810 11.00/11.10 c 4390 440550 1984503 3992660 1221 2724 848 935 822 11.10/11.13 c 4400 441627 1990313 4007105 1221 2727 851 918 819 11.10/11.16 c 4410 442593 1994579 4015485 1221 2730 869 895 805 11.10/11.18 c 4420 443528 1999241 4026385 1221 2739 874 913 815 11.19/11.21 c 4430 444514 2003360 4033317 1221 2744 896 933 840 11.19/11.23 c 4440 445497 2007705 4041959 1221 2754 899 957 845 11.19/11.26 c 4450 446470 2012617 4054281 1221 2761 852 911 813 11.19/11.28 c 4460 447393 2016588 4061596 1221 2768 803 893 795 11.29/11.31 c 4470 448391 2021342 4071946 1221 2777 914 953 849 11.29/11.33 c 4480 449394 2026002 4081452 1221 2785 910 945 836 11.29/11.36 c 4490 450373 2030513 4090052 1221 2791 908 935 839 11.29/11.38 c 4493 451271 2033881 4094213 1221 2794 882 893 666 11.39/11.40 c 4500 452241 2038067 4101802 1221 2798 899 946 807 11.39/11.43 c 4510 453237 2043096 4113939 1221 2802 937 955 860 11.39/11.45 c 4520 454210 2047615 4123307 1221 2807 907 957 853 11.39/11.48 c 4530 455186 2052709 4135975 1221 2808 936 949 857 11.49/11.51 c 4540 456157 2057106 4144680 1221 2813 910 938 844 11.49/11.53 c 4550 457103 2061598 4154357 1221 2817 884 909 811 11.49/11.55 c 4560 458056 2065582 4161574 1221 2826 840 941 818 11.49/11.58 c 4570 459023 2069691 4168435 1221 2834 908 932 841 11.59/11.60 c 4580 459996 2074649 4181430 1221 2843 886 931 824 11.59/11.63 c 4590 460982 2079177 4190737 1221 2851 907 946 842 11.59/11.65 c 4600 461925 2082896 4196858 1221 2852 878 893 807 11.59/11.67 c 4610 462888 2087157 4204723 1221 2858 906 929 839 11.69/11.70 c 4620 463875 2091979 4215692 1221 2861 920 947 845 11.69/11.72 c 4630 464835 2096130 4223725 1221 2868 847 937 824 11.69/11.74 c 4640 465775 2099918 4229926 1221 2876 850 912 814 11.69/11.77 c 4650 466745 2104097 4238006 1221 2884 871 927 815 11.69/11.79 c 4660 467658 2107802 4244232 1221 2891 833 884 791 11.79/11.81 c 4670 468638 2112425 4254041 1221 2894 920 941 845 11.79/11.84 c 4680 469614 2116804 4263854 1221 2900 912 932 835 11.79/11.87 c 4690 470547 2121896 4276935 1221 2905 854 885 789 11.79/11.89 c 4700 471521 2126355 4286188 1221 2914 844 946 808 11.89/11.92 c 4710 472444 2130595 4295157 1221 2924 875 894 804 11.89/11.94 c 4720 473372 2134468 4302356 1221 2930 855 877 787 11.89/11.96 c 4730 474320 2138828 4311950 1221 2937 878 927 814 11.89/11.99 c 4740 475312 2143457 4322486 1221 2943 885 913 819 12.00/12.01 c 4750 476220 2147381 4330223 1221 2948 825 870 783 12.00/12.03 c 4760 477182 2151699 4339337 1221 2951 839 919 823 12.00/12.06 c 4770 478105 2156153 4350157 1221 2955 866 878 794 12.00/12.08 c 4780 479021 2160351 4359520 1221 2957 862 873 790 12.10/12.11 c 4790 479941 2164877 4370708 1221 2962 852 892 785 12.10/12.13 c 4800 480926 2169639 4381378 1221 2966 920 948 844 12.10/12.16 c 4810 481865 2174288 4392114 1221 2971 842 913 813 12.10/12.18 c 4820 482793 2178504 4400637 1221 2975 880 913 813 12.19/12.21 c 4830 483727 2182517 4407890 1221 2983 846 917 814 12.19/12.23 c 4840 484629 2186083 4412560 1221 2990 812 867 768 12.19/12.25 c 4850 485566 2191033 4425862 1221 2996 842 884 792 12.19/12.28 c 4860 486502 2195088 4433660 1221 3003 878 898 811 12.29/12.30 c 4870 487431 2199184 4442938 1221 3007 841 880 790 12.29/12.32 c 4880 488353 2203251 4452128 1221 3011 841 880 789 12.29/12.34 c 4890 489298 2207207 4459175 1221 3013 877 899 808 12.29/12.37 c 4900 490266 2211366 4467381 1221 3015 918 925 837 12.29/12.39 c 4910 491211 2215611 4476544 1221 3018 902 910 824 12.39/12.42 c 4920 492209 2220319 4487681 1221 3020 912 960 847 12.39/12.44 c 4930 493133 2223963 4492983 1221 3025 877 907 814 12.39/12.46 c 4940 494040 2228421 4502978 1221 3028 861 883 792 12.39/12.48 c 4950 494998 2232743 4511099 1221 3033 849 895 792 12.49/12.51 c 4960 495953 2236989 4519687 1221 3037 1 924 665 12.49/12.54 c 4970 496896 2242136 4534397 1221 3042 895 910 823 12.49/12.56 c 4980 497811 2246224 4542877 1221 3047 816 871 783 12.49/12.59 c 4990 498767 2250832 4554143 1221 3051 904 922 827 12.59/12.63 c 5035 499959 2258662 4581658 1221 3057 862 955 899 13.29/13.31 c 5631 505425 2364142 5144913 1221 3073 854 1012 960 13.79/13.80 c 6286 509823 2440380 5550911 1221 3081 908 986 957 14.59/14.66 c 7006 514802 2572298 6319306 1221 3094 909 970 935 15.19/15.26 c 7798 520836 2666154 6805738 1221 3107 856 956 913 16.00/16.01 c 8669 528210 2785744 7390977 1221 3122 861 974 924 16.89/16.92 c 9627 534997 2926282 8086340 1221 3138 756 1014 958 17.39/17.47 c 10680 540849 3013200 8557940 1221 3167 858 980 929 18.39/18.40 c 11838 548201 3158810 9325662 1221 3180 859 990 947 19.29/19.32 c 13111 555701 3306127 10052995 1221 3192 875 982 928 20.58/20.62 c 14511 564493 3508024 11186858 1221 3205 739 1003 968 21.88/21.96 c 16051 572589 3715315 12441621 1221 3224 767 1018 971 22.89/22.97 c 17745 580457 3872856 13291274 1221 3245 841 982 946 24.29/24.36 c 19608 593727 4090243 14480752 1221 3265 858 974 929 25.89/25.91 c 21657 608455 4332226 15830981 1221 3279 851 1004 940 27.79/27.82 c 23910 627111 4635467 17383266 1221 3294 808 995 926 29.69/29.73 c 26388 647748 4934614 18946459 1221 3316 806 992 947 32.19/32.22 c 29113 666148 5321382 21039544 1221 3337 784 986 943 34.89/35.00 c 32110 687449 5755022 23375069 1221 3358 830 992 939 37.39/37.43 c 35406 707641 6137655 25473402 1221 3372 830 1014 949 40.49/40.50 c 39031 730348 6616172 28113063 1221 3401 806 993 939 43.69/43.73 c 43018 757308 7124652 30773268 1221 3416 809 989 919 46.79/46.81 c 47403 792839 7615674 33242370 1221 3427 818 968 907 49.29/49.32 c 52226 832025 8021511 35357610 1221 3442 831 952 893 53.00/53.06 c 57531 875127 8610785 38449684 1221 3461 781 991 937 57.19/57.26 c 63366 911870 9266078 41844555 1221 3483 793 998 949 61.00/61.06 c 69784 958312 9872223 44731476 1221 3501 802 971 912 66.39/66.48 c 76843 992873 10718829 49405273 1221 3524 808 1016 967 72.49/72.59 c 84607 1051660 11691937 54240922 1221 3542 823 1022 935 77.00/77.01 c 93147 1106029 12393386 57503010 1221 3560 828 967 886 81.89/81.99 c 102541 1169165 13195224 61133355 1221 3570 821 960 894 89.29/89.38 c 112874 1220046 14355414 67710699 1221 3590 841 989 950 98.69/98.74 c 124240 1300598 15808547 75885243 1221 3608 846 1024 935 107.10/107.17 c 136742 1377870 17122225 83264712 1221 3633 869 1018 936 115.69/115.72 c 150494 1457224 18475280 90381828 1221 3646 831 985 934 126.89/126.91 c 165621 1536262 20231300 100192920 1221 3667 813 1015 965 137.58/137.60 c 182260 1629337 21931587 109103452 1221 3688 804 989 920 153.09/153.10 c 200562 1728580 24341763 124103936 1221 3706 796 1028 980 168.28/168.33 c 220694 1866468 26738262 136325420 1221 3720 808 990 922 183.78/183.86 c 242839 2012328 29184188 149818447 1221 3743 839 1052 962 204.89/205.00 c 267198 2171638 32467753 168584825 1221 3764 824 1026 975 226.49/226.52 c 293992 2358956 35830302 187427476 1221 3788 828 1016 961 247.58/247.64 c 323465 2567435 39138932 204596698 1221 3804 838 1000 930 269.88/269.90 c 355885 2746730 42577873 225099527 1221 3826 859 1021 969 293.09/293.17 c 391547 2938491 46196917 245357180 1221 3844 860 1026 936 320.58/320.61 c 430775 3177936 50475972 269291309 1221 3862 866 1001 937 349.09/349.13 c 473925 3446334 54946921 293403231 1221 3891 839 1022 952 380.78/380.86 c 521390 3716699 59903718 320133187 1221 3909 839 1009 945 425.68/425.71 c 573601 4024603 66802388 359435840 1221 3928 834 1015 949 460.88/460.90 c 631033 4287162 72288924 389533381 1221 3948 834 999 939 505.58/505.61 c 694208 4659167 79255125 426240442 1221 3970 832 1012 943 552.68/552.76 c 763700 5010005 86532275 467459910 1221 4001 834 1022 954 617.57/617.62 c 840141 5461633 96558976 524188188 1221 4017 829 1020 953 680.27/680.36 c 924226 5980837 106293021 579979316 1221 4042 830 1008 943 750.98/751.01 c 1016719 6515675 117329633 639744880 1221 4054 842 1004 943 814.16/814.26 c 1118461 7095884 127244893 694593709 1221 4074 838 1027 940 905.27/905.34 c 1230377 7860908 141492431 772872103 1221 4100 844 1034 955 986.17/986.22 c 1353484 8669024 154255606 837842505 1221 4127 821 1001 930 1107.27/1107.35 c 1488901 9561593 173103766 942495589 1221 4157 810 1020 943 1202.98/1203.01 c 1637859 10375267 188015442 1025215156 1221 4176 812 1025 959 1320.08/1320.15 c 1801712 11186891 206154544 1130875652 1221 4212 806 1019 963 1422.97/1423.02 c 1981950 12013099 222080143 1222263561 1221 4234 811 1008 953 1559.36/1559.45 c 2180211 13155907 243521445 1339608903 1221 4254 788 1048 990 1739.26/1739.31 c 2398298 14719340 271570787 1491576532 1221 4276 819 1024 936 1903.77/1903.81 c 2638193 15956036 297267745 1635371743 1221 4321 811 1040 964 2079.07/2079.15 c 2902077 17510015 324767583 1783515074 1221 4343 800 1008 934 2347.46/2347.55 c 3192349 19548662 366562479 2014402401 1221 4366 814 1045 952 2519.96/2520.00 2519.96/2520.00 c *** INTERRUPTED *** 2519.96/2520.00 c restarts : 584 2519.96/2520.00 c conflicts : 3427448 (1360 /sec) 2519.96/2520.00 c decisions : 20958793 (8317 /sec) 2519.96/2520.00 c propagations : 2157758504 (856298 /sec) 2519.96/2520.00 c root propagations : 9657 2519.96/2520.00 c filter calls : 393543764 (156176 /sec) 2519.96/2520.00 c useless filter calls : 115361353 (29 %) 2519.96/2520.00 c 2519.96/2520.00 c clauses : 736915 2519.96/2520.00 c SAT propagations : 3178200 2519.96/2520.00 c SAT conflicts : 0 (3 learnts) 2519.96/2520.00 c Memory used : 80.38 MB 2519.96/2520.00 c CPU time : 2519.87 s 2519.96/2520.00 2519.96/2520.00 s UNKNOWN
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15430 MiB free)
memory of node 1: 16384 MiB (14498 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266129-1502591492/watcher-4266129-1502591492 -o /tmp/evaluation-result-4266129-1502591492/solver-4266129-1502591492 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node115-1502567253-24060 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266129-1502591492.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28008, runsolver pid=28005
[startup+0.10011 s]*
/proc/loadavg: 2.02 2.09 2.08 3/187 28009
/proc/meminfo: memFree=30608152/32770624 swapFree=67108860/67108860
[pid=28008] ppid=28005 vsize=76296 memory=42704 CPUtime=0.1 cores=0,2,4,6
/proc/28008/stat : 28008 (cosoco) R 28005 28008 23976 0 -1 4202496 9324 0 0 0 9 1 0 0 20 0 1 0 92236921 78127104 10676 33554432000 4194304 5972588 140732851517632 140732851514280 4971449 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10772480 140732851524794 140732851524894 140732851524894 140732851527630 0
/proc/28008/statm: 19074 10676 776 435 0 12437 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 76296 KiB
Current children cumulated memory: 42704 KiB
[startup+0.209516 s]*
/proc/loadavg: 2.02 2.09 2.08 3/187 28009
/proc/meminfo: memFree=30602728/32770624 swapFree=67108860/67108860
[pid=28008] ppid=28005 vsize=81324 memory=47720 CPUtime=0.21 cores=0,2,4,6
/proc/28008/stat : 28008 (cosoco) R 28005 28008 23976 0 -1 4202496 10621 0 0 0 19 2 0 0 20 0 1 0 92236921 83275776 11930 33554432000 4194304 5972588 140732851517632 140732851514568 4977689 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10772480 140732851524794 140732851524894 140732851524894 140732851527630 0
/proc/28008/statm: 20331 11930 781 435 0 13694 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 81324 KiB
Current children cumulated memory: 47720 KiB
[startup+0.309785 s]*
/proc/loadavg: 2.09 2.10 2.08 3/187 28009
/proc/meminfo: memFree=30601984/32770624 swapFree=67108860/67108860
[pid=28008] ppid=28005 vsize=81596 memory=48248 CPUtime=0.31 cores=0,2,4,6
/proc/28008/stat : 28008 (cosoco) R 28005 28008 23976 0 -1 4202496 10704 0 0 0 29 2 0 0 20 0 1 0 92236921 83554304 12062 33554432000 4194304 5972588 140732851517632 140732851514936 4975792 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10772480 140732851524794 140732851524894 140732851524894 140732851527630 0
/proc/28008/statm: 20399 12062 781 435 0 13762 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 81596 KiB
Current children cumulated memory: 48248 KiB
[startup+0.700229 s]
/proc/loadavg: 2.09 2.10 2.08 3/187 28009
/proc/meminfo: memFree=30601736/32770624 swapFree=67108860/67108860
[pid=28008] ppid=28005 vsize=81836 memory=48452 CPUtime=0.69 cores=0,2,4,6
/proc/28008/stat : 28008 (cosoco) R 28005 28008 23976 0 -1 4202496 10764 0 0 0 67 2 0 0 20 0 1 0 92236921 83800064 12113 33554432000 4194304 5972588 140732851517632 140732851514936 4978847 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10772480 140732851524794 140732851524894 140732851524894 140732851527630 0
/proc/28008/statm: 20459 12113 781 435 0 13822 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 81836 KiB
Current children cumulated memory: 48452 KiB
[startup+1.50023 s]
/proc/loadavg: 2.09 2.10 2.08 3/187 28009
/proc/meminfo: memFree=30601736/32770624 swapFree=67108860/67108860
[pid=28008] ppid=28005 vsize=81940 memory=48640 CPUtime=1.49 cores=0,2,4,6
/proc/28008/stat : 28008 (cosoco) R 28005 28008 23976 0 -1 4202496 10798 0 0 0 147 2 0 0 20 0 1 0 92236921 83906560 12160 33554432000 4194304 5972588 140732851517632 140732851514936 5312315 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10772480 140732851524794 140732851524894 140732851524894 140732851527630 0
/proc/28008/statm: 20485 12160 781 435 0 13848 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 81940 KiB
Current children cumulated memory: 48640 KiB
[startup+3.10925 s]
/proc/loadavg: 2.09 2.10 2.08 3/187 28009
/proc/meminfo: memFree=30601312/32770624 swapFree=67108860/67108860
[pid=28008] ppid=28005 vsize=81940 memory=48852 CPUtime=3.1 cores=0,2,4,6
/proc/28008/stat : 28008 (cosoco) R 28005 28008 23976 0 -1 4202496 16073 0 0 0 308 2 0 0 20 0 1 0 92236921 83906560 12213 33554432000 4194304 5972588 140732851517632 140732851514936 4975628 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10772480 140732851524794 140732851524894 140732851524894 140732851527630 0
/proc/28008/statm: 20485 12213 781 435 0 13848 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 81940 KiB
Current children cumulated memory: 48852 KiB
[startup+6.30022 s]
/proc/loadavg: 2.09 2.10 2.08 3/187 28009
/proc/meminfo: memFree=30600692/32770624 swapFree=67108860/67108860
[pid=28008] ppid=28005 vsize=81940 memory=51172 CPUtime=6.29 cores=0,2,4,6
/proc/28008/stat : 28008 (cosoco) R 28005 28008 23976 0 -1 4202496 21545 0 0 0 626 3 0 0 20 0 1 0 92236921 83906560 12793 33554432000 4194304 5972588 140732851517632 140732851514936 4978753 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10772480 140732851524794 140732851524894 140732851524894 140732851527630 0
/proc/28008/statm: 20485 12793 781 435 0 13848 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 81940 KiB
Current children cumulated memory: 51172 KiB
[startup+12.7002 s]
/proc/loadavg: 2.16 2.12 2.08 3/187 28009
/proc/meminfo: memFree=30598684/32770624 swapFree=67108860/67108860
[pid=28008] ppid=28005 vsize=81940 memory=51228 CPUtime=12.69 cores=0,2,4,6
/proc/28008/stat : 28008 (cosoco) R 28005 28008 23976 0 -1 4202496 27352 0 0 0 1266 3 0 0 20 0 1 0 92236921 83906560 12807 33554432000 4194304 5972588 140732851517632 140732851514936 4975117 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10772480 140732851524794 140732851524894 140732851524894 140732851527630 0
/proc/28008/statm: 20485 12807 786 435 0 13848 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 81940 KiB
Current children cumulated memory: 51228 KiB
[startup+25.5002 s]
/proc/loadavg: 2.14 2.11 2.08 3/187 28009
/proc/meminfo: memFree=30598808/32770624 swapFree=67108860/67108860
[pid=28008] ppid=28005 vsize=82056 memory=51292 CPUtime=25.49 cores=0,2,4,6
/proc/28008/stat : 28008 (cosoco) R 28005 28008 23976 0 -1 4202496 38193 0 0 0 2545 4 0 0 20 0 1 0 92236921 84025344 12823 33554432000 4194304 5972588 140732851517632 140732851514936 4978080 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10772480 140732851524794 140732851524894 140732851524894 140732851527630 0
/proc/28008/statm: 20514 12823 786 435 0 13877 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 82056 KiB
Current children cumulated memory: 51292 KiB
[startup+51.1091 s]
/proc/loadavg: 2.08 2.10 2.08 3/187 28009
/proc/meminfo: memFree=30598940/32770624 swapFree=67108860/67108860
[pid=28008] ppid=28005 vsize=82192 memory=51380 CPUtime=51.1 cores=0,2,4,6
/proc/28008/stat : 28008 (cosoco) R 28005 28008 23976 0 -1 4202496 44111 0 0 0 5106 4 0 0 20 0 1 0 92236921 84164608 12845 33554432000 4194304 5972588 140732851517632 140732851514936 4975292 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10772480 140732851524794 140732851524894 140732851524894 140732851527630 0
/proc/28008/statm: 20548 12845 786 435 0 13911 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 82192 KiB
Current children cumulated memory: 51380 KiB
[startup+102.3 s]
/proc/loadavg: 2.04 2.09 2.08 3/187 28010
/proc/meminfo: memFree=30598188/32770624 swapFree=67108860/67108860
[pid=28008] ppid=28005 vsize=82192 memory=51416 CPUtime=102.29 cores=0,2,4,6
/proc/28008/stat : 28008 (cosoco) R 28005 28008 23976 0 -1 4202496 49966 0 0 0 10224 5 0 0 20 0 1 0 92236921 84164608 12854 33554432000 4194304 5972588 140732851517632 140732851514936 4978745 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10772480 140732851524794 140732851524894 140732851524894 140732851527630 0
/proc/28008/statm: 20548 12854 786 435 0 13911 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 82192 KiB
Current children cumulated memory: 51416 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/187 28011
/proc/meminfo: memFree=30598200/32770624 swapFree=67108860/67108860
[pid=28008] ppid=28005 vsize=82192 memory=51432 CPUtime=162.28 cores=0,2,4,6
/proc/28008/stat : 28008 (cosoco) R 28005 28008 23976 0 -1 4202496 55642 0 0 0 16223 5 0 0 20 0 1 0 92236921 84164608 12858 33554432000 4194304 5972588 140732851517632 140732851514936 5273161 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10772480 140732851524794 140732851524894 140732851524894 140732851527630 0
/proc/28008/statm: 20548 12858 786 435 0 13911 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 82192 KiB
Current children cumulated memory: 51432 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/188 28020
/proc/meminfo: memFree=30597720/32770624 swapFree=67108860/67108860
[pid=28008] ppid=28005 vsize=82192 memory=51444 CPUtime=222.29 cores=0,2,4,6
/proc/28008/stat : 28008 (cosoco) R 28005 28008 23976 0 -1 4202496 61250 0 0 0 22223 6 0 0 20 0 1 0 92236921 84164608 12861 33554432000 4194304 5972588 140732851517632 140732851514936 4979170 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10772480 140732851524794 140732851524894 140732851524894 140732851527630 0
/proc/28008/statm: 20548 12861 786 435 0 13911 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 82192 KiB
Current children cumulated memory: 51444 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/188 28021
/proc/meminfo: memFree=30597584/32770624 swapFree=67108860/67108860
[pid=28008] ppid=28005 vsize=82192 memory=51452 CPUtime=282.28 cores=0,2,4,6
/proc/28008/stat : 28008 (cosoco) R 28005 28008 23976 0 -1 4202496 66927 0 0 0 28222 6 0 0 20 0 1 0 92236921 84164608 12863 33554432000 4194304 5972588 140732851517632 140732851514936 4975104 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10772480 140732851524794 140732851524894 140732851524894 140732851527630 0
/proc/28008/statm: 20548 12863 786 435 0 13911 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 82192 KiB
Current children cumulated memory: 51452 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 28022
/proc/meminfo: memFree=30597564/32770624 swapFree=67108860/67108860
[pid=28008] ppid=28005 vsize=82192 memory=51452 CPUtime=342.28 cores=0,2,4,6
/proc/28008/stat : 28008 (cosoco) R 28005 28008 23976 0 -1 4202496 72575 0 0 0 34222 6 0 0 20 0 1 0 92236921 84164608 12863 33554432000 4194304 5972588 140732851517632 140732851514936 4979155 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10772480 140732851524794 140732851524894 140732851524894 140732851527630 0
/proc/28008/statm: 20548 12863 786 435 0 13911 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 82192 KiB
Current children cumulated memory: 51452 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 28023
/proc/meminfo: memFree=30597676/32770624 swapFree=67108860/67108860
[pid=28008] ppid=28005 vsize=82192 memory=51456 CPUtime=402.28 cores=0,2,4,6
/proc/28008/stat : 28008 (cosoco) R 28005 28008 23976 0 -1 4202496 78220 0 0 0 40221 7 0 0 20 0 1 0 92236921 84164608 12864 33554432000 4194304 5972588 140732851517632 140732851514936 5099648 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10772480 140732851524794 140732851524894 140732851524894 140732851527630 0
/proc/28008/statm: 20548 12864 786 435 0 13911 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 82192 KiB
Current children cumulated memory: 51456 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 28024
/proc/meminfo: memFree=30597664/32770624 swapFree=67108860/67108860
[pid=28008] ppid=28005 vsize=82192 memory=51456 CPUtime=462.28 cores=0,2,4,6
/proc/28008/stat : 28008 (cosoco) R 28005 28008 23976 0 -1 4202496 83791 0 0 0 46221 7 0 0 20 0 1 0 92236921 84164608 12864 33554432000 4194304 5972588 140732851517632 140732851514936 4970771 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10772480 140732851524794 140732851524894 140732851524894 140732851527630 0
/proc/28008/statm: 20548 12864 786 435 0 13911 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 82192 KiB
Current children cumulated memory: 51456 KiB
################
# More data... #
################
/proc/28008/statm: 20576 12895 786 435 0 13939 0
Current children cumulated CPU time: 1722.26 s
Current children cumulated vsize: 82304 KiB
Current children cumulated memory: 51580 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28123
/proc/meminfo: memFree=30370160/32770624 swapFree=67108860/67108860
[pid=28008] ppid=28005 vsize=82304 memory=51580 CPUtime=1782.26 cores=0,2,4,6
/proc/28008/stat : 28008 (cosoco) R 28005 28008 23976 0 -1 4202496 120320 0 0 0 178217 9 0 0 20 0 1 0 92236921 84279296 12895 33554432000 4194304 5972588 140732851517632 140732851514936 4977689 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10772480 140732851524794 140732851524894 140732851524894 140732851527630 0
/proc/28008/statm: 20576 12895 786 435 0 13939 0
Current children cumulated CPU time: 1782.26 s
Current children cumulated vsize: 82304 KiB
Current children cumulated memory: 51580 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28124
/proc/meminfo: memFree=30370024/32770624 swapFree=67108860/67108860
[pid=28008] ppid=28005 vsize=82304 memory=51580 CPUtime=1842.27 cores=0,2,4,6
/proc/28008/stat : 28008 (cosoco) R 28005 28008 23976 0 -1 4202496 121469 0 0 0 184217 10 0 0 20 0 1 0 92236921 84279296 12895 33554432000 4194304 5972588 140732851517632 140732851514936 4975792 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10772480 140732851524794 140732851524894 140732851524894 140732851527630 0
/proc/28008/statm: 20576 12895 786 435 0 13939 0
Current children cumulated CPU time: 1842.27 s
Current children cumulated vsize: 82304 KiB
Current children cumulated memory: 51580 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28125
/proc/meminfo: memFree=30369952/32770624 swapFree=67108860/67108860
[pid=28008] ppid=28005 vsize=82304 memory=51580 CPUtime=1902.27 cores=0,2,4,6
/proc/28008/stat : 28008 (cosoco) R 28005 28008 23976 0 -1 4202496 122648 0 0 0 190217 10 0 0 20 0 1 0 92236921 84279296 12895 33554432000 4194304 5972588 140732851517632 140732851514936 4977689 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10772480 140732851524794 140732851524894 140732851524894 140732851527630 0
/proc/28008/statm: 20576 12895 786 435 0 13939 0
Current children cumulated CPU time: 1902.27 s
Current children cumulated vsize: 82304 KiB
Current children cumulated memory: 51580 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28126
/proc/meminfo: memFree=30370212/32770624 swapFree=67108860/67108860
[pid=28008] ppid=28005 vsize=82304 memory=51580 CPUtime=1962.27 cores=0,2,4,6
/proc/28008/stat : 28008 (cosoco) R 28005 28008 23976 0 -1 4202496 123952 0 0 0 196217 10 0 0 20 0 1 0 92236921 84279296 12895 33554432000 4194304 5972588 140732851517632 140732851514936 4978119 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10772480 140732851524794 140732851524894 140732851524894 140732851527630 0
/proc/28008/statm: 20576 12895 786 435 0 13939 0
Current children cumulated CPU time: 1962.27 s
Current children cumulated vsize: 82304 KiB
Current children cumulated memory: 51580 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28135
/proc/meminfo: memFree=30369976/32770624 swapFree=67108860/67108860
[pid=28008] ppid=28005 vsize=82304 memory=51580 CPUtime=2022.26 cores=0,2,4,6
/proc/28008/stat : 28008 (cosoco) R 28005 28008 23976 0 -1 4202496 125150 0 0 0 202216 10 0 0 20 0 1 0 92236921 84279296 12895 33554432000 4194304 5972588 140732851517632 140732851514936 4972816 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10772480 140732851524794 140732851524894 140732851524894 140732851527630 0
/proc/28008/statm: 20576 12895 786 435 0 13939 0
Current children cumulated CPU time: 2022.26 s
Current children cumulated vsize: 82304 KiB
Current children cumulated memory: 51580 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28136
/proc/meminfo: memFree=30369960/32770624 swapFree=67108860/67108860
[pid=28008] ppid=28005 vsize=82304 memory=51580 CPUtime=2082.26 cores=0,2,4,6
/proc/28008/stat : 28008 (cosoco) R 28005 28008 23976 0 -1 4202496 126453 0 0 0 208216 10 0 0 20 0 1 0 92236921 84279296 12895 33554432000 4194304 5972588 140732851517632 140732851514936 4978688 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10772480 140732851524794 140732851524894 140732851524894 140732851527630 0
/proc/28008/statm: 20576 12895 786 435 0 13939 0
Current children cumulated CPU time: 2082.26 s
Current children cumulated vsize: 82304 KiB
Current children cumulated memory: 51580 KiB
[startup+2142.3 s]
/proc/loadavg: 2.53 2.15 2.09 3/188 28137
/proc/meminfo: memFree=30370200/32770624 swapFree=67108860/67108860
[pid=28008] ppid=28005 vsize=82304 memory=51580 CPUtime=2142.26 cores=0,2,4,6
/proc/28008/stat : 28008 (cosoco) R 28005 28008 23976 0 -1 4202496 127631 0 0 0 214216 10 0 0 20 0 1 0 92236921 84279296 12895 33554432000 4194304 5972588 140732851517632 140732851514936 4970878 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10772480 140732851524794 140732851524894 140732851524894 140732851527630 0
/proc/28008/statm: 20576 12895 786 435 0 13939 0
Current children cumulated CPU time: 2142.26 s
Current children cumulated vsize: 82304 KiB
Current children cumulated memory: 51580 KiB
[startup+2202.3 s]
/proc/loadavg: 2.19 2.12 2.08 3/188 28138
/proc/meminfo: memFree=30370228/32770624 swapFree=67108860/67108860
[pid=28008] ppid=28005 vsize=82304 memory=51580 CPUtime=2202.26 cores=0,2,4,6
/proc/28008/stat : 28008 (cosoco) R 28005 28008 23976 0 -1 4202496 128853 0 0 0 220216 10 0 0 20 0 1 0 92236921 84279296 12895 33554432000 4194304 5972588 140732851517632 140732851514936 4979114 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10772480 140732851524794 140732851524894 140732851524894 140732851527630 0
/proc/28008/statm: 20576 12895 786 435 0 13939 0
Current children cumulated CPU time: 2202.26 s
Current children cumulated vsize: 82304 KiB
Current children cumulated memory: 51580 KiB
[startup+2262.3 s]
/proc/loadavg: 2.07 2.10 2.08 3/188 28139
/proc/meminfo: memFree=30370092/32770624 swapFree=67108860/67108860
[pid=28008] ppid=28005 vsize=82304 memory=51588 CPUtime=2262.26 cores=0,2,4,6
/proc/28008/stat : 28008 (cosoco) R 28005 28008 23976 0 -1 4202496 130000 0 0 0 226216 10 0 0 20 0 1 0 92236921 84279296 12897 33554432000 4194304 5972588 140732851517632 140732851514936 4972071 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10772480 140732851524794 140732851524894 140732851524894 140732851527630 0
/proc/28008/statm: 20576 12897 786 435 0 13939 0
Current children cumulated CPU time: 2262.26 s
Current children cumulated vsize: 82304 KiB
Current children cumulated memory: 51588 KiB
[startup+2322.3 s]
/proc/loadavg: 2.03 2.08 2.07 3/187 28141
/proc/meminfo: memFree=30369592/32770624 swapFree=67108860/67108860
[pid=28008] ppid=28005 vsize=82304 memory=51588 CPUtime=2322.26 cores=0,2,4,6
/proc/28008/stat : 28008 (cosoco) R 28005 28008 23976 0 -1 4202496 131154 0 0 0 232216 10 0 0 20 0 1 0 92236921 84279296 12897 33554432000 4194304 5972588 140732851517632 140732851514936 4972046 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10772480 140732851524794 140732851524894 140732851524894 140732851527630 0
/proc/28008/statm: 20576 12897 786 435 0 13939 0
Current children cumulated CPU time: 2322.26 s
Current children cumulated vsize: 82304 KiB
Current children cumulated memory: 51588 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/186 28142
/proc/meminfo: memFree=30371080/32770624 swapFree=67108860/67108860
[pid=28008] ppid=28005 vsize=82304 memory=51608 CPUtime=2382.26 cores=0,2,4,6
/proc/28008/stat : 28008 (cosoco) R 28005 28008 23976 0 -1 4202496 132462 0 0 0 238216 10 0 0 20 0 1 0 92236921 84279296 12902 33554432000 4194304 5972588 140732851517632 140732851514936 4978080 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10772480 140732851524794 140732851524894 140732851524894 140732851527630 0
/proc/28008/statm: 20576 12902 786 435 0 13939 0
Current children cumulated CPU time: 2382.26 s
Current children cumulated vsize: 82304 KiB
Current children cumulated memory: 51608 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/187 28144
/proc/meminfo: memFree=30370068/32770624 swapFree=67108860/67108860
[pid=28008] ppid=28005 vsize=82304 memory=51608 CPUtime=2442.26 cores=0,2,4,6
/proc/28008/stat : 28008 (cosoco) R 28005 28008 23976 0 -1 4202496 133622 0 0 0 244216 10 0 0 20 0 1 0 92236921 84279296 12902 33554432000 4194304 5972588 140732851517632 140732851514936 4978080 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10772480 140732851524794 140732851524894 140732851524894 140732851527630 0
/proc/28008/statm: 20576 12902 786 435 0 13939 0
Current children cumulated CPU time: 2442.26 s
Current children cumulated vsize: 82304 KiB
Current children cumulated memory: 51608 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 28146
/proc/meminfo: memFree=30369792/32770624 swapFree=67108860/67108860
[pid=28008] ppid=28005 vsize=82304 memory=51608 CPUtime=2502.26 cores=0,2,4,6
/proc/28008/stat : 28008 (cosoco) R 28005 28008 23976 0 -1 4202496 134811 0 0 0 250216 10 0 0 20 0 1 0 92236921 84279296 12902 33554432000 4194304 5972588 140732851517632 140732851514936 4972625 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10772480 140732851524794 140732851524894 140732851524894 140732851527630 0
/proc/28008/statm: 20576 12902 786 435 0 13939 0
Current children cumulated CPU time: 2502.26 s
Current children cumulated vsize: 82304 KiB
Current children cumulated memory: 51608 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.04 2.05 3/187 28146
/proc/meminfo: memFree=30369916/32770624 swapFree=67108860/67108860
[pid=28008] ppid=28005 vsize=82304 memory=51608 CPUtime=2519.96 cores=0,2,4,6
/proc/28008/stat : 28008 (cosoco) R 28005 28008 23976 0 -1 4202496 135965 0 0 0 251986 10 0 0 20 0 1 0 92236921 84279296 12902 33554432000 4194304 5972588 140732851517632 140732851514936 5099630 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 10772480 140732851524794 140732851524894 140732851524894 140732851527630 0
/proc/28008/statm: 20576 12902 786 435 0 13939 0
Current children cumulated CPU time: 2519.96 s
Current children cumulated vsize: 82304 KiB
Current children cumulated memory: 51608 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 28008 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.87 s, system=0.110999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.98
CPU user time (s): 2519.87
CPU system time (s): 0.110999
CPU usage (%): 99.9988
Max. virtual memory (cumulated for all children) (KiB): 82304
Max. memory (cumulated for all children) (KiB): 51608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.87
system time used= 0.110999
maximum resident set size= 51684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136012
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= 17
involuntary context switches= 1168
# summary of solver processes directly reported to runsolver:
# pid: 28008
# total CPU time (s): 2519.98
# total CPU user time (s): 2519.87
# total CPU system time (s): 0.110999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.40489 second user time and 15.7391 second system time
The end
Begin job on node115 at 2017-08-13 04:17:14 IDJOB=4266129 IDBENCH=139130 IDSOLVER=2655 FILE ID=node115/4266129-1502591492 RUNJOBID= node115-1502567253-24060 PBS_JOBID= 20628280 Free space on /tmp= 61896 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/LatinSquare/LatinSquare-m1-gs/qwh-o035-h405.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266129-1502591492/watcher-4266129-1502591492 -o /tmp/evaluation-result-4266129-1502591492/solver-4266129-1502591492 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node115-1502567253-24060 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266129-1502591492.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3223705abdf773009dcd28d689e47bd8 RANDOM SEED=2012056134 node115.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30646896 kB MemAvailable: 30808156 kB Buffers: 98744 kB Cached: 349412 kB SwapCached: 0 kB Active: 1527892 kB Inactive: 155544 kB Active(anon): 1181752 kB Inactive(anon): 81056 kB Active(file): 346140 kB Inactive(file): 74488 kB Unevictable: 6212 kB Mlocked: 6212 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2288 kB Writeback: 0 kB AnonPages: 1248784 kB Mapped: 44544 kB Shmem: 25224 kB Slab: 137996 kB SReclaimable: 112932 kB SUnreclaim: 25064 kB KernelStack: 3568 kB PageTables: 7148 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1656520 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1173504 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 61896 MiB End job on node115 at 2017-08-13 04:59:14