Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 5a (2017-07-26) | SAT (TO) | 2281 | 254.25999 | 240.00999 |
| 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 | 1344 |
| Best CPU time to get the best result obtained on this benchmark | 251.899 |
| 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.08 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4255375-1501620328.xml" -tl '264s' -p 1 -x 3 0.00/0.26 c [HOME/instance-4255375-1501620328.xml, -tl, 264s, -p, 1, -x, 3] 0.00/0.32 c simple solver 0.00/0.39 c parse instance... 0.00/0.88 c solve instance... 10.19/4.25 o 2817 10.19/4.29 o 2741 10.40/4.30 o 2720 10.40/4.31 o 2680 10.40/4.33 o 2664 10.40/4.35 o 2641 10.40/4.37 o 2584 12.91/5.33 o 2554 12.91/5.35 o 2519 36.17/25.45 o 2407 36.17/25.46 o 2393 36.17/25.49 o 2382 36.31/25.55 o 2368 36.60/25.61 o 2367 36.94/25.83 o 2360 36.94/25.83 o 2359 67.15/55.42 o 2292 68.24/56.47 o 2285 71.09/59.18 o 2281 254.26/240.00 s SATISFIABLE 254.26/240.00 v <instantiation> 254.26/240.00 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[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> 254.26/240.00 v <values>0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 76 18 67 30 79 66 25 76 78 38 10 48 53 15 70 26 37 91 62 18 59 62 26 8 59 28 75 36 24 71 93 49 82 91 50 36 89 58 36 61 21 21 74 54 96 94 46 51 10 </values> 254.26/240.00 v </instantiation> 254.26/240.00 c Unexpected resolution interruption!
OK 2281
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-4255375-1501620328/watcher-4255375-1501620328 -o /tmp/evaluation-result-4255375-1501620328/solver-4255375-1501620328 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501617179-10854 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 700607176 HOME/instance-4255375-1501620328.xml pid=13543 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.50 1.59 1.74 3/196 13546 /proc/meminfo: memFree=30674444/32770624 swapFree=0/190776 [pid=13546] ppid=13543 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/13546/stat : 13546 (runsolver) D 13543 13546 5091 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 10655862 24240128 108 18446744073709551615 4194304 4338465 140736135729296 140736135726936 139812359828183 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 28393472 140736135733341 140736135733830 140736135733830 140736135737290 0 /proc/13546/statm: 5918 108 54 36 0 2156 0 [startup+0.106751 s] /proc/loadavg: 1.50 1.59 1.74 3/196 13546 /proc/meminfo: memFree=30674444/32770624 swapFree=0/190776 [pid=13546] ppid=13543 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/13546/stat : 13546 (xcsp3-exec) S 13543 13546 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10655862 9740288 345 18446744073709551615 4194304 5098028 140727495772176 140727495770280 140287787127420 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 12828672 140727495774620 140727495774823 140727495774823 140727495778283 0 /proc/13546/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.201047 s] /proc/loadavg: 1.50 1.59 1.74 3/196 13546 /proc/meminfo: memFree=30674444/32770624 swapFree=0/190776 [pid=13546] ppid=13543 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/13546/stat : 13546 (xcsp3-exec) S 13543 13546 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10655862 9740288 345 18446744073709551615 4194304 5098028 140727495772176 140727495770280 140287787127420 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 12828672 140727495774620 140727495774823 140727495774823 140727495778283 0 /proc/13546/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.303357 s] /proc/loadavg: 1.50 1.59 1.74 3/196 13546 /proc/meminfo: memFree=30674444/32770624 swapFree=0/190776 [pid=13546] ppid=13543 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/13546/stat : 13546 (xcsp3-exec) S 13543 13546 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10655862 9740288 345 18446744073709551615 4194304 5098028 140727495772176 140727495770280 140287787127420 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 12828672 140727495774620 140727495774823 140727495774823 140727495778283 0 /proc/13546/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700397 s] /proc/loadavg: 1.50 1.59 1.74 3/196 13546 /proc/meminfo: memFree=30674444/32770624 swapFree=0/190776 [pid=13546] ppid=13543 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/13546/stat : 13546 (xcsp3-exec) S 13543 13546 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10655862 9740288 345 18446744073709551615 4194304 5098028 140727495772176 140727495770280 140287787127420 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 12828672 140727495774620 140727495774823 140727495774823 140727495778283 0 /proc/13546/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50068 s] /proc/loadavg: 1.50 1.59 1.74 5/212 13562 /proc/meminfo: memFree=30573572/32770624 swapFree=0/190776 [pid=13546] ppid=13543 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/13546/stat : 13546 (xcsp3-exec) S 13543 13546 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10655862 9740288 345 18446744073709551615 4194304 5098028 140727495772176 140727495770280 140287787127420 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 12828672 140727495774620 140727495774823 140727495774823 140727495778283 0 /proc/13546/statm: 2378 345 289 221 0 87 0 [pid=13548] ppid=13546 vsize=13980732 CPUtime=3.56 cores=1,3,5,7 /proc/13548/stat : 13548 (java) S 13546 13546 5091 0 -1 1077944320 22067 0 0 0 349 7 0 0 20 0 15 0 10655870 14316269568 34709 18446744073709551615 4194304 4196468 140736440545904 140736440528448 140381393157879 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 /proc/13548/statm: 3495183 34709 3181 1 0 3483484 0 [pid=13548/tid=13549] ppid=13546 vsize=13980732 CPUtime=1.36 cores=1,3,5,7 /proc/13548/task/13549/stat : 13549 (java) R 13546 13546 5091 0 -1 4202560 9030 0 0 0 132 4 0 0 20 0 15 0 10655870 14316269568 34709 18446744073709551615 4194304 4196468 140736440545904 140381397394376 140381028078992 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13550] ppid=13546 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/13548/task/13550/stat : 13550 (java) S 13546 13546 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10655871 14316269568 34709 18446744073709551615 4194304 4196468 140736440545904 140381350124176 140381393168085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13551] ppid=13546 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/13548/task/13551/stat : 13551 (java) S 13546 13546 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10655871 14316269568 34709 18446744073709551615 4194304 4196468 140736440545904 140381349071376 140381393168085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13552] ppid=13546 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/13548/task/13552/stat : 13552 (java) S 13546 13546 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10655871 14316269568 34709 18446744073709551615 4194304 4196468 140736440545904 140381348018576 140381393168085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13553] ppid=13546 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/13548/task/13553/stat : 13553 (java) S 13546 13546 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10655871 14316269568 34709 18446744073709551615 4194304 4196468 140736440545904 140381346965776 140381393168085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13554] ppid=13546 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/13548/task/13554/stat : 13554 (java) S 13546 13546 5091 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10655872 14316269568 34709 18446744073709551615 4194304 4196468 140736440545904 140380870794096 140381393169026 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13555] ppid=13546 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/13548/task/13555/stat : 13555 (java) S 13546 13546 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10655873 14316269568 34709 18446744073709551615 4194304 4196468 140736440545904 140380869740064 140381393168085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13556] ppid=13546 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/13548/task/13556/stat : 13556 (java) S 13546 13546 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10655873 14316269568 34709 18446744073709551615 4194304 4196468 140736440545904 140380868687216 140381393168085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13557] ppid=13546 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/13548/task/13557/stat : 13557 (java) S 13546 13546 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10655876 14316269568 34709 18446744073709551615 4194304 4196468 140736440545904 140380867635536 140381393176475 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13558] ppid=13546 vsize=13980732 CPUtime=0.79 cores=1,3,5,7 /proc/13548/task/13558/stat : 13558 (java) S 13546 13546 5091 0 -1 1077944384 4663 0 0 0 78 1 0 0 20 0 15 0 10655876 14316269568 34709 18446744073709551615 4194304 4196468 140736440545904 140380866582896 140381393169026 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13559] ppid=13546 vsize=13980732 CPUtime=0.88 cores=1,3,5,7 /proc/13548/task/13559/stat : 13559 (java) S 13546 13546 5091 0 -1 1077944384 4769 0 0 0 87 1 0 0 20 0 15 0 10655876 14316269568 34709 18446744073709551615 4194304 4196468 140736440545904 140380865530096 140381393169026 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13560] ppid=13546 vsize=13980732 CPUtime=0.5 cores=1,3,5,7 /proc/13548/task/13560/stat : 13560 (java) S 13546 13546 5091 0 -1 1077944384 2294 0 0 0 50 0 0 0 20 0 15 0 10655876 14316269568 34709 18446744073709551615 4194304 4196468 140736440545904 140380864477296 140381393169026 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13561] ppid=13546 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/13548/task/13561/stat : 13561 (java) S 13546 13546 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10655876 14316269568 34709 18446744073709551615 4194304 4196468 140736440545904 140380863424736 140381393168085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13562] ppid=13546 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/13548/task/13562/stat : 13562 (java) S 13546 13546 5091 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10655880 14316269568 34709 18446744073709551615 4194304 4196468 140736440545904 140380862373040 140381393169026 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 Current children cumulated CPU time (s) 3.56 Current children cumulated vsize (KiB) 13990244 [startup+3.1007 s] /proc/loadavg: 1.50 1.59 1.74 5/212 13562 /proc/meminfo: memFree=30501652/32770624 swapFree=0/190776 [pid=13546] ppid=13543 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/13546/stat : 13546 (xcsp3-exec) S 13543 13546 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10655862 9740288 345 18446744073709551615 4194304 5098028 140727495772176 140727495770280 140287787127420 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 12828672 140727495774620 140727495774823 140727495774823 140727495778283 0 /proc/13546/statm: 2378 345 289 221 0 87 0 [pid=13548] ppid=13546 vsize=13980732 CPUtime=8.21 cores=1,3,5,7 /proc/13548/stat : 13548 (java) S 13546 13546 5091 0 -1 1077944320 42252 0 0 0 809 12 0 0 20 0 15 0 10655870 14316269568 58240 18446744073709551615 4194304 4196468 140736440545904 140736440528448 140381393157879 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 /proc/13548/statm: 3495183 58240 3210 1 0 3483484 0 [pid=13548/tid=13549] ppid=13546 vsize=13980732 CPUtime=2.93 cores=1,3,5,7 /proc/13548/task/13549/stat : 13549 (java) R 13546 13546 5091 0 -1 4202560 10083 0 0 0 289 4 0 0 20 0 15 0 10655870 14316269568 58240 18446744073709551615 4194304 4196468 140736440545904 140381397396960 140381030468139 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13550] ppid=13546 vsize=13980732 CPUtime=0.01 cores=1,3,5,7 /proc/13548/task/13550/stat : 13550 (java) S 13546 13546 5091 0 -1 1077944384 238 0 0 0 1 0 0 0 20 0 15 0 10655871 14316269568 58240 18446744073709551615 4194304 4196468 140736440545904 140381350124176 140381393168085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13551] ppid=13546 vsize=13980732 CPUtime=0.01 cores=1,3,5,7 /proc/13548/task/13551/stat : 13551 (java) S 13546 13546 5091 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 15 0 10655871 14316269568 58240 18446744073709551615 4194304 4196468 140736440545904 140381349071376 140381393168085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13552] ppid=13546 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/13548/task/13552/stat : 13552 (java) S 13546 13546 5091 0 -1 1077944384 367 0 0 0 0 0 0 0 20 0 15 0 10655871 14316269568 58240 18446744073709551615 4194304 4196468 140736440545904 140381348018576 140381393168085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13553] ppid=13546 vsize=13980732 CPUtime=0.01 cores=1,3,5,7 /proc/13548/task/13553/stat : 13553 (java) S 13546 13546 5091 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 15 0 10655871 14316269568 58240 18446744073709551615 4194304 4196468 140736440545904 140381346965776 140381393168085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13554] ppid=13546 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/13548/task/13554/stat : 13554 (java) S 13546 13546 5091 0 -1 1077944384 145 0 0 0 0 0 0 0 20 0 15 0 10655872 14316269568 58240 18446744073709551615 4194304 4196468 140736440545904 140380870794096 140381393169026 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13555] ppid=13546 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/13548/task/13555/stat : 13555 (java) S 13546 13546 5091 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10655873 14316269568 58240 18446744073709551615 4194304 4196468 140736440545904 140380869740064 140381393168085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13556] ppid=13546 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/13548/task/13556/stat : 13556 (java) S 13546 13546 5091 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 10655873 14316269568 58240 18446744073709551615 4194304 4196468 140736440545904 140380868687216 140381393168085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13557] ppid=13546 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/13548/task/13557/stat : 13557 (java) S 13546 13546 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10655876 14316269568 58240 18446744073709551615 4194304 4196468 140736440545904 140380867635536 140381393176475 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13558] ppid=13546 vsize=13980732 CPUtime=2.2 cores=1,3,5,7 /proc/13548/task/13558/stat : 13558 (java) R 13546 13546 5091 0 -1 4202560 7179 0 0 0 219 1 0 0 20 0 15 0 10655876 14316269568 58240 18446744073709551615 4194304 4196468 140736440545904 140380866564288 140381372410514 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13559] ppid=13546 vsize=13980732 CPUtime=2.3 cores=1,3,5,7 /proc/13548/task/13559/stat : 13559 (java) R 13546 13546 5091 0 -1 4202560 19359 0 0 0 227 3 0 0 20 0 15 0 10655876 14316269568 58240 18446744073709551615 4194304 4196468 140736440545904 140380865519392 140381378267445 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13560] ppid=13546 vsize=13980732 CPUtime=0.68 cores=1,3,5,7 /proc/13548/task/13560/stat : 13560 (java) S 13546 13546 5091 0 -1 1077944384 3432 0 0 0 67 1 0 0 20 0 15 0 10655876 14316269568 58240 18446744073709551615 4194304 4196468 140736440545904 140380864477296 140381393169026 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13561] ppid=13546 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/13548/task/13561/stat : 13561 (java) S 13546 13546 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10655876 14316269568 58240 18446744073709551615 4194304 4196468 140736440545904 140380863424736 140381393168085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13562] ppid=13546 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/13548/task/13562/stat : 13562 (java) S 13546 13546 5091 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 10655880 14316269568 58240 18446744073709551615 4194304 4196468 140736440545904 140380862373040 140381393169026 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 Current children cumulated CPU time (s) 8.21 Current children cumulated vsize (KiB) 13990244 [startup+6.30071 s] /proc/loadavg: 1.62 1.62 1.75 3/212 13562 /proc/meminfo: memFree=30402812/32770624 swapFree=0/190824 [pid=13546] ppid=13543 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/13546/stat : 13546 (xcsp3-exec) S 13543 13546 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10655862 9740288 345 18446744073709551615 4194304 5098028 140727495772176 140727495770280 140287787127420 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 12828672 140727495774620 140727495774823 140727495774823 140727495778283 0 /proc/13546/statm: 2378 345 289 221 0 87 0 [pid=13548] ppid=13546 vsize=13980732 CPUtime=14.44 cores=1,3,5,7 /proc/13548/stat : 13548 (java) S 13546 13546 5091 0 -1 1077944320 43524 0 0 0 1422 22 0 0 20 0 15 0 10655870 14316269568 70462 18446744073709551615 4194304 4196468 140736440545904 140736440528448 140381393157879 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 /proc/13548/statm: 3495183 70462 3228 1 0 3483484 0 [pid=13548/tid=13549] ppid=13546 vsize=13980732 CPUtime=6.05 cores=1,3,5,7 /proc/13548/task/13549/stat : 13549 (java) R 13546 13546 5091 0 -1 4202560 10221 0 0 0 601 4 0 0 20 0 15 0 10655870 14316269568 70462 18446744073709551615 4194304 4196468 140736440545904 140381397396720 140381032056360 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13550] ppid=13546 vsize=13980732 CPUtime=0.07 cores=1,3,5,7 /proc/13548/task/13550/stat : 13550 (java) S 13546 13546 5091 0 -1 1077944384 306 0 0 0 5 2 0 0 20 0 15 0 10655871 14316269568 70462 18446744073709551615 4194304 4196468 140736440545904 140381350124176 140381393168085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13551] ppid=13546 vsize=13980732 CPUtime=0.08 cores=1,3,5,7 /proc/13548/task/13551/stat : 13551 (java) S 13546 13546 5091 0 -1 1077944384 134 0 0 0 6 2 0 0 20 0 15 0 10655871 14316269568 70462 18446744073709551615 4194304 4196468 140736440545904 140381349071376 140381393168085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13552] ppid=13546 vsize=13980732 CPUtime=0.05 cores=1,3,5,7 /proc/13548/task/13552/stat : 13552 (java) S 13546 13546 5091 0 -1 1077944384 455 0 0 0 3 2 0 0 20 0 15 0 10655871 14316269568 70462 18446744073709551615 4194304 4196468 140736440545904 140381348018576 140381393168085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13553] ppid=13546 vsize=13980732 CPUtime=0.07 cores=1,3,5,7 /proc/13548/task/13553/stat : 13553 (java) S 13546 13546 5091 0 -1 1077944384 94 0 0 0 5 2 0 0 20 0 15 0 10655871 14316269568 70462 18446744073709551615 4194304 4196468 140736440545904 140381346965776 140381393168085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13554] ppid=13546 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/13548/task/13554/stat : 13554 (java) S 13546 13546 5091 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 15 0 10655872 14316269568 70462 18446744073709551615 4194304 4196468 140736440545904 140380870794096 140381393169026 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13555] ppid=13546 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/13548/task/13555/stat : 13555 (java) S 13546 13546 5091 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10655873 14316269568 70462 18446744073709551615 4194304 4196468 140736440545904 140380869740064 140381393168085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13556] ppid=13546 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/13548/task/13556/stat : 13556 (java) S 13546 13546 5091 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 10655873 14316269568 70462 18446744073709551615 4194304 4196468 140736440545904 140380868687216 140381393168085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13557] ppid=13546 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/13548/task/13557/stat : 13557 (java) S 13546 13546 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10655876 14316269568 70462 18446744073709551615 4194304 4196468 140736440545904 140380867635536 140381393176475 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13558] ppid=13546 vsize=13980732 CPUtime=3.56 cores=1,3,5,7 /proc/13548/task/13558/stat : 13558 (java) S 13546 13546 5091 0 -1 1077944384 7403 0 0 0 355 1 0 0 20 0 15 0 10655876 14316269568 70462 18446744073709551615 4194304 4196468 140736440545904 140380866582896 140381393169026 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13559] ppid=13546 vsize=13980732 CPUtime=3.65 cores=1,3,5,7 /proc/13548/task/13559/stat : 13559 (java) S 13546 13546 5091 0 -1 1077944384 19604 0 0 0 362 3 0 0 20 0 15 0 10655876 14316269568 70462 18446744073709551615 4194304 4196468 140736440545904 140380865530096 140381393169026 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13560] ppid=13546 vsize=13980732 CPUtime=0.82 cores=1,3,5,7 /proc/13548/task/13560/stat : 13560 (java) S 13546 13546 5091 0 -1 1077944384 3734 0 0 0 81 1 0 0 20 0 15 0 10655876 14316269568 70462 18446744073709551615 4194304 4196468 140736440545904 140380864477296 140381393169026 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13561] ppid=13546 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/13548/task/13561/stat : 13561 (java) S 13546 13546 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10655876 14316269568 70462 18446744073709551615 4194304 4196468 140736440545904 140380863424736 140381393168085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13562] ppid=13546 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/13548/task/13562/stat : 13562 (java) S 13546 13546 5091 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 10655880 14316269568 70462 18446744073709551615 4194304 4196468 140736440545904 140380862373040 140381393169026 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 Current children cumulated CPU time (s) 14.44 Current children cumulated vsize (KiB) 13990244 [startup+12.7007 s] /proc/loadavg: 1.65 1.62 1.75 3/212 13562 /proc/meminfo: memFree=30233856/32770624 swapFree=0/190824 [pid=13546] ppid=13543 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/13546/stat : 13546 (xcsp3-exec) S 13543 13546 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10655862 9740288 345 18446744073709551615 4194304 5098028 140727495772176 140727495770280 140287787127420 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 12828672 140727495774620 140727495774823 140727495774823 140727495778283 0 /proc/13546/statm: 2378 345 289 221 0 87 0 [pid=13548] ppid=13546 vsize=13980732 CPUtime=22.85 cores=1,3,5,7 /proc/13548/stat : 13548 (java) S 13546 13546 5091 0 -1 1077944320 55601 0 0 0 2250 35 0 0 20 0 15 0 10655870 14316269568 112822 18446744073709551615 4194304 4196468 140736440545904 140736440528448 140381393157879 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 /proc/13548/statm: 3495183 112822 3228 1 0 3483484 0 [pid=13548/tid=13549] ppid=13546 vsize=13980732 CPUtime=12.37 cores=1,3,5,7 /proc/13548/task/13549/stat : 13549 (java) R 13546 13546 5091 0 -1 4202560 12152 0 0 0 1231 6 0 0 20 0 15 0 10655870 14316269568 112822 18446744073709551615 4194304 4196468 140736440545904 140381397394504 140381029594976 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13550] ppid=13546 vsize=13980732 CPUtime=0.15 cores=1,3,5,7 /proc/13548/task/13550/stat : 13550 (java) S 13546 13546 5091 0 -1 1077944384 521 0 0 0 11 4 0 0 20 0 15 0 10655871 14316269568 112822 18446744073709551615 4194304 4196468 140736440545904 140381350124176 140381393168085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13551] ppid=13546 vsize=13980732 CPUtime=0.16 cores=1,3,5,7 /proc/13548/task/13551/stat : 13551 (java) S 13546 13546 5091 0 -1 1077944384 248 0 0 0 12 4 0 0 20 0 15 0 10655871 14316269568 112822 18446744073709551615 4194304 4196468 140736440545904 140381349071376 140381393168085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 ################ # More data... # ################ [pid=13548/tid=13555] ppid=13546 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/13548/task/13555/stat : 13555 (java) S 13546 13546 5091 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10655873 14316269568 489139 18446744073709551615 4194304 4196468 140736440545904 140380869740064 140381393168085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13556] ppid=13546 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/13548/task/13556/stat : 13556 (java) S 13546 13546 5091 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 10655873 14316269568 489139 18446744073709551615 4194304 4196468 140736440545904 140380868687216 140381393168085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13557] ppid=13546 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/13548/task/13557/stat : 13557 (java) S 13546 13546 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10655876 14316269568 489139 18446744073709551615 4194304 4196468 140736440545904 140380867635536 140381393176475 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13558] ppid=13546 vsize=13980732 CPUtime=4.73 cores=1,3,5,7 /proc/13548/task/13558/stat : 13558 (java) S 13546 13546 5091 0 -1 1077944384 14471 0 0 0 471 2 0 0 20 0 15 0 10655876 14316269568 489139 18446744073709551615 4194304 4196468 140736440545904 140380866582896 140381393169026 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13559] ppid=13546 vsize=13980732 CPUtime=5.17 cores=1,3,5,7 /proc/13548/task/13559/stat : 13559 (java) S 13546 13546 5091 0 -1 1077944384 31251 0 0 0 513 4 0 0 20 0 15 0 10655876 14316269568 489139 18446744073709551615 4194304 4196468 140736440545904 140380865530096 140381393169026 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13560] ppid=13546 vsize=13980732 CPUtime=0.89 cores=1,3,5,7 /proc/13548/task/13560/stat : 13560 (java) S 13546 13546 5091 0 -1 1077944384 6301 0 0 0 87 2 0 0 20 0 15 0 10655876 14316269568 489139 18446744073709551615 4194304 4196468 140736440545904 140380864477296 140381393169026 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13561] ppid=13546 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/13548/task/13561/stat : 13561 (java) S 13546 13546 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10655876 14316269568 489139 18446744073709551615 4194304 4196468 140736440545904 140380863424736 140381393168085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13562] ppid=13546 vsize=13980732 CPUtime=0.05 cores=1,3,5,7 /proc/13548/task/13562/stat : 13562 (java) S 13546 13546 5091 0 -1 1077944384 574 0 0 0 2 3 0 0 20 0 15 0 10655880 14316269568 489139 18446744073709551615 4194304 4196468 140736440545904 140380862373040 140381393169026 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 Current children cumulated CPU time (s) 114.99 Current children cumulated vsize (KiB) 13990244 [startup+162.301 s] /proc/loadavg: 1.99 1.77 1.79 3/212 13566 /proc/meminfo: memFree=27000332/32770624 swapFree=0/190916 [pid=13546] ppid=13543 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/13546/stat : 13546 (xcsp3-exec) S 13543 13546 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10655862 9740288 345 18446744073709551615 4194304 5098028 140727495772176 140727495770280 140287787127420 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 12828672 140727495774620 140727495774823 140727495774823 140727495778283 0 /proc/13546/statm: 2378 345 289 221 0 87 0 [pid=13548] ppid=13546 vsize=13980732 CPUtime=175.68 cores=1,3,5,7 /proc/13548/stat : 13548 (java) S 13546 13546 5091 0 -1 1077944320 88040 0 0 0 17462 106 0 0 20 0 15 0 10655870 14316269568 481836 18446744073709551615 4194304 4196468 140736440545904 140736440528448 140381393157879 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 /proc/13548/statm: 3495183 481836 3229 1 0 3483484 0 [pid=13548/tid=13549] ppid=13546 vsize=13980732 CPUtime=161.29 cores=1,3,5,7 /proc/13548/task/13549/stat : 13549 (java) R 13546 13546 5091 0 -1 4202560 23507 0 0 0 16105 24 0 0 20 0 15 0 10655870 14316269568 481836 18446744073709551615 4194304 4196468 140736440545904 140381397397520 140381032876115 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13550] ppid=13546 vsize=13980732 CPUtime=0.82 cores=1,3,5,7 /proc/13548/task/13550/stat : 13550 (java) S 13546 13546 5091 0 -1 1077944384 1428 0 0 0 66 16 0 0 20 0 15 0 10655871 14316269568 481836 18446744073709551615 4194304 4196468 140736440545904 140381350124176 140381393168085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13551] ppid=13546 vsize=13980732 CPUtime=0.82 cores=1,3,5,7 /proc/13548/task/13551/stat : 13551 (java) S 13546 13546 5091 0 -1 1077944384 1408 0 0 0 66 16 0 0 20 0 15 0 10655871 14316269568 481836 18446744073709551615 4194304 4196468 140736440545904 140381349071376 140381393168085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13552] ppid=13546 vsize=13980732 CPUtime=0.8 cores=1,3,5,7 /proc/13548/task/13552/stat : 13552 (java) S 13546 13546 5091 0 -1 1077944384 1389 0 0 0 63 17 0 0 20 0 15 0 10655871 14316269568 481836 18446744073709551615 4194304 4196468 140736440545904 140381348018576 140381393168085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13553] ppid=13546 vsize=13980732 CPUtime=0.81 cores=1,3,5,7 /proc/13548/task/13553/stat : 13553 (java) S 13546 13546 5091 0 -1 1077944384 1817 0 0 0 65 16 0 0 20 0 15 0 10655871 14316269568 481836 18446744073709551615 4194304 4196468 140736440545904 140381346965776 140381393168085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13554] ppid=13546 vsize=13980732 CPUtime=0.01 cores=1,3,5,7 /proc/13548/task/13554/stat : 13554 (java) S 13546 13546 5091 0 -1 1077944384 1748 0 0 0 1 0 0 0 20 0 15 0 10655872 14316269568 481836 18446744073709551615 4194304 4196468 140736440545904 140380870794096 140381393169026 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13555] ppid=13546 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/13548/task/13555/stat : 13555 (java) S 13546 13546 5091 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10655873 14316269568 481836 18446744073709551615 4194304 4196468 140736440545904 140380869740064 140381393168085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13556] ppid=13546 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/13548/task/13556/stat : 13556 (java) S 13546 13546 5091 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 10655873 14316269568 481836 18446744073709551615 4194304 4196468 140736440545904 140380868687216 140381393168085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13557] ppid=13546 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/13548/task/13557/stat : 13557 (java) S 13546 13546 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10655876 14316269568 481836 18446744073709551615 4194304 4196468 140736440545904 140380867635536 140381393176475 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13558] ppid=13546 vsize=13980732 CPUtime=4.87 cores=1,3,5,7 /proc/13548/task/13558/stat : 13558 (java) S 13546 13546 5091 0 -1 1077944384 16670 0 0 0 484 3 0 0 20 0 15 0 10655876 14316269568 481836 18446744073709551615 4194304 4196468 140736440545904 140380866582896 140381393169026 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13559] ppid=13546 vsize=13980732 CPUtime=5.2 cores=1,3,5,7 /proc/13548/task/13559/stat : 13559 (java) S 13546 13546 5091 0 -1 1077944384 31395 0 0 0 516 4 0 0 20 0 15 0 10655876 14316269568 481836 18446744073709551615 4194304 4196468 140736440545904 140380865530096 140381393169026 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13560] ppid=13546 vsize=13980732 CPUtime=0.9 cores=1,3,5,7 /proc/13548/task/13560/stat : 13560 (java) S 13546 13546 5091 0 -1 1077944384 6396 0 0 0 88 2 0 0 20 0 15 0 10655876 14316269568 481836 18446744073709551615 4194304 4196468 140736440545904 140380864477296 140381393169026 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13561] ppid=13546 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/13548/task/13561/stat : 13561 (java) S 13546 13546 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10655876 14316269568 481836 18446744073709551615 4194304 4196468 140736440545904 140380863424736 140381393168085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13562] ppid=13546 vsize=13980732 CPUtime=0.08 cores=1,3,5,7 /proc/13548/task/13562/stat : 13562 (java) S 13546 13546 5091 0 -1 1077944384 931 0 0 0 3 5 0 0 20 0 15 0 10655880 14316269568 481836 18446744073709551615 4194304 4196468 140736440545904 140380862373040 140381393169026 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 Current children cumulated CPU time (s) 175.68 Current children cumulated vsize (KiB) 13990244 [startup+222.307 s] /proc/loadavg: 1.97 1.81 1.80 3/211 13722 /proc/meminfo: memFree=29788996/32770624 swapFree=0/191024 [pid=13546] ppid=13543 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/13546/stat : 13546 (xcsp3-exec) S 13543 13546 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10655862 9740288 345 18446744073709551615 4194304 5098028 140727495772176 140727495770280 140287787127420 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 12828672 140727495774620 140727495774823 140727495774823 140727495778283 0 /proc/13546/statm: 2378 345 289 221 0 87 0 [pid=13548] ppid=13546 vsize=13980732 CPUtime=236.38 cores=1,3,5,7 /proc/13548/stat : 13548 (java) S 13546 13546 5091 0 -1 1077944320 96104 0 0 0 23525 113 0 0 20 0 15 0 10655870 14316269568 482845 18446744073709551615 4194304 4196468 140736440545904 140736440528448 140381393157879 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 /proc/13548/statm: 3495183 482845 3229 1 0 3483484 0 [pid=13548/tid=13549] ppid=13546 vsize=13980732 CPUtime=221.13 cores=1,3,5,7 /proc/13548/task/13549/stat : 13549 (java) R 13546 13546 5091 0 -1 4202560 26722 0 0 0 22088 25 0 0 20 0 15 0 10655870 14316269568 482845 18446744073709551615 4194304 4196468 140736440545904 140381397397392 140381029596261 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13550] ppid=13546 vsize=13980732 CPUtime=0.99 cores=1,3,5,7 /proc/13548/task/13550/stat : 13550 (java) S 13546 13546 5091 0 -1 1077944384 1658 0 0 0 82 17 0 0 20 0 15 0 10655871 14316269568 482845 18446744073709551615 4194304 4196468 140736440545904 140381350124176 140381393168085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13551] ppid=13546 vsize=13980732 CPUtime=0.99 cores=1,3,5,7 /proc/13548/task/13551/stat : 13551 (java) S 13546 13546 5091 0 -1 1077944384 1629 0 0 0 82 17 0 0 20 0 15 0 10655871 14316269568 482845 18446744073709551615 4194304 4196468 140736440545904 140381349071376 140381393168085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13552] ppid=13546 vsize=13980732 CPUtime=0.97 cores=1,3,5,7 /proc/13548/task/13552/stat : 13552 (java) S 13546 13546 5091 0 -1 1077944384 1789 0 0 0 79 18 0 0 20 0 15 0 10655871 14316269568 482845 18446744073709551615 4194304 4196468 140736440545904 140381348018576 140381393168085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13553] ppid=13546 vsize=13980732 CPUtime=0.98 cores=1,3,5,7 /proc/13548/task/13553/stat : 13553 (java) S 13546 13546 5091 0 -1 1077944384 1970 0 0 0 81 17 0 0 20 0 15 0 10655871 14316269568 482845 18446744073709551615 4194304 4196468 140736440545904 140381346965776 140381393168085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13554] ppid=13546 vsize=13980732 CPUtime=0.02 cores=1,3,5,7 /proc/13548/task/13554/stat : 13554 (java) S 13546 13546 5091 0 -1 1077944384 1950 0 0 0 1 1 0 0 20 0 15 0 10655872 14316269568 482845 18446744073709551615 4194304 4196468 140736440545904 140380870794096 140381393169026 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13555] ppid=13546 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/13548/task/13555/stat : 13555 (java) S 13546 13546 5091 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10655873 14316269568 482845 18446744073709551615 4194304 4196468 140736440545904 140380869740064 140381393168085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13556] ppid=13546 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/13548/task/13556/stat : 13556 (java) S 13546 13546 5091 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 10655873 14316269568 482845 18446744073709551615 4194304 4196468 140736440545904 140380868687216 140381393168085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13557] ppid=13546 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/13548/task/13557/stat : 13557 (java) S 13546 13546 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10655876 14316269568 482845 18446744073709551615 4194304 4196468 140736440545904 140380867635536 140381393176475 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13558] ppid=13546 vsize=13980732 CPUtime=4.9 cores=1,3,5,7 /proc/13548/task/13558/stat : 13558 (java) S 13546 13546 5091 0 -1 1077944384 17126 0 0 0 487 3 0 0 20 0 15 0 10655876 14316269568 482845 18446744073709551615 4194304 4196468 140736440545904 140380866582896 140381393169026 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13559] ppid=13546 vsize=13980732 CPUtime=5.31 cores=1,3,5,7 /proc/13548/task/13559/stat : 13559 (java) S 13546 13546 5091 0 -1 1077944384 33920 0 0 0 527 4 0 0 20 0 15 0 10655876 14316269568 482845 18446744073709551615 4194304 4196468 140736440545904 140380865530096 140381393169026 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13560] ppid=13546 vsize=13980732 CPUtime=0.91 cores=1,3,5,7 /proc/13548/task/13560/stat : 13560 (java) S 13546 13546 5091 0 -1 1077944384 7027 0 0 0 89 2 0 0 20 0 15 0 10655876 14316269568 482845 18446744073709551615 4194304 4196468 140736440545904 140380864477296 140381393169026 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13561] ppid=13546 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/13548/task/13561/stat : 13561 (java) S 13546 13546 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10655876 14316269568 482845 18446744073709551615 4194304 4196468 140736440545904 140380863424736 140381393168085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13562] ppid=13546 vsize=13980732 CPUtime=0.11 cores=1,3,5,7 /proc/13548/task/13562/stat : 13562 (java) S 13546 13546 5091 0 -1 1077944384 962 0 0 0 4 7 0 0 20 0 15 0 10655880 14316269568 482845 18446744073709551615 4194304 4196468 140736440545904 140380862373040 140381393169026 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 Current children cumulated CPU time (s) 236.38 Current children cumulated vsize (KiB) 13990244 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+240.001 s] /proc/loadavg: 1.91 1.81 1.80 3/211 13723 /proc/meminfo: memFree=29820188/32770624 swapFree=0/191032 [pid=13546] ppid=13543 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/13546/stat : 13546 (xcsp3-exec) S 13543 13546 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10655862 9740288 345 18446744073709551615 4194304 5098028 140727495772176 140727495770280 140287787127420 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 12828672 140727495774620 140727495774823 140727495774823 140727495778283 0 /proc/13546/statm: 2378 345 289 221 0 87 0 [pid=13548] ppid=13546 vsize=13980732 CPUtime=254.26 cores=1,3,5,7 /proc/13548/stat : 13548 (java) S 13546 13546 5091 0 -1 1077944320 97099 0 0 0 25310 116 0 0 20 0 15 0 10655870 14316269568 477961 18446744073709551615 4194304 4196468 140736440545904 140736440528448 140381393157879 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 /proc/13548/statm: 3495183 477961 3229 1 0 3483484 0 [pid=13548/tid=13549] ppid=13546 vsize=13980732 CPUtime=238.76 cores=1,3,5,7 /proc/13548/task/13549/stat : 13549 (java) R 13546 13546 5091 0 -1 4202560 27542 0 0 0 23851 25 0 0 20 0 15 0 10655870 14316269568 477961 18446744073709551615 4194304 4196468 140736440545904 140381397397056 140381032585835 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13550] ppid=13546 vsize=13980732 CPUtime=1.04 cores=1,3,5,7 /proc/13548/task/13550/stat : 13550 (java) S 13546 13546 5091 0 -1 1077944384 1680 0 0 0 87 17 0 0 20 0 15 0 10655871 14316269568 477961 18446744073709551615 4194304 4196468 140736440545904 140381350124176 140381393168085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13551] ppid=13546 vsize=13980732 CPUtime=1.05 cores=1,3,5,7 /proc/13548/task/13551/stat : 13551 (java) S 13546 13546 5091 0 -1 1077944384 1659 0 0 0 87 18 0 0 20 0 15 0 10655871 14316269568 477961 18446744073709551615 4194304 4196468 140736440545904 140381349071376 140381393168085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13552] ppid=13546 vsize=13980732 CPUtime=1.03 cores=1,3,5,7 /proc/13548/task/13552/stat : 13552 (java) S 13546 13546 5091 0 -1 1077944384 1829 0 0 0 84 19 0 0 20 0 15 0 10655871 14316269568 477961 18446744073709551615 4194304 4196468 140736440545904 140381348018576 140381393168085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13553] ppid=13546 vsize=13980732 CPUtime=1.04 cores=1,3,5,7 /proc/13548/task/13553/stat : 13553 (java) S 13546 13546 5091 0 -1 1077944384 2004 0 0 0 86 18 0 0 20 0 15 0 10655871 14316269568 477961 18446744073709551615 4194304 4196468 140736440545904 140381346965776 140381393168085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13554] ppid=13546 vsize=13980732 CPUtime=0.02 cores=1,3,5,7 /proc/13548/task/13554/stat : 13554 (java) S 13546 13546 5091 0 -1 1077944384 1959 0 0 0 1 1 0 0 20 0 15 0 10655872 14316269568 477961 18446744073709551615 4194304 4196468 140736440545904 140380870794096 140381393169026 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13555] ppid=13546 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/13548/task/13555/stat : 13555 (java) S 13546 13546 5091 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10655873 14316269568 477961 18446744073709551615 4194304 4196468 140736440545904 140380869740064 140381393168085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13556] ppid=13546 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/13548/task/13556/stat : 13556 (java) S 13546 13546 5091 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 10655873 14316269568 477961 18446744073709551615 4194304 4196468 140736440545904 140380868687216 140381393168085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13557] ppid=13546 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/13548/task/13557/stat : 13557 (java) S 13546 13546 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10655876 14316269568 477961 18446744073709551615 4194304 4196468 140736440545904 140380867635536 140381393176475 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13558] ppid=13546 vsize=13980732 CPUtime=4.9 cores=1,3,5,7 /proc/13548/task/13558/stat : 13558 (java) S 13546 13546 5091 0 -1 1077944384 17130 0 0 0 487 3 0 0 20 0 15 0 10655876 14316269568 477961 18446744073709551615 4194304 4196468 140736440545904 140380866582896 140381393169026 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13559] ppid=13546 vsize=13980732 CPUtime=5.31 cores=1,3,5,7 /proc/13548/task/13559/stat : 13559 (java) S 13546 13546 5091 0 -1 1077944384 33923 0 0 0 527 4 0 0 20 0 15 0 10655876 14316269568 477961 18446744073709551615 4194304 4196468 140736440545904 140380865530096 140381393169026 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13560] ppid=13546 vsize=13980732 CPUtime=0.91 cores=1,3,5,7 /proc/13548/task/13560/stat : 13560 (java) S 13546 13546 5091 0 -1 1077944384 7036 0 0 0 89 2 0 0 20 0 15 0 10655876 14316269568 477961 18446744073709551615 4194304 4196468 140736440545904 140380864477296 140381393169026 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13561] ppid=13546 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/13548/task/13561/stat : 13561 (java) S 13546 13546 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10655876 14316269568 477961 18446744073709551615 4194304 4196468 140736440545904 140380863424736 140381393168085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 [pid=13548/tid=13562] ppid=13546 vsize=13980732 CPUtime=0.11 cores=1,3,5,7 /proc/13548/task/13562/stat : 13562 (java) S 13546 13546 5091 0 -1 1077944384 986 0 0 0 4 7 0 0 20 0 15 0 10655880 14316269568 477961 18446744073709551615 4194304 4196468 140736440545904 140380862373040 140381393169026 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30593024 140736440549844 140736440550019 140736440550019 140736440553423 0 Current children cumulated CPU time (s) 254.26 Current children cumulated vsize (KiB) 13990244 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 13548 sig 9 ??? kill 13546 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 13546 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=1859 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=122 # CPU time returned by wait4() is 0.001981 # while last known CPU time is 254.26 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 240.01 CPU time (s): 254.26 CPU user time (s): 253.1 CPU system time (s): 1.16 CPU usage (%): 105.937 Max. virtual memory (cumulated for all children) (KiB): 13990244 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.001859 system time used= 0.000122 maximum resident set size= 1384 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 510 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 1 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.00314 second user time and 1.59127 second system time The end
Begin job on node129 at 2017-08-01 22:31:28 IDJOB=4255375 IDBENCH=124431 IDSOLVER=2637 FILE ID=node129/4255375-1501620328 RUNJOBID= node129-1501617179-10854 PBS_JOBID= Free space on /tmp= 61768 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n50-k8.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4255375-1501620328/watcher-4255375-1501620328 -o /tmp/evaluation-result-4255375-1501620328/solver-4255375-1501620328 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501617179-10854 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 700607176 HOME/instance-4255375-1501620328.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f0cf802901bcec45e39016390e9d5929 RANDOM SEED=700607176 node129.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30674524 kB MemAvailable: 30744652 kB Buffers: 96436 kB Cached: 258016 kB SwapCached: 0 kB Active: 1496696 kB Inactive: 199308 kB Active(anon): 1341760 kB Inactive(anon): 8532 kB Active(file): 154936 kB Inactive(file): 190776 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7812 kB Writeback: 0 kB AnonPages: 1298696 kB Mapped: 42132 kB Shmem: 8872 kB Slab: 105236 kB SReclaimable: 80504 kB SUnreclaim: 24732 kB KernelStack: 3664 kB PageTables: 7536 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2863816 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1189888 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61760 MiB End job on node129 at 2017-08-01 22:35:28