Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Choco-solver 4.0.7 seq (493a269) | SAT (TO) | 10181 | 2400.07 | 2385.91 |
| Name | NurseRostering/ NurseRostering-10_c18.xml |
| MD5SUM | 8e8c57bbf90dbce08cf7a3cf301ec8dd |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 10181 |
| Best CPU time to get the best result obtained on this benchmark | 2520.06 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2140 |
| Number of constraints | 5421 |
| Number of domains | 18 |
| Minimum domain size | 1 |
| Maximum domain size | 41 |
| Distribution of domain sizes | [{"size":1,"count":94},{"size":2,"count":444},{"size":6,"count":1141},{"size":9,"count":7},{"size":10,"count":18},{"size":29,"count":128},{"size":41,"count":308}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 27 |
| Distribution of variable degrees | [{"degree":2,"count":860},{"degree":3,"count":160},{"degree":17,"count":33},{"degree":18,"count":41},{"degree":19,"count":6},{"degree":20,"count":31},{"degree":21,"count":40},{"degree":22,"count":67},{"degree":23,"count":71},{"degree":24,"count":80},{"degree":25,"count":360},{"degree":26,"count":293},{"degree":27,"count":98}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 80 |
| Distribution of constraint arities | [{"arity":2,"count":1932},{"arity":3,"count":2080},{"arity":4,"count":40},{"arity":6,"count":960},{"arity":29,"count":240},{"arity":41,"count":168},{"arity":80,"count":1}] |
| Number of extensional constraints | 1248 |
| Number of intensional constraints | 684 |
| Distribution of constraint types | [{"type":"extension","count":1248},{"type":"intension","count":684},{"type":"regular","count":2080},{"type":"sum","count":80},{"type":"count","count":1328},{"type":"instantiation","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4292359-1532281470.xml" -tl '2400s' -p 1 -x 0 0.13/0.17 c Choco 493a269 0.13/0.18 c [HOME/instance-4292359-1532281470.xml, -tl, 2400s, -p, 1, -x, 0] 0.13/0.21 c simple solver 0.34/0.28 c parse instance... 4.21/1.60 c solve instance... 53.42/44.49 o 13315 53.42/44.50 o 13214 136.67/126.54 o 11310 1249.72/1238.07 o 10282 1254.12/1242.45 o 10181 2400.05/2385.90 s SATISFIABLE 2400.05/2385.90 v <instantiation> 2400.05/2385.90 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] ps[0][0] ps[0][1] ps[0][2] ps[0][3] ps[0][4] ps[0][5] ps[1][0] ps[1][1] ps[1][2] ps[1][3] ps[1][4] ps[1][5] ps[2][0] ps[2][1] ps[2][2] ps[2][3] ps[2][4] ps[2][5] ps[3][0] ps[3][1] ps[3][2] ps[3][3] ps[3][4] ps[3][5] ps[4][0] ps[4][1] ps[4][2] ps[4][3] ps[4][4] ps[4][5] ps[5][0] ps[5][1] ps[5][2] ps[5][3] ps[5][4] ps[5][5] ps[6][0] ps[6][1] ps[6][2] ps[6][3] ps[6][4] ps[6][5] ps[7][0] ps[7][1] ps[7][2] ps[7][3] ps[7][4] ps[7][5] ps[8][0] ps[8][1] ps[8][2] ps[8][3] ps[8][4] ps[8][5] ps[9][0] ps[9][1] ps[9][2] ps[9][3] ps[9][4] ps[9][5] ps[10][0] ps[10][1] ps[10][2] ps[10][3] ps[10][4] ps[10][5] ps[11][0] ps[11][1] ps[11][2] ps[11][3] ps[11][4] ps[11][5] ps[12][0] ps[12][1] ps[12][2] ps[12][3] ps[12][4] ps[12][5] ps[13][0] ps[13][1] ps[13][2] ps[13][3] ps[13][4] ps[13][5] ps[14][0] ps[14][1] ps[14][2] ps[14][3] ps[14][4] ps[14][5] ps[15][0] ps[15][1] ps[15][2] ps[15][3] ps[15][4] ps[15][5] ps[16][0] ps[16][1] ps[16][2] ps[16][3] ps[16][4] ps[16][5] ps[17][0] ps[17][1] ps[17][2] ps[17][3] ps[17][4] ps[17][5] ps[18][0] ps[18][1] ps[18][2] ps[18][3] ps[18][4] ps[18][5] ps[19][0] ps[19][1] ps[19][2] ps[19][3] ps[19][4] ps[19][5] ps[20][0] ps[20][1] ps[20][2] ps[20][3] ps[20][4] ps[20][5] ps[21][0] ps[21][1] ps[21][2] ps[21][3] ps[21][4] ps[21][5] ps[22][0] ps[22][1] ps[22][2] ps[22][3] ps[22][4] ps[22][5] ps[23][0] ps[23][1] ps[23][2] ps[23][3] ps[23][4] ps[23][5] ps[24][0] ps[24][1] ps[24][2] ps[24][3] ps[24][4] ps[24][5] ps[25][0] ps[25][1] ps[25][2] ps[25][3] ps[25][4] ps[25][5] ps[26][0] ps[26][1] ps[26][2] ps[26][3] ps[26][4] ps[26][5] ps[27][0] ps[27][1] ps[27][2] ps[27][3] ps[27][4] ps[27][5] ps[28][0] ps[28][1] ps[28][2] ps[28][3] ps[28][4] ps[28][5] ps[29][0] ps[29][1] ps[29][2] ps[29][3] ps[29][4] ps[29][5] ps[30][0] ps[30][1] ps[30][2] ps[30][3] ps[30][4] ps[30][5] ps[31][0] ps[31][1] ps[31][2] ps[31][3] ps[31][4] ps[31][5] ps[32][0] ps[32][1] ps[32][2] ps[32][3] ps[32][4] ps[32][5] ps[33][0] ps[33][1] ps[33][2] ps[33][3] ps[33][4] ps[33][5] ps[34][0] ps[34][1] ps[34][2] ps[34][3] ps[34][4] ps[34][5] ps[35][0] ps[35][1] ps[35][2] ps[35][3] ps[35][4] ps[35][5] ps[36][0] ps[36][1] ps[36][2] ps[36][3] ps[36][4] ps[36][5] ps[37][0] ps[37][1] ps[37][2] ps[37][3] ps[37][4] ps[37][5] ps[38][0] ps[38][1] ps[38][2] ps[38][3] ps[38][4] ps[38][5] ps[39][0] ps[39][1] ps[39][2] ps[39][3] ps[39][4] ps[39][5] ds[0][0] ds[0][1] ds[0][2] ds[0][3] ds[0][4] ds[0][5] ds[1][0] ds[1][1] ds[1][2] ds[1][3] ds[1][4] ds[1][5] ds[2][0] ds[2][1] ds[2][2] ds[2][3] ds[2][4] ds[2][5] ds[3][0] ds[3][1] ds[3][2] ds[3][3] ds[3][4] ds[3][5] ds[4][0] ds[4][1] ds[4][2] ds[4][3] ds[4][4] ds[4][5] ds[5][0] ds[5][1] ds[5][2] ds[5][3] ds[5][4] ds[5][5] ds[6][0] ds[6][1] ds[6][2] ds[6][3] ds[6][4] ds[6][5] ds[7][0] ds[7][1] ds[7][2] ds[7][3] ds[7][4] ds[7][5] ds[8][0] ds[8][1] ds[8][2] ds[8][3] ds[8][4] ds[8][5] ds[9][0] ds[9][1] ds[9][2] ds[9][3] ds[9][4] ds[9][5] ds[10][0] ds[10][1] ds[10][2] ds[10][3] ds[10][4] ds[10][5] ds[11][0] ds[11][1] ds[11][2] ds[11][3] ds[11][4] ds[11][5] ds[12][0] ds[12][1] ds[12][2] ds[12][3] ds[12][4] ds[12][5] ds[13][0] ds[13][1] ds[13][2] ds[13][3] ds[13][4] ds[13][5] ds[14][0] ds[14][1] ds[14][2] ds[14][3] ds[14][4] ds[14][5] ds[15][0] ds[15][1] ds[15][2] ds[15][3] ds[15][4] ds[15][5] ds[16][0] ds[16][1] ds[16][2] ds[16][3] ds[16][4] ds[16][5] ds[17][0] ds[17][1] ds[17][2] ds[17][3] ds[17][4] ds[17][5] ds[18][0] ds[18][1] ds[18][2] ds[18][3] ds[18][4] ds[18][5] ds[19][0] ds[19][1] ds[19][2] ds[19][3] ds[19][4] ds[19][5] ds[20][0] ds[20][1] ds[20][2] ds[20][3] ds[20][4] ds[20][5] ds[21][0] ds[21][1] ds[21][2] ds[21][3] ds[21][4] ds[21][5] ds[22][0] ds[22][1] ds[22][2] ds[22][3] ds[22][4] ds[22][5] ds[23][0] ds[23][1] ds[23][2] ds[23][3] ds[23][4] ds[23][5] ds[24][0] ds[24][1] ds[24][2] ds[24][3] ds[24][4] ds[24][5] ds[25][0] ds[25][1] ds[25][2] ds[25][3] ds[25][4] ds[25][5] ds[26][0] ds[26][1] ds[26][2] ds[26][3] ds[26][4] ds[26][5] ds[27][0] ds[27][1] ds[27][2] ds[27][3] ds[27][4] ds[27][5] wk[0][0] wk[0][1] wk[0][2] wk[0][3] wk[1][0] wk[1][1] wk[1][2] wk[1][3] wk[2][0] wk[2][1] wk[2][2] wk[2][3] wk[3][0] wk[3][1] wk[3][2] wk[3][3] wk[4][0] wk[4][1] wk[4][2] wk[4][3] wk[5][0] wk[5][1] wk[5][2] wk[5][3] wk[6][0] wk[6][1] wk[6][2] wk[6][3] wk[7][0] wk[7][1] wk[7][2] wk[7][3] wk[8][0] wk[8][1] wk[8][2] wk[8][3] wk[9][0] wk[9][1] wk[9][2] wk[9][3] wk[10][0] wk[10][1] wk[10][2] wk[10][3] wk[11][0] wk[11][1] wk[11][2] wk[11][3] wk[12][0] wk[12][1] wk[12][2] wk[12][3] wk[13][0] wk[13][1] wk[13][2] wk[13][3] wk[14][0] wk[14][1] wk[14][2] wk[14][3] wk[15][0] wk[15][1] wk[15][2] wk[15][3] wk[16][0] wk[16][1] wk[16][2] wk[16][3] wk[17][0] wk[17][1] wk[17][2] wk[17][3] wk[18][0] wk[18][1] wk[18][2] wk[18][3] wk[19][0] wk[19][1] wk[19][2] wk[19][3] wk[20][0] wk[20][1] wk[20][2] wk[20][3] wk[21][0] wk[21][1] wk[21][2] wk[21][3] wk[22][0] wk[22][1] wk[22][2] wk[22][3] wk[23][0] wk[23][1] wk[23][2] wk[23][3] wk[24][0] wk[24][1] wk[24][2] wk[24][3] wk[25][0] wk[25][1] wk[25][2] wk[25][3] wk[26][0] wk[26][1] wk[26][2] wk[26][3] wk[27][0] wk[27][1] wk[27][2] wk[27][3] wk[28][0] wk[28][1] wk[28][2] wk[28][3] wk[29][0] wk[29][1] wk[29][2] wk[29][3] wk[30][0] wk[30][1] wk[30][2] wk[30][3] wk[31][0] wk[31][1] wk[31][2] wk[31][3] wk[32][0] wk[32][1] wk[32][2] wk[32][3] wk[33][0] wk[33][1] wk[33][2] wk[33][3] wk[34][0] wk[34][1] wk[34][2] wk[34][3] wk[35][0] wk[35][1] wk[35][2] wk[35][3] wk[36][0] wk[36][1] wk[36][2] wk[36][3] wk[37][0] wk[37][1] wk[37][2] wk[37][3] wk[38][0] wk[38][1] wk[38][2] wk[38][3] wk[39][0] wk[39][1] wk[39][2] wk[39][3] cn[0] cn[1] cn[2] cn[3] cn[4] cn[5] cn[6] cn[7] cn[8] cn[9] cn[10] cn[11] cn[12] cn[13] cn[14] cn[15] cn[16] cn[17] cn[18] cn[19] cn[20] cn[21] cn[22] cn[23] cn[24] cn[25] cn[26] cn[27] cn[28] cn[29] cn[30] cn[31] cn[32] cn[33] cn[34] cn[35] cn[36] cn[37] cn[38] cn[39] cn[40] cn[41] cn[42] cn[43] cn[44] cn[45] cn[46] cn[47] cn[48] cn[49] cn[50] cn[51] cn[52] cn[53] cn[54] cn[55] cn[56] cn[57] cn[58] cn[59] cn[60] cn[61] cn[62] cn[63] cn[64] cn[65] cn[66] cn[67] cn[68] cn[69] cn[70] cn[71] cn[72] cn[73] cn[74] cn[75] cn[76] cn[77] cn[78] cn[79] cn[80] cn[81] cn[82] cn[83] cn[84] cn[85] cn[86] cn[87] cn[88] cn[89] cn[90] cn[91] cn[92] cn[93] cn[94] cn[95] cn[96] cn[97] cn[98] cn[99] cn[100] cn[101] cn[102] cn[103] cn[104] cn[105] cn[106] cn[107] cn[108] cn[109] cn[110] cn[111] cn[112] cn[113] cn[114] cn[115] cn[116] cn[117] cn[118] cn[119] cn[120] cn[121] cn[122] cn[123] cn[124] cn[125] cn[126] cn[127] cn[128] cn[129] cn[130] cn[131] cn[132] cn[133] cn[134] cn[135] cn[136] cn[137] cn[138] cn[139] cn[140] cn[141] cn[142] cn[143] cn[144] cn[145] cn[146] cn[147] cn[148] cn[149] cn[150] cn[151] cn[152] cn[153] cn[154] cn[155] cn[156] cn[157] cn[158] cn[159] cn[160] cn[161] cn[162] cn[163] cn[164] cn[165] cn[166] cn[167] cn[168] cn[169] cn[170] cn[171] cn[172] cn[173] cn[174] cn[175] cn[176] cn[177] cn[178] cn[179] cn[180] cn[181] cn[182] cn[183] cn[184] cn[185] cn[186] cn[187] cn[188] cn[189] cn[190] cn[191] cn[192] cn[193] cn[194] cn[195] cn[196] cn[197] cn[198] cn[199] cn[200] cn[201] cn[202] cn[203] cn[204] cn[205] cn[206] cn[207] cn[208] cn[209] cf[0] cf[1] cf[2] cf[3] cf[4] cf[5] cf[6] cf[7] cf[8] cf[9] cf[10] cf[11] cf[12] cf[13] cf[14] cf[15] cf[16] cf[17] cf[18] cf[19] cf[20] cf[21] cf[22] cf[23] cf[24] cf[25] cf[26] cf[27] cf[28] cf[29] cf[30] cf[31] cf[32] cf[33] cf[34] cf[35] cf[36] cf[37] cf[38] cf[39] cf[40] cf[41] cf[42] cf[43] cf[44] cf[45] cf[46] cf[47] cf[48] cf[49] cf[50] cf[51] cf[52] cf[53] cf[54] cf[55] cf[56] cf[57] cf[58] cf[59] cf[60] cf[61] cf[62] cf[63] cf[64] cf[65] cf[66] cf[67] cf[68] cf[69] cf[70] cf[71] cf[72] cf[73] cc[0][0] cc[0][1] cc[0][2] cc[0][3] cc[0][4] cc[0][5] cc[1][0] cc[1][1] cc[1][2] cc[1][3] cc[1][4] cc[1][5] cc[2][0] cc[2][1] cc[2][2] cc[2][3] cc[2][4] cc[2][5] cc[3][0] cc[3][1] cc[3][2] cc[3][3] cc[3][4] cc[3][5] cc[4][0] cc[4][1] cc[4][2] cc[4][3] cc[4][4] cc[4][5] cc[5][0] cc[5][1] cc[5][2] cc[5][3] cc[5][4] cc[5][5] cc[6][0] cc[6][1] cc[6][2] cc[6][3] cc[6][4] cc[6][5] cc[7][0] cc[7][1] cc[7][2] cc[7][3] cc[7][4] cc[7][5] cc[8][0] cc[8][1] cc[8][2] cc[8][3] cc[8][4] cc[8][5] cc[9][0] cc[9][1] cc[9][2] cc[9][3] cc[9][4] cc[9][5] cc[10][0] cc[10][1] cc[10][2] cc[10][3] cc[10][4] cc[10][5] cc[11][0] cc[11][1] cc[11][2] cc[11][3] cc[11][4] cc[11][5] cc[12][0] cc[12][1] cc[12][2] cc[12][3] cc[12][4] cc[12][5] cc[13][0] cc[13][1] cc[13][2] cc[13][3] cc[13][4] cc[13][5] cc[14][0] cc[14][1] cc[14][2] cc[14][3] cc[14][4] cc[14][5] cc[15][0] cc[15][1] cc[15][2] cc[15][3] cc[15][4] cc[15][5] cc[16][0] cc[16][1] cc[16][2] cc[16][3] cc[16][4] cc[16][5] cc[17][0] cc[17][1] cc[17][2] cc[17][3] cc[17][4] cc[17][5] cc[18][0] cc[18][1] cc[18][2] cc[18][3] cc[18][4] cc[18][5] cc[19][0] cc[19][1] cc[19][2] cc[19][3] cc[19][4] cc[19][5] cc[20][0] cc[20][1] cc[20][2] cc[20][3] cc[20][4] cc[20][5] cc[21][0] cc[21][1] cc[21][2] cc[21][3] cc[21][4] cc[21][5] cc[22][0] cc[22][1] cc[22][2] cc[22][3] cc[22][4] cc[22][5] cc[23][0] cc[23][1] cc[23][2] cc[23][3] cc[23][4] cc[23][5] cc[24][0] cc[24][1] cc[24][2] cc[24][3] cc[24][4] cc[24][5] cc[25][0] cc[25][1] cc[25][2] cc[25][3] cc[25][4] cc[25][5] cc[26][0] cc[26][1] cc[26][2] cc[26][3] cc[26][4] cc[26][5] cc[27][0] cc[27][1] cc[27][2] cc[27][3] cc[27][4] cc[27][5] </list> 2400.05/2385.90 v <values>1 2 0 2 5 3 5 2 5 3 4 5 0 3 3 5 0 1 5 2 0 5 1 0 1 5 5 0 3 5 2 5 5 3 5 2 0 3 5 5 1 3 0 2 5 4 5 2 5 3 4 2 1 3 3 5 0 2 0 3 0 0 1 1 1 5 1 0 3 5 2 5 0 3 0 2 0 3 5 5 5 3 5 1 0 5 5 1 0 4 5 2 1 3 3 5 0 4 2 5 5 0 1 5 1 5 3 5 3 5 5 0 0 3 1 5 5 5 0 2 5 3 5 4 3 5 2 1 0 4 5 3 5 3 3 5 0 4 5 5 5 5 5 5 1 5 5 5 3 0 5 0 0 3 1 5 5 5 0 1 1 3 5 4 5 5 2 5 5 5 1 5 5 3 3 5 0 5 5 2 0 5 5 0 5 5 5 0 3 0 1 2 0 3 3 1 0 1 5 2 1 5 5 5 5 4 2 5 5 5 1 5 5 5 5 0 5 5 3 2 0 3 4 0 5 0 3 0 5 0 1 5 5 5 5 1 0 1 5 3 1 5 3 5 5 4 2 5 5 5 1 5 5 5 5 0 5 5 3 2 0 3 4 0 1 1 3 0 5 0 1 5 5 5 5 1 0 2 5 3 5 2 3 5 5 4 2 2 5 5 1 5 1 3 5 1 0 0 3 2 0 3 4 0 1 1 3 0 5 0 2 5 5 5 5 3 0 3 5 5 5 2 3 5 0 4 5 2 0 1 5 5 1 3 5 1 0 0 3 5 5 3 4 5 1 1 5 5 0 5 5 0 5 5 4 5 5 3 5 5 5 2 3 1 3 5 5 1 0 1 5 0 1 3 5 4 0 5 3 5 5 3 5 5 1 4 5 5 0 5 5 2 5 5 4 5 5 5 5 5 3 2 3 2 3 5 5 5 1 1 1 0 1 3 2 5 0 5 5 2 3 5 5 0 1 5 1 0 3 0 1 5 0 2 5 3 0 5 4 5 3 2 5 5 3 5 5 5 1 1 1 0 3 5 2 5 5 0 5 2 3 5 5 0 5 5 1 0 3 0 1 5 0 2 5 3 0 5 4 2 3 5 5 5 5 5 5 5 5 5 5 5 5 5 2 5 5 1 0 2 3 5 0 5 5 5 5 5 3 5 5 5 0 2 5 3 0 5 5 2 3 5 5 5 5 5 5 5 5 5 5 5 5 3 2 5 3 1 1 3 3 5 0 5 5 5 5 5 5 5 5 5 0 2 5 3 0 5 5 1 3 5 0 1 3 1 0 5 1 1 1 2 5 3 2 0 3 4 1 3 5 0 5 0 5 0 3 4 5 0 5 2 0 2 5 5 5 2 5 5 5 5 0 1 3 1 0 2 1 4 1 2 0 3 5 0 3 5 5 5 5 1 5 0 5 0 3 4 5 0 5 3 5 5 5 5 5 2 0 5 5 5 0 2 4 1 4 2 5 4 5 2 0 3 5 0 3 5 5 5 0 1 0 0 5 0 3 5 1 0 3 5 5 5 3 1 0 5 0 2 1 5 0 2 5 1 4 5 5 5 5 5 0 5 2 4 3 5 2 3 0 2 1 0 1 4 3 5 1 0 3 5 5 5 3 2 0 5 0 3 1 0 0 3 5 1 4 5 1 5 4 5 0 5 3 4 5 0 2 3 0 2 1 0 1 4 3 2 1 0 3 2 0 0 3 2 5 2 0 3 5 0 5 5 0 5 5 2 1 1 4 2 5 5 5 5 5 0 5 5 5 5 5 5 5 5 5 2 1 5 5 2 0 0 3 5 5 1 4 5 5 0 5 5 0 5 5 1 1 3 5 2 5 5 5 5 5 0 5 5 5 5 5 5 5 5 5 1 1 5 5 2 0 0 3 5 5 1 5 5 1 0 0 5 3 5 5 1 1 3 5 1 0 5 5 5 5 2 1 2 0 2 1 5 5 5 5 1 5 0 5 3 5 2 5 4 0 2 5 0 1 0 0 5 4 5 5 2 5 5 1 2 0 5 5 5 5 2 1 3 0 3 1 5 5 5 1 4 5 0 5 3 5 2 5 4 0 5 5 0 1 5 5 2 4 1 0 2 5 5 1 2 5 5 5 0 5 5 1 3 0 5 1 5 1 0 3 5 3 5 2 5 0 5 3 4 0 5 0 0 1 5 5 2 5 1 2 5 0 5 4 5 5 3 0 0 5 5 3 3 0 5 4 0 1 0 5 5 3 5 2 5 0 5 3 5 0 3 0 0 1 5 0 2 5 1 2 5 1 3 5 5 5 3 2 0 0 5 3 3 0 2 5 0 1 1 5 5 5 0 2 3 0 5 4 5 0 4 0 3 5 0 0 1 3 1 2 1 1 4 5 3 0 3 2 0 0 5 5 5 5 2 5 0 1 1 3 5 5 0 2 3 5 5 5 5 5 5 4 5 5 0 0 1 3 1 2 1 1 5 5 3 0 3 2 0 0 5 5 5 5 2 5 5 1 1 3 5 5 5 2 3 5 5 5 5 5 5 4 5 0 12 0 5 0 11 7 0 6 4 0 11 12 0 0 5 0 11 0 6 8 1 2 11 4 0 0 9 3 12 0 10 0 1 5 12 3 0 9 0 3 13 0 7 9 0 0 12 5 11 0 0 0 12 0 6 0 5 5 12 0 10 0 0 5 13 3 1 9 3 0 12 9 6 0 1 0 12 0 0 0 17 0 11 1 0 9 6 0 12 10 2 0 0 3 13 12 0 0 5 0 11 6 3 3 0 3 13 2 5 3 7 0 11 0 0 9 9 0 10 14 0 0 4 0 10 3 2 6 6 0 11 3 8 0 0 5 12 15 1 0 0 0 12 0 16 0 0 0 12 6 6 0 0 3 13 0 4 0 12 0 12 8 2 2 0 3 13 2 5 0 10 0 11 16 0 0 0 0 12 0 5 8 3 0 12 3 0 6 6 0 13 15 0 0 0 0 13 3 0 7 5 0 13 1 2 0 8 3 14 0 4 4 5 3 12 17 0 0 0 0 11 0 4 5 5 1 13 9 0 0 0 5 14 4 2 5 5 0 12 7 4 6 7 1 15 9 6 6 8 2 9 7 6 3 6 2 16 6 4 1 7 3 19 7 5 4 6 1 17 7 5 2 4 2 20 6 6 3 5 2 18 7 5 5 7 2 14 6 5 2 5 3 19 4 5 2 5 3 21 7 7 5 7 1 13 7 5 5 6 1 16 4 1 4 4 0 27 3 3 2 6 0 26 8 6 5 6 2 13 8 5 3 5 2 17 10 4 4 5 3 14 7 5 5 6 3 14 10 6 6 7 4 7 5 4 4 1 2 24 5 5 2 2 0 26 7 7 5 3 1 17 7 5 4 3 3 18 8 6 4 4 2 16 10 3 3 6 2 16 9 5 5 6 2 13 7 6 4 5 2 16 5 6 4 5 1 19 1 1 0 0 0 0 1 1 1 0 0 1 0 0 0 1 0 0 1 1 1 0 0 1 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 1 0 1 0 0 0 1 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 0 1 1 0 1 1 0 0 1 1 0 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 0 0 1 1 1 1 0 0 0 0 2 2 0 0 0 3 2 2 2 0 0 1 1 0 0 0 0 2 2 3 0 0 1 0 0 0 2 0 0 3 3 0 0 0 0 0 0 0 2 0 0 1 1 1 0 2 0 0 1 0 3 3 0 0 3 0 1 0 0 3 0 0 0 1 1 1 2 2 0 0 0 0 2 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 3 3 0 0 0 3 3 0 0 0 3 3 0 0 2 0 0 2 2 0 0 0 0 0 0 0 0 2 0 3 0 0 3 1 1 0 0 2 2 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 2 2 0 0 0 0 0 3 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 4 1 0 2 0 0 1 1 200 0 0 0 0 0 200 0 1 0 1 0 0 0 0 0 0 0 200 200 100 0 0 0 400 0 100 0 1 0 0 1 0 0 200 0 300 0 100 0 200 0 100 0 2 0 2 2 0 1 0 0 0 0 0 0 0 0 100 400 100 300 300 0 400 200 500 200 100 0 0 0 0 100 0 0 1 0 200 100 1 0 1 0 100 200 0 0 1 0 0 0 2 0 3 0 1 0 2 0 100 100 100 400 100 0 200 0 400 500 200 0 1 2 100 400 0 0 1 100 200 300 0 0 4 1 300 200 0 0 2 0 0 100 1 0 2 0 0 100 0 0 0 0 0 200 0 0 200 0 0 100 0 0 </values> 2400.05/2385.90 v </instantiation> 2400.05/2385.90 c Unexpected resolution interruption!
OK 10181
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 (8596 MiB free)
memory of node 1: 16384 MiB (11134 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292359-1532281470/watcher-4292359-1532281470 -o /tmp/evaluation-result-4292359-1532281470/solver-4292359-1532281470 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532278959-4650 --watchdog 2560 HOME/xcsp3-exec -seed 1183944012 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292359-1532281470.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=5033, runsolver pid=5030
[startup+0.102551 s]*
/proc/loadavg: 2.18 1.89 1.82 3/217 5049
/proc/meminfo: memFree=20186832/32770624 swapFree=67108860/67108860
[pid=5033] ppid=5030 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5033/stat : 5033 (xcsp3-exec) S 5030 5033 1778 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 45710179 115843072 364 33554432000 4194304 5098028 140724752509312 140724752507416 140033199796860 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24477696 140724752512058 140724752512260 140724752512260 140724752515018 0
/proc/5033/statm: 28282 364 306 221 0 87 0
[pid=5035] ppid=5033 vsize=14082840 memory=29000 CPUtime=0.13 cores=0,2,4,6
/proc/5035/stat : 5035 (java) S 5033 5033 1778 0 -1 1077944320 5616 0 0 0 11 2 0 0 20 0 15 0 45710179 14420828160 7250 33554432000 4194304 4196468 140736066680064 140736066662608 140658647408375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
/proc/5035/statm: 3520710 7250 3003 1 0 3483008 0
[pid=5035/tid=5036] ppid=5033 vsize=14082840 memory=8261754145389908827 CPUtime=0.09 cores=0,2,4,6
/proc/5035/task/5036/stat : 5036 (java) R 5033 5033 1778 0 -1 4202560 3622 0 0 0 8 1 0 0 20 0 15 0 45710180 14420828160 7315 33554432000 4194304 4196468 140736066680064 140658651640032 140658627119008 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5037] ppid=5033 vsize=14082840 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5037/stat : 5037 (java) S 5033 5033 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45710180 14420828160 7315 33554432000 4194304 4196468 140736066680064 140658577496848 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5038] ppid=5033 vsize=14082840 memory=140391749817984 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5038/stat : 5038 (java) S 5033 5033 1778 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45710180 14420828160 7315 33554432000 4194304 4196468 140736066680064 140658576444304 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5039] ppid=5033 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5039/stat : 5039 (java) S 5033 5033 1778 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45710180 14420828160 7315 33554432000 4194304 4196468 140736066680064 140658575391760 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5040] ppid=5033 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5040/stat : 5040 (java) S 5033 5033 1778 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45710180 14420828160 7315 33554432000 4194304 4196468 140736066680064 140658574339216 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5041] ppid=5033 vsize=14082840 memory=140391749817984 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5041/stat : 5041 (java) S 5033 5033 1778 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45710182 14420828160 7315 33554432000 4194304 4196468 140736066680064 140657760913392 140658647419522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5042] ppid=5033 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5042/stat : 5042 (java) S 5033 5033 1778 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45710182 14420828160 7315 33554432000 4194304 4196468 140736066680064 140657759859616 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5043] ppid=5033 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5043/stat : 5043 (java) S 5033 5033 1778 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45710182 14420828160 7315 33554432000 4194304 4196468 140736066680064 140657758807024 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5044] ppid=5033 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5044/stat : 5044 (java) S 5033 5033 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45710185 14420828160 7315 33554432000 4194304 4196468 140736066680064 140657757755600 140658647426971 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5045] ppid=5033 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5045/stat : 5045 (java) S 5033 5033 1778 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 45710185 14420828160 7381 33554432000 4194304 4196468 140736066680064 140657756703216 140658647419522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5046] ppid=5033 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5046/stat : 5046 (java) S 5033 5033 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45710185 14420828160 7381 33554432000 4194304 4196468 140736066680064 140657755650672 140658647419522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5047] ppid=5033 vsize=14082840 memory=140391749817984 CPUtime=0.01 cores=0,2,4,6
/proc/5035/task/5047/stat : 5047 (java) R 5033 5033 1778 0 -1 4202560 332 0 0 0 1 0 0 0 20 0 15 0 45710185 14420828160 7381 33554432000 4194304 4196468 140736066680064 140657754598128 140658626349843 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5048] ppid=5033 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5048/stat : 5048 (java) S 5033 5033 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45710185 14420828160 7381 33554432000 4194304 4196468 140736066680064 140657753545824 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5049] ppid=5033 vsize=14082840 memory=140391749817984 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5049/stat : 5049 (java) S 5033 5033 1778 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45710185 14420828160 7381 33554432000 4194304 4196468 140736066680064 140657752492336 140658647419522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 30456 KiB
[startup+0.21072 s]*
/proc/loadavg: 2.18 1.89 1.82 4/217 5049
/proc/meminfo: memFree=20176660/32770624 swapFree=67108860/67108860
[pid=5033] ppid=5030 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5033/stat : 5033 (xcsp3-exec) S 5030 5033 1778 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 45710179 115843072 364 33554432000 4194304 5098028 140724752509312 140724752507416 140033199796860 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24477696 140724752512058 140724752512260 140724752512260 140724752515018 0
/proc/5033/statm: 28282 364 306 221 0 87 0
[pid=5035] ppid=5033 vsize=14082840 memory=40340 CPUtime=0.34 cores=0,2,4,6
/proc/5035/stat : 5035 (java) S 5033 5033 1778 0 -1 1077944320 8136 0 0 0 31 3 0 0 20 0 15 0 45710179 14420828160 10085 33554432000 4194304 4196468 140736066680064 140736066662608 140658647408375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
/proc/5035/statm: 3520710 10085 3187 1 0 3483008 0
[pid=5035/tid=5036] ppid=5033 vsize=14082840 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/5035/task/5036/stat : 5036 (java) R 5033 5033 1778 0 -1 4202560 5408 0 0 0 18 2 0 0 20 0 15 0 45710180 14420828160 10085 33554432000 4194304 4196468 140736066680064 140658651643360 140658631488862 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5037] ppid=5033 vsize=14082840 memory=11615 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5037/stat : 5037 (java) S 5033 5033 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45710180 14420828160 10085 33554432000 4194304 4196468 140736066680064 140658577496848 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5038] ppid=5033 vsize=14082840 memory=3763232356130133664 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5038/stat : 5038 (java) S 5033 5033 1778 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45710180 14420828160 10085 33554432000 4194304 4196468 140736066680064 140658576444304 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5039] ppid=5033 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5039/stat : 5039 (java) S 5033 5033 1778 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45710180 14420828160 10085 33554432000 4194304 4196468 140736066680064 140658575391760 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5040] ppid=5033 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5040/stat : 5040 (java) S 5033 5033 1778 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45710180 14420828160 10085 33554432000 4194304 4196468 140736066680064 140658574339216 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5041] ppid=5033 vsize=14082840 memory=140391749817984 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5041/stat : 5041 (java) S 5033 5033 1778 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 45710182 14420828160 10085 33554432000 4194304 4196468 140736066680064 140657760913392 140658647419522 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5042] ppid=5033 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5042/stat : 5042 (java) S 5033 5033 1778 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45710182 14420828160 10085 33554432000 4194304 4196468 140736066680064 140657759859616 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5043] ppid=5033 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5043/stat : 5043 (java) S 5033 5033 1778 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45710182 14420828160 10085 33554432000 4194304 4196468 140736066680064 140657758807024 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5044] ppid=5033 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5044/stat : 5044 (java) S 5033 5033 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45710185 14420828160 10085 33554432000 4194304 4196468 140736066680064 140657757755600 140658647426971 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5045] ppid=5033 vsize=14082840 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/5035/task/5045/stat : 5045 (java) S 5033 5033 1778 0 -1 1077944384 612 0 0 0 3 0 0 0 20 0 15 0 45710185 14420828160 10085 33554432000 4194304 4196468 140736066680064 140657756703216 140658647419522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5046] ppid=5033 vsize=14082840 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/5035/task/5046/stat : 5046 (java) S 5033 5033 1778 0 -1 1077944384 110 0 0 0 1 0 0 0 20 0 15 0 45710185 14420828160 10085 33554432000 4194304 4196468 140736066680064 140657755650672 140658647419522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5047] ppid=5033 vsize=14082840 memory=140391749817984 CPUtime=0.08 cores=0,2,4,6
/proc/5035/task/5047/stat : 5047 (java) S 5033 5033 1778 0 -1 1077944384 709 0 0 0 8 0 0 0 20 0 15 0 45710185 14420828160 10085 33554432000 4194304 4196468 140736066680064 140657754598128 140658647419522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5048] ppid=5033 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5048/stat : 5048 (java) S 5033 5033 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45710185 14420828160 10085 33554432000 4194304 4196468 140736066680064 140657753545824 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5049] ppid=5033 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5049/stat : 5049 (java) S 5033 5033 1778 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45710185 14420828160 10085 33554432000 4194304 4196468 140736066680064 140657752492336 140658647419522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 41796 KiB
[startup+0.310581 s]*
/proc/loadavg: 2.18 1.89 1.82 3/217 5049
/proc/meminfo: memFree=20170332/32770624 swapFree=67108860/67108860
[pid=5033] ppid=5030 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5033/stat : 5033 (xcsp3-exec) S 5030 5033 1778 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 45710179 115843072 364 33554432000 4194304 5098028 140724752509312 140724752507416 140033199796860 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24477696 140724752512058 140724752512260 140724752512260 140724752515018 0
/proc/5033/statm: 28282 364 306 221 0 87 0
[pid=5035] ppid=5033 vsize=14087096 memory=47572 CPUtime=0.51 cores=0,2,4,6
/proc/5035/stat : 5035 (java) S 5033 5033 1778 0 -1 1077944320 9024 0 0 0 47 4 0 0 20 0 15 0 45710179 14425186304 11893 33554432000 4194304 4196468 140736066680064 140736066662608 140658647408375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
/proc/5035/statm: 3521774 11893 3234 1 0 3483008 0
[pid=5035/tid=5036] ppid=5033 vsize=14087096 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/5035/task/5036/stat : 5036 (java) R 5033 5033 1778 0 -1 4202560 6122 0 0 0 26 3 0 0 20 0 15 0 45710180 14425186304 11893 33554432000 4194304 4196468 140736066680064 140658651643648 140658631488862 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5037] ppid=5033 vsize=14087096 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5037/stat : 5037 (java) S 5033 5033 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45710180 14425186304 11893 33554432000 4194304 4196468 140736066680064 140658577496848 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5038] ppid=5033 vsize=14087096 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5038/stat : 5038 (java) S 5033 5033 1778 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45710180 14425186304 11893 33554432000 4194304 4196468 140736066680064 140658576444304 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5039] ppid=5033 vsize=14087096 memory=-6935123839545469842 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5039/stat : 5039 (java) S 5033 5033 1778 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45710180 14425186304 11893 33554432000 4194304 4196468 140736066680064 140658575391760 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5040] ppid=5033 vsize=14087096 memory=-6956776531347661416 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5040/stat : 5040 (java) S 5033 5033 1778 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45710180 14425186304 11893 33554432000 4194304 4196468 140736066680064 140658574339216 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5041] ppid=5033 vsize=14087096 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5041/stat : 5041 (java) S 5033 5033 1778 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 45710182 14425186304 11893 33554432000 4194304 4196468 140736066680064 140657760913392 140658647419522 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5042] ppid=5033 vsize=14087096 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5042/stat : 5042 (java) S 5033 5033 1778 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45710182 14425186304 11893 33554432000 4194304 4196468 140736066680064 140657759859616 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5043] ppid=5033 vsize=14087096 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5043/stat : 5043 (java) S 5033 5033 1778 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45710182 14425186304 11893 33554432000 4194304 4196468 140736066680064 140657758807024 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5044] ppid=5033 vsize=14087096 memory=-8412660965215072671 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5044/stat : 5044 (java) S 5033 5033 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45710185 14425186304 11893 33554432000 4194304 4196468 140736066680064 140657757755600 140658647426971 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5045] ppid=5033 vsize=14087096 memory=-7384621950708166502 CPUtime=0.04 cores=0,2,4,6
/proc/5035/task/5045/stat : 5045 (java) S 5033 5033 1778 0 -1 1077944384 618 0 0 0 4 0 0 0 20 0 15 0 45710185 14425186304 11893 33554432000 4194304 4196468 140736066680064 140657756703216 140658647419522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5046] ppid=5033 vsize=14087096 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/5035/task/5046/stat : 5046 (java) S 5033 5033 1778 0 -1 1077944384 138 0 0 0 3 0 0 0 20 0 15 0 45710185 14425186304 11893 33554432000 4194304 4196468 140736066680064 140657755650672 140658647419522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5047] ppid=5033 vsize=14087096 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/5035/task/5047/stat : 5047 (java) S 5033 5033 1778 0 -1 1077944384 851 0 0 0 12 0 0 0 20 0 15 0 45710185 14425186304 11893 33554432000 4194304 4196468 140736066680064 140657754598128 140658647419522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5048] ppid=5033 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5048/stat : 5048 (java) S 5033 5033 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45710185 14425186304 11893 33554432000 4194304 4196468 140736066680064 140657753545824 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5049] ppid=5033 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5049/stat : 5049 (java) S 5033 5033 1778 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45710185 14425186304 11893 33554432000 4194304 4196468 140736066680064 140657752492336 140658647419522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 49028 KiB
[startup+0.700888 s]
/proc/loadavg: 2.18 1.89 1.82 6/217 5049
/proc/meminfo: memFree=20148312/32770624 swapFree=67108860/67108860
[pid=5033] ppid=5030 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5033/stat : 5033 (xcsp3-exec) S 5030 5033 1778 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 45710179 115843072 364 33554432000 4194304 5098028 140724752509312 140724752507416 140033199796860 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24477696 140724752512058 140724752512260 140724752512260 140724752515018 0
/proc/5033/statm: 28282 364 306 221 0 87 0
[pid=5035] ppid=5033 vsize=14089220 memory=97792 CPUtime=1.73 cores=0,2,4,6
/proc/5035/stat : 5035 (java) S 5033 5033 1778 0 -1 1077944320 12909 0 0 0 168 5 0 0 20 0 15 0 45710179 14427361280 24448 33554432000 4194304 4196468 140736066680064 140736066662608 140658647408375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
/proc/5035/statm: 3522305 24448 3330 1 0 3483520 0
[pid=5035/tid=5036] ppid=5033 vsize=14089220 memory=3472328296227679313 CPUtime=0.67 cores=0,2,4,6
/proc/5035/task/5036/stat : 5036 (java) R 5033 5033 1778 0 -1 4202560 6664 0 0 0 63 4 0 0 20 0 15 0 45710180 14427361280 24448 33554432000 4194304 4196468 140736066680064 140658651640600 140658252918210 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5037] ppid=5033 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5037/stat : 5037 (java) S 5033 5033 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45710180 14427361280 24448 33554432000 4194304 4196468 140736066680064 140658577496848 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5038] ppid=5033 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5038/stat : 5038 (java) S 5033 5033 1778 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45710180 14427361280 24448 33554432000 4194304 4196468 140736066680064 140658576444304 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5039] ppid=5033 vsize=14089220 memory=15360 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5039/stat : 5039 (java) S 5033 5033 1778 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45710180 14427361280 24448 33554432000 4194304 4196468 140736066680064 140658575391760 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5040] ppid=5033 vsize=14089220 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5040/stat : 5040 (java) S 5033 5033 1778 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45710180 14427361280 24448 33554432000 4194304 4196468 140736066680064 140658574339216 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5041] ppid=5033 vsize=14089220 memory=2412 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5041/stat : 5041 (java) S 5033 5033 1778 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 45710182 14427361280 24448 33554432000 4194304 4196468 140736066680064 140657760913392 140658647419522 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5042] ppid=5033 vsize=14089220 memory=1836 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5042/stat : 5042 (java) S 5033 5033 1778 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45710182 14427361280 24448 33554432000 4194304 4196468 140736066680064 140657759859616 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5043] ppid=5033 vsize=14089220 memory=792 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5043/stat : 5043 (java) S 5033 5033 1778 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45710182 14427361280 24448 33554432000 4194304 4196468 140736066680064 140657758807024 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5044] ppid=5033 vsize=14089220 memory=1960 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5044/stat : 5044 (java) S 5033 5033 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45710185 14427361280 24448 33554432000 4194304 4196468 140736066680064 140657757755600 140658647426971 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5045] ppid=5033 vsize=14089220 memory=5380 CPUtime=0.35 cores=0,2,4,6
/proc/5035/task/5045/stat : 5045 (java) R 5033 5033 1778 0 -1 4202560 1768 0 0 0 35 0 0 0 20 0 15 0 45710185 14427361280 24448 33554432000 4194304 4196468 140736066680064 140657756696240 140658632288056 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5046] ppid=5033 vsize=14089220 memory=4616 CPUtime=0.31 cores=0,2,4,6
/proc/5035/task/5046/stat : 5046 (java) R 5033 5033 1778 0 -1 4202560 1019 0 0 0 31 0 0 0 20 0 15 0 45710185 14427361280 24448 33554432000 4194304 4196468 140736066680064 140657755649856 140658627574128 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5047] ppid=5033 vsize=14089220 memory=1232 CPUtime=0.37 cores=0,2,4,6
/proc/5035/task/5047/stat : 5047 (java) S 5033 5033 1778 0 -1 1077944384 2146 0 0 0 37 0 0 0 20 0 15 0 45710185 14427361280 24448 33554432000 4194304 4196468 140736066680064 140657754598128 140658647419522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5048] ppid=5033 vsize=14089220 memory=11964 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5048/stat : 5048 (java) S 5033 5033 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45710185 14427361280 24448 33554432000 4194304 4196468 140736066680064 140657753545824 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5049] ppid=5033 vsize=14089220 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5049/stat : 5049 (java) S 5033 5033 1778 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45710185 14427361280 24448 33554432000 4194304 4196468 140736066680064 140657752492336 140658647419522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 99248 KiB
[startup+1.50091 s]
/proc/loadavg: 2.18 1.89 1.82 6/217 5049
/proc/meminfo: memFree=20082164/32770624 swapFree=67108860/67108860
[pid=5033] ppid=5030 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5033/stat : 5033 (xcsp3-exec) S 5030 5033 1778 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 45710179 115843072 364 33554432000 4194304 5098028 140724752509312 140724752507416 140033199796860 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24477696 140724752512058 140724752512260 140724752512260 140724752515018 0
/proc/5033/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/5035/task/5043/stat : 5043 (java) S 5033 5033 1778 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 15 0 45710182 14429458432 65747 33554432000 4194304 4196468 140736066680064 140657758807040 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5044] ppid=5033 vsize=14091268 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5044/stat : 5044 (java) S 5033 5033 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45710185 14429458432 65747 33554432000 4194304 4196468 140736066680064 140657757755600 140658647426971 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5045] ppid=5033 vsize=14091268 memory=1456 CPUtime=4.77 cores=0,2,4,6
/proc/5035/task/5045/stat : 5045 (java) S 5033 5033 1778 0 -1 1077944384 24874 0 0 0 474 3 0 0 20 0 15 0 45710185 14429458432 65747 33554432000 4194304 4196468 140736066680064 140657756703216 140658647419522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5046] ppid=5033 vsize=14091268 memory=1232 CPUtime=4.9 cores=0,2,4,6
/proc/5035/task/5046/stat : 5046 (java) S 5033 5033 1778 0 -1 1077944384 26856 0 0 0 486 4 0 0 20 0 15 0 45710185 14429458432 65747 33554432000 4194304 4196468 140736066680064 140657755650672 140658647419522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5047] ppid=5033 vsize=14091268 memory=1456 CPUtime=1.08 cores=0,2,4,6
/proc/5035/task/5047/stat : 5047 (java) S 5033 5033 1778 0 -1 1077944384 15745 0 0 0 106 2 0 0 20 0 15 0 45710185 14429458432 65747 33554432000 4194304 4196468 140736066680064 140657754598128 140658647419522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5048] ppid=5033 vsize=14091268 memory=262988 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5048/stat : 5048 (java) S 5033 5033 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45710185 14429458432 65747 33554432000 4194304 4196468 140736066680064 140657753545824 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5049] ppid=5033 vsize=14091268 memory=1456 CPUtime=0.74 cores=0,2,4,6
/proc/5035/task/5049/stat : 5049 (java) S 5033 5033 1778 0 -1 1077944384 951 0 0 0 33 41 0 0 20 0 15 0 45710185 14429458432 65747 33554432000 4194304 4196468 140736066680064 140657752492336 140658647419522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
Current children cumulated CPU time: 2336.21 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 264444 KiB
[startup+2382.3 s]
/proc/loadavg: 1.66 1.81 1.90 3/217 5297
/proc/meminfo: memFree=19915336/32770624 swapFree=67108860/67108860
[pid=5033] ppid=5030 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5033/stat : 5033 (xcsp3-exec) S 5030 5033 1778 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 45710179 115843072 364 33554432000 4194304 5098028 140724752509312 140724752507416 140033199796860 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24477696 140724752512058 140724752512260 140724752512260 140724752515018 0
/proc/5033/statm: 28282 364 306 221 0 87 0
[pid=5035] ppid=5033 vsize=14091268 memory=265036 CPUtime=2396.44 cores=0,2,4,6
/proc/5035/stat : 5035 (java) S 5033 5033 1778 0 -1 1077944320 121758 0 0 0 239575 69 0 0 20 0 15 0 45710179 14429458432 66259 33554432000 4194304 4196468 140736066680064 140736066662608 140658647408375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
/proc/5035/statm: 3522817 66259 3408 1 0 3484032 0
[pid=5035/tid=5036] ppid=5033 vsize=14091268 memory=265036 CPUtime=2380.82 cores=0,2,4,6
/proc/5035/task/5036/stat : 5036 (java) R 5033 5033 1778 0 -1 4202560 27691 0 0 0 238073 9 0 0 20 0 15 0 45710180 14429458432 66259 33554432000 4194304 4196468 140736066680064 140658651647824 140658258932863 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5037] ppid=5033 vsize=14091268 memory=265036 CPUtime=0.92 cores=0,2,4,6
/proc/5035/task/5037/stat : 5037 (java) S 5033 5033 1778 0 -1 1077944384 5719 0 0 0 88 4 0 0 20 0 15 0 45710180 14429458432 66259 33554432000 4194304 4196468 140736066680064 140658577496848 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5038] ppid=5033 vsize=14091268 memory=265036 CPUtime=0.93 cores=0,2,4,6
/proc/5035/task/5038/stat : 5038 (java) S 5033 5033 1778 0 -1 1077944384 3795 0 0 0 88 5 0 0 20 0 15 0 45710180 14429458432 66259 33554432000 4194304 4196468 140736066680064 140658576444304 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5039] ppid=5033 vsize=14091268 memory=265036 CPUtime=0.93 cores=0,2,4,6
/proc/5035/task/5039/stat : 5039 (java) S 5033 5033 1778 0 -1 1077944384 5292 0 0 0 87 6 0 0 20 0 15 0 45710180 14429458432 66259 33554432000 4194304 4196468 140736066680064 140658575391760 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5040] ppid=5033 vsize=14091268 memory=265036 CPUtime=0.93 cores=0,2,4,6
/proc/5035/task/5040/stat : 5040 (java) S 5033 5033 1778 0 -1 1077944384 3729 0 0 0 89 4 0 0 20 0 15 0 45710180 14429458432 66259 33554432000 4194304 4196468 140736066680064 140658574339216 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5041] ppid=5033 vsize=14091268 memory=265036 CPUtime=0.31 cores=0,2,4,6
/proc/5035/task/5041/stat : 5041 (java) S 5033 5033 1778 0 -1 1077944384 5576 0 0 0 28 3 0 0 20 0 15 0 45710182 14429458432 66259 33554432000 4194304 4196468 140736066680064 140657760913392 140658647419522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5042] ppid=5033 vsize=14091268 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5042/stat : 5042 (java) S 5033 5033 1778 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 45710182 14429458432 66259 33554432000 4194304 4196468 140736066680064 140657759859680 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5043] ppid=5033 vsize=14091268 memory=265036 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5043/stat : 5043 (java) S 5033 5033 1778 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 15 0 45710182 14429458432 66259 33554432000 4194304 4196468 140736066680064 140657758807040 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5044] ppid=5033 vsize=14091268 memory=265036 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5044/stat : 5044 (java) S 5033 5033 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45710185 14429458432 66259 33554432000 4194304 4196468 140736066680064 140657757755600 140658647426971 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5045] ppid=5033 vsize=14091268 memory=4140 CPUtime=4.77 cores=0,2,4,6
/proc/5035/task/5045/stat : 5045 (java) S 5033 5033 1778 0 -1 1077944384 24977 0 0 0 474 3 0 0 20 0 15 0 45710185 14429458432 66259 33554432000 4194304 4196468 140736066680064 140657756703216 140658647419522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5046] ppid=5033 vsize=14091268 memory=4140 CPUtime=4.9 cores=0,2,4,6
/proc/5035/task/5046/stat : 5046 (java) S 5033 5033 1778 0 -1 1077944384 26856 0 0 0 486 4 0 0 20 0 15 0 45710185 14429458432 66259 33554432000 4194304 4196468 140736066680064 140657755650672 140658647419522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5047] ppid=5033 vsize=14091268 memory=15440 CPUtime=1.08 cores=0,2,4,6
/proc/5035/task/5047/stat : 5047 (java) S 5033 5033 1778 0 -1 1077944384 15745 0 0 0 106 2 0 0 20 0 15 0 45710185 14429458432 66259 33554432000 4194304 4196468 140736066680064 140657754598128 140658647419522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5048] ppid=5033 vsize=14091268 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5048/stat : 5048 (java) S 5033 5033 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45710185 14429458432 66259 33554432000 4194304 4196468 140736066680064 140657753545824 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5049] ppid=5033 vsize=14091268 memory=1456 CPUtime=0.77 cores=0,2,4,6
/proc/5035/task/5049/stat : 5049 (java) S 5033 5033 1778 0 -1 1077944384 955 0 0 0 35 42 0 0 20 0 15 0 45710185 14429458432 66259 33554432000 4194304 4196468 140736066680064 140657752492336 140658647419522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
Current children cumulated CPU time: 2396.44 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 266492 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2385.9 s]
/proc/loadavg: 1.66 1.81 1.90 3/217 5297
/proc/meminfo: memFree=19915336/32770624 swapFree=67108860/67108860
[pid=5033] ppid=5030 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5033/stat : 5033 (xcsp3-exec) S 5030 5033 1778 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 45710179 115843072 364 33554432000 4194304 5098028 140724752509312 140724752507416 140033199796860 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24477696 140724752512058 140724752512260 140724752512260 140724752515018 0
/proc/5033/statm: 28282 364 306 221 0 87 0
[pid=5035] ppid=5033 vsize=14091268 memory=265036 CPUtime=2400.05 cores=0,2,4,6
/proc/5035/stat : 5035 (java) S 5033 5033 1778 0 -1 1077944320 121759 0 0 0 239936 69 0 0 20 0 15 0 45710179 14429458432 66259 33554432000 4194304 4196468 140736066680064 140736066662608 140658647408375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
/proc/5035/statm: 3522817 66259 3408 1 0 3484032 0
[pid=5035/tid=5036] ppid=5033 vsize=14091268 memory=265036 CPUtime=2384.41 cores=0,2,4,6
/proc/5035/task/5036/stat : 5036 (java) R 5033 5033 1778 0 -1 4202560 27692 0 0 0 238432 9 0 0 20 0 15 0 45710180 14429458432 66259 33554432000 4194304 4196468 140736066680064 140658651648160 140658259000931 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5037] ppid=5033 vsize=14091268 memory=265036 CPUtime=0.92 cores=0,2,4,6
/proc/5035/task/5037/stat : 5037 (java) S 5033 5033 1778 0 -1 1077944384 5719 0 0 0 88 4 0 0 20 0 15 0 45710180 14429458432 66259 33554432000 4194304 4196468 140736066680064 140658577496848 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5038] ppid=5033 vsize=14091268 memory=265036 CPUtime=0.93 cores=0,2,4,6
/proc/5035/task/5038/stat : 5038 (java) S 5033 5033 1778 0 -1 1077944384 3795 0 0 0 88 5 0 0 20 0 15 0 45710180 14429458432 66259 33554432000 4194304 4196468 140736066680064 140658576444304 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5039] ppid=5033 vsize=14091268 memory=265036 CPUtime=0.93 cores=0,2,4,6
/proc/5035/task/5039/stat : 5039 (java) S 5033 5033 1778 0 -1 1077944384 5292 0 0 0 87 6 0 0 20 0 15 0 45710180 14429458432 66259 33554432000 4194304 4196468 140736066680064 140658575391760 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5040] ppid=5033 vsize=14091268 memory=265036 CPUtime=0.93 cores=0,2,4,6
/proc/5035/task/5040/stat : 5040 (java) S 5033 5033 1778 0 -1 1077944384 3729 0 0 0 89 4 0 0 20 0 15 0 45710180 14429458432 66259 33554432000 4194304 4196468 140736066680064 140658574339216 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5041] ppid=5033 vsize=14091268 memory=265036 CPUtime=0.31 cores=0,2,4,6
/proc/5035/task/5041/stat : 5041 (java) S 5033 5033 1778 0 -1 1077944384 5576 0 0 0 28 3 0 0 20 0 15 0 45710182 14429458432 66259 33554432000 4194304 4196468 140736066680064 140657760913392 140658647419522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5042] ppid=5033 vsize=14091268 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5042/stat : 5042 (java) S 5033 5033 1778 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 45710182 14429458432 66259 33554432000 4194304 4196468 140736066680064 140657759859680 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5043] ppid=5033 vsize=14091268 memory=265036 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5043/stat : 5043 (java) S 5033 5033 1778 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 15 0 45710182 14429458432 66259 33554432000 4194304 4196468 140736066680064 140657758807040 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5044] ppid=5033 vsize=14091268 memory=265036 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5044/stat : 5044 (java) S 5033 5033 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45710185 14429458432 66259 33554432000 4194304 4196468 140736066680064 140657757755600 140658647426971 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5045] ppid=5033 vsize=14091268 memory=4140 CPUtime=4.77 cores=0,2,4,6
/proc/5035/task/5045/stat : 5045 (java) S 5033 5033 1778 0 -1 1077944384 24977 0 0 0 474 3 0 0 20 0 15 0 45710185 14429458432 66259 33554432000 4194304 4196468 140736066680064 140657756703216 140658647419522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5046] ppid=5033 vsize=14091268 memory=1456 CPUtime=4.9 cores=0,2,4,6
/proc/5035/task/5046/stat : 5046 (java) S 5033 5033 1778 0 -1 1077944384 26856 0 0 0 486 4 0 0 20 0 15 0 45710185 14429458432 66259 33554432000 4194304 4196468 140736066680064 140657755650672 140658647419522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5047] ppid=5033 vsize=14091268 memory=1456 CPUtime=1.08 cores=0,2,4,6
/proc/5035/task/5047/stat : 5047 (java) S 5033 5033 1778 0 -1 1077944384 15745 0 0 0 106 2 0 0 20 0 15 0 45710185 14429458432 66259 33554432000 4194304 4196468 140736066680064 140657754598128 140658647419522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 22 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5048] ppid=5033 vsize=14091268 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5048/stat : 5048 (java) S 5033 5033 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45710185 14429458432 66259 33554432000 4194304 4196468 140736066680064 140657753545824 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5049] ppid=5033 vsize=14091268 memory=265036 CPUtime=0.77 cores=0,2,4,6
/proc/5035/task/5049/stat : 5049 (java) S 5033 5033 1778 0 -1 1077944384 955 0 0 0 35 42 0 0 20 0 15 0 45710185 14429458432 66259 33554432000 4194304 4196468 140736066680064 140657752492336 140658647419522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 266492 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2385.91 s]
# the end of solver process 5033 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.002139 s
[startup+2385.91 s]
# the end of solver process 5035 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.37 s, system=0.703364 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+2385.9 s]
/proc/loadavg: 1.66 1.81 1.90 3/217 5297
/proc/meminfo: memFree=19915336/32770624 swapFree=67108860/67108860
[pid=5033] ppid=5030 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5033/stat : 5033 (xcsp3-exec) S 5030 5033 1778 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 45710179 115843072 364 33554432000 4194304 5098028 140724752509312 140724752507416 140033199796860 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24477696 140724752512058 140724752512260 140724752512260 140724752515018 0
/proc/5033/statm: 28282 364 306 221 0 87 0
[pid=5035] ppid=5033 vsize=14091268 memory=265036 CPUtime=2400.05 cores=0,2,4,6
/proc/5035/stat : 5035 (java) S 5033 5033 1778 0 -1 1077944320 121759 0 0 0 239936 69 0 0 20 0 15 0 45710179 14429458432 66259 33554432000 4194304 4196468 140736066680064 140736066662608 140658647408375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
/proc/5035/statm: 3522817 66259 3408 1 0 3484032 0
[pid=5035/tid=5036] ppid=5033 vsize=14091268 memory=265036 CPUtime=2384.41 cores=0,2,4,6
/proc/5035/task/5036/stat : 5036 (java) R 5033 5033 1778 0 -1 4202560 27692 0 0 0 238432 9 0 0 20 0 15 0 45710180 14429458432 66259 33554432000 4194304 4196468 140736066680064 140658651648160 140658259000931 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5037] ppid=5033 vsize=14091268 memory=265036 CPUtime=0.92 cores=0,2,4,6
/proc/5035/task/5037/stat : 5037 (java) S 5033 5033 1778 0 -1 1077944384 5719 0 0 0 88 4 0 0 20 0 15 0 45710180 14429458432 66259 33554432000 4194304 4196468 140736066680064 140658577496848 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5038] ppid=5033 vsize=14091268 memory=265036 CPUtime=0.93 cores=0,2,4,6
/proc/5035/task/5038/stat : 5038 (java) S 5033 5033 1778 0 -1 1077944384 3795 0 0 0 88 5 0 0 20 0 15 0 45710180 14429458432 66259 33554432000 4194304 4196468 140736066680064 140658576444304 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5039] ppid=5033 vsize=14091268 memory=265036 CPUtime=0.93 cores=0,2,4,6
/proc/5035/task/5039/stat : 5039 (java) S 5033 5033 1778 0 -1 1077944384 5292 0 0 0 87 6 0 0 20 0 15 0 45710180 14429458432 66259 33554432000 4194304 4196468 140736066680064 140658575391760 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5040] ppid=5033 vsize=14091268 memory=265036 CPUtime=0.93 cores=0,2,4,6
/proc/5035/task/5040/stat : 5040 (java) S 5033 5033 1778 0 -1 1077944384 3729 0 0 0 89 4 0 0 20 0 15 0 45710180 14429458432 66259 33554432000 4194304 4196468 140736066680064 140658574339216 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5041] ppid=5033 vsize=14091268 memory=265036 CPUtime=0.31 cores=0,2,4,6
/proc/5035/task/5041/stat : 5041 (java) S 5033 5033 1778 0 -1 1077944384 5576 0 0 0 28 3 0 0 20 0 15 0 45710182 14429458432 66259 33554432000 4194304 4196468 140736066680064 140657760913392 140658647419522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5042] ppid=5033 vsize=14091268 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5042/stat : 5042 (java) S 5033 5033 1778 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 45710182 14429458432 66259 33554432000 4194304 4196468 140736066680064 140657759859680 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5043] ppid=5033 vsize=14091268 memory=265036 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5043/stat : 5043 (java) S 5033 5033 1778 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 15 0 45710182 14429458432 66259 33554432000 4194304 4196468 140736066680064 140657758807040 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5044] ppid=5033 vsize=14091268 memory=265036 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5044/stat : 5044 (java) S 5033 5033 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45710185 14429458432 66259 33554432000 4194304 4196468 140736066680064 140657757755600 140658647426971 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5045] ppid=5033 vsize=14091268 memory=4140 CPUtime=4.77 cores=0,2,4,6
/proc/5035/task/5045/stat : 5045 (java) S 5033 5033 1778 0 -1 1077944384 24977 0 0 0 474 3 0 0 20 0 15 0 45710185 14429458432 66259 33554432000 4194304 4196468 140736066680064 140657756703216 140658647419522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5046] ppid=5033 vsize=14091268 memory=1456 CPUtime=4.9 cores=0,2,4,6
/proc/5035/task/5046/stat : 5046 (java) S 5033 5033 1778 0 -1 1077944384 26856 0 0 0 486 4 0 0 20 0 15 0 45710185 14429458432 66259 33554432000 4194304 4196468 140736066680064 140657755650672 140658647419522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5047] ppid=5033 vsize=14091268 memory=1456 CPUtime=1.08 cores=0,2,4,6
/proc/5035/task/5047/stat : 5047 (java) S 5033 5033 1778 0 -1 1077944384 15745 0 0 0 106 2 0 0 20 0 15 0 45710185 14429458432 66259 33554432000 4194304 4196468 140736066680064 140657754598128 140658647419522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 22 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5048] ppid=5033 vsize=14091268 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5035/task/5048/stat : 5048 (java) S 5033 5033 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45710185 14429458432 66259 33554432000 4194304 4196468 140736066680064 140657753545824 140658647418581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
[pid=5035/tid=5049] ppid=5033 vsize=14091268 memory=265036 CPUtime=0.77 cores=0,2,4,6
/proc/5035/task/5049/stat : 5049 (java) S 5033 5033 1778 0 -1 1077944384 955 0 0 0 35 42 0 0 20 0 15 0 45710185 14429458432 66259 33554432000 4194304 4196468 140736066680064 140657752492336 140658647419522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24555520 140736066688129 140736066688305 140736066688305 140736066691023 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 266492 KiB
Child status: 143
Real time (s): 2385.91
CPU time (s): 2400.07
CPU user time (s): 2399.37
CPU system time (s): 0.703364
CPU usage (%): 100.594
Max. virtual memory (cumulated for all children) (KiB): 14207312
Max. memory (cumulated for all children) (KiB): 453044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.37
system time used= 0.703364
maximum resident set size= 451748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122580
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62068
involuntary context switches= 2347
# summary of solver processes directly reported to runsolver:
# pid: 5033,5035
# total CPU time (s): 2400.07
# total CPU user time (s): 2399.37
# total CPU system time (s): 0.703364
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5293 second user time and 22.6965 second system time
The end
Begin job on node104 at 2018-07-22 19:44:30 IDJOB=4292359 IDBENCH=141049 IDSOLVER=2747 FILE ID=node104/4292359-1532281470 RUNJOBID= node104-1532278959-4650 PBS_JOBID= 21018962 Free space on /tmp= 57224 MiB SOLVER NAME= Choco-solver 4.0.7 seq (493a269) BENCH NAME= XCSP18/NurseRostering/NurseRostering-10_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 11000 -p 1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292359-1532281470/watcher-4292359-1532281470 -o /tmp/evaluation-result-4292359-1532281470/solver-4292359-1532281470 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532278959-4650 --watchdog 2560 HOME/xcsp3-exec -seed 1183944012 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292359-1532281470.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8e8c57bbf90dbce08cf7a3cf301ec8dd RANDOM SEED=1183944012 node104.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.11 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: 20204852 kB MemAvailable: 30739672 kB Buffers: 242556 kB Cached: 10500328 kB SwapCached: 0 kB Active: 3081752 kB Inactive: 8912708 kB Active(anon): 1254212 kB Inactive(anon): 17088 kB Active(file): 1827540 kB Inactive(file): 8895620 kB Unevictable: 7176 kB Mlocked: 7176 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 20420 kB Writeback: 0 kB AnonPages: 1414592 kB Mapped: 48968 kB Shmem: 17036 kB Slab: 268504 kB SReclaimable: 240120 kB SUnreclaim: 28384 kB KernelStack: 3840 kB PageTables: 7320 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2445252 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1341440 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 57204 MiB End job on node104 at 2018-07-22 20:24:16