Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - Conflict Ordering with restarts 2018-07-02 | SAT (TO) | 7225 | 2400.07 | 2377.51 |
| Name | NurseRostering/ NurseRostering-07_c18.xml |
| MD5SUM | 39ce033b713bdbb29423ae6f53deb82d |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 5606 |
| Best CPU time to get the best result obtained on this benchmark | 2520.14 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1112 |
| Number of constraints | 2738 |
| Number of domains | 16 |
| Minimum domain size | 1 |
| Maximum domain size | 29 |
| Distribution of domain sizes | [{"size":1,"count":40},{"size":2,"count":248},{"size":4,"count":560},{"size":5,"count":3},{"size":10,"count":9},{"size":21,"count":196},{"size":29,"count":56}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 25 |
| Distribution of variable degrees | [{"degree":2,"count":472},{"degree":3,"count":80},{"degree":12,"count":5},{"degree":13,"count":15},{"degree":14,"count":19},{"degree":15,"count":3},{"degree":16,"count":15},{"degree":17,"count":25},{"degree":18,"count":28},{"degree":19,"count":37},{"degree":20,"count":69},{"degree":21,"count":127},{"degree":22,"count":116},{"degree":23,"count":48},{"degree":24,"count":48},{"degree":25,"count":5}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 40 |
| Distribution of constraint arities | [{"arity":2,"count":1145},{"arity":3,"count":780},{"arity":4,"count":165},{"arity":6,"count":345},{"arity":7,"count":110},{"arity":21,"count":112},{"arity":29,"count":80},{"arity":40,"count":1}] |
| Number of extensional constraints | 652 |
| Number of intensional constraints | 358 |
| Distribution of constraint types | [{"type":"extension","count":652},{"type":"intension","count":358},{"type":"regular","count":1040},{"type":"sum","count":40},{"type":"count","count":647},{"type":"instantiation","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.67/0.56 c version: 2018-07-02 0.67/0.56 c seed: 524952069 0.67/0.57 c timeout: 2400 0.67/0.57 c memlimit: 11000 0.67/0.57 c nbcore: 4 0.67/0.59 c Parsing instance... 6.07/2.52 c Parsing done, starting search... 42.64/36.61 o 9244 42.64/36.61 o 9143 42.64/36.62 o 9042 42.64/36.62 o 8941 42.64/36.68 o 8840 42.90/36.78 o 8739 43.84/37.63 o 8638 43.84/37.64 o 8537 721.26/711.71 o 8536 721.37/711.80 o 8436 721.37/711.81 o 8434 721.47/711.91 o 8334 721.47/711.93 o 8333 721.47/711.93 o 8233 721.77/712.22 o 8133 722.38/712.80 o 8132 722.38/712.88 o 8131 722.38/712.88 o 8031 722.98/713.45 o 8030 723.70/714.14 o 7930 723.99/714.41 o 7830 724.29/714.73 o 7829 724.29/714.75 o 7729 724.72/715.19 o 7728 724.72/715.19 o 7727 724.81/715.28 o 7628 724.81/715.29 o 7627 724.91/715.34 o 7527 731.86/722.22 o 7427 876.13/865.55 o 7426 876.13/865.56 o 7326 876.13/865.56 o 7325 877.77/867.15 o 7226 877.77/867.15 o 7225 2400.03/2377.50 s SATISFIABLE 2400.03/2377.50 v <instantiation> 2400.03/2377.50 v <list> 2400.03/2377.50 v 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] ps[0][0] ps[0][1] ps[0][2] ps[0][3] ps[1][0] ps[1][1] ps[1][2] ps[1][3] ps[2][0] ps[2][1] ps[2][2] ps[2][3] ps[3][0] ps[3][1] ps[3][2] ps[3][3] ps[4][0] ps[4][1] ps[4][2] ps[4][3] ps[5][0] ps[5][1] ps[5][2] ps[5][3] ps[6][0] ps[6][1] ps[6][2] ps[6][3] ps[7][0] ps[7][1] ps[7][2] ps[7][3] ps[8][0] ps[8][1] ps[8][2] ps[8][3] ps[9][0] ps[9][1] ps[9][2] ps[9][3] ps[10][0] ps[10][1] ps[10][2] ps[10][3] ps[11][0] ps[11][1] ps[11][2] ps[11][3] ps[12][0] ps[12][1] ps[12][2] ps[12][3] ps[13][0] ps[13][1] ps[13][2] ps[13][3] ps[14][0] ps[14][1] ps[14][2] ps[14][3] ps[15][0] ps[15][1] ps[15][2] ps[15][3] ps[16][0] ps[16][1] ps[16][2] ps[16][3] ps[17][0] ps[17][1] ps[17][2] ps[17][3] ps[18][0] ps[18][1] ps[18][2] ps[18][3] ps[19][0] ps[19][1] ps[19][2] ps[19][3] ds[0][0] ds[0][1] ds[0][2] ds[0][3] ds[1][0] ds[1][1] ds[1][2] ds[1][3] ds[2][0] ds[2][1] ds[2][2] ds[2][3] ds[3][0] ds[3][1] ds[3][2] ds[3][3] ds[4][0] ds[4][1] ds[4][2] ds[4][3] ds[5][0] ds[5][1] ds[5][2] ds[5][3] ds[6][0] ds[6][1] ds[6][2] ds[6][3] ds[7][0] ds[7][1] ds[7][2] ds[7][3] ds[8][0] ds[8][1] ds[8][2] ds[8][3] ds[9][0] ds[9][1] ds[9][2] ds[9][3] ds[10][0] ds[10][1] ds[10][2] ds[10][3] ds[11][0] ds[11][1] ds[11][2] ds[11][3] ds[12][0] ds[12][1] ds[12][2] ds[12][3] ds[13][0] ds[13][1] ds[13][2] ds[13][3] ds[14][0] ds[14][1] ds[14][2] ds[14][3] ds[15][0] ds[15][1] ds[15][2] ds[15][3] ds[16][0] ds[16][1] ds[16][2] ds[16][3] ds[17][0] ds[17][1] ds[17][2] ds[17][3] ds[18][0] ds[18][1] ds[18][2] ds[18][3] ds[19][0] ds[19][1] ds[19][2] ds[19][3] ds[20][0] ds[20][1] ds[20][2] ds[20][3] ds[21][0] ds[21][1] ds[21][2] ds[21][3] ds[22][0] ds[22][1] ds[22][2] ds[22][3] ds[23][0] ds[23][1] ds[23][2] ds[23][3] ds[24][0] ds[24][1] ds[24][2] ds[24][3] ds[25][0] ds[25][1] ds[25][2] ds[25][3] ds[26][0] ds[26][1] ds[26][2] ds[26][3] ds[27][0] ds[27][1] ds[27][2] ds[27][3] 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] 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] 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] cc[0][0] cc[0][1] cc[0][2] cc[0][3] cc[1][0] cc[1][1] cc[1][2] cc[1][3] cc[2][0] cc[2][1] cc[2][2] cc[2][3] cc[3][0] cc[3][1] cc[3][2] cc[3][3] cc[4][0] cc[4][1] cc[4][2] cc[4][3] cc[5][0] cc[5][1] cc[5][2] cc[5][3] cc[6][0] cc[6][1] cc[6][2] cc[6][3] cc[7][0] cc[7][1] cc[7][2] cc[7][3] cc[8][0] cc[8][1] cc[8][2] cc[8][3] cc[9][0] cc[9][1] cc[9][2] cc[9][3] cc[10][0] cc[10][1] cc[10][2] cc[10][3] cc[11][0] cc[11][1] cc[11][2] cc[11][3] cc[12][0] cc[12][1] cc[12][2] cc[12][3] cc[13][0] cc[13][1] cc[13][2] cc[13][3] cc[14][0] cc[14][1] cc[14][2] cc[14][3] cc[15][0] cc[15][1] cc[15][2] cc[15][3] cc[16][0] cc[16][1] cc[16][2] cc[16][3] cc[17][0] cc[17][1] cc[17][2] cc[17][3] cc[18][0] cc[18][1] cc[18][2] cc[18][3] cc[19][0] cc[19][1] cc[19][2] cc[19][3] cc[20][0] cc[20][1] cc[20][2] cc[20][3] cc[21][0] cc[21][1] cc[21][2] cc[21][3] cc[22][0] cc[22][1] cc[22][2] cc[22][3] cc[23][0] cc[23][1] cc[23][2] cc[23][3] cc[24][0] cc[24][1] cc[24][2] cc[24][3] cc[25][0] cc[25][1] cc[25][2] cc[25][3] cc[26][0] cc[26][1] cc[26][2] cc[26][3] cc[27][0] cc[27][1] cc[27][2] cc[27][3] 2400.03/2377.50 v </list> 2400.03/2377.50 v <values> 2400.03/2377.50 v 3 0 3 3 0 2 0 1 1 0 0 1 1 1 0 3 3 3 1 0 3 0 3 3 1 2 0 1 1 1 0 1 2 1 0 3 3 3 1 3 3 0 0 0 1 3 0 2 1 1 1 1 3 2 0 1 3 3 3 3 1 0 2 0 2 3 3 2 3 1 1 1 3 2 0 1 1 3 3 3 1 0 2 0 3 0 3 2 3 1 1 2 3 2 1 1 3 2 3 3 3 3 3 3 3 0 3 3 3 3 3 3 3 2 3 2 3 3 3 0 3 3 3 3 3 0 0 3 3 3 3 3 3 3 3 2 0 3 1 3 0 3 1 3 3 2 0 1 0 3 3 3 1 3 3 3 3 3 1 3 0 3 1 0 0 2 0 1 1 1 3 2 1 3 3 3 3 3 3 3 0 0 1 0 1 3 0 3 1 1 3 2 1 3 0 3 3 0 3 3 0 0 1 0 1 3 3 3 1 1 1 2 2 3 1 3 1 0 3 0 0 3 2 0 1 3 3 0 3 1 1 2 2 0 1 3 1 0 0 3 3 3 3 3 2 3 3 0 3 3 1 3 3 0 1 3 1 3 3 3 3 3 3 3 3 3 0 0 3 3 1 3 3 1 1 3 3 3 3 3 3 3 0 0 3 0 0 3 3 3 1 3 3 1 3 1 3 2 3 3 3 3 1 0 0 0 0 3 0 3 1 1 3 2 3 2 0 3 3 1 3 1 1 3 1 0 0 1 0 3 3 1 1 2 3 3 0 3 0 1 0 1 2 3 1 0 3 2 0 0 3 2 1 3 3 3 3 1 3 3 0 1 3 0 1 2 3 3 1 2 3 3 1 3 3 3 3 2 3 3 1 1 3 0 3 3 3 3 3 3 0 3 2 3 3 3 3 3 2 1 1 1 3 0 3 3 3 0 3 3 2 3 2 3 0 3 3 3 3 1 3 3 3 3 0 3 0 0 3 3 2 0 2 1 0 1 3 1 3 3 3 3 1 3 2 3 0 3 0 3 2 1 3 1 1 1 3 3 2 3 1 0 1 3 2 3 0 3 0 0 2 2 3 1 1 3 3 3 2 1 1 0 1 0 2 0 0 1 0 0 3 2 3 1 1 3 3 3 3 3 1 0 1 0 3 2 0 1 0 0 3 2 1 3 1 3 3 2 3 3 1 0 3 0 3 2 3 3 0 0 3 3 1 3 3 3 3 3 3 3 1 3 3 0 3 2 3 3 3 0 3 3 2 3 3 3 0 3 3 3 7 9 0 12 11 5 0 12 2 10 4 12 16 0 0 12 4 8 5 11 8 0 8 12 16 0 0 12 5 7 4 12 9 7 0 12 7 8 1 12 3 9 4 12 1 7 9 11 0 9 7 12 2 8 6 12 7 9 0 12 0 6 3 19 4 4 0 20 3 2 4 19 2 4 3 19 3 5 0 20 7 6 1 6 4 7 2 7 5 6 2 7 3 6 4 7 3 5 5 7 2 0 2 16 3 1 1 15 3 4 1 12 4 5 2 9 6 5 1 8 5 7 2 6 6 5 3 6 2 3 1 14 2 3 0 15 4 3 1 12 6 4 2 8 5 7 1 7 4 4 3 9 2 4 3 11 2 3 2 13 3 3 2 12 5 3 2 10 2 5 3 10 4 5 4 7 6 5 2 7 5 5 3 7 4 2 1 13 3 1 2 14 0 0 1 1 0 0 1 1 0 1 1 0 0 0 1 1 0 1 0 0 1 0 0 1 1 1 0 0 0 1 1 0 0 0 1 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 1 0 1 1 1 0 1 1 0 1 1 0 1 0 1 0 1 0 1 0 1 1 2 0 0 3 3 3 0 1 1 0 0 0 1 1 0 0 0 1 1 1 0 3 3 3 0 0 0 1 0 0 0 0 1 1 1 2 2 2 0 0 0 3 3 3 3 3 0 0 0 0 2 2 0 0 0 3 0 0 0 3 0 0 0 0 1 0 2 2 0 2 0 3 3 3 3 3 0 0 2 2 0 0 2 2 0 2 2 1 2 2 2 0 0 0 1 0 1 2 2 2 2 3 3 3 0 0 0 0 1 0 0 0 2 2 2 2 2 0 0 2 0 3 3 3 0 2 2 2 0 0 2 0 0 0 0 1 0 0 0 0 0 1 0 0 3 3 3 3 0 0 0 1 1 3 3 3 0 3 0 0 3 0 0 1 0 0 1 0 3 0 200 0 0 1 1 0 1 0 0 0 100 1 3 0 0 200 3 0 200 400 100 0 100 600 100 0 100 100 100 0 0 100 0 0 3 1 100 0 3 2 0 0 0 0 2 0 200 0 100 0 400 200 200 0 100 200 0 0 2 200 0 0 2 4 100 0 0 100 1 0 200 100 0 0 400 300 0 0 300 0 0 0 100 0 1 0 200 0 100 0 0 0 1 0 1 0 100 0 1 0 1 0 2 0 100 0 200 600 0 0 2400.03/2377.50 v </values> 2400.03/2377.50 v </instantiation>
OK 7225
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 (10807 MiB free)
memory of node 1: 16384 MiB (12124 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290400-1532228912/watcher-4290400-1532228912 -o /tmp/evaluation-result-4290400-1532228912/solver-4290400-1532228912 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532226533-28560 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 524952069 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290400-1532228912.xml
running on 4 cores: 1,3,5,7
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
solver pid=28839, runsolver pid=28836
Current StackSize limit: 8192 KiB
[startup+0.10012 s]*
/proc/loadavg: 1.44 1.34 1.33 4/198 28857
/proc/meminfo: memFree=23430392/32770624 swapFree=67108860/67108860
[pid=28839] ppid=28836 vsize=14082740 memory=29540 CPUtime=0.1 cores=1,3,5,7
/proc/28839/stat : 28839 (java) S 28836 28839 28528 0 -1 1077944320 6334 0 0 0 9 1 0 0 20 0 15 0 40454369 14420725760 7385 33554432000 4194304 4196468 140727852909584 140727852892128 139635739725559 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
/proc/28839/statm: 3520685 7385 3135 1 0 3482761 0
[pid=28839/tid=28841] ppid=28836 vsize=14082740 memory=8543466553346073208 CPUtime=0.08 cores=1,3,5,7
/proc/28839/task/28841/stat : 28841 (java) R 28836 28839 28528 0 -1 4202560 4405 0 0 0 7 1 0 0 20 0 15 0 40454369 14420725760 7385 33554432000 4194304 4196468 140727852909584 139635743916840 139635720002384 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28844] ppid=28836 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28844/stat : 28844 (java) S 28836 28839 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40454371 14420725760 7385 33554432000 4194304 4196468 140727852909584 139635696277776 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28845] ppid=28836 vsize=14082740 memory=140347841386112 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28845/stat : 28845 (java) S 28836 28839 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40454371 14420725760 7385 33554432000 4194304 4196468 140727852909584 139635334769040 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28846] ppid=28836 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28846/stat : 28846 (java) S 28836 28839 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40454371 14420725760 7385 33554432000 4194304 4196468 140727852909584 139635333716496 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28847] ppid=28836 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28847/stat : 28847 (java) S 28836 28839 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40454371 14420725760 7451 33554432000 4194304 4196468 140727852909584 139635332663952 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28849] ppid=28836 vsize=14082740 memory=140347841386112 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28849/stat : 28849 (java) S 28836 28839 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40454372 14420725760 7451 33554432000 4194304 4196468 140727852909584 139635213679088 139635739736706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28850] ppid=28836 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28850/stat : 28850 (java) S 28836 28839 28528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40454373 14420725760 7451 33554432000 4194304 4196468 140727852909584 139635212625312 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28851] ppid=28836 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28851/stat : 28851 (java) S 28836 28839 28528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40454373 14420725760 7451 33554432000 4194304 4196468 140727852909584 139635211572720 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28852] ppid=28836 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28852/stat : 28852 (java) S 28836 28839 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40454375 14420725760 7451 33554432000 4194304 4196468 140727852909584 139635210521296 139635739744155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28853] ppid=28836 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28853/stat : 28853 (java) S 28836 28839 28528 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 40454375 14420725760 7451 33554432000 4194304 4196468 140727852909584 139635209467888 139635739736706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28854] ppid=28836 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28854/stat : 28854 (java) S 28836 28839 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40454375 14420725760 7451 33554432000 4194304 4196468 140727852909584 139635208415344 139635739736706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28855] ppid=28836 vsize=14082740 memory=140347841386112 CPUtime=0.01 cores=1,3,5,7
/proc/28839/task/28855/stat : 28855 (java) S 28836 28839 28528 0 -1 1077944384 256 0 0 0 1 0 0 0 20 0 15 0 40454375 14420725760 7451 33554432000 4194304 4196468 140727852909584 139635207362800 139635739736706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28856] ppid=28836 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28856/stat : 28856 (java) S 28836 28839 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40454375 14420725760 7451 33554432000 4194304 4196468 140727852909584 139635206310496 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28857] ppid=28836 vsize=14082740 memory=140347841386112 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28857/stat : 28857 (java) S 28836 28839 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40454375 14420725760 7451 33554432000 4194304 4196468 140727852909584 139635205258032 139635739736706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 29540 KiB
[startup+0.210296 s]*
/proc/loadavg: 1.44 1.34 1.33 4/212 28875
/proc/meminfo: memFree=23404620/32770624 swapFree=67108860/67108860
[pid=28839] ppid=28836 vsize=14082740 memory=46644 CPUtime=0.27 cores=1,3,5,7
/proc/28839/stat : 28839 (java) S 28836 28839 28528 0 -1 1077944320 10263 0 0 0 25 2 0 0 20 0 15 0 40454369 14420725760 11661 33554432000 4194304 4196468 140727852909584 140727852892128 139635739725559 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
/proc/28839/statm: 3520685 11661 3338 1 0 3482761 0
[pid=28839/tid=28841] ppid=28836 vsize=14082740 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/28839/task/28841/stat : 28841 (java) R 28836 28839 28528 0 -1 4202560 8041 0 0 0 17 2 0 0 20 0 15 0 40454369 14420725760 11661 33554432000 4194304 4196468 140727852909584 139635743949424 139635723769189 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28844] ppid=28836 vsize=14082740 memory=365 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28844/stat : 28844 (java) S 28836 28839 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40454371 14420725760 11661 33554432000 4194304 4196468 140727852909584 139635696277776 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28845] ppid=28836 vsize=14082740 memory=288370723993097856 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28845/stat : 28845 (java) S 28836 28839 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40454371 14420725760 11661 33554432000 4194304 4196468 140727852909584 139635334769040 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28846] ppid=28836 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28846/stat : 28846 (java) S 28836 28839 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40454371 14420725760 11661 33554432000 4194304 4196468 140727852909584 139635333716496 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28847] ppid=28836 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28847/stat : 28847 (java) S 28836 28839 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40454371 14420725760 11661 33554432000 4194304 4196468 140727852909584 139635332663952 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28849] ppid=28836 vsize=14082740 memory=140347841386112 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28849/stat : 28849 (java) S 28836 28839 28528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 40454372 14420725760 11661 33554432000 4194304 4196468 140727852909584 139635213679088 139635739736706 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28850] ppid=28836 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28850/stat : 28850 (java) S 28836 28839 28528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40454373 14420725760 11661 33554432000 4194304 4196468 140727852909584 139635212625312 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28851] ppid=28836 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28851/stat : 28851 (java) S 28836 28839 28528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40454373 14420725760 11661 33554432000 4194304 4196468 140727852909584 139635211572720 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28852] ppid=28836 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28852/stat : 28852 (java) S 28836 28839 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40454375 14420725760 11661 33554432000 4194304 4196468 140727852909584 139635210521296 139635739744155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28853] ppid=28836 vsize=14082740 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/28839/task/28853/stat : 28853 (java) R 28836 28839 28528 0 -1 1077944384 468 0 0 0 1 0 0 0 20 0 15 0 40454375 14420725760 11661 33554432000 4194304 4196468 140727852909584 139635209467888 139635739736706 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28854] ppid=28836 vsize=14082740 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/28839/task/28854/stat : 28854 (java) R 28836 28839 28528 0 -1 4202560 54 0 0 0 1 0 0 0 20 0 15 0 40454375 14420725760 11661 33554432000 4194304 4196468 140727852909584 139635208415344 139635739746906 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28855] ppid=28836 vsize=14082740 memory=140347841386112 CPUtime=0.05 cores=1,3,5,7
/proc/28839/task/28855/stat : 28855 (java) R 28836 28839 28528 0 -1 4202560 321 0 0 0 5 0 0 0 20 0 15 0 40454375 14420725760 11661 33554432000 4194304 4196468 140727852909584 139635207359736 139635718693691 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28856] ppid=28836 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28856/stat : 28856 (java) S 28836 28839 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40454375 14420725760 11661 33554432000 4194304 4196468 140727852909584 139635206310496 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28857] ppid=28836 vsize=14082740 memory=140347841386112 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28857/stat : 28857 (java) S 28836 28839 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40454375 14420725760 11661 33554432000 4194304 4196468 140727852909584 139635205258032 139635739736706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 46644 KiB
[startup+0.31056 s]*
/proc/loadavg: 1.44 1.34 1.33 4/218 28881
/proc/meminfo: memFree=23381308/32770624 swapFree=67108860/67108860
[pid=28839] ppid=28836 vsize=14082740 memory=50460 CPUtime=0.44 cores=1,3,5,7
/proc/28839/stat : 28839 (java) S 28836 28839 28528 0 -1 1077944320 10759 0 0 0 41 3 0 0 20 0 15 0 40454369 14420725760 12615 33554432000 4194304 4196468 140727852909584 140727852892128 139635739725559 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
/proc/28839/statm: 3520685 12615 3380 1 0 3482761 0
[pid=28839/tid=28841] ppid=28836 vsize=14082740 memory=5450919713671312938 CPUtime=0.29 cores=1,3,5,7
/proc/28839/task/28841/stat : 28841 (java) R 28836 28839 28528 0 -1 4202560 8409 0 0 0 27 2 0 0 20 0 15 0 40454369 14420725760 12615 33554432000 4194304 4196468 140727852909584 139635743933392 139635731962686 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28844] ppid=28836 vsize=14082740 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28844/stat : 28844 (java) S 28836 28839 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40454371 14420725760 12615 33554432000 4194304 4196468 140727852909584 139635696277776 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28845] ppid=28836 vsize=14082740 memory=140347841386112 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28845/stat : 28845 (java) S 28836 28839 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40454371 14420725760 12615 33554432000 4194304 4196468 140727852909584 139635334769040 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28846] ppid=28836 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28846/stat : 28846 (java) S 28836 28839 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40454371 14420725760 12615 33554432000 4194304 4196468 140727852909584 139635333716496 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28847] ppid=28836 vsize=14082740 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28847/stat : 28847 (java) S 28836 28839 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40454371 14420725760 12615 33554432000 4194304 4196468 140727852909584 139635332663952 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28849] ppid=28836 vsize=14082740 memory=140347841386112 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28849/stat : 28849 (java) S 28836 28839 28528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 40454372 14420725760 12615 33554432000 4194304 4196468 140727852909584 139635213679088 139635739736706 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28850] ppid=28836 vsize=14082740 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28850/stat : 28850 (java) S 28836 28839 28528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40454373 14420725760 12615 33554432000 4194304 4196468 140727852909584 139635212625312 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28851] ppid=28836 vsize=14082740 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28851/stat : 28851 (java) S 28836 28839 28528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40454373 14420725760 12615 33554432000 4194304 4196468 140727852909584 139635211572720 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28852] ppid=28836 vsize=14082740 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28852/stat : 28852 (java) S 28836 28839 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40454375 14420725760 12615 33554432000 4194304 4196468 140727852909584 139635210521296 139635739744155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28853] ppid=28836 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/28839/task/28853/stat : 28853 (java) S 28836 28839 28528 0 -1 1077944384 565 0 0 0 2 0 0 0 20 0 15 0 40454375 14420725760 12615 33554432000 4194304 4196468 140727852909584 139635209467888 139635739736706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28854] ppid=28836 vsize=14082740 memory=14420725759 CPUtime=0.02 cores=1,3,5,7
/proc/28839/task/28854/stat : 28854 (java) S 28836 28839 28528 0 -1 1077944384 59 0 0 0 2 0 0 0 20 0 15 0 40454375 14420725760 12615 33554432000 4194304 4196468 140727852909584 139635208415344 139635739736706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28855] ppid=28836 vsize=14082740 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28839/task/28855/stat : 28855 (java) S 28836 28839 28528 0 -1 1077944384 346 0 0 0 8 0 0 0 20 0 15 0 40454375 14420725760 12615 33554432000 4194304 4196468 140727852909584 139635207362800 139635739736706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28856] ppid=28836 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28856/stat : 28856 (java) S 28836 28839 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40454375 14420725760 12615 33554432000 4194304 4196468 140727852909584 139635206310496 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28857] ppid=28836 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28857/stat : 28857 (java) S 28836 28839 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40454375 14420725760 12615 33554432000 4194304 4196468 140727852909584 139635205258032 139635739736706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50460 KiB
[startup+0.700709 s]
/proc/loadavg: 1.44 1.34 1.33 3/218 28881
/proc/meminfo: memFree=23349308/32770624 swapFree=67108860/67108860
[pid=28839] ppid=28836 vsize=14084808 memory=88764 CPUtime=0.98 cores=1,3,5,7
/proc/28839/stat : 28839 (java) S 28836 28839 28528 0 -1 1077944320 17615 0 0 0 93 5 0 0 20 0 15 0 40454369 14422843392 22191 33554432000 4194304 4196468 140727852909584 140727852892128 139635739725559 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
/proc/28839/statm: 3521202 22191 3502 1 0 3483273 0
[pid=28839/tid=28841] ppid=28836 vsize=14084808 memory=140350941299113 CPUtime=0.67 cores=1,3,5,7
/proc/28839/task/28841/stat : 28841 (java) R 28836 28839 28528 0 -1 4202560 14855 0 0 0 63 4 0 0 20 0 15 0 40454369 14422843392 22191 33554432000 4194304 4196468 140727852909584 139635743931408 139635723806046 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28844] ppid=28836 vsize=14084808 memory=280695440580112 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28844/stat : 28844 (java) S 28836 28839 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40454371 14422843392 22191 33554432000 4194304 4196468 140727852909584 139635696277776 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28845] ppid=28836 vsize=14084808 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28845/stat : 28845 (java) S 28836 28839 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40454371 14422843392 22191 33554432000 4194304 4196468 140727852909584 139635334769040 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28846] ppid=28836 vsize=14084808 memory=15868 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28846/stat : 28846 (java) S 28836 28839 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40454371 14422843392 22191 33554432000 4194304 4196468 140727852909584 139635333716496 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28847] ppid=28836 vsize=14084808 memory=4012 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28847/stat : 28847 (java) S 28836 28839 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40454371 14422843392 22191 33554432000 4194304 4196468 140727852909584 139635332663952 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28849] ppid=28836 vsize=14084808 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28849/stat : 28849 (java) S 28836 28839 28528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 40454372 14422843392 22191 33554432000 4194304 4196468 140727852909584 139635213679088 139635739736706 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28850] ppid=28836 vsize=14084808 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28850/stat : 28850 (java) S 28836 28839 28528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40454373 14422843392 22191 33554432000 4194304 4196468 140727852909584 139635212625312 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28851] ppid=28836 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28851/stat : 28851 (java) S 28836 28839 28528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40454373 14422843392 22191 33554432000 4194304 4196468 140727852909584 139635211572720 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28852] ppid=28836 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28852/stat : 28852 (java) S 28836 28839 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40454375 14422843392 22191 33554432000 4194304 4196468 140727852909584 139635210521296 139635739744155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28853] ppid=28836 vsize=14084808 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28839/task/28853/stat : 28853 (java) S 28836 28839 28528 0 -1 1077944384 716 0 0 0 8 0 0 0 20 0 15 0 40454375 14422843392 22191 33554432000 4194304 4196468 140727852909584 139635209467888 139635739736706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28854] ppid=28836 vsize=14084808 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28839/task/28854/stat : 28854 (java) S 28836 28839 28528 0 -1 1077944384 222 0 0 0 7 0 0 0 20 0 15 0 40454375 14422843392 22191 33554432000 4194304 4196468 140727852909584 139635208415344 139635739736706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28855] ppid=28836 vsize=14084808 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/28839/task/28855/stat : 28855 (java) S 28836 28839 28528 0 -1 1077944384 440 0 0 0 15 0 0 0 20 0 15 0 40454375 14422843392 22191 33554432000 4194304 4196468 140727852909584 139635207362800 139635739736706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28856] ppid=28836 vsize=14084808 memory=2867565960586600 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28856/stat : 28856 (java) S 28836 28839 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40454375 14422843392 22191 33554432000 4194304 4196468 140727852909584 139635206310496 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28857] ppid=28836 vsize=14084808 memory=-3395018486312292127 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28857/stat : 28857 (java) S 28836 28839 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40454375 14422843392 22191 33554432000 4194304 4196468 140727852909584 139635205258032 139635739736706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88764 KiB
[startup+1.50071 s]
/proc/loadavg: 1.44 1.34 1.33 8/218 28881
/proc/meminfo: memFree=23262696/32770624 swapFree=67108860/67108860
[pid=28839] ppid=28836 vsize=14088904 memory=157968 CPUtime=3.37 cores=1,3,5,7
/proc/28839/stat : 28839 (java) S 28836 28839 28528 0 -1 1077944320 25730 0 0 0 330 7 0 0 20 0 15 0 40454369 14427037696 39492 33554432000 4194304 4196468 140727852909584 140727852892128 139635739725559 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
/proc/28839/statm: 3522226 39492 3550 1 0 3484297 0
[pid=28839/tid=28841] ppid=28836 vsize=14088904 memory=7883668148751257940 CPUtime=1.46 cores=1,3,5,7
/proc/28839/task/28841/stat : 28841 (java) R 28836 28839 28528 0 -1 4202560 18146 0 0 0 141 5 0 0 20 0 15 0 40454369 14427037696 39492 33554432000 4194304 4196468 140727852909584 139635743960800 139635739737494 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28844] ppid=28836 vsize=14088904 memory=101220 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28844/stat : 28844 (java) S 28836 28839 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40454371 14427037696 39492 33554432000 4194304 4196468 140727852909584 139635696277776 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28845] ppid=28836 vsize=14088904 memory=64292 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28845/stat : 28845 (java) S 28836 28839 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40454371 14427037696 39492 33554432000 4194304 4196468 140727852909584 139635334769040 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28846] ppid=28836 vsize=14088904 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28846/stat : 28846 (java) S 28836 28839 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40454371 14427037696 39492 33554432000 4194304 4196468 140727852909584 139635333716496 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28847] ppid=28836 vsize=14088904 memory=15868 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28847/stat : 28847 (java) S 28836 28839 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40454371 14427037696 39492 33554432000 4194304 4196468 140727852909584 139635332663952 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28849] ppid=28836 vsize=14088904 memory=4012 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28849/stat : 28849 (java) S 28836 28839 28528 0 -1 1077944384 206 0 0 0 0 0 0 0 20 0 15 0 40454372 14427037696 39492 33554432000 4194304 4196468 140727852909584 139635213679088 139635739736706 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
################
# More data... #
################
/proc/28839/task/28841/stat : 28841 (java) R 28836 28839 28528 0 -1 4202560 52664 0 0 0 225194 29 0 0 20 0 15 0 40454369 14431232000 193745 33554432000 4194304 4196468 140727852909584 139635743963824 139635390566598 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28844] ppid=28836 vsize=14093000 memory=774980 CPUtime=5.44 cores=1,3,5,7
/proc/28839/task/28844/stat : 28844 (java) S 28836 28839 28528 0 -1 1077944384 6140 0 0 0 518 26 0 0 20 0 15 0 40454371 14431232000 193745 33554432000 4194304 4196468 140727852909584 139635696277776 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28845] ppid=28836 vsize=14093000 memory=774980 CPUtime=5.43 cores=1,3,5,7
/proc/28839/task/28845/stat : 28845 (java) S 28836 28839 28528 0 -1 1077944384 6403 0 0 0 519 24 0 0 20 0 15 0 40454371 14431232000 193745 33554432000 4194304 4196468 140727852909584 139635334769040 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28846] ppid=28836 vsize=14093000 memory=774980 CPUtime=5.4 cores=1,3,5,7
/proc/28839/task/28846/stat : 28846 (java) S 28836 28839 28528 0 -1 1077944384 7885 0 0 0 514 26 0 0 20 0 15 0 40454371 14431232000 193745 33554432000 4194304 4196468 140727852909584 139635333716496 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28847] ppid=28836 vsize=14093000 memory=3828 CPUtime=5.45 cores=1,3,5,7
/proc/28839/task/28847/stat : 28847 (java) S 28836 28839 28528 0 -1 1077944384 6006 0 0 0 518 27 0 0 20 0 15 0 40454371 14431232000 193745 33554432000 4194304 4196468 140727852909584 139635332663952 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28849] ppid=28836 vsize=14093000 memory=14164 CPUtime=3.11 cores=1,3,5,7
/proc/28839/task/28849/stat : 28849 (java) S 28836 28839 28528 0 -1 1077944384 7179 0 0 0 288 23 0 0 20 0 15 0 40454372 14431232000 193745 33554432000 4194304 4196468 140727852909584 139635213679088 139635739736706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28850] ppid=28836 vsize=14093000 memory=8368 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28850/stat : 28850 (java) S 28836 28839 28528 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 40454373 14431232000 193745 33554432000 4194304 4196468 140727852909584 139635212625376 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28851] ppid=28836 vsize=14093000 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28851/stat : 28851 (java) S 28836 28839 28528 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 40454373 14431232000 193745 33554432000 4194304 4196468 140727852909584 139635211572736 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28852] ppid=28836 vsize=14093000 memory=774980 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28852/stat : 28852 (java) S 28836 28839 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40454375 14431232000 193745 33554432000 4194304 4196468 140727852909584 139635210521296 139635739744155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28853] ppid=28836 vsize=14093000 memory=774980 CPUtime=2.29 cores=1,3,5,7
/proc/28839/task/28853/stat : 28853 (java) S 28836 28839 28528 0 -1 1077944384 6074 0 0 0 228 1 0 0 20 0 15 0 40454375 14431232000 193745 33554432000 4194304 4196468 140727852909584 139635209467888 139635739736706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28854] ppid=28836 vsize=14093000 memory=774980 CPUtime=2.37 cores=1,3,5,7
/proc/28839/task/28854/stat : 28854 (java) S 28836 28839 28528 0 -1 1077944384 7458 0 0 0 236 1 0 0 20 0 15 0 40454375 14431232000 193745 33554432000 4194304 4196468 140727852909584 139635208415344 139635739736706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28855] ppid=28836 vsize=14093000 memory=774980 CPUtime=1.31 cores=1,3,5,7
/proc/28839/task/28855/stat : 28855 (java) S 28836 28839 28528 0 -1 1077944384 12844 0 0 0 129 2 0 0 20 0 15 0 40454375 14431232000 193745 33554432000 4194304 4196468 140727852909584 139635207362800 139635739736706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28856] ppid=28836 vsize=14093000 memory=774980 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28856/stat : 28856 (java) S 28836 28839 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40454375 14431232000 193745 33554432000 4194304 4196468 140727852909584 139635206310496 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28857] ppid=28836 vsize=14093000 memory=774980 CPUtime=0.84 cores=1,3,5,7
/proc/28839/task/28857/stat : 28857 (java) S 28836 28839 28528 0 -1 1077944384 700 0 0 0 39 45 0 0 20 0 15 0 40454375 14431232000 193745 33554432000 4194304 4196468 140727852909584 139635205258032 139635739736706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
Current children cumulated CPU time: 2283.96 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 774980 KiB
[startup+2322.3 s]
/proc/loadavg: 1.21 1.32 1.37 3/218 28956
/proc/meminfo: memFree=21210648/32770624 swapFree=67108860/67108860
[pid=28839] ppid=28836 vsize=14093000 memory=777028 CPUtime=2344.41 cores=1,3,5,7
/proc/28839/stat : 28839 (java) S 28836 28839 28528 0 -1 1077944320 115910 0 0 0 234260 181 0 0 20 0 15 0 40454369 14431232000 194257 33554432000 4194304 4196468 140727852909584 140727852892128 139635739725559 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
/proc/28839/statm: 3523250 194257 3601 1 0 3485321 0
[pid=28839/tid=28841] ppid=28836 vsize=14093000 memory=777028 CPUtime=2311.93 cores=1,3,5,7
/proc/28839/task/28841/stat : 28841 (java) R 28836 28839 28528 0 -1 4202560 53016 0 0 0 231163 30 0 0 20 0 15 0 40454369 14431232000 194257 33554432000 4194304 4196468 140727852909584 139635743963824 139635377390067 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28844] ppid=28836 vsize=14093000 memory=777028 CPUtime=5.59 cores=1,3,5,7
/proc/28839/task/28844/stat : 28844 (java) S 28836 28839 28528 0 -1 1077944384 6173 0 0 0 533 26 0 0 20 0 15 0 40454371 14431232000 194257 33554432000 4194304 4196468 140727852909584 139635696277776 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28845] ppid=28836 vsize=14093000 memory=777028 CPUtime=5.59 cores=1,3,5,7
/proc/28839/task/28845/stat : 28845 (java) S 28836 28839 28528 0 -1 1077944384 6618 0 0 0 534 25 0 0 20 0 15 0 40454371 14431232000 194257 33554432000 4194304 4196468 140727852909584 139635334769040 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28846] ppid=28836 vsize=14093000 memory=777028 CPUtime=5.57 cores=1,3,5,7
/proc/28839/task/28846/stat : 28846 (java) S 28836 28839 28528 0 -1 1077944384 8102 0 0 0 530 27 0 0 20 0 15 0 40454371 14431232000 194257 33554432000 4194304 4196468 140727852909584 139635333716496 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28847] ppid=28836 vsize=14093000 memory=777028 CPUtime=5.61 cores=1,3,5,7
/proc/28839/task/28847/stat : 28847 (java) S 28836 28839 28528 0 -1 1077944384 6124 0 0 0 534 27 0 0 20 0 15 0 40454371 14431232000 194257 33554432000 4194304 4196468 140727852909584 139635332663952 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28849] ppid=28836 vsize=14093000 memory=777028 CPUtime=3.2 cores=1,3,5,7
/proc/28839/task/28849/stat : 28849 (java) S 28836 28839 28528 0 -1 1077944384 7351 0 0 0 297 23 0 0 20 0 15 0 40454372 14431232000 194257 33554432000 4194304 4196468 140727852909584 139635213679088 139635739736706 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28850] ppid=28836 vsize=14093000 memory=777028 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28850/stat : 28850 (java) S 28836 28839 28528 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 40454373 14431232000 194257 33554432000 4194304 4196468 140727852909584 139635212625376 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28851] ppid=28836 vsize=14093000 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28851/stat : 28851 (java) S 28836 28839 28528 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 40454373 14431232000 194257 33554432000 4194304 4196468 140727852909584 139635211572736 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28852] ppid=28836 vsize=14093000 memory=777028 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28852/stat : 28852 (java) S 28836 28839 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40454375 14431232000 194257 33554432000 4194304 4196468 140727852909584 139635210521296 139635739744155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28853] ppid=28836 vsize=14093000 memory=952 CPUtime=2.29 cores=1,3,5,7
/proc/28839/task/28853/stat : 28853 (java) S 28836 28839 28528 0 -1 1077944384 6076 0 0 0 228 1 0 0 20 0 15 0 40454375 14431232000 194257 33554432000 4194304 4196468 140727852909584 139635209467888 139635739736706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28854] ppid=28836 vsize=14093000 memory=777028 CPUtime=2.37 cores=1,3,5,7
/proc/28839/task/28854/stat : 28854 (java) S 28836 28839 28528 0 -1 1077944384 7460 0 0 0 236 1 0 0 20 0 15 0 40454375 14431232000 194257 33554432000 4194304 4196468 140727852909584 139635208415344 139635739736706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28855] ppid=28836 vsize=14093000 memory=777028 CPUtime=1.31 cores=1,3,5,7
/proc/28839/task/28855/stat : 28855 (java) S 28836 28839 28528 0 -1 1077944384 12846 0 0 0 129 2 0 0 20 0 15 0 40454375 14431232000 194257 33554432000 4194304 4196468 140727852909584 139635207362800 139635739736706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28856] ppid=28836 vsize=14093000 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28856/stat : 28856 (java) S 28836 28839 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40454375 14431232000 194257 33554432000 4194304 4196468 140727852909584 139635206310496 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28857] ppid=28836 vsize=14093000 memory=2448 CPUtime=0.86 cores=1,3,5,7
/proc/28839/task/28857/stat : 28857 (java) S 28836 28839 28528 0 -1 1077944384 715 0 0 0 40 46 0 0 20 0 15 0 40454375 14431232000 194257 33554432000 4194304 4196468 140727852909584 139635205258032 139635739736706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
Current children cumulated CPU time: 2344.41 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 777028 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2377.5 s]
/proc/loadavg: 1.19 1.29 1.36 3/218 28957
/proc/meminfo: memFree=21208680/32770624 swapFree=67108860/67108860
[pid=28839] ppid=28836 vsize=14093000 memory=779076 CPUtime=2400.03 cores=1,3,5,7
/proc/28839/stat : 28839 (java) S 28836 28839 28528 0 -1 1077944320 116595 0 0 0 239818 185 0 0 20 0 15 0 40454369 14431232000 194769 33554432000 4194304 4196468 140727852909584 140727852892128 139635739725559 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
/proc/28839/statm: 3523250 194769 3601 1 0 3485321 0
[pid=28839/tid=28841] ppid=28836 vsize=14093000 memory=779076 CPUtime=2366.84 cores=1,3,5,7
/proc/28839/task/28841/stat : 28841 (java) R 28836 28839 28528 0 -1 4202560 53348 0 0 0 236654 30 0 0 20 0 15 0 40454369 14431232000 194769 33554432000 4194304 4196468 140727852909584 139635743963712 139635389762971 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28844] ppid=28836 vsize=14093000 memory=779076 CPUtime=5.75 cores=1,3,5,7
/proc/28839/task/28844/stat : 28844 (java) S 28836 28839 28528 0 -1 1077944384 6339 0 0 0 548 27 0 0 20 0 15 0 40454371 14431232000 194769 33554432000 4194304 4196468 140727852909584 139635696277776 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28845] ppid=28836 vsize=14093000 memory=779076 CPUtime=5.74 cores=1,3,5,7
/proc/28839/task/28845/stat : 28845 (java) S 28836 28839 28528 0 -1 1077944384 6623 0 0 0 548 26 0 0 20 0 15 0 40454371 14431232000 194769 33554432000 4194304 4196468 140727852909584 139635334769040 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28846] ppid=28836 vsize=14093000 memory=0 CPUtime=5.72 cores=1,3,5,7
/proc/28839/task/28846/stat : 28846 (java) S 28836 28839 28528 0 -1 1077944384 8104 0 0 0 544 28 0 0 20 0 15 0 40454371 14431232000 194769 33554432000 4194304 4196468 140727852909584 139635333716496 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28847] ppid=28836 vsize=14093000 memory=0 CPUtime=5.76 cores=1,3,5,7
/proc/28839/task/28847/stat : 28847 (java) S 28836 28839 28528 0 -1 1077944384 6160 0 0 0 549 27 0 0 20 0 15 0 40454371 14431232000 194769 33554432000 4194304 4196468 140727852909584 139635332663952 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28849] ppid=28836 vsize=14093000 memory=779076 CPUtime=3.28 cores=1,3,5,7
/proc/28839/task/28849/stat : 28849 (java) S 28836 28839 28528 0 -1 1077944384 7485 0 0 0 305 23 0 0 20 0 15 0 40454372 14431232000 194769 33554432000 4194304 4196468 140727852909584 139635213679088 139635739736706 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28850] ppid=28836 vsize=14093000 memory=779076 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28850/stat : 28850 (java) S 28836 28839 28528 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 40454373 14431232000 194769 33554432000 4194304 4196468 140727852909584 139635212625376 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28851] ppid=28836 vsize=14093000 memory=779076 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28851/stat : 28851 (java) S 28836 28839 28528 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 40454373 14431232000 194769 33554432000 4194304 4196468 140727852909584 139635211572736 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28852] ppid=28836 vsize=14093000 memory=3828 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28852/stat : 28852 (java) S 28836 28839 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40454375 14431232000 194769 33554432000 4194304 4196468 140727852909584 139635210521296 139635739744155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28853] ppid=28836 vsize=14093000 memory=779076 CPUtime=2.29 cores=1,3,5,7
/proc/28839/task/28853/stat : 28853 (java) S 28836 28839 28528 0 -1 1077944384 6078 0 0 0 228 1 0 0 20 0 15 0 40454375 14431232000 194769 33554432000 4194304 4196468 140727852909584 139635209467888 139635739736706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28854] ppid=28836 vsize=14093000 memory=3828 CPUtime=2.37 cores=1,3,5,7
/proc/28839/task/28854/stat : 28854 (java) S 28836 28839 28528 0 -1 1077944384 7462 0 0 0 236 1 0 0 20 0 15 0 40454375 14431232000 194769 33554432000 4194304 4196468 140727852909584 139635208415344 139635739736706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28855] ppid=28836 vsize=14093000 memory=779076 CPUtime=1.31 cores=1,3,5,7
/proc/28839/task/28855/stat : 28855 (java) S 28836 28839 28528 0 -1 1077944384 12848 0 0 0 129 2 0 0 20 0 15 0 40454375 14431232000 194769 33554432000 4194304 4196468 140727852909584 139635207362800 139635739736706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28856] ppid=28836 vsize=14093000 memory=779076 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28856/stat : 28856 (java) S 28836 28839 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40454375 14431232000 194769 33554432000 4194304 4196468 140727852909584 139635206310496 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28857] ppid=28836 vsize=14093000 memory=779076 CPUtime=0.88 cores=1,3,5,7
/proc/28839/task/28857/stat : 28857 (java) S 28836 28839 28528 0 -1 1077944384 719 0 0 0 40 48 0 0 20 0 15 0 40454375 14431232000 194769 33554432000 4194304 4196468 140727852909584 139635205258032 139635739736706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 779076 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2377.51 s]
# the end of solver process 28839 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.21 s, system=1.86182 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2377.5 s]
/proc/loadavg: 1.19 1.29 1.36 3/218 28957
/proc/meminfo: memFree=21208680/32770624 swapFree=67108860/67108860
[pid=28839] ppid=28836 vsize=14093000 memory=779076 CPUtime=2400.03 cores=1,3,5,7
/proc/28839/stat : 28839 (java) S 28836 28839 28528 0 -1 1077944320 116595 0 0 0 239818 185 0 0 20 0 15 0 40454369 14431232000 194769 33554432000 4194304 4196468 140727852909584 140727852892128 139635739725559 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
/proc/28839/statm: 3523250 194769 3601 1 0 3485321 0
[pid=28839/tid=28841] ppid=28836 vsize=14093000 memory=779076 CPUtime=2366.84 cores=1,3,5,7
/proc/28839/task/28841/stat : 28841 (java) R 28836 28839 28528 0 -1 4202560 53348 0 0 0 236654 30 0 0 20 0 15 0 40454369 14431232000 194769 33554432000 4194304 4196468 140727852909584 139635743963712 139635389762971 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28844] ppid=28836 vsize=14093000 memory=779076 CPUtime=5.75 cores=1,3,5,7
/proc/28839/task/28844/stat : 28844 (java) S 28836 28839 28528 0 -1 1077944384 6339 0 0 0 548 27 0 0 20 0 15 0 40454371 14431232000 194769 33554432000 4194304 4196468 140727852909584 139635696277776 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28845] ppid=28836 vsize=14093000 memory=779076 CPUtime=5.74 cores=1,3,5,7
/proc/28839/task/28845/stat : 28845 (java) S 28836 28839 28528 0 -1 1077944384 6623 0 0 0 548 26 0 0 20 0 15 0 40454371 14431232000 194769 33554432000 4194304 4196468 140727852909584 139635334769040 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28846] ppid=28836 vsize=14093000 memory=0 CPUtime=5.72 cores=1,3,5,7
/proc/28839/task/28846/stat : 28846 (java) S 28836 28839 28528 0 -1 1077944384 8104 0 0 0 544 28 0 0 20 0 15 0 40454371 14431232000 194769 33554432000 4194304 4196468 140727852909584 139635333716496 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28847] ppid=28836 vsize=14093000 memory=0 CPUtime=5.76 cores=1,3,5,7
/proc/28839/task/28847/stat : 28847 (java) S 28836 28839 28528 0 -1 1077944384 6160 0 0 0 549 27 0 0 20 0 15 0 40454371 14431232000 194769 33554432000 4194304 4196468 140727852909584 139635332663952 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28849] ppid=28836 vsize=14093000 memory=779076 CPUtime=3.28 cores=1,3,5,7
/proc/28839/task/28849/stat : 28849 (java) S 28836 28839 28528 0 -1 1077944384 7485 0 0 0 305 23 0 0 20 0 15 0 40454372 14431232000 194769 33554432000 4194304 4196468 140727852909584 139635213679088 139635739736706 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28850] ppid=28836 vsize=14093000 memory=779076 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28850/stat : 28850 (java) S 28836 28839 28528 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 40454373 14431232000 194769 33554432000 4194304 4196468 140727852909584 139635212625376 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28851] ppid=28836 vsize=14093000 memory=779076 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28851/stat : 28851 (java) S 28836 28839 28528 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 40454373 14431232000 194769 33554432000 4194304 4196468 140727852909584 139635211572736 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28852] ppid=28836 vsize=14093000 memory=3828 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28852/stat : 28852 (java) S 28836 28839 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40454375 14431232000 194769 33554432000 4194304 4196468 140727852909584 139635210521296 139635739744155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28853] ppid=28836 vsize=14093000 memory=779076 CPUtime=2.29 cores=1,3,5,7
/proc/28839/task/28853/stat : 28853 (java) S 28836 28839 28528 0 -1 1077944384 6078 0 0 0 228 1 0 0 20 0 15 0 40454375 14431232000 194769 33554432000 4194304 4196468 140727852909584 139635209467888 139635739736706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28854] ppid=28836 vsize=14093000 memory=3828 CPUtime=2.37 cores=1,3,5,7
/proc/28839/task/28854/stat : 28854 (java) S 28836 28839 28528 0 -1 1077944384 7462 0 0 0 236 1 0 0 20 0 15 0 40454375 14431232000 194769 33554432000 4194304 4196468 140727852909584 139635208415344 139635739736706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28855] ppid=28836 vsize=14093000 memory=779076 CPUtime=1.31 cores=1,3,5,7
/proc/28839/task/28855/stat : 28855 (java) S 28836 28839 28528 0 -1 1077944384 12848 0 0 0 129 2 0 0 20 0 15 0 40454375 14431232000 194769 33554432000 4194304 4196468 140727852909584 139635207362800 139635739736706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28856] ppid=28836 vsize=14093000 memory=779076 CPUtime=0 cores=1,3,5,7
/proc/28839/task/28856/stat : 28856 (java) S 28836 28839 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40454375 14431232000 194769 33554432000 4194304 4196468 140727852909584 139635206310496 139635739735765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
[pid=28839/tid=28857] ppid=28836 vsize=14093000 memory=779076 CPUtime=0.88 cores=1,3,5,7
/proc/28839/task/28857/stat : 28857 (java) S 28836 28839 28528 0 -1 1077944384 719 0 0 0 40 48 0 0 20 0 15 0 40454375 14431232000 194769 33554432000 4194304 4196468 140727852909584 139635205258032 139635739736706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140727852913737 140727852913929 140727852913929 140727852916687 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 779076 KiB
Child status: 143
Real time (s): 2377.51
CPU time (s): 2400.07
CPU user time (s): 2398.21
CPU system time (s): 1.86182
CPU usage (%): 100.949
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 1223976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.21
system time used= 1.86182
maximum resident set size= 1226036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116989
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 139313
involuntary context switches= 5164
# summary of solver processes directly reported to runsolver:
# pid: 28839
# total CPU time (s): 2400.07
# total CPU user time (s): 2398.21
# total CPU system time (s): 1.86182
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.1419 second user time and 22.3356 second system time
The end
Begin job on node135 at 2018-07-22 05:08:32 IDJOB=4290400 IDBENCH=141052 IDSOLVER=2743 FILE ID=node135/4290400-1532228912 RUNJOBID= node135-1532226533-28560 PBS_JOBID= 21018955 Free space on /tmp= 52900 MiB SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-07-02 BENCH NAME= XCSP18/NurseRostering/NurseRostering-07_c18.xml COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4290400-1532228912/watcher-4290400-1532228912 -o /tmp/evaluation-result-4290400-1532228912/solver-4290400-1532228912 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532226533-28560 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 524952069 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290400-1532228912.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 39ce033b713bdbb29423ae6f53deb82d RANDOM SEED=524952069 node135.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 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.50 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.50 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.50 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: 23482564 kB MemAvailable: 31940140 kB Buffers: 139708 kB Cached: 8523844 kB SwapCached: 0 kB Active: 1356880 kB Inactive: 7360668 kB Active(anon): 3912 kB Inactive(anon): 69904 kB Active(file): 1352968 kB Inactive(file): 7290764 kB Unevictable: 7200 kB Mlocked: 7200 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 35816 kB Writeback: 0 kB AnonPages: 68652 kB Mapped: 34896 kB Shmem: 17056 kB Slab: 269400 kB SReclaimable: 242304 kB SUnreclaim: 27096 kB KernelStack: 3600 kB PageTables: 4964 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 318036 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 16384 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 93568 kB DirectMap2M: 33452032 kB Free space on /tmp at the end= 52864 MiB End job on node135 at 2018-07-22 05:48:10