Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 1.12 | SAT (TO) | 44 | 252.102 | 252.103 |
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 | 73 |
Best CPU time to get the best result obtained on this benchmark | 252.302 |
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.78/24.87 c best=?? lower=0 upper=900 26.18/26.27 c 26.18/26.27 c This is cosoco 1.12 -- 26.18/26.27 c 26.18/26.27 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4301950-1532888118.xml 26.18/26.27 c enable optimization 26.18/26.27 c ========================================[ Problem Statistics ]=========================================== 26.18/26.27 c | 26.18/26.27 c | Parse time : 24.02 s 26.18/26.27 c | 26.18/26.27 c | Variables: 1800 26.18/26.27 c | Domain Sizes: 2..2 26.18/26.27 c | 26.18/26.27 c | Constraints: 87322 26.18/26.27 c | Arity: 2..1800 -- Binary: 87320 26.18/26.27 c | 26.18/26.27 c | Types: 26.18/26.27 c | Intension: 87320 26.18/26.27 c | Sum: 2 26.18/26.27 c | 26.18/26.27 c | Objective: Maximize Sum 26.18/26.27 26.18/26.27 c ========================================================================================================= 26.18/26.27 o 0 26.18/26.27 c 1 calls to solver: best=0 lower=1 upper=900 27.38/27.42 o 1 28.58/28.62 o 2 28.58/28.62 c 3 calls to solver: best=2 lower=3 upper=900 29.78/29.81 o 3 30.88/31.00 o 4 30.88/31.00 c 5 calls to solver: best=4 lower=5 upper=900 32.18/32.22 o 5 33.38/33.43 o 6 33.38/33.43 c 7 calls to solver: best=6 lower=7 upper=900 34.58/34.65 o 7 35.78/35.88 o 8 35.78/35.88 c 9 calls to solver: best=8 lower=9 upper=900 37.08/37.11 o 9 38.28/38.38 o 10 38.28/38.38 c 11 calls to solver: best=10 lower=11 upper=900 39.58/39.62 o 11 40.78/40.87 o 12 40.78/40.87 c 13 calls to solver: best=12 lower=13 upper=900 42.09/42.13 o 13 43.38/43.42 o 14 43.38/43.42 c 15 calls to solver: best=14 lower=15 upper=900 44.58/44.68 o 15 45.88/45.95 o 16 45.88/45.95 c 17 calls to solver: best=16 lower=17 upper=900 47.18/47.22 o 17 48.48/48.50 o 18 48.48/48.50 c 19 calls to solver: best=18 lower=19 upper=900 49.78/49.80 o 19 50.99/51.07 o 20 50.99/51.07 c 21 calls to solver: best=20 lower=21 upper=900 52.28/52.35 o 21 53.58/53.62 o 22 53.58/53.62 c 23 calls to solver: best=22 lower=23 upper=900 54.87/54.92 o 23 56.17/56.20 o 24 56.17/56.20 c 25 calls to solver: best=24 lower=25 upper=900 57.37/57.48 o 25 58.68/58.76 o 26 58.68/58.76 c 27 calls to solver: best=26 lower=27 upper=900 59.99/60.04 o 27 61.27/61.34 o 28 61.27/61.34 c 29 calls to solver: best=28 lower=29 upper=900 62.57/62.63 o 29 63.88/63.91 o 30 63.88/63.91 c 31 calls to solver: best=30 lower=31 upper=900 65.09/65.19 o 31 66.48/66.50 o 32 66.48/66.50 c 33 calls to solver: best=32 lower=33 upper=900 67.68/67.78 o 33 68.99/69.07 o 34 68.99/69.07 c 35 calls to solver: best=34 lower=35 upper=900 70.28/70.35 o 35 71.58/71.64 o 36 71.58/71.64 c 37 calls to solver: best=36 lower=37 upper=900 72.88/72.95 o 37 74.18/74.24 o 38 74.18/74.24 c 39 calls to solver: best=38 lower=39 upper=900 75.48/75.53 o 39 78.18/78.27 o 40 78.18/78.27 c 41 calls to solver: best=40 lower=41 upper=900 149.68/149.74 o 41 159.29/159.30 o 42 159.29/159.30 c 43 calls to solver: best=42 lower=43 upper=900 216.19/216.26 o 43 219.29/219.33 o 44 219.29/219.33 c 45 calls to solver: best=44 lower=45 upper=900 252.00/252.01 252.00/252.01 c *** INTERRUPTED *** 252.00/252.01 c restarts : 15 252.00/252.01 c conflicts : 3225 (13 /sec) 252.00/252.01 c decisions : 172545 (689 /sec) 252.00/252.01 c propagations : 1094779 (4371 /sec) 252.00/252.01 c root propagations : 2699 252.00/252.01 c filter calls : 95148460 (379892 /sec) 252.00/252.01 c useless filter calls : 94385733 (99 %) 252.00/252.01 c Memory used : 1962.38 MB 252.00/252.01 c CPU time : 250.462 s 252.00/252.01 252.00/252.01 c nb Solutions = 45 252.00/252.01 s SATISFIABLE 252.00/252.01 c Best value found: 44 252.00/252.01 252.00/252.01 252.00/252.01 v <instantiation type='solution' cost='44'> 252.00/252.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> 252.00/252.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> 252.00/252.01 v </instantiation> 252.00/252.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 (13546 MiB free) memory of node 1: 16384 MiB (13931 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301950-1532888118/watcher-4301950-1532888118 -o /tmp/evaluation-result-4301950-1532888118/solver-4301950-1532888118 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532880243-4871 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301950-1532888118.xml running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=9865, runsolver pid=9862 Current StackSize limit: 8192 KiB [startup+0.100104 s]* /proc/loadavg: 2.07 2.02 2.02 3/187 9866 /proc/meminfo: memFree=28134856/32770624 swapFree=67108532/67108860 [pid=9865] ppid=9862 vsize=29428 memory=5600 CPUtime=0.1 cores=1,3,5,7 /proc/9865/stat : 9865 (cosoco) R 9862 9865 4839 0 -1 4202496 1592 0 0 0 10 0 0 0 20 0 1 0 106374969 30134272 1400 33554432000 4194304 6142532 140723814678976 140723814675608 139904139062245 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 26128384 140723814687883 140723814688013 140723814688013 140723814690766 0 /proc/9865/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.209472 s]* /proc/loadavg: 2.07 2.02 2.02 3/187 9866 /proc/meminfo: memFree=28133740/32770624 swapFree=67108532/67108860 [pid=9865] ppid=9862 vsize=30676 memory=6660 CPUtime=0.2 cores=1,3,5,7 /proc/9865/stat : 9865 (cosoco) R 9862 9865 4839 0 -1 4202496 1913 0 0 0 20 0 0 0 20 0 1 0 106374969 31412224 1665 33554432000 4194304 6142532 140723814678976 140723814675608 139904139057982 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 26128384 140723814687883 140723814688013 140723814688013 140723814690766 0 /proc/9865/statm: 7669 1665 785 476 0 991 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 30676 KiB Current children cumulated memory: 6660 KiB [startup+0.308928 s]* /proc/loadavg: 2.07 2.02 2.02 3/187 9866 /proc/meminfo: memFree=28132624/32770624 swapFree=67108532/67108860 [pid=9865] ppid=9862 vsize=31848 memory=7612 CPUtime=0.3 cores=1,3,5,7 /proc/9865/stat : 9865 (cosoco) R 9862 9865 4839 0 -1 4202496 2289 0 0 0 30 0 0 0 20 0 1 0 106374969 32612352 1903 33554432000 4194304 6142532 140723814678976 140723814675608 139904139062245 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 26128384 140723814687883 140723814688013 140723814688013 140723814690766 0 /proc/9865/statm: 7962 1903 785 476 0 1284 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 31848 KiB Current children cumulated memory: 7612 KiB [startup+0.700231 s] /proc/loadavg: 2.07 2.02 2.02 3/187 9866 /proc/meminfo: memFree=28130764/32770624 swapFree=67108532/67108860 [pid=9865] ppid=9862 vsize=36040 memory=11492 CPUtime=0.69 cores=1,3,5,7 /proc/9865/stat : 9865 (cosoco) R 9862 9865 4839 0 -1 4202496 3504 0 0 0 68 1 0 0 20 0 1 0 106374969 36904960 2873 33554432000 4194304 6142532 140723814678976 140723814675608 139904139062245 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 26128384 140723814687883 140723814688013 140723814688013 140723814690766 0 /proc/9865/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.50025 s] /proc/loadavg: 2.07 2.02 2.02 3/187 9866 /proc/meminfo: memFree=28125556/32770624 swapFree=67108532/67108860 [pid=9865] ppid=9862 vsize=52644 memory=27700 CPUtime=1.49 cores=1,3,5,7 /proc/9865/stat : 9865 (cosoco) R 9862 9865 4839 0 -1 4202496 8032 0 0 0 148 1 0 0 20 0 1 0 106374969 53907456 6859 33554432000 4194304 6142532 140723814678976 140723814675608 139904139062245 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 26128384 140723814687883 140723814688013 140723814688013 140723814690766 0 /proc/9865/statm: 13161 6859 802 476 0 6483 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 52644 KiB Current children cumulated memory: 27700 KiB [startup+3.10931 s] /proc/loadavg: 2.07 2.02 2.02 3/187 9866 /proc/meminfo: memFree=27988040/32770624 swapFree=67108532/67108860 [pid=9865] ppid=9862 vsize=186120 memory=160944 CPUtime=3.1 cores=1,3,5,7 /proc/9865/stat : 9865 (cosoco) R 9862 9865 4839 0 -1 4202496 41859 0 0 0 305 5 0 0 20 0 1 0 106374969 190586880 40236 33554432000 4194304 6142532 140723814678976 140723814673352 139904139062245 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 26128384 140723814687883 140723814688013 140723814688013 140723814690766 0 /proc/9865/statm: 46530 40236 802 476 0 39852 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 186120 KiB Current children cumulated memory: 160944 KiB [startup+6.30027 s] /proc/loadavg: 1.98 2.00 2.02 3/187 9866 /proc/meminfo: memFree=27739012/32770624 swapFree=67108532/67108860 [pid=9865] ppid=9862 vsize=450664 memory=425548 CPUtime=6.29 cores=1,3,5,7 /proc/9865/stat : 9865 (cosoco) R 9862 9865 4839 0 -1 4202496 108783 0 0 0 612 17 0 0 20 0 1 0 106374969 461479936 106387 33554432000 4194304 6142532 140723814678976 140723814673448 139904139062245 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 26128384 140723814687883 140723814688013 140723814688013 140723814690766 0 /proc/9865/statm: 112666 106387 802 476 0 105988 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 450664 KiB Current children cumulated memory: 425548 KiB [startup+12.7003 s] /proc/loadavg: 2.07 2.02 2.02 3/187 9866 /proc/meminfo: memFree=27240564/32770624 swapFree=67108532/67108860 [pid=9865] ppid=9862 vsize=981404 memory=956036 CPUtime=12.68 cores=1,3,5,7 /proc/9865/stat : 9865 (cosoco) R 9862 9865 4839 0 -1 4202496 242196 0 0 0 1232 36 0 0 20 0 1 0 106374969 1004957696 239009 33554432000 4194304 6142532 140723814678976 140723814673448 139904139062245 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 26128384 140723814687883 140723814688013 140723814688013 140723814690766 0 /proc/9865/statm: 245351 239009 802 476 0 238673 0 Current children cumulated CPU time: 12.68 s Current children cumulated vsize: 981404 KiB Current children cumulated memory: 956036 KiB [startup+25.5004 s] /proc/loadavg: 2.20 2.05 2.04 3/187 9866 /proc/meminfo: memFree=26182828/32770624 swapFree=67108532/67108860 [pid=9865] ppid=9862 vsize=1994052 memory=1970312 CPUtime=25.49 cores=1,3,5,7 /proc/9865/stat : 9865 (cosoco) R 9862 9865 4839 0 -1 4202496 775326 0 0 0 2459 90 0 0 20 0 1 0 106374969 2041909248 492578 33554432000 4194304 6142532 140723814678976 140723814673352 139904139062245 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 26128384 140723814687883 140723814688013 140723814688013 140723814690766 0 /proc/9865/statm: 498513 492578 874 476 0 491835 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 1994052 KiB Current children cumulated memory: 1970312 KiB [startup+51.1099 s] /proc/loadavg: 2.13 2.04 2.04 3/187 9866 /proc/meminfo: memFree=26152544/32770624 swapFree=67108532/67108860 [pid=9865] ppid=9862 vsize=2008412 memory=1984840 CPUtime=51.09 cores=1,3,5,7 /proc/9865/stat : 9865 (cosoco) R 9862 9865 4839 0 -1 4202496 987523 0 0 0 5009 100 0 0 20 0 1 0 106374969 2056613888 496210 33554432000 4194304 6142532 140723814678976 140723814676504 139904149007182 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 26128384 140723814687883 140723814688013 140723814688013 140723814690766 0 /proc/9865/statm: 502103 496210 875 476 0 495425 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 2008412 KiB Current children cumulated memory: 1984840 KiB [startup+102.3 s] /proc/loadavg: 2.14 2.07 2.05 3/187 9927 /proc/meminfo: memFree=26007308/32770624 swapFree=67108532/67108860 [pid=9865] ppid=9862 vsize=2008944 memory=1985424 CPUtime=102.28 cores=1,3,5,7 /proc/9865/stat : 9865 (cosoco) R 9862 9865 4839 0 -1 4202496 1322984 0 0 0 10113 115 0 0 20 0 1 0 106374969 2057158656 496356 33554432000 4194304 6142532 140723814678976 140723814675688 5047869 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 26128384 140723814687883 140723814688013 140723814688013 140723814690766 0 /proc/9865/statm: 502236 496356 875 476 0 495558 0 Current children cumulated CPU time: 102.28 s Current children cumulated vsize: 2008944 KiB Current children cumulated memory: 1985424 KiB [startup+162.3 s] /proc/loadavg: 2.05 2.05 2.05 3/187 9928 /proc/meminfo: memFree=26006332/32770624 swapFree=67108532/67108860 [pid=9865] ppid=9862 vsize=2009080 memory=1985544 CPUtime=162.28 cores=1,3,5,7 /proc/9865/stat : 9865 (cosoco) R 9862 9865 4839 0 -1 4202496 1641175 0 0 0 16098 130 0 0 20 0 1 0 106374969 2057297920 496386 33554432000 4194304 6142532 140723814678976 140723814676504 4991551 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 26128384 140723814687883 140723814688013 140723814688013 140723814690766 0 /proc/9865/statm: 502270 496386 875 476 0 495592 0 Current children cumulated CPU time: 162.28 s Current children cumulated vsize: 2009080 KiB Current children cumulated memory: 1985544 KiB [startup+222.3 s] /proc/loadavg: 2.02 2.04 2.05 3/187 9929 /proc/meminfo: memFree=26005716/32770624 swapFree=67108532/67108860 [pid=9865] ppid=9862 vsize=2009344 memory=1985808 CPUtime=222.28 cores=1,3,5,7 /proc/9865/stat : 9865 (cosoco) R 9862 9865 4839 0 -1 4202496 1938826 0 0 0 22084 144 0 0 20 0 1 0 106374969 2057568256 496452 33554432000 4194304 6142532 140723814678976 140723814666248 5398530 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 26128384 140723814687883 140723814688013 140723814688013 140723814690766 0 /proc/9865/statm: 502336 496452 875 476 0 495658 0 Current children cumulated CPU time: 222.28 s Current children cumulated vsize: 2009344 KiB Current children cumulated memory: 1985808 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252 s]* /proc/loadavg: 2.01 2.04 2.05 3/187 9930 /proc/meminfo: memFree=26005108/32770624 swapFree=67108532/67108860 [pid=9865] ppid=9862 vsize=2009476 memory=1985876 CPUtime=252 cores=1,3,5,7 /proc/9865/stat : 9865 (cosoco) R 9862 9865 4839 0 -1 4202496 2127627 0 0 0 25046 154 0 0 20 0 1 0 106374969 2057703424 496469 33554432000 4194304 6142532 140723814678976 140723814675720 5371842 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 26128384 140723814687883 140723814688013 140723814688013 140723814690766 0 /proc/9865/statm: 502369 496469 875 476 0 495691 0 Current children cumulated CPU time: 252 s Current children cumulated vsize: 2009476 KiB Current children cumulated memory: 1985876 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.103 s] # the end of solver process 9865 was just reported to runsolver # cumulated CPU time of all completed processes: user=250.462 s, system=1.6402 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 252.103 CPU time (s): 252.102 CPU user time (s): 250.462 CPU system time (s): 1.6402 CPU usage (%): 99.9996 Max. virtual memory (cumulated for all children) (KiB): 2009476 Max. memory (cumulated for all children) (KiB): 1985876 getrusage(RUSAGE_CHILDREN,...) data: user time used= 250.462 system time used= 1.6402 maximum resident set size= 1985936 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2127662 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= 67 involuntary context switches= 144 # summary of solver processes directly reported to runsolver: # pid: 9865 # total CPU time (s): 252.102 # total CPU user time (s): 250.462 # total CPU system time (s): 1.6402 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.03397 second user time and 1.8846 second system time The end
Begin job on node104 at 2018-07-29 20:15:18 IDJOB=4301950 IDBENCH=141483 IDSOLVER=2774 FILE ID=node104/4301950-1532888118 RUNJOBID= node104-1532880243-4871 PBS_JOBID= 21022518 Free space on /tmp= 50564 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-4301950-1532888118/watcher-4301950-1532888118 -o /tmp/evaluation-result-4301950-1532888118/solver-4301950-1532888118 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532880243-4871 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301950-1532888118.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 643e62d73285ca0df01da7486f80c5bf RANDOM SEED=1120098208 node104.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.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 : 5333.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 : 5333.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 : 5333.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: 28137256 kB MemAvailable: 31950472 kB Buffers: 179052 kB Cached: 3889016 kB SwapCached: 12 kB Active: 1950632 kB Inactive: 2174252 kB Active(anon): 11384 kB Inactive(anon): 73040 kB Active(file): 1939248 kB Inactive(file): 2101212 kB Unevictable: 7360 kB Mlocked: 7360 kB SwapTotal: 67108860 kB SwapFree: 67108532 kB Dirty: 5912 kB Writeback: 0 kB AnonPages: 66028 kB Mapped: 44544 kB Shmem: 25060 kB Slab: 206076 kB SReclaimable: 177184 kB SUnreclaim: 28892 kB KernelStack: 3440 kB PageTables: 5100 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 355936 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 50560 MiB End job on node104 at 2018-07-29 20:19:30