| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| R1: cosoco-sat 1.1 | SAT | 1.22716 | 1.228 |
| Name | MagicSquare/MagicSquare-m1-gp/ MagicSquare-9-f50-19.xml |
| MD5SUM | b7fb7dcafefa376b1b73f285fdc4e3bd |
| 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 | 0.27159199 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 81 |
| Number of constraints | 22 |
| Number of domains | 1 |
| Minimum domain size | 81 |
| Maximum domain size | 81 |
| Distribution of domain sizes | [{"size":81,"count":81}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 5 |
| Distribution of variable degrees | [{"degree":3,"count":34},{"degree":4,"count":39},{"degree":5,"count":8}] |
| Minimum constraint arity | 9 |
| Maximum constraint arity | 81 |
| Distribution of constraint arities | [{"arity":9,"count":20},{"arity":37,"count":1},{"arity":81,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"allDifferent","count":1},{"type":"sum","count":20},{"type":"instantiation","count":1}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.04 c SAT : Variables: 6561 -- Clauses: 262521 0.00/0.04 c root propagations : 261 0.00/0.04 c restarts enabled, print stats at every restarts 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c This is cosoco 1.0 -- 0.00/0.04 c 0.00/0.04 c ========================================[ Problem Statistics ]=========================================== 0.00/0.04 c | 0.00/0.04 c | Parse time : 0.03 s 0.00/0.04 c | 0.00/0.04 c | Variables: 81 0.00/0.04 c | Domain Sizes: 81..81 0.00/0.04 c | 0.00/0.04 c | Constraints: 58 0.00/0.04 c | Arity: 1..81 -- Unary: 37 0.00/0.04 c | 0.00/0.04 c | Types: 0.00/0.04 c | All Different: 1 0.00/0.04 c | Sum: 20 0.00/0.04 c | Unary: 37 0.00/0.04 c | 0.00/0.04 c ========================================================================================================= 0.00/0.04 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.04 c 10 71 863 5387 81 10 40 60 46 0.00/0.04 c 20 130 1312 8037 81 18 45 49 43 0.00/0.05 c 30 198 1895 11582 81 27 42 58 44 0.00/0.05 c 40 265 2622 17755 81 35 47 54 44 0.00/0.06 c 50 322 3072 22239 81 42 41 47 41 0.00/0.06 c 60 379 3488 24623 81 52 41 48 41 0.00/0.06 c 70 483 4228 29117 81 60 1 57 39 0.00/0.07 c 80 546 5024 35813 81 70 45 53 44 0.00/0.07 c 90 602 5448 38888 81 80 41 47 41 0.00/0.07 c 100 675 6292 42497 81 84 46 59 51 0.00/0.07 c 101 716 6512 43037 81 85 41 41 20 0.00/0.08 c 110 772 6909 46224 81 94 41 48 41 0.00/0.08 c 120 864 7508 51180 81 102 1 45 34 0.00/0.08 c 130 921 8197 57685 81 110 45 46 41 0.00/0.09 c 140 979 8666 60358 81 117 48 48 43 0.00/0.09 c 150 1036 9367 67964 81 126 39 46 40 0.00/0.09 c 160 1101 10089 73043 81 135 50 53 47 0.09/0.10 c 170 1156 10682 80523 81 145 45 46 41 0.09/0.10 c 180 1213 11142 86125 81 150 45 46 41 0.09/0.10 c 190 1268 11735 93605 81 160 45 46 41 0.09/0.11 c 200 1329 12441 98859 81 166 46 49 43 0.09/0.11 c 210 1411 13237 103066 81 173 47 67 46 0.09/0.11 c 211 1458 13555 104344 81 174 47 47 23 0.09/0.12 c 220 1513 14315 109507 81 177 46 46 41 0.09/0.12 c 230 1574 14958 114165 81 181 46 49 43 0.09/0.12 c 240 1630 15540 118544 81 189 46 46 41 0.09/0.13 c 250 1687 15963 121534 81 194 47 48 43 0.09/0.13 c 260 1782 16820 127562 81 199 1 47 36 0.09/0.13 c 270 1840 17291 130522 81 203 48 48 43 0.09/0.14 c 280 1896 18002 138264 81 212 45 46 41 0.09/0.14 c 290 1955 18796 145050 81 220 45 46 41 0.09/0.14 c 300 2014 19314 148412 81 226 48 49 43 0.09/0.14 c 310 2072 19929 152517 81 228 46 49 44 0.09/0.15 c 320 2127 20535 160525 81 238 45 46 41 0.09/0.15 c 330 2184 21115 166541 81 243 45 46 41 0.09/0.15 c 332 2231 21419 167788 81 244 46 46 30 0.09/0.15 c 340 2287 21972 171473 81 252 46 49 43 0.09/0.16 c 350 2348 22640 176121 81 257 47 50 43 0.09/0.16 c 360 2409 23202 181248 81 258 52 52 47 0.09/0.16 c 370 2493 24093 186434 81 265 44 70 48 0.09/0.16 c 380 2554 24659 189854 81 275 46 52 45 0.09/0.17 c 390 2609 25220 195872 81 285 45 46 41 0.09/0.17 c 400 2692 26210 200949 81 294 50 70 53 0.09/0.17 c 410 2748 26609 204221 81 304 46 47 42 0.09/0.17 c 420 2804 27004 207417 81 314 46 47 42 0.09/0.18 c 430 2866 27543 210665 81 321 47 50 43 0.09/0.18 c 440 2924 27989 213139 81 328 47 48 43 0.09/0.18 c 450 2995 28563 215332 81 332 47 53 46 0.09/0.18 c 460 3050 28937 218243 81 342 45 46 41 0.09/0.18 c 465 3111 29430 220031 81 345 48 53 43 0.09/0.18 c 470 3162 29801 221851 81 347 46 47 39 0.09/0.19 c 480 3217 30145 224692 81 357 45 46 41 0.09/0.19 c 490 3272 30519 227601 81 367 45 46 41 0.09/0.19 c 500 3329 30913 230273 81 371 45 47 42 0.09/0.19 c 510 3386 31320 232940 81 375 45 47 42 0.09/0.19 c 520 3442 31665 234214 81 385 46 47 42 0.09/0.19 c 530 3497 32039 237121 81 395 45 46 41 0.09/0.19 c 540 3555 32435 239494 81 401 45 47 42 0.19/0.20 c 550 3612 32956 244435 81 411 47 48 42 0.19/0.20 c 560 3677 33714 248001 81 421 46 53 45 0.19/0.20 c 570 3735 34264 252036 81 431 48 49 43 0.19/0.20 c 580 3798 34938 257628 81 441 51 52 46 0.19/0.21 c 590 3857 35706 262488 81 451 46 49 42 0.19/0.21 c 600 3924 36737 268137 81 460 50 53 47 0.19/0.21 c 610 3981 37250 273169 81 470 47 48 42 0.19/0.21 c 611 4020 37423 273411 81 471 39 39 19 0.19/0.22 c 620 4097 38152 278285 81 479 39 68 45 0.19/0.22 c 630 4153 38650 284081 81 487 45 46 41 0.19/0.22 c 640 4214 39671 292894 81 493 45 49 42 0.19/0.23 c 650 4281 40406 296449 81 499 50 54 47 0.19/0.23 c 660 4339 40854 300124 81 505 46 46 41 0.19/0.23 c 670 4397 41570 304880 81 514 46 49 42 0.19/0.23 c 680 4460 42308 309381 81 516 48 51 44 0.19/0.24 c 690 4524 42926 313471 81 526 45 55 45 0.19/0.24 c 700 4582 43935 321432 81 527 46 47 42 0.19/0.24 c 710 4638 44574 325984 81 533 46 46 41 0.19/0.25 c 720 4711 45417 329179 81 538 51 55 48 0.19/0.25 c 730 4793 46396 334250 81 545 50 73 54 0.19/0.25 c 740 4855 47002 338281 81 553 46 53 45 0.19/0.26 c 750 4931 47678 342597 81 562 46 66 51 0.19/0.26 c 760 4987 48077 345866 81 572 46 47 42 0.19/0.26 c 770 5043 48472 349064 81 582 46 47 42 0.19/0.26 c 771 5093 48831 350483 81 583 50 50 25 0.19/0.26 c 780 5151 49314 354462 81 590 45 49 42 0.19/0.27 c 790 5214 49894 357960 81 599 46 53 45 0.19/0.27 c 800 5270 50536 362463 81 607 46 46 41 0.19/0.27 c 810 5341 51573 369319 81 611 50 53 46 0.19/0.27 c 820 5401 52148 372527 81 615 49 49 44 0.19/0.28 c 830 5472 52847 376275 81 624 53 56 49 0.19/0.28 c 840 5528 53618 381491 81 628 46 46 41 0.19/0.28 c 850 5594 54506 386088 81 630 50 53 46 0.19/0.29 c 860 5655 55261 390902 81 635 48 50 43 0.19/0.29 c 870 5728 55853 395767 81 645 45 64 53 0.19/0.29 c 880 5784 56252 399097 81 655 46 47 42 0.19/0.29 c 890 5842 56698 401571 81 662 47 48 43 0.19/0.30 c 900 5902 57212 404300 81 670 47 50 43 0.29/0.30 c 910 5965 57672 406340 81 674 47 50 45 0.29/0.30 c 920 6021 58071 409663 81 684 46 47 42 0.29/0.30 c 930 6088 58690 413142 81 685 47 50 45 0.29/0.30 c 940 6143 59034 415979 81 695 45 46 41 0.29/0.30 c 947 6195 59371 418754 81 702 45 46 39 0.29/0.30 c 950 6244 59672 419751 81 705 46 47 35 0.29/0.31 c 960 6299 60020 422636 81 715 45 46 41 0.29/0.31 c 970 6356 60442 424609 81 716 46 47 42 0.29/0.31 c 980 6414 60850 427956 81 723 45 47 41 0.29/0.31 c 990 6479 61606 432154 81 729 48 51 44 0.29/0.31 c 1000 6538 62190 435484 81 736 49 49 44 0.29/0.32 c 1010 6606 62877 438671 81 743 46 58 47 0.29/0.32 c 1020 6679 63603 442455 81 753 41 64 50 0.29/0.32 c 1030 6734 63951 445344 81 763 45 46 41 0.29/0.32 c 1040 6790 64339 446706 81 773 46 47 42 0.29/0.32 c 1050 6847 64759 449379 81 777 45 47 42 0.29/0.33 c 1060 6904 65151 452268 81 783 45 47 41 0.29/0.33 c 1070 6960 65496 453542 81 793 46 47 42 0.29/0.33 c 1080 7016 65865 454879 81 803 46 47 42 0.29/0.33 c 1090 7074 66265 456826 81 809 46 47 42 0.29/0.33 c 1100 7144 67121 461729 81 815 48 53 45 0.29/0.34 c 1110 7213 67805 466309 81 825 54 60 50 0.29/0.34 c 1120 7273 68370 471351 81 835 41 51 43 0.29/0.34 c 1130 7350 69423 476737 81 844 51 64 48 0.29/0.35 c 1140 7425 70339 480928 81 848 56 59 52 0.29/0.35 c 1141 7472 70647 481936 81 849 47 47 23 0.29/0.35 c 1150 7527 71010 483673 81 857 46 47 41 0.29/0.35 c 1160 7584 71448 485882 81 866 46 47 42 0.29/0.35 c 1170 7642 71879 488373 81 873 45 47 42 0.29/0.35 c 1180 7725 72621 492323 81 877 57 70 60 0.29/0.36 c 1190 7782 73021 494553 81 886 46 47 42 0.29/0.36 c 1200 7839 73447 497238 81 890 45 47 42 0.29/0.36 c 1210 7897 73873 499272 81 894 47 47 42 0.29/0.36 c 1220 7953 74242 500609 81 904 46 47 42 0.29/0.36 c 1230 8011 74652 502627 81 907 47 47 42 0.29/0.36 c 1240 8069 75086 505105 81 913 45 47 42 0.29/0.37 c 1250 8157 75990 510790 81 918 64 70 61 0.29/0.37 c 1260 8217 76588 516201 81 928 44 51 45 0.29/0.37 c 1270 8273 77283 521578 81 937 46 46 41 0.29/0.38 c 1280 8338 78034 525012 81 946 52 54 48 0.29/0.38 c 1290 8413 78753 528911 81 955 45 65 52 0.29/0.38 c 1300 8478 79386 531835 81 964 46 55 46 0.29/0.38 c 1310 8534 80070 536938 81 973 46 46 41 0.29/0.39 c 1320 8609 81024 541925 81 982 52 64 48 0.29/0.39 c 1330 8675 81697 545135 81 989 46 56 47 0.29/0.39 c 1340 8748 82596 549949 81 990 64 64 58 0.39/0.40 c 1350 8811 83777 559623 81 1000 46 49 42 0.39/0.40 c 1352 8858 84095 560978 81 1002 46 46 30 0.39/0.40 c 1360 8936 84943 565906 81 1005 64 69 59 0.39/0.41 c 1370 9003 85792 570665 81 1010 53 56 49 0.39/0.41 c 1380 9059 86480 576092 81 1018 46 46 41 0.39/0.41 c 1390 9145 87467 580737 81 1025 53 71 59 0.39/0.42 c 1400 9211 88123 583908 81 1032 46 56 47 0.39/0.42 c 1410 9301 89176 590359 81 1038 58 64 57 0.39/0.42 c 1420 9361 89789 596471 81 1048 44 51 45 0.39/0.43 c 1430 9421 90757 604270 81 1055 46 49 42 0.39/0.43 c 1440 9503 91664 608514 81 1062 54 71 57 0.39/0.43 c 1450 9565 92234 612549 81 1070 46 53 45 0.39/0.44 c 1460 9640 92944 616535 81 1078 49 66 56 0.39/0.44 c 1470 9698 93360 618352 81 1086 46 47 42 0.39/0.44 c 1480 9755 93776 620630 81 1095 46 47 42 0.39/0.44 c 1490 9812 94180 622367 81 1102 46 47 42 0.39/0.45 c 1500 9890 94946 628624 81 1112 64 69 59 0.39/0.45 c 1510 9948 95368 630649 81 1116 47 47 42 0.39/0.45 c 1520 10006 95800 632716 81 1120 47 47 42 0.39/0.45 c 1530 10064 96227 634548 81 1128 46 47 42 0.39/0.45 c 1540 10122 96655 636380 81 1136 46 47 42 0.39/0.45 c 1550 10179 97058 638599 81 1145 46 47 42 0.39/0.45 c 1560 10236 97461 640818 81 1154 46 47 42 0.39/0.46 c 1570 10294 97870 642637 81 1162 47 47 42 0.39/0.46 c 1580 10352 98279 644456 81 1170 47 47 42 0.39/0.46 c 1585 10404 98636 645872 81 1174 47 47 39 0.39/0.46 c 1590 10456 98993 647288 81 1178 47 47 39 0.39/0.46 c 1600 10513 99390 650109 81 1186 45 47 41 0.39/0.46 c 1610 10593 100103 653468 81 1189 65 70 62 0.39/0.47 c 1620 10650 100508 655656 81 1198 46 47 42 0.39/0.47 c 1630 10707 100915 657887 81 1207 46 47 42 0.39/0.47 c 1640 10774 101651 661791 81 1210 47 56 49 0.39/0.47 c 1650 10836 102315 665785 81 1220 48 53 44 0.39/0.48 c 1660 10915 103262 670580 81 1221 66 69 60 0.39/0.48 c 1670 10981 103936 674189 81 1226 52 55 48 0.39/0.48 c 1680 11054 105057 680801 81 1231 51 54 47 0.39/0.49 c 1690 11132 105946 686741 81 1233 64 66 59 0.39/0.49 c 1700 11197 106701 691428 81 1243 55 56 50 0.39/0.49 c 1710 11263 107359 694574 81 1250 46 56 47 0.49/0.50 c 1720 11343 108131 699436 81 1259 47 69 52 0.49/0.50 c 1730 11412 109017 704357 81 1261 55 57 50 0.49/0.51 c 1740 11479 110108 710114 81 1262 56 57 51 0.49/0.51 c 1750 11538 110713 714990 81 1272 46 50 43 0.49/0.51 c 1760 11620 111459 718918 81 1279 65 70 61 0.49/0.51 c 1770 11685 112299 724038 81 1284 55 56 50 0.49/0.52 c 1780 11751 113013 728197 81 1294 56 57 51 0.49/0.52 c 1790 11809 113427 730028 81 1302 47 47 42 0.49/0.52 c 1800 11880 114297 734798 81 1305 55 58 51 0.49/0.52 c 1810 11945 114954 737848 81 1311 46 55 47 0.49/0.53 c 1820 12020 115771 743305 81 1317 49 60 50 0.49/0.53 c 1830 12081 116534 748211 81 1322 50 50 45 0.49/0.53 c 1840 12162 117350 752438 81 1327 65 70 61 0.49/0.54 c 1841 12215 117740 754525 81 1328 53 53 26 0.49/0.54 c 1850 12284 118681 759935 81 1330 51 56 48 0.49/0.54 c 1860 12358 119391 762982 81 1337 46 64 47 0.49/0.54 c 1870 12415 119787 765803 81 1345 45 47 41 0.49/0.55 c 1880 12496 120607 770212 81 1352 66 70 61 0.49/0.55 c 1890 12556 121210 776571 81 1362 44 51 45 0.49/0.56 c 1900 12620 122506 785819 81 1367 47 49 43 0.49/0.56 c 1910 12689 123212 789514 81 1376 45 52 44 0.49/0.56 c 1920 12762 123854 793241 81 1386 47 64 49 0.49/0.56 c 1930 12824 124741 799155 81 1394 51 52 47 0.49/0.57 c 1940 12888 125472 804462 81 1398 50 53 47 0.49/0.57 c 1950 12970 126266 808912 81 1404 60 70 61 0.49/0.57 c 1960 13026 126620 810240 81 1414 46 47 42 0.49/0.58 c 1970 13091 127322 815751 81 1424 53 55 48 0.49/0.58 c 1980 13155 127959 819372 81 1433 46 54 47 0.49/0.58 c 1990 13212 128365 822039 81 1437 45 47 42 0.49/0.58 c 2000 13269 128762 824271 81 1446 46 47 42 0.49/0.58 c 2010 13325 129116 825599 81 1456 46 47 42 0.49/0.58 c 2020 13382 129521 828754 81 1465 45 47 41 0.49/0.59 c 2030 13451 130368 834035 81 1470 47 51 44 0.49/0.59 c 2040 13525 131085 838257 81 1480 50 65 55 0.49/0.59 c 2050 13585 131769 845694 81 1490 51 51 46 0.59/0.60 c 2060 13641 132450 850177 81 1498 46 46 41 0.59/0.60 c 2070 13707 133171 854670 81 1502 52 53 47 0.59/0.60 c 2080 13771 133787 857371 81 1505 48 50 44 0.59/0.60 c 2090 13832 134335 861757 81 1515 52 52 47 0.59/0.61 c 2100 13901 135076 866042 81 1523 51 58 49 0.59/0.61 c 2110 13958 135468 868883 81 1529 45 47 41 0.59/0.61 c 2120 14014 135822 870211 81 1539 46 47 42 0.59/0.61 c 2122 14062 136151 871547 81 1540 47 47 31 0.59/0.61 c 2130 14116 136508 873283 81 1548 46 47 41 0.59/0.61 c 2140 14173 136901 876171 81 1556 45 47 41 0.59/0.62 c 2150 14249 137603 879574 81 1565 50 66 56 0.59/0.62 c 2160 14306 138004 881804 81 1574 46 47 42 0.59/0.62 c 2170 14363 138396 884600 81 1580 45 47 41 0.59/0.62 c 2180 14421 138847 887084 81 1583 47 47 42 0.59/0.62 c 2190 14478 139260 889338 81 1592 46 47 42 0.59/0.62 c 2200 14536 139684 891363 81 1596 47 47 42 0.59/0.63 c 2210 14594 140114 893400 81 1600 47 47 42 0.59/0.63 c 2220 14652 140543 895228 81 1608 46 47 42 0.59/0.63 c 2230 14710 140972 897047 81 1616 46 47 42 0.59/0.63 c 2240 14767 141375 899266 81 1625 46 47 42 0.59/0.63 c 2250 14824 141783 901497 81 1634 46 47 42 0.59/0.63 c 2260 14882 142193 903316 81 1642 47 47 42 0.59/0.64 c 2270 14940 142608 905147 81 1650 47 47 42 0.59/0.64 c 2280 14998 143023 907140 81 1653 46 47 42 0.59/0.64 c 2290 15076 143837 912517 81 1660 64 66 59 0.59/0.64 c 2300 15136 144517 918737 81 1670 51 51 46 0.59/0.65 c 2310 15192 145259 924195 81 1672 46 46 41 0.59/0.65 c 2320 15264 146140 928477 81 1675 51 58 47 0.59/0.65 c 2330 15343 147049 933609 81 1680 65 69 60 0.59/0.66 c 2340 15405 148058 940407 81 1689 51 52 47 0.59/0.66 c 2350 15467 148700 944589 81 1690 53 53 48 0.59/0.66 c 2360 15533 149299 949676 81 1700 45 57 43 0.59/0.67 c 2370 15588 149905 954031 81 1701 46 46 41 0.59/0.67 c 2380 15658 150661 957938 81 1708 51 58 47 0.59/0.67 c 2390 15715 151065 959714 81 1714 46 47 42 0.59/0.67 c 2400 15793 151819 963408 81 1723 65 69 59 0.59/0.68 c 2410 15855 152889 969974 81 1732 52 52 47 0.59/0.68 c 2420 15920 153647 974705 81 1734 52 53 47 0.59/0.69 c 2430 15995 154632 981483 81 1742 48 65 54 0.59/0.69 c 2431 16041 154917 982339 81 1743 46 46 23 0.59/0.69 c 2440 16114 155545 985820 81 1751 45 64 49 0.59/0.69 c 2450 16169 155893 988703 81 1761 45 46 41 0.59/0.69 c 2460 16226 156297 990922 81 1770 46 47 42 0.59/0.69 c 2470 16283 156702 993110 81 1779 46 47 42 0.59/0.69 c 2480 16341 157118 995094 81 1782 46 47 42 0.69/0.70 c 2490 16424 157939 1000212 81 1790 65 69 60 0.69/0.70 c 2500 16492 158989 1005968 81 1798 52 57 48 0.69/0.70 c 2510 16547 159337 1008851 81 1808 45 46 41 0.69/0.71 c 2520 16604 159742 1011039 81 1817 46 47 42 0.69/0.71 c 2530 16667 160530 1019311 81 1827 53 54 48 0.69/0.71 c 2540 16754 161489 1023972 81 1831 65 73 62 0.69/0.72 c 2550 16833 162473 1029113 81 1836 52 59 51 0.69/0.72 c 2560 16911 163359 1033957 81 1844 60 65 58 0.69/0.72 c 2570 16973 164263 1040214 81 1852 51 52 47 0.69/0.73 c 2580 17056 165198 1044765 81 1857 65 69 60 0.69/0.73 c 2590 17142 166221 1049082 81 1863 53 59 50 0.69/0.73 c 2600 17205 166918 1053920 81 1868 51 51 46 0.69/0.74 c 2610 17288 167846 1058615 81 1872 69 70 63 0.69/0.74 c 2620 17354 168489 1061586 81 1879 46 56 47 0.69/0.74 c 2630 17429 169367 1066246 81 1883 64 64 58 0.69/0.75 c 2640 17491 170360 1071693 81 1890 52 52 47 0.69/0.75 c 2650 17578 171299 1075975 81 1893 69 73 64 0.69/0.75 c 2660 17646 172181 1080435 81 1898 53 56 49 0.69/0.76 c 2670 17719 172931 1084444 81 1904 56 58 52 0.69/0.76 c 2680 17782 173610 1091918 81 1914 47 53 47 0.69/0.76 c 2690 17855 174436 1095876 81 1915 50 58 49 0.69/0.77 c 2700 17936 175346 1101661 81 1917 64 70 62 0.69/0.77 c 2710 18008 176206 1106443 81 1920 53 57 50 0.69/0.77 c 2720 18067 176802 1110323 81 1930 46 50 44 0.69/0.78 c 2730 18136 177510 1114866 81 1939 48 56 47 0.69/0.78 c 2740 18197 178896 1125118 81 1947 46 47 42 0.69/0.79 c 2750 18285 179799 1129263 81 1953 67 73 64 0.69/0.79 c 2760 18361 180572 1132732 81 1962 56 65 55 0.69/0.79 c 2770 18446 181572 1137689 81 1968 54 65 52 0.69/0.80 c 2771 18511 182143 1140287 81 1969 65 65 32 0.79/0.80 c 2780 18572 183109 1145782 81 1975 52 52 46 0.79/0.80 c 2790 18660 184032 1149939 81 1981 67 73 64 0.79/0.81 c 2800 18736 184761 1153691 81 1983 56 65 58 0.79/0.81 c 2810 18795 185801 1161973 81 1987 46 47 42 0.79/0.81 c 2820 18882 186750 1167087 81 1991 64 73 61 0.79/0.82 c 2830 18949 187509 1170811 81 1992 57 57 51 0.79/0.82 c 2840 19007 188220 1175593 81 1993 49 49 44 0.79/0.82 c 2850 19080 189019 1178946 81 1999 47 54 46 0.79/0.83 c 2860 19163 189991 1183957 81 2003 65 69 60 0.79/0.83 c 2870 19239 190701 1187508 81 2007 56 65 58 0.79/0.83 c 2880 19305 191440 1191661 81 2012 55 55 50 0.79/0.84 c 2890 19367 192518 1200127 81 2015 47 49 44 0.79/0.84 c 2900 19449 193416 1204743 81 2020 67 73 63 0.79/0.85 c 2910 19515 194415 1210115 81 2021 56 57 51 0.79/0.85 c 2920 19576 195049 1214234 81 2031 49 52 45 0.79/0.85 c 2930 19656 195842 1218439 81 2039 53 69 58 0.79/0.85 c 2940 19713 196238 1220629 81 2048 46 47 42 0.79/0.86 c 2950 19776 196981 1229355 81 2058 53 54 48 0.79/0.86 c 2960 19859 198243 1234828 81 2062 48 54 45 0.79/0.86 c 2970 19934 199075 1239334 81 2067 52 63 51 0.79/0.87 c 2980 19992 199470 1241106 81 2075 47 47 42 0.79/0.87 c 2990 20058 200377 1246956 81 2078 54 55 49 0.79/0.88 c 3000 20120 201661 1257434 81 2086 46 49 42 0.79/0.88 c 3010 20210 202855 1263235 81 2093 65 68 60 0.79/0.88 c 3020 20275 203842 1269042 81 2100 52 55 47 0.79/0.89 c 3030 20358 204773 1273458 81 2103 64 70 60 0.79/0.89 c 3040 20415 205173 1276105 81 2107 45 47 42 0.79/0.89 c 3050 20491 206037 1281126 81 2109 55 65 51 0.89/0.90 c 3060 20554 206704 1285689 81 2112 50 52 47 0.89/0.90 c 3070 20617 207303 1289268 81 2120 47 51 45 0.89/0.90 c 3080 20700 208230 1294189 81 2126 64 70 62 0.89/0.91 c 3090 20787 209173 1298637 81 2131 53 66 56 0.89/0.91 c 3100 20845 209572 1300574 81 2134 46 47 42 0.89/0.91 c 3110 20907 210214 1304165 81 2139 50 51 46 0.89/0.91 c 3120 20987 211185 1308541 81 2141 65 67 60 0.89/0.92 c 3130 21059 212016 1312738 81 2143 53 57 50 0.89/0.92 c 3140 21127 212825 1317041 81 2149 50 57 47 0.89/0.92 c 3142 21183 213367 1319889 81 2151 55 55 36 0.89/0.93 c 3150 21269 214269 1323906 81 2155 67 73 63 0.89/0.93 c 3160 21344 215312 1329656 81 2162 53 57 50 0.89/0.93 c 3170 21405 216120 1335591 81 2167 47 49 44 0.89/0.94 c 3180 21491 217331 1341732 81 2173 65 69 61 0.89/0.94 c 3190 21554 217907 1345144 81 2182 46 53 45 0.89/0.94 c 3200 21615 218765 1350622 81 2191 47 49 44 0.89/0.95 c 3210 21698 219813 1355703 81 2192 65 69 61 0.89/0.95 c 3220 21754 220167 1357031 81 2202 46 47 42 0.89/0.95 c 3230 21819 220971 1361561 81 2212 54 56 49 0.89/0.96 c 3240 21889 221830 1365077 81 2217 47 50 44 0.89/0.96 c 3250 21953 222398 1369195 81 2227 48 55 48 0.89/0.96 c 3260 22008 222938 1373028 81 2237 46 46 41 0.89/0.97 c 3270 22087 224002 1379057 81 2242 48 60 49 0.89/0.97 c 3280 22164 224918 1385282 81 2248 51 65 49 0.89/0.97 c 3290 22224 225620 1392494 81 2258 51 51 46 0.89/0.98 c 3300 22280 226285 1397323 81 2267 46 46 41 0.89/0.98 c 3310 22347 226957 1401015 81 2275 45 52 45 0.89/0.98 c 3320 22428 228027 1407053 81 2281 62 65 58 0.89/0.99 c 3330 22491 228611 1410820 81 2290 46 53 45 0.89/0.99 c 3340 22547 229431 1417459 81 2297 46 46 41 0.89/0.99 c 3350 22623 230280 1421054 81 2299 47 54 47 0.99/1.00 c 3360 22710 231478 1427501 81 2302 62 67 58 0.99/1.00 c 3370 22768 231891 1429521 81 2306 47 47 42 0.99/1.00 c 3380 22834 232642 1435072 81 2314 47 54 48 0.99/1.01 c 3390 22904 233423 1439968 81 2321 49 57 50 0.99/1.01 c 3400 22967 234835 1449848 81 2327 47 49 43 0.99/1.01 c 3410 23037 235585 1454857 81 2332 50 55 47 0.99/1.02 c 3420 23119 236459 1459100 81 2337 69 69 62 0.99/1.02 c 3430 23177 236869 1460919 81 2345 47 47 42 0.99/1.02 c 3440 23246 237686 1465128 81 2351 54 58 50 0.99/1.03 c 3450 23310 238449 1468703 81 2352 47 52 45 0.99/1.03 c 3460 23382 239390 1474788 81 2354 54 57 50 0.99/1.03 c 3470 23448 239978 1479001 81 2362 48 56 48 0.99/1.04 c 3480 23510 240966 1486760 81 2365 46 49 43 0.99/1.04 c 3490 23584 242037 1490845 81 2368 47 50 44 0.99/1.04 c 3500 23662 242765 1494516 81 2375 53 66 58 0.99/1.05 c 3510 23719 243170 1496704 81 2384 46 47 42 0.99/1.05 c 3520 23789 244215 1501758 81 2389 54 58 50 0.99/1.05 c 3530 23855 244797 1505198 81 2399 46 57 46 0.99/1.05 c 3540 23913 245213 1507191 81 2402 46 47 42 0.99/1.06 c 3550 24004 246136 1512205 81 2405 69 72 63 0.99/1.06 c 3551 24050 246417 1513189 81 2406 46 46 23 0.99/1.06 c 3560 24105 246786 1514939 81 2414 46 47 41 0.99/1.06 c 3570 24178 247595 1519320 81 2420 54 59 52 0.99/1.07 c 3580 24256 248584 1526189 81 2422 52 56 50 0.99/1.07 c 3590 24329 249557 1530734 81 2425 47 57 49 0.99/1.07 c 3600 24400 250325 1533932 81 2429 58 59 53 0.99/1.08 c 3610 24475 251343 1538550 81 2434 54 62 52 0.99/1.08 c 3620 24554 252604 1547519 81 2438 54 57 51 0.99/1.09 c 3630 24645 253638 1552830 81 2448 54 71 54 0.99/1.09 c 3640 24707 254618 1558779 81 2457 51 52 47 0.99/1.09 c 3650 24774 255387 1562034 81 2463 48 50 44 0.99/1.10 c 3660 24856 256271 1566834 81 2471 65 70 61 0.99/1.10 c 3670 24924 257058 1571413 81 2476 56 58 51 1.09/1.11 c 3680 24984 258000 1578814 81 2486 46 49 43 1.09/1.11 c 3690 25059 258676 1582491 81 2488 65 65 59 1.09/1.11 c 3700 25116 259075 1585356 81 2493 45 47 42 1.09/1.11 c 3710 25199 260043 1590949 81 2501 56 73 55 1.09/1.12 c 3720 25279 261125 1597359 81 2509 46 61 48 1.09/1.12 c 3730 25351 261907 1600608 81 2514 57 59 53 1.09/1.13 c 3740 25421 263003 1606955 81 2523 47 58 49 1.09/1.13 c 3750 25487 264309 1616630 81 2531 47 49 43 1.09/1.14 c 3760 25570 265170 1621557 81 2537 65 70 60 1.09/1.14 c 3770 25632 266251 1627847 81 2546 52 52 47 1.09/1.14 c 3780 25717 267210 1634099 81 2553 47 60 51 1.09/1.15 c 3790 25789 267987 1638440 81 2560 46 63 49 1.09/1.15 c 3800 25845 268491 1644243 81 2568 45 46 41 1.09/1.16 c 3810 25909 269753 1654394 81 2574 46 49 42 1.09/1.16 c 3820 25996 270690 1660666 81 2579 60 60 54 1.09/1.16 c 3830 26074 271569 1664345 81 2580 63 65 58 1.09/1.17 c 3840 26143 272272 1669082 81 2590 46 60 47 1.09/1.17 c 3850 26204 273145 1675623 81 2593 47 49 44 1.09/1.17 c 3860 26303 274196 1681145 81 2596 66 70 62 1.09/1.18 c 3870 26367 274892 1686089 81 2602 53 53 48 1.09/1.18 c 3880 26428 275685 1691748 81 2607 47 49 44 1.09/1.18 c 3890 26512 276713 1697563 81 2611 65 68 60 1.09/1.19 c 3900 26577 277734 1704596 81 2613 53 54 48 1.09/1.19 c 3910 26638 278547 1710096 81 2620 49 49 44 1.09/1.20 c 3920 26719 279450 1715008 81 2624 65 68 60 1.09/1.20 c 3930 26790 280327 1720290 81 2628 58 60 53 1.09/1.20 c 3940 26856 281090 1724690 81 2636 46 56 46 1.19/1.21 c 3950 26935 281860 1728822 81 2642 54 60 54 1.19/1.21 c 3960 26991 282214 1730150 81 2652 46 47 42 1.19/1.21 c 3970 27057 282987 1734559 81 2657 54 56 49 1.19/1.22 c 3980 27120 284293 1744854 81 2661 47 49 44 1.19/1.22 c 3990 27193 285184 1751292 81 2666 52 55 48 1.19/1.22 c solution 1 1.19/1.22 1.19/1.22 v <instantiation type='solution'> 1.19/1.22 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] </list> 1.19/1.22 v <values>32 23 79 2 28 4 48 72 81 12 17 33 51 62 3 70 64 57 24 49 36 40 80 6 66 18 50 61 53 59 42 14 21 20 65 34 54 60 35 74 63 41 16 19 7 46 58 13 5 56 73 67 25 26 29 71 15 78 9 77 22 37 31 68 11 44 76 10 75 8 39 38 43 27 55 1 47 69 52 30 45 </values> 1.19/1.22 v </instantiation> 1.19/1.22 1.19/1.22 c restarts : 415 1.19/1.22 c conflicts : 3995 (3280 /sec) 1.19/1.22 c decisions : 27279 (22393 /sec) 1.19/1.22 c propagations : 1755007 (1440691 /sec) 1.19/1.22 c root propagations : 261 1.19/1.22 c filter calls : 285953 (234740 /sec) 1.19/1.22 c useless filter calls : 203100 (71 %) 1.19/1.22 c 1.19/1.22 c clauses : 265265 1.19/1.22 c SAT propagations : 7842 1.19/1.22 c SAT conflicts : 0 (0 learnts) 1.19/1.22 c Memory used : 37.20 MB 1.19/1.22 c CPU time : 1.21812 s 1.19/1.22 1.19/1.22 s SATISFIABLE
OK
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-4242045-1500653837/watcher-4242045-1500653837 -o /tmp/evaluation-result-4242045-1500653837/solver-4242045-1500653837 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500648178-9871 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242045-1500653837.xml pid=11534 running on 8 cores: 1,3,5,7,9,11,13,15 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.10 2.06 2.04 3/242 11537 /proc/meminfo: memFree=32020244/32770624 swapFree=5664/190648 [pid=11537] ppid=11534 vsize=32336 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/11537/stat : 11537 (cosoco) R 11534 11537 9838 0 -1 4202496 1335 0 0 0 0 0 0 0 20 0 1 0 652885 33112064 1673 33554432000 4194304 5970956 140728886766464 140728886765656 139667077667813 0 0 4096 8404994 0 0 0 17 13 0 0 0 0 0 8070896 8075904 15405056 140728886768828 140728886768963 140728886768963 140728886771662 0 /proc/11537/statm: 8084 1673 771 434 0 1448 0 [startup+0.100149 s] /proc/loadavg: 2.10 2.06 2.04 3/242 11537 /proc/meminfo: memFree=32020244/32770624 swapFree=5664/190648 [pid=11537] ppid=11534 vsize=38088 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/11537/stat : 11537 (cosoco) R 11534 11537 9838 0 -1 4202496 3191 0 0 0 9 0 0 0 20 0 1 0 652885 39002112 3478 33554432000 4194304 5970956 140728886766464 140728886763800 139667078106208 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 15405056 140728886768828 140728886768963 140728886768963 140728886771662 0 /proc/11537/statm: 9522 3478 772 434 0 2886 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 38088 [startup+0.200325 s] /proc/loadavg: 2.10 2.06 2.04 3/242 11537 /proc/meminfo: memFree=32020244/32770624 swapFree=5664/190648 [pid=11537] ppid=11534 vsize=38088 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/11537/stat : 11537 (cosoco) R 11534 11537 9838 0 -1 4202496 3197 0 0 0 19 0 0 0 20 0 1 0 652885 39002112 3544 33554432000 4194304 5970956 140728886766464 140728886763800 5337501 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 15405056 140728886768828 140728886768963 140728886768963 140728886771662 0 /proc/11537/statm: 9522 3544 796 434 0 2886 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 38088 [startup+0.300237 s] /proc/loadavg: 2.10 2.06 2.04 3/242 11537 /proc/meminfo: memFree=32020244/32770624 swapFree=5664/190648 [pid=11537] ppid=11534 vsize=38088 CPUtime=0.29 cores=1,3,5,7,9,11,13,15 /proc/11537/stat : 11537 (cosoco) R 11534 11537 9838 0 -1 4202496 3207 0 0 0 29 0 0 0 20 0 1 0 652885 39002112 3544 33554432000 4194304 5970956 140728886766464 140728886763800 139667078106208 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 15405056 140728886768828 140728886768963 140728886768963 140728886771662 0 /proc/11537/statm: 9522 3544 796 434 0 2886 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 38088 [startup+0.700207 s] /proc/loadavg: 2.10 2.06 2.04 3/242 11537 /proc/meminfo: memFree=32020244/32770624 swapFree=5664/190648 [pid=11537] ppid=11534 vsize=38088 CPUtime=0.69 cores=1,3,5,7,9,11,13,15 /proc/11537/stat : 11537 (cosoco) R 11534 11537 9838 0 -1 4202496 3238 0 0 0 69 0 0 0 20 0 1 0 652885 39002112 3544 33554432000 4194304 5970956 140728886766464 140728886763800 4970973 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 15405056 140728886768828 140728886768963 140728886768963 140728886771662 0 /proc/11537/statm: 9522 3544 796 434 0 2886 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 38088 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 11537 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+0.800237 s] /proc/loadavg: 2.10 2.06 2.04 3/242 11537 /proc/meminfo: memFree=32020244/32770624 swapFree=5664/190648 [pid=11537] ppid=11534 vsize=38088 CPUtime=0.79 cores=1,3,5,7,9,11,13,15 /proc/11537/stat : 11537 (cosoco) R 11534 11537 9838 0 -1 4202496 3243 0 0 0 79 0 0 0 20 0 1 0 652885 39002112 3544 33554432000 4194304 5970956 140728886766464 140728886763800 139667078106208 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 15405056 140728886768828 140728886768963 140728886768963 140728886771662 0 /proc/11537/statm: 9522 3544 796 434 0 2886 0 Current children cumulated CPU time (s) 0.79 Current children cumulated vsize (KiB) 38088 [startup+1.20792 s] /proc/loadavg: 2.10 2.06 2.04 3/243 11538 /proc/meminfo: memFree=32008636/32770624 swapFree=5664/190648 [pid=11537] ppid=11534 vsize=38088 CPUtime=1.19 cores=1,3,5,7,9,11,13,15 /proc/11537/stat : 11537 (cosoco) R 11534 11537 9838 0 -1 4202496 3263 0 0 0 119 0 0 0 20 0 1 0 652885 39002112 3610 33554432000 4194304 5970956 140728886766464 140728886763800 5098928 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 15405056 140728886768828 140728886768963 140728886768963 140728886771662 0 /proc/11537/statm: 9522 3610 796 434 0 2886 0 Current children cumulated CPU time (s) 1.19 Current children cumulated vsize (KiB) 38088 Child status: 0 Real time (s): 1.228 CPU time (s): 1.22716 CPU user time (s): 1.21817 CPU system time (s): 0.008992 CPU usage (%): 99.9319 Max. virtual memory (cumulated for all children) (KiB): 38088 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.21817 system time used= 0.008992 maximum resident set size= 14548 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3286 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= 63 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.012348 second user time and 0.0343 second system time The end
Begin job on node114 at 2017-07-21 18:17:17 IDJOB=4242045 IDBENCH=133205 IDSOLVER=2621 FILE ID=node114/4242045-1500653837 RUNJOBID= node114-1500648178-9871 PBS_JOBID= 20623304 Free space on /tmp= 62008 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/MagicSquare/MagicSquare-m1-gp/MagicSquare-9-f50-19.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242045-1500653837/watcher-4242045-1500653837 -o /tmp/evaluation-result-4242045-1500653837/solver-4242045-1500653837 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500648178-9871 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242045-1500653837.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= b7fb7dcafefa376b1b73f285fdc4e3bd RANDOM SEED=166034625 node114.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 : 8 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.60 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 : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.60 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 : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.60 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.60 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 : 8 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: processor : 8 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 : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 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 : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 10 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 : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 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 : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 12 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 : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 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 : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 14 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 : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 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 : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 32019924 kB MemAvailable: 32009792 kB Buffers: 33936 kB Cached: 265872 kB SwapCached: 0 kB Active: 174440 kB Inactive: 199484 kB Active(anon): 76664 kB Inactive(anon): 8836 kB Active(file): 97776 kB Inactive(file): 190648 kB Unevictable: 5664 kB Mlocked: 5664 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 1960 kB Writeback: 0 kB AnonPages: 63972 kB Mapped: 29600 kB Shmem: 8848 kB Slab: 67464 kB SReclaimable: 34556 kB SUnreclaim: 32908 kB KernelStack: 4256 kB PageTables: 5656 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 349012 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 62008 MiB End job on node114 at 2017-07-21 18:17:19