Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
R1: cosoco-sat 1.1 | SAT | 1.5683 | 1.56935 |
Name | DiamondFree/DiamondFree-m1-s1/ DiamondFree-025.xml |
MD5SUM | abdc8b6c8c556f1ff08775a5cbfb19c3 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 1.29285 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 651 |
Number of constraints | 13278 |
Number of domains | 4 |
Minimum domain size | 1 |
Maximum domain size | 48 |
Distribution of domain sizes | [{"size":1,"count":25},{"size":2,"count":600},{"size":8,"count":25},{"size":48,"count":1}] |
Minimum variable degree | 1 |
Maximum variable degree | 257 |
Distribution of variable degrees | [{"degree":1,"count":1},{"degree":2,"count":25},{"degree":3,"count":25},{"degree":4,"count":300},{"degree":257,"count":300}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 625 |
Distribution of constraint arities | [{"arity":2,"count":600},{"arity":6,"count":12650},{"arity":25,"count":1},{"arity":26,"count":26},{"arity":625,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 600 |
Distribution of constraint types | [{"type":"intension","count":600},{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":12676}] |
Optimization problem | NO |
Type of objective |
0.49/0.59 c intension x[0][1]=x[1][0] using generic constraint 0.49/0.59 c intension x[0][2]=x[2][0] using generic constraint 0.49/0.59 c intension x[0][3]=x[3][0] using generic constraint 0.49/0.59 c intension x[0][4]=x[4][0] using generic constraint 0.49/0.60 c intension x[0][5]=x[5][0] using generic constraint 0.58/0.60 c intension x[0][6]=x[6][0] using generic constraint 0.58/0.60 c intension x[0][7]=x[7][0] using generic constraint 0.58/0.60 c intension x[0][8]=x[8][0] using generic constraint 0.58/0.60 c intension x[0][9]=x[9][0] using generic constraint 0.58/0.60 c intension x[0][10]=x[10][0] using generic constraint 0.58/0.60 c intension x[0][11]=x[11][0] using generic constraint 0.58/0.60 c intension x[0][12]=x[12][0] using generic constraint 0.58/0.60 c intension x[0][13]=x[13][0] using generic constraint 0.58/0.60 c intension x[0][14]=x[14][0] using generic constraint 0.58/0.61 c intension x[0][15]=x[15][0] using generic constraint 0.58/0.61 c intension x[0][16]=x[16][0] using generic constraint 0.58/0.61 c intension x[0][17]=x[17][0] using generic constraint 0.58/0.61 c intension x[0][18]=x[18][0] using generic constraint 0.58/0.61 c intension x[0][19]=x[19][0] using generic constraint 0.58/0.61 c intension x[0][20]=x[20][0] using generic constraint 0.58/0.61 c intension x[0][21]=x[21][0] using generic constraint 0.58/0.61 c intension x[0][22]=x[22][0] using generic constraint 0.58/0.61 c intension x[0][23]=x[23][0] using generic constraint 0.58/0.62 c intension x[0][24]=x[24][0] using generic constraint 0.58/0.62 c intension x[1][0]=x[0][1] using generic constraint 0.58/0.62 c intension x[1][2]=x[2][1] using generic constraint 0.58/0.62 c intension x[1][3]=x[3][1] using generic constraint 0.58/0.62 c intension x[1][4]=x[4][1] using generic constraint 0.58/0.62 c intension x[1][5]=x[5][1] using generic constraint 0.58/0.62 c intension x[1][6]=x[6][1] using generic constraint 0.58/0.62 c intension x[1][7]=x[7][1] using generic constraint 0.58/0.62 c intension x[1][8]=x[8][1] using generic constraint 0.58/0.62 c intension x[1][9]=x[9][1] using generic constraint 0.58/0.63 c intension x[1][10]=x[10][1] using generic constraint 0.58/0.63 c intension x[1][11]=x[11][1] using generic constraint 0.58/0.63 c intension x[1][12]=x[12][1] using generic constraint 0.58/0.63 c intension x[1][13]=x[13][1] using generic constraint 0.58/0.63 c intension x[1][14]=x[14][1] using generic constraint 0.58/0.63 c intension x[1][15]=x[15][1] using generic constraint 0.58/0.63 c intension x[1][16]=x[16][1] using generic constraint 0.58/0.63 c intension x[1][17]=x[17][1] using generic constraint 0.58/0.63 c intension x[1][18]=x[18][1] using generic constraint 0.58/0.64 c intension x[1][19]=x[19][1] using generic constraint 0.58/0.64 c intension x[1][20]=x[20][1] using generic constraint 0.58/0.64 c intension x[1][21]=x[21][1] using generic constraint 0.58/0.64 c intension x[1][22]=x[22][1] using generic constraint 0.58/0.64 c intension x[1][23]=x[23][1] using generic constraint 0.58/0.64 c intension x[1][24]=x[24][1] using generic constraint 0.58/0.64 c intension x[2][0]=x[0][2] using generic constraint 0.58/0.64 c intension x[2][1]=x[1][2] using generic constraint 0.58/0.64 c intension x[2][3]=x[3][2] using generic constraint 0.58/0.64 c intension x[2][4]=x[4][2] using generic constraint 0.58/0.65 c intension x[2][5]=x[5][2] using generic constraint 0.58/0.65 c intension x[2][6]=x[6][2] using generic constraint 0.58/0.65 c intension x[2][7]=x[7][2] using generic constraint 0.58/0.65 c intension x[2][8]=x[8][2] using generic constraint 0.58/0.65 c intension x[2][9]=x[9][2] using generic constraint 0.58/0.65 c intension x[2][10]=x[10][2] using generic constraint 0.58/0.65 c intension x[2][11]=x[11][2] using generic constraint 0.58/0.65 c intension x[2][12]=x[12][2] using generic constraint 0.58/0.65 c intension x[2][13]=x[13][2] using generic constraint 0.58/0.66 c intension x[2][14]=x[14][2] using generic constraint 0.58/0.66 c intension x[2][15]=x[15][2] using generic constraint 0.58/0.66 c intension x[2][16]=x[16][2] using generic constraint 0.58/0.66 c intension x[2][17]=x[17][2] using generic constraint 0.58/0.66 c intension x[2][18]=x[18][2] using generic constraint 0.58/0.66 c intension x[2][19]=x[19][2] using generic constraint 0.58/0.66 c intension x[2][20]=x[20][2] using generic constraint 0.58/0.66 c intension x[2][21]=x[21][2] using generic constraint 0.58/0.66 c intension x[2][22]=x[22][2] using generic constraint 0.58/0.66 c intension x[2][23]=x[23][2] using generic constraint 0.58/0.67 c intension x[2][24]=x[24][2] using generic constraint 0.58/0.67 c intension x[3][0]=x[0][3] using generic constraint 0.58/0.67 c intension x[3][1]=x[1][3] using generic constraint 0.58/0.67 c intension x[3][2]=x[2][3] using generic constraint 0.58/0.67 c intension x[3][4]=x[4][3] using generic constraint 0.58/0.67 c intension x[3][5]=x[5][3] using generic constraint 0.58/0.67 c intension x[3][6]=x[6][3] using generic constraint 0.58/0.67 c intension x[3][7]=x[7][3] using generic constraint 0.58/0.67 c intension x[3][8]=x[8][3] using generic constraint 0.58/0.67 c intension x[3][9]=x[9][3] using generic constraint 0.58/0.68 c intension x[3][10]=x[10][3] using generic constraint 0.58/0.68 c intension x[3][11]=x[11][3] using generic constraint 0.58/0.68 c intension x[3][12]=x[12][3] using generic constraint 0.58/0.68 c intension x[3][13]=x[13][3] using generic constraint 0.58/0.68 c intension x[3][14]=x[14][3] using generic constraint 0.58/0.68 c intension x[3][15]=x[15][3] using generic constraint 0.58/0.68 c intension x[3][16]=x[16][3] using generic constraint 0.58/0.68 c intension x[3][17]=x[17][3] using generic constraint 0.58/0.68 c intension x[3][18]=x[18][3] using generic constraint 0.58/0.69 c intension x[3][19]=x[19][3] using generic constraint 0.58/0.69 c intension x[3][20]=x[20][3] using generic constraint 0.58/0.69 c intension x[3][21]=x[21][3] using generic constraint 0.58/0.69 c intension x[3][22]=x[22][3] using generic constraint 0.58/0.69 c intension x[3][23]=x[23][3] using generic constraint 0.58/0.69 c intension x[3][24]=x[24][3] using generic constraint 0.58/0.69 c intension x[4][0]=x[0][4] using generic constraint 0.58/0.69 c intension x[4][1]=x[1][4] using generic constraint 0.58/0.69 c intension x[4][2]=x[2][4] using generic constraint 0.58/0.69 c intension x[4][3]=x[3][4] using generic constraint 0.68/0.70 c intension x[4][5]=x[5][4] using generic constraint 0.68/0.70 c intension x[4][6]=x[6][4] using generic constraint 0.68/0.70 c intension x[4][7]=x[7][4] using generic constraint 0.68/0.70 c intension x[4][8]=x[8][4] using generic constraint 0.68/0.70 c intension x[4][9]=x[9][4] using generic constraint 0.68/0.70 c intension x[4][10]=x[10][4] using generic constraint 0.68/0.70 c intension x[4][11]=x[11][4] using generic constraint 0.68/0.70 c intension x[4][12]=x[12][4] using generic constraint 0.68/0.70 c intension x[4][13]=x[13][4] using generic constraint 0.68/0.71 c intension x[4][14]=x[14][4] using generic constraint 0.68/0.71 c intension x[4][15]=x[15][4] using generic constraint 0.68/0.71 c intension x[4][16]=x[16][4] using generic constraint 0.68/0.71 c intension x[4][17]=x[17][4] using generic constraint 0.68/0.71 c intension x[4][18]=x[18][4] using generic constraint 0.68/0.71 c intension x[4][19]=x[19][4] using generic constraint 0.68/0.71 c intension x[4][20]=x[20][4] using generic constraint 0.68/0.71 c intension x[4][21]=x[21][4] using generic constraint 0.68/0.71 c intension x[4][22]=x[22][4] using generic constraint 0.68/0.71 c intension x[4][23]=x[23][4] using generic constraint 0.68/0.72 c intension x[4][24]=x[24][4] using generic constraint 0.68/0.72 c intension x[5][0]=x[0][5] using generic constraint 0.68/0.72 c intension x[5][1]=x[1][5] using generic constraint 0.68/0.72 c intension x[5][2]=x[2][5] using generic constraint 0.68/0.72 c intension x[5][3]=x[3][5] using generic constraint 0.68/0.72 c intension x[5][4]=x[4][5] using generic constraint 0.68/0.72 c intension x[5][6]=x[6][5] using generic constraint 0.68/0.72 c intension x[5][7]=x[7][5] using generic constraint 0.68/0.72 c intension x[5][8]=x[8][5] using generic constraint 0.68/0.73 c intension x[5][9]=x[9][5] using generic constraint 0.68/0.73 c intension x[5][10]=x[10][5] using generic constraint 0.68/0.73 c intension x[5][11]=x[11][5] using generic constraint 0.68/0.73 c intension x[5][12]=x[12][5] using generic constraint 0.68/0.73 c intension x[5][13]=x[13][5] using generic constraint 0.68/0.73 c intension x[5][14]=x[14][5] using generic constraint 0.68/0.73 c intension x[5][15]=x[15][5] using generic constraint 0.68/0.73 c intension x[5][16]=x[16][5] using generic constraint 0.68/0.73 c intension x[5][17]=x[17][5] using generic constraint 0.68/0.73 c intension x[5][18]=x[18][5] using generic constraint 0.68/0.74 c intension x[5][19]=x[19][5] using generic constraint 0.68/0.74 c intension x[5][20]=x[20][5] using generic constraint 0.68/0.74 c intension x[5][21]=x[21][5] using generic constraint 0.68/0.74 c intension x[5][22]=x[22][5] using generic constraint 0.68/0.74 c intension x[5][23]=x[23][5] using generic constraint 0.68/0.74 c intension x[5][24]=x[24][5] using generic constraint 0.68/0.74 c intension x[6][0]=x[0][6] using generic constraint 0.68/0.74 c intension x[6][1]=x[1][6] using generic constraint 0.68/0.74 c intension x[6][2]=x[2][6] using generic constraint 0.68/0.75 c intension x[6][3]=x[3][6] using generic constraint 0.68/0.75 c intension x[6][4]=x[4][6] using generic constraint 0.68/0.75 c intension x[6][5]=x[5][6] using generic constraint 0.68/0.75 c intension x[6][7]=x[7][6] using generic constraint 0.68/0.75 c intension x[6][8]=x[8][6] using generic constraint 0.68/0.75 c intension x[6][9]=x[9][6] using generic constraint 0.68/0.75 c intension x[6][10]=x[10][6] using generic constraint 0.68/0.75 c intension x[6][11]=x[11][6] using generic constraint 0.68/0.75 c intension x[6][12]=x[12][6] using generic constraint 0.68/0.75 c intension x[6][13]=x[13][6] using generic constraint 0.68/0.76 c intension x[6][14]=x[14][6] using generic constraint 0.68/0.76 c intension x[6][15]=x[15][6] using generic constraint 0.68/0.76 c intension x[6][16]=x[16][6] using generic constraint 0.68/0.76 c intension x[6][17]=x[17][6] using generic constraint 0.68/0.76 c intension x[6][18]=x[18][6] using generic constraint 0.68/0.76 c intension x[6][19]=x[19][6] using generic constraint 0.68/0.76 c intension x[6][20]=x[20][6] using generic constraint 0.68/0.76 c intension x[6][21]=x[21][6] using generic constraint 0.68/0.76 c intension x[6][22]=x[22][6] using generic constraint 0.68/0.77 c intension x[6][23]=x[23][6] using generic constraint 0.68/0.77 c intension x[6][24]=x[24][6] using generic constraint 0.68/0.77 c intension x[7][0]=x[0][7] using generic constraint 0.68/0.77 c intension x[7][1]=x[1][7] using generic constraint 0.68/0.77 c intension x[7][2]=x[2][7] using generic constraint 0.68/0.77 c intension x[7][3]=x[3][7] using generic constraint 0.68/0.77 c intension x[7][4]=x[4][7] using generic constraint 0.68/0.77 c intension x[7][5]=x[5][7] using generic constraint 0.68/0.77 c intension x[7][6]=x[6][7] using generic constraint 0.68/0.77 c intension x[7][8]=x[8][7] using generic constraint 0.68/0.78 c intension x[7][9]=x[9][7] using generic constraint 0.68/0.78 c intension x[7][10]=x[10][7] using generic constraint 0.68/0.78 c intension x[7][11]=x[11][7] using generic constraint 0.68/0.78 c intension x[7][12]=x[12][7] using generic constraint 0.68/0.78 c intension x[7][13]=x[13][7] using generic constraint 0.68/0.78 c intension x[7][14]=x[14][7] using generic constraint 0.68/0.78 c intension x[7][15]=x[15][7] using generic constraint 0.68/0.78 c intension x[7][16]=x[16][7] using generic constraint 0.68/0.78 c intension x[7][17]=x[17][7] using generic constraint 0.68/0.78 c intension x[7][18]=x[18][7] using generic constraint 0.68/0.79 c intension x[7][19]=x[19][7] using generic constraint 0.68/0.79 c intension x[7][20]=x[20][7] using generic constraint 0.68/0.79 c intension x[7][21]=x[21][7] using generic constraint 0.68/0.79 c intension x[7][22]=x[22][7] using generic constraint 0.68/0.79 c intension x[7][23]=x[23][7] using generic constraint 0.68/0.79 c intension x[7][24]=x[24][7] using generic constraint 0.68/0.79 c intension x[8][0]=x[0][8] using generic constraint 0.68/0.79 c intension x[8][1]=x[1][8] using generic constraint 0.68/0.79 c intension x[8][2]=x[2][8] using generic constraint 0.68/0.80 c intension x[8][3]=x[3][8] using generic constraint 0.78/0.80 c intension x[8][4]=x[4][8] using generic constraint 0.78/0.80 c intension x[8][5]=x[5][8] using generic constraint 0.78/0.80 c intension x[8][6]=x[6][8] using generic constraint 0.78/0.80 c intension x[8][7]=x[7][8] using generic constraint 0.78/0.80 c intension x[8][9]=x[9][8] using generic constraint 0.78/0.80 c intension x[8][10]=x[10][8] using generic constraint 0.78/0.80 c intension x[8][11]=x[11][8] using generic constraint 0.78/0.80 c intension x[8][12]=x[12][8] using generic constraint 0.78/0.80 c intension x[8][13]=x[13][8] using generic constraint 0.78/0.81 c intension x[8][14]=x[14][8] using generic constraint 0.78/0.81 c intension x[8][15]=x[15][8] using generic constraint 0.78/0.81 c intension x[8][16]=x[16][8] using generic constraint 0.78/0.81 c intension x[8][17]=x[17][8] using generic constraint 0.78/0.81 c intension x[8][18]=x[18][8] using generic constraint 0.78/0.81 c intension x[8][19]=x[19][8] using generic constraint 0.78/0.81 c intension x[8][20]=x[20][8] using generic constraint 0.78/0.81 c intension x[8][21]=x[21][8] using generic constraint 0.78/0.81 c intension x[8][22]=x[22][8] using generic constraint 0.78/0.82 c intension x[8][23]=x[23][8] using generic constraint 0.78/0.82 c intension x[8][24]=x[24][8] using generic constraint 0.78/0.82 c intension x[9][0]=x[0][9] using generic constraint 0.78/0.82 c intension x[9][1]=x[1][9] using generic constraint 0.78/0.82 c intension x[9][2]=x[2][9] using generic constraint 0.78/0.82 c intension x[9][3]=x[3][9] using generic constraint 0.78/0.82 c intension x[9][4]=x[4][9] using generic constraint 0.78/0.82 c intension x[9][5]=x[5][9] using generic constraint 0.78/0.82 c intension x[9][6]=x[6][9] using generic constraint 0.78/0.82 c intension x[9][7]=x[7][9] using generic constraint 0.78/0.83 c intension x[9][8]=x[8][9] using generic constraint 0.78/0.83 c intension x[9][10]=x[10][9] using generic constraint 0.78/0.83 c intension x[9][11]=x[11][9] using generic constraint 0.78/0.83 c intension x[9][12]=x[12][9] using generic constraint 0.78/0.83 c intension x[9][13]=x[13][9] using generic constraint 0.78/0.83 c intension x[9][14]=x[14][9] using generic constraint 0.78/0.83 c intension x[9][15]=x[15][9] using generic constraint 0.78/0.83 c intension x[9][16]=x[16][9] using generic constraint 0.78/0.83 c intension x[9][17]=x[17][9] using generic constraint 0.78/0.84 c intension x[9][18]=x[18][9] using generic constraint 0.78/0.84 c intension x[9][19]=x[19][9] using generic constraint 0.78/0.84 c intension x[9][20]=x[20][9] using generic constraint 0.78/0.84 c intension x[9][21]=x[21][9] using generic constraint 0.78/0.84 c intension x[9][22]=x[22][9] using generic constraint 0.78/0.84 c intension x[9][23]=x[23][9] using generic constraint 0.78/0.84 c intension x[9][24]=x[24][9] using generic constraint 0.78/0.84 c intension x[10][0]=x[0][10] using generic constraint 0.78/0.84 c intension x[10][1]=x[1][10] using generic constraint 0.78/0.84 c intension x[10][2]=x[2][10] using generic constraint 0.78/0.85 c intension x[10][3]=x[3][10] using generic constraint 0.78/0.85 c intension x[10][4]=x[4][10] using generic constraint 0.78/0.85 c intension x[10][5]=x[5][10] using generic constraint 0.78/0.85 c intension x[10][6]=x[6][10] using generic constraint 0.78/0.85 c intension x[10][7]=x[7][10] using generic constraint 0.78/0.85 c intension x[10][8]=x[8][10] using generic constraint 0.78/0.85 c intension x[10][9]=x[9][10] using generic constraint 0.78/0.85 c intension x[10][11]=x[11][10] using generic constraint 0.78/0.85 c intension x[10][12]=x[12][10] using generic constraint 0.78/0.86 c intension x[10][13]=x[13][10] using generic constraint 0.78/0.86 c intension x[10][14]=x[14][10] using generic constraint 0.78/0.86 c intension x[10][15]=x[15][10] using generic constraint 0.78/0.86 c intension x[10][16]=x[16][10] using generic constraint 0.78/0.86 c intension x[10][17]=x[17][10] using generic constraint 0.78/0.86 c intension x[10][18]=x[18][10] using generic constraint 0.78/0.86 c intension x[10][19]=x[19][10] using generic constraint 0.78/0.86 c intension x[10][20]=x[20][10] using generic constraint 0.78/0.86 c intension x[10][21]=x[21][10] using generic constraint 0.78/0.86 c intension x[10][22]=x[22][10] using generic constraint 0.78/0.87 c intension x[10][23]=x[23][10] using generic constraint 0.78/0.87 c intension x[10][24]=x[24][10] using generic constraint 0.78/0.87 c intension x[11][0]=x[0][11] using generic constraint 0.78/0.87 c intension x[11][1]=x[1][11] using generic constraint 0.78/0.87 c intension x[11][2]=x[2][11] using generic constraint 0.78/0.87 c intension x[11][3]=x[3][11] using generic constraint 0.78/0.87 c intension x[11][4]=x[4][11] using generic constraint 0.78/0.87 c intension x[11][5]=x[5][11] using generic constraint 0.78/0.87 c intension x[11][6]=x[6][11] using generic constraint 0.78/0.88 c intension x[11][7]=x[7][11] using generic constraint 0.78/0.88 c intension x[11][8]=x[8][11] using generic constraint 0.78/0.88 c intension x[11][9]=x[9][11] using generic constraint 0.78/0.88 c intension x[11][10]=x[10][11] using generic constraint 0.78/0.88 c intension x[11][12]=x[12][11] using generic constraint 0.78/0.88 c intension x[11][13]=x[13][11] using generic constraint 0.78/0.88 c intension x[11][14]=x[14][11] using generic constraint 0.78/0.88 c intension x[11][15]=x[15][11] using generic constraint 0.78/0.88 c intension x[11][16]=x[16][11] using generic constraint 0.78/0.88 c intension x[11][17]=x[17][11] using generic constraint 0.78/0.89 c intension x[11][18]=x[18][11] using generic constraint 0.78/0.89 c intension x[11][19]=x[19][11] using generic constraint 0.78/0.89 c intension x[11][20]=x[20][11] using generic constraint 0.78/0.89 c intension x[11][21]=x[21][11] using generic constraint 0.78/0.89 c intension x[11][22]=x[22][11] using generic constraint 0.78/0.89 c intension x[11][23]=x[23][11] using generic constraint 0.78/0.89 c intension x[11][24]=x[24][11] using generic constraint 0.78/0.89 c intension x[12][0]=x[0][12] using generic constraint 0.78/0.89 c intension x[12][1]=x[1][12] using generic constraint 0.78/0.90 c intension x[12][2]=x[2][12] using generic constraint 0.89/0.90 c intension x[12][3]=x[3][12] using generic constraint 0.89/0.90 c intension x[12][4]=x[4][12] using generic constraint 0.89/0.90 c intension x[12][5]=x[5][12] using generic constraint 0.89/0.90 c intension x[12][6]=x[6][12] using generic constraint 0.89/0.90 c intension x[12][7]=x[7][12] using generic constraint 0.89/0.90 c intension x[12][8]=x[8][12] using generic constraint 0.89/0.90 c intension x[12][9]=x[9][12] using generic constraint 0.89/0.90 c intension x[12][10]=x[10][12] using generic constraint 0.89/0.91 c intension x[12][11]=x[11][12] using generic constraint 0.89/0.91 c intension x[12][13]=x[13][12] using generic constraint 0.89/0.91 c intension x[12][14]=x[14][12] using generic constraint 0.89/0.91 c intension x[12][15]=x[15][12] using generic constraint 0.89/0.91 c intension x[12][16]=x[16][12] using generic constraint 0.89/0.91 c intension x[12][17]=x[17][12] using generic constraint 0.89/0.91 c intension x[12][18]=x[18][12] using generic constraint 0.89/0.91 c intension x[12][19]=x[19][12] using generic constraint 0.89/0.91 c intension x[12][20]=x[20][12] using generic constraint 0.89/0.91 c intension x[12][21]=x[21][12] using generic constraint 0.89/0.92 c intension x[12][22]=x[22][12] using generic constraint 0.89/0.92 c intension x[12][23]=x[23][12] using generic constraint 0.89/0.92 c intension x[12][24]=x[24][12] using generic constraint 0.89/0.92 c intension x[13][0]=x[0][13] using generic constraint 0.89/0.92 c intension x[13][1]=x[1][13] using generic constraint 0.89/0.92 c intension x[13][2]=x[2][13] using generic constraint 0.89/0.92 c intension x[13][3]=x[3][13] using generic constraint 0.89/0.92 c intension x[13][4]=x[4][13] using generic constraint 0.89/0.92 c intension x[13][5]=x[5][13] using generic constraint 0.89/0.93 c intension x[13][6]=x[6][13] using generic constraint 0.89/0.93 c intension x[13][7]=x[7][13] using generic constraint 0.89/0.93 c intension x[13][8]=x[8][13] using generic constraint 0.89/0.93 c intension x[13][9]=x[9][13] using generic constraint 0.89/0.93 c intension x[13][10]=x[10][13] using generic constraint 0.89/0.93 c intension x[13][11]=x[11][13] using generic constraint 0.89/0.93 c intension x[13][12]=x[12][13] using generic constraint 0.89/0.93 c intension x[13][14]=x[14][13] using generic constraint 0.89/0.93 c intension x[13][15]=x[15][13] using generic constraint 0.89/0.93 c intension x[13][16]=x[16][13] using generic constraint 0.89/0.94 c intension x[13][17]=x[17][13] using generic constraint 0.89/0.94 c intension x[13][18]=x[18][13] using generic constraint 0.89/0.94 c intension x[13][19]=x[19][13] using generic constraint 0.89/0.94 c intension x[13][20]=x[20][13] using generic constraint 0.89/0.94 c intension x[13][21]=x[21][13] using generic constraint 0.89/0.94 c intension x[13][22]=x[22][13] using generic constraint 0.89/0.94 c intension x[13][23]=x[23][13] using generic constraint 0.89/0.94 c intension x[13][24]=x[24][13] using generic constraint 0.89/0.94 c intension x[14][0]=x[0][14] using generic constraint 0.89/0.95 c intension x[14][1]=x[1][14] using generic constraint 0.89/0.95 c intension x[14][2]=x[2][14] using generic constraint 0.89/0.95 c intension x[14][3]=x[3][14] using generic constraint 0.89/0.95 c intension x[14][4]=x[4][14] using generic constraint 0.89/0.95 c intension x[14][5]=x[5][14] using generic constraint 0.89/0.95 c intension x[14][6]=x[6][14] using generic constraint 0.89/0.95 c intension x[14][7]=x[7][14] using generic constraint 0.89/0.95 c intension x[14][8]=x[8][14] using generic constraint 0.89/0.95 c intension x[14][9]=x[9][14] using generic constraint 0.89/0.95 c intension x[14][10]=x[10][14] using generic constraint 0.89/0.96 c intension x[14][11]=x[11][14] using generic constraint 0.89/0.96 c intension x[14][12]=x[12][14] using generic constraint 0.89/0.96 c intension x[14][13]=x[13][14] using generic constraint 0.89/0.96 c intension x[14][15]=x[15][14] using generic constraint 0.89/0.96 c intension x[14][16]=x[16][14] using generic constraint 0.89/0.96 c intension x[14][17]=x[17][14] using generic constraint 0.89/0.96 c intension x[14][18]=x[18][14] using generic constraint 0.89/0.96 c intension x[14][19]=x[19][14] using generic constraint 0.89/0.96 c intension x[14][20]=x[20][14] using generic constraint 0.89/0.97 c intension x[14][21]=x[21][14] using generic constraint 0.89/0.97 c intension x[14][22]=x[22][14] using generic constraint 0.89/0.97 c intension x[14][23]=x[23][14] using generic constraint 0.89/0.97 c intension x[14][24]=x[24][14] using generic constraint 0.89/0.97 c intension x[15][0]=x[0][15] using generic constraint 0.89/0.97 c intension x[15][1]=x[1][15] using generic constraint 0.89/0.97 c intension x[15][2]=x[2][15] using generic constraint 0.89/0.97 c intension x[15][3]=x[3][15] using generic constraint 0.89/0.97 c intension x[15][4]=x[4][15] using generic constraint 0.89/0.98 c intension x[15][5]=x[5][15] using generic constraint 0.89/0.98 c intension x[15][6]=x[6][15] using generic constraint 0.89/0.98 c intension x[15][7]=x[7][15] using generic constraint 0.89/0.98 c intension x[15][8]=x[8][15] using generic constraint 0.89/0.98 c intension x[15][9]=x[9][15] using generic constraint 0.89/0.98 c intension x[15][10]=x[10][15] using generic constraint 0.89/0.98 c intension x[15][11]=x[11][15] using generic constraint 0.89/0.98 c intension x[15][12]=x[12][15] using generic constraint 0.89/0.98 c intension x[15][13]=x[13][15] using generic constraint 0.89/0.98 c intension x[15][14]=x[14][15] using generic constraint 0.89/0.99 c intension x[15][16]=x[16][15] using generic constraint 0.89/0.99 c intension x[15][17]=x[17][15] using generic constraint 0.89/0.99 c intension x[15][18]=x[18][15] using generic constraint 0.89/0.99 c intension x[15][19]=x[19][15] using generic constraint 0.89/0.99 c intension x[15][20]=x[20][15] using generic constraint 0.89/0.99 c intension x[15][21]=x[21][15] using generic constraint 0.89/0.99 c intension x[15][22]=x[22][15] using generic constraint 0.89/0.99 c intension x[15][23]=x[23][15] using generic constraint 0.89/0.99 c intension x[15][24]=x[24][15] using generic constraint 0.89/1.00 c intension x[16][0]=x[0][16] using generic constraint 0.99/1.00 c intension x[16][1]=x[1][16] using generic constraint 0.99/1.00 c intension x[16][2]=x[2][16] using generic constraint 0.99/1.00 c intension x[16][3]=x[3][16] using generic constraint 0.99/1.00 c intension x[16][4]=x[4][16] using generic constraint 0.99/1.00 c intension x[16][5]=x[5][16] using generic constraint 0.99/1.00 c intension x[16][6]=x[6][16] using generic constraint 0.99/1.00 c intension x[16][7]=x[7][16] using generic constraint 0.99/1.00 c intension x[16][8]=x[8][16] using generic constraint 0.99/1.00 c intension x[16][9]=x[9][16] using generic constraint 0.99/1.01 c intension x[16][10]=x[10][16] using generic constraint 0.99/1.01 c intension x[16][11]=x[11][16] using generic constraint 0.99/1.01 c intension x[16][12]=x[12][16] using generic constraint 0.99/1.01 c intension x[16][13]=x[13][16] using generic constraint 0.99/1.01 c intension x[16][14]=x[14][16] using generic constraint 0.99/1.01 c intension x[16][15]=x[15][16] using generic constraint 0.99/1.01 c intension x[16][17]=x[17][16] using generic constraint 0.99/1.01 c intension x[16][18]=x[18][16] using generic constraint 0.99/1.01 c intension x[16][19]=x[19][16] using generic constraint 0.99/1.02 c intension x[16][20]=x[20][16] using generic constraint 0.99/1.02 c intension x[16][21]=x[21][16] using generic constraint 0.99/1.02 c intension x[16][22]=x[22][16] using generic constraint 0.99/1.02 c intension x[16][23]=x[23][16] using generic constraint 0.99/1.02 c intension x[16][24]=x[24][16] using generic constraint 0.99/1.02 c intension x[17][0]=x[0][17] using generic constraint 0.99/1.02 c intension x[17][1]=x[1][17] using generic constraint 0.99/1.02 c intension x[17][2]=x[2][17] using generic constraint 0.99/1.02 c intension x[17][3]=x[3][17] using generic constraint 0.99/1.03 c intension x[17][4]=x[4][17] using generic constraint 0.99/1.03 c intension x[17][5]=x[5][17] using generic constraint 0.99/1.03 c intension x[17][6]=x[6][17] using generic constraint 0.99/1.03 c intension x[17][7]=x[7][17] using generic constraint 0.99/1.03 c intension x[17][8]=x[8][17] using generic constraint 0.99/1.03 c intension x[17][9]=x[9][17] using generic constraint 0.99/1.03 c intension x[17][10]=x[10][17] using generic constraint 0.99/1.03 c intension x[17][11]=x[11][17] using generic constraint 0.99/1.03 c intension x[17][12]=x[12][17] using generic constraint 0.99/1.03 c intension x[17][13]=x[13][17] using generic constraint 0.99/1.04 c intension x[17][14]=x[14][17] using generic constraint 0.99/1.04 c intension x[17][15]=x[15][17] using generic constraint 0.99/1.04 c intension x[17][16]=x[16][17] using generic constraint 0.99/1.04 c intension x[17][18]=x[18][17] using generic constraint 0.99/1.04 c intension x[17][19]=x[19][17] using generic constraint 0.99/1.04 c intension x[17][20]=x[20][17] using generic constraint 0.99/1.04 c intension x[17][21]=x[21][17] using generic constraint 0.99/1.04 c intension x[17][22]=x[22][17] using generic constraint 0.99/1.04 c intension x[17][23]=x[23][17] using generic constraint 0.99/1.05 c intension x[17][24]=x[24][17] using generic constraint 0.99/1.05 c intension x[18][0]=x[0][18] using generic constraint 0.99/1.05 c intension x[18][1]=x[1][18] using generic constraint 0.99/1.05 c intension x[18][2]=x[2][18] using generic constraint 0.99/1.05 c intension x[18][3]=x[3][18] using generic constraint 0.99/1.05 c intension x[18][4]=x[4][18] using generic constraint 0.99/1.05 c intension x[18][5]=x[5][18] using generic constraint 0.99/1.05 c intension x[18][6]=x[6][18] using generic constraint 0.99/1.05 c intension x[18][7]=x[7][18] using generic constraint 0.99/1.05 c intension x[18][8]=x[8][18] using generic constraint 0.99/1.06 c intension x[18][9]=x[9][18] using generic constraint 0.99/1.06 c intension x[18][10]=x[10][18] using generic constraint 0.99/1.06 c intension x[18][11]=x[11][18] using generic constraint 0.99/1.06 c intension x[18][12]=x[12][18] using generic constraint 0.99/1.06 c intension x[18][13]=x[13][18] using generic constraint 0.99/1.06 c intension x[18][14]=x[14][18] using generic constraint 0.99/1.06 c intension x[18][15]=x[15][18] using generic constraint 0.99/1.06 c intension x[18][16]=x[16][18] using generic constraint 0.99/1.06 c intension x[18][17]=x[17][18] using generic constraint 0.99/1.07 c intension x[18][19]=x[19][18] using generic constraint 0.99/1.07 c intension x[18][20]=x[20][18] using generic constraint 0.99/1.07 c intension x[18][21]=x[21][18] using generic constraint 0.99/1.07 c intension x[18][22]=x[22][18] using generic constraint 0.99/1.07 c intension x[18][23]=x[23][18] using generic constraint 0.99/1.07 c intension x[18][24]=x[24][18] using generic constraint 0.99/1.07 c intension x[19][0]=x[0][19] using generic constraint 0.99/1.07 c intension x[19][1]=x[1][19] using generic constraint 0.99/1.07 c intension x[19][2]=x[2][19] using generic constraint 0.99/1.08 c intension x[19][3]=x[3][19] using generic constraint 0.99/1.08 c intension x[19][4]=x[4][19] using generic constraint 0.99/1.08 c intension x[19][5]=x[5][19] using generic constraint 0.99/1.08 c intension x[19][6]=x[6][19] using generic constraint 0.99/1.08 c intension x[19][7]=x[7][19] using generic constraint 0.99/1.08 c intension x[19][8]=x[8][19] using generic constraint 0.99/1.08 c intension x[19][9]=x[9][19] using generic constraint 0.99/1.08 c intension x[19][10]=x[10][19] using generic constraint 0.99/1.08 c intension x[19][11]=x[11][19] using generic constraint 0.99/1.08 c intension x[19][12]=x[12][19] using generic constraint 0.99/1.09 c intension x[19][13]=x[13][19] using generic constraint 0.99/1.09 c intension x[19][14]=x[14][19] using generic constraint 0.99/1.09 c intension x[19][15]=x[15][19] using generic constraint 0.99/1.09 c intension x[19][16]=x[16][19] using generic constraint 0.99/1.09 c intension x[19][17]=x[17][19] using generic constraint 0.99/1.09 c intension x[19][18]=x[18][19] using generic constraint 0.99/1.09 c intension x[19][20]=x[20][19] using generic constraint 0.99/1.09 c intension x[19][21]=x[21][19] using generic constraint 0.99/1.09 c intension x[19][22]=x[22][19] using generic constraint 0.99/1.10 c intension x[19][23]=x[23][19] using generic constraint 0.99/1.10 c intension x[19][24]=x[24][19] using generic constraint 0.99/1.10 c intension x[20][0]=x[0][20] using generic constraint 0.99/1.10 c intension x[20][1]=x[1][20] using generic constraint 0.99/1.10 c intension x[20][2]=x[2][20] using generic constraint 0.99/1.10 c intension x[20][3]=x[3][20] using generic constraint 0.99/1.10 c intension x[20][4]=x[4][20] using generic constraint 0.99/1.10 c intension x[20][5]=x[5][20] using generic constraint 1.10/1.10 c intension x[20][6]=x[6][20] using generic constraint 1.10/1.11 c intension x[20][7]=x[7][20] using generic constraint 1.10/1.11 c intension x[20][8]=x[8][20] using generic constraint 1.10/1.11 c intension x[20][9]=x[9][20] using generic constraint 1.10/1.11 c intension x[20][10]=x[10][20] using generic constraint 1.10/1.11 c intension x[20][11]=x[11][20] using generic constraint 1.10/1.11 c intension x[20][12]=x[12][20] using generic constraint 1.10/1.11 c intension x[20][13]=x[13][20] using generic constraint 1.10/1.11 c intension x[20][14]=x[14][20] using generic constraint 1.10/1.11 c intension x[20][15]=x[15][20] using generic constraint 1.10/1.12 c intension x[20][16]=x[16][20] using generic constraint 1.10/1.12 c intension x[20][17]=x[17][20] using generic constraint 1.10/1.12 c intension x[20][18]=x[18][20] using generic constraint 1.10/1.12 c intension x[20][19]=x[19][20] using generic constraint 1.10/1.12 c intension x[20][21]=x[21][20] using generic constraint 1.10/1.12 c intension x[20][22]=x[22][20] using generic constraint 1.10/1.12 c intension x[20][23]=x[23][20] using generic constraint 1.10/1.12 c intension x[20][24]=x[24][20] using generic constraint 1.10/1.12 c intension x[21][0]=x[0][21] using generic constraint 1.10/1.12 c intension x[21][1]=x[1][21] using generic constraint 1.10/1.13 c intension x[21][2]=x[2][21] using generic constraint 1.10/1.13 c intension x[21][3]=x[3][21] using generic constraint 1.10/1.13 c intension x[21][4]=x[4][21] using generic constraint 1.10/1.13 c intension x[21][5]=x[5][21] using generic constraint 1.10/1.13 c intension x[21][6]=x[6][21] using generic constraint 1.10/1.13 c intension x[21][7]=x[7][21] using generic constraint 1.10/1.13 c intension x[21][8]=x[8][21] using generic constraint 1.10/1.13 c intension x[21][9]=x[9][21] using generic constraint 1.10/1.13 c intension x[21][10]=x[10][21] using generic constraint 1.10/1.14 c intension x[21][11]=x[11][21] using generic constraint 1.10/1.14 c intension x[21][12]=x[12][21] using generic constraint 1.10/1.14 c intension x[21][13]=x[13][21] using generic constraint 1.10/1.14 c intension x[21][14]=x[14][21] using generic constraint 1.10/1.14 c intension x[21][15]=x[15][21] using generic constraint 1.10/1.14 c intension x[21][16]=x[16][21] using generic constraint 1.10/1.14 c intension x[21][17]=x[17][21] using generic constraint 1.10/1.14 c intension x[21][18]=x[18][21] using generic constraint 1.10/1.14 c intension x[21][19]=x[19][21] using generic constraint 1.10/1.15 c intension x[21][20]=x[20][21] using generic constraint 1.10/1.15 c intension x[21][22]=x[22][21] using generic constraint 1.10/1.15 c intension x[21][23]=x[23][21] using generic constraint 1.10/1.15 c intension x[21][24]=x[24][21] using generic constraint 1.10/1.15 c intension x[22][0]=x[0][22] using generic constraint 1.10/1.15 c intension x[22][1]=x[1][22] using generic constraint 1.10/1.15 c intension x[22][2]=x[2][22] using generic constraint 1.10/1.15 c intension x[22][3]=x[3][22] using generic constraint 1.10/1.15 c intension x[22][4]=x[4][22] using generic constraint 1.10/1.15 c intension x[22][5]=x[5][22] using generic constraint 1.10/1.16 c intension x[22][6]=x[6][22] using generic constraint 1.10/1.16 c intension x[22][7]=x[7][22] using generic constraint 1.10/1.16 c intension x[22][8]=x[8][22] using generic constraint 1.10/1.16 c intension x[22][9]=x[9][22] using generic constraint 1.10/1.16 c intension x[22][10]=x[10][22] using generic constraint 1.10/1.16 c intension x[22][11]=x[11][22] using generic constraint 1.10/1.16 c intension x[22][12]=x[12][22] using generic constraint 1.10/1.16 c intension x[22][13]=x[13][22] using generic constraint 1.10/1.16 c intension x[22][14]=x[14][22] using generic constraint 1.10/1.17 c intension x[22][15]=x[15][22] using generic constraint 1.10/1.17 c intension x[22][16]=x[16][22] using generic constraint 1.10/1.17 c intension x[22][17]=x[17][22] using generic constraint 1.10/1.17 c intension x[22][18]=x[18][22] using generic constraint 1.10/1.17 c intension x[22][19]=x[19][22] using generic constraint 1.10/1.17 c intension x[22][20]=x[20][22] using generic constraint 1.10/1.17 c intension x[22][21]=x[21][22] using generic constraint 1.10/1.17 c intension x[22][23]=x[23][22] using generic constraint 1.10/1.17 c intension x[22][24]=x[24][22] using generic constraint 1.10/1.18 c intension x[23][0]=x[0][23] using generic constraint 1.10/1.18 c intension x[23][1]=x[1][23] using generic constraint 1.10/1.18 c intension x[23][2]=x[2][23] using generic constraint 1.10/1.18 c intension x[23][3]=x[3][23] using generic constraint 1.10/1.18 c intension x[23][4]=x[4][23] using generic constraint 1.10/1.18 c intension x[23][5]=x[5][23] using generic constraint 1.10/1.18 c intension x[23][6]=x[6][23] using generic constraint 1.10/1.18 c intension x[23][7]=x[7][23] using generic constraint 1.10/1.18 c intension x[23][8]=x[8][23] using generic constraint 1.10/1.18 c intension x[23][9]=x[9][23] using generic constraint 1.10/1.19 c intension x[23][10]=x[10][23] using generic constraint 1.10/1.19 c intension x[23][11]=x[11][23] using generic constraint 1.10/1.19 c intension x[23][12]=x[12][23] using generic constraint 1.10/1.19 c intension x[23][13]=x[13][23] using generic constraint 1.10/1.19 c intension x[23][14]=x[14][23] using generic constraint 1.10/1.19 c intension x[23][15]=x[15][23] using generic constraint 1.10/1.19 c intension x[23][16]=x[16][23] using generic constraint 1.10/1.19 c intension x[23][17]=x[17][23] using generic constraint 1.10/1.19 c intension x[23][18]=x[18][23] using generic constraint 1.10/1.20 c intension x[23][19]=x[19][23] using generic constraint 1.10/1.20 c intension x[23][20]=x[20][23] using generic constraint 1.10/1.20 c intension x[23][21]=x[21][23] using generic constraint 1.10/1.20 c intension x[23][22]=x[22][23] using generic constraint 1.10/1.20 c intension x[23][24]=x[24][23] using generic constraint 1.10/1.20 c intension x[24][0]=x[0][24] using generic constraint 1.10/1.20 c intension x[24][1]=x[1][24] using generic constraint 1.10/1.20 c intension x[24][2]=x[2][24] using generic constraint 1.10/1.20 c intension x[24][3]=x[3][24] using generic constraint 1.20/1.20 c intension x[24][4]=x[4][24] using generic constraint 1.20/1.21 c intension x[24][5]=x[5][24] using generic constraint 1.20/1.21 c intension x[24][6]=x[6][24] using generic constraint 1.20/1.21 c intension x[24][7]=x[7][24] using generic constraint 1.20/1.21 c intension x[24][8]=x[8][24] using generic constraint 1.20/1.21 c intension x[24][9]=x[9][24] using generic constraint 1.20/1.21 c intension x[24][10]=x[10][24] using generic constraint 1.20/1.21 c intension x[24][11]=x[11][24] using generic constraint 1.20/1.21 c intension x[24][12]=x[12][24] using generic constraint 1.20/1.21 c intension x[24][13]=x[13][24] using generic constraint 1.20/1.22 c intension x[24][14]=x[14][24] using generic constraint 1.20/1.22 c intension x[24][15]=x[15][24] using generic constraint 1.20/1.22 c intension x[24][16]=x[16][24] using generic constraint 1.20/1.22 c intension x[24][17]=x[17][24] using generic constraint 1.20/1.22 c intension x[24][18]=x[18][24] using generic constraint 1.20/1.22 c intension x[24][19]=x[19][24] using generic constraint 1.20/1.22 c intension x[24][20]=x[20][24] using generic constraint 1.20/1.22 c intension x[24][21]=x[21][24] using generic constraint 1.20/1.22 c intension x[24][22]=x[22][24] using generic constraint 1.20/1.23 c intension x[24][23]=x[23][24] using generic constraint 1.20/1.24 c SAT : Variables: 1473 -- Clauses: 3054 1.20/1.24 c root propagations : 4 1.20/1.24 c restarts enabled, print stats at every restarts 1.20/1.24 c 1.20/1.24 c 1.20/1.24 c 1.20/1.24 c This is cosoco 1.0 -- 1.20/1.24 c 1.20/1.24 c ========================================[ Problem Statistics ]=========================================== 1.20/1.24 c | 1.20/1.24 c | Parse time : 1.21 s 1.20/1.24 c | 1.20/1.24 c | Variables: 651 1.20/1.24 c | Domain Sizes: 1..48 1.20/1.24 c | 1.20/1.24 c | Constraints: 13324 1.20/1.24 c | Arity: 2..50 -- Binary: 624 1.20/1.24 c | 1.20/1.24 c | Types: 1.20/1.24 c | (X -Y <= k): 24 1.20/1.24 c | (X = Y): 600 1.20/1.24 c | Lex: 24 1.20/1.24 c | Sum: 12676 1.20/1.24 c | 1.20/1.24 c ========================================================================================================= 1.20/1.24 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 1.20/1.29 c 10 518 134849 1281 1 10 78 509 290 1.29/1.33 c 20 756 213814 2617 1 15 32 196 106 1.29/1.36 c 30 1012 303957 4104 1 20 73 237 170 1.29/1.39 c 40 1164 379014 5379 1 23 14 127 90 1.39/1.42 c 50 1264 448344 6790 1 28 36 68 49 1.39/1.46 c 60 1589 552853 8183 1 35 66 280 133 1.39/1.49 c 70 1759 617777 9288 1 39 69 107 84 1.49/1.55 c solution 1 1.49/1.55 1.49/1.55 v <instantiation type='solution'> 1.49/1.55 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] s </list> 1.49/1.56 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 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 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 6 6 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 84 </values> 1.49/1.56 v </instantiation> 1.49/1.56 1.49/1.56 c restarts : 7 1.49/1.56 c conflicts : 79 (51 /sec) 1.49/1.56 c decisions : 2429 (1574 /sec) 1.49/1.56 c propagations : 11083 (7181 /sec) 1.49/1.56 c root propagations : 4 1.49/1.56 c filter calls : 771567 (499941 /sec) 1.49/1.56 c useless filter calls : 765239 (99 %) 1.49/1.56 c 1.49/1.56 c clauses : 3093 1.49/1.56 c SAT propagations : 0 1.49/1.56 c SAT conflicts : 0 (0 learnts) 1.49/1.56 c Memory used : 73.25 MB 1.49/1.56 c CPU time : 1.54323 s 1.49/1.56 1.49/1.56 s SATISFIABLE
OK
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4241961-1500653038/watcher-4241961-1500653038 -o /tmp/evaluation-result-4241961-1500653038/solver-4241961-1500653038 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1500648174-2489 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241961-1500653038.xml pid=3264 running on 8 cores: 0,2,4,6,8,10,12,14 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.07 2.05 2.00 3/242 3267 /proc/meminfo: memFree=32021228/32770624 swapFree=6268/209372 [pid=3267] ppid=3264 vsize=27520 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/3267/stat : 3267 (cosoco) R 3264 3267 2456 0 -1 4202496 1076 0 0 0 0 0 0 0 20 0 1 0 572180 28180480 898 33554432000 4194304 5970956 140722844175088 140722844171736 140487293897701 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29306880 140722844181692 140722844181827 140722844181827 140722844184526 0 /proc/3267/statm: 6880 898 703 434 0 244 0 [startup+0.100158 s] /proc/loadavg: 2.07 2.05 2.00 3/242 3267 /proc/meminfo: memFree=32021228/32770624 swapFree=6268/209372 [pid=3267] ppid=3264 vsize=27808 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/3267/stat : 3267 (cosoco) R 3264 3267 2456 0 -1 4202496 1137 0 0 0 9 0 0 0 20 0 1 0 572180 28475392 964 33554432000 4194304 5970956 140722844175088 140722844171688 5522106 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29306880 140722844181692 140722844181827 140722844181827 140722844184526 0 /proc/3267/statm: 6952 964 712 434 0 316 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27808 [startup+0.200301 s] /proc/loadavg: 2.07 2.05 2.00 3/242 3267 /proc/meminfo: memFree=32021228/32770624 swapFree=6268/209372 [pid=3267] ppid=3264 vsize=28004 CPUtime=0.19 cores=0,2,4,6,8,10,12,14 /proc/3267/stat : 3267 (cosoco) R 3264 3267 2456 0 -1 4202496 1203 0 0 0 19 0 0 0 20 0 1 0 572180 28676096 1030 33554432000 4194304 5970956 140722844175088 140722844171688 5672408 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29306880 140722844181692 140722844181827 140722844181827 140722844184526 0 /proc/3267/statm: 7001 1030 712 434 0 365 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 28004 [startup+0.300261 s] /proc/loadavg: 2.07 2.05 2.00 3/242 3267 /proc/meminfo: memFree=32021228/32770624 swapFree=6268/209372 [pid=3267] ppid=3264 vsize=28460 CPUtime=0.29 cores=0,2,4,6,8,10,12,14 /proc/3267/stat : 3267 (cosoco) R 3264 3267 2456 0 -1 4202496 1326 0 0 0 29 0 0 0 20 0 1 0 572180 29143040 1095 33554432000 4194304 5970956 140722844175088 140722844171688 5672975 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29306880 140722844181692 140722844181827 140722844181827 140722844184526 0 /proc/3267/statm: 7115 1095 712 434 0 479 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 28460 [startup+0.700269 s] /proc/loadavg: 2.07 2.05 2.00 3/242 3267 /proc/meminfo: memFree=32021228/32770624 swapFree=6268/209372 [pid=3267] ppid=3264 vsize=66944 CPUtime=0.68 cores=0,2,4,6,8,10,12,14 /proc/3267/stat : 3267 (cosoco) R 3264 3267 2456 0 -1 4202496 11105 0 0 0 67 1 0 0 20 0 1 0 572180 68550656 10800 33554432000 4194304 5970956 140722844175088 140722844158840 5219521 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29306880 140722844181692 140722844181827 140722844181827 140722844184526 0 /proc/3267/statm: 16736 10800 734 434 0 10100 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 66944 [startup+1.50028 s] /proc/loadavg: 2.07 2.05 2.00 3/243 3268 /proc/meminfo: memFree=31980396/32770624 swapFree=6268/209104 [pid=3267] ppid=3264 vsize=74472 CPUtime=1.49 cores=0,2,4,6,8,10,12,14 /proc/3267/stat : 3267 (cosoco) R 3264 3267 2456 0 -1 4202496 12013 0 0 0 147 2 0 0 20 0 1 0 572180 76259328 11723 33554432000 4194304 5970956 140722844175088 140722844172424 5045648 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29306880 140722844181692 140722844181827 140722844181827 140722844184526 0 /proc/3267/statm: 18618 11723 844 434 0 11982 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 74472 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 3267 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1.50028 s] /proc/loadavg: 2.07 2.05 2.00 3/243 3268 /proc/meminfo: memFree=31980396/32770624 swapFree=6268/209104 [pid=3267] ppid=3264 vsize=74472 CPUtime=1.49 cores=0,2,4,6,8,10,12,14 /proc/3267/stat : 3267 (cosoco) R 3264 3267 2456 0 -1 4202496 12013 0 0 0 147 2 0 0 20 0 1 0 572180 76259328 11723 33554432000 4194304 5970956 140722844175088 140722844172424 5045648 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29306880 140722844181692 140722844181827 140722844181827 140722844184526 0 /proc/3267/statm: 18618 11723 844 434 0 11982 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 74472 Child status: 0 Real time (s): 1.56935 CPU time (s): 1.5683 CPU user time (s): 1.54332 CPU system time (s): 0.024984 CPU usage (%): 99.9333 Max. virtual memory (cumulated for all children) (KiB): 74472 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.54332 system time used= 0.024984 maximum resident set size= 47500 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12160 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= 10 involuntary context switches= 80 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.021142 second user time and 0.053818 second system time The end
Begin job on node123 at 2017-07-21 18:03:58 IDJOB=4241961 IDBENCH=133101 IDSOLVER=2621 FILE ID=node123/4241961-1500653038 RUNJOBID= node123-1500648174-2489 PBS_JOBID= 20623297 Free space on /tmp= 62008 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/DiamondFree/DiamondFree-m1-s1/DiamondFree-025.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241961-1500653038/watcher-4241961-1500653038 -o /tmp/evaluation-result-4241961-1500653038/solver-4241961-1500653038 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1500648174-2489 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241961-1500653038.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= abdc8b6c8c556f1ff08775a5cbfb19c3 RANDOM SEED=528513569 node123.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.12 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.12 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.12 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.12 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 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 : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2400.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 32021740 kB MemAvailable: 32004800 kB Buffers: 30256 kB Cached: 265300 kB SwapCached: 0 kB Active: 159368 kB Inactive: 217988 kB Active(anon): 84688 kB Inactive(anon): 8616 kB Active(file): 74680 kB Inactive(file): 209372 kB Unevictable: 6268 kB Mlocked: 6268 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 3568 kB Writeback: 0 kB AnonPages: 88084 kB Mapped: 29636 kB Shmem: 8840 kB Slab: 60996 kB SReclaimable: 29684 kB SUnreclaim: 31312 kB KernelStack: 4272 kB PageTables: 5652 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 356336 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 26624 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 62008 MiB End job on node123 at 2017-07-21 18:03:59