Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.0 | SAT (TO) | 13 | 2400.1 | 2400.2 |
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 | 25.4304 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2760 |
Number of constraints | 2731 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 31 |
Distribution of domain sizes | [{"size":2,"count":1800},{"size":3,"count":900},{"size":30,"count":30},{"size":31,"count":30}] |
Minimum variable degree | 2 |
Maximum variable degree | 31 |
Distribution of variable degrees | [{"degree":2,"count":960},{"degree":3,"count":1770},{"degree":31,"count":30}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 31 |
Distribution of constraint arities | [{"arity":2,"count":930},{"arity":3,"count":1770},{"arity":30,"count":1},{"arity":31,"count":30}] |
Number of extensional constraints | 900 |
Number of intensional constraints | 900 |
Distribution of constraint types | [{"type":"extension","count":900},{"type":"intension","count":900},{"type":"allDifferent","count":1},{"type":"sum","count":30},{"type":"element","count":900}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.51/0.52 c 0.51/0.52 c This is cosoco 2.00 -- 0.51/0.52 c 0.51/0.52 c command line: cosoco -lc -model -restarts -stick HOME/instance-4409079-1569798816.xml 0.51/0.52 c enable optimization 0.51/0.52 c ========================================[ Problem Statistics ]=========================================== 0.51/0.52 c | 0.51/0.52 c | Parse time : 0.31 s 0.51/0.52 c | 0.51/0.52 c | Variables: 2760 0.51/0.52 c | Domain Sizes: 2..31 0.51/0.52 c | 0.51/0.52 c | Constraints: 2732 0.51/0.52 c | Arity: 2..31 -- Binary: 930 -- Ternary: 1770 0.51/0.52 c | 0.51/0.52 c | Types: 0.51/0.52 c | (X = Y): 30 0.51/0.52 c | All Different: 1 0.51/0.52 c | Extension: 1800 (nb tuples: 4..30) -- (shared: 899) 0.51/0.52 c | Max constant: 1 0.51/0.52 c | Sum: 900 0.51/0.52 c | 0.51/0.52 c | Objective: Minimize Max constant 0.51/0.52 0.51/0.52 c ========================================================================================================= 0.51/0.52 o 19 0.51/0.52 c 1 calls to solver(id=*d): best=0 lower=19 upper=0 6.10/6.16 o 13 2400.08/2400.20 2400.08/2400.20 c *** INTERRUPTED *** 2400.08/2400.20 c call to solver : 2 2400.08/2400.20 c 2400.08/2400.20 c restarts : 87 2400.08/2400.20 c conflicts : 2284936 (952 /sec) 2400.08/2400.20 c decisions : 56283576 (23451 /sec) 2400.08/2400.20 c propagations : 398459276 (166022 /sec) 2400.08/2400.20 c root propagations : 32787 2400.08/2400.20 c filter calls : 1028873258 (428691 /sec) 2400.08/2400.20 c useless filter calls : 796973681 (77 %) 2400.08/2400.20 c Memory used : 97.26 MB 2400.08/2400.20 c Best bound time (wc) : 6.15809 s 2400.08/2400.20 c CPU time : 2400.04 s 2400.08/2400.20 c real time : 2400.2 s 2400.08/2400.20 2400.08/2400.20 c nb Solutions = 2 2400.08/2400.20 s SATISFIABLE 2400.08/2400.20 c Best value found: 13 2400.08/2400.20 2400.08/2400.20 2400.08/2400.20 v <instantiation type='solution' cost='13'> 2400.08/2400.20 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/2400.20 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/2400.20 v </instantiation> 2400.08/2400.20
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 (15272 MiB free) memory of node 1: 16384 MiB (15455 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409079-1569798816/watcher-4409079-1569798816 -o /tmp/evaluation-result-4409079-1569798816/solver-4409079-1569798816 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1569787349-13106 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4409079-1569798816.xml running on 4 cores: 1,3,5,7 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 Current StackSize limit: 8192 KiB solver pid=15054, runsolver pid=15051 [startup+0.100157 s]* /proc/loadavg: 2.01 2.04 2.05 3/200 15055 /proc/meminfo: memFree=31450028/32770624 swapFree=66974988/67108860 [pid=15054] ppid=15051 vsize=44016 memory=20288 CPUtime=0.1 cores=1,3,5,7 /proc/15054/stat : 15054 (cosoco) R 15051 15054 13074 0 -1 4202496 5268 0 0 0 10 0 0 0 20 0 1 0 555823322 45072384 5072 33554432000 4194304 6211132 140721877819552 140721877816088 140370448595774 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15724544 140721877824523 140721877824625 140721877824625 140721877827534 0 /proc/15054/statm: 11004 5072 836 493 0 4309 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 44016 KiB Current children cumulated memory: 20288 KiB [startup+0.209653 s]* /proc/loadavg: 2.01 2.04 2.05 3/200 15055 /proc/meminfo: memFree=31442588/32770624 swapFree=66974988/67108860 [pid=15054] ppid=15051 vsize=51236 memory=27648 CPUtime=0.2 cores=1,3,5,7 /proc/15054/stat : 15054 (cosoco) R 15051 15054 13074 0 -1 4202496 7092 0 0 0 20 0 0 0 20 0 1 0 555823322 52465664 6912 33554432000 4194304 6211132 140721877819552 140721877816088 140370448600037 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15724544 140721877824523 140721877824625 140721877824625 140721877827534 0 /proc/15054/statm: 12809 6912 836 493 0 6114 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 51236 KiB Current children cumulated memory: 27648 KiB [startup+0.309489 s]* /proc/loadavg: 2.01 2.04 2.05 3/200 15055 /proc/meminfo: memFree=31436636/32770624 swapFree=66974988/67108860 [pid=15054] ppid=15051 vsize=58116 memory=34448 CPUtime=0.31 cores=1,3,5,7 /proc/15054/stat : 15054 (cosoco) R 15051 15054 13074 0 -1 4202496 8817 0 0 0 30 1 0 0 20 0 1 0 555823322 59510784 8612 33554432000 4194304 6211132 140721877819552 140721877816088 140370448648096 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15724544 140721877824523 140721877824625 140721877824625 140721877827534 0 /proc/15054/statm: 14529 8612 840 493 0 7834 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 58116 KiB Current children cumulated memory: 34448 KiB [startup+0.700368 s] /proc/loadavg: 2.01 2.04 2.05 3/200 15055 /proc/meminfo: memFree=31406728/32770624 swapFree=66974988/67108860 [pid=15054] ppid=15051 vsize=93472 memory=69996 CPUtime=0.69 cores=1,3,5,7 /proc/15054/stat : 15054 (cosoco) R 15051 15054 13074 0 -1 4202496 17712 0 0 0 67 2 0 0 20 0 1 0 555823322 95715328 17499 33554432000 4194304 6211132 140721877819552 140721877816952 5409485 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15724544 140721877824523 140721877824625 140721877824625 140721877827534 0 /proc/15054/statm: 23368 17499 910 493 0 16673 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 93472 KiB Current children cumulated memory: 69996 KiB [startup+1.50031 s] /proc/loadavg: 2.01 2.04 2.05 3/200 15055 /proc/meminfo: memFree=31399464/32770624 swapFree=66974988/67108860 [pid=15054] ppid=15051 vsize=93872 memory=70524 CPUtime=1.49 cores=1,3,5,7 /proc/15054/stat : 15054 (cosoco) R 15051 15054 13074 0 -1 4202496 17824 0 0 0 147 2 0 0 20 0 1 0 555823322 96124928 17631 33554432000 4194304 6211132 140721877819552 140721877816760 5035283 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15724544 140721877824523 140721877824625 140721877824625 140721877827534 0 /proc/15054/statm: 23468 17631 911 493 0 16773 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 93872 KiB Current children cumulated memory: 70524 KiB [startup+3.10937 s] /proc/loadavg: 2.01 2.04 2.05 3/200 15055 /proc/meminfo: memFree=31398596/32770624 swapFree=66974988/67108860 [pid=15054] ppid=15051 vsize=94688 memory=71380 CPUtime=3.1 cores=1,3,5,7 /proc/15054/stat : 15054 (cosoco) R 15051 15054 13074 0 -1 4202496 26584 0 0 0 308 2 0 0 20 0 1 0 555823322 96960512 17845 33554432000 4194304 6211132 140721877819552 140721877816952 5035216 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15724544 140721877824523 140721877824625 140721877824625 140721877827534 0 /proc/15054/statm: 23672 17845 911 493 0 16977 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 94688 KiB Current children cumulated memory: 71380 KiB [startup+6.30035 s] /proc/loadavg: 2.01 2.04 2.05 3/201 15057 /proc/meminfo: memFree=31397960/32770624 swapFree=66974988/67108860 [pid=15054] ppid=15051 vsize=99588 memory=76208 CPUtime=6.29 cores=1,3,5,7 /proc/15054/stat : 15054 (cosoco) R 15051 15054 13074 0 -1 4202496 38558 0 0 0 626 3 0 0 20 0 1 0 555823322 101978112 19052 33554432000 4194304 6211132 140721877819552 140721877816952 5397267 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15724544 140721877824523 140721877824625 140721877824625 140721877827534 0 /proc/15054/statm: 24897 19052 911 493 0 18202 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76208 KiB [startup+12.7003 s] /proc/loadavg: 2.01 2.04 2.05 3/200 15057 /proc/meminfo: memFree=31393528/32770624 swapFree=66974988/67108860 [pid=15054] ppid=15051 vsize=99588 memory=76216 CPUtime=12.69 cores=1,3,5,7 /proc/15054/stat : 15054 (cosoco) R 15051 15054 13074 0 -1 4202496 47313 0 0 0 1266 3 0 0 20 0 1 0 555823322 101978112 19054 33554432000 4194304 6211132 140721877819552 140721877817688 5035263 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15724544 140721877824523 140721877824625 140721877824625 140721877827534 0 /proc/15054/statm: 24897 19054 911 493 0 18202 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76216 KiB [startup+25.5003 s] /proc/loadavg: 2.01 2.04 2.05 3/200 15057 /proc/meminfo: memFree=31393432/32770624 swapFree=66974988/67108860 [pid=15054] ppid=15051 vsize=99588 memory=76216 CPUtime=25.49 cores=1,3,5,7 /proc/15054/stat : 15054 (cosoco) R 15051 15054 13074 0 -1 4202496 62998 0 0 0 2545 4 0 0 20 0 1 0 555823322 101978112 19054 33554432000 4194304 6211132 140721877819552 140721877817688 5409489 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15724544 140721877824523 140721877824625 140721877824625 140721877827534 0 /proc/15054/statm: 24897 19054 911 493 0 18202 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76216 KiB [startup+51.1092 s] /proc/loadavg: 2.00 2.04 2.05 3/201 15060 /proc/meminfo: memFree=31393368/32770624 swapFree=66974988/67108860 [pid=15054] ppid=15051 vsize=99588 memory=76216 CPUtime=51.1 cores=1,3,5,7 /proc/15054/stat : 15054 (cosoco) R 15051 15054 13074 0 -1 4202496 72876 0 0 0 5105 5 0 0 20 0 1 0 555823322 101978112 19054 33554432000 4194304 6211132 140721877819552 140721877817688 5396788 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15724544 140721877824523 140721877824625 140721877824625 140721877827534 0 /proc/15054/statm: 24897 19054 911 493 0 18202 0 Current children cumulated CPU time: 51.1 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76216 KiB [startup+102.3 s] /proc/loadavg: 2.00 2.03 2.05 3/200 15064 /proc/meminfo: memFree=31392444/32770624 swapFree=66974988/67108860 [pid=15054] ppid=15051 vsize=99588 memory=76216 CPUtime=102.28 cores=1,3,5,7 /proc/15054/stat : 15054 (cosoco) R 15051 15054 13074 0 -1 4202496 81885 0 0 0 10223 5 0 0 20 0 1 0 555823322 101978112 19054 33554432000 4194304 6211132 140721877819552 140721877817688 5389840 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15724544 140721877824523 140721877824625 140721877824625 140721877827534 0 /proc/15054/statm: 24897 19054 911 493 0 18202 0 Current children cumulated CPU time: 102.28 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76216 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.02 2.05 3/199 15068 /proc/meminfo: memFree=31392388/32770624 swapFree=66974988/67108860 [pid=15054] ppid=15051 vsize=99588 memory=76304 CPUtime=162.27 cores=1,3,5,7 /proc/15054/stat : 15054 (cosoco) R 15051 15054 13074 0 -1 4202496 83036 0 0 0 16222 5 0 0 20 0 1 0 555823322 101978112 19076 33554432000 4194304 6211132 140721877819552 140721877817688 5396768 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15724544 140721877824523 140721877824625 140721877824625 140721877827534 0 /proc/15054/statm: 24897 19076 911 493 0 18202 0 Current children cumulated CPU time: 162.27 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76304 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.02 2.05 3/199 15072 /proc/meminfo: memFree=31392448/32770624 swapFree=66974988/67108860 [pid=15054] ppid=15051 vsize=99588 memory=76304 CPUtime=222.26 cores=1,3,5,7 /proc/15054/stat : 15054 (cosoco) R 15051 15054 13074 0 -1 4202496 83344 0 0 0 22221 5 0 0 20 0 1 0 555823322 101978112 19076 33554432000 4194304 6211132 140721877819552 140721877817688 5409471 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15724544 140721877824523 140721877824625 140721877824625 140721877827534 0 /proc/15054/statm: 24897 19076 911 493 0 18202 0 Current children cumulated CPU time: 222.26 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76304 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 15078 /proc/meminfo: memFree=31392432/32770624 swapFree=66974988/67108860 [pid=15054] ppid=15051 vsize=99588 memory=76304 CPUtime=282.26 cores=1,3,5,7 /proc/15054/stat : 15054 (cosoco) R 15051 15054 13074 0 -1 4202496 83701 0 0 0 28221 5 0 0 20 0 1 0 555823322 101978112 19076 33554432000 4194304 6211132 140721877819552 140721877817688 5409485 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15724544 140721877824523 140721877824625 140721877824625 140721877827534 0 /proc/15054/statm: 24897 19076 911 493 0 18202 0 Current children cumulated CPU time: 282.26 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76304 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 15082 /proc/meminfo: memFree=31392300/32770624 swapFree=66974988/67108860 [pid=15054] ppid=15051 vsize=99588 memory=76304 CPUtime=342.26 cores=1,3,5,7 /proc/15054/stat : 15054 (cosoco) R 15051 15054 13074 0 -1 4202496 84012 0 0 0 34221 5 0 0 20 0 1 0 555823322 101978112 19076 33554432000 4194304 6211132 140721877819552 140721877817688 5409508 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15724544 140721877824523 140721877824625 140721877824625 140721877827534 0 /proc/15054/statm: 24897 19076 911 493 0 18202 0 Current children cumulated CPU time: 342.26 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76304 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 15086 /proc/meminfo: memFree=31392224/32770624 swapFree=66974988/67108860 [pid=15054] ppid=15051 vsize=99588 memory=76304 CPUtime=402.26 cores=1,3,5,7 /proc/15054/stat : 15054 (cosoco) R 15051 15054 13074 0 -1 4202496 84334 0 0 0 40221 5 0 0 20 0 1 0 555823322 101978112 19076 33554432000 4194304 6211132 140721877819552 140721877817688 5035283 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15724544 140721877824523 140721877824625 140721877824625 140721877827534 0 /proc/15054/statm: 24897 19076 911 493 0 18202 0 Current children cumulated CPU time: 402.26 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76304 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 15099 /proc/meminfo: memFree=31391544/32770624 swapFree=66974988/67108860 [pid=15054] ppid=15051 vsize=99588 memory=76304 CPUtime=462.26 cores=1,3,5,7 /proc/15054/stat : 15054 (cosoco) R 15051 15054 13074 0 -1 4202496 84575 0 0 0 46221 5 0 0 20 0 1 0 555823322 101978112 19076 33554432000 4194304 6211132 140721877819552 140721877817688 5409493 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15724544 140721877824523 140721877824625 140721877824625 140721877827534 0 /proc/15054/statm: 24897 19076 911 493 0 18202 0 Current children cumulated CPU time: 462.26 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76304 KiB ################ # More data... # ################ /proc/15054/statm: 24897 19076 911 493 0 18202 0 Current children cumulated CPU time: 1602.21 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76304 KiB [startup+1662.3 s] /proc/loadavg: 2.01 2.03 2.05 3/200 15267 /proc/meminfo: memFree=31127608/32770624 swapFree=66974988/67108860 [pid=15054] ppid=15051 vsize=99588 memory=76304 CPUtime=1662.21 cores=1,3,5,7 /proc/15054/stat : 15054 (cosoco) R 15051 15054 13074 0 -1 4202496 90333 0 0 0 166216 5 0 0 20 0 1 0 555823322 101978112 19076 33554432000 4194304 6211132 140721877819552 140721877817688 5075237 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15724544 140721877824523 140721877824625 140721877824625 140721877827534 0 /proc/15054/statm: 24897 19076 911 493 0 18202 0 Current children cumulated CPU time: 1662.21 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76304 KiB [startup+1722.3 s] /proc/loadavg: 2.00 2.03 2.05 3/200 15273 /proc/meminfo: memFree=31128240/32770624 swapFree=66974988/67108860 [pid=15054] ppid=15051 vsize=99588 memory=76304 CPUtime=1722.21 cores=1,3,5,7 /proc/15054/stat : 15054 (cosoco) R 15051 15054 13074 0 -1 4202496 90628 0 0 0 172216 5 0 0 20 0 1 0 555823322 101978112 19076 33554432000 4194304 6211132 140721877819552 140721877817688 5035283 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15724544 140721877824523 140721877824625 140721877824625 140721877827534 0 /proc/15054/statm: 24897 19076 911 493 0 18202 0 Current children cumulated CPU time: 1722.21 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76304 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.05 3/200 15277 /proc/meminfo: memFree=31128760/32770624 swapFree=66974988/67108860 [pid=15054] ppid=15051 vsize=99588 memory=76304 CPUtime=1782.21 cores=1,3,5,7 /proc/15054/stat : 15054 (cosoco) R 15051 15054 13074 0 -1 4202496 90993 0 0 0 178216 5 0 0 20 0 1 0 555823322 101978112 19076 33554432000 4194304 6211132 140721877819552 140721877817688 5409456 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15724544 140721877824523 140721877824625 140721877824625 140721877827534 0 /proc/15054/statm: 24897 19076 911 493 0 18202 0 Current children cumulated CPU time: 1782.21 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76304 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 15281 /proc/meminfo: memFree=31128288/32770624 swapFree=66974988/67108860 [pid=15054] ppid=15051 vsize=99588 memory=76304 CPUtime=1842.2 cores=1,3,5,7 /proc/15054/stat : 15054 (cosoco) R 15051 15054 13074 0 -1 4202496 91241 0 0 0 184215 5 0 0 20 0 1 0 555823322 101978112 19076 33554432000 4194304 6211132 140721877819552 140721877817688 5391266 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15724544 140721877824523 140721877824625 140721877824625 140721877827534 0 /proc/15054/statm: 24897 19076 911 493 0 18202 0 Current children cumulated CPU time: 1842.2 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76304 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 15287 /proc/meminfo: memFree=31128816/32770624 swapFree=66974988/67108860 [pid=15054] ppid=15051 vsize=99588 memory=76304 CPUtime=1902.2 cores=1,3,5,7 /proc/15054/stat : 15054 (cosoco) R 15051 15054 13074 0 -1 4202496 91472 0 0 0 190215 5 0 0 20 0 1 0 555823322 101978112 19076 33554432000 4194304 6211132 140721877819552 140721877817688 5409485 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15724544 140721877824523 140721877824625 140721877824625 140721877827534 0 /proc/15054/statm: 24897 19076 911 493 0 18202 0 Current children cumulated CPU time: 1902.2 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76304 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 15291 /proc/meminfo: memFree=31127776/32770624 swapFree=66974988/67108860 [pid=15054] ppid=15051 vsize=99588 memory=76304 CPUtime=1962.2 cores=1,3,5,7 /proc/15054/stat : 15054 (cosoco) R 15051 15054 13074 0 -1 4202496 91706 0 0 0 196215 5 0 0 20 0 1 0 555823322 101978112 19076 33554432000 4194304 6211132 140721877819552 140721877817688 5396791 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15724544 140721877824523 140721877824625 140721877824625 140721877827534 0 /proc/15054/statm: 24897 19076 911 493 0 18202 0 Current children cumulated CPU time: 1962.2 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76304 KiB [startup+2022.3 s] /proc/loadavg: 2.05 2.03 2.05 3/199 15295 /proc/meminfo: memFree=31127800/32770624 swapFree=66974988/67108860 [pid=15054] ppid=15051 vsize=99588 memory=76304 CPUtime=2022.2 cores=1,3,5,7 /proc/15054/stat : 15054 (cosoco) R 15051 15054 13074 0 -1 4202496 91936 0 0 0 202215 5 0 0 20 0 1 0 555823322 101978112 19076 33554432000 4194304 6211132 140721877819552 140721877817688 5035283 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15724544 140721877824523 140721877824625 140721877824625 140721877827534 0 /proc/15054/statm: 24897 19076 911 493 0 18202 0 Current children cumulated CPU time: 2022.2 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76304 KiB [startup+2082.3 s] /proc/loadavg: 2.02 2.02 2.05 3/199 15301 /proc/meminfo: memFree=31128260/32770624 swapFree=66974988/67108860 [pid=15054] ppid=15051 vsize=99588 memory=76304 CPUtime=2082.19 cores=1,3,5,7 /proc/15054/stat : 15054 (cosoco) R 15051 15054 13074 0 -1 4202496 92166 0 0 0 208214 5 0 0 20 0 1 0 555823322 101978112 19076 33554432000 4194304 6211132 140721877819552 140721877817688 5409476 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15724544 140721877824523 140721877824625 140721877824625 140721877827534 0 /proc/15054/statm: 24897 19076 911 493 0 18202 0 Current children cumulated CPU time: 2082.19 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76304 KiB [startup+2142.3 s] /proc/loadavg: 2.01 2.02 2.05 3/199 15305 /proc/meminfo: memFree=31127712/32770624 swapFree=66974988/67108860 [pid=15054] ppid=15051 vsize=99588 memory=76304 CPUtime=2142.19 cores=1,3,5,7 /proc/15054/stat : 15054 (cosoco) R 15051 15054 13074 0 -1 4202496 92395 0 0 0 214214 5 0 0 20 0 1 0 555823322 101978112 19076 33554432000 4194304 6211132 140721877819552 140721877817688 5409476 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15724544 140721877824523 140721877824625 140721877824625 140721877827534 0 /proc/15054/statm: 24897 19076 911 493 0 18202 0 Current children cumulated CPU time: 2142.19 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76304 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 15309 /proc/meminfo: memFree=31127220/32770624 swapFree=66974988/67108860 [pid=15054] ppid=15051 vsize=99588 memory=76304 CPUtime=2202.19 cores=1,3,5,7 /proc/15054/stat : 15054 (cosoco) R 15051 15054 13074 0 -1 4202496 92627 0 0 0 220214 5 0 0 20 0 1 0 555823322 101978112 19076 33554432000 4194304 6211132 140721877819552 140721877817688 5035283 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15724544 140721877824523 140721877824625 140721877824625 140721877827534 0 /proc/15054/statm: 24897 19076 911 493 0 18202 0 Current children cumulated CPU time: 2202.19 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76304 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 15323 /proc/meminfo: memFree=31127028/32770624 swapFree=66974988/67108860 [pid=15054] ppid=15051 vsize=99588 memory=76304 CPUtime=2262.19 cores=1,3,5,7 /proc/15054/stat : 15054 (cosoco) R 15051 15054 13074 0 -1 4202496 92852 0 0 0 226214 5 0 0 20 0 1 0 555823322 101978112 19076 33554432000 4194304 6211132 140721877819552 140721877817688 5409476 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15724544 140721877824523 140721877824625 140721877824625 140721877827534 0 /proc/15054/statm: 24897 19076 911 493 0 18202 0 Current children cumulated CPU time: 2262.19 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76304 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 15327 /proc/meminfo: memFree=31128052/32770624 swapFree=66974988/67108860 [pid=15054] ppid=15051 vsize=99588 memory=76304 CPUtime=2322.18 cores=1,3,5,7 /proc/15054/stat : 15054 (cosoco) R 15051 15054 13074 0 -1 4202496 93212 0 0 0 232213 5 0 0 20 0 1 0 555823322 101978112 19076 33554432000 4194304 6211132 140721877819552 140721877817688 5035232 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15724544 140721877824523 140721877824625 140721877824625 140721877827534 0 /proc/15054/statm: 24897 19076 911 493 0 18202 0 Current children cumulated CPU time: 2322.18 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76304 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 15332 /proc/meminfo: memFree=31128044/32770624 swapFree=66974988/67108860 [pid=15054] ppid=15051 vsize=99588 memory=76304 CPUtime=2382.18 cores=1,3,5,7 /proc/15054/stat : 15054 (cosoco) R 15051 15054 13074 0 -1 4202496 93447 0 0 0 238213 5 0 0 20 0 1 0 555823322 101978112 19076 33554432000 4194304 6211132 140721877819552 140721877817688 5035283 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15724544 140721877824523 140721877824625 140721877824625 140721877827534 0 /proc/15054/statm: 24897 19076 911 493 0 18202 0 Current children cumulated CPU time: 2382.18 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76304 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.2 s] /proc/loadavg: 2.00 2.01 2.05 3/200 15335 /proc/meminfo: memFree=31127876/32770624 swapFree=66974988/67108860 [pid=15054] ppid=15051 vsize=99588 memory=76304 CPUtime=2400.08 cores=1,3,5,7 /proc/15054/stat : 15054 (cosoco) R 15051 15054 13074 0 -1 4202496 93681 0 0 0 240003 5 0 0 20 0 1 0 555823322 101978112 19076 33554432000 4194304 6211132 140721877819552 140721877817688 5409476 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15724544 140721877824523 140721877824625 140721877824625 140721877827534 0 /proc/15054/statm: 24897 19076 911 493 0 18202 0 Current children cumulated CPU time: 2400.08 s Current children cumulated vsize: 99588 KiB Current children cumulated memory: 76304 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2400.2 s] # the end of solver process 15054 was just reported to runsolver # cumulated CPU time of all completed processes: user=2400.04 s, system=0.058997 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2400.2 CPU time (s): 2400.1 CPU user time (s): 2400.04 CPU system time (s): 0.058997 CPU usage (%): 99.9956 Max. virtual memory (cumulated for all children) (KiB): 99588 Max. memory (cumulated for all children) (KiB): 76304 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.04 system time used= 0.058997 maximum resident set size= 76368 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 93739 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 45 involuntary context switches= 609 # summary of solver processes directly reported to runsolver: # pid: 15054 # total CPU time (s): 2400.1 # total CPU user time (s): 2400.04 # total CPU system time (s): 0.058997 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.33113 second user time and 15.3603 second system time The end
Begin job on node117 at 2019-09-30 01:12:52 IDJOB=4409079 IDBENCH=126803 IDSOLVER=2876 FILE ID=node117/4409079-1569798816 RUNJOBID= node117-1569787349-13106 PBS_JOBID= 21705834 Free space on /tmp= 62028 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-4409079-1569798816/watcher-4409079-1569798816 -o /tmp/evaluation-result-4409079-1569798816/solver-4409079-1569798816 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1569787349-13106 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4409079-1569798816.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 305bfce3403e7be8ea8343edd9c7d9a7 RANDOM SEED=1068020483 node117.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.75 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.75 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.75 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.75 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: 31466192 kB MemAvailable: 31834436 kB Buffers: 212304 kB Cached: 490900 kB SwapCached: 27672 kB Active: 343448 kB Inactive: 414624 kB Active(anon): 42204 kB Inactive(anon): 89176 kB Active(file): 301244 kB Inactive(file): 325448 kB Unevictable: 107632 kB Mlocked: 107632 kB SwapTotal: 67108860 kB SwapFree: 66974988 kB Dirty: 2812 kB Writeback: 0 kB AnonPages: 143840 kB Mapped: 28324 kB Shmem: 67896 kB Slab: 143488 kB SReclaimable: 114776 kB SUnreclaim: 28712 kB KernelStack: 3776 kB PageTables: 5124 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 590228 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 94208 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 62024 MiB End job on node117 at 2019-09-30 01:52:52