Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 5a (2017-08-18) | SAT (TO) | 1409 | 2520.03 | 2443.21 |
| Name | Vrp/Vrp-zinc-s1/ Vrp-A-n33-k5.xml |
| MD5SUM | 7965d79c566fadd70d01c63d02ba9078 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 661 |
| Best CPU time to get the best result obtained on this benchmark | 2400.07 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1122 |
| Number of constraints | 1088 |
| Number of domains | 3 |
| Minimum domain size | 1 |
| Maximum domain size | 101 |
| Distribution of domain sizes | [{"size":1,"count":33},{"size":2,"count":1056},{"size":101,"count":32}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 63 |
| Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":33},{"degree":2,"count":64},{"degree":4,"count":992},{"degree":63,"count":32}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 32 |
| Distribution of constraint arities | [{"arity":1,"count":32},{"arity":3,"count":992},{"arity":32,"count":64}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 32 |
| Distribution of constraint types | [{"type":"intension","count":32},{"type":"sum","count":992},{"type":"count","count":64}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.12 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4283578-1503197591.xml" -tl '2520s' -p 1 -x 3 0.06/0.31 c [HOME/instance-4283578-1503197591.xml, -tl, 2520s, -p, 1, -x, 3] 0.22/0.37 c simple solver 0.38/0.44 c parse instance... 1.46/0.84 c solve instance... 8.08/2.95 o 1700 8.44/3.01 o 1682 8.44/3.05 o 1667 9.03/3.21 o 1659 9.95/3.54 o 1627 14.68/6.87 o 1606 14.90/7.05 o 1596 70.08/59.38 o 1583 70.08/59.38 o 1545 70.08/59.39 o 1500 70.28/59.53 o 1491 70.28/59.59 o 1470 70.58/59.81 o 1453 70.58/59.84 o 1425 1768.68/1711.35 o 1412 1768.68/1711.37 o 1410 1768.68/1711.38 o 1409 2520.01/2443.20 s SATISFIABLE 2520.01/2443.20 v <instantiation> 2520.01/2443.20 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] </list> 2520.01/2443.20 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 96 46 91 61 58 83 77 48 52 50 69 92 38 23 64 94 48 65 14 34 23 67 14 13 30 16 84 15 77 97 24 26 </values> 2520.01/2443.20 v </instantiation> 2520.01/2443.20 c Unexpected resolution interruption!
OK 1409
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 (15325 MiB free)
memory of node 1: 16384 MiB (13799 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283578-1503197591/watcher-4283578-1503197591 -o /tmp/evaluation-result-4283578-1503197591/solver-4283578-1503197591 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1503171914-32555 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 930644000 HOME/instance-4283578-1503197591.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=3882, runsolver pid=3879
[startup+0.100136 s]*
/proc/loadavg: 2.02 1.99 1.92 2/196 3883
/proc/meminfo: memFree=29824672/32770624 swapFree=67108860/67108860
[pid=3882] ppid=3879 vsize=33976 memory=460 CPUtime=0 cores=0,2,4,6
/proc/3882/stat : 3882 (runsolver) D 3879 3882 17292 0 -1 4202560 110 0 0 0 0 0 0 0 20 0 1 0 18168239 34791424 115 18446744073709551615 4194304 4346622 140736059507232 140736059503864 139775427101399 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6446216 6449568 26947584 140736059514936 140736059515429 140736059515429 140736059518922 0
/proc/3882/statm: 8494 115 53 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 460 KiB
[startup+0.20933 s]*
/proc/loadavg: 2.02 1.99 1.92 2/210 3897
/proc/meminfo: memFree=29814524/32770624 swapFree=67108860/67108860
[pid=3882] ppid=3879 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/3882/stat : 3882 (xcsp3-exec) S 3879 3882 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 18168239 9740288 345 18446744073709551615 4194304 5098028 140735456012192 140735456010296 139790598632060 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 12 0 0 7196144 7232144 34951168 140735456018810 140735456019014 140735456019014 140735456022507 0
/proc/3882/statm: 2378 345 289 221 0 87 0
[pid=3884] ppid=3882 vsize=13907304 memory=20656 CPUtime=0.06 cores=0,2,4,6
/proc/3884/stat : 3884 (java) S 3882 3882 17292 0 -1 1077944320 4561 0 0 0 5 1 0 0 20 0 14 0 18168252 14241079296 5164 18446744073709551615 4194304 4196468 140732192866528 140732192849072 140255931125495 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
/proc/3884/statm: 3476826 5164 2578 1 0 3466323 0
[pid=3884/tid=3885] ppid=3882 vsize=13907304 memory=1404226546285846666 CPUtime=0.04 cores=0,2,4,6
/proc/3884/task/3885/stat : 3885 (java) D 3882 3882 17292 0 -1 4202560 2728 0 0 0 4 0 0 0 20 0 14 0 18168252 14241079296 5164 18446744073709551615 4194304 4196468 140732192866528 140255935362976 140255931147517 0 4 1 16800974 18446744071580418449 0 0 -1 4 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3886] ppid=3882 vsize=13907304 memory=3691042058319900680 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3886/stat : 3886 (java) S 3882 3882 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 18168253 14241079296 5164 18446744073709551615 4194304 4196468 140732192866528 140255850539664 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3887] ppid=3882 vsize=13907304 memory=139775430051456 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3887/stat : 3887 (java) S 3882 3882 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 18168253 14241079296 5164 18446744073709551615 4194304 4196468 140732192866528 140255849486864 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3888] ppid=3882 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3888/stat : 3888 (java) S 3882 3882 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 18168253 14241079296 5164 18446744073709551615 4194304 4196468 140732192866528 140255529265552 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3889] ppid=3882 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3889/stat : 3889 (java) S 3882 3882 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 18168253 14241079296 5164 18446744073709551615 4194304 4196468 140732192866528 140255528212752 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3890] ppid=3882 vsize=13907304 memory=139775430051456 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3890/stat : 3890 (java) S 3882 3882 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 18168254 14241079296 5164 18446744073709551615 4194304 4196468 140732192866528 140255409679216 140255931136642 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3891] ppid=3882 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3891/stat : 3891 (java) S 3882 3882 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 18168255 14241079296 5164 18446744073709551615 4194304 4196468 140732192866528 140255408625184 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3892] ppid=3882 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3892/stat : 3892 (java) S 3882 3882 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 18168255 14241079296 5164 18446744073709551615 4194304 4196468 140732192866528 140255407572336 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3893] ppid=3882 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3893/stat : 3893 (java) S 3882 3882 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 18168257 14241079296 5164 18446744073709551615 4194304 4196468 140732192866528 140255406520656 140255931144091 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3894] ppid=3882 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3894/stat : 3894 (java) S 3882 3882 17292 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 14 0 18168257 14241079296 5164 18446744073709551615 4194304 4196468 140732192866528 140255405468016 140255931136642 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3895] ppid=3882 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3895/stat : 3895 (java) S 3882 3882 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 18168257 14241079296 5164 18446744073709551615 4194304 4196468 140732192866528 140255404415216 140255931136642 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3896] ppid=3882 vsize=13907304 memory=139775430051456 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3896/stat : 3896 (java) S 3882 3882 17292 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 14 0 18168257 14241079296 5164 18446744073709551615 4194304 4196468 140732192866528 140255403362416 140255931136642 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3897] ppid=3882 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3897/stat : 3897 (java) S 3882 3882 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 18168257 14241079296 5164 18446744073709551615 4194304 4196468 140732192866528 140255402309856 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 22036 KiB
[startup+0.311943 s]*
/proc/loadavg: 2.02 1.99 1.92 8/211 3898
/proc/meminfo: memFree=29804884/32770624 swapFree=67108860/67108860
[pid=3882] ppid=3879 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/3882/stat : 3882 (xcsp3-exec) S 3879 3882 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 18168239 9740288 345 18446744073709551615 4194304 5098028 140735456012192 140735456010296 139790598632060 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 12 0 0 7196144 7232144 34951168 140735456018810 140735456019014 140735456019014 140735456022507 0
/proc/3882/statm: 2378 345 289 221 0 87 0
[pid=3884] ppid=3882 vsize=13974352 memory=31668 CPUtime=0.22 cores=0,2,4,6
/proc/3884/stat : 3884 (java) S 3882 3882 17292 0 -1 1077944320 6380 0 0 0 21 1 0 0 20 0 15 0 18168252 14309736448 7917 18446744073709551615 4194304 4196468 140732192866528 140732192849072 140255931125495 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
/proc/3884/statm: 3493588 7917 2968 1 0 3482964 0
[pid=3884/tid=3885] ppid=3882 vsize=13975376 memory=6933928925625698159 CPUtime=0.13 cores=0,2,4,6
/proc/3884/task/3885/stat : 3885 (java) R 3882 3882 17292 0 -1 4202560 3621 0 0 0 12 1 0 0 20 0 15 0 18168252 14310785024 7983 18446744073709551615 4194304 4196468 140732192866528 140255935347872 140255923805213 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3886] ppid=3882 vsize=13975376 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3886/stat : 3886 (java) S 3882 3882 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18168253 14310785024 7983 18446744073709551615 4194304 4196468 140732192866528 140255850539664 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3887] ppid=3882 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3887/stat : 3887 (java) S 3882 3882 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18168253 14310785024 7983 18446744073709551615 4194304 4196468 140732192866528 140255849486864 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3888] ppid=3882 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3888/stat : 3888 (java) S 3882 3882 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18168253 14310785024 7983 18446744073709551615 4194304 4196468 140732192866528 140255529265552 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3889] ppid=3882 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3889/stat : 3889 (java) S 3882 3882 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18168253 14310785024 8049 18446744073709551615 4194304 4196468 140732192866528 140255528212752 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3890] ppid=3882 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3890/stat : 3890 (java) S 3882 3882 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18168254 14310785024 8049 18446744073709551615 4194304 4196468 140732192866528 140255409679216 140255931136642 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3891] ppid=3882 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3891/stat : 3891 (java) S 3882 3882 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18168255 14310785024 8049 18446744073709551615 4194304 4196468 140732192866528 140255408625184 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3892] ppid=3882 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3892/stat : 3892 (java) S 3882 3882 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18168255 14310785024 8049 18446744073709551615 4194304 4196468 140732192866528 140255407572336 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3893] ppid=3882 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3893/stat : 3893 (java) S 3882 3882 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18168257 14310785024 8049 18446744073709551615 4194304 4196468 140732192866528 140255406520656 140255931144091 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3894] ppid=3882 vsize=13975376 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/3884/task/3894/stat : 3894 (java) S 3882 3882 17292 0 -1 1077944384 431 0 0 0 1 0 0 0 20 0 15 0 18168257 14310785024 8115 18446744073709551615 4194304 4196468 140732192866528 140255405468016 140255931136642 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3895] ppid=3882 vsize=13975376 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/3884/task/3895/stat : 3895 (java) S 3882 3882 17292 0 -1 1077944384 360 0 0 0 1 0 0 0 20 0 15 0 18168257 14310785024 8115 18446744073709551615 4194304 4196468 140732192866528 140255404415216 140255931136642 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3896] ppid=3882 vsize=13975376 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/3884/task/3896/stat : 3896 (java) S 3882 3882 17292 0 -1 1077944384 702 0 0 0 5 0 0 0 20 0 15 0 18168257 14310785024 8115 18446744073709551615 4194304 4196468 140732192866528 140255403362416 140255931136642 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3897] ppid=3882 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3897/stat : 3897 (java) S 3882 3882 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18168257 14310785024 8115 18446744073709551615 4194304 4196468 140732192866528 140255402309856 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3898] ppid=3882 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3898/stat : 3898 (java) S 3882 3882 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18168262 14310785024 8181 18446744073709551615 4194304 4196468 140732192866528 140255401258160 140255931136642 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 33048 KiB
[startup+0.701756 s]
/proc/loadavg: 2.02 1.99 1.92 3/211 3898
/proc/meminfo: memFree=29788972/32770624 swapFree=67108860/67108860
[pid=3882] ppid=3879 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/3882/stat : 3882 (xcsp3-exec) S 3879 3882 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 18168239 9740288 345 18446744073709551615 4194304 5098028 140735456012192 140735456010296 139790598632060 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 12 0 0 7196144 7232144 34951168 140735456018810 140735456019014 140735456019014 140735456022507 0
/proc/3882/statm: 2378 345 289 221 0 87 0
[pid=3884] ppid=3882 vsize=13980732 memory=67228 CPUtime=1.15 cores=0,2,4,6
/proc/3884/stat : 3884 (java) S 3882 3882 17292 0 -1 1077944320 12571 0 0 0 110 5 0 0 20 0 15 0 18168252 14316269568 16807 18446744073709551615 4194304 4196468 140732192866528 140732192849072 140255931125495 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
/proc/3884/statm: 3495183 16807 3165 1 0 3483476 0
[pid=3884/tid=3885] ppid=3882 vsize=13980732 memory=0 CPUtime=0.5 cores=0,2,4,6
/proc/3884/task/3885/stat : 3885 (java) R 3882 3882 17292 0 -1 4202560 7951 0 0 0 47 3 0 0 20 0 15 0 18168252 14316269568 16807 18446744073709551615 4194304 4196468 140732192866528 140255935360080 140255915205982 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3886] ppid=3882 vsize=13980732 memory=55 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3886/stat : 3886 (java) S 3882 3882 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18168253 14316269568 16807 18446744073709551615 4194304 4196468 140732192866528 140255850539664 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3887] ppid=3882 vsize=13980732 memory=14181982013714 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3887/stat : 3887 (java) S 3882 3882 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18168253 14316269568 16807 18446744073709551615 4194304 4196468 140732192866528 140255849486864 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3888] ppid=3882 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3888/stat : 3888 (java) S 3882 3882 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18168253 14316269568 16807 18446744073709551615 4194304 4196468 140732192866528 140255529265552 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3889] ppid=3882 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3889/stat : 3889 (java) S 3882 3882 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18168253 14316269568 16807 18446744073709551615 4194304 4196468 140732192866528 140255528212752 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3890] ppid=3882 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3890/stat : 3890 (java) S 3882 3882 17292 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 18168254 14316269568 16807 18446744073709551615 4194304 4196468 140732192866528 140255409679216 140255931136642 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3891] ppid=3882 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3891/stat : 3891 (java) S 3882 3882 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18168255 14316269568 16807 18446744073709551615 4194304 4196468 140732192866528 140255408625184 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3892] ppid=3882 vsize=13980732 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3892/stat : 3892 (java) S 3882 3882 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18168255 14316269568 16807 18446744073709551615 4194304 4196468 140732192866528 140255407572336 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3893] ppid=3882 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3893/stat : 3893 (java) S 3882 3882 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18168257 14316269568 16807 18446744073709551615 4194304 4196468 140732192866528 140255406520656 140255931144091 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3894] ppid=3882 vsize=13980732 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/3884/task/3894/stat : 3894 (java) R 3882 3882 17292 0 -1 4202560 1029 0 0 0 15 0 0 0 20 0 15 0 18168257 14316269568 16807 18446744073709551615 4194304 4196468 140732192866528 140255405453896 140255912669738 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3895] ppid=3882 vsize=13980732 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/3884/task/3895/stat : 3895 (java) R 3882 3882 17292 0 -1 4202560 911 0 0 0 17 0 0 0 20 0 15 0 18168257 14316269568 16807 18446744073709551615 4194304 4196468 140732192866528 140255404401240 140255912669268 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3896] ppid=3882 vsize=13980732 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/3884/task/3896/stat : 3896 (java) S 3882 3882 17292 0 -1 1077944384 1371 0 0 0 29 0 0 0 20 0 15 0 18168257 14316269568 16807 18446744073709551615 4194304 4196468 140732192866528 140255403362416 140255931136642 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3897] ppid=3882 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3897/stat : 3897 (java) S 3882 3882 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18168257 14316269568 16807 18446744073709551615 4194304 4196468 140732192866528 140255402309856 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3898] ppid=3882 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3898/stat : 3898 (java) S 3882 3882 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18168262 14316269568 16807 18446744073709551615 4194304 4196468 140732192866528 140255401258160 140255931136642 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 68608 KiB
[startup+1.50079 s]
/proc/loadavg: 2.02 1.99 1.92 6/211 3898
/proc/meminfo: memFree=29754664/32770624 swapFree=67108860/67108860
[pid=3882] ppid=3879 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/3882/stat : 3882 (xcsp3-exec) S 3879 3882 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 18168239 9740288 345 18446744073709551615 4194304 5098028 140735456012192 140735456010296 139790598632060 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 12 0 0 7196144 7232144 34951168 140735456018810 140735456019014 140735456019014 140735456022507 0
/proc/3882/statm: 2378 345 289 221 0 87 0
[pid=3884] ppid=3882 vsize=13980732 memory=126908 CPUtime=3.75 cores=0,2,4,6
/proc/3884/stat : 3884 (java) S 3882 3882 17292 0 -1 1077944320 25312 0 0 0 367 8 0 0 20 0 15 0 18168252 14316269568 31727 18446744073709551615 4194304 4196468 140732192866528 140732192849072 140255931125495 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
/proc/3884/statm: 3495183 31727 3190 1 0 3483476 0
[pid=3884/tid=3885] ppid=3882 vsize=13980732 memory=0 CPUtime=1.31 cores=0,2,4,6
/proc/3884/task/3885/stat : 3885 (java) R 3882 3882 17292 0 -1 4202560 8989 0 0 0 126 5 0 0 20 0 15 0 18168252 14316269568 31727 18446744073709551615 4194304 4196468 140732192866528 140255935360976 140255535322655 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3886] ppid=3882 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3886/stat : 3886 (java) S 3882 3882 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18168253 14316269568 31727 18446744073709551615 4194304 4196468 140732192866528 140255850539664 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3887] ppid=3882 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3887/stat : 3887 (java) S 3882 3882 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18168253 14316269568 31727 18446744073709551615 4194304 4196468 140732192866528 140255849486864 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3888] ppid=3882 vsize=13980732 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3888/stat : 3888 (java) S 3882 3882 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18168253 14316269568 31727 18446744073709551615 4194304 4196468 140732192866528 140255529265552 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3889] ppid=3882 vsize=13980732 memory=-6935123839545469842 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3889/stat : 3889 (java) S 3882 3882 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18168253 14316269568 31727 18446744073709551615 4194304 4196468 140732192866528 140255528212752 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3890] ppid=3882 vsize=13980732 memory=6944920475294002582 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3890/stat : 3890 (java) S 3882 3882 17292 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 18168254 14316269568 31727 18446744073709551615 4194304 4196468 140732192866528 140255409679216 140255931136642 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3891] ppid=3882 vsize=13980732 memory=7684433391216329786 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3891/stat : 3891 (java) S 3882 3882 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18168255 14316269568 31727 18446744073709551615 4194304 4196468 140732192866528 140255408625184 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3892] ppid=3882 vsize=13980732 memory=14181982013714 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3892/stat : 3892 (java) S 3882 3882 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18168255 14316269568 31727 18446744073709551615 4194304 4196468 140732192866528 140255407572336 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3893] ppid=3882 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3893/stat : 3893 (java) S 3882 3882 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18168257 14316269568 31727 18446744073709551615 4194304 4196468 140732192866528 140255406520656 140255931144091 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3894] ppid=3882 vsize=13980732 memory=0 CPUtime=0.89 cores=0,2,4,6
/proc/3884/task/3894/stat : 3894 (java) R 3882 3882 17292 0 -1 4202560 5864 0 0 0 88 1 0 0 20 0 15 0 18168257 14316269568 31727 18446744073709551615 4194304 4196468 140732192866528 140255405467176 140255910545669 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3895] ppid=3882 vsize=13980732 memory=0 CPUtime=0.91 cores=0,2,4,6
/proc/3884/task/3895/stat : 3895 (java) R 3882 3882 17292 0 -1 4202560 5587 0 0 0 91 0 0 0 20 0 15 0 18168257 14316269568 31727 18446744073709551615 4194304 4196468 140732192866528 140255404397248 140255916030747 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3896] ppid=3882 vsize=13980732 memory=0 CPUtime=0.61 cores=0,2,4,6
/proc/3884/task/3896/stat : 3896 (java) S 3882 3882 17292 0 -1 1077944384 3550 0 0 0 60 1 0 0 20 0 15 0 18168257 14316269568 31727 18446744073709551615 4194304 4196468 140732192866528 140255403362416 140255931136642 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3897] ppid=3882 vsize=13980732 memory=279550563249440 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3897/stat : 3897 (java) S 3882 3882 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18168257 14316269568 31727 18446744073709551615 4194304 4196468 140732192866528 140255402309856 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3898] ppid=3882 vsize=13980732 memory=-8990767739041718176 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3898/stat : 3898 (java) S 3882 3882 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18168262 14316269568 31727 18446744073709551615 4194304 4196468 140732192866528 140255401258160 140255931136642 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
Current children cumulated CPU time: 3.75 s
Current children cumulated vsize: 13990244 KiB
################
# More data... #
################
/proc/3884/task/3892/stat : 3892 (java) S 3882 3882 17292 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 18168255 14316269568 207966 18446744073709551615 4194304 4196468 140732192866528 140255407572352 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3893] ppid=3882 vsize=13980732 memory=811284 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3893/stat : 3893 (java) S 3882 3882 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18168257 14316269568 207966 18446744073709551615 4194304 4196468 140732192866528 140255406520656 140255931144091 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3894] ppid=3882 vsize=13980732 memory=1380 CPUtime=4.69 cores=0,2,4,6
/proc/3884/task/3894/stat : 3894 (java) S 3882 3882 17292 0 -1 1077944384 29233 0 0 0 465 4 0 0 20 0 15 0 18168257 14316269568 207966 18446744073709551615 4194304 4196468 140732192866528 140255405468016 140255931136642 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3895] ppid=3882 vsize=13980732 memory=831864 CPUtime=5.55 cores=0,2,4,6
/proc/3884/task/3895/stat : 3895 (java) S 3882 3882 17292 0 -1 1077944384 26930 0 0 0 553 2 0 0 20 0 15 0 18168257 14316269568 207966 18446744073709551615 4194304 4196468 140732192866528 140255404415216 140255931136642 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3896] ppid=3882 vsize=13980732 memory=811284 CPUtime=1.04 cores=0,2,4,6
/proc/3884/task/3896/stat : 3896 (java) S 3882 3882 17292 0 -1 1077944384 17025 0 0 0 101 3 0 0 20 0 15 0 18168257 14316269568 207966 18446744073709551615 4194304 4196468 140732192866528 140255403362416 140255931136642 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3897] ppid=3882 vsize=13980732 memory=4124 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3897/stat : 3897 (java) S 3882 3882 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18168257 14316269568 207966 18446744073709551615 4194304 4196468 140732192866528 140255402309856 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3898] ppid=3882 vsize=13980732 memory=288230574492221466 CPUtime=1.32 cores=0,2,4,6
/proc/3884/task/3898/stat : 3898 (java) S 3882 3882 17292 0 -1 1077944384 1364 0 0 0 68 64 0 0 20 0 15 0 18168262 14316269568 207966 18446744073709551615 4194304 4196468 140732192866528 140255401258160 140255931136642 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
Current children cumulated CPU time: 2396.09 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 833244 KiB
[startup+2382.3 s]
/proc/loadavg: 1.73 1.77 1.77 5/211 4996
/proc/meminfo: memFree=30756560/32770624 swapFree=67108860/67108860
[pid=3882] ppid=3879 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/3882/stat : 3882 (xcsp3-exec) S 3879 3882 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 18168239 9740288 345 18446744073709551615 4194304 5098028 140735456012192 140735456010296 139790598632060 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 12 0 0 7196144 7232144 34951168 140735456018810 140735456019014 140735456019014 140735456022507 0
/proc/3882/statm: 2378 345 289 221 0 87 0
[pid=3884] ppid=3882 vsize=13980732 memory=769212 CPUtime=2457.3 cores=0,2,4,6
/proc/3884/stat : 3884 (java) S 3882 3882 17292 0 -1 1077944320 270306 0 0 0 245205 525 0 0 20 0 15 0 18168252 14316269568 192303 18446744073709551615 4194304 4196468 140732192866528 140732192849072 140255931125495 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
/proc/3884/statm: 3495183 192303 3254 1 0 3483476 0
[pid=3884/tid=3885] ppid=3882 vsize=13980732 memory=769212 CPUtime=2359.35 cores=0,2,4,6
/proc/3884/task/3885/stat : 3885 (java) R 3882 3882 17292 0 -1 4202560 75846 0 0 0 235905 30 0 0 20 0 15 0 18168252 14316269568 192303 18446744073709551615 4194304 4196468 140732192866528 140255935364656 140255535623966 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3886] ppid=3882 vsize=13980732 memory=778960 CPUtime=21.05 cores=0,2,4,6
/proc/3884/task/3886/stat : 3886 (java) S 3882 3882 17292 0 -1 1077944384 13407 0 0 0 2002 103 0 0 20 0 15 0 18168253 14316269568 192303 18446744073709551615 4194304 4196468 140732192866528 140255850539664 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3887] ppid=3882 vsize=13980732 memory=797940 CPUtime=21.08 cores=0,2,4,6
/proc/3884/task/3887/stat : 3887 (java) S 3882 3882 17292 0 -1 1077944384 14395 0 0 0 2002 106 0 0 20 0 15 0 18168253 14316269568 192303 18446744073709551615 4194304 4196468 140732192866528 140255849486864 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3888] ppid=3882 vsize=13980732 memory=797940 CPUtime=21.11 cores=0,2,4,6
/proc/3884/task/3888/stat : 3888 (java) S 3882 3882 17292 0 -1 1077944384 15303 0 0 0 2005 106 0 0 20 0 15 0 18168253 14316269568 192303 18446744073709551615 4194304 4196468 140732192866528 140255529265552 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3889] ppid=3882 vsize=13980732 memory=778960 CPUtime=21.08 cores=0,2,4,6
/proc/3884/task/3889/stat : 3889 (java) S 3882 3882 17292 0 -1 1077944384 14680 0 0 0 2002 106 0 0 20 0 15 0 18168253 14316269568 192303 18446744073709551615 4194304 4196468 140732192866528 140255528212752 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3890] ppid=3882 vsize=13980732 memory=769212 CPUtime=0.91 cores=0,2,4,6
/proc/3884/task/3890/stat : 3890 (java) S 3882 3882 17292 0 -1 1077944384 60757 0 0 0 75 16 0 0 20 0 15 0 18168254 14316269568 192303 18446744073709551615 4194304 4196468 140732192866528 140255409679216 140255931136642 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3891] ppid=3882 vsize=13980732 memory=769212 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3891/stat : 3891 (java) S 3882 3882 17292 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 18168255 14316269568 192303 18446744073709551615 4194304 4196468 140732192866528 140255408625248 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3892] ppid=3882 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3892/stat : 3892 (java) S 3882 3882 17292 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 18168255 14316269568 192303 18446744073709551615 4194304 4196468 140732192866528 140255407572352 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3893] ppid=3882 vsize=13980732 memory=787680 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3893/stat : 3893 (java) S 3882 3882 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18168257 14316269568 192303 18446744073709551615 4194304 4196468 140732192866528 140255406520656 140255931144091 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3894] ppid=3882 vsize=13980732 memory=0 CPUtime=4.69 cores=0,2,4,6
/proc/3884/task/3894/stat : 3894 (java) S 3882 3882 17292 0 -1 1077944384 29235 0 0 0 465 4 0 0 20 0 15 0 18168257 14316269568 192303 18446744073709551615 4194304 4196468 140732192866528 140255405468016 140255931136642 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3895] ppid=3882 vsize=13980732 memory=279550563994544 CPUtime=5.55 cores=0,2,4,6
/proc/3884/task/3895/stat : 3895 (java) S 3882 3882 17292 0 -1 1077944384 26932 0 0 0 553 2 0 0 20 0 15 0 18168257 14316269568 192303 18446744073709551615 4194304 4196468 140732192866528 140255404415216 140255931136642 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3896] ppid=3882 vsize=13980732 memory=1380 CPUtime=1.04 cores=0,2,4,6
/proc/3884/task/3896/stat : 3896 (java) S 3882 3882 17292 0 -1 1077944384 17027 0 0 0 101 3 0 0 20 0 15 0 18168257 14316269568 192303 18446744073709551615 4194304 4196468 140732192866528 140255403362416 140255931136642 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3897] ppid=3882 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3897/stat : 3897 (java) S 3882 3882 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18168257 14316269568 192303 18446744073709551615 4194304 4196468 140732192866528 140255402309856 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3898] ppid=3882 vsize=13980732 memory=4124 CPUtime=1.35 cores=0,2,4,6
/proc/3884/task/3898/stat : 3898 (java) S 3882 3882 17292 0 -1 1077944384 1382 0 0 0 70 65 0 0 20 0 15 0 18168262 14316269568 192303 18446744073709551615 4194304 4196468 140732192866528 140255401258160 140255931136642 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
Current children cumulated CPU time: 2457.3 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 770592 KiB
[startup+2442.3 s]
/proc/loadavg: 1.62 1.74 1.76 3/211 4998
/proc/meminfo: memFree=30649340/32770624 swapFree=67108860/67108860
[pid=3882] ppid=3879 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/3882/stat : 3882 (xcsp3-exec) S 3879 3882 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 18168239 9740288 345 18446744073709551615 4194304 5098028 140735456012192 140735456010296 139790598632060 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 12 0 0 7196144 7232144 34951168 140735456018810 140735456019014 140735456019014 140735456022507 0
/proc/3882/statm: 2378 345 289 221 0 87 0
[pid=3884] ppid=3882 vsize=13980732 memory=702172 CPUtime=2519.1 cores=0,2,4,6
/proc/3884/stat : 3884 (java) S 3882 3882 17292 0 -1 1077944320 274310 0 0 0 251379 531 0 0 20 0 15 0 18168252 14316269568 175543 18446744073709551615 4194304 4196468 140732192866528 140732192849072 140255931125495 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
/proc/3884/statm: 3495183 175543 3254 1 0 3483476 0
[pid=3884/tid=3885] ppid=3882 vsize=13980732 memory=698984 CPUtime=2418.72 cores=0,2,4,6
/proc/3884/task/3885/stat : 3885 (java) R 3882 3882 17292 0 -1 4202560 76479 0 0 0 241841 31 0 0 20 0 15 0 18168252 14316269568 175543 18446744073709551615 4194304 4196468 140732192866528 140255935365232 140255539380319 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3886] ppid=3882 vsize=13980732 memory=698984 CPUtime=21.65 cores=0,2,4,6
/proc/3884/task/3886/stat : 3886 (java) S 3882 3882 17292 0 -1 1077944384 13789 0 0 0 2061 104 0 0 20 0 15 0 18168253 14316269568 175543 18446744073709551615 4194304 4196468 140732192866528 140255850539664 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3887] ppid=3882 vsize=13980732 memory=698984 CPUtime=21.68 cores=0,2,4,6
/proc/3884/task/3887/stat : 3887 (java) S 3882 3882 17292 0 -1 1077944384 15111 0 0 0 2061 107 0 0 20 0 15 0 18168253 14316269568 175543 18446744073709551615 4194304 4196468 140732192866528 140255849486864 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3888] ppid=3882 vsize=13980732 memory=702172 CPUtime=21.7 cores=0,2,4,6
/proc/3884/task/3888/stat : 3888 (java) S 3882 3882 17292 0 -1 1077944384 15589 0 0 0 2064 106 0 0 20 0 15 0 18168253 14316269568 175543 18446744073709551615 4194304 4196468 140732192866528 140255529265552 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3889] ppid=3882 vsize=13980732 memory=745612 CPUtime=21.68 cores=0,2,4,6
/proc/3884/task/3889/stat : 3889 (java) S 3882 3882 17292 0 -1 1077944384 15183 0 0 0 2061 107 0 0 20 0 15 0 18168253 14316269568 175543 18446744073709551615 4194304 4196468 140732192866528 140255528212752 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3890] ppid=3882 vsize=13980732 memory=698996 CPUtime=0.92 cores=0,2,4,6
/proc/3884/task/3890/stat : 3890 (java) S 3882 3882 17292 0 -1 1077944384 62217 0 0 0 76 16 0 0 20 0 15 0 18168254 14316269568 175543 18446744073709551615 4194304 4196468 140732192866528 140255409679216 140255931136642 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3891] ppid=3882 vsize=13980732 memory=698996 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3891/stat : 3891 (java) S 3882 3882 17292 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 18168255 14316269568 175543 18446744073709551615 4194304 4196468 140732192866528 140255408625248 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3892] ppid=3882 vsize=13980732 memory=698984 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3892/stat : 3892 (java) S 3882 3882 17292 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 18168255 14316269568 175543 18446744073709551615 4194304 4196468 140732192866528 140255407572352 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3893] ppid=3882 vsize=13980732 memory=723556 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3893/stat : 3893 (java) S 3882 3882 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18168257 14316269568 175543 18446744073709551615 4194304 4196468 140732192866528 140255406520656 140255931144091 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3894] ppid=3882 vsize=13980732 memory=1380 CPUtime=4.69 cores=0,2,4,6
/proc/3884/task/3894/stat : 3894 (java) S 3882 3882 17292 0 -1 1077944384 29237 0 0 0 465 4 0 0 20 0 15 0 18168257 14316269568 175543 18446744073709551615 4194304 4196468 140732192866528 140255405468016 140255931136642 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3895] ppid=3882 vsize=13980732 memory=698984 CPUtime=5.55 cores=0,2,4,6
/proc/3884/task/3895/stat : 3895 (java) S 3882 3882 17292 0 -1 1077944384 26934 0 0 0 553 2 0 0 20 0 15 0 18168257 14316269568 175543 18446744073709551615 4194304 4196468 140732192866528 140255404415216 140255931136642 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3896] ppid=3882 vsize=13980732 memory=4126316290023845779 CPUtime=1.04 cores=0,2,4,6
/proc/3884/task/3896/stat : 3896 (java) S 3882 3882 17292 0 -1 1077944384 17029 0 0 0 101 3 0 0 20 0 15 0 18168257 14316269568 175543 18446744073709551615 4194304 4196468 140732192866528 140255403362416 140255931136642 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3897] ppid=3882 vsize=13980732 memory=400180 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3897/stat : 3897 (java) S 3882 3882 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18168257 14316269568 175543 18446744073709551615 4194304 4196468 140732192866528 140255402309856 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3898] ppid=3882 vsize=13980732 memory=7680170660397595203 CPUtime=1.38 cores=0,2,4,6
/proc/3884/task/3898/stat : 3898 (java) S 3882 3882 17292 0 -1 1077944384 1400 0 0 0 71 67 0 0 20 0 15 0 18168262 14316269568 175543 18446744073709551615 4194304 4196468 140732192866528 140255401258160 140255931136642 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
Current children cumulated CPU time: 2519.1 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 703552 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2443.2 s]
/proc/loadavg: 1.62 1.74 1.76 3/211 4998
/proc/meminfo: memFree=30645988/32770624 swapFree=67108860/67108860
[pid=3882] ppid=3879 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/3882/stat : 3882 (xcsp3-exec) S 3879 3882 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 18168239 9740288 345 18446744073709551615 4194304 5098028 140735456012192 140735456010296 139790598632060 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 12 0 0 7196144 7232144 34951168 140735456018810 140735456019014 140735456019014 140735456022507 0
/proc/3882/statm: 2378 345 289 221 0 87 0
[pid=3884] ppid=3882 vsize=13980732 memory=702172 CPUtime=2520.01 cores=0,2,4,6
/proc/3884/stat : 3884 (java) S 3882 3882 17292 0 -1 1077944320 274310 0 0 0 251470 531 0 0 20 0 15 0 18168252 14316269568 175543 18446744073709551615 4194304 4196468 140732192866528 140732192849072 140255931125495 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
/proc/3884/statm: 3495183 175543 3254 1 0 3483476 0
[pid=3884/tid=3885] ppid=3882 vsize=13980732 memory=4198373884061773715 CPUtime=2419.62 cores=0,2,4,6
/proc/3884/task/3885/stat : 3885 (java) R 3882 3882 17292 0 -1 4202560 76479 0 0 0 241931 31 0 0 20 0 15 0 18168252 14316269568 175543 18446744073709551615 4194304 4196468 140732192866528 140255935365120 140255537817198 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3886] ppid=3882 vsize=13980732 memory=702172 CPUtime=21.65 cores=0,2,4,6
/proc/3884/task/3886/stat : 3886 (java) S 3882 3882 17292 0 -1 1077944384 13789 0 0 0 2061 104 0 0 20 0 15 0 18168253 14316269568 175543 18446744073709551615 4194304 4196468 140732192866528 140255850539664 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3887] ppid=3882 vsize=13980732 memory=7680170660397595203 CPUtime=21.68 cores=0,2,4,6
/proc/3884/task/3887/stat : 3887 (java) S 3882 3882 17292 0 -1 1077944384 15111 0 0 0 2061 107 0 0 20 0 15 0 18168253 14316269568 175543 18446744073709551615 4194304 4196468 140732192866528 140255849486864 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3888] ppid=3882 vsize=13980732 memory=952 CPUtime=21.7 cores=0,2,4,6
/proc/3884/task/3888/stat : 3888 (java) S 3882 3882 17292 0 -1 1077944384 15589 0 0 0 2064 106 0 0 20 0 15 0 18168253 14316269568 175543 18446744073709551615 4194304 4196468 140732192866528 140255529265552 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3889] ppid=3882 vsize=13980732 memory=1236 CPUtime=21.68 cores=0,2,4,6
/proc/3884/task/3889/stat : 3889 (java) S 3882 3882 17292 0 -1 1077944384 15183 0 0 0 2061 107 0 0 20 0 15 0 18168253 14316269568 175543 18446744073709551615 4194304 4196468 140732192866528 140255528212752 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3890] ppid=3882 vsize=13980732 memory=2244 CPUtime=0.92 cores=0,2,4,6
/proc/3884/task/3890/stat : 3890 (java) S 3882 3882 17292 0 -1 1077944384 62217 0 0 0 76 16 0 0 20 0 15 0 18168254 14316269568 175543 18446744073709551615 4194304 4196468 140732192866528 140255409679216 140255931136642 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3891] ppid=3882 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3891/stat : 3891 (java) S 3882 3882 17292 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 18168255 14316269568 175543 18446744073709551615 4194304 4196468 140732192866528 140255408625248 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3892] ppid=3882 vsize=13980732 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3892/stat : 3892 (java) S 3882 3882 17292 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 18168255 14316269568 175543 18446744073709551615 4194304 4196468 140732192866528 140255407572352 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3893] ppid=3882 vsize=13980732 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3893/stat : 3893 (java) S 3882 3882 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18168257 14316269568 175543 18446744073709551615 4194304 4196468 140732192866528 140255406520656 140255931144091 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3894] ppid=3882 vsize=13980732 memory=8280 CPUtime=4.69 cores=0,2,4,6
/proc/3884/task/3894/stat : 3894 (java) S 3882 3882 17292 0 -1 1077944384 29237 0 0 0 465 4 0 0 20 0 15 0 18168257 14316269568 175543 18446744073709551615 4194304 4196468 140732192866528 140255405468016 140255931136642 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3895] ppid=3882 vsize=13980732 memory=16444 CPUtime=5.55 cores=0,2,4,6
/proc/3884/task/3895/stat : 3895 (java) S 3882 3882 17292 0 -1 1077944384 26934 0 0 0 553 2 0 0 20 0 15 0 18168257 14316269568 175543 18446744073709551615 4194304 4196468 140732192866528 140255404415216 140255931136642 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3896] ppid=3882 vsize=13980732 memory=4012 CPUtime=1.04 cores=0,2,4,6
/proc/3884/task/3896/stat : 3896 (java) S 3882 3882 17292 0 -1 1077944384 17029 0 0 0 101 3 0 0 20 0 15 0 18168257 14316269568 175543 18446744073709551615 4194304 4196468 140732192866528 140255403362416 140255931136642 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3897] ppid=3882 vsize=13980732 memory=4124 CPUtime=0 cores=0,2,4,6
/proc/3884/task/3897/stat : 3897 (java) S 3882 3882 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18168257 14316269568 175543 18446744073709551615 4194304 4196468 140732192866528 140255402309856 140255931135701 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
[pid=3884/tid=3898] ppid=3882 vsize=13980732 memory=13452 CPUtime=1.38 cores=0,2,4,6
/proc/3884/task/3898/stat : 3898 (java) S 3882 3882 17292 0 -1 1077944384 1400 0 0 0 71 67 0 0 20 0 15 0 18168262 14316269568 175543 18446744073709551615 4194304 4196468 140732192866528 140255401258160 140255931136642 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19623936 140732192870834 140732192871010 140732192871010 140732192874447 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 703552 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2443.21 s]
# the end of solver process 3882 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001008 s, system=0.001008 s
[startup+2443.21 s]
# the end of solver process 3884 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.71 s, system=5.32096 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): 2443.21
CPU time (s): 2520.03
CPU user time (s): 2514.71
CPU system time (s): 5.32096
CPU usage (%): 103.144
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 980272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.71
system time used= 5.32096
maximum resident set size= 979208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274991
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67662
involuntary context switches= 5313
# summary of solver processes directly reported to runsolver:
# pid: 3882,3884
# total CPU time (s): 2520.03
# total CPU user time (s): 2514.71
# total CPU system time (s): 5.32096
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2406 second user time and 24.0839 second system time
The end
Begin job on node129 at 2017-08-20 04:39:14 IDJOB=4283578 IDBENCH=124395 IDSOLVER=2679 FILE ID=node129/4283578-1503197591 RUNJOBID= node129-1503171914-32555 PBS_JOBID= Free space on /tmp= 62008 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n33-k5.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4283578-1503197591/watcher-4283578-1503197591 -o /tmp/evaluation-result-4283578-1503197591/solver-4283578-1503197591 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1503171914-32555 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 930644000 HOME/instance-4283578-1503197591.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7965d79c566fadd70d01c63d02ba9078 RANDOM SEED=930644000 node129.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.73 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.73 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.73 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.73 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: 29824672 kB MemAvailable: 30118604 kB Buffers: 197028 kB Cached: 386252 kB SwapCached: 0 kB Active: 2153536 kB Inactive: 383828 kB Active(anon): 1954524 kB Inactive(anon): 16744 kB Active(file): 199012 kB Inactive(file): 367084 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7948 kB Writeback: 16 kB AnonPages: 1954228 kB Mapped: 45496 kB Shmem: 17060 kB Slab: 112272 kB SReclaimable: 87344 kB SUnreclaim: 24928 kB KernelStack: 3456 kB PageTables: 8576 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2811340 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1843200 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 62000 MiB End job on node129 at 2017-08-20 05:19:57