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) | 1404 | 2520.02 | 2446.1201 |
| Name | Vrp/Vrp-zinc-s1/ Vrp-A-n34-k5.xml |
| MD5SUM | 72c979ceab0684897cea6dc90bd0dbab |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 783 |
| Best CPU time to get the best result obtained on this benchmark | 19994.6 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1190 |
| Number of constraints | 1155 |
| Number of domains | 3 |
| Minimum domain size | 1 |
| Maximum domain size | 101 |
| Distribution of domain sizes | [{"size":1,"count":34},{"size":2,"count":1122},{"size":101,"count":33}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 65 |
| Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":34},{"degree":2,"count":66},{"degree":4,"count":1056},{"degree":65,"count":33}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 33 |
| Distribution of constraint arities | [{"arity":1,"count":33},{"arity":3,"count":1056},{"arity":33,"count":66}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 33 |
| Distribution of constraint types | [{"type":"intension","count":33},{"type":"sum","count":1056},{"type":"count","count":66}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.09 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4283580-1503199611.xml" -tl '2520s' -p 1 -x 3 0.12/0.26 c [HOME/instance-4283580-1503199611.xml, -tl, 2520s, -p, 1, -x, 3] 0.12/0.31 c simple solver 0.32/0.38 c parse instance... 1.31/0.79 c solve instance... 7.55/2.72 o 1894 7.55/2.73 o 1841 7.55/2.74 o 1836 7.55/2.77 o 1810 7.55/2.78 o 1799 7.89/2.89 o 1775 8.20/2.90 o 1769 8.20/2.90 o 1765 8.20/2.91 o 1754 8.20/2.99 o 1721 8.53/3.01 o 1684 8.53/3.03 o 1679 8.53/3.09 o 1644 8.83/3.15 o 1627 9.11/3.26 o 1613 9.71/3.41 o 1595 1478.75/1432.59 o 1546 1478.96/1432.75 o 1536 1478.96/1432.76 o 1527 1480.57/1434.40 o 1515 1482.04/1435.77 o 1434 1483.35/1437.08 o 1426 1483.35/1437.08 o 1416 1483.84/1437.57 o 1413 1483.84/1437.58 o 1404 2520.00/2446.11 s SATISFIABLE 2520.00/2446.11 v <instantiation> 2520.00/2446.11 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[0][33] 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[1][33] 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[2][33] 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[3][33] 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[4][33] 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[5][33] 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[6][33] 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[7][33] 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[8][33] 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[9][33] 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[10][33] 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[11][33] 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[12][33] 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[13][33] 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[14][33] 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[15][33] 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[16][33] 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[17][33] 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[18][33] 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[19][33] 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[20][33] 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[21][33] 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[22][33] 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[23][33] 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[24][33] 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[25][33] 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[26][33] 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[27][33] 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[28][33] 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[29][33] 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[30][33] 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[31][33] 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] x[32][33] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] 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] u[33] </list> 2520.00/2446.11 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 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 1 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 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 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 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 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 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 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 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 0 0 0 0 0 0 0 1 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 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 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 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 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 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 76 70 94 16 40 46 63 53 76 25 56 81 30 33 5 67 20 9 49 22 16 43 70 90 78 20 79 55 28 98 85 93 1 </values> 2520.00/2446.11 v </instantiation> 2520.00/2446.11 c Unexpected resolution interruption!
OK 1404
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 (14235 MiB free)
memory of node 1: 16384 MiB (15486 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283580-1503199611/watcher-4283580-1503199611 -o /tmp/evaluation-result-4283580-1503199611/solver-4283580-1503199611 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node131-1503171558-2271 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 2058370877 HOME/instance-4283580-1503199611.xml
running on 4 cores: 1,3,5,7
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=6845, runsolver pid=6842
[startup+0.100112 s]*
/proc/loadavg: 1.52 1.54 1.62 2/199 6848
/proc/meminfo: memFree=30431596/32770624 swapFree=67108860/67108860
[pid=6845] ppid=6842 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6845/stat : 6845 (xcsp3-exec) S 6842 6845 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 18368124 9740288 345 18446744073709551615 4194304 5098028 140732280629552 140732280627656 140155581469308 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 16502784 140732280631673 140732280631878 140732280631878 140732280635371 0
/proc/6845/statm: 2378 345 289 221 0 87 0
[pid=6847] ppid=6845 vsize=13358712 memory=15892 CPUtime=0 cores=1,3,5,7
/proc/6847/stat : 6847 (java) S 6845 6845 18108 0 -1 1077944320 3258 0 0 0 0 0 0 0 20 0 6 0 18368133 13679321088 3461 18446744073709551615 4194304 4196468 140723032366416 140723032348960 140649287323383 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
/proc/6847/statm: 3339678 3461 1867 1 0 3329175 0
[pid=6847/tid=6848] ppid=6845 vsize=13358712 memory=8323069512539357860 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6848/stat : 6848 (java) R 6845 6845 18108 0 -1 4202560 2034 0 0 0 0 0 0 0 20 0 6 0 18368133 13679321088 4038 18446744073709551615 4194304 4196468 140723032366416 140649291559504 140649273005909 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6849] ppid=6845 vsize=13358712 memory=3461490694642656905 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6849/stat : 6849 (java) S 6845 6845 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 18368134 13679321088 4038 18446744073709551615 4194304 4196468 140723032366416 140649244289296 140649287333589 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6850] ppid=6845 vsize=13358712 memory=140090012972672 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6850/stat : 6850 (java) S 6845 6845 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 18368134 13679321088 4038 18446744073709551615 4194304 4196468 140723032366416 140649243236752 140649287333589 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6851] ppid=6845 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6851/stat : 6851 (java) S 6845 6845 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 18368134 13679321088 4038 18446744073709551615 4194304 4196468 140723032366416 140649242184208 140649287333589 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6852] ppid=6845 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6852/stat : 6852 (java) S 6845 6845 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 18368134 13679321088 4038 18446744073709551615 4194304 4196468 140723032366416 140648883874448 140649287333589 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 17272 KiB
[startup+0.209944 s]*
/proc/loadavg: 1.52 1.54 1.62 4/212 6861
/proc/meminfo: memFree=30418756/32770624 swapFree=67108860/67108860
[pid=6845] ppid=6842 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6845/stat : 6845 (xcsp3-exec) S 6842 6845 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 18368124 9740288 345 18446744073709551615 4194304 5098028 140732280629552 140732280627656 140155581469308 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 16502784 140732280631673 140732280631878 140732280631878 140732280635371 0
/proc/6845/statm: 2378 345 289 221 0 87 0
[pid=6847] ppid=6845 vsize=13974352 memory=27720 CPUtime=0.12 cores=1,3,5,7
/proc/6847/stat : 6847 (java) S 6845 6845 18108 0 -1 1077944320 5359 0 0 0 11 1 0 0 20 0 15 0 18368133 14309736448 6930 18446744073709551615 4194304 4196468 140723032366416 140723032348960 140649287323383 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
/proc/6847/statm: 3493588 6930 2850 1 0 3482964 0
[pid=6847/tid=6848] ppid=6845 vsize=13974352 memory=8323069512539357860 CPUtime=0.08 cores=1,3,5,7
/proc/6847/task/6848/stat : 6848 (java) R 6845 6845 18108 0 -1 4202560 3369 0 0 0 8 0 0 0 20 0 15 0 18368133 14309736448 6930 18446744073709551615 4194304 4196468 140723032366416 140649291549920 140648921568733 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6849] ppid=6845 vsize=13974352 memory=3461490694642656905 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6849/stat : 6849 (java) S 6845 6845 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18368134 14309736448 6930 18446744073709551615 4194304 4196468 140723032366416 140649244289296 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6850] ppid=6845 vsize=13974352 memory=140090012972672 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6850/stat : 6850 (java) S 6845 6845 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18368134 14309736448 6930 18446744073709551615 4194304 4196468 140723032366416 140649243236752 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6851] ppid=6845 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6851/stat : 6851 (java) S 6845 6845 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18368134 14309736448 6930 18446744073709551615 4194304 4196468 140723032366416 140649242184208 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6852] ppid=6845 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6852/stat : 6852 (java) S 6845 6845 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18368134 14309736448 6930 18446744073709551615 4194304 4196468 140723032366416 140648883874448 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6853] ppid=6845 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6853/stat : 6853 (java) S 6845 6845 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18368135 14309736448 6930 18446744073709551615 4194304 4196468 140723032366416 140648472570352 140649287334530 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6854] ppid=6845 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6854/stat : 6854 (java) S 6845 6845 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18368136 14309736448 6930 18446744073709551615 4194304 4196468 140723032366416 140648471516576 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6855] ppid=6845 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6855/stat : 6855 (java) S 6845 6845 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18368136 14309736448 6930 18446744073709551615 4194304 4196468 140723032366416 140648470463984 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6856] ppid=6845 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6856/stat : 6856 (java) S 6845 6845 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18368138 14309736448 6995 18446744073709551615 4194304 4196468 140723032366416 140648469412560 140649287341979 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6857] ppid=6845 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6857/stat : 6857 (java) S 6845 6845 18108 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 18368138 14309736448 6995 18446744073709551615 4194304 4196468 140723032366416 140648468359152 140649287334530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6858] ppid=6845 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6858/stat : 6858 (java) S 6845 6845 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18368139 14309736448 6995 18446744073709551615 4194304 4196468 140723032366416 140648467306608 140649287334530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6859] ppid=6845 vsize=13974352 memory=140090012972672 CPUtime=0.01 cores=1,3,5,7
/proc/6847/task/6859/stat : 6859 (java) R 6845 6845 18108 0 -1 4202560 265 0 0 0 1 0 0 0 20 0 15 0 18368139 14309736448 6995 18446744073709551615 4194304 4196468 140723032366416 140648466254064 140649279560510 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6860] ppid=6845 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6860/stat : 6860 (java) S 6845 6845 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18368139 14309736448 6995 18446744073709551615 4194304 4196468 140723032366416 140648465201760 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6861] ppid=6845 vsize=13974352 memory=140090012972672 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6861/stat : 6861 (java) S 6845 6845 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18368141 14309736448 6995 18446744073709551615 4194304 4196468 140723032366416 140648464149296 140649287334530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29100 KiB
[startup+0.310317 s]*
/proc/loadavg: 1.52 1.54 1.62 4/212 6861
/proc/meminfo: memFree=30405788/32770624 swapFree=67108860/67108860
[pid=6845] ppid=6842 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6845/stat : 6845 (xcsp3-exec) S 6842 6845 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 18368124 9740288 345 18446744073709551615 4194304 5098028 140732280629552 140732280627656 140155581469308 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 16502784 140732280631673 140732280631878 140732280631878 140732280635371 0
/proc/6845/statm: 2378 345 289 221 0 87 0
[pid=6847] ppid=6845 vsize=13974352 memory=39332 CPUtime=0.32 cores=1,3,5,7
/proc/6847/stat : 6847 (java) S 6845 6845 18108 0 -1 1077944320 9069 0 0 0 30 2 0 0 20 0 15 0 18368133 14309736448 9833 18446744073709551615 4194304 4196468 140723032366416 140723032348960 140649287323383 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
/proc/6847/statm: 3493588 9833 2997 1 0 3482964 0
[pid=6847/tid=6848] ppid=6845 vsize=13974352 memory=-7677926825137650786 CPUtime=0.18 cores=1,3,5,7
/proc/6847/task/6848/stat : 6848 (java) R 6845 6845 18108 0 -1 4202560 6263 0 0 0 17 1 0 0 20 0 15 0 18368133 14309736448 9833 18446744073709551615 4194304 4196468 140723032366416 140649291560144 140649271403900 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6849] ppid=6845 vsize=13974352 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6849/stat : 6849 (java) S 6845 6845 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18368134 14309736448 9833 18446744073709551615 4194304 4196468 140723032366416 140649244289296 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6850] ppid=6845 vsize=13974352 memory=-6733704525061579059 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6850/stat : 6850 (java) S 6845 6845 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18368134 14309736448 9833 18446744073709551615 4194304 4196468 140723032366416 140649243236752 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6851] ppid=6845 vsize=13974352 memory=140090012979665 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6851/stat : 6851 (java) S 6845 6845 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18368134 14309736448 9833 18446744073709551615 4194304 4196468 140723032366416 140649242184208 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6852] ppid=6845 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6852/stat : 6852 (java) S 6845 6845 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18368134 14309736448 9833 18446744073709551615 4194304 4196468 140723032366416 140648883874448 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6853] ppid=6845 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6853/stat : 6853 (java) S 6845 6845 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18368135 14309736448 9833 18446744073709551615 4194304 4196468 140723032366416 140648472570352 140649287334530 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6854] ppid=6845 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6854/stat : 6854 (java) S 6845 6845 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18368136 14309736448 9833 18446744073709551615 4194304 4196468 140723032366416 140648471516576 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6855] ppid=6845 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6855/stat : 6855 (java) S 6845 6845 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18368136 14309736448 9833 18446744073709551615 4194304 4196468 140723032366416 140648470463984 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6856] ppid=6845 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6856/stat : 6856 (java) S 6845 6845 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18368138 14309736448 9833 18446744073709551615 4194304 4196468 140723032366416 140648469412560 140649287341979 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6857] ppid=6845 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/6847/task/6857/stat : 6857 (java) S 6845 6845 18108 0 -1 1077944384 633 0 0 0 2 0 0 0 20 0 15 0 18368138 14309736448 9833 18446744073709551615 4194304 4196468 140723032366416 140648468359152 140649287334530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6858] ppid=6845 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/6847/task/6858/stat : 6858 (java) S 6845 6845 18108 0 -1 1077944384 113 0 0 0 2 0 0 0 20 0 15 0 18368139 14309736448 9833 18446744073709551615 4194304 4196468 140723032366416 140648467306608 140649287334530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6859] ppid=6845 vsize=13974352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6847/task/6859/stat : 6859 (java) R 6845 6845 18108 0 -1 4202560 764 0 0 0 7 0 0 0 20 0 15 0 18368139 14309736448 9833 18446744073709551615 4194304 4196468 140723032366416 140648466254064 140649271849725 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6860] ppid=6845 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6860/stat : 6860 (java) S 6845 6845 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18368139 14309736448 9833 18446744073709551615 4194304 4196468 140723032366416 140648465201760 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6861] ppid=6845 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6861/stat : 6861 (java) S 6845 6845 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18368141 14309736448 9833 18446744073709551615 4194304 4196468 140723032366416 140648464149296 140649287334530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 40712 KiB
[startup+0.700761 s]
/proc/loadavg: 1.55 1.55 1.62 4/212 6861
/proc/meminfo: memFree=30394440/32770624 swapFree=67108860/67108860
[pid=6845] ppid=6842 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6845/stat : 6845 (xcsp3-exec) S 6842 6845 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 18368124 9740288 345 18446744073709551615 4194304 5098028 140732280629552 140732280627656 140155581469308 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 16502784 140732280631673 140732280631878 140732280631878 140732280635371 0
/proc/6845/statm: 2378 345 289 221 0 87 0
[pid=6847] ppid=6845 vsize=13980732 memory=75584 CPUtime=1.31 cores=1,3,5,7
/proc/6847/stat : 6847 (java) S 6845 6845 18108 0 -1 1077944320 13053 0 0 0 128 3 0 0 20 0 15 0 18368133 14316269568 18896 18446744073709551615 4194304 4196468 140723032366416 140723032348960 140649287323383 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
/proc/6847/statm: 3495183 18896 3171 1 0 3483476 0
[pid=6847/tid=6848] ppid=6845 vsize=13980732 memory=6944656592455097440 CPUtime=0.56 cores=1,3,5,7
/proc/6847/task/6848/stat : 6848 (java) R 6845 6845 18108 0 -1 4202560 8012 0 0 0 54 2 0 0 20 0 15 0 18368133 14316269568 18896 18446744073709551615 4194304 4196468 140723032366416 140649291560864 140648921537104 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6849] ppid=6845 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6849/stat : 6849 (java) S 6845 6845 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18368134 14316269568 18896 18446744073709551615 4194304 4196468 140723032366416 140649244289296 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6850] ppid=6845 vsize=13980732 memory=11044 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6850/stat : 6850 (java) S 6845 6845 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18368134 14316269568 18896 18446744073709551615 4194304 4196468 140723032366416 140649243236752 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6851] ppid=6845 vsize=13980732 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6851/stat : 6851 (java) S 6845 6845 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18368134 14316269568 18896 18446744073709551615 4194304 4196468 140723032366416 140649242184208 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6852] ppid=6845 vsize=13980732 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6852/stat : 6852 (java) S 6845 6845 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18368134 14316269568 18896 18446744073709551615 4194304 4196468 140723032366416 140648883874448 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6853] ppid=6845 vsize=13980732 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6853/stat : 6853 (java) S 6845 6845 18108 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 18368135 14316269568 18896 18446744073709551615 4194304 4196468 140723032366416 140648472570352 140649287334530 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6854] ppid=6845 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6854/stat : 6854 (java) S 6845 6845 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18368136 14316269568 18896 18446744073709551615 4194304 4196468 140723032366416 140648471516576 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6855] ppid=6845 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6855/stat : 6855 (java) S 6845 6845 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18368136 14316269568 18896 18446744073709551615 4194304 4196468 140723032366416 140648470463984 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6856] ppid=6845 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6856/stat : 6856 (java) S 6845 6845 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18368138 14316269568 18896 18446744073709551615 4194304 4196468 140723032366416 140648469412560 140649287341979 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6857] ppid=6845 vsize=13980732 memory=30305 CPUtime=0.19 cores=1,3,5,7
/proc/6847/task/6857/stat : 6857 (java) R 6845 6845 18108 0 -1 1077944384 1361 0 0 0 19 0 0 0 20 0 15 0 18368138 14316269568 18896 18446744073709551615 4194304 4196468 140723032366416 140648468358336 140649287333589 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6858] ppid=6845 vsize=13980732 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/6847/task/6858/stat : 6858 (java) R 6845 6845 18108 0 -1 4202560 754 0 0 0 20 0 0 0 20 0 15 0 18368139 14316269568 18896 18446744073709551615 4194304 4196468 140723032366416 140648467291328 140649279612837 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6859] ppid=6845 vsize=13980732 memory=-3967418655009478193 CPUtime=0.33 cores=1,3,5,7
/proc/6847/task/6859/stat : 6859 (java) R 6845 6845 18108 0 -1 4202560 1616 0 0 0 33 0 0 0 20 0 15 0 18368139 14316269568 18896 18446744073709551615 4194304 4196468 140723032366416 140648466246352 140649287335318 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6860] ppid=6845 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6860/stat : 6860 (java) S 6845 6845 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18368139 14316269568 18896 18446744073709551615 4194304 4196468 140723032366416 140648465201760 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6861] ppid=6845 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6861/stat : 6861 (java) S 6845 6845 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18368141 14316269568 18896 18446744073709551615 4194304 4196468 140723032366416 140648464149296 140649287334530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 76964 KiB
[startup+1.50077 s]
/proc/loadavg: 1.55 1.55 1.62 6/212 6861
/proc/meminfo: memFree=30354300/32770624 swapFree=67108860/67108860
[pid=6845] ppid=6842 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6845/stat : 6845 (xcsp3-exec) S 6842 6845 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 18368124 9740288 345 18446744073709551615 4194304 5098028 140732280629552 140732280627656 140155581469308 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 16502784 140732280631673 140732280631878 140732280631878 140732280635371 0
/proc/6845/statm: 2378 345 289 221 0 87 0
[pid=6847] ppid=6845 vsize=13980732 memory=129688 CPUtime=3.93 cores=1,3,5,7
/proc/6847/stat : 6847 (java) S 6845 6845 18108 0 -1 1077944320 21651 0 0 0 387 6 0 0 20 0 15 0 18368133 14316269568 32422 18446744073709551615 4194304 4196468 140723032366416 140723032348960 140649287323383 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
/proc/6847/statm: 3495183 32422 3192 1 0 3483476 0
[pid=6847/tid=6848] ppid=6845 vsize=13980732 memory=0 CPUtime=1.35 cores=1,3,5,7
/proc/6847/task/6848/stat : 6848 (java) R 6845 6845 18108 0 -1 4202560 8731 0 0 0 133 2 0 0 20 0 15 0 18368133 14316269568 32422 18446744073709551615 4194304 4196468 140723032366416 140649291562256 140648927710160 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6849] ppid=6845 vsize=13980732 memory=262 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6849/stat : 6849 (java) S 6845 6845 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18368134 14316269568 32422 18446744073709551615 4194304 4196468 140723032366416 140649244289296 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6850] ppid=6845 vsize=13980732 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6850/stat : 6850 (java) S 6845 6845 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18368134 14316269568 32422 18446744073709551615 4194304 4196468 140723032366416 140649243236752 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6851] ppid=6845 vsize=13980732 memory=13452 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6851/stat : 6851 (java) S 6845 6845 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18368134 14316269568 32422 18446744073709551615 4194304 4196468 140723032366416 140649242184208 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6852] ppid=6845 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6852/stat : 6852 (java) S 6845 6845 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18368134 14316269568 32422 18446744073709551615 4194304 4196468 140723032366416 140648883874448 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6853] ppid=6845 vsize=13980732 memory=288230604624101684 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6853/stat : 6853 (java) S 6845 6845 18108 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 18368135 14316269568 32422 18446744073709551615 4194304 4196468 140723032366416 140648472570352 140649287334530 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6854] ppid=6845 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6854/stat : 6854 (java) S 6845 6845 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18368136 14316269568 32422 18446744073709551615 4194304 4196468 140723032366416 140648471516576 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6855] ppid=6845 vsize=13980732 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=6847/tid=6853] ppid=6845 vsize=13980732 memory=729808 CPUtime=0.86 cores=1,3,5,7
/proc/6847/task/6853/stat : 6853 (java) S 6845 6845 18108 0 -1 1077944384 31912 0 0 0 68 18 0 0 20 0 15 0 18368135 14316269568 209634 18446744073709551615 4194304 4196468 140723032366416 140648472570352 140649287334530 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6854] ppid=6845 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6854/stat : 6854 (java) S 6845 6845 18108 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 18368136 14316269568 209634 18446744073709551615 4194304 4196468 140723032366416 140648471516640 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6855] ppid=6845 vsize=13980732 memory=787744 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6855/stat : 6855 (java) S 6845 6845 18108 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 18368136 14316269568 209634 18446744073709551615 4194304 4196468 140723032366416 140648470464000 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6856] ppid=6845 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6856/stat : 6856 (java) S 6845 6845 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18368138 14316269568 209634 18446744073709551615 4194304 4196468 140723032366416 140648469412560 140649287341979 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6857] ppid=6845 vsize=13980732 memory=838536 CPUtime=4.39 cores=1,3,5,7
/proc/6847/task/6857/stat : 6857 (java) S 6845 6845 18108 0 -1 1077944384 17285 0 0 0 437 2 0 0 20 0 15 0 18368138 14316269568 209634 18446744073709551615 4194304 4196468 140723032366416 140648468359152 140649287334530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6858] ppid=6845 vsize=13980732 memory=1380 CPUtime=4.38 cores=1,3,5,7
/proc/6847/task/6858/stat : 6858 (java) S 6845 6845 18108 0 -1 1077944384 14486 0 0 0 436 2 0 0 20 0 15 0 18368139 14316269568 209634 18446744073709551615 4194304 4196468 140723032366416 140648467306608 140649287334530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6859] ppid=6845 vsize=13980732 memory=1380 CPUtime=0.95 cores=1,3,5,7
/proc/6847/task/6859/stat : 6859 (java) S 6845 6845 18108 0 -1 1077944384 12787 0 0 0 93 2 0 0 20 0 15 0 18368139 14316269568 209634 18446744073709551615 4194304 4196468 140723032366416 140648466254064 140649287334530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6860] ppid=6845 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6860/stat : 6860 (java) S 6845 6845 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18368139 14316269568 209634 18446744073709551615 4194304 4196468 140723032366416 140648465201760 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6861] ppid=6845 vsize=13980732 memory=4128 CPUtime=1.25 cores=1,3,5,7
/proc/6847/task/6861/stat : 6861 (java) S 6845 6845 18108 0 -1 1077944384 942 0 0 0 56 69 0 0 20 0 15 0 18368141 14316269568 209634 18446744073709551615 4194304 4196468 140723032366416 140648464149296 140649287334530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
Current children cumulated CPU time: 2454.41 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 839916 KiB
[startup+2442.3 s]
/proc/loadavg: 1.58 1.74 1.76 3/212 7082
/proc/meminfo: memFree=29988912/32770624 swapFree=67108860/67108860
[pid=6845] ppid=6842 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6845/stat : 6845 (xcsp3-exec) S 6842 6845 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 18368124 9740288 345 18446744073709551615 4194304 5098028 140732280629552 140732280627656 140155581469308 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 16502784 140732280631673 140732280631878 140732280631878 140732280635371 0
/proc/6845/statm: 2378 345 289 221 0 87 0
[pid=6847] ppid=6845 vsize=13980732 memory=783104 CPUtime=2516.12 cores=1,3,5,7
/proc/6847/stat : 6847 (java) S 6845 6845 18108 0 -1 1077944320 193997 0 0 0 251093 519 0 0 20 0 15 0 18368133 14316269568 195776 18446744073709551615 4194304 4196468 140723032366416 140723032348960 140649287323383 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
/proc/6847/statm: 3495183 195776 3256 1 0 3483476 0
[pid=6847/tid=6848] ppid=6845 vsize=13980732 memory=803112 CPUtime=2419.57 cores=1,3,5,7
/proc/6847/task/6848/stat : 6848 (java) R 6845 6845 18108 0 -1 4202560 63592 0 0 0 241921 36 0 0 20 0 15 0 18368133 14316269568 195776 18446744073709551615 4194304 4196468 140723032366416 140649291562960 140648928915055 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6849] ppid=6845 vsize=13980732 memory=813372 CPUtime=21.14 cores=1,3,5,7
/proc/6847/task/6849/stat : 6849 (java) S 6845 6845 18108 0 -1 1077944384 13989 0 0 0 2011 103 0 0 20 0 15 0 18368134 14316269568 195776 18446744073709551615 4194304 4196468 140723032366416 140649244289296 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6850] ppid=6845 vsize=13980732 memory=792852 CPUtime=21.13 cores=1,3,5,7
/proc/6847/task/6850/stat : 6850 (java) S 6845 6845 18108 0 -1 1077944384 11316 0 0 0 2012 101 0 0 20 0 15 0 18368134 14316269568 195776 18446744073709551615 4194304 4196468 140723032366416 140649243236752 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6851] ppid=6845 vsize=13980732 memory=792852 CPUtime=21.12 cores=1,3,5,7
/proc/6847/task/6851/stat : 6851 (java) S 6845 6845 18108 0 -1 1077944384 13467 0 0 0 2012 100 0 0 20 0 15 0 18368134 14316269568 195776 18446744073709551615 4194304 4196468 140723032366416 140649242184208 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6852] ppid=6845 vsize=13980732 memory=783104 CPUtime=21.19 cores=1,3,5,7
/proc/6847/task/6852/stat : 6852 (java) S 6845 6845 18108 0 -1 1077944384 12220 0 0 0 2019 100 0 0 20 0 15 0 18368134 14316269568 195776 18446744073709551615 4194304 4196468 140723032366416 140648883874448 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6853] ppid=6845 vsize=13980732 memory=1380 CPUtime=0.88 cores=1,3,5,7
/proc/6847/task/6853/stat : 6853 (java) S 6845 6845 18108 0 -1 1077944384 32542 0 0 0 70 18 0 0 20 0 15 0 18368135 14316269568 195776 18446744073709551615 4194304 4196468 140723032366416 140648472570352 140649287334530 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6854] ppid=6845 vsize=13980732 memory=803112 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6854/stat : 6854 (java) S 6845 6845 18108 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 18368136 14316269568 195776 18446744073709551615 4194304 4196468 140723032366416 140648471516640 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6855] ppid=6845 vsize=13980732 memory=792852 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6855/stat : 6855 (java) S 6845 6845 18108 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 18368136 14316269568 195776 18446744073709551615 4194304 4196468 140723032366416 140648470464000 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6856] ppid=6845 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6856/stat : 6856 (java) S 6845 6845 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18368138 14316269568 195776 18446744073709551615 4194304 4196468 140723032366416 140648469412560 140649287341979 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6857] ppid=6845 vsize=13980732 memory=792852 CPUtime=4.39 cores=1,3,5,7
/proc/6847/task/6857/stat : 6857 (java) S 6845 6845 18108 0 -1 1077944384 17285 0 0 0 437 2 0 0 20 0 15 0 18368138 14316269568 195776 18446744073709551615 4194304 4196468 140723032366416 140648468359152 140649287334530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6858] ppid=6845 vsize=13980732 memory=1380 CPUtime=4.38 cores=1,3,5,7
/proc/6847/task/6858/stat : 6858 (java) S 6845 6845 18108 0 -1 1077944384 14486 0 0 0 436 2 0 0 20 0 15 0 18368139 14316269568 195776 18446744073709551615 4194304 4196468 140723032366416 140648467306608 140649287334530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6859] ppid=6845 vsize=13980732 memory=1380 CPUtime=0.96 cores=1,3,5,7
/proc/6847/task/6859/stat : 6859 (java) S 6845 6845 18108 0 -1 1077944384 12788 0 0 0 94 2 0 0 20 0 15 0 18368139 14316269568 195776 18446744073709551615 4194304 4196468 140723032366416 140648466254064 140649287334530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6860] ppid=6845 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6860/stat : 6860 (java) S 6845 6845 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18368139 14316269568 195776 18446744073709551615 4194304 4196468 140723032366416 140648465201760 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6861] ppid=6845 vsize=13980732 memory=1380 CPUtime=1.28 cores=1,3,5,7
/proc/6847/task/6861/stat : 6861 (java) S 6845 6845 18108 0 -1 1077944384 958 0 0 0 57 71 0 0 20 0 15 0 18368141 14316269568 195776 18446744073709551615 4194304 4196468 140723032366416 140648464149296 140649287334530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
Current children cumulated CPU time: 2516.12 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 784484 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2446.11 s]
/proc/loadavg: 1.61 1.75 1.76 3/212 7082
/proc/meminfo: memFree=29998272/32770624 swapFree=67108860/67108860
[pid=6845] ppid=6842 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6845/stat : 6845 (xcsp3-exec) S 6842 6845 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 18368124 9740288 345 18446744073709551615 4194304 5098028 140732280629552 140732280627656 140155581469308 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 16502784 140732280631673 140732280631878 140732280631878 140732280635371 0
/proc/6845/statm: 2378 345 289 221 0 87 0
[pid=6847] ppid=6845 vsize=13980732 memory=773872 CPUtime=2520 cores=1,3,5,7
/proc/6847/stat : 6847 (java) S 6845 6845 18108 0 -1 1077944320 194957 0 0 0 251481 519 0 0 20 0 15 0 18368133 14316269568 193468 18446744073709551615 4194304 4196468 140723032366416 140723032348960 140649287323383 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
/proc/6847/statm: 3495183 193468 3256 1 0 3483476 0
[pid=6847/tid=6848] ppid=6845 vsize=13980732 memory=813372 CPUtime=2423.35 cores=1,3,5,7
/proc/6847/task/6848/stat : 6848 (java) R 6845 6845 18108 0 -1 4202560 63915 0 0 0 242299 36 0 0 20 0 15 0 18368133 14316269568 193468 18446744073709551615 4194304 4196468 140723032366416 140649291562704 140648927288111 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6849] ppid=6845 vsize=13980732 memory=783104 CPUtime=21.16 cores=1,3,5,7
/proc/6847/task/6849/stat : 6849 (java) S 6845 6845 18108 0 -1 1077944384 14293 0 0 0 2013 103 0 0 20 0 15 0 18368134 14316269568 193468 18446744073709551615 4194304 4196468 140723032366416 140649244289296 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6850] ppid=6845 vsize=13980732 memory=773872 CPUtime=21.15 cores=1,3,5,7
/proc/6847/task/6850/stat : 6850 (java) S 6845 6845 18108 0 -1 1077944384 11375 0 0 0 2014 101 0 0 20 0 15 0 18368134 14316269568 193468 18446744073709551615 4194304 4196468 140723032366416 140649243236752 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6851] ppid=6845 vsize=13980732 memory=1380 CPUtime=21.14 cores=1,3,5,7
/proc/6847/task/6851/stat : 6851 (java) S 6845 6845 18108 0 -1 1077944384 13546 0 0 0 2014 100 0 0 20 0 15 0 18368134 14316269568 193468 18446744073709551615 4194304 4196468 140723032366416 140649242184208 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6852] ppid=6845 vsize=13980732 memory=783104 CPUtime=21.21 cores=1,3,5,7
/proc/6847/task/6852/stat : 6852 (java) S 6845 6845 18108 0 -1 1077944384 12266 0 0 0 2021 100 0 0 20 0 15 0 18368134 14316269568 193468 18446744073709551615 4194304 4196468 140723032366416 140648883874448 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6853] ppid=6845 vsize=13980732 memory=1380 CPUtime=0.88 cores=1,3,5,7
/proc/6847/task/6853/stat : 6853 (java) S 6845 6845 18108 0 -1 1077944384 32681 0 0 0 70 18 0 0 20 0 15 0 18368135 14316269568 193468 18446744073709551615 4194304 4196468 140723032366416 140648472570352 140649287334530 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6854] ppid=6845 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6854/stat : 6854 (java) S 6845 6845 18108 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 18368136 14316269568 193468 18446744073709551615 4194304 4196468 140723032366416 140648471516640 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6855] ppid=6845 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6855/stat : 6855 (java) S 6845 6845 18108 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 18368136 14316269568 193468 18446744073709551615 4194304 4196468 140723032366416 140648470464000 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6856] ppid=6845 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6856/stat : 6856 (java) S 6845 6845 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18368138 14316269568 193468 18446744073709551615 4194304 4196468 140723032366416 140648469412560 140649287341979 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6857] ppid=6845 vsize=13980732 memory=839024 CPUtime=4.39 cores=1,3,5,7
/proc/6847/task/6857/stat : 6857 (java) S 6845 6845 18108 0 -1 1077944384 17287 0 0 0 437 2 0 0 20 0 15 0 18368138 14316269568 193468 18446744073709551615 4194304 4196468 140723032366416 140648468359152 140649287334530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6858] ppid=6845 vsize=13980732 memory=15876 CPUtime=4.38 cores=1,3,5,7
/proc/6847/task/6858/stat : 6858 (java) S 6845 6845 18108 0 -1 1077944384 14488 0 0 0 436 2 0 0 20 0 15 0 18368139 14316269568 193468 18446744073709551615 4194304 4196468 140723032366416 140648467306608 140649287334530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6859] ppid=6845 vsize=13980732 memory=8248 CPUtime=0.96 cores=1,3,5,7
/proc/6847/task/6859/stat : 6859 (java) S 6845 6845 18108 0 -1 1077944384 12790 0 0 0 94 2 0 0 20 0 15 0 18368139 14316269568 193468 18446744073709551615 4194304 4196468 140723032366416 140648466254064 140649287334530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6860] ppid=6845 vsize=13980732 memory=792852 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6860/stat : 6860 (java) S 6845 6845 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18368139 14316269568 193468 18446744073709551615 4194304 4196468 140723032366416 140648465201760 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6861] ppid=6845 vsize=13980732 memory=1380 CPUtime=1.28 cores=1,3,5,7
/proc/6847/task/6861/stat : 6861 (java) S 6845 6845 18108 0 -1 1077944384 962 0 0 0 57 71 0 0 20 0 15 0 18368141 14316269568 193468 18446744073709551615 4194304 4196468 140723032366416 140648464149296 140649287334530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 775252 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2446.12 s]
# the end of solver process 6845 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.83 s, system=5.19819 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2446.11 s]
/proc/loadavg: 1.61 1.75 1.76 3/212 7082
/proc/meminfo: memFree=29998272/32770624 swapFree=67108860/67108860
[pid=6845] ppid=6842 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6845/stat : 6845 (xcsp3-exec) S 6842 6845 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 18368124 9740288 345 18446744073709551615 4194304 5098028 140732280629552 140732280627656 140155581469308 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 16502784 140732280631673 140732280631878 140732280631878 140732280635371 0
/proc/6845/statm: 2378 345 289 221 0 87 0
[pid=6847] ppid=6845 vsize=13980732 memory=773872 CPUtime=2520 cores=1,3,5,7
/proc/6847/stat : 6847 (java) S 6845 6845 18108 0 -1 1077944320 194957 0 0 0 251481 519 0 0 20 0 15 0 18368133 14316269568 193468 18446744073709551615 4194304 4196468 140723032366416 140723032348960 140649287323383 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
/proc/6847/statm: 3495183 193468 3256 1 0 3483476 0
[pid=6847/tid=6848] ppid=6845 vsize=13980732 memory=813372 CPUtime=2423.35 cores=1,3,5,7
/proc/6847/task/6848/stat : 6848 (java) R 6845 6845 18108 0 -1 4202560 63915 0 0 0 242299 36 0 0 20 0 15 0 18368133 14316269568 193468 18446744073709551615 4194304 4196468 140723032366416 140649291562704 140648927288111 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6849] ppid=6845 vsize=13980732 memory=783104 CPUtime=21.16 cores=1,3,5,7
/proc/6847/task/6849/stat : 6849 (java) S 6845 6845 18108 0 -1 1077944384 14293 0 0 0 2013 103 0 0 20 0 15 0 18368134 14316269568 193468 18446744073709551615 4194304 4196468 140723032366416 140649244289296 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6850] ppid=6845 vsize=13980732 memory=773872 CPUtime=21.15 cores=1,3,5,7
/proc/6847/task/6850/stat : 6850 (java) S 6845 6845 18108 0 -1 1077944384 11375 0 0 0 2014 101 0 0 20 0 15 0 18368134 14316269568 193468 18446744073709551615 4194304 4196468 140723032366416 140649243236752 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6851] ppid=6845 vsize=13980732 memory=1380 CPUtime=21.14 cores=1,3,5,7
/proc/6847/task/6851/stat : 6851 (java) S 6845 6845 18108 0 -1 1077944384 13546 0 0 0 2014 100 0 0 20 0 15 0 18368134 14316269568 193468 18446744073709551615 4194304 4196468 140723032366416 140649242184208 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6852] ppid=6845 vsize=13980732 memory=783104 CPUtime=21.21 cores=1,3,5,7
/proc/6847/task/6852/stat : 6852 (java) S 6845 6845 18108 0 -1 1077944384 12266 0 0 0 2021 100 0 0 20 0 15 0 18368134 14316269568 193468 18446744073709551615 4194304 4196468 140723032366416 140648883874448 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6853] ppid=6845 vsize=13980732 memory=1380 CPUtime=0.88 cores=1,3,5,7
/proc/6847/task/6853/stat : 6853 (java) S 6845 6845 18108 0 -1 1077944384 32681 0 0 0 70 18 0 0 20 0 15 0 18368135 14316269568 193468 18446744073709551615 4194304 4196468 140723032366416 140648472570352 140649287334530 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6854] ppid=6845 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6854/stat : 6854 (java) S 6845 6845 18108 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 18368136 14316269568 193468 18446744073709551615 4194304 4196468 140723032366416 140648471516640 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6855] ppid=6845 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6855/stat : 6855 (java) S 6845 6845 18108 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 18368136 14316269568 193468 18446744073709551615 4194304 4196468 140723032366416 140648470464000 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6856] ppid=6845 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6856/stat : 6856 (java) S 6845 6845 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18368138 14316269568 193468 18446744073709551615 4194304 4196468 140723032366416 140648469412560 140649287341979 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6857] ppid=6845 vsize=13980732 memory=839024 CPUtime=4.39 cores=1,3,5,7
/proc/6847/task/6857/stat : 6857 (java) S 6845 6845 18108 0 -1 1077944384 17287 0 0 0 437 2 0 0 20 0 15 0 18368138 14316269568 193468 18446744073709551615 4194304 4196468 140723032366416 140648468359152 140649287334530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6858] ppid=6845 vsize=13980732 memory=15876 CPUtime=4.38 cores=1,3,5,7
/proc/6847/task/6858/stat : 6858 (java) S 6845 6845 18108 0 -1 1077944384 14488 0 0 0 436 2 0 0 20 0 15 0 18368139 14316269568 193468 18446744073709551615 4194304 4196468 140723032366416 140648467306608 140649287334530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6859] ppid=6845 vsize=13980732 memory=8248 CPUtime=0.96 cores=1,3,5,7
/proc/6847/task/6859/stat : 6859 (java) S 6845 6845 18108 0 -1 1077944384 12790 0 0 0 94 2 0 0 20 0 15 0 18368139 14316269568 193468 18446744073709551615 4194304 4196468 140723032366416 140648466254064 140649287334530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6860] ppid=6845 vsize=13980732 memory=792852 CPUtime=0 cores=1,3,5,7
/proc/6847/task/6860/stat : 6860 (java) S 6845 6845 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18368139 14316269568 193468 18446744073709551615 4194304 4196468 140723032366416 140648465201760 140649287333589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
[pid=6847/tid=6861] ppid=6845 vsize=13980732 memory=1380 CPUtime=1.28 cores=1,3,5,7
/proc/6847/task/6861/stat : 6861 (java) S 6845 6845 18108 0 -1 1077944384 962 0 0 0 57 71 0 0 20 0 15 0 18368141 14316269568 193468 18446744073709551615 4194304 4196468 140723032366416 140648464149296 140649287334530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33849344 140723032371634 140723032371810 140723032371810 140723032375247 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 775252 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2446.12
CPU time (s): 2520.02
CPU user time (s): 2514.83
CPU system time (s): 5.19819
CPU usage (%): 103.021
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 1235156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.83
system time used= 5.19819
maximum resident set size= 1239228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 195631
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67285
involuntary context switches= 2962
# summary of solver processes directly reported to runsolver:
# pid: 6845
# total CPU time (s): 2520.02
# total CPU user time (s): 2514.83
# total CPU system time (s): 5.19819
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.8375 second user time and 21.9351 second system time
The end
Begin job on node131 at 2017-08-20 05:13:11 IDJOB=4283580 IDBENCH=124459 IDSOLVER=2679 FILE ID=node131/4283580-1503199611 RUNJOBID= node131-1503171558-2271 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n34-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-4283580-1503199611/watcher-4283580-1503199611 -o /tmp/evaluation-result-4283580-1503199611/solver-4283580-1503199611 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node131-1503171558-2271 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 2058370877 HOME/instance-4283580-1503199611.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 72c979ceab0684897cea6dc90bd0dbab RANDOM SEED=2058370877 node131.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.69 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.69 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.69 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.69 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: 30435280 kB MemAvailable: 30832396 kB Buffers: 200788 kB Cached: 483164 kB SwapCached: 0 kB Active: 1441856 kB Inactive: 479048 kB Active(anon): 1237128 kB Inactive(anon): 16748 kB Active(file): 204728 kB Inactive(file): 462300 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7796 kB Writeback: 0 kB AnonPages: 1195760 kB Mapped: 45716 kB Shmem: 17060 kB Slab: 116840 kB SReclaimable: 91844 kB SUnreclaim: 24996 kB KernelStack: 3760 kB PageTables: 7080 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1869732 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1130496 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 62016 MiB End job on node131 at 2017-08-20 05:53:57