Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.0 | SAT (TO) | 13 | 2519.71 | 2520 |
Name | OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-wbop-30-30-1.xml |
MD5SUM | 67a2d403e3bfd604d92484151c447548 |
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 | 23.8149 |
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.50/0.54 c 0.50/0.54 c This is cosoco 2.00 -- 0.50/0.54 c 0.50/0.54 c command line: cosoco -lc -model -restarts -stick HOME/instance-4408403-1569813141.xml 0.50/0.54 c enable optimization 0.50/0.54 c ========================================[ Problem Statistics ]=========================================== 0.50/0.54 c | 0.50/0.54 c | Parse time : 0.31 s 0.50/0.54 c | 0.50/0.54 c | Variables: 2760 0.50/0.54 c | Domain Sizes: 2..31 0.50/0.54 c | 0.50/0.54 c | Constraints: 2732 0.50/0.54 c | Arity: 2..31 -- Binary: 930 -- Ternary: 1770 0.50/0.54 c | 0.50/0.54 c | Types: 0.50/0.54 c | (X = Y): 30 0.50/0.54 c | All Different: 1 0.50/0.54 c | Extension: 1800 (nb tuples: 5..30) -- (shared: 899) 0.50/0.54 c | Max constant: 1 0.50/0.54 c | Sum: 900 0.50/0.54 c | 0.50/0.54 c | Objective: Minimize Max constant 0.50/0.54 0.50/0.54 c ========================================================================================================= 0.68/10.51 o 19 0.68/10.51 c 1 calls to solver(id=*d): best=0 lower=19 upper=0 0.68/10.51 o 13 2519.70/2520.00 2519.70/2520.00 c *** INTERRUPTED *** 2519.70/2520.00 c call to solver : 2 2519.70/2520.00 c 2519.70/2520.00 c restarts : 87 2519.70/2520.00 c conflicts : 2269610 (901 /sec) 2519.70/2520.00 c decisions : 55988243 (22221 /sec) 2519.70/2520.00 c propagations : 396568570 (157393 /sec) 2519.70/2520.00 c root propagations : 32787 2519.70/2520.00 c filter calls : 1023898780 (406372 /sec) 2519.70/2520.00 c useless filter calls : 792946693 (77 %) 2519.70/2520.00 c Memory used : 97.34 MB 2519.70/2520.00 c Best bound time (wc) : 6.47131 s 2519.70/2520.00 c CPU time : 2519.61 s 2519.70/2520.00 c real time : 2520 s 2519.70/2520.00 2519.70/2520.00 c nb Solutions = 2 2519.70/2520.00 s SATISFIABLE 2519.70/2520.00 c Best value found: 13 2519.70/2520.00 2519.70/2520.00 2519.70/2520.00 v <instantiation type='solution' cost='13'> 2519.70/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.70/2520.00 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.70/2520.00 v </instantiation> 2519.70/2520.00
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 (13616 MiB free) memory of node 1: 16384 MiB (15033 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408403-1569813141/watcher-4408403-1569813141 -o /tmp/evaluation-result-4408403-1569813141/solver-4408403-1569813141 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1569787351-2497 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408403-1569813141.xml running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=8612, runsolver pid=8609 [startup+0.100294 s]* /proc/loadavg: 2.19 2.07 2.06 3/203 8613 /proc/meminfo: memFree=29321744/32770624 swapFree=66997268/67108860 [pid=8612] ppid=8609 vsize=43616 memory=20024 CPUtime=0.09 cores=1,3,5,7 /proc/8612/stat : 8612 (cosoco) R 8609 8612 2465 0 -1 4202496 5185 0 0 0 9 0 0 0 20 0 1 0 557252454 44662784 5006 33554432000 4194304 6211132 140731503089680 140731503082568 140121203395557 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 19578880 140731503092747 140731503092849 140731503092849 140731503095758 0 /proc/8612/statm: 10904 5006 836 493 0 4209 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 43616 KiB Current children cumulated memory: 20024 KiB [startup+0.209824 s]* /proc/loadavg: 2.19 2.07 2.06 3/203 8613 /proc/meminfo: memFree=29321396/32770624 swapFree=66997268/67108860 [pid=8612] ppid=8609 vsize=50564 memory=26824 CPUtime=0.2 cores=1,3,5,7 /proc/8612/stat : 8612 (cosoco) R 8609 8612 2465 0 -1 4202496 6913 0 0 0 19 1 0 0 20 0 1 0 557252454 51777536 6706 33554432000 4194304 6211132 140731503089680 140731503081320 140121212745315 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 19578880 140731503092747 140731503092849 140731503092849 140731503095758 0 /proc/8612/statm: 12641 6706 836 493 0 5946 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 50564 KiB Current children cumulated memory: 26824 KiB [startup+0.309613 s]* /proc/loadavg: 2.19 2.07 2.06 3/203 8613 /proc/meminfo: memFree=29307604/32770624 swapFree=66997268/67108860 [pid=8612] ppid=8609 vsize=56736 memory=33124 CPUtime=0.3 cores=1,3,5,7 /proc/8612/stat : 8612 (cosoco) R 8609 8612 2465 0 -1 4202496 8454 0 0 0 28 2 0 0 20 0 1 0 557252454 58097664 8281 33554432000 4194304 6211132 140731503089680 140731503081320 140121203393119 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 19578880 140731503092747 140731503092849 140731503092849 140731503095758 0 /proc/8612/statm: 14184 8281 836 493 0 7489 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 56736 KiB Current children cumulated memory: 33124 KiB [startup+0.700357 s] /proc/loadavg: 2.19 2.07 2.06 3/203 8613 /proc/meminfo: memFree=29288520/32770624 swapFree=66997268/67108860 [pid=8612] ppid=8609 vsize=93416 memory=69992 CPUtime=0.68 cores=1,3,5,7 /proc/8612/stat : 8612 (cosoco) R 8609 8612 2465 0 -1 4202496 17709 0 0 0 65 3 0 0 20 0 1 0 557252454 95657984 17498 33554432000 4194304 6211132 140731503089680 140731503077560 5397258 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19578880 140731503092747 140731503092849 140731503092849 140731503095758 0 /proc/8612/statm: 23354 17498 910 493 0 16659 0 Current children cumulated CPU time: 0.68 s Current children cumulated vsize: 93416 KiB Current children cumulated memory: 69992 KiB [startup+10.6154 s] /proc/loadavg: 2.19 2.07 2.06 3/203 8613 /proc/meminfo: memFree=29288520/32770624 swapFree=66997268/67108860 [pid=8612] ppid=8609 vsize=99672 memory=76188 CPUtime=10.59 cores=1,3,5,7 /proc/8612/stat : 8612 (cosoco) R 8609 8612 2465 0 -1 4202496 47200 0 0 0 1053 6 0 0 20 0 1 0 557252454 102064128 19047 33554432000 4194304 6211132 140731503089680 140731503087816 5035286 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 19578880 140731503092747 140731503092849 140731503092849 140731503095758 0 /proc/8612/statm: 24918 19047 911 493 0 18223 0 Current children cumulated CPU time: 10.59 s Current children cumulated vsize: 99672 KiB Current children cumulated memory: 76188 KiB [startup+10.7004 s] /proc/loadavg: 2.19 2.07 2.06 3/203 8613 /proc/meminfo: memFree=29288520/32770624 swapFree=66997268/67108860 [pid=8612] ppid=8609 vsize=99672 memory=76188 CPUtime=10.68 cores=1,3,5,7 /proc/8612/stat : 8612 (cosoco) R 8609 8612 2465 0 -1 4202496 47200 0 0 0 1062 6 0 0 20 0 1 0 557252454 102064128 19047 33554432000 4194304 6211132 140731503089680 140731503087816 5035216 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 19578880 140731503092747 140731503092849 140731503092849 140731503095758 0 /proc/8612/statm: 24918 19047 911 493 0 18223 0 Current children cumulated CPU time: 10.68 s Current children cumulated vsize: 99672 KiB Current children cumulated memory: 76188 KiB [startup+10.8003 s]* /proc/loadavg: 2.85 2.22 2.11 3/203 8614 /proc/meminfo: memFree=29298236/32770624 swapFree=66997268/67108860 [pid=8612] ppid=8609 vsize=99672 memory=76188 CPUtime=10.79 cores=1,3,5,7 /proc/8612/stat : 8612 (cosoco) R 8609 8612 2465 0 -1 4202496 47201 0 0 0 1073 6 0 0 20 0 1 0 557252454 102064128 19047 33554432000 4194304 6211132 140731503089680 140731503087816 5035283 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 19578880 140731503092747 140731503092849 140731503092849 140731503095758 0 /proc/8612/statm: 24918 19047 911 493 0 18223 0 Current children cumulated CPU time: 10.79 s Current children cumulated vsize: 99672 KiB Current children cumulated memory: 76188 KiB [startup+12.7002 s] /proc/loadavg: 2.85 2.22 2.11 3/202 8617 /proc/meminfo: memFree=30440268/32770624 swapFree=66997268/67108860 [pid=8612] ppid=8609 vsize=99672 memory=76188 CPUtime=12.68 cores=1,3,5,7 /proc/8612/stat : 8612 (cosoco) R 8609 8612 2465 0 -1 4202496 47205 0 0 0 1262 6 0 0 20 0 1 0 557252454 102064128 19047 33554432000 4194304 6211132 140731503089680 140731503087816 5396788 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 19578880 140731503092747 140731503092849 140731503092849 140731503095758 0 /proc/8612/statm: 24918 19047 911 493 0 18223 0 Current children cumulated CPU time: 12.68 s Current children cumulated vsize: 99672 KiB Current children cumulated memory: 76188 KiB [startup+25.5003 s] /proc/loadavg: 2.66 2.21 2.10 3/202 8619 /proc/meminfo: memFree=30440264/32770624 swapFree=66997268/67108860 [pid=8612] ppid=8609 vsize=99672 memory=76188 CPUtime=25.48 cores=1,3,5,7 /proc/8612/stat : 8612 (cosoco) R 8609 8612 2465 0 -1 4202496 62848 0 0 0 2541 7 0 0 20 0 1 0 557252454 102064128 19047 33554432000 4194304 6211132 140731503089680 140731503087816 5035216 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 19578880 140731503092747 140731503092849 140731503092849 140731503095758 0 /proc/8612/statm: 24918 19047 911 493 0 18223 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 99672 KiB Current children cumulated memory: 76188 KiB [startup+51.1003 s] /proc/loadavg: 2.44 2.19 2.10 3/202 8619 /proc/meminfo: memFree=30439508/32770624 swapFree=66997268/67108860 [pid=8612] ppid=8609 vsize=99672 memory=76188 CPUtime=51.08 cores=1,3,5,7 /proc/8612/stat : 8612 (cosoco) R 8609 8612 2465 0 -1 4202496 72649 0 0 0 5100 8 0 0 20 0 1 0 557252454 102064128 19047 33554432000 4194304 6211132 140731503089680 140731503087816 5035312 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 19578880 140731503092747 140731503092849 140731503092849 140731503095758 0 /proc/8612/statm: 24918 19047 911 493 0 18223 0 Current children cumulated CPU time: 51.08 s Current children cumulated vsize: 99672 KiB Current children cumulated memory: 76188 KiB [startup+102.3 s] /proc/loadavg: 2.19 2.16 2.10 3/202 8623 /proc/meminfo: memFree=30442088/32770624 swapFree=66997268/67108860 [pid=8612] ppid=8609 vsize=99672 memory=76188 CPUtime=102.27 cores=1,3,5,7 /proc/8612/stat : 8612 (cosoco) R 8609 8612 2465 0 -1 4202496 81990 0 0 0 10219 8 0 0 20 0 1 0 557252454 102064128 19047 33554432000 4194304 6211132 140731503089680 140731503087816 5017440 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 19578880 140731503092747 140731503092849 140731503092849 140731503095758 0 /proc/8612/statm: 24918 19047 911 493 0 18223 0 Current children cumulated CPU time: 102.27 s Current children cumulated vsize: 99672 KiB Current children cumulated memory: 76188 KiB [startup+162.3 s] /proc/loadavg: 2.07 2.13 2.09 3/201 8629 /proc/meminfo: memFree=30440388/32770624 swapFree=66997268/67108860 [pid=8612] ppid=8609 vsize=99672 memory=76188 CPUtime=162.26 cores=1,3,5,7 /proc/8612/stat : 8612 (cosoco) R 8609 8612 2465 0 -1 4202496 89924 0 0 0 16218 8 0 0 20 0 1 0 557252454 102064128 19047 33554432000 4194304 6211132 140731503089680 140731503087816 5035278 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 19578880 140731503092747 140731503092849 140731503092849 140731503095758 0 /proc/8612/statm: 24918 19047 911 493 0 18223 0 Current children cumulated CPU time: 162.26 s Current children cumulated vsize: 99672 KiB Current children cumulated memory: 76188 KiB [startup+222.3 s] /proc/loadavg: 2.03 2.11 2.09 3/199 8633 /proc/meminfo: memFree=30425852/32770624 swapFree=66997268/67108860 [pid=8612] ppid=8609 vsize=99672 memory=76188 CPUtime=222.26 cores=1,3,5,7 /proc/8612/stat : 8612 (cosoco) R 8609 8612 2465 0 -1 4202496 94739 0 0 0 22217 9 0 0 20 0 1 0 557252454 102064128 19047 33554432000 4194304 6211132 140731503089680 140731503087816 5396788 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 19578880 140731503092747 140731503092849 140731503092849 140731503095758 0 /proc/8612/statm: 24918 19047 911 493 0 18223 0 Current children cumulated CPU time: 222.26 s Current children cumulated vsize: 99672 KiB Current children cumulated memory: 76188 KiB [startup+282.3 s] /proc/loadavg: 2.01 2.09 2.08 3/199 8637 /proc/meminfo: memFree=30415988/32770624 swapFree=66997268/67108860 [pid=8612] ppid=8609 vsize=99672 memory=76188 CPUtime=282.26 cores=1,3,5,7 /proc/8612/stat : 8612 (cosoco) R 8609 8612 2465 0 -1 4202496 102364 0 0 0 28217 9 0 0 20 0 1 0 557252454 102064128 19047 33554432000 4194304 6211132 140731503089680 140731503087816 5035283 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 19578880 140731503092747 140731503092849 140731503092849 140731503095758 0 /proc/8612/statm: 24918 19047 911 493 0 18223 0 Current children cumulated CPU time: 282.26 s Current children cumulated vsize: 99672 KiB Current children cumulated memory: 76188 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.07 2.07 3/199 8643 /proc/meminfo: memFree=30412060/32770624 swapFree=66997268/67108860 [pid=8612] ppid=8609 vsize=99672 memory=76304 CPUtime=342.22 cores=1,3,5,7 /proc/8612/stat : 8612 (cosoco) R 8609 8612 2465 0 -1 4202496 109891 0 0 0 34213 9 0 0 20 0 1 0 557252454 102064128 19076 33554432000 4194304 6211132 140731503089680 140731503087816 5035283 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 19578880 140731503092747 140731503092849 140731503092849 140731503095758 0 /proc/8612/statm: 24918 19076 911 493 0 18223 0 Current children cumulated CPU time: 342.22 s Current children cumulated vsize: 99672 KiB Current children cumulated memory: 76304 KiB [startup+402.3 s] /proc/loadavg: 2.29 2.16 2.11 3/199 8647 /proc/meminfo: memFree=30412356/32770624 swapFree=66997268/67108860 [pid=8612] ppid=8609 vsize=99672 memory=76304 CPUtime=402.21 cores=1,3,5,7 /proc/8612/stat : 8612 (cosoco) R 8609 8612 2465 0 -1 4202496 110289 0 0 0 40212 9 0 0 20 0 1 0 557252454 102064128 19076 33554432000 4194304 6211132 140731503089680 140731503087816 5250304 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 19578880 140731503092747 140731503092849 140731503092849 140731503095758 0 /proc/8612/statm: 24918 19076 911 493 0 18223 0 Current children cumulated CPU time: 402.21 s Current children cumulated vsize: 99672 KiB Current children cumulated memory: 76304 KiB [startup+462.3 s] /proc/loadavg: 2.11 2.13 2.10 3/199 8651 /proc/meminfo: memFree=30413224/32770624 swapFree=66997268/67108860 [pid=8612] ppid=8609 vsize=99672 memory=76304 CPUtime=462.21 cores=1,3,5,7 /proc/8612/stat : 8612 (cosoco) R 8609 8612 2465 0 -1 4202496 110647 0 0 0 46212 9 0 0 20 0 1 0 557252454 102064128 19076 33554432000 4194304 6211132 140731503089680 140731503087816 5017444 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 19578880 140731503092747 140731503092849 140731503092849 140731503095758 0 /proc/8612/statm: 24918 19076 911 493 0 18223 0 Current children cumulated CPU time: 462.21 s Current children cumulated vsize: 99672 KiB Current children cumulated memory: 76304 KiB ################ # More data... # ################ /proc/8612/statm: 24918 19076 911 493 0 18223 0 Current children cumulated CPU time: 1722.08 s Current children cumulated vsize: 99672 KiB Current children cumulated memory: 76304 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 8780 /proc/meminfo: memFree=30411980/32770624 swapFree=66997268/67108860 [pid=8612] ppid=8609 vsize=99672 memory=76304 CPUtime=1782.07 cores=1,3,5,7 /proc/8612/stat : 8612 (cosoco) R 8609 8612 2465 0 -1 4202496 117996 0 0 0 178198 9 0 0 20 0 1 0 557252454 102064128 19076 33554432000 4194304 6211132 140731503089680 140731503087816 5409485 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 19578880 140731503092747 140731503092849 140731503092849 140731503095758 0 /proc/8612/statm: 24918 19076 911 493 0 18223 0 Current children cumulated CPU time: 1782.07 s Current children cumulated vsize: 99672 KiB Current children cumulated memory: 76304 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 8784 /proc/meminfo: memFree=30412352/32770624 swapFree=66997268/67108860 [pid=8612] ppid=8609 vsize=99672 memory=76304 CPUtime=1842.07 cores=1,3,5,7 /proc/8612/stat : 8612 (cosoco) R 8609 8612 2465 0 -1 4202496 118287 0 0 0 184198 9 0 0 20 0 1 0 557252454 102064128 19076 33554432000 4194304 6211132 140731503089680 140731503087816 5409497 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 19578880 140731503092747 140731503092849 140731503092849 140731503095758 0 /proc/8612/statm: 24918 19076 911 493 0 18223 0 Current children cumulated CPU time: 1842.07 s Current children cumulated vsize: 99672 KiB Current children cumulated memory: 76304 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 8788 /proc/meminfo: memFree=30412012/32770624 swapFree=66997268/67108860 [pid=8612] ppid=8609 vsize=99672 memory=76304 CPUtime=1902.06 cores=1,3,5,7 /proc/8612/stat : 8612 (cosoco) R 8609 8612 2465 0 -1 4202496 118689 0 0 0 190197 9 0 0 20 0 1 0 557252454 102064128 19076 33554432000 4194304 6211132 140731503089680 140731503087816 5035283 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 19578880 140731503092747 140731503092849 140731503092849 140731503095758 0 /proc/8612/statm: 24918 19076 911 493 0 18223 0 Current children cumulated CPU time: 1902.06 s Current children cumulated vsize: 99672 KiB Current children cumulated memory: 76304 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 8794 /proc/meminfo: memFree=30412668/32770624 swapFree=66997268/67108860 [pid=8612] ppid=8609 vsize=99672 memory=76304 CPUtime=1962.05 cores=1,3,5,7 /proc/8612/stat : 8612 (cosoco) R 8609 8612 2465 0 -1 4202496 118991 0 0 0 196196 9 0 0 20 0 1 0 557252454 102064128 19076 33554432000 4194304 6211132 140731503089680 140731503087816 5078762 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 19578880 140731503092747 140731503092849 140731503092849 140731503095758 0 /proc/8612/statm: 24918 19076 911 493 0 18223 0 Current children cumulated CPU time: 1962.05 s Current children cumulated vsize: 99672 KiB Current children cumulated memory: 76304 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 8798 /proc/meminfo: memFree=30412356/32770624 swapFree=66997268/67108860 [pid=8612] ppid=8609 vsize=99672 memory=76304 CPUtime=2022.05 cores=1,3,5,7 /proc/8612/stat : 8612 (cosoco) R 8609 8612 2465 0 -1 4202496 119285 0 0 0 202196 9 0 0 20 0 1 0 557252454 102064128 19076 33554432000 4194304 6211132 140731503089680 140731503087816 5396788 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 19578880 140731503092747 140731503092849 140731503092849 140731503095758 0 /proc/8612/statm: 24918 19076 911 493 0 18223 0 Current children cumulated CPU time: 2022.05 s Current children cumulated vsize: 99672 KiB Current children cumulated memory: 76304 KiB [startup+2082.3 s] /proc/loadavg: 2.06 2.03 2.05 3/199 8802 /proc/meminfo: memFree=30412596/32770624 swapFree=66997268/67108860 [pid=8612] ppid=8609 vsize=99672 memory=76304 CPUtime=2082.04 cores=1,3,5,7 /proc/8612/stat : 8612 (cosoco) R 8609 8612 2465 0 -1 4202496 119576 0 0 0 208195 9 0 0 20 0 1 0 557252454 102064128 19076 33554432000 4194304 6211132 140731503089680 140731503087816 5409456 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 19578880 140731503092747 140731503092849 140731503092849 140731503095758 0 /proc/8612/statm: 24918 19076 911 493 0 18223 0 Current children cumulated CPU time: 2082.04 s Current children cumulated vsize: 99672 KiB Current children cumulated memory: 76304 KiB [startup+2142.3 s] /proc/loadavg: 2.08 2.04 2.05 3/199 8808 /proc/meminfo: memFree=30412280/32770624 swapFree=66997268/67108860 [pid=8612] ppid=8609 vsize=99672 memory=76304 CPUtime=2142.04 cores=1,3,5,7 /proc/8612/stat : 8612 (cosoco) R 8609 8612 2465 0 -1 4202496 119862 0 0 0 214195 9 0 0 20 0 1 0 557252454 102064128 19076 33554432000 4194304 6211132 140731503089680 140731503087816 5035283 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 19578880 140731503092747 140731503092849 140731503092849 140731503095758 0 /proc/8612/statm: 24918 19076 911 493 0 18223 0 Current children cumulated CPU time: 2142.04 s Current children cumulated vsize: 99672 KiB Current children cumulated memory: 76304 KiB [startup+2202.3 s] /proc/loadavg: 2.19 2.07 2.06 3/199 8812 /proc/meminfo: memFree=30412136/32770624 swapFree=66997268/67108860 [pid=8612] ppid=8609 vsize=99672 memory=76304 CPUtime=2202.03 cores=1,3,5,7 /proc/8612/stat : 8612 (cosoco) R 8609 8612 2465 0 -1 4202496 120148 0 0 0 220194 9 0 0 20 0 1 0 557252454 102064128 19076 33554432000 4194304 6211132 140731503089680 140731503087816 5250256 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 19578880 140731503092747 140731503092849 140731503092849 140731503095758 0 /proc/8612/statm: 24918 19076 911 493 0 18223 0 Current children cumulated CPU time: 2202.03 s Current children cumulated vsize: 99672 KiB Current children cumulated memory: 76304 KiB [startup+2262.3 s] /proc/loadavg: 2.71 2.27 2.13 3/199 8816 /proc/meminfo: memFree=30412576/32770624 swapFree=66997268/67108860 [pid=8612] ppid=8609 vsize=99672 memory=76304 CPUtime=2262.02 cores=1,3,5,7 /proc/8612/stat : 8612 (cosoco) R 8609 8612 2465 0 -1 4202496 120433 0 0 0 226193 9 0 0 20 0 1 0 557252454 102064128 19076 33554432000 4194304 6211132 140731503089680 140731503087816 5035232 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 19578880 140731503092747 140731503092849 140731503092849 140731503095758 0 /proc/8612/statm: 24918 19076 911 493 0 18223 0 Current children cumulated CPU time: 2262.02 s Current children cumulated vsize: 99672 KiB Current children cumulated memory: 76304 KiB [startup+2322.3 s] /proc/loadavg: 2.26 2.22 2.12 3/199 8829 /proc/meminfo: memFree=30411856/32770624 swapFree=66997268/67108860 [pid=8612] ppid=8609 vsize=99672 memory=76304 CPUtime=2322.02 cores=1,3,5,7 /proc/8612/stat : 8612 (cosoco) R 8609 8612 2465 0 -1 4202496 120720 0 0 0 232193 9 0 0 20 0 1 0 557252454 102064128 19076 33554432000 4194304 6211132 140731503089680 140731503087816 5035232 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 19578880 140731503092747 140731503092849 140731503092849 140731503095758 0 /proc/8612/statm: 24918 19076 911 493 0 18223 0 Current children cumulated CPU time: 2322.02 s Current children cumulated vsize: 99672 KiB Current children cumulated memory: 76304 KiB [startup+2382.3 s] /proc/loadavg: 2.10 2.18 2.12 3/199 8833 /proc/meminfo: memFree=30411616/32770624 swapFree=66997268/67108860 [pid=8612] ppid=8609 vsize=99672 memory=76304 CPUtime=2382.01 cores=1,3,5,7 /proc/8612/stat : 8612 (cosoco) R 8609 8612 2465 0 -1 4202496 121002 0 0 0 238192 9 0 0 20 0 1 0 557252454 102064128 19076 33554432000 4194304 6211132 140731503089680 140731503087816 5035232 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 19578880 140731503092747 140731503092849 140731503092849 140731503095758 0 /proc/8612/statm: 24918 19076 911 493 0 18223 0 Current children cumulated CPU time: 2382.01 s Current children cumulated vsize: 99672 KiB Current children cumulated memory: 76304 KiB [startup+2442.3 s] /proc/loadavg: 2.10 2.18 2.12 3/199 8899 /proc/meminfo: memFree=30900356/32770624 swapFree=66997268/67108860 [pid=8612] ppid=8609 vsize=99672 memory=76304 CPUtime=2442 cores=1,3,5,7 /proc/8612/stat : 8612 (cosoco) R 8609 8612 2465 0 -1 4202496 121391 0 0 0 244191 9 0 0 20 0 1 0 557252454 102064128 19076 33554432000 4194304 6211132 140731503089680 140731503087816 5035283 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 19578880 140731503092747 140731503092849 140731503092849 140731503095758 0 /proc/8612/statm: 24918 19076 911 493 0 18223 0 Current children cumulated CPU time: 2442 s Current children cumulated vsize: 99672 KiB Current children cumulated memory: 76304 KiB [startup+2502.3 s] /proc/loadavg: 2.04 2.15 2.12 3/200 8906 /proc/meminfo: memFree=30900168/32770624 swapFree=66997268/67108860 [pid=8612] ppid=8609 vsize=99672 memory=76304 CPUtime=2502 cores=1,3,5,7 /proc/8612/stat : 8612 (cosoco) R 8609 8612 2465 0 -1 4202496 121684 0 0 0 250191 9 0 0 20 0 1 0 557252454 102064128 19076 33554432000 4194304 6211132 140731503089680 140731503087816 5035283 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 19578880 140731503092747 140731503092849 140731503092849 140731503095758 0 /proc/8612/statm: 24918 19076 911 493 0 18223 0 Current children cumulated CPU time: 2502 s Current children cumulated vsize: 99672 KiB Current children cumulated memory: 76304 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s] /proc/loadavg: 2.03 2.14 2.12 3/200 8907 /proc/meminfo: memFree=30900044/32770624 swapFree=66997268/67108860 [pid=8612] ppid=8609 vsize=99672 memory=76304 CPUtime=2519.7 cores=1,3,5,7 /proc/8612/stat : 8612 (cosoco) R 8609 8612 2465 0 -1 4202496 121975 0 0 0 251961 9 0 0 20 0 1 0 557252454 102064128 19076 33554432000 4194304 6211132 140731503089680 140731503087816 5409476 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 19578880 140731503092747 140731503092849 140731503092849 140731503095758 0 /proc/8612/statm: 24918 19076 911 493 0 18223 0 Current children cumulated CPU time: 2519.7 s Current children cumulated vsize: 99672 KiB Current children cumulated memory: 76304 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520 s] # the end of solver process 8612 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.61 s, system=0.100989 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2520 CPU time (s): 2519.71 CPU user time (s): 2519.61 CPU system time (s): 0.100989 CPU usage (%): 99.9885 Max. virtual memory (cumulated for all children) (KiB): 99672 Max. memory (cumulated for all children) (KiB): 76304 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.61 system time used= 0.100989 maximum resident set size= 76368 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 122032 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= 47 involuntary context switches= 1910 # summary of solver processes directly reported to runsolver: # pid: 8612 # total CPU time (s): 2519.71 # total CPU user time (s): 2519.61 # total CPU system time (s): 0.100989 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.65502 second user time and 16.0625 second system time The end
Begin job on node140 at 2019-09-30 05:11:40 IDJOB=4408403 IDBENCH=140491 IDSOLVER=2874 FILE ID=node140/4408403-1569813141 RUNJOBID= node140-1569787351-2497 PBS_JOBID= 21705822 Free space on /tmp= 61480 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1c-s1/OpenStacks-m1c-wbop-30-30-1.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408403-1569813141/watcher-4408403-1569813141 -o /tmp/evaluation-result-4408403-1569813141/solver-4408403-1569813141 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1569787351-2497 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408403-1569813141.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 67a2d403e3bfd604d92484151c447548 RANDOM SEED=637096433 node140.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 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: 29336888 kB MemAvailable: 31362080 kB Buffers: 109928 kB Cached: 2243172 kB SwapCached: 3040 kB Active: 1357140 kB Inactive: 1471464 kB Active(anon): 468696 kB Inactive(anon): 86456 kB Active(file): 888444 kB Inactive(file): 1385008 kB Unevictable: 107036 kB Mlocked: 107036 kB SwapTotal: 67108860 kB SwapFree: 66997268 kB Dirty: 913856 kB Writeback: 71936 kB AnonPages: 580304 kB Mapped: 29864 kB Shmem: 71168 kB Slab: 198200 kB SReclaimable: 135148 kB SUnreclaim: 63052 kB KernelStack: 3536 kB PageTables: 6516 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1050348 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 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= 62024 MiB End job on node140 at 2019-09-30 05:53:40