Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 5a (2017-07-26) | SAT (TO) | 532 | 2520.0601 | 2449.1201 |
| Name | StillLife/StillLife-wst-s1/ StillLife-wastage-37.xml |
| MD5SUM | 45cb885f577274590a53a0b26d80d877 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 686 |
| Best CPU time to get the best result obtained on this benchmark | 2400.02 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 3082 |
| Number of constraints | 1747 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 3043 |
| Distribution of domain sizes | [{"size":2,"count":1521},{"size":3,"count":1521},{"size":1370,"count":1},{"size":3043,"count":39}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 40 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":1518},{"degree":3,"count":42},{"degree":4,"count":148},{"degree":8,"count":144},{"degree":9,"count":1225},{"degree":40,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 41 |
| Distribution of constraint arities | [{"arity":2,"count":187},{"arity":3,"count":148},{"arity":10,"count":1369},{"arity":39,"count":4},{"arity":40,"count":1},{"arity":41,"count":38}] |
| Number of extensional constraints | 1517 |
| Number of intensional constraints | 186 |
| Distribution of constraint types | [{"type":"extension","count":1517},{"type":"intension","count":186},{"type":"sum","count":40},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
0.00/0.09 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4272276-1502691863.xml" -tl '2520s' -p 1 -x 3 0.10/0.26 c [HOME/instance-4272276-1502691863.xml, -tl, 2520s, -p, 1, -x, 3] 0.30/0.32 c simple solver 0.30/0.39 c parse instance... 2.66/1.32 c solve instance... 29.90/20.97 o 510 32.50/21.80 o 512 67.79/53.35 o 515 68.20/53.71 o 516 74.68/60.01 o 528 77.83/63.13 o 530 79.17/64.46 o 531 282.31/263.14 o 532 2520.04/2449.11 s SATISFIABLE 2520.04/2449.11 v <instantiation> 2520.04/2449.11 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][30] w[0][31] w[0][32] w[0][33] w[0][34] w[0][35] w[0][36] w[0][37] w[0][38] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][30] w[1][31] w[1][32] w[1][33] w[1][34] w[1][35] w[1][36] w[1][37] w[1][38] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][30] w[2][31] w[2][32] w[2][33] w[2][34] w[2][35] w[2][36] w[2][37] w[2][38] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][30] w[3][31] w[3][32] w[3][33] w[3][34] w[3][35] w[3][36] w[3][37] w[3][38] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][30] w[4][31] w[4][32] w[4][33] w[4][34] w[4][35] w[4][36] w[4][37] w[4][38] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][30] w[5][31] w[5][32] w[5][33] w[5][34] w[5][35] w[5][36] w[5][37] w[5][38] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][30] w[6][31] w[6][32] w[6][33] w[6][34] w[6][35] w[6][36] w[6][37] w[6][38] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][30] w[7][31] w[7][32] w[7][33] w[7][34] w[7][35] w[7][36] w[7][37] w[7][38] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][30] w[8][31] w[8][32] w[8][33] w[8][34] w[8][35] w[8][36] w[8][37] w[8][38] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][30] w[9][31] w[9][32] w[9][33] w[9][34] w[9][35] w[9][36] w[9][37] w[9][38] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][30] w[10][31] w[10][32] w[10][33] w[10][34] w[10][35] w[10][36] w[10][37] w[10][38] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][30] w[11][31] w[11][32] w[11][33] w[11][34] w[11][35] w[11][36] w[11][37] w[11][38] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][30] w[12][31] w[12][32] w[12][33] w[12][34] w[12][35] w[12][36] w[12][37] w[12][38] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][30] w[13][31] w[13][32] w[13][33] w[13][34] w[13][35] w[13][36] w[13][37] w[13][38] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][30] w[14][31] w[14][32] w[14][33] w[14][34] w[14][35] w[14][36] w[14][37] w[14][38] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][30] w[15][31] w[15][32] w[15][33] w[15][34] w[15][35] w[15][36] w[15][37] w[15][38] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][30] w[16][31] w[16][32] w[16][33] w[16][34] w[16][35] w[16][36] w[16][37] w[16][38] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][30] w[17][31] w[17][32] w[17][33] w[17][34] w[17][35] w[17][36] w[17][37] w[17][38] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][30] w[18][31] w[18][32] w[18][33] w[18][34] w[18][35] w[18][36] w[18][37] w[18][38] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][30] w[19][31] w[19][32] w[19][33] w[19][34] w[19][35] w[19][36] w[19][37] w[19][38] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][30] w[20][31] w[20][32] w[20][33] w[20][34] w[20][35] w[20][36] w[20][37] w[20][38] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][30] w[21][31] w[21][32] w[21][33] w[21][34] w[21][35] w[21][36] w[21][37] w[21][38] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][30] w[22][31] w[22][32] w[22][33] w[22][34] w[22][35] w[22][36] w[22][37] w[22][38] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][30] w[23][31] w[23][32] w[23][33] w[23][34] w[23][35] w[23][36] w[23][37] w[23][38] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][30] w[24][31] w[24][32] w[24][33] w[24][34] w[24][35] w[24][36] w[24][37] w[24][38] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][30] w[25][31] w[25][32] w[25][33] w[25][34] w[25][35] w[25][36] w[25][37] w[25][38] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][30] w[26][31] w[26][32] w[26][33] w[26][34] w[26][35] w[26][36] w[26][37] w[26][38] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][30] w[27][31] w[27][32] w[27][33] w[27][34] w[27][35] w[27][36] w[27][37] w[27][38] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][30] w[28][31] w[28][32] w[28][33] w[28][34] w[28][35] w[28][36] w[28][37] w[28][38] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[29][31] w[29][32] w[29][33] w[29][34] w[29][35] w[29][36] w[29][37] w[29][38] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] w[30][31] w[30][32] w[30][33] w[30][34] w[30][35] w[30][36] w[30][37] w[30][38] w[31][0] w[31][1] w[31][2] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][30] w[31][31] w[31][32] w[31][33] w[31][34] w[31][35] w[31][36] w[31][37] w[31][38] w[32][0] w[32][1] w[32][2] w[32][3] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[32][10] w[32][11] w[32][12] w[32][13] w[32][14] w[32][15] w[32][16] w[32][17] w[32][18] w[32][19] w[32][20] w[32][21] w[32][22] w[32][23] w[32][24] w[32][25] w[32][26] w[32][27] w[32][28] w[32][29] w[32][30] w[32][31] w[32][32] w[32][33] w[32][34] w[32][35] w[32][36] w[32][37] w[32][38] w[33][0] w[33][1] w[33][2] w[33][3] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[33][10] w[33][11] w[33][12] w[33][13] w[33][14] w[33][15] w[33][16] w[33][17] w[33][18] w[33][19] w[33][20] w[33][21] w[33][22] w[33][23] w[33][24] w[33][25] w[33][26] w[33][27] w[33][28] w[33][29] w[33][30] w[33][31] w[33][32] w[33][33] w[33][34] w[33][35] w[33][36] w[33][37] w[33][38] w[34][0] w[34][1] w[34][2] w[34][3] w[34][4] w[34][5] w[34][6] w[34][7] w[34][8] w[34][9] w[34][10] w[34][11] w[34][12] w[34][13] w[34][14] w[34][15] w[34][16] w[34][17] w[34][18] w[34][19] w[34][20] w[34][21] w[34][22] w[34][23] w[34][24] w[34][25] w[34][26] w[34][27] w[34][28] w[34][29] w[34][30] w[34][31] w[34][32] w[34][33] w[34][34] w[34][35] w[34][36] w[34][37] w[34][38] w[35][0] w[35][1] w[35][2] w[35][3] w[35][4] w[35][5] w[35][6] w[35][7] w[35][8] w[35][9] w[35][10] w[35][11] w[35][12] w[35][13] w[35][14] w[35][15] w[35][16] w[35][17] w[35][18] w[35][19] w[35][20] w[35][21] w[35][22] w[35][23] w[35][24] w[35][25] w[35][26] w[35][27] w[35][28] w[35][29] w[35][30] w[35][31] w[35][32] w[35][33] w[35][34] w[35][35] w[35][36] w[35][37] w[35][38] w[36][0] w[36][1] w[36][2] w[36][3] w[36][4] w[36][5] w[36][6] w[36][7] w[36][8] w[36][9] w[36][10] w[36][11] w[36][12] w[36][13] w[36][14] w[36][15] w[36][16] w[36][17] w[36][18] w[36][19] w[36][20] w[36][21] w[36][22] w[36][23] w[36][24] w[36][25] w[36][26] w[36][27] w[36][28] w[36][29] w[36][30] w[36][31] w[36][32] w[36][33] w[36][34] w[36][35] w[36][36] w[36][37] w[36][38] w[37][0] w[37][1] w[37][2] w[37][3] w[37][4] w[37][5] w[37][6] w[37][7] w[37][8] w[37][9] w[37][10] w[37][11] w[37][12] w[37][13] w[37][14] w[37][15] w[37][16] w[37][17] w[37][18] w[37][19] w[37][20] w[37][21] w[37][22] w[37][23] w[37][24] w[37][25] w[37][26] w[37][27] w[37][28] w[37][29] w[37][30] w[37][31] w[37][32] w[37][33] w[37][34] w[37][35] w[37][36] w[37][37] w[37][38] w[38][0] w[38][1] w[38][2] w[38][3] w[38][4] w[38][5] w[38][6] w[38][7] w[38][8] w[38][9] w[38][10] w[38][11] w[38][12] w[38][13] w[38][14] w[38][15] w[38][16] w[38][17] w[38][18] w[38][19] w[38][20] w[38][21] w[38][22] w[38][23] w[38][24] w[38][25] w[38][26] w[38][27] w[38][28] w[38][29] w[38][30] w[38][31] w[38][32] w[38][33] w[38][34] w[38][35] w[38][36] w[38][37] w[38][38] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] ws[30] ws[31] ws[32] ws[33] ws[34] ws[35] ws[36] ws[37] ws[38] z </list> 2520.04/2449.11 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 0 1 0 1 0 0 0 1 1 0 0 1 1 0 0 0 0 1 1 0 1 0 1 0 1 1 1 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 1 1 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 1 1 0 0 1 1 0 0 0 0 1 1 1 1 1 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 0 0 0 0 1 0 1 1 0 0 1 0 1 0 1 0 0 1 1 0 0 0 1 0 0 1 1 1 1 0 0 0 0 1 0 0 1 0 1 0 1 1 0 1 0 0 0 1 1 0 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 0 0 1 1 1 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 1 0 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 1 1 1 0 1 0 1 1 1 1 0 0 0 1 0 1 1 0 0 1 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 1 1 0 0 0 1 1 1 0 1 0 1 1 0 0 0 1 0 0 1 1 1 0 1 0 1 0 1 0 1 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 1 0 1 0 1 1 1 1 1 0 1 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 0 1 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 1 1 1 1 0 0 0 1 0 0 1 1 1 0 0 1 1 1 1 1 1 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 0 0 1 0 0 1 1 1 1 0 1 1 0 0 0 0 1 0 0 1 0 1 0 0 1 1 1 1 1 0 0 0 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 1 1 0 0 1 0 0 1 1 1 1 1 1 1 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 1 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 1 1 0 1 0 1 1 0 1 1 0 0 1 0 0 0 1 0 1 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 1 0 0 1 1 1 1 1 1 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 1 0 0 0 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 1 1 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 1 1 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 1 1 1 1 1 1 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 1 1 0 0 1 2 1 1 2 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 1 0 0 1 1 1 0 1 2 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 2 1 1 2 2 0 0 1 0 1 0 0 0 1 1 2 1 1 0 1 1 2 1 1 0 1 0 0 0 1 0 0 0 0 0 2 0 0 1 1 1 2 2 2 1 1 0 1 0 0 0 0 0 1 2 0 1 1 0 2 2 2 1 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 1 0 2 2 2 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 2 2 1 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 1 2 2 2 0 0 1 0 1 0 1 0 1 0 1 0 0 1 1 2 1 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 1 0 0 1 2 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 1 0 0 1 2 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 2 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 2 2 2 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 2 2 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 1 0 1 0 0 0 1 0 0 1 0 0 0 1 1 2 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 1 2 1 1 0 1 1 1 0 0 1 0 0 2 0 1 0 0 1 1 0 0 0 0 2 1 1 0 1 1 0 0 0 0 0 0 0 1 1 2 1 1 0 1 1 1 0 1 0 0 0 0 1 1 0 0 0 1 0 1 0 0 1 1 1 1 0 1 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 2 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 2 2 1 0 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 2 1 1 2 1 2 2 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 2 2 2 2 1 1 2 0 0 0 0 1 2 1 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 1 1 0 0 2 1 1 1 0 0 2 2 2 0 0 0 0 1 0 1 0 1 1 1 1 0 0 0 0 2 2 2 1 0 0 0 1 0 0 1 0 0 1 1 2 1 1 0 0 1 2 0 0 2 0 0 0 1 1 1 0 1 0 0 0 0 0 0 1 2 2 1 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 2 1 1 2 0 0 1 0 0 2 1 1 0 0 0 0 0 0 0 1 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 1 0 0 1 0 1 0 0 0 1 0 1 0 0 2 2 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 2 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 2 1 1 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 2 0 0 0 0 0 0 0 0 1 2 0 1 0 0 0 0 0 1 0 1 1 1 2 1 0 1 0 1 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 1 0 0 0 0 0 2 2 2 2 1 0 1 1 1 1 0 0 1 2 1 0 0 2 2 0 0 0 0 0 0 1 0 0 2 0 1 1 0 1 1 0 0 0 1 0 2 2 2 2 1 1 2 1 0 0 0 2 2 2 0 0 1 1 0 0 0 0 0 0 0 0 0 1 2 0 0 1 1 0 0 0 0 0 1 1 1 2 2 2 1 1 1 0 0 1 1 2 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 1 2 1 1 0 0 1 1 1 2 1 0 0 0 1 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 2 2 2 1 0 1 1 1 1 2 2 0 0 0 0 0 2 1 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 1 1 2 2 1 1 0 0 2 2 2 2 1 1 0 0 0 1 0 2 1 0 0 1 0 0 1 0 0 0 0 1 1 0 1 1 0 1 2 1 1 2 1 0 0 0 0 1 2 2 2 2 0 1 1 0 0 0 1 1 1 0 1 1 0 0 2 0 2 0 0 0 1 0 1 2 2 2 1 1 2 1 1 0 0 1 1 2 2 2 2 2 1 1 1 1 0 1 2 1 2 2 1 0 1 1 2 0 0 0 0 0 1 1 2 2 2 1 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 0 0 1 0 0 1 1 1 1 0 17 34 48 74 102 121 142 154 167 175 190 201 214 232 254 272 288 310 329 355 382 403 415 427 439 453 460 473 491 513 543 568 584 599 624 655 688 731 758 532 </values> 2520.04/2449.11 v </instantiation> 2520.04/2449.11 c Unexpected resolution interruption!
OK 532
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 (14705 MiB free)
memory of node 1: 16384 MiB (15302 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272276-1502691863/watcher-4272276-1502691863 -o /tmp/evaluation-result-4272276-1502691863/solver-4272276-1502691863 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29001 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 660591066 HOME/instance-4272276-1502691863.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=4475, runsolver pid=4472
[startup+0.100025 s]*
/proc/loadavg: 1.69 1.70 1.68 2/203 4478
/proc/meminfo: memFree=30724460/32770624 swapFree=67108860/67108860
[pid=4475] ppid=4472 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/4475/stat : 4475 (xcsp3-exec) S 4472 4475 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 23068923 9740288 344 18446744073709551615 4194304 5098028 140721428724624 140721428722728 139728907723388 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 9707520 140721428730234 140721428730438 140721428730438 140721428733931 0
/proc/4475/statm: 2378 344 289 221 0 87 0
[pid=4477] ppid=4475 vsize=13358712 memory=16148 CPUtime=0 cores=1,3,5,7
/proc/4477/stat : 4477 (java) S 4475 4475 7968 0 -1 1077944320 3284 0 0 0 0 0 0 0 20 0 6 0 23068932 13679321088 4037 18446744073709551615 4194304 4196468 140736546091088 140736546073632 140079499919095 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
/proc/4477/statm: 3339678 4037 1901 1 0 3329175 0
[pid=4477/tid=4478] ppid=4475 vsize=13358712 memory=-7666416650606639742 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4478/stat : 4478 (java) R 4475 4475 7968 0 -1 4202560 2056 0 0 0 0 0 0 0 20 0 6 0 23068932 13679321088 4037 18446744073709551615 4194304 4196468 140736546091088 140079504155216 140079485612688 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4479] ppid=4475 vsize=13358712 memory=-6623551257525838759 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4479/stat : 4479 (java) S 4475 4475 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 23068933 13679321088 4037 18446744073709551615 4194304 4196468 140736546091088 140079100062224 140079499929301 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4480] ppid=4475 vsize=13358712 memory=139854598928000 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4480/stat : 4480 (java) S 4475 4475 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 23068933 13679321088 4037 18446744073709551615 4194304 4196468 140736546091088 140079099009680 140079499929301 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4481] ppid=4475 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4481/stat : 4481 (java) S 4475 4475 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 23068933 13679321088 4037 18446744073709551615 4194304 4196468 140736546091088 140079097956624 140079499929301 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4482] ppid=4475 vsize=13358712 memory=-1807685287725067907 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4482/stat : 4482 (java) S 4475 4475 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 23068933 13679321088 4037 18446744073709551615 4194304 4196468 140736546091088 140079096904080 140079499929301 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 17524 KiB
[startup+0.210273 s]*
/proc/loadavg: 1.69 1.70 1.68 3/216 4491
/proc/meminfo: memFree=30712172/32770624 swapFree=67108860/67108860
[pid=4475] ppid=4472 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/4475/stat : 4475 (xcsp3-exec) S 4472 4475 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 23068923 9740288 344 18446744073709551615 4194304 5098028 140721428724624 140721428722728 139728907723388 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 9707520 140721428730234 140721428730438 140721428730438 140721428733931 0
/proc/4475/statm: 2378 344 289 221 0 87 0
[pid=4477] ppid=4475 vsize=13974352 memory=26952 CPUtime=0.1 cores=1,3,5,7
/proc/4477/stat : 4477 (java) S 4475 4475 7968 0 -1 1077944320 5156 0 0 0 9 1 0 0 20 0 15 0 23068932 14309736448 6738 18446744073709551615 4194304 4196468 140736546091088 140736546073632 140079499919095 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
/proc/4477/statm: 3493588 6738 2752 1 0 3482964 0
[pid=4477/tid=4478] ppid=4475 vsize=13974352 memory=-7666416650606639742 CPUtime=0.08 cores=1,3,5,7
/proc/4477/task/4478/stat : 4478 (java) R 4475 4475 7968 0 -1 4202560 3301 0 0 0 7 1 0 0 20 0 15 0 23068932 14309736448 6738 18446744073709551615 4194304 4196468 140736546091088 140079504141488 140079483999582 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4479] ppid=4475 vsize=13974352 memory=-6623551257525838759 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4479/stat : 4479 (java) S 4475 4475 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23068933 14309736448 6738 18446744073709551615 4194304 4196468 140736546091088 140079100062224 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4480] ppid=4475 vsize=13974352 memory=139854598928000 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4480/stat : 4480 (java) S 4475 4475 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23068933 14309736448 6738 18446744073709551615 4194304 4196468 140736546091088 140079099009680 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4481] ppid=4475 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4481/stat : 4481 (java) S 4475 4475 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 23068933 14309736448 6738 18446744073709551615 4194304 4196468 140736546091088 140079097956624 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4482] ppid=4475 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4482/stat : 4482 (java) S 4475 4475 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 23068933 14309736448 6738 18446744073709551615 4194304 4196468 140736546091088 140079096904080 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4483] ppid=4475 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4483/stat : 4483 (java) S 4475 4475 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 23068934 14309736448 6738 18446744073709551615 4194304 4196468 140736546091088 140078978505456 140079499930242 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4484] ppid=4475 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4484/stat : 4484 (java) S 4475 4475 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 23068935 14309736448 6738 18446744073709551615 4194304 4196468 140736546091088 140078977451680 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4485] ppid=4475 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4485/stat : 4485 (java) S 4475 4475 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 23068935 14309736448 6738 18446744073709551615 4194304 4196468 140736546091088 140078976398576 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4486] ppid=4475 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4486/stat : 4486 (java) S 4475 4475 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23068937 14309736448 6738 18446744073709551615 4194304 4196468 140736546091088 140078975347152 140079499937691 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4487] ppid=4475 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4487/stat : 4487 (java) S 4475 4475 7968 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 23068937 14309736448 6738 18446744073709551615 4194304 4196468 140736546091088 140078974294256 140079499930242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4488] ppid=4475 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4488/stat : 4488 (java) S 4475 4475 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23068937 14309736448 6738 18446744073709551615 4194304 4196468 140736546091088 140078973241712 140079499930242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4489] ppid=4475 vsize=13974352 memory=139854598928000 CPUtime=0.01 cores=1,3,5,7
/proc/4477/task/4489/stat : 4489 (java) S 4475 4475 7968 0 -1 1077944384 256 0 0 0 1 0 0 0 20 0 15 0 23068937 14309736448 6738 18446744073709551615 4194304 4196468 140736546091088 140078972188656 140079499930242 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4490] ppid=4475 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4490/stat : 4490 (java) S 4475 4475 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23068937 14309736448 6738 18446744073709551615 4194304 4196468 140736546091088 140078971136352 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4491] ppid=4475 vsize=13974352 memory=139854598928000 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4491/stat : 4491 (java) S 4475 4475 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23068941 14309736448 6738 18446744073709551615 4194304 4196468 140736546091088 140078970084400 140079499930242 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28328 KiB
[startup+0.31142 s]*
/proc/loadavg: 1.69 1.70 1.68 5/216 4491
/proc/meminfo: memFree=30692200/32770624 swapFree=67108860/67108860
[pid=4475] ppid=4472 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/4475/stat : 4475 (xcsp3-exec) S 4472 4475 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 23068923 9740288 344 18446744073709551615 4194304 5098028 140721428724624 140721428722728 139728907723388 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 9707520 140721428730234 140721428730438 140721428730438 140721428733931 0
/proc/4475/statm: 2378 344 289 221 0 87 0
[pid=4477] ppid=4475 vsize=13974352 memory=39428 CPUtime=0.3 cores=1,3,5,7
/proc/4477/stat : 4477 (java) S 4475 4475 7968 0 -1 1077944320 9021 0 0 0 27 3 0 0 20 0 15 0 23068932 14309736448 9857 18446744073709551615 4194304 4196468 140736546091088 140736546073632 140079499919095 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
/proc/4477/statm: 3493588 9857 2999 1 0 3482964 0
[pid=4477/tid=4478] ppid=4475 vsize=13974352 memory=4278483708103473607 CPUtime=0.17 cores=1,3,5,7
/proc/4477/task/4478/stat : 4478 (java) R 4475 4475 7968 0 -1 4202560 6113 0 0 0 16 1 0 0 20 0 15 0 23068932 14309736448 9922 18446744073709551615 4194304 4196468 140736546091088 140079504156608 140079483999582 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4479] ppid=4475 vsize=13974352 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4479/stat : 4479 (java) S 4475 4475 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23068933 14309736448 9922 18446744073709551615 4194304 4196468 140736546091088 140079100062224 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4480] ppid=4475 vsize=13974352 memory=139854598938593 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4480/stat : 4480 (java) S 4475 4475 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23068933 14309736448 9922 18446744073709551615 4194304 4196468 140736546091088 140079099009680 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4481] ppid=4475 vsize=13974352 memory=7524501684598494827 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4481/stat : 4481 (java) S 4475 4475 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 23068933 14309736448 9922 18446744073709551615 4194304 4196468 140736546091088 140079097956624 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4482] ppid=4475 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4482/stat : 4482 (java) S 4475 4475 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 23068933 14309736448 9922 18446744073709551615 4194304 4196468 140736546091088 140079096904080 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4483] ppid=4475 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4483/stat : 4483 (java) S 4475 4475 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 23068934 14309736448 9922 18446744073709551615 4194304 4196468 140736546091088 140078978505456 140079499930242 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4484] ppid=4475 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4484/stat : 4484 (java) S 4475 4475 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 23068935 14309736448 9922 18446744073709551615 4194304 4196468 140736546091088 140078977451680 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4485] ppid=4475 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4485/stat : 4485 (java) S 4475 4475 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 23068935 14309736448 9922 18446744073709551615 4194304 4196468 140736546091088 140078976398576 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4486] ppid=4475 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4486/stat : 4486 (java) S 4475 4475 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23068937 14309736448 9922 18446744073709551615 4194304 4196468 140736546091088 140078975347152 140079499937691 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4487] ppid=4475 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4477/task/4487/stat : 4487 (java) S 4475 4475 7968 0 -1 1077944384 499 0 0 0 2 0 0 0 20 0 15 0 23068937 14309736448 9922 18446744073709551615 4194304 4196468 140736546091088 140078974294256 140079499930242 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4488] ppid=4475 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4477/task/4488/stat : 4488 (java) R 4475 4475 7968 0 -1 1077944384 381 0 0 0 2 0 0 0 20 0 15 0 23068937 14309736448 9922 18446744073709551615 4194304 4196468 140736546091088 140078973241712 140079499930242 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4489] ppid=4475 vsize=13974352 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/4477/task/4489/stat : 4489 (java) R 4475 4475 7968 0 -1 4202560 726 0 0 0 6 0 0 0 20 0 15 0 23068937 14309736448 9922 18446744073709551615 4194304 4196468 140736546091088 140078972188656 140079493015568 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4490] ppid=4475 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4490/stat : 4490 (java) S 4475 4475 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23068937 14309736448 9922 18446744073709551615 4194304 4196468 140736546091088 140078971136352 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4491] ppid=4475 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4491/stat : 4491 (java) S 4475 4475 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23068941 14309736448 9922 18446744073709551615 4194304 4196468 140736546091088 140078970084400 140079499930242 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 40804 KiB
[startup+0.710885 s]
/proc/loadavg: 1.69 1.70 1.68 4/216 4491
/proc/meminfo: memFree=30672924/32770624 swapFree=67108860/67108860
[pid=4475] ppid=4472 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/4475/stat : 4475 (xcsp3-exec) S 4472 4475 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 23068923 9740288 344 18446744073709551615 4194304 5098028 140721428724624 140721428722728 139728907723388 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 9707520 140721428730234 140721428730438 140721428730438 140721428733931 0
/proc/4475/statm: 2378 344 289 221 0 87 0
[pid=4477] ppid=4475 vsize=13978684 memory=82736 CPUtime=1.45 cores=1,3,5,7
/proc/4477/stat : 4477 (java) S 4475 4475 7968 0 -1 1077944320 13299 0 0 0 140 5 0 0 20 0 15 0 23068932 14314172416 20684 18446744073709551615 4194304 4196468 140736546091088 140736546073632 140079499919095 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
/proc/4477/statm: 3494671 20684 3174 1 0 3482964 0
[pid=4477/tid=4478] ppid=4475 vsize=13978684 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/4477/task/4478/stat : 4478 (java) R 4475 4475 7968 0 -1 4202560 7935 0 0 0 54 3 0 0 20 0 15 0 23068932 14314172416 20684 18446744073709551615 4194304 4196468 140736546091088 140079504147040 140079478996560 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4479] ppid=4475 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4479/stat : 4479 (java) S 4475 4475 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23068933 14314172416 20684 18446744073709551615 4194304 4196468 140736546091088 140079100062224 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4480] ppid=4475 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4480/stat : 4480 (java) S 4475 4475 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23068933 14314172416 20684 18446744073709551615 4194304 4196468 140736546091088 140079099009680 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4481] ppid=4475 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4481/stat : 4481 (java) S 4475 4475 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 23068933 14314172416 20684 18446744073709551615 4194304 4196468 140736546091088 140079097956624 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4482] ppid=4475 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4482/stat : 4482 (java) S 4475 4475 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 23068933 14314172416 20684 18446744073709551615 4194304 4196468 140736546091088 140079096904080 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4483] ppid=4475 vsize=13978684 memory=2 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4483/stat : 4483 (java) S 4475 4475 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 23068934 14314172416 20684 18446744073709551615 4194304 4196468 140736546091088 140078978505456 140079499930242 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4484] ppid=4475 vsize=13978684 memory=7886766292050721077 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4484/stat : 4484 (java) S 4475 4475 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 23068935 14314172416 20684 18446744073709551615 4194304 4196468 140736546091088 140078977451680 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4485] ppid=4475 vsize=13978684 memory=7295937226035642479 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4485/stat : 4485 (java) S 4475 4475 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 23068935 14314172416 20684 18446744073709551615 4194304 4196468 140736546091088 140078976398576 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4486] ppid=4475 vsize=13978684 memory=55 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4486/stat : 4486 (java) S 4475 4475 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23068937 14314172416 20684 18446744073709551615 4194304 4196468 140736546091088 140078975347152 140079499937691 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4487] ppid=4475 vsize=13978684 memory=11830 CPUtime=0.28 cores=1,3,5,7
/proc/4477/task/4487/stat : 4487 (java) R 4475 4475 7968 0 -1 4202560 1452 0 0 0 28 0 0 0 20 0 15 0 23068937 14314172416 20684 18446744073709551615 4194304 4196468 140736546091088 140078974283968 140079483129648 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4488] ppid=4475 vsize=13978684 memory=20825 CPUtime=0.25 cores=1,3,5,7
/proc/4477/task/4488/stat : 4488 (java) R 4475 4475 7968 0 -1 4202560 998 0 0 0 25 0 0 0 20 0 15 0 23068937 14314172416 20684 18446744073709551615 4194304 4196468 140736546091088 140078973230032 140079479157568 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4489] ppid=4475 vsize=13978684 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/4477/task/4489/stat : 4489 (java) S 4475 4475 7968 0 -1 1077944384 1606 0 0 0 31 0 0 0 20 0 15 0 23068937 14314172416 20684 18446744073709551615 4194304 4196468 140736546091088 140078972188656 140079499930242 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4490] ppid=4475 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4490/stat : 4490 (java) S 4475 4475 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23068937 14314172416 20684 18446744073709551615 4194304 4196468 140736546091088 140078971136352 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4491] ppid=4475 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4491/stat : 4491 (java) S 4475 4475 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23068941 14314172416 20684 18446744073709551615 4194304 4196468 140736546091088 140078970084400 140079499930242 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 84112 KiB
[startup+1.50361 s]
/proc/loadavg: 1.69 1.70 1.68 4/216 4491
/proc/meminfo: memFree=30629364/32770624 swapFree=67108860/67108860
[pid=4475] ppid=4472 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/4475/stat : 4475 (xcsp3-exec) S 4472 4475 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 23068923 9740288 344 18446744073709551615 4194304 5098028 140721428724624 140721428722728 139728907723388 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 9707520 140721428730234 140721428730438 140721428730438 140721428733931 0
/proc/4475/statm: 2378 344 289 221 0 87 0
[pid=4477] ppid=4475 vsize=13980732 memory=126360 CPUtime=3.05 cores=1,3,5,7
/proc/4477/stat : 4477 (java) S 4475 4475 7968 0 -1 1077944320 20095 0 0 0 298 7 0 0 20 0 15 0 23068932 14316269568 31590 18446744073709551615 4194304 4196468 140736546091088 140736546073632 140079499919095 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
/proc/4477/statm: 3495183 31590 3193 1 0 3483476 0
[pid=4477/tid=4478] ppid=4475 vsize=13980732 memory=11830 CPUtime=1.35 cores=1,3,5,7
/proc/4477/task/4478/stat : 4478 (java) R 4475 4475 7968 0 -1 4202560 11334 0 0 0 131 4 0 0 20 0 15 0 23068932 14316269568 31590 18446744073709551615 4194304 4196468 140736546091088 140079504155952 140079499940442 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4479] ppid=4475 vsize=13980732 memory=20825 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4479/stat : 4479 (java) S 4475 4475 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23068933 14316269568 31590 18446744073709551615 4194304 4196468 140736546091088 140079100062224 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4480] ppid=4475 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4480/stat : 4480 (java) S 4475 4475 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23068933 14316269568 31590 18446744073709551615 4194304 4196468 140736546091088 140079099009680 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4481] ppid=4475 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4481/stat : 4481 (java) S 4475 4475 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 23068933 14316269568 31590 18446744073709551615 4194304 4196468 140736546091088 140079097956624 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4482] ppid=4475 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4482/stat : 4482 (java) S 4475 4475 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 23068933 14316269568 31590 18446744073709551615 4194304 4196468 140736546091088 140079096904080 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4483] ppid=4475 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4483/stat : 4483 (java) S 4475 4475 7968 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 23068934 14316269568 31590 18446744073709551615 4194304 4196468 140736546091088 140078978505456 140079499930242 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4484] ppid=4475 vsize=13980732 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4484/stat : 4484 (java) S 4475 4475 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 23068935 14316269568 31590 18446744073709551615 4194304 4196468 140736546091088 140078977451680 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4485] ppid=4475 vsize=13980732 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/4477/task/4485/stat : 4485 (java) S 4475 4475 7968 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 23068935 14318366720 209647 18446744073709551615 4194304 4196468 140736546091088 140078976398576 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4486] ppid=4475 vsize=13982780 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4486/stat : 4486 (java) S 4475 4475 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23068937 14318366720 209647 18446744073709551615 4194304 4196468 140736546091088 140078975347152 140079499937691 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4487] ppid=4475 vsize=13982780 memory=838588 CPUtime=7.34 cores=1,3,5,7
/proc/4477/task/4487/stat : 4487 (java) S 4475 4475 7968 0 -1 1077944384 45658 0 0 0 730 4 0 0 20 0 15 0 23068937 14318366720 209647 18446744073709551615 4194304 4196468 140736546091088 140078974294256 140079499930242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4488] ppid=4475 vsize=13982780 memory=0 CPUtime=7.76 cores=1,3,5,7
/proc/4477/task/4488/stat : 4488 (java) S 4475 4475 7968 0 -1 1077944384 38961 0 0 0 772 4 0 0 20 0 15 0 23068937 14318366720 209647 18446744073709551615 4194304 4196468 140736546091088 140078973241712 140079499930242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4489] ppid=4475 vsize=13982780 memory=15596 CPUtime=1 cores=1,3,5,7
/proc/4477/task/4489/stat : 4489 (java) S 4475 4475 7968 0 -1 1077944384 14880 0 0 0 98 2 0 0 20 0 15 0 23068937 14318366720 209647 18446744073709551615 4194304 4196468 140736546091088 140078972188656 140079499930242 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4490] ppid=4475 vsize=13982780 memory=2424 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4490/stat : 4490 (java) S 4475 4475 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23068937 14318366720 209647 18446744073709551615 4194304 4196468 140736546091088 140078971136352 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4491] ppid=4475 vsize=13982780 memory=1376 CPUtime=1.09 cores=1,3,5,7
/proc/4477/task/4491/stat : 4491 (java) S 4475 4475 7968 0 -1 1077944384 1815 0 0 0 49 60 0 0 20 0 15 0 23068941 14318366720 209647 18446744073709551615 4194304 4196468 140736546091088 140078970084400 140079499930242 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
Current children cumulated CPU time: 2451.84 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 839964 KiB
[startup+2442.3 s]
/proc/loadavg: 1.48 1.54 1.56 3/217 4873
/proc/meminfo: memFree=29868104/32770624 swapFree=67108860/67108860
[pid=4475] ppid=4472 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/4475/stat : 4475 (xcsp3-exec) S 4472 4475 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 23068923 9740288 344 18446744073709551615 4194304 5098028 140721428724624 140721428722728 139728907723388 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 9707520 140721428730234 140721428730438 140721428730438 140721428733931 0
/proc/4475/statm: 2378 344 289 221 0 87 0
[pid=4477] ppid=4475 vsize=13982780 memory=771732 CPUtime=2513.1 cores=1,3,5,7
/proc/4477/stat : 4477 (java) S 4475 4475 7968 0 -1 1077944320 277079 0 0 0 250942 368 0 0 20 0 15 0 23068932 14318366720 192933 18446744073709551615 4194304 4196468 140736546091088 140736546073632 140079499919095 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
/proc/4477/statm: 3495695 192933 3257 1 0 3483988 0
[pid=4477/tid=4478] ppid=4475 vsize=13982780 memory=764744 CPUtime=2422.76 cores=1,3,5,7
/proc/4477/task/4478/stat : 4478 (java) R 4475 4475 7968 0 -1 4202560 65827 0 0 0 242253 23 0 0 20 0 15 0 23068932 14318366720 192933 18446744073709551615 4194304 4196468 140736546091088 140079504158416 140079108207752 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4479] ppid=4475 vsize=13982780 memory=831796 CPUtime=18.02 cores=1,3,5,7
/proc/4477/task/4479/stat : 4479 (java) S 4475 4475 7968 0 -1 1077944384 13067 0 0 0 1735 67 0 0 20 0 15 0 23068933 14318366720 192933 18446744073709551615 4194304 4196468 140736546091088 140079100062224 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4480] ppid=4475 vsize=13982780 memory=838588 CPUtime=18.05 cores=1,3,5,7
/proc/4477/task/4480/stat : 4480 (java) S 4475 4475 7968 0 -1 1077944384 15172 0 0 0 1739 66 0 0 20 0 15 0 23068933 14318366720 192933 18446744073709551615 4194304 4196468 140736546091088 140079099009680 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4481] ppid=4475 vsize=13982780 memory=799092 CPUtime=18.06 cores=1,3,5,7
/proc/4477/task/4481/stat : 4481 (java) S 4475 4475 7968 0 -1 1077944384 15251 0 0 0 1741 65 0 0 20 0 15 0 23068933 14318366720 192933 18446744073709551615 4194304 4196468 140736546091088 140079097956624 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4482] ppid=4475 vsize=13982780 memory=764744 CPUtime=18.09 cores=1,3,5,7
/proc/4477/task/4482/stat : 4482 (java) S 4475 4475 7968 0 -1 1077944384 15517 0 0 0 1742 67 0 0 20 0 15 0 23068933 14318366720 192933 18446744073709551615 4194304 4196468 140736546091088 140079096904080 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4483] ppid=4475 vsize=13982780 memory=764744 CPUtime=0.8 cores=1,3,5,7
/proc/4477/task/4483/stat : 4483 (java) S 4475 4475 7968 0 -1 1077944384 49569 0 0 0 64 16 0 0 20 0 15 0 23068934 14318366720 192933 18446744073709551615 4194304 4196468 140736546091088 140078978505456 140079499930242 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4484] ppid=4475 vsize=13982780 memory=771732 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4484/stat : 4484 (java) S 4475 4475 7968 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 23068935 14318366720 192933 18446744073709551615 4194304 4196468 140736546091088 140078977451744 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4485] ppid=4475 vsize=13982780 memory=771732 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4485/stat : 4485 (java) S 4475 4475 7968 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 23068935 14318366720 192933 18446744073709551615 4194304 4196468 140736546091088 140078976398576 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4486] ppid=4475 vsize=13982780 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4486/stat : 4486 (java) S 4475 4475 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23068937 14318366720 192933 18446744073709551615 4194304 4196468 140736546091088 140078975347152 140079499937691 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4487] ppid=4475 vsize=13982780 memory=756512 CPUtime=7.35 cores=1,3,5,7
/proc/4477/task/4487/stat : 4487 (java) S 4475 4475 7968 0 -1 1077944384 45658 0 0 0 731 4 0 0 20 0 15 0 23068937 14318366720 192933 18446744073709551615 4194304 4196468 140736546091088 140078974294256 140079499930242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4488] ppid=4475 vsize=13982780 memory=7680170660397595203 CPUtime=7.76 cores=1,3,5,7
/proc/4477/task/4488/stat : 4488 (java) S 4475 4475 7968 0 -1 1077944384 38961 0 0 0 772 4 0 0 20 0 15 0 23068937 14318366720 192933 18446744073709551615 4194304 4196468 140736546091088 140078973241712 140079499930242 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4489] ppid=4475 vsize=13982780 memory=1376 CPUtime=1 cores=1,3,5,7
/proc/4477/task/4489/stat : 4489 (java) S 4475 4475 7968 0 -1 1077944384 14880 0 0 0 98 2 0 0 20 0 15 0 23068937 14318366720 192933 18446744073709551615 4194304 4196468 140736546091088 140078972188656 140079499930242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4490] ppid=4475 vsize=13982780 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4490/stat : 4490 (java) S 4475 4475 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23068937 14318366720 192933 18446744073709551615 4194304 4196468 140736546091088 140078971136352 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4491] ppid=4475 vsize=13982780 memory=1376 CPUtime=1.12 cores=1,3,5,7
/proc/4477/task/4491/stat : 4491 (java) S 4475 4475 7968 0 -1 1077944384 1830 0 0 0 49 63 0 0 20 0 15 0 23068941 14318366720 192933 18446744073709551615 4194304 4196468 140736546091088 140078970084400 140079499930242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
Current children cumulated CPU time: 2513.1 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 773108 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2449.11 s]
/proc/loadavg: 1.33 1.51 1.55 3/217 4873
/proc/meminfo: memFree=29845256/32770624 swapFree=67108860/67108860
[pid=4475] ppid=4472 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/4475/stat : 4475 (xcsp3-exec) S 4472 4475 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 23068923 9740288 344 18446744073709551615 4194304 5098028 140721428724624 140721428722728 139728907723388 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 9707520 140721428730234 140721428730438 140721428730438 140721428733931 0
/proc/4475/statm: 2378 344 289 221 0 87 0
[pid=4477] ppid=4475 vsize=13982780 memory=798468 CPUtime=2520.04 cores=1,3,5,7
/proc/4477/stat : 4477 (java) S 4475 4475 7968 0 -1 1077944320 277181 0 0 0 251634 370 0 0 20 0 15 0 23068932 14318366720 199617 18446744073709551615 4194304 4196468 140736546091088 140736546073632 140079499919095 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
/proc/4477/statm: 3495695 199617 3257 1 0 3483988 0
[pid=4477/tid=4478] ppid=4475 vsize=13982780 memory=798468 CPUtime=2429.52 cores=1,3,5,7
/proc/4477/task/4478/stat : 4478 (java) R 4475 4475 7968 0 -1 4202560 65851 0 0 0 242929 23 0 0 20 0 15 0 23068932 14318366720 199617 18446744073709551615 4194304 4196468 140736546091088 140079504157952 140079110959906 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4479] ppid=4475 vsize=13982780 memory=798468 CPUtime=18.06 cores=1,3,5,7
/proc/4477/task/4479/stat : 4479 (java) S 4475 4475 7968 0 -1 1077944384 13087 0 0 0 1738 68 0 0 20 0 15 0 23068933 14318366720 199617 18446744073709551615 4194304 4196468 140736546091088 140079100062224 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4480] ppid=4475 vsize=13982780 memory=798468 CPUtime=18.09 cores=1,3,5,7
/proc/4477/task/4480/stat : 4480 (java) S 4475 4475 7968 0 -1 1077944384 15184 0 0 0 1743 66 0 0 20 0 15 0 23068933 14318366720 199617 18446744073709551615 4194304 4196468 140736546091088 140079099009680 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4481] ppid=4475 vsize=13982780 memory=799092 CPUtime=18.09 cores=1,3,5,7
/proc/4477/task/4481/stat : 4481 (java) S 4475 4475 7968 0 -1 1077944384 15264 0 0 0 1744 65 0 0 20 0 15 0 23068933 14318366720 199617 18446744073709551615 4194304 4196468 140736546091088 140079097956624 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4482] ppid=4475 vsize=13982780 memory=764744 CPUtime=18.14 cores=1,3,5,7
/proc/4477/task/4482/stat : 4482 (java) S 4475 4475 7968 0 -1 1077944384 15527 0 0 0 1746 68 0 0 20 0 15 0 23068933 14318366720 199617 18446744073709551615 4194304 4196468 140736546091088 140079096904080 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4483] ppid=4475 vsize=13982780 memory=771732 CPUtime=0.8 cores=1,3,5,7
/proc/4477/task/4483/stat : 4483 (java) S 4475 4475 7968 0 -1 1077944384 49586 0 0 0 64 16 0 0 20 0 15 0 23068934 14318366720 199617 18446744073709551615 4194304 4196468 140736546091088 140078978505456 140079499930242 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4484] ppid=4475 vsize=13982780 memory=771732 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4484/stat : 4484 (java) S 4475 4475 7968 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 23068935 14318366720 199617 18446744073709551615 4194304 4196468 140736546091088 140078977451744 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4485] ppid=4475 vsize=13982780 memory=779924 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4485/stat : 4485 (java) S 4475 4475 7968 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 23068935 14318366720 199617 18446744073709551615 4194304 4196468 140736546091088 140078976398576 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4486] ppid=4475 vsize=13982780 memory=798468 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4486/stat : 4486 (java) S 4475 4475 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23068937 14318366720 199617 18446744073709551615 4194304 4196468 140736546091088 140078975347152 140079499937691 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4487] ppid=4475 vsize=13982780 memory=798468 CPUtime=7.35 cores=1,3,5,7
/proc/4477/task/4487/stat : 4487 (java) S 4475 4475 7968 0 -1 1077944384 45660 0 0 0 731 4 0 0 20 0 15 0 23068937 14318366720 199617 18446744073709551615 4194304 4196468 140736546091088 140078974294256 140079499930242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4488] ppid=4475 vsize=13982780 memory=798468 CPUtime=7.76 cores=1,3,5,7
/proc/4477/task/4488/stat : 4488 (java) S 4475 4475 7968 0 -1 1077944384 38963 0 0 0 772 4 0 0 20 0 15 0 23068937 14318366720 199617 18446744073709551615 4194304 4196468 140736546091088 140078973241712 140079499930242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4489] ppid=4475 vsize=13982780 memory=1376 CPUtime=1 cores=1,3,5,7
/proc/4477/task/4489/stat : 4489 (java) S 4475 4475 7968 0 -1 1077944384 14882 0 0 0 98 2 0 0 20 0 15 0 23068937 14318366720 199617 18446744073709551615 4194304 4196468 140736546091088 140078972188656 140079499930242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4490] ppid=4475 vsize=13982780 memory=779924 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4490/stat : 4490 (java) S 4475 4475 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23068937 14318366720 199617 18446744073709551615 4194304 4196468 140736546091088 140078971136352 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4491] ppid=4475 vsize=13982780 memory=1376 CPUtime=1.13 cores=1,3,5,7
/proc/4477/task/4491/stat : 4491 (java) S 4475 4475 7968 0 -1 1077944384 1830 0 0 0 50 63 0 0 20 0 15 0 23068941 14318366720 199617 18446744073709551615 4194304 4196468 140736546091088 140078970084400 140079499930242 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 799844 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2449.12 s]
# the end of solver process 4475 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001142 s, system=0.00093 s
[startup+2449.12 s]
# the end of solver process 4477 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.35 s, system=3.70747 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+2449.11 s]
/proc/loadavg: 1.33 1.51 1.55 3/217 4873
/proc/meminfo: memFree=29845256/32770624 swapFree=67108860/67108860
[pid=4475] ppid=4472 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/4475/stat : 4475 (xcsp3-exec) S 4472 4475 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 23068923 9740288 344 18446744073709551615 4194304 5098028 140721428724624 140721428722728 139728907723388 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 9707520 140721428730234 140721428730438 140721428730438 140721428733931 0
/proc/4475/statm: 2378 344 289 221 0 87 0
[pid=4477] ppid=4475 vsize=13982780 memory=798468 CPUtime=2520.04 cores=1,3,5,7
/proc/4477/stat : 4477 (java) S 4475 4475 7968 0 -1 1077944320 277181 0 0 0 251634 370 0 0 20 0 15 0 23068932 14318366720 199617 18446744073709551615 4194304 4196468 140736546091088 140736546073632 140079499919095 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
/proc/4477/statm: 3495695 199617 3257 1 0 3483988 0
[pid=4477/tid=4478] ppid=4475 vsize=13982780 memory=798468 CPUtime=2429.52 cores=1,3,5,7
/proc/4477/task/4478/stat : 4478 (java) R 4475 4475 7968 0 -1 4202560 65851 0 0 0 242929 23 0 0 20 0 15 0 23068932 14318366720 199617 18446744073709551615 4194304 4196468 140736546091088 140079504157952 140079110959906 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4479] ppid=4475 vsize=13982780 memory=798468 CPUtime=18.06 cores=1,3,5,7
/proc/4477/task/4479/stat : 4479 (java) S 4475 4475 7968 0 -1 1077944384 13087 0 0 0 1738 68 0 0 20 0 15 0 23068933 14318366720 199617 18446744073709551615 4194304 4196468 140736546091088 140079100062224 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4480] ppid=4475 vsize=13982780 memory=798468 CPUtime=18.09 cores=1,3,5,7
/proc/4477/task/4480/stat : 4480 (java) S 4475 4475 7968 0 -1 1077944384 15184 0 0 0 1743 66 0 0 20 0 15 0 23068933 14318366720 199617 18446744073709551615 4194304 4196468 140736546091088 140079099009680 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4481] ppid=4475 vsize=13982780 memory=799092 CPUtime=18.09 cores=1,3,5,7
/proc/4477/task/4481/stat : 4481 (java) S 4475 4475 7968 0 -1 1077944384 15264 0 0 0 1744 65 0 0 20 0 15 0 23068933 14318366720 199617 18446744073709551615 4194304 4196468 140736546091088 140079097956624 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4482] ppid=4475 vsize=13982780 memory=764744 CPUtime=18.14 cores=1,3,5,7
/proc/4477/task/4482/stat : 4482 (java) S 4475 4475 7968 0 -1 1077944384 15527 0 0 0 1746 68 0 0 20 0 15 0 23068933 14318366720 199617 18446744073709551615 4194304 4196468 140736546091088 140079096904080 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4483] ppid=4475 vsize=13982780 memory=771732 CPUtime=0.8 cores=1,3,5,7
/proc/4477/task/4483/stat : 4483 (java) S 4475 4475 7968 0 -1 1077944384 49586 0 0 0 64 16 0 0 20 0 15 0 23068934 14318366720 199617 18446744073709551615 4194304 4196468 140736546091088 140078978505456 140079499930242 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4484] ppid=4475 vsize=13982780 memory=771732 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4484/stat : 4484 (java) S 4475 4475 7968 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 23068935 14318366720 199617 18446744073709551615 4194304 4196468 140736546091088 140078977451744 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4485] ppid=4475 vsize=13982780 memory=779924 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4485/stat : 4485 (java) S 4475 4475 7968 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 23068935 14318366720 199617 18446744073709551615 4194304 4196468 140736546091088 140078976398576 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4486] ppid=4475 vsize=13982780 memory=798468 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4486/stat : 4486 (java) S 4475 4475 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23068937 14318366720 199617 18446744073709551615 4194304 4196468 140736546091088 140078975347152 140079499937691 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4487] ppid=4475 vsize=13982780 memory=798468 CPUtime=7.35 cores=1,3,5,7
/proc/4477/task/4487/stat : 4487 (java) S 4475 4475 7968 0 -1 1077944384 45660 0 0 0 731 4 0 0 20 0 15 0 23068937 14318366720 199617 18446744073709551615 4194304 4196468 140736546091088 140078974294256 140079499930242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4488] ppid=4475 vsize=13982780 memory=798468 CPUtime=7.76 cores=1,3,5,7
/proc/4477/task/4488/stat : 4488 (java) S 4475 4475 7968 0 -1 1077944384 38963 0 0 0 772 4 0 0 20 0 15 0 23068937 14318366720 199617 18446744073709551615 4194304 4196468 140736546091088 140078973241712 140079499930242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4489] ppid=4475 vsize=13982780 memory=1376 CPUtime=1 cores=1,3,5,7
/proc/4477/task/4489/stat : 4489 (java) S 4475 4475 7968 0 -1 1077944384 14882 0 0 0 98 2 0 0 20 0 15 0 23068937 14318366720 199617 18446744073709551615 4194304 4196468 140736546091088 140078972188656 140079499930242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4490] ppid=4475 vsize=13982780 memory=779924 CPUtime=0 cores=1,3,5,7
/proc/4477/task/4490/stat : 4490 (java) S 4475 4475 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23068937 14318366720 199617 18446744073709551615 4194304 4196468 140736546091088 140078971136352 140079499929301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
[pid=4477/tid=4491] ppid=4475 vsize=13982780 memory=1376 CPUtime=1.13 cores=1,3,5,7
/proc/4477/task/4491/stat : 4491 (java) S 4475 4475 7968 0 -1 1077944384 1830 0 0 0 50 63 0 0 20 0 15 0 23068941 14318366720 199617 18446744073709551615 4194304 4196468 140736546091088 140078970084400 140079499930242 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140736546099634 140736546099810 140736546099810 140736546103247 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 799844 KiB
Child status: 143
Real time (s): 2449.12
CPU time (s): 2520.06
CPU user time (s): 2516.35
CPU system time (s): 3.70747
CPU usage (%): 102.896
Max. virtual memory (cumulated for all children) (KiB): 13992292
Max. memory (cumulated for all children) (KiB): 1067660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.35
system time used= 3.70747
maximum resident set size= 1069336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278058
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66598
involuntary context switches= 2291
# summary of solver processes directly reported to runsolver:
# pid: 4475,4477
# total CPU time (s): 2520.06
# total CPU user time (s): 2516.35
# total CPU system time (s): 3.70747
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.7305 second user time and 26.4914 second system time
The end
Begin job on node128 at 2017-08-14 08:10:26 IDJOB=4272276 IDBENCH=115896 IDSOLVER=2664 FILE ID=node128/4272276-1502691863 RUNJOBID= node128-1502649221-29001 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-37.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-4272276-1502691863/watcher-4272276-1502691863 -o /tmp/evaluation-result-4272276-1502691863/solver-4272276-1502691863 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29001 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 660591066 HOME/instance-4272276-1502691863.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 45cb885f577274590a53a0b26d80d877 RANDOM SEED=660591066 node128.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.94 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.94 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.94 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.94 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: 30728268 kB MemAvailable: 31456136 kB Buffers: 180508 kB Cached: 832928 kB SwapCached: 0 kB Active: 870580 kB Inactive: 755928 kB Active(anon): 613160 kB Inactive(anon): 16764 kB Active(file): 257420 kB Inactive(file): 739164 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8016 kB Writeback: 28 kB AnonPages: 612820 kB Mapped: 48184 kB Shmem: 17116 kB Slab: 119556 kB SReclaimable: 94240 kB SUnreclaim: 25316 kB KernelStack: 3536 kB PageTables: 7424 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1239912 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 536576 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 62016 MiB End job on node128 at 2017-08-14 08:51:15