Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 4.0.5 par (2017-08-18) | SAT (TO) | 164 | 20098.301 | 2520.1299 |
| Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-040.xml |
| MD5SUM | 4e9e0842de773da2d9de44121d9bf85e |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 136 |
| Best CPU time to get the best result obtained on this benchmark | 19993 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1639 |
| Number of constraints | 858 |
| Number of domains | 79 |
| Minimum domain size | 2 |
| Maximum domain size | 79 |
| Distribution of domain sizes | [{"size":2,"count":821},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":36,"count":1}, {"size":37,"count":2}, {"size":38,"count":1}, {"size":39,"count":2}, {"size":40,"count":1}, {"size":41,"count":1}, {"size":43,"count":1}, {"size":45,"count":1}, {"size":47,"count":1}, {"size":49,"count":1}, {"size":51,"count":1}, {"size":53,"count":1}, {"size":55,"count":1}, {"size":57,"count":1}, {"size":59,"count":1}, {"size":61,"count":1}, {"size":63,"count":1}, {"size":65,"count":1}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}, {"size":73,"count":1}, {"size":75,"count":1}, {"size":77,"count":1}, {"size":79,"count":1}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 39 |
| Distribution of variable degrees | [{"degree":0,"count":741},{"degree":2,"count":858},{"degree":39,"count":40}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 40 |
| Distribution of constraint arities | [{"arity":2,"count":40},{"arity":3,"count":781},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},{"arity":27,"count":1},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":33,"count":1},{"arity":34,"count":1},{"arity":35,"count":1},{"arity":36,"count":1},{"arity":37,"count":1},{"arity":38,"count":1},{"arity":39,"count":1},{"arity":40,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 819 |
| Distribution of constraint types | [{"type":"intension","count":819},{"type":"sum","count":39}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280425-1503143227.xml" -tl '20160s' -p 8 -x 0 0.12/0.15 c [HOME/instance-4280425-1503143227.xml, -tl, 20160s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.27 c parse instance... 4.32/1.32 c solve instance... 5.76/1.52 o 20540 5.76/1.55 o 17576 5.76/1.56 o 17432 5.76/1.57 o 15060 5.76/1.57 o 14916 5.76/1.58 o 14780 5.76/1.58 o 12960 6.34/1.62 o 12552 6.34/1.63 o 436 6.34/1.65 o 424 7.49/1.82 o 416 7.49/1.88 o 388 8.68/2.02 o 384 8.68/2.02 o 372 8.68/2.02 o 320 8.68/2.02 o 276 10.18/2.27 o 236 321.16/41.32 o 228 2206.29/277.60 o 212 2908.39/365.68 o 196 3263.20/410.12 o 164 20097.40/2520.10 s SATISFIABLE 20097.40/2520.10 v <instantiation> 20097.40/2520.10 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[35][0] y[35][1] y[35][2] y[35][3] y[36][0] y[36][1] y[36][2] y[37][0] y[37][1] y[38][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] </list> 20097.40/2520.10 v <values>-1 1 1 -1 -1 1 1 1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 1 1 1 1 1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 -1 1 1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 1 -1 1 1 1 -1 1 1 1 1 -1 1 -1 -1 1 1 1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 1 -1 1 1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 1 1 1 1 -1 1 -1 1 1 1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 1 -1 1 1 -1 1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 1 1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 1 1 -1 1 1 -1 1 1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 1 1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 1 1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 1 1 1 1 -1 1 1 1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 -2 1 2 1 0 1 0 -3 2 -1 -2 1 0 1 2 1 4 -1 -4 1 0 3 -2 7 0 -1 -2 1 2 -1 0 -1 0 3 -2 -1 2 -1 1 4 1 4 1 0 1 0 9 4 1 4 1 0 1 4 1 16 1 16 1 0 9 4 49 0 1 4 1 4 1 0 1 0 9 4 1 4 1 </values> 20097.40/2520.10 v </instantiation> 20097.40/2520.10 c Unexpected resolution interruption!
OK 164
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (10799 MiB free)
memory of node 1: 16384 MiB (10083 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280425-1503143227/watcher-4280425-1503143227 -o /tmp/evaluation-result-4280425-1503143227/solver-4280425-1503143227 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1503132049-19687 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1791734040 HOME/instance-4280425-1503143227.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=22833, runsolver pid=22830
Starting watchdog thread
Current StackSize limit: 8192 KiB
[startup+0.100306 s]*
/proc/loadavg: 8.04 8.21 7.81 2/200 22854
/proc/meminfo: memFree=21368768/32770624 swapFree=67108860/67108860
[pid=22833] ppid=22830 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/22833/stat : 22833 (xcsp3-exec) S 22830 22833 19660 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 147403432 9740288 345 33554432000 4194304 5098028 140731290660304 140731290658408 140065630212732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16281600 140731290661988 140731290662199 140731290662199 140731290664939 0
/proc/22833/statm: 2378 345 289 221 0 87 0
[pid=22835] ppid=22833 vsize=25999808 memory=27020 CPUtime=0.12 cores=0-7
/proc/22835/stat : 22835 (java) S 22833 22833 19660 0 -1 1077944320 5703 0 0 0 10 2 0 0 20 0 20 0 147403432 26623803392 6755 33554432000 4194304 4196468 140721051883312 140721051865856 140610424512247 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
/proc/22835/statm: 6499952 6755 2840 1 0 6488269 0
[pid=22835/tid=22836] ppid=22833 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/22835/task/22836/stat : 22836 (java) R 22833 22833 19660 0 -1 4202560 3697 0 0 0 8 0 0 0 20 0 20 0 147403433 26623803392 6755 33554432000 4194304 4196468 140721051883312 140610428736720 140610062047432 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22837] ppid=22833 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22835/task/22837/stat : 22837 (java) S 22833 22833 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147403434 26623803392 6755 33554432000 4194304 4196468 140721051883312 140610385472272 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22838] ppid=22833 vsize=25999808 memory=139713152067200 CPUtime=0 cores=0-7
/proc/22835/task/22838/stat : 22838 (java) S 22833 22833 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147403434 26623803392 6755 33554432000 4194304 4196468 140721051883312 140609981954960 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22839] ppid=22833 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22835/task/22839/stat : 22839 (java) S 22833 22833 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147403434 26623803392 6755 33554432000 4194304 4196468 140721051883312 140609980902416 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22840] ppid=22833 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22835/task/22840/stat : 22840 (java) S 22833 22833 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147403434 26623803392 6755 33554432000 4194304 4196468 140721051883312 140609979849872 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22841] ppid=22833 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22835/task/22841/stat : 22841 (java) S 22833 22833 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147403434 26623803392 6755 33554432000 4194304 4196468 140721051883312 140609978796304 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22842] ppid=22833 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/22835/task/22842/stat : 22842 (java) S 22833 22833 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147403434 26623803392 6755 33554432000 4194304 4196468 140721051883312 140609977743760 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22843] ppid=22833 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22835/task/22843/stat : 22843 (java) S 22833 22833 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147403434 26623803392 6755 33554432000 4194304 4196468 140721051883312 140609976691216 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22844] ppid=22833 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22835/task/22844/stat : 22844 (java) S 22833 22833 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147403434 26623803392 6755 33554432000 4194304 4196468 140721051883312 140609975638672 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22845] ppid=22833 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22835/task/22845/stat : 22845 (java) S 22833 22833 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147403435 26623803392 6755 33554432000 4194304 4196468 140721051883312 140609144412656 140610424523394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22846] ppid=22833 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22835/task/22846/stat : 22846 (java) S 22833 22833 19660 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 147403435 26623803392 6755 33554432000 4194304 4196468 140721051883312 140609143358880 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22847] ppid=22833 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22835/task/22847/stat : 22847 (java) S 22833 22833 19660 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147403436 26623803392 6755 33554432000 4194304 4196468 140721051883312 140609142306288 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22848] ppid=22833 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22835/task/22848/stat : 22848 (java) S 22833 22833 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147403438 26623803392 6755 33554432000 4194304 4196468 140721051883312 140609141254864 140610424530843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22849] ppid=22833 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22835/task/22849/stat : 22849 (java) S 22833 22833 19660 0 -1 1077944384 324 0 0 0 0 0 0 0 20 0 20 0 147403438 26623803392 6755 33554432000 4194304 4196468 140721051883312 140609140201456 140610424523394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22850] ppid=22833 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22835/task/22850/stat : 22850 (java) S 22833 22833 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147403438 26623803392 6755 33554432000 4194304 4196468 140721051883312 140609139148912 140610424523394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22851] ppid=22833 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22835/task/22851/stat : 22851 (java) S 22833 22833 19660 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 147403438 26623803392 6755 33554432000 4194304 4196468 140721051883312 140609138096368 140610424523394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22852] ppid=22833 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/22835/task/22852/stat : 22852 (java) R 22833 22833 19660 0 -1 4202560 246 0 0 0 1 0 0 0 20 0 20 0 147403438 26623803392 6755 33554432000 4194304 4196468 140721051883312 140609137043824 140610402881088 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22853] ppid=22833 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22835/task/22853/stat : 22853 (java) S 22833 22833 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147403439 26623803392 6755 33554432000 4194304 4196468 140721051883312 140609135991520 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22854] ppid=22833 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/22835/task/22854/stat : 22854 (java) S 22833 22833 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147403439 26623803392 6755 33554432000 4194304 4196468 140721051883312 140609134939056 140610424523394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28400 KiB
[startup+0.210514 s]*
/proc/loadavg: 8.04 8.21 7.81 2/200 22854
/proc/meminfo: memFree=21358240/32770624 swapFree=67108860/67108860
[pid=22833] ppid=22830 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/22833/stat : 22833 (xcsp3-exec) S 22830 22833 19660 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 147403432 9740288 345 33554432000 4194304 5098028 140731290660304 140731290658408 140065630212732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16281600 140731290661988 140731290662199 140731290662199 140731290664939 0
/proc/22833/statm: 2378 345 289 221 0 87 0
[pid=22835] ppid=22833 vsize=26004064 memory=39056 CPUtime=0.33 cores=0-7
/proc/22835/stat : 22835 (java) S 22833 22833 19660 0 -1 1077944320 8350 0 0 0 30 3 0 0 20 0 20 0 147403432 26628161536 9764 33554432000 4194304 4196468 140721051883312 140721051865856 140610424512247 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
/proc/22835/statm: 6501016 9764 3054 1 0 6488269 0
[pid=22835/tid=22836] ppid=22833 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/22835/task/22836/stat : 22836 (java) R 22833 22833 19660 0 -1 4202560 5449 0 0 0 18 1 0 0 20 0 20 0 147403433 26628161536 9764 33554432000 4194304 4196468 140721051883312 140610428726480 140610408592734 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22837] ppid=22833 vsize=26004064 memory=330 CPUtime=0 cores=0-7
/proc/22835/task/22837/stat : 22837 (java) S 22833 22833 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147403434 26628161536 9764 33554432000 4194304 4196468 140721051883312 140610385472272 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22838] ppid=22833 vsize=26004064 memory=139713153052937 CPUtime=0 cores=0-7
/proc/22835/task/22838/stat : 22838 (java) S 22833 22833 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147403434 26628161536 9764 33554432000 4194304 4196468 140721051883312 140609981954960 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22839] ppid=22833 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22835/task/22839/stat : 22839 (java) S 22833 22833 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147403434 26628161536 9764 33554432000 4194304 4196468 140721051883312 140609980902416 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22840] ppid=22833 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22835/task/22840/stat : 22840 (java) S 22833 22833 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147403434 26628161536 9764 33554432000 4194304 4196468 140721051883312 140609979849872 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22841] ppid=22833 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22835/task/22841/stat : 22841 (java) S 22833 22833 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147403434 26628161536 9764 33554432000 4194304 4196468 140721051883312 140609978796304 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22842] ppid=22833 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22835/task/22842/stat : 22842 (java) S 22833 22833 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147403434 26628161536 9764 33554432000 4194304 4196468 140721051883312 140609977743760 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22843] ppid=22833 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22835/task/22843/stat : 22843 (java) S 22833 22833 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147403434 26628161536 9764 33554432000 4194304 4196468 140721051883312 140609976691216 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22844] ppid=22833 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22835/task/22844/stat : 22844 (java) S 22833 22833 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147403434 26628161536 9764 33554432000 4194304 4196468 140721051883312 140609975638672 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22845] ppid=22833 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22835/task/22845/stat : 22845 (java) S 22833 22833 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147403435 26628161536 9764 33554432000 4194304 4196468 140721051883312 140609144412656 140610424523394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22846] ppid=22833 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22835/task/22846/stat : 22846 (java) S 22833 22833 19660 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 147403435 26628161536 9764 33554432000 4194304 4196468 140721051883312 140609143358880 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22847] ppid=22833 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22835/task/22847/stat : 22847 (java) S 22833 22833 19660 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147403436 26628161536 9764 33554432000 4194304 4196468 140721051883312 140609142306288 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22848] ppid=22833 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22835/task/22848/stat : 22848 (java) S 22833 22833 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147403438 26628161536 9764 33554432000 4194304 4196468 140721051883312 140609141254864 140610424530843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22849] ppid=22833 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/22835/task/22849/stat : 22849 (java) S 22833 22833 19660 0 -1 1077944384 408 0 0 0 1 0 0 0 20 0 20 0 147403438 26628161536 9764 33554432000 4194304 4196468 140721051883312 140609140201456 140610424523394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22850] ppid=22833 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22835/task/22850/stat : 22850 (java) S 22833 22833 19660 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 20 0 147403438 26628161536 9764 33554432000 4194304 4196468 140721051883312 140609139148912 140610424523394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22851] ppid=22833 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/22835/task/22851/stat : 22851 (java) S 22833 22833 19660 0 -1 1077944384 386 0 0 0 1 0 0 0 20 0 20 0 147403438 26628161536 9764 33554432000 4194304 4196468 140721051883312 140609138096368 140610424523394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22852] ppid=22833 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/22835/task/22852/stat : 22852 (java) R 22833 22833 19660 0 -1 1077944384 700 0 0 0 7 0 0 0 20 0 20 0 147403438 26628161536 9764 33554432000 4194304 4196468 140721051883312 140609137043824 140610424523394 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22853] ppid=22833 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22835/task/22853/stat : 22853 (java) S 22833 22833 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147403439 26628161536 9764 33554432000 4194304 4196468 140721051883312 140609135991520 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22854] ppid=22833 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22835/task/22854/stat : 22854 (java) S 22833 22833 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147403439 26628161536 9764 33554432000 4194304 4196468 140721051883312 140609134939056 140610424523394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40436 KiB
[startup+0.310312 s]*
/proc/loadavg: 8.04 8.21 7.81 3/200 22854
/proc/meminfo: memFree=21353464/32770624 swapFree=67108860/67108860
[pid=22833] ppid=22830 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/22833/stat : 22833 (xcsp3-exec) S 22830 22833 19660 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 147403432 9740288 345 33554432000 4194304 5098028 140731290660304 140731290658408 140065630212732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16281600 140731290661988 140731290662199 140731290662199 140731290664939 0
/proc/22833/statm: 2378 345 289 221 0 87 0
[pid=22835] ppid=22833 vsize=26004064 memory=43948 CPUtime=0.5 cores=0-7
/proc/22835/stat : 22835 (java) S 22833 22833 19660 0 -1 1077944320 9192 0 0 0 46 4 0 0 20 0 20 0 147403432 26628161536 10987 33554432000 4194304 4196468 140721051883312 140721051865856 140610424512247 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
/proc/22835/statm: 6501016 10987 3081 1 0 6488269 0
[pid=22835/tid=22836] ppid=22833 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/22835/task/22836/stat : 22836 (java) R 22833 22833 19660 0 -1 4202560 6118 0 0 0 27 2 0 0 20 0 20 0 147403433 26628161536 10987 33554432000 4194304 4196468 140721051883312 140610428750512 140610061128007 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22837] ppid=22833 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22835/task/22837/stat : 22837 (java) S 22833 22833 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147403434 26628161536 10987 33554432000 4194304 4196468 140721051883312 140610385472272 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22838] ppid=22833 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22835/task/22838/stat : 22838 (java) S 22833 22833 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147403434 26628161536 10987 33554432000 4194304 4196468 140721051883312 140609981954960 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22839] ppid=22833 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22835/task/22839/stat : 22839 (java) S 22833 22833 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147403434 26628161536 10987 33554432000 4194304 4196468 140721051883312 140609980902416 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22840] ppid=22833 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22835/task/22840/stat : 22840 (java) S 22833 22833 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147403434 26628161536 10987 33554432000 4194304 4196468 140721051883312 140609979849872 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22841] ppid=22833 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/22835/task/22841/stat : 22841 (java) S 22833 22833 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147403434 26628161536 10987 33554432000 4194304 4196468 140721051883312 140609978796304 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22842] ppid=22833 vsize=26004064 memory=139713004532655 CPUtime=0 cores=0-7
/proc/22835/task/22842/stat : 22842 (java) S 22833 22833 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147403434 26628161536 10987 33554432000 4194304 4196468 140721051883312 140609977743760 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22843] ppid=22833 vsize=26004064 memory=139713004534960 CPUtime=0 cores=0-7
/proc/22835/task/22843/stat : 22843 (java) S 22833 22833 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147403434 26628161536 10987 33554432000 4194304 4196468 140721051883312 140609976691216 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22844] ppid=22833 vsize=26004064 memory=139713004537264 CPUtime=0 cores=0-7
/proc/22835/task/22844/stat : 22844 (java) S 22833 22833 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147403434 26628161536 10987 33554432000 4194304 4196468 140721051883312 140609975638672 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22845] ppid=22833 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22835/task/22845/stat : 22845 (java) S 22833 22833 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147403435 26628161536 10987 33554432000 4194304 4196468 140721051883312 140609144412656 140610424523394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22846] ppid=22833 vsize=26004064 memory=279426009081488 CPUtime=0 cores=0-7
/proc/22835/task/22846/stat : 22846 (java) S 22833 22833 19660 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 147403435 26628161536 10987 33554432000 4194304 4196468 140721051883312 140609143358880 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22847] ppid=22833 vsize=26004064 memory=279426009088400 CPUtime=0 cores=0-7
/proc/22835/task/22847/stat : 22847 (java) S 22833 22833 19660 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147403436 26628161536 10987 33554432000 4194304 4196468 140721051883312 140609142306288 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22848] ppid=22833 vsize=26004064 memory=279426009029680 CPUtime=0 cores=0-7
/proc/22835/task/22848/stat : 22848 (java) S 22833 22833 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147403438 26628161536 10987 33554432000 4194304 4196468 140721051883312 140609141254864 140610424530843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22849] ppid=22833 vsize=26004064 memory=279426009102224 CPUtime=0.02 cores=0-7
/proc/22835/task/22849/stat : 22849 (java) S 22833 22833 19660 0 -1 1077944384 475 0 0 0 2 0 0 0 20 0 20 0 147403438 26628161536 10987 33554432000 4194304 4196468 140721051883312 140609140201456 140610424523394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22850] ppid=22833 vsize=26004064 memory=279426009109136 CPUtime=0 cores=0-7
/proc/22835/task/22850/stat : 22850 (java) S 22833 22833 19660 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 20 0 147403438 26628161536 10987 33554432000 4194304 4196468 140721051883312 140609139148912 140610424523394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22851] ppid=22833 vsize=26004064 memory=279426009106832 CPUtime=0.02 cores=0-7
/proc/22835/task/22851/stat : 22851 (java) S 22833 22833 19660 0 -1 1077944384 389 0 0 0 2 0 0 0 20 0 20 0 147403438 26628161536 10987 33554432000 4194304 4196468 140721051883312 140609138096368 140610424523394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22852] ppid=22833 vsize=26004064 memory=279426009122992 CPUtime=0.12 cores=0-7
/proc/22835/task/22852/stat : 22852 (java) R 22833 22833 19660 0 -1 4202560 804 0 0 0 12 0 0 0 20 0 20 0 147403438 26628161536 10987 33554432000 4194304 4196468 140721051883312 140609137039504 140610409038589 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22853] ppid=22833 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22835/task/22853/stat : 22853 (java) S 22833 22833 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147403439 26628161536 10987 33554432000 4194304 4196468 140721051883312 140609135991520 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22854] ppid=22833 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22835/task/22854/stat : 22854 (java) S 22833 22833 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147403439 26628161536 10987 33554432000 4194304 4196468 140721051883312 140609134939056 140610424523394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45328 KiB
[startup+0.70101 s]
/proc/loadavg: 7.71 8.14 7.79 4/200 22854
/proc/meminfo: memFree=21336608/32770624 swapFree=67108860/67108860
[pid=22833] ppid=22830 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/22833/stat : 22833 (xcsp3-exec) S 22830 22833 19660 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 147403432 9740288 345 33554432000 4194304 5098028 140731290660304 140731290658408 140065630212732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16281600 140731290661988 140731290662199 140731290662199 140731290664939 0
/proc/22833/statm: 2378 345 289 221 0 87 0
[pid=22835] ppid=22833 vsize=26006188 memory=91892 CPUtime=1.63 cores=0-7
/proc/22835/stat : 22835 (java) S 22833 22833 19660 0 -1 1077944320 13146 0 0 0 156 7 0 0 20 0 20 0 147403432 26630336512 22973 33554432000 4194304 4196468 140721051883312 140721051865856 140610424512247 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
/proc/22835/statm: 6501547 22973 3207 1 0 6488781 0
[pid=22835/tid=22836] ppid=22833 vsize=26006188 memory=279426009480880 CPUtime=0.66 cores=0-7
/proc/22835/task/22836/stat : 22836 (java) R 22833 22833 19660 0 -1 4202560 6815 0 0 0 63 3 0 0 20 0 20 0 147403433 26630336512 22973 33554432000 4194304 4196468 140721051883312 140610428746736 140610065881163 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22837] ppid=22833 vsize=26006188 memory=139713004741488 CPUtime=0 cores=0-7
/proc/22835/task/22837/stat : 22837 (java) S 22833 22833 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147403434 26630336512 22973 33554432000 4194304 4196468 140721051883312 140610385472272 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22838] ppid=22833 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/22835/task/22838/stat : 22838 (java) S 22833 22833 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147403434 26630336512 22973 33554432000 4194304 4196468 140721051883312 140609981954960 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22839] ppid=22833 vsize=26006188 memory=8736 CPUtime=0 cores=0-7
################
# More data... #
################
[pid=22835/tid=23030] ppid=22833 vsize=26540748 memory=4048 CPUtime=2018.23 cores=0-7
/proc/22835/task/23030/stat : 23030 (java) R 22833 22833 19660 0 -1 4202560 7013 0 0 0 201819 4 0 0 20 0 28 0 147444445 27177725952 775189 33554432000 4194304 4196468 140721051883312 140609120612336 140610069052168 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
Current children cumulated CPU time: 19477.6 s
Current children cumulated vsize: 26550260 KiB
Current children cumulated memory: 3102136 KiB
[startup+2502.3 s]
/proc/loadavg: 8.64 8.34 8.24 9/209 23085
/proc/meminfo: memFree=18291080/32770624 swapFree=67108860/67108860
[pid=22833] ppid=22830 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/22833/stat : 22833 (xcsp3-exec) S 22830 22833 19660 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 147403432 9740288 345 33554432000 4194304 5098028 140731290660304 140731290658408 140065630212732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16281600 140731290661988 140731290662199 140731290662199 140731290664939 0
/proc/22833/statm: 2378 345 289 221 0 87 0
[pid=22835] ppid=22833 vsize=26540748 memory=3098244 CPUtime=19956.2 cores=0-7
/proc/22835/stat : 22835 (java) S 22833 22833 19660 0 -1 1077944320 376579 0 0 0 1995163 455 0 0 20 0 28 0 147403432 27177725952 774561 33554432000 4194304 4196468 140721051883312 140721051865856 140610424512247 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
/proc/22835/statm: 6635187 774561 3288 1 0 6622421 0
[pid=22835/tid=22836] ppid=22833 vsize=26540748 memory=3098232 CPUtime=1.28 cores=0-7
/proc/22835/task/22836/stat : 22836 (java) S 22833 22833 19660 0 -1 1077944384 7791 0 0 0 123 5 0 0 20 0 28 0 147403433 27177725952 774561 33554432000 4194304 4196468 140721051883312 140610428753024 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22837] ppid=22833 vsize=26540748 memory=1380 CPUtime=0.31 cores=0-7
/proc/22835/task/22837/stat : 22837 (java) S 22833 22833 19660 0 -1 1077944384 4952 0 0 0 25 6 0 0 20 0 28 0 147403434 27177725952 774561 33554432000 4194304 4196468 140721051883312 140610385472272 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22838] ppid=22833 vsize=26540748 memory=279426011940832 CPUtime=0.32 cores=0-7
/proc/22835/task/22838/stat : 22838 (java) S 22833 22833 19660 0 -1 1077944384 4535 0 0 0 26 6 0 0 20 0 28 0 147403434 27177725952 774561 33554432000 4194304 4196468 140721051883312 140609981954960 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22839] ppid=22833 vsize=26540748 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/22835/task/22839/stat : 22839 (java) S 22833 22833 19660 0 -1 1077944384 6670 0 0 0 23 6 0 0 20 0 28 0 147403434 27177725952 774561 33554432000 4194304 4196468 140721051883312 140609980902416 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22840] ppid=22833 vsize=26540748 memory=-9001733975035308135 CPUtime=0.31 cores=0-7
/proc/22835/task/22840/stat : 22840 (java) S 22833 22833 19660 0 -1 1077944384 3107 0 0 0 25 6 0 0 20 0 28 0 147403434 27177725952 774561 33554432000 4194304 4196468 140721051883312 140609979849872 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22841] ppid=22833 vsize=26540748 memory=3100260 CPUtime=0.29 cores=0-7
/proc/22835/task/22841/stat : 22841 (java) S 22833 22833 19660 0 -1 1077944384 4566 0 0 0 24 5 0 0 20 0 28 0 147403434 27177725952 774561 33554432000 4194304 4196468 140721051883312 140609978796304 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22842] ppid=22833 vsize=26540748 memory=4144 CPUtime=0.3 cores=0-7
/proc/22835/task/22842/stat : 22842 (java) S 22833 22833 19660 0 -1 1077944384 5294 0 0 0 25 5 0 0 20 0 28 0 147403434 27177725952 774561 33554432000 4194304 4196468 140721051883312 140609977743760 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22843] ppid=22833 vsize=26540748 memory=4620 CPUtime=0.31 cores=0-7
/proc/22835/task/22843/stat : 22843 (java) S 22833 22833 19660 0 -1 1077944384 4894 0 0 0 25 6 0 0 20 0 28 0 147403434 27177725952 774561 33554432000 4194304 4196468 140721051883312 140609976691216 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22844] ppid=22833 vsize=26540748 memory=1196 CPUtime=0.31 cores=0-7
/proc/22835/task/22844/stat : 22844 (java) S 22833 22833 19660 0 -1 1077944384 4903 0 0 0 25 6 0 0 20 0 28 0 147403434 27177725952 774561 33554432000 4194304 4196468 140721051883312 140609975638672 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22845] ppid=22833 vsize=26540748 memory=1380 CPUtime=0.16 cores=0-7
/proc/22835/task/22845/stat : 22845 (java) S 22833 22833 19660 0 -1 1077944384 18732 0 0 0 11 5 0 0 20 0 28 0 147403435 27177725952 774561 33554432000 4194304 4196468 140721051883312 140609144412656 140610424523394 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22846] ppid=22833 vsize=26540748 memory=3099760 CPUtime=0 cores=0-7
/proc/22835/task/22846/stat : 22846 (java) S 22833 22833 19660 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 147403435 27177725952 774561 33554432000 4194304 4196468 140721051883312 140609143358944 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22847] ppid=22833 vsize=26540748 memory=30 CPUtime=0 cores=0-7
/proc/22835/task/22847/stat : 22847 (java) S 22833 22833 19660 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 147403436 27177725952 774561 33554432000 4194304 4196468 140721051883312 140609142306304 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22848] ppid=22833 vsize=26540748 memory=30 CPUtime=0 cores=0-7
/proc/22835/task/22848/stat : 22848 (java) S 22833 22833 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 147403438 27177725952 774561 33554432000 4194304 4196468 140721051883312 140609141254864 140610424530843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22849] ppid=22833 vsize=26540748 memory=1380 CPUtime=3.51 cores=0-7
/proc/22835/task/22849/stat : 22849 (java) S 22833 22833 19660 0 -1 1077944384 21222 0 0 0 346 5 0 0 20 0 28 0 147403438 27177725952 774561 33554432000 4194304 4196468 140721051883312 140609140201456 140610424523394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22850] ppid=22833 vsize=26540748 memory=3101776 CPUtime=3.1 cores=0-7
/proc/22835/task/22850/stat : 22850 (java) S 22833 22833 19660 0 -1 1077944384 18759 0 0 0 307 3 0 0 20 0 28 0 147403438 27177725952 774561 33554432000 4194304 4196468 140721051883312 140609139148912 140610424523394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22851] ppid=22833 vsize=26540748 memory=1380 CPUtime=3.16 cores=0-7
/proc/22835/task/22851/stat : 22851 (java) S 22833 22833 19660 0 -1 1077944384 20017 0 0 0 311 5 0 0 20 0 28 0 147403438 27177725952 774561 33554432000 4194304 4196468 140721051883312 140609138096368 140610424523394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22852] ppid=22833 vsize=26540748 memory=3098744 CPUtime=1.05 cores=0-7
/proc/22835/task/22852/stat : 22852 (java) S 22833 22833 19660 0 -1 1077944384 14752 0 0 0 102 3 0 0 20 0 28 0 147403438 27177725952 774561 33554432000 4194304 4196468 140721051883312 140609137043824 140610424523394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22853] ppid=22833 vsize=26540748 memory=4144 CPUtime=0 cores=0-7
/proc/22835/task/22853/stat : 22853 (java) S 22833 22833 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 147403439 27177725952 774561 33554432000 4194304 4196468 140721051883312 140609135991520 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22854] ppid=22833 vsize=26540748 memory=1380 CPUtime=0.93 cores=0-7
/proc/22835/task/22854/stat : 22854 (java) S 22833 22833 19660 0 -1 1077944384 5375 0 0 0 0 93 0 0 20 0 28 0 147403439 27177725952 774561 33554432000 4194304 4196468 140721051883312 140609134939056 140610424523394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=23023] ppid=22833 vsize=26540748 memory=3098232 CPUtime=2081.43 cores=0-7
/proc/22835/task/23023/stat : 23023 (java) R 22833 22833 19660 0 -1 4202560 8385 0 0 0 208139 4 0 0 20 0 28 0 147444445 27177725952 774561 33554432000 4194304 4196468 140721051883312 140609126927864 140610073131908 0 4 0 16800975 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=23024] ppid=22833 vsize=26540748 memory=3098744 CPUtime=2086.41 cores=0-7
/proc/22835/task/23024/stat : 23024 (java) R 22833 22833 19660 0 -1 4202560 8741 0 0 0 208636 5 0 0 20 0 28 0 147444445 27177725952 774561 33554432000 4194304 4196468 140721051883312 140609123771000 140610070178084 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=23025] ppid=22833 vsize=26540748 memory=5792 CPUtime=2087.71 cores=0-7
/proc/22835/task/23025/stat : 23025 (java) R 22833 22833 19660 0 -1 4202560 11191 0 0 0 208764 7 0 0 20 0 28 0 147444445 27177725952 774561 33554432000 4194304 4196468 140721051883312 140609119559256 140610070266134 0 4 0 16800975 0 0 0 -1 7 0 0 7 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=23026] ppid=22833 vsize=26540748 memory=796 CPUtime=2089.84 cores=0-7
/proc/22835/task/23026/stat : 23026 (java) R 22833 22833 19660 0 -1 4202560 60311 0 0 0 208873 111 0 0 20 0 28 0 147444445 27177725952 774561 33554432000 4194304 4196468 140721051883312 140609122717512 140610061332768 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=23027] ppid=22833 vsize=26540748 memory=1436 CPUtime=2084.95 cores=0-7
/proc/22835/task/23027/stat : 23027 (java) R 22833 22833 19660 0 -1 4202560 13480 0 0 0 208482 13 0 0 20 0 28 0 147444445 27177725952 774561 33554432000 4194304 4196468 140721051883312 140609125875928 140610069051120 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=23028] ppid=22833 vsize=26540748 memory=1380 CPUtime=2091.41 cores=0-7
/proc/22835/task/23028/stat : 23028 (java) R 22833 22833 19660 0 -1 4202560 23752 0 0 0 209106 35 0 0 20 0 28 0 147444445 27177725952 774561 33554432000 4194304 4196468 140721051883312 140609124825984 140610072976437 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=23029] ppid=22833 vsize=26540748 memory=3098744 CPUtime=2090.45 cores=0-7
/proc/22835/task/23029/stat : 23029 (java) R 22833 22833 19660 0 -1 4202560 31261 0 0 0 209026 19 0 0 20 0 28 0 147444445 27177725952 774561 33554432000 4194304 4196468 140721051883312 140609121665224 140610070120012 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=23030] ppid=22833 vsize=26540748 memory=796 CPUtime=2078.16 cores=0-7
/proc/22835/task/23030/stat : 23030 (java) R 22833 22833 19660 0 -1 4202560 7255 0 0 0 207812 4 0 0 20 0 28 0 147444445 27177725952 774561 33554432000 4194304 4196468 140721051883312 140609120612320 140610073131728 0 4 0 16800975 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
Current children cumulated CPU time: 19956.2 s
Current children cumulated vsize: 26550260 KiB
Current children cumulated memory: 3099624 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 8.64 8.35 8.25 9/209 23085
/proc/meminfo: memFree=18292696/32770624 swapFree=67108860/67108860
[pid=22833] ppid=22830 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/22833/stat : 22833 (xcsp3-exec) S 22830 22833 19660 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 147403432 9740288 345 33554432000 4194304 5098028 140731290660304 140731290658408 140065630212732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16281600 140731290661988 140731290662199 140731290662199 140731290664939 0
/proc/22833/statm: 2378 345 289 221 0 87 0
[pid=22835] ppid=22833 vsize=26540748 memory=3097256 CPUtime=20097.4 cores=0-7
/proc/22835/stat : 22835 (java) S 22833 22833 19660 0 -1 1077944320 378144 0 0 0 2009284 456 0 0 20 0 28 0 147403432 27177725952 774314 33554432000 4194304 4196468 140721051883312 140721051865856 140610424512247 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
/proc/22835/statm: 6635187 774314 3288 1 0 6622421 0
[pid=22835/tid=22836] ppid=22833 vsize=26540748 memory=6791534058613427641 CPUtime=1.28 cores=0-7
/proc/22835/task/22836/stat : 22836 (java) S 22833 22833 19660 0 -1 1077944384 7791 0 0 0 123 5 0 0 20 0 28 0 147403433 27177725952 774314 33554432000 4194304 4196468 140721051883312 140610428753024 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22837] ppid=22833 vsize=26540748 memory=4126316290023845779 CPUtime=0.32 cores=0-7
/proc/22835/task/22837/stat : 22837 (java) S 22833 22833 19660 0 -1 1077944384 4966 0 0 0 26 6 0 0 20 0 28 0 147403434 27177725952 774314 33554432000 4194304 4196468 140721051883312 140610385472272 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22838] ppid=22833 vsize=26540748 memory=1572 CPUtime=0.32 cores=0-7
/proc/22835/task/22838/stat : 22838 (java) S 22833 22833 19660 0 -1 1077944384 4550 0 0 0 26 6 0 0 20 0 28 0 147403434 27177725952 774314 33554432000 4194304 4196468 140721051883312 140609981954960 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22839] ppid=22833 vsize=26540748 memory=2244 CPUtime=0.29 cores=0-7
/proc/22835/task/22839/stat : 22839 (java) S 22833 22833 19660 0 -1 1077944384 6677 0 0 0 23 6 0 0 20 0 28 0 147403434 27177725952 774314 33554432000 4194304 4196468 140721051883312 140609980902416 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22840] ppid=22833 vsize=26540748 memory=4124 CPUtime=0.31 cores=0-7
/proc/22835/task/22840/stat : 22840 (java) S 22833 22833 19660 0 -1 1077944384 3129 0 0 0 25 6 0 0 20 0 28 0 147403434 27177725952 774314 33554432000 4194304 4196468 140721051883312 140609979849872 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22841] ppid=22833 vsize=26540748 memory=1296 CPUtime=0.3 cores=0-7
/proc/22835/task/22841/stat : 22841 (java) S 22833 22833 19660 0 -1 1077944384 4571 0 0 0 25 5 0 0 20 0 28 0 147403434 27177725952 774314 33554432000 4194304 4196468 140721051883312 140609978796304 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22842] ppid=22833 vsize=26540748 memory=2408 CPUtime=0.31 cores=0-7
/proc/22835/task/22842/stat : 22842 (java) S 22833 22833 19660 0 -1 1077944384 5316 0 0 0 26 5 0 0 20 0 28 0 147403434 27177725952 774314 33554432000 4194304 4196468 140721051883312 140609977743760 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22843] ppid=22833 vsize=26540748 memory=1732 CPUtime=0.32 cores=0-7
/proc/22835/task/22843/stat : 22843 (java) S 22833 22833 19660 0 -1 1077944384 4920 0 0 0 26 6 0 0 20 0 28 0 147403434 27177725952 774314 33554432000 4194304 4196468 140721051883312 140609976691216 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22844] ppid=22833 vsize=26540748 memory=1224 CPUtime=0.32 cores=0-7
/proc/22835/task/22844/stat : 22844 (java) S 22833 22833 19660 0 -1 1077944384 5216 0 0 0 26 6 0 0 20 0 28 0 147403434 27177725952 774314 33554432000 4194304 4196468 140721051883312 140609975638672 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22845] ppid=22833 vsize=26540748 memory=12136 CPUtime=0.17 cores=0-7
/proc/22835/task/22845/stat : 22845 (java) S 22833 22833 19660 0 -1 1077944384 18933 0 0 0 11 6 0 0 20 0 28 0 147403435 27177725952 774314 33554432000 4194304 4196468 140721051883312 140609144412656 140610424523394 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22846] ppid=22833 vsize=26540748 memory=5792 CPUtime=0 cores=0-7
/proc/22835/task/22846/stat : 22846 (java) S 22833 22833 19660 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 147403435 27177725952 774314 33554432000 4194304 4196468 140721051883312 140609143358944 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22847] ppid=22833 vsize=26540748 memory=796 CPUtime=0 cores=0-7
/proc/22835/task/22847/stat : 22847 (java) S 22833 22833 19660 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 147403436 27177725952 774314 33554432000 4194304 4196468 140721051883312 140609142306304 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22848] ppid=22833 vsize=26540748 memory=1436 CPUtime=0 cores=0-7
/proc/22835/task/22848/stat : 22848 (java) S 22833 22833 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 147403438 27177725952 774314 33554432000 4194304 4196468 140721051883312 140609141254864 140610424530843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22849] ppid=22833 vsize=26540748 memory=1012 CPUtime=3.51 cores=0-7
/proc/22835/task/22849/stat : 22849 (java) S 22833 22833 19660 0 -1 1077944384 21224 0 0 0 346 5 0 0 20 0 28 0 147403438 27177725952 774314 33554432000 4194304 4196468 140721051883312 140609140201456 140610424523394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22850] ppid=22833 vsize=26540748 memory=1156 CPUtime=3.1 cores=0-7
/proc/22835/task/22850/stat : 22850 (java) S 22833 22833 19660 0 -1 1077944384 18761 0 0 0 307 3 0 0 20 0 28 0 147403438 27177725952 774314 33554432000 4194304 4196468 140721051883312 140609139148912 140610424523394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22851] ppid=22833 vsize=26540748 memory=3856 CPUtime=3.16 cores=0-7
/proc/22835/task/22851/stat : 22851 (java) S 22833 22833 19660 0 -1 1077944384 20019 0 0 0 311 5 0 0 20 0 28 0 147403438 27177725952 774314 33554432000 4194304 4196468 140721051883312 140609138096368 140610424523394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22852] ppid=22833 vsize=26540748 memory=1380 CPUtime=1.05 cores=0-7
/proc/22835/task/22852/stat : 22852 (java) S 22833 22833 19660 0 -1 1077944384 14754 0 0 0 102 3 0 0 20 0 28 0 147403438 27177725952 774314 33554432000 4194304 4196468 140721051883312 140609137043824 140610424523394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22853] ppid=22833 vsize=26540748 memory=3097768 CPUtime=0 cores=0-7
/proc/22835/task/22853/stat : 22853 (java) S 22833 22833 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 147403439 27177725952 774314 33554432000 4194304 4196468 140721051883312 140609135991520 140610424522453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=22854] ppid=22833 vsize=26540748 memory=6791534058613427641 CPUtime=0.94 cores=0-7
/proc/22835/task/22854/stat : 22854 (java) S 22833 22833 19660 0 -1 1077944384 5388 0 0 0 0 94 0 0 20 0 28 0 147403439 27177725952 774314 33554432000 4194304 4196468 140721051883312 140609134939056 140610424523394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=23023] ppid=22833 vsize=26540748 memory=4126316290023845779 CPUtime=2099.1 cores=0-7
/proc/22835/task/23023/stat : 23023 (java) R 22833 22833 19660 0 -1 4202560 8452 0 0 0 209906 4 0 0 20 0 28 0 147444445 27177725952 774314 33554432000 4194304 4196468 140721051883312 140609126927816 140610069657681 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=23024] ppid=22833 vsize=26540748 memory=1380 CPUtime=2104.12 cores=0-7
/proc/22835/task/23024/stat : 23024 (java) R 22833 22833 19660 0 -1 4202560 8814 0 0 0 210406 6 0 0 20 0 28 0 147444445 27177725952 774314 33554432000 4194304 4196468 140721051883312 140609123771096 140610065928504 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=23025] ppid=22833 vsize=26540748 memory=3097768 CPUtime=2105.18 cores=0-7
/proc/22835/task/23025/stat : 23025 (java) R 22833 22833 19660 0 -1 4202560 11249 0 0 0 210511 7 0 0 20 0 28 0 147444445 27177725952 774314 33554432000 4194304 4196468 140721051883312 140609119559240 140610062129038 0 4 0 16800975 0 0 0 -1 7 0 0 7 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=23026] ppid=22833 vsize=26540748 memory=1296 CPUtime=2107.53 cores=0-7
/proc/22835/task/23026/stat : 23026 (java) R 22833 22833 19660 0 -1 4202560 60716 0 0 0 210641 112 0 0 20 0 28 0 147444445 27177725952 774314 33554432000 4194304 4196468 140721051883312 140609122717216 140610071797080 0 4 0 16800975 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=23027] ppid=22833 vsize=26540748 memory=279426011382432 CPUtime=2102.64 cores=0-7
/proc/22835/task/23027/stat : 23027 (java) R 22833 22833 19660 0 -1 4202560 13538 0 0 0 210251 13 0 0 20 0 28 0 147444445 27177725952 774314 33554432000 4194304 4196468 140721051883312 140609125875656 140610072589139 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=23028] ppid=22833 vsize=26540748 memory=288230574492221466 CPUtime=2109.11 cores=0-7
/proc/22835/task/23028/stat : 23028 (java) R 22833 22833 19660 0 -1 4202560 23842 0 0 0 210876 35 0 0 20 0 28 0 147444445 27177725952 774314 33554432000 4194304 4196468 140721051883312 140609124822792 140610068861791 0 4 0 16800975 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=23029] ppid=22833 vsize=26540748 memory=288230621803970871 CPUtime=2108 cores=0-7
/proc/22835/task/23029/stat : 23029 (java) R 22833 22833 19660 0 -1 4202560 31379 0 0 0 210781 19 0 0 20 0 28 0 147444445 27177725952 774314 33554432000 4194304 4196468 140721051883312 140609121667952 140610070640447 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
[pid=22835/tid=23030] ppid=22833 vsize=26540748 memory=15262532197681705 CPUtime=2095.85 cores=0-7
/proc/22835/task/23030/stat : 23030 (java) R 22833 22833 19660 0 -1 4202560 7305 0 0 0 209581 4 0 0 20 0 28 0 147444445 27177725952 774314 33554432000 4194304 4196468 140721051883312 140609120612344 140610068449532 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 37437440 140721051886738 140721051886915 140721051886915 140721051889615 0
Current children cumulated CPU time: 20097.4 s
Current children cumulated vsize: 26550260 KiB
Current children cumulated memory: 3098636 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 22833 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002041 s, system=0 s
[startup+2520.13 s]
# the end of solver process 22835 was just reported to runsolver
# cumulated CPU time of all completed processes: user=20093.7 s, system=4.58714 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2520.13
CPU time (s): 20098.3
CPU user time (s): 20093.7
CPU system time (s): 4.58714
CPU usage (%): 797.507
Max. virtual memory (cumulated for all children) (KiB): 26550260
Max. memory (cumulated for all children) (KiB): 3440252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20093.7
system time used= 4.58714
maximum resident set size= 3439176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 379123
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68756
involuntary context switches= 204320
# summary of solver processes directly reported to runsolver:
# pid: 22833,22835
# total CPU time (s): 20098.3
# total CPU user time (s): 20093.7
# total CPU system time (s): 4.58714
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 29.5178 second user time and 20.963 second system time
The end
Begin job on node149 at 2017-08-19 13:32:47 IDJOB=4280425 IDBENCH=127041 IDSOLVER=2675 FILE ID=node149/4280425-1503143227 RUNJOBID= node149-1503132049-19687 PBS_JOBID= 20630788 Free space on /tmp= 61768 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-040.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-4280425-1503143227/watcher-4280425-1503143227 -o /tmp/evaluation-result-4280425-1503143227/solver-4280425-1503143227 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1503132049-19687 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1791734040 HOME/instance-4280425-1503143227.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 4e9e0842de773da2d9de44121d9bf85e RANDOM SEED=1791734040 node149.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.43 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.43 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.43 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.43 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: 21385260 kB MemAvailable: 31950404 kB Buffers: 347100 kB Cached: 10488604 kB SwapCached: 0 kB Active: 2164928 kB Inactive: 8726028 kB Active(anon): 57740 kB Inactive(anon): 33128 kB Active(file): 2107188 kB Inactive(file): 8692900 kB Unevictable: 7912 kB Mlocked: 7912 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7712 kB Writeback: 0 kB AnonPages: 66780 kB Mapped: 50300 kB Shmem: 33416 kB Slab: 188120 kB SReclaimable: 161780 kB SUnreclaim: 26340 kB KernelStack: 3536 kB PageTables: 5160 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 333344 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 97664 kB DirectMap2M: 33447936 kB Free space on /tmp at the end= 61760 MiB End job on node149 at 2017-08-19 14:14:47