Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-2.0 2018-06-15 | SAT (TO) | 20391 | 2400.06 | 2400.11 |
Name | TravelingTournament/ TravelingTournament-a3-galaxy16_c18.xml |
MD5SUM | e08ad5e9bb2dce0f9ded0033a126b6aa |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 20855 |
Best CPU time to get the best result obtained on this benchmark | 2520.12 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1936 |
Number of constraints | 8495 |
Number of domains | 3 |
Minimum domain size | 2 |
Maximum domain size | 66 |
Distribution of domain sizes | [{"size":2,"count":960},{"size":16,"count":480},{"size":66,"count":496}] |
Minimum variable degree | 2 |
Maximum variable degree | 50 |
Distribution of variable degrees | [{"degree":2,"count":976},{"degree":47,"count":448},{"degree":48,"count":480},{"degree":49,"count":30},{"degree":50,"count":2}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 30 |
Distribution of constraint arities | [{"arity":2,"count":481},{"arity":3,"count":32},{"arity":4,"count":6496},{"arity":5,"count":464},{"arity":16,"count":510},{"arity":18,"count":480},{"arity":30,"count":32}] |
Number of extensional constraints | 496 |
Number of intensional constraints | 6977 |
Distribution of constraint types | [{"type":"extension","count":496},{"type":"intension","count":6977},{"type":"regular","count":16},{"type":"allDifferent","count":30},{"type":"cardinality","count":16},{"type":"element","count":960}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c Mistral 16062018 8.59/8.68 o 23448 8.59/8.69 o 23356 8.68/8.70 o 23341 8.68/8.71 o 23330 8.68/8.71 o 23277 8.68/8.74 o 23073 8.68/8.75 o 23069 8.68/8.75 o 23064 8.68/8.77 o 23042 8.68/8.77 o 23030 9.58/9.65 o 23025 9.58/9.66 o 23021 9.68/9.71 o 22992 10.10/10.11 o 22900 10.10/10.13 o 22851 10.10/10.15 o 22781 10.10/10.17 o 22706 10.29/10.31 o 22697 10.39/10.45 o 22684 11.20/11.27 o 22672 11.20/11.28 o 22540 11.79/11.87 o 22471 13.59/13.63 o 22398 13.59/13.63 o 22377 13.59/13.64 o 22337 13.69/13.70 o 22307 13.69/13.76 o 22269 13.79/13.81 o 22242 13.99/14.09 o 22226 15.59/15.62 o 22225 15.59/15.63 o 22210 15.59/15.64 o 22138 15.69/15.75 o 21916 15.69/15.76 o 21896 15.69/15.78 o 21867 15.69/15.79 o 21845 15.79/15.80 o 21789 15.89/15.95 o 21760 17.20/17.25 o 21674 25.68/25.76 o 21671 25.89/25.98 o 21594 45.48/45.53 o 21571 45.58/45.63 o 21400 45.78/45.83 o 21374 59.87/59.97 o 21331 166.03/166.11 o 21231 166.03/166.13 o 21145 214.32/214.41 o 21084 273.22/273.38 o 21001 288.62/288.74 o 20994 425.82/425.93 o 20967 449.92/450.01 o 20910 473.92/474.10 o 20887 474.62/474.75 o 20842 614.82/614.91 o 20776 617.62/617.76 o 20710 622.62/622.75 o 20679 640.62/640.77 o 20620 640.62/640.79 o 20610 754.62/754.79 o 20585 754.72/754.81 o 20500 1959.43/1959.50 o 20452 1959.43/1959.58 o 20398 1959.43/1959.59 o 20391 2400.05/2400.11 s SATISFIABLE 2400.05/2400.11 v <instantiation type="solution"> 2400.05/2400.11 v <list> o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][20] o[0][21] o[0][22] o[0][23] o[0][24] o[0][25] o[0][26] o[0][27] o[0][28] o[0][29] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][20] o[1][21] o[1][22] o[1][23] o[1][24] o[1][25] o[1][26] o[1][27] o[1][28] o[1][29] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][20] o[2][21] o[2][22] o[2][23] o[2][24] o[2][25] o[2][26] o[2][27] o[2][28] o[2][29] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][20] o[3][21] o[3][22] o[3][23] o[3][24] o[3][25] o[3][26] o[3][27] o[3][28] o[3][29] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][20] o[4][21] o[4][22] o[4][23] o[4][24] o[4][25] o[4][26] o[4][27] o[4][28] o[4][29] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][20] o[5][21] o[5][22] o[5][23] o[5][24] o[5][25] o[5][26] o[5][27] o[5][28] o[5][29] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][20] o[6][21] o[6][22] o[6][23] o[6][24] o[6][25] o[6][26] o[6][27] o[6][28] o[6][29] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][20] o[7][21] o[7][22] o[7][23] o[7][24] o[7][25] o[7][26] o[7][27] o[7][28] o[7][29] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][20] o[8][21] o[8][22] o[8][23] o[8][24] o[8][25] o[8][26] o[8][27] o[8][28] o[8][29] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][20] o[9][21] o[9][22] o[9][23] o[9][24] o[9][25] o[9][26] o[9][27] o[9][28] o[9][29] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][20] o[10][21] o[10][22] o[10][23] o[10][24] o[10][25] o[10][26] o[10][27] o[10][28] o[10][29] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][20] o[11][21] o[11][22] o[11][23] o[11][24] o[11][25] o[11][26] o[11][27] o[11][28] o[11][29] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[12][15] o[12][16] o[12][17] o[12][18] o[12][19] o[12][20] o[12][21] o[12][22] o[12][23] o[12][24] o[12][25] o[12][26] o[12][27] o[12][28] o[12][29] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[13][15] o[13][16] o[13][17] o[13][18] o[13][19] o[13][20] o[13][21] o[13][22] o[13][23] o[13][24] o[13][25] o[13][26] o[13][27] o[13][28] o[13][29] o[14][0] o[14][1] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[14][15] o[14][16] o[14][17] o[14][18] o[14][19] o[14][20] o[14][21] o[14][22] o[14][23] o[14][24] o[14][25] o[14][26] o[14][27] o[14][28] o[14][29] o[15][0] o[15][1] o[15][2] o[15][3] o[15][4] o[15][5] o[15][6] o[15][7] o[15][8] o[15][9] o[15][10] o[15][11] o[15][12] o[15][13] o[15][14] o[15][15] o[15][16] o[15][17] o[15][18] o[15][19] o[15][20] o[15][21] o[15][22] o[15][23] o[15][24] o[15][25] o[15][26] o[15][27] o[15][28] o[15][29] h[0][0] h[0][1] h[0][2] h[0][3] h[0][4] h[0][5] h[0][6] h[0][7] h[0][8] h[0][9] h[0][10] h[0][11] h[0][12] h[0][13] h[0][14] h[0][15] h[0][16] h[0][17] h[0][18] h[0][19] h[0][20] h[0][21] h[0][22] h[0][23] h[0][24] h[0][25] h[0][26] h[0][27] h[0][28] h[0][29] h[1][0] h[1][1] h[1][2] h[1][3] h[1][4] h[1][5] h[1][6] h[1][7] h[1][8] h[1][9] h[1][10] h[1][11] h[1][12] h[1][13] h[1][14] h[1][15] h[1][16] h[1][17] h[1][18] h[1][19] h[1][20] h[1][21] h[1][22] h[1][23] h[1][24] h[1][25] h[1][26] h[1][27] h[1][28] h[1][29] h[2][0] h[2][1] h[2][2] h[2][3] h[2][4] h[2][5] h[2][6] h[2][7] h[2][8] h[2][9] h[2][10] h[2][11] h[2][12] h[2][13] h[2][14] h[2][15] h[2][16] h[2][17] h[2][18] h[2][19] h[2][20] h[2][21] h[2][22] h[2][23] h[2][24] h[2][25] h[2][26] h[2][27] h[2][28] h[2][29] h[3][0] h[3][1] h[3][2] h[3][3] h[3][4] h[3][5] h[3][6] h[3][7] h[3][8] h[3][9] h[3][10] h[3][11] h[3][12] h[3][13] h[3][14] h[3][15] h[3][16] h[3][17] h[3][18] h[3][19] h[3][20] h[3][21] h[3][22] h[3][23] h[3][24] h[3][25] h[3][26] h[3][27] h[3][28] h[3][29] h[4][0] h[4][1] h[4][2] h[4][3] h[4][4] h[4][5] h[4][6] h[4][7] h[4][8] h[4][9] h[4][10] h[4][11] h[4][12] h[4][13] h[4][14] h[4][15] h[4][16] h[4][17] h[4][18] h[4][19] h[4][20] h[4][21] h[4][22] h[4][23] h[4][24] h[4][25] h[4][26] h[4][27] h[4][28] h[4][29] h[5][0] h[5][1] h[5][2] h[5][3] h[5][4] h[5][5] h[5][6] h[5][7] h[5][8] h[5][9] h[5][10] h[5][11] h[5][12] h[5][13] h[5][14] h[5][15] h[5][16] h[5][17] h[5][18] h[5][19] h[5][20] h[5][21] h[5][22] h[5][23] h[5][24] h[5][25] h[5][26] h[5][27] h[5][28] h[5][29] h[6][0] h[6][1] h[6][2] h[6][3] h[6][4] h[6][5] h[6][6] h[6][7] h[6][8] h[6][9] h[6][10] h[6][11] h[6][12] h[6][13] h[6][14] h[6][15] h[6][16] h[6][17] h[6][18] h[6][19] h[6][20] h[6][21] h[6][22] h[6][23] h[6][24] h[6][25] h[6][26] h[6][27] h[6][28] h[6][29] h[7][0] h[7][1] h[7][2] h[7][3] h[7][4] h[7][5] h[7][6] h[7][7] h[7][8] h[7][9] h[7][10] h[7][11] h[7][12] h[7][13] h[7][14] h[7][15] h[7][16] h[7][17] h[7][18] h[7][19] h[7][20] h[7][21] h[7][22] h[7][23] h[7][24] h[7][25] h[7][26] h[7][27] h[7][28] h[7][29] h[8][0] h[8][1] h[8][2] h[8][3] h[8][4] h[8][5] h[8][6] h[8][7] h[8][8] h[8][9] h[8][10] h[8][11] h[8][12] h[8][13] h[8][14] h[8][15] h[8][16] h[8][17] h[8][18] h[8][19] h[8][20] h[8][21] h[8][22] h[8][23] h[8][24] h[8][25] h[8][26] h[8][27] h[8][28] h[8][29] h[9][0] h[9][1] h[9][2] h[9][3] h[9][4] h[9][5] h[9][6] h[9][7] h[9][8] h[9][9] h[9][10] h[9][11] h[9][12] h[9][13] h[9][14] h[9][15] h[9][16] h[9][17] h[9][18] h[9][19] h[9][20] h[9][21] h[9][22] h[9][23] h[9][24] h[9][25] h[9][26] h[9][27] h[9][28] h[9][29] h[10][0] h[10][1] h[10][2] h[10][3] h[10][4] h[10][5] h[10][6] h[10][7] h[10][8] h[10][9] h[10][10] h[10][11] h[10][12] h[10][13] h[10][14] h[10][15] h[10][16] h[10][17] h[10][18] h[10][19] h[10][20] h[10][21] h[10][22] h[10][23] h[10][24] h[10][25] h[10][26] h[10][27] h[10][28] h[10][29] h[11][0] h[11][1] h[11][2] h[11][3] h[11][4] h[11][5] h[11][6] h[11][7] h[11][8] h[11][9] h[11][10] h[11][11] h[11][12] h[11][13] h[11][14] h[11][15] h[11][16] h[11][17] h[11][18] h[11][19] h[11][20] h[11][21] h[11][22] h[11][23] h[11][24] h[11][25] h[11][26] h[11][27] h[11][28] h[11][29] h[12][0] h[12][1] h[12][2] h[12][3] h[12][4] h[12][5] h[12][6] h[12][7] h[12][8] h[12][9] h[12][10] h[12][11] h[12][12] h[12][13] h[12][14] h[12][15] h[12][16] h[12][17] h[12][18] h[12][19] h[12][20] h[12][21] h[12][22] h[12][23] h[12][24] h[12][25] h[12][26] h[12][27] h[12][28] h[12][29] h[13][0] h[13][1] h[13][2] h[13][3] h[13][4] h[13][5] h[13][6] h[13][7] h[13][8] h[13][9] h[13][10] h[13][11] h[13][12] h[13][13] h[13][14] h[13][15] h[13][16] h[13][17] h[13][18] h[13][19] h[13][20] h[13][21] h[13][22] h[13][23] h[13][24] h[13][25] h[13][26] h[13][27] h[13][28] h[13][29] h[14][0] h[14][1] h[14][2] h[14][3] h[14][4] h[14][5] h[14][6] h[14][7] h[14][8] h[14][9] h[14][10] h[14][11] h[14][12] h[14][13] h[14][14] h[14][15] h[14][16] h[14][17] h[14][18] h[14][19] h[14][20] h[14][21] h[14][22] h[14][23] h[14][24] h[14][25] h[14][26] h[14][27] h[14][28] h[14][29] h[15][0] h[15][1] h[15][2] h[15][3] h[15][4] h[15][5] h[15][6] h[15][7] h[15][8] h[15][9] h[15][10] h[15][11] h[15][12] h[15][13] h[15][14] h[15][15] h[15][16] h[15][17] h[15][18] h[15][19] h[15][20] h[15][21] h[15][22] h[15][23] h[15][24] h[15][25] h[15][26] h[15][27] h[15][28] h[15][29] a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[0][7] a[0][8] a[0][9] a[0][10] a[0][11] a[0][12] a[0][13] a[0][14] a[0][15] a[0][16] a[0][17] a[0][18] a[0][19] a[0][20] a[0][21] a[0][22] a[0][23] a[0][24] a[0][25] a[0][26] a[0][27] a[0][28] a[0][29] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[1][7] a[1][8] a[1][9] a[1][10] a[1][11] a[1][12] a[1][13] a[1][14] a[1][15] a[1][16] a[1][17] a[1][18] a[1][19] a[1][20] a[1][21] a[1][22] a[1][23] a[1][24] a[1][25] a[1][26] a[1][27] a[1][28] a[1][29] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[2][6] a[2][7] a[2][8] a[2][9] a[2][10] a[2][11] a[2][12] a[2][13] a[2][14] a[2][15] a[2][16] a[2][17] a[2][18] a[2][19] a[2][20] a[2][21] a[2][22] a[2][23] a[2][24] a[2][25] a[2][26] a[2][27] a[2][28] a[2][29] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[3][7] a[3][8] a[3][9] a[3][10] a[3][11] a[3][12] a[3][13] a[3][14] a[3][15] a[3][16] a[3][17] a[3][18] a[3][19] a[3][20] a[3][21] a[3][22] a[3][23] a[3][24] a[3][25] a[3][26] a[3][27] a[3][28] a[3][29] a[4][0] a[4][1] a[4][2] a[4][3] a[4][4] a[4][5] a[4][6] a[4][7] a[4][8] a[4][9] a[4][10] a[4][11] a[4][12] a[4][13] a[4][14] a[4][15] a[4][16] a[4][17] a[4][18] a[4][19] a[4][20] a[4][21] a[4][22] a[4][23] a[4][24] a[4][25] a[4][26] a[4][27] a[4][28] a[4][29] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[5][5] a[5][6] a[5][7] a[5][8] a[5][9] a[5][10] a[5][11] a[5][12] a[5][13] a[5][14] a[5][15] a[5][16] a[5][17] a[5][18] a[5][19] a[5][20] a[5][21] a[5][22] a[5][23] a[5][24] a[5][25] a[5][26] a[5][27] a[5][28] a[5][29] a[6][0] a[6][1] a[6][2] a[6][3] a[6][4] a[6][5] a[6][6] a[6][7] a[6][8] a[6][9] a[6][10] a[6][11] a[6][12] a[6][13] a[6][14] a[6][15] a[6][16] a[6][17] a[6][18] a[6][19] a[6][20] a[6][21] a[6][22] a[6][23] a[6][24] a[6][25] a[6][26] a[6][27] a[6][28] a[6][29] a[7][0] a[7][1] a[7][2] a[7][3] a[7][4] a[7][5] a[7][6] a[7][7] a[7][8] a[7][9] a[7][10] a[7][11] a[7][12] a[7][13] a[7][14] a[7][15] a[7][16] a[7][17] a[7][18] a[7][19] a[7][20] a[7][21] a[7][22] a[7][23] a[7][24] a[7][25] a[7][26] a[7][27] a[7][28] a[7][29] a[8][0] a[8][1] a[8][2] a[8][3] a[8][4] a[8][5] a[8][6] a[8][7] a[8][8] a[8][9] a[8][10] a[8][11] a[8][12] a[8][13] a[8][14] a[8][15] a[8][16] a[8][17] a[8][18] a[8][19] a[8][20] a[8][21] a[8][22] a[8][23] a[8][24] a[8][25] a[8][26] a[8][27] a[8][28] a[8][29] a[9][0] a[9][1] a[9][2] a[9][3] a[9][4] a[9][5] a[9][6] a[9][7] a[9][8] a[9][9] a[9][10] a[9][11] a[9][12] a[9][13] a[9][14] a[9][15] a[9][16] a[9][17] a[9][18] a[9][19] a[9][20] a[9][21] a[9][22] a[9][23] a[9][24] a[9][25] a[9][26] a[9][27] a[9][28] a[9][29] a[10][0] a[10][1] a[10][2] a[10][3] a[10][4] a[10][5] a[10][6] a[10][7] a[10][8] a[10][9] a[10][10] a[10][11] a[10][12] a[10][13] a[10][14] a[10][15] a[10][16] a[10][17] a[10][18] a[10][19] a[10][20] a[10][21] a[10][22] a[10][23] a[10][24] a[10][25] a[10][26] a[10][27] a[10][28] a[10][29] a[11][0] a[11][1] a[11][2] a[11][3] a[11][4] a[11][5] a[11][6] a[11][7] a[11][8] a[11][9] a[11][10] a[11][11] a[11][12] a[11][13] a[11][14] a[11][15] a[11][16] a[11][17] a[11][18] a[11][19] a[11][20] a[11][21] a[11][22] a[11][23] a[11][24] a[11][25] a[11][26] a[11][27] a[11][28] a[11][29] a[12][0] a[12][1] a[12][2] a[12][3] a[12][4] a[12][5] a[12][6] a[12][7] a[12][8] a[12][9] a[12][10] a[12][11] a[12][12] a[12][13] a[12][14] a[12][15] a[12][16] a[12][17] a[12][18] a[12][19] a[12][20] a[12][21] a[12][22] a[12][23] a[12][24] a[12][25] a[12][26] a[12][27] a[12][28] a[12][29] a[13][0] a[13][1] a[13][2] a[13][3] a[13][4] a[13][5] a[13][6] a[13][7] a[13][8] a[13][9] a[13][10] a[13][11] a[13][12] a[13][13] a[13][14] a[13][15] a[13][16] a[13][17] a[13][18] a[13][19] a[13][20] a[13][21] a[13][22] a[13][23] a[13][24] a[13][25] a[13][26] a[13][27] a[13][28] a[13][29] a[14][0] a[14][1] a[14][2] a[14][3] a[14][4] a[14][5] a[14][6] a[14][7] a[14][8] a[14][9] a[14][10] a[14][11] a[14][12] a[14][13] a[14][14] a[14][15] a[14][16] a[14][17] a[14][18] a[14][19] a[14][20] a[14][21] a[14][22] a[14][23] a[14][24] a[14][25] a[14][26] a[14][27] a[14][28] a[14][29] a[15][0] a[15][1] a[15][2] a[15][3] a[15][4] a[15][5] a[15][6] a[15][7] a[15][8] a[15][9] a[15][10] a[15][11] a[15][12] a[15][13] a[15][14] a[15][15] a[15][16] a[15][17] a[15][18] a[15][19] a[15][20] a[15][21] a[15][22] a[15][23] a[15][24] a[15][25] a[15][26] a[15][27] a[15][28] a[15][29] t[0][0] t[0][1] t[0][2] t[0][3] t[0][4] t[0][5] t[0][6] t[0][7] t[0][8] t[0][9] t[0][10] t[0][11] t[0][12] t[0][13] t[0][14] t[0][15] t[0][16] t[0][17] t[0][18] t[0][19] t[0][20] t[0][21] t[0][22] t[0][23] t[0][24] t[0][25] t[0][26] t[0][27] t[0][28] t[0][29] t[0][30] t[1][0] t[1][1] t[1][2] t[1][3] t[1][4] t[1][5] t[1][6] t[1][7] t[1][8] t[1][9] t[1][10] t[1][11] t[1][12] t[1][13] t[1][14] t[1][15] t[1][16] t[1][17] t[1][18] t[1][19] t[1][20] t[1][21] t[1][22] t[1][23] t[1][24] t[1][25] t[1][26] t[1][27] t[1][28] t[1][29] t[1][30] t[2][0] t[2][1] t[2][2] t[2][3] t[2][4] t[2][5] t[2][6] t[2][7] t[2][8] t[2][9] t[2][10] t[2][11] t[2][12] t[2][13] t[2][14] t[2][15] t[2][16] t[2][17] t[2][18] t[2][19] t[2][20] t[2][21] t[2][22] t[2][23] t[2][24] t[2][25] t[2][26] t[2][27] t[2][28] t[2][29] t[2][30] t[3][0] t[3][1] t[3][2] t[3][3] t[3][4] t[3][5] t[3][6] t[3][7] t[3][8] t[3][9] t[3][10] t[3][11] t[3][12] t[3][13] t[3][14] t[3][15] t[3][16] t[3][17] t[3][18] t[3][19] t[3][20] t[3][21] t[3][22] t[3][23] t[3][24] t[3][25] t[3][26] t[3][27] t[3][28] t[3][29] t[3][30] t[4][0] t[4][1] t[4][2] t[4][3] t[4][4] t[4][5] t[4][6] t[4][7] t[4][8] t[4][9] t[4][10] t[4][11] t[4][12] t[4][13] t[4][14] t[4][15] t[4][16] t[4][17] t[4][18] t[4][19] t[4][20] t[4][21] t[4][22] t[4][23] t[4][24] t[4][25] t[4][26] t[4][27] t[4][28] t[4][29] t[4][30] t[5][0] t[5][1] t[5][2] t[5][3] t[5][4] t[5][5] t[5][6] t[5][7] t[5][8] t[5][9] t[5][10] t[5][11] t[5][12] t[5][13] t[5][14] t[5][15] t[5][16] t[5][17] t[5][18] t[5][19] t[5][20] t[5][21] t[5][22] t[5][23] t[5][24] t[5][25] t[5][26] t[5][27] t[5][28] t[5][29] t[5][30] t[6][0] t[6][1] t[6][2] t[6][3] t[6][4] t[6][5] t[6][6] t[6][7] t[6][8] t[6][9] t[6][10] t[6][11] t[6][12] t[6][13] t[6][14] t[6][15] t[6][16] t[6][17] t[6][18] t[6][19] t[6][20] t[6][21] t[6][22] t[6][23] t[6][24] t[6][25] t[6][26] t[6][27] t[6][28] t[6][29] t[6][30] t[7][0] t[7][1] t[7][2] t[7][3] t[7][4] t[7][5] t[7][6] t[7][7] t[7][8] t[7][9] t[7][10] t[7][11] t[7][12] t[7][13] t[7][14] t[7][15] t[7][16] t[7][17] t[7][18] t[7][19] t[7][20] t[7][21] t[7][22] t[7][23] t[7][24] t[7][25] t[7][26] t[7][27] t[7][28] t[7][29] t[7][30] t[8][0] t[8][1] t[8][2] t[8][3] t[8][4] t[8][5] t[8][6] t[8][7] t[8][8] t[8][9] t[8][10] t[8][11] t[8][12] t[8][13] t[8][14] t[8][15] t[8][16] t[8][17] t[8][18] t[8][19] t[8][20] t[8][21] t[8][22] t[8][23] t[8][24] t[8][25] t[8][26] t[8][27] t[8][28] t[8][29] t[8][30] t[9][0] t[9][1] t[9][2] t[9][3] t[9][4] t[9][5] t[9][6] t[9][7] t[9][8] t[9][9] t[9][10] t[9][11] t[9][12] t[9][13] t[9][14] t[9][15] t[9][16] t[9][17] t[9][18] t[9][19] t[9][20] t[9][21] t[9][22] t[9][23] t[9][24] t[9][25] t[9][26] t[9][27] t[9][28] t[9][29] t[9][30] t[10][0] t[10][1] t[10][2] t[10][3] t[10][4] t[10][5] t[10][6] t[10][7] t[10][8] t[10][9] t[10][10] t[10][11] t[10][12] t[10][13] t[10][14] t[10][15] t[10][16] t[10][17] t[10][18] t[10][19] t[10][20] t[10][21] t[10][22] t[10][23] t[10][24] t[10][25] t[10][26] t[10][27] t[10][28] t[10][29] t[10][30] t[11][0] t[11][1] t[11][2] t[11][3] t[11][4] t[11][5] t[11][6] t[11][7] t[11][8] t[11][9] t[11][10] t[11][11] t[11][12] t[11][13] t[11][14] t[11][15] t[11][16] t[11][17] t[11][18] t[11][19] t[11][20] t[11][21] t[11][22] t[11][23] t[11][24] t[11][25] t[11][26] t[11][27] t[11][28] t[11][29] t[11][30] t[12][0] t[12][1] t[12][2] t[12][3] t[12][4] t[12][5] t[12][6] t[12][7] t[12][8] t[12][9] t[12][10] t[12][11] t[12][12] t[12][13] t[12][14] t[12][15] t[12][16] t[12][17] t[12][18] t[12][19] t[12][20] t[12][21] t[12][22] t[12][23] t[12][24] t[12][25] t[12][26] t[12][27] t[12][28] t[12][29] t[12][30] t[13][0] t[13][1] t[13][2] t[13][3] t[13][4] t[13][5] t[13][6] t[13][7] t[13][8] t[13][9] t[13][10] t[13][11] t[13][12] t[13][13] t[13][14] t[13][15] t[13][16] t[13][17] t[13][18] t[13][19] t[13][20] t[13][21] t[13][22] t[13][23] t[13][24] t[13][25] t[13][26] t[13][27] t[13][28] t[13][29] t[13][30] t[14][0] t[14][1] t[14][2] t[14][3] t[14][4] t[14][5] t[14][6] t[14][7] t[14][8] t[14][9] t[14][10] t[14][11] t[14][12] t[14][13] t[14][14] t[14][15] t[14][16] t[14][17] t[14][18] t[14][19] t[14][20] t[14][21] t[14][22] t[14][23] t[14][24] t[14][25] t[14][26] t[14][27] t[14][28] t[14][29] t[14][30] t[15][0] t[15][1] t[15][2] t[15][3] t[15][4] t[15][5] t[15][6] t[15][7] t[15][8] t[15][9] t[15][10] t[15][11] t[15][12] t[15][13] t[15][14] t[15][15] t[15][16] t[15][17] t[15][18] t[15][19] t[15][20] t[15][21] t[15][22] t[15][23] t[15][24] t[15][25] t[15][26] t[15][27] t[15][28] t[15][29] t[15][30] </list> 2400.05/2400.11 v <values> 2 9 15 9 4 7 11 8 5 8 15 13 10 14 7 6 4 2 3 5 3 13 10 1 12 6 1 11 14 12 4 11 10 15 2 4 9 5 13 6 10 6 8 2 8 5 15 14 14 7 9 11 12 0 7 12 0 3 13 3 0 7 7 11 1 10 6 13 4 3 4 5 12 1 9 15 11 0 8 6 13 9 3 15 10 14 12 14 8 5 6 12 9 6 11 11 10 14 14 2 9 10 5 8 12 13 7 7 0 4 0 8 2 13 15 15 5 1 4 1 1 6 5 13 0 1 5 15 2 14 2 12 14 11 6 9 0 10 10 3 12 15 13 7 8 9 11 7 3 8 10 13 4 8 8 15 4 1 0 13 14 2 3 9 14 1 6 6 7 0 7 12 9 10 11 11 3 15 12 2 3 4 8 3 15 12 2 10 9 1 8 1 9 7 4 0 5 5 11 2 15 14 7 12 14 0 10 13 11 13 11 2 2 12 14 0 14 12 8 11 13 15 13 6 0 8 3 3 5 1 5 10 6 4 1 10 9 4 15 9 9 15 6 5 5 13 12 0 7 0 6 11 1 3 1 7 9 12 2 14 10 3 11 14 4 13 15 10 2 4 8 0 3 0 13 14 1 11 6 15 3 14 6 5 2 4 8 15 12 10 1 2 5 11 13 4 7 12 10 7 5 14 1 14 12 2 3 6 15 12 1 3 0 15 13 11 13 4 4 9 8 7 0 5 2 7 6 8 9 11 7 1 14 2 3 3 0 9 12 7 12 8 15 4 15 10 2 13 6 13 14 1 8 9 5 5 4 0 6 10 15 3 13 7 10 6 8 7 11 10 11 4 2 13 3 14 14 8 9 15 4 5 1 6 0 1 2 9 5 0 14 5 12 4 9 8 15 2 1 5 7 0 7 12 10 3 10 11 15 11 2 0 4 3 9 8 14 6 1 6 13 10 11 10 7 9 7 3 3 4 5 9 4 0 5 12 12 1 1 8 11 6 15 8 6 2 13 2 0 15 12 8 0 1 6 5 13 4 10 9 0 7 11 10 11 2 1 9 13 12 6 4 14 2 3 3 8 5 7 14 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 0 0 1 0 0 1 1 0 1 1 1 0 1 0 0 1 0 0 0 1 0 1 1 1 0 1 1 1 0 0 0 1 1 0 1 0 1 0 0 0 1 1 0 0 1 1 1 0 1 0 0 0 1 1 0 0 0 1 1 1 0 0 0 1 1 0 0 1 1 1 0 0 1 0 1 0 0 0 1 1 0 1 1 0 1 1 0 1 1 1 0 0 1 1 1 0 0 0 1 1 0 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 0 0 1 0 1 1 0 1 0 1 1 0 1 1 0 0 0 1 0 1 0 0 0 1 1 1 0 0 1 1 1 0 0 0 1 1 0 1 1 0 1 1 0 0 1 1 0 0 0 1 0 0 0 1 1 1 0 1 1 1 0 0 0 1 1 0 1 0 0 0 1 1 0 0 0 1 1 1 0 1 0 1 1 1 0 0 0 1 0 0 0 1 1 1 0 1 0 0 0 1 0 0 0 1 1 0 1 1 1 0 1 1 1 0 0 1 1 0 0 0 1 0 0 1 1 1 0 0 0 1 1 0 1 0 1 0 0 1 1 1 0 1 1 1 0 0 1 0 0 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 1 1 0 0 0 1 1 0 0 1 0 1 1 1 0 1 0 0 0 1 1 1 0 0 0 1 1 1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 0 1 1 1 0 0 0 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 0 0 1 0 0 0 1 0 1 1 0 0 0 1 1 0 0 1 0 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 1 1 1 0 0 0 1 1 0 1 0 1 0 0 0 1 1 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 0 1 0 1 1 1 0 0 0 1 1 1 0 1 1 0 0 0 1 0 0 0 1 0 1 1 1 0 1 1 1 0 0 1 1 1 0 1 0 0 1 1 1 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 1 0 1 1 0 0 1 0 0 0 1 0 1 1 0 1 1 1 0 1 0 0 0 1 0 0 0 1 1 1 0 0 1 0 1 0 1 1 1 0 0 1 1 0 0 0 1 0 1 1 1 0 0 1 1 1 0 0 0 1 1 1 0 0 1 1 0 0 0 1 1 0 1 0 1 1 1 0 0 1 0 0 1 0 0 1 0 0 0 1 1 0 0 0 1 1 1 0 0 1 1 0 1 1 1 0 0 0 1 0 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 0 1 0 0 1 1 1 0 1 0 1 1 1 0 0 0 1 1 0 0 0 1 1 1 0 0 1 0 0 1 0 0 1 1 0 0 1 1 1 0 1 1 1 0 0 0 1 0 0 0 1 1 1 0 0 1 0 1 1 1 0 0 1 1 1 0 0 0 1 0 1 0 0 0 1 1 1 0 1 1 1 0 0 0 1 0 1 1 1 0 1 1 1 0 0 1 0 0 0 1 0 0 0 1 1 0 0 1 1 1 0 1 1 0 0 0 1 1 1 0 0 1 0 1 0 1 1 0 0 0 1 0 0 0 1 1 0 1 1 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 0 0 1 1 1 0 0 1 1 0 1 0 0 0 1 0 1 1 1 0 0 0 1 1 1 0 0 0 1 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 1 0 0 0 1 1 1 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 1 1 0 1 1 1 0 1 0 0 1 1 1 0 0 1 1 0 1 0 0 0 0 1 1 1 0 0 1 1 1 0 0 1 0 0 0 1 1 1 0 0 1 0 1 0 1 1 1 0 0 1 1 1 0 1 0 0 1 0 1 1 1 0 1 0 1 0 1 0 0 0 1 1 1 0 0 0 1 0 0 1 1 1 0 1 1 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 1 0 1 1 0 0 0 1 1 15 15 0 51 51 0 55 69 48 0 59 32 59 0 44 59 18 36 34 41 39 0 55 55 0 0 10 10 59 27 57 0 64 10 39 68 31 31 0 0 39 39 0 0 22 53 42 40 0 53 53 43 43 55 57 44 44 0 32 50 64 0 0 0 56 56 22 65 75 56 0 47 51 35 50 0 0 59 45 55 15 0 61 93 49 0 0 56 27 48 53 53 0 47 88 30 67 0 66 66 0 72 72 0 69 69 0 0 50 41 14 0 0 34 48 53 47 0 63 69 41 51 31 32 31 31 0 0 36 36 35 69 59 45 0 73 27 70 18 18 0 74 74 51 51 0 91 91 0 55 105 67 64 21 21 0 75 91 21 42 0 0 40 10 39 0 0 41 67 17 93 0 27 27 0 48 48 0 51 10 44 0 69 97 48 50 0 18 21 68 47 0 0 75 75 0 0 39 43 79 59 0 27 27 70 58 59 91 0 88 27 59 44 0 0 92 92 0 56 56 0 0 44 59 27 90 67 69 32 57 0 0 81 81 14 41 40 44 69 75 18 64 0 79 79 0 0 0 68 68 0 0 42 75 104 0 81 44 44 31 46 32 68 0 0 81 48 56 84 0 69 69 21 21 97 39 73 0 0 0 51 51 0 0 17 53 43 69 91 63 67 0 0 49 45 21 68 30 30 0 0 81 44 69 93 0 0 103 69 79 51 51 0 111 27 101 69 69 0 0 65 65 55 59 32 66 0 0 74 55 68 73 0 0 55 56 59 75 0 10 10 67 67 0 58 47 66 0 105 30 105 0 69 69 70 90 39 10 0 0 69 91 53 64 0 0 44 44 55 44 70 0 0 0 0 90 90 88 31 81 0 101 10 105 48 61 50 80 27 27 0 97 90 35 94 0 57 10 55 30 30 0 0 0 0 90 73 55 93 0 61 22 40 75 0 41 41 0 0 66 10 45 32 0 59 59 50 50 104 84 83 92 0 0 91 66 10 113 82 82 0 72 72 70 35 81 17 59 59 27 27 53 53 0 0 83 91 97 84 0 0 56 56 0 0 97 81 48 59 91 27 75 32 39 39 0 0 45 45 0 0 68 43 103 0 0 90 90 59 47 63 0 0 57 82 105 </values> 2400.05/2400.11 v </instantiation>
OK 20391
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 (10387 MiB free) memory of node 1: 16384 MiB (10962 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289638-1532202761/watcher-4289638-1532202761 -o /tmp/evaluation-result-4289638-1532202761/solver-4289638-1532202761 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532190501-26626 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1812862883 HOME/instance-4289638-1532202761.xml running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=28918, runsolver pid=28915 [startup+0.100164 s]* /proc/loadavg: 2.00 2.01 2.04 3/188 28919 /proc/meminfo: memFree=21842912/32770624 swapFree=67108860/67108860 [pid=28918] ppid=28915 vsize=48628 memory=23268 CPUtime=0.09 cores=1,3,5,7 /proc/28918/stat : 28918 (MistralXCSP) R 28915 28918 26594 0 -1 4202496 6284 0 0 0 9 0 0 0 20 0 1 0 37839259 49795072 5817 33554432000 4194304 7498468 140731489378144 140731489375144 4564424 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 39587840 140731489383533 140731489383683 140731489383683 140731489386441 0 /proc/28918/statm: 12157 5817 716 807 0 5148 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 48628 KiB Current children cumulated memory: 23268 KiB [startup+0.209729 s]* /proc/loadavg: 2.00 2.01 2.04 3/188 28919 /proc/meminfo: memFree=21839192/32770624 swapFree=67108860/67108860 [pid=28918] ppid=28915 vsize=51360 memory=26172 CPUtime=0.21 cores=1,3,5,7 /proc/28918/stat : 28918 (MistralXCSP) R 28915 28918 26594 0 -1 4202496 7004 0 0 0 20 1 0 0 20 0 1 0 37839259 52592640 6543 33554432000 4194304 7498468 140731489378144 140731489368824 4564424 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 39587840 140731489383533 140731489383683 140731489383683 140731489386441 0 /proc/28918/statm: 12840 6543 730 807 0 5831 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 51360 KiB Current children cumulated memory: 26172 KiB [startup+0.309456 s]* /proc/loadavg: 2.00 2.01 2.04 3/188 28919 /proc/meminfo: memFree=21832496/32770624 swapFree=67108860/67108860 [pid=28918] ppid=28915 vsize=57784 memory=32508 CPUtime=0.31 cores=1,3,5,7 /proc/28918/stat : 28918 (MistralXCSP) R 28915 28918 26594 0 -1 4202496 8589 0 0 0 30 1 0 0 20 0 1 0 37839259 59170816 8127 33554432000 4194304 7498468 140731489378144 140731489368824 6008173 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 39587840 140731489383533 140731489383683 140731489383683 140731489386441 0 /proc/28918/statm: 14446 8127 730 807 0 7437 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 57784 KiB Current children cumulated memory: 32508 KiB [startup+0.70032 s] /proc/loadavg: 2.00 2.01 2.04 3/188 28919 /proc/meminfo: memFree=21830264/32770624 swapFree=67108860/67108860 [pid=28918] ppid=28915 vsize=67852 memory=42348 CPUtime=0.69 cores=1,3,5,7 /proc/28918/stat : 28918 (MistralXCSP) R 28915 28918 26594 0 -1 4202496 10923 0 0 0 68 1 0 0 20 0 1 0 37839259 69480448 10587 33554432000 4194304 7498468 140731489378144 140731489368824 5900145 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 39587840 140731489383533 140731489383683 140731489383683 140731489386441 0 /proc/28918/statm: 16963 10587 730 807 0 9954 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 67852 KiB Current children cumulated memory: 42348 KiB [startup+1.50028 s] /proc/loadavg: 2.00 2.01 2.04 4/188 28919 /proc/meminfo: memFree=21813832/32770624 swapFree=67108860/67108860 [pid=28918] ppid=28915 vsize=89568 memory=64300 CPUtime=1.48 cores=1,3,5,7 /proc/28918/stat : 28918 (MistralXCSP) R 28915 28918 26594 0 -1 4202496 16417 0 0 0 147 1 0 0 20 0 1 0 37839259 91717632 16075 33554432000 4194304 7498468 140731489378144 140731489368824 4564424 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 39587840 140731489383533 140731489383683 140731489383683 140731489386441 0 /proc/28918/statm: 22392 16075 730 807 0 15383 0 Current children cumulated CPU time: 1.48 s Current children cumulated vsize: 89568 KiB Current children cumulated memory: 64300 KiB [startup+3.10955 s] /proc/loadavg: 2.00 2.01 2.04 4/188 28919 /proc/meminfo: memFree=21756916/32770624 swapFree=67108860/67108860 [pid=28918] ppid=28915 vsize=133880 memory=108632 CPUtime=3.1 cores=1,3,5,7 /proc/28918/stat : 28918 (MistralXCSP) R 28915 28918 26594 0 -1 4202496 39049 0 0 0 307 3 0 0 20 0 1 0 37839259 137093120 27158 33554432000 4194304 7498468 140731489378144 140731489369048 6002856 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 39587840 140731489383533 140731489383683 140731489383683 140731489386441 0 /proc/28918/statm: 33470 27158 730 807 0 26461 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 133880 KiB Current children cumulated memory: 108632 KiB [startup+6.30037 s] /proc/loadavg: 2.00 2.01 2.04 3/188 28919 /proc/meminfo: memFree=21624112/32770624 swapFree=67108860/67108860 [pid=28918] ppid=28915 vsize=266376 memory=241432 CPUtime=6.29 cores=1,3,5,7 /proc/28918/stat : 28918 (MistralXCSP) R 28915 28918 26594 0 -1 4202496 109066 0 0 0 621 8 0 0 20 0 1 0 37839259 272769024 60358 33554432000 4194304 7498468 140731489378144 140731489372680 5570592 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 39587840 140731489383533 140731489383683 140731489383683 140731489386441 0 /proc/28918/statm: 66594 60358 781 807 0 59585 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 266376 KiB Current children cumulated memory: 241432 KiB [startup+12.7004 s] /proc/loadavg: 2.00 2.01 2.04 3/188 28919 /proc/meminfo: memFree=21621260/32770624 swapFree=67108860/67108860 [pid=28918] ppid=28915 vsize=269176 memory=244124 CPUtime=12.69 cores=1,3,5,7 /proc/28918/stat : 28918 (MistralXCSP) R 28915 28918 26594 0 -1 4202496 153068 0 0 0 1258 11 0 0 20 0 1 0 37839259 275636224 61031 33554432000 4194304 7498468 140731489378144 140731489373160 4397927 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 39587840 140731489383533 140731489383683 140731489383683 140731489386441 0 /proc/28918/statm: 67294 61031 784 807 0 60285 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 269176 KiB Current children cumulated memory: 244124 KiB [startup+25.5004 s] /proc/loadavg: 2.00 2.01 2.04 3/188 28919 /proc/meminfo: memFree=21620640/32770624 swapFree=67108860/67108860 [pid=28918] ppid=28915 vsize=269572 memory=244516 CPUtime=25.48 cores=1,3,5,7 /proc/28918/stat : 28918 (MistralXCSP) R 28915 28918 26594 0 -1 4202496 238653 0 0 0 2534 14 0 0 20 0 1 0 37839259 276041728 61129 33554432000 4194304 7498468 140731489378144 140731489372424 5791462 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 39587840 140731489383533 140731489383683 140731489383683 140731489386441 0 /proc/28918/statm: 67393 61129 784 807 0 60384 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 269572 KiB Current children cumulated memory: 244516 KiB [startup+51.1004 s]* /proc/loadavg: 2.00 2.01 2.04 3/188 28919 /proc/meminfo: memFree=21619060/32770624 swapFree=67108860/67108860 [pid=28918] ppid=28915 vsize=269704 memory=244668 CPUtime=51.09 cores=1,3,5,7 /proc/28918/stat : 28918 (MistralXCSP) R 28915 28918 26594 0 -1 4202496 283730 0 0 0 5092 17 0 0 20 0 1 0 37839259 276176896 61167 33554432000 4194304 7498468 140731489378144 140731489373160 4252688 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 39587840 140731489383533 140731489383683 140731489383683 140731489386441 0 /proc/28918/statm: 67426 61167 784 807 0 60417 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 269704 KiB Current children cumulated memory: 244668 KiB [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.04 3/188 28920 /proc/meminfo: memFree=21620148/32770624 swapFree=67108860/67108860 [pid=28918] ppid=28915 vsize=269704 memory=244756 CPUtime=102.25 cores=1,3,5,7 /proc/28918/stat : 28918 (MistralXCSP) R 28915 28918 26594 0 -1 4202496 315692 0 0 0 10207 18 0 0 20 0 1 0 37839259 276176896 61189 33554432000 4194304 7498468 140731489378144 140731489373160 4266808 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 39587840 140731489383533 140731489383683 140731489383683 140731489386441 0 /proc/28918/statm: 67426 61189 784 807 0 60417 0 Current children cumulated CPU time: 102.25 s Current children cumulated vsize: 269704 KiB Current children cumulated memory: 244756 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.04 3/187 28922 /proc/meminfo: memFree=21620196/32770624 swapFree=67108860/67108860 [pid=28918] ppid=28915 vsize=269968 memory=244900 CPUtime=162.22 cores=1,3,5,7 /proc/28918/stat : 28918 (MistralXCSP) R 28915 28918 26594 0 -1 4202496 328161 0 0 0 16203 19 0 0 20 0 1 0 37839259 276447232 61225 33554432000 4194304 7498468 140731489378144 140731489372680 5791446 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 39587840 140731489383533 140731489383683 140731489383683 140731489386441 0 /proc/28918/statm: 67492 61225 784 807 0 60483 0 Current children cumulated CPU time: 162.22 s Current children cumulated vsize: 269968 KiB Current children cumulated memory: 244900 KiB [startup+222.3 s] /proc/loadavg: 2.35 2.13 2.08 3/187 28923 /proc/meminfo: memFree=21620072/32770624 swapFree=67108860/67108860 [pid=28918] ppid=28915 vsize=269968 memory=245000 CPUtime=222.22 cores=1,3,5,7 /proc/28918/stat : 28918 (MistralXCSP) R 28915 28918 26594 0 -1 4202496 330983 0 0 0 22202 20 0 0 20 0 1 0 37839259 276447232 61250 33554432000 4194304 7498468 140731489378144 140731489373160 4404919 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 39587840 140731489383533 140731489383683 140731489383683 140731489386441 0 /proc/28918/statm: 67492 61250 784 807 0 60483 0 Current children cumulated CPU time: 222.22 s Current children cumulated vsize: 269968 KiB Current children cumulated memory: 245000 KiB [startup+282.3 s] /proc/loadavg: 2.22 2.13 2.09 3/187 28924 /proc/meminfo: memFree=21620396/32770624 swapFree=67108860/67108860 [pid=28918] ppid=28915 vsize=270100 memory=245044 CPUtime=282.22 cores=1,3,5,7 /proc/28918/stat : 28918 (MistralXCSP) R 28915 28918 26594 0 -1 4202496 332194 0 0 0 28202 20 0 0 20 0 1 0 37839259 276582400 61261 33554432000 4194304 7498468 140731489378144 140731489373160 5791406 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 39587840 140731489383533 140731489383683 140731489383683 140731489386441 0 /proc/28918/statm: 67525 61261 784 807 0 60516 0 Current children cumulated CPU time: 282.22 s Current children cumulated vsize: 270100 KiB Current children cumulated memory: 245044 KiB [startup+342.3 s] /proc/loadavg: 2.11 2.12 2.09 3/187 28926 /proc/meminfo: memFree=21620680/32770624 swapFree=67108860/67108860 [pid=28918] ppid=28915 vsize=270100 memory=245060 CPUtime=342.22 cores=1,3,5,7 /proc/28918/stat : 28918 (MistralXCSP) R 28915 28918 26594 0 -1 4202496 332683 0 0 0 34202 20 0 0 20 0 1 0 37839259 276582400 61265 33554432000 4194304 7498468 140731489378144 140731489373160 5838457 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 39587840 140731489383533 140731489383683 140731489383683 140731489386441 0 /proc/28918/statm: 67525 61265 784 807 0 60516 0 Current children cumulated CPU time: 342.22 s Current children cumulated vsize: 270100 KiB Current children cumulated memory: 245060 KiB [startup+402.3 s] /proc/loadavg: 2.08 2.11 2.08 3/187 28927 /proc/meminfo: memFree=21620992/32770624 swapFree=67108860/67108860 [pid=28918] ppid=28915 vsize=270100 memory=245076 CPUtime=402.22 cores=1,3,5,7 /proc/28918/stat : 28918 (MistralXCSP) R 28915 28918 26594 0 -1 4202496 333772 0 0 0 40202 20 0 0 20 0 1 0 37839259 276582400 61269 33554432000 4194304 7498468 140731489378144 140731489373160 4397952 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 39587840 140731489383533 140731489383683 140731489383683 140731489386441 0 /proc/28918/statm: 67525 61269 784 807 0 60516 0 Current children cumulated CPU time: 402.22 s Current children cumulated vsize: 270100 KiB Current children cumulated memory: 245076 KiB [startup+462.3 s] /proc/loadavg: 2.03 2.09 2.08 3/188 28936 /proc/meminfo: memFree=21620600/32770624 swapFree=67108860/67108860 [pid=28918] ppid=28915 vsize=270100 memory=245084 CPUtime=462.22 cores=1,3,5,7 /proc/28918/stat : 28918 (MistralXCSP) R 28915 28918 26594 0 -1 4202496 334988 0 0 0 46202 20 0 0 20 0 1 0 37839259 276582400 61271 33554432000 4194304 7498468 140731489378144 140731489373160 5773657 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 39587840 140731489383533 140731489383683 140731489383683 140731489386441 0 /proc/28918/statm: 67525 61271 784 807 0 60516 0 Current children cumulated CPU time: 462.22 s Current children cumulated vsize: 270100 KiB Current children cumulated memory: 245084 KiB ################ # More data... # ################ /proc/28918/statm: 67624 61362 784 807 0 60615 0 Current children cumulated CPU time: 1602.23 s Current children cumulated vsize: 270496 KiB Current children cumulated memory: 245448 KiB [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 28994 /proc/meminfo: memFree=21618612/32770624 swapFree=67108860/67108860 [pid=28918] ppid=28915 vsize=270496 memory=245460 CPUtime=1662.23 cores=1,3,5,7 /proc/28918/stat : 28918 (MistralXCSP) R 28915 28918 26594 0 -1 4202496 347790 0 0 0 166202 21 0 0 20 0 1 0 37839259 276987904 61365 33554432000 4194304 7498468 140731489378144 140731489372680 5701247 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 39587840 140731489383533 140731489383683 140731489383683 140731489386441 0 /proc/28918/statm: 67624 61365 784 807 0 60615 0 Current children cumulated CPU time: 1662.23 s Current children cumulated vsize: 270496 KiB Current children cumulated memory: 245460 KiB [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 28995 /proc/meminfo: memFree=21619392/32770624 swapFree=67108860/67108860 [pid=28918] ppid=28915 vsize=270496 memory=245468 CPUtime=1722.23 cores=1,3,5,7 /proc/28918/stat : 28918 (MistralXCSP) R 28915 28918 26594 0 -1 4202496 348311 0 0 0 172202 21 0 0 20 0 1 0 37839259 276987904 61367 33554432000 4194304 7498468 140731489378144 140731489372680 5791454 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 39587840 140731489383533 140731489383683 140731489383683 140731489386441 0 /proc/28918/statm: 67624 61367 784 807 0 60615 0 Current children cumulated CPU time: 1722.23 s Current children cumulated vsize: 270496 KiB Current children cumulated memory: 245468 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 28996 /proc/meminfo: memFree=21619932/32770624 swapFree=67108860/67108860 [pid=28918] ppid=28915 vsize=270496 memory=245472 CPUtime=1782.23 cores=1,3,5,7 /proc/28918/stat : 28918 (MistralXCSP) R 28915 28918 26594 0 -1 4202496 348832 0 0 0 178202 21 0 0 20 0 1 0 37839259 276987904 61368 33554432000 4194304 7498468 140731489378144 140731489372680 4253243 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 39587840 140731489383533 140731489383683 140731489383683 140731489386441 0 /proc/28918/statm: 67624 61368 784 807 0 60615 0 Current children cumulated CPU time: 1782.23 s Current children cumulated vsize: 270496 KiB Current children cumulated memory: 245472 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 28997 /proc/meminfo: memFree=21619928/32770624 swapFree=67108860/67108860 [pid=28918] ppid=28915 vsize=270496 memory=245476 CPUtime=1842.23 cores=1,3,5,7 /proc/28918/stat : 28918 (MistralXCSP) R 28915 28918 26594 0 -1 4202496 349358 0 0 0 184202 21 0 0 20 0 1 0 37839259 276987904 61369 33554432000 4194304 7498468 140731489378144 140731489372680 4580687 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 39587840 140731489383533 140731489383683 140731489383683 140731489386441 0 /proc/28918/statm: 67624 61369 784 807 0 60615 0 Current children cumulated CPU time: 1842.23 s Current children cumulated vsize: 270496 KiB Current children cumulated memory: 245476 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 28998 /proc/meminfo: memFree=21620156/32770624 swapFree=67108860/67108860 [pid=28918] ppid=28915 vsize=270496 memory=245480 CPUtime=1902.23 cores=1,3,5,7 /proc/28918/stat : 28918 (MistralXCSP) R 28915 28918 26594 0 -1 4202496 349884 0 0 0 190202 21 0 0 20 0 1 0 37839259 276987904 61370 33554432000 4194304 7498468 140731489378144 140731489372680 5791638 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 39587840 140731489383533 140731489383683 140731489383683 140731489386441 0 /proc/28918/statm: 67624 61370 784 807 0 60615 0 Current children cumulated CPU time: 1902.23 s Current children cumulated vsize: 270496 KiB Current children cumulated memory: 245480 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 29000 /proc/meminfo: memFree=21619716/32770624 swapFree=67108860/67108860 [pid=28918] ppid=28915 vsize=270496 memory=245488 CPUtime=1962.23 cores=1,3,5,7 /proc/28918/stat : 28918 (MistralXCSP) R 28915 28918 26594 0 -1 4202496 351202 0 0 0 196202 21 0 0 20 0 1 0 37839259 276987904 61372 33554432000 4194304 7498468 140731489378144 140731489373160 4545802 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 39587840 140731489383533 140731489383683 140731489383683 140731489386441 0 /proc/28918/statm: 67624 61372 784 807 0 60615 0 Current children cumulated CPU time: 1962.23 s Current children cumulated vsize: 270496 KiB Current children cumulated memory: 245488 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 29001 /proc/meminfo: memFree=21620136/32770624 swapFree=67108860/67108860 [pid=28918] ppid=28915 vsize=270496 memory=245500 CPUtime=2022.24 cores=1,3,5,7 /proc/28918/stat : 28918 (MistralXCSP) R 28915 28918 26594 0 -1 4202496 351744 0 0 0 202202 22 0 0 20 0 1 0 37839259 276987904 61375 33554432000 4194304 7498468 140731489378144 140731489373160 5791450 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 39587840 140731489383533 140731489383683 140731489383683 140731489386441 0 /proc/28918/statm: 67624 61375 784 807 0 60615 0 Current children cumulated CPU time: 2022.24 s Current children cumulated vsize: 270496 KiB Current children cumulated memory: 245500 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 29002 /proc/meminfo: memFree=21620088/32770624 swapFree=67108860/67108860 [pid=28918] ppid=28915 vsize=270496 memory=245512 CPUtime=2082.24 cores=1,3,5,7 /proc/28918/stat : 28918 (MistralXCSP) R 28915 28918 26594 0 -1 4202496 352282 0 0 0 208202 22 0 0 20 0 1 0 37839259 276987904 61378 33554432000 4194304 7498468 140731489378144 140731489373160 5773663 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 39587840 140731489383533 140731489383683 140731489383683 140731489386441 0 /proc/28918/statm: 67624 61378 784 807 0 60615 0 Current children cumulated CPU time: 2082.24 s Current children cumulated vsize: 270496 KiB Current children cumulated memory: 245512 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 29004 /proc/meminfo: memFree=21619412/32770624 swapFree=67108860/67108860 [pid=28918] ppid=28915 vsize=270496 memory=245524 CPUtime=2142.24 cores=1,3,5,7 /proc/28918/stat : 28918 (MistralXCSP) R 28915 28918 26594 0 -1 4202496 352824 0 0 0 214202 22 0 0 20 0 1 0 37839259 276987904 61381 33554432000 4194304 7498468 140731489378144 140731489373160 5840475 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 39587840 140731489383533 140731489383683 140731489383683 140731489386441 0 /proc/28918/statm: 67624 61381 784 807 0 60615 0 Current children cumulated CPU time: 2142.24 s Current children cumulated vsize: 270496 KiB Current children cumulated memory: 245524 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 29005 /proc/meminfo: memFree=21619044/32770624 swapFree=67108860/67108860 [pid=28918] ppid=28915 vsize=270496 memory=245524 CPUtime=2202.24 cores=1,3,5,7 /proc/28918/stat : 28918 (MistralXCSP) R 28915 28918 26594 0 -1 4202496 353353 0 0 0 220202 22 0 0 20 0 1 0 37839259 276987904 61381 33554432000 4194304 7498468 140731489378144 140731489373160 4378930 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 39587840 140731489383533 140731489383683 140731489383683 140731489386441 0 /proc/28918/statm: 67624 61381 784 807 0 60615 0 Current children cumulated CPU time: 2202.24 s Current children cumulated vsize: 270496 KiB Current children cumulated memory: 245524 KiB [startup+2262.3 s] /proc/loadavg: 2.05 2.03 2.05 3/188 29014 /proc/meminfo: memFree=21618800/32770624 swapFree=67108860/67108860 [pid=28918] ppid=28915 vsize=270496 memory=245528 CPUtime=2262.24 cores=1,3,5,7 /proc/28918/stat : 28918 (MistralXCSP) R 28915 28918 26594 0 -1 4202496 353626 0 0 0 226202 22 0 0 20 0 1 0 37839259 276987904 61382 33554432000 4194304 7498468 140731489378144 140731489373160 4252690 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 39587840 140731489383533 140731489383683 140731489383683 140731489386441 0 /proc/28918/statm: 67624 61382 784 807 0 60615 0 Current children cumulated CPU time: 2262.24 s Current children cumulated vsize: 270496 KiB Current children cumulated memory: 245528 KiB [startup+2322.3 s] /proc/loadavg: 2.02 2.02 2.05 3/188 29015 /proc/meminfo: memFree=21619532/32770624 swapFree=67108860/67108860 [pid=28918] ppid=28915 vsize=270496 memory=245536 CPUtime=2322.24 cores=1,3,5,7 /proc/28918/stat : 28918 (MistralXCSP) R 28915 28918 26594 0 -1 4202496 353902 0 0 0 232202 22 0 0 20 0 1 0 37839259 276987904 61384 33554432000 4194304 7498468 140731489378144 140731489373160 5649131 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 39587840 140731489383533 140731489383683 140731489383683 140731489386441 0 /proc/28918/statm: 67624 61384 784 807 0 60615 0 Current children cumulated CPU time: 2322.24 s Current children cumulated vsize: 270496 KiB Current children cumulated memory: 245536 KiB [startup+2382.3 s] /proc/loadavg: 2.01 2.02 2.05 3/188 29016 /proc/meminfo: memFree=21619448/32770624 swapFree=67108860/67108860 [pid=28918] ppid=28915 vsize=270496 memory=245540 CPUtime=2382.24 cores=1,3,5,7 /proc/28918/stat : 28918 (MistralXCSP) R 28915 28918 26594 0 -1 4202496 354178 0 0 0 238202 22 0 0 20 0 1 0 37839259 276987904 61385 33554432000 4194304 7498468 140731489378144 140731489373160 5791403 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 39587840 140731489383533 140731489383683 140731489383683 140731489386441 0 /proc/28918/statm: 67624 61385 784 807 0 60615 0 Current children cumulated CPU time: 2382.24 s Current children cumulated vsize: 270496 KiB Current children cumulated memory: 245540 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.1 s]* /proc/loadavg: 2.00 2.01 2.05 3/188 29144 /proc/meminfo: memFree=21578564/32770624 swapFree=67108860/67108860 [pid=28918] ppid=28915 vsize=270496 memory=245544 CPUtime=2400.05 cores=1,3,5,7 /proc/28918/stat : 28918 (MistralXCSP) R 28915 28918 26594 0 -1 4202496 354446 0 0 0 239983 22 0 0 20 0 1 0 37839259 276987904 61386 33554432000 4194304 7498468 140731489378144 140731489373160 4580120 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 39587840 140731489383533 140731489383683 140731489383683 140731489386441 0 /proc/28918/statm: 67624 61386 784 807 0 60615 0 Current children cumulated CPU time: 2400.05 s Current children cumulated vsize: 270496 KiB Current children cumulated memory: 245544 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2400.11 s] # the end of solver process 28918 was just reported to runsolver # cumulated CPU time of all completed processes: user=2399.83 s, system=0.226 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 2400.11 CPU time (s): 2400.06 CPU user time (s): 2399.83 CPU system time (s): 0.226 CPU usage (%): 99.9979 Max. virtual memory (cumulated for all children) (KiB): 270496 Max. memory (cumulated for all children) (KiB): 245544 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.83 system time used= 0.226 maximum resident set size= 245564 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 354482 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= 108 involuntary context switches= 890 # summary of solver processes directly reported to runsolver: # pid: 28918 # total CPU time (s): 2400.06 # total CPU user time (s): 2399.83 # total CPU system time (s): 0.226 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.61694 second user time and 18.2789 second system time The end
Begin job on node137 at 2018-07-21 21:52:41 IDJOB=4289638 IDBENCH=141548 IDSOLVER=2741 FILE ID=node137/4289638-1532202761 RUNJOBID= node137-1532190501-26626 PBS_JOBID= 21018930 Free space on /tmp= 56884 MiB SOLVER NAME= Mistral-2.0 2018-06-15 BENCH NAME= XCSP18/TravelingTournament/TravelingTournament-a3-galaxy16_c18.xml COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4289638-1532202761/watcher-4289638-1532202761 -o /tmp/evaluation-result-4289638-1532202761/solver-4289638-1532202761 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532190501-26626 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1812862883 HOME/instance-4289638-1532202761.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e08ad5e9bb2dce0f9ded0033a126b6aa RANDOM SEED=1812862883 node137.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.54 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.56 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.54 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.56 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.54 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.56 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.54 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 21862596 kB MemAvailable: 31906744 kB Buffers: 216416 kB Cached: 10029336 kB SwapCached: 0 kB Active: 1642568 kB Inactive: 8689764 kB Active(anon): 89100 kB Inactive(anon): 16948 kB Active(file): 1553468 kB Inactive(file): 8672816 kB Unevictable: 7312 kB Mlocked: 7312 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 9536 kB Writeback: 0 kB AnonPages: 83724 kB Mapped: 36656 kB Shmem: 17036 kB Slab: 273736 kB SReclaimable: 246324 kB SUnreclaim: 27412 kB KernelStack: 3376 kB PageTables: 5532 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 373768 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 56876 MiB End job on node137 at 2018-07-21 22:32:41