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 | 2520.02 | 2519.9 |
| Name | Bacp/Bacp-m1/ Bacp-m1-12a-nodv_c18.xml |
| MD5SUM | 6bd8ab3a70062286acb1d027c508a0d0 |
| 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 | 2520.02 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 882 |
| Number of constraints | 155 |
| Number of domains | 8 |
| Minimum domain size | 2 |
| Maximum domain size | 15 |
| Distribution of domain sizes | [{"size":2,"count":792},{"size":9,"count":12},{"size":12,"count":66},{"size":15,"count":12}] |
| 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.03 c best=?? lower=10 upper=24 0.00/0.04 c 0.00/0.04 c This is cosoco 1.12 -- 0.00/0.04 c 0.00/0.04 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4296263-1532618664.xml 0.00/0.04 c enable optimization 0.00/0.04 c ========================================[ Problem Statistics ]=========================================== 0.00/0.04 c | 0.00/0.04 c | Parse time : 0.02 s 0.00/0.04 c | 0.00/0.04 c | Variables: 882 0.00/0.04 c | Domain Sizes: 2..15 0.00/0.04 c | 0.00/0.04 c | Constraints: 156 0.00/0.04 c | Arity: 2..67 -- Binary: 65 0.00/0.04 c | 0.00/0.04 c | Types: 0.00/0.04 c | (X - Y < k): 65 0.00/0.04 c | Exactly K variable: 12 0.00/0.04 c | Extension: 66 (nb tuples: 12..12) -- (shared: 61) 0.00/0.04 c | Max constant: 1 0.00/0.04 c | Sum: 12 0.00/0.04 c | 0.00/0.04 c | Objective: Minimize Max constant 0.00/0.04 0.00/0.04 c ========================================================================================================= 0.00/0.04 o 23 0.00/0.04 c 1 calls to solver: best=23 lower=10 upper=22 0.00/0.06 o 22 0.00/0.08 o 21 0.00/0.08 c 3 calls to solver: best=21 lower=10 upper=20 0.00/0.09 o 20 0.10/0.11 o 19 0.10/0.11 c 5 calls to solver: best=19 lower=10 upper=18 1.10/1.14 o 18 3.88/3.92 o 17 3.88/3.92 c 7 calls to solver: best=17 lower=10 upper=16 2520.00/2519.90 2520.00/2519.90 c *** INTERRUPTED *** 2520.00/2519.90 c restarts : 90 2520.00/2519.90 c conflicts : 5548262 (2202 /sec) 2520.00/2519.90 c decisions : 88150145 (34980 /sec) 2520.00/2519.90 c propagations : 1427040113 (566284 /sec) 2520.00/2519.90 c root propagations : 388 2520.00/2519.90 c filter calls : 1654074706 (656377 /sec) 2520.00/2519.90 c useless filter calls : 1200606946 (72 %) 2520.00/2519.90 c Memory used : 31.93 MB 2520.00/2519.90 c CPU time : 2520.01 s 2520.00/2519.90 2520.00/2519.90 c nb Solutions = 7 2520.00/2519.90 s SATISFIABLE 2520.00/2519.90 c Best value found: 17 2520.00/2519.90 2520.00/2519.90 2520.00/2519.90 v <instantiation type='solution' cost='17'> 2520.00/2519.90 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> 2520.00/2519.90 v <values>0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 4 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 4 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 0 0 0 3 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 3 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 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 4 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 0 0 0 3 0 0 0 0 0 0 0 0 0 4 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 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 0 0 3 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 4 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 4 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 3 0 0 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 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 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 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 0 0 0 2 0 0 0 0 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 3 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 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 3 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 4 0 6 5 6 5 6 5 6 5 5 6 5 6 17 17 17 17 17 17 17 17 17 17 17 17 4 8 0 3 2 7 10 7 6 3 8 9 2 11 1 2 9 0 9 11 4 10 11 11 10 7 5 4 4 1 6 1 11 9 3 8 6 6 2 0 7 2 4 5 9 6 10 4 3 5 5 0 10 2 5 9 0 1 0 8 1 7 3 7 11 8 </values> 2520.00/2519.90 v </instantiation> 2520.00/2519.90
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 (4868 MiB free)
memory of node 1: 16384 MiB (7777 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296263-1532618664/watcher-4296263-1532618664 -o /tmp/evaluation-result-4296263-1532618664/solver-4296263-1532618664 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532618664-12614 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4296263-1532618664.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
Current StackSize limit: 8192 KiB
solver pid=12639, runsolver pid=12635
[startup+0.100169 s]*
/proc/loadavg: 0.98 1.24 1.34 4/188 12644
/proc/meminfo: memFree=12944048/32770624 swapFree=67108860/67108860
[pid=12639] ppid=12635 vsize=31640 memory=8344 CPUtime=0.1 cores=1,3,5,7
/proc/12639/stat : 12639 (cosoco) R 12635 12639 12582 0 -1 4202496 2261 0 0 0 10 0 0 0 20 0 1 0 79429626 32399360 2086 33554432000 4194304 6142532 140734355524432 140734355520920 5170144 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 26144768 140734355526790 140734355526920 140734355526920 140734355529678 0
/proc/12639/statm: 7910 2086 892 476 0 1232 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31640 KiB
Current children cumulated memory: 8344 KiB
[startup+0.209687 s]*
/proc/loadavg: 0.98 1.24 1.34 3/188 12644
/proc/meminfo: memFree=12943676/32770624 swapFree=67108860/67108860
[pid=12639] ppid=12635 vsize=32036 memory=8608 CPUtime=0.2 cores=1,3,5,7
/proc/12639/stat : 12639 (cosoco) R 12635 12639 12582 0 -1 4202496 2343 0 0 0 20 0 0 0 20 0 1 0 79429626 32804864 2152 33554432000 4194304 6142532 140734355524432 140734355520920 5017923 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 26144768 140734355526790 140734355526920 140734355526920 140734355529678 0
/proc/12639/statm: 8009 2152 892 476 0 1331 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 32036 KiB
Current children cumulated memory: 8608 KiB
[startup+0.309131 s]*
/proc/loadavg: 0.98 1.24 1.34 3/188 12644
/proc/meminfo: memFree=12942932/32770624 swapFree=67108860/67108860
[pid=12639] ppid=12635 vsize=32300 memory=8872 CPUtime=0.3 cores=1,3,5,7
/proc/12639/stat : 12639 (cosoco) R 12635 12639 12582 0 -1 4202496 2416 0 0 0 30 0 0 0 20 0 1 0 79429626 33075200 2218 33554432000 4194304 6142532 140734355524432 140734355520920 5330690 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 26144768 140734355526790 140734355526920 140734355526920 140734355529678 0
/proc/12639/statm: 8075 2218 892 476 0 1397 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 32300 KiB
Current children cumulated memory: 8872 KiB
[startup+0.700255 s]
/proc/loadavg: 0.98 1.24 1.34 3/188 12644
/proc/meminfo: memFree=12943336/32770624 swapFree=67108860/67108860
[pid=12639] ppid=12635 vsize=32432 memory=9136 CPUtime=0.69 cores=1,3,5,7
/proc/12639/stat : 12639 (cosoco) R 12635 12639 12582 0 -1 4202496 2453 0 0 0 69 0 0 0 20 0 1 0 79429626 33210368 2284 33554432000 4194304 6142532 140734355524432 140734355521160 5319106 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 26144768 140734355526790 140734355526920 140734355526920 140734355529678 0
/proc/12639/statm: 8108 2284 892 476 0 1430 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 32432 KiB
Current children cumulated memory: 9136 KiB
[startup+1.50024 s]
/proc/loadavg: 0.98 1.24 1.34 3/188 12644
/proc/meminfo: memFree=12943260/32770624 swapFree=67108860/67108860
[pid=12639] ppid=12635 vsize=32564 memory=9136 CPUtime=1.49 cores=1,3,5,7
/proc/12639/stat : 12639 (cosoco) R 12635 12639 12582 0 -1 4202496 2478 0 0 0 149 0 0 0 20 0 1 0 79429626 33345536 2284 33554432000 4194304 6142532 140734355524432 140734355521160 4990607 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 26144768 140734355526790 140734355526920 140734355526920 140734355529678 0
/proc/12639/statm: 8141 2284 892 476 0 1463 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 32564 KiB
Current children cumulated memory: 9136 KiB
[startup+3.10901 s]
/proc/loadavg: 0.98 1.24 1.34 3/188 12644
/proc/meminfo: memFree=12943104/32770624 swapFree=67108860/67108860
[pid=12639] ppid=12635 vsize=32564 memory=9288 CPUtime=3.1 cores=1,3,5,7
/proc/12639/stat : 12639 (cosoco) R 12635 12639 12582 0 -1 4202496 3763 0 0 0 310 0 0 0 20 0 1 0 79429626 33345536 2322 33554432000 4194304 6142532 140734355524432 140734355521960 5175056 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 26144768 140734355526790 140734355526920 140734355526920 140734355529678 0
/proc/12639/statm: 8141 2322 892 476 0 1463 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 32564 KiB
Current children cumulated memory: 9288 KiB
[startup+6.30023 s]
/proc/loadavg: 0.98 1.24 1.34 3/188 12644
/proc/meminfo: memFree=12942284/32770624 swapFree=67108860/67108860
[pid=12639] ppid=12635 vsize=32564 memory=9308 CPUtime=6.28 cores=1,3,5,7
/proc/12639/stat : 12639 (cosoco) R 12635 12639 12582 0 -1 4202496 4111 0 0 0 628 0 0 0 20 0 1 0 79429626 33345536 2327 33554432000 4194304 6142532 140734355524432 140734355511704 5017816 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 26144768 140734355526790 140734355526920 140734355526920 140734355529678 0
/proc/12639/statm: 8141 2327 892 476 0 1463 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 32564 KiB
Current children cumulated memory: 9308 KiB
[startup+12.7002 s]
/proc/loadavg: 1.07 1.25 1.34 3/188 12644
/proc/meminfo: memFree=12942456/32770624 swapFree=67108860/67108860
[pid=12639] ppid=12635 vsize=32564 memory=9316 CPUtime=12.68 cores=1,3,5,7
/proc/12639/stat : 12639 (cosoco) R 12635 12639 12582 0 -1 4202496 4445 0 0 0 1268 0 0 0 20 0 1 0 79429626 33345536 2329 33554432000 4194304 6142532 140734355524432 140734355511704 5215601 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 26144768 140734355526790 140734355526920 140734355526920 140734355529678 0
/proc/12639/statm: 8141 2329 892 476 0 1463 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 32564 KiB
Current children cumulated memory: 9316 KiB
[startup+25.5002 s]
/proc/loadavg: 1.27 1.29 1.35 3/188 12644
/proc/meminfo: memFree=12942828/32770624 swapFree=67108860/67108860
[pid=12639] ppid=12635 vsize=32564 memory=9332 CPUtime=25.48 cores=1,3,5,7
/proc/12639/stat : 12639 (cosoco) R 12635 12639 12582 0 -1 4202496 5106 0 0 0 2548 0 0 0 20 0 1 0 79429626 33345536 2333 33554432000 4194304 6142532 140734355524432 140734355511704 5215644 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 26144768 140734355526790 140734355526920 140734355526920 140734355529678 0
/proc/12639/statm: 8141 2333 892 476 0 1463 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 32564 KiB
Current children cumulated memory: 9332 KiB
[startup+51.1089 s]
/proc/loadavg: 1.52 1.34 1.37 3/187 12645
/proc/meminfo: memFree=12942128/32770624 swapFree=67108860/67108860
[pid=12639] ppid=12635 vsize=32564 memory=9376 CPUtime=51.09 cores=1,3,5,7
/proc/12639/stat : 12639 (cosoco) R 12635 12639 12582 0 -1 4202496 5456 0 0 0 5109 0 0 0 20 0 1 0 79429626 33345536 2344 33554432000 4194304 6142532 140734355524432 140734355511704 5215644 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 26144768 140734355526790 140734355526920 140734355526920 140734355529678 0
/proc/12639/statm: 8141 2344 892 476 0 1463 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 32564 KiB
Current children cumulated memory: 9376 KiB
[startup+102.3 s]
/proc/loadavg: 1.79 1.44 1.40 3/187 12646
/proc/meminfo: memFree=12942136/32770624 swapFree=67108860/67108860
[pid=12639] ppid=12635 vsize=32564 memory=9380 CPUtime=102.27 cores=1,3,5,7
/proc/12639/stat : 12639 (cosoco) R 12635 12639 12582 0 -1 4202496 5798 0 0 0 10227 0 0 0 20 0 1 0 79429626 33345536 2345 33554432000 4194304 6142532 140734355524432 140734355511704 5017799 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 26144768 140734355526790 140734355526920 140734355526920 140734355529678 0
/proc/12639/statm: 8141 2345 892 476 0 1463 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 32564 KiB
Current children cumulated memory: 9380 KiB
[startup+162.3 s]
/proc/loadavg: 1.92 1.55 1.44 3/187 12647
/proc/meminfo: memFree=12941476/32770624 swapFree=67108860/67108860
[pid=12639] ppid=12635 vsize=32564 memory=9384 CPUtime=162.26 cores=1,3,5,7
/proc/12639/stat : 12639 (cosoco) R 12635 12639 12582 0 -1 4202496 6142 0 0 0 16226 0 0 0 20 0 1 0 79429626 33345536 2346 33554432000 4194304 6142532 140734355524432 140734355511704 5018087 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 26144768 140734355526790 140734355526920 140734355526920 140734355529678 0
/proc/12639/statm: 8141 2346 892 476 0 1463 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 32564 KiB
Current children cumulated memory: 9384 KiB
[startup+222.3 s]
/proc/loadavg: 1.92 1.61 1.47 3/187 12649
/proc/meminfo: memFree=12941552/32770624 swapFree=67108860/67108860
[pid=12639] ppid=12635 vsize=32564 memory=9384 CPUtime=222.26 cores=1,3,5,7
/proc/12639/stat : 12639 (cosoco) R 12635 12639 12582 0 -1 4202496 6476 0 0 0 22226 0 0 0 20 0 1 0 79429626 33345536 2346 33554432000 4194304 6142532 140734355524432 140734355511704 5124115 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 26144768 140734355526790 140734355526920 140734355526920 140734355529678 0
/proc/12639/statm: 8141 2346 892 476 0 1463 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 32564 KiB
Current children cumulated memory: 9384 KiB
[startup+282.3 s]
/proc/loadavg: 1.97 1.68 1.50 3/187 12650
/proc/meminfo: memFree=12942124/32770624 swapFree=67108860/67108860
[pid=12639] ppid=12635 vsize=32564 memory=9384 CPUtime=282.26 cores=1,3,5,7
/proc/12639/stat : 12639 (cosoco) R 12635 12639 12582 0 -1 4202496 6817 0 0 0 28226 0 0 0 20 0 1 0 79429626 33345536 2346 33554432000 4194304 6142532 140734355524432 140734355511704 5130955 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 26144768 140734355526790 140734355526920 140734355526920 140734355529678 0
/proc/12639/statm: 8141 2346 892 476 0 1463 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 32564 KiB
Current children cumulated memory: 9384 KiB
[startup+342.3 s]
/proc/loadavg: 1.99 1.74 1.53 3/188 12659
/proc/meminfo: memFree=12941076/32770624 swapFree=67108860/67108860
[pid=12639] ppid=12635 vsize=32696 memory=9384 CPUtime=342.27 cores=1,3,5,7
/proc/12639/stat : 12639 (cosoco) R 12635 12639 12582 0 -1 4202496 6821 0 0 0 34227 0 0 0 20 0 1 0 79429626 33480704 2346 33554432000 4194304 6142532 140734355524432 140734355521144 5130600 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 26144768 140734355526790 140734355526920 140734355526920 140734355529678 0
/proc/12639/statm: 8174 2346 892 476 0 1496 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 32696 KiB
Current children cumulated memory: 9384 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.79 1.56 3/188 12660
/proc/meminfo: memFree=12941824/32770624 swapFree=67108860/67108860
[pid=12639] ppid=12635 vsize=32696 memory=9392 CPUtime=402.27 cores=1,3,5,7
/proc/12639/stat : 12639 (cosoco) R 12635 12639 12582 0 -1 4202496 7158 0 0 0 40227 0 0 0 20 0 1 0 79429626 33480704 2348 33554432000 4194304 6142532 140734355524432 140734355521144 5175264 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 26144768 140734355526790 140734355526920 140734355526920 140734355529678 0
/proc/12639/statm: 8174 2348 892 476 0 1496 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 32696 KiB
Current children cumulated memory: 9392 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.83 1.59 3/188 12661
/proc/meminfo: memFree=12942276/32770624 swapFree=67108860/67108860
[pid=12639] ppid=12635 vsize=32696 memory=9392 CPUtime=462.27 cores=1,3,5,7
/proc/12639/stat : 12639 (cosoco) R 12635 12639 12582 0 -1 4202496 7167 0 0 0 46227 0 0 0 20 0 1 0 79429626 33480704 2348 33554432000 4194304 6142532 140734355524432 140734355521144 5175070 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 26144768 140734355526790 140734355526920 140734355526920 140734355529678 0
/proc/12639/statm: 8174 2348 892 476 0 1496 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 32696 KiB
Current children cumulated memory: 9392 KiB
################
# More data... #
################
/proc/12639/statm: 8174 2358 892 476 0 1496 0
Current children cumulated CPU time: 1782.36 s
Current children cumulated vsize: 32696 KiB
Current children cumulated memory: 9432 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.90 3/187 12701
/proc/meminfo: memFree=12942240/32770624 swapFree=67108860/67108860
[pid=12639] ppid=12635 vsize=32696 memory=9432 CPUtime=1842.36 cores=1,3,5,7
/proc/12639/stat : 12639 (cosoco) R 12635 12639 12582 0 -1 4202496 11293 0 0 0 184236 0 0 0 20 0 1 0 79429626 33480704 2358 33554432000 4194304 6142532 140734355524432 140734355521144 5131107 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 26144768 140734355526790 140734355526920 140734355526920 140734355529678 0
/proc/12639/statm: 8174 2358 892 476 0 1496 0
Current children cumulated CPU time: 1842.36 s
Current children cumulated vsize: 32696 KiB
Current children cumulated memory: 9432 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/187 12702
/proc/meminfo: memFree=12942572/32770624 swapFree=67108860/67108860
[pid=12639] ppid=12635 vsize=32696 memory=9432 CPUtime=1902.36 cores=1,3,5,7
/proc/12639/stat : 12639 (cosoco) R 12635 12639 12582 0 -1 4202496 11298 0 0 0 190236 0 0 0 20 0 1 0 79429626 33480704 2358 33554432000 4194304 6142532 140734355524432 140734355521144 5124101 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 26144768 140734355526790 140734355526920 140734355526920 140734355529678 0
/proc/12639/statm: 8174 2358 892 476 0 1496 0
Current children cumulated CPU time: 1902.36 s
Current children cumulated vsize: 32696 KiB
Current children cumulated memory: 9432 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/187 12703
/proc/meminfo: memFree=12942572/32770624 swapFree=67108860/67108860
[pid=12639] ppid=12635 vsize=32696 memory=9432 CPUtime=1962.37 cores=1,3,5,7
/proc/12639/stat : 12639 (cosoco) R 12635 12639 12582 0 -1 4202496 11644 0 0 0 196237 0 0 0 20 0 1 0 79429626 33480704 2358 33554432000 4194304 6142532 140734355524432 140734355521144 5017941 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 26144768 140734355526790 140734355526920 140734355526920 140734355529678 0
/proc/12639/statm: 8174 2358 892 476 0 1496 0
Current children cumulated CPU time: 1962.37 s
Current children cumulated vsize: 32696 KiB
Current children cumulated memory: 9432 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/187 12705
/proc/meminfo: memFree=12941704/32770624 swapFree=67108860/67108860
[pid=12639] ppid=12635 vsize=32696 memory=9432 CPUtime=2022.37 cores=1,3,5,7
/proc/12639/stat : 12639 (cosoco) R 12635 12639 12582 0 -1 4202496 11646 0 0 0 202237 0 0 0 20 0 1 0 79429626 33480704 2358 33554432000 4194304 6142532 140734355524432 140734355521144 5130221 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 26144768 140734355526790 140734355526920 140734355526920 140734355529678 0
/proc/12639/statm: 8174 2358 892 476 0 1496 0
Current children cumulated CPU time: 2022.37 s
Current children cumulated vsize: 32696 KiB
Current children cumulated memory: 9432 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/187 12706
/proc/meminfo: memFree=12942208/32770624 swapFree=67108860/67108860
[pid=12639] ppid=12635 vsize=32696 memory=9432 CPUtime=2082.37 cores=1,3,5,7
/proc/12639/stat : 12639 (cosoco) R 12635 12639 12582 0 -1 4202496 11957 0 0 0 208237 0 0 0 20 0 1 0 79429626 33480704 2358 33554432000 4194304 6142532 140734355524432 140734355521144 5130604 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 26144768 140734355526790 140734355526920 140734355526920 140734355529678 0
/proc/12639/statm: 8174 2358 892 476 0 1496 0
Current children cumulated CPU time: 2082.37 s
Current children cumulated vsize: 32696 KiB
Current children cumulated memory: 9432 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/187 12714
/proc/meminfo: memFree=12941428/32770624 swapFree=67108860/67108860
[pid=12639] ppid=12635 vsize=32696 memory=9432 CPUtime=2142.38 cores=1,3,5,7
/proc/12639/stat : 12639 (cosoco) R 12635 12639 12582 0 -1 4202496 11958 0 0 0 214238 0 0 0 20 0 1 0 79429626 33480704 2358 33554432000 4194304 6142532 140734355524432 140734355521144 5013936 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 26144768 140734355526790 140734355526920 140734355526920 140734355529678 0
/proc/12639/statm: 8174 2358 892 476 0 1496 0
Current children cumulated CPU time: 2142.38 s
Current children cumulated vsize: 32696 KiB
Current children cumulated memory: 9432 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 1.94 3/188 12738
/proc/meminfo: memFree=12940280/32770624 swapFree=67108860/67108860
[pid=12639] ppid=12635 vsize=32696 memory=9432 CPUtime=2202.38 cores=1,3,5,7
/proc/12639/stat : 12639 (cosoco) R 12635 12639 12582 0 -1 4202496 12284 0 0 0 220238 0 0 0 20 0 1 0 79429626 33480704 2358 33554432000 4194304 6142532 140734355524432 140734355521144 5124073 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 26144768 140734355526790 140734355526920 140734355526920 140734355529678 0
/proc/12639/statm: 8174 2358 892 476 0 1496 0
Current children cumulated CPU time: 2202.38 s
Current children cumulated vsize: 32696 KiB
Current children cumulated memory: 9432 KiB
[startup+2262.3 s]
/proc/loadavg: 2.97 2.24 2.02 3/188 12739
/proc/meminfo: memFree=12940932/32770624 swapFree=67108860/67108860
[pid=12639] ppid=12635 vsize=32696 memory=9432 CPUtime=2262.39 cores=1,3,5,7
/proc/12639/stat : 12639 (cosoco) R 12635 12639 12582 0 -1 4202496 12286 0 0 0 226239 0 0 0 20 0 1 0 79429626 33480704 2358 33554432000 4194304 6142532 140734355524432 140734355521144 5175056 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 26144768 140734355526790 140734355526920 140734355526920 140734355529678 0
/proc/12639/statm: 8174 2358 892 476 0 1496 0
Current children cumulated CPU time: 2262.39 s
Current children cumulated vsize: 32696 KiB
Current children cumulated memory: 9432 KiB
[startup+2322.3 s]
/proc/loadavg: 2.42 2.22 2.04 3/188 12740
/proc/meminfo: memFree=12941304/32770624 swapFree=67108860/67108860
[pid=12639] ppid=12635 vsize=32696 memory=9432 CPUtime=2322.39 cores=1,3,5,7
/proc/12639/stat : 12639 (cosoco) R 12635 12639 12582 0 -1 4202496 12633 0 0 0 232239 0 0 0 20 0 1 0 79429626 33480704 2358 33554432000 4194304 6142532 140734355524432 140734355521144 5130604 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 26144768 140734355526790 140734355526920 140734355526920 140734355529678 0
/proc/12639/statm: 8174 2358 892 476 0 1496 0
Current children cumulated CPU time: 2322.39 s
Current children cumulated vsize: 32696 KiB
Current children cumulated memory: 9432 KiB
[startup+2382.3 s]
/proc/loadavg: 2.15 2.18 2.04 3/188 12741
/proc/meminfo: memFree=12941556/32770624 swapFree=67108860/67108860
[pid=12639] ppid=12635 vsize=32696 memory=9432 CPUtime=2382.39 cores=1,3,5,7
/proc/12639/stat : 12639 (cosoco) R 12635 12639 12582 0 -1 4202496 12633 0 0 0 238239 0 0 0 20 0 1 0 79429626 33480704 2358 33554432000 4194304 6142532 140734355524432 140734355521144 5013907 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 26144768 140734355526790 140734355526920 140734355526920 140734355529678 0
/proc/12639/statm: 8174 2358 892 476 0 1496 0
Current children cumulated CPU time: 2382.39 s
Current children cumulated vsize: 32696 KiB
Current children cumulated memory: 9432 KiB
[startup+2442.3 s]
/proc/loadavg: 2.06 2.15 2.04 3/188 12742
/proc/meminfo: memFree=12942016/32770624 swapFree=67108860/67108860
[pid=12639] ppid=12635 vsize=32696 memory=9432 CPUtime=2442.4 cores=1,3,5,7
/proc/12639/stat : 12639 (cosoco) R 12635 12639 12582 0 -1 4202496 12942 0 0 0 244240 0 0 0 20 0 1 0 79429626 33480704 2358 33554432000 4194304 6142532 140734355524432 140734355521144 5318922 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 26144768 140734355526790 140734355526920 140734355526920 140734355529678 0
/proc/12639/statm: 8174 2358 892 476 0 1496 0
Current children cumulated CPU time: 2442.4 s
Current children cumulated vsize: 32696 KiB
Current children cumulated memory: 9432 KiB
[startup+2502.3 s]
/proc/loadavg: 2.02 2.12 2.04 3/187 12743
/proc/meminfo: memFree=12942016/32770624 swapFree=67108860/67108860
[pid=12639] ppid=12635 vsize=32696 memory=9432 CPUtime=2502.4 cores=1,3,5,7
/proc/12639/stat : 12639 (cosoco) R 12635 12639 12582 0 -1 4202496 12943 0 0 0 250240 0 0 0 20 0 1 0 79429626 33480704 2358 33554432000 4194304 6142532 140734355524432 140734355521144 5124115 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 26144768 140734355526790 140734355526920 140734355526920 140734355529678 0
/proc/12639/statm: 8174 2358 892 476 0 1496 0
Current children cumulated CPU time: 2502.4 s
Current children cumulated vsize: 32696 KiB
Current children cumulated memory: 9432 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.02 2.11 2.04 3/187 12743
/proc/meminfo: memFree=12942016/32770624 swapFree=67108860/67108860
[pid=12639] ppid=12635 vsize=32696 memory=9432 CPUtime=2520 cores=1,3,5,7
/proc/12639/stat : 12639 (cosoco) R 12635 12639 12582 0 -1 4202496 13248 0 0 0 252000 0 0 0 20 0 1 0 79429626 33480704 2358 33554432000 4194304 6142532 140734355524432 140734355521144 5124073 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 26144768 140734355526790 140734355526920 140734355526920 140734355529678 0
/proc/12639/statm: 8174 2358 892 476 0 1496 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 32696 KiB
Current children cumulated memory: 9432 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.9 s]
# the end of solver process 12639 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520.01 s, system=0.008 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.02 2.11 2.04 3/187 12743
/proc/meminfo: memFree=12942016/32770624 swapFree=67108860/67108860
[pid=12639] ppid=12635 vsize=32696 memory=9432 CPUtime=2520 cores=1,3,5,7
/proc/12639/stat : 12639 (cosoco) R 12635 12639 12582 0 -1 4202496 13248 0 0 0 252000 0 0 0 20 0 1 0 79429626 33480704 2358 33554432000 4194304 6142532 140734355524432 140734355521144 5124073 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 26144768 140734355526790 140734355526920 140734355526920 140734355529678 0
/proc/12639/statm: 8174 2358 892 476 0 1496 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 32696 KiB
Current children cumulated memory: 9432 KiB
Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.02
CPU user time (s): 2520.01
CPU system time (s): 0.008
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 32696
Max. memory (cumulated for all children) (KiB): 9432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.01
system time used= 0.008
maximum resident set size= 9496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13313
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= 36
involuntary context switches= 868
# summary of solver processes directly reported to runsolver:
# pid: 12639
# total CPU time (s): 2520.02
# total CPU user time (s): 2520.01
# total CPU system time (s): 0.008
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.90728 second user time and 15.7251 second system time
The end
Begin job on node107 at 2018-07-26 17:24:24 IDJOB=4296263 IDBENCH=141679 IDSOLVER=2752 FILE ID=node107/4296263-1532618664 RUNJOBID= node107-1532618664-12614 PBS_JOBID= 21021982 Free space on /tmp= 54472 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/Bacp/Bacp-m1/Bacp-m1-12a-nodv_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4296263-1532618664/watcher-4296263-1532618664 -o /tmp/evaluation-result-4296263-1532618664/solver-4296263-1532618664 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532618664-12614 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4296263-1532618664.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6bd8ab3a70062286acb1d027c508a0d0 RANDOM SEED=464657950 node107.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.40 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.40 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.40 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.40 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: 12950740 kB MemAvailable: 31928980 kB Buffers: 299448 kB Cached: 18796672 kB SwapCached: 0 kB Active: 4309032 kB Inactive: 14841280 kB Active(anon): 57032 kB Inactive(anon): 25036 kB Active(file): 4252000 kB Inactive(file): 14816244 kB Unevictable: 7164 kB Mlocked: 7164 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 5192 kB Writeback: 0 kB AnonPages: 61432 kB Mapped: 40740 kB Shmem: 25228 kB Slab: 366320 kB SReclaimable: 338456 kB SUnreclaim: 27864 kB KernelStack: 3120 kB PageTables: 5552 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 325680 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: 91520 kB DirectMap2M: 33454080 kB Free space on /tmp at the end= 54464 MiB End job on node107 at 2018-07-26 18:06:24