| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| R1: cosoco-sat 1.1 | UNSAT | 178.6 | 178.632 |
| Name | Mixed/Mixed-xcsp2-cril/ cril-3_X2.xml |
| MD5SUM | 1e218b1676f4744e41059e6970885014 |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 2.89835 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 208 |
| Number of constraints | 2032 |
| Number of domains | 2 |
| Minimum domain size | 8 |
| Maximum domain size | 10 |
| Distribution of domain sizes | [{"size":8,"count":200},{"size":10,"count":8}] |
| Minimum variable degree | 5 |
| Maximum variable degree | 32 |
| Distribution of variable degrees | [{"degree":5,"count":1},{"degree":6,"count":3},{"degree":7,"count":3},{"degree":10,"count":2},{"degree":11,"count":3},{"degree":12,"count":1},{"degree":13,"count":3},{"degree":14,"count":6},{"degree":15,"count":16},{"degree":16,"count":15},{"degree":17,"count":10},{"degree":18,"count":21},{"degree":19,"count":18},{"degree":20,"count":20},{"degree":21,"count":16},{"degree":22,"count":11},{"degree":23,"count":13},{"degree":24,"count":15},{"degree":25,"count":10},{"degree":26,"count":8},{"degree":27,"count":6},{"degree":28,"count":2},{"degree":29,"count":3},{"degree":30,"count":1},{"degree":32,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":2032}] |
| Number of extensional constraints | 2032 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":2032}] |
| Optimization problem | NO |
| Type of objective |
0.09/0.16 c SAT : Variables: 1680 -- Clauses: 6168 0.09/0.16 c root propagations : 0 0.09/0.16 c restarts enabled, print stats at every restarts 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c This is cosoco 1.0 -- 0.09/0.16 c 0.09/0.16 c ========================================[ Problem Statistics ]=========================================== 0.09/0.16 c | 0.09/0.16 c | Parse time : 0.16 s 0.09/0.16 c | 0.09/0.16 c | Variables: 208 0.09/0.16 c | Domain Sizes: 8..10 0.09/0.16 c | 0.09/0.16 c | Constraints: 2032 0.09/0.16 c | Arity: 2..2 -- Binary: 2032 0.09/0.16 c | 0.09/0.16 c | Types: 0.09/0.16 c | Extension: 2032 (nb tuples: 5..35) -- (shared: 0) 0.09/0.16 c | 0.09/0.16 c ========================================================================================================= 0.09/0.16 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.09/0.17 c 10 84 28149 3150 0 5 46 61 48 0.09/0.17 c 20 171 56925 7170 0 13 36 56 40 0.09/0.17 c 30 248 78027 10084 0 19 44 53 44 0.09/0.18 c 40 335 101686 13219 0 23 47 60 49 0.09/0.18 c 50 399 124066 16245 0 26 41 46 39 0.09/0.18 c 60 471 152480 20241 0 31 35 48 40 0.09/0.19 c 70 552 179968 24205 0 32 41 52 41 0.09/0.19 c 80 633 206234 27977 0 34 27 46 34 0.09/0.19 c 90 710 237251 32225 0 38 35 47 35 0.19/0.20 c 100 769 258350 35441 0 41 36 40 34 0.19/0.20 c 101 809 270158 36519 0 42 40 40 20 0.19/0.20 c 110 876 289074 38974 0 46 33 54 42 0.19/0.20 c 120 950 309339 41466 0 47 41 59 48 0.19/0.21 c 130 1047 338258 45231 0 52 41 58 43 0.19/0.21 c 140 1131 369368 49759 0 56 39 48 39 0.19/0.21 c 150 1228 397118 53180 0 60 49 58 48 0.19/0.21 c 160 1293 420342 56160 0 62 38 46 40 0.19/0.22 c 170 1399 453108 60581 0 68 31 56 44 0.19/0.22 c 180 1475 478346 63921 0 74 49 58 48 0.19/0.22 c 190 1567 503961 66997 0 78 38 62 47 0.19/0.23 c 200 1674 531771 70479 0 84 33 57 43 0.19/0.23 c 210 1759 559004 74214 0 88 42 57 44 0.19/0.23 c 211 1800 572228 75323 0 89 41 41 20 0.19/0.24 c 220 1875 598051 79267 0 90 40 51 39 0.19/0.24 c 230 1973 624049 82398 0 96 56 60 52 0.19/0.24 c 240 2074 653623 85984 0 101 42 72 53 0.19/0.24 c 250 2152 678171 89499 0 103 40 46 39 0.19/0.25 c 260 2247 704672 92680 0 106 43 55 45 0.19/0.25 c 270 2333 729179 96096 0 109 41 55 41 0.19/0.25 c 280 2421 759710 100723 0 111 43 48 41 0.19/0.26 c 290 2517 787885 104172 0 112 41 56 42 0.19/0.26 c 300 2599 811684 107134 0 118 40 58 47 0.19/0.26 c 310 2684 835573 110056 0 121 47 61 50 0.19/0.27 c 320 2764 859619 113234 0 123 39 47 39 0.19/0.27 c 330 2869 894404 117911 0 127 47 63 49 0.19/0.27 c 332 2922 908694 119111 0 129 42 52 31 0.19/0.27 c 340 2992 930102 121626 0 135 49 56 46 0.19/0.28 c 350 3100 964814 126489 0 139 42 53 45 0.19/0.28 c 360 3176 990820 129880 0 142 42 52 41 0.19/0.28 c 370 3274 1019005 133075 0 147 46 61 50 0.19/0.29 c 380 3348 1041837 135986 0 153 43 52 42 0.19/0.29 c 390 3441 1069380 139549 0 154 50 62 49 0.19/0.29 c 400 3517 1093686 142582 0 157 43 62 50 0.19/0.30 c 410 3599 1116074 145288 0 159 44 55 44 0.29/0.30 c 420 3714 1147306 148778 0 162 46 76 53 0.29/0.30 c 430 3812 1177293 152709 0 166 45 57 46 0.29/0.31 c 440 3936 1207761 156070 0 169 44 62 50 0.29/0.31 c 450 4062 1248191 161633 0 171 50 66 50 0.29/0.31 c 460 4168 1282727 166071 0 174 45 61 47 0.29/0.32 c 465 4227 1302367 168443 0 178 46 53 41 0.29/0.32 c 470 4292 1322782 170953 0 180 45 48 38 0.29/0.32 c 480 4364 1348125 174597 0 183 41 48 40 0.29/0.32 c 490 4451 1370871 177184 0 186 46 60 50 0.29/0.33 c 500 4527 1393658 180259 0 190 33 53 41 0.29/0.37 c 510 4607 1418326 183135 0 194 41 61 47 0.29/0.37 c 520 4680 1440631 185873 0 200 39 48 39 0.29/0.37 c 530 4747 1462953 188648 0 204 42 50 41 0.29/0.37 c 540 4834 1490368 192529 0 211 44 55 47 0.29/0.37 c 550 4964 1525262 197006 0 215 56 62 54 0.29/0.37 c 560 5045 1545730 199518 0 220 33 63 49 0.29/0.37 c 570 5154 1575005 203234 0 223 45 60 46 0.29/0.37 c 580 5227 1596398 205916 0 228 41 53 41 0.29/0.37 c 590 5327 1623354 209064 0 232 52 68 54 0.29/0.37 c 600 5414 1650744 213201 0 235 27 48 37 0.29/0.37 c 610 5507 1675984 216504 0 242 40 63 51 0.29/0.37 c 611 5564 1689137 217599 0 243 57 57 28 0.29/0.37 c 620 5646 1712561 220559 0 245 34 57 43 0.29/0.37 c 630 5741 1743187 224408 0 249 41 64 44 0.29/0.37 c 640 5838 1768506 227555 0 252 50 64 51 0.29/0.37 c 650 5917 1793765 230685 0 256 35 52 42 0.29/0.38 c 660 6015 1818648 233496 0 260 50 67 54 0.29/0.38 c 670 6098 1845110 237440 0 263 35 47 37 0.29/0.38 c 680 6164 1866375 240845 0 268 32 45 36 0.29/0.39 c 690 6259 1895943 244942 0 273 37 59 44 0.29/0.39 c 700 6377 1922766 247994 0 277 30 64 47 0.29/0.39 c 710 6464 1952535 252433 0 281 45 56 45 0.29/0.40 c 720 6544 1974766 255244 0 286 39 55 44 0.39/0.40 c 730 6638 2002831 259022 0 289 48 57 47 0.39/0.40 c 740 6740 2025902 261620 0 294 35 64 49 0.39/0.40 c 750 6836 2053156 264900 0 300 46 68 50 0.39/0.41 c 760 6909 2074170 267479 0 301 40 53 41 0.39/0.41 c 770 7017 2105036 271483 0 305 48 58 47 0.39/0.41 c 771 7067 2118267 272533 0 306 50 50 25 0.39/0.42 c 780 7174 2147814 276211 0 309 47 58 48 0.39/0.42 c 790 7278 2169695 278530 0 313 43 72 55 0.39/0.42 c 800 7374 2197928 282595 0 316 42 59 43 0.39/0.42 c 810 7453 2222260 285966 0 320 41 49 41 0.39/0.43 c 820 7570 2257966 290735 0 324 40 65 47 0.39/0.43 c 830 7680 2288442 294856 0 328 46 60 48 0.39/0.44 c 840 7803 2322670 299130 0 331 47 68 52 0.39/0.44 c 850 7914 2352452 302800 0 337 44 69 53 0.39/0.44 c 860 8025 2380384 305973 0 338 52 73 56 0.39/0.45 c 870 8100 2404793 309387 0 339 46 57 45 0.39/0.45 c 880 8184 2428733 312437 0 345 40 61 46 0.39/0.45 c 890 8296 2461394 316632 0 353 49 68 52 0.39/0.46 c 900 8420 2497594 321572 0 358 50 56 48 0.39/0.46 c 910 8514 2524119 324665 0 364 44 68 50 0.39/0.46 c 920 8604 2551387 328150 0 366 42 57 45 0.39/0.47 c 930 8709 2577434 330968 0 371 54 64 53 0.39/0.47 c 940 8808 2601235 333628 0 374 56 61 53 0.39/0.47 c 947 8898 2623875 336101 0 380 49 63 49 0.39/0.47 c 950 8951 2639357 337494 0 383 39 51 35 0.39/0.48 c 960 9070 2668422 340785 0 387 37 73 49 0.39/0.48 c 970 9158 2697027 345406 0 391 43 53 44 0.39/0.48 c 980 9277 2726194 348567 0 395 48 87 60 0.39/0.49 c 990 9388 2755670 352162 0 400 44 63 47 0.39/0.49 c 1000 9495 2783511 355693 0 405 52 66 52 0.39/0.49 c 1010 9596 2817558 361004 0 407 41 57 45 0.49/0.50 c 1020 9693 2841360 363587 0 409 54 71 57 0.49/0.50 c 1030 9790 2868706 367077 0 410 55 69 55 0.49/0.50 c 1040 9957 2905859 371698 0 414 55 84 63 0.49/0.51 c 1050 10055 2935715 375858 0 417 45 57 48 0.49/0.51 c 1060 10159 2964487 379292 0 423 51 64 52 0.49/0.51 c 1070 10274 2992788 382494 0 426 53 67 54 0.49/0.52 c 1080 10393 3019639 385478 0 430 53 73 57 0.49/0.52 c 1090 10490 3048213 389794 0 432 49 59 47 0.49/0.52 c 1100 10560 3069854 392601 0 433 41 51 41 0.49/0.53 c 1110 10638 3095461 395776 0 437 45 56 45 0.49/0.53 c 1120 10738 3122921 399091 0 443 49 61 48 0.49/0.53 c 1130 10862 3151181 402534 0 450 39 66 51 0.49/0.53 c 1140 10965 3177474 405803 0 455 50 68 55 0.49/0.54 c 1141 11000 3188135 406744 0 456 35 35 17 0.49/0.54 c 1150 11112 3217498 410299 0 459 58 64 55 0.49/0.54 c 1160 11217 3241790 413076 0 465 43 72 50 0.49/0.55 c 1170 11308 3268328 416110 0 470 42 70 49 0.49/0.55 c 1180 11413 3296912 419640 0 474 53 60 50 0.49/0.55 c 1190 11500 3323219 423013 0 480 47 55 46 0.49/0.56 c 1200 11603 3352540 426979 0 482 51 61 51 0.49/0.56 c 1210 11697 3378793 430237 0 486 49 60 48 0.49/0.56 c 1220 11771 3401502 432921 0 494 43 54 44 0.49/0.57 c 1230 11905 3433949 437200 0 498 42 65 50 0.49/0.57 c 1240 12005 3460260 440121 0 500 49 62 52 0.49/0.57 c 1250 12101 3490591 444348 0 506 44 56 44 0.49/0.57 c 1260 12179 3516302 448104 0 509 49 57 48 0.49/0.58 c 1270 12264 3538537 450709 0 513 37 59 41 0.49/0.58 c 1280 12387 3569357 454917 0 516 36 62 49 0.49/0.58 c 1290 12505 3599097 458573 0 522 48 69 52 0.49/0.59 c 1300 12596 3624637 461667 0 525 47 63 49 0.49/0.59 c 1310 12672 3649766 465199 0 526 41 51 41 0.49/0.59 c 1320 12765 3675999 468451 0 530 49 61 51 0.59/0.60 c 1330 12839 3703162 472619 0 532 42 50 40 0.59/0.60 c 1340 12940 3729719 475642 0 534 52 61 52 0.59/0.60 c 1350 13027 3754119 478442 0 540 48 63 51 0.59/0.60 c 1352 13086 3770342 479904 0 541 48 58 35 0.59/0.61 c 1360 13186 3798066 483144 0 544 42 66 51 0.59/0.61 c 1370 13263 3821786 486080 0 550 42 57 44 0.59/0.61 c 1380 13344 3844187 488784 0 553 44 56 42 0.59/0.62 c 1390 13451 3874773 493147 0 557 40 65 43 0.59/0.62 c 1400 13561 3901372 496410 0 561 39 68 45 0.59/0.62 c 1410 13678 3930254 499957 0 563 42 59 48 0.59/0.63 c 1420 13756 3955281 503341 0 570 47 56 46 0.59/0.63 c 1430 13833 3979207 506692 0 573 47 53 45 0.59/0.63 c 1440 13928 4004439 509712 0 575 45 56 46 0.59/0.64 c 1450 14033 4029446 512524 0 581 42 69 48 0.59/0.64 c 1460 14153 4060208 516175 0 583 44 72 51 0.59/0.64 c 1470 14247 4085038 519231 0 589 39 71 50 0.59/0.64 c 1480 14352 4111329 522805 0 592 37 59 46 0.59/0.65 c 1490 14453 4143267 527007 0 595 38 56 40 0.59/0.65 c 1500 14554 4168882 530124 0 600 38 67 44 0.59/0.65 c 1510 14667 4195403 533548 0 603 43 69 51 0.59/0.66 c 1520 14742 4217989 536590 0 607 35 51 39 0.59/0.66 c 1530 14875 4247247 540084 0 610 44 64 52 0.59/0.66 c 1540 14986 4274997 543436 0 614 48 73 55 0.59/0.67 c 1550 15094 4304666 547161 0 619 45 62 49 0.59/0.67 c 1560 15189 4329041 549973 0 625 49 63 50 0.59/0.67 c 1570 15269 4351814 552974 0 633 48 63 49 0.59/0.68 c 1580 15370 4376198 556000 0 638 54 74 58 0.59/0.68 c 1585 15452 4397370 558147 0 641 59 65 51 0.59/0.68 c 1590 15521 4415989 560404 0 644 39 59 36 0.59/0.68 c 1600 15665 4448583 564328 0 647 51 71 57 0.59/0.69 c 1610 15755 4470212 566641 0 651 57 69 55 0.59/0.69 c 1620 15880 4502660 570837 0 652 42 77 50 0.59/0.69 c 1630 16004 4529992 573538 0 656 43 71 57 0.69/0.70 c 1640 16093 4554896 576657 0 658 45 54 45 0.69/0.70 c 1650 16189 4584790 580619 0 664 43 56 44 0.69/0.70 c 1660 16269 4609625 584092 0 669 44 57 47 0.69/0.71 c 1670 16359 4634542 587324 0 673 43 60 44 0.69/0.71 c 1680 16445 4656868 590134 0 676 46 54 45 0.69/0.71 c 1690 16515 4681482 593809 0 679 35 47 37 0.69/0.71 c 1700 16593 4706884 596987 0 682 47 55 46 0.69/0.72 c 1710 16724 4735673 600057 0 688 58 84 65 0.69/0.72 c 1720 16808 4759980 603200 0 691 49 61 50 0.69/0.72 c 1730 16944 4791911 606962 0 696 44 70 56 0.69/0.73 c 1740 17063 4824071 611178 0 701 43 65 50 0.69/0.73 c 1750 17168 4848713 613902 0 707 41 66 50 0.69/0.73 c 1760 17258 4871929 616621 0 710 53 61 51 0.69/0.74 c 1770 17357 4896622 619634 0 711 54 68 54 0.69/0.74 c 1780 17441 4918826 622566 0 716 46 60 48 0.69/0.74 c 1790 17556 4952274 627288 0 719 47 64 50 0.69/0.75 c 1800 17653 4978601 630264 0 723 45 68 53 0.69/0.75 c 1810 17769 5006307 633359 0 730 52 67 53 0.69/0.75 c 1820 17883 5035750 636888 0 733 51 67 53 0.69/0.76 c 1830 18000 5060000 639652 0 739 40 74 56 0.69/0.76 c 1840 18104 5094276 644543 0 741 47 56 46 0.69/0.76 c 1841 18152 5107971 645729 0 742 48 48 24 0.69/0.76 c 1850 18243 5134866 649123 0 745 49 60 49 0.69/0.77 c 1860 18355 5164825 652618 0 747 44 70 53 0.69/0.77 c 1870 18457 5191437 655858 0 750 46 63 50 0.69/0.77 c 1880 18544 5215035 658808 0 755 46 60 47 0.69/0.78 c 1890 18636 5238357 661902 0 758 41 58 45 0.69/0.78 c 1900 18740 5266593 665420 0 765 30 62 46 0.69/0.78 c 1910 18828 5293028 669031 0 768 46 54 45 0.69/0.79 c 1920 18909 5314951 671478 0 773 41 63 46 0.69/0.79 c 1930 19014 5345395 675495 0 777 48 60 47 0.69/0.79 c 1940 19102 5366503 677925 0 784 43 66 53 0.79/0.80 c 1950 19210 5395574 681735 0 790 43 69 47 0.79/0.80 c 1960 19303 5421819 685024 0 795 45 63 50 0.79/0.80 c 1970 19385 5445405 687980 0 798 51 59 49 0.79/0.80 c 1980 19483 5472928 691539 0 802 46 66 51 0.79/0.81 c 1990 19599 5504990 696397 0 806 45 55 46 0.79/0.81 c 2000 19685 5528734 699146 0 808 50 62 48 0.79/0.81 c 2010 19762 5552180 702100 0 809 48 56 46 0.79/0.82 c 2020 19878 5582146 705991 0 810 44 70 51 0.79/0.82 c 2030 19963 5605010 708799 0 813 48 62 50 0.79/0.82 c 2040 20058 5632224 712346 0 815 45 55 45 0.79/0.83 c 2050 20149 5657177 715084 0 819 49 63 50 0.79/0.83 c 2060 20263 5687298 718974 0 824 44 59 47 0.79/0.83 c 2070 20344 5708095 721410 0 825 53 66 53 0.79/0.84 c 2080 20467 5743263 725868 0 829 55 76 61 0.79/0.84 c 2090 20572 5771694 729806 0 832 51 64 51 0.79/0.84 c 2100 20662 5794018 732547 0 838 50 66 53 0.79/0.85 c 2110 20754 5819894 735684 0 842 43 65 52 0.79/0.85 c 2120 20826 5844985 739204 0 845 41 48 40 0.79/0.85 c 2122 20878 5859477 740462 0 847 49 51 33 0.79/0.85 c 2130 20961 5880520 742778 0 850 40 67 48 0.79/0.86 c 2140 21051 5905291 745843 0 855 47 60 48 0.79/0.86 c 2150 21163 5934115 749559 0 860 45 61 49 0.79/0.86 c 2160 21247 5959698 753356 0 863 42 55 43 0.79/0.86 c 2170 21325 5984185 756285 0 866 47 59 47 0.79/0.87 c 2180 21416 6011322 759885 0 869 45 64 49 0.79/0.87 c 2190 21503 6035068 762913 0 870 52 58 49 0.79/0.87 c 2200 21585 6060299 766360 0 873 41 57 46 0.79/0.88 c 2210 21689 6091155 770463 0 879 49 63 52 0.79/0.88 c 2220 21770 6114591 773440 0 884 44 52 43 0.79/0.88 c 2230 21863 6139074 776406 0 889 43 70 52 0.79/0.89 c 2240 21948 6167748 780473 0 890 44 56 44 0.79/0.89 c 2250 22057 6195342 784050 0 891 52 68 55 0.79/0.89 c 2260 22148 6220525 787347 0 892 44 55 45 0.89/0.90 c 2270 22263 6251810 791149 0 894 43 56 44 0.89/0.90 c 2280 22345 6274755 793976 0 898 39 56 43 0.89/0.90 c 2290 22417 6294198 796381 0 900 46 57 46 0.89/0.90 c 2300 22520 6317305 798978 0 901 49 69 54 0.89/0.91 c 2310 22608 6346508 802716 0 905 52 65 54 0.89/0.91 c 2320 22686 6372472 806621 0 910 42 55 42 0.89/0.91 c 2330 22793 6399087 810007 0 915 42 57 45 0.89/0.92 c 2340 22905 6428084 813768 0 919 44 70 51 0.89/0.92 c 2350 22977 6449837 816671 0 925 35 48 39 0.89/0.92 c 2360 23101 6480108 820486 0 932 37 62 46 0.89/0.93 c 2370 23189 6507306 824584 0 939 36 56 41 0.89/0.93 c 2380 23273 6531728 827916 0 945 47 57 47 0.89/0.93 c 2390 23367 6562654 832152 0 946 44 56 46 0.89/0.94 c 2400 23461 6590947 836237 0 947 43 67 50 0.89/0.94 c 2410 23559 6619110 839876 0 951 41 57 42 0.89/0.94 c 2420 23669 6647682 843723 0 959 37 72 49 0.89/0.95 c 2430 23753 6675483 847203 0 962 42 56 44 0.89/0.95 c 2431 23794 6687992 848220 0 963 41 41 20 0.89/0.95 c 2440 23873 6710929 851068 0 968 51 66 52 0.89/0.95 c 2450 23987 6734752 853705 0 971 45 83 64 0.89/0.96 c 2460 24114 6766717 857805 0 975 42 63 47 0.89/0.96 c 2470 24204 6791317 861384 0 978 43 52 43 0.89/0.96 c 2480 24308 6818656 864674 0 981 51 63 52 0.89/0.97 c 2490 24395 6842287 867563 0 988 41 67 50 0.89/0.97 c 2500 24493 6866855 870325 0 993 52 63 51 0.89/0.97 c 2510 24568 6887803 873374 0 994 39 49 40 0.89/0.97 c 2520 24677 6917010 877129 0 995 47 56 46 0.89/0.98 c 2530 24760 6938953 879772 0 998 45 68 52 0.89/0.98 c 2540 24855 6964768 883137 0 1001 44 64 51 0.89/0.98 c 2550 24934 6988305 886281 0 1003 48 58 47 0.89/0.99 c 2560 25036 7012708 889112 0 1005 48 61 49 0.89/0.99 c 2570 25158 7049321 894476 0 1010 39 64 50 0.89/0.99 c 2580 25250 7077895 898220 0 1014 43 56 47 0.99/1.00 c 2590 25336 7100738 900960 0 1018 50 68 54 0.99/1.00 c 2600 25447 7132393 905264 0 1019 42 66 47 0.99/1.00 c 2610 25544 7157991 908349 0 1023 44 58 48 0.99/1.01 c 2620 25672 7189470 911936 0 1029 54 77 63 0.99/1.01 c 2630 25790 7221014 915667 0 1034 49 77 59 0.99/1.01 c 2640 25881 7245623 918753 0 1037 50 60 51 0.99/1.02 c 2650 25961 7267419 921605 0 1043 41 55 44 0.99/1.02 c 2660 26056 7290778 924361 0 1047 48 64 48 0.99/1.02 c 2670 26153 7317062 927897 0 1050 41 58 45 0.99/1.02 c 2680 26252 7342099 930858 0 1056 49 70 54 0.99/1.03 c 2690 26358 7373145 935373 0 1060 41 56 45 0.99/1.03 c 2700 26454 7403617 939414 0 1065 47 60 48 0.99/1.04 c 2710 26547 7435812 944460 0 1071 42 57 43 0.99/1.04 c 2720 26657 7465637 948567 0 1077 42 64 48 0.99/1.04 c 2730 26754 7494157 952642 0 1081 41 53 42 0.99/1.05 c 2740 26871 7524809 956807 0 1083 39 58 45 0.99/1.05 c 2750 26973 7550021 959663 0 1086 57 76 59 0.99/1.05 c 2760 27072 7575042 962618 0 1091 40 56 45 0.99/1.05 c 2770 27162 7598322 965150 0 1095 49 65 50 0.99/1.06 c 2771 27211 7611786 966197 0 1096 49 49 24 0.99/1.06 c 2780 27329 7640080 969868 0 1100 43 61 45 0.99/1.06 c 2790 27419 7666495 973600 0 1105 38 58 46 0.99/1.07 c 2800 27508 7691391 976692 0 1108 18 63 47 0.99/1.07 c 2810 27591 7715875 979858 0 1111 40 59 42 0.99/1.07 c 2820 27679 7741123 983025 0 1115 43 61 47 0.99/1.08 c 2830 27799 7772402 986862 0 1118 50 69 55 0.99/1.08 c 2840 27930 7801144 990319 0 1125 45 77 50 0.99/1.08 c 2850 28039 7826542 993061 0 1128 38 78 52 0.99/1.08 c 2860 28151 7854082 996191 0 1133 41 68 45 0.99/1.09 c 2870 28262 7883715 1000055 0 1135 39 62 46 0.99/1.09 c 2880 28389 7911725 1003182 0 1138 37 78 56 0.99/1.09 c 2890 28478 7936841 1006397 0 1142 50 60 50 0.99/1.10 c 2900 28559 7960765 1009606 0 1143 40 54 43 0.99/1.10 c 2910 28650 7991675 1013944 0 1144 48 65 50 1.09/1.10 c 2920 28749 8018384 1017546 0 1146 42 62 46 1.09/1.11 c 2930 28842 8042221 1020775 0 1150 36 58 42 1.09/1.11 c 2940 28927 8065164 1023464 0 1153 57 68 56 1.09/1.11 c 2950 29049 8099919 1027881 0 1155 47 73 55 1.09/1.12 c 2960 29180 8133264 1031885 0 1159 52 75 56 1.09/1.12 c 2970 29290 8158109 1034527 0 1161 50 74 61 1.09/1.12 c 2980 29378 8181608 1037385 0 1166 42 59 45 1.09/1.13 c 2990 29533 8217995 1041767 0 1170 51 67 55 1.09/1.13 c 3000 29625 8242114 1044531 0 1176 52 71 58 1.09/1.13 c 3010 29725 8268288 1047454 0 1180 47 64 48 1.09/1.14 c 3020 29806 8291125 1050571 0 1184 38 49 41 1.09/1.14 c 3030 29895 8318951 1054390 0 1189 39 57 41 1.09/1.14 c 3040 30029 8359052 1059965 0 1190 49 66 54 1.09/1.15 c 3050 30123 8384741 1063229 0 1192 52 68 54 1.09/1.15 c 3060 30223 8411179 1066665 0 1196 55 66 54 1.09/1.15 c 3070 30308 8437450 1069957 0 1197 51 63 51 1.09/1.16 c 3080 30392 8458959 1072471 0 1206 50 64 51 1.09/1.16 c 3090 30486 8487991 1076179 0 1207 50 62 52 1.09/1.16 c 3100 30583 8514886 1079337 0 1208 60 74 61 1.09/1.16 c 3110 30673 8537851 1082327 0 1212 40 56 44 1.09/1.17 c 3120 30780 8563791 1085237 0 1218 50 63 52 1.09/1.17 c 3130 30890 8591367 1088782 0 1219 50 64 50 1.09/1.17 c 3140 30985 8617029 1092151 0 1222 31 67 52 1.09/1.18 c 3142 31047 8632636 1093431 0 1224 57 61 39 1.09/1.18 c 3150 31159 8663928 1097595 0 1228 48 56 45 1.09/1.18 c 3160 31265 8695738 1101733 0 1231 44 66 49 1.09/1.19 c 3170 31354 8722231 1105306 0 1238 46 61 49 1.09/1.19 c 3180 31473 8750186 1108939 0 1243 47 63 52 1.09/1.19 c 3190 31559 8776022 1111877 0 1248 35 63 51 1.09/1.20 c 3200 31668 8806428 1116009 0 1250 49 64 52 1.09/1.20 c 3210 31755 8831083 1118872 0 1257 43 74 51 1.19/1.20 c 3220 31836 8854730 1122002 0 1262 42 52 42 1.19/1.21 c 3230 31955 8891375 1126625 0 1265 46 65 52 1.19/1.21 c 3240 32032 8915842 1129866 0 1269 47 56 47 1.19/1.21 c 3250 32098 8937369 1133201 0 1277 38 47 38 1.19/1.22 c 3260 32222 8966852 1136983 0 1278 40 69 47 1.19/1.22 c 3270 32397 9000969 1140671 0 1282 66 99 70 1.19/1.22 c 3280 32530 9030437 1143912 0 1286 64 78 62 1.19/1.23 c 3290 32611 9055488 1147396 0 1288 40 55 39 1.19/1.23 c 3300 32720 9083710 1150856 0 1295 42 65 50 1.19/1.23 c 3310 32795 9102426 1152983 0 1302 40 66 50 1.19/1.23 c 3320 32903 9130897 1156546 0 1306 47 74 55 1.19/1.24 c 3330 32988 9156697 1160169 0 1307 48 58 49 1.19/1.24 c 3340 33082 9187587 1164449 0 1312 40 56 42 1.19/1.24 c 3350 33208 9219632 1168120 0 1318 56 74 57 1.19/1.25 c 3360 33322 9251041 1172198 0 1321 49 60 50 1.19/1.25 c 3370 33418 9274395 1174827 0 1328 45 67 52 1.19/1.25 c 3380 33519 9299787 1177658 0 1330 36 81 57 1.19/1.26 c 3390 33629 9333790 1182341 0 1335 41 60 45 1.19/1.26 c 3400 33715 9360081 1186121 0 1337 38 59 46 1.19/1.26 c 3410 33797 9383126 1189060 0 1342 45 55 46 1.19/1.27 c 3420 33880 9408419 1192343 0 1346 45 52 43 1.19/1.27 c 3430 33992 9438370 1195950 0 1351 54 67 54 1.19/1.27 c 3440 34091 9463095 1198988 0 1357 54 71 54 1.19/1.28 c 3450 34178 9489860 1202563 0 1365 51 61 50 1.19/1.28 c 3460 34306 9521759 1206395 0 1368 45 70 51 1.19/1.28 c 3470 34463 9554920 1210157 0 1373 46 78 60 1.19/1.29 c 3480 34562 9579937 1212918 0 1376 58 68 56 1.19/1.29 c 3490 34646 9609466 1217231 0 1380 42 52 41 1.19/1.29 c 3500 34749 9637960 1220754 0 1383 47 65 51 1.29/1.30 c 3510 34884 9667880 1223931 0 1388 58 84 66 1.29/1.30 c 3520 34990 9696432 1227315 0 1391 49 60 50 1.29/1.30 c 3530 35125 9728562 1231013 0 1393 51 74 55 1.29/1.31 c 3540 35271 9764980 1235599 0 1397 47 67 52 1.29/1.31 c 3550 35372 9789461 1238607 0 1400 48 68 54 1.29/1.31 c 3551 35427 9803047 1239682 0 1401 55 55 27 1.29/1.32 c 3560 35521 9829856 1243212 0 1403 47 60 47 1.29/1.32 c 3570 35633 9857819 1246571 0 1406 39 63 52 1.29/1.32 c 3580 35724 9884187 1250344 0 1408 45 57 45 1.29/1.32 c 3590 35805 9906029 1252713 0 1414 43 61 45 1.29/1.33 c 3600 35929 9933533 1256107 0 1417 49 84 56 1.29/1.33 c 3610 36025 9960451 1259690 0 1418 43 62 48 1.29/1.33 c 3620 36145 9989261 1263156 0 1424 43 68 47 1.29/1.34 c 3630 36220 10011726 1266201 0 1428 41 56 43 1.29/1.34 c 3640 36340 10040954 1269636 0 1432 50 68 53 1.29/1.34 c 3650 36450 10070216 1273154 0 1435 44 62 48 1.29/1.35 c 3660 36534 10095466 1276691 0 1437 45 54 45 1.29/1.35 c 3670 36644 10129105 1281561 0 1439 49 59 48 1.29/1.35 c 3680 36732 10151061 1284087 0 1447 44 67 51 1.29/1.36 c 3690 36846 10177498 1287411 0 1452 50 63 51 1.29/1.36 c 3700 36943 10208320 1291587 0 1455 37 55 41 1.29/1.36 c 3710 37079 10235175 1294740 0 1460 43 69 57 1.29/1.37 c 3720 37191 10267032 1299099 0 1463 41 65 48 1.29/1.37 c 3730 37288 10295483 1302875 0 1464 43 58 46 1.29/1.37 c 3740 37396 10327589 1307311 0 1469 46 60 50 1.29/1.38 c 3750 37505 10358245 1311224 0 1475 56 64 54 1.29/1.38 c 3760 37598 10384241 1314786 0 1479 42 58 45 1.29/1.38 c 3770 37701 10413348 1318504 0 1483 46 64 52 1.29/1.39 c 3780 37816 10443424 1322242 0 1484 51 66 53 1.29/1.39 c 3790 37952 10477544 1326828 0 1488 44 73 51 1.29/1.40 c 3800 38068 10507890 1330657 0 1489 44 67 48 1.39/1.40 c 3810 38178 10542208 1335396 0 1492 37 61 44 1.39/1.40 c 3820 38283 10568210 1338597 0 1497 34 65 45 1.39/1.41 c 3830 38443 10605442 1343498 0 1499 48 68 51 1.39/1.41 c 3840 38561 10637718 1347712 0 1505 45 62 47 1.39/1.41 c 3850 38659 10669425 1352191 0 1507 39 59 43 1.39/1.42 c 3860 38749 10694883 1355808 0 1512 40 49 40 1.39/1.42 c 3870 38863 10726947 1360145 0 1515 50 62 50 1.39/1.42 c 3880 38952 10751557 1363556 0 1517 38 56 43 1.39/1.43 c 3890 39044 10776533 1367021 0 1519 46 53 44 1.39/1.43 c 3900 39121 10801606 1370490 0 1523 40 53 43 1.39/1.43 c 3910 39230 10831273 1374343 0 1528 54 63 55 1.39/1.44 c 3920 39340 10857634 1377685 0 1532 48 66 49 1.39/1.44 c 3930 39447 10886647 1381432 0 1534 46 63 48 1.39/1.44 c 3940 39542 10913590 1384735 0 1537 49 62 50 1.39/1.45 c 3950 39643 10942743 1388205 0 1542 44 65 53 1.39/1.45 c 3960 39752 10972697 1392170 0 1546 43 61 46 1.39/1.45 c 3970 39834 10996776 1395307 0 1549 39 57 44 1.39/1.46 c 3980 39912 11020403 1398516 0 1555 41 58 44 1.39/1.46 c 3990 40030 11050674 1402221 0 1557 52 71 56 1.39/1.46 c 4000 40115 11072436 1404505 0 1560 51 63 52 1.39/1.46 c 4001 40164 11087496 1405879 0 1561 49 49 24 1.39/1.47 c 4010 40249 11109714 1408513 0 1565 47 56 44 1.39/1.47 c 4020 40365 11139578 1412261 0 1568 48 59 50 1.39/1.47 c 4030 40477 11168774 1415921 0 1572 54 66 52 1.39/1.48 c 4040 40589 11200583 1420404 0 1575 49 59 50 1.39/1.48 c 4050 40684 11224554 1423383 0 1579 51 67 53 1.39/1.48 c 4060 40784 11253616 1427440 0 1582 44 56 43 1.39/1.49 c 4070 40900 11281568 1430569 0 1586 51 67 52 1.39/1.49 c 4080 41021 11314188 1434515 0 1589 55 72 56 1.39/1.49 c 4090 41116 11340101 1437741 0 1593 42 67 53 1.49/1.50 c 4100 41227 11368077 1440738 0 1597 58 77 65 1.49/1.50 c 4110 41334 11397516 1444615 0 1598 46 62 51 1.49/1.50 c 4120 41429 11423553 1447903 0 1604 38 69 51 1.49/1.51 c 4130 41572 11459466 1452693 0 1609 42 64 47 1.49/1.51 c 4140 41680 11487181 1456011 0 1614 52 64 53 1.49/1.51 c 4150 41774 11510953 1458663 0 1620 52 64 54 1.49/1.52 c 4160 41893 11542264 1462670 0 1622 51 65 53 1.49/1.52 c 4170 41979 11566877 1465819 0 1627 45 55 47 1.49/1.52 c 4180 42106 11603820 1470637 0 1630 52 62 51 1.49/1.53 c 4190 42236 11635576 1474636 0 1633 46 79 50 1.49/1.53 c 4200 42334 11669667 1479677 0 1638 45 61 49 1.49/1.54 c 4210 42435 11697807 1483589 0 1642 36 56 41 1.49/1.54 c 4220 42538 11724880 1486685 0 1648 42 66 51 1.49/1.54 c 4230 42677 11761752 1491351 0 1651 51 71 54 1.49/1.55 c 4240 42786 11787040 1494207 0 1654 42 63 43 1.49/1.55 c 4250 42897 11814893 1497485 0 1656 42 68 48 1.49/1.55 c 4260 42994 11839838 1500624 0 1661 51 62 50 1.49/1.55 c 4270 43102 11866819 1504074 0 1662 44 66 48 1.49/1.56 c 4280 43230 11898856 1508113 0 1665 44 60 49 1.49/1.56 c 4290 43351 11928386 1511506 0 1668 55 78 62 1.49/1.57 c 4300 43454 11955471 1515041 0 1674 39 64 46 1.49/1.57 c 4310 43616 11991375 1519613 0 1677 45 69 51 1.49/1.57 c 4320 43744 12022081 1523539 0 1679 47 63 49 1.49/1.58 c 4330 43869 12053498 1527390 0 1684 40 56 45 1.49/1.58 c 4340 43957 12081860 1530776 0 1686 43 63 48 1.49/1.58 c 4350 44066 12112520 1535069 0 1689 39 56 44 1.49/1.59 c 4360 44156 12140063 1539166 0 1692 41 49 41 1.49/1.59 c 4370 44244 12169439 1543509 0 1696 43 50 43 1.49/1.59 c 4380 44335 12196895 1547310 0 1700 46 56 47 1.58/1.60 c 4390 44450 12223342 1550398 0 1705 55 77 60 1.58/1.60 c 4400 44539 12250056 1553972 0 1707 51 55 48 1.58/1.60 c 4410 44624 12272722 1556611 0 1713 36 64 51 1.58/1.61 c 4420 44759 12305798 1560753 0 1717 41 76 61 1.58/1.61 c 4430 44869 12334937 1564486 0 1720 35 58 44 1.58/1.61 c 4440 44958 12361086 1568026 0 1722 47 59 47 1.58/1.62 c 4450 45081 12395487 1572384 0 1725 50 64 51 1.58/1.62 c 4460 45169 12418735 1575267 0 1732 39 57 46 1.58/1.62 c 4470 45266 12446638 1578964 0 1737 56 68 53 1.58/1.63 c 4480 45369 12475205 1582753 0 1740 49 71 56 1.58/1.63 c 4490 45466 12504725 1586717 0 1746 41 63 47 1.58/1.63 c 4493 45532 12521780 1588294 0 1749 50 64 41 1.58/1.64 c 4500 45633 12550082 1592453 0 1753 48 62 46 1.58/1.64 c 4510 45729 12573066 1594932 0 1760 36 72 54 1.58/1.64 c 4520 45814 12596456 1597689 0 1765 48 58 47 1.58/1.64 c 4530 45908 12622754 1601035 0 1768 50 56 48 1.58/1.65 c 4540 46005 12649087 1604259 0 1774 52 69 57 1.58/1.65 c 4550 46095 12672487 1607174 0 1777 47 59 48 1.58/1.65 c 4560 46189 12700450 1611028 0 1780 39 60 45 1.58/1.66 c 4570 46294 12729536 1614527 0 1782 46 74 53 1.58/1.66 c 4580 46396 12756935 1618219 0 1784 41 58 44 1.58/1.66 c 4590 46477 12779644 1621321 0 1785 38 52 42 1.58/1.67 c 4600 46586 12810280 1625342 0 1786 45 68 52 1.58/1.67 c 4610 46662 12833425 1628437 0 1788 32 58 44 1.58/1.67 c 4620 46755 12859159 1631322 0 1794 54 66 52 1.58/1.68 c 4630 46889 12895866 1636488 0 1796 34 51 40 1.58/1.68 c 4640 47020 12929823 1640680 0 1799 51 70 52 1.58/1.68 c 4650 47109 12959017 1644473 0 1802 41 53 43 1.58/1.69 c 4660 47235 12990216 1648230 0 1806 46 69 52 1.58/1.69 c 4670 47325 13016529 1651741 0 1808 47 59 47 1.58/1.69 c 4680 47439 13047214 1655634 0 1811 51 65 52 1.68/1.70 c 4690 47551 13079011 1659855 0 1815 44 59 44 1.68/1.70 c 4700 47655 13107634 1664029 0 1818 44 57 46 1.68/1.70 c 4710 47753 13133094 1667113 0 1820 51 66 50 1.68/1.71 c 4720 47846 13157230 1670045 0 1826 41 56 47 1.68/1.71 c 4730 47955 13186565 1673537 0 1829 52 74 55 1.68/1.71 c 4740 48068 13216139 1677085 0 1831 53 71 54 1.68/1.72 c 4750 48147 13237909 1679732 0 1835 34 60 42 1.68/1.72 c 4760 48237 13267628 1683699 0 1841 40 66 48 1.68/1.72 c 4770 48340 13296389 1687659 0 1843 43 69 49 1.68/1.73 c 4780 48430 13321045 1690808 0 1846 46 57 46 1.68/1.73 c 4790 48549 13351724 1694876 0 1850 46 62 47 1.68/1.73 c 4800 48634 13376955 1697777 0 1852 44 58 45 1.68/1.74 c 4810 48741 13407139 1701710 0 1855 49 64 50 1.68/1.74 c 4820 48836 13433803 1705327 0 1857 43 64 45 1.68/1.74 c 4830 48933 13458260 1708198 0 1861 53 74 57 1.68/1.75 c 4840 49035 13486650 1711613 0 1866 58 69 56 1.68/1.75 c 4850 49141 13512573 1714345 0 1870 62 79 61 1.68/1.75 c 4860 49244 13545151 1718909 0 1873 38 58 44 1.68/1.76 c 4870 49344 13571301 1722168 0 1877 56 66 53 1.68/1.76 c 4880 49438 13598050 1725527 0 1881 49 63 49 1.68/1.76 c 4890 49551 13628404 1729550 0 1885 50 66 50 1.68/1.77 c 4900 49660 13659765 1733423 0 1889 48 73 53 1.68/1.77 c 4910 49761 13687077 1736388 0 1893 52 72 56 1.68/1.77 c 4920 49832 13708662 1739171 0 1896 38 58 46 1.68/1.77 c 4930 49920 13734330 1742523 0 1899 43 54 43 1.68/1.78 c 4940 50019 13761941 1746103 0 1901 49 71 56 1.68/1.78 c 4950 50128 13790607 1749711 0 1908 44 71 50 1.68/1.78 c 4960 50254 13820978 1753647 0 1914 31 63 47 1.68/1.79 c 4970 50402 13848632 1756633 0 1918 48 83 59 1.68/1.79 c 4980 50527 13877767 1760090 0 1922 44 74 50 1.68/1.80 c 4990 50689 13913476 1764102 0 1925 57 87 59 1.78/1.80 c 5035 51007 13991369 1776738 0 1932 39 71 53 1.88/1.90 c 5631 54505 14927509 1931056 0 1940 35 75 55 1.98/2.01 c 6286 58266 15912455 2106913 0 1948 35 71 51 2.08/2.11 c 7006 61867 16920101 2290309 0 1954 37 73 52 2.19/2.24 c 7798 66300 18118425 2497665 0 1962 36 68 51 2.29/2.37 c 8669 72041 19383020 2689969 0 1967 47 112 66 2.48/2.51 c 9627 77416 20782447 2917926 0 1973 27 78 56 2.58/2.67 c 10680 83027 22310818 3174693 0 1987 34 79 56 2.78/2.85 c 11838 89731 24048811 3466732 0 1995 34 75 56 2.98/3.04 c 13111 96780 25914772 3785167 0 2001 40 84 58 3.18/3.26 c 14511 104805 28000356 4141698 0 2013 40 78 55 3.48/3.53 c 16051 113876 30521982 4598219 0 2017 30 71 50 3.78/3.81 c 17745 123686 33233034 5068401 0 2031 38 79 57 4.08/4.10 c 19608 135991 36027713 5528407 0 2038 38 91 60 4.39/4.43 c 21657 148256 39177508 6068886 0 2044 35 86 57 4.68/4.79 c 23910 161609 42621451 6683106 0 2057 37 84 56 5.08/5.19 c 26388 177824 46408358 7314912 0 2067 38 116 60 5.59/5.64 c 29113 195602 50880004 8037994 0 2075 45 114 64 6.08/6.13 c 32110 212951 55579431 8871840 0 2086 38 90 59 6.59/6.63 c 35406 233417 60460703 9690953 0 2100 33 85 60 7.18/7.22 c 39031 255298 66041021 10635050 0 2106 37 78 56 7.79/7.83 c 43018 278466 71929441 11619569 0 2117 34 85 55 8.48/8.50 c 47403 304774 78405065 12700714 0 2133 40 95 60 9.18/9.20 c 52226 331035 85239773 13880648 0 2146 35 81 56 9.99/10.09 c 57531 366044 93698941 15281829 0 2155 32 90 57 10.88/10.98 c 63366 399434 102224933 16746103 0 2167 34 78 56 11.88/11.93 c 69784 438844 111643360 18251517 0 2178 42 93 64 12.98/13.09 c 76843 477925 122515802 20209098 0 2187 36 83 53 14.18/14.24 c 84607 520876 133577688 22077319 0 2195 33 85 53 15.58/15.60 c 93147 571307 146597817 24287383 0 2202 34 85 53 16.98/17.01 c 102541 629655 160610892 26520877 0 2212 41 94 62 18.48/18.51 c 112874 686859 175350829 28954943 0 2224 37 86 58 20.08/20.16 c 124240 755690 191613264 31559303 0 2236 37 101 62 22.09/22.16 c 136742 828344 210873725 34900285 0 2246 33 90 54 24.29/24.34 c 150494 911946 231880788 38486254 0 2254 34 91 58 26.39/26.48 c 165621 994965 252747180 42062233 0 2266 41 91 59 28.88/28.95 c 182260 1092875 276828735 46080008 0 2277 39 93 60 31.68/31.71 c 200562 1186574 302983842 50871242 0 2284 32 82 51 34.68/34.70 c 220694 1319754 333379999 55391595 0 2299 43 121 68 38.18/38.24 c 242839 1437477 366895896 61427463 0 2314 34 76 53 41.68/41.78 c 267198 1570893 402147705 67055169 0 2322 44 92 63 45.48/45.54 c 293992 1724804 441499255 73802947 0 2336 35 90 58 49.27/49.33 c 323465 1896601 483024565 80605159 0 2345 37 101 63 53.27/53.35 c 355885 2082809 527439023 87702135 0 2363 41 103 67 58.47/58.50 c 391547 2283546 581341770 97233224 0 2381 29 87 52 64.07/64.17 c 430775 2513823 640580702 107617304 0 2392 34 99 55 69.67/69.77 c 473925 2751014 700443576 117886303 0 2414 33 96 58 75.88/75.92 c 521390 3017535 767528173 128886282 0 2426 34 94 57 83.47/83.55 c 573601 3309398 846414804 143009301 0 2436 27 85 50 91.57/91.66 c 631033 3634386 931152898 158048634 0 2456 28 88 53 101.17/101.29 c 694208 3995832 1032260808 175501703 0 2471 29 86 51 110.86/110.92 c 763700 4385546 1133637358 193105019 0 2482 30 85 54 120.97/121.05 c 840141 4801225 1240779458 212134872 0 2503 32 95 58 132.66/132.71 c 924226 5287369 1365786287 233259313 0 2521 31 97 58 134.96/135.08 c 1016719 5506153 1389464868 241049146 0 2534 36 201 178 148.96/149.07 c 1118461 6098410 1539616315 265921381 0 2541 34 99 58 164.26/164.35 c 1230377 6792049 1707246232 292716725 0 2551 39 108 63 178.55/178.63 c 1353484 7417737 1856662694 320471238 0 2580 27 196 81 178.55/178.63 c restarts : 575 178.55/178.63 c conflicts : 1353493 (7579 /sec) 178.55/178.63 c decisions : 7417746 (41535 /sec) 178.55/178.63 c propagations : 320471767 (1794458 /sec) 178.55/178.63 c root propagations : 0 178.55/178.63 c filter calls : 1856663029 (10396249 /sec) 178.55/178.63 c useless filter calls : 1602566425 (86 %) 178.55/178.63 c 178.55/178.63 c clauses : 28798 178.55/178.63 c SAT propagations : 184 178.55/178.63 c SAT conflicts : 0 (0 learnts) 178.55/178.63 c Memory used : 35.49 MB 178.55/178.63 c CPU time : 178.59 s 178.55/178.63 178.55/178.63 s UNSATISFIABLE
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4240392-1500626008/watcher-4240392-1500626008 -o /tmp/evaluation-result-4240392-1500626008/solver-4240392-1500626008 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1500623778-2952 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240392-1500626008.xml pid=5220 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.09 2.04 1.85 4/186 5223 /proc/meminfo: memFree=31021976/32770624 swapFree=6176/1006392 [pid=5223] ppid=5220 vsize=27124 CPUtime=0 cores=1,3,5,7 /proc/5223/stat : 5223 (cosoco) R 5220 5223 2920 0 -1 4202496 994 0 0 0 0 0 0 0 20 0 1 0 15877657 27774976 833 33554432000 4194304 5970956 140735798439552 140735798434712 139711894682597 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 28540928 140735798445244 140735798445379 140735798445379 140735798448078 0 /proc/5223/statm: 6781 833 714 434 0 145 0 [startup+0.100168 s] /proc/loadavg: 2.09 2.04 1.85 4/186 5223 /proc/meminfo: memFree=31021976/32770624 swapFree=6176/1006392 [pid=5223] ppid=5220 vsize=28848 CPUtime=0.09 cores=1,3,5,7 /proc/5223/stat : 5223 (cosoco) R 5220 5223 2920 0 -1 4202496 1438 0 0 0 9 0 0 0 20 0 1 0 15877657 29540352 1229 33554432000 4194304 5970956 140735798439552 140735798436152 5672365 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 28540928 140735798445244 140735798445379 140735798445379 140735798448078 0 /proc/5223/statm: 7212 1229 715 434 0 576 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 28848 [startup+0.200331 s] /proc/loadavg: 2.09 2.04 1.85 4/186 5223 /proc/meminfo: memFree=31021976/32770624 swapFree=6176/1006392 [pid=5223] ppid=5220 vsize=36072 CPUtime=0.19 cores=1,3,5,7 /proc/5223/stat : 5223 (cosoco) R 5220 5223 2920 0 -1 4202496 2312 0 0 0 19 0 0 0 20 0 1 0 15877657 36937728 2087 33554432000 4194304 5970956 140735798439552 140735798436888 5272836 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 28540928 140735798445244 140735798445379 140735798445379 140735798448078 0 /proc/5223/statm: 9018 2087 753 434 0 2382 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 36072 [startup+0.300269 s] /proc/loadavg: 2.09 2.04 1.85 4/186 5223 /proc/meminfo: memFree=31021976/32770624 swapFree=6176/1006392 [pid=5223] ppid=5220 vsize=36072 CPUtime=0.29 cores=1,3,5,7 /proc/5223/stat : 5223 (cosoco) R 5220 5223 2920 0 -1 4202496 2325 0 0 0 29 0 0 0 20 0 1 0 15877657 36937728 2153 33554432000 4194304 5970956 140735798439552 140735798436888 5337509 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 28540928 140735798445244 140735798445379 140735798445379 140735798448078 0 /proc/5223/statm: 9018 2153 769 434 0 2382 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36072 [startup+0.700218 s] /proc/loadavg: 2.09 2.04 1.85 4/186 5223 /proc/meminfo: memFree=31021976/32770624 swapFree=6176/1006392 [pid=5223] ppid=5220 vsize=36204 CPUtime=0.69 cores=1,3,5,7 /proc/5223/stat : 5223 (cosoco) R 5220 5223 2920 0 -1 4202496 2359 0 0 0 69 0 0 0 20 0 1 0 15877657 37072896 2153 33554432000 4194304 5970956 140735798439552 140735798436888 4912722 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 28540928 140735798445244 140735798445379 140735798445379 140735798448078 0 /proc/5223/statm: 9051 2153 769 434 0 2415 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 36204 [startup+1.50023 s] /proc/loadavg: 2.08 2.04 1.85 3/187 5224 /proc/meminfo: memFree=31015608/32770624 swapFree=6176/1006480 [pid=5223] ppid=5220 vsize=36204 CPUtime=1.49 cores=1,3,5,7 /proc/5223/stat : 5223 (cosoco) R 5220 5223 2920 0 -1 4202496 2416 0 0 0 149 0 0 0 20 0 1 0 15877657 37072896 2219 33554432000 4194304 5970956 140735798439552 140735798436888 5327948 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 28540928 140735798445244 140735798445379 140735798445379 140735798448078 0 /proc/5223/statm: 9051 2219 769 434 0 2415 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 36204 [startup+3.10021 s] /proc/loadavg: 2.08 2.04 1.85 3/187 5224 /proc/meminfo: memFree=31014788/32770624 swapFree=6176/1006492 [pid=5223] ppid=5220 vsize=36204 CPUtime=3.08 cores=1,3,5,7 /proc/5223/stat : 5223 (cosoco) R 5220 5223 2920 0 -1 4202496 3828 0 0 0 308 0 0 0 20 0 1 0 15877657 37072896 2278 33554432000 4194304 5970956 140735798439552 140735798436888 5250446 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 28540928 140735798445244 140735798445379 140735798445379 140735798448078 0 /proc/5223/statm: 9051 2278 769 434 0 2415 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 36204 [startup+6.30022 s] /proc/loadavg: 2.07 2.04 1.85 3/187 5224 /proc/meminfo: memFree=31014788/32770624 swapFree=6176/1006492 [pid=5223] ppid=5220 vsize=36204 CPUtime=6.28 cores=1,3,5,7 /proc/5223/stat : 5223 (cosoco) R 5220 5223 2920 0 -1 4202496 5231 0 0 0 628 0 0 0 20 0 1 0 15877657 37072896 2288 33554432000 4194304 5970956 140735798439552 140735798436888 5319853 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 28540928 140735798445244 140735798445379 140735798445379 140735798448078 0 /proc/5223/statm: 9051 2288 769 434 0 2415 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 36204 [startup+12.7002 s] /proc/loadavg: 2.07 2.04 1.85 3/187 5224 /proc/meminfo: memFree=31014416/32770624 swapFree=6176/1006500 [pid=5223] ppid=5220 vsize=36204 CPUtime=12.68 cores=1,3,5,7 /proc/5223/stat : 5223 (cosoco) R 5220 5223 2920 0 -1 4202496 6638 0 0 0 1268 0 0 0 20 0 1 0 15877657 37072896 2295 33554432000 4194304 5970956 140735798439552 140735798436888 4912861 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 28540928 140735798445244 140735798445379 140735798445379 140735798448078 0 /proc/5223/statm: 9051 2295 769 434 0 2415 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 36204 [startup+25.5003 s] /proc/loadavg: 2.05 2.04 1.85 3/187 5224 /proc/meminfo: memFree=31014512/32770624 swapFree=6176/1006520 [pid=5223] ppid=5220 vsize=36204 CPUtime=25.48 cores=1,3,5,7 /proc/5223/stat : 5223 (cosoco) R 5220 5223 2920 0 -1 4202496 9456 0 0 0 2548 0 0 0 20 0 1 0 15877657 37072896 2303 33554432000 4194304 5970956 140735798439552 140735798436888 5319255 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 28540928 140735798445244 140735798445379 140735798445379 140735798448078 0 /proc/5223/statm: 9051 2303 769 434 0 2415 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 36204 [startup+51.1003 s] /proc/loadavg: 2.03 2.04 1.86 3/187 5224 /proc/meminfo: memFree=31013764/32770624 swapFree=6176/1006544 [pid=5223] ppid=5220 vsize=36336 CPUtime=51.07 cores=1,3,5,7 /proc/5223/stat : 5223 (cosoco) R 5220 5223 2920 0 -1 4202496 10880 0 0 0 5107 0 0 0 20 0 1 0 15877657 37208064 2317 33554432000 4194304 5970956 140735798439552 140735798436888 5328066 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 28540928 140735798445244 140735798445379 140735798445379 140735798448078 0 /proc/5223/statm: 9084 2317 769 434 0 2448 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 36336 [startup+102.3 s] /proc/loadavg: 2.01 2.03 1.87 3/187 5225 /proc/meminfo: memFree=31014232/32770624 swapFree=6176/1006612 [pid=5223] ppid=5220 vsize=36336 CPUtime=102.27 cores=1,3,5,7 /proc/5223/stat : 5223 (cosoco) R 5220 5223 2920 0 -1 4202496 11326 0 0 0 10227 0 0 0 20 0 1 0 15877657 37208064 2322 33554432000 4194304 5970956 140735798439552 140735798436888 4912969 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 28540928 140735798445244 140735798445379 140735798445379 140735798448078 0 /proc/5223/statm: 9084 2322 769 434 0 2448 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 36336 [startup+162.3 s] /proc/loadavg: 2.12 2.06 1.88 3/187 5226 /proc/meminfo: memFree=31013692/32770624 swapFree=6176/1006664 [pid=5223] ppid=5220 vsize=36336 CPUtime=162.26 cores=1,3,5,7 /proc/5223/stat : 5223 (cosoco) R 5220 5223 2920 0 -1 4202496 11788 0 0 0 16226 0 0 0 20 0 1 0 15877657 37208064 2330 33554432000 4194304 5970956 140735798439552 140735798436888 4912858 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 28540928 140735798445244 140735798445379 140735798445379 140735798448078 0 /proc/5223/statm: 9084 2330 769 434 0 2448 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 36336 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 5223 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+166.4 s] /proc/loadavg: 2.11 2.06 1.88 3/187 5226 /proc/meminfo: memFree=31013692/32770624 swapFree=6176/1006668 [pid=5223] ppid=5220 vsize=36336 CPUtime=166.36 cores=1,3,5,7 /proc/5223/stat : 5223 (cosoco) R 5220 5223 2920 0 -1 4202496 11789 0 0 0 16636 0 0 0 20 0 1 0 15877657 37208064 2330 33554432000 4194304 5970956 140735798439552 140735798436888 4912960 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 28540928 140735798445244 140735798445379 140735798445379 140735798448078 0 /proc/5223/statm: 9084 2330 769 434 0 2448 0 Current children cumulated CPU time (s) 166.36 Current children cumulated vsize (KiB) 36336 [startup+172.806 s] /proc/loadavg: 2.10 2.06 1.88 3/187 5226 /proc/meminfo: memFree=31013692/32770624 swapFree=6176/1006676 [pid=5223] ppid=5220 vsize=36336 CPUtime=172.76 cores=1,3,5,7 /proc/5223/stat : 5223 (cosoco) R 5220 5223 2920 0 -1 4202496 11789 0 0 0 17276 0 0 0 20 0 1 0 15877657 37208064 2330 33554432000 4194304 5970956 140735798439552 140735798436888 5327993 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 28540928 140735798445244 140735798445379 140735798445379 140735798448078 0 /proc/5223/statm: 9084 2330 769 434 0 2448 0 Current children cumulated CPU time (s) 172.76 Current children cumulated vsize (KiB) 36336 [startup+176 s] /proc/loadavg: 2.09 2.05 1.88 3/187 5226 /proc/meminfo: memFree=31013692/32770624 swapFree=6176/1006676 [pid=5223] ppid=5220 vsize=36336 CPUtime=175.96 cores=1,3,5,7 /proc/5223/stat : 5223 (cosoco) R 5220 5223 2920 0 -1 4202496 11789 0 0 0 17596 0 0 0 20 0 1 0 15877657 37208064 2330 33554432000 4194304 5970956 140735798439552 140735798436888 4908539 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 28540928 140735798445244 140735798445379 140735798445379 140735798448078 0 /proc/5223/statm: 9084 2330 769 434 0 2448 0 Current children cumulated CPU time (s) 175.96 Current children cumulated vsize (KiB) 36336 [startup+177.6 s] /proc/loadavg: 2.09 2.05 1.88 3/187 5226 /proc/meminfo: memFree=31013692/32770624 swapFree=6176/1006676 [pid=5223] ppid=5220 vsize=36336 CPUtime=177.55 cores=1,3,5,7 /proc/5223/stat : 5223 (cosoco) R 5220 5223 2920 0 -1 4202496 12230 0 0 0 17755 0 0 0 20 0 1 0 15877657 37208064 2345 33554432000 4194304 5970956 140735798439552 140735798436888 5337501 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 28540928 140735798445244 140735798445379 140735798445379 140735798448078 0 /proc/5223/statm: 9084 2345 769 434 0 2448 0 Current children cumulated CPU time (s) 177.55 Current children cumulated vsize (KiB) 36336 [startup+178.4 s] /proc/loadavg: 2.09 2.05 1.88 2/184 5255 /proc/meminfo: memFree=31023464/32770624 swapFree=6176/1006716 [pid=5223] ppid=5220 vsize=36336 CPUtime=178.35 cores=1,3,5,7 /proc/5223/stat : 5223 (cosoco) R 5220 5223 2920 0 -1 4202496 12231 0 0 0 17835 0 0 0 20 0 1 0 15877657 37208064 2345 33554432000 4194304 5970956 140735798439552 140735798436888 4912740 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 28540928 140735798445244 140735798445379 140735798445379 140735798448078 0 /proc/5223/statm: 9084 2345 769 434 0 2448 0 Current children cumulated CPU time (s) 178.35 Current children cumulated vsize (KiB) 36336 [startup+178.6 s] /proc/loadavg: 2.09 2.05 1.88 2/184 5255 /proc/meminfo: memFree=31023464/32770624 swapFree=6176/1006716 [pid=5223] ppid=5220 vsize=36336 CPUtime=178.55 cores=1,3,5,7 /proc/5223/stat : 5223 (cosoco) R 5220 5223 2920 0 -1 4202496 12240 0 0 0 17855 0 0 0 20 0 1 0 15877657 37208064 2345 33554432000 4194304 5970956 140735798439552 140735798436888 5108526 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 28540928 140735798445244 140735798445379 140735798445379 140735798448078 0 /proc/5223/statm: 9084 2345 769 434 0 2448 0 Current children cumulated CPU time (s) 178.55 Current children cumulated vsize (KiB) 36336 Child status: 0 Real time (s): 178.632 CPU time (s): 178.6 CPU user time (s): 178.59 CPU system time (s): 0.009998 CPU usage (%): 99.9821 Max. virtual memory (cumulated for all children) (KiB): 36336 getrusage(RUSAGE_CHILDREN,...) data: user time used= 178.59 system time used= 0.009998 maximum resident set size= 9480 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12293 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= 14 involuntary context switches= 8998 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.467196 second user time and 0.621514 second system time The end
Begin job on node125 at 2017-07-21 10:33:28 IDJOB=4240392 IDBENCH=122867 IDSOLVER=2621 FILE ID=node125/4240392-1500626008 RUNJOBID= node125-1500623778-2952 PBS_JOBID= 20623008 Free space on /tmp= 62028 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/Mixed/Mixed-xcsp2-cril/cril-3_X2.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240392-1500626008/watcher-4240392-1500626008 -o /tmp/evaluation-result-4240392-1500626008/solver-4240392-1500626008 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1500623778-2952 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240392-1500626008.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1e218b1676f4744e41059e6970885014 RANDOM SEED=466227426 node125.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 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 : 1600.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.75 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 : 2133.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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31021728 kB MemAvailable: 32011200 kB Buffers: 157336 kB Cached: 1112200 kB SwapCached: 0 kB Active: 316520 kB Inactive: 1015256 kB Active(anon): 64800 kB Inactive(anon): 8864 kB Active(file): 251720 kB Inactive(file): 1006392 kB Unevictable: 6176 kB Mlocked: 6176 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2704 kB Writeback: 0 kB AnonPages: 67804 kB Mapped: 34220 kB Shmem: 8848 kB Slab: 118480 kB SReclaimable: 94388 kB SUnreclaim: 24092 kB KernelStack: 3360 kB PageTables: 5180 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 336012 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 128384 kB DirectMap2M: 33417216 kB Free space on /tmp at the end= 62024 MiB End job on node125 at 2017-07-21 10:36:27