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) | 6859 | 2520.06 | 2520.01 |
| Name | NurseRostering/ NurseRostering-05_c18.xml |
| MD5SUM | b6cc1cad0a6ec682295352adb28466c6 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 1819 |
| Best CPU time to get the best result obtained on this benchmark | 2400.21 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 834 |
| Number of constraints | 2135 |
| Number of domains | 14 |
| Minimum domain size | 1 |
| Maximum domain size | 29 |
| Distribution of domain sizes | [{"size":1,"count":34},{"size":2,"count":170},{"size":3,"count":448},{"size":15,"count":10},{"size":17,"count":140},{"size":29,"count":32}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 23 |
| Distribution of variable degrees | [{"degree":2,"count":322},{"degree":3,"count":64},{"degree":11,"count":16},{"degree":12,"count":15},{"degree":13,"count":1},{"degree":14,"count":12},{"degree":15,"count":17},{"degree":16,"count":22},{"degree":17,"count":26},{"degree":18,"count":24},{"degree":19,"count":109},{"degree":20,"count":73},{"degree":21,"count":82},{"degree":22,"count":46},{"degree":23,"count":5}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 32 |
| Distribution of constraint arities | [{"arity":2,"count":782},{"arity":3,"count":692},{"arity":4,"count":166},{"arity":6,"count":230},{"arity":7,"count":132},{"arity":17,"count":84},{"arity":29,"count":48},{"arity":32,"count":1}] |
| Number of extensional constraints | 516 |
| Number of intensional constraints | 266 |
| Distribution of constraint types | [{"type":"extension","count":516},{"type":"intension","count":266},{"type":"regular","count":826},{"type":"sum","count":32},{"type":"count","count":494},{"type":"instantiation","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.10/0.17 c best=?? lower=0 upper=29019 0.30/0.34 c 0.30/0.34 c This is cosoco 1.12 -- 0.30/0.34 c 0.30/0.34 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4292947-1532300257.xml 0.30/0.34 c enable optimization 0.30/0.34 c ========================================[ Problem Statistics ]=========================================== 0.30/0.34 c | 0.30/0.34 c | Parse time : 0.17 s 0.30/0.34 c | 0.30/0.34 c | Variables: 834 0.30/0.34 c | Domain Sizes: 1..29 0.30/0.34 c | 0.30/0.34 c | Constraints: 2183 0.30/0.34 c | Arity: 1..190 -- Unary: 32 -- Binary: 814 -- Ternary: 676 0.30/0.34 c | 0.30/0.34 c | Types: 0.30/0.34 c | At least: 362 0.30/0.34 c | Exactly K variable: 132 0.30/0.34 c | Extension: 516 (nb tuples: 0..17) -- (shared: 493) 0.30/0.34 c | Intension: 266 0.30/0.34 c | MDD: 826 0.30/0.34 c | Sum: 49 0.30/0.34 c | Unary: 32 0.30/0.34 c | 0.30/0.34 c | Objective: Minimize Sum 0.30/0.34 0.30/0.34 c ========================================================================================================= 0.30/0.34 o 8937 0.30/0.34 c 1 calls to solver: best=8937 lower=0 upper=8936 0.69/0.74 o 8848 0.99/1.03 o 8739 0.99/1.03 c 3 calls to solver: best=8739 lower=0 upper=8738 1.29/1.39 o 8661 1.39/1.43 o 8464 1.39/1.43 c 5 calls to solver: best=8464 lower=0 upper=8463 1.59/1.64 o 8462 1.59/1.68 o 8459 1.59/1.68 c 7 calls to solver: best=8459 lower=0 upper=8458 1.69/1.75 o 8362 1.79/1.80 o 8263 1.79/1.80 c 9 calls to solver: best=8263 lower=0 upper=8262 1.79/1.84 o 8259 1.79/1.88 o 8165 1.79/1.88 c 11 calls to solver: best=8165 lower=0 upper=8164 4.69/4.79 o 8091 4.99/5.01 o 8078 4.99/5.01 c 13 calls to solver: best=8078 lower=0 upper=8077 7.39/7.48 o 8072 7.49/7.55 o 8071 7.49/7.55 c 15 calls to solver: best=8071 lower=0 upper=8070 7.59/7.60 o 7971 7.59/7.67 o 7970 7.59/7.67 c 17 calls to solver: best=7970 lower=0 upper=7969 7.69/7.73 o 7880 7.79/7.87 o 7879 7.79/7.87 c 19 calls to solver: best=7879 lower=0 upper=7878 101.19/101.20 o 7869 219.00/219.10 o 7851 219.00/219.10 c 21 calls to solver: best=7851 lower=0 upper=7850 300.29/300.31 o 7850 301.29/301.30 o 7758 301.29/301.30 c 23 calls to solver: best=7758 lower=0 upper=7757 301.39/301.45 o 7657 301.59/301.61 o 7656 301.59/301.61 c 25 calls to solver: best=7656 lower=0 upper=7655 301.79/301.81 o 7655 304.59/304.66 o 7556 304.59/304.66 c 27 calls to solver: best=7556 lower=0 upper=7555 305.00/305.03 o 7555 305.69/305.75 o 7458 305.69/305.75 c 29 calls to solver: best=7458 lower=0 upper=7457 305.89/306.00 o 7455 306.10/306.13 o 7453 306.10/306.13 c 31 calls to solver: best=7453 lower=0 upper=7452 306.19/306.26 o 7452 306.29/306.33 o 7451 306.29/306.33 c 33 calls to solver: best=7451 lower=0 upper=7450 306.49/306.52 o 7450 306.79/306.87 o 7449 306.79/306.87 c 35 calls to solver: best=7449 lower=0 upper=7448 307.00/307.09 o 7354 307.10/307.15 o 7353 307.10/307.15 c 37 calls to solver: best=7353 lower=0 upper=7352 307.19/307.21 o 7352 307.39/307.49 o 7351 307.39/307.49 c 39 calls to solver: best=7351 lower=0 upper=7350 307.89/307.97 o 7252 308.19/308.21 o 7152 308.19/308.21 c 41 calls to solver: best=7152 lower=0 upper=7151 308.29/308.31 o 7151 308.59/308.60 o 7150 308.59/308.60 c 43 calls to solver: best=7150 lower=0 upper=7149 309.79/309.89 o 7050 362.89/363.00 o 6965 362.89/363.00 c 45 calls to solver: best=6965 lower=0 upper=6964 972.81/972.84 o 6957 1637.32/1637.39 o 6956 1637.32/1637.39 c 47 calls to solver: best=6956 lower=0 upper=6955 1665.42/1665.45 o 6955 1671.52/1671.57 o 6954 1671.52/1671.57 c 49 calls to solver: best=6954 lower=0 upper=6953 1673.03/1673.07 o 6953 1677.22/1677.25 o 6952 1677.22/1677.25 c 51 calls to solver: best=6952 lower=0 upper=6951 1682.52/1682.59 o 6951 1686.03/1686.07 o 6950 1686.03/1686.07 c 53 calls to solver: best=6950 lower=0 upper=6949 1756.13/1756.20 o 6859 2520.05/2520.00 2520.05/2520.00 c *** INTERRUPTED *** 2520.05/2520.00 c restarts : 93 2520.05/2520.00 c conflicts : 7177573 (2848 /sec) 2520.05/2520.00 c decisions : 44737482 (17753 /sec) 2520.05/2520.00 c propagations : 1318199275 (523096 /sec) 2520.05/2520.00 c root propagations : 998 2520.05/2520.00 c filter calls : 2477023485 (982948 /sec) 2520.05/2520.00 c useless filter calls : 1791613246 (72 %) 2520.05/2520.00 c Memory used : 42.25 MB 2520.05/2520.00 c CPU time : 2519.99 s 2520.05/2520.00 2520.05/2520.00 c nb Solutions = 54 2520.05/2520.00 s SATISFIABLE 2520.05/2520.00 c Best value found: 6859 2520.05/2520.00 2520.05/2520.00 2520.05/2520.00 v <instantiation type='solution' cost='6859'> 2520.05/2520.00 v <list>cc[0][0] cc[0][1] cc[0][2] cc[10][0] cc[10][1] cc[10][2] cc[11][0] cc[11][1] cc[11][2] cc[12][0] cc[12][1] cc[12][2] cc[13][0] cc[13][1] cc[13][2] cc[14][0] cc[14][1] cc[14][2] cc[15][0] cc[15][1] cc[15][2] cc[16][0] cc[16][1] cc[16][2] cc[17][0] cc[17][1] cc[17][2] cc[18][0] cc[18][1] cc[18][2] cc[19][0] cc[19][1] cc[19][2] cc[1][0] cc[1][1] cc[1][2] cc[20][0] cc[20][1] cc[20][2] cc[21][0] cc[21][1] cc[21][2] cc[22][0] cc[22][1] cc[22][2] cc[23][0] cc[23][1] cc[23][2] cc[24][0] cc[24][1] cc[24][2] cc[25][0] cc[25][1] cc[25][2] cc[26][0] cc[26][1] cc[26][2] cc[27][0] cc[27][1] cc[27][2] cc[2][0] cc[2][1] cc[2][2] cc[3][0] cc[3][1] cc[3][2] cc[4][0] cc[4][1] cc[4][2] cc[5][0] cc[5][1] cc[5][2] cc[6][0] cc[6][1] cc[6][2] cc[7][0] cc[7][1] cc[7][2] cc[8][0] cc[8][1] cc[8][2] cc[9][0] cc[9][1] cc[9][2] 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[2] cf[3] 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[7] cn[8] cn[9] ds[0][0] ds[0][1] ds[0][2] ds[10][0] ds[10][1] ds[10][2] ds[11][0] ds[11][1] ds[11][2] ds[12][0] ds[12][1] ds[12][2] ds[13][0] ds[13][1] ds[13][2] ds[14][0] ds[14][1] ds[14][2] ds[15][0] ds[15][1] ds[15][2] ds[16][0] ds[16][1] ds[16][2] ds[17][0] ds[17][1] ds[17][2] ds[18][0] ds[18][1] ds[18][2] ds[19][0] ds[19][1] ds[19][2] ds[1][0] ds[1][1] ds[1][2] ds[20][0] ds[20][1] ds[20][2] ds[21][0] ds[21][1] ds[21][2] ds[22][0] ds[22][1] ds[22][2] ds[23][0] ds[23][1] ds[23][2] ds[24][0] ds[24][1] ds[24][2] ds[25][0] ds[25][1] ds[25][2] ds[26][0] ds[26][1] ds[26][2] ds[27][0] ds[27][1] ds[27][2] ds[2][0] ds[2][1] ds[2][2] ds[3][0] ds[3][1] ds[3][2] ds[4][0] ds[4][1] ds[4][2] ds[5][0] ds[5][1] ds[5][2] ds[6][0] ds[6][1] ds[6][2] ds[7][0] ds[7][1] ds[7][2] ds[8][0] ds[8][1] ds[8][2] ds[9][0] ds[9][1] ds[9][2] ps[0][0] ps[0][1] ps[0][2] ps[10][0] ps[10][1] ps[10][2] ps[11][0] ps[11][1] ps[11][2] ps[12][0] ps[12][1] ps[12][2] ps[13][0] ps[13][1] ps[13][2] ps[14][0] ps[14][1] ps[14][2] ps[15][0] ps[15][1] ps[15][2] ps[1][0] ps[1][1] ps[1][2] ps[2][0] ps[2][1] ps[2][2] ps[3][0] ps[3][1] ps[3][2] ps[4][0] ps[4][1] ps[4][2] ps[5][0] ps[5][1] ps[5][2] ps[6][0] ps[6][1] ps[6][2] ps[7][0] ps[7][1] ps[7][2] ps[8][0] ps[8][1] ps[8][2] ps[9][0] ps[9][1] ps[9][2] 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[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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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.05/2520.00 v <values>3 0 0 1 0 0 100 200 0 0 300 0 3 300 0 2 100 0 2 300 0 5 400 0 5 200 0 0 200 0 200 400 0 2 0 0 300 400 0 0 400 0 1 200 0 4 300 0 4 300 0 6 300 0 4 500 0 0 300 0 2 100 0 2 0 0 0 1 0 0 0 0 100 200 0 0 100 0 1 200 0 3 300 0 0 0 0 0 0 0 0 0 2 2 2 0 2 0 0 0 0 0 0 2 2 0 2 0 0 0 0 0 2 2 0 0 0 0 2 2 2 0 3 0 0 3 3 0 3 3 0 0 0 3 1 2 3 3 3 3 3 0 1 1 0 0 0 0 0 0 1 0 0 0 0 3 0 2 2 0 0 1 1 1 0 0 3 1 0 0 0 0 0 0 3 3 3 0 3 3 0 0 0 1 3 3 3 2 2 2 8 4 4 6 4 6 5 2 9 6 1 9 9 1 6 9 2 5 10 1 5 11 1 4 12 2 2 7 2 7 4 0 12 9 4 3 3 0 13 6 0 10 6 2 8 10 2 4 10 1 5 10 1 5 10 1 5 7 2 7 7 5 4 8 4 4 7 4 5 6 3 7 5 2 9 6 3 7 7 2 7 9 3 4 16 0 12 16 0 12 16 0 12 12 5 11 17 0 11 18 0 10 11 7 10 16 0 12 14 4 10 14 3 11 16 0 12 10 8 10 6 12 10 10 8 10 6 11 11 15 1 12 1 1 0 0 0 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 0 0 1 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 1 0 0 0 1 0 1 1 0 0 1 1 0 0 1 0 2 0 2 0 0 0 0 2 2 0 1 1 1 1 0 2 2 0 2 0 2 1 0 1 0 0 1 0 2 2 1 2 2 0 2 0 2 1 0 2 1 0 2 0 2 2 2 0 2 0 0 0 2 1 2 2 2 0 2 0 2 2 2 0 0 2 0 0 0 1 2 0 2 2 0 0 0 2 2 0 0 2 0 2 0 1 2 0 0 2 0 0 0 1 2 0 0 2 0 2 0 2 0 0 0 0 0 2 0 1 2 0 0 0 0 2 0 2 0 0 0 0 0 2 0 1 2 2 0 0 0 0 0 2 0 0 0 0 0 1 0 1 0 2 0 0 2 0 2 0 0 2 1 0 2 1 2 2 0 2 2 0 2 0 2 0 0 2 2 2 2 2 2 2 2 0 2 0 2 0 0 0 0 0 2 0 1 1 1 1 0 2 2 0 2 0 2 0 2 2 2 2 2 2 2 2 2 2 2 0 2 0 0 0 2 2 2 2 2 0 2 0 2 2 0 2 0 0 0 0 2 2 2 2 2 1 0 1 2 0 0 2 0 2 0 0 2 0 0 2 0 1 0 1 0 0 0 2 0 2 0 2 0 0 0 2 0 1 0 2 0 0 0 2 0 2 0 2 0 0 0 2 0 1 0 2 0 2 0 2 0 2 0 2 0 0 0 0 0 2 0 1 0 2 0 2 0 2 2 2 0 0 0 0 1 2 2 1 0 0 2 0 1 0 2 0 0 1 2 0 1 2 1 1 0 2 0 0 1 0 2 0 0 1 0 0 1 2 1 2 0 2 0 0 1 0 2 0 0 1 0 0 2 1 1 2 2 0 2 0 1 0 0 1 2 2 0 2 2 1 2 0 2 0 2 2 1 2 0 2 2 2 0 2 2 1 2 0 0 0 2 2 2 2 0 2 2 0 1 2 0 1 1 0 0 0 0 2 2 2 0 2 2 0 2 0 1 2 1 0 0 0 0 0 2 0 0 1 2 0 2 0 1 2 1 0 0 </values> 2520.05/2520.00 v </instantiation> 2520.05/2520.00
OK 6859
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 (10691 MiB free)
memory of node 1: 16384 MiB (12132 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292947-1532300257/watcher-4292947-1532300257 -o /tmp/evaluation-result-4292947-1532300257/solver-4292947-1532300257 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532297735-5127 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4292947-1532300257.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=5368, runsolver pid=5365
Current StackSize limit: 8192 KiB
[startup+0.100154 s]*
/proc/loadavg: 2.01 2.02 1.96 3/192 5369
/proc/meminfo: memFree=23295228/32770624 swapFree=67108860/67108860
[pid=5368] ppid=5365 vsize=33884 memory=10420 CPUtime=0.1 cores=1,3,5,7
/proc/5368/stat : 5368 (cosoco) R 5365 5368 5095 0 -1 4202496 2790 0 0 0 10 0 0 0 20 0 1 0 47588831 34697216 2605 33554432000 4194304 6142532 140735182352992 140735182349624 5420927 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38342656 140735182361734 140735182361864 140735182361864 140735182364622 0
/proc/5368/statm: 8471 2605 850 476 0 1793 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33884 KiB
Current children cumulated memory: 10420 KiB
[startup+0.209681 s]*
/proc/loadavg: 2.01 2.02 1.96 3/192 5369
/proc/meminfo: memFree=23254184/32770624 swapFree=67108860/67108860
[pid=5368] ppid=5365 vsize=41392 memory=18056 CPUtime=0.2 cores=1,3,5,7
/proc/5368/stat : 5368 (cosoco) R 5365 5368 5095 0 -1 4202496 4711 0 0 0 20 0 0 0 20 0 1 0 47588831 42385408 4514 33554432000 4194304 6142532 140735182352992 140735182349624 5215644 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38342656 140735182361734 140735182361864 140735182361864 140735182364622 0
/proc/5368/statm: 10348 4514 899 476 0 3670 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41392 KiB
Current children cumulated memory: 18056 KiB
[startup+0.309544 s]*
/proc/loadavg: 2.01 2.02 1.96 3/192 5369
/proc/meminfo: memFree=23213100/32770624 swapFree=67108860/67108860
[pid=5368] ppid=5365 vsize=42464 memory=19112 CPUtime=0.3 cores=1,3,5,7
/proc/5368/stat : 5368 (cosoco) R 5365 5368 5095 0 -1 4202496 4971 0 0 0 30 0 0 0 20 0 1 0 47588831 43483136 4778 33554432000 4194304 6142532 140735182352992 140735182349624 5215649 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38342656 140735182361734 140735182361864 140735182361864 140735182364622 0
/proc/5368/statm: 10616 4778 899 476 0 3938 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42464 KiB
Current children cumulated memory: 19112 KiB
[startup+0.700297 s]
/proc/loadavg: 2.01 2.02 1.96 3/192 5369
/proc/meminfo: memFree=23158364/32770624 swapFree=67108860/67108860
[pid=5368] ppid=5365 vsize=42728 memory=19376 CPUtime=0.69 cores=1,3,5,7
/proc/5368/stat : 5368 (cosoco) R 5365 5368 5095 0 -1 4202496 5052 0 0 0 69 0 0 0 20 0 1 0 47588831 43753472 4844 33554432000 4194304 6142532 140735182352992 140735182340264 5215632 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38342656 140735182361734 140735182361864 140735182361864 140735182364622 0
/proc/5368/statm: 10682 4844 899 476 0 4004 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 42728 KiB
Current children cumulated memory: 19376 KiB
[startup+1.5003 s]
/proc/loadavg: 2.01 2.02 1.96 3/192 5369
/proc/meminfo: memFree=23002372/32770624 swapFree=67108860/67108860
[pid=5368] ppid=5365 vsize=42992 memory=19640 CPUtime=1.49 cores=1,3,5,7
/proc/5368/stat : 5368 (cosoco) R 5365 5368 5095 0 -1 4202496 5118 0 0 0 149 0 0 0 20 0 1 0 47588831 44023808 4910 33554432000 4194304 6142532 140735182352992 140735182340264 5139897 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38342656 140735182361734 140735182361864 140735182361864 140735182364622 0
/proc/5368/statm: 10748 4910 900 476 0 4070 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 42992 KiB
Current children cumulated memory: 19640 KiB
[startup+3.10948 s]
/proc/loadavg: 2.01 2.02 1.96 3/192 5369
/proc/meminfo: memFree=21152056/32770624 swapFree=67108860/67108860
[pid=5368] ppid=5365 vsize=43124 memory=19888 CPUtime=3.1 cores=1,3,5,7
/proc/5368/stat : 5368 (cosoco) R 5365 5368 5095 0 -1 4202496 9074 0 0 0 310 0 0 0 20 0 1 0 47588831 44158976 4972 33554432000 4194304 6142532 140735182352992 140735182340264 5215649 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38342656 140735182361734 140735182361864 140735182361864 140735182364622 0
/proc/5368/statm: 10781 4972 900 476 0 4103 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 43124 KiB
Current children cumulated memory: 19888 KiB
[startup+6.30023 s]
/proc/loadavg: 2.01 2.02 1.96 3/192 5369
/proc/meminfo: memFree=20199056/32770624 swapFree=67108860/67108860
[pid=5368] ppid=5365 vsize=43256 memory=19980 CPUtime=6.29 cores=1,3,5,7
/proc/5368/stat : 5368 (cosoco) R 5365 5368 5095 0 -1 4202496 13086 0 0 0 629 0 0 0 20 0 1 0 47588831 44294144 4995 33554432000 4194304 6142532 140735182352992 140735182340264 5335940 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38342656 140735182361734 140735182361864 140735182361864 140735182364622 0
/proc/5368/statm: 10814 4995 900 476 0 4136 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 43256 KiB
Current children cumulated memory: 19980 KiB
[startup+12.7004 s]
/proc/loadavg: 1.85 1.98 1.95 3/192 5369
/proc/meminfo: memFree=20075700/32770624 swapFree=67108860/67108860
[pid=5368] ppid=5365 vsize=43256 memory=20020 CPUtime=12.69 cores=1,3,5,7
/proc/5368/stat : 5368 (cosoco) R 5365 5368 5095 0 -1 4202496 17103 0 0 0 1268 1 0 0 20 0 1 0 47588831 44294144 5005 33554432000 4194304 6142532 140735182352992 140735182340264 5146749 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38342656 140735182361734 140735182361864 140735182361864 140735182364622 0
/proc/5368/statm: 10814 5005 900 476 0 4136 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 43256 KiB
Current children cumulated memory: 20020 KiB
[startup+25.5002 s]
/proc/loadavg: 1.87 1.98 1.95 3/192 5370
/proc/meminfo: memFree=19808068/32770624 swapFree=67108860/67108860
[pid=5368] ppid=5365 vsize=43256 memory=20028 CPUtime=25.49 cores=1,3,5,7
/proc/5368/stat : 5368 (cosoco) R 5365 5368 5095 0 -1 4202496 24852 0 0 0 2548 1 0 0 20 0 1 0 47588831 44294144 5007 33554432000 4194304 6142532 140735182352992 140735182340264 5215649 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38342656 140735182361734 140735182361864 140735182361864 140735182364622 0
/proc/5368/statm: 10814 5007 900 476 0 4136 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 43256 KiB
Current children cumulated memory: 20028 KiB
[startup+51.1092 s]
/proc/loadavg: 1.92 1.99 1.95 3/192 5370
/proc/meminfo: memFree=19724060/32770624 swapFree=67108860/67108860
[pid=5368] ppid=5365 vsize=43256 memory=20064 CPUtime=51.1 cores=1,3,5,7
/proc/5368/stat : 5368 (cosoco) R 5365 5368 5095 0 -1 4202496 29032 0 0 0 5109 1 0 0 20 0 1 0 47588831 44294144 5016 33554432000 4194304 6142532 140735182352992 140735182340264 5138368 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38342656 140735182361734 140735182361864 140735182361864 140735182364622 0
/proc/5368/statm: 10814 5016 900 476 0 4136 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 43256 KiB
Current children cumulated memory: 20064 KiB
[startup+102.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/191 5371
/proc/meminfo: memFree=19706748/32770624 swapFree=67108860/67108860
[pid=5368] ppid=5365 vsize=43256 memory=20072 CPUtime=102.29 cores=1,3,5,7
/proc/5368/stat : 5368 (cosoco) R 5365 5368 5095 0 -1 4202496 33056 0 0 0 10228 1 0 0 20 0 1 0 47588831 44294144 5018 33554432000 4194304 6142532 140735182352992 140735182350520 5138432 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38342656 140735182361734 140735182361864 140735182361864 140735182364622 0
/proc/5368/statm: 10814 5018 900 476 0 4136 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 43256 KiB
Current children cumulated memory: 20072 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/192 5380
/proc/meminfo: memFree=19706772/32770624 swapFree=67108860/67108860
[pid=5368] ppid=5365 vsize=43256 memory=20072 CPUtime=162.29 cores=1,3,5,7
/proc/5368/stat : 5368 (cosoco) R 5365 5368 5095 0 -1 4202496 37005 0 0 0 16227 2 0 0 20 0 1 0 47588831 44294144 5018 33554432000 4194304 6142532 140735182352992 140735182350520 5215653 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38342656 140735182361734 140735182361864 140735182361864 140735182364622 0
/proc/5368/statm: 10814 5018 900 476 0 4136 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 43256 KiB
Current children cumulated memory: 20072 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/193 5407
/proc/meminfo: memFree=19705248/32770624 swapFree=67108860/67108860
[pid=5368] ppid=5365 vsize=43256 memory=20072 CPUtime=222.29 cores=1,3,5,7
/proc/5368/stat : 5368 (cosoco) R 5365 5368 5095 0 -1 4202496 41033 0 0 0 22227 2 0 0 20 0 1 0 47588831 44294144 5018 33554432000 4194304 6142532 140735182352992 140735182340264 5319096 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38342656 140735182361734 140735182361864 140735182361864 140735182364622 0
/proc/5368/statm: 10814 5018 900 476 0 4136 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 43256 KiB
Current children cumulated memory: 20072 KiB
[startup+282.3 s]
/proc/loadavg: 2.08 2.02 1.97 3/193 5408
/proc/meminfo: memFree=19706036/32770624 swapFree=67108860/67108860
[pid=5368] ppid=5365 vsize=43256 memory=20076 CPUtime=282.29 cores=1,3,5,7
/proc/5368/stat : 5368 (cosoco) R 5365 5368 5095 0 -1 4202496 45024 0 0 0 28227 2 0 0 20 0 1 0 47588831 44294144 5019 33554432000 4194304 6142532 140735182352992 140735182340264 5170144 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38342656 140735182361734 140735182361864 140735182361864 140735182364622 0
/proc/5368/statm: 10814 5019 900 476 0 4136 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 43256 KiB
Current children cumulated memory: 20076 KiB
[startup+342.3 s]
/proc/loadavg: 2.03 2.01 1.97 3/192 5409
/proc/meminfo: memFree=19706464/32770624 swapFree=67108860/67108860
[pid=5368] ppid=5365 vsize=43256 memory=20080 CPUtime=342.29 cores=1,3,5,7
/proc/5368/stat : 5368 (cosoco) R 5365 5368 5095 0 -1 4202496 49053 0 0 0 34227 2 0 0 20 0 1 0 47588831 44294144 5020 33554432000 4194304 6142532 140735182352992 140735182350520 5001184 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38342656 140735182361734 140735182361864 140735182361864 140735182364622 0
/proc/5368/statm: 10814 5020 900 476 0 4136 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 43256 KiB
Current children cumulated memory: 20080 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/192 5410
/proc/meminfo: memFree=19706888/32770624 swapFree=67108860/67108860
[pid=5368] ppid=5365 vsize=43256 memory=20084 CPUtime=402.29 cores=1,3,5,7
/proc/5368/stat : 5368 (cosoco) R 5365 5368 5095 0 -1 4202496 53074 0 0 0 40227 2 0 0 20 0 1 0 47588831 44294144 5021 33554432000 4194304 6142532 140735182352992 140735182340264 4990765 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38342656 140735182361734 140735182361864 140735182361864 140735182364622 0
/proc/5368/statm: 10814 5021 900 476 0 4136 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 43256 KiB
Current children cumulated memory: 20084 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/191 5411
/proc/meminfo: memFree=19706660/32770624 swapFree=67108860/67108860
[pid=5368] ppid=5365 vsize=43256 memory=20088 CPUtime=462.29 cores=1,3,5,7
/proc/5368/stat : 5368 (cosoco) R 5365 5368 5095 0 -1 4202496 57051 0 0 0 46227 2 0 0 20 0 1 0 47588831 44294144 5022 33554432000 4194304 6142532 140735182352992 140735182340264 5175264 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38342656 140735182361734 140735182361864 140735182361864 140735182364622 0
/proc/5368/statm: 10814 5022 900 476 0 4136 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 43256 KiB
Current children cumulated memory: 20088 KiB
################
# More data... #
################
/proc/5368/statm: 10814 5027 900 476 0 4136 0
Current children cumulated CPU time: 1722.32 s
Current children cumulated vsize: 43256 KiB
Current children cumulated memory: 20108 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 1.97 2.01 3/190 5450
/proc/meminfo: memFree=19706052/32770624 swapFree=67108860/67108860
[pid=5368] ppid=5365 vsize=43256 memory=20108 CPUtime=1782.32 cores=1,3,5,7
/proc/5368/stat : 5368 (cosoco) R 5365 5368 5095 0 -1 4202496 134610 0 0 0 178227 5 0 0 20 0 1 0 47588831 44294144 5027 33554432000 4194304 6142532 140735182352992 140735182350520 5138318 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 38342656 140735182361734 140735182361864 140735182361864 140735182364622 0
/proc/5368/statm: 10814 5027 900 476 0 4136 0
Current children cumulated CPU time: 1782.32 s
Current children cumulated vsize: 43256 KiB
Current children cumulated memory: 20108 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 1.98 2.01 3/190 5452
/proc/meminfo: memFree=19705888/32770624 swapFree=67108860/67108860
[pid=5368] ppid=5365 vsize=43256 memory=20108 CPUtime=1842.32 cores=1,3,5,7
/proc/5368/stat : 5368 (cosoco) R 5365 5368 5095 0 -1 4202496 137026 0 0 0 184227 5 0 0 20 0 1 0 47588831 44294144 5027 33554432000 4194304 6142532 140735182352992 140735182350520 5001184 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 38342656 140735182361734 140735182361864 140735182361864 140735182364622 0
/proc/5368/statm: 10814 5027 900 476 0 4136 0
Current children cumulated CPU time: 1842.32 s
Current children cumulated vsize: 43256 KiB
Current children cumulated memory: 20108 KiB
[startup+1902.3 s]
/proc/loadavg: 1.92 1.97 2.01 3/190 5453
/proc/meminfo: memFree=19705864/32770624 swapFree=67108860/67108860
[pid=5368] ppid=5365 vsize=43256 memory=20108 CPUtime=1902.33 cores=1,3,5,7
/proc/5368/stat : 5368 (cosoco) R 5365 5368 5095 0 -1 4202496 139426 0 0 0 190227 6 0 0 20 0 1 0 47588831 44294144 5027 33554432000 4194304 6142532 140735182352992 140735182350520 5124073 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 38342656 140735182361734 140735182361864 140735182361864 140735182364622 0
/proc/5368/statm: 10814 5027 900 476 0 4136 0
Current children cumulated CPU time: 1902.33 s
Current children cumulated vsize: 43256 KiB
Current children cumulated memory: 20108 KiB
[startup+1962.3 s]
/proc/loadavg: 1.97 1.97 2.01 3/191 5462
/proc/meminfo: memFree=19705872/32770624 swapFree=67108860/67108860
[pid=5368] ppid=5365 vsize=43256 memory=20108 CPUtime=1962.33 cores=1,3,5,7
/proc/5368/stat : 5368 (cosoco) R 5365 5368 5095 0 -1 4202496 143002 0 0 0 196227 6 0 0 20 0 1 0 47588831 44294144 5027 33554432000 4194304 6142532 140735182352992 140735182350520 5001200 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 38342656 140735182361734 140735182361864 140735182361864 140735182364622 0
/proc/5368/statm: 10814 5027 900 476 0 4136 0
Current children cumulated CPU time: 1962.33 s
Current children cumulated vsize: 43256 KiB
Current children cumulated memory: 20108 KiB
[startup+2022.3 s]
/proc/loadavg: 1.99 1.98 2.01 3/191 5463
/proc/meminfo: memFree=19703980/32770624 swapFree=67108860/67108860
[pid=5368] ppid=5365 vsize=43256 memory=20108 CPUtime=2022.33 cores=1,3,5,7
/proc/5368/stat : 5368 (cosoco) R 5365 5368 5095 0 -1 4202496 146940 0 0 0 202227 6 0 0 20 0 1 0 47588831 44294144 5027 33554432000 4194304 6142532 140735182352992 140735182350520 5336753 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 38342656 140735182361734 140735182361864 140735182361864 140735182364622 0
/proc/5368/statm: 10814 5027 900 476 0 4136 0
Current children cumulated CPU time: 2022.33 s
Current children cumulated vsize: 43256 KiB
Current children cumulated memory: 20108 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 1.98 2.01 3/191 5464
/proc/meminfo: memFree=19701980/32770624 swapFree=67108860/67108860
[pid=5368] ppid=5365 vsize=43256 memory=20108 CPUtime=2082.33 cores=1,3,5,7
/proc/5368/stat : 5368 (cosoco) R 5365 5368 5095 0 -1 4202496 150909 0 0 0 208227 6 0 0 20 0 1 0 47588831 44294144 5027 33554432000 4194304 6142532 140735182352992 140735182350520 5001184 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 38342656 140735182361734 140735182361864 140735182361864 140735182364622 0
/proc/5368/statm: 10814 5027 900 476 0 4136 0
Current children cumulated CPU time: 2082.33 s
Current children cumulated vsize: 43256 KiB
Current children cumulated memory: 20108 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 2.01 3/191 5465
/proc/meminfo: memFree=19693272/32770624 swapFree=67108860/67108860
[pid=5368] ppid=5365 vsize=43256 memory=20108 CPUtime=2142.34 cores=1,3,5,7
/proc/5368/stat : 5368 (cosoco) R 5365 5368 5095 0 -1 4202496 153367 0 0 0 214228 6 0 0 20 0 1 0 47588831 44294144 5027 33554432000 4194304 6142532 140735182352992 140735182350520 5001184 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 38342656 140735182361734 140735182361864 140735182361864 140735182364622 0
/proc/5368/statm: 10814 5027 900 476 0 4136 0
Current children cumulated CPU time: 2142.34 s
Current children cumulated vsize: 43256 KiB
Current children cumulated memory: 20108 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 2.01 3/191 5466
/proc/meminfo: memFree=19676500/32770624 swapFree=67108860/67108860
[pid=5368] ppid=5365 vsize=43256 memory=20108 CPUtime=2202.34 cores=1,3,5,7
/proc/5368/stat : 5368 (cosoco) R 5365 5368 5095 0 -1 4202496 155660 0 0 0 220228 6 0 0 20 0 1 0 47588831 44294144 5027 33554432000 4194304 6142532 140735182352992 140735182350520 5329969 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 38342656 140735182361734 140735182361864 140735182361864 140735182364622 0
/proc/5368/statm: 10814 5027 900 476 0 4136 0
Current children cumulated CPU time: 2202.34 s
Current children cumulated vsize: 43256 KiB
Current children cumulated memory: 20108 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 2.01 3/190 5467
/proc/meminfo: memFree=19659140/32770624 swapFree=67108860/67108860
[pid=5368] ppid=5365 vsize=43256 memory=20112 CPUtime=2262.33 cores=1,3,5,7
/proc/5368/stat : 5368 (cosoco) R 5365 5368 5095 0 -1 4202496 158469 0 0 0 226227 6 0 0 20 0 1 0 47588831 44294144 5028 33554432000 4194304 6142532 140735182352992 140735182350520 5140532 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 38342656 140735182361734 140735182361864 140735182361864 140735182364622 0
/proc/5368/statm: 10814 5028 900 476 0 4136 0
Current children cumulated CPU time: 2262.33 s
Current children cumulated vsize: 43256 KiB
Current children cumulated memory: 20112 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 2.01 3/190 5468
/proc/meminfo: memFree=19660044/32770624 swapFree=67108860/67108860
[pid=5368] ppid=5365 vsize=43256 memory=20112 CPUtime=2322.33 cores=1,3,5,7
/proc/5368/stat : 5368 (cosoco) R 5365 5368 5095 0 -1 4202496 158827 0 0 0 232227 6 0 0 20 0 1 0 47588831 44294144 5028 33554432000 4194304 6142532 140735182352992 140735182350520 5175056 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 38342656 140735182361734 140735182361864 140735182361864 140735182364622 0
/proc/5368/statm: 10814 5028 900 476 0 4136 0
Current children cumulated CPU time: 2322.33 s
Current children cumulated vsize: 43256 KiB
Current children cumulated memory: 20112 KiB
[startup+2382.3 s]
/proc/loadavg: 2.05 2.00 2.01 3/190 5469
/proc/meminfo: memFree=19659868/32770624 swapFree=67108860/67108860
[pid=5368] ppid=5365 vsize=43256 memory=20112 CPUtime=2382.34 cores=1,3,5,7
/proc/5368/stat : 5368 (cosoco) R 5365 5368 5095 0 -1 4202496 159136 0 0 0 238228 6 0 0 20 0 1 0 47588831 44294144 5028 33554432000 4194304 6142532 140735182352992 140735182350520 5374338 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 38342656 140735182361734 140735182361864 140735182361864 140735182364622 0
/proc/5368/statm: 10814 5028 900 476 0 4136 0
Current children cumulated CPU time: 2382.34 s
Current children cumulated vsize: 43256 KiB
Current children cumulated memory: 20112 KiB
[startup+2442.3 s]
/proc/loadavg: 2.02 2.00 2.01 3/191 5471
/proc/meminfo: memFree=19659560/32770624 swapFree=67108860/67108860
[pid=5368] ppid=5365 vsize=43256 memory=20112 CPUtime=2442.34 cores=1,3,5,7
/proc/5368/stat : 5368 (cosoco) R 5365 5368 5095 0 -1 4202496 159600 0 0 0 244228 6 0 0 20 0 1 0 47588831 44294144 5028 33554432000 4194304 6142532 140735182352992 140735182350520 5215647 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 38342656 140735182361734 140735182361864 140735182361864 140735182364622 0
/proc/5368/statm: 10814 5028 900 476 0 4136 0
Current children cumulated CPU time: 2442.34 s
Current children cumulated vsize: 43256 KiB
Current children cumulated memory: 20112 KiB
[startup+2502.3 s]
/proc/loadavg: 2.01 2.00 2.01 3/191 5472
/proc/meminfo: memFree=19660012/32770624 swapFree=67108860/67108860
[pid=5368] ppid=5365 vsize=43256 memory=20112 CPUtime=2502.34 cores=1,3,5,7
/proc/5368/stat : 5368 (cosoco) R 5365 5368 5095 0 -1 4202496 159910 0 0 0 250228 6 0 0 20 0 1 0 47588831 44294144 5028 33554432000 4194304 6142532 140735182352992 140735182350520 5124132 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 38342656 140735182361734 140735182361864 140735182361864 140735182364622 0
/proc/5368/statm: 10814 5028 900 476 0 4136 0
Current children cumulated CPU time: 2502.34 s
Current children cumulated vsize: 43256 KiB
Current children cumulated memory: 20112 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.00 2.01 3/191 5472
/proc/meminfo: memFree=20059552/32770624 swapFree=67108860/67108860
[pid=5368] ppid=5365 vsize=43256 memory=20112 CPUtime=2520.05 cores=1,3,5,7
/proc/5368/stat : 5368 (cosoco) R 5365 5368 5095 0 -1 4202496 160211 0 0 0 251999 6 0 0 20 0 1 0 47588831 44294144 5028 33554432000 4194304 6142532 140735182352992 140735182350520 5001184 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 38342656 140735182361734 140735182361864 140735182361864 140735182364622 0
/proc/5368/statm: 10814 5028 900 476 0 4136 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 43256 KiB
Current children cumulated memory: 20112 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 5368 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.99 s, system=0.065001 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): 2519.99
CPU system time (s): 0.065001
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 43256
Max. memory (cumulated for all children) (KiB): 20112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.99
system time used= 0.065001
maximum resident set size= 20176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160265
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= 13
involuntary context switches= 1272
# summary of solver processes directly reported to runsolver:
# pid: 5368
# total CPU time (s): 2520.06
# total CPU user time (s): 2519.99
# total CPU system time (s): 0.065001
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.07618 second user time and 17.1202 second system time
The end
Begin job on node135 at 2018-07-23 00:57:37 IDJOB=4292947 IDBENCH=141044 IDSOLVER=2752 FILE ID=node135/4292947-1532300257 RUNJOBID= node135-1532297735-5127 PBS_JOBID= 21018994 Free space on /tmp= 52932 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/NurseRostering/NurseRostering-05_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292947-1532300257/watcher-4292947-1532300257 -o /tmp/evaluation-result-4292947-1532300257/solver-4292947-1532300257 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532297735-5127 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4292947-1532300257.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b6cc1cad0a6ec682295352adb28466c6 RANDOM SEED=133746160 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: 23372700 kB MemAvailable: 31937972 kB Buffers: 178408 kB Cached: 8589056 kB SwapCached: 0 kB Active: 1420356 kB Inactive: 7401992 kB Active(anon): 4200 kB Inactive(anon): 69912 kB Active(file): 1416156 kB Inactive(file): 7332080 kB Unevictable: 7188 kB Mlocked: 7188 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 6396 kB Writeback: 0 kB AnonPages: 61756 kB Mapped: 36268 kB Shmem: 17056 kB Slab: 273272 kB SReclaimable: 245496 kB SUnreclaim: 27776 kB KernelStack: 3392 kB PageTables: 5292 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 320044 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 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= 52928 MiB End job on node135 at 2018-07-23 01:39:37