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-09) | SAT (TO) | 188 | 2003.01 | 252.117 |
| 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 | 168 |
| Best CPU time to get the best result obtained on this benchmark | 1987.84 |
| 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-4271605-1502643436.xml" -tl '2016s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4271605-1502643436.xml, -tl, 2016s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 4.15/1.45 c solve instance... 5.53/1.70 o 20540 6.28/1.71 o 17576 6.28/1.71 o 17432 6.28/1.72 o 15060 6.28/1.73 o 14916 6.28/1.73 o 14780 6.28/1.74 o 12960 6.28/1.75 o 12552 6.28/1.76 o 11244 6.28/1.77 o 11068 6.28/1.78 o 10932 6.28/1.78 o 10804 6.90/1.82 o 436 6.90/1.82 o 424 6.90/1.88 o 416 7.68/1.91 o 388 7.68/1.94 o 384 7.68/1.94 o 372 7.68/1.97 o 320 8.41/2.04 o 276 12.99/2.61 o 236 972.47/122.97 o 228 972.47/122.98 o 200 1024.22/129.46 o 196 1344.87/169.69 o 188 2002.25/252.08 s SATISFIABLE 2002.25/252.08 v <instantiation> 2002.25/252.08 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> 2002.25/252.08 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 -3 4 3 0 1 -4 -5 0 -3 -2 1 2 -3 -2 1 2 5 -4 -3 0 -1 0 -1 2 -1 2 -1 2 -1 -2 -1 0 1 0 -1 0 1 0 -1 9 16 9 0 1 16 25 0 9 4 1 4 9 4 1 4 25 16 9 0 1 0 1 4 1 4 1 4 1 4 1 0 1 0 1 0 1 0 1 </values> 2002.25/252.08 v </instantiation> 2002.25/252.08 c Unexpected resolution interruption!
OK 188
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 (14297 MiB free)
memory of node 1: 16384 MiB (14168 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271605-1502643436/watcher-4271605-1502643436 -o /tmp/evaluation-result-4271605-1502643436/solver-4271605-1502643436 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1502636397-3850 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1063017600 HOME/instance-4271605-1502643436.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=15600, runsolver pid=15597
Current StackSize limit: 8192 KiB
[startup+0.100154 s]*
/proc/loadavg: 1.01 2.33 4.49 2/200 15621
/proc/meminfo: memFree=29133152/32770624 swapFree=67108860/67108860
[pid=15600] ppid=15597 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/15600/stat : 15600 (xcsp3-exec) S 15597 15600 3823 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97431680 9740288 346 33554432000 4194304 5098028 140731401332384 140731401330488 140485411054204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37064704 140731401335914 140731401336124 140731401336124 140731401338859 0
/proc/15600/statm: 2378 346 289 221 0 87 0
[pid=15602] ppid=15600 vsize=25999808 memory=26468 CPUtime=0.12 cores=0-7
/proc/15602/stat : 15602 (java) S 15600 15600 3823 0 -1 1077944320 5489 0 0 0 11 1 0 0 20 0 20 0 97431680 26623803392 6617 33554432000 4194304 4196468 140735494643200 140735494625744 140337797095159 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
/proc/15602/statm: 6499952 6617 2860 1 0 6488269 0
[pid=15602/tid=15603] ppid=15600 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/15602/task/15603/stat : 15603 (java) R 15600 15600 3823 0 -1 4202560 3487 0 0 0 8 0 0 0 20 0 20 0 97431680 26623803392 6617 33554432000 4194304 4196468 140735494643200 140337801321760 140337797107094 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15604] ppid=15600 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/15602/task/15604/stat : 15604 (java) S 15600 15600 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97431681 26623803392 6617 33554432000 4194304 4196468 140735494643200 140337749715856 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15605] ppid=15600 vsize=25999808 memory=139727218206336 CPUtime=0 cores=0-7
/proc/15602/task/15605/stat : 15605 (java) S 15600 15600 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97431681 26623803392 6617 33554432000 4194304 4196468 140735494643200 140337748663056 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15606] ppid=15600 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15602/task/15606/stat : 15606 (java) S 15600 15600 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97431681 26623803392 6617 33554432000 4194304 4196468 140735494643200 140337747610768 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15607] ppid=15600 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15602/task/15607/stat : 15607 (java) S 15600 15600 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97431681 26623803392 6617 33554432000 4194304 4196468 140735494643200 140337746557968 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15608] ppid=15600 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15602/task/15608/stat : 15608 (java) S 15600 15600 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97431681 26623803392 6617 33554432000 4194304 4196468 140735494643200 140337745504656 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15609] ppid=15600 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/15602/task/15609/stat : 15609 (java) S 15600 15600 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97431681 26623803392 6617 33554432000 4194304 4196468 140735494643200 140337744451856 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15610] ppid=15600 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15602/task/15610/stat : 15610 (java) S 15600 15600 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97431681 26623803392 6617 33554432000 4194304 4196468 140735494643200 140337743399568 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15611] ppid=15600 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15602/task/15611/stat : 15611 (java) S 15600 15600 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97431681 26623803392 6617 33554432000 4194304 4196468 140735494643200 140337742346768 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15612] ppid=15600 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15602/task/15612/stat : 15612 (java) S 15600 15600 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97431683 26623803392 6617 33554432000 4194304 4196468 140735494643200 140336539163248 140337797106306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15613] ppid=15600 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15602/task/15613/stat : 15613 (java) S 15600 15600 3823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97431683 26623803392 6617 33554432000 4194304 4196468 140735494643200 140336538109216 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15614] ppid=15600 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15602/task/15614/stat : 15614 (java) S 15600 15600 3823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97431683 26623803392 6617 33554432000 4194304 4196468 140735494643200 140336537056880 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15615] ppid=15600 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15602/task/15615/stat : 15615 (java) S 15600 15600 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97431686 26623803392 6617 33554432000 4194304 4196468 140735494643200 140336536005200 140337797113755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15616] ppid=15600 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15602/task/15616/stat : 15616 (java) S 15600 15600 3823 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 20 0 97431686 26623803392 6617 33554432000 4194304 4196468 140735494643200 140336534952048 140337797106306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15617] ppid=15600 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15602/task/15617/stat : 15617 (java) S 15600 15600 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97431686 26623803392 6617 33554432000 4194304 4196468 140735494643200 140336533899248 140337797106306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15618] ppid=15600 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15602/task/15618/stat : 15618 (java) S 15600 15600 3823 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 97431686 26623803392 6617 33554432000 4194304 4196468 140735494643200 140336532846960 140337797106306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15619] ppid=15600 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/15602/task/15619/stat : 15619 (java) R 15600 15600 3823 0 -1 4202560 271 0 0 0 1 0 0 0 20 0 20 0 97431686 26623803392 6617 33554432000 4194304 4196468 140735494643200 140336531794160 140337781175646 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15620] ppid=15600 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15602/task/15620/stat : 15620 (java) S 15600 15600 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97431686 26623803392 6617 33554432000 4194304 4196468 140735494643200 140336530742112 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15621] ppid=15600 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/15602/task/15621/stat : 15621 (java) S 15600 15600 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97431686 26623803392 6617 33554432000 4194304 4196468 140735494643200 140336529689392 140337797106306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27852 KiB
[startup+0.210317 s]*
/proc/loadavg: 1.01 2.33 4.49 2/200 15621
/proc/meminfo: memFree=29121544/32770624 swapFree=67108860/67108860
[pid=15600] ppid=15597 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/15600/stat : 15600 (xcsp3-exec) S 15597 15600 3823 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97431680 9740288 346 33554432000 4194304 5098028 140731401332384 140731401330488 140485411054204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37064704 140731401335914 140731401336124 140731401336124 140731401338859 0
/proc/15600/statm: 2378 346 289 221 0 87 0
[pid=15602] ppid=15600 vsize=26004064 memory=39200 CPUtime=0.33 cores=0-7
/proc/15602/stat : 15602 (java) S 15600 15600 3823 0 -1 1077944320 8389 0 0 0 31 2 0 0 20 0 20 0 97431680 26628161536 9800 33554432000 4194304 4196468 140735494643200 140735494625744 140337797095159 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
/proc/15602/statm: 6501016 9800 3061 1 0 6488269 0
[pid=15602/tid=15603] ppid=15600 vsize=26004096 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/15602/task/15603/stat : 15603 (java) R 15600 15600 3823 0 -1 4202560 5455 0 0 0 18 1 0 0 20 0 20 0 97431680 26628194304 9800 33554432000 4194304 4196468 140735494643200 140337801296880 140337789774877 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15604] ppid=15600 vsize=26004096 memory=327 CPUtime=0 cores=0-7
/proc/15602/task/15604/stat : 15604 (java) S 15600 15600 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97431681 26628194304 9800 33554432000 4194304 4196468 140735494643200 140337749715856 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15605] ppid=15600 vsize=26004096 memory=3691175188465510048 CPUtime=0 cores=0-7
/proc/15602/task/15605/stat : 15605 (java) S 15600 15600 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97431681 26628194304 9800 33554432000 4194304 4196468 140735494643200 140337748663056 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15606] ppid=15600 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/15602/task/15606/stat : 15606 (java) S 15600 15600 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97431681 26628161536 9800 33554432000 4194304 4196468 140735494643200 140337747610768 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15607] ppid=15600 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15602/task/15607/stat : 15607 (java) S 15600 15600 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97431681 26628161536 9800 33554432000 4194304 4196468 140735494643200 140337746557968 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15608] ppid=15600 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15602/task/15608/stat : 15608 (java) S 15600 15600 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97431681 26628161536 9800 33554432000 4194304 4196468 140735494643200 140337745504656 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15609] ppid=15600 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/15602/task/15609/stat : 15609 (java) S 15600 15600 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97431681 26628161536 9800 33554432000 4194304 4196468 140735494643200 140337744451856 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15610] ppid=15600 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15602/task/15610/stat : 15610 (java) S 15600 15600 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97431681 26628161536 9800 33554432000 4194304 4196468 140735494643200 140337743399568 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15611] ppid=15600 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/15602/task/15611/stat : 15611 (java) S 15600 15600 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97431681 26628194304 9800 33554432000 4194304 4196468 140735494643200 140337742346768 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15612] ppid=15600 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/15602/task/15612/stat : 15612 (java) S 15600 15600 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97431683 26628194304 9800 33554432000 4194304 4196468 140735494643200 140336539163248 140337797106306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15613] ppid=15600 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/15602/task/15613/stat : 15613 (java) S 15600 15600 3823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97431683 26628194304 9800 33554432000 4194304 4196468 140735494643200 140336538109216 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15614] ppid=15600 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15602/task/15614/stat : 15614 (java) S 15600 15600 3823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97431683 26628161536 9800 33554432000 4194304 4196468 140735494643200 140336537056880 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15615] ppid=15600 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15602/task/15615/stat : 15615 (java) S 15600 15600 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97431686 26628161536 9800 33554432000 4194304 4196468 140735494643200 140336536005200 140337797113755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15616] ppid=15600 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/15602/task/15616/stat : 15616 (java) S 15600 15600 3823 0 -1 1077944384 495 0 0 0 1 0 0 0 20 0 20 0 97431686 26628161536 9800 33554432000 4194304 4196468 140735494643200 140336534952048 140337797106306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15617] ppid=15600 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/15602/task/15617/stat : 15617 (java) S 15600 15600 3823 0 -1 1077944384 205 0 0 0 2 0 0 0 20 0 20 0 97431686 26628161536 9800 33554432000 4194304 4196468 140735494643200 140336533899248 140337797106306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15618] ppid=15600 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/15602/task/15618/stat : 15618 (java) S 15600 15600 3823 0 -1 1077944384 163 0 0 0 1 0 0 0 20 0 20 0 97431686 26628161536 9800 33554432000 4194304 4196468 140735494643200 140336532846960 140337797106306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15619] ppid=15600 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/15602/task/15619/stat : 15619 (java) S 15600 15600 3823 0 -1 1077944384 766 0 0 0 7 0 0 0 20 0 20 0 97431686 26628161536 9800 33554432000 4194304 4196468 140735494643200 140336531794160 140337797106306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15620] ppid=15600 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/15602/task/15620/stat : 15620 (java) S 15600 15600 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97431686 26628194304 9800 33554432000 4194304 4196468 140735494643200 140336530742112 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15621] ppid=15600 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/15602/task/15621/stat : 15621 (java) S 15600 15600 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97431686 26628194304 9800 33554432000 4194304 4196468 140735494643200 140336529689392 140337797106306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40584 KiB
[startup+0.310419 s]*
/proc/loadavg: 1.01 2.33 4.49 4/200 15621
/proc/meminfo: memFree=29117140/32770624 swapFree=67108860/67108860
[pid=15600] ppid=15597 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/15600/stat : 15600 (xcsp3-exec) S 15597 15600 3823 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97431680 9740288 346 33554432000 4194304 5098028 140731401332384 140731401330488 140485411054204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37064704 140731401335914 140731401336124 140731401336124 140731401338859 0
/proc/15600/statm: 2378 346 289 221 0 87 0
[pid=15602] ppid=15600 vsize=26004064 memory=45780 CPUtime=0.51 cores=0-7
/proc/15602/stat : 15602 (java) S 15600 15600 3823 0 -1 1077944320 9174 0 0 0 48 3 0 0 20 0 20 0 97431680 26628161536 11445 33554432000 4194304 4196468 140735494643200 140735494625744 140337797095159 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
/proc/15602/statm: 6501016 11445 3077 1 0 6488269 0
[pid=15602/tid=15603] ppid=15600 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/15602/task/15603/stat : 15603 (java) R 15600 15600 3823 0 -1 4202560 6071 0 0 0 28 1 0 0 20 0 20 0 97431680 26628161536 11445 33554432000 4194304 4196468 140735494643200 140337801333168 140337797107094 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15604] ppid=15600 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15602/task/15604/stat : 15604 (java) S 15600 15600 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97431681 26628161536 11445 33554432000 4194304 4196468 140735494643200 140337749715856 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15605] ppid=15600 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15602/task/15605/stat : 15605 (java) S 15600 15600 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97431681 26628161536 11445 33554432000 4194304 4196468 140735494643200 140337748663056 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15606] ppid=15600 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15602/task/15606/stat : 15606 (java) S 15600 15600 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97431681 26628161536 11445 33554432000 4194304 4196468 140735494643200 140337747610768 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15607] ppid=15600 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15602/task/15607/stat : 15607 (java) S 15600 15600 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97431681 26628161536 11445 33554432000 4194304 4196468 140735494643200 140337746557968 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15608] ppid=15600 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/15602/task/15608/stat : 15608 (java) S 15600 15600 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97431681 26628161536 11445 33554432000 4194304 4196468 140735494643200 140337745504656 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15609] ppid=15600 vsize=26004064 memory=139727097394095 CPUtime=0 cores=0-7
/proc/15602/task/15609/stat : 15609 (java) S 15600 15600 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97431681 26628161536 11445 33554432000 4194304 4196468 140735494643200 140337744451856 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15610] ppid=15600 vsize=26004064 memory=139727097396400 CPUtime=0 cores=0-7
/proc/15602/task/15610/stat : 15610 (java) S 15600 15600 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97431681 26628161536 11445 33554432000 4194304 4196468 140735494643200 140337743399568 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15611] ppid=15600 vsize=26004064 memory=139727097398704 CPUtime=0 cores=0-7
/proc/15602/task/15611/stat : 15611 (java) S 15600 15600 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97431681 26628161536 11445 33554432000 4194304 4196468 140735494643200 140337742346768 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15612] ppid=15600 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15602/task/15612/stat : 15612 (java) S 15600 15600 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97431683 26628161536 11445 33554432000 4194304 4196468 140735494643200 140336539163248 140337797106306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15613] ppid=15600 vsize=26004064 memory=279454194804368 CPUtime=0 cores=0-7
/proc/15602/task/15613/stat : 15613 (java) S 15600 15600 3823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97431683 26628161536 11445 33554432000 4194304 4196468 140735494643200 140336538109216 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15614] ppid=15600 vsize=26004064 memory=279454194811280 CPUtime=0 cores=0-7
/proc/15602/task/15614/stat : 15614 (java) S 15600 15600 3823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97431683 26628161536 11445 33554432000 4194304 4196468 140735494643200 140336537056880 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15615] ppid=15600 vsize=26004064 memory=279454194752560 CPUtime=0 cores=0-7
/proc/15602/task/15615/stat : 15615 (java) S 15600 15600 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97431686 26628161536 11445 33554432000 4194304 4196468 140735494643200 140336536005200 140337797113755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15616] ppid=15600 vsize=26004064 memory=279454194825104 CPUtime=0.02 cores=0-7
/proc/15602/task/15616/stat : 15616 (java) S 15600 15600 3823 0 -1 1077944384 516 0 0 0 2 0 0 0 20 0 20 0 97431686 26628161536 11445 33554432000 4194304 4196468 140735494643200 140336534952048 140337797106306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15617] ppid=15600 vsize=26004064 memory=279454194832016 CPUtime=0.02 cores=0-7
/proc/15602/task/15617/stat : 15617 (java) S 15600 15600 3823 0 -1 1077944384 218 0 0 0 2 0 0 0 20 0 20 0 97431686 26628161536 11445 33554432000 4194304 4196468 140735494643200 140336533899248 140337797106306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15618] ppid=15600 vsize=26004064 memory=279454194829712 CPUtime=0.02 cores=0-7
/proc/15602/task/15618/stat : 15618 (java) R 15600 15600 3823 0 -1 4202560 163 0 0 0 2 0 0 0 20 0 20 0 97431686 26628161536 11445 33554432000 4194304 4196468 140735494643200 140336532837072 140337781993401 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15619] ppid=15600 vsize=26004064 memory=279454194845872 CPUtime=0.12 cores=0-7
/proc/15602/task/15619/stat : 15619 (java) R 15600 15600 3823 0 -1 4202560 892 0 0 0 12 0 0 0 20 0 20 0 97431686 26628161536 11445 33554432000 4194304 4196468 140735494643200 140336531791096 140337789812311 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15620] ppid=15600 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15602/task/15620/stat : 15620 (java) S 15600 15600 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97431686 26628161536 11445 33554432000 4194304 4196468 140735494643200 140336530742112 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15621] ppid=15600 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/15602/task/15621/stat : 15621 (java) S 15600 15600 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97431686 26628161536 11445 33554432000 4194304 4196468 140735494643200 140336529689392 140337797106306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47164 KiB
[startup+0.701046 s]
/proc/loadavg: 1.01 2.33 4.49 3/200 15621
/proc/meminfo: memFree=29100016/32770624 swapFree=67108860/67108860
[pid=15600] ppid=15597 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/15600/stat : 15600 (xcsp3-exec) S 15597 15600 3823 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97431680 9740288 346 33554432000 4194304 5098028 140731401332384 140731401330488 140485411054204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37064704 140731401335914 140731401336124 140731401336124 140731401338859 0
/proc/15600/statm: 2378 346 289 221 0 87 0
[pid=15602] ppid=15600 vsize=26006188 memory=88544 CPUtime=1.65 cores=0-7
/proc/15602/stat : 15602 (java) S 15600 15600 3823 0 -1 1077944320 13359 0 0 0 159 6 0 0 20 0 20 0 97431680 26630336512 22136 33554432000 4194304 4196468 140735494643200 140735494625744 140337797095159 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
/proc/15602/statm: 6501547 22136 3209 1 0 6488781 0
[pid=15602/tid=15603] ppid=15600 vsize=26006188 memory=279454195203760 CPUtime=0.67 cores=0-7
/proc/15602/task/15603/stat : 15603 (java) R 15600 15600 3823 0 -1 4202560 6855 0 0 0 64 3 0 0 20 0 20 0 97431680 26630336512 22136 33554432000 4194304 4196468 140735494643200 140337801329984 140337406987832 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15604] ppid=15600 vsize=26006188 memory=139727097602928 CPUtime=0 cores=0-7
/proc/15602/task/15604/stat : 15604 (java) S 15600 15600 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97431681 26630336512 22136 33554432000 4194304 4196468 140735494643200 140337749715856 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15605] ppid=15600 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/15602/task/15605/stat : 15605 (java) S 15600 15600 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97431681 26630336512 22136 33554432000 4194304 4196468 140735494643200 140337748663056 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15606] ppid=15600 vsize=26006188 memory=5296 CPUtime=0 cores=0-7
/proc/15602/task/15606/stat : 15606 (java) S 15600 15600 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97431681 26630336512 22136 33554432000 4194304 4196468 140735494643200 140337747610768 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
################
# More data... #
################
[pid=15602/tid=15821] ppid=15600 vsize=26607312 memory=1384 CPUtime=32.76 cores=0-7
/proc/15602/task/15821/stat : 15821 (java) R 15600 15600 3823 0 -1 4202560 1073 0 0 0 3276 0 0 0 20 0 28 0 97444627 27245887488 294334 33554432000 4194304 4196468 140735494643200 140336520626088 140337411246739 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
Current children cumulated CPU time: 1286.64 s
Current children cumulated vsize: 26616824 KiB
Current children cumulated memory: 1178720 KiB
[startup+222.302 s]
/proc/loadavg: 8.21 5.53 5.33 9/207 15829
/proc/meminfo: memFree=27961608/32770624 swapFree=67108860/67108860
[pid=15600] ppid=15597 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/15600/stat : 15600 (xcsp3-exec) S 15597 15600 3823 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97431680 9740288 346 33554432000 4194304 5098028 140731401332384 140731401330488 140485411054204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37064704 140731401335914 140731401336124 140731401336124 140731401338859 0
/proc/15600/statm: 2378 346 289 221 0 87 0
[pid=15602] ppid=15600 vsize=26607312 memory=1202020 CPUtime=1765.26 cores=0-7
/proc/15602/stat : 15602 (java) S 15600 15600 3823 0 -1 1077944320 107476 0 0 0 176424 102 0 0 20 0 28 0 97431680 27245887488 300505 33554432000 4194304 4196468 140735494643200 140735494625744 140337797095159 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
/proc/15602/statm: 6651828 300505 3291 1 0 6639062 0
[pid=15602/tid=15603] ppid=15600 vsize=26607312 memory=1384 CPUtime=1.3 cores=0-7
/proc/15602/task/15603/stat : 15603 (java) S 15600 15600 3823 0 -1 1077944384 7453 0 0 0 125 5 0 0 20 0 28 0 97431680 27245887488 300505 33554432000 4194304 4196468 140735494643200 140337801335936 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15604] ppid=15600 vsize=26607312 memory=0 CPUtime=0.09 cores=0-7
/proc/15602/task/15604/stat : 15604 (java) S 15600 15600 3823 0 -1 1077944384 366 0 0 0 6 3 0 0 20 0 28 0 97431681 27245887488 300505 33554432000 4194304 4196468 140735494643200 140337749715856 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15605] ppid=15600 vsize=26607312 memory=0 CPUtime=0.13 cores=0-7
/proc/15602/task/15605/stat : 15605 (java) S 15600 15600 3823 0 -1 1077944384 1412 0 0 0 8 5 0 0 20 0 28 0 97431681 27245887488 300505 33554432000 4194304 4196468 140735494643200 140337748663056 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15606] ppid=15600 vsize=26607312 memory=1202020 CPUtime=0.12 cores=0-7
/proc/15602/task/15606/stat : 15606 (java) S 15600 15600 3823 0 -1 1077944384 1587 0 0 0 8 4 0 0 20 0 28 0 97431681 27245887488 300505 33554432000 4194304 4196468 140735494643200 140337747610768 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15607] ppid=15600 vsize=26607312 memory=1384 CPUtime=0.13 cores=0-7
/proc/15602/task/15607/stat : 15607 (java) S 15600 15600 3823 0 -1 1077944384 361 0 0 0 9 4 0 0 20 0 28 0 97431681 27245887488 300505 33554432000 4194304 4196468 140735494643200 140337746557968 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15608] ppid=15600 vsize=26607312 memory=1202020 CPUtime=0.12 cores=0-7
/proc/15602/task/15608/stat : 15608 (java) S 15600 15600 3823 0 -1 1077944384 604 0 0 0 8 4 0 0 20 0 28 0 97431681 27245887488 300505 33554432000 4194304 4196468 140735494643200 140337745504656 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15609] ppid=15600 vsize=26607312 memory=6791534058613427641 CPUtime=0.11 cores=0-7
/proc/15602/task/15609/stat : 15609 (java) S 15600 15600 3823 0 -1 1077944384 980 0 0 0 7 4 0 0 20 0 28 0 97431681 27245887488 300505 33554432000 4194304 4196468 140735494643200 140337744451856 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15610] ppid=15600 vsize=26607312 memory=4126316290023845779 CPUtime=0.15 cores=0-7
/proc/15602/task/15610/stat : 15610 (java) S 15600 15600 3823 0 -1 1077944384 217 0 0 0 10 5 0 0 20 0 28 0 97431681 27245887488 300505 33554432000 4194304 4196468 140735494643200 140337743399568 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15611] ppid=15600 vsize=26607312 memory=15812 CPUtime=0.08 cores=0-7
/proc/15602/task/15611/stat : 15611 (java) S 15600 15600 3823 0 -1 1077944384 184 0 0 0 6 2 0 0 20 0 28 0 97431681 27245887488 300505 33554432000 4194304 4196468 140735494643200 140337742346768 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15612] ppid=15600 vsize=26607312 memory=4044 CPUtime=0.03 cores=0-7
/proc/15602/task/15612/stat : 15612 (java) S 15600 15600 3823 0 -1 1077944384 2819 0 0 0 3 0 0 0 20 0 28 0 97431683 27245887488 300505 33554432000 4194304 4196468 140735494643200 140336539163248 140337797106306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15613] ppid=15600 vsize=26607312 memory=1384 CPUtime=0 cores=0-7
/proc/15602/task/15613/stat : 15613 (java) S 15600 15600 3823 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 97431683 27245887488 300505 33554432000 4194304 4196468 140735494643200 140336538109280 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15614] ppid=15600 vsize=26607312 memory=1384 CPUtime=0 cores=0-7
/proc/15602/task/15614/stat : 15614 (java) S 15600 15600 3823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 97431683 27245887488 300505 33554432000 4194304 4196468 140735494643200 140336537056896 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15615] ppid=15600 vsize=26607312 memory=1384 CPUtime=0 cores=0-7
/proc/15602/task/15615/stat : 15615 (java) S 15600 15600 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97431686 27245887488 300505 33554432000 4194304 4196468 140735494643200 140336536005200 140337797113755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15616] ppid=15600 vsize=26607312 memory=1177432 CPUtime=2.77 cores=0-7
/proc/15602/task/15616/stat : 15616 (java) S 15600 15600 3823 0 -1 1077944384 15070 0 0 0 274 3 0 0 20 0 28 0 97431686 27245887488 300505 33554432000 4194304 4196468 140735494643200 140336534952048 140337797106306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15617] ppid=15600 vsize=26607312 memory=12 CPUtime=2.84 cores=0-7
/proc/15602/task/15617/stat : 15617 (java) S 15600 15600 3823 0 -1 1077944384 12221 0 0 0 282 2 0 0 20 0 28 0 97431686 27245887488 300505 33554432000 4194304 4196468 140735494643200 140336533899248 140337797106306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15618] ppid=15600 vsize=26607312 memory=6 CPUtime=2.78 cores=0-7
/proc/15602/task/15618/stat : 15618 (java) S 15600 15600 3823 0 -1 1077944384 15761 0 0 0 275 3 0 0 20 0 28 0 97431686 27245887488 300505 33554432000 4194304 4196468 140735494643200 140336532846960 140337797106306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15619] ppid=15600 vsize=26607312 memory=273 CPUtime=0.97 cores=0-7
/proc/15602/task/15619/stat : 15619 (java) S 15600 15600 3823 0 -1 1077944384 9725 0 0 0 95 2 0 0 20 0 28 0 97431686 27245887488 300505 33554432000 4194304 4196468 140735494643200 140336531794160 140337797106306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15620] ppid=15600 vsize=26607312 memory=97 CPUtime=0 cores=0-7
/proc/15602/task/15620/stat : 15620 (java) S 15600 15600 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97431686 27245887488 300505 33554432000 4194304 4196468 140735494643200 140336530742112 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15621] ppid=15600 vsize=26607312 memory=1202020 CPUtime=0.08 cores=0-7
/proc/15602/task/15621/stat : 15621 (java) S 15600 15600 3823 0 -1 1077944384 3127 0 0 0 0 8 0 0 20 0 28 0 97431686 27245887488 300505 33554432000 4194304 4196468 140735494643200 140336529689392 140337797106306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15822] ppid=15600 vsize=26607312 memory=1384 CPUtime=52.57 cores=0-7
/proc/15602/task/15822/stat : 15822 (java) R 15600 15600 3823 0 -1 4202560 738 0 0 0 5257 0 0 0 20 0 28 0 97448649 27245887488 300505 33554432000 4194304 4196468 140735494643200 140336516415240 140337413523996 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15823] ppid=15600 vsize=26607312 memory=1792 CPUtime=52.58 cores=0-7
/proc/15602/task/15823/stat : 15823 (java) R 15600 15600 3823 0 -1 4202560 533 0 0 0 5258 0 0 0 20 0 28 0 97448649 27245887488 300505 33554432000 4194304 4196468 140735494643200 140336517469192 140337412050001 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15824] ppid=15600 vsize=26607312 memory=636 CPUtime=52.59 cores=0-7
/proc/15602/task/15824/stat : 15824 (java) R 15600 15600 3823 0 -1 4202560 846 0 0 0 5259 0 0 0 20 0 28 0 97448649 27245887488 300505 33554432000 4194304 4196468 140735494643200 140336514310024 140337410429358 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15825] ppid=15600 vsize=26607312 memory=7668335371961455716 CPUtime=52.58 cores=0-7
/proc/15602/task/15825/stat : 15825 (java) R 15600 15600 3823 0 -1 4202560 1312 0 0 0 5257 1 0 0 20 0 28 0 97448649 27245887488 300505 33554432000 4194304 4196468 140735494643200 140336518521224 140337413419562 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15826] ppid=15600 vsize=26607312 memory=7955722268010113127 CPUtime=52.55 cores=0-7
/proc/15602/task/15826/stat : 15826 (java) R 15600 15600 3823 0 -1 4202560 3176 0 0 0 5251 4 0 0 20 0 28 0 97448650 27245887488 300505 33554432000 4194304 4196468 140735494643200 140336520626344 140337410342208 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15827] ppid=15600 vsize=26607312 memory=7444826644090677614 CPUtime=51.5 cores=0-7
/proc/15602/task/15827/stat : 15827 (java) R 15600 15600 3823 0 -1 4202560 2646 0 0 0 5143 7 0 0 20 0 28 0 97448650 27245887488 300505 33554432000 4194304 4196468 140735494643200 140336515362552 140337413523231 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15828] ppid=15600 vsize=26607312 memory=1292 CPUtime=52.54 cores=0-7
/proc/15602/task/15828/stat : 15828 (java) R 15600 15600 3823 0 -1 4202560 629 0 0 0 5254 0 0 0 20 0 28 0 97448650 27245887488 300505 33554432000 4194304 4196468 140735494643200 140336521679040 140337403220676 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15829] ppid=15600 vsize=26607312 memory=2428 CPUtime=52.56 cores=0-7
/proc/15602/task/15829/stat : 15829 (java) R 15600 15600 3823 0 -1 4202560 498 0 0 0 5256 0 0 0 20 0 28 0 97448650 27245887488 300505 33554432000 4194304 4196468 140735494643200 140336110227368 140337413523272 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
Current children cumulated CPU time: 1765.26 s
Current children cumulated vsize: 26616824 KiB
Current children cumulated memory: 1203404 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252.002 s]*
/proc/loadavg: 8.21 5.79 5.42 9/207 15829
/proc/meminfo: memFree=27961440/32770624 swapFree=67108860/67108860
[pid=15600] ppid=15597 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/15600/stat : 15600 (xcsp3-exec) S 15597 15600 3823 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97431680 9740288 346 33554432000 4194304 5098028 140731401332384 140731401330488 140485411054204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37064704 140731401335914 140731401336124 140731401336124 140731401338859 0
/proc/15600/statm: 2378 346 289 221 0 87 0
[pid=15602] ppid=15600 vsize=26607312 memory=1202020 CPUtime=2002.25 cores=0-7
/proc/15602/stat : 15602 (java) S 15600 15600 3823 0 -1 1077944320 114948 0 0 0 200114 111 0 0 20 0 28 0 97431680 27245887488 300505 33554432000 4194304 4196468 140735494643200 140735494625744 140337797095159 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
/proc/15602/statm: 6651828 300505 3291 1 0 6639062 0
[pid=15602/tid=15603] ppid=15600 vsize=26607312 memory=2340 CPUtime=1.3 cores=0-7
/proc/15602/task/15603/stat : 15603 (java) S 15600 15600 3823 0 -1 1077944384 7453 0 0 0 125 5 0 0 20 0 28 0 97431680 27245887488 300505 33554432000 4194304 4196468 140735494643200 140337801335936 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15604] ppid=15600 vsize=26607312 memory=1236 CPUtime=0.09 cores=0-7
/proc/15602/task/15604/stat : 15604 (java) S 15600 15600 3823 0 -1 1077944384 366 0 0 0 6 3 0 0 20 0 28 0 97431681 27245887488 300505 33554432000 4194304 4196468 140735494643200 140337749715856 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15605] ppid=15600 vsize=26607312 memory=4126316290023845779 CPUtime=0.13 cores=0-7
/proc/15602/task/15605/stat : 15605 (java) S 15600 15600 3823 0 -1 1077944384 1412 0 0 0 8 5 0 0 20 0 28 0 97431681 27245887488 300505 33554432000 4194304 4196468 140735494643200 140337748663056 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15606] ppid=15600 vsize=26607312 memory=916 CPUtime=0.12 cores=0-7
/proc/15602/task/15606/stat : 15606 (java) S 15600 15600 3823 0 -1 1077944384 1587 0 0 0 8 4 0 0 20 0 28 0 97431681 27245887488 300505 33554432000 4194304 4196468 140735494643200 140337747610768 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15607] ppid=15600 vsize=26607312 memory=4180 CPUtime=0.13 cores=0-7
/proc/15602/task/15607/stat : 15607 (java) S 15600 15600 3823 0 -1 1077944384 361 0 0 0 9 4 0 0 20 0 28 0 97431681 27245887488 300505 33554432000 4194304 4196468 140735494643200 140337746557968 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15608] ppid=15600 vsize=26607312 memory=4104 CPUtime=0.12 cores=0-7
/proc/15602/task/15608/stat : 15608 (java) S 15600 15600 3823 0 -1 1077944384 604 0 0 0 8 4 0 0 20 0 28 0 97431681 27245887488 300505 33554432000 4194304 4196468 140735494643200 140337745504656 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15609] ppid=15600 vsize=26607312 memory=1160 CPUtime=0.11 cores=0-7
/proc/15602/task/15609/stat : 15609 (java) S 15600 15600 3823 0 -1 1077944384 980 0 0 0 7 4 0 0 20 0 28 0 97431681 27245887488 300505 33554432000 4194304 4196468 140735494643200 140337744451856 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15610] ppid=15600 vsize=26607312 memory=3628 CPUtime=0.15 cores=0-7
/proc/15602/task/15610/stat : 15610 (java) S 15600 15600 3823 0 -1 1077944384 217 0 0 0 10 5 0 0 20 0 28 0 97431681 27245887488 300505 33554432000 4194304 4196468 140735494643200 140337743399568 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15611] ppid=15600 vsize=26607312 memory=1384 CPUtime=0.08 cores=0-7
/proc/15602/task/15611/stat : 15611 (java) S 15600 15600 3823 0 -1 1077944384 184 0 0 0 6 2 0 0 20 0 28 0 97431681 27245887488 300505 33554432000 4194304 4196468 140735494643200 140337742346768 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15612] ppid=15600 vsize=26607312 memory=1202020 CPUtime=0.03 cores=0-7
/proc/15602/task/15612/stat : 15612 (java) S 15600 15600 3823 0 -1 1077944384 2861 0 0 0 3 0 0 0 20 0 28 0 97431683 27245887488 300505 33554432000 4194304 4196468 140735494643200 140336539163248 140337797106306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15613] ppid=15600 vsize=26607312 memory=1202020 CPUtime=0 cores=0-7
/proc/15602/task/15613/stat : 15613 (java) S 15600 15600 3823 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 97431683 27245887488 300505 33554432000 4194304 4196468 140735494643200 140336538109280 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15614] ppid=15600 vsize=26607312 memory=1384 CPUtime=0 cores=0-7
/proc/15602/task/15614/stat : 15614 (java) S 15600 15600 3823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 97431683 27245887488 300505 33554432000 4194304 4196468 140735494643200 140336537056896 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15615] ppid=15600 vsize=26607312 memory=1202020 CPUtime=0 cores=0-7
/proc/15602/task/15615/stat : 15615 (java) S 15600 15600 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97431686 27245887488 300505 33554432000 4194304 4196468 140735494643200 140336536005200 140337797113755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15616] ppid=15600 vsize=26607312 memory=11032 CPUtime=2.77 cores=0-7
/proc/15602/task/15616/stat : 15616 (java) S 15600 15600 3823 0 -1 1077944384 15082 0 0 0 274 3 0 0 20 0 28 0 97431686 27245887488 300505 33554432000 4194304 4196468 140735494643200 140336534952048 140337797106306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15617] ppid=15600 vsize=26607312 memory=1712 CPUtime=2.84 cores=0-7
/proc/15602/task/15617/stat : 15617 (java) S 15600 15600 3823 0 -1 1077944384 12236 0 0 0 282 2 0 0 20 0 28 0 97431686 27245887488 300505 33554432000 4194304 4196468 140735494643200 140336533899248 140337797106306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15618] ppid=15600 vsize=26607312 memory=1952 CPUtime=2.78 cores=0-7
/proc/15602/task/15618/stat : 15618 (java) S 15600 15600 3823 0 -1 1077944384 15773 0 0 0 275 3 0 0 20 0 28 0 97431686 27245887488 300505 33554432000 4194304 4196468 140735494643200 140336532846960 140337797106306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15619] ppid=15600 vsize=26607312 memory=8552 CPUtime=0.97 cores=0-7
/proc/15602/task/15619/stat : 15619 (java) S 15600 15600 3823 0 -1 1077944384 10480 0 0 0 95 2 0 0 20 0 28 0 97431686 27245887488 300505 33554432000 4194304 4196468 140735494643200 140336531794160 140337797106306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15620] ppid=15600 vsize=26607312 memory=1224 CPUtime=0 cores=0-7
/proc/15602/task/15620/stat : 15620 (java) S 15600 15600 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97431686 27245887488 300505 33554432000 4194304 4196468 140735494643200 140336530742112 140337797105365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15621] ppid=15600 vsize=26607312 memory=792 CPUtime=0.09 cores=0-7
/proc/15602/task/15621/stat : 15621 (java) S 15600 15600 3823 0 -1 1077944384 3316 0 0 0 0 9 0 0 20 0 28 0 97431686 27245887488 300505 33554432000 4194304 4196468 140735494643200 140336529689392 140337797106306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15822] ppid=15600 vsize=26607312 memory=1004 CPUtime=82.27 cores=0-7
/proc/15602/task/15822/stat : 15822 (java) R 15600 15600 3823 0 -1 4202560 1174 0 0 0 8227 0 0 0 20 0 28 0 97448649 27245887488 300505 33554432000 4194304 4196468 140735494643200 140336516415240 140337410429153 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15823] ppid=15600 vsize=26607312 memory=279454195617440 CPUtime=82.27 cores=0-7
/proc/15602/task/15823/stat : 15823 (java) R 15600 15600 3823 0 -1 4202560 962 0 0 0 8227 0 0 0 20 0 28 0 97448649 27245887488 300505 33554432000 4194304 4196468 140735494643200 140336517469192 140337411873278 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15824] ppid=15600 vsize=26607312 memory=840 CPUtime=82.29 cores=0-7
/proc/15602/task/15824/stat : 15824 (java) R 15600 15600 3823 0 -1 4202560 1178 0 0 0 8229 0 0 0 20 0 28 0 97448649 27245887488 300505 33554432000 4194304 4196468 140735494643200 140336514310024 140337412101703 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15825] ppid=15600 vsize=26607312 memory=1692 CPUtime=82.26 cores=0-7
/proc/15602/task/15825/stat : 15825 (java) R 15600 15600 3823 0 -1 4202560 2174 0 0 0 8225 1 0 0 20 0 28 0 97448649 27245887488 300505 33554432000 4194304 4196468 140735494643200 140336518521224 140337412262499 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15826] ppid=15600 vsize=26607312 memory=916 CPUtime=82.25 cores=0-7
/proc/15602/task/15826/stat : 15826 (java) R 15600 15600 3823 0 -1 4202560 5497 0 0 0 8216 9 0 0 20 0 28 0 97448650 27245887488 300505 33554432000 4194304 4196468 140735494643200 140336520626344 140337406223352 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15827] ppid=15600 vsize=26607312 memory=4180 CPUtime=80.6 cores=0-7
/proc/15602/task/15827/stat : 15827 (java) R 15600 15600 3823 0 -1 4202560 3892 0 0 0 8050 10 0 0 20 0 28 0 97448650 27245887488 300505 33554432000 4194304 4196468 140735494643200 140336515363352 140337411992716 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15828] ppid=15600 vsize=26607312 memory=4104 CPUtime=82.24 cores=0-7
/proc/15602/task/15828/stat : 15828 (java) R 15600 15600 3823 0 -1 4202560 1045 0 0 0 8224 0 0 0 20 0 28 0 97448650 27245887488 300505 33554432000 4194304 4196468 140735494643200 140336521679040 140337411957395 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
[pid=15602/tid=15829] ppid=15600 vsize=26607312 memory=1160 CPUtime=82.26 cores=0-7
/proc/15602/task/15829/stat : 15829 (java) R 15600 15600 3823 0 -1 4202560 903 0 0 0 8226 0 0 0 20 0 28 0 97448650 27245887488 300505 33554432000 4194304 4196468 140735494643200 140336110227368 140337411059762 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 16551936 140735494644888 140735494645064 140735494645064 140735494647759 0
Current children cumulated CPU time: 2002.25 s
Current children cumulated vsize: 26616824 KiB
Current children cumulated memory: 1203404 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.042 s]
# the end of solver process 15600 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001046 s, system=0.001046 s
[startup+252.117 s]
# the end of solver process 15602 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2001.88 s, system=1.13067 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 252.117
CPU time (s): 2003.01
CPU user time (s): 2001.88
CPU system time (s): 1.13067
CPU usage (%): 794.477
Max. virtual memory (cumulated for all children) (KiB): 26618992
Max. memory (cumulated for all children) (KiB): 1203404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2001.88
system time used= 1.13067
maximum resident set size= 1202568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116840
page faults= 0
swaps= 0
block input operations= 0
block output operations= 416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12990
involuntary context switches= 21298
# summary of solver processes directly reported to runsolver:
# pid: 15600,15602
# total CPU time (s): 2003.01
# total CPU user time (s): 2001.88
# total CPU system time (s): 1.13067
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.11456 second user time and 3.04014 second system time
The end
Begin job on node107 at 2017-08-13 18:42:58 IDJOB=4271605 IDBENCH=127041 IDSOLVER=2663 FILE ID=node107/4271605-1502643436 RUNJOBID= node107-1502636397-3850 PBS_JOBID= 20628325 Free space on /tmp= 61660 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-4271605-1502643436/watcher-4271605-1502643436 -o /tmp/evaluation-result-4271605-1502643436/solver-4271605-1502643436 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1502636397-3850 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1063017600 HOME/instance-4271605-1502643436.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 4e9e0842de773da2d9de44121d9bf85e RANDOM SEED=1063017600 node107.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 29148312 kB MemAvailable: 31988020 kB Buffers: 168712 kB Cached: 2959780 kB SwapCached: 0 kB Active: 533124 kB Inactive: 2647616 kB Active(anon): 55376 kB Inactive(anon): 24972 kB Active(file): 477748 kB Inactive(file): 2622644 kB Unevictable: 6328 kB Mlocked: 6328 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7868 kB Writeback: 0 kB AnonPages: 56364 kB Mapped: 43376 kB Shmem: 25228 kB Slab: 136076 kB SReclaimable: 110304 kB SUnreclaim: 25772 kB KernelStack: 3376 kB PageTables: 4788 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323296 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 91520 kB DirectMap2M: 33454080 kB Free space on /tmp at the end= 61652 MiB End job on node107 at 2017-08-13 18:47:10