Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) | SAT (TO) | 50 | 20079.9 | 2520.11 |
Name | TemplateDesign/ TemplateDesign-m2-magazine_c18.xml |
MD5SUM | c4204b87298b93dafaf8bd2d2b317c15 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 50 |
Best CPU time to get the best result obtained on this benchmark | 20079.9 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2600 |
Number of constraints | 201 |
Number of domains | 3 |
Minimum domain size | 2 |
Maximum domain size | 406 |
Distribution of domain sizes | [{"size":2,"count":50},{"size":41,"count":2500},{"size":406,"count":50}] |
Minimum variable degree | 2 |
Maximum variable degree | 52 |
Distribution of variable degrees | [{"degree":2,"count":2450},{"degree":3,"count":100},{"degree":52,"count":50}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 100 |
Distribution of constraint arities | [{"arity":2,"count":100},{"arity":50,"count":51},{"arity":100,"count":50}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 100 |
Distribution of constraint types | [{"type":"intension","count":100},{"type":"ordered","count":1},{"type":"sum","count":100}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297579-1532716092.xml" -tl '20160s' -p 8 0.11/0.17 c Choco e747e1e 0.11/0.18 c [HOME/instance-4297579-1532716092.xml, -tl, 20160s, -p, 8] 0.11/0.21 c 8 solvers in parallel 0.34/0.28 c parse instance... 4.99/1.37 c solve instance... 378.14/48.66 o 50 20079.12/2520.08 s SATISFIABLE 20079.12/2520.08 v <instantiation> 20079.12/2520.08 v <list>d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[0][36] d[0][37] d[0][38] d[0][39] d[0][40] d[0][41] d[0][42] d[0][43] d[0][44] d[0][45] d[0][46] d[0][47] d[0][48] d[0][49] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][40] d[1][41] d[1][42] d[1][43] d[1][44] d[1][45] d[1][46] d[1][47] d[1][48] d[1][49] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][40] d[2][41] d[2][42] d[2][43] d[2][44] d[2][45] d[2][46] d[2][47] d[2][48] d[2][49] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][40] d[3][41] d[3][42] d[3][43] d[3][44] d[3][45] d[3][46] d[3][47] d[3][48] d[3][49] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][40] d[4][41] d[4][42] d[4][43] d[4][44] d[4][45] d[4][46] d[4][47] d[4][48] d[4][49] d[5][0] d[5][1] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][36] d[5][37] d[5][38] d[5][39] d[5][40] d[5][41] d[5][42] d[5][43] d[5][44] d[5][45] d[5][46] d[5][47] d[5][48] d[5][49] d[6][0] d[6][1] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][40] d[6][41] d[6][42] d[6][43] d[6][44] d[6][45] d[6][46] d[6][47] d[6][48] d[6][49] d[7][0] d[7][1] d[7][2] d[7][3] d[7][4] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][36] d[7][37] d[7][38] d[7][39] d[7][40] d[7][41] d[7][42] d[7][43] d[7][44] d[7][45] d[7][46] d[7][47] d[7][48] d[7][49] d[8][0] d[8][1] d[8][2] d[8][3] d[8][4] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][40] d[8][41] d[8][42] d[8][43] d[8][44] d[8][45] d[8][46] d[8][47] d[8][48] d[8][49] d[9][0] d[9][1] d[9][2] d[9][3] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[9][36] d[9][37] d[9][38] d[9][39] d[9][40] d[9][41] d[9][42] d[9][43] d[9][44] d[9][45] d[9][46] d[9][47] d[9][48] d[9][49] d[10][0] d[10][1] d[10][2] d[10][3] d[10][4] d[10][5] d[10][6] d[10][7] d[10][8] d[10][9] d[10][10] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][40] d[10][41] d[10][42] d[10][43] d[10][44] d[10][45] d[10][46] d[10][47] d[10][48] d[10][49] d[11][0] d[11][1] d[11][2] d[11][3] d[11][4] d[11][5] d[11][6] d[11][7] d[11][8] d[11][9] d[11][10] d[11][11] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][40] d[11][41] d[11][42] d[11][43] d[11][44] d[11][45] d[11][46] d[11][47] d[11][48] d[11][49] d[12][0] d[12][1] d[12][2] d[12][3] d[12][4] d[12][5] d[12][6] d[12][7] d[12][8] d[12][9] d[12][10] d[12][11] d[12][12] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][40] d[12][41] d[12][42] d[12][43] d[12][44] d[12][45] d[12][46] d[12][47] d[12][48] d[12][49] d[13][0] d[13][1] d[13][2] d[13][3] d[13][4] d[13][5] d[13][6] d[13][7] d[13][8] d[13][9] d[13][10] d[13][11] d[13][12] d[13][13] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][40] d[13][41] d[13][42] d[13][43] d[13][44] d[13][45] d[13][46] d[13][47] d[13][48] d[13][49] d[14][0] d[14][1] d[14][2] d[14][3] d[14][4] d[14][5] d[14][6] d[14][7] d[14][8] d[14][9] d[14][10] d[14][11] d[14][12] d[14][13] d[14][14] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][35] d[14][36] d[14][37] d[14][38] d[14][39] d[14][40] d[14][41] d[14][42] d[14][43] d[14][44] d[14][45] d[14][46] d[14][47] d[14][48] d[14][49] d[15][0] d[15][1] d[15][2] d[15][3] d[15][4] d[15][5] d[15][6] d[15][7] d[15][8] d[15][9] d[15][10] d[15][11] d[15][12] d[15][13] d[15][14] d[15][15] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][40] d[15][41] d[15][42] d[15][43] d[15][44] d[15][45] d[15][46] d[15][47] d[15][48] d[15][49] d[16][0] d[16][1] d[16][2] d[16][3] d[16][4] d[16][5] d[16][6] d[16][7] d[16][8] d[16][9] d[16][10] d[16][11] d[16][12] d[16][13] d[16][14] d[16][15] d[16][16] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][36] d[16][37] d[16][38] d[16][39] d[16][40] d[16][41] d[16][42] d[16][43] d[16][44] d[16][45] d[16][46] d[16][47] d[16][48] d[16][49] d[17][0] d[17][1] d[17][2] d[17][3] d[17][4] d[17][5] d[17][6] d[17][7] d[17][8] d[17][9] d[17][10] d[17][11] d[17][12] d[17][13] d[17][14] d[17][15] d[17][16] d[17][17] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][40] d[17][41] d[17][42] d[17][43] d[17][44] d[17][45] d[17][46] d[17][47] d[17][48] d[17][49] d[18][0] d[18][1] d[18][2] d[18][3] d[18][4] d[18][5] d[18][6] d[18][7] d[18][8] d[18][9] d[18][10] d[18][11] d[18][12] d[18][13] d[18][14] d[18][15] d[18][16] d[18][17] d[18][18] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[18][36] d[18][37] d[18][38] d[18][39] d[18][40] d[18][41] d[18][42] d[18][43] d[18][44] d[18][45] d[18][46] d[18][47] d[18][48] d[18][49] d[19][0] d[19][1] d[19][2] d[19][3] d[19][4] d[19][5] d[19][6] d[19][7] d[19][8] d[19][9] d[19][10] d[19][11] d[19][12] d[19][13] d[19][14] d[19][15] d[19][16] d[19][17] d[19][18] d[19][19] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][38] d[19][39] d[19][40] d[19][41] d[19][42] d[19][43] d[19][44] d[19][45] d[19][46] d[19][47] d[19][48] d[19][49] d[20][0] d[20][1] d[20][2] d[20][3] d[20][4] d[20][5] d[20][6] d[20][7] d[20][8] d[20][9] d[20][10] d[20][11] d[20][12] d[20][13] d[20][14] d[20][15] d[20][16] d[20][17] d[20][18] d[20][19] d[20][20] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[20][32] d[20][33] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][40] d[20][41] d[20][42] d[20][43] d[20][44] d[20][45] d[20][46] d[20][47] d[20][48] d[20][49] d[21][0] d[21][1] d[21][2] d[21][3] d[21][4] d[21][5] d[21][6] d[21][7] d[21][8] d[21][9] d[21][10] d[21][11] d[21][12] d[21][13] d[21][14] d[21][15] d[21][16] d[21][17] d[21][18] d[21][19] d[21][20] d[21][21] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][40] d[21][41] d[21][42] d[21][43] d[21][44] d[21][45] d[21][46] d[21][47] d[21][48] d[21][49] d[22][0] d[22][1] d[22][2] d[22][3] d[22][4] d[22][5] d[22][6] d[22][7] d[22][8] d[22][9] d[22][10] d[22][11] d[22][12] d[22][13] d[22][14] d[22][15] d[22][16] d[22][17] d[22][18] d[22][19] d[22][20] d[22][21] d[22][22] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][40] d[22][41] d[22][42] d[22][43] d[22][44] d[22][45] d[22][46] d[22][47] d[22][48] d[22][49] d[23][0] d[23][1] d[23][2] d[23][3] d[23][4] d[23][5] d[23][6] d[23][7] d[23][8] d[23][9] d[23][10] d[23][11] d[23][12] d[23][13] d[23][14] d[23][15] d[23][16] d[23][17] d[23][18] d[23][19] d[23][20] d[23][21] d[23][22] d[23][23] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][40] d[23][41] d[23][42] d[23][43] d[23][44] d[23][45] d[23][46] d[23][47] d[23][48] d[23][49] d[24][0] d[24][1] d[24][2] d[24][3] d[24][4] d[24][5] d[24][6] d[24][7] d[24][8] d[24][9] d[24][10] d[24][11] d[24][12] d[24][13] d[24][14] d[24][15] d[24][16] d[24][17] d[24][18] d[24][19] d[24][20] d[24][21] d[24][22] d[24][23] d[24][24] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][40] d[24][41] d[24][42] d[24][43] d[24][44] d[24][45] d[24][46] d[24][47] d[24][48] d[24][49] d[25][0] d[25][1] d[25][2] d[25][3] d[25][4] d[25][5] d[25][6] d[25][7] d[25][8] d[25][9] d[25][10] d[25][11] d[25][12] d[25][13] d[25][14] d[25][15] d[25][16] d[25][17] d[25][18] d[25][19] d[25][20] d[25][21] d[25][22] d[25][23] d[25][24] d[25][25] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][31] d[25][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][40] d[25][41] d[25][42] d[25][43] d[25][44] d[25][45] d[25][46] d[25][47] d[25][48] d[25][49] d[26][0] d[26][1] d[26][2] d[26][3] d[26][4] d[26][5] d[26][6] d[26][7] d[26][8] d[26][9] d[26][10] d[26][11] d[26][12] d[26][13] d[26][14] d[26][15] d[26][16] d[26][17] d[26][18] d[26][19] d[26][20] d[26][21] d[26][22] d[26][23] d[26][24] d[26][25] d[26][26] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][40] d[26][41] d[26][42] d[26][43] d[26][44] d[26][45] d[26][46] d[26][47] d[26][48] d[26][49] d[27][0] d[27][1] d[27][2] d[27][3] d[27][4] d[27][5] d[27][6] d[27][7] d[27][8] d[27][9] d[27][10] d[27][11] d[27][12] d[27][13] d[27][14] d[27][15] d[27][16] d[27][17] d[27][18] d[27][19] d[27][20] d[27][21] d[27][22] d[27][23] d[27][24] d[27][25] d[27][26] d[27][27] d[27][28] d[27][29] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[27][36] d[27][37] d[27][38] d[27][39] d[27][40] d[27][41] d[27][42] d[27][43] d[27][44] d[27][45] d[27][46] d[27][47] d[27][48] d[27][49] d[28][0] d[28][1] d[28][2] d[28][3] d[28][4] d[28][5] d[28][6] d[28][7] d[28][8] d[28][9] d[28][10] d[28][11] d[28][12] d[28][13] d[28][14] d[28][15] d[28][16] d[28][17] d[28][18] d[28][19] d[28][20] d[28][21] d[28][22] d[28][23] d[28][24] d[28][25] d[28][26] d[28][27] d[28][28] d[28][29] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][40] d[28][41] d[28][42] d[28][43] d[28][44] d[28][45] d[28][46] d[28][47] d[28][48] d[28][49] d[29][0] d[29][1] d[29][2] d[29][3] d[29][4] d[29][5] d[29][6] d[29][7] d[29][8] d[29][9] d[29][10] d[29][11] d[29][12] d[29][13] d[29][14] d[29][15] d[29][16] d[29][17] d[29][18] d[29][19] d[29][20] d[29][21] d[29][22] d[29][23] d[29][24] d[29][25] d[29][26] d[29][27] d[29][28] d[29][29] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[29][36] d[29][37] d[29][38] d[29][39] d[29][40] d[29][41] d[29][42] d[29][43] d[29][44] d[29][45] d[29][46] d[29][47] d[29][48] d[29][49] d[30][0] d[30][1] d[30][2] d[30][3] d[30][4] d[30][5] d[30][6] d[30][7] d[30][8] d[30][9] d[30][10] d[30][11] d[30][12] d[30][13] d[30][14] d[30][15] d[30][16] d[30][17] d[30][18] d[30][19] d[30][20] d[30][21] d[30][22] d[30][23] d[30][24] d[30][25] d[30][26] d[30][27] d[30][28] d[30][29] d[30][30] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[30][36] d[30][37] d[30][38] d[30][39] d[30][40] d[30][41] d[30][42] d[30][43] d[30][44] d[30][45] d[30][46] d[30][47] d[30][48] d[30][49] d[31][0] d[31][1] d[31][2] d[31][3] d[31][4] d[31][5] d[31][6] d[31][7] d[31][8] d[31][9] d[31][10] d[31][11] d[31][12] d[31][13] d[31][14] d[31][15] d[31][16] d[31][17] d[31][18] d[31][19] d[31][20] d[31][21] d[31][22] d[31][23] d[31][24] d[31][25] d[31][26] d[31][27] d[31][28] d[31][29] d[31][30] d[31][31] d[31][32] d[31][33] d[31][34] d[31][35] d[31][36] d[31][37] d[31][38] d[31][39] d[31][40] d[31][41] d[31][42] d[31][43] d[31][44] d[31][45] d[31][46] d[31][47] d[31][48] d[31][49] d[32][0] d[32][1] d[32][2] d[32][3] d[32][4] d[32][5] d[32][6] d[32][7] d[32][8] d[32][9] d[32][10] d[32][11] d[32][12] d[32][13] d[32][14] d[32][15] d[32][16] d[32][17] d[32][18] d[32][19] d[32][20] d[32][21] d[32][22] d[32][23] d[32][24] d[32][25] d[32][26] d[32][27] d[32][28] d[32][29] d[32][30] d[32][31] d[32][32] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][38] d[32][39] d[32][40] d[32][41] d[32][42] d[32][43] d[32][44] d[32][45] d[32][46] d[32][47] d[32][48] d[32][49] d[33][0] d[33][1] d[33][2] d[33][3] d[33][4] d[33][5] d[33][6] d[33][7] d[33][8] d[33][9] d[33][10] d[33][11] d[33][12] d[33][13] d[33][14] d[33][15] d[33][16] d[33][17] d[33][18] d[33][19] d[33][20] d[33][21] d[33][22] d[33][23] d[33][24] d[33][25] d[33][26] d[33][27] d[33][28] d[33][29] d[33][30] d[33][31] d[33][32] d[33][33] d[33][34] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][40] d[33][41] d[33][42] d[33][43] d[33][44] d[33][45] d[33][46] d[33][47] d[33][48] d[33][49] d[34][0] d[34][1] d[34][2] d[34][3] d[34][4] d[34][5] d[34][6] d[34][7] d[34][8] d[34][9] d[34][10] d[34][11] d[34][12] d[34][13] d[34][14] d[34][15] d[34][16] d[34][17] d[34][18] d[34][19] d[34][20] d[34][21] d[34][22] d[34][23] d[34][24] d[34][25] d[34][26] d[34][27] d[34][28] d[34][29] d[34][30] d[34][31] d[34][32] d[34][33] d[34][34] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][40] d[34][41] d[34][42] d[34][43] d[34][44] d[34][45] d[34][46] d[34][47] d[34][48] d[34][49] d[35][0] d[35][1] d[35][2] d[35][3] d[35][4] d[35][5] d[35][6] d[35][7] d[35][8] d[35][9] d[35][10] d[35][11] d[35][12] d[35][13] d[35][14] d[35][15] d[35][16] d[35][17] d[35][18] d[35][19] d[35][20] d[35][21] d[35][22] d[35][23] d[35][24] d[35][25] d[35][26] d[35][27] d[35][28] d[35][29] d[35][30] d[35][31] d[35][32] d[35][33] d[35][34] d[35][35] d[35][36] d[35][37] d[35][38] d[35][39] d[35][40] d[35][41] d[35][42] d[35][43] d[35][44] d[35][45] d[35][46] d[35][47] d[35][48] d[35][49] d[36][0] d[36][1] d[36][2] d[36][3] d[36][4] d[36][5] d[36][6] d[36][7] d[36][8] d[36][9] d[36][10] d[36][11] d[36][12] d[36][13] d[36][14] d[36][15] d[36][16] d[36][17] d[36][18] d[36][19] d[36][20] d[36][21] d[36][22] d[36][23] d[36][24] d[36][25] d[36][26] d[36][27] d[36][28] d[36][29] d[36][30] d[36][31] d[36][32] d[36][33] d[36][34] d[36][35] d[36][36] d[36][37] d[36][38] d[36][39] d[36][40] d[36][41] d[36][42] d[36][43] d[36][44] d[36][45] d[36][46] d[36][47] d[36][48] d[36][49] d[37][0] d[37][1] d[37][2] d[37][3] d[37][4] d[37][5] d[37][6] d[37][7] d[37][8] d[37][9] d[37][10] d[37][11] d[37][12] d[37][13] d[37][14] d[37][15] d[37][16] d[37][17] d[37][18] d[37][19] d[37][20] d[37][21] d[37][22] d[37][23] d[37][24] d[37][25] d[37][26] d[37][27] d[37][28] d[37][29] d[37][30] d[37][31] d[37][32] d[37][33] d[37][34] d[37][35] d[37][36] d[37][37] d[37][38] d[37][39] d[37][40] d[37][41] d[37][42] d[37][43] d[37][44] d[37][45] d[37][46] d[37][47] d[37][48] d[37][49] d[38][0] d[38][1] d[38][2] d[38][3] d[38][4] d[38][5] d[38][6] d[38][7] d[38][8] d[38][9] d[38][10] d[38][11] d[38][12] d[38][13] d[38][14] d[38][15] d[38][16] d[38][17] d[38][18] d[38][19] d[38][20] d[38][21] d[38][22] d[38][23] d[38][24] d[38][25] d[38][26] d[38][27] d[38][28] d[38][29] d[38][30] d[38][31] d[38][32] d[38][33] d[38][34] d[38][35] d[38][36] d[38][37] d[38][38] d[38][39] d[38][40] d[38][41] d[38][42] d[38][43] d[38][44] d[38][45] d[38][46] d[38][47] d[38][48] d[38][49] d[39][0] d[39][1] d[39][2] d[39][3] d[39][4] d[39][5] d[39][6] d[39][7] d[39][8] d[39][9] d[39][10] d[39][11] d[39][12] d[39][13] d[39][14] d[39][15] d[39][16] d[39][17] d[39][18] d[39][19] d[39][20] d[39][21] d[39][22] d[39][23] d[39][24] d[39][25] d[39][26] d[39][27] d[39][28] d[39][29] d[39][30] d[39][31] d[39][32] d[39][33] d[39][34] d[39][35] d[39][36] d[39][37] d[39][38] d[39][39] d[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] d[39][47] d[39][48] d[39][49] d[40][0] d[40][1] d[40][2] d[40][3] d[40][4] d[40][5] d[40][6] d[40][7] d[40][8] d[40][9] d[40][10] d[40][11] d[40][12] d[40][13] d[40][14] d[40][15] d[40][16] d[40][17] d[40][18] d[40][19] d[40][20] d[40][21] d[40][22] d[40][23] d[40][24] d[40][25] d[40][26] d[40][27] d[40][28] d[40][29] d[40][30] d[40][31] d[40][32] d[40][33] d[40][34] d[40][35] d[40][36] d[40][37] d[40][38] d[40][39] d[40][40] d[40][41] d[40][42] d[40][43] d[40][44] d[40][45] d[40][46] d[40][47] d[40][48] d[40][49] d[41][0] d[41][1] d[41][2] d[41][3] d[41][4] d[41][5] d[41][6] d[41][7] d[41][8] d[41][9] d[41][10] d[41][11] d[41][12] d[41][13] d[41][14] d[41][15] d[41][16] d[41][17] d[41][18] d[41][19] d[41][20] d[41][21] d[41][22] d[41][23] d[41][24] d[41][25] d[41][26] d[41][27] d[41][28] d[41][29] d[41][30] d[41][31] d[41][32] d[41][33] d[41][34] d[41][35] d[41][36] d[41][37] d[41][38] d[41][39] d[41][40] d[41][41] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[41][49] d[42][0] d[42][1] d[42][2] d[42][3] d[42][4] d[42][5] d[42][6] d[42][7] d[42][8] d[42][9] d[42][10] d[42][11] d[42][12] d[42][13] d[42][14] d[42][15] d[42][16] d[42][17] d[42][18] d[42][19] d[42][20] d[42][21] d[42][22] d[42][23] d[42][24] d[42][25] d[42][26] d[42][27] d[42][28] d[42][29] d[42][30] d[42][31] d[42][32] d[42][33] d[42][34] d[42][35] d[42][36] d[42][37] d[42][38] d[42][39] d[42][40] d[42][41] d[42][42] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[42][49] d[43][0] d[43][1] d[43][2] d[43][3] d[43][4] d[43][5] d[43][6] d[43][7] d[43][8] d[43][9] d[43][10] d[43][11] d[43][12] d[43][13] d[43][14] d[43][15] d[43][16] d[43][17] d[43][18] d[43][19] d[43][20] d[43][21] d[43][22] d[43][23] d[43][24] d[43][25] d[43][26] d[43][27] d[43][28] d[43][29] d[43][30] d[43][31] d[43][32] d[43][33] d[43][34] d[43][35] d[43][36] d[43][37] d[43][38] d[43][39] d[43][40] d[43][41] d[43][42] d[43][43] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[43][49] d[44][0] d[44][1] d[44][2] d[44][3] d[44][4] d[44][5] d[44][6] d[44][7] d[44][8] d[44][9] d[44][10] d[44][11] d[44][12] d[44][13] d[44][14] d[44][15] d[44][16] d[44][17] d[44][18] d[44][19] d[44][20] d[44][21] d[44][22] d[44][23] d[44][24] d[44][25] d[44][26] d[44][27] d[44][28] d[44][29] d[44][30] d[44][31] d[44][32] d[44][33] d[44][34] d[44][35] d[44][36] d[44][37] d[44][38] d[44][39] d[44][40] d[44][41] d[44][42] d[44][43] d[44][44] d[44][45] d[44][46] d[44][47] d[44][48] d[44][49] d[45][0] d[45][1] d[45][2] d[45][3] d[45][4] d[45][5] d[45][6] d[45][7] d[45][8] d[45][9] d[45][10] d[45][11] d[45][12] d[45][13] d[45][14] d[45][15] d[45][16] d[45][17] d[45][18] d[45][19] d[45][20] d[45][21] d[45][22] d[45][23] d[45][24] d[45][25] d[45][26] d[45][27] d[45][28] d[45][29] d[45][30] d[45][31] d[45][32] d[45][33] d[45][34] d[45][35] d[45][36] d[45][37] d[45][38] d[45][39] d[45][40] d[45][41] d[45][42] d[45][43] d[45][44] d[45][45] d[45][46] d[45][47] d[45][48] d[45][49] d[46][0] d[46][1] d[46][2] d[46][3] d[46][4] d[46][5] d[46][6] d[46][7] d[46][8] d[46][9] d[46][10] d[46][11] d[46][12] d[46][13] d[46][14] d[46][15] d[46][16] d[46][17] d[46][18] d[46][19] d[46][20] d[46][21] d[46][22] d[46][23] d[46][24] d[46][25] d[46][26] d[46][27] d[46][28] d[46][29] d[46][30] d[46][31] d[46][32] d[46][33] d[46][34] d[46][35] d[46][36] d[46][37] d[46][38] d[46][39] d[46][40] d[46][41] d[46][42] d[46][43] d[46][44] d[46][45] d[46][46] d[46][47] d[46][48] d[46][49] d[47][0] d[47][1] d[47][2] d[47][3] d[47][4] d[47][5] d[47][6] d[47][7] d[47][8] d[47][9] d[47][10] d[47][11] d[47][12] d[47][13] d[47][14] d[47][15] d[47][16] d[47][17] d[47][18] d[47][19] d[47][20] d[47][21] d[47][22] d[47][23] d[47][24] d[47][25] d[47][26] d[47][27] d[47][28] d[47][29] d[47][30] d[47][31] d[47][32] d[47][33] d[47][34] d[47][35] d[47][36] d[47][37] d[47][38] d[47][39] d[47][40] d[47][41] d[47][42] d[47][43] d[47][44] d[47][45] d[47][46] d[47][47] d[47][48] d[47][49] d[48][0] d[48][1] d[48][2] d[48][3] d[48][4] d[48][5] d[48][6] d[48][7] d[48][8] d[48][9] d[48][10] d[48][11] d[48][12] d[48][13] d[48][14] d[48][15] d[48][16] d[48][17] d[48][18] d[48][19] d[48][20] d[48][21] d[48][22] d[48][23] d[48][24] d[48][25] d[48][26] d[48][27] d[48][28] d[48][29] d[48][30] d[48][31] d[48][32] d[48][33] d[48][34] d[48][35] d[48][36] d[48][37] d[48][38] d[48][39] d[48][40] d[48][41] d[48][42] d[48][43] d[48][44] d[48][45] d[48][46] d[48][47] d[48][48] d[48][49] d[49][0] d[49][1] d[49][2] d[49][3] d[49][4] d[49][5] d[49][6] d[49][7] d[49][8] d[49][9] d[49][10] d[49][11] d[49][12] d[49][13] d[49][14] d[49][15] d[49][16] d[49][17] d[49][18] d[49][19] d[49][20] d[49][21] d[49][22] d[49][23] d[49][24] d[49][25] d[49][26] d[49][27] d[49][28] d[49][29] d[49][30] d[49][31] d[49][32] d[49][33] d[49][34] d[49][35] d[49][36] d[49][37] d[49][38] d[49][39] d[49][40] d[49][41] d[49][42] d[49][43] d[49][44] d[49][45] d[49][46] d[49][47] d[49][48] d[49][49] npt[0] npt[1] npt[2] npt[3] npt[4] npt[5] npt[6] npt[7] npt[8] npt[9] npt[10] npt[11] npt[12] npt[13] npt[14] npt[15] npt[16] npt[17] npt[18] npt[19] npt[20] npt[21] npt[22] npt[23] npt[24] npt[25] npt[26] npt[27] npt[28] npt[29] npt[30] npt[31] npt[32] npt[33] npt[34] npt[35] npt[36] npt[37] npt[38] npt[39] npt[40] npt[41] npt[42] npt[43] npt[44] npt[45] npt[46] npt[47] npt[48] npt[49] u[0] 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> 20079.12/2520.09 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 15 0 0 8 0 0 0 0 0 1 11 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 5 5 5 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 8 6 1 7 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 7 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 13 0 0 0 0 0 3 0 0 0 6 0 0 0 14 0 0 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 2 0 0 0 0 0 0 0 0 0 1 0 0 0 9 0 0 0 0 3 0 0 0 9 0 0 0 0 11 2 0 0 0 1 2 0 0 0 0 6 0 9 11 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 5 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 2 0 0 0 0 0 0 0 0 0 0 3 0 0 0 2 0 0 0 0 0 1 0 0 0 13 5 0 0 1 0 0 0 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 3 0 0 0 0 1 0 0 11 0 0 0 9 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 10 0 0 0 0 0 0 8 0 0 9 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 1 6 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 14 0 0 0 0 0 0 0 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 4 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 19 7 0 3 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 37 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 1 0 18 0 0 0 0 0 0 14 1 0 0 0 1 3 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 4 0 0 0 1 0 0 9 0 2 15 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 1 0 0 0 0 0 10 0 1 0 0 1 0 9 0 5 1 0 0 0 1 0 2 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 15 0 0 3 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 12 0 0 0 0 0 2 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 4 0 10 0 0 0 0 0 0 0 0 4 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 11 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 13 0 0 0 0 0 0 0 0 0 0 0 0 0 4 7 0 0 0 0 0 7 0 0 1 0 0 6 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 8 0 1 0 7 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 10 0 0 3 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 17 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 22 0 0 0 6 0 0 0 9 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 17 13 0 1 0 0 0 0 0 0 0 1 0 0 0 1 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 3 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 19 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 12 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 16 0 0 0 4 0 0 0 0 0 0 0 0 0 0 3 4 0 0 2 0 0 0 0 4 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 21 0 1 0 0 1 0 3 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 1 0 0 14 0 4 0 6 0 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 6 0 0 0 23 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 16 0 0 0 0 0 5 0 0 0 0 0 0 6 0 0 12 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 3 0 0 0 0 5 0 0 0 4 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 6 0 0 0 0 0 0 21 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 1 0 0 0 1 5 21 1 0 0 0 5 2 0 0 0 0 3 0 0 0 0 0 0 0 3 0 4 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 12 0 0 0 15 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 1 19 0 15 0 0 0 0 0 1 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 1 0 0 2 0 0 0 20 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 27 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 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 6 16 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 2 0 0 0 0 2 0 2 0 27 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 32 0 0 0 0 4 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 10 0 0 0 16 0 0 0 0 1 0 10 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 4 0 0 0 0 35 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 1 0 0 28 0 0 0 0 7 0 0 0 0 0 0 0 0 0 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 1 28 1 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 2 0 0 0 0 0 0 0 0 5 0 0 0 0 0 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 5 0 0 0 0 0 0 0 27 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 2 0 28 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 16 6 0 0 0 0 0 0 0 0 4 0 0 0 0 0 11 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 3 0 0 0 0 0 0 0 0 31 1 0 0 3 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 2 0 0 0 0 6 0 32 0 0 0 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 23 1 0 0 9 0 0 0 6 0 0 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 1 0 0 0 33 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 7 8 2 0 0 4 10 0 0 4 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 5 0 0 0 0 0 5 1 0 0 0 4 7 0 0 3 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 11 10 10 10 10 10 10 10 10 10 10 10 10 10 10 9 8 8 8 8 8 8 8 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 </values> 20079.12/2520.09 v </instantiation> 20079.12/2520.09 c Unexpected resolution interruption!
OK 50
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (8456 MiB free) memory of node 1: 16384 MiB (11552 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297579-1532716092/watcher-4297579-1532716092 -o /tmp/evaluation-result-4297579-1532716092/solver-4297579-1532716092 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1532708384-2485 --watchdog 2580 HOME/xcsp3-exec -seed 1204068459 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297579-1532716092.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=4439, runsolver pid=4436 [startup+0.100129 s]* /proc/loadavg: 1.99 1.59 2.19 3/199 4460 /proc/meminfo: memFree=20472724/32770624 swapFree=67108860/67108860 [pid=4439] ppid=4436 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/4439/stat : 4439 (xcsp3-exec) S 4436 4439 2458 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89172403 115843072 363 33554432000 4194304 5098028 140733276721360 140733276719464 140376579109500 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37974016 140733276726325 140733276726528 140733276726528 140733276729290 0 /proc/4439/statm: 28282 363 305 221 0 87 0 [pid=4441] ppid=4439 vsize=26104152 memory=27048 CPUtime=0.11 cores=0-7 /proc/4441/stat : 4441 (java) S 4439 4439 2458 0 -1 1077944320 5655 0 0 0 10 1 0 0 20 0 20 0 89172404 26730651648 6762 33554432000 4194304 4196468 140734590875696 140734590858240 140690963058423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 /proc/4441/statm: 6526038 6762 3005 1 0 6488315 0 [pid=4441/tid=4442] ppid=4439 vsize=26104152 memory=4134692831991783777 CPUtime=0.09 cores=0-7 /proc/4441/task/4442/stat : 4442 (java) R 4439 4439 2458 0 -1 4202560 3665 0 0 0 8 1 0 0 20 0 20 0 89172404 26730651648 6762 33554432000 4194304 4196468 140734590875696 140690967284960 140690963070358 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4443] ppid=4439 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/4441/task/4443/stat : 4443 (java) S 4439 4439 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89172405 26730651648 6762 33554432000 4194304 4196468 140734590875696 140690520931344 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4444] ppid=4439 vsize=26104152 memory=139805394912896 CPUtime=0 cores=0-7 /proc/4441/task/4444/stat : 4444 (java) S 4439 4439 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89172405 26730651648 6762 33554432000 4194304 4196468 140734590875696 140690519878800 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4445] ppid=4439 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/4441/task/4445/stat : 4445 (java) S 4439 4439 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89172405 26730651648 6762 33554432000 4194304 4196468 140734590875696 140690518825744 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4446] ppid=4439 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/4441/task/4446/stat : 4446 (java) S 4439 4439 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89172405 26730651648 6762 33554432000 4194304 4196468 140734590875696 140690517773200 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4447] ppid=4439 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/4441/task/4447/stat : 4447 (java) S 4439 4439 2458 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89172405 26730651648 6762 33554432000 4194304 4196468 140734590875696 140690516720144 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4448] ppid=4439 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/4441/task/4448/stat : 4448 (java) S 4439 4439 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89172405 26730651648 6762 33554432000 4194304 4196468 140734590875696 140690515667600 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4449] ppid=4439 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/4441/task/4449/stat : 4449 (java) S 4439 4439 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89172405 26730651648 6762 33554432000 4194304 4196468 140734590875696 140690514614544 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4450] ppid=4439 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/4441/task/4450/stat : 4450 (java) S 4439 4439 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89172405 26730651648 6762 33554432000 4194304 4196468 140734590875696 140690513562000 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4451] ppid=4439 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/4441/task/4451/stat : 4451 (java) S 4439 4439 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89172406 26730651648 6762 33554432000 4194304 4196468 140734590875696 140690291600112 140690963069570 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4452] ppid=4439 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/4441/task/4452/stat : 4452 (java) S 4439 4439 2458 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89172407 26730651648 6762 33554432000 4194304 4196468 140734590875696 140690290546336 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4453] ppid=4439 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/4441/task/4453/stat : 4453 (java) S 4439 4439 2458 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89172407 26730651648 6762 33554432000 4194304 4196468 140734590875696 140690289493232 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4454] ppid=4439 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/4441/task/4454/stat : 4454 (java) S 4439 4439 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89172409 26730651648 6762 33554432000 4194304 4196468 140734590875696 140690288441808 140690963077019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4455] ppid=4439 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/4441/task/4455/stat : 4455 (java) S 4439 4439 2458 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 89172409 26730651648 6762 33554432000 4194304 4196468 140734590875696 140690287388912 140690963069570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4456] ppid=4439 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/4441/task/4456/stat : 4456 (java) S 4439 4439 2458 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89172409 26730651648 6762 33554432000 4194304 4196468 140734590875696 140690286336368 140690963069570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4457] ppid=4439 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/4441/task/4457/stat : 4457 (java) S 4439 4439 2458 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 89172409 26730651648 6762 33554432000 4194304 4196468 140734590875696 140690285283312 140690963069570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4458] ppid=4439 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/4441/task/4458/stat : 4458 (java) R 4439 4439 2458 0 -1 4202560 258 0 0 0 1 0 0 0 20 0 20 0 89172409 26730651648 6762 33554432000 4194304 4196468 140734590875696 140690284230768 140690955775575 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4459] ppid=4439 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/4441/task/4459/stat : 4459 (java) S 4439 4439 2458 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89172409 26730651648 6762 33554432000 4194304 4196468 140734590875696 140690283178976 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4460] ppid=4439 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/4441/task/4460/stat : 4460 (java) S 4439 4439 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89172410 26730651648 6762 33554432000 4194304 4196468 140734590875696 140690282126512 140690963069570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 28500 KiB [startup+0.211838 s]* /proc/loadavg: 1.99 1.59 2.19 2/199 4460 /proc/meminfo: memFree=20459948/32770624 swapFree=67108860/67108860 [pid=4439] ppid=4436 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/4439/stat : 4439 (xcsp3-exec) S 4436 4439 2458 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89172403 115843072 363 33554432000 4194304 5098028 140733276721360 140733276719464 140376579109500 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37974016 140733276726325 140733276726528 140733276726528 140733276729290 0 /proc/4439/statm: 28282 363 305 221 0 87 0 [pid=4441] ppid=4439 vsize=26104152 memory=39472 CPUtime=0.34 cores=0-7 /proc/4441/stat : 4441 (java) S 4439 4439 2458 0 -1 1077944320 8472 0 0 0 31 3 0 0 20 0 20 0 89172404 26730651648 9868 33554432000 4194304 4196468 140734590875696 140734590858240 140690963058423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 /proc/4441/statm: 6526038 9868 3161 1 0 6488315 0 [pid=4441/tid=4442] ppid=4439 vsize=26104152 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/4441/task/4442/stat : 4442 (java) R 4439 4439 2458 0 -1 4202560 5599 0 0 0 18 2 0 0 20 0 20 0 89172404 26730651648 9868 33554432000 4194304 4196468 140734590875696 140690967287856 140690947138910 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4443] ppid=4439 vsize=26104152 memory=330 CPUtime=0 cores=0-7 /proc/4441/task/4443/stat : 4443 (java) S 4439 4439 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89172405 26730651648 9868 33554432000 4194304 4196468 140734590875696 140690520931344 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4444] ppid=4439 vsize=26104152 memory=139805394931523 CPUtime=0 cores=0-7 /proc/4441/task/4444/stat : 4444 (java) S 4439 4439 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89172405 26730651648 9933 33554432000 4194304 4196468 140734590875696 140690519878800 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4445] ppid=4439 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/4441/task/4445/stat : 4445 (java) S 4439 4439 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89172405 26730651648 9933 33554432000 4194304 4196468 140734590875696 140690518825744 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4446] ppid=4439 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/4441/task/4446/stat : 4446 (java) S 4439 4439 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89172405 26730651648 9933 33554432000 4194304 4196468 140734590875696 140690517773200 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4447] ppid=4439 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/4441/task/4447/stat : 4447 (java) S 4439 4439 2458 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89172405 26730651648 9933 33554432000 4194304 4196468 140734590875696 140690516720144 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4448] ppid=4439 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/4441/task/4448/stat : 4448 (java) S 4439 4439 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89172405 26730651648 9933 33554432000 4194304 4196468 140734590875696 140690515667600 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4449] ppid=4439 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/4441/task/4449/stat : 4449 (java) S 4439 4439 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89172405 26730651648 9933 33554432000 4194304 4196468 140734590875696 140690514614544 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4450] ppid=4439 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/4441/task/4450/stat : 4450 (java) S 4439 4439 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89172405 26730651648 9933 33554432000 4194304 4196468 140734590875696 140690513562000 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4451] ppid=4439 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/4441/task/4451/stat : 4451 (java) S 4439 4439 2458 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89172406 26730651648 9933 33554432000 4194304 4196468 140734590875696 140690291600112 140690963069570 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4452] ppid=4439 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/4441/task/4452/stat : 4452 (java) S 4439 4439 2458 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89172407 26730651648 9933 33554432000 4194304 4196468 140734590875696 140690290546336 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4453] ppid=4439 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/4441/task/4453/stat : 4453 (java) S 4439 4439 2458 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89172407 26730651648 9933 33554432000 4194304 4196468 140734590875696 140690289493232 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4454] ppid=4439 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/4441/task/4454/stat : 4454 (java) S 4439 4439 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89172409 26730651648 9933 33554432000 4194304 4196468 140734590875696 140690288441808 140690963077019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4455] ppid=4439 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/4441/task/4455/stat : 4455 (java) S 4439 4439 2458 0 -1 1077944384 393 0 0 0 0 0 0 0 20 0 20 0 89172409 26730651648 9933 33554432000 4194304 4196468 140734590875696 140690287388912 140690963069570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4456] ppid=4439 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7 /proc/4441/task/4456/stat : 4456 (java) S 4439 4439 2458 0 -1 1077944384 101 0 0 0 2 0 0 0 20 0 20 0 89172409 26730651648 9933 33554432000 4194304 4196468 140734590875696 140690286336368 140690963069570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4457] ppid=4439 vsize=26104152 memory=-1 CPUtime=0.01 cores=0-7 /proc/4441/task/4457/stat : 4457 (java) S 4439 4439 2458 0 -1 1077944384 282 0 0 0 1 0 0 0 20 0 20 0 89172409 26730651648 9933 33554432000 4194304 4196468 140734590875696 140690285283312 140690963069570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4458] ppid=4439 vsize=26104152 memory=-1 CPUtime=0.08 cores=0-7 /proc/4441/task/4458/stat : 4458 (java) S 4439 4439 2458 0 -1 1077944384 803 0 0 0 8 0 0 0 20 0 20 0 89172409 26730651648 9933 33554432000 4194304 4196468 140734590875696 140690284230768 140690963069570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4459] ppid=4439 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/4441/task/4459/stat : 4459 (java) S 4439 4439 2458 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89172409 26730651648 9933 33554432000 4194304 4196468 140734590875696 140690283178976 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4460] ppid=4439 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/4441/task/4460/stat : 4460 (java) S 4439 4439 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89172410 26730651648 9933 33554432000 4194304 4196468 140734590875696 140690282126512 140690963069570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 40924 KiB [startup+0.310355 s]* /proc/loadavg: 1.99 1.59 2.19 3/199 4460 /proc/meminfo: memFree=20453372/32770624 swapFree=67108860/67108860 [pid=4439] ppid=4436 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/4439/stat : 4439 (xcsp3-exec) S 4436 4439 2458 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89172403 115843072 363 33554432000 4194304 5098028 140733276721360 140733276719464 140376579109500 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37974016 140733276726325 140733276726528 140733276726528 140733276729290 0 /proc/4439/statm: 28282 363 305 221 0 87 0 [pid=4441] ppid=4439 vsize=26108408 memory=46536 CPUtime=0.52 cores=0-7 /proc/4441/stat : 4441 (java) S 4439 4439 2458 0 -1 1077944320 9395 0 0 0 49 3 0 0 20 0 20 0 89172404 26735009792 11634 33554432000 4194304 4196468 140734590875696 140734590858240 140690963058423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 /proc/4441/statm: 6527102 11634 3232 1 0 6488315 0 [pid=4441/tid=4442] ppid=4439 vsize=26108408 memory=8112282956445269571 CPUtime=0.29 cores=0-7 /proc/4441/task/4442/stat : 4442 (java) R 4439 4439 2458 0 -1 4202560 6303 0 0 0 27 2 0 0 20 0 20 0 89172404 26735009792 11634 33554432000 4194304 4196468 140734590875696 140690967292816 140690947138910 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4443] ppid=4439 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/4441/task/4443/stat : 4443 (java) S 4439 4439 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89172405 26735009792 11634 33554432000 4194304 4196468 140734590875696 140690520931344 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4444] ppid=4439 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/4441/task/4444/stat : 4444 (java) S 4439 4439 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89172405 26735009792 11634 33554432000 4194304 4196468 140734590875696 140690519878800 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4445] ppid=4439 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/4441/task/4445/stat : 4445 (java) S 4439 4439 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89172405 26735009792 11634 33554432000 4194304 4196468 140734590875696 140690518825744 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4446] ppid=4439 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/4441/task/4446/stat : 4446 (java) S 4439 4439 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89172405 26735009792 11634 33554432000 4194304 4196468 140734590875696 140690517773200 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4447] ppid=4439 vsize=26108408 memory=2244 CPUtime=0 cores=0-7 /proc/4441/task/4447/stat : 4447 (java) S 4439 4439 2458 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89172405 26735009792 11634 33554432000 4194304 4196468 140734590875696 140690516720144 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4448] ppid=4439 vsize=26108408 memory=139805279220655 CPUtime=0 cores=0-7 /proc/4441/task/4448/stat : 4448 (java) S 4439 4439 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89172405 26735009792 11634 33554432000 4194304 4196468 140734590875696 140690515667600 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4449] ppid=4439 vsize=26108408 memory=139805279222960 CPUtime=0 cores=0-7 /proc/4441/task/4449/stat : 4449 (java) S 4439 4439 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89172405 26735009792 11634 33554432000 4194304 4196468 140734590875696 140690514614544 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4450] ppid=4439 vsize=26108408 memory=139805279225264 CPUtime=0 cores=0-7 /proc/4441/task/4450/stat : 4450 (java) S 4439 4439 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89172405 26735009792 11634 33554432000 4194304 4196468 140734590875696 140690513562000 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4451] ppid=4439 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/4441/task/4451/stat : 4451 (java) S 4439 4439 2458 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89172406 26735009792 11634 33554432000 4194304 4196468 140734590875696 140690291600112 140690963069570 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4452] ppid=4439 vsize=26108408 memory=279610558457488 CPUtime=0 cores=0-7 /proc/4441/task/4452/stat : 4452 (java) S 4439 4439 2458 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89172407 26735009792 11634 33554432000 4194304 4196468 140734590875696 140690290546336 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4453] ppid=4439 vsize=26108408 memory=279610558464400 CPUtime=0 cores=0-7 /proc/4441/task/4453/stat : 4453 (java) S 4439 4439 2458 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89172407 26735009792 11634 33554432000 4194304 4196468 140734590875696 140690289493232 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4454] ppid=4439 vsize=26108408 memory=279610558405680 CPUtime=0 cores=0-7 /proc/4441/task/4454/stat : 4454 (java) S 4439 4439 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89172409 26735009792 11634 33554432000 4194304 4196468 140734590875696 140690288441808 140690963077019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4455] ppid=4439 vsize=26108408 memory=279610558478224 CPUtime=0.03 cores=0-7 /proc/4441/task/4455/stat : 4455 (java) S 4439 4439 2458 0 -1 1077944384 518 0 0 0 3 0 0 0 20 0 20 0 89172409 26735009792 11634 33554432000 4194304 4196468 140734590875696 140690287388912 140690963069570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4456] ppid=4439 vsize=26108408 memory=279610558485136 CPUtime=0.03 cores=0-7 /proc/4441/task/4456/stat : 4456 (java) S 4439 4439 2458 0 -1 1077944384 110 0 0 0 3 0 0 0 20 0 20 0 89172409 26735009792 11634 33554432000 4194304 4196468 140734590875696 140690286336368 140690963069570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4457] ppid=4439 vsize=26108408 memory=279610558482832 CPUtime=0.02 cores=0-7 /proc/4441/task/4457/stat : 4457 (java) S 4439 4439 2458 0 -1 1077944384 285 0 0 0 2 0 0 0 20 0 20 0 89172409 26735009792 11634 33554432000 4194304 4196468 140734590875696 140690285283312 140690963069570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4458] ppid=4439 vsize=26108408 memory=279610558498992 CPUtime=0.12 cores=0-7 /proc/4441/task/4458/stat : 4458 (java) S 4439 4439 2458 0 -1 1077944384 889 0 0 0 12 0 0 0 20 0 20 0 89172409 26735009792 11634 33554432000 4194304 4196468 140734590875696 140690284230768 140690963069570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4459] ppid=4439 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/4441/task/4459/stat : 4459 (java) S 4439 4439 2458 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89172409 26735009792 11634 33554432000 4194304 4196468 140734590875696 140690283178976 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4460] ppid=4439 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/4441/task/4460/stat : 4460 (java) S 4439 4439 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89172410 26735009792 11634 33554432000 4194304 4196468 140734590875696 140690282126512 140690963069570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 26221536 KiB Current children cumulated memory: 47988 KiB [startup+0.701002 s] /proc/loadavg: 1.99 1.59 2.19 4/199 4460 /proc/meminfo: memFree=20438944/32770624 swapFree=67108860/67108860 [pid=4439] ppid=4436 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/4439/stat : 4439 (xcsp3-exec) S 4436 4439 2458 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89172403 115843072 363 33554432000 4194304 5098028 140733276721360 140733276719464 140376579109500 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37974016 140733276726325 140733276726528 140733276726528 140733276729290 0 /proc/4439/statm: 28282 363 305 221 0 87 0 [pid=4441] ppid=4439 vsize=26110532 memory=105656 CPUtime=1.69 cores=0-7 /proc/4441/stat : 4441 (java) S 4439 4439 2458 0 -1 1077944320 12977 0 0 0 163 6 0 0 20 0 20 0 89172404 26737184768 26414 33554432000 4194304 4196468 140734590875696 140734590858240 140690963058423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 /proc/4441/statm: 6527633 26414 3364 1 0 6488827 0 [pid=4441/tid=4442] ppid=4439 vsize=26110532 memory=279610558856880 CPUtime=0.66 cores=0-7 /proc/4441/task/4442/stat : 4442 (java) R 4439 4439 2458 0 -1 4202560 7220 0 0 0 63 3 0 0 20 0 20 0 89172404 26737184768 26414 33554432000 4194304 4196468 140734590875696 140690967294224 140690945486766 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4443] ppid=4439 vsize=26110532 memory=139805279429488 CPUtime=0 cores=0-7 /proc/4441/task/4443/stat : 4443 (java) S 4439 4439 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89172405 26737184768 26414 33554432000 4194304 4196468 140734590875696 140690520931344 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4444] ppid=4439 vsize=26110532 memory=0 CPUtime=0 cores=0-7 /proc/4441/task/4444/stat : 4444 (java) S 4439 4439 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89172405 26737184768 26414 33554432000 4194304 4196468 140734590875696 140690519878800 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4445] ppid=4439 vsize=26110532 memory=8540 CPUtime=0 cores=0-7 /proc/4441/task/4445/stat : 4445 (java) S 4439 4439 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89172405 26737184768 26414 33554432000 4194304 4196468 140734590875696 140690518825744 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 ################ # More data... # ################ [pid=4441/tid=4476] ppid=4439 vsize=26645092 memory=288230574492221466 CPUtime=2443.99 cores=0-7 /proc/4441/task/4476/stat : 4476 (java) R 4439 4439 2458 0 -1 4202560 7535 0 0 0 244391 8 0 0 20 0 28 0 89177270 27284574208 270707 33554432000 4194304 4196468 140734590875696 140690269139576 140690605464768 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 Current children cumulated CPU time: 19938.1 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 1084280 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s] /proc/loadavg: 8.04 8.23 7.87 9/208 4541 /proc/meminfo: memFree=19418692/32770624 swapFree=67108860/67108860 [pid=4439] ppid=4436 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/4439/stat : 4439 (xcsp3-exec) S 4436 4439 2458 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89172403 115843072 363 33554432000 4194304 5098028 140733276721360 140733276719464 140376579109500 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37974016 140733276726325 140733276726528 140733276726528 140733276729290 0 /proc/4439/statm: 28282 363 305 221 0 87 0 [pid=4441] ppid=4439 vsize=26645092 memory=1082824 CPUtime=20079.1 cores=0-7 /proc/4441/stat : 4441 (java) S 4439 4439 2458 0 -1 1077944320 359668 0 0 0 2007453 459 0 0 20 0 28 0 89172404 27284574208 270706 33554432000 4194304 4196468 140734590875696 140734590858240 140690963058423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 /proc/4441/statm: 6661273 270706 3461 1 0 6622467 0 [pid=4441/tid=4442] ppid=4439 vsize=26645092 memory=1452 CPUtime=1.17 cores=0-7 /proc/4441/task/4442/stat : 4442 (java) S 4439 4439 2458 0 -1 1077944384 7568 0 0 0 112 5 0 0 20 0 28 0 89172404 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690967299200 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4443] ppid=4439 vsize=26645092 memory=1082316 CPUtime=6.79 cores=0-7 /proc/4441/task/4443/stat : 4443 (java) S 4439 4439 2458 0 -1 1077944384 9359 0 0 0 661 18 0 0 20 0 28 0 89172405 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690520931344 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4444] ppid=4439 vsize=26645092 memory=1452 CPUtime=6.78 cores=0-7 /proc/4441/task/4444/stat : 4444 (java) S 4439 4439 2458 0 -1 1077944384 12722 0 0 0 657 21 0 0 20 0 28 0 89172405 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690519878800 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4445] ppid=4439 vsize=26645092 memory=1082316 CPUtime=6.74 cores=0-7 /proc/4441/task/4445/stat : 4445 (java) S 4439 4439 2458 0 -1 1077944384 8416 0 0 0 657 17 0 0 20 0 28 0 89172405 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690518825744 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4446] ppid=4439 vsize=26645092 memory=7307184289356141157 CPUtime=6.78 cores=0-7 /proc/4441/task/4446/stat : 4446 (java) S 4439 4439 2458 0 -1 1077944384 9985 0 0 0 658 20 0 0 20 0 28 0 89172405 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690517773200 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4447] ppid=4439 vsize=26645092 memory=1144 CPUtime=6.78 cores=0-7 /proc/4441/task/4447/stat : 4447 (java) S 4439 4439 2458 0 -1 1077944384 12357 0 0 0 658 20 0 0 20 0 28 0 89172405 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690516720144 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4448] ppid=4439 vsize=26645092 memory=423 CPUtime=6.74 cores=0-7 /proc/4441/task/4448/stat : 4448 (java) S 4439 4439 2458 0 -1 1077944384 12175 0 0 0 653 21 0 0 20 0 28 0 89172405 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690515667600 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4449] ppid=4439 vsize=26645092 memory=1452 CPUtime=6.78 cores=0-7 /proc/4441/task/4449/stat : 4449 (java) S 4439 4439 2458 0 -1 1077944384 12170 0 0 0 658 20 0 0 20 0 28 0 89172405 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690514614544 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4450] ppid=4439 vsize=26645092 memory=1082828 CPUtime=6.72 cores=0-7 /proc/4441/task/4450/stat : 4450 (java) S 4439 4439 2458 0 -1 1077944384 12951 0 0 0 652 20 0 0 20 0 28 0 89172405 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690513562000 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4451] ppid=4439 vsize=26645092 memory=960 CPUtime=1.69 cores=0-7 /proc/4441/task/4451/stat : 4451 (java) S 4439 4439 2458 0 -1 1077944384 22371 0 0 0 121 48 0 0 20 0 28 0 89172406 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690291600112 140690963069570 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4452] ppid=4439 vsize=26645092 memory=1232 CPUtime=0 cores=0-7 /proc/4441/task/4452/stat : 4452 (java) S 4439 4439 2458 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 89172407 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690290546400 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4453] ppid=4439 vsize=26645092 memory=1728 CPUtime=0 cores=0-7 /proc/4441/task/4453/stat : 4453 (java) S 4439 4439 2458 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 89172407 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690289493248 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4454] ppid=4439 vsize=26645092 memory=796 CPUtime=0 cores=0-7 /proc/4441/task/4454/stat : 4454 (java) S 4439 4439 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89172409 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690288441808 140690963077019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4455] ppid=4439 vsize=26645092 memory=1144 CPUtime=3.12 cores=0-7 /proc/4441/task/4455/stat : 4455 (java) S 4439 4439 2458 0 -1 1077944384 18131 0 0 0 308 4 0 0 20 0 28 0 89172409 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690287388912 140690963069570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4456] ppid=4439 vsize=26645092 memory=423 CPUtime=3.08 cores=0-7 /proc/4441/task/4456/stat : 4456 (java) S 4439 4439 2458 0 -1 1077944384 24565 0 0 0 304 4 0 0 20 0 28 0 89172409 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690286336368 140690963069570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4457] ppid=4439 vsize=26645092 memory=1936 CPUtime=2.99 cores=0-7 /proc/4441/task/4457/stat : 4457 (java) S 4439 4439 2458 0 -1 1077944384 21030 0 0 0 294 5 0 0 20 0 28 0 89172409 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690285283312 140690963069570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4458] ppid=4439 vsize=26645092 memory=1452 CPUtime=1.07 cores=0-7 /proc/4441/task/4458/stat : 4458 (java) S 4439 4439 2458 0 -1 1077944384 18622 0 0 0 104 3 0 0 20 0 28 0 89172409 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690284230768 140690963069570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4459] ppid=4439 vsize=26645092 memory=25988 CPUtime=0 cores=0-7 /proc/4441/task/4459/stat : 4459 (java) S 4439 4439 2458 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89172409 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690283178976 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4460] ppid=4439 vsize=26645092 memory=2420 CPUtime=0.81 cores=0-7 /proc/4441/task/4460/stat : 4460 (java) S 4439 4439 2458 0 -1 1077944384 3776 0 0 0 0 81 0 0 20 0 28 0 89172410 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690282126512 140690963069570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4469] ppid=4439 vsize=26645092 memory=1292 CPUtime=2462.32 cores=0-7 /proc/4441/task/4469/stat : 4469 (java) R 4439 4439 2458 0 -1 4202560 7310 0 0 0 246227 5 0 0 20 0 28 0 89177270 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690263874576 140690606449842 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4470] ppid=4439 vsize=26645092 memory=4136 CPUtime=2452.62 cores=0-7 /proc/4441/task/4470/stat : 4470 (java) R 4439 4439 2458 0 -1 4202560 7992 0 0 0 245256 6 0 0 20 0 28 0 89177270 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690271244528 140690606574686 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4471] ppid=4439 vsize=26645092 memory=25988 CPUtime=2451.86 cores=0-7 /proc/4441/task/4471/stat : 4471 (java) R 4439 4439 2458 0 -1 4202560 15040 0 0 0 245174 12 0 0 20 0 28 0 89177270 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690270191552 140690604584602 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4472] ppid=4439 vsize=26645092 memory=1452 CPUtime=2458.12 cores=0-7 /proc/4441/task/4472/stat : 4472 (java) R 4439 4439 2458 0 -1 4202560 30102 0 0 0 245724 88 0 0 20 0 28 0 89177270 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690265980992 140690604785502 0 4 0 16800975 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4473] ppid=4439 vsize=26645092 memory=1452 CPUtime=2453.57 cores=0-7 /proc/4441/task/4473/stat : 4473 (java) R 4439 4439 2458 0 -1 4202560 38462 0 0 0 245314 43 0 0 20 0 28 0 89177270 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690268089992 140690597170919 0 4 0 16800975 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4474] ppid=4439 vsize=26645092 memory=1452 CPUtime=2457.05 cores=0-7 /proc/4441/task/4474/stat : 4474 (java) R 4439 4439 2458 0 -1 4202560 13041 0 0 0 245695 10 0 0 20 0 28 0 89177270 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690264931808 140690604584519 0 4 0 16800975 0 0 0 -1 3 0 0 11 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4475] ppid=4439 vsize=26645092 memory=1452 CPUtime=2455.69 cores=0-7 /proc/4441/task/4475/stat : 4475 (java) R 4439 4439 2458 0 -1 4202560 17398 0 0 0 245542 27 0 0 20 0 28 0 89177270 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690267036400 140690603858567 0 4 0 16800975 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4476] ppid=4439 vsize=26645092 memory=1452 CPUtime=2461.56 cores=0-7 /proc/4441/task/4476/stat : 4476 (java) R 4439 4439 2458 0 -1 4202560 7561 0 0 0 246148 8 0 0 20 0 28 0 89177270 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690269139408 140690604004828 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 Current children cumulated CPU time: 20079.1 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 1084276 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.03 s] # the end of solver process 4439 was just reported to runsolver # cumulated CPU time of all completed processes: user=0 s, system=0.002318 s [startup+2520.11 s] # the end of solver process 4441 was just reported to runsolver # cumulated CPU time of all completed processes: user=20075.3 s, system=4.60607 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2520 s] /proc/loadavg: 8.04 8.23 7.87 9/208 4541 /proc/meminfo: memFree=19418692/32770624 swapFree=67108860/67108860 [pid=4439] ppid=4436 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/4439/stat : 4439 (xcsp3-exec) S 4436 4439 2458 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89172403 115843072 363 33554432000 4194304 5098028 140733276721360 140733276719464 140376579109500 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37974016 140733276726325 140733276726528 140733276726528 140733276729290 0 /proc/4439/statm: 28282 363 305 221 0 87 0 [pid=4441] ppid=4439 vsize=26645092 memory=1082824 CPUtime=20079.1 cores=0-7 /proc/4441/stat : 4441 (java) S 4439 4439 2458 0 -1 1077944320 359668 0 0 0 2007453 459 0 0 20 0 28 0 89172404 27284574208 270706 33554432000 4194304 4196468 140734590875696 140734590858240 140690963058423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 /proc/4441/statm: 6661273 270706 3461 1 0 6622467 0 [pid=4441/tid=4442] ppid=4439 vsize=26645092 memory=1452 CPUtime=1.17 cores=0-7 /proc/4441/task/4442/stat : 4442 (java) S 4439 4439 2458 0 -1 1077944384 7568 0 0 0 112 5 0 0 20 0 28 0 89172404 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690967299200 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4443] ppid=4439 vsize=26645092 memory=1082316 CPUtime=6.79 cores=0-7 /proc/4441/task/4443/stat : 4443 (java) S 4439 4439 2458 0 -1 1077944384 9359 0 0 0 661 18 0 0 20 0 28 0 89172405 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690520931344 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4444] ppid=4439 vsize=26645092 memory=1452 CPUtime=6.78 cores=0-7 /proc/4441/task/4444/stat : 4444 (java) S 4439 4439 2458 0 -1 1077944384 12722 0 0 0 657 21 0 0 20 0 28 0 89172405 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690519878800 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4445] ppid=4439 vsize=26645092 memory=1082316 CPUtime=6.74 cores=0-7 /proc/4441/task/4445/stat : 4445 (java) S 4439 4439 2458 0 -1 1077944384 8416 0 0 0 657 17 0 0 20 0 28 0 89172405 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690518825744 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4446] ppid=4439 vsize=26645092 memory=7307184289356141157 CPUtime=6.78 cores=0-7 /proc/4441/task/4446/stat : 4446 (java) S 4439 4439 2458 0 -1 1077944384 9985 0 0 0 658 20 0 0 20 0 28 0 89172405 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690517773200 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4447] ppid=4439 vsize=26645092 memory=1144 CPUtime=6.78 cores=0-7 /proc/4441/task/4447/stat : 4447 (java) S 4439 4439 2458 0 -1 1077944384 12357 0 0 0 658 20 0 0 20 0 28 0 89172405 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690516720144 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4448] ppid=4439 vsize=26645092 memory=423 CPUtime=6.74 cores=0-7 /proc/4441/task/4448/stat : 4448 (java) S 4439 4439 2458 0 -1 1077944384 12175 0 0 0 653 21 0 0 20 0 28 0 89172405 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690515667600 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4449] ppid=4439 vsize=26645092 memory=1452 CPUtime=6.78 cores=0-7 /proc/4441/task/4449/stat : 4449 (java) S 4439 4439 2458 0 -1 1077944384 12170 0 0 0 658 20 0 0 20 0 28 0 89172405 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690514614544 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4450] ppid=4439 vsize=26645092 memory=1082828 CPUtime=6.72 cores=0-7 /proc/4441/task/4450/stat : 4450 (java) S 4439 4439 2458 0 -1 1077944384 12951 0 0 0 652 20 0 0 20 0 28 0 89172405 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690513562000 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4451] ppid=4439 vsize=26645092 memory=960 CPUtime=1.69 cores=0-7 /proc/4441/task/4451/stat : 4451 (java) S 4439 4439 2458 0 -1 1077944384 22371 0 0 0 121 48 0 0 20 0 28 0 89172406 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690291600112 140690963069570 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4452] ppid=4439 vsize=26645092 memory=1232 CPUtime=0 cores=0-7 /proc/4441/task/4452/stat : 4452 (java) S 4439 4439 2458 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 89172407 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690290546400 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4453] ppid=4439 vsize=26645092 memory=1728 CPUtime=0 cores=0-7 /proc/4441/task/4453/stat : 4453 (java) S 4439 4439 2458 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 89172407 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690289493248 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4454] ppid=4439 vsize=26645092 memory=796 CPUtime=0 cores=0-7 /proc/4441/task/4454/stat : 4454 (java) S 4439 4439 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89172409 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690288441808 140690963077019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4455] ppid=4439 vsize=26645092 memory=1144 CPUtime=3.12 cores=0-7 /proc/4441/task/4455/stat : 4455 (java) S 4439 4439 2458 0 -1 1077944384 18131 0 0 0 308 4 0 0 20 0 28 0 89172409 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690287388912 140690963069570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4456] ppid=4439 vsize=26645092 memory=423 CPUtime=3.08 cores=0-7 /proc/4441/task/4456/stat : 4456 (java) S 4439 4439 2458 0 -1 1077944384 24565 0 0 0 304 4 0 0 20 0 28 0 89172409 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690286336368 140690963069570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4457] ppid=4439 vsize=26645092 memory=1936 CPUtime=2.99 cores=0-7 /proc/4441/task/4457/stat : 4457 (java) S 4439 4439 2458 0 -1 1077944384 21030 0 0 0 294 5 0 0 20 0 28 0 89172409 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690285283312 140690963069570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4458] ppid=4439 vsize=26645092 memory=1452 CPUtime=1.07 cores=0-7 /proc/4441/task/4458/stat : 4458 (java) S 4439 4439 2458 0 -1 1077944384 18622 0 0 0 104 3 0 0 20 0 28 0 89172409 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690284230768 140690963069570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4459] ppid=4439 vsize=26645092 memory=25988 CPUtime=0 cores=0-7 /proc/4441/task/4459/stat : 4459 (java) S 4439 4439 2458 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89172409 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690283178976 140690963068629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4460] ppid=4439 vsize=26645092 memory=2420 CPUtime=0.81 cores=0-7 /proc/4441/task/4460/stat : 4460 (java) S 4439 4439 2458 0 -1 1077944384 3776 0 0 0 0 81 0 0 20 0 28 0 89172410 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690282126512 140690963069570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4469] ppid=4439 vsize=26645092 memory=1292 CPUtime=2462.32 cores=0-7 /proc/4441/task/4469/stat : 4469 (java) R 4439 4439 2458 0 -1 4202560 7310 0 0 0 246227 5 0 0 20 0 28 0 89177270 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690263874576 140690606449842 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4470] ppid=4439 vsize=26645092 memory=4136 CPUtime=2452.62 cores=0-7 /proc/4441/task/4470/stat : 4470 (java) R 4439 4439 2458 0 -1 4202560 7992 0 0 0 245256 6 0 0 20 0 28 0 89177270 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690271244528 140690606574686 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4471] ppid=4439 vsize=26645092 memory=25988 CPUtime=2451.86 cores=0-7 /proc/4441/task/4471/stat : 4471 (java) R 4439 4439 2458 0 -1 4202560 15040 0 0 0 245174 12 0 0 20 0 28 0 89177270 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690270191552 140690604584602 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4472] ppid=4439 vsize=26645092 memory=1452 CPUtime=2458.12 cores=0-7 /proc/4441/task/4472/stat : 4472 (java) R 4439 4439 2458 0 -1 4202560 30102 0 0 0 245724 88 0 0 20 0 28 0 89177270 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690265980992 140690604785502 0 4 0 16800975 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4473] ppid=4439 vsize=26645092 memory=1452 CPUtime=2453.57 cores=0-7 /proc/4441/task/4473/stat : 4473 (java) R 4439 4439 2458 0 -1 4202560 38462 0 0 0 245314 43 0 0 20 0 28 0 89177270 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690268089992 140690597170919 0 4 0 16800975 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4474] ppid=4439 vsize=26645092 memory=1452 CPUtime=2457.05 cores=0-7 /proc/4441/task/4474/stat : 4474 (java) R 4439 4439 2458 0 -1 4202560 13041 0 0 0 245695 10 0 0 20 0 28 0 89177270 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690264931808 140690604584519 0 4 0 16800975 0 0 0 -1 3 0 0 11 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4475] ppid=4439 vsize=26645092 memory=1452 CPUtime=2455.69 cores=0-7 /proc/4441/task/4475/stat : 4475 (java) R 4439 4439 2458 0 -1 4202560 17398 0 0 0 245542 27 0 0 20 0 28 0 89177270 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690267036400 140690603858567 0 4 0 16800975 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 [pid=4441/tid=4476] ppid=4439 vsize=26645092 memory=1452 CPUtime=2461.56 cores=0-7 /proc/4441/task/4476/stat : 4476 (java) R 4439 4439 2458 0 -1 4202560 7561 0 0 0 246148 8 0 0 20 0 28 0 89177270 27284574208 270706 33554432000 4194304 4196468 140734590875696 140690269139408 140690604004828 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 14041088 140734590878849 140734590879021 140734590879021 140734590881743 0 Current children cumulated CPU time: 20079.1 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 1084276 KiB Child status: 143 Real time (s): 2520.11 CPU time (s): 20079.9 CPU user time (s): 20075.3 CPU system time (s): 4.60607 CPU usage (%): 796.788 Max. virtual memory (cumulated for all children) (KiB): 26758220 Max. memory (cumulated for all children) (KiB): 1289500 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20075.3 system time used= 4.60607 maximum resident set size= 1288640 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 360626 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3136 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 117809 involuntary context switches= 207722 # summary of solver processes directly reported to runsolver: # pid: 4439,4441 # total CPU time (s): 20079.9 # total CPU user time (s): 20075.3 # total CPU system time (s): 4.60607 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 26.6968 second user time and 24.0664 second system time The end
Begin job on node105 at 2018-07-27 20:28:12 IDJOB=4297579 IDBENCH=141349 IDSOLVER=2760 FILE ID=node105/4297579-1532716092 RUNJOBID= node105-1532708384-2485 PBS_JOBID= 21022314 Free space on /tmp= 44624 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/TemplateDesign/TemplateDesign-m2-magazine_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297579-1532716092/watcher-4297579-1532716092 -o /tmp/evaluation-result-4297579-1532716092/solver-4297579-1532716092 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1532708384-2485 --watchdog 2580 HOME/xcsp3-exec -seed 1204068459 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297579-1532716092.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= c4204b87298b93dafaf8bd2d2b317c15 RANDOM SEED=1204068459 node105.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.32 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.32 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.32 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.32 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: 20489260 kB MemAvailable: 31928800 kB Buffers: 261264 kB Cached: 11318432 kB SwapCached: 0 kB Active: 2386944 kB Inactive: 9245888 kB Active(anon): 7336 kB Inactive(anon): 73364 kB Active(file): 2379608 kB Inactive(file): 9172524 kB Unevictable: 7296 kB Mlocked: 7296 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 22084 kB Writeback: 0 kB AnonPages: 69576 kB Mapped: 42344 kB Shmem: 25228 kB Slab: 343096 kB SReclaimable: 315868 kB SUnreclaim: 27228 kB KernelStack: 3520 kB PageTables: 4804 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324516 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 16384 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /tmp at the end= 44604 MiB End job on node105 at 2018-07-27 21:10:13