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) | 17 | 2519.83 | 2520.01 |
| Name | Bacp/Bacp-m1/ Bacp-m1-12b_c18.xml |
| MD5SUM | 295649d4a2f2dba0d6a8c50decbb73e2 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 17 |
| Best CPU time to get the best result obtained on this benchmark | 2519.83 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 882 |
| Number of constraints | 155 |
| Number of domains | 8 |
| Minimum domain size | 2 |
| Maximum domain size | 12 |
| Distribution of domain sizes | [{"size":2,"count":792},{"size":7,"count":12},{"size":11,"count":12},{"size":12,"count":66}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 19 |
| Distribution of variable degrees | [{"degree":1,"count":12},{"degree":2,"count":804},{"degree":13,"count":11},{"degree":14,"count":20},{"degree":15,"count":15},{"degree":16,"count":9},{"degree":17,"count":6},{"degree":18,"count":1},{"degree":19,"count":4}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 67 |
| Distribution of constraint arities | [{"arity":2,"count":65},{"arity":13,"count":66},{"arity":67,"count":24}] |
| Number of extensional constraints | 66 |
| Number of intensional constraints | 65 |
| Distribution of constraint types | [{"type":"extension","count":66},{"type":"intension","count":65},{"type":"sum","count":12},{"type":"count","count":12}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.00/0.02 c best=?? lower=10 upper=20 0.00/0.03 c 0.00/0.03 c This is cosoco 1.12 -- 0.00/0.03 c 0.00/0.03 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4296251-1532618239.xml 0.00/0.03 c enable optimization 0.00/0.03 c ========================================[ Problem Statistics ]=========================================== 0.00/0.03 c | 0.00/0.03 c | Parse time : 0.02 s 0.00/0.03 c | 0.00/0.03 c | Variables: 882 0.00/0.03 c | Domain Sizes: 2..12 0.00/0.03 c | 0.00/0.03 c | Constraints: 156 0.00/0.03 c | Arity: 2..67 -- Binary: 65 0.00/0.03 c | 0.00/0.03 c | Types: 0.00/0.03 c | (X - Y < k): 65 0.00/0.03 c | Exactly K variable: 12 0.00/0.03 c | Extension: 66 (nb tuples: 12..12) -- (shared: 61) 0.00/0.03 c | Max constant: 1 0.00/0.03 c | Sum: 12 0.00/0.03 c | 0.00/0.03 c | Objective: Minimize Max constant 0.00/0.03 0.00/0.03 c ========================================================================================================= 0.00/0.03 o 20 0.00/0.03 c 1 calls to solver: best=20 lower=10 upper=19 0.00/0.04 o 19 0.00/0.05 o 18 0.00/0.05 c 3 calls to solver: best=18 lower=10 upper=17 0.00/0.06 o 17 2519.82/2520.00 2519.82/2520.00 c *** INTERRUPTED *** 2519.82/2520.00 c restarts : 101 2519.82/2520.00 c conflicts : 15142773 (6010 /sec) 2519.82/2520.00 c decisions : 40627699 (16123 /sec) 2519.82/2520.00 c propagations : 1622817197 (644026 /sec) 2519.82/2520.00 c root propagations : 388 2519.82/2520.00 c filter calls : 2536376889 (1006578 /sec) 2519.82/2520.00 c useless filter calls : 1896378845 (74 %) 2519.82/2520.00 c Memory used : 28.45 MB 2519.82/2520.00 c CPU time : 2519.8 s 2519.82/2520.00 2519.82/2520.00 c nb Solutions = 4 2519.82/2520.00 s SATISFIABLE 2519.82/2520.00 c Best value found: 17 2519.82/2520.00 2519.82/2520.00 2519.82/2520.00 v <instantiation type='solution' cost='17'> 2519.82/2520.00 v <list>cp[0][0] cp[0][10] cp[0][11] cp[0][1] cp[0][2] cp[0][3] cp[0][4] cp[0][5] cp[0][6] cp[0][7] cp[0][8] cp[0][9] cp[10][0] cp[10][10] cp[10][11] cp[10][1] cp[10][2] cp[10][3] cp[10][4] cp[10][5] cp[10][6] cp[10][7] cp[10][8] cp[10][9] cp[11][0] cp[11][10] cp[11][11] cp[11][1] cp[11][2] cp[11][3] cp[11][4] cp[11][5] cp[11][6] cp[11][7] cp[11][8] cp[11][9] cp[12][0] cp[12][10] cp[12][11] cp[12][1] cp[12][2] cp[12][3] cp[12][4] cp[12][5] cp[12][6] cp[12][7] cp[12][8] cp[12][9] cp[13][0] cp[13][10] cp[13][11] cp[13][1] cp[13][2] cp[13][3] cp[13][4] cp[13][5] cp[13][6] cp[13][7] cp[13][8] cp[13][9] cp[14][0] cp[14][10] cp[14][11] cp[14][1] cp[14][2] cp[14][3] cp[14][4] cp[14][5] cp[14][6] cp[14][7] cp[14][8] cp[14][9] cp[15][0] cp[15][10] cp[15][11] cp[15][1] cp[15][2] cp[15][3] cp[15][4] cp[15][5] cp[15][6] cp[15][7] cp[15][8] cp[15][9] cp[16][0] cp[16][10] cp[16][11] cp[16][1] cp[16][2] cp[16][3] cp[16][4] cp[16][5] cp[16][6] cp[16][7] cp[16][8] cp[16][9] cp[17][0] cp[17][10] cp[17][11] cp[17][1] cp[17][2] cp[17][3] cp[17][4] cp[17][5] cp[17][6] cp[17][7] cp[17][8] cp[17][9] cp[18][0] cp[18][10] cp[18][11] cp[18][1] cp[18][2] cp[18][3] cp[18][4] cp[18][5] cp[18][6] cp[18][7] cp[18][8] cp[18][9] cp[19][0] cp[19][10] cp[19][11] cp[19][1] cp[19][2] cp[19][3] cp[19][4] cp[19][5] cp[19][6] cp[19][7] cp[19][8] cp[19][9] cp[1][0] cp[1][10] cp[1][11] cp[1][1] cp[1][2] cp[1][3] cp[1][4] cp[1][5] cp[1][6] cp[1][7] cp[1][8] cp[1][9] cp[20][0] cp[20][10] cp[20][11] cp[20][1] cp[20][2] cp[20][3] cp[20][4] cp[20][5] cp[20][6] cp[20][7] cp[20][8] cp[20][9] cp[21][0] cp[21][10] cp[21][11] cp[21][1] cp[21][2] cp[21][3] cp[21][4] cp[21][5] cp[21][6] cp[21][7] cp[21][8] cp[21][9] cp[22][0] cp[22][10] cp[22][11] cp[22][1] cp[22][2] cp[22][3] cp[22][4] cp[22][5] cp[22][6] cp[22][7] cp[22][8] cp[22][9] cp[23][0] cp[23][10] cp[23][11] cp[23][1] cp[23][2] cp[23][3] cp[23][4] cp[23][5] cp[23][6] cp[23][7] cp[23][8] cp[23][9] cp[24][0] cp[24][10] cp[24][11] cp[24][1] cp[24][2] cp[24][3] cp[24][4] cp[24][5] cp[24][6] cp[24][7] cp[24][8] cp[24][9] cp[25][0] cp[25][10] cp[25][11] cp[25][1] cp[25][2] cp[25][3] cp[25][4] cp[25][5] cp[25][6] cp[25][7] cp[25][8] cp[25][9] cp[26][0] cp[26][10] cp[26][11] cp[26][1] cp[26][2] cp[26][3] cp[26][4] cp[26][5] cp[26][6] cp[26][7] cp[26][8] cp[26][9] cp[27][0] cp[27][10] cp[27][11] cp[27][1] cp[27][2] cp[27][3] cp[27][4] cp[27][5] cp[27][6] cp[27][7] cp[27][8] cp[27][9] cp[28][0] cp[28][10] cp[28][11] cp[28][1] cp[28][2] cp[28][3] cp[28][4] cp[28][5] cp[28][6] cp[28][7] cp[28][8] cp[28][9] cp[29][0] cp[29][10] cp[29][11] cp[29][1] cp[29][2] cp[29][3] cp[29][4] cp[29][5] cp[29][6] cp[29][7] cp[29][8] cp[29][9] cp[2][0] cp[2][10] cp[2][11] cp[2][1] cp[2][2] cp[2][3] cp[2][4] cp[2][5] cp[2][6] cp[2][7] cp[2][8] cp[2][9] cp[30][0] cp[30][10] cp[30][11] cp[30][1] cp[30][2] cp[30][3] cp[30][4] cp[30][5] cp[30][6] cp[30][7] cp[30][8] cp[30][9] cp[31][0] cp[31][10] cp[31][11] cp[31][1] cp[31][2] cp[31][3] cp[31][4] cp[31][5] cp[31][6] cp[31][7] cp[31][8] cp[31][9] cp[32][0] cp[32][10] cp[32][11] cp[32][1] cp[32][2] cp[32][3] cp[32][4] cp[32][5] cp[32][6] cp[32][7] cp[32][8] cp[32][9] cp[33][0] cp[33][10] cp[33][11] cp[33][1] cp[33][2] cp[33][3] cp[33][4] cp[33][5] cp[33][6] cp[33][7] cp[33][8] cp[33][9] cp[34][0] cp[34][10] cp[34][11] cp[34][1] cp[34][2] cp[34][3] cp[34][4] cp[34][5] cp[34][6] cp[34][7] cp[34][8] cp[34][9] cp[35][0] cp[35][10] cp[35][11] cp[35][1] cp[35][2] cp[35][3] cp[35][4] cp[35][5] cp[35][6] cp[35][7] cp[35][8] cp[35][9] cp[36][0] cp[36][10] cp[36][11] cp[36][1] cp[36][2] cp[36][3] cp[36][4] cp[36][5] cp[36][6] cp[36][7] cp[36][8] cp[36][9] cp[37][0] cp[37][10] cp[37][11] cp[37][1] cp[37][2] cp[37][3] cp[37][4] cp[37][5] cp[37][6] cp[37][7] cp[37][8] cp[37][9] cp[38][0] cp[38][10] cp[38][11] cp[38][1] cp[38][2] cp[38][3] cp[38][4] cp[38][5] cp[38][6] cp[38][7] cp[38][8] cp[38][9] cp[39][0] cp[39][10] cp[39][11] cp[39][1] cp[39][2] cp[39][3] cp[39][4] cp[39][5] cp[39][6] cp[39][7] cp[39][8] cp[39][9] cp[3][0] cp[3][10] cp[3][11] cp[3][1] cp[3][2] cp[3][3] cp[3][4] cp[3][5] cp[3][6] cp[3][7] cp[3][8] cp[3][9] cp[40][0] cp[40][10] cp[40][11] cp[40][1] cp[40][2] cp[40][3] cp[40][4] cp[40][5] cp[40][6] cp[40][7] cp[40][8] cp[40][9] cp[41][0] cp[41][10] cp[41][11] cp[41][1] cp[41][2] cp[41][3] cp[41][4] cp[41][5] cp[41][6] cp[41][7] cp[41][8] cp[41][9] cp[42][0] cp[42][10] cp[42][11] cp[42][1] cp[42][2] cp[42][3] cp[42][4] cp[42][5] cp[42][6] cp[42][7] cp[42][8] cp[42][9] cp[43][0] cp[43][10] cp[43][11] cp[43][1] cp[43][2] cp[43][3] cp[43][4] cp[43][5] cp[43][6] cp[43][7] cp[43][8] cp[43][9] cp[44][0] cp[44][10] cp[44][11] cp[44][1] cp[44][2] cp[44][3] cp[44][4] cp[44][5] cp[44][6] cp[44][7] cp[44][8] cp[44][9] cp[45][0] cp[45][10] cp[45][11] cp[45][1] cp[45][2] cp[45][3] cp[45][4] cp[45][5] cp[45][6] cp[45][7] cp[45][8] cp[45][9] cp[46][0] cp[46][10] cp[46][11] cp[46][1] cp[46][2] cp[46][3] cp[46][4] cp[46][5] cp[46][6] cp[46][7] cp[46][8] cp[46][9] cp[47][0] cp[47][10] cp[47][11] cp[47][1] cp[47][2] cp[47][3] cp[47][4] cp[47][5] cp[47][6] cp[47][7] cp[47][8] cp[47][9] cp[48][0] cp[48][10] cp[48][11] cp[48][1] cp[48][2] cp[48][3] cp[48][4] cp[48][5] cp[48][6] cp[48][7] cp[48][8] cp[48][9] cp[49][0] cp[49][10] cp[49][11] cp[49][1] cp[49][2] cp[49][3] cp[49][4] cp[49][5] cp[49][6] cp[49][7] cp[49][8] cp[49][9] cp[4][0] cp[4][10] cp[4][11] cp[4][1] cp[4][2] cp[4][3] cp[4][4] cp[4][5] cp[4][6] cp[4][7] cp[4][8] cp[4][9] cp[50][0] cp[50][10] cp[50][11] cp[50][1] cp[50][2] cp[50][3] cp[50][4] cp[50][5] cp[50][6] cp[50][7] cp[50][8] cp[50][9] cp[51][0] cp[51][10] cp[51][11] cp[51][1] cp[51][2] cp[51][3] cp[51][4] cp[51][5] cp[51][6] cp[51][7] cp[51][8] cp[51][9] cp[52][0] cp[52][10] cp[52][11] cp[52][1] cp[52][2] cp[52][3] cp[52][4] cp[52][5] cp[52][6] cp[52][7] cp[52][8] cp[52][9] cp[53][0] cp[53][10] cp[53][11] cp[53][1] cp[53][2] cp[53][3] cp[53][4] cp[53][5] cp[53][6] cp[53][7] cp[53][8] cp[53][9] cp[54][0] cp[54][10] cp[54][11] cp[54][1] cp[54][2] cp[54][3] cp[54][4] cp[54][5] cp[54][6] cp[54][7] cp[54][8] cp[54][9] cp[55][0] cp[55][10] cp[55][11] cp[55][1] cp[55][2] cp[55][3] cp[55][4] cp[55][5] cp[55][6] cp[55][7] cp[55][8] cp[55][9] cp[56][0] cp[56][10] cp[56][11] cp[56][1] cp[56][2] cp[56][3] cp[56][4] cp[56][5] cp[56][6] cp[56][7] cp[56][8] cp[56][9] cp[57][0] cp[57][10] cp[57][11] cp[57][1] cp[57][2] cp[57][3] cp[57][4] cp[57][5] cp[57][6] cp[57][7] cp[57][8] cp[57][9] cp[58][0] cp[58][10] cp[58][11] cp[58][1] cp[58][2] cp[58][3] cp[58][4] cp[58][5] cp[58][6] cp[58][7] cp[58][8] cp[58][9] cp[59][0] cp[59][10] cp[59][11] cp[59][1] cp[59][2] cp[59][3] cp[59][4] cp[59][5] cp[59][6] cp[59][7] cp[59][8] cp[59][9] cp[5][0] cp[5][10] cp[5][11] cp[5][1] cp[5][2] cp[5][3] cp[5][4] cp[5][5] cp[5][6] cp[5][7] cp[5][8] cp[5][9] cp[60][0] cp[60][10] cp[60][11] cp[60][1] cp[60][2] cp[60][3] cp[60][4] cp[60][5] cp[60][6] cp[60][7] cp[60][8] cp[60][9] cp[61][0] cp[61][10] cp[61][11] cp[61][1] cp[61][2] cp[61][3] cp[61][4] cp[61][5] cp[61][6] cp[61][7] cp[61][8] cp[61][9] cp[62][0] cp[62][10] cp[62][11] cp[62][1] cp[62][2] cp[62][3] cp[62][4] cp[62][5] cp[62][6] cp[62][7] cp[62][8] cp[62][9] cp[63][0] cp[63][10] cp[63][11] cp[63][1] cp[63][2] cp[63][3] cp[63][4] cp[63][5] cp[63][6] cp[63][7] cp[63][8] cp[63][9] cp[64][0] cp[64][10] cp[64][11] cp[64][1] cp[64][2] cp[64][3] cp[64][4] cp[64][5] cp[64][6] cp[64][7] cp[64][8] cp[64][9] cp[65][0] cp[65][10] cp[65][11] cp[65][1] cp[65][2] cp[65][3] cp[65][4] cp[65][5] cp[65][6] cp[65][7] cp[65][8] cp[65][9] cp[6][0] cp[6][10] cp[6][11] cp[6][1] cp[6][2] cp[6][3] cp[6][4] cp[6][5] cp[6][6] cp[6][7] cp[6][8] cp[6][9] cp[7][0] cp[7][10] cp[7][11] cp[7][1] cp[7][2] cp[7][3] cp[7][4] cp[7][5] cp[7][6] cp[7][7] cp[7][8] cp[7][9] cp[8][0] cp[8][10] cp[8][11] cp[8][1] cp[8][2] cp[8][3] cp[8][4] cp[8][5] cp[8][6] cp[8][7] cp[8][8] cp[8][9] cp[9][0] cp[9][10] cp[9][11] cp[9][1] cp[9][2] cp[9][3] cp[9][4] cp[9][5] cp[9][6] cp[9][7] cp[9][8] cp[9][9] nco[0] nco[10] nco[11] nco[1] nco[2] nco[3] nco[4] nco[5] nco[6] nco[7] nco[8] nco[9] ncr[0] ncr[10] ncr[11] ncr[1] ncr[2] ncr[3] ncr[4] ncr[5] ncr[6] ncr[7] ncr[8] ncr[9] prd[0] prd[10] prd[11] prd[12] prd[13] prd[14] prd[15] prd[16] prd[17] prd[18] prd[19] prd[1] prd[20] prd[21] prd[22] prd[23] prd[24] prd[25] prd[26] prd[27] prd[28] prd[29] prd[2] prd[30] prd[31] prd[32] prd[33] prd[34] prd[35] prd[36] prd[37] prd[38] prd[39] prd[3] prd[40] prd[41] prd[42] prd[43] prd[44] prd[45] prd[46] prd[47] prd[48] prd[49] prd[4] prd[50] prd[51] prd[52] prd[53] prd[54] prd[55] prd[56] prd[57] prd[58] prd[59] prd[5] prd[60] prd[61] prd[62] prd[63] prd[64] prd[65] prd[6] prd[7] prd[8] prd[9] </list> 2519.82/2520.01 v <values>0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 3 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 7 6 6 6 6 5 5 5 4 5 5 6 17 17 17 17 17 17 17 17 17 17 17 17 11 6 2 5 5 10 8 5 5 5 9 11 8 1 3 4 0 2 10 1 0 9 9 11 9 9 4 4 0 3 8 3 11 0 1 11 7 7 7 2 10 3 8 6 11 8 0 9 4 6 7 2 0 3 1 7 2 10 2 1 1 0 4 6 10 10 </values> 2519.82/2520.01 v </instantiation> 2519.82/2520.01
OK 17
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 (6474 MiB free)
memory of node 1: 16384 MiB (12432 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296251-1532618239/watcher-4296251-1532618239 -o /tmp/evaluation-result-4296251-1532618239/solver-4296251-1532618239 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532595527-20625 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4296251-1532618239.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=23170, runsolver pid=23167
[startup+0.100105 s]*
/proc/loadavg: 2.09 2.06 2.05 3/191 23171
/proc/meminfo: memFree=19358304/32770624 swapFree=67108860/67108860
[pid=23170] ppid=23167 vsize=29132 memory=5700 CPUtime=0.1 cores=0,2,4,6
/proc/23170/stat : 23170 (cosoco) R 23167 23170 20594 0 -1 4202496 1626 0 0 0 10 0 0 0 20 0 1 0 79387107 29831168 1425 33554432000 4194304 6142532 140735902907008 140735902903640 5124752 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15712256 140735902913670 140735902913800 140735902913800 140735902916558 0
/proc/23170/statm: 7283 1425 891 476 0 605 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29132 KiB
Current children cumulated memory: 5700 KiB
[startup+0.209651 s]*
/proc/loadavg: 2.09 2.06 2.05 3/191 23171
/proc/meminfo: memFree=19358304/32770624 swapFree=67108860/67108860
[pid=23170] ppid=23167 vsize=29132 memory=5700 CPUtime=0.21 cores=0,2,4,6
/proc/23170/stat : 23170 (cosoco) R 23167 23170 20594 0 -1 4202496 1626 0 0 0 21 0 0 0 20 0 1 0 79387107 29831168 1425 33554432000 4194304 6142532 140735902907008 140735902903640 5131317 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15712256 140735902913670 140735902913800 140735902913800 140735902916558 0
/proc/23170/statm: 7283 1425 891 476 0 605 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29132 KiB
Current children cumulated memory: 5700 KiB
[startup+0.308942 s]*
/proc/loadavg: 2.09 2.06 2.05 3/191 23171
/proc/meminfo: memFree=19358304/32770624 swapFree=67108860/67108860
[pid=23170] ppid=23167 vsize=29132 memory=5700 CPUtime=0.31 cores=0,2,4,6
/proc/23170/stat : 23170 (cosoco) R 23167 23170 20594 0 -1 4202496 1626 0 0 0 31 0 0 0 20 0 1 0 79387107 29831168 1425 33554432000 4194304 6142532 140735902907008 140735902903640 5017775 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15712256 140735902913670 140735902913800 140735902913800 140735902916558 0
/proc/23170/statm: 7283 1425 891 476 0 605 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 29132 KiB
Current children cumulated memory: 5700 KiB
[startup+0.700225 s]
/proc/loadavg: 2.09 2.06 2.05 3/191 23171
/proc/meminfo: memFree=19358304/32770624 swapFree=67108860/67108860
[pid=23170] ppid=23167 vsize=29132 memory=5700 CPUtime=0.69 cores=0,2,4,6
/proc/23170/stat : 23170 (cosoco) R 23167 23170 20594 0 -1 4202496 1627 0 0 0 69 0 0 0 20 0 1 0 79387107 29831168 1425 33554432000 4194304 6142532 140735902907008 140735902904536 5175056 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15712256 140735902913670 140735902913800 140735902913800 140735902916558 0
/proc/23170/statm: 7283 1425 891 476 0 605 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 29132 KiB
Current children cumulated memory: 5700 KiB
[startup+1.50023 s]
/proc/loadavg: 2.09 2.06 2.05 3/191 23171
/proc/meminfo: memFree=19358028/32770624 swapFree=67108860/67108860
[pid=23170] ppid=23167 vsize=29132 memory=5700 CPUtime=1.49 cores=0,2,4,6
/proc/23170/stat : 23170 (cosoco) R 23167 23170 20594 0 -1 4202496 1628 0 0 0 149 0 0 0 20 0 1 0 79387107 29831168 1425 33554432000 4194304 6142532 140735902907008 140735902904536 5130926 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15712256 140735902913670 140735902913800 140735902913800 140735902916558 0
/proc/23170/statm: 7283 1425 891 476 0 605 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 29132 KiB
Current children cumulated memory: 5700 KiB
[startup+3.10918 s]
/proc/loadavg: 2.00 2.04 2.05 3/191 23171
/proc/meminfo: memFree=19357796/32770624 swapFree=67108860/67108860
[pid=23170] ppid=23167 vsize=29132 memory=5900 CPUtime=3.1 cores=0,2,4,6
/proc/23170/stat : 23170 (cosoco) R 23167 23170 20594 0 -1 4202496 2078 0 0 0 310 0 0 0 20 0 1 0 79387107 29831168 1475 33554432000 4194304 6142532 140735902907008 140735902904536 5131728 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15712256 140735902913670 140735902913800 140735902913800 140735902916558 0
/proc/23170/statm: 7283 1475 892 476 0 605 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 29132 KiB
Current children cumulated memory: 5900 KiB
[startup+6.30022 s]
/proc/loadavg: 2.00 2.04 2.05 3/191 23171
/proc/meminfo: memFree=19357640/32770624 swapFree=67108860/67108860
[pid=23170] ppid=23167 vsize=29132 memory=5904 CPUtime=6.29 cores=0,2,4,6
/proc/23170/stat : 23170 (cosoco) R 23167 23170 20594 0 -1 4202496 2527 0 0 0 629 0 0 0 20 0 1 0 79387107 29831168 1476 33554432000 4194304 6142532 140735902907008 140735902904536 5017816 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15712256 140735902913670 140735902913800 140735902913800 140735902916558 0
/proc/23170/statm: 7283 1476 892 476 0 605 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 29132 KiB
Current children cumulated memory: 5904 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 2.04 2.05 3/191 23171
/proc/meminfo: memFree=19357640/32770624 swapFree=67108860/67108860
[pid=23170] ppid=23167 vsize=29132 memory=5912 CPUtime=12.69 cores=0,2,4,6
/proc/23170/stat : 23170 (cosoco) R 23167 23170 20594 0 -1 4202496 2995 0 0 0 1269 0 0 0 20 0 1 0 79387107 29831168 1478 33554432000 4194304 6142532 140735902907008 140735902904536 5175056 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15712256 140735902913670 140735902913800 140735902913800 140735902916558 0
/proc/23170/statm: 7283 1478 892 476 0 605 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 29132 KiB
Current children cumulated memory: 5912 KiB
[startup+25.5002 s]
/proc/loadavg: 2.00 2.04 2.05 3/191 23171
/proc/meminfo: memFree=19357640/32770624 swapFree=67108860/67108860
[pid=23170] ppid=23167 vsize=29132 memory=5916 CPUtime=25.48 cores=0,2,4,6
/proc/23170/stat : 23170 (cosoco) R 23167 23170 20594 0 -1 4202496 3897 0 0 0 2548 0 0 0 20 0 1 0 79387107 29831168 1479 33554432000 4194304 6142532 140735902907008 140735902904536 5013936 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15712256 140735902913670 140735902913800 140735902913800 140735902916558 0
/proc/23170/statm: 7283 1479 892 476 0 605 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 29132 KiB
Current children cumulated memory: 5916 KiB
[startup+51.1091 s]
/proc/loadavg: 1.87 2.00 2.03 3/192 23236
/proc/meminfo: memFree=19361944/32770624 swapFree=67108860/67108860
[pid=23170] ppid=23167 vsize=29132 memory=5916 CPUtime=51.09 cores=0,2,4,6
/proc/23170/stat : 23170 (cosoco) R 23167 23170 20594 0 -1 4202496 4348 0 0 0 5109 0 0 0 20 0 1 0 79387107 29831168 1479 33554432000 4194304 6142532 140735902907008 140735902904536 5175056 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15712256 140735902913670 140735902913800 140735902913800 140735902916558 0
/proc/23170/statm: 7283 1479 892 476 0 605 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 29132 KiB
Current children cumulated memory: 5916 KiB
[startup+102.3 s]
/proc/loadavg: 1.94 2.00 2.03 3/191 23237
/proc/meminfo: memFree=19361276/32770624 swapFree=67108860/67108860
[pid=23170] ppid=23167 vsize=29132 memory=5916 CPUtime=102.27 cores=0,2,4,6
/proc/23170/stat : 23170 (cosoco) R 23167 23170 20594 0 -1 4202496 4804 0 0 0 10227 0 0 0 20 0 1 0 79387107 29831168 1479 33554432000 4194304 6142532 140735902907008 140735902904536 5124115 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15712256 140735902913670 140735902913800 140735902913800 140735902916558 0
/proc/23170/statm: 7283 1479 892 476 0 605 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 29132 KiB
Current children cumulated memory: 5916 KiB
[startup+162.3 s]
/proc/loadavg: 1.98 2.00 2.03 3/191 23238
/proc/meminfo: memFree=19361068/32770624 swapFree=67108860/67108860
[pid=23170] ppid=23167 vsize=29132 memory=5916 CPUtime=162.26 cores=0,2,4,6
/proc/23170/stat : 23170 (cosoco) R 23167 23170 20594 0 -1 4202496 5257 0 0 0 16226 0 0 0 20 0 1 0 79387107 29831168 1479 33554432000 4194304 6142532 140735902907008 140735902904536 5124736 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15712256 140735902913670 140735902913800 140735902913800 140735902916558 0
/proc/23170/statm: 7283 1479 892 476 0 605 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 29132 KiB
Current children cumulated memory: 5916 KiB
[startup+222.3 s]
/proc/loadavg: 2.14 2.05 2.05 3/192 23247
/proc/meminfo: memFree=19360340/32770624 swapFree=67108860/67108860
[pid=23170] ppid=23167 vsize=29132 memory=5916 CPUtime=222.26 cores=0,2,4,6
/proc/23170/stat : 23170 (cosoco) R 23167 23170 20594 0 -1 4202496 5711 0 0 0 22225 1 0 0 20 0 1 0 79387107 29831168 1479 33554432000 4194304 6142532 140735902907008 140735902904536 5175056 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15712256 140735902913670 140735902913800 140735902913800 140735902916558 0
/proc/23170/statm: 7283 1479 892 476 0 605 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 29132 KiB
Current children cumulated memory: 5916 KiB
[startup+282.3 s]
/proc/loadavg: 2.40 2.16 2.09 3/192 23248
/proc/meminfo: memFree=19360212/32770624 swapFree=67108860/67108860
[pid=23170] ppid=23167 vsize=29132 memory=5916 CPUtime=282.25 cores=0,2,4,6
/proc/23170/stat : 23170 (cosoco) R 23167 23170 20594 0 -1 4202496 6160 0 0 0 28224 1 0 0 20 0 1 0 79387107 29831168 1479 33554432000 4194304 6142532 140735902907008 140735902904536 5016473 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15712256 140735902913670 140735902913800 140735902913800 140735902916558 0
/proc/23170/statm: 7283 1479 892 476 0 605 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 29132 KiB
Current children cumulated memory: 5916 KiB
[startup+342.3 s]
/proc/loadavg: 2.15 2.13 2.08 3/191 23249
/proc/meminfo: memFree=19360252/32770624 swapFree=67108860/67108860
[pid=23170] ppid=23167 vsize=29132 memory=5916 CPUtime=342.25 cores=0,2,4,6
/proc/23170/stat : 23170 (cosoco) R 23167 23170 20594 0 -1 4202496 6618 0 0 0 34224 1 0 0 20 0 1 0 79387107 29831168 1479 33554432000 4194304 6142532 140735902907008 140735902904536 5336745 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15712256 140735902913670 140735902913800 140735902913800 140735902916558 0
/proc/23170/statm: 7283 1479 892 476 0 605 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 29132 KiB
Current children cumulated memory: 5916 KiB
[startup+402.3 s]
/proc/loadavg: 2.05 2.10 2.08 3/191 23250
/proc/meminfo: memFree=19360160/32770624 swapFree=67108860/67108860
[pid=23170] ppid=23167 vsize=29132 memory=5916 CPUtime=402.24 cores=0,2,4,6
/proc/23170/stat : 23170 (cosoco) R 23167 23170 20594 0 -1 4202496 7072 0 0 0 40223 1 0 0 20 0 1 0 79387107 29831168 1479 33554432000 4194304 6142532 140735902907008 140735902904536 5132936 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15712256 140735902913670 140735902913800 140735902913800 140735902916558 0
/proc/23170/statm: 7283 1479 892 476 0 605 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 29132 KiB
Current children cumulated memory: 5916 KiB
[startup+462.3 s]
/proc/loadavg: 2.02 2.09 2.07 3/191 23251
/proc/meminfo: memFree=19360164/32770624 swapFree=67108860/67108860
[pid=23170] ppid=23167 vsize=29132 memory=5916 CPUtime=462.23 cores=0,2,4,6
/proc/23170/stat : 23170 (cosoco) R 23167 23170 20594 0 -1 4202496 7521 0 0 0 46222 1 0 0 20 0 1 0 79387107 29831168 1479 33554432000 4194304 6142532 140735902907008 140735902904536 5175098 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15712256 140735902913670 140735902913800 140735902913800 140735902916558 0
/proc/23170/statm: 7283 1479 892 476 0 605 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 29132 KiB
Current children cumulated memory: 5916 KiB
################
# More data... #
################
/proc/23170/statm: 7283 1479 892 476 0 605 0
Current children cumulated CPU time: 1722.15 s
Current children cumulated vsize: 29132 KiB
Current children cumulated memory: 5916 KiB
[startup+1782.3 s]
/proc/loadavg: 2.18 2.12 2.08 3/190 23292
/proc/meminfo: memFree=19360256/32770624 swapFree=67108860/67108860
[pid=23170] ppid=23167 vsize=29132 memory=5916 CPUtime=1782.15 cores=0,2,4,6
/proc/23170/stat : 23170 (cosoco) R 23167 23170 20594 0 -1 4202496 17255 0 0 0 178214 1 0 0 20 0 1 0 79387107 29831168 1479 33554432000 4194304 6142532 140735902907008 140735902904536 5175056 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15712256 140735902913670 140735902913800 140735902913800 140735902916558 0
/proc/23170/statm: 7283 1479 892 476 0 605 0
Current children cumulated CPU time: 1782.15 s
Current children cumulated vsize: 29132 KiB
Current children cumulated memory: 5916 KiB
[startup+1842.3 s]
/proc/loadavg: 2.07 2.10 2.08 3/190 23293
/proc/meminfo: memFree=19360072/32770624 swapFree=67108860/67108860
[pid=23170] ppid=23167 vsize=29132 memory=5916 CPUtime=1842.15 cores=0,2,4,6
/proc/23170/stat : 23170 (cosoco) R 23167 23170 20594 0 -1 4202496 17723 0 0 0 184213 2 0 0 20 0 1 0 79387107 29831168 1479 33554432000 4194304 6142532 140735902907008 140735902904536 5215632 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15712256 140735902913670 140735902913800 140735902913800 140735902916558 0
/proc/23170/statm: 7283 1479 892 476 0 605 0
Current children cumulated CPU time: 1842.15 s
Current children cumulated vsize: 29132 KiB
Current children cumulated memory: 5916 KiB
[startup+1902.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/190 23294
/proc/meminfo: memFree=19360128/32770624 swapFree=67108860/67108860
[pid=23170] ppid=23167 vsize=29132 memory=5916 CPUtime=1902.15 cores=0,2,4,6
/proc/23170/stat : 23170 (cosoco) R 23167 23170 20594 0 -1 4202496 18167 0 0 0 190213 2 0 0 20 0 1 0 79387107 29831168 1479 33554432000 4194304 6142532 140735902907008 140735902904536 5124073 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15712256 140735902913670 140735902913800 140735902913800 140735902916558 0
/proc/23170/statm: 7283 1479 892 476 0 605 0
Current children cumulated CPU time: 1902.15 s
Current children cumulated vsize: 29132 KiB
Current children cumulated memory: 5916 KiB
[startup+1962.3 s]
/proc/loadavg: 2.17 2.11 2.08 3/190 23295
/proc/meminfo: memFree=19360260/32770624 swapFree=67108860/67108860
[pid=23170] ppid=23167 vsize=29132 memory=5916 CPUtime=1962.14 cores=0,2,4,6
/proc/23170/stat : 23170 (cosoco) R 23167 23170 20594 0 -1 4202496 18606 0 0 0 196212 2 0 0 20 0 1 0 79387107 29831168 1479 33554432000 4194304 6142532 140735902907008 140735902904536 5175056 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15712256 140735902913670 140735902913800 140735902913800 140735902916558 0
/proc/23170/statm: 7283 1479 892 476 0 605 0
Current children cumulated CPU time: 1962.14 s
Current children cumulated vsize: 29132 KiB
Current children cumulated memory: 5916 KiB
[startup+2022.3 s]
/proc/loadavg: 2.06 2.09 2.08 3/192 23305
/proc/meminfo: memFree=19359892/32770624 swapFree=67108860/67108860
[pid=23170] ppid=23167 vsize=29132 memory=5916 CPUtime=2022.14 cores=0,2,4,6
/proc/23170/stat : 23170 (cosoco) R 23167 23170 20594 0 -1 4202496 19061 0 0 0 202212 2 0 0 20 0 1 0 79387107 29831168 1479 33554432000 4194304 6142532 140735902907008 140735902904536 5130848 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15712256 140735902913670 140735902913800 140735902913800 140735902916558 0
/proc/23170/statm: 7283 1479 892 476 0 605 0
Current children cumulated CPU time: 2022.14 s
Current children cumulated vsize: 29132 KiB
Current children cumulated memory: 5916 KiB
[startup+2082.3 s]
/proc/loadavg: 2.02 2.07 2.07 3/192 23306
/proc/meminfo: memFree=19360220/32770624 swapFree=67108860/67108860
[pid=23170] ppid=23167 vsize=29132 memory=5916 CPUtime=2082.14 cores=0,2,4,6
/proc/23170/stat : 23170 (cosoco) R 23167 23170 20594 0 -1 4202496 19485 0 0 0 208212 2 0 0 20 0 1 0 79387107 29831168 1479 33554432000 4194304 6142532 140735902907008 140735902904536 5215632 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15712256 140735902913670 140735902913800 140735902913800 140735902916558 0
/proc/23170/statm: 7283 1479 892 476 0 605 0
Current children cumulated CPU time: 2082.14 s
Current children cumulated vsize: 29132 KiB
Current children cumulated memory: 5916 KiB
[startup+2142.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/192 23307
/proc/meminfo: memFree=19359928/32770624 swapFree=67108860/67108860
[pid=23170] ppid=23167 vsize=29132 memory=5916 CPUtime=2142.13 cores=0,2,4,6
/proc/23170/stat : 23170 (cosoco) R 23167 23170 20594 0 -1 4202496 19911 0 0 0 214211 2 0 0 20 0 1 0 79387107 29831168 1479 33554432000 4194304 6142532 140735902907008 140735902904536 5124073 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15712256 140735902913670 140735902913800 140735902913800 140735902916558 0
/proc/23170/statm: 7283 1479 892 476 0 605 0
Current children cumulated CPU time: 2142.13 s
Current children cumulated vsize: 29132 KiB
Current children cumulated memory: 5916 KiB
[startup+2202.3 s]
/proc/loadavg: 2.04 2.07 2.06 3/192 23308
/proc/meminfo: memFree=19360256/32770624 swapFree=67108860/67108860
[pid=23170] ppid=23167 vsize=29132 memory=5916 CPUtime=2202.13 cores=0,2,4,6
/proc/23170/stat : 23170 (cosoco) R 23167 23170 20594 0 -1 4202496 20363 0 0 0 220211 2 0 0 20 0 1 0 79387107 29831168 1479 33554432000 4194304 6142532 140735902907008 140735902904536 5017695 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15712256 140735902913670 140735902913800 140735902913800 140735902916558 0
/proc/23170/statm: 7283 1479 892 476 0 605 0
Current children cumulated CPU time: 2202.13 s
Current children cumulated vsize: 29132 KiB
Current children cumulated memory: 5916 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.05 2.06 3/192 23310
/proc/meminfo: memFree=19359788/32770624 swapFree=67108860/67108860
[pid=23170] ppid=23167 vsize=29132 memory=5916 CPUtime=2262.12 cores=0,2,4,6
/proc/23170/stat : 23170 (cosoco) R 23167 23170 20594 0 -1 4202496 20783 0 0 0 226210 2 0 0 20 0 1 0 79387107 29831168 1479 33554432000 4194304 6142532 140735902907008 140735902904536 5017941 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15712256 140735902913670 140735902913800 140735902913800 140735902916558 0
/proc/23170/statm: 7283 1479 892 476 0 605 0
Current children cumulated CPU time: 2262.12 s
Current children cumulated vsize: 29132 KiB
Current children cumulated memory: 5916 KiB
[startup+2322.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/190 23311
/proc/meminfo: memFree=19360156/32770624 swapFree=67108860/67108860
[pid=23170] ppid=23167 vsize=29132 memory=5916 CPUtime=2322.12 cores=0,2,4,6
/proc/23170/stat : 23170 (cosoco) R 23167 23170 20594 0 -1 4202496 21203 0 0 0 232210 2 0 0 20 0 1 0 79387107 29831168 1479 33554432000 4194304 6142532 140735902907008 140735902904536 5130832 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15712256 140735902913670 140735902913800 140735902913800 140735902916558 0
/proc/23170/statm: 7283 1479 892 476 0 605 0
Current children cumulated CPU time: 2322.12 s
Current children cumulated vsize: 29132 KiB
Current children cumulated memory: 5916 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/190 23312
/proc/meminfo: memFree=19360264/32770624 swapFree=67108860/67108860
[pid=23170] ppid=23167 vsize=29132 memory=5916 CPUtime=2382.12 cores=0,2,4,6
/proc/23170/stat : 23170 (cosoco) R 23167 23170 20594 0 -1 4202496 21623 0 0 0 238210 2 0 0 20 0 1 0 79387107 29831168 1479 33554432000 4194304 6142532 140735902907008 140735902904536 5124111 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15712256 140735902913670 140735902913800 140735902913800 140735902916558 0
/proc/23170/statm: 7283 1479 892 476 0 605 0
Current children cumulated CPU time: 2382.12 s
Current children cumulated vsize: 29132 KiB
Current children cumulated memory: 5916 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/190 23314
/proc/meminfo: memFree=19359380/32770624 swapFree=67108860/67108860
[pid=23170] ppid=23167 vsize=29132 memory=5916 CPUtime=2442.11 cores=0,2,4,6
/proc/23170/stat : 23170 (cosoco) R 23167 23170 20594 0 -1 4202496 22043 0 0 0 244209 2 0 0 20 0 1 0 79387107 29831168 1479 33554432000 4194304 6142532 140735902907008 140735902904536 5130604 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15712256 140735902913670 140735902913800 140735902913800 140735902916558 0
/proc/23170/statm: 7283 1479 892 476 0 605 0
Current children cumulated CPU time: 2442.11 s
Current children cumulated vsize: 29132 KiB
Current children cumulated memory: 5916 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/190 23315
/proc/meminfo: memFree=19359696/32770624 swapFree=67108860/67108860
[pid=23170] ppid=23167 vsize=29132 memory=5916 CPUtime=2502.11 cores=0,2,4,6
/proc/23170/stat : 23170 (cosoco) R 23167 23170 20594 0 -1 4202496 22480 0 0 0 250209 2 0 0 20 0 1 0 79387107 29831168 1479 33554432000 4194304 6142532 140735902907008 140735902904536 5124746 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15712256 140735902913670 140735902913800 140735902913800 140735902916558 0
/proc/23170/statm: 7283 1479 892 476 0 605 0
Current children cumulated CPU time: 2502.11 s
Current children cumulated vsize: 29132 KiB
Current children cumulated memory: 5916 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.02 2.05 3/190 23315
/proc/meminfo: memFree=19360012/32770624 swapFree=67108860/67108860
[pid=23170] ppid=23167 vsize=29132 memory=5916 CPUtime=2519.82 cores=0,2,4,6
/proc/23170/stat : 23170 (cosoco) R 23167 23170 20594 0 -1 4202496 22883 0 0 0 251980 2 0 0 20 0 1 0 79387107 29831168 1479 33554432000 4194304 6142532 140735902907008 140735902904536 5328272 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15712256 140735902913670 140735902913800 140735902913800 140735902916558 0
/proc/23170/statm: 7283 1479 892 476 0 605 0
Current children cumulated CPU time: 2519.82 s
Current children cumulated vsize: 29132 KiB
Current children cumulated memory: 5916 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 23170 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.8 s, system=0.026998 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): 2519.83
CPU user time (s): 2519.8
CPU system time (s): 0.026998
CPU usage (%): 99.9928
Max. virtual memory (cumulated for all children) (KiB): 29132
Max. memory (cumulated for all children) (KiB): 5916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.8
system time used= 0.026998
maximum resident set size= 5980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22944
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= 15
involuntary context switches= 3855
# summary of solver processes directly reported to runsolver:
# pid: 23170
# total CPU time (s): 2519.83
# total CPU user time (s): 2519.8
# total CPU system time (s): 0.026998
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.69106 second user time and 16.9035 second system time
The end
Begin job on node132 at 2018-07-26 17:17:19 IDJOB=4296251 IDBENCH=141676 IDSOLVER=2752 FILE ID=node132/4296251-1532618239 RUNJOBID= node132-1532595527-20625 PBS_JOBID= 21021972 Free space on /tmp= 52040 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/Bacp/Bacp-m1/Bacp-m1-12b_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4296251-1532618239/watcher-4296251-1532618239 -o /tmp/evaluation-result-4296251-1532618239/solver-4296251-1532618239 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532595527-20625 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4296251-1532618239.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 295649d4a2f2dba0d6a8c50decbb73e2 RANDOM SEED=1673809271 node132.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.65 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.65 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.65 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.65 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: 19360512 kB MemAvailable: 31925380 kB Buffers: 221328 kB Cached: 12504252 kB SwapCached: 0 kB Active: 3390676 kB Inactive: 9395480 kB Active(anon): 11020 kB Inactive(anon): 77500 kB Active(file): 3379656 kB Inactive(file): 9317980 kB Unevictable: 7020 kB Mlocked: 7020 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2800 kB Writeback: 0 kB AnonPages: 102272 kB Mapped: 42800 kB Shmem: 25248 kB Slab: 323128 kB SReclaimable: 295692 kB SUnreclaim: 27436 kB KernelStack: 3680 kB PageTables: 5280 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 357888 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 43008 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 52036 MiB End job on node132 at 2018-07-26 17:59:20