| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-sat 1.12 | ? (TO) | 2520.1201 | 2520.02 |
| Name | Scheduling/Scheduling-xcsp2-os-gp/ gp10-05-1070_X2.xml |
| MD5SUM | 23007d5514affe077dd6f6cf857721a4 |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 31.226101 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 101 |
| Number of constraints | 1000 |
| Number of domains | 2 |
| Minimum domain size | 1 |
| Maximum domain size | 1071 |
| Distribution of domain sizes | [{"size":1,"count":1},{"size":1071,"count":100}] |
| Minimum variable degree | 19 |
| Maximum variable degree | 100 |
| Distribution of variable degrees | [{"degree":19,"count":100},{"degree":100,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":1000}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 1000 |
| Distribution of constraint types | [{"type":"intension","count":1000}] |
| Optimization problem | NO |
| Type of objective |
5.21/5.31 c SAT : Variables: 107101 -- Clauses: 57298600 5.21/5.32 c root propagations : 10000 5.21/5.32 c restarts enabled, print stats at every restarts 5.21/5.32 c 5.21/5.32 c 5.21/5.32 c 5.21/5.32 c This is cosoco 1.12 -- 5.21/5.32 c 5.21/5.32 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266389-1502565999.xml 5.21/5.32 c ========================================[ Problem Statistics ]=========================================== 5.21/5.32 c | 5.21/5.32 c | Parse time : 4.62 s 5.21/5.32 c | 5.21/5.32 c | Variables: 101 5.21/5.32 c | Domain Sizes: 1..1071 5.21/5.32 c | 5.21/5.32 c | Constraints: 1000 5.21/5.32 c | Arity: 2..2 -- Binary: 1000 5.21/5.32 c | 5.21/5.32 c | Types: 5.21/5.32 c | Intension: 1000 5.21/5.32 c | 5.21/5.32 c ========================================================================================================= 5.21/5.32 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 5.21/5.38 c 10 32 5567 50730 100 3 22 22 20 5.32/5.40 c 20 63 9890 83392 100 13 22 22 20 5.32/5.47 c 30 109 17173 145346 100 23 37 37 33 5.41/5.53 c 40 137 21349 248949 100 33 13 19 12 5.41/5.56 c 50 158 24135 286870 100 43 12 12 10 5.41/5.59 c 60 182 27340 369549 100 53 15 15 13 5.51/5.61 c 70 198 28916 397447 100 63 7 7 6 5.51/5.63 c 80 225 32606 442543 100 73 18 18 16 5.51/5.67 c 90 255 37008 495606 100 83 21 21 19 5.61/5.72 c 100 289 42034 575731 100 93 25 25 22 5.61/5.76 c 101 308 45966 629076 100 94 19 19 9 5.72/5.80 c 110 329 49200 718033 100 103 13 13 11 5.72/5.83 c 120 352 52351 781580 100 113 14 14 12 5.72/5.84 c 130 364 52982 791884 100 123 3 3 2 5.82/5.90 c 140 385 58225 921413 100 133 12 12 10 5.82/5.93 c 150 406 61082 978372 100 143 12 12 10 5.82/5.94 c 160 418 61732 988686 100 153 3 3 2 5.82/5.97 c 170 436 64078 1038505 100 163 9 9 8 5.82/6.00 c 180 458 67104 1098207 100 173 13 13 11 5.92/6.03 c 190 474 68932 1185050 100 183 7 7 6 5.92/6.07 c 200 494 71707 1241971 100 192 8 9 7 5.92/6.08 c 210 509 73138 1265636 100 202 6 6 5 6.03/6.11 c 211 522 75894 1307707 100 203 13 13 6 6.03/6.14 c 220 543 79207 1360224 100 212 13 13 11 6.03/6.17 c 230 568 82896 1412215 100 222 16 16 14 6.11/6.21 c 240 590 86431 1467399 100 232 13 13 11 6.11/6.24 c 250 616 90347 1522920 100 242 17 17 15 6.11/6.26 c 260 632 92091 1586369 100 252 7 7 6 6.11/6.29 c 270 651 94533 1621788 100 262 10 10 9 6.22/6.32 c 280 671 97221 1694242 100 272 11 11 10 6.22/6.35 c 290 690 99773 1751738 100 278 8 8 7 6.22/6.37 c 300 711 102549 1793747 100 288 12 12 10 6.22/6.39 c 310 726 104042 1857175 100 298 6 6 5 6.32/6.41 c 320 742 105655 1887536 100 308 7 7 6 6.32/6.42 c 330 757 107037 1917566 100 318 6 6 5 6.32/6.43 c 332 764 108240 1947854 100 320 6 6 4 6.32/6.46 c 340 782 111222 2001675 100 328 11 11 9 6.32/6.48 c 350 796 112334 2028667 100 338 5 5 4 6.42/6.50 c 360 816 114967 2091527 100 348 11 11 10 6.42/6.53 c 370 831 116587 2151470 100 358 6 6 5 6.42/6.55 c 380 848 118626 2212568 100 368 8 8 7 6.42/6.58 c 390 865 120552 2290029 100 378 8 8 7 6.52/6.61 c 400 883 122773 2361175 100 388 9 9 8 6.52/6.62 c 410 900 124604 2398200 100 398 8 8 7 6.52/6.64 c 420 915 126116 2461851 100 408 6 6 5 6.52/6.67 c 430 935 128802 2515471 100 418 11 11 10 6.52/6.68 c 440 949 129933 2542573 100 428 5 5 4 6.62/6.71 c 450 969 132511 2607663 100 438 7 11 9 6.62/6.73 c 460 985 134284 2675592 100 448 7 7 6 6.62/6.74 c 465 997 136000 2705927 100 453 8 8 6 6.62/6.76 c 470 1007 137327 2749392 100 458 6 6 5 6.62/6.78 c 480 1024 139158 2786282 100 468 8 8 7 6.72/6.80 c 490 1039 140670 2850143 100 478 6 6 5 6.72/6.82 c 500 1058 143025 2907171 100 488 10 10 9 6.72/6.84 c 510 1077 145410 2978668 100 498 10 10 9 6.72/6.86 c 520 1092 146811 3008808 100 508 6 6 5 6.72/6.87 c 530 1108 148441 3038727 100 518 7 7 6 6.72/6.88 c 540 1123 149842 3068977 100 528 6 6 5 6.82/6.90 c 550 1139 151545 3126244 100 538 7 7 6 6.82/6.94 c 560 1160 155026 3207602 100 548 12 12 10 6.82/6.97 c 570 1177 157084 3269223 100 558 8 8 7 6.82/6.99 c 580 1193 158795 3346081 100 568 7 7 6 6.93/7.01 c 590 1208 160307 3410152 100 578 6 6 5 6.93/7.03 c 600 1224 162049 3467465 100 588 7 7 6 6.93/7.07 c 610 1245 165530 3549333 100 598 12 12 10 6.93/7.09 c 611 1253 167273 3582565 100 599 8 8 4 7.03/7.11 c 620 1270 169539 3636883 100 604 7 7 6 7.03/7.14 c 630 1287 171597 3699065 100 614 8 8 7 7.03/7.16 c 640 1305 173897 3756163 100 618 7 7 6 7.03/7.19 c 650 1322 175955 3818855 100 628 8 8 7 7.12/7.21 c 660 1339 177989 3873185 100 633 7 7 6 7.12/7.23 c 670 1354 179413 3913813 100 643 6 6 5 7.12/7.25 c 680 1374 182005 3957212 100 653 11 11 10 7.12/7.26 c 690 1388 183158 3994433 100 663 5 5 4 7.12/7.28 c 700 1407 185494 4035802 100 673 10 10 9 7.12/7.29 c 710 1421 186666 4073033 100 683 5 5 4 7.22/7.31 c 720 1440 189021 4114412 100 693 10 10 9 7.22/7.33 c 730 1454 190219 4150763 100 694 5 5 4 7.22/7.35 c 740 1473 192564 4192291 100 704 10 10 9 7.22/7.36 c 750 1488 194044 4245500 100 714 6 6 5 7.22/7.39 c 760 1504 195787 4306053 100 724 7 7 6 7.32/7.40 c 770 1518 196979 4343274 100 734 5 5 4 7.32/7.41 c 771 1524 198201 4370897 100 735 6 6 3 7.32/7.43 c 780 1539 199928 4428459 100 744 7 7 6 7.32/7.45 c 790 1553 201139 4465690 100 754 5 5 4 7.32/7.46 c 800 1568 202658 4518946 100 764 6 6 5 7.42/7.51 c 810 1587 205291 4635977 100 774 10 10 9 7.42/7.53 c 820 1602 206790 4689243 100 784 6 6 5 7.42/7.57 c 830 1621 209442 4807054 100 794 10 10 9 7.42/7.59 c 840 1636 210941 4860330 100 804 6 6 5 7.52/7.62 c 850 1656 213591 4937888 100 814 11 11 10 7.52/7.64 c 860 1671 215090 4991174 100 824 6 6 5 7.52/7.66 c 870 1687 216852 5052709 100 834 7 7 6 7.52/7.68 c 880 1702 218350 5094548 100 837 5 5 4 7.52/7.69 c 890 1717 219869 5147789 100 847 6 6 5 7.62/7.72 c 900 1737 222538 5225684 100 857 11 11 10 7.62/7.74 c 910 1753 224284 5287891 100 867 7 7 6 7.62/7.76 c 920 1767 225495 5325113 100 877 5 5 4 7.62/7.78 c 930 1783 227280 5387843 100 887 7 7 6 7.72/7.86 c 940 1813 234050 5502570 100 897 21 21 19 7.72/7.88 c 947 1827 235959 5556219 100 904 8 8 7 7.82/7.92 c 950 1848 240101 5613393 100 907 19 19 14 7.82/7.94 c 960 1864 241822 5667715 100 917 7 7 6 7.82/7.96 c 970 1884 244462 5745943 100 927 11 11 10 7.82/8.00 c 980 1912 248841 5808746 100 937 19 19 17 7.92/8.02 c 990 1928 250581 5863099 100 947 7 7 6 7.92/8.05 c 1000 1948 253221 5941637 100 957 11 11 10 7.92/8.08 c 1010 1975 257309 6000638 100 967 18 18 16 7.92/8.10 c 1020 1991 259049 6054911 100 977 7 7 6 8.03/8.12 c 1030 2007 260811 6116956 100 987 7 7 6 8.03/8.16 c 1040 2034 264938 6175867 100 997 18 18 16 8.03/8.18 c 1050 2050 266678 6230050 100 1007 7 7 6 8.12/8.20 c 1060 2066 268440 6292584 100 1017 7 7 6 8.12/8.23 c 1070 2092 272361 6350852 100 1027 17 17 15 8.12/8.26 c 1080 2111 274831 6405068 100 1037 7 10 8 8.12/8.28 c 1090 2127 276553 6458705 100 1047 7 7 6 8.22/8.30 c 1100 2143 278315 6521655 100 1057 7 7 6 8.22/8.33 c 1110 2169 282255 6579833 100 1067 17 17 15 8.22/8.36 c 1120 2188 284750 6630285 100 1077 10 10 9 8.22/8.38 c 1130 2204 286491 6683868 100 1087 7 7 6 8.32/8.40 c 1140 2220 288253 6747228 100 1097 7 7 6 8.32/8.43 c 1141 2237 291887 6798116 100 1098 17 17 8 8.32/8.45 c 1150 2255 294347 6847280 100 1107 10 10 9 8.32/8.47 c 1160 2271 296088 6900773 100 1117 7 7 6 8.42/8.50 c 1170 2287 297850 6964543 100 1127 7 7 6 8.42/8.53 c 1180 2304 300005 7052349 100 1137 8 8 7 8.42/8.56 c 1190 2329 303758 7111742 100 1147 16 16 14 8.42/8.59 c 1200 2348 306274 7162524 100 1157 10 10 9 8.52/8.61 c 1210 2364 307979 7205544 100 1167 7 7 6 8.52/8.63 c 1220 2380 309741 7269724 100 1177 7 7 6 8.52/8.65 c 1230 2397 311683 7315044 100 1187 8 8 7 8.52/8.68 c 1240 2415 313947 7369067 100 1196 8 9 7 8.62/8.70 c 1250 2432 315906 7417845 100 1201 7 7 6 8.62/8.72 c 1260 2448 317668 7482420 100 1211 7 7 6 8.62/8.77 c 1270 2477 322392 7553515 100 1221 8 20 11 8.72/8.80 c 1280 2500 325675 7609014 100 1231 14 14 12 8.72/8.82 c 1290 2517 327596 7662176 100 1241 8 8 7 8.72/8.86 c 1300 2542 331387 7721879 100 1251 16 16 14 8.72/8.88 c 1310 2561 333903 7772771 100 1261 10 10 9 8.82/8.90 c 1320 2577 335644 7826386 100 1271 7 7 6 8.82/8.92 c 1330 2595 337874 7868937 100 1281 9 9 8 8.82/8.94 c 1340 2611 339555 7917998 100 1291 7 7 6 8.82/8.98 c 1350 2628 341630 7975206 100 1301 8 8 7 8.82/8.99 c 1352 2636 343107 8007537 100 1303 7 7 4 8.92/9.01 c 1360 2650 344799 8064679 100 1311 7 7 6 8.92/9.06 c 1370 2679 349964 8141973 100 1321 20 20 18 8.92/9.08 c 1380 2696 351764 8173444 100 1331 8 8 7 8.92/9.10 c 1390 2711 353207 8221093 100 1341 6 6 5 9.03/9.12 c 1400 2728 355265 8284295 100 1351 8 8 7 9.03/9.14 c 1410 2742 356476 8321527 100 1361 5 5 4 9.03/9.17 c 1420 2767 360187 8380210 100 1371 16 16 14 9.12/9.20 c 1430 2786 362703 8431212 100 1381 10 10 9 9.12/9.22 c 1440 2802 364444 8484729 100 1391 7 7 6 9.12/9.27 c 1450 2832 369345 8556361 100 1401 21 21 19 9.12/9.29 c 1460 2848 371076 8610530 100 1411 7 7 6 9.22/9.33 c 1470 2878 375995 8682051 100 1421 21 21 19 9.22/9.35 c 1480 2894 377745 8736266 100 1431 7 7 6 9.22/9.39 c 1490 2922 382101 8806456 100 1441 19 19 17 9.32/9.42 c 1500 2940 384518 8895797 100 1451 9 9 8 9.32/9.45 c 1510 2957 386593 8956778 100 1461 8 8 7 9.32/9.46 c 1520 2973 388187 8986300 100 1471 7 7 6 9.32/9.48 c 1530 2988 389649 9034381 100 1481 6 6 5 9.42/9.51 c 1540 3005 391653 9097908 100 1491 8 8 7 9.42/9.53 c 1550 3024 394098 9144458 100 1501 10 10 9 9.42/9.55 c 1560 3039 395560 9192949 100 1511 6 6 5 9.42/9.58 c 1570 3056 397618 9257171 100 1521 8 8 7 9.42/9.59 c 1580 3071 399116 9299018 100 1527 5 5 4 9.52/9.61 c 1585 3081 400443 9330895 100 1532 6 6 5 9.52/9.63 c 1590 3092 402019 9371137 100 1537 7 7 5 9.52/9.66 c 1600 3118 405881 9440794 100 1547 17 17 15 9.52/9.68 c 1610 3133 407280 9487690 100 1557 6 6 5 9.62/9.70 c 1620 3148 408801 9529450 100 1567 6 6 5 9.62/9.71 c 1630 3164 410500 9570722 100 1577 7 7 6 9.62/9.74 c 1640 3183 412929 9622303 100 1587 10 10 9 9.62/9.76 c 1650 3200 414894 9672836 100 1593 7 7 6 9.62/9.79 c 1660 3219 417341 9724740 100 1603 10 10 9 9.72/9.81 c 1670 3235 419082 9778358 100 1613 7 7 6 9.72/9.83 c 1680 3253 421288 9829713 100 1623 9 9 8 9.72/9.85 c 1690 3269 423029 9883247 100 1633 7 7 6 9.72/9.87 c 1700 3287 425254 9934925 100 1643 9 9 8 9.72/9.89 c 1710 3303 426989 9986636 100 1653 7 7 6 9.82/9.92 c 1720 3321 429214 10038624 100 1663 9 9 8 9.82/9.93 c 1730 3337 430895 10074703 100 1673 7 7 6 9.82/9.96 c 1740 3355 433120 10127001 100 1683 9 9 8 9.82/9.98 c 1750 3372 435109 10184588 100 1693 7 7 6 9.82/10.00 c 1760 3389 437098 10233836 100 1703 8 8 7 9.92/10.02 c 1770 3405 438839 10287431 100 1713 7 7 6 9.92/10.05 c 1780 3422 440847 10337002 100 1723 8 8 7 9.92/10.07 c 1790 3438 442588 10390507 100 1733 7 7 6 9.92/10.09 c 1800 3455 444596 10440388 100 1743 8 8 7 10.03/10.11 c 1810 3471 446307 10485148 100 1753 7 7 6 10.03/10.13 c 1820 3488 448315 10535339 100 1763 8 8 7 10.03/10.15 c 1830 3505 450268 10582378 100 1767 7 7 6 10.03/10.17 c 1840 3522 452276 10632851 100 1777 8 8 7 10.03/10.19 c 1841 3528 453441 10653032 100 1778 6 6 3 10.12/10.21 c 1850 3541 454773 10708763 100 1787 5 5 4 10.12/10.23 c 1860 3558 456744 10751326 100 1797 8 8 7 10.12/10.25 c 1870 3573 458117 10775558 100 1807 6 6 5 10.12/10.27 c 1880 3587 459518 10836166 100 1817 5 5 4 10.12/10.29 c 1890 3604 461444 10870451 100 1827 8 8 7 10.22/10.31 c 1900 3619 462817 10894693 100 1837 6 6 5 10.22/10.33 c 1910 3633 464218 10955811 100 1847 5 5 4 10.22/10.35 c 1920 3650 466144 10990206 100 1857 8 8 7 10.22/10.37 c 1930 3665 467517 11014458 100 1867 6 6 5 10.22/10.39 c 1940 3679 468918 11076086 100 1877 5 5 4 10.32/10.41 c 1950 3696 470844 11110591 100 1887 8 8 7 10.32/10.42 c 1960 3711 472217 11134853 100 1897 6 6 5 10.32/10.45 c 1970 3725 473618 11196988 100 1907 5 5 4 10.32/10.47 c 1980 3742 475544 11231603 100 1917 8 8 7 10.32/10.48 c 1990 3757 476917 11255875 100 1927 6 6 5 10.42/10.50 c 2000 3771 478318 11318448 100 1937 5 5 4 10.42/10.53 c 2010 3788 480244 11353173 100 1947 8 8 7 10.42/10.54 c 2020 3803 481617 11377455 100 1957 6 6 5 10.42/10.56 c 2030 3817 483018 11440438 100 1967 5 5 4 10.42/10.58 c 2040 3834 484944 11475273 100 1977 8 8 7 10.42/10.59 c 2050 3849 486317 11499565 100 1987 6 6 5 10.52/10.62 c 2060 3863 487718 11564122 100 1997 5 5 4 10.52/10.64 c 2070 3880 489644 11599067 100 2007 8 8 7 10.52/10.65 c 2080 3895 491017 11623369 100 2017 6 6 5 10.52/10.68 c 2090 3909 492418 11699063 100 2027 5 5 4 10.62/10.70 c 2100 3926 494344 11734118 100 2037 8 8 7 10.62/10.72 c 2110 3941 495717 11758430 100 2047 6 6 5 10.62/10.74 c 2120 3955 497054 11831058 100 2057 5 5 4 10.62/10.76 c 2122 3963 498585 11865314 100 2059 7 7 4 10.62/10.78 c 2130 3976 500036 11903312 100 2067 6 6 5 10.62/10.79 c 2140 3991 501409 11927634 100 2077 6 6 5 10.72/10.81 c 2150 4005 502629 11976944 100 2087 5 5 4 10.72/10.85 c 2160 4025 505463 12052925 100 2094 7 8 7 10.72/10.87 c 2170 4042 507394 12109878 100 2104 8 8 7 10.82/10.90 c 2180 4061 509911 12172400 100 2109 8 8 7 10.82/10.92 c 2190 4078 511861 12229675 100 2119 8 8 7 10.82/10.95 c 2200 4096 514128 12286288 100 2121 8 8 7 10.82/10.97 c 2210 4111 515649 12328426 100 2131 6 6 5 10.82/11.00 c 2220 4130 518327 12398831 100 2141 10 10 9 10.92/11.03 c 2230 4148 520563 12455327 100 2144 8 8 7 10.92/11.05 c 2240 4165 522513 12512822 100 2154 8 8 7 10.92/11.08 c 2250 4183 524769 12569338 100 2158 8 8 7 10.92/11.10 c 2260 4200 526719 12627043 100 2168 8 8 7 11.03/11.13 c 2270 4218 528976 12683574 100 2172 8 8 7 11.03/11.15 c 2280 4236 531178 12747081 100 2177 8 8 7 11.03/11.18 c 2290 4254 533435 12803622 100 2180 8 8 7 11.12/11.20 c 2300 4271 535404 12860725 100 2190 8 8 7 11.12/11.23 c 2310 4288 537410 12911349 100 2191 8 8 7 11.12/11.25 c 2320 4303 538931 12953697 100 2201 6 6 5 11.12/11.28 c 2330 4322 541646 13024632 100 2211 10 10 9 11.22/11.31 c 2340 4339 543621 13075127 100 2221 8 8 7 11.22/11.33 c 2350 4356 545590 13132498 100 2231 8 8 7 11.22/11.36 c 2360 4374 548177 13189598 100 2241 9 9 8 11.32/11.40 c 2370 4393 550892 13261043 100 2251 10 10 9 11.32/11.43 c 2380 4414 554041 13315480 100 2258 9 10 8 11.32/11.47 c 2390 4433 556756 13387435 100 2268 10 10 9 11.32/11.49 c 2400 4454 559682 13434722 100 2271 10 10 9 11.42/11.51 c 2410 4470 561311 13461016 100 2281 7 7 6 11.42/11.54 c 2420 4486 563231 13525610 100 2291 7 7 6 11.42/11.56 c 2430 4506 565917 13570345 100 2297 10 10 9 11.42/11.58 c 2431 4513 567376 13594813 100 2298 7 7 3 11.42/11.59 c 2440 4526 568468 13613944 100 2307 5 5 4 11.52/11.61 c 2450 4540 569679 13661992 100 2317 5 5 4 11.52/11.63 c 2460 4560 572384 13706906 100 2319 10 10 9 11.52/11.67 c 2470 4579 575099 13779361 100 2329 10 10 9 11.52/11.69 c 2480 4599 577766 13824130 100 2331 10 10 9 11.62/11.71 c 2490 4615 579433 13850435 100 2341 7 7 6 11.62/11.72 c 2500 4629 580565 13870025 100 2351 5 5 4 11.62/11.74 c 2510 4643 581776 13918383 100 2361 5 5 4 11.62/11.76 c 2520 4663 584462 13963166 100 2363 10 10 9 11.62/11.77 c 2530 4679 586129 13989481 100 2373 7 7 6 11.62/11.79 c 2540 4695 587731 14033973 100 2383 5 7 5 11.72/11.82 c 2550 4713 590031 14087442 100 2389 8 8 7 11.72/11.83 c 2560 4728 591395 14111780 100 2399 6 6 5 11.72/11.85 c 2570 4742 592606 14160448 100 2409 5 5 4 11.72/11.86 c 2580 4757 593989 14184796 100 2419 6 6 5 11.72/11.88 c 2590 4771 595200 14233774 100 2429 5 5 4 11.72/11.89 c 2600 4786 596583 14258132 100 2439 6 6 5 11.82/11.91 c 2610 4800 597806 14309514 100 2449 5 5 4 11.82/11.92 c 2620 4815 599189 14333882 100 2459 6 6 5 11.82/11.95 c 2630 4829 600542 14406924 100 2469 5 5 4 11.82/11.97 c 2640 4848 602988 14449295 100 2470 10 10 9 11.92/12.00 c 2650 4868 605623 14523519 100 2480 11 11 10 11.92/12.03 c 2660 4886 607942 14577016 100 2486 8 8 7 11.92/12.04 c 2670 4901 609325 14601394 100 2496 6 6 5 11.92/12.07 c 2680 4915 610726 14673834 100 2506 5 5 4 11.92/12.10 c 2690 4934 613134 14716057 100 2516 10 10 9 12.03/12.11 c 2700 4950 614820 14742383 100 2526 7 7 6 12.03/12.14 c 2710 4966 616740 14807716 100 2536 7 7 6 12.03/12.17 c 2720 4986 619426 14852540 100 2545 10 10 9 12.03/12.18 c 2730 5002 621112 14878876 100 2555 7 7 6 12.12/12.21 c 2740 5018 623032 14944919 100 2565 7 7 6 12.12/12.22 c 2750 5033 624415 14969307 100 2575 6 6 5 12.12/12.24 c 2760 5047 625816 15037040 100 2585 5 5 4 12.12/12.27 c 2770 5067 628502 15081870 100 2591 10 10 9 12.12/12.28 c 2771 5074 629999 15106380 100 2592 7 7 3 12.22/12.31 c 2780 5089 631869 15168830 100 2601 7 7 6 12.22/12.34 c 2790 5109 634555 15213664 100 2603 10 10 9 12.22/12.35 c 2800 5125 636241 15240011 100 2613 7 7 6 12.22/12.38 c 2810 5143 638433 15313966 100 2618 7 7 6 12.32/12.40 c 2820 5161 640752 15367526 100 2622 8 8 7 12.32/12.42 c 2830 5176 642255 15424268 100 2632 6 6 5 12.32/12.45 c 2840 5190 643656 15491096 100 2642 5 5 4 12.32/12.47 c 2850 5209 646083 15533353 100 2652 10 10 9 12.32/12.49 c 2860 5225 647769 15559710 100 2662 7 7 6 12.42/12.51 c 2870 5241 649640 15620511 100 2672 7 7 6 12.42/12.53 c 2880 5258 651708 15671363 100 2673 8 8 7 12.42/12.55 c 2890 5272 652881 15704123 100 2683 5 5 4 12.42/12.57 c 2900 5289 654915 15754773 100 2693 8 8 7 12.42/12.59 c 2910 5304 656448 15819431 100 2703 6 6 5 12.52/12.62 c 2920 5318 657849 15886369 100 2713 5 5 4 12.52/12.64 c 2930 5338 660535 15931225 100 2720 10 10 9 12.52/12.66 c 2940 5354 662221 15957592 100 2730 7 7 6 12.52/12.68 c 2950 5370 664092 16018903 100 2740 7 7 6 12.62/12.71 c 2960 5388 666411 16072489 100 2747 8 8 7 12.62/12.73 c 2970 5403 667944 16136957 100 2757 6 6 5 12.62/12.75 c 2980 5417 669345 16203950 100 2767 5 5 4 12.62/12.78 c 2990 5436 671791 16246382 100 2768 10 10 9 12.72/12.81 c 3000 5457 674575 16289531 100 2778 12 12 10 12.72/12.82 c 3010 5474 676513 16315928 100 2788 8 8 7 12.72/12.85 c 3020 5490 678384 16377749 100 2798 7 7 6 12.72/12.88 c 3030 5507 680661 16432143 100 2804 7 7 6 12.82/12.90 c 3040 5522 682194 16496421 100 2814 6 6 5 12.82/12.93 c 3050 5536 683613 16563686 100 2824 5 5 4 12.82/12.95 c 3060 5555 686021 16605964 100 2834 10 10 9 12.82/12.96 c 3070 5571 687707 16632341 100 2844 7 7 6 12.82/12.99 c 3080 5587 689578 16694671 100 2854 7 7 6 12.93/13.01 c 3090 5604 691855 16749098 100 2860 7 7 6 12.93/13.04 c 3100 5619 693388 16813186 100 2870 6 6 5 12.93/13.07 c 3110 5634 695090 16881385 100 2880 5 5 4 12.93/13.09 c 3120 5654 697776 16926259 100 2884 10 10 9 13.03/13.11 c 3130 5670 699462 16952646 100 2894 7 7 6 13.03/13.13 c 3140 5686 701333 17015422 100 2904 7 7 6 13.03/13.15 c 3142 5694 702960 17045471 100 2906 7 7 4 13.03/13.17 c 3150 5707 704421 17100641 100 2914 6 6 5 13.03/13.19 c 3160 5721 705841 17161259 100 2924 5 5 4 13.12/13.23 c 3170 5741 708520 17234284 100 2934 11 11 10 13.12/13.24 c 3180 5757 710206 17260681 100 2944 7 7 6 13.12/13.26 c 3190 5773 712077 17323867 100 2954 7 7 6 13.12/13.29 c 3200 5790 714354 17378352 100 2960 7 7 6 13.22/13.31 c 3210 5805 715887 17441973 100 2970 6 6 5 13.22/13.34 c 3220 5819 717307 17503101 100 2980 5 5 4 13.22/13.36 c 3230 5838 719783 17552659 100 2990 10 10 9 13.22/13.39 c 3240 5859 722586 17595818 100 3000 12 12 10 13.32/13.41 c 3250 5876 724524 17622245 100 3010 8 8 7 13.32/13.44 c 3260 5892 726444 17689631 100 3020 7 7 6 13.32/13.47 c 3270 5912 729142 17763021 100 3030 11 11 10 13.32/13.48 c 3280 5928 730828 17789428 100 3040 7 7 6 13.42/13.51 c 3290 5944 732699 17853024 100 3050 7 7 6 13.42/13.53 c 3300 5961 734976 17907589 100 3053 7 7 6 13.42/13.56 c 3310 5981 737674 17981268 100 3063 11 11 10 13.42/13.58 c 3320 5997 739360 18007685 100 3073 7 7 6 13.52/13.60 c 3330 6013 741231 18071691 100 3083 7 7 6 13.52/13.62 c 3340 6029 743130 18123386 100 3093 7 7 6 13.52/13.65 c 3350 6044 744663 18186716 100 3103 6 6 5 13.52/13.67 c 3360 6058 746083 18248354 100 3113 5 5 4 13.62/13.70 c 3370 6078 748781 18322249 100 3123 11 11 10 13.62/13.72 c 3380 6094 750467 18348676 100 3133 7 7 6 13.62/13.74 c 3390 6110 752338 18413092 100 3143 7 7 6 13.62/13.76 c 3400 6127 754503 18467579 100 3152 7 7 6 13.72/13.81 c 3410 6152 758576 18553768 100 3162 6 16 7 13.72/13.82 c 3420 6169 760484 18581586 100 3172 8 8 7 13.72/13.85 c 3430 6185 762355 18646357 100 3182 7 7 6 13.72/13.87 c 3440 6202 764408 18701044 100 3185 7 7 6 13.82/13.91 c 3450 6227 768484 18760585 100 3195 16 16 14 13.82/13.92 c 3460 6244 770411 18788413 100 3205 8 8 7 13.82/13.95 c 3470 6260 772282 18853467 100 3215 7 7 6 13.82/13.97 c 3480 6276 774069 18905163 100 3225 7 7 6 13.93/14.01 c 3490 6301 778145 18964729 100 3235 16 16 14 13.93/14.02 c 3500 6318 780072 18992567 100 3245 8 8 7 13.93/14.05 c 3510 6335 782184 19054602 100 3253 7 7 6 13.93/14.08 c 3520 6352 784237 19109230 100 3259 7 7 6 14.03/14.11 c 3530 6376 788077 19168108 100 3269 15 15 13 14.03/14.13 c 3540 6393 790004 19195956 100 3279 8 8 7 14.03/14.15 c 3550 6409 791914 19256923 100 3289 7 7 6 14.03/14.17 c 3551 6416 793395 19284283 100 3290 7 7 3 14.12/14.20 c 3560 6439 797220 19342340 100 3299 15 15 13 14.12/14.22 c 3570 6456 799147 19370198 100 3309 8 8 7 14.12/14.24 c 3580 6472 801057 19431675 100 3319 7 7 6 14.12/14.27 c 3590 6488 802844 19483584 100 3329 7 7 6 14.22/14.30 c 3600 6512 806703 19543051 100 3339 15 15 13 14.22/14.32 c 3610 6529 808630 19570919 100 3349 8 8 7 14.22/14.34 c 3620 6545 810540 19632906 100 3359 7 7 6 14.22/14.37 c 3630 6562 812593 19687450 100 3368 7 7 6 14.32/14.40 c 3640 6586 816452 19747199 100 3378 15 15 13 14.32/14.42 c 3650 6603 818379 19775077 100 3388 8 8 7 14.32/14.45 c 3660 6619 820289 19837564 100 3398 7 7 6 14.32/14.47 c 3670 6635 822076 19889579 100 3408 7 7 6 14.42/14.50 c 3680 6658 825688 19944417 100 3418 14 14 12 14.42/14.52 c 3690 6675 827615 19972305 100 3428 8 8 7 14.42/14.54 c 3700 6691 829525 20035217 100 3438 7 7 6 14.42/14.57 c 3710 6708 831578 20089789 100 3447 7 7 6 14.52/14.60 c 3720 6731 835209 20144937 100 3457 14 14 12 14.52/14.62 c 3730 6748 837136 20172835 100 3467 8 8 7 14.52/14.65 c 3740 6764 839046 20236157 100 3477 7 7 6 14.52/14.67 c 3750 6780 840833 20288176 100 3487 7 7 6 14.62/14.70 c 3760 6803 844464 20343634 100 3497 14 14 12 14.62/14.72 c 3770 6820 846373 20379636 100 3507 8 8 7 14.62/14.74 c 3780 6836 848059 20406073 100 3517 7 7 6 14.62/14.76 c 3790 6852 849969 20469805 100 3527 7 7 6 14.62/14.79 c 3800 6869 852022 20524449 100 3535 7 7 6 14.72/14.82 c 3810 6892 855653 20580182 100 3545 14 14 12 14.72/14.84 c 3820 6909 857581 20616294 100 3555 8 8 7 14.72/14.86 c 3830 6925 859267 20642741 100 3565 7 7 6 14.72/14.88 c 3840 6941 861177 20706883 100 3575 7 7 6 14.82/14.90 c 3850 6957 862964 20758855 100 3585 7 7 6 14.82/14.92 c 3860 6972 864325 20781835 100 3595 6 6 5 14.82/14.94 c 3870 6987 865997 20839616 100 3605 6 6 5 14.82/14.96 c 3880 7005 868197 20914923 100 3615 9 9 8 14.82/14.98 c 3890 7019 869618 20957425 100 3625 5 5 4 14.82/15.00 c 3900 7035 871377 21011065 100 3635 7 7 6 14.93/15.02 c 3910 7051 873287 21075611 100 3645 7 7 6 14.93/15.05 c 3920 7068 875340 21130396 100 3651 7 7 6 14.93/15.08 c 3930 7091 878971 21186404 100 3661 14 14 12 14.93/15.10 c 3940 7108 880899 21222626 100 3671 8 8 7 15.03/15.12 c 3950 7124 882585 21249083 100 3681 7 7 6 15.03/15.14 c 3960 7140 884495 21313960 100 3691 7 7 6 15.03/15.17 c 3970 7156 886282 21365834 100 3701 7 7 6 15.03/15.18 c 3980 7171 887643 21388824 100 3711 6 6 5 15.12/15.20 c 3990 7184 888963 21450968 100 3721 4 4 3 15.12/15.22 c 4000 7202 891182 21526321 100 3731 9 9 8 15.12/15.23 c 4001 7207 892288 21550582 100 3732 5 5 2 15.12/15.25 c 4010 7222 894014 21601499 100 3741 7 7 6 15.12/15.29 c 4020 7241 896874 21673765 100 3751 10 10 9 15.22/15.31 c 4030 7259 899093 21749128 100 3761 9 9 8 15.22/15.33 c 4040 7273 900514 21791751 100 3771 5 5 4 15.22/15.35 c 4050 7289 902273 21845235 100 3781 7 7 6 15.22/15.38 c 4060 7305 904199 21910391 100 3782 7 7 6 15.22/15.39 c 4070 7319 905620 21953124 100 3792 5 5 4 15.32/15.41 c 4080 7335 907331 21992682 100 3802 7 7 6 15.32/15.44 c 4090 7351 909183 22053269 100 3812 7 7 6 15.32/15.46 c 4100 7368 911236 22108401 100 3814 7 7 6 15.32/15.47 c 4110 7383 912619 22131401 100 3824 6 6 5 15.32/15.49 c 4120 7396 913939 22193983 100 3834 4 4 3 15.42/15.52 c 4130 7413 915943 22264324 100 3844 8 8 7 15.42/15.54 c 4140 7427 917364 22307182 100 3854 5 5 4 15.42/15.56 c 4150 7444 919353 22359510 100 3861 7 7 6 15.42/15.58 c 4160 7460 921273 22427527 100 3871 7 7 6 15.42/15.59 c 4170 7474 922386 22443267 100 3881 5 5 4 15.52/15.61 c 4180 7488 923807 22486240 100 3891 5 5 4 15.52/15.63 c 4190 7504 925566 22539870 100 3901 7 7 6 15.52/15.66 c 4200 7520 927486 22608497 100 3911 7 7 6 15.52/15.67 c 4210 7534 928618 22624247 100 3921 5 5 4 15.52/15.69 c 4220 7548 930039 22667330 100 3931 5 5 4 15.62/15.71 c 4230 7564 931798 22720873 100 3941 7 7 6 15.62/15.73 c 4240 7580 933718 22791424 100 3951 7 7 6 15.62/15.74 c 4250 7594 934850 22807184 100 3961 5 5 4 15.62/15.76 c 4260 7608 936271 22850377 100 3971 5 5 4 15.62/15.78 c 4270 7624 938018 22900365 100 3981 7 7 6 15.72/15.82 c 4280 7640 939938 22983958 100 3991 7 7 6 15.72/15.83 c 4290 7654 941070 22999728 100 4001 5 5 4 15.72/15.85 c 4300 7672 943512 23054051 100 4011 5 9 4 15.72/15.87 c 4310 7688 945198 23080518 100 4021 7 7 6 15.72/15.89 c 4320 7704 947069 23141628 100 4031 7 7 6 15.82/15.91 c 4330 7720 948856 23193289 100 4041 7 7 6 15.82/15.93 c 4340 7734 949988 23209069 100 4051 5 5 4 15.82/15.94 c 4350 7752 952341 23249695 100 4061 9 9 8 15.82/15.96 c 4360 7768 954027 23276172 100 4071 7 7 6 15.82/15.98 c 4370 7784 955898 23337792 100 4081 7 7 6 15.93/16.01 c 4380 7800 957685 23389976 100 4091 7 7 6 15.93/16.02 c 4390 7814 958817 23405766 100 4101 5 5 4 15.93/16.04 c 4400 7832 961170 23446402 100 4111 9 9 8 15.93/16.05 c 4410 7848 962856 23472889 100 4121 7 7 6 15.93/16.07 c 4420 7864 964727 23535019 100 4131 7 7 6 15.93/16.10 c 4430 7881 966780 23589821 100 4138 7 7 6 16.03/16.11 c 4440 7895 967912 23605621 100 4148 5 5 4 16.03/16.13 c 4450 7913 970265 23646267 100 4158 9 9 8 16.03/16.14 c 4460 7929 971951 23672764 100 4168 7 7 6 16.03/16.17 c 4470 7945 973822 23735376 100 4178 7 7 6 16.03/16.19 c 4480 7961 975609 23787309 100 4188 7 7 6 16.12/16.20 c 4490 7975 976741 23803119 100 4198 5 5 4 16.12/16.22 c 4493 7986 978933 23839729 100 4201 9 9 6 16.12/16.23 c 4500 7999 980556 23865624 100 4208 7 7 6 16.12/16.26 c 4510 8015 982427 23928649 100 4218 7 7 6 16.12/16.28 c 4520 8031 984229 23981148 100 4219 7 7 6 16.12/16.29 c 4530 8044 985071 23995158 100 4229 4 4 3 16.22/16.31 c 4540 8057 986391 24058150 100 4239 4 4 3 16.22/16.32 c 4550 8071 987523 24073970 100 4249 5 5 4 16.22/16.34 c 4560 8089 989876 24114629 100 4259 9 9 8 16.22/16.36 c 4570 8105 991562 24141143 100 4269 7 7 6 16.22/16.38 c 4580 8121 993433 24204578 100 4279 7 7 6 16.32/16.40 c 4590 8137 995201 24256184 100 4289 7 7 6 16.32/16.42 c 4600 8151 996381 24295495 100 4299 5 5 4 16.32/16.44 c 4610 8169 998734 24336164 100 4309 9 9 8 16.32/16.46 c 4620 8185 1000585 24400009 100 4319 7 7 6 16.32/16.48 c 4630 8201 1002372 24452150 100 4329 7 7 6 16.42/16.51 c 4640 8218 1004241 24497705 100 4339 6 8 6 16.42/16.53 c 4650 8235 1006294 24552944 100 4342 7 7 6 16.42/16.56 c 4660 8252 1008247 24617072 100 4352 8 8 7 16.42/16.58 c 4670 8268 1010034 24668804 100 4362 7 7 6 16.52/16.60 c 4680 8285 1011987 24733441 100 4372 8 8 7 16.52/16.63 c 4690 8301 1013774 24785688 100 4382 7 7 6 16.52/16.65 c 4700 8318 1015727 24850771 100 4392 8 8 7 16.52/16.68 c 4710 8335 1017780 24905960 100 4396 7 7 6 16.62/16.70 c 4720 8352 1019751 24971077 100 4406 8 8 7 16.62/16.72 c 4730 8368 1021538 25022868 100 4416 7 7 6 16.62/16.75 c 4740 8387 1024011 25094057 100 4425 8 8 7 16.62/16.78 c 4750 8403 1025798 25146359 100 4435 7 7 6 16.72/16.80 c 4760 8419 1027566 25189180 100 4445 7 7 6 16.72/16.80 c 4770 8431 1028327 25203199 100 4455 3 3 2 16.72/16.82 c 4780 8445 1029708 25252999 100 4465 5 5 4 16.72/16.84 c 4790 8461 1031476 25296275 100 4475 7 7 6 16.72/16.85 c 4800 8473 1032237 25310304 100 4485 3 3 2 16.72/16.86 c 4810 8487 1033618 25360314 100 4495 5 5 4 16.72/16.88 c 4820 8503 1035386 25404000 100 4505 7 7 6 16.82/16.91 c 4830 8520 1037874 25460763 100 4515 8 8 7 16.82/16.93 c 4840 8535 1039487 25497035 100 4516 6 6 5 16.82/16.95 c 4850 8553 1041861 25537717 100 4526 9 9 8 16.82/16.97 c 4860 8569 1043712 25601972 100 4536 7 7 6 16.82/16.99 c 4870 8585 1045684 25657230 100 4540 6 6 5 16.93/17.02 c 4880 8602 1047748 25717939 100 4550 8 8 7 16.93/17.04 c 4890 8617 1049435 25769785 100 4560 6 6 5 16.93/17.06 c 4900 8633 1051138 25810339 100 4570 7 7 6 16.93/17.07 c 4910 8651 1053512 25851031 100 4580 9 9 8 16.93/17.09 c 4920 8667 1055173 25891595 100 4590 7 7 6 17.03/17.11 c 4930 8685 1057547 25932297 100 4600 9 9 8 17.03/17.13 c 4940 8702 1059467 25977390 100 4610 7 7 6 17.03/17.14 c 4950 8720 1061841 26018102 100 4620 9 9 8 17.03/17.16 c 4960 8736 1063502 26058668 100 4630 7 7 6 17.03/17.18 c 4970 8754 1065876 26099390 100 4640 9 9 8 17.12/17.20 c 4980 8771 1067796 26144491 100 4645 7 7 6 17.12/17.21 c 4990 8789 1070170 26185223 100 4655 9 9 8 17.12/17.24 c 5035 8842 1073294 26290824 100 4659 7 7 6 17.32/17.41 c 5631 9447 1090361 27055174 100 4953 9 9 8 17.93/18.03 c 6286 10114 1116344 29297405 100 5013 8 8 7 18.32/18.44 c 7006 10873 1148020 30660394 100 5426 3 15 7 18.82/18.97 c 7798 11718 1187705 32577068 100 5561 9 18 17 19.72/19.84 c 8669 12717 1259558 33943541 100 5945 16 19 17 20.72/20.84 c 9627 13691 1314469 35801836 100 6309 7 14 13 21.52/21.69 c 10680 14762 1355818 38948958 100 6319 10 10 9 21.92/22.02 c 11838 15947 1393344 40137569 100 6532 6 16 12 23.02/23.13 c 13111 17237 1442173 44100994 100 6586 8 8 7 24.21/24.37 c 14511 18673 1514864 46517815 100 6639 15 15 14 25.62/25.78 c 16051 20235 1574122 53799072 100 6749 10 10 9 26.93/27.10 c 17745 22017 1714614 57684724 100 7250 7 22 18 29.92/30.07 c 19608 24049 2070997 61568154 100 7354 15 20 19 30.42/30.56 c 21657 26117 2131971 63851432 100 7604 13 13 12 30.82/30.99 c 23910 28440 2199420 65247353 100 7774 10 11 10 31.22/31.31 c 26388 30992 2271152 65911863 100 8049 15 23 22 38.31/38.41 c 29113 36600 3247608 69457333 100 8371 14 19 17 39.11/39.22 c 32110 39623 3329526 72446813 100 8494 13 13 12 42.11/42.21 c 35406 42967 3444320 83086154 100 8550 4 4 3 45.32/45.47 c 39031 46737 3624978 86874070 100 8612 10 17 16 46.82/46.91 c 43018 50743 3732720 94276596 100 8666 7 11 10 48.31/48.47 c 47403 55608 3962749 95630021 100 8990 10 30 18 50.41/50.50 c 52226 60472 4110445 99487698 100 9088 15 15 14 54.41/54.52 c 57531 65869 4314963 116945678 100 9467 7 12 8 61.21/61.35 c 63366 71885 4623542 127094471 100 9632 14 15 14 61.91/62.08 c 69784 78347 4782810 130999126 100 9680 5 5 4 65.62/65.72 c 76843 85469 5022513 137349341 100 9935 7 9 8 70.61/70.74 c 84607 93278 5310493 168078218 100 10084 12 19 18 73.51/73.69 c 93147 103089 5776168 171776021 100 10308 21 25 23 78.81/78.93 c 102541 112715 6109783 182505074 100 10463 7 12 8 82.31/82.46 c 112874 123290 6481447 196333254 100 10675 8 12 11 104.21/104.38 c 124240 135212 7434155 229757157 100 10918 7 21 20 113.51/113.63 c 136742 147827 7887004 280737075 100 11078 8 10 9 116.02/116.13 c 150494 161663 8233930 293236506 100 11210 8 11 10 125.92/126.02 c 165621 177157 8884726 321608556 100 11367 10 17 13 138.02/138.16 c 182260 194794 9915891 351367618 100 11481 5 17 15 157.51/157.69 c 200562 213999 11044532 392949406 100 11506 14 26 19 180.81/180.93 c 220694 234371 12010367 460188953 100 11861 6 15 11 195.21/195.38 c 242839 261932 13994894 481260699 100 11928 6 22 15 206.20/206.35 c 267198 286977 14826723 516966319 100 12185 11 14 13 237.41/237.54 c 293992 313906 16305901 613949335 100 12457 4 12 11 241.51/241.62 c 323465 343581 17132706 631445937 100 12662 13 15 14 250.50/250.62 c 355885 376875 18129510 658324996 100 13219 4 20 15 275.01/275.14 c 391547 413418 19460533 754895204 100 13275 6 16 11 291.91/292.06 c 430775 453200 20813106 814711413 100 13590 10 14 13 322.30/322.44 c 473925 497056 22655012 930411552 100 13933 2 17 16 330.10/330.29 c 521390 546052 24276433 939523843 100 14195 12 22 20 348.41/348.57 c 573601 598477 26190177 1010168811 100 14438 5 18 17 370.70/370.83 c 631033 656427 28041472 1108338197 100 14817 5 19 17 391.21/391.33 c 694208 721422 30405443 1170868253 100 15050 12 27 24 447.61/447.73 c 763700 800741 35745195 1278583337 100 15316 6 21 16 495.70/495.83 c 840141 881189 40310078 1407031916 100 15747 8 26 20 522.71/522.85 c 924226 965718 42677737 1499547805 100 16140 14 16 15 617.93/618.04 c 1016719 1072915 52233572 1682718774 100 16342 6 28 25 702.04/702.13 c 1118461 1175650 56313460 2115061988 100 16420 7 11 9 761.83/761.95 c 1230377 1290323 60816599 2401333137 100 16525 10 12 11 812.22/812.37 c 1353484 1413783 65118236 2573089183 100 17075 9 18 17 874.53/874.61 c 1488901 1552754 70405891 2760305765 100 17827 8 11 10 1006.44/1006.59 c 1637859 1706001 80702839 3192704537 100 17936 8 17 13 1076.07/1076.15 c 1801712 1873130 86114652 3503246445 100 18392 6 11 10 1118.66/1118.75 c 1981950 2054166 90822617 3726796023 100 18833 6 9 8 1174.26/1174.39 c 2180211 2254667 97734893 3930187439 100 18995 12 19 18 1502.70/1502.72 c 2398298 2595676 138745849 4431819725 100 19341 4 19 14 1723.52/1723.54 c 2638193 2841900 152435199 4707603969 100 19814 7 26 23 1857.04/1857.04 c 2902077 3112230 162776925 5364049373 100 19950 10 11 10 2098.65/2098.65 c 3192349 3440507 185012218 5799769588 100 20670 8 20 17 2332.18/2332.11 c 3511648 3772212 208385764 6377995716 100 20932 9 26 22 2520.10/2520.00 2520.10/2520.00 c *** INTERRUPTED *** 2520.10/2520.00 c restarts : 585 2520.10/2520.00 c conflicts : 3699516 (1468 /sec) 2520.10/2520.00 c decisions : 3963527 (1573 /sec) 2520.10/2520.00 c propagations : 7188552671 (2853391 /sec) 2520.10/2520.00 c root propagations : 10000 2520.10/2520.00 c filter calls : 217937499 (86507 /sec) 2520.10/2520.00 c useless filter calls : 181281564 (83 %) 2520.10/2520.00 c 2520.10/2520.00 c clauses : 57319532 2520.10/2520.00 c SAT propagations : 31020 2520.10/2520.00 c SAT conflicts : 0 (0 learnts) 2520.10/2520.00 c Memory used : 2481.71 MB 2520.10/2520.00 c CPU time : 2519.3 s 2520.10/2520.00 2520.10/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 (15021 MiB free)
memory of node 1: 16384 MiB (15458 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266389-1502565999/watcher-4266389-1502565999 -o /tmp/evaluation-result-4266389-1502565999/solver-4266389-1502565999 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502565153-967 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266389-1502565999.xml
running on 4 cores: 1,3,5,7
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=996, runsolver pid=989
[startup+0.101055 s]*
/proc/loadavg: 0.00 0.01 0.05 4/185 997
/proc/meminfo: memFree=31210816/32770624 swapFree=67108860/67108860
[pid=996] ppid=989 vsize=28320 memory=4652 CPUtime=0.03 cores=1,3,5,7
/proc/996/stat : 996 (cosoco) R 989 996 897 0 -1 4202496 1386 0 0 0 3 0 0 0 20 0 1 0 58820666 28999680 1163 18446744073709551615 4194304 5972588 140730547790048 140730547783608 139905785986021 0 0 1 0 0 0 0 17 1 0 0 6 0 0 8070896 8075904 36487168 140730547798468 140730547798568 140730547798568 140730547802062 0
/proc/996/statm: 7080 1163 791 435 0 443 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 28320 KiB
Current children cumulated memory: 4652 KiB
[startup+0.209087 s]*
/proc/loadavg: 0.00 0.01 0.05 3/183 997
/proc/meminfo: memFree=31209064/32770624 swapFree=67108860/67108860
[pid=996] ppid=989 vsize=30456 memory=6924 CPUtime=0.14 cores=1,3,5,7
/proc/996/stat : 996 (cosoco) R 989 996 897 0 -1 4202496 1899 0 0 0 14 0 0 0 20 0 1 0 58820666 31186944 1731 18446744073709551615 4194304 5972588 140730547790048 140730547783608 4967517 0 0 1 0 0 0 0 17 1 0 0 6 0 0 8070896 8075904 36487168 140730547798468 140730547798568 140730547798568 140730547802062 0
/proc/996/statm: 7614 1731 792 435 0 977 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 30456 KiB
Current children cumulated memory: 6924 KiB
[startup+0.308928 s]*
/proc/loadavg: 0.00 0.01 0.05 2/181 999
/proc/meminfo: memFree=31205912/32770624 swapFree=67108860/67108860
[pid=996] ppid=989 vsize=33636 memory=10196 CPUtime=0.23 cores=1,3,5,7
/proc/996/stat : 996 (cosoco) R 989 996 897 0 -1 4202496 2713 0 0 0 23 0 0 0 20 0 1 0 58820666 34443264 2549 18446744073709551615 4194304 5972588 140730547790048 140730547783608 139905785986021 0 0 1 0 0 0 0 17 1 0 0 6 0 0 8070896 8075904 36487168 140730547798468 140730547798568 140730547798568 140730547802062 0
/proc/996/statm: 8409 2549 792 435 0 1772 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 33636 KiB
Current children cumulated memory: 10196 KiB
[startup+0.700275 s]
/proc/loadavg: 0.00 0.01 0.05 3/184 1012
/proc/meminfo: memFree=31198828/32770624 swapFree=67108860/67108860
[pid=996] ppid=989 vsize=46304 memory=22760 CPUtime=0.61 cores=1,3,5,7
/proc/996/stat : 996 (cosoco) R 989 996 897 0 -1 4202496 5876 0 0 0 61 0 0 0 20 0 1 0 58820666 47415296 5690 18446744073709551615 4194304 5972588 140730547790048 140730547783608 139905785986021 0 0 1 0 0 0 0 17 1 0 0 6 0 0 8070896 8075904 36487168 140730547798468 140730547798568 140730547798568 140730547802062 0
/proc/996/statm: 11576 5690 792 435 0 4939 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 46304 KiB
Current children cumulated memory: 22760 KiB
[startup+1.50039 s]
/proc/loadavg: 0.16 0.05 0.06 3/181 1032
/proc/meminfo: memFree=31182144/32770624 swapFree=67108860/67108860
[pid=996] ppid=989 vsize=256168 memory=221908 CPUtime=1.42 cores=1,3,5,7
/proc/996/stat : 996 (cosoco) R 989 996 897 0 -1 4202496 40338 0 0 0 135 7 0 0 20 0 1 0 58820666 262316032 55477 18446744073709551615 4194304 5972588 140730547790048 140730547786840 5280489 0 0 1 0 0 0 0 17 1 0 0 6 0 0 8070896 8075904 36487168 140730547798468 140730547798568 140730547798568 140730547802062 0
/proc/996/statm: 64042 55477 820 435 0 57405 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 256168 KiB
Current children cumulated memory: 221908 KiB
[startup+3.1092 s]
/proc/loadavg: 0.16 0.05 0.06 2/179 1106
/proc/meminfo: memFree=30134644/32770624 swapFree=67108860/67108860
[pid=996] ppid=989 vsize=1333932 memory=1142520 CPUtime=3.02 cores=1,3,5,7
/proc/996/stat : 996 (cosoco) R 989 996 897 0 -1 4202496 165320 0 0 0 273 29 0 0 20 0 1 0 58820666 1365946368 285630 18446744073709551615 4194304 5972588 140730547790048 140730547786840 139905786055211 0 0 1 0 0 0 0 17 1 0 0 6 0 0 8070896 8075904 36487168 140730547798468 140730547798568 140730547798568 140730547802062 0
/proc/996/statm: 333483 285630 820 435 0 326846 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 1333932 KiB
Current children cumulated memory: 1142520 KiB
[startup+6.30035 s]
/proc/loadavg: 0.23 0.06 0.06 2/181 1131
/proc/meminfo: memFree=28823040/32770624 swapFree=67108860/67108860
[pid=996] ppid=989 vsize=2518944 memory=2389000 CPUtime=6.22 cores=1,3,5,7
/proc/996/stat : 996 (cosoco) R 989 996 897 0 -1 4202496 341953 0 0 0 558 64 0 0 20 0 1 0 58820666 2579398656 597250 18446744073709551615 4194304 5972588 140730547790048 140730547787080 5071097 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 8070896 8075904 36487168 140730547798468 140730547798568 140730547798568 140730547802062 0
/proc/996/statm: 629736 597250 837 435 0 623099 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 2518944 KiB
Current children cumulated memory: 2389000 KiB
[startup+12.7003 s]
/proc/loadavg: 0.37 0.10 0.07 3/185 1251
/proc/meminfo: memFree=28088076/32770624 swapFree=67108860/67108860
[pid=996] ppid=989 vsize=2522508 memory=2392512 CPUtime=12.62 cores=1,3,5,7
/proc/996/stat : 996 (cosoco) R 989 996 897 0 -1 4202496 346377 0 0 0 1198 64 0 0 20 0 1 0 58820666 2583048192 598128 18446744073709551615 4194304 5972588 140730547790048 140730547787352 4965376 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 8070896 8075904 36487168 140730547798468 140730547798568 140730547798568 140730547802062 0
/proc/996/statm: 630627 598128 837 435 0 623990 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 2522508 KiB
Current children cumulated memory: 2392512 KiB
[startup+25.5002 s]
/proc/loadavg: 0.62 0.16 0.09 3/184 1251
/proc/meminfo: memFree=22866004/32770624 swapFree=67108860/67108860
[pid=996] ppid=989 vsize=2524224 memory=2394268 CPUtime=25.42 cores=1,3,5,7
/proc/996/stat : 996 (cosoco) R 989 996 897 0 -1 4202496 364730 0 0 0 2476 66 0 0 20 0 1 0 58820666 2584805376 598567 18446744073709551615 4194304 5972588 140730547790048 140730547787080 4969236 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 8070896 8075904 36487168 140730547798468 140730547798568 140730547798568 140730547802062 0
/proc/996/statm: 631056 598567 837 435 0 624419 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2524224 KiB
Current children cumulated memory: 2394268 KiB
[startup+51.1092 s]
/proc/loadavg: 1.10 0.32 0.15 3/184 1312
/proc/meminfo: memFree=27372640/32770624 swapFree=67108860/67108860
[pid=996] ppid=989 vsize=2526336 memory=2396500 CPUtime=51.02 cores=1,3,5,7
/proc/996/stat : 996 (cosoco) R 989 996 897 0 -1 4202496 395789 0 0 0 5035 67 0 0 20 0 1 0 58820666 2586968064 599125 18446744073709551615 4194304 5972588 140730547790048 140730547786872 5099648 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 8070896 8075904 36487168 140730547798468 140730547798568 140730547798568 140730547802062 0
/proc/996/statm: 631584 599125 837 435 0 624947 0
Current children cumulated CPU time: 51.02 s
Current children cumulated vsize: 2526336 KiB
Current children cumulated memory: 2396500 KiB
[startup+102.3 s]
/proc/loadavg: 1.61 0.58 0.24 3/184 1313
/proc/meminfo: memFree=27364076/32770624 swapFree=67108860/67108860
[pid=996] ppid=989 vsize=2527920 memory=2398112 CPUtime=102.21 cores=1,3,5,7
/proc/996/stat : 996 (cosoco) R 989 996 897 0 -1 4202496 412285 0 0 0 10153 68 0 0 20 0 1 0 58820666 2588590080 599528 18446744073709551615 4194304 5972588 140730547790048 140730547787080 5071413 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 8070896 8075904 36487168 140730547798468 140730547798568 140730547798568 140730547802062 0
/proc/996/statm: 631980 599528 837 435 0 625343 0
Current children cumulated CPU time: 102.21 s
Current children cumulated vsize: 2527920 KiB
Current children cumulated memory: 2398112 KiB
[startup+162.3 s]
/proc/loadavg: 1.81 0.82 0.35 3/181 1315
/proc/meminfo: memFree=27360236/32770624 swapFree=67108860/67108860
[pid=996] ppid=989 vsize=2530824 memory=2400976 CPUtime=162.2 cores=1,3,5,7
/proc/996/stat : 996 (cosoco) R 989 996 897 0 -1 4202496 436292 0 0 0 16151 69 0 0 20 0 1 0 58820666 2591563776 600244 18446744073709551615 4194304 5972588 140730547790048 140730547787080 5053099 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 8070896 8075904 36487168 140730547798468 140730547798568 140730547798568 140730547802062 0
/proc/996/statm: 632706 600244 837 435 0 626069 0
Current children cumulated CPU time: 162.2 s
Current children cumulated vsize: 2530824 KiB
Current children cumulated memory: 2400976 KiB
[startup+222.3 s]
/proc/loadavg: 1.93 1.04 0.45 3/181 1317
/proc/meminfo: memFree=27357940/32770624 swapFree=67108860/67108860
[pid=996] ppid=989 vsize=2532672 memory=2402884 CPUtime=222.21 cores=1,3,5,7
/proc/996/stat : 996 (cosoco) R 989 996 897 0 -1 4202496 456828 0 0 0 22150 71 0 0 20 0 1 0 58820666 2593456128 600721 18446744073709551615 4194304 5972588 140730547790048 140730547787080 4962240 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 8070896 8075904 36487168 140730547798468 140730547798568 140730547798568 140730547802062 0
/proc/996/statm: 633168 600721 837 435 0 626531 0
Current children cumulated CPU time: 222.21 s
Current children cumulated vsize: 2532672 KiB
Current children cumulated memory: 2402884 KiB
[startup+282.3 s]
/proc/loadavg: 2.20 1.26 0.56 3/181 1319
/proc/meminfo: memFree=27355520/32770624 swapFree=67108860/67108860
[pid=996] ppid=989 vsize=2533344 memory=2403516 CPUtime=282.2 cores=1,3,5,7
/proc/996/stat : 996 (cosoco) R 989 996 897 0 -1 4202496 472966 0 0 0 28149 71 0 0 20 0 1 0 58820666 2594144256 600879 18446744073709551615 4194304 5972588 140730547790048 140730547787352 4965373 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 8070896 8075904 36487168 140730547798468 140730547798568 140730547798568 140730547802062 0
/proc/996/statm: 633336 600879 837 435 0 626699 0
Current children cumulated CPU time: 282.2 s
Current children cumulated vsize: 2533344 KiB
Current children cumulated memory: 2403516 KiB
[startup+342.3 s]
/proc/loadavg: 2.22 1.45 0.68 3/181 1321
/proc/meminfo: memFree=27352264/32770624 swapFree=67108860/67108860
[pid=996] ppid=989 vsize=2534400 memory=2406624 CPUtime=342.2 cores=1,3,5,7
/proc/996/stat : 996 (cosoco) R 989 996 897 0 -1 4202496 492514 0 0 0 34148 72 0 0 20 0 1 0 58820666 2595225600 601656 18446744073709551615 4194304 5972588 140730547790048 140730547787080 5072002 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 8070896 8075904 36487168 140730547798468 140730547798568 140730547798568 140730547802062 0
/proc/996/statm: 633600 601656 837 435 0 626963 0
Current children cumulated CPU time: 342.2 s
Current children cumulated vsize: 2534400 KiB
Current children cumulated memory: 2406624 KiB
[startup+402.3 s]
/proc/loadavg: 2.08 1.55 0.76 3/181 1323
/proc/meminfo: memFree=27351300/32770624 swapFree=67108860/67108860
[pid=996] ppid=989 vsize=2534928 memory=2407204 CPUtime=402.21 cores=1,3,5,7
/proc/996/stat : 996 (cosoco) R 989 996 897 0 -1 4202496 514636 0 0 0 40147 74 0 0 20 0 1 0 58820666 2595766272 601801 18446744073709551615 4194304 5972588 140730547790048 140730547787080 5071129 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 8070896 8075904 36487168 140730547798468 140730547798568 140730547798568 140730547802062 0
/proc/996/statm: 633732 601801 837 435 0 627095 0
Current children cumulated CPU time: 402.21 s
Current children cumulated vsize: 2534928 KiB
Current children cumulated memory: 2407204 KiB
[startup+462.3 s]
/proc/loadavg: 2.03 1.63 0.84 3/185 1340
/proc/meminfo: memFree=27345276/32770624 swapFree=67108860/67108860
[pid=996] ppid=989 vsize=2535720 memory=2408012 CPUtime=462.2 cores=1,3,5,7
/proc/996/stat : 996 (cosoco) R 989 996 897 0 -1 4202496 528203 0 0 0 46146 74 0 0 20 0 1 0 58820666 2596577280 602003 18446744073709551615 4194304 5972588 140730547790048 140730547787080 4965382 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36487168 140730547798468 140730547798568 140730547798568 140730547802062 0
/proc/996/statm: 633930 602003 837 435 0 627293 0
Current children cumulated CPU time: 462.2 s
Current children cumulated vsize: 2535720 KiB
Current children cumulated memory: 2408012 KiB
################
# More data... #
################
/proc/996/statm: 635118 603357 837 435 0 628481 0
Current children cumulated CPU time: 1722.32 s
Current children cumulated vsize: 2540472 KiB
Current children cumulated memory: 2413428 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.72 3/181 1415
/proc/meminfo: memFree=27335976/32770624 swapFree=67108860/67108860
[pid=996] ppid=989 vsize=2540472 memory=2413456 CPUtime=1782.32 cores=1,3,5,7
/proc/996/stat : 996 (cosoco) R 989 996 897 0 -1 4202496 615398 0 0 0 178153 79 0 0 20 0 1 0 58820666 2601443328 603364 18446744073709551615 4194304 5972588 140730547790048 140730547787352 4965453 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36487168 140730547798468 140730547798568 140730547798568 140730547802062 0
/proc/996/statm: 635118 603364 837 435 0 628481 0
Current children cumulated CPU time: 1782.32 s
Current children cumulated vsize: 2540472 KiB
Current children cumulated memory: 2413456 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.74 3/181 1417
/proc/meminfo: memFree=27334380/32770624 swapFree=67108860/67108860
[pid=996] ppid=989 vsize=2540472 memory=2413456 CPUtime=1842.33 cores=1,3,5,7
/proc/996/stat : 996 (cosoco) R 989 996 897 0 -1 4202496 616235 0 0 0 184154 79 0 0 20 0 1 0 58820666 2601443328 603364 18446744073709551615 4194304 5972588 140730547790048 140730547787352 4965840 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36487168 140730547798468 140730547798568 140730547798568 140730547802062 0
/proc/996/statm: 635118 603364 837 435 0 628481 0
Current children cumulated CPU time: 1842.33 s
Current children cumulated vsize: 2540472 KiB
Current children cumulated memory: 2413456 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 1.75 3/181 1419
/proc/meminfo: memFree=27332548/32770624 swapFree=67108860/67108860
[pid=996] ppid=989 vsize=2540736 memory=2413692 CPUtime=1902.33 cores=1,3,5,7
/proc/996/stat : 996 (cosoco) R 989 996 897 0 -1 4202496 618778 0 0 0 190154 79 0 0 20 0 1 0 58820666 2601713664 603423 18446744073709551615 4194304 5972588 140730547790048 140730547787080 5072004 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36487168 140730547798468 140730547798568 140730547798568 140730547802062 0
/proc/996/statm: 635184 603423 837 435 0 628547 0
Current children cumulated CPU time: 1902.33 s
Current children cumulated vsize: 2540736 KiB
Current children cumulated memory: 2413692 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.77 3/181 1421
/proc/meminfo: memFree=27330840/32770624 swapFree=67108860/67108860
[pid=996] ppid=989 vsize=2540736 memory=2413696 CPUtime=1962.34 cores=1,3,5,7
/proc/996/stat : 996 (cosoco) R 989 996 897 0 -1 4202496 619733 0 0 0 196155 79 0 0 20 0 1 0 58820666 2601713664 603424 18446744073709551615 4194304 5972588 140730547790048 140730547787080 5070704 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36487168 140730547798468 140730547798568 140730547798568 140730547802062 0
/proc/996/statm: 635184 603424 837 435 0 628547 0
Current children cumulated CPU time: 1962.34 s
Current children cumulated vsize: 2540736 KiB
Current children cumulated memory: 2413696 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.78 3/181 1423
/proc/meminfo: memFree=27329564/32770624 swapFree=67108860/67108860
[pid=996] ppid=989 vsize=2540736 memory=2413696 CPUtime=2022.34 cores=1,3,5,7
/proc/996/stat : 996 (cosoco) R 989 996 897 0 -1 4202496 621517 0 0 0 202155 79 0 0 20 0 1 0 58820666 2601713664 603424 18446744073709551615 4194304 5972588 140730547790048 140730547787080 5072002 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36487168 140730547798468 140730547798568 140730547798568 140730547802062 0
/proc/996/statm: 635184 603424 837 435 0 628547 0
Current children cumulated CPU time: 2022.34 s
Current children cumulated vsize: 2540736 KiB
Current children cumulated memory: 2413696 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 1.80 3/181 1425
/proc/meminfo: memFree=27329716/32770624 swapFree=67108860/67108860
[pid=996] ppid=989 vsize=2540736 memory=2413696 CPUtime=2082.35 cores=1,3,5,7
/proc/996/stat : 996 (cosoco) R 989 996 897 0 -1 4202496 622661 0 0 0 208156 79 0 0 20 0 1 0 58820666 2601713664 603424 18446744073709551615 4194304 5972588 140730547790048 140730547787080 5072002 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36487168 140730547798468 140730547798568 140730547798568 140730547802062 0
/proc/996/statm: 635184 603424 837 435 0 628547 0
Current children cumulated CPU time: 2082.35 s
Current children cumulated vsize: 2540736 KiB
Current children cumulated memory: 2413696 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 1.81 3/181 1427
/proc/meminfo: memFree=27329240/32770624 swapFree=67108860/67108860
[pid=996] ppid=989 vsize=2541000 memory=2413988 CPUtime=2142.35 cores=1,3,5,7
/proc/996/stat : 996 (cosoco) R 989 996 897 0 -1 4202496 624730 0 0 0 214156 79 0 0 20 0 1 0 58820666 2601984000 603497 18446744073709551615 4194304 5972588 140730547790048 140730547787080 4965342 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36487168 140730547798468 140730547798568 140730547798568 140730547802062 0
/proc/996/statm: 635250 603497 837 435 0 628613 0
Current children cumulated CPU time: 2142.35 s
Current children cumulated vsize: 2541000 KiB
Current children cumulated memory: 2413988 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 1.82 3/181 1429
/proc/meminfo: memFree=27328896/32770624 swapFree=67108860/67108860
[pid=996] ppid=989 vsize=2541000 memory=2414008 CPUtime=2202.36 cores=1,3,5,7
/proc/996/stat : 996 (cosoco) R 989 996 897 0 -1 4202496 626066 0 0 0 220156 80 0 0 20 0 1 0 58820666 2601984000 603502 18446744073709551615 4194304 5972588 140730547790048 140730547787080 5099648 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36487168 140730547798468 140730547798568 140730547798568 140730547802062 0
/proc/996/statm: 635250 603502 837 435 0 628613 0
Current children cumulated CPU time: 2202.36 s
Current children cumulated vsize: 2541000 KiB
Current children cumulated memory: 2414008 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 1.83 3/184 1445
/proc/meminfo: memFree=27324664/32770624 swapFree=67108860/67108860
[pid=996] ppid=989 vsize=2541000 memory=2414020 CPUtime=2262.37 cores=1,3,5,7
/proc/996/stat : 996 (cosoco) R 989 996 897 0 -1 4202496 627459 0 0 0 226157 80 0 0 20 0 1 0 58820666 2601984000 603505 18446744073709551615 4194304 5972588 140730547790048 140730547787080 5053066 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36487168 140730547798468 140730547798568 140730547798568 140730547802062 0
/proc/996/statm: 635250 603505 837 435 0 628613 0
Current children cumulated CPU time: 2262.37 s
Current children cumulated vsize: 2541000 KiB
Current children cumulated memory: 2414020 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 1.84 3/184 1447
/proc/meminfo: memFree=27325208/32770624 swapFree=67108860/67108860
[pid=996] ppid=989 vsize=2541000 memory=2414024 CPUtime=2322.37 cores=1,3,5,7
/proc/996/stat : 996 (cosoco) R 989 996 897 0 -1 4202496 628605 0 0 0 232157 80 0 0 20 0 1 0 58820666 2601984000 603506 18446744073709551615 4194304 5972588 140730547790048 140730547787080 5320287 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36487168 140730547798468 140730547798568 140730547798568 140730547802062 0
/proc/996/statm: 635250 603506 837 435 0 628613 0
Current children cumulated CPU time: 2322.37 s
Current children cumulated vsize: 2541000 KiB
Current children cumulated memory: 2414024 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 1.85 3/181 1449
/proc/meminfo: memFree=27327840/32770624 swapFree=67108860/67108860
[pid=996] ppid=989 vsize=2541264 memory=2414252 CPUtime=2382.38 cores=1,3,5,7
/proc/996/stat : 996 (cosoco) R 989 996 897 0 -1 4202496 630844 0 0 0 238158 80 0 0 20 0 1 0 58820666 2602254336 603563 18446744073709551615 4194304 5972588 140730547790048 140730547787080 4962405 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36487168 140730547798468 140730547798568 140730547798568 140730547802062 0
/proc/996/statm: 635316 603563 837 435 0 628679 0
Current children cumulated CPU time: 2382.38 s
Current children cumulated vsize: 2541264 KiB
Current children cumulated memory: 2414252 KiB
[startup+2442.3 s]
/proc/loadavg: 2.06 2.00 1.87 3/181 1451
/proc/meminfo: memFree=27328568/32770624 swapFree=67108860/67108860
[pid=996] ppid=989 vsize=2541264 memory=2414256 CPUtime=2442.38 cores=1,3,5,7
/proc/996/stat : 996 (cosoco) R 989 996 897 0 -1 4202496 631865 0 0 0 244158 80 0 0 20 0 1 0 58820666 2602254336 603564 18446744073709551615 4194304 5972588 140730547790048 140730547787080 5071400 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36487168 140730547798468 140730547798568 140730547798568 140730547802062 0
/proc/996/statm: 635316 603564 837 435 0 628679 0
Current children cumulated CPU time: 2442.38 s
Current children cumulated vsize: 2541264 KiB
Current children cumulated memory: 2414256 KiB
[startup+2502.3 s]
/proc/loadavg: 2.02 2.00 1.88 3/181 1453
/proc/meminfo: memFree=27328940/32770624 swapFree=67108860/67108860
[pid=996] ppid=989 vsize=2541264 memory=2414264 CPUtime=2502.39 cores=1,3,5,7
/proc/996/stat : 996 (cosoco) R 989 996 897 0 -1 4202496 632887 0 0 0 250159 80 0 0 20 0 1 0 58820666 2602254336 603566 18446744073709551615 4194304 5972588 140730547790048 140730547787080 4965312 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36487168 140730547798468 140730547798568 140730547798568 140730547802062 0
/proc/996/statm: 635316 603566 837 435 0 628679 0
Current children cumulated CPU time: 2502.39 s
Current children cumulated vsize: 2541264 KiB
Current children cumulated memory: 2414264 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.02 2.00 1.88 3/181 1454
/proc/meminfo: memFree=27329064/32770624 swapFree=67108860/67108860
[pid=996] ppid=989 vsize=2541264 memory=2414264 CPUtime=2520.1 cores=1,3,5,7
/proc/996/stat : 996 (cosoco) R 989 996 897 0 -1 4202496 633013 0 0 0 251930 80 0 0 20 0 1 0 58820666 2602254336 603566 18446744073709551615 4194304 5972588 140730547790048 140730547787080 5099648 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36487168 140730547798468 140730547798568 140730547798568 140730547802062 0
/proc/996/statm: 635316 603566 837 435 0 628679 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 2541264 KiB
Current children cumulated memory: 2414264 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 996 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.3 s, system=0.819063 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.02
CPU time (s): 2520.12
CPU user time (s): 2519.3
CPU system time (s): 0.819063
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 2541264
Max. memory (cumulated for all children) (KiB): 2414264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.3
system time used= 0.819063
maximum resident set size= 2414336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 633059
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= 51
involuntary context switches= 1257
# summary of solver processes directly reported to runsolver:
# pid: 996
# total CPU time (s): 2520.12
# total CPU user time (s): 2519.3
# total CPU system time (s): 0.819063
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.88389 second user time and 16.2153 second system time
The end
Begin job on node125 at 2017-08-12 21:12:34 IDJOB=4266389 IDBENCH=115551 IDSOLVER=2655 FILE ID=node125/4266389-1502565999 RUNJOBID= node125-1502565153-967 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/Scheduling/Scheduling-xcsp2-os-gp/gp10-05-1070_X2.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266389-1502565999/watcher-4266389-1502565999 -o /tmp/evaluation-result-4266389-1502565999/solver-4266389-1502565999 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502565153-967 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266389-1502565999.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 23007d5514affe077dd6f6cf857721a4 RANDOM SEED=649239001 node125.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.07 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.07 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.07 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.07 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: 31211048 kB MemAvailable: 31997780 kB Buffers: 273132 kB Cached: 802952 kB SwapCached: 0 kB Active: 574804 kB Inactive: 556764 kB Active(anon): 55396 kB Inactive(anon): 24912 kB Active(file): 519408 kB Inactive(file): 531852 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 4684 kB Writeback: 0 kB AnonPages: 54836 kB Mapped: 44876 kB Shmem: 25256 kB Slab: 127472 kB SReclaimable: 102612 kB SUnreclaim: 24860 kB KernelStack: 3136 kB PageTables: 5320 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 327100 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 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 node125 at 2017-08-12 21:54:34