| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-sat 1.12 | ? (TO) | 2520.02 | 2519.7 |
| Name | QuasiGroups/QuasiGroups-elt-qg7/ QuasiGroup-7-23.xml |
| MD5SUM | b8524f073185c8a0baa20bdfdedb9a39 |
| 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 | 1058 |
| Number of constraints | 1014 |
| Number of domains | 1 |
| Minimum domain size | 23 |
| Maximum domain size | 23 |
| Distribution of domain sizes | [{"size":23,"count":1035}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 47 |
| Distribution of variable degrees | [{"degree":0,"count":23},{"degree":2,"count":506},{"degree":46,"count":23},{"degree":47,"count":506}] |
| Minimum constraint arity | 23 |
| Maximum constraint arity | 529 |
| Distribution of constraint arities | [{"arity":23,"count":1},{"arity":25,"count":1012},{"arity":529,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"allDifferent","count":1},{"type":"instantiation","count":1},{"type":"element","count":1012}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.08 c SAT : Variables: 24334 -- Clauses: 268732 0.00/0.08 c root propagations : 117 0.00/0.08 c restarts enabled, print stats at every restarts 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c This is cosoco 1.12 -- 0.00/0.08 c 0.00/0.08 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266282-1502583492.xml 0.00/0.08 c ========================================[ Problem Statistics ]=========================================== 0.00/0.08 c | 0.00/0.08 c | Parse time : 0.07 s 0.00/0.08 c | 0.00/0.08 c | Variables: 1058 0.00/0.08 c | Domain Sizes: 23..23 0.00/0.08 c | 0.00/0.08 c | Constraints: 1081 0.00/0.08 c | Arity: 1..25 -- Unary: 23 0.00/0.08 c | 0.00/0.08 c | Types: 0.00/0.08 c | All Different: 46 0.00/0.08 c | Element Variable: 1012 0.00/0.08 c | Unary: 23 0.00/0.08 c | 0.00/0.08 c ========================================================================================================= 0.00/0.08 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.08 c remove useless variable y[0][0] 0.00/0.08 c remove useless variable y[1][1] 0.00/0.08 c remove useless variable y[2][2] 0.00/0.08 c remove useless variable y[3][3] 0.00/0.08 c remove useless variable y[4][4] 0.00/0.08 c remove useless variable y[5][5] 0.00/0.08 c remove useless variable y[6][6] 0.00/0.08 c remove useless variable y[7][7] 0.00/0.08 c remove useless variable y[8][8] 0.00/0.08 c remove useless variable y[9][9] 0.00/0.08 c remove useless variable y[10][10] 0.00/0.08 c remove useless variable y[11][11] 0.00/0.08 c remove useless variable y[12][12] 0.00/0.08 c remove useless variable y[13][13] 0.00/0.08 c remove useless variable y[14][14] 0.00/0.08 c remove useless variable y[15][15] 0.00/0.08 c remove useless variable y[16][16] 0.00/0.08 c remove useless variable y[17][17] 0.00/0.08 c remove useless variable y[18][18] 0.00/0.08 c remove useless variable y[19][19] 0.00/0.08 c remove useless variable y[20][20] 0.00/0.08 c remove useless variable y[21][21] 0.00/0.08 c remove useless variable y[22][22] 0.00/0.10 c 10 185 24898 4449 109 10 156 176 151 0.10/0.12 c 20 360 58474 8430 109 20 74 166 124 0.10/0.14 c 30 483 81821 10764 109 28 96 113 97 0.10/0.16 c 40 613 108038 13330 109 38 111 121 105 0.10/0.18 c 50 819 145849 18881 109 48 92 197 125 0.10/0.20 c 60 923 168060 20868 109 57 66 88 68 0.10/0.21 c 70 1021 187175 23211 109 67 77 89 76 0.21/0.23 c 80 1235 219029 28239 109 77 132 205 157 0.21/0.25 c 90 1329 239021 30514 109 87 68 85 71 0.21/0.27 c 100 1532 275572 35463 109 95 77 184 137 0.21/0.28 c 101 1599 290968 36627 109 96 67 67 33 0.21/0.30 c 110 1788 321286 41291 109 105 80 181 120 0.31/0.32 c 120 1965 353186 46074 109 115 94 168 116 0.31/0.34 c 130 2059 374503 48561 109 124 70 85 71 0.31/0.36 c 140 2259 412524 53717 109 134 81 186 131 0.31/0.39 c 150 2459 446769 59162 109 142 62 183 145 0.31/0.41 c 160 2696 482978 64536 109 152 109 228 184 0.41/0.43 c 170 2819 508230 66960 109 162 53 114 90 0.41/0.45 c 180 3009 543291 72306 109 172 62 181 113 0.41/0.47 c 190 3168 573248 76304 109 182 83 150 111 0.41/0.49 c 200 3277 598845 80200 109 187 75 90 77 0.41/0.51 c 210 3393 625996 83371 109 194 85 102 89 0.51/0.52 c 211 3451 639586 84071 109 195 58 58 29 0.51/0.53 c 220 3565 661224 86504 109 204 56 106 67 0.51/0.55 c 230 3675 682588 89430 109 214 65 101 70 0.51/0.57 c 240 3836 713077 93490 109 224 103 152 116 0.51/0.58 c 250 3925 733276 95759 109 234 64 80 67 0.51/0.60 c 260 4122 766742 100912 109 244 94 188 142 0.60/0.62 c 270 4295 796165 105710 109 254 61 164 114 0.60/0.63 c 280 4354 808375 107395 109 264 39 50 40 0.60/0.66 c 290 4518 845353 112328 109 272 111 153 128 0.60/0.67 c 300 4607 866184 114600 109 282 61 80 65 0.60/0.68 c 310 4669 879467 116112 109 285 44 48 42 0.69/0.71 c 320 4856 920160 121882 109 293 86 161 125 0.69/0.73 c 330 5032 955137 128034 109 303 99 164 132 0.69/0.75 c 332 5124 977170 130015 109 305 84 91 58 0.69/0.76 c 340 5205 994834 131884 109 313 66 74 61 0.69/0.78 c 350 5386 1030330 137391 109 323 120 172 132 0.79/0.80 c 360 5553 1061120 141800 109 333 121 158 126 0.79/0.82 c 370 5680 1087529 144892 109 343 46 118 68 0.79/0.84 c 380 5774 1111404 147484 109 349 70 79 68 0.79/0.85 c 390 5838 1125896 148975 109 356 42 49 43 0.79/0.86 c 400 5990 1155049 153253 109 366 111 143 112 0.79/0.88 c 410 6083 1178066 155558 109 370 72 79 69 0.89/0.90 c 420 6240 1209390 159917 109 380 89 148 106 0.89/0.92 c 430 6340 1233578 162663 109 384 74 81 71 0.89/0.93 c 440 6396 1243977 163984 109 394 35 47 38 0.89/0.95 c 450 6560 1275650 168245 109 404 85 155 113 0.89/0.97 c 460 6712 1309356 172077 109 414 69 143 100 0.89/0.98 c 465 6795 1328637 173848 109 418 70 79 63 0.89/1.00 c 470 6933 1356346 177480 109 423 99 134 99 1.00/1.02 c 480 7035 1380514 180152 109 426 69 80 69 1.00/1.04 c 490 7184 1408565 184032 109 436 88 140 106 1.00/1.05 c 500 7279 1430973 186615 109 439 71 81 71 1.00/1.07 c 510 7434 1460342 190627 109 449 84 146 105 1.00/1.09 c 520 7532 1482781 193049 109 453 73 83 73 1.10/1.11 c 530 7694 1515141 197669 109 463 86 153 117 1.10/1.12 c 540 7786 1536998 199954 109 470 71 80 70 1.10/1.14 c 550 7970 1569331 204734 109 480 70 175 123 1.10/1.16 c 560 8065 1590869 207069 109 485 77 81 72 1.10/1.18 c 570 8207 1617324 210625 109 495 109 133 111 1.10/1.19 c 580 8303 1639758 212888 109 500 71 80 70 1.19/1.21 c 590 8457 1667525 217297 109 510 102 145 114 1.19/1.22 c 600 8553 1690001 219779 109 514 69 79 69 1.19/1.24 c 610 8711 1717818 224019 109 524 97 149 118 1.19/1.25 c 611 8783 1734614 225412 109 525 72 72 36 1.19/1.27 c 620 8899 1755760 228401 109 534 72 108 88 1.19/1.28 c 630 8992 1776819 230674 109 538 71 79 70 1.29/1.31 c 640 9169 1813780 235834 109 546 99 168 126 1.29/1.33 c 650 9336 1845214 240318 109 556 121 158 129 1.29/1.34 c 660 9432 1866864 242857 109 564 56 82 70 1.29/1.37 c 670 9618 1899728 248164 109 574 103 177 131 1.29/1.38 c 680 9713 1921578 250601 109 581 75 83 73 1.39/1.40 c 690 9893 1954964 256442 109 591 110 171 137 1.39/1.43 c 700 10079 1991283 262207 109 597 46 173 127 1.39/1.45 c 710 10247 2021157 266868 109 607 100 159 112 1.39/1.47 c 720 10415 2053820 271207 109 617 46 159 106 1.39/1.49 c 730 10579 2084059 275525 109 627 46 155 110 1.49/1.50 c 740 10670 2105145 277819 109 631 70 77 68 1.49/1.52 c 750 10814 2134883 281830 109 641 93 135 106 1.49/1.54 c 760 10908 2156787 284177 109 645 74 81 71 1.49/1.56 c 770 11077 2188886 289426 109 655 69 160 107 1.49/1.57 c 771 11144 2205484 290721 109 656 67 67 33 1.49/1.59 c 780 11301 2235156 294967 109 665 89 149 105 1.59/1.61 c 790 11391 2256446 297327 109 669 71 76 67 1.59/1.63 c 800 11547 2287089 301719 109 679 70 147 107 1.59/1.64 c 810 11636 2308375 304123 109 686 63 76 66 1.59/1.66 c 820 11775 2334844 307685 109 696 89 130 102 1.59/1.67 c 830 11902 2359867 311157 109 706 46 118 84 1.59/1.69 c 840 11992 2381836 313481 109 712 69 75 65 1.69/1.71 c 850 12153 2413328 318042 109 722 85 152 114 1.69/1.73 c 860 12245 2435741 320426 109 727 74 78 69 1.69/1.74 c 870 12401 2461739 324792 109 737 97 147 112 1.69/1.76 c 880 12491 2482302 327151 109 744 73 78 69 1.69/1.78 c 890 12652 2512265 331487 109 754 68 152 108 1.69/1.79 c 900 12742 2533212 333777 109 761 70 78 69 1.79/1.81 c 910 12896 2564013 338028 109 771 67 145 101 1.79/1.83 c 920 12988 2586902 340549 109 778 66 77 68 1.79/1.84 c 930 13120 2613069 344208 109 788 65 123 97 1.79/1.86 c 940 13213 2635390 346734 109 793 69 77 68 1.79/1.88 c 947 13352 2661428 350546 109 800 106 133 109 1.79/1.89 c 950 13427 2679827 351987 109 803 64 73 51 1.89/1.91 c 960 13591 2711847 357062 109 813 88 155 116 1.89/1.93 c 970 13688 2737679 359788 109 820 68 78 68 1.89/1.95 c 980 13858 2770074 364587 109 830 91 161 119 1.89/1.96 c 990 13950 2791172 366999 109 834 69 78 68 1.89/1.98 c 1000 14103 2820359 370952 109 844 87 144 103 2.00/2.01 c 1010 14251 2851938 375220 109 854 90 139 110 2.00/2.03 c 1020 14346 2874444 377595 109 858 70 78 68 2.00/2.04 c 1030 14504 2904642 381785 109 868 84 149 118 2.00/2.06 c 1040 14676 2934722 386242 109 878 46 163 113 2.00/2.08 c 1050 14838 2964355 390964 109 888 85 153 112 2.00/2.10 c 1060 15006 2995918 395100 109 898 46 159 118 2.10/2.12 c 1070 15100 3020725 397648 109 905 67 76 67 2.10/2.13 c 1080 15230 3047171 401369 109 915 94 121 96 2.10/2.15 c 1090 15324 3071705 403921 109 922 71 76 67 2.10/2.17 c 1100 15488 3104443 408479 109 932 97 155 112 2.10/2.19 c 1110 15583 3127200 411013 109 939 71 78 68 2.19/2.20 c 1120 15709 3151076 414626 109 949 98 117 97 2.19/2.21 c 1130 15799 3172904 416849 109 953 69 77 67 2.19/2.23 c 1140 15932 3201144 420497 109 963 84 124 97 2.19/2.24 c 1141 16005 3219109 422075 109 964 73 73 36 2.19/2.26 c 1150 16158 3248350 426288 109 973 83 145 103 2.19/2.28 c 1160 16248 3271217 428641 109 978 72 76 67 2.19/2.30 c 1170 16402 3299874 432925 109 988 94 145 103 2.29/2.32 c 1180 16575 3338261 438375 109 996 46 159 124 2.29/2.33 c 1190 16666 3359416 440671 109 1000 70 77 68 2.29/2.36 c 1200 16872 3398499 446553 109 1010 105 197 141 2.29/2.38 c 1210 17053 3433491 451449 109 1020 46 172 119 2.39/2.40 c 1220 17185 3459859 454407 109 1030 85 123 102 2.39/2.42 c 1230 17327 3488354 458439 109 1040 120 133 115 2.39/2.43 c 1240 17444 3513188 461551 109 1050 66 108 85 2.39/2.45 c 1250 17570 3540053 464433 109 1060 98 117 94 2.39/2.46 c 1260 17660 3562282 466805 109 1064 68 76 67 2.39/2.48 c 1270 17810 3590867 470951 109 1074 82 141 106 2.49/2.50 c 1280 17948 3620902 475273 109 1084 55 129 100 2.49/2.51 c 1290 18057 3644499 477751 109 1094 82 100 86 2.49/2.52 c 1300 18136 3659448 480235 109 1104 51 70 57 2.49/2.54 c 1310 18265 3686121 484387 109 1114 78 120 91 2.49/2.56 c 1320 18388 3711981 487725 109 1124 92 114 96 2.49/2.57 c 1330 18480 3735163 490692 109 1130 71 77 67 2.49/2.59 c 1340 18615 3761905 494496 109 1140 67 126 94 2.59/2.60 c 1350 18704 3782801 496922 109 1144 62 75 65 2.59/2.62 c 1352 18805 3804030 499375 109 1146 68 100 56 2.59/2.64 c 1360 18937 3832222 502383 109 1154 46 125 86 2.59/2.64 c 1370 19015 3847295 504767 109 1164 51 69 57 2.59/2.66 c 1380 19148 3874539 508978 109 1174 98 124 101 2.59/2.68 c 1390 19275 3902020 512459 109 1184 79 118 97 2.69/2.70 c 1400 19413 3931596 516164 109 1194 85 129 107 2.69/2.72 c 1410 19539 3959628 519643 109 1204 96 117 99 2.69/2.73 c 1420 19675 3987542 523155 109 1214 79 127 86 2.69/2.76 c 1430 19843 4020366 527777 109 1224 101 159 129 2.69/2.76 c 1440 19919 4035511 530078 109 1234 48 67 55 2.69/2.79 c 1450 20086 4072968 535327 109 1244 102 158 130 2.79/2.81 c 1460 20235 4101547 539029 109 1254 47 140 107 2.79/2.83 c 1470 20378 4132505 543144 109 1264 102 134 110 2.79/2.84 c 1480 20453 4147309 545824 109 1274 56 66 55 2.79/2.85 c 1490 20568 4170567 548879 109 1284 85 106 87 2.79/2.87 c 1500 20664 4193245 551538 109 1291 79 85 75 2.79/2.89 c 1510 20812 4226853 556200 109 1296 97 128 108 2.89/2.91 c 1520 20949 4255715 560179 109 1304 68 128 104 2.89/2.92 c 1530 21048 4278972 562934 109 1308 80 86 76 2.89/2.94 c 1540 21209 4309968 567213 109 1318 83 152 121 2.89/2.96 c 1550 21349 4340216 571218 109 1328 95 131 100 2.89/2.97 c 1560 21452 4362793 574099 109 1332 84 90 80 2.89/2.99 c 1570 21640 4396872 579883 109 1342 84 179 126 3.00/3.01 c 1580 21769 4421622 583653 109 1352 101 120 103 3.00/3.02 c 1585 21837 4434677 585118 109 1357 55 64 50 3.00/3.03 c 1590 21937 4455477 587506 109 1362 93 96 79 3.00/3.05 c 1600 22036 4475439 589830 109 1370 58 85 72 3.00/3.06 c 1610 22124 4492627 592779 109 1380 59 79 61 3.00/3.08 c 1620 22293 4523027 597504 109 1390 99 160 129 3.00/3.09 c 1630 22444 4552108 601519 109 1400 47 142 92 3.10/3.11 c 1640 22531 4570555 604489 109 1410 59 78 61 3.10/3.13 c 1650 22704 4603687 609727 109 1420 100 163 117 3.10/3.15 c 1660 22839 4633919 613866 109 1430 90 126 101 3.10/3.16 c 1670 22920 4650212 616471 109 1440 54 72 59 3.10/3.17 c 1680 23071 4677707 621123 109 1450 91 142 105 3.10/3.19 c 1690 23158 4694515 623757 109 1460 48 78 63 3.19/3.20 c 1700 23313 4721940 628178 109 1470 91 146 113 3.19/3.21 c 1710 23397 4739499 631006 109 1480 60 75 62 3.19/3.23 c 1720 23574 4770477 636087 109 1490 139 168 141 3.19/3.25 c 1730 23712 4802445 640151 109 1500 95 129 107 3.19/3.26 c 1740 23791 4816631 642414 109 1510 48 70 57 3.19/3.28 c 1750 23918 4844324 646230 109 1519 104 118 102 3.29/3.30 c 1760 24054 4871612 649929 109 1529 82 127 107 3.29/3.31 c 1770 24142 4887480 652430 109 1539 62 79 64 3.29/3.32 c 1780 24232 4905489 655379 109 1549 63 81 64 3.29/3.34 c 1790 24370 4934303 659920 109 1559 52 129 95 3.29/3.35 c 1800 24464 4952967 662965 109 1569 67 85 70 3.29/3.36 c 1810 24563 4974070 665619 109 1573 80 86 76 3.29/3.38 c 1820 24667 4996095 668449 109 1581 72 92 80 3.29/3.39 c 1830 24775 5019437 671455 109 1588 89 95 84 3.39/3.41 c 1840 24880 5041491 674294 109 1596 72 93 81 3.39/3.42 c 1841 24971 5061162 676287 109 1597 91 91 45 3.39/3.43 c 1850 25073 5081906 678889 109 1604 72 93 79 3.39/3.45 c 1860 25200 5109417 682726 109 1608 106 114 100 3.39/3.47 c 1870 25378 5145845 688676 109 1614 153 166 148 3.39/3.49 c 1880 25533 5175781 696258 109 1624 98 146 109 3.49/3.51 c 1890 25664 5205930 702014 109 1632 90 110 92 3.49/3.54 c 1900 25841 5243730 707787 109 1642 82 168 129 3.49/3.56 c 1910 26008 5278916 713335 109 1649 87 155 132 3.49/3.58 c 1920 26187 5317049 720556 109 1652 135 153 134 3.59/3.61 c 1930 26387 5360216 727484 109 1662 93 191 131 3.59/3.64 c 1940 26581 5396507 733663 109 1672 47 185 136 3.59/3.66 c 1950 26749 5430389 738892 109 1682 53 159 125 3.59/3.68 c 1960 26917 5466307 744251 109 1688 150 156 139 3.59/3.69 c 1970 27031 5489493 747259 109 1696 76 102 88 3.69/3.72 c 1980 27200 5525229 752774 109 1702 75 157 124 3.69/3.74 c 1990 27363 5564541 759808 109 1704 121 128 113 3.69/3.77 c 2000 27536 5601675 765080 109 1710 86 162 136 3.69/3.79 c 2010 27706 5637764 770283 109 1717 150 158 141 3.79/3.81 c 2020 27871 5670961 775558 109 1725 76 156 128 3.79/3.83 c 2030 28028 5703894 780417 109 1730 131 146 129 3.79/3.85 c 2040 28197 5738208 785767 109 1739 74 156 128 3.79/3.87 c 2050 28314 5764034 789722 109 1748 75 108 86 3.79/3.89 c 2060 28476 5795730 795173 109 1758 129 153 129 3.89/3.91 c 2070 28652 5832847 800863 109 1762 153 163 145 3.89/3.94 c 2080 28814 5868480 806076 109 1768 121 152 131 3.89/3.96 c 2090 28975 5903190 811346 109 1775 121 149 130 3.89/3.98 c 2100 29134 5941792 818181 109 1780 123 137 119 4.00/4.01 c 2110 29307 5982839 824065 109 1785 155 160 145 4.00/4.02 c 2120 29416 6004097 827107 109 1795 84 100 87 4.00/4.04 c 2122 29536 6030475 830670 109 1797 53 119 57 4.00/4.06 c 2130 29649 6055218 834246 109 1805 74 106 83 4.00/4.08 c 2140 29776 6086051 839274 109 1812 89 111 92 4.00/4.10 c 2150 29978 6127623 845934 109 1822 146 193 160 4.10/4.12 c 2160 30141 6162199 850852 109 1832 74 154 107 4.10/4.15 c 2170 30330 6200856 856631 109 1842 57 180 137 4.10/4.17 c 2180 30498 6239679 861895 109 1849 140 155 137 4.10/4.19 c 2190 30666 6273695 867311 109 1859 57 159 124 4.19/4.21 c 2200 30784 6298688 871198 109 1867 74 109 87 4.19/4.23 c 2210 30938 6330354 875965 109 1877 65 145 118 4.19/4.25 c 2220 31058 6356834 879862 109 1887 87 108 90 4.19/4.27 c 2230 31239 6396701 885623 109 1897 125 172 134 4.19/4.29 c 2240 31410 6430568 890804 109 1907 74 162 111 4.29/4.32 c 2250 31588 6467773 896332 109 1917 99 169 133 4.29/4.34 c 2260 31780 6506481 902586 109 1927 113 183 146 4.29/4.36 c 2270 31950 6538170 907885 109 1937 99 161 129 4.29/4.39 c 2280 32120 6572927 913565 109 1947 80 161 122 4.39/4.41 c 2290 32274 6605915 918601 109 1954 118 144 126 4.39/4.43 c 2300 32458 6643344 924055 109 1964 138 175 146 4.39/4.45 c 2310 32626 6675794 929599 109 1974 83 159 120 4.39/4.47 c 2320 32799 6711599 935012 109 1984 87 164 131 4.49/4.50 c 2330 32968 6747215 939991 109 1994 54 160 120 4.49/4.51 c 2340 33089 6771023 943760 109 2004 58 112 86 4.49/4.53 c 2350 33230 6805908 949948 109 2008 103 113 100 4.49/4.55 c 2360 33340 6826129 954965 109 2018 66 101 76 4.49/4.57 c 2370 33515 6862554 960639 109 2028 109 166 137 4.49/4.59 c 2380 33643 6888067 964841 109 2037 73 117 97 4.59/4.60 c 2390 33766 6914337 969023 109 2047 76 114 89 4.59/4.62 c 2400 33922 6946850 973723 109 2057 127 147 125 4.59/4.64 c 2410 34028 6967493 976518 109 2063 85 93 82 4.59/4.66 c 2420 34197 7002004 981672 109 2073 62 160 115 4.59/4.67 c 2430 34304 7024775 984717 109 2075 90 93 83 4.59/4.68 c 2431 34364 7036415 985610 109 2076 60 60 30 4.69/4.70 c 2440 34525 7070627 990580 109 2085 124 153 126 4.69/4.73 c 2450 34704 7105928 996400 109 2095 102 170 141 4.69/4.75 c 2460 34865 7139573 1001850 109 2104 131 152 132 4.69/4.76 c 2470 34982 7163847 1005564 109 2112 74 108 85 4.69/4.79 c 2480 35178 7210016 1012282 109 2122 121 181 146 4.79/4.81 c 2490 35337 7244658 1017747 109 2132 60 150 108 4.79/4.83 c 2500 35505 7278334 1023617 109 2139 100 158 128 4.79/4.85 c 2510 35644 7309153 1028935 109 2146 57 120 97 4.79/4.88 c 2520 35818 7349952 1034263 109 2156 121 165 131 4.89/4.90 c 2530 35983 7384750 1039547 109 2166 142 156 137 4.89/4.93 c 2540 36139 7421116 1046084 109 2172 83 135 105 4.89/4.95 c 2550 36310 7457759 1051878 109 2182 108 162 123 4.89/4.97 c 2560 36500 7496845 1057516 109 2188 71 179 138 4.89/4.99 c 2570 36657 7528181 1062294 109 2198 57 148 123 5.00/5.02 c 2580 36833 7562895 1067712 109 2208 58 167 125 5.00/5.04 c 2590 36972 7594375 1072760 109 2216 77 125 94 5.00/5.06 c 2600 37147 7635512 1078632 109 2223 127 161 139 5.00/5.08 c 2610 37300 7668594 1083552 109 2230 58 141 118 5.00/5.10 c 2620 37413 7689087 1087948 109 2240 54 104 73 5.10/5.12 c 2630 37590 7728066 1093534 109 2250 130 168 140 5.10/5.14 c 2640 37708 7754227 1097331 109 2258 71 109 85 5.10/5.16 c 2650 37880 7791413 1103225 109 2268 97 163 128 5.10/5.18 c 2660 38036 7825123 1108408 109 2278 80 147 108 5.19/5.20 c 2670 38185 7855745 1113035 109 2288 57 140 117 5.19/5.23 c 2680 38356 7891949 1118664 109 2297 124 161 136 5.19/5.25 c 2690 38511 7923926 1124166 109 2307 57 146 106 5.19/5.27 c 2700 38670 7960301 1129397 109 2313 130 144 126 5.29/5.30 c 2710 38874 8003681 1135955 109 2323 95 195 157 5.29/5.32 c 2720 39031 8037457 1140949 109 2333 122 148 125 5.29/5.33 c 2730 39160 8062840 1145056 109 2343 50 120 83 5.29/5.36 c 2740 39324 8097192 1150126 109 2352 59 155 120 5.29/5.38 c 2750 39504 8134894 1155979 109 2362 57 171 122 5.39/5.40 c 2760 39657 8169794 1160824 109 2371 120 144 120 5.39/5.43 c 2770 39827 8208839 1166282 109 2381 127 160 136 5.39/5.44 c 2771 39912 8226326 1168456 109 2382 85 85 42 5.39/5.46 c 2780 40064 8258569 1172943 109 2391 123 144 121 5.39/5.48 c 2790 40237 8296720 1178866 109 2400 57 164 121 5.49/5.51 c 2800 40401 8336448 1184225 109 2407 128 152 133 5.49/5.53 c 2810 40560 8370128 1189115 109 2417 57 150 111 5.49/5.54 c 2820 40661 8390638 1191771 109 2422 82 87 77 5.49/5.57 c 2830 40827 8427779 1197423 109 2430 57 157 120 5.49/5.59 c 2840 40993 8466852 1202760 109 2440 103 157 128 5.59/5.61 c 2850 41153 8500784 1207715 109 2450 57 151 113 5.59/5.63 c 2860 41311 8533981 1212466 109 2459 57 146 118 5.59/5.66 c 2870 41493 8572318 1218126 109 2469 95 173 137 5.59/5.68 c 2880 41652 8604898 1223378 109 2479 57 150 109 5.69/5.70 c 2890 41833 8642131 1229276 109 2489 57 172 122 5.69/5.72 c 2900 41991 8676190 1234577 109 2498 57 148 114 5.69/5.74 c 2910 42143 8706929 1239175 109 2508 57 143 116 5.69/5.76 c 2920 42296 8736927 1244043 109 2518 57 144 117 5.69/5.78 c 2930 42466 8773726 1249959 109 2528 62 161 125 5.79/5.80 c 2940 42574 8795102 1254058 109 2538 55 99 71 5.79/5.82 c 2950 42760 8832730 1260000 109 2548 60 177 140 5.79/5.84 c 2960 42917 8864680 1265445 109 2558 62 148 116 5.79/5.86 c 2970 43021 8884348 1269425 109 2568 58 95 70 5.79/5.88 c 2980 43210 8925613 1275443 109 2578 133 180 146 5.89/5.90 c 2990 43369 8960256 1280376 109 2585 75 150 115 5.89/5.93 c 3000 43556 9000330 1286473 109 2595 143 178 149 5.89/5.95 c 3010 43712 9032635 1291416 109 2605 62 147 122 5.89/5.97 c 3020 43889 9069723 1297025 109 2615 62 168 136 5.89/5.99 c 3030 43998 9089628 1301373 109 2625 58 100 74 6.00/6.01 c 3040 44173 9129743 1306871 109 2632 103 166 136 6.00/6.03 c 3050 44294 9155969 1310898 109 2640 75 109 86 6.00/6.05 c 3060 44456 9190549 1315700 109 2650 123 153 125 6.00/6.07 c 3070 44636 9229248 1321365 109 2658 150 170 147 6.00/6.10 c 3080 44825 9269812 1327235 109 2668 128 180 141 6.10/6.12 c 3090 44972 9299675 1331726 109 2678 75 138 95 6.10/6.14 c 3100 45137 9335049 1337409 109 2687 61 156 121 6.10/6.16 c 3110 45299 9367286 1342923 109 2697 62 153 119 6.10/6.18 c 3120 45452 9397939 1347728 109 2707 62 144 121 6.19/6.20 c 3130 45602 9427877 1352636 109 2717 62 141 108 6.19/6.22 c 3140 45776 9464229 1358223 109 2726 62 164 132 6.19/6.24 c 3142 45930 9496089 1362642 109 2728 144 153 99 6.19/6.27 c 3150 46113 9537480 1369175 109 2736 62 176 123 6.19/6.28 c 3160 46229 9561650 1372974 109 2746 55 107 84 6.29/6.31 c 3170 46422 9600301 1379620 109 2756 62 184 138 6.29/6.32 c 3180 46536 9623486 1383074 109 2766 55 105 83 6.29/6.35 c 3190 46708 9662456 1389051 109 2776 60 163 122 6.29/6.37 c 3200 46871 9695098 1393893 109 2784 54 153 123 6.29/6.39 c 3210 47038 9730692 1399030 109 2791 63 155 130 6.39/6.41 c 3220 47196 9762979 1403819 109 2801 54 149 106 6.39/6.43 c 3230 47351 9794816 1408630 109 2810 54 145 108 6.39/6.45 c 3240 47510 9827036 1413759 109 2820 54 150 110 6.39/6.48 c 3250 47680 9864019 1419636 109 2826 70 158 129 6.39/6.49 c 3260 47788 9884989 1423440 109 2836 55 99 70 6.49/6.51 c 3270 47973 9922548 1429227 109 2846 130 176 138 6.49/6.54 c 3280 48148 9956950 1434676 109 2856 91 166 125 6.49/6.55 c 3290 48271 9982452 1438290 109 2866 53 114 86 6.49/6.58 c 3300 48451 10022003 1444293 109 2876 125 171 138 6.59/6.60 c 3310 48612 10053945 1449371 109 2886 51 152 95 6.59/6.62 c 3320 48788 10087324 1455279 109 2896 91 167 119 6.59/6.64 c 3330 48919 10113128 1459412 109 2906 77 122 97 6.59/6.65 c 3340 49041 10137523 1464214 109 2916 54 113 83 6.59/6.68 c 3350 49233 10179309 1470364 109 2926 96 183 127 6.59/6.69 c 3360 49356 10203259 1475503 109 2936 79 114 85 6.69/6.71 c 3370 49511 10235980 1480219 109 2946 122 146 121 6.69/6.73 c 3380 49619 10258070 1484131 109 2956 76 99 82 6.69/6.75 c 3390 49789 10293173 1489170 109 2966 127 161 130 6.69/6.77 c 3400 49917 10320432 1494159 109 2975 57 115 85 6.69/6.79 c 3410 50105 10360033 1500003 109 2985 106 179 140 6.79/6.81 c 3420 50211 10381609 1503748 109 2995 74 97 79 6.79/6.83 c 3430 50383 10417236 1508689 109 3005 127 163 133 6.79/6.84 c 3440 50501 10439582 1512515 109 3015 51 109 81 6.79/6.86 c 3450 50645 10467392 1517520 109 3025 61 135 105 6.79/6.89 c 3460 50842 10508461 1523545 109 3035 133 188 153 6.89/6.90 c 3470 50956 10529449 1526940 109 3045 51 105 78 6.89/6.92 c 3480 51105 10557381 1531076 109 3055 61 140 105 6.89/6.93 c 3490 51239 10581949 1534161 109 3062 116 121 108 6.89/6.95 c 3500 51337 10602071 1536282 109 3069 73 80 70 6.89/6.96 c 3510 51433 10620689 1539013 109 3079 51 87 70 6.89/6.97 c 3520 51566 10644817 1542433 109 3089 91 124 101 6.89/7.00 c 3530 51748 10686094 1551924 109 3095 78 146 117 7.00/7.01 c 3540 51850 10705140 1554933 109 3105 73 93 73 7.00/7.03 c 3550 51980 10732640 1559088 109 3115 77 121 82 7.00/7.05 c 3551 52104 10759440 1562457 109 3116 124 124 62 7.00/7.07 c 3560 52262 10790242 1566885 109 3125 57 150 119 7.00/7.08 c 3570 52397 10814048 1570158 109 3135 91 126 101 7.00/7.10 c 3580 52572 10848913 1575231 109 3145 113 166 129 7.10/7.12 c 3590 52684 10869755 1578705 109 3155 57 103 79 7.10/7.13 c 3600 52817 10895497 1582716 109 3165 57 124 91 7.10/7.16 c 3610 53006 10938120 1588824 109 3172 81 173 143 7.10/7.17 c 3620 53109 10957791 1591825 109 3182 48 94 73 7.10/7.18 c 3630 53201 10974177 1594040 109 3192 69 83 71 7.10/7.19 c 3640 53291 10990166 1596278 109 3202 64 81 70 7.19/7.20 c 3650 53381 11006155 1598517 109 3212 64 81 70 7.19/7.22 c 3660 53547 11039669 1604252 109 3222 103 157 125 7.19/7.24 c 3670 53649 11058009 1607708 109 3232 66 93 75 7.19/7.26 c 3680 53861 11101726 1614480 109 3241 58 200 157 7.19/7.28 c 3690 53966 11120870 1618377 109 3251 66 96 75 7.29/7.30 c 3700 54165 11163309 1624956 109 3261 59 190 146 7.29/7.32 c 3710 54317 11197876 1630593 109 3271 112 143 116 7.29/7.34 c 3720 54417 11217857 1633527 109 3281 48 91 72 7.29/7.35 c 3730 54547 11242085 1636580 109 3291 100 121 105 7.29/7.37 c 3740 54641 11262004 1639061 109 3301 59 85 67 7.29/7.38 c 3750 54745 11282494 1642203 109 3311 75 95 78 7.39/7.40 c 3760 54902 11312445 1646310 109 3319 94 147 124 7.39/7.41 c 3770 55006 11333042 1649597 109 3329 72 95 76 7.39/7.43 c 3780 55166 11364130 1653826 109 3339 127 151 129 7.39/7.45 c 3790 55288 11387578 1657278 109 3349 58 113 77 7.39/7.46 c 3800 55388 11407411 1660252 109 3359 48 91 71 7.39/7.48 c 3810 55533 11438294 1663861 109 3367 81 133 114 7.39/7.49 c 3820 55637 11456560 1666840 109 3377 48 95 72 7.49/7.50 c 3830 55726 11472643 1669653 109 3387 58 80 65 7.49/7.53 c 3840 55911 11513362 1675365 109 3397 125 176 138 7.49/7.54 c 3850 56013 11534724 1678033 109 3406 60 93 75 7.49/7.55 c 3860 56116 11553026 1681132 109 3416 66 94 74 7.49/7.57 c 3870 56218 11573406 1684221 109 3426 58 93 67 7.49/7.58 c 3880 56359 11599393 1688119 109 3436 61 132 95 7.49/7.60 c 3890 56465 11620888 1691030 109 3446 63 97 76 7.59/7.61 c 3900 56579 11640768 1694291 109 3456 95 105 90 7.59/7.62 c 3910 56683 11658930 1697216 109 3466 48 95 72 7.59/7.63 c 3920 56786 11678865 1700159 109 3476 58 94 70 7.59/7.65 c 3930 56950 11711637 1704788 109 3486 115 155 126 7.59/7.66 c 3940 57054 11729571 1707700 109 3496 48 95 72 7.59/7.68 c 3950 57196 11761311 1712174 109 3506 92 133 101 7.69/7.70 c 3960 57300 11779533 1715156 109 3516 48 95 72 7.69/7.71 c 3970 57415 11801683 1718471 109 3526 80 106 86 7.69/7.72 c 3980 57520 11819646 1721749 109 3536 85 96 82 7.69/7.73 c 3990 57619 11838204 1724886 109 3546 58 90 66 7.69/7.75 c 4000 57721 11856861 1727892 109 3556 48 93 72 7.69/7.75 c 4001 57779 11869265 1728931 109 3557 58 58 29 7.69/7.77 c 4010 57869 11887457 1731348 109 3566 48 82 65 7.69/7.79 c 4020 58016 11918502 1734904 109 3570 128 133 119 7.79/7.80 c 4030 58113 11936229 1737962 109 3580 48 88 69 7.79/7.81 c 4040 58205 11952389 1741058 109 3590 61 83 67 7.79/7.82 c 4050 58308 11970930 1744287 109 3600 71 94 77 7.79/7.83 c 4060 58431 11991337 1747996 109 3610 95 114 94 7.79/7.84 c 4070 58518 12007033 1750744 109 3620 58 78 62 7.79/7.86 c 4080 58634 12028867 1754231 109 3630 83 107 88 7.79/7.87 c 4090 58744 12049376 1757606 109 3640 80 101 79 7.79/7.88 c 4100 58837 12070856 1760081 109 3645 75 79 70 7.89/7.90 c 4110 58929 12091811 1762592 109 3649 71 79 70 7.89/7.91 c 4120 59022 12112961 1765145 109 3655 71 79 70 7.89/7.92 c 4130 59115 12133949 1767677 109 3660 71 79 70 7.89/7.94 c 4140 59207 12155552 1770168 109 3665 71 79 70 7.89/7.96 c 4150 59376 12192720 1774954 109 3672 134 157 137 7.89/7.97 c 4160 59471 12209479 1777903 109 3682 48 86 67 7.89/7.98 c 4170 59553 12224440 1780725 109 3692 62 73 62 7.89/7.99 c 4180 59635 12239994 1783511 109 3702 58 73 60 8.00/8.01 c 4190 59767 12265799 1787661 109 3708 110 117 102 8.00/8.02 c 4200 59858 12284533 1789986 109 3718 64 82 68 8.00/8.04 c 4210 59984 12308017 1793399 109 3728 58 117 82 8.00/8.05 c 4220 60079 12325130 1796440 109 3738 56 86 70 8.00/8.06 c 4230 60179 12343453 1799200 109 3748 75 91 78 8.00/8.07 c 4240 60262 12358664 1801986 109 3758 59 74 61 8.00/8.09 c 4250 60405 12385153 1806485 109 3764 117 119 106 8.00/8.10 c 4260 60506 12405550 1809074 109 3774 64 92 72 8.10/8.12 c 4270 60652 12435410 1813378 109 3784 95 137 105 8.10/8.13 c 4280 60745 12456369 1815878 109 3788 75 79 70 8.10/8.14 c 4290 60837 12476281 1818474 109 3792 71 79 70 8.10/8.16 c 4300 60930 12497277 1820967 109 3796 71 79 70 8.10/8.17 c 4310 61025 12518092 1823485 109 3800 76 79 70 8.10/8.19 c 4320 61198 12550541 1829190 109 3810 91 164 133 8.19/8.20 c 4330 61296 12568363 1832383 109 3820 71 89 76 8.19/8.21 c 4340 61379 12583432 1835214 109 3830 55 74 61 8.19/8.22 c 4350 61460 12598459 1838053 109 3840 56 72 60 8.19/8.23 c 4360 61543 12613351 1840875 109 3850 55 74 60 8.19/8.24 c 4370 61641 12630894 1843641 109 3860 73 89 76 8.19/8.26 c 4380 61734 12651624 1846095 109 3864 75 79 70 8.19/8.27 c 4390 61827 12673578 1848648 109 3868 75 79 70 8.19/8.28 c 4400 61921 12695556 1851284 109 3875 75 79 70 8.29/8.30 c 4410 62016 12717317 1853802 109 3881 71 79 69 8.29/8.31 c 4420 62110 12739267 1856433 109 3888 75 79 70 8.29/8.33 c 4430 62206 12761131 1859054 109 3892 71 79 69 8.29/8.34 c 4440 62300 12783522 1861686 109 3899 75 79 70 8.29/8.36 c 4450 62479 12819082 1866673 109 3909 132 170 136 8.29/8.37 c 4460 62572 12835301 1869501 109 3919 48 84 67 8.29/8.38 c 4470 62653 12849980 1872172 109 3929 55 72 60 8.39/8.40 c 4480 62746 12871377 1874674 109 3933 75 79 70 8.39/8.41 c 4490 62847 12888826 1877544 109 3943 73 92 72 8.39/8.43 c 4493 62981 12917827 1881310 109 3946 68 132 67 8.39/8.44 c 4500 63071 12934904 1883782 109 3953 67 84 66 8.39/8.46 c 4510 63248 12971177 1889275 109 3963 91 168 133 8.39/8.47 c 4520 63342 12992994 1891859 109 3970 71 79 70 8.39/8.49 c 4530 63512 13026098 1897347 109 3980 91 161 132 8.49/8.51 c 4540 63677 13056460 1901637 109 3990 73 156 102 8.49/8.53 c 4550 63828 13086662 1905895 109 4000 54 142 105 8.49/8.54 c 4560 63910 13100670 1908514 109 4010 62 73 61 8.49/8.55 c 4570 63992 13115428 1911287 109 4020 55 73 60 8.49/8.56 c 4580 64092 13132799 1914442 109 4030 55 91 75 8.49/8.57 c 4590 64174 13147657 1917245 109 4040 55 73 59 8.49/8.59 c 4600 64282 13167585 1920248 109 4046 88 99 86 8.59/8.60 c 4610 64382 13187414 1923302 109 4056 64 91 71 8.59/8.61 c 4620 64475 13208707 1925810 109 4062 75 79 70 8.59/8.63 c 4630 64568 13230798 1928345 109 4066 71 79 70 8.59/8.64 c 4640 64661 13251443 1930790 109 4071 75 79 70 8.59/8.65 c 4650 64757 13272927 1933476 109 4075 77 82 73 8.59/8.67 c 4660 64850 13293971 1935940 109 4079 71 79 69 8.59/8.68 c 4670 64943 13315265 1938529 109 4084 71 79 70 8.59/8.69 c 4680 65036 13336279 1941051 109 4088 75 79 70 8.69/8.71 c 4690 65130 13358221 1943661 109 4095 75 79 70 8.69/8.72 c 4700 65221 13378672 1946215 109 4102 71 79 70 8.69/8.73 c 4710 65315 13400686 1948844 109 4109 71 79 70 8.69/8.76 c 4720 65491 13435484 1953794 109 4119 83 167 103 8.69/8.78 c 4730 65644 13467104 1958132 109 4129 62 144 89 8.69/8.79 c 4740 65742 13484926 1961306 109 4139 48 89 68 8.79/8.80 c 4750 65824 13499761 1964141 109 4149 55 73 60 8.79/8.81 c 4760 65906 13514665 1966900 109 4159 55 73 60 8.79/8.82 c 4770 66003 13531883 1969433 109 4169 73 88 70 8.79/8.84 c 4780 66190 13569885 1975299 109 4176 126 176 147 8.79/8.85 c 4790 66272 13584925 1978069 109 4186 56 73 60 8.79/8.86 c 4800 66354 13599827 1980855 109 4196 55 73 59 8.79/8.87 c 4810 66435 13614541 1983586 109 4206 55 72 59 8.79/8.88 c 4820 66518 13629490 1986487 109 4216 58 74 61 8.79/8.89 c 4830 66599 13644113 1989236 109 4226 55 72 59 8.89/8.90 c 4840 66682 13659165 1992077 109 4236 59 74 62 8.89/8.91 c 4850 66765 13674050 1994930 109 4246 60 74 63 8.89/8.92 c 4860 66847 13688961 1997778 109 4256 55 73 59 8.89/8.93 c 4870 66928 13703630 2000592 109 4266 55 72 57 8.89/8.94 c 4880 67010 13718424 2003436 109 4276 55 73 57 8.89/8.95 c 4890 67099 13734515 2005944 109 4286 68 80 68 8.89/8.96 c 4900 67180 13749328 2008602 109 4296 55 72 59 8.89/8.97 c 4910 67261 13764022 2011408 109 4306 55 72 57 8.89/8.98 c 4920 67343 13779043 2014269 109 4316 55 73 57 8.89/8.99 c 4930 67424 13793756 2017077 109 4326 55 72 57 8.89/9.00 c 4940 67518 13811975 2019136 109 4336 74 85 73 9.00/9.01 c 4950 67616 13833577 2022927 109 4346 67 89 74 9.00/9.03 c 4960 67725 13858142 2025707 109 4353 79 87 76 9.00/9.05 c 4970 67878 13892422 2030692 109 4363 61 144 103 9.00/9.07 c 4980 67996 13917437 2033380 109 4372 67 106 83 9.00/9.09 c 4990 68174 13954670 2038672 109 4382 48 169 116 9.10/9.13 c 5035 68439 14011103 2051176 109 4420 80 206 152 9.29/9.38 c 5631 70377 14416783 2176110 109 4435 81 107 97 9.59/9.61 c 6286 72101 14780463 2276581 109 4454 59 149 134 9.69/9.79 c 7006 73501 15103365 2393637 109 4472 47 202 181 10.00/10.03 c 7798 75316 15494890 2540926 109 4541 96 209 194 10.39/10.45 c 8669 78344 16174723 2678651 109 4552 96 125 111 10.69/10.71 c 9627 80188 16612844 2827918 109 4622 101 212 185 11.10/11.11 c 10680 83593 17258740 2985821 109 4638 94 129 115 11.49/11.55 c 11838 86112 18013741 3210242 109 4716 85 229 198 11.79/11.86 c 13111 88603 18573233 3385067 109 4769 61 220 179 12.29/12.32 c 14511 92139 19325201 3644990 109 4909 59 192 173 12.89/12.95 c 16051 96245 20387124 3945524 109 4990 96 252 213 13.49/13.55 c 17745 100580 21359965 4284890 109 5124 55 212 174 13.99/14.04 c 19608 104805 22171902 4607188 109 5215 94 232 202 14.49/14.55 c 21657 109535 23010483 4907735 109 5286 89 216 185 15.49/15.55 c 23910 116545 24612211 5543730 109 5370 85 188 152 16.29/16.37 c 26388 123298 25950881 5997357 109 5414 81 146 130 17.10/17.16 c 29113 128622 27299443 6395548 109 5524 88 174 148 18.39/18.45 c 32110 136512 29440388 6944653 109 5609 94 216 193 19.29/19.38 c 35406 145568 30841947 7561999 109 5797 56 171 113 20.59/20.67 c 39031 154538 32943896 8137483 109 5827 71 139 127 22.89/23.00 c 43018 170604 36625954 9352733 109 5873 94 128 117 24.29/24.32 c 47403 180161 38803759 9985514 109 5985 56 141 121 26.49/26.55 c 52226 193869 42489339 10925690 109 6028 61 211 180 28.89/28.93 c 57531 208269 46416556 11877837 109 6174 58 229 185 31.69/31.74 c 63366 223685 51234198 13147188 109 6235 52 242 209 35.19/35.29 c 69784 244479 56942760 14974229 109 6352 61 178 158 37.00/37.01 c 76843 258416 59862756 15795932 109 6429 59 187 166 38.79/38.84 c 84607 272601 62968782 16713641 109 6485 72 153 137 42.29/42.39 c 93147 295981 68821766 18356344 109 6535 65 238 156 46.29/46.32 c 102541 318187 75268032 20433007 109 6603 57 200 169 51.59/51.60 c 112874 360436 83598519 22902221 109 6639 105 131 120 56.00/56.03 c 124240 393256 90179088 24374545 109 6660 36 46 45 61.10/61.11 c 136742 422313 98797057 26704862 109 6734 56 219 188 65.69/65.73 c 150494 448600 106770887 28895157 109 6833 57 229 208 71.10/71.19 c 165621 477809 116265887 31475964 109 6948 55 231 206 77.29/77.39 c 182260 523346 125886426 33119399 109 6978 56 67 66 86.79/86.87 c 200562 590256 141093805 39310318 109 7053 55 167 148 93.39/93.47 c 220694 629781 152233476 42541898 109 7151 58 221 200 101.59/101.60 c 242839 681028 165578573 46374088 109 7220 70 158 136 112.59/112.68 c 267198 741702 184155184 50680196 109 7354 60 188 172 124.89/124.95 c 293992 810961 204091032 57016548 109 7536 57 208 146 135.30/135.32 c 323465 874664 221878564 61030842 109 7653 83 227 185 150.31/150.37 c 355885 967413 246861272 68398978 109 7782 104 221 167 162.61/162.62 c 391547 1043815 267745550 73762393 109 7936 107 239 202 181.21/181.24 c 430775 1149283 298582222 83933491 109 8055 66 205 180 196.61/196.62 c 473925 1245781 324613900 90512569 109 8165 100 231 201 216.91/217.00 c 521390 1358067 359516221 98969255 109 8312 105 230 203 235.12/235.17 c 573601 1471424 390387913 107320944 109 8402 58 244 200 259.92/259.96 c 631033 1612709 432199816 117901333 109 8539 86 231 200 282.52/282.58 c 694208 1744101 471042045 127041804 109 8610 64 231 201 308.42/308.47 c 763700 1908763 515283042 139678149 109 8722 90 246 210 341.63/341.64 c 840141 2109765 572075661 153691014 109 8776 61 233 198 369.33/369.35 c 924226 2327822 614870905 163887197 109 8808 74 91 82 397.73/397.77 c 1016719 2501547 663638566 176536141 109 8930 85 216 183 430.33/430.34 c 1118461 2707944 719927717 191713435 109 9010 97 245 212 466.84/466.80 c 1230377 2983541 777375672 207423547 109 9082 76 119 93 506.54/506.58 c 1353484 3222050 844806021 227954090 109 9334 71 183 143 558.06/558.09 c 1488901 3568042 930147416 250136967 109 9463 91 146 117 602.45/602.45 c 1637859 3859789 1006439573 270729991 109 9586 56 225 186 636.66/636.63 c 1801712 4161531 1065508611 285106472 109 9662 80 166 141 693.77/693.79 c 1981950 4572891 1160416249 309570220 109 9778 64 206 161 755.97/755.92 c 2180211 4974878 1267902183 339114230 109 9931 103 214 175 835.38/835.31 c 2398298 5450459 1405171508 374068380 109 9997 83 233 204 924.49/924.40 c 2638193 6011079 1558160292 414027477 109 10093 113 257 212 1001.11/1001.06 c 2902077 6511712 1692835828 451604826 109 10140 108 236 203 1118.92/1118.83 c 3192349 7369542 1885914497 497545502 109 10232 102 190 163 1244.14/1244.09 c 3511648 8059824 2099401730 566987619 109 10346 118 244 206 1364.36/1364.28 c 3862876 8777736 2309760126 622055895 109 10421 102 242 208 1531.98/1531.80 c 4249226 10068643 2575673810 688065800 109 10459 62 97 76 1749.51/1749.33 c 4674211 11274695 2926031490 791029399 109 10650 80 182 146 1885.92/1885.77 c 5141694 12168462 3166547087 866896372 109 10773 63 226 189 2049.04/2048.83 c 5655925 13586920 3428999782 948584224 109 10937 61 130 105 2176.56/2176.38 c 6221579 14656537 3642768699 1014200279 109 11047 69 179 147 2383.50/2383.22 c 6843798 16070423 3992227311 1121583706 109 11282 59 175 147 2520.01/2519.70 2520.01/2519.70 c *** INTERRUPTED *** 2520.01/2519.70 c restarts : 592 2520.01/2519.70 c conflicts : 7291275 (2893 /sec) 2520.01/2519.70 c decisions : 17003950 (6748 /sec) 2520.01/2519.70 c propagations : 1186698473 (470916 /sec) 2520.01/2519.70 c root propagations : 117 2520.01/2519.70 c filter calls : 4230964962 (1678969 /sec) 2520.01/2519.70 c useless filter calls : 4010201938 (94 %) 2520.01/2519.70 c 2520.01/2519.70 c clauses : 281072 2520.01/2519.70 c SAT propagations : 8956 2520.01/2519.70 c SAT conflicts : 0 (0 learnts) 2520.01/2519.70 c Memory used : 56.95 MB 2520.01/2519.70 c CPU time : 2519.98 s 2520.01/2519.70 2520.01/2519.70 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 (14153 MiB free)
memory of node 1: 16384 MiB (12353 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266282-1502583492/watcher-4266282-1502583492 -o /tmp/evaluation-result-4266282-1502583492/solver-4266282-1502583492 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node114-1502567254-24357 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266282-1502583492.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=26676, runsolver pid=26673
[startup+0.100199 s]*
/proc/loadavg: 2.00 2.01 2.05 3/189 26677
/proc/meminfo: memFree=27122972/32770624 swapFree=67108860/67108860
[pid=26676] ppid=26673 vsize=51252 memory=24080 CPUtime=0.1 cores=0,2,4,6
/proc/26676/stat : 26676 (cosoco) R 26673 26676 24273 0 -1 4202496 5719 0 0 0 9 1 0 0 20 0 1 0 91437077 52482048 6020 33554432000 4194304 5972588 140728012938192 140728012934840 4999072 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24510464 140728012944570 140728012944670 140728012944670 140728012947406 0
/proc/26676/statm: 12813 6020 770 435 0 6176 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 51252 KiB
Current children cumulated memory: 24080 KiB
[startup+0.210029 s]*
/proc/loadavg: 2.00 2.01 2.05 3/189 26677
/proc/meminfo: memFree=27122600/32770624 swapFree=67108860/67108860
[pid=26676] ppid=26673 vsize=51652 memory=24604 CPUtime=0.21 cores=0,2,4,6
/proc/26676/stat : 26676 (cosoco) R 26673 26676 24273 0 -1 4202496 5827 0 0 0 20 1 0 0 20 0 1 0 91437077 52891648 6151 33554432000 4194304 5972588 140728012938192 140728012934840 4999673 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24510464 140728012944570 140728012944670 140728012944670 140728012947406 0
/proc/26676/statm: 12913 6151 787 435 0 6276 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 51652 KiB
Current children cumulated memory: 24604 KiB
[startup+0.309559 s]*
/proc/loadavg: 2.00 2.01 2.05 3/189 26677
/proc/meminfo: memFree=27122228/32770624 swapFree=67108860/67108860
[pid=26676] ppid=26673 vsize=51784 memory=24604 CPUtime=0.31 cores=0,2,4,6
/proc/26676/stat : 26676 (cosoco) R 26673 26676 24273 0 -1 4202496 5865 0 0 0 30 1 0 0 20 0 1 0 91437077 53026816 6151 33554432000 4194304 5972588 140728012938192 140728012934840 4999778 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24510464 140728012944570 140728012944670 140728012944670 140728012947406 0
/proc/26676/statm: 12946 6151 787 435 0 6309 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 51784 KiB
Current children cumulated memory: 24604 KiB
[startup+0.700356 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 26677
/proc/meminfo: memFree=27120056/32770624 swapFree=67108860/67108860
[pid=26676] ppid=26673 vsize=52048 memory=26912 CPUtime=0.69 cores=0,2,4,6
/proc/26676/stat : 26676 (cosoco) R 26673 26676 24273 0 -1 4202496 5915 0 0 0 68 1 0 0 20 0 1 0 91437077 53297152 6728 33554432000 4194304 5972588 140728012938192 140728012934840 4999760 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24510464 140728012944570 140728012944670 140728012944670 140728012947406 0
/proc/26676/statm: 13012 6728 787 435 0 6375 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 52048 KiB
Current children cumulated memory: 26912 KiB
[startup+1.50036 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 26677
/proc/meminfo: memFree=27119612/32770624 swapFree=67108860/67108860
[pid=26676] ppid=26673 vsize=52176 memory=27228 CPUtime=1.49 cores=0,2,4,6
/proc/26676/stat : 26676 (cosoco) R 26673 26676 24273 0 -1 4202496 5948 0 0 0 148 1 0 0 20 0 1 0 91437077 53428224 6807 33554432000 4194304 5972588 140728012938192 140728012935496 4999210 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24510464 140728012944570 140728012944670 140728012944670 140728012947406 0
/proc/26676/statm: 13044 6807 787 435 0 6407 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 52176 KiB
Current children cumulated memory: 27228 KiB
[startup+3.10973 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 26677
/proc/meminfo: memFree=27119048/32770624 swapFree=67108860/67108860
[pid=26676] ppid=26673 vsize=52308 memory=27372 CPUtime=3.1 cores=0,2,4,6
/proc/26676/stat : 26676 (cosoco) R 26673 26676 24273 0 -1 4202496 7027 0 0 0 309 1 0 0 20 0 1 0 91437077 53563392 6843 33554432000 4194304 5972588 140728012938192 140728012935496 5099616 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24510464 140728012944570 140728012944670 140728012944670 140728012947406 0
/proc/26676/statm: 13077 6843 787 435 0 6440 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 52308 KiB
Current children cumulated memory: 27372 KiB
[startup+6.30034 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 26677
/proc/meminfo: memFree=27118676/32770624 swapFree=67108860/67108860
[pid=26676] ppid=26673 vsize=52440 memory=27524 CPUtime=6.29 cores=0,2,4,6
/proc/26676/stat : 26676 (cosoco) R 26673 26676 24273 0 -1 4202496 8359 0 0 0 628 1 0 0 20 0 1 0 91437077 53698560 6881 33554432000 4194304 5972588 140728012938192 140728012935496 4999567 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24510464 140728012944570 140728012944670 140728012944670 140728012947406 0
/proc/26676/statm: 13110 6881 787 435 0 6473 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 52440 KiB
Current children cumulated memory: 27524 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 26677
/proc/meminfo: memFree=27118460/32770624 swapFree=67108860/67108860
[pid=26676] ppid=26673 vsize=52964 memory=27920 CPUtime=12.69 cores=0,2,4,6
/proc/26676/stat : 26676 (cosoco) R 26673 26676 24273 0 -1 4202496 9800 0 0 0 1268 1 0 0 20 0 1 0 91437077 54235136 6980 33554432000 4194304 5972588 140728012938192 140728012935496 5099630 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24510464 140728012944570 140728012944670 140728012944670 140728012947406 0
/proc/26676/statm: 13241 6980 787 435 0 6604 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 52964 KiB
Current children cumulated memory: 27920 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 26677
/proc/meminfo: memFree=27117992/32770624 swapFree=67108860/67108860
[pid=26676] ppid=26673 vsize=52964 memory=28336 CPUtime=25.49 cores=0,2,4,6
/proc/26676/stat : 26676 (cosoco) R 26673 26676 24273 0 -1 4202496 11726 0 0 0 2548 1 0 0 20 0 1 0 91437077 54235136 7084 33554432000 4194304 5972588 140728012938192 140728012935496 5244087 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24510464 140728012944570 140728012944670 140728012944670 140728012947406 0
/proc/26676/statm: 13241 7084 787 435 0 6604 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 52964 KiB
Current children cumulated memory: 28336 KiB
[startup+51.1093 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 26677
/proc/meminfo: memFree=27117744/32770624 swapFree=67108860/67108860
[pid=26676] ppid=26673 vsize=53096 memory=28736 CPUtime=51.1 cores=0,2,4,6
/proc/26676/stat : 26676 (cosoco) R 26673 26676 24273 0 -1 4202496 12868 0 0 0 5109 1 0 0 20 0 1 0 91437077 54370304 7184 33554432000 4194304 5972588 140728012938192 140728012935496 4978749 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24510464 140728012944570 140728012944670 140728012944670 140728012947406 0
/proc/26676/statm: 13274 7184 787 435 0 6637 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 53096 KiB
Current children cumulated memory: 28736 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26678
/proc/meminfo: memFree=27117752/32770624 swapFree=67108860/67108860
[pid=26676] ppid=26673 vsize=58056 memory=29028 CPUtime=102.29 cores=0,2,4,6
/proc/26676/stat : 26676 (cosoco) R 26673 26676 24273 0 -1 4202496 15080 0 0 0 10228 1 0 0 20 0 1 0 91437077 59449344 7257 33554432000 4194304 5972588 140728012938192 140728012935496 4999263 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24510464 140728012944570 140728012944670 140728012944670 140728012947406 0
/proc/26676/statm: 14514 7257 787 435 0 7877 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 58056 KiB
Current children cumulated memory: 29028 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26679
/proc/meminfo: memFree=27117336/32770624 swapFree=67108860/67108860
[pid=26676] ppid=26673 vsize=58056 memory=29360 CPUtime=162.31 cores=0,2,4,6
/proc/26676/stat : 26676 (cosoco) R 26673 26676 24273 0 -1 4202496 16728 0 0 0 16229 2 0 0 20 0 1 0 91437077 59449344 7340 33554432000 4194304 5972588 140728012938192 140728012935496 4999665 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24510464 140728012944570 140728012944670 140728012944670 140728012947406 0
/proc/26676/statm: 14514 7340 787 435 0 7877 0
Current children cumulated CPU time: 162.31 s
Current children cumulated vsize: 58056 KiB
Current children cumulated memory: 29360 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26680
/proc/meminfo: memFree=27115156/32770624 swapFree=67108860/67108860
[pid=26676] ppid=26673 vsize=58180 memory=31640 CPUtime=222.31 cores=0,2,4,6
/proc/26676/stat : 26676 (cosoco) R 26673 26676 24273 0 -1 4202496 18440 0 0 0 22229 2 0 0 20 0 1 0 91437077 59576320 7910 33554432000 4194304 5972588 140728012938192 140728012935496 4979114 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24510464 140728012944570 140728012944670 140728012944670 140728012947406 0
/proc/26676/statm: 14545 7910 787 435 0 7908 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 58180 KiB
Current children cumulated memory: 31640 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26681
/proc/meminfo: memFree=27115108/32770624 swapFree=67108860/67108860
[pid=26676] ppid=26673 vsize=58180 memory=31640 CPUtime=282.32 cores=0,2,4,6
/proc/26676/stat : 26676 (cosoco) R 26673 26676 24273 0 -1 4202496 18465 0 0 0 28230 2 0 0 20 0 1 0 91437077 59576320 7910 33554432000 4194304 5972588 140728012938192 140728012935496 4977707 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24510464 140728012944570 140728012944670 140728012944670 140728012947406 0
/proc/26676/statm: 14545 7910 787 435 0 7908 0
Current children cumulated CPU time: 282.32 s
Current children cumulated vsize: 58180 KiB
Current children cumulated memory: 31640 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26682
/proc/meminfo: memFree=27114732/32770624 swapFree=67108860/67108860
[pid=26676] ppid=26673 vsize=58180 memory=31688 CPUtime=342.33 cores=0,2,4,6
/proc/26676/stat : 26676 (cosoco) R 26673 26676 24273 0 -1 4202496 19774 0 0 0 34231 2 0 0 20 0 1 0 91437077 59576320 7922 33554432000 4194304 5972588 140728012938192 140728012935496 5338173 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24510464 140728012944570 140728012944670 140728012944670 140728012947406 0
/proc/26676/statm: 14545 7922 787 435 0 7908 0
Current children cumulated CPU time: 342.33 s
Current children cumulated vsize: 58180 KiB
Current children cumulated memory: 31688 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26812
/proc/meminfo: memFree=27119372/32770624 swapFree=67108860/67108860
[pid=26676] ppid=26673 vsize=58180 memory=31688 CPUtime=402.33 cores=0,2,4,6
/proc/26676/stat : 26676 (cosoco) R 26673 26676 24273 0 -1 4202496 19791 0 0 0 40231 2 0 0 20 0 1 0 91437077 59576320 7922 33554432000 4194304 5972588 140728012938192 140728012935496 4999544 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24510464 140728012944570 140728012944670 140728012944670 140728012947406 0
/proc/26676/statm: 14545 7922 787 435 0 7908 0
Current children cumulated CPU time: 402.33 s
Current children cumulated vsize: 58180 KiB
Current children cumulated memory: 31688 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26813
/proc/meminfo: memFree=27120124/32770624 swapFree=67108860/67108860
[pid=26676] ppid=26673 vsize=58180 memory=31712 CPUtime=462.34 cores=0,2,4,6
/proc/26676/stat : 26676 (cosoco) R 26673 26676 24273 0 -1 4202496 21097 0 0 0 46232 2 0 0 20 0 1 0 91437077 59576320 7928 33554432000 4194304 5972588 140728012938192 140728012935496 4999637 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24510464 140728012944570 140728012944670 140728012944670 140728012947406 0
/proc/26676/statm: 14545 7928 787 435 0 7908 0
Current children cumulated CPU time: 462.34 s
Current children cumulated vsize: 58180 KiB
Current children cumulated memory: 31712 KiB
################
# More data... #
################
/proc/26676/statm: 14578 7961 787 435 0 7941 0
Current children cumulated CPU time: 1782.51 s
Current children cumulated vsize: 58312 KiB
Current children cumulated memory: 31844 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.08 2.08 3/188 26978
/proc/meminfo: memFree=27095232/32770624 swapFree=67108860/67108860
[pid=26676] ppid=26673 vsize=58312 memory=31844 CPUtime=1842.52 cores=0,2,4,6
/proc/26676/stat : 26676 (cosoco) R 26673 26676 24273 0 -1 4202496 35563 0 0 0 184249 3 0 0 20 0 1 0 91437077 59711488 7961 33554432000 4194304 5972588 140728012938192 140728012935496 4972738 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24510464 140728012944570 140728012944670 140728012944670 140728012947406 0
/proc/26676/statm: 14578 7961 787 435 0 7941 0
Current children cumulated CPU time: 1842.52 s
Current children cumulated vsize: 58312 KiB
Current children cumulated memory: 31844 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.07 2.07 3/187 26979
/proc/meminfo: memFree=27095244/32770624 swapFree=67108860/67108860
[pid=26676] ppid=26673 vsize=58312 memory=31848 CPUtime=1902.53 cores=0,2,4,6
/proc/26676/stat : 26676 (cosoco) R 26673 26676 24273 0 -1 4202496 36887 0 0 0 190250 3 0 0 20 0 1 0 91437077 59711488 7962 33554432000 4194304 5972588 140728012938192 140728012935496 5324986 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24510464 140728012944570 140728012944670 140728012944670 140728012947406 0
/proc/26676/statm: 14578 7962 787 435 0 7941 0
Current children cumulated CPU time: 1902.53 s
Current children cumulated vsize: 58312 KiB
Current children cumulated memory: 31848 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/187 26980
/proc/meminfo: memFree=27094976/32770624 swapFree=67108860/67108860
[pid=26676] ppid=26673 vsize=58312 memory=31848 CPUtime=1962.53 cores=0,2,4,6
/proc/26676/stat : 26676 (cosoco) R 26673 26676 24273 0 -1 4202496 36895 0 0 0 196250 3 0 0 20 0 1 0 91437077 59711488 7962 33554432000 4194304 5972588 140728012938192 140728012935496 4999263 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24510464 140728012944570 140728012944670 140728012944670 140728012947406 0
/proc/26676/statm: 14578 7962 787 435 0 7941 0
Current children cumulated CPU time: 1962.53 s
Current children cumulated vsize: 58312 KiB
Current children cumulated memory: 31848 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 26981
/proc/meminfo: memFree=27094816/32770624 swapFree=67108860/67108860
[pid=26676] ppid=26673 vsize=58312 memory=31848 CPUtime=2022.54 cores=0,2,4,6
/proc/26676/stat : 26676 (cosoco) R 26673 26676 24273 0 -1 4202496 38100 0 0 0 202251 3 0 0 20 0 1 0 91437077 59711488 7962 33554432000 4194304 5972588 140728012938192 140728012935496 5099616 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24510464 140728012944570 140728012944670 140728012944670 140728012947406 0
/proc/26676/statm: 14578 7962 787 435 0 7941 0
Current children cumulated CPU time: 2022.54 s
Current children cumulated vsize: 58312 KiB
Current children cumulated memory: 31848 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 26982
/proc/meminfo: memFree=27094904/32770624 swapFree=67108860/67108860
[pid=26676] ppid=26673 vsize=58312 memory=31852 CPUtime=2082.55 cores=0,2,4,6
/proc/26676/stat : 26676 (cosoco) R 26673 26676 24273 0 -1 4202496 38226 0 0 0 208252 3 0 0 20 0 1 0 91437077 59711488 7963 33554432000 4194304 5972588 140728012938192 140728012935496 4999673 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24510464 140728012944570 140728012944670 140728012944670 140728012947406 0
/proc/26676/statm: 14578 7963 787 435 0 7941 0
Current children cumulated CPU time: 2082.55 s
Current children cumulated vsize: 58312 KiB
Current children cumulated memory: 31852 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 26983
/proc/meminfo: memFree=27094744/32770624 swapFree=67108860/67108860
[pid=26676] ppid=26673 vsize=58312 memory=31852 CPUtime=2142.56 cores=0,2,4,6
/proc/26676/stat : 26676 (cosoco) R 26673 26676 24273 0 -1 4202496 39409 0 0 0 214253 3 0 0 20 0 1 0 91437077 59711488 7963 33554432000 4194304 5972588 140728012938192 140728012935496 4999628 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24510464 140728012944570 140728012944670 140728012944670 140728012947406 0
/proc/26676/statm: 14578 7963 787 435 0 7941 0
Current children cumulated CPU time: 2142.56 s
Current children cumulated vsize: 58312 KiB
Current children cumulated memory: 31852 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 26992
/proc/meminfo: memFree=27094040/32770624 swapFree=67108860/67108860
[pid=26676] ppid=26673 vsize=58312 memory=31852 CPUtime=2202.57 cores=0,2,4,6
/proc/26676/stat : 26676 (cosoco) R 26673 26676 24273 0 -1 4202496 39565 0 0 0 220254 3 0 0 20 0 1 0 91437077 59711488 7963 33554432000 4194304 5972588 140728012938192 140728012935496 4999254 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24510464 140728012944570 140728012944670 140728012944670 140728012947406 0
/proc/26676/statm: 14578 7963 787 435 0 7941 0
Current children cumulated CPU time: 2202.57 s
Current children cumulated vsize: 58312 KiB
Current children cumulated memory: 31852 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 26993
/proc/meminfo: memFree=27094560/32770624 swapFree=67108860/67108860
[pid=26676] ppid=26673 vsize=58312 memory=31856 CPUtime=2262.57 cores=0,2,4,6
/proc/26676/stat : 26676 (cosoco) R 26673 26676 24273 0 -1 4202496 40691 0 0 0 226254 3 0 0 20 0 1 0 91437077 59711488 7964 33554432000 4194304 5972588 140728012938192 140728012935496 5099648 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24510464 140728012944570 140728012944670 140728012944670 140728012947406 0
/proc/26676/statm: 14578 7964 787 435 0 7941 0
Current children cumulated CPU time: 2262.57 s
Current children cumulated vsize: 58312 KiB
Current children cumulated memory: 31856 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 26994
/proc/meminfo: memFree=27094612/32770624 swapFree=67108860/67108860
[pid=26676] ppid=26673 vsize=58312 memory=31856 CPUtime=2322.58 cores=0,2,4,6
/proc/26676/stat : 26676 (cosoco) R 26673 26676 24273 0 -1 4202496 40722 0 0 0 232255 3 0 0 20 0 1 0 91437077 59711488 7964 33554432000 4194304 5972588 140728012938192 140728012935496 4999263 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24510464 140728012944570 140728012944670 140728012944670 140728012947406 0
/proc/26676/statm: 14578 7964 787 435 0 7941 0
Current children cumulated CPU time: 2322.58 s
Current children cumulated vsize: 58312 KiB
Current children cumulated memory: 31856 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26995
/proc/meminfo: memFree=27094616/32770624 swapFree=67108860/67108860
[pid=26676] ppid=26673 vsize=58312 memory=31856 CPUtime=2382.6 cores=0,2,4,6
/proc/26676/stat : 26676 (cosoco) R 26673 26676 24273 0 -1 4202496 41955 0 0 0 238256 4 0 0 20 0 1 0 91437077 59711488 7964 33554432000 4194304 5972588 140728012938192 140728012935496 4977653 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24510464 140728012944570 140728012944670 140728012944670 140728012947406 0
/proc/26676/statm: 14578 7964 787 435 0 7941 0
Current children cumulated CPU time: 2382.6 s
Current children cumulated vsize: 58312 KiB
Current children cumulated memory: 31856 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26996
/proc/meminfo: memFree=27094984/32770624 swapFree=67108860/67108860
[pid=26676] ppid=26673 vsize=58312 memory=31856 CPUtime=2442.6 cores=0,2,4,6
/proc/26676/stat : 26676 (cosoco) R 26673 26676 24273 0 -1 4202496 42066 0 0 0 244256 4 0 0 20 0 1 0 91437077 59711488 7964 33554432000 4194304 5972588 140728012938192 140728012935496 4979175 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24510464 140728012944570 140728012944670 140728012944670 140728012947406 0
/proc/26676/statm: 14578 7964 787 435 0 7941 0
Current children cumulated CPU time: 2442.6 s
Current children cumulated vsize: 58312 KiB
Current children cumulated memory: 31856 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26997
/proc/meminfo: memFree=27094664/32770624 swapFree=67108860/67108860
[pid=26676] ppid=26673 vsize=58312 memory=31856 CPUtime=2502.61 cores=0,2,4,6
/proc/26676/stat : 26676 (cosoco) R 26673 26676 24273 0 -1 4202496 43270 0 0 0 250257 4 0 0 20 0 1 0 91437077 59711488 7964 33554432000 4194304 5972588 140728012938192 140728012935496 4999665 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24510464 140728012944570 140728012944670 140728012944670 140728012947406 0
/proc/26676/statm: 14578 7964 787 435 0 7941 0
Current children cumulated CPU time: 2502.61 s
Current children cumulated vsize: 58312 KiB
Current children cumulated memory: 31856 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26998
/proc/meminfo: memFree=27094684/32770624 swapFree=67108860/67108860
[pid=26676] ppid=26673 vsize=58312 memory=31856 CPUtime=2520.01 cores=0,2,4,6
/proc/26676/stat : 26676 (cosoco) R 26673 26676 24273 0 -1 4202496 43290 0 0 0 251997 4 0 0 20 0 1 0 91437077 59711488 7964 33554432000 4194304 5972588 140728012938192 140728012935496 5099616 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24510464 140728012944570 140728012944670 140728012944670 140728012947406 0
/proc/26676/statm: 14578 7964 787 435 0 7941 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 58312 KiB
Current children cumulated memory: 31856 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.7 s]
# the end of solver process 26676 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.98 s, system=0.042005 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26998
/proc/meminfo: memFree=27094684/32770624 swapFree=67108860/67108860
[pid=26676] ppid=26673 vsize=58312 memory=31856 CPUtime=2520.01 cores=0,2,4,6
/proc/26676/stat : 26676 (cosoco) R 26673 26676 24273 0 -1 4202496 43290 0 0 0 251997 4 0 0 20 0 1 0 91437077 59711488 7964 33554432000 4194304 5972588 140728012938192 140728012935496 5099616 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24510464 140728012944570 140728012944670 140728012944670 140728012947406 0
/proc/26676/statm: 14578 7964 787 435 0 7941 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 58312 KiB
Current children cumulated memory: 31856 KiB
Child status: 1
Real time (s): 2519.7
CPU time (s): 2520.02
CPU user time (s): 2519.98
CPU system time (s): 0.042005
CPU usage (%): 100.013
Max. virtual memory (cumulated for all children) (KiB): 58312
Max. memory (cumulated for all children) (KiB): 31856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.98
system time used= 0.042005
maximum resident set size= 31932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43336
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17
involuntary context switches= 789
# summary of solver processes directly reported to runsolver:
# pid: 26676
# total CPU time (s): 2520.02
# total CPU user time (s): 2519.98
# total CPU system time (s): 0.042005
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.57082 second user time and 16.5512 second system time
The end
Begin job on node114 at 2017-08-13 02:03:54 IDJOB=4266282 IDBENCH=133861 IDSOLVER=2655 FILE ID=node114/4266282-1502583492 RUNJOBID= node114-1502567254-24357 PBS_JOBID= 20628281 Free space on /tmp= 61696 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/QuasiGroups/QuasiGroups-elt-qg7/QuasiGroup-7-23.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266282-1502583492/watcher-4266282-1502583492 -o /tmp/evaluation-result-4266282-1502583492/solver-4266282-1502583492 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node114-1502567254-24357 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266282-1502583492.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b8524f073185c8a0baa20bdfdedb9a39 RANDOM SEED=1343130724 node114.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 : 5332.98 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 : 5332.98 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 : 5332.98 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 : 5332.98 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: 27143116 kB MemAvailable: 31982768 kB Buffers: 127600 kB Cached: 5003556 kB SwapCached: 0 kB Active: 379708 kB Inactive: 4813348 kB Active(anon): 65028 kB Inactive(anon): 25036 kB Active(file): 314680 kB Inactive(file): 4788312 kB Unevictable: 6520 kB Mlocked: 6520 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2472 kB Writeback: 0 kB AnonPages: 68700 kB Mapped: 44440 kB Shmem: 25224 kB Slab: 130272 kB SReclaimable: 104992 kB SUnreclaim: 25280 kB KernelStack: 3328 kB PageTables: 5088 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 359664 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 61696 MiB End job on node114 at 2017-08-13 02:45:54