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) | 531 | 255.2 | 240.00999 |
| 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 | 636 |
| Best CPU time to get the best result obtained on this benchmark | 1884.33 |
| 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.06 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4255343-1501618985.xml" -tl '264s' -p 1 -x 3 0.00/0.25 c [HOME/instance-4255343-1501618985.xml, -tl, 264s, -p, 1, -x, 3] 0.00/0.31 c simple solver 0.00/0.38 c parse instance... 2.77/1.33 c solve instance... 25.80/19.61 o 510 27.99/20.46 o 512 62.85/51.92 o 515 63.20/52.28 o 516 69.63/58.53 o 528 72.79/61.67 o 530 74.23/63.01 o 531 255.20/240.00 s SATISFIABLE 255.20/240.00 v <instantiation> 255.20/240.00 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[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> 255.20/240.00 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 0 0 0 1 1 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 0 1 1 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 0 0 1 0 1 1 0 0 1 0 1 1 1 0 0 0 1 0 0 0 0 0 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 1 1 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 1 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 1 1 0 0 1 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 1 1 0 1 0 0 0 1 0 1 1 1 1 1 1 1 0 1 0 0 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 1 1 0 0 1 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 1 1 0 0 1 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 1 0 1 1 1 1 0 0 1 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 1 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 1 0 0 1 1 0 1 0 0 0 1 0 0 1 0 1 1 1 0 1 0 0 0 1 1 0 1 1 1 0 0 1 1 1 0 1 0 1 0 1 1 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 0 1 0 1 0 1 1 0 0 0 1 0 1 0 1 1 1 1 0 0 0 0 0 0 1 1 0 1 0 1 1 0 0 0 0 0 0 1 1 1 0 1 0 1 0 0 1 1 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 1 0 0 1 0 0 0 0 1 0 1 0 1 1 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 1 0 1 1 1 1 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 1 1 0 0 0 1 1 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 0 0 1 1 1 1 0 0 1 1 0 1 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 1 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 1 1 0 0 0 0 1 0 1 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 1 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 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 1 1 0 0 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 1 1 0 0 1 1 1 0 0 1 0 0 1 0 0 1 2 2 1 0 1 1 0 0 0 0 0 1 1 1 1 1 0 0 0 1 1 2 2 2 0 1 1 0 2 0 0 0 0 0 0 0 1 0 1 1 2 1 0 0 1 0 2 0 0 0 0 0 0 0 0 1 0 0 0 2 2 2 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 1 2 1 1 1 0 0 0 0 0 0 0 1 0 1 2 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 1 0 2 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 2 1 1 0 0 1 0 0 1 0 0 0 0 0 0 1 1 1 0 1 1 2 0 2 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 2 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 2 1 1 0 0 0 0 1 0 0 0 0 0 1 1 1 0 1 2 1 2 1 1 1 2 1 1 0 1 1 0 0 0 0 0 1 0 0 2 0 1 0 0 0 0 0 0 0 0 0 1 0 2 1 1 0 1 2 2 2 1 1 2 2 2 0 1 0 1 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 2 2 2 0 1 1 0 2 2 1 1 1 1 1 1 2 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 1 2 1 1 0 0 1 1 2 1 0 0 1 1 0 0 2 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 2 2 1 0 0 0 2 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 1 0 0 0 1 2 1 1 1 1 0 0 1 2 2 1 0 1 0 0 0 0 0 0 1 0 0 1 0 2 0 0 0 0 0 0 0 0 0 0 0 1 2 2 1 0 1 0 0 0 0 1 1 1 1 1 0 1 0 0 0 0 1 1 2 2 0 0 0 0 1 0 0 1 0 0 0 1 0 1 1 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 2 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 2 1 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 2 2 1 1 0 0 1 0 1 1 0 1 1 1 1 0 1 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 1 0 1 0 0 0 0 0 1 0 2 2 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 2 2 1 1 0 0 0 0 0 0 0 2 1 1 2 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 2 2 2 1 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 2 1 0 1 0 0 0 0 0 0 0 0 0 0 1 2 1 0 1 0 1 2 2 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 2 2 0 1 0 1 2 1 0 1 0 0 0 0 0 0 0 2 0 0 0 0 0 2 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 2 1 0 1 1 2 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 1 1 2 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 2 2 1 1 1 2 0 1 0 0 0 0 1 0 0 1 0 0 1 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 2 2 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 1 2 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 2 1 2 0 2 0 2 1 0 1 0 1 0 1 0 0 0 0 0 0 2 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 2 2 0 2 0 2 2 1 1 1 2 1 0 0 0 0 1 0 0 2 2 2 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 1 0 2 0 2 1 2 1 1 2 2 0 1 0 0 0 0 0 0 0 2 0 0 0 0 1 0 1 1 0 0 0 1 1 1 1 1 1 0 0 2 0 2 0 1 0 1 1 2 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 2 1 0 1 1 0 0 2 2 1 1 0 0 1 0 2 0 0 2 0 0 1 1 0 0 1 0 0 0 1 1 1 0 0 1 0 1 2 2 1 1 0 1 1 1 0 1 1 0 0 0 0 0 2 1 1 0 0 0 0 0 0 1 0 0 1 0 1 1 2 1 1 0 0 1 1 2 2 1 0 1 1 2 0 0 1 1 1 0 0 0 1 0 1 0 1 1 1 1 0 0 0 0 0 0 0 1 2 2 2 0 0 0 0 0 2 2 2 1 1 2 1 0 0 2 2 1 0 1 0 0 1 0 1 1 2 2 1 1 0 1 1 0 0 1 1 2 2 1 1 0 0 0 1 1 2 2 2 2 2 1 0 1 1 2 1 1 0 1 1 0 0 0 2 2 2 1 0 1 0 0 1 0 0 1 1 1 1 0 0 1 0 0 1 1 1 1 1 1 1 0 0 1 1 1 0 0 1 1 0 0 1 1 1 1 0 20 46 65 84 99 114 129 147 172 199 221 237 251 270 291 303 313 328 348 366 388 408 423 440 459 478 490 493 504 521 542 569 592 617 640 668 700 739 762 531 </values> 255.20/240.00 v </instantiation> 255.20/240.00 c Unexpected resolution interruption!
OK 531
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4255343-1501618985/watcher-4255343-1501618985 -o /tmp/evaluation-result-4255343-1501618985/solver-4255343-1501618985 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node130-1501617182-10799 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1853714015 HOME/instance-4255343-1501618985.xml pid=11612 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.88 1.89 1.82 3/195 11615 /proc/meminfo: memFree=31741664/32770624 swapFree=0/188976 [pid=11615] ppid=11612 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/11615/stat : 11615 (runsolver) D 11612 11615 5123 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10515431 24240128 106 18446744073709551615 4194304 4338465 140728205314416 140728205312056 139952181281495 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 23298048 140728205316188 140728205316678 140728205316678 140728205320138 0 /proc/11615/statm: 5918 106 53 36 0 2156 0 [startup+0.100109 s] /proc/loadavg: 1.88 1.89 1.82 3/195 11615 /proc/meminfo: memFree=31741664/32770624 swapFree=0/188976 [pid=11615] ppid=11612 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/11615/stat : 11615 (xcsp3-exec) S 11612 11615 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10515431 9740288 345 18446744073709551615 4194304 5098028 140724373618784 140724373616888 140446049600124 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 33914880 140724373627291 140724373627495 140724373627495 140724373630955 0 /proc/11615/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200248 s] /proc/loadavg: 1.88 1.89 1.82 3/195 11615 /proc/meminfo: memFree=31741664/32770624 swapFree=0/188976 [pid=11615] ppid=11612 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/11615/stat : 11615 (xcsp3-exec) S 11612 11615 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10515431 9740288 345 18446744073709551615 4194304 5098028 140724373618784 140724373616888 140446049600124 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 33914880 140724373627291 140724373627495 140724373627495 140724373630955 0 /proc/11615/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300939 s] /proc/loadavg: 1.88 1.89 1.82 3/195 11615 /proc/meminfo: memFree=31741664/32770624 swapFree=0/188976 [pid=11615] ppid=11612 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/11615/stat : 11615 (xcsp3-exec) S 11612 11615 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10515431 9740288 345 18446744073709551615 4194304 5098028 140724373618784 140724373616888 140446049600124 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 33914880 140724373627291 140724373627495 140724373627495 140724373630955 0 /proc/11615/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700258 s] /proc/loadavg: 1.88 1.89 1.82 3/195 11615 /proc/meminfo: memFree=31741664/32770624 swapFree=0/188976 [pid=11615] ppid=11612 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/11615/stat : 11615 (xcsp3-exec) S 11612 11615 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10515431 9740288 345 18446744073709551615 4194304 5098028 140724373618784 140724373616888 140446049600124 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 33914880 140724373627291 140724373627495 140724373627495 140724373630955 0 /proc/11615/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50225 s] /proc/loadavg: 1.88 1.89 1.82 3/211 11631 /proc/meminfo: memFree=31640416/32770624 swapFree=0/189004 [pid=11615] ppid=11612 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/11615/stat : 11615 (xcsp3-exec) S 11612 11615 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10515431 9740288 345 18446744073709551615 4194304 5098028 140724373618784 140724373616888 140446049600124 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 33914880 140724373627291 140724373627495 140724373627495 140724373630955 0 /proc/11615/statm: 2378 345 289 221 0 87 0 [pid=11617] ppid=11615 vsize=13980732 CPUtime=3.14 cores=0,2,4,6 /proc/11617/stat : 11617 (java) S 11615 11615 5123 0 -1 1077944320 19289 0 0 0 306 8 0 0 20 0 15 0 10515438 14316269568 32513 18446744073709551615 4194304 4196468 140725094505632 140725094488176 139781547314935 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 /proc/11617/statm: 3495183 32513 3180 1 0 3483484 0 [pid=11617/tid=11618] ppid=11615 vsize=13980732 CPUtime=1.37 cores=0,2,4,6 /proc/11617/task/11618/stat : 11618 (java) R 11615 11615 5123 0 -1 4202560 10683 0 0 0 132 5 0 0 20 0 15 0 10515438 14316269568 32513 18446744073709551615 4194304 4196468 140725094505632 139781551553568 139781142686931 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11619] ppid=11615 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11617/task/11619/stat : 11619 (java) S 11615 11615 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10515439 14316269568 32513 18446744073709551615 4194304 4196468 140725094505632 139781466729488 139781547325141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11620] ppid=11615 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11617/task/11620/stat : 11620 (java) S 11615 11615 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10515439 14316269568 32513 18446744073709551615 4194304 4196468 140725094505632 139781465676944 139781547325141 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11621] ppid=11615 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11617/task/11621/stat : 11621 (java) S 11615 11615 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10515439 14316269568 32513 18446744073709551615 4194304 4196468 140725094505632 139781464623888 139781547325141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11622] ppid=11615 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11617/task/11622/stat : 11622 (java) S 11615 11615 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10515439 14316269568 32513 18446744073709551615 4194304 4196468 140725094505632 139781463571344 139781547325141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11623] ppid=11615 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11617/task/11623/stat : 11623 (java) S 11615 11615 5123 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 10515440 14316269568 32513 18446744073709551615 4194304 4196468 140725094505632 139781025028336 139781547326082 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11624] ppid=11615 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11617/task/11624/stat : 11624 (java) S 11615 11615 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10515441 14316269568 32513 18446744073709551615 4194304 4196468 140725094505632 139781023974560 139781547325141 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11625] ppid=11615 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11617/task/11625/stat : 11625 (java) S 11615 11615 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10515441 14316269568 32513 18446744073709551615 4194304 4196468 140725094505632 139781022921456 139781547325141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11626] ppid=11615 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11617/task/11626/stat : 11626 (java) S 11615 11615 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10515443 14316269568 32513 18446744073709551615 4194304 4196468 140725094505632 139781021870032 139781547333531 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11627] ppid=11615 vsize=13980732 CPUtime=0.58 cores=0,2,4,6 /proc/11617/task/11627/stat : 11627 (java) R 11615 11615 5123 0 -1 4202560 2105 0 0 0 57 1 0 0 20 0 15 0 10515443 14316269568 32513 18446744073709551615 4194304 4196468 140725094505632 139781020809616 139781531711454 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11628] ppid=11615 vsize=13980732 CPUtime=0.63 cores=0,2,4,6 /proc/11617/task/11628/stat : 11628 (java) R 11615 11615 5123 0 -1 4202560 2233 0 0 0 63 0 0 0 20 0 15 0 10515443 14316269568 32513 18446744073709551615 4194304 4196468 140725094505632 139781019752432 139781531849602 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11629] ppid=11615 vsize=13980732 CPUtime=0.54 cores=0,2,4,6 /proc/11617/task/11629/stat : 11629 (java) S 11615 11615 5123 0 -1 1077944384 2898 0 0 0 53 1 0 0 20 0 15 0 10515443 14316269568 32513 18446744073709551615 4194304 4196468 140725094505632 139781018712560 139781547326082 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11630] ppid=11615 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11617/task/11630/stat : 11630 (java) S 11615 11615 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10515443 14316269568 32513 18446744073709551615 4194304 4196468 140725094505632 139781017660256 139781547325141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11631] ppid=11615 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11617/task/11631/stat : 11631 (java) S 11615 11615 5123 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 10515448 14316269568 32513 18446744073709551615 4194304 4196468 140725094505632 139781016607280 139781547326082 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 Current children cumulated CPU time (s) 3.14 Current children cumulated vsize (KiB) 13990244 [startup+3.10075 s] /proc/loadavg: 1.97 1.91 1.83 3/211 11631 /proc/meminfo: memFree=31607272/32770624 swapFree=0/189012 [pid=11615] ppid=11612 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/11615/stat : 11615 (xcsp3-exec) S 11612 11615 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10515431 9740288 345 18446744073709551615 4194304 5098028 140724373618784 140724373616888 140446049600124 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 33914880 140724373627291 140724373627495 140724373627495 140724373630955 0 /proc/11615/statm: 2378 345 289 221 0 87 0 [pid=11617] ppid=11615 vsize=13980732 CPUtime=5.99 cores=0,2,4,6 /proc/11617/stat : 11617 (java) S 11615 11615 5123 0 -1 1077944320 21348 0 0 0 591 8 0 0 20 0 15 0 10515438 14316269568 38475 18446744073709551615 4194304 4196468 140725094505632 140725094488176 139781547314935 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 /proc/11617/statm: 3495183 38475 3182 1 0 3483484 0 [pid=11617/tid=11618] ppid=11615 vsize=13980732 CPUtime=2.96 cores=0,2,4,6 /proc/11617/task/11618/stat : 11618 (java) R 11615 11615 5123 0 -1 4202560 10750 0 0 0 291 5 0 0 20 0 15 0 10515438 14316269568 38475 18446744073709551615 4194304 4196468 140725094505632 139781551554320 139781143695396 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11619] ppid=11615 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11617/task/11619/stat : 11619 (java) S 11615 11615 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10515439 14316269568 38475 18446744073709551615 4194304 4196468 140725094505632 139781466729488 139781547325141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11620] ppid=11615 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11617/task/11620/stat : 11620 (java) S 11615 11615 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10515439 14316269568 38475 18446744073709551615 4194304 4196468 140725094505632 139781465676944 139781547325141 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11621] ppid=11615 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11617/task/11621/stat : 11621 (java) S 11615 11615 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10515439 14316269568 38475 18446744073709551615 4194304 4196468 140725094505632 139781464623888 139781547325141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11622] ppid=11615 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11617/task/11622/stat : 11622 (java) S 11615 11615 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10515439 14316269568 38475 18446744073709551615 4194304 4196468 140725094505632 139781463571344 139781547325141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11623] ppid=11615 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11617/task/11623/stat : 11623 (java) S 11615 11615 5123 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 10515440 14316269568 38475 18446744073709551615 4194304 4196468 140725094505632 139781025028336 139781547326082 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11624] ppid=11615 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11617/task/11624/stat : 11624 (java) S 11615 11615 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10515441 14316269568 38475 18446744073709551615 4194304 4196468 140725094505632 139781023974560 139781547325141 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11625] ppid=11615 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11617/task/11625/stat : 11625 (java) S 11615 11615 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10515441 14316269568 38475 18446744073709551615 4194304 4196468 140725094505632 139781022921456 139781547325141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11626] ppid=11615 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11617/task/11626/stat : 11626 (java) S 11615 11615 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10515443 14316269568 38475 18446744073709551615 4194304 4196468 140725094505632 139781021870032 139781547333531 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11627] ppid=11615 vsize=13980732 CPUtime=1.1 cores=0,2,4,6 /proc/11617/task/11627/stat : 11627 (java) S 11615 11615 5123 0 -1 1077944384 2941 0 0 0 109 1 0 0 20 0 15 0 10515443 14316269568 38475 18446744073709551615 4194304 4196468 140725094505632 139781020818160 139781547326082 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11628] ppid=11615 vsize=13980732 CPUtime=1.21 cores=0,2,4,6 /proc/11617/task/11628/stat : 11628 (java) S 11615 11615 5123 0 -1 1077944384 3106 0 0 0 121 0 0 0 20 0 15 0 10515443 14316269568 38475 18446744073709551615 4194304 4196468 140725094505632 139781019765616 139781547326082 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11629] ppid=11615 vsize=13980732 CPUtime=0.68 cores=0,2,4,6 /proc/11617/task/11629/stat : 11629 (java) S 11615 11615 5123 0 -1 1077944384 3181 0 0 0 67 1 0 0 20 0 15 0 10515443 14316269568 38475 18446744073709551615 4194304 4196468 140725094505632 139781018712560 139781547326082 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11630] ppid=11615 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11617/task/11630/stat : 11630 (java) S 11615 11615 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10515443 14316269568 38475 18446744073709551615 4194304 4196468 140725094505632 139781017660256 139781547325141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11631] ppid=11615 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11617/task/11631/stat : 11631 (java) S 11615 11615 5123 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 10515448 14316269568 38475 18446744073709551615 4194304 4196468 140725094505632 139781016607280 139781547326082 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 Current children cumulated CPU time (s) 5.99 Current children cumulated vsize (KiB) 13990244 [startup+6.30073 s] /proc/loadavg: 1.97 1.91 1.83 3/211 11631 /proc/meminfo: memFree=31577008/32770624 swapFree=0/189016 [pid=11615] ppid=11612 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/11615/stat : 11615 (xcsp3-exec) S 11612 11615 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10515431 9740288 345 18446744073709551615 4194304 5098028 140724373618784 140724373616888 140446049600124 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 33914880 140724373627291 140724373627495 140724373627495 140724373630955 0 /proc/11615/statm: 2378 345 289 221 0 87 0 [pid=11617] ppid=11615 vsize=13980732 CPUtime=10.42 cores=0,2,4,6 /proc/11617/stat : 11617 (java) S 11615 11615 5123 0 -1 1077944320 27088 0 0 0 1032 10 0 0 20 0 15 0 10515438 14316269568 45365 18446744073709551615 4194304 4196468 140725094505632 140725094488176 139781547314935 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 /proc/11617/statm: 3495183 45365 3193 1 0 3483484 0 [pid=11617/tid=11618] ppid=11615 vsize=13980732 CPUtime=6.16 cores=0,2,4,6 /proc/11617/task/11618/stat : 11618 (java) R 11615 11615 5123 0 -1 4202560 11546 0 0 0 610 6 0 0 20 0 15 0 10515438 14316269568 45365 18446744073709551615 4194304 4196468 140725094505632 139781551550688 139781143695512 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11619] ppid=11615 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11617/task/11619/stat : 11619 (java) S 11615 11615 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10515439 14316269568 45365 18446744073709551615 4194304 4196468 140725094505632 139781466729488 139781547325141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11620] ppid=11615 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11617/task/11620/stat : 11620 (java) S 11615 11615 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10515439 14316269568 45365 18446744073709551615 4194304 4196468 140725094505632 139781465676944 139781547325141 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11621] ppid=11615 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11617/task/11621/stat : 11621 (java) S 11615 11615 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10515439 14316269568 45365 18446744073709551615 4194304 4196468 140725094505632 139781464623888 139781547325141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11622] ppid=11615 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11617/task/11622/stat : 11622 (java) S 11615 11615 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10515439 14316269568 45365 18446744073709551615 4194304 4196468 140725094505632 139781463571344 139781547325141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11623] ppid=11615 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11617/task/11623/stat : 11623 (java) S 11615 11615 5123 0 -1 1077944384 144 0 0 0 0 0 0 0 20 0 15 0 10515440 14316269568 45365 18446744073709551615 4194304 4196468 140725094505632 139781025028336 139781547326082 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11624] ppid=11615 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11617/task/11624/stat : 11624 (java) S 11615 11615 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10515441 14316269568 45365 18446744073709551615 4194304 4196468 140725094505632 139781023974560 139781547325141 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11625] ppid=11615 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11617/task/11625/stat : 11625 (java) S 11615 11615 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10515441 14316269568 45365 18446744073709551615 4194304 4196468 140725094505632 139781022921456 139781547325141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11626] ppid=11615 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11617/task/11626/stat : 11626 (java) S 11615 11615 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10515443 14316269568 45365 18446744073709551615 4194304 4196468 140725094505632 139781021870032 139781547333531 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11627] ppid=11615 vsize=13980732 CPUtime=1.79 cores=0,2,4,6 /proc/11617/task/11627/stat : 11627 (java) S 11615 11615 5123 0 -1 1077944384 7101 0 0 0 178 1 0 0 20 0 15 0 10515443 14316269568 45365 18446744073709551615 4194304 4196468 140725094505632 139781020818160 139781547326082 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11628] ppid=11615 vsize=13980732 CPUtime=1.69 cores=0,2,4,6 /proc/11617/task/11628/stat : 11628 (java) S 11615 11615 5123 0 -1 1077944384 3351 0 0 0 169 0 0 0 20 0 15 0 10515443 14316269568 45365 18446744073709551615 4194304 4196468 140725094505632 139781019765616 139781547326082 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11629] ppid=11615 vsize=13980732 CPUtime=0.73 cores=0,2,4,6 /proc/11617/task/11629/stat : 11629 (java) S 11615 11615 5123 0 -1 1077944384 3537 0 0 0 72 1 0 0 20 0 15 0 10515443 14316269568 45365 18446744073709551615 4194304 4196468 140725094505632 139781018712560 139781547326082 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11630] ppid=11615 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11617/task/11630/stat : 11630 (java) S 11615 11615 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10515443 14316269568 45365 18446744073709551615 4194304 4196468 140725094505632 139781017660256 139781547325141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11631] ppid=11615 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/11617/task/11631/stat : 11631 (java) S 11615 11615 5123 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 15 0 10515448 14316269568 45365 18446744073709551615 4194304 4196468 140725094505632 139781016607280 139781547326082 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 Current children cumulated CPU time (s) 10.42 Current children cumulated vsize (KiB) 13990244 [startup+12.7007 s] /proc/loadavg: 1.89 1.90 1.83 4/211 11631 /proc/meminfo: memFree=31517756/32770624 swapFree=0/189024 [pid=11615] ppid=11612 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/11615/stat : 11615 (xcsp3-exec) S 11612 11615 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10515431 9740288 345 18446744073709551615 4194304 5098028 140724373618784 140724373616888 140446049600124 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 33914880 140724373627291 140724373627495 140724373627495 140724373630955 0 /proc/11615/statm: 2378 345 289 221 0 87 0 [pid=11617] ppid=11615 vsize=13980732 CPUtime=18.79 cores=0,2,4,6 /proc/11617/stat : 11617 (java) S 11615 11615 5123 0 -1 1077944320 39962 0 0 0 1863 16 0 0 20 0 15 0 10515438 14316269568 62167 18446744073709551615 4194304 4196468 140725094505632 140725094488176 139781547314935 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 /proc/11617/statm: 3495183 62167 3220 1 0 3483484 0 [pid=11617/tid=11618] ppid=11615 vsize=13980732 CPUtime=12.53 cores=0,2,4,6 /proc/11617/task/11618/stat : 11618 (java) R 11615 11615 5123 0 -1 4202560 11980 0 0 0 1247 6 0 0 20 0 15 0 10515438 14316269568 62167 18446744073709551615 4194304 4196468 140725094505632 139781551551704 139781143695396 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11619] ppid=11615 vsize=13980732 CPUtime=0.01 cores=0,2,4,6 /proc/11617/task/11619/stat : 11619 (java) S 11615 11615 5123 0 -1 1077944384 840 0 0 0 1 0 0 0 20 0 15 0 10515439 14316269568 62167 18446744073709551615 4194304 4196468 140725094505632 139781466729488 139781547325141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11620] ppid=11615 vsize=13980732 CPUtime=0.01 cores=0,2,4,6 /proc/11617/task/11620/stat : 11620 (java) S 11615 11615 5123 0 -1 1077944384 65 0 0 0 1 0 0 0 20 0 15 0 10515439 14316269568 62167 18446744073709551615 4194304 4196468 140725094505632 139781465676944 139781547325141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 ################ # More data... # ################ [pid=11617/tid=11624] ppid=11615 vsize=13982780 CPUtime=0 cores=0,2,4,6 /proc/11617/task/11624/stat : 11624 (java) S 11615 11615 5123 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 10515441 14318366720 176160 18446744073709551615 4194304 4196468 140725094505632 139781023974560 139781547325141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11625] ppid=11615 vsize=13982780 CPUtime=0 cores=0,2,4,6 /proc/11617/task/11625/stat : 11625 (java) S 11615 11615 5123 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 10515441 14318366720 176160 18446744073709551615 4194304 4196468 140725094505632 139781022921456 139781547325141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11626] ppid=11615 vsize=13982780 CPUtime=0 cores=0,2,4,6 /proc/11617/task/11626/stat : 11626 (java) S 11615 11615 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10515443 14318366720 176160 18446744073709551615 4194304 4196468 140725094505632 139781021870032 139781547333531 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11627] ppid=11615 vsize=13982780 CPUtime=5.1 cores=0,2,4,6 /proc/11617/task/11627/stat : 11627 (java) S 11615 11615 5123 0 -1 1077944384 21988 0 0 0 507 3 0 0 20 0 15 0 10515443 14318366720 176160 18446744073709551615 4194304 4196468 140725094505632 139781020818160 139781547326082 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11628] ppid=11615 vsize=13982780 CPUtime=4.74 cores=0,2,4,6 /proc/11617/task/11628/stat : 11628 (java) S 11615 11615 5123 0 -1 1077944384 19403 0 0 0 472 2 0 0 20 0 15 0 10515443 14318366720 176160 18446744073709551615 4194304 4196468 140725094505632 139781019765616 139781547326082 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11629] ppid=11615 vsize=13982780 CPUtime=0.93 cores=0,2,4,6 /proc/11617/task/11629/stat : 11629 (java) S 11615 11615 5123 0 -1 1077944384 7438 0 0 0 91 2 0 0 20 0 15 0 10515443 14318366720 176160 18446744073709551615 4194304 4196468 140725094505632 139781018712560 139781547326082 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11630] ppid=11615 vsize=13982780 CPUtime=0 cores=0,2,4,6 /proc/11617/task/11630/stat : 11630 (java) S 11615 11615 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10515443 14318366720 176160 18446744073709551615 4194304 4196468 140725094505632 139781017660256 139781547325141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11631] ppid=11615 vsize=13982780 CPUtime=0.04 cores=0,2,4,6 /proc/11617/task/11631/stat : 11631 (java) S 11615 11615 5123 0 -1 1077944384 204 0 0 0 2 2 0 0 20 0 15 0 10515448 14318366720 176160 18446744073709551615 4194304 4196468 140725094505632 139781016607280 139781547326082 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 Current children cumulated CPU time (s) 114.22 Current children cumulated vsize (KiB) 13992292 [startup+162.301 s] /proc/loadavg: 1.95 1.90 1.84 3/212 11643 /proc/meminfo: memFree=30445064/32770624 swapFree=0/189136 [pid=11615] ppid=11612 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/11615/stat : 11615 (xcsp3-exec) S 11612 11615 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10515431 9740288 345 18446744073709551615 4194304 5098028 140724373618784 140724373616888 140446049600124 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 33914880 140724373627291 140724373627495 140724373627495 140724373630955 0 /proc/11615/statm: 2378 345 289 221 0 87 0 [pid=11617] ppid=11615 vsize=13982780 CPUtime=175.39 cores=0,2,4,6 /proc/11617/stat : 11617 (java) S 11615 11615 5123 0 -1 1077944320 79750 0 0 0 17460 79 0 0 20 0 15 0 10515438 14318366720 170737 18446744073709551615 4194304 4196468 140725094505632 140725094488176 139781547314935 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 /proc/11617/statm: 3495695 170737 3227 1 0 3483996 0 [pid=11617/tid=11618] ppid=11615 vsize=13982780 CPUtime=161.36 cores=0,2,4,6 /proc/11617/task/11618/stat : 11618 (java) R 11615 11615 5123 0 -1 4202560 18900 0 0 0 16127 9 0 0 20 0 15 0 10515438 14318366720 170737 18446744073709551615 4194304 4196468 140725094505632 139781551553968 139781147041531 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11619] ppid=11615 vsize=13982780 CPUtime=0.74 cores=0,2,4,6 /proc/11617/task/11619/stat : 11619 (java) S 11615 11615 5123 0 -1 1077944384 1788 0 0 0 60 14 0 0 20 0 15 0 10515439 14318366720 170737 18446744073709551615 4194304 4196468 140725094505632 139781466729488 139781547325141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11620] ppid=11615 vsize=13982780 CPUtime=0.72 cores=0,2,4,6 /proc/11617/task/11620/stat : 11620 (java) S 11615 11615 5123 0 -1 1077944384 1094 0 0 0 58 14 0 0 20 0 15 0 10515439 14318366720 170737 18446744073709551615 4194304 4196468 140725094505632 139781465676944 139781547325141 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11621] ppid=11615 vsize=13982780 CPUtime=0.7 cores=0,2,4,6 /proc/11617/task/11621/stat : 11621 (java) S 11615 11615 5123 0 -1 1077944384 1005 0 0 0 57 13 0 0 20 0 15 0 10515439 14318366720 170737 18446744073709551615 4194304 4196468 140725094505632 139781464623888 139781547325141 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11622] ppid=11615 vsize=13982780 CPUtime=0.73 cores=0,2,4,6 /proc/11617/task/11622/stat : 11622 (java) S 11615 11615 5123 0 -1 1077944384 1407 0 0 0 59 14 0 0 20 0 15 0 10515439 14318366720 170737 18446744073709551615 4194304 4196468 140725094505632 139781463571344 139781547325141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11623] ppid=11615 vsize=13982780 CPUtime=0.02 cores=0,2,4,6 /proc/11617/task/11623/stat : 11623 (java) S 11615 11615 5123 0 -1 1077944384 1267 0 0 0 2 0 0 0 20 0 15 0 10515440 14318366720 170737 18446744073709551615 4194304 4196468 140725094505632 139781025028336 139781547326082 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11624] ppid=11615 vsize=13982780 CPUtime=0 cores=0,2,4,6 /proc/11617/task/11624/stat : 11624 (java) S 11615 11615 5123 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 10515441 14318366720 170737 18446744073709551615 4194304 4196468 140725094505632 139781023974560 139781547325141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11625] ppid=11615 vsize=13982780 CPUtime=0 cores=0,2,4,6 /proc/11617/task/11625/stat : 11625 (java) S 11615 11615 5123 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 10515441 14318366720 170737 18446744073709551615 4194304 4196468 140725094505632 139781022921456 139781547325141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11626] ppid=11615 vsize=13982780 CPUtime=0 cores=0,2,4,6 /proc/11617/task/11626/stat : 11626 (java) S 11615 11615 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10515443 14318366720 170737 18446744073709551615 4194304 4196468 140725094505632 139781021870032 139781547333531 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11627] ppid=11615 vsize=13982780 CPUtime=5.26 cores=0,2,4,6 /proc/11617/task/11627/stat : 11627 (java) S 11615 11615 5123 0 -1 1077944384 25244 0 0 0 523 3 0 0 20 0 15 0 10515443 14318366720 170737 18446744073709551615 4194304 4196468 140725094505632 139781020818160 139781547326082 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11628] ppid=11615 vsize=13982780 CPUtime=4.75 cores=0,2,4,6 /proc/11617/task/11628/stat : 11628 (java) S 11615 11615 5123 0 -1 1077944384 20019 0 0 0 473 2 0 0 20 0 15 0 10515443 14318366720 170737 18446744073709551615 4194304 4196468 140725094505632 139781019765616 139781547326082 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11629] ppid=11615 vsize=13982780 CPUtime=0.94 cores=0,2,4,6 /proc/11617/task/11629/stat : 11629 (java) S 11615 11615 5123 0 -1 1077944384 7443 0 0 0 92 2 0 0 20 0 15 0 10515443 14318366720 170737 18446744073709551615 4194304 4196468 140725094505632 139781018712560 139781547326082 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11630] ppid=11615 vsize=13982780 CPUtime=0 cores=0,2,4,6 /proc/11617/task/11630/stat : 11630 (java) S 11615 11615 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10515443 14318366720 170737 18446744073709551615 4194304 4196468 140725094505632 139781017660256 139781547325141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11631] ppid=11615 vsize=13982780 CPUtime=0.06 cores=0,2,4,6 /proc/11617/task/11631/stat : 11631 (java) S 11615 11615 5123 0 -1 1077944384 241 0 0 0 2 4 0 0 20 0 15 0 10515448 14318366720 170737 18446744073709551615 4194304 4196468 140725094505632 139781016607280 139781547326082 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 Current children cumulated CPU time (s) 175.39 Current children cumulated vsize (KiB) 13992292 [startup+222.307 s] /proc/loadavg: 1.92 1.92 1.85 3/212 11645 /proc/meminfo: memFree=30498664/32770624 swapFree=0/189156 [pid=11615] ppid=11612 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/11615/stat : 11615 (xcsp3-exec) S 11612 11615 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10515431 9740288 345 18446744073709551615 4194304 5098028 140724373618784 140724373616888 140446049600124 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 33914880 140724373627291 140724373627495 140724373627495 140724373630955 0 /proc/11615/statm: 2378 345 289 221 0 87 0 [pid=11617] ppid=11615 vsize=13982780 CPUtime=237.12 cores=0,2,4,6 /proc/11617/stat : 11617 (java) S 11615 11615 5123 0 -1 1077944320 85216 0 0 0 23626 86 0 0 20 0 15 0 10515438 14318366720 154146 18446744073709551615 4194304 4196468 140725094505632 140725094488176 139781547314935 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 /proc/11617/statm: 3495695 154146 3242 1 0 3483996 0 [pid=11617/tid=11618] ppid=11615 vsize=13982780 CPUtime=220.7 cores=0,2,4,6 /proc/11617/task/11618/stat : 11618 (java) R 11615 11615 5123 0 -1 4202560 19806 0 0 0 22061 9 0 0 20 0 15 0 10515438 14318366720 154146 18446744073709551615 4194304 4196468 140725094505632 139781551554592 139781143553354 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11619] ppid=11615 vsize=13982780 CPUtime=1.3 cores=0,2,4,6 /proc/11617/task/11619/stat : 11619 (java) S 11615 11615 5123 0 -1 1077944384 2403 0 0 0 115 15 0 0 20 0 15 0 10515439 14318366720 154146 18446744073709551615 4194304 4196468 140725094505632 139781466729488 139781547325141 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11620] ppid=11615 vsize=13982780 CPUtime=1.29 cores=0,2,4,6 /proc/11617/task/11620/stat : 11620 (java) S 11615 11615 5123 0 -1 1077944384 1446 0 0 0 113 16 0 0 20 0 15 0 10515439 14318366720 154146 18446744073709551615 4194304 4196468 140725094505632 139781465676944 139781547325141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11621] ppid=11615 vsize=13982780 CPUtime=1.27 cores=0,2,4,6 /proc/11617/task/11621/stat : 11621 (java) S 11615 11615 5123 0 -1 1077944384 1233 0 0 0 112 15 0 0 20 0 15 0 10515439 14318366720 154146 18446744073709551615 4194304 4196468 140725094505632 139781464623888 139781547325141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11622] ppid=11615 vsize=13982780 CPUtime=1.3 cores=0,2,4,6 /proc/11617/task/11622/stat : 11622 (java) S 11615 11615 5123 0 -1 1077944384 2019 0 0 0 115 15 0 0 20 0 15 0 10515439 14318366720 154146 18446744073709551615 4194304 4196468 140725094505632 139781463571344 139781547325141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11623] ppid=11615 vsize=13982780 CPUtime=0.1 cores=0,2,4,6 /proc/11617/task/11623/stat : 11623 (java) S 11615 11615 5123 0 -1 1077944384 3960 0 0 0 10 0 0 0 20 0 15 0 10515440 14318366720 154146 18446744073709551615 4194304 4196468 140725094505632 139781025028336 139781547326082 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11624] ppid=11615 vsize=13982780 CPUtime=0 cores=0,2,4,6 /proc/11617/task/11624/stat : 11624 (java) S 11615 11615 5123 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 10515441 14318366720 154146 18446744073709551615 4194304 4196468 140725094505632 139781023974624 139781547325141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11625] ppid=11615 vsize=13982780 CPUtime=0 cores=0,2,4,6 /proc/11617/task/11625/stat : 11625 (java) S 11615 11615 5123 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 10515441 14318366720 154146 18446744073709551615 4194304 4196468 140725094505632 139781022921456 139781547325141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11626] ppid=11615 vsize=13982780 CPUtime=0 cores=0,2,4,6 /proc/11617/task/11626/stat : 11626 (java) S 11615 11615 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10515443 14318366720 154146 18446744073709551615 4194304 4196468 140725094505632 139781021870032 139781547333531 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11627] ppid=11615 vsize=13982780 CPUtime=5.26 cores=0,2,4,6 /proc/11617/task/11627/stat : 11627 (java) S 11615 11615 5123 0 -1 1077944384 25244 0 0 0 523 3 0 0 20 0 15 0 10515443 14318366720 154146 18446744073709551615 4194304 4196468 140725094505632 139781020818160 139781547326082 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11628] ppid=11615 vsize=13982780 CPUtime=4.75 cores=0,2,4,6 /proc/11617/task/11628/stat : 11628 (java) S 11615 11615 5123 0 -1 1077944384 20075 0 0 0 473 2 0 0 20 0 15 0 10515443 14318366720 154146 18446744073709551615 4194304 4196468 140725094505632 139781019765616 139781547326082 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11629] ppid=11615 vsize=13982780 CPUtime=0.94 cores=0,2,4,6 /proc/11617/task/11629/stat : 11629 (java) S 11615 11615 5123 0 -1 1077944384 7443 0 0 0 92 2 0 0 20 0 15 0 10515443 14318366720 154146 18446744073709551615 4194304 4196468 140725094505632 139781018712560 139781547326082 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11630] ppid=11615 vsize=13982780 CPUtime=0 cores=0,2,4,6 /proc/11617/task/11630/stat : 11630 (java) S 11615 11615 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10515443 14318366720 154146 18446744073709551615 4194304 4196468 140725094505632 139781017660256 139781547325141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11631] ppid=11615 vsize=13982780 CPUtime=0.1 cores=0,2,4,6 /proc/11617/task/11631/stat : 11631 (java) S 11615 11615 5123 0 -1 1077944384 241 0 0 0 4 6 0 0 20 0 15 0 10515448 14318366720 154146 18446744073709551615 4194304 4196468 140725094505632 139781016607280 139781547326082 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 Current children cumulated CPU time (s) 237.12 Current children cumulated vsize (KiB) 13992292 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+240.001 s] /proc/loadavg: 2.02 1.94 1.86 3/212 11726 /proc/meminfo: memFree=31159808/32770624 swapFree=0/189208 [pid=11615] ppid=11612 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/11615/stat : 11615 (xcsp3-exec) S 11612 11615 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10515431 9740288 345 18446744073709551615 4194304 5098028 140724373618784 140724373616888 140446049600124 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 33914880 140724373627291 140724373627495 140724373627495 140724373630955 0 /proc/11615/statm: 2378 345 289 221 0 87 0 [pid=11617] ppid=11615 vsize=13982780 CPUtime=255.2 cores=0,2,4,6 /proc/11617/stat : 11617 (java) S 11615 11615 5123 0 -1 1077944320 89817 0 0 0 25433 87 0 0 20 0 15 0 10515438 14318366720 146398 18446744073709551615 4194304 4196468 140725094505632 140725094488176 139781547314935 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 /proc/11617/statm: 3495695 146398 3243 1 0 3483996 0 [pid=11617/tid=11618] ppid=11615 vsize=13982780 CPUtime=238.3 cores=0,2,4,6 /proc/11617/task/11618/stat : 11618 (java) R 11615 11615 5123 0 -1 4202560 20534 0 0 0 23820 10 0 0 20 0 15 0 10515438 14318366720 146398 18446744073709551615 4194304 4196468 140725094505632 139781551554160 139781143561449 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11619] ppid=11615 vsize=13982780 CPUtime=1.4 cores=0,2,4,6 /proc/11617/task/11619/stat : 11619 (java) S 11615 11615 5123 0 -1 1077944384 2508 0 0 0 125 15 0 0 20 0 15 0 10515439 14318366720 146398 18446744073709551615 4194304 4196468 140725094505632 139781466729488 139781547325141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11620] ppid=11615 vsize=13982780 CPUtime=1.38 cores=0,2,4,6 /proc/11617/task/11620/stat : 11620 (java) S 11615 11615 5123 0 -1 1077944384 1531 0 0 0 122 16 0 0 20 0 15 0 10515439 14318366720 146398 18446744073709551615 4194304 4196468 140725094505632 139781465676944 139781547325141 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11621] ppid=11615 vsize=13982780 CPUtime=1.37 cores=0,2,4,6 /proc/11617/task/11621/stat : 11621 (java) S 11615 11615 5123 0 -1 1077944384 1293 0 0 0 122 15 0 0 20 0 15 0 10515439 14318366720 146398 18446744073709551615 4194304 4196468 140725094505632 139781464623888 139781547325141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11622] ppid=11615 vsize=13982780 CPUtime=1.39 cores=0,2,4,6 /proc/11617/task/11622/stat : 11622 (java) S 11615 11615 5123 0 -1 1077944384 2225 0 0 0 124 15 0 0 20 0 15 0 10515439 14318366720 146398 18446744073709551615 4194304 4196468 140725094505632 139781463571344 139781547325141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11623] ppid=11615 vsize=13982780 CPUtime=0.11 cores=0,2,4,6 /proc/11617/task/11623/stat : 11623 (java) S 11615 11615 5123 0 -1 1077944384 4184 0 0 0 11 0 0 0 20 0 15 0 10515440 14318366720 146398 18446744073709551615 4194304 4196468 140725094505632 139781025028336 139781547326082 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11624] ppid=11615 vsize=13982780 CPUtime=0 cores=0,2,4,6 /proc/11617/task/11624/stat : 11624 (java) S 11615 11615 5123 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 10515441 14318366720 146398 18446744073709551615 4194304 4196468 140725094505632 139781023974624 139781547325141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11625] ppid=11615 vsize=13982780 CPUtime=0 cores=0,2,4,6 /proc/11617/task/11625/stat : 11625 (java) S 11615 11615 5123 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 10515441 14318366720 146398 18446744073709551615 4194304 4196468 140725094505632 139781022921456 139781547325141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11626] ppid=11615 vsize=13982780 CPUtime=0 cores=0,2,4,6 /proc/11617/task/11626/stat : 11626 (java) S 11615 11615 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10515443 14318366720 146398 18446744073709551615 4194304 4196468 140725094505632 139781021870032 139781547333531 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11627] ppid=11615 vsize=13982780 CPUtime=5.36 cores=0,2,4,6 /proc/11617/task/11627/stat : 11627 (java) S 11615 11615 5123 0 -1 1077944384 28217 0 0 0 533 3 0 0 20 0 15 0 10515443 14318366720 146398 18446744073709551615 4194304 4196468 140725094505632 139781020818160 139781547326082 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11628] ppid=11615 vsize=13982780 CPUtime=4.75 cores=0,2,4,6 /proc/11617/task/11628/stat : 11628 (java) S 11615 11615 5123 0 -1 1077944384 20272 0 0 0 473 2 0 0 20 0 15 0 10515443 14318366720 146398 18446744073709551615 4194304 4196468 140725094505632 139781019765616 139781547326082 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11629] ppid=11615 vsize=13982780 CPUtime=0.94 cores=0,2,4,6 /proc/11617/task/11629/stat : 11629 (java) S 11615 11615 5123 0 -1 1077944384 7446 0 0 0 92 2 0 0 20 0 15 0 10515443 14318366720 146398 18446744073709551615 4194304 4196468 140725094505632 139781018712560 139781547326082 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11630] ppid=11615 vsize=13982780 CPUtime=0 cores=0,2,4,6 /proc/11617/task/11630/stat : 11630 (java) S 11615 11615 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10515443 14318366720 146398 18446744073709551615 4194304 4196468 140725094505632 139781017660256 139781547325141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 [pid=11617/tid=11631] ppid=11615 vsize=13982780 CPUtime=0.1 cores=0,2,4,6 /proc/11617/task/11631/stat : 11631 (java) S 11615 11615 5123 0 -1 1077944384 261 0 0 0 4 6 0 0 20 0 15 0 10515448 14318366720 146398 18446744073709551615 4194304 4196468 140725094505632 139781016607280 139781547326082 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39739392 140725094506964 140725094507139 140725094507139 140725094510543 0 Current children cumulated CPU time (s) 255.2 Current children cumulated vsize (KiB) 13992292 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 11617 sig 9 ??? kill 11615 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 11615 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=979 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=979 # CPU time returned by wait4() is 0.001958 # while last known CPU time is 255.2 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 240.01 CPU time (s): 255.2 CPU user time (s): 254.33 CPU system time (s): 0.87 CPU usage (%): 106.329 Max. virtual memory (cumulated for all children) (KiB): 13992292 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.000979 system time used= 0.000979 maximum resident set size= 1384 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 510 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 1 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.15384 second user time and 1.41914 second system time The end
Begin job on node130 at 2017-08-01 22:09:10 IDJOB=4255343 IDBENCH=115896 IDSOLVER=2637 FILE ID=node130/4255343-1501618985 RUNJOBID= node130-1501617182-10799 PBS_JOBID= Free space on /tmp= 61652 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-4255343-1501618985/watcher-4255343-1501618985 -o /tmp/evaluation-result-4255343-1501618985/solver-4255343-1501618985 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node130-1501617182-10799 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1853714015 HOME/instance-4255343-1501618985.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 45cb885f577274590a53a0b26d80d877 RANDOM SEED=1853714015 node130.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.46 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.46 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.46 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.46 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: 31742016 kB MemAvailable: 31810876 kB Buffers: 95764 kB Cached: 257696 kB SwapCached: 0 kB Active: 432996 kB Inactive: 197508 kB Active(anon): 277504 kB Inactive(anon): 8532 kB Active(file): 155492 kB Inactive(file): 188976 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7744 kB Writeback: 4 kB AnonPages: 276724 kB Mapped: 42148 kB Shmem: 8872 kB Slab: 104704 kB SReclaimable: 80456 kB SUnreclaim: 24248 kB KernelStack: 3504 kB PageTables: 5812 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1244020 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 178176 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 61644 MiB End job on node130 at 2017-08-01 22:13:10