Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.0 | SAT (TO) | 1615360 | 2400.09 | 2400.5 |
Name | QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-lipa60b.xml |
MD5SUM | d3c2bfd6fc3d7b839ebf0f38d378e232 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 1615360 |
Best CPU time to get the best result obtained on this benchmark | 2400.05 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 3660 |
Number of constraints | 1744 |
Number of domains | 2 |
Minimum domain size | 60 |
Maximum domain size | 61 |
Distribution of domain sizes | [{"size":60,"count":60},{"size":61,"count":1743}] |
Minimum variable degree | 0 |
Maximum variable degree | 60 |
Distribution of variable degrees | [{"degree":0,"count":1857},{"degree":2,"count":1743},{"degree":57,"count":4},{"degree":58,"count":9},{"degree":59,"count":24},{"degree":60,"count":23}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 60 |
Distribution of constraint arities | [{"arity":3,"count":1743},{"arity":60,"count":1}] |
Number of extensional constraints | 1743 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":1743},{"type":"allDifferent","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
1.89/1.98 c 1.89/1.98 c This is cosoco 2.00 -- 1.89/1.98 c 1.89/1.98 c command line: cosoco -lc -model -restarts -stick HOME/instance-4408829-1569790186.xml 1.89/1.98 c enable optimization 1.89/1.98 c ========================================[ Problem Statistics ]=========================================== 1.89/1.98 c | 1.89/1.98 c | Parse time : 0.12 s 1.89/1.98 c | 1.89/1.98 c | Variables: 3660 1.89/1.98 c | Domain Sizes: 60..61 1.89/1.98 c | 1.89/1.98 c | Constraints: 1745 1.89/1.98 c | Arity: 3..1743 -- Ternary: 1743 1.89/1.98 c | 1.89/1.98 c | Types: 1.89/1.98 c | All Different: 1 1.89/1.98 c | Extension: 1743 (nb tuples: 3540..3540) -- (shared: 1742) 1.89/1.98 c | Sum: 1 1.89/1.98 c | 1.89/1.98 c | Objective: Minimize Sum 1.89/1.98 1.89/1.98 c ========================================================================================================= 1.89/1.98 o 1650712 1.89/1.98 c 1 calls to solver(id=0): best=1650712 lower=0 upper=1650711 3.99/4.08 o 1637214 10.59/10.64 o 1634006 10.59/10.64 c 3 calls to solver(id=0): best=1634006 lower=0 upper=1634005 16.29/16.35 o 1626175 39.17/39.21 o 1625115 39.17/39.21 c 5 calls to solver(id=0): best=1625115 lower=0 upper=1625114 62.45/62.54 o 1620260 666.24/666.42 o 1619940 666.24/666.42 c 7 calls to solver(id=0): best=1619940 lower=0 upper=1619939 998.28/998.56 o 1618387 1522.59/1522.91 o 1617847 1522.59/1522.91 c 9 calls to solver(id=0): best=1617847 lower=0 upper=1617846 2150.18/2150.62 o 1615360 2400.08/2400.50 2400.08/2400.50 c *** INTERRUPTED *** 2400.08/2400.50 c call to solver : 10 2400.08/2400.50 c 2400.08/2400.50 c restarts : 324 2400.08/2400.50 c conflicts : 490124 (204 /sec) 2400.08/2400.50 c decisions : 15949949 (6646 /sec) 2400.08/2400.50 c propagations : 497623039 (207347 /sec) 2400.08/2400.50 c root propagations : 1743 2400.08/2400.50 c filter calls : 91697437 (38208 /sec) 2400.08/2400.50 c useless filter calls : 69735142 (76 %) 2400.08/2400.50 c Memory used : 138.59 MB 2400.08/2400.50 c Best bound time (wc) : 2150.62 s 2400.08/2400.50 c CPU time : 2399.96 s 2400.08/2400.50 c real time : 2400.5 s 2400.08/2400.50 2400.08/2400.50 c nb Solutions = 10 2400.08/2400.50 s SATISFIABLE 2400.08/2400.50 c Best value found: 1615360 2400.08/2400.50 2400.08/2400.50 2400.08/2400.50 v <instantiation type='solution' cost='1615360'> 2400.08/2400.50 v <list>d[0][0] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][1] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][2] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[0][36] d[0][37] d[0][38] d[0][39] d[0][3] d[0][40] d[0][41] d[0][42] d[0][43] d[0][44] d[0][45] d[0][46] d[0][47] d[0][48] d[0][49] d[0][4] d[0][50] d[0][51] d[0][52] d[0][53] d[0][54] d[0][55] d[0][56] d[0][57] d[0][58] d[0][59] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[10][0] d[10][10] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][1] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][2] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][3] d[10][40] d[10][41] d[10][42] d[10][43] d[10][44] d[10][45] d[10][46] d[10][47] d[10][48] d[10][49] d[10][4] d[10][50] d[10][51] d[10][52] d[10][53] d[10][54] d[10][55] d[10][56] d[10][57] d[10][58] d[10][59] d[10][5] d[10][6] d[10][7] d[10][8] d[10][9] d[11][0] d[11][10] d[11][11] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][1] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][2] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][3] d[11][40] d[11][41] d[11][42] d[11][43] d[11][44] d[11][45] d[11][46] d[11][47] d[11][48] d[11][49] d[11][4] d[11][50] d[11][51] d[11][52] d[11][53] d[11][54] d[11][55] d[11][56] d[11][57] d[11][58] d[11][59] d[11][5] d[11][6] d[11][7] d[11][8] d[11][9] d[12][0] d[12][10] d[12][11] d[12][12] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][1] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][2] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][3] d[12][40] d[12][41] d[12][42] d[12][43] d[12][44] d[12][45] d[12][46] d[12][47] d[12][48] d[12][49] d[12][4] d[12][50] d[12][51] d[12][52] d[12][53] d[12][54] d[12][55] d[12][56] d[12][57] d[12][58] d[12][59] d[12][5] d[12][6] d[12][7] d[12][8] d[12][9] d[13][0] d[13][10] d[13][11] d[13][12] d[13][13] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][1] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][2] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][3] d[13][40] d[13][41] d[13][42] d[13][43] d[13][44] d[13][45] d[13][46] d[13][47] d[13][48] d[13][49] d[13][4] d[13][50] d[13][51] d[13][52] d[13][53] d[13][54] d[13][55] d[13][56] d[13][57] d[13][58] d[13][59] d[13][5] d[13][6] d[13][7] d[13][8] d[13][9] d[14][0] d[14][10] d[14][11] d[14][12] d[14][13] d[14][14] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][1] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][2] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][35] d[14][36] d[14][37] d[14][38] d[14][39] d[14][3] d[14][40] d[14][41] d[14][42] d[14][43] d[14][44] d[14][45] d[14][46] d[14][47] d[14][48] d[14][49] d[14][4] d[14][50] d[14][51] d[14][52] d[14][53] d[14][54] d[14][55] d[14][56] d[14][57] d[14][58] d[14][59] d[14][5] d[14][6] d[14][7] d[14][8] d[14][9] d[15][0] d[15][10] d[15][11] d[15][12] d[15][13] d[15][14] d[15][15] d[15][16] d[15][17] d[15][18] d[15][19] d[15][1] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][2] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][3] d[15][40] d[15][41] d[15][42] d[15][43] d[15][44] d[15][45] d[15][46] d[15][47] d[15][48] d[15][49] d[15][4] d[15][50] d[15][51] d[15][52] d[15][53] d[15][54] d[15][55] d[15][56] d[15][57] d[15][58] d[15][59] d[15][5] d[15][6] d[15][7] d[15][8] d[15][9] d[16][0] d[16][10] d[16][11] d[16][12] d[16][13] d[16][14] d[16][15] d[16][16] d[16][17] d[16][18] d[16][19] d[16][1] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][2] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][36] d[16][37] d[16][38] d[16][39] d[16][3] d[16][40] d[16][41] d[16][42] d[16][43] d[16][44] d[16][45] d[16][46] d[16][47] d[16][48] d[16][49] d[16][4] d[16][50] d[16][51] d[16][52] d[16][53] d[16][54] d[16][55] d[16][56] d[16][57] d[16][58] d[16][59] d[16][5] d[16][6] d[16][7] d[16][8] d[16][9] d[17][0] d[17][10] d[17][11] d[17][12] d[17][13] d[17][14] d[17][15] d[17][16] d[17][17] d[17][18] d[17][19] d[17][1] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][2] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][3] d[17][40] d[17][41] d[17][42] d[17][43] d[17][44] d[17][45] d[17][46] d[17][47] d[17][48] d[17][49] d[17][4] d[17][50] d[17][51] d[17][52] d[17][53] d[17][54] d[17][55] d[17][56] d[17][57] d[17][58] d[17][59] d[17][5] d[17][6] d[17][7] d[17][8] d[17][9] d[18][0] d[18][10] d[18][11] d[18][12] d[18][13] d[18][14] d[18][15] d[18][16] d[18][17] d[18][18] d[18][19] d[18][1] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][2] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[18][36] d[18][37] d[18][38] d[18][39] d[18][3] d[18][40] d[18][41] d[18][42] d[18][43] d[18][44] d[18][45] d[18][46] d[18][47] d[18][48] d[18][49] d[18][4] d[18][50] d[18][51] d[18][52] d[18][53] d[18][54] d[18][55] d[18][56] d[18][57] d[18][58] d[18][59] d[18][5] d[18][6] d[18][7] d[18][8] d[18][9] d[19][0] d[19][10] d[19][11] d[19][12] d[19][13] d[19][14] d[19][15] d[19][16] d[19][17] d[19][18] d[19][19] d[19][1] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][2] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][38] d[19][39] d[19][3] d[19][40] d[19][41] d[19][42] d[19][43] d[19][44] d[19][45] d[19][46] d[19][47] d[19][48] d[19][49] d[19][4] d[19][50] d[19][51] d[19][52] d[19][53] d[19][54] d[19][55] d[19][56] d[19][57] d[19][58] d[19][59] d[19][5] d[19][6] d[19][7] d[19][8] d[19][9] d[1][0] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][1] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][2] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][3] d[1][40] d[1][41] d[1][42] d[1][43] d[1][44] d[1][45] d[1][46] d[1][47] d[1][48] d[1][49] d[1][4] d[1][50] d[1][51] d[1][52] d[1][53] d[1][54] d[1][55] d[1][56] d[1][57] d[1][58] d[1][59] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[20][0] d[20][10] d[20][11] d[20][12] d[20][13] d[20][14] d[20][15] d[20][16] d[20][17] d[20][18] d[20][19] d[20][1] d[20][20] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][2] d[20][30] d[20][31] d[20][32] d[20][33] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][3] d[20][40] d[20][41] d[20][42] d[20][43] d[20][44] d[20][45] d[20][46] d[20][47] d[20][48] d[20][49] d[20][4] d[20][50] d[20][51] d[20][52] d[20][53] d[20][54] d[20][55] d[20][56] d[20][57] d[20][58] d[20][59] d[20][5] d[20][6] d[20][7] d[20][8] d[20][9] d[21][0] d[21][10] d[21][11] d[21][12] d[21][13] d[21][14] d[21][15] d[21][16] d[21][17] d[21][18] d[21][19] d[21][1] d[21][20] d[21][21] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][2] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][3] d[21][40] d[21][41] d[21][42] d[21][43] d[21][44] d[21][45] d[21][46] d[21][47] d[21][48] d[21][49] d[21][4] d[21][50] d[21][51] d[21][52] d[21][53] d[21][54] d[21][55] d[21][56] d[21][57] d[21][58] d[21][59] d[21][5] d[21][6] d[21][7] d[21][8] d[21][9] d[22][0] d[22][10] d[22][11] d[22][12] d[22][13] d[22][14] d[22][15] d[22][16] d[22][17] d[22][18] d[22][19] d[22][1] d[22][20] d[22][21] d[22][22] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][2] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][3] d[22][40] d[22][41] d[22][42] d[22][43] d[22][44] d[22][45] d[22][46] d[22][47] d[22][48] d[22][49] d[22][4] d[22][50] d[22][51] d[22][52] d[22][53] d[22][54] d[22][55] d[22][56] d[22][57] d[22][58] d[22][59] d[22][5] d[22][6] d[22][7] d[22][8] d[22][9] d[23][0] d[23][10] d[23][11] d[23][12] d[23][13] d[23][14] d[23][15] d[23][16] d[23][17] d[23][18] d[23][19] d[23][1] d[23][20] d[23][21] d[23][22] d[23][23] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][2] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][3] d[23][40] d[23][41] d[23][42] d[23][43] d[23][44] d[23][45] d[23][46] d[23][47] d[23][48] d[23][49] d[23][4] d[23][50] d[23][51] d[23][52] d[23][53] d[23][54] d[23][55] d[23][56] d[23][57] d[23][58] d[23][59] d[23][5] d[23][6] d[23][7] d[23][8] d[23][9] d[24][0] d[24][10] d[24][11] d[24][12] d[24][13] d[24][14] d[24][15] d[24][16] d[24][17] d[24][18] d[24][19] d[24][1] d[24][20] d[24][21] d[24][22] d[24][23] d[24][24] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][2] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][3] d[24][40] d[24][41] d[24][42] d[24][43] d[24][44] d[24][45] d[24][46] d[24][47] d[24][48] d[24][49] d[24][4] d[24][50] d[24][51] d[24][52] d[24][53] d[24][54] d[24][55] d[24][56] d[24][57] d[24][58] d[24][59] d[24][5] d[24][6] d[24][7] d[24][8] d[24][9] d[25][0] d[25][10] d[25][11] d[25][12] d[25][13] d[25][14] d[25][15] d[25][16] d[25][17] d[25][18] d[25][19] d[25][1] d[25][20] d[25][21] d[25][22] d[25][23] d[25][24] d[25][25] d[25][26] d[25][27] d[25][28] d[25][29] d[25][2] d[25][30] d[25][31] d[25][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][3] d[25][40] d[25][41] d[25][42] d[25][43] d[25][44] d[25][45] d[25][46] d[25][47] d[25][48] d[25][49] d[25][4] d[25][50] d[25][51] d[25][52] d[25][53] d[25][54] d[25][55] d[25][56] d[25][57] d[25][58] d[25][59] d[25][5] d[25][6] d[25][7] d[25][8] d[25][9] d[26][0] d[26][10] d[26][11] d[26][12] d[26][13] d[26][14] d[26][15] d[26][16] d[26][17] d[26][18] d[26][19] d[26][1] d[26][20] d[26][21] d[26][22] d[26][23] d[26][24] d[26][25] d[26][26] d[26][27] d[26][28] d[26][29] d[26][2] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][3] d[26][40] d[26][41] d[26][42] d[26][43] d[26][44] d[26][45] d[26][46] d[26][47] d[26][48] d[26][49] d[26][4] d[26][50] d[26][51] d[26][52] d[26][53] d[26][54] d[26][55] d[26][56] d[26][57] d[26][58] d[26][59] d[26][5] d[26][6] d[26][7] d[26][8] d[26][9] d[27][0] d[27][10] d[27][11] d[27][12] d[27][13] d[27][14] d[27][15] d[27][16] d[27][17] d[27][18] d[27][19] d[27][1] d[27][20] d[27][21] d[27][22] d[27][23] d[27][24] d[27][25] d[27][26] d[27][27] d[27][28] d[27][29] d[27][2] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[27][36] d[27][37] d[27][38] d[27][39] d[27][3] d[27][40] d[27][41] d[27][42] d[27][43] d[27][44] d[27][45] d[27][46] d[27][47] d[27][48] d[27][49] d[27][4] d[27][50] d[27][51] d[27][52] d[27][53] d[27][54] d[27][55] d[27][56] d[27][57] d[27][58] d[27][59] d[27][5] d[27][6] d[27][7] d[27][8] d[27][9] d[28][0] d[28][10] d[28][11] d[28][12] d[28][13] d[28][14] d[28][15] d[28][16] d[28][17] d[28][18] d[28][19] d[28][1] d[28][20] d[28][21] d[28][22] d[28][23] d[28][24] d[28][25] d[28][26] d[28][27] d[28][28] d[28][29] d[28][2] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][3] d[28][40] d[28][41] d[28][42] d[28][43] d[28][44] d[28][45] d[28][46] d[28][47] d[28][48] d[28][49] d[28][4] d[28][50] d[28][51] d[28][52] d[28][53] d[28][54] d[28][55] d[28][56] d[28][57] d[28][58] d[28][59] d[28][5] d[28][6] d[28][7] d[28][8] d[28][9] d[29][0] d[29][10] d[29][11] d[29][12] d[29][13] d[29][14] d[29][15] d[29][16] d[29][17] d[29][18] d[29][19] d[29][1] d[29][20] d[29][21] d[29][22] d[29][23] d[29][24] d[29][25] d[29][26] d[29][27] d[29][28] d[29][29] d[29][2] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[29][36] d[29][37] d[29][38] d[29][39] d[29][3] d[29][40] d[29][41] d[29][42] d[29][43] d[29][44] d[29][45] d[29][46] d[29][47] d[29][48] d[29][49] d[29][4] d[29][50] d[29][51] d[29][52] d[29][53] d[29][54] d[29][55] d[29][56] d[29][57] d[29][58] d[29][59] d[29][5] d[29][6] d[29][7] d[29][8] d[29][9] d[2][0] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][1] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][2] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][3] d[2][40] d[2][41] d[2][42] d[2][43] d[2][44] d[2][45] d[2][46] d[2][47] d[2][48] d[2][49] d[2][4] d[2][50] d[2][51] d[2][52] d[2][53] d[2][54] d[2][55] d[2][56] d[2][57] d[2][58] d[2][59] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[30][0] d[30][10] d[30][11] d[30][12] d[30][13] d[30][14] d[30][15] d[30][16] d[30][17] d[30][18] d[30][19] d[30][1] d[30][20] d[30][21] d[30][22] d[30][23] d[30][24] d[30][25] d[30][26] d[30][27] d[30][28] d[30][29] d[30][2] d[30][30] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[30][36] d[30][37] d[30][38] d[30][39] d[30][3] d[30][40] d[30][41] d[30][42] d[30][43] d[30][44] d[30][45] d[30][46] d[30][47] d[30][48] d[30][49] d[30][4] d[30][50] d[30][51] d[30][52] d[30][53] d[30][54] d[30][55] d[30][56] d[30][57] d[30][58] d[30][59] d[30][5] d[30][6] d[30][7] d[30][8] d[30][9] d[31][0] d[31][10] d[31][11] d[31][12] d[31][13] d[31][14] d[31][15] d[31][16] d[31][17] d[31][18] d[31][19] d[31][1] d[31][20] d[31][21] d[31][22] d[31][23] d[31][24] d[31][25] d[31][26] d[31][27] d[31][28] d[31][29] d[31][2] d[31][30] d[31][31] d[31][32] d[31][33] d[31][34] d[31][35] d[31][36] d[31][37] d[31][38] d[31][39] d[31][3] d[31][40] d[31][41] d[31][42] d[31][43] d[31][44] d[31][45] d[31][46] d[31][47] d[31][48] d[31][49] d[31][4] d[31][50] d[31][51] d[31][52] d[31][53] d[31][54] d[31][55] d[31][56] d[31][57] d[31][58] d[31][59] d[31][5] d[31][6] d[31][7] d[31][8] d[31][9] d[32][0] d[32][10] d[32][11] d[32][12] d[32][13] d[32][14] d[32][15] d[32][16] d[32][17] d[32][18] d[32][19] d[32][1] d[32][20] d[32][21] d[32][22] d[32][23] d[32][24] d[32][25] d[32][26] d[32][27] d[32][28] d[32][29] d[32][2] d[32][30] d[32][31] d[32][32] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][38] d[32][39] d[32][3] d[32][40] d[32][41] d[32][42] d[32][43] d[32][44] d[32][45] d[32][46] d[32][47] d[32][48] d[32][49] d[32][4] d[32][50] d[32][51] d[32][52] d[32][53] d[32][54] d[32][55] d[32][56] d[32][57] d[32][58] d[32][59] d[32][5] d[32][6] d[32][7] d[32][8] d[32][9] d[33][0] d[33][10] d[33][11] d[33][12] d[33][13] d[33][14] d[33][15] d[33][16] d[33][17] d[33][18] d[33][19] d[33][1] d[33][20] d[33][21] d[33][22] d[33][23] d[33][24] d[33][25] d[33][26] d[33][27] d[33][28] d[33][29] d[33][2] d[33][30] d[33][31] d[33][32] d[33][33] d[33][34] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][3] d[33][40] d[33][41] d[33][42] d[33][43] d[33][44] d[33][45] d[33][46] d[33][47] d[33][48] d[33][49] d[33][4] d[33][50] d[33][51] d[33][52] d[33][53] d[33][54] d[33][55] d[33][56] d[33][57] d[33][58] d[33][59] d[33][5] d[33][6] d[33][7] d[33][8] d[33][9] d[34][0] d[34][10] d[34][11] d[34][12] d[34][13] d[34][14] d[34][15] d[34][16] d[34][17] d[34][18] d[34][19] d[34][1] d[34][20] d[34][21] d[34][22] d[34][23] d[34][24] d[34][25] d[34][26] d[34][27] d[34][28] d[34][29] d[34][2] d[34][30] d[34][31] d[34][32] d[34][33] d[34][34] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][3] d[34][40] d[34][41] d[34][42] d[34][43] d[34][44] d[34][45] d[34][46] d[34][47] d[34][48] d[34][49] d[34][4] d[34][50] d[34][51] d[34][52] d[34][53] d[34][54] d[34][55] d[34][56] d[34][57] d[34][58] d[34][59] d[34][5] d[34][6] d[34][7] d[34][8] d[34][9] d[35][0] d[35][10] d[35][11] d[35][12] d[35][13] d[35][14] d[35][15] d[35][16] d[35][17] d[35][18] d[35][19] d[35][1] d[35][20] d[35][21] d[35][22] d[35][23] d[35][24] d[35][25] d[35][26] d[35][27] d[35][28] d[35][29] d[35][2] d[35][30] d[35][31] d[35][32] d[35][33] d[35][34] d[35][35] d[35][36] d[35][37] d[35][38] d[35][39] d[35][3] d[35][40] d[35][41] d[35][42] d[35][43] d[35][44] d[35][45] d[35][46] d[35][47] d[35][48] d[35][49] d[35][4] d[35][50] d[35][51] d[35][52] d[35][53] d[35][54] d[35][55] d[35][56] d[35][57] d[35][58] d[35][59] d[35][5] d[35][6] d[35][7] d[35][8] d[35][9] d[36][0] d[36][10] d[36][11] d[36][12] d[36][13] d[36][14] d[36][15] d[36][16] d[36][17] d[36][18] d[36][19] d[36][1] d[36][20] d[36][21] d[36][22] d[36][23] d[36][24] d[36][25] d[36][26] d[36][27] d[36][28] d[36][29] d[36][2] d[36][30] d[36][31] d[36][32] d[36][33] d[36][34] d[36][35] d[36][36] d[36][37] d[36][38] d[36][39] d[36][3] d[36][40] d[36][41] d[36][42] d[36][43] d[36][44] d[36][45] d[36][46] d[36][47] d[36][48] d[36][49] d[36][4] d[36][50] d[36][51] d[36][52] d[36][53] d[36][54] d[36][55] d[36][56] d[36][57] d[36][58] d[36][59] d[36][5] d[36][6] d[36][7] d[36][8] d[36][9] d[37][0] d[37][10] d[37][11] d[37][12] d[37][13] d[37][14] d[37][15] d[37][16] d[37][17] d[37][18] d[37][19] d[37][1] d[37][20] d[37][21] d[37][22] d[37][23] d[37][24] d[37][25] d[37][26] d[37][27] d[37][28] d[37][29] d[37][2] d[37][30] d[37][31] d[37][32] d[37][33] d[37][34] d[37][35] d[37][36] d[37][37] d[37][38] d[37][39] d[37][3] d[37][40] d[37][41] d[37][42] d[37][43] d[37][44] d[37][45] d[37][46] d[37][47] d[37][48] d[37][49] d[37][4] d[37][50] d[37][51] d[37][52] d[37][53] d[37][54] d[37][55] d[37][56] d[37][57] d[37][58] d[37][59] d[37][5] d[37][6] d[37][7] d[37][8] d[37][9] d[38][0] d[38][10] d[38][11] d[38][12] d[38][13] d[38][14] d[38][15] d[38][16] d[38][17] d[38][18] d[38][19] d[38][1] d[38][20] d[38][21] d[38][22] d[38][23] d[38][24] d[38][25] d[38][26] d[38][27] d[38][28] d[38][29] d[38][2] d[38][30] d[38][31] d[38][32] d[38][33] d[38][34] d[38][35] d[38][36] d[38][37] d[38][38] d[38][39] d[38][3] d[38][40] d[38][41] d[38][42] d[38][43] d[38][44] d[38][45] d[38][46] d[38][47] d[38][48] d[38][49] d[38][4] d[38][50] d[38][51] d[38][52] d[38][53] d[38][54] d[38][55] d[38][56] d[38][57] d[38][58] d[38][59] d[38][5] d[38][6] d[38][7] d[38][8] d[38][9] d[39][0] d[39][10] d[39][11] d[39][12] d[39][13] d[39][14] d[39][15] d[39][16] d[39][17] d[39][18] d[39][19] d[39][1] d[39][20] d[39][21] d[39][22] d[39][23] d[39][24] d[39][25] d[39][26] d[39][27] d[39][28] d[39][29] d[39][2] d[39][30] d[39][31] d[39][32] d[39][33] d[39][34] d[39][35] d[39][36] d[39][37] d[39][38] d[39][39] d[39][3] d[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] d[39][47] d[39][48] d[39][49] d[39][4] d[39][50] d[39][51] d[39][52] d[39][53] d[39][54] d[39][55] d[39][56] d[39][57] d[39][58] d[39][59] d[39][5] d[39][6] d[39][7] d[39][8] d[39][9] d[3][0] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][1] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][2] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][3] d[3][40] d[3][41] d[3][42] d[3][43] d[3][44] d[3][45] d[3][46] d[3][47] d[3][48] d[3][49] d[3][4] d[3][50] d[3][51] d[3][52] d[3][53] d[3][54] d[3][55] d[3][56] d[3][57] d[3][58] d[3][59] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[40][0] d[40][10] d[40][11] d[40][12] d[40][13] d[40][14] d[40][15] d[40][16] d[40][17] d[40][18] d[40][19] d[40][1] d[40][20] d[40][21] d[40][22] d[40][23] d[40][24] d[40][25] d[40][26] d[40][27] d[40][28] d[40][29] d[40][2] d[40][30] d[40][31] d[40][32] d[40][33] d[40][34] d[40][35] d[40][36] d[40][37] d[40][38] d[40][39] d[40][3] d[40][40] d[40][41] d[40][42] d[40][43] d[40][44] d[40][45] d[40][46] d[40][47] d[40][48] d[40][49] d[40][4] d[40][50] d[40][51] d[40][52] d[40][53] d[40][54] d[40][55] d[40][56] d[40][57] d[40][58] d[40][59] d[40][5] d[40][6] d[40][7] d[40][8] d[40][9] d[41][0] d[41][10] d[41][11] d[41][12] d[41][13] d[41][14] d[41][15] d[41][16] d[41][17] d[41][18] d[41][19] d[41][1] d[41][20] d[41][21] d[41][22] d[41][23] d[41][24] d[41][25] d[41][26] d[41][27] d[41][28] d[41][29] d[41][2] d[41][30] d[41][31] d[41][32] d[41][33] d[41][34] d[41][35] d[41][36] d[41][37] d[41][38] d[41][39] d[41][3] d[41][40] d[41][41] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[41][49] d[41][4] d[41][50] d[41][51] d[41][52] d[41][53] d[41][54] d[41][55] d[41][56] d[41][57] d[41][58] d[41][59] d[41][5] d[41][6] d[41][7] d[41][8] d[41][9] d[42][0] d[42][10] d[42][11] d[42][12] d[42][13] d[42][14] d[42][15] d[42][16] d[42][17] d[42][18] d[42][19] d[42][1] d[42][20] d[42][21] d[42][22] d[42][23] d[42][24] d[42][25] d[42][26] d[42][27] d[42][28] d[42][29] d[42][2] d[42][30] d[42][31] d[42][32] d[42][33] d[42][34] d[42][35] d[42][36] d[42][37] d[42][38] d[42][39] d[42][3] d[42][40] d[42][41] d[42][42] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[42][49] d[42][4] d[42][50] d[42][51] d[42][52] d[42][53] d[42][54] d[42][55] d[42][56] d[42][57] d[42][58] d[42][59] d[42][5] d[42][6] d[42][7] d[42][8] d[42][9] d[43][0] d[43][10] d[43][11] d[43][12] d[43][13] d[43][14] d[43][15] d[43][16] d[43][17] d[43][18] d[43][19] d[43][1] d[43][20] d[43][21] d[43][22] d[43][23] d[43][24] d[43][25] d[43][26] d[43][27] d[43][28] d[43][29] d[43][2] d[43][30] d[43][31] d[43][32] d[43][33] d[43][34] d[43][35] d[43][36] d[43][37] d[43][38] d[43][39] d[43][3] d[43][40] d[43][41] d[43][42] d[43][43] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[43][49] d[43][4] d[43][50] d[43][51] d[43][52] d[43][53] d[43][54] d[43][55] d[43][56] d[43][57] d[43][58] d[43][59] d[43][5] d[43][6] d[43][7] d[43][8] d[43][9] d[44][0] d[44][10] d[44][11] d[44][12] d[44][13] d[44][14] d[44][15] d[44][16] d[44][17] d[44][18] d[44][19] d[44][1] d[44][20] d[44][21] d[44][22] d[44][23] d[44][24] d[44][25] d[44][26] d[44][27] d[44][28] d[44][29] d[44][2] d[44][30] d[44][31] d[44][32] d[44][33] d[44][34] d[44][35] d[44][36] d[44][37] d[44][38] d[44][39] d[44][3] d[44][40] d[44][41] d[44][42] d[44][43] d[44][44] d[44][45] d[44][46] d[44][47] d[44][48] d[44][49] d[44][4] d[44][50] d[44][51] d[44][52] d[44][53] d[44][54] d[44][55] d[44][56] d[44][57] d[44][58] d[44][59] d[44][5] d[44][6] d[44][7] d[44][8] d[44][9] d[45][0] d[45][10] d[45][11] d[45][12] d[45][13] d[45][14] d[45][15] d[45][16] d[45][17] d[45][18] d[45][19] d[45][1] d[45][20] d[45][21] d[45][22] d[45][23] d[45][24] d[45][25] d[45][26] d[45][27] d[45][28] d[45][29] d[45][2] d[45][30] d[45][31] d[45][32] d[45][33] d[45][34] d[45][35] d[45][36] d[45][37] d[45][38] d[45][39] d[45][3] d[45][40] d[45][41] d[45][42] d[45][43] d[45][44] d[45][45] d[45][46] d[45][47] d[45][48] d[45][49] d[45][4] d[45][50] d[45][51] d[45][52] d[45][53] d[45][54] d[45][55] d[45][56] d[45][57] d[45][58] d[45][59] d[45][5] d[45][6] d[45][7] d[45][8] d[45][9] d[46][0] d[46][10] d[46][11] d[46][12] d[46][13] d[46][14] d[46][15] d[46][16] d[46][17] d[46][18] d[46][19] d[46][1] d[46][20] d[46][21] d[46][22] d[46][23] d[46][24] d[46][25] d[46][26] d[46][27] d[46][28] d[46][29] d[46][2] d[46][30] d[46][31] d[46][32] d[46][33] d[46][34] d[46][35] d[46][36] d[46][37] d[46][38] d[46][39] d[46][3] d[46][40] d[46][41] d[46][42] d[46][43] d[46][44] d[46][45] d[46][46] d[46][47] d[46][48] d[46][49] d[46][4] d[46][50] d[46][51] d[46][52] d[46][53] d[46][54] d[46][55] d[46][56] d[46][57] d[46][58] d[46][59] d[46][5] d[46][6] d[46][7] d[46][8] d[46][9] d[47][0] d[47][10] d[47][11] d[47][12] d[47][13] d[47][14] d[47][15] d[47][16] d[47][17] d[47][18] d[47][19] d[47][1] d[47][20] d[47][21] d[47][22] d[47][23] d[47][24] d[47][25] d[47][26] d[47][27] d[47][28] d[47][29] d[47][2] d[47][30] d[47][31] d[47][32] d[47][33] d[47][34] d[47][35] d[47][36] d[47][37] d[47][38] d[47][39] d[47][3] d[47][40] d[47][41] d[47][42] d[47][43] d[47][44] d[47][45] d[47][46] d[47][47] d[47][48] d[47][49] d[47][4] d[47][50] d[47][51] d[47][52] d[47][53] d[47][54] d[47][55] d[47][56] d[47][57] d[47][58] d[47][59] d[47][5] d[47][6] d[47][7] d[47][8] d[47][9] d[48][0] d[48][10] d[48][11] d[48][12] d[48][13] d[48][14] d[48][15] d[48][16] d[48][17] d[48][18] d[48][19] d[48][1] d[48][20] d[48][21] d[48][22] d[48][23] d[48][24] d[48][25] d[48][26] d[48][27] d[48][28] d[48][29] d[48][2] d[48][30] d[48][31] d[48][32] d[48][33] d[48][34] d[48][35] d[48][36] d[48][37] d[48][38] d[48][39] d[48][3] d[48][40] d[48][41] d[48][42] d[48][43] d[48][44] d[48][45] d[48][46] d[48][47] d[48][48] d[48][49] d[48][4] d[48][50] d[48][51] d[48][52] d[48][53] d[48][54] d[48][55] d[48][56] d[48][57] d[48][58] d[48][59] d[48][5] d[48][6] d[48][7] d[48][8] d[48][9] d[49][0] d[49][10] d[49][11] d[49][12] d[49][13] d[49][14] d[49][15] d[49][16] d[49][17] d[49][18] d[49][19] d[49][1] d[49][20] d[49][21] d[49][22] d[49][23] d[49][24] d[49][25] d[49][26] d[49][27] d[49][28] d[49][29] d[49][2] d[49][30] d[49][31] d[49][32] d[49][33] d[49][34] d[49][35] d[49][36] d[49][37] d[49][38] d[49][39] d[49][3] d[49][40] d[49][41] d[49][42] d[49][43] d[49][44] d[49][45] d[49][46] d[49][47] d[49][48] d[49][49] d[49][4] d[49][50] d[49][51] d[49][52] d[49][53] d[49][54] d[49][55] d[49][56] d[49][57] d[49][58] d[49][59] d[49][5] d[49][6] d[49][7] d[49][8] d[49][9] d[4][0] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][1] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][2] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][3] d[4][40] d[4][41] d[4][42] d[4][43] d[4][44] d[4][45] d[4][46] d[4][47] d[4][48] d[4][49] d[4][4] d[4][50] d[4][51] d[4][52] d[4][53] d[4][54] d[4][55] d[4][56] d[4][57] d[4][58] d[4][59] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[50][0] d[50][10] d[50][11] d[50][12] d[50][13] d[50][14] d[50][15] d[50][16] d[50][17] d[50][18] d[50][19] d[50][1] d[50][20] d[50][21] d[50][22] d[50][23] d[50][24] d[50][25] d[50][26] d[50][27] d[50][28] d[50][29] d[50][2] d[50][30] d[50][31] d[50][32] d[50][33] d[50][34] d[50][35] d[50][36] d[50][37] d[50][38] d[50][39] d[50][3] d[50][40] d[50][41] d[50][42] d[50][43] d[50][44] d[50][45] d[50][46] d[50][47] d[50][48] d[50][49] d[50][4] d[50][50] d[50][51] d[50][52] d[50][53] d[50][54] d[50][55] d[50][56] d[50][57] d[50][58] d[50][59] d[50][5] d[50][6] d[50][7] d[50][8] d[50][9] d[51][0] d[51][10] d[51][11] d[51][12] d[51][13] d[51][14] d[51][15] d[51][16] d[51][17] d[51][18] d[51][19] d[51][1] d[51][20] d[51][21] d[51][22] d[51][23] d[51][24] d[51][25] d[51][26] d[51][27] d[51][28] d[51][29] d[51][2] d[51][30] d[51][31] d[51][32] d[51][33] d[51][34] d[51][35] d[51][36] d[51][37] d[51][38] d[51][39] d[51][3] d[51][40] d[51][41] d[51][42] d[51][43] d[51][44] d[51][45] d[51][46] d[51][47] d[51][48] d[51][49] d[51][4] d[51][50] d[51][51] d[51][52] d[51][53] d[51][54] d[51][55] d[51][56] d[51][57] d[51][58] d[51][59] d[51][5] d[51][6] d[51][7] d[51][8] d[51][9] d[52][0] d[52][10] d[52][11] d[52][12] d[52][13] d[52][14] d[52][15] d[52][16] d[52][17] d[52][18] d[52][19] d[52][1] d[52][20] d[52][21] d[52][22] d[52][23] d[52][24] d[52][25] d[52][26] d[52][27] d[52][28] d[52][29] d[52][2] d[52][30] d[52][31] d[52][32] d[52][33] d[52][34] d[52][35] d[52][36] d[52][37] d[52][38] d[52][39] d[52][3] d[52][40] d[52][41] d[52][42] d[52][43] d[52][44] d[52][45] d[52][46] d[52][47] d[52][48] d[52][49] d[52][4] d[52][50] d[52][51] d[52][52] d[52][53] d[52][54] d[52][55] d[52][56] d[52][57] d[52][58] d[52][59] d[52][5] d[52][6] d[52][7] d[52][8] d[52][9] d[53][0] d[53][10] d[53][11] d[53][12] d[53][13] d[53][14] d[53][15] d[53][16] d[53][17] d[53][18] d[53][19] d[53][1] d[53][20] d[53][21] d[53][22] d[53][23] d[53][24] d[53][25] d[53][26] d[53][27] d[53][28] d[53][29] d[53][2] d[53][30] d[53][31] d[53][32] d[53][33] d[53][34] d[53][35] d[53][36] d[53][37] d[53][38] d[53][39] d[53][3] d[53][40] d[53][41] d[53][42] d[53][43] d[53][44] d[53][45] d[53][46] d[53][47] d[53][48] d[53][49] d[53][4] d[53][50] d[53][51] d[53][52] d[53][53] d[53][54] d[53][55] d[53][56] d[53][57] d[53][58] d[53][59] d[53][5] d[53][6] d[53][7] d[53][8] d[53][9] d[54][0] d[54][10] d[54][11] d[54][12] d[54][13] d[54][14] d[54][15] d[54][16] d[54][17] d[54][18] d[54][19] d[54][1] d[54][20] d[54][21] d[54][22] d[54][23] d[54][24] d[54][25] d[54][26] d[54][27] d[54][28] d[54][29] d[54][2] d[54][30] d[54][31] d[54][32] d[54][33] d[54][34] d[54][35] d[54][36] d[54][37] d[54][38] d[54][39] d[54][3] d[54][40] d[54][41] d[54][42] d[54][43] d[54][44] d[54][45] d[54][46] d[54][47] d[54][48] d[54][49] d[54][4] d[54][50] d[54][51] d[54][52] d[54][53] d[54][54] d[54][55] d[54][56] d[54][57] d[54][58] d[54][59] d[54][5] d[54][6] d[54][7] d[54][8] d[54][9] d[55][0] d[55][10] d[55][11] d[55][12] d[55][13] d[55][14] d[55][15] d[55][16] d[55][17] d[55][18] d[55][19] d[55][1] d[55][20] d[55][21] d[55][22] d[55][23] d[55][24] d[55][25] d[55][26] d[55][27] d[55][28] d[55][29] d[55][2] d[55][30] d[55][31] d[55][32] d[55][33] d[55][34] d[55][35] d[55][36] d[55][37] d[55][38] d[55][39] d[55][3] d[55][40] d[55][41] d[55][42] d[55][43] d[55][44] d[55][45] d[55][46] d[55][47] d[55][48] d[55][49] d[55][4] d[55][50] d[55][51] d[55][52] d[55][53] d[55][54] d[55][55] d[55][56] d[55][57] d[55][58] d[55][59] d[55][5] d[55][6] d[55][7] d[55][8] d[55][9] d[56][0] d[56][10] d[56][11] d[56][12] d[56][13] d[56][14] d[56][15] d[56][16] d[56][17] d[56][18] d[56][19] d[56][1] d[56][20] d[56][21] d[56][22] d[56][23] d[56][24] d[56][25] d[56][26] d[56][27] d[56][28] d[56][29] d[56][2] d[56][30] d[56][31] d[56][32] d[56][33] d[56][34] d[56][35] d[56][36] d[56][37] d[56][38] d[56][39] d[56][3] d[56][40] d[56][41] d[56][42] d[56][43] d[56][44] d[56][45] d[56][46] d[56][47] d[56][48] d[56][49] d[56][4] d[56][50] d[56][51] d[56][52] d[56][53] d[56][54] d[56][55] d[56][56] d[56][57] d[56][58] d[56][59] d[56][5] d[56][6] d[56][7] d[56][8] d[56][9] d[57][0] d[57][10] d[57][11] d[57][12] d[57][13] d[57][14] d[57][15] d[57][16] d[57][17] d[57][18] d[57][19] d[57][1] d[57][20] d[57][21] d[57][22] d[57][23] d[57][24] d[57][25] d[57][26] d[57][27] d[57][28] d[57][29] d[57][2] d[57][30] d[57][31] d[57][32] d[57][33] d[57][34] d[57][35] d[57][36] d[57][37] d[57][38] d[57][39] d[57][3] d[57][40] d[57][41] d[57][42] d[57][43] d[57][44] d[57][45] d[57][46] d[57][47] d[57][48] d[57][49] d[57][4] d[57][50] d[57][51] d[57][52] d[57][53] d[57][54] d[57][55] d[57][56] d[57][57] d[57][58] d[57][59] d[57][5] d[57][6] d[57][7] d[57][8] d[57][9] d[58][0] d[58][10] d[58][11] d[58][12] d[58][13] d[58][14] d[58][15] d[58][16] d[58][17] d[58][18] d[58][19] d[58][1] d[58][20] d[58][21] d[58][22] d[58][23] d[58][24] d[58][25] d[58][26] d[58][27] d[58][28] d[58][29] d[58][2] d[58][30] d[58][31] d[58][32] d[58][33] d[58][34] d[58][35] d[58][36] d[58][37] d[58][38] d[58][39] d[58][3] d[58][40] d[58][41] d[58][42] d[58][43] d[58][44] d[58][45] d[58][46] d[58][47] d[58][48] d[58][49] d[58][4] d[58][50] d[58][51] d[58][52] d[58][53] d[58][54] d[58][55] d[58][56] d[58][57] d[58][58] d[58][59] d[58][5] d[58][6] d[58][7] d[58][8] d[58][9] d[59][0] d[59][10] d[59][11] d[59][12] d[59][13] d[59][14] d[59][15] d[59][16] d[59][17] d[59][18] d[59][19] d[59][1] d[59][20] d[59][21] d[59][22] d[59][23] d[59][24] d[59][25] d[59][26] d[59][27] d[59][28] d[59][29] d[59][2] d[59][30] d[59][31] d[59][32] d[59][33] d[59][34] d[59][35] d[59][36] d[59][37] d[59][38] d[59][39] d[59][3] d[59][40] d[59][41] d[59][42] d[59][43] d[59][44] d[59][45] d[59][46] d[59][47] d[59][48] d[59][49] d[59][4] d[59][50] d[59][51] d[59][52] d[59][53] d[59][54] d[59][55] d[59][56] d[59][57] d[59][58] d[59][59] d[59][5] d[59][6] d[59][7] d[59][8] d[59][9] d[5][0] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][1] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][2] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][36] d[5][37] d[5][38] d[5][39] d[5][3] d[5][40] d[5][41] d[5][42] d[5][43] d[5][44] d[5][45] d[5][46] d[5][47] d[5][48] d[5][49] d[5][4] d[5][50] d[5][51] d[5][52] d[5][53] d[5][54] d[5][55] d[5][56] d[5][57] d[5][58] d[5][59] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[6][0] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][1] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][2] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][3] d[6][40] d[6][41] d[6][42] d[6][43] d[6][44] d[6][45] d[6][46] d[6][47] d[6][48] d[6][49] d[6][4] d[6][50] d[6][51] d[6][52] d[6][53] d[6][54] d[6][55] d[6][56] d[6][57] d[6][58] d[6][59] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[7][0] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][1] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][2] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][36] d[7][37] d[7][38] d[7][39] d[7][3] d[7][40] d[7][41] d[7][42] d[7][43] d[7][44] d[7][45] d[7][46] d[7][47] d[7][48] d[7][49] d[7][4] d[7][50] d[7][51] d[7][52] d[7][53] d[7][54] d[7][55] d[7][56] d[7][57] d[7][58] d[7][59] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[8][0] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][1] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][2] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][3] d[8][40] d[8][41] d[8][42] d[8][43] d[8][44] d[8][45] d[8][46] d[8][47] d[8][48] d[8][49] d[8][4] d[8][50] d[8][51] d[8][52] d[8][53] d[8][54] d[8][55] d[8][56] d[8][57] d[8][58] d[8][59] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[9][0] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][1] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][2] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[9][36] d[9][37] d[9][38] d[9][39] d[9][3] d[9][40] d[9][41] d[9][42] d[9][43] d[9][44] d[9][45] d[9][46] d[9][47] d[9][48] d[9][49] d[9][4] d[9][50] d[9][51] d[9][52] d[9][53] d[9][54] d[9][55] d[9][56] d[9][57] d[9][58] d[9][59] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] x[0] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[1] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[2] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[3] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[4] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[5] x[6] x[7] x[8] x[9] </list> 2400.08/2400.50 v <values>* 7 44 26 39 52 25 10 16 48 45 25 46 53 32 17 56 41 32 29 32 29 23 23 26 30 10 48 21 35 30 17 12 33 14 8 48 14 44 30 25 38 37 44 35 7 46 36 35 34 33 34 41 40 38 39 19 17 20 21 * * 42 35 20 40 32 29 40 54 32 * 35 40 46 45 21 23 31 46 39 29 * 24 26 51 36 56 44 9 36 14 47 * 38 40 32 46 36 51 12 42 28 40 * 30 43 11 29 30 37 20 20 25 * * * * * * * * * 10 37 32 44 5 27 32 25 * 28 30 5 * 33 27 35 11 12 34 * 35 17 31 33 32 5 29 39 23 33 * 40 54 29 27 31 23 46 32 48 23 * 3 40 34 22 42 24 35 14 21 26 * * * * * * * * * 53 24 9 49 10 23 19 * 52 41 * 26 30 13 24 36 19 39 * 34 39 14 24 13 25 38 54 44 30 * 32 37 29 33 44 28 26 27 7 11 * 27 41 29 44 28 21 36 12 6 15 * * * * * * * * * * 3 49 31 11 47 47 * 52 20 28 18 21 29 29 40 55 39 * 7 46 49 24 19 31 9 16 17 36 * 26 22 20 53 54 34 31 14 8 28 * 48 31 5 27 22 41 13 29 32 44 * * * * * * * * * * * 27 38 16 39 31 * 26 29 28 19 22 36 28 45 33 16 * 29 15 23 47 28 32 29 28 24 22 * 28 47 30 41 35 51 43 14 31 31 * 11 51 22 11 30 53 48 37 21 22 * * * * * * * * * * * * 30 48 15 34 * 29 55 34 20 31 32 50 38 30 25 * 45 16 29 46 32 16 19 3 40 26 * 21 14 24 41 48 43 33 46 34 21 * 13 30 20 42 31 37 35 30 43 46 * * * * * * * * * * * * * 36 41 31 * 36 19 54 22 46 34 22 31 28 38 * 26 25 38 22 40 17 33 46 27 37 * 30 28 33 16 24 24 41 31 52 51 * 41 30 13 15 26 42 40 10 41 44 * * * * * * * * * * * * * * 28 22 * 34 55 30 20 41 35 54 39 * 42 * 14 55 7 35 36 46 37 37 14 47 * 28 26 24 9 38 58 36 51 20 30 * 18 17 45 45 45 33 47 21 25 30 * * * * * * * * * * * * * * * 18 * 19 45 19 28 47 44 52 21 48 19 * 32 33 50 14 30 11 29 9 36 36 * 30 30 18 23 20 23 46 37 30 17 * 48 27 50 12 27 42 26 30 36 31 * * * * * * * * * * * * * * * * * 46 39 8 40 43 37 45 26 34 6 * 44 26 21 37 4 59 8 50 31 21 * 38 24 44 50 37 41 36 29 18 41 * 31 30 14 43 38 18 9 26 10 53 * * * * * * 5 33 32 12 33 * 37 38 22 29 * 32 36 28 42 22 13 40 39 36 34 38 31 * 51 39 7 24 25 27 33 11 32 26 22 26 21 * 28 22 20 28 28 44 34 24 26 25 28 27 53 31 33 30 12 22 38 45 31 * * * * * * * * * * * * * 31 36 47 53 28 22 15 35 12 * 9 22 44 38 55 42 26 34 22 30 * 22 37 18 37 36 24 23 50 39 21 * 42 30 32 26 35 37 33 40 45 30 * * * * * * * * * * * * * * * * * * * 17 24 49 35 48 7 37 25 * 56 22 26 5 53 20 12 57 6 15 * 42 46 48 47 16 50 49 48 26 3 * 54 24 42 34 44 47 39 24 33 16 * * * * * * * * * * * * * * * * * * * * 45 37 25 32 36 33 39 * 45 50 42 32 27 20 24 35 29 50 * 40 46 21 5 12 * 35 30 43 50 * 36 47 42 32 30 12 46 22 * 15 * * * * * * * * * * * * * * * * * * * * * 28 45 14 25 17 41 * 30 38 28 37 35 25 38 16 35 37 * 44 19 39 33 34 21 40 10 39 21 * 51 41 23 35 34 51 17 9 48 34 * * * * * * * * * * * * * * * * * * * * * * 31 25 43 36 20 * 32 42 51 24 32 17 13 16 7 14 * 27 29 58 27 35 39 27 31 23 39 * 35 43 27 21 40 39 20 34 36 43 * * * * * * * * * * * * * * * * * * * * * * * 18 21 32 55 * 28 57 14 * 47 42 7 37 39 53 * 45 30 * 18 20 41 18 25 51 45 * 31 22 43 30 21 18 42 30 26 28 * * * * * * * * * * * * * * * * * * * * * * * * 34 34 26 * 27 40 30 21 10 19 41 41 28 27 * 34 18 32 47 42 24 50 * 39 36 * 30 21 30 32 36 23 41 23 24 7 * * * * * * * * * * * * * * * * * * * * * * * * * 53 27 * 29 22 52 36 53 35 37 18 25 47 * 33 4 46 55 23 32 13 25 15 16 * 35 34 36 26 29 22 33 29 58 32 * * * * * * * * * * * * * * * * * * * * * * * * * * 33 * 27 45 22 45 45 36 48 37 44 18 * 26 44 21 31 25 28 32 33 20 46 * 12 37 17 12 31 39 34 38 17 9 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 41 21 35 4 33 29 21 18 39 27 * 25 28 13 24 33 50 41 44 55 21 * 38 44 39 32 19 19 18 10 22 42 * * * * * * 37 17 51 9 27 25 19 54 48 45 * 29 35 12 40 24 22 36 29 43 53 * 26 11 32 30 59 29 31 8 36 37 22 21 55 14 34 24 30 32 40 39 38 45 34 24 26 32 33 17 25 33 24 38 9 32 40 33 18 * * * * * * * * * * * * * * * * * * * * * * * * 30 38 53 13 19 5 36 31 31 * 30 27 25 18 * 37 33 43 25 15 * 46 21 18 51 10 13 14 24 24 27 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 25 54 48 35 36 42 34 36 * 24 46 23 31 39 28 26 41 31 43 * 15 35 47 26 4 40 55 38 19 49 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 39 35 54 17 24 52 30 * 40 23 30 30 34 * 24 15 50 17 * 20 17 31 22 49 36 17 19 17 27 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 47 24 32 16 25 27 * 25 20 41 23 44 37 21 7 12 38 * 24 31 34 24 45 26 16 35 5 12 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 30 15 16 25 25 * 54 14 38 24 24 23 28 48 26 37 * 16 29 48 16 29 25 31 19 42 38 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 30 44 22 31 * 36 40 7 39 40 35 30 22 44 40 * 37 13 51 39 20 22 34 32 46 29 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 43 57 27 * 5 41 57 36 39 24 22 29 47 38 * 25 45 13 49 32 35 29 40 47 24 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 11 14 * 47 23 26 44 22 34 17 40 18 38 * 44 26 15 29 17 36 18 28 26 31 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 47 * 20 37 27 18 32 8 49 14 15 21 * 24 25 37 39 41 2 45 29 8 43 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 44 25 36 26 33 39 10 36 36 23 * 21 27 34 41 49 33 30 49 16 22 * * * * * * 52 30 21 16 20 21 39 25 49 14 * 42 49 29 35 20 22 13 13 30 50 * 44 12 35 32 10 52 36 10 32 32 * 23 51 33 32 26 14 18 28 24 35 26 31 17 39 49 37 26 28 50 36 * 55 14 36 16 45 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 42 32 34 35 13 37 20 10 40 * 30 35 39 42 5 15 38 35 13 47 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 53 15 * 52 55 33 46 31 * 40 29 44 43 39 49 57 10 38 29 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 25 34 35 14 45 45 48 * * 44 11 23 45 39 44 38 30 21 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 24 35 37 * 14 22 * 40 18 28 58 22 50 38 9 52 32 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 23 24 31 19 10 * 9 32 27 17 33 38 19 23 45 34 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 49 32 44 50 * 26 17 17 44 42 56 29 9 44 28 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 7 34 15 * 48 33 21 46 36 41 19 33 27 37 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 38 9 * 38 27 3 27 17 29 29 38 18 38 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 9 * 51 32 37 12 15 30 17 47 33 48 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 14 24 39 30 10 13 21 37 29 49 * * * * * * 40 57 9 41 30 24 13 42 22 44 * 39 53 35 7 56 40 41 17 18 * * * 29 42 28 41 51 39 34 17 41 * 15 41 40 23 28 44 17 43 39 44 * 1 11 34 24 19 41 28 25 31 30 8 42 38 39 36 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 60 50 34 22 33 40 43 29 32 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 26 20 41 26 45 24 44 6 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 34 42 33 47 47 45 40 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 45 31 22 12 56 38 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 33 16 * 33 42 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 8 51 24 18 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 46 17 38 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 38 6 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 23 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 26 19 * 7 22 31 42 11 * 48 * 41 22 25 41 25 18 32 33 55 8 * 25 57 9 31 28 24 47 10 48 34 * 35 31 25 28 22 48 5 40 36 37 * 20 44 55 33 12 42 28 36 45 16 * 10 34 48 51 * 30 46 45 29 20 37 21 34 32 28 * 7 23 17 47 11 48 25 36 30 39 * 29 33 43 51 36 49 * 20 7 55 * 47 29 52 38 52 26 18 48 35 23 * 21 27 31 32 12 40 31 39 14 46 * * 46 20 45 * 36 50 37 42 47 49 32 8 13 4 * 44 35 27 36 10 26 29 41 53 14 * 44 18 30 33 10 27 41 11 * 27 * 48 40 45 34 40 * 37 33 36 57 * 30 26 42 38 51 42 28 24 28 33 * * * 47 26 * 45 10 40 7 53 30 45 40 41 23 * 8 38 26 28 37 43 35 28 13 38 * 20 54 14 24 40 14 33 25 19 7 * 20 29 14 47 43 33 31 37 15 29 * 16 43 38 33 47 14 31 19 38 16 * * * * 23 * 48 32 32 46 26 43 33 30 24 47 * 53 28 12 38 * 15 23 30 44 15 * 32 39 49 21 27 26 23 5 47 30 * 15 13 37 40 37 5 43 14 31 30 * 24 46 38 45 31 36 24 58 47 34 * * * * * 58 10 32 8 13 51 2 14 30 35 9 52 49 47 0 34 22 41 53 50 15 7 3 43 44 55 56 59 24 5 26 18 21 31 40 36 12 33 19 4 48 46 38 17 45 57 54 20 25 37 29 6 23 42 27 1 16 28 39 11 </values> 2400.08/2400.50 v </instantiation> 2400.08/2400.50
OK 1615360
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 (15135 MiB free) memory of node 1: 16384 MiB (15693 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408829-1569790186/watcher-4408829-1569790186 -o /tmp/evaluation-result-4408829-1569790186/solver-4408829-1569790186 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1569787353-6072 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408829-1569790186.xml running on 4 cores: 0,2,4,6 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=6910, runsolver pid=6907 [startup+0.100116 s]* /proc/loadavg: 1.98 2.01 1.90 3/199 6911 /proc/meminfo: memFree=31540028/32770624 swapFree=66999984/67108860 [pid=6910] ppid=6907 vsize=57532 memory=33780 CPUtime=0.1 cores=0,2,4,6 /proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 8650 0 0 0 9 1 0 0 20 0 1 0 555283383 58912768 8445 33554432000 4194304 6211132 140729245355904 140729245352440 5188703 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0 /proc/6910/statm: 14383 8445 822 493 0 7688 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 57532 KiB Current children cumulated memory: 33780 KiB [startup+0.209612 s]* /proc/loadavg: 1.98 2.01 1.90 3/199 6911 /proc/meminfo: memFree=31488320/32770624 swapFree=66999984/67108860 [pid=6910] ppid=6907 vsize=108808 memory=85260 CPUtime=0.2 cores=0,2,4,6 /proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 21518 0 0 0 18 2 0 0 20 0 1 0 555283383 111419392 21315 33554432000 4194304 6211132 140729245355904 140729245352440 5039014 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0 /proc/6910/statm: 27202 21315 830 493 0 20507 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 108808 KiB Current children cumulated memory: 85260 KiB [startup+0.309553 s]* /proc/loadavg: 1.98 2.01 1.90 3/199 6911 /proc/meminfo: memFree=31488320/32770624 swapFree=66999984/67108860 [pid=6910] ppid=6907 vsize=108808 memory=85260 CPUtime=0.3 cores=0,2,4,6 /proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 21519 0 0 0 28 2 0 0 20 0 1 0 555283383 111419392 21315 33554432000 4194304 6211132 140729245355904 140729245352440 5038964 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0 /proc/6910/statm: 27202 21315 830 493 0 20507 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 108808 KiB Current children cumulated memory: 85260 KiB [startup+0.700342 s] /proc/loadavg: 1.98 2.01 1.90 3/199 6911 /proc/meminfo: memFree=31487948/32770624 swapFree=66999984/67108860 [pid=6910] ppid=6907 vsize=108808 memory=85260 CPUtime=0.69 cores=0,2,4,6 /proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 21519 0 0 0 67 2 0 0 20 0 1 0 555283383 111419392 21315 33554432000 4194304 6211132 140729245355904 140729245352440 5039029 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0 /proc/6910/statm: 27202 21315 830 493 0 20507 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 108808 KiB Current children cumulated memory: 85260 KiB [startup+1.50034 s] /proc/loadavg: 1.98 2.01 1.90 3/199 6911 /proc/meminfo: memFree=31487484/32770624 swapFree=66999984/67108860 [pid=6910] ppid=6907 vsize=110392 memory=86844 CPUtime=1.49 cores=0,2,4,6 /proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 21901 0 0 0 147 2 0 0 20 0 1 0 555283383 113041408 21711 33554432000 4194304 6211132 140729245355904 140729245353224 5039022 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0 /proc/6910/statm: 27598 21711 873 493 0 20903 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 110392 KiB Current children cumulated memory: 86844 KiB [startup+3.10951 s] /proc/loadavg: 1.98 2.01 1.90 3/199 6911 /proc/meminfo: memFree=31469152/32770624 swapFree=66999984/67108860 [pid=6910] ppid=6907 vsize=127416 memory=104008 CPUtime=3.09 cores=0,2,4,6 /proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 45974 0 0 0 305 4 0 0 20 0 1 0 555283383 130473984 26002 33554432000 4194304 6211132 140729245355904 140729245343784 5037847 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0 /proc/6910/statm: 31854 26002 874 493 0 25159 0 Current children cumulated CPU time: 3.09 s Current children cumulated vsize: 127416 KiB Current children cumulated memory: 104008 KiB [startup+6.30022 s] /proc/loadavg: 1.98 2.01 1.90 3/199 6911 /proc/meminfo: memFree=31466980/32770624 swapFree=66999984/67108860 [pid=6910] ppid=6907 vsize=130084 memory=106576 CPUtime=6.29 cores=0,2,4,6 /proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 67306 0 0 0 623 6 0 0 20 0 1 0 555283383 133206016 26644 33554432000 4194304 6211132 140729245355904 140729245353112 5396788 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0 /proc/6910/statm: 32521 26644 874 493 0 25826 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 130084 KiB Current children cumulated memory: 106576 KiB [startup+12.7003 s] /proc/loadavg: 1.98 2.01 1.91 3/199 6911 /proc/meminfo: memFree=31459448/32770624 swapFree=66999984/67108860 [pid=6910] ppid=6907 vsize=136652 memory=113204 CPUtime=12.69 cores=0,2,4,6 /proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 89757 0 0 0 1262 7 0 0 20 0 1 0 555283383 139931648 28301 33554432000 4194304 6211132 140729245355904 140729245343784 5039014 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0 /proc/6910/statm: 34163 28301 874 493 0 27468 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 136652 KiB Current children cumulated memory: 113204 KiB [startup+25.5003 s] /proc/loadavg: 1.98 2.01 1.91 3/199 6912 /proc/meminfo: memFree=31456748/32770624 swapFree=66999984/67108860 [pid=6910] ppid=6907 vsize=138808 memory=115436 CPUtime=25.48 cores=0,2,4,6 /proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 134196 0 0 0 2539 9 0 0 20 0 1 0 555283383 142139392 28859 33554432000 4194304 6211132 140729245355904 140729245353112 5158060 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0 /proc/6910/statm: 34702 28859 874 493 0 28007 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 138808 KiB Current children cumulated memory: 115436 KiB [startup+51.1095 s] /proc/loadavg: 1.92 2.00 1.90 3/199 6979 /proc/meminfo: memFree=31453640/32770624 swapFree=66999984/67108860 [pid=6910] ppid=6907 vsize=140292 memory=116868 CPUtime=51.07 cores=0,2,4,6 /proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 153681 0 0 0 5097 10 0 0 20 0 1 0 555283383 143659008 29217 33554432000 4194304 6211132 140729245355904 140729245343784 5156211 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0 /proc/6910/statm: 35073 29217 874 493 0 28378 0 Current children cumulated CPU time: 51.07 s Current children cumulated vsize: 140292 KiB Current children cumulated memory: 116868 KiB [startup+102.3 s] /proc/loadavg: 1.93 1.98 1.90 3/199 6990 /proc/meminfo: memFree=31452328/32770624 swapFree=66999984/67108860 [pid=6910] ppid=6907 vsize=141512 memory=118112 CPUtime=102.24 cores=0,2,4,6 /proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 163858 0 0 0 10213 11 0 0 20 0 1 0 555283383 144908288 29528 33554432000 4194304 6211132 140729245355904 140729245353304 5035283 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0 /proc/6910/statm: 35378 29528 874 493 0 28683 0 Current children cumulated CPU time: 102.24 s Current children cumulated vsize: 141512 KiB Current children cumulated memory: 118112 KiB [startup+162.3 s] /proc/loadavg: 1.97 1.99 1.91 3/199 6994 /proc/meminfo: memFree=31452496/32770624 swapFree=66999984/67108860 [pid=6910] ppid=6907 vsize=141780 memory=118320 CPUtime=162.23 cores=0,2,4,6 /proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 164811 0 0 0 16212 11 0 0 20 0 1 0 555283383 145182720 29580 33554432000 4194304 6211132 140729245355904 140729245353112 5155836 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0 /proc/6910/statm: 35445 29580 874 493 0 28750 0 Current children cumulated CPU time: 162.23 s Current children cumulated vsize: 141780 KiB Current children cumulated memory: 118320 KiB [startup+222.3 s] /proc/loadavg: 1.92 1.96 1.90 3/200 7127 /proc/meminfo: memFree=31450356/32770624 swapFree=66999984/67108860 [pid=6910] ppid=6907 vsize=141780 memory=118396 CPUtime=222.21 cores=0,2,4,6 /proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 165737 0 0 0 22210 11 0 0 20 0 1 0 555283383 145182720 29599 33554432000 4194304 6211132 140729245355904 140729245353112 5157572 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0 /proc/6910/statm: 35445 29599 874 493 0 28750 0 Current children cumulated CPU time: 222.21 s Current children cumulated vsize: 141780 KiB Current children cumulated memory: 118396 KiB [startup+282.3 s] /proc/loadavg: 1.97 1.96 1.91 3/199 7131 /proc/meminfo: memFree=31450368/32770624 swapFree=66999984/67108860 [pid=6910] ppid=6907 vsize=141780 memory=118408 CPUtime=282.2 cores=0,2,4,6 /proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 166588 0 0 0 28209 11 0 0 20 0 1 0 555283383 145182720 29602 33554432000 4194304 6211132 140729245355904 140729245353112 5157576 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0 /proc/6910/statm: 35445 29602 874 493 0 28750 0 Current children cumulated CPU time: 282.2 s Current children cumulated vsize: 141780 KiB Current children cumulated memory: 118408 KiB [startup+342.3 s] /proc/loadavg: 1.99 1.97 1.92 3/199 7135 /proc/meminfo: memFree=31449924/32770624 swapFree=66999984/67108860 [pid=6910] ppid=6907 vsize=141780 memory=118408 CPUtime=342.19 cores=0,2,4,6 /proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 167010 0 0 0 34208 11 0 0 20 0 1 0 555283383 145182720 29602 33554432000 4194304 6211132 140729245355904 140729245353112 5158127 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0 /proc/6910/statm: 35445 29602 874 493 0 28750 0 Current children cumulated CPU time: 342.19 s Current children cumulated vsize: 141780 KiB Current children cumulated memory: 118408 KiB [startup+402.3 s] /proc/loadavg: 2.00 1.98 1.92 3/200 7142 /proc/meminfo: memFree=31449640/32770624 swapFree=66999984/67108860 [pid=6910] ppid=6907 vsize=141780 memory=118408 CPUtime=402.18 cores=0,2,4,6 /proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 167407 0 0 0 40207 11 0 0 20 0 1 0 555283383 145182720 29602 33554432000 4194304 6211132 140729245355904 140729245353112 5396782 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0 /proc/6910/statm: 35445 29602 874 493 0 28750 0 Current children cumulated CPU time: 402.18 s Current children cumulated vsize: 141780 KiB Current children cumulated memory: 118408 KiB [startup+462.3 s] /proc/loadavg: 2.00 1.98 1.93 3/199 7146 /proc/meminfo: memFree=31449480/32770624 swapFree=66999984/67108860 [pid=6910] ppid=6907 vsize=141780 memory=118408 CPUtime=462.17 cores=0,2,4,6 /proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 167813 0 0 0 46206 11 0 0 20 0 1 0 555283383 145182720 29602 33554432000 4194304 6211132 140729245355904 140729245353112 5158055 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0 /proc/6910/statm: 35445 29602 874 493 0 28750 0 Current children cumulated CPU time: 462.17 s Current children cumulated vsize: 141780 KiB Current children cumulated memory: 118408 KiB ################ # More data... # ################ /proc/6910/statm: 35478 29628 874 493 0 28783 0 Current children cumulated CPU time: 1661.97 s Current children cumulated vsize: 141912 KiB Current children cumulated memory: 118512 KiB [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.00 3/199 7306 /proc/meminfo: memFree=31449840/32770624 swapFree=66999984/67108860 [pid=6910] ppid=6907 vsize=141912 memory=118512 CPUtime=1721.96 cores=0,2,4,6 /proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 176267 0 0 0 172183 13 0 0 20 0 1 0 555283383 145317888 29628 33554432000 4194304 6211132 140729245355904 140729245343784 5158008 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0 /proc/6910/statm: 35478 29628 874 493 0 28783 0 Current children cumulated CPU time: 1721.96 s Current children cumulated vsize: 141912 KiB Current children cumulated memory: 118512 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.00 3/199 7310 /proc/meminfo: memFree=31450252/32770624 swapFree=66999984/67108860 [pid=6910] ppid=6907 vsize=141912 memory=118512 CPUtime=1781.95 cores=0,2,4,6 /proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 176574 0 0 0 178182 13 0 0 20 0 1 0 555283383 145317888 29628 33554432000 4194304 6211132 140729245355904 140729245343784 5380288 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0 /proc/6910/statm: 35478 29628 874 493 0 28783 0 Current children cumulated CPU time: 1781.95 s Current children cumulated vsize: 141912 KiB Current children cumulated memory: 118512 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.00 3/200 7316 /proc/meminfo: memFree=31449820/32770624 swapFree=66999984/67108860 [pid=6910] ppid=6907 vsize=141912 memory=118512 CPUtime=1841.94 cores=0,2,4,6 /proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 176995 0 0 0 184181 13 0 0 20 0 1 0 555283383 145317888 29628 33554432000 4194304 6211132 140729245355904 140729245343784 5156264 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0 /proc/6910/statm: 35478 29628 874 493 0 28783 0 Current children cumulated CPU time: 1841.94 s Current children cumulated vsize: 141912 KiB Current children cumulated memory: 118512 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.00 3/200 7328 /proc/meminfo: memFree=31449796/32770624 swapFree=66999984/67108860 [pid=6910] ppid=6907 vsize=141912 memory=118512 CPUtime=1901.93 cores=0,2,4,6 /proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 177302 0 0 0 190180 13 0 0 20 0 1 0 555283383 145317888 29628 33554432000 4194304 6211132 140729245355904 140729245343784 5392113 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0 /proc/6910/statm: 35478 29628 874 493 0 28783 0 Current children cumulated CPU time: 1901.93 s Current children cumulated vsize: 141912 KiB Current children cumulated memory: 118512 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.00 3/200 7332 /proc/meminfo: memFree=31449996/32770624 swapFree=66999984/67108860 [pid=6910] ppid=6907 vsize=141912 memory=118512 CPUtime=1961.91 cores=0,2,4,6 /proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 177612 0 0 0 196178 13 0 0 20 0 1 0 555283383 145317888 29628 33554432000 4194304 6211132 140729245355904 140729245343784 5035312 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0 /proc/6910/statm: 35478 29628 874 493 0 28783 0 Current children cumulated CPU time: 1961.91 s Current children cumulated vsize: 141912 KiB Current children cumulated memory: 118512 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.00 3/201 7338 /proc/meminfo: memFree=31449004/32770624 swapFree=66999984/67108860 [pid=6910] ppid=6907 vsize=141912 memory=118512 CPUtime=2021.9 cores=0,2,4,6 /proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 178031 0 0 0 202177 13 0 0 20 0 1 0 555283383 145317888 29628 33554432000 4194304 6211132 140729245355904 140729245343784 5396788 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0 /proc/6910/statm: 35478 29628 874 493 0 28783 0 Current children cumulated CPU time: 2021.9 s Current children cumulated vsize: 141912 KiB Current children cumulated memory: 118512 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.00 3/200 7342 /proc/meminfo: memFree=31449460/32770624 swapFree=66999984/67108860 [pid=6910] ppid=6907 vsize=141912 memory=118512 CPUtime=2081.89 cores=0,2,4,6 /proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 178353 0 0 0 208176 13 0 0 20 0 1 0 555283383 145317888 29628 33554432000 4194304 6211132 140729245355904 140729245343784 5193728 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0 /proc/6910/statm: 35478 29628 874 493 0 28783 0 Current children cumulated CPU time: 2081.89 s Current children cumulated vsize: 141912 KiB Current children cumulated memory: 118512 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.00 3/200 7346 /proc/meminfo: memFree=31448956/32770624 swapFree=66999984/67108860 [pid=6910] ppid=6907 vsize=141912 memory=118512 CPUtime=2141.88 cores=0,2,4,6 /proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 178790 0 0 0 214175 13 0 0 20 0 1 0 555283383 145317888 29628 33554432000 4194304 6211132 140729245355904 140729245343784 5389446 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0 /proc/6910/statm: 35478 29628 874 493 0 28783 0 Current children cumulated CPU time: 2141.88 s Current children cumulated vsize: 141912 KiB Current children cumulated memory: 118512 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.01 2.00 3/200 7353 /proc/meminfo: memFree=31448944/32770624 swapFree=66999984/67108860 [pid=6910] ppid=6907 vsize=141912 memory=118512 CPUtime=2201.88 cores=0,2,4,6 /proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 179234 0 0 0 220175 13 0 0 20 0 1 0 555283383 145317888 29628 33554432000 4194304 6211132 140729245355904 140729245354040 5155832 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0 /proc/6910/statm: 35478 29628 874 493 0 28783 0 Current children cumulated CPU time: 2201.88 s Current children cumulated vsize: 141912 KiB Current children cumulated memory: 118512 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.00 3/199 7357 /proc/meminfo: memFree=31448436/32770624 swapFree=66999984/67108860 [pid=6910] ppid=6907 vsize=141912 memory=118512 CPUtime=2261.88 cores=0,2,4,6 /proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 179546 0 0 0 226175 13 0 0 20 0 1 0 555283383 145317888 29628 33554432000 4194304 6211132 140729245355904 140729245354040 5158138 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0 /proc/6910/statm: 35478 29628 874 493 0 28783 0 Current children cumulated CPU time: 2261.88 s Current children cumulated vsize: 141912 KiB Current children cumulated memory: 118512 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.00 3/199 7361 /proc/meminfo: memFree=31447996/32770624 swapFree=66999984/67108860 [pid=6910] ppid=6907 vsize=141912 memory=118512 CPUtime=2321.88 cores=0,2,4,6 /proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 179860 0 0 0 232175 13 0 0 20 0 1 0 555283383 145317888 29628 33554432000 4194304 6211132 140729245355904 140729245354040 5157576 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0 /proc/6910/statm: 35478 29628 874 493 0 28783 0 Current children cumulated CPU time: 2321.88 s Current children cumulated vsize: 141912 KiB Current children cumulated memory: 118512 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.00 3/200 7368 /proc/meminfo: memFree=31447060/32770624 swapFree=66999984/67108860 [pid=6910] ppid=6907 vsize=141912 memory=118512 CPUtime=2381.88 cores=0,2,4,6 /proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 180289 0 0 0 238175 13 0 0 20 0 1 0 555283383 145317888 29628 33554432000 4194304 6211132 140729245355904 140729245354040 5155836 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0 /proc/6910/statm: 35478 29628 874 493 0 28783 0 Current children cumulated CPU time: 2381.88 s Current children cumulated vsize: 141912 KiB Current children cumulated memory: 118512 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.5 s] /proc/loadavg: 2.00 2.01 2.00 3/199 7369 /proc/meminfo: memFree=31447500/32770624 swapFree=66999984/67108860 [pid=6910] ppid=6907 vsize=141912 memory=118512 CPUtime=2400.08 cores=0,2,4,6 /proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 180603 0 0 0 239995 13 0 0 20 0 1 0 555283383 145317888 29628 33554432000 4194304 6211132 140729245355904 140729245354040 5156264 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0 /proc/6910/statm: 35478 29628 874 493 0 28783 0 Current children cumulated CPU time: 2400.08 s Current children cumulated vsize: 141912 KiB Current children cumulated memory: 118512 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2400.5 s] # the end of solver process 6910 was just reported to runsolver # cumulated CPU time of all completed processes: user=2399.96 s, system=0.135978 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.5 s] /proc/loadavg: 2.00 2.01 2.00 3/199 7369 /proc/meminfo: memFree=31447500/32770624 swapFree=66999984/67108860 [pid=6910] ppid=6907 vsize=141912 memory=118512 CPUtime=2400.08 cores=0,2,4,6 /proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 180603 0 0 0 239995 13 0 0 20 0 1 0 555283383 145317888 29628 33554432000 4194304 6211132 140729245355904 140729245354040 5156264 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0 /proc/6910/statm: 35478 29628 874 493 0 28783 0 Current children cumulated CPU time: 2400.08 s Current children cumulated vsize: 141912 KiB Current children cumulated memory: 118512 KiB Child status: 1 Real time (s): 2400.5 CPU time (s): 2400.09 CPU user time (s): 2399.96 CPU system time (s): 0.135978 CPU usage (%): 99.983 Max. virtual memory (cumulated for all children) (KiB): 141912 Max. memory (cumulated for all children) (KiB): 118512 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.96 system time used= 0.135978 maximum resident set size= 118576 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 180661 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= 57 involuntary context switches= 2271 # summary of solver processes directly reported to runsolver: # pid: 6910 # total CPU time (s): 2400.09 # total CPU user time (s): 2399.96 # total CPU system time (s): 0.135978 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.64486 second user time and 15.9037 second system time The end
Begin job on node123 at 2019-09-29 22:49:06 IDJOB=4408829 IDBENCH=123115 IDSOLVER=2875 FILE ID=node123/4408829-1569790186 RUNJOBID= node123-1569787353-6072 PBS_JOBID= 21705830 Free space on /tmp= 62028 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-lipa60b.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408829-1569790186/watcher-4408829-1569790186 -o /tmp/evaluation-result-4408829-1569790186/solver-4408829-1569790186 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1569787353-6072 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408829-1569790186.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d3c2bfd6fc3d7b839ebf0f38d378e232 RANDOM SEED=236993948 node123.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.49 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.49 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.49 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.49 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: 31569900 kB MemAvailable: 31853100 kB Buffers: 183916 kB Cached: 420900 kB SwapCached: 6544 kB Active: 307632 kB Inactive: 309712 kB Active(anon): 21740 kB Inactive(anon): 71784 kB Active(file): 285892 kB Inactive(file): 237928 kB Unevictable: 107612 kB Mlocked: 107612 kB SwapTotal: 67108860 kB SwapFree: 66999984 kB Dirty: 2888 kB Writeback: 0 kB AnonPages: 113732 kB Mapped: 27872 kB Shmem: 72640 kB Slab: 180812 kB SReclaimable: 150428 kB SUnreclaim: 30384 kB KernelStack: 3504 kB PageTables: 5372 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 569120 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 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 node123 at 2019-09-29 23:29:07