Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 1.12 | SAT (TO) | 44 | 2519.72 | 2520.02 |
| Name | PeacableArmies/ PeacableArmies-m1-30_c18.xml |
| MD5SUM | 643e62d73285ca0df01da7486f80c5bf |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 96 |
| Best CPU time to get the best result obtained on this benchmark | 2520.14 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1800 |
| Number of constraints | 87321 |
| Number of domains | 1 |
| Minimum domain size | 2 |
| Maximum domain size | 2 |
| Distribution of domain sizes | [{"size":2,"count":1800}] |
| Minimum variable degree | 89 |
| Maximum variable degree | 118 |
| Distribution of variable degrees | [{"degree":89,"count":116},{"degree":90,"count":116},{"degree":91,"count":108},{"degree":92,"count":108},{"degree":93,"count":100},{"degree":94,"count":100},{"degree":95,"count":92},{"degree":96,"count":92},{"degree":97,"count":84},{"degree":98,"count":84},{"degree":99,"count":76},{"degree":100,"count":76},{"degree":101,"count":68},{"degree":102,"count":68},{"degree":103,"count":60},{"degree":104,"count":60},{"degree":105,"count":52},{"degree":106,"count":52},{"degree":107,"count":44},{"degree":108,"count":44},{"degree":109,"count":36},{"degree":110,"count":36},{"degree":111,"count":28},{"degree":112,"count":28},{"degree":113,"count":20},{"degree":114,"count":20},{"degree":115,"count":12},{"degree":116,"count":12},{"degree":117,"count":4},{"degree":118,"count":4}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 1800 |
| Distribution of constraint arities | [{"arity":2,"count":87320},{"arity":1800,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 87320 |
| Distribution of constraint types | [{"type":"intension","count":87320},{"type":"sum","count":1}] |
| Optimization problem | YES |
| Type of objective | max SUM |
24.87/24.91 c best=?? lower=0 upper=900 26.27/26.31 c 26.27/26.31 c This is cosoco 1.12 -- 26.27/26.31 c 26.27/26.31 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4295176-1532535025.xml 26.27/26.31 c enable optimization 26.27/26.31 c ========================================[ Problem Statistics ]=========================================== 26.27/26.31 c | 26.27/26.31 c | Parse time : 24.06 s 26.27/26.31 c | 26.27/26.31 c | Variables: 1800 26.27/26.31 c | Domain Sizes: 2..2 26.27/26.31 c | 26.27/26.31 c | Constraints: 87322 26.27/26.31 c | Arity: 2..1800 -- Binary: 87320 26.27/26.31 c | 26.27/26.31 c | Types: 26.27/26.31 c | Intension: 87320 26.27/26.31 c | Sum: 2 26.27/26.31 c | 26.27/26.31 c | Objective: Maximize Sum 26.27/26.31 26.27/26.31 c ========================================================================================================= 26.27/26.31 o 0 26.27/26.31 c 1 calls to solver: best=0 lower=1 upper=900 27.37/27.46 o 1 28.57/28.66 o 2 28.57/28.66 c 3 calls to solver: best=2 lower=3 upper=900 29.77/29.84 o 3 30.98/31.03 o 4 30.98/31.03 c 5 calls to solver: best=4 lower=5 upper=900 32.17/32.26 o 5 33.36/33.47 o 6 33.36/33.47 c 7 calls to solver: best=6 lower=7 upper=900 34.56/34.69 o 7 35.86/35.91 o 8 35.86/35.91 c 9 calls to solver: best=8 lower=9 upper=900 37.08/37.16 o 9 38.37/38.40 o 10 38.37/38.40 c 11 calls to solver: best=10 lower=11 upper=900 39.57/39.65 o 11 40.87/40.90 o 12 40.87/40.90 c 13 calls to solver: best=12 lower=13 upper=900 42.08/42.16 o 13 43.37/43.45 o 14 43.37/43.45 c 15 calls to solver: best=14 lower=15 upper=900 44.66/44.72 o 15 45.86/45.99 o 16 45.86/45.99 c 17 calls to solver: best=16 lower=17 upper=900 47.16/47.26 o 17 48.46/48.53 o 18 48.46/48.53 c 19 calls to solver: best=18 lower=19 upper=900 49.77/49.83 o 19 50.98/51.10 o 20 50.98/51.10 c 21 calls to solver: best=20 lower=21 upper=900 52.27/52.38 o 21 53.57/53.65 o 22 53.57/53.65 c 23 calls to solver: best=22 lower=23 upper=900 54.86/54.96 o 23 56.16/56.23 o 24 56.16/56.23 c 25 calls to solver: best=24 lower=25 upper=900 57.46/57.51 o 25 58.66/58.79 o 26 58.66/58.79 c 27 calls to solver: best=26 lower=27 upper=900 59.97/60.07 o 27 61.27/61.38 o 28 61.27/61.38 c 29 calls to solver: best=28 lower=29 upper=900 62.57/62.66 o 29 63.87/63.95 o 30 63.87/63.95 c 31 calls to solver: best=30 lower=31 upper=900 65.17/65.23 o 31 66.47/66.54 o 32 66.47/66.54 c 33 calls to solver: best=32 lower=33 upper=900 67.77/67.82 o 33 68.98/69.10 o 34 68.98/69.10 c 35 calls to solver: best=34 lower=35 upper=900 70.27/70.39 o 35 71.57/71.68 o 36 71.57/71.68 c 37 calls to solver: best=36 lower=37 upper=900 72.86/72.99 o 37 74.16/74.28 o 38 74.16/74.28 c 39 calls to solver: best=38 lower=39 upper=900 75.46/75.57 o 39 78.26/78.31 o 40 78.26/78.31 c 41 calls to solver: best=40 lower=41 upper=900 149.65/149.76 o 41 159.25/159.32 o 42 159.25/159.32 c 43 calls to solver: best=42 lower=43 upper=900 216.24/216.30 o 43 219.24/219.37 o 44 219.24/219.37 c 45 calls to solver: best=44 lower=45 upper=900 2519.70/2520.01 2519.70/2520.01 c *** INTERRUPTED *** 2519.70/2520.01 c restarts : 48 2519.70/2520.01 c conflicts : 102281 (41 /sec) 2519.70/2520.01 c decisions : 1939222 (770 /sec) 2519.70/2520.01 c propagations : 18056617 (7174 /sec) 2519.70/2520.01 c root propagations : 2699 2519.70/2520.01 c filter calls : 1227933538 (487836 /sec) 2519.70/2520.01 c useless filter calls : 1216410101 (99 %) 2519.70/2520.01 c Memory used : 1964.22 MB 2519.70/2520.01 c CPU time : 2517.1 s 2519.70/2520.01 2519.70/2520.01 c nb Solutions = 45 2519.70/2520.01 s SATISFIABLE 2519.70/2520.01 c Best value found: 44 2519.70/2520.01 2519.70/2520.01 2519.70/2520.01 v <instantiation type='solution' cost='44'> 2519.70/2520.01 v <list>b[0][0] b[0][10] b[0][11] b[0][12] b[0][13] b[0][14] b[0][15] b[0][16] b[0][17] b[0][18] b[0][19] b[0][1] b[0][20] b[0][21] b[0][22] b[0][23] b[0][24] b[0][25] b[0][26] b[0][27] b[0][28] b[0][29] b[0][2] b[0][3] b[0][4] b[0][5] b[0][6] b[0][7] b[0][8] b[0][9] b[10][0] b[10][10] b[10][11] b[10][12] b[10][13] b[10][14] b[10][15] b[10][16] b[10][17] b[10][18] b[10][19] b[10][1] b[10][20] b[10][21] b[10][22] b[10][23] b[10][24] b[10][25] b[10][26] b[10][27] b[10][28] b[10][29] b[10][2] b[10][3] b[10][4] b[10][5] b[10][6] b[10][7] b[10][8] b[10][9] b[11][0] b[11][10] b[11][11] b[11][12] b[11][13] b[11][14] b[11][15] b[11][16] b[11][17] b[11][18] b[11][19] b[11][1] b[11][20] b[11][21] b[11][22] b[11][23] b[11][24] b[11][25] b[11][26] b[11][27] b[11][28] b[11][29] b[11][2] b[11][3] b[11][4] b[11][5] b[11][6] b[11][7] b[11][8] b[11][9] b[12][0] b[12][10] b[12][11] b[12][12] b[12][13] b[12][14] b[12][15] b[12][16] b[12][17] b[12][18] b[12][19] b[12][1] b[12][20] b[12][21] b[12][22] b[12][23] b[12][24] b[12][25] b[12][26] b[12][27] b[12][28] b[12][29] b[12][2] b[12][3] b[12][4] b[12][5] b[12][6] b[12][7] b[12][8] b[12][9] b[13][0] b[13][10] b[13][11] b[13][12] b[13][13] b[13][14] b[13][15] b[13][16] b[13][17] b[13][18] b[13][19] b[13][1] b[13][20] b[13][21] b[13][22] b[13][23] b[13][24] b[13][25] b[13][26] b[13][27] b[13][28] b[13][29] b[13][2] b[13][3] b[13][4] b[13][5] b[13][6] b[13][7] b[13][8] b[13][9] b[14][0] b[14][10] b[14][11] b[14][12] b[14][13] b[14][14] b[14][15] b[14][16] b[14][17] b[14][18] b[14][19] b[14][1] b[14][20] b[14][21] b[14][22] b[14][23] b[14][24] b[14][25] b[14][26] b[14][27] b[14][28] b[14][29] b[14][2] b[14][3] b[14][4] b[14][5] b[14][6] b[14][7] b[14][8] b[14][9] b[15][0] b[15][10] b[15][11] b[15][12] b[15][13] b[15][14] b[15][15] b[15][16] b[15][17] b[15][18] b[15][19] b[15][1] b[15][20] b[15][21] b[15][22] b[15][23] b[15][24] b[15][25] b[15][26] b[15][27] b[15][28] b[15][29] b[15][2] b[15][3] b[15][4] b[15][5] b[15][6] b[15][7] b[15][8] b[15][9] b[16][0] b[16][10] b[16][11] b[16][12] b[16][13] b[16][14] b[16][15] b[16][16] b[16][17] b[16][18] b[16][19] b[16][1] b[16][20] b[16][21] b[16][22] b[16][23] b[16][24] b[16][25] b[16][26] b[16][27] b[16][28] b[16][29] b[16][2] b[16][3] b[16][4] b[16][5] b[16][6] b[16][7] b[16][8] b[16][9] b[17][0] b[17][10] b[17][11] b[17][12] b[17][13] b[17][14] b[17][15] b[17][16] b[17][17] b[17][18] b[17][19] b[17][1] b[17][20] b[17][21] b[17][22] b[17][23] b[17][24] b[17][25] b[17][26] b[17][27] b[17][28] b[17][29] b[17][2] b[17][3] b[17][4] b[17][5] b[17][6] b[17][7] b[17][8] b[17][9] b[18][0] b[18][10] b[18][11] b[18][12] b[18][13] b[18][14] b[18][15] b[18][16] b[18][17] b[18][18] b[18][19] b[18][1] b[18][20] b[18][21] b[18][22] b[18][23] b[18][24] b[18][25] b[18][26] b[18][27] b[18][28] b[18][29] b[18][2] b[18][3] b[18][4] b[18][5] b[18][6] b[18][7] b[18][8] b[18][9] b[19][0] b[19][10] b[19][11] b[19][12] b[19][13] b[19][14] b[19][15] b[19][16] b[19][17] b[19][18] b[19][19] b[19][1] b[19][20] b[19][21] b[19][22] b[19][23] b[19][24] b[19][25] b[19][26] b[19][27] b[19][28] b[19][29] b[19][2] b[19][3] b[19][4] b[19][5] b[19][6] b[19][7] b[19][8] b[19][9] b[1][0] b[1][10] b[1][11] b[1][12] b[1][13] b[1][14] b[1][15] b[1][16] b[1][17] b[1][18] b[1][19] b[1][1] b[1][20] b[1][21] b[1][22] b[1][23] b[1][24] b[1][25] b[1][26] b[1][27] b[1][28] b[1][29] b[1][2] b[1][3] b[1][4] b[1][5] b[1][6] b[1][7] b[1][8] b[1][9] b[20][0] b[20][10] b[20][11] b[20][12] b[20][13] b[20][14] b[20][15] b[20][16] b[20][17] b[20][18] b[20][19] b[20][1] b[20][20] b[20][21] b[20][22] b[20][23] b[20][24] b[20][25] b[20][26] b[20][27] b[20][28] b[20][29] b[20][2] b[20][3] b[20][4] b[20][5] b[20][6] b[20][7] b[20][8] b[20][9] b[21][0] b[21][10] b[21][11] b[21][12] b[21][13] b[21][14] b[21][15] b[21][16] b[21][17] b[21][18] b[21][19] b[21][1] b[21][20] b[21][21] b[21][22] b[21][23] b[21][24] b[21][25] b[21][26] b[21][27] b[21][28] b[21][29] b[21][2] b[21][3] b[21][4] b[21][5] b[21][6] b[21][7] b[21][8] b[21][9] b[22][0] b[22][10] b[22][11] b[22][12] b[22][13] b[22][14] b[22][15] b[22][16] b[22][17] b[22][18] b[22][19] b[22][1] b[22][20] b[22][21] b[22][22] b[22][23] b[22][24] b[22][25] b[22][26] b[22][27] b[22][28] b[22][29] b[22][2] b[22][3] b[22][4] b[22][5] b[22][6] b[22][7] b[22][8] b[22][9] b[23][0] b[23][10] b[23][11] b[23][12] b[23][13] b[23][14] b[23][15] b[23][16] b[23][17] b[23][18] b[23][19] b[23][1] b[23][20] b[23][21] b[23][22] b[23][23] b[23][24] b[23][25] b[23][26] b[23][27] b[23][28] b[23][29] b[23][2] b[23][3] b[23][4] b[23][5] b[23][6] b[23][7] b[23][8] b[23][9] b[24][0] b[24][10] b[24][11] b[24][12] b[24][13] b[24][14] b[24][15] b[24][16] b[24][17] b[24][18] b[24][19] b[24][1] b[24][20] b[24][21] b[24][22] b[24][23] b[24][24] b[24][25] b[24][26] b[24][27] b[24][28] b[24][29] b[24][2] b[24][3] b[24][4] b[24][5] b[24][6] b[24][7] b[24][8] b[24][9] b[25][0] b[25][10] b[25][11] b[25][12] b[25][13] b[25][14] b[25][15] b[25][16] b[25][17] b[25][18] b[25][19] b[25][1] b[25][20] b[25][21] b[25][22] b[25][23] b[25][24] b[25][25] b[25][26] b[25][27] b[25][28] b[25][29] b[25][2] b[25][3] b[25][4] b[25][5] b[25][6] b[25][7] b[25][8] b[25][9] b[26][0] b[26][10] b[26][11] b[26][12] b[26][13] b[26][14] b[26][15] b[26][16] b[26][17] b[26][18] b[26][19] b[26][1] b[26][20] b[26][21] b[26][22] b[26][23] b[26][24] b[26][25] b[26][26] b[26][27] b[26][28] b[26][29] b[26][2] b[26][3] b[26][4] b[26][5] b[26][6] b[26][7] b[26][8] b[26][9] b[27][0] b[27][10] b[27][11] b[27][12] b[27][13] b[27][14] b[27][15] b[27][16] b[27][17] b[27][18] b[27][19] b[27][1] b[27][20] b[27][21] b[27][22] b[27][23] b[27][24] b[27][25] b[27][26] b[27][27] b[27][28] b[27][29] b[27][2] b[27][3] b[27][4] b[27][5] b[27][6] b[27][7] b[27][8] b[27][9] b[28][0] b[28][10] b[28][11] b[28][12] b[28][13] b[28][14] b[28][15] b[28][16] b[28][17] b[28][18] b[28][19] b[28][1] b[28][20] b[28][21] b[28][22] b[28][23] b[28][24] b[28][25] b[28][26] b[28][27] b[28][28] b[28][29] b[28][2] b[28][3] b[28][4] b[28][5] b[28][6] b[28][7] b[28][8] b[28][9] b[29][0] b[29][10] b[29][11] b[29][12] b[29][13] b[29][14] b[29][15] b[29][16] b[29][17] b[29][18] b[29][19] b[29][1] b[29][20] b[29][21] b[29][22] b[29][23] b[29][24] b[29][25] b[29][26] b[29][27] b[29][28] b[29][29] b[29][2] b[29][3] b[29][4] b[29][5] b[29][6] b[29][7] b[29][8] b[29][9] b[2][0] b[2][10] b[2][11] b[2][12] b[2][13] b[2][14] b[2][15] b[2][16] b[2][17] b[2][18] b[2][19] b[2][1] b[2][20] b[2][21] b[2][22] b[2][23] b[2][24] b[2][25] b[2][26] b[2][27] b[2][28] b[2][29] b[2][2] b[2][3] b[2][4] b[2][5] b[2][6] b[2][7] b[2][8] b[2][9] b[3][0] b[3][10] b[3][11] b[3][12] b[3][13] b[3][14] b[3][15] b[3][16] b[3][17] b[3][18] b[3][19] b[3][1] b[3][20] b[3][21] b[3][22] b[3][23] b[3][24] b[3][25] b[3][26] b[3][27] b[3][28] b[3][29] b[3][2] b[3][3] b[3][4] b[3][5] b[3][6] b[3][7] b[3][8] b[3][9] b[4][0] b[4][10] b[4][11] b[4][12] b[4][13] b[4][14] b[4][15] b[4][16] b[4][17] b[4][18] b[4][19] b[4][1] b[4][20] b[4][21] b[4][22] b[4][23] b[4][24] b[4][25] b[4][26] b[4][27] b[4][28] b[4][29] b[4][2] b[4][3] b[4][4] b[4][5] b[4][6] b[4][7] b[4][8] b[4][9] b[5][0] b[5][10] b[5][11] b[5][12] b[5][13] b[5][14] b[5][15] b[5][16] b[5][17] b[5][18] b[5][19] b[5][1] b[5][20] b[5][21] b[5][22] b[5][23] b[5][24] b[5][25] b[5][26] b[5][27] b[5][28] b[5][29] b[5][2] b[5][3] b[5][4] b[5][5] b[5][6] b[5][7] b[5][8] b[5][9] b[6][0] b[6][10] b[6][11] b[6][12] b[6][13] b[6][14] b[6][15] b[6][16] b[6][17] b[6][18] b[6][19] b[6][1] b[6][20] b[6][21] b[6][22] b[6][23] b[6][24] b[6][25] b[6][26] b[6][27] b[6][28] b[6][29] b[6][2] b[6][3] b[6][4] b[6][5] b[6][6] b[6][7] b[6][8] b[6][9] b[7][0] b[7][10] b[7][11] b[7][12] b[7][13] b[7][14] b[7][15] b[7][16] b[7][17] b[7][18] b[7][19] b[7][1] b[7][20] b[7][21] b[7][22] b[7][23] b[7][24] b[7][25] b[7][26] b[7][27] b[7][28] b[7][29] b[7][2] b[7][3] b[7][4] b[7][5] b[7][6] b[7][7] b[7][8] b[7][9] b[8][0] b[8][10] b[8][11] b[8][12] b[8][13] b[8][14] b[8][15] b[8][16] b[8][17] b[8][18] b[8][19] b[8][1] b[8][20] b[8][21] b[8][22] b[8][23] b[8][24] b[8][25] b[8][26] b[8][27] b[8][28] b[8][29] b[8][2] b[8][3] b[8][4] b[8][5] b[8][6] b[8][7] b[8][8] b[8][9] b[9][0] b[9][10] b[9][11] b[9][12] b[9][13] b[9][14] b[9][15] b[9][16] b[9][17] b[9][18] b[9][19] b[9][1] b[9][20] b[9][21] b[9][22] b[9][23] b[9][24] b[9][25] b[9][26] b[9][27] b[9][28] b[9][29] b[9][2] b[9][3] b[9][4] b[9][5] b[9][6] b[9][7] b[9][8] b[9][9] 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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][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][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][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][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][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][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][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][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] </list> 2519.70/2520.01 v <values>0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 1 1 1 1 0 1 1 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 1 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 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 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 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 </values> 2519.70/2520.01 v </instantiation> 2519.70/2520.01
OK 44
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 (2269 MiB free)
memory of node 1: 16384 MiB (6353 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295176-1532535025/watcher-4295176-1532535025 -o /tmp/evaluation-result-4295176-1532535025/solver-4295176-1532535025 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532535025-27479 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295176-1532535025.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=27508, runsolver pid=27505
[startup+0.100836 s]*
/proc/loadavg: 1.00 0.99 1.04 3/188 27509
/proc/meminfo: memFree=8827032/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=29428 memory=5600 CPUtime=0.1 cores=1,3,5,7
/proc/27508/stat : 27508 (cosoco) R 27505 27508 27447 0 -1 4202496 1595 0 0 0 10 0 0 0 20 0 1 0 71065365 30134272 1400 33554432000 4194304 6142532 140734832846368 140734832843016 140134959389669 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27947008 140734832850054 140734832850184 140734832850184 140734832852942 0
/proc/27508/statm: 7357 1400 785 476 0 679 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29428 KiB
Current children cumulated memory: 5600 KiB
[startup+0.209328 s]*
/proc/loadavg: 1.00 0.99 1.04 3/188 27509
/proc/meminfo: memFree=8825408/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=30676 memory=6660 CPUtime=0.21 cores=1,3,5,7
/proc/27508/stat : 27508 (cosoco) R 27505 27508 27447 0 -1 4202496 1916 0 0 0 21 0 0 0 20 0 1 0 71065365 31412224 1665 33554432000 4194304 6142532 140734832846368 140734832843016 5588863 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27947008 140734832850054 140734832850184 140734832850184 140734832852942 0
/proc/27508/statm: 7669 1665 785 476 0 991 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30676 KiB
Current children cumulated memory: 6660 KiB
[startup+0.309017 s]*
/proc/loadavg: 1.00 0.99 1.04 3/188 27509
/proc/meminfo: memFree=8823300/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=31980 memory=7612 CPUtime=0.3 cores=1,3,5,7
/proc/27508/stat : 27508 (cosoco) R 27505 27508 27447 0 -1 4202496 2295 0 0 0 30 0 0 0 20 0 1 0 71065365 32747520 1903 33554432000 4194304 6142532 140734832846368 140734832843016 140134959389669 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27947008 140734832850054 140734832850184 140734832850184 140734832852942 0
/proc/27508/statm: 7995 1903 785 476 0 1317 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 31980 KiB
Current children cumulated memory: 7612 KiB
[startup+0.700286 s]
/proc/loadavg: 1.00 0.99 1.04 3/188 27509
/proc/meminfo: memFree=8813752/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=36040 memory=11492 CPUtime=0.69 cores=1,3,5,7
/proc/27508/stat : 27508 (cosoco) R 27505 27508 27447 0 -1 4202496 3515 0 0 0 69 0 0 0 20 0 1 0 71065365 36904960 2873 33554432000 4194304 6142532 140734832846368 140734832843016 140134959389669 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27947008 140734832850054 140734832850184 140734832850184 140734832852942 0
/proc/27508/statm: 9010 2873 785 476 0 2332 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 36040 KiB
Current children cumulated memory: 11492 KiB
[startup+1.5003 s]
/proc/loadavg: 1.00 0.99 1.04 3/188 27509
/proc/meminfo: memFree=8782396/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=53572 memory=28492 CPUtime=1.49 cores=1,3,5,7
/proc/27508/stat : 27508 (cosoco) R 27505 27508 27447 0 -1 4202496 8243 0 0 0 148 1 0 0 20 0 1 0 71065365 54857728 7123 33554432000 4194304 6142532 140734832846368 140734832843016 140134959389669 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27947008 140734832850054 140734832850184 140734832850184 140734832852942 0
/proc/27508/statm: 13393 7123 802 476 0 6715 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 53572 KiB
Current children cumulated memory: 28492 KiB
[startup+3.1093 s]
/proc/loadavg: 1.00 0.99 1.04 3/188 27509
/proc/meminfo: memFree=8535704/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=186256 memory=161124 CPUtime=3.09 cores=1,3,5,7
/proc/27508/stat : 27508 (cosoco) R 27505 27508 27447 0 -1 4202496 41865 0 0 0 301 8 0 0 20 0 1 0 71065365 190726144 40281 33554432000 4194304 6142532 140734832846368 140734832840744 140134959389669 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27947008 140734832850054 140734832850184 140734832850184 140734832852942 0
/proc/27508/statm: 46564 40281 802 476 0 39886 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 186256 KiB
Current children cumulated memory: 161124 KiB
[startup+6.30033 s]
/proc/loadavg: 1.08 1.00 1.05 3/188 27509
/proc/meminfo: memFree=8122996/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=450664 memory=425692 CPUtime=6.28 cores=1,3,5,7
/proc/27508/stat : 27508 (cosoco) R 27505 27508 27447 0 -1 4202496 108358 0 0 0 610 18 0 0 20 0 1 0 71065365 461479936 106423 33554432000 4194304 6142532 140734832846368 140734832840840 140134959389669 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27947008 140734832850054 140734832850184 140734832850184 140734832852942 0
/proc/27508/statm: 112700 106423 802 476 0 106022 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 450664 KiB
Current children cumulated memory: 425692 KiB
[startup+12.7003 s]
/proc/loadavg: 1.15 1.02 1.05 3/188 27509
/proc/meminfo: memFree=7557284/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=981404 memory=956332 CPUtime=12.68 cores=1,3,5,7
/proc/27508/stat : 27508 (cosoco) R 27505 27508 27447 0 -1 4202496 241417 0 0 0 1229 39 0 0 20 0 1 0 71065365 1004957696 239083 33554432000 4194304 6142532 140734832846368 140734832840744 140134959437728 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27947008 140734832850054 140734832850184 140734832850184 140734832852942 0
/proc/27508/statm: 245351 239083 802 476 0 238673 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 981404 KiB
Current children cumulated memory: 956332 KiB
[startup+25.5004 s]
/proc/loadavg: 1.34 1.07 1.07 3/188 27509
/proc/meminfo: memFree=6503348/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=1993788 memory=1970068 CPUtime=25.47 cores=1,3,5,7
/proc/27508/stat : 27508 (cosoco) R 27505 27508 27447 0 -1 4202496 771165 0 0 0 2458 89 0 0 20 0 1 0 71065365 2041638912 492517 33554432000 4194304 6142532 140734832846368 140734832843320 140134959389669 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27947008 140734832850054 140734832850184 140734832850184 140734832852942 0
/proc/27508/statm: 498447 492517 874 476 0 491769 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 1993788 KiB
Current children cumulated memory: 1970068 KiB
[startup+51.1096 s]
/proc/loadavg: 1.56 1.14 1.09 3/188 27509
/proc/meminfo: memFree=6469656/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=2008412 memory=1984812 CPUtime=51.08 cores=1,3,5,7
/proc/27508/stat : 27508 (cosoco) R 27505 27508 27447 0 -1 4202496 980114 0 0 0 5008 100 0 0 20 0 1 0 71065365 2056613888 496203 33554432000 4194304 6142532 140734832846368 140734832843896 5336753 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27947008 140734832850054 140734832850184 140734832850184 140734832852942 0
/proc/27508/statm: 502103 496203 875 476 0 495425 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 2008412 KiB
Current children cumulated memory: 1984812 KiB
[startup+102.3 s]
/proc/loadavg: 1.81 1.27 1.14 3/188 27510
/proc/meminfo: memFree=6468900/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=2008944 memory=1985424 CPUtime=102.26 cores=1,3,5,7
/proc/27508/stat : 27508 (cosoco) R 27505 27508 27447 0 -1 4202496 1312561 0 0 0 10110 116 0 0 20 0 1 0 71065365 2057158656 496356 33554432000 4194304 6142532 140734832846368 140734832843080 5047869 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27947008 140734832850054 140734832850184 140734832850184 140734832852942 0
/proc/27508/statm: 502236 496356 875 476 0 495558 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 2008944 KiB
Current children cumulated memory: 1985424 KiB
[startup+162.3 s]
/proc/loadavg: 1.93 1.41 1.19 3/188 27511
/proc/meminfo: memFree=6469072/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=2009080 memory=1985544 CPUtime=162.25 cores=1,3,5,7
/proc/27508/stat : 27508 (cosoco) R 27505 27508 27447 0 -1 4202496 1627636 0 0 0 16094 131 0 0 20 0 1 0 71065365 2057297920 496386 33554432000 4194304 6142532 140734832846368 140734832843896 5146749 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27947008 140734832850054 140734832850184 140734832850184 140734832852942 0
/proc/27508/statm: 502270 496386 875 476 0 495592 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 2009080 KiB
Current children cumulated memory: 1985544 KiB
[startup+222.3 s]
/proc/loadavg: 1.97 1.51 1.24 3/188 27512
/proc/meminfo: memFree=6468648/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=2009344 memory=1985808 CPUtime=222.24 cores=1,3,5,7
/proc/27508/stat : 27508 (cosoco) R 27505 27508 27447 0 -1 4202496 1923247 0 0 0 22080 144 0 0 20 0 1 0 71065365 2057568256 496452 33554432000 4194304 6142532 140734832846368 140734832843896 140134969334606 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27947008 140734832850054 140734832850184 140734832850184 140734832852942 0
/proc/27508/statm: 502336 496452 875 476 0 495658 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 2009344 KiB
Current children cumulated memory: 1985808 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.60 1.29 3/187 27513
/proc/meminfo: memFree=6468376/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=2009608 memory=1986080 CPUtime=282.23 cores=1,3,5,7
/proc/27508/stat : 27508 (cosoco) R 27505 27508 27447 0 -1 4202496 2200438 0 0 0 28067 156 0 0 20 0 1 0 71065365 2057838592 496520 33554432000 4194304 6142532 140734832846368 140734832843112 5146831 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27947008 140734832850054 140734832850184 140734832850184 140734832852942 0
/proc/27508/statm: 502402 496520 875 476 0 495724 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 2009608 KiB
Current children cumulated memory: 1986080 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.67 1.33 3/187 27514
/proc/meminfo: memFree=6468348/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=2009876 memory=1986272 CPUtime=342.22 cores=1,3,5,7
/proc/27508/stat : 27508 (cosoco) R 27505 27508 27447 0 -1 4202496 2460779 0 0 0 34052 170 0 0 20 0 1 0 71065365 2058113024 496568 33554432000 4194304 6142532 140734832846368 140734832843112 5047869 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27947008 140734832850054 140734832850184 140734832850184 140734832852942 0
/proc/27508/statm: 502469 496568 875 476 0 495791 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 2009876 KiB
Current children cumulated memory: 1986272 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.73 1.38 3/187 27515
/proc/meminfo: memFree=6468284/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=2010008 memory=1986376 CPUtime=402.22 cores=1,3,5,7
/proc/27508/stat : 27508 (cosoco) R 27505 27508 27447 0 -1 4202496 2686645 0 0 0 40040 182 0 0 20 0 1 0 71065365 2058248192 496594 33554432000 4194304 6142532 140734832846368 140734832843112 140134960315853 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27947008 140734832850054 140734832850184 140734832850184 140734832852942 0
/proc/27508/statm: 502502 496594 875 476 0 495824 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 2010008 KiB
Current children cumulated memory: 1986376 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.78 1.42 3/187 27516
/proc/meminfo: memFree=6468044/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=2010144 memory=1986620 CPUtime=462.2 cores=1,3,5,7
/proc/27508/stat : 27508 (cosoco) R 27505 27508 27447 0 -1 4202496 2920402 0 0 0 46027 193 0 0 20 0 1 0 71065365 2058387456 496655 33554432000 4194304 6142532 140734832846368 140734832843112 5146999 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27947008 140734832850054 140734832850184 140734832850184 140734832852942 0
/proc/27508/statm: 502536 496655 875 476 0 495858 0
Current children cumulated CPU time: 462.2 s
Current children cumulated vsize: 2010144 KiB
Current children cumulated memory: 1986620 KiB
################
# More data... #
################
/proc/27508/statm: 502839 497020 875 476 0 496161 0
Current children cumulated CPU time: 1722.06 s
Current children cumulated vsize: 2011356 KiB
Current children cumulated memory: 1988080 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 1.87 3/188 27564
/proc/meminfo: memFree=6463884/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=2011356 memory=1988080 CPUtime=1782.06 cores=1,3,5,7
/proc/27508/stat : 27508 (cosoco) R 27505 27508 27447 0 -1 4202496 4358754 0 0 0 177946 260 0 0 20 0 1 0 71065365 2059628544 497020 33554432000 4194304 6142532 140734832846368 140734832843224 140134969334606 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27947008 140734832850054 140734832850184 140734832850184 140734832852942 0
/proc/27508/statm: 502839 497020 875 476 0 496161 0
Current children cumulated CPU time: 1782.06 s
Current children cumulated vsize: 2011356 KiB
Current children cumulated memory: 1988080 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/188 27565
/proc/meminfo: memFree=6464320/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=2011356 memory=1988080 CPUtime=1842.05 cores=1,3,5,7
/proc/27508/stat : 27508 (cosoco) R 27505 27508 27447 0 -1 4202496 4360069 0 0 0 183945 260 0 0 20 0 1 0 71065365 2059628544 497020 33554432000 4194304 6142532 140734832846368 140734832843224 5361706 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27947008 140734832850054 140734832850184 140734832850184 140734832852942 0
/proc/27508/statm: 502839 497020 875 476 0 496161 0
Current children cumulated CPU time: 1842.05 s
Current children cumulated vsize: 2011356 KiB
Current children cumulated memory: 1988080 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/188 27566
/proc/meminfo: memFree=6464792/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=2011356 memory=1988080 CPUtime=1902.05 cores=1,3,5,7
/proc/27508/stat : 27508 (cosoco) R 27505 27508 27447 0 -1 4202496 4361295 0 0 0 189945 260 0 0 20 0 1 0 71065365 2059628544 497020 33554432000 4194304 6142532 140734832846368 140734832843224 5361702 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27947008 140734832850054 140734832850184 140734832850184 140734832852942 0
/proc/27508/statm: 502839 497020 875 476 0 496161 0
Current children cumulated CPU time: 1902.05 s
Current children cumulated vsize: 2011356 KiB
Current children cumulated memory: 1988080 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/188 27567
/proc/meminfo: memFree=6464736/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=2011356 memory=1988080 CPUtime=1962.04 cores=1,3,5,7
/proc/27508/stat : 27508 (cosoco) R 27505 27508 27447 0 -1 4202496 4362640 0 0 0 195944 260 0 0 20 0 1 0 71065365 2059628544 497020 33554432000 4194304 6142532 140734832846368 140734832843224 4991514 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27947008 140734832850054 140734832850184 140734832850184 140734832852942 0
/proc/27508/statm: 502839 497020 875 476 0 496161 0
Current children cumulated CPU time: 1962.04 s
Current children cumulated vsize: 2011356 KiB
Current children cumulated memory: 1988080 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/188 27568
/proc/meminfo: memFree=6464676/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=2011356 memory=1988080 CPUtime=2022.03 cores=1,3,5,7
/proc/27508/stat : 27508 (cosoco) R 27505 27508 27447 0 -1 4202496 4363878 0 0 0 201943 260 0 0 20 0 1 0 71065365 2059628544 497020 33554432000 4194304 6142532 140734832846368 140734832843224 5047845 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27947008 140734832850054 140734832850184 140734832850184 140734832852942 0
/proc/27508/statm: 502839 497020 875 476 0 496161 0
Current children cumulated CPU time: 2022.03 s
Current children cumulated vsize: 2011356 KiB
Current children cumulated memory: 1988080 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/187 27569
/proc/meminfo: memFree=6464520/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=2011356 memory=1988080 CPUtime=2082.03 cores=1,3,5,7
/proc/27508/stat : 27508 (cosoco) R 27505 27508 27447 0 -1 4202496 4365209 0 0 0 207943 260 0 0 20 0 1 0 71065365 2059628544 497020 33554432000 4194304 6142532 140734832846368 140734832843224 5044618 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27947008 140734832850054 140734832850184 140734832850184 140734832852942 0
/proc/27508/statm: 502839 497020 875 476 0 496161 0
Current children cumulated CPU time: 2082.03 s
Current children cumulated vsize: 2011356 KiB
Current children cumulated memory: 1988080 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/187 27570
/proc/meminfo: memFree=6464712/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=2011356 memory=1988080 CPUtime=2142.02 cores=1,3,5,7
/proc/27508/stat : 27508 (cosoco) R 27505 27508 27447 0 -1 4202496 4366457 0 0 0 213942 260 0 0 20 0 1 0 71065365 2059628544 497020 33554432000 4194304 6142532 140734832846368 140734832843224 5398527 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27947008 140734832850054 140734832850184 140734832850184 140734832852942 0
/proc/27508/statm: 502839 497020 875 476 0 496161 0
Current children cumulated CPU time: 2142.02 s
Current children cumulated vsize: 2011356 KiB
Current children cumulated memory: 1988080 KiB
[startup+2202.3 s]
/proc/loadavg: 2.05 2.02 1.91 3/187 27571
/proc/meminfo: memFree=6465148/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=2011356 memory=1988080 CPUtime=2202.02 cores=1,3,5,7
/proc/27508/stat : 27508 (cosoco) R 27505 27508 27447 0 -1 4202496 4367709 0 0 0 219942 260 0 0 20 0 1 0 71065365 2059628544 497020 33554432000 4194304 6142532 140734832846368 140734832843224 5146576 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27947008 140734832850054 140734832850184 140734832850184 140734832852942 0
/proc/27508/statm: 502839 497020 875 476 0 496161 0
Current children cumulated CPU time: 2202.02 s
Current children cumulated vsize: 2011356 KiB
Current children cumulated memory: 1988080 KiB
[startup+2262.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/187 27572
/proc/meminfo: memFree=6464984/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=2011356 memory=1988080 CPUtime=2262.01 cores=1,3,5,7
/proc/27508/stat : 27508 (cosoco) R 27505 27508 27447 0 -1 4202496 4369026 0 0 0 225941 260 0 0 20 0 1 0 71065365 2059628544 497020 33554432000 4194304 6142532 140734832846368 140734832843224 5336753 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27947008 140734832850054 140734832850184 140734832850184 140734832852942 0
/proc/27508/statm: 502839 497020 875 476 0 496161 0
Current children cumulated CPU time: 2262.01 s
Current children cumulated vsize: 2011356 KiB
Current children cumulated memory: 1988080 KiB
[startup+2322.3 s]
/proc/loadavg: 2.01 2.01 1.92 3/187 27573
/proc/meminfo: memFree=6464560/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=2011356 memory=1988080 CPUtime=2322.01 cores=1,3,5,7
/proc/27508/stat : 27508 (cosoco) R 27505 27508 27447 0 -1 4202496 4370263 0 0 0 231941 260 0 0 20 0 1 0 71065365 2059628544 497020 33554432000 4194304 6142532 140734832846368 140734832843224 5396937 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27947008 140734832850054 140734832850184 140734832850184 140734832852942 0
/proc/27508/statm: 502839 497020 875 476 0 496161 0
Current children cumulated CPU time: 2322.01 s
Current children cumulated vsize: 2011356 KiB
Current children cumulated memory: 1988080 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/188 27582
/proc/meminfo: memFree=6463600/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=2011356 memory=1988088 CPUtime=2382 cores=1,3,5,7
/proc/27508/stat : 27508 (cosoco) R 27505 27508 27447 0 -1 4202496 4371600 0 0 0 237940 260 0 0 20 0 1 0 71065365 2059628544 497022 33554432000 4194304 6142532 140734832846368 140734832843224 5376434 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27947008 140734832850054 140734832850184 140734832850184 140734832852942 0
/proc/27508/statm: 502839 497022 875 476 0 496161 0
Current children cumulated CPU time: 2382 s
Current children cumulated vsize: 2011356 KiB
Current children cumulated memory: 1988088 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/188 27583
/proc/meminfo: memFree=6464448/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=2011356 memory=1988088 CPUtime=2441.99 cores=1,3,5,7
/proc/27508/stat : 27508 (cosoco) R 27505 27508 27447 0 -1 4202496 4372846 0 0 0 243939 260 0 0 20 0 1 0 71065365 2059628544 497022 33554432000 4194304 6142532 140734832846368 140734832843224 5130596 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27947008 140734832850054 140734832850184 140734832850184 140734832852942 0
/proc/27508/statm: 502839 497022 875 476 0 496161 0
Current children cumulated CPU time: 2441.99 s
Current children cumulated vsize: 2011356 KiB
Current children cumulated memory: 1988088 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/188 27584
/proc/meminfo: memFree=6464392/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=2011356 memory=1988088 CPUtime=2501.99 cores=1,3,5,7
/proc/27508/stat : 27508 (cosoco) R 27505 27508 27447 0 -1 4202496 4374103 0 0 0 249939 260 0 0 20 0 1 0 71065365 2059628544 497022 33554432000 4194304 6142532 140734832846368 140734832843224 5047869 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27947008 140734832850054 140734832850184 140734832850184 140734832852942 0
/proc/27508/statm: 502839 497022 875 476 0 496161 0
Current children cumulated CPU time: 2501.99 s
Current children cumulated vsize: 2011356 KiB
Current children cumulated memory: 1988088 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 1.94 2/186 27584
/proc/meminfo: memFree=6843132/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=2011356 memory=1988088 CPUtime=2519.7 cores=1,3,5,7
/proc/27508/stat : 27508 (cosoco) R 27505 27508 27447 0 -1 4202496 4374359 0 0 0 251710 260 0 0 20 0 1 0 71065365 2059628544 497022 33554432000 4194304 6142532 140734832846368 140734832843224 5366791 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27947008 140734832850054 140734832850184 140734832850184 140734832852942 0
/proc/27508/statm: 502839 497022 875 476 0 496161 0
Current children cumulated CPU time: 2519.7 s
Current children cumulated vsize: 2011356 KiB
Current children cumulated memory: 1988088 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 27508 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.1 s, system=2.61477 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.02
CPU time (s): 2519.72
CPU user time (s): 2517.1
CPU system time (s): 2.61477
CPU usage (%): 99.9881
Max. virtual memory (cumulated for all children) (KiB): 2011356
Max. memory (cumulated for all children) (KiB): 1988088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.1
system time used= 2.61477
maximum resident set size= 1988148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4374406
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= 182
involuntary context switches= 864
# summary of solver processes directly reported to runsolver:
# pid: 27508
# total CPU time (s): 2519.72
# total CPU user time (s): 2517.1
# total CPU system time (s): 2.61477
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.802 second user time and 17.8847 second system time
The end
Begin job on node106 at 2018-07-25 18:10:25 IDJOB=4295176 IDBENCH=141483 IDSOLVER=2752 FILE ID=node106/4295176-1532535025 RUNJOBID= node106-1532535025-27479 PBS_JOBID= 21021947 Free space on /tmp= 46232 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/PeacableArmies/PeacableArmies-m1-30_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4295176-1532535025/watcher-4295176-1532535025 -o /tmp/evaluation-result-4295176-1532535025/solver-4295176-1532535025 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532535025-27479 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295176-1532535025.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 643e62d73285ca0df01da7486f80c5bf RANDOM SEED=432319388 node106.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 : 5334.11 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 : 5334.11 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 : 5334.11 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 : 5334.11 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: 8831996 kB MemAvailable: 31927064 kB Buffers: 283720 kB Cached: 22707280 kB SwapCached: 0 kB Active: 2811240 kB Inactive: 20237088 kB Active(anon): 59776 kB Inactive(anon): 25252 kB Active(file): 2751464 kB Inactive(file): 20211836 kB Unevictable: 6944 kB Mlocked: 6944 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 9848 kB Writeback: 0 kB AnonPages: 63112 kB Mapped: 39576 kB Shmem: 25228 kB Slab: 587028 kB SReclaimable: 560228 kB SUnreclaim: 26800 kB KernelStack: 3168 kB PageTables: 5192 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 351484 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 46228 MiB End job on node106 at 2018-07-25 18:52:25