Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 4.0.5 seq (2017-08-18) | SAT (TO) | 1339 | 244.40401 | 240.02299 |
| 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 | 664 |
| Best CPU time to get the best result obtained on this benchmark | 251.89101 |
| 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.00 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4283098-1503211894.xml" -tl '264s' -p 1 -x 0 0.12/0.14 c [HOME/instance-4283098-1503211894.xml, -tl, 264s, -p, 1, -x, 0] 0.12/0.20 c simple solver 0.34/0.27 c parse instance... 1.41/0.65 c solve instance... 3.03/1.13 o 1556 3.03/1.14 o 1552 3.03/1.15 o 1539 3.03/1.15 o 1510 3.03/1.16 o 1475 3.03/1.16 o 1446 3.03/1.17 o 1438 17.32/13.59 o 1436 17.32/13.59 o 1425 17.32/13.59 o 1424 17.44/13.60 o 1422 17.44/13.60 o 1411 17.44/13.61 o 1409 17.44/13.61 o 1408 17.44/13.62 o 1397 17.44/13.62 o 1395 17.44/13.62 o 1384 17.44/13.64 o 1368 17.44/13.67 o 1348 17.44/13.68 o 1340 29.41/25.48 o 1339 244.38/240.01 s SATISFIABLE 244.38/240.01 v <instantiation> 244.38/240.01 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> 244.38/240.01 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 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 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 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 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 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 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 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 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 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 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 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 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 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 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 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 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 73 45 27 32 72 95 69 13 32 33 37 22 92 68 63 59 64 13 77 40 49 19 14 13 47 74 50 15 81 67 39 3 </values> 244.38/240.01 v </instantiation> 244.38/240.01 c Unexpected resolution interruption!
OK 1339
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 (10619 MiB free)
memory of node 1: 16384 MiB (10049 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283098-1503211894/watcher-4283098-1503211894 -o /tmp/evaluation-result-4283098-1503211894/solver-4283098-1503211894 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node149-1503210552-7327 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1481755712 HOME/instance-4283098-1503211894.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=7703, runsolver pid=7700
[startup+0.100091 s]*
/proc/loadavg: 2.01 1.82 1.44 4/217 7719
/proc/meminfo: memFree=21146764/32770624 swapFree=67108860/67108860
[pid=7703] ppid=7700 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/7703/stat : 7703 (xcsp3-exec) S 7700 7703 7296 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154270143 9740288 346 33554432000 4194304 5098028 140725536221056 140725536219160 140418790969980 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 36466688 140725536228468 140725536228672 140725536228672 140725536231403 0
/proc/7703/statm: 2378 346 289 221 0 87 0
[pid=7705] ppid=7703 vsize=13978596 memory=28472 CPUtime=0.12 cores=0,2,4,6
/proc/7705/stat : 7705 (java) S 7703 7703 7296 0 -1 1077944320 5543 0 0 0 11 1 0 0 20 0 15 0 154270143 14314082304 7118 33554432000 4194304 4196468 140725782283344 140725782265888 140298296127223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
/proc/7705/statm: 3494649 7118 2840 1 0 3482966 0
[pid=7705/tid=7706] ppid=7703 vsize=13978596 memory=7755100286822355803 CPUtime=0.09 cores=0,2,4,6
/proc/7705/task/7706/stat : 7706 (java) R 7703 7703 7296 0 -1 4202560 3557 0 0 0 8 1 0 0 20 0 15 0 154270144 14314082304 7118 33554432000 4194304 4196468 140725782283344 140298300360496 140298296139158 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7707] ppid=7703 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7707/stat : 7707 (java) S 7703 7703 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154270144 14314082304 7118 33554432000 4194304 4196468 140725782283344 140297891855376 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7708] ppid=7703 vsize=13978596 memory=139634899449472 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7708/stat : 7708 (java) S 7703 7703 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154270144 14314082304 7118 33554432000 4194304 4196468 140725782283344 140297890802832 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7709] ppid=7703 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7709/stat : 7709 (java) S 7703 7703 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154270144 14314082304 7118 33554432000 4194304 4196468 140725782283344 140297889749776 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7710] ppid=7703 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7710/stat : 7710 (java) S 7703 7703 7296 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154270144 14314082304 7118 33554432000 4194304 4196468 140725782283344 140297888697232 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7711] ppid=7703 vsize=13978596 memory=139634899449472 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7711/stat : 7711 (java) S 7703 7703 7296 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154270146 14314082304 7118 33554432000 4194304 4196468 140725782283344 140297208277232 140298296138370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7712] ppid=7703 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7712/stat : 7712 (java) S 7703 7703 7296 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154270146 14314082304 7118 33554432000 4194304 4196468 140725782283344 140297207223456 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7713] ppid=7703 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7713/stat : 7713 (java) S 7703 7703 7296 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154270146 14314082304 7118 33554432000 4194304 4196468 140725782283344 140297206170352 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7714] ppid=7703 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7714/stat : 7714 (java) S 7703 7703 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154270149 14314082304 7118 33554432000 4194304 4196468 140725782283344 140297205118928 140298296145819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7715] ppid=7703 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7715/stat : 7715 (java) S 7703 7703 7296 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 154270149 14314082304 7118 33554432000 4194304 4196468 140725782283344 140297204067056 140298296138370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7716] ppid=7703 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7716/stat : 7716 (java) S 7703 7703 7296 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 154270149 14314082304 7118 33554432000 4194304 4196468 140725782283344 140297203014512 140298296138370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7717] ppid=7703 vsize=13978596 memory=139634899449472 CPUtime=0.01 cores=0,2,4,6
/proc/7705/task/7717/stat : 7717 (java) R 7703 7703 7296 0 -1 4202560 263 0 0 0 1 0 0 0 20 0 15 0 154270149 14314082304 7118 33554432000 4194304 4196468 140725782283344 140297201961456 140298274662552 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7718] ppid=7703 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7718/stat : 7718 (java) S 7703 7703 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154270149 14314082304 7118 33554432000 4194304 4196468 140725782283344 140297200909152 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7719] ppid=7703 vsize=13978596 memory=139634899449472 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7719/stat : 7719 (java) S 7703 7703 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154270149 14314082304 7118 33554432000 4194304 4196468 140725782283344 140297199856176 140298296138370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29856 KiB
[startup+0.210652 s]*
/proc/loadavg: 2.01 1.82 1.44 4/217 7719
/proc/meminfo: memFree=21135648/32770624 swapFree=67108860/67108860
[pid=7703] ppid=7700 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/7703/stat : 7703 (xcsp3-exec) S 7700 7703 7296 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154270143 9740288 346 33554432000 4194304 5098028 140725536221056 140725536219160 140418790969980 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 36466688 140725536228468 140725536228672 140725536228672 140725536231403 0
/proc/7703/statm: 2378 346 289 221 0 87 0
[pid=7705] ppid=7703 vsize=13982852 memory=40336 CPUtime=0.34 cores=0,2,4,6
/proc/7705/stat : 7705 (java) S 7703 7703 7296 0 -1 1077944320 8182 0 0 0 31 3 0 0 20 0 15 0 154270143 14318440448 10084 33554432000 4194304 4196468 140725782283344 140725782265888 140298296127223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
/proc/7705/statm: 3495713 10084 3036 1 0 3482966 0
[pid=7705/tid=7706] ppid=7703 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/7705/task/7706/stat : 7706 (java) R 7703 7703 7296 0 -1 4202560 5327 0 0 0 18 2 0 0 20 0 15 0 154270144 14318440448 10084 33554432000 4194304 4196468 140725782283344 140298300348216 140298280207710 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7707] ppid=7703 vsize=13982852 memory=8911 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7707/stat : 7707 (java) S 7703 7703 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154270144 14318440448 10084 33554432000 4194304 4196468 140725782283344 140297891855376 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7708] ppid=7703 vsize=13982852 memory=139634900491361 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7708/stat : 7708 (java) S 7703 7703 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154270144 14318440448 10084 33554432000 4194304 4196468 140725782283344 140297890802832 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7709] ppid=7703 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7709/stat : 7709 (java) S 7703 7703 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154270144 14318440448 10084 33554432000 4194304 4196468 140725782283344 140297889749776 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7710] ppid=7703 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7710/stat : 7710 (java) S 7703 7703 7296 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154270144 14318440448 10084 33554432000 4194304 4196468 140725782283344 140297888697232 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7711] ppid=7703 vsize=13982852 memory=139634899449472 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7711/stat : 7711 (java) S 7703 7703 7296 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154270146 14318440448 10084 33554432000 4194304 4196468 140725782283344 140297208277232 140298296138370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7712] ppid=7703 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7712/stat : 7712 (java) S 7703 7703 7296 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154270146 14318440448 10084 33554432000 4194304 4196468 140725782283344 140297207223456 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7713] ppid=7703 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7713/stat : 7713 (java) S 7703 7703 7296 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154270146 14318440448 10084 33554432000 4194304 4196468 140725782283344 140297206170352 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7714] ppid=7703 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7714/stat : 7714 (java) S 7703 7703 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154270149 14318440448 10084 33554432000 4194304 4196468 140725782283344 140297205118928 140298296145819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7715] ppid=7703 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/7705/task/7715/stat : 7715 (java) S 7703 7703 7296 0 -1 1077944384 502 0 0 0 2 0 0 0 20 0 15 0 154270149 14318440448 10084 33554432000 4194304 4196468 140725782283344 140297204067056 140298296138370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7716] ppid=7703 vsize=13982884 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/7705/task/7716/stat : 7716 (java) S 7703 7703 7296 0 -1 1077944384 328 0 0 0 1 0 0 0 20 0 15 0 154270149 14318473216 10084 33554432000 4194304 4196468 140725782283344 140297203014512 140298296138370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7717] ppid=7703 vsize=13982884 memory=139634899449472 CPUtime=0.08 cores=0,2,4,6
/proc/7705/task/7717/stat : 7717 (java) R 7703 7703 7296 0 -1 4202560 725 0 0 0 8 0 0 0 20 0 15 0 154270149 14318473216 10084 33554432000 4194304 4196468 140725782283344 140297201961456 140298288364350 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7718] ppid=7703 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7718/stat : 7718 (java) S 7703 7703 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154270149 14318440448 10105 33554432000 4194304 4196468 140725782283344 140297200909152 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7719] ppid=7703 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7719/stat : 7719 (java) S 7703 7703 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154270149 14318440448 10105 33554432000 4194304 4196468 140725782283344 140297199856176 140298296138370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41720 KiB
[startup+0.31049 s]*
/proc/loadavg: 2.01 1.82 1.44 4/217 7719
/proc/meminfo: memFree=21129388/32770624 swapFree=67108860/67108860
[pid=7703] ppid=7700 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/7703/stat : 7703 (xcsp3-exec) S 7700 7703 7296 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154270143 9740288 346 33554432000 4194304 5098028 140725536221056 140725536219160 140418790969980 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 36466688 140725536228468 140725536228672 140725536228672 140725536231403 0
/proc/7703/statm: 2378 346 289 221 0 87 0
[pid=7705] ppid=7703 vsize=13982852 memory=47576 CPUtime=0.5 cores=0,2,4,6
/proc/7705/stat : 7705 (java) S 7703 7703 7296 0 -1 1077944320 9020 0 0 0 47 3 0 0 20 0 15 0 154270143 14318440448 11894 33554432000 4194304 4196468 140725782283344 140725782265888 140298296127223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
/proc/7705/statm: 3495713 11894 3115 1 0 3482966 0
[pid=7705/tid=7706] ppid=7703 vsize=13982852 memory=8112282956445269571 CPUtime=0.3 cores=0,2,4,6
/proc/7705/task/7706/stat : 7706 (java) R 7703 7703 7296 0 -1 4202560 5996 0 0 0 28 2 0 0 20 0 15 0 154270144 14318440448 11894 33554432000 4194304 4196468 140725782283344 140298300364944 140298296139158 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7707] ppid=7703 vsize=13982852 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7707/stat : 7707 (java) S 7703 7703 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154270144 14318440448 11894 33554432000 4194304 4196468 140725782283344 140297891855376 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7708] ppid=7703 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7708/stat : 7708 (java) S 7703 7703 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154270144 14318440448 11894 33554432000 4194304 4196468 140725782283344 140297890802832 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7709] ppid=7703 vsize=13982852 memory=-2026666227646604569 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7709/stat : 7709 (java) S 7703 7703 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154270144 14318440448 11894 33554432000 4194304 4196468 140725782283344 140297889749776 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7710] ppid=7703 vsize=13982852 memory=6945503147187019673 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7710/stat : 7710 (java) S 7703 7703 7296 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154270144 14318440448 11894 33554432000 4194304 4196468 140725782283344 140297888697232 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7711] ppid=7703 vsize=13982852 memory=6944657691966988345 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7711/stat : 7711 (java) S 7703 7703 7296 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154270146 14318440448 11894 33554432000 4194304 4196468 140725782283344 140297208277232 140298296138370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7712] ppid=7703 vsize=13982852 memory=4196912344889787449 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7712/stat : 7712 (java) S 7703 7703 7296 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154270146 14318440448 11894 33554432000 4194304 4196468 140725782283344 140297207223456 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7713] ppid=7703 vsize=13982852 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7713/stat : 7713 (java) S 7703 7703 7296 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154270146 14318440448 11894 33554432000 4194304 4196468 140725782283344 140297206170352 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7714] ppid=7703 vsize=13982852 memory=-6444775992005010620 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7714/stat : 7714 (java) S 7703 7703 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154270149 14318440448 11894 33554432000 4194304 4196468 140725782283344 140297205118928 140298296145819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7715] ppid=7703 vsize=13982852 memory=7100839887185294217 CPUtime=0.03 cores=0,2,4,6
/proc/7705/task/7715/stat : 7715 (java) S 7703 7703 7296 0 -1 1077944384 547 0 0 0 3 0 0 0 20 0 15 0 154270149 14318440448 11894 33554432000 4194304 4196468 140725782283344 140297204067056 140298296138370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7716] ppid=7703 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/7705/task/7716/stat : 7716 (java) S 7703 7703 7296 0 -1 1077944384 348 0 0 0 3 0 0 0 20 0 15 0 154270149 14318440448 11894 33554432000 4194304 4196468 140725782283344 140297203014512 140298296138370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7717] ppid=7703 vsize=13982852 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/7705/task/7717/stat : 7717 (java) R 7703 7703 7296 0 -1 4202560 827 0 0 0 12 0 0 0 20 0 15 0 154270149 14318440448 11894 33554432000 4194304 4196468 140725782283344 140297201959264 140298275425521 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7718] ppid=7703 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7718/stat : 7718 (java) S 7703 7703 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154270149 14318440448 11894 33554432000 4194304 4196468 140725782283344 140297200909152 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7719] ppid=7703 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7719/stat : 7719 (java) S 7703 7703 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154270149 14318440448 11894 33554432000 4194304 4196468 140725782283344 140297199856176 140298296138370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48960 KiB
[startup+0.702258 s]
/proc/loadavg: 2.01 1.82 1.44 5/217 7719
/proc/meminfo: memFree=21111396/32770624 swapFree=67108860/67108860
[pid=7703] ppid=7700 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/7703/stat : 7703 (xcsp3-exec) S 7700 7703 7296 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154270143 9740288 346 33554432000 4194304 5098028 140725536221056 140725536219160 140418790969980 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 36466688 140725536228468 140725536228672 140725536228672 140725536231403 0
/proc/7703/statm: 2378 346 289 221 0 87 0
[pid=7705] ppid=7703 vsize=13984976 memory=81432 CPUtime=1.71 cores=0,2,4,6
/proc/7705/stat : 7705 (java) S 7703 7703 7296 0 -1 1077944320 11881 0 0 0 167 4 0 0 20 0 15 0 154270143 14320615424 20358 33554432000 4194304 4196468 140725782283344 140725782265888 140298296127223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
/proc/7705/statm: 3496244 20358 3212 1 0 3483478 0
[pid=7705/tid=7706] ppid=7703 vsize=13984976 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/7705/task/7706/stat : 7706 (java) R 7703 7703 7296 0 -1 4202560 6583 0 0 0 65 2 0 0 20 0 15 0 154270144 14320615424 20358 33554432000 4194304 4196468 140725782283344 140298300364576 140297938118280 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7707] ppid=7703 vsize=13984976 memory=-7082918048272507482 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7707/stat : 7707 (java) S 7703 7703 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154270144 14320615424 20358 33554432000 4194304 4196468 140725782283344 140297891855376 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7708] ppid=7703 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7708/stat : 7708 (java) S 7703 7703 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154270144 14320615424 20358 33554432000 4194304 4196468 140725782283344 140297890802832 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7709] ppid=7703 vsize=13984976 memory=43068 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7709/stat : 7709 (java) S 7703 7703 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154270144 14320615424 20358 33554432000 4194304 4196468 140725782283344 140297889749776 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7710] ppid=7703 vsize=13984976 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7710/stat : 7710 (java) S 7703 7703 7296 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154270144 14320615424 20358 33554432000 4194304 4196468 140725782283344 140297888697232 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7711] ppid=7703 vsize=13984976 memory=2408 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7711/stat : 7711 (java) S 7703 7703 7296 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154270146 14320615424 20358 33554432000 4194304 4196468 140725782283344 140297208277232 140298296138370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7712] ppid=7703 vsize=13984976 memory=1732 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7712/stat : 7712 (java) S 7703 7703 7296 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154270146 14320615424 20358 33554432000 4194304 4196468 140725782283344 140297207223456 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7713] ppid=7703 vsize=13984976 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7713/stat : 7713 (java) S 7703 7703 7296 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154270146 14320615424 20358 33554432000 4194304 4196468 140725782283344 140297206170352 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7714] ppid=7703 vsize=13984976 memory=12136 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7714/stat : 7714 (java) S 7703 7703 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154270149 14320615424 20358 33554432000 4194304 4196468 140725782283344 140297205118928 140298296145819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7715] ppid=7703 vsize=13984976 memory=5792 CPUtime=0.3 cores=0,2,4,6
/proc/7705/task/7715/stat : 7715 (java) R 7703 7703 7296 0 -1 4202560 1200 0 0 0 30 0 0 0 20 0 15 0 154270149 14320615424 20358 33554432000 4194304 4196468 140725782283344 140297204056656 140298282159277 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7716] ppid=7703 vsize=13984976 memory=796 CPUtime=0.29 cores=0,2,4,6
/proc/7705/task/7716/stat : 7716 (java) S 7703 7703 7296 0 -1 1077944384 1042 0 0 0 29 0 0 0 20 0 15 0 154270149 14320615424 20358 33554432000 4194304 4196468 140725782283344 140297203014512 140298296138370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7717] ppid=7703 vsize=13984976 memory=1436 CPUtime=0.41 cores=0,2,4,6
/proc/7705/task/7717/stat : 7717 (java) S 7703 7703 7296 0 -1 1077944384 1750 0 0 0 41 0 0 0 20 0 15 0 154270149 14320615424 20358 33554432000 4194304 4196468 140725782283344 140297201961456 140298296138370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7718] ppid=7703 vsize=13984976 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7718/stat : 7718 (java) S 7703 7703 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154270149 14320615424 20358 33554432000 4194304 4196468 140725782283344 140297200909152 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7719] ppid=7703 vsize=13984976 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7719/stat : 7719 (java) S 7703 7703 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154270149 14320615424 20358 33554432000 4194304 4196468 140725782283344 140297199856176 140298296138370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 82816 KiB
[startup+1.50085 s]
/proc/loadavg: 2.01 1.82 1.44 5/217 7719
/proc/meminfo: memFree=21078892/32770624 swapFree=67108860/67108860
[pid=7703] ppid=7700 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/7703/stat : 7703 (xcsp3-exec) S 7700 7703 7296 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154270143 9740288 346 33554432000 4194304 5098028 140725536221056 140725536219160 140418790969980 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 36466688 140725536228468 140725536228672 140725536228672 140725536231403 0
/proc/7703/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
[pid=7705/tid=7711] ppid=7703 vsize=13984976 memory=1384 CPUtime=0.01 cores=0,2,4,6
/proc/7705/task/7711/stat : 7711 (java) S 7703 7703 7296 0 -1 1077944384 1312 0 0 0 1 0 0 0 20 0 15 0 154270146 14320615424 51846 33554432000 4194304 4196468 140725782283344 140297208277232 140298296138370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7712] ppid=7703 vsize=13984976 memory=279269511437888 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7712/stat : 7712 (java) S 7703 7703 7296 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 154270146 14320615424 51846 33554432000 4194304 4196468 140725782283344 140297207223456 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7713] ppid=7703 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7713/stat : 7713 (java) S 7703 7703 7296 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 154270146 14320615424 51846 33554432000 4194304 4196468 140725782283344 140297206170352 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7714] ppid=7703 vsize=13984976 memory=213528 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7714/stat : 7714 (java) S 7703 7703 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154270149 14320615424 51846 33554432000 4194304 4196468 140725782283344 140297205118928 140298296145819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7715] ppid=7703 vsize=13984976 memory=213536 CPUtime=1.78 cores=0,2,4,6
/proc/7705/task/7715/stat : 7715 (java) S 7703 7703 7296 0 -1 1077944384 9905 0 0 0 177 1 0 0 20 0 15 0 154270149 14320615424 51846 33554432000 4194304 4196468 140725782283344 140297204067056 140298296138370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7716] ppid=7703 vsize=13984976 memory=4620 CPUtime=1.73 cores=0,2,4,6
/proc/7705/task/7716/stat : 7716 (java) S 7703 7703 7296 0 -1 1077944384 10146 0 0 0 172 1 0 0 20 0 15 0 154270149 14320615424 51846 33554432000 4194304 4196468 140725782283344 140297203014512 140298296138370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7717] ppid=7703 vsize=13984976 memory=214564 CPUtime=0.63 cores=0,2,4,6
/proc/7705/task/7717/stat : 7717 (java) S 7703 7703 7296 0 -1 1077944384 6170 0 0 0 62 1 0 0 20 0 15 0 154270149 14320615424 51846 33554432000 4194304 4196468 140725782283344 140297201961456 140298296138370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7718] ppid=7703 vsize=13984976 memory=4124 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7718/stat : 7718 (java) S 7703 7703 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154270149 14320615424 51846 33554432000 4194304 4196468 140725782283344 140297200909152 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7719] ppid=7703 vsize=13984976 memory=1384 CPUtime=0.01 cores=0,2,4,6
/proc/7705/task/7719/stat : 7719 (java) S 7703 7703 7296 0 -1 1077944384 666 0 0 0 0 1 0 0 20 0 15 0 154270149 14320615424 51846 33554432000 4194304 4196468 140725782283344 140297199856176 140298296138370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
Current children cumulated CPU time: 106.55 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 208768 KiB
[startup+162.301 s]
/proc/loadavg: 1.96 1.95 1.55 3/217 7799
/proc/meminfo: memFree=21025756/32770624 swapFree=67108860/67108860
[pid=7703] ppid=7700 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/7703/stat : 7703 (xcsp3-exec) S 7700 7703 7296 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154270143 9740288 346 33554432000 4194304 5098028 140725536221056 140725536219160 140418790969980 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 36466688 140725536228468 140725536228672 140725536228672 140725536231403 0
/proc/7703/statm: 2378 346 289 221 0 87 0
[pid=7705] ppid=7703 vsize=13984976 memory=177628 CPUtime=166.6 cores=0,2,4,6
/proc/7705/stat : 7705 (java) S 7703 7703 7296 0 -1 1077944320 45987 0 0 0 16644 16 0 0 20 0 15 0 154270143 14320615424 44407 33554432000 4194304 4196468 140725782283344 140725782265888 140298296127223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
/proc/7705/statm: 3496244 44407 3267 1 0 3483478 0
[pid=7705/tid=7706] ppid=7703 vsize=13984976 memory=184296 CPUtime=162.2 cores=0,2,4,6
/proc/7705/task/7706/stat : 7706 (java) R 7703 7703 7296 0 -1 4202560 11509 0 0 0 16215 5 0 0 20 0 15 0 154270144 14320615424 44407 33554432000 4194304 4196468 140725782283344 140298300367024 140297938014272 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7707] ppid=7703 vsize=13984976 memory=181732 CPUtime=0.03 cores=0,2,4,6
/proc/7705/task/7707/stat : 7707 (java) S 7703 7703 7296 0 -1 1077944384 504 0 0 0 2 1 0 0 20 0 15 0 154270144 14320615424 44407 33554432000 4194304 4196468 140725782283344 140297891855376 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7708] ppid=7703 vsize=13984976 memory=177628 CPUtime=0.02 cores=0,2,4,6
/proc/7705/task/7708/stat : 7708 (java) S 7703 7703 7296 0 -1 1077944384 1328 0 0 0 2 0 0 0 20 0 15 0 154270144 14320615424 44407 33554432000 4194304 4196468 140725782283344 140297890802832 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7709] ppid=7703 vsize=13984976 memory=1384 CPUtime=0.02 cores=0,2,4,6
/proc/7705/task/7709/stat : 7709 (java) S 7703 7703 7296 0 -1 1077944384 1502 0 0 0 2 0 0 0 20 0 15 0 154270144 14320615424 44407 33554432000 4194304 4196468 140725782283344 140297889749776 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7710] ppid=7703 vsize=13984976 memory=177628 CPUtime=0.03 cores=0,2,4,6
/proc/7705/task/7710/stat : 7710 (java) S 7703 7703 7296 0 -1 1077944384 1280 0 0 0 2 1 0 0 20 0 15 0 154270144 14320615424 44407 33554432000 4194304 4196468 140725782283344 140297888697232 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7711] ppid=7703 vsize=13984976 memory=1384 CPUtime=0.02 cores=0,2,4,6
/proc/7705/task/7711/stat : 7711 (java) S 7703 7703 7296 0 -1 1077944384 1349 0 0 0 2 0 0 0 20 0 15 0 154270146 14320615424 44407 33554432000 4194304 4196468 140725782283344 140297208277232 140298296138370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7712] ppid=7703 vsize=13984976 memory=24764 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7712/stat : 7712 (java) S 7703 7703 7296 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 154270146 14320615424 44407 33554432000 4194304 4196468 140725782283344 140297207223456 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7713] ppid=7703 vsize=13984976 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7713/stat : 7713 (java) S 7703 7703 7296 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 154270146 14320615424 44407 33554432000 4194304 4196468 140725782283344 140297206170352 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7714] ppid=7703 vsize=13984976 memory=184292 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7714/stat : 7714 (java) S 7703 7703 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154270149 14320615424 44407 33554432000 4194304 4196468 140725782283344 140297205118928 140298296145819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7715] ppid=7703 vsize=13984976 memory=1384 CPUtime=1.78 cores=0,2,4,6
/proc/7705/task/7715/stat : 7715 (java) S 7703 7703 7296 0 -1 1077944384 9907 0 0 0 177 1 0 0 20 0 15 0 154270149 14320615424 44407 33554432000 4194304 4196468 140725782283344 140297204067056 140298296138370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7716] ppid=7703 vsize=13984976 memory=181732 CPUtime=1.73 cores=0,2,4,6
/proc/7705/task/7716/stat : 7716 (java) S 7703 7703 7296 0 -1 1077944384 10148 0 0 0 172 1 0 0 20 0 15 0 154270149 14320615424 44407 33554432000 4194304 4196468 140725782283344 140297203014512 140298296138370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7717] ppid=7703 vsize=13984976 memory=0 CPUtime=0.63 cores=0,2,4,6
/proc/7705/task/7717/stat : 7717 (java) S 7703 7703 7296 0 -1 1077944384 6416 0 0 0 62 1 0 0 20 0 15 0 154270149 14320615424 44407 33554432000 4194304 4196468 140725782283344 140297201961456 140298296138370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7718] ppid=7703 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7718/stat : 7718 (java) S 7703 7703 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154270149 14320615424 44407 33554432000 4194304 4196468 140725782283344 140297200909152 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7719] ppid=7703 vsize=13984976 memory=177628 CPUtime=0.03 cores=0,2,4,6
/proc/7705/task/7719/stat : 7719 (java) S 7703 7703 7296 0 -1 1077944384 672 0 0 0 1 2 0 0 20 0 15 0 154270149 14320615424 44407 33554432000 4194304 4196468 140725782283344 140297199856176 140298296138370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
Current children cumulated CPU time: 166.6 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 179012 KiB
[startup+222.301 s]
/proc/loadavg: 1.90 1.93 1.57 3/218 7808
/proc/meminfo: memFree=21070484/32770624 swapFree=67108860/67108860
[pid=7703] ppid=7700 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/7703/stat : 7703 (xcsp3-exec) S 7700 7703 7296 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154270143 9740288 346 33554432000 4194304 5098028 140725536221056 140725536219160 140418790969980 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 36466688 140725536228468 140725536228672 140725536228672 140725536231403 0
/proc/7703/statm: 2378 346 289 221 0 87 0
[pid=7705] ppid=7703 vsize=13984976 memory=153520 CPUtime=226.65 cores=0,2,4,6
/proc/7705/stat : 7705 (java) S 7703 7703 7296 0 -1 1077944320 47067 0 0 0 22646 19 0 0 20 0 15 0 154270143 14320615424 38380 33554432000 4194304 4196468 140725782283344 140725782265888 140298296127223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
/proc/7705/statm: 3496244 38380 3267 1 0 3483478 0
[pid=7705/tid=7706] ppid=7703 vsize=13984976 memory=158144 CPUtime=222.17 cores=0,2,4,6
/proc/7705/task/7706/stat : 7706 (java) R 7703 7703 7296 0 -1 4202560 11843 0 0 0 22212 5 0 0 20 0 15 0 154270144 14320615424 38380 33554432000 4194304 4196468 140725782283344 140298300366336 140297940414489 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7707] ppid=7703 vsize=13984976 memory=157624 CPUtime=0.04 cores=0,2,4,6
/proc/7705/task/7707/stat : 7707 (java) S 7703 7703 7296 0 -1 1077944384 618 0 0 0 3 1 0 0 20 0 15 0 154270144 14320615424 38380 33554432000 4194304 4196468 140725782283344 140297891855376 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7708] ppid=7703 vsize=13984976 memory=155572 CPUtime=0.04 cores=0,2,4,6
/proc/7705/task/7708/stat : 7708 (java) S 7703 7703 7296 0 -1 1077944384 1345 0 0 0 3 1 0 0 20 0 15 0 154270144 14320615424 38380 33554432000 4194304 4196468 140725782283344 140297890802832 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7709] ppid=7703 vsize=13984976 memory=1384 CPUtime=0.04 cores=0,2,4,6
/proc/7705/task/7709/stat : 7709 (java) S 7703 7703 7296 0 -1 1077944384 1515 0 0 0 3 1 0 0 20 0 15 0 154270144 14320615424 38380 33554432000 4194304 4196468 140725782283344 140297889749776 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7710] ppid=7703 vsize=13984976 memory=153520 CPUtime=0.04 cores=0,2,4,6
/proc/7705/task/7710/stat : 7710 (java) S 7703 7703 7296 0 -1 1077944384 1308 0 0 0 3 1 0 0 20 0 15 0 154270144 14320615424 38380 33554432000 4194304 4196468 140725782283344 140297888697232 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7711] ppid=7703 vsize=13984976 memory=1384 CPUtime=0.04 cores=0,2,4,6
/proc/7705/task/7711/stat : 7711 (java) S 7703 7703 7296 0 -1 1077944384 1568 0 0 0 3 1 0 0 20 0 15 0 154270146 14320615424 38380 33554432000 4194304 4196468 140725782283344 140297208277232 140298296138370 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7712] ppid=7703 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7712/stat : 7712 (java) S 7703 7703 7296 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 154270146 14320615424 38380 33554432000 4194304 4196468 140725782283344 140297207223456 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7713] ppid=7703 vsize=13984976 memory=158144 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7713/stat : 7713 (java) S 7703 7703 7296 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 154270146 14320615424 38380 33554432000 4194304 4196468 140725782283344 140297206170352 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7714] ppid=7703 vsize=13984976 memory=2257 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7714/stat : 7714 (java) S 7703 7703 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154270149 14320615424 38380 33554432000 4194304 4196468 140725782283344 140297205118928 140298296145819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7715] ppid=7703 vsize=13984976 memory=1384 CPUtime=1.78 cores=0,2,4,6
/proc/7705/task/7715/stat : 7715 (java) S 7703 7703 7296 0 -1 1077944384 10136 0 0 0 177 1 0 0 20 0 15 0 154270149 14320615424 38380 33554432000 4194304 4196468 140725782283344 140297204067056 140298296138370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7716] ppid=7703 vsize=13984976 memory=155572 CPUtime=1.73 cores=0,2,4,6
/proc/7705/task/7716/stat : 7716 (java) S 7703 7703 7296 0 -1 1077944384 10154 0 0 0 172 1 0 0 20 0 15 0 154270149 14320615424 38380 33554432000 4194304 4196468 140725782283344 140297203014512 140298296138370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7717] ppid=7703 vsize=13984976 memory=153520 CPUtime=0.63 cores=0,2,4,6
/proc/7705/task/7717/stat : 7717 (java) S 7703 7703 7296 0 -1 1077944384 6495 0 0 0 62 1 0 0 20 0 15 0 154270149 14320615424 38380 33554432000 4194304 4196468 140725782283344 140297201961456 140298296138370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7718] ppid=7703 vsize=13984976 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7718/stat : 7718 (java) S 7703 7703 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154270149 14320615424 38380 33554432000 4194304 4196468 140725782283344 140297200909152 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7719] ppid=7703 vsize=13984976 memory=288230621803970871 CPUtime=0.05 cores=0,2,4,6
/proc/7705/task/7719/stat : 7719 (java) S 7703 7703 7296 0 -1 1077944384 713 0 0 0 1 4 0 0 20 0 15 0 154270149 14320615424 38380 33554432000 4194304 4196468 140725782283344 140297199856176 140298296138370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
Current children cumulated CPU time: 226.65 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 154904 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.86 1.92 1.58 3/218 7808
/proc/meminfo: memFree=21083016/32770624 swapFree=67108860/67108860
[pid=7703] ppid=7700 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/7703/stat : 7703 (xcsp3-exec) S 7700 7703 7296 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154270143 9740288 346 33554432000 4194304 5098028 140725536221056 140725536219160 140418790969980 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 36466688 140725536228468 140725536228672 140725536228672 140725536231403 0
/proc/7703/statm: 2378 346 289 221 0 87 0
[pid=7705] ppid=7703 vsize=13984976 memory=147880 CPUtime=244.38 cores=0,2,4,6
/proc/7705/stat : 7705 (java) S 7703 7703 7296 0 -1 1077944320 47080 0 0 0 24418 20 0 0 20 0 15 0 154270143 14320615424 36970 33554432000 4194304 4196468 140725782283344 140725782265888 140298296127223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
/proc/7705/statm: 3496244 36970 3267 1 0 3483478 0
[pid=7705/tid=7706] ppid=7703 vsize=13984976 memory=8112282956445269571 CPUtime=239.87 cores=0,2,4,6
/proc/7705/task/7706/stat : 7706 (java) R 7703 7703 7296 0 -1 4202560 11851 0 0 0 23982 5 0 0 20 0 15 0 154270144 14320615424 36970 33554432000 4194304 4196468 140725782283344 140298300366768 140297940776236 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7707] ppid=7703 vsize=13984976 memory=4126316290023845779 CPUtime=0.04 cores=0,2,4,6
/proc/7705/task/7707/stat : 7707 (java) S 7703 7703 7296 0 -1 1077944384 619 0 0 0 3 1 0 0 20 0 15 0 154270144 14320615424 36970 33554432000 4194304 4196468 140725782283344 140297891855376 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7708] ppid=7703 vsize=13984976 memory=8744 CPUtime=0.04 cores=0,2,4,6
/proc/7705/task/7708/stat : 7708 (java) S 7703 7703 7296 0 -1 1077944384 1346 0 0 0 3 1 0 0 20 0 15 0 154270144 14320615424 36970 33554432000 4194304 4196468 140725782283344 140297890802832 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7709] ppid=7703 vsize=13984976 memory=4620 CPUtime=0.04 cores=0,2,4,6
/proc/7705/task/7709/stat : 7709 (java) S 7703 7703 7296 0 -1 1077944384 1517 0 0 0 3 1 0 0 20 0 15 0 154270144 14320615424 36970 33554432000 4194304 4196468 140725782283344 140297889749776 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7710] ppid=7703 vsize=13984976 memory=1196 CPUtime=0.04 cores=0,2,4,6
/proc/7705/task/7710/stat : 7710 (java) S 7703 7703 7296 0 -1 1077944384 1309 0 0 0 3 1 0 0 20 0 15 0 154270144 14320615424 36970 33554432000 4194304 4196468 140725782283344 140297888697232 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7711] ppid=7703 vsize=13984976 memory=15876 CPUtime=0.04 cores=0,2,4,6
/proc/7705/task/7711/stat : 7711 (java) S 7703 7703 7296 0 -1 1077944384 1568 0 0 0 3 1 0 0 20 0 15 0 154270146 14320615424 36970 33554432000 4194304 4196468 140725782283344 140297208277232 140298296138370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7712] ppid=7703 vsize=13984976 memory=2548 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7712/stat : 7712 (java) S 7703 7703 7296 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 154270146 14320615424 36970 33554432000 4194304 4196468 140725782283344 140297207223456 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7713] ppid=7703 vsize=13984976 memory=2644 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7713/stat : 7713 (java) S 7703 7703 7296 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 154270146 14320615424 36970 33554432000 4194304 4196468 140725782283344 140297206170352 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7714] ppid=7703 vsize=13984976 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7714/stat : 7714 (java) S 7703 7703 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154270149 14320615424 36970 33554432000 4194304 4196468 140725782283344 140297205118928 140298296145819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7715] ppid=7703 vsize=13984976 memory=3036 CPUtime=1.78 cores=0,2,4,6
/proc/7705/task/7715/stat : 7715 (java) S 7703 7703 7296 0 -1 1077944384 10136 0 0 0 177 1 0 0 20 0 15 0 154270149 14320615424 36970 33554432000 4194304 4196468 140725782283344 140297204067056 140298296138370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7716] ppid=7703 vsize=13984976 memory=1384 CPUtime=1.73 cores=0,2,4,6
/proc/7705/task/7716/stat : 7716 (java) S 7703 7703 7296 0 -1 1077944384 10154 0 0 0 172 1 0 0 20 0 15 0 154270149 14320615424 36970 33554432000 4194304 4196468 140725782283344 140297203014512 140298296138370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7717] ppid=7703 vsize=13984976 memory=148904 CPUtime=0.63 cores=0,2,4,6
/proc/7705/task/7717/stat : 7717 (java) S 7703 7703 7296 0 -1 1077944384 6495 0 0 0 62 1 0 0 20 0 15 0 154270149 14320615424 36970 33554432000 4194304 4196468 140725782283344 140297201961456 140298296138370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7718] ppid=7703 vsize=13984976 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/7705/task/7718/stat : 7718 (java) S 7703 7703 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154270149 14320615424 36970 33554432000 4194304 4196468 140725782283344 140297200909152 140298296137429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
[pid=7705/tid=7719] ppid=7703 vsize=13984976 memory=3112 CPUtime=0.05 cores=0,2,4,6
/proc/7705/task/7719/stat : 7719 (java) S 7703 7703 7296 0 -1 1077944384 713 0 0 0 1 4 0 0 20 0 15 0 154270149 14320615424 36970 33554432000 4194304 4196468 140725782283344 140297199856176 140298296138370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15433728 140725782287517 140725782287692 140725782287692 140725782290383 0
Current children cumulated CPU time: 244.38 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 149264 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.023 s]
# the end of solver process 7703 was just reported to runsolver
# cumulated CPU time of all completed processes: user=244.196 s, system=0.208101 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 240.023
CPU time (s): 244.404
CPU user time (s): 244.196
CPU system time (s): 0.208101
CPU usage (%): 101.825
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 215948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.196
system time used= 0.208101
maximum resident set size= 219176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48121
page faults= 0
swaps= 0
block input operations= 0
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8339
involuntary context switches= 320
# summary of solver processes directly reported to runsolver:
# pid: 7703
# total CPU time (s): 244.404
# total CPU user time (s): 244.196
# total CPU system time (s): 0.208101
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.73084 second user time and 1.90715 second system time
The end
Begin job on node149 at 2017-08-20 08:37:14 IDJOB=4283098 IDBENCH=124395 IDSOLVER=2678 FILE ID=node149/4283098-1503211894 RUNJOBID= node149-1503210552-7327 PBS_JOBID= 20630877 Free space on /tmp= 61704 MiB SOLVER NAME= choco-solver 4.0.5 seq 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-4283098-1503211894/watcher-4283098-1503211894 -o /tmp/evaluation-result-4283098-1503211894/solver-4283098-1503211894 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node149-1503210552-7327 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1481755712 HOME/instance-4283098-1503211894.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7965d79c566fadd70d01c63d02ba9078 RANDOM SEED=1481755712 node149.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 21165260 kB MemAvailable: 31720716 kB Buffers: 286368 kB Cached: 10538408 kB SwapCached: 0 kB Active: 2399212 kB Inactive: 8711520 kB Active(anon): 235692 kB Inactive(anon): 86576 kB Active(file): 2163520 kB Inactive(file): 8624944 kB Unevictable: 7904 kB Mlocked: 7904 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7548 kB Writeback: 0 kB AnonPages: 428940 kB Mapped: 64372 kB Shmem: 33416 kB Slab: 192680 kB SReclaimable: 165652 kB SUnreclaim: 27028 kB KernelStack: 3840 kB PageTables: 6128 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1304080 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 313344 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 97664 kB DirectMap2M: 33447936 kB Free space on /tmp at the end= 61696 MiB End job on node149 at 2017-08-20 08:41:14