Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | SAT (TO) | 341 | 1992.4301 | 252.129 |
Name | StillLife/StillLife-wst-s1/ StillLife-wastage-27.xml |
MD5SUM | 7effaf54e6298c2e2ce7b82787858117 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 367 |
Best CPU time to get the best result obtained on this benchmark | 251.811 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1712 |
Number of constraints | 1007 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 1683 |
Distribution of domain sizes | [{"size":2,"count":841},{"size":3,"count":841},{"size":730,"count":1},{"size":1683,"count":29}] |
Minimum variable degree | 1 |
Maximum variable degree | 30 |
Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":838},{"degree":3,"count":32},{"degree":4,"count":108},{"degree":8,"count":104},{"degree":9,"count":625},{"degree":30,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 31 |
Distribution of constraint arities | [{"arity":2,"count":137},{"arity":3,"count":108},{"arity":10,"count":729},{"arity":29,"count":4},{"arity":30,"count":1},{"arity":31,"count":28}] |
Number of extensional constraints | 837 |
Number of intensional constraints | 136 |
Distribution of constraint types | [{"type":"extension","count":837},{"type":"intension","count":136},{"type":"sum","count":30},{"type":"instantiation","count":4}] |
Optimization problem | YES |
Type of objective | max VAR |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271792-1502639714.xml" -tl '2016s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4271792-1502639714.xml, -tl, 2016s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 6.98/2.53 c solve instance... 10.64/3.07 o 0 10.64/3.08 o 4 10.64/3.11 o 6 11.39/3.12 o 8 11.39/3.16 o 10 11.39/3.17 o 12 12.05/3.20 o 13 12.05/3.21 o 14 12.05/3.21 o 15 12.05/3.22 o 16 12.05/3.24 o 17 12.05/3.25 o 18 12.05/3.25 o 19 12.05/3.26 o 20 12.05/3.29 o 21 12.68/3.30 o 22 12.68/3.33 o 23 12.68/3.34 o 24 12.68/3.34 o 25 12.68/3.35 o 26 12.68/3.35 o 27 12.68/3.36 o 28 12.68/3.36 o 29 12.68/3.37 o 30 12.68/3.37 o 31 12.68/3.38 o 32 12.68/3.38 o 33 12.68/3.38 o 34 12.68/3.39 o 35 12.68/3.39 o 36 13.41/3.41 o 37 13.41/3.42 o 38 13.41/3.43 o 39 13.41/3.43 o 40 13.41/3.46 o 41 13.41/3.46 o 42 13.41/3.47 o 43 13.41/3.47 o 44 13.41/3.48 o 45 13.41/3.48 o 46 13.41/3.49 o 47 13.41/3.49 o 48 13.41/3.49 o 49 13.96/3.50 o 50 13.96/3.50 o 51 13.96/3.51 o 52 13.96/3.51 o 53 13.96/3.52 o 54 13.96/3.52 o 55 13.96/3.53 o 56 13.96/3.53 o 57 13.96/3.54 o 58 13.96/3.54 o 59 13.96/3.55 o 60 13.96/3.55 o 61 13.96/3.56 o 62 13.96/3.57 o 63 13.96/3.57 o 64 13.96/3.57 o 65 13.96/3.58 o 66 13.96/3.59 o 67 13.96/3.59 o 68 14.57/3.60 o 69 14.57/3.60 o 70 14.57/3.61 o 71 14.57/3.63 o 72 14.57/3.64 o 73 14.57/3.64 o 74 14.57/3.65 o 75 14.57/3.66 o 76 14.57/3.67 o 77 14.57/3.67 o 78 14.57/3.68 o 79 14.57/3.68 o 80 14.57/3.69 o 81 14.57/3.69 o 82 15.14/3.70 o 83 15.14/3.70 o 84 15.14/3.71 o 85 15.14/3.71 o 86 15.14/3.72 o 87 15.14/3.73 o 88 15.14/3.73 o 89 15.14/3.74 o 90 15.14/3.74 o 91 15.14/3.75 o 92 15.14/3.75 o 93 15.14/3.76 o 94 15.14/3.76 o 95 15.14/3.79 o 96 15.14/3.79 o 97 15.14/3.80 o 98 15.72/3.80 o 99 15.72/3.81 o 100 15.72/3.81 o 101 15.72/3.82 o 102 15.72/3.82 o 103 15.72/3.82 o 104 15.72/3.84 o 105 15.72/3.85 o 106 15.72/3.85 o 107 15.72/3.86 o 108 15.72/3.86 o 109 15.72/3.87 o 110 15.72/3.87 o 111 15.72/3.88 o 112 15.72/3.88 o 113 15.72/3.88 o 114 15.72/3.89 o 115 15.72/3.89 o 116 16.31/3.90 o 117 16.31/3.91 o 118 16.31/3.91 o 119 16.31/3.92 o 120 16.31/3.92 o 121 16.31/3.93 o 122 16.31/3.93 o 123 16.31/3.94 o 124 16.31/3.94 o 125 16.31/3.95 o 126 16.31/3.95 o 127 16.31/3.96 o 128 16.31/3.97 o 129 16.31/3.97 o 130 16.31/3.98 o 131 16.31/3.98 o 132 16.85/4.02 o 133 16.85/4.03 o 134 16.85/4.03 o 135 16.85/4.04 o 136 16.85/4.04 o 137 16.85/4.05 o 138 16.85/4.05 o 139 16.85/4.06 o 140 16.85/4.06 o 141 16.85/4.08 o 142 16.85/4.09 o 143 16.85/4.09 o 144 16.85/4.10 o 145 16.85/4.10 o 146 16.85/4.11 o 147 17.40/4.11 o 148 17.40/4.12 o 149 17.40/4.12 o 150 17.40/4.13 o 151 17.40/4.13 o 152 17.40/4.14 o 153 17.40/4.14 o 154 17.40/4.15 o 155 17.40/4.15 o 156 17.40/4.16 o 157 17.40/4.16 o 158 17.40/4.17 o 159 17.40/4.17 o 160 17.40/4.18 o 161 17.40/4.18 o 162 17.40/4.19 o 163 17.88/4.21 o 164 17.88/4.22 o 165 17.88/4.23 o 166 17.88/4.23 o 167 17.88/4.24 o 168 17.88/4.24 o 169 17.88/4.25 o 170 17.88/4.25 o 171 17.88/4.26 o 172 17.88/4.26 o 173 17.88/4.27 o 174 17.88/4.27 o 175 17.88/4.28 o 176 17.88/4.28 o 177 17.88/4.29 o 178 17.88/4.29 o 179 17.88/4.30 o 180 18.46/4.30 o 181 18.46/4.31 o 182 18.46/4.32 o 183 18.46/4.32 o 184 18.46/4.33 o 185 18.46/4.33 o 186 18.46/4.34 o 187 18.46/4.34 o 188 18.46/4.35 o 189 18.46/4.36 o 190 18.46/4.36 o 191 18.46/4.37 o 192 18.46/4.37 o 193 18.46/4.38 o 194 18.46/4.39 o 195 18.46/4.40 o 196 18.95/4.40 o 197 18.95/4.41 o 198 18.95/4.42 o 199 18.95/4.42 o 200 18.95/4.43 o 201 18.95/4.43 o 202 18.95/4.44 o 203 18.95/4.45 o 204 18.95/4.45 o 205 18.95/4.46 o 206 18.95/4.47 o 207 18.95/4.48 o 208 18.95/4.48 o 209 18.95/4.49 o 210 18.95/4.49 o 211 19.52/4.50 o 212 19.52/4.50 o 213 19.52/4.51 o 214 19.52/4.51 o 215 19.52/4.52 o 216 19.52/4.52 o 217 19.52/4.53 o 218 19.52/4.54 o 219 19.52/4.54 o 220 19.52/4.55 o 221 19.52/4.55 o 222 19.52/4.56 o 223 19.52/4.57 o 224 19.52/4.58 o 225 19.52/4.58 o 226 19.52/4.59 o 227 19.52/4.59 o 228 20.19/4.60 o 229 20.19/4.61 o 230 20.19/4.61 o 231 20.19/4.62 o 232 20.19/4.63 o 233 20.19/4.63 o 234 20.19/4.64 o 235 20.19/4.65 o 236 20.19/4.66 o 237 20.19/4.66 o 238 20.19/4.67 o 239 20.19/4.67 o 240 20.19/4.68 o 241 20.19/4.68 o 242 20.19/4.69 o 243 20.19/4.70 o 244 20.74/4.70 o 245 20.74/4.71 o 246 20.74/4.72 o 247 20.74/4.72 o 248 20.74/4.73 o 249 20.74/4.74 o 250 20.74/4.75 o 251 20.74/4.76 o 252 20.74/4.76 o 253 20.74/4.77 o 254 20.74/4.77 o 255 20.74/4.78 o 256 20.74/4.79 o 257 20.74/4.80 o 258 21.31/4.80 o 259 21.31/4.81 o 260 21.31/4.82 o 261 21.31/4.83 o 262 21.31/4.83 o 263 21.31/4.84 o 264 21.31/4.85 o 265 21.31/4.85 o 266 21.31/4.86 o 267 21.31/4.87 o 268 21.31/4.87 o 269 21.31/4.88 o 270 21.31/4.89 o 271 21.31/4.89 o 272 21.88/4.90 o 273 21.88/4.91 o 274 21.88/4.93 o 275 21.88/4.94 o 276 21.88/4.95 o 277 21.88/4.96 o 278 21.88/4.96 o 279 21.88/4.97 o 280 21.88/4.98 o 281 21.88/4.99 o 282 21.88/4.99 o 283 21.88/5.00 o 284 22.49/5.01 o 285 22.49/5.02 o 286 22.49/5.03 o 287 22.49/5.03 o 288 22.49/5.04 o 289 22.49/5.05 o 290 22.49/5.06 o 291 22.49/5.06 o 292 22.49/5.07 o 293 22.49/5.08 o 294 22.49/5.09 o 295 22.49/5.10 o 296 23.02/5.11 o 297 23.02/5.12 o 298 23.02/5.13 o 299 23.02/5.13 o 300 23.02/5.14 o 301 23.02/5.15 o 302 23.02/5.16 o 303 23.02/5.17 o 304 23.02/5.18 o 305 23.02/5.18 o 306 23.02/5.19 o 307 23.52/5.20 o 308 23.52/5.21 o 309 23.52/5.21 o 310 23.52/5.22 o 311 23.52/5.23 o 312 23.52/5.23 o 313 23.52/5.24 o 314 23.52/5.25 o 315 23.52/5.26 o 316 23.52/5.26 o 317 23.52/5.27 o 318 23.52/5.28 o 319 23.52/5.29 o 320 23.52/5.29 o 321 24.09/5.30 o 322 24.09/5.31 o 323 24.09/5.32 o 324 24.09/5.32 o 325 24.09/5.34 o 326 24.09/5.34 o 327 24.09/5.35 o 328 24.09/5.36 o 329 24.09/5.36 o 330 24.09/5.37 o 331 24.09/5.37 o 332 24.09/5.38 o 333 24.09/5.39 o 334 24.09/5.40 o 335 24.61/5.40 o 336 24.61/5.41 o 337 34.94/6.80 o 338 35.72/6.80 o 339 35.72/6.82 o 340 39.66/7.34 o 341 1991.73/252.08 s SATISFIABLE 1991.73/252.08 v <instantiation> 1991.73/252.08 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] z </list> 1991.73/252.08 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 1 1 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 1 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 0 0 1 1 1 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 1 0 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 0 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 1 1 0 1 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 2 2 1 1 1 0 0 1 0 1 1 0 2 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 1 1 1 1 1 0 0 1 0 1 0 0 1 1 1 0 0 1 0 0 0 9 11 13 25 26 27 59 67 70 73 75 79 100 105 108 112 115 121 134 137 141 149 150 153 160 166 170 188 202 341 </values> 1991.73/252.08 v </instantiation> 1991.73/252.08 c Unexpected resolution interruption!
OK 341
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (15075 MiB free) memory of node 1: 16384 MiB (15699 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271792-1502639714/watcher-4271792-1502639714 -o /tmp/evaluation-result-4271792-1502639714/solver-4271792-1502639714 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node106-1502637338-4709 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 258974220 HOME/instance-4271792-1502639714.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 solver pid=5741, runsolver pid=5738 Current StackSize limit: 8192 KiB [startup+0.100112 s]* /proc/loadavg: 7.82 7.70 6.65 2/200 5762 /proc/meminfo: memFree=31497696/32770624 swapFree=67108860/67108860 [pid=5741] ppid=5738 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/5741/stat : 5741 (xcsp3-exec) S 5738 5741 4682 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97059242 9740288 346 33554432000 4194304 5098028 140733605448080 140733605446184 139883451114108 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22020096 140733605454955 140733605455164 140733605455164 140733605457899 0 /proc/5741/statm: 2378 346 289 221 0 87 0 [pid=5743] ppid=5741 vsize=25999808 memory=26388 CPUtime=0.11 cores=0-7 /proc/5743/stat : 5743 (java) S 5741 5741 4682 0 -1 1077944320 5473 0 0 0 10 1 0 0 20 0 20 0 97059242 26623803392 6597 33554432000 4194304 4196468 140723048331344 140723048313888 140033364897527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 /proc/5743/statm: 6499952 6597 2874 1 0 6488269 0 [pid=5743/tid=5744] ppid=5741 vsize=25999808 memory=4134692831991783777 CPUtime=0.09 cores=0-7 /proc/5743/task/5744/stat : 5744 (java) R 5741 5741 4682 0 -1 4202560 3483 0 0 0 8 1 0 0 20 0 20 0 97059243 26623803392 6597 33554432000 4194304 4196468 140723048331344 140033369121584 140033364909462 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5745] ppid=5741 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/5743/task/5745/stat : 5745 (java) S 5741 5741 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97059244 26623803392 6597 33554432000 4194304 4196468 140723048331344 140033317517584 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5746] ppid=5741 vsize=25999808 memory=140649678485120 CPUtime=0 cores=0-7 /proc/5743/task/5746/stat : 5746 (java) S 5741 5741 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97059244 26623803392 6597 33554432000 4194304 4196468 140723048331344 140033316465040 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5747] ppid=5741 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5743/task/5747/stat : 5747 (java) S 5741 5741 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97059244 26623803392 6597 33554432000 4194304 4196468 140723048331344 140032921172496 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5748] ppid=5741 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5743/task/5748/stat : 5748 (java) S 5741 5741 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97059244 26623803392 6597 33554432000 4194304 4196468 140723048331344 140032920119952 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5749] ppid=5741 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5743/task/5749/stat : 5749 (java) S 5741 5741 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97059244 26623803392 6597 33554432000 4194304 4196468 140723048331344 140032919067408 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5750] ppid=5741 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/5743/task/5750/stat : 5750 (java) S 5741 5741 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97059244 26623803392 6597 33554432000 4194304 4196468 140723048331344 140032918014864 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5751] ppid=5741 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5743/task/5751/stat : 5751 (java) S 5741 5741 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97059244 26623803392 6597 33554432000 4194304 4196468 140723048331344 140032916962320 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5752] ppid=5741 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5743/task/5752/stat : 5752 (java) S 5741 5741 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97059244 26623803392 6597 33554432000 4194304 4196468 140723048331344 140032915909776 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5753] ppid=5741 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5743/task/5753/stat : 5753 (java) S 5741 5741 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97059245 26623803392 6597 33554432000 4194304 4196468 140723048331344 140032693540848 140033364908674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5754] ppid=5741 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5743/task/5754/stat : 5754 (java) S 5741 5741 4682 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97059246 26623803392 6597 33554432000 4194304 4196468 140723048331344 140032692487072 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5755] ppid=5741 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5743/task/5755/stat : 5755 (java) S 5741 5741 4682 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97059246 26623803392 6597 33554432000 4194304 4196468 140723048331344 140032691434480 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5756] ppid=5741 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5743/task/5756/stat : 5756 (java) S 5741 5741 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97059248 26623803392 6597 33554432000 4194304 4196468 140723048331344 140032690383056 140033364916123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5757] ppid=5741 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5743/task/5757/stat : 5757 (java) S 5741 5741 4682 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 20 0 97059248 26623803392 6597 33554432000 4194304 4196468 140723048331344 140032689330672 140033364908674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5758] ppid=5741 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5743/task/5758/stat : 5758 (java) S 5741 5741 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97059248 26623803392 6597 33554432000 4194304 4196468 140723048331344 140032688278128 140033364908674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5759] ppid=5741 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5743/task/5759/stat : 5759 (java) S 5741 5741 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97059248 26623803392 6597 33554432000 4194304 4196468 140723048331344 140032687225584 140033364908674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5760] ppid=5741 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/5743/task/5760/stat : 5760 (java) S 5741 5741 4682 0 -1 1077944384 259 0 0 0 1 0 0 0 20 0 20 0 97059248 26623803392 6597 33554432000 4194304 4196468 140723048331344 140032686173040 140033364908674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5761] ppid=5741 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5743/task/5761/stat : 5761 (java) S 5741 5741 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97059249 26623803392 6597 33554432000 4194304 4196468 140723048331344 140032685119712 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5762] ppid=5741 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/5743/task/5762/stat : 5762 (java) S 5741 5741 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97059249 26623803392 6597 33554432000 4194304 4196468 140723048331344 140032684067248 140033364908674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27772 KiB [startup+0.215194 s]* /proc/loadavg: 7.82 7.70 6.65 3/200 5762 /proc/meminfo: memFree=31486844/32770624 swapFree=67108860/67108860 [pid=5741] ppid=5738 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/5741/stat : 5741 (xcsp3-exec) S 5738 5741 4682 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97059242 9740288 346 33554432000 4194304 5098028 140733605448080 140733605446184 139883451114108 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22020096 140733605454955 140733605455164 140733605455164 140733605457899 0 /proc/5741/statm: 2378 346 289 221 0 87 0 [pid=5743] ppid=5741 vsize=26004064 memory=38964 CPUtime=0.33 cores=0-7 /proc/5743/stat : 5743 (java) S 5741 5741 4682 0 -1 1077944320 8430 0 0 0 30 3 0 0 20 0 20 0 97059242 26628161536 9741 33554432000 4194304 4196468 140723048331344 140723048313888 140033364897527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 /proc/5743/statm: 6501024 9741 2999 1 0 6488277 0 [pid=5743/tid=5744] ppid=5741 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/5743/task/5744/stat : 5744 (java) D 5741 5741 4682 0 -1 1077944384 5532 0 0 0 18 2 0 0 20 0 20 0 97059243 26628161536 9741 33554432000 4194304 4196468 140723048331344 140033369099328 140033357576749 0 4 0 16800975 18446744072101707300 0 0 -1 5 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5745] ppid=5741 vsize=26004064 memory=329 CPUtime=0 cores=0-7 /proc/5743/task/5745/stat : 5745 (java) S 5741 5741 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97059244 26628161536 9741 33554432000 4194304 4196468 140723048331344 140033317517584 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5746] ppid=5741 vsize=26004064 memory=140649678491115 CPUtime=0 cores=0-7 /proc/5743/task/5746/stat : 5746 (java) S 5741 5741 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97059244 26628161536 9741 33554432000 4194304 4196468 140723048331344 140033316465040 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5747] ppid=5741 vsize=26004096 memory=-1 CPUtime=0 cores=0-7 /proc/5743/task/5747/stat : 5747 (java) S 5741 5741 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97059244 26628194304 9741 33554432000 4194304 4196468 140723048331344 140032921172496 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5748] ppid=5741 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/5743/task/5748/stat : 5748 (java) S 5741 5741 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97059244 26628194304 9741 33554432000 4194304 4196468 140723048331344 140032920119952 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5749] ppid=5741 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5743/task/5749/stat : 5749 (java) S 5741 5741 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97059244 26628161536 9741 33554432000 4194304 4196468 140723048331344 140032919067408 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5750] ppid=5741 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/5743/task/5750/stat : 5750 (java) S 5741 5741 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97059244 26628161536 9741 33554432000 4194304 4196468 140723048331344 140032918014864 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5751] ppid=5741 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5743/task/5751/stat : 5751 (java) S 5741 5741 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97059244 26628161536 9741 33554432000 4194304 4196468 140723048331344 140032916962320 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5752] ppid=5741 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5743/task/5752/stat : 5752 (java) S 5741 5741 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97059244 26628161536 9741 33554432000 4194304 4196468 140723048331344 140032915909776 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5753] ppid=5741 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5743/task/5753/stat : 5753 (java) S 5741 5741 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97059245 26628161536 9741 33554432000 4194304 4196468 140723048331344 140032693540848 140033364908674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5754] ppid=5741 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5743/task/5754/stat : 5754 (java) S 5741 5741 4682 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97059246 26628161536 9741 33554432000 4194304 4196468 140723048331344 140032692487072 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5755] ppid=5741 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5743/task/5755/stat : 5755 (java) S 5741 5741 4682 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97059246 26628161536 9741 33554432000 4194304 4196468 140723048331344 140032691434480 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5756] ppid=5741 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5743/task/5756/stat : 5756 (java) S 5741 5741 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97059248 26628161536 9741 33554432000 4194304 4196468 140723048331344 140032690383056 140033364916123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5757] ppid=5741 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/5743/task/5757/stat : 5757 (java) S 5741 5741 4682 0 -1 1077944384 520 0 0 0 2 0 0 0 20 0 20 0 97059248 26628161536 9741 33554432000 4194304 4196468 140723048331344 140032689330672 140033364908674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5758] ppid=5741 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5743/task/5758/stat : 5758 (java) S 5741 5741 4682 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 20 0 97059248 26628161536 9741 33554432000 4194304 4196468 140723048331344 140032688278128 140033364908674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5759] ppid=5741 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/5743/task/5759/stat : 5759 (java) S 5741 5741 4682 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 20 0 97059248 26628161536 9741 33554432000 4194304 4196468 140723048331344 140032687225584 140033364908674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5760] ppid=5741 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/5743/task/5760/stat : 5760 (java) R 5741 5741 4682 0 -1 4202560 742 0 0 0 7 0 0 0 20 0 20 0 97059248 26628161536 9741 33554432000 4194304 4196468 140723048331344 140032686173040 140033364909462 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5761] ppid=5741 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5743/task/5761/stat : 5761 (java) S 5741 5741 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97059249 26628161536 9741 33554432000 4194304 4196468 140723048331344 140032685119712 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5762] ppid=5741 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/5743/task/5762/stat : 5762 (java) S 5741 5741 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97059249 26628161536 9741 33554432000 4194304 4196468 140723048331344 140032684067248 140033364908674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40348 KiB [startup+0.310246 s]* /proc/loadavg: 7.82 7.70 6.65 3/200 5762 /proc/meminfo: memFree=31482308/32770624 swapFree=67108860/67108860 [pid=5741] ppid=5738 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/5741/stat : 5741 (xcsp3-exec) S 5738 5741 4682 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97059242 9740288 346 33554432000 4194304 5098028 140733605448080 140733605446184 139883451114108 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22020096 140733605454955 140733605455164 140733605455164 140733605457899 0 /proc/5741/statm: 2378 346 289 221 0 87 0 [pid=5743] ppid=5741 vsize=26004064 memory=46084 CPUtime=0.5 cores=0-7 /proc/5743/stat : 5743 (java) S 5741 5741 4682 0 -1 1077944320 9217 0 0 0 46 4 0 0 20 0 20 0 97059242 26628161536 11521 33554432000 4194304 4196468 140723048331344 140723048313888 140033364897527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 /proc/5743/statm: 6501016 11521 3071 1 0 6488269 0 [pid=5743/tid=5744] ppid=5741 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7 /proc/5743/task/5744/stat : 5744 (java) R 5741 5741 4682 0 -1 4202560 6078 0 0 0 27 2 0 0 20 0 20 0 97059243 26628161536 11521 33554432000 4194304 4196468 140723048331344 140033369135344 140033364909462 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5745] ppid=5741 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5743/task/5745/stat : 5745 (java) S 5741 5741 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97059244 26628161536 11521 33554432000 4194304 4196468 140723048331344 140033317517584 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5746] ppid=5741 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5743/task/5746/stat : 5746 (java) S 5741 5741 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97059244 26628161536 11521 33554432000 4194304 4196468 140723048331344 140033316465040 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5747] ppid=5741 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5743/task/5747/stat : 5747 (java) S 5741 5741 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97059244 26628161536 11521 33554432000 4194304 4196468 140723048331344 140032921172496 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5748] ppid=5741 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5743/task/5748/stat : 5748 (java) S 5741 5741 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97059244 26628161536 11521 33554432000 4194304 4196468 140723048331344 140032920119952 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5749] ppid=5741 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/5743/task/5749/stat : 5749 (java) S 5741 5741 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97059244 26628161536 11521 33554432000 4194304 4196468 140723048331344 140032919067408 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5750] ppid=5741 vsize=26004064 memory=140649575838639 CPUtime=0 cores=0-7 /proc/5743/task/5750/stat : 5750 (java) S 5741 5741 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97059244 26628161536 11521 33554432000 4194304 4196468 140723048331344 140032918014864 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5751] ppid=5741 vsize=26004064 memory=140649575840944 CPUtime=0 cores=0-7 /proc/5743/task/5751/stat : 5751 (java) S 5741 5741 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97059244 26628161536 11521 33554432000 4194304 4196468 140723048331344 140032916962320 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5752] ppid=5741 vsize=26004064 memory=140649575843248 CPUtime=0 cores=0-7 /proc/5743/task/5752/stat : 5752 (java) S 5741 5741 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97059244 26628161536 11521 33554432000 4194304 4196468 140723048331344 140032915909776 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5753] ppid=5741 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5743/task/5753/stat : 5753 (java) S 5741 5741 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97059245 26628161536 11521 33554432000 4194304 4196468 140723048331344 140032693540848 140033364908674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5754] ppid=5741 vsize=26004064 memory=281299151693456 CPUtime=0 cores=0-7 /proc/5743/task/5754/stat : 5754 (java) S 5741 5741 4682 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97059246 26628161536 11521 33554432000 4194304 4196468 140723048331344 140032692487072 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5755] ppid=5741 vsize=26004064 memory=281299151700368 CPUtime=0 cores=0-7 /proc/5743/task/5755/stat : 5755 (java) S 5741 5741 4682 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97059246 26628161536 11521 33554432000 4194304 4196468 140723048331344 140032691434480 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5756] ppid=5741 vsize=26004064 memory=281299151641648 CPUtime=0 cores=0-7 /proc/5743/task/5756/stat : 5756 (java) S 5741 5741 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97059248 26628161536 11521 33554432000 4194304 4196468 140723048331344 140032690383056 140033364916123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5757] ppid=5741 vsize=26004064 memory=281299151714192 CPUtime=0.02 cores=0-7 /proc/5743/task/5757/stat : 5757 (java) R 5741 5741 4682 0 -1 4202560 520 0 0 0 2 0 0 0 20 0 20 0 97059248 26628161536 11521 33554432000 4194304 4196468 140723048331344 140032689322128 140033344046216 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5758] ppid=5741 vsize=26004064 memory=281299151721104 CPUtime=0.01 cores=0-7 /proc/5743/task/5758/stat : 5758 (java) R 5741 5741 4682 0 -1 4202560 70 0 0 0 1 0 0 0 20 0 20 0 97059248 26628161536 11521 33554432000 4194304 4196468 140723048331344 140032688278128 140033357882569 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5759] ppid=5741 vsize=26004064 memory=281299151718800 CPUtime=0.02 cores=0-7 /proc/5743/task/5759/stat : 5759 (java) S 5741 5741 4682 0 -1 1077944384 375 0 0 0 2 0 0 0 20 0 20 0 97059248 26628161536 11521 33554432000 4194304 4196468 140723048331344 140032687225584 140033364908674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5760] ppid=5741 vsize=26004064 memory=281299151734960 CPUtime=0.12 cores=0-7 /proc/5743/task/5760/stat : 5760 (java) R 5741 5741 4682 0 -1 4202560 865 0 0 0 12 0 0 0 20 0 20 0 97059248 26628161536 11521 33554432000 4194304 4196468 140723048331344 140032686172224 140033348978014 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5761] ppid=5741 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5743/task/5761/stat : 5761 (java) S 5741 5741 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97059249 26628161536 11521 33554432000 4194304 4196468 140723048331344 140032685119712 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5762] ppid=5741 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/5743/task/5762/stat : 5762 (java) S 5741 5741 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97059249 26628161536 11521 33554432000 4194304 4196468 140723048331344 140032684067248 140033364908674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47468 KiB [startup+0.700944 s] /proc/loadavg: 7.82 7.70 6.65 6/200 5762 /proc/meminfo: memFree=31459720/32770624 swapFree=67108860/67108860 [pid=5741] ppid=5738 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/5741/stat : 5741 (xcsp3-exec) S 5738 5741 4682 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97059242 9740288 346 33554432000 4194304 5098028 140733605448080 140733605446184 139883451114108 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22020096 140733605454955 140733605455164 140733605455164 140733605457899 0 /proc/5741/statm: 2378 346 289 221 0 87 0 [pid=5743] ppid=5741 vsize=26006188 memory=79956 CPUtime=1.8 cores=0-7 /proc/5743/stat : 5743 (java) S 5741 5741 4682 0 -1 1077944320 12551 0 0 0 174 6 0 0 20 0 20 0 97059242 26630336512 19989 33554432000 4194304 4196468 140723048331344 140723048313888 140033364897527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 /proc/5743/statm: 6501547 19989 3205 1 0 6488781 0 [pid=5743/tid=5744] ppid=5741 vsize=26006188 memory=281299152092848 CPUtime=0.66 cores=0-7 /proc/5743/task/5744/stat : 5744 (java) R 5741 5741 4682 0 -1 4202560 6604 0 0 0 64 2 0 0 20 0 20 0 97059243 26630336512 19989 33554432000 4194304 4196468 140723048331344 140033369135104 140032999711560 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5745] ppid=5741 vsize=26006188 memory=140649576047472 CPUtime=0 cores=0-7 /proc/5743/task/5745/stat : 5745 (java) S 5741 5741 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97059244 26630336512 19989 33554432000 4194304 4196468 140723048331344 140033317517584 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5746] ppid=5741 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/5743/task/5746/stat : 5746 (java) S 5741 5741 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97059244 26630336512 19989 33554432000 4194304 4196468 140723048331344 140033316465040 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5747] ppid=5741 vsize=26006188 memory=4612 CPUtime=0 cores=0-7 /proc/5743/task/5747/stat : 5747 (java) S 5741 5741 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97059244 26630336512 19989 33554432000 4194304 4196468 140723048331344 140032921172496 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 ################ # More data... # ################ [pid=5743/tid=8448] ppid=5741 vsize=26608340 memory=7563140 CPUtime=154.59 cores=0-7 /proc/5743/task/8448/stat : 8448 (java) R 5741 5741 4682 0 -1 4202560 3044 0 0 0 15453 6 0 0 20 0 28 0 97059977 27246940160 1890785 33554432000 4194304 4196468 140723048331344 140032676057944 140033005203282 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 Current children cumulated CPU time: 1276.06 s Current children cumulated vsize: 26617852 KiB Current children cumulated memory: 7564524 KiB [startup+222.302 s] /proc/loadavg: 8.12 7.90 6.95 9/208 8470 /proc/meminfo: memFree=23941276/32770624 swapFree=67108860/67108860 [pid=5741] ppid=5738 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/5741/stat : 5741 (xcsp3-exec) S 5738 5741 4682 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97059242 9740288 346 33554432000 4194304 5098028 140733605448080 140733605446184 139883451114108 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22020096 140733605454955 140733605455164 140733605455164 140733605457899 0 /proc/5741/statm: 2378 346 289 221 0 87 0 [pid=5743] ppid=5741 vsize=26608340 memory=7575432 CPUtime=1754.7 cores=0-7 /proc/5743/stat : 5743 (java) S 5741 5741 4682 0 -1 1077944320 130000 0 0 0 175164 306 0 0 20 0 28 0 97059242 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140723048313888 140033364897527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 /proc/5743/statm: 6652085 1893858 3289 1 0 6639319 0 [pid=5743/tid=5744] ppid=5741 vsize=26608340 memory=7575432 CPUtime=2.7 cores=0-7 /proc/5743/task/5744/stat : 5744 (java) S 5741 5741 4682 0 -1 1077944384 9350 0 0 0 262 8 0 0 20 0 28 0 97059243 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140033369138224 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5745] ppid=5741 vsize=26608340 memory=1384 CPUtime=0.16 cores=0-7 /proc/5743/task/5745/stat : 5745 (java) S 5741 5741 4682 0 -1 1077944384 541 0 0 0 11 5 0 0 20 0 28 0 97059244 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140033317517584 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5746] ppid=5741 vsize=26608340 memory=3475108 CPUtime=0.17 cores=0-7 /proc/5743/task/5746/stat : 5746 (java) S 5741 5741 4682 0 -1 1077944384 528 0 0 0 12 5 0 0 20 0 28 0 97059244 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140033316465040 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5747] ppid=5741 vsize=26608340 memory=8112282956445269571 CPUtime=0.16 cores=0-7 /proc/5743/task/5747/stat : 5747 (java) S 5741 5741 4682 0 -1 1077944384 364 0 0 0 11 5 0 0 20 0 28 0 97059244 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032921172496 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5748] ppid=5741 vsize=26608340 memory=4100 CPUtime=0.17 cores=0-7 /proc/5743/task/5748/stat : 5748 (java) S 5741 5741 4682 0 -1 1077944384 254 0 0 0 12 5 0 0 20 0 28 0 97059244 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032920119952 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5749] ppid=5741 vsize=26608340 memory=7563140 CPUtime=0.15 cores=0-7 /proc/5743/task/5749/stat : 5749 (java) S 5741 5741 4682 0 -1 1077944384 227 0 0 0 10 5 0 0 20 0 28 0 97059244 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032919067408 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5750] ppid=5741 vsize=26608340 memory=1428 CPUtime=0.17 cores=0-7 /proc/5743/task/5750/stat : 5750 (java) S 5741 5741 4682 0 -1 1077944384 909 0 0 0 12 5 0 0 20 0 28 0 97059244 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032918014864 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5751] ppid=5741 vsize=26608340 memory=2416 CPUtime=0.18 cores=0-7 /proc/5743/task/5751/stat : 5751 (java) S 5741 5741 4682 0 -1 1077944384 742 0 0 0 12 6 0 0 20 0 28 0 97059244 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032916962320 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5752] ppid=5741 vsize=26608340 memory=1728 CPUtime=0.16 cores=0-7 /proc/5743/task/5752/stat : 5752 (java) S 5741 5741 4682 0 -1 1077944384 535 0 0 0 11 5 0 0 20 0 28 0 97059244 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032915909776 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5753] ppid=5741 vsize=26608340 memory=1728 CPUtime=0.03 cores=0-7 /proc/5743/task/5753/stat : 5753 (java) S 5741 5741 4682 0 -1 1077944384 4279 0 0 0 3 0 0 0 20 0 28 0 97059245 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032693540848 140033364908674 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5754] ppid=5741 vsize=26608340 memory=796 CPUtime=0 cores=0-7 /proc/5743/task/5754/stat : 5754 (java) S 5741 5741 4682 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 97059246 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032692487136 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5755] ppid=5741 vsize=26608340 memory=-3395018507770351391 CPUtime=0 cores=0-7 /proc/5743/task/5755/stat : 5755 (java) S 5741 5741 4682 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 97059246 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032691434496 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5756] ppid=5741 vsize=26608340 memory=-3472574513799858004 CPUtime=0 cores=0-7 /proc/5743/task/5756/stat : 5756 (java) S 5741 5741 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97059248 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032690383056 140033364916123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5757] ppid=5741 vsize=26608340 memory=1384 CPUtime=2.83 cores=0-7 /proc/5743/task/5757/stat : 5757 (java) S 5741 5741 4682 0 -1 1077944384 13026 0 0 0 281 2 0 0 20 0 28 0 97059248 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032689330672 140033364908674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5758] ppid=5741 vsize=26608340 memory=7575416 CPUtime=3.04 cores=0-7 /proc/5743/task/5758/stat : 5758 (java) S 5741 5741 4682 0 -1 1077944384 16659 0 0 0 300 4 0 0 20 0 28 0 97059248 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032688278128 140033364908674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5759] ppid=5741 vsize=26608340 memory=1384 CPUtime=2.63 cores=0-7 /proc/5743/task/5759/stat : 5759 (java) S 5741 5741 4682 0 -1 1077944384 9759 0 0 0 260 3 0 0 20 0 28 0 97059248 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032687225584 140033364908674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5760] ppid=5741 vsize=26608340 memory=7453228952799175790 CPUtime=1.07 cores=0-7 /proc/5743/task/5760/stat : 5760 (java) S 5741 5741 4682 0 -1 1077944384 9944 0 0 0 103 4 0 0 20 0 28 0 97059248 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032686173040 140033364908674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5761] ppid=5741 vsize=26608340 memory=6944652177228980320 CPUtime=0 cores=0-7 /proc/5743/task/5761/stat : 5761 (java) S 5741 5741 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97059249 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032685119712 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5762] ppid=5741 vsize=26608340 memory=6944656592455359580 CPUtime=0.07 cores=0-7 /proc/5743/task/5762/stat : 5762 (java) S 5741 5741 4682 0 -1 1077944384 993 0 0 0 0 7 0 0 20 0 28 0 97059249 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032684067248 140033364908674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=8441] ppid=5741 vsize=26608340 memory=1384 CPUtime=213.53 cores=0-7 /proc/5743/task/8441/stat : 8441 (java) R 5741 5741 4682 0 -1 4202560 1985 0 0 0 21339 14 0 0 20 0 28 0 97059977 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032670792360 140033005204347 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=8442] ppid=5741 vsize=26608340 memory=1384 CPUtime=214.51 cores=0-7 /proc/5743/task/8442/stat : 8442 (java) R 5741 5741 4682 0 -1 4202560 2268 0 0 0 21446 5 0 0 20 0 28 0 97059977 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032668688304 140033006113753 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=8443] ppid=5741 vsize=26608340 memory=1384 CPUtime=214.75 cores=0-7 /proc/5743/task/8443/stat : 8443 (java) R 5741 5741 4682 0 -1 4202560 1378 0 0 0 21472 3 0 0 20 0 28 0 97059977 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032673951800 140033004776126 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=8444] ppid=5741 vsize=26608340 memory=4140 CPUtime=214.59 cores=0-7 /proc/5743/task/8444/stat : 8444 (java) R 5741 5741 4682 0 -1 4202560 15253 0 0 0 21359 100 0 0 20 0 28 0 97059977 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032665538872 140033004776050 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=8445] ppid=5741 vsize=26608340 memory=27828 CPUtime=212.42 cores=0-7 /proc/5743/task/8445/stat : 8445 (java) R 5741 5741 4682 0 -1 4202560 6034 0 0 0 21205 37 0 0 20 0 28 0 97059977 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032672899352 140033005203647 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=8446] ppid=5741 vsize=26608340 memory=1296 CPUtime=214.58 cores=0-7 /proc/5743/task/8446/stat : 8446 (java) R 5741 5741 4682 0 -1 4202560 1527 0 0 0 21456 2 0 0 20 0 28 0 97059977 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032664486328 140033007067494 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=8447] ppid=5741 vsize=26608340 memory=2416 CPUtime=214.5 cores=0-7 /proc/5743/task/8447/stat : 8447 (java) R 5741 5741 4682 0 -1 4202560 1246 0 0 0 21447 3 0 0 20 0 28 0 97059977 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032671846968 140033005341817 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=8448] ppid=5741 vsize=26608340 memory=1728 CPUtime=214.46 cores=0-7 /proc/5743/task/8448/stat : 8448 (java) R 5741 5741 4682 0 -1 4202560 3537 0 0 0 21439 7 0 0 20 0 28 0 97059977 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032676057496 140033006111089 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 Current children cumulated CPU time: 1754.7 s Current children cumulated vsize: 26617852 KiB Current children cumulated memory: 7576816 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.001 s]* /proc/loadavg: 8.16 7.93 6.99 9/207 8470 /proc/meminfo: memFree=23941528/32770624 swapFree=67108860/67108860 [pid=5741] ppid=5738 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/5741/stat : 5741 (xcsp3-exec) S 5738 5741 4682 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97059242 9740288 346 33554432000 4194304 5098028 140733605448080 140733605446184 139883451114108 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22020096 140733605454955 140733605455164 140733605455164 140733605457899 0 /proc/5741/statm: 2378 346 289 221 0 87 0 [pid=5743] ppid=5741 vsize=26608340 memory=7575432 CPUtime=1991.73 cores=0-7 /proc/5743/stat : 5743 (java) S 5741 5741 4682 0 -1 1077944320 134666 0 0 0 198851 322 0 0 20 0 28 0 97059242 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140723048313888 140033364897527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 /proc/5743/statm: 6652085 1893858 3289 1 0 6639319 0 [pid=5743/tid=5744] ppid=5741 vsize=26608340 memory=8112282956445269571 CPUtime=2.7 cores=0-7 /proc/5743/task/5744/stat : 5744 (java) S 5741 5741 4682 0 -1 1077944384 9350 0 0 0 262 8 0 0 20 0 28 0 97059243 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140033369138224 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5745] ppid=5741 vsize=26608340 memory=4872558044660077418 CPUtime=0.16 cores=0-7 /proc/5743/task/5745/stat : 5745 (java) S 5741 5741 4682 0 -1 1077944384 541 0 0 0 11 5 0 0 20 0 28 0 97059244 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140033317517584 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5746] ppid=5741 vsize=26608340 memory=7157735280196998757 CPUtime=0.17 cores=0-7 /proc/5743/task/5746/stat : 5746 (java) S 5741 5741 4682 0 -1 1077944384 528 0 0 0 12 5 0 0 20 0 28 0 97059244 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140033316465040 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5747] ppid=5741 vsize=26608340 memory=7157735280196998757 CPUtime=0.16 cores=0-7 /proc/5743/task/5747/stat : 5747 (java) S 5741 5741 4682 0 -1 1077944384 364 0 0 0 11 5 0 0 20 0 28 0 97059244 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032921172496 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5748] ppid=5741 vsize=26608340 memory=7157735280196998757 CPUtime=0.17 cores=0-7 /proc/5743/task/5748/stat : 5748 (java) S 5741 5741 4682 0 -1 1077944384 254 0 0 0 12 5 0 0 20 0 28 0 97059244 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032920119952 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5749] ppid=5741 vsize=26608340 memory=7157735280196998757 CPUtime=0.15 cores=0-7 /proc/5743/task/5749/stat : 5749 (java) S 5741 5741 4682 0 -1 1077944384 227 0 0 0 10 5 0 0 20 0 28 0 97059244 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032919067408 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5750] ppid=5741 vsize=26608340 memory=7157735280196998757 CPUtime=0.17 cores=0-7 /proc/5743/task/5750/stat : 5750 (java) S 5741 5741 4682 0 -1 1077944384 909 0 0 0 12 5 0 0 20 0 28 0 97059244 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032918014864 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5751] ppid=5741 vsize=26608340 memory=1384 CPUtime=0.18 cores=0-7 /proc/5743/task/5751/stat : 5751 (java) S 5741 5741 4682 0 -1 1077944384 742 0 0 0 12 6 0 0 20 0 28 0 97059244 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032916962320 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5752] ppid=5741 vsize=26608340 memory=7575432 CPUtime=0.16 cores=0-7 /proc/5743/task/5752/stat : 5752 (java) S 5741 5741 4682 0 -1 1077944384 535 0 0 0 11 5 0 0 20 0 28 0 97059244 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032915909776 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5753] ppid=5741 vsize=26608340 memory=1384 CPUtime=0.03 cores=0-7 /proc/5743/task/5753/stat : 5753 (java) S 5741 5741 4682 0 -1 1077944384 4286 0 0 0 3 0 0 0 20 0 28 0 97059245 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032693540848 140033364908674 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5754] ppid=5741 vsize=26608340 memory=7575432 CPUtime=0 cores=0-7 /proc/5743/task/5754/stat : 5754 (java) S 5741 5741 4682 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 97059246 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032692487136 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5755] ppid=5741 vsize=26608340 memory=6764 CPUtime=0 cores=0-7 /proc/5743/task/5755/stat : 5755 (java) S 5741 5741 4682 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 97059246 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032691434496 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5756] ppid=5741 vsize=26608340 memory=840 CPUtime=0 cores=0-7 /proc/5743/task/5756/stat : 5756 (java) S 5741 5741 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97059248 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032690383056 140033364916123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5757] ppid=5741 vsize=26608340 memory=8112282956445269571 CPUtime=2.85 cores=0-7 /proc/5743/task/5757/stat : 5757 (java) S 5741 5741 4682 0 -1 1077944384 14176 0 0 0 283 2 0 0 20 0 28 0 97059248 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032689330672 140033364908674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5758] ppid=5741 vsize=26608340 memory=1692 CPUtime=3.04 cores=0-7 /proc/5743/task/5758/stat : 5758 (java) S 5741 5741 4682 0 -1 1077944384 16662 0 0 0 300 4 0 0 20 0 28 0 97059248 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032688278128 140033364908674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5759] ppid=5741 vsize=26608340 memory=912 CPUtime=2.66 cores=0-7 /proc/5743/task/5759/stat : 5759 (java) S 5741 5741 4682 0 -1 1077944384 10509 0 0 0 263 3 0 0 20 0 28 0 97059248 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032687225584 140033364908674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5760] ppid=5741 vsize=26608340 memory=4128 CPUtime=1.07 cores=0-7 /proc/5743/task/5760/stat : 5760 (java) S 5741 5741 4682 0 -1 1077944384 10199 0 0 0 103 4 0 0 20 0 28 0 97059248 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032686173040 140033364908674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5761] ppid=5741 vsize=26608340 memory=1156 CPUtime=0 cores=0-7 /proc/5743/task/5761/stat : 5761 (java) S 5741 5741 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97059249 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032685119712 140033364907733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=5762] ppid=5741 vsize=26608340 memory=3716 CPUtime=0.08 cores=0-7 /proc/5743/task/5762/stat : 5762 (java) S 5741 5741 4682 0 -1 1077944384 1031 0 0 0 0 8 0 0 20 0 28 0 97059249 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032684067248 140033364908674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=8441] ppid=5741 vsize=26608340 memory=1384 CPUtime=242.63 cores=0-7 /proc/5743/task/8441/stat : 8441 (java) R 5741 5741 4682 0 -1 4202560 2209 0 0 0 24248 15 0 0 20 0 28 0 97059977 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032670792360 140033006111469 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=8442] ppid=5741 vsize=26608340 memory=7575432 CPUtime=244.2 cores=0-7 /proc/5743/task/8442/stat : 8442 (java) R 5741 5741 4682 0 -1 4202560 2461 0 0 0 24415 5 0 0 20 0 28 0 97059977 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032668688304 140033004777019 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=8443] ppid=5741 vsize=26608340 memory=1008 CPUtime=244.45 cores=0-7 /proc/5743/task/8443/stat : 8443 (java) R 5741 5741 4682 0 -1 4202560 1507 0 0 0 24441 4 0 0 20 0 28 0 97059977 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032673951800 140033004976208 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=8444] ppid=5741 vsize=26608340 memory=4612 CPUtime=244.29 cores=0-7 /proc/5743/task/8444/stat : 8444 (java) R 5741 5741 4682 0 -1 4202560 15492 0 0 0 24328 101 0 0 20 0 28 0 97059977 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032665541256 140033006111061 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=8445] ppid=5741 vsize=26608340 memory=1428 CPUtime=242.12 cores=0-7 /proc/5743/task/8445/stat : 8445 (java) R 5741 5741 4682 0 -1 4202560 6790 0 0 0 24165 47 0 0 20 0 28 0 97059977 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032672899352 140032998442088 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=8446] ppid=5741 vsize=26608340 memory=1204 CPUtime=244.25 cores=0-7 /proc/5743/task/8446/stat : 8446 (java) R 5741 5741 4682 0 -1 4202560 1669 0 0 0 24423 2 0 0 20 0 28 0 97059977 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032664486808 140033007067523 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=8447] ppid=5741 vsize=26608340 memory=15876 CPUtime=244.2 cores=0-7 /proc/5743/task/8447/stat : 8447 (java) R 5741 5741 4682 0 -1 4202560 1449 0 0 0 24417 3 0 0 20 0 28 0 97059977 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032671846968 140033006111237 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 [pid=5743/tid=8448] ppid=5741 vsize=26608340 memory=17876 CPUtime=244.15 cores=0-7 /proc/5743/task/8448/stat : 8448 (java) R 5741 5741 4682 0 -1 4202560 4114 0 0 0 24407 8 0 0 20 0 28 0 97059977 27246940160 1893858 33554432000 4194304 4196468 140723048331344 140032676058120 140033005919612 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21401600 140723048338584 140723048338760 140723048338760 140723048341455 0 Current children cumulated CPU time: 1991.73 s Current children cumulated vsize: 26617852 KiB Current children cumulated memory: 7576816 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.05 s] # the end of solver process 5741 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.001929 s, system=0 s [startup+252.129 s] # the end of solver process 5743 was just reported to runsolver # cumulated CPU time of all completed processes: user=1989.17 s, system=3.25904 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 252.129 CPU time (s): 1992.43 CPU user time (s): 1989.17 CPU system time (s): 3.25904 CPU usage (%): 790.244 Max. virtual memory (cumulated for all children) (KiB): 26617852 Max. memory (cumulated for all children) (KiB): 7576816 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1989.17 system time used= 3.25904 maximum resident set size= 7575952 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 136156 page faults= 0 swaps= 0 block input operations= 0 block output operations= 440 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 31870 involuntary context switches= 21024 # summary of solver processes directly reported to runsolver: # pid: 5741,5743 # total CPU time (s): 1992.43 # total CPU user time (s): 1989.17 # total CPU system time (s): 3.25904 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.16143 second user time and 3.0274 second system time The end
Begin job on node106 at 2017-08-13 17:40:56 IDJOB=4271792 IDBENCH=115900 IDSOLVER=2663 FILE ID=node106/4271792-1502639714 RUNJOBID= node106-1502637338-4709 PBS_JOBID= 20628329 Free space on /tmp= 61772 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-27.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271792-1502639714/watcher-4271792-1502639714 -o /tmp/evaluation-result-4271792-1502639714/solver-4271792-1502639714 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node106-1502637338-4709 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 258974220 HOME/instance-4271792-1502639714.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 7effaf54e6298c2e2ce7b82787858117 RANDOM SEED=258974220 node106.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.86 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.86 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.86 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.86 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: 31513632 kB MemAvailable: 31984796 kB Buffers: 112808 kB Cached: 645840 kB SwapCached: 0 kB Active: 384880 kB Inactive: 430096 kB Active(anon): 11832 kB Inactive(anon): 72092 kB Active(file): 373048 kB Inactive(file): 358004 kB Unevictable: 6504 kB Mlocked: 6504 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7576 kB Writeback: 0 kB AnonPages: 74260 kB Mapped: 43716 kB Shmem: 25228 kB Slab: 137648 kB SReclaimable: 111892 kB SUnreclaim: 25756 kB KernelStack: 3536 kB PageTables: 4732 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323636 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 22528 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 61764 MiB End job on node106 at 2017-08-13 17:45:08