| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| R1: cosoco-sat 1.1 | ? (TO) | 2400.05 | 2400.1 |
| Name | ColouredQueens/ColouredQueens-m1-s1/ ColouredQueens-14.xml |
| MD5SUM | eb742fbc5fe115028f4ee34ab4b949cf |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 196 |
| Number of constraints | 78 |
| Number of domains | 1 |
| Minimum domain size | 14 |
| Maximum domain size | 14 |
| Distribution of domain sizes | [{"size":14,"count":196}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 4 |
| Distribution of variable degrees | [{"degree":3,"count":4},{"degree":4,"count":192}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 14 |
| Distribution of constraint arities | [{"arity":2,"count":4},{"arity":3,"count":4},{"arity":4,"count":4},{"arity":5,"count":4},{"arity":6,"count":4},{"arity":7,"count":4},{"arity":8,"count":4},{"arity":9,"count":4},{"arity":10,"count":4},{"arity":11,"count":4},{"arity":12,"count":4},{"arity":13,"count":4},{"arity":14,"count":30}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"allDifferent","count":78}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.01 c SAT : Variables: 2744 -- Clauses: 18032 0.00/0.01 c root propagations : 0 0.00/0.01 c restarts enabled, print stats at every restarts 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c This is cosoco 1.0 -- 0.00/0.01 c 0.00/0.01 c ========================================[ Problem Statistics ]=========================================== 0.00/0.01 c | 0.00/0.01 c | Parse time : 0.01 s 0.00/0.01 c | 0.00/0.01 c | Variables: 196 0.00/0.01 c | Domain Sizes: 14..14 0.00/0.01 c | 0.00/0.01 c | Constraints: 78 0.00/0.01 c | Arity: 2..14 -- Binary: 4 -- Ternary: 4 0.00/0.01 c | 0.00/0.01 c | Types: 0.00/0.01 c | All Different: 78 0.00/0.01 c | 0.00/0.01 c ========================================================================================================= 0.00/0.01 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.03 c 10 111 4053 5140 0 9 73 93 79 0.00/0.04 c 20 241 9310 11004 0 11 67 95 77 0.00/0.05 c 30 351 11924 13941 0 18 72 95 78 0.00/0.06 c 40 467 14444 16513 0 24 78 93 79 0.00/0.07 c 50 573 18310 20774 0 28 78 85 73 0.00/0.08 c 60 687 23227 25747 0 36 71 96 77 0.00/0.09 c 70 803 27675 30390 0 38 81 88 76 0.09/0.10 c 80 921 31418 34234 0 43 73 95 77 0.09/0.11 c 90 1046 36269 40195 0 47 66 90 75 0.09/0.12 c 100 1176 40372 44676 0 52 83 96 80 0.09/0.12 c 101 1239 41642 45396 0 53 63 63 31 0.09/0.13 c 110 1345 44161 47490 0 62 62 98 72 0.09/0.14 c 120 1466 48642 52770 0 69 84 93 81 0.09/0.15 c 130 1600 53150 57570 0 72 85 98 82 0.09/0.16 c 140 1736 57319 61450 0 79 90 106 86 0.09/0.16 c 150 1838 61311 66725 0 84 71 84 73 0.09/0.17 c 160 1951 64881 70857 0 88 86 92 81 0.09/0.18 c 170 2062 68342 74855 0 93 78 91 78 0.09/0.19 c 180 2189 72848 79958 0 99 75 91 76 0.09/0.20 c 190 2312 77857 84830 0 106 75 89 76 0.19/0.20 c 200 2417 81125 87917 0 116 81 93 77 0.19/0.21 c 210 2513 84793 92455 0 120 58 84 70 0.19/0.21 c 211 2604 86859 94136 0 121 91 91 45 0.19/0.22 c 220 2740 92949 100484 0 125 81 92 76 0.19/0.23 c 230 2845 96563 105234 0 130 78 91 76 0.19/0.23 c 240 2960 100314 109178 0 133 78 97 79 0.19/0.24 c 250 3068 104372 114225 0 136 74 84 71 0.19/0.25 c 260 3166 107572 117495 0 144 67 86 72 0.19/0.25 c 270 3269 110512 120522 0 154 85 94 81 0.19/0.26 c 280 3396 115571 126508 0 158 82 89 77 0.19/0.27 c 290 3523 120687 132466 0 160 82 94 82 0.19/0.27 c 300 3630 123210 134910 0 169 77 96 78 0.19/0.28 c 310 3738 127165 138839 0 172 79 90 75 0.19/0.28 c 320 3845 129916 141711 0 177 84 95 80 0.19/0.29 c 330 3977 134043 146458 0 180 89 99 84 0.19/0.29 c 332 4058 135738 147770 0 182 74 79 51 0.29/0.30 c 340 4164 139460 151856 0 186 80 87 74 0.29/0.31 c 350 4279 143567 156563 0 192 82 93 81 0.29/0.31 c 360 4385 147104 159647 0 196 74 87 75 0.29/0.32 c 370 4497 151317 164038 0 205 54 92 77 0.29/0.33 c 380 4636 156407 170822 0 206 86 100 85 0.29/0.34 c 390 4747 160236 175029 0 208 77 84 73 0.29/0.34 c 400 4862 164522 179964 0 213 83 101 85 0.29/0.35 c 410 4949 167276 182712 0 217 62 70 62 0.29/0.35 c 420 5055 170710 187239 0 227 78 90 77 0.29/0.36 c 430 5155 174691 191748 0 231 65 84 71 0.29/0.37 c 440 5262 178097 194813 0 237 76 87 74 0.29/0.37 c 450 5366 180654 197755 0 247 87 95 82 0.29/0.37 c 460 5471 183664 201259 0 255 77 96 80 0.29/0.38 c 465 5561 185795 203117 0 260 73 86 68 0.29/0.38 c 470 5662 188787 206352 0 262 70 84 65 0.29/0.39 c 480 5787 192664 210595 0 267 88 98 85 0.29/0.40 c 490 5889 195857 214155 0 271 65 80 69 0.39/0.40 c 500 5999 198980 217241 0 280 80 96 82 0.39/0.41 c 510 6119 204807 224769 0 282 75 92 78 0.39/0.42 c 520 6239 208871 229079 0 288 80 92 79 0.39/0.42 c 530 6359 212673 233367 0 295 81 92 77 0.39/0.43 c 540 6447 214674 235159 0 298 69 72 65 0.39/0.43 c 550 6583 218678 240020 0 302 82 93 80 0.39/0.44 c 560 6705 222987 244800 0 308 75 86 72 0.39/0.45 c 570 6818 226626 248471 0 314 82 89 79 0.39/0.46 c 580 6926 230643 252880 0 316 75 89 74 0.39/0.46 c 590 7038 234754 257762 0 321 68 92 77 0.39/0.47 c 600 7147 238799 261844 0 324 69 82 67 0.39/0.47 c 610 7277 242058 264657 0 332 83 102 85 0.39/0.48 c 611 7351 243457 265500 0 333 74 74 37 0.39/0.48 c 620 7474 246818 269114 0 339 81 93 80 0.39/0.49 c 630 7589 251020 274277 0 343 81 89 78 0.39/0.49 c 640 7708 254270 277469 0 345 79 93 79 0.49/0.50 c 650 7813 257645 281243 0 350 79 86 74 0.49/0.51 c 660 7916 261692 285982 0 353 76 86 73 0.49/0.51 c 670 8041 265517 289506 0 357 88 93 82 0.49/0.52 c 680 8150 269125 293806 0 361 84 93 80 0.49/0.53 c 690 8269 272472 297276 0 369 35 106 76 0.49/0.53 c 700 8370 275745 300937 0 379 75 91 76 0.49/0.54 c 710 8486 280225 305913 0 383 85 96 81 0.49/0.55 c 720 8628 285019 312160 0 385 88 99 85 0.49/0.55 c 730 8740 288282 315255 0 387 78 91 76 0.49/0.56 c 740 8892 293662 322171 0 392 79 99 81 0.49/0.57 c 750 9015 297213 325463 0 396 47 95 81 0.49/0.57 c 760 9121 301160 329683 0 401 83 90 78 0.49/0.58 c 770 9246 304854 333657 0 408 84 96 84 0.49/0.58 c 771 9320 306225 334505 0 409 74 74 37 0.49/0.59 c 780 9437 310216 339030 0 413 83 90 77 0.49/0.59 c 790 9544 313286 342039 0 415 83 88 77 0.59/0.60 c 800 9675 318310 348030 0 418 80 93 79 0.59/0.61 c 810 9781 320638 350331 0 425 79 91 75 0.59/0.62 c 820 9904 325839 356138 0 434 84 101 84 0.59/0.62 c 830 10033 329680 360134 0 438 75 98 78 0.59/0.63 c 840 10142 334382 366135 0 444 56 89 71 0.59/0.64 c 850 10254 338657 371054 0 450 80 94 80 0.59/0.64 c 860 10362 341932 374842 0 455 75 87 75 0.59/0.65 c 870 10461 346081 379181 0 461 71 88 73 0.59/0.66 c 880 10568 349210 383020 0 467 79 93 78 0.59/0.66 c 890 10686 354005 388908 0 472 79 90 74 0.59/0.67 c 900 10797 357208 392126 0 476 84 93 81 0.59/0.68 c 910 10901 360858 395985 0 479 79 92 77 0.59/0.68 c 920 11027 365683 401305 0 484 78 91 77 0.59/0.69 c 930 11134 369767 406141 0 488 71 81 70 0.69/0.70 c 940 11256 374652 412078 0 493 85 99 86 0.69/0.70 c 947 11356 377280 414522 0 496 73 86 71 0.69/0.71 c 950 11445 379521 416445 0 498 81 87 62 0.69/0.71 c 960 11575 383157 421165 0 501 87 98 84 0.69/0.72 c 970 11682 387819 427021 0 505 79 90 78 0.69/0.73 c 980 11789 391666 431059 0 510 78 97 79 0.69/0.73 c 990 11910 395178 435510 0 517 74 95 82 0.69/0.74 c 1000 12023 398619 438999 0 527 79 102 80 0.69/0.75 c 1010 12138 402351 442937 0 533 77 94 77 0.69/0.75 c 1020 12244 405095 445725 0 539 71 95 81 0.69/0.76 c 1030 12373 408397 449184 0 545 80 103 89 0.69/0.76 c 1040 12493 412351 453953 0 551 82 102 84 0.69/0.77 c 1050 12607 416094 458010 0 553 78 89 79 0.69/0.78 c 1060 12726 420406 462534 0 558 77 87 76 0.69/0.78 c 1070 12842 424314 466682 0 565 72 94 78 0.69/0.79 c 1080 12948 427464 470053 0 570 82 87 76 0.69/0.79 c 1090 13064 430798 473101 0 578 72 91 74 0.79/0.80 c 1100 13184 434688 478099 0 583 87 96 83 0.79/0.81 c 1110 13312 439443 483539 0 588 87 98 84 0.79/0.82 c 1120 13438 443248 487431 0 592 77 102 85 0.79/0.82 c 1130 13548 447225 491812 0 597 74 91 78 0.79/0.83 c 1140 13659 451582 496996 0 600 78 91 78 0.79/0.83 c 1141 13731 453090 497934 0 601 72 72 36 0.79/0.84 c 1150 13848 456872 501556 0 605 81 94 80 0.79/0.84 c 1160 13944 460513 505861 0 615 72 84 72 0.79/0.85 c 1170 14070 465025 510780 0 617 81 93 79 0.79/0.86 c 1180 14188 468531 514510 0 625 73 100 82 0.79/0.87 c 1190 14301 473828 521389 0 632 77 88 73 0.79/0.87 c 1200 14416 477746 526026 0 640 81 99 83 0.79/0.89 c 1210 14566 484056 533998 0 643 77 95 78 0.79/0.89 c 1220 14686 488537 538680 0 648 78 99 78 0.89/0.90 c 1230 14786 491478 541435 0 657 75 90 78 0.89/0.90 c 1240 14890 494897 545480 0 662 53 89 76 0.89/0.91 c 1250 15017 499901 552383 0 663 81 88 77 0.89/0.92 c 1260 15122 503326 555963 0 665 80 90 76 0.89/0.93 c 1270 15253 508956 562413 0 672 83 100 82 0.89/0.93 c 1280 15340 510874 563593 0 677 62 67 59 0.89/0.94 c 1290 15446 514467 567001 0 684 66 90 75 0.89/0.94 c 1300 15549 517034 569400 0 694 64 90 75 0.89/0.95 c 1310 15661 519894 572376 0 700 78 93 75 0.89/0.95 c 1320 15772 523263 575803 0 708 76 96 81 0.89/0.96 c 1330 15892 528356 582221 0 711 57 90 75 0.89/0.97 c 1340 16006 532272 586423 0 714 85 92 80 0.89/0.97 c 1350 16110 536319 590453 0 716 68 85 74 0.89/0.98 c 1352 16211 538614 592262 0 718 98 98 65 0.89/0.98 c 1360 16309 541397 595040 0 726 76 86 73 0.89/0.99 c 1370 16422 545098 599356 0 733 68 86 70 0.89/1.00 c 1380 16536 549621 604611 0 738 82 94 81 0.99/1.00 c 1390 16654 553869 608969 0 745 75 91 75 0.99/1.01 c 1400 16795 558546 614049 0 748 79 94 79 0.99/1.02 c 1410 16907 561788 617344 0 758 77 96 82 0.99/1.02 c 1420 17031 565863 622378 0 760 85 97 82 0.99/1.03 c 1430 17153 569752 627310 0 766 73 101 82 0.99/1.03 c 1440 17259 572786 630070 0 769 79 89 77 0.99/1.04 c 1450 17362 575458 632589 0 774 82 89 78 0.99/1.04 c 1460 17473 578562 635984 0 778 73 89 77 0.99/1.05 c 1470 17580 582441 640799 0 781 69 85 74 0.99/1.06 c 1480 17688 585415 643622 0 783 89 93 82 0.99/1.06 c 1490 17811 588659 646575 0 789 81 98 82 0.99/1.07 c 1500 17953 592427 650404 0 795 96 104 90 0.99/1.07 c 1510 18066 595548 653479 0 803 77 88 76 0.99/1.08 c 1520 18174 598368 656215 0 813 53 92 74 0.99/1.08 c 1530 18289 603087 661924 0 818 68 89 74 0.99/1.09 c 1540 18392 605722 665062 0 825 85 94 82 0.99/1.09 c 1550 18491 608931 668866 0 835 75 89 75 0.99/1.10 c 1560 18606 613058 673057 0 840 76 87 74 1.10/1.11 c 1570 18720 615897 676327 0 849 73 100 85 1.10/1.11 c 1580 18825 619176 679421 0 851 80 95 79 1.10/1.12 c 1585 18921 622030 682120 0 854 86 92 74 1.10/1.12 c 1590 19013 624309 683829 0 858 79 86 69 1.10/1.12 c 1600 19117 627297 686957 0 862 71 88 71 1.10/1.13 c 1610 19207 631194 690521 0 865 71 78 69 1.10/1.14 c 1620 19318 634615 693928 0 874 84 98 84 1.10/1.14 c 1630 19434 639074 699944 0 882 72 91 77 1.10/1.15 c 1640 19540 643648 705291 0 889 74 85 71 1.10/1.16 c 1650 19652 647034 708908 0 898 73 93 77 1.10/1.16 c 1660 19759 650444 711956 0 904 79 87 74 1.10/1.17 c 1670 19876 654190 716383 0 908 80 90 79 1.10/1.18 c 1680 19993 658052 720515 0 911 88 100 85 1.10/1.19 c 1690 20107 663472 725919 0 916 78 88 76 1.10/1.19 c 1700 20227 667597 731018 0 922 48 97 74 1.10/1.20 c 1710 20334 671063 734135 0 926 77 85 72 1.20/1.21 c 1720 20466 676002 738789 0 932 82 93 80 1.20/1.21 c 1730 20570 678749 741498 0 941 82 91 78 1.20/1.22 c 1740 20693 683498 746726 0 946 71 87 71 1.20/1.22 c 1750 20800 686477 749816 0 951 87 93 83 1.20/1.23 c 1760 20912 690343 754209 0 953 77 90 76 1.20/1.24 c 1770 21024 693822 758343 0 957 76 91 78 1.20/1.24 c 1780 21135 696869 761999 0 962 86 93 82 1.20/1.25 c 1790 21233 699215 764721 0 967 67 88 74 1.20/1.25 c 1800 21353 702757 768285 0 971 84 94 79 1.20/1.26 c 1810 21463 705238 770669 0 977 52 89 63 1.20/1.26 c 1820 21578 709800 776384 0 984 78 86 74 1.20/1.27 c 1830 21693 713194 779836 0 986 68 101 84 1.20/1.27 c 1840 21813 716727 783564 0 991 77 92 78 1.20/1.28 c 1841 21892 718438 784532 0 992 79 79 39 1.20/1.28 c 1850 22007 721429 787610 0 994 74 96 74 1.20/1.29 c 1860 22131 725054 791323 0 1000 70 97 80 1.20/1.29 c 1870 22246 728290 794899 0 1007 84 90 80 1.29/1.30 c 1880 22370 733544 802170 0 1011 79 88 76 1.29/1.31 c 1890 22497 738797 808363 0 1013 90 103 86 1.29/1.32 c 1900 22605 742276 812455 0 1020 84 94 81 1.29/1.33 c 1910 22736 747845 817940 0 1027 81 89 78 1.29/1.33 c 1920 22837 751851 822839 0 1037 80 90 76 1.29/1.34 c 1930 22973 757171 828845 0 1041 78 91 77 1.29/1.35 c 1940 23070 760815 832825 0 1051 69 85 72 1.29/1.36 c 1950 23181 765336 838247 0 1057 65 89 74 1.29/1.36 c 1960 23279 767942 841000 0 1065 66 82 70 1.29/1.37 c 1970 23399 772172 846183 0 1069 84 90 78 1.29/1.38 c 1980 23522 776115 850659 0 1077 78 87 75 1.29/1.38 c 1990 23641 779432 853952 0 1086 74 97 75 1.29/1.39 c 2000 23768 783795 858817 0 1094 75 96 78 1.39/1.40 c 2010 23904 788252 863843 0 1097 82 95 81 1.39/1.40 c 2020 24011 791105 866561 0 1102 76 88 73 1.39/1.41 c 2030 24155 796451 872991 0 1105 79 95 79 1.39/1.42 c 2040 24286 801462 878933 0 1109 80 93 79 1.39/1.43 c 2050 24406 807978 886930 0 1114 75 92 74 1.39/1.44 c 2060 24523 811898 891984 0 1121 83 94 81 1.39/1.44 c 2070 24615 815750 896587 0 1122 73 76 68 1.39/1.45 c 2080 24747 820327 901985 0 1124 81 98 80 1.39/1.46 c 2090 24859 822787 904479 0 1128 81 86 76 1.39/1.46 c 2100 24968 826796 909563 0 1129 85 92 80 1.39/1.47 c 2110 25077 831192 915208 0 1132 78 88 76 1.39/1.48 c 2120 25182 834230 918401 0 1139 81 92 81 1.39/1.48 c 2122 25281 836263 920075 0 1141 93 93 62 1.39/1.48 c 2130 25390 839934 924505 0 1145 85 94 78 1.39/1.49 c 2140 25500 843640 928357 0 1148 77 89 75 1.49/1.50 c 2150 25622 848145 933549 0 1156 65 92 78 1.49/1.50 c 2160 25728 851312 936688 0 1165 41 92 73 1.49/1.51 c 2170 25850 856558 942995 0 1170 76 95 78 1.49/1.52 c 2180 25979 860847 948438 0 1172 68 103 85 1.49/1.53 c 2190 26092 864413 953122 0 1174 83 91 79 1.49/1.53 c 2200 26200 866800 955101 0 1178 77 90 75 1.49/1.54 c 2210 26306 869957 957966 0 1187 76 84 73 1.49/1.54 c 2220 26425 873167 961373 0 1197 89 103 86 1.49/1.54 c 2230 26519 875031 963003 0 1207 72 85 71 1.49/1.55 c 2240 26627 878088 966144 0 1214 84 95 83 1.49/1.55 c 2250 26743 881305 970403 0 1222 83 93 81 1.49/1.56 c 2260 26856 885080 974360 0 1229 82 92 80 1.49/1.57 c 2270 26977 888862 978636 0 1232 84 94 79 1.49/1.57 c 2280 27096 892698 982661 0 1234 85 95 81 1.49/1.58 c 2290 27212 897119 987935 0 1241 70 90 72 1.49/1.59 c 2300 27318 901031 993149 0 1245 78 91 78 1.49/1.59 c 2310 27437 904594 997544 0 1252 75 90 77 1.59/1.60 c 2320 27534 907122 1000695 0 1262 79 88 76 1.59/1.60 c 2330 27649 910639 1004542 0 1266 58 93 76 1.59/1.61 c 2340 27755 913839 1007764 0 1272 42 91 70 1.59/1.61 c 2350 27864 916456 1010384 0 1281 65 97 80 1.59/1.62 c 2360 27972 920701 1015078 0 1288 77 87 75 1.59/1.63 c 2370 28100 924878 1019658 0 1294 80 100 81 1.59/1.63 c 2380 28217 928749 1024464 0 1297 73 91 76 1.59/1.64 c 2390 28327 932858 1029269 0 1303 82 90 77 1.59/1.65 c 2400 28457 936403 1033332 0 1308 87 102 85 1.59/1.65 c 2410 28562 940411 1037833 0 1314 80 88 77 1.59/1.66 c 2420 28673 944221 1042165 0 1319 79 94 81 1.59/1.66 c 2430 28775 946864 1045295 0 1329 78 92 79 1.59/1.67 c 2431 28856 948499 1046301 0 1330 81 81 40 1.59/1.68 c 2440 28997 953091 1051541 0 1334 83 97 81 1.59/1.69 c 2450 29107 958761 1057701 0 1340 79 87 75 1.59/1.69 c 2460 29224 962271 1061775 0 1346 45 95 72 1.69/1.70 c 2470 29333 965795 1066073 0 1349 87 91 80 1.69/1.70 c 2480 29441 969035 1070014 0 1357 79 92 79 1.69/1.71 c 2490 29574 973774 1075113 0 1359 79 88 75 1.69/1.71 c 2500 29683 976197 1077395 0 1369 75 99 79 1.69/1.72 c 2510 29820 981837 1083282 0 1371 73 88 73 1.69/1.73 c 2520 29938 985384 1087226 0 1378 83 100 86 1.69/1.74 c 2530 30067 990737 1093740 0 1382 68 90 76 1.69/1.75 c 2540 30185 995618 1099620 0 1386 76 93 75 1.69/1.75 c 2550 30298 999354 1104032 0 1391 84 93 80 1.69/1.76 c 2560 30416 1002910 1108044 0 1401 73 91 75 1.69/1.77 c 2570 30526 1006265 1111731 0 1404 77 92 79 1.69/1.77 c 2580 30675 1011133 1116806 0 1411 75 95 74 1.69/1.78 c 2590 30786 1015368 1121221 0 1415 75 92 76 1.69/1.79 c 2600 30881 1018042 1124221 0 1417 76 82 71 1.69/1.79 c 2610 31002 1022194 1128502 0 1425 71 86 72 1.79/1.80 c 2620 31108 1025615 1131873 0 1430 78 92 78 1.79/1.81 c 2630 31217 1029460 1135785 0 1436 83 91 79 1.79/1.81 c 2640 31333 1032307 1139167 0 1442 86 95 83 1.79/1.81 c 2650 31435 1035074 1141579 0 1452 71 93 74 1.79/1.82 c 2660 31539 1038824 1145665 0 1456 77 85 74 1.79/1.83 c 2670 31658 1041710 1148497 0 1462 80 89 76 1.79/1.83 c 2680 31786 1045589 1152564 0 1471 41 99 71 1.79/1.84 c 2690 31888 1048068 1155183 0 1479 82 93 80 1.79/1.84 c 2700 32002 1050722 1157877 0 1484 70 97 81 1.79/1.85 c 2710 32113 1053968 1161368 0 1487 28 97 73 1.79/1.85 c 2720 32215 1056392 1163156 0 1491 75 77 69 1.79/1.85 c 2730 32325 1059384 1166171 0 1501 87 101 85 1.79/1.86 c 2740 32432 1063165 1170509 0 1506 81 87 77 1.79/1.87 c 2750 32540 1066139 1174045 0 1509 88 93 82 1.79/1.87 c 2760 32648 1070414 1178225 0 1517 81 91 77 1.79/1.88 c 2770 32770 1073395 1181674 0 1520 84 100 82 1.79/1.88 c 2771 32857 1075361 1182986 0 1521 87 87 43 1.79/1.89 c 2780 32989 1080760 1190141 0 1523 82 95 76 1.89/1.90 c 2790 33109 1085056 1195471 0 1527 81 90 78 1.89/1.90 c 2800 33220 1089126 1200033 0 1532 84 94 81 1.89/1.91 c 2810 33338 1093372 1204973 0 1540 80 93 80 1.89/1.92 c 2820 33458 1096565 1208249 0 1547 73 91 77 1.89/1.93 c 2830 33581 1100922 1213503 0 1548 85 92 80 1.89/1.93 c 2840 33685 1105019 1219065 0 1554 78 80 72 1.89/1.94 c 2850 33788 1107562 1221525 0 1564 81 91 78 1.89/1.94 c 2860 33902 1111610 1226303 0 1568 81 91 77 1.89/1.95 c 2870 34008 1115313 1231283 0 1572 81 88 78 1.89/1.96 c 2880 34137 1119898 1237317 0 1577 86 95 83 1.89/1.96 c 2890 34272 1124025 1241683 0 1582 77 98 78 1.89/1.97 c 2900 34372 1127358 1244918 0 1592 73 91 76 1.89/1.98 c 2910 34492 1133832 1252651 0 1594 77 85 73 1.89/1.99 c 2920 34603 1136791 1256261 0 1597 76 97 82 1.89/1.99 c 2930 34706 1139623 1258868 0 1601 79 85 75 1.99/2.00 c 2940 34824 1143834 1263005 0 1605 68 94 79 1.99/2.01 c 2950 34934 1148231 1268220 0 1609 81 86 75 1.99/2.01 c 2960 35049 1152544 1273016 0 1613 86 94 81 1.99/2.02 c 2970 35171 1156414 1277333 0 1618 78 98 80 1.99/2.03 c 2980 35319 1160453 1282059 0 1623 90 103 85 1.99/2.03 c 2990 35465 1164823 1286666 0 1627 78 101 82 1.99/2.04 c 3000 35574 1168441 1290539 0 1631 75 92 77 1.99/2.05 c 3010 35677 1171376 1293501 0 1640 71 94 79 1.99/2.05 c 3020 35812 1175296 1297835 0 1644 72 97 83 1.99/2.06 c 3030 35926 1178447 1302243 0 1650 87 95 81 1.99/2.06 c 3040 36041 1182355 1306953 0 1658 81 100 84 1.99/2.07 c 3050 36177 1186401 1310968 0 1662 76 82 72 1.99/2.08 c 3060 36278 1189382 1314334 0 1669 48 92 71 1.99/2.08 c 3070 36389 1192562 1318137 0 1678 78 96 81 1.99/2.09 c 3080 36502 1197013 1323777 0 1683 82 95 77 1.99/2.09 c 3090 36610 1199437 1326466 0 1687 88 93 83 2.09/2.10 c 3100 36730 1203417 1330356 0 1690 72 89 71 2.09/2.11 c 3110 36860 1207761 1335098 0 1697 70 91 73 2.09/2.11 c 3120 36977 1211910 1340400 0 1699 78 101 86 2.09/2.12 c 3130 37086 1215392 1344042 0 1705 77 91 74 2.09/2.13 c 3140 37195 1219320 1348335 0 1712 49 81 65 2.09/2.13 c 3142 37272 1221195 1349486 0 1714 76 76 50 2.09/2.13 c 3150 37376 1223984 1352374 0 1719 69 94 74 2.09/2.14 c 3160 37495 1228615 1358035 0 1722 82 92 79 2.09/2.15 c 3170 37606 1232524 1362619 0 1729 78 92 78 2.09/2.15 c 3180 37716 1235560 1365677 0 1739 71 101 80 2.09/2.16 c 3190 37840 1239189 1369149 0 1747 39 95 77 2.09/2.17 c 3200 37958 1243460 1373297 0 1751 78 88 75 2.09/2.17 c 3210 38066 1246549 1376341 0 1757 87 93 82 2.09/2.18 c 3220 38166 1249734 1379990 0 1758 76 80 70 2.09/2.18 c 3230 38276 1253049 1383321 0 1766 70 93 77 2.09/2.19 c 3240 38395 1257051 1387971 0 1770 76 100 84 2.09/2.20 c 3250 38538 1263355 1395801 0 1776 83 98 81 2.20/2.20 c 3260 38640 1266134 1398943 0 1779 40 91 75 2.20/2.21 c 3270 38741 1269376 1402669 0 1785 59 92 73 2.20/2.22 c 3280 38857 1273650 1408066 0 1788 67 94 79 2.20/2.22 c 3290 38962 1275876 1410086 0 1798 75 96 80 2.20/2.23 c 3300 39065 1278435 1412727 0 1801 75 91 77 2.20/2.23 c 3310 39191 1281681 1416582 0 1803 68 104 86 2.20/2.23 c 3320 39307 1284124 1418861 0 1811 81 101 86 2.20/2.24 c 3330 39419 1287635 1422222 0 1817 78 93 76 2.20/2.25 c 3340 39526 1292401 1427808 0 1821 77 87 76 2.20/2.25 c 3350 39636 1295543 1431632 0 1824 46 93 78 2.20/2.26 c 3360 39757 1299220 1435746 0 1831 72 84 70 2.20/2.27 c 3370 39882 1303471 1440861 0 1836 74 97 79 2.20/2.28 c 3380 40018 1308029 1446787 0 1840 88 95 82 2.20/2.28 c 3390 40127 1311585 1451088 0 1848 80 95 79 2.20/2.29 c 3400 40251 1315573 1455462 0 1856 79 98 81 2.20/2.29 c 3410 40366 1318755 1458519 0 1858 74 91 76 2.20/2.30 c 3420 40482 1322252 1462433 0 1861 76 85 72 2.30/2.31 c 3430 40603 1326393 1466956 0 1865 83 96 80 2.30/2.31 c 3440 40727 1330867 1471919 0 1873 71 98 81 2.30/2.32 c 3450 40835 1334167 1475803 0 1880 78 95 80 2.30/2.33 c 3460 40944 1337290 1479159 0 1884 87 95 85 2.30/2.33 c 3470 41072 1340832 1483288 0 1888 76 97 83 2.30/2.34 c 3480 41184 1343853 1486611 0 1892 77 97 74 2.30/2.34 c 3490 41286 1347551 1490576 0 1895 79 92 79 2.30/2.35 c 3500 41431 1352148 1496184 0 1900 91 101 87 2.30/2.35 c 3510 41538 1354692 1498392 0 1908 79 98 82 2.30/2.36 c 3520 41655 1358708 1502994 0 1916 83 96 81 2.30/2.36 c 3530 41759 1361116 1505272 0 1919 80 90 78 2.30/2.37 c 3540 41879 1365289 1510808 0 1924 89 95 84 2.30/2.38 c 3550 42031 1369580 1516354 0 1931 81 102 86 2.30/2.38 c 3551 42062 1370278 1516721 0 1932 31 31 15 2.30/2.39 c 3560 42180 1373811 1520227 0 1933 89 102 85 2.30/2.39 c 3570 42301 1377578 1524708 0 1935 88 103 85 2.39/2.40 c 3580 42422 1381692 1529260 0 1942 77 100 83 2.39/2.40 c 3590 42529 1384533 1532309 0 1947 69 88 77 2.39/2.41 c 3600 42628 1387427 1535475 0 1949 71 86 73 2.39/2.41 c 3610 42746 1390677 1539241 0 1955 84 100 85 2.39/2.42 c 3620 42858 1394382 1543743 0 1963 81 92 79 2.39/2.43 c 3630 42981 1397488 1546929 0 1970 86 99 85 2.39/2.43 c 3640 43108 1402215 1551403 0 1975 72 94 79 2.39/2.44 c 3650 43226 1404829 1553582 0 1978 94 104 89 2.39/2.45 c 3660 43348 1409119 1558325 0 1984 83 94 79 2.39/2.45 c 3670 43455 1412487 1562090 0 1986 76 90 77 2.39/2.46 c 3680 43585 1417219 1567606 0 1988 84 96 82 2.39/2.47 c 3690 43687 1420659 1571318 0 1991 73 84 71 2.39/2.47 c 3700 43808 1424981 1575988 0 1994 79 90 76 2.39/2.48 c 3710 43912 1427946 1578798 0 1997 74 85 71 2.39/2.48 c 3720 44022 1431767 1582338 0 2004 72 90 76 2.39/2.49 c 3730 44129 1435111 1586224 0 2006 79 93 80 2.39/2.49 c 3740 44250 1438286 1589434 0 2013 79 99 84 2.49/2.50 c 3750 44375 1442825 1594383 0 2018 85 87 78 2.49/2.51 c 3760 44474 1445326 1596840 0 2023 80 89 77 2.49/2.51 c 3770 44598 1449459 1601828 0 2027 76 92 79 2.49/2.52 c 3780 44707 1452486 1604798 0 2032 76 96 78 2.49/2.52 c 3790 44795 1454670 1606859 0 2034 70 74 65 2.49/2.53 c 3800 44923 1460063 1613277 0 2038 84 98 84 2.49/2.54 c 3810 45023 1463732 1617186 0 2048 74 89 75 2.49/2.54 c 3820 45122 1466674 1620048 0 2050 79 85 75 2.49/2.55 c 3830 45236 1470236 1623576 0 2060 76 94 78 2.49/2.56 c 3840 45340 1474491 1628412 0 2064 79 83 74 2.49/2.56 c 3850 45457 1477921 1632031 0 2070 46 95 80 2.49/2.57 c 3860 45569 1481319 1635467 0 2077 83 99 83 2.49/2.57 c 3870 45670 1483647 1637920 0 2082 76 84 71 2.49/2.58 c 3880 45781 1487452 1642150 0 2087 69 93 78 2.49/2.58 c 3890 45894 1491749 1646839 0 2090 79 88 76 2.49/2.59 c 3900 45991 1494289 1649614 0 2100 78 87 75 2.49/2.60 c 3910 46118 1498465 1654355 0 2106 82 94 80 2.59/2.60 c 3920 46220 1502013 1658948 0 2110 82 90 79 2.59/2.61 c 3930 46362 1506316 1663164 0 2113 86 100 84 2.59/2.61 c 3940 46479 1509940 1667234 0 2117 84 98 86 2.59/2.62 c 3950 46588 1513742 1671169 0 2125 65 92 77 2.59/2.63 c 3960 46693 1518064 1675844 0 2135 78 95 77 2.59/2.63 c 3970 46806 1521483 1679272 0 2143 87 100 85 2.59/2.64 c 3980 46928 1525138 1684100 0 2145 90 105 91 2.59/2.65 c 3990 47040 1529093 1688577 0 2148 77 88 75 2.59/2.65 c 4000 47157 1532508 1692326 0 2150 85 96 84 2.59/2.65 c 4001 47210 1533487 1692850 0 2151 53 53 26 2.59/2.66 c 4010 47341 1536961 1696161 0 2155 76 101 79 2.59/2.67 c 4020 47472 1541118 1700811 0 2162 76 100 81 2.59/2.67 c 4030 47583 1544021 1703461 0 2170 83 102 87 2.59/2.68 c 4040 47710 1547422 1706891 0 2178 75 98 77 2.59/2.68 c 4050 47833 1551049 1710855 0 2181 69 89 74 2.59/2.69 c 4060 47937 1554145 1713854 0 2184 86 92 81 2.59/2.69 c 4070 48043 1557041 1716695 0 2191 84 96 84 2.69/2.70 c 4080 48148 1560502 1721161 0 2197 84 92 80 2.69/2.70 c 4090 48260 1563597 1723969 0 2204 79 95 80 2.69/2.71 c 4100 48408 1567783 1728507 0 2206 86 98 83 2.69/2.72 c 4110 48533 1572109 1734250 0 2207 87 100 84 2.69/2.73 c 4120 48679 1578215 1741571 0 2211 79 101 81 2.69/2.73 c 4130 48788 1581337 1744217 0 2221 67 97 77 2.69/2.74 c 4140 48889 1583975 1747701 0 2223 71 87 76 2.69/2.75 c 4150 49006 1587801 1751556 0 2226 83 98 81 2.69/2.75 c 4160 49123 1593303 1757566 0 2231 76 93 79 2.69/2.76 c 4170 49233 1597869 1762521 0 2235 76 88 74 2.69/2.77 c 4180 49339 1600881 1766184 0 2245 84 94 81 2.69/2.78 c 4190 49454 1605986 1772394 0 2249 67 90 74 2.69/2.78 c 4200 49565 1609270 1776499 0 2252 86 96 83 2.69/2.79 c 4210 49672 1612223 1779171 0 2258 82 89 77 2.69/2.80 c 4220 49791 1617090 1784410 0 2262 81 88 76 2.79/2.80 c 4230 49892 1620378 1787750 0 2269 77 90 79 2.79/2.81 c 4240 49999 1624199 1791648 0 2275 75 89 76 2.79/2.81 c 4250 50115 1627842 1795129 0 2279 77 91 77 2.79/2.82 c 4260 50240 1632284 1799509 0 2289 67 95 78 2.79/2.83 c 4270 50351 1635222 1802571 0 2295 76 89 76 2.79/2.83 c 4280 50471 1639272 1806735 0 2302 85 98 82 2.79/2.84 c 4290 50578 1642843 1810808 0 2309 29 94 75 2.79/2.84 c 4300 50674 1645686 1813606 0 2317 70 83 69 2.79/2.85 c 4310 50804 1649806 1818760 0 2323 54 98 82 2.79/2.85 c 4320 50919 1652297 1821181 0 2327 72 88 69 2.79/2.86 c 4330 51025 1655576 1824687 0 2329 85 90 79 2.79/2.87 c 4340 51134 1658892 1828584 0 2332 77 92 78 2.79/2.87 c 4350 51237 1662018 1831568 0 2342 62 94 78 2.79/2.87 c 4360 51349 1664878 1834589 0 2352 43 89 69 2.79/2.88 c 4370 51455 1667559 1837327 0 2361 83 95 81 2.79/2.88 c 4380 51571 1670480 1840333 0 2368 70 99 83 2.79/2.89 c 4390 51676 1673178 1842593 0 2374 60 88 63 2.79/2.89 c 4400 51789 1676201 1845589 0 2383 75 96 81 2.89/2.90 c 4410 51902 1679421 1850305 0 2385 90 95 83 2.89/2.90 c 4420 52020 1682103 1853467 0 2391 71 106 87 2.89/2.91 c 4430 52124 1685901 1857040 0 2396 62 89 72 2.89/2.92 c 4440 52227 1689347 1860989 0 2399 80 87 76 2.89/2.92 c 4450 52335 1692022 1863548 0 2408 80 96 80 2.89/2.93 c 4460 52448 1695707 1867615 0 2413 79 94 79 2.89/2.93 c 4470 52550 1697923 1869594 0 2419 70 87 73 2.89/2.94 c 4480 52678 1702451 1875147 0 2420 86 96 82 2.89/2.94 c 4490 52789 1706229 1879456 0 2424 83 92 80 2.89/2.95 c 4493 52883 1708444 1881093 0 2427 74 92 60 2.89/2.95 c 4500 52990 1711613 1884147 0 2432 82 86 72 2.89/2.96 c 4510 53125 1716823 1889924 0 2435 74 96 81 2.89/2.96 c 4520 53227 1719060 1892313 0 2438 75 91 79 2.89/2.97 c 4530 53335 1723844 1897736 0 2445 75 89 74 2.89/2.98 c 4540 53460 1728361 1902982 0 2449 83 94 82 2.89/2.98 c 4550 53565 1730955 1905619 0 2459 82 96 82 2.89/2.99 c 4560 53679 1735037 1910251 0 2462 80 88 76 2.99/3.00 c 4570 53796 1737609 1912642 0 2471 61 103 83 2.99/3.00 c 4580 53884 1739387 1914015 0 2474 58 60 53 2.99/3.01 c 4590 54007 1744350 1919662 0 2478 80 94 79 2.99/3.01 c 4600 54121 1748058 1923543 0 2480 69 94 77 2.99/3.02 c 4610 54230 1751499 1927430 0 2483 78 89 77 2.99/3.02 c 4620 54338 1754911 1930971 0 2488 74 88 76 2.99/3.03 c 4630 54440 1759737 1937352 0 2493 73 87 73 2.99/3.04 c 4640 54541 1762118 1939820 0 2498 71 83 70 2.99/3.04 c 4650 54652 1765653 1943810 0 2499 85 89 78 2.99/3.05 c 4660 54765 1768506 1947383 0 2503 66 98 78 2.99/3.05 c 4670 54883 1772531 1951670 0 2509 71 88 72 2.99/3.06 c 4680 55023 1776141 1956353 0 2514 82 100 85 2.99/3.07 c 4690 55132 1780002 1960681 0 2523 77 98 77 2.99/3.07 c 4700 55224 1782859 1963853 0 2533 60 83 69 2.99/3.08 c 4710 55338 1787228 1968312 0 2538 78 87 75 2.99/3.09 c 4720 55456 1791343 1972145 0 2543 79 89 76 2.99/3.09 c 4730 55573 1794837 1976615 0 2545 82 87 76 3.09/3.10 c 4740 55690 1798617 1980610 0 2549 73 98 83 3.09/3.10 c 4750 55800 1801804 1984426 0 2557 78 92 77 3.09/3.11 c 4760 55924 1805938 1988595 0 2563 76 97 73 3.09/3.12 c 4770 56034 1808942 1991808 0 2571 76 93 80 3.09/3.12 c 4780 56151 1812349 1995944 0 2578 68 94 76 3.09/3.13 c 4790 56265 1815503 1999701 0 2587 74 99 81 3.09/3.13 c 4800 56364 1819096 2003897 0 2592 55 83 69 3.09/3.14 c 4810 56480 1825452 2011482 0 2595 74 87 71 3.09/3.15 c 4820 56596 1829559 2016487 0 2598 77 88 77 3.09/3.16 c 4830 56687 1832749 2019874 0 2604 76 81 72 3.09/3.16 c 4840 56797 1836574 2024025 0 2611 57 92 76 3.09/3.17 c 4850 56901 1839835 2027109 0 2616 45 92 75 3.09/3.17 c 4860 57008 1842318 2029569 0 2624 54 91 75 3.09/3.18 c 4870 57118 1844954 2032403 0 2632 81 97 82 3.09/3.18 c 4880 57235 1848591 2036108 0 2637 83 89 78 3.09/3.19 c 4890 57354 1852206 2039524 0 2643 85 99 82 3.09/3.19 c 4900 57470 1855846 2043355 0 2650 54 92 78 3.19/3.20 c 4910 57592 1858350 2046347 0 2654 86 103 89 3.19/3.20 c 4920 57720 1861829 2050516 0 2662 75 99 79 3.19/3.21 c 4930 57829 1865475 2054456 0 2669 75 90 75 3.19/3.22 c 4940 57942 1869282 2058864 0 2674 83 90 79 3.19/3.22 c 4950 58050 1872657 2062394 0 2681 78 91 78 3.19/3.23 c 4960 58154 1875045 2064851 0 2690 82 95 81 3.19/3.23 c 4970 58273 1879727 2069667 0 2699 67 87 69 3.19/3.24 c 4980 58381 1882218 2072200 0 2705 76 89 76 3.19/3.24 c 4990 58479 1885126 2075478 0 2709 69 84 73 3.19/3.26 c 5035 58700 1893631 2087945 0 2713 81 106 95 3.39/3.45 c 5631 60297 1995524 2252687 0 2733 78 98 90 3.59/3.66 c 6286 62429 2102720 2444308 0 2739 82 109 96 3.89/3.98 c 7006 64685 2266851 2732638 0 2755 75 104 91 4.19/4.21 c 7798 67491 2389298 2895297 0 2769 66 100 85 4.39/4.45 c 8669 69687 2514021 3123219 0 2789 77 102 91 4.89/4.90 c 9627 73364 2747846 3472463 0 2796 75 101 86 5.19/5.26 c 10680 76445 2938097 3785462 0 2818 63 115 97 5.59/5.65 c 11838 80316 3148940 4101912 0 2826 74 101 85 6.09/6.12 c 13111 84838 3394491 4477030 0 2840 70 109 90 6.49/6.51 c 14511 88590 3591636 4852904 0 2847 78 107 95 7.19/7.22 c 16051 93666 3962270 5433749 0 2859 74 107 90 7.69/7.74 c 17745 97849 4226408 5921762 0 2866 78 113 93 8.49/8.50 c 19608 103975 4625963 6556554 0 2875 77 106 92 8.99/9.04 c 21657 109539 4910719 7065894 0 2899 72 107 94 9.59/9.65 c 23910 115112 5218429 7612454 0 2916 72 104 90 10.49/10.59 c 26388 124343 5706238 8453604 0 2922 65 108 93 11.69/11.74 c 29113 133456 6294392 9407800 0 2931 72 104 87 12.79/12.88 c 32110 144898 6878867 10381768 0 2946 73 114 95 13.89/13.95 c 35406 153778 7433017 11326911 0 2951 70 106 93 15.49/15.52 c 39031 167119 8259122 12610967 0 2961 74 104 88 16.89/16.98 c 43018 180444 9026349 13856004 0 2976 74 105 90 17.79/17.89 c 47403 190286 9502704 14725340 0 2989 72 110 98 19.69/19.78 c 52226 206112 10469237 16221366 0 3000 79 108 94 21.59/21.64 c 57531 225561 11454820 17792578 0 3012 72 107 88 23.69/23.72 c 63366 242202 12531316 19786639 0 3030 72 109 92 25.39/25.47 c 69784 261393 13433685 21255969 0 3041 75 104 88 28.09/28.17 c 76843 281831 14826165 23507269 0 3056 74 112 92 32.09/32.19 c 84607 311507 16889816 26727909 0 3062 73 110 90 34.79/34.84 c 93147 334800 18258676 29103436 0 3073 66 111 93 37.39/37.45 c 102541 357175 19604612 31542409 0 3101 76 117 92 40.98/41.08 c 112874 391094 21474301 34779831 0 3117 72 113 92 45.58/45.65 c 124240 429662 23851714 38211535 0 3140 72 110 87 50.18/50.25 c 136742 467702 26251746 42257562 0 3160 70 106 88 55.98/56.04 c 150494 516051 29286339 46906687 0 3174 51 110 88 59.98/60.06 c 165621 554936 31386497 50535552 0 3205 70 113 93 66.38/66.49 c 182260 611152 34718575 56016328 0 3222 69 119 92 71.68/71.71 c 200562 662634 37367059 61026120 0 3248 75 118 101 79.19/79.23 c 220694 722539 41295538 67824919 0 3265 77 110 93 86.68/86.71 c 242839 785200 45165044 74187135 0 3279 77 119 101 93.88/93.91 c 267198 849574 48890202 80803234 0 3299 79 119 99 99.78/99.86 c 293992 909777 51993107 87198085 0 3321 71 123 102 106.88/106.94 c 323465 973336 55637614 94186254 0 3343 80 116 100 115.08/115.13 c 355885 1064464 59793448 102583898 0 3363 83 121 104 126.18/126.27 c 391547 1174663 65597937 112555277 0 3385 70 113 93 137.08/137.12 c 430775 1274506 71316418 122589222 0 3407 56 116 94 152.28/152.32 c 473925 1415993 79280610 134977029 0 3422 72 114 93 165.68/165.79 c 521390 1537130 86272284 146942447 0 3446 69 112 92 181.98/182.02 c 573601 1688458 94595702 162326471 0 3461 71 110 92 201.18/201.28 c 631033 1853986 104580208 179862473 0 3475 76 116 95 219.48/219.58 c 694208 2023695 114173532 196100805 0 3498 75 121 95 241.78/241.88 c 763700 2200569 125728579 216132879 0 3529 44 112 93 274.08/274.13 c 840141 2491599 142466665 244671342 0 3543 68 117 92 296.48/296.55 c 924226 2708938 154197820 268468699 0 3569 54 116 94 331.18/331.26 c 1016719 2991208 172101890 298477293 0 3587 75 120 96 367.88/367.93 c 1118461 3352426 191094768 331926942 0 3603 68 115 91 403.58/403.64 c 1230377 3663075 209525471 364251296 0 3621 75 116 95 450.78/450.82 c 1353484 4058421 233867336 402298728 0 3635 69 115 92 487.47/487.56 c 1488901 4385245 252833967 437567500 0 3670 69 110 92 531.39/531.41 c 1637859 4815597 275921443 473534418 0 3692 65 109 87 586.78/586.83 c 1801712 5294613 304170738 523142068 0 3715 68 114 91 632.38/632.48 c 1981950 5789835 327724729 569987871 0 3738 62 114 95 708.48/708.54 c 2180211 6452402 367300677 633168125 0 3760 66 120 91 786.58/786.67 c 2398298 7075840 407301530 698801077 0 3789 69 120 92 871.98/872.01 c 2638193 7793746 451179809 778384644 0 3812 73 121 97 944.27/944.37 c 2902077 8440855 488557615 847112592 0 3842 69 118 99 1035.77/1035.89 c 3192349 9214015 536160901 926210876 0 3855 71 120 95 1137.97/1138.02 c 3511648 10002098 589227775 1016130655 0 3878 65 117 94 1242.27/1242.34 c 3862876 10882267 642592519 1113772911 0 3902 66 118 91 1330.06/1330.13 c 4249226 11796704 688707271 1194224816 0 3929 70 115 93 1499.16/1499.21 c 4674211 13060496 776303506 1333371162 0 3947 73 120 94 1642.56/1642.65 c 5141694 14288734 850281273 1463813404 0 3968 68 109 89 1846.96/1847.02 c 5655925 16012134 956564243 1634378575 0 4006 69 116 90 1990.15/1990.23 c 6221579 17458090 1032258141 1759584350 0 4025 67 113 91 2244.64/2244.73 c 6843798 19591726 1163193122 1972399551 0 4040 69 117 90
One s line expected
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4239939-1500623786/watcher-4239939-1500623786 -o /tmp/evaluation-result-4239939-1500623786/solver-4239939-1500623786 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node113-1500623784-4669 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4239939-1500623786.xml pid=4697 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 0.00 0.01 0.05 3/188 4700 /proc/meminfo: memFree=30996980/32770624 swapFree=6644/366248 [pid=4700] ppid=4697 vsize=27124 CPUtime=0 cores=1,3,5,7 /proc/4700/stat : 4700 (cosoco) R 4697 4700 4637 0 -1 4202496 1011 0 0 0 0 0 0 0 20 0 1 0 17010537 27774976 832 33554432000 4194304 5970956 140727929348816 140727929347432 5668342 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18554880 140727929353404 140727929353539 140727929353539 140727929356238 0 /proc/4700/statm: 6781 832 716 434 0 145 0 [startup+0.100167 s] /proc/loadavg: 0.00 0.01 0.05 3/188 4700 /proc/meminfo: memFree=30996980/32770624 swapFree=6644/366248 [pid=4700] ppid=4697 vsize=32784 CPUtime=0.09 cores=1,3,5,7 /proc/4700/stat : 4700 (cosoco) R 4697 4700 4637 0 -1 4202496 1445 0 0 0 9 0 0 0 20 0 1 0 17010537 33570816 1228 33554432000 4194304 5970956 140727929348816 140727929346152 4974704 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18554880 140727929353404 140727929353539 140727929353539 140727929356238 0 /proc/4700/statm: 8196 1228 750 434 0 1560 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 32784 [startup+0.200299 s] /proc/loadavg: 0.00 0.01 0.05 3/188 4700 /proc/meminfo: memFree=30996980/32770624 swapFree=6644/366248 [pid=4700] ppid=4697 vsize=32784 CPUtime=0.19 cores=1,3,5,7 /proc/4700/stat : 4700 (cosoco) R 4697 4700 4637 0 -1 4202496 1456 0 0 0 19 0 0 0 20 0 1 0 17010537 33570816 1294 33554432000 4194304 5970956 140727929348816 140727929346152 139882546474080 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18554880 140727929353404 140727929353539 140727929353539 140727929356238 0 /proc/4700/statm: 8196 1294 774 434 0 1560 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 32784 [startup+0.300252 s] /proc/loadavg: 0.00 0.01 0.05 3/188 4700 /proc/meminfo: memFree=30996980/32770624 swapFree=6644/366248 [pid=4700] ppid=4697 vsize=32784 CPUtime=0.29 cores=1,3,5,7 /proc/4700/stat : 4700 (cosoco) R 4697 4700 4637 0 -1 4202496 1465 0 0 0 29 0 0 0 20 0 1 0 17010537 33570816 1294 33554432000 4194304 5970956 140727929348816 140727929346152 4977807 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18554880 140727929353404 140727929353539 140727929353539 140727929356238 0 /proc/4700/statm: 8196 1294 774 434 0 1560 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 32784 [startup+0.700225 s] /proc/loadavg: 0.00 0.01 0.05 3/188 4700 /proc/meminfo: memFree=30996980/32770624 swapFree=6644/366248 [pid=4700] ppid=4697 vsize=32784 CPUtime=0.69 cores=1,3,5,7 /proc/4700/stat : 4700 (cosoco) R 4697 4700 4637 0 -1 4202496 1500 0 0 0 69 0 0 0 20 0 1 0 17010537 33570816 1294 33554432000 4194304 5970956 140727929348816 140727929346152 4976701 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18554880 140727929353404 140727929353539 140727929353539 140727929356238 0 /proc/4700/statm: 8196 1294 774 434 0 1560 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 32784 [startup+1.50022 s] /proc/loadavg: 0.00 0.01 0.05 3/189 4701 /proc/meminfo: memFree=30491992/32770624 swapFree=6644/366068 [pid=4700] ppid=4697 vsize=32912 CPUtime=1.49 cores=1,3,5,7 /proc/4700/stat : 4700 (cosoco) R 4697 4700 4637 0 -1 4202496 1563 0 0 0 149 0 0 0 20 0 1 0 17010537 33701888 1380 33554432000 4194304 5970956 140727929348816 140727929346152 4974720 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18554880 140727929353404 140727929353539 140727929353539 140727929356238 0 /proc/4700/statm: 8228 1380 774 434 0 1592 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 32912 [startup+3.10022 s] /proc/loadavg: 0.00 0.01 0.05 3/189 4701 /proc/meminfo: memFree=30021784/32770624 swapFree=6644/366068 [pid=4700] ppid=4697 vsize=32912 CPUtime=3.09 cores=1,3,5,7 /proc/4700/stat : 4700 (cosoco) R 4697 4700 4637 0 -1 4202496 2236 0 0 0 309 0 0 0 20 0 1 0 17010537 33701888 1499 33554432000 4194304 5970956 140727929348816 140727929346152 5322292 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18554880 140727929353404 140727929353539 140727929353539 140727929356238 0 /proc/4700/statm: 8228 1499 774 434 0 1592 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32912 [startup+6.30022 s] /proc/loadavg: 0.24 0.06 0.06 3/189 4701 /proc/meminfo: memFree=28653800/32770624 swapFree=6644/366080 [pid=4700] ppid=4697 vsize=32912 CPUtime=6.29 cores=1,3,5,7 /proc/4700/stat : 4700 (cosoco) R 4697 4700 4637 0 -1 4202496 2908 0 0 0 629 0 0 0 20 0 1 0 17010537 33701888 1559 33554432000 4194304 5970956 140727929348816 140727929346152 5098896 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18554880 140727929353404 140727929353539 140727929353539 140727929356238 0 /proc/4700/statm: 8228 1559 774 434 0 1592 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32912 [startup+12.7002 s] /proc/loadavg: 0.38 0.10 0.07 3/189 4701 /proc/meminfo: memFree=26212912/32770624 swapFree=6644/366088 [pid=4700] ppid=4697 vsize=32912 CPUtime=12.69 cores=1,3,5,7 /proc/4700/stat : 4700 (cosoco) R 4697 4700 4637 0 -1 4202496 3577 0 0 0 1269 0 0 0 20 0 1 0 17010537 33701888 1570 33554432000 4194304 5970956 140727929348816 140727929346152 4977811 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18554880 140727929353404 140727929353539 140727929353539 140727929356238 0 /proc/4700/statm: 8228 1570 774 434 0 1592 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32912 [startup+25.5003 s] /proc/loadavg: 0.74 0.19 0.10 3/189 4701 /proc/meminfo: memFree=20780896/32770624 swapFree=6644/366104 [pid=4700] ppid=4697 vsize=32912 CPUtime=25.49 cores=1,3,5,7 /proc/4700/stat : 4700 (cosoco) R 4697 4700 4637 0 -1 4202496 4895 0 0 0 2549 0 0 0 20 0 1 0 17010537 33701888 1584 33554432000 4194304 5970956 140727929348816 140727929346152 5272832 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18554880 140727929353404 140727929353539 140727929353539 140727929356238 0 /proc/4700/statm: 8228 1584 774 434 0 1592 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 32912 [startup+51.1002 s] /proc/loadavg: 1.65 0.45 0.19 3/189 4766 /proc/meminfo: memFree=30409724/32770624 swapFree=6644/368252 [pid=4700] ppid=4697 vsize=32912 CPUtime=51.08 cores=1,3,5,7 /proc/4700/stat : 4700 (cosoco) R 4697 4700 4637 0 -1 4202496 5618 0 0 0 5108 0 0 0 20 0 1 0 17010537 33701888 1593 33554432000 4194304 5970956 140727929348816 140727929346152 4974124 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18554880 140727929353404 140727929353539 140727929353539 140727929356238 0 /proc/4700/statm: 8228 1593 774 434 0 1592 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 32912 [startup+102.3 s] /proc/loadavg: 1.85 0.69 0.29 3/189 4768 /proc/meminfo: memFree=30407620/32770624 swapFree=6644/368352 [pid=4700] ppid=4697 vsize=32912 CPUtime=102.29 cores=1,3,5,7 /proc/4700/stat : 4700 (cosoco) R 4697 4700 4637 0 -1 4202496 6334 0 0 0 10229 0 0 0 20 0 1 0 17010537 33701888 1608 33554432000 4194304 5970956 140727929348816 140727929346152 4974608 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18554880 140727929353404 140727929353539 140727929353539 140727929356238 0 /proc/4700/statm: 8228 1608 774 434 0 1592 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 32912 [startup+162.3 s] /proc/loadavg: 1.94 0.93 0.39 3/189 4769 /proc/meminfo: memFree=30404668/32770624 swapFree=6644/368420 [pid=4700] ppid=4697 vsize=32912 CPUtime=162.28 cores=1,3,5,7 /proc/4700/stat : 4700 (cosoco) R 4697 4700 4637 0 -1 4202496 7055 0 0 0 16228 0 0 0 20 0 1 0 17010537 33701888 1623 33554432000 4194304 5970956 140727929348816 140727929346152 4974128 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18554880 140727929353404 140727929353539 140727929353539 140727929356238 0 /proc/4700/statm: 8228 1623 774 434 0 1592 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 32912 [startup+222.306 s] /proc/loadavg: 1.98 1.12 0.49 3/190 4778 /proc/meminfo: memFree=30400820/32770624 swapFree=6644/368480 [pid=4700] ppid=4697 vsize=33040 CPUtime=222.28 cores=1,3,5,7 /proc/4700/stat : 4700 (cosoco) R 4697 4700 4637 0 -1 4202496 7774 0 0 0 22228 0 0 0 20 0 1 0 17010537 33832960 1630 33554432000 4194304 5970956 140727929348816 140727929346152 4976751 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18554880 140727929353404 140727929353539 140727929353539 140727929356238 0 /proc/4700/statm: 8260 1630 774 434 0 1624 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 33040 [startup+282.3 s] /proc/loadavg: 1.99 1.28 0.59 3/191 4802 /proc/meminfo: memFree=30396624/32770624 swapFree=6644/368532 [pid=4700] ppid=4697 vsize=33040 CPUtime=282.28 cores=1,3,5,7 /proc/4700/stat : 4700 (cosoco) R 4697 4700 4637 0 -1 4202496 8482 0 0 0 28228 0 0 0 20 0 1 0 17010537 33832960 1636 33554432000 4194304 5970956 140727929348816 140727929346152 4974935 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18554880 140727929353404 140727929353539 140727929353539 140727929356238 0 /proc/4700/statm: 8260 1636 774 434 0 1624 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 33040 [startup+342.3 s] /proc/loadavg: 2.00 1.41 0.68 3/189 4803 /proc/meminfo: memFree=30392796/32770624 swapFree=6644/368596 [pid=4700] ppid=4697 vsize=33040 CPUtime=342.28 cores=1,3,5,7 /proc/4700/stat : 4700 (cosoco) R 4697 4700 4637 0 -1 4202496 9198 0 0 0 34228 0 0 0 20 0 1 0 17010537 33832960 1641 33554432000 4194304 5970956 140727929348816 140727929346152 4977123 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18554880 140727929353404 140727929353539 140727929353539 140727929356238 0 /proc/4700/statm: 8260 1641 774 434 0 1624 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 33040 [startup+402.3 s] /proc/loadavg: 2.22 1.59 0.78 3/189 4804 /proc/meminfo: memFree=30390580/32770624 swapFree=6644/368636 [pid=4700] ppid=4697 vsize=33040 CPUtime=402.28 cores=1,3,5,7 /proc/4700/stat : 4700 (cosoco) R 4697 4700 4637 0 -1 4202496 9908 0 0 0 40228 0 0 0 20 0 1 0 17010537 33832960 1643 33554432000 4194304 5970956 140727929348816 140727929346152 5093165 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18554880 140727929353404 140727929353539 140727929353539 140727929356238 0 /proc/4700/statm: 8260 1643 774 434 0 1624 0 Current children cumulated CPU time (s) 402.28 Current children cumulated vsize (KiB) 33040 [startup+462.3 s] /proc/loadavg: 2.08 1.67 0.86 3/189 4805 /proc/meminfo: memFree=30390624/32770624 swapFree=6644/368672 [pid=4700] ppid=4697 vsize=33040 CPUtime=462.27 cores=1,3,5,7 /proc/4700/stat : 4700 (cosoco) R 4697 4700 4637 0 -1 4202496 10591 0 0 0 46227 0 0 0 20 0 1 0 17010537 33832960 1646 33554432000 4194304 5970956 140727929348816 140727929346152 4977045 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18554880 140727929353404 140727929353539 140727929353539 140727929356238 0 /proc/4700/statm: 8260 1646 774 434 0 1624 0 Current children cumulated CPU time (s) 462.27 Current children cumulated vsize (KiB) 33040 [startup+522.3 s] /proc/loadavg: 2.03 1.73 0.93 3/188 4806 /proc/meminfo: memFree=30390624/32770624 swapFree=6644/368716 [pid=4700] ppid=4697 vsize=33040 CPUtime=522.28 cores=1,3,5,7 /proc/4700/stat : 4700 (cosoco) R 4697 4700 4637 0 -1 4202496 11277 0 0 0 52227 1 0 0 20 0 1 0 17010537 33832960 1649 33554432000 4194304 5970956 140727929348816 140727929346152 4974728 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18554880 140727929353404 140727929353539 140727929353539 140727929356238 0 /proc/4700/statm: 8260 1649 774 434 0 1624 0 Current children cumulated CPU time (s) 522.28 Current children cumulated vsize (KiB) 33040 [startup+582.3 s] /proc/loadavg: 2.01 1.78 1.00 3/187 4807 /proc/meminfo: memFree=30390948/32770624 swapFree=6644/368760 [pid=4700] ppid=4697 vsize=33040 CPUtime=582.28 cores=1,3,5,7 /proc/4700/stat : 4700 (cosoco) R 4697 4700 4637 0 -1 4202496 11857 0 0 0 58227 1 0 0 20 0 1 0 17010537 33832960 1650 33554432000 4194304 5970956 140727929348816 140727929346152 5327134 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18554880 140727929353404 140727929353539 140727929353539 140727929356238 0 /proc/4700/statm: 8260 1650 774 434 0 1624 0 Current children cumulated CPU time (s) 582.28 Current children cumulated vsize (KiB) 33040 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.01 2.02 1.67 3/187 4838 /proc/meminfo: memFree=30383508/32770624 swapFree=6644/369392 [pid=4700] ppid=4697 vsize=33040 CPUtime=1542.26 cores=1,3,5,7 /proc/4700/stat : 4700 (cosoco) R 4697 4700 4637 0 -1 4202496 22141 0 0 0 154225 1 0 0 20 0 1 0 17010537 33832960 1675 33554432000 4194304 5970956 140727929348816 140727929346152 4974919 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18554880 140727929353404 140727929353539 140727929353539 140727929356238 0 /proc/4700/statm: 8260 1675 774 434 0 1624 0 Current children cumulated CPU time (s) 1542.26 Current children cumulated vsize (KiB) 33040 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 1.69 3/187 4839 /proc/meminfo: memFree=30383516/32770624 swapFree=6644/369428 [pid=4700] ppid=4697 vsize=33040 CPUtime=1602.26 cores=1,3,5,7 /proc/4700/stat : 4700 (cosoco) R 4697 4700 4637 0 -1 4202496 22696 0 0 0 160225 1 0 0 20 0 1 0 17010537 33832960 1675 33554432000 4194304 5970956 140727929348816 140727929346152 4974128 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18554880 140727929353404 140727929353539 140727929353539 140727929356238 0 /proc/4700/statm: 8260 1675 774 434 0 1624 0 Current children cumulated CPU time (s) 1602.26 Current children cumulated vsize (KiB) 33040 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 1.71 3/187 4840 /proc/meminfo: memFree=30383516/32770624 swapFree=6644/369456 [pid=4700] ppid=4697 vsize=33040 CPUtime=1662.26 cores=1,3,5,7 /proc/4700/stat : 4700 (cosoco) R 4697 4700 4637 0 -1 4202496 23453 0 0 0 166225 1 0 0 20 0 1 0 17010537 33832960 1676 33554432000 4194304 5970956 140727929348816 140727929346152 4976701 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18554880 140727929353404 140727929353539 140727929353539 140727929356238 0 /proc/4700/statm: 8260 1676 774 434 0 1624 0 Current children cumulated CPU time (s) 1662.26 Current children cumulated vsize (KiB) 33040 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 1.72 3/187 4842 /proc/meminfo: memFree=30383632/32770624 swapFree=6644/369500 [pid=4700] ppid=4697 vsize=33040 CPUtime=1722.26 cores=1,3,5,7 /proc/4700/stat : 4700 (cosoco) R 4697 4700 4637 0 -1 4202496 23941 0 0 0 172225 1 0 0 20 0 1 0 17010537 33832960 1676 33554432000 4194304 5970956 140727929348816 140727929346152 4977600 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18554880 140727929353404 140727929353539 140727929353539 140727929356238 0 /proc/4700/statm: 8260 1676 774 434 0 1624 0 Current children cumulated CPU time (s) 1722.26 Current children cumulated vsize (KiB) 33040 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 1.74 3/187 4843 /proc/meminfo: memFree=30383632/32770624 swapFree=6644/369532 [pid=4700] ppid=4697 vsize=33040 CPUtime=1782.25 cores=1,3,5,7 /proc/4700/stat : 4700 (cosoco) R 4697 4700 4637 0 -1 4202496 24406 0 0 0 178224 1 0 0 20 0 1 0 17010537 33832960 1676 33554432000 4194304 5970956 140727929348816 140727929346152 4977104 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18554880 140727929353404 140727929353539 140727929353539 140727929356238 0 /proc/4700/statm: 8260 1676 774 434 0 1624 0 Current children cumulated CPU time (s) 1782.25 Current children cumulated vsize (KiB) 33040 [startup+1842.3 s] /proc/loadavg: 2.00 2.01 1.76 3/187 4844 /proc/meminfo: memFree=30383384/32770624 swapFree=6644/369568 [pid=4700] ppid=4697 vsize=33040 CPUtime=1842.25 cores=1,3,5,7 /proc/4700/stat : 4700 (cosoco) R 4697 4700 4637 0 -1 4202496 24855 0 0 0 184224 1 0 0 20 0 1 0 17010537 33832960 1676 33554432000 4194304 5970956 140727929348816 140727929346152 4974152 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18554880 140727929353404 140727929353539 140727929353539 140727929356238 0 /proc/4700/statm: 8260 1676 774 434 0 1624 0 Current children cumulated CPU time (s) 1842.25 Current children cumulated vsize (KiB) 33040 [startup+1902.3 s] /proc/loadavg: 2.14 2.06 1.79 3/187 4846 /proc/meminfo: memFree=30383212/32770624 swapFree=6644/369608 [pid=4700] ppid=4697 vsize=33040 CPUtime=1902.25 cores=1,3,5,7 /proc/4700/stat : 4700 (cosoco) R 4697 4700 4637 0 -1 4202496 25491 0 0 0 190224 1 0 0 20 0 1 0 17010537 33832960 1680 33554432000 4194304 5970956 140727929348816 140727929346152 4976736 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18554880 140727929353404 140727929353539 140727929353539 140727929356238 0 /proc/4700/statm: 8260 1680 774 434 0 1624 0 Current children cumulated CPU time (s) 1902.25 Current children cumulated vsize (KiB) 33040 [startup+1962.3 s] /proc/loadavg: 2.05 2.04 1.80 3/187 4847 /proc/meminfo: memFree=30383460/32770624 swapFree=6644/369636 [pid=4700] ppid=4697 vsize=33040 CPUtime=1962.25 cores=1,3,5,7 /proc/4700/stat : 4700 (cosoco) R 4697 4700 4637 0 -1 4202496 26027 0 0 0 196224 1 0 0 20 0 1 0 17010537 33832960 1680 33554432000 4194304 5970956 140727929348816 140727929346152 4978402 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18554880 140727929353404 140727929353539 140727929353539 140727929356238 0 /proc/4700/statm: 8260 1680 774 434 0 1624 0 Current children cumulated CPU time (s) 1962.25 Current children cumulated vsize (KiB) 33040 [startup+2022.3 s] /proc/loadavg: 2.02 2.04 1.81 3/188 4856 /proc/meminfo: memFree=30382532/32770624 swapFree=6644/369680 [pid=4700] ppid=4697 vsize=33040 CPUtime=2022.25 cores=1,3,5,7 /proc/4700/stat : 4700 (cosoco) R 4697 4700 4637 0 -1 4202496 26780 0 0 0 202224 1 0 0 20 0 1 0 17010537 33832960 1682 33554432000 4194304 5970956 140727929348816 140727929346152 4978392 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18554880 140727929353404 140727929353539 140727929353539 140727929356238 0 /proc/4700/statm: 8260 1682 774 434 0 1624 0 Current children cumulated CPU time (s) 2022.25 Current children cumulated vsize (KiB) 33040 [startup+2082.3 s] /proc/loadavg: 2.01 2.03 1.82 3/188 4857 /proc/meminfo: memFree=30382664/32770624 swapFree=6644/369720 [pid=4700] ppid=4697 vsize=33040 CPUtime=2082.25 cores=1,3,5,7 /proc/4700/stat : 4700 (cosoco) R 4697 4700 4637 0 -1 4202496 27402 0 0 0 208224 1 0 0 20 0 1 0 17010537 33832960 1682 33554432000 4194304 5970956 140727929348816 140727929346152 5273280 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18554880 140727929353404 140727929353539 140727929353539 140727929356238 0 /proc/4700/statm: 8260 1682 774 434 0 1624 0 Current children cumulated CPU time (s) 2082.25 Current children cumulated vsize (KiB) 33040 [startup+2142.3 s] /proc/loadavg: 2.00 2.03 1.84 3/188 4858 /proc/meminfo: memFree=30382664/32770624 swapFree=6644/369756 [pid=4700] ppid=4697 vsize=33040 CPUtime=2142.25 cores=1,3,5,7 /proc/4700/stat : 4700 (cosoco) R 4697 4700 4637 0 -1 4202496 28010 0 0 0 214224 1 0 0 20 0 1 0 17010537 33832960 1682 33554432000 4194304 5970956 140727929348816 140727929346152 4976751 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18554880 140727929353404 140727929353539 140727929353539 140727929356238 0 /proc/4700/statm: 8260 1682 774 434 0 1624 0 Current children cumulated CPU time (s) 2142.25 Current children cumulated vsize (KiB) 33040 [startup+2202.31 s] /proc/loadavg: 2.00 2.02 1.85 3/188 4859 /proc/meminfo: memFree=30382904/32770624 swapFree=6644/369784 [pid=4700] ppid=4697 vsize=33040 CPUtime=2202.25 cores=1,3,5,7 /proc/4700/stat : 4700 (cosoco) R 4697 4700 4637 0 -1 4202496 28661 0 0 0 220224 1 0 0 20 0 1 0 17010537 33832960 1682 33554432000 4194304 5970956 140727929348816 140727929346152 4977120 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18554880 140727929353404 140727929353539 140727929353539 140727929356238 0 /proc/4700/statm: 8260 1682 774 434 0 1624 0 Current children cumulated CPU time (s) 2202.25 Current children cumulated vsize (KiB) 33040 [startup+2262.3 s] /proc/loadavg: 2.00 2.01 1.86 3/188 4860 /proc/meminfo: memFree=30382920/32770624 swapFree=6644/369820 [pid=4700] ppid=4697 vsize=33040 CPUtime=2262.24 cores=1,3,5,7 /proc/4700/stat : 4700 (cosoco) R 4697 4700 4637 0 -1 4202496 29416 0 0 0 226223 1 0 0 20 0 1 0 17010537 33832960 1683 33554432000 4194304 5970956 140727929348816 140727929346152 4974251 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18554880 140727929353404 140727929353539 140727929353539 140727929356238 0 /proc/4700/statm: 8260 1683 774 434 0 1624 0 Current children cumulated CPU time (s) 2262.24 Current children cumulated vsize (KiB) 33040 [startup+2322.3 s] /proc/loadavg: 2.00 2.01 1.87 3/187 4861 /proc/meminfo: memFree=30383004/32770624 swapFree=6644/369860 [pid=4700] ppid=4697 vsize=33040 CPUtime=2322.24 cores=1,3,5,7 /proc/4700/stat : 4700 (cosoco) R 4697 4700 4637 0 -1 4202496 30020 0 0 0 232223 1 0 0 20 0 1 0 17010537 33832960 1683 33554432000 4194304 5970956 140727929348816 140727929346152 4974704 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18554880 140727929353404 140727929353539 140727929353539 140727929356238 0 /proc/4700/statm: 8260 1683 774 434 0 1624 0 Current children cumulated CPU time (s) 2322.24 Current children cumulated vsize (KiB) 33040 [startup+2382.3 s] /proc/loadavg: 2.16 2.06 1.89 3/187 4862 /proc/meminfo: memFree=30382880/32770624 swapFree=6644/369888 [pid=4700] ppid=4697 vsize=33040 CPUtime=2382.24 cores=1,3,5,7 /proc/4700/stat : 4700 (cosoco) R 4697 4700 4637 0 -1 4202496 30628 0 0 0 238223 1 0 0 20 0 1 0 17010537 33832960 1683 33554432000 4194304 5970956 140727929348816 140727929346152 4976717 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18554880 140727929353404 140727929353539 140727929353539 140727929356238 0 /proc/4700/statm: 8260 1683 774 434 0 1624 0 Current children cumulated CPU time (s) 2382.24 Current children cumulated vsize (KiB) 33040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.1 s] /proc/loadavg: 2.12 2.06 1.89 3/187 4862 /proc/meminfo: memFree=30382880/32770624 swapFree=6644/369896 [pid=4700] ppid=4697 vsize=33040 CPUtime=2400.04 cores=1,3,5,7 /proc/4700/stat : 4700 (cosoco) R 4697 4700 4637 0 -1 4202496 31118 0 0 0 240003 1 0 0 20 0 1 0 17010537 33832960 1683 33554432000 4194304 5970956 140727929348816 140727929346152 4974720 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18554880 140727929353404 140727929353539 140727929353539 140727929356238 0 /proc/4700/statm: 8260 1683 774 434 0 1624 0 Current children cumulated CPU time (s) 2400.04 Current children cumulated vsize (KiB) 33040 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 4700 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.1 s] /proc/loadavg: 2.12 2.06 1.89 3/187 4862 /proc/meminfo: memFree=30382880/32770624 swapFree=6644/369896 [pid=4700] ppid=4697 vsize=33040 CPUtime=2400.04 cores=1,3,5,7 /proc/4700/stat : 4700 (cosoco) R 4697 4700 4637 0 -1 4202496 31118 0 0 0 240003 1 0 0 20 0 1 0 17010537 33832960 1683 33554432000 4194304 5970956 140727929348816 140727929346152 4974720 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18554880 140727929353404 140727929353539 140727929353539 140727929356238 0 /proc/4700/statm: 8260 1683 774 434 0 1624 0 Current children cumulated CPU time (s) 2400.04 Current children cumulated vsize (KiB) 33040 Child status: 1 Real time (s): 2400.1 CPU time (s): 2400.05 CPU user time (s): 2400.03 CPU system time (s): 0.018999 CPU usage (%): 99.998 Max. virtual memory (cumulated for all children) (KiB): 33040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.03 system time used= 0.018999 maximum resident set size= 6776 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 31145 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= 120662 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.28923 second user time and 8.37505 second system time The end
Begin job on node113 at 2017-07-21 09:56:26 IDJOB=4239939 IDBENCH=115875 IDSOLVER=2621 FILE ID=node113/4239939-1500623786 RUNJOBID= node113-1500623784-4669 PBS_JOBID= 20623018 Free space on /tmp= 62020 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/ColouredQueens/ColouredQueens-m1-s1/ColouredQueens-14.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4239939-1500623786/watcher-4239939-1500623786 -o /tmp/evaluation-result-4239939-1500623786/solver-4239939-1500623786 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node113-1500623784-4669 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4239939-1500623786.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= eb742fbc5fe115028f4ee34ab4b949cf RANDOM SEED=759137286 node113.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 1600.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.03 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 : 1600.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 : 1600.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.03 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 : 1600.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.03 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 : 1600.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 : 1600.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.03 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 : 1600.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: 31008876 kB MemAvailable: 31497072 kB Buffers: 154232 kB Cached: 614800 kB SwapCached: 0 kB Active: 965540 kB Inactive: 374904 kB Active(anon): 574280 kB Inactive(anon): 8660 kB Active(file): 391260 kB Inactive(file): 366244 kB Unevictable: 6644 kB Mlocked: 6644 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 4808 kB Writeback: 4 kB AnonPages: 567776 kB Mapped: 34620 kB Shmem: 8848 kB Slab: 117780 kB SReclaimable: 93052 kB SUnreclaim: 24728 kB KernelStack: 3328 kB PageTables: 6040 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1030732 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 14336 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 62016 MiB End job on node113 at 2017-07-21 10:36:26