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) | 583 | 251.91499 | 252.011 |
| Name | TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-08.xml |
| MD5SUM | 8e11a97c7673f129a8c4890bd1c1105b |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 443 |
| Best CPU time to get the best result obtained on this benchmark | 240.02901 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 200 |
| Number of constraints | 101 |
| Number of domains | 2 |
| Minimum domain size | 62 |
| Maximum domain size | 100 |
| Distribution of domain sizes | [{"size":62,"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.08 c 280717 0.22/0.41 o 2182 0.22/0.41 o 2177 0.22/0.41 o 2176 0.22/0.41 o 2171 0.22/0.41 o 2170 0.22/0.41 o 2166 0.22/0.41 o 2163 0.22/0.41 o 2162 0.22/0.41 o 2159 0.22/0.41 o 2158 0.22/0.41 o 2157 0.22/0.41 o 2156 0.52/0.66 o 2125 0.52/0.66 o 2101 0.52/0.66 o 2099 0.52/0.66 o 2087 0.52/0.67 o 2062 0.52/0.67 o 2059 0.52/0.67 o 2047 0.61/0.79 o 2039 0.81/0.91 o 2020 0.81/0.91 o 2010 0.92/1.03 o 2007 0.92/1.03 o 2004 0.92/1.03 o 2002 0.92/1.03 o 1988 0.92/1.03 o 1982 0.92/1.03 o 1976 0.92/1.03 o 1960 1.02/1.14 o 1938 1.02/1.14 o 1937 1.02/1.15 o 1919 1.02/1.15 o 1908 1.02/1.15 o 1905 1.02/1.15 o 1871 1.02/1.15 o 1867 1.02/1.15 o 1863 1.02/1.15 o 1860 1.11/1.27 o 1779 1.11/1.27 o 1776 1.11/1.28 o 1773 1.11/1.28 o 1724 1.31/1.42 o 1717 1.31/1.42 o 1706 1.31/1.42 o 1699 1.31/1.42 o 1681 1.31/1.42 o 1677 1.41/1.54 o 1650 1.41/1.54 o 1647 1.41/1.54 o 1639 1.41/1.54 o 1637 1.41/1.54 o 1634 1.41/1.54 o 1633 1.51/1.65 o 1631 1.51/1.65 o 1630 1.61/1.79 o 1628 1.61/1.79 o 1626 1.61/1.79 o 1624 1.61/1.79 o 1605 1.61/1.79 o 1592 1.80/1.91 o 1560 1.80/1.91 o 1554 1.80/1.91 o 1548 1.91/2.03 o 1545 1.91/2.03 o 1542 1.91/2.03 o 1493 1.91/2.03 o 1486 1.91/2.03 o 1485 1.91/2.03 o 1481 2.01/2.18 o 1460 2.01/2.18 o 1447 2.01/2.18 o 1446 2.01/2.18 o 1422 2.01/2.18 o 1421 2.01/2.18 o 1413 2.01/2.18 o 1409 2.01/2.18 o 1407 2.01/2.18 o 1405 2.01/2.18 o 1403 2.01/2.18 o 1399 2.01/2.18 o 1397 2.21/2.31 o 1391 2.41/2.50 o 1384 2.41/2.51 o 1364 2.41/2.51 o 1361 2.41/2.51 o 1359 2.51/2.62 o 1351 2.51/2.62 o 1348 2.61/2.74 o 1340 2.61/2.74 o 1335 2.61/2.74 o 1334 2.61/2.74 o 1331 2.81/2.98 o 1330 3.02/3.11 o 1329 3.02/3.11 o 1327 3.02/3.11 o 1324 3.02/3.11 o 1321 3.02/3.11 o 1320 3.11/3.23 o 1319 3.11/3.25 o 1316 3.21/3.38 o 1306 3.21/3.38 o 1302 3.21/3.38 o 1296 3.21/3.39 o 1294 3.21/3.39 o 1283 3.41/3.50 o 1279 3.41/3.50 o 1278 3.41/3.50 o 1276 3.41/3.50 o 1248 3.41/3.51 o 1247 3.51/3.63 o 1246 3.61/3.75 o 1237 3.61/3.75 o 1223 3.71/3.87 o 1212 3.71/3.87 o 1210 3.71/3.87 o 1207 4.01/4.13 o 1205 4.01/4.13 o 1204 4.01/4.13 o 1202 4.10/4.27 o 1196 4.10/4.30 o 1195 4.20/4.30 o 1193 4.20/4.31 o 1190 4.40/4.53 o 1188 4.50/4.67 o 1187 4.60/4.79 o 1186 4.80/4.91 o 1182 4.80/4.91 o 1175 4.91/5.03 o 1163 4.91/5.03 o 1162 4.91/5.03 o 1140 4.91/5.03 o 1131 4.91/5.03 o 1130 5.02/5.16 o 1127 5.02/5.16 o 1123 5.41/5.56 o 1115 5.71/5.80 o 1113 5.81/5.94 o 1109 5.92/6.07 o 1105 6.31/6.46 o 1094 6.31/6.46 o 1092 6.31/6.49 o 1085 6.31/6.49 o 1083 6.81/6.93 o 1080 6.92/7.07 o 1077 6.92/7.07 o 1076 7.21/7.32 o 1075 7.31/7.44 o 1055 7.70/7.86 o 1047 7.80/8.00 o 1044 7.80/8.00 o 1038 7.80/8.00 o 1035 8.10/8.24 o 1034 8.10/8.24 o 1032 8.10/8.25 o 1031 8.20/8.40 o 1030 8.40/8.53 o 1029 8.40/8.53 o 1025 8.40/8.53 o 1017 8.40/8.55 o 1016 8.40/8.55 o 1012 8.40/8.56 o 1009 8.60/8.75 o 1004 8.60/8.78 o 1001 8.92/9.03 o 997 8.92/9.03 o 995 8.92/9.05 o 993 9.31/9.47 o 992 9.51/9.60 o 990 9.61/9.74 o 987 9.71/9.86 o 984 9.81/9.98 o 982 9.92/10.10 o 980 10.11/10.23 o 974 10.11/10.23 o 916 10.11/10.23 o 911 10.21/10.37 o 901 10.31/10.49 o 899 10.31/10.49 o 897 10.51/10.63 o 889 10.51/10.63 o 885 10.51/10.63 o 884 10.51/10.63 o 882 10.71/10.88 o 881 10.71/10.88 o 877 11.51/11.61 o 876 11.51/11.61 o 871 11.51/11.61 o 868 11.51/11.61 o 866 11.51/11.61 o 865 11.51/11.62 o 860 11.51/11.62 o 858 11.61/11.74 o 857 11.61/11.75 o 856 12.51/12.66 o 855 12.51/12.66 o 854 12.81/12.91 o 853 12.81/12.91 o 844 12.81/12.91 o 843 12.81/12.91 o 842 12.81/12.91 o 840 12.81/12.91 o 838 13.02/13.17 o 832 13.02/13.17 o 830 13.02/13.17 o 829 13.02/13.17 o 826 13.51/13.60 o 821 13.51/13.69 o 819 13.71/13.88 o 818 13.71/13.88 o 810 13.91/14.08 o 809 13.91/14.08 o 807 13.91/14.08 o 805 13.91/14.10 o 802 14.30/14.48 o 799 14.30/14.48 o 798 14.30/14.48 o 796 14.51/14.66 o 795 14.61/14.77 o 794 15.81/15.90 o 788 15.91/16.03 o 786 16.80/16.95 o 776 16.80/16.95 o 770 16.91/17.08 o 769 17.20/17.33 o 768 17.40/17.59 o 767 17.50/17.60 o 766 18.60/18.78 o 765 18.71/18.80 o 763 20.02/20.11 o 756 20.02/20.12 o 754 20.02/20.12 o 750 20.71/20.89 o 749 21.11/21.29 o 745 21.81/21.90 o 744 21.81/21.90 o 743 22.31/22.41 o 742 24.21/24.34 o 741 24.31/24.46 o 735 24.31/24.46 o 734 24.31/24.46 o 731 25.02/25.11 o 728 25.21/25.35 o 727 25.21/25.37 o 713 25.51/25.62 o 712 25.51/25.62 o 711 25.61/25.74 o 709 25.61/25.74 o 706 26.31/26.45 o 705 26.71/26.81 o 704 27.11/27.24 o 703 27.51/27.63 o 701 28.41/28.59 o 700 28.41/28.59 o 699 28.41/28.59 o 698 28.51/28.66 o 697 28.51/28.67 o 696 28.51/28.67 o 692 28.81/28.93 o 688 28.92/29.07 o 687 28.92/29.07 o 686 31.02/31.14 o 685 31.51/31.69 o 684 31.51/31.69 o 682 31.92/32.06 o 676 32.31/32.44 o 672 33.21/33.38 o 670 34.71/34.82 o 669 35.11/35.27 o 667 37.41/37.56 o 665 37.41/37.56 o 663 37.41/37.56 o 661 38.61/38.71 o 659 38.61/38.71 o 658 38.61/38.71 o 652 41.02/41.12 o 647 41.51/41.67 o 645 42.21/42.31 o 643 42.21/42.31 o 641 43.82/43.93 o 639 44.22/44.34 o 635 44.22/44.34 o 633 46.32/46.44 o 631 46.72/46.85 o 629 47.22/47.33 o 627 49.11/49.28 o 626 49.11/49.28 o 625 56.72/56.80 o 624 56.72/56.80 o 623 58.72/58.86 o 622 58.72/58.86 o 617 61.72/61.88 o 612 71.42/71.54 o 608 72.12/72.23 o 607 73.52/73.68 o 606 73.52/73.68 o 604 85.82/85.95 o 603 94.52/94.60 o 601 106.93/107.04 o 599 107.82/107.96 o 596 119.21/119.32 o 595 137.31/137.45 o 593 145.91/146.09 o 592 150.51/150.67 o 591 152.71/152.83 o 588 152.91/153.06 o 586 172.01/172.14 o 584 172.20/172.34 o 583 251.90/252.01 s SATISFIABLE 251.90/252.01 v <instantiation type="solution"> 251.90/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.90/252.01 v <values> 6 3 1 7 4 5 18 26 25 24 29 23 13 22 28 33 43 48 50 54 55 37 42 59 60 66 62 73 77 84 85 89 88 80 83 75 72 36 19 20 21 57 69 70 74 78 56 45 44 39 51 53 47 49 65 68 86 90 81 71 64 67 63 58 52 46 41 40 32 35 61 79 82 91 95 92 96 97 99 94 98 93 87 76 15 8 10 2 0 11 17 27 38 34 31 30 14 9 16 12 2 15 6 1 4 7 3 1 1 2 4 6 5 3 6 5 3 1 1 1 8 6 6 1 7 2 7 9 6 2 5 5 9 13 2 5 17 9 2 5 31 9 2 2 2 12 4 3 2 6 24 2 1 8 2 11 4 6 5 3 1 3 4 4 3 2 1 8 1 12 11 1 6 2 8 5 2 1 4 1 1 2 6 34 4 4 7 5 11 2 6 24 7 3 2 7 14 17 1 4 </values> 251.90/252.01 v </instantiation>
OK 583
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 (14818 MiB free)
memory of node 1: 16384 MiB (15373 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259326-1502656846/watcher-4259326-1502656846 -o /tmp/evaluation-result-4259326-1502656846/solver-4259326-1502656846 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502644564-1657 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1095011341 HOME/instance-4259326-1502656846.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
solver pid=8001, runsolver pid=7998
Current StackSize limit: 8192 KiB
[startup+0.100109 s]*
/proc/loadavg: 2.38 2.11 2.06 3/181 8002
/proc/meminfo: memFree=30915960/32770624 swapFree=67108860/67108860
[pid=8001] ppid=7998 vsize=29388 memory=3736 CPUtime=0.02 cores=1,3,5,7
/proc/8001/stat : 8001 (MistralXCSP) R 7998 8001 897 0 -1 4202496 1128 0 0 0 2 0 0 0 20 0 1 0 67905299 30093312 934 18446744073709551615 4194304 7396336 140723051838320 140723051835320 5955106 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 21114880 140723051839890 140723051840040 140723051840040 140723051843529 0
/proc/8001/statm: 7347 934 635 782 0 363 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 29388 KiB
Current children cumulated memory: 3736 KiB
[startup+0.208986 s]*
/proc/loadavg: 2.38 2.11 2.06 3/181 8002
/proc/meminfo: memFree=30854952/32770624 swapFree=67108860/67108860
[pid=8001] ppid=7998 vsize=95560 memory=69696 CPUtime=0.13 cores=1,3,5,7
/proc/8001/stat : 8001 (MistralXCSP) R 7998 8001 897 0 -1 4202496 17684 0 0 0 11 2 0 0 20 0 1 0 67905299 97853440 17424 18446744073709551615 4194304 7396336 140723051838320 140723051835320 140572977810238 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 21114880 140723051839890 140723051840040 140723051840040 140723051843529 0
/proc/8001/statm: 23890 17424 650 782 0 16906 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 95560 KiB
Current children cumulated memory: 69696 KiB
[startup+0.309345 s]*
/proc/loadavg: 2.38 2.11 2.06 3/181 8002
/proc/meminfo: memFree=30797476/32770624 swapFree=67108860/67108860
[pid=8001] ppid=7998 vsize=148220 memory=122844 CPUtime=0.22 cores=1,3,5,7
/proc/8001/stat : 8001 (MistralXCSP) R 7998 8001 897 0 -1 4202496 30943 0 0 0 19 3 0 0 20 0 1 0 67905299 151777280 30711 18446744073709551615 4194304 7396336 140723051838320 140723051835320 5792027 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 21114880 140723051839890 140723051840040 140723051840040 140723051843529 0
/proc/8001/statm: 37055 30711 689 782 0 30071 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 148220 KiB
Current children cumulated memory: 122844 KiB
[startup+0.700336 s]
/proc/loadavg: 2.38 2.11 2.06 3/181 8002
/proc/meminfo: memFree=30776512/32770624 swapFree=67108860/67108860
[pid=8001] ppid=7998 vsize=171968 memory=146752 CPUtime=0.61 cores=1,3,5,7
/proc/8001/stat : 8001 (MistralXCSP) R 7998 8001 897 0 -1 4202496 35395 0 0 0 57 4 0 0 20 0 1 0 67905299 176095232 36688 18446744073709551615 4194304 7396336 140723051838320 140723051835320 5792030 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 21114880 140723051839890 140723051840040 140723051840040 140723051843529 0
/proc/8001/statm: 42992 36688 697 782 0 36008 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 171968 KiB
Current children cumulated memory: 146752 KiB
[startup+1.50037 s]
/proc/loadavg: 2.38 2.11 2.06 3/181 8002
/proc/meminfo: memFree=30767928/32770624 swapFree=67108860/67108860
[pid=8001] ppid=7998 vsize=179756 memory=154408 CPUtime=1.41 cores=1,3,5,7
/proc/8001/stat : 8001 (MistralXCSP) R 7998 8001 897 0 -1 4202496 37326 0 0 0 137 4 0 0 20 0 1 0 67905299 184070144 38602 18446744073709551615 4194304 7396336 140723051838320 140723051833336 4406506 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 21114880 140723051839890 140723051840040 140723051840040 140723051843529 0
/proc/8001/statm: 44939 38602 697 782 0 37955 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 179756 KiB
Current children cumulated memory: 154408 KiB
[startup+3.10944 s]
/proc/loadavg: 2.27 2.09 2.06 3/181 8003
/proc/meminfo: memFree=30756812/32770624 swapFree=67108860/67108860
[pid=8001] ppid=7998 vsize=185564 memory=160212 CPUtime=3.02 cores=1,3,5,7
/proc/8001/stat : 8001 (MistralXCSP) R 7998 8001 897 0 -1 4202496 68946 0 0 0 296 6 0 0 20 0 1 0 67905299 190017536 40053 18446744073709551615 4194304 7396336 140723051838320 140723051833336 140572977814501 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 21114880 140723051839890 140723051840040 140723051840040 140723051843529 0
/proc/8001/statm: 46391 40053 698 782 0 39407 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 185564 KiB
Current children cumulated memory: 160212 KiB
[startup+6.30039 s]
/proc/loadavg: 2.27 2.09 2.06 3/181 8003
/proc/meminfo: memFree=30748736/32770624 swapFree=67108860/67108860
[pid=8001] ppid=7998 vsize=191240 memory=165860 CPUtime=6.21 cores=1,3,5,7
/proc/8001/stat : 8001 (MistralXCSP) R 7998 8001 897 0 -1 4202496 101953 0 0 0 613 8 0 0 20 0 1 0 67905299 195829760 41465 18446744073709551615 4194304 7396336 140723051838320 140723051832856 5792034 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 21114880 140723051839890 140723051840040 140723051840040 140723051843529 0
/proc/8001/statm: 47810 41465 698 782 0 40826 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 191240 KiB
Current children cumulated memory: 165860 KiB
[startup+12.7004 s]
/proc/loadavg: 2.25 2.09 2.05 3/181 8003
/proc/meminfo: memFree=30742040/32770624 swapFree=67108860/67108860
[pid=8001] ppid=7998 vsize=196256 memory=170768 CPUtime=12.61 cores=1,3,5,7
/proc/8001/stat : 8001 (MistralXCSP) R 7998 8001 897 0 -1 4202496 135890 0 0 0 1251 10 0 0 20 0 1 0 67905299 200966144 42692 18446744073709551615 4194304 7396336 140723051838320 140723051833336 5792027 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 21114880 140723051839890 140723051840040 140723051840040 140723051843529 0
/proc/8001/statm: 49064 42692 698 782 0 42080 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 196256 KiB
Current children cumulated memory: 170768 KiB
[startup+25.5004 s]
/proc/loadavg: 2.20 2.09 2.05 3/181 8003
/proc/meminfo: memFree=30735932/32770624 swapFree=67108860/67108860
[pid=8001] ppid=7998 vsize=199556 memory=174164 CPUtime=25.41 cores=1,3,5,7
/proc/8001/stat : 8001 (MistralXCSP) R 7998 8001 897 0 -1 4202496 204649 0 0 0 2528 13 0 0 20 0 1 0 67905299 204345344 43541 18446744073709551615 4194304 7396336 140723051838320 140723051832856 5792248 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 21114880 140723051839890 140723051840040 140723051840040 140723051843529 0
/proc/8001/statm: 49889 43541 698 782 0 42905 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 199556 KiB
Current children cumulated memory: 174164 KiB
[startup+51.1092 s]
/proc/loadavg: 2.13 2.08 2.05 3/181 8003
/proc/meminfo: memFree=30734480/32770624 swapFree=67108860/67108860
[pid=8001] ppid=7998 vsize=201008 memory=175744 CPUtime=51.02 cores=1,3,5,7
/proc/8001/stat : 8001 (MistralXCSP) R 7998 8001 897 0 -1 4202496 239668 0 0 0 5086 16 0 0 20 0 1 0 67905299 205832192 43936 18446744073709551615 4194304 7396336 140723051838320 140723051833336 5792027 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 21114880 140723051839890 140723051840040 140723051840040 140723051843529 0
/proc/8001/statm: 50252 43936 698 782 0 43268 0
Current children cumulated CPU time: 51.02 s
Current children cumulated vsize: 201008 KiB
Current children cumulated memory: 175744 KiB
[startup+102.3 s]
/proc/loadavg: 2.70 2.24 2.10 3/181 8006
/proc/meminfo: memFree=30733324/32770624 swapFree=67108860/67108860
[pid=8001] ppid=7998 vsize=201404 memory=176148 CPUtime=102.22 cores=1,3,5,7
/proc/8001/stat : 8001 (MistralXCSP) R 7998 8001 897 0 -1 4202496 274593 0 0 0 10204 18 0 0 20 0 1 0 67905299 206237696 44037 18446744073709551615 4194304 7396336 140723051838320 140723051833336 5792030 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 21114880 140723051839890 140723051840040 140723051840040 140723051843529 0
/proc/8001/statm: 50351 44037 698 782 0 43367 0
Current children cumulated CPU time: 102.22 s
Current children cumulated vsize: 201404 KiB
Current children cumulated memory: 176148 KiB
[startup+162.3 s]
/proc/loadavg: 2.26 2.19 2.10 3/181 8008
/proc/meminfo: memFree=30733364/32770624 swapFree=67108860/67108860
[pid=8001] ppid=7998 vsize=201536 memory=176268 CPUtime=162.2 cores=1,3,5,7
/proc/8001/stat : 8001 (MistralXCSP) R 7998 8001 897 0 -1 4202496 304221 0 0 0 16201 19 0 0 20 0 1 0 67905299 206372864 44067 18446744073709551615 4194304 7396336 140723051838320 140723051833336 4543984 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 21114880 140723051839890 140723051840040 140723051840040 140723051843529 0
/proc/8001/statm: 50384 44067 698 782 0 43400 0
Current children cumulated CPU time: 162.2 s
Current children cumulated vsize: 201536 KiB
Current children cumulated memory: 176268 KiB
[startup+222.3 s]
/proc/loadavg: 2.09 2.16 2.09 3/185 8025
/proc/meminfo: memFree=30728308/32770624 swapFree=67108860/67108860
[pid=8001] ppid=7998 vsize=201536 memory=176280 CPUtime=222.19 cores=1,3,5,7
/proc/8001/stat : 8001 (MistralXCSP) R 7998 8001 897 0 -1 4202496 313542 0 0 0 22199 20 0 0 20 0 1 0 67905299 206372864 44070 18446744073709551615 4194304 7396336 140723051838320 140723051833336 4581579 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 21114880 140723051839890 140723051840040 140723051840040 140723051843529 0
/proc/8001/statm: 50384 44070 698 782 0 43400 0
Current children cumulated CPU time: 222.19 s
Current children cumulated vsize: 201536 KiB
Current children cumulated memory: 176280 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252 s]*
/proc/loadavg: 2.06 2.14 2.09 3/185 8091
/proc/meminfo: memFree=30657264/32770624 swapFree=67108860/67108860
[pid=8001] ppid=7998 vsize=201536 memory=176284 CPUtime=251.9 cores=1,3,5,7
/proc/8001/stat : 8001 (MistralXCSP) R 7998 8001 897 0 -1 4202496 314653 0 0 0 25170 20 0 0 20 0 1 0 67905299 206372864 44071 18446744073709551615 4194304 7396336 140723051838320 140723051833336 5792030 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 21114880 140723051839890 140723051840040 140723051840040 140723051843529 0
/proc/8001/statm: 50384 44071 698 782 0 43400 0
Current children cumulated CPU time: 251.9 s
Current children cumulated vsize: 201536 KiB
Current children cumulated memory: 176284 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.011 s]
# the end of solver process 8001 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.709 s, system=0.205022 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.915
CPU user time (s): 251.709
CPU system time (s): 0.205022
CPU usage (%): 99.9617
Max. virtual memory (cumulated for all children) (KiB): 201536
Max. memory (cumulated for all children) (KiB): 176284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.709
system time used= 0.205022
maximum resident set size= 176312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 314689
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= 68
involuntary context switches= 92
# summary of solver processes directly reported to runsolver:
# pid: 8001
# total CPU time (s): 251.915
# total CPU user time (s): 251.709
# total CPU system time (s): 0.205022
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.943988 second user time and 1.95607 second system time
The end
Begin job on node125 at 2017-08-13 22:26:40 IDJOB=4259326 IDBENCH=135903 IDSOLVER=2645 FILE ID=node125/4259326-1502656846 RUNJOBID= node125-1502644564-1657 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-08.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-4259326-1502656846/watcher-4259326-1502656846 -o /tmp/evaluation-result-4259326-1502656846/solver-4259326-1502656846 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502644564-1657 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1095011341 HOME/instance-4259326-1502656846.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8e11a97c7673f129a8c4890bd1c1105b RANDOM SEED=1095011341 node125.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.07 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.07 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.07 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.07 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: 30916592 kB MemAvailable: 31829788 kB Buffers: 288028 kB Cached: 919936 kB SwapCached: 0 kB Active: 838780 kB Inactive: 586852 kB Active(anon): 218104 kB Inactive(anon): 33100 kB Active(file): 620676 kB Inactive(file): 553752 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 5836 kB Writeback: 4 kB AnonPages: 217592 kB Mapped: 48892 kB Shmem: 33444 kB Slab: 135124 kB SReclaimable: 109208 kB SUnreclaim: 25916 kB KernelStack: 3184 kB PageTables: 5256 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 496536 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: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 62020 MiB End job on node125 at 2017-08-13 22:30:52