| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-sat 1.12 | ? (TO) | 2519.74 | 2520.01 |
| Name | Langford/Langford-m2-s1/ LangfordBin-30.xml |
| MD5SUM | cfab102c91084e040090bf0c1bc6cb0b |
| 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 | 120 |
| Number of constraints | 90 |
| Number of domains | 2 |
| Minimum domain size | 30 |
| Maximum domain size | 60 |
| Distribution of domain sizes | [{"size":30,"count":60},{"size":60,"count":60}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 60 |
| Distribution of variable degrees | [{"degree":2,"count":60},{"degree":60,"count":60}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 61 |
| Distribution of constraint arities | [{"arity":2,"count":30},{"arity":61,"count":60}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 30 |
| Distribution of constraint types | [{"type":"intension","count":30},{"type":"element","count":60}] |
| Optimization problem | NO |
| Type of objective |
0.04/0.11 c SAT : Variables: 5400 -- Clauses: 132420 0.04/0.11 c root propagations : 990 0.04/0.11 c restarts enabled, print stats at every restarts 0.04/0.11 c 0.04/0.11 c 0.04/0.11 c 0.04/0.11 c This is cosoco 1.12 -- 0.04/0.11 c 0.04/0.11 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266121-1502573594.xml 0.04/0.11 c ========================================[ Problem Statistics ]=========================================== 0.04/0.11 c | 0.04/0.11 c | Parse time : 0.05 s 0.04/0.11 c | 0.04/0.11 c | Variables: 120 0.04/0.11 c | Domain Sizes: 30..60 0.04/0.11 c | 0.04/0.11 c | Constraints: 90 0.04/0.11 c | Arity: 2..61 -- Binary: 30 0.04/0.11 c | 0.04/0.11 c | Types: 0.04/0.11 c | Element Constant: 60 0.04/0.11 c | Intension: 30 0.04/0.11 c | 0.04/0.11 c ========================================================================================================= 0.04/0.11 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.04/0.12 c 10 119 11127 4068 60 6 89 105 85 0.04/0.12 c 20 216 20317 8012 60 9 52 58 51 0.04/0.13 c 30 288 29068 11702 60 18 41 47 39 0.04/0.13 c 40 360 36975 15502 60 23 41 47 39 0.04/0.14 c 50 415 44291 18799 60 33 46 46 41 0.04/0.14 c 60 476 53267 22933 60 43 43 46 39 0.04/0.15 c 70 546 61213 26756 60 45 38 45 38 0.04/0.15 c 80 594 69511 31442 60 55 39 39 35 0.04/0.16 c 90 671 77289 34954 60 58 44 52 43 0.04/0.16 c 100 737 84186 38130 60 66 48 49 44 0.04/0.16 c 101 778 88790 40449 60 67 41 41 20 0.04/0.17 c 110 832 95459 43756 60 76 44 44 39 0.04/0.17 c 120 882 101597 46713 60 86 41 41 37 0.04/0.18 c 130 937 108868 50825 60 91 41 42 37 0.04/0.18 c 140 989 115313 53883 60 100 42 42 38 0.04/0.19 c 150 1041 122621 57571 60 110 43 43 39 0.04/0.19 c 160 1101 133103 62935 60 120 40 42 36 0.04/0.20 c 170 1159 144951 68919 60 130 40 40 36 0.04/0.20 c 180 1208 151297 71769 60 140 40 40 36 0.04/0.21 c 190 1260 157650 75376 60 144 40 40 36 0.04/0.21 c 200 1330 166173 79757 60 148 42 46 39 0.15/0.22 c 210 1394 175742 83981 60 158 46 46 41 0.15/0.22 c 211 1437 180830 86546 60 159 43 43 21 0.15/0.23 c 220 1498 189333 90493 60 168 44 45 40 0.15/0.23 c 230 1549 195622 93493 60 178 42 42 38 0.15/0.24 c 240 1609 202068 96799 60 186 43 47 40 0.15/0.24 c 250 1673 209783 100351 60 187 43 46 39 0.15/0.24 c 260 1730 217828 104323 60 188 42 48 38 0.15/0.25 c 270 1801 225445 108284 60 194 37 46 39 0.15/0.25 c 280 1867 234791 112580 60 204 48 48 43 0.15/0.26 c 290 1926 242454 116540 60 207 39 42 36 0.15/0.27 c 300 1991 250216 120463 60 217 39 43 38 0.15/0.27 c 310 2043 256675 123361 60 227 40 43 38 0.15/0.27 c 320 2122 266029 127274 60 235 44 48 41 0.15/0.28 c 330 2176 272812 130307 60 245 45 45 40 0.15/0.28 c 332 2226 278290 133025 60 246 46 49 31 0.15/0.29 c 340 2305 287278 136927 60 251 44 50 41 0.15/0.29 c 350 2358 293272 139936 60 261 44 44 40 0.15/0.30 c 360 2412 299851 143091 60 271 44 45 40 0.15/0.30 c 370 2461 307712 146825 60 281 40 40 36 0.15/0.31 c 380 2513 314539 150134 60 291 43 43 39 0.15/0.31 c 390 2562 320299 152879 60 301 40 40 36 0.25/0.32 c 400 2614 326217 155460 60 311 40 43 38 0.25/0.32 c 410 2670 332045 158153 60 321 44 47 42 0.25/0.33 c 420 2738 340798 162301 60 330 44 47 41 0.25/0.33 c 430 2795 347269 165194 60 340 42 45 38 0.25/0.34 c 440 2851 353692 168067 60 341 46 47 41 0.25/0.34 c 450 2904 360178 171010 60 351 39 43 35 0.25/0.35 c 460 2958 367833 174696 60 361 38 42 35 0.25/0.35 c 465 3019 374530 177714 60 366 42 44 35 0.25/0.35 c 470 3061 380599 180851 60 371 38 38 31 0.25/0.36 c 480 3119 387943 184688 60 374 38 45 38 0.25/0.36 c 490 3210 398952 189710 60 384 46 46 41 0.25/0.37 c 500 3262 405483 192656 60 394 43 43 39 0.25/0.37 c 510 3312 411735 195737 60 404 41 41 37 0.25/0.38 c 520 3361 419134 199167 60 414 40 40 36 0.25/0.38 c 530 3414 425138 202044 60 424 41 43 37 0.25/0.39 c 540 3461 431981 205600 60 434 38 38 34 0.25/0.39 c 550 3513 439175 208798 60 444 42 43 38 0.25/0.40 c 560 3594 448255 212855 60 448 42 49 41 0.25/0.40 c 570 3649 454303 215673 60 458 46 46 41 0.25/0.41 c 580 3738 465075 220560 60 464 41 47 39 0.25/0.41 c 590 3821 474527 224759 60 474 47 47 42 0.35/0.42 c 600 3877 486831 230838 60 484 38 38 34 0.35/0.42 c 610 3934 499814 237210 60 494 39 39 35 0.35/0.43 c 611 3976 504386 239599 60 495 42 42 21 0.35/0.43 c 620 4023 510893 242854 60 504 39 39 35 0.35/0.44 c 630 4071 518004 246553 60 514 36 39 35 0.35/0.44 c 640 4119 523618 249181 60 524 36 39 35 0.35/0.44 c 650 4174 531723 254872 60 534 37 37 33 0.35/0.45 c 660 4237 541562 259919 60 544 39 40 36 0.35/0.45 c 670 4286 546763 262289 60 554 40 40 36 0.35/0.46 c 680 4341 553335 265810 60 564 37 38 34 0.35/0.46 c 690 4420 562949 270420 60 569 36 42 35 0.35/0.47 c 700 4475 569585 273889 60 579 37 37 33 0.35/0.47 c 710 4531 576024 277110 60 589 38 38 34 0.35/0.48 c 720 4576 582555 280584 60 599 36 36 32 0.35/0.48 c 730 4622 589777 284344 60 609 37 37 33 0.35/0.49 c 740 4667 595762 287959 60 619 36 36 32 0.35/0.49 c 750 4713 601531 290687 60 629 37 37 33 0.35/0.49 c 760 4759 608249 293978 60 639 37 37 33 0.35/0.50 c 770 4812 614547 297149 60 649 40 40 36 0.35/0.50 c 771 4853 619157 299516 60 650 41 41 20 0.35/0.51 c 780 4910 626215 303064 60 654 42 42 37 0.45/0.51 c 790 4961 632754 306180 60 664 42 42 38 0.45/0.52 c 800 5018 640736 309800 60 674 39 42 36 0.45/0.52 c 810 5065 648550 313935 60 684 38 38 34 0.45/0.53 c 820 5113 655769 317667 60 694 39 39 35 0.45/0.53 c 830 5160 661942 320531 60 704 38 38 34 0.45/0.54 c 840 5214 671465 325781 60 714 36 36 32 0.45/0.54 c 850 5269 679800 330203 60 724 37 37 33 0.45/0.55 c 860 5329 688092 334781 60 734 38 42 34 0.45/0.55 c 870 5386 695810 338819 60 744 39 39 35 0.45/0.56 c 880 5444 702961 342490 60 754 40 43 38 0.45/0.56 c 890 5501 714385 348697 60 764 39 39 35 0.45/0.57 c 900 5587 727979 356211 60 774 41 41 37 0.45/0.57 c 910 5637 735369 359605 60 784 36 41 33 0.45/0.58 c 920 5720 746681 365889 60 789 35 42 35 0.45/0.58 c 930 5793 754495 369547 60 798 42 44 39 0.45/0.59 c 940 5841 761141 372774 60 808 39 39 35 0.45/0.59 c 947 5884 767547 376331 60 815 37 37 32 0.45/0.59 c 950 5924 772377 378958 60 818 38 38 28 0.45/0.60 c 960 5979 779160 382133 60 827 38 42 37 0.54/0.60 c 970 6043 787569 385644 60 837 43 43 39 0.54/0.61 c 980 6110 794608 388759 60 839 47 50 45 0.54/0.61 c 990 6161 801465 392192 60 849 42 42 38 0.54/0.62 c 1000 6227 809325 395933 60 856 37 44 39 0.54/0.62 c 1010 6276 815144 398729 60 866 40 40 36 0.54/0.63 c 1020 6324 821609 402241 60 876 39 39 35 0.54/0.63 c 1030 6372 828560 405843 60 886 39 39 35 0.54/0.64 c 1040 6421 834719 408889 60 896 40 40 36 0.54/0.64 c 1050 6470 841302 412265 60 906 40 40 36 0.54/0.64 c 1060 6517 849169 416114 60 916 38 38 34 0.54/0.65 c 1070 6565 856169 419903 60 926 39 39 35 0.54/0.65 c 1080 6612 863705 423477 60 936 38 38 34 0.54/0.66 c 1090 6660 871784 427460 60 946 39 39 35 0.54/0.66 c 1100 6715 879158 430833 60 956 45 46 41 0.54/0.67 c 1110 6767 885528 434054 60 960 41 42 37 0.54/0.67 c 1120 6820 891304 436777 60 970 43 44 39 0.54/0.68 c 1130 6874 897560 439809 60 980 44 45 40 0.54/0.68 c 1140 6927 904872 443147 60 990 44 44 40 0.54/0.69 c 1141 6972 909749 445567 60 991 45 45 22 0.54/0.69 c 1150 7030 917284 449442 60 1000 42 42 37 0.54/0.69 c 1160 7084 923422 452384 60 1010 45 45 40 0.63/0.70 c 1170 7141 930300 455861 60 1012 41 46 38 0.63/0.70 c 1180 7192 937364 459218 60 1022 42 42 38 0.63/0.71 c 1190 7241 943675 462376 60 1032 40 40 36 0.63/0.71 c 1200 7298 950377 465427 60 1035 41 45 40 0.63/0.72 c 1210 7352 957093 468793 60 1037 44 44 40 0.63/0.72 c 1220 7400 964539 472539 60 1047 39 39 35 0.63/0.73 c 1230 7449 971041 476003 60 1057 40 40 36 0.63/0.73 c 1240 7497 978595 479906 60 1067 39 39 35 0.63/0.74 c 1250 7545 986148 483823 60 1077 39 39 35 0.63/0.74 c 1260 7594 993264 487219 60 1087 40 40 36 0.63/0.74 c 1270 7646 999365 490013 60 1089 41 42 37 0.63/0.75 c 1280 7698 1005737 493101 60 1099 41 43 38 0.63/0.75 c 1290 7749 1012254 496293 60 1109 42 42 38 0.63/0.76 c 1300 7801 1018708 499176 60 1119 43 43 39 0.63/0.76 c 1310 7851 1026468 503012 60 1129 41 41 37 0.63/0.77 c 1320 7902 1033709 506282 60 1139 42 42 38 0.63/0.77 c 1330 7954 1040075 509432 60 1149 42 43 38 0.63/0.78 c 1340 8007 1046341 512348 60 1159 43 44 39 0.63/0.78 c 1350 8062 1052961 515586 60 1163 45 45 40 0.63/0.78 c 1352 8102 1057996 518233 60 1165 39 39 26 0.63/0.79 c 1360 8155 1068515 524002 60 1173 39 39 34 0.63/0.79 c 1370 8204 1076226 527678 60 1183 40 40 36 0.73/0.80 c 1380 8263 1083538 531390 60 1193 41 45 39 0.73/0.80 c 1390 8314 1089939 534558 60 1203 42 42 38 0.73/0.81 c 1400 8364 1096381 537786 60 1213 41 41 37 0.73/0.81 c 1410 8415 1102672 540611 60 1223 42 42 38 0.73/0.82 c 1420 8466 1109291 543914 60 1233 41 42 37 0.73/0.82 c 1430 8521 1116090 547017 60 1243 41 46 39 0.73/0.83 c 1440 8571 1121882 549938 60 1253 41 41 37 0.73/0.83 c 1450 8619 1128895 553498 60 1263 39 39 35 0.73/0.83 c 1460 8670 1134892 556533 60 1273 42 42 38 0.73/0.84 c 1470 8718 1142281 559981 60 1283 39 39 35 0.73/0.84 c 1480 8770 1149105 563210 60 1293 43 43 39 0.73/0.85 c 1490 8827 1158737 568041 60 1303 39 39 35 0.73/0.85 c 1500 8882 1164954 571043 60 1313 46 46 41 0.73/0.86 c 1510 8932 1172017 574676 60 1323 41 41 37 0.73/0.86 c 1520 8988 1178102 577411 60 1333 45 47 41 0.73/0.87 c 1530 9041 1184619 580240 60 1343 44 44 40 0.73/0.87 c 1540 9090 1191723 584209 60 1353 40 40 36 0.73/0.87 c 1550 9144 1198945 587380 60 1363 45 45 40 0.73/0.88 c 1560 9194 1204807 590055 60 1373 41 41 37 0.73/0.88 c 1570 9242 1212946 594356 60 1383 39 39 35 0.73/0.89 c 1580 9291 1218765 597015 60 1393 40 40 36 0.73/0.89 c 1585 9336 1224420 599720 60 1398 41 41 34 0.83/0.90 c 1590 9379 1230446 602866 60 1403 39 39 32 0.83/0.90 c 1600 9427 1239030 607387 60 1413 39 39 35 0.83/0.91 c 1610 9475 1247757 611552 60 1423 39 39 35 0.83/0.91 c 1620 9524 1255019 615255 60 1433 40 40 36 0.83/0.92 c 1630 9574 1262075 618553 60 1443 41 41 37 0.83/0.92 c 1640 9627 1269266 621925 60 1453 44 44 40 0.83/0.93 c 1650 9676 1276442 625677 60 1463 40 40 36 0.83/0.93 c 1660 9730 1282736 628789 60 1473 45 45 40 0.83/0.93 c 1670 9784 1289322 631755 60 1483 45 45 40 0.83/0.94 c 1680 9839 1295005 634306 60 1493 46 46 41 0.83/0.94 c 1690 9890 1300389 636793 60 1503 42 42 38 0.83/0.95 c 1700 9939 1306753 639955 60 1513 40 40 36 0.83/0.95 c 1710 9989 1312306 642844 60 1523 41 41 37 0.83/0.96 c 1720 10040 1318329 645714 60 1533 42 42 38 0.83/0.96 c 1730 10092 1323922 648294 60 1543 43 43 39 0.83/0.97 c 1740 10147 1330849 651307 60 1553 46 46 41 0.83/0.97 c 1750 10194 1338592 655776 60 1563 38 38 34 0.83/0.97 c 1760 10249 1345120 659120 60 1573 46 46 41 0.83/0.98 c 1770 10302 1352783 662807 60 1583 44 44 40 0.83/0.98 c 1780 10361 1358884 665690 60 1586 48 49 44 0.83/0.99 c 1790 10415 1365792 669014 60 1596 45 45 40 0.83/0.99 c 1800 10468 1372983 672324 60 1606 44 44 40 0.83/1.00 c 1810 10521 1380188 675494 60 1616 44 44 40 0.83/1.00 c 1820 10575 1386484 678626 60 1626 45 45 40 0.94/1.01 c 1830 10629 1392877 681554 60 1636 45 45 40 0.94/1.01 c 1840 10683 1400044 684768 60 1646 45 45 40 0.94/1.02 c 1841 10724 1404722 687173 60 1647 41 41 20 0.94/1.02 c 1850 10777 1410779 689896 60 1656 45 45 40 0.94/1.02 c 1860 10827 1417830 693332 60 1666 41 41 37 0.94/1.03 c 1870 10881 1424078 696042 60 1676 45 45 40 0.94/1.03 c 1880 10934 1430071 699060 60 1686 44 44 40 0.94/1.04 c 1890 10991 1437924 702828 60 1696 40 48 38 0.94/1.04 c 1900 11045 1444988 706009 60 1706 45 45 40 0.94/1.05 c 1910 11099 1451476 709034 60 1716 45 45 40 0.94/1.05 c 1920 11151 1459010 712569 60 1726 43 43 39 0.94/1.06 c 1930 11200 1466323 716202 60 1736 40 40 36 0.94/1.06 c 1940 11259 1472676 719018 60 1739 44 45 40 0.94/1.07 c 1950 11307 1480378 722533 60 1749 39 39 35 0.94/1.07 c 1960 11356 1487635 726002 60 1759 40 40 36 0.94/1.07 c 1970 11410 1494188 729181 60 1764 42 42 38 0.94/1.08 c 1980 11457 1502155 733687 60 1774 38 38 34 0.94/1.08 c 1990 11504 1511254 737937 60 1784 38 38 34 0.94/1.09 c 2000 11550 1516664 740680 60 1794 37 37 33 0.94/1.09 c 2010 11597 1522700 743592 60 1804 38 38 34 0.94/1.10 c 2020 11647 1528892 746677 60 1808 39 40 35 0.94/1.10 c 2030 11695 1534478 749468 60 1818 39 39 35 1.04/1.11 c 2040 11743 1541858 753685 60 1828 39 39 35 1.04/1.11 c 2050 11793 1547897 757186 60 1832 40 40 36 1.04/1.11 c 2060 11839 1554238 760560 60 1842 37 37 33 1.04/1.12 c 2070 11886 1562070 764445 60 1852 38 38 34 1.04/1.12 c 2080 11935 1567316 766921 60 1862 39 40 35 1.04/1.13 c 2090 11985 1573065 769789 60 1872 41 41 37 1.04/1.13 c 2100 12037 1578958 772739 60 1879 42 42 38 1.04/1.14 c 2110 12088 1584308 775174 60 1889 42 42 38 1.04/1.14 c 2120 12133 1592232 779426 60 1899 36 36 32 1.04/1.15 c 2122 12171 1596718 781738 60 1901 37 37 24 1.04/1.15 c 2130 12215 1603931 785389 60 1909 37 37 32 1.04/1.15 c 2140 12264 1610038 788220 60 1919 40 40 36 1.04/1.16 c 2150 12312 1616721 792414 60 1921 38 38 34 1.04/1.16 c 2160 12361 1623004 795305 60 1931 40 40 36 1.04/1.17 c 2170 12410 1629111 798565 60 1941 40 40 36 1.04/1.17 c 2180 12461 1635845 802001 60 1945 41 41 37 1.04/1.18 c 2190 12513 1642336 804976 60 1953 41 42 38 1.04/1.18 c 2200 12564 1648072 807589 60 1963 42 42 38 1.04/1.19 c 2210 12610 1654848 810716 60 1973 37 37 33 1.04/1.19 c 2220 12663 1660686 813334 60 1983 44 44 40 1.04/1.19 c 2230 12710 1666815 816161 60 1993 38 38 34 1.13/1.20 c 2240 12772 1673676 819348 60 1999 45 46 41 1.13/1.20 c 2250 12822 1680743 822854 60 2009 41 41 37 1.13/1.21 c 2260 12871 1688130 826430 60 2019 40 40 36 1.13/1.21 c 2270 12920 1693531 829135 60 2029 40 40 36 1.13/1.22 c 2280 12968 1700156 832507 60 2039 39 39 35 1.13/1.22 c 2290 13017 1706995 835935 60 2049 40 40 36 1.13/1.23 c 2300 13066 1714154 839705 60 2059 40 40 36 1.13/1.23 c 2310 13118 1719966 842568 60 2064 41 42 37 1.13/1.24 c 2320 13169 1726116 845693 60 2074 42 42 38 1.13/1.24 c 2330 13218 1732698 849218 60 2084 40 40 36 1.13/1.24 c 2340 13267 1738953 852700 60 2094 40 40 36 1.13/1.25 c 2350 13316 1745274 856156 60 2104 40 40 36 1.13/1.25 c 2360 13365 1751757 859209 60 2114 40 40 36 1.13/1.26 c 2370 13417 1758587 862946 60 2118 41 42 37 1.13/1.26 c 2380 13469 1764319 865567 60 2128 43 43 39 1.13/1.27 c 2390 13517 1771060 868894 60 2134 38 38 34 1.13/1.27 c 2400 13564 1778040 872401 60 2144 38 38 34 1.13/1.27 c 2410 13619 1784684 875520 60 2147 38 44 35 1.13/1.28 c 2420 13671 1790750 878317 60 2151 41 41 37 1.13/1.28 c 2430 13723 1796861 881514 60 2155 40 41 36 1.13/1.29 c 2431 13764 1801529 883916 60 2156 41 41 20 1.13/1.29 c 2440 13811 1808022 887694 60 2165 39 39 35 1.23/1.30 c 2450 13859 1814292 891133 60 2167 37 38 34 1.23/1.30 c 2460 13911 1820494 894613 60 2170 39 41 36 1.23/1.31 c 2470 13958 1827378 898277 60 2180 38 38 34 1.23/1.31 c 2480 14008 1833091 901364 60 2182 39 40 35 1.23/1.31 c 2490 14060 1838970 904213 60 2186 41 41 37 1.23/1.32 c 2500 14112 1845671 907400 60 2196 43 43 39 1.23/1.32 c 2510 14161 1852752 910931 60 2206 40 40 36 1.23/1.33 c 2520 14212 1858778 914015 60 2216 42 42 38 1.23/1.33 c 2530 14261 1864873 917126 60 2226 40 40 36 1.23/1.34 c 2540 14313 1870929 920181 60 2236 43 43 39 1.23/1.34 c 2550 14366 1876776 923320 60 2246 44 44 40 1.23/1.35 c 2560 14415 1883102 926369 60 2256 40 40 36 1.23/1.35 c 2570 14464 1889473 929341 60 2266 40 40 36 1.23/1.35 c 2580 14514 1894939 931821 60 2276 41 41 37 1.23/1.36 c 2590 14562 1901035 935270 60 2286 39 39 35 1.23/1.36 c 2600 14610 1908600 939297 60 2296 39 39 35 1.23/1.37 c 2610 14657 1914125 942144 60 2306 38 38 34 1.23/1.37 c 2620 14705 1920067 945550 60 2316 39 39 35 1.23/1.38 c 2630 14760 1926310 948520 60 2320 42 43 38 1.23/1.38 c 2640 14809 1932030 951116 60 2330 40 40 36 1.23/1.38 c 2650 14856 1939302 954705 60 2340 38 38 34 1.23/1.39 c 2660 14903 1946218 958128 60 2350 38 38 34 1.23/1.39 c 2670 14952 1952917 961555 60 2360 39 40 35 1.33/1.40 c 2680 15005 1958359 964223 60 2370 44 44 40 1.33/1.40 c 2690 15053 1965839 968213 60 2380 39 39 35 1.33/1.41 c 2700 15103 1972020 971296 60 2390 41 41 37 1.33/1.41 c 2710 15161 1978457 974134 60 2393 45 45 40 1.33/1.42 c 2720 15208 1986664 977943 60 2403 38 38 34 1.33/1.42 c 2730 15257 1995165 981931 60 2413 40 40 36 1.33/1.43 c 2740 15311 2003114 985605 60 2423 37 45 35 1.33/1.43 c 2750 15358 2011238 989528 60 2433 38 38 34 1.33/1.44 c 2760 15408 2018549 992952 60 2443 41 41 37 1.33/1.44 c 2770 15459 2026819 996601 60 2453 38 42 35 1.33/1.44 c 2771 15497 2031361 999055 60 2454 38 38 19 1.33/1.45 c 2780 15543 2039164 1003078 60 2463 38 38 34 1.33/1.45 c 2790 15590 2047598 1007244 60 2473 38 38 34 1.33/1.46 c 2800 15653 2054734 1010515 60 2476 38 46 41 1.33/1.46 c 2810 15702 2062152 1013769 60 2486 40 40 36 1.33/1.47 c 2820 15751 2068260 1016838 60 2496 40 40 36 1.33/1.47 c 2830 15799 2074280 1019728 60 2506 39 39 35 1.33/1.48 c 2840 15848 2080442 1022884 60 2516 40 40 36 1.33/1.48 c 2850 15898 2086708 1025759 60 2526 41 41 37 1.33/1.48 c 2860 15946 2093797 1029466 60 2536 39 39 35 1.33/1.49 c 2870 15995 2100679 1033017 60 2546 40 40 36 1.33/1.49 c 2880 16049 2106976 1035565 60 2556 45 45 40 1.43/1.50 c 2890 16099 2113652 1038936 60 2566 40 41 36 1.43/1.50 c 2900 16151 2120306 1042165 60 2569 41 42 37 1.43/1.51 c 2910 16201 2127825 1046225 60 2572 39 40 35 1.43/1.51 c 2920 16250 2136008 1050473 60 2582 38 40 35 1.43/1.52 c 2930 16300 2142628 1053576 60 2592 39 41 36 1.43/1.52 c 2940 16349 2150306 1057466 60 2602 39 40 35 1.43/1.53 c 2950 16399 2157603 1060821 60 2612 40 41 36 1.43/1.53 c 2960 16452 2164302 1064197 60 2618 42 42 38 1.43/1.54 c 2970 16504 2171038 1067515 60 2622 40 43 38 1.43/1.54 c 2980 16556 2177987 1071114 60 2625 41 42 37 1.43/1.54 c 2990 16607 2184859 1074578 60 2635 41 42 37 1.43/1.55 c 3000 16659 2191529 1078060 60 2645 42 43 38 1.43/1.55 c 3010 16713 2197652 1080779 60 2655 45 45 40 1.43/1.56 c 3020 16767 2203572 1083652 60 2665 45 45 40 1.43/1.56 c 3030 16817 2210221 1087224 60 2675 41 41 37 1.43/1.57 c 3040 16868 2217756 1090824 60 2685 42 42 38 1.43/1.57 c 3050 16925 2224163 1093922 60 2694 47 47 42 1.43/1.58 c 3060 16992 2231658 1097226 60 2703 47 49 43 1.43/1.58 c 3070 17039 2239506 1101171 60 2713 38 38 34 1.43/1.58 c 3080 17091 2246488 1104294 60 2723 43 43 39 1.43/1.59 c 3090 17140 2252740 1107293 60 2733 40 40 36 1.43/1.59 c 3100 17192 2258689 1110161 60 2743 43 43 39 1.53/1.60 c 3110 17246 2264940 1113381 60 2753 45 45 40 1.53/1.60 c 3120 17300 2271040 1116200 60 2763 45 45 40 1.53/1.61 c 3130 17356 2277126 1119163 60 2773 46 46 41 1.53/1.61 c 3140 17406 2283604 1122399 60 2783 41 41 37 1.53/1.62 c 3142 17451 2288520 1124912 60 2785 44 44 29 1.53/1.62 c 3150 17504 2294141 1127656 60 2793 46 46 40 1.53/1.62 c 3160 17564 2300653 1130574 60 2802 46 46 41 1.53/1.63 c 3170 17615 2307519 1133778 60 2812 42 42 38 1.53/1.63 c 3180 17667 2314064 1136861 60 2820 42 42 38 1.53/1.64 c 3190 17725 2320257 1139761 60 2824 46 46 41 1.53/1.64 c 3200 17773 2328076 1143528 60 2834 39 39 35 1.53/1.65 c 3210 17822 2335317 1146904 60 2844 40 40 36 1.53/1.65 c 3220 17873 2341376 1149810 60 2854 41 42 37 1.53/1.66 c 3230 17922 2349190 1153692 60 2864 40 40 36 1.53/1.66 c 3240 17972 2356302 1157293 60 2874 41 41 37 1.53/1.66 c 3250 18021 2362642 1160460 60 2884 40 40 36 1.53/1.67 c 3260 18070 2369361 1163990 60 2894 40 40 36 1.53/1.67 c 3270 18120 2375723 1167054 60 2904 41 41 37 1.53/1.68 c 3280 18175 2381700 1169809 60 2914 41 46 41 1.53/1.68 c 3290 18228 2387494 1172545 60 2924 44 44 40 1.53/1.69 c 3300 18274 2395108 1176230 60 2934 37 37 33 1.53/1.69 c 3310 18327 2401461 1179508 60 2944 44 44 40 1.63/1.70 c 3320 18380 2407882 1182802 60 2954 44 44 40 1.63/1.70 c 3330 18432 2414223 1186008 60 2964 43 43 39 1.63/1.71 c 3340 18486 2420613 1189224 60 2974 44 45 40 1.63/1.71 c 3350 18535 2427572 1192475 60 2984 40 40 36 1.63/1.71 c 3360 18588 2434013 1195544 60 2985 44 44 40 1.63/1.72 c 3370 18641 2439664 1198251 60 2995 44 44 40 1.63/1.72 c 3380 18691 2445889 1201472 60 3005 41 41 37 1.63/1.73 c 3390 18741 2453200 1204671 60 3015 41 41 37 1.63/1.73 c 3400 18795 2459618 1208106 60 3025 45 45 40 1.63/1.74 c 3410 18846 2466290 1211112 60 3035 42 42 38 1.63/1.74 c 3420 18897 2472962 1214373 60 3045 42 42 38 1.63/1.75 c 3430 18948 2479711 1217646 60 3055 42 42 38 1.63/1.75 c 3440 18999 2485942 1220468 60 3065 42 42 38 1.63/1.75 c 3450 19051 2492597 1223745 60 3075 43 43 39 1.63/1.76 c 3460 19100 2499741 1227197 60 3085 40 40 36 1.63/1.76 c 3470 19150 2506229 1230044 60 3095 41 41 37 1.63/1.77 c 3480 19201 2512138 1232765 60 3105 41 42 38 1.63/1.77 c 3490 19254 2518870 1235748 60 3114 42 43 39 1.63/1.78 c 3500 19309 2524958 1238773 60 3124 43 45 39 1.63/1.78 c 3510 19361 2532190 1241983 60 3125 43 43 39 1.63/1.79 c 3520 19414 2538116 1244802 60 3126 44 44 40 1.63/1.79 c 3530 19468 2544038 1247569 60 3127 45 45 40 1.63/1.80 c 3540 19517 2551547 1251104 60 3137 40 40 36 1.73/1.80 c 3550 19567 2557974 1254525 60 3147 41 41 37 1.73/1.80 c 3551 19609 2562717 1256937 60 3148 42 42 21 1.73/1.81 c 3560 19658 2570241 1260416 60 3157 41 41 36 1.73/1.81 c 3570 19709 2578021 1264005 60 3167 42 42 38 1.73/1.82 c 3580 19761 2584409 1266724 60 3177 43 43 39 1.73/1.82 c 3590 19814 2590929 1269503 60 3187 44 44 40 1.73/1.83 c 3600 19869 2597178 1272231 60 3188 45 46 41 1.73/1.83 c 3610 19924 2603513 1274983 60 3198 46 46 41 1.73/1.84 c 3620 19982 2609575 1277857 60 3208 49 49 44 1.73/1.84 c 3630 20034 2616262 1281269 60 3218 43 43 39 1.73/1.84 c 3640 20082 2622260 1283938 60 3228 39 39 35 1.73/1.85 c 3650 20129 2627599 1286375 60 3238 38 38 34 1.73/1.85 c 3660 20181 2634634 1290021 60 3248 43 43 39 1.73/1.86 c 3670 20230 2642804 1294087 60 3258 40 40 36 1.73/1.86 c 3680 20280 2648575 1296611 60 3268 41 41 37 1.73/1.87 c 3690 20335 2654664 1299515 60 3278 46 46 41 1.73/1.87 c 3700 20383 2663407 1303948 60 3288 39 39 35 1.73/1.88 c 3710 20437 2669674 1306819 60 3298 45 45 40 1.73/1.88 c 3720 20486 2677907 1310555 60 3308 40 40 36 1.73/1.89 c 3730 20537 2684879 1313555 60 3318 42 42 38 1.73/1.89 c 3740 20589 2691253 1316947 60 3328 43 43 39 1.73/1.89 c 3750 20637 2699475 1321315 60 3338 39 39 35 1.83/1.90 c 3760 20685 2707221 1325491 60 3348 39 39 35 1.83/1.90 c 3770 20735 2713983 1329438 60 3350 40 40 36 1.83/1.91 c 3780 20786 2719737 1332270 60 3360 42 42 38 1.83/1.91 c 3790 20835 2726481 1335729 60 3370 40 40 36 1.83/1.92 c 3800 20882 2734814 1340254 60 3380 38 38 34 1.83/1.92 c 3810 20930 2740313 1342792 60 3390 39 39 35 1.83/1.93 c 3820 20980 2746066 1345488 60 3400 40 41 36 1.83/1.93 c 3830 21032 2752104 1348139 60 3403 42 42 38 1.83/1.94 c 3840 21084 2757951 1350798 60 3404 43 43 39 1.83/1.94 c 3850 21136 2763511 1353337 60 3414 43 43 39 1.83/1.94 c 3860 21186 2769304 1356089 60 3424 41 41 37 1.83/1.95 c 3870 21236 2776385 1359092 60 3434 41 41 37 1.83/1.95 c 3880 21286 2782266 1361747 60 3444 41 41 37 1.83/1.96 c 3890 21336 2787756 1364302 60 3454 41 41 37 1.83/1.96 c 3900 21389 2793640 1367006 60 3459 42 42 38 1.83/1.97 c 3910 21438 2800034 1370248 60 3469 40 40 36 1.83/1.97 c 3920 21489 2807505 1374091 60 3479 42 42 38 1.83/1.98 c 3930 21539 2814751 1377537 60 3489 41 41 37 1.83/1.98 c 3940 21593 2822485 1381237 60 3499 38 45 35 1.83/1.98 c 3950 21641 2829652 1384534 60 3509 39 39 35 1.83/1.99 c 3960 21686 2834821 1386982 60 3519 36 36 32 1.83/1.99 c 3970 21740 2841352 1390277 60 3529 45 45 40 1.83/2.00 c 3980 21792 2848547 1393628 60 3539 43 43 39 1.83/2.00 c 3990 21840 2857029 1398186 60 3549 39 39 35 1.94/2.01 c 4000 21892 2864366 1401538 60 3559 43 43 39 1.94/2.01 c 4001 21935 2869105 1403940 60 3560 43 43 21 1.94/2.02 c 4010 21983 2876521 1407868 60 3569 40 40 36 1.94/2.02 c 4020 22041 2882799 1410785 60 3573 43 45 40 1.94/2.03 c 4030 22090 2888481 1413584 60 3583 40 40 36 1.94/2.03 c 4040 22140 2894149 1416418 60 3593 41 41 37 1.94/2.03 c 4050 22190 2899368 1418922 60 3603 41 41 37 1.94/2.04 c 4060 22240 2905669 1422267 60 3613 41 41 37 1.94/2.04 c 4070 22287 2912230 1426009 60 3623 38 38 34 1.94/2.05 c 4080 22335 2918582 1429318 60 3633 39 39 35 1.94/2.05 c 4090 22386 2924314 1431952 60 3643 40 42 37 1.94/2.06 c 4100 22436 2930994 1435187 60 3653 41 41 37 1.94/2.06 c 4110 22488 2936766 1437824 60 3663 42 43 38 1.94/2.07 c 4120 22540 2942757 1440980 60 3673 43 43 39 1.94/2.07 c 4130 22592 2948162 1443542 60 3683 43 43 39 1.94/2.07 c 4140 22640 2956122 1447635 60 3693 39 39 35 1.94/2.08 c 4150 22690 2962963 1450969 60 3703 41 41 37 1.94/2.08 c 4160 22742 2969276 1454100 60 3713 43 43 39 1.94/2.09 c 4170 22793 2975462 1457451 60 3723 42 42 38 1.94/2.09 c 4180 22845 2981879 1461053 60 3733 43 43 39 1.94/2.10 c 4190 22894 2988949 1465061 60 3743 40 40 36 1.94/2.10 c 4200 22946 2994293 1467479 60 3753 43 43 39 2.04/2.11 c 4210 22994 3001236 1471125 60 3763 39 39 35 2.04/2.11 c 4220 23040 3008316 1475161 60 3773 37 37 33 2.04/2.12 c 4230 23087 3015833 1478997 60 3783 38 38 34 2.04/2.12 c 4240 23136 3022232 1482369 60 3793 39 40 35 2.04/2.12 c 4250 23187 3028598 1485951 60 3798 41 41 37 2.04/2.13 c 4260 23241 3034721 1488790 60 3808 43 45 40 2.04/2.13 c 4270 23291 3042072 1492198 60 3818 41 41 37 2.04/2.14 c 4280 23341 3050260 1495946 60 3828 41 41 37 2.04/2.14 c 4290 23391 3057592 1499424 60 3838 41 41 37 2.04/2.15 c 4300 23439 3065344 1503141 60 3848 39 39 35 2.04/2.15 c 4310 23493 3071281 1506433 60 3858 45 45 40 2.04/2.16 c 4320 23542 3079029 1510730 60 3868 40 40 36 2.04/2.16 c 4330 23595 3085789 1513995 60 3878 44 44 40 2.04/2.17 c 4340 23649 3091906 1516798 60 3888 45 45 40 2.04/2.17 c 4350 23706 3097825 1519412 60 3898 44 48 41 2.04/2.17 c 4360 23754 3106265 1523412 60 3908 39 39 35 2.04/2.18 c 4370 23803 3114078 1526951 60 3918 40 40 36 2.04/2.18 c 4380 23853 3121962 1530281 60 3928 41 41 37 2.04/2.19 c 4390 23909 3127920 1532964 60 3938 47 47 42 2.04/2.19 c 4400 23959 3134401 1536174 60 3948 41 41 37 2.13/2.20 c 4410 24009 3140896 1539825 60 3958 41 41 37 2.13/2.20 c 4420 24058 3148161 1543524 60 3968 40 40 36 2.13/2.21 c 4430 24108 3154483 1546589 60 3978 41 41 37 2.13/2.21 c 4440 24160 3161063 1550001 60 3980 42 42 38 2.13/2.22 c 4450 24215 3166634 1552590 60 3990 46 46 41 2.13/2.22 c 4460 24266 3172817 1555258 60 4000 42 42 38 2.13/2.22 c 4470 24314 3179761 1558348 60 4010 39 39 35 2.13/2.23 c 4480 24368 3186022 1561344 60 4020 45 45 40 2.13/2.23 c 4490 24416 3193400 1565403 60 4030 39 39 35 2.13/2.24 c 4493 24457 3198612 1568019 60 4033 39 39 29 2.13/2.24 c 4500 24507 3204165 1570581 60 4040 44 44 38 2.13/2.25 c 4510 24556 3211690 1574374 60 4050 40 40 36 2.13/2.25 c 4520 24610 3219898 1578481 60 4060 40 45 36 2.13/2.26 c 4530 24665 3227239 1581790 60 4070 41 46 37 2.13/2.26 c 4540 24716 3233564 1584679 60 4080 42 42 38 2.13/2.26 c 4550 24764 3239888 1587471 60 4090 39 39 35 2.13/2.27 c 4560 24821 3246034 1590385 60 4095 47 47 42 2.13/2.27 c 4570 24876 3251749 1593114 60 4105 46 46 41 2.13/2.28 c 4580 24930 3257558 1595663 60 4115 45 45 40 2.13/2.28 c 4590 24978 3264178 1598982 60 4125 39 39 35 2.13/2.29 c 4600 25027 3270970 1602347 60 4135 40 40 36 2.13/2.29 c 4610 25077 3277529 1605550 60 4145 41 41 37 2.23/2.30 c 4620 25126 3283941 1608410 60 4155 40 40 36 2.23/2.30 c 4630 25180 3289947 1611356 60 4160 44 44 40 2.23/2.31 c 4640 25228 3297133 1615093 60 4170 39 39 35 2.23/2.31 c 4650 25275 3303517 1619347 60 4180 38 38 34 2.23/2.31 c 4660 25323 3309461 1622466 60 4190 39 39 35 2.23/2.32 c 4670 25374 3315060 1625104 60 4192 40 41 36 2.23/2.32 c 4680 25422 3321960 1628305 60 4202 39 39 35 2.23/2.33 c 4690 25471 3329175 1632022 60 4212 40 40 36 2.23/2.33 c 4700 25522 3335531 1635142 60 4222 41 42 37 2.23/2.34 c 4710 25574 3341328 1637817 60 4232 42 43 38 2.23/2.34 c 4720 25631 3347834 1640713 60 4236 44 45 40 2.23/2.35 c 4730 25682 3355004 1644060 60 4246 42 42 38 2.23/2.35 c 4740 25734 3360781 1646896 60 4256 43 43 39 2.23/2.35 c 4750 25786 3366676 1649626 60 4266 42 43 38 2.23/2.36 c 4760 25834 3373819 1653083 60 4276 39 39 35 2.23/2.36 c 4770 25888 3380212 1656083 60 4286 40 45 38 2.23/2.37 c 4780 25941 3386746 1659394 60 4296 44 44 40 2.23/2.37 c 4790 25991 3393887 1662804 60 4306 40 41 36 2.23/2.38 c 4800 26051 3400303 1665611 60 4310 45 46 41 2.23/2.38 c 4810 26100 3407236 1668747 60 4320 40 40 36 2.23/2.39 c 4820 26150 3413984 1671827 60 4330 41 41 37 2.23/2.39 c 4830 26201 3420048 1674949 60 4340 42 42 38 2.23/2.39 c 4840 26251 3426247 1677878 60 4350 41 41 37 2.33/2.40 c 4850 26302 3432599 1680688 60 4360 42 42 38 2.33/2.40 c 4860 26355 3438443 1683382 60 4370 44 44 40 2.33/2.41 c 4870 26405 3445158 1686876 60 4380 41 41 37 2.33/2.41 c 4880 26457 3452314 1690326 60 4390 43 43 39 2.33/2.42 c 4890 26510 3459122 1693662 60 4400 44 44 40 2.33/2.42 c 4900 26558 3467165 1697757 60 4410 39 39 35 2.33/2.43 c 4910 26604 3475641 1702019 60 4420 37 37 33 2.33/2.43 c 4920 26651 3483932 1706315 60 4430 38 38 34 2.33/2.44 c 4930 26701 3490520 1709537 60 4440 41 41 37 2.33/2.44 c 4940 26749 3497360 1713319 60 4450 39 39 35 2.33/2.45 c 4950 26796 3506677 1717948 60 4460 38 38 34 2.33/2.45 c 4960 26844 3515090 1721876 60 4470 39 39 35 2.33/2.45 c 4970 26907 3522909 1725564 60 4478 39 47 39 2.33/2.46 c 4980 26957 3530236 1729131 60 4488 41 41 37 2.33/2.46 c 4990 27015 3536908 1732275 60 4497 46 48 42 2.33/2.47 c 5035 27104 3552745 1740037 60 4511 43 44 42 2.33/2.48 c 5631 27832 3646066 1777282 60 4547 45 46 44 2.43/2.50 c 6286 28872 3772525 1818838 60 4575 43 47 44 2.43/2.54 c 7006 30020 4023197 1952789 60 4610 39 45 41 2.43/2.56 c 7798 30924 4143831 1990185 60 4655 40 46 43 2.43/2.58 c 8669 31905 4281013 2029362 60 4714 38 45 44 2.53/2.60 c 9627 32978 4444493 2088025 60 4723 42 47 45 2.53/2.62 c 10680 34170 4593135 2143472 60 4733 42 45 43 2.53/2.64 c 11838 35826 4769609 2194768 60 4782 42 49 48 2.53/2.68 c 13111 37216 5050585 2338368 60 4814 39 44 40 2.63/2.71 c 14511 38753 5251109 2412274 60 4839 44 47 45 2.63/2.74 c 16051 40459 5481150 2507009 60 4845 43 46 44 2.63/2.77 c 17745 42304 5757271 2607724 60 4918 41 45 43 2.73/2.81 c 19608 44313 6081412 2694090 60 4949 41 46 43 2.73/2.84 c 21657 46548 6389883 2797826 60 4979 41 46 44 2.73/2.89 c 23910 48983 6811636 2936190 60 5047 40 48 45 2.83/2.94 c 26388 51688 7146782 3066629 60 5088 42 45 44 2.83/2.99 c 29113 54608 7607677 3215979 60 5137 41 46 43 2.93/3.04 c 32110 57868 7997473 3353664 60 5148 43 46 44 3.04/3.11 c 35406 61387 8569717 3563670 60 5186 41 45 42 3.04/3.18 c 39031 65247 9169027 3755397 60 5217 41 45 42 3.13/3.26 c 43018 69615 9829501 3987898 60 5271 39 45 43 3.23/3.37 c 47403 74441 10777971 4363683 60 5308 44 50 45 3.33/3.45 c 52226 79687 11470323 4562989 60 5388 37 46 43 3.43/3.55 c 57531 85418 12335710 4870783 60 5442 43 46 44 3.53/3.68 c 63366 92171 13489789 5252494 60 5484 38 48 45 3.73/3.87 c 69784 100988 15114197 5957505 60 5557 41 45 42 3.93/4.01 c 76843 109836 16339422 6386514 60 5677 40 45 44 4.03/4.18 c 84607 118040 17738907 7101725 60 5703 41 45 42 4.23/4.36 c 93147 127111 19168238 7744169 60 5731 39 45 41 4.43/4.59 c 102541 137215 20893497 8764696 60 5779 37 45 40 4.63/4.77 c 112874 148850 22428968 9341849 60 5825 35 48 46 4.83/4.99 c 124240 161438 24168615 9942134 60 5861 37 42 40 5.13/5.21 c 136742 176054 26140489 10485170 60 5930 38 42 40 5.33/5.42 c 150494 191554 27952039 11121178 60 5992 36 42 40 5.63/5.77 c 165621 214285 30604037 12515996 60 6070 37 42 40 6.13/6.20 c 182260 238369 33857127 13961126 60 6112 37 47 40 6.63/6.76 c 200562 270137 38363746 16117692 60 6186 37 47 43 6.93/7.07 c 220694 291850 41180932 17092150 60 6196 42 46 45 7.33/7.46 c 242839 316711 44687334 18376243 60 6263 38 46 43 7.63/7.77 c 267198 344597 47564121 19249746 60 6299 39 46 44 8.12/8.20 c 293992 373636 51272528 20409052 60 6364 36 45 40 8.62/8.74 c 323465 417199 56156544 21930444 60 6479 35 46 42 9.22/9.35 c 355885 460300 61305366 24314923 60 6570 37 44 42 9.93/10.06 c 391547 497956 67686665 26834641 60 6614 39 43 41 10.62/10.75 c 430775 541335 74176886 28952001 60 6697 42 47 44 11.52/11.67 c 473925 589965 82149950 31840823 60 6747 39 46 40 12.52/12.61 c 521390 640820 90190450 35252040 60 6811 39 45 40 14.22/14.38 c 573601 729411 104354418 42330573 60 6859 36 45 39 15.82/15.98 c 631033 804884 117570237 48263649 60 6915 36 44 40 16.93/17.06 c 694208 879005 126811913 51948090 60 6973 39 46 42 18.12/18.25 c 763700 952817 137904782 56049453 60 7026 38 45 42 19.32/19.44 c 840141 1034476 148645063 60015067 60 7078 41 45 43 20.52/20.66 c 924226 1150515 160004802 63022023 60 7171 35 47 45 21.93/22.05 c 1016719 1269976 173661161 66989108 60 7233 40 49 48 23.82/24.00 c 1118461 1377529 191708759 73696067 60 7304 39 46 42 25.62/25.77 c 1230377 1505427 208145485 78681323 60 7350 40 50 45 27.32/27.45 c 1353484 1637378 223787555 83408240 60 7413 39 46 44 29.42/29.50 c 1488901 1780096 242301019 91078146 60 7466 40 46 43 31.93/32.02 c 1637859 1946211 262986619 100623752 60 7539 38 46 43 34.93/35.03 c 1801712 2123999 290394672 109947274 60 7610 40 47 42 37.82/37.96 c 1981950 2318934 316741954 119197545 60 7729 41 46 43 41.12/41.24 c 2180211 2554386 348399258 128435867 60 7798 39 47 43 45.62/45.71 c 2398298 2785484 389191051 143191141 60 7821 40 44 41 49.52/49.64 c 2638193 3042340 423213365 157533116 60 7910 40 46 42 53.22/53.31 c 2902077 3325914 458119549 169034573 60 8010 42 46 44 58.41/58.58 c 3192349 3631653 504718023 188946869 60 8088 37 44 41 64.61/64.72 c 3511648 3975778 560353772 211235703 60 8177 42 46 43 70.41/70.57 c 3862876 4353067 615094135 228567349 60 8277 38 45 42 76.11/76.26 c 4249226 4761862 667518638 247188986 60 8356 40 44 43 81.41/81.58 c 4674211 5228360 722609286 261064820 60 8460 38 47 46 89.31/89.47 c 5141694 5733205 794133569 287378065 60 8476 41 50 43 97.02/97.11 c 5655925 6311455 866287979 310242993 60 8601 40 51 46 105.31/105.44 c 6221579 6966556 944639572 333267811 60 8636 42 46 44 116.31/116.44 c 6843798 7625074 1047948169 366458146 60 8719 40 48 43 125.81/126.00 c 7528238 8378786 1132005255 395678442 60 8791 39 47 43 137.41/137.57 c 8281122 9189957 1238750176 429794194 60 8875 41 47 43 150.51/150.60 c 9109294 10067100 1358140208 473767498 60 8953 39 46 43 161.71/161.80 c 10020283 11042727 1460029516 501471309 60 8998 39 46 44 175.31/175.40 c 11022370 12146204 1590615084 540237639 60 9105 40 51 46 191.01/191.19 c 12124665 13324803 1745717756 584307502 60 9144 43 50 45 208.80/209.00 c 13337189 14639410 1906573372 642401591 60 9222 38 49 43 226.60/226.72 c 14670965 16075672 2091057130 686013804 60 9300 37 47 45 251.01/251.12 c 16138118 17670953 2309585041 771532594 60 9424 41 49 44 277.60/277.75 c 17751986 19643064 2567793444 847858083 60 9512 40 49 43 302.40/302.54 c 19527240 21543891 2791892264 929792699 60 9594 40 48 44 329.39/329.50 c 21480019 23727189 3054625171 998872105 60 9669 41 47 44 360.00/360.11 c 23628075 26030766 3345393327 1102500313 60 9719 42 49 46 404.69/404.89 c 25990936 29309477 3773421555 1231170331 60 9781 40 48 43 438.78/438.92 c 28590083 32077797 4130697611 1317603765 60 9871 39 46 45 495.89/496.04 c 31449144 35706766 4646283213 1504637892 60 9911 39 48 43 536.28/536.43 c 34594111 39050661 5066903076 1602514018 60 9967 40 47 44 597.88/598.10 c 38053574 42747655 5647693544 1801682844 60 10048 39 45 42 658.47/658.67 c 41858983 46793127 6217474748 2010656348 60 10090 43 47 45 727.06/727.29 c 46044932 51238592 6821558132 2250795652 60 10145 38 47 42 795.76/795.95 c 50649475 56134845 7441077546 2478832648 60 10279 40 49 44 920.65/920.89 c 55714472 63469483 8545520631 2901442574 60 10355 40 47 42 1008.44/1008.66 c 61285968 69614239 9338727639 3208894075 60 10425 39 48 43 1133.43/1133.60 c 67414613 76129310 10422889325 3687540391 60 10509 38 46 41 1255.22/1255.45 c 74156122 83239175 11552673825 4107029132 60 10579 39 46 42 1371.21/1371.47 c 81571781 91109923 12630670425 4482544103 60 10638 39 48 43 1504.40/1504.61 c 89729005 99711543 13940573945 4872643795 60 10754 38 48 43 1637.99/1638.29 c 98701951 109313850 15222909824 5311467639 60 10843 39 48 44 1792.88/1793.18 c 108572191 119778102 16607516942 5883860386 60 10930 40 48 43 1936.67/1937.00 c 119429455 131374410 18002949338 6295648764 60 10975 38 49 45 2151.65/2151.96 c 131372445 143924078 19974870329 7019732874 60 11052 39 48 42 2306.54/2306.81 c 144509734 157967318 21495175965 7447343172 60 11133 39 48 46 2501.22/2501.57 c 158960751 173242072 23297167639 8070848207 60 11217 37 47 43 2519.73/2520.00 2519.73/2520.00 c *** INTERRUPTED *** 2519.73/2520.00 c restarts : 625 2519.73/2520.00 c conflicts : 160285488 (63612 /sec) 2519.73/2520.00 c decisions : 174651571 (69314 /sec) 2519.73/2520.00 c propagations : 8116409162 (3221146 /sec) 2519.73/2520.00 c root propagations : 990 2519.73/2520.00 c filter calls : 23476825884 (9317210 /sec) 2519.73/2520.00 c useless filter calls : 18665402561 (79 %) 2519.73/2520.00 c 2519.73/2520.00 c clauses : 143637 2519.73/2520.00 c SAT propagations : 1510 2519.73/2520.00 c SAT conflicts : 0 (0 learnts) 2519.73/2520.00 c Memory used : 36.38 MB 2519.73/2520.00 c CPU time : 2519.73 s 2519.73/2520.00 2519.73/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 (15005 MiB free)
memory of node 1: 16384 MiB (15437 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266121-1502573594/watcher-4266121-1502573594 -o /tmp/evaluation-result-4266121-1502573594/solver-4266121-1502573594 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502565159-17156 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266121-1502573594.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=20049, runsolver pid=20046
[startup+0.100107 s]*
/proc/loadavg: 2.00 2.01 2.05 3/181 20050
/proc/meminfo: memFree=31173612/32770624 swapFree=67108860/67108860
[pid=20049] ppid=20046 vsize=34164 memory=7428 CPUtime=0.04 cores=0,2,4,6
/proc/20049/stat : 20049 (cosoco) R 20046 20049 17093 0 -1 4202496 2044 0 0 0 4 0 0 0 20 0 1 0 59552779 34983936 1857 18446744073709551615 4194304 5972588 140727301714464 140727301711112 5275989 0 0 1 0 0 0 0 17 0 0 0 6 0 0 8070896 8075904 18309120 140727301718468 140727301718568 140727301718568 140727301722062 0
/proc/20049/statm: 8541 1857 822 435 0 1904 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 34164 KiB
Current children cumulated memory: 7428 KiB
[startup+0.20909 s]*
/proc/loadavg: 2.00 2.01 2.05 3/181 20050
/proc/meminfo: memFree=31166024/32770624 swapFree=67108860/67108860
[pid=20049] ppid=20046 vsize=36580 memory=12072 CPUtime=0.15 cores=0,2,4,6
/proc/20049/stat : 20049 (cosoco) R 20046 20049 17093 0 -1 4202496 2690 0 0 0 15 0 0 0 20 0 1 0 59552779 37457920 3018 18446744073709551615 4194304 5972588 140727301714464 140727301711112 139687247207520 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 8070896 8075904 18309120 140727301718468 140727301718568 140727301718568 140727301722062 0
/proc/20049/statm: 9145 3018 837 435 0 2508 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 36580 KiB
Current children cumulated memory: 12072 KiB
[startup+0.309089 s]*
/proc/loadavg: 2.00 2.01 2.05 3/181 20050
/proc/meminfo: memFree=31165684/32770624 swapFree=67108860/67108860
[pid=20049] ppid=20046 vsize=36712 memory=12072 CPUtime=0.25 cores=0,2,4,6
/proc/20049/stat : 20049 (cosoco) R 20046 20049 17093 0 -1 4202496 2694 0 0 0 25 0 0 0 20 0 1 0 59552779 37593088 3018 18446744073709551615 4194304 5972588 140727301714464 140727301711768 4965552 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 8070896 8075904 18309120 140727301718468 140727301718568 140727301718568 140727301722062 0
/proc/20049/statm: 9178 3018 837 435 0 2541 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 36712 KiB
Current children cumulated memory: 12072 KiB
[startup+0.700226 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 20050
/proc/meminfo: memFree=31165684/32770624 swapFree=67108860/67108860
[pid=20049] ppid=20046 vsize=36712 memory=12072 CPUtime=0.63 cores=0,2,4,6
/proc/20049/stat : 20049 (cosoco) R 20046 20049 17093 0 -1 4202496 2708 0 0 0 63 0 0 0 20 0 1 0 59552779 37593088 3018 18446744073709551615 4194304 5972588 140727301714464 140727301711768 4965382 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 8070896 8075904 18309120 140727301718468 140727301718568 140727301718568 140727301722062 0
/proc/20049/statm: 9178 3018 837 435 0 2541 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 36712 KiB
Current children cumulated memory: 12072 KiB
[startup+1.50023 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 20050
/proc/meminfo: memFree=31165392/32770624 swapFree=67108860/67108860
[pid=20049] ppid=20046 vsize=36844 memory=12072 CPUtime=1.43 cores=0,2,4,6
/proc/20049/stat : 20049 (cosoco) R 20046 20049 17093 0 -1 4202496 2728 0 0 0 143 0 0 0 20 0 1 0 59552779 37728256 3018 18446744073709551615 4194304 5972588 140727301714464 140727301711768 4909651 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 8070896 8075904 18309120 140727301718468 140727301718568 140727301718568 140727301722062 0
/proc/20049/statm: 9211 3018 837 435 0 2574 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 36844 KiB
Current children cumulated memory: 12072 KiB
[startup+3.10881 s]
/proc/loadavg: 1.92 2.00 2.04 3/181 20050
/proc/meminfo: memFree=31165648/32770624 swapFree=67108860/67108860
[pid=20049] ppid=20046 vsize=36976 memory=12436 CPUtime=3.04 cores=0,2,4,6
/proc/20049/stat : 20049 (cosoco) R 20046 20049 17093 0 -1 4202496 3499 0 0 0 304 0 0 0 20 0 1 0 59552779 37863424 3109 18446744073709551615 4194304 5972588 140727301714464 140727301711768 4908847 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 8070896 8075904 18309120 140727301718468 140727301718568 140727301718568 140727301722062 0
/proc/20049/statm: 9244 3109 840 435 0 2607 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 36976 KiB
Current children cumulated memory: 12436 KiB
[startup+6.30022 s]
/proc/loadavg: 1.92 2.00 2.04 3/181 20050
/proc/meminfo: memFree=31165648/32770624 swapFree=67108860/67108860
[pid=20049] ppid=20046 vsize=36976 memory=12484 CPUtime=6.23 cores=0,2,4,6
/proc/20049/stat : 20049 (cosoco) R 20046 20049 17093 0 -1 4202496 4249 0 0 0 623 0 0 0 20 0 1 0 59552779 37863424 3121 18446744073709551615 4194304 5972588 140727301714464 140727301711768 5099616 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 8070896 8075904 18309120 140727301718468 140727301718568 140727301718568 140727301722062 0
/proc/20049/statm: 9244 3121 840 435 0 2607 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 36976 KiB
Current children cumulated memory: 12484 KiB
[startup+12.7002 s]
/proc/loadavg: 1.93 2.00 2.04 3/181 20050
/proc/meminfo: memFree=31165772/32770624 swapFree=67108860/67108860
[pid=20049] ppid=20046 vsize=36976 memory=12524 CPUtime=12.62 cores=0,2,4,6
/proc/20049/stat : 20049 (cosoco) R 20046 20049 17093 0 -1 4202496 4937 0 0 0 1262 0 0 0 20 0 1 0 59552779 37863424 3131 18446744073709551615 4194304 5972588 140727301714464 140727301711768 4909211 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 8070896 8075904 18309120 140727301718468 140727301718568 140727301718568 140727301722062 0
/proc/20049/statm: 9244 3131 840 435 0 2607 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 36976 KiB
Current children cumulated memory: 12524 KiB
[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.04 3/181 20050
/proc/meminfo: memFree=31164220/32770624 swapFree=67108860/67108860
[pid=20049] ppid=20046 vsize=37112 memory=12580 CPUtime=25.42 cores=0,2,4,6
/proc/20049/stat : 20049 (cosoco) R 20046 20049 17093 0 -1 4202496 6285 0 0 0 2542 0 0 0 20 0 1 0 59552779 38002688 3145 18446744073709551615 4194304 5972588 140727301714464 140727301711288 4995572 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 18309120 140727301718468 140727301718568 140727301718568 140727301722062 0
/proc/20049/statm: 9278 3145 840 435 0 2641 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 37112 KiB
Current children cumulated memory: 12580 KiB
[startup+51.1088 s]
/proc/loadavg: 1.96 2.00 2.04 3/181 20051
/proc/meminfo: memFree=31165772/32770624 swapFree=67108860/67108860
[pid=20049] ppid=20046 vsize=37112 memory=12608 CPUtime=51.02 cores=0,2,4,6
/proc/20049/stat : 20049 (cosoco) R 20046 20049 17093 0 -1 4202496 6789 0 0 0 5102 0 0 0 20 0 1 0 59552779 38002688 3152 18446744073709551615 4194304 5972588 140727301714464 140727301711768 4965937 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 18309120 140727301718468 140727301718568 140727301718568 140727301722062 0
/proc/20049/statm: 9278 3152 840 435 0 2641 0
Current children cumulated CPU time: 51.02 s
Current children cumulated vsize: 37112 KiB
Current children cumulated memory: 12608 KiB
[startup+102.3 s]
/proc/loadavg: 2.06 2.01 2.05 3/185 20068
/proc/meminfo: memFree=31160948/32770624 swapFree=67108860/67108860
[pid=20049] ppid=20046 vsize=37112 memory=12656 CPUtime=102.21 cores=0,2,4,6
/proc/20049/stat : 20049 (cosoco) R 20046 20049 17093 0 -1 4202496 7318 0 0 0 10221 0 0 0 20 0 1 0 59552779 38002688 3164 18446744073709551615 4194304 5972588 140727301714464 140727301711768 4995502 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 18309120 140727301718468 140727301718568 140727301718568 140727301722062 0
/proc/20049/statm: 9278 3164 840 435 0 2641 0
Current children cumulated CPU time: 102.21 s
Current children cumulated vsize: 37112 KiB
Current children cumulated memory: 12656 KiB
[startup+162.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/182 20131
/proc/meminfo: memFree=31139100/32770624 swapFree=67108860/67108860
[pid=20049] ppid=20046 vsize=37112 memory=12688 CPUtime=162.21 cores=0,2,4,6
/proc/20049/stat : 20049 (cosoco) R 20046 20049 17093 0 -1 4202496 7827 0 0 0 16221 0 0 0 20 0 1 0 59552779 38002688 3172 18446744073709551615 4194304 5972588 140727301714464 140727301711768 5053099 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 18309120 140727301718468 140727301718568 140727301718568 140727301722062 0
/proc/20049/statm: 9278 3172 840 435 0 2641 0
Current children cumulated CPU time: 162.21 s
Current children cumulated vsize: 37112 KiB
Current children cumulated memory: 12688 KiB
[startup+222.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/182 20133
/proc/meminfo: memFree=31136980/32770624 swapFree=67108860/67108860
[pid=20049] ppid=20046 vsize=37112 memory=12724 CPUtime=222.2 cores=0,2,4,6
/proc/20049/stat : 20049 (cosoco) R 20046 20049 17093 0 -1 4202496 8356 0 0 0 22220 0 0 0 20 0 1 0 59552779 38002688 3181 18446744073709551615 4194304 5972588 140727301714464 140727301711768 4995517 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 18309120 140727301718468 140727301718568 140727301718568 140727301722062 0
/proc/20049/statm: 9278 3181 840 435 0 2641 0
Current children cumulated CPU time: 222.2 s
Current children cumulated vsize: 37112 KiB
Current children cumulated memory: 12724 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 20135
/proc/meminfo: memFree=31136600/32770624 swapFree=67108860/67108860
[pid=20049] ppid=20046 vsize=37248 memory=12792 CPUtime=282.2 cores=0,2,4,6
/proc/20049/stat : 20049 (cosoco) R 20046 20049 17093 0 -1 4202496 8900 0 0 0 28220 0 0 0 20 0 1 0 59552779 38141952 3198 18446744073709551615 4194304 5972588 140727301714464 140727301711288 4995482 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 18309120 140727301718468 140727301718568 140727301718568 140727301722062 0
/proc/20049/statm: 9312 3198 840 435 0 2675 0
Current children cumulated CPU time: 282.2 s
Current children cumulated vsize: 37248 KiB
Current children cumulated memory: 12792 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 20137
/proc/meminfo: memFree=31136784/32770624 swapFree=67108860/67108860
[pid=20049] ppid=20046 vsize=37248 memory=12836 CPUtime=342.19 cores=0,2,4,6
/proc/20049/stat : 20049 (cosoco) R 20046 20049 17093 0 -1 4202496 9397 0 0 0 34219 0 0 0 20 0 1 0 59552779 38141952 3209 18446744073709551615 4194304 5972588 140727301714464 140727301711768 5094354 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 18309120 140727301718468 140727301718568 140727301718568 140727301722062 0
/proc/20049/statm: 9312 3209 840 435 0 2675 0
Current children cumulated CPU time: 342.19 s
Current children cumulated vsize: 37248 KiB
Current children cumulated memory: 12836 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 20140
/proc/meminfo: memFree=31136164/32770624 swapFree=67108860/67108860
[pid=20049] ppid=20046 vsize=37248 memory=12860 CPUtime=402.19 cores=0,2,4,6
/proc/20049/stat : 20049 (cosoco) R 20046 20049 17093 0 -1 4202496 9905 0 0 0 40219 0 0 0 20 0 1 0 59552779 38141952 3215 18446744073709551615 4194304 5972588 140727301714464 140727301711768 4962387 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 18309120 140727301718468 140727301718568 140727301718568 140727301722062 0
/proc/20049/statm: 9312 3215 840 435 0 2675 0
Current children cumulated CPU time: 402.19 s
Current children cumulated vsize: 37248 KiB
Current children cumulated memory: 12860 KiB
[startup+462.3 s]
/proc/loadavg: 2.04 2.01 2.05 3/181 20142
/proc/meminfo: memFree=31135984/32770624 swapFree=67108860/67108860
[pid=20049] ppid=20046 vsize=37248 memory=12884 CPUtime=462.18 cores=0,2,4,6
/proc/20049/stat : 20049 (cosoco) R 20046 20049 17093 0 -1 4202496 10407 0 0 0 46218 0 0 0 20 0 1 0 59552779 38141952 3221 18446744073709551615 4194304 5972588 140727301714464 140727301711768 5327764 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 18309120 140727301718468 140727301718568 140727301718568 140727301722062 0
/proc/20049/statm: 9312 3221 840 435 0 2675 0
Current children cumulated CPU time: 462.18 s
Current children cumulated vsize: 37248 KiB
Current children cumulated memory: 12884 KiB
################
# More data... #
################
/proc/20049/statm: 9312 3270 840 435 0 2675 0
Current children cumulated CPU time: 1722.08 s
Current children cumulated vsize: 37248 KiB
Current children cumulated memory: 13080 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 20247
/proc/meminfo: memFree=31133116/32770624 swapFree=67108860/67108860
[pid=20049] ppid=20046 vsize=37248 memory=13080 CPUtime=1782.07 cores=0,2,4,6
/proc/20049/stat : 20049 (cosoco) R 20046 20049 17093 0 -1 4202496 20076 0 0 0 178207 0 0 0 20 0 1 0 59552779 38141952 3270 18446744073709551615 4194304 5972588 140727301714464 140727301711768 4909211 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 18309120 140727301718468 140727301718568 140727301718568 140727301722062 0
/proc/20049/statm: 9312 3270 840 435 0 2675 0
Current children cumulated CPU time: 1782.07 s
Current children cumulated vsize: 37248 KiB
Current children cumulated memory: 13080 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 20249
/proc/meminfo: memFree=31133296/32770624 swapFree=67108860/67108860
[pid=20049] ppid=20046 vsize=37248 memory=13096 CPUtime=1842.08 cores=0,2,4,6
/proc/20049/stat : 20049 (cosoco) R 20046 20049 17093 0 -1 4202496 20795 0 0 0 184207 1 0 0 20 0 1 0 59552779 38141952 3274 18446744073709551615 4194304 5972588 140727301714464 140727301711768 4995434 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 18309120 140727301718468 140727301718568 140727301718568 140727301722062 0
/proc/20049/statm: 9312 3274 840 435 0 2675 0
Current children cumulated CPU time: 1842.08 s
Current children cumulated vsize: 37248 KiB
Current children cumulated memory: 13096 KiB
[startup+1902.3 s]
/proc/loadavg: 2.16 2.05 2.06 3/185 20266
/proc/meminfo: memFree=31129884/32770624 swapFree=67108860/67108860
[pid=20049] ppid=20046 vsize=37248 memory=13096 CPUtime=1902.07 cores=0,2,4,6
/proc/20049/stat : 20049 (cosoco) R 20046 20049 17093 0 -1 4202496 21194 0 0 0 190206 1 0 0 20 0 1 0 59552779 38141952 3274 18446744073709551615 4194304 5972588 140727301714464 140727301711768 5321355 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 18309120 140727301718468 140727301718568 140727301718568 140727301722062 0
/proc/20049/statm: 9312 3274 840 435 0 2675 0
Current children cumulated CPU time: 1902.07 s
Current children cumulated vsize: 37248 KiB
Current children cumulated memory: 13096 KiB
[startup+1962.3 s]
/proc/loadavg: 2.35 2.14 2.09 3/182 20268
/proc/meminfo: memFree=31132740/32770624 swapFree=67108860/67108860
[pid=20049] ppid=20046 vsize=37248 memory=13108 CPUtime=1962.07 cores=0,2,4,6
/proc/20049/stat : 20049 (cosoco) R 20046 20049 17093 0 -1 4202496 21750 0 0 0 196206 1 0 0 20 0 1 0 59552779 38141952 3277 18446744073709551615 4194304 5972588 140727301714464 140727301711768 5240528 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 18309120 140727301718468 140727301718568 140727301718568 140727301722062 0
/proc/20049/statm: 9312 3277 840 435 0 2675 0
Current children cumulated CPU time: 1962.07 s
Current children cumulated vsize: 37248 KiB
Current children cumulated memory: 13108 KiB
[startup+2022.3 s]
/proc/loadavg: 2.13 2.11 2.08 3/182 20270
/proc/meminfo: memFree=31132988/32770624 swapFree=67108860/67108860
[pid=20049] ppid=20046 vsize=37248 memory=13108 CPUtime=2022.06 cores=0,2,4,6
/proc/20049/stat : 20049 (cosoco) R 20046 20049 17093 0 -1 4202496 22127 0 0 0 202205 1 0 0 20 0 1 0 59552779 38141952 3277 18446744073709551615 4194304 5972588 140727301714464 140727301711768 4995525 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 18309120 140727301718468 140727301718568 140727301718568 140727301722062 0
/proc/20049/statm: 9312 3277 840 435 0 2675 0
Current children cumulated CPU time: 2022.06 s
Current children cumulated vsize: 37248 KiB
Current children cumulated memory: 13108 KiB
[startup+2082.3 s]
/proc/loadavg: 2.05 2.09 2.08 3/183 20283
/proc/meminfo: memFree=31131536/32770624 swapFree=67108860/67108860
[pid=20049] ppid=20046 vsize=37248 memory=13108 CPUtime=2082.06 cores=0,2,4,6
/proc/20049/stat : 20049 (cosoco) R 20046 20049 17093 0 -1 4202496 22470 0 0 0 208205 1 0 0 20 0 1 0 59552779 38141952 3277 18446744073709551615 4194304 5972588 140727301714464 140727301711768 4908847 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 18309120 140727301718468 140727301718568 140727301718568 140727301722062 0
/proc/20049/statm: 9312 3277 840 435 0 2675 0
Current children cumulated CPU time: 2082.06 s
Current children cumulated vsize: 37248 KiB
Current children cumulated memory: 13108 KiB
[startup+2142.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/183 20285
/proc/meminfo: memFree=31132156/32770624 swapFree=67108860/67108860
[pid=20049] ppid=20046 vsize=37248 memory=13108 CPUtime=2142.05 cores=0,2,4,6
/proc/20049/stat : 20049 (cosoco) R 20046 20049 17093 0 -1 4202496 22862 0 0 0 214204 1 0 0 20 0 1 0 59552779 38141952 3277 18446744073709551615 4194304 5972588 140727301714464 140727301711768 4995430 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 18309120 140727301718468 140727301718568 140727301718568 140727301722062 0
/proc/20049/statm: 9312 3277 840 435 0 2675 0
Current children cumulated CPU time: 2142.05 s
Current children cumulated vsize: 37248 KiB
Current children cumulated memory: 13108 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/182 20288
/proc/meminfo: memFree=31132668/32770624 swapFree=67108860/67108860
[pid=20049] ppid=20046 vsize=37248 memory=13120 CPUtime=2202.05 cores=0,2,4,6
/proc/20049/stat : 20049 (cosoco) R 20046 20049 17093 0 -1 4202496 23445 0 0 0 220204 1 0 0 20 0 1 0 59552779 38141952 3280 18446744073709551615 4194304 5972588 140727301714464 140727301711768 5094232 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 18309120 140727301718468 140727301718568 140727301718568 140727301722062 0
/proc/20049/statm: 9312 3280 840 435 0 2675 0
Current children cumulated CPU time: 2202.05 s
Current children cumulated vsize: 37248 KiB
Current children cumulated memory: 13120 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/182 20290
/proc/meminfo: memFree=31133164/32770624 swapFree=67108860/67108860
[pid=20049] ppid=20046 vsize=37248 memory=13120 CPUtime=2262.04 cores=0,2,4,6
/proc/20049/stat : 20049 (cosoco) R 20046 20049 17093 0 -1 4202496 23756 0 0 0 226203 1 0 0 20 0 1 0 59552779 38141952 3280 18446744073709551615 4194304 5972588 140727301714464 140727301711768 5099616 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 18309120 140727301718468 140727301718568 140727301718568 140727301722062 0
/proc/20049/statm: 9312 3280 840 435 0 2675 0
Current children cumulated CPU time: 2262.04 s
Current children cumulated vsize: 37248 KiB
Current children cumulated memory: 13120 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/182 20292
/proc/meminfo: memFree=31133412/32770624 swapFree=67108860/67108860
[pid=20049] ppid=20046 vsize=37248 memory=13132 CPUtime=2322.04 cores=0,2,4,6
/proc/20049/stat : 20049 (cosoco) R 20046 20049 17093 0 -1 4202496 24324 0 0 0 232203 1 0 0 20 0 1 0 59552779 38141952 3283 18446744073709551615 4194304 5972588 140727301714464 140727301711768 4995451 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 18309120 140727301718468 140727301718568 140727301718568 140727301722062 0
/proc/20049/statm: 9312 3283 840 435 0 2675 0
Current children cumulated CPU time: 2322.04 s
Current children cumulated vsize: 37248 KiB
Current children cumulated memory: 13132 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/181 20295
/proc/meminfo: memFree=31133180/32770624 swapFree=67108860/67108860
[pid=20049] ppid=20046 vsize=37248 memory=13132 CPUtime=2382.03 cores=0,2,4,6
/proc/20049/stat : 20049 (cosoco) R 20046 20049 17093 0 -1 4202496 24605 0 0 0 238202 1 0 0 20 0 1 0 59552779 38141952 3283 18446744073709551615 4194304 5972588 140727301714464 140727301711768 5338586 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 18309120 140727301718468 140727301718568 140727301718568 140727301722062 0
/proc/20049/statm: 9312 3283 840 435 0 2675 0
Current children cumulated CPU time: 2382.03 s
Current children cumulated vsize: 37248 KiB
Current children cumulated memory: 13132 KiB
[startup+2442.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/181 20297
/proc/meminfo: memFree=31133224/32770624 swapFree=67108860/67108860
[pid=20049] ppid=20046 vsize=37248 memory=13132 CPUtime=2442.03 cores=0,2,4,6
/proc/20049/stat : 20049 (cosoco) R 20046 20049 17093 0 -1 4202496 24875 0 0 0 244202 1 0 0 20 0 1 0 59552779 38141952 3283 18446744073709551615 4194304 5972588 140727301714464 140727301711768 4995434 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 18309120 140727301718468 140727301718568 140727301718568 140727301722062 0
/proc/20049/statm: 9312 3283 840 435 0 2675 0
Current children cumulated CPU time: 2442.03 s
Current children cumulated vsize: 37248 KiB
Current children cumulated memory: 13132 KiB
[startup+2502.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/185 20314
/proc/meminfo: memFree=31129404/32770624 swapFree=67108860/67108860
[pid=20049] ppid=20046 vsize=37248 memory=13148 CPUtime=2502.02 cores=0,2,4,6
/proc/20049/stat : 20049 (cosoco) R 20046 20049 17093 0 -1 4202496 25392 0 0 0 250201 1 0 0 20 0 1 0 59552779 38141952 3287 18446744073709551615 4194304 5972588 140727301714464 140727301711768 4995521 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 18309120 140727301718468 140727301718568 140727301718568 140727301722062 0
/proc/20049/statm: 9312 3287 840 435 0 2675 0
Current children cumulated CPU time: 2502.02 s
Current children cumulated vsize: 37248 KiB
Current children cumulated memory: 13148 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.02 2.04 2.05 3/185 20341
/proc/meminfo: memFree=31127900/32770624 swapFree=67108860/67108860
[pid=20049] ppid=20046 vsize=37248 memory=13148 CPUtime=2519.73 cores=0,2,4,6
/proc/20049/stat : 20049 (cosoco) R 20046 20049 17093 0 -1 4202496 25633 0 0 0 251972 1 0 0 20 0 1 0 59552779 38141952 3287 18446744073709551615 4194304 5972588 140727301714464 140727301711768 4995544 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 18309120 140727301718468 140727301718568 140727301718568 140727301722062 0
/proc/20049/statm: 9312 3287 840 435 0 2675 0
Current children cumulated CPU time: 2519.73 s
Current children cumulated vsize: 37248 KiB
Current children cumulated memory: 13148 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 20049 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.73 s, system=0.014998 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.74
CPU user time (s): 2519.73
CPU system time (s): 0.014998
CPU usage (%): 99.9893
Max. virtual memory (cumulated for all children) (KiB): 37248
Max. memory (cumulated for all children) (KiB): 13148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.73
system time used= 0.014998
maximum resident set size= 13216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25685
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= 11
involuntary context switches= 3171
# summary of solver processes directly reported to runsolver:
# pid: 20049
# total CPU time (s): 2519.74
# total CPU user time (s): 2519.73
# total CPU system time (s): 0.014998
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.10707 second user time and 15.8191 second system time
The end
Begin job on node127 at 2017-08-12 23:19:06 IDJOB=4266121 IDBENCH=124374 IDSOLVER=2655 FILE ID=node127/4266121-1502573594 RUNJOBID= node127-1502565159-17156 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/Langford/Langford-m2-s1/LangfordBin-30.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266121-1502573594/watcher-4266121-1502573594 -o /tmp/evaluation-result-4266121-1502573594/solver-4266121-1502573594 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502565159-17156 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266121-1502573594.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= cfab102c91084e040090bf0c1bc6cb0b RANDOM SEED=768638135 node127.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.92 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.92 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.92 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.92 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: 31173656 kB MemAvailable: 31998816 kB Buffers: 276208 kB Cached: 837748 kB SwapCached: 0 kB Active: 575612 kB Inactive: 596972 kB Active(anon): 58952 kB Inactive(anon): 24908 kB Active(file): 516660 kB Inactive(file): 572064 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2340 kB Writeback: 8 kB AnonPages: 58756 kB Mapped: 46968 kB Shmem: 25252 kB Slab: 130016 kB SReclaimable: 104544 kB SUnreclaim: 25472 kB KernelStack: 3200 kB PageTables: 4788 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 331364 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 62028 MiB End job on node127 at 2017-08-13 00:01:06