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) | 2681 | 256.59 | 240.00999 |
| Name | Vrp/Vrp-zinc-s1/ Vrp-A-n48-k7.xml |
| MD5SUM | 45202abbf2fd4260704b0005edccc47f |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 1215 |
| Best CPU time to get the best result obtained on this benchmark | 251.95799 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2352 |
| Number of constraints | 2303 |
| Number of domains | 3 |
| Minimum domain size | 1 |
| Maximum domain size | 101 |
| Distribution of domain sizes | [{"size":1,"count":48},{"size":2,"count":2256},{"size":101,"count":47}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 93 |
| Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":48},{"degree":2,"count":94},{"degree":4,"count":2162},{"degree":93,"count":47}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 47 |
| Distribution of constraint arities | [{"arity":1,"count":47},{"arity":3,"count":2162},{"arity":47,"count":94}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 47 |
| Distribution of constraint types | [{"type":"intension","count":47},{"type":"sum","count":2162},{"type":"count","count":94}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.06 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4255369-1501620185.xml" -tl '264s' -p 1 -x 3 0.00/0.24 c [HOME/instance-4255369-1501620185.xml, -tl, 264s, -p, 1, -x, 3] 0.00/0.30 c simple solver 0.00/0.37 c parse instance... 0.00/0.85 c solve instance... 10.67/4.13 o 2922 10.67/4.15 o 2901 10.67/4.17 o 2856 10.97/4.21 o 2824 10.97/4.23 o 2813 10.97/4.26 o 2771 10.97/4.27 o 2728 11.28/4.30 o 2717 11.28/4.32 o 2704 11.60/4.46 o 2698 11.90/4.51 o 2681 256.59/240.00 s SATISFIABLE 256.59/240.00 v <instantiation> 256.59/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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] </list> 256.59/240.00 v <values>0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 29 92 5 73 86 48 23 46 15 73 68 51 9 21 33 47 88 64 74 100 8 53 45 23 29 86 15 23 25 10 75 28 28 31 13 78 54 41 16 25 14 33 58 58 62 86 41 </values> 256.59/240.00 v </instantiation> 256.59/240.00 c Unexpected resolution interruption!
OK 2681
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-4255369-1501620185/watcher-4255369-1501620185 -o /tmp/evaluation-result-4255369-1501620185/solver-4255369-1501620185 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501616951-11514 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1490557137 HOME/instance-4255369-1501620185.xml pid=21333 running on 4 cores: 0,2,4,6 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.80 1.78 1.84 2/200 21336 /proc/meminfo: memFree=31023064/32770624 swapFree=0/289104 [pid=21336] ppid=21333 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/21336/stat : 21336 (runsolver) D 21333 21336 5234 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9524280 24240128 108 18446744073709551615 4194304 4338465 140729720528384 140729720526024 139967557784279 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 31858688 140729720537180 140729720537670 140729720537670 140729720541130 0 /proc/21336/statm: 5918 108 54 36 0 2156 0 [startup+0.100198 s] /proc/loadavg: 1.80 1.78 1.84 2/200 21336 /proc/meminfo: memFree=31023064/32770624 swapFree=0/289104 [pid=21336] ppid=21333 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/21336/stat : 21336 (xcsp3-exec) S 21333 21336 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9524280 9740288 345 18446744073709551615 4194304 5098028 140730893873872 140730893871976 140299675017852 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 31399936 140730893877659 140730893877863 140730893877863 140730893881323 0 /proc/21336/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200408 s] /proc/loadavg: 1.80 1.78 1.84 2/200 21336 /proc/meminfo: memFree=31023064/32770624 swapFree=0/289104 [pid=21336] ppid=21333 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/21336/stat : 21336 (xcsp3-exec) S 21333 21336 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9524280 9740288 345 18446744073709551615 4194304 5098028 140730893873872 140730893871976 140299675017852 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 31399936 140730893877659 140730893877863 140730893877863 140730893881323 0 /proc/21336/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.304724 s] /proc/loadavg: 1.80 1.78 1.84 2/200 21336 /proc/meminfo: memFree=31023064/32770624 swapFree=0/289104 [pid=21336] ppid=21333 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/21336/stat : 21336 (xcsp3-exec) S 21333 21336 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9524280 9740288 345 18446744073709551615 4194304 5098028 140730893873872 140730893871976 140299675017852 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 31399936 140730893877659 140730893877863 140730893877863 140730893881323 0 /proc/21336/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700931 s] /proc/loadavg: 1.80 1.78 1.84 2/200 21336 /proc/meminfo: memFree=31023064/32770624 swapFree=0/289104 [pid=21336] ppid=21333 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/21336/stat : 21336 (xcsp3-exec) S 21333 21336 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9524280 9740288 345 18446744073709551615 4194304 5098028 140730893873872 140730893871976 140299675017852 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 31399936 140730893877659 140730893877863 140730893877863 140730893881323 0 /proc/21336/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50073 s] /proc/loadavg: 1.80 1.78 1.84 5/216 21352 /proc/meminfo: memFree=30920496/32770624 swapFree=0/289372 [pid=21336] ppid=21333 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/21336/stat : 21336 (xcsp3-exec) S 21333 21336 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9524280 9740288 345 18446744073709551615 4194304 5098028 140730893873872 140730893871976 140299675017852 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 31399936 140730893877659 140730893877863 140730893877863 140730893881323 0 /proc/21336/statm: 2378 345 289 221 0 87 0 [pid=21338] ppid=21336 vsize=13980732 CPUtime=3.67 cores=0,2,4,6 /proc/21338/stat : 21338 (java) S 21336 21336 5234 0 -1 1077944320 21531 0 0 0 361 6 0 0 20 0 15 0 9524286 14316269568 34294 18446744073709551615 4194304 4196468 140730075309552 140730075292096 140254799396599 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 /proc/21338/statm: 3495183 34294 3182 1 0 3483484 0 [pid=21338/tid=21339] ppid=21336 vsize=13980732 CPUtime=1.38 cores=0,2,4,6 /proc/21338/task/21339/stat : 21339 (java) R 21336 21336 5234 0 -1 4202560 8858 0 0 0 134 4 0 0 20 0 15 0 9524286 14316269568 34294 18446744073709551615 4194304 4196468 140730075309552 140254803632792 140254393537252 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21340] ppid=21336 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21338/task/21340/stat : 21340 (java) S 21336 21336 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9524287 14316269568 34294 18446744073709551615 4194304 4196468 140730075309552 140254718811024 140254799406805 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21341] ppid=21336 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21338/task/21341/stat : 21341 (java) S 21336 21336 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9524287 14316269568 34294 18446744073709551615 4194304 4196468 140730075309552 140254717758224 140254799406805 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21342] ppid=21336 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21338/task/21342/stat : 21342 (java) S 21336 21336 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9524287 14316269568 34294 18446744073709551615 4194304 4196468 140730075309552 140254716705936 140254799406805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21343] ppid=21336 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21338/task/21343/stat : 21343 (java) S 21336 21336 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9524287 14316269568 34294 18446744073709551615 4194304 4196468 140730075309552 140254715653136 140254799406805 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21344] ppid=21336 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21338/task/21344/stat : 21344 (java) S 21336 21336 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9524288 14316269568 34294 18446744073709551615 4194304 4196468 140730075309552 140253984417904 140254799407746 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21345] ppid=21336 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21338/task/21345/stat : 21345 (java) S 21336 21336 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9524289 14316269568 34294 18446744073709551615 4194304 4196468 140730075309552 140253983363872 140254799406805 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21346] ppid=21336 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21338/task/21346/stat : 21346 (java) S 21336 21336 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9524289 14316269568 34294 18446744073709551615 4194304 4196468 140730075309552 140253982311536 140254799406805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21347] ppid=21336 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21338/task/21347/stat : 21347 (java) S 21336 21336 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9524292 14316269568 34294 18446744073709551615 4194304 4196468 140730075309552 140253981259856 140254799415195 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21348] ppid=21336 vsize=13980732 CPUtime=0.87 cores=0,2,4,6 /proc/21338/task/21348/stat : 21348 (java) S 21336 21336 5234 0 -1 1077944384 4052 0 0 0 87 0 0 0 20 0 15 0 9524292 14316269568 34294 18446744073709551615 4194304 4196468 140730075309552 140253980207728 140254799407746 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21349] ppid=21336 vsize=13980732 CPUtime=0.89 cores=0,2,4,6 /proc/21338/task/21349/stat : 21349 (java) S 21336 21336 5234 0 -1 1077944384 5155 0 0 0 89 0 0 0 20 0 15 0 9524292 14316269568 34294 18446744073709551615 4194304 4196468 140730075309552 140253979154928 140254799407746 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21350] ppid=21336 vsize=13980732 CPUtime=0.49 cores=0,2,4,6 /proc/21338/task/21350/stat : 21350 (java) S 21336 21336 5234 0 -1 1077944384 2157 0 0 0 49 0 0 0 20 0 15 0 9524292 14316269568 34294 18446744073709551615 4194304 4196468 140730075309552 140253978102640 140254799407746 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21351] ppid=21336 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21338/task/21351/stat : 21351 (java) S 21336 21336 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9524292 14316269568 34294 18446744073709551615 4194304 4196468 140730075309552 140253977050080 140254799406805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21352] ppid=21336 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21338/task/21352/stat : 21352 (java) S 21336 21336 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9524296 14316269568 34294 18446744073709551615 4194304 4196468 140730075309552 140253975996848 140254799407746 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 Current children cumulated CPU time (s) 3.67 Current children cumulated vsize (KiB) 13990244 [startup+3.10078 s] /proc/loadavg: 2.06 1.83 1.86 5/216 21352 /proc/meminfo: memFree=30846340/32770624 swapFree=0/289372 [pid=21336] ppid=21333 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/21336/stat : 21336 (xcsp3-exec) S 21333 21336 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9524280 9740288 345 18446744073709551615 4194304 5098028 140730893873872 140730893871976 140299675017852 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 31399936 140730893877659 140730893877863 140730893877863 140730893881323 0 /proc/21336/statm: 2378 345 289 221 0 87 0 [pid=21338] ppid=21336 vsize=13980732 CPUtime=8.3 cores=0,2,4,6 /proc/21338/stat : 21338 (java) S 21336 21336 5234 0 -1 1077944320 29456 0 0 0 820 10 0 0 20 0 15 0 9524286 14316269568 53794 18446744073709551615 4194304 4196468 140730075309552 140730075292096 140254799396599 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 /proc/21338/statm: 3495183 53794 3219 1 0 3483484 0 [pid=21338/tid=21339] ppid=21336 vsize=13980732 CPUtime=2.95 cores=0,2,4,6 /proc/21338/task/21339/stat : 21339 (java) R 21336 21336 5234 0 -1 4202560 9847 0 0 0 290 5 0 0 20 0 15 0 9524286 14316269568 53794 18446744073709551615 4194304 4196468 140730075309552 140254803635488 140254395874126 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21340] ppid=21336 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21338/task/21340/stat : 21340 (java) S 21336 21336 5234 0 -1 1077944384 246 0 0 0 0 0 0 0 20 0 15 0 9524287 14316269568 53794 18446744073709551615 4194304 4196468 140730075309552 140254718811024 140254799406805 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21341] ppid=21336 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21338/task/21341/stat : 21341 (java) S 21336 21336 5234 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 9524287 14316269568 53794 18446744073709551615 4194304 4196468 140730075309552 140254717758224 140254799406805 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21342] ppid=21336 vsize=13980732 CPUtime=0.01 cores=0,2,4,6 /proc/21338/task/21342/stat : 21342 (java) S 21336 21336 5234 0 -1 1077944384 650 0 0 0 1 0 0 0 20 0 15 0 9524287 14316269568 53794 18446744073709551615 4194304 4196468 140730075309552 140254716705936 140254799406805 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21343] ppid=21336 vsize=13980732 CPUtime=0.02 cores=0,2,4,6 /proc/21338/task/21343/stat : 21343 (java) S 21336 21336 5234 0 -1 1077944384 79 0 0 0 2 0 0 0 20 0 15 0 9524287 14316269568 53794 18446744073709551615 4194304 4196468 140730075309552 140254715653136 140254799406805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21344] ppid=21336 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21338/task/21344/stat : 21344 (java) S 21336 21336 5234 0 -1 1077944384 271 0 0 0 0 0 0 0 20 0 15 0 9524288 14316269568 53794 18446744073709551615 4194304 4196468 140730075309552 140253984417904 140254799407746 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21345] ppid=21336 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21338/task/21345/stat : 21345 (java) S 21336 21336 5234 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 9524289 14316269568 53794 18446744073709551615 4194304 4196468 140730075309552 140253983363872 140254799406805 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21346] ppid=21336 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21338/task/21346/stat : 21346 (java) S 21336 21336 5234 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 9524289 14316269568 53794 18446744073709551615 4194304 4196468 140730075309552 140253982311536 140254799406805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21347] ppid=21336 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21338/task/21347/stat : 21347 (java) S 21336 21336 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9524292 14316269568 53794 18446744073709551615 4194304 4196468 140730075309552 140253981259856 140254799415195 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21348] ppid=21336 vsize=13980732 CPUtime=2.18 cores=0,2,4,6 /proc/21338/task/21348/stat : 21348 (java) S 21336 21336 5234 0 -1 1077944384 5855 0 0 0 218 0 0 0 20 0 15 0 9524292 14316269568 53794 18446744073709551615 4194304 4196468 140730075309552 140253980207728 140254799407746 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21349] ppid=21336 vsize=13980732 CPUtime=2.37 cores=0,2,4,6 /proc/21338/task/21349/stat : 21349 (java) S 21336 21336 5234 0 -1 1077944384 7630 0 0 0 236 1 0 0 20 0 15 0 9524292 14316269568 53794 18446744073709551615 4194304 4196468 140730075309552 140253979154928 140254799407746 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21350] ppid=21336 vsize=13980732 CPUtime=0.69 cores=0,2,4,6 /proc/21338/task/21350/stat : 21350 (java) S 21336 21336 5234 0 -1 1077944384 3509 0 0 0 68 1 0 0 20 0 15 0 9524292 14316269568 53794 18446744073709551615 4194304 4196468 140730075309552 140253978102640 140254799407746 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21351] ppid=21336 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21338/task/21351/stat : 21351 (java) S 21336 21336 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9524292 14316269568 53794 18446744073709551615 4194304 4196468 140730075309552 140253977050080 140254799406805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21352] ppid=21336 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21338/task/21352/stat : 21352 (java) S 21336 21336 5234 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 9524296 14316269568 53794 18446744073709551615 4194304 4196468 140730075309552 140253975996848 140254799407746 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 Current children cumulated CPU time (s) 8.3 Current children cumulated vsize (KiB) 13990244 [startup+6.30069 s] /proc/loadavg: 2.06 1.83 1.86 3/216 21352 /proc/meminfo: memFree=30720132/32770624 swapFree=0/289384 [pid=21336] ppid=21333 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/21336/stat : 21336 (xcsp3-exec) S 21333 21336 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9524280 9740288 345 18446744073709551615 4194304 5098028 140730893873872 140730893871976 140299675017852 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 31399936 140730893877659 140730893877863 140730893877863 140730893881323 0 /proc/21336/statm: 2378 345 289 221 0 87 0 [pid=21338] ppid=21336 vsize=13980732 CPUtime=15.32 cores=0,2,4,6 /proc/21338/stat : 21338 (java) S 21336 21336 5234 0 -1 1077944320 39982 0 0 0 1512 20 0 0 20 0 15 0 9524286 14316269568 85733 18446744073709551615 4194304 4196468 140730075309552 140730075292096 140254799396599 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 /proc/21338/statm: 3495183 85733 3225 1 0 3483484 0 [pid=21338/tid=21339] ppid=21336 vsize=13980732 CPUtime=6.1 cores=0,2,4,6 /proc/21338/task/21339/stat : 21339 (java) R 21336 21336 5234 0 -1 4202560 10126 0 0 0 604 6 0 0 20 0 15 0 9524286 14316269568 85733 18446744073709551615 4194304 4196468 140730075309552 140254803632992 140254395073021 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21340] ppid=21336 vsize=13980732 CPUtime=0.05 cores=0,2,4,6 /proc/21338/task/21340/stat : 21340 (java) S 21336 21336 5234 0 -1 1077944384 305 0 0 0 3 2 0 0 20 0 15 0 9524287 14316269568 85733 18446744073709551615 4194304 4196468 140730075309552 140254718811024 140254799406805 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21341] ppid=21336 vsize=13980732 CPUtime=0.04 cores=0,2,4,6 /proc/21338/task/21341/stat : 21341 (java) S 21336 21336 5234 0 -1 1077944384 78 0 0 0 3 1 0 0 20 0 15 0 9524287 14316269568 85733 18446744073709551615 4194304 4196468 140730075309552 140254717758224 140254799406805 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21342] ppid=21336 vsize=13980732 CPUtime=0.05 cores=0,2,4,6 /proc/21338/task/21342/stat : 21342 (java) S 21336 21336 5234 0 -1 1077944384 731 0 0 0 3 2 0 0 20 0 15 0 9524287 14316269568 85733 18446744073709551615 4194304 4196468 140730075309552 140254716705936 140254799406805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21343] ppid=21336 vsize=13980732 CPUtime=0.06 cores=0,2,4,6 /proc/21338/task/21343/stat : 21343 (java) S 21336 21336 5234 0 -1 1077944384 135 0 0 0 4 2 0 0 20 0 15 0 9524287 14316269568 85733 18446744073709551615 4194304 4196468 140730075309552 140254715653136 140254799406805 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21344] ppid=21336 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21338/task/21344/stat : 21344 (java) S 21336 21336 5234 0 -1 1077944384 272 0 0 0 0 0 0 0 20 0 15 0 9524288 14316269568 85733 18446744073709551615 4194304 4196468 140730075309552 140253984417904 140254799407746 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21345] ppid=21336 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21338/task/21345/stat : 21345 (java) S 21336 21336 5234 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 9524289 14316269568 85733 18446744073709551615 4194304 4196468 140730075309552 140253983363936 140254799406805 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21346] ppid=21336 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21338/task/21346/stat : 21346 (java) S 21336 21336 5234 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 9524289 14316269568 85733 18446744073709551615 4194304 4196468 140730075309552 140253982311552 140254799406805 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21347] ppid=21336 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21338/task/21347/stat : 21347 (java) S 21336 21336 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9524292 14316269568 85733 18446744073709551615 4194304 4196468 140730075309552 140253981259856 140254799415195 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21348] ppid=21336 vsize=13980732 CPUtime=3.98 cores=0,2,4,6 /proc/21338/task/21348/stat : 21348 (java) S 21336 21336 5234 0 -1 1077944384 10189 0 0 0 397 1 0 0 20 0 15 0 9524292 14316269568 85733 18446744073709551615 4194304 4196468 140730075309552 140253980207728 140254799407746 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21349] ppid=21336 vsize=13980732 CPUtime=4.16 cores=0,2,4,6 /proc/21338/task/21349/stat : 21349 (java) S 21336 21336 5234 0 -1 1077944384 12951 0 0 0 414 2 0 0 20 0 15 0 9524292 14316269568 85733 18446744073709551615 4194304 4196468 140730075309552 140253979154928 140254799407746 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21350] ppid=21336 vsize=13980732 CPUtime=0.81 cores=0,2,4,6 /proc/21338/task/21350/stat : 21350 (java) S 21336 21336 5234 0 -1 1077944384 3828 0 0 0 80 1 0 0 20 0 15 0 9524292 14316269568 85733 18446744073709551615 4194304 4196468 140730075309552 140253978102640 140254799407746 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21351] ppid=21336 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21338/task/21351/stat : 21351 (java) S 21336 21336 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9524292 14316269568 85733 18446744073709551615 4194304 4196468 140730075309552 140253977050080 140254799406805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21352] ppid=21336 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21338/task/21352/stat : 21352 (java) S 21336 21336 5234 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 9524296 14316269568 85733 18446744073709551615 4194304 4196468 140730075309552 140253975996848 140254799407746 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 Current children cumulated CPU time (s) 15.32 Current children cumulated vsize (KiB) 13990244 [startup+12.7008 s] /proc/loadavg: 2.05 1.84 1.86 3/216 21352 /proc/meminfo: memFree=30518464/32770624 swapFree=0/289392 [pid=21336] ppid=21333 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/21336/stat : 21336 (xcsp3-exec) S 21333 21336 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9524280 9740288 345 18446744073709551615 4194304 5098028 140730893873872 140730893871976 140299675017852 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 31399936 140730893877659 140730893877863 140730893877863 140730893881323 0 /proc/21336/statm: 2378 345 289 221 0 87 0 [pid=21338] ppid=21336 vsize=13980732 CPUtime=22.42 cores=0,2,4,6 /proc/21338/stat : 21338 (java) S 21336 21336 5234 0 -1 1077944320 44917 0 0 0 2210 32 0 0 20 0 15 0 9524286 14316269568 120925 18446744073709551615 4194304 4196468 140730075309552 140730075292096 140254799396599 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 /proc/21338/statm: 3495183 120925 3227 1 0 3483484 0 [pid=21338/tid=21339] ppid=21336 vsize=13980732 CPUtime=12.4 cores=0,2,4,6 /proc/21338/task/21339/stat : 21339 (java) R 21336 21336 5234 0 -1 4202560 11253 0 0 0 1233 7 0 0 20 0 15 0 9524286 14316269568 120925 18446744073709551615 4194304 4196468 140730075309552 140254803635776 140254395419741 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21340] ppid=21336 vsize=13980732 CPUtime=0.13 cores=0,2,4,6 /proc/21338/task/21340/stat : 21340 (java) S 21336 21336 5234 0 -1 1077944384 525 0 0 0 9 4 0 0 20 0 15 0 9524287 14316269568 120925 18446744073709551615 4194304 4196468 140730075309552 140254718811024 140254799406805 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21341] ppid=21336 vsize=13980732 CPUtime=0.13 cores=0,2,4,6 /proc/21338/task/21341/stat : 21341 (java) S 21336 21336 5234 0 -1 1077944384 156 0 0 0 9 4 0 0 20 0 15 0 9524287 14316269568 120925 18446744073709551615 4194304 4196468 140730075309552 140254717758224 140254799406805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 ################ # More data... # ################ [pid=21338/tid=21345] ppid=21336 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21338/task/21345/stat : 21345 (java) S 21336 21336 5234 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 9524289 14316269568 358490 18446744073709551615 4194304 4196468 140730075309552 140253983363936 140254799406805 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21346] ppid=21336 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21338/task/21346/stat : 21346 (java) S 21336 21336 5234 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 9524289 14316269568 358490 18446744073709551615 4194304 4196468 140730075309552 140253982311552 140254799406805 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21347] ppid=21336 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21338/task/21347/stat : 21347 (java) S 21336 21336 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9524292 14316269568 358490 18446744073709551615 4194304 4196468 140730075309552 140253981259856 140254799415195 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21348] ppid=21336 vsize=13980732 CPUtime=5.02 cores=0,2,4,6 /proc/21338/task/21348/stat : 21348 (java) S 21336 21336 5234 0 -1 1077944384 19999 0 0 0 501 1 0 0 20 0 15 0 9524292 14316269568 358490 18446744073709551615 4194304 4196468 140730075309552 140253980207728 140254799407746 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21349] ppid=21336 vsize=13980732 CPUtime=4.81 cores=0,2,4,6 /proc/21338/task/21349/stat : 21349 (java) S 21336 21336 5234 0 -1 1077944384 19029 0 0 0 479 2 0 0 20 0 15 0 9524292 14316269568 358490 18446744073709551615 4194304 4196468 140730075309552 140253979154928 140254799407746 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21350] ppid=21336 vsize=13980732 CPUtime=0.86 cores=0,2,4,6 /proc/21338/task/21350/stat : 21350 (java) S 21336 21336 5234 0 -1 1077944384 6482 0 0 0 85 1 0 0 20 0 15 0 9524292 14316269568 358490 18446744073709551615 4194304 4196468 140730075309552 140253978102640 140254799407746 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21351] ppid=21336 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21338/task/21351/stat : 21351 (java) S 21336 21336 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9524292 14316269568 358490 18446744073709551615 4194304 4196468 140730075309552 140253977050080 140254799406805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21352] ppid=21336 vsize=13980732 CPUtime=0.04 cores=0,2,4,6 /proc/21338/task/21352/stat : 21352 (java) S 21336 21336 5234 0 -1 1077944384 295 0 0 0 2 2 0 0 20 0 15 0 9524296 14316269568 358490 18446744073709551615 4194304 4196468 140730075309552 140253975996848 140254799407746 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 Current children cumulated CPU time (s) 114.69 Current children cumulated vsize (KiB) 13990244 [startup+162.301 s] /proc/loadavg: 1.82 1.83 1.86 3/217 21363 /proc/meminfo: memFree=29505788/32770624 swapFree=0/289476 [pid=21336] ppid=21333 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/21336/stat : 21336 (xcsp3-exec) S 21333 21336 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9524280 9740288 345 18446744073709551615 4194304 5098028 140730893873872 140730893871976 140299675017852 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 31399936 140730893877659 140730893877863 140730893877863 140730893881323 0 /proc/21336/statm: 2378 345 289 221 0 87 0 [pid=21338] ppid=21336 vsize=13980732 CPUtime=176.43 cores=0,2,4,6 /proc/21338/stat : 21338 (java) S 21336 21336 5234 0 -1 1077944320 85518 0 0 0 17541 102 0 0 20 0 15 0 9524286 14316269568 376426 18446744073709551615 4194304 4196468 140730075309552 140730075292096 140254799396599 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 /proc/21338/statm: 3495183 376426 3229 1 0 3483484 0 [pid=21338/tid=21339] ppid=21336 vsize=13980732 CPUtime=161.24 cores=0,2,4,6 /proc/21338/task/21339/stat : 21339 (java) R 21336 21336 5234 0 -1 4202560 21044 0 0 0 16106 18 0 0 20 0 15 0 9524286 14316269568 376426 18446744073709551615 4194304 4196468 140730075309552 140254803636256 140254398153852 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21340] ppid=21336 vsize=13980732 CPUtime=0.86 cores=0,2,4,6 /proc/21338/task/21340/stat : 21340 (java) S 21336 21336 5234 0 -1 1077944384 1889 0 0 0 68 18 0 0 20 0 15 0 9524287 14316269568 376426 18446744073709551615 4194304 4196468 140730075309552 140254718811024 140254799406805 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21341] ppid=21336 vsize=13980732 CPUtime=0.86 cores=0,2,4,6 /proc/21338/task/21341/stat : 21341 (java) S 21336 21336 5234 0 -1 1077944384 2168 0 0 0 68 18 0 0 20 0 15 0 9524287 14316269568 376426 18446744073709551615 4194304 4196468 140730075309552 140254717758224 140254799406805 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21342] ppid=21336 vsize=13980732 CPUtime=0.87 cores=0,2,4,6 /proc/21338/task/21342/stat : 21342 (java) S 21336 21336 5234 0 -1 1077944384 3159 0 0 0 70 17 0 0 20 0 15 0 9524287 14316269568 376426 18446744073709551615 4194304 4196468 140730075309552 140254716705936 140254799406805 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21343] ppid=21336 vsize=13980732 CPUtime=0.89 cores=0,2,4,6 /proc/21338/task/21343/stat : 21343 (java) S 21336 21336 5234 0 -1 1077944384 928 0 0 0 71 18 0 0 20 0 15 0 9524287 14316269568 376426 18446744073709551615 4194304 4196468 140730075309552 140254715653136 140254799406805 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21344] ppid=21336 vsize=13980732 CPUtime=0.02 cores=0,2,4,6 /proc/21338/task/21344/stat : 21344 (java) S 21336 21336 5234 0 -1 1077944384 2029 0 0 0 2 0 0 0 20 0 15 0 9524288 14316269568 376426 18446744073709551615 4194304 4196468 140730075309552 140253984417904 140254799407746 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21345] ppid=21336 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21338/task/21345/stat : 21345 (java) S 21336 21336 5234 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 9524289 14316269568 376426 18446744073709551615 4194304 4196468 140730075309552 140253983363936 140254799406805 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21346] ppid=21336 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21338/task/21346/stat : 21346 (java) S 21336 21336 5234 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 9524289 14316269568 376426 18446744073709551615 4194304 4196468 140730075309552 140253982311552 140254799406805 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21347] ppid=21336 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21338/task/21347/stat : 21347 (java) S 21336 21336 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9524292 14316269568 376426 18446744073709551615 4194304 4196468 140730075309552 140253981259856 140254799415195 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21348] ppid=21336 vsize=13980732 CPUtime=5.42 cores=0,2,4,6 /proc/21338/task/21348/stat : 21348 (java) S 21336 21336 5234 0 -1 1077944384 24165 0 0 0 541 1 0 0 20 0 15 0 9524292 14316269568 376426 18446744073709551615 4194304 4196468 140730075309552 140253980207728 140254799407746 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21349] ppid=21336 vsize=13980732 CPUtime=5.19 cores=0,2,4,6 /proc/21338/task/21349/stat : 21349 (java) S 21336 21336 5234 0 -1 1077944384 21435 0 0 0 517 2 0 0 20 0 15 0 9524292 14316269568 376426 18446744073709551615 4194304 4196468 140730075309552 140253979154928 140254799407746 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21350] ppid=21336 vsize=13980732 CPUtime=0.88 cores=0,2,4,6 /proc/21338/task/21350/stat : 21350 (java) S 21336 21336 5234 0 -1 1077944384 6916 0 0 0 87 1 0 0 20 0 15 0 9524292 14316269568 376426 18446744073709551615 4194304 4196468 140730075309552 140253978102640 140254799407746 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21351] ppid=21336 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21338/task/21351/stat : 21351 (java) S 21336 21336 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9524292 14316269568 376426 18446744073709551615 4194304 4196468 140730075309552 140253977050080 140254799406805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21352] ppid=21336 vsize=13980732 CPUtime=0.08 cores=0,2,4,6 /proc/21338/task/21352/stat : 21352 (java) S 21336 21336 5234 0 -1 1077944384 432 0 0 0 4 4 0 0 20 0 15 0 9524296 14316269568 376426 18446744073709551615 4194304 4196468 140730075309552 140253975996848 140254799407746 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 Current children cumulated CPU time (s) 176.43 Current children cumulated vsize (KiB) 13990244 [startup+222.307 s] /proc/loadavg: 1.71 1.79 1.84 3/217 21443 /proc/meminfo: memFree=29577244/32770624 swapFree=0/289560 [pid=21336] ppid=21333 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/21336/stat : 21336 (xcsp3-exec) S 21333 21336 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9524280 9740288 345 18446744073709551615 4194304 5098028 140730893873872 140730893871976 140299675017852 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 31399936 140730893877659 140730893877863 140730893877863 140730893881323 0 /proc/21336/statm: 2378 345 289 221 0 87 0 [pid=21338] ppid=21336 vsize=13980732 CPUtime=238.55 cores=0,2,4,6 /proc/21338/stat : 21338 (java) S 21336 21336 5234 0 -1 1077944320 92144 0 0 0 23719 136 0 0 20 0 15 0 9524286 14316269568 378579 18446744073709551615 4194304 4196468 140730075309552 140730075292096 140254799396599 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 /proc/21338/statm: 3495183 378579 3244 1 0 3483484 0 [pid=21338/tid=21339] ppid=21336 vsize=13980732 CPUtime=220.45 cores=0,2,4,6 /proc/21338/task/21339/stat : 21339 (java) R 21336 21336 5234 0 -1 4202560 23119 0 0 0 22027 18 0 0 20 0 15 0 9524286 14316269568 378579 18446744073709551615 4194304 4196468 140730075309552 140254803635968 140254395073251 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21340] ppid=21336 vsize=13980732 CPUtime=1.55 cores=0,2,4,6 /proc/21338/task/21340/stat : 21340 (java) S 21336 21336 5234 0 -1 1077944384 2185 0 0 0 129 26 0 0 20 0 15 0 9524287 14316269568 378579 18446744073709551615 4194304 4196468 140730075309552 140254718811024 140254799406805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21341] ppid=21336 vsize=13980732 CPUtime=1.55 cores=0,2,4,6 /proc/21338/task/21341/stat : 21341 (java) S 21336 21336 5234 0 -1 1077944384 2420 0 0 0 128 27 0 0 20 0 15 0 9524287 14316269568 378579 18446744073709551615 4194304 4196468 140730075309552 140254717758224 140254799406805 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21342] ppid=21336 vsize=13980732 CPUtime=1.56 cores=0,2,4,6 /proc/21338/task/21342/stat : 21342 (java) S 21336 21336 5234 0 -1 1077944384 3705 0 0 0 130 26 0 0 20 0 15 0 9524287 14316269568 378579 18446744073709551615 4194304 4196468 140730075309552 140254716705936 140254799406805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21343] ppid=21336 vsize=13980732 CPUtime=1.56 cores=0,2,4,6 /proc/21338/task/21343/stat : 21343 (java) S 21336 21336 5234 0 -1 1077944384 1177 0 0 0 130 26 0 0 20 0 15 0 9524287 14316269568 378579 18446744073709551615 4194304 4196468 140730075309552 140254715653136 140254799406805 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21344] ppid=21336 vsize=13980732 CPUtime=0.13 cores=0,2,4,6 /proc/21338/task/21344/stat : 21344 (java) S 21336 21336 5234 0 -1 1077944384 4844 0 0 0 12 1 0 0 20 0 15 0 9524288 14316269568 378579 18446744073709551615 4194304 4196468 140730075309552 140253984417904 140254799407746 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21345] ppid=21336 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21338/task/21345/stat : 21345 (java) S 21336 21336 5234 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 9524289 14316269568 378579 18446744073709551615 4194304 4196468 140730075309552 140253983363936 140254799406805 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21346] ppid=21336 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21338/task/21346/stat : 21346 (java) S 21336 21336 5234 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 9524289 14316269568 378579 18446744073709551615 4194304 4196468 140730075309552 140253982311552 140254799406805 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21347] ppid=21336 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21338/task/21347/stat : 21347 (java) S 21336 21336 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9524292 14316269568 378579 18446744073709551615 4194304 4196468 140730075309552 140253981259856 140254799415195 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21348] ppid=21336 vsize=13980732 CPUtime=5.45 cores=0,2,4,6 /proc/21338/task/21348/stat : 21348 (java) S 21336 21336 5234 0 -1 1077944384 24444 0 0 0 544 1 0 0 20 0 15 0 9524292 14316269568 378579 18446744073709551615 4194304 4196468 140730075309552 140253980207728 140254799407746 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21349] ppid=21336 vsize=13980732 CPUtime=5.22 cores=0,2,4,6 /proc/21338/task/21349/stat : 21349 (java) S 21336 21336 5234 0 -1 1077944384 21500 0 0 0 520 2 0 0 20 0 15 0 9524292 14316269568 378579 18446744073709551615 4194304 4196468 140730075309552 140253979154928 140254799407746 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21350] ppid=21336 vsize=13980732 CPUtime=0.88 cores=0,2,4,6 /proc/21338/task/21350/stat : 21350 (java) S 21336 21336 5234 0 -1 1077944384 6918 0 0 0 87 1 0 0 20 0 15 0 9524292 14316269568 378579 18446744073709551615 4194304 4196468 140730075309552 140253978102640 140254799407746 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21351] ppid=21336 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21338/task/21351/stat : 21351 (java) S 21336 21336 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9524292 14316269568 378579 18446744073709551615 4194304 4196468 140730075309552 140253977050080 140254799406805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21352] ppid=21336 vsize=13980732 CPUtime=0.11 cores=0,2,4,6 /proc/21338/task/21352/stat : 21352 (java) S 21336 21336 5234 0 -1 1077944384 455 0 0 0 6 5 0 0 20 0 15 0 9524296 14316269568 378579 18446744073709551615 4194304 4196468 140730075309552 140253975996848 140254799407746 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 Current children cumulated CPU time (s) 238.55 Current children cumulated vsize (KiB) 13990244 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+240.001 s] /proc/loadavg: 1.70 1.78 1.84 3/217 21444 /proc/meminfo: memFree=29534580/32770624 swapFree=0/289572 [pid=21336] ppid=21333 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/21336/stat : 21336 (xcsp3-exec) S 21333 21336 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9524280 9740288 345 18446744073709551615 4194304 5098028 140730893873872 140730893871976 140299675017852 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 31399936 140730893877659 140730893877863 140730893877863 140730893881323 0 /proc/21336/statm: 2378 345 289 221 0 87 0 [pid=21338] ppid=21336 vsize=13980732 CPUtime=256.59 cores=0,2,4,6 /proc/21338/stat : 21338 (java) S 21336 21336 5234 0 -1 1077944320 95029 0 0 0 25514 145 0 0 20 0 15 0 9524286 14316269568 377659 18446744073709551615 4194304 4196468 140730075309552 140730075292096 140254799396599 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 /proc/21338/statm: 3495183 377659 3245 1 0 3483484 0 [pid=21338/tid=21339] ppid=21336 vsize=13980732 CPUtime=238.03 cores=0,2,4,6 /proc/21338/task/21339/stat : 21339 (java) R 21336 21336 5234 0 -1 4202560 23459 0 0 0 23785 18 0 0 20 0 15 0 9524286 14316269568 377659 18446744073709551615 4194304 4196468 140730075309552 140254803636144 140254397521109 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21340] ppid=21336 vsize=13980732 CPUtime=1.66 cores=0,2,4,6 /proc/21338/task/21340/stat : 21340 (java) S 21336 21336 5234 0 -1 1077944384 2284 0 0 0 138 28 0 0 20 0 15 0 9524287 14316269568 377659 18446744073709551615 4194304 4196468 140730075309552 140254718811024 140254799406805 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21341] ppid=21336 vsize=13980732 CPUtime=1.65 cores=0,2,4,6 /proc/21338/task/21341/stat : 21341 (java) S 21336 21336 5234 0 -1 1077944384 2473 0 0 0 136 29 0 0 20 0 15 0 9524287 14316269568 377659 18446744073709551615 4194304 4196468 140730075309552 140254717758224 140254799406805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21342] ppid=21336 vsize=13980732 CPUtime=1.67 cores=0,2,4,6 /proc/21338/task/21342/stat : 21342 (java) S 21336 21336 5234 0 -1 1077944384 3950 0 0 0 139 28 0 0 20 0 15 0 9524287 14316269568 377659 18446744073709551615 4194304 4196468 140730075309552 140254716705936 140254799406805 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21343] ppid=21336 vsize=13980732 CPUtime=1.66 cores=0,2,4,6 /proc/21338/task/21343/stat : 21343 (java) S 21336 21336 5234 0 -1 1077944384 1251 0 0 0 139 27 0 0 20 0 15 0 9524287 14316269568 377659 18446744073709551615 4194304 4196468 140730075309552 140254715653136 140254799406805 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21344] ppid=21336 vsize=13980732 CPUtime=0.13 cores=0,2,4,6 /proc/21338/task/21344/stat : 21344 (java) S 21336 21336 5234 0 -1 1077944384 5036 0 0 0 12 1 0 0 20 0 15 0 9524288 14316269568 377659 18446744073709551615 4194304 4196468 140730075309552 140253984417904 140254799407746 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21345] ppid=21336 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21338/task/21345/stat : 21345 (java) S 21336 21336 5234 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 9524289 14316269568 377659 18446744073709551615 4194304 4196468 140730075309552 140253983363936 140254799406805 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21346] ppid=21336 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21338/task/21346/stat : 21346 (java) S 21336 21336 5234 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 9524289 14316269568 377659 18446744073709551615 4194304 4196468 140730075309552 140253982311552 140254799406805 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21347] ppid=21336 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21338/task/21347/stat : 21347 (java) S 21336 21336 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9524292 14316269568 377659 18446744073709551615 4194304 4196468 140730075309552 140253981259856 140254799415195 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21348] ppid=21336 vsize=13980732 CPUtime=5.45 cores=0,2,4,6 /proc/21338/task/21348/stat : 21348 (java) S 21336 21336 5234 0 -1 1077944384 24448 0 0 0 544 1 0 0 20 0 15 0 9524292 14316269568 377659 18446744073709551615 4194304 4196468 140730075309552 140253980207728 140254799407746 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21349] ppid=21336 vsize=13980732 CPUtime=5.22 cores=0,2,4,6 /proc/21338/task/21349/stat : 21349 (java) S 21336 21336 5234 0 -1 1077944384 21501 0 0 0 520 2 0 0 20 0 15 0 9524292 14316269568 377659 18446744073709551615 4194304 4196468 140730075309552 140253979154928 140254799407746 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21350] ppid=21336 vsize=13980732 CPUtime=0.89 cores=0,2,4,6 /proc/21338/task/21350/stat : 21350 (java) S 21336 21336 5234 0 -1 1077944384 8785 0 0 0 87 2 0 0 20 0 15 0 9524292 14316269568 377659 18446744073709551615 4194304 4196468 140730075309552 140253978102640 140254799407746 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21351] ppid=21336 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21338/task/21351/stat : 21351 (java) S 21336 21336 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9524292 14316269568 377659 18446744073709551615 4194304 4196468 140730075309552 140253977050080 140254799406805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 [pid=21338/tid=21352] ppid=21336 vsize=13980732 CPUtime=0.12 cores=0,2,4,6 /proc/21338/task/21352/stat : 21352 (java) S 21336 21336 5234 0 -1 1077944384 465 0 0 0 6 6 0 0 20 0 15 0 9524296 14316269568 377659 18446744073709551615 4194304 4196468 140730075309552 140253975996848 140254799407746 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140730075312596 140730075312771 140730075312771 140730075316175 0 Current children cumulated CPU time (s) 256.59 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 21338 sig 9 ??? kill 21336 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 21336 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=644 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1288 # CPU time returned by wait4() is 0.001932 # while last known CPU time is 256.59 # # 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): 256.59 CPU user time (s): 255.14 CPU system time (s): 1.45 CPU usage (%): 106.908 Max. virtual memory (cumulated for all children) (KiB): 13994412 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.000644 system time used= 0.001288 maximum resident set size= 1384 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 509 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= 4 involuntary context switches= 1 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.849241 second user time and 1.80776 second system time The end
Begin job on node134 at 2017-08-01 22:29:04 IDJOB=4255369 IDBENCH=124397 IDSOLVER=2637 FILE ID=node134/4255369-1501620185 RUNJOBID= node134-1501616951-11514 PBS_JOBID= Free space on /tmp= 61892 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n48-k7.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-4255369-1501620185/watcher-4255369-1501620185 -o /tmp/evaluation-result-4255369-1501620185/solver-4255369-1501620185 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501616951-11514 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1490557137 HOME/instance-4255369-1501620185.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 45202abbf2fd4260704b0005edccc47f RANDOM SEED=1490557137 node134.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.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31022564 kB MemAvailable: 31206948 kB Buffers: 98628 kB Cached: 367792 kB SwapCached: 0 kB Active: 1045120 kB Inactive: 296016 kB Active(anon): 877132 kB Inactive(anon): 6652 kB Active(file): 167988 kB Inactive(file): 289364 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7892 kB Writeback: 0 kB AnonPages: 875032 kB Mapped: 41924 kB Shmem: 8892 kB Slab: 110992 kB SReclaimable: 85732 kB SUnreclaim: 25260 kB KernelStack: 3520 kB PageTables: 6540 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1869948 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 757760 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 61884 MiB End job on node134 at 2017-08-01 22:33:04