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) | 703 | 251.86501 | 252.017 |
| Name | TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-15.xml |
| MD5SUM | 97b5a288822c02a27c7c951fc8651369 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 573 |
| Best CPU time to get the best result obtained on this benchmark | 1679.1 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 300 |
| Number of constraints | 151 |
| Number of domains | 2 |
| Minimum domain size | 63 |
| Maximum domain size | 150 |
| Distribution of domain sizes | [{"size":63,"count":150},{"size":150,"count":150}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":2,"count":150},{"degree":3,"count":150}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 150 |
| Distribution of constraint arities | [{"arity":3,"count":150},{"arity":150,"count":1}] |
| Number of extensional constraints | 150 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":150},{"type":"allDifferent","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.08 c 280717 1.02/1.17 o 2083 1.02/1.17 o 2023 1.02/1.17 o 2022 1.02/1.17 o 2021 1.51/1.67 o 2020 1.51/1.67 o 2016 2.51/2.69 o 2003 2.51/2.69 o 1981 2.51/2.69 o 1978 2.61/2.70 o 1953 2.61/2.70 o 1950 3.02/3.16 o 1947 3.02/3.16 o 1946 3.02/3.17 o 1936 3.02/3.17 o 1931 3.02/3.17 o 1929 3.02/3.17 o 1925 3.51/3.65 o 1909 3.51/3.65 o 1908 4.02/4.12 o 1906 4.02/4.12 o 1902 4.02/4.12 o 1893 4.02/4.13 o 1890 4.02/4.13 o 1885 4.02/4.13 o 1882 4.02/4.13 o 1853 4.02/4.13 o 1850 4.02/4.13 o 1846 4.02/4.13 o 1843 4.52/4.62 o 1835 4.52/4.62 o 1825 4.52/4.62 o 1816 4.52/4.62 o 1774 4.52/4.62 o 1772 4.52/4.62 o 1765 4.52/4.62 o 1736 4.52/4.62 o 1724 5.51/5.60 o 1722 5.91/6.07 o 1717 5.91/6.07 o 1714 5.91/6.07 o 1700 5.91/6.08 o 1695 5.91/6.08 o 1694 5.91/6.08 o 1692 5.91/6.08 o 1690 5.91/6.09 o 1688 5.91/6.09 o 1686 5.91/6.10 o 1682 6.41/6.58 o 1680 6.41/6.58 o 1677 6.41/6.58 o 1675 6.41/6.58 o 1650 6.41/6.58 o 1641 7.31/7.47 o 1637 8.41/8.57 o 1635 8.92/9.06 o 1629 9.41/9.53 o 1628 9.41/9.53 o 1627 9.41/9.53 o 1626 9.92/10.01 o 1623 9.92/10.01 o 1622 9.92/10.01 o 1618 10.41/10.51 o 1617 10.41/10.51 o 1616 10.41/10.51 o 1615 10.41/10.51 o 1610 10.41/10.51 o 1609 10.41/10.52 o 1606 10.82/10.97 o 1593 10.82/10.98 o 1586 11.32/11.43 o 1572 11.32/11.46 o 1571 11.32/11.46 o 1564 12.21/12.38 o 1562 12.71/12.88 o 1557 13.21/13.37 o 1550 14.61/14.76 o 1549 14.61/14.76 o 1526 14.61/14.76 o 1524 14.61/14.76 o 1523 14.61/14.77 o 1516 14.61/14.77 o 1513 15.11/15.22 o 1509 15.11/15.22 o 1507 15.11/15.22 o 1503 15.11/15.22 o 1499 15.11/15.23 o 1497 15.11/15.23 o 1495 15.11/15.24 o 1492 15.61/15.70 o 1484 15.61/15.70 o 1481 15.61/15.73 o 1479 16.11/16.23 o 1457 16.81/17.00 o 1456 16.81/17.00 o 1455 16.81/17.00 o 1449 16.92/17.01 o 1437 16.92/17.01 o 1436 16.92/17.01 o 1429 16.92/17.01 o 1426 17.31/17.45 o 1422 17.31/17.45 o 1421 17.81/17.90 o 1412 17.81/17.90 o 1411 17.81/17.90 o 1410 19.11/19.20 o 1406 19.11/19.20 o 1402 19.11/19.20 o 1400 19.51/19.68 o 1398 19.51/19.69 o 1397 19.51/19.69 o 1394 21.92/22.04 o 1393 21.92/22.05 o 1366 22.41/22.52 o 1362 22.41/22.52 o 1361 22.81/22.98 o 1360 22.81/22.98 o 1354 22.92/23.02 o 1351 23.41/23.51 o 1350 23.92/24.05 o 1349 23.92/24.05 o 1347 24.41/24.53 o 1341 24.41/24.54 o 1327 25.81/25.92 o 1322 25.81/25.92 o 1319 26.21/26.38 o 1312 26.21/26.38 o 1311 27.21/27.37 o 1307 27.21/27.37 o 1294 27.61/27.77 o 1289 28.11/28.26 o 1286 28.11/28.26 o 1278 28.11/28.26 o 1277 28.11/28.26 o 1274 28.61/28.75 o 1271 28.61/28.75 o 1269 28.61/28.75 o 1259 29.51/29.67 o 1253 29.51/29.67 o 1248 30.02/30.17 o 1244 30.02/30.17 o 1238 30.02/30.17 o 1235 31.11/31.23 o 1233 31.11/31.23 o 1225 31.81/31.99 o 1194 32.61/32.78 o 1193 33.11/33.22 o 1175 33.11/33.23 o 1173 33.51/33.69 o 1164 33.51/33.70 o 1163 33.61/33.70 o 1161 35.41/35.55 o 1155 35.41/35.59 o 1154 35.91/36.09 o 1147 35.91/36.10 o 1145 36.41/36.55 o 1141 37.31/37.45 o 1135 37.31/37.45 o 1133 38.21/38.36 o 1132 38.21/38.36 o 1131 38.71/38.86 o 1130 38.71/38.86 o 1129 38.71/38.89 o 1127 38.71/38.89 o 1124 38.71/38.89 o 1123 39.21/39.37 o 1122 40.31/40.41 o 1121 40.31/40.41 o 1113 41.21/41.31 o 1109 42.60/42.74 o 1108 43.10/43.21 o 1107 43.10/43.21 o 1105 43.10/43.21 o 1104 43.10/43.21 o 1103 43.10/43.21 o 1102 43.10/43.21 o 1101 43.10/43.21 o 1100 45.30/45.49 o 1099 45.80/45.96 o 1098 45.80/45.96 o 1097 45.80/45.96 o 1095 46.91/47.04 o 1094 47.60/47.70 o 1091 49.80/49.95 o 1086 50.30/50.43 o 1084 52.60/52.72 o 1080 52.60/52.72 o 1078 53.50/53.66 o 1076 55.50/55.66 o 1071 55.50/55.67 o 1069 59.20/59.35 o 1065 61.10/61.25 o 1053 61.10/61.26 o 1052 61.80/61.92 o 1049 61.80/61.92 o 1047 61.80/61.92 o 1045 61.80/61.97 o 1041 61.80/61.97 o 1038 61.80/61.97 o 1037 61.80/61.98 o 1036 62.30/62.46 o 1034 62.30/62.46 o 1032 64.80/64.91 o 1031 66.10/66.29 o 1029 66.60/66.75 o 1018 67.10/67.20 o 1017 67.10/67.20 o 1015 67.10/67.21 o 1012 67.10/67.22 o 1010 68.40/68.60 o 1006 70.70/70.86 o 1004 70.70/70.87 o 1003 70.70/70.87 o 1002 71.20/71.35 o 1001 73.09/73.28 o 1000 73.09/73.28 o 997 75.49/75.60 o 995 75.49/75.60 o 991 75.90/76.05 o 985 75.90/76.05 o 983 77.29/77.40 o 980 78.19/78.36 o 979 78.29/78.40 o 978 78.39/78.52 o 975 78.79/79.00 o 974 78.90/79.07 o 973 80.00/80.16 o 967 80.00/80.17 o 963 80.50/80.62 o 961 80.50/80.62 o 960 80.50/80.63 o 959 82.80/82.95 o 958 82.80/82.96 o 957 84.10/84.28 o 954 85.10/85.23 o 953 85.10/85.23 o 952 85.50/85.68 o 951 86.60/86.70 o 947 86.60/86.71 o 946 86.60/86.71 o 945 89.80/89.90 o 944 90.60/90.75 o 941 90.60/90.76 o 934 91.90/92.10 o 932 92.39/92.56 o 925 93.59/93.76 o 919 93.59/93.76 o 917 93.59/93.76 o 916 95.39/95.54 o 909 97.59/97.72 o 895 99.00/99.13 o 892 99.00/99.14 o 890 101.69/101.84 o 887 103.09/103.25 o 883 103.09/103.25 o 874 104.90/105.04 o 873 109.09/109.23 o 870 110.69/110.83 o 868 112.00/112.18 o 867 113.79/113.94 o 864 113.79/113.95 o 860 114.69/114.82 o 859 127.00/127.17 o 855 127.00/127.19 o 853 127.00/127.19 o 847 127.49/127.65 o 846 131.18/131.35 o 844 131.18/131.35 o 843 133.38/133.54 o 841 136.58/136.74 o 840 137.89/138.06 o 839 138.78/138.95 o 838 138.78/138.95 o 835 139.68/139.81 o 830 141.78/142.00 o 826 141.78/142.00 o 822 143.48/143.63 o 819 144.28/144.46 o 817 144.68/144.87 o 812 146.48/146.65 o 811 149.78/149.90 o 810 151.88/152.02 o 808 151.88/152.02 o 807 151.88/152.03 o 806 151.88/152.03 o 804 155.88/156.07 o 803 156.98/157.15 o 802 157.37/157.55 o 801 157.77/157.97 o 795 157.77/157.98 o 790 157.77/157.98 o 781 159.07/159.26 o 780 159.88/160.07 o 779 160.37/160.56 o 778 160.37/160.56 o 777 161.28/161.49 o 776 161.77/161.90 o 771 163.57/163.70 o 770 166.57/166.79 o 767 168.37/168.51 o 763 168.37/168.51 o 762 171.27/171.45 o 761 180.47/180.67 o 760 184.46/184.63 o 758 185.56/185.75 o 757 185.56/185.75 o 753 185.56/185.75 o 750 186.46/186.63 o 749 186.46/186.63 o 747 191.06/191.20 o 745 191.86/192.04 o 740 191.86/192.04 o 738 191.86/192.04 o 734 192.66/192.87 o 732 192.66/192.87 o 731 193.16/193.31 o 729 193.16/193.31 o 728 205.65/205.81 o 726 213.86/214.05 o 725 214.96/215.18 o 724 217.45/217.67 o 721 219.65/219.80 o 720 220.05/220.22 o 719 224.24/224.48 o 718 229.14/229.31 o 715 229.44/229.69 o 714 229.44/229.70 o 713 231.54/231.71 o 712 233.94/234.12 o 710 235.84/236.05 o 709 235.84/236.05 o 707 235.84/236.06 o 706 251.14/251.38 o 705 251.54/251.78 o 703 251.85/252.00 s SATISFIABLE 251.85/252.00 v <instantiation type="solution"> 251.85/252.00 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] c[100] c[101] c[102] c[103] c[104] c[105] c[106] c[107] c[108] c[109] c[110] c[111] c[112] c[113] c[114] c[115] c[116] c[117] c[118] c[119] c[120] c[121] c[122] c[123] c[124] c[125] c[126] c[127] c[128] c[129] c[130] c[131] c[132] c[133] c[134] c[135] c[136] c[137] c[138] c[139] c[140] c[141] c[142] c[143] c[144] c[145] c[146] c[147] c[148] c[149] 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] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] </list> 251.85/252.01 v <values> 2 0 6 1 10 11 22 21 16 20 28 31 34 32 54 46 67 69 80 88 77 68 51 47 48 33 26 39 42 43 56 64 63 58 55 36 30 15 9 14 8 5 4 13 12 65 82 62 60 52 35 29 25 17 7 3 24 27 49 53 59 70 111 137 144 147 138 132 126 114 112 83 71 98 121 122 115 113 110 108 107 101 97 100 109 96 90 89 74 72 57 66 86 92 87 73 76 61 94 91 95 99 102 103 104 116 123 128 136 143 135 134 149 148 133 145 142 127 120 119 130 141 146 140 139 125 124 118 131 129 117 105 106 93 84 78 85 81 79 75 50 45 38 44 41 40 37 23 19 18 1 6 6 5 2 2 2 2 2 4 3 1 1 7 9 9 10 5 4 5 3 7 1 1 4 4 4 1 1 4 3 7 5 1 6 4 5 4 3 2 2 1 4 2 17 8 8 1 4 5 2 1 4 3 1 17 2 6 6 2 4 14 9 1 2 8 3 5 4 9 9 6 16 10 12 3 1 8 1 1 2 14 1 2 14 3 1 5 1 12 6 20 5 4 5 8 18 20 2 1 1 3 3 2 5 2 3 3 1 10 2 5 4 5 7 2 4 1 1 4 3 3 4 3 4 1 1 8 3 3 5 2 9 6 4 5 2 2 2 10 3 2 4 2 4 2 5 1 4 6 </values> 251.85/252.01 v </instantiation>
OK 703
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 (15371 MiB free)
memory of node 1: 16384 MiB (15541 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259329-1502656571/watcher-4259329-1502656571 -o /tmp/evaluation-result-4259329-1502656571/solver-4259329-1502656571 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502640747-30539 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1725386191 HOME/instance-4259329-1502656571.xml
running on 4 cores: 0,2,4,6
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
solver pid=6456, runsolver pid=6453
Current StackSize limit: 8192 KiB
[startup+0.100195 s]*
/proc/loadavg: 2.00 2.01 2.05 3/182 6457
/proc/meminfo: memFree=31653816/32770624 swapFree=67105588/67108860
[pid=6456] ppid=6453 vsize=29604 memory=4000 CPUtime=0.02 cores=0,2,4,6
/proc/6456/stat : 6456 (MistralXCSP) R 6453 6456 12560 0 -1 4202496 1188 0 0 0 2 0 0 0 20 0 1 0 67852496 30314496 1000 18446744073709551615 4194304 7396336 140734826964432 140734826961432 5876372 0 0 1 0 0 0 0 17 2 0 0 7 0 0 9496464 9501696 19341312 140734826967442 140734826967592 140734826967592 140734826971081 0
/proc/6456/statm: 7401 1000 635 782 0 417 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 29604 KiB
Current children cumulated memory: 4000 KiB
[startup+0.209162 s]*
/proc/loadavg: 2.00 2.01 2.05 3/182 6457
/proc/meminfo: memFree=31625668/32770624 swapFree=67105588/67108860
[pid=6456] ppid=6453 vsize=63516 memory=37888 CPUtime=0.12 cores=0,2,4,6
/proc/6456/stat : 6456 (MistralXCSP) R 6453 6456 12560 0 -1 4202496 9778 0 0 0 12 0 0 0 20 0 1 0 67852496 65040384 9406 18446744073709551615 4194304 7396336 140734826964432 140734826961432 139814365617125 0 0 1 0 0 0 0 17 2 0 0 7 0 0 9496464 9501696 19341312 140734826967442 140734826967592 140734826967592 140734826971081 0
/proc/6456/statm: 15912 9472 649 782 0 8928 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 63516 KiB
Current children cumulated memory: 37888 KiB
[startup+0.309746 s]*
/proc/loadavg: 2.00 2.01 2.05 3/182 6457
/proc/meminfo: memFree=31556848/32770624 swapFree=67105588/67108860
[pid=6456] ppid=6453 vsize=131964 memory=106264 CPUtime=0.23 cores=0,2,4,6
/proc/6456/stat : 6456 (MistralXCSP) R 6453 6456 12560 0 -1 4202496 26882 0 0 0 20 3 0 0 20 0 1 0 67852496 135131136 26566 18446744073709551615 4194304 7396336 140734826964432 140734826961432 139814365617125 0 0 1 0 0 0 0 17 2 0 0 7 0 0 9496464 9501696 19341312 140734826967442 140734826967592 140734826967592 140734826971081 0
/proc/6456/statm: 32991 26566 649 782 0 26007 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 131964 KiB
Current children cumulated memory: 106264 KiB
[startup+0.700441 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6457
/proc/meminfo: memFree=31419456/32770624 swapFree=67105588/67108860
[pid=6456] ppid=6453 vsize=375972 memory=350724 CPUtime=0.61 cores=0,2,4,6
/proc/6456/stat : 6456 (MistralXCSP) R 6453 6456 12560 0 -1 4202496 88093 0 0 0 51 10 0 0 20 0 1 0 67852496 384995328 87615 18446744073709551615 4194304 7396336 140734826964432 140734826961432 139814366092698 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 19341312 140734826967442 140734826967592 140734826967592 140734826971081 0
/proc/6456/statm: 95031 87615 688 782 0 88047 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 375972 KiB
Current children cumulated memory: 350724 KiB
[startup+1.50046 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6457
/proc/meminfo: memFree=31248452/32770624 swapFree=67105588/67108860
[pid=6456] ppid=6453 vsize=458652 memory=433208 CPUtime=1.41 cores=0,2,4,6
/proc/6456/stat : 6456 (MistralXCSP) R 6453 6456 12560 0 -1 4202496 101009 0 0 0 128 13 0 0 20 0 1 0 67852496 469659648 108302 18446744073709551615 4194304 7396336 140734826964432 140734826959432 5792030 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 19341312 140734826967442 140734826967592 140734826967592 140734826971081 0
/proc/6456/statm: 114663 108302 695 782 0 107679 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 458652 KiB
Current children cumulated memory: 433208 KiB
[startup+3.10941 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6457
/proc/meminfo: memFree=31190644/32770624 swapFree=67105588/67108860
[pid=6456] ppid=6453 vsize=490728 memory=465516 CPUtime=3.02 cores=0,2,4,6
/proc/6456/stat : 6456 (MistralXCSP) R 6453 6456 12560 0 -1 4202496 189000 0 0 0 285 17 0 0 20 0 1 0 67852496 502505472 116379 18446744073709551615 4194304 7396336 140734826964432 140734826959448 5792023 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 19341312 140734826967442 140734826967592 140734826967592 140734826971081 0
/proc/6456/statm: 122682 116379 696 782 0 115698 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 490728 KiB
Current children cumulated memory: 465516 KiB
[startup+6.30044 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6457
/proc/meminfo: memFree=31178512/32770624 swapFree=67105588/67108860
[pid=6456] ppid=6453 vsize=503664 memory=478388 CPUtime=6.21 cores=0,2,4,6
/proc/6456/stat : 6456 (MistralXCSP) R 6453 6456 12560 0 -1 4202496 330663 0 0 0 598 23 0 0 20 0 1 0 67852496 515751936 119597 18446744073709551615 4194304 7396336 140734826964432 140734826959448 5792027 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 19341312 140734826967442 140734826967592 140734826967592 140734826971081 0
/proc/6456/statm: 125916 119597 697 782 0 118932 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 503664 KiB
Current children cumulated memory: 478388 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6457
/proc/meminfo: memFree=31173784/32770624 swapFree=67105588/67108860
[pid=6456] ppid=6453 vsize=508284 memory=482984 CPUtime=12.61 cores=0,2,4,6
/proc/6456/stat : 6456 (MistralXCSP) R 6453 6456 12560 0 -1 4202496 443047 0 0 0 1232 29 0 0 20 0 1 0 67852496 520482816 120746 18446744073709551615 4194304 7396336 140734826964432 140734826959448 5792030 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 19341312 140734826967442 140734826967592 140734826967592 140734826971081 0
/proc/6456/statm: 127071 120746 697 782 0 120087 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 508284 KiB
Current children cumulated memory: 482984 KiB
[startup+25.5005 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6457
/proc/meminfo: memFree=31172684/32770624 swapFree=67105588/67108860
[pid=6456] ppid=6453 vsize=509472 memory=484096 CPUtime=25.41 cores=0,2,4,6
/proc/6456/stat : 6456 (MistralXCSP) R 6453 6456 12560 0 -1 4202496 527119 0 0 0 2508 33 0 0 20 0 1 0 67852496 521699328 121024 18446744073709551615 4194304 7396336 140734826964432 140734826959448 5792030 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 19341312 140734826967442 140734826967592 140734826967592 140734826971081 0
/proc/6456/statm: 127368 121024 697 782 0 120384 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 509472 KiB
Current children cumulated memory: 484096 KiB
[startup+51.1093 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6458
/proc/meminfo: memFree=31172884/32770624 swapFree=67105588/67108860
[pid=6456] ppid=6453 vsize=509472 memory=484284 CPUtime=51.01 cores=0,2,4,6
/proc/6456/stat : 6456 (MistralXCSP) R 6453 6456 12560 0 -1 4202496 650941 0 0 0 5062 39 0 0 20 0 1 0 67852496 521699328 121071 18446744073709551615 4194304 7396336 140734826964432 140734826959448 5791687 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 19341312 140734826967442 140734826967592 140734826967592 140734826971081 0
/proc/6456/statm: 127368 121071 697 782 0 120384 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 509472 KiB
Current children cumulated memory: 484284 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6459
/proc/meminfo: memFree=31172600/32770624 swapFree=67105588/67108860
[pid=6456] ppid=6453 vsize=509604 memory=484300 CPUtime=102.19 cores=0,2,4,6
/proc/6456/stat : 6456 (MistralXCSP) R 6453 6456 12560 0 -1 4202496 739529 0 0 0 10175 44 0 0 20 0 1 0 67852496 521834496 121075 18446744073709551615 4194304 7396336 140734826964432 140734826959448 5792030 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 19341312 140734826967442 140734826967592 140734826967592 140734826971081 0
/proc/6456/statm: 127401 121075 697 782 0 120417 0
Current children cumulated CPU time: 102.19 s
Current children cumulated vsize: 509604 KiB
Current children cumulated memory: 484300 KiB
[startup+162.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 6461
/proc/meminfo: memFree=31172464/32770624 swapFree=67105588/67108860
[pid=6456] ppid=6453 vsize=509604 memory=484300 CPUtime=162.17 cores=0,2,4,6
/proc/6456/stat : 6456 (MistralXCSP) R 6453 6456 12560 0 -1 4202496 782903 0 0 0 16171 46 0 0 20 0 1 0 67852496 521834496 121075 18446744073709551615 4194304 7396336 140734826964432 140734826959448 5792030 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 19341312 140734826967442 140734826967592 140734826967592 140734826971081 0
/proc/6456/statm: 127401 121075 697 782 0 120417 0
Current children cumulated CPU time: 162.17 s
Current children cumulated vsize: 509604 KiB
Current children cumulated memory: 484300 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 6464
/proc/meminfo: memFree=31172620/32770624 swapFree=67105588/67108860
[pid=6456] ppid=6453 vsize=509604 memory=484300 CPUtime=222.14 cores=0,2,4,6
/proc/6456/stat : 6456 (MistralXCSP) R 6453 6456 12560 0 -1 4202496 792183 0 0 0 22168 46 0 0 20 0 1 0 67852496 521834496 121075 18446744073709551615 4194304 7396336 140734826964432 140734826959448 5792030 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 19341312 140734826967442 140734826967592 140734826967592 140734826971081 0
/proc/6456/statm: 127401 121075 697 782 0 120417 0
Current children cumulated CPU time: 222.14 s
Current children cumulated vsize: 509604 KiB
Current children cumulated memory: 484300 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252 s]*
/proc/loadavg: 2.06 2.03 2.05 3/181 6530
/proc/meminfo: memFree=31134756/32770624 swapFree=67105588/67108860
[pid=6456] ppid=6453 vsize=509604 memory=484300 CPUtime=251.85 cores=0,2,4,6
/proc/6456/stat : 6456 (MistralXCSP) R 6453 6456 12560 0 -1 4202496 792670 0 0 0 25138 47 0 0 20 0 1 0 67852496 521834496 121075 18446744073709551615 4194304 7396336 140734826964432 140734826959448 5792030 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 19341312 140734826967442 140734826967592 140734826967592 140734826971081 0
/proc/6456/statm: 127401 121075 697 782 0 120417 0
Current children cumulated CPU time: 251.85 s
Current children cumulated vsize: 509604 KiB
Current children cumulated memory: 484300 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.017 s]
# the end of solver process 6456 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.387 s, system=0.477959 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 252.017
CPU time (s): 251.865
CPU user time (s): 251.387
CPU system time (s): 0.477959
CPU usage (%): 99.9398
Max. virtual memory (cumulated for all children) (KiB): 509604
Max. memory (cumulated for all children) (KiB): 484300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.387
system time used= 0.477959
maximum resident set size= 484328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 792704
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= 98
involuntary context switches= 316
# summary of solver processes directly reported to runsolver:
# pid: 6456
# total CPU time (s): 251.865
# total CPU user time (s): 251.387
# total CPU system time (s): 0.477959
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.791441 second user time and 2.11752 second system time
The end
Begin job on node126 at 2017-08-13 22:22:09 IDJOB=4259329 IDBENCH=135794 IDSOLVER=2645 FILE ID=node126/4259329-1502656571 RUNJOBID= node126-1502640747-30539 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= Mistral-2.0 2017-07-28 BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-m1-n150/TravellingSalesman-150-50-15.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-4259329-1502656571/watcher-4259329-1502656571 -o /tmp/evaluation-result-4259329-1502656571/solver-4259329-1502656571 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502640747-30539 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1725386191 HOME/instance-4259329-1502656571.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 97b5a288822c02a27c7c951fc8651369 RANDOM SEED=1725386191 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: 31655244 kB MemAvailable: 31953812 kB Buffers: 276792 kB Cached: 292452 kB SwapCached: 524 kB Active: 452032 kB Inactive: 186464 kB Active(anon): 17360 kB Inactive(anon): 85428 kB Active(file): 434672 kB Inactive(file): 101036 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67105588 kB Dirty: 6160 kB Writeback: 4 kB AnonPages: 69012 kB Mapped: 48324 kB Shmem: 33440 kB Slab: 183544 kB SReclaimable: 157388 kB SUnreclaim: 26156 kB KernelStack: 3200 kB PageTables: 4488 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 346872 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 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:26:21