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-08-18) | SAT (TO) | 7346382 | 2520.1201 | 2500.52 |
| Name | QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai80a.xml |
| MD5SUM | c9a66f606132a3c8760ec6756f0c4250 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 7129639 |
| Best CPU time to get the best result obtained on this benchmark | 2519.7 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 6480 |
| Number of constraints | 3128 |
| Number of domains | 2 |
| Minimum domain size | 80 |
| Maximum domain size | 100 |
| Distribution of domain sizes | [{"size":80,"count":80},{"size":100,"count":3127}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 80 |
| Distribution of variable degrees | [{"degree":0,"count":3273},{"degree":2,"count":3127},{"degree":77,"count":3},{"degree":78,"count":14},{"degree":79,"count":29},{"degree":80,"count":34}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 80 |
| Distribution of constraint arities | [{"arity":3,"count":3127},{"arity":80,"count":1}] |
| Number of extensional constraints | 3127 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":3127},{"type":"allDifferent","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.10 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4283425-1503190155.xml" -tl '2520s' -p 1 -x 3 0.18/0.33 c [HOME/instance-4283425-1503190155.xml, -tl, 2520s, -p, 1, -x, 3] 0.18/0.39 c simple solver 0.35/0.46 c parse instance... 22.56/18.36 c solve instance... 107.80/100.36 o 7580069 108.53/100.62 o 7566572 212.45/201.59 o 7462763 212.56/201.67 o 7450680 212.88/201.83 o 7447576 1632.91/1617.59 o 7414442 1633.26/1617.86 o 7410229 1633.59/1618.16 o 7407699 1633.91/1618.45 o 7399123 1634.12/1618.68 o 7397776 1866.72/1850.38 o 7374232 1867.12/1850.73 o 7372521 1867.73/1851.31 o 7348829 1879.12/1862.73 o 7347313 1879.82/1863.49 o 7346382 2520.08/2500.50 s SATISFIABLE 2520.08/2500.50 v <instantiation> 2520.08/2500.50 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[0][36] d[0][37] d[0][38] d[0][39] d[0][40] d[0][41] d[0][42] d[0][43] d[0][44] d[0][45] d[0][46] d[0][47] d[0][48] d[0][49] d[0][50] d[0][51] d[0][52] d[0][53] d[0][54] d[0][56] d[0][57] d[0][58] d[0][59] d[0][60] d[0][61] d[0][62] d[0][63] d[0][64] d[0][65] d[0][66] d[0][67] d[0][68] d[0][69] d[0][70] d[0][71] d[0][72] d[0][73] d[0][74] d[0][75] d[0][76] d[0][77] d[0][78] d[0][79] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][40] d[1][41] d[1][42] d[1][43] d[1][44] d[1][45] d[1][46] d[1][47] d[1][48] d[1][49] d[1][50] d[1][51] d[1][52] d[1][53] d[1][54] d[1][55] d[1][56] d[1][57] d[1][58] d[1][59] d[1][60] d[1][61] d[1][62] d[1][63] d[1][64] d[1][65] d[1][66] d[1][67] d[1][68] d[1][69] d[1][70] d[1][71] d[1][72] d[1][73] d[1][74] d[1][75] d[1][76] d[1][77] d[1][78] d[1][79] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][28] d[2][29] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][40] d[2][41] d[2][42] d[2][43] d[2][44] d[2][45] d[2][46] d[2][47] d[2][48] d[2][49] d[2][50] d[2][51] d[2][52] d[2][53] d[2][54] d[2][55] d[2][56] d[2][57] d[2][58] d[2][59] d[2][60] d[2][61] d[2][62] d[2][63] d[2][64] d[2][65] d[2][67] d[2][68] d[2][69] d[2][70] d[2][71] d[2][72] d[2][73] d[2][74] d[2][75] d[2][76] d[2][77] d[2][78] d[2][79] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][40] d[3][41] d[3][42] d[3][43] d[3][44] d[3][45] d[3][46] d[3][47] d[3][48] d[3][49] d[3][50] d[3][51] d[3][52] d[3][53] d[3][54] d[3][55] d[3][56] d[3][57] d[3][58] d[3][59] d[3][60] d[3][61] d[3][62] d[3][63] d[3][64] d[3][65] d[3][66] d[3][67] d[3][68] d[3][69] d[3][70] d[3][71] d[3][72] d[3][73] d[3][74] d[3][75] d[3][76] d[3][77] d[3][78] d[3][79] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][40] d[4][41] d[4][42] d[4][43] d[4][44] d[4][45] d[4][46] d[4][47] d[4][48] d[4][49] d[4][50] d[4][51] d[4][52] d[4][53] d[4][54] d[4][55] d[4][56] d[4][57] d[4][58] d[4][59] d[4][60] d[4][61] d[4][62] d[4][63] d[4][64] d[4][65] d[4][66] d[4][67] d[4][68] d[4][69] d[4][70] d[4][71] d[4][72] d[4][73] d[4][74] d[4][75] d[4][76] d[4][77] d[4][78] d[4][79] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][36] d[5][37] d[5][38] d[5][39] d[5][40] d[5][41] d[5][42] d[5][44] d[5][45] d[5][46] d[5][47] d[5][48] d[5][49] d[5][50] d[5][51] d[5][52] d[5][53] d[5][54] d[5][55] d[5][56] d[5][57] d[5][58] d[5][59] d[5][60] d[5][61] d[5][62] d[5][63] d[5][64] d[5][65] d[5][66] d[5][67] d[5][68] d[5][69] d[5][70] d[5][71] d[5][72] d[5][73] d[5][74] d[5][75] d[5][76] d[5][77] d[5][78] d[5][79] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][40] d[6][41] d[6][42] d[6][43] d[6][44] d[6][45] d[6][46] d[6][47] d[6][48] d[6][49] d[6][50] d[6][51] d[6][52] d[6][53] d[6][54] d[6][55] d[6][56] d[6][57] d[6][58] d[6][59] d[6][60] d[6][61] d[6][62] d[6][63] d[6][64] d[6][65] d[6][66] d[6][67] d[6][68] d[6][69] d[6][70] d[6][71] d[6][72] d[6][73] d[6][74] d[6][75] d[6][76] d[6][77] d[6][78] d[6][79] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][37] d[7][38] d[7][39] d[7][40] d[7][41] d[7][42] d[7][43] d[7][44] d[7][45] d[7][46] d[7][47] d[7][48] d[7][49] d[7][50] d[7][51] d[7][52] d[7][53] d[7][54] d[7][55] d[7][56] d[7][57] d[7][58] d[7][59] d[7][60] d[7][61] d[7][62] d[7][63] d[7][64] d[7][65] d[7][66] d[7][67] d[7][68] d[7][69] d[7][70] d[7][71] d[7][72] d[7][73] d[7][74] d[7][75] d[7][76] d[7][77] d[7][78] d[7][79] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][40] d[8][41] d[8][42] d[8][43] d[8][44] d[8][45] d[8][46] d[8][47] d[8][48] d[8][49] d[8][50] d[8][51] d[8][52] d[8][53] d[8][54] d[8][55] d[8][56] d[8][57] d[8][58] d[8][59] d[8][60] d[8][61] d[8][62] d[8][63] d[8][64] d[8][65] d[8][66] d[8][67] d[8][68] d[8][69] d[8][70] d[8][71] d[8][72] d[8][73] d[8][74] d[8][75] d[8][76] d[8][77] d[8][78] d[8][79] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[9][36] d[9][37] d[9][38] d[9][39] d[9][40] d[9][41] d[9][42] d[9][43] d[9][44] d[9][45] d[9][46] d[9][47] d[9][48] d[9][49] d[9][50] d[9][51] d[9][52] d[9][53] d[9][54] d[9][55] d[9][56] d[9][58] d[9][59] d[9][60] d[9][61] d[9][62] d[9][63] d[9][64] d[9][65] d[9][66] d[9][67] d[9][68] d[9][69] d[9][70] d[9][71] d[9][72] d[9][73] d[9][74] d[9][75] d[9][76] d[9][77] d[9][78] d[9][79] d[10][11] d[10][12] d[10][13] d[10][14] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][40] d[10][41] d[10][42] d[10][43] d[10][44] d[10][45] d[10][46] d[10][47] d[10][48] d[10][49] d[10][50] d[10][51] d[10][52] d[10][53] d[10][54] d[10][55] d[10][56] d[10][57] d[10][58] d[10][59] d[10][60] d[10][61] d[10][62] d[10][63] d[10][64] d[10][65] d[10][66] d[10][67] d[10][68] d[10][69] d[10][70] d[10][71] d[10][72] d[10][73] d[10][74] d[10][75] d[10][76] d[10][77] d[10][78] d[10][79] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][40] d[11][41] d[11][42] d[11][43] d[11][44] d[11][45] d[11][46] d[11][47] d[11][48] d[11][49] d[11][50] d[11][51] d[11][52] d[11][53] d[11][54] d[11][55] d[11][56] d[11][57] d[11][58] d[11][59] d[11][60] d[11][61] d[11][62] d[11][63] d[11][64] d[11][65] d[11][66] d[11][67] d[11][68] d[11][69] d[11][70] d[11][71] d[11][72] d[11][73] d[11][74] d[11][75] d[11][76] d[11][77] d[11][78] d[11][79] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][40] d[12][41] d[12][42] d[12][43] d[12][44] d[12][45] d[12][46] d[12][47] d[12][48] d[12][49] d[12][50] d[12][51] d[12][52] d[12][53] d[12][54] d[12][55] d[12][56] d[12][57] d[12][58] d[12][59] d[12][60] d[12][61] d[12][62] d[12][63] d[12][64] d[12][65] d[12][66] d[12][67] d[12][68] d[12][69] d[12][70] d[12][71] d[12][72] d[12][73] d[12][74] d[12][75] d[12][76] d[12][77] d[12][78] d[12][79] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][40] d[13][41] d[13][42] d[13][43] d[13][44] d[13][45] d[13][46] d[13][47] d[13][48] d[13][49] d[13][50] d[13][51] d[13][52] d[13][53] d[13][54] d[13][55] d[13][56] d[13][57] d[13][58] d[13][59] d[13][60] d[13][61] d[13][62] d[13][63] d[13][64] d[13][65] d[13][66] d[13][67] d[13][68] d[13][69] d[13][70] d[13][71] d[13][72] d[13][73] d[13][74] d[13][75] d[13][76] d[13][77] d[13][78] d[13][79] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][35] d[14][36] d[14][37] d[14][38] d[14][39] d[14][40] d[14][41] d[14][42] d[14][43] d[14][44] d[14][45] d[14][46] d[14][47] d[14][48] d[14][49] d[14][50] d[14][51] d[14][52] d[14][53] d[14][54] d[14][55] d[14][56] d[14][57] d[14][58] d[14][59] d[14][60] d[14][61] d[14][62] d[14][63] d[14][64] d[14][65] d[14][66] d[14][67] d[14][68] d[14][69] d[14][70] d[14][71] d[14][72] d[14][73] d[14][74] d[14][75] d[14][76] d[14][77] d[14][78] d[14][79] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][40] d[15][41] d[15][42] d[15][43] d[15][44] d[15][45] d[15][46] d[15][47] d[15][48] d[15][49] d[15][50] d[15][51] d[15][52] d[15][53] d[15][54] d[15][55] d[15][56] d[15][57] d[15][58] d[15][59] d[15][60] d[15][61] d[15][62] d[15][63] d[15][64] d[15][65] d[15][66] d[15][67] d[15][68] d[15][69] d[15][70] d[15][71] d[15][72] d[15][73] d[15][74] d[15][75] d[15][76] d[15][77] d[15][78] d[15][79] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][37] d[16][38] d[16][39] d[16][40] d[16][41] d[16][42] d[16][43] d[16][44] d[16][45] d[16][46] d[16][47] d[16][48] d[16][49] d[16][50] d[16][51] d[16][52] d[16][53] d[16][54] d[16][55] d[16][56] d[16][57] d[16][58] d[16][59] d[16][60] d[16][61] d[16][62] d[16][63] d[16][64] d[16][65] d[16][66] d[16][67] d[16][68] d[16][69] d[16][70] d[16][71] d[16][72] d[16][73] d[16][74] d[16][75] d[16][76] d[16][77] d[16][78] d[16][79] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][40] d[17][41] d[17][42] d[17][43] d[17][44] d[17][45] d[17][46] d[17][47] d[17][48] d[17][49] d[17][50] d[17][51] d[17][52] d[17][53] d[17][54] d[17][55] d[17][56] d[17][57] d[17][58] d[17][59] d[17][60] d[17][61] d[17][62] d[17][63] d[17][64] d[17][65] d[17][66] d[17][67] d[17][68] d[17][69] d[17][70] d[17][71] d[17][72] d[17][73] d[17][74] d[17][75] d[17][76] d[17][77] d[17][78] d[17][79] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[18][36] d[18][37] d[18][38] d[18][39] d[18][40] d[18][41] d[18][42] d[18][43] d[18][44] d[18][45] d[18][46] d[18][47] d[18][48] d[18][49] d[18][50] d[18][51] d[18][52] d[18][53] d[18][54] d[18][55] d[18][56] d[18][57] d[18][58] d[18][59] d[18][60] d[18][61] d[18][62] d[18][63] d[18][65] d[18][66] d[18][67] d[18][68] d[18][69] d[18][70] d[18][71] d[18][72] d[18][73] d[18][74] d[18][75] d[18][76] d[18][77] d[18][78] d[18][79] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][38] d[19][39] d[19][40] d[19][41] d[19][42] d[19][43] d[19][44] d[19][45] d[19][46] d[19][47] d[19][48] d[19][49] d[19][50] d[19][51] d[19][52] d[19][53] d[19][54] d[19][55] d[19][56] d[19][57] d[19][58] d[19][59] d[19][60] d[19][61] d[19][62] d[19][63] d[19][64] d[19][65] d[19][66] d[19][67] d[19][68] d[19][69] d[19][70] d[19][71] d[19][72] d[19][73] d[19][74] d[19][75] d[19][76] d[19][77] d[19][78] d[19][79] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[20][32] d[20][33] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][40] d[20][41] d[20][42] d[20][43] d[20][44] d[20][45] d[20][46] d[20][47] d[20][48] d[20][49] d[20][50] d[20][51] d[20][52] d[20][53] d[20][54] d[20][55] d[20][56] d[20][57] d[20][58] d[20][59] d[20][60] d[20][61] d[20][62] d[20][63] d[20][64] d[20][65] d[20][66] d[20][67] d[20][68] d[20][69] d[20][70] d[20][71] d[20][72] d[20][73] d[20][74] d[20][75] d[20][76] d[20][77] d[20][78] d[20][79] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][40] d[21][41] d[21][42] d[21][43] d[21][44] d[21][45] d[21][46] d[21][47] d[21][48] d[21][49] d[21][50] d[21][51] d[21][52] d[21][53] d[21][54] d[21][55] d[21][56] d[21][57] d[21][58] d[21][59] d[21][60] d[21][61] d[21][62] d[21][63] d[21][64] d[21][65] d[21][66] d[21][67] d[21][68] d[21][69] d[21][70] d[21][71] d[21][72] d[21][73] d[21][74] d[21][75] d[21][76] d[21][77] d[21][78] d[21][79] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][40] d[22][41] d[22][42] d[22][43] d[22][44] d[22][45] d[22][46] d[22][47] d[22][48] d[22][49] d[22][50] d[22][51] d[22][52] d[22][53] d[22][54] d[22][55] d[22][56] d[22][57] d[22][58] d[22][59] d[22][60] d[22][61] d[22][62] d[22][63] d[22][64] d[22][65] d[22][66] d[22][67] d[22][68] d[22][69] d[22][70] d[22][71] d[22][72] d[22][73] d[22][74] d[22][75] d[22][76] d[22][77] d[22][78] d[22][79] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][40] d[23][41] d[23][42] d[23][43] d[23][44] d[23][45] d[23][46] d[23][47] d[23][48] d[23][49] d[23][50] d[23][51] d[23][52] d[23][53] d[23][54] d[23][55] d[23][56] d[23][57] d[23][58] d[23][59] d[23][60] d[23][61] d[23][62] d[23][63] d[23][64] d[23][65] d[23][66] d[23][67] d[23][68] d[23][69] d[23][70] d[23][71] d[23][72] d[23][73] d[23][74] d[23][75] d[23][76] d[23][77] d[23][78] d[23][79] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][40] d[24][41] d[24][42] d[24][43] d[24][44] d[24][45] d[24][46] d[24][47] d[24][48] d[24][49] d[24][50] d[24][51] d[24][52] d[24][53] d[24][54] d[24][55] d[24][56] d[24][57] d[24][58] d[24][59] d[24][60] d[24][61] d[24][62] d[24][63] d[24][64] d[24][65] d[24][66] d[24][67] d[24][68] d[24][69] d[24][70] d[24][71] d[24][72] d[24][73] d[24][74] d[24][75] d[24][76] d[24][77] d[24][78] d[24][79] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][31] d[25][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][40] d[25][41] d[25][42] d[25][43] d[25][44] d[25][45] d[25][46] d[25][47] d[25][48] d[25][49] d[25][50] d[25][51] d[25][52] d[25][53] d[25][54] d[25][55] d[25][56] d[25][57] d[25][58] d[25][59] d[25][60] d[25][61] d[25][62] d[25][63] d[25][64] d[25][65] d[25][66] d[25][67] d[25][68] d[25][69] d[25][70] d[25][71] d[25][72] d[25][73] d[25][74] d[25][75] d[25][76] d[25][77] d[25][78] d[25][79] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][40] d[26][41] d[26][42] d[26][43] d[26][44] d[26][45] d[26][46] d[26][47] d[26][48] d[26][49] d[26][50] d[26][51] d[26][52] d[26][53] d[26][54] d[26][55] d[26][56] d[26][57] d[26][58] d[26][59] d[26][60] d[26][61] d[26][62] d[26][63] d[26][64] d[26][65] d[26][66] d[26][67] d[26][68] d[26][69] d[26][70] d[26][71] d[26][72] d[26][73] d[26][74] d[26][75] d[26][76] d[26][77] d[26][78] d[26][79] d[27][28] d[27][29] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[27][36] d[27][37] d[27][38] d[27][39] d[27][40] d[27][41] d[27][42] d[27][43] d[27][44] d[27][45] d[27][46] d[27][47] d[27][48] d[27][49] d[27][50] d[27][51] d[27][52] d[27][54] d[27][55] d[27][56] d[27][57] d[27][58] d[27][59] d[27][60] d[27][61] d[27][62] d[27][63] d[27][64] d[27][65] d[27][66] d[27][67] d[27][68] d[27][69] d[27][70] d[27][71] d[27][72] d[27][73] d[27][74] d[27][75] d[27][76] d[27][77] d[27][78] d[27][79] d[28][29] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][40] d[28][41] d[28][42] d[28][43] d[28][44] d[28][45] d[28][46] d[28][47] d[28][48] d[28][49] d[28][50] d[28][51] d[28][52] d[28][53] d[28][54] d[28][55] d[28][56] d[28][57] d[28][58] d[28][59] d[28][60] d[28][61] d[28][62] d[28][63] d[28][64] d[28][65] d[28][66] d[28][67] d[28][68] d[28][69] d[28][70] d[28][71] d[28][72] d[28][73] d[28][75] d[28][76] d[28][77] d[28][78] d[28][79] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[29][36] d[29][37] d[29][38] d[29][39] d[29][40] d[29][41] d[29][42] d[29][43] d[29][44] d[29][45] d[29][46] d[29][47] d[29][48] d[29][49] d[29][50] d[29][51] d[29][52] d[29][53] d[29][54] d[29][55] d[29][57] d[29][58] d[29][59] d[29][60] d[29][61] d[29][62] d[29][63] d[29][64] d[29][66] d[29][67] d[29][68] d[29][69] d[29][70] d[29][71] d[29][72] d[29][73] d[29][74] d[29][75] d[29][76] d[29][77] d[29][78] d[29][79] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[30][36] d[30][37] d[30][38] d[30][39] d[30][40] d[30][41] d[30][42] d[30][43] d[30][44] d[30][45] d[30][46] d[30][47] d[30][48] d[30][49] d[30][50] d[30][51] d[30][52] d[30][54] d[30][55] d[30][56] d[30][58] d[30][59] d[30][60] d[30][61] d[30][62] d[30][63] d[30][64] d[30][65] d[30][66] d[30][67] d[30][68] d[30][69] d[30][70] d[30][71] d[30][72] d[30][73] d[30][74] d[30][75] d[30][76] d[30][77] d[30][78] d[30][79] d[31][32] d[31][33] d[31][34] d[31][35] d[31][36] d[31][37] d[31][38] d[31][39] d[31][40] d[31][41] d[31][42] d[31][43] d[31][44] d[31][45] d[31][46] d[31][47] d[31][48] d[31][49] d[31][50] d[31][51] d[31][52] d[31][53] d[31][55] d[31][56] d[31][57] d[31][58] d[31][59] d[31][60] d[31][61] d[31][62] d[31][63] d[31][64] d[31][65] d[31][66] d[31][67] d[31][68] d[31][69] d[31][70] d[31][71] d[31][72] d[31][73] d[31][74] d[31][75] d[31][76] d[31][78] d[31][79] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][38] d[32][39] d[32][40] d[32][41] d[32][42] d[32][43] d[32][44] d[32][45] d[32][46] d[32][47] d[32][48] d[32][49] d[32][50] d[32][51] d[32][52] d[32][53] d[32][54] d[32][55] d[32][56] d[32][57] d[32][59] d[32][60] d[32][61] d[32][62] d[32][63] d[32][64] d[32][65] d[32][66] d[32][67] d[32][68] d[32][69] d[32][70] d[32][71] d[32][72] d[32][73] d[32][74] d[32][75] d[32][76] d[32][77] d[32][78] d[32][79] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][40] d[33][41] d[33][42] d[33][43] d[33][44] d[33][45] d[33][46] d[33][47] d[33][48] d[33][49] d[33][50] d[33][51] d[33][52] d[33][53] d[33][54] d[33][55] d[33][56] d[33][57] d[33][58] d[33][59] d[33][60] d[33][61] d[33][62] d[33][63] d[33][64] d[33][65] d[33][66] d[33][67] d[33][68] d[33][69] d[33][70] d[33][71] d[33][72] d[33][73] d[33][74] d[33][75] d[33][76] d[33][77] d[33][78] d[33][79] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][40] d[34][41] d[34][42] d[34][43] d[34][44] d[34][45] d[34][46] d[34][47] d[34][48] d[34][49] d[34][50] d[34][51] d[34][52] d[34][53] d[34][54] d[34][55] d[34][56] d[34][57] d[34][58] d[34][59] d[34][60] d[34][61] d[34][62] d[34][63] d[34][64] d[34][65] d[34][66] d[34][67] d[34][68] d[34][69] d[34][70] d[34][71] d[34][72] d[34][73] d[34][74] d[34][75] d[34][76] d[34][77] d[34][78] d[34][79] d[35][36] d[35][37] d[35][38] d[35][39] d[35][40] d[35][41] d[35][42] d[35][43] d[35][44] d[35][45] d[35][46] d[35][47] d[35][48] d[35][49] d[35][50] d[35][51] d[35][52] d[35][53] d[35][54] d[35][55] d[35][56] d[35][57] d[35][58] d[35][59] d[35][60] d[35][61] d[35][62] d[35][63] d[35][64] d[35][65] d[35][66] d[35][67] d[35][68] d[35][69] d[35][70] d[35][71] d[35][72] d[35][73] d[35][74] d[35][75] d[35][76] d[35][77] d[35][78] d[35][79] d[36][37] d[36][38] d[36][39] d[36][40] d[36][41] d[36][42] d[36][43] d[36][44] d[36][45] d[36][46] d[36][47] d[36][48] d[36][49] d[36][50] d[36][51] d[36][52] d[36][53] d[36][54] d[36][55] d[36][56] d[36][57] d[36][58] d[36][59] d[36][60] d[36][61] d[36][62] d[36][63] d[36][64] d[36][65] d[36][66] d[36][67] d[36][68] d[36][70] d[36][71] d[36][72] d[36][73] d[36][74] d[36][75] d[36][76] d[36][77] d[36][78] d[36][79] d[37][38] d[37][39] d[37][40] d[37][41] d[37][42] d[37][43] d[37][44] d[37][45] d[37][46] d[37][47] d[37][48] d[37][49] d[37][50] d[37][51] d[37][52] d[37][53] d[37][54] d[37][55] d[37][56] d[37][57] d[37][58] d[37][59] d[37][60] d[37][61] d[37][62] d[37][63] d[37][64] d[37][65] d[37][66] d[37][67] d[37][68] d[37][69] d[37][70] d[37][71] d[37][72] d[37][73] d[37][74] d[37][75] d[37][76] d[37][77] d[37][78] d[37][79] d[38][39] d[38][40] d[38][41] d[38][42] d[38][43] d[38][44] d[38][45] d[38][46] d[38][47] d[38][48] d[38][49] d[38][50] d[38][51] d[38][52] d[38][53] d[38][54] d[38][56] d[38][57] d[38][59] d[38][60] d[38][61] d[38][62] d[38][63] d[38][64] d[38][65] d[38][66] d[38][67] d[38][68] d[38][69] d[38][70] d[38][71] d[38][72] d[38][73] d[38][74] d[38][75] d[38][76] d[38][77] d[38][78] d[38][79] d[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] d[39][49] d[39][50] d[39][51] d[39][52] d[39][53] d[39][54] d[39][55] d[39][56] d[39][57] d[39][58] d[39][59] d[39][60] d[39][61] d[39][62] d[39][63] d[39][64] d[39][65] d[39][66] d[39][67] d[39][68] d[39][69] d[39][70] d[39][71] d[39][72] d[39][73] d[39][74] d[39][75] d[39][76] d[39][77] d[39][78] d[39][79] d[40][41] d[40][42] d[40][43] d[40][44] d[40][45] d[40][46] d[40][47] d[40][48] d[40][49] d[40][50] d[40][51] d[40][52] d[40][53] d[40][54] d[40][55] d[40][56] d[40][57] d[40][58] d[40][59] d[40][60] d[40][61] d[40][62] d[40][63] d[40][64] d[40][65] d[40][66] d[40][67] d[40][68] d[40][69] d[40][70] d[40][71] d[40][72] d[40][73] d[40][74] d[40][75] d[40][76] d[40][77] d[40][78] d[40][79] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[41][49] d[41][50] d[41][51] d[41][52] d[41][53] d[41][54] d[41][55] d[41][56] d[41][57] d[41][58] d[41][59] d[41][60] d[41][61] d[41][62] d[41][63] d[41][64] d[41][65] d[41][66] d[41][67] d[41][68] d[41][69] d[41][70] d[41][71] d[41][72] d[41][73] d[41][74] d[41][75] d[41][76] d[41][77] d[41][78] d[41][79] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[42][49] d[42][50] d[42][51] d[42][52] d[42][53] d[42][54] d[42][55] d[42][56] d[42][57] d[42][58] d[42][59] d[42][60] d[42][61] d[42][62] d[42][63] d[42][64] d[42][65] d[42][66] d[42][67] d[42][68] d[42][69] d[42][70] d[42][71] d[42][72] d[42][73] d[42][74] d[42][75] d[42][76] d[42][77] d[42][78] d[42][79] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[43][49] d[43][50] d[43][51] d[43][52] d[43][53] d[43][54] d[43][55] d[43][56] d[43][57] d[43][58] d[43][59] d[43][60] d[43][61] d[43][62] d[43][63] d[43][64] d[43][65] d[43][66] d[43][67] d[43][68] d[43][69] d[43][70] d[43][71] d[43][72] d[43][73] d[43][74] d[43][75] d[43][76] d[43][77] d[43][78] d[43][79] d[44][45] d[44][46] d[44][47] d[44][48] d[44][49] d[44][50] d[44][51] d[44][52] d[44][53] d[44][54] d[44][55] d[44][56] d[44][57] d[44][58] d[44][59] d[44][60] d[44][61] d[44][62] d[44][63] d[44][64] d[44][65] d[44][66] d[44][67] d[44][68] d[44][69] d[44][70] d[44][71] d[44][72] d[44][73] d[44][74] d[44][75] d[44][76] d[44][77] d[44][78] d[44][79] d[45][46] d[45][47] d[45][48] d[45][49] d[45][50] d[45][51] d[45][52] d[45][53] d[45][54] d[45][55] d[45][56] d[45][57] d[45][58] d[45][59] d[45][60] d[45][61] d[45][62] d[45][63] d[45][64] d[45][65] d[45][66] d[45][67] d[45][68] d[45][69] d[45][70] d[45][71] d[45][72] d[45][73] d[45][74] d[45][75] d[45][76] d[45][77] d[45][78] d[45][79] d[46][47] d[46][48] d[46][49] d[46][50] d[46][51] d[46][52] d[46][53] d[46][54] d[46][55] d[46][56] d[46][57] d[46][58] d[46][59] d[46][60] d[46][61] d[46][62] d[46][63] d[46][64] d[46][65] d[46][66] d[46][67] d[46][68] d[46][69] d[46][70] d[46][71] d[46][72] d[46][73] d[46][74] d[46][75] d[46][76] d[46][77] d[46][78] d[46][79] d[47][48] d[47][49] d[47][50] d[47][51] d[47][52] d[47][53] d[47][54] d[47][55] d[47][56] d[47][57] d[47][58] d[47][59] d[47][60] d[47][61] d[47][62] d[47][63] d[47][64] d[47][65] d[47][66] d[47][67] d[47][68] d[47][69] d[47][70] d[47][71] d[47][72] d[47][73] d[47][74] d[47][76] d[47][77] d[47][78] d[47][79] d[48][49] d[48][50] d[48][51] d[48][52] d[48][53] d[48][54] d[48][55] d[48][56] d[48][57] d[48][58] d[48][59] d[48][60] d[48][61] d[48][62] d[48][63] d[48][64] d[48][65] d[48][66] d[48][67] d[48][68] d[48][69] d[48][70] d[48][71] d[48][72] d[48][73] d[48][74] d[48][75] d[48][76] d[48][77] d[48][78] d[48][79] d[49][50] d[49][51] d[49][52] d[49][53] d[49][54] d[49][55] d[49][56] d[49][57] d[49][58] d[49][59] d[49][60] d[49][61] d[49][62] d[49][63] d[49][64] d[49][65] d[49][66] d[49][67] d[49][68] d[49][69] d[49][70] d[49][71] d[49][72] d[49][73] d[49][74] d[49][75] d[49][76] d[49][77] d[49][78] d[49][79] d[50][51] d[50][52] d[50][53] d[50][54] d[50][55] d[50][56] d[50][57] d[50][58] d[50][59] d[50][60] d[50][61] d[50][62] d[50][63] d[50][64] d[50][65] d[50][66] d[50][67] d[50][68] d[50][69] d[50][70] d[50][71] d[50][72] d[50][73] d[50][74] d[50][75] d[50][76] d[50][77] d[50][78] d[50][79] d[51][52] d[51][53] d[51][54] d[51][55] d[51][56] d[51][57] d[51][58] d[51][59] d[51][60] d[51][61] d[51][62] d[51][63] d[51][64] d[51][65] d[51][66] d[51][67] d[51][68] d[51][69] d[51][70] d[51][71] d[51][72] d[51][74] d[51][75] d[51][76] d[51][77] d[51][78] d[51][79] d[52][53] d[52][54] d[52][55] d[52][56] d[52][57] d[52][58] d[52][59] d[52][60] d[52][61] d[52][62] d[52][63] d[52][64] d[52][65] d[52][66] d[52][67] d[52][68] d[52][69] d[52][70] d[52][71] d[52][72] d[52][73] d[52][74] d[52][75] d[52][76] d[52][77] d[52][78] d[52][79] d[53][54] d[53][55] d[53][56] d[53][57] d[53][58] d[53][59] d[53][60] d[53][61] d[53][62] d[53][63] d[53][64] d[53][65] d[53][66] d[53][68] d[53][69] d[53][70] d[53][71] d[53][72] d[53][73] d[53][74] d[53][75] d[53][76] d[53][77] d[53][78] d[53][79] d[54][55] d[54][56] d[54][57] d[54][58] d[54][59] d[54][60] d[54][61] d[54][62] d[54][63] d[54][64] d[54][65] d[54][66] d[54][67] d[54][68] d[54][69] d[54][70] d[54][71] d[54][72] d[54][73] d[54][74] d[54][75] d[54][76] d[54][77] d[54][78] d[54][79] d[55][56] d[55][57] d[55][58] d[55][59] d[55][60] d[55][61] d[55][62] d[55][63] d[55][64] d[55][65] d[55][66] d[55][67] d[55][68] d[55][69] d[55][70] d[55][71] d[55][72] d[55][73] d[55][74] d[55][75] d[55][76] d[55][77] d[55][78] d[55][79] d[56][57] d[56][58] d[56][59] d[56][60] d[56][61] d[56][62] d[56][63] d[56][64] d[56][65] d[56][66] d[56][67] d[56][68] d[56][69] d[56][70] d[56][72] d[56][73] d[56][74] d[56][75] d[56][76] d[56][77] d[56][78] d[56][79] d[57][58] d[57][59] d[57][60] d[57][61] d[57][62] d[57][63] d[57][64] d[57][65] d[57][66] d[57][67] d[57][68] d[57][69] d[57][70] d[57][71] d[57][72] d[57][73] d[57][74] d[57][75] d[57][76] d[57][77] d[57][78] d[57][79] d[58][59] d[58][60] d[58][61] d[58][62] d[58][63] d[58][64] d[58][65] d[58][66] d[58][67] d[58][68] d[58][69] d[58][70] d[58][71] d[58][72] d[58][73] d[58][74] d[58][75] d[58][76] d[58][77] d[58][78] d[58][79] d[59][60] d[59][61] d[59][62] d[59][63] d[59][64] d[59][65] d[59][66] d[59][67] d[59][68] d[59][69] d[59][70] d[59][71] d[59][72] d[59][73] d[59][74] d[59][75] d[59][76] d[59][77] d[59][78] d[59][79] d[60][61] d[60][62] d[60][63] d[60][64] d[60][65] d[60][66] d[60][67] d[60][68] d[60][69] d[60][70] d[60][71] d[60][72] d[60][73] d[60][74] d[60][75] d[60][76] d[60][77] d[60][78] d[60][79] d[61][62] d[61][63] d[61][64] d[61][65] d[61][66] d[61][67] d[61][68] d[61][69] d[61][70] d[61][71] d[61][72] d[61][73] d[61][74] d[61][75] d[61][76] d[61][77] d[61][78] d[61][79] d[62][63] d[62][64] d[62][65] d[62][66] d[62][67] d[62][68] d[62][69] d[62][70] d[62][71] d[62][72] d[62][73] d[62][74] d[62][75] d[62][76] d[62][77] d[62][78] d[62][79] d[63][64] d[63][65] d[63][66] d[63][67] d[63][68] d[63][69] d[63][70] d[63][71] d[63][72] d[63][73] d[63][74] d[63][75] d[63][76] d[63][77] d[63][78] d[63][79] d[64][65] d[64][66] d[64][67] d[64][68] d[64][69] d[64][70] d[64][71] d[64][72] d[64][73] d[64][74] d[64][75] d[64][76] d[64][77] d[64][78] d[64][79] d[65][66] d[65][67] d[65][68] d[65][69] d[65][70] d[65][71] d[65][72] d[65][73] d[65][74] d[65][75] d[65][76] d[65][77] d[65][78] d[65][79] d[66][67] d[66][68] d[66][69] d[66][70] d[66][71] d[66][72] d[66][73] d[66][74] d[66][75] d[66][76] d[66][77] d[66][78] d[66][79] d[67][68] d[67][69] d[67][70] d[67][71] d[67][72] d[67][73] d[67][74] d[67][75] d[67][76] d[67][77] d[67][78] d[67][79] d[68][69] d[68][71] d[68][72] d[68][73] d[68][74] d[68][75] d[68][76] d[68][77] d[68][78] d[68][79] d[69][70] d[69][71] d[69][72] d[69][73] d[69][74] d[69][75] d[69][76] d[69][78] d[69][79] d[70][71] d[70][72] d[70][73] d[70][74] d[70][75] d[70][76] d[70][77] d[70][78] d[70][79] d[71][72] d[71][73] d[71][74] d[71][75] d[71][76] d[71][77] d[71][78] d[71][79] d[72][73] d[72][74] d[72][75] d[72][76] d[72][77] d[72][78] d[72][79] d[73][74] d[73][75] d[73][76] d[73][77] d[73][78] d[73][79] d[74][75] d[74][76] d[74][77] d[74][78] d[74][79] d[75][76] d[75][77] d[75][78] d[75][79] d[76][77] d[76][78] d[76][79] d[77][78] d[77][79] d[78][79] </list> 2520.08/2500.50 v <values>24 57 35 54 10 45 66 22 60 65 37 21 4 49 30 64 68 62 27 41 6 8 16 48 5 14 1 61 79 20 70 69 52 40 75 12 11 28 2 17 0 23 53 44 13 74 3 78 73 9 56 47 31 72 55 50 39 58 42 59 46 36 67 29 63 18 25 38 34 26 32 71 43 7 51 76 15 33 19 77 72 68 59 69 79 34 84 30 9 78 91 96 2 0 57 18 30 42 34 47 50 37 22 63 39 83 55 74 2 17 7 38 21 29 32 54 35 50 64 0 88 25 26 10 40 15 85 38 31 28 1 13 28 44 92 91 27 32 33 65 94 90 3 55 44 33 67 24 71 85 9 35 27 91 18 61 12 81 69 87 66 92 87 32 17 63 31 12 96 14 54 53 58 44 1 24 87 81 41 56 44 46 84 50 47 92 6 44 25 0 48 66 25 1 68 89 69 31 69 16 90 61 88 79 92 35 22 12 32 48 53 31 48 72 23 62 16 2 53 11 46 52 81 46 39 58 1 69 82 77 79 3 92 67 59 73 95 62 77 5 97 86 46 75 26 97 66 3 8 72 13 70 64 30 34 18 72 5 13 24 79 28 56 43 27 85 81 88 89 12 6 91 55 6 96 40 65 35 76 73 26 66 60 91 54 14 12 81 97 89 32 46 31 94 23 27 57 21 91 97 86 79 54 15 6 25 22 7 21 38 17 5 61 6 71 75 2 56 55 88 3 54 73 22 30 31 65 47 87 77 91 96 60 80 89 24 88 52 32 30 74 91 20 48 62 4 77 2 37 18 56 62 65 42 37 97 23 81 93 37 82 62 60 90 21 31 90 93 72 36 33 80 45 87 77 49 95 49 50 56 39 10 92 15 75 36 63 49 99 76 38 44 68 49 28 33 73 86 91 49 9 48 55 59 34 62 20 3 0 70 28 13 88 10 66 53 87 90 63 78 93 63 54 78 4 80 98 0 84 75 23 0 87 99 46 90 55 88 62 41 30 61 28 85 23 62 79 99 30 60 1 40 71 3 17 63 52 66 29 80 10 68 89 71 41 88 22 37 65 90 75 1 72 27 39 22 78 56 29 43 47 10 28 19 81 0 89 76 69 38 98 19 22 27 44 21 99 77 15 87 62 28 21 41 59 59 3 21 55 12 45 13 47 72 62 45 96 92 4 23 84 91 65 38 84 78 53 13 57 21 81 26 30 50 40 83 60 32 37 82 36 57 45 31 97 28 62 34 54 18 18 67 61 14 94 99 66 96 85 92 39 46 26 27 48 68 60 36 88 26 97 39 77 75 54 77 96 42 77 89 57 65 2 56 39 72 73 48 9 47 7 54 33 56 96 20 56 32 26 97 42 81 22 31 10 21 13 56 47 2 28 35 78 72 93 3 48 6 93 76 59 93 85 94 53 40 76 43 90 81 55 11 95 30 78 1 53 7 84 22 97 85 56 33 67 80 44 33 61 17 79 29 94 14 38 9 24 39 99 94 55 19 9 10 57 72 19 73 70 58 17 20 63 48 71 22 46 3 23 84 58 17 24 55 65 19 14 66 91 28 33 88 68 93 86 84 68 18 80 0 78 98 99 13 14 98 87 29 40 33 49 92 5 55 53 48 96 0 16 48 37 87 15 24 17 30 35 73 52 50 37 55 92 33 32 98 25 6 19 38 74 13 33 9 53 44 79 53 19 6 27 23 99 93 7 87 83 48 21 88 72 84 41 23 48 90 13 99 29 91 72 17 25 59 37 18 87 79 4 89 74 79 88 97 31 13 40 55 74 51 5 40 60 46 67 54 27 69 14 91 8 27 82 75 47 54 32 95 34 11 29 70 23 30 78 13 22 11 26 30 17 41 12 26 10 84 92 82 21 34 36 11 83 29 12 70 32 91 58 6 28 53 55 72 20 18 41 26 29 32 99 17 73 41 57 99 87 25 48 74 8 75 83 1 70 9 38 74 67 84 82 76 57 91 31 66 32 35 50 42 53 44 65 8 8 60 33 47 24 57 86 75 47 87 34 89 42 49 47 65 7 11 0 50 6 12 1 20 2 4 37 39 74 85 21 91 41 11 35 51 86 85 94 45 61 47 63 35 77 49 45 85 25 65 98 69 35 58 80 9 10 34 49 61 87 13 43 91 72 26 80 34 91 11 93 2 71 84 37 7 35 20 70 12 71 19 72 51 87 98 93 40 80 93 39 37 50 37 76 42 56 9 1 54 79 34 42 1 92 74 21 20 93 93 9 66 68 65 94 7 0 90 71 67 87 26 70 1 52 21 39 27 19 14 84 31 51 2 79 26 4 29 47 26 3 82 28 46 84 10 66 40 99 15 28 92 89 61 10 67 32 31 5 26 26 44 82 49 82 61 97 26 62 17 6 20 65 99 87 2 87 40 66 68 17 54 80 85 92 56 42 53 33 17 98 12 49 63 81 55 71 26 65 65 29 48 76 84 62 28 51 99 64 62 57 18 95 37 9 30 19 74 64 37 95 86 69 38 79 52 47 26 86 27 5 68 96 28 7 47 50 24 61 10 17 80 75 27 91 84 48 69 3 83 81 70 68 43 24 83 15 36 13 18 42 3 14 68 91 1 84 43 19 99 17 4 4 65 15 35 94 89 31 19 13 26 8 77 81 14 17 5 25 7 85 50 73 35 23 81 62 28 67 23 44 80 46 25 63 8 43 12 25 69 82 90 20 17 2 7 84 25 17 93 21 75 30 85 48 84 11 98 16 87 11 63 26 69 20 82 55 45 33 35 44 94 50 67 52 89 93 49 74 43 78 3 12 85 26 5 66 13 62 95 10 32 94 54 44 70 85 96 46 24 52 21 85 94 46 22 72 49 24 92 18 5 79 44 28 85 3 86 21 74 88 40 18 36 40 87 12 62 52 69 16 77 11 56 97 16 4 56 50 82 7 27 46 45 39 56 55 20 53 73 36 82 35 57 73 8 63 82 78 5 64 84 70 91 9 29 25 16 74 64 6 6 46 3 45 44 18 84 4 78 57 98 98 79 73 26 71 43 76 58 22 18 77 5 43 54 34 60 57 3 98 18 81 56 55 7 11 27 83 49 75 53 23 70 87 78 94 21 78 64 60 21 62 97 46 94 73 85 2 80 31 19 5 80 12 62 76 91 48 27 76 28 81 81 40 41 76 12 19 82 75 67 44 55 80 80 2 76 20 47 87 98 31 87 30 57 46 85 95 27 99 76 91 64 71 48 99 91 20 44 84 66 30 22 40 50 21 95 4 14 85 49 58 24 26 3 40 62 23 85 64 0 13 37 4 69 97 52 72 29 85 19 66 51 24 67 6 25 92 43 74 20 66 38 6 71 85 52 94 52 43 65 64 53 90 68 45 10 47 75 61 79 8 70 33 57 12 81 80 12 47 83 99 9 56 94 46 56 99 49 64 15 99 68 43 49 97 44 90 54 85 53 84 93 95 62 62 53 9 30 43 10 43 35 37 22 62 84 22 92 95 54 64 46 10 69 19 13 12 81 39 90 30 46 22 10 40 58 6 8 62 68 29 91 28 60 74 86 53 36 48 48 22 7 15 13 52 56 20 82 93 94 5 18 48 25 84 20 0 60 74 82 12 99 94 33 77 29 10 39 60 20 39 15 15 54 90 80 75 41 81 6 11 15 44 95 79 41 51 33 49 57 45 70 79 57 75 31 39 8 70 79 17 39 84 78 92 1 71 26 89 36 67 54 29 30 86 39 0 95 57 27 31 21 62 60 74 25 23 73 81 26 37 94 31 57 81 97 96 39 67 26 46 68 76 93 75 40 18 70 12 84 27 47 70 44 69 56 62 71 1 58 96 67 91 12 69 40 49 41 92 42 83 63 67 36 46 86 46 27 81 1 26 56 22 18 28 79 64 26 99 12 70 93 24 13 45 3 45 44 72 75 59 71 24 1 32 58 10 66 53 34 93 45 17 85 94 57 32 52 52 49 62 75 34 47 73 81 59 59 87 54 98 98 78 3 26 5 6 8 86 8 0 68 26 80 4 87 58 8 92 3 86 80 51 64 70 31 25 99 9 49 99 4 25 45 22 59 56 87 62 29 48 36 21 83 21 54 2 2 90 0 76 46 6 51 74 56 26 63 72 60 32 13 94 20 99 29 89 53 15 96 14 77 91 71 87 57 79 94 4 41 41 76 74 62 9 89 72 78 78 78 94 35 52 28 72 11 93 21 15 63 98 25 96 49 70 16 31 8 81 35 32 15 90 56 42 30 7 58 78 92 66 10 56 67 19 52 58 72 4 90 3 66 4 10 17 22 76 81 3 44 16 63 12 69 61 58 58 60 47 67 84 83 93 82 71 30 28 71 22 23 73 51 92 54 79 61 64 81 96 60 45 3 53 21 15 39 94 20 24 88 12 27 55 89 43 64 89 69 18 18 63 79 71 56 29 1 9 1 9 63 46 3 52 34 98 28 97 9 50 22 76 80 29 22 2 33 27 49 52 79 6 17 37 29 80 45 3 21 52 7 53 42 31 60 67 26 17 26 63 90 90 55 1 22 17 3 89 26 92 85 21 28 15 51 89 76 25 46 91 3 3 17 64 21 10 45 92 44 75 7 62 55 25 60 88 67 56 92 97 90 81 51 26 53 84 77 21 5 2 1 67 86 9 33 7 20 3 83 64 73 30 45 50 70 52 2 51 57 41 54 27 2 91 4 57 17 71 1 22 76 30 70 27 23 63 57 20 31 43 19 33 35 5 71 17 13 16 10 37 2 80 32 5 54 29 40 44 51 15 55 77 84 90 9 99 77 49 43 45 62 46 66 36 94 21 76 57 72 93 44 54 98 53 58 31 46 4 18 75 32 19 61 54 26 79 22 55 46 90 70 28 21 80 30 89 5 22 22 28 58 4 90 28 56 84 38 57 13 96 26 33 75 93 30 29 50 21 33 59 54 43 92 20 78 80 30 2 50 5 30 8 11 25 63 45 55 96 92 81 1 4 29 69 5 87 93 74 51 98 86 23 30 94 36 32 17 69 8 10 94 2 41 44 89 13 79 44 3 16 99 72 49 48 48 35 30 52 97 66 93 96 60 71 12 31 17 38 42 30 50 96 23 3 71 52 2 20 37 36 99 83 87 64 97 56 55 11 91 85 6 31 53 76 8 85 0 81 18 3 17 89 95 26 47 23 68 60 55 86 46 93 53 56 77 29 95 44 54 37 1 84 58 63 24 59 67 94 64 19 96 35 56 35 59 62 55 62 57 85 8 88 6 88 9 59 85 7 58 98 76 87 52 95 41 79 63 69 12 72 48 14 23 45 40 6 66 1 49 21 11 8 95 77 3 68 59 30 75 35 25 68 51 6 34 47 8 49 91 39 21 85 33 85 96 38 30 7 69 58 53 45 17 58 44 97 85 40 41 33 89 30 84 12 28 61 82 61 64 96 0 49 44 32 42 38 25 35 74 97 83 98 69 47 45 94 53 13 60 9 64 37 74 23 24 94 55 54 12 8 36 40 11 82 80 35 4 30 11 69 11 74 82 39 76 36 76 71 59 27 82 1 35 26 76 45 91 56 15 61 25 6 21 79 86 9 61 26 38 0 88 39 9 1 77 62 70 32 66 29 3 61 28 60 61 62 32 42 4 27 78 43 20 41 17 76 41 10 68 22 68 36 6 71 30 73 84 84 43 4 8 46 35 73 42 67 50 59 71 37 21 42 58 78 89 51 41 99 63 54 49 17 24 17 31 55 55 91 34 48 75 58 2 1 62 87 13 87 2 12 98 99 1 98 17 18 59 91 63 30 5 31 52 48 26 73 12 51 49 86 51 97 0 69 15 30 6 75 37 62 8 66 12 0 30 51 30 83 24 32 67 92 2 9 3 46 33 47 79 34 27 84 1 53 96 25 90 14 0 55 80 62 1 97 99 75 89 54 57 78 15 64 22 80 66 98 99 37 89 42 81 36 45 79 27 27 47 28 39 32 3 71 1 67 28 16 55 82 32 6 49 91 76 62 37 36 44 5 86 34 83 15 1 62 48 29 66 77 98 42 66 69 60 7 2 39 29 82 3 50 41 56 0 66 16 20 74 51 58 13 67 73 76 42 10 12 33 31 18 74 36 35 80 22 23 26 11 20 0 9 66 55 45 56 20 80 23 12 63 51 35 5 17 44 45 48 91 44 9 97 77 96 28 19 18 42 19 3 91 38 94 5 8 21 76 78 61 61 68 33 19 73 94 20 67 78 74 34 54 39 72 71 56 22 32 81 13 99 69 80 53 84 19 79 42 88 50 89 75 87 14 96 87 92 18 16 61 76 70 13 31 11 16 13 74 79 27 69 3 19 38 61 56 72 97 91 0 60 44 14 93 53 53 38 0 64 21 33 68 93 24 27 88 87 36 38 34 58 68 69 12 66 23 67 72 71 76 67 99 87 36 64 42 8 87 95 29 2 83 10 99 56 79 72 9 30 22 28 28 24 48 87 1 44 1 11 85 29 15 35 82 20 77 37 27 32 63 61 73 32 96 33 4 3 47 24 1 63 52 37 98 75 28 4 90 48 85 91 91 16 23 82 48 54 49 7 84 5 41 9 57 10 53 8 80 59 90 91 48 29 36 97 30 67 92 18 11 33 66 46 48 60 13 91 23 30 98 27 89 75 60 97 3 73 26 89 29 46 70 94 10 25 13 71 17 89 86 4 15 40 95 80 61 17 0 80 96 64 61 24 92 42 36 15 25 27 69 39 15 5 29 26 90 41 19 43 80 16 21 96 86 31 42 54 12 9 9 40 54 4 44 11 45 73 45 84 16 2 57 69 94 71 63 18 17 10 11 69 44 34 85 25 82 57 20 36 35 5 96 68 98 12 57 85 10 13 65 70 4 67 40 17 35 38 34 97 2 67 41 64 0 88 86 12 78 14 19 26 9 51 74 56 23 81 41 15 48 50 23 37 69 58 40 71 83 50 58 10 64 96 24 16 54 43 77 35 69 14 13 92 89 18 35 66 54 6 93 93 3 72 51 74 49 5 83 73 2 33 78 41 74 29 88 31 33 18 29 98 2 60 89 86 57 32 80 40 3 87 45 25 79 42 13 68 6 3 66 22 1 24 93 49 10 15 54 35 35 77 79 70 21 23 2 32 16 15 23 62 88 82 25 19 81 83 84 41 23 81 52 17 15 45 32 85 69 44 81 73 50 40 75 22 25 17 27 37 37 49 59 58 82 46 63 86 30 20 1 29 5 9 22 89 </values> 2520.08/2500.50 v </instantiation> 2520.08/2500.50 c Unexpected resolution interruption!
OK 7346382
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15321 MiB free)
memory of node 1: 16384 MiB (15467 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283425-1503190155/watcher-4283425-1503190155 -o /tmp/evaluation-result-4283425-1503190155/solver-4283425-1503190155 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1503171914-32555 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 882944886 HOME/instance-4283425-1503190155.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=2813, runsolver pid=2810
[startup+0.100789 s]*
/proc/loadavg: 2.20 1.75 1.57 7/197 2815
/proc/meminfo: memFree=31528156/32770624 swapFree=67108860/67108860
[pid=2813] ppid=2810 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2813/stat : 2813 (xcsp3-exec) S 2810 2813 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 17424601 9740288 345 18446744073709551615 4194304 5098028 140735552316752 140735552314856 140092385485436 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 40595456 140735552323962 140735552324166 140735552324166 140735552327659 0
/proc/2813/statm: 2378 345 289 221 0 87 0
[pid=2815] ppid=2813 vsize=356952 memory=7972 CPUtime=0 cores=0,2,4,6
/proc/2815/stat : 2815 (java) S 2813 2813 17292 0 -1 1077944320 1716 0 0 0 0 0 0 0 20 0 2 0 17424611 365518848 1945 18446744073709551615 4194304 4196468 140731080304896 140731080287440 139718654914295 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
/proc/2815/statm: 89238 1945 1088 1 0 79208 0
[pid=2815/tid=2816] ppid=2813 vsize=11659680 memory=1404226546285846666 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2816/stat : 2816 (java) R 2813 2813 17292 0 -1 4202560 952 0 0 0 0 0 0 0 20 0 3 0 17424611 11939512320 2388 18446744073709551615 4194304 4196468 140731080304896 139718659155664 139718654912772 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2817] ppid=2813 vsize=11659680 memory=3691042058319900680 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2817/stat : 2817 (java) S 2813 2813 17292 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 4 0 17424612 11939512320 2388 18446744073709551615 4194304 4196468 140731080304896 139718589348448 139718654924501 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2818] ppid=2813 vsize=11659680 memory=140473038009984 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2818/stat : 2818 (java) R 2813 2813 17292 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 17424612 11939512320 2388 18446744073709551615 4194304 4196468 140731080304896 139718659155664 139718647654145 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 366464 KiB
Current children cumulated memory: 9352 KiB
[startup+0.209875 s]*
/proc/loadavg: 2.20 1.75 1.57 1/193 2828
/proc/meminfo: memFree=31719188/32770624 swapFree=67108860/67108860
[pid=2813] ppid=2810 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2813/stat : 2813 (xcsp3-exec) S 2810 2813 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 17424601 9740288 345 18446744073709551615 4194304 5098028 140735552316752 140735552314856 140092385485436 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 40595456 140735552323962 140735552324166 140735552324166 140735552327659 0
/proc/2813/statm: 2378 345 289 221 0 87 0
[pid=2815] ppid=2813 vsize=13907304 memory=22408 CPUtime=0.05 cores=0,2,4,6
/proc/2815/stat : 2815 (java) S 2813 2813 17292 0 -1 1077944320 5017 0 0 0 4 1 0 0 20 0 14 0 17424611 14241079296 5602 18446744073709551615 4194304 4196468 140731080304896 140731080287440 139718654914295 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
/proc/2815/statm: 3476826 5602 2552 1 0 3466323 0
[pid=2815/tid=2816] ppid=2813 vsize=13907304 memory=8390339637985935414 CPUtime=0.04 cores=0,2,4,6
/proc/2815/task/2816/stat : 2816 (java) D 2813 2813 17292 0 -1 4202560 3189 0 0 0 3 1 0 0 20 0 14 0 17424611 14241079296 5602 18446744073709551615 4194304 4196468 140731080304896 139718659151776 139718654936317 0 4 1 16800974 18446744071580418449 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2817] ppid=2813 vsize=13907304 memory=4294967608 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2817/stat : 2817 (java) S 2813 2813 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 17424612 14241079296 5602 18446744073709551615 4194304 4196468 140731080304896 139718589348112 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2818] ppid=2813 vsize=13907304 memory=140473038013054 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2818/stat : 2818 (java) S 2813 2813 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 17424612 14241079296 5602 18446744073709551615 4194304 4196468 140731080304896 139718588295568 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2819] ppid=2813 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2819/stat : 2819 (java) S 2813 2813 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 17424612 14241079296 5602 18446744073709551615 4194304 4196468 140731080304896 139718587243024 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2820] ppid=2813 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2820/stat : 2820 (java) S 2813 2813 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 17424612 14241079296 5602 18446744073709551615 4194304 4196468 140731080304896 139718586190480 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2821] ppid=2813 vsize=13907304 memory=140473038009984 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2821/stat : 2821 (java) S 2813 2813 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 17424613 14241079296 5602 18446744073709551615 4194304 4196468 140731080304896 139718132611568 139718654925442 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2822] ppid=2813 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2822/stat : 2822 (java) S 2813 2813 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 17424614 14241079296 5602 18446744073709551615 4194304 4196468 140731080304896 139718131557792 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2823] ppid=2813 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2823/stat : 2823 (java) S 2813 2813 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 17424614 14241079296 5602 18446744073709551615 4194304 4196468 140731080304896 139718130505200 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2824] ppid=2813 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2824/stat : 2824 (java) S 2813 2813 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 17424617 14241079296 5602 18446744073709551615 4194304 4196468 140731080304896 139718129453776 139718654932891 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2825] ppid=2813 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2825/stat : 2825 (java) S 2813 2813 17292 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 14 0 17424617 14241079296 5602 18446744073709551615 4194304 4196468 140731080304896 139718128400368 139718654925442 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2826] ppid=2813 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2826/stat : 2826 (java) S 2813 2813 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 17424617 14241079296 5602 18446744073709551615 4194304 4196468 140731080304896 139718127347824 139718654925442 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2827] ppid=2813 vsize=13907304 memory=140473038009984 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2827/stat : 2827 (java) S 2813 2813 17292 0 -1 1077944384 227 0 0 0 0 0 0 0 20 0 14 0 17424617 14241079296 5602 18446744073709551615 4194304 4196468 140731080304896 139718126295280 139718654925442 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2828] ppid=2813 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2828/stat : 2828 (java) S 2813 2813 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 17424617 14241079296 5602 18446744073709551615 4194304 4196468 140731080304896 139718125242976 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23788 KiB
[startup+0.310337 s]*
/proc/loadavg: 2.20 1.75 1.57 3/192 2831
/proc/meminfo: memFree=31713936/32770624 swapFree=67108860/67108860
[pid=2813] ppid=2810 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2813/stat : 2813 (xcsp3-exec) S 2810 2813 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 17424601 9740288 345 18446744073709551615 4194304 5098028 140735552316752 140735552314856 140092385485436 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 40595456 140735552323962 140735552324166 140735552324166 140735552327659 0
/proc/2813/statm: 2378 345 289 221 0 87 0
[pid=2815] ppid=2813 vsize=13974352 memory=31420 CPUtime=0.18 cores=0,2,4,6
/proc/2815/stat : 2815 (java) S 2813 2813 17292 0 -1 1077944320 6352 0 0 0 16 2 0 0 20 0 15 0 17424611 14309736448 7855 18446744073709551615 4194304 4196468 140731080304896 140731080287440 139718654914295 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
/proc/2815/statm: 3493588 7855 2962 1 0 3482964 0
[pid=2815/tid=2816] ppid=2813 vsize=13974352 memory=6933928925625698159 CPUtime=0.11 cores=0,2,4,6
/proc/2815/task/2816/stat : 2816 (java) R 2813 2813 17292 0 -1 4202560 3647 0 0 0 10 1 0 0 20 0 15 0 17424611 14309736448 7855 18446744073709551615 4194304 4196468 140731080304896 139718659142864 139718638957925 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2817] ppid=2813 vsize=13974352 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2817/stat : 2817 (java) S 2813 2813 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17424612 14309736448 7855 18446744073709551615 4194304 4196468 140731080304896 139718589348112 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2818] ppid=2813 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2818/stat : 2818 (java) S 2813 2813 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17424612 14309736448 7855 18446744073709551615 4194304 4196468 140731080304896 139718588295568 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2819] ppid=2813 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2819/stat : 2819 (java) S 2813 2813 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17424612 14309736448 7855 18446744073709551615 4194304 4196468 140731080304896 139718587243024 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2820] ppid=2813 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2820/stat : 2820 (java) S 2813 2813 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17424612 14309736448 7855 18446744073709551615 4194304 4196468 140731080304896 139718586190480 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2821] ppid=2813 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2821/stat : 2821 (java) S 2813 2813 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17424613 14309736448 7855 18446744073709551615 4194304 4196468 140731080304896 139718132611568 139718654925442 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2822] ppid=2813 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2822/stat : 2822 (java) S 2813 2813 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 17424614 14309736448 7855 18446744073709551615 4194304 4196468 140731080304896 139718131557792 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2823] ppid=2813 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2823/stat : 2823 (java) S 2813 2813 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17424614 14309736448 7855 18446744073709551615 4194304 4196468 140731080304896 139718130505200 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2824] ppid=2813 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2824/stat : 2824 (java) S 2813 2813 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17424617 14309736448 7855 18446744073709551615 4194304 4196468 140731080304896 139718129453776 139718654932891 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2825] ppid=2813 vsize=13974352 memory=140472878376608 CPUtime=0.01 cores=0,2,4,6
/proc/2815/task/2825/stat : 2825 (java) R 2813 2813 17292 0 -1 1077944384 521 0 0 0 1 0 0 0 20 0 15 0 17424617 14309736448 7855 18446744073709551615 4194304 4196468 140731080304896 139718128400368 139718654925442 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2826] ppid=2813 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2826/stat : 2826 (java) R 2813 2813 17292 0 -1 4202560 193 0 0 0 0 0 0 0 20 0 15 0 17424617 14309736448 7855 18446744073709551615 4194304 4196468 140731080304896 139718127328840 139718640025096 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2827] ppid=2813 vsize=13974352 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/2815/task/2827/stat : 2827 (java) R 2813 2813 17292 0 -1 4202560 690 0 0 0 3 0 0 0 20 0 15 0 17424617 14309736448 7855 18446744073709551615 4194304 4196468 140731080304896 139718126292088 139718633527424 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2828] ppid=2813 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2828/stat : 2828 (java) S 2813 2813 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17424617 14309736448 7855 18446744073709551615 4194304 4196468 140731080304896 139718125242976 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2829] ppid=2813 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2829/stat : 2829 (java) S 2813 2813 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17424626 14309736448 7855 18446744073709551615 4194304 4196468 140731080304896 139718124190512 139718654925442 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 32800 KiB
[startup+0.707211 s]
/proc/loadavg: 2.20 1.75 1.57 4/202 2851
/proc/meminfo: memFree=31688680/32770624 swapFree=67108860/67108860
[pid=2813] ppid=2810 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2813/stat : 2813 (xcsp3-exec) S 2810 2813 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 17424601 9740288 345 18446744073709551615 4194304 5098028 140735552316752 140735552314856 140092385485436 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 40595456 140735552323962 140735552324166 140735552324166 140735552327659 0
/proc/2813/statm: 2378 345 289 221 0 87 0
[pid=2815] ppid=2813 vsize=13978684 memory=74076 CPUtime=1.18 cores=0,2,4,6
/proc/2815/stat : 2815 (java) S 2813 2813 17292 0 -1 1077944320 13232 0 0 0 113 5 0 0 20 0 15 0 17424611 14314172416 18519 18446744073709551615 4194304 4196468 140731080304896 140731080287440 139718654914295 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
/proc/2815/statm: 3494671 18519 3156 1 0 3482964 0
[pid=2815/tid=2816] ppid=2813 vsize=13978684 memory=1728 CPUtime=0.49 cores=0,2,4,6
/proc/2815/task/2816/stat : 2816 (java) R 2813 2813 17292 0 -1 4202560 7873 0 0 0 46 3 0 0 20 0 15 0 17424611 14314172416 18519 18446744073709551615 4194304 4196468 140731080304896 139718659148816 139718258651090 0 4 1 16800974 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2817] ppid=2813 vsize=13978684 memory=233 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2817/stat : 2817 (java) S 2813 2813 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17424612 14314172416 18519 18446744073709551615 4194304 4196468 140731080304896 139718589348112 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2818] ppid=2813 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2818/stat : 2818 (java) S 2813 2813 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17424612 14314172416 18519 18446744073709551615 4194304 4196468 140731080304896 139718588295568 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2819] ppid=2813 vsize=13978684 memory=120 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2819/stat : 2819 (java) S 2813 2813 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17424612 14314172416 18519 18446744073709551615 4194304 4196468 140731080304896 139718587243024 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2820] ppid=2813 vsize=13978684 memory=7 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2820/stat : 2820 (java) S 2813 2813 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17424612 14314172416 18519 18446744073709551615 4194304 4196468 140731080304896 139718586190480 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2821] ppid=2813 vsize=13978684 memory=33 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2821/stat : 2821 (java) S 2813 2813 17292 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 17424613 14314172416 18519 18446744073709551615 4194304 4196468 140731080304896 139718132611568 139718654925442 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2822] ppid=2813 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2822/stat : 2822 (java) S 2813 2813 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 17424614 14314172416 18519 18446744073709551615 4194304 4196468 140731080304896 139718131557792 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2823] ppid=2813 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2823/stat : 2823 (java) S 2813 2813 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17424614 14314172416 18519 18446744073709551615 4194304 4196468 140731080304896 139718130505200 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2824] ppid=2813 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2824/stat : 2824 (java) S 2813 2813 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17424617 14314172416 18519 18446744073709551615 4194304 4196468 140731080304896 139718129453776 139718654932891 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2825] ppid=2813 vsize=13978684 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/2815/task/2825/stat : 2825 (java) R 2813 2813 17292 0 -1 4202560 1181 0 0 0 18 0 0 0 20 0 15 0 17424617 14314172416 18519 18446744073709551615 4194304 4196468 140731080304896 139718128400368 139718638881457 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2826] ppid=2813 vsize=13978684 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/2815/task/2826/stat : 2826 (java) R 2813 2813 17292 0 -1 4202560 1225 0 0 0 20 0 0 0 20 0 15 0 17424617 14314172416 18519 18446744073709551615 4194304 4196468 140731080304896 139718127334368 139718636434723 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2827] ppid=2813 vsize=13978684 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/2815/task/2827/stat : 2827 (java) S 2813 2813 17292 0 -1 1077944384 1646 0 0 0 27 0 0 0 20 0 15 0 17424617 14314172416 18519 18446744073709551615 4194304 4196468 140731080304896 139718126295280 139718654925442 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2828] ppid=2813 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2828/stat : 2828 (java) S 2813 2813 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17424617 14314172416 18519 18446744073709551615 4194304 4196468 140731080304896 139718125242976 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2829] ppid=2813 vsize=13978684 memory=55 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2829/stat : 2829 (java) S 2813 2813 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17424626 14314172416 18519 18446744073709551615 4194304 4196468 140731080304896 139718124190512 139718654925442 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 75456 KiB
[startup+1.50079 s]
/proc/loadavg: 2.20 1.75 1.57 5/209 2858
/proc/meminfo: memFree=31585256/32770624 swapFree=67108860/67108860
[pid=2813] ppid=2810 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2813/stat : 2813 (xcsp3-exec) S 2810 2813 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 17424601 9740288 345 18446744073709551615 4194304 5098028 140735552316752 140735552314856 140092385485436 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 40595456 140735552323962 140735552324166 140735552324166 140735552327659 0
/proc/2813/statm: 2378 345 289 221 0 87 0
[pid=2815] ppid=2813 vsize=13978684 memory=99112 CPUtime=2.37 cores=0,2,4,6
/proc/2815/stat : 2815 (java) S 2813 2813 17292 0 -1 1077944320 14570 0 0 0 232 5 0 0 20 0 15 0 17424611 14314172416 24778 18446744073709551615 4194304 4196468 140731080304896 140731080287440 139718654914295 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
/proc/2815/statm: 3494671 24778 3174 1 0 3482964 0
[pid=2815/tid=2816] ppid=2813 vsize=13978684 memory=0 CPUtime=1.3 cores=0,2,4,6
/proc/2815/task/2816/stat : 2816 (java) R 2813 2813 17292 0 -1 4202560 8155 0 0 0 126 4 0 0 20 0 15 0 17424611 14314172416 24778 18446744073709551615 4194304 4196468 140731080304896 139718659151360 139718637901467 0 4 1 16800974 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2817] ppid=2813 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2817/stat : 2817 (java) S 2813 2813 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17424612 14314172416 24778 18446744073709551615 4194304 4196468 140731080304896 139718589348112 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2818] ppid=2813 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2818/stat : 2818 (java) S 2813 2813 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17424612 14314172416 24778 18446744073709551615 4194304 4196468 140731080304896 139718588295568 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2819] ppid=2813 vsize=13978684 memory=7680170660397595203 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2819/stat : 2819 (java) S 2813 2813 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17424612 14314172416 24778 18446744073709551615 4194304 4196468 140731080304896 139718587243024 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2820] ppid=2813 vsize=13978684 memory=-7028383565733675155 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2820/stat : 2820 (java) S 2813 2813 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17424612 14314172416 24778 18446744073709551615 4194304 4196468 140731080304896 139718586190480 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2821] ppid=2813 vsize=13978684 memory=-7098080424032564416 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2821/stat : 2821 (java) S 2813 2813 17292 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 17424613 14314172416 24778 18446744073709551615 4194304 4196468 140731080304896 139718132611568 139718654925442 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2822] ppid=2813 vsize=13978684 memory=-7384994778349281184 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2822/stat : 2822 (java) S 2813 2813 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 17424614 14314172416 24778 18446744073709551615 4194304 4196468 140731080304896 139718131557792 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2823] ppid=2813 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2823/stat : 2823 (java) S 2813 2813 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17424614 14314172416 24778 18446744073709551615 4194304 4196468 140731080304896 139718130505200 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2824] ppid=2813 vsize=13978684 memory=-7316765472996040608 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2824/stat : 2824 (java) S 2813 2813 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17424617 14314172416 24778 18446744073709551615 4194304 4196468 140731080304896 139718129453776 139718654932891 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2825] ppid=2813 vsize=13978684 memory=-7595754389018307680 CPUtime=0.36 cores=0,2,4,6
/proc/2815/task/2825/stat : 2825 (java) S 2813 2813 17292 0 -1 1077944384 1970 0 0 0 36 0 0 0 20 0 15 0 17424617 14314172416 24778 18446744073709551615 4194304 4196468 140731080304896 139718128400368 139718654925442 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2826] ppid=2813 vsize=13978684 memory=7449332438245076576 CPUtime=0.35 cores=0,2,4,6
################
# More data... #
################
/proc/2815/task/2823/stat : 2823 (java) S 2813 2813 17292 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 15 0 17424614 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718130505216 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2824] ppid=2813 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2824/stat : 2824 (java) S 2813 2813 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17424617 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718129453776 139718654932891 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2825] ppid=2813 vsize=13980732 memory=1380 CPUtime=5.34 cores=0,2,4,6
/proc/2815/task/2825/stat : 2825 (java) S 2813 2813 17292 0 -1 1077944384 29209 0 0 0 530 4 0 0 20 0 15 0 17424617 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718128400368 139718654925442 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2826] ppid=2813 vsize=13980732 memory=4124 CPUtime=5.62 cores=0,2,4,6
/proc/2815/task/2826/stat : 2826 (java) S 2813 2813 17292 0 -1 1077944384 25770 0 0 0 558 4 0 0 20 0 15 0 17424617 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718127347824 139718654925442 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2827] ppid=2813 vsize=13980732 memory=1380 CPUtime=1.04 cores=0,2,4,6
/proc/2815/task/2827/stat : 2827 (java) S 2813 2813 17292 0 -1 1077944384 13576 0 0 0 100 4 0 0 20 0 15 0 17424617 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718126295280 139718654925442 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2828] ppid=2813 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2828/stat : 2828 (java) S 2813 2813 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17424617 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718125242976 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2829] ppid=2813 vsize=13980732 memory=2236876 CPUtime=1.52 cores=0,2,4,6
/proc/2815/task/2829/stat : 2829 (java) S 2813 2813 17292 0 -1 1077944384 1598 0 0 0 79 73 0 0 20 0 15 0 17424626 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718124190512 139718654925442 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 22 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
Current children cumulated CPU time: 2401.65 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2238416 KiB
[startup+2442.3 s]
/proc/loadavg: 1.76 1.76 1.80 3/212 3073
/proc/meminfo: memFree=27897284/32770624 swapFree=67108860/67108860
[pid=2813] ppid=2810 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2813/stat : 2813 (xcsp3-exec) S 2810 2813 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 17424601 9740288 345 18446744073709551615 4194304 5098028 140735552316752 140735552314856 140092385485436 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 40595456 140735552323962 140735552324166 140735552324166 140735552327659 0
/proc/2813/statm: 2378 345 289 221 0 87 0
[pid=2815] ppid=2813 vsize=13980732 memory=2237036 CPUtime=2461.78 cores=0,2,4,6
/proc/2815/stat : 2815 (java) S 2813 2813 17292 0 -1 1077944320 162340 0 0 0 245928 250 0 0 20 0 15 0 17424611 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 140731080287440 139718654914295 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
/proc/2815/statm: 3495183 559259 3269 1 0 3483476 0
[pid=2815/tid=2816] ppid=2813 vsize=13980732 memory=2237036 CPUtime=2439.84 cores=0,2,4,6
/proc/2815/task/2816/stat : 2816 (java) R 2813 2813 17292 0 -1 4202560 69571 0 0 0 243969 15 0 0 20 0 15 0 17424611 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718659153000 139718261977973 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2817] ppid=2813 vsize=13980732 memory=2237036 CPUtime=1.99 cores=0,2,4,6
/proc/2815/task/2817/stat : 2817 (java) S 2813 2813 17292 0 -1 1077944384 3869 0 0 0 159 40 0 0 20 0 15 0 17424612 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718589348112 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2818] ppid=2813 vsize=13980732 memory=2237036 CPUtime=2 cores=0,2,4,6
/proc/2815/task/2818/stat : 2818 (java) S 2813 2813 17292 0 -1 1077944384 3063 0 0 0 161 39 0 0 20 0 15 0 17424612 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718588295568 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2819] ppid=2813 vsize=13980732 memory=1380 CPUtime=2 cores=0,2,4,6
/proc/2815/task/2819/stat : 2819 (java) S 2813 2813 17292 0 -1 1077944384 4529 0 0 0 160 40 0 0 20 0 15 0 17424612 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718587243024 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2820] ppid=2813 vsize=13980732 memory=2237036 CPUtime=1.99 cores=0,2,4,6
/proc/2815/task/2820/stat : 2820 (java) S 2813 2813 17292 0 -1 1077944384 4810 0 0 0 159 40 0 0 20 0 15 0 17424612 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718586190480 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2821] ppid=2813 vsize=13980732 memory=2237036 CPUtime=0.19 cores=0,2,4,6
/proc/2815/task/2821/stat : 2821 (java) S 2813 2813 17292 0 -1 1077944384 4440 0 0 0 15 4 0 0 20 0 15 0 17424613 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718132611568 139718654925442 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2822] ppid=2813 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2822/stat : 2822 (java) S 2813 2813 17292 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 17424614 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718131557856 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2823] ppid=2813 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2823/stat : 2823 (java) S 2813 2813 17292 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 15 0 17424614 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718130505216 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2824] ppid=2813 vsize=13980732 memory=2237036 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2824/stat : 2824 (java) S 2813 2813 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17424617 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718129453776 139718654932891 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2825] ppid=2813 vsize=13980732 memory=13128 CPUtime=5.35 cores=0,2,4,6
/proc/2815/task/2825/stat : 2825 (java) S 2813 2813 17292 0 -1 1077944384 29497 0 0 0 531 4 0 0 20 0 15 0 17424617 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718128400368 139718654925442 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2826] ppid=2813 vsize=13980732 memory=2432 CPUtime=5.71 cores=0,2,4,6
/proc/2815/task/2826/stat : 2826 (java) S 2813 2813 17292 0 -1 1077944384 25864 0 0 0 567 4 0 0 20 0 15 0 17424617 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718127347824 139718654925442 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2827] ppid=2813 vsize=13980732 memory=1728 CPUtime=1.04 cores=0,2,4,6
/proc/2815/task/2827/stat : 2827 (java) S 2813 2813 17292 0 -1 1077944384 13665 0 0 0 100 4 0 0 20 0 15 0 17424617 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718126295280 139718654925442 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2828] ppid=2813 vsize=13980732 memory=2237036 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2828/stat : 2828 (java) S 2813 2813 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17424617 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718125242976 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2829] ppid=2813 vsize=13980732 memory=2237036 CPUtime=1.56 cores=0,2,4,6
/proc/2815/task/2829/stat : 2829 (java) S 2813 2813 17292 0 -1 1077944384 1617 0 0 0 81 75 0 0 20 0 15 0 17424626 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718124190512 139718654925442 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 22 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
Current children cumulated CPU time: 2461.78 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2238416 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2500.5 s]
/proc/loadavg: 1.71 1.75 1.79 3/212 3155
/proc/meminfo: memFree=29335184/32770624 swapFree=67108860/67108860
[pid=2813] ppid=2810 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2813/stat : 2813 (xcsp3-exec) S 2810 2813 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 17424601 9740288 345 18446744073709551615 4194304 5098028 140735552316752 140735552314856 140092385485436 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 40595456 140735552323962 140735552324166 140735552324166 140735552327659 0
/proc/2813/statm: 2378 345 289 221 0 87 0
[pid=2815] ppid=2813 vsize=13980732 memory=2237036 CPUtime=2520.08 cores=0,2,4,6
/proc/2815/stat : 2815 (java) S 2813 2813 17292 0 -1 1077944320 163227 0 0 0 251757 251 0 0 20 0 15 0 17424611 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 140731080287440 139718654914295 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
/proc/2815/statm: 3495183 559259 3269 1 0 3483476 0
[pid=2815/tid=2816] ppid=2813 vsize=13980732 memory=1380 CPUtime=2498.04 cores=0,2,4,6
/proc/2815/task/2816/stat : 2816 (java) R 2813 2813 17292 0 -1 4202560 70387 0 0 0 249789 15 0 0 20 0 15 0 17424611 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718659150920 139718263733653 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2817] ppid=2813 vsize=13980732 memory=2237036 CPUtime=1.99 cores=0,2,4,6
/proc/2815/task/2817/stat : 2817 (java) S 2813 2813 17292 0 -1 1077944384 3869 0 0 0 159 40 0 0 20 0 15 0 17424612 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718589348112 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2818] ppid=2813 vsize=13980732 memory=2237036 CPUtime=2 cores=0,2,4,6
/proc/2815/task/2818/stat : 2818 (java) S 2813 2813 17292 0 -1 1077944384 3063 0 0 0 161 39 0 0 20 0 15 0 17424612 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718588295568 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2819] ppid=2813 vsize=13980732 memory=2237036 CPUtime=2 cores=0,2,4,6
/proc/2815/task/2819/stat : 2819 (java) S 2813 2813 17292 0 -1 1077944384 4529 0 0 0 160 40 0 0 20 0 15 0 17424612 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718587243024 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2820] ppid=2813 vsize=13980732 memory=2237036 CPUtime=1.99 cores=0,2,4,6
/proc/2815/task/2820/stat : 2820 (java) S 2813 2813 17292 0 -1 1077944384 4810 0 0 0 159 40 0 0 20 0 15 0 17424612 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718586190480 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2821] ppid=2813 vsize=13980732 memory=2237036 CPUtime=0.19 cores=0,2,4,6
/proc/2815/task/2821/stat : 2821 (java) S 2813 2813 17292 0 -1 1077944384 4447 0 0 0 15 4 0 0 20 0 15 0 17424613 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718132611568 139718654925442 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2822] ppid=2813 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2822/stat : 2822 (java) S 2813 2813 17292 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 17424614 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718131557856 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2823] ppid=2813 vsize=13980732 memory=2237036 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2823/stat : 2823 (java) S 2813 2813 17292 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 15 0 17424614 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718130505216 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2824] ppid=2813 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2824/stat : 2824 (java) S 2813 2813 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17424617 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718129453776 139718654932891 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2825] ppid=2813 vsize=13980732 memory=2237036 CPUtime=5.35 cores=0,2,4,6
/proc/2815/task/2825/stat : 2825 (java) S 2813 2813 17292 0 -1 1077944384 29499 0 0 0 531 4 0 0 20 0 15 0 17424617 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718128400368 139718654925442 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2826] ppid=2813 vsize=13980732 memory=1380 CPUtime=5.78 cores=0,2,4,6
/proc/2815/task/2826/stat : 2826 (java) S 2813 2813 17292 0 -1 1077944384 25891 0 0 0 574 4 0 0 20 0 15 0 17424617 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718127347824 139718654925442 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2827] ppid=2813 vsize=13980732 memory=0 CPUtime=1.05 cores=0,2,4,6
/proc/2815/task/2827/stat : 2827 (java) S 2813 2813 17292 0 -1 1077944384 13673 0 0 0 101 4 0 0 20 0 15 0 17424617 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718126295280 139718654925442 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2828] ppid=2813 vsize=13980732 memory=2237036 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2828/stat : 2828 (java) S 2813 2813 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17424617 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718125242976 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2829] ppid=2813 vsize=13980732 memory=1380 CPUtime=1.6 cores=0,2,4,6
/proc/2815/task/2829/stat : 2829 (java) S 2813 2813 17292 0 -1 1077944384 1644 0 0 0 83 77 0 0 20 0 15 0 17424626 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718124190512 139718654925442 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 22 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2238416 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2500.51 s]
# the end of solver process 2813 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002082 s, system=0 s
[startup+2500.52 s]
# the end of solver process 2815 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.59 s, system=2.53252 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2500.5 s]
/proc/loadavg: 1.71 1.75 1.79 3/212 3155
/proc/meminfo: memFree=29335184/32770624 swapFree=67108860/67108860
[pid=2813] ppid=2810 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2813/stat : 2813 (xcsp3-exec) S 2810 2813 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 17424601 9740288 345 18446744073709551615 4194304 5098028 140735552316752 140735552314856 140092385485436 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 40595456 140735552323962 140735552324166 140735552324166 140735552327659 0
/proc/2813/statm: 2378 345 289 221 0 87 0
[pid=2815] ppid=2813 vsize=13980732 memory=2237036 CPUtime=2520.08 cores=0,2,4,6
/proc/2815/stat : 2815 (java) S 2813 2813 17292 0 -1 1077944320 163227 0 0 0 251757 251 0 0 20 0 15 0 17424611 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 140731080287440 139718654914295 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
/proc/2815/statm: 3495183 559259 3269 1 0 3483476 0
[pid=2815/tid=2816] ppid=2813 vsize=13980732 memory=1380 CPUtime=2498.04 cores=0,2,4,6
/proc/2815/task/2816/stat : 2816 (java) R 2813 2813 17292 0 -1 4202560 70387 0 0 0 249789 15 0 0 20 0 15 0 17424611 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718659150920 139718263733653 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2817] ppid=2813 vsize=13980732 memory=2237036 CPUtime=1.99 cores=0,2,4,6
/proc/2815/task/2817/stat : 2817 (java) S 2813 2813 17292 0 -1 1077944384 3869 0 0 0 159 40 0 0 20 0 15 0 17424612 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718589348112 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2818] ppid=2813 vsize=13980732 memory=2237036 CPUtime=2 cores=0,2,4,6
/proc/2815/task/2818/stat : 2818 (java) S 2813 2813 17292 0 -1 1077944384 3063 0 0 0 161 39 0 0 20 0 15 0 17424612 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718588295568 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2819] ppid=2813 vsize=13980732 memory=2237036 CPUtime=2 cores=0,2,4,6
/proc/2815/task/2819/stat : 2819 (java) S 2813 2813 17292 0 -1 1077944384 4529 0 0 0 160 40 0 0 20 0 15 0 17424612 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718587243024 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2820] ppid=2813 vsize=13980732 memory=2237036 CPUtime=1.99 cores=0,2,4,6
/proc/2815/task/2820/stat : 2820 (java) S 2813 2813 17292 0 -1 1077944384 4810 0 0 0 159 40 0 0 20 0 15 0 17424612 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718586190480 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2821] ppid=2813 vsize=13980732 memory=2237036 CPUtime=0.19 cores=0,2,4,6
/proc/2815/task/2821/stat : 2821 (java) S 2813 2813 17292 0 -1 1077944384 4447 0 0 0 15 4 0 0 20 0 15 0 17424613 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718132611568 139718654925442 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2822] ppid=2813 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2822/stat : 2822 (java) S 2813 2813 17292 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 17424614 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718131557856 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2823] ppid=2813 vsize=13980732 memory=2237036 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2823/stat : 2823 (java) S 2813 2813 17292 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 15 0 17424614 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718130505216 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2824] ppid=2813 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2824/stat : 2824 (java) S 2813 2813 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17424617 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718129453776 139718654932891 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2825] ppid=2813 vsize=13980732 memory=2237036 CPUtime=5.35 cores=0,2,4,6
/proc/2815/task/2825/stat : 2825 (java) S 2813 2813 17292 0 -1 1077944384 29499 0 0 0 531 4 0 0 20 0 15 0 17424617 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718128400368 139718654925442 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2826] ppid=2813 vsize=13980732 memory=1380 CPUtime=5.78 cores=0,2,4,6
/proc/2815/task/2826/stat : 2826 (java) S 2813 2813 17292 0 -1 1077944384 25891 0 0 0 574 4 0 0 20 0 15 0 17424617 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718127347824 139718654925442 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2827] ppid=2813 vsize=13980732 memory=0 CPUtime=1.05 cores=0,2,4,6
/proc/2815/task/2827/stat : 2827 (java) S 2813 2813 17292 0 -1 1077944384 13673 0 0 0 101 4 0 0 20 0 15 0 17424617 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718126295280 139718654925442 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2828] ppid=2813 vsize=13980732 memory=2237036 CPUtime=0 cores=0,2,4,6
/proc/2815/task/2828/stat : 2828 (java) S 2813 2813 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17424617 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718125242976 139718654924501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
[pid=2815/tid=2829] ppid=2813 vsize=13980732 memory=1380 CPUtime=1.6 cores=0,2,4,6
/proc/2815/task/2829/stat : 2829 (java) S 2813 2813 17292 0 -1 1077944384 1644 0 0 0 83 77 0 0 20 0 15 0 17424626 14316269568 559259 18446744073709551615 4194304 4196468 140731080304896 139718124190512 139718654925442 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 22 0 0 6293624 6294260 12795904 140731080307122 140731080307298 140731080307298 140731080310735 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2238416 KiB
Child status: 143
Real time (s): 2500.52
CPU time (s): 2520.12
CPU user time (s): 2517.59
CPU system time (s): 2.53252
CPU usage (%): 100.784
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 2238416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.59
system time used= 2.53252
maximum resident set size= 2237456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164259
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59064
involuntary context switches= 1392
# summary of solver processes directly reported to runsolver:
# pid: 2813,2815
# total CPU time (s): 2520.12
# total CPU user time (s): 2517.59
# total CPU system time (s): 2.53252
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6649 second user time and 24.1677 second system time
The end
Begin job on node129 at 2017-08-20 02:35:17 IDJOB=4283425 IDBENCH=123023 IDSOLVER=2679 FILE ID=node129/4283425-1503190155 RUNJOBID= node129-1503171914-32555 PBS_JOBID= Free space on /tmp= 62004 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-tai80a.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-4283425-1503190155/watcher-4283425-1503190155 -o /tmp/evaluation-result-4283425-1503190155/solver-4283425-1503190155 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1503171914-32555 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 882944886 HOME/instance-4283425-1503190155.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c9a66f606132a3c8760ec6756f0c4250 RANDOM SEED=882944886 node129.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.73 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.73 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.73 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.73 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: 31529336 kB MemAvailable: 31820080 kB Buffers: 194000 kB Cached: 386092 kB SwapCached: 0 kB Active: 455540 kB Inactive: 381536 kB Active(anon): 257280 kB Inactive(anon): 16748 kB Active(file): 198260 kB Inactive(file): 364788 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 18528 kB Writeback: 0 kB AnonPages: 256812 kB Mapped: 45124 kB Shmem: 17060 kB Slab: 111884 kB SReclaimable: 87060 kB SUnreclaim: 24824 kB KernelStack: 3440 kB PageTables: 5248 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1383312 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 178176 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 62000 MiB End job on node129 at 2017-08-20 03:16:58