| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-sat 1.12 | SAT | 33.9081 | 33.907299 |
| Name | MarketSplit/MarketSplit-m1-gp/ MarketSplit-03.xml |
| MD5SUM | 179d2a128a53b26e9bde33d3c842c186 |
| 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 | 6.0598898 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 30 |
| Number of constraints | 4 |
| Number of domains | 1 |
| Minimum domain size | 2 |
| Maximum domain size | 2 |
| Distribution of domain sizes | [{"size":2,"count":30}] |
| Minimum variable degree | 4 |
| Maximum variable degree | 4 |
| Distribution of variable degrees | [{"degree":4,"count":30}] |
| Minimum constraint arity | 30 |
| Maximum constraint arity | 30 |
| Distribution of constraint arities | [{"arity":30,"count":4}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"sum","count":4}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.00 c SAT : Variables: 60 -- Clauses: 60 0.00/0.00 c root propagations : 0 0.00/0.00 c restarts enabled, print stats at every restarts 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c This is cosoco 1.12 -- 0.00/0.00 c 0.00/0.00 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266176-1502581052.xml 0.00/0.00 c ========================================[ Problem Statistics ]=========================================== 0.00/0.00 c | 0.00/0.00 c | Parse time : 0.00 s 0.00/0.00 c | 0.00/0.00 c | Variables: 30 0.00/0.00 c | Domain Sizes: 2..2 0.00/0.00 c | 0.00/0.00 c | Constraints: 4 0.00/0.00 c | Arity: 30..30 0.00/0.00 c | 0.00/0.00 c | Types: 0.00/0.00 c | Sum: 4 0.00/0.00 c | 0.00/0.00 c ========================================================================================================= 0.00/0.00 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.00 c 10 55 276 181 0 5 20 27 22 0.00/0.00 c 20 106 534 363 0 7 21 27 22 0.00/0.00 c 30 159 789 562 0 9 21 27 22 0.00/0.00 c 40 199 992 734 0 13 15 27 18 0.00/0.00 c 50 245 1215 937 0 23 13 26 17 0.00/0.00 c 60 317 1551 1205 0 27 19 25 20 0.00/0.00 c 70 350 1717 1360 0 37 15 24 17 0.00/0.00 c 80 415 2019 1586 0 41 23 26 22 0.00/0.00 c 90 464 2262 1774 0 44 19 26 21 0.00/0.00 c 100 512 2497 1955 0 48 20 27 21 0.00/0.00 c 101 538 2607 2016 0 49 26 26 13 0.00/0.01 c 110 573 2789 2202 0 58 13 25 15 0.00/0.01 c 120 624 3032 2420 0 64 13 26 18 0.00/0.01 c 130 674 3288 2629 0 68 16 27 20 0.00/0.01 c 140 728 3574 2833 0 72 19 25 20 0.00/0.01 c 150 781 3833 3031 0 79 12 26 20 0.00/0.01 c 160 830 4085 3221 0 82 19 25 20 0.00/0.01 c 170 878 4334 3408 0 84 19 25 20 0.00/0.01 c 180 917 4535 3571 0 91 13 25 19 0.00/0.01 c 190 961 4772 3782 0 92 13 25 17 0.00/0.01 c 200 1012 5018 3989 0 96 16 25 19 0.00/0.01 c 210 1044 5179 4181 0 104 12 23 15 0.00/0.01 c 211 1062 5255 4220 0 105 18 18 9 0.00/0.01 c 220 1107 5461 4413 0 109 12 27 19 0.00/0.01 c 230 1156 5703 4631 0 111 17 25 19 0.00/0.01 c 240 1202 5913 4811 0 115 18 24 19 0.00/0.01 c 250 1242 6096 5005 0 121 14 25 17 0.00/0.01 c 260 1291 6336 5201 0 124 20 24 20 0.00/0.01 c 270 1340 6579 5426 0 129 11 24 17 0.00/0.01 c 280 1390 6815 5640 0 135 12 24 17 0.00/0.01 c 290 1434 7026 5848 0 142 12 23 17 0.00/0.01 c 300 1485 7274 6060 0 148 15 25 19 0.00/0.01 c 310 1545 7571 6288 0 152 14 25 19 0.00/0.01 c 320 1597 7832 6491 0 157 19 25 20 0.00/0.01 c 330 1640 8050 6667 0 159 16 24 19 0.00/0.02 c 332 1670 8188 6745 0 161 21 22 14 0.00/0.02 c 340 1719 8420 6921 0 166 21 24 20 0.00/0.02 c 350 1774 8677 7150 0 172 13 25 19 0.00/0.02 c 360 1832 8960 7360 0 175 19 25 20 0.00/0.02 c 370 1883 9207 7573 0 179 16 24 19 0.00/0.02 c 380 1939 9478 7783 0 181 19 24 20 0.00/0.02 c 390 1987 9718 7987 0 189 17 24 18 0.00/0.02 c 400 2023 9892 8162 0 197 14 23 17 0.00/0.02 c 410 2063 10080 8385 0 201 14 23 16 0.00/0.02 c 420 2111 10300 8603 0 206 13 23 18 0.00/0.02 c 430 2160 10535 8806 0 209 17 23 18 0.00/0.02 c 440 2217 10792 9024 0 214 17 25 19 0.00/0.02 c 450 2269 11040 9224 0 217 20 24 19 0.00/0.02 c 460 2305 11222 9432 0 218 13 22 16 0.00/0.02 c 465 2334 11357 9533 0 220 12 25 17 0.00/0.02 c 470 2361 11491 9617 0 222 17 23 17 0.00/0.02 c 480 2404 11705 9801 0 225 14 26 19 0.00/0.02 c 490 2439 11895 9977 0 232 13 23 16 0.00/0.02 c 500 2475 12088 10145 0 241 15 25 18 0.00/0.02 c 510 2526 12335 10366 0 246 13 23 18 0.00/0.02 c 520 2571 12562 10578 0 251 12 23 17 0.00/0.02 c 530 2615 12795 10782 0 252 16 24 18 0.00/0.02 c 540 2668 13069 11015 0 256 15 25 18 0.00/0.02 c 550 2723 13350 11231 0 259 11 25 20 0.00/0.03 c 560 2781 13635 11453 0 262 20 25 20 0.00/0.03 c 570 2825 13865 11641 0 265 18 24 19 0.00/0.03 c 580 2877 14123 11835 0 268 16 26 21 0.00/0.03 c 590 2930 14369 12024 0 274 17 26 20 0.00/0.03 c 600 2974 14600 12217 0 277 18 24 19 0.00/0.03 c 610 3032 14879 12455 0 285 12 25 18 0.00/0.03 c 611 3044 14930 12485 0 286 12 12 6 0.00/0.03 c 620 3082 15129 12650 0 291 15 24 18 0.00/0.03 c 630 3129 15372 12862 0 297 15 24 18 0.00/0.03 c 640 3180 15599 13075 0 302 14 26 19 0.00/0.03 c 650 3223 15805 13261 0 310 12 24 18 0.00/0.03 c 660 3262 15997 13446 0 318 13 25 17 0.00/0.03 c 670 3313 16236 13663 0 320 17 25 19 0.00/0.03 c 680 3352 16418 13855 0 327 13 24 17 0.00/0.03 c 690 3400 16650 14062 0 331 16 24 18 0.00/0.03 c 700 3460 16936 14276 0 333 18 26 21 0.00/0.03 c 710 3509 17165 14480 0 337 19 25 20 0.00/0.03 c 720 3560 17402 14682 0 344 17 25 19 0.00/0.03 c 730 3609 17625 14906 0 350 13 25 18 0.00/0.03 c 740 3658 17863 15104 0 353 18 24 19 0.00/0.03 c 750 3713 18122 15318 0 358 14 26 20 0.00/0.03 c 760 3758 18330 15520 0 360 15 26 18 0.00/0.03 c 770 3803 18553 15710 0 366 15 26 17 0.00/0.03 c 771 3820 18623 15742 0 367 17 17 8 0.00/0.04 c 780 3860 18837 15898 0 368 19 25 20 0.00/0.04 c 790 3899 19021 16080 0 377 15 26 18 0.00/0.04 c 800 3943 19233 16274 0 386 15 25 18 0.00/0.04 c 810 3992 19464 16510 0 390 13 23 17 0.00/0.04 c 820 4033 19654 16696 0 393 17 24 18 0.00/0.04 c 830 4073 19837 16883 0 394 17 25 19 0.00/0.04 c 840 4122 20061 17091 0 400 14 25 19 0.00/0.04 c 850 4187 20357 17335 0 407 20 25 20 0.00/0.04 c 860 4245 20626 17580 0 415 12 26 18 0.00/0.04 c 870 4294 20861 17770 0 419 13 25 19 0.00/0.04 c 880 4356 21149 18002 0 423 21 24 20 0.00/0.05 c 890 4407 21393 18202 0 424 19 26 21 0.00/0.05 c 900 4451 21615 18374 0 431 17 26 19 0.00/0.05 c 910 4495 21845 18551 0 433 19 26 20 0.00/0.05 c 920 4540 22075 18748 0 435 17 25 19 0.00/0.05 c 930 4590 22322 18951 0 440 17 24 19 0.00/0.05 c 940 4643 22580 19166 0 444 12 24 19 0.00/0.05 c 947 4696 22821 19334 0 447 22 26 21 0.00/0.05 c 950 4725 22952 19416 0 448 23 25 18 0.00/0.05 c 960 4789 23255 19643 0 455 19 26 21 0.00/0.05 c 970 4833 23473 19818 0 459 19 27 21 0.00/0.05 c 980 4877 23688 19986 0 464 19 26 20 0.00/0.05 c 990 4928 23939 20186 0 468 18 27 20 0.00/0.05 c 1000 4982 24196 20401 0 472 13 26 20 0.00/0.05 c 1010 5028 24408 20607 0 480 15 26 18 0.00/0.05 c 1020 5061 24570 20787 0 484 13 24 17 0.00/0.05 c 1030 5102 24756 20976 0 490 12 25 18 0.00/0.05 c 1040 5136 24918 21154 0 498 14 25 17 0.00/0.05 c 1050 5167 25072 21349 0 502 12 22 15 0.00/0.05 c 1060 5204 25246 21533 0 509 13 25 17 0.00/0.05 c 1070 5252 25480 21754 0 518 13 25 17 0.00/0.05 c 1080 5295 25690 21929 0 523 19 24 19 0.00/0.05 c 1090 5349 25936 22137 0 529 13 26 19 0.00/0.05 c 1100 5401 26185 22332 0 532 20 24 19 0.00/0.05 c 1110 5435 26349 22505 0 533 16 25 18 0.00/0.05 c 1120 5480 26586 22709 0 535 16 25 18 0.00/0.05 c 1130 5527 26833 22891 0 538 19 26 20 0.00/0.05 c 1140 5575 27080 23076 0 545 18 25 19 0.00/0.05 c 1141 5596 27172 23110 0 546 21 21 10 0.00/0.05 c 1150 5643 27399 23285 0 547 21 27 22 0.00/0.05 c 1160 5689 27620 23480 0 552 17 26 20 0.00/0.05 c 1170 5739 27843 23672 0 557 17 25 20 0.00/0.05 c 1180 5778 28040 23828 0 562 19 25 20 0.00/0.05 c 1190 5830 28289 24039 0 568 15 25 19 0.00/0.05 c 1200 5889 28568 24250 0 573 21 26 21 0.00/0.05 c 1210 5939 28805 24450 0 575 16 25 20 0.00/0.05 c 1220 5985 29043 24649 0 582 14 26 18 0.00/0.05 c 1230 6041 29308 24851 0 587 17 26 21 0.00/0.06 c 1240 6084 29523 25028 0 592 17 25 19 0.00/0.06 c 1250 6126 29741 25205 0 596 17 25 19 0.00/0.06 c 1260 6178 29986 25387 0 600 20 27 21 0.00/0.06 c 1270 6239 30282 25610 0 606 16 26 21 0.00/0.06 c 1280 6281 30491 25810 0 613 12 25 17 0.00/0.06 c 1290 6324 30709 25961 0 618 18 25 20 0.00/0.06 c 1300 6383 31004 26176 0 621 21 26 21 0.00/0.06 c 1310 6429 31227 26351 0 624 19 26 20 0.00/0.06 c 1320 6476 31468 26562 0 629 14 25 18 0.00/0.06 c 1330 6527 31733 26776 0 632 15 26 18 0.00/0.06 c 1340 6580 31991 26967 0 639 17 24 20 0.00/0.06 c 1350 6621 32194 27151 0 641 18 24 19 0.00/0.06 c 1352 6643 32290 27203 0 643 20 21 13 0.00/0.06 c 1360 6671 32435 27348 0 651 14 21 15 0.00/0.06 c 1370 6725 32690 27558 0 655 16 26 20 0.00/0.06 c 1380 6772 32918 27733 0 657 21 27 21 0.00/0.06 c 1390 6824 33174 27918 0 660 21 26 21 0.00/0.06 c 1400 6863 33369 28120 0 668 12 24 16 0.00/0.06 c 1410 6904 33575 28286 0 672 16 22 17 0.00/0.06 c 1420 6949 33817 28498 0 673 15 24 18 0.00/0.06 c 1430 6996 34051 28698 0 680 15 24 18 0.00/0.06 c 1440 7053 34334 28936 0 682 18 26 20 0.00/0.06 c 1450 7094 34526 29118 0 683 17 26 20 0.00/0.06 c 1460 7145 34765 29318 0 685 19 26 20 0.00/0.07 c 1470 7189 34973 29522 0 686 15 26 18 0.00/0.07 c 1480 7244 35221 29736 0 691 20 24 20 0.00/0.07 c 1490 7285 35417 29922 0 696 16 25 18 0.00/0.07 c 1500 7347 35698 30184 0 703 15 24 18 0.00/0.07 c 1510 7387 35906 30350 0 711 15 24 18 0.00/0.07 c 1520 7424 36112 30535 0 715 14 23 16 0.00/0.07 c 1530 7476 36348 30742 0 721 16 26 19 0.00/0.07 c 1540 7520 36549 30918 0 727 19 24 19 0.00/0.07 c 1550 7568 36795 31111 0 730 16 26 20 0.00/0.07 c 1560 7612 37008 31299 0 732 16 25 19 0.00/0.07 c 1570 7660 37259 31507 0 738 17 24 19 0.00/0.07 c 1580 7714 37518 31702 0 741 20 25 21 0.00/0.07 c 1585 7751 37679 31837 0 746 12 24 16 0.00/0.07 c 1590 7778 37807 31939 0 749 16 23 16 0.00/0.07 c 1600 7837 38112 32173 0 756 18 25 19 0.00/0.07 c 1610 7892 38379 32398 0 757 16 25 20 0.00/0.07 c 1620 7935 38613 32588 0 763 15 26 18 0.00/0.07 c 1630 7990 38879 32802 0 770 17 25 20 0.00/0.07 c 1640 8042 39114 33008 0 777 17 26 19 0.00/0.07 c 1650 8104 39412 33245 0 780 21 26 21 0.00/0.07 c 1660 8151 39642 33436 0 784 13 24 19 0.00/0.07 c 1670 8203 39893 33684 0 791 12 22 17 0.00/0.08 c 1680 8248 40119 33901 0 796 14 25 17 0.00/0.08 c 1690 8286 40303 34091 0 801 17 22 17 0.00/0.08 c 1700 8329 40512 34282 0 810 12 25 18 0.00/0.08 c 1710 8372 40707 34469 0 816 18 24 19 0.00/0.08 c 1720 8418 40926 34665 0 819 14 27 19 0.00/0.08 c 1730 8467 41168 34886 0 827 13 24 17 0.00/0.08 c 1740 8520 41434 35086 0 829 22 26 22 0.00/0.08 c 1750 8575 41700 35317 0 835 14 26 19 0.00/0.08 c 1760 8626 41951 35504 0 838 22 26 22 0.00/0.08 c 1770 8678 42205 35703 0 841 22 26 21 0.00/0.08 c 1780 8728 42452 35911 0 847 15 25 19 0.00/0.08 c 1790 8782 42710 36121 0 853 15 25 19 0.00/0.08 c 1800 8831 42946 36295 0 856 22 26 21 0.00/0.08 c 1810 8886 43221 36499 0 862 16 25 20 0.00/0.08 c 1820 8936 43468 36686 0 869 18 25 19 0.00/0.08 c 1830 8981 43676 36869 0 875 17 26 20 0.00/0.08 c 1840 9020 43864 37054 0 880 15 24 17 0.00/0.08 c 1841 9031 43914 37086 0 881 11 11 5 0.00/0.08 c 1850 9080 44146 37286 0 885 14 24 19 0.00/0.08 c 1860 9122 44345 37458 0 891 14 25 19 0.00/0.08 c 1870 9162 44536 37619 0 893 16 24 18 0.00/0.08 c 1880 9205 44741 37772 0 899 20 26 20 0.00/0.08 c 1890 9271 45037 37995 0 903 23 27 22 0.00/0.08 c 1900 9327 45296 38195 0 907 14 26 21 0.00/0.09 c 1910 9384 45551 38385 0 910 20 27 21 0.00/0.09 c 1920 9436 45808 38578 0 914 22 25 21 0.00/0.09 c 1930 9489 46059 38769 0 916 21 26 22 0.00/0.09 c 1940 9543 46306 38974 0 921 15 26 20 0.00/0.09 c 1950 9598 46570 39161 0 925 21 26 22 0.00/0.09 c 1960 9650 46804 39363 0 929 14 25 19 0.00/0.09 c 1970 9697 47040 39553 0 937 16 25 19 0.00/0.09 c 1980 9745 47272 39735 0 940 19 25 20 0.00/0.09 c 1990 9812 47590 39985 0 945 14 26 20 0.00/0.09 c 2000 9855 47808 40151 0 950 16 26 19 0.00/0.09 c 2010 9894 48014 40323 0 959 13 24 17 0.00/0.09 c 2020 9940 48257 40503 0 962 19 25 20 0.00/0.09 c 2030 9986 48497 40685 0 965 13 26 20 0.00/0.09 c 2040 10037 48753 40888 0 970 18 23 19 0.00/0.09 c 2050 10090 49037 41122 0 976 13 23 17 0.00/0.09 c 2060 10129 49245 41287 0 978 15 24 19 0.00/0.09 c 2070 10177 49488 41474 0 981 15 26 21 0.00/0.09 c 2080 10232 49746 41682 0 986 16 26 20 0.00/0.09 c 2090 10295 50064 41922 0 991 19 24 20 0.00/0.09 c 2100 10342 50285 42118 0 998 16 26 18 0.00/0.09 c 2110 10387 50523 42320 0 1001 16 22 16 0.00/0.09 c 2120 10424 50706 42522 0 1005 13 21 16 0.00/0.10 c 2122 10437 50764 42577 0 1007 11 12 7 0.00/0.10 c 2130 10475 50936 42713 0 1014 18 25 19 0.00/0.10 c 2140 10513 51111 42899 0 1015 16 25 18 0.00/0.10 c 2150 10553 51293 43077 0 1019 16 27 19 0.00/0.10 c 2160 10588 51461 43253 0 1022 12 24 17 0.00/0.10 c 2170 10642 51707 43472 0 1026 17 26 19 0.00/0.10 c 2180 10684 51905 43644 0 1032 15 26 20 0.00/0.10 c 2190 10741 52157 43859 0 1040 19 25 20 0.00/0.10 c 2200 10785 52389 44034 0 1045 19 25 20 0.00/0.10 c 2210 10827 52593 44210 0 1048 20 26 20 0.00/0.10 c 2220 10873 52821 44381 0 1052 19 26 21 0.00/0.10 c 2230 10911 52998 44572 0 1062 13 26 16 0.00/0.10 c 2240 10954 53200 44767 0 1065 14 24 19 0.00/0.10 c 2250 11001 53425 44961 0 1067 19 26 21 0.00/0.10 c 2260 11056 53681 45186 0 1071 13 25 20 0.00/0.10 c 2270 11103 53896 45390 0 1073 16 25 18 0.00/0.10 c 2280 11158 54150 45615 0 1077 13 26 19 0.00/0.10 c 2290 11195 54330 45811 0 1078 14 26 18 0.00/0.10 c 2300 11237 54518 45986 0 1083 12 26 19 0.00/0.10 c 2310 11282 54733 46182 0 1088 12 25 18 0.00/0.10 c 2320 11326 54940 46374 0 1098 13 25 17 0.00/0.10 c 2330 11384 55207 46597 0 1103 19 26 20 0.00/0.10 c 2340 11423 55385 46775 0 1107 14 25 18 0.00/0.10 c 2350 11460 55561 46930 0 1111 16 26 19 0.10/0.11 c 2360 11508 55793 47097 0 1116 21 26 21 0.10/0.11 c 2370 11573 56094 47314 0 1118 22 27 22 0.10/0.11 c 2380 11623 56344 47496 0 1121 21 26 21 0.10/0.11 c 2390 11681 56608 47704 0 1125 21 26 21 0.10/0.11 c 2400 11727 56828 47904 0 1132 13 25 18 0.10/0.11 c 2410 11798 57141 48156 0 1140 19 26 21 0.10/0.11 c 2420 11843 57361 48345 0 1146 16 24 19 0.10/0.11 c 2430 11882 57538 48517 0 1147 18 25 20 0.10/0.11 c 2431 11904 57631 48557 0 1148 22 22 11 0.10/0.11 c 2440 11938 57797 48705 0 1152 11 26 18 0.10/0.11 c 2450 11995 58050 48916 0 1156 18 27 20 0.10/0.11 c 2460 12055 58333 49143 0 1161 16 25 20 0.10/0.11 c 2470 12115 58623 49388 0 1164 15 25 19 0.10/0.11 c 2480 12165 58864 49586 0 1167 16 24 18 0.10/0.11 c 2490 12207 59069 49764 0 1173 13 25 18 0.10/0.11 c 2500 12256 59302 49973 0 1174 15 26 19 0.10/0.11 c 2510 12309 59582 50180 0 1178 19 25 20 0.10/0.11 c 2520 12362 59859 50397 0 1179 18 25 20 0.10/0.11 c 2530 12399 60044 50561 0 1188 15 25 18 0.10/0.11 c 2540 12439 60253 50777 0 1193 13 24 16 0.10/0.11 c 2550 12489 60492 50973 0 1197 17 25 20 0.10/0.11 c 2560 12539 60744 51186 0 1200 17 25 19 0.10/0.12 c 2570 12588 60985 51389 0 1207 14 25 18 0.10/0.12 c 2580 12637 61248 51590 0 1210 21 26 20 0.10/0.12 c 2590 12690 61528 51803 0 1215 15 25 19 0.10/0.12 c 2600 12732 61734 51991 0 1221 16 25 18 0.10/0.12 c 2610 12793 62025 52231 0 1228 19 25 19 0.10/0.12 c 2620 12847 62277 52440 0 1231 18 24 19 0.10/0.12 c 2630 12903 62543 52660 0 1237 17 25 20 0.10/0.12 c 2640 12960 62814 52858 0 1240 15 25 20 0.10/0.12 c 2650 13013 63070 53052 0 1244 14 24 19 0.10/0.12 c 2660 13069 63327 53277 0 1250 16 24 19 0.10/0.12 c 2670 13117 63556 53497 0 1255 15 23 18 0.10/0.12 c 2680 13163 63766 53705 0 1259 15 23 18 0.10/0.12 c 2690 13218 64028 53943 0 1263 12 24 18 0.10/0.12 c 2700 13268 64270 54178 0 1268 11 25 17 0.10/0.12 c 2710 13308 64457 54360 0 1273 16 26 18 0.10/0.12 c 2720 13353 64676 54547 0 1276 17 24 18 0.10/0.12 c 2730 13411 64944 54748 0 1280 19 26 20 0.10/0.12 c 2740 13443 65114 54917 0 1282 13 23 16 0.10/0.12 c 2750 13500 65402 55128 0 1287 19 26 20 0.10/0.12 c 2760 13552 65683 55366 0 1292 17 25 19 0.10/0.12 c 2770 13600 65947 55560 0 1297 18 25 20 0.10/0.12 c 2771 13624 66049 55604 0 1298 24 24 12 0.10/0.13 c 2780 13673 66292 55779 0 1303 18 24 19 0.10/0.13 c 2790 13712 66489 55945 0 1306 17 24 18 0.10/0.13 c 2800 13756 66712 56110 0 1310 18 24 19 0.10/0.13 c 2810 13804 66957 56281 0 1314 20 24 20 0.10/0.13 c 2820 13850 67169 56481 0 1317 14 25 19 0.10/0.13 c 2830 13888 67361 56642 0 1324 17 25 19 0.10/0.13 c 2840 13932 67564 56830 0 1326 16 24 18 0.10/0.13 c 2850 13976 67770 57012 0 1329 18 25 19 0.10/0.13 c 2860 14021 67983 57205 0 1330 17 25 20 0.10/0.13 c 2870 14059 68174 57407 0 1337 13 24 17 0.10/0.13 c 2880 14102 68378 57586 0 1339 15 26 19 0.10/0.13 c 2890 14139 68552 57762 0 1342 15 25 18 0.10/0.13 c 2900 14182 68752 57936 0 1344 20 25 20 0.10/0.13 c 2910 14231 68978 58122 0 1348 16 25 20 0.10/0.13 c 2920 14288 69249 58330 0 1354 19 26 21 0.10/0.13 c 2930 14327 69434 58525 0 1355 15 26 18 0.10/0.13 c 2940 14379 69698 58708 0 1359 22 27 21 0.10/0.13 c 2950 14419 69910 58870 0 1360 18 25 20 0.10/0.13 c 2960 14463 70125 59043 0 1364 13 26 20 0.10/0.13 c 2970 14505 70338 59229 0 1367 15 24 18 0.10/0.13 c 2980 14548 70548 59424 0 1370 15 25 19 0.10/0.13 c 2990 14601 70821 59623 0 1376 17 26 20 0.10/0.13 c 3000 14651 71082 59835 0 1378 20 27 21 0.10/0.14 c 3010 14715 71399 60080 0 1386 14 25 19 0.10/0.14 c 3020 14759 71631 60283 0 1388 15 25 17 0.10/0.14 c 3030 14805 71848 60465 0 1394 16 26 20 0.10/0.14 c 3040 14858 72098 60652 0 1398 20 27 20 0.10/0.14 c 3050 14899 72294 60840 0 1407 14 23 18 0.10/0.14 c 3060 14950 72535 61017 0 1411 20 27 22 0.10/0.14 c 3070 15001 72775 61206 0 1415 20 26 20 0.10/0.14 c 3080 15056 73036 61415 0 1416 17 26 21 0.10/0.14 c 3090 15109 73278 61636 0 1420 12 25 19 0.10/0.14 c 3100 15158 73507 61836 0 1424 17 24 19 0.10/0.14 c 3110 15217 73778 62063 0 1428 12 26 20 0.10/0.14 c 3120 15259 73982 62263 0 1433 13 24 18 0.10/0.14 c 3130 15311 74226 62486 0 1439 13 25 19 0.10/0.14 c 3140 15355 74451 62675 0 1443 16 23 19 0.10/0.14 c 3142 15375 74542 62730 0 1445 18 19 12 0.10/0.14 c 3150 15413 74742 62918 0 1451 12 23 15 0.10/0.14 c 3160 15460 75009 63105 0 1454 18 24 18 0.10/0.14 c 3170 15497 75213 63296 0 1458 13 24 17 0.10/0.14 c 3180 15541 75445 63486 0 1464 16 24 18 0.10/0.14 c 3190 15585 75657 63667 0 1468 17 24 18 0.10/0.14 c 3200 15628 75875 63826 0 1474 18 25 19 0.10/0.14 c 3210 15661 76053 63984 0 1484 14 24 16 0.10/0.14 c 3220 15714 76305 64182 0 1491 19 25 19 0.10/0.15 c 3230 15757 76510 64377 0 1497 15 25 18 0.10/0.15 c 3240 15811 76766 64610 0 1500 19 24 19 0.10/0.15 c 3250 15855 76972 64804 0 1503 18 24 19 0.10/0.15 c 3260 15909 77219 65020 0 1508 13 27 19 0.10/0.15 c 3270 15981 77547 65295 0 1518 12 26 18 0.10/0.15 c 3280 16034 77788 65499 0 1521 18 25 20 0.10/0.15 c 3290 16103 78102 65736 0 1527 20 26 21 0.10/0.15 c 3300 16147 78323 65953 0 1533 11 22 16 0.10/0.15 c 3310 16193 78556 66144 0 1534 16 24 19 0.10/0.15 c 3320 16235 78760 66334 0 1537 12 25 18 0.10/0.15 c 3330 16273 78947 66520 0 1538 16 25 18 0.10/0.15 c 3340 16347 79287 66790 0 1545 16 26 20 0.10/0.15 c 3350 16402 79554 66995 0 1548 20 25 20 0.10/0.15 c 3360 16455 79812 67198 0 1555 17 25 19 0.10/0.15 c 3370 16505 80056 67396 0 1557 19 24 20 0.10/0.15 c 3380 16572 80362 67644 0 1566 13 27 19 0.10/0.15 c 3390 16623 80607 67835 0 1568 21 26 21 0.10/0.15 c 3400 16670 80835 68018 0 1571 13 26 20 0.10/0.15 c 3410 16716 81067 68187 0 1577 16 27 20 0.10/0.15 c 3420 16754 81272 68362 0 1580 15 24 18 0.10/0.15 c 3430 16816 81591 68590 0 1583 19 26 20 0.10/0.16 c 3440 16880 81921 68845 0 1591 12 26 19 0.10/0.16 c 3450 16922 82130 69037 0 1592 17 25 19 0.10/0.16 c 3460 16970 82359 69255 0 1595 13 24 16 0.10/0.16 c 3470 17012 82560 69448 0 1597 16 25 18 0.10/0.16 c 3480 17051 82743 69619 0 1604 16 25 19 0.10/0.16 c 3490 17120 83058 69867 0 1611 14 25 19 0.10/0.16 c 3500 17161 83256 70058 0 1613 13 24 18 0.10/0.16 c 3510 17216 83509 70270 0 1618 18 25 20 0.10/0.16 c 3520 17264 83723 70465 0 1625 16 25 19 0.10/0.16 c 3530 17302 83901 70665 0 1626 15 24 18 0.10/0.16 c 3540 17361 84168 70898 0 1631 18 24 19 0.10/0.16 c 3550 17415 84446 71120 0 1636 18 25 19 0.10/0.16 c 3551 17431 84519 71152 0 1637 16 16 8 0.10/0.16 c 3560 17481 84769 71356 0 1638 17 26 20 0.10/0.16 c 3570 17533 85026 71554 0 1641 21 26 21 0.10/0.16 c 3580 17580 85261 71748 0 1643 18 25 20 0.10/0.16 c 3590 17621 85459 71924 0 1650 15 25 18 0.10/0.16 c 3600 17670 85698 72108 0 1653 21 26 21 0.10/0.16 c 3610 17725 85973 72321 0 1660 15 25 19 0.10/0.16 c 3620 17772 86203 72500 0 1662 20 25 20 0.10/0.16 c 3630 17826 86460 72682 0 1667 23 26 22 0.10/0.16 c 3640 17870 86665 72867 0 1669 19 25 20 0.10/0.17 c 3650 17932 86966 73091 0 1673 17 25 21 0.10/0.17 c 3660 17977 87165 73278 0 1675 20 25 20 0.10/0.17 c 3670 18021 87362 73461 0 1679 17 25 20 0.10/0.17 c 3680 18067 87575 73653 0 1680 16 27 19 0.10/0.17 c 3690 18111 87777 73833 0 1689 15 26 19 0.10/0.17 c 3700 18149 87959 74008 0 1692 12 25 18 0.10/0.17 c 3710 18191 88176 74191 0 1696 14 23 18 0.10/0.17 c 3720 18238 88405 74378 0 1700 18 26 19 0.10/0.17 c 3730 18278 88610 74580 0 1702 15 22 17 0.10/0.17 c 3740 18335 88907 74793 0 1708 20 25 20 0.10/0.17 c 3750 18383 89149 74976 0 1711 21 25 21 0.10/0.17 c 3760 18428 89384 75168 0 1714 14 25 19 0.10/0.17 c 3770 18490 89681 75411 0 1721 14 26 19 0.10/0.17 c 3780 18543 89964 75623 0 1723 18 25 19 0.10/0.17 c 3790 18577 90154 75794 0 1725 14 23 16 0.10/0.17 c 3800 18641 90474 76053 0 1730 11 25 20 0.10/0.17 c 3810 18690 90718 76243 0 1735 19 26 20 0.10/0.17 c 3820 18754 91024 76504 0 1740 18 26 20 0.10/0.17 c 3830 18802 91247 76725 0 1745 16 24 18 0.10/0.17 c 3840 18866 91536 76975 0 1750 12 25 19 0.10/0.17 c 3850 18911 91752 77197 0 1755 12 23 17 0.10/0.17 c 3860 18951 91936 77396 0 1758 15 24 18 0.10/0.18 c 3870 18996 92151 77616 0 1764 13 22 17 0.10/0.18 c 3880 19045 92382 77826 0 1767 17 25 18 0.10/0.18 c 3890 19080 92549 78016 0 1768 15 26 17 0.10/0.18 c 3900 19143 92838 78259 0 1775 14 26 19 0.10/0.18 c 3910 19193 93072 78467 0 1777 20 27 21 0.10/0.18 c 3920 19250 93330 78677 0 1783 20 26 20 0.10/0.18 c 3930 19302 93569 78879 0 1788 16 26 20 0.10/0.18 c 3940 19352 93819 79084 0 1794 15 26 18 0.10/0.18 c 3950 19404 94102 79318 0 1796 13 23 18 0.10/0.18 c 3960 19457 94370 79555 0 1802 12 27 17 0.10/0.18 c 3970 19494 94567 79762 0 1803 13 22 16 0.10/0.18 c 3980 19540 94812 79946 0 1806 18 24 19 0.10/0.18 c 3990 19582 95031 80142 0 1808 18 24 19 0.10/0.18 c 4000 19624 95243 80328 0 1817 16 23 18 0.10/0.18 c 4001 19644 95332 80367 0 1818 20 20 10 0.10/0.18 c 4010 19682 95502 80534 0 1824 12 26 17 0.10/0.18 c 4020 19727 95704 80722 0 1832 16 26 18 0.10/0.18 c 4030 19768 95886 80912 0 1835 17 24 19 0.10/0.18 c 4040 19819 96114 81116 0 1840 18 24 19 0.10/0.18 c 4050 19873 96374 81349 0 1843 20 24 19 0.10/0.18 c 4060 19915 96577 81546 0 1847 12 24 18 0.10/0.18 c 4070 19960 96812 81740 0 1850 18 24 19 0.10/0.18 c 4080 20002 97003 81933 0 1859 13 25 17 0.10/0.19 c 4090 20044 97203 82116 0 1862 12 25 19 0.10/0.19 c 4100 20076 97376 82282 0 1872 14 23 16 0.10/0.19 c 4110 20120 97586 82451 0 1877 20 25 20 0.10/0.19 c 4120 20156 97752 82625 0 1880 15 24 17 0.10/0.19 c 4130 20189 97899 82790 0 1890 15 24 17 0.10/0.19 c 4140 20245 98153 83017 0 1897 16 25 19 0.10/0.19 c 4150 20292 98363 83226 0 1900 12 25 18 0.10/0.19 c 4160 20339 98582 83434 0 1904 14 23 18 0.10/0.19 c 4170 20394 98844 83660 0 1908 17 24 19 0.10/0.19 c 4180 20436 99050 83883 0 1909 12 22 16 0.10/0.19 c 4190 20476 99236 84089 0 1914 14 22 17 0.10/0.19 c 4200 20520 99462 84305 0 1916 12 21 15 0.10/0.19 c 4210 20560 99652 84503 0 1922 11 21 15 0.10/0.19 c 4220 20616 99917 84745 0 1927 11 22 17 0.10/0.19 c 4230 20655 100116 84927 0 1931 16 22 17 0.10/0.19 c 4240 20696 100314 85140 0 1934 14 20 16 0.10/0.19 c 4250 20743 100553 85328 0 1937 12 25 18 0.10/0.19 c 4260 20784 100768 85521 0 1941 12 23 17 0.10/0.19 c 4270 20823 100982 85712 0 1946 15 24 17 0.10/0.19 c 4280 20866 101204 85915 0 1953 15 23 17 0.10/0.19 c 4290 20914 101448 86107 0 1957 13 26 19 0.10/0.19 c 4300 20969 101707 86294 0 1961 21 25 20 0.10/0.19 c 4310 21034 102007 86507 0 1965 22 26 22 0.10/0.20 c 4320 21078 102227 86675 0 1968 18 25 19 0.10/0.20 c 4330 21129 102484 86889 0 1970 16 26 19 0.10/0.20 c 4340 21183 102724 87085 0 1973 20 26 20 0.10/0.20 c 4350 21235 102959 87288 0 1978 14 27 20 0.10/0.20 c 4360 21283 103171 87459 0 1982 20 27 21 0.10/0.20 c 4370 21340 103455 87672 0 1985 18 25 20 0.10/0.20 c 4380 21379 103645 87868 0 1991 13 24 17 0.10/0.20 c 4390 21424 103854 88055 0 1995 16 27 19 0.10/0.20 c 4400 21473 104097 88243 0 2000 14 26 18 0.10/0.20 c 4410 21519 104315 88429 0 2005 15 26 19 0.10/0.20 c 4420 21577 104582 88662 0 2013 14 25 19 0.10/0.20 c 4430 21629 104829 88861 0 2017 12 26 20 0.10/0.20 c 4440 21684 105088 89074 0 2022 17 26 19 0.10/0.20 c 4450 21729 105311 89253 0 2028 18 26 20 0.10/0.20 c 4460 21770 105510 89438 0 2034 17 23 18 0.10/0.20 c 4470 21813 105727 89609 0 2036 18 26 20 0.10/0.20 c 4480 21855 105928 89780 0 2041 17 26 20 0.10/0.20 c 4490 21917 106233 90011 0 2044 20 26 21 0.10/0.20 c 4493 21937 106323 90079 0 2047 13 18 12 0.10/0.20 c 4500 21974 106505 90210 0 2051 20 24 19 0.10/0.20 c 4510 22012 106698 90390 0 2057 13 24 17 0.10/0.20 c 4520 22072 107009 90634 0 2061 12 26 20 0.10/0.21 c 4530 22123 107267 90847 0 2062 17 26 20 0.10/0.21 c 4540 22169 107490 91035 0 2068 17 26 20 0.10/0.21 c 4550 22215 107715 91208 0 2074 18 25 20 0.10/0.21 c 4560 22264 107967 91444 0 2079 15 24 18 0.10/0.21 c 4570 22324 108252 91669 0 2083 19 25 20 0.10/0.21 c 4580 22369 108467 91861 0 2091 16 25 19 0.10/0.21 c 4590 22407 108649 92031 0 2092 18 26 20 0.10/0.21 c 4600 22467 108935 92254 0 2097 18 25 20 0.10/0.21 c 4610 22519 109193 92449 0 2099 20 25 20 0.10/0.21 c 4620 22566 109421 92664 0 2106 13 24 17 0.10/0.21 c 4630 22615 109701 92879 0 2110 19 23 19 0.10/0.21 c 4640 22672 109992 93088 0 2113 19 25 20 0.10/0.21 c 4650 22718 110233 93302 0 2115 14 22 17 0.10/0.21 c 4660 22754 110422 93474 0 2116 16 24 18 0.10/0.21 c 4670 22797 110640 93634 0 2121 18 26 20 0.10/0.21 c 4680 22852 110905 93831 0 2123 21 27 21 0.10/0.21 c 4690 22902 111159 94020 0 2130 17 26 20 0.10/0.21 c 4700 22954 111419 94206 0 2135 20 25 21 0.10/0.21 c 4710 23002 111642 94399 0 2138 19 24 20 0.21/0.21 c 4720 23049 111858 94601 0 2142 16 25 19 0.21/0.21 c 4730 23101 112103 94808 0 2147 19 24 19 0.21/0.22 c 4740 23151 112344 95021 0 2153 16 24 18 0.21/0.22 c 4750 23190 112535 95207 0 2155 18 22 18 0.21/0.22 c 4760 23235 112755 95405 0 2157 18 23 18 0.21/0.22 c 4770 23279 112976 95604 0 2165 14 23 16 0.21/0.22 c 4780 23329 113221 95817 0 2168 17 22 17 0.21/0.22 c 4790 23378 113459 96045 0 2171 16 22 17 0.21/0.22 c 4800 23434 113752 96281 0 2174 16 22 17 0.21/0.22 c 4810 23471 113939 96462 0 2179 14 23 16 0.21/0.22 c 4820 23539 114287 96724 0 2184 21 26 21 0.21/0.22 c 4830 23603 114599 96947 0 2187 19 27 21 0.21/0.22 c 4840 23666 114906 97192 0 2192 16 25 19 0.21/0.22 c 4850 23721 115180 97430 0 2200 13 23 17 0.21/0.22 c 4860 23773 115446 97645 0 2202 17 26 19 0.21/0.22 c 4870 23823 115707 97841 0 2204 17 25 19 0.21/0.22 c 4880 23868 115941 98057 0 2209 15 24 17 0.21/0.22 c 4890 23922 116215 98260 0 2212 20 26 20 0.21/0.22 c 4900 23980 116499 98486 0 2215 18 25 20 0.21/0.22 c 4910 24024 116724 98681 0 2221 17 25 18 0.21/0.22 c 4920 24074 116970 98888 0 2223 19 25 20 0.21/0.23 c 4930 24127 117240 99101 0 2229 14 26 18 0.21/0.23 c 4940 24161 117430 99267 0 2231 14 23 16 0.21/0.23 c 4950 24209 117673 99482 0 2241 13 26 17 0.21/0.23 c 4960 24251 117882 99656 0 2244 15 23 18 0.21/0.23 c 4970 24288 118073 99845 0 2250 12 23 16 0.21/0.23 c 4980 24329 118293 100043 0 2256 14 25 17 0.21/0.23 c 4990 24374 118533 100248 0 2262 15 23 16 0.21/0.23 c 5035 24513 119276 101031 0 2267 11 26 20 0.21/0.25 c 5631 26557 130322 111750 0 2269 12 27 22 0.21/0.27 c 6286 29045 144044 124377 0 2276 10 27 21 0.21/0.29 c 7006 31590 157566 137385 0 2289 11 27 22 0.31/0.32 c 7798 34551 173842 152494 0 2298 12 27 22 0.31/0.35 c 8669 37527 189689 167594 0 2307 12 28 23 0.31/0.38 c 9627 41135 209303 186164 0 2316 12 27 22 0.41/0.42 c 10680 44946 229842 205834 0 2326 13 27 22 0.41/0.45 c 11838 49016 251978 226722 0 2335 11 28 22 0.41/0.50 c 13111 53424 277267 250871 0 2343 11 26 21 0.51/0.54 c 14511 58173 302214 275801 0 2351 14 27 22 0.51/0.59 c 16051 63694 331578 304496 0 2353 13 27 22 0.60/0.64 c 17745 69795 365501 335745 0 2358 13 27 22 0.69/0.70 c 19608 76149 400638 369275 0 2366 13 27 22 0.69/0.77 c 21657 83493 438963 407634 0 2376 11 27 22 0.79/0.84 c 23910 91423 480320 448168 0 2386 13 27 22 0.89/0.92 c 26388 100076 526771 493524 0 2391 13 27 21 0.89/1.00 c 29113 109544 578092 543122 0 2404 12 28 22 1.00/1.10 c 32110 120275 635553 598534 0 2411 9 27 22 1.19/1.21 c 35406 132153 700284 659520 0 2423 12 28 22 1.29/1.33 c 39031 145467 775353 728017 0 2433 9 27 22 1.39/1.47 c 43018 160018 858494 804515 0 2438 10 27 22 1.59/1.61 c 47403 175381 943181 885806 0 2446 13 27 22 1.69/1.78 c 52226 193092 1045677 980615 0 2455 13 27 22 1.89/1.96 c 57531 212425 1154961 1081221 0 2460 11 27 22 2.10/2.17 c 63366 233799 1276271 1194878 0 2471 11 27 22 2.39/2.40 c 69784 257715 1411404 1318865 0 2482 10 27 22 2.59/2.63 c 76843 283376 1555571 1452661 0 2491 11 27 22 2.79/2.89 c 84607 310535 1707012 1593952 0 2499 13 27 22 3.10/3.16 c 93147 340321 1872997 1752693 0 2506 12 27 22 3.39/3.46 c 102541 372572 2051508 1922616 0 2514 13 27 22 3.69/3.79 c 112874 408741 2252775 2114556 0 2524 12 27 22 4.10/4.16 c 124240 447994 2469743 2326430 0 2533 14 27 22 4.49/4.56 c 136742 491933 2708437 2562058 0 2546 13 28 22 4.89/4.99 c 150494 539333 2968019 2815971 0 2554 13 28 22 5.39/5.48 c 165621 592457 3259158 3108761 0 2564 10 28 22 6.00/6.05 c 182260 652166 3600072 3427801 0 2575 11 28 22 6.59/6.67 c 200562 718212 3974581 3778693 0 2586 11 28 22 7.29/7.38 c 220694 790681 4395347 4167684 0 2598 10 27 22 8.10/8.14 c 242839 869977 4849545 4593400 0 2610 10 28 22 8.89/8.94 c 267198 955057 5324235 5058517 0 2617 12 27 22 9.79/9.82 c 293992 1048247 5847763 5563351 0 2625 11 28 22 9.79/9.82 conflict 7lvl : 14 bt12-59:0(12)X51221 10.79/10.82 c 323465 1153045 6437374 6135774 0 2637 12 27 22 11.89/11.92 c 355885 1270338 7096448 6759860 0 2644 11 28 22 13.00/13.09 c 391547 1396208 7792535 7439640 0 2655 11 28 22 14.39/14.42 c 430775 1535292 8582256 8203445 0 2664 11 28 22 15.89/15.90 c 473925 1689809 9462793 9044678 0 2673 11 28 22 17.49/17.52 c 521390 1858909 10420580 9985181 0 2683 10 27 22 19.29/19.31 c 573601 2045081 11487523 11010287 0 2692 10 27 22 21.19/21.20 c 631033 2249239 12637701 12133911 0 2702 12 28 23 23.29/23.39 c 694208 2474943 13944184 13380640 0 2712 12 27 22 25.79/25.81 c 763700 2726164 15388751 14750179 0 2725 10 28 22 28.39/28.46 c 840141 3002649 16982964 16244990 0 2736 11 28 22 31.29/31.39 c 924226 3305481 18747861 17916135 0 2745 10 28 22 33.89/33.90 c solution 1 33.89/33.90 33.89/33.90 v <instantiation type='solution'> 33.89/33.90 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] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] </list> 33.89/33.90 v <values>1 0 1 0 1 1 0 1 0 1 1 1 1 0 0 1 0 0 0 0 1 1 0 0 1 1 0 1 1 0 </values> 33.89/33.90 v </instantiation> 33.89/33.90 33.89/33.90 c restarts : 571 33.89/33.90 c conflicts : 994799 (29342 /sec) 33.89/33.90 c decisions : 3563527 (105107 /sec) 33.89/33.90 c propagations : 19326870 (570051 /sec) 33.89/33.90 c root propagations : 0 33.89/33.90 c filter calls : 20243654 (597092 /sec) 33.89/33.90 c useless filter calls : 16795987 (82 %) 33.89/33.90 c 33.89/33.90 c clauses : 2805 33.89/33.90 c SAT propagations : 252 33.89/33.90 c SAT conflicts : 194 (1 learnts) 33.89/33.90 c Memory used : 30.88 MB 33.89/33.90 c CPU time : 33.9037 s 33.89/33.90 33.89/33.90 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 (12365 MiB free)
memory of node 1: 16384 MiB (13662 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266176-1502581052/watcher-4266176-1502581052 -o /tmp/evaluation-result-4266176-1502581052/solver-4266176-1502581052 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502567255-24402 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266176-1502581052.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=26453, runsolver pid=26450
Current StackSize limit: 8192 KiB
[startup+0.100188 s]*
/proc/loadavg: 1.94 1.98 2.03 3/188 26454
/proc/meminfo: memFree=26652500/32770624 swapFree=67108860/67108860
[pid=26453] ppid=26450 vsize=31484 memory=3592 CPUtime=0.1 cores=0,2,4,6
/proc/26453/stat : 26453 (cosoco) R 26450 26453 24318 0 -1 4202496 1079 0 0 0 10 0 0 0 20 0 1 0 91176883 32239616 898 33554432000 4194304 5972588 140721369538960 140721369535608 139796280908773 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 39370752 140721369547962 140721369548062 140721369548062 140721369550798 0
/proc/26453/statm: 7871 898 782 435 0 1234 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31484 KiB
Current children cumulated memory: 3592 KiB
[startup+0.209921 s]*
/proc/loadavg: 1.94 1.98 2.03 3/188 26454
/proc/meminfo: memFree=26652128/32770624 swapFree=67108860/67108860
[pid=26453] ppid=26450 vsize=31484 memory=3592 CPUtime=0.21 cores=0,2,4,6
/proc/26453/stat : 26453 (cosoco) R 26450 26453 24318 0 -1 4202496 1114 0 0 0 21 0 0 0 20 0 1 0 91176883 32239616 898 33554432000 4194304 5972588 140721369538960 140721369535608 139796281347168 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 39370752 140721369547962 140721369548062 140721369548062 140721369550798 0
/proc/26453/statm: 7871 898 782 435 0 1234 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31484 KiB
Current children cumulated memory: 3592 KiB
[startup+0.30924 s]*
/proc/loadavg: 1.94 1.98 2.03 3/188 26454
/proc/meminfo: memFree=26652128/32770624 swapFree=67108860/67108860
[pid=26453] ppid=26450 vsize=31484 memory=3592 CPUtime=0.31 cores=0,2,4,6
/proc/26453/stat : 26453 (cosoco) R 26450 26453 24318 0 -1 4202496 1121 0 0 0 31 0 0 0 20 0 1 0 91176883 32239616 898 33554432000 4194304 5972588 140721369538960 140721369535608 5139319 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 39370752 140721369547962 140721369548062 140721369548062 140721369550798 0
/proc/26453/statm: 7871 898 782 435 0 1234 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31484 KiB
Current children cumulated memory: 3592 KiB
[startup+0.700371 s]
/proc/loadavg: 1.94 1.98 2.03 3/188 26454
/proc/meminfo: memFree=26652128/32770624 swapFree=67108860/67108860
[pid=26453] ppid=26450 vsize=31484 memory=3592 CPUtime=0.69 cores=0,2,4,6
/proc/26453/stat : 26453 (cosoco) R 26450 26453 24318 0 -1 4202496 1125 0 0 0 69 0 0 0 20 0 1 0 91176883 32239616 898 33554432000 4194304 5972588 140721369538960 140721369535608 5139264 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 39370752 140721369547962 140721369548062 140721369548062 140721369550798 0
/proc/26453/statm: 7871 898 782 435 0 1234 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 31484 KiB
Current children cumulated memory: 3592 KiB
[startup+1.50034 s]
/proc/loadavg: 1.94 1.98 2.03 3/188 26454
/proc/meminfo: memFree=26651880/32770624 swapFree=67108860/67108860
[pid=26453] ppid=26450 vsize=31484 memory=3856 CPUtime=1.49 cores=0,2,4,6
/proc/26453/stat : 26453 (cosoco) R 26450 26453 24318 0 -1 4202496 1127 0 0 0 149 0 0 0 20 0 1 0 91176883 32239616 964 33554432000 4194304 5972588 140721369538960 140721369536264 5273261 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 39370752 140721369547962 140721369548062 140721369548062 140721369550798 0
/proc/26453/statm: 7871 964 782 435 0 1234 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 31484 KiB
Current children cumulated memory: 3856 KiB
[startup+3.10906 s]
/proc/loadavg: 1.94 1.98 2.03 3/188 26454
/proc/meminfo: memFree=26651880/32770624 swapFree=67108860/67108860
[pid=26453] ppid=26450 vsize=31616 memory=3876 CPUtime=3.1 cores=0,2,4,6
/proc/26453/stat : 26453 (cosoco) R 26450 26453 24318 0 -1 4202496 1252 0 0 0 310 0 0 0 20 0 1 0 91176883 32374784 969 33554432000 4194304 5972588 140721369538960 140721369536264 5040613 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 39370752 140721369547962 140721369548062 140721369548062 140721369550798 0
/proc/26453/statm: 7904 969 782 435 0 1267 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 31616 KiB
Current children cumulated memory: 3876 KiB
[startup+6.30033 s]
/proc/loadavg: 1.95 1.98 2.03 3/188 26454
/proc/meminfo: memFree=26651760/32770624 swapFree=67108860/67108860
[pid=26453] ppid=26450 vsize=31616 memory=3880 CPUtime=6.29 cores=0,2,4,6
/proc/26453/stat : 26453 (cosoco) R 26450 26453 24318 0 -1 4202496 1378 0 0 0 629 0 0 0 20 0 1 0 91176883 32374784 970 33554432000 4194304 5972588 140721369538960 140721369536264 5139264 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 39370752 140721369547962 140721369548062 140721369548062 140721369550798 0
/proc/26453/statm: 7904 970 782 435 0 1267 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 31616 KiB
Current children cumulated memory: 3880 KiB
[startup+12.7003 s]
/proc/loadavg: 1.95 1.98 2.03 3/188 26454
/proc/meminfo: memFree=26651636/32770624 swapFree=67108860/67108860
[pid=26453] ppid=26450 vsize=31616 memory=3892 CPUtime=12.69 cores=0,2,4,6
/proc/26453/stat : 26453 (cosoco) R 26450 26453 24318 0 -1 4202496 1509 0 0 0 1269 0 0 0 20 0 1 0 91176883 32374784 973 33554432000 4194304 5972588 140721369538960 140721369536264 5039340 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 39370752 140721369547962 140721369548062 140721369548062 140721369550798 0
/proc/26453/statm: 7904 973 782 435 0 1267 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 31616 KiB
Current children cumulated memory: 3892 KiB
[startup+25.5003 s]
/proc/loadavg: 1.96 1.98 2.03 3/188 26454
/proc/meminfo: memFree=26651884/32770624 swapFree=67108860/67108860
[pid=26453] ppid=26450 vsize=31616 memory=3932 CPUtime=25.49 cores=0,2,4,6
/proc/26453/stat : 26453 (cosoco) R 26450 26453 24318 0 -1 4202496 1768 0 0 0 2549 0 0 0 20 0 1 0 91176883 32374784 983 33554432000 4194304 5972588 140721369538960 140721369536264 5039164 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 39370752 140721369547962 140721369548062 140721369548062 140721369550798 0
/proc/26453/statm: 7904 983 785 435 0 1267 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 31616 KiB
Current children cumulated memory: 3932 KiB
[startup+33.9073 s]
# the end of solver process 26453 was just reported to runsolver
# cumulated CPU time of all completed processes: user=33.9041 s, system=0.004017 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6003 s]
/proc/loadavg: 1.96 1.98 2.03 3/188 26454
/proc/meminfo: memFree=26651884/32770624 swapFree=67108860/67108860
[pid=26453] ppid=26450 vsize=31616 memory=3932 CPUtime=25.59 cores=0,2,4,6
/proc/26453/stat : 26453 (cosoco) R 26450 26453 24318 0 -1 4202496 1768 0 0 0 2559 0 0 0 20 0 1 0 91176883 32374784 983 33554432000 4194304 5972588 140721369538960 140721369536264 5139312 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 39370752 140721369547962 140721369548062 140721369548062 140721369550798 0
/proc/26453/statm: 7904 983 785 435 0 1267 0
Current children cumulated CPU time: 25.59 s
Current children cumulated vsize: 31616 KiB
Current children cumulated memory: 3932 KiB
[startup+28.8003 s]
/proc/loadavg: 1.96 1.98 2.03 3/188 26515
/proc/meminfo: memFree=26655284/32770624 swapFree=67108860/67108860
[pid=26453] ppid=26450 vsize=31616 memory=3932 CPUtime=28.79 cores=0,2,4,6
/proc/26453/stat : 26453 (cosoco) R 26450 26453 24318 0 -1 4202496 1773 0 0 0 2879 0 0 0 20 0 1 0 91176883 32374784 983 33554432000 4194304 5972588 140721369538960 140721369536264 5039335 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 39370752 140721369547962 140721369548062 140721369548062 140721369550798 0
/proc/26453/statm: 7904 983 785 435 0 1267 0
Current children cumulated CPU time: 28.79 s
Current children cumulated vsize: 31616 KiB
Current children cumulated memory: 3932 KiB
[startup+32.0003 s]*
/proc/loadavg: 1.96 1.99 2.03 3/188 26515
/proc/meminfo: memFree=26106164/32770624 swapFree=67108860/67108860
[pid=26453] ppid=26450 vsize=31616 memory=3932 CPUtime=32 cores=0,2,4,6
/proc/26453/stat : 26453 (cosoco) R 26450 26453 24318 0 -1 4202496 1774 0 0 0 3200 0 0 0 20 0 1 0 91176883 32374784 983 33554432000 4194304 5972588 140721369538960 140721369536264 5041600 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 39370752 140721369547962 140721369548062 140721369548062 140721369550798 0
/proc/26453/statm: 7904 983 785 435 0 1267 0
Current children cumulated CPU time: 32 s
Current children cumulated vsize: 31616 KiB
Current children cumulated memory: 3932 KiB
[startup+32.8003 s]
/proc/loadavg: 1.96 1.99 2.03 3/188 26515
/proc/meminfo: memFree=26106164/32770624 swapFree=67108860/67108860
[pid=26453] ppid=26450 vsize=31616 memory=3932 CPUtime=32.79 cores=0,2,4,6
/proc/26453/stat : 26453 (cosoco) R 26450 26453 24318 0 -1 4202496 1774 0 0 0 3279 0 0 0 20 0 1 0 91176883 32374784 983 33554432000 4194304 5972588 140721369538960 140721369536264 5039701 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 39370752 140721369547962 140721369548062 140721369548062 140721369550798 0
/proc/26453/statm: 7904 983 785 435 0 1267 0
Current children cumulated CPU time: 32.79 s
Current children cumulated vsize: 31616 KiB
Current children cumulated memory: 3932 KiB
[startup+33.6003 s]
/proc/loadavg: 1.96 1.99 2.03 3/188 26515
/proc/meminfo: memFree=26103956/32770624 swapFree=67108860/67108860
[pid=26453] ppid=26450 vsize=31616 memory=3932 CPUtime=33.59 cores=0,2,4,6
/proc/26453/stat : 26453 (cosoco) R 26450 26453 24318 0 -1 4202496 1774 0 0 0 3359 0 0 0 20 0 1 0 91176883 32374784 983 33554432000 4194304 5972588 140721369538960 140721369536264 5039340 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 39370752 140721369547962 140721369548062 140721369548062 140721369550798 0
/proc/26453/statm: 7904 983 785 435 0 1267 0
Current children cumulated CPU time: 33.59 s
Current children cumulated vsize: 31616 KiB
Current children cumulated memory: 3932 KiB
[startup+33.8003 s]
/proc/loadavg: 1.96 1.99 2.03 3/188 26515
/proc/meminfo: memFree=26103956/32770624 swapFree=67108860/67108860
[pid=26453] ppid=26450 vsize=31616 memory=3932 CPUtime=33.79 cores=0,2,4,6
/proc/26453/stat : 26453 (cosoco) R 26450 26453 24318 0 -1 4202496 1774 0 0 0 3379 0 0 0 20 0 1 0 91176883 32374784 983 33554432000 4194304 5972588 140721369538960 140721369536264 5039672 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 39370752 140721369547962 140721369548062 140721369548062 140721369550798 0
/proc/26453/statm: 7904 983 785 435 0 1267 0
Current children cumulated CPU time: 33.79 s
Current children cumulated vsize: 31616 KiB
Current children cumulated memory: 3932 KiB
[startup+33.9003 s]
/proc/loadavg: 1.96 1.99 2.03 3/188 26515
/proc/meminfo: memFree=26103956/32770624 swapFree=67108860/67108860
[pid=26453] ppid=26450 vsize=31616 memory=3932 CPUtime=33.89 cores=0,2,4,6
/proc/26453/stat : 26453 (cosoco) R 26450 26453 24318 0 -1 4202496 1774 0 0 0 3389 0 0 0 20 0 1 0 91176883 32374784 983 33554432000 4194304 5972588 140721369538960 140721369536264 5139324 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 39370752 140721369547962 140721369548062 140721369548062 140721369550798 0
/proc/26453/statm: 7904 983 785 435 0 1267 0
Current children cumulated CPU time: 33.89 s
Current children cumulated vsize: 31616 KiB
Current children cumulated memory: 3932 KiB
Child status: 0
Real time (s): 33.9073
CPU time (s): 33.9081
CPU user time (s): 33.9041
CPU system time (s): 0.004017
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 31616
Max. memory (cumulated for all children) (KiB): 3932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.9041
system time used= 0.004017
maximum resident set size= 4008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1814
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= 44
# summary of solver processes directly reported to runsolver:
# pid: 26453
# total CPU time (s): 33.9081
# total CPU user time (s): 33.9041
# total CPU system time (s): 0.004017
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.153126 second user time and 0.273465 second system time
The end
Begin job on node105 at 2017-08-13 01:23:14 IDJOB=4266176 IDBENCH=133094 IDSOLVER=2655 FILE ID=node105/4266176-1502581052 RUNJOBID= node105-1502567255-24402 PBS_JOBID= 20628286 Free space on /tmp= 60664 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/MarketSplit/MarketSplit-m1-gp/MarketSplit-03.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266176-1502581052/watcher-4266176-1502581052 -o /tmp/evaluation-result-4266176-1502581052/solver-4266176-1502581052 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502567255-24402 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266176-1502581052.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 179d2a128a53b26e9bde33d3c842c186 RANDOM SEED=1263545489 node105.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: 26653276 kB MemAvailable: 31967980 kB Buffers: 140204 kB Cached: 5452104 kB SwapCached: 0 kB Active: 657236 kB Inactive: 5000420 kB Active(anon): 68636 kB Inactive(anon): 25072 kB Active(file): 588600 kB Inactive(file): 4975348 kB Unevictable: 6236 kB Mlocked: 6236 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2156 kB Writeback: 4 kB AnonPages: 72068 kB Mapped: 44596 kB Shmem: 25228 kB Slab: 158928 kB SReclaimable: 133184 kB SUnreclaim: 25744 kB KernelStack: 3328 kB PageTables: 5312 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 366172 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 16384 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 60656 MiB End job on node105 at 2017-08-13 01:23:48