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 2018-06-15 | SAT (TO) | 1144 | 2400.03 | 2399.9 |
| Name | TravellingSalesman/ TravellingSalesman-150-50-00_c18.xml |
| MD5SUM | 784274e168c99e425b71be44c62c6ab3 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 537 |
| Best CPU time to get the best result obtained on this benchmark | 2520 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 300 |
| Number of constraints | 151 |
| Number of domains | 2 |
| Minimum domain size | 66 |
| Maximum domain size | 150 |
| Distribution of domain sizes | [{"size":66,"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.00 c Mistral 16062018 0.99/1.08 o 2057 0.99/1.08 o 2049 0.99/1.10 o 2023 0.99/1.10 o 2020 2.09/2.11 o 1974 2.09/2.11 o 1971 2.09/2.11 o 1970 2.09/2.11 o 1936 2.09/2.11 o 1932 2.09/2.11 o 1930 2.09/2.12 o 1924 2.09/2.13 o 1923 2.09/2.13 o 1921 2.09/2.13 o 1919 2.59/2.63 o 1909 2.59/2.63 o 1905 2.59/2.63 o 1894 2.59/2.64 o 1891 2.59/2.64 o 1889 2.59/2.64 o 1883 2.59/2.65 o 1882 2.59/2.65 o 1881 3.10/3.18 o 1877 3.10/3.18 o 1862 3.19/3.20 o 1861 3.19/3.20 o 1852 4.10/4.19 o 1841 4.10/4.19 o 1834 4.10/4.19 o 1698 4.10/4.19 o 1672 4.10/4.19 o 1660 4.10/4.19 o 1659 4.19/4.20 o 1657 4.19/4.20 o 1651 4.19/4.20 o 1648 4.19/4.21 o 1642 4.19/4.24 o 1635 4.69/4.79 o 1594 4.79/4.80 o 1589 4.89/4.98 o 1576 4.89/4.98 o 1575 4.89/4.98 o 1574 4.89/4.98 o 1569 5.29/5.38 o 1564 5.29/5.38 o 1563 5.29/5.38 o 1558 5.29/5.38 o 1554 5.29/5.38 o 1553 5.29/5.39 o 1550 5.29/5.39 o 1549 5.88/5.97 o 1545 7.79/7.81 o 1538 7.79/7.81 o 1536 8.49/8.58 o 1532 8.49/8.58 o 1530 8.49/8.58 o 1526 9.19/9.27 o 1523 9.19/9.27 o 1521 9.19/9.28 o 1511 9.19/9.28 o 1504 9.19/9.28 o 1499 9.19/9.28 o 1496 10.58/10.68 o 1492 10.78/10.83 o 1491 10.88/10.91 o 1490 11.38/11.40 o 1488 11.48/11.51 o 1485 11.48/11.51 o 1484 12.58/12.61 o 1482 14.38/14.43 o 1481 14.38/14.44 o 1478 14.38/14.44 o 1476 14.38/14.46 o 1475 14.38/14.47 o 1472 14.49/14.50 o 1467 14.49/14.57 o 1466 14.49/14.57 o 1461 14.69/14.75 o 1446 14.69/14.76 o 1445 15.00/15.06 o 1444 15.00/15.06 o 1442 15.00/15.06 o 1440 16.59/16.60 o 1439 16.59/16.61 o 1438 16.59/16.63 o 1434 16.69/16.70 o 1433 17.79/17.80 o 1432 19.10/19.11 o 1407 19.10/19.11 o 1406 19.10/19.11 o 1402 19.10/19.11 o 1397 19.10/19.14 o 1396 19.10/19.14 o 1395 19.10/19.19 o 1392 21.78/21.81 o 1390 21.78/21.81 o 1383 21.78/21.82 o 1381 21.78/21.82 o 1378 21.88/21.91 o 1374 21.99/22.01 o 1369 21.99/22.10 o 1359 22.18/22.21 o 1357 22.38/22.46 o 1352 28.00/28.07 o 1348 35.29/35.30 o 1344 35.29/35.32 o 1342 35.39/35.48 o 1311 35.39/35.48 o 1309 35.39/35.48 o 1305 35.39/35.48 o 1304 43.59/43.66 o 1301 43.59/43.66 o 1298 43.59/43.66 o 1297 43.59/43.67 o 1288 43.69/43.70 o 1286 47.59/47.65 o 1285 51.59/51.62 o 1284 55.39/55.40 o 1283 69.79/69.88 o 1282 69.79/69.88 o 1280 80.38/80.48 o 1279 80.48/80.51 o 1278 80.48/80.55 o 1275 81.78/81.85 o 1272 81.78/81.85 o 1270 82.68/82.71 o 1267 82.88/82.96 o 1259 87.99/88.08 o 1254 87.99/88.08 o 1253 122.98/123.04 o 1250 156.78/156.84 o 1249 157.78/157.83 o 1243 203.45/203.54 o 1242 240.85/240.96 o 1241 241.15/241.25 o 1240 411.76/411.88 o 1236 416.86/416.91 o 1220 589.08/589.12 o 1216 590.98/591.10 o 1214 590.98/591.10 o 1213 592.77/592.84 o 1211 626.68/626.78 o 1206 660.78/660.89 o 1202 742.79/742.88 o 1200 780.11/780.14 o 1194 780.11/780.14 o 1191 780.11/780.14 o 1188 780.60/780.67 o 1187 781.70/781.70 o 1186 781.70/781.71 o 1182 781.70/781.76 o 1179 782.30/782.39 o 1175 794.80/794.81 o 1173 1217.23/1217.20 o 1172 1218.14/1218.15 o 1171 1247.53/1247.59 o 1169 1441.54/1441.50 o 1167 2248.51/2248.44 o 1166 2248.91/2248.86 o 1164 2250.11/2250.07 o 1157 2250.11/2250.08 o 1154 2250.11/2250.09 o 1152 2250.11/2250.09 o 1151 2273.22/2273.12 o 1150 2273.22/2273.12 o 1148 2386.81/2386.70 o 1144 2400.02/2399.90 s SATISFIABLE 2400.02/2399.90 v <instantiation type="solution"> 2400.02/2399.90 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> 2400.02/2399.90 v <values> 12 6 1 2 3 4 7 17 8 9 16 22 31 38 45 46 54 59 61 64 74 87 82 81 68 62 75 83 90 95 96 94 97 88 98 99 104 107 108 109 105 100 101 91 89 112 65 106 121 145 131 29 33 27 20 5 0 15 28 41 48 77 18 42 14 80 118 55 24 23 110 84 113 116 92 51 19 10 25 32 63 115 67 53 76 123 136 35 34 71 50 72 69 70 39 26 30 36 43 79 52 149 144 143 120 114 129 128 122 132 146 139 127 140 147 141 138 137 148 142 135 134 133 117 130 126 125 124 119 111 103 102 93 86 85 78 73 66 60 57 56 58 49 37 44 47 40 21 13 11 1 3 2 5 2 5 5 4 2 2 9 4 2 3 1 4 4 1 3 2 5 3 1 4 5 3 5 3 2 1 4 1 3 4 4 1 1 1 1 2 1 3 3 1 19 24 11 6 7 4 34 5 4 3 6 4 8 7 4 17 15 34 12 20 35 28 22 11 2 38 11 8 5 10 14 30 5 6 3 11 16 33 12 7 16 6 47 1 12 8 47 35 6 13 5 2 3 2 13 11 31 4 4 17 4 10 3 2 4 4 3 4 4 3 1 4 1 4 8 9 3 4 5 5 5 3 2 1 4 7 1 4 2 4 3 2 9 5 1 1 3 4 7 4 2 2 6 4 11 2 </values> 2400.02/2399.90 v </instantiation>
OK 1144
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 (4148 MiB free)
memory of node 1: 16384 MiB (11699 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289709-1532205987/watcher-4289709-1532205987 -o /tmp/evaluation-result-4289709-1532205987/solver-4289709-1532205987 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532190502-22477 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 239158812 HOME/instance-4289709-1532205987.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=24378, runsolver pid=24375
Current StackSize limit: 8192 KiB
[startup+0.100203 s]*
/proc/loadavg: 2.00 2.03 2.05 3/187 24379
/proc/meminfo: memFree=16219700/32770624 swapFree=67108860/67108860
[pid=24378] ppid=24375 vsize=43820 memory=18152 CPUtime=0.1 cores=0,2,4,6
/proc/24378/stat : 24378 (MistralXCSP) R 24375 24378 22446 0 -1 4202496 4865 0 0 0 10 0 0 0 20 0 1 0 38161866 44871680 4538 33554432000 4194304 7498468 140734257054304 140734257051304 140404768295909 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41598976 140734257063022 140734257063171 140734257063171 140734257065929 0
/proc/24378/statm: 10955 4538 693 807 0 3946 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43820 KiB
Current children cumulated memory: 18152 KiB
[startup+0.209684 s]*
/proc/loadavg: 2.00 2.03 2.05 3/187 24379
/proc/meminfo: memFree=16143564/32770624 swapFree=67108860/67108860
[pid=24378] ppid=24375 vsize=120580 memory=94712 CPUtime=0.2 cores=0,2,4,6
/proc/24378/stat : 24378 (MistralXCSP) R 24375 24378 22446 0 -1 4202496 24032 0 0 0 18 2 0 0 20 0 1 0 38161866 123473920 23678 33554432000 4194304 7498468 140734257054304 140734257051304 140404768343968 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41598976 140734257063022 140734257063171 140734257063171 140734257065929 0
/proc/24378/statm: 30145 23678 693 807 0 23136 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 120580 KiB
Current children cumulated memory: 94712 KiB
[startup+0.309806 s]*
/proc/loadavg: 2.00 2.03 2.05 4/187 24379
/proc/meminfo: memFree=16073504/32770624 swapFree=67108860/67108860
[pid=24378] ppid=24375 vsize=190732 memory=164936 CPUtime=0.31 cores=0,2,4,6
/proc/24378/stat : 24378 (MistralXCSP) R 24375 24378 22446 0 -1 4202496 41588 0 0 0 27 4 0 0 20 0 1 0 38161866 195309568 41234 33554432000 4194304 7498468 140734257054304 140734257051304 140404768295909 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41598976 140734257063022 140734257063171 140734257063171 140734257065929 0
/proc/24378/statm: 47683 41234 693 807 0 40674 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 190732 KiB
Current children cumulated memory: 164936 KiB
[startup+0.700437 s]
/proc/loadavg: 2.00 2.03 2.05 4/187 24379
/proc/meminfo: memFree=15932888/32770624 swapFree=67108860/67108860
[pid=24378] ppid=24375 vsize=391576 memory=366316 CPUtime=0.69 cores=0,2,4,6
/proc/24378/stat : 24378 (MistralXCSP) R 24375 24378 22446 0 -1 4202496 90365 0 0 0 58 11 0 0 20 0 1 0 38161866 400973824 91579 33554432000 4194304 7498468 140734257054304 140734257051304 5791403 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41598976 140734257063022 140734257063171 140734257063171 140734257065929 0
/proc/24378/statm: 97894 91579 734 807 0 90885 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 391576 KiB
Current children cumulated memory: 366316 KiB
[startup+1.50044 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 24379
/proc/meminfo: memFree=15822556/32770624 swapFree=67108860/67108860
[pid=24378] ppid=24375 vsize=457640 memory=432244 CPUtime=1.49 cores=0,2,4,6
/proc/24378/stat : 24378 (MistralXCSP) R 24375 24378 22446 0 -1 4202496 101308 0 0 0 136 13 0 0 20 0 1 0 38161866 468623360 108061 33554432000 4194304 7498468 140734257054304 140734257048840 5791406 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41598976 140734257063022 140734257063171 140734257063171 140734257065929 0
/proc/24378/statm: 114410 108061 741 807 0 107401 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 457640 KiB
Current children cumulated memory: 432244 KiB
[startup+3.10966 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 24379
/proc/meminfo: memFree=15765584/32770624 swapFree=67108860/67108860
[pid=24378] ppid=24375 vsize=491168 memory=465956 CPUtime=3.1 cores=0,2,4,6
/proc/24378/stat : 24378 (MistralXCSP) R 24375 24378 22446 0 -1 4202496 188443 0 0 0 292 18 0 0 20 0 1 0 38161866 502956032 116489 33554432000 4194304 7498468 140734257054304 140734257048840 5791403 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41598976 140734257063022 140734257063171 140734257063171 140734257065929 0
/proc/24378/statm: 122792 116489 741 807 0 115783 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 491168 KiB
Current children cumulated memory: 465956 KiB
[startup+6.30035 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 24379
/proc/meminfo: memFree=15753520/32770624 swapFree=67108860/67108860
[pid=24378] ppid=24375 vsize=502124 memory=476972 CPUtime=6.29 cores=0,2,4,6
/proc/24378/stat : 24378 (MistralXCSP) R 24375 24378 22446 0 -1 4202496 329623 0 0 0 602 27 0 0 20 0 1 0 38161866 514174976 119243 33554432000 4194304 7498468 140734257054304 140734257049320 5791406 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41598976 140734257063022 140734257063171 140734257063171 140734257065929 0
/proc/24378/statm: 125531 119243 742 807 0 118522 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 502124 KiB
Current children cumulated memory: 476972 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 24379
/proc/meminfo: memFree=15748352/32770624 swapFree=67108860/67108860
[pid=24378] ppid=24375 vsize=505952 memory=480820 CPUtime=12.68 cores=0,2,4,6
/proc/24378/stat : 24378 (MistralXCSP) R 24375 24378 22446 0 -1 4202496 412291 0 0 0 1239 29 0 0 20 0 1 0 38161866 518094848 120205 33554432000 4194304 7498468 140734257054304 140734257049320 5791585 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41598976 140734257063022 140734257063171 140734257063171 140734257065929 0
/proc/24378/statm: 126488 120205 742 807 0 119479 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 505952 KiB
Current children cumulated memory: 480820 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 24379
/proc/meminfo: memFree=15747204/32770624 swapFree=67108860/67108860
[pid=24378] ppid=24375 vsize=507140 memory=482008 CPUtime=25.48 cores=0,2,4,6
/proc/24378/stat : 24378 (MistralXCSP) R 24375 24378 22446 0 -1 4202496 519035 0 0 0 2515 33 0 0 20 0 1 0 38161866 519311360 120502 33554432000 4194304 7498468 140734257054304 140734257049320 4317671 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41598976 140734257063022 140734257063171 140734257063171 140734257065929 0
/proc/24378/statm: 126785 120502 742 807 0 119776 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 507140 KiB
Current children cumulated memory: 482008 KiB
[startup+51.1092 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 24379
/proc/meminfo: memFree=15747224/32770624 swapFree=67108860/67108860
[pid=24378] ppid=24375 vsize=507668 memory=482560 CPUtime=51.09 cores=0,2,4,6
/proc/24378/stat : 24378 (MistralXCSP) R 24375 24378 22446 0 -1 4202496 600682 0 0 0 5073 36 0 0 20 0 1 0 38161866 519852032 120640 33554432000 4194304 7498468 140734257054304 140734257049320 4253232 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41598976 140734257063022 140734257063171 140734257063171 140734257065929 0
/proc/24378/statm: 126917 120640 742 807 0 119908 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 507668 KiB
Current children cumulated memory: 482560 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 24380
/proc/meminfo: memFree=15747132/32770624 swapFree=67108860/67108860
[pid=24378] ppid=24375 vsize=508064 memory=482848 CPUtime=102.28 cores=0,2,4,6
/proc/24378/stat : 24378 (MistralXCSP) R 24375 24378 22446 0 -1 4202496 693414 0 0 0 10188 40 0 0 20 0 1 0 38161866 520257536 120712 33554432000 4194304 7498468 140734257054304 140734257049320 5791513 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41598976 140734257063022 140734257063171 140734257063171 140734257065929 0
/proc/24378/statm: 127016 120712 742 807 0 120007 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 508064 KiB
Current children cumulated memory: 482848 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24381
/proc/meminfo: memFree=15747056/32770624 swapFree=67108860/67108860
[pid=24378] ppid=24375 vsize=508064 memory=482860 CPUtime=162.27 cores=0,2,4,6
/proc/24378/stat : 24378 (MistralXCSP) R 24375 24378 22446 0 -1 4202496 724217 0 0 0 16185 42 0 0 20 0 1 0 38161866 520257536 120715 33554432000 4194304 7498468 140734257054304 140734257049320 5791406 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41598976 140734257063022 140734257063171 140734257063171 140734257065929 0
/proc/24378/statm: 127016 120715 742 807 0 120007 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 508064 KiB
Current children cumulated memory: 482860 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24390
/proc/meminfo: memFree=15745544/32770624 swapFree=67108860/67108860
[pid=24378] ppid=24375 vsize=508064 memory=482944 CPUtime=222.25 cores=0,2,4,6
/proc/24378/stat : 24378 (MistralXCSP) R 24375 24378 22446 0 -1 4202496 735700 0 0 0 22183 42 0 0 20 0 1 0 38161866 520257536 120736 33554432000 4194304 7498468 140734257054304 140734257049320 5791403 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41598976 140734257063022 140734257063171 140734257063171 140734257065929 0
/proc/24378/statm: 127016 120736 742 807 0 120007 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 508064 KiB
Current children cumulated memory: 482944 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24391
/proc/meminfo: memFree=15746088/32770624 swapFree=67108860/67108860
[pid=24378] ppid=24375 vsize=508196 memory=482988 CPUtime=282.25 cores=0,2,4,6
/proc/24378/stat : 24378 (MistralXCSP) R 24375 24378 22446 0 -1 4202496 736463 0 0 0 28183 42 0 0 20 0 1 0 38161866 520392704 120747 33554432000 4194304 7498468 140734257054304 140734257049320 5791419 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41598976 140734257063022 140734257063171 140734257063171 140734257065929 0
/proc/24378/statm: 127049 120747 742 807 0 120040 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 508196 KiB
Current children cumulated memory: 482988 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24392
/proc/meminfo: memFree=15747884/32770624 swapFree=67108860/67108860
[pid=24378] ppid=24375 vsize=508196 memory=482988 CPUtime=342.26 cores=0,2,4,6
/proc/24378/stat : 24378 (MistralXCSP) R 24375 24378 22446 0 -1 4202496 736582 0 0 0 34184 42 0 0 20 0 1 0 38161866 520392704 120747 33554432000 4194304 7498468 140734257054304 140734257049320 5684520 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41598976 140734257063022 140734257063171 140734257063171 140734257065929 0
/proc/24378/statm: 127049 120747 742 807 0 120040 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 508196 KiB
Current children cumulated memory: 482988 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24393
/proc/meminfo: memFree=15748000/32770624 swapFree=67108860/67108860
[pid=24378] ppid=24375 vsize=508196 memory=483004 CPUtime=402.26 cores=0,2,4,6
/proc/24378/stat : 24378 (MistralXCSP) R 24375 24378 22446 0 -1 4202496 737226 0 0 0 40184 42 0 0 20 0 1 0 38161866 520392704 120751 33554432000 4194304 7498468 140734257054304 140734257049320 5791406 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41598976 140734257063022 140734257063171 140734257063171 140734257065929 0
/proc/24378/statm: 127049 120751 742 807 0 120040 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 508196 KiB
Current children cumulated memory: 483004 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24394
/proc/meminfo: memFree=15747928/32770624 swapFree=67108860/67108860
[pid=24378] ppid=24375 vsize=508328 memory=483148 CPUtime=462.26 cores=0,2,4,6
/proc/24378/stat : 24378 (MistralXCSP) R 24375 24378 22446 0 -1 4202496 737974 0 0 0 46184 42 0 0 20 0 1 0 38161866 520527872 120787 33554432000 4194304 7498468 140734257054304 140734257049320 5791406 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41598976 140734257063022 140734257063171 140734257063171 140734257065929 0
/proc/24378/statm: 127082 120787 742 807 0 120073 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 508328 KiB
Current children cumulated memory: 483148 KiB
################
# More data... #
################
/proc/24378/statm: 127115 120813 742 807 0 120106 0
Current children cumulated CPU time: 1662.36 s
Current children cumulated vsize: 508460 KiB
Current children cumulated memory: 483252 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24457
/proc/meminfo: memFree=15746312/32770624 swapFree=67108860/67108860
[pid=24378] ppid=24375 vsize=508460 memory=483256 CPUtime=1722.37 cores=0,2,4,6
/proc/24378/stat : 24378 (MistralXCSP) R 24375 24378 22446 0 -1 4202496 743071 0 0 0 172194 43 0 0 20 0 1 0 38161866 520663040 120814 33554432000 4194304 7498468 140734257054304 140734257049320 4580327 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41598976 140734257063022 140734257063171 140734257063171 140734257065929 0
/proc/24378/statm: 127115 120814 742 807 0 120106 0
Current children cumulated CPU time: 1722.37 s
Current children cumulated vsize: 508460 KiB
Current children cumulated memory: 483256 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24458
/proc/meminfo: memFree=15746564/32770624 swapFree=67108860/67108860
[pid=24378] ppid=24375 vsize=508460 memory=483256 CPUtime=1782.37 cores=0,2,4,6
/proc/24378/stat : 24378 (MistralXCSP) R 24375 24378 22446 0 -1 4202496 743118 0 0 0 178194 43 0 0 20 0 1 0 38161866 520663040 120814 33554432000 4194304 7498468 140734257054304 140734257049320 4253120 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41598976 140734257063022 140734257063171 140734257063171 140734257065929 0
/proc/24378/statm: 127115 120814 742 807 0 120106 0
Current children cumulated CPU time: 1782.37 s
Current children cumulated vsize: 508460 KiB
Current children cumulated memory: 483256 KiB
[startup+1842.3 s]
/proc/loadavg: 2.60 2.18 2.10 3/187 24459
/proc/meminfo: memFree=15746816/32770624 swapFree=67108860/67108860
[pid=24378] ppid=24375 vsize=508460 memory=483256 CPUtime=1842.38 cores=0,2,4,6
/proc/24378/stat : 24378 (MistralXCSP) R 24375 24378 22446 0 -1 4202496 743279 0 0 0 184195 43 0 0 20 0 1 0 38161866 520663040 120814 33554432000 4194304 7498468 140734257054304 140734257049320 5791406 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41598976 140734257063022 140734257063171 140734257063171 140734257065929 0
/proc/24378/statm: 127115 120814 742 807 0 120106 0
Current children cumulated CPU time: 1842.38 s
Current children cumulated vsize: 508460 KiB
Current children cumulated memory: 483256 KiB
[startup+1902.3 s]
/proc/loadavg: 2.51 2.25 2.13 3/187 24460
/proc/meminfo: memFree=15746572/32770624 swapFree=67108860/67108860
[pid=24378] ppid=24375 vsize=508460 memory=483256 CPUtime=1902.38 cores=0,2,4,6
/proc/24378/stat : 24378 (MistralXCSP) R 24375 24378 22446 0 -1 4202496 743386 0 0 0 190195 43 0 0 20 0 1 0 38161866 520663040 120814 33554432000 4194304 7498468 140734257054304 140734257049320 5791406 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41598976 140734257063022 140734257063171 140734257063171 140734257065929 0
/proc/24378/statm: 127115 120814 742 807 0 120106 0
Current children cumulated CPU time: 1902.38 s
Current children cumulated vsize: 508460 KiB
Current children cumulated memory: 483256 KiB
[startup+1962.3 s]
/proc/loadavg: 2.22 2.22 2.13 3/187 24461
/proc/meminfo: memFree=15746824/32770624 swapFree=67108860/67108860
[pid=24378] ppid=24375 vsize=508460 memory=483256 CPUtime=1962.38 cores=0,2,4,6
/proc/24378/stat : 24378 (MistralXCSP) R 24375 24378 22446 0 -1 4202496 743440 0 0 0 196195 43 0 0 20 0 1 0 38161866 520663040 120814 33554432000 4194304 7498468 140734257054304 140734257049320 5684759 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41598976 140734257063022 140734257063171 140734257063171 140734257065929 0
/proc/24378/statm: 127115 120814 742 807 0 120106 0
Current children cumulated CPU time: 1962.38 s
Current children cumulated vsize: 508460 KiB
Current children cumulated memory: 483256 KiB
[startup+2022.3 s]
/proc/loadavg: 2.12 2.19 2.13 3/187 24469
/proc/meminfo: memFree=15745256/32770624 swapFree=67108860/67108860
[pid=24378] ppid=24375 vsize=508460 memory=483256 CPUtime=2022.39 cores=0,2,4,6
/proc/24378/stat : 24378 (MistralXCSP) R 24375 24378 22446 0 -1 4202496 743543 0 0 0 202196 43 0 0 20 0 1 0 38161866 520663040 120814 33554432000 4194304 7498468 140734257054304 140734257049320 4404908 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41598976 140734257063022 140734257063171 140734257063171 140734257065929 0
/proc/24378/statm: 127115 120814 742 807 0 120106 0
Current children cumulated CPU time: 2022.39 s
Current children cumulated vsize: 508460 KiB
Current children cumulated memory: 483256 KiB
[startup+2082.3 s]
/proc/loadavg: 2.08 2.17 2.13 3/187 24470
/proc/meminfo: memFree=15746000/32770624 swapFree=67108860/67108860
[pid=24378] ppid=24375 vsize=508460 memory=483256 CPUtime=2082.39 cores=0,2,4,6
/proc/24378/stat : 24378 (MistralXCSP) R 24375 24378 22446 0 -1 4202496 743594 0 0 0 208196 43 0 0 20 0 1 0 38161866 520663040 120814 33554432000 4194304 7498468 140734257054304 140734257049320 5791406 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41598976 140734257063022 140734257063171 140734257063171 140734257065929 0
/proc/24378/statm: 127115 120814 742 807 0 120106 0
Current children cumulated CPU time: 2082.39 s
Current children cumulated vsize: 508460 KiB
Current children cumulated memory: 483256 KiB
[startup+2142.3 s]
/proc/loadavg: 2.06 2.15 2.13 3/187 24471
/proc/meminfo: memFree=15746452/32770624 swapFree=67108860/67108860
[pid=24378] ppid=24375 vsize=508460 memory=483256 CPUtime=2142.4 cores=0,2,4,6
/proc/24378/stat : 24378 (MistralXCSP) R 24375 24378 22446 0 -1 4202496 743746 0 0 0 214197 43 0 0 20 0 1 0 38161866 520663040 120814 33554432000 4194304 7498468 140734257054304 140734257049320 5791406 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41598976 140734257063022 140734257063171 140734257063171 140734257065929 0
/proc/24378/statm: 127115 120814 742 807 0 120106 0
Current children cumulated CPU time: 2142.4 s
Current children cumulated vsize: 508460 KiB
Current children cumulated memory: 483256 KiB
[startup+2202.3 s]
/proc/loadavg: 2.02 2.13 2.12 3/187 24472
/proc/meminfo: memFree=15746436/32770624 swapFree=67108860/67108860
[pid=24378] ppid=24375 vsize=508460 memory=483256 CPUtime=2202.4 cores=0,2,4,6
/proc/24378/stat : 24378 (MistralXCSP) R 24375 24378 22446 0 -1 4202496 743862 0 0 0 220197 43 0 0 20 0 1 0 38161866 520663040 120814 33554432000 4194304 7498468 140734257054304 140734257049320 5791419 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41598976 140734257063022 140734257063171 140734257063171 140734257065929 0
/proc/24378/statm: 127115 120814 742 807 0 120106 0
Current children cumulated CPU time: 2202.4 s
Current children cumulated vsize: 508460 KiB
Current children cumulated memory: 483256 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.10 2.12 3/187 24473
/proc/meminfo: memFree=15746212/32770624 swapFree=67108860/67108860
[pid=24378] ppid=24375 vsize=508460 memory=483280 CPUtime=2262.41 cores=0,2,4,6
/proc/24378/stat : 24378 (MistralXCSP) R 24375 24378 22446 0 -1 4202496 744612 0 0 0 226198 43 0 0 20 0 1 0 38161866 520663040 120820 33554432000 4194304 7498468 140734257054304 140734257049320 5772170 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41598976 140734257063022 140734257063171 140734257063171 140734257065929 0
/proc/24378/statm: 127115 120820 742 807 0 120106 0
Current children cumulated CPU time: 2262.41 s
Current children cumulated vsize: 508460 KiB
Current children cumulated memory: 483280 KiB
[startup+2322.3 s]
/proc/loadavg: 1.66 2.00 2.08 2/180 24524
/proc/meminfo: memFree=15770688/32770624 swapFree=67108860/67108860
[pid=24378] ppid=24375 vsize=508460 memory=483280 CPUtime=2322.41 cores=0,2,4,6
/proc/24378/stat : 24378 (MistralXCSP) R 24375 24378 22446 0 -1 4202496 744806 0 0 0 232198 43 0 0 20 0 1 0 38161866 520663040 120820 33554432000 4194304 7498468 140734257054304 140734257049320 5791624 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41598976 140734257063022 140734257063171 140734257063171 140734257065929 0
/proc/24378/statm: 127115 120820 742 807 0 120106 0
Current children cumulated CPU time: 2322.41 s
Current children cumulated vsize: 508460 KiB
Current children cumulated memory: 483280 KiB
[startup+2382.3 s]
/proc/loadavg: 1.24 1.82 2.02 2/180 24525
/proc/meminfo: memFree=15771000/32770624 swapFree=67108860/67108860
[pid=24378] ppid=24375 vsize=508460 memory=483280 CPUtime=2382.41 cores=0,2,4,6
/proc/24378/stat : 24378 (MistralXCSP) R 24375 24378 22446 0 -1 4202496 744989 0 0 0 238198 43 0 0 20 0 1 0 38161866 520663040 120820 33554432000 4194304 7498468 140734257054304 140734257049320 5684444 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41598976 140734257063022 140734257063171 140734257063171 140734257065929 0
/proc/24378/statm: 127115 120820 742 807 0 120106 0
Current children cumulated CPU time: 2382.41 s
Current children cumulated vsize: 508460 KiB
Current children cumulated memory: 483280 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.9 s]
/proc/loadavg: 1.17 1.77 2.00 2/180 24525
/proc/meminfo: memFree=15771000/32770624 swapFree=67108860/67108860
[pid=24378] ppid=24375 vsize=508460 memory=483280 CPUtime=2400.02 cores=0,2,4,6
/proc/24378/stat : 24378 (MistralXCSP) R 24375 24378 22446 0 -1 4202496 745075 0 0 0 239959 43 0 0 20 0 1 0 38161866 520663040 120820 33554432000 4194304 7498468 140734257054304 140734257049320 5791638 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41598976 140734257063022 140734257063171 140734257063171 140734257065929 0
/proc/24378/statm: 127115 120820 742 807 0 120106 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 508460 KiB
Current children cumulated memory: 483280 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2399.9 s]
# the end of solver process 24378 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.59 s, system=0.441033 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2399.9 s]
/proc/loadavg: 1.17 1.77 2.00 2/180 24525
/proc/meminfo: memFree=15771000/32770624 swapFree=67108860/67108860
[pid=24378] ppid=24375 vsize=508460 memory=483280 CPUtime=2400.02 cores=0,2,4,6
/proc/24378/stat : 24378 (MistralXCSP) R 24375 24378 22446 0 -1 4202496 745075 0 0 0 239959 43 0 0 20 0 1 0 38161866 520663040 120820 33554432000 4194304 7498468 140734257054304 140734257049320 5791638 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41598976 140734257063022 140734257063171 140734257063171 140734257065929 0
/proc/24378/statm: 127115 120820 742 807 0 120106 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 508460 KiB
Current children cumulated memory: 483280 KiB
Child status: 0
Real time (s): 2399.9
CPU time (s): 2400.03
CPU user time (s): 2399.59
CPU system time (s): 0.441033
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 508460
Max. memory (cumulated for all children) (KiB): 483280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.59
system time used= 0.441033
maximum resident set size= 483300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 745105
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= 85
involuntary context switches= 654
# summary of solver processes directly reported to runsolver:
# pid: 24378
# total CPU time (s): 2400.03
# total CPU user time (s): 2399.59
# total CPU system time (s): 0.441033
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.85298 second user time and 17.9171 second system time
The end
Begin job on node105 at 2018-07-21 22:46:27 IDJOB=4289709 IDBENCH=141629 IDSOLVER=2741 FILE ID=node105/4289709-1532205987 RUNJOBID= node105-1532190502-22477 PBS_JOBID= 21018938 Free space on /tmp= 44916 MiB SOLVER NAME= Mistral-2.0 2018-06-15 BENCH NAME= XCSP18/TravellingSalesman/TravellingSalesman-150-50-00_c18.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-4289709-1532205987/watcher-4289709-1532205987 -o /tmp/evaluation-result-4289709-1532205987/solver-4289709-1532205987 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532190502-22477 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 239158812 HOME/instance-4289709-1532205987.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 784274e168c99e425b71be44c62c6ab3 RANDOM SEED=239158812 node105.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.32 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.32 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.32 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.32 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: 16229420 kB MemAvailable: 31928276 kB Buffers: 117740 kB Cached: 15556020 kB SwapCached: 0 kB Active: 1203932 kB Inactive: 14535348 kB Active(anon): 16452 kB Inactive(anon): 68868 kB Active(file): 1187480 kB Inactive(file): 14466480 kB Unevictable: 7280 kB Mlocked: 7280 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 9060 kB Writeback: 0 kB AnonPages: 72796 kB Mapped: 36068 kB Shmem: 17036 kB Slab: 500320 kB SReclaimable: 473356 kB SUnreclaim: 26964 kB KernelStack: 3360 kB PageTables: 5156 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 357704 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: 130432 kB DirectMap2M: 33415168 kB Free space on /tmp at the end= 44916 MiB End job on node105 at 2018-07-21 23:26:27