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) | 70 | 2519.92 | 2520.01 |
| Name | PeacableArmies/ PeacableArmies-m2-30_c18.xml |
| MD5SUM | f7f9b20d19eb9843ceb4981536ba88b3 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 83 |
| Best CPU time to get the best result obtained on this benchmark | 2520.1 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 902 |
| Number of constraints | 43213 |
| Number of domains | 2 |
| Minimum domain size | 3 |
| Maximum domain size | 450 |
| Distribution of domain sizes | [{"size":3,"count":900},{"size":450,"count":2}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 117 |
| Distribution of variable degrees | [{"degree":2,"count":1},{"degree":3,"count":1},{"degree":89,"count":116},{"degree":91,"count":108},{"degree":93,"count":100},{"degree":95,"count":92},{"degree":97,"count":84},{"degree":99,"count":76},{"degree":101,"count":68},{"degree":103,"count":60},{"degree":105,"count":52},{"degree":107,"count":44},{"degree":109,"count":36},{"degree":111,"count":28},{"degree":113,"count":20},{"degree":115,"count":12},{"degree":117,"count":4}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 901 |
| Distribution of constraint arities | [{"arity":2,"count":43211},{"arity":901,"count":2}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 43211 |
| Distribution of constraint types | [{"type":"intension","count":43211},{"type":"count","count":2}] |
| Optimization problem | YES |
| Type of objective | max VAR |
0.00/0.00 c Mistral 01082018 20.79/20.81 o 0 20.79/20.82 o 1 20.79/20.84 o 2 20.79/20.86 o 3 20.79/20.89 o 4 20.89/20.92 o 5 22.29/22.36 o 6 22.29/22.38 o 7 22.39/22.43 o 8 23.59/23.61 o 9 23.69/23.79 o 10 23.89/23.93 o 11 24.00/24.06 o 12 24.10/24.18 o 13 24.29/24.30 o 14 24.39/24.41 o 15 24.49/24.51 o 16 24.59/24.60 o 17 24.69/24.70 o 18 24.69/24.79 o 19 24.79/24.89 o 20 24.89/24.98 o 21 25.00/25.07 o 22 25.10/25.16 o 23 25.19/25.24 o 24 25.29/25.33 o 25 25.39/25.42 o 26 25.49/25.50 o 27 25.49/25.59 o 28 25.59/25.69 o 29 25.69/25.78 o 30 25.79/25.88 o 31 25.89/25.98 o 32 26.00/26.07 o 33 26.10/26.17 o 34 26.29/26.37 o 35 33.89/33.93 o 36 33.89/33.99 o 37 34.00/34.05 o 38 34.10/34.11 o 39 34.10/34.17 o 40 34.19/34.22 o 41 34.19/34.28 o 42 34.29/34.34 o 43 34.39/34.40 o 44 34.39/34.46 o 45 34.49/34.52 o 46 34.49/34.57 o 47 34.59/34.63 o 48 34.59/34.69 o 49 34.69/34.74 o 50 34.79/34.80 o 51 34.79/34.86 o 52 34.89/34.92 o 53 34.89/34.97 o 54 35.00/35.03 o 55 35.00/35.08 o 56 35.19/35.24 o 57 45.69/45.74 o 58 45.69/45.79 o 59 45.79/45.83 o 60 45.79/45.87 o 61 45.89/45.92 o 62 45.89/45.96 o 63 46.00/46.01 o 64 46.00/46.05 o 65 46.29/46.37 o 66 51.00/51.10 o 67 132.44/132.59 o 68 134.95/135.08 o 69 137.44/137.58 o 70 2519.91/2520.01 s SATISFIABLE 2519.91/2520.01 v <instantiation type="solution"> 2519.91/2520.01 v <list> x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] nb nw </list> 2519.91/2520.01 v <values> 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 2 2 2 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 2 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 2 0 0 2 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 2 0 0 0 2 0 0 0 0 0 2 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 0 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 2 0 2 2 0 2 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 2 0 2 2 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 2 2 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 2 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 2 0 0 0 0 0 0 0 0 0 2 2 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 0 2 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 70 70 </values> 2519.91/2520.01 v </instantiation>
OK 70
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 (3811 MiB free)
memory of node 1: 16384 MiB (2832 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303606-1534023576/watcher-4303606-1534023576 -o /tmp/evaluation-result-4303606-1534023576/solver-4303606-1534023576 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1533990775-15521 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 764506330 HOME/instance-4303606-1534023576.xml
running on 4 cores: 0,2,4,6
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=18710, runsolver pid=18707
[startup+0.100196 s]*
/proc/loadavg: 2.00 2.03 2.06 3/187 18711
/proc/meminfo: memFree=6800588/32770624 swapFree=67108380/67108860
[pid=18710] ppid=18707 vsize=30960 memory=5452 CPUtime=0.1 cores=0,2,4,6
/proc/18710/stat : 18710 (MistralXCSP) R 18707 18710 15490 0 -1 4202496 1527 0 0 0 10 0 0 0 20 0 1 0 219920742 31703040 1363 33554432000 4194304 7499544 140723350507040 140723350504040 139722011593701 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 41213952 140723350508654 140723350508803 140723350508803 140723350511561 0
/proc/18710/statm: 7740 1363 666 807 0 731 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30960 KiB
Current children cumulated memory: 5452 KiB
[startup+0.209612 s]*
/proc/loadavg: 2.00 2.03 2.06 3/187 18711
/proc/meminfo: memFree=6799784/32770624 swapFree=67108380/67108860
[pid=18710] ppid=18707 vsize=32208 memory=6512 CPUtime=0.21 cores=0,2,4,6
/proc/18710/stat : 18710 (MistralXCSP) R 18707 18710 15490 0 -1 4202496 1866 0 0 0 21 0 0 0 20 0 1 0 219920742 32980992 1628 33554432000 4194304 7499544 140723350507040 140723350504040 6094489 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 41213952 140723350508654 140723350508803 140723350508803 140723350511561 0
/proc/18710/statm: 8052 1628 666 807 0 1043 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32208 KiB
Current children cumulated memory: 6512 KiB
[startup+0.308977 s]*
/proc/loadavg: 2.00 2.03 2.06 3/187 18711
/proc/meminfo: memFree=6798296/32770624 swapFree=67108380/67108860
[pid=18710] ppid=18707 vsize=33512 memory=7464 CPUtime=0.31 cores=0,2,4,6
/proc/18710/stat : 18710 (MistralXCSP) R 18707 18710 15490 0 -1 4202496 2258 0 0 0 31 0 0 0 20 0 1 0 219920742 34316288 1866 33554432000 4194304 7499544 140723350507040 140723350504040 139722011593701 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 41213952 140723350508654 140723350508803 140723350508803 140723350511561 0
/proc/18710/statm: 8378 1866 666 807 0 1369 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 33512 KiB
Current children cumulated memory: 7464 KiB
[startup+0.700341 s]
/proc/loadavg: 2.00 2.03 2.06 3/187 18711
/proc/meminfo: memFree=6795692/32770624 swapFree=67108380/67108860
[pid=18710] ppid=18707 vsize=39024 memory=12928 CPUtime=0.69 cores=0,2,4,6
/proc/18710/stat : 18710 (MistralXCSP) R 18707 18710 15490 0 -1 4202496 3836 0 0 0 69 0 0 0 20 0 1 0 219920742 39960576 3232 33554432000 4194304 7499544 140723350507040 140723350498040 139722011593701 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 41213952 140723350508654 140723350508803 140723350508803 140723350511561 0
/proc/18710/statm: 9756 3232 696 807 0 2747 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 39024 KiB
Current children cumulated memory: 12928 KiB
[startup+1.50036 s]
/proc/loadavg: 2.00 2.03 2.06 3/187 18711
/proc/meminfo: memFree=6784160/32770624 swapFree=67108380/67108860
[pid=18710] ppid=18707 vsize=63464 memory=37360 CPUtime=1.49 cores=0,2,4,6
/proc/18710/stat : 18710 (MistralXCSP) R 18707 18710 15490 0 -1 4202496 9984 0 0 0 147 2 0 0 20 0 1 0 219920742 64987136 9340 33554432000 4194304 7499544 140723350507040 140723350498040 4563992 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 41213952 140723350508654 140723350508803 140723350508803 140723350511561 0
/proc/18710/statm: 15866 9340 696 807 0 8857 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 63464 KiB
Current children cumulated memory: 37360 KiB
[startup+3.10942 s]
/proc/loadavg: 2.00 2.03 2.06 3/187 18711
/proc/meminfo: memFree=6726624/32770624 swapFree=67108380/67108860
[pid=18710] ppid=18707 vsize=108544 memory=82364 CPUtime=3.1 cores=0,2,4,6
/proc/18710/stat : 18710 (MistralXCSP) R 18707 18710 15490 0 -1 4202496 21616 0 0 0 306 4 0 0 20 0 1 0 219920742 111149056 20591 33554432000 4194304 7499544 140723350507040 140723350498040 5904448 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 41213952 140723350508654 140723350508803 140723350508803 140723350511561 0
/proc/18710/statm: 27136 20591 696 807 0 20127 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 108544 KiB
Current children cumulated memory: 82364 KiB
[startup+6.30033 s]
/proc/loadavg: 2.00 2.03 2.06 3/187 18711
/proc/meminfo: memFree=6653356/32770624 swapFree=67108380/67108860
[pid=18710] ppid=18707 vsize=184732 memory=158512 CPUtime=6.29 cores=0,2,4,6
/proc/18710/stat : 18710 (MistralXCSP) R 18707 18710 15490 0 -1 4202496 42777 0 0 0 622 7 0 0 20 0 1 0 219920742 189165568 39628 33554432000 4194304 7499544 140723350507040 140723350497960 139722015083265 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 41213952 140723350508654 140723350508803 140723350508803 140723350511561 0
/proc/18710/statm: 46183 39628 696 807 0 39174 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 184732 KiB
Current children cumulated memory: 158512 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 18711
/proc/meminfo: memFree=6532300/32770624 swapFree=67108380/67108860
[pid=18710] ppid=18707 vsize=312424 memory=286168 CPUtime=12.69 cores=0,2,4,6
/proc/18710/stat : 18710 (MistralXCSP) R 18707 18710 15490 0 -1 4202496 91157 0 0 0 1257 12 0 0 20 0 1 0 219920742 319922176 71542 33554432000 4194304 7499544 140723350507040 140723350497960 139722015072399 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 41213952 140723350508654 140723350508803 140723350508803 140723350511561 0
/proc/18710/statm: 78106 71542 696 807 0 71097 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 312424 KiB
Current children cumulated memory: 286168 KiB
[startup+25.5005 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 18719
/proc/meminfo: memFree=6356800/32770624 swapFree=67108380/67108860
[pid=18710] ppid=18707 vsize=473684 memory=448236 CPUtime=25.49 cores=0,2,4,6
/proc/18710/stat : 18710 (MistralXCSP) R 18707 18710 15490 0 -1 4202496 221828 0 0 0 2524 25 0 0 20 0 1 0 219920742 485052416 112059 33554432000 4194304 7499544 140723350507040 140723350502056 5574483 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 41213952 140723350508654 140723350508803 140723350508803 140723350511561 0
/proc/18710/statm: 118421 112059 787 807 0 111412 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448236 KiB
[startup+51.1097 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 18719
/proc/meminfo: memFree=6355624/32770624 swapFree=67108380/67108860
[pid=18710] ppid=18707 vsize=473684 memory=448396 CPUtime=51.1 cores=0,2,4,6
/proc/18710/stat : 18710 (MistralXCSP) R 18707 18710 15490 0 -1 4202496 298172 0 0 0 5080 30 0 0 20 0 1 0 219920742 485052416 112099 33554432000 4194304 7499544 140723350507040 140723350502056 4249719 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 41213952 140723350508654 140723350508803 140723350508803 140723350511561 0
/proc/18710/statm: 118421 112099 787 807 0 111412 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448396 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 18720
/proc/meminfo: memFree=6355092/32770624 swapFree=67108380/67108860
[pid=18710] ppid=18707 vsize=473684 memory=448396 CPUtime=102.26 cores=0,2,4,6
/proc/18710/stat : 18710 (MistralXCSP) R 18707 18710 15490 0 -1 4202496 373064 0 0 0 10192 34 0 0 20 0 1 0 219920742 485052416 112099 33554432000 4194304 7499544 140723350507040 140723350502056 4579843 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 41213952 140723350508654 140723350508803 140723350508803 140723350511561 0
/proc/18710/statm: 118421 112099 787 807 0 111412 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448396 KiB
[startup+162.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/188 18721
/proc/meminfo: memFree=6356200/32770624 swapFree=67108380/67108860
[pid=18710] ppid=18707 vsize=473684 memory=448396 CPUtime=162.23 cores=0,2,4,6
/proc/18710/stat : 18710 (MistralXCSP) R 18707 18710 15490 0 -1 4202496 426641 0 0 0 16186 37 0 0 20 0 1 0 219920742 485052416 112099 33554432000 4194304 7499544 140723350507040 140723350502056 4379069 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 41213952 140723350508654 140723350508803 140723350508803 140723350511561 0
/proc/18710/statm: 118421 112099 787 807 0 111412 0
Current children cumulated CPU time: 162.23 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448396 KiB
[startup+222.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/188 18722
/proc/meminfo: memFree=6356104/32770624 swapFree=67108380/67108860
[pid=18710] ppid=18707 vsize=473684 memory=448636 CPUtime=222.21 cores=0,2,4,6
/proc/18710/stat : 18710 (MistralXCSP) R 18707 18710 15490 0 -1 4202496 453030 0 0 0 22183 38 0 0 20 0 1 0 219920742 485052416 112159 33554432000 4194304 7499544 140723350507040 140723350502056 4245316 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 41213952 140723350508654 140723350508803 140723350508803 140723350511561 0
/proc/18710/statm: 118421 112159 787 807 0 111412 0
Current children cumulated CPU time: 222.21 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448636 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 18723
/proc/meminfo: memFree=6356556/32770624 swapFree=67108380/67108860
[pid=18710] ppid=18707 vsize=473684 memory=448636 CPUtime=282.18 cores=0,2,4,6
/proc/18710/stat : 18710 (MistralXCSP) R 18707 18710 15490 0 -1 4202496 465831 0 0 0 28180 38 0 0 20 0 1 0 219920742 485052416 112159 33554432000 4194304 7499544 140723350507040 140723350502056 5163954 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 41213952 140723350508654 140723350508803 140723350508803 140723350511561 0
/proc/18710/statm: 118421 112159 787 807 0 111412 0
Current children cumulated CPU time: 282.18 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448636 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 18724
/proc/meminfo: memFree=6356536/32770624 swapFree=67108380/67108860
[pid=18710] ppid=18707 vsize=473684 memory=448636 CPUtime=342.16 cores=0,2,4,6
/proc/18710/stat : 18710 (MistralXCSP) R 18707 18710 15490 0 -1 4202496 467284 0 0 0 34178 38 0 0 20 0 1 0 219920742 485052416 112159 33554432000 4194304 7499544 140723350507040 140723350502056 4580255 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 41213952 140723350508654 140723350508803 140723350508803 140723350511561 0
/proc/18710/statm: 118421 112159 787 807 0 111412 0
Current children cumulated CPU time: 342.16 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448636 KiB
[startup+402.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 18725
/proc/meminfo: memFree=6356968/32770624 swapFree=67108380/67108860
[pid=18710] ppid=18707 vsize=473684 memory=448636 CPUtime=402.17 cores=0,2,4,6
/proc/18710/stat : 18710 (MistralXCSP) R 18707 18710 15490 0 -1 4202496 468597 0 0 0 40178 39 0 0 20 0 1 0 219920742 485052416 112159 33554432000 4194304 7499544 140723350507040 140723350502056 4405063 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 41213952 140723350508654 140723350508803 140723350508803 140723350511561 0
/proc/18710/statm: 118421 112159 787 807 0 111412 0
Current children cumulated CPU time: 402.17 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448636 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 18726
/proc/meminfo: memFree=6356864/32770624 swapFree=67108380/67108860
[pid=18710] ppid=18707 vsize=473684 memory=448636 CPUtime=462.17 cores=0,2,4,6
/proc/18710/stat : 18710 (MistralXCSP) R 18707 18710 15490 0 -1 4202496 469931 0 0 0 46178 39 0 0 20 0 1 0 219920742 485052416 112159 33554432000 4194304 7499544 140723350507040 140723350502056 4404997 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 41213952 140723350508654 140723350508803 140723350508803 140723350511561 0
/proc/18710/statm: 118421 112159 787 807 0 111412 0
Current children cumulated CPU time: 462.17 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448636 KiB
################
# More data... #
################
/proc/18710/statm: 118421 112159 787 807 0 111412 0
Current children cumulated CPU time: 1722.19 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448636 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 18807
/proc/meminfo: memFree=6355900/32770624 swapFree=67108380/67108860
[pid=18710] ppid=18707 vsize=473684 memory=448636 CPUtime=1782.19 cores=0,2,4,6
/proc/18710/stat : 18710 (MistralXCSP) R 18707 18710 15490 0 -1 4202496 498676 0 0 0 178179 40 0 0 20 0 1 0 219920742 485052416 112159 33554432000 4194304 7499544 140723350507040 140723350502056 4403446 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 41213952 140723350508654 140723350508803 140723350508803 140723350511561 0
/proc/18710/statm: 118421 112159 787 807 0 111412 0
Current children cumulated CPU time: 1782.19 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448636 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18817
/proc/meminfo: memFree=6354744/32770624 swapFree=67108380/67108860
[pid=18710] ppid=18707 vsize=473684 memory=448636 CPUtime=1842.19 cores=0,2,4,6
/proc/18710/stat : 18710 (MistralXCSP) R 18707 18710 15490 0 -1 4202496 499969 0 0 0 184179 40 0 0 20 0 1 0 219920742 485052416 112159 33554432000 4194304 7499544 140723350507040 140723350502056 4245316 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 41213952 140723350508654 140723350508803 140723350508803 140723350511561 0
/proc/18710/statm: 118421 112159 787 807 0 111412 0
Current children cumulated CPU time: 1842.19 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448636 KiB
[startup+1902.3 s]
/proc/loadavg: 1.88 1.99 2.04 2/181 18864
/proc/meminfo: memFree=6377972/32770624 swapFree=67108380/67108860
[pid=18710] ppid=18707 vsize=473684 memory=448636 CPUtime=1902.19 cores=0,2,4,6
/proc/18710/stat : 18710 (MistralXCSP) R 18707 18710 15490 0 -1 4202496 501257 0 0 0 190179 40 0 0 20 0 1 0 219920742 485052416 112159 33554432000 4194304 7499544 140723350507040 140723350502056 4404884 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 41213952 140723350508654 140723350508803 140723350508803 140723350511561 0
/proc/18710/statm: 118421 112159 787 807 0 111412 0
Current children cumulated CPU time: 1902.19 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448636 KiB
[startup+1962.3 s]
/proc/loadavg: 1.33 1.81 1.97 2/181 18865
/proc/meminfo: memFree=6378424/32770624 swapFree=67108380/67108860
[pid=18710] ppid=18707 vsize=473684 memory=448636 CPUtime=1962.19 cores=0,2,4,6
/proc/18710/stat : 18710 (MistralXCSP) R 18707 18710 15490 0 -1 4202496 502559 0 0 0 196179 40 0 0 20 0 1 0 219920742 485052416 112159 33554432000 4194304 7499544 140723350507040 140723350502056 4579850 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 41213952 140723350508654 140723350508803 140723350508803 140723350511561 0
/proc/18710/statm: 118421 112159 787 807 0 111412 0
Current children cumulated CPU time: 1962.19 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448636 KiB
[startup+2022.3 s]
/proc/loadavg: 1.12 1.66 1.91 2/181 18866
/proc/meminfo: memFree=6379000/32770624 swapFree=67108380/67108860
[pid=18710] ppid=18707 vsize=473684 memory=448636 CPUtime=2022.19 cores=0,2,4,6
/proc/18710/stat : 18710 (MistralXCSP) R 18707 18710 15490 0 -1 4202496 503845 0 0 0 202179 40 0 0 20 0 1 0 219920742 485052416 112159 33554432000 4194304 7499544 140723350507040 140723350502056 139722015028912 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 41213952 140723350508654 140723350508803 140723350508803 140723350511561 0
/proc/18710/statm: 118421 112159 787 807 0 111412 0
Current children cumulated CPU time: 2022.19 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448636 KiB
[startup+2082.3 s]
/proc/loadavg: 1.04 1.54 1.85 2/181 18867
/proc/meminfo: memFree=6379620/32770624 swapFree=67108380/67108860
[pid=18710] ppid=18707 vsize=473684 memory=448636 CPUtime=2082.19 cores=0,2,4,6
/proc/18710/stat : 18710 (MistralXCSP) R 18707 18710 15490 0 -1 4202496 505165 0 0 0 208179 40 0 0 20 0 1 0 219920742 485052416 112159 33554432000 4194304 7499544 140723350507040 140723350502056 5585027 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 41213952 140723350508654 140723350508803 140723350508803 140723350511561 0
/proc/18710/statm: 118421 112159 787 807 0 111412 0
Current children cumulated CPU time: 2082.19 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448636 KiB
[startup+2142.3 s]
/proc/loadavg: 1.02 1.45 1.80 2/180 18868
/proc/meminfo: memFree=6379916/32770624 swapFree=67108380/67108860
[pid=18710] ppid=18707 vsize=473684 memory=448636 CPUtime=2142.19 cores=0,2,4,6
/proc/18710/stat : 18710 (MistralXCSP) R 18707 18710 15490 0 -1 4202496 506470 0 0 0 214179 40 0 0 20 0 1 0 219920742 485052416 112159 33554432000 4194304 7499544 140723350507040 140723350502056 5585010 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 41213952 140723350508654 140723350508803 140723350508803 140723350511561 0
/proc/18710/statm: 118421 112159 787 807 0 111412 0
Current children cumulated CPU time: 2142.19 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448636 KiB
[startup+2202.3 s]
/proc/loadavg: 1.01 1.36 1.75 2/180 18869
/proc/meminfo: memFree=6380064/32770624 swapFree=67108380/67108860
[pid=18710] ppid=18707 vsize=473684 memory=448636 CPUtime=2202.19 cores=0,2,4,6
/proc/18710/stat : 18710 (MistralXCSP) R 18707 18710 15490 0 -1 4202496 507784 0 0 0 220179 40 0 0 20 0 1 0 219920742 485052416 112159 33554432000 4194304 7499544 140723350507040 140723350502056 5163908 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 41213952 140723350508654 140723350508803 140723350508803 140723350511561 0
/proc/18710/statm: 118421 112159 787 807 0 111412 0
Current children cumulated CPU time: 2202.19 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448636 KiB
[startup+2262.3 s]
/proc/loadavg: 1.00 1.30 1.70 2/180 18870
/proc/meminfo: memFree=6379700/32770624 swapFree=67108380/67108860
[pid=18710] ppid=18707 vsize=473684 memory=448636 CPUtime=2262.19 cores=0,2,4,6
/proc/18710/stat : 18710 (MistralXCSP) R 18707 18710 15490 0 -1 4202496 509082 0 0 0 226179 40 0 0 20 0 1 0 219920742 485052416 112159 33554432000 4194304 7499544 140723350507040 140723350502056 5163917 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 41213952 140723350508654 140723350508803 140723350508803 140723350511561 0
/proc/18710/statm: 118421 112159 787 807 0 111412 0
Current children cumulated CPU time: 2262.19 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448636 KiB
[startup+2322.3 s]
/proc/loadavg: 1.00 1.24 1.66 2/180 18871
/proc/meminfo: memFree=6379824/32770624 swapFree=67108380/67108860
[pid=18710] ppid=18707 vsize=473684 memory=448636 CPUtime=2322.2 cores=0,2,4,6
/proc/18710/stat : 18710 (MistralXCSP) R 18707 18710 15490 0 -1 4202496 510352 0 0 0 232179 41 0 0 20 0 1 0 219920742 485052416 112159 33554432000 4194304 7499544 140723350507040 140723350502056 5163946 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 41213952 140723350508654 140723350508803 140723350508803 140723350511561 0
/proc/18710/statm: 118421 112159 787 807 0 111412 0
Current children cumulated CPU time: 2322.2 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448636 KiB
[startup+2382.3 s]
/proc/loadavg: 1.00 1.20 1.62 2/180 18872
/proc/meminfo: memFree=6380196/32770624 swapFree=67108380/67108860
[pid=18710] ppid=18707 vsize=473684 memory=448636 CPUtime=2382.2 cores=0,2,4,6
/proc/18710/stat : 18710 (MistralXCSP) R 18707 18710 15490 0 -1 4202496 511643 0 0 0 238179 41 0 0 20 0 1 0 219920742 485052416 112159 33554432000 4194304 7499544 140723350507040 140723350502056 4579688 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 41213952 140723350508654 140723350508803 140723350508803 140723350511561 0
/proc/18710/statm: 118421 112159 787 807 0 111412 0
Current children cumulated CPU time: 2382.2 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448636 KiB
[startup+2442.3 s]
/proc/loadavg: 1.00 1.16 1.58 2/181 18881
/proc/meminfo: memFree=6380476/32770624 swapFree=67108380/67108860
[pid=18710] ppid=18707 vsize=473684 memory=448636 CPUtime=2442.2 cores=0,2,4,6
/proc/18710/stat : 18710 (MistralXCSP) R 18707 18710 15490 0 -1 4202496 512920 0 0 0 244179 41 0 0 20 0 1 0 219920742 485052416 112159 33554432000 4194304 7499544 140723350507040 140723350502056 4580654 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 41213952 140723350508654 140723350508803 140723350508803 140723350511561 0
/proc/18710/statm: 118421 112159 787 807 0 111412 0
Current children cumulated CPU time: 2442.2 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448636 KiB
[startup+2502.3 s]
/proc/loadavg: 1.00 1.13 1.54 2/181 18882
/proc/meminfo: memFree=6380476/32770624 swapFree=67108380/67108860
[pid=18710] ppid=18707 vsize=473684 memory=448636 CPUtime=2502.2 cores=0,2,4,6
/proc/18710/stat : 18710 (MistralXCSP) R 18707 18710 15490 0 -1 4202496 514207 0 0 0 250179 41 0 0 20 0 1 0 219920742 485052416 112159 33554432000 4194304 7499544 140723350507040 140723350502056 5585027 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 41213952 140723350508654 140723350508803 140723350508803 140723350511561 0
/proc/18710/statm: 118421 112159 787 807 0 111412 0
Current children cumulated CPU time: 2502.2 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448636 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 1.00 1.12 1.53 2/181 18882
/proc/meminfo: memFree=6380688/32770624 swapFree=67108380/67108860
[pid=18710] ppid=18707 vsize=473684 memory=448636 CPUtime=2519.91 cores=0,2,4,6
/proc/18710/stat : 18710 (MistralXCSP) R 18707 18710 15490 0 -1 4202496 514231 0 0 0 251950 41 0 0 20 0 1 0 219920742 485052416 112159 33554432000 4194304 7499544 140723350507040 140723350502056 4257952 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 41213952 140723350508654 140723350508803 140723350508803 140723350511561 0
/proc/18710/statm: 118421 112159 787 807 0 111412 0
Current children cumulated CPU time: 2519.91 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448636 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 18710 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.5 s, system=0.415005 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.92
CPU user time (s): 2519.5
CPU system time (s): 0.415005
CPU usage (%): 99.9963
Max. virtual memory (cumulated for all children) (KiB): 473684
Max. memory (cumulated for all children) (KiB): 448636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.5
system time used= 0.415005
maximum resident set size= 448656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 514282
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= 166
involuntary context switches= 657
# summary of solver processes directly reported to runsolver:
# pid: 18710
# total CPU time (s): 2519.92
# total CPU user time (s): 2519.5
# total CPU system time (s): 0.415005
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.15517 second user time and 21.6883 second system time
The end
Begin job on node137 at 2018-08-11 23:39:36 IDJOB=4303606 IDBENCH=141490 IDSOLVER=2779 FILE ID=node137/4303606-1534023576 RUNJOBID= node137-1533990775-15521 PBS_JOBID= 21036941 Free space on /tmp= 26380 MiB SOLVER NAME= Mistral-2.0 2018-08-01 BENCH NAME= XCSP18/PeacableArmies/PeacableArmies-m2-30_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-4303606-1534023576/watcher-4303606-1534023576 -o /tmp/evaluation-result-4303606-1534023576/solver-4303606-1534023576 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1533990775-15521 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 764506330 HOME/instance-4303606-1534023576.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f7f9b20d19eb9843ceb4981536ba88b3 RANDOM SEED=764506330 node137.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.54 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.56 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.54 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.56 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.54 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.56 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.54 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 6803412 kB MemAvailable: 31886560 kB Buffers: 221040 kB Cached: 24824068 kB SwapCached: 24 kB Active: 12394548 kB Inactive: 12723884 kB Active(anon): 18864 kB Inactive(anon): 106804 kB Active(file): 12375684 kB Inactive(file): 12617080 kB Unevictable: 7432 kB Mlocked: 7432 kB SwapTotal: 67108860 kB SwapFree: 67108380 kB Dirty: 7712 kB Writeback: 0 kB AnonPages: 86880 kB Mapped: 56148 kB Shmem: 49628 kB Slab: 546708 kB SReclaimable: 518844 kB SUnreclaim: 27864 kB KernelStack: 3568 kB PageTables: 5620 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 392784 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 28672 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 26380 MiB End job on node137 at 2018-08-12 00:21:36