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) | 150 | 2400.02 | 2400.01 |
| Name | StillLife/ StillLife-wastage-17_c18.xml |
| MD5SUM | 6bdaa478fa612f14e4ae80d6384d4ab1 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 152 |
| Best CPU time to get the best result obtained on this benchmark | 148.537 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 742 |
| Number of constraints | 467 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 723 |
| Distribution of domain sizes | [{"size":2,"count":361},{"size":3,"count":361},{"size":290,"count":1},{"size":723,"count":19}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 20 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":358},{"degree":3,"count":22},{"degree":4,"count":68},{"degree":8,"count":64},{"degree":9,"count":225},{"degree":20,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 21 |
| Distribution of constraint arities | [{"arity":2,"count":87},{"arity":3,"count":68},{"arity":10,"count":289},{"arity":19,"count":4},{"arity":20,"count":1},{"arity":21,"count":18}] |
| Number of extensional constraints | 357 |
| Number of intensional constraints | 86 |
| Distribution of constraint types | [{"type":"extension","count":357},{"type":"intension","count":86},{"type":"sum","count":20},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
0.00/0.01 c Mistral 16062018 0.09/0.18 o 4 0.09/0.18 o 6 0.09/0.18 o 7 0.09/0.18 o 8 0.09/0.19 o 9 0.09/0.19 o 10 0.09/0.19 o 11 0.09/0.19 o 12 0.09/0.20 o 13 0.09/0.20 o 14 0.09/0.21 o 15 0.09/0.21 o 16 0.19/0.25 o 20 0.19/0.25 o 21 0.19/0.25 o 22 0.19/0.25 o 23 0.19/0.26 o 24 0.19/0.26 o 25 0.19/0.26 o 26 0.19/0.28 o 27 0.19/0.28 o 28 0.19/0.28 o 29 0.19/0.28 o 30 0.29/0.32 o 33 0.29/0.32 o 34 0.29/0.32 o 38 0.29/0.32 o 39 0.29/0.32 o 40 0.29/0.33 o 41 0.29/0.34 o 42 0.29/0.34 o 43 0.29/0.35 o 44 0.29/0.36 o 45 0.29/0.39 o 47 0.29/0.39 o 48 0.29/0.39 o 49 0.29/0.39 o 50 0.29/0.39 o 51 0.29/0.39 o 52 0.29/0.39 o 53 0.39/0.45 o 54 0.39/0.46 o 55 0.39/0.48 o 62 0.39/0.48 o 63 0.39/0.48 o 64 0.39/0.48 o 65 0.39/0.50 o 66 0.58/0.65 o 67 0.58/0.65 o 68 0.58/0.65 o 69 0.58/0.65 o 70 0.58/0.67 o 71 0.58/0.67 o 72 0.77/0.85 o 74 0.77/0.85 o 75 0.77/0.85 o 76 0.77/0.86 o 77 0.77/0.86 o 78 0.87/0.91 o 79 0.87/0.94 o 80 1.17/1.29 o 81 1.27/1.38 o 82 1.27/1.39 o 83 1.27/1.39 o 84 1.27/1.39 o 85 1.47/1.53 o 86 1.47/1.53 o 87 1.47/1.53 o 88 1.87/1.93 o 89 2.57/2.67 o 90 2.67/2.70 o 91 7.67/7.79 o 92 14.18/14.29 o 93 17.09/17.11 o 94 17.09/17.15 o 95 23.78/23.88 o 96 25.67/25.71 o 97 32.27/32.38 o 98 32.67/32.75 o 99 32.67/32.76 o 100 32.77/32.86 o 101 38.67/38.79 o 102 38.77/38.82 o 103 42.47/42.55 o 104 49.78/49.89 o 105 52.98/53.05 o 106 58.08/58.19 o 114 79.26/79.38 o 115 80.66/80.73 o 116 80.66/80.75 o 117 80.76/80.83 o 119 80.76/80.83 o 120 80.86/80.90 o 121 80.86/80.90 o 122 83.45/83.57 o 123 84.06/84.14 o 124 105.35/105.49 o 128 105.45/105.60 o 129 105.55/105.61 o 133 105.55/105.61 o 134 105.55/105.61 o 135 105.55/105.63 o 136 105.65/105.70 o 137 144.45/144.53 o 138 152.35/152.44 o 139 154.85/154.90 o 141 154.85/154.91 o 142 201.45/201.55 o 143 201.55/201.64 o 144 235.75/235.85 o 145 371.16/371.23 o 146 819.07/819.16 o 147 1451.48/1451.57 o 148 1452.18/1452.25 o 149 1586.59/1586.62 o 150 2400.01/2400.00 s SATISFIABLE 2400.01/2400.00 v <instantiation type="solution"> 2400.01/2400.00 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] z </list> 2400.01/2400.01 v <values> 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 1 1 1 1 1 1 1 0 1 0 1 1 0 0 1 1 0 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 1 1 0 1 1 1 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 0 1 0 1 0 1 1 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 1 0 1 1 1 0 1 0 0 0 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 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 1 0 0 1 0 1 0 0 1 0 0 1 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 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 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 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 0 0 0 0 1 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 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 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 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 0 6 8 8 12 13 14 16 16 19 20 20 22 22 25 28 32 34 39 46 150 </values> 2400.01/2400.01 v </instantiation>
OK 150
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 (8837 MiB free)
memory of node 1: 16384 MiB (12767 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289274-1532190502/watcher-4289274-1532190502 -o /tmp/evaluation-result-4289274-1532190502/solver-4289274-1532190502 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532190501-23424 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1377696294 HOME/instance-4289274-1532190502.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=23451, runsolver pid=23447
Current StackSize limit: 8192 KiB
[startup+0.100124 s]*
/proc/loadavg: 0.00 0.01 0.05 3/189 23456
/proc/meminfo: memFree=22019476/32770624 swapFree=67108860/67108860
[pid=23451] ppid=23447 vsize=90596 memory=64968 CPUtime=0.09 cores=1,3,5,7
/proc/23451/stat : 23451 (MistralXCSP) R 23447 23451 23392 0 -1 4202496 16452 0 3 0 7 2 0 0 20 0 1 0 36613395 92770304 16242 33554432000 4194304 7498468 140722591003680 140722590998032 140493798820837 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25403392 140722591011949 140722591012099 140722591012099 140722591014857 0
/proc/23451/statm: 22649 16242 696 807 0 15640 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 90596 KiB
Current children cumulated memory: 64968 KiB
[startup+0.210681 s]*
/proc/loadavg: 0.00 0.01 0.05 5/189 23456
/proc/meminfo: memFree=21915608/32770624 swapFree=67108860/67108860
[pid=23451] ppid=23447 vsize=99192 memory=74056 CPUtime=0.19 cores=1,3,5,7
/proc/23451/stat : 23451 (MistralXCSP) R 23447 23451 23392 0 -1 4202496 18743 0 3 0 17 2 0 0 20 0 1 0 36613395 101572608 18514 33554432000 4194304 7498468 140722591003680 140722590998032 5573851 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25403392 140722591011949 140722591012099 140722591012099 140722591014857 0
/proc/23451/statm: 24798 18514 786 807 0 17789 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 99192 KiB
Current children cumulated memory: 74056 KiB
[startup+0.30966 s]*
/proc/loadavg: 0.00 0.01 0.05 3/189 23456
/proc/meminfo: memFree=21896140/32770624 swapFree=67108860/67108860
[pid=23451] ppid=23447 vsize=99324 memory=74320 CPUtime=0.29 cores=1,3,5,7
/proc/23451/stat : 23451 (MistralXCSP) R 23447 23451 23392 0 -1 4202496 18781 0 3 0 27 2 0 0 20 0 1 0 36613395 101707776 18580 33554432000 4194304 7498468 140722591003680 140722590998032 140493798820837 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25403392 140722591011949 140722591012099 140722591012099 140722591014857 0
/proc/23451/statm: 24831 18580 791 807 0 17822 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 99324 KiB
Current children cumulated memory: 74320 KiB
[startup+0.70035 s]
/proc/loadavg: 0.00 0.01 0.05 3/189 23456
/proc/meminfo: memFree=21893908/32770624 swapFree=67108860/67108860
[pid=23451] ppid=23447 vsize=99460 memory=74320 CPUtime=0.67 cores=1,3,5,7
/proc/23451/stat : 23451 (MistralXCSP) R 23447 23451 23392 0 -1 4202496 18828 0 3 0 65 2 0 0 20 0 1 0 36613395 101847040 18580 33554432000 4194304 7498468 140722591003680 140722590998032 4253120 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25403392 140722591011949 140722591012099 140722591012099 140722591014857 0
/proc/23451/statm: 24865 18580 791 807 0 17856 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 99460 KiB
Current children cumulated memory: 74320 KiB
[startup+1.50029 s]
/proc/loadavg: 0.00 0.01 0.05 3/189 23456
/proc/meminfo: memFree=21892668/32770624 swapFree=67108860/67108860
[pid=23451] ppid=23447 vsize=99592 memory=74584 CPUtime=1.47 cores=1,3,5,7
/proc/23451/stat : 23451 (MistralXCSP) R 23447 23451 23392 0 -1 4202496 18848 0 3 0 145 2 0 0 20 0 1 0 36613395 101982208 18646 33554432000 4194304 7498468 140722591003680 140722590998696 4253177 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25403392 140722591011949 140722591012099 140722591012099 140722591014857 0
/proc/23451/statm: 24898 18646 794 807 0 17889 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 99592 KiB
Current children cumulated memory: 74584 KiB
[startup+3.10951 s]
/proc/loadavg: 0.00 0.01 0.05 3/189 23456
/proc/meminfo: memFree=21891928/32770624 swapFree=67108860/67108860
[pid=23451] ppid=23447 vsize=99592 memory=74680 CPUtime=3.09 cores=1,3,5,7
/proc/23451/stat : 23451 (MistralXCSP) R 23447 23451 23392 0 -1 4202496 28400 0 3 0 306 3 0 0 20 0 1 0 36613395 101982208 18670 33554432000 4194304 7498468 140722591003680 140722590998696 5838576 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25403392 140722591011949 140722591012099 140722591012099 140722591014857 0
/proc/23451/statm: 24898 18670 795 807 0 17889 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 99592 KiB
Current children cumulated memory: 74680 KiB
[startup+6.30023 s]
/proc/loadavg: 0.16 0.05 0.06 3/189 23456
/proc/meminfo: memFree=21891912/32770624 swapFree=67108860/67108860
[pid=23451] ppid=23447 vsize=99724 memory=74724 CPUtime=6.27 cores=1,3,5,7
/proc/23451/stat : 23451 (MistralXCSP) R 23447 23451 23392 0 -1 4202496 38969 0 3 0 624 3 0 0 20 0 1 0 36613395 102117376 18681 33554432000 4194304 7498468 140722591003680 140722590998216 4580246 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25403392 140722591011949 140722591012099 140722591012099 140722591014857 0
/proc/23451/statm: 24931 18681 795 807 0 17922 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 99724 KiB
Current children cumulated memory: 74724 KiB
[startup+12.7002 s]
/proc/loadavg: 0.31 0.08 0.07 3/189 23456
/proc/meminfo: memFree=21891728/32770624 swapFree=67108860/67108860
[pid=23451] ppid=23447 vsize=99724 memory=74748 CPUtime=12.68 cores=1,3,5,7
/proc/23451/stat : 23451 (MistralXCSP) R 23447 23451 23392 0 -1 4202496 49081 0 3 0 1264 4 0 0 20 0 1 0 36613395 102117376 18687 33554432000 4194304 7498468 140722591003680 140722590998696 4252576 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25403392 140722591011949 140722591012099 140722591012099 140722591014857 0
/proc/23451/statm: 24931 18687 795 807 0 17922 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 99724 KiB
Current children cumulated memory: 74748 KiB
[startup+25.5003 s]
/proc/loadavg: 0.68 0.17 0.10 3/189 23456
/proc/meminfo: memFree=21892308/32770624 swapFree=67108860/67108860
[pid=23451] ppid=23447 vsize=99724 memory=74808 CPUtime=25.47 cores=1,3,5,7
/proc/23451/stat : 23451 (MistralXCSP) R 23447 23451 23392 0 -1 4202496 68646 0 3 0 2543 4 0 0 20 0 1 0 36613395 102117376 18702 33554432000 4194304 7498468 140722591003680 140722590998696 5791406 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25403392 140722591011949 140722591012099 140722591012099 140722591014857 0
/proc/23451/statm: 24931 18702 795 807 0 17922 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 99724 KiB
Current children cumulated memory: 74808 KiB
[startup+51.1097 s]
/proc/loadavg: 1.13 0.32 0.15 3/189 23456
/proc/meminfo: memFree=21892744/32770624 swapFree=67108860/67108860
[pid=23451] ppid=23447 vsize=99856 memory=74852 CPUtime=51.09 cores=1,3,5,7
/proc/23451/stat : 23451 (MistralXCSP) R 23447 23451 23392 0 -1 4202496 78997 0 3 0 5104 5 0 0 20 0 1 0 36613395 102252544 18713 33554432000 4194304 7498468 140722591003680 140722590998696 4258028 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25403392 140722591011949 140722591012099 140722591012099 140722591014857 0
/proc/23451/statm: 24964 18713 795 807 0 17955 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 99856 KiB
Current children cumulated memory: 74852 KiB
[startup+102.3 s]
/proc/loadavg: 1.62 0.58 0.25 3/190 23465
/proc/meminfo: memFree=21891208/32770624 swapFree=67108860/67108860
[pid=23451] ppid=23447 vsize=99856 memory=74888 CPUtime=102.25 cores=1,3,5,7
/proc/23451/stat : 23451 (MistralXCSP) R 23447 23451 23392 0 -1 4202496 81827 0 3 0 10220 5 0 0 20 0 1 0 36613395 102252544 18722 33554432000 4194304 7498468 140722591003680 140722590998696 5791392 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25403392 140722591011949 140722591012099 140722591012099 140722591014857 0
/proc/23451/statm: 24964 18722 795 807 0 17955 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 99856 KiB
Current children cumulated memory: 74888 KiB
[startup+162.3 s]
/proc/loadavg: 1.86 0.84 0.35 3/189 23466
/proc/meminfo: memFree=21892640/32770624 swapFree=67108860/67108860
[pid=23451] ppid=23447 vsize=99988 memory=74940 CPUtime=162.25 cores=1,3,5,7
/proc/23451/stat : 23451 (MistralXCSP) R 23447 23451 23392 0 -1 4202496 82432 0 3 0 16220 5 0 0 20 0 1 0 36613395 102387712 18735 33554432000 4194304 7498468 140722591003680 140722590998152 4253127 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25403392 140722591011949 140722591012099 140722591012099 140722591014857 0
/proc/23451/statm: 24997 18735 795 807 0 17988 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 99988 KiB
Current children cumulated memory: 74940 KiB
[startup+222.3 s]
/proc/loadavg: 1.95 1.05 0.46 3/190 23468
/proc/meminfo: memFree=21892660/32770624 swapFree=67108860/67108860
[pid=23451] ppid=23447 vsize=99988 memory=74972 CPUtime=222.25 cores=1,3,5,7
/proc/23451/stat : 23451 (MistralXCSP) R 23447 23451 23392 0 -1 4202496 83023 0 3 0 22220 5 0 0 20 0 1 0 36613395 102387712 18743 33554432000 4194304 7498468 140722591003680 140722590998696 5791513 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25403392 140722591011949 140722591012099 140722591012099 140722591014857 0
/proc/23451/statm: 24997 18743 795 807 0 17988 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 99988 KiB
Current children cumulated memory: 74972 KiB
[startup+282.3 s]
/proc/loadavg: 1.98 1.22 0.55 3/190 23469
/proc/meminfo: memFree=21892364/32770624 swapFree=67108860/67108860
[pid=23451] ppid=23447 vsize=99988 memory=74976 CPUtime=282.25 cores=1,3,5,7
/proc/23451/stat : 23451 (MistralXCSP) R 23447 23451 23392 0 -1 4202496 83579 0 3 0 28220 5 0 0 20 0 1 0 36613395 102387712 18744 33554432000 4194304 7498468 140722591003680 140722590998696 5791419 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25403392 140722591011949 140722591012099 140722591012099 140722591014857 0
/proc/23451/statm: 24997 18744 795 807 0 17988 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 99988 KiB
Current children cumulated memory: 74976 KiB
[startup+342.3 s]
/proc/loadavg: 1.99 1.36 0.64 3/188 23470
/proc/meminfo: memFree=21892500/32770624 swapFree=67108860/67108860
[pid=23451] ppid=23447 vsize=99988 memory=74992 CPUtime=342.25 cores=1,3,5,7
/proc/23451/stat : 23451 (MistralXCSP) R 23447 23451 23392 0 -1 4202496 84166 0 3 0 34220 5 0 0 20 0 1 0 36613395 102387712 18748 33554432000 4194304 7498468 140722591003680 140722590998696 4404954 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25403392 140722591011949 140722591012099 140722591012099 140722591014857 0
/proc/23451/statm: 24997 18748 795 807 0 17988 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 99988 KiB
Current children cumulated memory: 74992 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.48 0.73 3/187 23471
/proc/meminfo: memFree=21892368/32770624 swapFree=67108860/67108860
[pid=23451] ppid=23447 vsize=99988 memory=74996 CPUtime=402.26 cores=1,3,5,7
/proc/23451/stat : 23451 (MistralXCSP) R 23447 23451 23392 0 -1 4202496 84688 0 3 0 40221 5 0 0 20 0 1 0 36613395 102387712 18749 33554432000 4194304 7498468 140722591003680 140722590998696 5585650 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25403392 140722591011949 140722591012099 140722591012099 140722591014857 0
/proc/23451/statm: 24997 18749 795 807 0 17988 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 99988 KiB
Current children cumulated memory: 74996 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.58 0.81 3/187 23472
/proc/meminfo: memFree=21892076/32770624 swapFree=67108860/67108860
[pid=23451] ppid=23447 vsize=99988 memory=75000 CPUtime=462.26 cores=1,3,5,7
/proc/23451/stat : 23451 (MistralXCSP) R 23447 23451 23392 0 -1 4202496 85310 0 3 0 46221 5 0 0 20 0 1 0 36613395 102387712 18750 33554432000 4194304 7498468 140722591003680 140722590998696 5791496 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25403392 140722591011949 140722591012099 140722591012099 140722591014857 0
/proc/23451/statm: 24997 18750 795 807 0 17988 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 99988 KiB
Current children cumulated memory: 75000 KiB
################
# More data... #
################
/proc/23451/statm: 24997 18758 795 807 0 17988 0
Current children cumulated CPU time: 1602.29 s
Current children cumulated vsize: 99988 KiB
Current children cumulated memory: 75032 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.67 3/187 23507
/proc/meminfo: memFree=21891068/32770624 swapFree=67108860/67108860
[pid=23451] ppid=23447 vsize=99988 memory=75032 CPUtime=1662.29 cores=1,3,5,7
/proc/23451/stat : 23451 (MistralXCSP) R 23447 23451 23392 0 -1 4202496 96074 0 3 0 166223 6 0 0 20 0 1 0 36613395 102387712 18758 33554432000 4194304 7498468 140722591003680 140722590998696 5791638 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25403392 140722591011949 140722591012099 140722591012099 140722591014857 0
/proc/23451/statm: 24997 18758 795 807 0 17988 0
Current children cumulated CPU time: 1662.29 s
Current children cumulated vsize: 99988 KiB
Current children cumulated memory: 75032 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.69 3/187 23508
/proc/meminfo: memFree=21891128/32770624 swapFree=67108860/67108860
[pid=23451] ppid=23447 vsize=99988 memory=75032 CPUtime=1722.29 cores=1,3,5,7
/proc/23451/stat : 23451 (MistralXCSP) R 23447 23451 23392 0 -1 4202496 96626 0 3 0 172223 6 0 0 20 0 1 0 36613395 102387712 18758 33554432000 4194304 7498468 140722591003680 140722590998696 5791504 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25403392 140722591011949 140722591012099 140722591012099 140722591014857 0
/proc/23451/statm: 24997 18758 795 807 0 17988 0
Current children cumulated CPU time: 1722.29 s
Current children cumulated vsize: 99988 KiB
Current children cumulated memory: 75032 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.71 3/187 23510
/proc/meminfo: memFree=21890708/32770624 swapFree=67108860/67108860
[pid=23451] ppid=23447 vsize=99988 memory=75036 CPUtime=1782.29 cores=1,3,5,7
/proc/23451/stat : 23451 (MistralXCSP) R 23447 23451 23392 0 -1 4202496 97183 0 3 0 178223 6 0 0 20 0 1 0 36613395 102387712 18759 33554432000 4194304 7498468 140722591003680 140722590998696 4253162 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25403392 140722591011949 140722591012099 140722591012099 140722591014857 0
/proc/23451/statm: 24997 18759 795 807 0 17988 0
Current children cumulated CPU time: 1782.29 s
Current children cumulated vsize: 99988 KiB
Current children cumulated memory: 75036 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.73 3/187 23511
/proc/meminfo: memFree=21891152/32770624 swapFree=67108860/67108860
[pid=23451] ppid=23447 vsize=99988 memory=75036 CPUtime=1842.29 cores=1,3,5,7
/proc/23451/stat : 23451 (MistralXCSP) R 23447 23451 23392 0 -1 4202496 97734 0 3 0 184223 6 0 0 20 0 1 0 36613395 102387712 18759 33554432000 4194304 7498468 140722591003680 140722590998696 5573844 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25403392 140722591011949 140722591012099 140722591012099 140722591014857 0
/proc/23451/statm: 24997 18759 795 807 0 17988 0
Current children cumulated CPU time: 1842.29 s
Current children cumulated vsize: 99988 KiB
Current children cumulated memory: 75036 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 1.75 3/188 23520
/proc/meminfo: memFree=21889960/32770624 swapFree=67108860/67108860
[pid=23451] ppid=23447 vsize=99988 memory=75036 CPUtime=1902.29 cores=1,3,5,7
/proc/23451/stat : 23451 (MistralXCSP) R 23447 23451 23392 0 -1 4202496 98294 0 3 0 190223 6 0 0 20 0 1 0 36613395 102387712 18759 33554432000 4194304 7498468 140722591003680 140722590998696 5791352 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25403392 140722591011949 140722591012099 140722591012099 140722591014857 0
/proc/23451/statm: 24997 18759 795 807 0 17988 0
Current children cumulated CPU time: 1902.29 s
Current children cumulated vsize: 99988 KiB
Current children cumulated memory: 75036 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.76 3/189 23544
/proc/meminfo: memFree=21889220/32770624 swapFree=67108860/67108860
[pid=23451] ppid=23447 vsize=99988 memory=75036 CPUtime=1962.3 cores=1,3,5,7
/proc/23451/stat : 23451 (MistralXCSP) R 23447 23451 23392 0 -1 4202496 98886 0 3 0 196224 6 0 0 20 0 1 0 36613395 102387712 18759 33554432000 4194304 7498468 140722591003680 140722590998696 4253179 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25403392 140722591011949 140722591012099 140722591012099 140722591014857 0
/proc/23451/statm: 24997 18759 795 807 0 17988 0
Current children cumulated CPU time: 1962.3 s
Current children cumulated vsize: 99988 KiB
Current children cumulated memory: 75036 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.78 3/189 23545
/proc/meminfo: memFree=21890240/32770624 swapFree=67108860/67108860
[pid=23451] ppid=23447 vsize=99988 memory=75040 CPUtime=2022.3 cores=1,3,5,7
/proc/23451/stat : 23451 (MistralXCSP) R 23447 23451 23392 0 -1 4202496 99370 0 3 0 202224 6 0 0 20 0 1 0 36613395 102387712 18760 33554432000 4194304 7498468 140722591003680 140722590998696 4253120 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25403392 140722591011949 140722591012099 140722591012099 140722591014857 0
/proc/23451/statm: 24997 18760 795 807 0 17988 0
Current children cumulated CPU time: 2022.3 s
Current children cumulated vsize: 99988 KiB
Current children cumulated memory: 75040 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 1.79 3/189 23546
/proc/meminfo: memFree=21890548/32770624 swapFree=67108860/67108860
[pid=23451] ppid=23447 vsize=99988 memory=75040 CPUtime=2082.3 cores=1,3,5,7
/proc/23451/stat : 23451 (MistralXCSP) R 23447 23451 23392 0 -1 4202496 99866 0 3 0 208224 6 0 0 20 0 1 0 36613395 102387712 18760 33554432000 4194304 7498468 140722591003680 140722590998696 5791392 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25403392 140722591011949 140722591012099 140722591012099 140722591014857 0
/proc/23451/statm: 24997 18760 795 807 0 17988 0
Current children cumulated CPU time: 2082.3 s
Current children cumulated vsize: 99988 KiB
Current children cumulated memory: 75040 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 1.80 3/189 23547
/proc/meminfo: memFree=21890648/32770624 swapFree=67108860/67108860
[pid=23451] ppid=23447 vsize=99988 memory=75044 CPUtime=2142.3 cores=1,3,5,7
/proc/23451/stat : 23451 (MistralXCSP) R 23447 23451 23392 0 -1 4202496 100392 0 3 0 214224 6 0 0 20 0 1 0 36613395 102387712 18761 33554432000 4194304 7498468 140722591003680 140722590998696 5791406 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25403392 140722591011949 140722591012099 140722591012099 140722591014857 0
/proc/23451/statm: 24997 18761 795 807 0 17988 0
Current children cumulated CPU time: 2142.3 s
Current children cumulated vsize: 99988 KiB
Current children cumulated memory: 75044 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 1.81 3/188 23548
/proc/meminfo: memFree=21890364/32770624 swapFree=67108860/67108860
[pid=23451] ppid=23447 vsize=99988 memory=75044 CPUtime=2202.3 cores=1,3,5,7
/proc/23451/stat : 23451 (MistralXCSP) R 23447 23451 23392 0 -1 4202496 100905 0 3 0 220224 6 0 0 20 0 1 0 36613395 102387712 18761 33554432000 4194304 7498468 140722591003680 140722590998696 5791419 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25403392 140722591011949 140722591012099 140722591012099 140722591014857 0
/proc/23451/statm: 24997 18761 795 807 0 17988 0
Current children cumulated CPU time: 2202.3 s
Current children cumulated vsize: 99988 KiB
Current children cumulated memory: 75044 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 1.83 3/187 23549
/proc/meminfo: memFree=21890456/32770624 swapFree=67108860/67108860
[pid=23451] ppid=23447 vsize=99988 memory=75044 CPUtime=2262.3 cores=1,3,5,7
/proc/23451/stat : 23451 (MistralXCSP) R 23447 23451 23392 0 -1 4202496 101416 0 3 0 226224 6 0 0 20 0 1 0 36613395 102387712 18761 33554432000 4194304 7498468 140722591003680 140722590998696 4253162 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25403392 140722591011949 140722591012099 140722591012099 140722591014857 0
/proc/23451/statm: 24997 18761 795 807 0 17988 0
Current children cumulated CPU time: 2262.3 s
Current children cumulated vsize: 99988 KiB
Current children cumulated memory: 75044 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 1.84 3/187 23550
/proc/meminfo: memFree=21890232/32770624 swapFree=67108860/67108860
[pid=23451] ppid=23447 vsize=99988 memory=75044 CPUtime=2322.3 cores=1,3,5,7
/proc/23451/stat : 23451 (MistralXCSP) R 23447 23451 23392 0 -1 4202496 101930 0 3 0 232224 6 0 0 20 0 1 0 36613395 102387712 18761 33554432000 4194304 7498468 140722591003680 140722590998696 5791439 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25403392 140722591011949 140722591012099 140722591012099 140722591014857 0
/proc/23451/statm: 24997 18761 795 807 0 17988 0
Current children cumulated CPU time: 2322.3 s
Current children cumulated vsize: 99988 KiB
Current children cumulated memory: 75044 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 1.85 3/187 23551
/proc/meminfo: memFree=21890308/32770624 swapFree=67108860/67108860
[pid=23451] ppid=23447 vsize=99988 memory=75044 CPUtime=2382.3 cores=1,3,5,7
/proc/23451/stat : 23451 (MistralXCSP) R 23447 23451 23392 0 -1 4202496 102442 0 3 0 238224 6 0 0 20 0 1 0 36613395 102387712 18761 33554432000 4194304 7498468 140722591003680 140722590998696 4317738 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25403392 140722591011949 140722591012099 140722591012099 140722591014857 0
/proc/23451/statm: 24997 18761 795 807 0 17988 0
Current children cumulated CPU time: 2382.3 s
Current children cumulated vsize: 99988 KiB
Current children cumulated memory: 75044 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]*
/proc/loadavg: 2.00 1.99 1.85 3/187 23551
/proc/meminfo: memFree=21890308/32770624 swapFree=67108860/67108860
[pid=23451] ppid=23447 vsize=99988 memory=75044 CPUtime=2400.01 cores=1,3,5,7
/proc/23451/stat : 23451 (MistralXCSP) R 23447 23451 23392 0 -1 4202496 102947 0 3 0 239995 6 0 0 20 0 1 0 36613395 102387712 18761 33554432000 4194304 7498468 140722591003680 140722590998696 5791628 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25403392 140722591011949 140722591012099 140722591012099 140722591014857 0
/proc/23451/statm: 24997 18761 795 807 0 17988 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 99988 KiB
Current children cumulated memory: 75044 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.01 s]
# the end of solver process 23451 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.96 s, system=0.064001 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2400.01
CPU time (s): 2400.02
CPU user time (s): 2399.96
CPU system time (s): 0.064001
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 99988
Max. memory (cumulated for all children) (KiB): 75044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.96
system time used= 0.064001
maximum resident set size= 75064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102997
page faults= 3
swaps= 0
block input operations= 736
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 51
involuntary context switches= 643
# summary of solver processes directly reported to runsolver:
# pid: 23451
# total CPU time (s): 2400.02
# total CPU user time (s): 2399.96
# total CPU system time (s): 0.064001
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.55503 second user time and 16.9113 second system time
The end
Begin job on node136 at 2018-07-21 18:28:22 IDJOB=4289274 IDBENCH=141033 IDSOLVER=2741 FILE ID=node136/4289274-1532190502 RUNJOBID= node136-1532190501-23424 PBS_JOBID= 21018931 Free space on /tmp= 57116 MiB SOLVER NAME= Mistral-2.0 2018-06-15 BENCH NAME= XCSP18/StillLife/StillLife-wastage-17_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-4289274-1532190502/watcher-4289274-1532190502 -o /tmp/evaluation-result-4289274-1532190502/solver-4289274-1532190502 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532190501-23424 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1377696294 HOME/instance-4289274-1532190502.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6bdaa478fa612f14e4ae80d6384d4ab1 RANDOM SEED=1377696294 node136.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.50 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.50 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.50 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.50 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: 22124780 kB MemAvailable: 31942952 kB Buffers: 220012 kB Cached: 9809360 kB SwapCached: 0 kB Active: 1048996 kB Inactive: 9031980 kB Active(anon): 54516 kB Inactive(anon): 16920 kB Active(file): 994480 kB Inactive(file): 9015060 kB Unevictable: 7336 kB Mlocked: 7336 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 17732 kB Writeback: 0 kB AnonPages: 59104 kB Mapped: 34588 kB Shmem: 17036 kB Slab: 261476 kB SReclaimable: 237092 kB SUnreclaim: 24384 kB KernelStack: 3200 kB PageTables: 4884 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 318176 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 57096 MiB End job on node136 at 2018-07-21 19:08:22