Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Mistral-2.0 2018-06-15 | SAT (TO) | 70 | 2400.02 | 2399.9 |
| 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 16062018 20.69/20.77 o 0 20.69/20.79 o 1 20.79/20.81 o 2 20.79/20.83 o 3 20.79/20.85 o 4 20.79/20.89 o 5 22.19/22.29 o 6 22.29/22.32 o 7 22.29/22.36 o 8 23.49/23.51 o 9 23.59/23.68 o 10 23.79/23.82 o 11 23.89/23.95 o 12 24.00/24.07 o 13 24.10/24.19 o 14 24.19/24.29 o 15 24.29/24.39 o 16 24.39/24.49 o 17 24.49/24.58 o 18 24.59/24.68 o 19 24.69/24.77 o 20 24.79/24.86 o 21 24.89/24.94 o 22 25.00/25.03 o 23 25.10/25.11 o 24 25.19/25.20 o 25 25.19/25.28 o 26 25.29/25.36 o 27 25.39/25.45 o 28 25.49/25.55 o 29 25.59/25.64 o 30 25.69/25.74 o 31 25.79/25.83 o 32 25.89/25.92 o 33 26.00/26.01 o 34 26.19/26.21 o 35 33.49/33.57 o 36 33.59/33.62 o 37 33.59/33.68 o 38 33.69/33.74 o 39 33.69/33.79 o 40 33.79/33.85 o 41 33.89/33.91 o 42 33.89/33.96 o 43 34.00/34.03 o 44 34.00/34.08 o 45 34.10/34.14 o 46 34.10/34.19 o 47 34.19/34.25 o 48 34.29/34.30 o 49 34.29/34.36 o 50 34.39/34.41 o 51 34.39/34.47 o 52 34.49/34.52 o 53 34.49/34.58 o 54 34.59/34.63 o 55 34.59/34.69 o 56 34.79/34.84 o 57 44.99/45.07 o 58 45.09/45.11 o 59 45.09/45.15 o 60 45.18/45.20 o 61 45.18/45.24 o 62 45.18/45.28 o 63 45.28/45.32 o 64 45.28/45.36 o 65 45.58/45.68 o 66 50.28/50.33 o 67 130.26/130.34 o 68 132.67/132.77 o 69 135.17/135.22 o 70 2400.01/2399.90 s SATISFIABLE 2400.01/2399.90 v <instantiation type="solution"> 2400.01/2399.90 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> 2400.01/2399.90 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> 2400.01/2399.90 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 (4147 MiB free)
memory of node 1: 16384 MiB (11673 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289593-1532201183/watcher-4289593-1532201183 -o /tmp/evaluation-result-4289593-1532201183/solver-4289593-1532201183 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532190502-22477 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 54891034 HOME/instance-4289593-1532201183.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23755, runsolver pid=23752
[startup+0.1002 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 23756
/proc/meminfo: memFree=16198448/32770624 swapFree=67108860/67108860
[pid=23755] ppid=23752 vsize=30960 memory=5448 CPUtime=0.1 cores=0,2,4,6
/proc/23755/stat : 23755 (MistralXCSP) R 23752 23755 22446 0 -1 4202496 1527 0 0 0 10 0 0 0 20 0 1 0 37681432 31703040 1362 33554432000 4194304 7498468 140732456916496 140732456913496 139840046549989 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 21434368 140732456924271 140732456924419 140732456924419 140732456927177 0
/proc/23755/statm: 7740 1362 666 807 0 731 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30960 KiB
Current children cumulated memory: 5448 KiB
[startup+0.209844 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 23756
/proc/meminfo: memFree=16196836/32770624 swapFree=67108860/67108860
[pid=23755] ppid=23752 vsize=32208 memory=6516 CPUtime=0.21 cores=0,2,4,6
/proc/23755/stat : 23755 (MistralXCSP) R 23752 23755 22446 0 -1 4202496 1865 0 0 0 21 0 0 0 20 0 1 0 37681432 32980992 1629 33554432000 4194304 7498468 140732456916496 140732456913496 139840046988288 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 21434368 140732456924271 140732456924419 140732456924419 140732456927177 0
/proc/23755/statm: 8052 1629 666 807 0 1043 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32208 KiB
Current children cumulated memory: 6516 KiB
[startup+0.308957 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 23756
/proc/meminfo: memFree=16195720/32770624 swapFree=67108860/67108860
[pid=23755] ppid=23752 vsize=33512 memory=7468 CPUtime=0.31 cores=0,2,4,6
/proc/23755/stat : 23755 (MistralXCSP) R 23752 23755 22446 0 -1 4202496 2258 0 0 0 31 0 0 0 20 0 1 0 37681432 34316288 1867 33554432000 4194304 7498468 140732456916496 140732456913496 6012830 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 21434368 140732456924271 140732456924419 140732456924419 140732456927177 0
/proc/23755/statm: 8378 1867 666 807 0 1369 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 33512 KiB
Current children cumulated memory: 7468 KiB
[startup+0.70034 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23756
/proc/meminfo: memFree=16193112/32770624 swapFree=67108860/67108860
[pid=23755] ppid=23752 vsize=38892 memory=12668 CPUtime=0.69 cores=0,2,4,6
/proc/23755/stat : 23755 (MistralXCSP) R 23752 23755 22446 0 -1 4202496 3821 0 0 0 69 0 0 0 20 0 1 0 37681432 39825408 3167 33554432000 4194304 7498468 140732456916496 140732456909736 139840046549989 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 21434368 140732456924271 140732456924419 140732456924419 140732456927177 0
/proc/23755/statm: 9723 3167 695 807 0 2714 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 38892 KiB
Current children cumulated memory: 12668 KiB
[startup+1.50036 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23756
/proc/meminfo: memFree=16181568/32770624 swapFree=67108860/67108860
[pid=23755] ppid=23752 vsize=63604 memory=37360 CPUtime=1.49 cores=0,2,4,6
/proc/23755/stat : 23755 (MistralXCSP) R 23752 23755 22446 0 -1 4202496 10012 0 0 0 148 1 0 0 20 0 1 0 37681432 65130496 9340 33554432000 4194304 7498468 140732456916496 140732456909736 4564424 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 21434368 140732456924271 140732456924419 140732456924419 140732456927177 0
/proc/23755/statm: 15901 9340 695 807 0 8892 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 63604 KiB
Current children cumulated memory: 37360 KiB
[startup+3.10949 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23756
/proc/meminfo: memFree=16123908/32770624 swapFree=67108860/67108860
[pid=23755] ppid=23752 vsize=108828 memory=82676 CPUtime=3.1 cores=0,2,4,6
/proc/23755/stat : 23755 (MistralXCSP) R 23752 23755 22446 0 -1 4202496 27218 0 0 0 307 3 0 0 20 0 1 0 37681432 111439872 20669 33554432000 4194304 7498468 140732456916496 140732456907416 4564424 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 21434368 140732456924271 140732456924419 140732456924419 140732456927177 0
/proc/23755/statm: 27207 20669 695 807 0 20198 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 108828 KiB
Current children cumulated memory: 82676 KiB
[startup+6.30033 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23756
/proc/meminfo: memFree=16050708/32770624 swapFree=67108860/67108860
[pid=23755] ppid=23752 vsize=185404 memory=159240 CPUtime=6.29 cores=0,2,4,6
/proc/23755/stat : 23755 (MistralXCSP) R 23752 23755 22446 0 -1 4202496 48143 0 0 0 624 5 0 0 20 0 1 0 37681432 189853696 39810 33554432000 4194304 7498468 140732456916496 140732456907416 4564424 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 21434368 140732456924271 140732456924419 140732456924419 140732456927177 0
/proc/23755/statm: 46351 39810 695 807 0 39342 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 185404 KiB
Current children cumulated memory: 159240 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23756
/proc/meminfo: memFree=15929928/32770624 swapFree=67108860/67108860
[pid=23755] ppid=23752 vsize=312672 memory=286520 CPUtime=12.69 cores=0,2,4,6
/proc/23755/stat : 23755 (MistralXCSP) R 23752 23755 22446 0 -1 4202496 103040 0 0 0 1258 11 0 0 20 0 1 0 37681432 320176128 71630 33554432000 4194304 7498468 140732456916496 140732456907416 4564583 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 21434368 140732456924271 140732456924419 140732456924419 140732456927177 0
/proc/23755/statm: 78168 71630 695 807 0 71159 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 312672 KiB
Current children cumulated memory: 286520 KiB
[startup+25.5005 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23756
/proc/meminfo: memFree=15753688/32770624 swapFree=67108860/67108860
[pid=23755] ppid=23752 vsize=473684 memory=448192 CPUtime=25.49 cores=0,2,4,6
/proc/23755/stat : 23755 (MistralXCSP) R 23752 23755 22446 0 -1 4202496 227137 0 0 0 2527 22 0 0 20 0 1 0 37681432 485052416 112048 33554432000 4194304 7498468 140732456916496 140732456911512 5585414 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 21434368 140732456924271 140732456924419 140732456924419 140732456927177 0
/proc/23755/statm: 118421 112048 780 807 0 111412 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448192 KiB
[startup+51.1098 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23756
/proc/meminfo: memFree=15753968/32770624 swapFree=67108860/67108860
[pid=23755] ppid=23752 vsize=473684 memory=448372 CPUtime=51.09 cores=0,2,4,6
/proc/23755/stat : 23755 (MistralXCSP) R 23752 23755 22446 0 -1 4202496 298640 0 0 0 5084 25 0 0 20 0 1 0 37681432 485052416 112093 33554432000 4194304 7498468 140732456916496 140732456911512 4404919 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 21434368 140732456924271 140732456924419 140732456924419 140732456927177 0
/proc/23755/statm: 118421 112093 780 807 0 111412 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448372 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23758
/proc/meminfo: memFree=15754120/32770624 swapFree=67108860/67108860
[pid=23755] ppid=23752 vsize=473684 memory=448372 CPUtime=102.28 cores=0,2,4,6
/proc/23755/stat : 23755 (MistralXCSP) R 23752 23755 22446 0 -1 4202496 365068 0 0 0 10199 29 0 0 20 0 1 0 37681432 485052416 112093 33554432000 4194304 7498468 140732456916496 140732456911512 5585459 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 21434368 140732456924271 140732456924419 140732456924419 140732456927177 0
/proc/23755/statm: 118421 112093 780 807 0 111412 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448372 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23759
/proc/meminfo: memFree=15754568/32770624 swapFree=67108860/67108860
[pid=23755] ppid=23752 vsize=473684 memory=448372 CPUtime=162.26 cores=0,2,4,6
/proc/23755/stat : 23755 (MistralXCSP) R 23752 23755 22446 0 -1 4202496 405519 0 0 0 16195 31 0 0 20 0 1 0 37681432 485052416 112093 33554432000 4194304 7498468 140732456916496 140732456911512 5621511 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 21434368 140732456924271 140732456924419 140732456924419 140732456927177 0
/proc/23755/statm: 118421 112093 780 807 0 111412 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448372 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23768
/proc/meminfo: memFree=15753696/32770624 swapFree=67108860/67108860
[pid=23755] ppid=23752 vsize=473684 memory=448612 CPUtime=222.25 cores=0,2,4,6
/proc/23755/stat : 23755 (MistralXCSP) R 23752 23755 22446 0 -1 4202496 427201 0 0 0 22193 32 0 0 20 0 1 0 37681432 485052416 112153 33554432000 4194304 7498468 140732456916496 140732456911512 5587442 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 21434368 140732456924271 140732456924419 140732456924419 140732456927177 0
/proc/23755/statm: 118421 112153 780 807 0 111412 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448612 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23769
/proc/meminfo: memFree=15754084/32770624 swapFree=67108860/67108860
[pid=23755] ppid=23752 vsize=473684 memory=448612 CPUtime=282.24 cores=0,2,4,6
/proc/23755/stat : 23755 (MistralXCSP) R 23752 23755 22446 0 -1 4202496 434011 0 0 0 28191 33 0 0 20 0 1 0 37681432 485052416 112153 33554432000 4194304 7498468 140732456916496 140732456911512 4580282 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 21434368 140732456924271 140732456924419 140732456924419 140732456927177 0
/proc/23755/statm: 118421 112153 780 807 0 111412 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448612 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23770
/proc/meminfo: memFree=15754444/32770624 swapFree=67108860/67108860
[pid=23755] ppid=23752 vsize=473684 memory=448612 CPUtime=342.25 cores=0,2,4,6
/proc/23755/stat : 23755 (MistralXCSP) R 23752 23755 22446 0 -1 4202496 435091 0 0 0 34192 33 0 0 20 0 1 0 37681432 485052416 112153 33554432000 4194304 7498468 140732456916496 140732456911512 4404868 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 21434368 140732456924271 140732456924419 140732456924419 140732456927177 0
/proc/23755/statm: 118421 112153 780 807 0 111412 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448612 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23771
/proc/meminfo: memFree=15754576/32770624 swapFree=67108860/67108860
[pid=23755] ppid=23752 vsize=473684 memory=448612 CPUtime=402.25 cores=0,2,4,6
/proc/23755/stat : 23755 (MistralXCSP) R 23752 23755 22446 0 -1 4202496 435443 0 0 0 40192 33 0 0 20 0 1 0 37681432 485052416 112153 33554432000 4194304 7498468 140732456916496 140732456911512 4580242 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 21434368 140732456924271 140732456924419 140732456924419 140732456927177 0
/proc/23755/statm: 118421 112153 780 807 0 111412 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448612 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23772
/proc/meminfo: memFree=15754432/32770624 swapFree=67108860/67108860
[pid=23755] ppid=23752 vsize=473684 memory=448612 CPUtime=462.25 cores=0,2,4,6
/proc/23755/stat : 23755 (MistralXCSP) R 23752 23755 22446 0 -1 4202496 436737 0 0 0 46192 33 0 0 20 0 1 0 37681432 485052416 112153 33554432000 4194304 7498468 140732456916496 140732456911512 4397952 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 21434368 140732456924271 140732456924419 140732456924419 140732456927177 0
/proc/23755/statm: 118421 112153 780 807 0 111412 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448612 KiB
################
# More data... #
################
/proc/23755/statm: 118421 112153 780 807 0 111412 0
Current children cumulated CPU time: 1662.35 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448612 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 23872
/proc/meminfo: memFree=15795120/32770624 swapFree=67108860/67108860
[pid=23755] ppid=23752 vsize=473684 memory=448612 CPUtime=1722.36 cores=0,2,4,6
/proc/23755/stat : 23755 (MistralXCSP) R 23752 23755 22446 0 -1 4202496 453521 0 0 0 172201 35 0 0 20 0 1 0 37681432 485052416 112153 33554432000 4194304 7498468 140732456916496 140732456911512 5585442 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 21434368 140732456924271 140732456924419 140732456924419 140732456927177 0
/proc/23755/statm: 118421 112153 780 807 0 111412 0
Current children cumulated CPU time: 1722.36 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448612 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 23873
/proc/meminfo: memFree=15794868/32770624 swapFree=67108860/67108860
[pid=23755] ppid=23752 vsize=473684 memory=448612 CPUtime=1782.36 cores=0,2,4,6
/proc/23755/stat : 23755 (MistralXCSP) R 23752 23755 22446 0 -1 4202496 454518 0 0 0 178201 35 0 0 20 0 1 0 37681432 485052416 112153 33554432000 4194304 7498468 140732456916496 140732456911512 5585459 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 21434368 140732456924271 140732456924419 140732456924419 140732456927177 0
/proc/23755/statm: 118421 112153 780 807 0 111412 0
Current children cumulated CPU time: 1782.36 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448612 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 23874
/proc/meminfo: memFree=15795000/32770624 swapFree=67108860/67108860
[pid=23755] ppid=23752 vsize=473684 memory=448612 CPUtime=1842.36 cores=0,2,4,6
/proc/23755/stat : 23755 (MistralXCSP) R 23752 23755 22446 0 -1 4202496 455814 0 0 0 184201 35 0 0 20 0 1 0 37681432 485052416 112153 33554432000 4194304 7498468 140732456916496 140732456911512 5585459 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 21434368 140732456924271 140732456924419 140732456924419 140732456927177 0
/proc/23755/statm: 118421 112153 780 807 0 111412 0
Current children cumulated CPU time: 1842.36 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448612 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 23876
/proc/meminfo: memFree=15795224/32770624 swapFree=67108860/67108860
[pid=23755] ppid=23752 vsize=473684 memory=448612 CPUtime=1902.37 cores=0,2,4,6
/proc/23755/stat : 23755 (MistralXCSP) R 23752 23755 22446 0 -1 4202496 456139 0 0 0 190202 35 0 0 20 0 1 0 37681432 485052416 112153 33554432000 4194304 7498468 140732456916496 140732456911512 4580282 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 21434368 140732456924271 140732456924419 140732456924419 140732456927177 0
/proc/23755/statm: 118421 112153 780 807 0 111412 0
Current children cumulated CPU time: 1902.37 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448612 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 23877
/proc/meminfo: memFree=15794980/32770624 swapFree=67108860/67108860
[pid=23755] ppid=23752 vsize=473684 memory=448612 CPUtime=1962.37 cores=0,2,4,6
/proc/23755/stat : 23755 (MistralXCSP) R 23752 23755 22446 0 -1 4202496 457081 0 0 0 196202 35 0 0 20 0 1 0 37681432 485052416 112153 33554432000 4194304 7498468 140732456916496 140732456911512 4258039 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 21434368 140732456924271 140732456924419 140732456924419 140732456927177 0
/proc/23755/statm: 118421 112153 780 807 0 111412 0
Current children cumulated CPU time: 1962.37 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448612 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 23886
/proc/meminfo: memFree=15794344/32770624 swapFree=67108860/67108860
[pid=23755] ppid=23752 vsize=473684 memory=448612 CPUtime=2022.38 cores=0,2,4,6
/proc/23755/stat : 23755 (MistralXCSP) R 23752 23755 22446 0 -1 4202496 457443 0 0 0 202203 35 0 0 20 0 1 0 37681432 485052416 112153 33554432000 4194304 7498468 140732456916496 140732456911512 5164386 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 21434368 140732456924271 140732456924419 140732456924419 140732456927177 0
/proc/23755/statm: 118421 112153 780 807 0 111412 0
Current children cumulated CPU time: 2022.38 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448612 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/189 23910
/proc/meminfo: memFree=15793664/32770624 swapFree=67108860/67108860
[pid=23755] ppid=23752 vsize=473684 memory=448612 CPUtime=2082.38 cores=0,2,4,6
/proc/23755/stat : 23755 (MistralXCSP) R 23752 23755 22446 0 -1 4202496 458706 0 0 0 208203 35 0 0 20 0 1 0 37681432 485052416 112153 33554432000 4194304 7498468 140732456916496 140732456911512 4404944 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 21434368 140732456924271 140732456924419 140732456924419 140732456927177 0
/proc/23755/statm: 118421 112153 780 807 0 111412 0
Current children cumulated CPU time: 2082.38 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448612 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/189 23911
/proc/meminfo: memFree=15793936/32770624 swapFree=67108860/67108860
[pid=23755] ppid=23752 vsize=473684 memory=448612 CPUtime=2142.39 cores=0,2,4,6
/proc/23755/stat : 23755 (MistralXCSP) R 23752 23755 22446 0 -1 4202496 459687 0 0 0 214204 35 0 0 20 0 1 0 37681432 485052416 112153 33554432000 4194304 7498468 140732456916496 140732456911512 4580282 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 21434368 140732456924271 140732456924419 140732456924419 140732456927177 0
/proc/23755/statm: 118421 112153 780 807 0 111412 0
Current children cumulated CPU time: 2142.39 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448612 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/189 23912
/proc/meminfo: memFree=15794564/32770624 swapFree=67108860/67108860
[pid=23755] ppid=23752 vsize=473684 memory=448612 CPUtime=2202.39 cores=0,2,4,6
/proc/23755/stat : 23755 (MistralXCSP) R 23752 23755 22446 0 -1 4202496 460016 0 0 0 220204 35 0 0 20 0 1 0 37681432 485052416 112153 33554432000 4194304 7498468 140732456916496 140732456911512 4580120 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 21434368 140732456924271 140732456924419 140732456924419 140732456927177 0
/proc/23755/statm: 118421 112153 780 807 0 111412 0
Current children cumulated CPU time: 2202.39 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448612 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/189 23913
/proc/meminfo: memFree=15794920/32770624 swapFree=67108860/67108860
[pid=23755] ppid=23752 vsize=473684 memory=448612 CPUtime=2262.4 cores=0,2,4,6
/proc/23755/stat : 23755 (MistralXCSP) R 23752 23755 22446 0 -1 4202496 460946 0 0 0 226205 35 0 0 20 0 1 0 37681432 485052416 112153 33554432000 4194304 7498468 140732456916496 140732456911512 4245332 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 21434368 140732456924271 140732456924419 140732456924419 140732456927177 0
/proc/23755/statm: 118421 112153 780 807 0 111412 0
Current children cumulated CPU time: 2262.4 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448612 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 24036
/proc/meminfo: memFree=15745316/32770624 swapFree=67108860/67108860
[pid=23755] ppid=23752 vsize=473684 memory=448612 CPUtime=2322.4 cores=0,2,4,6
/proc/23755/stat : 23755 (MistralXCSP) R 23752 23755 22446 0 -1 4202496 462184 0 0 0 232205 35 0 0 20 0 1 0 37681432 485052416 112153 33554432000 4194304 7498468 140732456916496 140732456911512 4545837 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 21434368 140732456924271 140732456924419 140732456924419 140732456927177 0
/proc/23755/statm: 118421 112153 780 807 0 111412 0
Current children cumulated CPU time: 2322.4 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448612 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 24037
/proc/meminfo: memFree=15745476/32770624 swapFree=67108860/67108860
[pid=23755] ppid=23752 vsize=473684 memory=448612 CPUtime=2382.4 cores=0,2,4,6
/proc/23755/stat : 23755 (MistralXCSP) R 23752 23755 22446 0 -1 4202496 462507 0 0 0 238205 35 0 0 20 0 1 0 37681432 485052416 112153 33554432000 4194304 7498468 140732456916496 140732456911512 5585459 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 21434368 140732456924271 140732456924419 140732456924419 140732456927177 0
/proc/23755/statm: 118421 112153 780 807 0 111412 0
Current children cumulated CPU time: 2382.4 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448612 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.9 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 24037
/proc/meminfo: memFree=15745600/32770624 swapFree=67108860/67108860
[pid=23755] ppid=23752 vsize=473684 memory=448612 CPUtime=2400.01 cores=0,2,4,6
/proc/23755/stat : 23755 (MistralXCSP) R 23752 23755 22446 0 -1 4202496 462525 0 0 0 239966 35 0 0 20 0 1 0 37681432 485052416 112153 33554432000 4194304 7498468 140732456916496 140732456911512 5585414 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 21434368 140732456924271 140732456924419 140732456924419 140732456927177 0
/proc/23755/statm: 118421 112153 780 807 0 111412 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448612 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2399.9 s]
# the end of solver process 23755 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.66 s, system=0.360028 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2399.9 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 24037
/proc/meminfo: memFree=15745600/32770624 swapFree=67108860/67108860
[pid=23755] ppid=23752 vsize=473684 memory=448612 CPUtime=2400.01 cores=0,2,4,6
/proc/23755/stat : 23755 (MistralXCSP) R 23752 23755 22446 0 -1 4202496 462525 0 0 0 239966 35 0 0 20 0 1 0 37681432 485052416 112153 33554432000 4194304 7498468 140732456916496 140732456911512 5585414 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 21434368 140732456924271 140732456924419 140732456924419 140732456927177 0
/proc/23755/statm: 118421 112153 780 807 0 111412 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448612 KiB
Child status: 0
Real time (s): 2399.9
CPU time (s): 2400.02
CPU user time (s): 2399.66
CPU system time (s): 0.360028
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 473684
Max. memory (cumulated for all children) (KiB): 448612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.66
system time used= 0.360028
maximum resident set size= 448632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 462608
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= 140
involuntary context switches= 648
# summary of solver processes directly reported to runsolver:
# pid: 23755
# total CPU time (s): 2400.02
# total CPU user time (s): 2399.66
# total CPU system time (s): 0.360028
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.2017 second user time and 18.4717 second system time
The end
Begin job on node105 at 2018-07-21 21:26:23 IDJOB=4289593 IDBENCH=141490 IDSOLVER=2741 FILE ID=node105/4289593-1532201183 RUNJOBID= node105-1532190502-22477 PBS_JOBID= 21018938 Free space on /tmp= 44912 MiB SOLVER NAME= Mistral-2.0 2018-06-15 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-4289593-1532201183/watcher-4289593-1532201183 -o /tmp/evaluation-result-4289593-1532201183/solver-4289593-1532201183 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532190502-22477 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 54891034 HOME/instance-4289593-1532201183.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f7f9b20d19eb9843ceb4981536ba88b3 RANDOM SEED=54891034 node105.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.32 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.32 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.32 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.32 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 16201016 kB MemAvailable: 31898228 kB Buffers: 116096 kB Cached: 15555748 kB SwapCached: 0 kB Active: 1233348 kB Inactive: 14532660 kB Active(anon): 44784 kB Inactive(anon): 69100 kB Active(file): 1188564 kB Inactive(file): 14463560 kB Unevictable: 7280 kB Mlocked: 7280 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 0 kB Writeback: 7864 kB AnonPages: 113536 kB Mapped: 36276 kB Shmem: 17036 kB Slab: 500228 kB SReclaimable: 473548 kB SUnreclaim: 26680 kB KernelStack: 3568 kB PageTables: 5220 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 386120 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: 130432 kB DirectMap2M: 33415168 kB Free space on /tmp at the end= 44904 MiB End job on node105 at 2018-07-21 22:06:23