Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 1.12 | SAT (TO) | 6854 | 2520.06 | 2520.01 |
| Name | NurseRostering/ NurseRostering-06_c18.xml |
| MD5SUM | 9a3bf89ae74321e3cfb193774a0c0983 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 4362 |
| Best CPU time to get the best result obtained on this benchmark | 2520.1 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1007 |
| Number of constraints | 2471 |
| Number of domains | 12 |
| Minimum domain size | 1 |
| Maximum domain size | 29 |
| Distribution of domain sizes | [{"size":1,"count":42},{"size":2,"count":207},{"size":4,"count":504},{"size":19,"count":196},{"size":29,"count":58}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 25 |
| Distribution of variable degrees | [{"degree":2,"count":431},{"degree":3,"count":72},{"degree":12,"count":3},{"degree":13,"count":12},{"degree":14,"count":16},{"degree":15,"count":8},{"degree":16,"count":11},{"degree":17,"count":26},{"degree":18,"count":25},{"degree":19,"count":30},{"degree":20,"count":53},{"degree":21,"count":120},{"degree":22,"count":93},{"degree":23,"count":59},{"degree":24,"count":36},{"degree":25,"count":12}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 36 |
| Distribution of constraint arities | [{"arity":2,"count":988},{"arity":3,"count":728},{"arity":4,"count":161},{"arity":6,"count":299},{"arity":7,"count":110},{"arity":19,"count":112},{"arity":29,"count":72},{"arity":36,"count":1}] |
| Number of extensional constraints | 598 |
| Number of intensional constraints | 309 |
| Distribution of constraint types | [{"type":"extension","count":598},{"type":"intension","count":309},{"type":"regular","count":934},{"type":"sum","count":36},{"type":"count","count":593},{"type":"instantiation","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.10/0.21 c best=?? lower=0 upper=30171 0.89/0.92 c 0.89/0.92 c This is cosoco 1.12 -- 0.89/0.92 c 0.89/0.92 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4293003-1532303715.xml 0.89/0.92 c enable optimization 0.89/0.92 c ========================================[ Problem Statistics ]=========================================== 0.89/0.92 c | 0.89/0.92 c | Parse time : 0.20 s 0.89/0.92 c | 0.89/0.92 c | Variables: 1007 0.89/0.92 c | Domain Sizes: 1..29 0.89/0.92 c | 0.89/0.92 c | Constraints: 2525 0.89/0.92 c | Arity: 1..247 -- Unary: 36 -- Binary: 988 -- Ternary: 764 0.89/0.92 c | 0.89/0.92 c | Types: 0.89/0.92 c | At least: 409 0.89/0.92 c | Exactly K variable: 184 0.89/0.92 c | Extension: 598 (nb tuples: 0..19) -- (shared: 574) 0.89/0.92 c | Intension: 309 0.89/0.92 c | MDD: 934 0.89/0.92 c | Sum: 55 0.89/0.92 c | Unary: 36 0.89/0.92 c | 0.89/0.92 c | Objective: Minimize Sum 0.89/0.92 0.89/0.92 c ========================================================================================================= 0.89/0.92 o 9911 0.89/0.92 c 1 calls to solver: best=9911 lower=0 upper=9910 2.19/2.25 o 9693 2.69/2.70 o 9692 2.69/2.70 c 3 calls to solver: best=9692 lower=0 upper=9691 2.79/2.87 o 9097 5.39/5.49 o 7649 5.39/5.49 c 5 calls to solver: best=7649 lower=0 upper=7648 5.79/5.86 o 6937 753.11/753.12 o 6854 753.11/753.12 c 7 calls to solver: best=6854 lower=0 upper=6853 2520.04/2520.00 2520.04/2520.00 c *** INTERRUPTED *** 2520.04/2520.00 c restarts : 96 2520.04/2520.00 c conflicts : 9761579 (3874 /sec) 2520.04/2520.00 c decisions : 46761156 (18556 /sec) 2520.04/2520.00 c propagations : 1215442102 (482312 /sec) 2520.04/2520.00 c root propagations : 1964 2520.04/2520.00 c filter calls : 2403844048 (953895 /sec) 2520.04/2520.00 c useless filter calls : 1752288359 (72 %) 2520.04/2520.00 c Memory used : 47.64 MB 2520.04/2520.00 c CPU time : 2520.03 s 2520.04/2520.00 2520.04/2520.00 c nb Solutions = 7 2520.04/2520.00 s SATISFIABLE 2520.04/2520.00 c Best value found: 6854 2520.04/2520.00 2520.04/2520.00 2520.04/2520.00 v <instantiation type='solution' cost='6854'> 2520.04/2520.00 v <list>cc[0][0] cc[0][1] cc[0][2] cc[0][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[1][0] cc[1][1] cc[1][2] cc[1][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] 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] cf[0] cf[10] cf[11] cf[12] cf[13] cf[14] cf[15] cf[16] cf[17] cf[18] cf[19] cf[1] cf[20] cf[21] cf[22] cf[23] cf[24] cf[25] cf[26] cf[27] cf[28] cf[29] cf[2] cf[30] cf[31] cf[32] cf[33] cf[34] cf[35] cf[36] cf[37] cf[38] cf[39] cf[3] cf[40] cf[41] cf[42] cf[43] cf[44] cf[45] cf[46] cf[47] cf[4] cf[5] cf[6] cf[7] cf[8] cf[9] cn[0] cn[10] cn[11] cn[12] cn[13] cn[14] cn[15] cn[16] cn[17] cn[18] cn[19] cn[1] cn[20] cn[21] cn[22] cn[23] cn[24] cn[25] cn[26] cn[27] cn[28] cn[29] cn[2] cn[30] cn[31] cn[32] cn[33] cn[34] cn[35] cn[36] cn[37] cn[38] cn[39] cn[3] cn[40] cn[41] cn[42] cn[43] cn[44] cn[45] cn[46] cn[47] cn[48] cn[49] cn[4] cn[50] cn[51] cn[52] cn[53] cn[54] cn[55] cn[56] cn[57] cn[58] cn[59] cn[5] cn[60] cn[61] cn[62] cn[63] cn[64] cn[65] cn[66] cn[67] cn[68] cn[69] cn[6] cn[70] cn[71] cn[72] cn[73] cn[74] cn[75] cn[76] cn[77] cn[78] cn[79] cn[7] cn[80] cn[81] cn[82] cn[83] cn[84] cn[85] cn[86] cn[8] cn[9] ds[0][0] ds[0][1] ds[0][2] ds[0][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[1][0] ds[1][1] ds[1][2] ds[1][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] 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] ps[0][0] ps[0][1] ps[0][2] ps[0][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[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] wk[0][0] wk[0][1] wk[0][2] wk[0][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[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] x[0][0] 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][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[10][0] 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][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[11][0] 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][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[12][0] 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][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[13][0] 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][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[14][0] 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][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[15][0] 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][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[16][0] 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][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[17][0] 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][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[18][0] 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][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[19][0] 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][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[1][0] 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][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[20][0] 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][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[21][0] 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][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[22][0] 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][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[23][0] 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][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[24][0] 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][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[25][0] 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][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[26][0] 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][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[27][0] 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][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[2][0] 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][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[3][0] 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][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[4][0] 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][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[5][0] 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][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[6][0] 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][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[7][0] 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][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[8][0] 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][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[9][0] 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][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] </list> 2520.04/2520.00 v <values>3 0 100 0 2 2 100 0 0 1 0 0 200 100 500 0 2 200 300 0 4 0 100 0 2 0 100 0 1 100 300 0 2 0 2 0 0 200 300 0 100 200 300 0 1 1 1 0 0 0 200 0 8 100 0 0 1 1 0 0 3 100 0 0 1 0 200 0 3 0 0 0 3 200 200 0 1 300 300 0 0 0 100 0 0 0 100 0 0 300 0 0 100 200 0 0 200 100 200 0 1 0 0 0 1 100 0 0 100 2 400 0 0 1 0 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 3 3 3 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 0 2 2 0 0 1 0 0 0 1 1 0 0 0 0 3 3 0 0 0 0 0 0 1 1 1 1 2 2 0 0 0 2 0 2 2 0 0 0 0 3 0 0 0 0 1 3 0 0 1 1 1 1 1 1 0 0 1 0 0 0 0 2 3 3 1 0 1 3 1 1 1 1 1 0 2 1 2 0 3 3 3 0 2 3 0 0 6 4 3 5 5 4 2 7 5 4 2 7 2 2 1 13 4 2 1 11 8 4 3 3 4 3 3 8 6 3 3 6 4 2 4 8 5 1 2 10 2 1 0 15 5 5 3 5 2 2 1 13 12 3 3 0 7 4 3 4 7 4 2 5 5 3 2 8 5 2 2 9 8 2 2 6 6 2 1 9 4 4 4 6 4 3 3 8 4 3 5 6 2 1 2 13 1 2 2 13 5 3 3 7 4 3 2 9 3 4 2 9 12 5 0 11 0 17 0 11 14 3 0 11 15 1 0 12 11 4 2 11 16 0 0 12 6 2 1 19 6 3 0 19 8 0 1 19 0 0 18 10 0 14 4 10 6 11 0 11 5 4 9 10 15 0 2 11 17 0 0 11 0 0 16 12 0 16 0 12 4 0 13 11 0 0 0 1 0 1 0 1 0 1 0 1 0 0 1 1 1 1 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 1 1 0 0 1 0 0 0 1 1 1 0 0 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 0 1 0 0 0 3 3 3 3 2 1 1 2 0 0 2 1 3 0 1 3 0 1 0 3 3 0 2 3 3 1 3 0 3 1 2 0 1 3 0 1 0 3 3 0 2 3 3 1 3 0 3 1 2 3 1 3 3 1 3 3 3 0 3 3 3 3 3 0 3 3 2 3 1 0 3 1 3 3 3 0 3 3 3 3 0 0 3 3 2 0 1 0 3 2 3 0 1 0 2 1 0 0 0 0 2 1 3 1 3 0 3 2 3 3 3 3 2 1 0 0 0 3 2 1 3 1 3 0 0 3 0 3 3 3 2 1 0 0 0 3 2 1 2 1 3 3 0 3 0 3 3 3 2 3 1 0 2 0 2 3 2 3 3 3 0 3 0 3 0 3 2 3 1 0 3 0 3 3 2 3 3 3 0 3 0 3 3 3 3 1 3 3 3 3 3 3 3 0 1 0 1 0 3 3 3 3 2 1 1 2 0 0 2 1 3 3 3 3 0 3 0 3 3 3 3 1 3 3 3 3 2 1 3 0 1 0 0 0 0 0 0 0 2 1 0 2 0 0 2 1 0 1 1 0 3 0 3 0 3 0 2 3 1 2 0 0 2 1 0 1 1 0 3 0 3 0 3 0 2 3 1 3 0 0 2 1 0 3 1 0 3 0 3 3 0 2 3 1 3 3 0 3 2 1 0 3 1 0 0 0 0 3 0 3 3 1 3 2 2 3 3 3 3 0 1 0 0 3 0 0 0 3 2 1 0 2 3 0 3 3 3 0 3 3 0 3 0 1 0 3 2 1 0 3 3 0 3 3 3 0 1 1 3 0 0 2 3 3 3 1 1 2 3 0 2 3 2 0 1 1 3 0 0 3 3 3 3 1 3 2 3 0 2 3 2 0 1 3 3 0 3 3 1 3 2 2 3 2 0 0 2 1 2 3 3 3 3 0 3 3 3 3 2 3 3 3 0 3 3 1 2 3 3 3 3 3 3 3 3 3 2 3 1 3 0 3 3 1 2 3 3 0 0 3 0 0 1 3 2 2 1 3 0 3 2 1 3 3 3 0 0 3 0 1 3 3 3 2 1 1 0 3 2 3 3 0 1 1 0 3 0 3 3 3 3 2 1 1 3 3 3 3 2 </values> 2520.04/2520.00 v </instantiation> 2520.04/2520.00
OK 6854
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 (10249 MiB free)
memory of node 1: 16384 MiB (10896 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293003-1532303715/watcher-4293003-1532303715 -o /tmp/evaluation-result-4293003-1532303715/solver-4293003-1532303715 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532296151-7764 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4293003-1532303715.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=8599, runsolver pid=8596
Current StackSize limit: 8192 KiB
[startup+0.100155 s]*
/proc/loadavg: 2.08 2.03 2.05 3/187 8600
/proc/meminfo: memFree=21646536/32770624 swapFree=67108860/67108860
[pid=8599] ppid=8596 vsize=34724 memory=11260 CPUtime=0.1 cores=1,3,5,7
/proc/8599/stat : 8599 (cosoco) R 8596 8599 7732 0 -1 4202496 2991 0 0 0 10 0 0 0 20 0 1 0 47934665 35557376 2815 33554432000 4194304 6142532 140728828352656 140728828343256 140070541831141 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28004352 140728828359814 140728828359944 140728828359944 140728828362702 0
/proc/8599/statm: 8681 2815 850 476 0 2003 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34724 KiB
Current children cumulated memory: 11260 KiB
[startup+0.209633 s]*
/proc/loadavg: 2.08 2.03 2.05 3/187 8600
/proc/meminfo: memFree=21636492/32770624 swapFree=67108860/67108860
[pid=8599] ppid=8596 vsize=44280 memory=20960 CPUtime=0.2 cores=1,3,5,7
/proc/8599/stat : 8599 (cosoco) R 8596 8599 7732 0 -1 4202496 5439 0 0 0 20 0 0 0 20 0 1 0 47934665 45342720 5240 33554432000 4194304 6142532 140728828352656 140728828343256 5347460 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28004352 140728828359814 140728828359944 140728828359944 140728828362702 0
/proc/8599/statm: 11070 5240 857 476 0 4392 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 44280 KiB
Current children cumulated memory: 20960 KiB
[startup+0.309517 s]*
/proc/loadavg: 2.08 2.03 2.05 3/187 8600
/proc/meminfo: memFree=21634260/32770624 swapFree=67108860/67108860
[pid=8599] ppid=8596 vsize=46392 memory=23072 CPUtime=0.31 cores=1,3,5,7
/proc/8599/stat : 8599 (cosoco) R 8596 8599 7732 0 -1 4202496 5959 0 0 0 30 1 0 0 20 0 1 0 47934665 47505408 5768 33554432000 4194304 6142532 140728828352656 140728828343256 4990698 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28004352 140728828359814 140728828359944 140728828359944 140728828362702 0
/proc/8599/statm: 11598 5768 899 476 0 4920 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 46392 KiB
Current children cumulated memory: 23072 KiB
[startup+0.700284 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 8600
/proc/meminfo: memFree=21633144/32770624 swapFree=67108860/67108860
[pid=8599] ppid=8596 vsize=47712 memory=24436 CPUtime=0.69 cores=1,3,5,7
/proc/8599/stat : 8599 (cosoco) R 8596 8599 7732 0 -1 4202496 6290 0 0 0 68 1 0 0 20 0 1 0 47934665 48857088 6109 33554432000 4194304 6142532 140728828352656 140728828343256 140070541831141 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28004352 140728828359814 140728828359944 140728828359944 140728828362702 0
/proc/8599/statm: 11928 6109 899 476 0 5250 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 47712 KiB
Current children cumulated memory: 24436 KiB
[startup+1.50026 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 8600
/proc/meminfo: memFree=21632400/32770624 swapFree=67108860/67108860
[pid=8599] ppid=8596 vsize=48248 memory=24964 CPUtime=1.49 cores=1,3,5,7
/proc/8599/stat : 8599 (cosoco) R 8596 8599 7732 0 -1 4202496 6414 0 0 0 148 1 0 0 20 0 1 0 47934665 49405952 6241 33554432000 4194304 6142532 140728828352656 140728828339928 5215584 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28004352 140728828359814 140728828359944 140728828359944 140728828362702 0
/proc/8599/statm: 12062 6241 899 476 0 5384 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 48248 KiB
Current children cumulated memory: 24964 KiB
[startup+3.10926 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 8600
/proc/meminfo: memFree=21632028/32770624 swapFree=67108860/67108860
[pid=8599] ppid=8596 vsize=48516 memory=25284 CPUtime=3.1 cores=1,3,5,7
/proc/8599/stat : 8599 (cosoco) R 8596 8599 7732 0 -1 4202496 11724 0 0 0 309 1 0 0 20 0 1 0 47934665 49680384 6321 33554432000 4194304 6142532 140728828352656 140728828350184 5347481 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28004352 140728828359814 140728828359944 140728828359944 140728828362702 0
/proc/8599/statm: 12129 6321 900 476 0 5451 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 48516 KiB
Current children cumulated memory: 25284 KiB
[startup+6.30027 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 8600
/proc/meminfo: memFree=21632272/32770624 swapFree=67108860/67108860
[pid=8599] ppid=8596 vsize=48648 memory=25404 CPUtime=6.29 cores=1,3,5,7
/proc/8599/stat : 8599 (cosoco) R 8596 8599 7732 0 -1 4202496 17041 0 0 0 628 1 0 0 20 0 1 0 47934665 49815552 6351 33554432000 4194304 6142532 140728828352656 140728828350184 5347460 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28004352 140728828359814 140728828359944 140728828359944 140728828362702 0
/proc/8599/statm: 12162 6351 900 476 0 5484 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 48648 KiB
Current children cumulated memory: 25404 KiB
[startup+12.7003 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 8600
/proc/meminfo: memFree=21632272/32770624 swapFree=67108860/67108860
[pid=8599] ppid=8596 vsize=48648 memory=25404 CPUtime=12.69 cores=1,3,5,7
/proc/8599/stat : 8599 (cosoco) R 8596 8599 7732 0 -1 4202496 22279 0 0 0 1268 1 0 0 20 0 1 0 47934665 49815552 6351 33554432000 4194304 6142532 140728828352656 140728828350184 5331056 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28004352 140728828359814 140728828359944 140728828359944 140728828362702 0
/proc/8599/statm: 12162 6351 900 476 0 5484 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 48648 KiB
Current children cumulated memory: 25404 KiB
[startup+25.5003 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 8600
/proc/meminfo: memFree=21632272/32770624 swapFree=67108860/67108860
[pid=8599] ppid=8596 vsize=48648 memory=25420 CPUtime=25.49 cores=1,3,5,7
/proc/8599/stat : 8599 (cosoco) R 8596 8599 7732 0 -1 4202496 29845 0 0 0 2547 2 0 0 20 0 1 0 47934665 49815552 6355 33554432000 4194304 6142532 140728828352656 140728828350184 5215644 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28004352 140728828359814 140728828359944 140728828359944 140728828362702 0
/proc/8599/statm: 12162 6355 900 476 0 5484 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 48648 KiB
Current children cumulated memory: 25420 KiB
[startup+51.1089 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 8600
/proc/meminfo: memFree=21632148/32770624 swapFree=67108860/67108860
[pid=8599] ppid=8596 vsize=48648 memory=25436 CPUtime=51.1 cores=1,3,5,7
/proc/8599/stat : 8599 (cosoco) R 8596 8599 7732 0 -1 4202496 38008 0 0 0 5108 2 0 0 20 0 1 0 47934665 49815552 6359 33554432000 4194304 6142532 140728828352656 140728828350184 5215649 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28004352 140728828359814 140728828359944 140728828359944 140728828362702 0
/proc/8599/statm: 12162 6359 900 476 0 5484 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 48648 KiB
Current children cumulated memory: 25436 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 8601
/proc/meminfo: memFree=21631572/32770624 swapFree=67108860/67108860
[pid=8599] ppid=8596 vsize=48648 memory=25436 CPUtime=102.29 cores=1,3,5,7
/proc/8599/stat : 8599 (cosoco) R 8596 8599 7732 0 -1 4202496 38765 0 0 0 10227 2 0 0 20 0 1 0 47934665 49815552 6359 33554432000 4194304 6142532 140728828352656 140728828350184 5347477 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28004352 140728828359814 140728828359944 140728828359944 140728828362702 0
/proc/8599/statm: 12162 6359 900 476 0 5484 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 48648 KiB
Current children cumulated memory: 25436 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 8602
/proc/meminfo: memFree=21631708/32770624 swapFree=67108860/67108860
[pid=8599] ppid=8596 vsize=48648 memory=25436 CPUtime=162.29 cores=1,3,5,7
/proc/8599/stat : 8599 (cosoco) R 8596 8599 7732 0 -1 4202496 39513 0 0 0 16227 2 0 0 20 0 1 0 47934665 49815552 6359 33554432000 4194304 6142532 140728828352656 140728828350184 5124720 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28004352 140728828359814 140728828359944 140728828359944 140728828362702 0
/proc/8599/statm: 12162 6359 900 476 0 5484 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 48648 KiB
Current children cumulated memory: 25436 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8667
/proc/meminfo: memFree=21711740/32770624 swapFree=67108860/67108860
[pid=8599] ppid=8596 vsize=48648 memory=25436 CPUtime=222.29 cores=1,3,5,7
/proc/8599/stat : 8599 (cosoco) R 8596 8599 7732 0 -1 4202496 40275 0 0 0 22227 2 0 0 20 0 1 0 47934665 49815552 6359 33554432000 4194304 6142532 140728828352656 140728828350184 5124158 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28004352 140728828359814 140728828359944 140728828359944 140728828362702 0
/proc/8599/statm: 12162 6359 900 476 0 5484 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 48648 KiB
Current children cumulated memory: 25436 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8668
/proc/meminfo: memFree=21711844/32770624 swapFree=67108860/67108860
[pid=8599] ppid=8596 vsize=48648 memory=25440 CPUtime=282.29 cores=1,3,5,7
/proc/8599/stat : 8599 (cosoco) R 8596 8599 7732 0 -1 4202496 41016 0 0 0 28227 2 0 0 20 0 1 0 47934665 49815552 6360 33554432000 4194304 6142532 140728828352656 140728828350184 4995266 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28004352 140728828359814 140728828359944 140728828359944 140728828362702 0
/proc/8599/statm: 12162 6360 900 476 0 5484 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 48648 KiB
Current children cumulated memory: 25440 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8676
/proc/meminfo: memFree=21711572/32770624 swapFree=67108860/67108860
[pid=8599] ppid=8596 vsize=48648 memory=25440 CPUtime=342.29 cores=1,3,5,7
/proc/8599/stat : 8599 (cosoco) R 8596 8599 7732 0 -1 4202496 41746 0 0 0 34227 2 0 0 20 0 1 0 47934665 49815552 6360 33554432000 4194304 6142532 140728828352656 140728828350184 5138388 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28004352 140728828359814 140728828359944 140728828359944 140728828362702 0
/proc/8599/statm: 12162 6360 900 476 0 5484 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 48648 KiB
Current children cumulated memory: 25440 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8703
/proc/meminfo: memFree=21710504/32770624 swapFree=67108860/67108860
[pid=8599] ppid=8596 vsize=48648 memory=25440 CPUtime=402.29 cores=1,3,5,7
/proc/8599/stat : 8599 (cosoco) R 8596 8599 7732 0 -1 4202496 42478 0 0 0 40227 2 0 0 20 0 1 0 47934665 49815552 6360 33554432000 4194304 6142532 140728828352656 140728828350184 5215653 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28004352 140728828359814 140728828359944 140728828359944 140728828362702 0
/proc/8599/statm: 12162 6360 900 476 0 5484 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 48648 KiB
Current children cumulated memory: 25440 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8704
/proc/meminfo: memFree=21710480/32770624 swapFree=67108860/67108860
[pid=8599] ppid=8596 vsize=48648 memory=25440 CPUtime=462.29 cores=1,3,5,7
/proc/8599/stat : 8599 (cosoco) R 8596 8599 7732 0 -1 4202496 43237 0 0 0 46227 2 0 0 20 0 1 0 47934665 49815552 6360 33554432000 4194304 6142532 140728828352656 140728828350184 5138362 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28004352 140728828359814 140728828359944 140728828359944 140728828362702 0
/proc/8599/statm: 12162 6360 900 476 0 5484 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 48648 KiB
Current children cumulated memory: 25440 KiB
################
# More data... #
################
/proc/8599/statm: 12196 6405 900 476 0 5518 0
Current children cumulated CPU time: 1722.32 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 25620 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8743
/proc/meminfo: memFree=21710024/32770624 swapFree=67108860/67108860
[pid=8599] ppid=8596 vsize=48784 memory=25620 CPUtime=1782.32 cores=1,3,5,7
/proc/8599/stat : 8599 (cosoco) R 8596 8599 7732 0 -1 4202496 55843 0 0 0 178230 2 0 0 20 0 1 0 47934665 49954816 6405 33554432000 4194304 6142532 140728828352656 140728828339928 5001184 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28004352 140728828359814 140728828359944 140728828359944 140728828362702 0
/proc/8599/statm: 12196 6405 900 476 0 5518 0
Current children cumulated CPU time: 1782.32 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 25620 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8745
/proc/meminfo: memFree=21710288/32770624 swapFree=67108860/67108860
[pid=8599] ppid=8596 vsize=48784 memory=25620 CPUtime=1842.32 cores=1,3,5,7
/proc/8599/stat : 8599 (cosoco) R 8596 8599 7732 0 -1 4202496 56106 0 0 0 184230 2 0 0 20 0 1 0 47934665 49954816 6405 33554432000 4194304 6142532 140728828352656 140728828339928 5215584 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28004352 140728828359814 140728828359944 140728828359944 140728828362702 0
/proc/8599/statm: 12196 6405 900 476 0 5518 0
Current children cumulated CPU time: 1842.32 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 25620 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8746
/proc/meminfo: memFree=21710156/32770624 swapFree=67108860/67108860
[pid=8599] ppid=8596 vsize=48784 memory=25620 CPUtime=1902.32 cores=1,3,5,7
/proc/8599/stat : 8599 (cosoco) R 8596 8599 7732 0 -1 4202496 56406 0 0 0 190230 2 0 0 20 0 1 0 47934665 49954816 6405 33554432000 4194304 6142532 140728828352656 140728828339928 5366734 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28004352 140728828359814 140728828359944 140728828359944 140728828362702 0
/proc/8599/statm: 12196 6405 900 476 0 5518 0
Current children cumulated CPU time: 1902.32 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 25620 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8747
/proc/meminfo: memFree=21710164/32770624 swapFree=67108860/67108860
[pid=8599] ppid=8596 vsize=48784 memory=25620 CPUtime=1962.32 cores=1,3,5,7
/proc/8599/stat : 8599 (cosoco) R 8596 8599 7732 0 -1 4202496 56703 0 0 0 196230 2 0 0 20 0 1 0 47934665 49954816 6405 33554432000 4194304 6142532 140728828352656 140728828339928 5347473 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28004352 140728828359814 140728828359944 140728828359944 140728828362702 0
/proc/8599/statm: 12196 6405 900 476 0 5518 0
Current children cumulated CPU time: 1962.32 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 25620 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8749
/proc/meminfo: memFree=21710172/32770624 swapFree=67108860/67108860
[pid=8599] ppid=8596 vsize=48784 memory=25620 CPUtime=2022.32 cores=1,3,5,7
/proc/8599/stat : 8599 (cosoco) R 8596 8599 7732 0 -1 4202496 56939 0 0 0 202230 2 0 0 20 0 1 0 47934665 49954816 6405 33554432000 4194304 6142532 140728828352656 140728828339928 5140175 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28004352 140728828359814 140728828359944 140728828359944 140728828362702 0
/proc/8599/statm: 12196 6405 900 476 0 5518 0
Current children cumulated CPU time: 2022.32 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 25620 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8750
/proc/meminfo: memFree=21710172/32770624 swapFree=67108860/67108860
[pid=8599] ppid=8596 vsize=48784 memory=25620 CPUtime=2082.33 cores=1,3,5,7
/proc/8599/stat : 8599 (cosoco) R 8596 8599 7732 0 -1 4202496 57179 0 0 0 208231 2 0 0 20 0 1 0 47934665 49954816 6405 33554432000 4194304 6142532 140728828352656 140728828339928 5140252 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28004352 140728828359814 140728828359944 140728828359944 140728828362702 0
/proc/8599/statm: 12196 6405 900 476 0 5518 0
Current children cumulated CPU time: 2082.33 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 25620 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8759
/proc/meminfo: memFree=21710076/32770624 swapFree=67108860/67108860
[pid=8599] ppid=8596 vsize=48784 memory=25620 CPUtime=2142.33 cores=1,3,5,7
/proc/8599/stat : 8599 (cosoco) R 8596 8599 7732 0 -1 4202496 57481 0 0 0 214231 2 0 0 20 0 1 0 47934665 49954816 6405 33554432000 4194304 6142532 140728828352656 140728828339928 5318987 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28004352 140728828359814 140728828359944 140728828359944 140728828362702 0
/proc/8599/statm: 12196 6405 900 476 0 5518 0
Current children cumulated CPU time: 2142.33 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 25620 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8760
/proc/meminfo: memFree=21710212/32770624 swapFree=67108860/67108860
[pid=8599] ppid=8596 vsize=48784 memory=25620 CPUtime=2202.33 cores=1,3,5,7
/proc/8599/stat : 8599 (cosoco) R 8596 8599 7732 0 -1 4202496 57757 0 0 0 220231 2 0 0 20 0 1 0 47934665 49954816 6405 33554432000 4194304 6142532 140728828352656 140728828339928 5215635 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28004352 140728828359814 140728828359944 140728828359944 140728828362702 0
/proc/8599/statm: 12196 6405 900 476 0 5518 0
Current children cumulated CPU time: 2202.33 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 25620 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8761
/proc/meminfo: memFree=21710204/32770624 swapFree=67108860/67108860
[pid=8599] ppid=8596 vsize=48784 memory=25620 CPUtime=2262.33 cores=1,3,5,7
/proc/8599/stat : 8599 (cosoco) R 8596 8599 7732 0 -1 4202496 57999 0 0 0 226231 2 0 0 20 0 1 0 47934665 49954816 6405 33554432000 4194304 6142532 140728828352656 140728828339928 5360440 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28004352 140728828359814 140728828359944 140728828359944 140728828362702 0
/proc/8599/statm: 12196 6405 900 476 0 5518 0
Current children cumulated CPU time: 2262.33 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 25620 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8762
/proc/meminfo: memFree=21710204/32770624 swapFree=67108860/67108860
[pid=8599] ppid=8596 vsize=48784 memory=25620 CPUtime=2322.33 cores=1,3,5,7
/proc/8599/stat : 8599 (cosoco) R 8596 8599 7732 0 -1 4202496 58303 0 0 0 232231 2 0 0 20 0 1 0 47934665 49954816 6405 33554432000 4194304 6142532 140728828352656 140728828339928 5215813 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28004352 140728828359814 140728828359944 140728828359944 140728828362702 0
/proc/8599/statm: 12196 6405 900 476 0 5518 0
Current children cumulated CPU time: 2322.33 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 25620 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8763
/proc/meminfo: memFree=21710048/32770624 swapFree=67108860/67108860
[pid=8599] ppid=8596 vsize=48784 memory=25620 CPUtime=2382.33 cores=1,3,5,7
/proc/8599/stat : 8599 (cosoco) R 8596 8599 7732 0 -1 4202496 58554 0 0 0 238231 2 0 0 20 0 1 0 47934665 49954816 6405 33554432000 4194304 6142532 140728828352656 140728828339928 5347460 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28004352 140728828359814 140728828359944 140728828359944 140728828362702 0
/proc/8599/statm: 12196 6405 900 476 0 5518 0
Current children cumulated CPU time: 2382.33 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 25620 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8764
/proc/meminfo: memFree=21710196/32770624 swapFree=67108860/67108860
[pid=8599] ppid=8596 vsize=48784 memory=25620 CPUtime=2442.34 cores=1,3,5,7
/proc/8599/stat : 8599 (cosoco) R 8596 8599 7732 0 -1 4202496 58797 0 0 0 244232 2 0 0 20 0 1 0 47934665 49954816 6405 33554432000 4194304 6142532 140728828352656 140728828339928 5215653 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28004352 140728828359814 140728828359944 140728828359944 140728828362702 0
/proc/8599/statm: 12196 6405 900 476 0 5518 0
Current children cumulated CPU time: 2442.34 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 25620 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8765
/proc/meminfo: memFree=21709816/32770624 swapFree=67108860/67108860
[pid=8599] ppid=8596 vsize=48784 memory=25620 CPUtime=2502.34 cores=1,3,5,7
/proc/8599/stat : 8599 (cosoco) R 8596 8599 7732 0 -1 4202496 59053 0 0 0 250232 2 0 0 20 0 1 0 47934665 49954816 6405 33554432000 4194304 6142532 140728828352656 140728828339928 5138182 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28004352 140728828359814 140728828359944 140728828359944 140728828362702 0
/proc/8599/statm: 12196 6405 900 476 0 5518 0
Current children cumulated CPU time: 2502.34 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 25620 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 8766
/proc/meminfo: memFree=21709972/32770624 swapFree=67108860/67108860
[pid=8599] ppid=8596 vsize=48784 memory=25620 CPUtime=2520.04 cores=1,3,5,7
/proc/8599/stat : 8599 (cosoco) R 8596 8599 7732 0 -1 4202496 59296 0 0 0 252002 2 0 0 20 0 1 0 47934665 49954816 6405 33554432000 4194304 6142532 140728828352656 140728828339928 5175264 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28004352 140728828359814 140728828359944 140728828359944 140728828362702 0
/proc/8599/statm: 12196 6405 900 476 0 5518 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 25620 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 8599 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520.03 s, system=0.03 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2520.06
CPU user time (s): 2520.03
CPU system time (s): 0.03
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 48784
Max. memory (cumulated for all children) (KiB): 25620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.03
system time used= 0.03
maximum resident set size= 25684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59344
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25
involuntary context switches= 648
# summary of solver processes directly reported to runsolver:
# pid: 8599
# total CPU time (s): 2520.06
# total CPU user time (s): 2520.03
# total CPU system time (s): 0.03
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.66779 second user time and 14.8915 second system time
The end
Begin job on node137 at 2018-07-23 01:55:15 IDJOB=4293003 IDBENCH=141058 IDSOLVER=2752 FILE ID=node137/4293003-1532303715 RUNJOBID= node137-1532296151-7764 PBS_JOBID= 21018986 Free space on /tmp= 56892 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/NurseRostering/NurseRostering-06_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293003-1532303715/watcher-4293003-1532303715 -o /tmp/evaluation-result-4293003-1532303715/solver-4293003-1532303715 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532296151-7764 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4293003-1532303715.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9a3bf89ae74321e3cfb193774a0c0983 RANDOM SEED=2134512097 node137.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.54 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.56 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.54 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.56 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.54 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.56 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.54 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 21654612 kB MemAvailable: 31851720 kB Buffers: 247856 kB Cached: 10146728 kB SwapCached: 0 kB Active: 1829152 kB Inactive: 8708012 kB Active(anon): 145232 kB Inactive(anon): 16944 kB Active(file): 1683920 kB Inactive(file): 8691068 kB Unevictable: 7312 kB Mlocked: 7312 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2416 kB Writeback: 0 kB AnonPages: 55468 kB Mapped: 38160 kB Shmem: 17036 kB Slab: 277628 kB SReclaimable: 250580 kB SUnreclaim: 27048 kB KernelStack: 3568 kB PageTables: 4864 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 429232 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 56888 MiB End job on node137 at 2018-07-23 02:37:15