Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | SAT (TO) | 387 | 1985.15 | 252.14101 |
Name | StillLife/StillLife-wst-s1/ StillLife-wastage-29.xml |
MD5SUM | 1822b9c415adc1a9dd10b23e46d08c48 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 413 |
Best CPU time to get the best result obtained on this benchmark | 251.87601 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1954 |
Number of constraints | 1139 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 1923 |
Distribution of domain sizes | [{"size":2,"count":961},{"size":3,"count":961},{"size":842,"count":1},{"size":1923,"count":31}] |
Minimum variable degree | 1 |
Maximum variable degree | 32 |
Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":958},{"degree":3,"count":34},{"degree":4,"count":116},{"degree":8,"count":112},{"degree":9,"count":729},{"degree":32,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 33 |
Distribution of constraint arities | [{"arity":2,"count":147},{"arity":3,"count":116},{"arity":10,"count":841},{"arity":31,"count":4},{"arity":32,"count":1},{"arity":33,"count":30}] |
Number of extensional constraints | 957 |
Number of intensional constraints | 146 |
Distribution of constraint types | [{"type":"extension","count":957},{"type":"intension","count":146},{"type":"sum","count":32},{"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-4271794-1502639791.xml" -tl '2016s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4271794-1502639791.xml, -tl, 2016s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 7.80/2.84 c solve instance... 12.90/3.54 o 0 13.95/3.71 o 4 15.00/4.07 o 6 15.39/4.12 o 8 15.39/4.13 o 10 15.39/4.17 o 12 16.01/4.21 o 13 16.01/4.21 o 14 16.01/4.22 o 15 16.01/4.24 o 16 16.01/4.24 o 17 16.01/4.25 o 18 16.01/4.26 o 19 16.01/4.30 o 20 16.66/4.31 o 21 16.66/4.31 o 22 16.66/4.32 o 23 16.66/4.33 o 24 16.66/4.33 o 25 16.66/4.34 o 26 16.66/4.35 o 27 16.66/4.36 o 28 16.66/4.37 o 29 16.66/4.37 o 30 16.66/4.38 o 31 16.66/4.38 o 32 16.66/4.39 o 33 16.66/4.40 o 34 16.66/4.40 o 35 17.22/4.41 o 36 17.22/4.42 o 37 17.22/4.45 o 38 17.22/4.46 o 39 17.22/4.47 o 40 17.22/4.47 o 41 17.22/4.48 o 42 17.22/4.48 o 43 17.22/4.49 o 44 17.22/4.49 o 45 17.83/4.50 o 46 17.83/4.50 o 47 17.83/4.51 o 48 17.83/4.52 o 49 17.83/4.52 o 50 17.83/4.53 o 51 17.83/4.53 o 52 17.83/4.54 o 53 17.83/4.54 o 54 17.83/4.55 o 55 17.83/4.56 o 56 17.83/4.56 o 57 17.83/4.57 o 58 17.83/4.57 o 59 17.83/4.58 o 60 17.83/4.59 o 61 18.39/4.61 o 62 18.39/4.62 o 63 18.39/4.62 o 64 18.39/4.63 o 65 18.39/4.64 o 66 18.39/4.64 o 67 18.39/4.64 o 68 18.39/4.65 o 69 18.39/4.66 o 70 18.39/4.66 o 71 18.39/4.67 o 72 18.39/4.67 o 73 18.39/4.68 o 74 18.39/4.68 o 75 18.39/4.69 o 76 18.39/4.69 o 77 19.01/4.70 o 78 19.01/4.71 o 79 19.01/4.71 o 80 19.01/4.71 o 81 19.01/4.72 o 82 19.01/4.73 o 83 19.01/4.73 o 84 19.01/4.74 o 85 19.01/4.74 o 86 19.01/4.75 o 87 19.01/4.75 o 88 19.01/4.76 o 89 19.01/4.77 o 90 19.01/4.78 o 91 19.01/4.79 o 92 19.51/4.81 o 93 19.51/4.84 o 94 19.51/4.85 o 95 19.51/4.85 o 96 19.51/4.86 o 97 19.51/4.86 o 98 19.51/4.87 o 99 19.51/4.87 o 100 19.51/4.88 o 101 19.51/4.88 o 102 19.51/4.89 o 103 19.51/4.89 o 104 19.51/4.90 o 105 20.09/4.90 o 106 20.09/4.91 o 107 20.09/4.91 o 108 20.09/4.92 o 109 20.09/4.92 o 110 20.09/4.93 o 111 20.09/4.93 o 112 20.09/4.94 o 113 20.09/4.95 o 114 20.09/4.95 o 115 20.09/4.96 o 116 20.09/4.97 o 117 20.09/4.97 o 118 20.09/4.98 o 119 20.09/4.98 o 120 20.09/4.99 o 121 20.09/4.99 o 122 20.09/5.00 o 123 20.61/5.01 o 124 20.61/5.01 o 125 20.61/5.02 o 126 20.61/5.03 o 127 20.61/5.03 o 128 20.61/5.04 o 129 20.61/5.07 o 130 20.61/5.07 o 131 20.61/5.08 o 132 20.61/5.08 o 133 20.61/5.09 o 134 20.61/5.09 o 135 20.61/5.10 o 136 20.61/5.10 o 137 20.61/5.11 o 138 21.15/5.11 o 139 21.15/5.12 o 140 21.15/5.12 o 141 21.15/5.13 o 142 21.15/5.13 o 143 21.15/5.14 o 144 21.15/5.14 o 145 21.15/5.15 o 146 21.15/5.16 o 147 21.15/5.16 o 148 21.15/5.17 o 149 21.15/5.17 o 150 21.15/5.18 o 151 21.15/5.19 o 152 21.15/5.19 o 153 21.15/5.20 o 154 21.64/5.20 o 155 21.64/5.21 o 156 21.64/5.22 o 157 21.64/5.22 o 158 21.64/5.23 o 159 21.64/5.24 o 160 21.64/5.24 o 161 21.64/5.25 o 162 21.64/5.25 o 163 21.64/5.26 o 164 21.64/5.27 o 165 21.64/5.27 o 166 21.64/5.29 o 167 21.64/5.29 o 168 21.64/5.30 o 169 22.15/5.31 o 170 22.15/5.31 o 171 22.15/5.32 o 172 22.15/5.32 o 173 22.15/5.33 o 174 22.15/5.34 o 175 22.15/5.34 o 176 22.15/5.35 o 177 22.15/5.35 o 178 22.15/5.36 o 179 22.15/5.37 o 180 22.15/5.37 o 181 22.15/5.39 o 182 22.15/5.39 o 183 22.68/5.40 o 184 22.68/5.41 o 185 22.68/5.41 o 186 22.68/5.42 o 187 22.68/5.43 o 188 22.68/5.43 o 189 22.68/5.44 o 190 22.68/5.45 o 191 22.68/5.45 o 192 22.68/5.46 o 193 22.68/5.47 o 194 22.68/5.47 o 195 22.68/5.48 o 196 22.68/5.48 o 197 22.68/5.49 o 198 23.21/5.50 o 199 23.21/5.50 o 200 23.21/5.51 o 201 23.21/5.52 o 202 23.21/5.52 o 203 23.21/5.53 o 204 23.21/5.54 o 205 23.21/5.54 o 206 23.21/5.55 o 207 23.21/5.56 o 208 23.21/5.56 o 209 23.21/5.57 o 210 23.21/5.58 o 211 23.21/5.59 o 212 23.21/5.59 o 213 23.71/5.60 o 214 23.71/5.61 o 215 23.71/5.61 o 216 23.71/5.62 o 217 23.71/5.62 o 218 23.71/5.63 o 219 23.71/5.64 o 220 23.71/5.64 o 221 23.71/5.65 o 222 23.71/5.65 o 223 23.71/5.66 o 224 23.71/5.67 o 225 23.71/5.67 o 226 23.71/5.68 o 227 23.71/5.69 o 228 23.71/5.69 o 229 24.28/5.70 o 230 24.28/5.71 o 231 24.28/5.71 o 232 24.28/5.72 o 233 24.28/5.73 o 234 24.28/5.73 o 235 24.28/5.74 o 236 24.28/5.76 o 237 24.28/5.78 o 238 25.17/6.09 o 239 25.17/6.10 o 240 25.17/6.11 o 241 25.43/6.12 o 242 25.43/6.12 o 243 25.43/6.13 o 244 25.43/6.13 o 245 25.43/6.14 o 246 25.43/6.14 o 247 25.43/6.15 o 248 25.43/6.15 o 249 25.43/6.16 o 250 25.43/6.17 o 251 25.43/6.18 o 252 25.43/6.18 o 253 25.43/6.19 o 254 25.43/6.19 o 255 25.43/6.20 o 256 26.03/6.22 o 257 26.03/6.22 o 258 26.03/6.23 o 259 26.03/6.23 o 260 26.03/6.24 o 261 26.03/6.25 o 262 26.03/6.26 o 263 26.03/6.26 o 264 26.03/6.27 o 265 26.03/6.28 o 266 26.03/6.28 o 267 26.03/6.29 o 268 26.03/6.30 o 269 26.57/6.30 o 270 26.57/6.31 o 271 26.57/6.32 o 272 26.57/6.33 o 273 26.57/6.33 o 274 26.57/6.34 o 275 26.57/6.35 o 276 26.57/6.36 o 277 26.57/6.37 o 278 26.57/6.38 o 279 26.57/6.38 o 280 26.57/6.39 o 281 26.57/6.39 o 282 26.57/6.40 o 283 27.17/6.41 o 284 27.17/6.41 o 285 27.17/6.42 o 286 27.17/6.43 o 287 27.17/6.43 o 288 27.17/6.44 o 289 27.17/6.45 o 290 27.17/6.45 o 291 27.17/6.46 o 292 27.17/6.47 o 293 27.17/6.47 o 294 27.17/6.48 o 295 27.17/6.49 o 296 27.17/6.49 o 297 27.17/6.50 o 298 27.76/6.51 o 299 27.76/6.51 o 300 27.76/6.52 o 301 27.76/6.53 o 302 27.76/6.54 o 303 27.76/6.54 o 304 27.76/6.55 o 305 27.76/6.56 o 306 27.76/6.56 o 307 27.76/6.57 o 308 27.76/6.58 o 309 27.76/6.59 o 310 27.76/6.60 o 311 28.28/6.60 o 312 28.28/6.61 o 313 28.28/6.62 o 314 28.28/6.66 o 315 28.28/6.66 o 316 28.28/6.67 o 317 28.28/6.67 o 318 28.28/6.68 o 319 28.28/6.69 o 320 28.28/6.69 o 321 28.88/6.70 o 322 28.88/6.71 o 323 28.88/6.71 o 324 28.88/6.72 o 325 28.88/6.73 o 326 28.88/6.73 o 327 28.88/6.74 o 328 28.88/6.75 o 329 28.88/6.76 o 330 28.88/6.76 o 331 28.88/6.77 o 332 28.88/6.78 o 333 28.88/6.79 o 334 28.88/6.79 o 335 29.46/6.80 o 336 29.46/6.81 o 337 29.46/6.82 o 338 29.46/6.82 o 339 29.46/6.83 o 340 29.46/6.84 o 341 29.46/6.85 o 342 29.46/6.86 o 343 29.46/6.87 o 344 29.46/6.87 o 345 29.46/6.88 o 346 29.46/6.89 o 347 29.95/6.90 o 348 29.95/6.91 o 349 29.95/6.92 o 350 29.95/6.93 o 351 29.95/6.93 o 352 29.95/6.94 o 353 29.95/6.96 o 354 29.95/6.96 o 355 29.95/6.97 o 356 29.95/6.98 o 357 29.95/6.99 o 358 29.95/7.00 o 359 29.95/7.00 o 360 30.54/7.01 o 361 30.54/7.03 o 362 30.54/7.04 o 363 30.54/7.05 o 364 30.54/7.06 o 365 30.54/7.06 o 366 30.54/7.07 o 367 30.54/7.08 o 368 30.54/7.09 o 369 30.54/7.09 o 370 30.54/7.10 o 371 30.54/7.11 o 372 31.14/7.12 o 373 31.14/7.13 o 374 31.14/7.14 o 375 31.14/7.15 o 376 31.14/7.16 o 377 31.14/7.17 o 378 31.14/7.18 o 379 31.14/7.19 o 380 31.14/7.20 o 381 31.59/7.21 o 382 31.59/7.22 o 383 31.59/7.23 o 384 31.59/7.24 o 385 31.59/7.25 o 386 31.59/7.26 o 387 1984.44/252.09 s SATISFIABLE 1984.44/252.09 v <instantiation> 1984.44/252.09 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] 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[0][29] w[0][30] 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[1][29] w[1][30] 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[2][29] w[2][30] 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[3][29] w[3][30] 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[4][29] w[4][30] 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[5][29] w[5][30] 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[6][29] w[6][30] 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[7][29] w[7][30] 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[8][29] w[8][30] 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[9][29] w[9][30] 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[10][29] w[10][30] 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[11][29] w[11][30] 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[12][29] w[12][30] 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[13][29] w[13][30] 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[14][29] w[14][30] 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[15][29] w[15][30] 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[16][29] w[16][30] 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[17][29] w[17][30] 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[18][29] w[18][30] 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[19][29] w[19][30] 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[20][29] w[20][30] 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[21][29] w[21][30] 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[22][29] w[22][30] 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[23][29] w[23][30] 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[24][29] w[24][30] 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[25][29] w[25][30] 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[26][29] w[26][30] 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[27][29] w[27][30] 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] w[28][29] w[28][30] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] 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] ws[29] ws[30] z </list> 1984.44/252.09 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 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 1 1 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 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 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 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 1 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 0 0 0 0 0 0 1 1 0 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 1 0 1 0 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 1 1 1 0 1 0 1 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 1 0 1 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 1 1 0 1 0 0 0 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 0 1 1 0 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 1 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 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 0 0 1 0 0 1 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 1 0 1 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 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 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 0 0 0 0 0 0 0 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 0 0 0 0 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 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 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 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 0 0 1 0 0 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 0 0 1 1 1 1 1 1 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 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 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 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 2 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 2 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 1 0 0 1 1 2 0 2 0 0 1 1 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 2 2 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 2 2 2 2 2 2 1 0 0 0 0 0 0 0 0 0 0 1 1 2 1 2 2 0 0 0 1 2 1 1 0 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 0 0 1 1 1 0 9 9 9 20 20 20 53 57 58 60 64 66 92 97 99 100 103 110 127 128 130 141 141 145 158 163 173 186 199 227 250 387 </values> 1984.44/252.09 v </instantiation> 1984.44/252.09 c Unexpected resolution interruption!
OK 387
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 (14305 MiB free) memory of node 1: 16384 MiB (14172 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271794-1502639791/watcher-4271794-1502639791 -o /tmp/evaluation-result-4271794-1502639791/solver-4271794-1502639791 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1502636397-3850 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1633176662 HOME/instance-4271794-1502639791.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=7934, runsolver pid=7931 [startup+0.100141 s]* /proc/loadavg: 7.42 7.35 7.22 2/200 7955 /proc/meminfo: memFree=29145144/32770624 swapFree=67108860/67108860 [pid=7934] ppid=7931 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/7934/stat : 7934 (xcsp3-exec) S 7931 7934 3823 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97067169 9740288 346 33554432000 4194304 5098028 140731963442496 140731963440600 139674127073916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24481792 140731963450474 140731963450684 140731963450684 140731963453419 0 /proc/7934/statm: 2378 346 289 221 0 87 0 [pid=7936] ppid=7934 vsize=25999808 memory=27120 CPUtime=0.11 cores=0-7 /proc/7936/stat : 7936 (java) S 7934 7934 3823 0 -1 1077944320 5716 0 0 0 10 1 0 0 20 0 20 0 97067169 26623803392 6780 33554432000 4194304 4196468 140725921565232 140725921547776 140099695103735 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 /proc/7936/statm: 6499952 6780 2844 1 0 6488269 0 [pid=7936/tid=7937] ppid=7934 vsize=25999808 memory=4134692831991783777 CPUtime=0.09 cores=0-7 /proc/7936/task/7937/stat : 7937 (java) R 7934 7934 3823 0 -1 4202560 3718 0 0 0 8 1 0 0 20 0 20 0 97067169 26623803392 6780 33554432000 4194304 4196468 140725921565232 140099699319712 140099676688545 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7938] ppid=7934 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/7936/task/7938/stat : 7938 (java) S 7934 7934 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97067170 26623803392 6780 33554432000 4194304 4196468 140725921565232 140099647724688 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7939] ppid=7934 vsize=25999808 memory=139707677746816 CPUtime=0 cores=0-7 /proc/7936/task/7939/stat : 7939 (java) S 7934 7934 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97067170 26623803392 6780 33554432000 4194304 4196468 140725921565232 140099646671888 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7940] ppid=7934 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7936/task/7940/stat : 7940 (java) S 7934 7934 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97067170 26623803392 6780 33554432000 4194304 4196468 140725921565232 140099645619088 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7941] ppid=7934 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7936/task/7941/stat : 7941 (java) S 7934 7934 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97067170 26623803392 6780 33554432000 4194304 4196468 140725921565232 140099644566288 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7942] ppid=7934 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7936/task/7942/stat : 7942 (java) S 7934 7934 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97067170 26623803392 6780 33554432000 4194304 4196468 140725921565232 140099643513488 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7943] ppid=7934 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/7936/task/7943/stat : 7943 (java) S 7934 7934 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97067170 26623803392 6780 33554432000 4194304 4196468 140725921565232 140099642460688 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7944] ppid=7934 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7936/task/7944/stat : 7944 (java) S 7934 7934 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97067170 26623803392 6780 33554432000 4194304 4196468 140725921565232 140099641407888 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7945] ppid=7934 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7936/task/7945/stat : 7945 (java) S 7934 7934 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97067170 26623803392 6780 33554432000 4194304 4196468 140725921565232 140099640355088 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7946] ppid=7934 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7936/task/7946/stat : 7946 (java) S 7934 7934 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97067171 26623803392 6780 33554432000 4194304 4196468 140725921565232 140098822441840 140099695114882 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7947] ppid=7934 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7936/task/7947/stat : 7947 (java) S 7934 7934 3823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97067172 26623803392 6780 33554432000 4194304 4196468 140725921565232 140098821387808 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7948] ppid=7934 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7936/task/7948/stat : 7948 (java) S 7934 7934 3823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97067172 26623803392 6780 33554432000 4194304 4196468 140725921565232 140098820334960 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7949] ppid=7934 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7936/task/7949/stat : 7949 (java) S 7934 7934 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97067175 26623803392 6780 33554432000 4194304 4196468 140725921565232 140098819283280 140099695122331 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7950] ppid=7934 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7936/task/7950/stat : 7950 (java) S 7934 7934 3823 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 20 0 97067175 26623803392 6780 33554432000 4194304 4196468 140725921565232 140098818230640 140099695114882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7951] ppid=7934 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7936/task/7951/stat : 7951 (java) S 7934 7934 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97067175 26623803392 6780 33554432000 4194304 4196468 140725921565232 140098817177840 140099695114882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7952] ppid=7934 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7936/task/7952/stat : 7952 (java) S 7934 7934 3823 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 97067175 26623803392 6780 33554432000 4194304 4196468 140725921565232 140098816125040 140099695114882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7953] ppid=7934 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/7936/task/7953/stat : 7953 (java) R 7934 7934 3823 0 -1 4202560 249 0 0 0 1 0 0 0 20 0 20 0 97067175 26623803392 6780 33554432000 4194304 4196468 140725921565232 140098815072240 140099695115670 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7954] ppid=7934 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7936/task/7954/stat : 7954 (java) S 7934 7934 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97067175 26623803392 6780 33554432000 4194304 4196468 140725921565232 140098746182752 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7955] ppid=7934 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/7936/task/7955/stat : 7955 (java) S 7934 7934 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97067175 26623803392 6780 33554432000 4194304 4196468 140725921565232 140098745130032 140099695114882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 28504 KiB [startup+0.210089 s]* /proc/loadavg: 7.42 7.35 7.22 3/200 7955 /proc/meminfo: memFree=29135468/32770624 swapFree=67108860/67108860 [pid=7934] ppid=7931 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/7934/stat : 7934 (xcsp3-exec) S 7931 7934 3823 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97067169 9740288 346 33554432000 4194304 5098028 140731963442496 140731963440600 139674127073916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24481792 140731963450474 140731963450684 140731963450684 140731963453419 0 /proc/7934/statm: 2378 346 289 221 0 87 0 [pid=7936] ppid=7934 vsize=26004064 memory=38484 CPUtime=0.33 cores=0-7 /proc/7936/stat : 7936 (java) S 7934 7934 3823 0 -1 1077944320 8218 0 0 0 31 2 0 0 20 0 20 0 97067169 26628161536 9621 33554432000 4194304 4196468 140725921565232 140725921547776 140099695103735 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 /proc/7936/statm: 6501016 9621 3001 1 0 6488269 0 [pid=7936/tid=7937] ppid=7934 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/7936/task/7937/stat : 7937 (java) R 7934 7934 3823 0 -1 4202560 5435 0 0 0 18 2 0 0 20 0 20 0 97067169 26628161536 9621 33554432000 4194304 4196468 140725921565232 140099699324728 140099679184222 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7938] ppid=7934 vsize=26004064 memory=327 CPUtime=0 cores=0-7 /proc/7936/task/7938/stat : 7938 (java) S 7934 7934 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97067170 26628161536 9621 33554432000 4194304 4196468 140725921565232 140099647724688 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7939] ppid=7934 vsize=26004064 memory=139707677755004 CPUtime=0 cores=0-7 /proc/7936/task/7939/stat : 7939 (java) S 7934 7934 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97067170 26628161536 9621 33554432000 4194304 4196468 140725921565232 140099646671888 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7940] ppid=7934 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/7936/task/7940/stat : 7940 (java) S 7934 7934 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97067170 26628161536 9621 33554432000 4194304 4196468 140725921565232 140099645619088 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7941] ppid=7934 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7936/task/7941/stat : 7941 (java) S 7934 7934 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97067170 26628161536 9621 33554432000 4194304 4196468 140725921565232 140099644566288 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7942] ppid=7934 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7936/task/7942/stat : 7942 (java) S 7934 7934 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97067170 26628161536 9621 33554432000 4194304 4196468 140725921565232 140099643513488 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7943] ppid=7934 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/7936/task/7943/stat : 7943 (java) S 7934 7934 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97067170 26628161536 9621 33554432000 4194304 4196468 140725921565232 140099642460688 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7944] ppid=7934 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7936/task/7944/stat : 7944 (java) S 7934 7934 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97067170 26628161536 9621 33554432000 4194304 4196468 140725921565232 140099641407888 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7945] ppid=7934 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7936/task/7945/stat : 7945 (java) S 7934 7934 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97067170 26628161536 9621 33554432000 4194304 4196468 140725921565232 140099640355088 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7946] ppid=7934 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7936/task/7946/stat : 7946 (java) S 7934 7934 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97067171 26628161536 9621 33554432000 4194304 4196468 140725921565232 140098822441840 140099695114882 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7947] ppid=7934 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7936/task/7947/stat : 7947 (java) S 7934 7934 3823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97067172 26628161536 9621 33554432000 4194304 4196468 140725921565232 140098821387808 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7948] ppid=7934 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7936/task/7948/stat : 7948 (java) S 7934 7934 3823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97067172 26628161536 9621 33554432000 4194304 4196468 140725921565232 140098820334960 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7949] ppid=7934 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7936/task/7949/stat : 7949 (java) S 7934 7934 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97067175 26628161536 9621 33554432000 4194304 4196468 140725921565232 140098819283280 140099695122331 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7950] ppid=7934 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7936/task/7950/stat : 7950 (java) S 7934 7934 3823 0 -1 1077944384 368 0 0 0 0 0 0 0 20 0 20 0 97067175 26628161536 9621 33554432000 4194304 4196468 140725921565232 140098818230640 140099695114882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7951] ppid=7934 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/7936/task/7951/stat : 7951 (java) S 7934 7934 3823 0 -1 1077944384 105 0 0 0 2 0 0 0 20 0 20 0 97067175 26628161536 9621 33554432000 4194304 4196468 140725921565232 140098817177840 140099695114882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7952] ppid=7934 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7 /proc/7936/task/7952/stat : 7952 (java) S 7934 7934 3823 0 -1 1077944384 318 0 0 0 2 0 0 0 20 0 20 0 97067175 26628161536 9621 33554432000 4194304 4196468 140725921565232 140098816125040 140099695114882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7953] ppid=7934 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7 /proc/7936/task/7953/stat : 7953 (java) R 7934 7934 3823 0 -1 4202560 686 0 0 0 8 0 0 0 20 0 20 0 97067175 26628161536 9621 33554432000 4194304 4196468 140725921565232 140098815072240 140099679184222 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7954] ppid=7934 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7936/task/7954/stat : 7954 (java) S 7934 7934 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97067175 26628161536 9621 33554432000 4194304 4196468 140725921565232 140098746182752 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7955] ppid=7934 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/7936/task/7955/stat : 7955 (java) S 7934 7934 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97067175 26628161536 9621 33554432000 4194304 4196468 140725921565232 140098745130032 140099695114882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 39868 KiB [startup+0.309513 s]* /proc/loadavg: 7.42 7.35 7.22 3/200 7955 /proc/meminfo: memFree=29130940/32770624 swapFree=67108860/67108860 [pid=7934] ppid=7931 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/7934/stat : 7934 (xcsp3-exec) S 7931 7934 3823 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97067169 9740288 346 33554432000 4194304 5098028 140731963442496 140731963440600 139674127073916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24481792 140731963450474 140731963450684 140731963450684 140731963453419 0 /proc/7934/statm: 2378 346 289 221 0 87 0 [pid=7936] ppid=7934 vsize=26004064 memory=45440 CPUtime=0.5 cores=0-7 /proc/7936/stat : 7936 (java) S 7934 7934 3823 0 -1 1077944320 9092 0 0 0 47 3 0 0 20 0 20 0 97067169 26628161536 11360 33554432000 4194304 4196468 140725921565232 140725921547776 140099695103735 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 /proc/7936/statm: 6501016 11360 3045 1 0 6488269 0 [pid=7936/tid=7937] ppid=7934 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7 /proc/7936/task/7937/stat : 7937 (java) R 7934 7934 3823 0 -1 4202560 6108 0 0 0 27 2 0 0 20 0 20 0 97067169 26628161536 11360 33554432000 4194304 4196468 140725921565232 140099699343040 140099301935068 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7938] ppid=7934 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7936/task/7938/stat : 7938 (java) S 7934 7934 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97067170 26628161536 11360 33554432000 4194304 4196468 140725921565232 140099647724688 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7939] ppid=7934 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7936/task/7939/stat : 7939 (java) S 7934 7934 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97067170 26628161536 11360 33554432000 4194304 4196468 140725921565232 140099646671888 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7940] ppid=7934 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7936/task/7940/stat : 7940 (java) S 7934 7934 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97067170 26628161536 11360 33554432000 4194304 4196468 140725921565232 140099645619088 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7941] ppid=7934 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7936/task/7941/stat : 7941 (java) S 7934 7934 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97067170 26628161536 11360 33554432000 4194304 4196468 140725921565232 140099644566288 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7942] ppid=7934 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/7936/task/7942/stat : 7942 (java) S 7934 7934 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97067170 26628161536 11360 33554432000 4194304 4196468 140725921565232 140099643513488 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7943] ppid=7934 vsize=26004064 memory=139707568714671 CPUtime=0 cores=0-7 /proc/7936/task/7943/stat : 7943 (java) S 7934 7934 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97067170 26628161536 11360 33554432000 4194304 4196468 140725921565232 140099642460688 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7944] ppid=7934 vsize=26004064 memory=139707568716976 CPUtime=0 cores=0-7 /proc/7936/task/7944/stat : 7944 (java) S 7934 7934 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97067170 26628161536 11360 33554432000 4194304 4196468 140725921565232 140099641407888 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7945] ppid=7934 vsize=26004064 memory=139707568719280 CPUtime=0 cores=0-7 /proc/7936/task/7945/stat : 7945 (java) S 7934 7934 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97067170 26628161536 11360 33554432000 4194304 4196468 140725921565232 140099640355088 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7946] ppid=7934 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7936/task/7946/stat : 7946 (java) S 7934 7934 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97067171 26628161536 11360 33554432000 4194304 4196468 140725921565232 140098822441840 140099695114882 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7947] ppid=7934 vsize=26004064 memory=279415137445520 CPUtime=0 cores=0-7 /proc/7936/task/7947/stat : 7947 (java) S 7934 7934 3823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97067172 26628161536 11360 33554432000 4194304 4196468 140725921565232 140098821387808 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7948] ppid=7934 vsize=26004064 memory=279415137452432 CPUtime=0 cores=0-7 /proc/7936/task/7948/stat : 7948 (java) S 7934 7934 3823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97067172 26628161536 11360 33554432000 4194304 4196468 140725921565232 140098820334960 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7949] ppid=7934 vsize=26004064 memory=279415137393712 CPUtime=0 cores=0-7 /proc/7936/task/7949/stat : 7949 (java) S 7934 7934 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97067175 26628161536 11360 33554432000 4194304 4196468 140725921565232 140098819283280 140099695122331 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7950] ppid=7934 vsize=26004064 memory=279415137466256 CPUtime=0.01 cores=0-7 /proc/7936/task/7950/stat : 7950 (java) S 7934 7934 3823 0 -1 1077944384 379 0 0 0 1 0 0 0 20 0 20 0 97067175 26628161536 11360 33554432000 4194304 4196468 140725921565232 140098818230640 140099695114882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7951] ppid=7934 vsize=26004064 memory=279415137473168 CPUtime=0.03 cores=0-7 /proc/7936/task/7951/stat : 7951 (java) S 7934 7934 3823 0 -1 1077944384 161 0 0 0 3 0 0 0 20 0 20 0 97067175 26628161536 11360 33554432000 4194304 4196468 140725921565232 140098817177840 140099695114882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7952] ppid=7934 vsize=26004064 memory=279415137470864 CPUtime=0.02 cores=0-7 /proc/7936/task/7952/stat : 7952 (java) S 7934 7934 3823 0 -1 1077944384 318 0 0 0 2 0 0 0 20 0 20 0 97067175 26628161536 11360 33554432000 4194304 4196468 140725921565232 140098816125040 140099695114882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7953] ppid=7934 vsize=26004064 memory=279415137487024 CPUtime=0.12 cores=0-7 /proc/7936/task/7953/stat : 7953 (java) R 7934 7934 3823 0 -1 4202560 820 0 0 0 12 0 0 0 20 0 20 0 97067175 26628161536 11360 33554432000 4194304 4196468 140725921565232 140098815072240 140099688200571 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7954] ppid=7934 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7936/task/7954/stat : 7954 (java) S 7934 7934 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97067175 26628161536 11360 33554432000 4194304 4196468 140725921565232 140098746182752 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7955] ppid=7934 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/7936/task/7955/stat : 7955 (java) S 7934 7934 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97067175 26628161536 11360 33554432000 4194304 4196468 140725921565232 140098745130032 140099695114882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 46824 KiB [startup+0.700938 s] /proc/loadavg: 7.42 7.35 7.22 4/200 7955 /proc/meminfo: memFree=29106684/32770624 swapFree=67108860/67108860 [pid=7934] ppid=7931 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/7934/stat : 7934 (xcsp3-exec) S 7931 7934 3823 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97067169 9740288 346 33554432000 4194304 5098028 140731963442496 140731963440600 139674127073916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24481792 140731963450474 140731963450684 140731963450684 140731963453419 0 /proc/7934/statm: 2378 346 289 221 0 87 0 [pid=7936] ppid=7934 vsize=26006188 memory=80676 CPUtime=1.97 cores=0-7 /proc/7936/stat : 7936 (java) S 7934 7934 3823 0 -1 1077944320 12765 0 0 0 192 5 0 0 20 0 20 0 97067169 26630336512 20169 33554432000 4194304 4196468 140725921565232 140725921547776 140099695103735 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 /proc/7936/statm: 6501547 20169 3199 1 0 6488781 0 [pid=7936/tid=7937] ppid=7934 vsize=26006188 memory=279415137844912 CPUtime=0.67 cores=0-7 /proc/7936/task/7937/stat : 7937 (java) R 7934 7934 3823 0 -1 4202560 6634 0 0 0 64 3 0 0 20 0 20 0 97067169 26630336512 20169 33554432000 4194304 4196468 140725921565232 140099699326016 140099304424027 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7938] ppid=7934 vsize=26006188 memory=139707568923504 CPUtime=0 cores=0-7 /proc/7936/task/7938/stat : 7938 (java) S 7934 7934 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97067170 26630336512 20169 33554432000 4194304 4196468 140725921565232 140099647724688 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7939] ppid=7934 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/7936/task/7939/stat : 7939 (java) S 7934 7934 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97067170 26630336512 20169 33554432000 4194304 4196468 140725921565232 140099646671888 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7940] ppid=7934 vsize=26006188 memory=5296 CPUtime=0 cores=0-7 /proc/7936/task/7940/stat : 7940 (java) S 7934 7934 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97067170 26630336512 20169 33554432000 4194304 4196468 140725921565232 140099645619088 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 ################ # More data... # ################ /proc/meminfo: memFree=21565424/32770624 swapFree=67108860/67108860 [pid=7934] ppid=7931 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/7934/stat : 7934 (xcsp3-exec) S 7931 7934 3823 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97067169 9740288 346 33554432000 4194304 5098028 140731963442496 140731963440600 139674127073916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24481792 140731963450474 140731963450684 140731963450684 140731963453419 0 /proc/7934/statm: 2378 346 289 221 0 87 0 [pid=7936] ppid=7934 vsize=26673876 memory=7597976 CPUtime=1747.36 cores=0-7 /proc/7936/stat : 7936 (java) S 7934 7934 3823 0 -1 1077944320 144322 0 0 0 174402 334 0 0 20 0 28 0 97067169 27314049024 1899494 33554432000 4194304 4196468 140725921565232 140725921547776 140099695103735 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 /proc/7936/statm: 6668469 1899494 3287 1 0 6655703 0 [pid=7936/tid=7937] ppid=7934 vsize=26673876 memory=4140 CPUtime=3.08 cores=0-7 /proc/7936/task/7937/stat : 7937 (java) S 7934 7934 3823 0 -1 1077944384 9520 0 0 0 299 9 0 0 20 0 28 0 97067169 27314049024 1899494 33554432000 4194304 4196468 140725921565232 140099699344432 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7938] ppid=7934 vsize=26673876 memory=7597976 CPUtime=0.19 cores=0-7 /proc/7936/task/7938/stat : 7938 (java) S 7934 7934 3823 0 -1 1077944384 896 0 0 0 12 7 0 0 20 0 28 0 97067170 27314049024 1899494 33554432000 4194304 4196468 140725921565232 140099647724688 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7939] ppid=7934 vsize=26673876 memory=3061140 CPUtime=0.17 cores=0-7 /proc/7936/task/7939/stat : 7939 (java) S 7934 7934 3823 0 -1 1077944384 311 0 0 0 11 6 0 0 20 0 28 0 97067170 27314049024 1899494 33554432000 4194304 4196468 140725921565232 140099646671888 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7940] ppid=7934 vsize=26673876 memory=7597976 CPUtime=0.15 cores=0-7 /proc/7936/task/7940/stat : 7940 (java) S 7934 7934 3823 0 -1 1077944384 291 0 0 0 9 6 0 0 20 0 28 0 97067170 27314049024 1899494 33554432000 4194304 4196468 140725921565232 140099645619088 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7941] ppid=7934 vsize=26673876 memory=0 CPUtime=0.17 cores=0-7 /proc/7936/task/7941/stat : 7941 (java) S 7934 7934 3823 0 -1 1077944384 256 0 0 0 11 6 0 0 20 0 28 0 97067170 27314049024 1899494 33554432000 4194304 4196468 140725921565232 140099644566288 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7942] ppid=7934 vsize=26673876 memory=7597976 CPUtime=0.19 cores=0-7 /proc/7936/task/7942/stat : 7942 (java) S 7934 7934 3823 0 -1 1077944384 675 0 0 0 12 7 0 0 20 0 28 0 97067170 27314049024 1899494 33554432000 4194304 4196468 140725921565232 140099643513488 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7943] ppid=7934 vsize=26673876 memory=139707569226817 CPUtime=0.18 cores=0-7 /proc/7936/task/7943/stat : 7943 (java) S 7934 7934 3823 0 -1 1077944384 608 0 0 0 12 6 0 0 20 0 28 0 97067170 27314049024 1899494 33554432000 4194304 4196468 140725921565232 140099642460688 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7944] ppid=7934 vsize=26673876 memory=4140 CPUtime=0.18 cores=0-7 /proc/7936/task/7944/stat : 7944 (java) S 7934 7934 3823 0 -1 1077944384 270 0 0 0 11 7 0 0 20 0 28 0 97067170 27314049024 1899494 33554432000 4194304 4196468 140725921565232 140099641407888 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7945] ppid=7934 vsize=26673876 memory=27764 CPUtime=0.19 cores=0-7 /proc/7936/task/7945/stat : 7945 (java) S 7934 7934 3823 0 -1 1077944384 337 0 0 0 12 7 0 0 20 0 28 0 97067170 27314049024 1899494 33554432000 4194304 4196468 140725921565232 140099640355088 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7946] ppid=7934 vsize=26673876 memory=7597976 CPUtime=0.04 cores=0-7 /proc/7936/task/7946/stat : 7946 (java) S 7934 7934 3823 0 -1 1077944384 4206 0 0 0 3 1 0 0 20 0 28 0 97067171 27314049024 1899494 33554432000 4194304 4196468 140725921565232 140098822441840 140099695114882 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7947] ppid=7934 vsize=26673876 memory=6227749761150445668 CPUtime=0 cores=0-7 /proc/7936/task/7947/stat : 7947 (java) S 7934 7934 3823 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 97067172 27314049024 1899494 33554432000 4194304 4196468 140725921565232 140098821387872 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7948] ppid=7934 vsize=26673876 memory=6849 CPUtime=0 cores=0-7 /proc/7936/task/7948/stat : 7948 (java) S 7934 7934 3823 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 97067172 27314049024 1899494 33554432000 4194304 4196468 140725921565232 140098820334976 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7949] ppid=7934 vsize=26673876 memory=7594878112524550248 CPUtime=0 cores=0-7 /proc/7936/task/7949/stat : 7949 (java) S 7934 7934 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97067175 27314049024 1899494 33554432000 4194304 4196468 140725921565232 140098819283280 140099695122331 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7950] ppid=7934 vsize=26673876 memory=7594878112524550248 CPUtime=3.98 cores=0-7 /proc/7936/task/7950/stat : 7950 (java) S 7934 7934 3823 0 -1 1077944384 15379 0 0 0 395 3 0 0 20 0 28 0 97067175 27314049024 1899494 33554432000 4194304 4196468 140725921565232 140098818230640 140099695114882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7951] ppid=7934 vsize=26673876 memory=7597976 CPUtime=3.7 cores=0-7 /proc/7936/task/7951/stat : 7951 (java) S 7934 7934 3823 0 -1 1077944384 13501 0 0 0 368 2 0 0 20 0 28 0 97067175 27314049024 1899494 33554432000 4194304 4196468 140725921565232 140098817177840 140099695114882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7952] ppid=7934 vsize=26673876 memory=1384 CPUtime=4.04 cores=0-7 /proc/7936/task/7952/stat : 7952 (java) S 7934 7934 3823 0 -1 1077944384 15679 0 0 0 403 1 0 0 20 0 28 0 97067175 27314049024 1899494 33554432000 4194304 4196468 140725921565232 140098816125040 140099695114882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7953] ppid=7934 vsize=26673876 memory=1384 CPUtime=1.25 cores=0-7 /proc/7936/task/7953/stat : 7953 (java) S 7934 7934 3823 0 -1 1077944384 11590 0 0 0 123 2 0 0 20 0 28 0 97067175 27314049024 1899494 33554432000 4194304 4196468 140725921565232 140098815072240 140099695114882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7954] ppid=7934 vsize=26673876 memory=1384 CPUtime=0 cores=0-7 /proc/7936/task/7954/stat : 7954 (java) S 7934 7934 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97067175 27314049024 1899494 33554432000 4194304 4196468 140725921565232 140098746182752 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7955] ppid=7934 vsize=26673876 memory=7597976 CPUtime=0.09 cores=0-7 /proc/7936/task/7955/stat : 7955 (java) S 7934 7934 3823 0 -1 1077944384 803 0 0 0 0 9 0 0 20 0 28 0 97067175 27314049024 1899494 33554432000 4194304 4196468 140725921565232 140098745130032 140099695114882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=11007] ppid=7934 vsize=26673876 memory=62 CPUtime=214.34 cores=0-7 /proc/7936/task/11007/stat : 11007 (java) R 7934 7934 3823 0 -1 4202560 3031 0 0 0 21422 12 0 0 20 0 28 0 97067895 27314049024 1899494 33554432000 4194304 4196468 140725921565232 140098730248288 140099310269400 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=11008] ppid=7934 vsize=26673876 memory=8112282956445269571 CPUtime=213.48 cores=0-7 /proc/7936/task/11008/stat : 11008 (java) R 7934 7934 3823 0 -1 4202560 1531 0 0 0 21341 7 0 0 20 0 28 0 97067895 27314049024 1899494 33554432000 4194304 4196468 140725921565232 140098726043912 140099309804113 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=11009] ppid=7934 vsize=26673876 memory=1384 CPUtime=214.9 cores=0-7 /proc/7936/task/11009/stat : 11009 (java) R 7934 7934 3823 0 -1 4202560 1010 0 0 0 21488 2 0 0 20 0 28 0 97067895 27314049024 1899494 33554432000 4194304 4196468 140725921565232 140098733404424 140099300972460 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=11010] ppid=7934 vsize=26673876 memory=7597976 CPUtime=214.72 cores=0-7 /proc/7936/task/11010/stat : 11010 (java) R 7934 7934 3823 0 -1 4202560 15245 0 0 0 21385 87 0 0 20 0 28 0 97067895 27314049024 1899494 33554432000 4194304 4196468 140725921565232 140098736562184 140099310079128 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=11011] ppid=7934 vsize=26673876 memory=8112282956445269571 CPUtime=214.35 cores=0-7 /proc/7936/task/11011/stat : 11011 (java) R 7934 7934 3823 0 -1 4202560 6179 0 0 0 21413 22 0 0 20 0 28 0 97067895 27314049024 1899494 33554432000 4194304 4196468 140725921565232 140098727096328 140099309803257 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=11012] ppid=7934 vsize=26673876 memory=1728 CPUtime=214.53 cores=0-7 /proc/7936/task/11012/stat : 11012 (java) R 7934 7934 3823 0 -1 4202560 1134 0 0 0 21452 1 0 0 20 0 28 0 97067895 27314049024 1899494 33554432000 4194304 4196468 140725921565232 140098734456584 140099310978138 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=11013] ppid=7934 vsize=26673876 memory=0 CPUtime=212.93 cores=0-7 /proc/7936/task/11013/stat : 11013 (java) R 7934 7934 3823 0 -1 4202560 3191 0 0 0 21273 20 0 0 20 0 28 0 97067895 27314049024 1899494 33554432000 4194304 4196468 140725921565232 140098737614992 140099309804018 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=11014] ppid=7934 vsize=26673876 memory=1384 CPUtime=213.39 cores=0-7 /proc/7936/task/11014/stat : 11014 (java) R 7934 7934 3823 0 -1 4202560 5064 0 0 0 21314 25 0 0 20 0 28 0 97067895 27314049024 1899494 33554432000 4194304 4196468 140725921565232 140098732351800 140099309656397 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 Current children cumulated CPU time: 1747.36 s Current children cumulated vsize: 26683388 KiB Current children cumulated memory: 7599360 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.012 s]* /proc/loadavg: 8.06 7.84 7.47 9/207 11014 /proc/meminfo: memFree=21565256/32770624 swapFree=67108860/67108860 [pid=7934] ppid=7931 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/7934/stat : 7934 (xcsp3-exec) S 7931 7934 3823 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97067169 9740288 346 33554432000 4194304 5098028 140731963442496 140731963440600 139674127073916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24481792 140731963450474 140731963450684 140731963450684 140731963453419 0 /proc/7934/statm: 2378 346 289 221 0 87 0 [pid=7936] ppid=7934 vsize=26673876 memory=7597876 CPUtime=1984.44 cores=0-7 /proc/7936/stat : 7936 (java) S 7934 7934 3823 0 -1 1077944320 148916 0 0 0 198096 348 0 0 20 0 28 0 97067169 27314049024 1899469 33554432000 4194304 4196468 140725921565232 140725921547776 140099695103735 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 /proc/7936/statm: 6668469 1899469 3287 1 0 6655703 0 [pid=7936/tid=7937] ppid=7934 vsize=26673876 memory=0 CPUtime=3.08 cores=0-7 /proc/7936/task/7937/stat : 7937 (java) S 7934 7934 3823 0 -1 1077944384 9520 0 0 0 299 9 0 0 20 0 28 0 97067169 27314049024 1899469 33554432000 4194304 4196468 140725921565232 140099699344432 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7938] ppid=7934 vsize=26673876 memory=4126316290023845779 CPUtime=0.2 cores=0-7 /proc/7936/task/7938/stat : 7938 (java) S 7934 7934 3823 0 -1 1077944384 942 0 0 0 13 7 0 0 20 0 28 0 97067170 27314049024 1899469 33554432000 4194304 4196468 140725921565232 140099647724688 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7939] ppid=7934 vsize=26673876 memory=1196 CPUtime=0.17 cores=0-7 /proc/7936/task/7939/stat : 7939 (java) S 7934 7934 3823 0 -1 1077944384 345 0 0 0 11 6 0 0 20 0 28 0 97067170 27314049024 1899469 33554432000 4194304 4196468 140725921565232 140099646671888 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7940] ppid=7934 vsize=26673876 memory=1384 CPUtime=0.16 cores=0-7 /proc/7936/task/7940/stat : 7940 (java) S 7934 7934 3823 0 -1 1077944384 324 0 0 0 10 6 0 0 20 0 28 0 97067170 27314049024 1899469 33554432000 4194304 4196468 140725921565232 140099645619088 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7941] ppid=7934 vsize=26673876 memory=7597876 CPUtime=0.17 cores=0-7 /proc/7936/task/7941/stat : 7941 (java) S 7934 7934 3823 0 -1 1077944384 279 0 0 0 11 6 0 0 20 0 28 0 97067170 27314049024 1899469 33554432000 4194304 4196468 140725921565232 140099644566288 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7942] ppid=7934 vsize=26673876 memory=18448 CPUtime=0.19 cores=0-7 /proc/7936/task/7942/stat : 7942 (java) S 7934 7934 3823 0 -1 1077944384 693 0 0 0 12 7 0 0 20 0 28 0 97067170 27314049024 1899469 33554432000 4194304 4196468 140725921565232 140099643513488 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7943] ppid=7934 vsize=26673876 memory=15744 CPUtime=0.18 cores=0-7 /proc/7936/task/7943/stat : 7943 (java) S 7934 7934 3823 0 -1 1077944384 631 0 0 0 12 6 0 0 20 0 28 0 97067170 27314049024 1899469 33554432000 4194304 4196468 140725921565232 140099642460688 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7944] ppid=7934 vsize=26673876 memory=4044 CPUtime=0.18 cores=0-7 /proc/7936/task/7944/stat : 7944 (java) S 7934 7934 3823 0 -1 1077944384 651 0 0 0 11 7 0 0 20 0 28 0 97067170 27314049024 1899469 33554432000 4194304 4196468 140725921565232 140099641407888 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7945] ppid=7934 vsize=26673876 memory=1792 CPUtime=0.2 cores=0-7 /proc/7936/task/7945/stat : 7945 (java) S 7934 7934 3823 0 -1 1077944384 422 0 0 0 13 7 0 0 20 0 28 0 97067170 27314049024 1899469 33554432000 4194304 4196468 140725921565232 140099640355088 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7946] ppid=7934 vsize=26673876 memory=15872 CPUtime=0.04 cores=0-7 /proc/7936/task/7946/stat : 7946 (java) S 7934 7934 3823 0 -1 1077944384 4515 0 0 0 3 1 0 0 20 0 28 0 97067171 27314049024 1899469 33554432000 4194304 4196468 140725921565232 140098822441840 140099695114882 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7947] ppid=7934 vsize=26673876 memory=18448 CPUtime=0 cores=0-7 /proc/7936/task/7947/stat : 7947 (java) S 7934 7934 3823 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 97067172 27314049024 1899469 33554432000 4194304 4196468 140725921565232 140098821387872 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7948] ppid=7934 vsize=26673876 memory=15744 CPUtime=0 cores=0-7 /proc/7936/task/7948/stat : 7948 (java) S 7934 7934 3823 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 97067172 27314049024 1899469 33554432000 4194304 4196468 140725921565232 140098820334976 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7949] ppid=7934 vsize=26673876 memory=4044 CPUtime=0 cores=0-7 /proc/7936/task/7949/stat : 7949 (java) S 7934 7934 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97067175 27314049024 1899469 33554432000 4194304 4196468 140725921565232 140098819283280 140099695122331 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7950] ppid=7934 vsize=26673876 memory=1792 CPUtime=3.98 cores=0-7 /proc/7936/task/7950/stat : 7950 (java) S 7934 7934 3823 0 -1 1077944384 15382 0 0 0 395 3 0 0 20 0 28 0 97067175 27314049024 1899469 33554432000 4194304 4196468 140725921565232 140098818230640 140099695114882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7951] ppid=7934 vsize=26673876 memory=4612 CPUtime=3.7 cores=0-7 /proc/7936/task/7951/stat : 7951 (java) S 7934 7934 3823 0 -1 1077944384 13504 0 0 0 368 2 0 0 20 0 28 0 97067175 27314049024 1899469 33554432000 4194304 4196468 140725921565232 140098817177840 140099695114882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7952] ppid=7934 vsize=26673876 memory=15872 CPUtime=4.04 cores=0-7 /proc/7936/task/7952/stat : 7952 (java) S 7934 7934 3823 0 -1 1077944384 15687 0 0 0 403 1 0 0 20 0 28 0 97067175 27314049024 1899469 33554432000 4194304 4196468 140725921565232 140098816125040 140099695114882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7953] ppid=7934 vsize=26673876 memory=18448 CPUtime=1.25 cores=0-7 /proc/7936/task/7953/stat : 7953 (java) S 7934 7934 3823 0 -1 1077944384 11594 0 0 0 123 2 0 0 20 0 28 0 97067175 27314049024 1899469 33554432000 4194304 4196468 140725921565232 140098815072240 140099695114882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7954] ppid=7934 vsize=26673876 memory=15744 CPUtime=0 cores=0-7 /proc/7936/task/7954/stat : 7954 (java) S 7934 7934 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97067175 27314049024 1899469 33554432000 4194304 4196468 140725921565232 140098746182752 140099695113941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=7955] ppid=7934 vsize=26673876 memory=4044 CPUtime=0.1 cores=0-7 /proc/7936/task/7955/stat : 7955 (java) S 7934 7934 3823 0 -1 1077944384 827 0 0 0 0 10 0 0 20 0 28 0 97067175 27314049024 1899469 33554432000 4194304 4196468 140725921565232 140098745130032 140099695114882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=11007] ppid=7934 vsize=26673876 memory=1792 CPUtime=244.05 cores=0-7 /proc/7936/task/11007/stat : 11007 (java) R 7934 7934 3823 0 -1 4202560 3369 0 0 0 24393 12 0 0 20 0 28 0 97067895 27314049024 1899469 33554432000 4194304 4196468 140725921565232 140098730248288 140099310112167 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=11008] ppid=7934 vsize=26673876 memory=636 CPUtime=243.18 cores=0-7 /proc/7936/task/11008/stat : 11008 (java) R 7934 7934 3823 0 -1 4202560 1669 0 0 0 24311 7 0 0 20 0 28 0 97067895 27314049024 1899469 33554432000 4194304 4196468 140725921565232 140098726043784 140099303003485 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=11009] ppid=7934 vsize=26673876 memory=956 CPUtime=244.61 cores=0-7 /proc/7936/task/11009/stat : 11009 (java) R 7934 7934 3823 0 -1 4202560 1095 0 0 0 24459 2 0 0 20 0 28 0 97067895 27314049024 1899469 33554432000 4194304 4196468 140725921565232 140098733404296 140099309656415 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=11010] ppid=7934 vsize=26673876 memory=2340 CPUtime=244.43 cores=0-7 /proc/7936/task/11010/stat : 11010 (java) R 7934 7934 3823 0 -1 4202560 17483 0 0 0 24346 97 0 0 20 0 28 0 97067895 27314049024 1899469 33554432000 4194304 4196468 140725921565232 140098736562328 140099309803257 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=11011] ppid=7934 vsize=26673876 memory=1236 CPUtime=244.06 cores=0-7 /proc/7936/task/11011/stat : 11011 (java) R 7934 7934 3823 0 -1 4202560 6309 0 0 0 24384 22 0 0 20 0 28 0 97067895 27314049024 1899469 33554432000 4194304 4196468 140725921565232 140098727096968 140099309655889 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=11012] ppid=7934 vsize=26673876 memory=2240 CPUtime=244.24 cores=0-7 /proc/7936/task/11012/stat : 11012 (java) R 7934 7934 3823 0 -1 4202560 1251 0 0 0 24423 1 0 0 20 0 28 0 97067895 27314049024 1899469 33554432000 4194304 4196468 140725921565232 140098734456728 140099308700018 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=11013] ppid=7934 vsize=26673876 memory=4128 CPUtime=242.62 cores=0-7 /proc/7936/task/11013/stat : 11013 (java) R 7934 7934 3823 0 -1 4202560 3345 0 0 0 24241 21 0 0 20 0 28 0 97067895 27314049024 1899469 33554432000 4194304 4196468 140725921565232 140098737615248 140099309656538 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 [pid=7936/tid=11014] ppid=7934 vsize=26673876 memory=1572 CPUtime=242.5 cores=0-7 /proc/7936/task/11014/stat : 11014 (java) R 7934 7934 3823 0 -1 4202560 5464 0 0 0 24223 27 0 0 20 0 28 0 97067895 27314049024 1899469 33554432000 4194304 4196468 140725921565232 140098732352264 140099303967913 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140725921567896 140725921568072 140725921568072 140725921570767 0 Current children cumulated CPU time: 1984.44 s Current children cumulated vsize: 26683388 KiB Current children cumulated memory: 7599260 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.048 s] # the end of solver process 7934 was just reported to runsolver # cumulated CPU time of all completed processes: user=0 s, system=0.001853 s [startup+252.141 s] # the end of solver process 7936 was just reported to runsolver # cumulated CPU time of all completed processes: user=1981.63 s, system=3.52093 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.128 s]* /proc/loadavg: 8.06 7.84 7.47 2/180 11016 /proc/meminfo: memFree=27582204/32770624 swapFree=67108860/67108860 Current cumulated CPU time of completed processes: 0.001853 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.141 CPU time (s): 1985.15 CPU user time (s): 1981.63 CPU system time (s): 3.52093 CPU usage (%): 787.318 Max. virtual memory (cumulated for all children) (KiB): 26683388 Max. memory (cumulated for all children) (KiB): 7599360 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1981.63 system time used= 3.52093 maximum resident set size= 7602072 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 150716 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= 34842 involuntary context switches= 20629 # summary of solver processes directly reported to runsolver: # pid: 7934,7936 # total CPU time (s): 1985.15 # total CPU user time (s): 1981.63 # total CPU system time (s): 3.52093 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.28396 second user time and 2.90119 second system time The end
Begin job on node107 at 2017-08-13 17:42:12 IDJOB=4271794 IDBENCH=115913 IDSOLVER=2663 FILE ID=node107/4271794-1502639791 RUNJOBID= node107-1502636397-3850 PBS_JOBID= 20628325 Free space on /tmp= 61660 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-29.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-4271794-1502639791/watcher-4271794-1502639791 -o /tmp/evaluation-result-4271794-1502639791/solver-4271794-1502639791 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1502636397-3850 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1633176662 HOME/instance-4271794-1502639791.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 1822b9c415adc1a9dd10b23e46d08c48 RANDOM SEED=1633176662 node107.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 29161224 kB MemAvailable: 31990220 kB Buffers: 166020 kB Cached: 2951216 kB SwapCached: 0 kB Active: 524828 kB Inactive: 2644860 kB Active(anon): 54912 kB Inactive(anon): 24972 kB Active(file): 469916 kB Inactive(file): 2619888 kB Unevictable: 6328 kB Mlocked: 6328 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7912 kB Writeback: 0 kB AnonPages: 57636 kB Mapped: 43472 kB Shmem: 25228 kB Slab: 135616 kB SReclaimable: 110052 kB SUnreclaim: 25564 kB KernelStack: 3216 kB PageTables: 5048 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323232 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 91520 kB DirectMap2M: 33454080 kB Free space on /tmp at the end= 61652 MiB End job on node107 at 2017-08-13 17:46:25