| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-sat 1.12 | SAT | 147.558 | 147.63699 |
| Name | CostasArray/CostasArray-m1-s1/ CostasArray-16.xml |
| MD5SUM | 77b4627333bb7848badb46745d4d3b00 |
| 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 | 1.91223 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 133 |
| Number of constraints | 132 |
| Number of domains | 2 |
| Minimum domain size | 16 |
| Maximum domain size | 30 |
| Distribution of domain sizes | [{"size":16,"count":16},{"size":30,"count":117}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 16 |
| Distribution of variable degrees | [{"degree":2,"count":117},{"degree":15,"count":2},{"degree":16,"count":14}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 16 |
| Distribution of constraint arities | [{"arity":3,"count":118},{"arity":4,"count":2},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 118 |
| Distribution of constraint types | [{"type":"intension","count":118},{"type":"allDifferent","count":14}] |
| Optimization problem | NO |
| Type of objective |
0.12/0.24 c SAT : Variables: 3766 -- Clauses: 52948 0.12/0.24 c root propagations : 0 0.12/0.24 c restarts enabled, print stats at every restarts 0.12/0.24 c 0.12/0.24 c 0.12/0.24 c 0.12/0.24 c This is cosoco 1.12 -- 0.12/0.24 c 0.12/0.24 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266020-1502568610.xml 0.12/0.24 c ========================================[ Problem Statistics ]=========================================== 0.12/0.24 c | 0.12/0.24 c | Parse time : 0.15 s 0.12/0.24 c | 0.12/0.24 c | Variables: 133 0.12/0.24 c | Domain Sizes: 16..30 0.12/0.24 c | 0.12/0.24 c | Constraints: 132 0.12/0.24 c | Arity: 3..16 -- Ternary: 118 0.12/0.24 c | 0.12/0.24 c | Types: 0.12/0.24 c | All Different: 14 0.12/0.24 c | Intension: 118 0.12/0.24 c | 0.12/0.24 c ========================================================================================================= 0.12/0.24 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.12/0.27 c 10 100 4545 6916 0 3 36 53 42 0.12/0.29 c 20 178 9113 14737 0 4 41 50 39 0.12/0.31 c 30 281 13728 22611 0 7 36 50 41 0.22/0.33 c 40 371 19049 31712 0 11 35 42 36 0.22/0.36 c 50 444 24777 41712 0 14 29 36 29 0.22/0.39 c 60 532 30301 52861 0 17 30 44 32 0.22/0.41 c 70 614 34348 59846 0 22 36 47 37 0.32/0.44 c 80 723 41214 71320 0 24 35 46 34 0.32/0.47 c 90 830 46906 81789 0 31 16 52 37 0.32/0.49 c 100 918 51829 89819 0 32 36 53 40 0.32/0.51 c 101 955 53580 93148 0 33 37 37 18 0.42/0.53 c 110 1027 57514 100334 0 37 34 44 33 0.42/0.55 c 120 1112 63065 109264 0 41 37 47 37 0.42/0.58 c 130 1183 68763 118790 0 45 34 42 31 0.51/0.61 c 140 1290 75439 130013 0 49 36 50 39 0.51/0.63 c 150 1365 80713 138705 0 53 36 47 35 0.51/0.65 c 160 1428 84515 146967 0 61 29 46 33 0.51/0.67 c 170 1511 90112 156514 0 62 29 44 34 0.60/0.70 c 180 1600 95896 166563 0 66 31 39 31 0.60/0.73 c 190 1710 103618 179586 0 72 30 48 31 0.60/0.75 c 200 1768 107963 188382 0 77 29 43 32 0.60/0.78 c 210 1850 112907 196997 0 81 35 40 34 0.60/0.79 c 211 1889 114954 200688 0 82 39 39 19 0.70/0.82 c 220 1966 121704 212525 0 87 25 33 26 0.70/0.84 c 230 2024 125265 219770 0 91 28 36 28 0.70/0.87 c 240 2098 130426 229676 0 95 33 46 34 0.70/0.89 c 250 2173 135841 238691 0 97 27 42 31 0.80/0.92 c 260 2250 140668 247071 0 101 27 40 33 0.80/0.94 c 270 2317 145807 255973 0 102 26 44 33 0.80/0.96 c 280 2404 151605 265896 0 103 28 43 34 0.80/0.99 c 290 2465 156247 273504 0 107 37 42 35 0.91/1.01 c 300 2530 160941 282453 0 113 26 48 30 0.91/1.04 c 310 2620 166892 294064 0 118 37 40 33 0.91/1.06 c 320 2676 170994 301946 0 119 27 37 29 0.91/1.08 c 330 2765 177091 311803 0 123 37 45 37 0.91/1.10 c 332 2809 179178 315644 0 125 37 43 26 1.01/1.12 c 340 2878 182924 322834 0 130 36 46 34 1.01/1.14 c 350 2970 188510 331839 0 134 29 47 35 1.01/1.17 c 360 3037 193323 340836 0 138 33 45 33 1.01/1.19 c 370 3132 199058 350449 0 142 33 49 35 1.10/1.22 c 380 3199 204459 359849 0 144 32 39 31 1.10/1.24 c 390 3260 208882 368285 0 149 28 39 32 1.10/1.26 c 400 3323 213758 376949 0 155 29 40 32 1.10/1.29 c 410 3386 218933 386343 0 158 28 37 29 1.20/1.31 c 420 3480 224265 397250 0 160 29 43 34 1.20/1.33 c 430 3569 229464 405982 0 166 29 49 36 1.20/1.36 c 440 3670 234769 416523 0 172 22 45 29 1.20/1.39 c 450 3754 240717 426491 0 177 29 43 33 1.30/1.41 c 460 3849 245944 436005 0 181 36 45 37 1.30/1.43 c 465 3901 249253 442132 0 184 36 39 30 1.30/1.45 c 470 3948 252367 447623 0 188 32 36 28 1.30/1.47 c 480 4024 257344 456837 0 189 29 42 32 1.30/1.49 c 490 4086 262342 465775 0 190 26 37 29 1.40/1.52 c 500 4172 268726 477859 0 197 29 46 32 1.40/1.55 c 510 4279 275469 489847 0 200 32 45 33 1.40/1.58 c 520 4358 281156 501407 0 205 23 44 25 1.50/1.61 c 530 4467 287805 513707 0 207 24 44 34 1.50/1.63 c 540 4535 291901 521364 0 214 26 37 31 1.50/1.65 c 550 4612 296853 530191 0 218 26 40 32 1.50/1.67 c 560 4686 301899 538603 0 222 29 44 33 1.60/1.70 c 570 4785 307460 548487 0 229 26 44 33 1.60/1.72 c 580 4853 312501 557202 0 235 27 37 29 1.60/1.75 c 590 4953 317931 567392 0 238 34 45 35 1.60/1.77 c 600 5052 323798 577745 0 242 35 45 37 1.60/1.79 c 610 5125 327957 585216 0 245 29 45 37 1.70/1.81 c 611 5154 329241 587913 0 246 29 29 14 1.70/1.83 c 620 5217 334701 597220 0 253 29 39 32 1.70/1.86 c 630 5328 340652 607458 0 258 32 45 36 1.70/1.88 c 640 5398 345824 616467 0 261 32 41 33 1.80/1.91 c 650 5496 351924 627693 0 265 31 45 37 1.80/1.94 c 660 5579 358014 637517 0 269 22 37 25 1.80/1.96 c 670 5643 363399 646806 0 271 29 37 30 1.80/1.99 c 680 5724 369051 657016 0 272 28 53 33 1.91/2.01 c 690 5778 372328 663734 0 275 29 45 33 1.91/2.03 c 700 5858 378744 674332 0 278 36 42 35 1.91/2.06 c 710 5948 384706 685817 0 280 28 45 32 1.91/2.08 c 720 6015 390457 695702 0 286 29 38 31 2.01/2.11 c 730 6122 396052 704972 0 289 32 49 37 2.01/2.14 c 740 6207 401524 715505 0 293 29 41 30 2.01/2.16 c 750 6291 407524 724540 0 297 32 36 30 2.01/2.19 c 760 6382 413328 734843 0 302 31 45 35 2.10/2.22 c 770 6482 420425 746702 0 308 29 49 34 2.10/2.23 c 771 6511 421915 749789 0 309 29 29 14 2.10/2.26 c 780 6582 427131 758388 0 313 32 35 29 2.10/2.28 c 790 6645 432736 769223 0 318 32 39 32 2.20/2.31 c 800 6712 437335 777077 0 322 24 44 31 2.20/2.33 c 810 6768 442276 786116 0 323 29 34 28 2.20/2.35 c 820 6871 447774 795678 0 327 30 53 34 2.20/2.37 c 830 6935 452331 803678 0 331 23 43 30 2.30/2.40 c 840 7047 457943 813732 0 334 30 53 38 2.30/2.42 c 850 7103 462770 822583 0 336 29 34 27 2.30/2.44 c 860 7160 467487 830767 0 339 25 40 31 2.30/2.47 c 870 7251 472995 841418 0 342 29 45 32 2.30/2.49 c 880 7321 477469 849424 0 350 37 46 38 2.40/2.51 c 890 7366 481675 857102 0 353 24 35 27 2.40/2.54 c 900 7438 486849 866401 0 356 37 44 36 2.40/2.57 c 910 7512 493473 878007 0 360 29 35 28 2.40/2.59 c 920 7578 499085 887711 0 365 29 36 29 2.50/2.61 c 930 7647 504805 897181 0 366 28 39 31 2.50/2.64 c 940 7706 509822 905933 0 369 21 36 26 2.50/2.66 c 947 7761 514493 913653 0 373 29 37 29 2.50/2.68 c 950 7813 517195 918763 0 375 31 45 27 2.60/2.70 c 960 7885 522358 927252 0 381 20 45 28 2.60/2.73 c 970 7966 527108 936258 0 386 28 38 29 2.60/2.75 c 980 8031 533219 946336 0 392 26 33 27 2.60/2.78 c 990 8127 538621 954555 0 395 24 51 31 2.70/2.80 c 1000 8205 542839 962471 0 399 33 42 33 2.70/2.82 c 1010 8272 548090 971501 0 401 21 42 28 2.70/2.85 c 1020 8358 554616 982369 0 405 35 41 35 2.70/2.87 c 1030 8449 559516 991393 0 409 26 45 28 2.80/2.90 c 1040 8536 565096 1001221 0 414 32 45 36 2.80/2.92 c 1050 8612 570304 1010588 0 416 29 45 35 2.80/2.95 c 1060 8671 575392 1018898 0 420 24 32 27 2.80/2.97 c 1070 8733 581310 1030215 0 426 32 40 31 2.80/3.00 c 1080 8805 586149 1038933 0 430 21 37 26 2.91/3.02 c 1090 8878 591183 1047529 0 431 41 45 39 2.91/3.05 c 1100 8957 597061 1056888 0 436 23 42 30 2.91/3.07 c 1110 9042 602877 1066529 0 443 29 44 32 2.91/3.10 c 1120 9131 608392 1077015 0 445 29 51 34 3.01/3.13 c 1130 9247 615668 1088365 0 449 31 45 32 3.01/3.15 c 1140 9314 620711 1097083 0 455 24 38 28 3.01/3.17 c 1141 9343 622507 1100530 0 456 29 29 14 3.10/3.20 c 1150 9422 629338 1111337 0 464 28 45 33 3.10/3.22 c 1160 9496 634731 1120477 0 469 27 41 29 3.10/3.25 c 1170 9587 640255 1130081 0 475 27 44 29 3.10/3.27 c 1180 9650 646392 1140613 0 479 29 41 31 3.10/3.29 c 1190 9723 650506 1148023 0 485 33 45 34 3.20/3.32 c 1200 9829 657610 1161229 0 488 29 45 32 3.20/3.35 c 1210 9953 663918 1171636 0 490 40 45 40 3.20/3.38 c 1220 10025 670011 1182942 0 492 28 45 29 3.30/3.40 c 1230 10081 675422 1192061 0 498 19 31 23 3.30/3.43 c 1240 10166 682205 1203049 0 503 25 45 33 3.30/3.46 c 1250 10249 688160 1214197 0 506 24 45 31 3.30/3.49 c 1260 10326 693490 1223939 0 512 33 40 33 3.40/3.52 c 1270 10423 699326 1235003 0 515 32 47 36 3.40/3.54 c 1280 10533 706134 1246540 0 518 26 53 35 3.40/3.57 c 1290 10598 711944 1256717 0 523 31 42 31 3.50/3.60 c 1300 10663 717658 1266006 0 528 24 34 26 3.50/3.62 c 1310 10747 723397 1275526 0 532 30 45 30 3.50/3.65 c 1320 10834 728037 1283199 0 535 31 45 37 3.50/3.67 c 1330 10921 732954 1292536 0 540 45 54 43 3.50/3.70 c 1340 11005 737557 1300819 0 543 30 45 33 3.60/3.72 c 1350 11084 743067 1310291 0 546 36 45 36 3.60/3.73 c 1352 11119 744896 1313929 0 548 30 34 21 3.60/3.76 c 1360 11182 750108 1323540 0 553 30 41 30 3.60/3.78 c 1370 11255 754978 1332411 0 559 33 46 35 3.70/3.80 c 1380 11312 759838 1341696 0 560 24 40 26 3.70/3.83 c 1390 11381 766543 1353025 0 566 33 40 32 3.70/3.86 c 1400 11462 772353 1363640 0 571 25 46 27 3.70/3.88 c 1410 11532 777382 1373108 0 575 19 44 24 3.80/3.90 c 1420 11593 782740 1381971 0 581 22 34 24 3.80/3.93 c 1430 11700 788266 1391655 0 585 22 46 34 3.80/3.96 c 1440 11788 795356 1403398 0 589 28 45 34 3.80/3.98 c 1450 11859 799595 1410675 0 591 33 39 32 3.91/4.00 c 1460 11948 805225 1420539 0 593 29 45 32 3.91/4.02 c 1470 12006 809350 1427919 0 595 28 40 31 3.91/4.05 c 1480 12065 815571 1438955 0 599 25 36 28 3.91/4.08 c 1490 12163 820950 1449399 0 603 31 45 34 3.91/4.10 c 1500 12243 827326 1460430 0 606 33 43 35 4.01/4.13 c 1510 12319 831670 1467616 0 607 29 45 36 4.01/4.15 c 1520 12398 836101 1475725 0 610 29 45 33 4.01/4.18 c 1530 12483 841529 1485785 0 611 29 44 33 4.10/4.20 c 1540 12546 844807 1492302 0 612 37 46 40 4.10/4.22 c 1550 12642 850937 1502972 0 614 33 45 35 4.10/4.25 c 1560 12747 857536 1514988 0 616 33 45 35 4.10/4.27 c 1570 12817 861903 1523595 0 620 34 41 34 4.20/4.30 c 1580 12890 868046 1534509 0 626 31 41 32 4.20/4.32 c 1585 12932 871452 1540269 0 629 28 33 26 4.20/4.34 c 1590 13002 875730 1548313 0 633 34 45 32 4.20/4.37 c 1600 13097 882443 1560056 0 636 36 45 36 4.20/4.39 c 1610 13176 887800 1569506 0 638 32 45 34 4.30/4.42 c 1620 13254 893168 1578492 0 644 29 46 31 4.30/4.44 c 1630 13337 898374 1587378 0 645 41 45 39 4.30/4.46 c 1640 13418 903081 1595419 0 650 29 46 35 4.30/4.49 c 1650 13491 909095 1604934 0 656 28 42 31 4.40/4.51 c 1660 13574 914457 1614928 0 657 29 44 33 4.40/4.54 c 1670 13673 919563 1625214 0 662 22 45 32 4.40/4.57 c 1680 13790 926628 1637404 0 666 29 53 35 4.40/4.59 c 1690 13858 931703 1646072 0 669 32 39 32 4.50/4.62 c 1700 13967 937366 1656213 0 673 30 51 37 4.50/4.65 c 1710 14042 943797 1668426 0 675 28 45 29 4.50/4.67 c 1720 14115 949708 1679774 0 677 28 45 29 4.60/4.70 c 1730 14236 957260 1693453 0 682 22 44 30 4.60/4.74 c 1740 14342 965080 1706317 0 686 25 48 32 4.60/4.76 c 1750 14409 970535 1715471 0 692 24 38 28 4.60/4.78 c 1760 14492 974384 1722778 0 698 27 45 34 4.70/4.81 c 1770 14573 980014 1732759 0 703 37 45 34 4.70/4.83 c 1780 14662 985555 1741837 0 708 37 53 41 4.70/4.86 c 1790 14726 990941 1751769 0 716 21 43 23 4.70/4.88 c 1800 14798 996216 1761736 0 717 29 45 30 4.80/4.91 c 1810 14868 1002225 1772228 0 720 33 43 33 4.80/4.93 c 1820 14933 1007190 1781505 0 723 33 41 32 4.80/4.95 c 1830 15006 1011892 1790043 0 725 30 45 33 4.80/4.98 c 1840 15098 1017943 1800327 0 729 26 36 27 4.80/4.99 c 1841 15137 1019755 1803838 0 730 39 39 19 4.91/5.01 c 1850 15201 1023883 1811665 0 734 24 37 28 4.91/5.04 c 1860 15289 1029335 1821004 0 739 29 44 34 4.91/5.07 c 1870 15409 1035845 1832526 0 743 31 45 38 4.91/5.09 c 1880 15481 1040826 1841759 0 749 29 40 33 5.01/5.12 c 1890 15610 1048482 1855109 0 755 28 49 36 5.01/5.15 c 1900 15717 1054135 1865359 0 760 27 45 30 5.01/5.18 c 1910 15791 1059841 1874855 0 763 28 36 28 5.10/5.21 c 1920 15910 1067543 1888447 0 767 25 48 31 5.10/5.23 c 1930 15986 1072361 1896714 0 771 29 45 32 5.10/5.26 c 1940 16071 1079325 1908221 0 773 27 35 28 5.10/5.29 c 1950 16141 1084158 1917948 0 779 29 41 33 5.20/5.31 c 1960 16269 1090648 1929564 0 783 28 46 38 5.20/5.34 c 1970 16364 1096078 1938958 0 787 36 54 38 5.20/5.37 c 1980 16453 1101507 1947790 0 793 29 45 34 5.20/5.39 c 1990 16559 1108257 1958187 0 795 36 45 37 5.30/5.42 c 2000 16640 1114286 1969434 0 799 20 44 27 5.30/5.46 c 2010 16758 1122504 1983143 0 804 35 46 37 5.30/5.48 c 2020 16848 1126720 1991077 0 807 29 46 39 5.40/5.50 c 2030 16925 1132109 2002187 0 812 29 45 34 5.40/5.53 c 2040 17029 1138049 2011530 0 818 21 45 31 5.40/5.55 c 2050 17114 1143449 2021934 0 819 29 52 37 5.40/5.58 c 2060 17189 1148352 2030765 0 823 29 43 34 5.50/5.60 c 2070 17289 1153586 2039774 0 825 36 52 41 5.50/5.62 c 2080 17387 1158544 2047927 0 828 31 54 36 5.50/5.64 c 2090 17445 1163123 2055239 0 833 23 36 26 5.50/5.68 c 2100 17566 1169546 2068074 0 835 23 45 27 5.60/5.71 c 2110 17679 1175788 2078369 0 840 30 51 36 5.60/5.74 c 2120 17793 1183452 2091550 0 845 18 46 36 5.60/5.75 c 2122 17840 1185382 2095309 0 847 46 46 30 5.60/5.78 c 2130 17962 1190888 2105547 0 850 27 46 38 5.70/5.81 c 2140 18058 1196372 2116166 0 853 27 37 28 5.70/5.83 c 2150 18151 1202123 2126926 0 856 31 46 35 5.70/5.86 c 2160 18234 1207072 2136363 0 862 38 46 40 5.70/5.89 c 2170 18362 1214182 2148650 0 867 32 46 34 5.80/5.91 c 2180 18454 1219870 2157882 0 873 39 46 40 5.80/5.94 c 2190 18529 1225231 2167056 0 876 31 52 36 5.80/5.96 c 2200 18586 1230191 2176462 0 881 24 34 27 5.80/5.99 c 2210 18675 1235892 2185713 0 885 31 36 29 5.91/6.02 c 2220 18761 1242046 2197568 0 888 26 50 35 5.91/6.04 c 2230 18851 1247514 2206389 0 890 33 48 36 5.91/6.07 c 2240 18932 1252174 2214206 0 895 26 50 37 5.91/6.09 c 2250 18995 1256660 2223301 0 900 29 46 34 6.01/6.11 c 2260 19054 1261649 2232454 0 903 28 32 26 6.01/6.13 c 2270 19145 1266736 2242253 0 906 34 46 35 6.01/6.15 c 2280 19213 1271154 2249899 0 910 26 41 32 6.01/6.18 c 2290 19323 1278389 2261688 0 912 27 45 32 6.10/6.21 c 2300 19432 1284268 2272299 0 914 35 46 40 6.10/6.24 c 2310 19544 1290242 2281988 0 917 26 48 34 6.10/6.26 c 2320 19608 1296557 2292588 0 922 32 35 30 6.10/6.29 c 2330 19694 1301783 2302883 0 927 29 45 35 6.20/6.31 c 2340 19749 1305793 2310228 0 934 23 37 24 6.20/6.33 c 2350 19858 1311510 2319827 0 939 29 53 36 6.20/6.36 c 2360 19944 1316240 2327700 0 946 24 53 32 6.20/6.38 c 2370 20019 1321618 2336988 0 952 27 40 32 6.30/6.41 c 2380 20117 1327887 2347952 0 956 37 45 37 6.30/6.43 c 2390 20188 1332590 2357246 0 962 31 42 32 6.30/6.46 c 2400 20326 1339415 2369412 0 968 29 46 35 6.30/6.48 c 2410 20444 1345325 2379548 0 970 29 52 38 6.40/6.51 c 2420 20529 1350364 2388428 0 974 33 50 39 6.40/6.53 c 2430 20596 1355382 2396745 0 978 27 39 29 6.40/6.55 c 2431 20627 1357325 2400297 0 979 31 31 15 6.40/6.57 c 2440 20708 1362590 2409739 0 986 29 46 32 6.50/6.60 c 2450 20796 1368068 2418910 0 987 31 45 32 6.50/6.62 c 2460 20880 1372718 2427125 0 989 33 50 39 6.50/6.65 c 2470 20962 1377035 2435552 0 996 26 53 33 6.50/6.67 c 2480 21034 1382336 2445569 0 999 26 48 34 6.60/6.70 c 2490 21121 1387371 2454982 0 1004 30 45 35 6.60/6.73 c 2500 21210 1394653 2468275 0 1006 28 45 32 6.60/6.76 c 2510 21278 1400260 2477512 0 1009 28 36 28 6.60/6.78 c 2520 21355 1405844 2488239 0 1014 30 42 34 6.70/6.81 c 2530 21432 1410940 2496922 0 1016 29 45 31 6.70/6.83 c 2540 21494 1415851 2506409 0 1017 29 45 33 6.70/6.86 c 2550 21572 1421288 2516601 0 1019 24 44 29 6.70/6.88 c 2560 21677 1426809 2526150 0 1024 25 53 34 6.80/6.91 c 2570 21769 1432873 2536649 0 1027 28 45 33 6.80/6.94 c 2580 21879 1439995 2549052 0 1031 32 45 35 6.80/6.96 c 2590 21949 1446185 2560050 0 1034 29 40 34 6.80/6.99 c 2600 22034 1453163 2571568 0 1038 33 45 35 6.91/7.01 c 2610 22123 1458208 2580311 0 1040 33 51 36 6.91/7.04 c 2620 22184 1463349 2591214 0 1045 29 41 32 6.91/7.07 c 2630 22265 1469672 2602742 0 1050 24 50 31 6.91/7.09 c 2640 22357 1475821 2613890 0 1059 29 46 33 7.01/7.12 c 2650 22437 1480538 2621757 0 1061 23 48 38 7.01/7.14 c 2660 22511 1485344 2632128 0 1066 22 42 26 7.01/7.17 c 2670 22591 1491346 2643578 0 1071 29 51 34 7.01/7.19 c 2680 22653 1496215 2653146 0 1072 29 45 33 7.10/7.21 c 2690 22705 1501339 2661948 0 1073 25 37 27 7.10/7.24 c 2700 22775 1506368 2671107 0 1076 31 44 34 7.10/7.27 c 2710 22855 1511768 2681835 0 1083 29 45 31 7.10/7.29 c 2720 22915 1517288 2690320 0 1085 25 31 25 7.20/7.32 c 2730 23014 1523257 2700639 0 1090 25 50 34 7.20/7.34 c 2740 23080 1527350 2708141 0 1096 36 48 37 7.20/7.36 c 2750 23179 1532788 2717988 0 1100 28 52 35 7.20/7.38 c 2760 23273 1537934 2727058 0 1105 26 52 34 7.30/7.41 c 2770 23380 1543515 2737268 0 1110 32 45 38 7.30/7.43 c 2771 23412 1545536 2741221 0 1111 32 32 16 7.30/7.45 c 2780 23504 1551149 2750189 0 1115 29 44 32 7.30/7.48 c 2790 23584 1556496 2759464 0 1118 31 45 34 7.40/7.51 c 2800 23680 1562658 2769705 0 1120 33 48 37 7.40/7.53 c 2810 23757 1568892 2779929 0 1124 25 48 32 7.40/7.56 c 2820 23833 1573474 2788218 0 1127 24 50 30 7.40/7.58 c 2830 23920 1578766 2797404 0 1129 37 50 41 7.50/7.61 c 2840 23995 1584206 2807426 0 1132 22 45 35 7.50/7.63 c 2850 24101 1589262 2816372 0 1136 25 51 35 7.50/7.66 c 2860 24205 1595731 2827379 0 1140 27 50 31 7.50/7.69 c 2870 24316 1601894 2838521 0 1146 34 49 38 7.60/7.72 c 2880 24407 1608381 2849935 0 1148 23 50 35 7.60/7.74 c 2890 24476 1612554 2857580 0 1152 26 41 31 7.60/7.76 c 2900 24563 1618403 2866941 0 1156 23 45 35 7.60/7.79 c 2910 24679 1625224 2879610 0 1157 29 45 37 7.70/7.82 c 2920 24745 1630190 2889043 0 1160 31 42 34 7.70/7.84 c 2930 24811 1635702 2899315 0 1166 26 49 32 7.70/7.87 c 2940 24945 1642220 2910797 0 1168 30 50 38 7.80/7.90 c 2950 25043 1650442 2925835 0 1173 35 46 35 7.80/7.93 c 2960 25114 1655579 2935477 0 1176 31 41 33 7.80/7.95 c 2970 25185 1660688 2943881 0 1177 34 44 33 7.80/7.98 c 2980 25272 1666409 2954924 0 1184 25 43 29 7.91/8.00 c 2990 25371 1672745 2966743 0 1189 37 45 36 7.91/8.03 c 3000 25436 1677403 2975147 0 1194 30 40 31 7.91/8.05 c 3010 25517 1682182 2984567 0 1201 29 45 30 7.91/8.07 c 3020 25581 1687201 2995259 0 1202 29 45 28 7.91/8.09 c 3030 25650 1691044 3001741 0 1205 37 44 38 8.01/8.12 c 3040 25721 1695897 3010591 0 1206 39 45 40 8.01/8.15 c 3050 25801 1702855 3021420 0 1210 25 49 30 8.01/8.17 c 3060 25862 1708124 3030426 0 1215 27 36 29 8.01/8.19 c 3070 25951 1713477 3039307 0 1217 30 43 33 8.10/8.22 c 3080 26023 1719493 3049065 0 1222 27 35 29 8.10/8.24 c 3090 26098 1724066 3058057 0 1225 30 45 36 8.10/8.27 c 3100 26163 1728622 3066768 0 1233 37 45 37 8.20/8.30 c 3110 26276 1735094 3078211 0 1237 31 45 35 8.20/8.33 c 3120 26410 1742221 3090868 0 1241 32 45 36 8.20/8.35 c 3130 26474 1748255 3100583 0 1245 27 39 29 8.20/8.38 c 3140 26560 1753458 3110100 0 1247 24 43 31 8.20/8.39 c 3142 26594 1755323 3113689 0 1248 33 33 22 8.30/8.41 c 3150 26653 1759293 3120907 0 1252 29 43 32 8.30/8.44 c 3160 26741 1765037 3131175 0 1255 30 45 37 8.30/8.46 c 3170 26805 1770961 3142312 0 1262 29 41 29 8.30/8.49 c 3180 26901 1777923 3154939 0 1266 22 44 28 8.40/8.53 c 3190 27034 1785671 3169268 0 1270 24 51 34 8.40/8.55 c 3200 27137 1791950 3179945 0 1273 37 42 35 8.40/8.57 c 3210 27199 1796411 3187886 0 1279 37 43 36 8.50/8.60 c 3220 27293 1801978 3197976 0 1282 36 49 40 8.50/8.62 c 3230 27392 1807651 3206848 0 1286 29 49 37 8.50/8.65 c 3240 27481 1813082 3216330 0 1290 32 48 37 8.50/8.67 c 3250 27574 1818415 3225805 0 1294 32 43 33 8.60/8.70 c 3260 27668 1825001 3237229 0 1296 29 45 30 8.60/8.73 c 3270 27744 1830311 3246864 0 1299 32 45 31 8.60/8.76 c 3280 27814 1834843 3255324 0 1305 31 45 35 8.60/8.78 c 3290 27908 1840010 3263718 0 1307 24 52 39 8.70/8.80 c 3300 27977 1844502 3271649 0 1309 37 44 36 8.70/8.83 c 3310 28068 1849844 3281269 0 1315 33 45 37 8.70/8.85 c 3320 28153 1854953 3290622 0 1322 34 45 35 8.70/8.88 c 3330 28295 1861942 3302829 0 1325 28 52 39 8.80/8.91 c 3340 28452 1869125 3315605 0 1327 24 45 32 8.80/8.93 c 3350 28526 1874650 3325060 0 1328 29 40 32 8.80/8.95 c 3360 28585 1878130 3330871 0 1329 28 39 29 8.80/8.98 c 3370 28653 1883679 3339995 0 1332 28 37 30 8.80/9.00 c 3380 28734 1889944 3351536 0 1338 26 52 30 8.91/9.03 c 3390 28786 1894011 3359014 0 1339 32 40 31 8.91/9.05 c 3400 28865 1899146 3369382 0 1344 29 45 36 8.91/9.08 c 3410 28936 1903952 3377280 0 1346 26 40 30 8.91/9.10 c 3420 29012 1908708 3385621 0 1351 19 44 28 9.01/9.13 c 3430 29104 1913894 3394991 0 1354 35 51 35 9.01/9.15 c 3440 29171 1918358 3402962 0 1357 31 45 33 9.01/9.17 c 3450 29276 1924869 3413503 0 1361 33 51 38 9.10/9.20 c 3460 29375 1930440 3422889 0 1366 25 52 37 9.10/9.22 c 3470 29441 1934607 3430526 0 1368 32 45 35 9.10/9.25 c 3480 29500 1939893 3440156 0 1371 25 42 31 9.10/9.27 c 3490 29578 1945496 3450267 0 1374 24 44 31 9.20/9.30 c 3500 29658 1950949 3460165 0 1376 29 46 37 9.20/9.32 c 3510 29710 1954973 3468511 0 1382 37 40 34 9.20/9.34 c 3520 29813 1961326 3479196 0 1386 27 50 33 9.20/9.37 c 3530 29900 1966574 3488324 0 1388 25 44 30 9.30/9.40 c 3540 29984 1973388 3499844 0 1390 23 33 25 9.30/9.42 c 3550 30053 1978438 3509019 0 1393 31 44 34 9.30/9.44 c 3551 30094 1981012 3513123 0 1394 41 41 20 9.30/9.46 c 3560 30179 1986848 3523804 0 1399 37 45 35 9.30/9.50 c 3570 30261 1994592 3537244 0 1404 35 44 35 9.40/9.52 c 3580 30364 2000558 3547778 0 1410 33 45 38 9.40/9.55 c 3590 30465 2007005 3558943 0 1415 31 45 33 9.40/9.58 c 3600 30543 2013483 3571135 0 1418 34 42 33 9.50/9.60 c 3610 30584 2017202 3578241 0 1421 22 32 25 9.50/9.63 c 3620 30679 2023686 3591116 0 1425 23 46 32 9.50/9.66 c 3630 30753 2028867 3600324 0 1429 24 42 29 9.50/9.69 c 3640 30859 2034446 3610651 0 1434 31 45 38 9.60/9.71 c 3650 30943 2039655 3619337 0 1437 32 45 33 9.60/9.73 c 3660 31040 2044708 3628027 0 1441 28 51 33 9.60/9.76 c 3670 31121 2050667 3638693 0 1445 23 49 30 9.60/9.78 c 3680 31208 2056552 3648901 0 1449 25 40 31 9.70/9.81 c 3690 31263 2061117 3658121 0 1456 26 36 27 9.70/9.83 c 3700 31364 2067175 3668884 0 1460 28 45 32 9.70/9.86 c 3710 31460 2073199 3678733 0 1464 27 44 30 9.70/9.89 c 3720 31553 2078976 3688570 0 1470 32 45 35 9.80/9.91 c 3730 31634 2084251 3698270 0 1472 28 51 37 9.80/9.93 c 3740 31722 2089690 3707828 0 1474 37 48 38 9.80/9.96 c 3750 31786 2095047 3717097 0 1477 23 33 27 9.80/9.99 c 3760 31860 2100481 3726268 0 1481 25 44 32 9.91/10.01 c 3770 31918 2104705 3734890 0 1486 29 45 32 9.91/10.03 c 3780 32005 2110353 3744483 0 1488 23 48 31 9.91/10.06 c 3790 32109 2116770 3755494 0 1492 23 44 31 9.91/10.09 c 3800 32177 2121451 3763483 0 1498 27 41 28 10.01/10.11 c 3810 32262 2126688 3772559 0 1502 29 42 34 10.01/10.13 c 3820 32336 2131803 3781667 0 1507 28 41 32 10.01/10.16 c 3830 32416 2137489 3791028 0 1511 28 43 30 10.01/10.18 c 3840 32479 2142789 3800972 0 1517 37 44 36 10.10/10.21 c 3850 32538 2148169 3810374 0 1520 24 32 25 10.10/10.24 c 3860 32653 2155823 3823225 0 1525 25 49 33 10.10/10.26 c 3870 32738 2160914 3832524 0 1532 35 45 35 10.10/10.29 c 3880 32809 2167180 3843954 0 1539 32 38 32 10.20/10.32 c 3890 32948 2174010 3855536 0 1544 38 45 39 10.20/10.35 c 3900 33023 2180122 3865954 0 1547 29 42 32 10.20/10.37 c 3910 33113 2185608 3876307 0 1552 29 44 34 10.20/10.39 c 3920 33190 2190133 3884060 0 1555 26 37 28 10.30/10.42 c 3930 33287 2195853 3894137 0 1557 24 43 32 10.30/10.45 c 3940 33358 2201829 3905189 0 1562 29 42 33 10.30/10.47 c 3950 33443 2206652 3913376 0 1566 30 46 35 10.40/10.50 c 3960 33535 2213464 3924969 0 1570 30 44 33 10.40/10.52 c 3970 33595 2217882 3932688 0 1573 21 37 28 10.40/10.55 c 3980 33694 2223349 3942706 0 1577 20 44 33 10.40/10.58 c 3990 33778 2229711 3954895 0 1583 29 45 33 10.50/10.60 c 4000 33849 2234701 3964210 0 1585 30 44 36 10.50/10.61 c 4001 33881 2236194 3967283 0 1586 32 32 16 10.50/10.64 c 4010 33961 2242804 3979214 0 1590 26 34 27 10.50/10.67 c 4020 34043 2248542 3989740 0 1595 37 50 36 10.50/10.69 c 4030 34125 2253209 3998286 0 1599 37 45 38 10.60/10.71 c 4040 34191 2257397 4005945 0 1601 32 45 35 10.60/10.74 c 4050 34289 2263299 4015735 0 1604 31 41 32 10.60/10.76 c 4060 34381 2268137 4024645 0 1605 29 46 34 10.60/10.78 c 4070 34441 2273402 4033772 0 1610 27 36 29 10.70/10.81 c 4080 34524 2278281 4042321 0 1612 33 50 37 10.70/10.83 c 4090 34606 2283492 4051828 0 1615 30 40 34 10.70/10.86 c 4100 34673 2288278 4060888 0 1621 29 45 32 10.70/10.88 c 4110 34772 2293706 4071113 0 1625 23 45 36 10.80/10.91 c 4120 34870 2300259 4082253 0 1630 24 41 29 10.80/10.94 c 4130 34950 2305530 4092269 0 1635 29 51 34 10.80/10.96 c 4140 35015 2309704 4099892 0 1643 37 45 36 10.80/10.99 c 4150 35112 2316409 4111856 0 1647 29 43 32 10.91/11.01 c 4160 35204 2321733 4121052 0 1651 32 50 36 10.91/11.03 c 4170 35289 2326815 4129818 0 1654 31 45 33 10.91/11.06 c 4180 35354 2332565 4140520 0 1661 29 45 31 10.91/11.08 c 4190 35439 2337715 4149979 0 1664 25 45 34 10.91/11.10 c 4200 35521 2342426 4158211 0 1666 37 49 38 11.01/11.13 c 4210 35600 2349224 4170378 0 1671 29 39 29 11.01/11.16 c 4220 35688 2355870 4182419 0 1673 22 38 29 11.01/11.18 c 4230 35775 2361880 4193678 0 1677 37 51 37 11.10/11.21 c 4240 35830 2367676 4204027 0 1680 27 31 25 11.10/11.23 c 4250 35899 2373229 4213313 0 1683 29 40 30 11.10/11.26 c 4260 35960 2378485 4222527 0 1688 25 35 27 11.10/11.29 c 4270 36042 2384675 4233932 0 1691 30 44 34 11.20/11.31 c 4280 36141 2390953 4244806 0 1694 31 47 33 11.20/11.34 c 4290 36197 2396573 4254470 0 1695 27 32 26 11.20/11.36 c 4300 36259 2401103 4262390 0 1698 26 45 32 11.20/11.38 c 4310 36332 2405526 4270595 0 1703 27 45 30 11.30/11.41 c 4320 36424 2411264 4280468 0 1705 23 48 31 11.30/11.43 c 4330 36502 2416484 4289307 0 1709 31 40 34 11.30/11.46 c 4340 36579 2421928 4299185 0 1713 27 43 30 11.30/11.48 c 4350 36649 2428551 4310586 0 1719 32 38 32 11.40/11.51 c 4360 36759 2433701 4320228 0 1724 29 50 34 11.40/11.54 c 4370 36863 2440549 4331982 0 1730 28 45 32 11.40/11.57 c 4380 36928 2446264 4342818 0 1737 29 45 31 11.40/11.59 c 4390 37013 2453287 4355163 0 1742 23 42 32 11.50/11.62 c 4400 37106 2458555 4364336 0 1745 22 45 31 11.50/11.65 c 4410 37163 2462779 4372658 0 1746 37 45 34 11.50/11.67 c 4420 37250 2469095 4383780 0 1748 23 42 32 11.60/11.70 c 4430 37319 2473414 4391598 0 1751 33 41 34 11.60/11.72 c 4440 37420 2478772 4401308 0 1757 35 51 40 11.60/11.75 c 4450 37486 2484981 4411589 0 1762 29 37 30 11.60/11.77 c 4460 37572 2490525 4421065 0 1767 26 35 27 11.70/11.80 c 4470 37657 2496106 4430224 0 1768 35 41 34 11.70/11.82 c 4480 37730 2501113 4438167 0 1770 27 35 28 11.70/11.85 c 4490 37809 2506887 4447945 0 1774 27 45 28 11.70/11.87 c 4493 37851 2510072 4453097 0 1776 22 33 20 11.70/11.89 c 4500 37917 2514249 4461740 0 1780 36 45 35 11.80/11.91 c 4510 37986 2518876 4470134 0 1784 33 40 33 11.80/11.93 c 4520 38060 2523274 4478129 0 1786 37 45 36 11.80/11.95 c 4530 38169 2529368 4487854 0 1793 28 51 33 11.80/11.98 c 4540 38248 2535491 4497290 0 1798 27 40 32 11.91/12.00 c 4550 38333 2541059 4507261 0 1804 24 45 28 11.91/12.03 c 4560 38417 2546808 4517834 0 1805 30 49 35 11.91/12.05 c 4570 38520 2551865 4526545 0 1812 28 48 32 11.91/12.08 c 4580 38566 2556083 4534411 0 1813 23 31 24 11.91/12.10 c 4590 38650 2561140 4543696 0 1816 29 45 32 12.01/12.13 c 4600 38717 2567171 4554198 0 1820 30 38 30 12.01/12.15 c 4610 38781 2572192 4563051 0 1827 29 45 30 12.01/12.18 c 4620 38841 2577550 4572646 0 1833 24 36 26 12.10/12.20 c 4630 38912 2582894 4582774 0 1840 29 44 35 12.10/12.23 c 4640 38985 2588201 4592924 0 1841 29 45 33 12.10/12.25 c 4650 39081 2593809 4601991 0 1843 31 48 35 12.10/12.28 c 4660 39161 2599690 4613166 0 1847 26 41 32 12.20/12.31 c 4670 39259 2606168 4625126 0 1853 25 45 32 12.20/12.33 c 4680 39326 2611508 4633762 0 1857 25 32 26 12.20/12.36 c 4690 39406 2617312 4643954 0 1862 29 45 30 12.20/12.38 c 4700 39465 2622864 4653622 0 1867 24 34 26 12.30/12.41 c 4710 39552 2628735 4664030 0 1870 22 45 31 12.30/12.45 c 4720 39637 2636112 4677201 0 1873 27 45 31 12.30/12.47 c 4730 39687 2640791 4685734 0 1878 23 36 26 12.30/12.49 c 4740 39750 2644978 4692979 0 1882 29 38 30 12.40/12.51 c 4750 39807 2648341 4699173 0 1890 37 42 35 12.40/12.54 c 4760 39924 2655481 4712131 0 1894 38 45 38 12.40/12.57 c 4770 40017 2662442 4724538 0 1899 22 48 35 12.50/12.60 c 4780 40112 2669998 4736834 0 1905 27 50 31 12.50/12.63 c 4790 40178 2675910 4747973 0 1908 23 35 26 12.50/12.66 c 4800 40251 2681663 4758367 0 1912 30 52 35 12.50/12.68 c 4810 40323 2687481 4769583 0 1917 29 40 32 12.60/12.71 c 4820 40382 2692125 4778599 0 1921 28 34 27 12.60/12.73 c 4830 40450 2696455 4786153 0 1925 21 37 27 12.60/12.75 c 4840 40524 2701346 4795672 0 1926 37 52 37 12.60/12.78 c 4850 40633 2708099 4807910 0 1930 29 54 35 12.70/12.81 c 4860 40684 2712998 4817548 0 1936 20 38 21 12.70/12.83 c 4870 40768 2718405 4827147 0 1941 26 45 33 12.70/12.86 c 4880 40836 2724732 4837665 0 1948 29 45 33 12.70/12.89 c 4890 40927 2732718 4851162 0 1951 25 46 31 12.80/12.92 c 4900 40987 2737956 4860614 0 1957 19 34 26 12.80/12.94 c 4910 41049 2742114 4868359 0 1958 37 44 37 12.80/12.96 c 4920 41107 2746183 4875638 0 1961 30 35 30 12.80/13.00 c 4930 41197 2753032 4888410 0 1965 18 37 24 12.91/13.03 c 4940 41262 2758957 4898147 0 1968 29 37 28 12.91/13.05 c 4950 41354 2765323 4908864 0 1973 29 52 34 12.91/13.09 c 4960 41483 2772369 4921221 0 1977 27 45 33 13.01/13.11 c 4970 41534 2777118 4929896 0 1982 19 30 23 13.01/13.13 c 4980 41605 2781783 4938116 0 1986 23 40 30 13.01/13.16 c 4990 41677 2786964 4946975 0 1990 33 39 31 13.10/13.21 c 5035 41941 2805255 4976741 0 1999 23 48 34 13.70/13.80 c 5631 44753 3034493 5343411 0 2020 16 48 32 14.40/14.54 c 6286 48627 3295950 5787589 0 2026 16 51 32 15.10/15.28 c 7006 52117 3575875 6242466 0 2037 17 50 34 16.01/16.16 c 7798 56303 3899355 6790038 0 2056 16 51 33 16.91/17.06 c 8669 61026 4242331 7357518 0 2070 22 50 36 17.91/18.07 c 9627 65937 4620780 7977316 0 2086 20 47 34 18.91/19.08 c 10680 70956 5005780 8617601 0 2095 19 54 35 20.10/20.24 c 11838 76763 5462465 9356461 0 2115 16 54 34 21.50/21.60 c 13111 83806 5952076 10201010 0 2131 18 53 35 22.91/23.04 c 14511 91805 6475747 11105231 0 2144 16 54 36 24.50/24.65 c 16051 101834 7098629 12111700 0 2163 16 54 37 26.20/26.32 c 17745 111903 7755812 13188839 0 2176 22 53 39 28.30/28.40 c 19608 123049 8535104 14482291 0 2191 16 53 35 30.50/30.64 c 21657 134881 9365606 15851975 0 2219 16 53 34 33.01/33.13 c 23910 148892 10296355 17382372 0 2235 11 54 36 35.60/35.77 c 26388 164177 11298816 19016998 0 2246 16 54 36 38.30/38.47 c 29113 181419 12391009 20744175 0 2256 16 60 39 41.70/41.84 c 32110 199227 13618260 22833223 0 2280 16 53 35 45.10/45.26 c 35406 219792 14910165 24992820 0 2289 16 55 36 49.30/49.43 c 39031 245019 16472175 27561626 0 2300 16 54 37 53.20/53.37 c 43018 268305 18020952 30063718 0 2313 16 54 36 58.10/58.21 c 47403 297646 19843091 33057259 0 2329 16 55 36 62.80/62.99 c 52226 331957 21656615 35992372 0 2340 16 63 38 68.61/68.71 c 57531 366788 23828007 39573216 0 2355 16 58 37 74.41/74.58 c 63366 402534 26182471 43248302 0 2372 16 55 36 80.71/80.86 c 69784 440586 28622034 47179565 0 2389 16 57 35 87.71/87.88 c 76843 481189 31332430 51608891 0 2403 15 57 36 94.71/94.83 c 84607 525724 34195696 56173118 0 2417 16 53 33 104.11/104.21 c 93147 584439 37726239 61938940 0 2440 16 58 37 113.71/113.87 c 102541 645129 41649914 68007150 0 2466 16 59 37 123.61/123.74 c 112874 709961 45571443 74241035 0 2492 16 60 35 135.92/136.02 c 124240 776879 50036331 81796115 0 2508 16 59 34 147.51/147.63 c solution 1 147.51/147.63 147.51/147.63 v <instantiation type='solution'> 147.51/147.63 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] y[25] y[26] y[27] y[28] y[29] y[30] y[31] y[32] y[33] y[34] y[35] y[36] y[37] y[38] y[39] y[40] y[41] y[42] y[43] y[44] y[45] y[46] y[47] y[48] y[49] y[50] y[51] y[52] y[53] y[54] y[55] y[56] y[57] y[58] y[59] y[60] y[61] y[62] y[63] y[64] y[65] y[66] y[67] y[68] y[69] y[70] y[71] y[72] y[73] y[74] y[75] y[76] y[77] y[78] y[79] y[80] y[81] y[82] y[83] y[84] y[85] y[86] y[87] y[88] y[89] y[90] y[91] y[92] y[93] y[94] y[95] y[96] y[97] y[98] y[99] y[100] y[101] y[102] y[103] y[104] y[105] y[106] y[107] y[108] y[109] y[110] y[111] y[112] y[113] y[114] y[115] y[116] </list> 147.51/147.63 v <values>8 14 9 6 13 4 2 1 16 10 3 5 15 7 11 12 -6 5 3 -7 9 2 1 -15 6 7 -2 -10 8 -4 -1 -1 8 -4 2 11 3 -14 -9 13 5 -12 -2 4 -5 2 1 5 4 12 -12 -8 -2 11 -5 -4 -6 3 -5 10 7 5 -3 -6 -1 -4 1 3 -8 -7 4 12 8 -10 3 1 -3 -14 9 -1 -9 6 13 -7 -4 10 -1 -13 -6 5 -2 7 -2 -1 3 8 -11 -5 -10 4 -8 4 6 1 -2 -3 -9 -11 -2 11 4 -9 6 -7 -10 5 9 -6 -1 2 -8 3 -1 2 -5 1 -7 7 -2 -6 1 3 -3 </values> 147.51/147.63 v </instantiation> 147.51/147.63 147.51/147.63 c restarts : 550 147.51/147.63 c conflicts : 134747 (913 /sec) 147.51/147.63 c decisions : 848939 (5753 /sec) 147.51/147.63 c propagations : 89038856 (603436 /sec) 147.51/147.63 c root propagations : 0 147.51/147.63 c filter calls : 54585036 (369935 /sec) 147.51/147.63 c useless filter calls : 17819758 (32 %) 147.51/147.63 c 147.51/147.63 c clauses : 55472 147.51/147.63 c SAT propagations : 6085 147.51/147.63 c SAT conflicts : 0 (0 learnts) 147.51/147.63 c Memory used : 33.93 MB 147.51/147.63 c CPU time : 147.553 s 147.51/147.63 147.51/147.63 s SATISFIABLE
OK
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 (15031 MiB free)
memory of node 1: 16384 MiB (15306 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266020-1502568610/watcher-4266020-1502568610 -o /tmp/evaluation-result-4266020-1502568610/solver-4266020-1502568610 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502565190-8354 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266020-1502568610.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=8882, runsolver pid=8879
[startup+0.100151 s]*
/proc/loadavg: 2.16 2.03 1.88 3/186 8883
/proc/meminfo: memFree=31066064/32770624 swapFree=67108860/67108860
[pid=8882] ppid=8879 vsize=27380 memory=3848 CPUtime=0.01 cores=1,3,5,7
/proc/8882/stat : 8882 (cosoco) R 8879 8882 8289 0 -1 4202496 1129 0 0 0 1 0 0 0 20 0 1 0 104676200 28037120 962 18446744073709551615 4194304 5972588 140722139364160 140722139360808 140484079635429 0 0 1 0 0 0 0 17 5 0 0 9 0 0 8070896 8075904 21266432 140722139365828 140722139365928 140722139365928 140722139369422 0
/proc/8882/statm: 6845 962 792 435 0 208 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 27380 KiB
Current children cumulated memory: 3848 KiB
[startup+0.20933 s]*
/proc/loadavg: 2.16 2.03 1.88 3/186 8883
/proc/meminfo: memFree=31065692/32770624 swapFree=67108860/67108860
[pid=8882] ppid=8879 vsize=27624 memory=4088 CPUtime=0.12 cores=1,3,5,7
/proc/8882/stat : 8882 (cosoco) R 8879 8882 8289 0 -1 4202496 1210 0 0 0 12 0 0 0 20 0 1 0 104676200 28286976 1022 18446744073709551615 4194304 5972588 140722139364160 140722139360808 140484079635429 0 0 1 0 0 0 0 17 5 0 0 9 0 0 8070896 8075904 21266432 140722139365828 140722139365928 140722139365928 140722139369422 0
/proc/8882/statm: 6906 1022 792 435 0 269 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4088 KiB
[startup+0.309118 s]*
/proc/loadavg: 2.16 2.03 1.88 3/186 8883
/proc/meminfo: memFree=31060916/32770624 swapFree=67108860/67108860
[pid=8882] ppid=8879 vsize=34500 memory=9056 CPUtime=0.22 cores=1,3,5,7
/proc/8882/stat : 8882 (cosoco) R 8879 8882 8289 0 -1 4202496 1962 0 0 0 22 0 0 0 20 0 1 0 104676200 35328000 2264 18446744073709551615 4194304 5972588 140722139364160 140722139360808 140484080073824 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 21266432 140722139365828 140722139365928 140722139365928 140722139369422 0
/proc/8882/statm: 8625 2264 834 435 0 1988 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 34500 KiB
Current children cumulated memory: 9056 KiB
[startup+0.700272 s]
/proc/loadavg: 2.16 2.03 1.88 3/186 8883
/proc/meminfo: memFree=31060916/32770624 swapFree=67108860/67108860
[pid=8882] ppid=8879 vsize=34500 memory=9056 CPUtime=0.6 cores=1,3,5,7
/proc/8882/stat : 8882 (cosoco) R 8879 8882 8289 0 -1 4202496 1977 0 0 0 60 0 0 0 20 0 1 0 104676200 35328000 2264 18446744073709551615 4194304 5972588 140722139364160 140722139360808 5071767 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 21266432 140722139365828 140722139365928 140722139365928 140722139369422 0
/proc/8882/statm: 8625 2264 834 435 0 1988 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 34500 KiB
Current children cumulated memory: 9056 KiB
[startup+1.50026 s]
/proc/loadavg: 2.16 2.03 1.88 3/186 8883
/proc/meminfo: memFree=31060564/32770624 swapFree=67108860/67108860
[pid=8882] ppid=8879 vsize=34500 memory=9056 CPUtime=1.4 cores=1,3,5,7
/proc/8882/stat : 8882 (cosoco) R 8879 8882 8289 0 -1 4202496 1977 0 0 0 140 0 0 0 20 0 1 0 104676200 35328000 2264 18446744073709551615 4194304 5972588 140722139364160 140722139361464 5071744 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 21266432 140722139365828 140722139365928 140722139365928 140722139369422 0
/proc/8882/statm: 8625 2264 834 435 0 1988 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 34500 KiB
Current children cumulated memory: 9056 KiB
[startup+3.10904 s]
/proc/loadavg: 2.06 2.01 1.88 3/186 8883
/proc/meminfo: memFree=31060564/32770624 swapFree=67108860/67108860
[pid=8882] ppid=8879 vsize=34500 memory=9324 CPUtime=3.01 cores=1,3,5,7
/proc/8882/stat : 8882 (cosoco) R 8879 8882 8289 0 -1 4202496 2726 0 0 0 301 0 0 0 20 0 1 0 104676200 35328000 2331 18446744073709551615 4194304 5972588 140722139364160 140722139361464 5071837 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 21266432 140722139365828 140722139365928 140722139365928 140722139369422 0
/proc/8882/statm: 8625 2331 838 435 0 1988 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 34500 KiB
Current children cumulated memory: 9324 KiB
[startup+6.30026 s]
/proc/loadavg: 2.06 2.01 1.88 3/186 8883
/proc/meminfo: memFree=31060472/32770624 swapFree=67108860/67108860
[pid=8882] ppid=8879 vsize=34500 memory=9348 CPUtime=6.2 cores=1,3,5,7
/proc/8882/stat : 8882 (cosoco) R 8879 8882 8289 0 -1 4202496 3533 0 0 0 620 0 0 0 20 0 1 0 104676200 35328000 2337 18446744073709551615 4194304 5972588 140722139364160 140722139361464 5053038 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 21266432 140722139365828 140722139365928 140722139365928 140722139369422 0
/proc/8882/statm: 8625 2337 838 435 0 1988 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 34500 KiB
Current children cumulated memory: 9348 KiB
[startup+12.7003 s]
/proc/loadavg: 2.06 2.01 1.88 3/186 8884
/proc/meminfo: memFree=31060472/32770624 swapFree=67108860/67108860
[pid=8882] ppid=8879 vsize=34736 memory=9384 CPUtime=12.6 cores=1,3,5,7
/proc/8882/stat : 8882 (cosoco) R 8879 8882 8289 0 -1 4202496 4331 0 0 0 1260 0 0 0 20 0 1 0 104676200 35569664 2346 18446744073709551615 4194304 5972588 140722139364160 140722139361464 5099648 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 21266432 140722139365828 140722139365928 140722139365928 140722139369422 0
/proc/8882/statm: 8684 2346 838 435 0 2047 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 34736 KiB
Current children cumulated memory: 9384 KiB
[startup+25.5003 s]
/proc/loadavg: 2.05 2.01 1.88 3/186 8884
/proc/meminfo: memFree=31060356/32770624 swapFree=67108860/67108860
[pid=8882] ppid=8879 vsize=34736 memory=9412 CPUtime=25.4 cores=1,3,5,7
/proc/8882/stat : 8882 (cosoco) R 8879 8882 8289 0 -1 4202496 5792 0 0 0 2540 0 0 0 20 0 1 0 104676200 35569664 2353 18446744073709551615 4194304 5972588 140722139364160 140722139361464 5322130 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 21266432 140722139365828 140722139365928 140722139365928 140722139369422 0
/proc/8882/statm: 8684 2353 838 435 0 2047 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 34736 KiB
Current children cumulated memory: 9412 KiB
[startup+51.1089 s]
/proc/loadavg: 2.03 2.01 1.88 3/185 8884
/proc/meminfo: memFree=31060124/32770624 swapFree=67108860/67108860
[pid=8882] ppid=8879 vsize=34736 memory=9424 CPUtime=51.01 cores=1,3,5,7
/proc/8882/stat : 8882 (cosoco) R 8879 8882 8289 0 -1 4202496 6615 0 0 0 5101 0 0 0 20 0 1 0 104676200 35569664 2356 18446744073709551615 4194304 5972588 140722139364160 140722139361464 4965303 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 21266432 140722139365828 140722139365928 140722139365928 140722139369422 0
/proc/8882/statm: 8684 2356 838 435 0 2047 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 34736 KiB
Current children cumulated memory: 9424 KiB
[startup+102.3 s]
/proc/loadavg: 2.01 2.01 1.89 3/186 8887
/proc/meminfo: memFree=31059740/32770624 swapFree=67108860/67108860
[pid=8882] ppid=8879 vsize=34736 memory=9432 CPUtime=102.21 cores=1,3,5,7
/proc/8882/stat : 8882 (cosoco) R 8879 8882 8289 0 -1 4202496 7392 0 0 0 10221 0 0 0 20 0 1 0 104676200 35569664 2358 18446744073709551615 4194304 5972588 140722139364160 140722139361464 4909639 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 21266432 140722139365828 140722139365928 140722139365928 140722139369422 0
/proc/8882/statm: 8684 2358 838 435 0 2047 0
Current children cumulated CPU time: 102.21 s
Current children cumulated vsize: 34736 KiB
Current children cumulated memory: 9432 KiB
[startup+147.637 s]
# the end of solver process 8882 was just reported to runsolver
# cumulated CPU time of all completed processes: user=147.553 s, system=0.005 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 2.01 2.01 1.89 3/186 8887
/proc/meminfo: memFree=31059740/32770624 swapFree=67108860/67108860
[pid=8882] ppid=8879 vsize=34736 memory=9432 CPUtime=102.31 cores=1,3,5,7
/proc/8882/stat : 8882 (cosoco) R 8879 8882 8289 0 -1 4202496 7392 0 0 0 10231 0 0 0 20 0 1 0 104676200 35569664 2358 18446744073709551615 4194304 5972588 140722139364160 140722139361464 5071769 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 21266432 140722139365828 140722139365928 140722139365928 140722139369422 0
/proc/8882/statm: 8684 2358 838 435 0 2047 0
Current children cumulated CPU time: 102.31 s
Current children cumulated vsize: 34736 KiB
Current children cumulated memory: 9432 KiB
[startup+128 s]*
/proc/loadavg: 2.01 2.01 1.89 3/186 8889
/proc/meminfo: memFree=31058612/32770624 swapFree=67108860/67108860
[pid=8882] ppid=8879 vsize=34736 memory=9444 CPUtime=127.92 cores=1,3,5,7
/proc/8882/stat : 8882 (cosoco) R 8879 8882 8289 0 -1 4202496 8156 0 0 0 12792 0 0 0 20 0 1 0 104676200 35569664 2361 18446744073709551615 4194304 5972588 140722139364160 140722139361464 4968704 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 21266432 140722139365828 140722139365928 140722139365928 140722139369422 0
/proc/8882/statm: 8684 2361 838 435 0 2047 0
Current children cumulated CPU time: 127.92 s
Current children cumulated vsize: 34736 KiB
Current children cumulated memory: 9444 KiB
[startup+140.8 s]
/proc/loadavg: 2.01 2.01 1.89 3/186 8890
/proc/meminfo: memFree=31058812/32770624 swapFree=67108860/67108860
[pid=8882] ppid=8879 vsize=34736 memory=9444 CPUtime=140.71 cores=1,3,5,7
/proc/8882/stat : 8882 (cosoco) R 8879 8882 8289 0 -1 4202496 8165 0 0 0 14071 0 0 0 20 0 1 0 104676200 35569664 2361 18446744073709551615 4194304 5972588 140722139364160 140722139361464 5099648 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 21266432 140722139365828 140722139365928 140722139365928 140722139369422 0
/proc/8882/statm: 8684 2361 838 435 0 2047 0
Current children cumulated CPU time: 140.71 s
Current children cumulated vsize: 34736 KiB
Current children cumulated memory: 9444 KiB
[startup+144 s]*
/proc/loadavg: 2.01 2.01 1.89 3/186 8890
/proc/meminfo: memFree=31058688/32770624 swapFree=67108860/67108860
[pid=8882] ppid=8879 vsize=34736 memory=9444 CPUtime=143.92 cores=1,3,5,7
/proc/8882/stat : 8882 (cosoco) R 8879 8882 8289 0 -1 4202496 8165 0 0 0 14392 0 0 0 20 0 1 0 104676200 35569664 2361 18446744073709551615 4194304 5972588 140722139364160 140722139361464 4968704 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 21266432 140722139365828 140722139365928 140722139365928 140722139369422 0
/proc/8882/statm: 8684 2361 838 435 0 2047 0
Current children cumulated CPU time: 143.92 s
Current children cumulated vsize: 34736 KiB
Current children cumulated memory: 9444 KiB
[startup+145.6 s]
/proc/loadavg: 2.01 2.01 1.89 3/186 8890
/proc/meminfo: memFree=31058696/32770624 swapFree=67108860/67108860
[pid=8882] ppid=8879 vsize=34736 memory=9444 CPUtime=145.51 cores=1,3,5,7
/proc/8882/stat : 8882 (cosoco) R 8879 8882 8289 0 -1 4202496 8165 0 0 0 14551 0 0 0 20 0 1 0 104676200 35569664 2361 18446744073709551615 4194304 5972588 140722139364160 140722139361464 4909624 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 21266432 140722139365828 140722139365928 140722139365928 140722139369422 0
/proc/8882/statm: 8684 2361 838 435 0 2047 0
Current children cumulated CPU time: 145.51 s
Current children cumulated vsize: 34736 KiB
Current children cumulated memory: 9444 KiB
[startup+146.4 s]
/proc/loadavg: 2.01 2.01 1.89 3/186 8890
/proc/meminfo: memFree=31058696/32770624 swapFree=67108860/67108860
[pid=8882] ppid=8879 vsize=34736 memory=9444 CPUtime=146.31 cores=1,3,5,7
/proc/8882/stat : 8882 (cosoco) R 8879 8882 8289 0 -1 4202496 8165 0 0 0 14631 0 0 0 20 0 1 0 104676200 35569664 2361 18446744073709551615 4194304 5972588 140722139364160 140722139361464 5053097 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 21266432 140722139365828 140722139365928 140722139365928 140722139369422 0
/proc/8882/statm: 8684 2361 838 435 0 2047 0
Current children cumulated CPU time: 146.31 s
Current children cumulated vsize: 34736 KiB
Current children cumulated memory: 9444 KiB
[startup+147.2 s]
/proc/loadavg: 2.01 2.01 1.89 3/186 8890
/proc/meminfo: memFree=31058696/32770624 swapFree=67108860/67108860
[pid=8882] ppid=8879 vsize=34736 memory=9444 CPUtime=147.11 cores=1,3,5,7
/proc/8882/stat : 8882 (cosoco) R 8879 8882 8289 0 -1 4202496 8165 0 0 0 14711 0 0 0 20 0 1 0 104676200 35569664 2361 18446744073709551615 4194304 5972588 140722139364160 140722139361464 5139329 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 21266432 140722139365828 140722139365928 140722139365928 140722139369422 0
/proc/8882/statm: 8684 2361 838 435 0 2047 0
Current children cumulated CPU time: 147.11 s
Current children cumulated vsize: 34736 KiB
Current children cumulated memory: 9444 KiB
[startup+147.6 s]
/proc/loadavg: 2.01 2.01 1.89 3/186 8890
/proc/meminfo: memFree=31058696/32770624 swapFree=67108860/67108860
[pid=8882] ppid=8879 vsize=34736 memory=9444 CPUtime=147.51 cores=1,3,5,7
/proc/8882/stat : 8882 (cosoco) R 8879 8882 8289 0 -1 4202496 8165 0 0 0 14751 0 0 0 20 0 1 0 104676200 35569664 2361 18446744073709551615 4194304 5972588 140722139364160 140722139361464 4909657 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 21266432 140722139365828 140722139365928 140722139365928 140722139369422 0
/proc/8882/statm: 8684 2361 838 435 0 2047 0
Current children cumulated CPU time: 147.51 s
Current children cumulated vsize: 34736 KiB
Current children cumulated memory: 9444 KiB
Child status: 0
Real time (s): 147.637
CPU time (s): 147.558
CPU user time (s): 147.553
CPU system time (s): 0.005
CPU usage (%): 99.9465
Max. virtual memory (cumulated for all children) (KiB): 34736
Max. memory (cumulated for all children) (KiB): 9444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 147.553
system time used= 0.005
maximum resident set size= 9528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8231
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= 6
involuntary context switches= 74
# summary of solver processes directly reported to runsolver:
# pid: 8882
# total CPU time (s): 147.558
# total CPU user time (s): 147.553
# total CPU system time (s): 0.005
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.51244 second user time and 1.03149 second system time
The end
Begin job on node133 at 2017-08-12 21:56:02 IDJOB=4266020 IDBENCH=120412 IDSOLVER=2655 FILE ID=node133/4266020-1502568610 RUNJOBID= node133-1502565190-8354 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/CostasArray/CostasArray-m1-s1/CostasArray-16.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266020-1502568610/watcher-4266020-1502568610 -o /tmp/evaluation-result-4266020-1502568610/solver-4266020-1502568610 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502565190-8354 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266020-1502568610.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 77b4627333bb7848badb46745d4d3b00 RANDOM SEED=1867042045 node133.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.17 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.17 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.17 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.17 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: 31066168 kB MemAvailable: 31969372 kB Buffers: 308072 kB Cached: 896480 kB SwapCached: 0 kB Active: 765548 kB Inactive: 504236 kB Active(anon): 65688 kB Inactive(anon): 41304 kB Active(file): 699860 kB Inactive(file): 462932 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2500 kB Writeback: 20 kB AnonPages: 157704 kB Mapped: 56836 kB Shmem: 41660 kB Slab: 139652 kB SReclaimable: 112496 kB SUnreclaim: 27156 kB KernelStack: 3408 kB PageTables: 4620 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 346376 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 104448 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 62028 MiB End job on node133 at 2017-08-12 21:58:30