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-07-26) | SAT (TO) | 1339 | 243.75999 | 240.00999 |
| 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.08 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254371-1501613722.xml" -tl '264s' -p 1 -x 0 0.00/0.26 c [HOME/instance-4254371-1501613722.xml, -tl, 264s, -p, 1, -x, 0] 0.00/0.32 c simple solver 0.00/0.39 c parse instance... 0.00/0.76 c solve instance... 2.99/1.25 o 1556 2.99/1.26 o 1552 2.99/1.26 o 1539 2.99/1.27 o 1510 2.99/1.28 o 1475 2.99/1.28 o 1446 2.99/1.29 o 1438 16.33/13.25 o 1436 16.33/13.25 o 1425 16.33/13.26 o 1424 16.33/13.27 o 1422 16.33/13.27 o 1411 16.33/13.28 o 1409 16.33/13.28 o 1408 16.33/13.28 o 1397 16.33/13.29 o 1395 16.33/13.29 o 1384 16.49/13.31 o 1368 16.49/13.33 o 1348 16.49/13.35 o 1340 28.04/24.75 o 1339 243.76/240.00 s SATISFIABLE 243.76/240.00 v <instantiation> 243.76/240.00 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> 243.76/240.00 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> 243.76/240.00 v </instantiation> 243.76/240.00 c Unexpected resolution interruption!
OK 1339
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254371-1501613722/watcher-4254371-1501613722 -o /tmp/evaluation-result-4254371-1501613722/solver-4254371-1501613722 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501611185-5152 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 615144913 HOME/instance-4254371-1501613722.xml pid=6784 running on 4 cores: 1,3,5,7 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.99 1.91 1.61 3/196 6787 /proc/meminfo: memFree=31760516/32770624 swapFree=0/182412 [pid=6787] ppid=6784 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/6787/stat : 6787 (runsolver) D 6784 6787 5091 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9995314 24240128 107 18446744073709551615 4194304 4338465 140727257236032 140727257233672 140076961649367 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 24104960 140727257243742 140727257244230 140727257244230 140727257247690 0 /proc/6787/statm: 5918 107 54 36 0 2156 0 [startup+0.100156 s] /proc/loadavg: 1.99 1.91 1.61 3/196 6787 /proc/meminfo: memFree=31760516/32770624 swapFree=0/182412 [pid=6787] ppid=6784 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/6787/stat : 6787 (xcsp3-exec) S 6784 6787 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9995314 9740288 345 18446744073709551615 4194304 5098028 140737038407376 140737038405480 140312566989436 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 16080896 140737038410140 140737038410343 140737038410343 140737038413803 0 /proc/6787/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200218 s] /proc/loadavg: 1.99 1.91 1.61 3/196 6787 /proc/meminfo: memFree=31760516/32770624 swapFree=0/182412 [pid=6787] ppid=6784 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/6787/stat : 6787 (xcsp3-exec) S 6784 6787 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9995314 9740288 345 18446744073709551615 4194304 5098028 140737038407376 140737038405480 140312566989436 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 16080896 140737038410140 140737038410343 140737038410343 140737038413803 0 /proc/6787/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300328 s] /proc/loadavg: 1.99 1.91 1.61 3/196 6787 /proc/meminfo: memFree=31760516/32770624 swapFree=0/182412 [pid=6787] ppid=6784 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/6787/stat : 6787 (xcsp3-exec) S 6784 6787 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9995314 9740288 345 18446744073709551615 4194304 5098028 140737038407376 140737038405480 140312566989436 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 16080896 140737038410140 140737038410343 140737038410343 140737038413803 0 /proc/6787/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700539 s] /proc/loadavg: 1.99 1.91 1.61 3/196 6787 /proc/meminfo: memFree=31760516/32770624 swapFree=0/182412 [pid=6787] ppid=6784 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/6787/stat : 6787 (xcsp3-exec) S 6784 6787 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9995314 9740288 345 18446744073709551615 4194304 5098028 140737038407376 140737038405480 140312566989436 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 16080896 140737038410140 140737038410343 140737038410343 140737038413803 0 /proc/6787/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50072 s] /proc/loadavg: 1.99 1.91 1.61 5/212 6803 /proc/meminfo: memFree=31673764/32770624 swapFree=0/182428 [pid=6787] ppid=6784 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/6787/stat : 6787 (xcsp3-exec) S 6784 6787 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9995314 9740288 345 18446744073709551615 4194304 5098028 140737038407376 140737038405480 140312566989436 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 16080896 140737038410140 140737038410343 140737038410343 140737038413803 0 /proc/6787/statm: 2378 345 289 221 0 87 0 [pid=6789] ppid=6787 vsize=13980732 CPUtime=3.9 cores=1,3,5,7 /proc/6789/stat : 6789 (java) S 6787 6787 5091 0 -1 1077944320 23418 0 0 0 383 7 0 0 20 0 15 0 9995322 14316269568 31064 18446744073709551615 4194304 4196468 140720720013328 140720719995872 140485817863927 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 /proc/6789/statm: 3495183 31064 3182 1 0 3483484 0 [pid=6789/tid=6790] ppid=6787 vsize=13980732 CPUtime=1.35 cores=1,3,5,7 /proc/6789/task/6790/stat : 6790 (java) R 6787 6787 5091 0 -1 4202560 9115 0 0 0 131 4 0 0 20 0 15 0 9995323 14316269568 31064 18446744073709551615 4194304 4196468 140720720013328 140485822101184 140485450113679 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6791] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6791/stat : 6791 (java) S 6787 6787 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9995323 14316269568 31064 18446744073709551615 4194304 4196468 140720720013328 140485774830096 140485817874133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6792] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6792/stat : 6792 (java) S 6787 6787 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9995323 14316269568 31064 18446744073709551615 4194304 4196468 140720720013328 140485773777552 140485817874133 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6793] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6793/stat : 6793 (java) S 6787 6787 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9995323 14316269568 31064 18446744073709551615 4194304 4196468 140720720013328 140485772724496 140485817874133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6794] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6794/stat : 6794 (java) S 6787 6787 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9995323 14316269568 31064 18446744073709551615 4194304 4196468 140720720013328 140485771671952 140485817874133 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6795] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6795/stat : 6795 (java) S 6787 6787 5091 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 9995325 14316269568 31064 18446744073709551615 4194304 4196468 140720720013328 140484733840112 140485817875074 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6796] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6796/stat : 6796 (java) S 6787 6787 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9995325 14316269568 31064 18446744073709551615 4194304 4196468 140720720013328 140484732786336 140485817874133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6797] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6797/stat : 6797 (java) S 6787 6787 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9995325 14316269568 31064 18446744073709551615 4194304 4196468 140720720013328 140484731733232 140485817874133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6798] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6798/stat : 6798 (java) S 6787 6787 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9995328 14316269568 31064 18446744073709551615 4194304 4196468 140720720013328 140484730681808 140485817882523 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6799] ppid=6787 vsize=13980732 CPUtime=0.99 cores=1,3,5,7 /proc/6789/task/6799/stat : 6799 (java) R 6787 6787 5091 0 -1 4202560 4586 0 0 0 99 0 0 0 20 0 15 0 9995328 14316269568 31064 18446744073709551615 4194304 4196468 140720720013328 140484729628912 140485795543059 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6800] ppid=6787 vsize=13980732 CPUtime=0.98 cores=1,3,5,7 /proc/6789/task/6800/stat : 6800 (java) R 6787 6787 5091 0 -1 4202560 5744 0 0 0 97 1 0 0 20 0 15 0 9995328 14316269568 31064 18446744073709551615 4194304 4196468 140720720013328 140484728576368 140485797034973 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6801] ppid=6787 vsize=13980732 CPUtime=0.54 cores=1,3,5,7 /proc/6789/task/6801/stat : 6801 (java) S 6787 6787 5091 0 -1 1077944384 2647 0 0 0 54 0 0 0 20 0 15 0 9995328 14316269568 31064 18446744073709551615 4194304 4196468 140720720013328 140484727523312 140485817875074 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6802] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6802/stat : 6802 (java) S 6787 6787 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9995328 14316269568 31064 18446744073709551615 4194304 4196468 140720720013328 140484726471008 140485817874133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6803] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6803/stat : 6803 (java) S 6787 6787 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9995332 14316269568 31064 18446744073709551615 4194304 4196468 140720720013328 140484725419056 140485817875074 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 Current children cumulated CPU time (s) 3.9 Current children cumulated vsize (KiB) 13990244 [startup+3.1007 s] /proc/loadavg: 1.91 1.90 1.60 3/212 6803 /proc/meminfo: memFree=31639824/32770624 swapFree=0/182428 [pid=6787] ppid=6784 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/6787/stat : 6787 (xcsp3-exec) S 6784 6787 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9995314 9740288 345 18446744073709551615 4194304 5098028 140737038407376 140737038405480 140312566989436 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 16080896 140737038410140 140737038410343 140737038410343 140737038413803 0 /proc/6787/statm: 2378 345 289 221 0 87 0 [pid=6789] ppid=6787 vsize=13980732 CPUtime=6.03 cores=1,3,5,7 /proc/6789/stat : 6789 (java) S 6787 6787 5091 0 -1 1077944320 24499 0 0 0 596 7 0 0 20 0 15 0 9995322 14316269568 35313 18446744073709551615 4194304 4196468 140720720013328 140720719995872 140485817863927 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 /proc/6789/statm: 3495183 35313 3192 1 0 3483484 0 [pid=6789/tid=6790] ppid=6787 vsize=13980732 CPUtime=2.95 cores=1,3,5,7 /proc/6789/task/6790/stat : 6790 (java) R 6787 6787 5091 0 -1 4202560 9417 0 0 0 291 4 0 0 20 0 15 0 9995323 14316269568 35313 18446744073709551615 4194304 4196468 140720720013328 140485822100736 140485450507347 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6791] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6791/stat : 6791 (java) S 6787 6787 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9995323 14316269568 35313 18446744073709551615 4194304 4196468 140720720013328 140485774830096 140485817874133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6792] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6792/stat : 6792 (java) S 6787 6787 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9995323 14316269568 35313 18446744073709551615 4194304 4196468 140720720013328 140485773777552 140485817874133 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6793] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6793/stat : 6793 (java) S 6787 6787 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9995323 14316269568 35313 18446744073709551615 4194304 4196468 140720720013328 140485772724496 140485817874133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6794] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6794/stat : 6794 (java) S 6787 6787 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9995323 14316269568 35313 18446744073709551615 4194304 4196468 140720720013328 140485771671952 140485817874133 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6795] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6795/stat : 6795 (java) S 6787 6787 5091 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9995325 14316269568 35313 18446744073709551615 4194304 4196468 140720720013328 140484733840112 140485817875074 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6796] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6796/stat : 6796 (java) S 6787 6787 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9995325 14316269568 35313 18446744073709551615 4194304 4196468 140720720013328 140484732786336 140485817874133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6797] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6797/stat : 6797 (java) S 6787 6787 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9995325 14316269568 35313 18446744073709551615 4194304 4196468 140720720013328 140484731733232 140485817874133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6798] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6798/stat : 6798 (java) S 6787 6787 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9995328 14316269568 35313 18446744073709551615 4194304 4196468 140720720013328 140484730681808 140485817882523 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6799] ppid=6787 vsize=13980732 CPUtime=1.2 cores=1,3,5,7 /proc/6789/task/6799/stat : 6799 (java) S 6787 6787 5091 0 -1 1077944384 4831 0 0 0 120 0 0 0 20 0 15 0 9995328 14316269568 35313 18446744073709551615 4194304 4196468 140720720013328 140484729628912 140485817875074 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6800] ppid=6787 vsize=13980732 CPUtime=1.27 cores=1,3,5,7 /proc/6789/task/6800/stat : 6800 (java) S 6787 6787 5091 0 -1 1077944384 6127 0 0 0 126 1 0 0 20 0 15 0 9995328 14316269568 35313 18446744073709551615 4194304 4196468 140720720013328 140484728576368 140485817875074 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6801] ppid=6787 vsize=13980732 CPUtime=0.57 cores=1,3,5,7 /proc/6789/task/6801/stat : 6801 (java) S 6787 6787 5091 0 -1 1077944384 2732 0 0 0 57 0 0 0 20 0 15 0 9995328 14316269568 35313 18446744073709551615 4194304 4196468 140720720013328 140484727523312 140485817875074 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6802] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6802/stat : 6802 (java) S 6787 6787 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9995328 14316269568 35313 18446744073709551615 4194304 4196468 140720720013328 140484726471008 140485817874133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6803] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6803/stat : 6803 (java) S 6787 6787 5091 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 9995332 14316269568 35313 18446744073709551615 4194304 4196468 140720720013328 140484725419056 140485817875074 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 Current children cumulated CPU time (s) 6.03 Current children cumulated vsize (KiB) 13990244 [startup+6.30062 s] /proc/loadavg: 1.91 1.90 1.60 3/212 6803 /proc/meminfo: memFree=31610168/32770624 swapFree=0/182428 [pid=6787] ppid=6784 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/6787/stat : 6787 (xcsp3-exec) S 6784 6787 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9995314 9740288 345 18446744073709551615 4194304 5098028 140737038407376 140737038405480 140312566989436 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 16080896 140737038410140 140737038410343 140737038410343 140737038413803 0 /proc/6787/statm: 2378 345 289 221 0 87 0 [pid=6789] ppid=6787 vsize=13980732 CPUtime=9.31 cores=1,3,5,7 /proc/6789/stat : 6789 (java) S 6787 6787 5091 0 -1 1077944320 28094 0 0 0 923 8 0 0 20 0 15 0 9995322 14316269568 42529 18446744073709551615 4194304 4196468 140720720013328 140720719995872 140485817863927 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 /proc/6789/statm: 3495183 42529 3199 1 0 3483484 0 [pid=6789/tid=6790] ppid=6787 vsize=13980732 CPUtime=6.16 cores=1,3,5,7 /proc/6789/task/6790/stat : 6790 (java) R 6787 6787 5091 0 -1 4202560 9948 0 0 0 611 5 0 0 20 0 15 0 9995323 14316269568 42529 18446744073709551615 4194304 4196468 140720720013328 140485822100736 140485449040151 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6791] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6791/stat : 6791 (java) S 6787 6787 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9995323 14316269568 42529 18446744073709551615 4194304 4196468 140720720013328 140485774830096 140485817874133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6792] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6792/stat : 6792 (java) S 6787 6787 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9995323 14316269568 42529 18446744073709551615 4194304 4196468 140720720013328 140485773777552 140485817874133 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6793] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6793/stat : 6793 (java) S 6787 6787 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9995323 14316269568 42529 18446744073709551615 4194304 4196468 140720720013328 140485772724496 140485817874133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6794] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6794/stat : 6794 (java) S 6787 6787 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9995323 14316269568 42529 18446744073709551615 4194304 4196468 140720720013328 140485771671952 140485817874133 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6795] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6795/stat : 6795 (java) S 6787 6787 5091 0 -1 1077944384 386 0 0 0 0 0 0 0 20 0 15 0 9995325 14316269568 42529 18446744073709551615 4194304 4196468 140720720013328 140484733840112 140485817875074 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6796] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6796/stat : 6796 (java) S 6787 6787 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9995325 14316269568 42529 18446744073709551615 4194304 4196468 140720720013328 140484732786336 140485817874133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6797] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6797/stat : 6797 (java) S 6787 6787 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9995325 14316269568 42529 18446744073709551615 4194304 4196468 140720720013328 140484731733232 140485817874133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6798] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6798/stat : 6798 (java) S 6787 6787 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9995328 14316269568 42529 18446744073709551615 4194304 4196468 140720720013328 140484730681808 140485817882523 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6799] ppid=6787 vsize=13980732 CPUtime=1.26 cores=1,3,5,7 /proc/6789/task/6799/stat : 6799 (java) S 6787 6787 5091 0 -1 1077944384 6712 0 0 0 126 0 0 0 20 0 15 0 9995328 14316269568 42529 18446744073709551615 4194304 4196468 140720720013328 140484729628912 140485817875074 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6800] ppid=6787 vsize=13980732 CPUtime=1.28 cores=1,3,5,7 /proc/6789/task/6800/stat : 6800 (java) S 6787 6787 5091 0 -1 1077944384 6516 0 0 0 127 1 0 0 20 0 15 0 9995328 14316269568 42529 18446744073709551615 4194304 4196468 140720720013328 140484728576368 140485817875074 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6801] ppid=6787 vsize=13980732 CPUtime=0.57 cores=1,3,5,7 /proc/6789/task/6801/stat : 6801 (java) S 6787 6787 5091 0 -1 1077944384 2760 0 0 0 57 0 0 0 20 0 15 0 9995328 14316269568 42529 18446744073709551615 4194304 4196468 140720720013328 140484727523312 140485817875074 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6802] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6802/stat : 6802 (java) S 6787 6787 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9995328 14316269568 42529 18446744073709551615 4194304 4196468 140720720013328 140484726471008 140485817874133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6803] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6803/stat : 6803 (java) S 6787 6787 5091 0 -1 1077944384 471 0 0 0 0 0 0 0 20 0 15 0 9995332 14316269568 42529 18446744073709551615 4194304 4196468 140720720013328 140484725419056 140485817875074 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 Current children cumulated CPU time (s) 9.31 Current children cumulated vsize (KiB) 13990244 [startup+12.7006 s] /proc/loadavg: 1.92 1.90 1.61 3/212 6803 /proc/meminfo: memFree=31568712/32770624 swapFree=0/182440 [pid=6787] ppid=6784 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/6787/stat : 6787 (xcsp3-exec) S 6784 6787 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9995314 9740288 345 18446744073709551615 4194304 5098028 140737038407376 140737038405480 140312566989436 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 16080896 140737038410140 140737038410343 140737038410343 140737038413803 0 /proc/6787/statm: 2378 345 289 221 0 87 0 [pid=6789] ppid=6787 vsize=13980732 CPUtime=15.82 cores=1,3,5,7 /proc/6789/stat : 6789 (java) S 6787 6787 5091 0 -1 1077944320 32882 0 0 0 1573 9 0 0 20 0 15 0 9995322 14316269568 50810 18446744073709551615 4194304 4196468 140720720013328 140720719995872 140485817863927 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 /proc/6789/statm: 3495183 50810 3223 1 0 3483484 0 [pid=6789/tid=6790] ppid=6787 vsize=13980732 CPUtime=12.55 cores=1,3,5,7 /proc/6789/task/6790/stat : 6790 (java) R 6787 6787 5091 0 -1 4202560 10542 0 0 0 1250 5 0 0 20 0 15 0 9995323 14316269568 50810 18446744073709551615 4194304 4196468 140720720013328 140485822100712 140485450250394 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6791] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6791/stat : 6791 (java) S 6787 6787 5091 0 -1 1077944384 390 0 0 0 0 0 0 0 20 0 15 0 9995323 14316269568 50810 18446744073709551615 4194304 4196468 140720720013328 140485774830096 140485817874133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6792] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6792/stat : 6792 (java) S 6787 6787 5091 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 9995323 14316269568 50810 18446744073709551615 4194304 4196468 140720720013328 140485773777552 140485817874133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 ################ # More data... # ################ [pid=6789/tid=6796] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6796/stat : 6796 (java) S 6787 6787 5091 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 9995325 14316269568 51434 18446744073709551615 4194304 4196468 140720720013328 140484732786336 140485817874133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6797] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6797/stat : 6797 (java) S 6787 6787 5091 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 9995325 14316269568 51434 18446744073709551615 4194304 4196468 140720720013328 140484731733232 140485817874133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6798] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6798/stat : 6798 (java) S 6787 6787 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9995328 14316269568 51434 18446744073709551615 4194304 4196468 140720720013328 140484730681808 140485817882523 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6799] ppid=6787 vsize=13980732 CPUtime=1.48 cores=1,3,5,7 /proc/6789/task/6799/stat : 6799 (java) S 6787 6787 5091 0 -1 1077944384 9312 0 0 0 148 0 0 0 20 0 15 0 9995328 14316269568 51434 18446744073709551615 4194304 4196468 140720720013328 140484729628912 140485817875074 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6800] ppid=6787 vsize=13980732 CPUtime=1.54 cores=1,3,5,7 /proc/6789/task/6800/stat : 6800 (java) S 6787 6787 5091 0 -1 1077944384 9079 0 0 0 153 1 0 0 20 0 15 0 9995328 14316269568 51434 18446744073709551615 4194304 4196468 140720720013328 140484728576368 140485817875074 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6801] ppid=6787 vsize=13980732 CPUtime=0.63 cores=1,3,5,7 /proc/6789/task/6801/stat : 6801 (java) S 6787 6787 5091 0 -1 1077944384 6079 0 0 0 62 1 0 0 20 0 15 0 9995328 14316269568 51434 18446744073709551615 4194304 4196468 140720720013328 140484727523312 140485817875074 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6802] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6802/stat : 6802 (java) S 6787 6787 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9995328 14316269568 51434 18446744073709551615 4194304 4196468 140720720013328 140484726471008 140485817874133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6803] ppid=6787 vsize=13980732 CPUtime=0.02 cores=1,3,5,7 /proc/6789/task/6803/stat : 6803 (java) S 6787 6787 5091 0 -1 1077944384 678 0 0 0 1 1 0 0 20 0 15 0 9995332 14316269568 51434 18446744073709551615 4194304 4196468 140720720013328 140484725419056 140485817875074 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 Current children cumulated CPU time (s) 105.95 Current children cumulated vsize (KiB) 13990244 [startup+162.301 s] /proc/loadavg: 1.75 1.87 1.64 3/212 6886 /proc/meminfo: memFree=31628280/32770624 swapFree=0/182612 [pid=6787] ppid=6784 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/6787/stat : 6787 (xcsp3-exec) S 6784 6787 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9995314 9740288 345 18446744073709551615 4194304 5098028 140737038407376 140737038405480 140312566989436 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 16080896 140737038410140 140737038410343 140737038410343 140737038413803 0 /proc/6787/statm: 2378 345 289 221 0 87 0 [pid=6789] ppid=6787 vsize=13980732 CPUtime=165.98 cores=1,3,5,7 /proc/6789/stat : 6789 (java) S 6787 6787 5091 0 -1 1077944320 46856 0 0 0 16584 14 0 0 20 0 15 0 9995322 14316269568 44004 18446744073709551615 4194304 4196468 140720720013328 140720719995872 140485817863927 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 /proc/6789/statm: 3495183 44004 3229 1 0 3483484 0 [pid=6789/tid=6790] ppid=6787 vsize=13980732 CPUtime=162.07 cores=1,3,5,7 /proc/6789/task/6790/stat : 6790 (java) R 6787 6787 5091 0 -1 4202560 13458 0 0 0 16202 5 0 0 20 0 15 0 9995323 14316269568 44004 18446744073709551615 4194304 4196468 140720720013328 140485822100496 140485450344199 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6791] ppid=6787 vsize=13980732 CPUtime=0.03 cores=1,3,5,7 /proc/6789/task/6791/stat : 6791 (java) S 6787 6787 5091 0 -1 1077944384 2412 0 0 0 2 1 0 0 20 0 15 0 9995323 14316269568 44004 18446744073709551615 4194304 4196468 140720720013328 140485774830096 140485817874133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6792] ppid=6787 vsize=13980732 CPUtime=0.04 cores=1,3,5,7 /proc/6789/task/6792/stat : 6792 (java) S 6787 6787 5091 0 -1 1077944384 485 0 0 0 3 1 0 0 20 0 15 0 9995323 14316269568 44004 18446744073709551615 4194304 4196468 140720720013328 140485773777552 140485817874133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6793] ppid=6787 vsize=13980732 CPUtime=0.03 cores=1,3,5,7 /proc/6789/task/6793/stat : 6793 (java) S 6787 6787 5091 0 -1 1077944384 1293 0 0 0 3 0 0 0 20 0 15 0 9995323 14316269568 44004 18446744073709551615 4194304 4196468 140720720013328 140485772724496 140485817874133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6794] ppid=6787 vsize=13980732 CPUtime=0.03 cores=1,3,5,7 /proc/6789/task/6794/stat : 6794 (java) S 6787 6787 5091 0 -1 1077944384 493 0 0 0 3 0 0 0 20 0 15 0 9995323 14316269568 44004 18446744073709551615 4194304 4196468 140720720013328 140485771671952 140485817874133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6795] ppid=6787 vsize=13980732 CPUtime=0.02 cores=1,3,5,7 /proc/6789/task/6795/stat : 6795 (java) S 6787 6787 5091 0 -1 1077944384 1458 0 0 0 2 0 0 0 20 0 15 0 9995325 14316269568 44004 18446744073709551615 4194304 4196468 140720720013328 140484733840112 140485817875074 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6796] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6796/stat : 6796 (java) S 6787 6787 5091 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 9995325 14316269568 44004 18446744073709551615 4194304 4196468 140720720013328 140484732786336 140485817874133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6797] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6797/stat : 6797 (java) S 6787 6787 5091 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 9995325 14316269568 44004 18446744073709551615 4194304 4196468 140720720013328 140484731733232 140485817874133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6798] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6798/stat : 6798 (java) S 6787 6787 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9995328 14316269568 44004 18446744073709551615 4194304 4196468 140720720013328 140484730681808 140485817882523 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6799] ppid=6787 vsize=13980732 CPUtime=1.48 cores=1,3,5,7 /proc/6789/task/6799/stat : 6799 (java) S 6787 6787 5091 0 -1 1077944384 9321 0 0 0 148 0 0 0 20 0 15 0 9995328 14316269568 44004 18446744073709551615 4194304 4196468 140720720013328 140484729628912 140485817875074 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6800] ppid=6787 vsize=13980732 CPUtime=1.54 cores=1,3,5,7 /proc/6789/task/6800/stat : 6800 (java) S 6787 6787 5091 0 -1 1077944384 9294 0 0 0 153 1 0 0 20 0 15 0 9995328 14316269568 44004 18446744073709551615 4194304 4196468 140720720013328 140484728576368 140485817875074 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6801] ppid=6787 vsize=13980732 CPUtime=0.63 cores=1,3,5,7 /proc/6789/task/6801/stat : 6801 (java) S 6787 6787 5091 0 -1 1077944384 6561 0 0 0 62 1 0 0 20 0 15 0 9995328 14316269568 44004 18446744073709551615 4194304 4196468 140720720013328 140484727523312 140485817875074 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6802] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6802/stat : 6802 (java) S 6787 6787 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9995328 14316269568 44004 18446744073709551615 4194304 4196468 140720720013328 140484726471008 140485817874133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6803] ppid=6787 vsize=13980732 CPUtime=0.02 cores=1,3,5,7 /proc/6789/task/6803/stat : 6803 (java) S 6787 6787 5091 0 -1 1077944384 709 0 0 0 1 1 0 0 20 0 15 0 9995332 14316269568 44004 18446744073709551615 4194304 4196468 140720720013328 140484725419056 140485817875074 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 Current children cumulated CPU time (s) 165.98 Current children cumulated vsize (KiB) 13990244 [startup+222.307 s] /proc/loadavg: 1.76 1.85 1.65 3/211 6888 /proc/meminfo: memFree=31678628/32770624 swapFree=0/182640 [pid=6787] ppid=6784 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/6787/stat : 6787 (xcsp3-exec) S 6784 6787 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9995314 9740288 345 18446744073709551615 4194304 5098028 140737038407376 140737038405480 140312566989436 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 16080896 140737038410140 140737038410343 140737038410343 140737038413803 0 /proc/6787/statm: 2378 345 289 221 0 87 0 [pid=6789] ppid=6787 vsize=13980732 CPUtime=226.04 cores=1,3,5,7 /proc/6789/stat : 6789 (java) S 6787 6787 5091 0 -1 1077944320 48140 0 0 0 22588 16 0 0 20 0 15 0 9995322 14316269568 37719 18446744073709551615 4194304 4196468 140720720013328 140720719995872 140485817863927 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 /proc/6789/statm: 3495183 37719 3229 1 0 3483484 0 [pid=6789/tid=6790] ppid=6787 vsize=13980732 CPUtime=222.05 cores=1,3,5,7 /proc/6789/task/6790/stat : 6790 (java) R 6787 6787 5091 0 -1 4202560 13969 0 0 0 22200 5 0 0 20 0 15 0 9995323 14316269568 37719 18446744073709551615 4194304 4196468 140720720013328 140485822103216 140485451100728 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6791] ppid=6787 vsize=13980732 CPUtime=0.04 cores=1,3,5,7 /proc/6789/task/6791/stat : 6791 (java) S 6787 6787 5091 0 -1 1077944384 2478 0 0 0 3 1 0 0 20 0 15 0 9995323 14316269568 37719 18446744073709551615 4194304 4196468 140720720013328 140485774830096 140485817874133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6792] ppid=6787 vsize=13980732 CPUtime=0.05 cores=1,3,5,7 /proc/6789/task/6792/stat : 6792 (java) S 6787 6787 5091 0 -1 1077944384 498 0 0 0 4 1 0 0 20 0 15 0 9995323 14316269568 37719 18446744073709551615 4194304 4196468 140720720013328 140485773777552 140485817874133 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6793] ppid=6787 vsize=13980732 CPUtime=0.05 cores=1,3,5,7 /proc/6789/task/6793/stat : 6793 (java) S 6787 6787 5091 0 -1 1077944384 1309 0 0 0 4 1 0 0 20 0 15 0 9995323 14316269568 37719 18446744073709551615 4194304 4196468 140720720013328 140485772724496 140485817874133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6794] ppid=6787 vsize=13980732 CPUtime=0.04 cores=1,3,5,7 /proc/6789/task/6794/stat : 6794 (java) S 6787 6787 5091 0 -1 1077944384 898 0 0 0 4 0 0 0 20 0 15 0 9995323 14316269568 37719 18446744073709551615 4194304 4196468 140720720013328 140485771671952 140485817874133 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6795] ppid=6787 vsize=13980732 CPUtime=0.04 cores=1,3,5,7 /proc/6789/task/6795/stat : 6795 (java) S 6787 6787 5091 0 -1 1077944384 1701 0 0 0 3 1 0 0 20 0 15 0 9995325 14316269568 37719 18446744073709551615 4194304 4196468 140720720013328 140484733840112 140485817875074 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6796] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6796/stat : 6796 (java) S 6787 6787 5091 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 9995325 14316269568 37719 18446744073709551615 4194304 4196468 140720720013328 140484732786336 140485817874133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6797] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6797/stat : 6797 (java) S 6787 6787 5091 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 9995325 14316269568 37719 18446744073709551615 4194304 4196468 140720720013328 140484731733232 140485817874133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6798] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6798/stat : 6798 (java) S 6787 6787 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9995328 14316269568 37719 18446744073709551615 4194304 4196468 140720720013328 140484730681808 140485817882523 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6799] ppid=6787 vsize=13980732 CPUtime=1.48 cores=1,3,5,7 /proc/6789/task/6799/stat : 6799 (java) S 6787 6787 5091 0 -1 1077944384 9324 0 0 0 148 0 0 0 20 0 15 0 9995328 14316269568 37719 18446744073709551615 4194304 4196468 140720720013328 140484729628912 140485817875074 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6800] ppid=6787 vsize=13980732 CPUtime=1.54 cores=1,3,5,7 /proc/6789/task/6800/stat : 6800 (java) S 6787 6787 5091 0 -1 1077944384 9296 0 0 0 153 1 0 0 20 0 15 0 9995328 14316269568 37719 18446744073709551615 4194304 4196468 140720720013328 140484728576368 140485817875074 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6801] ppid=6787 vsize=13980732 CPUtime=0.63 cores=1,3,5,7 /proc/6789/task/6801/stat : 6801 (java) S 6787 6787 5091 0 -1 1077944384 6564 0 0 0 62 1 0 0 20 0 15 0 9995328 14316269568 37719 18446744073709551615 4194304 4196468 140720720013328 140484727523312 140485817875074 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6802] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6802/stat : 6802 (java) S 6787 6787 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9995328 14316269568 37719 18446744073709551615 4194304 4196468 140720720013328 140484726471008 140485817874133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6803] ppid=6787 vsize=13980732 CPUtime=0.04 cores=1,3,5,7 /proc/6789/task/6803/stat : 6803 (java) S 6787 6787 5091 0 -1 1077944384 731 0 0 0 2 2 0 0 20 0 15 0 9995332 14316269568 37719 18446744073709551615 4194304 4196468 140720720013328 140484725419056 140485817875074 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 Current children cumulated CPU time (s) 226.04 Current children cumulated vsize (KiB) 13990244 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+240.001 s] /proc/loadavg: 1.81 1.86 1.65 3/211 6888 /proc/meminfo: memFree=31694040/32770624 swapFree=0/182648 [pid=6787] ppid=6784 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/6787/stat : 6787 (xcsp3-exec) S 6784 6787 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9995314 9740288 345 18446744073709551615 4194304 5098028 140737038407376 140737038405480 140312566989436 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 16080896 140737038410140 140737038410343 140737038410343 140737038413803 0 /proc/6787/statm: 2378 345 289 221 0 87 0 [pid=6789] ppid=6787 vsize=13980732 CPUtime=243.76 cores=1,3,5,7 /proc/6789/stat : 6789 (java) S 6787 6787 5091 0 -1 1077944320 48208 0 0 0 24360 16 0 0 20 0 15 0 9995322 14316269568 36180 18446744073709551615 4194304 4196468 140720720013328 140720719995872 140485817863927 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 /proc/6789/statm: 3495183 36180 3229 1 0 3483484 0 [pid=6789/tid=6790] ppid=6787 vsize=13980732 CPUtime=239.73 cores=1,3,5,7 /proc/6789/task/6790/stat : 6790 (java) R 6787 6787 5091 0 -1 4202560 14025 0 0 0 23968 5 0 0 20 0 15 0 9995323 14316269568 36180 18446744073709551615 4194304 4196468 140720720013328 140485822103136 140485451099428 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6791] ppid=6787 vsize=13980732 CPUtime=0.05 cores=1,3,5,7 /proc/6789/task/6791/stat : 6791 (java) S 6787 6787 5091 0 -1 1077944384 2480 0 0 0 4 1 0 0 20 0 15 0 9995323 14316269568 36180 18446744073709551615 4194304 4196468 140720720013328 140485774830096 140485817874133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6792] ppid=6787 vsize=13980732 CPUtime=0.05 cores=1,3,5,7 /proc/6789/task/6792/stat : 6792 (java) S 6787 6787 5091 0 -1 1077944384 499 0 0 0 4 1 0 0 20 0 15 0 9995323 14316269568 36180 18446744073709551615 4194304 4196468 140720720013328 140485773777552 140485817874133 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6793] ppid=6787 vsize=13980732 CPUtime=0.05 cores=1,3,5,7 /proc/6789/task/6793/stat : 6793 (java) S 6787 6787 5091 0 -1 1077944384 1311 0 0 0 4 1 0 0 20 0 15 0 9995323 14316269568 36180 18446744073709551615 4194304 4196468 140720720013328 140485772724496 140485817874133 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6794] ppid=6787 vsize=13980732 CPUtime=0.05 cores=1,3,5,7 /proc/6789/task/6794/stat : 6794 (java) S 6787 6787 5091 0 -1 1077944384 899 0 0 0 5 0 0 0 20 0 15 0 9995323 14316269568 36180 18446744073709551615 4194304 4196468 140720720013328 140485771671952 140485817874133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6795] ppid=6787 vsize=13980732 CPUtime=0.04 cores=1,3,5,7 /proc/6789/task/6795/stat : 6795 (java) S 6787 6787 5091 0 -1 1077944384 1707 0 0 0 3 1 0 0 20 0 15 0 9995325 14316269568 36180 18446744073709551615 4194304 4196468 140720720013328 140484733840112 140485817875074 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6796] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6796/stat : 6796 (java) S 6787 6787 5091 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 9995325 14316269568 36180 18446744073709551615 4194304 4196468 140720720013328 140484732786336 140485817874133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6797] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6797/stat : 6797 (java) S 6787 6787 5091 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 9995325 14316269568 36180 18446744073709551615 4194304 4196468 140720720013328 140484731733232 140485817874133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6798] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6798/stat : 6798 (java) S 6787 6787 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9995328 14316269568 36180 18446744073709551615 4194304 4196468 140720720013328 140484730681808 140485817882523 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6799] ppid=6787 vsize=13980732 CPUtime=1.48 cores=1,3,5,7 /proc/6789/task/6799/stat : 6799 (java) S 6787 6787 5091 0 -1 1077944384 9324 0 0 0 148 0 0 0 20 0 15 0 9995328 14316269568 36180 18446744073709551615 4194304 4196468 140720720013328 140484729628912 140485817875074 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6800] ppid=6787 vsize=13980732 CPUtime=1.54 cores=1,3,5,7 /proc/6789/task/6800/stat : 6800 (java) S 6787 6787 5091 0 -1 1077944384 9296 0 0 0 153 1 0 0 20 0 15 0 9995328 14316269568 36180 18446744073709551615 4194304 4196468 140720720013328 140484728576368 140485817875074 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6801] ppid=6787 vsize=13980732 CPUtime=0.63 cores=1,3,5,7 /proc/6789/task/6801/stat : 6801 (java) S 6787 6787 5091 0 -1 1077944384 6564 0 0 0 62 1 0 0 20 0 15 0 9995328 14316269568 36180 18446744073709551615 4194304 4196468 140720720013328 140484727523312 140485817875074 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6802] ppid=6787 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6789/task/6802/stat : 6802 (java) S 6787 6787 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9995328 14316269568 36180 18446744073709551615 4194304 4196468 140720720013328 140484726471008 140485817874133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 [pid=6789/tid=6803] ppid=6787 vsize=13980732 CPUtime=0.04 cores=1,3,5,7 /proc/6789/task/6803/stat : 6803 (java) S 6787 6787 5091 0 -1 1077944384 731 0 0 0 2 2 0 0 20 0 15 0 9995332 14316269568 36180 18446744073709551615 4194304 4196468 140720720013328 140484725419056 140485817875074 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24756224 140720720015828 140720720016003 140720720016003 140720720019407 0 Current children cumulated CPU time (s) 243.76 Current children cumulated vsize (KiB) 13990244 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 6789 sig 9 ??? kill 6787 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 6787 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=929 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=929 # CPU time returned by wait4() is 0.001858 # while last known CPU time is 243.76 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 240.01 CPU time (s): 243.76 CPU user time (s): 243.6 CPU system time (s): 0.16 CPU usage (%): 101.562 Max. virtual memory (cumulated for all children) (KiB): 13990244 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.000929 system time used= 0.000929 maximum resident set size= 1384 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 510 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 1 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.05443 second user time and 1.37076 second system time The end
Begin job on node129 at 2017-08-01 20:41:22 IDJOB=4254371 IDBENCH=124395 IDSOLVER=2635 FILE ID=node129/4254371-1501613722 RUNJOBID= node129-1501611185-5152 PBS_JOBID= Free space on /tmp= 61768 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-4254371-1501613722/watcher-4254371-1501613722 -o /tmp/evaluation-result-4254371-1501613722/solver-4254371-1501613722 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501611185-5152 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 615144913 HOME/instance-4254371-1501613722.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7965d79c566fadd70d01c63d02ba9078 RANDOM SEED=615144913 node129.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 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.57 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.53 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.57 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.53 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.57 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.53 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.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31760516 kB MemAvailable: 31809444 kB Buffers: 89792 kB Cached: 244348 kB SwapCached: 0 kB Active: 421520 kB Inactive: 190944 kB Active(anon): 278660 kB Inactive(anon): 8532 kB Active(file): 142860 kB Inactive(file): 182412 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7804 kB Writeback: 0 kB AnonPages: 275980 kB Mapped: 42100 kB Shmem: 8872 kB Slab: 103284 kB SReclaimable: 78984 kB SUnreclaim: 24300 kB KernelStack: 3632 kB PageTables: 5360 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1243020 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 174080 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61760 MiB End job on node129 at 2017-08-01 20:45:23