Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco-sat 1.12 | SAT (TO) | 106 | 2520.1001 | 2520.1699 |
| Name | StillLife/StillLife-wst-s1/ StillLife-wastage-37.xml |
| MD5SUM | 45cb885f577274590a53a0b26d80d877 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 686 |
| Best CPU time to get the best result obtained on this benchmark | 2400.02 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 3082 |
| Number of constraints | 1747 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 3043 |
| Distribution of domain sizes | [{"size":2,"count":1521},{"size":3,"count":1521},{"size":1370,"count":1},{"size":3043,"count":39}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 40 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":1518},{"degree":3,"count":42},{"degree":4,"count":148},{"degree":8,"count":144},{"degree":9,"count":1225},{"degree":40,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 41 |
| Distribution of constraint arities | [{"arity":2,"count":187},{"arity":3,"count":148},{"arity":10,"count":1369},{"arity":39,"count":4},{"arity":40,"count":1},{"arity":41,"count":38}] |
| Number of extensional constraints | 1517 |
| Number of intensional constraints | 186 |
| Distribution of constraint types | [{"type":"extension","count":1517},{"type":"intension","count":186},{"type":"sum","count":40},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
14.52/14.60 c SAT : Variables: 127652 -- Clauses: 181454648 14.52/14.60 c best=?? lower=0 upper=1369 39.93/40.01 c 39.93/40.01 c This is cosoco 1.12 -- 39.93/40.01 c 39.93/40.01 c command line: cosoco -lc -model -restarts -sat HOME/instance-4265935-1502566042.xml 39.93/40.01 c enable optimization 39.93/40.01 c ========================================[ Problem Statistics ]=========================================== 39.93/40.01 c | 39.93/40.01 c | Parse time : 12.92 s 39.93/40.01 c | 39.93/40.01 c | Variables: 3082 39.93/40.01 c | Domain Sizes: 2..3043 39.93/40.01 c | 39.93/40.01 c | Constraints: 1900 39.93/40.01 c | Arity: 1..41 -- Unary: 157 -- Binary: 187 -- Ternary: 148 39.93/40.01 c | 39.93/40.01 c | Types: 39.93/40.01 c | Extension: 1517 (nb tuples: 1..724) -- (shared: 1512) 39.93/40.01 c | Intension: 187 39.93/40.01 c | Sum: 40 39.93/40.01 c | Unary: 156 39.93/40.01 c | 39.93/40.01 c ========================================================================================================= 39.93/40.01 o 11 39.93/40.01 c 1 calls to solver: best=11 lower=12 upper=1369 41.62/41.76 o 12 41.62/41.76 o 13 41.62/41.76 c 3 calls to solver: best=13 lower=14 upper=1369 43.12/43.21 o 14 48.62/48.78 o 18 48.62/48.78 c 5 calls to solver: best=18 lower=19 upper=1369 67.92/68.02 o 20 68.81/68.99 o 21 68.81/68.99 c 7 calls to solver: best=21 lower=22 upper=1369 78.41/78.53 o 22 79.81/79.95 o 24 79.81/79.95 c 9 calls to solver: best=24 lower=25 upper=1369 81.31/81.40 o 27 241.31/241.48 o 28 241.31/241.48 c 11 calls to solver: best=28 lower=29 upper=1369 242.91/243.02 o 37 243.61/243.79 o 38 243.61/243.79 c 13 calls to solver: best=38 lower=39 upper=1369 245.91/246.10 o 41 248.01/248.20 o 44 248.01/248.20 c 15 calls to solver: best=44 lower=45 upper=1369 250.40/250.58 o 65 251.21/251.39 o 66 251.21/251.39 c 17 calls to solver: best=66 lower=67 upper=1369 252.31/252.45 o 67 253.61/253.72 o 68 253.61/253.72 c 19 calls to solver: best=68 lower=69 upper=1369 256.41/256.55 o 70 258.51/258.68 o 76 258.51/258.68 c 21 calls to solver: best=76 lower=77 upper=1369 263.71/263.84 o 77 266.02/266.16 o 87 266.02/266.16 c 23 calls to solver: best=87 lower=88 upper=1369 312.71/312.86 o 91 325.10/325.24 o 103 325.10/325.24 c 25 calls to solver: best=103 lower=104 upper=1369 520.61/520.76 o 104 526.71/526.88 o 106 526.71/526.88 c 27 calls to solver: best=106 lower=107 upper=1369 2519.93/2520.00 2519.93/2520.00 c *** INTERRUPTED *** 2519.93/2520.00 c restarts : 578 2519.93/2520.00 c conflicts : 1924525 (764 /sec) 2519.93/2520.00 c decisions : 23685659 (9408 /sec) 2519.93/2520.00 c propagations : 898537322 (356896 /sec) 2519.93/2520.00 c root propagations : 61716 2519.93/2520.00 c filter calls : 566528642 (225023 /sec) 2519.93/2520.00 c useless filter calls : 395553359 (69 %) 2519.93/2520.00 c 2519.93/2520.00 c clauses : 181458041 2519.93/2520.00 c SAT propagations : 151 2519.93/2520.00 c SAT conflicts : 0 (0 learnts) 2519.93/2520.00 c Memory used : 7573.17 MB 2519.93/2520.00 c CPU time : 2517.64 s 2519.93/2520.00 2519.93/2520.00 c nb Solutions = 27 2519.93/2520.00 s SATISFIABLE 2519.93/2520.00 c Best value found: 106 2519.93/2520.00 2519.93/2520.00 2519.93/2520.00 v <instantiation type='solution' cost='106'> 2519.93/2520.00 v <list>w[0][0] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][1] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][2] w[0][30] w[0][31] w[0][32] w[0][33] w[0][34] w[0][35] w[0][36] w[0][37] w[0][38] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[10][0] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][1] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][2] w[10][30] w[10][31] w[10][32] w[10][33] w[10][34] w[10][35] w[10][36] w[10][37] w[10][38] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[11][0] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][1] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][2] w[11][30] w[11][31] w[11][32] w[11][33] w[11][34] w[11][35] w[11][36] w[11][37] w[11][38] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[12][0] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][1] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][2] w[12][30] w[12][31] w[12][32] w[12][33] w[12][34] w[12][35] w[12][36] w[12][37] w[12][38] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[13][0] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][1] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][2] w[13][30] w[13][31] w[13][32] w[13][33] w[13][34] w[13][35] w[13][36] w[13][37] w[13][38] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[14][0] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][1] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][2] w[14][30] w[14][31] w[14][32] w[14][33] w[14][34] w[14][35] w[14][36] w[14][37] w[14][38] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[15][0] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][1] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][2] w[15][30] w[15][31] w[15][32] w[15][33] w[15][34] w[15][35] w[15][36] w[15][37] w[15][38] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[16][0] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][1] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][2] w[16][30] w[16][31] w[16][32] w[16][33] w[16][34] w[16][35] w[16][36] w[16][37] w[16][38] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[17][0] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][1] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][2] w[17][30] w[17][31] w[17][32] w[17][33] w[17][34] w[17][35] w[17][36] w[17][37] w[17][38] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[18][0] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][1] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][2] w[18][30] w[18][31] w[18][32] w[18][33] w[18][34] w[18][35] w[18][36] w[18][37] w[18][38] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[19][0] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][1] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][2] w[19][30] w[19][31] w[19][32] w[19][33] w[19][34] w[19][35] w[19][36] w[19][37] w[19][38] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[1][0] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][1] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][2] w[1][30] w[1][31] w[1][32] w[1][33] w[1][34] w[1][35] w[1][36] w[1][37] w[1][38] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[20][0] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][1] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][2] w[20][30] w[20][31] w[20][32] w[20][33] w[20][34] w[20][35] w[20][36] w[20][37] w[20][38] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[21][0] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][1] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][2] w[21][30] w[21][31] w[21][32] w[21][33] w[21][34] w[21][35] w[21][36] w[21][37] w[21][38] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[22][0] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][1] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][2] w[22][30] w[22][31] w[22][32] w[22][33] w[22][34] w[22][35] w[22][36] w[22][37] w[22][38] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[23][0] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][1] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][2] w[23][30] w[23][31] w[23][32] w[23][33] w[23][34] w[23][35] w[23][36] w[23][37] w[23][38] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[24][0] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][1] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][2] w[24][30] w[24][31] w[24][32] w[24][33] w[24][34] w[24][35] w[24][36] w[24][37] w[24][38] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[25][0] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][1] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][2] w[25][30] w[25][31] w[25][32] w[25][33] w[25][34] w[25][35] w[25][36] w[25][37] w[25][38] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[26][0] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][1] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][2] w[26][30] w[26][31] w[26][32] w[26][33] w[26][34] w[26][35] w[26][36] w[26][37] w[26][38] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[27][0] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][1] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][2] w[27][30] w[27][31] w[27][32] w[27][33] w[27][34] w[27][35] w[27][36] w[27][37] w[27][38] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[28][0] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][1] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][2] w[28][30] w[28][31] w[28][32] w[28][33] w[28][34] w[28][35] w[28][36] w[28][37] w[28][38] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[29][0] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][1] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][2] w[29][30] w[29][31] w[29][32] w[29][33] w[29][34] w[29][35] w[29][36] w[29][37] w[29][38] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[2][0] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][1] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][2] w[2][30] w[2][31] w[2][32] w[2][33] w[2][34] w[2][35] w[2][36] w[2][37] w[2][38] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[30][0] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][1] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][2] w[30][30] w[30][31] w[30][32] w[30][33] w[30][34] w[30][35] w[30][36] w[30][37] w[30][38] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[31][0] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][1] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][2] w[31][30] w[31][31] w[31][32] w[31][33] w[31][34] w[31][35] w[31][36] w[31][37] w[31][38] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[32][0] w[32][10] w[32][11] w[32][12] w[32][13] w[32][14] w[32][15] w[32][16] w[32][17] w[32][18] w[32][19] w[32][1] w[32][20] w[32][21] w[32][22] w[32][23] w[32][24] w[32][25] w[32][26] w[32][27] w[32][28] w[32][29] w[32][2] w[32][30] w[32][31] w[32][32] w[32][33] w[32][34] w[32][35] w[32][36] w[32][37] w[32][38] w[32][3] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[33][0] w[33][10] w[33][11] w[33][12] w[33][13] w[33][14] w[33][15] w[33][16] w[33][17] w[33][18] w[33][19] w[33][1] w[33][20] w[33][21] w[33][22] w[33][23] w[33][24] w[33][25] w[33][26] w[33][27] w[33][28] w[33][29] w[33][2] w[33][30] w[33][31] w[33][32] w[33][33] w[33][34] w[33][35] w[33][36] w[33][37] w[33][38] w[33][3] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[34][0] w[34][10] w[34][11] w[34][12] w[34][13] w[34][14] w[34][15] w[34][16] w[34][17] w[34][18] w[34][19] w[34][1] w[34][20] w[34][21] w[34][22] w[34][23] w[34][24] w[34][25] w[34][26] w[34][27] w[34][28] w[34][29] w[34][2] w[34][30] w[34][31] w[34][32] w[34][33] w[34][34] w[34][35] w[34][36] w[34][37] w[34][38] w[34][3] w[34][4] w[34][5] w[34][6] w[34][7] w[34][8] w[34][9] w[35][0] w[35][10] w[35][11] w[35][12] w[35][13] w[35][14] w[35][15] w[35][16] w[35][17] w[35][18] w[35][19] w[35][1] w[35][20] w[35][21] w[35][22] w[35][23] w[35][24] w[35][25] w[35][26] w[35][27] w[35][28] w[35][29] w[35][2] w[35][30] w[35][31] w[35][32] w[35][33] w[35][34] w[35][35] w[35][36] w[35][37] w[35][38] w[35][3] w[35][4] w[35][5] w[35][6] w[35][7] w[35][8] w[35][9] w[36][0] w[36][10] w[36][11] w[36][12] w[36][13] w[36][14] w[36][15] w[36][16] w[36][17] w[36][18] w[36][19] w[36][1] w[36][20] w[36][21] w[36][22] w[36][23] w[36][24] w[36][25] w[36][26] w[36][27] w[36][28] w[36][29] w[36][2] w[36][30] w[36][31] w[36][32] w[36][33] w[36][34] w[36][35] w[36][36] w[36][37] w[36][38] w[36][3] w[36][4] w[36][5] w[36][6] w[36][7] w[36][8] w[36][9] w[37][0] w[37][10] w[37][11] w[37][12] w[37][13] w[37][14] w[37][15] w[37][16] w[37][17] w[37][18] w[37][19] w[37][1] w[37][20] w[37][21] w[37][22] w[37][23] w[37][24] w[37][25] w[37][26] w[37][27] w[37][28] w[37][29] w[37][2] w[37][30] w[37][31] w[37][32] w[37][33] w[37][34] w[37][35] w[37][36] w[37][37] w[37][38] w[37][3] w[37][4] w[37][5] w[37][6] w[37][7] w[37][8] w[37][9] w[38][0] w[38][10] w[38][11] w[38][12] w[38][13] w[38][14] w[38][15] w[38][16] w[38][17] w[38][18] w[38][19] w[38][1] w[38][20] w[38][21] w[38][22] w[38][23] w[38][24] w[38][25] w[38][26] w[38][27] w[38][28] w[38][29] w[38][2] w[38][30] w[38][31] w[38][32] w[38][33] w[38][34] w[38][35] w[38][36] w[38][37] w[38][38] w[38][3] w[38][4] w[38][5] w[38][6] w[38][7] w[38][8] w[38][9] w[3][0] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][1] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][2] w[3][30] w[3][31] w[3][32] w[3][33] w[3][34] w[3][35] w[3][36] w[3][37] w[3][38] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[4][0] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][1] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][2] w[4][30] w[4][31] w[4][32] w[4][33] w[4][34] w[4][35] w[4][36] w[4][37] w[4][38] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[5][0] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][1] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][2] w[5][30] w[5][31] w[5][32] w[5][33] w[5][34] w[5][35] w[5][36] w[5][37] w[5][38] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[6][0] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][1] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][2] w[6][30] w[6][31] w[6][32] w[6][33] w[6][34] w[6][35] w[6][36] w[6][37] w[6][38] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[7][0] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][1] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][2] w[7][30] w[7][31] w[7][32] w[7][33] w[7][34] w[7][35] w[7][36] w[7][37] w[7][38] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[8][0] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][1] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][2] w[8][30] w[8][31] w[8][32] w[8][33] w[8][34] w[8][35] w[8][36] w[8][37] w[8][38] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[9][0] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][1] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][2] w[9][30] w[9][31] w[9][32] w[9][33] w[9][34] w[9][35] w[9][36] w[9][37] w[9][38] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] ws[0] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[1] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] ws[2] ws[30] ws[31] ws[32] ws[33] ws[34] ws[35] ws[36] ws[37] ws[38] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] x[0][0] 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][1] 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[0][2] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[10][0] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][1] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][2] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[11][0] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][1] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][2] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[12][0] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][1] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][2] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[13][0] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][1] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][2] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[14][0] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][1] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][2] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[15][0] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][1] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][2] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[16][0] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][1] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][2] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[17][0] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][1] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][2] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[18][0] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][1] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][2] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[19][0] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][1] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][2] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[1][0] 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][1] 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[1][2] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[20][0] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][1] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][2] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[21][0] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][1] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][2] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[22][0] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][1] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][2] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[23][0] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][1] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][2] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[24][0] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][1] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][2] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[25][0] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][1] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][2] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[26][0] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][1] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][2] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[27][0] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][1] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][2] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[28][0] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][1] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][2] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[29][0] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][1] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][2] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[2][0] 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][1] 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[2][2] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[30][0] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][1] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][2] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[31][0] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][1] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][2] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[32][0] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][1] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][2] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[33][0] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][1] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][2] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[34][0] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][1] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][2] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[35][0] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][1] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][2] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[36][0] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][1] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][2] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[37][0] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][1] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][2] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[38][0] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][1] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][2] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[3][0] 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][1] 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[3][2] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[4][0] 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][1] 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[4][2] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[5][0] 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][1] 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] x[5][2] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[6][0] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][1] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][2] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[7][0] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][1] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][2] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[8][0] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][1] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][2] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[9][0] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][1] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][2] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] z </list> 2519.93/2520.01 v <values>0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 0 0 1 1 2 1 1 0 1 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 1 1 0 1 2 2 2 0 0 1 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 0 2 0 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 2 0 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 1 1 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 0 0 1 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 1 1 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 1 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 1 0 0 1 2 2 2 2 2 2 2 2 2 2 1 0 0 0 1 0 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 1 0 0 1 2 2 2 2 2 2 2 2 2 2 1 1 0 0 0 0 2 2 2 2 2 2 2 1 2 1 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 1 2 1 2 2 2 1 2 1 1 1 2 2 2 2 2 2 2 1 0 1 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 2 1 1 2 2 2 2 2 2 1 2 2 2 2 2 2 2 1 0 2 0 0 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 1 1 2 0 1 2 1 1 2 1 1 1 2 2 2 2 2 2 0 1 0 1 0 1 1 2 2 2 2 2 2 1 1 0 1 2 2 2 2 2 1 2 0 0 0 0 0 0 0 0 0 2 1 2 2 2 1 1 1 1 1 0 0 1 1 1 2 2 2 2 1 0 0 1 0 2 2 2 2 0 2 1 0 0 0 1 0 0 0 0 0 1 0 2 2 0 0 1 1 1 0 0 0 0 0 1 2 2 2 2 1 1 0 1 1 2 2 1 0 1 0 1 1 2 1 2 1 1 1 1 2 0 1 1 1 0 1 2 1 0 1 0 0 0 1 2 1 2 1 2 1 0 0 2 2 2 1 0 2 1 1 2 2 2 2 2 2 1 0 0 0 1 2 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 1 1 1 0 1 2 1 1 2 1 0 2 1 1 1 0 1 1 2 2 2 1 2 1 2 2 2 2 2 2 2 1 2 1 1 2 2 2 2 1 1 0 1 1 2 2 2 2 1 0 2 0 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 1 2 1 1 2 2 2 2 2 2 0 2 2 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 1 1 2 2 1 2 2 2 2 2 2 2 1 2 2 2 0 2 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 1 0 0 1 2 1 2 2 2 2 2 2 0 1 0 2 2 2 0 2 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 1 0 0 1 2 1 2 2 2 2 2 1 1 2 1 1 2 2 2 0 2 0 2 1 1 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 1 1 2 2 1 2 2 2 2 2 2 0 1 0 2 2 2 2 2 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 1 2 2 2 2 2 1 1 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 1 0 1 1 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 1 0 0 1 1 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 1 0 0 1 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 1 0 1 1 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 1 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 1 1 2 1 1 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 37 741 807 877 949 1019 1087 1158 1233 1309 1385 113 1456 1517 1578 1646 1712 1770 1813 1846 1884 1928 189 1983 2047 2115 2180 2241 2305 2365 2429 2462 263 334 403 471 540 608 676 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 1 0 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 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 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 106 </values> 2519.93/2520.01 v </instantiation> 2519.93/2520.01
OK 106
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 (14968 MiB free)
memory of node 1: 16384 MiB (15266 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265935-1502566042/watcher-4265935-1502566042 -o /tmp/evaluation-result-4265935-1502566042/solver-4265935-1502566042 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502565207-4738 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265935-1502566042.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=4763, runsolver pid=4758
[startup+0.100122 s]*
/proc/loadavg: 0.00 0.01 0.05 3/189 4768
/proc/meminfo: memFree=30943860/32770624 swapFree=67108860/67108860
[pid=4763] ppid=4758 vsize=33896 memory=9844 CPUtime=0.03 cores=1,3,5,7
/proc/4763/stat : 4763 (cosoco) R 4758 4763 4674 0 -1 4202496 2687 0 0 0 3 0 0 0 20 0 1 0 104110621 34709504 2461 18446744073709551615 4194304 5972588 140730882453664 140730882450312 5496983 0 0 1 0 0 0 0 17 5 0 0 6 0 0 8070896 8075904 19476480 140730882462148 140730882462248 140730882462248 140730882465742 0
/proc/4763/statm: 8474 2461 730 435 0 1837 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 33896 KiB
Current children cumulated memory: 9844 KiB
[startup+0.209648 s]*
/proc/loadavg: 0.00 0.01 0.05 3/189 4768
/proc/meminfo: memFree=30889160/32770624 swapFree=67108860/67108860
[pid=4763] ppid=4758 vsize=53252 memory=29476 CPUtime=0.14 cores=1,3,5,7
/proc/4763/stat : 4763 (cosoco) R 4758 4763 4674 0 -1 4202496 7594 0 0 0 13 1 0 0 20 0 1 0 104110621 54530048 7369 18446744073709551615 4194304 5972588 140730882453664 140730882450312 139739181562686 0 0 1 0 0 0 0 17 5 0 0 6 0 0 8070896 8075904 19476480 140730882462148 140730882462248 140730882462248 140730882465742 0
/proc/4763/statm: 13313 7369 797 435 0 6676 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 53252 KiB
Current children cumulated memory: 29476 KiB
[startup+0.309582 s]*
/proc/loadavg: 0.00 0.01 0.05 3/189 4768
/proc/meminfo: memFree=30883580/32770624 swapFree=67108860/67108860
[pid=4763] ppid=4758 vsize=56496 memory=33052 CPUtime=0.24 cores=1,3,5,7
/proc/4763/stat : 4763 (cosoco) R 4758 4763 4674 0 -1 4202496 8431 0 0 0 23 1 0 0 20 0 1 0 104110621 57851904 8263 18446744073709551615 4194304 5972588 140730882453664 140730882450312 4967517 0 0 1 0 0 0 0 17 5 0 0 6 0 0 8070896 8075904 19476480 140730882462148 140730882462248 140730882462248 140730882465742 0
/proc/4763/statm: 14124 8263 813 435 0 7487 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 56496 KiB
Current children cumulated memory: 33052 KiB
[startup+0.700345 s]
/proc/loadavg: 0.00 0.01 0.05 3/189 4768
/proc/meminfo: memFree=30733804/32770624 swapFree=67108860/67108860
[pid=4763] ppid=4758 vsize=247820 memory=213236 CPUtime=0.62 cores=1,3,5,7
/proc/4763/stat : 4763 (cosoco) R 4758 4763 4674 0 -1 4202496 36627 0 0 0 56 6 0 0 20 0 1 0 104110621 253767680 53309 18446744073709551615 4194304 5972588 140730882453664 140730882450456 5252505 0 0 1 0 0 0 0 17 5 0 0 6 0 0 8070896 8075904 19476480 140730882462148 140730882462248 140730882462248 140730882465742 0
/proc/4763/statm: 61955 53309 843 435 0 55318 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 247820 KiB
Current children cumulated memory: 213236 KiB
[startup+1.50034 s]
/proc/loadavg: 0.00 0.01 0.05 3/189 4768
/proc/meminfo: memFree=30265184/32770624 swapFree=67108860/67108860
[pid=4763] ppid=4758 vsize=727020 memory=589672 CPUtime=1.42 cores=1,3,5,7
/proc/4763/stat : 4763 (cosoco) R 4758 4763 4674 0 -1 4202496 82729 0 0 0 127 15 0 0 20 0 1 0 104110621 744468480 147418 18446744073709551615 4194304 5972588 140730882453664 140730882450456 5252461 0 0 1 0 0 0 0 17 5 0 0 6 0 0 8070896 8075904 19476480 140730882462148 140730882462248 140730882462248 140730882465742 0
/proc/4763/statm: 181755 147418 843 435 0 175118 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 727020 KiB
Current children cumulated memory: 589672 KiB
[startup+3.10963 s]
/proc/loadavg: 0.08 0.03 0.05 3/189 4768
/proc/meminfo: memFree=28374028/32770624 swapFree=67108860/67108860
[pid=4763] ppid=4758 vsize=1372504 memory=1346428 CPUtime=3.03 cores=1,3,5,7
/proc/4763/stat : 4763 (cosoco) R 4758 4763 4674 0 -1 4202496 177272 0 0 0 270 33 0 0 20 0 1 0 104110621 1405444096 336541 18446744073709551615 4194304 5972588 140730882453664 140730882450456 139739181636139 0 0 1 0 0 0 0 17 5 0 0 6 0 0 8070896 8075904 19476480 140730882462148 140730882462248 140730882462248 140730882465742 0
/proc/4763/statm: 343126 336607 843 435 0 336489 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 1372504 KiB
Current children cumulated memory: 1346428 KiB
[startup+6.30037 s]
/proc/loadavg: 0.08 0.03 0.05 3/189 4768
/proc/meminfo: memFree=25572736/32770624 swapFree=67108860/67108860
[pid=4763] ppid=4758 vsize=3140720 memory=2829112 CPUtime=6.22 cores=1,3,5,7
/proc/4763/stat : 4763 (cosoco) R 4758 4763 4674 0 -1 4202496 353162 0 0 0 554 68 0 0 20 0 1 0 104110621 3216097280 707278 18446744073709551615 4194304 5972588 140730882453664 140730882450456 5252461 0 0 1 0 0 0 0 17 5 0 0 6 0 0 8070896 8075904 19476480 140730882462148 140730882462248 140730882462248 140730882465742 0
/proc/4763/statm: 785180 707278 843 435 0 778543 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 3140720 KiB
Current children cumulated memory: 2829112 KiB
[startup+12.7004 s]
/proc/loadavg: 0.38 0.10 0.07 3/189 4768
/proc/meminfo: memFree=20041876/32770624 swapFree=67108860/67108860
[pid=4763] ppid=4758 vsize=7291308 memory=5738708 CPUtime=12.62 cores=1,3,5,7
/proc/4763/stat : 4763 (cosoco) R 4758 4763 4674 0 -1 4202496 693654 0 0 0 1123 139 0 0 20 0 1 0 104110621 7466299392 1434677 18446744073709551615 4194304 5972588 140730882453664 140730882450456 5252461 0 0 1 0 0 0 0 17 5 0 0 6 0 0 8070896 8075904 19476480 140730882462148 140730882462248 140730882462248 140730882465742 0
/proc/4763/statm: 1822865 1434677 843 435 0 1816228 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 7291308 KiB
Current children cumulated memory: 5738708 KiB
[startup+25.5004 s]
/proc/loadavg: 0.63 0.16 0.09 3/188 4769
/proc/meminfo: memFree=12877460/32770624 swapFree=67108860/67108860
[pid=4763] ppid=4758 vsize=7706240 memory=6620020 CPUtime=25.43 cores=1,3,5,7
/proc/4763/stat : 4763 (cosoco) R 4758 4763 4674 0 -1 4202496 807932 0 0 0 2381 162 0 0 20 0 1 0 104110621 7891189760 1655005 18446744073709551615 4194304 5972588 140730882453664 140730882450424 4931747 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 19476480 140730882462148 140730882462248 140730882462248 140730882465742 0
/proc/4763/statm: 1926560 1655005 861 435 0 1919923 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 7706240 KiB
Current children cumulated memory: 6620020 KiB
[startup+51.1099 s]
/proc/loadavg: 1.62 0.42 0.18 2/189 4770
/proc/meminfo: memFree=5532764/32770624 swapFree=67108860/67108860
[pid=4763] ppid=4758 vsize=7736528 memory=6652036 CPUtime=51.03 cores=1,3,5,7
/proc/4763/stat : 4763 (cosoco) R 4758 4763 4674 0 -1 4202496 888179 0 0 0 4937 166 0 0 20 0 1 0 104110621 7922204672 1663009 18446744073709551615 4194304 5972588 140730882453664 140730882440856 5338173 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 19476480 140730882462148 140730882462248 140730882462248 140730882465742 0
/proc/4763/statm: 1934132 1663009 862 435 0 1927495 0
Current children cumulated CPU time: 51.03 s
Current children cumulated vsize: 7736528 KiB
Current children cumulated memory: 6652036 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 1.32 0.50 2/190 4773
/proc/meminfo: memFree=2399488/32770624 swapFree=67108764/67108860
[pid=4763] ppid=4758 vsize=7740804 memory=6658468 CPUtime=102.21 cores=1,3,5,7
/proc/4763/stat : 4763 (cosoco) R 4758 4763 4674 0 -1 4202496 949226 0 0 0 10051 170 0 0 20 0 1 0 104110621 7926583296 1664617 18446744073709551615 4194304 5972588 140730882453664 140730882451112 5338173 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 19476480 140730882462148 140730882462248 140730882462248 140730882465742 0
/proc/4763/statm: 1935201 1664617 862 435 0 1928564 0
Current children cumulated CPU time: 102.21 s
Current children cumulated vsize: 7740804 KiB
Current children cumulated memory: 6658468 KiB
[startup+162.3 s]
/proc/loadavg: 5.16 2.09 0.81 2/187 4775
/proc/meminfo: memFree=204300/32770624 swapFree=67108764/67108860
[pid=4763] ppid=4758 vsize=7745260 memory=6664932 CPUtime=162.21 cores=1,3,5,7
/proc/4763/stat : 4763 (cosoco) R 4758 4763 4674 0 -1 4202496 1024606 0 0 0 16047 174 0 0 20 0 1 0 104110621 7931146240 1666233 18446744073709551615 4194304 5972588 140730882453664 140730882450888 5338173 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 19476480 140730882462148 140730882462248 140730882462248 140730882465742 0
/proc/4763/statm: 1936315 1666233 862 435 0 1929678 0
Current children cumulated CPU time: 162.21 s
Current children cumulated vsize: 7745260 KiB
Current children cumulated memory: 6664932 KiB
[startup+222.3 s]
/proc/loadavg: 6.19 2.96 1.19 2/187 4777
/proc/meminfo: memFree=205884/32770624 swapFree=67108764/67108860
[pid=4763] ppid=4758 vsize=7749260 memory=6675016 CPUtime=222.21 cores=1,3,5,7
/proc/4763/stat : 4763 (cosoco) R 4758 4763 4674 0 -1 4202496 1070499 0 0 0 22041 180 0 0 20 0 1 0 104110621 7935242240 1668754 18446744073709551615 4194304 5972588 140730882453664 140730882450888 5040159 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 19476480 140730882462148 140730882462248 140730882462248 140730882465742 0
/proc/4763/statm: 1937315 1668754 862 435 0 1930678 0
Current children cumulated CPU time: 222.21 s
Current children cumulated vsize: 7749260 KiB
Current children cumulated memory: 6675016 KiB
[startup+282.3 s]
/proc/loadavg: 6.17 3.53 1.50 2/188 4780
/proc/meminfo: memFree=188584/32770624 swapFree=67108764/67108860
[pid=4763] ppid=4758 vsize=7753964 memory=6681620 CPUtime=282.21 cores=1,3,5,7
/proc/4763/stat : 4763 (cosoco) R 4758 4763 4674 0 -1 4202496 1171017 0 0 0 28035 186 0 0 20 0 1 0 104110621 7940059136 1670405 18446744073709551615 4194304 5972588 140730882453664 140730882440856 5312315 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 19476480 140730882462148 140730882462248 140730882462248 140730882465742 0
/proc/4763/statm: 1938491 1670405 862 435 0 1931854 0
Current children cumulated CPU time: 282.21 s
Current children cumulated vsize: 7753964 KiB
Current children cumulated memory: 6681620 KiB
[startup+342.3 s]
/proc/loadavg: 5.53 3.84 1.73 2/187 4782
/proc/meminfo: memFree=208632/32770624 swapFree=67108764/67108860
[pid=4763] ppid=4758 vsize=7754516 memory=6684224 CPUtime=342.21 cores=1,3,5,7
/proc/4763/stat : 4763 (cosoco) R 4758 4763 4674 0 -1 4202496 1243409 0 0 0 34032 189 0 0 20 0 1 0 104110621 7940624384 1671056 18446744073709551615 4194304 5972588 140730882453664 140730882440856 5320352 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 19476480 140730882462148 140730882462248 140730882462248 140730882465742 0
/proc/4763/statm: 1938629 1671056 862 435 0 1931992 0
Current children cumulated CPU time: 342.21 s
Current children cumulated vsize: 7754516 KiB
Current children cumulated memory: 6684224 KiB
[startup+402.3 s]
/proc/loadavg: 5.63 4.16 1.98 2/191 4794
/proc/meminfo: memFree=192432/32770624 swapFree=67108764/67108860
[pid=4763] ppid=4758 vsize=7754516 memory=6684224 CPUtime=402.21 cores=1,3,5,7
/proc/4763/stat : 4763 (cosoco) R 4758 4763 4674 0 -1 4202496 1258512 0 0 0 40031 190 0 0 20 0 1 0 104110621 7940624384 1671056 18446744073709551615 4194304 5972588 140730882453664 140730882440856 5039169 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 19476480 140730882462148 140730882462248 140730882462248 140730882465742 0
/proc/4763/statm: 1938629 1671056 862 435 0 1931992 0
Current children cumulated CPU time: 402.21 s
Current children cumulated vsize: 7754516 KiB
Current children cumulated memory: 6684224 KiB
[startup+462.3 s]
/proc/loadavg: 6.69 4.71 2.30 2/193 4798
/proc/meminfo: memFree=192496/32770624 swapFree=67108764/67108860
[pid=4763] ppid=4758 vsize=7754516 memory=6684224 CPUtime=462.21 cores=1,3,5,7
/proc/4763/stat : 4763 (cosoco) R 4758 4763 4674 0 -1 4202496 1300835 0 0 0 46029 192 0 0 20 0 1 0 104110621 7940624384 1671056 18446744073709551615 4194304 5972588 140730882453664 140730882440856 4935248 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 19476480 140730882462148 140730882462248 140730882462248 140730882465742 0
/proc/4763/statm: 1938629 1671056 862 435 0 1931992 0
Current children cumulated CPU time: 462.21 s
Current children cumulated vsize: 7754516 KiB
Current children cumulated memory: 6684224 KiB
################
# More data... #
################
/proc/meminfo: memFree=10924616/32770624 swapFree=67108764/67108860
[pid=4763] ppid=4758 vsize=7754796 memory=6688644 CPUtime=1782.22 cores=1,3,5,7
/proc/4763/stat : 4763 (cosoco) R 4758 4763 4674 0 -1 4202496 1767641 0 0 0 178002 220 0 0 20 0 1 0 104110621 7940911104 1672161 18446744073709551615 4194304 5972588 140730882453664 140730882440856 5338173 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 19476480 140730882462148 140730882462248 140730882462248 140730882465742 0
/proc/4763/statm: 1938699 1672161 862 435 0 1932062 0
Current children cumulated CPU time: 1782.22 s
Current children cumulated vsize: 7754796 KiB
Current children cumulated memory: 6688644 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.09 2.39 3/185 4947
/proc/meminfo: memFree=10924788/32770624 swapFree=67108764/67108860
[pid=4763] ppid=4758 vsize=7754796 memory=6688644 CPUtime=1842.22 cores=1,3,5,7
/proc/4763/stat : 4763 (cosoco) R 4758 4763 4674 0 -1 4202496 1783211 0 0 0 184001 221 0 0 20 0 1 0 104110621 7940911104 1672161 18446744073709551615 4194304 5972588 140730882453664 140730882440856 4931696 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 19476480 140730882462148 140730882462248 140730882462248 140730882465742 0
/proc/4763/statm: 1938699 1672161 862 435 0 1932062 0
Current children cumulated CPU time: 1842.22 s
Current children cumulated vsize: 7754796 KiB
Current children cumulated memory: 6688644 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.07 2.36 3/184 4949
/proc/meminfo: memFree=10922996/32770624 swapFree=67108764/67108860
[pid=4763] ppid=4758 vsize=7754796 memory=6688644 CPUtime=1902.22 cores=1,3,5,7
/proc/4763/stat : 4763 (cosoco) R 4758 4763 4674 0 -1 4202496 1788992 0 0 0 190000 222 0 0 20 0 1 0 104110621 7940911104 1672161 18446744073709551615 4194304 5972588 140730882453664 140730882440856 5338173 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 19476480 140730882462148 140730882462248 140730882462248 140730882465742 0
/proc/4763/statm: 1938699 1672161 862 435 0 1932062 0
Current children cumulated CPU time: 1902.22 s
Current children cumulated vsize: 7754796 KiB
Current children cumulated memory: 6688644 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.06 2.34 3/184 4951
/proc/meminfo: memFree=10923172/32770624 swapFree=67108764/67108860
[pid=4763] ppid=4758 vsize=7754796 memory=6688664 CPUtime=1962.23 cores=1,3,5,7
/proc/4763/stat : 4763 (cosoco) R 4758 4763 4674 0 -1 4202496 1805115 0 0 0 195999 224 0 0 20 0 1 0 104110621 7940911104 1672166 18446744073709551615 4194304 5972588 140730882453664 140730882440856 4931747 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 19476480 140730882462148 140730882462248 140730882462248 140730882465742 0
/proc/4763/statm: 1938699 1672166 862 435 0 1932062 0
Current children cumulated CPU time: 1962.23 s
Current children cumulated vsize: 7754796 KiB
Current children cumulated memory: 6688664 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.05 2.32 3/185 4954
/proc/meminfo: memFree=10922936/32770624 swapFree=67108764/67108860
[pid=4763] ppid=4758 vsize=7754796 memory=6688664 CPUtime=2022.23 cores=1,3,5,7
/proc/4763/stat : 4763 (cosoco) R 4758 4763 4674 0 -1 4202496 1810211 0 0 0 201999 224 0 0 20 0 1 0 104110621 7940911104 1672166 18446744073709551615 4194304 5972588 140730882453664 140730882440856 5312315 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 19476480 140730882462148 140730882462248 140730882462248 140730882465742 0
/proc/4763/statm: 1938699 1672166 862 435 0 1932062 0
Current children cumulated CPU time: 2022.23 s
Current children cumulated vsize: 7754796 KiB
Current children cumulated memory: 6688664 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.04 2.30 3/185 4956
/proc/meminfo: memFree=10923320/32770624 swapFree=67108764/67108860
[pid=4763] ppid=4758 vsize=7754796 memory=6688664 CPUtime=2082.23 cores=1,3,5,7
/proc/4763/stat : 4763 (cosoco) R 4758 4763 4674 0 -1 4202496 1826166 0 0 0 207997 226 0 0 20 0 1 0 104110621 7940911104 1672166 18446744073709551615 4194304 5972588 140730882453664 140730882440856 5070688 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 19476480 140730882462148 140730882462248 140730882462248 140730882465742 0
/proc/4763/statm: 1938699 1672166 862 435 0 1932062 0
Current children cumulated CPU time: 2082.23 s
Current children cumulated vsize: 7754796 KiB
Current children cumulated memory: 6688664 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 2.28 3/185 4958
/proc/meminfo: memFree=10922988/32770624 swapFree=67108764/67108860
[pid=4763] ppid=4758 vsize=7754796 memory=6688668 CPUtime=2142.22 cores=1,3,5,7
/proc/4763/stat : 4763 (cosoco) R 4758 4763 4674 0 -1 4202496 1830313 0 0 0 213996 226 0 0 20 0 1 0 104110621 7940911104 1672167 18446744073709551615 4194304 5972588 140730882453664 140730882440856 4931747 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 19476480 140730882462148 140730882462248 140730882462248 140730882465742 0
/proc/4763/statm: 1938699 1672167 862 435 0 1932062 0
Current children cumulated CPU time: 2142.22 s
Current children cumulated vsize: 7754796 KiB
Current children cumulated memory: 6688668 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.03 2.26 3/189 4975
/proc/meminfo: memFree=10916396/32770624 swapFree=67108764/67108860
[pid=4763] ppid=4758 vsize=7754796 memory=6689216 CPUtime=2202.21 cores=1,3,5,7
/proc/4763/stat : 4763 (cosoco) R 4758 4763 4674 0 -1 4202496 1831955 0 0 0 219995 226 0 0 20 0 1 0 104110621 7940911104 1672304 18446744073709551615 4194304 5972588 140730882453664 140730882440856 5338169 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 19476480 140730882462148 140730882462248 140730882462248 140730882465742 0
/proc/4763/statm: 1938699 1672304 862 435 0 1932062 0
Current children cumulated CPU time: 2202.21 s
Current children cumulated vsize: 7754796 KiB
Current children cumulated memory: 6689216 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.25 3/189 4977
/proc/meminfo: memFree=10917508/32770624 swapFree=67108764/67108860
[pid=4763] ppid=4758 vsize=7754920 memory=6689248 CPUtime=2262.22 cores=1,3,5,7
/proc/4763/stat : 4763 (cosoco) R 4758 4763 4674 0 -1 4202496 1834693 0 0 0 225995 227 0 0 20 0 1 0 104110621 7941038080 1672312 18446744073709551615 4194304 5972588 140730882453664 140730882450888 4931790 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 19476480 140730882462148 140730882462248 140730882462248 140730882465742 0
/proc/4763/statm: 1938730 1672312 862 435 0 1932093 0
Current children cumulated CPU time: 2262.22 s
Current children cumulated vsize: 7754920 KiB
Current children cumulated memory: 6689248 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.23 3/185 4979
/proc/meminfo: memFree=10920652/32770624 swapFree=67108764/67108860
[pid=4763] ppid=4758 vsize=7754920 memory=6689248 CPUtime=2322.21 cores=1,3,5,7
/proc/4763/stat : 4763 (cosoco) R 4758 4763 4674 0 -1 4202496 1836695 0 0 0 231994 227 0 0 20 0 1 0 104110621 7941038080 1672312 18446744073709551615 4194304 5972588 140730882453664 140730882450888 4931716 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 19476480 140730882462148 140730882462248 140730882462248 140730882465742 0
/proc/4763/statm: 1938730 1672312 862 435 0 1932093 0
Current children cumulated CPU time: 2322.21 s
Current children cumulated vsize: 7754920 KiB
Current children cumulated memory: 6689248 KiB
[startup+2382.3 s]
/proc/loadavg: 2.06 2.03 2.22 3/185 4981
/proc/meminfo: memFree=10918152/32770624 swapFree=67108764/67108860
[pid=4763] ppid=4758 vsize=7754920 memory=6689260 CPUtime=2382.22 cores=1,3,5,7
/proc/4763/stat : 4763 (cosoco) R 4758 4763 4674 0 -1 4202496 1840731 0 0 0 237994 228 0 0 20 0 1 0 104110621 7941038080 1672315 18446744073709551615 4194304 5972588 140730882453664 140730882450888 4934214 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 19476480 140730882462148 140730882462248 140730882462248 140730882465742 0
/proc/4763/statm: 1938730 1672315 862 435 0 1932093 0
Current children cumulated CPU time: 2382.22 s
Current children cumulated vsize: 7754920 KiB
Current children cumulated memory: 6689260 KiB
[startup+2442.3 s]
/proc/loadavg: 2.02 2.02 2.21 3/185 4983
/proc/meminfo: memFree=10918308/32770624 swapFree=67108764/67108860
[pid=4763] ppid=4758 vsize=7754920 memory=6689260 CPUtime=2442.22 cores=1,3,5,7
/proc/4763/stat : 4763 (cosoco) R 4758 4763 4674 0 -1 4202496 1841821 0 0 0 243994 228 0 0 20 0 1 0 104110621 7941038080 1672315 18446744073709551615 4194304 5972588 140730882453664 140730882450888 4931747 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 19476480 140730882462148 140730882462248 140730882462248 140730882465742 0
/proc/4763/statm: 1938730 1672315 862 435 0 1932093 0
Current children cumulated CPU time: 2442.22 s
Current children cumulated vsize: 7754920 KiB
Current children cumulated memory: 6689260 KiB
[startup+2502.3 s]
/proc/loadavg: 2.01 2.02 2.20 3/184 4986
/proc/meminfo: memFree=10918264/32770624 swapFree=67108764/67108860
[pid=4763] ppid=4758 vsize=7754920 memory=6689260 CPUtime=2502.22 cores=1,3,5,7
/proc/4763/stat : 4763 (cosoco) R 4758 4763 4674 0 -1 4202496 1843113 0 0 0 249993 229 0 0 20 0 1 0 104110621 7941038080 1672315 18446744073709551615 4194304 5972588 140730882453664 140730882450888 4965797 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 19476480 140730882462148 140730882462248 140730882462248 140730882465742 0
/proc/4763/statm: 1938730 1672315 862 435 0 1932093 0
Current children cumulated CPU time: 2502.22 s
Current children cumulated vsize: 7754920 KiB
Current children cumulated memory: 6689260 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.01 2.02 2.19 3/184 4986
/proc/meminfo: memFree=10918484/32770624 swapFree=67108764/67108860
[pid=4763] ppid=4758 vsize=7754920 memory=6689260 CPUtime=2519.93 cores=1,3,5,7
/proc/4763/stat : 4763 (cosoco) R 4758 4763 4674 0 -1 4202496 1843966 0 0 0 251764 229 0 0 20 0 1 0 104110621 7941038080 1672315 18446744073709551615 4194304 5972588 140730882453664 140730882450888 5040154 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 19476480 140730882462148 140730882462248 140730882462248 140730882465742 0
/proc/4763/statm: 1938730 1672315 862 435 0 1932093 0
Current children cumulated CPU time: 2519.93 s
Current children cumulated vsize: 7754920 KiB
Current children cumulated memory: 6689260 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.17 s]
# the end of solver process 4763 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.64 s, system=2.45807 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520.11 s]*
/proc/loadavg: 2.01 2.02 2.19 3/184 4986
/proc/meminfo: memFree=15661888/32770624 swapFree=67108764/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 1
Real time (s): 2520.17
CPU time (s): 2520.1
CPU user time (s): 2517.64
CPU system time (s): 2.45807
CPU usage (%): 99.9972
Max. virtual memory (cumulated for all children) (KiB): 7754920
Max. memory (cumulated for all children) (KiB): 6689260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.64
system time used= 2.45807
maximum resident set size= 6689324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1844031
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 129
involuntary context switches= 1099
# summary of solver processes directly reported to runsolver:
# pid: 4763
# total CPU time (s): 2520.1
# total CPU user time (s): 2517.64
# total CPU system time (s): 2.45807
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.2803 second user time and 17.6015 second system time
The end
Begin job on node134 at 2017-08-12 21:13:28 IDJOB=4265935 IDBENCH=115896 IDSOLVER=2655 FILE ID=node134/4265935-1502566042 RUNJOBID= node134-1502565207-4738 PBS_JOBID= Free space on /tmp= 62032 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-37.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4265935-1502566042/watcher-4265935-1502566042 -o /tmp/evaluation-result-4265935-1502566042/solver-4265935-1502566042 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502565207-4738 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265935-1502566042.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 45cb885f577274590a53a0b26d80d877 RANDOM SEED=459593928 node134.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30961744 kB MemAvailable: 31966884 kB Buffers: 303720 kB Cached: 1001456 kB SwapCached: 0 kB Active: 724420 kB Inactive: 641648 kB Active(anon): 63116 kB Inactive(anon): 39408 kB Active(file): 661304 kB Inactive(file): 602240 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 4688 kB Writeback: 8 kB AnonPages: 60604 kB Mapped: 53660 kB Shmem: 41660 kB Slab: 140932 kB SReclaimable: 114864 kB SUnreclaim: 26068 kB KernelStack: 3168 kB PageTables: 4984 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 341644 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 62028 MiB End job on node134 at 2017-08-12 21:55:28