Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: choco-solver 5a (2017-07-05) | SAT (TO) | 268 | 2400.12 | 303.913 |
| Name | StillLife/StillLife-wst-s1/ StillLife-wastage-24.xml |
| MD5SUM | e0f1e7fd363778103a4292aa9d177ae8 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 297 |
| Best CPU time to get the best result obtained on this benchmark | 2400.05 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1379 |
| Number of constraints | 824 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 1353 |
| Distribution of domain sizes | [{"size":2,"count":676},{"size":3,"count":676},{"size":577,"count":1},{"size":1353,"count":26}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 27 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":673},{"degree":3,"count":29},{"degree":4,"count":96},{"degree":8,"count":92},{"degree":9,"count":484},{"degree":27,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 28 |
| Distribution of constraint arities | [{"arity":2,"count":122},{"arity":3,"count":96},{"arity":10,"count":576},{"arity":26,"count":4},{"arity":27,"count":1},{"arity":28,"count":25}] |
| Number of extensional constraints | 672 |
| Number of intensional constraints | 121 |
| Distribution of constraint types | [{"type":"extension","count":672},{"type":"intension","count":121},{"type":"sum","count":27},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
0.00/0.00 c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4244740-1500684491.xml" -tl '2400s' -p 8 -x 3 0.00/0.20 c [HOME/instance-4244740-1500684491.xml, -tl, 2400s, -p, 8, -x, 3] 0.00/0.25 c 8 solvers in parallel 0.00/0.32 c parse instance... 6.76/2.31 c solve instance... 9.58/2.75 o 0 9.58/2.76 o 0 11.05/2.99 o 10 12.45/3.29 o 11 12.45/3.31 o 12 12.95/3.34 o 13 12.95/3.38 o 14 13.64/3.42 o 15 13.64/3.44 o 16 13.64/3.46 o 17 13.64/3.48 o 18 14.28/3.51 o 19 14.28/3.53 o 20 14.28/3.55 o 21 14.28/3.57 o 22 14.28/3.59 o 23 15.03/3.63 o 24 15.03/3.63 o 25 15.03/3.64 o 26 15.03/3.65 o 27 15.03/3.65 o 28 15.03/3.66 o 29 15.03/3.67 o 30 15.03/3.68 o 31 15.03/3.68 o 32 15.03/3.69 o 33 15.03/3.69 o 34 15.65/3.71 o 35 15.65/3.71 o 36 15.65/3.72 o 37 15.65/3.72 o 38 15.65/3.76 o 39 15.65/3.77 o 40 15.65/3.78 o 41 17.03/3.99 o 42 17.03/3.99 o 43 17.03/3.99 o 44 17.03/3.99 o 45 17.03/3.99 o 46 17.03/3.99 o 47 17.03/3.99 o 48 17.03/3.99 o 49 17.03/3.99 o 50 17.03/3.99 o 51 17.03/3.99 o 52 17.03/3.99 o 53 17.03/3.99 o 54 17.03/3.99 o 55 17.03/3.99 o 56 17.03/3.99 o 57 17.03/3.99 o 58 17.03/3.99 o 59 17.03/3.99 o 60 17.03/3.99 o 61 17.03/3.99 o 62 17.03/3.99 o 63 17.03/3.99 o 64 17.03/3.99 o 65 17.03/3.99 o 66 17.03/3.99 o 67 17.03/3.99 o 68 17.65/4.00 o 69 17.65/4.02 o 70 17.65/4.02 o 71 17.65/4.03 o 72 17.65/4.03 o 73 17.65/4.04 o 74 17.65/4.04 o 75 17.65/4.05 o 76 17.65/4.05 o 77 18.36/4.10 o 78 18.36/4.10 o 79 18.36/4.11 o 80 18.36/4.13 o 81 18.36/4.13 o 82 18.36/4.14 o 83 18.36/4.15 o 84 18.36/4.15 o 85 18.36/4.16 o 86 18.36/4.17 o 87 18.36/4.17 o 88 18.36/4.18 o 89 18.36/4.18 o 90 18.36/4.19 o 91 19.00/4.20 o 92 19.00/4.21 o 93 19.00/4.22 o 94 19.00/4.23 o 95 19.00/4.24 o 96 19.00/4.24 o 97 19.00/4.25 o 98 19.00/4.26 o 99 19.00/4.26 o 100 19.00/4.27 o 101 19.00/4.28 o 102 19.00/4.29 o 103 19.00/4.29 o 104 19.63/4.30 o 105 19.63/4.31 o 106 19.63/4.31 o 107 19.63/4.35 o 108 19.63/4.36 o 109 19.63/4.37 o 110 19.63/4.38 o 111 19.63/4.39 o 112 19.63/4.39 o 113 19.63/4.40 o 114 19.63/4.41 o 115 20.34/4.41 o 116 20.34/4.42 o 117 20.34/4.43 o 118 20.34/4.44 o 119 20.34/4.45 o 120 20.34/4.45 o 121 20.34/4.46 o 122 20.34/4.47 o 123 20.34/4.48 o 124 20.34/4.48 o 125 20.34/4.49 o 126 20.34/4.50 o 127 20.34/4.50 o 128 20.34/4.51 o 129 21.02/4.51 o 130 21.02/4.52 o 131 21.02/4.52 o 132 21.02/4.53 o 133 21.02/4.55 o 134 21.02/4.55 o 135 21.02/4.56 o 136 21.02/4.57 o 137 21.02/4.57 o 138 21.02/4.58 o 139 21.02/4.59 o 140 21.02/4.59 o 141 21.60/4.60 o 142 21.60/4.60 o 143 21.60/4.64 o 144 21.60/4.65 o 145 21.60/4.66 o 146 21.60/4.66 o 147 21.60/4.67 o 148 21.60/4.68 o 149 21.60/4.69 o 150 21.60/4.70 o 151 22.30/4.70 o 152 22.30/4.71 o 153 22.30/4.72 o 154 22.30/4.72 o 155 22.30/4.73 o 156 22.30/4.73 o 157 22.30/4.74 o 158 22.30/4.75 o 159 22.30/4.75 o 160 22.30/4.76 o 161 22.30/4.77 o 162 22.30/4.77 o 163 22.30/4.78 o 164 22.30/4.79 o 165 22.30/4.80 o 166 22.99/4.80 o 167 22.99/4.81 o 168 22.99/4.82 o 169 22.99/4.83 o 170 22.99/4.84 o 171 22.99/4.85 o 172 22.99/4.85 o 173 22.99/4.86 o 174 22.99/4.87 o 175 22.99/4.88 o 176 22.99/4.89 o 177 23.65/4.90 o 178 23.65/4.91 o 179 23.65/4.91 o 180 23.65/4.95 o 181 23.65/4.98 o 182 23.65/4.99 o 183 23.65/5.00 o 184 24.32/5.00 o 185 24.32/5.01 o 186 24.32/5.02 o 187 24.32/5.02 o 188 24.32/5.03 o 189 24.32/5.04 o 190 24.32/5.05 o 191 24.32/5.05 o 192 24.32/5.06 o 193 24.32/5.07 o 194 24.32/5.07 o 195 24.32/5.08 o 196 24.32/5.09 o 197 24.32/5.10 o 198 25.01/5.10 o 199 25.01/5.11 o 200 25.01/5.12 o 201 25.01/5.15 o 202 25.01/5.17 o 203 25.01/5.18 o 204 25.73/5.34 o 205 25.73/5.34 o 206 25.73/5.35 o 207 25.73/5.36 o 208 25.73/5.36 o 209 25.73/5.37 o 210 25.73/5.38 o 211 25.73/5.39 o 212 25.73/5.39 o 213 26.13/5.40 o 214 26.13/5.44 o 215 26.13/5.44 o 216 26.13/5.45 o 217 26.13/5.46 o 218 26.13/5.46 o 219 26.13/5.47 o 220 26.13/5.48 o 221 26.13/5.49 o 222 26.13/5.49 o 223 26.77/5.54 o 224 26.77/5.54 o 225 26.77/5.55 o 226 26.77/5.56 o 227 26.77/5.56 o 228 26.77/5.57 o 229 26.77/5.58 o 230 26.77/5.59 o 231 26.77/5.60 o 232 26.77/5.61 o 233 26.77/5.61 o 234 27.48/5.62 o 235 27.48/5.62 o 236 27.48/5.66 o 237 27.48/5.67 o 238 27.48/5.67 o 239 27.48/5.68 o 240 27.48/5.68 o 241 27.48/5.69 o 242 27.48/5.69 o 243 28.01/5.70 o 244 28.01/5.71 o 245 28.01/5.72 o 246 28.01/5.72 o 247 28.01/5.73 o 248 28.01/5.73 o 249 28.01/5.74 o 250 28.01/5.75 o 251 28.01/5.76 o 252 28.01/5.79 o 253 28.01/5.79 o 254 28.51/5.80 o 255 28.51/5.82 o 256 28.51/5.83 o 257 28.51/5.85 o 258 28.51/5.85 o 259 29.16/5.92 o 260 29.16/5.93 o 261 29.16/5.93 o 262 29.16/5.95 o 263 29.16/5.95 o 264 29.16/5.96 o 265 91.05/13.74 o 266 155.99/21.93 o 267 267.88/36.06 o 268 2400.12/303.93 s SATISFIABLE 2400.12/303.93 v <instantiation> 2400.12/303.93 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] z </list> 2400.12/303.93 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 1 1 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 1 1 0 1 0 1 1 1 1 1 1 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 1 1 1 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 0 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 2 1 1 2 1 1 2 1 1 2 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 1 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 2 1 1 0 0 1 0 0 0 0 1 1 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 2 1 2 2 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 1 1 1 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 8 10 12 23 24 25 53 61 64 67 69 73 90 95 98 102 105 111 122 125 129 138 142 146 162 176 268 </values> 2400.12/303.93 v </instantiation> 2400.12/303.93 c Unexpected resolution interruption!
OK 268
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4244740-1500684491/watcher-4244740-1500684491 -o /tmp/evaluation-result-4244740-1500684491/solver-4244740-1500684491 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500682620-7801 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1120652725 HOME/instance-4244740-1500684491.xml pid=9974 running on 8 cores: 0,2,4,6,8,10,12,14 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 15.45 15.42 14.43 10/271 9977 /proc/meminfo: memFree=30603204/32770624 swapFree=5860/233960 [pid=9977] ppid=9974 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/9977/stat : 9977 (xcsp3-exec) S 9974 9977 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3716495 9740288 346 33554432000 4194304 5098028 140735129850400 140735129848504 140502001623676 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 26619904 140735129859214 140735129859424 140735129859424 140735129862123 0 /proc/9977/statm: 2378 346 289 221 0 87 0 [startup+0.100026 s] /proc/loadavg: 15.45 15.42 14.43 10/271 9977 /proc/meminfo: memFree=30603204/32770624 swapFree=5860/233960 [pid=9977] ppid=9974 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/9977/stat : 9977 (xcsp3-exec) S 9974 9977 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3716495 9740288 346 33554432000 4194304 5098028 140735129850400 140735129848504 140502001623676 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 26619904 140735129859214 140735129859424 140735129859424 140735129862123 0 /proc/9977/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200282 s] /proc/loadavg: 15.45 15.42 14.43 10/271 9977 /proc/meminfo: memFree=30603204/32770624 swapFree=5860/233960 [pid=9977] ppid=9974 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/9977/stat : 9977 (xcsp3-exec) S 9974 9977 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3716495 9740288 346 33554432000 4194304 5098028 140735129850400 140735129848504 140502001623676 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 26619904 140735129859214 140735129859424 140735129859424 140735129862123 0 /proc/9977/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300226 s] /proc/loadavg: 15.45 15.42 14.43 10/271 9977 /proc/meminfo: memFree=30603204/32770624 swapFree=5860/233960 [pid=9977] ppid=9974 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/9977/stat : 9977 (xcsp3-exec) S 9974 9977 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3716495 9740288 346 33554432000 4194304 5098028 140735129850400 140735129848504 140502001623676 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 26619904 140735129859214 140735129859424 140735129859424 140735129862123 0 /proc/9977/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700233 s] /proc/loadavg: 15.45 15.42 14.43 10/271 9977 /proc/meminfo: memFree=30603204/32770624 swapFree=5860/233960 [pid=9977] ppid=9974 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/9977/stat : 9977 (xcsp3-exec) S 9974 9977 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3716495 9740288 346 33554432000 4194304 5098028 140735129850400 140735129848504 140502001623676 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 26619904 140735129859214 140735129859424 140735129859424 140735129862123 0 /proc/9977/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50092 s] /proc/loadavg: 15.45 15.42 14.43 10/292 9998 /proc/meminfo: memFree=30502304/32770624 swapFree=5860/234340 [pid=9977] ppid=9974 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/9977/stat : 9977 (xcsp3-exec) S 9974 9977 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3716495 9740288 346 33554432000 4194304 5098028 140735129850400 140735129848504 140502001623676 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 26619904 140735129859214 140735129859424 140735129859424 140735129862123 0 /proc/9977/statm: 2378 346 289 221 0 87 0 [pid=9978] ppid=9977 vsize=13269256 CPUtime=4.16 cores=0,2,4,6,8,10,12,14 /proc/9978/stat : 9978 (java) S 9977 9977 7411 0 -1 1077944320 20272 0 0 0 409 7 0 0 20 0 20 0 3716496 13587718144 42951 33554432000 4194304 4196468 140725255473952 140725255456496 139979489775351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 /proc/9978/statm: 3317314 42951 3225 1 0 3304547 0 [pid=9978/tid=9979] ppid=9977 vsize=13269256 CPUtime=1.47 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9979/stat : 9979 (java) R 9977 9977 7411 0 -1 4202560 8260 0 0 0 143 4 0 0 20 0 20 0 3716496 13587718144 42951 33554432000 4194304 4196468 140725255473952 139979494010728 139979112252191 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9981] ppid=9977 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9981/stat : 9981 (java) S 9977 9977 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3716497 13587718144 42951 33554432000 4194304 4196468 140725255473952 139979428739984 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9982] ppid=9977 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9982/stat : 9982 (java) S 9977 9977 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3716497 13587718144 42951 33554432000 4194304 4196468 140725255473952 139979427687184 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9983] ppid=9977 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9983/stat : 9983 (java) S 9977 9977 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3716497 13587718144 42951 33554432000 4194304 4196468 140725255473952 139979087371408 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9984] ppid=9977 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9984/stat : 9984 (java) S 9977 9977 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3716497 13587718144 42951 33554432000 4194304 4196468 140725255473952 139979086318608 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9985] ppid=9977 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9985/stat : 9985 (java) S 9977 9977 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3716497 13587718144 42951 33554432000 4194304 4196468 140725255473952 139979085265296 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9986] ppid=9977 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9986/stat : 9986 (java) S 9977 9977 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3716497 13587718144 42951 33554432000 4194304 4196468 140725255473952 139979084212496 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9987] ppid=9977 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9987/stat : 9987 (java) S 9977 9977 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3716497 13587718144 42951 33554432000 4194304 4196468 140725255473952 139979083160208 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9988] ppid=9977 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9988/stat : 9988 (java) S 9977 9977 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3716497 13587718144 42951 33554432000 4194304 4196468 140725255473952 139979082107408 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9989] ppid=9977 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9989/stat : 9989 (java) S 9977 9977 7411 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 3716499 13587718144 42951 33554432000 4194304 4196468 140725255473952 139978951596656 139979489786498 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9990] ppid=9977 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9990/stat : 9990 (java) S 9977 9977 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3716500 13587718144 42951 33554432000 4194304 4196468 140725255473952 139978950542624 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9991] ppid=9977 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9991/stat : 9991 (java) S 9977 9977 7411 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3716500 13587718144 42951 33554432000 4194304 4196468 140725255473952 139978949490288 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9992] ppid=9977 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9992/stat : 9992 (java) S 9977 9977 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3716504 13587718144 42951 33554432000 4194304 4196468 140725255473952 139978948438608 139979489793947 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9993] ppid=9977 vsize=13269256 CPUtime=0.68 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9993/stat : 9993 (java) S 9977 9977 7411 0 -1 1077944384 2780 0 0 0 67 1 0 0 20 0 20 0 3716504 13587718144 42951 33554432000 4194304 4196468 140725255473952 139978947385456 139979489786498 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9994] ppid=9977 vsize=13269256 CPUtime=0.74 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9994/stat : 9994 (java) S 9977 9977 7411 0 -1 1077944384 3204 0 0 0 74 0 0 0 20 0 20 0 3716504 13587718144 42951 33554432000 4194304 4196468 140725255473952 139978946332656 139979489786498 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9995] ppid=9977 vsize=13269256 CPUtime=0.64 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9995/stat : 9995 (java) S 9977 9977 7411 0 -1 1077944384 1979 0 0 0 64 0 0 0 20 0 20 0 3716504 13587718144 42951 33554432000 4194304 4196468 140725255473952 139978945280368 139979489786498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9996] ppid=9977 vsize=13269256 CPUtime=0.59 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9996/stat : 9996 (java) S 9977 9977 7411 0 -1 1077944384 2717 0 0 0 59 0 0 0 20 0 20 0 3716504 13587718144 42951 33554432000 4194304 4196468 140725255473952 139978944227568 139979489786498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9997] ppid=9977 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9997/stat : 9997 (java) S 9977 9977 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3716505 13587718144 42951 33554432000 4194304 4196468 140725255473952 139978943175520 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9998] ppid=9977 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9998/stat : 9998 (java) S 9977 9977 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3716505 13587718144 42951 33554432000 4194304 4196468 140725255473952 139978942122800 139979489786498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 Current children cumulated CPU time (s) 4.16 Current children cumulated vsize (KiB) 13278768 [startup+3.1012 s] /proc/loadavg: 15.45 15.42 14.43 13/292 9998 /proc/meminfo: memFree=30387096/32770624 swapFree=5860/234008 [pid=9977] ppid=9974 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/9977/stat : 9977 (xcsp3-exec) S 9974 9977 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3716495 9740288 346 33554432000 4194304 5098028 140735129850400 140735129848504 140502001623676 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 26619904 140735129859214 140735129859424 140735129859424 140735129862123 0 /proc/9977/statm: 2378 346 289 221 0 87 0 [pid=9978] ppid=9977 vsize=13803816 CPUtime=12.04 cores=0,2,4,6,8,10,12,14 /proc/9978/stat : 9978 (java) S 9977 9977 7411 0 -1 1077944320 28225 0 0 0 1150 54 0 0 20 0 28 0 3716496 14135107584 72984 33554432000 4194304 4196468 140725255473952 140725255456496 139979489775351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 /proc/9978/statm: 3450954 72984 3261 1 0 3438187 0 [pid=9978/tid=9979] ppid=9977 vsize=13803816 CPUtime=2.26 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9979/stat : 9979 (java) S 9977 9977 7411 0 -1 1077944384 9533 0 0 0 222 4 0 0 20 0 28 0 3716496 14135107584 72984 33554432000 4194304 4196468 140725255473952 139979494016128 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9981] ppid=9977 vsize=13803816 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9981/stat : 9981 (java) S 9977 9977 7411 0 -1 1077944384 77 0 0 0 4 5 0 0 20 0 28 0 3716497 14135107584 72984 33554432000 4194304 4196468 140725255473952 139979428739984 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9982] ppid=9977 vsize=13803816 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9982/stat : 9982 (java) S 9977 9977 7411 0 -1 1077944384 93 0 0 0 4 5 0 0 20 0 28 0 3716497 14135107584 72984 33554432000 4194304 4196468 140725255473952 139979427687184 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9983] ppid=9977 vsize=13803816 CPUtime=0.07 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9983/stat : 9983 (java) S 9977 9977 7411 0 -1 1077944384 66 0 0 0 3 4 0 0 20 0 28 0 3716497 14135107584 72984 33554432000 4194304 4196468 140725255473952 139979087371408 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9984] ppid=9977 vsize=13803816 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9984/stat : 9984 (java) S 9977 9977 7411 0 -1 1077944384 100 0 0 0 4 5 0 0 20 0 28 0 3716497 14135107584 72984 33554432000 4194304 4196468 140725255473952 139979086318608 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9985] ppid=9977 vsize=13803816 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9985/stat : 9985 (java) S 9977 9977 7411 0 -1 1077944384 179 0 0 0 5 4 0 0 20 0 28 0 3716497 14135107584 72984 33554432000 4194304 4196468 140725255473952 139979085265296 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9986] ppid=9977 vsize=13803816 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9986/stat : 9986 (java) S 9977 9977 7411 0 -1 1077944384 90 0 0 0 4 6 0 0 20 0 28 0 3716497 14135107584 72984 33554432000 4194304 4196468 140725255473952 139979084212496 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9987] ppid=9977 vsize=13803816 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9987/stat : 9987 (java) S 9977 9977 7411 0 -1 1077944384 106 0 0 0 4 5 0 0 20 0 28 0 3716497 14135107584 72984 33554432000 4194304 4196468 140725255473952 139979083160208 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9988] ppid=9977 vsize=13803816 CPUtime=0.07 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9988/stat : 9988 (java) S 9977 9977 7411 0 -1 1077944384 330 0 0 0 3 4 0 0 20 0 28 0 3716497 14135107584 72984 33554432000 4194304 4196468 140725255473952 139979082107408 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9989] ppid=9977 vsize=13803816 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9989/stat : 9989 (java) S 9977 9977 7411 0 -1 1077944384 171 0 0 0 0 1 0 0 20 0 28 0 3716499 14135107584 72984 33554432000 4194304 4196468 140725255473952 139978951596656 139979489786498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9990] ppid=9977 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9990/stat : 9990 (java) S 9977 9977 7411 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 3716500 14135107584 72984 33554432000 4194304 4196468 140725255473952 139978950542688 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9991] ppid=9977 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9991/stat : 9991 (java) S 9977 9977 7411 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3716500 14135107584 72984 33554432000 4194304 4196468 140725255473952 139978949490288 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9992] ppid=9977 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9992/stat : 9992 (java) S 9977 9977 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3716504 14135107584 72984 33554432000 4194304 4196468 140725255473952 139978948438608 139979489793947 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9993] ppid=9977 vsize=13803816 CPUtime=1.58 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9993/stat : 9993 (java) R 9977 9977 7411 0 -1 4202560 3898 0 0 0 156 2 0 0 20 0 28 0 3716504 14135107584 72984 33554432000 4194304 4196468 140725255473952 139978947371680 139979474883033 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9994] ppid=9977 vsize=13803816 CPUtime=1.58 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9994/stat : 9994 (java) R 9977 9977 7411 0 -1 4202560 4091 0 0 0 158 0 0 0 20 0 28 0 3716504 14135107584 72984 33554432000 4194304 4196468 140725255473952 139978946319200 139979469066479 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9995] ppid=9977 vsize=13803816 CPUtime=1.52 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9995/stat : 9995 (java) R 9977 9977 7411 0 -1 4202560 3293 0 0 0 152 0 0 0 20 0 28 0 3716504 14135107584 72984 33554432000 4194304 4196468 140725255473952 139978945270288 139979482871816 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9996] ppid=9977 vsize=13803816 CPUtime=1.01 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9996/stat : 9996 (java) S 9977 9977 7411 0 -1 1077944384 3865 0 0 0 100 1 0 0 20 0 28 0 3716504 14135107584 72984 33554432000 4194304 4196468 140725255473952 139978944227568 139979489786498 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9997] ppid=9977 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9997/stat : 9997 (java) S 9977 9977 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3716505 14135107584 72984 33554432000 4194304 4196468 140725255473952 139978943175520 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9998] ppid=9977 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9998/stat : 9998 (java) S 9977 9977 7411 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 3716505 14135107584 72984 33554432000 4194304 4196468 140725255473952 139978942122800 139979489786498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 Current children cumulated CPU time (s) 12.04 Current children cumulated vsize (KiB) 13813328 [startup+6.30121 s] /proc/loadavg: 15.01 15.33 14.41 20/299 12460 /proc/meminfo: memFree=30439452/32770624 swapFree=5860/234048 [pid=9977] ppid=9974 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/9977/stat : 9977 (xcsp3-exec) S 9974 9977 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3716495 9740288 346 33554432000 4194304 5098028 140735129850400 140735129848504 140502001623676 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 26619904 140735129859214 140735129859424 140735129859424 140735129862123 0 /proc/9977/statm: 2378 346 289 221 0 87 0 [pid=9978] ppid=9977 vsize=13936944 CPUtime=32.21 cores=0,2,4,6,8,10,12,14 /proc/9978/stat : 9978 (java) S 9977 9977 7411 0 -1 1077944320 56587 0 0 0 3091 130 0 0 20 0 28 0 3716496 14271430656 391314 33554432000 4194304 4196468 140725255473952 140725255456496 139979489775351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 /proc/9978/statm: 3484236 391314 3285 1 0 3471469 0 [pid=9978/tid=9979] ppid=9977 vsize=13936944 CPUtime=2.46 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9979/stat : 9979 (java) S 9977 9977 7411 0 -1 1077944384 9758 0 0 0 241 5 0 0 20 0 28 0 3716496 14271430656 391314 33554432000 4194304 4196468 140725255473952 139979494016016 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9981] ppid=9977 vsize=13936944 CPUtime=0.23 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9981/stat : 9981 (java) S 9977 9977 7411 0 -1 1077944384 135 0 0 0 13 10 0 0 20 0 28 0 3716497 14271430656 391314 33554432000 4194304 4196468 140725255473952 139979428739984 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9982] ppid=9977 vsize=13936944 CPUtime=0.21 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9982/stat : 9982 (java) S 9977 9977 7411 0 -1 1077944384 149 0 0 0 12 9 0 0 20 0 28 0 3716497 14271430656 391314 33554432000 4194304 4196468 140725255473952 139979427687184 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9983] ppid=9977 vsize=13936944 CPUtime=0.16 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9983/stat : 9983 (java) S 9977 9977 7411 0 -1 1077944384 115 0 0 0 10 6 0 0 20 0 28 0 3716497 14271430656 391314 33554432000 4194304 4196468 140725255473952 139979087371408 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9984] ppid=9977 vsize=13936944 CPUtime=0.2 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9984/stat : 9984 (java) S 9977 9977 7411 0 -1 1077944384 153 0 0 0 12 8 0 0 20 0 28 0 3716497 14271430656 391314 33554432000 4194304 4196468 140725255473952 139979086318608 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9985] ppid=9977 vsize=13936944 CPUtime=0.22 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9985/stat : 9985 (java) S 9977 9977 7411 0 -1 1077944384 303 0 0 0 14 8 0 0 20 0 28 0 3716497 14271430656 391314 33554432000 4194304 4196468 140725255473952 139979085265296 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9986] ppid=9977 vsize=13936944 CPUtime=0.21 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9986/stat : 9986 (java) S 9977 9977 7411 0 -1 1077944384 149 0 0 0 12 9 0 0 20 0 28 0 3716497 14271430656 391314 33554432000 4194304 4196468 140725255473952 139979084212496 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9987] ppid=9977 vsize=13936944 CPUtime=0.18 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9987/stat : 9987 (java) S 9977 9977 7411 0 -1 1077944384 146 0 0 0 11 7 0 0 20 0 28 0 3716497 14271430656 391314 33554432000 4194304 4196468 140725255473952 139979083160208 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9988] ppid=9977 vsize=13936944 CPUtime=0.19 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9988/stat : 9988 (java) S 9977 9977 7411 0 -1 1077944384 382 0 0 0 10 9 0 0 20 0 28 0 3716497 14271430656 391314 33554432000 4194304 4196468 140725255473952 139979082107408 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9989] ppid=9977 vsize=13936944 CPUtime=0.04 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9989/stat : 9989 (java) S 9977 9977 7411 0 -1 1077944384 1131 0 0 0 2 2 0 0 20 0 28 0 3716499 14271430656 391314 33554432000 4194304 4196468 140725255473952 139978951596656 139979489786498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9990] ppid=9977 vsize=13936944 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9990/stat : 9990 (java) S 9977 9977 7411 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 3716500 14271430656 391314 33554432000 4194304 4196468 140725255473952 139978950542688 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9991] ppid=9977 vsize=13936944 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9991/stat : 9991 (java) S 9977 9977 7411 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3716500 14271430656 391314 33554432000 4194304 4196468 140725255473952 139978949490288 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9992] ppid=9977 vsize=13936944 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9992/stat : 9992 (java) S 9977 9977 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3716504 14271430656 391314 33554432000 4194304 4196468 140725255473952 139978948438608 139979489793947 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 ################ # More data... # ################ [pid=9978/tid=12860] ppid=9977 vsize=13936944 CPUtime=244.69 cores=0,2,4,6,8,10,12,14 /proc/9978/task/12860/stat : 12860 (java) R 9977 9977 7411 0 -1 4202560 1003 0 0 0 24468 1 0 0 20 0 28 0 3720102 14271430656 811934 33554432000 4194304 4196468 140725255473952 139978923039840 139979110114950 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=12861] ppid=9977 vsize=13936944 CPUtime=245.63 cores=0,2,4,6,8,10,12,14 /proc/9978/task/12861/stat : 12861 (java) R 9977 9977 7411 0 -1 4202560 1187 0 0 0 24563 0 0 0 20 0 28 0 3720102 14271430656 811934 33554432000 4194304 4196468 140725255473952 139978934608232 139979117874283 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 Current children cumulated CPU time (s) 2228.26 Current children cumulated vsize (KiB) 13946456 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+303.902 s] /proc/loadavg: 16.03 15.81 14.87 17/301 12873 /proc/meminfo: memFree=25483272/32770624 swapFree=5860/234400 [pid=9977] ppid=9974 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/9977/stat : 9977 (xcsp3-exec) S 9974 9977 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3716495 9740288 346 33554432000 4194304 5098028 140735129850400 140735129848504 140502001623676 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 26619904 140735129859214 140735129859424 140735129859424 140735129862123 0 /proc/9977/statm: 2378 346 289 221 0 87 0 [pid=9978] ppid=9977 vsize=13936944 CPUtime=2400.12 cores=0,2,4,6,8,10,12,14 /proc/9978/stat : 9978 (java) S 9977 9977 7411 0 -1 1077944320 152560 0 0 0 239777 235 0 0 20 0 28 0 3716496 14271430656 800443 33554432000 4194304 4196468 140725255473952 140725255456496 139979489775351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 /proc/9978/statm: 3484236 800443 3288 1 0 3471469 0 [pid=9978/tid=9979] ppid=9977 vsize=13936944 CPUtime=2.46 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9979/stat : 9979 (java) S 9977 9977 7411 0 -1 1077944384 10477 0 0 0 241 5 0 0 20 0 28 0 3716496 14271430656 800443 33554432000 4194304 4196468 140725255473952 139979494016016 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9981] ppid=9977 vsize=13936944 CPUtime=0.38 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9981/stat : 9981 (java) S 9977 9977 7411 0 -1 1077944384 494 0 0 0 24 14 0 0 20 0 28 0 3716497 14271430656 800443 33554432000 4194304 4196468 140725255473952 139979428739984 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9982] ppid=9977 vsize=13936944 CPUtime=0.34 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9982/stat : 9982 (java) S 9977 9977 7411 0 -1 1077944384 797 0 0 0 22 12 0 0 20 0 28 0 3716497 14271430656 800443 33554432000 4194304 4196468 140725255473952 139979427687184 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9983] ppid=9977 vsize=13936944 CPUtime=0.3 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9983/stat : 9983 (java) S 9977 9977 7411 0 -1 1077944384 798 0 0 0 20 10 0 0 20 0 28 0 3716497 14271430656 800443 33554432000 4194304 4196468 140725255473952 139979087371408 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9984] ppid=9977 vsize=13936944 CPUtime=0.36 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9984/stat : 9984 (java) S 9977 9977 7411 0 -1 1077944384 1029 0 0 0 24 12 0 0 20 0 28 0 3716497 14271430656 800443 33554432000 4194304 4196468 140725255473952 139979086318608 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9985] ppid=9977 vsize=13936944 CPUtime=0.34 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9985/stat : 9985 (java) S 9977 9977 7411 0 -1 1077944384 637 0 0 0 23 11 0 0 20 0 28 0 3716497 14271430656 800443 33554432000 4194304 4196468 140725255473952 139979085265296 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9986] ppid=9977 vsize=13936944 CPUtime=0.35 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9986/stat : 9986 (java) S 9977 9977 7411 0 -1 1077944384 1175 0 0 0 22 13 0 0 20 0 28 0 3716497 14271430656 800443 33554432000 4194304 4196468 140725255473952 139979084212496 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9987] ppid=9977 vsize=13936944 CPUtime=0.33 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9987/stat : 9987 (java) S 9977 9977 7411 0 -1 1077944384 968 0 0 0 22 11 0 0 20 0 28 0 3716497 14271430656 800443 33554432000 4194304 4196468 140725255473952 139979083160208 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9988] ppid=9977 vsize=13936944 CPUtime=0.31 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9988/stat : 9988 (java) S 9977 9977 7411 0 -1 1077944384 866 0 0 0 19 12 0 0 20 0 28 0 3716497 14271430656 800443 33554432000 4194304 4196468 140725255473952 139979082107408 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9989] ppid=9977 vsize=13936944 CPUtime=0.22 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9989/stat : 9989 (java) S 9977 9977 7411 0 -1 1077944384 5234 0 0 0 9 13 0 0 20 0 28 0 3716499 14271430656 800443 33554432000 4194304 4196468 140725255473952 139978951596656 139979489786498 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9990] ppid=9977 vsize=13936944 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9990/stat : 9990 (java) S 9977 9977 7411 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 3716500 14271430656 800443 33554432000 4194304 4196468 140725255473952 139978950542688 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9991] ppid=9977 vsize=13936944 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9991/stat : 9991 (java) S 9977 9977 7411 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3716500 14271430656 800443 33554432000 4194304 4196468 140725255473952 139978949490288 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9992] ppid=9977 vsize=13936944 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9992/stat : 9992 (java) S 9977 9977 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3716504 14271430656 800443 33554432000 4194304 4196468 140725255473952 139978948438608 139979489793947 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9993] ppid=9977 vsize=13936944 CPUtime=5.26 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9993/stat : 9993 (java) S 9977 9977 7411 0 -1 1077944384 14782 0 0 0 523 3 0 0 20 0 28 0 3716504 14271430656 800443 33554432000 4194304 4196468 140725255473952 139978947385456 139979489786498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9994] ppid=9977 vsize=13936944 CPUtime=5.49 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9994/stat : 9994 (java) S 9977 9977 7411 0 -1 1077944384 19977 0 0 0 547 2 0 0 20 0 28 0 3716504 14271430656 800443 33554432000 4194304 4196468 140725255473952 139978946332656 139979489786498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9995] ppid=9977 vsize=13936944 CPUtime=4.9 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9995/stat : 9995 (java) S 9977 9977 7411 0 -1 1077944384 15754 0 0 0 488 2 0 0 20 0 28 0 3716504 14271430656 800443 33554432000 4194304 4196468 140725255473952 139978945280368 139979489786498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9996] ppid=9977 vsize=13936944 CPUtime=1.55 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9996/stat : 9996 (java) S 9977 9977 7411 0 -1 1077944384 10208 0 0 0 153 2 0 0 20 0 28 0 3716504 14271430656 800443 33554432000 4194304 4196468 140725255473952 139978944227568 139979489786498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9997] ppid=9977 vsize=13936944 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9997/stat : 9997 (java) S 9977 9977 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3716505 14271430656 800443 33554432000 4194304 4196468 140725255473952 139978943175520 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9998] ppid=9977 vsize=13936944 CPUtime=0.16 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9998/stat : 9998 (java) S 9977 9977 7411 0 -1 1077944384 1687 0 0 0 6 10 0 0 20 0 28 0 3716505 14271430656 800443 33554432000 4194304 4196468 140725255473952 139978942122800 139979489786498 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=12854] ppid=9977 vsize=13936944 CPUtime=265.83 cores=0,2,4,6,8,10,12,14 /proc/9978/task/12854/stat : 12854 (java) R 9977 9977 7411 0 -1 4202560 2457 0 0 0 26580 3 0 0 20 0 28 0 3720102 14271430656 800443 33554432000 4194304 4196468 140725255473952 139978929344024 139979118206351 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=12855] ppid=9977 vsize=13936944 CPUtime=264.52 cores=0,2,4,6,8,10,12,14 /proc/9978/task/12855/stat : 12855 (java) R 9977 9977 7411 0 -1 4202560 1909 0 0 0 26449 3 0 0 20 0 28 0 3720102 14271430656 800443 33554432000 4194304 4196468 140725255473952 139978928295296 139979117873562 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=12856] ppid=9977 vsize=13936944 CPUtime=265.93 cores=0,2,4,6,8,10,12,14 /proc/9978/task/12856/stat : 12856 (java) R 9977 9977 7411 0 -1 4202560 1409 0 0 0 26592 1 0 0 20 0 28 0 3720102 14271430656 800443 33554432000 4194304 4196468 140725255473952 139978933555048 139979108998551 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=12857] ppid=9977 vsize=13936944 CPUtime=266.49 cores=0,2,4,6,8,10,12,14 /proc/9978/task/12857/stat : 12857 (java) R 9977 9977 7411 0 -1 4202560 14719 0 0 0 26624 25 0 0 20 0 28 0 3720102 14271430656 800443 33554432000 4194304 4196468 140725255473952 139978930396808 139979110206961 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=12858] ppid=9977 vsize=13936944 CPUtime=267.17 cores=0,2,4,6,8,10,12,14 /proc/9978/task/12858/stat : 12858 (java) R 9977 9977 7411 0 -1 4202560 1432 0 0 0 26717 0 0 0 20 0 28 0 3720102 14271430656 800443 33554432000 4194304 4196468 140725255473952 139978924089688 139979117342855 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=12859] ppid=9977 vsize=13936944 CPUtime=266.6 cores=0,2,4,6,8,10,12,14 /proc/9978/task/12859/stat : 12859 (java) R 9977 9977 7411 0 -1 4202560 3886 0 0 0 26657 3 0 0 20 0 28 0 3720102 14271430656 800443 33554432000 4194304 4196468 140725255473952 139978931450088 139979110100837 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=12860] ppid=9977 vsize=13936944 CPUtime=266.21 cores=0,2,4,6,8,10,12,14 /proc/9978/task/12860/stat : 12860 (java) R 9977 9977 7411 0 -1 4202560 1041 0 0 0 26620 1 0 0 20 0 28 0 3720102 14271430656 800443 33554432000 4194304 4196468 140725255473952 139978923036512 139979110114288 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=12861] ppid=9977 vsize=13936944 CPUtime=267.14 cores=0,2,4,6,8,10,12,14 /proc/9978/task/12861/stat : 12861 (java) R 9977 9977 7411 0 -1 4202560 1259 0 0 0 26714 0 0 0 20 0 28 0 3720102 14271430656 800443 33554432000 4194304 4196468 140725255473952 139978934608344 139979117739344 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 Current children cumulated CPU time (s) 2400.12 Current children cumulated vsize (KiB) 13946456 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 9978 sig 9 ??? kill 9977 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+303.902 s] /proc/loadavg: 16.03 15.81 14.87 17/301 12873 /proc/meminfo: memFree=25483272/32770624 swapFree=5860/234400 [pid=9977] ppid=9974 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/9977/stat : 9977 (xcsp3-exec) S 9974 9977 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3716495 9740288 346 33554432000 4194304 5098028 140735129850400 140735129848504 140502001623676 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 26619904 140735129859214 140735129859424 140735129859424 140735129862123 0 /proc/9977/statm: 2378 346 289 221 0 87 0 [pid=9978] ppid=9977 vsize=13936944 CPUtime=2400.12 cores=0,2,4,6,8,10,12,14 /proc/9978/stat : 9978 (java) S 9977 9977 7411 0 -1 1077944320 152560 0 0 0 239777 235 0 0 20 0 28 0 3716496 14271430656 800443 33554432000 4194304 4196468 140725255473952 140725255456496 139979489775351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 /proc/9978/statm: 3484236 800443 3288 1 0 3471469 0 [pid=9978/tid=9979] ppid=9977 vsize=13936944 CPUtime=2.46 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9979/stat : 9979 (java) S 9977 9977 7411 0 -1 1077944384 10477 0 0 0 241 5 0 0 20 0 28 0 3716496 14271430656 800443 33554432000 4194304 4196468 140725255473952 139979494016016 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9981] ppid=9977 vsize=13936944 CPUtime=0.38 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9981/stat : 9981 (java) S 9977 9977 7411 0 -1 1077944384 494 0 0 0 24 14 0 0 20 0 28 0 3716497 14271430656 800443 33554432000 4194304 4196468 140725255473952 139979428739984 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9982] ppid=9977 vsize=13936944 CPUtime=0.34 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9982/stat : 9982 (java) S 9977 9977 7411 0 -1 1077944384 797 0 0 0 22 12 0 0 20 0 28 0 3716497 14271430656 800443 33554432000 4194304 4196468 140725255473952 139979427687184 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9983] ppid=9977 vsize=13936944 CPUtime=0.3 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9983/stat : 9983 (java) S 9977 9977 7411 0 -1 1077944384 798 0 0 0 20 10 0 0 20 0 28 0 3716497 14271430656 800443 33554432000 4194304 4196468 140725255473952 139979087371408 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9984] ppid=9977 vsize=13936944 CPUtime=0.36 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9984/stat : 9984 (java) S 9977 9977 7411 0 -1 1077944384 1029 0 0 0 24 12 0 0 20 0 28 0 3716497 14271430656 800443 33554432000 4194304 4196468 140725255473952 139979086318608 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9985] ppid=9977 vsize=13936944 CPUtime=0.34 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9985/stat : 9985 (java) S 9977 9977 7411 0 -1 1077944384 637 0 0 0 23 11 0 0 20 0 28 0 3716497 14271430656 800443 33554432000 4194304 4196468 140725255473952 139979085265296 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9986] ppid=9977 vsize=13936944 CPUtime=0.35 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9986/stat : 9986 (java) S 9977 9977 7411 0 -1 1077944384 1175 0 0 0 22 13 0 0 20 0 28 0 3716497 14271430656 800443 33554432000 4194304 4196468 140725255473952 139979084212496 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9987] ppid=9977 vsize=13936944 CPUtime=0.33 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9987/stat : 9987 (java) S 9977 9977 7411 0 -1 1077944384 968 0 0 0 22 11 0 0 20 0 28 0 3716497 14271430656 800443 33554432000 4194304 4196468 140725255473952 139979083160208 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9988] ppid=9977 vsize=13936944 CPUtime=0.31 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9988/stat : 9988 (java) S 9977 9977 7411 0 -1 1077944384 866 0 0 0 19 12 0 0 20 0 28 0 3716497 14271430656 800443 33554432000 4194304 4196468 140725255473952 139979082107408 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9989] ppid=9977 vsize=13936944 CPUtime=0.22 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9989/stat : 9989 (java) S 9977 9977 7411 0 -1 1077944384 5234 0 0 0 9 13 0 0 20 0 28 0 3716499 14271430656 800443 33554432000 4194304 4196468 140725255473952 139978951596656 139979489786498 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9990] ppid=9977 vsize=13936944 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9990/stat : 9990 (java) S 9977 9977 7411 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 3716500 14271430656 800443 33554432000 4194304 4196468 140725255473952 139978950542688 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9991] ppid=9977 vsize=13936944 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9991/stat : 9991 (java) S 9977 9977 7411 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3716500 14271430656 800443 33554432000 4194304 4196468 140725255473952 139978949490288 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9992] ppid=9977 vsize=13936944 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9992/stat : 9992 (java) S 9977 9977 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3716504 14271430656 800443 33554432000 4194304 4196468 140725255473952 139978948438608 139979489793947 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9993] ppid=9977 vsize=13936944 CPUtime=5.26 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9993/stat : 9993 (java) S 9977 9977 7411 0 -1 1077944384 14782 0 0 0 523 3 0 0 20 0 28 0 3716504 14271430656 800443 33554432000 4194304 4196468 140725255473952 139978947385456 139979489786498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9994] ppid=9977 vsize=13936944 CPUtime=5.49 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9994/stat : 9994 (java) S 9977 9977 7411 0 -1 1077944384 19977 0 0 0 547 2 0 0 20 0 28 0 3716504 14271430656 800443 33554432000 4194304 4196468 140725255473952 139978946332656 139979489786498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9995] ppid=9977 vsize=13936944 CPUtime=4.9 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9995/stat : 9995 (java) S 9977 9977 7411 0 -1 1077944384 15754 0 0 0 488 2 0 0 20 0 28 0 3716504 14271430656 800443 33554432000 4194304 4196468 140725255473952 139978945280368 139979489786498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9996] ppid=9977 vsize=13936944 CPUtime=1.55 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9996/stat : 9996 (java) S 9977 9977 7411 0 -1 1077944384 10208 0 0 0 153 2 0 0 20 0 28 0 3716504 14271430656 800443 33554432000 4194304 4196468 140725255473952 139978944227568 139979489786498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9997] ppid=9977 vsize=13936944 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9997/stat : 9997 (java) S 9977 9977 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3716505 14271430656 800443 33554432000 4194304 4196468 140725255473952 139978943175520 139979489785557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=9998] ppid=9977 vsize=13936944 CPUtime=0.16 cores=0,2,4,6,8,10,12,14 /proc/9978/task/9998/stat : 9998 (java) S 9977 9977 7411 0 -1 1077944384 1687 0 0 0 6 10 0 0 20 0 28 0 3716505 14271430656 800443 33554432000 4194304 4196468 140725255473952 139978942122800 139979489786498 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=12854] ppid=9977 vsize=13936944 CPUtime=265.83 cores=0,2,4,6,8,10,12,14 /proc/9978/task/12854/stat : 12854 (java) R 9977 9977 7411 0 -1 4202560 2457 0 0 0 26580 3 0 0 20 0 28 0 3720102 14271430656 800443 33554432000 4194304 4196468 140725255473952 139978929344024 139979118206351 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=12855] ppid=9977 vsize=13936944 CPUtime=264.52 cores=0,2,4,6,8,10,12,14 /proc/9978/task/12855/stat : 12855 (java) R 9977 9977 7411 0 -1 4202560 1909 0 0 0 26449 3 0 0 20 0 28 0 3720102 14271430656 800443 33554432000 4194304 4196468 140725255473952 139978928295296 139979117873562 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=12856] ppid=9977 vsize=13936944 CPUtime=265.93 cores=0,2,4,6,8,10,12,14 /proc/9978/task/12856/stat : 12856 (java) R 9977 9977 7411 0 -1 4202560 1409 0 0 0 26592 1 0 0 20 0 28 0 3720102 14271430656 800443 33554432000 4194304 4196468 140725255473952 139978933555048 139979108998551 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=12857] ppid=9977 vsize=13936944 CPUtime=266.49 cores=0,2,4,6,8,10,12,14 /proc/9978/task/12857/stat : 12857 (java) R 9977 9977 7411 0 -1 4202560 14719 0 0 0 26624 25 0 0 20 0 28 0 3720102 14271430656 800443 33554432000 4194304 4196468 140725255473952 139978930396808 139979110206961 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=12858] ppid=9977 vsize=13936944 CPUtime=267.17 cores=0,2,4,6,8,10,12,14 /proc/9978/task/12858/stat : 12858 (java) R 9977 9977 7411 0 -1 4202560 1432 0 0 0 26717 0 0 0 20 0 28 0 3720102 14271430656 800443 33554432000 4194304 4196468 140725255473952 139978924089688 139979117342855 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=12859] ppid=9977 vsize=13936944 CPUtime=266.6 cores=0,2,4,6,8,10,12,14 /proc/9978/task/12859/stat : 12859 (java) R 9977 9977 7411 0 -1 4202560 3886 0 0 0 26657 3 0 0 20 0 28 0 3720102 14271430656 800443 33554432000 4194304 4196468 140725255473952 139978931450088 139979110100837 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=12860] ppid=9977 vsize=13936944 CPUtime=266.21 cores=0,2,4,6,8,10,12,14 /proc/9978/task/12860/stat : 12860 (java) R 9977 9977 7411 0 -1 4202560 1041 0 0 0 26620 1 0 0 20 0 28 0 3720102 14271430656 800443 33554432000 4194304 4196468 140725255473952 139978923036512 139979110114288 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 [pid=9978/tid=12861] ppid=9977 vsize=13936944 CPUtime=267.14 cores=0,2,4,6,8,10,12,14 /proc/9978/task/12861/stat : 12861 (java) R 9977 9977 7411 0 -1 4202560 1259 0 0 0 26714 0 0 0 20 0 28 0 3720102 14271430656 800443 33554432000 4194304 4196468 140725255473952 139978934608344 139979117739344 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31404032 140725255476412 140725255476588 140725255476588 140725255479247 0 Current children cumulated CPU time (s) 2400.12 Current children cumulated vsize (KiB) 13946456 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 9977 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=791 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=2375 # CPU time returned by wait4() is 0.003166 # while last known CPU time is 2400.12 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 303.913 CPU time (s): 2400.12 CPU user time (s): 2397.77 CPU system time (s): 2.35 CPU usage (%): 789.74 Max. virtual memory (cumulated for all children) (KiB): 13948600 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.000791 system time used= 0.002375 maximum resident set size= 1388 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 518 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 2 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 3.83779 second user time and 4.33667 second system time The end
Begin job on node131 at 2017-07-22 02:48:11 IDJOB=4244740 IDBENCH=115885 IDSOLVER=2626 FILE ID=node131/4244740-1500684491 RUNJOBID= node131-1500682620-7801 PBS_JOBID= 20623041 Free space on /tmp= 62012 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-24.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4244740-1500684491/watcher-4244740-1500684491 -o /tmp/evaluation-result-4244740-1500684491/solver-4244740-1500684491 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500682620-7801 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1120652725 HOME/instance-4244740-1500684491.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= e0f1e7fd363778103a4292aa9d177ae8 RANDOM SEED=1120652725 node131.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5334.06 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 : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5334.06 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 : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5334.06 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 : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5334.06 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 : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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 : 5334.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 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 : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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 : 5334.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 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 : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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 : 5334.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 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 : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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 : 5334.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 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 : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 30604396 kB MemAvailable: 30642364 kB Buffers: 45980 kB Cached: 303276 kB SwapCached: 0 kB Active: 1550028 kB Inactive: 242640 kB Active(anon): 1446144 kB Inactive(anon): 8680 kB Active(file): 103884 kB Inactive(file): 233960 kB Unevictable: 5860 kB Mlocked: 5860 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7728 kB Writeback: 8 kB AnonPages: 1448624 kB Mapped: 42400 kB Shmem: 8844 kB Slab: 65432 kB SReclaimable: 31916 kB SUnreclaim: 33516 kB KernelStack: 4656 kB PageTables: 8708 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2715204 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1275904 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 62004 MiB End job on node131 at 2017-07-22 02:53:15