Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | SAT (TO) | 269 | 1991.28 | 252.12399 |
Name | StillLife/StillLife-wst-s1/ StillLife-wastage-24.xml |
MD5SUM | e0f1e7fd363778103a4292aa9d177ae8 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 289 |
Best CPU time to get the best result obtained on this benchmark | 251.842 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1379 |
Number of constraints | 824 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 1353 |
Distribution of domain sizes | [{"size":2,"count":676},{"size":3,"count":676},{"size":577,"count":1},{"size":1353,"count":26}] |
Minimum variable degree | 1 |
Maximum variable degree | 27 |
Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":673},{"degree":3,"count":29},{"degree":4,"count":96},{"degree":8,"count":92},{"degree":9,"count":484},{"degree":27,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 28 |
Distribution of constraint arities | [{"arity":2,"count":122},{"arity":3,"count":96},{"arity":10,"count":576},{"arity":26,"count":4},{"arity":27,"count":1},{"arity":28,"count":25}] |
Number of extensional constraints | 672 |
Number of intensional constraints | 121 |
Distribution of constraint types | [{"type":"extension","count":672},{"type":"intension","count":121},{"type":"sum","count":27},{"type":"instantiation","count":4}] |
Optimization problem | YES |
Type of objective | max VAR |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271790-1502639535.xml" -tl '2016s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4271790-1502639535.xml, -tl, 2016s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 6.13/2.18 c solve instance... 10.93/2.82 o 0 10.93/2.89 o 10 11.69/2.97 o 11 12.30/3.03 o 12 13.20/3.24 o 13 13.20/3.25 o 14 13.20/3.27 o 15 13.20/3.28 o 16 13.20/3.30 o 17 13.77/3.31 o 18 13.77/3.35 o 19 13.77/3.39 o 20 14.56/3.41 o 21 14.56/3.41 o 22 14.56/3.42 o 23 14.56/3.42 o 24 14.56/3.47 o 25 14.56/3.47 o 26 14.56/3.48 o 27 15.15/3.50 o 28 15.15/3.53 o 29 15.15/3.53 o 30 15.15/3.54 o 31 15.15/3.54 o 32 15.15/3.55 o 33 15.15/3.55 o 34 15.15/3.55 o 35 15.15/3.56 o 36 15.15/3.56 o 37 15.15/3.57 o 38 15.15/3.57 o 39 15.15/3.57 o 40 15.15/3.58 o 41 15.15/3.58 o 42 15.15/3.58 o 43 15.15/3.59 o 44 15.15/3.59 o 45 15.15/3.60 o 46 15.73/3.60 o 47 15.73/3.61 o 48 15.73/3.61 o 49 15.73/3.62 o 50 15.73/3.62 o 51 15.73/3.62 o 52 15.73/3.63 o 53 15.73/3.63 o 54 15.73/3.64 o 55 15.73/3.67 o 56 15.73/3.67 o 57 15.73/3.68 o 58 16.41/3.70 o 59 16.41/3.71 o 60 16.41/3.71 o 61 16.41/3.71 o 62 16.41/3.72 o 63 16.41/3.72 o 64 16.41/3.72 o 65 16.41/3.73 o 66 16.41/3.73 o 67 16.41/3.74 o 68 16.41/3.74 o 69 16.41/3.74 o 70 16.41/3.75 o 71 16.41/3.75 o 72 16.41/3.76 o 73 16.41/3.76 o 74 16.41/3.76 o 75 16.41/3.77 o 76 16.41/3.79 o 77 16.41/3.79 o 78 16.41/3.79 o 79 17.05/3.80 o 80 17.05/3.80 o 81 17.05/3.81 o 82 17.05/3.81 o 83 17.05/3.81 o 84 17.05/3.82 o 85 17.05/3.82 o 86 17.05/3.83 o 87 17.05/3.83 o 88 17.05/3.84 o 89 17.05/3.84 o 90 17.05/3.85 o 91 17.05/3.85 o 92 17.05/3.86 o 93 17.05/3.87 o 94 17.05/3.87 o 95 17.05/3.88 o 96 17.05/3.89 o 97 17.05/3.89 o 98 17.05/3.89 o 99 17.57/3.90 o 100 17.57/3.90 o 101 17.57/3.93 o 102 17.57/3.93 o 103 17.57/3.93 o 104 17.57/3.94 o 105 17.57/3.94 o 106 17.57/3.95 o 107 17.57/3.95 o 108 17.57/3.95 o 109 17.57/3.96 o 110 17.57/3.96 o 111 17.57/3.97 o 112 17.57/3.97 o 113 17.57/3.97 o 114 17.57/3.98 o 115 17.57/3.98 o 116 17.57/3.98 o 117 17.57/3.99 o 118 17.57/4.00 o 119 17.57/4.00 o 120 18.19/4.01 o 121 18.19/4.02 o 122 18.19/4.02 o 123 18.19/4.02 o 124 18.19/4.03 o 125 18.19/4.03 o 126 18.19/4.04 o 127 18.19/4.04 o 128 18.19/4.04 o 129 18.19/4.05 o 130 18.19/4.05 o 131 18.19/4.06 o 132 18.19/4.06 o 133 18.19/4.07 o 134 18.19/4.07 o 135 18.19/4.07 o 136 18.19/4.08 o 137 18.19/4.08 o 138 18.19/4.09 o 139 18.19/4.09 o 140 18.19/4.10 o 141 18.19/4.10 o 142 18.77/4.11 o 143 18.77/4.11 o 144 18.77/4.12 o 145 18.77/4.12 o 146 18.77/4.13 o 147 18.77/4.15 o 148 18.77/4.16 o 149 18.77/4.16 o 150 18.77/4.17 o 151 18.77/4.20 o 152 19.33/4.20 o 153 19.33/4.20 o 154 19.33/4.22 o 155 19.33/4.22 o 156 19.33/4.23 o 157 19.33/4.25 o 158 19.33/4.26 o 159 19.33/4.26 o 160 19.33/4.27 o 161 19.33/4.27 o 162 20.17/4.40 o 163 20.17/4.41 o 164 20.17/4.41 o 165 20.17/4.42 o 166 20.17/4.42 o 167 20.17/4.43 o 168 20.17/4.43 o 169 20.17/4.44 o 170 20.17/4.44 o 171 20.17/4.45 o 172 20.17/4.45 o 173 20.17/4.46 o 174 20.17/4.47 o 175 20.17/4.47 o 176 20.17/4.48 o 177 20.17/4.49 o 178 20.17/4.49 o 179 20.71/4.50 o 180 20.71/4.50 o 181 20.71/4.51 o 182 20.71/4.51 o 183 20.71/4.52 o 184 20.71/4.53 o 185 20.71/4.53 o 186 20.71/4.54 o 187 20.71/4.54 o 188 20.71/4.57 o 189 20.71/4.58 o 190 20.71/4.58 o 191 20.71/4.59 o 192 21.29/4.60 o 193 21.29/4.61 o 194 21.29/4.62 o 195 21.29/4.62 o 196 21.29/4.63 o 197 21.29/4.63 o 198 21.29/4.64 o 199 21.29/4.65 o 200 21.29/4.65 o 201 21.29/4.66 o 202 21.29/4.66 o 203 21.29/4.67 o 204 21.29/4.67 o 205 21.29/4.68 o 206 21.29/4.68 o 207 21.29/4.69 o 208 21.29/4.69 o 209 21.29/4.70 o 210 21.93/4.70 o 211 21.93/4.71 o 212 21.93/4.71 o 213 21.93/4.72 o 214 21.93/4.72 o 215 21.93/4.73 o 216 21.93/4.73 o 217 21.93/4.74 o 218 21.93/4.75 o 219 21.93/4.75 o 220 21.93/4.76 o 221 21.93/4.76 o 222 21.93/4.77 o 223 21.93/4.77 o 224 21.93/4.78 o 225 21.93/4.78 o 226 21.93/4.79 o 227 21.93/4.79 o 228 21.93/4.80 o 229 22.49/4.80 o 230 22.49/4.81 o 231 22.49/4.81 o 232 22.49/4.82 o 233 22.49/4.83 o 234 22.49/4.83 o 235 22.49/4.84 o 236 22.49/4.84 o 237 22.49/4.85 o 238 22.49/4.85 o 239 22.49/4.86 o 240 22.49/4.86 o 241 22.49/4.87 o 242 22.49/4.87 o 243 22.49/4.88 o 244 22.49/4.88 o 245 22.49/4.89 o 246 22.49/4.90 o 247 23.10/4.90 o 248 23.10/4.91 o 249 23.10/4.91 o 250 23.10/4.92 o 251 23.10/4.92 o 252 23.10/4.93 o 253 23.10/4.93 o 254 23.10/4.94 o 255 23.10/4.94 o 256 23.10/4.95 o 257 23.10/4.95 o 258 23.10/4.96 o 259 23.10/4.97 o 260 23.10/4.97 o 261 27.31/5.52 o 262 27.93/5.66 o 263 34.53/6.57 o 264 35.41/6.76 o 265 80.61/12.50 o 266 90.15/13.75 o 267 124.38/18.03 o 268 1163.41/148.33 o 269 1990.55/252.08 s SATISFIABLE 1990.55/252.08 v <instantiation> 1990.55/252.08 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] 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[0][23] w[0][24] w[0][25] 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[1][23] w[1][24] w[1][25] 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[2][23] w[2][24] w[2][25] 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[3][23] w[3][24] w[3][25] 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[4][23] w[4][24] w[4][25] 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[5][23] w[5][24] w[5][25] 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[6][23] w[6][24] w[6][25] 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[7][23] w[7][24] w[7][25] 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[8][23] w[8][24] w[8][25] 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[9][23] w[9][24] w[9][25] 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[10][23] w[10][24] w[10][25] 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[11][23] w[11][24] w[11][25] 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[12][23] w[12][24] w[12][25] 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[13][23] w[13][24] w[13][25] 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[14][23] w[14][24] w[14][25] 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[15][23] w[15][24] w[15][25] 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[16][23] w[16][24] w[16][25] 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[17][23] w[17][24] w[17][25] 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[18][23] w[18][24] w[18][25] 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[19][23] w[19][24] w[19][25] 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[20][23] w[20][24] w[20][25] 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[21][23] w[21][24] w[21][25] 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] w[22][23] w[22][24] w[22][25] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] 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] ws[23] ws[24] ws[25] z </list> 1990.55/252.08 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 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 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 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 1 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 1 1 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 1 0 1 0 1 0 1 1 0 0 0 1 1 1 0 0 1 1 1 1 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 1 1 0 0 0 1 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 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 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 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 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 2 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 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 1 0 1 0 0 1 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 0 2 0 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 1 1 1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 2 1 1 2 1 1 2 1 1 2 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 1 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 0 2 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 1 1 0 1 1 0 0 1 0 0 0 1 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 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 1 1 0 0 0 1 1 0 0 1 1 0 0 1 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 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 2 1 0 0 0 2 2 1 1 1 0 0 0 0 0 2 0 0 0 0 0 0 0 1 0 1 1 1 0 0 1 1 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 0 8 10 12 23 24 25 53 61 64 67 69 73 90 95 98 102 105 111 122 124 129 136 137 143 158 172 269 </values> 1990.55/252.08 v </instantiation> 1990.55/252.08 c Unexpected resolution interruption!
OK 269
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 (14306 MiB free) memory of node 1: 16384 MiB (14171 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271790-1502639535/watcher-4271790-1502639535 -o /tmp/evaluation-result-4271790-1502639535/solver-4271790-1502639535 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1502636397-3850 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 15102655 HOME/instance-4271790-1502639535.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=5522, runsolver pid=5519 [startup+0.10014 s]* /proc/loadavg: 3.74 6.35 6.92 2/199 5543 /proc/meminfo: memFree=29146372/32770624 swapFree=67108860/67108860 [pid=5522] ppid=5519 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/5522/stat : 5522 (xcsp3-exec) S 5519 5522 3823 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97041624 9740288 345 33554432000 4194304 5098028 140735495499104 140735495497208 140534327972476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35987456 140735495500908 140735495501116 140735495501116 140735495503851 0 /proc/5522/statm: 2378 345 289 221 0 87 0 [pid=5524] ppid=5522 vsize=25999808 memory=26480 CPUtime=0.11 cores=0-7 /proc/5524/stat : 5524 (java) S 5522 5522 3823 0 -1 1077944320 5476 0 0 0 10 1 0 0 20 0 20 0 97041624 26623803392 6620 33554432000 4194304 4196468 140727858479008 140727858461552 139937754468087 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 /proc/5524/statm: 6499952 6620 2867 1 0 6488269 0 [pid=5524/tid=5525] ppid=5522 vsize=25999808 memory=4134692831991783777 CPUtime=0.09 cores=0-7 /proc/5524/task/5525/stat : 5525 (java) R 5522 5522 3823 0 -1 4202560 3482 0 0 0 8 1 0 0 20 0 20 0 97041624 26623803392 6620 33554432000 4194304 4196468 140727858479008 139937758702624 139937754490013 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5526] ppid=5522 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/5524/task/5526/stat : 5526 (java) S 5522 5522 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97041625 26623803392 6620 33554432000 4194304 4196468 140727858479008 139937707088528 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5527] ppid=5522 vsize=25999808 memory=139837628585600 CPUtime=0 cores=0-7 /proc/5524/task/5527/stat : 5527 (java) S 5522 5522 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97041625 26623803392 6620 33554432000 4194304 4196468 140727858479008 139937706035728 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5528] ppid=5522 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5524/task/5528/stat : 5528 (java) S 5522 5522 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97041625 26623803392 6620 33554432000 4194304 4196468 140727858479008 139937704982928 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5529] ppid=5522 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5524/task/5529/stat : 5529 (java) S 5522 5522 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97041625 26623803392 6620 33554432000 4194304 4196468 140727858479008 139937703930128 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5530] ppid=5522 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5524/task/5530/stat : 5530 (java) S 5522 5522 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97041625 26623803392 6620 33554432000 4194304 4196468 140727858479008 139937702878352 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5531] ppid=5522 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/5524/task/5531/stat : 5531 (java) S 5522 5522 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97041625 26623803392 6620 33554432000 4194304 4196468 140727858479008 139937701825552 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5532] ppid=5522 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5524/task/5532/stat : 5532 (java) S 5522 5522 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97041625 26623803392 6620 33554432000 4194304 4196468 140727858479008 139937700772752 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5533] ppid=5522 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5524/task/5533/stat : 5533 (java) S 5522 5522 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97041625 26623803392 6620 33554432000 4194304 4196468 140727858479008 139937699719952 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5534] ppid=5522 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5524/task/5534/stat : 5534 (java) S 5522 5522 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97041627 26623803392 6620 33554432000 4194304 4196468 140727858479008 139936496638320 139937754479234 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5535] ppid=5522 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5524/task/5535/stat : 5535 (java) S 5522 5522 3823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97041627 26623803392 6620 33554432000 4194304 4196468 140727858479008 139936495584288 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5536] ppid=5522 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5524/task/5536/stat : 5536 (java) S 5522 5522 3823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97041627 26623803392 6620 33554432000 4194304 4196468 140727858479008 139936494531440 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5537] ppid=5522 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5524/task/5537/stat : 5537 (java) S 5522 5522 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97041630 26623803392 6620 33554432000 4194304 4196468 140727858479008 139936493479760 139937754486683 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5538] ppid=5522 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5524/task/5538/stat : 5538 (java) R 5522 5522 3823 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 20 0 97041630 26623803392 6620 33554432000 4194304 4196468 140727858479008 139936492428144 139937754479234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5539] ppid=5522 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5524/task/5539/stat : 5539 (java) S 5522 5522 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97041630 26623803392 6620 33554432000 4194304 4196468 140727858479008 139936491375344 139937754479234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5540] ppid=5522 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5524/task/5540/stat : 5540 (java) S 5522 5522 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97041630 26623803392 6620 33554432000 4194304 4196468 140727858479008 139936490322544 139937754479234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5541] ppid=5522 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/5524/task/5541/stat : 5541 (java) R 5522 5522 3823 0 -1 1077944384 257 0 0 0 1 0 0 0 20 0 20 0 97041630 26623803392 6620 33554432000 4194304 4196468 140727858479008 139936489269744 139937754479234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5542] ppid=5522 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5524/task/5542/stat : 5542 (java) S 5522 5522 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97041630 26623803392 6620 33554432000 4194304 4196468 140727858479008 139936488217184 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5543] ppid=5522 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/5524/task/5543/stat : 5543 (java) S 5522 5522 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97041630 26623803392 6620 33554432000 4194304 4196468 140727858479008 139936487164464 139937754479234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27860 KiB [startup+0.209988 s]* /proc/loadavg: 3.74 6.35 6.92 3/199 5543 /proc/meminfo: memFree=29134636/32770624 swapFree=67108860/67108860 [pid=5522] ppid=5519 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/5522/stat : 5522 (xcsp3-exec) S 5519 5522 3823 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97041624 9740288 345 33554432000 4194304 5098028 140735495499104 140735495497208 140534327972476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35987456 140735495500908 140735495501116 140735495501116 140735495503851 0 /proc/5522/statm: 2378 345 289 221 0 87 0 [pid=5524] ppid=5522 vsize=26004064 memory=38824 CPUtime=0.33 cores=0-7 /proc/5524/stat : 5524 (java) S 5522 5522 3823 0 -1 1077944320 8322 0 0 0 31 2 0 0 20 0 20 0 97041624 26628161536 9706 33554432000 4194304 4196468 140727858479008 140727858461552 139937754468087 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 /proc/5524/statm: 6501016 9706 3037 1 0 6488269 0 [pid=5524/tid=5525] ppid=5522 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/5524/task/5525/stat : 5525 (java) R 5522 5522 3823 0 -1 4202560 5393 0 0 0 18 1 0 0 20 0 20 0 97041624 26628161536 9706 33554432000 4194304 4196468 140727858479008 139937758688896 139937367281198 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5526] ppid=5522 vsize=26004064 memory=327 CPUtime=0 cores=0-7 /proc/5524/task/5526/stat : 5526 (java) S 5522 5522 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97041625 26628161536 9706 33554432000 4194304 4196468 140727858479008 139937707088528 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5527] ppid=5522 vsize=26004064 memory=139837628591379 CPUtime=0 cores=0-7 /proc/5524/task/5527/stat : 5527 (java) S 5522 5522 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97041625 26628161536 9706 33554432000 4194304 4196468 140727858479008 139937706035728 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5528] ppid=5522 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/5524/task/5528/stat : 5528 (java) S 5522 5522 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97041625 26628161536 9706 33554432000 4194304 4196468 140727858479008 139937704982928 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5529] ppid=5522 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5524/task/5529/stat : 5529 (java) S 5522 5522 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97041625 26628161536 9706 33554432000 4194304 4196468 140727858479008 139937703930128 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5530] ppid=5522 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5524/task/5530/stat : 5530 (java) S 5522 5522 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97041625 26628161536 9706 33554432000 4194304 4196468 140727858479008 139937702878352 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5531] ppid=5522 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/5524/task/5531/stat : 5531 (java) S 5522 5522 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97041625 26628161536 9706 33554432000 4194304 4196468 140727858479008 139937701825552 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5532] ppid=5522 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5524/task/5532/stat : 5532 (java) S 5522 5522 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97041625 26628161536 9706 33554432000 4194304 4196468 140727858479008 139937700772752 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5533] ppid=5522 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5524/task/5533/stat : 5533 (java) S 5522 5522 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97041625 26628161536 9706 33554432000 4194304 4196468 140727858479008 139937699719952 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5534] ppid=5522 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5524/task/5534/stat : 5534 (java) S 5522 5522 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97041627 26628161536 9706 33554432000 4194304 4196468 140727858479008 139936496638320 139937754479234 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5535] ppid=5522 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5524/task/5535/stat : 5535 (java) S 5522 5522 3823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97041627 26628161536 9706 33554432000 4194304 4196468 140727858479008 139936495584288 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5536] ppid=5522 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5524/task/5536/stat : 5536 (java) S 5522 5522 3823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97041627 26628161536 9706 33554432000 4194304 4196468 140727858479008 139936494531440 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5537] ppid=5522 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5524/task/5537/stat : 5537 (java) S 5522 5522 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97041630 26628161536 9706 33554432000 4194304 4196468 140727858479008 139936493479760 139937754486683 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5538] ppid=5522 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/5524/task/5538/stat : 5538 (java) S 5522 5522 3823 0 -1 1077944384 519 0 0 0 1 0 0 0 20 0 20 0 97041630 26628161536 9706 33554432000 4194304 4196468 140727858479008 139936492428144 139937754479234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5539] ppid=5522 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/5524/task/5539/stat : 5539 (java) R 5522 5522 3823 0 -1 1077944384 83 0 0 0 1 0 0 0 20 0 20 0 97041630 26628161536 9706 33554432000 4194304 4196468 140727858479008 139936491375344 139937754479234 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5540] ppid=5522 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7 /proc/5524/task/5540/stat : 5540 (java) S 5522 5522 3823 0 -1 1077944384 248 0 0 0 2 0 0 0 20 0 20 0 97041630 26628161536 9706 33554432000 4194304 4196468 140727858479008 139936490322544 139937754479234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5541] ppid=5522 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/5524/task/5541/stat : 5541 (java) R 5522 5522 3823 0 -1 4202560 770 0 0 0 7 0 0 0 20 0 20 0 97041630 26628161536 9706 33554432000 4194304 4196468 140727858479008 139936489269744 139937733848069 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5542] ppid=5522 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5524/task/5542/stat : 5542 (java) S 5522 5522 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97041630 26628161536 9706 33554432000 4194304 4196468 140727858479008 139936488217184 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5543] ppid=5522 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/5524/task/5543/stat : 5543 (java) S 5522 5522 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97041630 26628161536 9706 33554432000 4194304 4196468 140727858479008 139936487164464 139937754479234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40204 KiB [startup+0.309468 s]* /proc/loadavg: 3.74 6.35 6.92 3/199 5543 /proc/meminfo: memFree=29129876/32770624 swapFree=67108860/67108860 [pid=5522] ppid=5519 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/5522/stat : 5522 (xcsp3-exec) S 5519 5522 3823 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97041624 9740288 345 33554432000 4194304 5098028 140735495499104 140735495497208 140534327972476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35987456 140735495500908 140735495501116 140735495501116 140735495503851 0 /proc/5522/statm: 2378 345 289 221 0 87 0 [pid=5524] ppid=5522 vsize=26004064 memory=45792 CPUtime=0.5 cores=0-7 /proc/5524/stat : 5524 (java) S 5522 5522 3823 0 -1 1077944320 9161 0 0 0 47 3 0 0 20 0 20 0 97041624 26628161536 11448 33554432000 4194304 4196468 140727858479008 140727858461552 139937754468087 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 /proc/5524/statm: 6501016 11448 3063 1 0 6488269 0 [pid=5524/tid=5525] ppid=5522 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7 /proc/5524/task/5525/stat : 5525 (java) R 5522 5522 3823 0 -1 4202560 6069 0 0 0 27 2 0 0 20 0 20 0 97041624 26628161536 11448 33554432000 4194304 4196468 140727858479008 139937758704272 139937754480022 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5526] ppid=5522 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5524/task/5526/stat : 5526 (java) S 5522 5522 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97041625 26628161536 11448 33554432000 4194304 4196468 140727858479008 139937707088528 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5527] ppid=5522 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5524/task/5527/stat : 5527 (java) S 5522 5522 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97041625 26628161536 11448 33554432000 4194304 4196468 140727858479008 139937706035728 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5528] ppid=5522 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5524/task/5528/stat : 5528 (java) S 5522 5522 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97041625 26628161536 11448 33554432000 4194304 4196468 140727858479008 139937704982928 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5529] ppid=5522 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5524/task/5529/stat : 5529 (java) S 5522 5522 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97041625 26628161536 11448 33554432000 4194304 4196468 140727858479008 139937703930128 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5530] ppid=5522 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/5524/task/5530/stat : 5530 (java) S 5522 5522 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97041625 26628161536 11448 33554432000 4194304 4196468 140727858479008 139937702878352 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5531] ppid=5522 vsize=26004064 memory=139837491475375 CPUtime=0 cores=0-7 /proc/5524/task/5531/stat : 5531 (java) S 5522 5522 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97041625 26628161536 11448 33554432000 4194304 4196468 140727858479008 139937701825552 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5532] ppid=5522 vsize=26004064 memory=139837491477680 CPUtime=0 cores=0-7 /proc/5524/task/5532/stat : 5532 (java) S 5522 5522 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97041625 26628161536 11448 33554432000 4194304 4196468 140727858479008 139937700772752 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5533] ppid=5522 vsize=26004064 memory=139837491479984 CPUtime=0 cores=0-7 /proc/5524/task/5533/stat : 5533 (java) S 5522 5522 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97041625 26628161536 11448 33554432000 4194304 4196468 140727858479008 139937699719952 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5534] ppid=5522 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5524/task/5534/stat : 5534 (java) S 5522 5522 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97041627 26628161536 11448 33554432000 4194304 4196468 140727858479008 139936496638320 139937754479234 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5535] ppid=5522 vsize=26004064 memory=279674982966928 CPUtime=0 cores=0-7 /proc/5524/task/5535/stat : 5535 (java) S 5522 5522 3823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97041627 26628161536 11448 33554432000 4194304 4196468 140727858479008 139936495584288 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5536] ppid=5522 vsize=26004064 memory=279674982973840 CPUtime=0 cores=0-7 /proc/5524/task/5536/stat : 5536 (java) S 5522 5522 3823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97041627 26628161536 11448 33554432000 4194304 4196468 140727858479008 139936494531440 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5537] ppid=5522 vsize=26004064 memory=279674982915120 CPUtime=0 cores=0-7 /proc/5524/task/5537/stat : 5537 (java) S 5522 5522 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97041630 26628161536 11448 33554432000 4194304 4196468 140727858479008 139936493479760 139937754486683 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5538] ppid=5522 vsize=26004064 memory=279674982987664 CPUtime=0.01 cores=0-7 /proc/5524/task/5538/stat : 5538 (java) S 5522 5522 3823 0 -1 1077944384 525 0 0 0 1 0 0 0 20 0 20 0 97041630 26628161536 11448 33554432000 4194304 4196468 140727858479008 139936492428144 139937754479234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5539] ppid=5522 vsize=26004064 memory=279674982994576 CPUtime=0.02 cores=0-7 /proc/5524/task/5539/stat : 5539 (java) S 5522 5522 3823 0 -1 1077944384 133 0 0 0 2 0 0 0 20 0 20 0 97041630 26628161536 11448 33554432000 4194304 4196468 140727858479008 139936491375344 139937754479234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5540] ppid=5522 vsize=26004064 memory=279674982992272 CPUtime=0.03 cores=0-7 /proc/5524/task/5540/stat : 5540 (java) S 5522 5522 3823 0 -1 1077944384 251 0 0 0 3 0 0 0 20 0 20 0 97041630 26628161536 11448 33554432000 4194304 4196468 140727858479008 139936490322544 139937754479234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5541] ppid=5522 vsize=26004064 memory=279674983008432 CPUtime=0.12 cores=0-7 /proc/5524/task/5541/stat : 5541 (java) R 5522 5522 3823 0 -1 4202560 879 0 0 0 12 0 0 0 20 0 20 0 97041630 26628161536 11448 33554432000 4194304 4196468 140727858479008 139936489266112 139937746705214 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5542] ppid=5522 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5524/task/5542/stat : 5542 (java) S 5522 5522 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97041630 26628161536 11448 33554432000 4194304 4196468 140727858479008 139936488217184 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5543] ppid=5522 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/5524/task/5543/stat : 5543 (java) S 5522 5522 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97041630 26628161536 11448 33554432000 4194304 4196468 140727858479008 139936487164464 139937754479234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47172 KiB [startup+0.700991 s] /proc/loadavg: 3.74 6.35 6.92 3/199 5543 /proc/meminfo: memFree=29110976/32770624 swapFree=67108860/67108860 [pid=5522] ppid=5519 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/5522/stat : 5522 (xcsp3-exec) S 5519 5522 3823 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97041624 9740288 345 33554432000 4194304 5098028 140735495499104 140735495497208 140534327972476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35987456 140735495500908 140735495501116 140735495501116 140735495503851 0 /proc/5522/statm: 2378 345 289 221 0 87 0 [pid=5524] ppid=5522 vsize=26006188 memory=79252 CPUtime=1.86 cores=0-7 /proc/5524/stat : 5524 (java) S 5522 5522 3823 0 -1 1077944320 12902 0 0 0 181 5 0 0 20 0 20 0 97041624 26630336512 19813 33554432000 4194304 4196468 140727858479008 140727858461552 139937754468087 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 /proc/5524/statm: 6501547 19813 3199 1 0 6488781 0 [pid=5524/tid=5525] ppid=5522 vsize=26006188 memory=279674983366320 CPUtime=0.67 cores=0-7 /proc/5524/task/5525/stat : 5525 (java) R 5522 5522 3823 0 -1 4202560 6597 0 0 0 65 2 0 0 20 0 20 0 97041624 26630336512 19813 33554432000 4194304 4196468 140727858479008 139937758703216 139937754480022 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5526] ppid=5522 vsize=26006188 memory=139837491684208 CPUtime=0 cores=0-7 /proc/5524/task/5526/stat : 5526 (java) S 5522 5522 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97041625 26630336512 19813 33554432000 4194304 4196468 140727858479008 139937707088528 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5527] ppid=5522 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/5524/task/5527/stat : 5527 (java) S 5522 5522 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97041625 26630336512 19813 33554432000 4194304 4196468 140727858479008 139937706035728 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5528] ppid=5522 vsize=26006188 memory=5296 CPUtime=0 cores=0-7 /proc/5524/task/5528/stat : 5528 (java) S 5522 5522 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97041625 26630336512 19813 33554432000 4194304 4196468 140727858479008 139937704982928 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 ################ # More data... # ################ [pid=5524/tid=7647] ppid=5522 vsize=26607312 memory=1380 CPUtime=13.96 cores=0-7 /proc/5524/task/7647/stat : 7647 (java) R 5522 5522 3823 0 -1 4202560 1309 0 0 0 1390 6 0 0 20 0 28 0 97056457 27245887488 1297726 33554432000 4194304 4196468 140727858479008 139936478102280 139937373360597 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 Current children cumulated CPU time: 1274.86 s Current children cumulated vsize: 26616824 KiB Current children cumulated memory: 5192284 KiB [startup+222.302 s] /proc/loadavg: 8.12 7.42 7.24 9/208 7647 /proc/meminfo: memFree=23767668/32770624 swapFree=67108860/67108860 [pid=5522] ppid=5519 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/5522/stat : 5522 (xcsp3-exec) S 5519 5522 3823 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97041624 9740288 345 33554432000 4194304 5098028 140735495499104 140735495497208 140534327972476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35987456 140735495500908 140735495501116 140735495501116 140735495503851 0 /proc/5522/statm: 2378 345 289 221 0 87 0 [pid=5524] ppid=5522 vsize=26607312 memory=5399928 CPUtime=1753.52 cores=0-7 /proc/5524/stat : 5524 (java) S 5522 5522 3823 0 -1 1077944320 152478 0 0 0 175097 255 0 0 20 0 28 0 97041624 27245887488 1349982 33554432000 4194304 4196468 140727858479008 140727858461552 139937754468087 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 /proc/5524/statm: 6651828 1349982 3288 1 0 6639062 0 [pid=5524/tid=5525] ppid=5522 vsize=26607312 memory=5399928 CPUtime=2.34 cores=0-7 /proc/5524/task/5525/stat : 5525 (java) S 5522 5522 3823 0 -1 1077944384 9832 0 0 0 229 5 0 0 20 0 28 0 97041624 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139937758708752 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5526] ppid=5522 vsize=26607312 memory=5399928 CPUtime=0.13 cores=0-7 /proc/5524/task/5526/stat : 5526 (java) S 5522 5522 3823 0 -1 1077944384 324 0 0 0 8 5 0 0 20 0 28 0 97041625 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139937707088528 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5527] ppid=5522 vsize=26607312 memory=5399928 CPUtime=0.13 cores=0-7 /proc/5524/task/5527/stat : 5527 (java) S 5522 5522 3823 0 -1 1077944384 555 0 0 0 9 4 0 0 20 0 28 0 97041625 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139937706035728 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5528] ppid=5522 vsize=26607312 memory=5399928 CPUtime=0.15 cores=0-7 /proc/5524/task/5528/stat : 5528 (java) S 5522 5522 3823 0 -1 1077944384 410 0 0 0 10 5 0 0 20 0 28 0 97041625 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139937704982928 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5529] ppid=5522 vsize=26607312 memory=5399928 CPUtime=0.15 cores=0-7 /proc/5524/task/5529/stat : 5529 (java) S 5522 5522 3823 0 -1 1077944384 270 0 0 0 9 6 0 0 20 0 28 0 97041625 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139937703930128 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5530] ppid=5522 vsize=26607312 memory=1380 CPUtime=0.13 cores=0-7 /proc/5524/task/5530/stat : 5530 (java) S 5522 5522 3823 0 -1 1077944384 1333 0 0 0 8 5 0 0 20 0 28 0 97041625 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139937702878352 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5531] ppid=5522 vsize=26607312 memory=1160 CPUtime=0.1 cores=0-7 /proc/5524/task/5531/stat : 5531 (java) S 5522 5522 3823 0 -1 1077944384 270 0 0 0 7 3 0 0 20 0 28 0 97041625 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139937701825552 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5532] ppid=5522 vsize=26607312 memory=1380 CPUtime=0.15 cores=0-7 /proc/5524/task/5532/stat : 5532 (java) S 5522 5522 3823 0 -1 1077944384 606 0 0 0 9 6 0 0 20 0 28 0 97041625 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139937700772752 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5533] ppid=5522 vsize=26607312 memory=1380 CPUtime=0.14 cores=0-7 /proc/5524/task/5533/stat : 5533 (java) S 5522 5522 3823 0 -1 1077944384 341 0 0 0 9 5 0 0 20 0 28 0 97041625 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139937699719952 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5534] ppid=5522 vsize=26607312 memory=5399928 CPUtime=0.04 cores=0-7 /proc/5524/task/5534/stat : 5534 (java) S 5522 5522 3823 0 -1 1077944384 4757 0 0 0 3 1 0 0 20 0 28 0 97041627 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139936496638320 139937754479234 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5535] ppid=5522 vsize=26607312 memory=5399928 CPUtime=0 cores=0-7 /proc/5524/task/5535/stat : 5535 (java) S 5522 5522 3823 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 97041627 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139936495584352 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5536] ppid=5522 vsize=26607312 memory=1380 CPUtime=0 cores=0-7 /proc/5524/task/5536/stat : 5536 (java) S 5522 5522 3823 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 28 0 97041627 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139936494531520 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5537] ppid=5522 vsize=26607312 memory=4612 CPUtime=0 cores=0-7 /proc/5524/task/5537/stat : 5537 (java) S 5522 5522 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97041630 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139936493479760 139937754486683 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5538] ppid=5522 vsize=26607312 memory=15872 CPUtime=3.35 cores=0-7 /proc/5524/task/5538/stat : 5538 (java) S 5522 5522 3823 0 -1 1077944384 15331 0 0 0 332 3 0 0 20 0 28 0 97041630 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139936492428144 139937754479234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5539] ppid=5522 vsize=26607312 memory=5399928 CPUtime=3.74 cores=0-7 /proc/5524/task/5539/stat : 5539 (java) S 5522 5522 3823 0 -1 1077944384 18775 0 0 0 370 4 0 0 20 0 28 0 97041630 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139936491375344 139937754479234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5540] ppid=5522 vsize=26607312 memory=1380 CPUtime=3.51 cores=0-7 /proc/5524/task/5540/stat : 5540 (java) S 5522 5522 3823 0 -1 1077944384 14259 0 0 0 349 2 0 0 20 0 28 0 97041630 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139936490322544 139937754479234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5541] ppid=5522 vsize=26607312 memory=5399928 CPUtime=1.14 cores=0-7 /proc/5524/task/5541/stat : 5541 (java) S 5522 5522 3823 0 -1 1077944384 13584 0 0 0 111 3 0 0 20 0 28 0 97041630 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139936489269744 139937754479234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5542] ppid=5522 vsize=26607312 memory=1380 CPUtime=0 cores=0-7 /proc/5524/task/5542/stat : 5542 (java) S 5522 5522 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97041630 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139936488217184 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5543] ppid=5522 vsize=26607312 memory=8112282956445269571 CPUtime=0.08 cores=0-7 /proc/5524/task/5543/stat : 5543 (java) S 5522 5522 3823 0 -1 1077944384 1643 0 0 0 4 4 0 0 20 0 28 0 97041630 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139936487164464 139937754479234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=7640] ppid=5522 vsize=26607312 memory=15744 CPUtime=73.93 cores=0-7 /proc/5524/task/7640/stat : 7640 (java) R 5522 5522 3823 0 -1 4202560 1601 0 0 0 7390 3 0 0 20 0 28 0 97056457 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139936401419016 139937376147894 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=7641] ppid=5522 vsize=26607312 memory=1380 CPUtime=73.94 cores=0-7 /proc/5524/task/7641/stat : 7641 (java) R 5522 5522 3823 0 -1 4202560 1089 0 0 0 7393 1 0 0 20 0 28 0 97056457 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139936406675384 139937375101682 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=7642] ppid=5522 vsize=26607312 memory=1380 CPUtime=73.91 cores=0-7 /proc/5524/task/7642/stat : 7642 (java) R 5522 5522 3823 0 -1 4202560 947 0 0 0 7390 1 0 0 20 0 28 0 97056457 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139936479154752 139937376152400 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=7643] ppid=5522 vsize=26607312 memory=164 CPUtime=73.88 cores=0-7 /proc/5524/task/7643/stat : 7643 (java) R 5522 5522 3823 0 -1 4202560 1821 0 0 0 7382 6 0 0 20 0 28 0 97056457 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139936409836600 139937369840156 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=7644] ppid=5522 vsize=26607312 memory=7517972595624865381 CPUtime=73.91 cores=0-7 /proc/5524/task/7644/stat : 7644 (java) R 5522 5522 3823 0 -1 4202560 3333 0 0 0 7386 5 0 0 20 0 28 0 97056457 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139936404571144 139937373193601 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=7645] ppid=5522 vsize=26607312 memory=27764 CPUtime=73.87 cores=0-7 /proc/5524/task/7645/stat : 7645 (java) R 5522 5522 3823 0 -1 4202560 988 0 0 0 7386 1 0 0 20 0 28 0 97056457 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139936408781048 139937376497917 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=7646] ppid=5522 vsize=26607312 memory=1292 CPUtime=73.55 cores=0-7 /proc/5524/task/7646/stat : 7646 (java) R 5522 5522 3823 0 -1 4202560 1852 0 0 0 7348 7 0 0 20 0 28 0 97056457 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139936407728568 139937374254627 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=7647] ppid=5522 vsize=26607312 memory=2428 CPUtime=72.8 cores=0-7 /proc/5524/task/7647/stat : 7647 (java) R 5522 5522 3823 0 -1 4202560 3357 0 0 0 7266 14 0 0 20 0 28 0 97056457 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139936478101368 139937375101682 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 Current children cumulated CPU time: 1753.52 s Current children cumulated vsize: 26616824 KiB Current children cumulated memory: 5401308 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.002 s]* /proc/loadavg: 8.07 7.47 7.26 9/208 7647 /proc/meminfo: memFree=23768288/32770624 swapFree=67108860/67108860 [pid=5522] ppid=5519 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/5522/stat : 5522 (xcsp3-exec) S 5519 5522 3823 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97041624 9740288 345 33554432000 4194304 5098028 140735495499104 140735495497208 140534327972476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35987456 140735495500908 140735495501116 140735495501116 140735495503851 0 /proc/5522/statm: 2378 345 289 221 0 87 0 [pid=5524] ppid=5522 vsize=26607312 memory=5399928 CPUtime=1990.55 cores=0-7 /proc/5524/stat : 5524 (java) S 5522 5522 3823 0 -1 1077944320 154579 0 0 0 198791 264 0 0 20 0 28 0 97041624 27245887488 1349982 33554432000 4194304 4196468 140727858479008 140727858461552 139937754468087 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 /proc/5524/statm: 6651828 1349982 3288 1 0 6639062 0 [pid=5524/tid=5525] ppid=5522 vsize=26607312 memory=8112282956445269571 CPUtime=2.34 cores=0-7 /proc/5524/task/5525/stat : 5525 (java) S 5522 5522 3823 0 -1 1077944384 9832 0 0 0 229 5 0 0 20 0 28 0 97041624 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139937758708752 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5526] ppid=5522 vsize=26607312 memory=4126316290023845779 CPUtime=0.13 cores=0-7 /proc/5524/task/5526/stat : 5526 (java) S 5522 5522 3823 0 -1 1077944384 324 0 0 0 8 5 0 0 20 0 28 0 97041625 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139937707088528 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5527] ppid=5522 vsize=26607312 memory=1728 CPUtime=0.13 cores=0-7 /proc/5524/task/5527/stat : 5527 (java) S 5522 5522 3823 0 -1 1077944384 555 0 0 0 9 4 0 0 20 0 28 0 97041625 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139937706035728 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5528] ppid=5522 vsize=26607312 memory=1420 CPUtime=0.15 cores=0-7 /proc/5524/task/5528/stat : 5528 (java) S 5522 5522 3823 0 -1 1077944384 410 0 0 0 10 5 0 0 20 0 28 0 97041625 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139937704982928 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5529] ppid=5522 vsize=26607312 memory=11032 CPUtime=0.15 cores=0-7 /proc/5524/task/5529/stat : 5529 (java) S 5522 5522 3823 0 -1 1077944384 270 0 0 0 9 6 0 0 20 0 28 0 97041625 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139937703930128 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5530] ppid=5522 vsize=26607312 memory=1712 CPUtime=0.13 cores=0-7 /proc/5524/task/5530/stat : 5530 (java) S 5522 5522 3823 0 -1 1077944384 1333 0 0 0 8 5 0 0 20 0 28 0 97041625 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139937702878352 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5531] ppid=5522 vsize=26607312 memory=1952 CPUtime=0.1 cores=0-7 /proc/5524/task/5531/stat : 5531 (java) S 5522 5522 3823 0 -1 1077944384 270 0 0 0 7 3 0 0 20 0 28 0 97041625 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139937701825552 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5532] ppid=5522 vsize=26607312 memory=8552 CPUtime=0.15 cores=0-7 /proc/5524/task/5532/stat : 5532 (java) S 5522 5522 3823 0 -1 1077944384 606 0 0 0 9 6 0 0 20 0 28 0 97041625 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139937700772752 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5533] ppid=5522 vsize=26607312 memory=1236 CPUtime=0.14 cores=0-7 /proc/5524/task/5533/stat : 5533 (java) S 5522 5522 3823 0 -1 1077944384 341 0 0 0 9 5 0 0 20 0 28 0 97041625 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139937699719952 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5534] ppid=5522 vsize=26607312 memory=2240 CPUtime=0.04 cores=0-7 /proc/5524/task/5534/stat : 5534 (java) S 5522 5522 3823 0 -1 1077944384 4867 0 0 0 3 1 0 0 20 0 28 0 97041627 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139936496638320 139937754479234 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5535] ppid=5522 vsize=26607312 memory=4128 CPUtime=0 cores=0-7 /proc/5524/task/5535/stat : 5535 (java) S 5522 5522 3823 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 97041627 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139936495584352 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5536] ppid=5522 vsize=26607312 memory=1572 CPUtime=0 cores=0-7 /proc/5524/task/5536/stat : 5536 (java) S 5522 5522 3823 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 28 0 97041627 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139936494531520 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5537] ppid=5522 vsize=26607312 memory=932 CPUtime=0 cores=0-7 /proc/5524/task/5537/stat : 5537 (java) S 5522 5522 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97041630 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139936493479760 139937754486683 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5538] ppid=5522 vsize=26607312 memory=2200 CPUtime=3.35 cores=0-7 /proc/5524/task/5538/stat : 5538 (java) S 5522 5522 3823 0 -1 1077944384 15337 0 0 0 332 3 0 0 20 0 28 0 97041630 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139936492428144 139937754479234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5539] ppid=5522 vsize=26607312 memory=6504 CPUtime=3.74 cores=0-7 /proc/5524/task/5539/stat : 5539 (java) S 5522 5522 3823 0 -1 1077944384 18778 0 0 0 370 4 0 0 20 0 28 0 97041630 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139936491375344 139937754479234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5540] ppid=5522 vsize=26607312 memory=840 CPUtime=3.51 cores=0-7 /proc/5524/task/5540/stat : 5540 (java) S 5522 5522 3823 0 -1 1077944384 14262 0 0 0 349 2 0 0 20 0 28 0 97041630 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139936490322544 139937754479234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5541] ppid=5522 vsize=26607312 memory=4104 CPUtime=1.14 cores=0-7 /proc/5524/task/5541/stat : 5541 (java) S 5522 5522 3823 0 -1 1077944384 13625 0 0 0 111 3 0 0 20 0 28 0 97041630 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139936489269744 139937754479234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5542] ppid=5522 vsize=26607312 memory=1692 CPUtime=0 cores=0-7 /proc/5524/task/5542/stat : 5542 (java) S 5522 5522 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97041630 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139936488217184 139937754478293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=5543] ppid=5522 vsize=26607312 memory=916 CPUtime=0.1 cores=0-7 /proc/5524/task/5543/stat : 5543 (java) S 5522 5522 3823 0 -1 1077944384 1670 0 0 0 5 5 0 0 20 0 28 0 97041630 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139936487164464 139937754479234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=7640] ppid=5522 vsize=26607312 memory=4132 CPUtime=103.63 cores=0-7 /proc/5524/task/7640/stat : 7640 (java) R 5522 5522 3823 0 -1 4202560 1861 0 0 0 10358 5 0 0 20 0 28 0 97056457 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139936401419016 139937376053003 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=7641] ppid=5522 vsize=26607312 memory=1160 CPUtime=103.64 cores=0-7 /proc/5524/task/7641/stat : 7641 (java) R 5522 5522 3823 0 -1 4202560 1225 0 0 0 10363 1 0 0 20 0 28 0 97056457 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139936406675192 139937375234988 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=7642] ppid=5522 vsize=26607312 memory=3804 CPUtime=103.6 cores=0-7 /proc/5524/task/7642/stat : 7642 (java) R 5522 5522 3823 0 -1 4202560 1049 0 0 0 10359 1 0 0 20 0 28 0 97056457 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139936479154704 139937376322040 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=7643] ppid=5522 vsize=26607312 memory=1952 CPUtime=103.6 cores=0-7 /proc/5524/task/7643/stat : 7643 (java) R 5522 5522 3823 0 -1 4202560 2077 0 0 0 10353 7 0 0 20 0 28 0 97056457 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139936409834184 139937375101378 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=7644] ppid=5522 vsize=26607312 memory=8552 CPUtime=103.61 cores=0-7 /proc/5524/task/7644/stat : 7644 (java) R 5522 5522 3823 0 -1 4202560 3744 0 0 0 10356 5 0 0 20 0 28 0 97056457 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139936404570264 139937373360592 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=7645] ppid=5522 vsize=26607312 memory=1224 CPUtime=103.57 cores=0-7 /proc/5524/task/7645/stat : 7645 (java) R 5522 5522 3823 0 -1 4202560 1099 0 0 0 10356 1 0 0 20 0 28 0 97056457 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139936408781240 139937375327133 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=7646] ppid=5522 vsize=26607312 memory=792 CPUtime=103.26 cores=0-7 /proc/5524/task/7646/stat : 7646 (java) R 5522 5522 3823 0 -1 4202560 1988 0 0 0 10318 8 0 0 20 0 28 0 97056457 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139936407728248 139937375566986 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 [pid=5524/tid=7647] ppid=5522 vsize=26607312 memory=1004 CPUtime=101.89 cores=0-7 /proc/5524/task/7647/stat : 7647 (java) R 5522 5522 3823 0 -1 4202560 3856 0 0 0 10171 18 0 0 20 0 28 0 97056457 27245887488 1349982 33554432000 4194304 4196468 140727858479008 139936478101384 139937375101383 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140727858480280 140727858480456 140727858480456 140727858483151 0 Current children cumulated CPU time: 1990.55 s Current children cumulated vsize: 26616824 KiB Current children cumulated memory: 5401308 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.042 s] # the end of solver process 5522 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.000948 s, system=0.000948 s [startup+252.124 s] # the end of solver process 5524 was just reported to runsolver # cumulated CPU time of all completed processes: user=1988.6 s, system=2.68009 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 252.124 CPU time (s): 1991.28 CPU user time (s): 1988.6 CPU system time (s): 2.68009 CPU usage (%): 789.802 Max. virtual memory (cumulated for all children) (KiB): 26616824 Max. memory (cumulated for all children) (KiB): 5401308 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1988.6 system time used= 2.68009 maximum resident set size= 5400320 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 155951 page faults= 0 swaps= 0 block input operations= 0 block output operations= 488 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 27331 involuntary context switches= 21290 # summary of solver processes directly reported to runsolver: # pid: 5522,5524 # total CPU time (s): 1991.28 # total CPU user time (s): 1988.6 # total CPU system time (s): 2.68009 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.26284 second user time and 2.9254 second system time The end
Begin job on node107 at 2017-08-13 17:37:57 IDJOB=4271790 IDBENCH=115885 IDSOLVER=2663 FILE ID=node107/4271790-1502639535 RUNJOBID= node107-1502636397-3850 PBS_JOBID= 20628325 Free space on /tmp= 61660 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-24.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271790-1502639535/watcher-4271790-1502639535 -o /tmp/evaluation-result-4271790-1502639535/solver-4271790-1502639535 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1502636397-3850 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 15102655 HOME/instance-4271790-1502639535.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= e0f1e7fd363778103a4292aa9d177ae8 RANDOM SEED=15102655 node107.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.84 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.84 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.84 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.84 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: 29162044 kB MemAvailable: 31990704 kB Buffers: 165832 kB Cached: 2951336 kB SwapCached: 0 kB Active: 525496 kB Inactive: 2644684 kB Active(anon): 55732 kB Inactive(anon): 24972 kB Active(file): 469764 kB Inactive(file): 2619712 kB Unevictable: 6328 kB Mlocked: 6328 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7848 kB Writeback: 0 kB AnonPages: 90832 kB Mapped: 44016 kB Shmem: 25228 kB Slab: 135224 kB SReclaimable: 110036 kB SUnreclaim: 25188 kB KernelStack: 3632 kB PageTables: 5496 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323068 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 38912 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 91520 kB DirectMap2M: 33454080 kB Free space on /tmp at the end= 61652 MiB End job on node107 at 2017-08-13 17:42:09