Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | SAT (TO) | 341 | 1992.75 | 252.16 |
Name | StillLife/StillLife-wst-s1/ StillLife-wastage-27.xml |
MD5SUM | 7effaf54e6298c2e2ce7b82787858117 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 367 |
Best CPU time to get the best result obtained on this benchmark | 251.811 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1712 |
Number of constraints | 1007 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 1683 |
Distribution of domain sizes | [{"size":2,"count":841},{"size":3,"count":841},{"size":730,"count":1},{"size":1683,"count":29}] |
Minimum variable degree | 1 |
Maximum variable degree | 30 |
Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":838},{"degree":3,"count":32},{"degree":4,"count":108},{"degree":8,"count":104},{"degree":9,"count":625},{"degree":30,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 31 |
Distribution of constraint arities | [{"arity":2,"count":137},{"arity":3,"count":108},{"arity":10,"count":729},{"arity":29,"count":4},{"arity":30,"count":1},{"arity":31,"count":28}] |
Number of extensional constraints | 837 |
Number of intensional constraints | 136 |
Distribution of constraint types | [{"type":"extension","count":837},{"type":"intension","count":136},{"type":"sum","count":30},{"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-4281602-1503179965.xml" -tl '2016s' -p 8 -x 0 0.11/0.15 c [HOME/instance-4281602-1503179965.xml, -tl, 2016s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.32/0.27 c parse instance... 7.08/2.54 c solve instance... 11.51/3.13 o 0 11.51/3.14 o 4 11.51/3.16 o 6 12.17/3.22 o 13 12.17/3.25 o 14 12.17/3.27 o 15 12.17/3.28 o 16 12.86/3.30 o 17 12.86/3.32 o 18 12.86/3.33 o 19 12.86/3.35 o 20 12.86/3.37 o 21 12.86/3.39 o 22 13.61/3.40 o 23 13.61/3.42 o 24 13.61/3.47 o 25 13.61/3.49 o 26 14.28/3.51 o 27 14.28/3.52 o 28 14.28/3.54 o 29 14.28/3.55 o 30 14.28/3.55 o 31 14.28/3.56 o 32 14.28/3.57 o 33 14.28/3.57 o 34 14.28/3.58 o 35 14.28/3.58 o 36 14.28/3.59 o 37 14.28/3.60 o 38 14.91/3.60 o 39 14.91/3.60 o 40 14.91/3.61 o 41 14.91/3.62 o 42 14.91/3.62 o 43 14.91/3.63 o 44 14.91/3.63 o 45 14.91/3.65 o 46 14.91/3.65 o 47 14.91/3.66 o 48 14.91/3.66 o 49 14.91/3.67 o 50 14.91/3.67 o 51 14.91/3.67 o 52 14.91/3.68 o 53 15.59/3.71 o 54 15.59/3.72 o 55 15.59/3.73 o 56 15.59/3.76 o 57 15.59/3.77 o 58 15.59/3.77 o 59 15.59/3.78 o 60 15.59/3.78 o 61 15.59/3.79 o 62 15.59/3.80 o 63 16.21/3.80 o 64 16.21/3.82 o 65 16.21/3.82 o 66 16.21/3.83 o 67 16.21/3.84 o 68 16.21/3.84 o 69 16.21/3.85 o 70 16.21/3.85 o 71 16.21/3.86 o 72 16.21/3.87 o 73 16.21/3.87 o 74 16.21/3.88 o 75 16.21/3.88 o 76 16.21/3.89 o 77 16.21/3.89 o 78 16.21/3.90 o 79 16.78/3.90 o 80 16.78/3.91 o 81 16.78/3.91 o 82 16.78/3.92 o 83 16.78/3.95 o 84 16.78/3.95 o 85 16.78/3.95 o 86 16.78/3.96 o 87 16.78/3.96 o 88 16.78/3.97 o 89 16.78/3.97 o 90 16.78/3.98 o 91 16.78/3.98 o 92 16.78/3.99 o 93 16.78/4.00 o 94 16.78/4.00 o 95 17.43/4.01 o 96 17.43/4.02 o 97 17.43/4.02 o 98 17.43/4.02 o 99 17.43/4.03 o 100 17.43/4.04 o 101 17.43/4.04 o 102 17.43/4.05 o 103 17.43/4.05 o 104 17.43/4.06 o 105 17.43/4.06 o 106 17.43/4.07 o 107 17.43/4.07 o 108 17.43/4.08 o 109 17.43/4.08 o 110 17.43/4.09 o 111 17.43/4.09 o 112 17.43/4.10 o 113 18.11/4.12 o 114 18.11/4.13 o 115 18.11/4.14 o 116 18.11/4.14 o 117 18.11/4.16 o 118 18.11/4.17 o 119 18.11/4.18 o 120 18.11/4.18 o 121 18.11/4.19 o 122 18.11/4.19 o 123 18.11/4.20 o 124 18.64/4.20 o 125 18.64/4.21 o 126 18.64/4.21 o 127 18.64/4.22 o 128 18.64/4.22 o 129 18.64/4.23 o 130 18.64/4.23 o 131 18.64/4.24 o 132 18.64/4.24 o 133 18.64/4.25 o 134 18.64/4.25 o 135 18.64/4.26 o 136 18.64/4.26 o 137 18.64/4.27 o 138 18.64/4.27 o 139 18.64/4.28 o 140 18.64/4.29 o 141 18.64/4.29 o 142 19.17/4.30 o 143 19.17/4.30 o 144 19.17/4.31 o 145 19.17/4.31 o 146 19.17/4.32 o 147 19.17/4.33 o 148 19.17/4.33 o 149 19.17/4.34 o 150 19.17/4.37 o 151 19.17/4.37 o 152 19.17/4.38 o 153 19.17/4.38 o 154 19.17/4.39 o 155 19.17/4.40 o 156 19.72/4.40 o 157 19.72/4.41 o 158 19.72/4.41 o 159 19.72/4.42 o 160 19.72/4.42 o 161 19.72/4.43 o 162 19.72/4.43 o 163 19.72/4.44 o 164 19.72/4.45 o 165 19.72/4.46 o 166 19.72/4.46 o 167 19.72/4.47 o 168 19.72/4.47 o 169 19.72/4.48 o 170 19.72/4.48 o 171 19.72/4.49 o 172 19.72/4.49 o 173 19.72/4.50 o 174 20.33/4.51 o 175 20.33/4.51 o 176 20.33/4.52 o 177 20.33/4.52 o 178 20.33/4.53 o 179 20.33/4.54 o 180 20.33/4.54 o 181 20.33/4.55 o 182 20.33/4.56 o 183 20.33/4.56 o 184 20.33/4.57 o 185 20.33/4.57 o 186 20.33/4.58 o 187 20.33/4.59 o 188 20.83/4.60 o 189 20.83/4.60 o 190 20.83/4.61 o 191 20.83/4.61 o 192 20.83/4.62 o 193 20.83/4.62 o 194 20.83/4.63 o 195 20.83/4.63 o 196 20.83/4.65 o 197 20.83/4.65 o 198 20.83/4.66 o 199 20.83/4.66 o 200 20.83/4.67 o 201 20.83/4.67 o 202 20.83/4.68 o 203 20.83/4.69 o 204 20.83/4.69 o 205 21.42/4.70 o 206 21.42/4.71 o 207 21.42/4.71 o 208 21.42/4.72 o 209 21.42/4.72 o 210 21.42/4.73 o 211 21.42/4.74 o 212 21.42/4.74 o 213 21.42/4.75 o 214 21.42/4.75 o 215 21.42/4.76 o 216 21.42/4.77 o 217 21.42/4.77 o 218 21.42/4.78 o 219 21.42/4.79 o 220 21.42/4.79 o 221 21.42/4.80 o 222 21.95/4.81 o 223 21.95/4.81 o 224 21.95/4.82 o 225 21.95/4.83 o 226 21.95/4.83 o 227 21.95/4.84 o 228 21.95/4.85 o 229 21.95/4.85 o 230 21.95/4.86 o 231 21.95/4.87 o 232 21.95/4.88 o 233 21.95/4.88 o 234 21.95/4.89 o 235 21.95/4.89 o 236 22.53/4.90 o 237 22.53/4.91 o 238 22.53/4.91 o 239 22.53/4.92 o 240 22.53/4.93 o 241 22.53/4.93 o 242 22.53/4.94 o 243 22.53/4.95 o 244 22.53/4.96 o 245 22.53/4.97 o 246 22.53/4.97 o 247 22.53/4.98 o 248 22.53/4.98 o 249 22.53/4.99 o 250 22.53/5.00 o 251 22.53/5.00 o 252 23.12/5.01 o 253 23.12/5.02 o 254 23.12/5.02 o 255 23.12/5.03 o 256 23.12/5.04 o 257 23.12/5.04 o 258 23.12/5.05 o 259 23.12/5.06 o 260 23.12/5.06 o 261 23.12/5.07 o 262 23.12/5.08 o 263 23.12/5.08 o 264 23.12/5.09 o 265 23.12/5.10 o 266 23.12/5.10 o 267 23.73/5.11 o 268 23.73/5.12 o 269 23.73/5.13 o 270 23.73/5.13 o 271 23.73/5.14 o 272 23.73/5.15 o 273 23.73/5.16 o 274 23.73/5.17 o 275 23.73/5.17 o 276 23.73/5.18 o 277 23.73/5.19 o 278 23.73/5.20 o 279 24.19/5.20 o 280 24.19/5.21 o 281 24.19/5.22 o 282 24.19/5.23 o 283 24.19/5.23 o 284 24.19/5.24 o 285 24.19/5.25 o 286 24.19/5.26 o 287 24.19/5.27 o 288 24.19/5.27 o 289 24.19/5.28 o 290 24.19/5.29 o 291 24.75/5.30 o 292 24.75/5.30 o 293 24.75/5.32 o 294 24.75/5.32 o 295 24.75/5.33 o 296 24.75/5.34 o 297 24.75/5.34 o 298 24.75/5.35 o 299 24.75/5.36 o 300 24.75/5.37 o 301 24.75/5.38 o 302 24.75/5.39 o 303 24.75/5.39 o 304 24.75/5.40 o 305 25.33/5.41 o 306 25.33/5.41 o 307 25.33/5.42 o 308 25.33/5.43 o 309 25.33/5.44 o 310 25.33/5.45 o 311 25.33/5.45 o 312 25.33/5.46 o 313 25.33/5.46 o 314 25.33/5.47 o 315 25.33/5.48 o 316 25.33/5.48 o 317 25.33/5.49 o 318 25.33/5.50 o 319 25.81/5.50 o 320 25.81/5.51 o 321 25.81/5.52 o 322 25.81/5.53 o 323 25.81/5.53 o 324 25.81/5.54 o 325 25.81/5.55 o 326 25.81/5.56 o 327 25.81/5.56 o 328 25.81/5.57 o 329 25.81/5.57 o 330 25.81/5.58 o 331 25.81/5.59 o 332 25.81/5.60 o 333 26.34/5.60 o 334 26.34/5.61 o 335 26.34/5.62 o 336 26.34/5.63 o 337 39.77/7.35 o 338 39.77/7.36 o 339 39.77/7.38 o 340 43.69/7.84 o 341 1991.97/252.08 s SATISFIABLE 1991.97/252.08 v <instantiation> 1991.97/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[0][26] x[0][27] x[0][28] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] 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[0][26] w[0][27] w[0][28] 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[1][26] w[1][27] w[1][28] 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[2][26] w[2][27] w[2][28] 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[3][26] w[3][27] w[3][28] 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[4][26] w[4][27] w[4][28] 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[5][26] w[5][27] w[5][28] 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[6][26] w[6][27] w[6][28] 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[7][26] w[7][27] w[7][28] 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[8][26] w[8][27] w[8][28] 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[9][26] w[9][27] w[9][28] 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[10][26] w[10][27] w[10][28] 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[11][26] w[11][27] w[11][28] 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[12][26] w[12][27] w[12][28] 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[13][26] w[13][27] w[13][28] 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[14][26] w[14][27] w[14][28] 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[15][26] w[15][27] w[15][28] 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[16][26] w[16][27] w[16][28] 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[17][26] w[17][27] w[17][28] 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[18][26] w[18][27] w[18][28] 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[19][26] w[19][27] w[19][28] 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[20][26] w[20][27] w[20][28] 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[21][26] w[21][27] w[21][28] 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[22][26] w[22][27] w[22][28] 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[23][26] w[23][27] w[23][28] 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[24][26] w[24][27] w[24][28] 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] w[25][26] w[25][27] w[25][28] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] 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] ws[26] ws[27] ws[28] z </list> 1991.97/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 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 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 1 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 1 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 0 0 1 1 1 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 1 0 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 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 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 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 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 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 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 2 2 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 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 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 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 0 0 0 1 0 0 0 1 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 1 2 1 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 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 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 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 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 0 0 0 1 0 1 1 1 1 0 0 0 0 1 1 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 1 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 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 0 1 1 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 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 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 1 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 2 2 1 1 1 0 0 1 0 1 1 0 2 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 1 1 1 1 1 0 0 1 0 1 0 0 1 1 1 0 0 1 0 0 0 9 11 13 25 26 27 59 67 70 73 75 79 100 105 108 112 115 121 134 137 141 149 150 153 160 166 170 188 202 341 </values> 1991.97/252.08 v </instantiation> 1991.97/252.08 c Unexpected resolution interruption!
OK 341
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 (11412 MiB free) memory of node 1: 16384 MiB (9834 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281602-1503179965/watcher-4281602-1503179965 -o /tmp/evaluation-result-4281602-1503179965/solver-4281602-1503179965 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node114-1503168972-924 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 318948361 HOME/instance-4281602-1503179965.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=2320, runsolver pid=2317 [startup+0.100132 s]* /proc/loadavg: 8.23 8.05 6.39 3/199 2342 /proc/meminfo: memFree=21740472/32770624 swapFree=67108860/67108860 [pid=2320] ppid=2317 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/2320/stat : 2320 (xcsp3-exec) S 2317 2320 893 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151084189 9740288 346 33554432000 4194304 5098028 140727653753488 140727653751592 140503054893692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20992000 140727653758059 140727653758268 140727653758268 140727653761003 0 /proc/2320/statm: 2378 346 289 221 0 87 0 [pid=2323] ppid=2320 vsize=25999808 memory=27212 CPUtime=0.11 cores=0-7 /proc/2323/stat : 2323 (java) S 2320 2320 893 0 -1 1077944320 5725 0 0 0 10 1 0 0 20 0 20 0 151084190 26623803392 6803 33554432000 4194304 4196468 140720373740528 140720373723072 139631770439415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 /proc/2323/statm: 6499952 6803 2845 1 0 6488269 0 [pid=2323/tid=2324] ppid=2320 vsize=25999808 memory=8318255677412212789 CPUtime=0.09 cores=0-7 /proc/2323/task/2324/stat : 2324 (java) R 2320 2320 893 0 -1 4202560 3743 0 0 0 8 1 0 0 20 0 20 0 151084190 26623803392 6868 33554432000 4194304 4196468 140720373740528 139631774672688 139631752090974 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2325] ppid=2320 vsize=25999808 memory=288230609019732336 CPUtime=0 cores=0-7 /proc/2323/task/2325/stat : 2325 (java) S 2320 2320 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151084191 26623803392 6868 33554432000 4194304 4196468 140720373740528 139631329069840 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2326] ppid=2320 vsize=25999808 memory=139792159437602 CPUtime=0 cores=0-7 /proc/2323/task/2326/stat : 2326 (java) S 2320 2320 893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151084191 26623803392 6868 33554432000 4194304 4196468 140720373740528 139631328017296 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2327] ppid=2320 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/2323/task/2327/stat : 2327 (java) S 2320 2320 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151084191 26623803392 6868 33554432000 4194304 4196468 140720373740528 139631326964752 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2328] ppid=2320 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/2323/task/2328/stat : 2328 (java) S 2320 2320 893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151084191 26623803392 6868 33554432000 4194304 4196468 140720373740528 139631325912208 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2329] ppid=2320 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/2323/task/2329/stat : 2329 (java) S 2320 2320 893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151084191 26623803392 6868 33554432000 4194304 4196468 140720373740528 139631324858640 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2330] ppid=2320 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/2323/task/2330/stat : 2330 (java) S 2320 2320 893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151084191 26623803392 6868 33554432000 4194304 4196468 140720373740528 139631323806096 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2331] ppid=2320 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/2323/task/2331/stat : 2331 (java) S 2320 2320 893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151084191 26623803392 6868 33554432000 4194304 4196468 140720373740528 139631322753552 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2332] ppid=2320 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/2323/task/2332/stat : 2332 (java) S 2320 2320 893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151084191 26623803392 6868 33554432000 4194304 4196468 140720373740528 139631321701008 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2333] ppid=2320 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/2323/task/2333/stat : 2333 (java) S 2320 2320 893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151084192 26623803392 6868 33554432000 4194304 4196468 140720373740528 139630445251056 139631770450562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2334] ppid=2320 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/2323/task/2334/stat : 2334 (java) S 2320 2320 893 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151084193 26623803392 6868 33554432000 4194304 4196468 140720373740528 139630444197280 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2335] ppid=2320 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/2323/task/2335/stat : 2335 (java) S 2320 2320 893 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151084193 26623803392 6868 33554432000 4194304 4196468 140720373740528 139630443144688 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2336] ppid=2320 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/2323/task/2336/stat : 2336 (java) S 2320 2320 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151084195 26623803392 6868 33554432000 4194304 4196468 140720373740528 139630442093264 139631770458011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2337] ppid=2320 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/2323/task/2337/stat : 2337 (java) S 2320 2320 893 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 151084195 26623803392 6868 33554432000 4194304 4196468 140720373740528 139630441039856 139631770450562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2338] ppid=2320 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/2323/task/2338/stat : 2338 (java) S 2320 2320 893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151084195 26623803392 6868 33554432000 4194304 4196468 140720373740528 139630439987312 139631770450562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2339] ppid=2320 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/2323/task/2339/stat : 2339 (java) S 2320 2320 893 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 151084195 26623803392 6868 33554432000 4194304 4196468 140720373740528 139630438934768 139631770450562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2340] ppid=2320 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/2323/task/2340/stat : 2340 (java) R 2320 2320 893 0 -1 4202560 264 0 0 0 1 0 0 0 20 0 20 0 151084195 26623803392 6868 33554432000 4194304 4196468 140720373740528 139630437882224 139631749398575 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2341] ppid=2320 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/2323/task/2341/stat : 2341 (java) S 2320 2320 893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151084196 26623803392 6868 33554432000 4194304 4196468 140720373740528 139630436829920 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2342] ppid=2320 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/2323/task/2342/stat : 2342 (java) S 2320 2320 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151084196 26623803392 6868 33554432000 4194304 4196468 140720373740528 139630435777456 139631770450562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 28596 KiB [startup+0.209998 s]* /proc/loadavg: 8.23 8.05 6.39 2/199 2342 /proc/meminfo: memFree=21731560/32770624 swapFree=67108860/67108860 [pid=2320] ppid=2317 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/2320/stat : 2320 (xcsp3-exec) S 2317 2320 893 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151084189 9740288 346 33554432000 4194304 5098028 140727653753488 140727653751592 140503054893692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20992000 140727653758059 140727653758268 140727653758268 140727653761003 0 /proc/2320/statm: 2378 346 289 221 0 87 0 [pid=2323] ppid=2320 vsize=26004064 memory=38924 CPUtime=0.32 cores=0-7 /proc/2323/stat : 2323 (java) S 2320 2320 893 0 -1 1077944320 8354 0 0 0 30 2 0 0 20 0 20 0 151084190 26628161536 9731 33554432000 4194304 4196468 140720373740528 140720373723072 139631770439415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 /proc/2323/statm: 6501016 9731 2983 1 0 6488269 0 [pid=2323/tid=2324] ppid=2320 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/2323/task/2324/stat : 2324 (java) R 2320 2320 893 0 -1 4202560 5474 0 0 0 18 1 0 0 20 0 20 0 151084190 26628161536 9731 33554432000 4194304 4196468 140720373740528 139631774660408 139631770461341 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2325] ppid=2320 vsize=26004064 memory=288230609019732336 CPUtime=0 cores=0-7 /proc/2323/task/2325/stat : 2325 (java) S 2320 2320 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151084191 26628161536 9731 33554432000 4194304 4196468 140720373740528 139631329069840 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2326] ppid=2320 vsize=26004064 memory=139792159437602 CPUtime=0 cores=0-7 /proc/2323/task/2326/stat : 2326 (java) S 2320 2320 893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151084191 26628161536 9731 33554432000 4194304 4196468 140720373740528 139631328017296 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2327] ppid=2320 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/2323/task/2327/stat : 2327 (java) S 2320 2320 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151084191 26628161536 9731 33554432000 4194304 4196468 140720373740528 139631326964752 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2328] ppid=2320 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/2323/task/2328/stat : 2328 (java) S 2320 2320 893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151084191 26628161536 9731 33554432000 4194304 4196468 140720373740528 139631325912208 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2329] ppid=2320 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/2323/task/2329/stat : 2329 (java) S 2320 2320 893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151084191 26628161536 9731 33554432000 4194304 4196468 140720373740528 139631324858640 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2330] ppid=2320 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/2323/task/2330/stat : 2330 (java) S 2320 2320 893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151084191 26628161536 9731 33554432000 4194304 4196468 140720373740528 139631323806096 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2331] ppid=2320 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/2323/task/2331/stat : 2331 (java) S 2320 2320 893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151084191 26628161536 9731 33554432000 4194304 4196468 140720373740528 139631322753552 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2332] ppid=2320 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/2323/task/2332/stat : 2332 (java) S 2320 2320 893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151084191 26628161536 9731 33554432000 4194304 4196468 140720373740528 139631321701008 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2333] ppid=2320 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/2323/task/2333/stat : 2333 (java) S 2320 2320 893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151084192 26628161536 9731 33554432000 4194304 4196468 140720373740528 139630445251056 139631770450562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2334] ppid=2320 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/2323/task/2334/stat : 2334 (java) S 2320 2320 893 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151084193 26628161536 9731 33554432000 4194304 4196468 140720373740528 139630444197280 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2335] ppid=2320 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/2323/task/2335/stat : 2335 (java) S 2320 2320 893 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151084193 26628161536 9731 33554432000 4194304 4196468 140720373740528 139630443144688 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2336] ppid=2320 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/2323/task/2336/stat : 2336 (java) S 2320 2320 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151084195 26628161536 9731 33554432000 4194304 4196468 140720373740528 139630442093264 139631770458011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2337] ppid=2320 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/2323/task/2337/stat : 2337 (java) S 2320 2320 893 0 -1 1077944384 365 0 0 0 1 0 0 0 20 0 20 0 151084195 26628161536 9731 33554432000 4194304 4196468 140720373740528 139630441039856 139631770450562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2338] ppid=2320 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/2323/task/2338/stat : 2338 (java) S 2320 2320 893 0 -1 1077944384 375 0 0 0 2 0 0 0 20 0 20 0 151084195 26628161536 9731 33554432000 4194304 4196468 140720373740528 139630439987312 139631770450562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2339] ppid=2320 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/2323/task/2339/stat : 2339 (java) S 2320 2320 893 0 -1 1077944384 125 0 0 0 1 0 0 0 20 0 20 0 151084195 26628161536 9731 33554432000 4194304 4196468 140720373740528 139630438934768 139631770450562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2340] ppid=2320 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7 /proc/2323/task/2340/stat : 2340 (java) S 2320 2320 893 0 -1 1077944384 711 0 0 0 7 0 0 0 20 0 20 0 151084195 26628161536 9731 33554432000 4194304 4196468 140720373740528 139630437882224 139631770450562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2341] ppid=2320 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/2323/task/2341/stat : 2341 (java) S 2320 2320 893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151084196 26628161536 9731 33554432000 4194304 4196468 140720373740528 139630436829920 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2342] ppid=2320 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/2323/task/2342/stat : 2342 (java) S 2320 2320 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151084196 26628161536 9731 33554432000 4194304 4196468 140720373740528 139630435777456 139631770450562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 Current children cumulated CPU time: 0.32 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40308 KiB [startup+0.309425 s]* /proc/loadavg: 7.65 7.93 6.36 3/199 2342 /proc/meminfo: memFree=21724656/32770624 swapFree=67108860/67108860 [pid=2320] ppid=2317 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/2320/stat : 2320 (xcsp3-exec) S 2317 2320 893 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151084189 9740288 346 33554432000 4194304 5098028 140727653753488 140727653751592 140503054893692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20992000 140727653758059 140727653758268 140727653758268 140727653761003 0 /proc/2320/statm: 2378 346 289 221 0 87 0 [pid=2323] ppid=2320 vsize=26004064 memory=43836 CPUtime=0.49 cores=0-7 /proc/2323/stat : 2323 (java) S 2320 2320 893 0 -1 1077944320 9197 0 0 0 46 3 0 0 20 0 20 0 151084190 26628161536 10959 33554432000 4194304 4196468 140720373740528 140720373723072 139631770439415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 /proc/2323/statm: 6501016 10959 3026 1 0 6488269 0 [pid=2323/tid=2324] ppid=2320 vsize=26004064 memory=62724 CPUtime=0.29 cores=0-7 /proc/2323/task/2324/stat : 2324 (java) R 2320 2320 893 0 -1 4202560 6157 0 0 0 27 2 0 0 20 0 20 0 151084190 26628161536 11471 33554432000 4194304 4196468 140720373740528 139631774678640 139631770451350 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2325] ppid=2320 vsize=26004064 memory=65028 CPUtime=0 cores=0-7 /proc/2323/task/2325/stat : 2325 (java) S 2320 2320 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151084191 26628161536 11471 33554432000 4194304 4196468 140720373740528 139631329069840 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2326] ppid=2320 vsize=26004064 memory=139792159413888 CPUtime=0 cores=0-7 /proc/2323/task/2326/stat : 2326 (java) S 2320 2320 893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151084191 26628161536 11471 33554432000 4194304 4196468 140720373740528 139631328017296 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2327] ppid=2320 vsize=26004064 memory=67 CPUtime=0 cores=0-7 /proc/2323/task/2327/stat : 2327 (java) S 2320 2320 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151084191 26628161536 11471 33554432000 4194304 4196468 140720373740528 139631326964752 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2328] ppid=2320 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/2323/task/2328/stat : 2328 (java) S 2320 2320 893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151084191 26628161536 11471 33554432000 4194304 4196468 140720373740528 139631325912208 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2329] ppid=2320 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/2323/task/2329/stat : 2329 (java) S 2320 2320 893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151084191 26628161536 11471 33554432000 4194304 4196468 140720373740528 139631324858640 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2330] ppid=2320 vsize=26004064 memory=342 CPUtime=0 cores=0-7 /proc/2323/task/2330/stat : 2330 (java) S 2320 2320 893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151084191 26628161536 11471 33554432000 4194304 4196468 140720373740528 139631323806096 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2331] ppid=2320 vsize=26004064 memory=3904958646882402335 CPUtime=0 cores=0-7 /proc/2323/task/2331/stat : 2331 (java) S 2320 2320 893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151084191 26628161536 11471 33554432000 4194304 4196468 140720373740528 139631322753552 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2332] ppid=2320 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/2323/task/2332/stat : 2332 (java) S 2320 2320 893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151084191 26628161536 11471 33554432000 4194304 4196468 140720373740528 139631321701008 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2333] ppid=2320 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/2323/task/2333/stat : 2333 (java) S 2320 2320 893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151084192 26628161536 11471 33554432000 4194304 4196468 140720373740528 139630445251056 139631770450562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2334] ppid=2320 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/2323/task/2334/stat : 2334 (java) S 2320 2320 893 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151084193 26628161536 11471 33554432000 4194304 4196468 140720373740528 139630444197280 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2335] ppid=2320 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/2323/task/2335/stat : 2335 (java) S 2320 2320 893 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151084193 26628161536 11471 33554432000 4194304 4196468 140720373740528 139630443144688 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2336] ppid=2320 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/2323/task/2336/stat : 2336 (java) S 2320 2320 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151084195 26628161536 11471 33554432000 4194304 4196468 140720373740528 139630442093264 139631770458011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2337] ppid=2320 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/2323/task/2337/stat : 2337 (java) R 2320 2320 893 0 -1 4202560 425 0 0 0 2 0 0 0 20 0 20 0 151084195 26628161536 11471 33554432000 4194304 4196468 140720373740528 139630441039856 139631754328068 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2338] ppid=2320 vsize=26004064 memory=0 CPUtime=0.03 cores=0-7 /proc/2323/task/2338/stat : 2338 (java) S 2320 2320 893 0 -1 1077944384 386 0 0 0 3 0 0 0 20 0 20 0 151084195 26628161536 11471 33554432000 4194304 4196468 140720373740528 139630439987312 139631770450562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2339] ppid=2320 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/2323/task/2339/stat : 2339 (java) S 2320 2320 893 0 -1 1077944384 125 0 0 0 1 0 0 0 20 0 20 0 151084195 26628161536 11471 33554432000 4194304 4196468 140720373740528 139630438934768 139631770450562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2340] ppid=2320 vsize=26004064 memory=0 CPUtime=0.11 cores=0-7 /proc/2323/task/2340/stat : 2340 (java) R 2320 2320 893 0 -1 4202560 798 0 0 0 11 0 0 0 20 0 20 0 151084195 26628161536 11471 33554432000 4194304 4196468 140720373740528 139630437878592 139631770460762 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2341] ppid=2320 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/2323/task/2341/stat : 2341 (java) S 2320 2320 893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151084196 26628161536 11471 33554432000 4194304 4196468 140720373740528 139630436829920 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2342] ppid=2320 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/2323/task/2342/stat : 2342 (java) S 2320 2320 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151084196 26628161536 11471 33554432000 4194304 4196468 140720373740528 139630435777456 139631770450562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 Current children cumulated CPU time: 0.49 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 45220 KiB [startup+0.700898 s] /proc/loadavg: 7.65 7.93 6.36 6/199 2342 /proc/meminfo: memFree=21702508/32770624 swapFree=67108860/67108860 [pid=2320] ppid=2317 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/2320/stat : 2320 (xcsp3-exec) S 2317 2320 893 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151084189 9740288 346 33554432000 4194304 5098028 140727653753488 140727653751592 140503054893692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20992000 140727653758059 140727653758268 140727653758268 140727653761003 0 /proc/2320/statm: 2378 346 289 221 0 87 0 [pid=2323] ppid=2320 vsize=26006188 memory=81228 CPUtime=1.79 cores=0-7 /proc/2323/stat : 2323 (java) S 2320 2320 893 0 -1 1077944320 12388 0 0 0 174 5 0 0 20 0 20 0 151084190 26630336512 20307 33554432000 4194304 4196468 140720373740528 140720373723072 139631770439415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 /proc/2323/statm: 6501547 20307 3202 1 0 6488781 0 [pid=2323/tid=2324] ppid=2320 vsize=26006188 memory=1292 CPUtime=0.67 cores=0-7 /proc/2323/task/2324/stat : 2324 (java) R 2320 2320 893 0 -1 4202560 6652 0 0 0 65 2 0 0 20 0 20 0 151084190 26630336512 20307 33554432000 4194304 4196468 140720373740528 139631774676912 139631755520230 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2325] ppid=2320 vsize=26006188 memory=2200 CPUtime=0 cores=0-7 /proc/2323/task/2325/stat : 2325 (java) S 2320 2320 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151084191 26630336512 20307 33554432000 4194304 4196468 140720373740528 139631329069840 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2326] ppid=2320 vsize=26006188 memory=67668 CPUtime=0 cores=0-7 /proc/2323/task/2326/stat : 2326 (java) S 2320 2320 893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151084191 26630336512 20307 33554432000 4194304 4196468 140720373740528 139631328017296 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2327] ppid=2320 vsize=26006188 memory=7528 CPUtime=0 cores=0-7 /proc/2323/task/2327/stat : 2327 (java) S 2320 2320 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151084191 26630336512 20307 33554432000 4194304 4196468 140720373740528 139631326964752 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 ################ # More data... # ################ /proc/meminfo: memFree=14205092/32770624 swapFree=67108860/67108860 [pid=2320] ppid=2317 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/2320/stat : 2320 (xcsp3-exec) S 2317 2320 893 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151084189 9740288 346 33554432000 4194304 5098028 140727653753488 140727653751592 140503054893692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20992000 140727653758059 140727653758268 140727653758268 140727653761003 0 /proc/2320/statm: 2378 346 289 221 0 87 0 [pid=2323] ppid=2320 vsize=26607312 memory=7551608 CPUtime=1754.98 cores=0-7 /proc/2323/stat : 2323 (java) S 2320 2320 893 0 -1 1077944320 126934 0 0 0 175210 288 0 0 20 0 28 0 151084190 27245887488 1887902 33554432000 4194304 4196468 140720373740528 140720373723072 139631770439415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 /proc/2323/statm: 6651828 1887902 3288 1 0 6639062 0 [pid=2323/tid=2324] ppid=2320 vsize=26607312 memory=0 CPUtime=2.71 cores=0-7 /proc/2323/task/2324/stat : 2324 (java) S 2320 2320 893 0 -1 1077944384 9595 0 0 0 265 6 0 0 20 0 28 0 151084190 27245887488 1887902 33554432000 4194304 4196468 140720373740528 139631774680080 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2325] ppid=2320 vsize=26607312 memory=0 CPUtime=0.17 cores=0-7 /proc/2323/task/2325/stat : 2325 (java) S 2320 2320 893 0 -1 1077944384 595 0 0 0 12 5 0 0 20 0 28 0 151084191 27245887488 1887902 33554432000 4194304 4196468 140720373740528 139631329069840 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2326] ppid=2320 vsize=26607312 memory=1292 CPUtime=0.17 cores=0-7 /proc/2323/task/2326/stat : 2326 (java) S 2320 2320 893 0 -1 1077944384 434 0 0 0 12 5 0 0 20 0 28 0 151084191 27245887488 1887902 33554432000 4194304 4196468 140720373740528 139631328017296 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2327] ppid=2320 vsize=26607312 memory=2428 CPUtime=0.16 cores=0-7 /proc/2323/task/2327/stat : 2327 (java) S 2320 2320 893 0 -1 1077944384 777 0 0 0 12 4 0 0 20 0 28 0 151084191 27245887488 1887902 33554432000 4194304 4196468 140720373740528 139631326964752 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2328] ppid=2320 vsize=26607312 memory=1228 CPUtime=0.19 cores=0-7 /proc/2323/task/2328/stat : 2328 (java) S 2320 2320 893 0 -1 1077944384 327 0 0 0 14 5 0 0 20 0 28 0 151084191 27245887488 1887902 33554432000 4194304 4196468 140720373740528 139631325912208 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2329] ppid=2320 vsize=26607312 memory=5428 CPUtime=0.21 cores=0-7 /proc/2323/task/2329/stat : 2329 (java) S 2320 2320 893 0 -1 1077944384 1393 0 0 0 15 6 0 0 20 0 28 0 151084191 27245887488 1887902 33554432000 4194304 4196468 140720373740528 139631324858640 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2330] ppid=2320 vsize=26607312 memory=7589680 CPUtime=0.18 cores=0-7 /proc/2323/task/2330/stat : 2330 (java) S 2320 2320 893 0 -1 1077944384 275 0 0 0 13 5 0 0 20 0 28 0 151084191 27245887488 1887902 33554432000 4194304 4196468 140720373740528 139631323806096 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2331] ppid=2320 vsize=26607312 memory=7528 CPUtime=0.2 cores=0-7 /proc/2323/task/2331/stat : 2331 (java) S 2320 2320 893 0 -1 1077944384 454 0 0 0 14 6 0 0 20 0 28 0 151084191 27245887488 1887902 33554432000 4194304 4196468 140720373740528 139631322753552 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2332] ppid=2320 vsize=26607312 memory=1384 CPUtime=0.17 cores=0-7 /proc/2323/task/2332/stat : 2332 (java) S 2320 2320 893 0 -1 1077944384 584 0 0 0 13 4 0 0 20 0 28 0 151084191 27245887488 1887902 33554432000 4194304 4196468 140720373740528 139631321701008 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2333] ppid=2320 vsize=26607312 memory=4140 CPUtime=0.04 cores=0-7 /proc/2323/task/2333/stat : 2333 (java) S 2320 2320 893 0 -1 1077944384 4594 0 0 0 3 1 0 0 20 0 28 0 151084192 27245887488 1887902 33554432000 4194304 4196468 140720373740528 139630445251056 139631770450562 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2334] ppid=2320 vsize=26607312 memory=279584118999856 CPUtime=0 cores=0-7 /proc/2323/task/2334/stat : 2334 (java) S 2320 2320 893 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 151084193 27245887488 1887902 33554432000 4194304 4196468 140720373740528 139630444197344 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2335] ppid=2320 vsize=26607312 memory=279584118430528 CPUtime=0 cores=0-7 /proc/2323/task/2335/stat : 2335 (java) S 2320 2320 893 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 151084193 27245887488 1887902 33554432000 4194304 4196468 140720373740528 139630443144704 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2336] ppid=2320 vsize=26607312 memory=1384 CPUtime=0 cores=0-7 /proc/2323/task/2336/stat : 2336 (java) S 2320 2320 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151084195 27245887488 1887902 33554432000 4194304 4196468 140720373740528 139630442093264 139631770458011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2337] ppid=2320 vsize=26607312 memory=7587532 CPUtime=2.8 cores=0-7 /proc/2323/task/2337/stat : 2337 (java) S 2320 2320 893 0 -1 1077944384 9644 0 0 0 278 2 0 0 20 0 28 0 151084195 27245887488 1887902 33554432000 4194304 4196468 140720373740528 139630441039856 139631770450562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2338] ppid=2320 vsize=26607312 memory=15876 CPUtime=2.7 cores=0-7 /proc/2323/task/2338/stat : 2338 (java) S 2320 2320 893 0 -1 1077944384 8369 0 0 0 267 3 0 0 20 0 28 0 151084195 27245887488 1887902 33554432000 4194304 4196468 140720373740528 139630439987312 139631770450562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2339] ppid=2320 vsize=26607312 memory=1292 CPUtime=3 cores=0-7 /proc/2323/task/2339/stat : 2339 (java) S 2320 2320 893 0 -1 1077944384 12148 0 0 0 298 2 0 0 20 0 28 0 151084195 27245887488 1887902 33554432000 4194304 4196468 140720373740528 139630438934768 139631770450562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2340] ppid=2320 vsize=26607312 memory=2428 CPUtime=1.13 cores=0-7 /proc/2323/task/2340/stat : 2340 (java) S 2320 2320 893 0 -1 1077944384 8645 0 0 0 111 2 0 0 20 0 28 0 151084195 27245887488 1887902 33554432000 4194304 4196468 140720373740528 139630437882224 139631770450562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2341] ppid=2320 vsize=26607312 memory=4140 CPUtime=0 cores=0-7 /proc/2323/task/2341/stat : 2341 (java) S 2320 2320 893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151084196 27245887488 1887902 33554432000 4194304 4196468 140720373740528 139630436829920 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2342] ppid=2320 vsize=26607312 memory=15876 CPUtime=0.07 cores=0-7 /proc/2323/task/2342/stat : 2342 (java) S 2320 2320 893 0 -1 1077944384 788 0 0 0 0 7 0 0 20 0 28 0 151084196 27245887488 1887902 33554432000 4194304 4196468 140720373740528 139630435777456 139631770450562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=5001] ppid=2320 vsize=26607312 memory=16444 CPUtime=213.31 cores=0-7 /proc/2323/task/5001/stat : 5001 (java) R 2320 2320 893 0 -1 4202560 1659 0 0 0 21327 4 0 0 20 0 28 0 151084974 27245887488 1887902 33554432000 4194304 4196468 140720373740528 139630421450696 139631417575195 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=5002] ppid=2320 vsize=26607312 memory=1384 CPUtime=214.26 cores=0-7 /proc/2323/task/5002/stat : 5002 (java) R 2320 2320 893 0 -1 4202560 1156 0 0 0 21422 4 0 0 20 0 28 0 151084974 27245887488 1887902 33554432000 4194304 4196468 140720373740528 139630422506752 139631417020877 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=5003] ppid=2320 vsize=26607312 memory=1384 CPUtime=214.37 cores=0-7 /proc/2323/task/5003/stat : 5003 (java) R 2320 2320 893 0 -1 4202560 1404 0 0 0 21434 3 0 0 20 0 28 0 151084974 27245887488 1887902 33554432000 4194304 4196468 140720373740528 139630424608440 139631419084005 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=5004] ppid=2320 vsize=26607312 memory=1384 CPUtime=211.92 cores=0-7 /proc/2323/task/5004/stat : 5004 (java) R 2320 2320 893 0 -1 4202560 28323 0 0 0 21060 132 0 0 20 0 28 0 151084975 27245887488 1887902 33554432000 4194304 4196468 140720373740528 139630426714168 139631418019254 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=5005] ppid=2320 vsize=26607312 memory=1384 CPUtime=213.7 cores=0-7 /proc/2323/task/5005/stat : 5005 (java) R 2320 2320 893 0 -1 4202560 2478 0 0 0 21368 2 0 0 20 0 28 0 151084975 27245887488 1887902 33554432000 4194304 4196468 140720373740528 139630423556024 139631418480125 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=5006] ppid=2320 vsize=26607312 memory=7587532 CPUtime=214.27 cores=0-7 /proc/2323/task/5006/stat : 5006 (java) R 2320 2320 893 0 -1 4202560 1051 0 0 0 21425 2 0 0 20 0 28 0 151084975 27245887488 1887902 33554432000 4194304 4196468 140720373740528 139630427766888 139631417021472 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=5007] ppid=2320 vsize=26607312 memory=4140 CPUtime=214.28 cores=0-7 /proc/2323/task/5007/stat : 5007 (java) R 2320 2320 893 0 -1 4202560 1332 0 0 0 21425 3 0 0 20 0 28 0 151084975 27245887488 1887902 33554432000 4194304 4196468 140720373740528 139630420397912 139631418018139 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=5008] ppid=2320 vsize=26607312 memory=42000 CPUtime=213.87 cores=0-7 /proc/2323/task/5008/stat : 5008 (java) R 2320 2320 893 0 -1 4202560 2556 0 0 0 21383 4 0 0 20 0 28 0 151084975 27245887488 1887902 33554432000 4194304 4196468 140720373740528 139630417248688 139631418019220 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 Current children cumulated CPU time: 1754.98 s Current children cumulated vsize: 26616824 KiB Current children cumulated memory: 7552992 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.001 s]* /proc/loadavg: 8.04 8.09 6.81 9/207 5008 /proc/meminfo: memFree=14243468/32770624 swapFree=67108860/67108860 [pid=2320] ppid=2317 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/2320/stat : 2320 (xcsp3-exec) S 2317 2320 893 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151084189 9740288 346 33554432000 4194304 5098028 140727653753488 140727653751592 140503054893692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20992000 140727653758059 140727653758268 140727653758268 140727653761003 0 /proc/2320/statm: 2378 346 289 221 0 87 0 [pid=2323] ppid=2320 vsize=26607312 memory=7513640 CPUtime=1991.97 cores=0-7 /proc/2323/stat : 2323 (java) S 2320 2320 893 0 -1 1077944320 131633 0 0 0 198905 292 0 0 20 0 28 0 151084190 27245887488 1878410 33554432000 4194304 4196468 140720373740528 140720373723072 139631770439415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 /proc/2323/statm: 6651828 1878410 3288 1 0 6639062 0 [pid=2323/tid=2324] ppid=2320 vsize=26607312 memory=1399051139730258233 CPUtime=2.71 cores=0-7 /proc/2323/task/2324/stat : 2324 (java) S 2320 2320 893 0 -1 1077944384 9595 0 0 0 265 6 0 0 20 0 28 0 151084190 27245887488 1878410 33554432000 4194304 4196468 140720373740528 139631774680080 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2325] ppid=2320 vsize=26607312 memory=4126316290023845779 CPUtime=0.18 cores=0-7 /proc/2323/task/2325/stat : 2325 (java) S 2320 2320 893 0 -1 1077944384 615 0 0 0 13 5 0 0 20 0 28 0 151084191 27245887488 1878410 33554432000 4194304 4196468 140720373740528 139631329069840 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2326] ppid=2320 vsize=26607312 memory=4624 CPUtime=0.17 cores=0-7 /proc/2323/task/2326/stat : 2326 (java) S 2320 2320 893 0 -1 1077944384 468 0 0 0 12 5 0 0 20 0 28 0 151084191 27245887488 1878410 33554432000 4194304 4196468 140720373740528 139631328017296 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2327] ppid=2320 vsize=26607312 memory=1424 CPUtime=0.17 cores=0-7 /proc/2323/task/2327/stat : 2327 (java) S 2320 2320 893 0 -1 1077944384 818 0 0 0 13 4 0 0 20 0 28 0 151084191 27245887488 1878410 33554432000 4194304 4196468 140720373740528 139631326964752 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2328] ppid=2320 vsize=26607312 memory=13160 CPUtime=0.2 cores=0-7 /proc/2323/task/2328/stat : 2328 (java) S 2320 2320 893 0 -1 1077944384 733 0 0 0 15 5 0 0 20 0 28 0 151084191 27245887488 1878410 33554432000 4194304 4196468 140720373740528 139631325912208 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2329] ppid=2320 vsize=26607312 memory=792 CPUtime=0.21 cores=0-7 /proc/2323/task/2329/stat : 2329 (java) S 2320 2320 893 0 -1 1077944384 1407 0 0 0 15 6 0 0 20 0 28 0 151084191 27245887488 1878410 33554432000 4194304 4196468 140720373740528 139631324858640 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2330] ppid=2320 vsize=26607312 memory=1008 CPUtime=0.19 cores=0-7 /proc/2323/task/2330/stat : 2330 (java) S 2320 2320 893 0 -1 1077944384 320 0 0 0 14 5 0 0 20 0 28 0 151084191 27245887488 1878410 33554432000 4194304 4196468 140720373740528 139631323806096 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2331] ppid=2320 vsize=26607312 memory=10728 CPUtime=0.2 cores=0-7 /proc/2323/task/2331/stat : 2331 (java) S 2320 2320 893 0 -1 1077944384 514 0 0 0 14 6 0 0 20 0 28 0 151084191 27245887488 1878410 33554432000 4194304 4196468 140720373740528 139631322753552 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2332] ppid=2320 vsize=26607312 memory=1204 CPUtime=0.17 cores=0-7 /proc/2323/task/2332/stat : 2332 (java) S 2320 2320 893 0 -1 1077944384 649 0 0 0 13 4 0 0 20 0 28 0 151084191 27245887488 1878410 33554432000 4194304 4196468 140720373740528 139631321701008 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2333] ppid=2320 vsize=26607312 memory=15876 CPUtime=0.05 cores=0-7 /proc/2323/task/2333/stat : 2333 (java) S 2320 2320 893 0 -1 1077944384 4894 0 0 0 4 1 0 0 20 0 28 0 151084192 27245887488 1878410 33554432000 4194304 4196468 140720373740528 139630445251056 139631770450562 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2334] ppid=2320 vsize=26607312 memory=1384 CPUtime=0 cores=0-7 /proc/2323/task/2334/stat : 2334 (java) S 2320 2320 893 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 151084193 27245887488 1878410 33554432000 4194304 4196468 140720373740528 139630444197344 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2335] ppid=2320 vsize=26607312 memory=7553144 CPUtime=0 cores=0-7 /proc/2323/task/2335/stat : 2335 (java) S 2320 2320 893 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 151084193 27245887488 1878410 33554432000 4194304 4196468 140720373740528 139630443144704 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2336] ppid=2320 vsize=26607312 memory=4140 CPUtime=0 cores=0-7 /proc/2323/task/2336/stat : 2336 (java) S 2320 2320 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151084195 27245887488 1878410 33554432000 4194304 4196468 140720373740528 139630442093264 139631770458011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2337] ppid=2320 vsize=26607312 memory=42000 CPUtime=2.8 cores=0-7 /proc/2323/task/2337/stat : 2337 (java) S 2320 2320 893 0 -1 1077944384 9648 0 0 0 278 2 0 0 20 0 28 0 151084195 27245887488 1878410 33554432000 4194304 4196468 140720373740528 139630441039856 139631770450562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2338] ppid=2320 vsize=26607312 memory=1292 CPUtime=2.7 cores=0-7 /proc/2323/task/2338/stat : 2338 (java) S 2320 2320 893 0 -1 1077944384 8372 0 0 0 267 3 0 0 20 0 28 0 151084195 27245887488 1878410 33554432000 4194304 4196468 140720373740528 139630439987312 139631770450562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2339] ppid=2320 vsize=26607312 memory=2428 CPUtime=3 cores=0-7 /proc/2323/task/2339/stat : 2339 (java) S 2320 2320 893 0 -1 1077944384 12151 0 0 0 298 2 0 0 20 0 28 0 151084195 27245887488 1878410 33554432000 4194304 4196468 140720373740528 139630438934768 139631770450562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2340] ppid=2320 vsize=26607312 memory=1732 CPUtime=1.13 cores=0-7 /proc/2323/task/2340/stat : 2340 (java) S 2320 2320 893 0 -1 1077944384 8653 0 0 0 111 2 0 0 20 0 28 0 151084195 27245887488 1878410 33554432000 4194304 4196468 140720373740528 139630437882224 139631770450562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2341] ppid=2320 vsize=26607312 memory=1944 CPUtime=0 cores=0-7 /proc/2323/task/2341/stat : 2341 (java) S 2320 2320 893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151084196 27245887488 1878410 33554432000 4194304 4196468 140720373740528 139630436829920 139631770449621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=2342] ppid=2320 vsize=26607312 memory=1700 CPUtime=0.08 cores=0-7 /proc/2323/task/2342/stat : 2342 (java) S 2320 2320 893 0 -1 1077944384 814 0 0 0 0 8 0 0 20 0 28 0 151084196 27245887488 1878410 33554432000 4194304 4196468 140720373740528 139630435777456 139631770450562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=5001] ppid=2320 vsize=26607312 memory=1228 CPUtime=242.72 cores=0-7 /proc/2323/task/5001/stat : 5001 (java) R 2320 2320 893 0 -1 4202560 1735 0 0 0 24268 4 0 0 20 0 28 0 151084974 27245887488 1878410 33554432000 4194304 4196468 140720373740528 139630421449976 139631417575139 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=5002] ppid=2320 vsize=26607312 memory=5428 CPUtime=243.96 cores=0-7 /proc/2323/task/5002/stat : 5002 (java) R 2320 2320 893 0 -1 4202560 1228 0 0 0 24392 4 0 0 20 0 28 0 151084974 27245887488 1878410 33554432000 4194304 4196468 140720373740528 139630422506976 139631412491112 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=5003] ppid=2320 vsize=26607312 memory=4624 CPUtime=244.04 cores=0-7 /proc/2323/task/5003/stat : 5003 (java) R 2320 2320 893 0 -1 4202560 1489 0 0 0 24401 3 0 0 20 0 28 0 151084974 27245887488 1878410 33554432000 4194304 4196468 140720373740528 139630424607968 139631418203407 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=5004] ppid=2320 vsize=26607312 memory=1424 CPUtime=241.32 cores=0-7 /proc/2323/task/5004/stat : 5004 (java) R 2320 2320 893 0 -1 4202560 30978 0 0 0 23997 135 0 0 20 0 28 0 151084975 27245887488 1878410 33554432000 4194304 4196468 140720373740528 139630426713784 139631419004829 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=5005] ppid=2320 vsize=26607312 memory=13160 CPUtime=243.37 cores=0-7 /proc/2323/task/5005/stat : 5005 (java) R 2320 2320 893 0 -1 4202560 2663 0 0 0 24335 2 0 0 20 0 28 0 151084975 27245887488 1878410 33554432000 4194304 4196468 140720373740528 139630423555776 139631417021472 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=5006] ppid=2320 vsize=26607312 memory=792 CPUtime=243.97 cores=0-7 /proc/2323/task/5006/stat : 5006 (java) R 2320 2320 893 0 -1 4202560 1308 0 0 0 24395 2 0 0 20 0 28 0 151084975 27245887488 1878410 33554432000 4194304 4196468 140720373740528 139630427766536 139631417021152 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=5007] ppid=2320 vsize=26607312 memory=1008 CPUtime=243.98 cores=0-7 /proc/2323/task/5007/stat : 5007 (java) R 2320 2320 893 0 -1 4202560 1487 0 0 0 24394 4 0 0 20 0 28 0 151084975 27245887488 1878410 33554432000 4194304 4196468 140720373740528 139630420398264 139631751845732 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 [pid=2323/tid=5008] ppid=2320 vsize=26607312 memory=10728 CPUtime=243.57 cores=0-7 /proc/2323/task/5008/stat : 5008 (java) R 2320 2320 893 0 -1 4202560 2741 0 0 0 24353 4 0 0 20 0 28 0 151084975 27245887488 1878410 33554432000 4194304 4196468 140720373740528 139630417248728 139631417575172 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31363072 140720373748888 140720373749064 140720373749064 140720373751759 0 Current children cumulated CPU time: 1991.97 s Current children cumulated vsize: 26616824 KiB Current children cumulated memory: 7515024 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.038 s] # the end of solver process 2320 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.001956 s, system=0 s [startup+252.16 s] # the end of solver process 2323 was just reported to runsolver # cumulated CPU time of all completed processes: user=1989.77 s, system=2.98164 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 [startup+252.126 s]* /proc/loadavg: 8.04 8.09 6.81 2/180 5010 /proc/meminfo: memFree=16958668/32770624 swapFree=67108860/67108860 Current cumulated CPU time of completed processes: 0.001956 s Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 143 Real time (s): 252.16 CPU time (s): 1992.75 CPU user time (s): 1989.77 CPU system time (s): 2.98164 CPU usage (%): 790.271 Max. virtual memory (cumulated for all children) (KiB): 26616824 Max. memory (cumulated for all children) (KiB): 7591064 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1989.77 system time used= 2.98164 maximum resident set size= 7593772 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 133079 page faults= 0 swaps= 0 block input operations= 0 block output operations= 456 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 31770 involuntary context switches= 20324 # summary of solver processes directly reported to runsolver: # pid: 2320,2323 # total CPU time (s): 1992.75 # total CPU user time (s): 1989.77 # total CPU system time (s): 2.98164 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.16117 second user time and 2.99158 second system time The end
Begin job on node114 at 2017-08-19 23:45:05 IDJOB=4281602 IDBENCH=115900 IDSOLVER=2676 FILE ID=node114/4281602-1503179965 RUNJOBID= node114-1503168972-924 PBS_JOBID= 20630836 Free space on /tmp= 61848 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-27.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-4281602-1503179965/watcher-4281602-1503179965 -o /tmp/evaluation-result-4281602-1503179965/solver-4281602-1503179965 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node114-1503168972-924 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 318948361 HOME/instance-4281602-1503179965.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 7effaf54e6298c2e2ce7b82787858117 RANDOM SEED=318948361 node114.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 : 5332.98 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 : 5332.98 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 : 5332.98 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 : 5332.98 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: 21757664 kB MemAvailable: 31971552 kB Buffers: 258296 kB Cached: 10245212 kB SwapCached: 0 kB Active: 1765428 kB Inactive: 8792008 kB Active(anon): 46144 kB Inactive(anon): 44268 kB Active(file): 1719284 kB Inactive(file): 8747740 kB Unevictable: 7236 kB Mlocked: 7236 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7892 kB Writeback: 0 kB AnonPages: 61412 kB Mapped: 51356 kB Shmem: 33416 kB Slab: 151400 kB SReclaimable: 125400 kB SUnreclaim: 26000 kB KernelStack: 3152 kB PageTables: 4856 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 332308 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: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 61840 MiB End job on node114 at 2017-08-19 23:49:17