Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Mistral-2.0 2017-07-28 | SAT (TO) | 500 | 251.785 | 252.011 |
| Name | TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-05.xml |
| MD5SUM | 8c67453fb3d985d7ef69f755cd1f1510 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 404 |
| Best CPU time to get the best result obtained on this benchmark | 247.963 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 200 |
| Number of constraints | 101 |
| Number of domains | 2 |
| Minimum domain size | 63 |
| Maximum domain size | 100 |
| Distribution of domain sizes | [{"size":63,"count":100},{"size":100,"count":100}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":2,"count":100},{"degree":3,"count":100}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 100 |
| Distribution of constraint arities | [{"arity":3,"count":100},{"arity":100,"count":1}] |
| Number of extensional constraints | 100 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":100},{"type":"allDifferent","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.10 c 280717 0.30/0.42 o 2089 0.30/0.42 o 2055 0.30/0.42 o 2043 0.30/0.42 o 2033 0.30/0.42 o 2013 0.30/0.42 o 2007 0.30/0.42 o 1998 0.30/0.42 o 1990 0.30/0.42 o 1984 0.30/0.42 o 1969 0.30/0.42 o 1960 0.30/0.42 o 1959 0.30/0.42 o 1957 0.40/0.54 o 1956 0.40/0.54 o 1947 0.50/0.65 o 1942 0.50/0.65 o 1939 0.50/0.65 o 1934 0.50/0.66 o 1933 0.59/0.76 o 1912 0.59/0.76 o 1911 0.59/0.76 o 1908 0.69/0.87 o 1903 0.69/0.87 o 1893 0.69/0.87 o 1882 0.69/0.87 o 1878 0.69/0.87 o 1876 0.69/0.88 o 1875 0.69/0.88 o 1873 0.69/0.88 o 1821 0.79/0.99 o 1788 0.79/0.99 o 1787 0.90/1.10 o 1786 0.90/1.10 o 1785 0.90/1.10 o 1776 0.90/1.10 o 1773 0.90/1.10 o 1772 0.90/1.10 o 1771 0.90/1.10 o 1769 0.90/1.10 o 1767 1.09/1.21 o 1766 1.09/1.21 o 1765 1.09/1.21 o 1764 1.09/1.21 o 1756 1.09/1.22 o 1752 1.09/1.22 o 1751 1.09/1.22 o 1749 1.19/1.33 o 1748 1.19/1.33 o 1746 1.19/1.34 o 1745 1.19/1.34 o 1734 1.19/1.34 o 1725 1.29/1.44 o 1724 1.29/1.44 o 1721 1.29/1.44 o 1713 1.29/1.44 o 1712 1.29/1.44 o 1710 1.29/1.45 o 1708 1.29/1.45 o 1706 1.29/1.45 o 1702 1.39/1.55 o 1683 1.39/1.55 o 1682 1.39/1.55 o 1681 1.39/1.55 o 1678 1.39/1.55 o 1646 1.39/1.55 o 1635 1.39/1.55 o 1628 1.39/1.55 o 1626 1.39/1.56 o 1624 1.39/1.56 o 1621 1.49/1.67 o 1618 1.49/1.67 o 1579 1.49/1.67 o 1555 1.49/1.68 o 1507 1.58/1.78 o 1506 1.58/1.78 o 1503 1.58/1.79 o 1502 1.58/1.79 o 1501 1.58/1.79 o 1492 1.58/1.79 o 1463 1.58/1.79 o 1458 1.58/1.79 o 1456 1.68/1.89 o 1438 1.68/1.89 o 1429 1.68/1.89 o 1421 1.78/1.90 o 1396 1.78/1.90 o 1378 1.78/1.90 o 1376 1.78/1.90 o 1375 1.78/1.90 o 1371 1.78/1.90 o 1364 1.78/1.90 o 1361 1.78/1.90 o 1347 1.78/1.90 o 1346 1.99/2.16 o 1340 1.99/2.16 o 1339 2.29/2.44 o 1324 2.29/2.44 o 1310 2.29/2.44 o 1303 2.39/2.55 o 1302 2.39/2.55 o 1301 2.39/2.56 o 1276 2.39/2.57 o 1264 2.39/2.57 o 1261 2.49/2.67 o 1255 2.49/2.67 o 1249 2.49/2.67 o 1248 2.49/2.67 o 1244 2.49/2.67 o 1235 2.59/2.78 o 1231 2.59/2.78 o 1217 2.69/2.89 o 1206 2.69/2.89 o 1204 2.79/3.00 o 1200 3.00/3.14 o 1198 3.09/3.25 o 1180 3.09/3.25 o 1179 3.19/3.37 o 1177 3.19/3.37 o 1176 3.29/3.48 o 1175 3.29/3.48 o 1169 3.29/3.49 o 1161 3.59/3.72 o 1160 3.69/3.84 o 1158 3.69/3.85 o 1156 3.69/3.85 o 1155 3.69/3.85 o 1154 3.69/3.86 o 1153 3.90/4.01 o 1152 4.00/4.14 o 1149 4.28/4.49 o 1148 4.48/4.60 o 1137 4.48/4.60 o 1134 4.48/4.61 o 1131 4.48/4.61 o 1128 4.48/4.61 o 1126 4.58/4.73 o 1124 4.78/4.95 o 1123 4.89/5.06 o 1122 4.89/5.06 o 1120 5.08/5.20 o 1117 5.18/5.32 o 1116 5.18/5.32 o 1114 5.38/5.55 o 1113 5.48/5.66 o 1112 5.58/5.77 o 1106 5.89/6.03 o 1101 5.89/6.03 o 1100 5.89/6.03 o 1095 5.89/6.06 o 1093 5.99/6.18 o 1090 6.08/6.28 o 1089 6.08/6.29 o 1079 6.18/6.40 o 1077 6.58/6.75 o 1076 6.68/6.87 o 1075 6.99/7.12 o 1070 6.99/7.12 o 1068 7.08/7.23 o 1062 7.08/7.23 o 1061 7.28/7.46 o 1057 7.28/7.46 o 1056 7.28/7.46 o 1054 7.28/7.46 o 1053 7.59/7.71 o 1050 7.69/7.86 o 1048 8.08/8.24 o 1045 8.38/8.51 o 1043 8.58/8.72 o 1036 8.58/8.73 o 1035 8.58/8.73 o 1034 8.68/8.85 o 1030 8.78/8.96 o 1028 8.99/9.19 o 1027 9.18/9.32 o 1024 9.18/9.32 o 1021 9.18/9.33 o 1019 9.48/9.67 o 1018 9.48/9.67 o 1016 9.48/9.67 o 1015 9.48/9.67 o 1013 9.48/9.67 o 1012 9.48/9.67 o 1010 9.48/9.67 o 1002 9.48/9.67 o 999 9.48/9.67 o 998 9.58/9.78 o 990 9.58/9.78 o 988 9.68/9.89 o 987 9.89/10.01 o 986 9.89/10.01 o 978 9.89/10.02 o 977 9.89/10.02 o 976 9.99/10.14 o 975 9.99/10.16 o 968 9.99/10.16 o 967 10.28/10.42 o 960 10.28/10.42 o 959 10.38/10.54 o 956 10.38/10.54 o 954 10.48/10.66 o 952 10.68/10.89 o 950 10.89/11.01 o 940 10.89/11.01 o 937 10.89/11.03 o 936 10.89/11.03 o 935 11.08/11.26 o 934 11.18/11.36 o 933 11.58/11.73 o 930 11.58/11.73 o 929 11.58/11.73 o 926 11.58/11.73 o 925 11.68/11.85 o 923 12.08/12.21 o 915 12.28/12.42 o 905 12.28/12.42 o 904 12.28/12.42 o 900 12.78/13.00 o 899 13.38/13.51 o 898 13.48/13.62 o 897 13.48/13.63 o 891 13.58/13.73 o 871 13.58/13.74 o 867 13.68/13.87 o 866 13.89/14.09 o 855 13.89/14.09 o 850 14.18/14.38 o 849 14.18/14.38 o 848 14.18/14.38 o 841 14.18/14.38 o 839 14.28/14.49 o 838 14.58/14.73 o 837 14.58/14.73 o 830 14.78/14.97 o 825 14.78/14.97 o 823 15.78/15.95 o 822 15.78/15.95 o 816 15.78/15.97 o 815 15.99/16.17 o 813 16.58/16.79 o 809 16.68/16.80 o 807 16.68/16.84 o 806 17.18/17.32 o 803 17.88/18.05 o 802 18.38/18.55 o 800 18.88/19.02 o 797 18.99/19.11 o 796 19.08/19.23 o 794 19.08/19.23 o 793 19.48/19.67 o 788 19.58/19.79 o 787 19.78/19.92 o 781 19.78/19.92 o 780 20.68/20.88 o 779 20.68/20.88 o 778 20.78/20.92 o 773 22.18/22.37 o 772 22.77/22.99 o 769 22.77/22.99 o 768 22.98/23.13 o 765 22.98/23.13 o 763 22.98/23.13 o 759 22.98/23.13 o 757 22.98/23.13 o 754 22.98/23.13 o 753 22.98/23.13 o 752 22.98/23.13 o 750 24.08/24.21 o 748 24.78/24.90 o 747 24.78/24.90 o 745 24.78/24.90 o 744 24.89/25.01 o 743 24.89/25.01 o 741 24.89/25.01 o 739 24.89/25.02 o 738 24.89/25.02 o 737 25.68/25.83 o 734 25.89/26.08 o 733 25.89/26.08 o 730 26.38/26.57 o 728 26.48/26.68 o 727 26.48/26.68 o 716 26.89/27.02 o 714 26.89/27.02 o 713 26.89/27.02 o 711 27.08/27.27 o 707 27.38/27.57 o 706 28.08/28.27 o 705 28.78/28.99 o 704 29.28/29.46 o 698 30.78/30.99 o 697 31.08/31.23 o 695 32.48/32.63 o 693 33.38/33.57 o 689 38.38/38.51 o 687 39.38/39.52 o 686 39.78/39.98 o 674 40.99/41.12 o 673 44.68/44.89 o 672 44.68/44.90 o 665 45.78/45.96 o 663 46.18/46.31 o 657 46.18/46.31 o 655 46.18/46.31 o 650 46.48/46.66 o 648 47.48/47.69 o 644 47.48/47.70 o 642 48.38/48.56 o 641 48.38/48.56 o 637 48.38/48.57 o 636 50.38/50.56 o 634 51.37/51.55 o 627 51.37/51.55 o 626 51.37/51.57 o 622 51.37/51.57 o 621 55.67/55.84 o 615 55.67/55.84 o 614 55.88/56.10 o 598 56.07/56.21 o 597 56.07/56.21 o 595 56.07/56.21 o 593 56.37/56.54 o 592 56.47/56.66 o 588 56.88/57.08 o 585 56.88/57.09 o 584 57.37/57.54 o 579 57.37/57.55 o 578 58.07/58.25 o 577 59.27/59.40 o 575 59.88/60.02 o 573 60.46/60.60 o 571 60.46/60.60 o 570 62.26/62.43 o 567 62.26/62.43 o 564 63.76/63.94 o 562 64.16/64.34 o 558 78.04/78.29 o 556 79.85/80.06 o 555 84.04/84.28 o 554 84.34/84.50 o 551 84.64/84.86 o 549 85.04/85.22 o 546 85.14/85.33 o 543 88.94/89.14 o 542 89.33/89.51 o 537 92.13/92.35 o 536 92.23/92.45 o 535 94.22/94.42 o 534 99.62/99.82 o 532 108.02/108.27 o 530 108.02/108.27 o 523 111.51/111.74 o 522 113.92/114.15 o 520 113.92/114.15 o 514 113.92/114.15 o 513 115.21/115.49 o 511 117.31/117.60 o 510 120.60/120.85 o 507 121.40/121.60 o 505 161.59/161.89 o 504 195.28/195.56 o 502 195.28/195.58 o 501 247.97/248.26 o 500 251.77/252.01 s SATISFIABLE 251.77/252.01 v <instantiation type="solution"> 251.77/252.01 v <list> c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[90] c[91] c[92] c[93] c[94] c[95] c[96] c[97] c[98] c[99] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] </list> 251.77/252.01 v <values> 20 15 16 12 0 3 7 8 18 17 13 21 22 19 10 11 34 29 27 32 41 44 40 52 51 39 43 64 67 68 70 73 76 91 94 85 61 65 71 87 95 96 97 92 98 93 89 79 88 84 80 66 59 60 50 48 49 47 42 45 54 56 55 63 75 83 99 81 77 78 74 62 53 28 26 9 6 4 1 2 5 14 23 24 30 38 72 82 86 90 69 58 57 46 37 35 36 33 31 25 3 2 1 9 4 4 1 4 1 1 5 3 10 6 4 11 4 2 6 6 1 4 11 1 6 1 11 1 3 1 2 1 8 1 4 11 9 2 9 5 6 9 3 5 1 3 8 6 3 4 7 8 5 6 1 3 8 4 3 6 2 1 6 5 7 8 9 4 1 1 5 6 13 1 9 4 1 4 4 10 4 5 1 4 5 15 6 2 4 11 4 1 7 4 7 10 20 3 2 6 </values> 251.77/252.01 v </instantiation>
OK 500
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 (15358 MiB free)
memory of node 1: 16384 MiB (15555 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259325-1502657072/watcher-4259325-1502657072 -o /tmp/evaluation-result-4259325-1502657072/solver-4259325-1502657072 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502640747-30540 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1480363838 HOME/instance-4259325-1502657072.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=6681, runsolver pid=6678
[startup+0.100132 s]*
/proc/loadavg: 1.92 2.00 2.04 2/185 6682
/proc/meminfo: memFree=31656268/32770624 swapFree=67105588/67108860
[pid=6681] ppid=6678 vsize=28384 memory=1892 CPUtime=0 cores=1,3,5,7
/proc/6681/stat : 6681 (MistralXCSP) R 6678 6681 12560 0 -1 4202496 678 0 0 0 0 0 0 0 20 0 1 0 67902604 29065216 473 18446744073709551615 4194304 7396336 140732207436144 140732207433144 4375712 0 0 1 0 0 0 0 17 5 0 0 10 0 0 9496464 9501696 12890112 140732207444370 140732207444520 140732207444520 140732207448009 0
/proc/6681/statm: 7096 473 402 782 0 112 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 28384 KiB
Current children cumulated memory: 1892 KiB
[startup+0.209366 s]*
/proc/loadavg: 1.92 2.00 2.04 3/185 6682
/proc/meminfo: memFree=31610572/32770624 swapFree=67105588/67108860
[pid=6681] ppid=6678 vsize=79680 memory=53860 CPUtime=0.1 cores=1,3,5,7
/proc/6681/stat : 6681 (MistralXCSP) R 6678 6681 12560 0 -1 4202496 13717 0 0 0 9 1 0 0 20 0 1 0 67902604 81592320 13465 18446744073709551615 4194304 7396336 140732207436144 140732207433144 140157574409189 0 0 1 0 0 0 0 17 5 0 0 10 0 0 9496464 9501696 12890112 140732207444370 140732207444520 140732207444520 140732207448009 0
/proc/6681/statm: 19920 13465 650 782 0 12936 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 79680 KiB
Current children cumulated memory: 53860 KiB
[startup+0.309609 s]*
/proc/loadavg: 1.92 2.00 2.04 3/185 6682
/proc/meminfo: memFree=31542496/32770624 swapFree=67105588/67108860
[pid=6681] ppid=6678 vsize=142484 memory=117000 CPUtime=0.21 cores=1,3,5,7
/proc/6681/stat : 6681 (MistralXCSP) R 6678 6681 12560 0 -1 4202496 29668 0 0 0 17 4 0 0 20 0 1 0 67902604 145903616 29250 18446744073709551615 4194304 7396336 140732207436144 140732207433144 5792027 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 12890112 140732207444370 140732207444520 140732207444520 140732207448009 0
/proc/6681/statm: 35621 29250 689 782 0 28637 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 142484 KiB
Current children cumulated memory: 117000 KiB
[startup+0.700391 s]
/proc/loadavg: 1.92 2.00 2.04 3/185 6682
/proc/meminfo: memFree=31515764/32770624 swapFree=67105588/67108860
[pid=6681] ppid=6678 vsize=172036 memory=146520 CPUtime=0.59 cores=1,3,5,7
/proc/6681/stat : 6681 (MistralXCSP) R 6678 6681 12560 0 -1 4202496 35396 0 0 0 54 5 0 0 20 0 1 0 67902604 176164864 36630 18446744073709551615 4194304 7396336 140732207436144 140732207430680 5792030 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 12890112 140732207444370 140732207444520 140732207444520 140732207448009 0
/proc/6681/statm: 43009 36630 697 782 0 36025 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 172036 KiB
Current children cumulated memory: 146520 KiB
[startup+1.50042 s]
/proc/loadavg: 1.92 2.00 2.04 3/185 6682
/proc/meminfo: memFree=31506836/32770624 swapFree=67105588/67108860
[pid=6681] ppid=6678 vsize=181804 memory=156288 CPUtime=1.39 cores=1,3,5,7
/proc/6681/stat : 6681 (MistralXCSP) R 6678 6681 12560 0 -1 4202496 37841 0 0 0 134 5 0 0 20 0 1 0 67902604 186167296 39072 18446744073709551615 4194304 7396336 140732207436144 140732207430680 5792137 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 12890112 140732207444370 140732207444520 140732207444520 140732207448009 0
/proc/6681/statm: 45451 39072 697 782 0 38467 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 181804 KiB
Current children cumulated memory: 156288 KiB
[startup+3.10951 s]
/proc/loadavg: 1.92 2.00 2.04 3/185 6682
/proc/meminfo: memFree=31496792/32770624 swapFree=67105588/67108860
[pid=6681] ppid=6678 vsize=187480 memory=162164 CPUtime=3 cores=1,3,5,7
/proc/6681/stat : 6681 (MistralXCSP) R 6678 6681 12560 0 -1 4202496 69726 0 0 0 293 7 0 0 20 0 1 0 67902604 191979520 40541 18446744073709551615 4194304 7396336 140732207436144 140732207431160 5792030 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 12890112 140732207444370 140732207444520 140732207444520 140732207448009 0
/proc/6681/statm: 46870 40541 697 782 0 39886 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 187480 KiB
Current children cumulated memory: 162164 KiB
[startup+6.30041 s]
/proc/loadavg: 1.92 2.00 2.04 2/181 6729
/proc/meminfo: memFree=31501160/32770624 swapFree=67105588/67108860
[pid=6681] ppid=6678 vsize=192496 memory=167028 CPUtime=6.18 cores=1,3,5,7
/proc/6681/stat : 6681 (MistralXCSP) R 6678 6681 12560 0 -1 4202496 102847 0 0 0 610 8 0 0 20 0 1 0 67902604 197115904 41757 18446744073709551615 4194304 7396336 140732207436144 140732207431160 4547381 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 12890112 140732207444370 140732207444520 140732207444520 140732207448009 0
/proc/6681/statm: 48124 41757 697 782 0 41140 0
Current children cumulated CPU time: 6.18 s
Current children cumulated vsize: 192496 KiB
Current children cumulated memory: 167028 KiB
[startup+12.7004 s]
/proc/loadavg: 1.93 2.00 2.04 3/185 6746
/proc/meminfo: memFree=31259948/32770624 swapFree=67105588/67108860
[pid=6681] ppid=6678 vsize=196984 memory=171708 CPUtime=12.58 cores=1,3,5,7
/proc/6681/stat : 6681 (MistralXCSP) R 6678 6681 12560 0 -1 4202496 136783 0 0 0 1248 10 0 0 20 0 1 0 67902604 201711616 42927 18446744073709551615 4194304 7396336 140732207436144 140732207430680 5792027 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 12890112 140732207444370 140732207444520 140732207444520 140732207448009 0
/proc/6681/statm: 49246 42927 697 782 0 42262 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 196984 KiB
Current children cumulated memory: 171708 KiB
[startup+25.5004 s]
/proc/loadavg: 1.95 2.00 2.04 3/185 6746
/proc/meminfo: memFree=31257664/32770624 swapFree=67105588/67108860
[pid=6681] ppid=6678 vsize=199360 memory=174096 CPUtime=25.38 cores=1,3,5,7
/proc/6681/stat : 6681 (MistralXCSP) R 6678 6681 12560 0 -1 4202496 205154 0 0 0 2524 14 0 0 20 0 1 0 67902604 204144640 43524 18446744073709551615 4194304 7396336 140732207436144 140732207431160 5792030 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 12890112 140732207444370 140732207444520 140732207444520 140732207448009 0
/proc/6681/statm: 49840 43524 697 782 0 42856 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 199360 KiB
Current children cumulated memory: 174096 KiB
[startup+51.1097 s]
/proc/loadavg: 1.96 2.00 2.04 3/185 6747
/proc/meminfo: memFree=31255284/32770624 swapFree=67105588/67108860
[pid=6681] ppid=6678 vsize=200944 memory=175580 CPUtime=50.98 cores=1,3,5,7
/proc/6681/stat : 6681 (MistralXCSP) R 6678 6681 12560 0 -1 4202496 240026 0 0 0 5082 16 0 0 20 0 1 0 67902604 205766656 43895 18446744073709551615 4194304 7396336 140732207436144 140732207431160 5792030 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 12890112 140732207444370 140732207444520 140732207444520 140732207448009 0
/proc/6681/statm: 50236 43895 697 782 0 43252 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 200944 KiB
Current children cumulated memory: 175580 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/182 6749
/proc/meminfo: memFree=31256652/32770624 swapFree=67105588/67108860
[pid=6681] ppid=6678 vsize=201340 memory=175992 CPUtime=102.12 cores=1,3,5,7
/proc/6681/stat : 6681 (MistralXCSP) R 6678 6681 12560 0 -1 4202496 266658 0 0 0 10195 17 0 0 20 0 1 0 67902604 206172160 43998 18446744073709551615 4194304 7396336 140732207436144 140732207431160 5792030 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 12890112 140732207444370 140732207444520 140732207444520 140732207448009 0
/proc/6681/statm: 50335 43998 698 782 0 43351 0
Current children cumulated CPU time: 102.12 s
Current children cumulated vsize: 201340 KiB
Current children cumulated memory: 175992 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/182 6751
/proc/meminfo: memFree=31256456/32770624 swapFree=67105588/67108860
[pid=6681] ppid=6678 vsize=201472 memory=176200 CPUtime=162.09 cores=1,3,5,7
/proc/6681/stat : 6681 (MistralXCSP) R 6678 6681 12560 0 -1 4202496 276373 0 0 0 16191 18 0 0 20 0 1 0 67902604 206307328 44050 18446744073709551615 4194304 7396336 140732207436144 140732207431160 5792030 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 12890112 140732207444370 140732207444520 140732207444520 140732207448009 0
/proc/6681/statm: 50368 44050 698 782 0 43384 0
Current children cumulated CPU time: 162.09 s
Current children cumulated vsize: 201472 KiB
Current children cumulated memory: 176200 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 6753
/proc/meminfo: memFree=31256120/32770624 swapFree=67105588/67108860
[pid=6681] ppid=6678 vsize=201472 memory=176220 CPUtime=222.07 cores=1,3,5,7
/proc/6681/stat : 6681 (MistralXCSP) R 6678 6681 12560 0 -1 4202496 277368 0 0 0 22189 18 0 0 20 0 1 0 67902604 206307328 44055 18446744073709551615 4194304 7396336 140732207436144 140732207431160 5792030 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 12890112 140732207444370 140732207444520 140732207444520 140732207448009 0
/proc/6681/statm: 50368 44055 698 782 0 43384 0
Current children cumulated CPU time: 222.07 s
Current children cumulated vsize: 201472 KiB
Current children cumulated memory: 176220 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252 s]*
/proc/loadavg: 2.00 2.00 2.04 3/182 6754
/proc/meminfo: memFree=31255948/32770624 swapFree=67105588/67108860
[pid=6681] ppid=6678 vsize=201472 memory=176220 CPUtime=251.77 cores=1,3,5,7
/proc/6681/stat : 6681 (MistralXCSP) R 6678 6681 12560 0 -1 4202496 278361 0 0 0 25159 18 0 0 20 0 1 0 67902604 206307328 44055 18446744073709551615 4194304 7396336 140732207436144 140732207431160 5792030 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 12890112 140732207444370 140732207444520 140732207444520 140732207448009 0
/proc/6681/statm: 50368 44055 698 782 0 43384 0
Current children cumulated CPU time: 251.77 s
Current children cumulated vsize: 201472 KiB
Current children cumulated memory: 176220 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.011 s]
# the end of solver process 6681 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.601 s, system=0.183954 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 252.011
CPU time (s): 251.785
CPU user time (s): 251.601
CPU system time (s): 0.183954
CPU usage (%): 99.9105
Max. virtual memory (cumulated for all children) (KiB): 201472
Max. memory (cumulated for all children) (KiB): 176220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.601
system time used= 0.183954
maximum resident set size= 176248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278391
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= 79
involuntary context switches= 308
# summary of solver processes directly reported to runsolver:
# pid: 6681
# total CPU time (s): 251.785
# total CPU user time (s): 251.601
# total CPU system time (s): 0.183954
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.942303 second user time and 1.97897 second system time
The end
Begin job on node126 at 2017-08-13 22:30:30 IDJOB=4259325 IDBENCH=135904 IDSOLVER=2645 FILE ID=node126/4259325-1502657072 RUNJOBID= node126-1502640747-30540 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= Mistral-2.0 2017-07-28 BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-m1-n100/TravellingSalesman-100-50-05.xml COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4259325-1502657072/watcher-4259325-1502657072 -o /tmp/evaluation-result-4259325-1502657072/solver-4259325-1502657072 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502640747-30540 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1480363838 HOME/instance-4259325-1502657072.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8c67453fb3d985d7ef69f755cd1f1510 RANDOM SEED=1480363838 node126.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.81 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.81 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.81 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.81 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: 31656608 kB MemAvailable: 31955544 kB Buffers: 277112 kB Cached: 292508 kB SwapCached: 524 kB Active: 449572 kB Inactive: 186988 kB Active(anon): 15056 kB Inactive(anon): 85428 kB Active(file): 434516 kB Inactive(file): 101560 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67105588 kB Dirty: 5940 kB Writeback: 0 kB AnonPages: 66712 kB Mapped: 49416 kB Shmem: 33440 kB Slab: 183552 kB SReclaimable: 157392 kB SUnreclaim: 26160 kB KernelStack: 3248 kB PageTables: 5412 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 345912 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: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 62020 MiB End job on node126 at 2017-08-13 22:34:43