Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-2.0 2018-06-15 | SAT (TO) | 14479 | 2400.04 | 2400.01 |
Name | TravelingTournament/ TravelingTournament-a3-galaxy14_c18.xml |
MD5SUM | 7a3ba77b7a6be046779b0525cfa105c0 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 14498 |
Best CPU time to get the best result obtained on this benchmark | 2520.11 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1470 |
Number of constraints | 5725 |
Number of domains | 3 |
Minimum domain size | 2 |
Maximum domain size | 57 |
Distribution of domain sizes | [{"size":2,"count":728},{"size":14,"count":364},{"size":57,"count":378}] |
Minimum variable degree | 2 |
Maximum variable degree | 44 |
Distribution of variable degrees | [{"degree":2,"count":742},{"degree":41,"count":336},{"degree":42,"count":364},{"degree":43,"count":26},{"degree":44,"count":2}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 26 |
Distribution of constraint arities | [{"arity":2,"count":365},{"arity":3,"count":28},{"arity":4,"count":4200},{"arity":5,"count":350},{"arity":14,"count":390},{"arity":16,"count":364},{"arity":26,"count":28}] |
Number of extensional constraints | 378 |
Number of intensional constraints | 4565 |
Distribution of constraint types | [{"type":"extension","count":378},{"type":"intension","count":4565},{"type":"regular","count":14},{"type":"allDifferent","count":26},{"type":"cardinality","count":14},{"type":"element","count":728}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c Mistral 16062018 3.99/4.09 o 17829 3.99/4.10 o 17734 3.99/4.10 o 17720 4.10/4.12 o 17692 4.10/4.14 o 17569 4.10/4.14 o 17534 4.19/4.29 o 17454 4.29/4.30 o 17384 4.29/4.32 o 17355 4.29/4.32 o 17346 4.29/4.33 o 17281 4.29/4.35 o 17280 4.79/4.82 o 17180 4.79/4.83 o 17139 4.79/4.84 o 17124 4.79/4.85 o 17060 4.79/4.86 o 16850 5.00/5.04 o 16811 5.19/5.22 o 16745 5.19/5.22 o 16731 5.19/5.23 o 16708 5.19/5.24 o 16686 5.19/5.26 o 16507 5.39/5.47 o 16484 5.39/5.48 o 16480 5.49/5.56 o 16477 6.00/6.02 o 16422 6.00/6.06 o 16363 6.00/6.07 o 16287 6.29/6.32 o 16281 6.69/6.72 o 16182 6.69/6.73 o 16180 6.79/6.80 o 16158 6.79/6.89 o 16142 7.49/7.58 o 16057 7.89/7.92 o 16001 7.89/7.97 o 15903 8.29/8.39 o 15882 8.49/8.58 o 15880 9.49/9.52 o 15849 12.89/12.97 o 15812 12.89/13.00 o 15800 13.58/13.61 o 15711 13.69/13.76 o 15668 20.59/20.64 o 15642 20.59/20.69 o 15589 20.79/20.82 o 15558 22.59/22.67 o 15556 22.59/22.67 o 15504 28.18/28.25 o 15417 28.18/28.27 o 15411 28.88/28.95 o 15391 35.99/36.09 o 15363 36.58/36.68 o 15350 36.58/36.69 o 15315 36.68/36.74 o 15307 38.68/38.79 o 15275 38.88/38.99 o 15274 41.47/41.53 o 15271 44.38/44.40 o 15261 44.78/44.88 o 15173 48.68/48.77 o 15057 48.68/48.77 o 15025 50.38/50.49 o 15006 61.57/61.65 o 14938 62.77/62.81 o 14913 71.76/71.89 o 14867 80.66/80.72 o 14818 80.86/80.91 o 14790 90.55/90.64 o 14757 200.45/200.53 o 14755 211.75/211.82 o 14723 211.75/211.84 o 14718 288.75/288.89 o 14714 347.65/347.71 o 14698 419.46/419.57 o 14686 460.46/460.50 o 14671 461.26/461.34 o 14667 819.08/819.16 o 14592 900.27/900.31 o 14575 900.27/900.32 o 14562 900.27/900.33 o 14543 967.98/968.03 o 14519 1181.99/1182.04 o 14512 1931.40/1931.42 o 14479 2400.02/2400.01 s SATISFIABLE 2400.02/2400.01 v <instantiation type="solution"> 2400.02/2400.01 v <list> o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][20] o[0][21] o[0][22] o[0][23] o[0][24] o[0][25] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][20] o[1][21] o[1][22] o[1][23] o[1][24] o[1][25] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][20] o[2][21] o[2][22] o[2][23] o[2][24] o[2][25] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][20] o[3][21] o[3][22] o[3][23] o[3][24] o[3][25] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][20] o[4][21] o[4][22] o[4][23] o[4][24] o[4][25] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][20] o[5][21] o[5][22] o[5][23] o[5][24] o[5][25] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][20] o[6][21] o[6][22] o[6][23] o[6][24] o[6][25] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][20] o[7][21] o[7][22] o[7][23] o[7][24] o[7][25] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][20] o[8][21] o[8][22] o[8][23] o[8][24] o[8][25] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][20] o[9][21] o[9][22] o[9][23] o[9][24] o[9][25] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][20] o[10][21] o[10][22] o[10][23] o[10][24] o[10][25] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][20] o[11][21] o[11][22] o[11][23] o[11][24] o[11][25] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[12][15] o[12][16] o[12][17] o[12][18] o[12][19] o[12][20] o[12][21] o[12][22] o[12][23] o[12][24] o[12][25] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[13][15] o[13][16] o[13][17] o[13][18] o[13][19] o[13][20] o[13][21] o[13][22] o[13][23] o[13][24] o[13][25] h[0][0] h[0][1] h[0][2] h[0][3] h[0][4] h[0][5] h[0][6] h[0][7] h[0][8] h[0][9] h[0][10] h[0][11] h[0][12] h[0][13] h[0][14] h[0][15] h[0][16] h[0][17] h[0][18] h[0][19] h[0][20] h[0][21] h[0][22] h[0][23] h[0][24] h[0][25] h[1][0] h[1][1] h[1][2] h[1][3] h[1][4] h[1][5] h[1][6] h[1][7] h[1][8] h[1][9] h[1][10] h[1][11] h[1][12] h[1][13] h[1][14] h[1][15] h[1][16] h[1][17] h[1][18] h[1][19] h[1][20] h[1][21] h[1][22] h[1][23] h[1][24] h[1][25] h[2][0] h[2][1] h[2][2] h[2][3] h[2][4] h[2][5] h[2][6] h[2][7] h[2][8] h[2][9] h[2][10] h[2][11] h[2][12] h[2][13] h[2][14] h[2][15] h[2][16] h[2][17] h[2][18] h[2][19] h[2][20] h[2][21] h[2][22] h[2][23] h[2][24] h[2][25] h[3][0] h[3][1] h[3][2] h[3][3] h[3][4] h[3][5] h[3][6] h[3][7] h[3][8] h[3][9] h[3][10] h[3][11] h[3][12] h[3][13] h[3][14] h[3][15] h[3][16] h[3][17] h[3][18] h[3][19] h[3][20] h[3][21] h[3][22] h[3][23] h[3][24] h[3][25] h[4][0] h[4][1] h[4][2] h[4][3] h[4][4] h[4][5] h[4][6] h[4][7] h[4][8] h[4][9] h[4][10] h[4][11] h[4][12] h[4][13] h[4][14] h[4][15] h[4][16] h[4][17] h[4][18] h[4][19] h[4][20] h[4][21] h[4][22] h[4][23] h[4][24] h[4][25] h[5][0] h[5][1] h[5][2] h[5][3] h[5][4] h[5][5] h[5][6] h[5][7] h[5][8] h[5][9] h[5][10] h[5][11] h[5][12] h[5][13] h[5][14] h[5][15] h[5][16] h[5][17] h[5][18] h[5][19] h[5][20] h[5][21] h[5][22] h[5][23] h[5][24] h[5][25] h[6][0] h[6][1] h[6][2] h[6][3] h[6][4] h[6][5] h[6][6] h[6][7] h[6][8] h[6][9] h[6][10] h[6][11] h[6][12] h[6][13] h[6][14] h[6][15] h[6][16] h[6][17] h[6][18] h[6][19] h[6][20] h[6][21] h[6][22] h[6][23] h[6][24] h[6][25] h[7][0] h[7][1] h[7][2] h[7][3] h[7][4] h[7][5] h[7][6] h[7][7] h[7][8] h[7][9] h[7][10] h[7][11] h[7][12] h[7][13] h[7][14] h[7][15] h[7][16] h[7][17] h[7][18] h[7][19] h[7][20] h[7][21] h[7][22] h[7][23] h[7][24] h[7][25] h[8][0] h[8][1] h[8][2] h[8][3] h[8][4] h[8][5] h[8][6] h[8][7] h[8][8] h[8][9] h[8][10] h[8][11] h[8][12] h[8][13] h[8][14] h[8][15] h[8][16] h[8][17] h[8][18] h[8][19] h[8][20] h[8][21] h[8][22] h[8][23] h[8][24] h[8][25] h[9][0] h[9][1] h[9][2] h[9][3] h[9][4] h[9][5] h[9][6] h[9][7] h[9][8] h[9][9] h[9][10] h[9][11] h[9][12] h[9][13] h[9][14] h[9][15] h[9][16] h[9][17] h[9][18] h[9][19] h[9][20] h[9][21] h[9][22] h[9][23] h[9][24] h[9][25] h[10][0] h[10][1] h[10][2] h[10][3] h[10][4] h[10][5] h[10][6] h[10][7] h[10][8] h[10][9] h[10][10] h[10][11] h[10][12] h[10][13] h[10][14] h[10][15] h[10][16] h[10][17] h[10][18] h[10][19] h[10][20] h[10][21] h[10][22] h[10][23] h[10][24] h[10][25] h[11][0] h[11][1] h[11][2] h[11][3] h[11][4] h[11][5] h[11][6] h[11][7] h[11][8] h[11][9] h[11][10] h[11][11] h[11][12] h[11][13] h[11][14] h[11][15] h[11][16] h[11][17] h[11][18] h[11][19] h[11][20] h[11][21] h[11][22] h[11][23] h[11][24] h[11][25] h[12][0] h[12][1] h[12][2] h[12][3] h[12][4] h[12][5] h[12][6] h[12][7] h[12][8] h[12][9] h[12][10] h[12][11] h[12][12] h[12][13] h[12][14] h[12][15] h[12][16] h[12][17] h[12][18] h[12][19] h[12][20] h[12][21] h[12][22] h[12][23] h[12][24] h[12][25] h[13][0] h[13][1] h[13][2] h[13][3] h[13][4] h[13][5] h[13][6] h[13][7] h[13][8] h[13][9] h[13][10] h[13][11] h[13][12] h[13][13] h[13][14] h[13][15] h[13][16] h[13][17] h[13][18] h[13][19] h[13][20] h[13][21] h[13][22] h[13][23] h[13][24] h[13][25] a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[0][7] a[0][8] a[0][9] a[0][10] a[0][11] a[0][12] a[0][13] a[0][14] a[0][15] a[0][16] a[0][17] a[0][18] a[0][19] a[0][20] a[0][21] a[0][22] a[0][23] a[0][24] a[0][25] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[1][7] a[1][8] a[1][9] a[1][10] a[1][11] a[1][12] a[1][13] a[1][14] a[1][15] a[1][16] a[1][17] a[1][18] a[1][19] a[1][20] a[1][21] a[1][22] a[1][23] a[1][24] a[1][25] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[2][6] a[2][7] a[2][8] a[2][9] a[2][10] a[2][11] a[2][12] a[2][13] a[2][14] a[2][15] a[2][16] a[2][17] a[2][18] a[2][19] a[2][20] a[2][21] a[2][22] a[2][23] a[2][24] a[2][25] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[3][7] a[3][8] a[3][9] a[3][10] a[3][11] a[3][12] a[3][13] a[3][14] a[3][15] a[3][16] a[3][17] a[3][18] a[3][19] a[3][20] a[3][21] a[3][22] a[3][23] a[3][24] a[3][25] a[4][0] a[4][1] a[4][2] a[4][3] a[4][4] a[4][5] a[4][6] a[4][7] a[4][8] a[4][9] a[4][10] a[4][11] a[4][12] a[4][13] a[4][14] a[4][15] a[4][16] a[4][17] a[4][18] a[4][19] a[4][20] a[4][21] a[4][22] a[4][23] a[4][24] a[4][25] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[5][5] a[5][6] a[5][7] a[5][8] a[5][9] a[5][10] a[5][11] a[5][12] a[5][13] a[5][14] a[5][15] a[5][16] a[5][17] a[5][18] a[5][19] a[5][20] a[5][21] a[5][22] a[5][23] a[5][24] a[5][25] a[6][0] a[6][1] a[6][2] a[6][3] a[6][4] a[6][5] a[6][6] a[6][7] a[6][8] a[6][9] a[6][10] a[6][11] a[6][12] a[6][13] a[6][14] a[6][15] a[6][16] a[6][17] a[6][18] a[6][19] a[6][20] a[6][21] a[6][22] a[6][23] a[6][24] a[6][25] a[7][0] a[7][1] a[7][2] a[7][3] a[7][4] a[7][5] a[7][6] a[7][7] a[7][8] a[7][9] a[7][10] a[7][11] a[7][12] a[7][13] a[7][14] a[7][15] a[7][16] a[7][17] a[7][18] a[7][19] a[7][20] a[7][21] a[7][22] a[7][23] a[7][24] a[7][25] a[8][0] a[8][1] a[8][2] a[8][3] a[8][4] a[8][5] a[8][6] a[8][7] a[8][8] a[8][9] a[8][10] a[8][11] a[8][12] a[8][13] a[8][14] a[8][15] a[8][16] a[8][17] a[8][18] a[8][19] a[8][20] a[8][21] a[8][22] a[8][23] a[8][24] a[8][25] a[9][0] a[9][1] a[9][2] a[9][3] a[9][4] a[9][5] a[9][6] a[9][7] a[9][8] a[9][9] a[9][10] a[9][11] a[9][12] a[9][13] a[9][14] a[9][15] a[9][16] a[9][17] a[9][18] a[9][19] a[9][20] a[9][21] a[9][22] a[9][23] a[9][24] a[9][25] a[10][0] a[10][1] a[10][2] a[10][3] a[10][4] a[10][5] a[10][6] a[10][7] a[10][8] a[10][9] a[10][10] a[10][11] a[10][12] a[10][13] a[10][14] a[10][15] a[10][16] a[10][17] a[10][18] a[10][19] a[10][20] a[10][21] a[10][22] a[10][23] a[10][24] a[10][25] a[11][0] a[11][1] a[11][2] a[11][3] a[11][4] a[11][5] a[11][6] a[11][7] a[11][8] a[11][9] a[11][10] a[11][11] a[11][12] a[11][13] a[11][14] a[11][15] a[11][16] a[11][17] a[11][18] a[11][19] a[11][20] a[11][21] a[11][22] a[11][23] a[11][24] a[11][25] a[12][0] a[12][1] a[12][2] a[12][3] a[12][4] a[12][5] a[12][6] a[12][7] a[12][8] a[12][9] a[12][10] a[12][11] a[12][12] a[12][13] a[12][14] a[12][15] a[12][16] a[12][17] a[12][18] a[12][19] a[12][20] a[12][21] a[12][22] a[12][23] a[12][24] a[12][25] a[13][0] a[13][1] a[13][2] a[13][3] a[13][4] a[13][5] a[13][6] a[13][7] a[13][8] a[13][9] a[13][10] a[13][11] a[13][12] a[13][13] a[13][14] a[13][15] a[13][16] a[13][17] a[13][18] a[13][19] a[13][20] a[13][21] a[13][22] a[13][23] a[13][24] a[13][25] t[0][0] t[0][1] t[0][2] t[0][3] t[0][4] t[0][5] t[0][6] t[0][7] t[0][8] t[0][9] t[0][10] t[0][11] t[0][12] t[0][13] t[0][14] t[0][15] t[0][16] t[0][17] t[0][18] t[0][19] t[0][20] t[0][21] t[0][22] t[0][23] t[0][24] t[0][25] t[0][26] t[1][0] t[1][1] t[1][2] t[1][3] t[1][4] t[1][5] t[1][6] t[1][7] t[1][8] t[1][9] t[1][10] t[1][11] t[1][12] t[1][13] t[1][14] t[1][15] t[1][16] t[1][17] t[1][18] t[1][19] t[1][20] t[1][21] t[1][22] t[1][23] t[1][24] t[1][25] t[1][26] t[2][0] t[2][1] t[2][2] t[2][3] t[2][4] t[2][5] t[2][6] t[2][7] t[2][8] t[2][9] t[2][10] t[2][11] t[2][12] t[2][13] t[2][14] t[2][15] t[2][16] t[2][17] t[2][18] t[2][19] t[2][20] t[2][21] t[2][22] t[2][23] t[2][24] t[2][25] t[2][26] t[3][0] t[3][1] t[3][2] t[3][3] t[3][4] t[3][5] t[3][6] t[3][7] t[3][8] t[3][9] t[3][10] t[3][11] t[3][12] t[3][13] t[3][14] t[3][15] t[3][16] t[3][17] t[3][18] t[3][19] t[3][20] t[3][21] t[3][22] t[3][23] t[3][24] t[3][25] t[3][26] t[4][0] t[4][1] t[4][2] t[4][3] t[4][4] t[4][5] t[4][6] t[4][7] t[4][8] t[4][9] t[4][10] t[4][11] t[4][12] t[4][13] t[4][14] t[4][15] t[4][16] t[4][17] t[4][18] t[4][19] t[4][20] t[4][21] t[4][22] t[4][23] t[4][24] t[4][25] t[4][26] t[5][0] t[5][1] t[5][2] t[5][3] t[5][4] t[5][5] t[5][6] t[5][7] t[5][8] t[5][9] t[5][10] t[5][11] t[5][12] t[5][13] t[5][14] t[5][15] t[5][16] t[5][17] t[5][18] t[5][19] t[5][20] t[5][21] t[5][22] t[5][23] t[5][24] t[5][25] t[5][26] t[6][0] t[6][1] t[6][2] t[6][3] t[6][4] t[6][5] t[6][6] t[6][7] t[6][8] t[6][9] t[6][10] t[6][11] t[6][12] t[6][13] t[6][14] t[6][15] t[6][16] t[6][17] t[6][18] t[6][19] t[6][20] t[6][21] t[6][22] t[6][23] t[6][24] t[6][25] t[6][26] t[7][0] t[7][1] t[7][2] t[7][3] t[7][4] t[7][5] t[7][6] t[7][7] t[7][8] t[7][9] t[7][10] t[7][11] t[7][12] t[7][13] t[7][14] t[7][15] t[7][16] t[7][17] t[7][18] t[7][19] t[7][20] t[7][21] t[7][22] t[7][23] t[7][24] t[7][25] t[7][26] t[8][0] t[8][1] t[8][2] t[8][3] t[8][4] t[8][5] t[8][6] t[8][7] t[8][8] t[8][9] t[8][10] t[8][11] t[8][12] t[8][13] t[8][14] t[8][15] t[8][16] t[8][17] t[8][18] t[8][19] t[8][20] t[8][21] t[8][22] t[8][23] t[8][24] t[8][25] t[8][26] t[9][0] t[9][1] t[9][2] t[9][3] t[9][4] t[9][5] t[9][6] t[9][7] t[9][8] t[9][9] t[9][10] t[9][11] t[9][12] t[9][13] t[9][14] t[9][15] t[9][16] t[9][17] t[9][18] t[9][19] t[9][20] t[9][21] t[9][22] t[9][23] t[9][24] t[9][25] t[9][26] t[10][0] t[10][1] t[10][2] t[10][3] t[10][4] t[10][5] t[10][6] t[10][7] t[10][8] t[10][9] t[10][10] t[10][11] t[10][12] t[10][13] t[10][14] t[10][15] t[10][16] t[10][17] t[10][18] t[10][19] t[10][20] t[10][21] t[10][22] t[10][23] t[10][24] t[10][25] t[10][26] t[11][0] t[11][1] t[11][2] t[11][3] t[11][4] t[11][5] t[11][6] t[11][7] t[11][8] t[11][9] t[11][10] t[11][11] t[11][12] t[11][13] t[11][14] t[11][15] t[11][16] t[11][17] t[11][18] t[11][19] t[11][20] t[11][21] t[11][22] t[11][23] t[11][24] t[11][25] t[11][26] t[12][0] t[12][1] t[12][2] t[12][3] t[12][4] t[12][5] t[12][6] t[12][7] t[12][8] t[12][9] t[12][10] t[12][11] t[12][12] t[12][13] t[12][14] t[12][15] t[12][16] t[12][17] t[12][18] t[12][19] t[12][20] t[12][21] t[12][22] t[12][23] t[12][24] t[12][25] t[12][26] t[13][0] t[13][1] t[13][2] t[13][3] t[13][4] t[13][5] t[13][6] t[13][7] t[13][8] t[13][9] t[13][10] t[13][11] t[13][12] t[13][13] t[13][14] t[13][15] t[13][16] t[13][17] t[13][18] t[13][19] t[13][20] t[13][21] t[13][22] t[13][23] t[13][24] t[13][25] t[13][26] </list> 2400.02/2400.01 v <values> 2 5 1 4 3 1 11 12 4 13 2 6 10 10 9 5 3 8 6 12 9 7 11 7 13 8 4 13 0 8 7 0 3 3 12 7 8 10 11 5 10 11 13 9 12 2 6 9 6 2 4 5 0 4 6 5 8 3 8 7 10 5 0 4 9 13 12 9 6 11 10 1 11 13 3 1 12 7 11 9 5 7 0 2 1 1 5 9 13 7 13 8 6 4 0 10 4 8 10 12 2 12 11 6 1 2 7 0 9 9 7 10 0 10 11 2 6 6 8 3 5 12 3 5 12 11 13 8 1 13 12 0 3 2 6 8 6 11 3 2 10 13 12 1 11 0 4 7 9 4 13 10 7 9 8 1 7 12 2 9 5 11 5 8 7 12 9 0 4 4 3 13 2 13 0 11 1 8 1 10 10 3 6 11 4 3 1 10 4 2 6 1 12 3 8 9 13 10 12 5 11 13 8 0 5 0 9 2 9 10 9 1 2 5 2 6 13 11 1 12 7 3 4 12 11 0 13 3 7 6 10 4 5 0 8 3 8 6 4 4 13 13 11 3 6 11 2 7 0 2 10 1 5 10 0 1 12 5 7 12 13 8 12 13 11 7 12 4 2 4 5 1 0 0 1 7 9 3 2 9 3 5 8 6 6 11 3 7 13 12 10 6 0 5 9 8 4 9 1 12 5 1 8 2 7 6 2 4 0 13 3 10 5 6 10 11 13 13 10 0 1 6 7 8 5 11 2 8 7 4 1 0 4 3 9 3 2 9 10 1 11 10 12 12 9 9 8 0 3 5 3 2 7 6 1 6 8 7 5 2 4 11 0 4 1 1 1 0 1 0 1 1 1 0 0 1 1 0 1 0 0 1 0 0 0 1 0 0 1 0 1 1 0 1 0 1 1 0 1 1 0 1 1 1 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 1 1 1 0 0 1 0 1 1 0 0 0 1 0 0 1 1 1 1 0 1 1 0 0 0 1 0 1 1 0 0 1 0 0 1 1 1 0 0 1 1 0 0 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 0 1 1 0 0 0 1 1 0 1 1 1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 1 0 1 0 0 1 1 0 0 1 1 0 1 1 0 1 1 0 0 0 1 1 0 0 1 1 0 1 1 0 1 0 0 1 1 1 0 1 0 0 1 0 0 0 1 1 1 0 1 1 0 0 1 0 0 1 1 0 0 0 0 1 0 0 1 1 1 0 0 1 0 0 0 1 1 1 0 1 1 1 0 1 0 0 1 1 1 0 0 0 1 1 0 0 0 1 1 1 0 0 0 1 0 0 0 1 1 0 1 1 1 1 1 1 0 0 1 0 0 0 1 1 0 0 1 1 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 1 0 0 0 1 1 0 1 1 1 0 0 1 1 1 0 1 1 0 0 0 1 1 0 0 0 1 1 0 1 1 0 0 1 1 1 0 0 1 1 0 0 0 0 1 1 1 0 0 1 1 1 0 0 1 0 1 1 1 0 0 0 1 1 1 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 1 0 1 1 0 1 1 1 0 1 1 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 0 1 1 1 0 1 0 1 1 0 1 1 1 1 0 1 1 0 0 1 1 0 0 0 1 1 0 1 0 0 1 1 1 0 1 1 0 0 0 0 1 0 0 1 1 1 0 1 0 0 1 1 0 1 1 0 0 0 1 1 0 0 1 1 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 1 0 0 1 1 1 0 0 1 0 0 0 1 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 0 1 0 1 1 0 0 1 1 0 0 1 0 0 1 0 0 1 1 1 0 0 1 1 0 0 1 0 0 1 0 1 1 0 0 0 1 0 1 1 0 1 1 1 0 0 0 1 0 0 1 1 0 1 1 0 0 1 1 1 1 0 1 1 0 0 0 1 1 0 1 1 1 0 0 0 1 0 0 0 1 0 1 1 0 0 0 1 1 1 0 0 1 1 1 0 0 0 1 1 1 0 1 1 1 0 0 1 0 0 0 0 0 0 1 1 0 1 1 1 0 0 1 1 0 0 1 1 1 0 0 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0 0 0 1 1 1 0 0 1 0 0 0 1 1 0 0 0 1 0 0 1 1 1 0 0 1 1 1 0 0 1 0 0 1 1 0 0 0 1 1 0 0 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 1 0 0 0 1 1 1 0 0 0 1 1 1 0 0 0 36 36 10 10 0 0 59 61 15 0 55 55 39 41 34 44 88 30 51 55 67 44 48 48 0 0 10 10 44 44 0 32 32 0 46 46 0 0 65 10 69 64 55 55 39 69 43 22 45 35 40 15 15 56 27 50 0 53 81 56 0 0 45 55 49 48 48 0 58 10 65 22 61 50 47 0 0 0 0 67 67 0 34 15 22 32 41 41 0 14 41 50 47 18 51 0 0 68 73 69 0 80 105 66 0 31 22 56 64 0 55 55 0 36 55 10 70 0 18 31 21 0 73 80 41 35 0 91 91 0 0 0 94 57 34 41 0 42 31 27 0 50 55 51 0 40 64 44 35 35 0 0 75 75 48 79 81 0 0 59 90 88 0 27 27 0 31 31 0 69 51 36 18 0 92 61 56 0 70 70 0 39 39 75 69 47 0 0 0 14 14 69 74 64 59 39 55 90 0 0 41 41 0 48 44 67 81 48 44 0 79 49 56 68 103 73 46 22 53 0 0 104 69 69 81 90 14 68 0 0 48 48 0 0 31 31 21 35 42 0 0 0 68 31 18 55 0 93 69 66 67 0 0 79 44 15 49 43 40 51 103 0 30 30 0 0 0 0 0 0 66 69 10 101 73 45 55 0 65 10 55 0 69 79 67 69 0 0 51 42 31 75 0 0 66 14 41 69 0 70 44 39 44 0 0 105 43 55 105 0 69 69 0 0 58 45 70 0 0 10 10 0 0 101 10 69 90 0 57 10 39 88 0 94 94 0 81 81 90 0 0 73 51 80 0 48 49 30 66 65 64 0 0 90 30 93 0 0 50 41 75 61 61 0 0 92 31 81 41 0 0 69 55 36 91 </values> 2400.02/2400.01 v </instantiation>
OK 14479
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 (11119 MiB free) memory of node 1: 16384 MiB (11893 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289642-1532202858/watcher-4289642-1532202858 -o /tmp/evaluation-result-4289642-1532202858/solver-4289642-1532202858 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532190503-24936 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 239158812 HOME/instance-4289642-1532202858.xml running on 4 cores: 1,3,5,7 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=26353, runsolver pid=26350 Current StackSize limit: 8192 KiB [startup+0.100156 s]* /proc/loadavg: 2.01 2.06 2.06 3/188 26354 /proc/meminfo: memFree=23547356/32770624 swapFree=67108860/67108860 [pid=26353] ppid=26350 vsize=44768 memory=19492 CPUtime=0.09 cores=1,3,5,7 /proc/26353/stat : 26353 (MistralXCSP) R 26350 26353 24904 0 -1 4202496 5343 0 0 0 9 0 0 0 20 0 1 0 37848953 45842432 4873 33554432000 4194304 7498468 140733245607488 140733245604488 139688734938272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9598848 9604096 31055872 140733245609070 140733245609219 140733245609219 140733245611977 0 /proc/26353/statm: 11192 4873 715 807 0 4183 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 44768 KiB Current children cumulated memory: 19492 KiB [startup+0.209575 s]* /proc/loadavg: 2.01 2.06 2.06 3/188 26354 /proc/meminfo: memFree=23542892/32770624 swapFree=67108860/67108860 [pid=26353] ppid=26350 vsize=49732 memory=24504 CPUtime=0.2 cores=1,3,5,7 /proc/26353/stat : 26353 (MistralXCSP) R 26350 26353 24904 0 -1 4202496 6592 0 0 0 20 0 0 0 20 0 1 0 37848953 50925568 6126 33554432000 4194304 7498468 140733245607488 140733245604488 5998629 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9598848 9604096 31055872 140733245609070 140733245609219 140733245609219 140733245611977 0 /proc/26353/statm: 12433 6126 730 807 0 5424 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 49732 KiB Current children cumulated memory: 24504 KiB [startup+0.309365 s]* /proc/loadavg: 2.01 2.06 2.06 3/188 26354 /proc/meminfo: memFree=23542520/32770624 swapFree=67108860/67108860 [pid=26353] ppid=26350 vsize=50424 memory=25032 CPUtime=0.3 cores=1,3,5,7 /proc/26353/stat : 26353 (MistralXCSP) R 26350 26353 24904 0 -1 4202496 6744 0 0 0 30 0 0 0 20 0 1 0 37848953 51634176 6258 33554432000 4194304 7498468 140733245607488 140733245604488 4564424 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9598848 9604096 31055872 140733245609070 140733245609219 140733245609219 140733245611977 0 /proc/26353/statm: 12606 6258 730 807 0 5597 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 50424 KiB Current children cumulated memory: 25032 KiB [startup+0.700285 s] /proc/loadavg: 2.01 2.06 2.06 3/188 26354 /proc/meminfo: memFree=23536568/32770624 swapFree=67108860/67108860 [pid=26353] ppid=26350 vsize=61644 memory=36120 CPUtime=0.69 cores=1,3,5,7 /proc/26353/stat : 26353 (MistralXCSP) R 26350 26353 24904 0 -1 4202496 9543 0 0 0 68 1 0 0 20 0 1 0 37848953 63123456 9030 33554432000 4194304 7498468 140733245607488 140733245604488 139688728890164 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9598848 9604096 31055872 140733245609070 140733245609219 140733245609219 140733245611977 0 /proc/26353/statm: 15411 9030 730 807 0 8402 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 61644 KiB Current children cumulated memory: 36120 KiB [startup+1.50029 s] /proc/loadavg: 2.01 2.06 2.06 3/188 26354 /proc/meminfo: memFree=23522536/32770624 swapFree=67108860/67108860 [pid=26353] ppid=26350 vsize=84304 memory=58972 CPUtime=1.49 cores=1,3,5,7 /proc/26353/stat : 26353 (MistralXCSP) R 26350 26353 24904 0 -1 4202496 15253 0 0 0 148 1 0 0 20 0 1 0 37848953 86327296 14743 33554432000 4194304 7498468 140733245607488 140733245598392 5892078 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9598848 9604096 31055872 140733245609070 140733245609219 140733245609219 140733245611977 0 /proc/26353/statm: 21076 14743 730 807 0 14067 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 84304 KiB Current children cumulated memory: 58972 KiB [startup+3.10952 s] /proc/loadavg: 2.01 2.06 2.06 3/188 26354 /proc/meminfo: memFree=23408976/32770624 swapFree=67108860/67108860 [pid=26353] ppid=26350 vsize=183588 memory=158436 CPUtime=3.1 cores=1,3,5,7 /proc/26353/stat : 26353 (MistralXCSP) R 26350 26353 24904 0 -1 4202496 56290 0 0 0 305 5 0 0 20 0 1 0 37848953 187994112 39609 33554432000 4194304 7498468 140733245607488 140733245602024 4246849 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 31055872 140733245609070 140733245609219 140733245609219 140733245611977 0 /proc/26353/statm: 45897 39609 780 807 0 38888 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 183588 KiB Current children cumulated memory: 158436 KiB [startup+6.30034 s] /proc/loadavg: 2.01 2.06 2.06 3/188 26354 /proc/meminfo: memFree=23403456/32770624 swapFree=67108860/67108860 [pid=26353] ppid=26350 vsize=188796 memory=163756 CPUtime=6.29 cores=1,3,5,7 /proc/26353/stat : 26353 (MistralXCSP) R 26350 26353 24904 0 -1 4202496 85633 0 0 0 623 6 0 0 20 0 1 0 37848953 193327104 40939 33554432000 4194304 7498468 140733245607488 140733245602504 5585650 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 31055872 140733245609070 140733245609219 140733245609219 140733245611977 0 /proc/26353/statm: 47199 40939 784 807 0 40190 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 188796 KiB Current children cumulated memory: 163756 KiB [startup+12.7004 s] /proc/loadavg: 2.01 2.06 2.06 3/188 26354 /proc/meminfo: memFree=23403144/32770624 swapFree=67108860/67108860 [pid=26353] ppid=26350 vsize=188796 memory=163756 CPUtime=12.69 cores=1,3,5,7 /proc/26353/stat : 26353 (MistralXCSP) R 26350 26353 24904 0 -1 4202496 114425 0 0 0 1262 7 0 0 20 0 1 0 37848953 193327104 40939 33554432000 4194304 7498468 140733245607488 140733245602504 5573824 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 31055872 140733245609070 140733245609219 140733245609219 140733245611977 0 /proc/26353/statm: 47199 40939 784 807 0 40190 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 188796 KiB Current children cumulated memory: 163756 KiB [startup+25.5004 s] /proc/loadavg: 2.00 2.06 2.06 4/188 26354 /proc/meminfo: memFree=23403344/32770624 swapFree=67108860/67108860 [pid=26353] ppid=26350 vsize=188928 memory=163856 CPUtime=25.49 cores=1,3,5,7 /proc/26353/stat : 26353 (MistralXCSP) R 26350 26353 24904 0 -1 4202496 156374 0 0 0 2539 10 0 0 20 0 1 0 37848953 193462272 40964 33554432000 4194304 7498468 140733245607488 140733245602504 5585459 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 31055872 140733245609070 140733245609219 140733245609219 140733245611977 0 /proc/26353/statm: 47232 40964 784 807 0 40223 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 188928 KiB Current children cumulated memory: 163856 KiB [startup+51.1094 s] /proc/loadavg: 2.00 2.05 2.06 3/187 26355 /proc/meminfo: memFree=23403240/32770624 swapFree=67108860/67108860 [pid=26353] ppid=26350 vsize=188928 memory=163892 CPUtime=51.09 cores=1,3,5,7 /proc/26353/stat : 26353 (MistralXCSP) R 26350 26353 24904 0 -1 4202496 188211 0 0 0 5098 11 0 0 20 0 1 0 37848953 193462272 40973 33554432000 4194304 7498468 140733245607488 140733245602504 4580427 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 31055872 140733245609070 140733245609219 140733245609219 140733245611977 0 /proc/26353/statm: 47232 40973 784 807 0 40223 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 188928 KiB Current children cumulated memory: 163892 KiB [startup+102.3 s] /proc/loadavg: 2.12 2.08 2.06 3/187 26356 /proc/meminfo: memFree=23402964/32770624 swapFree=67108860/67108860 [pid=26353] ppid=26350 vsize=188928 memory=163916 CPUtime=102.25 cores=1,3,5,7 /proc/26353/stat : 26353 (MistralXCSP) R 26350 26353 24904 0 -1 4202496 196388 0 0 0 10214 11 0 0 20 0 1 0 37848953 193462272 40979 33554432000 4194304 7498468 140733245607488 140733245602504 5585414 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 31055872 140733245609070 140733245609219 140733245609219 140733245611977 0 /proc/26353/statm: 47232 40979 784 807 0 40223 0 Current children cumulated CPU time: 102.25 s Current children cumulated vsize: 188928 KiB Current children cumulated memory: 163916 KiB [startup+162.3 s] /proc/loadavg: 2.08 2.08 2.06 3/187 26357 /proc/meminfo: memFree=23402520/32770624 swapFree=67108860/67108860 [pid=26353] ppid=26350 vsize=188928 memory=163948 CPUtime=162.25 cores=1,3,5,7 /proc/26353/stat : 26353 (MistralXCSP) R 26350 26353 24904 0 -1 4202496 197264 0 0 0 16214 11 0 0 20 0 1 0 37848953 193462272 40987 33554432000 4194304 7498468 140733245607488 140733245602504 5838346 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 31055872 140733245609070 140733245609219 140733245609219 140733245611977 0 /proc/26353/statm: 47232 40987 784 807 0 40223 0 Current children cumulated CPU time: 162.25 s Current children cumulated vsize: 188928 KiB Current children cumulated memory: 163948 KiB [startup+222.3 s] /proc/loadavg: 2.13 2.09 2.07 3/187 26358 /proc/meminfo: memFree=23402828/32770624 swapFree=67108860/67108860 [pid=26353] ppid=26350 vsize=188928 memory=163972 CPUtime=222.25 cores=1,3,5,7 /proc/26353/stat : 26353 (MistralXCSP) R 26350 26353 24904 0 -1 4202496 197880 0 0 0 22214 11 0 0 20 0 1 0 37848953 193462272 40993 33554432000 4194304 7498468 140733245607488 140733245602504 4253250 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 31055872 140733245609070 140733245609219 140733245609219 140733245611977 0 /proc/26353/statm: 47232 40993 784 807 0 40223 0 Current children cumulated CPU time: 222.25 s Current children cumulated vsize: 188928 KiB Current children cumulated memory: 163972 KiB [startup+282.3 s] /proc/loadavg: 2.09 2.09 2.07 3/187 26360 /proc/meminfo: memFree=23402516/32770624 swapFree=67108860/67108860 [pid=26353] ppid=26350 vsize=188928 memory=163996 CPUtime=282.25 cores=1,3,5,7 /proc/26353/stat : 26353 (MistralXCSP) R 26350 26353 24904 0 -1 4202496 198489 0 0 0 28214 11 0 0 20 0 1 0 37848953 193462272 40999 33554432000 4194304 7498468 140733245607488 140733245602504 5649074 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 31055872 140733245609070 140733245609219 140733245609219 140733245611977 0 /proc/26353/statm: 47232 40999 784 807 0 40223 0 Current children cumulated CPU time: 282.25 s Current children cumulated vsize: 188928 KiB Current children cumulated memory: 163996 KiB [startup+342.3 s] /proc/loadavg: 2.03 2.07 2.06 3/187 26361 /proc/meminfo: memFree=23402768/32770624 swapFree=67108860/67108860 [pid=26353] ppid=26350 vsize=188928 memory=163996 CPUtime=342.25 cores=1,3,5,7 /proc/26353/stat : 26353 (MistralXCSP) R 26350 26353 24904 0 -1 4202496 198807 0 0 0 34214 11 0 0 20 0 1 0 37848953 193462272 40999 33554432000 4194304 7498468 140733245607488 140733245602504 4580282 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 31055872 140733245609070 140733245609219 140733245609219 140733245611977 0 /proc/26353/statm: 47232 40999 784 807 0 40223 0 Current children cumulated CPU time: 342.25 s Current children cumulated vsize: 188928 KiB Current children cumulated memory: 163996 KiB [startup+402.3 s] /proc/loadavg: 2.01 2.06 2.06 3/188 26370 /proc/meminfo: memFree=23401848/32770624 swapFree=67108860/67108860 [pid=26353] ppid=26350 vsize=188928 memory=163996 CPUtime=402.25 cores=1,3,5,7 /proc/26353/stat : 26353 (MistralXCSP) R 26350 26353 24904 0 -1 4202496 199437 0 0 0 40214 11 0 0 20 0 1 0 37848953 193462272 40999 33554432000 4194304 7498468 140733245607488 140733245602504 5791406 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 31055872 140733245609070 140733245609219 140733245609219 140733245611977 0 /proc/26353/statm: 47232 40999 784 807 0 40223 0 Current children cumulated CPU time: 402.25 s Current children cumulated vsize: 188928 KiB Current children cumulated memory: 163996 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.05 2.05 3/189 26394 /proc/meminfo: memFree=23401716/32770624 swapFree=67108860/67108860 [pid=26353] ppid=26350 vsize=188928 memory=163996 CPUtime=462.26 cores=1,3,5,7 /proc/26353/stat : 26353 (MistralXCSP) R 26350 26353 24904 0 -1 4202496 200055 0 0 0 46214 12 0 0 20 0 1 0 37848953 193462272 40999 33554432000 4194304 7498468 140733245607488 140733245602504 5838524 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 31055872 140733245609070 140733245609219 140733245609219 140733245611977 0 /proc/26353/statm: 47232 40999 784 807 0 40223 0 Current children cumulated CPU time: 462.26 s Current children cumulated vsize: 188928 KiB Current children cumulated memory: 163996 KiB ################ # More data... # ################ /proc/26353/statm: 47265 41004 784 807 0 40256 0 Current children cumulated CPU time: 1602.29 s Current children cumulated vsize: 189060 KiB Current children cumulated memory: 164016 KiB [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 26429 /proc/meminfo: memFree=23401988/32770624 swapFree=67108860/67108860 [pid=26353] ppid=26350 vsize=189060 memory=164016 CPUtime=1662.29 cores=1,3,5,7 /proc/26353/stat : 26353 (MistralXCSP) R 26350 26353 24904 0 -1 4202496 207771 0 0 0 166217 12 0 0 20 0 1 0 37848953 193597440 41004 33554432000 4194304 7498468 140733245607488 140733245602504 4580282 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 31055872 140733245609070 140733245609219 140733245609219 140733245611977 0 /proc/26353/statm: 47265 41004 784 807 0 40256 0 Current children cumulated CPU time: 1662.29 s Current children cumulated vsize: 189060 KiB Current children cumulated memory: 164016 KiB [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 26430 /proc/meminfo: memFree=23402476/32770624 swapFree=67108860/67108860 [pid=26353] ppid=26350 vsize=189060 memory=164016 CPUtime=1722.29 cores=1,3,5,7 /proc/26353/stat : 26353 (MistralXCSP) R 26350 26353 24904 0 -1 4202496 208096 0 0 0 172217 12 0 0 20 0 1 0 37848953 193597440 41004 33554432000 4194304 7498468 140733245607488 140733245602504 5773631 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 31055872 140733245609070 140733245609219 140733245609219 140733245611977 0 /proc/26353/statm: 47265 41004 784 807 0 40256 0 Current children cumulated CPU time: 1722.29 s Current children cumulated vsize: 189060 KiB Current children cumulated memory: 164016 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 26431 /proc/meminfo: memFree=23401484/32770624 swapFree=67108860/67108860 [pid=26353] ppid=26350 vsize=189060 memory=164016 CPUtime=1782.3 cores=1,3,5,7 /proc/26353/stat : 26353 (MistralXCSP) R 26350 26353 24904 0 -1 4202496 208421 0 0 0 178218 12 0 0 20 0 1 0 37848953 193597440 41004 33554432000 4194304 7498468 140733245607488 140733245602504 5791406 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 31055872 140733245609070 140733245609219 140733245609219 140733245611977 0 /proc/26353/statm: 47265 41004 784 807 0 40256 0 Current children cumulated CPU time: 1782.3 s Current children cumulated vsize: 189060 KiB Current children cumulated memory: 164016 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 26432 /proc/meminfo: memFree=23401600/32770624 swapFree=67108860/67108860 [pid=26353] ppid=26350 vsize=189060 memory=164016 CPUtime=1842.3 cores=1,3,5,7 /proc/26353/stat : 26353 (MistralXCSP) R 26350 26353 24904 0 -1 4202496 208750 0 0 0 184218 12 0 0 20 0 1 0 37848953 193597440 41004 33554432000 4194304 7498468 140733245607488 140733245602504 5770483 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 31055872 140733245609070 140733245609219 140733245609219 140733245611977 0 /proc/26353/statm: 47265 41004 784 807 0 40256 0 Current children cumulated CPU time: 1842.3 s Current children cumulated vsize: 189060 KiB Current children cumulated memory: 164016 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 26434 /proc/meminfo: memFree=23401112/32770624 swapFree=67108860/67108860 [pid=26353] ppid=26350 vsize=189060 memory=164016 CPUtime=1902.3 cores=1,3,5,7 /proc/26353/stat : 26353 (MistralXCSP) R 26350 26353 24904 0 -1 4202496 209075 0 0 0 190218 12 0 0 20 0 1 0 37848953 193597440 41004 33554432000 4194304 7498468 140733245607488 140733245602504 4249991 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 31055872 140733245609070 140733245609219 140733245609219 140733245611977 0 /proc/26353/statm: 47265 41004 784 807 0 40256 0 Current children cumulated CPU time: 1902.3 s Current children cumulated vsize: 189060 KiB Current children cumulated memory: 164016 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 26435 /proc/meminfo: memFree=23401912/32770624 swapFree=67108860/67108860 [pid=26353] ppid=26350 vsize=189060 memory=164016 CPUtime=1962.3 cores=1,3,5,7 /proc/26353/stat : 26353 (MistralXCSP) R 26350 26353 24904 0 -1 4202496 209698 0 0 0 196218 12 0 0 20 0 1 0 37848953 193597440 41004 33554432000 4194304 7498468 140733245607488 140733245602504 4580194 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 31055872 140733245609070 140733245609219 140733245609219 140733245611977 0 /proc/26353/statm: 47265 41004 784 807 0 40256 0 Current children cumulated CPU time: 1962.3 s Current children cumulated vsize: 189060 KiB Current children cumulated memory: 164016 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 26436 /proc/meminfo: memFree=23401764/32770624 swapFree=67108860/67108860 [pid=26353] ppid=26350 vsize=189060 memory=164024 CPUtime=2022.3 cores=1,3,5,7 /proc/26353/stat : 26353 (MistralXCSP) R 26350 26353 24904 0 -1 4202496 210030 0 0 0 202218 12 0 0 20 0 1 0 37848953 193597440 41006 33554432000 4194304 7498468 140733245607488 140733245602504 5791403 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 31055872 140733245609070 140733245609219 140733245609219 140733245611977 0 /proc/26353/statm: 47265 41006 784 807 0 40256 0 Current children cumulated CPU time: 2022.3 s Current children cumulated vsize: 189060 KiB Current children cumulated memory: 164024 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 26499 /proc/meminfo: memFree=23398328/32770624 swapFree=67108860/67108860 [pid=26353] ppid=26350 vsize=189060 memory=164024 CPUtime=2082.31 cores=1,3,5,7 /proc/26353/stat : 26353 (MistralXCSP) R 26350 26353 24904 0 -1 4202496 210363 0 0 0 208219 12 0 0 20 0 1 0 37848953 193597440 41006 33554432000 4194304 7498468 140733245607488 140733245602504 5585728 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 31055872 140733245609070 140733245609219 140733245609219 140733245611977 0 /proc/26353/statm: 47265 41006 784 807 0 40256 0 Current children cumulated CPU time: 2082.31 s Current children cumulated vsize: 189060 KiB Current children cumulated memory: 164024 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 26500 /proc/meminfo: memFree=23397836/32770624 swapFree=67108860/67108860 [pid=26353] ppid=26350 vsize=189060 memory=164024 CPUtime=2142.31 cores=1,3,5,7 /proc/26353/stat : 26353 (MistralXCSP) R 26350 26353 24904 0 -1 4202496 210691 0 0 0 214219 12 0 0 20 0 1 0 37848953 193597440 41006 33554432000 4194304 7498468 140733245607488 140733245602504 4267355 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 31055872 140733245609070 140733245609219 140733245609219 140733245611977 0 /proc/26353/statm: 47265 41006 784 807 0 40256 0 Current children cumulated CPU time: 2142.31 s Current children cumulated vsize: 189060 KiB Current children cumulated memory: 164024 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 26509 /proc/meminfo: memFree=23396176/32770624 swapFree=67108860/67108860 [pid=26353] ppid=26350 vsize=189060 memory=164024 CPUtime=2202.31 cores=1,3,5,7 /proc/26353/stat : 26353 (MistralXCSP) R 26350 26353 24904 0 -1 4202496 211019 0 0 0 220219 12 0 0 20 0 1 0 37848953 193597440 41006 33554432000 4194304 7498468 140733245607488 140733245602504 4580242 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 31055872 140733245609070 140733245609219 140733245609219 140733245611977 0 /proc/26353/statm: 47265 41006 784 807 0 40256 0 Current children cumulated CPU time: 2202.31 s Current children cumulated vsize: 189060 KiB Current children cumulated memory: 164024 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 26510 /proc/meminfo: memFree=23397364/32770624 swapFree=67108860/67108860 [pid=26353] ppid=26350 vsize=189060 memory=164024 CPUtime=2262.31 cores=1,3,5,7 /proc/26353/stat : 26353 (MistralXCSP) R 26350 26353 24904 0 -1 4202496 211346 0 0 0 226219 12 0 0 20 0 1 0 37848953 193597440 41006 33554432000 4194304 7498468 140733245607488 140733245602504 5575363 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 31055872 140733245609070 140733245609219 140733245609219 140733245611977 0 /proc/26353/statm: 47265 41006 784 807 0 40256 0 Current children cumulated CPU time: 2262.31 s Current children cumulated vsize: 189060 KiB Current children cumulated memory: 164024 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 26511 /proc/meminfo: memFree=23397684/32770624 swapFree=67108860/67108860 [pid=26353] ppid=26350 vsize=189060 memory=164024 CPUtime=2322.31 cores=1,3,5,7 /proc/26353/stat : 26353 (MistralXCSP) R 26350 26353 24904 0 -1 4202496 211673 0 0 0 232219 12 0 0 20 0 1 0 37848953 193597440 41006 33554432000 4194304 7498468 140733245607488 140733245602504 4580254 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 31055872 140733245609070 140733245609219 140733245609219 140733245611977 0 /proc/26353/statm: 47265 41006 784 807 0 40256 0 Current children cumulated CPU time: 2322.31 s Current children cumulated vsize: 189060 KiB Current children cumulated memory: 164024 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 26512 /proc/meminfo: memFree=23397748/32770624 swapFree=67108860/67108860 [pid=26353] ppid=26350 vsize=189060 memory=164024 CPUtime=2382.31 cores=1,3,5,7 /proc/26353/stat : 26353 (MistralXCSP) R 26350 26353 24904 0 -1 4202496 212005 0 0 0 238219 12 0 0 20 0 1 0 37848953 193597440 41006 33554432000 4194304 7498468 140733245607488 140733245602504 5838196 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 31055872 140733245609070 140733245609219 140733245609219 140733245611977 0 /proc/26353/statm: 47265 41006 784 807 0 40256 0 Current children cumulated CPU time: 2382.31 s Current children cumulated vsize: 189060 KiB Current children cumulated memory: 164024 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400 s]* /proc/loadavg: 2.00 2.01 2.05 3/188 26512 /proc/meminfo: memFree=23397748/32770624 swapFree=67108860/67108860 [pid=26353] ppid=26350 vsize=189060 memory=164024 CPUtime=2400.02 cores=1,3,5,7 /proc/26353/stat : 26353 (MistralXCSP) R 26350 26353 24904 0 -1 4202496 212323 0 0 0 239990 12 0 0 20 0 1 0 37848953 193597440 41006 33554432000 4194304 7498468 140733245607488 140733245602504 5770556 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 31055872 140733245609070 140733245609219 140733245609219 140733245611977 0 /proc/26353/statm: 47265 41006 784 807 0 40256 0 Current children cumulated CPU time: 2400.02 s Current children cumulated vsize: 189060 KiB Current children cumulated memory: 164024 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2400.01 s] # the end of solver process 26353 was just reported to runsolver # cumulated CPU time of all completed processes: user=2399.91 s, system=0.128003 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 2400.01 CPU time (s): 2400.04 CPU user time (s): 2399.91 CPU system time (s): 0.128003 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 189060 Max. memory (cumulated for all children) (KiB): 164024 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.91 system time used= 0.128003 maximum resident set size= 164044 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 212361 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= 78 involuntary context switches= 646 # summary of solver processes directly reported to runsolver: # pid: 26353 # total CPU time (s): 2400.04 # total CPU user time (s): 2399.91 # total CPU system time (s): 0.128003 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.10164 second user time and 17.5991 second system time The end
Begin job on node103 at 2018-07-21 21:54:18 IDJOB=4289642 IDBENCH=141552 IDSOLVER=2741 FILE ID=node103/4289642-1532202858 RUNJOBID= node103-1532190503-24936 PBS_JOBID= 21018940 Free space on /tmp= 56864 MiB SOLVER NAME= Mistral-2.0 2018-06-15 BENCH NAME= XCSP18/TravelingTournament/TravelingTournament-a3-galaxy14_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-4289642-1532202858/watcher-4289642-1532202858 -o /tmp/evaluation-result-4289642-1532202858/solver-4289642-1532202858 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532190503-24936 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 239158812 HOME/instance-4289642-1532202858.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7a3ba77b7a6be046779b0525cfa105c0 RANDOM SEED=239158812 node103.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.48 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.48 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.48 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.48 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: 23564512 kB MemAvailable: 31894464 kB Buffers: 213332 kB Cached: 8322964 kB SwapCached: 0 kB Active: 1377056 kB Inactive: 7259028 kB Active(anon): 102616 kB Inactive(anon): 16984 kB Active(file): 1274440 kB Inactive(file): 7242044 kB Unevictable: 7140 kB Mlocked: 7140 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 9320 kB Writeback: 0 kB AnonPages: 115180 kB Mapped: 36192 kB Shmem: 17036 kB Slab: 269016 kB SReclaimable: 241928 kB SUnreclaim: 27088 kB KernelStack: 3376 kB PageTables: 4940 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 389516 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 57344 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 56856 MiB End job on node103 at 2018-07-21 22:34:18