| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-sat 1.12 | ? (TO) | 2520.0701 | 2519.8999 |
| Name | KnightTour/KnightTour-int-s1/ KnightTour-10-int.xml |
| MD5SUM | ba113f9707e5398e41eeef1481acd1fa |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 19.046 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 100 |
| Number of constraints | 102 |
| Number of domains | 1 |
| Minimum domain size | 100 |
| Maximum domain size | 100 |
| Distribution of domain sizes | [{"size":100,"count":100}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":2,"count":98},{"degree":3,"count":2}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 100 |
| Distribution of constraint arities | [{"arity":2,"count":101},{"arity":100,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 100 |
| Distribution of constraint types | [{"type":"intension","count":100},{"type":"allDifferent","count":1},{"type":"instantiation","count":1}] |
| Optimization problem | NO |
| Type of objective |
0.10/0.16 c SAT : Variables: 10000 -- Clauses: 495100 0.10/0.19 c root propagations : 5287 0.10/0.19 c restarts enabled, print stats at every restarts 0.10/0.19 c 0.10/0.19 c 0.10/0.19 c 0.10/0.19 c This is cosoco 1.12 -- 0.10/0.19 c 0.10/0.19 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266102-1502584183.xml 0.10/0.19 c ========================================[ Problem Statistics ]=========================================== 0.10/0.19 c | 0.10/0.19 c | Parse time : 0.15 s 0.10/0.19 c | 0.10/0.19 c | Variables: 100 0.10/0.19 c | Domain Sizes: 100..100 0.10/0.19 c | 0.10/0.19 c | Constraints: 103 0.10/0.19 c | Arity: 1..100 -- Unary: 2 -- Binary: 100 0.10/0.19 c | 0.10/0.19 c | Types: 0.10/0.19 c | All Different: 1 0.10/0.19 c | Intension: 100 0.10/0.19 c | Unary: 2 0.10/0.19 c | 0.10/0.19 c ========================================================================================================= 0.10/0.19 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.10/0.21 c 10 96 2050 10267 100 6 70 85 71 0.20/0.23 c 20 211 4145 17110 100 12 73 86 75 0.20/0.25 c 30 309 5890 22727 100 17 55 82 68 0.20/0.27 c 40 404 7634 28271 100 25 64 83 68 0.20/0.29 c 50 495 9382 34909 100 30 39 82 61 0.20/0.31 c 60 587 11083 40459 100 38 70 82 70 0.30/0.33 c 70 689 12935 45554 100 42 70 90 76 0.30/0.35 c 80 776 14613 52689 100 52 49 78 59 0.30/0.36 c 90 876 16458 58023 100 56 64 85 72 0.30/0.38 c 100 971 18123 63327 100 62 64 84 69 0.30/0.40 c 101 1049 19625 67675 100 63 78 78 39 0.40/0.42 c 110 1134 21168 73141 100 72 36 77 49 0.40/0.44 c 120 1237 23032 79775 100 80 64 87 72 0.40/0.46 c 130 1332 24859 85863 100 87 48 84 65 0.40/0.47 c 140 1423 26392 91185 100 97 45 82 67 0.40/0.49 c 150 1524 28291 97672 100 102 68 82 70 0.40/0.51 c 160 1616 29938 102917 100 110 57 82 69 0.50/0.53 c 170 1718 31859 109209 100 114 57 86 72 0.50/0.54 c 180 1822 33693 113947 100 115 80 88 76 0.50/0.57 c 190 1919 35612 122410 100 122 38 82 63 0.50/0.60 c 200 2002 37746 131846 100 132 35 74 44 0.59/0.61 c 210 2094 39379 136666 100 138 64 81 68 0.59/0.62 c 211 2130 40215 139160 100 139 36 36 18 0.59/0.64 c 220 2213 41922 145941 100 148 35 72 47 0.59/0.66 c 230 2313 43651 151309 100 152 69 85 73 0.59/0.68 c 240 2414 45623 157720 100 159 73 81 71 0.69/0.70 c 250 2513 47478 165681 100 168 49 80 60 0.69/0.72 c 260 2622 49539 171971 100 174 73 85 72 0.69/0.75 c 270 2732 51597 180007 100 178 52 85 66 0.69/0.77 c 280 2825 53412 186049 100 186 68 81 70 0.69/0.79 c 290 2931 55344 192405 100 192 73 81 70 0.79/0.81 c 300 3027 57121 198206 100 196 68 82 71 0.79/0.83 c 310 3123 58812 205100 100 204 47 82 61 0.79/0.85 c 320 3220 60487 210997 100 211 35 84 63 0.79/0.86 c 330 3324 62375 217088 100 217 73 81 70 0.79/0.88 c 332 3389 63618 220745 100 219 62 64 42 0.79/0.89 c 340 3481 65238 226150 100 224 64 84 67 0.89/0.91 c 350 3568 66864 231854 100 234 36 78 51 0.89/0.94 c 360 3658 68957 241246 100 243 35 81 52 0.89/0.96 c 370 3755 70647 246393 100 252 72 86 72 0.89/0.98 c 380 3845 72375 252246 100 256 37 78 62 0.89/1.00 c 390 3955 74246 257655 100 262 74 90 76 0.99/1.02 c 400 4054 76123 263266 100 266 66 83 70 0.99/1.04 c 410 4174 78040 269421 100 271 71 86 74 0.99/1.05 c 420 4269 79866 275206 100 278 59 81 67 0.99/1.07 c 430 4371 81705 281300 100 284 57 86 70 0.99/1.09 c 440 4486 83633 286739 100 288 74 85 72 1.09/1.11 c 450 4587 85463 292353 100 291 80 85 74 1.09/1.13 c 460 4680 87166 297618 100 298 66 82 69 1.09/1.14 c 465 4766 88733 302122 100 301 73 79 63 1.09/1.16 c 470 4858 90393 306779 100 303 79 83 67 1.09/1.18 c 480 4967 92358 312603 100 305 82 86 76 1.19/1.20 c 490 5072 94102 318170 100 311 76 83 73 1.19/1.22 c 500 5173 96011 325108 100 316 56 81 67 1.19/1.24 c 510 5281 97762 330398 100 321 75 82 71 1.19/1.26 c 520 5377 99754 338425 100 329 35 83 55 1.19/1.28 c 530 5484 101640 344390 100 334 71 87 74 1.29/1.31 c 540 5586 103506 351467 100 339 43 83 65 1.29/1.33 c 550 5681 105365 357565 100 348 54 82 67 1.29/1.34 c 560 5771 107004 362910 100 357 59 81 68 1.29/1.37 c 570 5862 109045 371346 100 367 35 81 48 1.29/1.39 c 580 5962 111064 377499 100 374 76 83 72 1.39/1.41 c 590 6060 112919 384063 100 378 67 82 70 1.39/1.43 c 600 6182 115061 390940 100 379 81 86 76 1.39/1.46 c 610 6268 117012 399138 100 389 35 77 48 1.39/1.47 c 611 6343 118440 403207 100 390 75 75 37 1.39/1.49 c 620 6441 120300 408595 100 393 75 85 74 1.49/1.51 c 630 6543 122059 413990 100 394 74 79 70 1.49/1.53 c 640 6650 123920 420118 100 398 82 87 77 1.49/1.54 c 650 6755 125677 425148 100 404 78 85 73 1.49/1.56 c 660 6861 127650 431566 100 409 63 86 71 1.49/1.59 c 670 6947 129405 439251 100 419 36 77 50 1.59/1.61 c 680 7056 131259 445192 100 422 73 86 73 1.59/1.63 c 690 7156 132923 450298 100 427 66 88 71 1.59/1.65 c 700 7247 134856 458531 100 437 37 82 52 1.59/1.67 c 710 7362 136793 464352 100 441 74 92 76 1.59/1.69 c 720 7465 138824 469652 100 447 70 85 73 1.69/1.71 c 730 7576 140824 475464 100 452 73 88 75 1.69/1.73 c 740 7685 142684 480952 100 455 79 82 73 1.69/1.75 c 750 7806 144672 486481 100 462 80 87 75 1.69/1.77 c 760 7910 146592 492656 100 467 71 86 73 1.69/1.79 c 770 8015 148503 498366 100 470 70 84 73 1.69/1.80 c 771 8050 149379 500778 100 471 35 35 17 1.79/1.81 c 780 8160 151325 505950 100 474 74 89 75 1.79/1.84 c 790 8244 153243 514198 100 484 35 75 47 1.79/1.86 c 800 8343 155142 521340 100 491 54 84 70 1.79/1.88 c 810 8437 156880 526493 100 497 75 84 72 1.89/1.90 c 820 8529 158690 532440 100 505 48 82 64 1.89/1.92 c 830 8628 160461 540223 100 513 49 86 63 1.89/1.94 c 840 8709 162382 549277 100 523 35 71 47 1.89/1.96 c 850 8818 164294 555292 100 524 84 88 77 1.89/1.98 c 860 8919 166061 560919 100 532 69 85 72 1.89/2.00 c 870 9032 167940 566524 100 537 73 91 72 1.99/2.02 c 880 9136 169868 572955 100 543 68 88 73 1.99/2.04 c 890 9234 171644 578463 100 547 62 87 74 1.99/2.06 c 900 9332 173377 583736 100 555 75 82 69 1.99/2.08 c 910 9421 175336 591977 100 565 35 79 49 1.99/2.10 c 920 9530 177285 597718 100 569 79 89 76 2.10/2.12 c 930 9633 179142 603538 100 573 77 84 73 2.10/2.14 c 940 9766 181362 609964 100 574 85 91 80 2.10/2.16 c 947 9855 183019 614935 100 575 77 80 68 2.10/2.18 c 950 9937 184530 619334 100 578 71 80 56 2.19/2.20 c 960 10029 186297 625276 100 586 48 81 64 2.19/2.22 c 970 10146 188278 632182 100 592 78 86 75 2.19/2.24 c 980 10256 190177 637979 100 598 73 87 71 2.19/2.26 c 990 10356 192275 645044 100 604 54 82 65 2.19/2.28 c 1000 10454 193792 649604 100 611 64 86 69 2.19/2.29 c 1010 10558 195664 655163 100 614 79 85 75 2.29/2.31 c 1020 10657 197415 660094 100 619 74 83 72 2.29/2.33 c 1030 10769 199409 666071 100 621 79 85 74 2.29/2.35 c 1040 10875 201317 672009 100 624 59 85 69 2.29/2.37 c 1050 10980 203074 677056 100 632 68 82 68 2.29/2.39 c 1060 11093 204979 682452 100 638 74 86 73 2.39/2.40 c 1070 11197 206831 687801 100 642 61 90 77 2.39/2.42 c 1080 11294 208531 692739 100 646 78 85 73 2.39/2.44 c 1090 11410 210499 699450 100 651 77 90 76 2.39/2.46 c 1100 11507 212243 705460 100 655 71 81 70 2.39/2.49 c 1110 11596 214248 714350 100 665 35 79 49 2.49/2.51 c 1120 11699 216169 720002 100 670 76 86 72 2.49/2.52 c 1130 11807 217996 725731 100 674 80 86 76 2.49/2.54 c 1140 11913 219859 730848 100 681 82 89 76 2.49/2.56 c 1141 11977 221160 735048 100 682 64 64 32 2.49/2.58 c 1150 12087 223124 740644 100 688 79 88 73 2.59/2.60 c 1160 12183 225130 749093 100 697 35 84 52 2.59/2.62 c 1170 12286 227009 754175 100 700 82 86 76 2.59/2.64 c 1180 12383 228775 759539 100 705 76 81 72 2.59/2.66 c 1190 12491 230671 765119 100 707 79 86 74 2.59/2.67 c 1200 12589 232320 769950 100 713 64 82 69 2.59/2.69 c 1210 12695 234330 775440 100 718 70 87 76 2.69/2.72 c 1220 12783 236371 783847 100 728 35 79 48 2.69/2.74 c 1230 12891 238383 789551 100 733 81 89 76 2.69/2.76 c 1240 13006 240509 797211 100 737 67 86 72 2.69/2.78 c 1250 13104 242239 803043 100 743 70 84 73 2.79/2.80 c 1260 13182 244061 810636 100 753 35 69 47 2.79/2.82 c 1270 13285 246019 818550 100 757 50 84 69 2.79/2.84 c 1280 13387 247748 823442 100 762 57 84 72 2.79/2.86 c 1290 13493 249578 829250 100 769 75 84 72 2.79/2.88 c 1300 13616 251718 835945 100 774 75 88 74 2.89/2.90 c 1310 13712 253362 841438 100 781 64 87 69 2.89/2.92 c 1320 13817 255304 847360 100 783 80 85 74 2.89/2.93 c 1330 13915 257051 852931 100 788 74 81 70 2.89/2.96 c 1340 14016 258913 859024 100 794 37 78 62 2.89/2.98 c 1350 14116 260816 865100 100 797 72 83 71 2.89/2.99 c 1352 14203 262434 869582 100 799 82 84 55 3.00/3.01 c 1360 14307 264387 875638 100 802 74 85 72 3.00/3.03 c 1370 14418 266323 881257 100 805 85 89 79 3.00/3.05 c 1380 14522 268168 887008 100 808 75 85 72 3.00/3.07 c 1390 14627 269969 892028 100 812 77 84 73 3.00/3.08 c 1400 14726 271712 897204 100 815 76 83 72 3.00/3.10 c 1410 14830 273566 902869 100 820 57 84 70 3.10/3.12 c 1420 14924 275540 908489 100 827 61 83 68 3.10/3.15 c 1430 15012 277516 916551 100 837 35 79 48 3.10/3.17 c 1440 15113 279339 922791 100 839 78 85 75 3.10/3.19 c 1450 15218 281275 928419 100 844 76 85 72 3.19/3.21 c 1460 15313 283242 936325 100 853 35 85 50 3.19/3.23 c 1470 15413 285041 941521 100 858 60 82 70 3.19/3.25 c 1480 15511 286818 947638 100 866 48 85 65 3.19/3.27 c 1490 15612 288712 953101 100 874 69 88 74 3.29/3.30 c 1500 15690 290978 964061 100 884 35 67 47 3.29/3.31 c 1510 15786 292729 969600 100 893 71 85 71 3.29/3.33 c 1520 15886 294539 974641 100 897 71 81 70 3.29/3.35 c 1530 15985 296253 979931 100 907 64 87 67 3.29/3.37 c 1540 16079 297968 986401 100 914 52 84 69 3.29/3.39 c 1550 16180 300014 992980 100 917 57 81 70 3.39/3.41 c 1560 16290 301912 998810 100 925 74 83 71 3.39/3.43 c 1570 16387 303656 1004012 100 934 59 81 68 3.39/3.45 c 1580 16484 305337 1009154 100 941 78 85 72 3.39/3.46 c 1585 16579 307106 1013732 100 942 81 87 69 3.39/3.48 c 1590 16674 308673 1018699 100 943 82 87 70 3.49/3.50 c 1600 16784 310565 1024055 100 949 73 85 72 3.49/3.52 c 1610 16875 312348 1029655 100 956 54 81 68 3.49/3.53 c 1620 16971 314094 1035381 100 961 68 87 71 3.49/3.55 c 1630 17085 315975 1041132 100 964 84 89 79 3.49/3.57 c 1640 17190 317890 1046383 100 969 77 83 73 3.49/3.59 c 1650 17287 319570 1051153 100 975 64 84 69 3.59/3.61 c 1660 17393 321446 1057104 100 978 73 85 72 3.59/3.62 c 1670 17500 323375 1062428 100 982 79 85 74 3.59/3.64 c 1680 17609 325124 1068328 100 987 80 86 75 3.59/3.66 c 1690 17713 327167 1075734 100 991 55 87 70 3.59/3.68 c 1700 17816 328922 1081645 100 996 77 86 73 3.69/3.71 c 1710 17893 330772 1090355 100 1006 35 68 46 3.69/3.73 c 1720 17985 332665 1098306 100 1013 17 78 58 3.69/3.75 c 1730 18099 334733 1103934 100 1015 84 89 77 3.69/3.77 c 1740 18200 336592 1109878 100 1019 70 79 67 3.69/3.79 c 1750 18299 338463 1115309 100 1023 76 82 72 3.79/3.81 c 1760 18395 340168 1120435 100 1030 65 83 70 3.79/3.83 c 1770 18515 342197 1126246 100 1035 79 90 77 3.79/3.85 c 1780 18607 343952 1132018 100 1042 48 81 65 3.79/3.87 c 1790 18718 346107 1139374 100 1047 74 84 73 3.79/3.89 c 1800 18842 348110 1145688 100 1054 77 86 74 3.89/3.91 c 1810 18947 349929 1151012 100 1061 77 84 73 3.89/3.92 c 1820 19043 351607 1155939 100 1065 79 84 73 3.89/3.94 c 1830 19132 353363 1161415 100 1072 48 80 64 3.89/3.96 c 1840 19235 355147 1166847 100 1075 75 87 72 3.89/3.98 c 1841 19313 356585 1170617 100 1076 78 78 39 3.89/3.99 c 1850 19417 358374 1175664 100 1081 79 88 75 4.00/4.02 c 1860 19509 360404 1184088 100 1091 35 83 50 4.00/4.04 c 1870 19606 362251 1190317 100 1096 74 81 69 4.00/4.06 c 1880 19695 364257 1198304 100 1105 36 79 52 4.00/4.09 c 1890 19795 366095 1205482 100 1110 47 85 71 4.10/4.10 c 1900 19906 367999 1210472 100 1113 72 86 73 4.10/4.13 c 1910 20011 370030 1216859 100 1117 65 84 72 4.10/4.14 c 1920 20116 371924 1222009 100 1120 78 82 73 4.10/4.16 c 1930 20208 373708 1228112 100 1127 74 79 68 4.10/4.18 c 1940 20311 375541 1233535 100 1134 78 83 73 4.19/4.20 c 1950 20411 377432 1239437 100 1138 71 87 73 4.19/4.22 c 1960 20513 379348 1245000 100 1140 57 82 71 4.19/4.24 c 1970 20618 381389 1251390 100 1144 65 84 72 4.19/4.26 c 1980 20731 383422 1257222 100 1148 73 84 73 4.19/4.28 c 1990 20838 385227 1262278 100 1154 57 88 71 4.29/4.30 c 2000 20933 386958 1267615 100 1162 75 84 72 4.29/4.32 c 2010 21042 388998 1273782 100 1166 79 85 74 4.29/4.34 c 2020 21145 390738 1278717 100 1172 76 83 71 4.29/4.35 c 2030 21256 392614 1284106 100 1175 79 86 75 4.29/4.37 c 2040 21354 394449 1288787 100 1180 80 85 74 4.29/4.39 c 2050 21455 396248 1295126 100 1188 65 84 69 4.39/4.41 c 2060 21563 398066 1300299 100 1193 73 87 73 4.39/4.43 c 2070 21675 399927 1305889 100 1196 81 86 75 4.39/4.45 c 2080 21786 401886 1311354 100 1199 79 89 76 4.39/4.47 c 2090 21888 403872 1318864 100 1202 79 83 74 4.39/4.49 c 2100 21995 405751 1324385 100 1207 78 86 74 4.49/4.51 c 2110 22096 407596 1329856 100 1212 76 86 74 4.49/4.53 c 2120 22196 409411 1336772 100 1218 68 83 69 4.49/4.54 c 2122 22277 410918 1340919 100 1220 57 80 45 4.49/4.57 c 2130 22392 413057 1347323 100 1222 80 87 75 4.49/4.58 c 2140 22495 414826 1352483 100 1225 81 85 75 4.59/4.61 c 2150 22583 416609 1360132 100 1235 36 79 48 4.59/4.63 c 2160 22671 418634 1368658 100 1245 35 78 48 4.59/4.65 c 2170 22786 420601 1374162 100 1248 74 88 76 4.59/4.68 c 2180 22864 422557 1383186 100 1258 35 69 46 4.69/4.70 c 2190 22974 424548 1389891 100 1262 79 89 75 4.69/4.72 c 2200 23083 426487 1395608 100 1268 76 84 73 4.69/4.74 c 2210 23180 428241 1400976 100 1270 75 83 71 4.69/4.76 c 2220 23281 430154 1406804 100 1273 65 84 72 4.69/4.77 c 2230 23380 431838 1411925 100 1278 77 84 73 4.69/4.79 c 2240 23478 433608 1417383 100 1283 79 83 74 4.79/4.81 c 2250 23580 435422 1422950 100 1288 75 85 72 4.79/4.83 c 2260 23685 437315 1430437 100 1295 38 87 66 4.79/4.85 c 2270 23784 439088 1435671 100 1302 80 86 74 4.79/4.87 c 2280 23891 440909 1440617 100 1305 83 87 76 4.79/4.89 c 2290 23988 442673 1445918 100 1308 75 82 71 4.89/4.90 c 2300 24089 444434 1451283 100 1317 64 87 70 4.89/4.92 c 2310 24206 446412 1457202 100 1321 73 90 76 4.89/4.94 c 2320 24320 448320 1463031 100 1325 73 83 73 4.89/4.96 c 2330 24422 450078 1467989 100 1330 77 85 74 4.89/4.98 c 2340 24522 451701 1472832 100 1337 77 83 72 4.89/5.00 c 2350 24632 453826 1479408 100 1342 77 86 75 5.00/5.02 c 2360 24752 455968 1485463 100 1349 79 86 74 5.00/5.04 c 2370 24850 457780 1491315 100 1358 54 87 68 5.00/5.05 c 2380 24944 459452 1495869 100 1362 78 82 72 5.00/5.07 c 2390 25058 461380 1501051 100 1367 74 84 71 5.00/5.09 c 2400 25161 463179 1506367 100 1372 77 84 74 5.10/5.12 c 2410 25247 465197 1515281 100 1382 35 77 48 5.10/5.14 c 2420 25366 467276 1521105 100 1384 86 91 80 5.10/5.16 c 2430 25458 469046 1526677 100 1385 77 81 72 5.10/5.16 c 2431 25494 469853 1529014 100 1386 36 36 18 5.10/5.18 c 2440 25592 471713 1533905 100 1391 69 88 73 5.19/5.20 c 2450 25698 473594 1539875 100 1394 78 84 72 5.19/5.22 c 2460 25799 475435 1545798 100 1398 73 81 70 5.19/5.24 c 2470 25898 477172 1550878 100 1404 80 83 74 5.19/5.26 c 2480 26009 479141 1557095 100 1408 76 83 71 5.19/5.28 c 2490 26101 480910 1562574 100 1415 54 81 68 5.29/5.30 c 2500 26205 482795 1568582 100 1418 74 85 70 5.29/5.32 c 2510 26324 484837 1574739 100 1423 75 87 73 5.29/5.34 c 2520 26426 486722 1580615 100 1430 77 84 72 5.29/5.36 c 2530 26537 488691 1585920 100 1432 76 82 72 5.29/5.37 c 2540 26633 490382 1590895 100 1436 57 84 71 5.29/5.39 c 2550 26732 492027 1596268 100 1446 64 85 69 5.39/5.41 c 2560 26854 494100 1602076 100 1453 80 91 77 5.39/5.43 c 2570 26970 496163 1607865 100 1458 68 86 74 5.39/5.45 c 2580 27068 497819 1612753 100 1464 21 81 64 5.39/5.47 c 2590 27174 499695 1618139 100 1467 74 87 72 5.39/5.49 c 2600 27286 501851 1623497 100 1469 67 91 76 5.49/5.51 c 2610 27392 503774 1629187 100 1472 78 83 73 5.49/5.52 c 2620 27498 505547 1634830 100 1476 71 86 75 5.49/5.55 c 2630 27587 507447 1643163 100 1486 37 80 55 5.49/5.57 c 2640 27686 509188 1648174 100 1489 57 84 71 5.49/5.58 c 2650 27789 511025 1654018 100 1492 76 85 73 5.59/5.60 c 2660 27893 512872 1659554 100 1497 78 86 74 5.59/5.62 c 2670 27992 514590 1664502 100 1502 73 86 74 5.59/5.64 c 2680 28100 516567 1669987 100 1507 71 82 71 5.59/5.66 c 2690 28209 518645 1677421 100 1511 73 82 69 5.59/5.69 c 2700 28307 520497 1683721 100 1514 76 79 70 5.69/5.70 c 2710 28418 522433 1688893 100 1515 81 89 76 5.69/5.73 c 2720 28526 524506 1697765 100 1519 77 82 72 5.69/5.75 c 2730 28621 526259 1704655 100 1526 49 85 67 5.69/5.77 c 2740 28731 528301 1712147 100 1528 73 85 72 5.69/5.79 c 2750 28833 530187 1718474 100 1536 73 84 73 5.79/5.81 c 2760 28946 532139 1723905 100 1539 80 87 76 5.79/5.83 c 2770 29055 534102 1729971 100 1543 78 88 75 5.79/5.85 c 2771 29135 535519 1734003 100 1544 80 80 40 5.79/5.87 c 2780 29248 537462 1739401 100 1551 67 86 71 5.79/5.88 c 2790 29347 539140 1744565 100 1556 75 85 73 5.89/5.90 c 2800 29449 540881 1749705 100 1560 77 85 74 5.89/5.92 c 2810 29544 542629 1754753 100 1568 59 83 68 5.89/5.94 c 2820 29654 544530 1760120 100 1572 76 87 75 5.89/5.96 c 2830 29763 546463 1766400 100 1575 79 87 75 5.89/5.98 c 2840 29861 548296 1772484 100 1583 76 83 71 5.89/5.99 c 2850 29972 550292 1778324 100 1588 79 86 75 6.00/6.01 c 2860 30072 552045 1783875 100 1595 63 84 71 6.00/6.03 c 2870 30174 553927 1789043 100 1596 80 85 74 6.00/6.05 c 2880 30271 555789 1794795 100 1604 52 85 65 6.00/6.07 c 2890 30373 557660 1800314 100 1610 51 84 70 6.00/6.09 c 2900 30474 559351 1805177 100 1613 76 85 71 6.00/6.10 c 2910 30571 561069 1809997 100 1622 82 87 75 6.10/6.12 c 2920 30680 562982 1815815 100 1625 78 87 75 6.10/6.14 c 2930 30779 564655 1820826 100 1631 50 83 63 6.10/6.16 c 2940 30901 566667 1827229 100 1636 76 84 74 6.10/6.18 c 2950 30994 568462 1832124 100 1643 75 81 69 6.10/6.20 c 2960 31088 570067 1836930 100 1647 73 82 70 6.19/6.21 c 2970 31185 571827 1841693 100 1648 78 81 72 6.19/6.23 c 2980 31293 573835 1847400 100 1652 83 86 76 6.19/6.25 c 2990 31403 575939 1852912 100 1657 75 82 71 6.19/6.27 c 3000 31502 577606 1857817 100 1661 75 82 72 6.19/6.29 c 3010 31630 579748 1864248 100 1664 76 86 74 6.29/6.31 c 3020 31734 581594 1869515 100 1667 75 84 71 6.29/6.33 c 3030 31834 583524 1875340 100 1669 79 83 73 6.29/6.35 c 3040 31936 585309 1880393 100 1675 82 87 77 6.29/6.37 c 3050 32061 587513 1886973 100 1678 78 88 74 6.29/6.39 c 3060 32171 589281 1892298 100 1683 76 84 74 6.39/6.41 c 3070 32288 591156 1897505 100 1688 78 91 76 6.39/6.43 c 3080 32395 593115 1903398 100 1695 77 86 72 6.39/6.44 c 3090 32499 594837 1908252 100 1696 78 84 73 6.39/6.46 c 3100 32590 596460 1912897 100 1700 76 82 70 6.39/6.48 c 3110 32709 598513 1918653 100 1705 79 89 75 6.49/6.50 c 3120 32824 600587 1923987 100 1707 80 84 74 6.49/6.51 c 3130 32919 602227 1928731 100 1713 76 82 71 6.49/6.53 c 3140 33030 604444 1933979 100 1716 85 90 79 6.49/6.55 c 3142 33099 605857 1938055 100 1718 54 68 40 6.49/6.56 c 3150 33193 607501 1942619 100 1726 82 87 74 6.49/6.58 c 3160 33288 609272 1947706 100 1728 77 81 72 6.59/6.61 c 3170 33379 611110 1954374 100 1735 36 80 55 6.59/6.62 c 3180 33477 612846 1959118 100 1741 79 85 74 6.59/6.64 c 3190 33589 614956 1964572 100 1744 87 92 81 6.59/6.66 c 3200 33682 616729 1969747 100 1751 72 81 70 6.59/6.68 c 3210 33780 618427 1974518 100 1756 64 84 69 6.59/6.69 c 3220 33881 620113 1979453 100 1761 77 84 73 6.69/6.71 c 3230 33981 621932 1985168 100 1764 77 84 73 6.69/6.73 c 3240 34079 623713 1990239 100 1765 81 85 75 6.69/6.75 c 3250 34187 625615 1995615 100 1769 83 89 78 6.69/6.77 c 3260 34312 627703 2001736 100 1770 81 86 77 6.69/6.79 c 3270 34408 629263 2006368 100 1773 78 84 74 6.79/6.81 c 3280 34522 631294 2012635 100 1776 82 87 77 6.79/6.83 c 3290 34626 633191 2019638 100 1779 76 84 73 6.79/6.85 c 3300 34726 634971 2024794 100 1784 65 85 73 6.79/6.87 c 3310 34821 636737 2030543 100 1792 69 83 71 6.79/6.88 c 3320 34921 638524 2036271 100 1796 72 82 71 6.89/6.91 c 3330 35020 640252 2042745 100 1804 81 86 74 6.89/6.92 c 3340 35115 641916 2047660 100 1809 75 85 73 6.89/6.94 c 3350 35231 643884 2053526 100 1812 77 87 74 6.89/6.96 c 3360 35323 645472 2058042 100 1822 62 83 69 6.89/6.98 c 3370 35419 647303 2064350 100 1828 77 83 73 6.89/6.99 c 3380 35520 649025 2069481 100 1836 64 85 69 7.00/7.01 c 3390 35625 650872 2074953 100 1843 42 89 71 7.00/7.03 c 3400 35728 652671 2081752 100 1849 80 88 75 7.00/7.05 c 3410 35833 654478 2086737 100 1853 77 84 73 7.00/7.07 c 3420 35945 656388 2092283 100 1859 80 91 77 7.00/7.09 c 3430 36050 658223 2097585 100 1865 77 85 74 7.10/7.11 c 3440 36152 659975 2102525 100 1868 78 84 74 7.10/7.12 c 3450 36252 661751 2107731 100 1872 77 87 74 7.10/7.14 c 3460 36360 663725 2113447 100 1874 77 83 73 7.10/7.16 c 3470 36459 665473 2118500 100 1877 78 82 72 7.10/7.18 c 3480 36557 667359 2124128 100 1883 76 83 71 7.19/7.20 c 3490 36673 669425 2129490 100 1887 76 84 74 7.19/7.22 c 3500 36784 671358 2134893 100 1895 79 89 75 7.19/7.24 c 3510 36873 673268 2142671 100 1903 35 80 51 7.19/7.26 c 3520 36990 675207 2148000 100 1911 76 86 74 7.19/7.28 c 3530 37079 676774 2152580 100 1921 76 79 69 7.29/7.31 c 3540 37167 678783 2160801 100 1931 35 78 48 7.29/7.33 c 3550 37273 680774 2167295 100 1936 74 82 71 7.29/7.34 c 3551 37327 681992 2170682 100 1937 54 54 27 7.29/7.36 c 3560 37439 683871 2175904 100 1940 85 90 79 7.29/7.38 c 3570 37531 685645 2181777 100 1948 48 81 64 7.39/7.40 c 3580 37642 687552 2187040 100 1951 81 86 75 7.39/7.42 c 3590 37758 689577 2192614 100 1953 79 86 74 7.39/7.44 c 3600 37870 691524 2198397 100 1957 81 87 77 7.39/7.46 c 3610 37980 693342 2203265 100 1961 75 87 73 7.39/7.48 c 3620 38094 695416 2209553 100 1967 80 87 76 7.49/7.50 c 3630 38194 697421 2214901 100 1972 77 81 72 7.49/7.52 c 3640 38307 699410 2220633 100 1975 75 87 74 7.49/7.53 c 3650 38417 701160 2225326 100 1981 76 83 72 7.49/7.55 c 3660 38518 703019 2230578 100 1989 79 84 73 7.49/7.57 c 3670 38618 704817 2235470 100 1994 81 85 75 7.49/7.59 c 3680 38722 706769 2240859 100 1999 76 82 72 7.59/7.61 c 3690 38820 708565 2245945 100 2003 75 83 72 7.59/7.63 c 3700 38919 710349 2251423 100 2006 75 87 75 7.59/7.65 c 3710 39000 712281 2260472 100 2016 35 71 47 7.59/7.67 c 3720 39119 714307 2266475 100 2021 74 85 75 7.59/7.69 c 3730 39219 716107 2271994 100 2024 77 84 73 7.69/7.71 c 3740 39336 718201 2278395 100 2030 73 87 73 7.69/7.73 c 3750 39432 719899 2283835 100 2034 75 80 70 7.69/7.75 c 3760 39539 721891 2289272 100 2036 77 84 73 7.69/7.76 c 3770 39635 723623 2294444 100 2042 76 81 71 7.69/7.78 c 3780 39737 725475 2299897 100 2048 76 85 72 7.79/7.80 c 3790 39846 727447 2306340 100 2053 77 84 73 7.79/7.82 c 3800 39963 729560 2312000 100 2055 82 86 76 7.79/7.84 c 3810 40073 731423 2317201 100 2060 78 83 73 7.79/7.86 c 3820 40182 733293 2322776 100 2061 78 85 74 7.79/7.88 c 3830 40291 735209 2328249 100 2063 80 83 74 7.89/7.90 c 3840 40394 737154 2333364 100 2066 81 86 76 7.89/7.92 c 3850 40507 739090 2339267 100 2072 76 86 74 7.89/7.94 c 3860 40618 740954 2344865 100 2078 74 85 73 7.89/7.96 c 3870 40734 743061 2350824 100 2084 82 89 77 7.89/7.97 c 3880 40840 744960 2356247 100 2090 75 86 73 7.89/7.99 c 3890 40946 746953 2362547 100 2095 78 85 74 7.99/8.02 c 3900 41062 749002 2368759 100 2099 78 86 74 7.99/8.04 c 3910 41180 751117 2374461 100 2103 78 86 75 7.99/8.05 c 3920 41278 752870 2380026 100 2108 74 81 70 7.99/8.07 c 3930 41389 754685 2385668 100 2111 77 87 75 7.99/8.09 c 3940 41498 756606 2391732 100 2118 80 84 74 8.09/8.11 c 3950 41601 758525 2398009 100 2123 78 84 73 8.09/8.13 c 3960 41721 760504 2403600 100 2127 82 89 77 8.09/8.15 c 3970 41829 762467 2409898 100 2133 79 87 74 8.09/8.17 c 3980 41946 764310 2415695 100 2136 83 88 78 8.09/8.18 c 3990 42046 766066 2420846 100 2142 77 85 73 8.19/8.20 c 4000 42154 767900 2425898 100 2145 79 84 74 8.19/8.22 c 4001 42233 769388 2429943 100 2146 79 79 39 8.19/8.23 c 4010 42339 771168 2435438 100 2151 79 88 75 8.19/8.25 c 4020 42441 773053 2441717 100 2159 78 84 72 8.19/8.27 c 4030 42540 774828 2447103 100 2166 80 86 74 8.19/8.29 c 4040 42635 776656 2453329 100 2173 58 80 66 8.29/8.32 c 4050 42751 778690 2459103 100 2178 80 86 75 8.29/8.34 c 4060 42854 780833 2465366 100 2185 63 85 71 8.29/8.35 c 4070 42947 782500 2470218 100 2193 72 80 69 8.29/8.37 c 4080 43044 784324 2476308 100 2199 57 83 68 8.29/8.39 c 4090 43154 786218 2481540 100 2207 82 88 77 8.39/8.41 c 4100 43253 787942 2486193 100 2212 74 81 70 8.39/8.43 c 4110 43354 789771 2491389 100 2216 57 81 69 8.39/8.45 c 4120 43455 791817 2496875 100 2222 78 85 73 8.39/8.47 c 4130 43545 793585 2502122 100 2230 57 80 66 8.39/8.48 c 4140 43654 795437 2507526 100 2234 77 84 73 8.49/8.50 c 4150 43750 797283 2513082 100 2243 74 77 68 8.49/8.52 c 4160 43846 799288 2520019 100 2248 60 84 70 8.49/8.54 c 4170 43942 801145 2525449 100 2257 75 81 70 8.49/8.56 c 4180 44057 803163 2531604 100 2262 76 85 73 8.49/8.58 c 4190 44165 805041 2537661 100 2267 82 86 75 8.59/8.60 c 4200 44279 807051 2543449 100 2271 78 83 73 8.59/8.62 c 4210 44382 809015 2549395 100 2276 71 82 71 8.59/8.64 c 4220 44482 810796 2554634 100 2281 77 85 74 8.59/8.66 c 4230 44592 812655 2560046 100 2288 77 89 74 8.59/8.68 c 4240 44702 814701 2566384 100 2291 82 88 78 8.69/8.70 c 4250 44789 816725 2575115 100 2301 35 78 48 8.69/8.72 c 4260 44894 818652 2580566 100 2306 71 81 71 8.69/8.74 c 4270 44993 820409 2586063 100 2313 80 85 74 8.69/8.76 c 4280 45086 822213 2591547 100 2321 68 81 69 8.69/8.78 c 4290 45190 823972 2596749 100 2327 65 88 72 8.79/8.80 c 4300 45291 825714 2602208 100 2333 81 86 75 8.79/8.81 c 4310 45398 827548 2607800 100 2339 80 87 74 8.79/8.83 c 4320 45509 829542 2613981 100 2344 75 87 72 8.79/8.85 c 4330 45606 831190 2619145 100 2346 77 85 73 8.79/8.87 c 4340 45705 832984 2624774 100 2353 72 82 71 8.79/8.89 c 4350 45812 834820 2630297 100 2358 78 87 75 8.89/8.91 c 4360 45930 836914 2636206 100 2364 78 88 74 8.89/8.93 c 4370 46034 838758 2641662 100 2366 74 87 75 8.89/8.95 c 4380 46140 840474 2647162 100 2372 76 82 72 8.89/8.97 c 4390 46248 842355 2653533 100 2376 78 85 73 8.89/8.99 c 4400 46336 844377 2661989 100 2386 35 78 48 9.00/9.01 c 4410 46438 846173 2666902 100 2390 78 82 72 9.00/9.03 c 4420 46546 848224 2673933 100 2393 83 86 76 9.00/9.05 c 4430 46649 850085 2679577 100 2399 57 83 69 9.00/9.07 c 4440 46748 851833 2684632 100 2400 77 82 72 9.00/9.09 c 4450 46843 853561 2689698 100 2407 52 84 65 9.10/9.11 c 4460 46939 855288 2695344 100 2414 76 83 70 9.10/9.14 c 4470 47017 857522 2706201 100 2424 35 67 47 9.10/9.16 c 4480 47117 859275 2711216 100 2431 75 82 71 9.10/9.18 c 4490 47231 861371 2718055 100 2434 79 83 73 9.10/9.19 c 4493 47318 863064 2722829 100 2435 81 82 61 9.19/9.21 c 4500 47411 864754 2727755 100 2439 77 81 69 9.19/9.23 c 4510 47507 866509 2732686 100 2444 77 83 72 9.19/9.25 c 4520 47606 868127 2737407 100 2448 67 84 71 9.19/9.27 c 4530 47712 870036 2743176 100 2451 77 83 73 9.19/9.29 c 4540 47818 871858 2749554 100 2457 80 85 75 9.29/9.31 c 4550 47928 873773 2755566 100 2462 77 89 74 9.29/9.33 c 4560 48029 875573 2760580 100 2467 78 84 73 9.29/9.34 c 4570 48147 877436 2765837 100 2475 75 83 72 9.29/9.36 c 4580 48254 879240 2771295 100 2481 78 85 74 9.29/9.38 c 4590 48368 881393 2777408 100 2484 79 86 74 9.39/9.40 c 4600 48463 883065 2782164 100 2488 77 82 71 9.39/9.42 c 4610 48575 885193 2788328 100 2492 77 87 75 9.39/9.44 c 4620 48674 887043 2794202 100 2498 66 83 68 9.39/9.46 c 4630 48784 888941 2799398 100 2500 79 88 76 9.39/9.48 c 4640 48903 891051 2806351 100 2502 73 83 72 9.49/9.50 c 4650 49000 892840 2811744 100 2503 78 83 72 9.49/9.52 c 4660 49115 894800 2817268 100 2508 81 84 75 9.49/9.54 c 4670 49228 896707 2822616 100 2513 75 89 74 9.49/9.56 c 4680 49323 898428 2827763 100 2520 72 78 68 9.49/9.58 c 4690 49444 900579 2834033 100 2522 79 87 75 9.59/9.60 c 4700 49546 902550 2840128 100 2528 56 86 68 9.59/9.62 c 4710 49661 904499 2845691 100 2530 82 89 77 9.59/9.64 c 4720 49770 906279 2850591 100 2534 76 83 73 9.59/9.66 c 4730 49904 908522 2856932 100 2536 81 87 76 9.59/9.68 c 4740 50007 910339 2862636 100 2541 74 85 72 9.59/9.69 c 4750 50104 912055 2867384 100 2544 78 82 72 9.69/9.71 c 4760 50222 914235 2873890 100 2547 76 87 75 9.69/9.73 c 4770 50326 916133 2879492 100 2550 77 82 72 9.69/9.75 c 4780 50426 917968 2884628 100 2552 82 86 75 9.69/9.77 c 4790 50549 919852 2889866 100 2554 73 83 72 9.69/9.79 c 4800 50652 921623 2895121 100 2563 71 85 71 9.79/9.81 c 4810 50766 923719 2901339 100 2568 75 86 73 9.79/9.83 c 4820 50863 925501 2906914 100 2571 75 82 71 9.79/9.85 c 4830 50974 927535 2913101 100 2575 75 83 72 9.79/9.87 c 4840 51077 929259 2918544 100 2582 78 86 73 9.79/9.89 c 4850 51187 931306 2925103 100 2590 57 85 70 9.89/9.91 c 4860 51287 933064 2930594 100 2596 78 84 74 9.89/9.93 c 4870 51392 934988 2935702 100 2599 78 85 73 9.89/9.95 c 4880 51504 936919 2941639 100 2601 77 83 72 9.89/9.97 c 4890 51614 938992 2948065 100 2605 61 88 73 9.89/9.99 c 4900 51715 940897 2953948 100 2608 57 82 69 10.00/10.01 c 4910 51809 942636 2958766 100 2611 75 80 71 10.00/10.03 c 4920 51907 944335 2964055 100 2615 73 84 71 10.00/10.04 c 4930 52007 946104 2969223 100 2622 75 83 70 10.00/10.06 c 4940 52112 947858 2974165 100 2629 75 84 72 10.00/10.08 c 4950 52208 949529 2978819 100 2631 78 81 72 10.00/10.10 c 4960 52313 951530 2985183 100 2635 75 85 72 10.10/10.12 c 4970 52411 953263 2990200 100 2644 74 84 69 10.10/10.14 c 4980 52526 955204 2995949 100 2648 77 85 75 10.10/10.16 c 4990 52635 957175 3001548 100 2652 78 87 75 10.10/10.19 c 5035 52825 960558 3014650 100 2667 35 83 71 10.39/10.42 c 5631 54950 989655 3102266 100 2680 78 93 85 10.69/10.78 c 6286 56985 1024176 3261065 100 2711 35 84 76 11.00/11.08 c 7006 59324 1058581 3371743 100 2732 71 88 80 11.29/11.33 c 7798 61427 1088434 3466822 100 2750 76 91 84 11.59/11.69 c 8669 64380 1130952 3607996 100 2767 73 91 83 12.00/12.03 c 9627 67690 1172721 3727165 100 2779 57 88 80 12.59/12.61 c 10680 71156 1230282 3971534 100 2789 70 88 79 13.10/13.15 c 11838 75091 1291785 4207679 100 2824 69 88 78 13.49/13.58 c 13111 78796 1344953 4392807 100 2849 63 89 82 14.00/14.07 c 14511 82800 1400041 4573905 100 2864 57 88 80 14.59/14.60 c 16051 87235 1460371 4780676 100 2876 71 89 80 15.10/15.15 c 17745 92314 1528703 4995017 100 2891 74 93 84 15.89/15.92 c 19608 97831 1615129 5342041 100 2924 48 90 81 16.69/16.74 c 21657 103926 1704357 5661452 100 2943 61 90 80 17.59/17.64 c 23910 110710 1809231 6019020 100 2954 69 87 79 18.59/18.66 c 26388 118361 1926555 6459002 100 2987 54 92 79 19.69/19.75 c 29113 126511 2052852 6924117 100 3017 64 89 79 20.69/20.75 c 32110 135934 2179344 7306773 100 3031 73 93 84 22.10/22.11 c 35406 145396 2326972 7981853 100 3056 54 90 81 23.39/23.44 c 39031 157323 2490726 8482255 100 3084 70 90 80 25.00/25.05 c 43018 168609 2667835 9224060 100 3097 71 93 80 26.69/26.73 c 47403 182356 2862873 9871356 100 3114 68 89 80 28.49/28.59 c 52226 197033 3076701 10785992 100 3150 72 91 82 30.39/30.41 c 57531 213263 3289732 11496675 100 3167 57 90 80 32.39/32.46 c 63366 233363 3547562 12297973 100 3181 70 95 82 34.49/34.59 c 69784 253333 3812996 13165182 100 3199 74 91 84 36.89/36.94 c 76843 274464 4086581 14040711 100 3218 57 90 82 39.59/39.61 c 84607 297806 4410522 14958405 100 3245 53 89 80 42.49/42.52 c 93147 320928 4738912 16118126 100 3268 67 90 79 45.79/45.84 c 102541 347607 5135232 17474558 100 3289 57 88 79 49.29/49.32 c 112874 380924 5548074 18833240 100 3324 66 91 81 53.10/53.16 c 124240 415517 6021698 20491664 100 3346 71 91 82 57.29/57.36 c 136742 450507 6522246 22260897 100 3372 71 91 81 62.39/62.45 c 150494 488633 7103253 24344804 100 3390 70 89 79 68.00/68.10 c 165621 531250 7732755 26791240 100 3427 67 90 79 74.29/74.34 c 182260 586531 8484660 29209462 100 3455 68 92 81 82.89/82.98 c 200562 642710 9329419 32866130 100 3472 68 89 80 90.39/90.43 c 220694 705867 10175202 35736670 100 3501 63 90 80 100.89/100.98 c 242839 767428 11223700 40298355 100 3521 40 87 79 109.89/109.99 c 267198 840106 12261790 43643454 100 3551 69 89 81 119.29/119.36 c 293992 930045 13447953 47174726 100 3588 70 93 82 129.69/129.70 c 323465 1026390 14739510 51212943 100 3617 65 92 83 142.00/142.08 c 355885 1130604 16186475 56003832 100 3658 66 89 79 155.19/155.29 c 391547 1236943 17720166 61036976 100 3695 66 90 82 171.50/171.58 c 430775 1365756 19441030 66576611 100 3717 64 90 80 187.60/187.63 c 473925 1504495 21401534 73026995 100 3759 68 92 81 205.00/205.07 c 521390 1646260 23545062 79829054 100 3784 67 87 78 222.40/222.40 c 573601 1809468 25688567 86543688 100 3818 67 94 79 247.70/247.76 c 631033 1985328 28366394 96037333 100 3846 64 86 76 268.11/268.14 c 694208 2177533 30935928 104218867 100 3862 72 94 84 301.50/301.55 c 763700 2379408 34176330 119609472 100 3912 35 88 79 328.20/328.20 c 840141 2628533 37391782 129238898 100 3926 68 90 81 359.02/359.01 c 924226 2881024 40952768 141026067 100 3955 69 91 82 391.31/391.33 c 1016719 3139266 44703338 152703936 100 3993 57 90 79 430.91/430.98 c 1118461 3446179 49216070 169477028 100 4019 48 92 79 478.41/478.47 c 1230377 3767755 54144545 189522383 100 4037 40 90 81 542.32/542.34 c 1353484 4161240 60439057 218217668 100 4060 35 90 77 599.22/599.26 c 1488901 4564056 66554212 241496454 100 4099 42 90 80 660.83/660.80 c 1637859 4969862 72685712 271345848 100 4134 35 87 76 714.83/714.89 c 1801712 5455668 79041237 291106700 100 4172 64 91 81 774.33/774.36 c 1981950 6041731 87094768 314476120 100 4214 68 94 83 844.94/844.97 c 2180211 6712958 95846120 341822181 100 4275 67 92 81 913.54/913.59 c 2398298 7367420 104630256 368894728 100 4318 70 94 84 1005.55/1005.53 c 2638193 8045958 115105635 408034496 100 4347 64 89 79 1086.45/1086.42 c 2902077 8768023 124544413 441129783 100 4373 66 90 80 1223.36/1223.37 c 3192349 9728638 138738308 498863603 100 4411 35 89 78 1319.77/1319.75 c 3511648 10681433 151225299 536719267 100 4429 70 94 85 1454.19/1454.19 c 3862876 11836060 167624722 593651259 100 4460 68 96 84 1587.10/1587.01 c 4249226 12992606 183245496 642959787 100 4492 64 91 80 1765.21/1765.15 c 4674211 14221017 202014015 716271917 100 4524 66 92 80 1992.13/1992.07 c 5141694 15716436 224878031 814978665 100 4552 62 90 78 2171.25/2171.13 c 5655925 17231639 245589050 881685731 100 4583 65 91 81 2351.05/2350.91 c 6221579 19002445 268357626 952385092 100 4610 67 94 83 2520.06/2519.90 2520.06/2519.90 c *** INTERRUPTED *** 2520.06/2519.90 c restarts : 591 2520.06/2519.90 c conflicts : 6694308 (2656 /sec) 2520.06/2519.90 c decisions : 20448840 (8115 /sec) 2520.06/2519.90 c propagations : 1014254605 (402476 /sec) 2520.06/2519.90 c root propagations : 5287 2520.06/2519.90 c filter calls : 288603222 (114524 /sec) 2520.06/2519.90 c useless filter calls : 149251243 (51 %) 2520.06/2519.90 c 2520.06/2519.90 c clauses : 499810 2520.06/2519.90 c SAT propagations : 3627 2520.06/2519.90 c SAT conflicts : 0 (0 learnts) 2520.06/2519.90 c Memory used : 52.67 MB 2520.06/2519.90 c CPU time : 2520.03 s 2520.06/2519.90 2520.06/2519.90 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 (15431 MiB free)
memory of node 1: 16384 MiB (15054 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266102-1502584183/watcher-4266102-1502584183 -o /tmp/evaluation-result-4266102-1502584183/solver-4266102-1502584183 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1502567256-24276 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266102-1502584183.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=26540, runsolver pid=26537
[startup+0.100197 s]*
/proc/loadavg: 2.02 2.09 2.08 3/187 26541
/proc/meminfo: memFree=31216252/32770624 swapFree=67108860/67108860
[pid=26540] ppid=26537 vsize=27868 memory=4320 CPUtime=0.1 cores=0,2,4,6
/proc/26540/stat : 26540 (cosoco) R 26537 26540 24193 0 -1 4202496 1242 0 0 0 10 0 0 0 20 0 1 0 91506617 28536832 1080 33554432000 4194304 5972588 140737400343696 140737400340344 140667077489644 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 16310272 140737400349882 140737400349982 140737400349982 140737400352718 0
/proc/26540/statm: 6967 1080 790 435 0 330 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27868 KiB
Current children cumulated memory: 4320 KiB
[startup+0.209539 s]*
/proc/loadavg: 2.02 2.09 2.08 3/187 26541
/proc/meminfo: memFree=31193044/32770624 swapFree=67108860/67108860
[pid=26540] ppid=26537 vsize=53672 memory=27744 CPUtime=0.2 cores=0,2,4,6
/proc/26540/stat : 26540 (cosoco) R 26537 26540 24193 0 -1 4202496 6082 0 0 0 20 0 0 0 20 0 1 0 91506617 54960128 6936 33554432000 4194304 5972588 140737400343696 140737400340344 4971956 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 16310272 140737400349882 140737400349982 140737400349982 140737400352718 0
/proc/26540/statm: 13418 6936 840 435 0 6781 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 53672 KiB
Current children cumulated memory: 27744 KiB
[startup+0.309567 s]*
/proc/loadavg: 2.02 2.09 2.08 3/187 26541
/proc/meminfo: memFree=31193044/32770624 swapFree=67108860/67108860
[pid=26540] ppid=26537 vsize=53672 memory=27744 CPUtime=0.3 cores=0,2,4,6
/proc/26540/stat : 26540 (cosoco) R 26537 26540 24193 0 -1 4202496 6090 0 0 0 30 0 0 0 20 0 1 0 91506617 54960128 6936 33554432000 4194304 5972588 140737400343696 140737400340344 4970752 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 16310272 140737400349882 140737400349982 140737400349982 140737400352718 0
/proc/26540/statm: 13418 6936 840 435 0 6781 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 53672 KiB
Current children cumulated memory: 27744 KiB
[startup+0.700338 s]
/proc/loadavg: 2.02 2.09 2.08 3/187 26541
/proc/meminfo: memFree=31193044/32770624 swapFree=67108860/67108860
[pid=26540] ppid=26537 vsize=53672 memory=27744 CPUtime=0.69 cores=0,2,4,6
/proc/26540/stat : 26540 (cosoco) R 26537 26540 24193 0 -1 4202496 6100 0 0 0 69 0 0 0 20 0 1 0 91506617 54960128 6936 33554432000 4194304 5972588 140737400343696 140737400341000 5070984 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 16310272 140737400349882 140737400349982 140737400349982 140737400352718 0
/proc/26540/statm: 13418 6936 840 435 0 6781 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 53672 KiB
Current children cumulated memory: 27744 KiB
[startup+1.50034 s]
/proc/loadavg: 2.02 2.09 2.08 3/187 26541
/proc/meminfo: memFree=31192636/32770624 swapFree=67108860/67108860
[pid=26540] ppid=26537 vsize=53672 memory=27744 CPUtime=1.49 cores=0,2,4,6
/proc/26540/stat : 26540 (cosoco) R 26537 26540 24193 0 -1 4202496 6106 0 0 0 149 0 0 0 20 0 1 0 91506617 54960128 6936 33554432000 4194304 5972588 140737400343696 140737400341000 4978812 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 16310272 140737400349882 140737400349982 140737400349982 140737400352718 0
/proc/26540/statm: 13418 6936 840 435 0 6781 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 53672 KiB
Current children cumulated memory: 27744 KiB
[startup+3.10933 s]
/proc/loadavg: 2.02 2.09 2.08 3/187 26541
/proc/meminfo: memFree=31192732/32770624 swapFree=67108860/67108860
[pid=26540] ppid=26537 vsize=53804 memory=27900 CPUtime=3.1 cores=0,2,4,6
/proc/26540/stat : 26540 (cosoco) R 26537 26540 24193 0 -1 4202496 9994 0 0 0 309 1 0 0 20 0 1 0 91506617 55095296 6975 33554432000 4194304 5972588 140737400343696 140737400341000 5273280 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 16310272 140737400349882 140737400349982 140737400349982 140737400352718 0
/proc/26540/statm: 13451 6975 840 435 0 6814 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 53804 KiB
Current children cumulated memory: 27900 KiB
[startup+6.30033 s]
/proc/loadavg: 2.02 2.09 2.08 3/187 26541
/proc/meminfo: memFree=31192608/32770624 swapFree=67108860/67108860
[pid=26540] ppid=26537 vsize=53804 memory=27948 CPUtime=6.29 cores=0,2,4,6
/proc/26540/stat : 26540 (cosoco) R 26537 26540 24193 0 -1 4202496 14467 0 0 0 628 1 0 0 20 0 1 0 91506617 55095296 6987 33554432000 4194304 5972588 140737400343696 140737400341000 5071049 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 16310272 140737400349882 140737400349982 140737400349982 140737400352718 0
/proc/26540/statm: 13451 6987 840 435 0 6814 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 53804 KiB
Current children cumulated memory: 27948 KiB
[startup+12.7003 s]
/proc/loadavg: 1.86 2.05 2.06 2/181 26587
/proc/meminfo: memFree=31691028/32770624 swapFree=67108860/67108860
[pid=26540] ppid=26537 vsize=53804 memory=28004 CPUtime=12.69 cores=0,2,4,6
/proc/26540/stat : 26540 (cosoco) R 26537 26540 24193 0 -1 4202496 18767 0 0 0 1267 2 0 0 20 0 1 0 91506617 55095296 7001 33554432000 4194304 5972588 140737400343696 140737400341000 5071040 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 16310272 140737400349882 140737400349982 140737400349982 140737400352718 0
/proc/26540/statm: 13451 7001 840 435 0 6814 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 53804 KiB
Current children cumulated memory: 28004 KiB
[startup+25.5003 s]
/proc/loadavg: 1.81 2.03 2.06 3/187 26663
/proc/meminfo: memFree=31512584/32770624 swapFree=67108860/67108860
[pid=26540] ppid=26537 vsize=53932 memory=28032 CPUtime=25.49 cores=0,2,4,6
/proc/26540/stat : 26540 (cosoco) R 26537 26540 24193 0 -1 4202496 22223 0 0 0 2547 2 0 0 20 0 1 0 91506617 55226368 7008 33554432000 4194304 5972588 140737400343696 140737400341000 4978706 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 16310272 140737400349882 140737400349982 140737400349982 140737400352718 0
/proc/26540/statm: 13483 7008 840 435 0 6846 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 53932 KiB
Current children cumulated memory: 28032 KiB
[startup+51.1091 s]
/proc/loadavg: 1.88 2.03 2.06 3/187 26663
/proc/meminfo: memFree=31513848/32770624 swapFree=67108860/67108860
[pid=26540] ppid=26537 vsize=53932 memory=28036 CPUtime=51.1 cores=0,2,4,6
/proc/26540/stat : 26540 (cosoco) R 26537 26540 24193 0 -1 4202496 22757 0 0 0 5108 2 0 0 20 0 1 0 91506617 55226368 7009 33554432000 4194304 5972588 140737400343696 140737400341000 5099616 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 16310272 140737400349882 140737400349982 140737400349982 140737400352718 0
/proc/26540/statm: 13483 7009 840 435 0 6846 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 53932 KiB
Current children cumulated memory: 28036 KiB
[startup+102.3 s]
/proc/loadavg: 2.17 2.07 2.07 3/187 26664
/proc/meminfo: memFree=31511988/32770624 swapFree=67108860/67108860
[pid=26540] ppid=26537 vsize=53932 memory=28052 CPUtime=102.29 cores=0,2,4,6
/proc/26540/stat : 26540 (cosoco) R 26537 26540 24193 0 -1 4202496 23383 0 0 0 10227 2 0 0 20 0 1 0 91506617 55226368 7013 33554432000 4194304 5972588 140737400343696 140737400341000 4975114 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 16310272 140737400349882 140737400349982 140737400349982 140737400352718 0
/proc/26540/statm: 13483 7013 840 435 0 6846 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 53932 KiB
Current children cumulated memory: 28052 KiB
[startup+162.3 s]
/proc/loadavg: 2.40 2.18 2.10 3/187 26665
/proc/meminfo: memFree=31512144/32770624 swapFree=67108860/67108860
[pid=26540] ppid=26537 vsize=53932 memory=28056 CPUtime=162.29 cores=0,2,4,6
/proc/26540/stat : 26540 (cosoco) R 26537 26540 24193 0 -1 4202496 23980 0 0 0 16227 2 0 0 20 0 1 0 91506617 55226368 7014 33554432000 4194304 5972588 140737400343696 140737400341000 4977764 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 16310272 140737400349882 140737400349982 140737400349982 140737400352718 0
/proc/26540/statm: 13483 7014 840 435 0 6846 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 53932 KiB
Current children cumulated memory: 28056 KiB
[startup+222.3 s]
/proc/loadavg: 2.15 2.15 2.10 3/187 26666
/proc/meminfo: memFree=31511432/32770624 swapFree=67108860/67108860
[pid=26540] ppid=26537 vsize=53932 memory=28064 CPUtime=222.3 cores=0,2,4,6
/proc/26540/stat : 26540 (cosoco) R 26537 26540 24193 0 -1 4202496 24466 0 0 0 22228 2 0 0 20 0 1 0 91506617 55226368 7016 33554432000 4194304 5972588 140737400343696 140737400341000 4971615 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 16310272 140737400349882 140737400349982 140737400349982 140737400352718 0
/proc/26540/statm: 13483 7016 840 435 0 6846 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 53932 KiB
Current children cumulated memory: 28064 KiB
[startup+282.3 s]
/proc/loadavg: 2.05 2.12 2.09 3/187 26674
/proc/meminfo: memFree=31510264/32770624 swapFree=67108860/67108860
[pid=26540] ppid=26537 vsize=53932 memory=28064 CPUtime=282.3 cores=0,2,4,6
/proc/26540/stat : 26540 (cosoco) R 26537 26540 24193 0 -1 4202496 24560 0 0 0 28228 2 0 0 20 0 1 0 91506617 55226368 7016 33554432000 4194304 5972588 140737400343696 140737400341000 5070992 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 16310272 140737400349882 140737400349982 140737400349982 140737400352718 0
/proc/26540/statm: 13483 7016 840 435 0 6846 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 53932 KiB
Current children cumulated memory: 28064 KiB
[startup+342.3 s]
/proc/loadavg: 2.02 2.10 2.09 3/187 26675
/proc/meminfo: memFree=31510884/32770624 swapFree=67108860/67108860
[pid=26540] ppid=26537 vsize=53932 memory=28064 CPUtime=342.31 cores=0,2,4,6
/proc/26540/stat : 26540 (cosoco) R 26537 26540 24193 0 -1 4202496 25156 0 0 0 34229 2 0 0 20 0 1 0 91506617 55226368 7016 33554432000 4194304 5972588 140737400343696 140737400341000 5070704 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 16310272 140737400349882 140737400349982 140737400349982 140737400352718 0
/proc/26540/statm: 13483 7016 840 435 0 6846 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 53932 KiB
Current children cumulated memory: 28064 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.08 2.08 3/187 26676
/proc/meminfo: memFree=31511264/32770624 swapFree=67108860/67108860
[pid=26540] ppid=26537 vsize=53932 memory=28064 CPUtime=402.31 cores=0,2,4,6
/proc/26540/stat : 26540 (cosoco) R 26537 26540 24193 0 -1 4202496 25170 0 0 0 40229 2 0 0 20 0 1 0 91506617 55226368 7016 33554432000 4194304 5972588 140737400343696 140737400341000 4977693 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 16310272 140737400349882 140737400349982 140737400349982 140737400352718 0
/proc/26540/statm: 13483 7016 840 435 0 6846 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 53932 KiB
Current children cumulated memory: 28064 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.07 2.07 3/187 26677
/proc/meminfo: memFree=31511444/32770624 swapFree=67108860/67108860
[pid=26540] ppid=26537 vsize=53932 memory=28080 CPUtime=462.31 cores=0,2,4,6
/proc/26540/stat : 26540 (cosoco) R 26537 26540 24193 0 -1 4202496 25658 0 0 0 46229 2 0 0 20 0 1 0 91506617 55226368 7020 33554432000 4194304 5972588 140737400343696 140737400341000 4978585 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 16310272 140737400349882 140737400349982 140737400349982 140737400352718 0
/proc/26540/statm: 13483 7020 840 435 0 6846 0
Current children cumulated CPU time: 462.31 s
Current children cumulated vsize: 53932 KiB
Current children cumulated memory: 28080 KiB
################
# More data... #
################
/proc/26540/statm: 13483 7024 840 435 0 6846 0
Current children cumulated CPU time: 1782.4 s
Current children cumulated vsize: 53932 KiB
Current children cumulated memory: 28096 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26718
/proc/meminfo: memFree=31509864/32770624 swapFree=67108860/67108860
[pid=26540] ppid=26537 vsize=53932 memory=28096 CPUtime=1842.41 cores=0,2,4,6
/proc/26540/stat : 26540 (cosoco) R 26537 26540 24193 0 -1 4202496 31146 0 0 0 184239 2 0 0 20 0 1 0 91506617 55226368 7024 33554432000 4194304 5972588 140737400343696 140737400341000 4971939 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 16310272 140737400349882 140737400349982 140737400349982 140737400352718 0
/proc/26540/statm: 13483 7024 840 435 0 6846 0
Current children cumulated CPU time: 1842.41 s
Current children cumulated vsize: 53932 KiB
Current children cumulated memory: 28096 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26719
/proc/meminfo: memFree=31509920/32770624 swapFree=67108860/67108860
[pid=26540] ppid=26537 vsize=53932 memory=28108 CPUtime=1902.41 cores=0,2,4,6
/proc/26540/stat : 26540 (cosoco) R 26537 26540 24193 0 -1 4202496 31373 0 0 0 190239 2 0 0 20 0 1 0 91506617 55226368 7027 33554432000 4194304 5972588 140737400343696 140737400341000 4971953 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 16310272 140737400349882 140737400349982 140737400349982 140737400352718 0
/proc/26540/statm: 13483 7027 840 435 0 6846 0
Current children cumulated CPU time: 1902.41 s
Current children cumulated vsize: 53932 KiB
Current children cumulated memory: 28108 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26720
/proc/meminfo: memFree=31509972/32770624 swapFree=67108860/67108860
[pid=26540] ppid=26537 vsize=53932 memory=28108 CPUtime=1962.41 cores=0,2,4,6
/proc/26540/stat : 26540 (cosoco) R 26537 26540 24193 0 -1 4202496 31381 0 0 0 196239 2 0 0 20 0 1 0 91506617 55226368 7027 33554432000 4194304 5972588 140737400343696 140737400341000 5070984 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 16310272 140737400349882 140737400349982 140737400349982 140737400352718 0
/proc/26540/statm: 13483 7027 840 435 0 6846 0
Current children cumulated CPU time: 1962.41 s
Current children cumulated vsize: 53932 KiB
Current children cumulated memory: 28108 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26721
/proc/meminfo: memFree=31510024/32770624 swapFree=67108860/67108860
[pid=26540] ppid=26537 vsize=53932 memory=28108 CPUtime=2022.43 cores=0,2,4,6
/proc/26540/stat : 26540 (cosoco) R 26537 26540 24193 0 -1 4202496 31966 0 0 0 202240 3 0 0 20 0 1 0 91506617 55226368 7027 33554432000 4194304 5972588 140737400343696 140737400341000 4977727 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 16310272 140737400349882 140737400349982 140737400349982 140737400352718 0
/proc/26540/statm: 13483 7027 840 435 0 6846 0
Current children cumulated CPU time: 2022.43 s
Current children cumulated vsize: 53932 KiB
Current children cumulated memory: 28108 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26729
/proc/meminfo: memFree=31508876/32770624 swapFree=67108860/67108860
[pid=26540] ppid=26537 vsize=53932 memory=28108 CPUtime=2082.43 cores=0,2,4,6
/proc/26540/stat : 26540 (cosoco) R 26537 26540 24193 0 -1 4202496 31967 0 0 0 208240 3 0 0 20 0 1 0 91506617 55226368 7027 33554432000 4194304 5972588 140737400343696 140737400341000 4978749 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 16310272 140737400349882 140737400349982 140737400349982 140737400352718 0
/proc/26540/statm: 13483 7027 840 435 0 6846 0
Current children cumulated CPU time: 2082.43 s
Current children cumulated vsize: 53932 KiB
Current children cumulated memory: 28108 KiB
[startup+2142.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 26730
/proc/meminfo: memFree=31509672/32770624 swapFree=67108860/67108860
[pid=26540] ppid=26537 vsize=53932 memory=28108 CPUtime=2142.43 cores=0,2,4,6
/proc/26540/stat : 26540 (cosoco) R 26537 26540 24193 0 -1 4202496 32374 0 0 0 214240 3 0 0 20 0 1 0 91506617 55226368 7027 33554432000 4194304 5972588 140737400343696 140737400341000 5244062 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 16310272 140737400349882 140737400349982 140737400349982 140737400352718 0
/proc/26540/statm: 13483 7027 840 435 0 6846 0
Current children cumulated CPU time: 2142.43 s
Current children cumulated vsize: 53932 KiB
Current children cumulated memory: 28108 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 26731
/proc/meminfo: memFree=31510044/32770624 swapFree=67108860/67108860
[pid=26540] ppid=26537 vsize=53932 memory=28120 CPUtime=2202.44 cores=0,2,4,6
/proc/26540/stat : 26540 (cosoco) R 26537 26540 24193 0 -1 4202496 32554 0 0 0 220241 3 0 0 20 0 1 0 91506617 55226368 7030 33554432000 4194304 5972588 140737400343696 140737400341000 5071010 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 16310272 140737400349882 140737400349982 140737400349982 140737400352718 0
/proc/26540/statm: 13483 7030 840 435 0 6846 0
Current children cumulated CPU time: 2202.44 s
Current children cumulated vsize: 53932 KiB
Current children cumulated memory: 28120 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 26732
/proc/meminfo: memFree=31510184/32770624 swapFree=67108860/67108860
[pid=26540] ppid=26537 vsize=53932 memory=28120 CPUtime=2262.44 cores=0,2,4,6
/proc/26540/stat : 26540 (cosoco) R 26537 26540 24193 0 -1 4202496 32798 0 0 0 226241 3 0 0 20 0 1 0 91506617 55226368 7030 33554432000 4194304 5972588 140737400343696 140737400341000 4978749 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 16310272 140737400349882 140737400349982 140737400349982 140737400352718 0
/proc/26540/statm: 13483 7030 840 435 0 6846 0
Current children cumulated CPU time: 2262.44 s
Current children cumulated vsize: 53932 KiB
Current children cumulated memory: 28120 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26733
/proc/meminfo: memFree=31509768/32770624 swapFree=67108860/67108860
[pid=26540] ppid=26537 vsize=53932 memory=28120 CPUtime=2322.45 cores=0,2,4,6
/proc/26540/stat : 26540 (cosoco) R 26537 26540 24193 0 -1 4202496 32810 0 0 0 232242 3 0 0 20 0 1 0 91506617 55226368 7030 33554432000 4194304 5972588 140737400343696 140737400341000 4978730 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 16310272 140737400349882 140737400349982 140737400349982 140737400352718 0
/proc/26540/statm: 13483 7030 840 435 0 6846 0
Current children cumulated CPU time: 2322.45 s
Current children cumulated vsize: 53932 KiB
Current children cumulated memory: 28120 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26735
/proc/meminfo: memFree=31509584/32770624 swapFree=67108860/67108860
[pid=26540] ppid=26537 vsize=53932 memory=28120 CPUtime=2382.45 cores=0,2,4,6
/proc/26540/stat : 26540 (cosoco) R 26537 26540 24193 0 -1 4202496 33402 0 0 0 238242 3 0 0 20 0 1 0 91506617 55226368 7030 33554432000 4194304 5972588 140737400343696 140737400341000 4970752 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 16310272 140737400349882 140737400349982 140737400349982 140737400352718 0
/proc/26540/statm: 13483 7030 840 435 0 6846 0
Current children cumulated CPU time: 2382.45 s
Current children cumulated vsize: 53932 KiB
Current children cumulated memory: 28120 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26736
/proc/meminfo: memFree=31509628/32770624 swapFree=67108860/67108860
[pid=26540] ppid=26537 vsize=53932 memory=28120 CPUtime=2442.46 cores=0,2,4,6
/proc/26540/stat : 26540 (cosoco) R 26537 26540 24193 0 -1 4202496 33403 0 0 0 244243 3 0 0 20 0 1 0 91506617 55226368 7030 33554432000 4194304 5972588 140737400343696 140737400341000 5070688 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 16310272 140737400349882 140737400349982 140737400349982 140737400352718 0
/proc/26540/statm: 13483 7030 840 435 0 6846 0
Current children cumulated CPU time: 2442.46 s
Current children cumulated vsize: 53932 KiB
Current children cumulated memory: 28120 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26737
/proc/meminfo: memFree=31509868/32770624 swapFree=67108860/67108860
[pid=26540] ppid=26537 vsize=53932 memory=28120 CPUtime=2502.46 cores=0,2,4,6
/proc/26540/stat : 26540 (cosoco) R 26537 26540 24193 0 -1 4202496 33795 0 0 0 250243 3 0 0 20 0 1 0 91506617 55226368 7030 33554432000 4194304 5972588 140737400343696 140737400341000 4978058 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 16310272 140737400349882 140737400349982 140737400349982 140737400352718 0
/proc/26540/statm: 13483 7030 840 435 0 6846 0
Current children cumulated CPU time: 2502.46 s
Current children cumulated vsize: 53932 KiB
Current children cumulated memory: 28120 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26737
/proc/meminfo: memFree=31509932/32770624 swapFree=67108860/67108860
[pid=26540] ppid=26537 vsize=53932 memory=28120 CPUtime=2520.06 cores=0,2,4,6
/proc/26540/stat : 26540 (cosoco) R 26537 26540 24193 0 -1 4202496 33796 0 0 0 252003 3 0 0 20 0 1 0 91506617 55226368 7030 33554432000 4194304 5972588 140737400343696 140737400341000 4977653 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 16310272 140737400349882 140737400349982 140737400349982 140737400352718 0
/proc/26540/statm: 13483 7030 840 435 0 6846 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 53932 KiB
Current children cumulated memory: 28120 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.9 s]
# the end of solver process 26540 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520.04 s, system=0.031002 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26737
/proc/meminfo: memFree=31509932/32770624 swapFree=67108860/67108860
[pid=26540] ppid=26537 vsize=53932 memory=28120 CPUtime=2520.06 cores=0,2,4,6
/proc/26540/stat : 26540 (cosoco) R 26537 26540 24193 0 -1 4202496 33796 0 0 0 252003 3 0 0 20 0 1 0 91506617 55226368 7030 33554432000 4194304 5972588 140737400343696 140737400341000 4977653 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 16310272 140737400349882 140737400349982 140737400349982 140737400352718 0
/proc/26540/statm: 13483 7030 840 435 0 6846 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 53932 KiB
Current children cumulated memory: 28120 KiB
Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.07
CPU user time (s): 2520.04
CPU system time (s): 0.031002
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 53932
Max. memory (cumulated for all children) (KiB): 28120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.04
system time used= 0.031002
maximum resident set size= 28188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33847
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= 15
involuntary context switches= 667
# summary of solver processes directly reported to runsolver:
# pid: 26540
# total CPU time (s): 2520.07
# total CPU user time (s): 2520.04
# total CPU system time (s): 0.031002
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.71086 second user time and 15.6062 second system time
The end
Begin job on node102 at 2017-08-13 02:15:24 IDJOB=4266102 IDBENCH=134603 IDSOLVER=2655 FILE ID=node102/4266102-1502584183 RUNJOBID= node102-1502567256-24276 PBS_JOBID= 20628289 Free space on /tmp= 61908 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/KnightTour/KnightTour-int-s1/KnightTour-10-int.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266102-1502584183/watcher-4266102-1502584183 -o /tmp/evaluation-result-4266102-1502584183/solver-4266102-1502584183 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1502567256-24276 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266102-1502584183.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ba113f9707e5398e41eeef1481acd1fa RANDOM SEED=1151424896 node102.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.35 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.35 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.35 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.35 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: 31217280 kB MemAvailable: 31518892 kB Buffers: 83880 kB Cached: 526300 kB SwapCached: 0 kB Active: 1053424 kB Inactive: 104356 kB Active(anon): 498180 kB Inactive(anon): 77216 kB Active(file): 555244 kB Inactive(file): 27140 kB Unevictable: 6460 kB Mlocked: 6460 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2356 kB Writeback: 0 kB AnonPages: 554384 kB Mapped: 44296 kB Shmem: 25228 kB Slab: 96296 kB SReclaimable: 70128 kB SUnreclaim: 26168 kB KernelStack: 3344 kB PageTables: 6124 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 862220 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 485376 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 134528 kB DirectMap2M: 33411072 kB Free space on /tmp at the end= 61908 MiB End job on node102 at 2017-08-13 02:57:25