Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.0 | SAT (TO) | 13 | 2519.52 | 2520.01 |
Name | OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbop-30-30-1.xml |
MD5SUM | 305bfce3403e7be8ea8343edd9c7d9a7 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 24.6929 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2760 |
Number of constraints | 2731 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 31 |
Distribution of domain sizes | [{"size":2,"count":1800},{"size":3,"count":900},{"size":30,"count":30},{"size":31,"count":30}] |
Minimum variable degree | 2 |
Maximum variable degree | 31 |
Distribution of variable degrees | [{"degree":2,"count":960},{"degree":3,"count":1770},{"degree":31,"count":30}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 31 |
Distribution of constraint arities | [{"arity":2,"count":930},{"arity":3,"count":1770},{"arity":30,"count":1},{"arity":31,"count":30}] |
Number of extensional constraints | 900 |
Number of intensional constraints | 900 |
Distribution of constraint types | [{"type":"extension","count":900},{"type":"intension","count":900},{"type":"allDifferent","count":1},{"type":"sum","count":30},{"type":"element","count":900}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.51/0.53 c 0.51/0.53 c This is cosoco 2.00 -- 0.51/0.53 c 0.51/0.53 c command line: cosoco -lc -model -restarts -stick HOME/instance-4397139-1568580648.xml 0.51/0.53 c enable optimization 0.51/0.53 c ========================================[ Problem Statistics ]=========================================== 0.51/0.53 c | 0.51/0.53 c | Parse time : 0.33 s 0.51/0.53 c | 0.51/0.53 c | Variables: 2760 0.51/0.53 c | Domain Sizes: 2..31 0.51/0.53 c | 0.51/0.53 c | Constraints: 2732 0.51/0.53 c | Arity: 2..31 -- Binary: 930 -- Ternary: 1770 0.51/0.53 c | 0.51/0.53 c | Types: 0.51/0.53 c | (X = Y): 30 0.51/0.53 c | All Different: 1 0.51/0.53 c | Extension: 1800 (nb tuples: 4..30) -- (shared: 899) 0.51/0.53 c | Max constant: 1 0.51/0.53 c | Sum: 900 0.51/0.53 c | 0.51/0.53 c | Objective: Minimize Max constant 0.51/0.53 0.51/0.53 c ========================================================================================================= 0.51/0.53 o 19 0.51/0.54 c 1 calls to solver(id=*d): best=0 lower=19 upper=0 6.19/6.26 o 13 2519.51/2520.00 2519.51/2520.00 c *** INTERRUPTED *** 2519.51/2520.00 c call to solver : 2 2519.51/2520.00 c 2519.51/2520.00 c restarts : 87 2519.51/2520.00 c conflicts : 2381580 (945 /sec) 2519.51/2520.00 c decisions : 58243209 (23117 /sec) 2519.51/2520.00 c propagations : 410565696 (162958 /sec) 2519.51/2520.00 c root propagations : 32787 2519.51/2520.00 c filter calls : 1060503336 (420924 /sec) 2519.51/2520.00 c useless filter calls : 822640072 (77 %) 2519.51/2520.00 c Memory used : 97.26 MB 2519.51/2520.00 c Best bound time (wc) : 6.26155 s 2519.51/2520.00 c CPU time : 2519.46 s 2519.51/2520.00 c real time : 2520.01 s 2519.51/2520.00 2519.51/2520.00 c nb Solutions = 2 2519.51/2520.00 s SATISFIABLE 2519.51/2520.00 c Best value found: 13 2519.51/2520.00 2519.51/2520.00 2519.51/2520.00 v <instantiation type='solution' cost='13'> 2519.51/2520.00 v <list>np[0][0] np[0][10] np[0][11] np[0][12] np[0][13] np[0][14] np[0][15] np[0][16] np[0][17] np[0][18] np[0][19] np[0][1] np[0][20] np[0][21] np[0][22] np[0][23] np[0][24] np[0][25] np[0][26] np[0][27] np[0][28] np[0][29] np[0][2] np[0][3] np[0][4] np[0][5] np[0][6] np[0][7] np[0][8] np[0][9] np[10][0] np[10][10] np[10][11] np[10][12] np[10][13] np[10][14] np[10][15] np[10][16] np[10][17] np[10][18] np[10][19] np[10][1] np[10][20] np[10][21] np[10][22] np[10][23] np[10][24] np[10][25] np[10][26] np[10][27] np[10][28] np[10][29] np[10][2] np[10][3] np[10][4] np[10][5] np[10][6] np[10][7] np[10][8] np[10][9] np[11][0] np[11][10] np[11][11] np[11][12] np[11][13] np[11][14] np[11][15] np[11][16] np[11][17] np[11][18] np[11][19] np[11][1] np[11][20] np[11][21] np[11][22] np[11][23] np[11][24] np[11][25] np[11][26] np[11][27] np[11][28] np[11][29] np[11][2] np[11][3] np[11][4] np[11][5] np[11][6] np[11][7] np[11][8] np[11][9] np[12][0] np[12][10] np[12][11] np[12][12] np[12][13] np[12][14] np[12][15] np[12][16] np[12][17] np[12][18] np[12][19] np[12][1] np[12][20] np[12][21] np[12][22] np[12][23] np[12][24] np[12][25] np[12][26] np[12][27] np[12][28] np[12][29] np[12][2] np[12][3] np[12][4] np[12][5] np[12][6] np[12][7] np[12][8] np[12][9] np[13][0] np[13][10] np[13][11] np[13][12] np[13][13] np[13][14] np[13][15] np[13][16] np[13][17] np[13][18] np[13][19] np[13][1] np[13][20] np[13][21] np[13][22] np[13][23] np[13][24] np[13][25] np[13][26] np[13][27] np[13][28] np[13][29] np[13][2] np[13][3] np[13][4] np[13][5] np[13][6] np[13][7] np[13][8] np[13][9] np[14][0] np[14][10] np[14][11] np[14][12] np[14][13] np[14][14] np[14][15] np[14][16] np[14][17] np[14][18] np[14][19] np[14][1] np[14][20] np[14][21] np[14][22] np[14][23] np[14][24] np[14][25] np[14][26] np[14][27] np[14][28] np[14][29] np[14][2] np[14][3] np[14][4] np[14][5] np[14][6] np[14][7] np[14][8] np[14][9] np[15][0] np[15][10] np[15][11] np[15][12] np[15][13] np[15][14] np[15][15] np[15][16] np[15][17] np[15][18] np[15][19] np[15][1] np[15][20] np[15][21] np[15][22] np[15][23] np[15][24] np[15][25] np[15][26] np[15][27] np[15][28] np[15][29] np[15][2] np[15][3] np[15][4] np[15][5] np[15][6] np[15][7] np[15][8] np[15][9] np[16][0] np[16][10] np[16][11] np[16][12] np[16][13] np[16][14] np[16][15] np[16][16] np[16][17] np[16][18] np[16][19] np[16][1] np[16][20] np[16][21] np[16][22] np[16][23] np[16][24] np[16][25] np[16][26] np[16][27] np[16][28] np[16][29] np[16][2] np[16][3] np[16][4] np[16][5] np[16][6] np[16][7] np[16][8] np[16][9] np[17][0] np[17][10] np[17][11] np[17][12] np[17][13] np[17][14] np[17][15] np[17][16] np[17][17] np[17][18] np[17][19] np[17][1] np[17][20] np[17][21] np[17][22] np[17][23] np[17][24] np[17][25] np[17][26] np[17][27] np[17][28] np[17][29] np[17][2] np[17][3] np[17][4] np[17][5] np[17][6] np[17][7] np[17][8] np[17][9] np[18][0] np[18][10] np[18][11] np[18][12] np[18][13] np[18][14] np[18][15] np[18][16] np[18][17] np[18][18] np[18][19] np[18][1] np[18][20] np[18][21] np[18][22] np[18][23] np[18][24] np[18][25] np[18][26] np[18][27] np[18][28] np[18][29] np[18][2] np[18][3] np[18][4] np[18][5] np[18][6] np[18][7] np[18][8] np[18][9] np[19][0] np[19][10] np[19][11] np[19][12] np[19][13] np[19][14] np[19][15] np[19][16] np[19][17] np[19][18] np[19][19] np[19][1] np[19][20] np[19][21] np[19][22] np[19][23] np[19][24] np[19][25] np[19][26] np[19][27] np[19][28] np[19][29] np[19][2] np[19][3] np[19][4] np[19][5] np[19][6] np[19][7] np[19][8] np[19][9] np[1][0] np[1][10] np[1][11] np[1][12] np[1][13] np[1][14] np[1][15] np[1][16] np[1][17] np[1][18] np[1][19] np[1][1] np[1][20] np[1][21] np[1][22] np[1][23] np[1][24] np[1][25] np[1][26] np[1][27] np[1][28] np[1][29] np[1][2] np[1][3] np[1][4] np[1][5] np[1][6] np[1][7] np[1][8] np[1][9] np[20][0] np[20][10] np[20][11] np[20][12] np[20][13] np[20][14] np[20][15] np[20][16] np[20][17] np[20][18] np[20][19] np[20][1] np[20][20] np[20][21] np[20][22] np[20][23] np[20][24] np[20][25] np[20][26] np[20][27] np[20][28] np[20][29] np[20][2] np[20][3] np[20][4] np[20][5] np[20][6] np[20][7] np[20][8] np[20][9] np[21][0] np[21][10] np[21][11] np[21][12] np[21][13] np[21][14] np[21][15] np[21][16] np[21][17] np[21][18] np[21][19] np[21][1] np[21][20] np[21][21] np[21][22] np[21][23] np[21][24] np[21][25] np[21][26] np[21][27] np[21][28] np[21][29] np[21][2] np[21][3] np[21][4] np[21][5] np[21][6] np[21][7] np[21][8] np[21][9] np[22][0] np[22][10] np[22][11] np[22][12] np[22][13] np[22][14] np[22][15] np[22][16] np[22][17] np[22][18] np[22][19] np[22][1] np[22][20] np[22][21] np[22][22] np[22][23] np[22][24] np[22][25] np[22][26] np[22][27] np[22][28] np[22][29] np[22][2] np[22][3] np[22][4] np[22][5] np[22][6] np[22][7] np[22][8] np[22][9] np[23][0] np[23][10] np[23][11] np[23][12] np[23][13] np[23][14] np[23][15] np[23][16] np[23][17] np[23][18] np[23][19] np[23][1] np[23][20] np[23][21] np[23][22] np[23][23] np[23][24] np[23][25] np[23][26] np[23][27] np[23][28] np[23][29] np[23][2] np[23][3] np[23][4] np[23][5] np[23][6] np[23][7] np[23][8] np[23][9] np[24][0] np[24][10] np[24][11] np[24][12] np[24][13] np[24][14] np[24][15] np[24][16] np[24][17] np[24][18] np[24][19] np[24][1] np[24][20] np[24][21] np[24][22] np[24][23] np[24][24] np[24][25] np[24][26] np[24][27] np[24][28] np[24][29] np[24][2] np[24][3] np[24][4] np[24][5] np[24][6] np[24][7] np[24][8] np[24][9] np[25][0] np[25][10] np[25][11] np[25][12] np[25][13] np[25][14] np[25][15] np[25][16] np[25][17] np[25][18] np[25][19] np[25][1] np[25][20] np[25][21] np[25][22] np[25][23] np[25][24] np[25][25] np[25][26] np[25][27] np[25][28] np[25][29] np[25][2] np[25][3] np[25][4] np[25][5] np[25][6] np[25][7] np[25][8] np[25][9] np[26][0] np[26][10] np[26][11] np[26][12] np[26][13] np[26][14] np[26][15] np[26][16] np[26][17] np[26][18] np[26][19] np[26][1] np[26][20] np[26][21] np[26][22] np[26][23] np[26][24] np[26][25] np[26][26] np[26][27] np[26][28] np[26][29] np[26][2] np[26][3] np[26][4] np[26][5] np[26][6] np[26][7] np[26][8] np[26][9] np[27][0] np[27][10] np[27][11] np[27][12] np[27][13] np[27][14] np[27][15] np[27][16] np[27][17] np[27][18] np[27][19] np[27][1] np[27][20] np[27][21] np[27][22] np[27][23] np[27][24] np[27][25] np[27][26] np[27][27] np[27][28] np[27][29] np[27][2] np[27][3] np[27][4] np[27][5] np[27][6] np[27][7] np[27][8] np[27][9] np[28][0] np[28][10] np[28][11] np[28][12] np[28][13] np[28][14] np[28][15] np[28][16] np[28][17] np[28][18] np[28][19] np[28][1] np[28][20] np[28][21] np[28][22] np[28][23] np[28][24] np[28][25] np[28][26] np[28][27] np[28][28] np[28][29] np[28][2] np[28][3] np[28][4] np[28][5] np[28][6] np[28][7] np[28][8] np[28][9] np[29][0] np[29][10] np[29][11] np[29][12] np[29][13] np[29][14] np[29][15] np[29][16] np[29][17] np[29][18] np[29][19] np[29][1] np[29][20] np[29][21] np[29][22] np[29][23] np[29][24] np[29][25] np[29][26] np[29][27] np[29][28] np[29][29] np[29][2] np[29][3] np[29][4] np[29][5] np[29][6] np[29][7] np[29][8] np[29][9] np[2][0] np[2][10] np[2][11] np[2][12] np[2][13] np[2][14] np[2][15] np[2][16] np[2][17] np[2][18] np[2][19] np[2][1] np[2][20] np[2][21] np[2][22] np[2][23] np[2][24] np[2][25] np[2][26] np[2][27] np[2][28] np[2][29] np[2][2] np[2][3] np[2][4] np[2][5] np[2][6] np[2][7] np[2][8] np[2][9] np[3][0] np[3][10] np[3][11] np[3][12] np[3][13] np[3][14] np[3][15] np[3][16] np[3][17] np[3][18] np[3][19] np[3][1] np[3][20] np[3][21] np[3][22] np[3][23] np[3][24] np[3][25] np[3][26] np[3][27] np[3][28] np[3][29] np[3][2] np[3][3] np[3][4] np[3][5] np[3][6] np[3][7] np[3][8] np[3][9] np[4][0] np[4][10] np[4][11] np[4][12] np[4][13] np[4][14] np[4][15] np[4][16] np[4][17] np[4][18] np[4][19] np[4][1] np[4][20] np[4][21] np[4][22] np[4][23] np[4][24] np[4][25] np[4][26] np[4][27] np[4][28] np[4][29] np[4][2] np[4][3] np[4][4] np[4][5] np[4][6] np[4][7] np[4][8] np[4][9] np[5][0] np[5][10] np[5][11] np[5][12] np[5][13] np[5][14] np[5][15] np[5][16] np[5][17] np[5][18] np[5][19] np[5][1] np[5][20] np[5][21] np[5][22] np[5][23] np[5][24] np[5][25] np[5][26] np[5][27] np[5][28] np[5][29] np[5][2] np[5][3] np[5][4] np[5][5] np[5][6] np[5][7] np[5][8] np[5][9] np[6][0] np[6][10] np[6][11] np[6][12] np[6][13] np[6][14] np[6][15] np[6][16] np[6][17] np[6][18] np[6][19] np[6][1] np[6][20] np[6][21] np[6][22] np[6][23] np[6][24] np[6][25] np[6][26] np[6][27] np[6][28] np[6][29] np[6][2] np[6][3] np[6][4] np[6][5] np[6][6] np[6][7] np[6][8] np[6][9] np[7][0] np[7][10] np[7][11] np[7][12] np[7][13] np[7][14] np[7][15] np[7][16] np[7][17] np[7][18] np[7][19] np[7][1] np[7][20] np[7][21] np[7][22] np[7][23] np[7][24] np[7][25] np[7][26] np[7][27] np[7][28] np[7][29] np[7][2] np[7][3] np[7][4] np[7][5] np[7][6] np[7][7] np[7][8] np[7][9] np[8][0] np[8][10] np[8][11] np[8][12] np[8][13] np[8][14] np[8][15] np[8][16] np[8][17] np[8][18] np[8][19] np[8][1] np[8][20] np[8][21] np[8][22] np[8][23] np[8][24] np[8][25] np[8][26] np[8][27] np[8][28] np[8][29] np[8][2] np[8][3] np[8][4] np[8][5] np[8][6] np[8][7] np[8][8] np[8][9] np[9][0] np[9][10] np[9][11] np[9][12] np[9][13] np[9][14] np[9][15] np[9][16] np[9][17] np[9][18] np[9][19] np[9][1] np[9][20] np[9][21] np[9][22] np[9][23] np[9][24] np[9][25] np[9][26] np[9][27] np[9][28] np[9][29] np[9][2] np[9][3] np[9][4] np[9][5] np[9][6] np[9][7] np[9][8] np[9][9] o[0][0] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][1] o[0][20] o[0][21] o[0][22] o[0][23] o[0][24] o[0][25] o[0][26] o[0][27] o[0][28] o[0][29] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[10][0] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][1] o[10][20] o[10][21] o[10][22] o[10][23] o[10][24] o[10][25] o[10][26] o[10][27] o[10][28] o[10][29] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[11][0] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][1] o[11][20] o[11][21] o[11][22] o[11][23] o[11][24] o[11][25] o[11][26] o[11][27] o[11][28] o[11][29] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[12][0] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[12][15] o[12][16] o[12][17] o[12][18] o[12][19] o[12][1] o[12][20] o[12][21] o[12][22] o[12][23] o[12][24] o[12][25] o[12][26] o[12][27] o[12][28] o[12][29] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[13][0] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[13][15] o[13][16] o[13][17] o[13][18] o[13][19] o[13][1] o[13][20] o[13][21] o[13][22] o[13][23] o[13][24] o[13][25] o[13][26] o[13][27] o[13][28] o[13][29] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[14][0] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[14][15] o[14][16] o[14][17] o[14][18] o[14][19] o[14][1] o[14][20] o[14][21] o[14][22] o[14][23] o[14][24] o[14][25] o[14][26] o[14][27] o[14][28] o[14][29] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[15][0] o[15][10] o[15][11] o[15][12] o[15][13] o[15][14] o[15][15] o[15][16] o[15][17] o[15][18] o[15][19] o[15][1] o[15][20] o[15][21] o[15][22] o[15][23] o[15][24] o[15][25] o[15][26] o[15][27] o[15][28] o[15][29] o[15][2] o[15][3] o[15][4] o[15][5] o[15][6] o[15][7] o[15][8] o[15][9] o[16][0] o[16][10] o[16][11] o[16][12] o[16][13] o[16][14] o[16][15] o[16][16] o[16][17] o[16][18] o[16][19] o[16][1] o[16][20] o[16][21] o[16][22] o[16][23] o[16][24] o[16][25] o[16][26] o[16][27] o[16][28] o[16][29] o[16][2] o[16][3] o[16][4] o[16][5] o[16][6] o[16][7] o[16][8] o[16][9] o[17][0] o[17][10] o[17][11] o[17][12] o[17][13] o[17][14] o[17][15] o[17][16] o[17][17] o[17][18] o[17][19] o[17][1] o[17][20] o[17][21] o[17][22] o[17][23] o[17][24] o[17][25] o[17][26] o[17][27] o[17][28] o[17][29] o[17][2] o[17][3] o[17][4] o[17][5] o[17][6] o[17][7] o[17][8] o[17][9] o[18][0] o[18][10] o[18][11] o[18][12] o[18][13] o[18][14] o[18][15] o[18][16] o[18][17] o[18][18] o[18][19] o[18][1] o[18][20] o[18][21] o[18][22] o[18][23] o[18][24] o[18][25] o[18][26] o[18][27] o[18][28] o[18][29] o[18][2] o[18][3] o[18][4] o[18][5] o[18][6] o[18][7] o[18][8] o[18][9] o[19][0] o[19][10] o[19][11] o[19][12] o[19][13] o[19][14] o[19][15] o[19][16] o[19][17] o[19][18] o[19][19] o[19][1] o[19][20] o[19][21] o[19][22] o[19][23] o[19][24] o[19][25] o[19][26] o[19][27] o[19][28] o[19][29] o[19][2] o[19][3] o[19][4] o[19][5] o[19][6] o[19][7] o[19][8] o[19][9] o[1][0] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][1] o[1][20] o[1][21] o[1][22] o[1][23] o[1][24] o[1][25] o[1][26] o[1][27] o[1][28] o[1][29] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[20][0] o[20][10] o[20][11] o[20][12] o[20][13] o[20][14] o[20][15] o[20][16] o[20][17] o[20][18] o[20][19] o[20][1] o[20][20] o[20][21] o[20][22] o[20][23] o[20][24] o[20][25] o[20][26] o[20][27] o[20][28] o[20][29] o[20][2] o[20][3] o[20][4] o[20][5] o[20][6] o[20][7] o[20][8] o[20][9] o[21][0] o[21][10] o[21][11] o[21][12] o[21][13] o[21][14] o[21][15] o[21][16] o[21][17] o[21][18] o[21][19] o[21][1] o[21][20] o[21][21] o[21][22] o[21][23] o[21][24] o[21][25] o[21][26] o[21][27] o[21][28] o[21][29] o[21][2] o[21][3] o[21][4] o[21][5] o[21][6] o[21][7] o[21][8] o[21][9] o[22][0] o[22][10] o[22][11] o[22][12] o[22][13] o[22][14] o[22][15] o[22][16] o[22][17] o[22][18] o[22][19] o[22][1] o[22][20] o[22][21] o[22][22] o[22][23] o[22][24] o[22][25] o[22][26] o[22][27] o[22][28] o[22][29] o[22][2] o[22][3] o[22][4] o[22][5] o[22][6] o[22][7] o[22][8] o[22][9] o[23][0] o[23][10] o[23][11] o[23][12] o[23][13] o[23][14] o[23][15] o[23][16] o[23][17] o[23][18] o[23][19] o[23][1] o[23][20] o[23][21] o[23][22] o[23][23] o[23][24] o[23][25] o[23][26] o[23][27] o[23][28] o[23][29] o[23][2] o[23][3] o[23][4] o[23][5] o[23][6] o[23][7] o[23][8] o[23][9] o[24][0] o[24][10] o[24][11] o[24][12] o[24][13] o[24][14] o[24][15] o[24][16] o[24][17] o[24][18] o[24][19] o[24][1] o[24][20] o[24][21] o[24][22] o[24][23] o[24][24] o[24][25] o[24][26] o[24][27] o[24][28] o[24][29] o[24][2] o[24][3] o[24][4] o[24][5] o[24][6] o[24][7] o[24][8] o[24][9] o[25][0] o[25][10] o[25][11] o[25][12] o[25][13] o[25][14] o[25][15] o[25][16] o[25][17] o[25][18] o[25][19] o[25][1] o[25][20] o[25][21] o[25][22] o[25][23] o[25][24] o[25][25] o[25][26] o[25][27] o[25][28] o[25][29] o[25][2] o[25][3] o[25][4] o[25][5] o[25][6] o[25][7] o[25][8] o[25][9] o[26][0] o[26][10] o[26][11] o[26][12] o[26][13] o[26][14] o[26][15] o[26][16] o[26][17] o[26][18] o[26][19] o[26][1] o[26][20] o[26][21] o[26][22] o[26][23] o[26][24] o[26][25] o[26][26] o[26][27] o[26][28] o[26][29] o[26][2] o[26][3] o[26][4] o[26][5] o[26][6] o[26][7] o[26][8] o[26][9] o[27][0] o[27][10] o[27][11] o[27][12] o[27][13] o[27][14] o[27][15] o[27][16] o[27][17] o[27][18] o[27][19] o[27][1] o[27][20] o[27][21] o[27][22] o[27][23] o[27][24] o[27][25] o[27][26] o[27][27] o[27][28] o[27][29] o[27][2] o[27][3] o[27][4] o[27][5] o[27][6] o[27][7] o[27][8] o[27][9] o[28][0] o[28][10] o[28][11] o[28][12] o[28][13] o[28][14] o[28][15] o[28][16] o[28][17] o[28][18] o[28][19] o[28][1] o[28][20] o[28][21] o[28][22] o[28][23] o[28][24] o[28][25] o[28][26] o[28][27] o[28][28] o[28][29] o[28][2] o[28][3] o[28][4] o[28][5] o[28][6] o[28][7] o[28][8] o[28][9] o[29][0] o[29][10] o[29][11] o[29][12] o[29][13] o[29][14] o[29][15] o[29][16] o[29][17] o[29][18] o[29][19] o[29][1] o[29][20] o[29][21] o[29][22] o[29][23] o[29][24] o[29][25] o[29][26] o[29][27] o[29][28] o[29][29] o[29][2] o[29][3] o[29][4] o[29][5] o[29][6] o[29][7] o[29][8] o[29][9] o[2][0] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][1] o[2][20] o[2][21] o[2][22] o[2][23] o[2][24] o[2][25] o[2][26] o[2][27] o[2][28] o[2][29] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[3][0] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][1] o[3][20] o[3][21] o[3][22] o[3][23] o[3][24] o[3][25] o[3][26] o[3][27] o[3][28] o[3][29] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[4][0] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][1] o[4][20] o[4][21] o[4][22] o[4][23] o[4][24] o[4][25] o[4][26] o[4][27] o[4][28] o[4][29] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[5][0] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][1] o[5][20] o[5][21] o[5][22] o[5][23] o[5][24] o[5][25] o[5][26] o[5][27] o[5][28] o[5][29] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[6][0] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][1] o[6][20] o[6][21] o[6][22] o[6][23] o[6][24] o[6][25] o[6][26] o[6][27] o[6][28] o[6][29] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[7][0] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][1] o[7][20] o[7][21] o[7][22] o[7][23] o[7][24] o[7][25] o[7][26] o[7][27] o[7][28] o[7][29] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[8][0] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][1] o[8][20] o[8][21] o[8][22] o[8][23] o[8][24] o[8][25] o[8][26] o[8][27] o[8][28] o[8][29] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[9][0] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][1] o[9][20] o[9][21] o[9][22] o[9][23] o[9][24] o[9][25] o[9][26] o[9][27] o[9][28] o[9][29] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] p[0] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[1] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] r[0][0] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[0][15] r[0][16] r[0][17] r[0][18] r[0][19] r[0][1] r[0][20] r[0][21] r[0][22] r[0][23] r[0][24] r[0][25] r[0][26] r[0][27] r[0][28] r[0][29] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[10][0] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[10][15] r[10][16] r[10][17] r[10][18] r[10][19] r[10][1] r[10][20] r[10][21] r[10][22] r[10][23] r[10][24] r[10][25] r[10][26] r[10][27] r[10][28] r[10][29] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[11][0] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[11][15] r[11][16] r[11][17] r[11][18] r[11][19] r[11][1] r[11][20] r[11][21] r[11][22] r[11][23] r[11][24] r[11][25] r[11][26] r[11][27] r[11][28] r[11][29] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[12][0] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[12][15] r[12][16] r[12][17] r[12][18] r[12][19] r[12][1] r[12][20] r[12][21] r[12][22] r[12][23] r[12][24] r[12][25] r[12][26] r[12][27] r[12][28] r[12][29] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[13][0] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[13][15] r[13][16] r[13][17] r[13][18] r[13][19] r[13][1] r[13][20] r[13][21] r[13][22] r[13][23] r[13][24] r[13][25] r[13][26] r[13][27] r[13][28] r[13][29] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[14][0] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[14][15] r[14][16] r[14][17] r[14][18] r[14][19] r[14][1] r[14][20] r[14][21] r[14][22] r[14][23] r[14][24] r[14][25] r[14][26] r[14][27] r[14][28] r[14][29] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[15][0] r[15][10] r[15][11] r[15][12] r[15][13] r[15][14] r[15][15] r[15][16] r[15][17] r[15][18] r[15][19] r[15][1] r[15][20] r[15][21] r[15][22] r[15][23] r[15][24] r[15][25] r[15][26] r[15][27] r[15][28] r[15][29] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[16][0] r[16][10] r[16][11] r[16][12] r[16][13] r[16][14] r[16][15] r[16][16] r[16][17] r[16][18] r[16][19] r[16][1] r[16][20] r[16][21] r[16][22] r[16][23] r[16][24] r[16][25] r[16][26] r[16][27] r[16][28] r[16][29] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[17][0] r[17][10] r[17][11] r[17][12] r[17][13] r[17][14] r[17][15] r[17][16] r[17][17] r[17][18] r[17][19] r[17][1] r[17][20] r[17][21] r[17][22] r[17][23] r[17][24] r[17][25] r[17][26] r[17][27] r[17][28] r[17][29] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[18][0] r[18][10] r[18][11] r[18][12] r[18][13] r[18][14] r[18][15] r[18][16] r[18][17] r[18][18] r[18][19] r[18][1] r[18][20] r[18][21] r[18][22] r[18][23] r[18][24] r[18][25] r[18][26] r[18][27] r[18][28] r[18][29] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[19][0] r[19][10] r[19][11] r[19][12] r[19][13] r[19][14] r[19][15] r[19][16] r[19][17] r[19][18] r[19][19] r[19][1] r[19][20] r[19][21] r[19][22] r[19][23] r[19][24] r[19][25] r[19][26] r[19][27] r[19][28] r[19][29] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[1][0] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[1][15] r[1][16] r[1][17] r[1][18] r[1][19] r[1][1] r[1][20] r[1][21] r[1][22] r[1][23] r[1][24] r[1][25] r[1][26] r[1][27] r[1][28] r[1][29] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[20][0] r[20][10] r[20][11] r[20][12] r[20][13] r[20][14] r[20][15] r[20][16] r[20][17] r[20][18] r[20][19] r[20][1] r[20][20] r[20][21] r[20][22] r[20][23] r[20][24] r[20][25] r[20][26] r[20][27] r[20][28] r[20][29] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[21][0] r[21][10] r[21][11] r[21][12] r[21][13] r[21][14] r[21][15] r[21][16] r[21][17] r[21][18] r[21][19] r[21][1] r[21][20] r[21][21] r[21][22] r[21][23] r[21][24] r[21][25] r[21][26] r[21][27] r[21][28] r[21][29] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[22][0] r[22][10] r[22][11] r[22][12] r[22][13] r[22][14] r[22][15] r[22][16] r[22][17] r[22][18] r[22][19] r[22][1] r[22][20] r[22][21] r[22][22] r[22][23] r[22][24] r[22][25] r[22][26] r[22][27] r[22][28] r[22][29] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[23][0] r[23][10] r[23][11] r[23][12] r[23][13] r[23][14] r[23][15] r[23][16] r[23][17] r[23][18] r[23][19] r[23][1] r[23][20] r[23][21] r[23][22] r[23][23] r[23][24] r[23][25] r[23][26] r[23][27] r[23][28] r[23][29] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[24][0] r[24][10] r[24][11] r[24][12] r[24][13] r[24][14] r[24][15] r[24][16] r[24][17] r[24][18] r[24][19] r[24][1] r[24][20] r[24][21] r[24][22] r[24][23] r[24][24] r[24][25] r[24][26] r[24][27] r[24][28] r[24][29] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[25][0] r[25][10] r[25][11] r[25][12] r[25][13] r[25][14] r[25][15] r[25][16] r[25][17] r[25][18] r[25][19] r[25][1] r[25][20] r[25][21] r[25][22] r[25][23] r[25][24] r[25][25] r[25][26] r[25][27] r[25][28] r[25][29] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[26][0] r[26][10] r[26][11] r[26][12] r[26][13] r[26][14] r[26][15] r[26][16] r[26][17] r[26][18] r[26][19] r[26][1] r[26][20] r[26][21] r[26][22] r[26][23] r[26][24] r[26][25] r[26][26] r[26][27] r[26][28] r[26][29] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[27][0] r[27][10] r[27][11] r[27][12] r[27][13] r[27][14] r[27][15] r[27][16] r[27][17] r[27][18] r[27][19] r[27][1] r[27][20] r[27][21] r[27][22] r[27][23] r[27][24] r[27][25] r[27][26] r[27][27] r[27][28] r[27][29] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[28][0] r[28][10] r[28][11] r[28][12] r[28][13] r[28][14] r[28][15] r[28][16] r[28][17] r[28][18] r[28][19] r[28][1] r[28][20] r[28][21] r[28][22] r[28][23] r[28][24] r[28][25] r[28][26] r[28][27] r[28][28] r[28][29] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[29][0] r[29][10] r[29][11] r[29][12] r[29][13] r[29][14] r[29][15] r[29][16] r[29][17] r[29][18] r[29][19] r[29][1] r[29][20] r[29][21] r[29][22] r[29][23] r[29][24] r[29][25] r[29][26] r[29][27] r[29][28] r[29][29] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[2][0] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[2][15] r[2][16] r[2][17] r[2][18] r[2][19] r[2][1] r[2][20] r[2][21] r[2][22] r[2][23] r[2][24] r[2][25] r[2][26] r[2][27] r[2][28] r[2][29] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[3][0] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[3][15] r[3][16] r[3][17] r[3][18] r[3][19] r[3][1] r[3][20] r[3][21] r[3][22] r[3][23] r[3][24] r[3][25] r[3][26] r[3][27] r[3][28] r[3][29] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[4][0] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[4][15] r[4][16] r[4][17] r[4][18] r[4][19] r[4][1] r[4][20] r[4][21] r[4][22] r[4][23] r[4][24] r[4][25] r[4][26] r[4][27] r[4][28] r[4][29] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[5][0] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[5][15] r[5][16] r[5][17] r[5][18] r[5][19] r[5][1] r[5][20] r[5][21] r[5][22] r[5][23] r[5][24] r[5][25] r[5][26] r[5][27] r[5][28] r[5][29] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[6][0] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[6][15] r[6][16] r[6][17] r[6][18] r[6][19] r[6][1] r[6][20] r[6][21] r[6][22] r[6][23] r[6][24] r[6][25] r[6][26] r[6][27] r[6][28] r[6][29] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[7][0] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[7][15] r[7][16] r[7][17] r[7][18] r[7][19] r[7][1] r[7][20] r[7][21] r[7][22] r[7][23] r[7][24] r[7][25] r[7][26] r[7][27] r[7][28] r[7][29] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[8][0] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[8][15] r[8][16] r[8][17] r[8][18] r[8][19] r[8][1] r[8][20] r[8][21] r[8][22] r[8][23] r[8][24] r[8][25] r[8][26] r[8][27] r[8][28] r[8][29] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[9][0] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[9][15] r[9][16] r[9][17] r[9][18] r[9][19] r[9][1] r[9][20] r[9][21] r[9][22] r[9][23] r[9][24] r[9][25] r[9][26] r[9][27] r[9][28] r[9][29] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] so[0] so[10] so[11] so[12] so[13] so[14] so[15] so[16] so[17] so[18] so[19] so[1] so[20] so[21] so[22] so[23] so[24] so[25] so[26] so[27] so[28] so[29] so[2] so[3] so[4] so[5] so[6] so[7] so[8] so[9] </list> 2519.51/2520.01 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 0 1 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 0 0 0 0 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 2 2 2 2 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 2 2 2 2 2 2 0 0 0 0 0 0 0 1 0 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 0 0 0 0 1 2 2 2 0 1 1 2 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 0 0 1 1 1 1 1 1 0 1 1 1 1 1 1 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 1 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 2 2 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 2 0 0 0 0 0 0 1 1 0 1 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 1 1 0 0 0 1 1 1 1 1 1 1 1 0 1 1 1 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 1 2 2 2 2 2 2 2 2 0 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 1 1 1 2 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 2 2 0 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 1 1 1 0 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 1 1 1 2 2 2 2 2 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 1 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 1 1 1 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 0 0 0 1 1 1 1 1 0 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 0 1 1 1 1 1 1 2 0 0 0 0 0 1 1 1 1 1 1 0 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 2 0 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 2 2 2 2 2 0 0 1 1 1 1 1 1 0 1 1 1 1 1 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 2 0 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 1 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 1 1 1 1 2 2 2 0 0 0 0 0 0 0 0 0 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 0 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 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 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 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 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 1 0 0 0 0 0 1 1 1 1 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 0 0 1 1 1 0 0 0 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 1 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 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 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 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 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 9 0 14 19 17 15 24 8 18 28 27 12 22 26 13 16 23 5 6 29 2 4 11 3 25 21 20 7 10 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 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 1 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 2 13 12 11 12 13 13 13 13 13 13 4 13 12 10 9 9 9 8 6 4 2 5 6 8 9 10 11 12 13 </values> 2519.51/2520.01 v </instantiation> 2519.51/2520.01
OK 13
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 (14777 MiB free) memory of node 1: 16384 MiB (14767 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397139-1568580648/watcher-4397139-1568580648 -o /tmp/evaluation-result-4397139-1568580648/solver-4397139-1568580648 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568572741-13813 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4397139-1568580648.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=15236, runsolver pid=15233 Current StackSize limit: 8192 KiB [startup+0.100199 s]* /proc/loadavg: 2.00 2.02 2.05 3/200 15237 /proc/meminfo: memFree=30237656/32770624 swapFree=66927296/67108860 [pid=15236] ppid=15233 vsize=43748 memory=20024 CPUtime=0.09 cores=0,2,4,6 /proc/15236/stat : 15236 (cosoco) R 15233 15236 13782 0 -1 4202496 5217 0 0 0 9 0 0 0 20 0 1 0 434312173 44797952 5006 33554432000 4194304 6211092 140731163003408 140731162999944 140362238131173 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 10784768 140731163005963 140731163006065 140731163006065 140731163008974 0 /proc/15236/statm: 10937 5006 836 493 0 4242 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 43748 KiB Current children cumulated memory: 20024 KiB [startup+0.20988 s]* /proc/loadavg: 2.00 2.02 2.05 3/200 15237 /proc/meminfo: memFree=30230836/32770624 swapFree=66927296/67108860 [pid=15236] ppid=15233 vsize=50836 memory=27224 CPUtime=0.2 cores=0,2,4,6 /proc/15236/stat : 15236 (cosoco) R 15233 15236 13782 0 -1 4202496 6978 0 0 0 20 0 0 0 20 0 1 0 434312173 52056064 6806 33554432000 4194304 6211092 140731163003408 140731162999944 140362238131173 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 10784768 140731163005963 140731163006065 140731163006065 140731163008974 0 /proc/15236/statm: 12709 6806 836 493 0 6014 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 50836 KiB Current children cumulated memory: 27224 KiB [startup+0.309704 s]* /proc/loadavg: 2.00 2.02 2.05 3/200 15237 /proc/meminfo: memFree=30224512/32770624 swapFree=66927296/67108860 [pid=15236] ppid=15233 vsize=56736 memory=33124 CPUtime=0.31 cores=0,2,4,6 /proc/15236/stat : 15236 (cosoco) R 15233 15236 13782 0 -1 4202496 8455 0 0 0 30 1 0 0 20 0 1 0 434312173 58097664 8281 33554432000 4194304 6211092 140731163003408 140731162999944 5735425 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 10784768 140731163005963 140731163006065 140731163006065 140731163008974 0 /proc/15236/statm: 14184 8281 836 493 0 7489 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 56736 KiB Current children cumulated memory: 33124 KiB [startup+0.700413 s] /proc/loadavg: 2.00 2.02 2.05 3/200 15237 /proc/meminfo: memFree=30198224/32770624 swapFree=66927296/67108860 [pid=15236] ppid=15233 vsize=93472 memory=69992 CPUtime=0.69 cores=0,2,4,6 /proc/15236/stat : 15236 (cosoco) R 15233 15236 13782 0 -1 4202496 17711 0 0 0 68 1 0 0 20 0 1 0 434312173 95715328 17498 33554432000 4194304 6211092 140731163003408 140731162999944 5409461 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 10784768 140731163005963 140731163006065 140731163006065 140731163008974 0 /proc/15236/statm: 23368 17498 910 493 0 16673 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 93472 KiB Current children cumulated memory: 69992 KiB [startup+1.50037 s] /proc/loadavg: 2.00 2.02 2.05 3/200 15237 /proc/meminfo: memFree=30187268/32770624 swapFree=66927296/67108860 [pid=15236] ppid=15233 vsize=93872 memory=70520 CPUtime=1.49 cores=0,2,4,6 /proc/15236/stat : 15236 (cosoco) R 15233 15236 13782 0 -1 4202496 17823 0 0 0 148 1 0 0 20 0 1 0 434312173 96124928 17630 33554432000 4194304 6211092 140731163003408 140731163000808 5392081 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 10784768 140731163005963 140731163006065 140731163006065 140731163008974 0 /proc/15236/statm: 23468 17630 911 493 0 16773 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 93872 KiB Current children cumulated memory: 70520 KiB [startup+3.10965 s] /proc/loadavg: 2.00 2.02 2.05 3/200 15237 /proc/meminfo: memFree=30186544/32770624 swapFree=66927296/67108860 [pid=15236] ppid=15233 vsize=94688 memory=71372 CPUtime=3.1 cores=0,2,4,6 /proc/15236/stat : 15236 (cosoco) R 15233 15236 13782 0 -1 4202496 26583 0 0 0 308 2 0 0 20 0 1 0 434312173 96960512 17843 33554432000 4194304 6211092 140731163003408 140731163000808 5396756 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 10784768 140731163005963 140731163006065 140731163006065 140731163008974 0 /proc/15236/statm: 23672 17843 911 493 0 16977 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 94688 KiB Current children cumulated memory: 71372 KiB [startup+6.30035 s] /proc/loadavg: 2.00 2.02 2.05 3/200 15237 /proc/meminfo: memFree=30185956/32770624 swapFree=66927296/67108860 [pid=15236] ppid=15233 vsize=99588 memory=76144 CPUtime=6.29 cores=0,2,4,6 /proc/15236/stat : 15236 (cosoco) R 15233 15236 13782 0 -1 4202496 38514 0 0 0 627 2 0 0 20 0 1 0 434312173 101978112 19036 33554432000 4194304 6211092 140731163003408 140731163000808 5380256 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 10784768 140731163005963 140731163006065 140731163006065 140731163008974 0 /proc/15236/statm: 24897 19036 911 493 0 18202 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76144 KiB [startup+12.7003 s] /proc/loadavg: 2.00 2.01 2.05 3/200 15237 /proc/meminfo: memFree=30181744/32770624 swapFree=66927296/67108860 [pid=15236] ppid=15233 vsize=99588 memory=76212 CPUtime=12.68 cores=0,2,4,6 /proc/15236/stat : 15236 (cosoco) R 15233 15236 13782 0 -1 4202496 47287 0 0 0 1266 2 0 0 20 0 1 0 434312173 101978112 19053 33554432000 4194304 6211092 140731163003408 140731163001544 5035286 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 10784768 140731163005963 140731163006065 140731163006065 140731163008974 0 /proc/15236/statm: 24897 19053 911 493 0 18202 0 Current children cumulated CPU time: 12.68 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76212 KiB [startup+25.5004 s] /proc/loadavg: 2.00 2.01 2.05 3/200 15237 /proc/meminfo: memFree=30181716/32770624 swapFree=66927296/67108860 [pid=15236] ppid=15233 vsize=99588 memory=76212 CPUtime=25.49 cores=0,2,4,6 /proc/15236/stat : 15236 (cosoco) R 15233 15236 13782 0 -1 4202496 62972 0 0 0 2545 4 0 0 20 0 1 0 434312173 101978112 19053 33554432000 4194304 6211092 140731163003408 140731163001544 5409424 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 10784768 140731163005963 140731163006065 140731163006065 140731163008974 0 /proc/15236/statm: 24897 19053 911 493 0 18202 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76212 KiB [startup+51.1095 s] /proc/loadavg: 2.00 2.01 2.05 3/200 15240 /proc/meminfo: memFree=30181544/32770624 swapFree=66927296/67108860 [pid=15236] ppid=15233 vsize=99588 memory=76212 CPUtime=51.09 cores=0,2,4,6 /proc/15236/stat : 15236 (cosoco) R 15233 15236 13782 0 -1 4202496 72823 0 0 0 5105 4 0 0 20 0 1 0 434312173 101978112 19053 33554432000 4194304 6211092 140731163003408 140731163001544 5392081 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 10784768 140731163005963 140731163006065 140731163006065 140731163008974 0 /proc/15236/statm: 24897 19053 911 493 0 18202 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76212 KiB [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 15244 /proc/meminfo: memFree=30180844/32770624 swapFree=66927296/67108860 [pid=15236] ppid=15233 vsize=99588 memory=76212 CPUtime=102.27 cores=0,2,4,6 /proc/15236/stat : 15236 (cosoco) R 15233 15236 13782 0 -1 4202496 82210 0 0 0 10222 5 0 0 20 0 1 0 434312173 101978112 19053 33554432000 4194304 6211092 140731163003408 140731163001544 5396756 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 10784768 140731163005963 140731163006065 140731163006065 140731163008974 0 /proc/15236/statm: 24897 19053 911 493 0 18202 0 Current children cumulated CPU time: 102.27 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76212 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 15248 /proc/meminfo: memFree=30179160/32770624 swapFree=66927296/67108860 [pid=15236] ppid=15233 vsize=99588 memory=76340 CPUtime=162.24 cores=0,2,4,6 /proc/15236/stat : 15236 (cosoco) R 15233 15236 13782 0 -1 4202496 87846 0 0 0 16219 5 0 0 20 0 1 0 434312173 101978112 19085 33554432000 4194304 6211092 140731163003408 140731163001544 5035283 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 10784768 140731163005963 140731163006065 140731163006065 140731163008974 0 /proc/15236/statm: 24897 19085 911 493 0 18202 0 Current children cumulated CPU time: 162.24 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76340 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 15254 /proc/meminfo: memFree=30179192/32770624 swapFree=66927296/67108860 [pid=15236] ppid=15233 vsize=99588 memory=76340 CPUtime=222.22 cores=0,2,4,6 /proc/15236/stat : 15236 (cosoco) R 15233 15236 13782 0 -1 4202496 88264 0 0 0 22217 5 0 0 20 0 1 0 434312173 101978112 19085 33554432000 4194304 6211092 140731163003408 140731163001544 5397226 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 10784768 140731163005963 140731163006065 140731163006065 140731163008974 0 /proc/15236/statm: 24897 19085 911 493 0 18202 0 Current children cumulated CPU time: 222.22 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76340 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 15258 /proc/meminfo: memFree=30180608/32770624 swapFree=66927296/67108860 [pid=15236] ppid=15233 vsize=99588 memory=76340 CPUtime=282.21 cores=0,2,4,6 /proc/15236/stat : 15236 (cosoco) R 15233 15236 13782 0 -1 4202496 88722 0 0 0 28216 5 0 0 20 0 1 0 434312173 101978112 19085 33554432000 4194304 6211092 140731163003408 140731163001544 5035337 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 10784768 140731163005963 140731163006065 140731163006065 140731163008974 0 /proc/15236/statm: 24897 19085 911 493 0 18202 0 Current children cumulated CPU time: 282.21 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76340 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 15263 /proc/meminfo: memFree=30180052/32770624 swapFree=66927296/67108860 [pid=15236] ppid=15233 vsize=99588 memory=76340 CPUtime=342.2 cores=0,2,4,6 /proc/15236/stat : 15236 (cosoco) R 15233 15236 13782 0 -1 4202496 89103 0 0 0 34215 5 0 0 20 0 1 0 434312173 101978112 19085 33554432000 4194304 6211092 140731163003408 140731163001544 5035336 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 10784768 140731163005963 140731163006065 140731163006065 140731163008974 0 /proc/15236/statm: 24897 19085 911 493 0 18202 0 Current children cumulated CPU time: 342.2 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76340 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 15269 /proc/meminfo: memFree=30179804/32770624 swapFree=66927296/67108860 [pid=15236] ppid=15233 vsize=99588 memory=76340 CPUtime=402.19 cores=0,2,4,6 /proc/15236/stat : 15236 (cosoco) R 15233 15236 13782 0 -1 4202496 89560 0 0 0 40214 5 0 0 20 0 1 0 434312173 101978112 19085 33554432000 4194304 6211092 140731163003408 140731163001544 5392024 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 10784768 140731163005963 140731163006065 140731163006065 140731163008974 0 /proc/15236/statm: 24897 19085 911 493 0 18202 0 Current children cumulated CPU time: 402.19 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76340 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 15273 /proc/meminfo: memFree=30179940/32770624 swapFree=66927296/67108860 [pid=15236] ppid=15233 vsize=99588 memory=76340 CPUtime=462.18 cores=0,2,4,6 /proc/15236/stat : 15236 (cosoco) R 15233 15236 13782 0 -1 4202496 89949 0 0 0 46213 5 0 0 20 0 1 0 434312173 101978112 19085 33554432000 4194304 6211092 140731163003408 140731163001544 5008971 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 10784768 140731163005963 140731163006065 140731163006065 140731163008974 0 /proc/15236/statm: 24897 19085 911 493 0 18202 0 Current children cumulated CPU time: 462.18 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76340 KiB ################ # More data... # ################ /proc/15236/statm: 24897 19085 911 493 0 18202 0 Current children cumulated CPU time: 1721.95 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76340 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.05 2.06 3/200 15474 /proc/meminfo: memFree=30123784/32770624 swapFree=66927296/67108860 [pid=15236] ppid=15233 vsize=99588 memory=76340 CPUtime=1781.94 cores=0,2,4,6 /proc/15236/stat : 15236 (cosoco) R 15233 15236 13782 0 -1 4202496 98786 0 0 0 178189 5 0 0 20 0 1 0 434312173 101978112 19085 33554432000 4194304 6211092 140731163003408 140731163001544 5035283 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 10784768 140731163005963 140731163006065 140731163006065 140731163008974 0 /proc/15236/statm: 24897 19085 911 493 0 18202 0 Current children cumulated CPU time: 1781.94 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76340 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.04 2.05 3/201 15488 /proc/meminfo: memFree=30123604/32770624 swapFree=66927296/67108860 [pid=15236] ppid=15233 vsize=99588 memory=76340 CPUtime=1841.92 cores=0,2,4,6 /proc/15236/stat : 15236 (cosoco) R 15233 15236 13782 0 -1 4202496 99272 0 0 0 184187 5 0 0 20 0 1 0 434312173 101978112 19085 33554432000 4194304 6211092 140731163003408 140731163001544 5409444 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 10784768 140731163005963 140731163006065 140731163006065 140731163008974 0 /proc/15236/statm: 24897 19085 911 493 0 18202 0 Current children cumulated CPU time: 1841.92 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76340 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.03 2.05 3/200 15492 /proc/meminfo: memFree=30123080/32770624 swapFree=66927296/67108860 [pid=15236] ppid=15233 vsize=99588 memory=76340 CPUtime=1901.91 cores=0,2,4,6 /proc/15236/stat : 15236 (cosoco) R 15233 15236 13782 0 -1 4202496 99646 0 0 0 190186 5 0 0 20 0 1 0 434312173 101978112 19085 33554432000 4194304 6211092 140731163003408 140731163001544 5409453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 10784768 140731163005963 140731163006065 140731163006065 140731163008974 0 /proc/15236/statm: 24897 19085 911 493 0 18202 0 Current children cumulated CPU time: 1901.91 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76340 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.03 2.05 3/200 15496 /proc/meminfo: memFree=30123292/32770624 swapFree=66927296/67108860 [pid=15236] ppid=15233 vsize=99588 memory=76340 CPUtime=1961.9 cores=0,2,4,6 /proc/15236/stat : 15236 (cosoco) R 15233 15236 13782 0 -1 4202496 100009 0 0 0 196185 5 0 0 20 0 1 0 434312173 101978112 19085 33554432000 4194304 6211092 140731163003408 140731163001544 5409424 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 10784768 140731163005963 140731163006065 140731163006065 140731163008974 0 /proc/15236/statm: 24897 19085 911 493 0 18202 0 Current children cumulated CPU time: 1961.9 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76340 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.02 2.05 3/200 15502 /proc/meminfo: memFree=30123820/32770624 swapFree=66927296/67108860 [pid=15236] ppid=15233 vsize=99588 memory=76340 CPUtime=2021.89 cores=0,2,4,6 /proc/15236/stat : 15236 (cosoco) R 15233 15236 13782 0 -1 4202496 100377 0 0 0 202184 5 0 0 20 0 1 0 434312173 101978112 19085 33554432000 4194304 6211092 140731163003408 140731163001544 5409439 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 10784768 140731163005963 140731163006065 140731163006065 140731163008974 0 /proc/15236/statm: 24897 19085 911 493 0 18202 0 Current children cumulated CPU time: 2021.89 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76340 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.02 2.05 3/200 15506 /proc/meminfo: memFree=30123332/32770624 swapFree=66927296/67108860 [pid=15236] ppid=15233 vsize=99588 memory=76340 CPUtime=2081.88 cores=0,2,4,6 /proc/15236/stat : 15236 (cosoco) R 15233 15236 13782 0 -1 4202496 100740 0 0 0 208183 5 0 0 20 0 1 0 434312173 101978112 19085 33554432000 4194304 6211092 140731163003408 140731163001544 5409449 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 10784768 140731163005963 140731163006065 140731163006065 140731163008974 0 /proc/15236/statm: 24897 19085 911 493 0 18202 0 Current children cumulated CPU time: 2081.88 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76340 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 15511 /proc/meminfo: memFree=30123084/32770624 swapFree=66927296/67108860 [pid=15236] ppid=15233 vsize=99588 memory=76340 CPUtime=2141.87 cores=0,2,4,6 /proc/15236/stat : 15236 (cosoco) R 15233 15236 13782 0 -1 4202496 101103 0 0 0 214182 5 0 0 20 0 1 0 434312173 101978112 19085 33554432000 4194304 6211092 140731163003408 140731163001544 5250224 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 10784768 140731163005963 140731163006065 140731163006065 140731163008974 0 /proc/15236/statm: 24897 19085 911 493 0 18202 0 Current children cumulated CPU time: 2141.87 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76340 KiB [startup+2202.3 s] /proc/loadavg: 2.07 2.03 2.05 3/199 15517 /proc/meminfo: memFree=30123600/32770624 swapFree=66927296/67108860 [pid=15236] ppid=15233 vsize=99588 memory=76340 CPUtime=2201.86 cores=0,2,4,6 /proc/15236/stat : 15236 (cosoco) R 15233 15236 13782 0 -1 4202496 101463 0 0 0 220181 5 0 0 20 0 1 0 434312173 101978112 19085 33554432000 4194304 6211092 140731163003408 140731163001544 5035283 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 10784768 140731163005963 140731163006065 140731163006065 140731163008974 0 /proc/15236/statm: 24897 19085 911 493 0 18202 0 Current children cumulated CPU time: 2201.86 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76340 KiB [startup+2262.3 s] /proc/loadavg: 2.03 2.02 2.05 3/199 15521 /proc/meminfo: memFree=30123796/32770624 swapFree=66927296/67108860 [pid=15236] ppid=15233 vsize=99588 memory=76340 CPUtime=2261.85 cores=0,2,4,6 /proc/15236/stat : 15236 (cosoco) R 15233 15236 13782 0 -1 4202496 101830 0 0 0 226180 5 0 0 20 0 1 0 434312173 101978112 19085 33554432000 4194304 6211092 140731163003408 140731163001544 5409461 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10784768 140731163005963 140731163006065 140731163006065 140731163008974 0 /proc/15236/statm: 24897 19085 911 493 0 18202 0 Current children cumulated CPU time: 2261.85 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76340 KiB [startup+2322.3 s] /proc/loadavg: 1.94 1.99 2.03 3/199 15526 /proc/meminfo: memFree=30122752/32770624 swapFree=66927296/67108860 [pid=15236] ppid=15233 vsize=99588 memory=76340 CPUtime=2321.84 cores=0,2,4,6 /proc/15236/stat : 15236 (cosoco) R 15233 15236 13782 0 -1 4202496 102280 0 0 0 232179 5 0 0 20 0 1 0 434312173 101978112 19085 33554432000 4194304 6211092 140731163003408 140731163001544 5409444 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 10784768 140731163005963 140731163006065 140731163006065 140731163008974 0 /proc/15236/statm: 24897 19085 911 493 0 18202 0 Current children cumulated CPU time: 2321.84 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76340 KiB [startup+2382.3 s] /proc/loadavg: 1.98 1.99 2.03 3/199 15532 /proc/meminfo: memFree=30122716/32770624 swapFree=66927296/67108860 [pid=15236] ppid=15233 vsize=99588 memory=76340 CPUtime=2381.82 cores=0,2,4,6 /proc/15236/stat : 15236 (cosoco) R 15233 15236 13782 0 -1 4202496 102647 0 0 0 238177 5 0 0 20 0 1 0 434312173 101978112 19085 33554432000 4194304 6211092 140731163003408 140731163001544 5409461 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 10784768 140731163005963 140731163006065 140731163006065 140731163008974 0 /proc/15236/statm: 24897 19085 911 493 0 18202 0 Current children cumulated CPU time: 2381.82 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76340 KiB [startup+2442.3 s] /proc/loadavg: 2.60 2.15 2.09 3/200 15544 /proc/meminfo: memFree=30122908/32770624 swapFree=66927296/67108860 [pid=15236] ppid=15233 vsize=99588 memory=76340 CPUtime=2441.81 cores=0,2,4,6 /proc/15236/stat : 15236 (cosoco) R 15233 15236 13782 0 -1 4202496 103016 0 0 0 244176 5 0 0 20 0 1 0 434312173 101978112 19085 33554432000 4194304 6211092 140731163003408 140731163001544 5409453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 10784768 140731163005963 140731163006065 140731163006065 140731163008974 0 /proc/15236/statm: 24897 19085 911 493 0 18202 0 Current children cumulated CPU time: 2441.81 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76340 KiB [startup+2502.3 s] /proc/loadavg: 2.22 2.12 2.08 3/200 15548 /proc/meminfo: memFree=30123020/32770624 swapFree=66927296/67108860 [pid=15236] ppid=15233 vsize=99588 memory=76340 CPUtime=2501.8 cores=0,2,4,6 /proc/15236/stat : 15236 (cosoco) R 15233 15236 13782 0 -1 4202496 103384 0 0 0 250175 5 0 0 20 0 1 0 434312173 101978112 19085 33554432000 4194304 6211092 140731163003408 140731163001544 5409424 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 10784768 140731163005963 140731163006065 140731163006065 140731163008974 0 /proc/15236/statm: 24897 19085 911 493 0 18202 0 Current children cumulated CPU time: 2501.8 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76340 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 2.16 2.11 2.08 3/200 15552 /proc/meminfo: memFree=30122748/32770624 swapFree=66927296/67108860 [pid=15236] ppid=15233 vsize=99588 memory=76340 CPUtime=2519.51 cores=0,2,4,6 /proc/15236/stat : 15236 (cosoco) R 15233 15236 13782 0 -1 4202496 103744 0 0 0 251946 5 0 0 20 0 1 0 434312173 101978112 19085 33554432000 4194304 6211092 140731163003408 140731163001544 5035283 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 10784768 140731163005963 140731163006065 140731163006065 140731163008974 0 /proc/15236/statm: 24897 19085 911 493 0 18202 0 Current children cumulated CPU time: 2519.51 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76340 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.01 s] # the end of solver process 15236 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.46 s, system=0.058989 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2520.01 CPU time (s): 2519.52 CPU user time (s): 2519.46 CPU system time (s): 0.058989 CPU usage (%): 99.9806 Max. virtual memory (cumulated for all children) (KiB): 99588 Max. memory (cumulated for all children) (KiB): 76340 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.46 system time used= 0.058989 maximum resident set size= 76404 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 103804 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= 45 involuntary context switches= 1926 # summary of solver processes directly reported to runsolver: # pid: 15236 # total CPU time (s): 2519.52 # total CPU user time (s): 2519.46 # total CPU system time (s): 0.058989 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.94808 second user time and 17.1213 second system time The end
Begin job on node137 at 2019-09-15 22:50:06 IDJOB=4397139 IDBENCH=126803 IDSOLVER=2848 FILE ID=node137/4397139-1568580648 RUNJOBID= node137-1568572741-13813 PBS_JOBID= 21703317 Free space on /tmp= 61384 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-wbop-30-30-1.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397139-1568580648/watcher-4397139-1568580648 -o /tmp/evaluation-result-4397139-1568580648/solver-4397139-1568580648 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568572741-13813 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4397139-1568580648.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 305bfce3403e7be8ea8343edd9c7d9a7 RANDOM SEED=1142553565 node137.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.00 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 : 5334.00 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 : 5334.00 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 : 5334.00 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: 30254220 kB MemAvailable: 31634404 kB Buffers: 124816 kB Cached: 1542372 kB SwapCached: 77512 kB Active: 1653712 kB Inactive: 270376 kB Active(anon): 181716 kB Inactive(anon): 124920 kB Active(file): 1471996 kB Inactive(file): 145456 kB Unevictable: 109912 kB Mlocked: 109912 kB SwapTotal: 67108860 kB SwapFree: 66927296 kB Dirty: 2884 kB Writeback: 0 kB AnonPages: 291040 kB Mapped: 48992 kB Shmem: 41000 kB Slab: 186720 kB SReclaimable: 157132 kB SUnreclaim: 29588 kB KernelStack: 3520 kB PageTables: 6060 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 713368 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 241664 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 61416 MiB End job on node137 at 2019-09-15 23:32:06