Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Choco-solver 4.0.7b seq (e747e1e) | SAT (TO) | 20855 | 2520.12 | 2503.52 |
| Name | TravelingTournament/ TravelingTournament-a3-galaxy16_c18.xml |
| MD5SUM | e08ad5e9bb2dce0f9ded0033a126b6aa |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 20855 |
| Best CPU time to get the best result obtained on this benchmark | 2520.12 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1936 |
| Number of constraints | 8495 |
| Number of domains | 3 |
| Minimum domain size | 2 |
| Maximum domain size | 66 |
| Distribution of domain sizes | [{"size":2,"count":960},{"size":16,"count":480},{"size":66,"count":496}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 50 |
| Distribution of variable degrees | [{"degree":2,"count":976},{"degree":47,"count":448},{"degree":48,"count":480},{"degree":49,"count":30},{"degree":50,"count":2}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 30 |
| Distribution of constraint arities | [{"arity":2,"count":481},{"arity":3,"count":32},{"arity":4,"count":6496},{"arity":5,"count":464},{"arity":16,"count":510},{"arity":18,"count":480},{"arity":30,"count":32}] |
| Number of extensional constraints | 496 |
| Number of intensional constraints | 6977 |
| Distribution of constraint types | [{"type":"extension","count":496},{"type":"intension","count":6977},{"type":"regular","count":16},{"type":"allDifferent","count":30},{"type":"cardinality","count":16},{"type":"element","count":960}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4306559-1534122765.xml" -tl '2520s' -p 1 0.11/0.18 c Choco e747e1e 0.11/0.29 c [HOME/instance-4306559-1534122765.xml, -tl, 2520s, -p, 1] 0.11/0.29 c simple solver 0.11/0.29 c parse instance... 11.42/4.17 c solve instance... 26.33/13.54 o 23372 26.75/13.72 o 23365 27.54/14.26 o 23322 27.67/14.30 o 23316 139.39/125.19 o 21873 139.50/125.26 o 21843 139.59/125.36 o 21807 139.59/125.37 o 21802 139.79/125.53 o 21800 140.09/125.88 o 21785 140.09/125.88 o 21756 140.09/125.89 o 21751 151.21/136.99 o 21216 151.21/136.99 o 21182 151.31/137.00 o 21168 151.31/137.11 o 21143 151.52/137.22 o 21079 151.61/137.36 o 21058 984.05/968.83 o 21042 1255.92/1240.41 o 20960 1256.12/1240.62 o 20938 1256.12/1240.62 o 20921 1256.12/1240.66 o 20879 1257.23/1241.73 o 20872 1257.83/1242.34 o 20855 2520.09/2503.50 s SATISFIABLE 2520.09/2503.50 v <instantiation> 2520.09/2503.50 v <list>o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][20] o[0][21] o[0][22] o[0][23] o[0][24] o[0][25] o[0][26] o[0][27] o[0][28] o[0][29] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][20] o[1][21] o[1][22] o[1][23] o[1][24] o[1][25] o[1][26] o[1][27] o[1][28] o[1][29] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][20] o[2][21] o[2][22] o[2][23] o[2][24] o[2][25] o[2][26] o[2][27] o[2][28] o[2][29] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][20] o[3][21] o[3][22] o[3][23] o[3][24] o[3][25] o[3][26] o[3][27] o[3][28] o[3][29] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][20] o[4][21] o[4][22] o[4][23] o[4][24] o[4][25] o[4][26] o[4][27] o[4][28] o[4][29] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][20] o[5][21] o[5][22] o[5][23] o[5][24] o[5][25] o[5][26] o[5][27] o[5][28] o[5][29] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][20] o[6][21] o[6][22] o[6][23] o[6][24] o[6][25] o[6][26] o[6][27] o[6][28] o[6][29] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][20] o[7][21] o[7][22] o[7][23] o[7][24] o[7][25] o[7][26] o[7][27] o[7][28] o[7][29] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][20] o[8][21] o[8][22] o[8][23] o[8][24] o[8][25] o[8][26] o[8][27] o[8][28] o[8][29] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][20] o[9][21] o[9][22] o[9][23] o[9][24] o[9][25] o[9][26] o[9][27] o[9][28] o[9][29] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][20] o[10][21] o[10][22] o[10][23] o[10][24] o[10][25] o[10][26] o[10][27] o[10][28] o[10][29] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][20] o[11][21] o[11][22] o[11][23] o[11][24] o[11][25] o[11][26] o[11][27] o[11][28] o[11][29] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[12][15] o[12][16] o[12][17] o[12][18] o[12][19] o[12][20] o[12][21] o[12][22] o[12][23] o[12][24] o[12][25] o[12][26] o[12][27] o[12][28] o[12][29] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[13][15] o[13][16] o[13][17] o[13][18] o[13][19] o[13][20] o[13][21] o[13][22] o[13][23] o[13][24] o[13][25] o[13][26] o[13][27] o[13][28] o[13][29] o[14][0] o[14][1] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[14][15] o[14][16] o[14][17] o[14][18] o[14][19] o[14][20] o[14][21] o[14][22] o[14][23] o[14][24] o[14][25] o[14][26] o[14][27] o[14][28] o[14][29] o[15][0] o[15][1] o[15][2] o[15][3] o[15][4] o[15][5] o[15][6] o[15][7] o[15][8] o[15][9] o[15][10] o[15][11] o[15][12] o[15][13] o[15][14] o[15][15] o[15][16] o[15][17] o[15][18] o[15][19] o[15][20] o[15][21] o[15][22] o[15][23] o[15][24] o[15][25] o[15][26] o[15][27] o[15][28] o[15][29] h[0][0] h[0][1] h[0][2] h[0][3] h[0][4] h[0][5] h[0][6] h[0][7] h[0][8] h[0][9] h[0][10] h[0][11] h[0][12] h[0][13] h[0][14] h[0][15] h[0][16] h[0][17] h[0][18] h[0][19] h[0][20] h[0][21] h[0][22] h[0][23] h[0][24] h[0][25] h[0][26] h[0][27] h[0][28] h[0][29] h[1][0] h[1][1] h[1][2] h[1][3] h[1][4] h[1][5] h[1][6] h[1][7] h[1][8] h[1][9] h[1][10] h[1][11] h[1][12] h[1][13] h[1][14] h[1][15] h[1][16] h[1][17] h[1][18] h[1][19] h[1][20] h[1][21] h[1][22] h[1][23] h[1][24] h[1][25] h[1][26] h[1][27] h[1][28] h[1][29] h[2][0] h[2][1] h[2][2] h[2][3] h[2][4] h[2][5] h[2][6] h[2][7] h[2][8] h[2][9] h[2][10] h[2][11] h[2][12] h[2][13] h[2][14] h[2][15] h[2][16] h[2][17] h[2][18] h[2][19] h[2][20] h[2][21] h[2][22] h[2][23] h[2][24] h[2][25] h[2][26] h[2][27] h[2][28] h[2][29] h[3][0] h[3][1] h[3][2] h[3][3] h[3][4] h[3][5] h[3][6] h[3][7] h[3][8] h[3][9] h[3][10] h[3][11] h[3][12] h[3][13] h[3][14] h[3][15] h[3][16] h[3][17] h[3][18] h[3][19] h[3][20] h[3][21] h[3][22] h[3][23] h[3][24] h[3][25] h[3][26] h[3][27] h[3][28] h[3][29] h[4][0] h[4][1] h[4][2] h[4][3] h[4][4] h[4][5] h[4][6] h[4][7] h[4][8] h[4][9] h[4][10] h[4][11] h[4][12] h[4][13] h[4][14] h[4][15] h[4][16] h[4][17] h[4][18] h[4][19] h[4][20] h[4][21] h[4][22] h[4][23] h[4][24] h[4][25] h[4][26] h[4][27] h[4][28] h[4][29] h[5][0] h[5][1] h[5][2] h[5][3] h[5][4] h[5][5] h[5][6] h[5][7] h[5][8] h[5][9] h[5][10] h[5][11] h[5][12] h[5][13] h[5][14] h[5][15] h[5][16] h[5][17] h[5][18] h[5][19] h[5][20] h[5][21] h[5][22] h[5][23] h[5][24] h[5][25] h[5][26] h[5][27] h[5][28] h[5][29] h[6][0] h[6][1] h[6][2] h[6][3] h[6][4] h[6][5] h[6][6] h[6][7] h[6][8] h[6][9] h[6][10] h[6][11] h[6][12] h[6][13] h[6][14] h[6][15] h[6][16] h[6][17] h[6][18] h[6][19] h[6][20] h[6][21] h[6][22] h[6][23] h[6][24] h[6][25] h[6][26] h[6][27] h[6][28] h[6][29] h[7][0] h[7][1] h[7][2] h[7][3] h[7][4] h[7][5] h[7][6] h[7][7] h[7][8] h[7][9] h[7][10] h[7][11] h[7][12] h[7][13] h[7][14] h[7][15] h[7][16] h[7][17] h[7][18] h[7][19] h[7][20] h[7][21] h[7][22] h[7][23] h[7][24] h[7][25] h[7][26] h[7][27] h[7][28] h[7][29] h[8][0] h[8][1] h[8][2] h[8][3] h[8][4] h[8][5] h[8][6] h[8][7] h[8][8] h[8][9] h[8][10] h[8][11] h[8][12] h[8][13] h[8][14] h[8][15] h[8][16] h[8][17] h[8][18] h[8][19] h[8][20] h[8][21] h[8][22] h[8][23] h[8][24] h[8][25] h[8][26] h[8][27] h[8][28] h[8][29] h[9][0] h[9][1] h[9][2] h[9][3] h[9][4] h[9][5] h[9][6] h[9][7] h[9][8] h[9][9] h[9][10] h[9][11] h[9][12] h[9][13] h[9][14] h[9][15] h[9][16] h[9][17] h[9][18] h[9][19] h[9][20] h[9][21] h[9][22] h[9][23] h[9][24] h[9][25] h[9][26] h[9][27] h[9][28] h[9][29] h[10][0] h[10][1] h[10][2] h[10][3] h[10][4] h[10][5] h[10][6] h[10][7] h[10][8] h[10][9] h[10][10] h[10][11] h[10][12] h[10][13] h[10][14] h[10][15] h[10][16] h[10][17] h[10][18] h[10][19] h[10][20] h[10][21] h[10][22] h[10][23] h[10][24] h[10][25] h[10][26] h[10][27] h[10][28] h[10][29] h[11][0] h[11][1] h[11][2] h[11][3] h[11][4] h[11][5] h[11][6] h[11][7] h[11][8] h[11][9] h[11][10] h[11][11] h[11][12] h[11][13] h[11][14] h[11][15] h[11][16] h[11][17] h[11][18] h[11][19] h[11][20] h[11][21] h[11][22] h[11][23] h[11][24] h[11][25] h[11][26] h[11][27] h[11][28] h[11][29] h[12][0] h[12][1] h[12][2] h[12][3] h[12][4] h[12][5] h[12][6] h[12][7] h[12][8] h[12][9] h[12][10] h[12][11] h[12][12] h[12][13] h[12][14] h[12][15] h[12][16] h[12][17] h[12][18] h[12][19] h[12][20] h[12][21] h[12][22] h[12][23] h[12][24] h[12][25] h[12][26] h[12][27] h[12][28] h[12][29] h[13][0] h[13][1] h[13][2] h[13][3] h[13][4] h[13][5] h[13][6] h[13][7] h[13][8] h[13][9] h[13][10] h[13][11] h[13][12] h[13][13] h[13][14] h[13][15] h[13][16] h[13][17] h[13][18] h[13][19] h[13][20] h[13][21] h[13][22] h[13][23] h[13][24] h[13][25] h[13][26] h[13][27] h[13][28] h[13][29] h[14][0] h[14][1] h[14][2] h[14][3] h[14][4] h[14][5] h[14][6] h[14][7] h[14][8] h[14][9] h[14][10] h[14][11] h[14][12] h[14][13] h[14][14] h[14][15] h[14][16] h[14][17] h[14][18] h[14][19] h[14][20] h[14][21] h[14][22] h[14][23] h[14][24] h[14][25] h[14][26] h[14][27] h[14][28] h[14][29] h[15][0] h[15][1] h[15][2] h[15][3] h[15][4] h[15][5] h[15][6] h[15][7] h[15][8] h[15][9] h[15][10] h[15][11] h[15][12] h[15][13] h[15][14] h[15][15] h[15][16] h[15][17] h[15][18] h[15][19] h[15][20] h[15][21] h[15][22] h[15][23] h[15][24] h[15][25] h[15][26] h[15][27] h[15][28] h[15][29] a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[0][7] a[0][8] a[0][9] a[0][10] a[0][11] a[0][12] a[0][13] a[0][14] a[0][15] a[0][16] a[0][17] a[0][18] a[0][19] a[0][20] a[0][21] a[0][22] a[0][23] a[0][24] a[0][25] a[0][26] a[0][27] a[0][28] a[0][29] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[1][7] a[1][8] a[1][9] a[1][10] a[1][11] a[1][12] a[1][13] a[1][14] a[1][15] a[1][16] a[1][17] a[1][18] a[1][19] a[1][20] a[1][21] a[1][22] a[1][23] a[1][24] a[1][25] a[1][26] a[1][27] a[1][28] a[1][29] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[2][6] a[2][7] a[2][8] a[2][9] a[2][10] a[2][11] a[2][12] a[2][13] a[2][14] a[2][15] a[2][16] a[2][17] a[2][18] a[2][19] a[2][20] a[2][21] a[2][22] a[2][23] a[2][24] a[2][25] a[2][26] a[2][27] a[2][28] a[2][29] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[3][7] a[3][8] a[3][9] a[3][10] a[3][11] a[3][12] a[3][13] a[3][14] a[3][15] a[3][16] a[3][17] a[3][18] a[3][19] a[3][20] a[3][21] a[3][22] a[3][23] a[3][24] a[3][25] a[3][26] a[3][27] a[3][28] a[3][29] a[4][0] a[4][1] a[4][2] a[4][3] a[4][4] a[4][5] a[4][6] a[4][7] a[4][8] a[4][9] a[4][10] a[4][11] a[4][12] a[4][13] a[4][14] a[4][15] a[4][16] a[4][17] a[4][18] a[4][19] a[4][20] a[4][21] a[4][22] a[4][23] a[4][24] a[4][25] a[4][26] a[4][27] a[4][28] a[4][29] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[5][5] a[5][6] a[5][7] a[5][8] a[5][9] a[5][10] a[5][11] a[5][12] a[5][13] a[5][14] a[5][15] a[5][16] a[5][17] a[5][18] a[5][19] a[5][20] a[5][21] a[5][22] a[5][23] a[5][24] a[5][25] a[5][26] a[5][27] a[5][28] a[5][29] a[6][0] a[6][1] a[6][2] a[6][3] a[6][4] a[6][5] a[6][6] a[6][7] a[6][8] a[6][9] a[6][10] a[6][11] a[6][12] a[6][13] a[6][14] a[6][15] a[6][16] a[6][17] a[6][18] a[6][19] a[6][20] a[6][21] a[6][22] a[6][23] a[6][24] a[6][25] a[6][26] a[6][27] a[6][28] a[6][29] a[7][0] a[7][1] a[7][2] a[7][3] a[7][4] a[7][5] a[7][6] a[7][7] a[7][8] a[7][9] a[7][10] a[7][11] a[7][12] a[7][13] a[7][14] a[7][15] a[7][16] a[7][17] a[7][18] a[7][19] a[7][20] a[7][21] a[7][22] a[7][23] a[7][24] a[7][25] a[7][26] a[7][27] a[7][28] a[7][29] a[8][0] a[8][1] a[8][2] a[8][3] a[8][4] a[8][5] a[8][6] a[8][7] a[8][8] a[8][9] a[8][10] a[8][11] a[8][12] a[8][13] a[8][14] a[8][15] a[8][16] a[8][17] a[8][18] a[8][19] a[8][20] a[8][21] a[8][22] a[8][23] a[8][24] a[8][25] a[8][26] a[8][27] a[8][28] a[8][29] a[9][0] a[9][1] a[9][2] a[9][3] a[9][4] a[9][5] a[9][6] a[9][7] a[9][8] a[9][9] a[9][10] a[9][11] a[9][12] a[9][13] a[9][14] a[9][15] a[9][16] a[9][17] a[9][18] a[9][19] a[9][20] a[9][21] a[9][22] a[9][23] a[9][24] a[9][25] a[9][26] a[9][27] a[9][28] a[9][29] a[10][0] a[10][1] a[10][2] a[10][3] a[10][4] a[10][5] a[10][6] a[10][7] a[10][8] a[10][9] a[10][10] a[10][11] a[10][12] a[10][13] a[10][14] a[10][15] a[10][16] a[10][17] a[10][18] a[10][19] a[10][20] a[10][21] a[10][22] a[10][23] a[10][24] a[10][25] a[10][26] a[10][27] a[10][28] a[10][29] a[11][0] a[11][1] a[11][2] a[11][3] a[11][4] a[11][5] a[11][6] a[11][7] a[11][8] a[11][9] a[11][10] a[11][11] a[11][12] a[11][13] a[11][14] a[11][15] a[11][16] a[11][17] a[11][18] a[11][19] a[11][20] a[11][21] a[11][22] a[11][23] a[11][24] a[11][25] a[11][26] a[11][27] a[11][28] a[11][29] a[12][0] a[12][1] a[12][2] a[12][3] a[12][4] a[12][5] a[12][6] a[12][7] a[12][8] a[12][9] a[12][10] a[12][11] a[12][12] a[12][13] a[12][14] a[12][15] a[12][16] a[12][17] a[12][18] a[12][19] a[12][20] a[12][21] a[12][22] a[12][23] a[12][24] a[12][25] a[12][26] a[12][27] a[12][28] a[12][29] a[13][0] a[13][1] a[13][2] a[13][3] a[13][4] a[13][5] a[13][6] a[13][7] a[13][8] a[13][9] a[13][10] a[13][11] a[13][12] a[13][13] a[13][14] a[13][15] a[13][16] a[13][17] a[13][18] a[13][19] a[13][20] a[13][21] a[13][22] a[13][23] a[13][24] a[13][25] a[13][26] a[13][27] a[13][28] a[13][29] a[14][0] a[14][1] a[14][2] a[14][3] a[14][4] a[14][5] a[14][6] a[14][7] a[14][8] a[14][9] a[14][10] a[14][11] a[14][12] a[14][13] a[14][14] a[14][15] a[14][16] a[14][17] a[14][18] a[14][19] a[14][20] a[14][21] a[14][22] a[14][23] a[14][24] a[14][25] a[14][26] a[14][27] a[14][28] a[14][29] a[15][0] a[15][1] a[15][2] a[15][3] a[15][4] a[15][5] a[15][6] a[15][7] a[15][8] a[15][9] a[15][10] a[15][11] a[15][12] a[15][13] a[15][14] a[15][15] a[15][16] a[15][17] a[15][18] a[15][19] a[15][20] a[15][21] a[15][22] a[15][23] a[15][24] a[15][25] a[15][26] a[15][27] a[15][28] a[15][29] t[0][0] t[0][1] t[0][2] t[0][3] t[0][4] t[0][5] t[0][6] t[0][7] t[0][8] t[0][9] t[0][10] t[0][11] t[0][12] t[0][13] t[0][14] t[0][15] t[0][16] t[0][17] t[0][18] t[0][19] t[0][20] t[0][21] t[0][22] t[0][23] t[0][24] t[0][25] t[0][26] t[0][27] t[0][28] t[0][29] t[0][30] t[1][0] t[1][1] t[1][2] t[1][3] t[1][4] t[1][5] t[1][6] t[1][7] t[1][8] t[1][9] t[1][10] t[1][11] t[1][12] t[1][13] t[1][14] t[1][15] t[1][16] t[1][17] t[1][18] t[1][19] t[1][20] t[1][21] t[1][22] t[1][23] t[1][24] t[1][25] t[1][26] t[1][27] t[1][28] t[1][29] t[1][30] t[2][0] t[2][1] t[2][2] t[2][3] t[2][4] t[2][5] t[2][6] t[2][7] t[2][8] t[2][9] t[2][10] t[2][11] t[2][12] t[2][13] t[2][14] t[2][15] t[2][16] t[2][17] t[2][18] t[2][19] t[2][20] t[2][21] t[2][22] t[2][23] t[2][24] t[2][25] t[2][26] t[2][27] t[2][28] t[2][29] t[2][30] t[3][0] t[3][1] t[3][2] t[3][3] t[3][4] t[3][5] t[3][6] t[3][7] t[3][8] t[3][9] t[3][10] t[3][11] t[3][12] t[3][13] t[3][14] t[3][15] t[3][16] t[3][17] t[3][18] t[3][19] t[3][20] t[3][21] t[3][22] t[3][23] t[3][24] t[3][25] t[3][26] t[3][27] t[3][28] t[3][29] t[3][30] t[4][0] t[4][1] t[4][2] t[4][3] t[4][4] t[4][5] t[4][6] t[4][7] t[4][8] t[4][9] t[4][10] t[4][11] t[4][12] t[4][13] t[4][14] t[4][15] t[4][16] t[4][17] t[4][18] t[4][19] t[4][20] t[4][21] t[4][22] t[4][23] t[4][24] t[4][25] t[4][26] t[4][27] t[4][28] t[4][29] t[4][30] t[5][0] t[5][1] t[5][2] t[5][3] t[5][4] t[5][5] t[5][6] t[5][7] t[5][8] t[5][9] t[5][10] t[5][11] t[5][12] t[5][13] t[5][14] t[5][15] t[5][16] t[5][17] t[5][18] t[5][19] t[5][20] t[5][21] t[5][22] t[5][23] t[5][24] t[5][25] t[5][26] t[5][27] t[5][28] t[5][29] t[5][30] t[6][0] t[6][1] t[6][2] t[6][3] t[6][4] t[6][5] t[6][6] t[6][7] t[6][8] t[6][9] t[6][10] t[6][11] t[6][12] t[6][13] t[6][14] t[6][15] t[6][16] t[6][17] t[6][18] t[6][19] t[6][20] t[6][21] t[6][22] t[6][23] t[6][24] t[6][25] t[6][26] t[6][27] t[6][28] t[6][29] t[6][30] t[7][0] t[7][1] t[7][2] t[7][3] t[7][4] t[7][5] t[7][6] t[7][7] t[7][8] t[7][9] t[7][10] t[7][11] t[7][12] t[7][13] t[7][14] t[7][15] t[7][16] t[7][17] t[7][18] t[7][19] t[7][20] t[7][21] t[7][22] t[7][23] t[7][24] t[7][25] t[7][26] t[7][27] t[7][28] t[7][29] t[7][30] t[8][0] t[8][1] t[8][2] t[8][3] t[8][4] t[8][5] t[8][6] t[8][7] t[8][8] t[8][9] t[8][10] t[8][11] t[8][12] t[8][13] t[8][14] t[8][15] t[8][16] t[8][17] t[8][18] t[8][19] t[8][20] t[8][21] t[8][22] t[8][23] t[8][24] t[8][25] t[8][26] t[8][27] t[8][28] t[8][29] t[8][30] t[9][0] t[9][1] t[9][2] t[9][3] t[9][4] t[9][5] t[9][6] t[9][7] t[9][8] t[9][9] t[9][10] t[9][11] t[9][12] t[9][13] t[9][14] t[9][15] t[9][16] t[9][17] t[9][18] t[9][19] t[9][20] t[9][21] t[9][22] t[9][23] t[9][24] t[9][25] t[9][26] t[9][27] t[9][28] t[9][29] t[9][30] t[10][0] t[10][1] t[10][2] t[10][3] t[10][4] t[10][5] t[10][6] t[10][7] t[10][8] t[10][9] t[10][10] t[10][11] t[10][12] t[10][13] t[10][14] t[10][15] t[10][16] t[10][17] t[10][18] t[10][19] t[10][20] t[10][21] t[10][22] t[10][23] t[10][24] t[10][25] t[10][26] t[10][27] t[10][28] t[10][29] t[10][30] t[11][0] t[11][1] t[11][2] t[11][3] t[11][4] t[11][5] t[11][6] t[11][7] t[11][8] t[11][9] t[11][10] t[11][11] t[11][12] t[11][13] t[11][14] t[11][15] t[11][16] t[11][17] t[11][18] t[11][19] t[11][20] t[11][21] t[11][22] t[11][23] t[11][24] t[11][25] t[11][26] t[11][27] t[11][28] t[11][29] t[11][30] t[12][0] t[12][1] t[12][2] t[12][3] t[12][4] t[12][5] t[12][6] t[12][7] t[12][8] t[12][9] t[12][10] t[12][11] t[12][12] t[12][13] t[12][14] t[12][15] t[12][16] t[12][17] t[12][18] t[12][19] t[12][20] t[12][21] t[12][22] t[12][23] t[12][24] t[12][25] t[12][26] t[12][27] t[12][28] t[12][29] t[12][30] t[13][0] t[13][1] t[13][2] t[13][3] t[13][4] t[13][5] t[13][6] t[13][7] t[13][8] t[13][9] t[13][10] t[13][11] t[13][12] t[13][13] t[13][14] t[13][15] t[13][16] t[13][17] t[13][18] t[13][19] t[13][20] t[13][21] t[13][22] t[13][23] t[13][24] t[13][25] t[13][26] t[13][27] t[13][28] t[13][29] t[13][30] t[14][0] t[14][1] t[14][2] t[14][3] t[14][4] t[14][5] t[14][6] t[14][7] t[14][8] t[14][9] t[14][10] t[14][11] t[14][12] t[14][13] t[14][14] t[14][15] t[14][16] t[14][17] t[14][18] t[14][19] t[14][20] t[14][21] t[14][22] t[14][23] t[14][24] t[14][25] t[14][26] t[14][27] t[14][28] t[14][29] t[14][30] t[15][0] t[15][1] t[15][2] t[15][3] t[15][4] t[15][5] t[15][6] t[15][7] t[15][8] t[15][9] t[15][10] t[15][11] t[15][12] t[15][13] t[15][14] t[15][15] t[15][16] t[15][17] t[15][18] t[15][19] t[15][20] t[15][21] t[15][22] t[15][23] t[15][24] t[15][25] t[15][26] t[15][27] t[15][28] t[15][29] t[15][30] </list> 2520.09/2503.50 v <values>3 12 5 3 11 10 11 1 10 13 14 9 14 2 6 4 12 15 13 8 15 2 7 5 1 9 8 6 7 4 8 10 14 4 6 11 2 0 5 11 15 13 15 10 2 13 5 12 12 4 7 8 9 9 0 14 6 3 3 7 9 3 6 10 5 13 1 7 4 8 4 14 3 0 1 14 8 5 7 11 9 0 10 6 13 11 15 12 15 12 0 2 11 0 8 7 10 6 13 7 13 10 2 15 12 6 9 9 14 5 11 12 8 4 15 4 5 1 1 14 15 13 7 1 14 5 12 5 2 14 2 12 11 9 10 0 13 10 6 1 8 7 11 3 6 3 9 15 8 0 12 15 0 14 2 4 8 4 1 6 10 11 13 8 7 9 1 2 10 3 6 9 12 0 11 13 3 7 14 15 11 11 2 9 1 12 14 3 8 5 7 8 9 13 0 3 7 14 4 10 5 15 13 2 4 15 1 0 12 10 14 9 4 15 13 3 13 2 12 3 6 15 8 14 5 11 6 8 2 9 1 4 0 11 10 10 12 5 0 1 1 14 9 13 3 15 5 13 6 2 12 6 7 5 11 15 2 7 9 0 4 1 3 10 14 12 0 10 4 11 2 7 8 6 12 14 15 11 15 10 11 0 6 4 14 5 3 3 8 7 2 5 1 1 12 0 4 13 10 13 13 1 15 2 15 0 3 14 0 9 5 3 12 1 4 12 14 4 5 6 13 11 2 8 7 7 11 8 9 6 6 6 3 12 0 1 0 9 14 1 9 5 4 12 8 7 15 13 15 2 3 10 4 7 5 2 10 14 13 8 5 0 13 11 9 6 4 15 7 15 8 4 10 11 3 10 0 1 1 13 14 3 5 14 9 8 7 2 6 2 10 4 12 8 7 2 7 8 3 0 3 1 5 6 15 1 4 11 0 12 10 14 6 15 2 5 14 9 11 9 7 8 1 5 4 9 6 10 11 4 0 2 0 7 9 2 10 6 3 15 12 13 15 12 8 1 13 11 5 3 4 5 10 7 10 8 9 12 9 12 1 7 1 3 13 8 11 0 11 14 0 6 14 13 3 6 2 4 2 5 1 0 1 0 1 0 0 1 1 1 0 0 1 0 1 0 1 0 0 1 1 1 0 0 0 1 0 0 1 1 1 0 1 0 0 1 1 0 0 0 1 0 0 1 0 1 1 1 0 1 1 0 0 1 1 0 1 1 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 1 1 0 1 1 1 0 0 0 1 0 0 0 1 1 1 0 1 1 0 0 1 1 0 1 1 0 1 1 0 0 1 0 1 1 1 0 1 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 1 1 1 0 0 1 1 0 1 0 0 1 1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 0 1 1 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 1 1 0 0 1 1 0 0 1 0 1 1 1 0 1 0 0 0 1 0 0 1 1 1 0 1 0 0 0 1 0 1 1 1 0 1 1 0 0 1 1 1 0 0 1 0 0 1 0 0 0 1 1 0 0 0 1 1 1 0 1 0 0 1 0 1 1 1 0 0 0 1 0 1 0 0 0 1 1 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 0 1 1 0 0 1 0 1 1 1 0 1 0 0 1 1 0 1 0 0 0 1 0 0 1 1 1 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 1 1 1 0 1 0 1 1 1 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 1 1 1 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0 0 1 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 1 0 1 1 1 0 1 0 0 1 1 1 0 0 1 1 1 0 0 0 1 1 1 0 0 0 1 0 0 1 1 0 0 0 1 1 0 0 1 1 0 1 1 1 0 0 0 1 1 1 0 0 1 0 0 1 0 1 0 1 0 1 1 0 0 0 1 1 0 1 0 1 0 1 1 0 0 0 1 1 1 0 1 1 0 0 0 1 0 1 1 0 0 1 1 1 0 1 1 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 1 1 1 0 1 0 1 1 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0 0 1 0 0 1 0 0 0 1 1 1 0 1 1 1 0 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 1 0 1 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 0 0 1 1 0 0 1 0 1 1 0 0 1 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 1 0 0 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 1 0 0 0 1 0 1 1 1 0 1 1 0 0 0 1 0 1 1 1 0 1 0 0 0 1 0 0 1 1 0 0 0 1 1 0 1 1 0 1 1 1 0 0 1 1 1 0 0 0 1 0 1 1 0 1 0 0 0 1 1 1 0 1 0 1 1 1 0 0 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 1 0 0 1 1 0 1 0 0 0 1 0 1 1 0 0 1 0 1 1 1 0 1 1 0 0 0 1 0 1 0 1 1 0 1 1 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 1 0 1 1 1 0 1 1 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 1 1 1 0 1 1 1 0 0 1 0 0 0 1 0 1 1 0 0 0 1 1 0 0 0 1 1 1 0 0 0 1 1 1 0 1 1 0 0 1 1 1 0 0 1 1 0 0 1 0 0 0 1 1 1 0 0 0 1 1 0 1 1 0 0 57 57 34 34 55 10 55 0 0 59 17 51 15 15 36 36 59 32 59 0 0 44 48 40 10 48 31 44 0 0 0 65 65 31 18 39 0 10 39 44 64 64 32 68 22 22 0 0 55 55 0 46 68 43 0 53 53 0 32 14 44 49 49 56 56 50 75 64 22 45 21 53 0 47 47 0 56 56 0 56 56 0 15 55 55 0 58 45 97 48 0 0 34 15 58 66 0 14 69 75 47 0 50 50 0 63 63 0 0 67 17 93 41 80 81 21 51 0 0 32 32 0 0 90 32 91 0 70 70 0 35 35 0 45 48 73 55 55 0 0 74 74 31 31 64 67 70 18 47 51 0 21 48 36 0 0 39 59 93 35 21 42 0 0 51 10 44 0 48 48 40 22 50 0 27 69 30 94 0 75 50 41 0 69 69 70 70 0 69 69 88 27 83 0 27 48 81 31 0 44 34 47 0 18 18 0 91 32 61 56 0 39 39 0 75 75 0 0 64 90 57 0 41 61 56 14 14 0 0 82 82 67 70 31 81 79 43 44 0 0 69 69 90 94 39 44 0 46 46 0 0 68 68 0 104 92 31 0 0 81 48 42 97 59 53 68 51 36 21 0 73 111 27 81 0 0 69 69 0 79 81 68 30 30 0 0 103 39 10 105 69 69 17 93 41 67 0 0 49 49 0 43 43 51 36 55 0 93 93 66 66 0 55 59 39 0 111 59 55 0 69 69 65 31 73 101 0 51 27 75 10 10 0 0 69 69 73 68 103 0 0 70 70 105 57 10 64 105 17 113 0 0 70 70 69 69 45 32 69 58 47 66 0 67 48 44 10 10 0 0 0 94 94 90 90 0 0 73 73 90 57 97 81 101 10 66 80 57 10 55 0 27 27 0 0 30 30 0 0 88 56 48 0 0 0 104 81 41 0 0 50 34 59 0 75 27 92 64 31 91 0 90 101 66 0 32 59 61 91 17 105 69 0 82 81 46 53 0 17 17 0 0 70 70 56 15 59 0 0 111 75 83 0 0 91 32 97 27 0 0 113 44 41 72 0 69 51 39 0 97 68 30 97 0 68 44 57 0 32 32 0 0 45 113 59 59 0 0 63 47 91 90 45 59 0 </values> 2520.09/2503.50 v </instantiation> 2520.09/2503.50 c Unexpected resolution interruption!
OK 20855
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (8888 MiB free)
memory of node 1: 16384 MiB (7605 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306559-1534122765/watcher-4306559-1534122765 -o /tmp/evaluation-result-4306559-1534122765/solver-4306559-1534122765 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534098559-28101 --watchdog 2580 HOME/xcsp3-exec -seed 329755303 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306559-1534122765.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=373, runsolver pid=370
Current StackSize limit: 8192 KiB
[startup+0.100688 s]*
/proc/loadavg: 1.68 1.55 1.60 3/221 389
/proc/meminfo: memFree=16863012/32770624 swapFree=67108852/67108860
[pid=373] ppid=370 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/373/stat : 373 (xcsp3-exec) S 370 373 28069 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 229839644 115843072 363 33554432000 4194304 5098028 140725285933888 140725285931992 140439272284796 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13242368 140725285938235 140725285938436 140725285938436 140725285941194 0
/proc/373/statm: 28282 363 305 221 0 87 0
[pid=375] ppid=373 vsize=14082940 memory=28580 CPUtime=0.11 cores=1,3,5,7
/proc/375/stat : 375 (java) S 373 373 28069 0 -1 1077944320 5538 0 0 0 10 1 0 0 20 0 15 0 229839644 14420930560 7145 33554432000 4194304 4196468 140735778919184 140735778901728 139985051242231 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
/proc/375/statm: 3520735 7145 2994 1 0 3483012 0
[pid=375/tid=376] ppid=373 vsize=14082940 memory=7883960649037381690 CPUtime=0.09 cores=1,3,5,7
/proc/375/task/376/stat : 376 (java) R 373 373 28069 0 -1 4202560 3579 0 0 0 8 1 0 0 20 0 15 0 229839645 14420930560 7145 33554432000 4194304 4196468 140735778919184 139985055474224 139984677973650 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=377] ppid=373 vsize=14082940 memory=14649 CPUtime=0 cores=1,3,5,7
/proc/375/task/377/stat : 377 (java) S 373 373 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229839646 14420930560 7145 33554432000 4194304 4196468 140735778919184 139985003862288 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=378] ppid=373 vsize=14082940 memory=288370504264701568 CPUtime=0 cores=1,3,5,7
/proc/375/task/378/stat : 378 (java) S 373 373 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229839646 14420930560 7145 33554432000 4194304 4196468 140735778919184 139985002809744 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=379] ppid=373 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/375/task/379/stat : 379 (java) S 373 373 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229839646 14420930560 7145 33554432000 4194304 4196468 140735778919184 139985001757200 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=380] ppid=373 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/375/task/380/stat : 380 (java) S 373 373 28069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229839646 14420930560 7145 33554432000 4194304 4196468 140735778919184 139985000704656 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=381] ppid=373 vsize=14082940 memory=140128112989824 CPUtime=0 cores=1,3,5,7
/proc/375/task/381/stat : 381 (java) S 373 373 28069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229839647 14420930560 7145 33554432000 4194304 4196468 140735778919184 139984030124528 139985051253378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=382] ppid=373 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/375/task/382/stat : 382 (java) S 373 373 28069 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229839648 14420930560 7145 33554432000 4194304 4196468 140735778919184 139984029070752 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=383] ppid=373 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/375/task/383/stat : 383 (java) S 373 373 28069 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229839648 14420930560 7145 33554432000 4194304 4196468 140735778919184 139984028018160 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=384] ppid=373 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/375/task/384/stat : 384 (java) S 373 373 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229839650 14420930560 7145 33554432000 4194304 4196468 140735778919184 139984026966736 139985051260827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=385] ppid=373 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/375/task/385/stat : 385 (java) S 373 373 28069 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 229839650 14420930560 7145 33554432000 4194304 4196468 140735778919184 139984025913328 139985051253378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=386] ppid=373 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/375/task/386/stat : 386 (java) S 373 373 28069 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 229839650 14420930560 7145 33554432000 4194304 4196468 140735778919184 139984024860784 139985051253378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=387] ppid=373 vsize=14082940 memory=140128112989824 CPUtime=0.01 cores=1,3,5,7
/proc/375/task/387/stat : 387 (java) R 373 373 28069 0 -1 4202560 256 0 0 0 1 0 0 0 20 0 15 0 229839650 14420930560 7145 33554432000 4194304 4196468 140735778919184 139984023808240 139985043483621 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=388] ppid=373 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/375/task/388/stat : 388 (java) S 373 373 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229839650 14420930560 7145 33554432000 4194304 4196468 140735778919184 139984022755936 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=389] ppid=373 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/375/task/389/stat : 389 (java) S 373 373 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229839651 14420930560 7145 33554432000 4194304 4196468 140735778919184 139984021703472 139985051253378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30032 KiB
[startup+0.397137 s]*
/proc/loadavg: 1.68 1.55 1.60 5/221 389
/proc/meminfo: memFree=16843916/32770624 swapFree=67108852/67108860
[pid=373] ppid=370 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/373/stat : 373 (xcsp3-exec) S 370 373 28069 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 229839644 115843072 363 33554432000 4194304 5098028 140725285933888 140725285931992 140439272284796 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13242368 140725285938235 140725285938436 140725285938436 140725285941194 0
/proc/373/statm: 28282 363 305 221 0 87 0
[pid=375] ppid=373 vsize=14087196 memory=57788 CPUtime=0.74 cores=1,3,5,7
/proc/375/stat : 375 (java) S 373 373 28069 0 -1 1077944320 10609 0 0 0 70 4 0 0 20 0 15 0 229839644 14425288704 14447 33554432000 4194304 4196468 140735778919184 140735778901728 139985051242231 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
/proc/375/statm: 3521799 14447 3296 1 0 3483012 0
[pid=375/tid=376] ppid=373 vsize=14087196 memory=7883960649037381690 CPUtime=0.38 cores=1,3,5,7
/proc/375/task/376/stat : 376 (java) R 373 373 28069 0 -1 4202560 6259 0 0 0 35 3 0 0 20 0 15 0 229839645 14425288704 15091 33554432000 4194304 4196468 140735778919184 139985055472544 139985051264157 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=377] ppid=373 vsize=14087196 memory=14649 CPUtime=0 cores=1,3,5,7
/proc/375/task/377/stat : 377 (java) S 373 373 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229839646 14425288704 15091 33554432000 4194304 4196468 140735778919184 139985003862288 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=378] ppid=373 vsize=14087196 memory=288370504264701568 CPUtime=0 cores=1,3,5,7
/proc/375/task/378/stat : 378 (java) S 373 373 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229839646 14425288704 15091 33554432000 4194304 4196468 140735778919184 139985002809744 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=379] ppid=373 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/375/task/379/stat : 379 (java) S 373 373 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229839646 14425288704 15091 33554432000 4194304 4196468 140735778919184 139985001757200 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=380] ppid=373 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/375/task/380/stat : 380 (java) S 373 373 28069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229839646 14425288704 15091 33554432000 4194304 4196468 140735778919184 139985000704656 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=381] ppid=373 vsize=14087196 memory=140128112989824 CPUtime=0 cores=1,3,5,7
/proc/375/task/381/stat : 381 (java) S 373 373 28069 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 229839647 14425288704 15091 33554432000 4194304 4196468 140735778919184 139984030124528 139985051253378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=382] ppid=373 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/375/task/382/stat : 382 (java) S 373 373 28069 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229839648 14425288704 15091 33554432000 4194304 4196468 140735778919184 139984029070752 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=383] ppid=373 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/375/task/383/stat : 383 (java) S 373 373 28069 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229839648 14425288704 15091 33554432000 4194304 4196468 140735778919184 139984028018160 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=384] ppid=373 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/375/task/384/stat : 384 (java) S 373 373 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229839650 14425288704 15091 33554432000 4194304 4196468 140735778919184 139984026966736 139985051260827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=385] ppid=373 vsize=14087196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/375/task/385/stat : 385 (java) R 373 373 28069 0 -1 4202560 825 0 0 0 9 0 0 0 20 0 15 0 229839650 14425288704 15091 33554432000 4194304 4196468 140735778919184 139984025899352 139985036344667 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=386] ppid=373 vsize=14087196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/375/task/386/stat : 386 (java) R 373 373 28069 0 -1 4202560 1168 0 0 0 9 0 0 0 20 0 15 0 229839650 14425288704 15091 33554432000 4194304 4196468 140735778919184 139984024841800 139985034742563 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=387] ppid=373 vsize=14087196 memory=140128112989824 CPUtime=0.17 cores=1,3,5,7
/proc/375/task/387/stat : 387 (java) S 373 373 28069 0 -1 1077944384 1201 0 0 0 17 0 0 0 20 0 15 0 229839650 14425288704 15091 33554432000 4194304 4196468 140735778919184 139984023808240 139985051253378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=388] ppid=373 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/375/task/388/stat : 388 (java) S 373 373 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229839650 14425288704 15091 33554432000 4194304 4196468 140735778919184 139984022755936 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=389] ppid=373 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/375/task/389/stat : 389 (java) S 373 373 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229839651 14425288704 15157 33554432000 4194304 4196468 140735778919184 139984021703472 139985051253378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
Current children cumulated CPU time: 0.74 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 59240 KiB
[startup+0.410987 s]*
/proc/loadavg: 1.68 1.55 1.60 5/221 389
/proc/meminfo: memFree=16840008/32770624 swapFree=67108852/67108860
[pid=373] ppid=370 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/373/stat : 373 (xcsp3-exec) S 370 373 28069 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 229839644 115843072 363 33554432000 4194304 5098028 140725285933888 140725285931992 140439272284796 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13242368 140725285938235 140725285938436 140725285938436 140725285941194 0
/proc/373/statm: 28282 363 305 221 0 87 0
[pid=375] ppid=373 vsize=14087196 memory=63200 CPUtime=0.78 cores=1,3,5,7
/proc/375/stat : 375 (java) S 373 373 28069 0 -1 1077944320 10949 0 0 0 74 4 0 0 20 0 15 0 229839644 14425288704 15800 33554432000 4194304 4196468 140735778919184 140735778901728 139985051242231 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
/proc/375/statm: 3521799 15800 3296 1 0 3483012 0
[pid=375/tid=376] ppid=373 vsize=14087196 memory=6791534058613427641 CPUtime=0.39 cores=1,3,5,7
/proc/375/task/376/stat : 376 (java) R 373 373 28069 0 -1 4202560 6261 0 0 0 36 3 0 0 20 0 15 0 229839645 14425288704 15998 33554432000 4194304 4196468 140735778919184 139985055472960 139985051264253 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=377] ppid=373 vsize=14087196 memory=8187704045996106359 CPUtime=0 cores=1,3,5,7
/proc/375/task/377/stat : 377 (java) S 373 373 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229839646 14425288704 15998 33554432000 4194304 4196468 140735778919184 139985003862288 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=378] ppid=373 vsize=14087196 memory=6945782492362334265 CPUtime=0 cores=1,3,5,7
/proc/375/task/378/stat : 378 (java) S 373 373 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229839646 14425288704 15998 33554432000 4194304 4196468 140735778919184 139985002809744 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=379] ppid=373 vsize=14087196 memory=-7522837415797432224 CPUtime=0 cores=1,3,5,7
/proc/375/task/379/stat : 379 (java) S 373 373 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229839646 14425288704 15998 33554432000 4194304 4196468 140735778919184 139985001757200 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=380] ppid=373 vsize=14087196 memory=8326441112149131687 CPUtime=0 cores=1,3,5,7
/proc/375/task/380/stat : 380 (java) S 373 373 28069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229839646 14425288704 15998 33554432000 4194304 4196468 140735778919184 139985000704656 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=381] ppid=373 vsize=14087196 memory=-8609294073281748341 CPUtime=0 cores=1,3,5,7
/proc/375/task/381/stat : 381 (java) S 373 373 28069 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 229839647 14425288704 15998 33554432000 4194304 4196468 140735778919184 139984030124528 139985051253378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=382] ppid=373 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/375/task/382/stat : 382 (java) S 373 373 28069 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229839648 14425288704 15998 33554432000 4194304 4196468 140735778919184 139984029070752 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=383] ppid=373 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/375/task/383/stat : 383 (java) S 373 373 28069 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229839648 14425288704 15998 33554432000 4194304 4196468 140735778919184 139984028018160 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=384] ppid=373 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/375/task/384/stat : 384 (java) S 373 373 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229839650 14425288704 15998 33554432000 4194304 4196468 140735778919184 139984026966736 139985051260827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=385] ppid=373 vsize=14087196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/375/task/385/stat : 385 (java) R 373 373 28069 0 -1 4202560 937 0 0 0 10 0 0 0 20 0 15 0 229839650 14425288704 15998 33554432000 4194304 4196468 140735778919184 139984025898792 139985036170597 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=386] ppid=373 vsize=14087196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/375/task/386/stat : 386 (java) R 373 373 28069 0 -1 4202560 1287 0 0 0 9 0 0 0 20 0 15 0 229839650 14425288704 15998 33554432000 4194304 4196468 140735778919184 139984024846712 139985035142320 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=387] ppid=373 vsize=14087196 memory=3689629194569397042 CPUtime=0.17 cores=1,3,5,7
/proc/375/task/387/stat : 387 (java) R 373 373 28069 0 -1 4202560 1310 0 0 0 17 0 0 0 20 0 15 0 229839650 14425288704 15998 33554432000 4194304 4196468 140735778919184 139984023802776 139985043479358 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=388] ppid=373 vsize=14087196 memory=3612086648513885872 CPUtime=0 cores=1,3,5,7
/proc/375/task/388/stat : 388 (java) S 373 373 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229839650 14425288704 15998 33554432000 4194304 4196468 140735778919184 139984022755936 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=389] ppid=373 vsize=14087196 memory=4049052965732169013 CPUtime=0 cores=1,3,5,7
/proc/375/task/389/stat : 389 (java) S 373 373 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229839651 14425288704 15998 33554432000 4194304 4196468 140735778919184 139984021703472 139985051253378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
Current children cumulated CPU time: 0.78 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 64652 KiB
[startup+0.71085 s]
/proc/loadavg: 1.68 1.55 1.60 5/221 389
/proc/meminfo: memFree=16814080/32770624 swapFree=67108852/67108860
[pid=373] ppid=370 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/373/stat : 373 (xcsp3-exec) S 370 373 28069 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 229839644 115843072 363 33554432000 4194304 5098028 140725285933888 140725285931992 140439272284796 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13242368 140725285938235 140725285938436 140725285938436 140725285941194 0
/proc/373/statm: 28282 363 305 221 0 87 0
[pid=375] ppid=373 vsize=14089320 memory=121308 CPUtime=1.69 cores=1,3,5,7
/proc/375/stat : 375 (java) S 373 373 28069 0 -1 1077944320 12641 0 0 0 163 6 0 0 20 0 15 0 229839644 14427463680 30327 33554432000 4194304 4196468 140735778919184 140735778901728 139985051242231 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
/proc/375/statm: 3522330 30327 3355 1 0 3483524 0
[pid=375/tid=376] ppid=373 vsize=14089320 memory=16097087276190030 CPUtime=0.68 cores=1,3,5,7
/proc/375/task/376/stat : 376 (java) R 373 373 28069 0 -1 4202560 6616 0 0 0 64 4 0 0 20 0 15 0 229839645 14427463680 30327 33554432000 4194304 4196468 140735778919184 139985055477728 139984681743606 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=377] ppid=373 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/375/task/377/stat : 377 (java) S 373 373 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229839646 14427463680 30327 33554432000 4194304 4196468 140735778919184 139985003862288 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=378] ppid=373 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/375/task/378/stat : 378 (java) S 373 373 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229839646 14427463680 30327 33554432000 4194304 4196468 140735778919184 139985002809744 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=379] ppid=373 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/375/task/379/stat : 379 (java) S 373 373 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229839646 14427463680 30327 33554432000 4194304 4196468 140735778919184 139985001757200 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=380] ppid=373 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/375/task/380/stat : 380 (java) S 373 373 28069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229839646 14427463680 30327 33554432000 4194304 4196468 140735778919184 139985000704656 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=381] ppid=373 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/375/task/381/stat : 381 (java) S 373 373 28069 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 229839647 14427463680 30327 33554432000 4194304 4196468 140735778919184 139984030124528 139985051253378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=382] ppid=373 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/375/task/382/stat : 382 (java) S 373 373 28069 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229839648 14427463680 30327 33554432000 4194304 4196468 140735778919184 139984029070752 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=383] ppid=373 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/375/task/383/stat : 383 (java) S 373 373 28069 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229839648 14427463680 30327 33554432000 4194304 4196468 140735778919184 139984028018160 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=384] ppid=373 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/375/task/384/stat : 384 (java) S 373 373 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229839650 14427463680 30327 33554432000 4194304 4196468 140735778919184 139984026966736 139985051260827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=385] ppid=373 vsize=14089320 memory=0 CPUtime=0.34 cores=1,3,5,7
/proc/375/task/385/stat : 385 (java) R 373 373 28069 0 -1 4202560 1462 0 0 0 34 0 0 0 20 0 15 0 229839650 14427463680 30327 33554432000 4194304 4196468 140735778919184 139984025894344 139985032763858 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=386] ppid=373 vsize=14089320 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/375/task/386/stat : 386 (java) R 373 373 28069 0 -1 4202560 1627 0 0 0 33 0 0 0 20 0 15 0 229839650 14427463680 30327 33554432000 4194304 4196468 140735778919184 139984024847008 139985030564184 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=387] ppid=373 vsize=14089320 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/375/task/387/stat : 387 (java) S 373 373 28069 0 -1 1077944384 1628 0 0 0 30 0 0 0 20 0 15 0 229839650 14427463680 30327 33554432000 4194304 4196468 140735778919184 139984023808240 139985051253378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=388] ppid=373 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/375/task/388/stat : 388 (java) S 373 373 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229839650 14427463680 30327 33554432000 4194304 4196468 140735778919184 139984022755936 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=389] ppid=373 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/375/task/389/stat : 389 (java) S 373 373 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229839651 14427463680 30327 33554432000 4194304 4196468 140735778919184 139984021703472 139985051253378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 122760 KiB
[startup+1.50077 s]
/proc/loadavg: 1.68 1.55 1.60 5/221 389
/proc/meminfo: memFree=16699332/32770624 swapFree=67108852/67108860
[pid=373] ppid=370 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/373/stat : 373 (xcsp3-exec) S 370 373 28069 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 229839644 115843072 363 33554432000 4194304 5098028 140725285933888 140725285931992 140439272284796 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13242368 140725285938235 140725285938436 140725285938436 140725285941194 0
/proc/373/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
[pid=375/tid=381] ppid=373 vsize=14091368 memory=62564 CPUtime=0.08 cores=1,3,5,7
/proc/375/task/381/stat : 381 (java) S 373 373 28069 0 -1 1077944384 4317 0 0 0 5 3 0 0 20 0 15 0 229839647 14429560832 322731 33554432000 4194304 4196468 140735778919184 139984030124528 139985051253378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=382] ppid=373 vsize=14091368 memory=4108 CPUtime=0 cores=1,3,5,7
/proc/375/task/382/stat : 382 (java) S 373 373 28069 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 229839648 14429560832 322731 33554432000 4194304 4196468 140735778919184 139984029070816 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=383] ppid=373 vsize=14091368 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/375/task/383/stat : 383 (java) S 373 373 28069 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 229839648 14429560832 322731 33554432000 4194304 4196468 140735778919184 139984028018176 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=384] ppid=373 vsize=14091368 memory=2432 CPUtime=0 cores=1,3,5,7
/proc/375/task/384/stat : 384 (java) S 373 373 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229839650 14429560832 322731 33554432000 4194304 4196468 140735778919184 139984026966736 139985051260827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=385] ppid=373 vsize=14091368 memory=1828 CPUtime=5.31 cores=1,3,5,7
/proc/375/task/385/stat : 385 (java) S 373 373 28069 0 -1 1077944384 25184 0 0 0 528 3 0 0 20 0 15 0 229839650 14429560832 322731 33554432000 4194304 4196468 140735778919184 139984025913328 139985051253378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=386] ppid=373 vsize=14091368 memory=1452 CPUtime=5.47 cores=1,3,5,7
/proc/375/task/386/stat : 386 (java) S 373 373 28069 0 -1 1077944384 21318 0 0 0 544 3 0 0 20 0 15 0 229839650 14429560832 322731 33554432000 4194304 4196468 140735778919184 139984024860784 139985051253378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=387] ppid=373 vsize=14091368 memory=1290924 CPUtime=1.03 cores=1,3,5,7
/proc/375/task/387/stat : 387 (java) S 373 373 28069 0 -1 1077944384 11635 0 0 0 101 2 0 0 20 0 15 0 229839650 14429560832 322731 33554432000 4194304 4196468 140735778919184 139984023808240 139985051253378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=388] ppid=373 vsize=14091368 memory=2432 CPUtime=0 cores=1,3,5,7
/proc/375/task/388/stat : 388 (java) S 373 373 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229839650 14429560832 322731 33554432000 4194304 4196468 140735778919184 139984022755936 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=389] ppid=373 vsize=14091368 memory=6947385649911455296 CPUtime=1.39 cores=1,3,5,7
/proc/375/task/389/stat : 389 (java) S 373 373 28069 0 -1 1077944384 1679 0 0 0 59 80 0 0 20 0 15 0 229839651 14429560832 322731 33554432000 4194304 4196468 140735778919184 139984021703472 139985051253378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
Current children cumulated CPU time: 2398.79 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 1292376 KiB
[startup+2442.3 s]
/proc/loadavg: 1.98 2.01 1.97 3/220 508
/proc/meminfo: memFree=15581212/32770624 swapFree=67108852/67108860
[pid=373] ppid=370 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/373/stat : 373 (xcsp3-exec) S 370 373 28069 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 229839644 115843072 363 33554432000 4194304 5098028 140725285933888 140725285931992 140439272284796 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13242368 140725285938235 140725285938436 140725285938436 140725285941194 0
/proc/373/statm: 28282 363 305 221 0 87 0
[pid=375] ppid=373 vsize=14091368 memory=1290924 CPUtime=2458.86 cores=1,3,5,7
/proc/375/stat : 375 (java) S 373 373 28069 0 -1 1077944320 109447 0 0 0 245726 160 0 0 20 0 15 0 229839644 14429560832 322731 33554432000 4194304 4196468 140735778919184 140735778901728 139985051242231 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
/proc/375/statm: 3522842 322731 3449 1 0 3484036 0
[pid=375/tid=376] ppid=373 vsize=14091368 memory=14410419259311685 CPUtime=2441.21 cores=1,3,5,7
/proc/375/task/376/stat : 376 (java) R 373 373 28069 0 -1 4202560 36075 0 0 0 244104 17 0 0 20 0 15 0 229839645 14429560832 322731 33554432000 4194304 4196468 140735778919184 139985055478968 139984687317536 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=377] ppid=373 vsize=14091368 memory=6791534058613427641 CPUtime=1.05 cores=1,3,5,7
/proc/375/task/377/stat : 377 (java) S 373 373 28069 0 -1 1077944384 1099 0 0 0 90 15 0 0 20 0 15 0 229839646 14429560832 322731 33554432000 4194304 4196468 140735778919184 139985003862288 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=378] ppid=373 vsize=14091368 memory=62564 CPUtime=1.06 cores=1,3,5,7
/proc/375/task/378/stat : 378 (java) S 373 373 28069 0 -1 1077944384 1607 0 0 0 90 16 0 0 20 0 15 0 229839646 14429560832 322731 33554432000 4194304 4196468 140735778919184 139985002809744 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=379] ppid=373 vsize=14091368 memory=288230574492221466 CPUtime=1.04 cores=1,3,5,7
/proc/375/task/379/stat : 379 (java) S 373 373 28069 0 -1 1077944384 2292 0 0 0 89 15 0 0 20 0 15 0 229839646 14429560832 322731 33554432000 4194304 4196468 140735778919184 139985001757200 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=380] ppid=373 vsize=14091368 memory=303148748257886234 CPUtime=1.05 cores=1,3,5,7
/proc/375/task/380/stat : 380 (java) S 373 373 28069 0 -1 1077944384 2559 0 0 0 90 15 0 0 20 0 15 0 229839646 14429560832 322731 33554432000 4194304 4196468 140735778919184 139985000704656 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=381] ppid=373 vsize=14091368 memory=302585819863187771 CPUtime=0.09 cores=1,3,5,7
/proc/375/task/381/stat : 381 (java) S 373 373 28069 0 -1 1077944384 4319 0 0 0 5 4 0 0 20 0 15 0 229839647 14429560832 322731 33554432000 4194304 4196468 140735778919184 139984030124528 139985051253378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=382] ppid=373 vsize=14091368 memory=14410419259311685 CPUtime=0 cores=1,3,5,7
/proc/375/task/382/stat : 382 (java) S 373 373 28069 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 229839648 14429560832 322731 33554432000 4194304 4196468 140735778919184 139984029070816 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=383] ppid=373 vsize=14091368 memory=0 CPUtime=0 cores=1,3,5,7
/proc/375/task/383/stat : 383 (java) S 373 373 28069 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 229839648 14429560832 322731 33554432000 4194304 4196468 140735778919184 139984028018176 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=384] ppid=373 vsize=14091368 memory=0 CPUtime=0 cores=1,3,5,7
/proc/375/task/384/stat : 384 (java) S 373 373 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229839650 14429560832 322731 33554432000 4194304 4196468 140735778919184 139984026966736 139985051260827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=385] ppid=373 vsize=14091368 memory=4830866661839717088 CPUtime=5.33 cores=1,3,5,7
/proc/375/task/385/stat : 385 (java) S 373 373 28069 0 -1 1077944384 25447 0 0 0 530 3 0 0 20 0 15 0 229839650 14429560832 322731 33554432000 4194304 4196468 140735778919184 139984025913328 139985051253378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=386] ppid=373 vsize=14091368 memory=7679937479730885434 CPUtime=5.48 cores=1,3,5,7
/proc/375/task/386/stat : 386 (java) S 373 373 28069 0 -1 1077944384 21385 0 0 0 545 3 0 0 20 0 15 0 229839650 14429560832 322731 33554432000 4194304 4196468 140735778919184 139984024860784 139985051253378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=387] ppid=373 vsize=14091368 memory=-7029379521808015264 CPUtime=1.03 cores=1,3,5,7
/proc/375/task/387/stat : 387 (java) S 373 373 28069 0 -1 1077944384 11637 0 0 0 101 2 0 0 20 0 15 0 229839650 14429560832 322731 33554432000 4194304 4196468 140735778919184 139984023808240 139985051253378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=388] ppid=373 vsize=14091368 memory=968 CPUtime=0 cores=1,3,5,7
/proc/375/task/388/stat : 388 (java) S 373 373 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229839650 14429560832 322731 33554432000 4194304 4196468 140735778919184 139984022755936 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=389] ppid=373 vsize=14091368 memory=12144 CPUtime=1.41 cores=1,3,5,7
/proc/375/task/389/stat : 389 (java) S 373 373 28069 0 -1 1077944384 1685 0 0 0 60 81 0 0 20 0 15 0 229839651 14429560832 322731 33554432000 4194304 4196468 140735778919184 139984021703472 139985051253378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
Current children cumulated CPU time: 2458.86 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 1292376 KiB
[startup+2502.3 s]
/proc/loadavg: 1.86 1.97 1.95 3/221 614
/proc/meminfo: memFree=15640828/32770624 swapFree=67108852/67108860
[pid=373] ppid=370 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/373/stat : 373 (xcsp3-exec) S 370 373 28069 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 229839644 115843072 363 33554432000 4194304 5098028 140725285933888 140725285931992 140439272284796 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13242368 140725285938235 140725285938436 140725285938436 140725285941194 0
/proc/373/statm: 28282 363 305 221 0 87 0
[pid=375] ppid=373 vsize=14091368 memory=1290924 CPUtime=2518.89 cores=1,3,5,7
/proc/375/stat : 375 (java) S 373 373 28069 0 -1 1077944320 110089 0 0 0 251728 161 0 0 20 0 15 0 229839644 14429560832 322731 33554432000 4194304 4196468 140735778919184 140735778901728 139985051242231 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
/proc/375/statm: 3522842 322731 3449 1 0 3484036 0
[pid=375/tid=376] ppid=373 vsize=14091368 memory=15816694631237184 CPUtime=2501.21 cores=1,3,5,7
/proc/375/task/376/stat : 376 (java) R 373 373 28069 0 -1 4202560 36691 0 0 0 250103 18 0 0 20 0 15 0 229839645 14429560832 322731 33554432000 4194304 4196468 140735778919184 139985055478968 139984687028117 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=377] ppid=373 vsize=14091368 memory=792 CPUtime=1.05 cores=1,3,5,7
/proc/375/task/377/stat : 377 (java) S 373 373 28069 0 -1 1077944384 1099 0 0 0 90 15 0 0 20 0 15 0 229839646 14429560832 322731 33554432000 4194304 4196468 140735778919184 139985003862288 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=378] ppid=373 vsize=14091368 memory=6947385649911455296 CPUtime=1.06 cores=1,3,5,7
/proc/375/task/378/stat : 378 (java) S 373 373 28069 0 -1 1077944384 1607 0 0 0 90 16 0 0 20 0 15 0 229839646 14429560832 322731 33554432000 4194304 4196468 140735778919184 139985002809744 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=379] ppid=373 vsize=14091368 memory=1944 CPUtime=1.04 cores=1,3,5,7
/proc/375/task/379/stat : 379 (java) S 373 373 28069 0 -1 1077944384 2292 0 0 0 89 15 0 0 20 0 15 0 229839646 14429560832 322731 33554432000 4194304 4196468 140735778919184 139985001757200 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=380] ppid=373 vsize=14091368 memory=1452 CPUtime=1.05 cores=1,3,5,7
/proc/375/task/380/stat : 380 (java) S 373 373 28069 0 -1 1077944384 2559 0 0 0 90 15 0 0 20 0 15 0 229839646 14429560832 322731 33554432000 4194304 4196468 140735778919184 139985000704656 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=381] ppid=373 vsize=14091368 memory=205732 CPUtime=0.09 cores=1,3,5,7
/proc/375/task/381/stat : 381 (java) S 373 373 28069 0 -1 1077944384 4322 0 0 0 5 4 0 0 20 0 15 0 229839647 14429560832 322731 33554432000 4194304 4196468 140735778919184 139984030124528 139985051253378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=382] ppid=373 vsize=14091368 memory=5772 CPUtime=0 cores=1,3,5,7
/proc/375/task/382/stat : 382 (java) S 373 373 28069 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 229839648 14429560832 322731 33554432000 4194304 4196468 140735778919184 139984029070816 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=383] ppid=373 vsize=14091368 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/375/task/383/stat : 383 (java) S 373 373 28069 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 229839648 14429560832 322731 33554432000 4194304 4196468 140735778919184 139984028018176 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=384] ppid=373 vsize=14091368 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/375/task/384/stat : 384 (java) S 373 373 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229839650 14429560832 322731 33554432000 4194304 4196468 140735778919184 139984026966736 139985051260827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=385] ppid=373 vsize=14091368 memory=968 CPUtime=5.33 cores=1,3,5,7
/proc/375/task/385/stat : 385 (java) S 373 373 28069 0 -1 1077944384 25447 0 0 0 530 3 0 0 20 0 15 0 229839650 14429560832 322731 33554432000 4194304 4196468 140735778919184 139984025913328 139985051253378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=386] ppid=373 vsize=14091368 memory=12144 CPUtime=5.48 cores=1,3,5,7
/proc/375/task/386/stat : 386 (java) S 373 373 28069 0 -1 1077944384 21385 0 0 0 545 3 0 0 20 0 15 0 229839650 14429560832 322731 33554432000 4194304 4196468 140735778919184 139984024860784 139985051253378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=387] ppid=373 vsize=14091368 memory=1712 CPUtime=1.03 cores=1,3,5,7
/proc/375/task/387/stat : 387 (java) S 373 373 28069 0 -1 1077944384 11639 0 0 0 101 2 0 0 20 0 15 0 229839650 14429560832 322731 33554432000 4194304 4196468 140735778919184 139984023808240 139985051253378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=388] ppid=373 vsize=14091368 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/375/task/388/stat : 388 (java) S 373 373 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229839650 14429560832 322731 33554432000 4194304 4196468 140735778919184 139984022755936 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=389] ppid=373 vsize=14091368 memory=14128944282601028 CPUtime=1.45 cores=1,3,5,7
/proc/375/task/389/stat : 389 (java) S 373 373 28069 0 -1 1077944384 1706 0 0 0 62 83 0 0 20 0 15 0 229839651 14429560832 322731 33554432000 4194304 4196468 140735778919184 139984021703472 139985051253378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
Current children cumulated CPU time: 2518.89 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 1292376 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2503.5 s]
/proc/loadavg: 1.86 1.97 1.95 3/221 614
/proc/meminfo: memFree=15634944/32770624 swapFree=67108852/67108860
[pid=373] ppid=370 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/373/stat : 373 (xcsp3-exec) S 370 373 28069 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 229839644 115843072 363 33554432000 4194304 5098028 140725285933888 140725285931992 140439272284796 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13242368 140725285938235 140725285938436 140725285938436 140725285941194 0
/proc/373/statm: 28282 363 305 221 0 87 0
[pid=375] ppid=373 vsize=14091368 memory=1290924 CPUtime=2520.09 cores=1,3,5,7
/proc/375/stat : 375 (java) S 373 373 28069 0 -1 1077944320 110090 0 0 0 251848 161 0 0 20 0 15 0 229839644 14429560832 322731 33554432000 4194304 4196468 140735778919184 140735778901728 139985051242231 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
/proc/375/statm: 3522842 322731 3449 1 0 3484036 0
[pid=375/tid=376] ppid=373 vsize=14091368 memory=4576 CPUtime=2502.41 cores=1,3,5,7
/proc/375/task/376/stat : 376 (java) R 373 373 28069 0 -1 4202560 36692 0 0 0 250223 18 0 0 20 0 15 0 229839645 14429560832 322731 33554432000 4194304 4196468 140735778919184 139985055478968 139984679032184 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=377] ppid=373 vsize=14091368 memory=15868 CPUtime=1.05 cores=1,3,5,7
/proc/375/task/377/stat : 377 (java) S 373 373 28069 0 -1 1077944384 1099 0 0 0 90 15 0 0 20 0 15 0 229839646 14429560832 322731 33554432000 4194304 4196468 140735778919184 139985003862288 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=378] ppid=373 vsize=14091368 memory=4012 CPUtime=1.06 cores=1,3,5,7
/proc/375/task/378/stat : 378 (java) S 373 373 28069 0 -1 1077944384 1607 0 0 0 90 16 0 0 20 0 15 0 229839646 14429560832 322731 33554432000 4194304 4196468 140735778919184 139985002809744 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=379] ppid=373 vsize=14091368 memory=35812 CPUtime=1.04 cores=1,3,5,7
/proc/375/task/379/stat : 379 (java) S 373 373 28069 0 -1 1077944384 2292 0 0 0 89 15 0 0 20 0 15 0 229839646 14429560832 322731 33554432000 4194304 4196468 140735778919184 139985001757200 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=380] ppid=373 vsize=14091368 memory=18220 CPUtime=1.05 cores=1,3,5,7
/proc/375/task/380/stat : 380 (java) S 373 373 28069 0 -1 1077944384 2559 0 0 0 90 15 0 0 20 0 15 0 229839646 14429560832 322731 33554432000 4194304 4196468 140735778919184 139985000704656 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=381] ppid=373 vsize=14091368 memory=1788 CPUtime=0.09 cores=1,3,5,7
/proc/375/task/381/stat : 381 (java) S 373 373 28069 0 -1 1077944384 4322 0 0 0 5 4 0 0 20 0 15 0 229839647 14429560832 322731 33554432000 4194304 4196468 140735778919184 139984030124528 139985051253378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=382] ppid=373 vsize=14091368 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/375/task/382/stat : 382 (java) S 373 373 28069 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 229839648 14429560832 322731 33554432000 4194304 4196468 140735778919184 139984029070816 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=383] ppid=373 vsize=14091368 memory=644 CPUtime=0 cores=1,3,5,7
/proc/375/task/383/stat : 383 (java) S 373 373 28069 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 229839648 14429560832 322731 33554432000 4194304 4196468 140735778919184 139984028018176 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=384] ppid=373 vsize=14091368 memory=952 CPUtime=0 cores=1,3,5,7
/proc/375/task/384/stat : 384 (java) S 373 373 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229839650 14429560832 322731 33554432000 4194304 4196468 140735778919184 139984026966736 139985051260827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=385] ppid=373 vsize=14091368 memory=2416 CPUtime=5.33 cores=1,3,5,7
/proc/375/task/385/stat : 385 (java) S 373 373 28069 0 -1 1077944384 25447 0 0 0 530 3 0 0 20 0 15 0 229839650 14429560832 322731 33554432000 4194304 4196468 140735778919184 139984025913328 139985051253378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=386] ppid=373 vsize=14091368 memory=1536 CPUtime=5.48 cores=1,3,5,7
/proc/375/task/386/stat : 386 (java) S 373 373 28069 0 -1 1077944384 21385 0 0 0 545 3 0 0 20 0 15 0 229839650 14429560832 322731 33554432000 4194304 4196468 140735778919184 139984024860784 139985051253378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=387] ppid=373 vsize=14091368 memory=928 CPUtime=1.03 cores=1,3,5,7
/proc/375/task/387/stat : 387 (java) S 373 373 28069 0 -1 1077944384 11639 0 0 0 101 2 0 0 20 0 15 0 229839650 14429560832 322731 33554432000 4194304 4196468 140735778919184 139984023808240 139985051253378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=388] ppid=373 vsize=14091368 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/375/task/388/stat : 388 (java) S 373 373 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229839650 14429560832 322731 33554432000 4194304 4196468 140735778919184 139984022755936 139985051252437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
[pid=375/tid=389] ppid=373 vsize=14091368 memory=4132 CPUtime=1.45 cores=1,3,5,7
/proc/375/task/389/stat : 389 (java) S 373 373 28069 0 -1 1077944384 1706 0 0 0 62 83 0 0 20 0 15 0 229839651 14429560832 322731 33554432000 4194304 4196468 140735778919184 139984021703472 139985051253378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27140096 140735778923654 140735778923825 140735778923825 140735778926543 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 1292376 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2503.52 s]
# the end of solver process 373 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.49 s, system=1.62688 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2503.52
CPU time (s): 2520.12
CPU user time (s): 2518.49
CPU system time (s): 1.62688
CPU usage (%): 100.663
Max. virtual memory (cumulated for all children) (KiB): 14206592
Max. memory (cumulated for all children) (KiB): 1292376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.49
system time used= 1.62688
maximum resident set size= 1291488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110979
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58615
involuntary context switches= 845
# summary of solver processes directly reported to runsolver:
# pid: 373
# total CPU time (s): 2520.12
# total CPU user time (s): 2518.49
# total CPU system time (s): 1.62688
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1438 second user time and 24.7292 second system time
The end
Begin job on node135 at 2018-08-13 03:12:45 IDJOB=4306559 IDBENCH=141548 IDSOLVER=2787 FILE ID=node135/4306559-1534122765 RUNJOBID= node135-1534098559-28101 PBS_JOBID= 21037004 Free space on /tmp= 42696 MiB SOLVER NAME= Choco-solver 4.0.7b seq (e747e1e) BENCH NAME= XCSP18/TravelingTournament/TravelingTournament-a3-galaxy16_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 11000 -p 1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4306559-1534122765/watcher-4306559-1534122765 -o /tmp/evaluation-result-4306559-1534122765/solver-4306559-1534122765 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534098559-28101 --watchdog 2580 HOME/xcsp3-exec -seed 329755303 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306559-1534122765.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e08ad5e9bb2dce0f9ded0033a126b6aa RANDOM SEED=329755303 node135.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 16889132 kB MemAvailable: 31675788 kB Buffers: 245444 kB Cached: 14636836 kB SwapCached: 8 kB Active: 7594652 kB Inactive: 7571284 kB Active(anon): 232892 kB Inactive(anon): 103308 kB Active(file): 7361760 kB Inactive(file): 7467976 kB Unevictable: 7244 kB Mlocked: 7244 kB SwapTotal: 67108860 kB SwapFree: 67108852 kB Dirty: 22328 kB Writeback: 0 kB AnonPages: 268320 kB Mapped: 75164 kB Shmem: 49848 kB Slab: 414056 kB SReclaimable: 385380 kB SUnreclaim: 28676 kB KernelStack: 3904 kB PageTables: 6272 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1454548 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 147456 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 93568 kB DirectMap2M: 33452032 kB Free space on /tmp at the end= 42676 MiB End job on node135 at 2018-08-13 03:54:28