Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-07-26) | SAT (TO) | 269 | 1920.4 | 243.132 |
Name | StillLife/StillLife-wst-s1/ StillLife-wastage-24.xml |
MD5SUM | e0f1e7fd363778103a4292aa9d177ae8 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 289 |
Best CPU time to get the best result obtained on this benchmark | 251.842 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1379 |
Number of constraints | 824 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 1353 |
Distribution of domain sizes | [{"size":2,"count":676},{"size":3,"count":676},{"size":577,"count":1},{"size":1353,"count":26}] |
Minimum variable degree | 1 |
Maximum variable degree | 27 |
Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":673},{"degree":3,"count":29},{"degree":4,"count":96},{"degree":8,"count":92},{"degree":9,"count":484},{"degree":27,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 28 |
Distribution of constraint arities | [{"arity":2,"count":122},{"arity":3,"count":96},{"arity":10,"count":576},{"arity":26,"count":4},{"arity":27,"count":1},{"arity":28,"count":25}] |
Number of extensional constraints | 672 |
Number of intensional constraints | 121 |
Distribution of constraint types | [{"type":"extension","count":672},{"type":"intension","count":121},{"type":"sum","count":27},{"type":"instantiation","count":4}] |
Optimization problem | YES |
Type of objective | max VAR |
0.00/0.07 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254840-1501678883.xml" -tl '1920s' -p 8 -x 0 0.00/0.26 c [HOME/instance-4254840-1501678883.xml, -tl, 1920s, -p, 8, -x, 0] 0.00/0.32 c 8 solvers in parallel 0.00/0.39 c parse instance... 6.21/2.27 c solve instance... 9.45/2.75 o 0 10.22/2.81 o 4 10.22/2.82 o 10 10.94/2.96 o 12 11.86/3.19 o 13 12.33/3.21 o 14 12.33/3.22 o 15 12.33/3.24 o 16 12.33/3.25 o 17 12.33/3.26 o 18 12.33/3.27 o 19 12.33/3.29 o 20 13.00/3.30 o 21 13.00/3.32 o 22 13.00/3.33 o 23 13.00/3.34 o 24 13.00/3.36 o 25 13.00/3.37 o 26 13.00/3.38 o 27 13.00/3.40 o 28 13.67/3.41 o 29 13.67/3.45 o 30 13.67/3.45 o 31 13.67/3.46 o 32 13.67/3.46 o 33 13.67/3.47 o 34 13.67/3.49 o 35 14.32/3.50 o 36 14.92/3.65 o 37 14.92/3.65 o 38 14.92/3.65 o 39 14.92/3.65 o 40 14.92/3.65 o 41 14.92/3.65 o 42 14.92/3.65 o 43 14.92/3.65 o 44 14.92/3.65 o 45 14.92/3.65 o 46 14.92/3.65 o 47 14.92/3.65 o 48 14.92/3.65 o 49 14.92/3.65 o 50 14.92/3.65 o 51 14.92/3.65 o 52 14.92/3.65 o 53 14.92/3.65 o 54 14.92/3.65 o 55 14.92/3.65 o 56 14.92/3.65 o 57 14.92/3.65 o 58 14.92/3.65 o 59 14.92/3.66 o 60 14.92/3.67 o 61 14.92/3.68 o 62 14.92/3.68 o 63 14.92/3.68 o 64 14.92/3.69 o 65 14.92/3.69 o 66 14.92/3.69 o 67 15.52/3.70 o 68 15.52/3.70 o 69 15.52/3.70 o 70 15.52/3.71 o 71 15.52/3.71 o 72 15.52/3.72 o 73 15.52/3.73 o 74 15.52/3.73 o 75 15.52/3.73 o 76 15.52/3.74 o 77 15.52/3.74 o 78 15.52/3.75 o 79 15.52/3.75 o 80 15.52/3.76 o 81 15.52/3.77 o 82 15.52/3.77 o 83 15.52/3.78 o 84 15.52/3.78 o 85 15.52/3.79 o 86 15.52/3.79 o 87 15.52/3.80 o 88 16.11/3.80 o 89 16.11/3.81 o 90 16.11/3.81 o 91 16.11/3.82 o 92 16.11/3.82 o 93 16.11/3.83 o 94 16.11/3.86 o 95 16.11/3.87 o 96 16.11/3.89 o 97 16.11/3.90 o 98 16.78/3.90 o 99 16.78/3.91 o 100 16.78/3.92 o 101 16.78/3.92 o 102 16.78/3.92 o 103 16.78/3.93 o 104 16.78/3.94 o 105 16.78/3.94 o 106 16.78/3.95 o 107 16.78/3.95 o 108 16.78/3.96 o 109 16.78/3.96 o 110 16.78/3.99 o 111 16.78/3.99 o 112 16.78/3.99 o 113 17.46/4.00 o 114 17.46/4.00 o 115 17.46/4.01 o 116 17.46/4.02 o 117 17.46/4.04 o 118 17.46/4.04 o 119 17.46/4.04 o 120 17.46/4.05 o 121 17.46/4.05 o 122 17.46/4.06 o 123 17.46/4.06 o 124 17.46/4.06 o 125 17.46/4.07 o 126 17.46/4.07 o 127 17.46/4.08 o 128 17.46/4.08 o 129 17.46/4.09 o 130 17.46/4.09 o 131 18.08/4.10 o 132 18.08/4.11 o 133 18.08/4.11 o 134 18.08/4.11 o 135 18.08/4.12 o 136 18.08/4.12 o 137 18.08/4.13 o 138 18.08/4.13 o 139 18.08/4.14 o 140 18.08/4.14 o 141 18.08/4.16 o 142 18.08/4.17 o 143 18.08/4.17 o 144 18.08/4.18 o 145 18.08/4.18 o 146 18.08/4.19 o 147 18.08/4.19 o 148 18.08/4.19 o 149 18.08/4.20 o 150 18.64/4.21 o 151 18.64/4.21 o 152 18.64/4.22 o 153 18.64/4.22 o 154 18.64/4.22 o 155 18.64/4.23 o 156 18.64/4.23 o 157 18.64/4.24 o 158 18.64/4.25 o 159 18.64/4.28 o 160 18.64/4.29 o 161 19.26/4.30 o 162 19.26/4.30 o 163 19.26/4.31 o 164 19.26/4.31 o 165 19.26/4.32 o 166 19.26/4.33 o 167 19.26/4.33 o 168 19.26/4.34 o 169 19.26/4.34 o 170 19.26/4.35 o 171 19.26/4.35 o 172 19.26/4.36 o 173 19.26/4.37 o 174 19.26/4.37 o 175 19.26/4.38 o 176 19.26/4.38 o 177 19.26/4.39 o 178 19.26/4.39 o 179 19.26/4.40 o 180 19.76/4.40 o 181 19.76/4.41 o 182 19.76/4.42 o 183 19.76/4.42 o 184 19.76/4.43 o 185 19.76/4.43 o 186 19.76/4.44 o 187 19.76/4.44 o 188 19.76/4.45 o 189 19.76/4.46 o 190 19.76/4.46 o 191 19.76/4.50 o 192 19.76/4.51 o 193 20.28/4.51 o 194 20.28/4.53 o 195 20.28/4.54 o 196 20.69/4.66 o 197 20.69/4.67 o 198 20.69/4.68 o 199 20.69/4.69 o 200 20.69/4.69 o 201 20.69/4.70 o 202 20.99/4.70 o 203 20.99/4.71 o 204 20.99/4.71 o 205 20.99/4.72 o 206 20.99/4.72 o 207 20.99/4.73 o 208 20.99/4.73 o 209 20.99/4.74 o 210 20.99/4.74 o 211 20.99/4.75 o 212 20.99/4.75 o 213 20.99/4.78 o 214 21.61/4.82 o 215 21.61/4.83 o 216 21.61/4.83 o 217 21.61/4.84 o 218 21.61/4.84 o 219 21.61/4.85 o 220 21.61/4.85 o 221 21.61/4.86 o 222 21.61/4.86 o 223 21.61/4.87 o 224 21.61/4.88 o 225 21.61/4.88 o 226 21.61/4.89 o 227 21.61/4.89 o 228 22.23/4.90 o 229 22.23/4.91 o 230 22.23/4.91 o 231 22.23/4.91 o 232 22.23/4.92 o 233 22.23/4.93 o 234 22.23/4.93 o 235 22.23/4.94 o 236 22.23/4.94 o 237 22.23/4.95 o 238 22.23/4.95 o 239 22.23/4.96 o 240 22.23/4.97 o 241 22.23/4.97 o 242 22.23/4.98 o 243 22.23/4.98 o 244 22.23/4.99 o 245 22.23/4.99 o 246 22.23/5.00 o 247 22.75/5.00 o 248 22.75/5.01 o 249 22.75/5.01 o 250 22.75/5.02 o 251 22.75/5.02 o 252 22.75/5.03 o 253 22.75/5.03 o 254 22.75/5.04 o 255 22.75/5.05 o 256 22.75/5.05 o 257 22.75/5.06 o 258 22.75/5.06 o 259 22.75/5.07 o 260 22.75/5.07 o 261 26.58/5.56 o 262 27.60/5.70 o 263 33.16/6.48 o 264 34.57/6.62 o 265 77.51/12.09 o 266 89.01/13.51 o 267 129.94/18.71 o 268 1284.75/163.47 o 269 1920.40/243.17 s SATISFIABLE 1920.40/243.17 v <instantiation> 1920.40/243.17 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> 1920.40/243.17 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 1 1 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 1 0 1 0 1 0 1 1 0 0 0 1 1 1 0 0 1 1 1 1 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 0 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 2 1 1 2 1 1 2 1 1 2 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 1 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 1 1 0 0 0 1 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 2 1 0 0 0 2 2 1 1 1 0 0 0 0 0 2 0 0 0 0 0 0 0 1 0 1 1 1 0 0 1 1 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 0 8 10 12 23 24 25 53 61 64 67 69 73 90 95 98 102 105 111 122 124 129 136 137 143 158 172 269 </values> 1920.40/243.17 v </instantiation> 1920.40/243.17 c Unexpected resolution interruption!
OK 269
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-4254840-1501678883/watcher-4254840-1501678883 -o /tmp/evaluation-result-4254840-1501678883/solver-4254840-1501678883 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node132-1501676530-13487 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 764128931 HOME/instance-4254840-1501678883.xml pid=14804 running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1920 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1950 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 8.39 8.30 6.72 2/177 14807 /proc/meminfo: memFree=31690300/32770624 swapFree=0/297524 [pid=14807] ppid=14804 vsize=23672 CPUtime=0 cores=0-7 /proc/14807/stat : 14807 (runsolver) D 14804 14807 13431 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 67541802 24240128 108 18446744073709551615 4194304 4338465 140722339241616 140722339239256 139789860954839 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 33878016 140722339246162 140722339246658 140722339246658 140722339250122 0 /proc/14807/statm: 5918 108 54 36 0 2156 0 [startup+0.100152 s] /proc/loadavg: 8.39 8.30 6.72 2/177 14807 /proc/meminfo: memFree=31690300/32770624 swapFree=0/297524 [pid=14807] ppid=14804 vsize=9512 CPUtime=0 cores=0-7 /proc/14807/stat : 14807 (xcsp3-exec) S 14804 14807 13431 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 67541802 9740288 345 18446744073709551615 4194304 5098028 140735251925552 140735251923656 139644592968316 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 9129984 140735251931538 140735251931747 140735251931747 140735251935211 0 /proc/14807/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200288 s] /proc/loadavg: 8.39 8.30 6.72 2/177 14807 /proc/meminfo: memFree=31690300/32770624 swapFree=0/297524 [pid=14807] ppid=14804 vsize=9512 CPUtime=0 cores=0-7 /proc/14807/stat : 14807 (xcsp3-exec) S 14804 14807 13431 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 67541802 9740288 345 18446744073709551615 4194304 5098028 140735251925552 140735251923656 139644592968316 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 9129984 140735251931538 140735251931747 140735251931747 140735251935211 0 /proc/14807/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300293 s] /proc/loadavg: 8.39 8.30 6.72 2/177 14807 /proc/meminfo: memFree=31690300/32770624 swapFree=0/297524 [pid=14807] ppid=14804 vsize=9512 CPUtime=0 cores=0-7 /proc/14807/stat : 14807 (xcsp3-exec) S 14804 14807 13431 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 67541802 9740288 345 18446744073709551615 4194304 5098028 140735251925552 140735251923656 139644592968316 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 9129984 140735251931538 140735251931747 140735251931747 140735251935211 0 /proc/14807/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700227 s] /proc/loadavg: 8.39 8.30 6.72 2/177 14807 /proc/meminfo: memFree=31690300/32770624 swapFree=0/297524 [pid=14807] ppid=14804 vsize=9512 CPUtime=0 cores=0-7 /proc/14807/stat : 14807 (xcsp3-exec) S 14804 14807 13431 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 67541802 9740288 345 18446744073709551615 4194304 5098028 140735251925552 140735251923656 139644592968316 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 9129984 140735251931538 140735251931747 140735251931747 140735251935211 0 /proc/14807/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50086 s] /proc/loadavg: 8.39 8.30 6.72 5/198 14828 /proc/meminfo: memFree=31593636/32770624 swapFree=0/297260 [pid=14807] ppid=14804 vsize=9512 CPUtime=0 cores=0-7 /proc/14807/stat : 14807 (xcsp3-exec) S 14804 14807 13431 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 67541802 9740288 345 18446744073709551615 4194304 5098028 140735251925552 140735251923656 139644592968316 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 9129984 140735251931538 140735251931747 140735251931747 140735251935211 0 /proc/14807/statm: 2378 345 289 221 0 87 0 [pid=14809] ppid=14807 vsize=26001944 CPUtime=3.93 cores=0-7 /proc/14809/stat : 14809 (java) S 14807 14807 13431 0 -1 1077944320 22334 0 0 0 383 10 0 0 20 0 20 0 67541809 26625990656 41180 18446744073709551615 4194304 4196468 140723348110496 140723348093040 140238231432951 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 /proc/14809/statm: 6500486 41180 3191 1 0 6488787 0 [pid=14809/tid=14810] ppid=14807 vsize=26001944 CPUtime=1.35 cores=0-7 /proc/14809/task/14810/stat : 14810 (java) R 14807 14807 13431 0 -1 4202560 10097 0 0 0 130 5 0 0 20 0 20 0 67541810 26625990656 41180 18446744073709551615 4194304 4196468 140723348110496 140238235669408 140237877510219 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14811] ppid=14807 vsize=26001944 CPUtime=0 cores=0-7 /proc/14809/task/14811/stat : 14811 (java) S 14807 14807 13431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 67541810 26625990656 41180 18446744073709551615 4194304 4196468 140723348110496 140237793942544 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14812] ppid=14807 vsize=26001944 CPUtime=0 cores=0-7 /proc/14809/task/14812/stat : 14812 (java) S 14807 14807 13431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 67541810 26625990656 41180 18446744073709551615 4194304 4196468 140723348110496 140237792890000 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14813] ppid=14807 vsize=26001944 CPUtime=0 cores=0-7 /proc/14809/task/14813/stat : 14813 (java) S 14807 14807 13431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 67541810 26625990656 41180 18446744073709551615 4194304 4196468 140723348110496 140237791836944 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14814] ppid=14807 vsize=26001944 CPUtime=0 cores=0-7 /proc/14809/task/14814/stat : 14814 (java) S 14807 14807 13431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 67541810 26625990656 41180 18446744073709551615 4194304 4196468 140723348110496 140237790784400 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14815] ppid=14807 vsize=26001944 CPUtime=0 cores=0-7 /proc/14809/task/14815/stat : 14815 (java) S 14807 14807 13431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 67541810 26625990656 41180 18446744073709551615 4194304 4196468 140723348110496 140237789731344 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14816] ppid=14807 vsize=26001944 CPUtime=0 cores=0-7 /proc/14809/task/14816/stat : 14816 (java) S 14807 14807 13431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 67541810 26625990656 41180 18446744073709551615 4194304 4196468 140723348110496 140237788678800 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14817] ppid=14807 vsize=26001944 CPUtime=0 cores=0-7 /proc/14809/task/14817/stat : 14817 (java) S 14807 14807 13431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 67541810 26625990656 41180 18446744073709551615 4194304 4196468 140723348110496 140237787625744 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14818] ppid=14807 vsize=26001944 CPUtime=0 cores=0-7 /proc/14809/task/14818/stat : 14818 (java) S 14807 14807 13431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 67541810 26625990656 41180 18446744073709551615 4194304 4196468 140723348110496 140237786573200 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14819] ppid=14807 vsize=26001944 CPUtime=0 cores=0-7 /proc/14809/task/14819/stat : 14819 (java) S 14807 14807 13431 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 20 0 67541812 26625990656 41180 18446744073709551615 4194304 4196468 140723348110496 140236843457264 140238231444098 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14820] ppid=14807 vsize=26001944 CPUtime=0 cores=0-7 /proc/14809/task/14820/stat : 14820 (java) S 14807 14807 13431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 67541812 26625990656 41180 18446744073709551615 4194304 4196468 140723348110496 140236842403488 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14821] ppid=14807 vsize=26001944 CPUtime=0 cores=0-7 /proc/14809/task/14821/stat : 14821 (java) S 14807 14807 13431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 67541812 26625990656 41180 18446744073709551615 4194304 4196468 140723348110496 140236841350384 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14822] ppid=14807 vsize=26001944 CPUtime=0 cores=0-7 /proc/14809/task/14822/stat : 14822 (java) S 14807 14807 13431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 67541815 26625990656 41180 18446744073709551615 4194304 4196468 140723348110496 140236840298960 140238231451547 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14823] ppid=14807 vsize=26001944 CPUtime=0.67 cores=0-7 /proc/14809/task/14823/stat : 14823 (java) S 14807 14807 13431 0 -1 1077944384 2518 0 0 0 67 0 0 0 20 0 20 0 67541815 26625990656 41180 18446744073709551615 4194304 4196468 140723348110496 140236839246064 140238231444098 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14824] ppid=14807 vsize=26001944 CPUtime=0.63 cores=0-7 /proc/14809/task/14824/stat : 14824 (java) S 14807 14807 13431 0 -1 1077944384 2385 0 0 0 62 1 0 0 20 0 20 0 67541815 26625990656 41180 18446744073709551615 4194304 4196468 140723348110496 140236838193520 140238231444098 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14825] ppid=14807 vsize=26001944 CPUtime=0.69 cores=0-7 /proc/14809/task/14825/stat : 14825 (java) R 14807 14807 13431 0 -1 4202560 2391 0 0 0 68 1 0 0 20 0 20 0 67541815 26625990656 41180 18446744073709551615 4194304 4196468 140723348110496 140236837140464 140238212954094 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14826] ppid=14807 vsize=26001944 CPUtime=0.53 cores=0-7 /proc/14809/task/14826/stat : 14826 (java) S 14807 14807 13431 0 -1 1077944384 3604 0 0 0 53 0 0 0 20 0 20 0 67541815 26625990656 41180 18446744073709551615 4194304 4196468 140723348110496 140236836087920 140238231444098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14827] ppid=14807 vsize=26001944 CPUtime=0 cores=0-7 /proc/14809/task/14827/stat : 14827 (java) S 14807 14807 13431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 67541815 26625990656 41180 18446744073709551615 4194304 4196468 140723348110496 140236835036128 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14828] ppid=14807 vsize=26001944 CPUtime=0 cores=0-7 /proc/14809/task/14828/stat : 14828 (java) S 14807 14807 13431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 67541820 26625990656 41180 18446744073709551615 4194304 4196468 140723348110496 140236833983664 140238231444098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 Current children cumulated CPU time (s) 3.93 Current children cumulated vsize (KiB) 26011456 [startup+3.1009 s] /proc/loadavg: 7.96 8.21 6.70 4/198 14828 /proc/meminfo: memFree=31472472/32770624 swapFree=0/297260 [pid=14807] ppid=14804 vsize=9512 CPUtime=0 cores=0-7 /proc/14807/stat : 14807 (xcsp3-exec) S 14804 14807 13431 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 67541802 9740288 345 18446744073709551615 4194304 5098028 140735251925552 140735251923656 139644592968316 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 9129984 140735251931538 140735251931747 140735251931747 140735251935211 0 /proc/14807/statm: 2378 345 289 221 0 87 0 [pid=14809] ppid=14807 vsize=26536504 CPUtime=11.86 cores=0-7 /proc/14809/stat : 14809 (java) S 14807 14807 13431 0 -1 1077944320 33647 0 0 0 1161 25 0 0 20 0 28 0 67541809 27173380096 74574 18446744073709551615 4194304 4196468 140723348110496 140723348093040 140238231432951 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 /proc/14809/statm: 6634126 74574 3229 1 0 6622427 0 [pid=14809/tid=14810] ppid=14807 vsize=26536504 CPUtime=2.13 cores=0-7 /proc/14809/task/14810/stat : 14810 (java) S 14807 14807 13431 0 -1 1077944384 11566 0 0 0 207 6 0 0 20 0 28 0 67541810 27173380096 74574 18446744073709551615 4194304 4196468 140723348110496 140238235673728 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14811] ppid=14807 vsize=26536504 CPUtime=0.04 cores=0-7 /proc/14809/task/14811/stat : 14811 (java) S 14807 14807 13431 0 -1 1077944384 123 0 0 0 3 1 0 0 20 0 28 0 67541810 27173380096 74574 18446744073709551615 4194304 4196468 140723348110496 140237793942544 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14812] ppid=14807 vsize=26536504 CPUtime=0.04 cores=0-7 /proc/14809/task/14812/stat : 14812 (java) S 14807 14807 13431 0 -1 1077944384 79 0 0 0 3 1 0 0 20 0 28 0 67541810 27173380096 74574 18446744073709551615 4194304 4196468 140723348110496 140237792890000 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14813] ppid=14807 vsize=26536504 CPUtime=0.04 cores=0-7 /proc/14809/task/14813/stat : 14813 (java) S 14807 14807 13431 0 -1 1077944384 494 0 0 0 3 1 0 0 20 0 28 0 67541810 27173380096 74574 18446744073709551615 4194304 4196468 140723348110496 140237791836944 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14814] ppid=14807 vsize=26536504 CPUtime=0.02 cores=0-7 /proc/14809/task/14814/stat : 14814 (java) S 14807 14807 13431 0 -1 1077944384 51 0 0 0 2 0 0 0 20 0 28 0 67541810 27173380096 74574 18446744073709551615 4194304 4196468 140723348110496 140237790784400 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14815] ppid=14807 vsize=26536504 CPUtime=0.03 cores=0-7 /proc/14809/task/14815/stat : 14815 (java) S 14807 14807 13431 0 -1 1077944384 160 0 0 0 2 1 0 0 20 0 28 0 67541810 27173380096 74574 18446744073709551615 4194304 4196468 140723348110496 140237789731344 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14816] ppid=14807 vsize=26536504 CPUtime=0.05 cores=0-7 /proc/14809/task/14816/stat : 14816 (java) S 14807 14807 13431 0 -1 1077944384 154 0 0 0 3 2 0 0 20 0 28 0 67541810 27173380096 74574 18446744073709551615 4194304 4196468 140723348110496 140237788678800 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14817] ppid=14807 vsize=26536504 CPUtime=0.04 cores=0-7 /proc/14809/task/14817/stat : 14817 (java) S 14807 14807 13431 0 -1 1077944384 76 0 0 0 3 1 0 0 20 0 28 0 67541810 27173380096 74574 18446744073709551615 4194304 4196468 140723348110496 140237787625744 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14818] ppid=14807 vsize=26536504 CPUtime=0.03 cores=0-7 /proc/14809/task/14818/stat : 14818 (java) S 14807 14807 13431 0 -1 1077944384 59 0 0 0 2 1 0 0 20 0 28 0 67541810 27173380096 74574 18446744073709551615 4194304 4196468 140723348110496 140237786573200 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14819] ppid=14807 vsize=26536504 CPUtime=0 cores=0-7 /proc/14809/task/14819/stat : 14819 (java) S 14807 14807 13431 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 28 0 67541812 27173380096 74574 18446744073709551615 4194304 4196468 140723348110496 140236843457264 140238231444098 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14820] ppid=14807 vsize=26536504 CPUtime=0 cores=0-7 /proc/14809/task/14820/stat : 14820 (java) S 14807 14807 13431 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 67541812 27173380096 74574 18446744073709551615 4194304 4196468 140723348110496 140236842403552 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14821] ppid=14807 vsize=26536504 CPUtime=0 cores=0-7 /proc/14809/task/14821/stat : 14821 (java) S 14807 14807 13431 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 67541812 27173380096 74574 18446744073709551615 4194304 4196468 140723348110496 140236841350400 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14822] ppid=14807 vsize=26536504 CPUtime=0 cores=0-7 /proc/14809/task/14822/stat : 14822 (java) S 14807 14807 13431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 67541815 27173380096 74574 18446744073709551615 4194304 4196468 140723348110496 140236840298960 140238231451547 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14823] ppid=14807 vsize=26536504 CPUtime=1.7 cores=0-7 /proc/14809/task/14823/stat : 14823 (java) R 14807 14807 13431 0 -1 4202560 4008 0 0 0 169 1 0 0 20 0 28 0 67541815 27173380096 74574 18446744073709551615 4194304 4196468 140723348110496 140236839235984 140238216543840 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14824] ppid=14807 vsize=26536504 CPUtime=1.69 cores=0-7 /proc/14809/task/14824/stat : 14824 (java) R 14807 14807 13431 0 -1 4202560 4515 0 0 0 167 2 0 0 20 0 28 0 67541815 27173380096 74574 18446744073709551615 4194304 4196468 140723348110496 140236838192704 140238214919510 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14825] ppid=14807 vsize=26536504 CPUtime=1.74 cores=0-7 /proc/14809/task/14825/stat : 14825 (java) R 14807 14807 13431 0 -1 4202560 4618 0 0 0 173 1 0 0 20 0 28 0 67541815 27173380096 74574 18446744073709551615 4194304 4196468 140723348110496 140236837126800 140238216540530 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14826] ppid=14807 vsize=26536504 CPUtime=0.83 cores=0-7 /proc/14809/task/14826/stat : 14826 (java) S 14807 14807 13431 0 -1 1077944384 5009 0 0 0 82 1 0 0 20 0 28 0 67541815 27173380096 74574 18446744073709551615 4194304 4196468 140723348110496 140236836087920 140238231444098 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14827] ppid=14807 vsize=26536504 CPUtime=0 cores=0-7 /proc/14809/task/14827/stat : 14827 (java) S 14807 14807 13431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 67541815 27173380096 74574 18446744073709551615 4194304 4196468 140723348110496 140236835036128 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14828] ppid=14807 vsize=26536504 CPUtime=0 cores=0-7 /proc/14809/task/14828/stat : 14828 (java) S 14807 14807 13431 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 67541820 27173380096 74574 18446744073709551615 4194304 4196468 140723348110496 140236833983664 140238231444098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 Current children cumulated CPU time (s) 11.86 Current children cumulated vsize (KiB) 26546016 [startup+6.30138 s] /proc/loadavg: 7.96 8.21 6.70 12/206 16861 /proc/meminfo: memFree=30493152/32770624 swapFree=0/297264 [pid=14807] ppid=14804 vsize=9512 CPUtime=0 cores=0-7 /proc/14807/stat : 14807 (xcsp3-exec) S 14804 14807 13431 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 67541802 9740288 345 18446744073709551615 4194304 5098028 140735251925552 140735251923656 139644592968316 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 9129984 140735251931538 140735251931747 140735251931747 140735251935211 0 /proc/14807/statm: 2378 345 289 221 0 87 0 [pid=14809] ppid=14807 vsize=26802760 CPUtime=32.37 cores=0-7 /proc/14809/stat : 14809 (java) S 14807 14807 13431 0 -1 1077944320 61342 0 0 0 3151 86 0 0 20 0 28 0 67541809 27446026240 323830 18446744073709551615 4194304 4196468 140723348110496 140723348093040 140238231432951 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 /proc/14809/statm: 6700690 323830 3253 1 0 6688991 0 [pid=14809/tid=14810] ppid=14807 vsize=26802760 CPUtime=2.31 cores=0-7 /proc/14809/task/14810/stat : 14810 (java) S 14807 14807 13431 0 -1 1077944384 11576 0 0 0 223 8 0 0 20 0 28 0 67541810 27446026240 323830 18446744073709551615 4194304 4196468 140723348110496 140238235673760 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14811] ppid=14807 vsize=26802760 CPUtime=0.13 cores=0-7 /proc/14809/task/14811/stat : 14811 (java) S 14807 14807 13431 0 -1 1077944384 163 0 0 0 9 4 0 0 20 0 28 0 67541810 27446026240 323830 18446744073709551615 4194304 4196468 140723348110496 140237793942544 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14812] ppid=14807 vsize=26802760 CPUtime=0.14 cores=0-7 /proc/14809/task/14812/stat : 14812 (java) S 14807 14807 13431 0 -1 1077944384 128 0 0 0 10 4 0 0 20 0 28 0 67541810 27446026240 323830 18446744073709551615 4194304 4196468 140723348110496 140237792890000 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14813] ppid=14807 vsize=26802760 CPUtime=0.14 cores=0-7 /proc/14809/task/14813/stat : 14813 (java) S 14807 14807 13431 0 -1 1077944384 554 0 0 0 11 3 0 0 20 0 28 0 67541810 27446026240 323830 18446744073709551615 4194304 4196468 140723348110496 140237791836944 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14814] ppid=14807 vsize=26802760 CPUtime=0.11 cores=0-7 /proc/14809/task/14814/stat : 14814 (java) S 14807 14807 13431 0 -1 1077944384 105 0 0 0 8 3 0 0 20 0 28 0 67541810 27446026240 323830 18446744073709551615 4194304 4196468 140723348110496 140237790784400 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14815] ppid=14807 vsize=26802760 CPUtime=0.11 cores=0-7 /proc/14809/task/14815/stat : 14815 (java) S 14807 14807 13431 0 -1 1077944384 199 0 0 0 8 3 0 0 20 0 28 0 67541810 27446026240 323830 18446744073709551615 4194304 4196468 140723348110496 140237789731344 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14816] ppid=14807 vsize=26802760 CPUtime=0.15 cores=0-7 /proc/14809/task/14816/stat : 14816 (java) S 14807 14807 13431 0 -1 1077944384 210 0 0 0 10 5 0 0 20 0 28 0 67541810 27446026240 323830 18446744073709551615 4194304 4196468 140723348110496 140237788678800 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14817] ppid=14807 vsize=26802760 CPUtime=0.12 cores=0-7 /proc/14809/task/14817/stat : 14817 (java) S 14807 14807 13431 0 -1 1077944384 124 0 0 0 9 3 0 0 20 0 28 0 67541810 27446026240 323830 18446744073709551615 4194304 4196468 140723348110496 140237787625744 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14818] ppid=14807 vsize=26802760 CPUtime=0.14 cores=0-7 /proc/14809/task/14818/stat : 14818 (java) S 14807 14807 13431 0 -1 1077944384 132 0 0 0 10 4 0 0 20 0 28 0 67541810 27446026240 323830 18446744073709551615 4194304 4196468 140723348110496 140237786573200 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14819] ppid=14807 vsize=26802760 CPUtime=0.02 cores=0-7 /proc/14809/task/14819/stat : 14819 (java) S 14807 14807 13431 0 -1 1077944384 1119 0 0 0 2 0 0 0 20 0 28 0 67541812 27446026240 323830 18446744073709551615 4194304 4196468 140723348110496 140236843457264 140238231444098 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14820] ppid=14807 vsize=26802760 CPUtime=0 cores=0-7 /proc/14809/task/14820/stat : 14820 (java) S 14807 14807 13431 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 67541812 27446026240 323830 18446744073709551615 4194304 4196468 140723348110496 140236842403552 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14821] ppid=14807 vsize=26802760 CPUtime=0 cores=0-7 /proc/14809/task/14821/stat : 14821 (java) S 14807 14807 13431 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 67541812 27446026240 323830 18446744073709551615 4194304 4196468 140723348110496 140236841350400 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14822] ppid=14807 vsize=26802760 CPUtime=0 cores=0-7 /proc/14809/task/14822/stat : 14822 (java) S 14807 14807 13431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 67541815 27446026240 323830 18446744073709551615 4194304 4196468 140723348110496 140236840298960 140238231451547 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 ################ # More data... # ################ /proc/14809/task/16929/stat : 16929 (java) R 14807 14807 13431 0 -1 4202560 1940 0 0 0 5876 0 0 0 20 0 28 0 67558149 27446026240 1365532 18446744073709551615 4194304 4196468 140723348110496 140236815454384 140237881403680 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=16930] ppid=14807 vsize=26802760 CPUtime=58.77 cores=0-7 /proc/14809/task/16930/stat : 16930 (java) R 14807 14807 13431 0 -1 4202560 2862 0 0 0 5873 4 0 0 20 0 28 0 67558149 27446026240 1365532 18446744073709551615 4194304 4196468 140723348110496 140236819657176 140237877296255 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 Current children cumulated CPU time (s) 1754.43 Current children cumulated vsize (KiB) 26812272 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+243.101 s] /proc/loadavg: 8.06 8.06 6.97 9/206 16940 /proc/meminfo: memFree=26225400/32770624 swapFree=0/297292 [pid=14807] ppid=14804 vsize=9512 CPUtime=0 cores=0-7 /proc/14807/stat : 14807 (xcsp3-exec) S 14804 14807 13431 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 67541802 9740288 345 18446744073709551615 4194304 5098028 140735251925552 140735251923656 139644592968316 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 9129984 140735251931538 140735251931747 140735251931747 140735251935211 0 /proc/14807/statm: 2378 345 289 221 0 87 0 [pid=14809] ppid=14807 vsize=26802760 CPUtime=1920.4 cores=0-7 /proc/14809/stat : 14809 (java) S 14807 14807 13431 0 -1 1077944320 220527 0 0 0 191703 337 0 0 20 0 28 0 67541809 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140723348093040 140238231432951 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 /proc/14809/statm: 6700690 1366662 3253 1 0 6688991 0 [pid=14809/tid=14810] ppid=14807 vsize=26802760 CPUtime=2.31 cores=0-7 /proc/14809/task/14810/stat : 14810 (java) S 14807 14807 13431 0 -1 1077944384 12142 0 0 0 223 8 0 0 20 0 28 0 67541810 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140238235673648 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14811] ppid=14807 vsize=26802760 CPUtime=0.18 cores=0-7 /proc/14809/task/14811/stat : 14811 (java) S 14807 14807 13431 0 -1 1077944384 1008 0 0 0 13 5 0 0 20 0 28 0 67541810 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140237793942544 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14812] ppid=14807 vsize=26802760 CPUtime=0.19 cores=0-7 /proc/14809/task/14812/stat : 14812 (java) S 14807 14807 13431 0 -1 1077944384 1392 0 0 0 14 5 0 0 20 0 28 0 67541810 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140237792890000 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14813] ppid=14807 vsize=26802760 CPUtime=0.2 cores=0-7 /proc/14809/task/14813/stat : 14813 (java) S 14807 14807 13431 0 -1 1077944384 1591 0 0 0 15 5 0 0 20 0 28 0 67541810 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140237791836944 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14814] ppid=14807 vsize=26802760 CPUtime=0.16 cores=0-7 /proc/14809/task/14814/stat : 14814 (java) S 14807 14807 13431 0 -1 1077944384 1183 0 0 0 12 4 0 0 20 0 28 0 67541810 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140237790784400 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14815] ppid=14807 vsize=26802760 CPUtime=0.17 cores=0-7 /proc/14809/task/14815/stat : 14815 (java) S 14807 14807 13431 0 -1 1077944384 1584 0 0 0 13 4 0 0 20 0 28 0 67541810 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140237789731344 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14816] ppid=14807 vsize=26802760 CPUtime=0.2 cores=0-7 /proc/14809/task/14816/stat : 14816 (java) S 14807 14807 13431 0 -1 1077944384 2178 0 0 0 14 6 0 0 20 0 28 0 67541810 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140237788678800 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14817] ppid=14807 vsize=26802760 CPUtime=0.19 cores=0-7 /proc/14809/task/14817/stat : 14817 (java) S 14807 14807 13431 0 -1 1077944384 1683 0 0 0 15 4 0 0 20 0 28 0 67541810 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140237787625744 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14818] ppid=14807 vsize=26802760 CPUtime=0.19 cores=0-7 /proc/14809/task/14818/stat : 14818 (java) S 14807 14807 13431 0 -1 1077944384 2322 0 0 0 14 5 0 0 20 0 28 0 67541810 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140237786573200 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14819] ppid=14807 vsize=26802760 CPUtime=0.06 cores=0-7 /proc/14809/task/14819/stat : 14819 (java) S 14807 14807 13431 0 -1 1077944384 9553 0 0 0 4 2 0 0 20 0 28 0 67541812 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140236843457264 140238231444098 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14820] ppid=14807 vsize=26802760 CPUtime=0 cores=0-7 /proc/14809/task/14820/stat : 14820 (java) S 14807 14807 13431 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 67541812 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140236842403552 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14821] ppid=14807 vsize=26802760 CPUtime=0 cores=0-7 /proc/14809/task/14821/stat : 14821 (java) S 14807 14807 13431 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 67541812 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140236841350400 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14822] ppid=14807 vsize=26802760 CPUtime=0 cores=0-7 /proc/14809/task/14822/stat : 14822 (java) S 14807 14807 13431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 67541815 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140236840298960 140238231451547 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14823] ppid=14807 vsize=26802760 CPUtime=3.38 cores=0-7 /proc/14809/task/14823/stat : 14823 (java) S 14807 14807 13431 0 -1 1077944384 15427 0 0 0 336 2 0 0 20 0 28 0 67541815 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140236839246064 140238231444098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14824] ppid=14807 vsize=26802760 CPUtime=3.35 cores=0-7 /proc/14809/task/14824/stat : 14824 (java) S 14807 14807 13431 0 -1 1077944384 15254 0 0 0 332 3 0 0 20 0 28 0 67541815 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140236838193520 140238231444098 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14825] ppid=14807 vsize=26802760 CPUtime=3.33 cores=0-7 /proc/14809/task/14825/stat : 14825 (java) S 14807 14807 13431 0 -1 1077944384 12860 0 0 0 330 3 0 0 20 0 28 0 67541815 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140236837140464 140238231444098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14826] ppid=14807 vsize=26802760 CPUtime=1.2 cores=0-7 /proc/14809/task/14826/stat : 14826 (java) S 14807 14807 13431 0 -1 1077944384 14562 0 0 0 117 3 0 0 20 0 28 0 67541815 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140236836087920 140238231444098 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14827] ppid=14807 vsize=26802760 CPUtime=0 cores=0-7 /proc/14809/task/14827/stat : 14827 (java) S 14807 14807 13431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 67541815 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140236835036128 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14828] ppid=14807 vsize=26802760 CPUtime=0.1 cores=0-7 /proc/14809/task/14828/stat : 14828 (java) S 14807 14807 13431 0 -1 1077944384 1697 0 0 0 7 3 0 0 20 0 28 0 67541820 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140236833983664 140238231444098 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=16923] ppid=14807 vsize=26802760 CPUtime=79.07 cores=0-7 /proc/14809/task/16923/stat : 16923 (java) R 14807 14807 13431 0 -1 4202560 2326 0 0 0 7904 3 0 0 20 0 28 0 67558149 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140236814401352 140237884197426 0 4 1 16800974 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=16924] ppid=14807 vsize=26802760 CPUtime=79.54 cores=0-7 /proc/14809/task/16924/stat : 16924 (java) R 14807 14807 13431 0 -1 4202560 1795 0 0 0 7954 0 0 0 20 0 28 0 67558149 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140236824921224 140237883649652 0 4 1 16800974 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=16925] ppid=14807 vsize=26802760 CPUtime=79.53 cores=0-7 /proc/14809/task/16925/stat : 16925 (java) R 14807 14807 13431 0 -1 4202560 1729 0 0 0 7951 2 0 0 20 0 28 0 67558149 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140236820710152 140237882086572 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=16926] ppid=14807 vsize=26802760 CPUtime=79.54 cores=0-7 /proc/14809/task/16926/stat : 16926 (java) R 14807 14807 13431 0 -1 4202560 23975 0 0 0 7930 24 0 0 20 0 28 0 67558149 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140236821762344 140237881403319 0 4 1 16800974 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=16927] ppid=14807 vsize=26802760 CPUtime=78.82 cores=0-7 /proc/14809/task/16927/stat : 16927 (java) R 14807 14807 13431 0 -1 4202560 2996 0 0 0 7875 7 0 0 20 0 28 0 67558149 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140236823867008 140237881366259 0 4 1 16800974 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=16928] ppid=14807 vsize=26802760 CPUtime=79.53 cores=0-7 /proc/14809/task/16928/stat : 16928 (java) R 14807 14807 13431 0 -1 4202560 1584 0 0 0 7953 0 0 0 20 0 28 0 67558149 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140236822817488 140237882419760 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=16929] ppid=14807 vsize=26802760 CPUtime=79.54 cores=0-7 /proc/14809/task/16929/stat : 16929 (java) R 14807 14807 13431 0 -1 4202560 3108 0 0 0 7954 0 0 0 20 0 28 0 67558149 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140236815455496 140237882894828 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=16930] ppid=14807 vsize=26802760 CPUtime=79.5 cores=0-7 /proc/14809/task/16930/stat : 16930 (java) R 14807 14807 13431 0 -1 4202560 4181 0 0 0 7944 6 0 0 20 0 28 0 67558149 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140236819658120 140237875783309 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 Current children cumulated CPU time (s) 1920.4 Current children cumulated vsize (KiB) 26812272 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 14809 sig 9 ??? kill 14807 sig 9 ??? kill -14807 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+243.101 s] /proc/loadavg: 8.06 8.06 6.97 9/206 16940 /proc/meminfo: memFree=26225400/32770624 swapFree=0/297292 [pid=14807] ppid=14804 vsize=9512 CPUtime=0 cores=0-7 /proc/14807/stat : 14807 (xcsp3-exec) S 14804 14807 13431 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 67541802 9740288 345 18446744073709551615 4194304 5098028 140735251925552 140735251923656 139644592968316 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 9129984 140735251931538 140735251931747 140735251931747 140735251935211 0 /proc/14807/statm: 2378 345 289 221 0 87 0 [pid=14809] ppid=14807 vsize=26802760 CPUtime=1920.4 cores=0-7 /proc/14809/stat : 14809 (java) S 14807 14807 13431 0 -1 1077944320 220527 0 0 0 191703 337 0 0 20 0 28 0 67541809 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140723348093040 140238231432951 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 /proc/14809/statm: 6700690 1366662 3253 1 0 6688991 0 [pid=14809/tid=14810] ppid=14807 vsize=26802760 CPUtime=2.31 cores=0-7 /proc/14809/task/14810/stat : 14810 (java) S 14807 14807 13431 0 -1 1077944384 12142 0 0 0 223 8 0 0 20 0 28 0 67541810 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140238235673648 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14811] ppid=14807 vsize=26802760 CPUtime=0.18 cores=0-7 /proc/14809/task/14811/stat : 14811 (java) S 14807 14807 13431 0 -1 1077944384 1008 0 0 0 13 5 0 0 20 0 28 0 67541810 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140237793942544 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14812] ppid=14807 vsize=26802760 CPUtime=0.19 cores=0-7 /proc/14809/task/14812/stat : 14812 (java) S 14807 14807 13431 0 -1 1077944384 1392 0 0 0 14 5 0 0 20 0 28 0 67541810 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140237792890000 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14813] ppid=14807 vsize=26802760 CPUtime=0.2 cores=0-7 /proc/14809/task/14813/stat : 14813 (java) S 14807 14807 13431 0 -1 1077944384 1591 0 0 0 15 5 0 0 20 0 28 0 67541810 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140237791836944 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14814] ppid=14807 vsize=26802760 CPUtime=0.16 cores=0-7 /proc/14809/task/14814/stat : 14814 (java) S 14807 14807 13431 0 -1 1077944384 1183 0 0 0 12 4 0 0 20 0 28 0 67541810 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140237790784400 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14815] ppid=14807 vsize=26802760 CPUtime=0.17 cores=0-7 /proc/14809/task/14815/stat : 14815 (java) S 14807 14807 13431 0 -1 1077944384 1584 0 0 0 13 4 0 0 20 0 28 0 67541810 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140237789731344 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14816] ppid=14807 vsize=26802760 CPUtime=0.2 cores=0-7 /proc/14809/task/14816/stat : 14816 (java) S 14807 14807 13431 0 -1 1077944384 2178 0 0 0 14 6 0 0 20 0 28 0 67541810 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140237788678800 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14817] ppid=14807 vsize=26802760 CPUtime=0.19 cores=0-7 /proc/14809/task/14817/stat : 14817 (java) S 14807 14807 13431 0 -1 1077944384 1683 0 0 0 15 4 0 0 20 0 28 0 67541810 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140237787625744 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14818] ppid=14807 vsize=26802760 CPUtime=0.19 cores=0-7 /proc/14809/task/14818/stat : 14818 (java) S 14807 14807 13431 0 -1 1077944384 2322 0 0 0 14 5 0 0 20 0 28 0 67541810 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140237786573200 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14819] ppid=14807 vsize=26802760 CPUtime=0.06 cores=0-7 /proc/14809/task/14819/stat : 14819 (java) S 14807 14807 13431 0 -1 1077944384 9553 0 0 0 4 2 0 0 20 0 28 0 67541812 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140236843457264 140238231444098 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14820] ppid=14807 vsize=26802760 CPUtime=0 cores=0-7 /proc/14809/task/14820/stat : 14820 (java) S 14807 14807 13431 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 67541812 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140236842403552 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14821] ppid=14807 vsize=26802760 CPUtime=0 cores=0-7 /proc/14809/task/14821/stat : 14821 (java) S 14807 14807 13431 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 67541812 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140236841350400 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14822] ppid=14807 vsize=26802760 CPUtime=0 cores=0-7 /proc/14809/task/14822/stat : 14822 (java) S 14807 14807 13431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 67541815 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140236840298960 140238231451547 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14823] ppid=14807 vsize=26802760 CPUtime=3.38 cores=0-7 /proc/14809/task/14823/stat : 14823 (java) S 14807 14807 13431 0 -1 1077944384 15427 0 0 0 336 2 0 0 20 0 28 0 67541815 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140236839246064 140238231444098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14824] ppid=14807 vsize=26802760 CPUtime=3.35 cores=0-7 /proc/14809/task/14824/stat : 14824 (java) S 14807 14807 13431 0 -1 1077944384 15254 0 0 0 332 3 0 0 20 0 28 0 67541815 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140236838193520 140238231444098 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14825] ppid=14807 vsize=26802760 CPUtime=3.33 cores=0-7 /proc/14809/task/14825/stat : 14825 (java) S 14807 14807 13431 0 -1 1077944384 12860 0 0 0 330 3 0 0 20 0 28 0 67541815 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140236837140464 140238231444098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14826] ppid=14807 vsize=26802760 CPUtime=1.2 cores=0-7 /proc/14809/task/14826/stat : 14826 (java) S 14807 14807 13431 0 -1 1077944384 14562 0 0 0 117 3 0 0 20 0 28 0 67541815 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140236836087920 140238231444098 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14827] ppid=14807 vsize=26802760 CPUtime=0 cores=0-7 /proc/14809/task/14827/stat : 14827 (java) S 14807 14807 13431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 67541815 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140236835036128 140238231443157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=14828] ppid=14807 vsize=26802760 CPUtime=0.1 cores=0-7 /proc/14809/task/14828/stat : 14828 (java) S 14807 14807 13431 0 -1 1077944384 1697 0 0 0 7 3 0 0 20 0 28 0 67541820 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140236833983664 140238231444098 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=16923] ppid=14807 vsize=26802760 CPUtime=79.07 cores=0-7 /proc/14809/task/16923/stat : 16923 (java) R 14807 14807 13431 0 -1 4202560 2326 0 0 0 7904 3 0 0 20 0 28 0 67558149 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140236814401352 140237884197426 0 4 1 16800974 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=16924] ppid=14807 vsize=26802760 CPUtime=79.54 cores=0-7 /proc/14809/task/16924/stat : 16924 (java) R 14807 14807 13431 0 -1 4202560 1795 0 0 0 7954 0 0 0 20 0 28 0 67558149 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140236824921224 140237883649652 0 4 1 16800974 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=16925] ppid=14807 vsize=26802760 CPUtime=79.53 cores=0-7 /proc/14809/task/16925/stat : 16925 (java) R 14807 14807 13431 0 -1 4202560 1729 0 0 0 7951 2 0 0 20 0 28 0 67558149 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140236820710152 140237882086572 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=16926] ppid=14807 vsize=26802760 CPUtime=79.54 cores=0-7 /proc/14809/task/16926/stat : 16926 (java) R 14807 14807 13431 0 -1 4202560 23975 0 0 0 7930 24 0 0 20 0 28 0 67558149 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140236821762344 140237881403319 0 4 1 16800974 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=16927] ppid=14807 vsize=26802760 CPUtime=78.82 cores=0-7 /proc/14809/task/16927/stat : 16927 (java) R 14807 14807 13431 0 -1 4202560 2996 0 0 0 7875 7 0 0 20 0 28 0 67558149 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140236823867008 140237881366259 0 4 1 16800974 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=16928] ppid=14807 vsize=26802760 CPUtime=79.53 cores=0-7 /proc/14809/task/16928/stat : 16928 (java) R 14807 14807 13431 0 -1 4202560 1584 0 0 0 7953 0 0 0 20 0 28 0 67558149 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140236822817488 140237882419760 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=16929] ppid=14807 vsize=26802760 CPUtime=79.54 cores=0-7 /proc/14809/task/16929/stat : 16929 (java) R 14807 14807 13431 0 -1 4202560 3108 0 0 0 7954 0 0 0 20 0 28 0 67558149 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140236815455496 140237882894828 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 [pid=14809/tid=16930] ppid=14807 vsize=26802760 CPUtime=79.5 cores=0-7 /proc/14809/task/16930/stat : 16930 (java) R 14807 14807 13431 0 -1 4202560 4181 0 0 0 7944 6 0 0 20 0 28 0 67558149 27446026240 1366662 18446744073709551615 4194304 4196468 140723348110496 140236819658120 140237875783309 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39272448 140723348115919 140723348116095 140723348116095 140723348119503 0 Current children cumulated CPU time (s) 1920.4 Current children cumulated vsize (KiB) 26812272 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 14807 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=1798 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=241 # CPU time returned by wait4() is 0.002039 # while last known CPU time is 1920.4 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 243.132 CPU time (s): 1920.4 CPU user time (s): 1917.03 CPU system time (s): 3.37 CPU usage (%): 789.861 Max. virtual memory (cumulated for all children) (KiB): 26812272 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.001798 system time used= 0.000241 maximum resident set size= 1384 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 509 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= 1 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.76885 second user time and 1.89305 second system time The end
Begin job on node132 at 2017-08-02 14:47:05 IDJOB=4254840 IDBENCH=115885 IDSOLVER=2636 FILE ID=node132/4254840-1501678883 RUNJOBID= node132-1501676530-13487 PBS_JOBID= Free space on /tmp= 61880 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-24.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4254840-1501678883/watcher-4254840-1501678883 -o /tmp/evaluation-result-4254840-1501678883/solver-4254840-1501678883 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node132-1501676530-13487 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 764128931 HOME/instance-4254840-1501678883.xml TIME LIMIT= 1920 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= e0f1e7fd363778103a4292aa9d177ae8 RANDOM SEED=764128931 node132.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31690324 kB MemAvailable: 32000632 kB Buffers: 162076 kB Cached: 442404 kB SwapCached: 0 kB Active: 338776 kB Inactive: 321960 kB Active(anon): 56864 kB Inactive(anon): 24436 kB Active(file): 281912 kB Inactive(file): 297524 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7832 kB Writeback: 0 kB AnonPages: 56308 kB Mapped: 39264 kB Shmem: 25276 kB Slab: 119336 kB SReclaimable: 93416 kB SUnreclaim: 25920 kB KernelStack: 3200 kB PageTables: 4432 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 294724 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61872 MiB End job on node132 at 2017-08-02 14:51:09