Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: choco-solver 5a (2017-07-05) | SAT (TO) | 1433 | 2400.31 | 304.212 |
| Name | Vrp/Vrp-zinc-s1/ Vrp-P-n50-k10.xml |
| MD5SUM | 994883c0320da003cf1ede0b66369d8b |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 725 |
| Best CPU time to get the best result obtained on this benchmark | 2400.03 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2550 |
| Number of constraints | 2499 |
| Number of domains | 3 |
| Minimum domain size | 1 |
| Maximum domain size | 101 |
| Distribution of domain sizes | [{"size":1,"count":50},{"size":2,"count":2450},{"size":101,"count":49}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 97 |
| Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":50},{"degree":2,"count":98},{"degree":4,"count":2352},{"degree":97,"count":49}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 49 |
| Distribution of constraint arities | [{"arity":1,"count":49},{"arity":3,"count":2352},{"arity":49,"count":98}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 49 |
| Distribution of constraint types | [{"type":"intension","count":49},{"type":"sum","count":2352},{"type":"count","count":98}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4246367-1500687695.xml" -tl '2400s' -p 8 -x 3 0.00/0.19 c [HOME/instance-4246367-1500687695.xml, -tl, 2400s, -p, 8, -x, 3] 0.00/0.24 c 8 solvers in parallel 0.00/0.31 c parse instance... 5.09/1.45 c solve instance... 6.31/1.61 o 2228 6.31/1.64 o 2219 6.31/1.68 o 2217 6.31/1.69 o 2192 7.01/1.72 o 2187 7.01/1.74 o 2185 7.01/1.75 o 2174 7.75/1.83 o 1705 13.17/2.50 o 1569 25.81/4.19 o 1530 33.71/5.13 o 1492 34.12/5.21 o 1490 34.12/5.24 o 1475 35.27/5.40 o 1473 1271.66/161.25 o 1471 1283.00/163.71 o 1470 1383.99/176.42 o 1443 1878.11/238.63 o 1433 2400.31/304.23 s SATISFIABLE 2400.31/304.23 v <instantiation> 2400.31/304.23 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[9][49] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[10][47] x[10][48] x[10][49] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[11][47] x[11][48] x[11][49] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] x[12][47] x[12][48] x[12][49] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] x[13][47] x[13][48] x[13][49] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] x[14][47] x[14][48] x[14][49] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] x[15][47] x[15][48] x[15][49] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] x[16][47] x[16][48] x[16][49] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] x[17][47] x[17][48] x[17][49] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] x[18][47] x[18][48] x[18][49] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] x[19][47] x[19][48] x[19][49] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] x[20][47] x[20][48] x[20][49] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] x[21][47] x[21][48] x[21][49] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] x[22][47] x[22][48] x[22][49] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] x[23][47] x[23][48] x[23][49] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] x[24][47] x[24][48] x[24][49] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] x[25][47] x[25][48] x[25][49] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] x[26][47] x[26][48] x[26][49] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[27][47] x[27][48] x[27][49] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[28][46] x[28][47] x[28][48] x[28][49] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[29][46] x[29][47] x[29][48] x[29][49] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[30][46] x[30][47] x[30][48] x[30][49] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[31][46] x[31][47] x[31][48] x[31][49] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[32][46] x[32][47] x[32][48] x[32][49] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[33][46] x[33][47] x[33][48] x[33][49] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[34][46] x[34][47] x[34][48] x[34][49] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[35][46] x[35][47] x[35][48] x[35][49] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[36][46] x[36][47] x[36][48] x[36][49] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[37][47] x[37][48] x[37][49] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[38][47] x[38][48] x[38][49] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[39][47] x[39][48] x[39][49] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[40][47] x[40][48] x[40][49] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[41][47] x[41][48] x[41][49] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][45] x[42][46] x[42][47] x[42][48] x[42][49] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][45] x[43][46] x[43][47] x[43][48] x[43][49] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[44][46] x[44][47] x[44][48] x[44][49] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] x[45][46] x[45][47] x[45][48] x[45][49] x[46][0] x[46][1] x[46][2] x[46][3] x[46][4] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] x[46][10] x[46][11] x[46][12] x[46][13] x[46][14] x[46][15] x[46][16] x[46][17] x[46][18] x[46][19] x[46][20] x[46][21] x[46][22] x[46][23] x[46][24] x[46][25] x[46][26] x[46][27] x[46][28] x[46][29] x[46][30] x[46][31] x[46][32] x[46][33] x[46][34] x[46][35] x[46][36] x[46][37] x[46][38] x[46][39] x[46][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] x[46][47] x[46][48] x[46][49] x[47][0] x[47][1] x[47][2] x[47][3] x[47][4] x[47][5] x[47][6] x[47][7] x[47][8] x[47][9] x[47][10] x[47][11] x[47][12] x[47][13] x[47][14] x[47][15] x[47][16] x[47][17] x[47][18] x[47][19] x[47][20] x[47][21] x[47][22] x[47][23] x[47][24] x[47][25] x[47][26] x[47][27] x[47][28] x[47][29] x[47][30] x[47][31] x[47][32] x[47][33] x[47][34] x[47][35] x[47][36] x[47][37] x[47][38] x[47][39] x[47][40] x[47][41] x[47][42] x[47][43] x[47][44] x[47][45] x[47][46] x[47][47] x[47][48] x[47][49] x[48][0] x[48][1] x[48][2] x[48][3] x[48][4] x[48][5] x[48][6] x[48][7] x[48][8] x[48][9] x[48][10] x[48][11] x[48][12] x[48][13] x[48][14] x[48][15] x[48][16] x[48][17] x[48][18] x[48][19] x[48][20] x[48][21] x[48][22] x[48][23] x[48][24] x[48][25] x[48][26] x[48][27] x[48][28] x[48][29] x[48][30] x[48][31] x[48][32] x[48][33] x[48][34] x[48][35] x[48][36] x[48][37] x[48][38] x[48][39] x[48][40] x[48][41] x[48][42] x[48][43] x[48][44] x[48][45] x[48][46] x[48][47] x[48][48] x[48][49] x[49][0] x[49][1] x[49][2] x[49][3] x[49][4] x[49][5] x[49][6] x[49][7] x[49][8] x[49][9] x[49][10] x[49][11] x[49][12] x[49][13] x[49][14] x[49][15] x[49][16] x[49][17] x[49][18] x[49][19] x[49][20] x[49][21] x[49][22] x[49][23] x[49][24] x[49][25] x[49][26] x[49][27] x[49][28] x[49][29] x[49][30] x[49][31] x[49][32] x[49][33] x[49][34] x[49][35] x[49][36] x[49][37] x[49][38] x[49][39] x[49][40] x[49][41] x[49][42] x[49][43] x[49][44] x[49][45] x[49][46] x[49][47] x[49][48] x[49][49] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] u[40] u[41] u[42] u[43] u[44] u[45] u[46] u[47] u[48] u[49] </list> 2400.31/304.23 v <values>0 0 0 0 1 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 72 54 72 55 45 21 89 100 29 98 99 49 84 34 81 95 94 76 63 39 100 59 61 59 41 37 75 45 72 27 66 31 33 19 49 61 17 24 80 100 49 34 63 54 80 27 99 56 100 </values> 2400.31/304.23 v </instantiation> 2400.31/304.23 c Unexpected resolution interruption!
OK 1433
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-4246367-1500687695/watcher-4246367-1500687695 -o /tmp/evaluation-result-4246367-1500687695/solver-4246367-1500687695 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500682809-15227 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 187335677 HOME/instance-4246367-1500687695.xml pid=28043 running on 8 cores: 0,2,4,6,8,10,12,14 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 16.17 15.71 14.97 9/272 28046 /proc/meminfo: memFree=29634724/32770624 swapFree=5808/100880 [pid=28046] ppid=28043 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/28046/stat : 28046 (xcsp3-exec) S 28043 28046 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4034575 9740288 346 33554432000 4194304 5098028 140735864850384 140735864848488 139856752439932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 21823488 140735864857743 140735864857952 140735864857952 140735864860651 0 /proc/28046/statm: 2378 346 289 221 0 87 0 [startup+0.100062 s] /proc/loadavg: 16.17 15.71 14.97 9/272 28046 /proc/meminfo: memFree=29634724/32770624 swapFree=5808/100880 [pid=28046] ppid=28043 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/28046/stat : 28046 (xcsp3-exec) S 28043 28046 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4034575 9740288 346 33554432000 4194304 5098028 140735864850384 140735864848488 139856752439932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 21823488 140735864857743 140735864857952 140735864857952 140735864860651 0 /proc/28046/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.20028 s] /proc/loadavg: 16.17 15.71 14.97 9/272 28046 /proc/meminfo: memFree=29634724/32770624 swapFree=5808/100880 [pid=28046] ppid=28043 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/28046/stat : 28046 (xcsp3-exec) S 28043 28046 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4034575 9740288 346 33554432000 4194304 5098028 140735864850384 140735864848488 139856752439932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 21823488 140735864857743 140735864857952 140735864857952 140735864860651 0 /proc/28046/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300205 s] /proc/loadavg: 16.17 15.71 14.97 9/272 28046 /proc/meminfo: memFree=29634724/32770624 swapFree=5808/100880 [pid=28046] ppid=28043 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/28046/stat : 28046 (xcsp3-exec) S 28043 28046 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4034575 9740288 346 33554432000 4194304 5098028 140735864850384 140735864848488 139856752439932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 21823488 140735864857743 140735864857952 140735864857952 140735864860651 0 /proc/28046/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700188 s] /proc/loadavg: 16.17 15.71 14.97 9/272 28046 /proc/meminfo: memFree=29634724/32770624 swapFree=5808/100880 [pid=28046] ppid=28043 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/28046/stat : 28046 (xcsp3-exec) S 28043 28046 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4034575 9740288 346 33554432000 4194304 5098028 140735864850384 140735864848488 139856752439932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 21823488 140735864857743 140735864857952 140735864857952 140735864860651 0 /proc/28046/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50111 s] /proc/loadavg: 16.17 15.71 14.97 14/293 28067 /proc/meminfo: memFree=29445572/32770624 swapFree=5808/100904 [pid=28046] ppid=28043 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/28046/stat : 28046 (xcsp3-exec) S 28043 28046 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4034575 9740288 346 33554432000 4194304 5098028 140735864850384 140735864848488 139856752439932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 21823488 140735864857743 140735864857952 140735864857952 140735864860651 0 /proc/28046/statm: 2378 346 289 221 0 87 0 [pid=28047] ppid=28046 vsize=13801768 CPUtime=5.56 cores=0,2,4,6,8,10,12,14 /proc/28047/stat : 28047 (java) S 28046 28046 15196 0 -1 1077944320 25675 0 0 0 536 20 0 0 20 0 28 0 4034576 14133010432 58567 33554432000 4194304 4196468 140725118177680 140725118160224 139659870097143 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 /proc/28047/statm: 3450442 58567 3261 1 0 3437675 0 [pid=28047/tid=28048] ppid=28046 vsize=13801768 CPUtime=1.38 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28048/stat : 28048 (java) S 28046 28046 15196 0 -1 1077944384 8755 0 0 0 134 4 0 0 20 0 28 0 4034576 14133010432 58567 33554432000 4194304 4196468 140725118177680 139659874337920 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28050] ppid=28046 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28050/stat : 28050 (java) S 28046 28046 15196 0 -1 1077944384 64 0 0 0 1 1 0 0 20 0 28 0 4034577 14133010432 58567 33554432000 4194304 4196468 140725118177680 139659788577040 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28051] ppid=28046 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28051/stat : 28051 (java) S 28046 28046 15196 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 28 0 4034577 14133010432 58567 33554432000 4194304 4196468 140725118177680 139659468335504 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28052] ppid=28046 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28052/stat : 28052 (java) S 28046 28046 15196 0 -1 1077944384 26 0 0 0 2 1 0 0 20 0 28 0 4034577 14133010432 58567 33554432000 4194304 4196468 140725118177680 139659467282960 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28053] ppid=28046 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28053/stat : 28053 (java) S 28046 28046 15196 0 -1 1077944384 317 0 0 0 1 2 0 0 20 0 28 0 4034577 14133010432 58567 33554432000 4194304 4196468 140725118177680 139659466230416 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28054] ppid=28046 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28054/stat : 28054 (java) S 28046 28046 15196 0 -1 1077944384 230 0 0 0 2 2 0 0 20 0 28 0 4034577 14133010432 58567 33554432000 4194304 4196468 140725118177680 139659465177872 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28055] ppid=28046 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28055/stat : 28055 (java) S 28046 28046 15196 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 28 0 4034577 14133010432 58567 33554432000 4194304 4196468 140725118177680 139659464125328 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28056] ppid=28046 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28056/stat : 28056 (java) S 28046 28046 15196 0 -1 1077944384 97 0 0 0 1 1 0 0 20 0 28 0 4034577 14133010432 58567 33554432000 4194304 4196468 140725118177680 139659463072784 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28057] ppid=28046 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28057/stat : 28057 (java) S 28046 28046 15196 0 -1 1077944384 27 0 0 0 2 1 0 0 20 0 28 0 4034577 14133010432 58567 33554432000 4194304 4196468 140725118177680 139659462020240 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28058] ppid=28046 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28058/stat : 28058 (java) S 28046 28046 15196 0 -1 1077944384 283 0 0 0 0 0 0 0 20 0 28 0 4034579 14133010432 58567 33554432000 4194304 4196468 140725118177680 139658602006512 139659870108290 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28059] ppid=28046 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28059/stat : 28059 (java) S 28046 28046 15196 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 4034580 14133010432 58567 33554432000 4194304 4196468 140725118177680 139658600952800 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28060] ppid=28046 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28060/stat : 28060 (java) S 28046 28046 15196 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4034580 14133010432 58567 33554432000 4194304 4196468 140725118177680 139658599900160 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28061] ppid=28046 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28061/stat : 28061 (java) S 28046 28046 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4034584 14133010432 58567 33554432000 4194304 4196468 140725118177680 139658598848720 139659870115739 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28062] ppid=28046 vsize=13801768 CPUtime=1.04 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28062/stat : 28062 (java) R 28046 28046 15196 0 -1 4202560 4333 0 0 0 103 1 0 0 20 0 28 0 4034584 14133010432 58567 33554432000 4194304 4196468 140725118177680 139658597784368 139659851669561 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28063] ppid=28046 vsize=13801768 CPUtime=0.99 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28063/stat : 28063 (java) S 28046 28046 15196 0 -1 1077944384 2488 0 0 0 99 0 0 0 20 0 28 0 4034584 14133010432 58567 33554432000 4194304 4196468 140725118177680 139658596736816 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28064] ppid=28046 vsize=13801768 CPUtime=1 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28064/stat : 28064 (java) R 28046 28046 15196 0 -1 4202560 3975 0 0 0 100 0 0 0 20 0 28 0 4034584 14133010432 58567 33554432000 4194304 4196468 140725118177680 139658595684272 139659850800171 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28065] ppid=28046 vsize=13801768 CPUtime=0.72 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28065/stat : 28065 (java) R 28046 28046 15196 0 -1 1077944384 3351 0 0 0 71 1 0 0 20 0 28 0 4034584 14133010432 58567 33554432000 4194304 4196468 140725118177680 139658594638704 139659870108290 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28066] ppid=28046 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28066/stat : 28066 (java) S 28046 28046 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4034584 14133010432 58567 33554432000 4194304 4196468 140725118177680 139658593585376 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28067] ppid=28046 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28067/stat : 28067 (java) S 28046 28046 15196 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 4034585 14133010432 58567 33554432000 4194304 4196468 140725118177680 139658592532912 139659870108290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 Current children cumulated CPU time (s) 5.56 Current children cumulated vsize (KiB) 13811280 [startup+3.10117 s] /proc/loadavg: 16.17 15.71 14.97 20/301 28139 /proc/meminfo: memFree=29312716/32770624 swapFree=5808/100904 [pid=28046] ppid=28043 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/28046/stat : 28046 (xcsp3-exec) S 28043 28046 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4034575 9740288 346 33554432000 4194304 5098028 140735864850384 140735864848488 139856752439932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 21823488 140735864857743 140735864857952 140735864857952 140735864860651 0 /proc/28046/statm: 2378 346 289 221 0 87 0 [pid=28047] ppid=28046 vsize=13801768 CPUtime=17.9 cores=0,2,4,6,8,10,12,14 /proc/28047/stat : 28047 (java) S 28046 28046 15196 0 -1 1077944320 33108 0 0 0 1753 37 0 0 20 0 28 0 4034576 14133010432 99122 33554432000 4194304 4196468 140725118177680 140725118160224 139659870097143 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 /proc/28047/statm: 3450442 99122 3282 1 0 3437675 0 [pid=28047/tid=28048] ppid=28046 vsize=13801768 CPUtime=1.41 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28048/stat : 28048 (java) S 28046 28046 15196 0 -1 1077944384 8785 0 0 0 137 4 0 0 20 0 28 0 4034576 14133010432 99122 33554432000 4194304 4196468 140725118177680 139659874337920 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28050] ppid=28046 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28050/stat : 28050 (java) S 28046 28046 15196 0 -1 1077944384 81 0 0 0 4 3 0 0 20 0 28 0 4034577 14133010432 99122 33554432000 4194304 4196468 140725118177680 139659788577040 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28051] ppid=28046 vsize=13801768 CPUtime=0.06 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28051/stat : 28051 (java) S 28046 28046 15196 0 -1 1077944384 55 0 0 0 4 2 0 0 20 0 28 0 4034577 14133010432 99122 33554432000 4194304 4196468 140725118177680 139659468335504 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28052] ppid=28046 vsize=13801768 CPUtime=0.06 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28052/stat : 28052 (java) S 28046 28046 15196 0 -1 1077944384 42 0 0 0 4 2 0 0 20 0 28 0 4034577 14133010432 99122 33554432000 4194304 4196468 140725118177680 139659467282960 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28053] ppid=28046 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28053/stat : 28053 (java) S 28046 28046 15196 0 -1 1077944384 332 0 0 0 4 4 0 0 20 0 28 0 4034577 14133010432 99122 33554432000 4194304 4196468 140725118177680 139659466230416 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28054] ppid=28046 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28054/stat : 28054 (java) S 28046 28046 15196 0 -1 1077944384 250 0 0 0 4 3 0 0 20 0 28 0 4034577 14133010432 99122 33554432000 4194304 4196468 140725118177680 139659465177872 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28055] ppid=28046 vsize=13801768 CPUtime=0.06 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28055/stat : 28055 (java) S 28046 28046 15196 0 -1 1077944384 60 0 0 0 4 2 0 0 20 0 28 0 4034577 14133010432 99122 33554432000 4194304 4196468 140725118177680 139659464125328 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28056] ppid=28046 vsize=13801768 CPUtime=0.06 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28056/stat : 28056 (java) S 28046 28046 15196 0 -1 1077944384 132 0 0 0 3 3 0 0 20 0 28 0 4034577 14133010432 99122 33554432000 4194304 4196468 140725118177680 139659463072784 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28057] ppid=28046 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28057/stat : 28057 (java) S 28046 28046 15196 0 -1 1077944384 56 0 0 0 5 3 0 0 20 0 28 0 4034577 14133010432 99122 33554432000 4194304 4196468 140725118177680 139659462020240 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28058] ppid=28046 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28058/stat : 28058 (java) S 28046 28046 15196 0 -1 1077944384 423 0 0 0 1 0 0 0 20 0 28 0 4034579 14133010432 99122 33554432000 4194304 4196468 140725118177680 139658602006512 139659870108290 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28059] ppid=28046 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28059/stat : 28059 (java) S 28046 28046 15196 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 4034580 14133010432 99122 33554432000 4194304 4196468 140725118177680 139658600952800 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28060] ppid=28046 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28060/stat : 28060 (java) S 28046 28046 15196 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4034580 14133010432 99122 33554432000 4194304 4196468 140725118177680 139658599900160 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28061] ppid=28046 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28061/stat : 28061 (java) S 28046 28046 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4034584 14133010432 99122 33554432000 4194304 4196468 140725118177680 139658598848720 139659870115739 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28062] ppid=28046 vsize=13801768 CPUtime=2.07 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28062/stat : 28062 (java) R 28046 28046 15196 0 -1 4202560 6208 0 0 0 206 1 0 0 20 0 28 0 4034584 14133010432 99122 33554432000 4194304 4196468 140725118177680 139658597782000 139659855008799 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28063] ppid=28046 vsize=13801768 CPUtime=1.88 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28063/stat : 28063 (java) R 28046 28046 15196 0 -1 4202560 3677 0 0 0 188 0 0 0 20 0 28 0 4034584 14133010432 99122 33554432000 4194304 4196468 140725118177680 139658596729816 139659851621996 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28064] ppid=28046 vsize=13801768 CPUtime=2.11 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28064/stat : 28064 (java) R 28046 28046 15196 0 -1 4202560 5257 0 0 0 211 0 0 0 20 0 28 0 4034584 14133010432 99122 33554432000 4194304 4196468 140725118177680 139658595677712 139659853623043 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28065] ppid=28046 vsize=13801768 CPUtime=1.07 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28065/stat : 28065 (java) S 28046 28046 15196 0 -1 1077944384 4443 0 0 0 105 2 0 0 20 0 28 0 4034584 14133010432 99122 33554432000 4194304 4196468 140725118177680 139658594638544 139659870118333 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28066] ppid=28046 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28066/stat : 28066 (java) S 28046 28046 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4034584 14133010432 99122 33554432000 4194304 4196468 140725118177680 139658593585376 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28067] ppid=28046 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28067/stat : 28067 (java) S 28046 28046 15196 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4034585 14133010432 99122 33554432000 4194304 4196468 140725118177680 139658592532912 139659870108290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 Current children cumulated CPU time (s) 17.9 Current children cumulated vsize (KiB) 13811280 [startup+6.30167 s] /proc/loadavg: 16.39 15.77 15.00 17/301 28195 /proc/meminfo: memFree=29201564/32770624 swapFree=5808/100916 [pid=28046] ppid=28043 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/28046/stat : 28046 (xcsp3-exec) S 28043 28046 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4034575 9740288 346 33554432000 4194304 5098028 140735864850384 140735864848488 139856752439932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 21823488 140735864857743 140735864857952 140735864857952 140735864860651 0 /proc/28046/statm: 2378 346 289 221 0 87 0 [pid=28047] ppid=28046 vsize=13801768 CPUtime=42.39 cores=0,2,4,6,8,10,12,14 /proc/28047/stat : 28047 (java) S 28046 28046 15196 0 -1 1077944320 34535 0 0 0 4187 52 0 0 20 0 28 0 4034576 14133010432 141023 33554432000 4194304 4196468 140725118177680 140725118160224 139659870097143 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 /proc/28047/statm: 3450442 141023 3288 1 0 3437675 0 [pid=28047/tid=28048] ppid=28046 vsize=13801768 CPUtime=1.42 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28048/stat : 28048 (java) S 28046 28046 15196 0 -1 1077944384 8796 0 0 0 138 4 0 0 20 0 28 0 4034576 14133010432 141023 33554432000 4194304 4196468 140725118177680 139659874337920 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28050] ppid=28046 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28050/stat : 28050 (java) S 28046 28046 15196 0 -1 1077944384 92 0 0 0 5 4 0 0 20 0 28 0 4034577 14133010432 141023 33554432000 4194304 4196468 140725118177680 139659788577040 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28051] ppid=28046 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28051/stat : 28051 (java) S 28046 28046 15196 0 -1 1077944384 69 0 0 0 6 3 0 0 20 0 28 0 4034577 14133010432 141023 33554432000 4194304 4196468 140725118177680 139659468335504 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28052] ppid=28046 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28052/stat : 28052 (java) S 28046 28046 15196 0 -1 1077944384 56 0 0 0 6 3 0 0 20 0 28 0 4034577 14133010432 141023 33554432000 4194304 4196468 140725118177680 139659467282960 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28053] ppid=28046 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28053/stat : 28053 (java) S 28046 28046 15196 0 -1 1077944384 346 0 0 0 6 5 0 0 20 0 28 0 4034577 14133010432 141023 33554432000 4194304 4196468 140725118177680 139659466230416 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28054] ppid=28046 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28054/stat : 28054 (java) S 28046 28046 15196 0 -1 1077944384 263 0 0 0 6 5 0 0 20 0 28 0 4034577 14133010432 141023 33554432000 4194304 4196468 140725118177680 139659465177872 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28055] ppid=28046 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28055/stat : 28055 (java) S 28046 28046 15196 0 -1 1077944384 71 0 0 0 5 3 0 0 20 0 28 0 4034577 14133010432 141023 33554432000 4194304 4196468 140725118177680 139659464125328 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28056] ppid=28046 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28056/stat : 28056 (java) S 28046 28046 15196 0 -1 1077944384 139 0 0 0 5 4 0 0 20 0 28 0 4034577 14133010432 141023 33554432000 4194304 4196468 140725118177680 139659463072784 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28057] ppid=28046 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28057/stat : 28057 (java) S 28046 28046 15196 0 -1 1077944384 62 0 0 0 6 3 0 0 20 0 28 0 4034577 14133010432 141023 33554432000 4194304 4196468 140725118177680 139659462020240 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28058] ppid=28046 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28058/stat : 28058 (java) S 28046 28046 15196 0 -1 1077944384 424 0 0 0 1 0 0 0 20 0 28 0 4034579 14133010432 141023 33554432000 4194304 4196468 140725118177680 139658602006512 139659870108290 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28059] ppid=28046 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28059/stat : 28059 (java) S 28046 28046 15196 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 4034580 14133010432 141023 33554432000 4194304 4196468 140725118177680 139658600952800 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28060] ppid=28046 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28060/stat : 28060 (java) S 28046 28046 15196 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4034580 14133010432 141023 33554432000 4194304 4196468 140725118177680 139658599900160 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28061] ppid=28046 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28061/stat : 28061 (java) S 28046 28046 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4034584 14133010432 141023 33554432000 4194304 4196468 140725118177680 139658598848720 139659870115739 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 ################ # More data... # ################ [pid=28047/tid=28495] ppid=28046 vsize=13801768 CPUtime=45.76 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28495/stat : 28495 (java) R 28046 28046 15196 0 -1 4202560 927 0 0 0 4576 0 0 0 20 0 28 0 4052218 14133010432 873684 33554432000 4194304 4196468 140725118177680 139657571450600 140725118842717 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28496] ppid=28046 vsize=13801768 CPUtime=45.75 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28496/stat : 28496 (java) R 28046 28046 15196 0 -1 4202560 1065 0 0 0 4575 0 0 0 20 0 28 0 4052218 14133010432 873684 33554432000 4194304 4196468 140725118177680 139658581360152 139659475237680 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 Current children cumulated CPU time (s) 1749.6 Current children cumulated vsize (KiB) 13811280 [startup+282.301 s] /proc/loadavg: 11.31 13.36 14.22 10/291 28506 /proc/meminfo: memFree=18803984/32770624 swapFree=5808/101372 [pid=28046] ppid=28043 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/28046/stat : 28046 (xcsp3-exec) S 28043 28046 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4034575 9740288 346 33554432000 4194304 5098028 140735864850384 140735864848488 139856752439932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 21823488 140735864857743 140735864857952 140735864857952 140735864860651 0 /proc/28046/statm: 2378 346 289 221 0 87 0 [pid=28047] ppid=28046 vsize=13801768 CPUtime=2225.84 cores=0,2,4,6,8,10,12,14 /proc/28047/stat : 28047 (java) S 28046 28046 15196 0 -1 1077944320 120184 0 0 0 222309 275 0 0 20 0 28 0 4034576 14133010432 869229 33554432000 4194304 4196468 140725118177680 140725118160224 139659870097143 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 /proc/28047/statm: 3450442 869229 3290 1 0 3437675 0 [pid=28047/tid=28048] ppid=28046 vsize=13801768 CPUtime=1.43 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28048/stat : 28048 (java) S 28046 28046 15196 0 -1 1077944384 9301 0 0 0 138 5 0 0 20 0 28 0 4034576 14133010432 869229 33554432000 4194304 4196468 140725118177680 139659874337920 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28050] ppid=28046 vsize=13801768 CPUtime=0.43 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28050/stat : 28050 (java) S 28046 28046 15196 0 -1 1077944384 585 0 0 0 22 21 0 0 20 0 28 0 4034577 14133010432 869229 33554432000 4194304 4196468 140725118177680 139659788577040 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28051] ppid=28046 vsize=13801768 CPUtime=0.44 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28051/stat : 28051 (java) S 28046 28046 15196 0 -1 1077944384 1071 0 0 0 22 22 0 0 20 0 28 0 4034577 14133010432 869229 33554432000 4194304 4196468 140725118177680 139659468335504 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28052] ppid=28046 vsize=13801768 CPUtime=0.44 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28052/stat : 28052 (java) S 28046 28046 15196 0 -1 1077944384 634 0 0 0 24 20 0 0 20 0 28 0 4034577 14133010432 869229 33554432000 4194304 4196468 140725118177680 139659467282960 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28053] ppid=28046 vsize=13801768 CPUtime=0.49 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28053/stat : 28053 (java) S 28046 28046 15196 0 -1 1077944384 930 0 0 0 25 24 0 0 20 0 28 0 4034577 14133010432 869229 33554432000 4194304 4196468 140725118177680 139659466230416 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28054] ppid=28046 vsize=13801768 CPUtime=0.46 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28054/stat : 28054 (java) S 28046 28046 15196 0 -1 1077944384 948 0 0 0 21 25 0 0 20 0 28 0 4034577 14133010432 869229 33554432000 4194304 4196468 140725118177680 139659465177872 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28055] ppid=28046 vsize=13801768 CPUtime=0.43 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28055/stat : 28055 (java) S 28046 28046 15196 0 -1 1077944384 1493 0 0 0 22 21 0 0 20 0 28 0 4034577 14133010432 869229 33554432000 4194304 4196468 140725118177680 139659464125328 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28056] ppid=28046 vsize=13801768 CPUtime=0.41 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28056/stat : 28056 (java) S 28046 28046 15196 0 -1 1077944384 1375 0 0 0 20 21 0 0 20 0 28 0 4034577 14133010432 869229 33554432000 4194304 4196468 140725118177680 139659463072784 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28057] ppid=28046 vsize=13801768 CPUtime=0.43 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28057/stat : 28057 (java) S 28046 28046 15196 0 -1 1077944384 2310 0 0 0 23 20 0 0 20 0 28 0 4034577 14133010432 869229 33554432000 4194304 4196468 140725118177680 139659462020240 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28058] ppid=28046 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28058/stat : 28058 (java) S 28046 28046 15196 0 -1 1077944384 4470 0 0 0 10 11 0 0 20 0 28 0 4034579 14133010432 869229 33554432000 4194304 4196468 140725118177680 139658602006512 139659870108290 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28059] ppid=28046 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28059/stat : 28059 (java) S 28046 28046 15196 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 4034580 14133010432 869229 33554432000 4194304 4196468 140725118177680 139658600952800 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28060] ppid=28046 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28060/stat : 28060 (java) S 28046 28046 15196 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 4034580 14133010432 869229 33554432000 4194304 4196468 140725118177680 139658599900160 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28061] ppid=28046 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28061/stat : 28061 (java) S 28046 28046 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4034584 14133010432 869229 33554432000 4194304 4196468 140725118177680 139658598848720 139659870115739 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28062] ppid=28046 vsize=13801768 CPUtime=3.72 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28062/stat : 28062 (java) S 28046 28046 15196 0 -1 1077944384 14507 0 0 0 370 2 0 0 20 0 28 0 4034584 14133010432 869229 33554432000 4194304 4196468 140725118177680 139658597796336 139659870108290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28063] ppid=28046 vsize=13801768 CPUtime=3.37 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28063/stat : 28063 (java) S 28046 28046 15196 0 -1 1077944384 9951 0 0 0 336 1 0 0 20 0 28 0 4034584 14133010432 869229 33554432000 4194304 4196468 140725118177680 139658596743792 139659870108290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28064] ppid=28046 vsize=13801768 CPUtime=4.09 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28064/stat : 28064 (java) S 28046 28046 15196 0 -1 1077944384 13298 0 0 0 408 1 0 0 20 0 28 0 4034584 14133010432 869229 33554432000 4194304 4196468 140725118177680 139658595691248 139659870108290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28065] ppid=28046 vsize=13801768 CPUtime=1.34 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28065/stat : 28065 (java) S 28046 28046 15196 0 -1 1077944384 10461 0 0 0 131 3 0 0 20 0 28 0 4034584 14133010432 869229 33554432000 4194304 4196468 140725118177680 139658594638704 139659870108290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28066] ppid=28046 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28066/stat : 28066 (java) S 28046 28046 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4034584 14133010432 869229 33554432000 4194304 4196468 140725118177680 139658593585376 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28067] ppid=28046 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28067/stat : 28067 (java) S 28046 28046 15196 0 -1 1077944384 1371 0 0 0 7 6 0 0 20 0 28 0 4034585 14133010432 869229 33554432000 4194304 4196468 140725118177680 139658592532912 139659870108290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28499] ppid=28046 vsize=13801768 CPUtime=43.23 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28499/stat : 28499 (java) R 28046 28046 15196 0 -1 4202560 986 0 0 0 4323 0 0 0 20 0 28 0 4058439 14133010432 869229 33554432000 4194304 4196468 140725118177680 139658581359576 139659477805570 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28500] ppid=28046 vsize=13801768 CPUtime=43.55 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28500/stat : 28500 (java) R 28046 28046 15196 0 -1 4202560 1290 0 0 0 4355 0 0 0 20 0 28 0 4058439 14133010432 869229 33554432000 4194304 4196468 140725118177680 139658580307672 139659477804130 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28501] ppid=28046 vsize=13801768 CPUtime=43.2 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28501/stat : 28501 (java) R 28046 28046 15196 0 -1 4202560 1137 0 0 0 4320 0 0 0 20 0 28 0 4058439 14133010432 869229 33554432000 4194304 4196468 140725118177680 139658582413592 139659477332263 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28502] ppid=28046 vsize=13801768 CPUtime=43.56 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28502/stat : 28502 (java) R 28046 28046 15196 0 -1 4202560 1458 0 0 0 4354 2 0 0 20 0 28 0 4058439 14133010432 869229 33554432000 4194304 4196468 140725118177680 139658584518792 139659471106949 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28503] ppid=28046 vsize=13801768 CPUtime=43.57 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28503/stat : 28503 (java) R 28046 28046 15196 0 -1 4202560 1623 0 0 0 4357 0 0 0 20 0 28 0 4058439 14133010432 869229 33554432000 4194304 4196468 140725118177680 139657570398512 139659476719845 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28504] ppid=28046 vsize=13801768 CPUtime=43.58 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28504/stat : 28504 (java) R 28046 28046 15196 0 -1 4202560 360 0 0 0 4358 0 0 0 20 0 28 0 4058439 14133010432 869229 33554432000 4194304 4196468 140725118177680 139657571451496 139659477806185 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28505] ppid=28046 vsize=13801768 CPUtime=43.55 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28505/stat : 28505 (java) R 28046 28046 15196 0 -1 4202560 1403 0 0 0 4355 0 0 0 20 0 28 0 4058439 14133010432 869229 33554432000 4194304 4196468 140725118177680 139658583468544 139659469478563 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28506] ppid=28046 vsize=13801768 CPUtime=43.13 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28506/stat : 28506 (java) R 28046 28046 15196 0 -1 4202560 906 0 0 0 4313 0 0 0 20 0 28 0 4058439 14133010432 869229 33554432000 4194304 4196468 140725118177680 139657572503064 139659475444775 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 Current children cumulated CPU time (s) 2225.84 Current children cumulated vsize (KiB) 13811280 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+304.201 s] /proc/loadavg: 11.72 13.29 14.17 17/291 28507 /proc/meminfo: memFree=18003528/32770624 swapFree=5808/101408 [pid=28046] ppid=28043 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/28046/stat : 28046 (xcsp3-exec) S 28043 28046 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4034575 9740288 346 33554432000 4194304 5098028 140735864850384 140735864848488 139856752439932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 21823488 140735864857743 140735864857952 140735864857952 140735864860651 0 /proc/28046/statm: 2378 346 289 221 0 87 0 [pid=28047] ppid=28046 vsize=13801768 CPUtime=2400.31 cores=0,2,4,6,8,10,12,14 /proc/28047/stat : 28047 (java) S 28046 28046 15196 0 -1 1077944320 123797 0 0 0 239750 281 0 0 20 0 28 0 4034576 14133010432 865145 33554432000 4194304 4196468 140725118177680 140725118160224 139659870097143 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 /proc/28047/statm: 3450442 865145 3290 1 0 3437675 0 [pid=28047/tid=28048] ppid=28046 vsize=13801768 CPUtime=1.43 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28048/stat : 28048 (java) S 28046 28046 15196 0 -1 1077944384 9301 0 0 0 138 5 0 0 20 0 28 0 4034576 14133010432 865145 33554432000 4194304 4196468 140725118177680 139659874337920 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28050] ppid=28046 vsize=13801768 CPUtime=0.44 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28050/stat : 28050 (java) S 28046 28046 15196 0 -1 1077944384 602 0 0 0 22 22 0 0 20 0 28 0 4034577 14133010432 865145 33554432000 4194304 4196468 140725118177680 139659788577040 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28051] ppid=28046 vsize=13801768 CPUtime=0.45 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28051/stat : 28051 (java) S 28046 28046 15196 0 -1 1077944384 1476 0 0 0 23 22 0 0 20 0 28 0 4034577 14133010432 865145 33554432000 4194304 4196468 140725118177680 139659468335504 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28052] ppid=28046 vsize=13801768 CPUtime=0.45 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28052/stat : 28052 (java) S 28046 28046 15196 0 -1 1077944384 654 0 0 0 24 21 0 0 20 0 28 0 4034577 14133010432 865145 33554432000 4194304 4196468 140725118177680 139659467282960 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28053] ppid=28046 vsize=13801768 CPUtime=0.5 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28053/stat : 28053 (java) S 28046 28046 15196 0 -1 1077944384 970 0 0 0 26 24 0 0 20 0 28 0 4034577 14133010432 865145 33554432000 4194304 4196468 140725118177680 139659466230416 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28054] ppid=28046 vsize=13801768 CPUtime=0.47 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28054/stat : 28054 (java) S 28046 28046 15196 0 -1 1077944384 970 0 0 0 22 25 0 0 20 0 28 0 4034577 14133010432 865145 33554432000 4194304 4196468 140725118177680 139659465177872 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28055] ppid=28046 vsize=13801768 CPUtime=0.44 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28055/stat : 28055 (java) S 28046 28046 15196 0 -1 1077944384 1538 0 0 0 23 21 0 0 20 0 28 0 4034577 14133010432 865145 33554432000 4194304 4196468 140725118177680 139659464125328 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28056] ppid=28046 vsize=13801768 CPUtime=0.42 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28056/stat : 28056 (java) S 28046 28046 15196 0 -1 1077944384 1429 0 0 0 21 21 0 0 20 0 28 0 4034577 14133010432 865145 33554432000 4194304 4196468 140725118177680 139659463072784 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28057] ppid=28046 vsize=13801768 CPUtime=0.45 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28057/stat : 28057 (java) S 28046 28046 15196 0 -1 1077944384 2445 0 0 0 24 21 0 0 20 0 28 0 4034577 14133010432 865145 33554432000 4194304 4196468 140725118177680 139659462020240 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28058] ppid=28046 vsize=13801768 CPUtime=0.23 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28058/stat : 28058 (java) S 28046 28046 15196 0 -1 1077944384 4752 0 0 0 11 12 0 0 20 0 28 0 4034579 14133010432 865145 33554432000 4194304 4196468 140725118177680 139658602006512 139659870108290 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28059] ppid=28046 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28059/stat : 28059 (java) S 28046 28046 15196 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 4034580 14133010432 865145 33554432000 4194304 4196468 140725118177680 139658600952800 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28060] ppid=28046 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28060/stat : 28060 (java) S 28046 28046 15196 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 4034580 14133010432 865145 33554432000 4194304 4196468 140725118177680 139658599900160 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28061] ppid=28046 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28061/stat : 28061 (java) S 28046 28046 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4034584 14133010432 865145 33554432000 4194304 4196468 140725118177680 139658598848720 139659870115739 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28062] ppid=28046 vsize=13801768 CPUtime=3.72 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28062/stat : 28062 (java) S 28046 28046 15196 0 -1 1077944384 14510 0 0 0 370 2 0 0 20 0 28 0 4034584 14133010432 865145 33554432000 4194304 4196468 140725118177680 139658597796336 139659870108290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28063] ppid=28046 vsize=13801768 CPUtime=3.37 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28063/stat : 28063 (java) S 28046 28046 15196 0 -1 1077944384 9955 0 0 0 336 1 0 0 20 0 28 0 4034584 14133010432 865145 33554432000 4194304 4196468 140725118177680 139658596743792 139659870108290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28064] ppid=28046 vsize=13801768 CPUtime=4.09 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28064/stat : 28064 (java) S 28046 28046 15196 0 -1 1077944384 13305 0 0 0 408 1 0 0 20 0 28 0 4034584 14133010432 865145 33554432000 4194304 4196468 140725118177680 139658595691248 139659870108290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28065] ppid=28046 vsize=13801768 CPUtime=1.34 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28065/stat : 28065 (java) S 28046 28046 15196 0 -1 1077944384 10465 0 0 0 131 3 0 0 20 0 28 0 4034584 14133010432 865145 33554432000 4194304 4196468 140725118177680 139658594638704 139659870108290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28066] ppid=28046 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28066/stat : 28066 (java) S 28046 28046 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4034584 14133010432 865145 33554432000 4194304 4196468 140725118177680 139658593585376 139659870107349 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28067] ppid=28046 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28067/stat : 28067 (java) S 28046 28046 15196 0 -1 1077944384 1396 0 0 0 8 6 0 0 20 0 28 0 4034585 14133010432 865145 33554432000 4194304 4196468 140725118177680 139658592532912 139659870108290 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 8 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28499] ppid=28046 vsize=13801768 CPUtime=64.95 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28499/stat : 28499 (java) R 28046 28046 15196 0 -1 4202560 1298 0 0 0 6495 0 0 0 20 0 28 0 4058439 14133010432 865145 33554432000 4194304 4196468 140725118177680 139658581359576 139659476719759 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28500] ppid=28046 vsize=13801768 CPUtime=65.41 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28500/stat : 28500 (java) R 28046 28046 15196 0 -1 4202560 1906 0 0 0 6541 0 0 0 20 0 28 0 4058439 14133010432 865145 33554432000 4194304 4196468 140725118177680 139658580310928 140725118842625 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28501] ppid=28046 vsize=13801768 CPUtime=64.99 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28501/stat : 28501 (java) R 28046 28046 15196 0 -1 4202560 1432 0 0 0 6499 0 0 0 20 0 28 0 4058439 14133010432 865145 33554432000 4194304 4196468 140725118177680 139658582413216 139659477332313 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28502] ppid=28046 vsize=13801768 CPUtime=65.11 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28502/stat : 28502 (java) R 28046 28046 15196 0 -1 4202560 1891 0 0 0 6509 2 0 0 20 0 28 0 4058439 14133010432 865145 33554432000 4194304 4196468 140725118177680 139658584519208 139659477332023 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28503] ppid=28046 vsize=13801768 CPUtime=65.41 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28503/stat : 28503 (java) R 28046 28046 15196 0 -1 4202560 1875 0 0 0 6541 0 0 0 20 0 28 0 4058439 14133010432 865145 33554432000 4194304 4196468 140725118177680 139657570402544 139659477804983 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28504] ppid=28046 vsize=13801768 CPUtime=65.44 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28504/stat : 28504 (java) R 28046 28046 15196 0 -1 4202560 424 0 0 0 6544 0 0 0 20 0 28 0 4058439 14133010432 865145 33554432000 4194304 4196468 140725118177680 139657571455912 139659477805659 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28505] ppid=28046 vsize=13801768 CPUtime=65.41 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28505/stat : 28505 (java) R 28046 28046 15196 0 -1 4202560 1745 0 0 0 6541 0 0 0 20 0 28 0 4058439 14133010432 865145 33554432000 4194304 4196468 140725118177680 139658583465896 139659477292427 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 [pid=28047/tid=28506] ppid=28046 vsize=13801768 CPUtime=64.99 cores=0,2,4,6,8,10,12,14 /proc/28047/task/28506/stat : 28506 (java) R 28046 28046 15196 0 -1 4202560 1142 0 0 0 6499 0 0 0 20 0 28 0 4058439 14133010432 865145 33554432000 4194304 4196468 140725118177680 139657572507312 139659475444906 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 6541312 140725118186684 140725118186860 140725118186860 140725118189519 0 Current children cumulated CPU time (s) 2400.31 Current children cumulated vsize (KiB) 13811280 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 28047 sig 9 ??? kill 28046 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 28046 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=2028 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1014 # CPU time returned by wait4() is 0.003042 # while last known CPU time is 2400.31 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 304.212 CPU time (s): 2400.31 CPU user time (s): 2397.5 CPU system time (s): 2.81 CPU usage (%): 789.026 Max. virtual memory (cumulated for all children) (KiB): 13811280 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.002028 system time used= 0.001014 maximum resident set size= 1388 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 519 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= 2 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 3.60182 second user time and 4.32644 second system time The end
Begin job on node145 at 2017-07-22 03:41:35 IDJOB=4246367 IDBENCH=124451 IDSOLVER=2626 FILE ID=node145/4246367-1500687695 RUNJOBID= node145-1500682809-15227 PBS_JOBID= 20623333 Free space on /tmp= 61856 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-P-n50-k10.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246367-1500687695/watcher-4246367-1500687695 -o /tmp/evaluation-result-4246367-1500687695/solver-4246367-1500687695 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500682809-15227 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 187335677 HOME/instance-4246367-1500687695.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 994883c0320da003cf1ede0b66369d8b RANDOM SEED=187335677 node145.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 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 : 8 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 : 1867.000 cache size : 8192 KB physical id : 0 siblings : 8 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 : 8 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 : 2400.000 cache size : 8192 KB physical id : 0 siblings : 8 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 : 8 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 : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 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 : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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 : 9 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 : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2400.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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 : 11 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 : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1867.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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 : 13 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 : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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 : 15 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 : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 29634376 kB MemAvailable: 29683844 kB Buffers: 128136 kB Cached: 193876 kB SwapCached: 0 kB Active: 2511272 kB Inactive: 169160 kB Active(anon): 2301916 kB Inactive(anon): 68068 kB Active(file): 209356 kB Inactive(file): 101092 kB Unevictable: 5808 kB Mlocked: 5808 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8056 kB Writeback: 0 kB AnonPages: 2496912 kB Mapped: 43208 kB Shmem: 8852 kB Slab: 144252 kB SReclaimable: 109708 kB SUnreclaim: 34544 kB KernelStack: 4848 kB PageTables: 10300 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 4177636 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2375680 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 136576 kB DirectMap2M: 33409024 kB Free space on /tmp at the end= 61732 MiB End job on node145 at 2017-07-22 03:46:39