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) | 739 | 251.821 | 252.01601 |
| Name | TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-14.xml |
| MD5SUM | b2c04361dada2322dcbf50e86c385888 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 552 |
| Best CPU time to get the best result obtained on this benchmark | 251.94299 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 300 |
| Number of constraints | 151 |
| Number of domains | 2 |
| Minimum domain size | 64 |
| Maximum domain size | 150 |
| Distribution of domain sizes | [{"size":64,"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.12 c 280717 0.98/1.19 o 1536 0.98/1.19 o 1534 0.98/1.19 o 1533 0.98/1.19 o 1520 0.98/1.19 o 1472 0.98/1.19 o 1467 1.57/1.70 o 1460 1.98/2.18 o 1457 1.98/2.18 o 1455 1.98/2.18 o 1443 1.98/2.18 o 1439 1.98/2.18 o 1423 1.98/2.18 o 1416 1.98/2.19 o 1409 2.47/2.67 o 1407 2.47/2.67 o 1406 2.47/2.68 o 1401 2.47/2.68 o 1398 2.47/2.68 o 1395 2.47/2.69 o 1393 2.98/3.15 o 1372 2.98/3.15 o 1361 2.98/3.15 o 1359 2.98/3.16 o 1358 2.98/3.16 o 1347 2.98/3.16 o 1345 3.47/3.64 o 1325 3.47/3.64 o 1321 3.47/3.64 o 1320 3.47/3.64 o 1319 3.47/3.64 o 1318 3.47/3.65 o 1317 3.47/3.65 o 1313 3.98/4.13 o 1310 3.98/4.14 o 1308 5.37/5.59 o 1303 5.37/5.59 o 1301 6.37/6.56 o 1300 6.37/6.56 o 1299 6.88/7.03 o 1295 7.37/7.50 o 1291 7.37/7.50 o 1289 7.37/7.50 o 1288 7.37/7.51 o 1286 10.88/11.05 o 1278 10.88/11.05 o 1277 10.88/11.05 o 1268 10.88/11.05 o 1267 10.88/11.05 o 1264 10.88/11.05 o 1263 10.88/11.06 o 1258 10.88/11.06 o 1257 10.88/11.06 o 1254 11.37/11.52 o 1248 11.37/11.52 o 1230 11.37/11.52 o 1224 11.37/11.52 o 1221 11.77/11.99 o 1219 11.77/12.00 o 1215 11.77/12.00 o 1214 11.88/12.01 o 1210 11.88/12.02 o 1209 11.88/12.02 o 1207 12.77/13.00 o 1206 12.77/13.00 o 1199 12.77/13.00 o 1180 12.77/13.00 o 1179 12.77/13.00 o 1174 12.77/13.00 o 1160 12.77/13.00 o 1151 12.77/13.00 o 1150 14.17/14.35 o 1147 14.17/14.35 o 1145 14.17/14.35 o 1125 14.67/14.83 o 1120 14.67/14.86 o 1110 14.67/14.87 o 1109 15.17/15.33 o 1108 15.17/15.33 o 1107 16.27/16.46 o 1106 17.47/17.66 o 1102 17.47/17.66 o 1098 17.47/17.66 o 1097 18.37/18.58 o 1096 18.37/18.58 o 1095 18.37/18.58 o 1085 18.88/19.05 o 1084 19.37/19.51 o 1083 19.77/19.98 o 1081 19.77/19.98 o 1079 19.77/19.98 o 1078 19.77/19.98 o 1077 19.77/19.98 o 1076 19.77/19.98 o 1075 19.77/20.00 o 1067 20.27/20.50 o 1066 20.37/20.50 o 1065 20.37/20.50 o 1064 20.37/20.50 o 1060 20.77/20.97 o 1059 20.77/20.97 o 1058 21.26/21.43 o 1057 23.16/23.31 o 1056 23.16/23.32 o 1054 23.16/23.37 o 1052 23.66/23.83 o 1051 23.66/23.83 o 1049 25.97/26.19 o 1047 26.46/26.66 o 1042 26.46/26.68 o 1039 27.46/27.62 o 1038 28.37/28.53 o 1032 28.37/28.53 o 1030 28.77/28.99 o 1029 29.27/29.44 o 1027 29.27/29.45 o 1024 29.77/29.90 o 1021 29.77/29.90 o 1020 29.77/29.90 o 1019 29.77/29.90 o 1018 32.57/32.79 o 1016 32.57/32.79 o 1014 34.36/34.57 o 1013 36.76/37.00 o 1008 38.56/38.79 o 1003 39.06/39.29 o 1002 39.06/39.29 o 1001 40.06/40.23 o 997 40.06/40.23 o 994 40.06/40.25 o 993 41.56/41.70 o 989 41.56/41.70 o 988 41.56/41.71 o 986 41.97/42.19 o 969 42.46/42.68 o 967 42.46/42.68 o 965 42.46/42.68 o 964 43.45/43.66 o 946 43.45/43.66 o 945 43.96/44.12 o 935 43.96/44.12 o 934 44.35/44.58 o 933 44.86/45.03 o 932 45.75/45.97 o 931 46.25/46.42 o 930 46.65/46.89 o 925 46.65/46.89 o 920 46.65/46.89 o 917 47.76/47.98 o 915 47.76/47.98 o 910 48.06/48.24 o 908 49.26/49.43 o 907 50.66/50.84 o 906 50.66/50.84 o 889 52.46/52.66 o 884 52.46/52.66 o 883 52.96/53.11 o 877 52.96/53.12 o 875 54.75/54.96 o 871 55.75/55.95 o 870 57.96/58.15 o 869 58.45/58.65 o 868 60.76/60.99 o 864 60.76/60.99 o 861 60.76/61.00 o 855 63.45/63.67 o 854 63.45/63.68 o 852 63.45/63.68 o 850 63.55/63.70 o 849 64.45/64.60 o 848 66.55/66.74 o 846 67.45/67.64 o 845 67.45/67.64 o 844 67.45/67.64 o 843 67.45/67.64 o 842 67.45/67.65 o 841 70.25/70.45 o 839 70.25/70.45 o 837 70.25/70.45 o 834 74.05/74.24 o 832 74.05/74.24 o 830 74.05/74.24 o 829 74.05/74.24 o 828 81.25/81.42 o 825 81.25/81.44 o 823 82.15/82.32 o 820 82.15/82.32 o 819 96.74/96.94 o 818 105.74/105.92 o 816 107.54/107.76 o 815 110.04/110.24 o 813 110.14/110.38 o 812 110.54/110.79 o 809 112.74/112.91 o 793 112.74/112.92 o 791 114.53/114.71 o 789 115.43/115.60 o 787 116.23/116.49 o 785 119.43/119.66 o 784 120.73/120.98 o 783 121.23/121.46 o 782 123.43/123.69 o 781 123.43/123.69 o 780 125.63/125.86 o 778 127.23/127.42 o 777 138.93/139.15 o 776 138.93/139.15 o 774 139.72/140.00 o 773 139.83/140.01 o 770 139.83/140.01 o 769 141.52/141.72 o 768 141.52/141.72 o 766 142.02/142.21 o 765 142.93/143.18 o 764 144.01/144.20 o 762 148.82/149.01 o 761 152.82/153.03 o 758 152.82/153.03 o 756 152.82/153.03 o 754 152.82/153.04 o 750 163.71/163.94 o 748 163.71/163.94 o 745 168.11/168.36 o 744 184.51/184.78 o 741 226.59/226.89 o 740 232.49/232.72 o 739 251.80/252.00 s SATISFIABLE 251.80/252.00 v <instantiation type="solution"> 251.80/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.80/252.00 v <values> 4 0 5 14 17 18 22 19 10 6 12 15 23 29 40 46 45 37 34 44 47 50 61 52 63 74 78 84 90 97 94 101 102 100 87 62 35 30 41 66 72 77 83 88 96 95 98 111 116 117 112 107 104 42 27 28 36 38 86 89 149 142 143 122 118 93 60 9 11 13 105 120 129 138 137 136 128 127 132 131 135 123 126 119 113 114 115 108 109 134 124 121 125 130 139 148 146 133 103 1 2 7 3 8 20 16 24 31 70 85 91 99 110 106 144 147 145 140 141 92 32 25 39 43 51 59 56 58 73 79 71 68 67 49 55 54 57 48 53 65 69 76 82 81 80 75 64 33 26 21 1 5 4 1 1 2 1 3 3 2 1 2 4 4 4 1 4 2 3 3 2 3 4 3 3 1 4 4 3 3 5 5 6 8 11 9 1 3 8 4 1 4 2 4 2 3 6 6 1 2 1 1 23 5 4 3 1 15 2 23 4 2 9 2 10 11 16 3 1 32 9 6 4 1 1 3 5 5 1 1 3 5 3 2 4 1 2 3 19 2 7 2 3 6 6 2 6 8 34 3 3 7 1 4 5 2 2 13 5 2 5 6 2 16 1 4 6 6 28 19 3 4 1 4 4 2 1 4 6 4 1 3 5 4 3 2 3 8 4 1 2 5 1 3 2 3 13 2 2 5 </values> 251.80/252.00 v </instantiation>
OK 739
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 (14978 MiB free)
memory of node 1: 16384 MiB (15349 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259328-1502656586/watcher-4259328-1502656586 -o /tmp/evaluation-result-4259328-1502656586/solver-4259328-1502656586 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502644564-1656 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 731000450 HOME/instance-4259328-1502656586.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
Current StackSize limit: 8192 KiB
solver pid=7800, runsolver pid=7797
[startup+0.100151 s]*
/proc/loadavg: 2.01 2.01 2.02 2/182 7801
/proc/meminfo: memFree=31055600/32770624 swapFree=67108860/67108860
[pid=7800] ppid=7797 vsize=33976 memory=460 CPUtime=0 cores=0,2,4,6
/proc/7800/stat : 7800 (runsolver) D 7797 7800 897 0 -1 4202560 110 0 0 0 0 0 0 0 20 0 1 0 67879278 34791424 115 18446744073709551615 4194304 4346622 140730223264208 140730223260840 140170768868055 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6446216 6449568 24563712 140730223272047 140730223272489 140730223272489 140730223275978 0
/proc/7800/statm: 8494 115 53 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 460 KiB
[startup+0.209029 s]*
/proc/loadavg: 2.01 2.01 2.02 3/182 7801
/proc/meminfo: memFree=31053352/32770624 swapFree=67108860/67108860
[pid=7800] ppid=7797 vsize=35348 memory=9500 CPUtime=0.09 cores=0,2,4,6
/proc/7800/stat : 7800 (MistralXCSP) R 7797 7800 897 0 -1 4202496 2715 0 0 0 9 0 0 0 20 0 1 0 67879278 36196352 2375 18446744073709551615 4194304 7396336 140720955493024 140720955490024 140581097868261 0 0 1 0 0 0 0 17 2 0 0 11 0 0 9496464 9501696 41230336 140720955494803 140720955494952 140720955494952 140720955498441 0
/proc/7800/statm: 8837 2375 647 782 0 1853 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 35348 KiB
Current children cumulated memory: 9500 KiB
[startup+0.309294 s]*
/proc/loadavg: 2.01 2.01 2.02 3/182 7801
/proc/meminfo: memFree=30985648/32770624 swapFree=67108860/67108860
[pid=7800] ppid=7797 vsize=104356 memory=78404 CPUtime=0.19 cores=0,2,4,6
/proc/7800/stat : 7800 (MistralXCSP) R 7797 7800 897 0 -1 4202496 19960 0 0 0 17 2 0 0 20 0 1 0 67879278 106860544 19601 18446744073709551615 4194304 7396336 140720955493024 140720955490024 140581097868261 0 0 1 0 0 0 0 17 2 0 0 11 0 0 9496464 9501696 41230336 140720955494803 140720955494952 140720955494952 140720955498441 0
/proc/7800/statm: 26089 19601 647 782 0 19105 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 104356 KiB
Current children cumulated memory: 78404 KiB
[startup+0.700416 s]
/proc/loadavg: 2.01 2.01 2.02 3/182 7801
/proc/meminfo: memFree=30847760/32770624 swapFree=67108860/67108860
[pid=7800] ppid=7797 vsize=368964 memory=343196 CPUtime=0.57 cores=0,2,4,6
/proc/7800/stat : 7800 (MistralXCSP) R 7797 7800 897 0 -1 4202496 86123 0 0 0 47 10 0 0 20 0 1 0 67879278 377819136 85799 18446744073709551615 4194304 7396336 140720955493024 140720955490024 140581097916320 0 0 1 0 0 0 0 17 2 0 0 11 0 0 9496464 9501696 41230336 140720955494803 140720955494952 140720955494952 140720955498441 0
/proc/7800/statm: 92241 85799 647 782 0 85257 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 368964 KiB
Current children cumulated memory: 343196 KiB
[startup+1.50044 s]
/proc/loadavg: 2.01 2.01 2.02 3/182 7801
/proc/meminfo: memFree=30651284/32770624 swapFree=67108860/67108860
[pid=7800] ppid=7797 vsize=455304 memory=430064 CPUtime=1.38 cores=0,2,4,6
/proc/7800/stat : 7800 (MistralXCSP) R 7797 7800 897 0 -1 4202496 100703 0 0 0 125 13 0 0 20 0 1 0 67879278 466231296 107516 18446744073709551615 4194304 7396336 140720955493024 140720955487560 4243324 0 0 1 16386 0 0 0 17 2 0 0 11 0 0 9496464 9501696 41230336 140720955494803 140720955494952 140720955494952 140720955498441 0
/proc/7800/statm: 113826 107516 695 782 0 106842 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 455304 KiB
Current children cumulated memory: 430064 KiB
[startup+3.10951 s]
/proc/loadavg: 2.01 2.01 2.02 3/182 7801
/proc/meminfo: memFree=30601808/32770624 swapFree=67108860/67108860
[pid=7800] ppid=7797 vsize=486324 memory=460884 CPUtime=2.98 cores=0,2,4,6
/proc/7800/stat : 7800 (MistralXCSP) R 7797 7800 897 0 -1 4202496 186544 0 0 0 281 17 0 0 20 0 1 0 67879278 497995776 115221 18446744073709551615 4194304 7396336 140720955493024 140720955487560 5792262 0 0 1 16386 0 0 0 17 2 0 0 11 0 0 9496464 9501696 41230336 140720955494803 140720955494952 140720955494952 140720955498441 0
/proc/7800/statm: 121581 115221 695 782 0 114597 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 486324 KiB
Current children cumulated memory: 460884 KiB
[startup+6.30042 s]
/proc/loadavg: 2.01 2.01 2.02 2/178 7836
/proc/meminfo: memFree=30607084/32770624 swapFree=67108860/67108860
[pid=7800] ppid=7797 vsize=500580 memory=475264 CPUtime=6.17 cores=0,2,4,6
/proc/7800/stat : 7800 (MistralXCSP) R 7797 7800 897 0 -1 4202496 327676 0 0 0 594 23 0 0 20 0 1 0 67879278 512593920 118816 18446744073709551615 4194304 7396336 140720955493024 140720955487560 5792030 0 0 1 16386 0 0 0 17 2 0 0 11 0 0 9496464 9501696 41230336 140720955494803 140720955494952 140720955494952 140720955498441 0
/proc/7800/statm: 125145 118816 695 782 0 118161 0
Current children cumulated CPU time: 6.17 s
Current children cumulated vsize: 500580 KiB
Current children cumulated memory: 475264 KiB
[startup+12.7004 s]
/proc/loadavg: 1.93 2.00 2.02 3/182 7865
/proc/meminfo: memFree=30549072/32770624 swapFree=67108860/67108860
[pid=7800] ppid=7797 vsize=505992 memory=480752 CPUtime=12.57 cores=0,2,4,6
/proc/7800/stat : 7800 (MistralXCSP) R 7797 7800 897 0 -1 4202496 440130 0 0 0 1229 28 0 0 20 0 1 0 67879278 518135808 120188 18446744073709551615 4194304 7396336 140720955493024 140720955488040 5792124 0 0 1 16386 0 0 0 17 2 0 0 11 0 0 9496464 9501696 41230336 140720955494803 140720955494952 140720955494952 140720955498441 0
/proc/7800/statm: 126498 120188 695 782 0 119514 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 505992 KiB
Current children cumulated memory: 480752 KiB
[startup+25.5004 s]
/proc/loadavg: 1.94 2.00 2.02 3/182 7866
/proc/meminfo: memFree=30545940/32770624 swapFree=67108860/67108860
[pid=7800] ppid=7797 vsize=507840 memory=482620 CPUtime=25.36 cores=0,2,4,6
/proc/7800/stat : 7800 (MistralXCSP) R 7797 7800 897 0 -1 4202496 521781 0 0 0 2504 32 0 0 20 0 1 0 67879278 520028160 120655 18446744073709551615 4194304 7396336 140720955493024 140720955488040 140581101303475 0 0 1 16386 0 0 0 17 2 0 0 11 0 0 9496464 9501696 41230336 140720955494803 140720955494952 140720955494952 140720955498441 0
/proc/7800/statm: 126960 120655 696 782 0 119976 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 507840 KiB
Current children cumulated memory: 482620 KiB
[startup+51.1095 s]
/proc/loadavg: 2.03 2.01 2.02 3/182 7866
/proc/meminfo: memFree=30546872/32770624 swapFree=67108860/67108860
[pid=7800] ppid=7797 vsize=507972 memory=482756 CPUtime=50.96 cores=0,2,4,6
/proc/7800/stat : 7800 (MistralXCSP) R 7797 7800 897 0 -1 4202496 642559 0 0 0 5058 38 0 0 20 0 1 0 67879278 520163328 120689 18446744073709551615 4194304 7396336 140720955493024 140720955488040 4582755 0 0 1 16386 0 0 0 17 2 0 0 11 0 0 9496464 9501696 41230336 140720955494803 140720955494952 140720955494952 140720955498441 0
/proc/7800/statm: 126993 120689 696 782 0 120009 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 507972 KiB
Current children cumulated memory: 482756 KiB
[startup+102.3 s]
/proc/loadavg: 2.07 2.03 2.03 3/182 7868
/proc/meminfo: memFree=30547304/32770624 swapFree=67108860/67108860
[pid=7800] ppid=7797 vsize=507972 memory=482756 CPUtime=102.14 cores=0,2,4,6
/proc/7800/stat : 7800 (MistralXCSP) R 7797 7800 897 0 -1 4202496 729848 0 0 0 10172 42 0 0 20 0 1 0 67879278 520163328 120689 18446744073709551615 4194304 7396336 140720955493024 140720955488040 5792034 0 0 1 16386 0 0 0 17 2 0 0 11 0 0 9496464 9501696 41230336 140720955494803 140720955494952 140720955494952 140720955498441 0
/proc/7800/statm: 126993 120689 696 782 0 120009 0
Current children cumulated CPU time: 102.14 s
Current children cumulated vsize: 507972 KiB
Current children cumulated memory: 482756 KiB
[startup+162.3 s]
/proc/loadavg: 2.09 2.04 2.03 3/181 7871
/proc/meminfo: memFree=30546912/32770624 swapFree=67108860/67108860
[pid=7800] ppid=7797 vsize=507972 memory=482756 CPUtime=162.12 cores=0,2,4,6
/proc/7800/stat : 7800 (MistralXCSP) R 7797 7800 897 0 -1 4202496 771879 0 0 0 16169 43 0 0 20 0 1 0 67879278 520163328 120689 18446744073709551615 4194304 7396336 140720955493024 140720955488040 5792030 0 0 1 16386 0 0 0 17 2 0 0 11 0 0 9496464 9501696 41230336 140720955494803 140720955494952 140720955494952 140720955498441 0
/proc/7800/statm: 126993 120689 696 782 0 120009 0
Current children cumulated CPU time: 162.12 s
Current children cumulated vsize: 507972 KiB
Current children cumulated memory: 482756 KiB
[startup+222.3 s]
/proc/loadavg: 2.03 2.03 2.03 3/181 7873
/proc/meminfo: memFree=30546692/32770624 swapFree=67108860/67108860
[pid=7800] ppid=7797 vsize=507972 memory=482756 CPUtime=222.1 cores=0,2,4,6
/proc/7800/stat : 7800 (MistralXCSP) R 7797 7800 897 0 -1 4202496 779549 0 0 0 22167 43 0 0 20 0 1 0 67879278 520163328 120689 18446744073709551615 4194304 7396336 140720955493024 140720955488040 5792070 0 0 1 16386 0 0 0 17 2 0 0 11 0 0 9496464 9501696 41230336 140720955494803 140720955494952 140720955494952 140720955498441 0
/proc/7800/statm: 126993 120689 696 782 0 120009 0
Current children cumulated CPU time: 222.1 s
Current children cumulated vsize: 507972 KiB
Current children cumulated memory: 482756 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252 s]*
/proc/loadavg: 2.02 2.03 2.03 3/181 7874
/proc/meminfo: memFree=30547356/32770624 swapFree=67108860/67108860
[pid=7800] ppid=7797 vsize=507972 memory=482756 CPUtime=251.8 cores=0,2,4,6
/proc/7800/stat : 7800 (MistralXCSP) R 7797 7800 897 0 -1 4202496 779789 0 0 0 25137 43 0 0 20 0 1 0 67879278 520163328 120689 18446744073709551615 4194304 7396336 140720955493024 140720955488040 4581425 0 0 1 16386 0 0 0 17 2 0 0 11 0 0 9496464 9501696 41230336 140720955494803 140720955494952 140720955494952 140720955498441 0
/proc/7800/statm: 126993 120689 696 782 0 120009 0
Current children cumulated CPU time: 251.8 s
Current children cumulated vsize: 507972 KiB
Current children cumulated memory: 482756 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.016 s]
# the end of solver process 7800 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.377 s, system=0.44402 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 252.016
CPU time (s): 251.821
CPU user time (s): 251.377
CPU system time (s): 0.44402
CPU usage (%): 99.9227
Max. virtual memory (cumulated for all children) (KiB): 507972
Max. memory (cumulated for all children) (KiB): 482756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.377
system time used= 0.44402
maximum resident set size= 482784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 779834
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= 154
involuntary context switches= 230
# summary of solver processes directly reported to runsolver:
# pid: 7800
# total CPU time (s): 251.821
# total CPU user time (s): 251.377
# total CPU system time (s): 0.44402
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.06346 second user time and 1.82993 second system time
The end
Begin job on node125 at 2017-08-13 22:22:20 IDJOB=4259328 IDBENCH=135805 IDSOLVER=2645 FILE ID=node125/4259328-1502656586 RUNJOBID= node125-1502644564-1656 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-14.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-4259328-1502656586/watcher-4259328-1502656586 -o /tmp/evaluation-result-4259328-1502656586/solver-4259328-1502656586 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502644564-1656 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 731000450 HOME/instance-4259328-1502656586.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b2c04361dada2322dcbf50e86c385888 RANDOM SEED=731000450 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: 31056504 kB MemAvailable: 31969488 kB Buffers: 287992 kB Cached: 919776 kB SwapCached: 0 kB Active: 697264 kB Inactive: 586780 kB Active(anon): 76712 kB Inactive(anon): 33100 kB Active(file): 620552 kB Inactive(file): 553680 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 5876 kB Writeback: 0 kB AnonPages: 76368 kB Mapped: 48848 kB Shmem: 33444 kB Slab: 134864 kB SReclaimable: 109172 kB SUnreclaim: 25692 kB KernelStack: 3216 kB PageTables: 4844 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 354900 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 24576 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:26:32