| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-sat 1.12 | SAT | 1432.09 | 1432.05 |
| Name | Bibd/Bibd-sc-stab2/ Bibd-sc-06-03-06.xml |
| MD5SUM | ff6ab5e1120ff4c45101ac036dd13766 |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 0.87033898 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1260 |
| Number of constraints | 502 |
| Number of domains | 1 |
| Minimum domain size | 2 |
| Maximum domain size | 2 |
| Distribution of domain sizes | [{"size":2,"count":630}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 8 |
| Distribution of variable degrees | [{"degree":0,"count":630},{"degree":2,"count":450},{"degree":8,"count":180}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 180 |
| Distribution of constraint arities | [{"arity":3,"count":450},{"arity":6,"count":30},{"arity":30,"count":21},{"arity":180,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 450 |
| Distribution of constraint types | [{"type":"intension","count":450},{"type":"lex","count":1},{"type":"sum","count":51}] |
| Optimization problem | NO |
| Type of objective |
0.44/0.57 c SAT : Variables: 2520 -- Clauses: 2520 0.44/0.57 c root propagations : 0 0.44/0.57 c restarts enabled, print stats at every restarts 0.44/0.57 c 0.44/0.57 c 0.44/0.57 c 0.44/0.57 c This is cosoco 1.12 -- 0.44/0.57 c 0.44/0.57 c command line: cosoco -lc -model -restarts -sat HOME/instance-4265984-1502571190.xml 0.44/0.57 c ========================================[ Problem Statistics ]=========================================== 0.44/0.57 c | 0.44/0.57 c | Parse time : 0.50 s 0.44/0.57 c | 0.44/0.57 c | Variables: 1260 0.44/0.57 c | Domain Sizes: 2..2 0.44/0.57 c | 0.44/0.57 c | Constraints: 535 0.44/0.57 c | Arity: 3..60 -- Ternary: 450 0.44/0.57 c | 0.44/0.57 c | Types: 0.44/0.57 c | Intension: 450 0.44/0.57 c | Lex: 34 0.44/0.57 c | Sum: 51 0.44/0.57 c | 0.44/0.57 c ========================================================================================================= 0.44/0.57 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.44/0.57 c remove useless variable s[0][0][0] 0.44/0.57 c remove useless variable s[0][0][1] 0.44/0.57 c remove useless variable s[0][0][2] 0.44/0.57 c remove useless variable s[0][0][3] 0.44/0.57 c remove useless variable s[0][0][4] 0.44/0.57 c remove useless variable s[0][0][5] 0.44/0.57 c remove useless variable s[0][0][6] 0.44/0.57 c remove useless variable s[0][0][7] 0.44/0.57 c remove useless variable s[0][0][8] 0.44/0.57 c remove useless variable s[0][0][9] 0.44/0.57 c remove useless variable s[0][0][10] 0.44/0.57 c remove useless variable s[0][0][11] 0.44/0.57 c remove useless variable s[0][0][12] 0.44/0.57 c remove useless variable s[0][0][13] 0.44/0.57 c remove useless variable s[0][0][14] 0.44/0.57 c remove useless variable s[0][0][15] 0.44/0.57 c remove useless variable s[0][0][16] 0.44/0.57 c remove useless variable s[0][0][17] 0.44/0.57 c remove useless variable s[0][0][18] 0.44/0.57 c remove useless variable s[0][0][19] 0.44/0.57 c remove useless variable s[0][0][20] 0.44/0.57 c remove useless variable s[0][0][21] 0.44/0.57 c remove useless variable s[0][0][22] 0.44/0.57 c remove useless variable s[0][0][23] 0.44/0.57 c remove useless variable s[0][0][24] 0.44/0.57 c remove useless variable s[0][0][25] 0.44/0.57 c remove useless variable s[0][0][26] 0.44/0.57 c remove useless variable s[0][0][27] 0.44/0.57 c remove useless variable s[0][0][28] 0.44/0.57 c remove useless variable s[0][0][29] 0.44/0.57 c remove useless variable s[1][0][0] 0.44/0.57 c remove useless variable s[1][0][1] 0.44/0.57 c remove useless variable s[1][0][2] 0.44/0.57 c remove useless variable s[1][0][3] 0.44/0.57 c remove useless variable s[1][0][4] 0.44/0.57 c remove useless variable s[1][0][5] 0.44/0.57 c remove useless variable s[1][0][6] 0.44/0.57 c remove useless variable s[1][0][7] 0.44/0.57 c remove useless variable s[1][0][8] 0.44/0.57 c remove useless variable s[1][0][9] 0.44/0.57 c remove useless variable s[1][0][10] 0.44/0.57 c remove useless variable s[1][0][11] 0.44/0.57 c remove useless variable s[1][0][12] 0.44/0.57 c remove useless variable s[1][0][13] 0.44/0.57 c remove useless variable s[1][0][14] 0.44/0.57 c remove useless variable s[1][0][15] 0.44/0.57 c remove useless variable s[1][0][16] 0.44/0.57 c remove useless variable s[1][0][17] 0.44/0.57 c remove useless variable s[1][0][18] 0.44/0.57 c remove useless variable s[1][0][19] 0.44/0.57 c remove useless variable s[1][0][20] 0.44/0.57 c remove useless variable s[1][0][21] 0.44/0.57 c remove useless variable s[1][0][22] 0.44/0.57 c remove useless variable s[1][0][23] 0.44/0.57 c remove useless variable s[1][0][24] 0.44/0.57 c remove useless variable s[1][0][25] 0.44/0.57 c remove useless variable s[1][0][26] 0.44/0.57 c remove useless variable s[1][0][27] 0.44/0.57 c remove useless variable s[1][0][28] 0.44/0.57 c remove useless variable s[1][0][29] 0.44/0.57 c remove useless variable s[1][1][0] 0.44/0.57 c remove useless variable s[1][1][1] 0.44/0.57 c remove useless variable s[1][1][2] 0.44/0.57 c remove useless variable s[1][1][3] 0.44/0.57 c remove useless variable s[1][1][4] 0.44/0.57 c remove useless variable s[1][1][5] 0.44/0.57 c remove useless variable s[1][1][6] 0.44/0.57 c remove useless variable s[1][1][7] 0.44/0.57 c remove useless variable s[1][1][8] 0.44/0.57 c remove useless variable s[1][1][9] 0.44/0.57 c remove useless variable s[1][1][10] 0.44/0.57 c remove useless variable s[1][1][11] 0.44/0.57 c remove useless variable s[1][1][12] 0.44/0.57 c remove useless variable s[1][1][13] 0.44/0.57 c remove useless variable s[1][1][14] 0.44/0.57 c remove useless variable s[1][1][15] 0.44/0.57 c remove useless variable s[1][1][16] 0.44/0.57 c remove useless variable s[1][1][17] 0.44/0.57 c remove useless variable s[1][1][18] 0.44/0.57 c remove useless variable s[1][1][19] 0.44/0.57 c remove useless variable s[1][1][20] 0.44/0.57 c remove useless variable s[1][1][21] 0.44/0.57 c remove useless variable s[1][1][22] 0.44/0.57 c remove useless variable s[1][1][23] 0.44/0.57 c remove useless variable s[1][1][24] 0.44/0.57 c remove useless variable s[1][1][25] 0.44/0.57 c remove useless variable s[1][1][26] 0.44/0.57 c remove useless variable s[1][1][27] 0.44/0.57 c remove useless variable s[1][1][28] 0.44/0.57 c remove useless variable s[1][1][29] 0.44/0.57 c remove useless variable s[2][0][0] 0.44/0.57 c remove useless variable s[2][0][1] 0.44/0.57 c remove useless variable s[2][0][2] 0.44/0.57 c remove useless variable s[2][0][3] 0.44/0.57 c remove useless variable s[2][0][4] 0.44/0.57 c remove useless variable s[2][0][5] 0.44/0.57 c remove useless variable s[2][0][6] 0.44/0.57 c remove useless variable s[2][0][7] 0.44/0.57 c remove useless variable s[2][0][8] 0.44/0.57 c remove useless variable s[2][0][9] 0.44/0.57 c remove useless variable s[2][0][10] 0.44/0.57 c remove useless variable s[2][0][11] 0.44/0.57 c remove useless variable s[2][0][12] 0.44/0.57 c remove useless variable s[2][0][13] 0.44/0.57 c remove useless variable s[2][0][14] 0.44/0.57 c remove useless variable s[2][0][15] 0.44/0.57 c remove useless variable s[2][0][16] 0.44/0.57 c remove useless variable s[2][0][17] 0.44/0.57 c remove useless variable s[2][0][18] 0.44/0.57 c remove useless variable s[2][0][19] 0.44/0.57 c remove useless variable s[2][0][20] 0.44/0.57 c remove useless variable s[2][0][21] 0.44/0.57 c remove useless variable s[2][0][22] 0.44/0.57 c remove useless variable s[2][0][23] 0.44/0.57 c remove useless variable s[2][0][24] 0.44/0.57 c remove useless variable s[2][0][25] 0.44/0.57 c remove useless variable s[2][0][26] 0.44/0.57 c remove useless variable s[2][0][27] 0.44/0.57 c remove useless variable s[2][0][28] 0.44/0.57 c remove useless variable s[2][0][29] 0.44/0.57 c remove useless variable s[2][1][0] 0.44/0.57 c remove useless variable s[2][1][1] 0.44/0.57 c remove useless variable s[2][1][2] 0.44/0.57 c remove useless variable s[2][1][3] 0.44/0.57 c remove useless variable s[2][1][4] 0.44/0.57 c remove useless variable s[2][1][5] 0.44/0.57 c remove useless variable s[2][1][6] 0.44/0.57 c remove useless variable s[2][1][7] 0.44/0.57 c remove useless variable s[2][1][8] 0.44/0.57 c remove useless variable s[2][1][9] 0.44/0.57 c remove useless variable s[2][1][10] 0.44/0.57 c remove useless variable s[2][1][11] 0.44/0.57 c remove useless variable s[2][1][12] 0.44/0.57 c remove useless variable s[2][1][13] 0.44/0.57 c remove useless variable s[2][1][14] 0.44/0.57 c remove useless variable s[2][1][15] 0.44/0.57 c remove useless variable s[2][1][16] 0.44/0.57 c remove useless variable s[2][1][17] 0.44/0.57 c remove useless variable s[2][1][18] 0.44/0.57 c remove useless variable s[2][1][19] 0.44/0.57 c remove useless variable s[2][1][20] 0.44/0.57 c remove useless variable s[2][1][21] 0.44/0.57 c remove useless variable s[2][1][22] 0.44/0.57 c remove useless variable s[2][1][23] 0.44/0.57 c remove useless variable s[2][1][24] 0.44/0.57 c remove useless variable s[2][1][25] 0.44/0.57 c remove useless variable s[2][1][26] 0.44/0.57 c remove useless variable s[2][1][27] 0.44/0.57 c remove useless variable s[2][1][28] 0.44/0.57 c remove useless variable s[2][1][29] 0.44/0.57 c remove useless variable s[2][2][0] 0.44/0.57 c remove useless variable s[2][2][1] 0.44/0.57 c remove useless variable s[2][2][2] 0.44/0.57 c remove useless variable s[2][2][3] 0.44/0.57 c remove useless variable s[2][2][4] 0.44/0.57 c remove useless variable s[2][2][5] 0.44/0.57 c remove useless variable s[2][2][6] 0.44/0.57 c remove useless variable s[2][2][7] 0.44/0.57 c remove useless variable s[2][2][8] 0.44/0.57 c remove useless variable s[2][2][9] 0.44/0.57 c remove useless variable s[2][2][10] 0.44/0.57 c remove useless variable s[2][2][11] 0.44/0.57 c remove useless variable s[2][2][12] 0.44/0.57 c remove useless variable s[2][2][13] 0.44/0.57 c remove useless variable s[2][2][14] 0.44/0.57 c remove useless variable s[2][2][15] 0.44/0.57 c remove useless variable s[2][2][16] 0.44/0.57 c remove useless variable s[2][2][17] 0.44/0.57 c remove useless variable s[2][2][18] 0.44/0.57 c remove useless variable s[2][2][19] 0.44/0.57 c remove useless variable s[2][2][20] 0.44/0.57 c remove useless variable s[2][2][21] 0.44/0.57 c remove useless variable s[2][2][22] 0.44/0.57 c remove useless variable s[2][2][23] 0.44/0.57 c remove useless variable s[2][2][24] 0.44/0.57 c remove useless variable s[2][2][25] 0.44/0.57 c remove useless variable s[2][2][26] 0.44/0.57 c remove useless variable s[2][2][27] 0.44/0.57 c remove useless variable s[2][2][28] 0.44/0.57 c remove useless variable s[2][2][29] 0.44/0.57 c remove useless variable s[3][0][0] 0.44/0.57 c remove useless variable s[3][0][1] 0.44/0.57 c remove useless variable s[3][0][2] 0.44/0.57 c remove useless variable s[3][0][3] 0.44/0.57 c remove useless variable s[3][0][4] 0.44/0.57 c remove useless variable s[3][0][5] 0.44/0.57 c remove useless variable s[3][0][6] 0.44/0.57 c remove useless variable s[3][0][7] 0.44/0.57 c remove useless variable s[3][0][8] 0.44/0.57 c remove useless variable s[3][0][9] 0.44/0.57 c remove useless variable s[3][0][10] 0.44/0.57 c remove useless variable s[3][0][11] 0.44/0.57 c remove useless variable s[3][0][12] 0.44/0.57 c remove useless variable s[3][0][13] 0.44/0.57 c remove useless variable s[3][0][14] 0.44/0.57 c remove useless variable s[3][0][15] 0.44/0.57 c remove useless variable s[3][0][16] 0.44/0.57 c remove useless variable s[3][0][17] 0.44/0.57 c remove useless variable s[3][0][18] 0.44/0.57 c remove useless variable s[3][0][19] 0.44/0.57 c remove useless variable s[3][0][20] 0.44/0.57 c remove useless variable s[3][0][21] 0.44/0.57 c remove useless variable s[3][0][22] 0.44/0.57 c remove useless variable s[3][0][23] 0.44/0.57 c remove useless variable s[3][0][24] 0.44/0.57 c remove useless variable s[3][0][25] 0.44/0.57 c remove useless variable s[3][0][26] 0.44/0.57 c remove useless variable s[3][0][27] 0.44/0.57 c remove useless variable s[3][0][28] 0.44/0.57 c remove useless variable s[3][0][29] 0.44/0.57 c remove useless variable s[3][1][0] 0.44/0.57 c remove useless variable s[3][1][1] 0.44/0.57 c remove useless variable s[3][1][2] 0.44/0.57 c remove useless variable s[3][1][3] 0.44/0.57 c remove useless variable s[3][1][4] 0.44/0.57 c remove useless variable s[3][1][5] 0.44/0.57 c remove useless variable s[3][1][6] 0.44/0.57 c remove useless variable s[3][1][7] 0.44/0.57 c remove useless variable s[3][1][8] 0.44/0.57 c remove useless variable s[3][1][9] 0.44/0.57 c remove useless variable s[3][1][10] 0.44/0.57 c remove useless variable s[3][1][11] 0.44/0.57 c remove useless variable s[3][1][12] 0.44/0.57 c remove useless variable s[3][1][13] 0.44/0.57 c remove useless variable s[3][1][14] 0.44/0.57 c remove useless variable s[3][1][15] 0.44/0.57 c remove useless variable s[3][1][16] 0.44/0.57 c remove useless variable s[3][1][17] 0.44/0.57 c remove useless variable s[3][1][18] 0.44/0.57 c remove useless variable s[3][1][19] 0.44/0.57 c remove useless variable s[3][1][20] 0.44/0.57 c remove useless variable s[3][1][21] 0.44/0.57 c remove useless variable s[3][1][22] 0.44/0.57 c remove useless variable s[3][1][23] 0.44/0.57 c remove useless variable s[3][1][24] 0.44/0.57 c remove useless variable s[3][1][25] 0.44/0.57 c remove useless variable s[3][1][26] 0.44/0.57 c remove useless variable s[3][1][27] 0.44/0.57 c remove useless variable s[3][1][28] 0.44/0.57 c remove useless variable s[3][1][29] 0.44/0.57 c remove useless variable s[3][2][0] 0.44/0.57 c remove useless variable s[3][2][1] 0.44/0.57 c remove useless variable s[3][2][2] 0.44/0.57 c remove useless variable s[3][2][3] 0.44/0.57 c remove useless variable s[3][2][4] 0.44/0.57 c remove useless variable s[3][2][5] 0.44/0.57 c remove useless variable s[3][2][6] 0.44/0.57 c remove useless variable s[3][2][7] 0.44/0.57 c remove useless variable s[3][2][8] 0.44/0.57 c remove useless variable s[3][2][9] 0.44/0.57 c remove useless variable s[3][2][10] 0.44/0.57 c remove useless variable s[3][2][11] 0.44/0.57 c remove useless variable s[3][2][12] 0.44/0.57 c remove useless variable s[3][2][13] 0.44/0.57 c remove useless variable s[3][2][14] 0.44/0.57 c remove useless variable s[3][2][15] 0.44/0.57 c remove useless variable s[3][2][16] 0.44/0.57 c remove useless variable s[3][2][17] 0.44/0.57 c remove useless variable s[3][2][18] 0.44/0.57 c remove useless variable s[3][2][19] 0.44/0.57 c remove useless variable s[3][2][20] 0.44/0.57 c remove useless variable s[3][2][21] 0.44/0.57 c remove useless variable s[3][2][22] 0.44/0.57 c remove useless variable s[3][2][23] 0.44/0.57 c remove useless variable s[3][2][24] 0.44/0.57 c remove useless variable s[3][2][25] 0.44/0.57 c remove useless variable s[3][2][26] 0.44/0.57 c remove useless variable s[3][2][27] 0.44/0.57 c remove useless variable s[3][2][28] 0.44/0.57 c remove useless variable s[3][2][29] 0.44/0.57 c remove useless variable s[3][3][0] 0.44/0.57 c remove useless variable s[3][3][1] 0.44/0.57 c remove useless variable s[3][3][2] 0.44/0.57 c remove useless variable s[3][3][3] 0.44/0.57 c remove useless variable s[3][3][4] 0.44/0.57 c remove useless variable s[3][3][5] 0.44/0.57 c remove useless variable s[3][3][6] 0.44/0.57 c remove useless variable s[3][3][7] 0.44/0.57 c remove useless variable s[3][3][8] 0.44/0.57 c remove useless variable s[3][3][9] 0.44/0.57 c remove useless variable s[3][3][10] 0.44/0.57 c remove useless variable s[3][3][11] 0.44/0.57 c remove useless variable s[3][3][12] 0.44/0.57 c remove useless variable s[3][3][13] 0.44/0.57 c remove useless variable s[3][3][14] 0.44/0.57 c remove useless variable s[3][3][15] 0.44/0.57 c remove useless variable s[3][3][16] 0.44/0.57 c remove useless variable s[3][3][17] 0.44/0.57 c remove useless variable s[3][3][18] 0.44/0.57 c remove useless variable s[3][3][19] 0.44/0.57 c remove useless variable s[3][3][20] 0.44/0.57 c remove useless variable s[3][3][21] 0.44/0.57 c remove useless variable s[3][3][22] 0.44/0.57 c remove useless variable s[3][3][23] 0.44/0.57 c remove useless variable s[3][3][24] 0.44/0.57 c remove useless variable s[3][3][25] 0.44/0.57 c remove useless variable s[3][3][26] 0.44/0.57 c remove useless variable s[3][3][27] 0.44/0.57 c remove useless variable s[3][3][28] 0.44/0.57 c remove useless variable s[3][3][29] 0.44/0.57 c remove useless variable s[4][0][0] 0.44/0.57 c remove useless variable s[4][0][1] 0.44/0.57 c remove useless variable s[4][0][2] 0.44/0.57 c remove useless variable s[4][0][3] 0.44/0.57 c remove useless variable s[4][0][4] 0.44/0.57 c remove useless variable s[4][0][5] 0.44/0.57 c remove useless variable s[4][0][6] 0.44/0.57 c remove useless variable s[4][0][7] 0.44/0.57 c remove useless variable s[4][0][8] 0.44/0.57 c remove useless variable s[4][0][9] 0.44/0.57 c remove useless variable s[4][0][10] 0.44/0.57 c remove useless variable s[4][0][11] 0.44/0.57 c remove useless variable s[4][0][12] 0.44/0.57 c remove useless variable s[4][0][13] 0.44/0.57 c remove useless variable s[4][0][14] 0.44/0.57 c remove useless variable s[4][0][15] 0.44/0.57 c remove useless variable s[4][0][16] 0.44/0.57 c remove useless variable s[4][0][17] 0.44/0.57 c remove useless variable s[4][0][18] 0.44/0.57 c remove useless variable s[4][0][19] 0.44/0.57 c remove useless variable s[4][0][20] 0.44/0.57 c remove useless variable s[4][0][21] 0.44/0.57 c remove useless variable s[4][0][22] 0.44/0.57 c remove useless variable s[4][0][23] 0.44/0.57 c remove useless variable s[4][0][24] 0.44/0.57 c remove useless variable s[4][0][25] 0.44/0.57 c remove useless variable s[4][0][26] 0.44/0.57 c remove useless variable s[4][0][27] 0.44/0.57 c remove useless variable s[4][0][28] 0.44/0.57 c remove useless variable s[4][0][29] 0.44/0.57 c remove useless variable s[4][1][0] 0.44/0.57 c remove useless variable s[4][1][1] 0.44/0.57 c remove useless variable s[4][1][2] 0.44/0.57 c remove useless variable s[4][1][3] 0.44/0.57 c remove useless variable s[4][1][4] 0.44/0.57 c remove useless variable s[4][1][5] 0.44/0.57 c remove useless variable s[4][1][6] 0.44/0.57 c remove useless variable s[4][1][7] 0.44/0.57 c remove useless variable s[4][1][8] 0.44/0.57 c remove useless variable s[4][1][9] 0.44/0.57 c remove useless variable s[4][1][10] 0.44/0.57 c remove useless variable s[4][1][11] 0.44/0.57 c remove useless variable s[4][1][12] 0.44/0.57 c remove useless variable s[4][1][13] 0.44/0.57 c remove useless variable s[4][1][14] 0.44/0.57 c remove useless variable s[4][1][15] 0.44/0.57 c remove useless variable s[4][1][16] 0.44/0.57 c remove useless variable s[4][1][17] 0.44/0.57 c remove useless variable s[4][1][18] 0.44/0.57 c remove useless variable s[4][1][19] 0.44/0.57 c remove useless variable s[4][1][20] 0.44/0.57 c remove useless variable s[4][1][21] 0.44/0.57 c remove useless variable s[4][1][22] 0.44/0.57 c remove useless variable s[4][1][23] 0.44/0.57 c remove useless variable s[4][1][24] 0.44/0.57 c remove useless variable s[4][1][25] 0.44/0.57 c remove useless variable s[4][1][26] 0.44/0.57 c remove useless variable s[4][1][27] 0.44/0.57 c remove useless variable s[4][1][28] 0.44/0.57 c remove useless variable s[4][1][29] 0.44/0.57 c remove useless variable s[4][2][0] 0.44/0.57 c remove useless variable s[4][2][1] 0.44/0.57 c remove useless variable s[4][2][2] 0.44/0.57 c remove useless variable s[4][2][3] 0.44/0.57 c remove useless variable s[4][2][4] 0.44/0.57 c remove useless variable s[4][2][5] 0.44/0.57 c remove useless variable s[4][2][6] 0.44/0.57 c remove useless variable s[4][2][7] 0.44/0.57 c remove useless variable s[4][2][8] 0.44/0.57 c remove useless variable s[4][2][9] 0.44/0.57 c remove useless variable s[4][2][10] 0.44/0.57 c remove useless variable s[4][2][11] 0.44/0.57 c remove useless variable s[4][2][12] 0.44/0.57 c remove useless variable s[4][2][13] 0.44/0.57 c remove useless variable s[4][2][14] 0.44/0.57 c remove useless variable s[4][2][15] 0.44/0.57 c remove useless variable s[4][2][16] 0.44/0.57 c remove useless variable s[4][2][17] 0.44/0.57 c remove useless variable s[4][2][18] 0.44/0.57 c remove useless variable s[4][2][19] 0.44/0.57 c remove useless variable s[4][2][20] 0.44/0.57 c remove useless variable s[4][2][21] 0.44/0.57 c remove useless variable s[4][2][22] 0.44/0.57 c remove useless variable s[4][2][23] 0.44/0.57 c remove useless variable s[4][2][24] 0.44/0.57 c remove useless variable s[4][2][25] 0.44/0.57 c remove useless variable s[4][2][26] 0.44/0.57 c remove useless variable s[4][2][27] 0.44/0.57 c remove useless variable s[4][2][28] 0.44/0.57 c remove useless variable s[4][2][29] 0.44/0.57 c remove useless variable s[4][3][0] 0.44/0.57 c remove useless variable s[4][3][1] 0.44/0.57 c remove useless variable s[4][3][2] 0.44/0.57 c remove useless variable s[4][3][3] 0.44/0.57 c remove useless variable s[4][3][4] 0.44/0.57 c remove useless variable s[4][3][5] 0.44/0.57 c remove useless variable s[4][3][6] 0.44/0.57 c remove useless variable s[4][3][7] 0.44/0.57 c remove useless variable s[4][3][8] 0.44/0.57 c remove useless variable s[4][3][9] 0.44/0.57 c remove useless variable s[4][3][10] 0.44/0.57 c remove useless variable s[4][3][11] 0.44/0.57 c remove useless variable s[4][3][12] 0.44/0.57 c remove useless variable s[4][3][13] 0.44/0.57 c remove useless variable s[4][3][14] 0.44/0.57 c remove useless variable s[4][3][15] 0.44/0.57 c remove useless variable s[4][3][16] 0.44/0.57 c remove useless variable s[4][3][17] 0.44/0.57 c remove useless variable s[4][3][18] 0.44/0.57 c remove useless variable s[4][3][19] 0.44/0.57 c remove useless variable s[4][3][20] 0.44/0.57 c remove useless variable s[4][3][21] 0.44/0.57 c remove useless variable s[4][3][22] 0.44/0.57 c remove useless variable s[4][3][23] 0.44/0.57 c remove useless variable s[4][3][24] 0.44/0.57 c remove useless variable s[4][3][25] 0.44/0.57 c remove useless variable s[4][3][26] 0.44/0.57 c remove useless variable s[4][3][27] 0.44/0.57 c remove useless variable s[4][3][28] 0.44/0.57 c remove useless variable s[4][3][29] 0.44/0.57 c remove useless variable s[4][4][0] 0.44/0.57 c remove useless variable s[4][4][1] 0.44/0.57 c remove useless variable s[4][4][2] 0.44/0.57 c remove useless variable s[4][4][3] 0.44/0.57 c remove useless variable s[4][4][4] 0.44/0.57 c remove useless variable s[4][4][5] 0.44/0.57 c remove useless variable s[4][4][6] 0.44/0.57 c remove useless variable s[4][4][7] 0.44/0.57 c remove useless variable s[4][4][8] 0.44/0.57 c remove useless variable s[4][4][9] 0.44/0.57 c remove useless variable s[4][4][10] 0.44/0.57 c remove useless variable s[4][4][11] 0.44/0.57 c remove useless variable s[4][4][12] 0.44/0.57 c remove useless variable s[4][4][13] 0.44/0.57 c remove useless variable s[4][4][14] 0.44/0.57 c remove useless variable s[4][4][15] 0.44/0.57 c remove useless variable s[4][4][16] 0.44/0.57 c remove useless variable s[4][4][17] 0.44/0.57 c remove useless variable s[4][4][18] 0.44/0.57 c remove useless variable s[4][4][19] 0.44/0.57 c remove useless variable s[4][4][20] 0.44/0.57 c remove useless variable s[4][4][21] 0.44/0.57 c remove useless variable s[4][4][22] 0.44/0.57 c remove useless variable s[4][4][23] 0.44/0.57 c remove useless variable s[4][4][24] 0.44/0.57 c remove useless variable s[4][4][25] 0.44/0.57 c remove useless variable s[4][4][26] 0.44/0.57 c remove useless variable s[4][4][27] 0.44/0.57 c remove useless variable s[4][4][28] 0.44/0.57 c remove useless variable s[4][4][29] 0.44/0.57 c remove useless variable s[5][0][0] 0.44/0.57 c remove useless variable s[5][0][1] 0.44/0.57 c remove useless variable s[5][0][2] 0.44/0.57 c remove useless variable s[5][0][3] 0.44/0.57 c remove useless variable s[5][0][4] 0.44/0.57 c remove useless variable s[5][0][5] 0.44/0.57 c remove useless variable s[5][0][6] 0.44/0.57 c remove useless variable s[5][0][7] 0.44/0.57 c remove useless variable s[5][0][8] 0.44/0.57 c remove useless variable s[5][0][9] 0.44/0.57 c remove useless variable s[5][0][10] 0.44/0.57 c remove useless variable s[5][0][11] 0.44/0.57 c remove useless variable s[5][0][12] 0.44/0.57 c remove useless variable s[5][0][13] 0.44/0.57 c remove useless variable s[5][0][14] 0.44/0.57 c remove useless variable s[5][0][15] 0.44/0.57 c remove useless variable s[5][0][16] 0.44/0.57 c remove useless variable s[5][0][17] 0.44/0.57 c remove useless variable s[5][0][18] 0.44/0.57 c remove useless variable s[5][0][19] 0.44/0.57 c remove useless variable s[5][0][20] 0.44/0.57 c remove useless variable s[5][0][21] 0.44/0.57 c remove useless variable s[5][0][22] 0.44/0.57 c remove useless variable s[5][0][23] 0.44/0.57 c remove useless variable s[5][0][24] 0.44/0.57 c remove useless variable s[5][0][25] 0.44/0.57 c remove useless variable s[5][0][26] 0.44/0.57 c remove useless variable s[5][0][27] 0.44/0.57 c remove useless variable s[5][0][28] 0.44/0.57 c remove useless variable s[5][0][29] 0.44/0.57 c remove useless variable s[5][1][0] 0.44/0.57 c remove useless variable s[5][1][1] 0.44/0.57 c remove useless variable s[5][1][2] 0.44/0.57 c remove useless variable s[5][1][3] 0.44/0.57 c remove useless variable s[5][1][4] 0.44/0.57 c remove useless variable s[5][1][5] 0.44/0.57 c remove useless variable s[5][1][6] 0.44/0.57 c remove useless variable s[5][1][7] 0.44/0.57 c remove useless variable s[5][1][8] 0.44/0.57 c remove useless variable s[5][1][9] 0.44/0.57 c remove useless variable s[5][1][10] 0.44/0.57 c remove useless variable s[5][1][11] 0.44/0.57 c remove useless variable s[5][1][12] 0.44/0.57 c remove useless variable s[5][1][13] 0.44/0.57 c remove useless variable s[5][1][14] 0.44/0.57 c remove useless variable s[5][1][15] 0.44/0.57 c remove useless variable s[5][1][16] 0.44/0.57 c remove useless variable s[5][1][17] 0.44/0.57 c remove useless variable s[5][1][18] 0.44/0.57 c remove useless variable s[5][1][19] 0.44/0.57 c remove useless variable s[5][1][20] 0.44/0.57 c remove useless variable s[5][1][21] 0.44/0.57 c remove useless variable s[5][1][22] 0.44/0.57 c remove useless variable s[5][1][23] 0.44/0.57 c remove useless variable s[5][1][24] 0.44/0.57 c remove useless variable s[5][1][25] 0.44/0.57 c remove useless variable s[5][1][26] 0.44/0.57 c remove useless variable s[5][1][27] 0.44/0.57 c remove useless variable s[5][1][28] 0.44/0.57 c remove useless variable s[5][1][29] 0.44/0.57 c remove useless variable s[5][2][0] 0.44/0.57 c remove useless variable s[5][2][1] 0.44/0.57 c remove useless variable s[5][2][2] 0.44/0.57 c remove useless variable s[5][2][3] 0.44/0.57 c remove useless variable s[5][2][4] 0.44/0.57 c remove useless variable s[5][2][5] 0.44/0.57 c remove useless variable s[5][2][6] 0.44/0.57 c remove useless variable s[5][2][7] 0.44/0.57 c remove useless variable s[5][2][8] 0.44/0.57 c remove useless variable s[5][2][9] 0.44/0.57 c remove useless variable s[5][2][10] 0.44/0.57 c remove useless variable s[5][2][11] 0.44/0.57 c remove useless variable s[5][2][12] 0.44/0.57 c remove useless variable s[5][2][13] 0.44/0.57 c remove useless variable s[5][2][14] 0.44/0.57 c remove useless variable s[5][2][15] 0.44/0.57 c remove useless variable s[5][2][16] 0.44/0.57 c remove useless variable s[5][2][17] 0.44/0.57 c remove useless variable s[5][2][18] 0.44/0.57 c remove useless variable s[5][2][19] 0.44/0.57 c remove useless variable s[5][2][20] 0.44/0.57 c remove useless variable s[5][2][21] 0.44/0.57 c remove useless variable s[5][2][22] 0.44/0.57 c remove useless variable s[5][2][23] 0.44/0.57 c remove useless variable s[5][2][24] 0.44/0.57 c remove useless variable s[5][2][25] 0.44/0.57 c remove useless variable s[5][2][26] 0.44/0.57 c remove useless variable s[5][2][27] 0.44/0.57 c remove useless variable s[5][2][28] 0.44/0.57 c remove useless variable s[5][2][29] 0.44/0.57 c remove useless variable s[5][3][0] 0.44/0.57 c remove useless variable s[5][3][1] 0.44/0.57 c remove useless variable s[5][3][2] 0.44/0.57 c remove useless variable s[5][3][3] 0.44/0.57 c remove useless variable s[5][3][4] 0.44/0.57 c remove useless variable s[5][3][5] 0.44/0.57 c remove useless variable s[5][3][6] 0.44/0.57 c remove useless variable s[5][3][7] 0.44/0.57 c remove useless variable s[5][3][8] 0.44/0.57 c remove useless variable s[5][3][9] 0.44/0.57 c remove useless variable s[5][3][10] 0.44/0.57 c remove useless variable s[5][3][11] 0.44/0.57 c remove useless variable s[5][3][12] 0.44/0.57 c remove useless variable s[5][3][13] 0.44/0.57 c remove useless variable s[5][3][14] 0.44/0.57 c remove useless variable s[5][3][15] 0.44/0.57 c remove useless variable s[5][3][16] 0.44/0.57 c remove useless variable s[5][3][17] 0.44/0.57 c remove useless variable s[5][3][18] 0.44/0.57 c remove useless variable s[5][3][19] 0.44/0.57 c remove useless variable s[5][3][20] 0.44/0.57 c remove useless variable s[5][3][21] 0.44/0.57 c remove useless variable s[5][3][22] 0.44/0.57 c remove useless variable s[5][3][23] 0.44/0.57 c remove useless variable s[5][3][24] 0.44/0.57 c remove useless variable s[5][3][25] 0.44/0.57 c remove useless variable s[5][3][26] 0.44/0.57 c remove useless variable s[5][3][27] 0.44/0.57 c remove useless variable s[5][3][28] 0.44/0.57 c remove useless variable s[5][3][29] 0.44/0.57 c remove useless variable s[5][4][0] 0.44/0.57 c remove useless variable s[5][4][1] 0.44/0.57 c remove useless variable s[5][4][2] 0.44/0.57 c remove useless variable s[5][4][3] 0.44/0.57 c remove useless variable s[5][4][4] 0.44/0.57 c remove useless variable s[5][4][5] 0.44/0.57 c remove useless variable s[5][4][6] 0.44/0.57 c remove useless variable s[5][4][7] 0.44/0.57 c remove useless variable s[5][4][8] 0.44/0.57 c remove useless variable s[5][4][9] 0.44/0.57 c remove useless variable s[5][4][10] 0.44/0.57 c remove useless variable s[5][4][11] 0.44/0.57 c remove useless variable s[5][4][12] 0.44/0.57 c remove useless variable s[5][4][13] 0.44/0.57 c remove useless variable s[5][4][14] 0.44/0.57 c remove useless variable s[5][4][15] 0.44/0.57 c remove useless variable s[5][4][16] 0.44/0.57 c remove useless variable s[5][4][17] 0.44/0.57 c remove useless variable s[5][4][18] 0.44/0.57 c remove useless variable s[5][4][19] 0.44/0.57 c remove useless variable s[5][4][20] 0.44/0.57 c remove useless variable s[5][4][21] 0.44/0.57 c remove useless variable s[5][4][22] 0.44/0.57 c remove useless variable s[5][4][23] 0.44/0.57 c remove useless variable s[5][4][24] 0.44/0.57 c remove useless variable s[5][4][25] 0.44/0.57 c remove useless variable s[5][4][26] 0.44/0.57 c remove useless variable s[5][4][27] 0.44/0.57 c remove useless variable s[5][4][28] 0.44/0.57 c remove useless variable s[5][4][29] 0.44/0.57 c remove useless variable s[5][5][0] 0.44/0.57 c remove useless variable s[5][5][1] 0.44/0.57 c remove useless variable s[5][5][2] 0.44/0.57 c remove useless variable s[5][5][3] 0.44/0.57 c remove useless variable s[5][5][4] 0.44/0.57 c remove useless variable s[5][5][5] 0.44/0.57 c remove useless variable s[5][5][6] 0.44/0.57 c remove useless variable s[5][5][7] 0.44/0.57 c remove useless variable s[5][5][8] 0.44/0.57 c remove useless variable s[5][5][9] 0.44/0.57 c remove useless variable s[5][5][10] 0.44/0.57 c remove useless variable s[5][5][11] 0.44/0.57 c remove useless variable s[5][5][12] 0.44/0.57 c remove useless variable s[5][5][13] 0.44/0.57 c remove useless variable s[5][5][14] 0.44/0.57 c remove useless variable s[5][5][15] 0.44/0.57 c remove useless variable s[5][5][16] 0.44/0.57 c remove useless variable s[5][5][17] 0.44/0.57 c remove useless variable s[5][5][18] 0.44/0.57 c remove useless variable s[5][5][19] 0.44/0.57 c remove useless variable s[5][5][20] 0.44/0.57 c remove useless variable s[5][5][21] 0.44/0.57 c remove useless variable s[5][5][22] 0.44/0.57 c remove useless variable s[5][5][23] 0.44/0.57 c remove useless variable s[5][5][24] 0.44/0.57 c remove useless variable s[5][5][25] 0.44/0.57 c remove useless variable s[5][5][26] 0.44/0.57 c remove useless variable s[5][5][27] 0.44/0.57 c remove useless variable s[5][5][28] 0.44/0.57 c remove useless variable s[5][5][29] 0.44/0.58 c 10 145 5399 2858 0 4 86 98 83 0.44/0.58 c 20 191 7438 3714 0 6 7 15 9 0.44/0.58 c 30 247 8948 4351 5 13 1 40 23 0.44/0.58 c 40 376 12070 5485 14 21 1 115 63 0.44/0.58 c 50 523 15194 6639 14 27 65 118 85 0.44/0.59 c 60 821 19241 8300 14 29 79 160 115 0.44/0.59 c 70 1058 23633 9874 14 32 58 197 149 0.44/0.59 c 80 1299 27602 11315 14 36 52 118 64 0.44/0.60 c 90 1484 30712 12459 14 43 45 167 117 0.44/0.60 c 100 1724 34630 14013 14 48 73 204 115 0.44/0.60 c 101 1824 35903 14367 14 49 100 100 50 0.53/0.61 c 110 2016 38326 15190 14 55 90 171 113 0.53/0.61 c 120 2318 41801 16506 14 61 108 229 165 0.53/0.61 c 130 2598 45312 17757 14 69 75 239 146 0.53/0.62 c 140 2928 49450 19148 14 75 82 268 180 0.53/0.62 c 150 3182 53279 20692 14 80 70 208 139 0.53/0.62 c 160 3360 56233 21867 14 90 18 166 94 0.53/0.63 c 170 3557 59817 23234 15 94 15 158 117 0.53/0.63 c 180 3813 64788 25019 15 97 17 119 78 0.53/0.63 c 190 3998 67483 25945 15 103 48 144 114 0.53/0.64 c 200 4202 70574 27272 15 105 40 105 79 0.53/0.64 c 210 4444 73943 28492 15 113 32 211 119 0.53/0.64 c 211 4445 73979 28513 15 113 1 1 0 0.53/0.64 c 220 4639 76458 29314 16 122 18 183 107 0.53/0.65 c 230 4828 79632 30737 16 126 35 153 91 0.53/0.65 c 240 5029 83154 31959 16 132 71 173 139 0.53/0.65 c 250 5169 85817 33201 16 136 17 125 91 0.53/0.65 c 260 5340 89320 34633 16 140 23 151 95 0.53/0.66 c 270 5521 93659 36451 16 145 28 103 64 0.53/0.66 c 280 5613 96607 38022 16 147 27 73 54 0.53/0.67 c 290 5878 102852 40905 16 150 11 75 47 0.53/0.67 c 300 6067 106048 42056 16 157 16 156 97 0.53/0.67 c 310 6180 109318 43578 16 163 16 91 72 0.53/0.68 c 320 6290 112337 44805 16 169 17 97 63 0.53/0.68 c 330 6398 116496 47049 16 174 25 79 46 0.53/0.68 c 332 6478 117644 47392 16 176 16 79 31 0.53/0.68 c 340 6582 120022 48279 16 180 19 87 67 0.53/0.68 c 350 6688 123032 49570 16 185 17 87 70 0.53/0.69 c 360 6798 126429 50955 16 191 23 88 65 0.53/0.69 c 370 6909 130492 52542 16 196 18 89 56 0.53/0.70 c 380 7048 135132 54460 16 201 30 98 63 0.62/0.70 c 390 7200 138583 55918 16 207 40 108 83 0.62/0.70 c 400 7365 141882 57070 16 213 54 119 80 0.62/0.70 c 410 7506 145739 58517 16 220 68 114 80 0.62/0.71 c 420 7673 153332 61822 16 224 46 63 49 0.62/0.71 c 430 7840 157288 63210 16 229 64 125 97 0.62/0.72 c 440 7950 162718 65659 16 231 20 69 36 0.62/0.72 c 450 8072 166222 67204 16 236 50 65 50 0.62/0.72 c 460 8126 168507 68334 16 239 24 29 24 0.62/0.73 c 465 8188 169647 68691 16 243 9 58 36 0.62/0.73 c 470 8274 172385 69755 16 246 49 79 55 0.62/0.73 c 480 8417 175118 70603 16 248 97 115 98 0.62/0.73 c 490 8528 179192 72467 16 252 21 90 55 0.62/0.74 c 500 8627 181485 73439 16 257 19 51 39 0.62/0.74 c 510 8769 184834 74741 16 262 53 111 68 0.62/0.74 c 520 8876 187972 75884 16 266 22 83 62 0.62/0.74 c 530 8963 190372 76822 16 270 23 62 45 0.62/0.75 c 540 9110 193676 78132 16 276 25 107 69 0.62/0.75 c 550 9214 196184 79170 16 278 22 87 59 0.62/0.75 c 560 9366 199210 80296 16 282 20 102 61 0.62/0.75 c 570 9499 202260 81483 16 288 14 97 37 0.62/0.76 c 580 9662 206164 83120 16 294 17 94 54 0.62/0.76 c 590 9825 211113 85275 16 297 13 77 48 0.62/0.76 conflict 9lvl : 49 bt15-143:0(131)X32243 0.62/0.76 c 600 9972 214500 86468 16 303 14 93 71 0.62/0.77 c 610 10102 217525 87651 16 307 15 84 60 0.62/0.77 c 611 10150 218251 87876 16 308 48 48 24 0.62/0.77 c 620 10269 220985 88963 16 311 16 64 39 0.62/0.77 c 630 10400 224641 90391 16 314 23 86 64 0.62/0.78 c 640 10540 228254 91773 16 317 61 106 76 0.62/0.78 c 650 10660 231407 93155 16 318 60 83 71 0.62/0.78 c 660 10782 234329 94267 16 323 17 96 73 0.62/0.79 c 670 10925 237685 95475 16 328 17 110 72 0.62/0.79 c 680 11002 239968 96613 16 330 28 34 28 0.62/0.79 c 690 11145 242916 97620 16 335 84 114 90 0.62/0.79 c 700 11309 245808 98812 16 338 49 58 48 0.62/0.79 c 710 11411 248188 99847 16 343 36 85 68 0.72/0.80 c 720 11540 250775 100754 16 348 66 105 83 0.72/0.80 c 730 11700 253859 101954 16 356 38 86 65 0.72/0.80 c 740 11809 257099 103170 16 363 44 87 70 0.72/0.81 c 750 11962 260040 104250 16 367 64 97 77 0.72/0.81 c 760 12082 263320 105859 16 371 63 85 72 0.72/0.81 c 770 12236 266474 107037 16 375 43 103 73 0.72/0.81 c 771 12242 266571 107072 16 376 6 6 3 0.72/0.81 c 780 12312 267903 107551 16 379 5 45 33 0.72/0.81 c 790 12417 269953 108374 16 386 8 87 60 0.72/0.82 c 800 12568 273852 110076 16 390 51 79 63 0.72/0.82 c 810 12706 276536 110974 16 395 78 107 90 0.72/0.83 c 820 12979 283231 113488 16 398 70 107 75 0.72/0.83 c 830 13101 287079 115231 16 404 62 81 69 0.72/0.83 c 840 13211 290040 116550 16 407 15 80 33 0.72/0.83 c 850 13317 292466 117668 16 413 7 78 53 0.72/0.84 c 860 13428 294954 118602 16 423 6 98 54 0.72/0.84 c 870 13538 297837 120100 16 429 6 77 51 0.72/0.84 c 880 13663 300249 121092 16 432 62 87 75 0.72/0.84 c 890 13789 302496 121827 16 440 6 93 67 0.72/0.85 c 900 13910 304799 122622 36 445 1 87 60 0.72/0.85 c 910 14072 307983 123761 36 448 85 119 97 0.72/0.85 c 920 14218 310996 124837 36 454 18 101 67 0.72/0.85 c 930 14391 314223 125951 36 457 89 113 97 0.72/0.86 c 940 14568 317470 127100 36 460 88 115 94 0.72/0.86 c 947 14747 320804 128277 36 461 106 112 96 0.72/0.86 c 950 14841 322585 128835 36 464 71 84 59 0.72/0.87 c 960 15014 326353 130193 36 467 68 112 82 0.72/0.87 c 970 15190 329872 131393 36 470 80 106 80 0.72/0.87 c 980 15347 333548 132727 36 473 69 91 72 0.72/0.87 c 990 15494 337376 134378 36 474 76 83 72 0.72/0.88 c 1000 15675 341267 135836 36 478 69 99 72 0.72/0.88 c 1010 15813 344232 136906 36 484 20 114 74 0.72/0.88 c 1020 16020 348010 138177 36 491 73 114 92 0.72/0.89 c 1030 16239 352031 139492 36 499 76 121 90 0.72/0.89 c 1040 16445 355971 140823 36 505 74 97 73 0.72/0.89 conflict 11lvl : 16 bt14-263:0(55)X44633 0.72/0.89 c 1050 16574 358071 141754 36 507 46 74 60 0.83/0.90 c 1060 16696 361193 143212 36 508 18 65 37 0.83/0.90 c 1070 16793 363522 144175 36 512 42 82 61 0.83/0.90 c 1080 16954 366439 145162 36 517 19 121 90 0.83/0.90 conflict 10lvl : 14 bt13-261:0(50)X45267 0.83/0.90 c 1090 17074 369154 146200 36 528 19 99 64 0.83/0.91 c 1100 17275 373470 147671 36 535 19 99 48 0.83/0.91 c 1110 17446 377701 149163 36 544 44 95 57 0.83/0.92 c 1120 17625 382335 151112 36 546 55 99 65 0.83/0.92 c 1130 17771 385178 152210 36 550 42 70 55 0.83/0.92 c 1140 17951 388174 153206 36 554 17 93 66 0.83/0.92 c 1141 17971 388665 153395 36 555 20 20 10 0.83/0.92 c 1150 18081 390591 154074 36 560 20 79 54 0.83/0.93 c 1160 18213 393665 155344 36 562 20 77 45 0.83/0.93 c 1170 18419 397502 157011 36 564 18 77 49 0.83/0.93 conflict 11lvl : 16 bt13-263:0(51)X47501 0.83/0.93 c 1180 18515 399832 157868 36 570 17 62 48 0.83/0.93 c 1190 18666 402258 158574 36 576 62 120 92 0.83/0.94 c 1200 18806 404608 159254 36 584 58 124 93 0.83/0.94 c 1210 18963 407301 160061 36 590 53 109 83 0.83/0.94 c 1220 19098 409743 160819 36 599 54 120 83 0.83/0.94 c 1230 19262 412863 161853 36 608 53 120 82 0.83/0.95 c 1240 19376 416241 163285 36 613 16 59 43 0.83/0.95 c 1250 19537 419295 164273 36 619 24 108 80 0.83/0.95 c 1260 19670 422070 165228 36 627 25 119 78 0.83/0.96 c 1270 19804 424645 166066 36 635 26 119 79 0.83/0.96 c 1280 19945 427491 167013 36 644 27 119 76 0.83/0.96 c 1290 20108 430840 168183 36 653 21 119 73 0.83/0.96 c 1300 20257 435102 169972 36 657 23 57 35 0.83/0.97 c 1310 20410 438338 171183 36 665 9 119 60 0.83/0.97 c 1320 20463 441014 172562 36 667 24 24 21 0.83/0.97 c 1330 20547 444188 174069 36 671 19 55 24 0.83/0.97 c 1340 20593 446645 175363 36 673 16 20 17 0.83/0.98 c 1350 20635 449073 176636 36 676 5 15 12 0.83/0.98 c 1352 20662 449889 176960 36 678 14 24 12 0.83/0.98 c 1360 20737 452058 177831 36 684 16 60 30 0.83/0.98 c 1370 20812 454333 178751 36 692 12 60 29 0.83/0.98 c 1380 20883 456550 179810 36 699 15 50 34 0.83/0.98 c 1390 20953 458480 180695 36 706 17 50 35 0.83/0.99 c 1400 21022 460432 181589 36 713 18 49 35 0.83/0.99 c 1410 21098 462723 182649 36 720 20 49 36 0.83/0.99 c 1420 21176 464614 183416 36 724 26 56 41 0.83/0.99 c 1430 21244 467365 184729 36 727 17 46 35 0.83/0.99 c 1440 21333 469895 185805 36 732 17 55 38 0.83/1.00 c 1450 21417 472773 187283 36 736 16 53 27 0.83/1.00 c 1460 21504 475206 188223 36 743 16 55 33 0.83/1.00 c 1470 21587 477363 189051 36 750 16 55 34 0.83/1.00 c 1480 21689 480276 190430 36 754 15 69 41 0.94/1.01 c 1490 21768 482447 191363 36 759 14 55 38 0.94/1.01 c 1500 21884 486870 193728 36 760 29 55 38 0.94/1.01 c 1510 21955 489124 194657 36 761 29 47 34 0.94/1.02 c 1520 22090 492719 196044 36 766 31 68 39 0.94/1.02 c 1530 22167 494919 197017 36 770 14 53 42 0.94/1.02 c 1540 22346 498165 198114 36 778 29 119 56 0.94/1.02 c 1550 22431 500606 199211 36 783 14 54 43 0.94/1.02 c 1560 22550 502857 199898 36 792 31 98 47 0.94/1.03 c 1570 22622 505085 200883 36 797 12 54 34 0.94/1.03 c 1580 22780 508217 201896 36 803 17 125 95 0.94/1.03 conflict 10lvl : 14 bt11-261:0(63)X59935 0.94/1.03 c 1585 22842 509774 202495 36 807 40 54 39 0.94/1.03 c 1590 22946 512038 203335 36 808 65 77 60 0.94/1.04 c 1600 23032 514804 204680 36 812 16 54 40 0.94/1.04 c 1610 23107 517277 205780 36 816 19 53 31 0.94/1.04 conflict 9lvl : 11 bt10-211:0(38)X60437 0.94/1.04 conflict 9lvl : 12 bt11-211:0(39)X60449 0.94/1.04 c 1620 23184 519817 206927 36 821 11 51 17 0.94/1.04 c 1630 23273 522553 208285 36 823 29 54 45 0.94/1.05 c 1640 23386 525591 209476 36 828 28 69 47 0.94/1.05 c 1650 23464 527709 210333 36 830 42 51 43 0.94/1.05 c 1660 23545 529309 210839 36 833 43 50 44 0.94/1.05 conflict 9lvl : 13 bt11-211:0(44)X61060 0.94/1.05 c 1670 23590 532234 212351 36 836 15 16 14 0.94/1.05 c 1680 23674 534212 213087 36 845 7 56 38 0.94/1.06 c 1690 23812 536885 213916 36 853 28 122 62 0.94/1.06 c 1700 23923 540411 215566 36 856 19 71 47 0.94/1.06 c 1710 24054 543856 217007 36 861 20 76 51 0.94/1.06 c 1720 24142 546928 218378 36 867 18 50 39 0.94/1.07 c 1730 24268 549798 219426 36 873 18 70 51 0.94/1.07 c 1740 24435 554998 221502 36 879 49 130 90 0.94/1.07 c 1750 24518 557914 222789 36 885 18 52 39 0.94/1.08 c 1760 24643 560886 223853 36 892 18 75 51 0.94/1.08 c 1770 24793 564593 225215 36 897 18 75 49 0.94/1.08 c 1780 24952 568774 226739 36 904 44 131 91 0.94/1.09 c 1790 25030 571773 228090 36 908 18 50 36 0.94/1.09 c 1800 25127 574945 229471 36 914 18 75 41 0.94/1.09 c 1810 25273 577621 230378 36 923 32 120 58 0.94/1.09 c 1820 25365 581016 232070 36 927 18 53 38 0.94/1.10 c 1830 25440 583674 233344 36 929 14 46 21 0.94/1.10 c 1840 25500 586777 234894 36 931 16 26 19 0.94/1.10 c 1841 25515 587194 235068 36 932 15 15 7 0.94/1.10 c 1850 25633 590619 236490 36 937 17 74 45 1.04/1.11 c 1860 25714 594272 238205 36 940 30 49 35 1.04/1.11 c 1870 25833 598540 240164 36 942 35 63 47 1.04/1.11 c 1880 25982 602453 241609 36 947 46 74 56 1.04/1.12 c 1890 26032 606262 243457 36 950 19 20 17 1.04/1.12 conflict 10lvl : 13 bt12-261:0(43)X66418 1.04/1.12 c 1900 26190 610264 244858 36 956 31 74 48 1.04/1.12 conflict 9lvl : 12 bt11-259:0(43)X66626 1.04/1.12 c 1910 26293 613475 246325 36 961 36 59 44 1.04/1.13 c 1920 26407 617243 247964 36 964 15 48 23 1.04/1.13 conflict 10lvl : 34 bt34-261:0(183)X66909 1.04/1.13 c 1930 26533 620207 248993 36 970 26 53 35 1.04/1.13 c 1940 26612 623092 250268 36 976 15 53 26 1.04/1.13 c 1950 26692 625833 251455 36 983 14 53 25 1.04/1.14 c 1960 26808 629136 252678 36 989 13 66 41 1.04/1.14 c 1970 26972 633616 254498 36 995 22 95 57 1.04/1.14 c 1980 27073 637486 256189 36 1003 15 60 40 1.04/1.15 c 1990 27203 641603 257839 36 1010 19 61 34 1.04/1.15 c 2000 27322 644597 258850 36 1018 34 94 66 1.04/1.15 c 2010 27436 647749 260028 36 1024 26 53 39 1.04/1.16 c 2020 27534 650303 260932 36 1028 29 52 43 1.04/1.16 conflict 9lvl : 17 bt9-182:0(49)X69451 1.04/1.16 c 2030 27649 653058 261980 36 1032 43 51 43 1.04/1.16 c 2040 27748 656168 263305 36 1035 16 51 34 1.04/1.16 conflict 9lvl : 23 bt11-182:0(121)X69625 1.04/1.16 c 2050 27854 659001 264374 36 1043 25 59 37 1.04/1.17 c 2060 27953 662365 265728 36 1047 23 53 37 1.04/1.17 c 2070 28102 665993 266954 36 1052 56 101 77 1.04/1.17 c 2080 28195 669192 268268 36 1055 11 53 37 1.04/1.18 c 2090 28345 673605 269945 36 1062 17 93 61 1.04/1.18 c 2100 28420 675906 270969 36 1066 15 48 37 1.04/1.18 c 2110 28527 679039 272219 36 1070 33 80 57 1.04/1.18 c 2120 28601 681561 273374 36 1075 15 45 18 1.04/1.19 c 2122 28695 683831 274039 36 1077 90 93 61 1.04/1.19 c 2130 28750 685822 274824 36 1079 30 38 31 1.04/1.19 c 2140 28822 687898 275755 36 1083 16 48 38 1.04/1.19 c 2150 28907 690357 276684 36 1088 32 66 40 1.04/1.19 c 2160 29038 693867 277804 36 1093 84 97 85 1.13/1.20 c 2170 29115 695847 278612 36 1097 12 50 39 1.13/1.20 c 2180 29205 698460 279754 36 1101 34 66 48 1.13/1.20 c 2190 29338 702142 281036 36 1105 90 97 85 1.13/1.21 c 2200 29471 705804 282309 36 1110 90 97 85 1.13/1.21 c 2210 29539 707591 283019 36 1114 12 47 35 1.13/1.21 c 2220 29643 710689 284343 36 1119 32 66 47 1.13/1.21 c 2230 29705 713436 285597 36 1123 13 29 16 1.13/1.21 c 2240 29781 716292 286834 36 1126 12 51 36 1.13/1.21 conflict 9lvl : 14 bt9-261:0(42)X73952 1.13/1.22 c 2250 29866 718314 287637 36 1130 26 51 40 1.13/1.22 c 2260 29952 721474 289059 36 1134 13 48 18 1.13/1.22 conflict 8lvl : 9 bt8-261:0(35)X74178 1.13/1.22 c 2270 30029 723972 290170 36 1137 9 55 25 1.13/1.22 c 2280 30155 727215 291246 36 1141 10 94 74 1.13/1.23 c 2290 30236 729753 292270 36 1148 12 51 35 1.13/1.23 conflict 9lvl : 20 bt10-261:0(115)X74765 1.13/1.23 c 2300 30361 733168 293559 36 1154 27 54 42 1.13/1.23 c 2310 30442 735523 294445 36 1157 22 52 41 1.13/1.24 c 2320 30567 739088 295828 36 1162 23 54 39 1.13/1.24 c 2330 30701 743709 297521 36 1164 81 93 81 1.13/1.24 c 2340 30830 747348 298936 36 1169 24 55 40 1.13/1.25 c 2350 30957 751740 300667 36 1170 84 93 80 1.13/1.25 c 2360 31127 755664 301952 36 1181 67 116 91 1.13/1.25 c 2370 31258 759343 303378 36 1186 25 56 41 1.13/1.26 c 2380 31383 762412 304329 36 1188 87 88 79 1.13/1.26 c 2390 31514 766223 305779 36 1194 25 56 42 1.13/1.26 conflict 28lvl : 36 bt32-263:0(183)X77151 1.13/1.26 c 2400 31640 769194 306771 36 1199 42 73 54 1.13/1.26 c 2410 31765 772618 308067 36 1207 51 97 68 1.13/1.27 c 2420 31856 775650 309335 36 1210 25 55 39 1.13/1.27 c 2430 31968 778397 310303 36 1216 37 81 56 1.13/1.27 c 2431 31999 779056 310483 36 1217 31 31 15 1.13/1.27 c 2440 32109 782221 311675 36 1221 24 54 37 1.13/1.28 c 2450 32271 786317 313090 36 1232 67 114 89 1.13/1.28 c 2460 32454 791236 314779 36 1236 82 115 98 1.13/1.28 c 2470 32543 794270 316167 36 1237 37 62 51 1.13/1.29 c 2480 32598 796030 317091 36 1240 15 18 14 1.13/1.29 c 2490 32677 799442 318707 36 1243 16 47 21 1.13/1.29 c 2500 32756 801928 319724 36 1248 49 55 47 1.13/1.29 c 2510 32880 804974 320671 36 1250 82 86 76 1.23/1.30 c 2520 33038 809315 322209 36 1254 79 114 95 1.23/1.30 c 2530 33180 814301 324115 36 1258 85 102 90 1.23/1.30 c 2540 33321 818971 325851 36 1261 85 101 89 1.23/1.31 c 2550 33415 821426 326741 36 1268 13 51 37 1.23/1.31 c 2560 33576 825872 328329 36 1273 84 101 85 1.23/1.32 c 2570 33750 830906 330134 36 1275 94 106 90 1.23/1.32 c 2580 33856 834100 331313 36 1281 36 64 48 1.23/1.32 c 2590 34009 837957 332607 36 1285 86 111 96 1.23/1.33 c 2600 34186 842973 334413 36 1292 14 116 88 1.23/1.33 c 2610 34386 848121 336251 36 1294 99 116 102 1.23/1.33 c 2620 34558 854592 338785 36 1297 86 102 90 1.23/1.34 c 2630 34718 858199 339929 36 1302 89 124 100 1.23/1.34 c 2640 34890 862081 341171 36 1307 14 125 91 1.23/1.35 c 2650 35088 867362 343040 36 1309 90 121 94 1.23/1.35 c 2660 35288 873419 345276 36 1311 89 122 97 1.23/1.35 c 2670 35435 877196 346608 36 1315 81 105 89 1.23/1.36 c 2680 35652 884600 349575 36 1318 86 108 94 1.23/1.36 c 2690 35839 890326 351614 36 1321 83 109 92 1.23/1.37 c 2700 36050 897355 354282 36 1324 100 106 94 1.23/1.38 c 2710 36253 903444 356519 36 1327 94 107 94 1.23/1.38 c 2720 36413 908369 358320 36 1328 100 109 95 1.23/1.38 c 2730 36599 913978 360569 36 1331 95 106 92 1.23/1.39 c 2740 36761 918571 362324 36 1334 89 112 95 1.23/1.39 c 2750 36934 925124 364945 36 1337 90 99 88 1.33/1.40 c 2760 37124 930814 366975 36 1340 91 112 90 1.33/1.40 c 2770 37297 937725 369725 36 1343 91 101 87 1.33/1.41 c 2771 37400 939962 370345 36 1344 103 103 51 1.33/1.41 c 2780 37519 942830 371352 36 1349 60 100 79 1.33/1.41 c 2790 37569 946160 372877 36 1352 15 18 14 1.33/1.41 c 2800 37696 949297 374031 36 1358 72 100 84 1.33/1.42 c 2810 37751 953381 375974 36 1362 15 15 13 1.33/1.42 c 2820 37876 957454 377596 36 1367 80 99 83 1.33/1.42 c 2830 37996 961697 379281 36 1371 82 99 84 1.33/1.43 c 2840 38136 966780 381502 36 1375 89 99 88 1.33/1.43 c 2850 38220 968888 382291 36 1381 18 75 53 1.33/1.43 c 2860 38346 973153 383925 36 1385 83 100 85 1.33/1.44 c 2870 38430 975234 384674 36 1392 18 75 54 1.33/1.44 c 2880 38516 977311 385442 36 1400 16 74 52 1.33/1.44 c 2890 38599 979377 386190 36 1408 16 74 53 1.33/1.44 c 2900 38689 982044 387133 36 1416 33 75 58 1.33/1.45 c 2910 38772 984557 388106 36 1423 14 74 50 1.33/1.45 c 2920 38855 987017 389074 36 1431 14 74 49 1.33/1.45 c 2930 38938 989472 390028 36 1439 14 74 50 1.33/1.45 c 2940 39046 992308 391095 36 1448 14 77 52 1.33/1.46 c 2950 39179 996483 392753 36 1454 78 100 86 1.33/1.46 c 2960 39267 999535 394092 36 1461 13 57 24 1.33/1.46 c 2970 39339 1002165 395266 36 1464 14 54 41 1.33/1.46 c 2980 39422 1004780 396489 36 1469 27 64 50 1.33/1.47 c 2990 39503 1007335 397622 36 1476 30 70 53 1.33/1.47 conflict 22lvl : 32 bt30-182:0(139)X95415 1.33/1.47 c 3000 39593 1010356 398991 36 1484 38 70 57 1.33/1.47 c 3010 39725 1014274 400663 36 1490 60 99 77 1.33/1.47 c 3020 39822 1017238 401928 36 1498 14 66 44 1.33/1.48 c 3030 39954 1021186 403638 36 1504 60 98 79 1.33/1.48 c 3040 40049 1024226 404814 36 1512 12 59 41 1.33/1.48 c 3050 40151 1027003 405960 36 1521 14 73 44 1.33/1.49 c 3060 40254 1030231 407047 36 1523 45 78 67 1.33/1.49 c 3070 40330 1032648 408088 36 1533 14 67 47 1.33/1.49 conflict 24lvl : 35 bt34-182:0(145)X98417 1.33/1.49 c 3080 40427 1035072 408901 36 1540 40 76 62 1.33/1.49 c 3090 40513 1037433 409836 36 1547 31 75 54 1.33/1.49 c 3100 40603 1039973 410815 36 1553 31 74 54 1.43/1.50 c 3110 40679 1042375 411851 36 1563 14 67 48 1.43/1.50 conflict 23lvl : 31 bt30-263:0(140)X99980 1.43/1.50 c 3120 40759 1044577 412719 36 1570 37 69 54 1.43/1.50 c 3130 40860 1047060 413564 36 1574 54 76 64 1.43/1.50 c 3140 40943 1049316 414460 36 1581 33 70 55 1.43/1.51 c 3142 41007 1050898 414992 36 1583 50 52 34 1.43/1.51 c 3150 41064 1052589 415677 36 1591 13 50 35 1.43/1.51 c 3160 41172 1055589 416816 36 1596 34 72 50 1.43/1.51 c 3170 41247 1058164 417915 36 1602 13 59 45 1.43/1.51 c 3180 41340 1061099 419106 36 1607 36 70 56 1.43/1.52 c 3190 41459 1063805 420051 36 1609 66 74 66 1.43/1.52 c 3200 41545 1066470 421208 36 1616 10 71 47 1.43/1.52 c 3210 41632 1069109 422205 36 1622 34 61 51 1.43/1.52 c 3220 41730 1071352 422997 36 1631 34 82 56 1.43/1.53 c 3230 41844 1074281 424160 36 1633 16 67 53 1.43/1.53 c 3240 41933 1076898 425137 36 1638 34 62 52 1.43/1.53 c 3250 42055 1079681 426084 36 1641 65 76 65 1.43/1.53 c 3260 42164 1082493 427208 36 1646 17 72 55 1.43/1.54 c 3270 42268 1086196 428592 36 1653 35 81 63 1.43/1.54 c 3280 42376 1090164 430118 36 1660 45 81 67 1.43/1.54 c 3290 42487 1093280 431229 36 1662 66 76 65 1.43/1.55 c 3300 42576 1095759 432172 36 1669 25 76 51 1.43/1.55 conflict 21lvl : 32 bt28-259:0(137)X105391 1.43/1.55 c 3310 42659 1098348 433187 36 1675 35 61 50 1.43/1.55 c 3320 42757 1102043 434723 36 1677 44 80 65 1.43/1.55 c 3330 42865 1105429 436030 36 1683 54 80 64 1.43/1.56 c 3340 42958 1108036 436981 36 1688 36 74 56 1.43/1.56 c 3350 43050 1111148 438202 37 1694 1 76 48 1.43/1.56 c 3360 43173 1114329 439344 37 1701 39 94 58 1.43/1.56 c 3370 43275 1117664 440614 37 1707 15 76 55 1.43/1.57 c 3380 43376 1121127 441884 37 1714 15 74 51 1.43/1.57 c 3390 43476 1123810 442877 37 1720 43 74 61 1.43/1.57 c 3400 43572 1126324 443734 37 1723 44 74 62 1.43/1.57 c 3410 43669 1128869 444608 37 1728 45 74 62 1.43/1.58 c 3420 43763 1131971 445842 37 1732 40 68 55 1.43/1.58 c 3430 43886 1135744 447325 37 1736 46 97 67 1.43/1.58 c 3440 43961 1137993 448251 37 1742 15 61 46 1.43/1.59 c 3450 44057 1141154 449468 37 1747 42 65 54 1.43/1.59 c 3460 44135 1144395 450894 37 1750 15 64 46 1.43/1.59 c 3470 44209 1146697 451812 37 1756 16 60 46 1.43/1.59 c 3480 44320 1149831 452927 37 1758 46 72 61 1.53/1.60 c 3490 44435 1153739 454418 37 1762 43 73 59 1.53/1.60 c 3500 44511 1155905 455252 37 1769 15 61 46 1.53/1.60 c 3510 44598 1159271 456532 37 1771 40 63 54 1.53/1.60 c 3520 44727 1163313 458044 37 1776 55 78 57 1.53/1.61 c 3530 44871 1167343 459466 37 1780 49 75 58 1.53/1.61 c 3540 44945 1169412 460269 37 1787 15 61 47 1.53/1.61 c 3550 45088 1172994 461481 37 1791 46 83 63 1.53/1.61 c 3551 45124 1173806 461751 37 1792 36 36 18 1.53/1.62 c 3560 45223 1176332 462645 37 1797 38 70 57 1.53/1.62 c 3570 45311 1179274 463785 37 1800 48 65 55 1.53/1.62 c 3580 45395 1181531 464612 37 1802 43 63 54 1.53/1.62 c 3590 45488 1183853 465505 37 1807 56 65 56 1.53/1.63 c 3600 45578 1186291 466377 37 1813 13 64 51 1.53/1.63 c 3610 45666 1188175 467085 37 1819 13 63 48 1.53/1.63 c 3620 45739 1190000 467808 37 1827 12 62 39 1.53/1.63 conflict 25lvl : 39 bt36-253:0(151)X113271 1.53/1.63 c 3630 45831 1192934 468956 37 1829 51 63 53 1.53/1.63 c 3640 45934 1196230 470167 37 1831 40 68 54 1.53/1.64 c 3650 46024 1200281 471731 37 1834 43 46 40 1.53/1.64 c 3660 46159 1204185 473194 37 1841 52 105 82 1.53/1.64 c 3670 46253 1206349 473955 37 1851 14 62 46 1.53/1.65 c 3680 46396 1210359 475458 37 1858 78 112 88 1.53/1.65 c 3690 46541 1215086 477306 37 1863 79 100 82 1.53/1.65 c 3700 46652 1219320 478891 37 1865 43 71 45 1.53/1.66 c 3710 46744 1221275 479534 37 1874 14 57 43 1.53/1.66 c 3720 46871 1224668 480746 37 1879 38 81 54 1.53/1.66 conflict 25lvl : 44 bt34-259:0(151)X116334 1.53/1.66 c 3730 46978 1228177 481989 37 1884 40 57 45 1.53/1.67 c 3740 47099 1232821 483770 37 1889 40 70 45 1.53/1.67 conflict 23lvl : 34 bt31-261:0(143)X116792 1.53/1.67 c 3750 47193 1236052 485007 37 1891 37 63 48 1.53/1.67 conflict 23lvl : 35 bt31-261:0(143)X116886 1.53/1.67 c 3760 47271 1239834 486467 37 1894 37 41 36 1.53/1.67 c 3770 47353 1242099 487370 37 1903 14 64 46 1.53/1.68 c 3780 47540 1248744 490178 37 1905 84 100 88 1.53/1.68 c 3790 47743 1254595 492523 37 1907 82 113 92 1.53/1.69 c 3800 47888 1259443 494496 37 1910 64 80 63 1.53/1.69 c 3810 48053 1264774 496574 37 1916 60 100 67 1.63/1.70 c 3820 48214 1269324 498268 37 1919 83 113 87 1.63/1.70 c 3830 48364 1274246 500222 37 1922 65 67 59 1.63/1.71 c 3840 48489 1278953 502194 37 1925 45 64 56 1.63/1.71 c 3850 48600 1282307 503436 37 1930 44 64 53 1.63/1.71 c 3860 48720 1286049 504806 37 1934 43 74 64 1.63/1.71 conflict 24lvl : 22 bt22-150:0(142)X119288 1.63/1.72 c 3870 48808 1289187 505994 37 1937 40 58 43 1.63/1.72 c 3880 48899 1291982 507190 37 1941 18 53 23 1.63/1.72 c 3890 49004 1294621 508151 37 1943 41 67 57 1.63/1.72 c 3900 49112 1298340 509538 37 1947 47 62 53 1.63/1.73 c 3910 49213 1301717 510792 37 1950 44 62 54 1.63/1.73 c 3920 49344 1306224 512504 37 1957 51 106 64 1.63/1.73 c 3930 49424 1308928 513445 37 1960 45 49 43 1.63/1.74 c 3940 49559 1313286 515029 37 1962 45 62 52 1.63/1.74 conflict 27lvl : 46 bt25-253:0(160)X120649 1.63/1.74 c 3950 49653 1316209 516083 37 1967 43 50 43 1.63/1.74 conflict 10lvl : 26 bt23-182:0(67)X120878 1.63/1.74 c 3960 49741 1319381 517394 37 1970 50 56 49 1.63/1.75 c 3970 49908 1324642 519405 37 1972 53 66 55 1.63/1.75 conflict 27lvl : 47 bt27-253:0(161)X121105 1.63/1.75 c 3980 50011 1328110 520738 37 1977 52 55 49 1.63/1.75 c 3990 50101 1330824 521757 37 1980 51 66 56 1.63/1.75 c 4000 50182 1333622 522796 37 1983 29 52 45 1.63/1.76 c 4001 50230 1334538 523029 37 1984 48 48 24 1.63/1.76 conflict 22lvl : 28 bt28-29:0(171)X121689 1.63/1.76 c 4010 50315 1337593 524244 37 1987 55 55 49 1.63/1.76 conflict 10lvl : 17 bt16-211:0(56)X121843 1.63/1.76 conflict 28lvl : 27 bt27-29:0(158)X121856 1.63/1.76 c 4020 50404 1340882 525601 37 1991 55 55 50 1.63/1.76 c 4030 50485 1343191 526563 37 1993 49 57 48 1.63/1.77 c 4040 50574 1346249 527769 37 1995 26 54 40 1.63/1.77 c 4050 50674 1349008 528857 37 1997 47 52 46 1.63/1.77 c 4060 50795 1352097 530037 37 2001 55 64 54 1.63/1.77 conflict 14lvl : 53 bt25-201:0(183)X122449 1.63/1.77 c 4070 50908 1354845 531008 37 2004 53 64 55 1.63/1.78 c 4080 51033 1358253 532389 37 2008 28 62 40 1.63/1.78 c 4090 51124 1360913 533437 37 2012 42 63 50 1.63/1.78 c 4100 51209 1363549 534537 37 2014 28 60 45 1.63/1.78 c 4110 51311 1366572 535749 37 2018 53 63 53 1.63/1.78 conflict 12lvl : 52 bt22-201:0(173)X123179 1.63/1.79 c 4120 51466 1370873 537408 37 2022 47 55 47 1.63/1.79 c 4130 51564 1374375 538849 37 2025 42 61 47 1.63/1.79 c 4140 51666 1377003 539828 37 2030 21 63 40 1.73/1.80 c 4150 51764 1379721 540857 37 2034 46 63 47 1.73/1.80 c 4160 51849 1381518 541486 37 2040 21 64 48 1.73/1.80 c 4170 51931 1383582 542201 37 2044 43 53 44 1.73/1.80 c 4180 52001 1386336 543495 37 2046 25 31 27 1.73/1.80 conflict 13lvl : 21 bt20-253:0(68)X124391 1.73/1.80 c 4190 52114 1389450 544761 37 2052 28 69 36 1.73/1.81 c 4200 52206 1391384 545440 37 2057 22 65 52 1.73/1.81 c 4210 52315 1394624 546708 37 2061 47 63 52 1.73/1.81 c 4220 52400 1396509 547418 37 2066 22 64 50 1.73/1.81 c 4230 52520 1400147 549024 37 2070 22 59 36 1.73/1.82 c 4240 52611 1403227 550381 37 2072 27 53 29 1.73/1.82 conflict 13lvl : 28 bt23-203:0(85)X125489 1.73/1.82 c 4250 52717 1405839 551345 37 2082 52 76 60 1.73/1.82 c 4260 52884 1411090 553395 37 2086 48 62 48 1.73/1.83 c 4270 53010 1415496 555237 37 2089 29 53 39 1.73/1.83 c 4280 53235 1421977 557688 37 2092 30 68 45 1.73/1.84 c 4290 53411 1427149 559694 37 2096 49 52 45 1.73/1.84 c 4300 53565 1431101 561208 37 2104 49 75 53 1.73/1.84 c 4310 53681 1434441 562460 37 2111 29 75 49 1.73/1.85 c 4320 53798 1437739 563677 37 2117 30 74 53 1.73/1.85 c 4330 53866 1440592 565018 37 2120 26 32 25 1.73/1.85 c 4340 53974 1444294 566462 37 2127 51 75 64 1.73/1.86 c 4350 54089 1447677 567714 37 2135 42 67 51 1.73/1.86 c 4360 54149 1450319 568989 37 2138 24 26 22 1.73/1.86 c 4370 54248 1453641 570218 37 2143 42 60 48 1.73/1.87 c 4380 54404 1457875 571759 37 2150 48 104 59 1.73/1.87 c 4390 54500 1461572 573284 37 2157 48 74 59 1.73/1.87 c 4400 54616 1464546 574261 37 2164 39 72 49 1.73/1.88 c 4410 54754 1468756 575920 37 2171 54 101 79 1.73/1.88 c 4420 54863 1472598 577361 37 2176 45 65 46 1.73/1.88 c 4430 54969 1475475 578413 37 2183 28 83 42 1.73/1.88 c 4440 55064 1478841 579691 37 2185 47 51 44 1.73/1.89 c 4450 55158 1481643 580793 37 2192 29 70 43 1.73/1.89 c 4460 55273 1485319 582248 37 2197 26 59 40 1.73/1.89 c 4470 55402 1488603 583410 37 2205 49 100 73 1.83/1.90 c 4480 55550 1493881 585578 37 2211 33 100 61 1.83/1.90 c 4490 55678 1497693 587023 37 2217 29 92 59 1.83/1.90 c 4493 55734 1499291 587529 37 2220 29 52 33 1.83/1.90 c 4500 55808 1501693 588475 37 2222 28 55 40 1.83/1.91 c 4510 55954 1506459 590435 37 2226 35 100 73 1.83/1.91 c 4520 56072 1510601 592111 37 2231 35 81 67 1.83/1.91 c 4530 56159 1512762 592895 37 2234 26 70 49 1.83/1.92 c 4540 56261 1515659 593913 37 2236 45 51 43 1.83/1.92 c 4550 56351 1519881 595740 37 2238 26 47 38 1.83/1.92 c 4560 56420 1522071 596573 37 2239 41 45 39 1.83/1.93 c 4570 56517 1524974 597638 37 2242 36 45 38 1.83/1.93 c 4580 56628 1527979 598793 37 2248 29 91 61 1.83/1.93 c 4590 56772 1531739 600136 37 2254 49 91 57 1.83/1.93 c 4600 56917 1535518 601483 37 2260 50 91 57 1.83/1.94 c 4610 57054 1539339 602949 37 2267 52 91 58 1.83/1.94 c 4620 57171 1542370 604079 37 2274 52 91 72 1.83/1.94 c 4630 57290 1545724 605377 37 2280 41 91 75 1.83/1.95 c 4640 57436 1549370 606649 37 2287 51 91 56 1.83/1.95 c 4650 57544 1552694 607925 37 2290 41 48 42 1.83/1.95 c 4660 57718 1557535 609757 37 2294 32 51 43 1.83/1.96 c 4670 57839 1560851 611042 37 2300 67 91 78 1.83/1.96 c 4680 57974 1564564 612435 37 2302 41 52 41 1.83/1.96 c 4690 58080 1568240 614039 37 2304 26 52 28 1.83/1.96 conflict 23lvl : 24 bt24-150:0(153)X137720 1.83/1.97 c 4700 58148 1570688 614957 37 2309 38 44 38 1.83/1.97 c 4710 58264 1573607 616033 37 2316 51 91 74 1.83/1.97 c 4720 58334 1575523 616753 37 2318 39 45 39 1.83/1.97 conflict 11lvl : 17 bt16-255:0(55)X138454 1.83/1.97 c 4730 58423 1578261 617810 37 2327 41 72 50 1.83/1.97 conflict 13lvl : 23 bt22-253:0(68)X138878 1.83/1.97 c 4740 58495 1580352 618599 37 2330 39 45 39 1.83/1.98 c 4750 58565 1582053 619188 37 2336 21 45 36 1.83/1.98 conflict 11lvl : 19 bt17-255:0(56)X139178 1.83/1.98 c 4760 58631 1583864 619874 37 2341 23 44 34 1.83/1.98 c 4770 58727 1586124 620657 37 2346 43 72 49 1.83/1.98 conflict 11lvl : 19 bt18-255:0(61)X139629 1.83/1.98 c 4780 58807 1588202 621472 37 2354 21 58 44 1.83/1.98 c 4790 58885 1590401 622385 37 2358 21 57 33 1.83/1.99 c 4800 58989 1594417 624086 37 2360 22 65 41 1.83/1.99 c 4810 59130 1597758 625222 37 2366 46 89 57 1.83/1.99 c 4820 59244 1600130 625962 37 2370 55 91 78 1.83/2.00 c 4830 59368 1602699 626731 37 2375 46 91 74 1.83/2.00 c 4840 59485 1605176 627531 37 2378 46 91 74 1.83/2.00 c 4850 59625 1608603 628769 37 2382 45 89 55 1.83/2.00 c 4860 59719 1611175 629669 37 2390 39 70 47 1.94/2.01 c 4870 59775 1615042 631421 37 2394 22 26 20 1.94/2.01 c 4880 59854 1617192 632254 37 2400 26 58 42 1.94/2.01 c 4890 59914 1620046 633716 37 2402 20 25 20 1.94/2.01 c 4900 59995 1622417 634627 37 2405 26 58 39 1.94/2.02 c 4910 60072 1624698 635665 37 2407 20 41 24 1.94/2.02 c 4920 60191 1627661 636705 37 2412 40 72 51 1.94/2.02 c 4930 60271 1631322 638442 37 2414 20 45 24 1.94/2.02 c 4940 60356 1633616 639301 37 2420 25 60 42 1.94/2.03 c 4950 60438 1635641 640095 37 2427 27 59 34 1.94/2.03 c 4960 60519 1637662 640872 37 2434 26 56 33 1.94/2.03 c 4970 60578 1639618 641694 37 2439 22 30 23 1.94/2.03 c 4980 60708 1642306 642530 37 2444 66 107 85 1.94/2.03 c 4990 60795 1644396 643327 37 2451 26 60 35 1.94/2.04 c 5035 61031 1652744 647174 37 2465 35 90 73 2.04/2.16 c 5631 64476 1799487 716739 37 2472 31 105 75 2.13/2.28 c 6286 68413 1953774 787896 37 2477 17 91 59 2.23/2.38 c 7006 71700 2069354 839387 37 2481 19 82 60 2.23/2.38 conflict 9lvl : 20 bt15-267:0(62)X145759 2.43/2.52 c 7798 76048 2238451 908709 37 2488 18 80 45 2.63/2.70 c 8669 81908 2477365 1009018 37 2502 18 140 82 2.73/2.84 c 9627 86924 2655604 1088779 37 2512 24 109 70 2.94/3.05 c 10680 93861 2910826 1200547 37 2520 15 87 47 3.13/3.26 c 11838 100493 3169401 1306506 37 2540 9 113 69 3.33/3.46 c 13111 107396 3423749 1407918 37 2557 18 117 83 3.53/3.69 c 14511 113594 3703807 1533551 37 2569 14 81 47 3.83/3.98 c 16051 123225 4077079 1691938 37 2587 16 113 73 4.13/4.29 c 17745 133017 4453440 1854766 37 2604 20 100 46 4.53/4.63 c 19608 144067 4870147 2033614 37 2618 16 110 62 4.94/5.04 c 21657 156843 5392160 2248416 37 2635 19 113 67 5.33/5.41 c 23910 169626 5840933 2447250 37 2651 12 114 67 5.73/5.82 c 26388 182838 6334834 2662048 37 2666 16 116 57 6.13/6.28 c 29113 197529 6896250 2910002 37 2677 10 90 51 6.63/6.78 c 32110 212715 7519542 3179856 37 2687 15 120 65 7.13/7.25 c 35406 227780 8103310 3436852 37 2701 14 115 53 7.73/7.87 c 39031 248227 8871965 3756159 37 2713 13 120 59 8.53/8.60 c 43018 271468 9793920 4144181 37 2723 15 118 70 9.23/9.34 c 47403 288505 10706318 4597137 37 2734 18 61 35 9.94/10.09 c 52226 315969 11640860 4976527 37 2750 14 118 72 10.83/10.93 c 57531 342272 12687251 5420314 37 2758 11 118 59 11.63/11.73 c 63366 370086 13702889 5822083 37 2775 6 120 90 12.63/12.71 c 69784 392888 14939935 6401078 37 2787 22 72 51 13.73/13.89 c 76843 422601 16453483 7080320 37 2809 17 115 55 14.53/14.66 c 84607 446512 17424187 7504115 37 2827 21 65 56 15.43/15.56 c 93147 475515 18531797 8034020 37 2847 17 74 48 16.33/16.46 c 102541 508830 19629560 8531287 37 2860 13 86 51 17.73/17.86 c 112874 556535 21332583 9349780 37 2873 11 86 45 19.53/19.61 c 124240 605213 23500582 10346233 37 2889 8 108 59 22.13/22.20 c 136742 681309 26869197 11790418 37 2908 21 117 98 22.13/22.20 conflict 8lvl : 13 bt12-257:0(49)X162870 23.63/23.76 c 150494 734466 28773679 12702321 37 2929 20 92 59 25.53/25.63 c 165621 797283 31039613 13745371 37 2939 18 98 52 27.43/27.57 c 182260 862289 33374535 14788323 37 2952 14 78 49 29.63/29.75 c 200562 938813 35992958 15955681 37 2967 16 95 58 32.04/32.11 c 220694 1017559 38830161 17240294 37 2982 13 92 47 35.23/35.35 c 242839 1137978 42950225 18996749 37 2996 13 117 80 38.23/38.33 c 267198 1225075 46603283 20732030 37 3017 13 101 48 42.53/42.68 c 293992 1383186 52091787 23092784 37 3031 23 121 72 46.53/46.64 c 323465 1519614 57024873 25234873 37 3041 23 124 60 50.43/50.56 c 355885 1646987 61780130 27347496 37 3063 6 101 69 54.94/55.08 c 391547 1797270 67222121 29840753 37 3082 24 93 54 60.53/60.68 c 430775 1975054 73985149 32755276 37 3099 22 110 50 65.53/65.61 c 473925 2142999 80034972 35319541 37 3117 15 98 69 73.33/73.42 c 521390 2450549 89879066 39524856 37 3137 11 129 79 80.94/81.03 c 573601 2677749 99105038 43447545 37 3150 24 86 59 80.94/81.03 conflict 9lvl : 16 bt15-209:0(74)X172160 86.04/86.15 c 631033 2864509 105063898 46078861 37 3159 20 47 30 94.94/95.06 c 694208 3211053 115738622 50741147 37 3186 20 178 103 105.33/105.41 c 763700 3646731 128328853 56236434 37 3206 20 159 107 114.94/115.02 c 840141 4125079 139443728 61103243 37 3220 19 96 73 114.94/115.02 conflict 8lvl : 17 bt12-209:0(75)X175336 128.43/128.57 c 924226 4637768 155423240 67940886 37 3244 21 155 60 146.04/146.15 c 1016719 5299437 176681460 76784412 37 3260 22 114 73 161.43/161.55 c 1118461 5859380 194763861 84808667 37 3283 34 134 89 185.43/185.54 c 1230377 6472660 223799472 99202302 37 3298 27 85 56 208.73/208.89 c 1353484 7591631 251810052 110831976 37 3321 35 222 106 236.84/236.99 c 1488901 8525757 287112172 126338439 37 3339 34 149 121 268.95/269.00 c 1637859 9784515 326578301 144085182 37 3364 9 179 154 299.64/299.70 c 1801712 11445475 362407241 159477577 37 3380 10 165 137 332.54/332.64 c 1981950 13206503 399031894 176915001 37 3404 9 166 139 368.95/369.10 c 2180211 14033557 445179228 197272789 37 3421 20 76 58 417.25/417.37 c 2398298 16223662 500567690 224860374 37 3439 36 216 126 461.65/461.78 c 2638193 18313270 551903774 248501959 37 3463 22 211 108 503.26/503.38 c 2902077 20306505 600886503 269682689 37 3479 19 123 67 555.66/555.70 c 3192349 22682434 663762339 301359378 37 3495 16 124 111 617.56/617.62 c 3511648 26800243 728647413 334021134 37 3517 12 119 90 674.67/674.70 c 3862876 29000832 796597742 367061425 37 3530 27 120 66 732.08/732.12 c 4249226 31006357 866618209 399408566 37 3538 30 65 58 799.68/799.77 c 4674211 33307503 950215567 437947984 37 3550 30 75 56 879.78/879.85 c 5141694 36395668 1046965894 483753346 37 3568 20 179 72 968.00/968.02 c 5655925 42419209 1148548493 529195155 37 3587 18 201 124 1057.31/1057.38 c 6221579 45582412 1253669688 580013381 37 3601 22 96 66 1176.21/1176.22 c 6843798 49429255 1396819421 648225095 37 3612 11 108 73 1315.62/1315.65 c 7528238 53921109 1563593013 729323707 37 3626 23 98 72 1432.04/1432.05 c solution 1 1432.04/1432.05 1432.04/1432.05 v <instantiation type='solution'> 1432.04/1432.05 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] s[0][0][0] s[0][0][1] s[0][0][2] s[0][0][3] s[0][0][4] s[0][0][5] s[0][0][6] s[0][0][7] s[0][0][8] s[0][0][9] s[0][0][10] s[0][0][11] s[0][0][12] s[0][0][13] s[0][0][14] s[0][0][15] s[0][0][16] s[0][0][17] s[0][0][18] s[0][0][19] s[0][0][20] s[0][0][21] s[0][0][22] s[0][0][23] s[0][0][24] s[0][0][25] s[0][0][26] s[0][0][27] s[0][0][28] s[0][0][29] s[0][1][0] s[0][1][1] s[0][1][2] s[0][1][3] s[0][1][4] s[0][1][5] s[0][1][6] s[0][1][7] s[0][1][8] s[0][1][9] s[0][1][10] s[0][1][11] s[0][1][12] s[0][1][13] s[0][1][14] s[0][1][15] s[0][1][16] s[0][1][17] s[0][1][18] s[0][1][19] s[0][1][20] s[0][1][21] s[0][1][22] s[0][1][23] s[0][1][24] s[0][1][25] s[0][1][26] s[0][1][27] s[0][1][28] s[0][1][29] s[0][2][0] s[0][2][1] s[0][2][2] s[0][2][3] s[0][2][4] s[0][2][5] s[0][2][6] s[0][2][7] s[0][2][8] s[0][2][9] s[0][2][10] s[0][2][11] s[0][2][12] s[0][2][13] s[0][2][14] s[0][2][15] s[0][2][16] s[0][2][17] s[0][2][18] s[0][2][19] s[0][2][20] s[0][2][21] s[0][2][22] s[0][2][23] s[0][2][24] s[0][2][25] s[0][2][26] s[0][2][27] s[0][2][28] s[0][2][29] s[0][3][0] s[0][3][1] s[0][3][2] s[0][3][3] s[0][3][4] s[0][3][5] s[0][3][6] s[0][3][7] s[0][3][8] s[0][3][9] s[0][3][10] s[0][3][11] s[0][3][12] s[0][3][13] s[0][3][14] s[0][3][15] s[0][3][16] s[0][3][17] s[0][3][18] s[0][3][19] s[0][3][20] s[0][3][21] s[0][3][22] s[0][3][23] s[0][3][24] s[0][3][25] s[0][3][26] s[0][3][27] s[0][3][28] s[0][3][29] s[0][4][0] s[0][4][1] s[0][4][2] s[0][4][3] s[0][4][4] s[0][4][5] s[0][4][6] s[0][4][7] s[0][4][8] s[0][4][9] s[0][4][10] s[0][4][11] s[0][4][12] s[0][4][13] s[0][4][14] s[0][4][15] s[0][4][16] s[0][4][17] s[0][4][18] s[0][4][19] s[0][4][20] s[0][4][21] s[0][4][22] s[0][4][23] s[0][4][24] s[0][4][25] s[0][4][26] s[0][4][27] s[0][4][28] s[0][4][29] s[0][5][0] s[0][5][1] s[0][5][2] s[0][5][3] s[0][5][4] s[0][5][5] s[0][5][6] s[0][5][7] s[0][5][8] s[0][5][9] s[0][5][10] s[0][5][11] s[0][5][12] s[0][5][13] s[0][5][14] s[0][5][15] s[0][5][16] s[0][5][17] s[0][5][18] s[0][5][19] s[0][5][20] s[0][5][21] s[0][5][22] s[0][5][23] s[0][5][24] s[0][5][25] s[0][5][26] s[0][5][27] s[0][5][28] s[0][5][29] s[1][0][0] s[1][0][1] s[1][0][2] s[1][0][3] s[1][0][4] s[1][0][5] s[1][0][6] s[1][0][7] s[1][0][8] s[1][0][9] s[1][0][10] s[1][0][11] s[1][0][12] s[1][0][13] s[1][0][14] s[1][0][15] s[1][0][16] s[1][0][17] s[1][0][18] s[1][0][19] s[1][0][20] s[1][0][21] s[1][0][22] s[1][0][23] s[1][0][24] s[1][0][25] s[1][0][26] s[1][0][27] s[1][0][28] s[1][0][29] s[1][1][0] s[1][1][1] s[1][1][2] s[1][1][3] s[1][1][4] s[1][1][5] s[1][1][6] s[1][1][7] s[1][1][8] s[1][1][9] s[1][1][10] s[1][1][11] s[1][1][12] s[1][1][13] s[1][1][14] s[1][1][15] s[1][1][16] s[1][1][17] s[1][1][18] s[1][1][19] s[1][1][20] s[1][1][21] s[1][1][22] s[1][1][23] s[1][1][24] s[1][1][25] s[1][1][26] s[1][1][27] s[1][1][28] s[1][1][29] s[1][2][0] s[1][2][1] s[1][2][2] s[1][2][3] s[1][2][4] s[1][2][5] s[1][2][6] s[1][2][7] s[1][2][8] s[1][2][9] s[1][2][10] s[1][2][11] s[1][2][12] s[1][2][13] s[1][2][14] s[1][2][15] s[1][2][16] s[1][2][17] s[1][2][18] s[1][2][19] s[1][2][20] s[1][2][21] s[1][2][22] s[1][2][23] s[1][2][24] s[1][2][25] s[1][2][26] s[1][2][27] s[1][2][28] s[1][2][29] s[1][3][0] s[1][3][1] s[1][3][2] s[1][3][3] s[1][3][4] s[1][3][5] s[1][3][6] s[1][3][7] s[1][3][8] s[1][3][9] s[1][3][10] s[1][3][11] s[1][3][12] s[1][3][13] s[1][3][14] s[1][3][15] s[1][3][16] s[1][3][17] s[1][3][18] s[1][3][19] s[1][3][20] s[1][3][21] s[1][3][22] s[1][3][23] s[1][3][24] s[1][3][25] s[1][3][26] s[1][3][27] s[1][3][28] s[1][3][29] s[1][4][0] s[1][4][1] s[1][4][2] s[1][4][3] s[1][4][4] s[1][4][5] s[1][4][6] s[1][4][7] s[1][4][8] s[1][4][9] s[1][4][10] s[1][4][11] s[1][4][12] s[1][4][13] s[1][4][14] s[1][4][15] s[1][4][16] s[1][4][17] s[1][4][18] s[1][4][19] s[1][4][20] s[1][4][21] s[1][4][22] s[1][4][23] s[1][4][24] s[1][4][25] s[1][4][26] s[1][4][27] s[1][4][28] s[1][4][29] s[1][5][0] s[1][5][1] s[1][5][2] s[1][5][3] s[1][5][4] s[1][5][5] s[1][5][6] s[1][5][7] s[1][5][8] s[1][5][9] s[1][5][10] s[1][5][11] s[1][5][12] s[1][5][13] s[1][5][14] s[1][5][15] s[1][5][16] s[1][5][17] s[1][5][18] s[1][5][19] s[1][5][20] s[1][5][21] s[1][5][22] s[1][5][23] s[1][5][24] s[1][5][25] s[1][5][26] s[1][5][27] s[1][5][28] s[1][5][29] s[2][0][0] s[2][0][1] s[2][0][2] s[2][0][3] s[2][0][4] s[2][0][5] s[2][0][6] s[2][0][7] s[2][0][8] s[2][0][9] s[2][0][10] s[2][0][11] s[2][0][12] s[2][0][13] s[2][0][14] s[2][0][15] s[2][0][16] s[2][0][17] s[2][0][18] s[2][0][19] s[2][0][20] s[2][0][21] s[2][0][22] s[2][0][23] s[2][0][24] s[2][0][25] s[2][0][26] s[2][0][27] s[2][0][28] s[2][0][29] s[2][1][0] s[2][1][1] s[2][1][2] s[2][1][3] s[2][1][4] s[2][1][5] s[2][1][6] s[2][1][7] s[2][1][8] s[2][1][9] s[2][1][10] s[2][1][11] s[2][1][12] s[2][1][13] s[2][1][14] s[2][1][15] s[2][1][16] s[2][1][17] s[2][1][18] s[2][1][19] s[2][1][20] s[2][1][21] s[2][1][22] s[2][1][23] s[2][1][24] s[2][1][25] s[2][1][26] s[2][1][27] s[2][1][28] s[2][1][29] s[2][2][0] s[2][2][1] s[2][2][2] s[2][2][3] s[2][2][4] s[2][2][5] s[2][2][6] s[2][2][7] s[2][2][8] s[2][2][9] s[2][2][10] s[2][2][11] s[2][2][12] s[2][2][13] s[2][2][14] s[2][2][15] s[2][2][16] s[2][2][17] s[2][2][18] s[2][2][19] s[2][2][20] s[2][2][21] s[2][2][22] s[2][2][23] s[2][2][24] s[2][2][25] s[2][2][26] s[2][2][27] s[2][2][28] s[2][2][29] s[2][3][0] s[2][3][1] s[2][3][2] s[2][3][3] s[2][3][4] s[2][3][5] s[2][3][6] s[2][3][7] s[2][3][8] s[2][3][9] s[2][3][10] s[2][3][11] s[2][3][12] s[2][3][13] s[2][3][14] s[2][3][15] s[2][3][16] s[2][3][17] s[2][3][18] s[2][3][19] s[2][3][20] s[2][3][21] s[2][3][22] s[2][3][23] s[2][3][24] s[2][3][25] s[2][3][26] s[2][3][27] s[2][3][28] s[2][3][29] s[2][4][0] s[2][4][1] s[2][4][2] s[2][4][3] s[2][4][4] s[2][4][5] s[2][4][6] s[2][4][7] s[2][4][8] s[2][4][9] s[2][4][10] s[2][4][11] s[2][4][12] s[2][4][13] s[2][4][14] s[2][4][15] s[2][4][16] s[2][4][17] s[2][4][18] s[2][4][19] s[2][4][20] s[2][4][21] s[2][4][22] s[2][4][23] s[2][4][24] s[2][4][25] s[2][4][26] s[2][4][27] s[2][4][28] s[2][4][29] s[2][5][0] s[2][5][1] s[2][5][2] s[2][5][3] s[2][5][4] s[2][5][5] s[2][5][6] s[2][5][7] s[2][5][8] s[2][5][9] s[2][5][10] s[2][5][11] s[2][5][12] s[2][5][13] s[2][5][14] s[2][5][15] s[2][5][16] s[2][5][17] s[2][5][18] s[2][5][19] s[2][5][20] s[2][5][21] s[2][5][22] s[2][5][23] s[2][5][24] s[2][5][25] s[2][5][26] s[2][5][27] s[2][5][28] s[2][5][29] s[3][0][0] s[3][0][1] s[3][0][2] s[3][0][3] s[3][0][4] s[3][0][5] s[3][0][6] s[3][0][7] s[3][0][8] s[3][0][9] s[3][0][10] s[3][0][11] s[3][0][12] s[3][0][13] s[3][0][14] s[3][0][15] s[3][0][16] s[3][0][17] s[3][0][18] s[3][0][19] s[3][0][20] s[3][0][21] s[3][0][22] s[3][0][23] s[3][0][24] s[3][0][25] s[3][0][26] s[3][0][27] s[3][0][28] s[3][0][29] s[3][1][0] s[3][1][1] s[3][1][2] s[3][1][3] s[3][1][4] s[3][1][5] s[3][1][6] s[3][1][7] s[3][1][8] s[3][1][9] s[3][1][10] s[3][1][11] s[3][1][12] s[3][1][13] s[3][1][14] s[3][1][15] s[3][1][16] s[3][1][17] s[3][1][18] s[3][1][19] s[3][1][20] s[3][1][21] s[3][1][22] s[3][1][23] s[3][1][24] s[3][1][25] s[3][1][26] s[3][1][27] s[3][1][28] s[3][1][29] s[3][2][0] s[3][2][1] s[3][2][2] s[3][2][3] s[3][2][4] s[3][2][5] s[3][2][6] s[3][2][7] s[3][2][8] s[3][2][9] s[3][2][10] s[3][2][11] s[3][2][12] s[3][2][13] s[3][2][14] s[3][2][15] s[3][2][16] s[3][2][17] s[3][2][18] s[3][2][19] s[3][2][20] s[3][2][21] s[3][2][22] s[3][2][23] s[3][2][24] s[3][2][25] s[3][2][26] s[3][2][27] s[3][2][28] s[3][2][29] s[3][3][0] s[3][3][1] s[3][3][2] s[3][3][3] s[3][3][4] s[3][3][5] s[3][3][6] s[3][3][7] s[3][3][8] s[3][3][9] s[3][3][10] s[3][3][11] s[3][3][12] s[3][3][13] s[3][3][14] s[3][3][15] s[3][3][16] s[3][3][17] s[3][3][18] s[3][3][19] s[3][3][20] s[3][3][21] s[3][3][22] s[3][3][23] s[3][3][24] s[3][3][25] s[3][3][26] s[3][3][27] s[3][3][28] s[3][3][29] s[3][4][0] s[3][4][1] s[3][4][2] s[3][4][3] s[3][4][4] s[3][4][5] s[3][4][6] s[3][4][7] s[3][4][8] s[3][4][9] s[3][4][10] s[3][4][11] s[3][4][12] s[3][4][13] s[3][4][14] s[3][4][15] s[3][4][16] s[3][4][17] s[3][4][18] s[3][4][19] s[3][4][20] s[3][4][21] s[3][4][22] s[3][4][23] s[3][4][24] s[3][4][25] s[3][4][26] s[3][4][27] s[3][4][28] s[3][4][29] s[3][5][0] s[3][5][1] s[3][5][2] s[3][5][3] s[3][5][4] s[3][5][5] s[3][5][6] s[3][5][7] s[3][5][8] s[3][5][9] s[3][5][10] s[3][5][11] s[3][5][12] s[3][5][13] s[3][5][14] s[3][5][15] s[3][5][16] s[3][5][17] s[3][5][18] s[3][5][19] s[3][5][20] s[3][5][21] s[3][5][22] s[3][5][23] s[3][5][24] s[3][5][25] s[3][5][26] s[3][5][27] s[3][5][28] s[3][5][29] s[4][0][0] s[4][0][1] s[4][0][2] s[4][0][3] s[4][0][4] s[4][0][5] s[4][0][6] s[4][0][7] s[4][0][8] s[4][0][9] s[4][0][10] s[4][0][11] s[4][0][12] s[4][0][13] s[4][0][14] s[4][0][15] s[4][0][16] s[4][0][17] s[4][0][18] s[4][0][19] s[4][0][20] s[4][0][21] s[4][0][22] s[4][0][23] s[4][0][24] s[4][0][25] s[4][0][26] s[4][0][27] s[4][0][28] s[4][0][29] s[4][1][0] s[4][1][1] s[4][1][2] s[4][1][3] s[4][1][4] s[4][1][5] s[4][1][6] s[4][1][7] s[4][1][8] s[4][1][9] s[4][1][10] s[4][1][11] s[4][1][12] s[4][1][13] s[4][1][14] s[4][1][15] s[4][1][16] s[4][1][17] s[4][1][18] s[4][1][19] s[4][1][20] s[4][1][21] s[4][1][22] s[4][1][23] s[4][1][24] s[4][1][25] s[4][1][26] s[4][1][27] s[4][1][28] s[4][1][29] s[4][2][0] s[4][2][1] s[4][2][2] s[4][2][3] s[4][2][4] s[4][2][5] s[4][2][6] s[4][2][7] s[4][2][8] s[4][2][9] s[4][2][10] s[4][2][11] s[4][2][12] s[4][2][13] s[4][2][14] s[4][2][15] s[4][2][16] s[4][2][17] s[4][2][18] s[4][2][19] s[4][2][20] s[4][2][21] s[4][2][22] s[4][2][23] s[4][2][24] s[4][2][25] s[4][2][26] s[4][2][27] s[4][2][28] s[4][2][29] s[4][3][0] s[4][3][1] s[4][3][2] s[4][3][3] s[4][3][4] s[4][3][5] s[4][3][6] s[4][3][7] s[4][3][8] s[4][3][9] s[4][3][10] s[4][3][11] s[4][3][12] s[4][3][13] s[4][3][14] s[4][3][15] s[4][3][16] s[4][3][17] s[4][3][18] s[4][3][19] s[4][3][20] s[4][3][21] s[4][3][22] s[4][3][23] s[4][3][24] s[4][3][25] s[4][3][26] s[4][3][27] s[4][3][28] s[4][3][29] s[4][4][0] s[4][4][1] s[4][4][2] s[4][4][3] s[4][4][4] s[4][4][5] s[4][4][6] s[4][4][7] s[4][4][8] s[4][4][9] s[4][4][10] s[4][4][11] s[4][4][12] s[4][4][13] s[4][4][14] s[4][4][15] s[4][4][16] s[4][4][17] s[4][4][18] s[4][4][19] s[4][4][20] s[4][4][21] s[4][4][22] s[4][4][23] s[4][4][24] s[4][4][25] s[4][4][26] s[4][4][27] s[4][4][28] s[4][4][29] s[4][5][0] s[4][5][1] s[4][5][2] s[4][5][3] s[4][5][4] s[4][5][5] s[4][5][6] s[4][5][7] s[4][5][8] s[4][5][9] s[4][5][10] s[4][5][11] s[4][5][12] s[4][5][13] s[4][5][14] s[4][5][15] s[4][5][16] s[4][5][17] s[4][5][18] s[4][5][19] s[4][5][20] s[4][5][21] s[4][5][22] s[4][5][23] s[4][5][24] s[4][5][25] s[4][5][26] s[4][5][27] s[4][5][28] s[4][5][29] s[5][0][0] s[5][0][1] s[5][0][2] s[5][0][3] s[5][0][4] s[5][0][5] s[5][0][6] s[5][0][7] s[5][0][8] s[5][0][9] s[5][0][10] s[5][0][11] s[5][0][12] s[5][0][13] s[5][0][14] s[5][0][15] s[5][0][16] s[5][0][17] s[5][0][18] s[5][0][19] s[5][0][20] s[5][0][21] s[5][0][22] s[5][0][23] s[5][0][24] s[5][0][25] s[5][0][26] s[5][0][27] s[5][0][28] s[5][0][29] s[5][1][0] s[5][1][1] s[5][1][2] s[5][1][3] s[5][1][4] s[5][1][5] s[5][1][6] s[5][1][7] s[5][1][8] s[5][1][9] s[5][1][10] s[5][1][11] s[5][1][12] s[5][1][13] s[5][1][14] s[5][1][15] s[5][1][16] s[5][1][17] s[5][1][18] s[5][1][19] s[5][1][20] s[5][1][21] s[5][1][22] s[5][1][23] s[5][1][24] s[5][1][25] s[5][1][26] s[5][1][27] s[5][1][28] s[5][1][29] s[5][2][0] s[5][2][1] s[5][2][2] s[5][2][3] s[5][2][4] s[5][2][5] s[5][2][6] s[5][2][7] s[5][2][8] s[5][2][9] s[5][2][10] s[5][2][11] s[5][2][12] s[5][2][13] s[5][2][14] s[5][2][15] s[5][2][16] s[5][2][17] s[5][2][18] s[5][2][19] s[5][2][20] s[5][2][21] s[5][2][22] s[5][2][23] s[5][2][24] s[5][2][25] s[5][2][26] s[5][2][27] s[5][2][28] s[5][2][29] s[5][3][0] s[5][3][1] s[5][3][2] s[5][3][3] s[5][3][4] s[5][3][5] s[5][3][6] s[5][3][7] s[5][3][8] s[5][3][9] s[5][3][10] s[5][3][11] s[5][3][12] s[5][3][13] s[5][3][14] s[5][3][15] s[5][3][16] s[5][3][17] s[5][3][18] s[5][3][19] s[5][3][20] s[5][3][21] s[5][3][22] s[5][3][23] s[5][3][24] s[5][3][25] s[5][3][26] s[5][3][27] s[5][3][28] s[5][3][29] s[5][4][0] s[5][4][1] s[5][4][2] s[5][4][3] s[5][4][4] s[5][4][5] s[5][4][6] s[5][4][7] s[5][4][8] s[5][4][9] s[5][4][10] s[5][4][11] s[5][4][12] s[5][4][13] s[5][4][14] s[5][4][15] s[5][4][16] s[5][4][17] s[5][4][18] s[5][4][19] s[5][4][20] s[5][4][21] s[5][4][22] s[5][4][23] s[5][4][24] s[5][4][25] s[5][4][26] s[5][4][27] s[5][4][28] s[5][4][29] s[5][5][0] s[5][5][1] s[5][5][2] s[5][5][3] s[5][5][4] s[5][5][5] s[5][5][6] s[5][5][7] s[5][5][8] s[5][5][9] s[5][5][10] s[5][5][11] s[5][5][12] s[5][5][13] s[5][5][14] s[5][5][15] s[5][5][16] s[5][5][17] s[5][5][18] s[5][5][19] s[5][5][20] s[5][5][21] s[5][5][22] s[5][5][23] s[5][5][24] s[5][5][25] s[5][5][26] s[5][5][27] s[5][5][28] s[5][5][29] </list> 1432.04/1432.05 v <values>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 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 1 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 0 0 0 1 1 0 0 1 1 1 0 1 1 1 1 1 1 1 1 0 0 0 1 0 0 0 0 0 0 1 1 1 1 0 1 1 1 0 1 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 1 0 0 1 1 1 1 1 0 1 1 1 0 0 1 0 0 0 1 1 1 0 0 1 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 0 0 0 0 0 0 0 0 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 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 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 1 1 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 1 1 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 0 1 1 0 0 0 0 0 0 0 0 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 1 1 0 1 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 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 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 1 1 1 1 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 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 1 0 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 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * </values> 1432.04/1432.05 v </instantiation> 1432.04/1432.05 1432.04/1432.05 c restarts : 593 1432.04/1432.05 c conflicts : 8279945 (5782 /sec) 1432.04/1432.05 c decisions : 59685949 (41678 /sec) 1432.04/1432.05 c propagations : 791628695 (552787 /sec) 1432.04/1432.05 c root propagations : 0 1432.04/1432.05 c filter calls : 1702849935 (1189085 /sec) 1432.04/1432.05 c useless filter calls : 1148698926 (67 %) 1432.04/1432.05 c 1432.04/1432.05 c clauses : 6146 1432.04/1432.05 c SAT propagations : 18766 1432.04/1432.05 c SAT conflicts : 63 (45 learnts) 1432.04/1432.05 c Memory used : 39.21 MB 1432.04/1432.05 c CPU time : 1432.07 s 1432.04/1432.05 1432.04/1432.05 s SATISFIABLE
OK
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 (15031 MiB free)
memory of node 1: 16384 MiB (14966 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265984-1502571190/watcher-4265984-1502571190 -o /tmp/evaluation-result-4265984-1502571190/solver-4265984-1502571190 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502565190-8353 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265984-1502571190.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=9616, runsolver pid=9613
Current StackSize limit: 8192 KiB
[startup+0.100196 s]*
/proc/loadavg: 1.94 2.00 1.95 3/186 9617
/proc/meminfo: memFree=30716752/32770624 swapFree=67108860/67108860
[pid=9616] ppid=9613 vsize=28448 memory=4804 CPUtime=0.04 cores=0,2,4,6
/proc/9616/stat : 9616 (cosoco) R 9613 9616 8289 0 -1 4202496 1400 0 0 0 4 0 0 0 20 0 1 0 104934146 29130752 1201 18446744073709551615 4194304 5972588 140734616933296 140734616929944 5211153 0 0 1 0 0 0 0 17 2 0 0 6 0 0 8070896 8075904 38252544 140734616940996 140734616941096 140734616941096 140734616944590 0
/proc/9616/statm: 7112 1201 796 435 0 475 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 28448 KiB
Current children cumulated memory: 4804 KiB
[startup+0.209643 s]*
/proc/loadavg: 1.94 2.00 1.95 3/186 9617
/proc/meminfo: memFree=30715636/32770624 swapFree=67108860/67108860
[pid=9616] ppid=9613 vsize=29592 memory=6080 CPUtime=0.14 cores=0,2,4,6
/proc/9616/stat : 9616 (cosoco) R 9613 9616 8289 0 -1 4202496 1691 0 0 0 14 0 0 0 20 0 1 0 104934146 30302208 1520 18446744073709551615 4194304 5972588 140734616933296 140734616929944 140048723801519 0 0 1 0 0 0 0 17 2 0 0 6 0 0 8070896 8075904 38252544 140734616940996 140734616941096 140734616941096 140734616944590 0
/proc/9616/statm: 7398 1520 796 435 0 761 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 29592 KiB
Current children cumulated memory: 6080 KiB
[startup+0.309077 s]*
/proc/loadavg: 1.94 2.00 1.95 3/186 9617
/proc/meminfo: memFree=30714760/32770624 swapFree=67108860/67108860
[pid=9616] ppid=9613 vsize=30616 memory=7104 CPUtime=0.24 cores=0,2,4,6
/proc/9616/stat : 9616 (cosoco) R 9613 9616 8289 0 -1 4202496 1957 0 0 0 24 0 0 0 20 0 1 0 104934146 31350784 1776 18446744073709551615 4194304 5972588 140734616933296 140734616927096 140048723717093 0 0 1 0 0 0 0 17 2 0 0 6 0 0 8070896 8075904 38252544 140734616940996 140734616941096 140734616941096 140734616944590 0
/proc/9616/statm: 7654 1776 796 435 0 1017 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 30616 KiB
Current children cumulated memory: 7104 KiB
[startup+0.700358 s]
/proc/loadavg: 1.94 2.00 1.95 3/186 9617
/proc/meminfo: memFree=30712900/32770624 swapFree=67108860/67108860
[pid=9616] ppid=9613 vsize=39352 memory=11628 CPUtime=0.62 cores=0,2,4,6
/proc/9616/stat : 9616 (cosoco) R 9613 9616 8289 0 -1 4202496 3113 0 0 0 62 0 0 0 20 0 1 0 104934146 40296448 2907 18446744073709551615 4194304 5972588 140734616933296 140734616927096 140048724155488 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 38252544 140734616940996 140734616941096 140734616941096 140734616944590 0
/proc/9616/statm: 9838 2907 840 435 0 3201 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 39352 KiB
Current children cumulated memory: 11628 KiB
[startup+1.50034 s]
/proc/loadavg: 1.94 2.00 1.95 3/186 9617
/proc/meminfo: memFree=30710188/32770624 swapFree=67108860/67108860
[pid=9616] ppid=9613 vsize=39484 memory=13940 CPUtime=1.43 cores=0,2,4,6
/proc/9616/stat : 9616 (cosoco) R 9613 9616 8289 0 -1 4202496 3173 0 0 0 142 1 0 0 20 0 1 0 104934146 40431616 3485 18446744073709551615 4194304 5972588 140734616933296 140734616930696 140048724155488 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 38252544 140734616940996 140734616941096 140734616941096 140734616944590 0
/proc/9616/statm: 9871 3485 845 435 0 3234 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 39484 KiB
Current children cumulated memory: 13940 KiB
[startup+3.10925 s]
/proc/loadavg: 1.94 2.00 1.95 3/185 9617
/proc/meminfo: memFree=30707532/32770624 swapFree=67108860/67108860
[pid=9616] ppid=9613 vsize=39484 memory=14152 CPUtime=3.04 cores=0,2,4,6
/proc/9616/stat : 9616 (cosoco) R 9613 9616 8289 0 -1 4202496 4211 0 0 0 303 1 0 0 20 0 1 0 104934146 40431616 3538 18446744073709551615 4194304 5972588 140734616933296 140734616930600 5039335 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 38252544 140734616940996 140734616941096 140734616941096 140734616944590 0
/proc/9616/statm: 9871 3538 845 435 0 3234 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 39484 KiB
Current children cumulated memory: 14152 KiB
[startup+6.30032 s]
/proc/loadavg: 1.86 1.98 1.95 3/185 9617
/proc/meminfo: memFree=30707256/32770624 swapFree=67108860/67108860
[pid=9616] ppid=9613 vsize=39484 memory=14168 CPUtime=6.23 cores=0,2,4,6
/proc/9616/stat : 9616 (cosoco) R 9613 9616 8289 0 -1 4202496 5228 0 0 0 622 1 0 0 20 0 1 0 104934146 40431616 3542 18446744073709551615 4194304 5972588 140734616933296 140734616930600 4987764 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 8070896 8075904 38252544 140734616940996 140734616941096 140734616941096 140734616944590 0
/proc/9616/statm: 9871 3542 845 435 0 3234 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 39484 KiB
Current children cumulated memory: 14168 KiB
[startup+12.7003 s]
/proc/loadavg: 1.87 1.98 1.95 3/186 9618
/proc/meminfo: memFree=30707368/32770624 swapFree=67108860/67108860
[pid=9616] ppid=9613 vsize=39484 memory=14168 CPUtime=12.63 cores=0,2,4,6
/proc/9616/stat : 9616 (cosoco) R 9613 9616 8289 0 -1 4202496 6246 0 0 0 1262 1 0 0 20 0 1 0 104934146 40431616 3542 18446744073709551615 4194304 5972588 140734616933296 140734616930600 5039524 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 8070896 8075904 38252544 140734616940996 140734616941096 140734616941096 140734616944590 0
/proc/9616/statm: 9871 3542 845 435 0 3234 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 39484 KiB
Current children cumulated memory: 14168 KiB
[startup+25.5003 s]
/proc/loadavg: 1.90 1.98 1.95 3/186 9619
/proc/meminfo: memFree=30707120/32770624 swapFree=67108860/67108860
[pid=9616] ppid=9613 vsize=39484 memory=14180 CPUtime=25.43 cores=0,2,4,6
/proc/9616/stat : 9616 (cosoco) R 9613 9616 8289 0 -1 4202496 8287 0 0 0 2542 1 0 0 20 0 1 0 104934146 40431616 3545 18446744073709551615 4194304 5972588 140734616933296 140734616930696 5312432 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 8070896 8075904 38252544 140734616940996 140734616941096 140734616941096 140734616944590 0
/proc/9616/statm: 9871 3545 845 435 0 3234 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 39484 KiB
Current children cumulated memory: 14180 KiB
[startup+51.1093 s]
/proc/loadavg: 1.93 1.98 1.95 3/186 9619
/proc/meminfo: memFree=30707244/32770624 swapFree=67108860/67108860
[pid=9616] ppid=9613 vsize=39484 memory=14188 CPUtime=51.04 cores=0,2,4,6
/proc/9616/stat : 9616 (cosoco) R 9613 9616 8289 0 -1 4202496 9315 0 0 0 5103 1 0 0 20 0 1 0 104934146 40431616 3547 18446744073709551615 4194304 5972588 140734616933296 140734616930600 4965365 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 8070896 8075904 38252544 140734616940996 140734616941096 140734616941096 140734616944590 0
/proc/9616/statm: 9871 3547 845 435 0 3234 0
Current children cumulated CPU time: 51.04 s
Current children cumulated vsize: 39484 KiB
Current children cumulated memory: 14188 KiB
[startup+102.3 s]
/proc/loadavg: 1.97 1.99 1.95 3/190 9697
/proc/meminfo: memFree=27254736/32770624 swapFree=67108860/67108860
[pid=9616] ppid=9613 vsize=39484 memory=14252 CPUtime=102.23 cores=0,2,4,6
/proc/9616/stat : 9616 (cosoco) R 9613 9616 8289 0 -1 4202496 10352 0 0 0 10222 1 0 0 20 0 1 0 104934146 40431616 3563 18446744073709551615 4194304 5972588 140734616933296 140734616930600 5099664 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 8070896 8075904 38252544 140734616940996 140734616941096 140734616941096 140734616944590 0
/proc/9616/statm: 9871 3563 845 435 0 3234 0
Current children cumulated CPU time: 102.23 s
Current children cumulated vsize: 39484 KiB
Current children cumulated memory: 14252 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.95 3/188 9759
/proc/meminfo: memFree=30903256/32770624 swapFree=67108860/67108860
[pid=9616] ppid=9613 vsize=39484 memory=14260 CPUtime=162.23 cores=0,2,4,6
/proc/9616/stat : 9616 (cosoco) R 9613 9616 8289 0 -1 4202496 10787 0 0 0 16222 1 0 0 20 0 1 0 104934146 40431616 3565 18446744073709551615 4194304 5972588 140734616933296 140734616930600 4965605 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 8070896 8075904 38252544 140734616940996 140734616941096 140734616941096 140734616944590 0
/proc/9616/statm: 9871 3565 845 435 0 3234 0
Current children cumulated CPU time: 162.23 s
Current children cumulated vsize: 39484 KiB
Current children cumulated memory: 14260 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/186 9761
/proc/meminfo: memFree=30903148/32770624 swapFree=67108860/67108860
[pid=9616] ppid=9613 vsize=39616 memory=14260 CPUtime=222.24 cores=0,2,4,6
/proc/9616/stat : 9616 (cosoco) R 9613 9616 8289 0 -1 4202496 11240 0 0 0 22223 1 0 0 20 0 1 0 104934146 40566784 3565 18446744073709551615 4194304 5972588 140734616933296 140734616930600 5139264 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 8070896 8075904 38252544 140734616940996 140734616941096 140734616941096 140734616944590 0
/proc/9616/statm: 9904 3565 845 435 0 3267 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 39616 KiB
Current children cumulated memory: 14260 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 9764
/proc/meminfo: memFree=30901664/32770624 swapFree=67108860/67108860
[pid=9616] ppid=9613 vsize=39616 memory=14260 CPUtime=282.24 cores=0,2,4,6
/proc/9616/stat : 9616 (cosoco) R 9613 9616 8289 0 -1 4202496 11242 0 0 0 28223 1 0 0 20 0 1 0 104934146 40566784 3565 18446744073709551615 4194304 5972588 140734616933296 140734616930600 5338181 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 8070896 8075904 38252544 140734616940996 140734616941096 140734616941096 140734616944590 0
/proc/9616/statm: 9904 3565 845 435 0 3267 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 39616 KiB
Current children cumulated memory: 14260 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/186 9766
/proc/meminfo: memFree=30899824/32770624 swapFree=67108860/67108860
[pid=9616] ppid=9613 vsize=39616 memory=14324 CPUtime=342.24 cores=0,2,4,6
/proc/9616/stat : 9616 (cosoco) R 9613 9616 8289 0 -1 4202496 11695 0 0 0 34223 1 0 0 20 0 1 0 104934146 40566784 3581 18446744073709551615 4194304 5972588 140734616933296 140734616930600 5240338 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 8070896 8075904 38252544 140734616940996 140734616941096 140734616941096 140734616944590 0
/proc/9616/statm: 9904 3581 845 435 0 3267 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 39616 KiB
Current children cumulated memory: 14324 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/186 9769
/proc/meminfo: memFree=30898296/32770624 swapFree=67108860/67108860
[pid=9616] ppid=9613 vsize=39616 memory=14324 CPUtime=402.25 cores=0,2,4,6
/proc/9616/stat : 9616 (cosoco) R 9613 9616 8289 0 -1 4202496 11695 0 0 0 40224 1 0 0 20 0 1 0 104934146 40566784 3581 18446744073709551615 4194304 5972588 140734616933296 140734616930600 4988261 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 8070896 8075904 38252544 140734616940996 140734616941096 140734616941096 140734616944590 0
/proc/9616/statm: 9904 3581 845 435 0 3267 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 39616 KiB
Current children cumulated memory: 14324 KiB
[startup+462.3 s]
/proc/loadavg: 2.04 2.00 1.96 3/186 9771
/proc/meminfo: memFree=30896820/32770624 swapFree=67108860/67108860
[pid=9616] ppid=9613 vsize=39616 memory=14328 CPUtime=462.25 cores=0,2,4,6
/proc/9616/stat : 9616 (cosoco) R 9613 9616 8289 0 -1 4202496 12149 0 0 0 46224 1 0 0 20 0 1 0 104934146 40566784 3582 18446744073709551615 4194304 5972588 140734616933296 140734616930600 5139315 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 8070896 8075904 38252544 140734616940996 140734616941096 140734616941096 140734616944590 0
/proc/9616/statm: 9904 3582 845 435 0 3267 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 39616 KiB
Current children cumulated memory: 14328 KiB
################
# More data... #
################
Current children cumulated memory: 14336 KiB
[startup+882.3 s]
/proc/loadavg: 2.16 2.04 1.97 3/186 9801
/proc/meminfo: memFree=30884152/32770624 swapFree=67108860/67108860
[pid=9616] ppid=9613 vsize=39616 memory=14336 CPUtime=882.28 cores=0,2,4,6
/proc/9616/stat : 9616 (cosoco) R 9613 9616 8289 0 -1 4202496 13505 0 0 0 88227 1 0 0 20 0 1 0 104934146 40566784 3584 18446744073709551615 4194304 5972588 140734616933296 140734616930600 5094144 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 8070896 8075904 38252544 140734616940996 140734616941096 140734616941096 140734616944590 0
/proc/9616/statm: 9904 3584 845 435 0 3267 0
Current children cumulated CPU time: 882.28 s
Current children cumulated vsize: 39616 KiB
Current children cumulated memory: 14336 KiB
[startup+942.3 s]
/proc/loadavg: 2.06 2.03 1.97 3/186 9803
/proc/meminfo: memFree=30882600/32770624 swapFree=67108860/67108860
[pid=9616] ppid=9613 vsize=39616 memory=14340 CPUtime=942.29 cores=0,2,4,6
/proc/9616/stat : 9616 (cosoco) R 9613 9616 8289 0 -1 4202496 13946 0 0 0 94228 1 0 0 20 0 1 0 104934146 40566784 3585 18446744073709551615 4194304 5972588 140734616933296 140734616930600 5338144 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 8070896 8075904 38252544 140734616940996 140734616941096 140734616941096 140734616944590 0
/proc/9616/statm: 9904 3585 845 435 0 3267 0
Current children cumulated CPU time: 942.29 s
Current children cumulated vsize: 39616 KiB
Current children cumulated memory: 14340 KiB
[startup+1002.3 s]
/proc/loadavg: 2.02 2.02 1.97 3/186 9806
/proc/meminfo: memFree=30880652/32770624 swapFree=67108860/67108860
[pid=9616] ppid=9613 vsize=39616 memory=14344 CPUtime=1002.29 cores=0,2,4,6
/proc/9616/stat : 9616 (cosoco) R 9613 9616 8289 0 -1 4202496 13963 0 0 0 100228 1 0 0 20 0 1 0 104934146 40566784 3586 18446744073709551615 4194304 5972588 140734616933296 140734616930600 4965342 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 8070896 8075904 38252544 140734616940996 140734616941096 140734616941096 140734616944590 0
/proc/9616/statm: 9904 3586 845 435 0 3267 0
Current children cumulated CPU time: 1002.29 s
Current children cumulated vsize: 39616 KiB
Current children cumulated memory: 14344 KiB
[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/185 9808
/proc/meminfo: memFree=30879316/32770624 swapFree=67108860/67108860
[pid=9616] ppid=9613 vsize=39616 memory=14344 CPUtime=1062.31 cores=0,2,4,6
/proc/9616/stat : 9616 (cosoco) R 9613 9616 8289 0 -1 4202496 14415 0 0 0 106229 2 0 0 20 0 1 0 104934146 40566784 3586 18446744073709551615 4194304 5972588 140734616933296 140734616930600 4909602 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 8070896 8075904 38252544 140734616940996 140734616941096 140734616941096 140734616944590 0
/proc/9616/statm: 9904 3586 845 435 0 3267 0
Current children cumulated CPU time: 1062.31 s
Current children cumulated vsize: 39616 KiB
Current children cumulated memory: 14344 KiB
[startup+1122.3 s]
/proc/loadavg: 2.11 2.04 1.98 3/185 9810
/proc/meminfo: memFree=30877332/32770624 swapFree=67108860/67108860
[pid=9616] ppid=9613 vsize=39616 memory=14344 CPUtime=1122.31 cores=0,2,4,6
/proc/9616/stat : 9616 (cosoco) R 9613 9616 8289 0 -1 4202496 14417 0 0 0 112229 2 0 0 20 0 1 0 104934146 40566784 3586 18446744073709551615 4194304 5972588 140734616933296 140734616930600 5139291 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 8070896 8075904 38252544 140734616940996 140734616941096 140734616941096 140734616944590 0
/proc/9616/statm: 9904 3586 845 435 0 3267 0
Current children cumulated CPU time: 1122.31 s
Current children cumulated vsize: 39616 KiB
Current children cumulated memory: 14344 KiB
[startup+1182.3 s]
/proc/loadavg: 2.04 2.04 1.98 3/186 9814
/proc/meminfo: memFree=30875084/32770624 swapFree=67108860/67108860
[pid=9616] ppid=9613 vsize=39616 memory=14344 CPUtime=1182.32 cores=0,2,4,6
/proc/9616/stat : 9616 (cosoco) R 9613 9616 8289 0 -1 4202496 14872 0 0 0 118230 2 0 0 20 0 1 0 104934146 40566784 3586 18446744073709551615 4194304 5972588 140734616933296 140734616930600 5139264 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 8070896 8075904 38252544 140734616940996 140734616941096 140734616941096 140734616944590 0
/proc/9616/statm: 9904 3586 845 435 0 3267 0
Current children cumulated CPU time: 1182.32 s
Current children cumulated vsize: 39616 KiB
Current children cumulated memory: 14344 KiB
[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 1.98 3/186 9816
/proc/meminfo: memFree=30873848/32770624 swapFree=67108860/67108860
[pid=9616] ppid=9613 vsize=39616 memory=14344 CPUtime=1242.32 cores=0,2,4,6
/proc/9616/stat : 9616 (cosoco) R 9613 9616 8289 0 -1 4202496 14872 0 0 0 124230 2 0 0 20 0 1 0 104934146 40566784 3586 18446744073709551615 4194304 5972588 140734616933296 140734616930600 4965342 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 8070896 8075904 38252544 140734616940996 140734616941096 140734616941096 140734616944590 0
/proc/9616/statm: 9904 3586 845 435 0 3267 0
Current children cumulated CPU time: 1242.32 s
Current children cumulated vsize: 39616 KiB
Current children cumulated memory: 14344 KiB
[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 1.98 3/189 9833
/proc/meminfo: memFree=30869184/32770624 swapFree=67108860/67108860
[pid=9616] ppid=9613 vsize=39616 memory=14344 CPUtime=1302.32 cores=0,2,4,6
/proc/9616/stat : 9616 (cosoco) R 9613 9616 8289 0 -1 4202496 15270 0 0 0 130230 2 0 0 20 0 1 0 104934146 40566784 3586 18446744073709551615 4194304 5972588 140734616933296 140734616930600 4965342 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 8070896 8075904 38252544 140734616940996 140734616941096 140734616941096 140734616944590 0
/proc/9616/statm: 9904 3586 845 435 0 3267 0
Current children cumulated CPU time: 1302.32 s
Current children cumulated vsize: 39616 KiB
Current children cumulated memory: 14344 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/190 9860
/proc/meminfo: memFree=30866092/32770624 swapFree=67108860/67108860
[pid=9616] ppid=9613 vsize=39616 memory=14344 CPUtime=1362.33 cores=0,2,4,6
/proc/9616/stat : 9616 (cosoco) R 9613 9616 8289 0 -1 4202496 15324 0 0 0 136231 2 0 0 20 0 1 0 104934146 40566784 3586 18446744073709551615 4194304 5972588 140734616933296 140734616930600 5338173 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 8070896 8075904 38252544 140734616940996 140734616941096 140734616941096 140734616944590 0
/proc/9616/statm: 9904 3586 845 435 0 3267 0
Current children cumulated CPU time: 1362.33 s
Current children cumulated vsize: 39616 KiB
Current children cumulated memory: 14344 KiB
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 9862
/proc/meminfo: memFree=30866960/32770624 swapFree=67108860/67108860
[pid=9616] ppid=9613 vsize=39616 memory=14344 CPUtime=1422.33 cores=0,2,4,6
/proc/9616/stat : 9616 (cosoco) R 9613 9616 8289 0 -1 4202496 15775 0 0 0 142231 2 0 0 20 0 1 0 104934146 40566784 3586 18446744073709551615 4194304 5972588 140734616933296 140734616930600 5139281 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 8070896 8075904 38252544 140734616940996 140734616941096 140734616941096 140734616944590 0
/proc/9616/statm: 9904 3586 845 435 0 3267 0
Current children cumulated CPU time: 1422.33 s
Current children cumulated vsize: 39616 KiB
Current children cumulated memory: 14344 KiB
[startup+1432.05 s]
# the end of solver process 9616 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1432.07 s, system=0.024001 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1427.2 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 9862
/proc/meminfo: memFree=30867596/32770624 swapFree=67108860/67108860
[pid=9616] ppid=9613 vsize=39616 memory=14344 CPUtime=1427.23 cores=0,2,4,6
/proc/9616/stat : 9616 (cosoco) R 9613 9616 8289 0 -1 4202496 15775 0 0 0 142721 2 0 0 20 0 1 0 104934146 40566784 3586 18446744073709551615 4194304 5972588 140734616933296 140734616930600 5039912 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 8070896 8075904 38252544 140734616940996 140734616941096 140734616941096 140734616944590 0
/proc/9616/statm: 9904 3586 845 435 0 3267 0
Current children cumulated CPU time: 1427.23 s
Current children cumulated vsize: 39616 KiB
Current children cumulated memory: 14344 KiB
[startup+1430.4 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 9862
/proc/meminfo: memFree=30867596/32770624 swapFree=67108860/67108860
[pid=9616] ppid=9613 vsize=39616 memory=14344 CPUtime=1430.43 cores=0,2,4,6
/proc/9616/stat : 9616 (cosoco) R 9613 9616 8289 0 -1 4202496 15775 0 0 0 143041 2 0 0 20 0 1 0 104934146 40566784 3586 18446744073709551615 4194304 5972588 140734616933296 140734616930600 5334147 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 8070896 8075904 38252544 140734616940996 140734616941096 140734616941096 140734616944590 0
/proc/9616/statm: 9904 3586 845 435 0 3267 0
Current children cumulated CPU time: 1430.43 s
Current children cumulated vsize: 39616 KiB
Current children cumulated memory: 14344 KiB
[startup+1431.2 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 9862
/proc/meminfo: memFree=30867596/32770624 swapFree=67108860/67108860
[pid=9616] ppid=9613 vsize=39616 memory=14344 CPUtime=1431.23 cores=0,2,4,6
/proc/9616/stat : 9616 (cosoco) R 9613 9616 8289 0 -1 4202496 15775 0 0 0 143121 2 0 0 20 0 1 0 104934146 40566784 3586 18446744073709551615 4194304 5972588 140734616933296 140734616930600 5240320 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 8070896 8075904 38252544 140734616940996 140734616941096 140734616941096 140734616944590 0
/proc/9616/statm: 9904 3586 845 435 0 3267 0
Current children cumulated CPU time: 1431.23 s
Current children cumulated vsize: 39616 KiB
Current children cumulated memory: 14344 KiB
[startup+1431.6 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 9862
/proc/meminfo: memFree=30867596/32770624 swapFree=67108860/67108860
[pid=9616] ppid=9613 vsize=39616 memory=14344 CPUtime=1431.63 cores=0,2,4,6
/proc/9616/stat : 9616 (cosoco) R 9613 9616 8289 0 -1 4202496 15775 0 0 0 143161 2 0 0 20 0 1 0 104934146 40566784 3586 18446744073709551615 4194304 5972588 140734616933296 140734616930600 5041592 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 8070896 8075904 38252544 140734616940996 140734616941096 140734616941096 140734616944590 0
/proc/9616/statm: 9904 3586 845 435 0 3267 0
Current children cumulated CPU time: 1431.63 s
Current children cumulated vsize: 39616 KiB
Current children cumulated memory: 14344 KiB
[startup+1432 s]*
/proc/loadavg: 2.00 2.01 1.98 3/187 9862
/proc/meminfo: memFree=30867472/32770624 swapFree=67108860/67108860
[pid=9616] ppid=9613 vsize=39616 memory=14344 CPUtime=1432.04 cores=0,2,4,6
/proc/9616/stat : 9616 (cosoco) R 9613 9616 8289 0 -1 4202496 15775 0 0 0 143202 2 0 0 20 0 1 0 104934146 40566784 3586 18446744073709551615 4194304 5972588 140734616933296 140734616930600 4965642 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 8070896 8075904 38252544 140734616940996 140734616941096 140734616941096 140734616944590 0
/proc/9616/statm: 9904 3586 845 435 0 3267 0
Current children cumulated CPU time: 1432.04 s
Current children cumulated vsize: 39616 KiB
Current children cumulated memory: 14344 KiB
Child status: 0
Real time (s): 1432.05
CPU time (s): 1432.09
CPU user time (s): 1432.07
CPU system time (s): 0.024001
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 39616
Max. memory (cumulated for all children) (KiB): 14344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1432.07
system time used= 0.024001
maximum resident set size= 14904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16013
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= 9
involuntary context switches= 1170
# summary of solver processes directly reported to runsolver:
# pid: 9616
# total CPU time (s): 1432.09
# total CPU user time (s): 1432.07
# total CPU system time (s): 0.024001
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.61884 second user time and 8.08858 second system time
The end
Begin job on node133 at 2017-08-12 22:39:02 IDJOB=4265984 IDBENCH=123744 IDSOLVER=2655 FILE ID=node133/4265984-1502571190 RUNJOBID= node133-1502565190-8353 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/Bibd/Bibd-sc-stab2/Bibd-sc-06-03-06.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4265984-1502571190/watcher-4265984-1502571190 -o /tmp/evaluation-result-4265984-1502571190/solver-4265984-1502571190 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502565190-8353 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265984-1502571190.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ff6ab5e1120ff4c45101ac036dd13766 RANDOM SEED=581484018 node133.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.17 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.17 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.17 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.17 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: 30718496 kB MemAvailable: 31625500 kB Buffers: 308288 kB Cached: 900256 kB SwapCached: 0 kB Active: 1111376 kB Inactive: 504812 kB Active(anon): 408348 kB Inactive(anon): 41304 kB Active(file): 703028 kB Inactive(file): 463508 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2668 kB Writeback: 4 kB AnonPages: 408268 kB Mapped: 56176 kB Shmem: 41660 kB Slab: 140092 kB SReclaimable: 112604 kB SUnreclaim: 27488 kB KernelStack: 3280 kB PageTables: 5584 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 702912 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 350208 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 62028 MiB End job on node133 at 2017-08-12 23:02:54