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-08-01 | SAT (TO) | 1143 | 2519.98 | 2520.01 |
| 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 01082018 1.00/1.10 o 2057 1.00/1.10 o 2049 1.10/1.11 o 2023 1.10/1.12 o 2020 2.10/2.13 o 1974 2.10/2.13 o 1971 2.10/2.13 o 1970 2.10/2.13 o 1936 2.10/2.13 o 1932 2.10/2.13 o 1930 2.10/2.14 o 1924 2.10/2.15 o 1923 2.10/2.15 o 1921 2.10/2.15 o 1919 2.59/2.65 o 1909 2.59/2.65 o 1905 2.59/2.65 o 1894 2.59/2.65 o 1891 2.59/2.65 o 1889 2.59/2.66 o 1883 2.59/2.67 o 1882 2.59/2.67 o 1881 3.19/3.20 o 1877 3.19/3.20 o 1862 3.19/3.22 o 1861 3.19/3.22 o 1852 4.19/4.21 o 1841 4.19/4.21 o 1834 4.19/4.21 o 1698 4.19/4.21 o 1672 4.19/4.21 o 1660 4.19/4.21 o 1659 4.19/4.21 o 1657 4.19/4.21 o 1651 4.19/4.21 o 1648 4.19/4.22 o 1642 4.19/4.25 o 1635 4.79/4.81 o 1594 4.79/4.81 o 1589 4.89/4.90 o 1576 4.89/4.90 o 1575 4.89/4.90 o 1574 4.89/4.90 o 1569 5.29/5.39 o 1564 5.29/5.39 o 1563 5.29/5.39 o 1558 5.29/5.39 o 1554 5.29/5.39 o 1553 5.29/5.39 o 1550 5.29/5.39 o 1549 5.89/5.97 o 1545 7.79/7.81 o 1538 7.79/7.81 o 1536 8.49/8.57 o 1532 8.49/8.57 o 1530 8.49/8.57 o 1526 9.19/9.25 o 1523 9.19/9.25 o 1521 9.19/9.26 o 1511 9.19/9.26 o 1504 9.19/9.26 o 1499 9.19/9.26 o 1496 10.59/10.66 o 1492 10.79/10.82 o 1491 10.89/10.90 o 1490 11.29/11.39 o 1488 11.49/11.51 o 1485 11.49/11.51 o 1484 12.59/12.65 o 1482 14.49/14.51 o 1481 14.49/14.51 o 1478 14.49/14.52 o 1476 14.49/14.53 o 1475 14.49/14.55 o 1472 14.49/14.58 o 1467 14.59/14.65 o 1466 14.59/14.65 o 1461 14.79/14.83 o 1446 14.79/14.83 o 1445 15.10/15.14 o 1444 15.10/15.14 o 1442 15.10/15.14 o 1440 16.59/16.67 o 1439 16.59/16.68 o 1438 16.59/16.69 o 1434 16.69/16.77 o 1433 17.79/17.87 o 1432 19.10/19.17 o 1407 19.10/19.17 o 1406 19.10/19.17 o 1402 19.10/19.17 o 1397 19.19/19.21 o 1396 19.19/19.21 o 1395 19.19/19.25 o 1392 21.79/21.88 o 1390 21.79/21.88 o 1383 21.79/21.88 o 1381 21.79/21.88 o 1378 21.89/21.98 o 1374 22.00/22.07 o 1369 22.10/22.17 o 1359 22.19/22.27 o 1357 22.49/22.53 o 1352 28.09/28.11 o 1348 35.28/35.33 o 1344 35.28/35.34 o 1342 35.48/35.50 o 1311 35.48/35.50 o 1309 35.48/35.50 o 1305 35.48/35.50 o 1304 43.59/43.63 o 1301 43.59/43.63 o 1298 43.59/43.63 o 1297 43.59/43.63 o 1288 43.59/43.66 o 1286 47.58/47.61 o 1285 51.49/51.58 o 1284 55.29/55.36 o 1283 69.79/69.85 o 1282 69.79/69.85 o 1280 80.48/80.59 o 1279 80.58/80.62 o 1278 80.58/80.66 o 1275 81.89/81.97 o 1272 81.89/81.98 o 1270 82.78/82.84 o 1267 82.99/83.09 o 1259 88.18/88.21 o 1254 88.18/88.21 o 1253 123.09/123.19 o 1250 156.99/157.02 o 1249 157.99/158.01 o 1243 203.07/203.15 o 1242 240.15/240.20 o 1241 240.35/240.49 o 1240 408.66/408.78 o 1236 413.66/413.75 o 1220 583.06/583.18 o 1216 585.06/585.13 o 1214 585.06/585.14 o 1213 586.75/586.85 o 1211 620.25/620.36 o 1206 653.96/654.06 o 1202 734.96/735.01 o 1200 771.75/771.86 o 1194 771.75/771.86 o 1191 771.75/771.87 o 1188 772.25/772.39 o 1187 773.35/773.40 o 1186 773.35/773.41 o 1182 773.35/773.45 o 1179 773.96/774.07 o 1175 786.25/786.33 o 1173 1202.75/1202.84 o 1172 1203.65/1203.79 o 1171 1232.75/1232.88 o 1169 1424.35/1424.46 o 1167 2219.86/2219.94 o 1166 2220.26/2220.36 o 1164 2221.46/2221.56 o 1157 2221.46/2221.56 o 1154 2221.46/2221.57 o 1152 2221.46/2221.57 o 1151 2244.26/2244.31 o 1150 2244.26/2244.31 o 1148 2356.36/2356.45 o 1144 2449.76/2449.83 o 1143 2519.97/2520.01 s SATISFIABLE 2519.97/2520.01 v <instantiation type="solution"> 2519.97/2520.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] 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> 2519.97/2520.01 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 32 33 27 20 5 0 15 28 41 48 77 18 42 14 80 118 55 29 23 110 84 113 116 92 51 19 10 24 25 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 33 3 4 3 6 4 8 7 4 17 15 34 12 20 35 28 22 9 4 38 11 8 5 10 14 30 5 4 4 14 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> 2519.97/2520.01 v </instantiation>
OK 1143
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 (6948 MiB free)
memory of node 1: 16384 MiB (10518 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303624-1534032627/watcher-4303624-1534032627 -o /tmp/evaluation-result-4303624-1534032627/solver-4303624-1534032627 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534025302-27178 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1701079212 HOME/instance-4303624-1534032627.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=28287, runsolver pid=28284
[startup+0.100157 s]*
/proc/loadavg: 2.01 2.07 2.06 3/191 28288
/proc/meminfo: memFree=17877188/32770624 swapFree=67108860/67108860
[pid=28287] ppid=28284 vsize=43356 memory=17632 CPUtime=0.1 cores=1,3,5,7
/proc/28287/stat : 28287 (MistralXCSP) R 28284 28287 27146 0 -1 4202496 4728 0 0 0 10 0 0 0 20 0 1 0 220825843 44396544 4408 33554432000 4194304 7499544 140735648256448 140735648253448 140019563296672 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 43106304 140735648265325 140735648265475 140735648265475 140735648268233 0
/proc/28287/statm: 10839 4408 695 807 0 3830 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43356 KiB
Current children cumulated memory: 17632 KiB
[startup+0.209935 s]*
/proc/loadavg: 2.01 2.07 2.06 3/191 28288
/proc/meminfo: memFree=17803532/32770624 swapFree=67108860/67108860
[pid=28287] ppid=28284 vsize=117008 memory=91288 CPUtime=0.21 cores=1,3,5,7
/proc/28287/stat : 28287 (MistralXCSP) R 28284 28287 27146 0 -1 4202496 23151 0 0 0 18 3 0 0 20 0 1 0 220825843 119816192 22822 33554432000 4194304 7499544 140735648256448 140735648253448 140019563248613 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 43106304 140735648265325 140735648265475 140735648265475 140735648268233 0
/proc/28287/statm: 29252 22822 695 807 0 22243 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 117008 KiB
Current children cumulated memory: 91288 KiB
[startup+0.30984 s]*
/proc/loadavg: 2.01 2.07 2.06 3/191 28288
/proc/meminfo: memFree=17736200/32770624 swapFree=67108860/67108860
[pid=28287] ppid=28284 vsize=184128 memory=158344 CPUtime=0.31 cores=1,3,5,7
/proc/28287/stat : 28287 (MistralXCSP) R 28284 28287 27146 0 -1 4202496 39923 0 0 0 27 4 0 0 20 0 1 0 220825843 188547072 39586 33554432000 4194304 7499544 140735648256448 140735648247896 140019563248613 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 43106304 140735648265325 140735648265475 140735648265475 140735648268233 0
/proc/28287/statm: 46032 39586 695 807 0 39023 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 184128 KiB
Current children cumulated memory: 158344 KiB
[startup+0.700411 s]
/proc/loadavg: 2.01 2.07 2.06 3/191 28288
/proc/meminfo: memFree=17600792/32770624 swapFree=67108860/67108860
[pid=28287] ppid=28284 vsize=391576 memory=366248 CPUtime=0.69 cores=1,3,5,7
/proc/28287/stat : 28287 (MistralXCSP) R 28284 28287 27146 0 -1 4202496 90373 0 0 0 58 11 0 0 20 0 1 0 220825843 400973824 91562 33554432000 4194304 7499544 140735648256448 140735648250984 5791172 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 43106304 140735648265325 140735648265475 140735648265475 140735648268233 0
/proc/28287/statm: 97894 91562 742 807 0 90885 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 391576 KiB
Current children cumulated memory: 366248 KiB
[startup+1.50041 s]
/proc/loadavg: 2.01 2.07 2.06 3/191 28288
/proc/meminfo: memFree=17480044/32770624 swapFree=67108860/67108860
[pid=28287] ppid=28284 vsize=457508 memory=432176 CPUtime=1.49 cores=1,3,5,7
/proc/28287/stat : 28287 (MistralXCSP) R 28284 28287 27146 0 -1 4202496 101281 0 0 0 136 13 0 0 20 0 1 0 220825843 468488192 108044 33554432000 4194304 7499544 140735648256448 140735648250984 5790974 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 43106304 140735648265325 140735648265475 140735648265475 140735648268233 0
/proc/28287/statm: 114377 108044 748 807 0 107368 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 457508 KiB
Current children cumulated memory: 432176 KiB
[startup+3.10991 s]
/proc/loadavg: 2.01 2.07 2.06 3/191 28288
/proc/meminfo: memFree=17422012/32770624 swapFree=67108860/67108860
[pid=28287] ppid=28284 vsize=491168 memory=465984 CPUtime=3.1 cores=1,3,5,7
/proc/28287/stat : 28287 (MistralXCSP) R 28284 28287 27146 0 -1 4202496 188491 0 0 0 293 17 0 0 20 0 1 0 220825843 502956032 116496 33554432000 4194304 7499544 140735648256448 140735648251464 5790971 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 43106304 140735648265325 140735648265475 140735648265475 140735648268233 0
/proc/28287/statm: 122792 116496 748 807 0 115783 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 491168 KiB
Current children cumulated memory: 465984 KiB
[startup+6.30029 s]
/proc/loadavg: 2.01 2.07 2.05 3/191 28288
/proc/meminfo: memFree=17411564/32770624 swapFree=67108860/67108860
[pid=28287] ppid=28284 vsize=502124 memory=476996 CPUtime=6.29 cores=1,3,5,7
/proc/28287/stat : 28287 (MistralXCSP) R 28284 28287 27146 0 -1 4202496 328991 0 0 0 605 24 0 0 20 0 1 0 220825843 514174976 119249 33554432000 4194304 7499544 140735648256448 140735648251464 5791081 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 43106304 140735648265325 140735648265475 140735648265475 140735648268233 0
/proc/28287/statm: 125531 119249 748 807 0 118522 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 502124 KiB
Current children cumulated memory: 476996 KiB
[startup+12.7004 s]
/proc/loadavg: 1.93 2.05 2.05 3/191 28288
/proc/meminfo: memFree=17407472/32770624 swapFree=67108860/67108860
[pid=28287] ppid=28284 vsize=505952 memory=480844 CPUtime=12.69 cores=1,3,5,7
/proc/28287/stat : 28287 (MistralXCSP) R 28284 28287 27146 0 -1 4202496 415887 0 0 0 1240 29 0 0 20 0 1 0 220825843 518094848 120211 33554432000 4194304 7499544 140735648256448 140735648251464 5790974 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 43106304 140735648265325 140735648265475 140735648265475 140735648268233 0
/proc/28287/statm: 126488 120211 748 807 0 119479 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 505952 KiB
Current children cumulated memory: 480844 KiB
[startup+25.5004 s]
/proc/loadavg: 1.94 2.05 2.05 3/191 28288
/proc/meminfo: memFree=17406484/32770624 swapFree=67108860/67108860
[pid=28287] ppid=28284 vsize=507140 memory=482032 CPUtime=25.49 cores=1,3,5,7
/proc/28287/stat : 28287 (MistralXCSP) R 28284 28287 27146 0 -1 4202496 526166 0 0 0 2515 34 0 0 20 0 1 0 220825843 519311360 120508 33554432000 4194304 7499544 140735648256448 140735648251464 4253104 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 43106304 140735648265325 140735648265475 140735648265475 140735648268233 0
/proc/28287/statm: 126785 120508 748 807 0 119776 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 507140 KiB
Current children cumulated memory: 482032 KiB
[startup+51.1095 s]
/proc/loadavg: 1.96 2.04 2.05 3/191 28288
/proc/meminfo: memFree=17405736/32770624 swapFree=67108860/67108860
[pid=28287] ppid=28284 vsize=507668 memory=482584 CPUtime=51.1 cores=1,3,5,7
/proc/28287/stat : 28287 (MistralXCSP) R 28284 28287 27146 0 -1 4202496 611203 0 0 0 5071 39 0 0 20 0 1 0 220825843 519852032 120646 33554432000 4194304 7499544 140735648256448 140735648251464 5685337 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 43106304 140735648265325 140735648265475 140735648265475 140735648268233 0
/proc/28287/statm: 126917 120646 748 807 0 119908 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 507668 KiB
Current children cumulated memory: 482584 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 2.04 2.05 3/191 28289
/proc/meminfo: memFree=17404912/32770624 swapFree=67108860/67108860
[pid=28287] ppid=28284 vsize=508064 memory=482872 CPUtime=102.28 cores=1,3,5,7
/proc/28287/stat : 28287 (MistralXCSP) R 28284 28287 27146 0 -1 4202496 722071 0 0 0 10184 44 0 0 20 0 1 0 220825843 520257536 120718 33554432000 4194304 7499544 140735648256448 140735648251464 5790974 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 43106304 140735648265325 140735648265475 140735648265475 140735648268233 0
/proc/28287/statm: 127016 120718 748 807 0 120007 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 508064 KiB
Current children cumulated memory: 482872 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.03 2.05 3/191 28290
/proc/meminfo: memFree=17404700/32770624 swapFree=67108860/67108860
[pid=28287] ppid=28284 vsize=508064 memory=482884 CPUtime=162.28 cores=1,3,5,7
/proc/28287/stat : 28287 (MistralXCSP) R 28284 28287 27146 0 -1 4202496 760239 0 0 0 16181 47 0 0 20 0 1 0 220825843 520257536 120721 33554432000 4194304 7499544 140735648256448 140735648251464 4405080 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 43106304 140735648265325 140735648265475 140735648265475 140735648268233 0
/proc/28287/statm: 127016 120721 748 807 0 120007 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 508064 KiB
Current children cumulated memory: 482884 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/192 28292
/proc/meminfo: memFree=17404372/32770624 swapFree=67108860/67108860
[pid=28287] ppid=28284 vsize=508064 memory=482968 CPUtime=222.26 cores=1,3,5,7
/proc/28287/stat : 28287 (MistralXCSP) R 28284 28287 27146 0 -1 4202496 779391 0 0 0 22178 48 0 0 20 0 1 0 220825843 520257536 120742 33554432000 4194304 7499544 140735648256448 140735648251464 5685054 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 43106304 140735648265325 140735648265475 140735648265475 140735648268233 0
/proc/28287/statm: 127016 120742 748 807 0 120007 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 508064 KiB
Current children cumulated memory: 482968 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 28415
/proc/meminfo: memFree=16990860/32770624 swapFree=67108860/67108860
[pid=28287] ppid=28284 vsize=508196 memory=483012 CPUtime=282.25 cores=1,3,5,7
/proc/28287/stat : 28287 (MistralXCSP) R 28284 28287 27146 0 -1 4202496 785431 0 0 0 28177 48 0 0 20 0 1 0 220825843 520392704 120753 33554432000 4194304 7499544 140735648256448 140735648251464 5790944 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 43106304 140735648265325 140735648265475 140735648265475 140735648268233 0
/proc/28287/statm: 127049 120753 748 807 0 120040 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 508196 KiB
Current children cumulated memory: 483012 KiB
[startup+342.3 s]
/proc/loadavg: 2.66 2.19 2.10 3/191 28416
/proc/meminfo: memFree=16990200/32770624 swapFree=67108860/67108860
[pid=28287] ppid=28284 vsize=508196 memory=483012 CPUtime=342.25 cores=1,3,5,7
/proc/28287/stat : 28287 (MistralXCSP) R 28284 28287 27146 0 -1 4202496 785700 0 0 0 34177 48 0 0 20 0 1 0 220825843 520392704 120753 33554432000 4194304 7499544 140735648256448 140735648251464 4253248 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 43106304 140735648265325 140735648265475 140735648265475 140735648268233 0
/proc/28287/statm: 127049 120753 748 807 0 120040 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 508196 KiB
Current children cumulated memory: 483012 KiB
[startup+402.3 s]
/proc/loadavg: 2.24 2.15 2.09 3/191 28417
/proc/meminfo: memFree=16990352/32770624 swapFree=67108860/67108860
[pid=28287] ppid=28284 vsize=508196 memory=483028 CPUtime=402.26 cores=1,3,5,7
/proc/28287/stat : 28287 (MistralXCSP) R 28284 28287 27146 0 -1 4202496 786423 0 0 0 40177 49 0 0 20 0 1 0 220825843 520392704 120757 33554432000 4194304 7499544 140735648256448 140735648251464 5685414 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 43106304 140735648265325 140735648265475 140735648265475 140735648268233 0
/proc/28287/statm: 127049 120757 748 807 0 120040 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 508196 KiB
Current children cumulated memory: 483028 KiB
[startup+462.3 s]
/proc/loadavg: 2.09 2.13 2.09 3/191 28418
/proc/meminfo: memFree=16990380/32770624 swapFree=67108860/67108860
[pid=28287] ppid=28284 vsize=508328 memory=483172 CPUtime=462.25 cores=1,3,5,7
/proc/28287/stat : 28287 (MistralXCSP) R 28284 28287 27146 0 -1 4202496 787270 0 0 0 46176 49 0 0 20 0 1 0 220825843 520527872 120793 33554432000 4194304 7499544 140735648256448 140735648251464 4253248 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 43106304 140735648265325 140735648265475 140735648265475 140735648268233 0
/proc/28287/statm: 127082 120793 748 807 0 120073 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 508328 KiB
Current children cumulated memory: 483172 KiB
################
# More data... #
################
/proc/28287/statm: 127115 120820 748 807 0 120106 0
Current children cumulated CPU time: 1722.25 s
Current children cumulated vsize: 508460 KiB
Current children cumulated memory: 483280 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28470
/proc/meminfo: memFree=16990184/32770624 swapFree=67108860/67108860
[pid=28287] ppid=28284 vsize=508460 memory=483280 CPUtime=1782.25 cores=1,3,5,7
/proc/28287/stat : 28287 (MistralXCSP) R 28284 28287 27146 0 -1 4202496 795735 0 0 0 178176 49 0 0 20 0 1 0 220825843 520663040 120820 33554432000 4194304 7499544 140735648256448 140735648251464 4563440 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 43106304 140735648265325 140735648265475 140735648265475 140735648268233 0
/proc/28287/statm: 127115 120820 748 807 0 120106 0
Current children cumulated CPU time: 1782.25 s
Current children cumulated vsize: 508460 KiB
Current children cumulated memory: 483280 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28471
/proc/meminfo: memFree=16990640/32770624 swapFree=67108860/67108860
[pid=28287] ppid=28284 vsize=508460 memory=483280 CPUtime=1842.25 cores=1,3,5,7
/proc/28287/stat : 28287 (MistralXCSP) R 28284 28287 27146 0 -1 4202496 795984 0 0 0 184176 49 0 0 20 0 1 0 220825843 520663040 120820 33554432000 4194304 7499544 140735648256448 140735648251464 5790974 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 43106304 140735648265325 140735648265475 140735648265475 140735648268233 0
/proc/28287/statm: 127115 120820 748 807 0 120106 0
Current children cumulated CPU time: 1842.25 s
Current children cumulated vsize: 508460 KiB
Current children cumulated memory: 483280 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28472
/proc/meminfo: memFree=16991320/32770624 swapFree=67108860/67108860
[pid=28287] ppid=28284 vsize=508460 memory=483280 CPUtime=1902.25 cores=1,3,5,7
/proc/28287/stat : 28287 (MistralXCSP) R 28284 28287 27146 0 -1 4202496 796230 0 0 0 190176 49 0 0 20 0 1 0 220825843 520663040 120820 33554432000 4194304 7499544 140735648256448 140735648251464 5685050 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 43106304 140735648265325 140735648265475 140735648265475 140735648268233 0
/proc/28287/statm: 127115 120820 748 807 0 120106 0
Current children cumulated CPU time: 1902.25 s
Current children cumulated vsize: 508460 KiB
Current children cumulated memory: 483280 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28473
/proc/meminfo: memFree=16991144/32770624 swapFree=67108860/67108860
[pid=28287] ppid=28284 vsize=508460 memory=483280 CPUtime=1962.25 cores=1,3,5,7
/proc/28287/stat : 28287 (MistralXCSP) R 28284 28287 27146 0 -1 4202496 796477 0 0 0 196176 49 0 0 20 0 1 0 220825843 520663040 120820 33554432000 4194304 7499544 140735648256448 140735648251464 5791208 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 43106304 140735648265325 140735648265475 140735648265475 140735648268233 0
/proc/28287/statm: 127115 120820 748 807 0 120106 0
Current children cumulated CPU time: 1962.25 s
Current children cumulated vsize: 508460 KiB
Current children cumulated memory: 483280 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28474
/proc/meminfo: memFree=16991124/32770624 swapFree=67108860/67108860
[pid=28287] ppid=28284 vsize=508460 memory=483280 CPUtime=2022.25 cores=1,3,5,7
/proc/28287/stat : 28287 (MistralXCSP) R 28284 28287 27146 0 -1 4202496 796703 0 0 0 202176 49 0 0 20 0 1 0 220825843 520663040 120820 33554432000 4194304 7499544 140735648256448 140735648251464 5790974 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 43106304 140735648265325 140735648265475 140735648265475 140735648268233 0
/proc/28287/statm: 127115 120820 748 807 0 120106 0
Current children cumulated CPU time: 2022.25 s
Current children cumulated vsize: 508460 KiB
Current children cumulated memory: 483280 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28476
/proc/meminfo: memFree=16991328/32770624 swapFree=67108860/67108860
[pid=28287] ppid=28284 vsize=508460 memory=483280 CPUtime=2082.25 cores=1,3,5,7
/proc/28287/stat : 28287 (MistralXCSP) R 28284 28287 27146 0 -1 4202496 796951 0 0 0 208176 49 0 0 20 0 1 0 220825843 520663040 120820 33554432000 4194304 7499544 140735648256448 140735648251464 5790974 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 43106304 140735648265325 140735648265475 140735648265475 140735648268233 0
/proc/28287/statm: 127115 120820 748 807 0 120106 0
Current children cumulated CPU time: 2082.25 s
Current children cumulated vsize: 508460 KiB
Current children cumulated memory: 483280 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28477
/proc/meminfo: memFree=16991160/32770624 swapFree=67108860/67108860
[pid=28287] ppid=28284 vsize=508460 memory=483280 CPUtime=2142.25 cores=1,3,5,7
/proc/28287/stat : 28287 (MistralXCSP) R 28284 28287 27146 0 -1 4202496 797188 0 0 0 214176 49 0 0 20 0 1 0 220825843 520663040 120820 33554432000 4194304 7499544 140735648256448 140735648251464 5684810 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 43106304 140735648265325 140735648265475 140735648265475 140735648268233 0
/proc/28287/statm: 127115 120820 748 807 0 120106 0
Current children cumulated CPU time: 2142.25 s
Current children cumulated vsize: 508460 KiB
Current children cumulated memory: 483280 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28478
/proc/meminfo: memFree=16991000/32770624 swapFree=67108860/67108860
[pid=28287] ppid=28284 vsize=508460 memory=483280 CPUtime=2202.25 cores=1,3,5,7
/proc/28287/stat : 28287 (MistralXCSP) R 28284 28287 27146 0 -1 4202496 797432 0 0 0 220176 49 0 0 20 0 1 0 220825843 520663040 120820 33554432000 4194304 7499544 140735648256448 140735648251464 5791153 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 43106304 140735648265325 140735648265475 140735648265475 140735648268233 0
/proc/28287/statm: 127115 120820 748 807 0 120106 0
Current children cumulated CPU time: 2202.25 s
Current children cumulated vsize: 508460 KiB
Current children cumulated memory: 483280 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28479
/proc/meminfo: memFree=16990632/32770624 swapFree=67108860/67108860
[pid=28287] ppid=28284 vsize=508460 memory=483304 CPUtime=2262.26 cores=1,3,5,7
/proc/28287/stat : 28287 (MistralXCSP) R 28284 28287 27146 0 -1 4202496 798373 0 0 0 226176 50 0 0 20 0 1 0 220825843 520663040 120826 33554432000 4194304 7499544 140735648256448 140735648251464 5685802 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 43106304 140735648265325 140735648265475 140735648265475 140735648268233 0
/proc/28287/statm: 127115 120826 748 807 0 120106 0
Current children cumulated CPU time: 2262.26 s
Current children cumulated vsize: 508460 KiB
Current children cumulated memory: 483304 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28480
/proc/meminfo: memFree=16990716/32770624 swapFree=67108860/67108860
[pid=28287] ppid=28284 vsize=508460 memory=483304 CPUtime=2322.26 cores=1,3,5,7
/proc/28287/stat : 28287 (MistralXCSP) R 28284 28287 27146 0 -1 4202496 798647 0 0 0 232176 50 0 0 20 0 1 0 220825843 520663040 120826 33554432000 4194304 7499544 140735648256448 140735648251464 5685414 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 43106304 140735648265325 140735648265475 140735648265475 140735648268233 0
/proc/28287/statm: 127115 120826 748 807 0 120106 0
Current children cumulated CPU time: 2322.26 s
Current children cumulated vsize: 508460 KiB
Current children cumulated memory: 483304 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28489
/proc/meminfo: memFree=16989676/32770624 swapFree=67108860/67108860
[pid=28287] ppid=28284 vsize=508460 memory=483304 CPUtime=2382.26 cores=1,3,5,7
/proc/28287/stat : 28287 (MistralXCSP) R 28284 28287 27146 0 -1 4202496 798988 0 0 0 238176 50 0 0 20 0 1 0 220825843 520663040 120826 33554432000 4194304 7499544 140735648256448 140735648251464 5790896 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 43106304 140735648265325 140735648265475 140735648265475 140735648268233 0
/proc/28287/statm: 127115 120826 748 807 0 120106 0
Current children cumulated CPU time: 2382.26 s
Current children cumulated vsize: 508460 KiB
Current children cumulated memory: 483304 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28490
/proc/meminfo: memFree=16990808/32770624 swapFree=67108860/67108860
[pid=28287] ppid=28284 vsize=508460 memory=483304 CPUtime=2442.26 cores=1,3,5,7
/proc/28287/stat : 28287 (MistralXCSP) R 28284 28287 27146 0 -1 4202496 799259 0 0 0 244176 50 0 0 20 0 1 0 220825843 520663040 120826 33554432000 4194304 7499544 140735648256448 140735648251464 5790978 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 43106304 140735648265325 140735648265475 140735648265475 140735648268233 0
/proc/28287/statm: 127115 120826 748 807 0 120106 0
Current children cumulated CPU time: 2442.26 s
Current children cumulated vsize: 508460 KiB
Current children cumulated memory: 483304 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28491
/proc/meminfo: memFree=16990628/32770624 swapFree=67108860/67108860
[pid=28287] ppid=28284 vsize=508460 memory=483304 CPUtime=2502.26 cores=1,3,5,7
/proc/28287/stat : 28287 (MistralXCSP) R 28284 28287 27146 0 -1 4202496 799624 0 0 0 250176 50 0 0 20 0 1 0 220825843 520663040 120826 33554432000 4194304 7499544 140735648256448 140735648251464 4249975 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 43106304 140735648265325 140735648265475 140735648265475 140735648268233 0
/proc/28287/statm: 127115 120826 748 807 0 120106 0
Current children cumulated CPU time: 2502.26 s
Current children cumulated vsize: 508460 KiB
Current children cumulated memory: 483304 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/191 28491
/proc/meminfo: memFree=16991000/32770624 swapFree=67108860/67108860
[pid=28287] ppid=28284 vsize=508460 memory=483304 CPUtime=2519.97 cores=1,3,5,7
/proc/28287/stat : 28287 (MistralXCSP) R 28284 28287 27146 0 -1 4202496 799625 0 0 0 251947 50 0 0 20 0 1 0 220825843 520663040 120826 33554432000 4194304 7499544 140735648256448 140735648251464 5791022 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 43106304 140735648265325 140735648265475 140735648265475 140735648268233 0
/proc/28287/statm: 127115 120826 748 807 0 120106 0
Current children cumulated CPU time: 2519.97 s
Current children cumulated vsize: 508460 KiB
Current children cumulated memory: 483304 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 28287 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.47 s, system=0.504999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2520.01
CPU time (s): 2519.98
CPU user time (s): 2519.47
CPU system time (s): 0.504999
CPU usage (%): 99.9987
Max. virtual memory (cumulated for all children) (KiB): 508460
Max. memory (cumulated for all children) (KiB): 483304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.47
system time used= 0.504999
maximum resident set size= 483324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 799684
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= 673
# summary of solver processes directly reported to runsolver:
# pid: 28287
# total CPU time (s): 2519.98
# total CPU user time (s): 2519.47
# total CPU system time (s): 0.504999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.81784 second user time and 18.3559 second system time
The end
Begin job on node132 at 2018-08-12 02:10:27 IDJOB=4303624 IDBENCH=141629 IDSOLVER=2779 FILE ID=node132/4303624-1534032627 RUNJOBID= node132-1534025302-27178 PBS_JOBID= 21036958 Free space on /tmp= 37984 MiB SOLVER NAME= Mistral-2.0 2018-08-01 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-4303624-1534032627/watcher-4303624-1534032627 -o /tmp/evaluation-result-4303624-1534032627/solver-4303624-1534032627 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534025302-27178 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1701079212 HOME/instance-4303624-1534032627.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 784274e168c99e425b71be44c62c6ab3 RANDOM SEED=1701079212 node132.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.65 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.65 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.65 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.65 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: 17886068 kB MemAvailable: 31901936 kB Buffers: 212308 kB Cached: 13919732 kB SwapCached: 0 kB Active: 6938468 kB Inactive: 7251500 kB Active(anon): 7600 kB Inactive(anon): 102852 kB Active(file): 6930868 kB Inactive(file): 7148648 kB Unevictable: 7020 kB Mlocked: 7020 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 5840 kB Writeback: 0 kB AnonPages: 68816 kB Mapped: 55632 kB Shmem: 49828 kB Slab: 392768 kB SReclaimable: 364812 kB SUnreclaim: 27956 kB KernelStack: 3376 kB PageTables: 5116 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 379772 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 37980 MiB End job on node132 at 2018-08-12 02:52:27