Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.0 | SAT (TO) | 13 | 2400.09 | 2399.9 |
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 | 61.1833 |
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.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.51/0.59 c 0.51/0.59 c This is cosoco 2.00 -- 0.51/0.59 c 0.51/0.59 c command line: cosoco -lc -model -restarts -stick HOME/instance-4397567-1568577629.xml 0.51/0.59 c enable optimization 0.51/0.59 c ========================================[ Problem Statistics ]=========================================== 0.51/0.59 c | 0.51/0.59 c | Parse time : 0.36 s 0.51/0.59 c | 0.51/0.59 c | Variables: 2760 0.51/0.59 c | Domain Sizes: 2..31 0.51/0.59 c | 0.51/0.59 c | Constraints: 2732 0.51/0.59 c | Arity: 2..31 -- Binary: 930 -- Ternary: 1770 0.51/0.59 c | 0.51/0.59 c | Types: 0.51/0.59 c | (X = Y): 30 0.51/0.59 c | All Different: 1 0.51/0.59 c | Extension: 1800 (nb tuples: 4..30) -- (shared: 899) 0.51/0.59 c | Max constant: 1 0.51/0.59 c | Sum: 900 0.51/0.59 c | 0.51/0.59 c | Objective: Minimize Max constant 0.51/0.59 0.51/0.59 c ========================================================================================================= 0.51/0.59 o 19 0.51/0.59 c 1 calls to solver(id=*d): best=0 lower=19 upper=0 6.59/6.68 o 13 2400.08/2399.90 2400.08/2399.90 c *** INTERRUPTED *** 2400.08/2399.90 c call to solver : 2 2400.08/2399.90 c 2400.08/2399.90 c restarts : 86 2400.08/2399.90 c conflicts : 2086584 (869 /sec) 2400.08/2399.90 c decisions : 51229655 (21346 /sec) 2400.08/2399.90 c propagations : 370609157 (154420 /sec) 2400.08/2399.90 c root propagations : 32787 2400.08/2399.90 c filter calls : 959760334 (399898 /sec) 2400.08/2399.90 c useless filter calls : 741029400 (77 %) 2400.08/2399.90 c Memory used : 97.26 MB 2400.08/2399.90 c Best bound time (wc) : 6.6791 s 2400.08/2399.90 c CPU time : 2400.01 s 2400.08/2399.90 c real time : 2399.9 s 2400.08/2399.90 2400.08/2399.90 c nb Solutions = 2 2400.08/2399.90 s SATISFIABLE 2400.08/2399.90 c Best value found: 13 2400.08/2399.90 2400.08/2399.90 2400.08/2399.90 v <instantiation type='solution' cost='13'> 2400.08/2399.90 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> 2400.08/2399.90 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> 2400.08/2399.90 v </instantiation> 2400.08/2399.90
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: 16375 MiB (14489 MiB free) memory of node 1: 16384 MiB (15356 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397567-1568577629/watcher-4397567-1568577629 -o /tmp/evaluation-result-4397567-1568577629/solver-4397567-1568577629 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568572744-16757 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397567-1568577629.xml running on 4 cores: 0-3 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 Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=17995, runsolver pid=17992 Current StackSize limit: 8192 KiB [startup+0.100161 s]* /proc/loadavg: 2.00 2.01 2.04 3/199 17996 /proc/meminfo: memFree=30547700/32770688 swapFree=66961176/67108860 [pid=17995] ppid=17992 vsize=43076 memory=19332 CPUtime=0.1 cores=0-3 /proc/17995/stat : 17995 (cosoco) R 17992 17995 16726 0 -1 4202496 5045 0 0 0 10 0 0 0 20 0 1 0 433704552 44109824 4833 33554432000 4194304 6211092 140735874254656 140735874251192 140145096252389 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10772480 140735874257931 140735874258033 140735874258033 140735874260942 0 /proc/17995/statm: 10769 4833 836 493 0 4074 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 43076 KiB Current children cumulated memory: 19332 KiB [startup+0.210814 s]* /proc/loadavg: 2.00 2.01 2.04 3/199 17996 /proc/meminfo: memFree=30541004/32770688 swapFree=66961176/67108860 [pid=17995] ppid=17992 vsize=49496 memory=25904 CPUtime=0.21 cores=0-3 /proc/17995/stat : 17995 (cosoco) R 17992 17995 16726 0 -1 4202496 6646 0 0 0 20 1 0 0 20 0 1 0 433704552 50683904 6476 33554432000 4194304 6211092 140735874254656 140735874251192 140145096252389 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10772480 140735874257931 140735874258033 140735874258033 140735874260942 0 /proc/17995/statm: 12374 6476 836 493 0 5679 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 49496 KiB Current children cumulated memory: 25904 KiB [startup+0.310653 s]* /proc/loadavg: 2.00 2.01 2.04 3/199 17996 /proc/meminfo: memFree=30535176/32770688 swapFree=66961176/67108860 [pid=17995] ppid=17992 vsize=55280 memory=31548 CPUtime=0.31 cores=0-3 /proc/17995/stat : 17995 (cosoco) R 17992 17995 16726 0 -1 4202496 8094 0 0 0 30 1 0 0 20 0 1 0 433704552 56606720 7887 33554432000 4194304 6211092 140735874254656 140735874251192 140145096252389 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10772480 140735874257931 140735874258033 140735874258033 140735874260942 0 /proc/17995/statm: 13820 7887 836 493 0 7125 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 55280 KiB Current children cumulated memory: 31548 KiB [startup+0.700365 s] /proc/loadavg: 2.00 2.01 2.04 3/199 17996 /proc/meminfo: memFree=30510376/32770688 swapFree=66961176/67108860 [pid=17995] ppid=17992 vsize=93472 memory=69992 CPUtime=0.68 cores=0-3 /proc/17995/stat : 17995 (cosoco) R 17992 17995 16726 0 -1 4202496 17711 0 0 0 66 2 0 0 20 0 1 0 433704552 95715328 17498 33554432000 4194304 6211092 140735874254656 140735874251192 5035263 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10772480 140735874257931 140735874258033 140735874258033 140735874260942 0 /proc/17995/statm: 23368 17498 910 493 0 16673 0 Current children cumulated CPU time: 0.68 s Current children cumulated vsize: 93472 KiB Current children cumulated memory: 69992 KiB [startup+1.50033 s] /proc/loadavg: 2.00 2.01 2.04 3/199 17996 /proc/meminfo: memFree=30496364/32770688 swapFree=66961176/67108860 [pid=17995] ppid=17992 vsize=93604 memory=70256 CPUtime=1.48 cores=0-3 /proc/17995/stat : 17995 (cosoco) R 17992 17995 16726 0 -1 4202496 17757 0 0 0 146 2 0 0 20 0 1 0 433704552 95850496 17564 33554432000 4194304 6211092 140735874254656 140735874252056 5409444 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10772480 140735874257931 140735874258033 140735874258033 140735874260942 0 /proc/17995/statm: 23401 17564 911 493 0 16706 0 Current children cumulated CPU time: 1.48 s Current children cumulated vsize: 93604 KiB Current children cumulated memory: 70256 KiB [startup+3.11068 s] /proc/loadavg: 2.00 2.01 2.04 3/199 17996 /proc/meminfo: memFree=30495136/32770688 swapFree=66961176/67108860 [pid=17995] ppid=17992 vsize=94408 memory=71116 CPUtime=3.1 cores=0-3 /proc/17995/stat : 17995 (cosoco) R 17992 17995 16726 0 -1 4202496 26326 0 0 0 307 3 0 0 20 0 1 0 433704552 96673792 17779 33554432000 4194304 6211092 140735874254656 140735874252056 5035312 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10772480 140735874257931 140735874258033 140735874258033 140735874260942 0 /proc/17995/statm: 23602 17779 911 493 0 16907 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 94408 KiB Current children cumulated memory: 71116 KiB [startup+6.30029 s] /proc/loadavg: 2.00 2.01 2.04 3/199 17996 /proc/meminfo: memFree=30495012/32770688 swapFree=66961176/67108860 [pid=17995] ppid=17992 vsize=94824 memory=71508 CPUtime=6.29 cores=0-3 /proc/17995/stat : 17995 (cosoco) R 17992 17995 16726 0 -1 4202496 36375 0 0 0 625 4 0 0 20 0 1 0 433704552 97099776 17877 33554432000 4194304 6211092 140735874254656 140735874252056 5008994 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10772480 140735874257931 140735874258033 140735874258033 140735874260942 0 /proc/17995/statm: 23706 17877 911 493 0 17011 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 94824 KiB Current children cumulated memory: 71508 KiB [startup+12.7003 s] /proc/loadavg: 2.08 2.03 2.04 3/199 17996 /proc/meminfo: memFree=30490036/32770688 swapFree=66961176/67108860 [pid=17995] ppid=17992 vsize=99588 memory=76212 CPUtime=12.69 cores=0-3 /proc/17995/stat : 17995 (cosoco) R 17992 17995 16726 0 -1 4202496 45432 0 0 0 1264 5 0 0 20 0 1 0 433704552 101978112 19053 33554432000 4194304 6211092 140735874254656 140735874252792 5035326 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10772480 140735874257931 140735874258033 140735874258033 140735874260942 0 /proc/17995/statm: 24897 19053 911 493 0 18202 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76212 KiB [startup+25.5003 s] /proc/loadavg: 2.22 2.06 2.05 3/200 18004 /proc/meminfo: memFree=30489384/32770688 swapFree=66961176/67108860 [pid=17995] ppid=17992 vsize=99588 memory=76212 CPUtime=25.48 cores=0-3 /proc/17995/stat : 17995 (cosoco) R 17992 17995 16726 0 -1 4202496 55575 0 0 0 2543 5 0 0 20 0 1 0 433704552 101978112 19053 33554432000 4194304 6211092 140735874254656 140735874252792 5035283 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10772480 140735874257931 140735874258033 140735874258033 140735874260942 0 /proc/17995/statm: 24897 19053 911 493 0 18202 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76212 KiB [startup+51.1103 s] /proc/loadavg: 2.49 2.14 2.08 3/200 18007 /proc/meminfo: memFree=30489348/32770688 swapFree=66961176/67108860 [pid=17995] ppid=17992 vsize=99588 memory=76344 CPUtime=51.08 cores=0-3 /proc/17995/stat : 17995 (cosoco) R 17992 17995 16726 0 -1 4202496 58122 0 0 0 5103 5 0 0 20 0 1 0 433704552 101978112 19086 33554432000 4194304 6211092 140735874254656 140735874252792 5035283 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10772480 140735874257931 140735874258033 140735874258033 140735874260942 0 /proc/17995/statm: 24897 19086 911 493 0 18202 0 Current children cumulated CPU time: 51.08 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76344 KiB [startup+102.3 s] /proc/loadavg: 2.35 2.17 2.09 3/201 18034 /proc/meminfo: memFree=30489508/32770688 swapFree=66961176/67108860 [pid=17995] ppid=17992 vsize=99588 memory=76344 CPUtime=102.27 cores=0-3 /proc/17995/stat : 17995 (cosoco) R 17992 17995 16726 0 -1 4202496 58552 0 0 0 10222 5 0 0 20 0 1 0 433704552 101978112 19086 33554432000 4194304 6211092 140735874254656 140735874252792 5396759 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10772480 140735874257931 140735874258033 140735874258033 140735874260942 0 /proc/17995/statm: 24897 19086 911 493 0 18202 0 Current children cumulated CPU time: 102.27 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76344 KiB [startup+162.3 s] /proc/loadavg: 2.13 2.14 2.09 3/201 18099 /proc/meminfo: memFree=30256140/32770688 swapFree=66961176/67108860 [pid=17995] ppid=17992 vsize=99588 memory=76344 CPUtime=162.28 cores=0-3 /proc/17995/stat : 17995 (cosoco) R 17992 17995 16726 0 -1 4202496 58973 0 0 0 16223 5 0 0 20 0 1 0 433704552 101978112 19086 33554432000 4194304 6211092 140735874254656 140735874252792 5409453 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10772480 140735874257931 140735874258033 140735874258033 140735874260942 0 /proc/17995/statm: 24897 19086 911 493 0 18202 0 Current children cumulated CPU time: 162.28 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76344 KiB [startup+222.3 s] /proc/loadavg: 2.05 2.12 2.08 3/201 18105 /proc/meminfo: memFree=30256172/32770688 swapFree=66961176/67108860 [pid=17995] ppid=17992 vsize=99588 memory=76344 CPUtime=222.29 cores=0-3 /proc/17995/stat : 17995 (cosoco) R 17992 17995 16726 0 -1 4202496 59392 0 0 0 22224 5 0 0 20 0 1 0 433704552 101978112 19086 33554432000 4194304 6211092 140735874254656 140735874252792 5017373 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10772480 140735874257931 140735874258033 140735874258033 140735874260942 0 /proc/17995/statm: 24897 19086 911 493 0 18202 0 Current children cumulated CPU time: 222.29 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76344 KiB [startup+282.3 s] /proc/loadavg: 2.02 2.09 2.07 3/201 18109 /proc/meminfo: memFree=30256296/32770688 swapFree=66961176/67108860 [pid=17995] ppid=17992 vsize=99588 memory=76344 CPUtime=282.29 cores=0-3 /proc/17995/stat : 17995 (cosoco) R 17992 17995 16726 0 -1 4202496 59434 0 0 0 28224 5 0 0 20 0 1 0 433704552 101978112 19086 33554432000 4194304 6211092 140735874254656 140735874252792 5035252 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10772480 140735874257931 140735874258033 140735874258033 140735874260942 0 /proc/17995/statm: 24897 19086 911 493 0 18202 0 Current children cumulated CPU time: 282.29 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76344 KiB [startup+342.3 s] /proc/loadavg: 2.01 2.08 2.07 3/200 18113 /proc/meminfo: memFree=30256164/32770688 swapFree=66961176/67108860 [pid=17995] ppid=17992 vsize=99588 memory=76344 CPUtime=342.3 cores=0-3 /proc/17995/stat : 17995 (cosoco) R 17992 17995 16726 0 -1 4202496 59855 0 0 0 34225 5 0 0 20 0 1 0 433704552 101978112 19086 33554432000 4194304 6211092 140735874254656 140735874252792 5409453 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10772480 140735874257931 140735874258033 140735874258033 140735874260942 0 /proc/17995/statm: 24897 19086 911 493 0 18202 0 Current children cumulated CPU time: 342.3 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76344 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.06 2.06 3/200 18119 /proc/meminfo: memFree=30255808/32770688 swapFree=66961176/67108860 [pid=17995] ppid=17992 vsize=99588 memory=76344 CPUtime=402.3 cores=0-3 /proc/17995/stat : 17995 (cosoco) R 17992 17995 16726 0 -1 4202496 59866 0 0 0 40225 5 0 0 20 0 1 0 433704552 101978112 19086 33554432000 4194304 6211092 140735874254656 140735874252792 5409453 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10772480 140735874257931 140735874258033 140735874258033 140735874260942 0 /proc/17995/statm: 24897 19086 911 493 0 18202 0 Current children cumulated CPU time: 402.3 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76344 KiB [startup+462.3 s] /proc/loadavg: 2.07 2.07 2.06 3/199 18123 /proc/meminfo: memFree=30256096/32770688 swapFree=66961176/67108860 [pid=17995] ppid=17992 vsize=99588 memory=76344 CPUtime=462.31 cores=0-3 /proc/17995/stat : 17995 (cosoco) R 17992 17995 16726 0 -1 4202496 60244 0 0 0 46226 5 0 0 20 0 1 0 433704552 101978112 19086 33554432000 4194304 6211092 140735874254656 140735874252792 5409444 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10772480 140735874257931 140735874258033 140735874258033 140735874260942 0 /proc/17995/statm: 24897 19086 911 493 0 18202 0 Current children cumulated CPU time: 462.31 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76344 KiB ################ # More data... # ################ /proc/17995/statm: 24897 19086 911 493 0 18202 0 Current children cumulated CPU time: 1662.42 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76344 KiB [startup+1722.3 s] /proc/loadavg: 2.02 2.10 2.08 3/199 18239 /proc/meminfo: memFree=30256100/32770688 swapFree=66961176/67108860 [pid=17995] ppid=17992 vsize=99588 memory=76344 CPUtime=1722.42 cores=0-3 /proc/17995/stat : 17995 (cosoco) R 17992 17995 16726 0 -1 4202496 64449 0 0 0 172236 6 0 0 20 0 1 0 433704552 101978112 19086 33554432000 4194304 6211092 140735874254656 140735874252792 5409424 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10772480 140735874257931 140735874258033 140735874258033 140735874260942 0 /proc/17995/statm: 24897 19086 911 493 0 18202 0 Current children cumulated CPU time: 1722.42 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76344 KiB [startup+1782.3 s] /proc/loadavg: 2.01 2.08 2.08 3/199 18243 /proc/meminfo: memFree=30256792/32770688 swapFree=66961176/67108860 [pid=17995] ppid=17992 vsize=99588 memory=76344 CPUtime=1782.42 cores=0-3 /proc/17995/stat : 17995 (cosoco) R 17992 17995 16726 0 -1 4202496 64866 0 0 0 178236 6 0 0 20 0 1 0 433704552 101978112 19086 33554432000 4194304 6211092 140735874254656 140735874252792 5035283 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10772480 140735874257931 140735874258033 140735874258033 140735874260942 0 /proc/17995/statm: 24897 19086 911 493 0 18202 0 Current children cumulated CPU time: 1782.42 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76344 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.06 2.07 3/200 18257 /proc/meminfo: memFree=30254904/32770688 swapFree=66961176/67108860 [pid=17995] ppid=17992 vsize=99588 memory=76344 CPUtime=1842.43 cores=0-3 /proc/17995/stat : 17995 (cosoco) R 17992 17995 16726 0 -1 4202496 64868 0 0 0 184237 6 0 0 20 0 1 0 433704552 101978112 19086 33554432000 4194304 6211092 140735874254656 140735874252792 5409444 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10772480 140735874257931 140735874258033 140735874258033 140735874260942 0 /proc/17995/statm: 24897 19086 911 493 0 18202 0 Current children cumulated CPU time: 1842.43 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76344 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.05 2.07 3/200 18261 /proc/meminfo: memFree=30254860/32770688 swapFree=66961176/67108860 [pid=17995] ppid=17992 vsize=99588 memory=76344 CPUtime=1902.43 cores=0-3 /proc/17995/stat : 17995 (cosoco) R 17992 17995 16726 0 -1 4202496 65241 0 0 0 190237 6 0 0 20 0 1 0 433704552 101978112 19086 33554432000 4194304 6211092 140735874254656 140735874252792 5038999 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10772480 140735874257931 140735874258033 140735874258033 140735874260942 0 /proc/17995/statm: 24897 19086 911 493 0 18202 0 Current children cumulated CPU time: 1902.43 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76344 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.04 2.06 3/200 18265 /proc/meminfo: memFree=30255516/32770688 swapFree=66961176/67108860 [pid=17995] ppid=17992 vsize=99588 memory=76344 CPUtime=1962.44 cores=0-3 /proc/17995/stat : 17995 (cosoco) R 17992 17995 16726 0 -1 4202496 65333 0 0 0 196238 6 0 0 20 0 1 0 433704552 101978112 19086 33554432000 4194304 6211092 140735874254656 140735874252792 5409453 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10772480 140735874257931 140735874258033 140735874258033 140735874260942 0 /proc/17995/statm: 24897 19086 911 493 0 18202 0 Current children cumulated CPU time: 1962.44 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76344 KiB [startup+2022.3 s] /proc/loadavg: 2.06 2.05 2.06 3/200 18271 /proc/meminfo: memFree=30255164/32770688 swapFree=66961176/67108860 [pid=17995] ppid=17992 vsize=99588 memory=76344 CPUtime=2022.45 cores=0-3 /proc/17995/stat : 17995 (cosoco) R 17992 17995 16726 0 -1 4202496 65717 0 0 0 202238 7 0 0 20 0 1 0 433704552 101978112 19086 33554432000 4194304 6211092 140735874254656 140735874252792 5409453 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10772480 140735874257931 140735874258033 140735874258033 140735874260942 0 /proc/17995/statm: 24897 19086 911 493 0 18202 0 Current children cumulated CPU time: 2022.45 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76344 KiB [startup+2082.3 s] /proc/loadavg: 2.02 2.04 2.05 3/200 18275 /proc/meminfo: memFree=30255316/32770688 swapFree=66961176/67108860 [pid=17995] ppid=17992 vsize=99588 memory=76344 CPUtime=2082.45 cores=0-3 /proc/17995/stat : 17995 (cosoco) R 17992 17995 16726 0 -1 4202496 65717 0 0 0 208238 7 0 0 20 0 1 0 433704552 101978112 19086 33554432000 4194304 6211092 140735874254656 140735874252792 5409444 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10772480 140735874257931 140735874258033 140735874258033 140735874260942 0 /proc/17995/statm: 24897 19086 911 493 0 18202 0 Current children cumulated CPU time: 2082.45 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76344 KiB [startup+2142.3 s] /proc/loadavg: 2.01 2.04 2.05 3/199 18279 /proc/meminfo: memFree=30255592/32770688 swapFree=66961176/67108860 [pid=17995] ppid=17992 vsize=99588 memory=76344 CPUtime=2142.46 cores=0-3 /proc/17995/stat : 17995 (cosoco) R 17992 17995 16726 0 -1 4202496 66089 0 0 0 214239 7 0 0 20 0 1 0 433704552 101978112 19086 33554432000 4194304 6211092 140735874254656 140735874252792 5035216 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10772480 140735874257931 140735874258033 140735874258033 140735874260942 0 /proc/17995/statm: 24897 19086 911 493 0 18202 0 Current children cumulated CPU time: 2142.46 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76344 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.03 2.05 3/199 18285 /proc/meminfo: memFree=30255544/32770688 swapFree=66961176/67108860 [pid=17995] ppid=17992 vsize=99588 memory=76344 CPUtime=2202.46 cores=0-3 /proc/17995/stat : 17995 (cosoco) R 17992 17995 16726 0 -1 4202496 66089 0 0 0 220239 7 0 0 20 0 1 0 433704552 101978112 19086 33554432000 4194304 6211092 140735874254656 140735874252792 5149197 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10772480 140735874257931 140735874258033 140735874258033 140735874260942 0 /proc/17995/statm: 24897 19086 911 493 0 18202 0 Current children cumulated CPU time: 2202.46 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76344 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.02 2.05 3/199 18289 /proc/meminfo: memFree=30255828/32770688 swapFree=66961176/67108860 [pid=17995] ppid=17992 vsize=99588 memory=76344 CPUtime=2262.47 cores=0-3 /proc/17995/stat : 17995 (cosoco) R 17992 17995 16726 0 -1 4202496 66456 0 0 0 226240 7 0 0 20 0 1 0 433704552 101978112 19086 33554432000 4194304 6211092 140735874254656 140735874252792 5409453 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10772480 140735874257931 140735874258033 140735874258033 140735874260942 0 /proc/17995/statm: 24897 19086 911 493 0 18202 0 Current children cumulated CPU time: 2262.47 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76344 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.02 2.05 3/199 18293 /proc/meminfo: memFree=30256512/32770688 swapFree=66961176/67108860 [pid=17995] ppid=17992 vsize=99588 memory=76344 CPUtime=2322.47 cores=0-3 /proc/17995/stat : 17995 (cosoco) R 17992 17995 16726 0 -1 4202496 66456 0 0 0 232240 7 0 0 20 0 1 0 433704552 101978112 19086 33554432000 4194304 6211092 140735874254656 140735874252792 5035283 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10772480 140735874257931 140735874258033 140735874258033 140735874260942 0 /proc/17995/statm: 24897 19086 911 493 0 18202 0 Current children cumulated CPU time: 2322.47 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76344 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 18299 /proc/meminfo: memFree=30255952/32770688 swapFree=66961176/67108860 [pid=17995] ppid=17992 vsize=99588 memory=76344 CPUtime=2382.48 cores=0-3 /proc/17995/stat : 17995 (cosoco) R 17992 17995 16726 0 -1 4202496 66820 0 0 0 238241 7 0 0 20 0 1 0 433704552 101978112 19086 33554432000 4194304 6211092 140735874254656 140735874252792 5008827 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10772480 140735874257931 140735874258033 140735874258033 140735874260942 0 /proc/17995/statm: 24897 19086 911 493 0 18202 0 Current children cumulated CPU time: 2382.48 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76344 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2399.9 s] /proc/loadavg: 2.00 2.01 2.05 3/199 18300 /proc/meminfo: memFree=30255984/32770688 swapFree=66961176/67108860 [pid=17995] ppid=17992 vsize=99588 memory=76344 CPUtime=2400.08 cores=0-3 /proc/17995/stat : 17995 (cosoco) R 17992 17995 16726 0 -1 4202496 66824 0 0 0 240001 7 0 0 20 0 1 0 433704552 101978112 19086 33554432000 4194304 6211092 140735874254656 140735874252792 5392081 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10772480 140735874257931 140735874258033 140735874258033 140735874260942 0 /proc/17995/statm: 24897 19086 911 493 0 18202 0 Current children cumulated CPU time: 2400.08 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76344 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2399.9 s] # the end of solver process 17995 was just reported to runsolver # cumulated CPU time of all completed processes: user=2400.02 s, system=0.071006 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2399.9 s] /proc/loadavg: 2.00 2.01 2.05 3/199 18300 /proc/meminfo: memFree=30255984/32770688 swapFree=66961176/67108860 [pid=17995] ppid=17992 vsize=99588 memory=76344 CPUtime=2400.08 cores=0-3 /proc/17995/stat : 17995 (cosoco) R 17992 17995 16726 0 -1 4202496 66824 0 0 0 240001 7 0 0 20 0 1 0 433704552 101978112 19086 33554432000 4194304 6211092 140735874254656 140735874252792 5392081 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10772480 140735874257931 140735874258033 140735874258033 140735874260942 0 /proc/17995/statm: 24897 19086 911 493 0 18202 0 Current children cumulated CPU time: 2400.08 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76344 KiB Child status: 1 Real time (s): 2399.9 CPU time (s): 2400.09 CPU user time (s): 2400.02 CPU system time (s): 0.071006 CPU usage (%): 100.008 Max. virtual memory (cumulated for all children) (KiB): 99588 Max. memory (cumulated for all children) (KiB): 76344 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.02 system time used= 0.071006 maximum resident set size= 76408 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 66882 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= 48 involuntary context switches= 748 # summary of solver processes directly reported to runsolver: # pid: 17995 # total CPU time (s): 2400.09 # total CPU user time (s): 2400.02 # total CPU system time (s): 0.071006 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.95522 second user time and 20.2134 second system time The end
Begin job on node116 at 2019-09-15 21:59:48 IDJOB=4397567 IDBENCH=126803 IDSOLVER=2849 FILE ID=node116/4397567-1568577629 RUNJOBID= node116-1568572744-16757 PBS_JOBID= 21703332 Free space on /tmp= 61196 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-4397567-1568577629/watcher-4397567-1568577629 -o /tmp/evaluation-result-4397567-1568577629/solver-4397567-1568577629 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568572744-16757 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397567-1568577629.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 305bfce3403e7be8ea8343edd9c7d9a7 RANDOM SEED=190110393 node116.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 : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.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 : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 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 : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.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 : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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: 32770688 kB MemFree: 30562836 kB MemAvailable: 31670376 kB Buffers: 107700 kB Cached: 1293972 kB SwapCached: 46620 kB Active: 1137636 kB Inactive: 492248 kB Active(anon): 181928 kB Inactive(anon): 94984 kB Active(file): 955708 kB Inactive(file): 397264 kB Unevictable: 110604 kB Mlocked: 110604 kB SwapTotal: 67108860 kB SwapFree: 66961176 kB Dirty: 2724 kB Writeback: 0 kB AnonPages: 292968 kB Mapped: 47740 kB Shmem: 40260 kB Slab: 169056 kB SReclaimable: 140804 kB SUnreclaim: 28252 kB KernelStack: 3520 kB PageTables: 6712 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 713136 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 243712 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61224 MiB End job on node116 at 2019-09-15 22:39:48