Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 4.0.5 seq (2017-07-26) | SAT (TO) | 1393 | 244.78 | 240.00999 |
| Name | Vrp/Vrp-zinc-s1/ Vrp-P-n50-k10.xml |
| MD5SUM | 994883c0320da003cf1ede0b66369d8b |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 740 |
| Best CPU time to get the best result obtained on this benchmark | 251.90199 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2550 |
| Number of constraints | 2499 |
| Number of domains | 3 |
| Minimum domain size | 1 |
| Maximum domain size | 101 |
| Distribution of domain sizes | [{"size":1,"count":50},{"size":2,"count":2450},{"size":101,"count":49}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 97 |
| Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":50},{"degree":2,"count":98},{"degree":4,"count":2352},{"degree":97,"count":49}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 49 |
| Distribution of constraint arities | [{"arity":1,"count":49},{"arity":3,"count":2352},{"arity":49,"count":98}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 49 |
| Distribution of constraint types | [{"type":"intension","count":49},{"type":"sum","count":2352},{"type":"count","count":98}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.06 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254386-1501613892.xml" -tl '264s' -p 1 -x 0 0.00/0.25 c [HOME/instance-4254386-1501613892.xml, -tl, 264s, -p, 1, -x, 0] 0.00/0.31 c simple solver 0.00/0.37 c parse instance... 0.00/0.83 c solve instance... 4.94/2.20 o 1492 4.94/2.23 o 1490 4.94/2.24 o 1475 4.94/2.30 o 1473 85.97/81.48 o 1471 86.57/82.07 o 1470 103.25/98.67 o 1468 103.25/98.68 o 1467 103.36/98.70 o 1459 103.36/98.71 o 1458 103.36/98.74 o 1456 133.53/128.84 o 1453 133.53/128.84 o 1445 133.53/128.85 o 1443 133.53/128.86 o 1418 165.54/160.80 o 1406 165.95/161.21 o 1395 165.95/161.21 o 1393 244.78/240.00 s SATISFIABLE 244.78/240.00 v <instantiation> 244.78/240.00 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[9][49] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[10][47] x[10][48] x[10][49] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[11][47] x[11][48] x[11][49] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] x[12][47] x[12][48] x[12][49] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] x[13][47] x[13][48] x[13][49] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] x[14][47] x[14][48] x[14][49] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] x[15][47] x[15][48] x[15][49] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] x[16][47] x[16][48] x[16][49] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] x[17][47] x[17][48] x[17][49] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] x[18][47] x[18][48] x[18][49] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] x[19][47] x[19][48] x[19][49] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] x[20][47] x[20][48] x[20][49] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] x[21][47] x[21][48] x[21][49] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] x[22][47] x[22][48] x[22][49] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] x[23][47] x[23][48] x[23][49] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] x[24][47] x[24][48] x[24][49] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] x[25][47] x[25][48] x[25][49] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] x[26][47] x[26][48] x[26][49] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[27][47] x[27][48] x[27][49] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[28][46] x[28][47] x[28][48] x[28][49] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[29][46] x[29][47] x[29][48] x[29][49] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[30][46] x[30][47] x[30][48] x[30][49] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[31][46] x[31][47] x[31][48] x[31][49] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[32][46] x[32][47] x[32][48] x[32][49] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[33][46] x[33][47] x[33][48] x[33][49] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[34][46] x[34][47] x[34][48] x[34][49] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[35][46] x[35][47] x[35][48] x[35][49] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[36][46] x[36][47] x[36][48] x[36][49] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[37][47] x[37][48] x[37][49] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[38][47] x[38][48] x[38][49] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[39][47] x[39][48] x[39][49] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[40][47] x[40][48] x[40][49] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[41][47] x[41][48] x[41][49] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][45] x[42][46] x[42][47] x[42][48] x[42][49] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][45] x[43][46] x[43][47] x[43][48] x[43][49] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[44][46] x[44][47] x[44][48] x[44][49] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] x[45][46] x[45][47] x[45][48] x[45][49] x[46][0] x[46][1] x[46][2] x[46][3] x[46][4] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] x[46][10] x[46][11] x[46][12] x[46][13] x[46][14] x[46][15] x[46][16] x[46][17] x[46][18] x[46][19] x[46][20] x[46][21] x[46][22] x[46][23] x[46][24] x[46][25] x[46][26] x[46][27] x[46][28] x[46][29] x[46][30] x[46][31] x[46][32] x[46][33] x[46][34] x[46][35] x[46][36] x[46][37] x[46][38] x[46][39] x[46][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] x[46][47] x[46][48] x[46][49] x[47][0] x[47][1] x[47][2] x[47][3] x[47][4] x[47][5] x[47][6] x[47][7] x[47][8] x[47][9] x[47][10] x[47][11] x[47][12] x[47][13] x[47][14] x[47][15] x[47][16] x[47][17] x[47][18] x[47][19] x[47][20] x[47][21] x[47][22] x[47][23] x[47][24] x[47][25] x[47][26] x[47][27] x[47][28] x[47][29] x[47][30] x[47][31] x[47][32] x[47][33] x[47][34] x[47][35] x[47][36] x[47][37] x[47][38] x[47][39] x[47][40] x[47][41] x[47][42] x[47][43] x[47][44] x[47][45] x[47][46] x[47][47] x[47][48] x[47][49] x[48][0] x[48][1] x[48][2] x[48][3] x[48][4] x[48][5] x[48][6] x[48][7] x[48][8] x[48][9] x[48][10] x[48][11] x[48][12] x[48][13] x[48][14] x[48][15] x[48][16] x[48][17] x[48][18] x[48][19] x[48][20] x[48][21] x[48][22] x[48][23] x[48][24] x[48][25] x[48][26] x[48][27] x[48][28] x[48][29] x[48][30] x[48][31] x[48][32] x[48][33] x[48][34] x[48][35] x[48][36] x[48][37] x[48][38] x[48][39] x[48][40] x[48][41] x[48][42] x[48][43] x[48][44] x[48][45] x[48][46] x[48][47] x[48][48] x[48][49] x[49][0] x[49][1] x[49][2] x[49][3] x[49][4] x[49][5] x[49][6] x[49][7] x[49][8] x[49][9] x[49][10] x[49][11] x[49][12] x[49][13] x[49][14] x[49][15] x[49][16] x[49][17] x[49][18] x[49][19] x[49][20] x[49][21] x[49][22] x[49][23] x[49][24] x[49][25] x[49][26] x[49][27] x[49][28] x[49][29] x[49][30] x[49][31] x[49][32] x[49][33] x[49][34] x[49][35] x[49][36] x[49][37] x[49][38] x[49][39] x[49][40] x[49][41] x[49][42] x[49][43] x[49][44] x[49][45] x[49][46] x[49][47] x[49][48] x[49][49] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] u[40] u[41] u[42] u[43] u[44] u[45] u[46] u[47] u[48] u[49] </list> 244.78/240.00 v <values>0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 18 26 11 30 84 46 61 46 71 67 83 100 12 63 54 45 42 76 76 85 28 46 92 27 85 99 17 41 34 63 52 46 27 95 71 97 81 41 68 61 60 22 86 63 21 27 73 93 32 </values> 244.78/240.00 v </instantiation> 244.78/240.00 c Unexpected resolution interruption!
OK 1393
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-4254386-1501613892/watcher-4254386-1501613892 -o /tmp/evaluation-result-4254386-1501613892/solver-4254386-1501613892 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501610360-3274 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 2147356291 HOME/instance-4254386-1501613892.xml pid=5838 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.97 2.00 1.84 2/200 5841 /proc/meminfo: memFree=31899036/32770624 swapFree=0/160940 [pid=5841] ppid=5838 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/5841/stat : 5841 (runsolver) D 5838 5841 3187 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 3299835 24240128 107 18446744073709551615 4194304 4338465 140732776203360 140732776201000 140281262969559 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 31535104 140732776206430 140732776206919 140732776206919 140732776210378 0 /proc/5841/statm: 5918 107 54 36 0 2156 0 [startup+0.100157 s] /proc/loadavg: 1.97 2.00 1.84 2/200 5841 /proc/meminfo: memFree=31899036/32770624 swapFree=0/160940 [pid=5841] ppid=5838 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/5841/stat : 5841 (xcsp3-exec) S 5838 5841 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3299835 9740288 345 18446744073709551615 4194304 5098028 140721747907776 140721747905880 140480635138684 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 13643776 140721747915164 140721747915368 140721747915368 140721747918827 0 /proc/5841/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200327 s] /proc/loadavg: 1.97 2.00 1.84 2/200 5841 /proc/meminfo: memFree=31899036/32770624 swapFree=0/160940 [pid=5841] ppid=5838 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/5841/stat : 5841 (xcsp3-exec) S 5838 5841 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3299835 9740288 345 18446744073709551615 4194304 5098028 140721747907776 140721747905880 140480635138684 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 13643776 140721747915164 140721747915368 140721747915368 140721747918827 0 /proc/5841/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.302483 s] /proc/loadavg: 1.97 2.00 1.84 2/200 5841 /proc/meminfo: memFree=31899036/32770624 swapFree=0/160940 [pid=5841] ppid=5838 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/5841/stat : 5841 (xcsp3-exec) S 5838 5841 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3299835 9740288 345 18446744073709551615 4194304 5098028 140721747907776 140721747905880 140480635138684 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 13643776 140721747915164 140721747915368 140721747915368 140721747918827 0 /proc/5841/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.701075 s] /proc/loadavg: 1.97 2.00 1.84 2/200 5841 /proc/meminfo: memFree=31899036/32770624 swapFree=0/160940 [pid=5841] ppid=5838 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/5841/stat : 5841 (xcsp3-exec) S 5838 5841 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3299835 9740288 345 18446744073709551615 4194304 5098028 140721747907776 140721747905880 140480635138684 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 13643776 140721747915164 140721747915368 140721747915368 140721747918827 0 /proc/5841/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50072 s] /proc/loadavg: 1.97 2.00 1.84 5/216 5857 /proc/meminfo: memFree=31783396/32770624 swapFree=0/160972 [pid=5841] ppid=5838 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/5841/stat : 5841 (xcsp3-exec) S 5838 5841 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3299835 9740288 345 18446744073709551615 4194304 5098028 140721747907776 140721747905880 140480635138684 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 13643776 140721747915164 140721747915368 140721747915368 140721747918827 0 /proc/5841/statm: 2378 345 289 221 0 87 0 [pid=5843] ppid=5841 vsize=13980732 CPUtime=3.34 cores=1,3,5,7 /proc/5843/stat : 5843 (java) S 5841 5841 3187 0 -1 1077944320 17597 0 0 0 327 7 0 0 20 0 15 0 3299842 14316269568 34652 18446744073709551615 4194304 4196468 140729884044784 140729884027328 140503200612087 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 /proc/5843/statm: 3495183 34652 3181 1 0 3483484 0 [pid=5843/tid=5844] ppid=5841 vsize=13980732 CPUtime=1.37 cores=1,3,5,7 /proc/5843/task/5844/stat : 5844 (java) R 5841 5841 3187 0 -1 4202560 8727 0 0 0 132 5 0 0 20 0 15 0 3299842 14316269568 34652 18446744073709551615 4194304 4196468 140729884044784 140503204848744 140502830457919 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5845] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5845/stat : 5845 (java) S 5841 5841 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3299843 14316269568 34652 18446744073709551615 4194304 4196468 140729884044784 140503157578512 140503200622293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5846] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5846/stat : 5846 (java) S 5841 5841 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3299843 14316269568 34652 18446744073709551615 4194304 4196468 140729884044784 140503156525968 140503200622293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5847] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5847/stat : 5847 (java) S 5841 5841 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3299843 14316269568 34652 18446744073709551615 4194304 4196468 140729884044784 140503155473424 140503200622293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5848] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5848/stat : 5848 (java) S 5841 5841 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3299843 14316269568 34652 18446744073709551615 4194304 4196468 140729884044784 140503154420880 140503200622293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5849] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5849/stat : 5849 (java) S 5841 5841 3187 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 3299844 14316269568 34652 18446744073709551615 4194304 4196468 140729884044784 140502746273776 140503200623234 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5850] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5850/stat : 5850 (java) S 5841 5841 3187 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 3299845 14316269568 34652 18446744073709551615 4194304 4196468 140729884044784 140502745220000 140503200622293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5851] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5851/stat : 5851 (java) S 5841 5841 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3299845 14316269568 34652 18446744073709551615 4194304 4196468 140729884044784 140502744167408 140503200622293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5852] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5852/stat : 5852 (java) S 5841 5841 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3299847 14316269568 34652 18446744073709551615 4194304 4196468 140729884044784 140502743115984 140503200630683 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5853] ppid=5841 vsize=13980732 CPUtime=0.74 cores=1,3,5,7 /proc/5843/task/5853/stat : 5853 (java) S 5841 5841 3187 0 -1 1077944384 2998 0 0 0 73 1 0 0 20 0 15 0 3299847 14316269568 34652 18446744073709551615 4194304 4196468 140729884044784 140502112659952 140503200623234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5854] ppid=5841 vsize=13980732 CPUtime=0.74 cores=1,3,5,7 /proc/5843/task/5854/stat : 5854 (java) S 5841 5841 3187 0 -1 1077944384 2411 0 0 0 74 0 0 0 20 0 15 0 3299847 14316269568 34652 18446744073709551615 4194304 4196468 140729884044784 140502111607408 140503200623234 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5855] ppid=5841 vsize=13980732 CPUtime=0.47 cores=1,3,5,7 /proc/5843/task/5855/stat : 5855 (java) S 5841 5841 3187 0 -1 1077944384 2151 0 0 0 47 0 0 0 20 0 15 0 3299847 14316269568 34652 18446744073709551615 4194304 4196468 140729884044784 140502110554864 140503200623234 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5856] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5856/stat : 5856 (java) S 5841 5841 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3299847 14316269568 34652 18446744073709551615 4194304 4196468 140729884044784 140502109502560 140503200622293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5857] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5857/stat : 5857 (java) S 5841 5841 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3299851 14316269568 34652 18446744073709551615 4194304 4196468 140729884044784 140502108449072 140503200623234 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 Current children cumulated CPU time (s) 3.34 Current children cumulated vsize (KiB) 13990244 [startup+3.10068 s] /proc/loadavg: 1.97 2.00 1.84 5/216 5857 /proc/meminfo: memFree=31699436/32770624 swapFree=0/160972 [pid=5841] ppid=5838 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/5841/stat : 5841 (xcsp3-exec) S 5838 5841 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3299835 9740288 345 18446744073709551615 4194304 5098028 140721747907776 140721747905880 140480635138684 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 13643776 140721747915164 140721747915368 140721747915368 140721747918827 0 /proc/5841/statm: 2378 345 289 221 0 87 0 [pid=5843] ppid=5841 vsize=13980732 CPUtime=6.93 cores=1,3,5,7 /proc/5843/stat : 5843 (java) S 5841 5841 3187 0 -1 1077944320 25568 0 0 0 684 9 0 0 20 0 15 0 3299842 14316269568 51717 18446744073709551615 4194304 4196468 140729884044784 140729884027328 140503200612087 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 /proc/5843/statm: 3495183 51717 3208 1 0 3483484 0 [pid=5843/tid=5844] ppid=5841 vsize=13980732 CPUtime=2.96 cores=1,3,5,7 /proc/5843/task/5844/stat : 5844 (java) R 5841 5841 3187 0 -1 4202560 9828 0 0 0 290 6 0 0 20 0 15 0 3299842 14316269568 51717 18446744073709551615 4194304 4196468 140729884044784 140503204849304 140502829440176 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5845] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5845/stat : 5845 (java) S 5841 5841 3187 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 3299843 14316269568 51717 18446744073709551615 4194304 4196468 140729884044784 140503157578512 140503200622293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5846] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5846/stat : 5846 (java) S 5841 5841 3187 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 3299843 14316269568 51717 18446744073709551615 4194304 4196468 140729884044784 140503156525968 140503200622293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5847] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5847/stat : 5847 (java) S 5841 5841 3187 0 -1 1077944384 230 0 0 0 0 0 0 0 20 0 15 0 3299843 14316269568 51717 18446744073709551615 4194304 4196468 140729884044784 140503155473424 140503200622293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5848] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5848/stat : 5848 (java) S 5841 5841 3187 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 3299843 14316269568 51717 18446744073709551615 4194304 4196468 140729884044784 140503154420880 140503200622293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5849] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5849/stat : 5849 (java) S 5841 5841 3187 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 3299844 14316269568 51717 18446744073709551615 4194304 4196468 140729884044784 140502746273776 140503200623234 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5850] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5850/stat : 5850 (java) S 5841 5841 3187 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 3299845 14316269568 51717 18446744073709551615 4194304 4196468 140729884044784 140502745220000 140503200622293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5851] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5851/stat : 5851 (java) S 5841 5841 3187 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 3299845 14316269568 51717 18446744073709551615 4194304 4196468 140729884044784 140502744167408 140503200622293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5852] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5852/stat : 5852 (java) S 5841 5841 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3299847 14316269568 51717 18446744073709551615 4194304 4196468 140729884044784 140502743115984 140503200630683 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5853] ppid=5841 vsize=13980732 CPUtime=1.73 cores=1,3,5,7 /proc/5843/task/5853/stat : 5853 (java) S 5841 5841 3187 0 -1 1077944384 6112 0 0 0 172 1 0 0 20 0 15 0 3299847 14316269568 51717 18446744073709551615 4194304 4196468 140729884044784 140502112659952 140503200623234 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5854] ppid=5841 vsize=13980732 CPUtime=1.62 cores=1,3,5,7 /proc/5843/task/5854/stat : 5854 (java) S 5841 5841 3187 0 -1 1077944384 5200 0 0 0 161 1 0 0 20 0 15 0 3299847 14316269568 51717 18446744073709551615 4194304 4196468 140729884044784 140502111607408 140503200623234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5855] ppid=5841 vsize=13980732 CPUtime=0.57 cores=1,3,5,7 /proc/5843/task/5855/stat : 5855 (java) S 5841 5841 3187 0 -1 1077944384 2715 0 0 0 57 0 0 0 20 0 15 0 3299847 14316269568 51717 18446744073709551615 4194304 4196468 140729884044784 140502110554864 140503200623234 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5856] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5856/stat : 5856 (java) S 5841 5841 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3299847 14316269568 51717 18446744073709551615 4194304 4196468 140729884044784 140502109502560 140503200622293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5857] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5857/stat : 5857 (java) S 5841 5841 3187 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 3299851 14316269568 51717 18446744073709551615 4194304 4196468 140729884044784 140502108449072 140503200623234 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 Current children cumulated CPU time (s) 6.93 Current children cumulated vsize (KiB) 13990244 [startup+6.30063 s] /proc/loadavg: 1.98 2.00 1.84 3/216 5857 /proc/meminfo: memFree=31695888/32770624 swapFree=0/160980 [pid=5841] ppid=5838 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/5841/stat : 5841 (xcsp3-exec) S 5838 5841 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3299835 9740288 345 18446744073709551615 4194304 5098028 140721747907776 140721747905880 140480635138684 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 13643776 140721747915164 140721747915368 140721747915368 140721747918827 0 /proc/5841/statm: 2378 345 289 221 0 87 0 [pid=5843] ppid=5841 vsize=13980732 CPUtime=10.45 cores=1,3,5,7 /proc/5843/stat : 5843 (java) S 5841 5841 3187 0 -1 1077944320 26569 0 0 0 1035 10 0 0 20 0 15 0 3299842 14316269568 50989 18446744073709551615 4194304 4196468 140729884044784 140729884027328 140503200612087 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 /proc/5843/statm: 3495183 50989 3214 1 0 3483484 0 [pid=5843/tid=5844] ppid=5841 vsize=13980732 CPUtime=6.16 cores=1,3,5,7 /proc/5843/task/5844/stat : 5844 (java) R 5841 5841 3187 0 -1 4202560 9983 0 0 0 610 6 0 0 20 0 15 0 3299842 14316269568 50989 18446744073709551615 4194304 4196468 140729884044784 140503204848848 140502832084305 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5845] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5845/stat : 5845 (java) S 5841 5841 3187 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 3299843 14316269568 50989 18446744073709551615 4194304 4196468 140729884044784 140503157578512 140503200622293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5846] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5846/stat : 5846 (java) S 5841 5841 3187 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 3299843 14316269568 50989 18446744073709551615 4194304 4196468 140729884044784 140503156525968 140503200622293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5847] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5847/stat : 5847 (java) S 5841 5841 3187 0 -1 1077944384 230 0 0 0 0 0 0 0 20 0 15 0 3299843 14316269568 50989 18446744073709551615 4194304 4196468 140729884044784 140503155473424 140503200622293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5848] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5848/stat : 5848 (java) S 5841 5841 3187 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 3299843 14316269568 50989 18446744073709551615 4194304 4196468 140729884044784 140503154420880 140503200622293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5849] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5849/stat : 5849 (java) S 5841 5841 3187 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 3299844 14316269568 50989 18446744073709551615 4194304 4196468 140729884044784 140502746273776 140503200623234 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5850] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5850/stat : 5850 (java) S 5841 5841 3187 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 3299845 14316269568 50989 18446744073709551615 4194304 4196468 140729884044784 140502745220000 140503200622293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5851] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5851/stat : 5851 (java) S 5841 5841 3187 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 3299845 14316269568 50989 18446744073709551615 4194304 4196468 140729884044784 140502744167408 140503200622293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5852] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5852/stat : 5852 (java) S 5841 5841 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3299847 14316269568 50989 18446744073709551615 4194304 4196468 140729884044784 140502743115984 140503200630683 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5853] ppid=5841 vsize=13980732 CPUtime=1.92 cores=1,3,5,7 /proc/5843/task/5853/stat : 5853 (java) S 5841 5841 3187 0 -1 1077944384 6162 0 0 0 191 1 0 0 20 0 15 0 3299847 14316269568 50989 18446744073709551615 4194304 4196468 140729884044784 140502112659952 140503200623234 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5854] ppid=5841 vsize=13980732 CPUtime=1.74 cores=1,3,5,7 /proc/5843/task/5854/stat : 5854 (java) S 5841 5841 3187 0 -1 1077944384 5962 0 0 0 173 1 0 0 20 0 15 0 3299847 14316269568 50989 18446744073709551615 4194304 4196468 140729884044784 140502111607408 140503200623234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5855] ppid=5841 vsize=13980732 CPUtime=0.57 cores=1,3,5,7 /proc/5843/task/5855/stat : 5855 (java) S 5841 5841 3187 0 -1 1077944384 2724 0 0 0 57 0 0 0 20 0 15 0 3299847 14316269568 50989 18446744073709551615 4194304 4196468 140729884044784 140502110554864 140503200623234 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5856] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5856/stat : 5856 (java) S 5841 5841 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3299847 14316269568 50989 18446744073709551615 4194304 4196468 140729884044784 140502109502560 140503200622293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5857] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5857/stat : 5857 (java) S 5841 5841 3187 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 3299851 14316269568 50989 18446744073709551615 4194304 4196468 140729884044784 140502108449072 140503200623234 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 Current children cumulated CPU time (s) 10.45 Current children cumulated vsize (KiB) 13990244 [startup+12.7007 s] /proc/loadavg: 1.98 2.00 1.84 3/216 5857 /proc/meminfo: memFree=31695392/32770624 swapFree=0/160988 [pid=5841] ppid=5838 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/5841/stat : 5841 (xcsp3-exec) S 5838 5841 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3299835 9740288 345 18446744073709551615 4194304 5098028 140721747907776 140721747905880 140480635138684 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 13643776 140721747915164 140721747915368 140721747915368 140721747918827 0 /proc/5841/statm: 2378 345 289 221 0 87 0 [pid=5843] ppid=5841 vsize=13980732 CPUtime=16.97 cores=1,3,5,7 /proc/5843/stat : 5843 (java) S 5841 5841 3187 0 -1 1077944320 29090 0 0 0 1687 10 0 0 20 0 15 0 3299842 14316269568 51030 18446744073709551615 4194304 4196468 140729884044784 140729884027328 140503200612087 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 /proc/5843/statm: 3495183 51030 3214 1 0 3483484 0 [pid=5843/tid=5844] ppid=5841 vsize=13980732 CPUtime=12.56 cores=1,3,5,7 /proc/5843/task/5844/stat : 5844 (java) R 5841 5841 3187 0 -1 4202560 10539 0 0 0 1250 6 0 0 20 0 15 0 3299842 14316269568 51030 18446744073709551615 4194304 4196468 140729884044784 140503204848752 140502831919982 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5845] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5845/stat : 5845 (java) S 5841 5841 3187 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 3299843 14316269568 51030 18446744073709551615 4194304 4196468 140729884044784 140503157578512 140503200622293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5846] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5846/stat : 5846 (java) S 5841 5841 3187 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 3299843 14316269568 51030 18446744073709551615 4194304 4196468 140729884044784 140503156525968 140503200622293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 ################ # More data... # ################ [pid=5843/tid=5850] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5850/stat : 5850 (java) S 5841 5841 3187 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 3299845 14316269568 54356 18446744073709551615 4194304 4196468 140729884044784 140502745220064 140503200622293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5851] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5851/stat : 5851 (java) S 5841 5841 3187 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 3299845 14316269568 54356 18446744073709551615 4194304 4196468 140729884044784 140502744167424 140503200622293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5852] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5852/stat : 5852 (java) S 5841 5841 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3299847 14316269568 54356 18446744073709551615 4194304 4196468 140729884044784 140502743115984 140503200630683 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5853] ppid=5841 vsize=13980732 CPUtime=2.06 cores=1,3,5,7 /proc/5843/task/5853/stat : 5853 (java) S 5841 5841 3187 0 -1 1077944384 9358 0 0 0 205 1 0 0 20 0 15 0 3299847 14316269568 54356 18446744073709551615 4194304 4196468 140729884044784 140502112659952 140503200623234 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5854] ppid=5841 vsize=13980732 CPUtime=1.97 cores=1,3,5,7 /proc/5843/task/5854/stat : 5854 (java) S 5841 5841 3187 0 -1 1077944384 10545 0 0 0 196 1 0 0 20 0 15 0 3299847 14316269568 54356 18446744073709551615 4194304 4196468 140729884044784 140502111607408 140503200623234 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5855] ppid=5841 vsize=13980732 CPUtime=0.61 cores=1,3,5,7 /proc/5843/task/5855/stat : 5855 (java) S 5841 5841 3187 0 -1 1077944384 5637 0 0 0 61 0 0 0 20 0 15 0 3299847 14316269568 54356 18446744073709551615 4194304 4196468 140729884044784 140502110554864 140503200623234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5856] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5856/stat : 5856 (java) S 5841 5841 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3299847 14316269568 54356 18446744073709551615 4194304 4196468 140729884044784 140502109502560 140503200622293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5857] ppid=5841 vsize=13980732 CPUtime=0.02 cores=1,3,5,7 /proc/5843/task/5857/stat : 5857 (java) S 5841 5841 3187 0 -1 1077944384 376 0 0 0 1 1 0 0 20 0 15 0 3299851 14316269568 54356 18446744073709551615 4194304 4196468 140729884044784 140502108449072 140503200623234 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 Current children cumulated CPU time (s) 106.97 Current children cumulated vsize (KiB) 13990244 [startup+162.301 s] /proc/loadavg: 2.01 1.99 1.87 3/216 5939 /proc/meminfo: memFree=31709952/32770624 swapFree=0/161120 [pid=5841] ppid=5838 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/5841/stat : 5841 (xcsp3-exec) S 5838 5841 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3299835 9740288 345 18446744073709551615 4194304 5098028 140721747907776 140721747905880 140480635138684 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 13643776 140721747915164 140721747915368 140721747915368 140721747918827 0 /proc/5841/statm: 2378 345 289 221 0 87 0 [pid=5843] ppid=5841 vsize=13980732 CPUtime=167.05 cores=1,3,5,7 /proc/5843/stat : 5843 (java) S 5841 5841 3187 0 -1 1077944320 49207 0 0 0 16691 14 0 0 20 0 15 0 3299842 14316269568 53358 18446744073709551615 4194304 4196468 140729884044784 140729884027328 140503200612087 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 /proc/5843/statm: 3495183 53358 3223 1 0 3483484 0 [pid=5843/tid=5844] ppid=5841 vsize=13980732 CPUtime=162.11 cores=1,3,5,7 /proc/5843/task/5844/stat : 5844 (java) R 5841 5841 3187 0 -1 4202560 14152 0 0 0 16205 6 0 0 20 0 15 0 3299842 14316269568 53358 18446744073709551615 4194304 4196468 140729884044784 140503204843344 140502830137100 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5845] ppid=5841 vsize=13980732 CPUtime=0.03 cores=1,3,5,7 /proc/5843/task/5845/stat : 5845 (java) S 5841 5841 3187 0 -1 1077944384 1677 0 0 0 3 0 0 0 20 0 15 0 3299843 14316269568 53358 18446744073709551615 4194304 4196468 140729884044784 140503157578512 140503200622293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5846] ppid=5841 vsize=13980732 CPUtime=0.03 cores=1,3,5,7 /proc/5843/task/5846/stat : 5846 (java) S 5841 5841 3187 0 -1 1077944384 432 0 0 0 3 0 0 0 20 0 15 0 3299843 14316269568 53358 18446744073709551615 4194304 4196468 140729884044784 140503156525968 140503200622293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5847] ppid=5841 vsize=13980732 CPUtime=0.03 cores=1,3,5,7 /proc/5843/task/5847/stat : 5847 (java) S 5841 5841 3187 0 -1 1077944384 826 0 0 0 3 0 0 0 20 0 15 0 3299843 14316269568 53358 18446744073709551615 4194304 4196468 140729884044784 140503155473424 140503200622293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5848] ppid=5841 vsize=13980732 CPUtime=0.03 cores=1,3,5,7 /proc/5843/task/5848/stat : 5848 (java) S 5841 5841 3187 0 -1 1077944384 2079 0 0 0 3 0 0 0 20 0 15 0 3299843 14316269568 53358 18446744073709551615 4194304 4196468 140729884044784 140503154420880 140503200622293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5849] ppid=5841 vsize=13980732 CPUtime=0.01 cores=1,3,5,7 /proc/5843/task/5849/stat : 5849 (java) S 5841 5841 3187 0 -1 1077944384 1231 0 0 0 1 0 0 0 20 0 15 0 3299844 14316269568 53358 18446744073709551615 4194304 4196468 140729884044784 140502746273776 140503200623234 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5850] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5850/stat : 5850 (java) S 5841 5841 3187 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 3299845 14316269568 53358 18446744073709551615 4194304 4196468 140729884044784 140502745220064 140503200622293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5851] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5851/stat : 5851 (java) S 5841 5841 3187 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 3299845 14316269568 53358 18446744073709551615 4194304 4196468 140729884044784 140502744167424 140503200622293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5852] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5852/stat : 5852 (java) S 5841 5841 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3299847 14316269568 53358 18446744073709551615 4194304 4196468 140729884044784 140502743115984 140503200630683 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5853] ppid=5841 vsize=13980732 CPUtime=2.08 cores=1,3,5,7 /proc/5843/task/5853/stat : 5853 (java) S 5841 5841 3187 0 -1 1077944384 9739 0 0 0 207 1 0 0 20 0 15 0 3299847 14316269568 53358 18446744073709551615 4194304 4196468 140729884044784 140502112659952 140503200623234 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5854] ppid=5841 vsize=13980732 CPUtime=1.97 cores=1,3,5,7 /proc/5843/task/5854/stat : 5854 (java) S 5841 5841 3187 0 -1 1077944384 10796 0 0 0 196 1 0 0 20 0 15 0 3299847 14316269568 53358 18446744073709551615 4194304 4196468 140729884044784 140502111607408 140503200623234 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5855] ppid=5841 vsize=13980732 CPUtime=0.62 cores=1,3,5,7 /proc/5843/task/5855/stat : 5855 (java) S 5841 5841 3187 0 -1 1077944384 6529 0 0 0 62 0 0 0 20 0 15 0 3299847 14316269568 53358 18446744073709551615 4194304 4196468 140729884044784 140502110554864 140503200623234 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5856] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5856/stat : 5856 (java) S 5841 5841 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3299847 14316269568 53358 18446744073709551615 4194304 4196468 140729884044784 140502109502560 140503200622293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5857] ppid=5841 vsize=13980732 CPUtime=0.02 cores=1,3,5,7 /proc/5843/task/5857/stat : 5857 (java) S 5841 5841 3187 0 -1 1077944384 413 0 0 0 1 1 0 0 20 0 15 0 3299851 14316269568 53358 18446744073709551615 4194304 4196468 140729884044784 140502108449072 140503200623234 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 Current children cumulated CPU time (s) 167.05 Current children cumulated vsize (KiB) 13990244 [startup+222.307 s] /proc/loadavg: 2.00 1.99 1.87 3/215 5941 /proc/meminfo: memFree=31699428/32770624 swapFree=0/161168 [pid=5841] ppid=5838 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/5841/stat : 5841 (xcsp3-exec) S 5838 5841 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3299835 9740288 345 18446744073709551615 4194304 5098028 140721747907776 140721747905880 140480635138684 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 13643776 140721747915164 140721747915368 140721747915368 140721747918827 0 /proc/5841/statm: 2378 345 289 221 0 87 0 [pid=5843] ppid=5841 vsize=13980732 CPUtime=227.08 cores=1,3,5,7 /proc/5843/stat : 5843 (java) S 5841 5841 3187 0 -1 1077944320 49852 0 0 0 22693 15 0 0 20 0 15 0 3299842 14316269568 50919 18446744073709551615 4194304 4196468 140729884044784 140729884027328 140503200612087 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 /proc/5843/statm: 3495183 50919 3223 1 0 3483484 0 [pid=5843/tid=5844] ppid=5841 vsize=13980732 CPUtime=222.11 cores=1,3,5,7 /proc/5843/task/5844/stat : 5844 (java) R 5841 5841 3187 0 -1 4202560 14433 0 0 0 22205 6 0 0 20 0 15 0 3299842 14316269568 50919 18446744073709551615 4194304 4196468 140729884044784 140503204851552 140502832139394 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5845] ppid=5841 vsize=13980732 CPUtime=0.04 cores=1,3,5,7 /proc/5843/task/5845/stat : 5845 (java) S 5841 5841 3187 0 -1 1077944384 1706 0 0 0 3 1 0 0 20 0 15 0 3299843 14316269568 50919 18446744073709551615 4194304 4196468 140729884044784 140503157578512 140503200622293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5846] ppid=5841 vsize=13980732 CPUtime=0.04 cores=1,3,5,7 /proc/5843/task/5846/stat : 5846 (java) S 5841 5841 3187 0 -1 1077944384 443 0 0 0 3 1 0 0 20 0 15 0 3299843 14316269568 50919 18446744073709551615 4194304 4196468 140729884044784 140503156525968 140503200622293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5847] ppid=5841 vsize=13980732 CPUtime=0.04 cores=1,3,5,7 /proc/5843/task/5847/stat : 5847 (java) S 5841 5841 3187 0 -1 1077944384 1094 0 0 0 4 0 0 0 20 0 15 0 3299843 14316269568 50919 18446744073709551615 4194304 4196468 140729884044784 140503155473424 140503200622293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5848] ppid=5841 vsize=13980732 CPUtime=0.03 cores=1,3,5,7 /proc/5843/task/5848/stat : 5848 (java) S 5841 5841 3187 0 -1 1077944384 2092 0 0 0 3 0 0 0 20 0 15 0 3299843 14316269568 50919 18446744073709551615 4194304 4196468 140729884044784 140503154420880 140503200622293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5849] ppid=5841 vsize=13980732 CPUtime=0.02 cores=1,3,5,7 /proc/5843/task/5849/stat : 5849 (java) S 5841 5841 3187 0 -1 1077944384 1266 0 0 0 2 0 0 0 20 0 15 0 3299844 14316269568 50919 18446744073709551615 4194304 4196468 140729884044784 140502746273776 140503200623234 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5850] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5850/stat : 5850 (java) S 5841 5841 3187 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 3299845 14316269568 50919 18446744073709551615 4194304 4196468 140729884044784 140502745220064 140503200622293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5851] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5851/stat : 5851 (java) S 5841 5841 3187 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 3299845 14316269568 50919 18446744073709551615 4194304 4196468 140729884044784 140502744167424 140503200622293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5852] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5852/stat : 5852 (java) S 5841 5841 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3299847 14316269568 50919 18446744073709551615 4194304 4196468 140729884044784 140502743115984 140503200630683 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5853] ppid=5841 vsize=13980732 CPUtime=2.08 cores=1,3,5,7 /proc/5843/task/5853/stat : 5853 (java) S 5841 5841 3187 0 -1 1077944384 9740 0 0 0 207 1 0 0 20 0 15 0 3299847 14316269568 50919 18446744073709551615 4194304 4196468 140729884044784 140502112659952 140503200623234 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5854] ppid=5841 vsize=13980732 CPUtime=1.97 cores=1,3,5,7 /proc/5843/task/5854/stat : 5854 (java) S 5841 5841 3187 0 -1 1077944384 10798 0 0 0 196 1 0 0 20 0 15 0 3299847 14316269568 50919 18446744073709551615 4194304 4196468 140729884044784 140502111607408 140503200623234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5855] ppid=5841 vsize=13980732 CPUtime=0.62 cores=1,3,5,7 /proc/5843/task/5855/stat : 5855 (java) S 5841 5841 3187 0 -1 1077944384 6531 0 0 0 62 0 0 0 20 0 15 0 3299847 14316269568 50919 18446744073709551615 4194304 4196468 140729884044784 140502110554864 140503200623234 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5856] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5856/stat : 5856 (java) S 5841 5841 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3299847 14316269568 50919 18446744073709551615 4194304 4196468 140729884044784 140502109502560 140503200622293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5857] ppid=5841 vsize=13980732 CPUtime=0.04 cores=1,3,5,7 /proc/5843/task/5857/stat : 5857 (java) S 5841 5841 3187 0 -1 1077944384 416 0 0 0 2 2 0 0 20 0 15 0 3299851 14316269568 50919 18446744073709551615 4194304 4196468 140729884044784 140502108449072 140503200623234 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 Current children cumulated CPU time (s) 227.08 Current children cumulated vsize (KiB) 13990244 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+240.001 s] /proc/loadavg: 2.00 1.99 1.88 3/215 5941 /proc/meminfo: memFree=31702096/32770624 swapFree=0/161172 [pid=5841] ppid=5838 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/5841/stat : 5841 (xcsp3-exec) S 5838 5841 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3299835 9740288 345 18446744073709551615 4194304 5098028 140721747907776 140721747905880 140480635138684 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 13643776 140721747915164 140721747915368 140721747915368 140721747918827 0 /proc/5841/statm: 2378 345 289 221 0 87 0 [pid=5843] ppid=5841 vsize=13980732 CPUtime=244.78 cores=1,3,5,7 /proc/5843/stat : 5843 (java) S 5841 5841 3187 0 -1 1077944320 50537 0 0 0 24463 15 0 0 20 0 15 0 3299842 14316269568 50149 18446744073709551615 4194304 4196468 140729884044784 140729884027328 140503200612087 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 /proc/5843/statm: 3495183 50149 3223 1 0 3483484 0 [pid=5843/tid=5844] ppid=5841 vsize=13980732 CPUtime=239.81 cores=1,3,5,7 /proc/5843/task/5844/stat : 5844 (java) R 5841 5841 3187 0 -1 4202560 14723 0 0 0 23975 6 0 0 20 0 15 0 3299842 14316269568 50149 18446744073709551615 4194304 4196468 140729884044784 140503204851760 140502830425570 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5845] ppid=5841 vsize=13980732 CPUtime=0.04 cores=1,3,5,7 /proc/5843/task/5845/stat : 5845 (java) S 5841 5841 3187 0 -1 1077944384 1724 0 0 0 3 1 0 0 20 0 15 0 3299843 14316269568 50149 18446744073709551615 4194304 4196468 140729884044784 140503157578512 140503200622293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5846] ppid=5841 vsize=13980732 CPUtime=0.04 cores=1,3,5,7 /proc/5843/task/5846/stat : 5846 (java) S 5841 5841 3187 0 -1 1077944384 447 0 0 0 3 1 0 0 20 0 15 0 3299843 14316269568 50149 18446744073709551615 4194304 4196468 140729884044784 140503156525968 140503200622293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5847] ppid=5841 vsize=13980732 CPUtime=0.04 cores=1,3,5,7 /proc/5843/task/5847/stat : 5847 (java) S 5841 5841 3187 0 -1 1077944384 1226 0 0 0 4 0 0 0 20 0 15 0 3299843 14316269568 50149 18446744073709551615 4194304 4196468 140729884044784 140503155473424 140503200622293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5848] ppid=5841 vsize=13980732 CPUtime=0.03 cores=1,3,5,7 /proc/5843/task/5848/stat : 5848 (java) S 5841 5841 3187 0 -1 1077944384 2097 0 0 0 3 0 0 0 20 0 15 0 3299843 14316269568 50149 18446744073709551615 4194304 4196468 140729884044784 140503154420880 140503200622293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5849] ppid=5841 vsize=13980732 CPUtime=0.02 cores=1,3,5,7 /proc/5843/task/5849/stat : 5849 (java) S 5841 5841 3187 0 -1 1077944384 1471 0 0 0 2 0 0 0 20 0 15 0 3299844 14316269568 50149 18446744073709551615 4194304 4196468 140729884044784 140502746273776 140503200623234 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5850] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5850/stat : 5850 (java) S 5841 5841 3187 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 3299845 14316269568 50149 18446744073709551615 4194304 4196468 140729884044784 140502745220064 140503200622293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5851] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5851/stat : 5851 (java) S 5841 5841 3187 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 3299845 14316269568 50149 18446744073709551615 4194304 4196468 140729884044784 140502744167424 140503200622293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5852] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5852/stat : 5852 (java) S 5841 5841 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3299847 14316269568 50149 18446744073709551615 4194304 4196468 140729884044784 140502743115984 140503200630683 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5853] ppid=5841 vsize=13980732 CPUtime=2.08 cores=1,3,5,7 /proc/5843/task/5853/stat : 5853 (java) S 5841 5841 3187 0 -1 1077944384 9746 0 0 0 207 1 0 0 20 0 15 0 3299847 14316269568 50149 18446744073709551615 4194304 4196468 140729884044784 140502112659952 140503200623234 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5854] ppid=5841 vsize=13980732 CPUtime=1.97 cores=1,3,5,7 /proc/5843/task/5854/stat : 5854 (java) S 5841 5841 3187 0 -1 1077944384 10799 0 0 0 196 1 0 0 20 0 15 0 3299847 14316269568 50149 18446744073709551615 4194304 4196468 140729884044784 140502111607408 140503200623234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5855] ppid=5841 vsize=13980732 CPUtime=0.62 cores=1,3,5,7 /proc/5843/task/5855/stat : 5855 (java) S 5841 5841 3187 0 -1 1077944384 6533 0 0 0 62 0 0 0 20 0 15 0 3299847 14316269568 50149 18446744073709551615 4194304 4196468 140729884044784 140502110554864 140503200623234 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5856] ppid=5841 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/5843/task/5856/stat : 5856 (java) S 5841 5841 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3299847 14316269568 50149 18446744073709551615 4194304 4196468 140729884044784 140502109502560 140503200622293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 [pid=5843/tid=5857] ppid=5841 vsize=13980732 CPUtime=0.04 cores=1,3,5,7 /proc/5843/task/5857/stat : 5857 (java) S 5841 5841 3187 0 -1 1077944384 438 0 0 0 2 2 0 0 20 0 15 0 3299851 14316269568 50149 18446744073709551615 4194304 4196468 140729884044784 140502108449072 140503200623234 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15532032 140729884045781 140729884045956 140729884045956 140729884049359 0 Current children cumulated CPU time (s) 244.78 Current children cumulated vsize (KiB) 13990244 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 5843 sig 9 ??? kill 5841 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 5841 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=2342 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1256 # CPU time returned by wait4() is 0.003598 # while last known CPU time is 244.78 # # 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): 244.78 CPU user time (s): 244.63 CPU system time (s): 0.15 CPU usage (%): 101.987 Max. virtual memory (cumulated for all children) (KiB): 13990244 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.002342 system time used= 0.001256 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= 9 involuntary context switches= 1 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.13216 second user time and 1.30194 second system time The end
Begin job on node135 at 2017-08-01 20:44:12 IDJOB=4254386 IDBENCH=124451 IDSOLVER=2635 FILE ID=node135/4254386-1501613892 RUNJOBID= node135-1501610360-3274 PBS_JOBID= Free space on /tmp= 61832 MiB SOLVER NAME= choco-solver 4.0.5 seq BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-P-n50-k10.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-4254386-1501613892/watcher-4254386-1501613892 -o /tmp/evaluation-result-4254386-1501613892/solver-4254386-1501613892 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501610360-3274 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 2147356291 HOME/instance-4254386-1501613892.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 994883c0320da003cf1ede0b66369d8b RANDOM SEED=2147356291 node135.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.21 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.21 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.21 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.21 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: 31899036 kB MemAvailable: 31854636 kB Buffers: 30040 kB Cached: 237832 kB SwapCached: 0 kB Active: 358396 kB Inactive: 169532 kB Active(anon): 260288 kB Inactive(anon): 8592 kB Active(file): 98108 kB Inactive(file): 160940 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7924 kB Writeback: 4 kB AnonPages: 259704 kB Mapped: 40560 kB Shmem: 8960 kB Slab: 48856 kB SReclaimable: 24772 kB SUnreclaim: 24084 kB KernelStack: 3536 kB PageTables: 5376 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1223192 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 153600 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 61828 MiB End job on node135 at 2017-08-01 20:48:12