Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - Conflict Ordering with restarts 2018-08-17 | SAT (TO) | 185 | 2520.09 | 2493.52 |
| Name | StillLife/ StillLife-wastage-21_c18.xml |
| MD5SUM | a6f0507a9e94bceb0819229116432592 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 232 |
| Best CPU time to get the best result obtained on this benchmark | 194.302 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1082 |
| Number of constraints | 659 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 1059 |
| Distribution of domain sizes | [{"size":2,"count":529},{"size":3,"count":529},{"size":442,"count":1},{"size":1059,"count":23}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 24 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":526},{"degree":3,"count":26},{"degree":4,"count":84},{"degree":8,"count":80},{"degree":9,"count":361},{"degree":24,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 25 |
| Distribution of constraint arities | [{"arity":2,"count":107},{"arity":3,"count":84},{"arity":10,"count":441},{"arity":23,"count":4},{"arity":24,"count":1},{"arity":25,"count":22}] |
| Number of extensional constraints | 525 |
| Number of intensional constraints | 106 |
| Distribution of constraint types | [{"type":"extension","count":525},{"type":"intension","count":106},{"type":"sum","count":24},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
0.68/0.55 c version: 2018-08-17 0.68/0.55 c seed: 1357837406 0.68/0.55 c timeout: 2520 0.68/0.55 c memlimit: 11000 0.68/0.55 c nbcore: 1 0.68/0.58 c Parsing instance... 3.80/1.84 c Parsing done, starting search... 4.46/2.05 o 92 4.46/2.09 o 94 4.46/2.09 o 95 4.46/2.10 o 96 4.46/2.10 o 97 4.46/2.10 o 98 4.46/2.10 o 99 4.46/2.10 o 100 4.46/2.10 o 101 4.46/2.10 o 102 4.46/2.11 o 103 4.78/2.11 o 104 4.78/2.11 o 105 4.78/2.11 o 106 4.78/2.11 o 107 4.78/2.11 o 108 4.78/2.11 o 109 4.78/2.11 o 110 4.78/2.12 o 111 4.78/2.12 o 112 4.78/2.12 o 113 4.78/2.12 o 114 4.78/2.12 o 115 4.78/2.12 o 116 4.78/2.12 o 117 4.78/2.13 o 118 4.78/2.13 o 119 4.78/2.13 o 120 4.78/2.13 o 121 4.78/2.13 o 122 4.78/2.13 o 123 4.78/2.14 o 124 4.78/2.14 o 125 4.78/2.14 o 126 4.78/2.14 o 127 4.78/2.14 o 128 4.78/2.14 o 129 4.78/2.14 o 130 4.78/2.14 o 131 4.78/2.14 o 132 4.78/2.15 o 133 4.78/2.15 o 134 4.78/2.15 o 135 4.78/2.15 o 136 4.78/2.15 o 137 4.78/2.15 o 138 4.78/2.15 o 139 4.78/2.15 o 140 4.78/2.15 o 141 4.78/2.16 o 142 4.78/2.16 o 143 4.78/2.16 o 144 4.78/2.16 o 145 4.78/2.16 o 146 4.78/2.16 o 147 4.78/2.16 o 148 4.78/2.17 o 149 4.78/2.17 o 150 4.78/2.17 o 151 4.78/2.17 o 152 4.78/2.17 o 153 4.78/2.17 o 154 4.78/2.17 o 155 4.78/2.18 o 156 4.78/2.18 o 157 4.78/2.18 o 158 4.78/2.18 o 159 4.78/2.18 o 160 4.78/2.18 o 161 4.78/2.18 o 162 4.78/2.18 o 163 4.78/2.19 o 164 4.78/2.19 o 165 4.78/2.19 o 166 4.78/2.19 o 167 4.78/2.19 o 168 4.78/2.19 o 169 4.78/2.19 o 170 4.78/2.20 o 171 5.07/2.20 o 172 5.07/2.20 o 173 5.07/2.26 o 174 5.07/2.26 o 175 5.07/2.26 o 176 5.38/2.37 o 177 27.02/22.55 o 178 139.05/134.45 o 179 212.60/207.85 o 180 293.25/288.02 o 181 302.21/296.87 o 182 307.60/302.12 o 183 315.70/310.17 o 184 333.37/327.64 o 185 2520.06/2493.51 s SATISFIABLE 2520.06/2493.51 v <instantiation> 2520.06/2493.51 v <list> 2520.06/2493.51 v 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[0][19] w[0][20] w[0][21] w[0][22] 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[1][19] w[1][20] w[1][21] w[1][22] 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[2][19] w[2][20] w[2][21] w[2][22] 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[3][19] w[3][20] w[3][21] w[3][22] 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[4][19] w[4][20] w[4][21] w[4][22] 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[5][19] w[5][20] w[5][21] w[5][22] 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[6][19] w[6][20] w[6][21] w[6][22] 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[7][19] w[7][20] w[7][21] w[7][22] 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[8][19] w[8][20] w[8][21] w[8][22] 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[9][19] w[9][20] w[9][21] w[9][22] 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[10][19] w[10][20] w[10][21] w[10][22] 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[11][19] w[11][20] w[11][21] w[11][22] 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[12][19] w[12][20] w[12][21] w[12][22] 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[13][19] w[13][20] w[13][21] w[13][22] 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[14][19] w[14][20] w[14][21] w[14][22] 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[15][19] w[15][20] w[15][21] w[15][22] 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[16][19] w[16][20] w[16][21] w[16][22] 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[17][19] w[17][20] w[17][21] w[17][22] 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] w[18][19] w[18][20] w[18][21] w[18][22] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] 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] ws[19] ws[20] ws[21] ws[22] z 2520.06/2493.51 v </list> 2520.06/2493.51 v <values> 2520.06/2493.51 v 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 1 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 1 0 0 0 1 1 0 0 1 0 1 0 0 0 1 1 0 1 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 1 0 1 1 1 0 0 0 1 1 1 0 0 1 1 0 0 0 0 1 1 0 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 1 0 1 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 1 1 1 0 1 0 0 1 0 1 0 0 0 1 1 0 1 0 1 1 0 1 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 1 0 0 0 1 0 0 0 0 0 1 1 0 1 1 1 0 0 1 0 1 0 0 0 0 1 1 1 0 1 1 0 0 0 0 0 1 0 0 1 1 1 0 1 1 1 1 1 0 0 0 1 0 1 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 1 0 0 0 0 0 1 0 1 0 1 1 1 0 1 1 1 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 1 1 0 1 1 0 0 1 0 1 0 1 1 0 0 0 1 1 0 0 1 1 0 1 1 0 1 1 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 0 0 0 1 0 1 0 0 1 1 1 1 1 1 0 1 0 0 1 1 1 0 1 0 0 1 1 1 0 1 1 0 2 1 2 2 1 1 0 0 0 1 2 0 1 0 1 0 1 1 0 0 0 0 0 0 1 1 2 1 0 0 0 1 0 0 1 0 0 0 0 1 1 2 0 0 1 0 0 0 1 2 1 1 0 1 0 0 0 0 0 0 0 1 0 2 0 1 0 0 1 0 0 2 2 2 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 2 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 2 1 1 2 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 2 2 2 2 2 1 1 1 0 0 2 1 0 1 0 1 0 1 0 0 1 0 1 1 2 1 2 1 1 2 1 1 0 1 1 1 1 2 1 0 0 0 0 0 0 0 0 0 2 0 0 1 1 1 0 0 1 0 1 1 1 1 0 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 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 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 1 0 0 0 0 0 0 0 2 0 0 1 1 0 1 1 0 0 0 0 0 0 1 1 1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 2 0 0 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 2 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 1 0 1 1 1 0 0 0 0 0 0 0 1 2 0 1 0 2 1 1 2 1 0 0 0 1 1 0 0 1 0 0 1 0 0 1 1 1 0 1 1 1 1 1 0 13 32 41 53 65 71 84 102 121 132 142 145 148 155 157 161 170 177 181 191 199 214 226 185 2520.06/2493.51 v </values> 2520.06/2493.51 v </instantiation>
OK 185
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 (13901 MiB free)
memory of node 1: 16384 MiB (10137 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4311521-1534541041/watcher-4311521-1534541041 -o /tmp/evaluation-result-4311521-1534541041/solver-4311521-1534541041 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1534541041-25996 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1357837406 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4311521-1534541041.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=26039, runsolver pid=26036
Current StackSize limit: 8192 KiB
[startup+0.101851 s]*
/proc/loadavg: 0.00 0.01 0.05 7/218 26054
/proc/meminfo: memFree=24584760/32770624 swapFree=67108688/67108860
[pid=26039] ppid=26036 vsize=14082736 memory=31052 CPUtime=0.12 cores=1,3,5,7
/proc/26039/stat : 26039 (java) S 26036 26039 25964 0 -1 1077944320 6635 0 0 0 11 1 0 0 20 0 15 0 271667304 14420721664 7763 33554432000 4194304 4196468 140721242517040 140721242499584 140045936144119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
/proc/26039/statm: 3520684 7763 3160 1 0 3482761 0
[pid=26039/tid=26041] ppid=26036 vsize=14082736 memory=-8701690554792317059 CPUtime=0.09 cores=1,3,5,7
/proc/26039/task/26041/stat : 26041 (java) R 26036 26039 25964 0 -1 4202560 4681 0 0 0 9 0 0 0 20 0 15 0 271667304 14420721664 7763 33554432000 4194304 4196468 140721242517040 140045940364960 140045917517603 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26042] ppid=26036 vsize=14082736 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26042/stat : 26042 (java) S 26036 26039 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667305 14420721664 7763 33554432000 4194304 4196468 140721242517040 140045866232080 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26043] ppid=26036 vsize=14082736 memory=140040960108160 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26043/stat : 26043 (java) S 26036 26039 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667305 14420721664 7763 33554432000 4194304 4196468 140721242517040 140045530610064 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26044] ppid=26036 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26044/stat : 26044 (java) S 26036 26039 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667305 14420721664 7763 33554432000 4194304 4196468 140721242517040 140045529557520 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26045] ppid=26036 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26045/stat : 26045 (java) S 26036 26039 25964 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271667305 14420721664 7763 33554432000 4194304 4196468 140721242517040 140045528504976 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26046] ppid=26036 vsize=14082736 memory=140040960108160 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26046/stat : 26046 (java) S 26036 26039 25964 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271667306 14420721664 7763 33554432000 4194304 4196468 140721242517040 140045478324720 140045936155266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26047] ppid=26036 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26047/stat : 26047 (java) S 26036 26039 25964 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 271667307 14420721664 7763 33554432000 4194304 4196468 140721242517040 140045477270944 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26048] ppid=26036 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26048/stat : 26048 (java) S 26036 26039 25964 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 271667307 14420721664 7763 33554432000 4194304 4196468 140721242517040 140045476218352 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26049] ppid=26036 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26049/stat : 26049 (java) S 26036 26039 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667309 14420721664 7763 33554432000 4194304 4196468 140721242517040 140045475166928 140045936162715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26050] ppid=26036 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26050/stat : 26050 (java) S 26036 26039 25964 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 271667309 14420721664 7763 33554432000 4194304 4196468 140721242517040 140045474113520 140045936155266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26051] ppid=26036 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26051/stat : 26051 (java) S 26036 26039 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667309 14420721664 7763 33554432000 4194304 4196468 140721242517040 140045473060976 140045936155266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26052] ppid=26036 vsize=14082736 memory=140040960108160 CPUtime=0.01 cores=1,3,5,7
/proc/26039/task/26052/stat : 26052 (java) S 26036 26039 25964 0 -1 1077944384 270 0 0 0 1 0 0 0 20 0 15 0 271667309 14420721664 7763 33554432000 4194304 4196468 140721242517040 140045472008432 140045936155266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26053] ppid=26036 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26053/stat : 26053 (java) S 26036 26039 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667309 14420721664 7763 33554432000 4194304 4196468 140721242517040 140045470956128 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26054] ppid=26036 vsize=14082736 memory=140040960108160 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26054/stat : 26054 (java) S 26036 26039 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667310 14420721664 7763 33554432000 4194304 4196468 140721242517040 140045469903664 140045936155266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31052 KiB
[startup+0.218192 s]*
/proc/loadavg: 0.16 0.05 0.06 5/218 26054
/proc/meminfo: memFree=24565556/32770624 swapFree=67108688/67108860
[pid=26039] ppid=26036 vsize=14082736 memory=47416 CPUtime=0.32 cores=1,3,5,7
/proc/26039/stat : 26039 (java) S 26036 26039 25964 0 -1 1077944320 10445 0 0 0 30 2 0 0 20 0 15 0 271667304 14420721664 11854 33554432000 4194304 4196468 140721242517040 140721242499584 140045936144119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
/proc/26039/statm: 3520684 11854 3408 1 0 3482761 0
[pid=26039/tid=26041] ppid=26036 vsize=14082736 memory=7022364594140610616 CPUtime=0.21 cores=1,3,5,7
/proc/26039/task/26041/stat : 26041 (java) R 26036 26039 25964 0 -1 4202560 8129 0 0 0 19 2 0 0 20 0 15 0 271667304 14420721664 11854 33554432000 4194304 4196468 140721242517040 140045940372432 140045920224606 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26042] ppid=26036 vsize=14082736 memory=365 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26042/stat : 26042 (java) S 26036 26039 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667305 14420721664 11854 33554432000 4194304 4196468 140721242517040 140045866232080 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26043] ppid=26036 vsize=14082736 memory=3616592334272226976 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26043/stat : 26043 (java) S 26036 26039 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667305 14420721664 11854 33554432000 4194304 4196468 140721242517040 140045530610064 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26044] ppid=26036 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26044/stat : 26044 (java) S 26036 26039 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667305 14420721664 11854 33554432000 4194304 4196468 140721242517040 140045529557520 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26045] ppid=26036 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26045/stat : 26045 (java) S 26036 26039 25964 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271667305 14420721664 11854 33554432000 4194304 4196468 140721242517040 140045528504976 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26046] ppid=26036 vsize=14082736 memory=140040960108160 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26046/stat : 26046 (java) S 26036 26039 25964 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 271667306 14420721664 11854 33554432000 4194304 4196468 140721242517040 140045478324720 140045936155266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26047] ppid=26036 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26047/stat : 26047 (java) S 26036 26039 25964 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 271667307 14420721664 11854 33554432000 4194304 4196468 140721242517040 140045477270944 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26048] ppid=26036 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26048/stat : 26048 (java) S 26036 26039 25964 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 271667307 14420721664 11854 33554432000 4194304 4196468 140721242517040 140045476218352 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26049] ppid=26036 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26049/stat : 26049 (java) S 26036 26039 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667309 14420721664 11854 33554432000 4194304 4196468 140721242517040 140045475166928 140045936162715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26050] ppid=26036 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26039/task/26050/stat : 26050 (java) R 26036 26039 25964 0 -1 1077944384 464 0 0 0 2 0 0 0 20 0 15 0 271667309 14420721664 11854 33554432000 4194304 4196468 140721242517040 140045474113616 140045936154325 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26051] ppid=26036 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/26039/task/26051/stat : 26051 (java) S 26036 26039 25964 0 -1 1077944384 153 0 0 0 2 0 0 0 20 0 15 0 271667309 14420721664 11854 33554432000 4194304 4196468 140721242517040 140045473060976 140045936155266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26052] ppid=26036 vsize=14082736 memory=140040960108160 CPUtime=0.06 cores=1,3,5,7
/proc/26039/task/26052/stat : 26052 (java) R 26036 26039 25964 0 -1 4202560 318 0 0 0 6 0 0 0 20 0 15 0 271667309 14420721664 11854 33554432000 4194304 4196468 140721242517040 140045472004160 140045920389486 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26053] ppid=26036 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26053/stat : 26053 (java) S 26036 26039 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667309 14420721664 11854 33554432000 4194304 4196468 140721242517040 140045470956128 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26054] ppid=26036 vsize=14082736 memory=140040960108160 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26054/stat : 26054 (java) S 26036 26039 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667310 14420721664 11854 33554432000 4194304 4196468 140721242517040 140045469903664 140045936155266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47416 KiB
[startup+0.31039 s]*
/proc/loadavg: 0.16 0.05 0.06 3/218 26054
/proc/meminfo: memFree=24555996/32770624 swapFree=67108688/67108860
[pid=26039] ppid=26036 vsize=14082736 memory=50952 CPUtime=0.44 cores=1,3,5,7
/proc/26039/stat : 26039 (java) S 26036 26039 25964 0 -1 1077944320 10779 0 0 0 42 2 0 0 20 0 15 0 271667304 14420721664 12738 33554432000 4194304 4196468 140721242517040 140721242499584 140045936144119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
/proc/26039/statm: 3520684 12738 3417 1 0 3482761 0
[pid=26039/tid=26041] ppid=26036 vsize=14082736 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/26039/task/26041/stat : 26041 (java) R 26036 26039 25964 0 -1 4202560 8440 0 0 0 28 2 0 0 20 0 15 0 271667304 14420721664 12738 33554432000 4194304 4196468 140721242517040 140045940353472 140045921309664 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26042] ppid=26036 vsize=14082736 memory=4294980954 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26042/stat : 26042 (java) S 26036 26039 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667305 14420721664 12738 33554432000 4194304 4196468 140721242517040 140045866232080 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26043] ppid=26036 vsize=14082736 memory=3616591234760599200 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26043/stat : 26043 (java) S 26036 26039 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667305 14420721664 12738 33554432000 4194304 4196468 140721242517040 140045530610064 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26044] ppid=26036 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26044/stat : 26044 (java) S 26036 26039 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667305 14420721664 12738 33554432000 4194304 4196468 140721242517040 140045529557520 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26045] ppid=26036 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26045/stat : 26045 (java) S 26036 26039 25964 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271667305 14420721664 12738 33554432000 4194304 4196468 140721242517040 140045528504976 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26046] ppid=26036 vsize=14082736 memory=140040960108160 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26046/stat : 26046 (java) S 26036 26039 25964 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 271667306 14420721664 12738 33554432000 4194304 4196468 140721242517040 140045478324720 140045936155266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26047] ppid=26036 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26047/stat : 26047 (java) S 26036 26039 25964 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 271667307 14420721664 12738 33554432000 4194304 4196468 140721242517040 140045477270944 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26048] ppid=26036 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26048/stat : 26048 (java) S 26036 26039 25964 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 271667307 14420721664 12738 33554432000 4194304 4196468 140721242517040 140045476218352 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26049] ppid=26036 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26049/stat : 26049 (java) S 26036 26039 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667309 14420721664 12738 33554432000 4194304 4196468 140721242517040 140045475166928 140045936162715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26050] ppid=26036 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26039/task/26050/stat : 26050 (java) S 26036 26039 25964 0 -1 1077944384 464 0 0 0 2 0 0 0 20 0 15 0 271667309 14420721664 12738 33554432000 4194304 4196468 140721242517040 140045474113520 140045936155266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26051] ppid=26036 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/26039/task/26051/stat : 26051 (java) S 26036 26039 25964 0 -1 1077944384 159 0 0 0 2 0 0 0 20 0 15 0 271667309 14420721664 12738 33554432000 4194304 4196468 140721242517040 140045473060976 140045936155266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26052] ppid=26036 vsize=14082736 memory=140040960108160 CPUtime=0.07 cores=1,3,5,7
/proc/26039/task/26052/stat : 26052 (java) S 26036 26039 25964 0 -1 1077944384 335 0 0 0 7 0 0 0 20 0 15 0 271667309 14420721664 12738 33554432000 4194304 4196468 140721242517040 140045472008432 140045936155266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26053] ppid=26036 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26053/stat : 26053 (java) S 26036 26039 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667309 14420721664 12738 33554432000 4194304 4196468 140721242517040 140045470956128 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26054] ppid=26036 vsize=14082736 memory=140040960108160 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26054/stat : 26054 (java) S 26036 26039 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667310 14420721664 12738 33554432000 4194304 4196468 140721242517040 140045469903664 140045936155266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50952 KiB
[startup+0.70073 s]
/proc/loadavg: 0.16 0.05 0.06 5/218 26054
/proc/meminfo: memFree=24506820/32770624 swapFree=67108688/67108860
[pid=26039] ppid=26036 vsize=14084804 memory=89072 CPUtime=0.99 cores=1,3,5,7
/proc/26039/stat : 26039 (java) S 26036 26039 25964 0 -1 1077944320 17648 0 0 0 94 5 0 0 20 0 15 0 271667304 14422839296 22268 33554432000 4194304 4196468 140721242517040 140721242499584 140045936144119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
/proc/26039/statm: 3521201 22268 3499 1 0 3483273 0
[pid=26039/tid=26041] ppid=26036 vsize=14084804 memory=1172 CPUtime=0.68 cores=1,3,5,7
/proc/26039/task/26041/stat : 26041 (java) R 26036 26039 25964 0 -1 4202560 14901 0 0 0 64 4 0 0 20 0 15 0 271667304 14422839296 22268 33554432000 4194304 4196468 140721242517040 140045940367488 140045920224606 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26042] ppid=26036 vsize=14084804 memory=3496 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26042/stat : 26042 (java) S 26036 26039 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667305 14422839296 22268 33554432000 4194304 4196468 140721242517040 140045866232080 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26043] ppid=26036 vsize=14084804 memory=3360 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26043/stat : 26043 (java) S 26036 26039 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667305 14422839296 22268 33554432000 4194304 4196468 140721242517040 140045530610064 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26044] ppid=26036 vsize=14084804 memory=496 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26044/stat : 26044 (java) S 26036 26039 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667305 14422839296 22268 33554432000 4194304 4196468 140721242517040 140045529557520 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26045] ppid=26036 vsize=14084804 memory=1624 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26045/stat : 26045 (java) S 26036 26039 25964 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271667305 14422839296 22268 33554432000 4194304 4196468 140721242517040 140045528504976 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26046] ppid=26036 vsize=14084804 memory=928 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26046/stat : 26046 (java) S 26036 26039 25964 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 271667306 14422839296 22268 33554432000 4194304 4196468 140721242517040 140045478324720 140045936155266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26047] ppid=26036 vsize=14084804 memory=2332 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26047/stat : 26047 (java) S 26036 26039 25964 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 271667307 14422839296 22268 33554432000 4194304 4196468 140721242517040 140045477270944 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26048] ppid=26036 vsize=14084804 memory=924 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26048/stat : 26048 (java) S 26036 26039 25964 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 271667307 14422839296 22268 33554432000 4194304 4196468 140721242517040 140045476218352 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26049] ppid=26036 vsize=14084804 memory=6153431502485415525 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26049/stat : 26049 (java) S 26036 26039 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667309 14422839296 22268 33554432000 4194304 4196468 140721242517040 140045475166928 140045936162715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26050] ppid=26036 vsize=14084804 memory=7237400421024098393 CPUtime=0.07 cores=1,3,5,7
/proc/26039/task/26050/stat : 26050 (java) S 26036 26039 25964 0 -1 1077944384 637 0 0 0 7 0 0 0 20 0 15 0 271667309 14422839296 22268 33554432000 4194304 4196468 140721242517040 140045474113520 140045936155266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26051] ppid=26036 vsize=14084804 memory=6154282490091891024 CPUtime=0.07 cores=1,3,5,7
/proc/26039/task/26051/stat : 26051 (java) S 26036 26039 25964 0 -1 1077944384 304 0 0 0 7 0 0 0 20 0 15 0 271667309 14422839296 22268 33554432000 4194304 4196468 140721242517040 140045473060976 140045936155266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26052] ppid=26036 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/26039/task/26052/stat : 26052 (java) S 26036 26039 25964 0 -1 1077944384 426 0 0 0 15 0 0 0 20 0 15 0 271667309 14422839296 22268 33554432000 4194304 4196468 140721242517040 140045472008432 140045936155266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26053] ppid=26036 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26053/stat : 26053 (java) S 26036 26039 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667309 14422839296 22268 33554432000 4194304 4196468 140721242517040 140045470956128 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26054] ppid=26036 vsize=14084804 memory=8712 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26054/stat : 26054 (java) S 26036 26039 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667310 14422839296 22268 33554432000 4194304 4196468 140721242517040 140045469903664 140045936155266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 89072 KiB
[startup+1.5008 s]
/proc/loadavg: 0.16 0.05 0.06 4/218 26054
/proc/meminfo: memFree=24435900/32770624 swapFree=67108688/67108860
[pid=26039] ppid=26036 vsize=14090948 memory=174312 CPUtime=3.07 cores=1,3,5,7
/proc/26039/stat : 26039 (java) S 26036 26039 25964 0 -1 1077944320 25813 0 0 0 298 9 0 0 20 0 15 0 271667304 14429130752 43578 33554432000 4194304 4196468 140721242517040 140721242499584 140045936144119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
/proc/26039/statm: 3522737 43578 3545 1 0 3484809 0
[pid=26039/tid=26041] ppid=26036 vsize=14090948 memory=153300 CPUtime=1.47 cores=1,3,5,7
/proc/26039/task/26041/stat : 26041 (java) R 26036 26039 25964 0 -1 1077944384 19756 0 0 0 141 6 0 0 20 0 15 0 271667304 14429130752 43578 33554432000 4194304 4196468 140721242517040 140045940377008 140045936154325 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26042] ppid=26036 vsize=14090948 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26042/stat : 26042 (java) S 26036 26039 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667305 14429130752 43578 33554432000 4194304 4196468 140721242517040 140045866232080 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26043] ppid=26036 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26043/stat : 26043 (java) S 26036 26039 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667305 14429130752 43578 33554432000 4194304 4196468 140721242517040 140045530610064 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26044] ppid=26036 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26044/stat : 26044 (java) S 26036 26039 25964 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667305 14429130752 43578 33554432000 4194304 4196468 140721242517040 140045529557520 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26045] ppid=26036 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26045/stat : 26045 (java) S 26036 26039 25964 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271667305 14429130752 43578 33554432000 4194304 4196468 140721242517040 140045528504976 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26046] ppid=26036 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26046/stat : 26046 (java) S 26036 26039 25964 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 15 0 271667306 14429130752 43578 33554432000 4194304 4196468 140721242517040 140045478324720 140045936155266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
################
# More data... #
################
/proc/26039/task/26041/stat : 26041 (java) R 26036 26039 25964 0 -1 4202560 66255 0 0 0 236648 45 0 0 20 0 15 0 271667304 14429130752 405167 33554432000 4194304 4196468 140721242517040 140045940382448 140045555540138 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26042] ppid=26036 vsize=14090948 memory=1620668 CPUtime=7.41 cores=1,3,5,7
/proc/26039/task/26042/stat : 26042 (java) S 26036 26039 25964 0 -1 1077944384 11942 0 0 0 699 42 0 0 20 0 15 0 271667305 14429130752 405167 33554432000 4194304 4196468 140721242517040 140045866232080 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26043] ppid=26036 vsize=14090948 memory=114 CPUtime=7.36 cores=1,3,5,7
/proc/26039/task/26043/stat : 26043 (java) S 26036 26039 25964 0 -1 1077944384 9665 0 0 0 695 41 0 0 20 0 15 0 271667305 14429130752 405167 33554432000 4194304 4196468 140721242517040 140045530610064 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26044] ppid=26036 vsize=14090948 memory=1616572 CPUtime=7.42 cores=1,3,5,7
/proc/26039/task/26044/stat : 26044 (java) S 26036 26039 25964 0 -1 1077944384 12911 0 0 0 701 41 0 0 20 0 15 0 271667305 14429130752 405167 33554432000 4194304 4196468 140721242517040 140045529557520 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26045] ppid=26036 vsize=14090948 memory=1618620 CPUtime=7.4 cores=1,3,5,7
/proc/26039/task/26045/stat : 26045 (java) S 26036 26039 25964 0 -1 1077944384 10888 0 0 0 698 42 0 0 20 0 15 0 271667305 14429130752 405167 33554432000 4194304 4196468 140721242517040 140045528504976 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26046] ppid=26036 vsize=14090948 memory=1620668 CPUtime=5.31 cores=1,3,5,7
/proc/26039/task/26046/stat : 26046 (java) S 26036 26039 25964 0 -1 1077944384 12379 0 0 0 491 40 0 0 20 0 15 0 271667306 14429130752 405167 33554432000 4194304 4196468 140721242517040 140045478324720 140045936155266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26047] ppid=26036 vsize=14090948 memory=1620668 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26047/stat : 26047 (java) S 26036 26039 25964 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 271667307 14429130752 405167 33554432000 4194304 4196468 140721242517040 140045477271008 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26048] ppid=26036 vsize=14090948 memory=1620668 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26048/stat : 26048 (java) S 26036 26039 25964 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 271667307 14429130752 405167 33554432000 4194304 4196468 140721242517040 140045476218368 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26049] ppid=26036 vsize=14090948 memory=1620668 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26049/stat : 26049 (java) S 26036 26039 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667309 14429130752 405167 33554432000 4194304 4196468 140721242517040 140045475166928 140045936162715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26050] ppid=26036 vsize=14090948 memory=1620668 CPUtime=1.72 cores=1,3,5,7
/proc/26039/task/26050/stat : 26050 (java) S 26036 26039 25964 0 -1 1077944384 8151 0 0 0 171 1 0 0 20 0 15 0 271667309 14429130752 405167 33554432000 4194304 4196468 140721242517040 140045474113520 140045936155266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26051] ppid=26036 vsize=14090948 memory=1620668 CPUtime=1.79 cores=1,3,5,7
/proc/26039/task/26051/stat : 26051 (java) S 26036 26039 25964 0 -1 1077944384 7843 0 0 0 178 1 0 0 20 0 15 0 271667309 14429130752 405167 33554432000 4194304 4196468 140721242517040 140045473060976 140045936155266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26052] ppid=26036 vsize=14090948 memory=1620668 CPUtime=0.94 cores=1,3,5,7
/proc/26039/task/26052/stat : 26052 (java) S 26036 26039 25964 0 -1 1077944384 9490 0 0 0 92 2 0 0 20 0 15 0 271667309 14429130752 405167 33554432000 4194304 4196468 140721242517040 140045472008432 140045936155266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26053] ppid=26036 vsize=14090948 memory=3824 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26053/stat : 26053 (java) S 26036 26039 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667309 14429130752 405167 33554432000 4194304 4196468 140721242517040 140045470956128 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26054] ppid=26036 vsize=14090948 memory=2316 CPUtime=1.22 cores=1,3,5,7
/proc/26039/task/26054/stat : 26054 (java) S 26036 26039 25964 0 -1 1077944384 1195 0 0 0 54 68 0 0 20 0 15 0 271667310 14429130752 405167 33554432000 4194304 4196468 140721242517040 140045469903664 140045936155266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
Current children cumulated CPU time: 2407.58 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1620668 KiB
[startup+2442.3 s]
/proc/loadavg: 1.70 1.65 1.45 3/220 26255
/proc/meminfo: memFree=20352396/32770624 swapFree=67108688/67108860
[pid=26039] ppid=26036 vsize=14090948 memory=1626812 CPUtime=2468.27 cores=1,3,5,7
/proc/26039/stat : 26039 (java) S 26036 26039 25964 0 -1 1077944320 154058 0 0 0 246551 276 0 0 20 0 15 0 271667304 14429130752 406703 33554432000 4194304 4196468 140721242517040 140721242499584 140045936144119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
/proc/26039/statm: 3522737 406703 3597 1 0 3484809 0
[pid=26039/tid=26041] ppid=26036 vsize=14090948 memory=1626812 CPUtime=2426.48 cores=1,3,5,7
/proc/26039/task/26041/stat : 26041 (java) R 26036 26039 25964 0 -1 4202560 67015 0 0 0 242603 45 0 0 20 0 15 0 271667304 14429130752 406703 33554432000 4194304 4196468 140721242517040 140045940382144 140045555603888 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26042] ppid=26036 vsize=14090948 memory=1620668 CPUtime=7.65 cores=1,3,5,7
/proc/26039/task/26042/stat : 26042 (java) S 26036 26039 25964 0 -1 1077944384 12236 0 0 0 722 43 0 0 20 0 15 0 271667305 14429130752 406703 33554432000 4194304 4196468 140721242517040 140045866232080 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26043] ppid=26036 vsize=14090948 memory=1616572 CPUtime=7.6 cores=1,3,5,7
/proc/26039/task/26043/stat : 26043 (java) S 26036 26039 25964 0 -1 1077944384 9809 0 0 0 718 42 0 0 20 0 15 0 271667305 14429130752 406703 33554432000 4194304 4196468 140721242517040 140045530610064 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26044] ppid=26036 vsize=14090948 memory=1622716 CPUtime=7.65 cores=1,3,5,7
/proc/26039/task/26044/stat : 26044 (java) S 26036 26039 25964 0 -1 1077944384 13136 0 0 0 724 41 0 0 20 0 15 0 271667305 14429130752 406703 33554432000 4194304 4196468 140721242517040 140045529557520 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26045] ppid=26036 vsize=14090948 memory=1624764 CPUtime=7.63 cores=1,3,5,7
/proc/26039/task/26045/stat : 26045 (java) S 26036 26039 25964 0 -1 1077944384 11020 0 0 0 721 42 0 0 20 0 15 0 271667305 14429130752 406703 33554432000 4194304 4196468 140721242517040 140045528504976 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26046] ppid=26036 vsize=14090948 memory=1624764 CPUtime=5.45 cores=1,3,5,7
/proc/26039/task/26046/stat : 26046 (java) S 26036 26039 25964 0 -1 1077944384 12708 0 0 0 504 41 0 0 20 0 15 0 271667306 14429130752 406703 33554432000 4194304 4196468 140721242517040 140045478324720 140045936155266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26047] ppid=26036 vsize=14090948 memory=1622716 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26047/stat : 26047 (java) S 26036 26039 25964 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 271667307 14429130752 406703 33554432000 4194304 4196468 140721242517040 140045477271008 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26048] ppid=26036 vsize=14090948 memory=1624764 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26048/stat : 26048 (java) S 26036 26039 25964 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 271667307 14429130752 406703 33554432000 4194304 4196468 140721242517040 140045476218368 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26049] ppid=26036 vsize=14090948 memory=1624764 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26049/stat : 26049 (java) S 26036 26039 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667309 14429130752 406703 33554432000 4194304 4196468 140721242517040 140045475166928 140045936162715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26050] ppid=26036 vsize=14090948 memory=1624764 CPUtime=1.72 cores=1,3,5,7
/proc/26039/task/26050/stat : 26050 (java) S 26036 26039 25964 0 -1 1077944384 8155 0 0 0 171 1 0 0 20 0 15 0 271667309 14429130752 406703 33554432000 4194304 4196468 140721242517040 140045474113520 140045936155266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26051] ppid=26036 vsize=14090948 memory=1624764 CPUtime=1.79 cores=1,3,5,7
/proc/26039/task/26051/stat : 26051 (java) S 26036 26039 25964 0 -1 1077944384 7847 0 0 0 178 1 0 0 20 0 15 0 271667309 14429130752 406703 33554432000 4194304 4196468 140721242517040 140045473060976 140045936155266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26052] ppid=26036 vsize=14090948 memory=1626812 CPUtime=0.94 cores=1,3,5,7
/proc/26039/task/26052/stat : 26052 (java) S 26036 26039 25964 0 -1 1077944384 9494 0 0 0 92 2 0 0 20 0 15 0 271667309 14429130752 406703 33554432000 4194304 4196468 140721242517040 140045472008432 140045936155266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26053] ppid=26036 vsize=14090948 memory=1626812 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26053/stat : 26053 (java) S 26036 26039 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667309 14429130752 406703 33554432000 4194304 4196468 140721242517040 140045470956128 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26054] ppid=26036 vsize=14090948 memory=1624764 CPUtime=1.26 cores=1,3,5,7
/proc/26039/task/26054/stat : 26054 (java) S 26036 26039 25964 0 -1 1077944384 1221 0 0 0 56 70 0 0 20 0 15 0 271667310 14429130752 406703 33554432000 4194304 4196468 140721242517040 140045469903664 140045936155266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
Current children cumulated CPU time: 2468.27 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1626812 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2493.5 s]
/proc/loadavg: 2.05 1.74 1.49 3/220 26256
/proc/meminfo: memFree=20517832/32770624 swapFree=67108688/67108860
[pid=26039] ppid=26036 vsize=14090948 memory=1628860 CPUtime=2520.06 cores=1,3,5,7
/proc/26039/stat : 26039 (java) S 26036 26039 25964 0 -1 1077944320 155441 0 0 0 251726 280 0 0 20 0 15 0 271667304 14429130752 407215 33554432000 4194304 4196468 140721242517040 140721242499584 140045936144119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
/proc/26039/statm: 3522737 407215 3597 1 0 3484809 0
[pid=26039/tid=26041] ppid=26036 vsize=14090948 memory=1628860 CPUtime=2477.29 cores=1,3,5,7
/proc/26039/task/26041/stat : 26041 (java) R 26036 26039 25964 0 -1 4202560 67722 0 0 0 247683 46 0 0 20 0 15 0 271667304 14429130752 407215 33554432000 4194304 4196468 140721242517040 140045940382272 140045555111108 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26042] ppid=26036 vsize=14090948 memory=1628860 CPUtime=7.85 cores=1,3,5,7
/proc/26039/task/26042/stat : 26042 (java) S 26036 26039 25964 0 -1 1077944384 12347 0 0 0 742 43 0 0 20 0 15 0 271667305 14429130752 407215 33554432000 4194304 4196468 140721242517040 140045866232080 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26043] ppid=26036 vsize=14090948 memory=1628860 CPUtime=7.8 cores=1,3,5,7
/proc/26039/task/26043/stat : 26043 (java) S 26036 26039 25964 0 -1 1077944384 9990 0 0 0 738 42 0 0 20 0 15 0 271667305 14429130752 407215 33554432000 4194304 4196468 140721242517040 140045530610064 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26044] ppid=26036 vsize=14090948 memory=1628860 CPUtime=7.86 cores=1,3,5,7
/proc/26039/task/26044/stat : 26044 (java) S 26036 26039 25964 0 -1 1077944384 13215 0 0 0 744 42 0 0 20 0 15 0 271667305 14429130752 407215 33554432000 4194304 4196468 140721242517040 140045529557520 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26045] ppid=26036 vsize=14090948 memory=1628860 CPUtime=7.84 cores=1,3,5,7
/proc/26039/task/26045/stat : 26045 (java) S 26036 26039 25964 0 -1 1077944384 11132 0 0 0 741 43 0 0 20 0 15 0 271667305 14429130752 407215 33554432000 4194304 4196468 140721242517040 140045528504976 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26046] ppid=26036 vsize=14090948 memory=1628860 CPUtime=5.57 cores=1,3,5,7
/proc/26039/task/26046/stat : 26046 (java) S 26036 26039 25964 0 -1 1077944384 12878 0 0 0 516 41 0 0 20 0 15 0 271667306 14429130752 407215 33554432000 4194304 4196468 140721242517040 140045478324720 140045936155266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26047] ppid=26036 vsize=14090948 memory=1628860 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26047/stat : 26047 (java) S 26036 26039 25964 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 271667307 14429130752 407215 33554432000 4194304 4196468 140721242517040 140045477271008 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26048] ppid=26036 vsize=14090948 memory=1628860 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26048/stat : 26048 (java) S 26036 26039 25964 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 271667307 14429130752 407215 33554432000 4194304 4196468 140721242517040 140045476218368 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26049] ppid=26036 vsize=14090948 memory=140040831361313 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26049/stat : 26049 (java) S 26036 26039 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667309 14429130752 407215 33554432000 4194304 4196468 140721242517040 140045475166928 140045936162715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26050] ppid=26036 vsize=14090948 memory=1628860 CPUtime=1.72 cores=1,3,5,7
/proc/26039/task/26050/stat : 26050 (java) S 26036 26039 25964 0 -1 1077944384 8157 0 0 0 171 1 0 0 20 0 15 0 271667309 14429130752 407215 33554432000 4194304 4196468 140721242517040 140045474113520 140045936155266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26051] ppid=26036 vsize=14090948 memory=1628860 CPUtime=1.79 cores=1,3,5,7
/proc/26039/task/26051/stat : 26051 (java) S 26036 26039 25964 0 -1 1077944384 7849 0 0 0 178 1 0 0 20 0 15 0 271667309 14429130752 407215 33554432000 4194304 4196468 140721242517040 140045473060976 140045936155266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26052] ppid=26036 vsize=14090948 memory=15784 CPUtime=0.94 cores=1,3,5,7
/proc/26039/task/26052/stat : 26052 (java) S 26036 26039 25964 0 -1 1077944384 9496 0 0 0 92 2 0 0 20 0 15 0 271667309 14429130752 407215 33554432000 4194304 4196468 140721242517040 140045472008432 140045936155266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26053] ppid=26036 vsize=14090948 memory=1628860 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26053/stat : 26053 (java) S 26036 26039 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667309 14429130752 407215 33554432000 4194304 4196468 140721242517040 140045470956128 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26054] ppid=26036 vsize=14090948 memory=1628860 CPUtime=1.28 cores=1,3,5,7
/proc/26039/task/26054/stat : 26054 (java) S 26036 26039 25964 0 -1 1077944384 1238 0 0 0 57 71 0 0 20 0 15 0 271667310 14429130752 407215 33554432000 4194304 4196468 140721242517040 140045469903664 140045936155266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1628860 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2493.52 s]
# the end of solver process 26039 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.28 s, system=2.81044 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2493.5 s]
/proc/loadavg: 2.05 1.74 1.49 3/220 26256
/proc/meminfo: memFree=20517832/32770624 swapFree=67108688/67108860
[pid=26039] ppid=26036 vsize=14090948 memory=1628860 CPUtime=2520.06 cores=1,3,5,7
/proc/26039/stat : 26039 (java) S 26036 26039 25964 0 -1 1077944320 155441 0 0 0 251726 280 0 0 20 0 15 0 271667304 14429130752 407215 33554432000 4194304 4196468 140721242517040 140721242499584 140045936144119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
/proc/26039/statm: 3522737 407215 3597 1 0 3484809 0
[pid=26039/tid=26041] ppid=26036 vsize=14090948 memory=1628860 CPUtime=2477.29 cores=1,3,5,7
/proc/26039/task/26041/stat : 26041 (java) R 26036 26039 25964 0 -1 4202560 67722 0 0 0 247683 46 0 0 20 0 15 0 271667304 14429130752 407215 33554432000 4194304 4196468 140721242517040 140045940382272 140045555111108 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26042] ppid=26036 vsize=14090948 memory=1628860 CPUtime=7.85 cores=1,3,5,7
/proc/26039/task/26042/stat : 26042 (java) S 26036 26039 25964 0 -1 1077944384 12347 0 0 0 742 43 0 0 20 0 15 0 271667305 14429130752 407215 33554432000 4194304 4196468 140721242517040 140045866232080 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26043] ppid=26036 vsize=14090948 memory=1628860 CPUtime=7.8 cores=1,3,5,7
/proc/26039/task/26043/stat : 26043 (java) S 26036 26039 25964 0 -1 1077944384 9990 0 0 0 738 42 0 0 20 0 15 0 271667305 14429130752 407215 33554432000 4194304 4196468 140721242517040 140045530610064 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26044] ppid=26036 vsize=14090948 memory=1628860 CPUtime=7.86 cores=1,3,5,7
/proc/26039/task/26044/stat : 26044 (java) S 26036 26039 25964 0 -1 1077944384 13215 0 0 0 744 42 0 0 20 0 15 0 271667305 14429130752 407215 33554432000 4194304 4196468 140721242517040 140045529557520 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26045] ppid=26036 vsize=14090948 memory=1628860 CPUtime=7.84 cores=1,3,5,7
/proc/26039/task/26045/stat : 26045 (java) S 26036 26039 25964 0 -1 1077944384 11132 0 0 0 741 43 0 0 20 0 15 0 271667305 14429130752 407215 33554432000 4194304 4196468 140721242517040 140045528504976 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26046] ppid=26036 vsize=14090948 memory=1628860 CPUtime=5.57 cores=1,3,5,7
/proc/26039/task/26046/stat : 26046 (java) S 26036 26039 25964 0 -1 1077944384 12878 0 0 0 516 41 0 0 20 0 15 0 271667306 14429130752 407215 33554432000 4194304 4196468 140721242517040 140045478324720 140045936155266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26047] ppid=26036 vsize=14090948 memory=1628860 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26047/stat : 26047 (java) S 26036 26039 25964 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 271667307 14429130752 407215 33554432000 4194304 4196468 140721242517040 140045477271008 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26048] ppid=26036 vsize=14090948 memory=1628860 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26048/stat : 26048 (java) S 26036 26039 25964 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 271667307 14429130752 407215 33554432000 4194304 4196468 140721242517040 140045476218368 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26049] ppid=26036 vsize=14090948 memory=140040831361313 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26049/stat : 26049 (java) S 26036 26039 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667309 14429130752 407215 33554432000 4194304 4196468 140721242517040 140045475166928 140045936162715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26050] ppid=26036 vsize=14090948 memory=1628860 CPUtime=1.72 cores=1,3,5,7
/proc/26039/task/26050/stat : 26050 (java) S 26036 26039 25964 0 -1 1077944384 8157 0 0 0 171 1 0 0 20 0 15 0 271667309 14429130752 407215 33554432000 4194304 4196468 140721242517040 140045474113520 140045936155266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26051] ppid=26036 vsize=14090948 memory=1628860 CPUtime=1.79 cores=1,3,5,7
/proc/26039/task/26051/stat : 26051 (java) S 26036 26039 25964 0 -1 1077944384 7849 0 0 0 178 1 0 0 20 0 15 0 271667309 14429130752 407215 33554432000 4194304 4196468 140721242517040 140045473060976 140045936155266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26052] ppid=26036 vsize=14090948 memory=15784 CPUtime=0.94 cores=1,3,5,7
/proc/26039/task/26052/stat : 26052 (java) S 26036 26039 25964 0 -1 1077944384 9496 0 0 0 92 2 0 0 20 0 15 0 271667309 14429130752 407215 33554432000 4194304 4196468 140721242517040 140045472008432 140045936155266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26053] ppid=26036 vsize=14090948 memory=1628860 CPUtime=0 cores=1,3,5,7
/proc/26039/task/26053/stat : 26053 (java) S 26036 26039 25964 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667309 14429130752 407215 33554432000 4194304 4196468 140721242517040 140045470956128 140045936154325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
[pid=26039/tid=26054] ppid=26036 vsize=14090948 memory=1628860 CPUtime=1.28 cores=1,3,5,7
/proc/26039/task/26054/stat : 26054 (java) S 26036 26039 25964 0 -1 1077944384 1238 0 0 0 57 71 0 0 20 0 15 0 271667310 14429130752 407215 33554432000 4194304 4196468 140721242517040 140045469903664 140045936155266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20758528 140721242518600 140721242518793 140721242518793 140721242521551 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1628860 KiB
Child status: 143
Real time (s): 2493.52
CPU time (s): 2520.09
CPU user time (s): 2517.28
CPU system time (s): 2.81044
CPU usage (%): 101.065
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 1789788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.28
system time used= 2.81044
maximum resident set size= 1791360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155835
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 202829
involuntary context switches= 5878
# summary of solver processes directly reported to runsolver:
# pid: 26039
# total CPU time (s): 2520.09
# total CPU user time (s): 2517.28
# total CPU system time (s): 2.81044
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0897 second user time and 21.9392 second system time
The end
Begin job on node134 at 2018-08-17 23:24:01 IDJOB=4311521 IDBENCH=141037 IDSOLVER=2799 FILE ID=node134/4311521-1534541041 RUNJOBID= node134-1534541041-25996 PBS_JOBID= 21038637 Free space on /tmp= 52480 MiB SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-17 BENCH NAME= XCSP18/StillLife/StillLife-wastage-21_c18.xml COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore 1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4311521-1534541041/watcher-4311521-1534541041 -o /tmp/evaluation-result-4311521-1534541041/solver-4311521-1534541041 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1534541041-25996 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1357837406 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4311521-1534541041.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a6f0507a9e94bceb0819229116432592 RANDOM SEED=1357837406 node134.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.68 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.68 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.68 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.68 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: 24619816 kB MemAvailable: 31868036 kB Buffers: 232760 kB Cached: 7249080 kB SwapCached: 32 kB Active: 4046696 kB Inactive: 3506876 kB Active(anon): 38564 kB Inactive(anon): 101968 kB Active(file): 4008132 kB Inactive(file): 3404908 kB Unevictable: 7396 kB Mlocked: 7396 kB SwapTotal: 67108860 kB SwapFree: 67108688 kB Dirty: 71344 kB Writeback: 0 kB AnonPages: 71460 kB Mapped: 29800 kB Shmem: 66036 kB Slab: 293504 kB SReclaimable: 263640 kB SUnreclaim: 29864 kB KernelStack: 3248 kB PageTables: 6052 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1323276 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 52444 MiB End job on node134 at 2018-08-18 00:05:35