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 4.0.5 (2017-07-05) | SAT (TO) | 1728 | 2400.32 | 303.512 |
| Name | Vrp/Vrp-zinc-s1/ Vrp-B-n50-k8.xml |
| MD5SUM | f0cf802901bcec45e39016390e9d5929 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 1327 |
| Best CPU time to get the best result obtained on this benchmark | 2400.05 |
| 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-4246338-1500687286.xml" -tl '2400s' -p 8 -x 0 0.00/0.21 c [HOME/instance-4246338-1500687286.xml, -tl, 2400s, -p, 8, -x, 0] 0.00/0.26 c 8 solvers in parallel 0.00/0.33 c parse instance... 5.47/1.51 c solve instance... 6.14/1.66 o 5726 6.88/1.72 o 5692 6.88/1.74 o 2672 26.63/4.28 o 2663 36.80/5.58 o 2621 36.80/5.60 o 2590 37.53/5.84 o 2574 37.96/5.91 o 2565 37.96/5.98 o 2556 38.41/6.00 o 2402 38.41/6.01 o 2392 39.81/6.68 o 2352 40.06/6.71 o 2299 73.28/10.93 o 2284 100.67/14.43 o 2190 100.67/14.46 o 2026 100.95/14.53 o 1957 100.95/14.54 o 1935 100.95/14.55 o 1889 152.88/21.17 o 1802 153.42/21.23 o 1776 153.42/21.25 o 1772 153.42/21.28 o 1728 2400.32/303.54 s SATISFIABLE 2400.32/303.54 v <instantiation> 2400.32/303.54 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.32/303.54 v <values>0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 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 0 0 0 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 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 1 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 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 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 99 88 33 36 78 13 74 17 12 85 44 9 56 15 28 34 50 48 98 25 72 32 85 8 59 2 49 12 72 36 32 99 72 99 73 65 7 52 18 79 59 38 47 84 38 28 27 77 69 </values> 2400.32/303.54 v </instantiation> 2400.32/303.54 c Unexpected resolution interruption!
OK 1728
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-4246338-1500687286/watcher-4246338-1500687286 -o /tmp/evaluation-result-4246338-1500687286/solver-4246338-1500687286 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500682387-16504 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 2077511511 HOME/instance-4246338-1500687286.xml pid=30673 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: 15.81 15.27 14.45 4/272 30676 /proc/meminfo: memFree=29772168/32770624 swapFree=5736/227448 [pid=30676] ppid=30673 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30676/stat : 30676 (xcsp3-exec) S 30673 30676 16473 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3997755 9740288 345 33554432000 4194304 5098028 140728564427568 140728564425672 140548252676732 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10506240 140728564434062 140728564434272 140728564434272 140728564436971 0 /proc/30676/statm: 2378 345 289 221 0 87 0 [startup+0.100089 s] /proc/loadavg: 15.81 15.27 14.45 4/272 30676 /proc/meminfo: memFree=29772168/32770624 swapFree=5736/227448 [pid=30676] ppid=30673 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30676/stat : 30676 (xcsp3-exec) S 30673 30676 16473 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3997755 9740288 345 33554432000 4194304 5098028 140728564427568 140728564425672 140548252676732 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10506240 140728564434062 140728564434272 140728564434272 140728564436971 0 /proc/30676/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200278 s] /proc/loadavg: 15.81 15.27 14.45 4/272 30676 /proc/meminfo: memFree=29772168/32770624 swapFree=5736/227448 [pid=30676] ppid=30673 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30676/stat : 30676 (xcsp3-exec) S 30673 30676 16473 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3997755 9740288 345 33554432000 4194304 5098028 140728564427568 140728564425672 140548252676732 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10506240 140728564434062 140728564434272 140728564434272 140728564436971 0 /proc/30676/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300318 s] /proc/loadavg: 15.81 15.27 14.45 4/272 30676 /proc/meminfo: memFree=29772168/32770624 swapFree=5736/227448 [pid=30676] ppid=30673 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30676/stat : 30676 (xcsp3-exec) S 30673 30676 16473 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3997755 9740288 345 33554432000 4194304 5098028 140728564427568 140728564425672 140548252676732 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10506240 140728564434062 140728564434272 140728564434272 140728564436971 0 /proc/30676/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700169 s] /proc/loadavg: 15.81 15.27 14.45 4/272 30676 /proc/meminfo: memFree=29772168/32770624 swapFree=5736/227448 [pid=30676] ppid=30673 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30676/stat : 30676 (xcsp3-exec) S 30673 30676 16473 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3997755 9740288 345 33554432000 4194304 5098028 140728564427568 140728564425672 140548252676732 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10506240 140728564434062 140728564434272 140728564434272 140728564436971 0 /proc/30676/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50121 s] /proc/loadavg: 15.43 15.20 14.43 14/293 30705 /proc/meminfo: memFree=29604540/32770624 swapFree=5736/227808 [pid=30676] ppid=30673 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30676/stat : 30676 (xcsp3-exec) S 30673 30676 16473 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3997755 9740288 345 33554432000 4194304 5098028 140728564427568 140728564425672 140548252676732 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10506240 140728564434062 140728564434272 140728564434272 140728564436971 0 /proc/30676/statm: 2378 345 289 221 0 87 0 [pid=30677] ppid=30676 vsize=13269256 CPUtime=5.47 cores=0,2,4,6,8,10,12,14 /proc/30677/stat : 30677 (java) S 30676 30676 16473 0 -1 1077944320 24596 0 0 0 530 17 0 0 20 0 20 0 3997755 13587718144 58889 33554432000 4194304 4196468 140720624529568 140720624512112 140194615697143 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 /proc/30677/statm: 3317314 58889 3258 1 0 3304547 0 [pid=30677/tid=30678] ppid=30676 vsize=13269256 CPUtime=1.42 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30678/stat : 30678 (java) R 30676 30676 16473 0 -1 4202560 8341 0 0 0 137 5 0 0 20 0 20 0 3997756 13587718144 58889 33554432000 4194304 4196468 140720624529568 140194619936448 140194615718490 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30680] ppid=30676 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30680/stat : 30680 (java) S 30676 30676 16473 0 -1 1077944384 141 0 0 0 2 0 0 0 20 0 20 0 3997757 13587718144 58889 33554432000 4194304 4196468 140720624529568 140194578803216 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30681] ppid=30676 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30681/stat : 30681 (java) S 30676 30676 16473 0 -1 1077944384 38 0 0 0 1 1 0 0 20 0 20 0 3997757 13587718144 58889 33554432000 4194304 4196468 140720624529568 140194214247056 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30682] ppid=30676 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30682/stat : 30682 (java) S 30676 30676 16473 0 -1 1077944384 10 0 0 0 1 0 0 0 20 0 20 0 3997757 13587718144 58889 33554432000 4194304 4196468 140720624529568 140194213194000 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30683] ppid=30676 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30683/stat : 30683 (java) S 30676 30676 16473 0 -1 1077944384 43 0 0 0 2 1 0 0 20 0 20 0 3997757 13587718144 58889 33554432000 4194304 4196468 140720624529568 140194212141456 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30684] ppid=30676 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30684/stat : 30684 (java) S 30676 30676 16473 0 -1 1077944384 37 0 0 0 1 1 0 0 20 0 20 0 3997757 13587718144 58889 33554432000 4194304 4196468 140720624529568 140194211089424 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30685] ppid=30676 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30685/stat : 30685 (java) S 30676 30676 16473 0 -1 1077944384 190 0 0 0 2 1 0 0 20 0 20 0 3997757 13587718144 58889 33554432000 4194304 4196468 140720624529568 140194210036880 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30686] ppid=30676 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30686/stat : 30686 (java) S 30676 30676 16473 0 -1 1077944384 71 0 0 0 3 1 0 0 20 0 20 0 3997757 13587718144 58889 33554432000 4194304 4196468 140720624529568 140194208983824 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30687] ppid=30676 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30687/stat : 30687 (java) S 30676 30676 16473 0 -1 1077944384 10 0 0 0 1 0 0 0 20 0 20 0 3997757 13587718144 58889 33554432000 4194304 4196468 140720624529568 140194207931280 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30688] ppid=30676 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30688/stat : 30688 (java) S 30676 30676 16473 0 -1 1077944384 219 0 0 0 0 0 0 0 20 0 20 0 3997759 13587718144 58889 33554432000 4194304 4196468 140720624529568 140193742371056 140194615708290 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30689] ppid=30676 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30689/stat : 30689 (java) S 30676 30676 16473 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 3997760 13587718144 58889 33554432000 4194304 4196468 140720624529568 140193741317344 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30690] ppid=30676 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30690/stat : 30690 (java) S 30676 30676 16473 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 3997760 13587718144 58889 33554432000 4194304 4196468 140720624529568 140193740264192 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30691] ppid=30676 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30691/stat : 30691 (java) S 30676 30676 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3997764 13587718144 58889 33554432000 4194304 4196468 140720624529568 140193739212752 140194615715739 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30692] ppid=30676 vsize=13269256 CPUtime=1.02 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30692/stat : 30692 (java) R 30676 30676 16473 0 -1 4202560 3573 0 0 0 102 0 0 0 20 0 20 0 3997764 13587718144 58889 33554432000 4194304 4196468 140720624529568 140193738147312 140194599083928 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30693] ppid=30676 vsize=13269256 CPUtime=1 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30693/stat : 30693 (java) R 30676 30676 16473 0 -1 4202560 3793 0 0 0 100 0 0 0 20 0 20 0 3997764 13587718144 58889 33554432000 4194304 4196468 140720624529568 140193737095904 140194615718490 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30694] ppid=30676 vsize=13269256 CPUtime=1.04 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30694/stat : 30694 (java) R 30676 30676 16473 0 -1 4202560 3483 0 0 0 104 0 0 0 20 0 20 0 3997764 13587718144 58889 33554432000 4194304 4196468 140720624529568 140193736034200 140194597225207 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30695] ppid=30676 vsize=13269256 CPUtime=0.68 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30695/stat : 30695 (java) R 30676 30676 16473 0 -1 4202560 3304 0 0 0 67 1 0 0 20 0 20 0 3997764 13587718144 58889 33554432000 4194304 4196468 140720624529568 140193734997272 140194615709078 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30696] ppid=30676 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30696/stat : 30696 (java) S 30676 30676 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3997765 13587718144 58889 33554432000 4194304 4196468 140720624529568 140193733949920 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30697] ppid=30676 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30697/stat : 30697 (java) S 30676 30676 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3997765 13587718144 58889 33554432000 4194304 4196468 140720624529568 140193732897456 140194615708290 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 Current children cumulated CPU time (s) 5.47 Current children cumulated vsize (KiB) 13278768 [startup+3.10164 s] /proc/loadavg: 15.43 15.20 14.43 20/301 30737 /proc/meminfo: memFree=29533988/32770624 swapFree=5736/227808 [pid=30676] ppid=30673 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30676/stat : 30676 (xcsp3-exec) S 30673 30676 16473 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3997755 9740288 345 33554432000 4194304 5098028 140728564427568 140728564425672 140548252676732 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10506240 140728564434062 140728564434272 140728564434272 140728564436971 0 /proc/30676/statm: 2378 345 289 221 0 87 0 [pid=30677] ppid=30676 vsize=13801768 CPUtime=17.93 cores=0,2,4,6,8,10,12,14 /proc/30677/stat : 30677 (java) S 30676 30676 16473 0 -1 1077944320 30168 0 0 0 1771 22 0 0 20 0 28 0 3997755 14133010432 80713 33554432000 4194304 4196468 140720624529568 140720624512112 140194615697143 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 /proc/30677/statm: 3450442 80713 3283 1 0 3437675 0 [pid=30677/tid=30678] ppid=30676 vsize=13801768 CPUtime=1.46 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30678/stat : 30678 (java) S 30676 30676 16473 0 -1 1077944384 8454 0 0 0 141 5 0 0 20 0 28 0 3997756 14133010432 80713 33554432000 4194304 4196468 140720624529568 140194619937920 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30680] ppid=30676 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30680/stat : 30680 (java) S 30676 30676 16473 0 -1 1077944384 141 0 0 0 2 0 0 0 20 0 28 0 3997757 14133010432 80713 33554432000 4194304 4196468 140720624529568 140194578803216 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30681] ppid=30676 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30681/stat : 30681 (java) S 30676 30676 16473 0 -1 1077944384 38 0 0 0 1 1 0 0 20 0 28 0 3997757 14133010432 80713 33554432000 4194304 4196468 140720624529568 140194214247056 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30682] ppid=30676 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30682/stat : 30682 (java) S 30676 30676 16473 0 -1 1077944384 10 0 0 0 1 0 0 0 20 0 28 0 3997757 14133010432 80713 33554432000 4194304 4196468 140720624529568 140194213194000 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30683] ppid=30676 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30683/stat : 30683 (java) S 30676 30676 16473 0 -1 1077944384 43 0 0 0 2 1 0 0 20 0 28 0 3997757 14133010432 80713 33554432000 4194304 4196468 140720624529568 140194212141456 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30684] ppid=30676 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30684/stat : 30684 (java) S 30676 30676 16473 0 -1 1077944384 37 0 0 0 1 1 0 0 20 0 28 0 3997757 14133010432 80713 33554432000 4194304 4196468 140720624529568 140194211089424 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30685] ppid=30676 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30685/stat : 30685 (java) S 30676 30676 16473 0 -1 1077944384 190 0 0 0 2 1 0 0 20 0 28 0 3997757 14133010432 80713 33554432000 4194304 4196468 140720624529568 140194210036880 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30686] ppid=30676 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30686/stat : 30686 (java) S 30676 30676 16473 0 -1 1077944384 71 0 0 0 3 1 0 0 20 0 28 0 3997757 14133010432 80713 33554432000 4194304 4196468 140720624529568 140194208983824 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30687] ppid=30676 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30687/stat : 30687 (java) S 30676 30676 16473 0 -1 1077944384 10 0 0 0 1 0 0 0 20 0 28 0 3997757 14133010432 80713 33554432000 4194304 4196468 140720624529568 140194207931280 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30688] ppid=30676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30688/stat : 30688 (java) S 30676 30676 16473 0 -1 1077944384 257 0 0 0 0 0 0 0 20 0 28 0 3997759 14133010432 80713 33554432000 4194304 4196468 140720624529568 140193742371056 140194615708290 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30689] ppid=30676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30689/stat : 30689 (java) S 30676 30676 16473 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 3997760 14133010432 80713 33554432000 4194304 4196468 140720624529568 140193741317344 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30690] ppid=30676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30690/stat : 30690 (java) S 30676 30676 16473 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3997760 14133010432 80713 33554432000 4194304 4196468 140720624529568 140193740264192 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30691] ppid=30676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30691/stat : 30691 (java) S 30676 30676 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3997764 14133010432 80713 33554432000 4194304 4196468 140720624529568 140193739212752 140194615715739 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30692] ppid=30676 vsize=13801768 CPUtime=2.26 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30692/stat : 30692 (java) R 30676 30676 16473 0 -1 4202560 5096 0 0 0 226 0 0 0 20 0 28 0 3997764 14133010432 80713 33554432000 4194304 4196468 140720624529568 140193738147008 140194601741969 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30693] ppid=30676 vsize=13801768 CPUtime=2.11 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30693/stat : 30693 (java) R 30676 30676 16473 0 -1 4202560 4566 0 0 0 210 1 0 0 20 0 28 0 3997764 14133010432 80713 33554432000 4194304 4196468 140720624529568 140193737094368 140194600614541 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30694] ppid=30676 vsize=13801768 CPUtime=2.23 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30694/stat : 30694 (java) R 30676 30676 16473 0 -1 4202560 4220 0 0 0 223 0 0 0 20 0 28 0 3997764 14133010432 80713 33554432000 4194304 4196468 140720624529568 140193736041848 140194599180464 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30695] ppid=30676 vsize=13801768 CPUtime=1.08 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30695/stat : 30695 (java) S 30676 30676 16473 0 -1 1077944384 4235 0 0 0 107 1 0 0 20 0 28 0 3997764 14133010432 80713 33554432000 4194304 4196468 140720624529568 140193735002736 140194615708290 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30696] ppid=30676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30696/stat : 30696 (java) S 30676 30676 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3997765 14133010432 80713 33554432000 4194304 4196468 140720624529568 140193733949920 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30697] ppid=30676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30697/stat : 30697 (java) S 30676 30676 16473 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 3997765 14133010432 80713 33554432000 4194304 4196468 140720624529568 140193732897456 140194615708290 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30730] ppid=30676 vsize=13801768 CPUtime=1.17 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30730/stat : 30730 (java) R 30676 30676 16473 0 -1 4202560 123 0 0 0 117 0 0 0 20 0 28 0 3997930 14133010432 80713 33554432000 4194304 4196468 140720624529568 140193719618872 140194259118841 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30731] ppid=30676 vsize=13801768 CPUtime=0.94 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30731/stat : 30731 (java) R 30676 30676 16473 0 -1 4202560 31 0 0 0 94 0 0 0 20 0 28 0 3997930 14133010432 80713 33554432000 4194304 4196468 140720624529568 140193723830328 140194259769701 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30732] ppid=30676 vsize=13801768 CPUtime=0.96 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30732/stat : 30732 (java) R 30676 30676 16473 0 -1 4202560 220 0 0 0 96 0 0 0 20 0 28 0 3997930 14133010432 80713 33554432000 4194304 4196468 140720624529568 140193717514272 140194259966053 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30733] ppid=30676 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30733/stat : 30733 (java) R 30676 30676 16473 0 -1 4202560 125 0 0 0 76 0 0 0 20 0 28 0 3997930 14133010432 80713 33554432000 4194304 4196468 140720624529568 140193718569864 140194261125966 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30734] ppid=30676 vsize=13801768 CPUtime=0.8 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30734/stat : 30734 (java) R 30676 30676 16473 0 -1 4202560 48 0 0 0 80 0 0 0 20 0 28 0 3997930 14133010432 80713 33554432000 4194304 4196468 140720624529568 140193721724416 140194258956672 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30735] ppid=30676 vsize=13801768 CPUtime=1 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30735/stat : 30735 (java) R 30676 30676 16473 0 -1 4202560 67 0 0 0 100 0 0 0 20 0 28 0 3997930 14133010432 80713 33554432000 4194304 4196468 140720624529568 140193720673736 140194260499769 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30736] ppid=30676 vsize=13801768 CPUtime=0.92 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30736/stat : 30736 (java) R 30676 30676 16473 0 -1 4202560 114 0 0 0 92 0 0 0 20 0 28 0 3997930 14133010432 80713 33554432000 4194304 4196468 140720624529568 140193724883224 140194258975058 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30737] ppid=30676 vsize=13801768 CPUtime=0.86 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30737/stat : 30737 (java) R 30676 30676 16473 0 -1 4202560 30 0 0 0 86 0 0 0 20 0 28 0 3997932 14133010432 80713 33554432000 4194304 4196468 140720624529568 140193722777992 140194259114800 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 Current children cumulated CPU time (s) 17.93 Current children cumulated vsize (KiB) 13811280 [startup+6.30091 s] /proc/loadavg: 15.31 15.18 14.43 17/301 30745 /proc/meminfo: memFree=29361300/32770624 swapFree=5736/227808 [pid=30676] ppid=30673 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30676/stat : 30676 (xcsp3-exec) S 30673 30676 16473 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3997755 9740288 345 33554432000 4194304 5098028 140728564427568 140728564425672 140548252676732 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10506240 140728564434062 140728564434272 140728564434272 140728564436971 0 /proc/30676/statm: 2378 345 289 221 0 87 0 [pid=30677] ppid=30676 vsize=13801768 CPUtime=39.51 cores=0,2,4,6,8,10,12,14 /proc/30677/stat : 30677 (java) S 30676 30676 16473 0 -1 1077944320 34661 0 0 0 3902 49 0 0 20 0 28 0 3997755 14133010432 128021 33554432000 4194304 4196468 140720624529568 140720624512112 140194615697143 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 /proc/30677/statm: 3450442 128021 3288 1 0 3437675 0 [pid=30677/tid=30678] ppid=30676 vsize=13801768 CPUtime=1.48 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30678/stat : 30678 (java) S 30676 30676 16473 0 -1 1077944384 8496 0 0 0 143 5 0 0 20 0 28 0 3997756 14133010432 128021 33554432000 4194304 4196468 140720624529568 140194619937920 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30680] ppid=30676 vsize=13801768 CPUtime=0.06 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30680/stat : 30680 (java) S 30676 30676 16473 0 -1 1077944384 166 0 0 0 4 2 0 0 20 0 28 0 3997757 14133010432 128021 33554432000 4194304 4196468 140720624529568 140194578803216 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30681] ppid=30676 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30681/stat : 30681 (java) S 30676 30676 16473 0 -1 1077944384 115 0 0 0 5 4 0 0 20 0 28 0 3997757 14133010432 128021 33554432000 4194304 4196468 140720624529568 140194214247056 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30682] ppid=30676 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30682/stat : 30682 (java) S 30676 30676 16473 0 -1 1077944384 62 0 0 0 5 3 0 0 20 0 28 0 3997757 14133010432 128021 33554432000 4194304 4196468 140720624529568 140194213194000 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30683] ppid=30676 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30683/stat : 30683 (java) S 30676 30676 16473 0 -1 1077944384 88 0 0 0 7 3 0 0 20 0 28 0 3997757 14133010432 128021 33554432000 4194304 4196468 140720624529568 140194212141456 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 ################ # More data... # ################ [pid=30677/tid=30920] ppid=30676 vsize=13801768 CPUtime=260.14 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30920/stat : 30920 (java) R 30676 30676 16473 0 -1 4202560 2250 0 0 0 26013 1 0 0 20 0 28 0 3999884 14133010432 867484 33554432000 4194304 4196468 140720624529568 140193717514200 140194253461268 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30921] ppid=30676 vsize=13801768 CPUtime=259.99 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30921/stat : 30921 (java) R 30676 30676 16473 0 -1 4202560 2228 0 0 0 25995 4 0 0 20 0 28 0 3999884 14133010432 867484 33554432000 4194304 4196468 140720624529568 140193723833168 140194256168142 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 Current children cumulated CPU time (s) 2231.45 Current children cumulated vsize (KiB) 13811280 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+303.501 s] /proc/loadavg: 11.33 14.16 14.32 17/292 31212 /proc/meminfo: memFree=22234864/32770624 swapFree=5736/256472 [pid=30676] ppid=30673 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30676/stat : 30676 (xcsp3-exec) S 30673 30676 16473 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3997755 9740288 345 33554432000 4194304 5098028 140728564427568 140728564425672 140548252676732 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10506240 140728564434062 140728564434272 140728564434272 140728564436971 0 /proc/30676/statm: 2378 345 289 221 0 87 0 [pid=30677] ppid=30676 vsize=13801768 CPUtime=2400.32 cores=0,2,4,6,8,10,12,14 /proc/30677/stat : 30677 (java) S 30676 30676 16473 0 -1 1077944320 108942 0 0 0 239817 215 0 0 20 0 28 0 3997755 14133010432 867484 33554432000 4194304 4196468 140720624529568 140720624512112 140194615697143 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 /proc/30677/statm: 3450442 867484 3289 1 0 3437675 0 [pid=30677/tid=30678] ppid=30676 vsize=13801768 CPUtime=1.5 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30678/stat : 30678 (java) S 30676 30676 16473 0 -1 1077944384 8990 0 0 0 145 5 0 0 20 0 28 0 3997756 14133010432 867484 33554432000 4194304 4196468 140720624529568 140194619937920 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30680] ppid=30676 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30680/stat : 30680 (java) S 30676 30676 16473 0 -1 1077944384 780 0 0 0 15 13 0 0 20 0 28 0 3997757 14133010432 867484 33554432000 4194304 4196468 140720624529568 140194578803216 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30681] ppid=30676 vsize=13801768 CPUtime=0.3 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30681/stat : 30681 (java) S 30676 30676 16473 0 -1 1077944384 691 0 0 0 16 14 0 0 20 0 28 0 3997757 14133010432 867484 33554432000 4194304 4196468 140720624529568 140194214247056 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30682] ppid=30676 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30682/stat : 30682 (java) S 30676 30676 16473 0 -1 1077944384 336 0 0 0 15 13 0 0 20 0 28 0 3997757 14133010432 867484 33554432000 4194304 4196468 140720624529568 140194213194000 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30683] ppid=30676 vsize=13801768 CPUtime=0.31 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30683/stat : 30683 (java) S 30676 30676 16473 0 -1 1077944384 1216 0 0 0 18 13 0 0 20 0 28 0 3997757 14133010432 867484 33554432000 4194304 4196468 140720624529568 140194212141456 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30684] ppid=30676 vsize=13801768 CPUtime=0.29 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30684/stat : 30684 (java) S 30676 30676 16473 0 -1 1077944384 1029 0 0 0 15 14 0 0 20 0 28 0 3997757 14133010432 867484 33554432000 4194304 4196468 140720624529568 140194211089424 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30685] ppid=30676 vsize=13801768 CPUtime=0.27 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30685/stat : 30685 (java) S 30676 30676 16473 0 -1 1077944384 1508 0 0 0 14 13 0 0 20 0 28 0 3997757 14133010432 867484 33554432000 4194304 4196468 140720624529568 140194210036880 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30686] ppid=30676 vsize=13801768 CPUtime=0.31 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30686/stat : 30686 (java) S 30676 30676 16473 0 -1 1077944384 1282 0 0 0 17 14 0 0 20 0 28 0 3997757 14133010432 867484 33554432000 4194304 4196468 140720624529568 140194208983824 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30687] ppid=30676 vsize=13801768 CPUtime=0.27 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30687/stat : 30687 (java) S 30676 30676 16473 0 -1 1077944384 1926 0 0 0 15 12 0 0 20 0 28 0 3997757 14133010432 867484 33554432000 4194304 4196468 140720624529568 140194207931280 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30688] ppid=30676 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30688/stat : 30688 (java) S 30676 30676 16473 0 -1 1077944384 4445 0 0 0 7 7 0 0 20 0 28 0 3997759 14133010432 867484 33554432000 4194304 4196468 140720624529568 140193742371056 140194615708290 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30689] ppid=30676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30689/stat : 30689 (java) S 30676 30676 16473 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 3997760 14133010432 867484 33554432000 4194304 4196468 140720624529568 140193741317344 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30690] ppid=30676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30690/stat : 30690 (java) S 30676 30676 16473 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 3997760 14133010432 867484 33554432000 4194304 4196468 140720624529568 140193740264192 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30691] ppid=30676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30691/stat : 30691 (java) S 30676 30676 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3997764 14133010432 867484 33554432000 4194304 4196468 140720624529568 140193739212752 140194615715739 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30692] ppid=30676 vsize=13801768 CPUtime=4.87 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30692/stat : 30692 (java) S 30676 30676 16473 0 -1 1077944384 14570 0 0 0 485 2 0 0 20 0 28 0 3997764 14133010432 867484 33554432000 4194304 4196468 140720624529568 140193738160880 140194615708290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30693] ppid=30676 vsize=13801768 CPUtime=4.1 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30693/stat : 30693 (java) S 30676 30676 16473 0 -1 1077944384 11927 0 0 0 408 2 0 0 20 0 28 0 3997764 14133010432 867484 33554432000 4194304 4196468 140720624529568 140193737108336 140194615708290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30694] ppid=30676 vsize=13801768 CPUtime=4.41 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30694/stat : 30694 (java) S 30676 30676 16473 0 -1 1077944384 12561 0 0 0 439 2 0 0 20 0 28 0 3997764 14133010432 867484 33554432000 4194304 4196468 140720624529568 140193736055280 140194615708290 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30695] ppid=30676 vsize=13801768 CPUtime=1.38 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30695/stat : 30695 (java) S 30676 30676 16473 0 -1 1077944384 10128 0 0 0 136 2 0 0 20 0 28 0 3997764 14133010432 867484 33554432000 4194304 4196468 140720624529568 140193735002736 140194615708290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30696] ppid=30676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30696/stat : 30696 (java) S 30676 30676 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3997765 14133010432 867484 33554432000 4194304 4196468 140720624529568 140193733949920 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30697] ppid=30676 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30697/stat : 30697 (java) S 30676 30676 16473 0 -1 1077944384 953 0 0 0 8 5 0 0 20 0 28 0 3997765 14133010432 867484 33554432000 4194304 4196468 140720624529568 140193732897456 140194615708290 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30914] ppid=30676 vsize=13801768 CPUtime=276.72 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30914/stat : 30914 (java) R 30676 30676 16473 0 -1 4202560 1594 0 0 0 27672 0 0 0 20 0 28 0 3999884 14133010432 867484 33554432000 4194304 4196468 140720624529568 140193720670760 140194261787169 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30915] ppid=30676 vsize=13801768 CPUtime=280.88 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30915/stat : 30915 (java) R 30676 30676 16473 0 -1 4202560 1565 0 0 0 28085 3 0 0 20 0 28 0 3999884 14133010432 867484 33554432000 4194304 4196468 140720624529568 140193718566744 140194262451750 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30916] ppid=30676 vsize=13801768 CPUtime=281.65 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30916/stat : 30916 (java) R 30676 30676 16473 0 -1 4202560 6915 0 0 0 28157 8 0 0 20 0 28 0 3999884 14133010432 867484 33554432000 4194304 4196468 140720624529568 140193719619808 140194261895469 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30917] ppid=30676 vsize=13801768 CPUtime=280.44 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30917/stat : 30917 (java) R 30676 30676 16473 0 -1 4202560 6875 0 0 0 28012 32 0 0 20 0 28 0 3999884 14133010432 867484 33554432000 4194304 4196468 140720624529568 140193724883592 140194261895186 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30918] ppid=30676 vsize=13801768 CPUtime=280.84 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30918/stat : 30918 (java) R 30676 30676 16473 0 -1 4202560 1229 0 0 0 28082 2 0 0 20 0 28 0 3999884 14133010432 867484 33554432000 4194304 4196468 140720624529568 140193721725656 140194261895478 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30919] ppid=30676 vsize=13801768 CPUtime=281.39 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30919/stat : 30919 (java) R 30676 30676 16473 0 -1 4202560 913 0 0 0 28138 1 0 0 20 0 28 0 3999884 14133010432 867484 33554432000 4194304 4196468 140720624529568 140193722777944 140194261919731 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30920] ppid=30676 vsize=13801768 CPUtime=281.33 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30920/stat : 30920 (java) R 30676 30676 16473 0 -1 4202560 2283 0 0 0 28132 1 0 0 20 0 28 0 3999884 14133010432 867484 33554432000 4194304 4196468 140720624529568 140193717514728 140194261919799 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30921] ppid=30676 vsize=13801768 CPUtime=281.16 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30921/stat : 30921 (java) R 30676 30676 16473 0 -1 4202560 2465 0 0 0 28112 4 0 0 20 0 28 0 3999884 14133010432 867484 33554432000 4194304 4196468 140720624529568 140193723830280 140194259723895 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 Current children cumulated CPU time (s) 2400.32 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 30677 sig 9 ??? kill 30676 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+303.501 s] /proc/loadavg: 11.33 14.16 14.32 17/292 31212 /proc/meminfo: memFree=22234864/32770624 swapFree=5736/256472 [pid=30676] ppid=30673 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30676/stat : 30676 (xcsp3-exec) S 30673 30676 16473 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3997755 9740288 345 33554432000 4194304 5098028 140728564427568 140728564425672 140548252676732 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10506240 140728564434062 140728564434272 140728564434272 140728564436971 0 /proc/30676/statm: 2378 345 289 221 0 87 0 [pid=30677] ppid=30676 vsize=13801768 CPUtime=2400.32 cores=0,2,4,6,8,10,12,14 /proc/30677/stat : 30677 (java) S 30676 30676 16473 0 -1 1077944320 108942 0 0 0 239817 215 0 0 20 0 28 0 3997755 14133010432 867484 33554432000 4194304 4196468 140720624529568 140720624512112 140194615697143 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 /proc/30677/statm: 3450442 867484 3289 1 0 3437675 0 [pid=30677/tid=30678] ppid=30676 vsize=13801768 CPUtime=1.5 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30678/stat : 30678 (java) S 30676 30676 16473 0 -1 1077944384 8990 0 0 0 145 5 0 0 20 0 28 0 3997756 14133010432 867484 33554432000 4194304 4196468 140720624529568 140194619937920 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30680] ppid=30676 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30680/stat : 30680 (java) S 30676 30676 16473 0 -1 1077944384 780 0 0 0 15 13 0 0 20 0 28 0 3997757 14133010432 867484 33554432000 4194304 4196468 140720624529568 140194578803216 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30681] ppid=30676 vsize=13801768 CPUtime=0.3 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30681/stat : 30681 (java) S 30676 30676 16473 0 -1 1077944384 691 0 0 0 16 14 0 0 20 0 28 0 3997757 14133010432 867484 33554432000 4194304 4196468 140720624529568 140194214247056 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30682] ppid=30676 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30682/stat : 30682 (java) S 30676 30676 16473 0 -1 1077944384 336 0 0 0 15 13 0 0 20 0 28 0 3997757 14133010432 867484 33554432000 4194304 4196468 140720624529568 140194213194000 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30683] ppid=30676 vsize=13801768 CPUtime=0.31 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30683/stat : 30683 (java) S 30676 30676 16473 0 -1 1077944384 1216 0 0 0 18 13 0 0 20 0 28 0 3997757 14133010432 867484 33554432000 4194304 4196468 140720624529568 140194212141456 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30684] ppid=30676 vsize=13801768 CPUtime=0.29 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30684/stat : 30684 (java) S 30676 30676 16473 0 -1 1077944384 1029 0 0 0 15 14 0 0 20 0 28 0 3997757 14133010432 867484 33554432000 4194304 4196468 140720624529568 140194211089424 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30685] ppid=30676 vsize=13801768 CPUtime=0.27 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30685/stat : 30685 (java) S 30676 30676 16473 0 -1 1077944384 1508 0 0 0 14 13 0 0 20 0 28 0 3997757 14133010432 867484 33554432000 4194304 4196468 140720624529568 140194210036880 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30686] ppid=30676 vsize=13801768 CPUtime=0.31 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30686/stat : 30686 (java) S 30676 30676 16473 0 -1 1077944384 1282 0 0 0 17 14 0 0 20 0 28 0 3997757 14133010432 867484 33554432000 4194304 4196468 140720624529568 140194208983824 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30687] ppid=30676 vsize=13801768 CPUtime=0.27 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30687/stat : 30687 (java) S 30676 30676 16473 0 -1 1077944384 1926 0 0 0 15 12 0 0 20 0 28 0 3997757 14133010432 867484 33554432000 4194304 4196468 140720624529568 140194207931280 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30688] ppid=30676 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30688/stat : 30688 (java) S 30676 30676 16473 0 -1 1077944384 4445 0 0 0 7 7 0 0 20 0 28 0 3997759 14133010432 867484 33554432000 4194304 4196468 140720624529568 140193742371056 140194615708290 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30689] ppid=30676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30689/stat : 30689 (java) S 30676 30676 16473 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 3997760 14133010432 867484 33554432000 4194304 4196468 140720624529568 140193741317344 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30690] ppid=30676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30690/stat : 30690 (java) S 30676 30676 16473 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 3997760 14133010432 867484 33554432000 4194304 4196468 140720624529568 140193740264192 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30691] ppid=30676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30691/stat : 30691 (java) S 30676 30676 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3997764 14133010432 867484 33554432000 4194304 4196468 140720624529568 140193739212752 140194615715739 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30692] ppid=30676 vsize=13801768 CPUtime=4.87 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30692/stat : 30692 (java) S 30676 30676 16473 0 -1 1077944384 14570 0 0 0 485 2 0 0 20 0 28 0 3997764 14133010432 867484 33554432000 4194304 4196468 140720624529568 140193738160880 140194615708290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30693] ppid=30676 vsize=13801768 CPUtime=4.1 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30693/stat : 30693 (java) S 30676 30676 16473 0 -1 1077944384 11927 0 0 0 408 2 0 0 20 0 28 0 3997764 14133010432 867484 33554432000 4194304 4196468 140720624529568 140193737108336 140194615708290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30694] ppid=30676 vsize=13801768 CPUtime=4.41 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30694/stat : 30694 (java) S 30676 30676 16473 0 -1 1077944384 12561 0 0 0 439 2 0 0 20 0 28 0 3997764 14133010432 867484 33554432000 4194304 4196468 140720624529568 140193736055280 140194615708290 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30695] ppid=30676 vsize=13801768 CPUtime=1.38 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30695/stat : 30695 (java) S 30676 30676 16473 0 -1 1077944384 10128 0 0 0 136 2 0 0 20 0 28 0 3997764 14133010432 867484 33554432000 4194304 4196468 140720624529568 140193735002736 140194615708290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30696] ppid=30676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30696/stat : 30696 (java) S 30676 30676 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3997765 14133010432 867484 33554432000 4194304 4196468 140720624529568 140193733949920 140194615707349 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30697] ppid=30676 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30697/stat : 30697 (java) S 30676 30676 16473 0 -1 1077944384 953 0 0 0 8 5 0 0 20 0 28 0 3997765 14133010432 867484 33554432000 4194304 4196468 140720624529568 140193732897456 140194615708290 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30914] ppid=30676 vsize=13801768 CPUtime=276.72 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30914/stat : 30914 (java) R 30676 30676 16473 0 -1 4202560 1594 0 0 0 27672 0 0 0 20 0 28 0 3999884 14133010432 867484 33554432000 4194304 4196468 140720624529568 140193720670760 140194261787169 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30915] ppid=30676 vsize=13801768 CPUtime=280.88 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30915/stat : 30915 (java) R 30676 30676 16473 0 -1 4202560 1565 0 0 0 28085 3 0 0 20 0 28 0 3999884 14133010432 867484 33554432000 4194304 4196468 140720624529568 140193718566744 140194262451750 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30916] ppid=30676 vsize=13801768 CPUtime=281.65 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30916/stat : 30916 (java) R 30676 30676 16473 0 -1 4202560 6915 0 0 0 28157 8 0 0 20 0 28 0 3999884 14133010432 867484 33554432000 4194304 4196468 140720624529568 140193719619808 140194261895469 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30917] ppid=30676 vsize=13801768 CPUtime=280.44 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30917/stat : 30917 (java) R 30676 30676 16473 0 -1 4202560 6875 0 0 0 28012 32 0 0 20 0 28 0 3999884 14133010432 867484 33554432000 4194304 4196468 140720624529568 140193724883592 140194261895186 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30918] ppid=30676 vsize=13801768 CPUtime=280.84 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30918/stat : 30918 (java) R 30676 30676 16473 0 -1 4202560 1229 0 0 0 28082 2 0 0 20 0 28 0 3999884 14133010432 867484 33554432000 4194304 4196468 140720624529568 140193721725656 140194261895478 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30919] ppid=30676 vsize=13801768 CPUtime=281.39 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30919/stat : 30919 (java) R 30676 30676 16473 0 -1 4202560 913 0 0 0 28138 1 0 0 20 0 28 0 3999884 14133010432 867484 33554432000 4194304 4196468 140720624529568 140193722777944 140194261919731 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30920] ppid=30676 vsize=13801768 CPUtime=281.33 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30920/stat : 30920 (java) R 30676 30676 16473 0 -1 4202560 2283 0 0 0 28132 1 0 0 20 0 28 0 3999884 14133010432 867484 33554432000 4194304 4196468 140720624529568 140193717514728 140194261919799 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 [pid=30677/tid=30921] ppid=30676 vsize=13801768 CPUtime=281.16 cores=0,2,4,6,8,10,12,14 /proc/30677/task/30921/stat : 30921 (java) R 30676 30676 16473 0 -1 4202560 2465 0 0 0 28112 4 0 0 20 0 28 0 3999884 14133010432 867484 33554432000 4194304 4196468 140720624529568 140193723830280 140194259723895 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9277440 140720624530620 140720624530796 140720624530796 140720624533455 0 Current children cumulated CPU time (s) 2400.32 Current children cumulated vsize (KiB) 13811280 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 30676 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=2102 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1051 # CPU time returned by wait4() is 0.003153 # while last known CPU time is 2400.32 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 303.512 CPU time (s): 2400.32 CPU user time (s): 2398.17 CPU system time (s): 2.15 CPU usage (%): 790.849 Max. virtual memory (cumulated for all children) (KiB): 13811280 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.002102 system time used= 0.001051 maximum resident set size= 1384 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 516 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 1 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.00372 second user time and 4.32698 second system time The end
Begin job on node114 at 2017-07-22 03:34:46 IDJOB=4246338 IDBENCH=124431 IDSOLVER=2625 FILE ID=node114/4246338-1500687286 RUNJOBID= node114-1500682387-16504 PBS_JOBID= 20623324 Free space on /tmp= 62004 MiB SOLVER NAME= choco-solver 4.0.5 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n50-k8.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-4246338-1500687286/watcher-4246338-1500687286 -o /tmp/evaluation-result-4246338-1500687286/solver-4246338-1500687286 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500682387-16504 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 2077511511 HOME/instance-4246338-1500687286.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= f0cf802901bcec45e39016390e9d5929 RANDOM SEED=2077511511 node114.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.60 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 : 1600.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.60 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 : 1600.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.60 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 : 1600.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.60 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 : 1867.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.60 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 : 1600.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.60 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 : 1600.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.60 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.60 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: 29772168 kB MemAvailable: 29834108 kB Buffers: 56268 kB Cached: 313776 kB SwapCached: 0 kB Active: 2380624 kB Inactive: 236272 kB Active(anon): 2249312 kB Inactive(anon): 8824 kB Active(file): 131312 kB Inactive(file): 227448 kB Unevictable: 5736 kB Mlocked: 5736 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8096 kB Writeback: 0 kB AnonPages: 2292644 kB Mapped: 43144 kB Shmem: 8880 kB Slab: 72036 kB SReclaimable: 38028 kB SUnreclaim: 34008 kB KernelStack: 5168 kB PageTables: 10248 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3160440 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2158592 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 61912 MiB End job on node114 at 2017-07-22 03:39:50