Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | SAT (TO) | 295 | 20094 | 2520.1499 |
Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-054.xml |
MD5SUM | d63f0cb62453ec1939b86e2392ab6ad9 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 351 |
Best CPU time to get the best result obtained on this benchmark | 2400.01 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2969 |
Number of constraints | 1537 |
Number of domains | 107 |
Minimum domain size | 2 |
Maximum domain size | 107 |
Distribution of domain sizes | [{"size":2,"count":1486},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":59,"count":1}, {"size":61,"count":1}, {"size":63,"count":1}, {"size":65,"count":1}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}, {"size":73,"count":1}, {"size":75,"count":1}, {"size":77,"count":1}, {"size":79,"count":1}, {"size":81,"count":1}, {"size":83,"count":1}, {"size":85,"count":1}, {"size":87,"count":1}, {"size":89,"count":1}, {"size":91,"count":1}, {"size":93,"count":1}, {"size":95,"count":1}, {"size":97,"count":1}, {"size":99,"count":1}, {"size":101,"count":1}, {"size":103,"count":1}, {"size":105,"count":1}, {"size":107,"count":1}] |
Minimum variable degree | 0 |
Maximum variable degree | 53 |
Distribution of variable degrees | [{"degree":0,"count":1378},{"degree":2,"count":1537},{"degree":53,"count":54}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 54 |
Distribution of constraint arities | [{"arity":2,"count":54},{"arity":3,"count":1432},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},"...",{"arity":30,"count":1}, {"arity":31,"count":1}, {"arity":32,"count":1}, {"arity":33,"count":1}, {"arity":34,"count":1}, {"arity":35,"count":1}, {"arity":36,"count":1}, {"arity":37,"count":1}, {"arity":38,"count":1}, {"arity":39,"count":1}, {"arity":40,"count":1}, {"arity":41,"count":1}, {"arity":42,"count":1}, {"arity":43,"count":1}, {"arity":44,"count":1}, {"arity":45,"count":1}, {"arity":46,"count":1}, {"arity":47,"count":1}, {"arity":48,"count":1}, {"arity":49,"count":1}, {"arity":50,"count":1}, {"arity":51,"count":1}, {"arity":52,"count":1}, {"arity":53,"count":1}, {"arity":54,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 1484 |
Distribution of constraint types | [{"type":"intension","count":1484},{"type":"sum","count":53}] |
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-4270617-1502738338.xml" -tl '20160s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4270617-1502738338.xml, -tl, 20160s, -p, 8, -x, 0] 0.12/0.19 c 8 solvers in parallel 0.33/0.26 c parse instance... 6.90/1.83 c solve instance... 9.13/2.13 o 51039 9.13/2.14 o 45527 9.13/2.17 o 45327 9.13/2.17 o 40631 9.13/2.18 o 40431 9.13/2.19 o 40239 9.13/2.20 o 36319 9.69/2.21 o 1447 13.25/2.93 o 1279 13.25/2.95 o 1199 13.25/2.95 o 839 13.83/3.03 o 751 17.62/3.56 o 663 32.10/5.44 o 623 32.10/5.46 o 591 419.22/54.18 o 583 654.76/83.80 o 567 657.60/84.12 o 559 754.58/96.31 o 543 1213.19/153.89 o 535 1222.77/155.10 o 519 1426.85/180.61 o 463 2995.11/377.28 o 447 5686.81/714.66 o 439 6869.99/862.91 o 415 6979.25/876.65 o 375 14454.61/1813.48 o 343 14478.52/1816.46 o 295 20093.11/2520.09 s SATISFIABLE 20093.11/2520.09 v <instantiation> 20093.11/2520.09 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][40] y[0][41] y[0][42] y[0][43] y[0][44] y[0][45] y[0][46] y[0][47] y[0][48] y[0][49] y[0][50] y[0][51] y[0][52] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][40] y[1][41] y[1][42] y[1][43] y[1][44] y[1][45] y[1][46] y[1][47] y[1][48] y[1][49] y[1][50] y[1][51] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][40] y[2][41] y[2][42] y[2][43] y[2][44] y[2][45] y[2][46] y[2][47] y[2][48] y[2][49] y[2][50] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][40] y[3][41] y[3][42] y[3][43] y[3][44] y[3][45] y[3][46] y[3][47] y[3][48] y[3][49] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][40] y[4][41] y[4][42] y[4][43] y[4][44] y[4][45] y[4][46] y[4][47] y[4][48] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][40] y[5][41] y[5][42] y[5][43] y[5][44] y[5][45] y[5][46] y[5][47] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][40] y[6][41] y[6][42] y[6][43] y[6][44] y[6][45] y[6][46] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][40] y[7][41] y[7][42] y[7][43] y[7][44] y[7][45] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][40] y[8][41] y[8][42] y[8][43] y[8][44] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[9][40] y[9][41] y[9][42] y[9][43] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[10][39] y[10][40] y[10][41] y[10][42] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[11][38] y[11][39] y[11][40] y[11][41] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][37] y[12][38] y[12][39] y[12][40] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][37] y[13][38] y[13][39] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][37] y[14][38] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[15][37] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][30] y[19][31] y[19][32] y[19][33] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][30] y[20][31] y[20][32] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][30] y[21][31] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][30] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][20] y[29][21] y[29][22] y[29][23] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][20] y[30][21] y[30][22] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][20] y[31][21] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][20] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[37][0] y[37][1] y[37][2] y[37][3] y[37][4] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[37][15] y[38][0] y[38][1] y[38][2] y[38][3] y[38][4] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[38][10] y[38][11] y[38][12] y[38][13] y[38][14] y[39][0] y[39][1] y[39][2] y[39][3] y[39][4] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] y[39][10] y[39][11] y[39][12] y[39][13] y[40][0] y[40][1] y[40][2] y[40][3] y[40][4] y[40][5] y[40][6] y[40][7] y[40][8] y[40][9] y[40][10] y[40][11] y[40][12] y[41][0] y[41][1] y[41][2] y[41][3] y[41][4] y[41][5] y[41][6] y[41][7] y[41][8] y[41][9] y[41][10] y[41][11] y[42][0] y[42][1] y[42][2] y[42][3] y[42][4] y[42][5] y[42][6] y[42][7] y[42][8] y[42][9] y[42][10] y[43][0] y[43][1] y[43][2] y[43][3] y[43][4] y[43][5] y[43][6] y[43][7] y[43][8] y[43][9] y[44][0] y[44][1] y[44][2] y[44][3] y[44][4] y[44][5] y[44][6] y[44][7] y[44][8] y[45][0] y[45][1] y[45][2] y[45][3] y[45][4] y[45][5] y[45][6] y[45][7] y[46][0] y[46][1] y[46][2] y[46][3] y[46][4] y[46][5] y[46][6] y[47][0] y[47][1] y[47][2] y[47][3] y[47][4] y[47][5] y[48][0] y[48][1] y[48][2] y[48][3] y[48][4] y[49][0] y[49][1] y[49][2] y[49][3] y[50][0] y[50][1] y[50][2] y[51][0] y[51][1] y[52][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] </list> 20093.11/2520.09 v <values>-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 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 -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 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 -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 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 -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 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 -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 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 -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 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 -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 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 -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 -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 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 -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 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 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 -3 0 3 0 -1 2 -1 2 -1 4 -3 4 -1 0 -3 0 1 2 -1 -2 -1 -4 1 0 -5 4 1 2 3 2 -3 2 -1 0 3 -4 -3 -2 1 2 3 -2 1 2 3 4 -1 -4 -1 -2 -1 2 1 9 0 9 0 1 4 1 4 1 16 9 16 1 0 9 0 1 4 1 4 1 16 1 0 25 16 1 4 9 4 9 4 1 0 9 16 9 4 1 4 9 4 1 4 9 16 1 16 1 4 1 4 1 </values> 20093.11/2520.09 v </instantiation> 20093.11/2520.09 c Unexpected resolution interruption!
OK 295
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 (13444 MiB free) memory of node 1: 16384 MiB (14594 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270617-1502738338/watcher-4270617-1502738338 -o /tmp/evaluation-result-4270617-1502738338/solver-4270617-1502738338 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1502729773-28635 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 984191994 HOME/instance-4270617-1502738338.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 solver pid=29690, runsolver pid=29687 Current StackSize limit: 8192 KiB [startup+0.100137 s]* /proc/loadavg: 8.36 8.41 8.40 2/200 29711 /proc/meminfo: memFree=28696164/32770624 swapFree=67108860/67108860 [pid=29690] ppid=29687 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/29690/stat : 29690 (xcsp3-exec) S 29687 29690 28608 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 106914683 9740288 346 33554432000 4194304 5098028 140728215746752 140728215744856 139724848513660 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30756864 140728215753829 140728215754039 140728215754039 140728215756779 0 /proc/29690/statm: 2378 346 289 221 0 87 0 [pid=29692] ppid=29690 vsize=25999808 memory=26764 CPUtime=0.12 cores=0-7 /proc/29692/stat : 29692 (java) S 29690 29690 28608 0 -1 1077944320 5634 0 0 0 11 1 0 0 20 0 20 0 106914683 26623803392 6691 33554432000 4194304 4196468 140726476877008 140726476859552 140249073524471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 /proc/29692/statm: 6499952 6691 2846 1 0 6488269 0 [pid=29692/tid=29693] ppid=29690 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/29692/task/29693/stat : 29693 (java) R 29690 29690 28608 0 -1 4202560 3635 0 0 0 8 0 0 0 20 0 20 0 106914683 26623803392 6691 33554432000 4194304 4196468 140726476877008 140249077757744 140249073536406 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29694] ppid=29690 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/29692/task/29694/stat : 29694 (java) S 29690 29690 28608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106914684 26623803392 6691 33554432000 4194304 4196468 140726476877008 140249026144912 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29695] ppid=29690 vsize=25999808 memory=140390200329856 CPUtime=0 cores=0-7 /proc/29692/task/29695/stat : 29695 (java) S 29690 29690 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106914684 26623803392 6691 33554432000 4194304 4196468 140726476877008 140249025092112 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29696] ppid=29690 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29692/task/29696/stat : 29696 (java) S 29690 29690 28608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106914684 26623803392 6691 33554432000 4194304 4196468 140726476877008 140249024039312 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29697] ppid=29690 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29692/task/29697/stat : 29697 (java) S 29690 29690 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106914684 26623803392 6691 33554432000 4194304 4196468 140726476877008 140249022986512 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29698] ppid=29690 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29692/task/29698/stat : 29698 (java) S 29690 29690 28608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106914684 26623803392 6691 33554432000 4194304 4196468 140726476877008 140249021934736 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29699] ppid=29690 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/29692/task/29699/stat : 29699 (java) S 29690 29690 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106914684 26623803392 6691 33554432000 4194304 4196468 140726476877008 140249020881936 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29700] ppid=29690 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29692/task/29700/stat : 29700 (java) S 29690 29690 28608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106914684 26623803392 6691 33554432000 4194304 4196468 140726476877008 140249019829136 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29701] ppid=29690 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29692/task/29701/stat : 29701 (java) S 29690 29690 28608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106914684 26623803392 6691 33554432000 4194304 4196468 140726476877008 140249018776336 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29702] ppid=29690 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29692/task/29702/stat : 29702 (java) S 29690 29690 28608 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 106914685 26623803392 6691 33554432000 4194304 4196468 140726476877008 140247479372144 140249073535618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29703] ppid=29690 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29692/task/29703/stat : 29703 (java) S 29690 29690 28608 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 106914686 26623803392 6691 33554432000 4194304 4196468 140726476877008 140247478318112 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29704] ppid=29690 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29692/task/29704/stat : 29704 (java) S 29690 29690 28608 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 106914686 26623803392 6691 33554432000 4194304 4196468 140726476877008 140247477265264 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29705] ppid=29690 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29692/task/29705/stat : 29705 (java) S 29690 29690 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106914689 26623803392 6691 33554432000 4194304 4196468 140726476877008 140247476213584 140249073543067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29706] ppid=29690 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29692/task/29706/stat : 29706 (java) S 29690 29690 28608 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 106914689 26623803392 6691 33554432000 4194304 4196468 140726476877008 140247475161968 140249073535618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29707] ppid=29690 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29692/task/29707/stat : 29707 (java) S 29690 29690 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106914689 26623803392 6691 33554432000 4194304 4196468 140726476877008 140247474109168 140249073535618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29708] ppid=29690 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29692/task/29708/stat : 29708 (java) S 29690 29690 28608 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 106914689 26623803392 6691 33554432000 4194304 4196468 140726476877008 140247473056368 140249073535618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29709] ppid=29690 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/29692/task/29709/stat : 29709 (java) R 29690 29690 28608 0 -1 4202560 258 0 0 0 1 0 0 0 20 0 20 0 106914689 26623803392 6691 33554432000 4194304 4196468 140726476877008 140247472003568 140249073545818 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29710] ppid=29690 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29692/task/29710/stat : 29710 (java) S 29690 29690 28608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106914689 26623803392 6691 33554432000 4194304 4196468 140726476877008 140247470951008 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29711] ppid=29690 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/29692/task/29711/stat : 29711 (java) S 29690 29690 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106914689 26623803392 6691 33554432000 4194304 4196468 140726476877008 140247469898288 140249073535618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 28148 KiB [startup+0.210159 s]* /proc/loadavg: 8.36 8.41 8.40 2/200 29711 /proc/meminfo: memFree=28685372/32770624 swapFree=67108860/67108860 [pid=29690] ppid=29687 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/29690/stat : 29690 (xcsp3-exec) S 29687 29690 28608 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 106914683 9740288 346 33554432000 4194304 5098028 140728215746752 140728215744856 139724848513660 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30756864 140728215753829 140728215754039 140728215754039 140728215756779 0 /proc/29690/statm: 2378 346 289 221 0 87 0 [pid=29692] ppid=29690 vsize=26004096 memory=39040 CPUtime=0.33 cores=0-7 /proc/29692/stat : 29692 (java) S 29690 29690 28608 0 -1 1077944320 8321 0 0 0 31 2 0 0 20 0 20 0 106914683 26628194304 9760 33554432000 4194304 4196468 140726476877008 140726476859552 140249073524471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 /proc/29692/statm: 6501016 9760 3070 1 0 6488269 0 [pid=29692/tid=29693] ppid=29690 vsize=26004096 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/29692/task/29693/stat : 29693 (java) R 29690 29690 28608 0 -1 4202560 5452 0 0 0 18 1 0 0 20 0 20 0 106914683 26628194304 9760 33554432000 4194304 4196468 140726476877008 140249077726512 140249066204189 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29694] ppid=29690 vsize=26004064 memory=340 CPUtime=0 cores=0-7 /proc/29692/task/29694/stat : 29694 (java) S 29690 29690 28608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106914684 26628161536 9760 33554432000 4194304 4196468 140726476877008 140249026144912 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29695] ppid=29690 vsize=26004064 memory=140390200815406 CPUtime=0 cores=0-7 /proc/29692/task/29695/stat : 29695 (java) S 29690 29690 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106914684 26628161536 9760 33554432000 4194304 4196468 140726476877008 140249025092112 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29696] ppid=29690 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/29692/task/29696/stat : 29696 (java) S 29690 29690 28608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106914684 26628161536 9760 33554432000 4194304 4196468 140726476877008 140249024039312 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29697] ppid=29690 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29692/task/29697/stat : 29697 (java) S 29690 29690 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106914684 26628161536 9760 33554432000 4194304 4196468 140726476877008 140249022986512 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29698] ppid=29690 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29692/task/29698/stat : 29698 (java) S 29690 29690 28608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106914684 26628161536 9760 33554432000 4194304 4196468 140726476877008 140249021934736 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29699] ppid=29690 vsize=26004096 memory=-1 CPUtime=0 cores=0-7 /proc/29692/task/29699/stat : 29699 (java) S 29690 29690 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106914684 26628194304 9760 33554432000 4194304 4196468 140726476877008 140249020881936 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29700] ppid=29690 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29692/task/29700/stat : 29700 (java) S 29690 29690 28608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106914684 26628161536 9760 33554432000 4194304 4196468 140726476877008 140249019829136 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29701] ppid=29690 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29692/task/29701/stat : 29701 (java) S 29690 29690 28608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106914684 26628161536 9760 33554432000 4194304 4196468 140726476877008 140249018776336 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29702] ppid=29690 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29692/task/29702/stat : 29702 (java) S 29690 29690 28608 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 106914685 26628161536 9760 33554432000 4194304 4196468 140726476877008 140247479372144 140249073535618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29703] ppid=29690 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29692/task/29703/stat : 29703 (java) S 29690 29690 28608 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 106914686 26628161536 9760 33554432000 4194304 4196468 140726476877008 140247478318112 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29704] ppid=29690 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29692/task/29704/stat : 29704 (java) S 29690 29690 28608 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 106914686 26628161536 9760 33554432000 4194304 4196468 140726476877008 140247477265264 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29705] ppid=29690 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29692/task/29705/stat : 29705 (java) S 29690 29690 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106914689 26628161536 9760 33554432000 4194304 4196468 140726476877008 140247476213584 140249073543067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29706] ppid=29690 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/29692/task/29706/stat : 29706 (java) S 29690 29690 28608 0 -1 1077944384 410 0 0 0 2 0 0 0 20 0 20 0 106914689 26628161536 9760 33554432000 4194304 4196468 140726476877008 140247475161968 140249073535618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29707] ppid=29690 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/29692/task/29707/stat : 29707 (java) S 29690 29690 28608 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 20 0 106914689 26628194304 9760 33554432000 4194304 4196468 140726476877008 140247474109168 140249073535618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29708] ppid=29690 vsize=26004096 memory=-1 CPUtime=0.01 cores=0-7 /proc/29692/task/29708/stat : 29708 (java) S 29690 29690 28608 0 -1 1077944384 361 0 0 0 1 0 0 0 20 0 20 0 106914689 26628194304 9760 33554432000 4194304 4196468 140726476877008 140247473056368 140249073535618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29709] ppid=29690 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7 /proc/29692/task/29709/stat : 29709 (java) R 29690 29690 28608 0 -1 4202560 717 0 0 0 8 0 0 0 20 0 20 0 106914689 26628161536 9760 33554432000 4194304 4196468 140726476877008 140247472001528 140249052205838 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29710] ppid=29690 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29692/task/29710/stat : 29710 (java) S 29690 29690 28608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106914689 26628161536 9760 33554432000 4194304 4196468 140726476877008 140247470951008 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29711] ppid=29690 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/29692/task/29711/stat : 29711 (java) S 29690 29690 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106914689 26628161536 9760 33554432000 4194304 4196468 140726476877008 140247469898288 140249073535618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013608 KiB Current children cumulated memory: 40424 KiB [startup+0.30952 s]* /proc/loadavg: 8.36 8.41 8.40 3/200 29711 /proc/meminfo: memFree=28680472/32770624 swapFree=67108860/67108860 [pid=29690] ppid=29687 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/29690/stat : 29690 (xcsp3-exec) S 29687 29690 28608 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 106914683 9740288 346 33554432000 4194304 5098028 140728215746752 140728215744856 139724848513660 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30756864 140728215753829 140728215754039 140728215754039 140728215756779 0 /proc/29690/statm: 2378 346 289 221 0 87 0 [pid=29692] ppid=29690 vsize=26004064 memory=46220 CPUtime=0.5 cores=0-7 /proc/29692/stat : 29692 (java) S 29690 29690 28608 0 -1 1077944320 9262 0 0 0 48 2 0 0 20 0 20 0 106914683 26628161536 11555 33554432000 4194304 4196468 140726476877008 140726476859552 140249073524471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 /proc/29692/statm: 6501016 11555 3103 1 0 6488269 0 [pid=29692/tid=29693] ppid=29690 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/29692/task/29693/stat : 29693 (java) R 29690 29690 28608 0 -1 4202560 6108 0 0 0 27 2 0 0 20 0 20 0 106914683 26628161536 11555 33554432000 4194304 4196468 140726476877008 140249077763120 140249073536406 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29694] ppid=29690 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29692/task/29694/stat : 29694 (java) S 29690 29690 28608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106914684 26628161536 11555 33554432000 4194304 4196468 140726476877008 140249026144912 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29695] ppid=29690 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29692/task/29695/stat : 29695 (java) S 29690 29690 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106914684 26628161536 11555 33554432000 4194304 4196468 140726476877008 140249025092112 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29696] ppid=29690 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29692/task/29696/stat : 29696 (java) S 29690 29690 28608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106914684 26628161536 11555 33554432000 4194304 4196468 140726476877008 140249024039312 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29697] ppid=29690 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29692/task/29697/stat : 29697 (java) S 29690 29690 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106914684 26628161536 11555 33554432000 4194304 4196468 140726476877008 140249022986512 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29698] ppid=29690 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/29692/task/29698/stat : 29698 (java) S 29690 29690 28608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106914684 26628161536 11555 33554432000 4194304 4196468 140726476877008 140249021934736 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29699] ppid=29690 vsize=26004064 memory=140390065861551 CPUtime=0 cores=0-7 /proc/29692/task/29699/stat : 29699 (java) S 29690 29690 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106914684 26628161536 11555 33554432000 4194304 4196468 140726476877008 140249020881936 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29700] ppid=29690 vsize=26004064 memory=140390065863856 CPUtime=0 cores=0-7 /proc/29692/task/29700/stat : 29700 (java) S 29690 29690 28608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106914684 26628161536 11555 33554432000 4194304 4196468 140726476877008 140249019829136 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29701] ppid=29690 vsize=26004064 memory=140390065866160 CPUtime=0 cores=0-7 /proc/29692/task/29701/stat : 29701 (java) S 29690 29690 28608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106914684 26628161536 11555 33554432000 4194304 4196468 140726476877008 140249018776336 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29702] ppid=29690 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29692/task/29702/stat : 29702 (java) S 29690 29690 28608 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 106914685 26628161536 11555 33554432000 4194304 4196468 140726476877008 140247479372144 140249073535618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29703] ppid=29690 vsize=26004064 memory=280780131739280 CPUtime=0 cores=0-7 /proc/29692/task/29703/stat : 29703 (java) S 29690 29690 28608 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 106914686 26628161536 11555 33554432000 4194304 4196468 140726476877008 140247478318112 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29704] ppid=29690 vsize=26004064 memory=280780131746192 CPUtime=0 cores=0-7 /proc/29692/task/29704/stat : 29704 (java) S 29690 29690 28608 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 106914686 26628161536 11555 33554432000 4194304 4196468 140726476877008 140247477265264 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29705] ppid=29690 vsize=26004064 memory=280780131687472 CPUtime=0 cores=0-7 /proc/29692/task/29705/stat : 29705 (java) S 29690 29690 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106914689 26628161536 11555 33554432000 4194304 4196468 140726476877008 140247476213584 140249073543067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29706] ppid=29690 vsize=26004064 memory=280780131760016 CPUtime=0.03 cores=0-7 /proc/29692/task/29706/stat : 29706 (java) R 29690 29690 28608 0 -1 4202560 434 0 0 0 3 0 0 0 20 0 20 0 106914689 26628161536 11555 33554432000 4194304 4196468 140726476877008 140247475161968 140249053351632 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29707] ppid=29690 vsize=26004064 memory=280780131766928 CPUtime=0.01 cores=0-7 /proc/29692/task/29707/stat : 29707 (java) S 29690 29690 28608 0 -1 1077944384 150 0 0 0 1 0 0 0 20 0 20 0 106914689 26628161536 11555 33554432000 4194304 4196468 140726476877008 140247474109168 140249073535618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29708] ppid=29690 vsize=26004064 memory=280780131764624 CPUtime=0.02 cores=0-7 /proc/29692/task/29708/stat : 29708 (java) S 29690 29690 28608 0 -1 1077944384 409 0 0 0 2 0 0 0 20 0 20 0 106914689 26628161536 11555 33554432000 4194304 4196468 140726476877008 140247473056368 140249073535618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29709] ppid=29690 vsize=26004064 memory=280780131780784 CPUtime=0.12 cores=0-7 /proc/29692/task/29709/stat : 29709 (java) R 29690 29690 28608 0 -1 4202560 847 0 0 0 12 0 0 0 20 0 20 0 106914689 26628161536 11555 33554432000 4194304 4196468 140726476877008 140247471999248 140249052447550 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29710] ppid=29690 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29692/task/29710/stat : 29710 (java) S 29690 29690 28608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106914689 26628161536 11555 33554432000 4194304 4196468 140726476877008 140247470951008 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29711] ppid=29690 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/29692/task/29711/stat : 29711 (java) S 29690 29690 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106914689 26628161536 11555 33554432000 4194304 4196468 140726476877008 140247469898288 140249073535618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47604 KiB [startup+0.700925 s] /proc/loadavg: 8.36 8.41 8.40 6/200 29711 /proc/meminfo: memFree=28651316/32770624 swapFree=67108860/67108860 [pid=29690] ppid=29687 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/29690/stat : 29690 (xcsp3-exec) S 29687 29690 28608 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 106914683 9740288 346 33554432000 4194304 5098028 140728215746752 140728215744856 139724848513660 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30756864 140728215753829 140728215754039 140728215754039 140728215756779 0 /proc/29690/statm: 2378 346 289 221 0 87 0 [pid=29692] ppid=29690 vsize=26006188 memory=98780 CPUtime=2.1 cores=0-7 /proc/29692/stat : 29692 (java) S 29690 29690 28608 0 -1 1077944320 15303 0 0 0 205 5 0 0 20 0 20 0 106914683 26630336512 24695 33554432000 4194304 4196468 140726476877008 140726476859552 140249073524471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 /proc/29692/statm: 6501547 24695 3211 1 0 6488781 0 [pid=29692/tid=29693] ppid=29690 vsize=26006188 memory=280780132138672 CPUtime=0.67 cores=0-7 /proc/29692/task/29693/stat : 29693 (java) R 29690 29690 28608 0 -1 4202560 6804 0 0 0 64 3 0 0 20 0 20 0 106914683 26630336512 24695 33554432000 4194304 4196468 140726476877008 140249077760656 140249073536406 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29694] ppid=29690 vsize=26006188 memory=140390066070384 CPUtime=0 cores=0-7 /proc/29692/task/29694/stat : 29694 (java) S 29690 29690 28608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106914684 26630336512 24695 33554432000 4194304 4196468 140726476877008 140249026144912 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29695] ppid=29690 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/29692/task/29695/stat : 29695 (java) S 29690 29690 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106914684 26630336512 24695 33554432000 4194304 4196468 140726476877008 140249025092112 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29696] ppid=29690 vsize=26006188 memory=1200 CPUtime=0 cores=0-7 /proc/29692/task/29696/stat : 29696 (java) S 29690 29690 28608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106914684 26630336512 24695 33554432000 4194304 4196468 140726476877008 140249024039312 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 ################ # More data... # ################ /proc/meminfo: memFree=25224464/32770624 swapFree=67108860/67108860 [pid=29690] ppid=29687 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/29690/stat : 29690 (xcsp3-exec) S 29687 29690 28608 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 106914683 9740288 346 33554432000 4194304 5098028 140728215746752 140728215744856 139724848513660 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30756864 140728215753829 140728215754039 140728215754039 140728215756779 0 /proc/29690/statm: 2378 346 289 221 0 87 0 [pid=29692] ppid=29690 vsize=26540748 memory=3493800 CPUtime=19951.8 cores=0-7 /proc/29692/stat : 29692 (java) S 29690 29690 28608 0 -1 1077944320 326591 0 0 0 1994803 376 0 0 20 0 28 0 106914683 27177725952 873450 33554432000 4194304 4196468 140726476877008 140726476859552 140249073524471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 /proc/29692/statm: 6635187 873450 3292 1 0 6622421 0 [pid=29692/tid=29693] ppid=29690 vsize=26540748 memory=3493800 CPUtime=1.75 cores=0-7 /proc/29692/task/29693/stat : 29693 (java) S 29690 29690 28608 0 -1 1077944384 9646 0 0 0 169 6 0 0 20 0 28 0 106914683 27177725952 873450 33554432000 4194304 4196468 140726476877008 140249077765248 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29694] ppid=29690 vsize=26540748 memory=1384 CPUtime=0.22 cores=0-7 /proc/29692/task/29694/stat : 29694 (java) S 29690 29690 28608 0 -1 1077944384 1277 0 0 0 16 6 0 0 20 0 28 0 106914684 27177725952 873450 33554432000 4194304 4196468 140726476877008 140249026144912 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29695] ppid=29690 vsize=26540748 memory=3493800 CPUtime=0.23 cores=0-7 /proc/29692/task/29695/stat : 29695 (java) S 29690 29690 28608 0 -1 1077944384 1127 0 0 0 17 6 0 0 20 0 28 0 106914684 27177725952 873450 33554432000 4194304 4196468 140726476877008 140249025092112 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29696] ppid=29690 vsize=26540748 memory=3493800 CPUtime=0.2 cores=0-7 /proc/29692/task/29696/stat : 29696 (java) S 29690 29690 28608 0 -1 1077944384 541 0 0 0 14 6 0 0 20 0 28 0 106914684 27177725952 873450 33554432000 4194304 4196468 140726476877008 140249024039312 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29697] ppid=29690 vsize=26540748 memory=3493800 CPUtime=0.22 cores=0-7 /proc/29692/task/29697/stat : 29697 (java) S 29690 29690 28608 0 -1 1077944384 1283 0 0 0 16 6 0 0 20 0 28 0 106914684 27177725952 873450 33554432000 4194304 4196468 140726476877008 140249022986512 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29698] ppid=29690 vsize=26540748 memory=3493800 CPUtime=0.2 cores=0-7 /proc/29692/task/29698/stat : 29698 (java) S 29690 29690 28608 0 -1 1077944384 718 0 0 0 14 6 0 0 20 0 28 0 106914684 27177725952 873450 33554432000 4194304 4196468 140726476877008 140249021934736 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29699] ppid=29690 vsize=26540748 memory=1384 CPUtime=0.2 cores=0-7 /proc/29692/task/29699/stat : 29699 (java) S 29690 29690 28608 0 -1 1077944384 871 0 0 0 14 6 0 0 20 0 28 0 106914684 27177725952 873450 33554432000 4194304 4196468 140726476877008 140249020881936 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29700] ppid=29690 vsize=26540748 memory=3493800 CPUtime=0.21 cores=0-7 /proc/29692/task/29700/stat : 29700 (java) S 29690 29690 28608 0 -1 1077944384 1168 0 0 0 15 6 0 0 20 0 28 0 106914684 27177725952 873450 33554432000 4194304 4196468 140726476877008 140249019829136 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29701] ppid=29690 vsize=26540748 memory=3493800 CPUtime=0.2 cores=0-7 /proc/29692/task/29701/stat : 29701 (java) S 29690 29690 28608 0 -1 1077944384 1773 0 0 0 14 6 0 0 20 0 28 0 106914684 27177725952 873450 33554432000 4194304 4196468 140726476877008 140249018776336 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29702] ppid=29690 vsize=26540748 memory=64084 CPUtime=0.11 cores=0-7 /proc/29692/task/29702/stat : 29702 (java) S 29690 29690 28608 0 -1 1077944384 8037 0 0 0 6 5 0 0 20 0 28 0 106914685 27177725952 873450 33554432000 4194304 4196468 140726476877008 140247479372144 140249073535618 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29703] ppid=29690 vsize=26540748 memory=64062 CPUtime=0 cores=0-7 /proc/29692/task/29703/stat : 29703 (java) S 29690 29690 28608 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 106914686 27177725952 873450 33554432000 4194304 4196468 140726476877008 140247478318176 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29704] ppid=29690 vsize=26540748 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/29692/task/29704/stat : 29704 (java) S 29690 29690 28608 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 106914686 27177725952 873450 33554432000 4194304 4196468 140726476877008 140247477265280 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29705] ppid=29690 vsize=26540748 memory=3493800 CPUtime=0 cores=0-7 /proc/29692/task/29705/stat : 29705 (java) S 29690 29690 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 106914689 27177725952 873450 33554432000 4194304 4196468 140726476877008 140247476213584 140249073543067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29706] ppid=29690 vsize=26540748 memory=3493800 CPUtime=3.45 cores=0-7 /proc/29692/task/29706/stat : 29706 (java) S 29690 29690 28608 0 -1 1077944384 27126 0 0 0 342 3 0 0 20 0 28 0 106914689 27177725952 873450 33554432000 4194304 4196468 140726476877008 140247475161968 140249073535618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29707] ppid=29690 vsize=26540748 memory=1384 CPUtime=3.92 cores=0-7 /proc/29692/task/29707/stat : 29707 (java) S 29690 29690 28608 0 -1 1077944384 28120 0 0 0 387 5 0 0 20 0 28 0 106914689 27177725952 873450 33554432000 4194304 4196468 140726476877008 140247474109168 140249073535618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29708] ppid=29690 vsize=26540748 memory=3493800 CPUtime=4.3 cores=0-7 /proc/29692/task/29708/stat : 29708 (java) S 29690 29690 28608 0 -1 1077944384 32877 0 0 0 425 5 0 0 20 0 28 0 106914689 27177725952 873450 33554432000 4194304 4196468 140726476877008 140247473056368 140249073535618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29709] ppid=29690 vsize=26540748 memory=4144 CPUtime=1.2 cores=0-7 /proc/29692/task/29709/stat : 29709 (java) S 29690 29690 28608 0 -1 1077944384 29364 0 0 0 115 5 0 0 20 0 28 0 106914689 27177725952 873450 33554432000 4194304 4196468 140726476877008 140247472003568 140249073535618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29710] ppid=29690 vsize=26540748 memory=3493800 CPUtime=0 cores=0-7 /proc/29692/task/29710/stat : 29710 (java) S 29690 29690 28608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 106914689 27177725952 873450 33554432000 4194304 4196468 140726476877008 140247470951008 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29711] ppid=29690 vsize=26540748 memory=1384 CPUtime=0.86 cores=0-7 /proc/29692/task/29711/stat : 29711 (java) S 29690 29690 28608 0 -1 1077944384 5867 0 0 0 0 86 0 0 20 0 28 0 106914689 27177725952 873450 33554432000 4194304 4196468 140726476877008 140247469898288 140249073535618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29960] ppid=29690 vsize=26540748 memory=3493800 CPUtime=685.84 cores=0-7 /proc/29692/task/29960/stat : 29960 (java) R 29690 29690 28608 0 -1 4202560 1643 0 0 0 68583 1 0 0 20 0 28 0 107096329 27177725952 873450 33554432000 4194304 4196468 140726476877008 140246583843192 140248692117984 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29961] ppid=29690 vsize=26540748 memory=1384 CPUtime=685.6 cores=0-7 /proc/29692/task/29961/stat : 29961 (java) R 29690 29690 28608 0 -1 4202560 1410 0 0 0 68560 0 0 0 20 0 28 0 107096329 27177725952 873450 33554432000 4194304 4196468 140726476877008 140246584897032 140248694716347 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29962] ppid=29690 vsize=26540748 memory=3493800 CPUtime=683.77 cores=0-7 /proc/29692/task/29962/stat : 29962 (java) R 29690 29690 28608 0 -1 4202560 6715 0 0 0 68369 8 0 0 20 0 28 0 107096329 27177725952 873450 33554432000 4194304 4196468 140726476877008 140246585950096 140248695923730 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29963] ppid=29690 vsize=26540748 memory=1696 CPUtime=685.77 cores=0-7 /proc/29692/task/29963/stat : 29963 (java) R 29690 29690 28608 0 -1 4202560 2534 0 0 0 68571 6 0 0 20 0 28 0 107096329 27177725952 873450 33554432000 4194304 4196468 140726476877008 140246587003096 140248694347831 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29964] ppid=29690 vsize=26540748 memory=920 CPUtime=685.82 cores=0-7 /proc/29692/task/29964/stat : 29964 (java) R 29690 29690 28608 0 -1 4202560 3097 0 0 0 68573 9 0 0 20 0 28 0 107096329 27177725952 873450 33554432000 4194304 4196468 140726476877008 140246581739816 140248687795486 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29965] ppid=29690 vsize=26540748 memory=6791534058613427641 CPUtime=683.17 cores=0-7 /proc/29692/task/29965/stat : 29965 (java) R 29690 29690 28608 0 -1 4202560 1352 0 0 0 68317 0 0 0 20 0 28 0 107096329 27177725952 873450 33554432000 4194304 4196468 140726476877008 140247461330952 140248695517228 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29966] ppid=29690 vsize=26540748 memory=2244 CPUtime=684.62 cores=0-7 /proc/29692/task/29966/stat : 29966 (java) R 29690 29690 28608 0 -1 4202560 1674 0 0 0 68462 0 0 0 20 0 28 0 107096329 27177725952 873450 33554432000 4194304 4196468 140726476877008 140246582792072 140248689585628 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29967] ppid=29690 vsize=26540748 memory=4132 CPUtime=677.8 cores=0-7 /proc/29692/task/29967/stat : 29967 (java) R 29690 29690 28608 0 -1 4202560 6485 0 0 0 67760 20 0 0 20 0 28 0 107096329 27177725952 873450 33554432000 4194304 4196468 140726476877008 140247462382936 140248693288251 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 Current children cumulated CPU time: 19951.8 s Current children cumulated vsize: 26550260 KiB Current children cumulated memory: 3495184 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.16 8.28 8.30 9/207 29976 /proc/meminfo: memFree=25224544/32770624 swapFree=67108860/67108860 [pid=29690] ppid=29687 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/29690/stat : 29690 (xcsp3-exec) S 29687 29690 28608 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 106914683 9740288 346 33554432000 4194304 5098028 140728215746752 140728215744856 139724848513660 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30756864 140728215753829 140728215754039 140728215754039 140728215756779 0 /proc/29690/statm: 2378 346 289 221 0 87 0 [pid=29692] ppid=29690 vsize=26540748 memory=3493800 CPUtime=20093.1 cores=0-7 /proc/29692/stat : 29692 (java) S 29690 29690 28608 0 -1 1077944320 326866 0 0 0 2008933 378 0 0 20 0 28 0 106914683 27177725952 873450 33554432000 4194304 4196468 140726476877008 140726476859552 140249073524471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 /proc/29692/statm: 6635187 873450 3292 1 0 6622421 0 [pid=29692/tid=29693] ppid=29690 vsize=26540748 memory=6791534058613427641 CPUtime=1.75 cores=0-7 /proc/29692/task/29693/stat : 29693 (java) S 29690 29690 28608 0 -1 1077944384 9646 0 0 0 169 6 0 0 20 0 28 0 106914683 27177725952 873450 33554432000 4194304 4196468 140726476877008 140249077765248 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29694] ppid=29690 vsize=26540748 memory=4872558044660077418 CPUtime=0.22 cores=0-7 /proc/29692/task/29694/stat : 29694 (java) S 29690 29690 28608 0 -1 1077944384 1277 0 0 0 16 6 0 0 20 0 28 0 106914684 27177725952 873450 33554432000 4194304 4196468 140726476877008 140249026144912 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29695] ppid=29690 vsize=26540748 memory=280780131533040 CPUtime=0.23 cores=0-7 /proc/29692/task/29695/stat : 29695 (java) S 29690 29690 28608 0 -1 1077944384 1127 0 0 0 17 6 0 0 20 0 28 0 106914684 27177725952 873450 33554432000 4194304 4196468 140726476877008 140249025092112 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29696] ppid=29690 vsize=26540748 memory=280780131533040 CPUtime=0.2 cores=0-7 /proc/29692/task/29696/stat : 29696 (java) S 29690 29690 28608 0 -1 1077944384 541 0 0 0 14 6 0 0 20 0 28 0 106914684 27177725952 873450 33554432000 4194304 4196468 140726476877008 140249024039312 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29697] ppid=29690 vsize=26540748 memory=280780131533040 CPUtime=0.22 cores=0-7 /proc/29692/task/29697/stat : 29697 (java) S 29690 29690 28608 0 -1 1077944384 1283 0 0 0 16 6 0 0 20 0 28 0 106914684 27177725952 873450 33554432000 4194304 4196468 140726476877008 140249022986512 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29698] ppid=29690 vsize=26540748 memory=3493800 CPUtime=0.2 cores=0-7 /proc/29692/task/29698/stat : 29698 (java) S 29690 29690 28608 0 -1 1077944384 718 0 0 0 14 6 0 0 20 0 28 0 106914684 27177725952 873450 33554432000 4194304 4196468 140726476877008 140249021934736 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29699] ppid=29690 vsize=26540748 memory=1236 CPUtime=0.2 cores=0-7 /proc/29692/task/29699/stat : 29699 (java) S 29690 29690 28608 0 -1 1077944384 871 0 0 0 14 6 0 0 20 0 28 0 106914684 27177725952 873450 33554432000 4194304 4196468 140726476877008 140249020881936 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29700] ppid=29690 vsize=26540748 memory=2344 CPUtime=0.21 cores=0-7 /proc/29692/task/29700/stat : 29700 (java) S 29690 29690 28608 0 -1 1077944384 1168 0 0 0 15 6 0 0 20 0 28 0 106914684 27177725952 873450 33554432000 4194304 4196468 140726476877008 140249019829136 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29701] ppid=29690 vsize=26540748 memory=932 CPUtime=0.2 cores=0-7 /proc/29692/task/29701/stat : 29701 (java) S 29690 29690 28608 0 -1 1077944384 1773 0 0 0 14 6 0 0 20 0 28 0 106914684 27177725952 873450 33554432000 4194304 4196468 140726476877008 140249018776336 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29702] ppid=29690 vsize=26540748 memory=1580 CPUtime=0.11 cores=0-7 /proc/29692/task/29702/stat : 29702 (java) S 29690 29690 28608 0 -1 1077944384 8037 0 0 0 6 5 0 0 20 0 28 0 106914685 27177725952 873450 33554432000 4194304 4196468 140726476877008 140247479372144 140249073535618 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29703] ppid=29690 vsize=26540748 memory=2244 CPUtime=0 cores=0-7 /proc/29692/task/29703/stat : 29703 (java) S 29690 29690 28608 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 106914686 27177725952 873450 33554432000 4194304 4196468 140726476877008 140247478318176 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29704] ppid=29690 vsize=26540748 memory=4132 CPUtime=0 cores=0-7 /proc/29692/task/29704/stat : 29704 (java) S 29690 29690 28608 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 106914686 27177725952 873450 33554432000 4194304 4196468 140726476877008 140247477265280 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29705] ppid=29690 vsize=26540748 memory=2204 CPUtime=0 cores=0-7 /proc/29692/task/29705/stat : 29705 (java) S 29690 29690 28608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 106914689 27177725952 873450 33554432000 4194304 4196468 140726476877008 140247476213584 140249073543067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29706] ppid=29690 vsize=26540748 memory=7280 CPUtime=3.45 cores=0-7 /proc/29692/task/29706/stat : 29706 (java) S 29690 29690 28608 0 -1 1077944384 27126 0 0 0 342 3 0 0 20 0 28 0 106914689 27177725952 873450 33554432000 4194304 4196468 140726476877008 140247475161968 140249073535618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29707] ppid=29690 vsize=26540748 memory=844 CPUtime=3.92 cores=0-7 /proc/29692/task/29707/stat : 29707 (java) S 29690 29690 28608 0 -1 1077944384 28120 0 0 0 387 5 0 0 20 0 28 0 106914689 27177725952 873450 33554432000 4194304 4196468 140726476877008 140247474109168 140249073535618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29708] ppid=29690 vsize=26540748 memory=1696 CPUtime=4.3 cores=0-7 /proc/29692/task/29708/stat : 29708 (java) S 29690 29690 28608 0 -1 1077944384 32877 0 0 0 425 5 0 0 20 0 28 0 106914689 27177725952 873450 33554432000 4194304 4196468 140726476877008 140247473056368 140249073535618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29709] ppid=29690 vsize=26540748 memory=920 CPUtime=1.2 cores=0-7 /proc/29692/task/29709/stat : 29709 (java) S 29690 29690 28608 0 -1 1077944384 29364 0 0 0 115 5 0 0 20 0 28 0 106914689 27177725952 873450 33554432000 4194304 4196468 140726476877008 140247472003568 140249073535618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29710] ppid=29690 vsize=26540748 memory=4292 CPUtime=0 cores=0-7 /proc/29692/task/29710/stat : 29710 (java) S 29690 29690 28608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 106914689 27177725952 873450 33554432000 4194304 4196468 140726476877008 140247470951008 140249073534677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29711] ppid=29690 vsize=26540748 memory=4104 CPUtime=0.86 cores=0-7 /proc/29692/task/29711/stat : 29711 (java) S 29690 29690 28608 0 -1 1077944384 5869 0 0 0 0 86 0 0 20 0 28 0 106914689 27177725952 873450 33554432000 4194304 4196468 140726476877008 140247469898288 140249073535618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29960] ppid=29690 vsize=26540748 memory=1384 CPUtime=703.55 cores=0-7 /proc/29692/task/29960/stat : 29960 (java) R 29690 29690 28608 0 -1 4202560 1644 0 0 0 70354 1 0 0 20 0 28 0 107096329 27177725952 873450 33554432000 4194304 4196468 140726476877008 140246583843192 140248693289164 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29961] ppid=29690 vsize=26540748 memory=1720 CPUtime=703.32 cores=0-7 /proc/29692/task/29961/stat : 29961 (java) R 29690 29690 28608 0 -1 4202560 1412 0 0 0 70331 1 0 0 20 0 28 0 107096329 27177725952 873450 33554432000 4194304 4196468 140726476877008 140246584897032 140248694031372 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29962] ppid=29690 vsize=26540748 memory=4612 CPUtime=701.12 cores=0-7 /proc/29692/task/29962/stat : 29962 (java) R 29690 29690 28608 0 -1 4202560 6777 0 0 0 70104 8 0 0 20 0 28 0 107096329 27177725952 873450 33554432000 4194304 4196468 140726476877008 140246585950096 140248696533754 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29963] ppid=29690 vsize=26540748 memory=1008 CPUtime=703.48 cores=0-7 /proc/29692/task/29963/stat : 29963 (java) R 29690 29690 28608 0 -1 4202560 2562 0 0 0 70342 6 0 0 20 0 28 0 107096329 27177725952 873450 33554432000 4194304 4196468 140726476877008 140246587003096 140248692117984 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29964] ppid=29690 vsize=26540748 memory=1944 CPUtime=703.53 cores=0-7 /proc/29692/task/29964/stat : 29964 (java) R 29690 29690 28608 0 -1 4202560 3139 0 0 0 70344 9 0 0 20 0 28 0 107096329 27177725952 873450 33554432000 4194304 4196468 140726476877008 140246581739816 140248687978164 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29965] ppid=29690 vsize=26540748 memory=1200 CPUtime=700.88 cores=0-7 /proc/29692/task/29965/stat : 29965 (java) R 29690 29690 28608 0 -1 4202560 1353 0 0 0 70088 0 0 0 20 0 28 0 107096329 27177725952 873450 33554432000 4194304 4196468 140726476877008 140247461330952 140248695846178 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29966] ppid=29690 vsize=26540748 memory=1424 CPUtime=702.33 cores=0-7 /proc/29692/task/29966/stat : 29966 (java) R 29690 29690 28608 0 -1 4202560 1676 0 0 0 70233 0 0 0 20 0 28 0 107096329 27177725952 873450 33554432000 4194304 4196468 140726476877008 140246582792072 140248687978160 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 [pid=29692/tid=29967] ppid=29690 vsize=26540748 memory=6791534058613427641 CPUtime=695.51 cores=0-7 /proc/29692/task/29967/stat : 29967 (java) R 29690 29690 28608 0 -1 4202560 6620 0 0 0 69530 21 0 0 20 0 28 0 107096329 27177725952 873450 33554432000 4194304 4196468 140726476877008 140247462382936 140248693160588 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 21041152 140726476883090 140726476883267 140726476883267 140726476885967 0 Current children cumulated CPU time: 20093.1 s Current children cumulated vsize: 26550260 KiB Current children cumulated memory: 3495184 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.04 s] # the end of solver process 29690 was just reported to runsolver # cumulated CPU time of all completed processes: user=0 s, system=0.001966 s [startup+2520.15 s] # the end of solver process 29692 was just reported to runsolver # cumulated CPU time of all completed processes: user=20090.2 s, system=3.80443 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.13 s]* /proc/loadavg: 8.16 8.28 8.30 2/180 29978 /proc/meminfo: memFree=25226364/32770624 swapFree=67108860/67108860 Current cumulated CPU time of completed processes: 0.001966 s Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 143 Real time (s): 2520.15 CPU time (s): 20094 CPU user time (s): 20090.2 CPU system time (s): 3.80443 CPU usage (%): 797.333 Max. virtual memory (cumulated for all children) (KiB): 26550260 Max. memory (cumulated for all children) (KiB): 3495184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20090.2 system time used= 3.80443 maximum resident set size= 3494824 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 328613 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2168 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 64787 involuntary context switches= 205146 # summary of solver processes directly reported to runsolver: # pid: 29690,29692 # total CPU time (s): 20094 # total CPU user time (s): 20090.2 # total CPU system time (s): 3.80443 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 21.2638 second user time and 30.01 second system time The end
Begin job on node151 at 2017-08-14 21:04:39 IDJOB=4270617 IDBENCH=127052 IDSOLVER=2662 FILE ID=node151/4270617-1502738338 RUNJOBID= node151-1502729773-28635 PBS_JOBID= 20629046 Free space on /tmp= 61756 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-054.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4270617-1502738338/watcher-4270617-1502738338 -o /tmp/evaluation-result-4270617-1502738338/solver-4270617-1502738338 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1502729773-28635 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 984191994 HOME/instance-4270617-1502738338.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= d63f0cb62453ec1939b86e2392ab6ad9 RANDOM SEED=984191994 node151.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 : 5332.95 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 : 5332.95 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 : 5332.95 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 : 5332.95 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: 28711748 kB MemAvailable: 31991512 kB Buffers: 278832 kB Cached: 3289792 kB SwapCached: 0 kB Active: 972028 kB Inactive: 2650340 kB Active(anon): 55676 kB Inactive(anon): 25048 kB Active(file): 916352 kB Inactive(file): 2625292 kB Unevictable: 7020 kB Mlocked: 7020 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7896 kB Writeback: 0 kB AnonPages: 165712 kB Mapped: 45452 kB Shmem: 25224 kB Slab: 134116 kB SReclaimable: 107912 kB SUnreclaim: 26204 kB KernelStack: 3392 kB PageTables: 4788 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324128 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 112640 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61748 MiB End job on node151 at 2017-08-14 21:46:40