Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-2.0 2018-06-15 | SAT (TO) | 19811 | 2400.04 | 2399.8 |
Name | NurseRostering/ NurseRostering-10_c18.xml |
MD5SUM | 8e8c57bbf90dbce08cf7a3cf301ec8dd |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 10181 |
Best CPU time to get the best result obtained on this benchmark | 2520.06 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2140 |
Number of constraints | 5421 |
Number of domains | 18 |
Minimum domain size | 1 |
Maximum domain size | 41 |
Distribution of domain sizes | [{"size":1,"count":94},{"size":2,"count":444},{"size":6,"count":1141},{"size":9,"count":7},{"size":10,"count":18},{"size":29,"count":128},{"size":41,"count":308}] |
Minimum variable degree | 2 |
Maximum variable degree | 27 |
Distribution of variable degrees | [{"degree":2,"count":860},{"degree":3,"count":160},{"degree":17,"count":33},{"degree":18,"count":41},{"degree":19,"count":6},{"degree":20,"count":31},{"degree":21,"count":40},{"degree":22,"count":67},{"degree":23,"count":71},{"degree":24,"count":80},{"degree":25,"count":360},{"degree":26,"count":293},{"degree":27,"count":98}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 80 |
Distribution of constraint arities | [{"arity":2,"count":1932},{"arity":3,"count":2080},{"arity":4,"count":40},{"arity":6,"count":960},{"arity":29,"count":240},{"arity":41,"count":168},{"arity":80,"count":1}] |
Number of extensional constraints | 1248 |
Number of intensional constraints | 684 |
Distribution of constraint types | [{"type":"extension","count":1248},{"type":"intension","count":684},{"type":"regular","count":2080},{"type":"sum","count":80},{"type":"count","count":1328},{"type":"instantiation","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c Mistral 16062018 5.49/5.56 o 30847 5.49/5.56 o 30746 5.49/5.57 o 30645 5.49/5.57 o 30544 5.49/5.58 o 30443 5.49/5.59 o 30342 5.59/5.60 o 30241 5.59/5.62 o 30140 5.69/5.73 o 30039 5.79/5.87 o 30038 5.79/5.88 o 29938 11.49/11.56 o 29837 11.49/11.56 o 29737 11.49/11.57 o 29736 11.49/11.57 o 29635 11.49/11.58 o 29534 11.49/11.59 o 29533 11.49/11.59 o 29532 11.59/11.60 o 29531 11.59/11.61 o 29530 11.59/11.63 o 29429 11.59/11.64 o 29428 11.59/11.65 o 29328 11.59/11.65 o 29327 11.59/11.67 o 29326 11.59/11.68 o 29227 11.59/11.69 o 29226 11.69/11.70 o 29126 11.69/11.72 o 29025 11.69/11.76 o 29024 11.69/11.78 o 29022 11.69/11.78 o 28924 11.89/12.00 o 28922 21.38/21.43 o 28822 21.38/21.44 o 28720 21.38/21.45 o 28620 21.48/21.58 o 28519 21.58/21.65 o 28518 21.88/21.93 o 28416 22.09/22.16 o 28415 22.48/22.55 o 28317 23.79/23.81 o 28217 23.79/23.81 o 28116 23.79/23.82 o 28015 23.79/23.84 o 28014 23.79/23.85 o 27913 23.79/23.87 o 27812 23.79/23.89 o 27811 23.89/23.91 o 27710 24.00/24.03 o 27610 24.00/24.03 o 27609 24.19/24.25 o 27509 24.39/24.40 o 27508 24.39/24.41 o 27408 26.59/26.69 o 27407 26.59/26.69 o 27306 26.69/26.70 o 27205 26.69/26.70 o 27104 26.79/26.82 o 27004 27.19/27.22 o 27003 29.59/29.65 o 27001 29.59/29.66 o 26900 29.59/29.67 o 26801 29.69/29.74 o 26800 29.69/29.76 o 26799 29.69/29.76 o 26699 30.10/30.12 o 26698 34.89/35.00 o 26598 41.59/41.61 o 26597 41.59/41.61 o 26497 41.59/41.62 o 26496 41.79/41.84 o 26396 49.69/49.78 o 26395 49.79/49.84 o 26294 49.89/49.90 o 26193 49.89/50.00 o 26093 50.00/50.08 o 25992 50.29/50.31 o 25891 60.59/60.61 o 25890 62.00/62.01 o 25789 62.00/62.01 o 25788 62.00/62.04 o 25787 62.00/62.05 o 25786 62.00/62.09 o 25686 62.00/62.10 o 25685 62.10/62.12 o 25684 62.19/62.21 o 25683 69.00/69.07 o 25582 74.88/74.95 o 25481 74.99/75.01 o 25380 75.09/75.15 o 25379 75.28/75.32 o 25275 75.48/75.50 o 25174 75.88/75.96 o 25173 93.09/93.16 o 25072 93.09/93.17 o 24971 93.09/93.17 o 24871 93.09/93.18 o 24771 93.48/93.57 o 24768 118.88/118.98 o 24668 118.88/118.98 o 24667 118.88/118.99 o 24568 118.88/119.00 o 24566 118.98/119.01 o 24565 118.98/119.02 o 24464 118.98/119.02 o 24463 119.27/119.30 o 24362 119.27/119.32 o 24361 119.37/119.41 o 24261 120.37/120.47 o 24163 152.26/152.37 o 24160 161.76/161.88 o 24059 161.76/161.88 o 24058 161.76/161.89 o 24057 161.86/161.90 o 23957 161.86/161.91 o 23857 161.86/161.97 o 23756 161.97/162.08 o 23656 162.26/162.32 o 23555 162.86/162.98 o 23455 166.27/166.39 o 23356 176.87/176.93 o 23255 205.77/205.83 o 23154 205.77/205.83 o 23053 205.77/205.84 o 22953 205.87/205.94 o 22952 206.27/206.31 o 22951 206.27/206.32 o 22851 206.47/206.50 o 22850 206.98/207.01 o 22749 207.57/207.64 o 22648 208.77/208.81 o 22647 267.39/267.46 o 22546 267.39/267.47 o 22545 267.39/267.48 o 22444 267.49/267.58 o 22343 267.59/267.64 o 22242 352.50/352.56 o 22141 352.50/352.57 o 22040 352.50/352.57 o 21939 353.30/353.37 o 21838 356.90/356.96 o 21835 358.01/358.06 o 21734 360.90/360.97 o 21732 360.90/360.98 o 21634 360.90/360.98 o 21633 361.01/361.01 o 21631 377.50/377.50 o 21530 380.80/380.81 o 21432 380.90/380.96 o 21431 381.20/381.21 o 21429 477.71/477.71 o 21340 477.71/477.72 o 21339 477.71/477.73 o 21338 477.81/477.88 o 21337 477.91/477.92 o 21336 477.91/477.98 o 21335 690.64/690.69 o 21334 690.74/690.72 o 21333 700.34/700.37 o 21233 718.34/718.37 o 21133 749.05/749.04 o 21033 854.65/854.69 o 21032 854.75/854.70 o 21031 854.75/854.71 o 20931 854.75/854.72 o 20930 863.06/863.08 o 20929 897.17/897.14 o 20828 940.17/940.13 o 20727 1082.88/1082.83 o 20627 1082.88/1082.85 o 20526 1087.48/1087.46 o 20525 1087.58/1087.51 o 20425 1088.98/1088.98 o 20424 1109.38/1109.36 o 20323 1124.09/1124.09 o 20223 1129.99/1129.91 o 20222 1132.59/1132.52 o 20221 1252.80/1252.75 o 20120 1341.22/1341.19 o 20117 1465.33/1465.21 o 20116 1465.43/1465.32 o 20014 1465.43/1465.33 o 20013 1466.03/1465.90 o 19913 1482.24/1482.13 o 19912 1810.06/1809.98 o 19811 2400.03/2399.80 s SATISFIABLE 2400.03/2399.80 v <instantiation type="solution"> 2400.03/2399.80 v <list> x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] ps[0][0] ps[0][1] ps[0][2] ps[0][3] ps[0][4] ps[0][5] ps[1][0] ps[1][1] ps[1][2] ps[1][3] ps[1][4] ps[1][5] ps[2][0] ps[2][1] ps[2][2] ps[2][3] ps[2][4] ps[2][5] ps[3][0] ps[3][1] ps[3][2] ps[3][3] ps[3][4] ps[3][5] ps[4][0] ps[4][1] ps[4][2] ps[4][3] ps[4][4] ps[4][5] ps[5][0] ps[5][1] ps[5][2] ps[5][3] ps[5][4] ps[5][5] ps[6][0] ps[6][1] ps[6][2] ps[6][3] ps[6][4] ps[6][5] ps[7][0] ps[7][1] ps[7][2] ps[7][3] ps[7][4] ps[7][5] ps[8][0] ps[8][1] ps[8][2] ps[8][3] ps[8][4] ps[8][5] ps[9][0] ps[9][1] ps[9][2] ps[9][3] ps[9][4] ps[9][5] ps[10][0] ps[10][1] ps[10][2] ps[10][3] ps[10][4] ps[10][5] ps[11][0] ps[11][1] ps[11][2] ps[11][3] ps[11][4] ps[11][5] ps[12][0] ps[12][1] ps[12][2] ps[12][3] ps[12][4] ps[12][5] ps[13][0] ps[13][1] ps[13][2] ps[13][3] ps[13][4] ps[13][5] ps[14][0] ps[14][1] ps[14][2] ps[14][3] ps[14][4] ps[14][5] ps[15][0] ps[15][1] ps[15][2] ps[15][3] ps[15][4] ps[15][5] ps[16][0] ps[16][1] ps[16][2] ps[16][3] ps[16][4] ps[16][5] ps[17][0] ps[17][1] ps[17][2] ps[17][3] ps[17][4] ps[17][5] ps[18][0] ps[18][1] ps[18][2] ps[18][3] ps[18][4] ps[18][5] ps[19][0] ps[19][1] ps[19][2] ps[19][3] ps[19][4] ps[19][5] ps[20][0] ps[20][1] ps[20][2] ps[20][3] ps[20][4] ps[20][5] ps[21][0] ps[21][1] ps[21][2] ps[21][3] ps[21][4] ps[21][5] ps[22][0] ps[22][1] ps[22][2] ps[22][3] ps[22][4] ps[22][5] ps[23][0] ps[23][1] ps[23][2] ps[23][3] ps[23][4] ps[23][5] ps[24][0] ps[24][1] ps[24][2] ps[24][3] ps[24][4] ps[24][5] ps[25][0] ps[25][1] ps[25][2] ps[25][3] ps[25][4] ps[25][5] ps[26][0] ps[26][1] ps[26][2] ps[26][3] ps[26][4] ps[26][5] ps[27][0] ps[27][1] ps[27][2] ps[27][3] ps[27][4] ps[27][5] ps[28][0] ps[28][1] ps[28][2] ps[28][3] ps[28][4] ps[28][5] ps[29][0] ps[29][1] ps[29][2] ps[29][3] ps[29][4] ps[29][5] ps[30][0] ps[30][1] ps[30][2] ps[30][3] ps[30][4] ps[30][5] ps[31][0] ps[31][1] ps[31][2] ps[31][3] ps[31][4] ps[31][5] ps[32][0] ps[32][1] ps[32][2] ps[32][3] ps[32][4] ps[32][5] ps[33][0] ps[33][1] ps[33][2] ps[33][3] ps[33][4] ps[33][5] ps[34][0] ps[34][1] ps[34][2] ps[34][3] ps[34][4] ps[34][5] ps[35][0] ps[35][1] ps[35][2] ps[35][3] ps[35][4] ps[35][5] ps[36][0] ps[36][1] ps[36][2] ps[36][3] ps[36][4] ps[36][5] ps[37][0] ps[37][1] ps[37][2] ps[37][3] ps[37][4] ps[37][5] ps[38][0] ps[38][1] ps[38][2] ps[38][3] ps[38][4] ps[38][5] ps[39][0] ps[39][1] ps[39][2] ps[39][3] ps[39][4] ps[39][5] ds[0][0] ds[0][1] ds[0][2] ds[0][3] ds[0][4] ds[0][5] ds[1][0] ds[1][1] ds[1][2] ds[1][3] ds[1][4] ds[1][5] ds[2][0] ds[2][1] ds[2][2] ds[2][3] ds[2][4] ds[2][5] ds[3][0] ds[3][1] ds[3][2] ds[3][3] ds[3][4] ds[3][5] ds[4][0] ds[4][1] ds[4][2] ds[4][3] ds[4][4] ds[4][5] ds[5][0] ds[5][1] ds[5][2] ds[5][3] ds[5][4] ds[5][5] ds[6][0] ds[6][1] ds[6][2] ds[6][3] ds[6][4] ds[6][5] ds[7][0] ds[7][1] ds[7][2] ds[7][3] ds[7][4] ds[7][5] ds[8][0] ds[8][1] ds[8][2] ds[8][3] ds[8][4] ds[8][5] ds[9][0] ds[9][1] ds[9][2] ds[9][3] ds[9][4] ds[9][5] ds[10][0] ds[10][1] ds[10][2] ds[10][3] ds[10][4] ds[10][5] ds[11][0] ds[11][1] ds[11][2] ds[11][3] ds[11][4] ds[11][5] ds[12][0] ds[12][1] ds[12][2] ds[12][3] ds[12][4] ds[12][5] ds[13][0] ds[13][1] ds[13][2] ds[13][3] ds[13][4] ds[13][5] ds[14][0] ds[14][1] ds[14][2] ds[14][3] ds[14][4] ds[14][5] ds[15][0] ds[15][1] ds[15][2] ds[15][3] ds[15][4] ds[15][5] ds[16][0] ds[16][1] ds[16][2] ds[16][3] ds[16][4] ds[16][5] ds[17][0] ds[17][1] ds[17][2] ds[17][3] ds[17][4] ds[17][5] ds[18][0] ds[18][1] ds[18][2] ds[18][3] ds[18][4] ds[18][5] ds[19][0] ds[19][1] ds[19][2] ds[19][3] ds[19][4] ds[19][5] ds[20][0] ds[20][1] ds[20][2] ds[20][3] ds[20][4] ds[20][5] ds[21][0] ds[21][1] ds[21][2] ds[21][3] ds[21][4] ds[21][5] ds[22][0] ds[22][1] ds[22][2] ds[22][3] ds[22][4] ds[22][5] ds[23][0] ds[23][1] ds[23][2] ds[23][3] ds[23][4] ds[23][5] ds[24][0] ds[24][1] ds[24][2] ds[24][3] ds[24][4] ds[24][5] ds[25][0] ds[25][1] ds[25][2] ds[25][3] ds[25][4] ds[25][5] ds[26][0] ds[26][1] ds[26][2] ds[26][3] ds[26][4] ds[26][5] ds[27][0] ds[27][1] ds[27][2] ds[27][3] ds[27][4] ds[27][5] wk[0][0] wk[0][1] wk[0][2] wk[0][3] wk[1][0] wk[1][1] wk[1][2] wk[1][3] wk[2][0] wk[2][1] wk[2][2] wk[2][3] wk[3][0] wk[3][1] wk[3][2] wk[3][3] wk[4][0] wk[4][1] wk[4][2] wk[4][3] wk[5][0] wk[5][1] wk[5][2] wk[5][3] wk[6][0] wk[6][1] wk[6][2] wk[6][3] wk[7][0] wk[7][1] wk[7][2] wk[7][3] wk[8][0] wk[8][1] wk[8][2] wk[8][3] wk[9][0] wk[9][1] wk[9][2] wk[9][3] wk[10][0] wk[10][1] wk[10][2] wk[10][3] wk[11][0] wk[11][1] wk[11][2] wk[11][3] wk[12][0] wk[12][1] wk[12][2] wk[12][3] wk[13][0] wk[13][1] wk[13][2] wk[13][3] wk[14][0] wk[14][1] wk[14][2] wk[14][3] wk[15][0] wk[15][1] wk[15][2] wk[15][3] wk[16][0] wk[16][1] wk[16][2] wk[16][3] wk[17][0] wk[17][1] wk[17][2] wk[17][3] wk[18][0] wk[18][1] wk[18][2] wk[18][3] wk[19][0] wk[19][1] wk[19][2] wk[19][3] wk[20][0] wk[20][1] wk[20][2] wk[20][3] wk[21][0] wk[21][1] wk[21][2] wk[21][3] wk[22][0] wk[22][1] wk[22][2] wk[22][3] wk[23][0] wk[23][1] wk[23][2] wk[23][3] wk[24][0] wk[24][1] wk[24][2] wk[24][3] wk[25][0] wk[25][1] wk[25][2] wk[25][3] wk[26][0] wk[26][1] wk[26][2] wk[26][3] wk[27][0] wk[27][1] wk[27][2] wk[27][3] wk[28][0] wk[28][1] wk[28][2] wk[28][3] wk[29][0] wk[29][1] wk[29][2] wk[29][3] wk[30][0] wk[30][1] wk[30][2] wk[30][3] wk[31][0] wk[31][1] wk[31][2] wk[31][3] wk[32][0] wk[32][1] wk[32][2] wk[32][3] wk[33][0] wk[33][1] wk[33][2] wk[33][3] wk[34][0] wk[34][1] wk[34][2] wk[34][3] wk[35][0] wk[35][1] wk[35][2] wk[35][3] wk[36][0] wk[36][1] wk[36][2] wk[36][3] wk[37][0] wk[37][1] wk[37][2] wk[37][3] wk[38][0] wk[38][1] wk[38][2] wk[38][3] wk[39][0] wk[39][1] wk[39][2] wk[39][3] cn[0] cn[1] cn[2] cn[3] cn[4] cn[5] cn[6] cn[7] cn[8] cn[9] cn[10] cn[11] cn[12] cn[13] cn[14] cn[15] cn[16] cn[17] cn[18] cn[19] cn[20] cn[21] cn[22] cn[23] cn[24] cn[25] cn[26] cn[27] cn[28] cn[29] cn[30] cn[31] cn[32] cn[33] cn[34] cn[35] cn[36] cn[37] cn[38] cn[39] cn[40] cn[41] cn[42] cn[43] cn[44] cn[45] cn[46] cn[47] cn[48] cn[49] cn[50] cn[51] cn[52] cn[53] cn[54] cn[55] cn[56] cn[57] cn[58] cn[59] cn[60] cn[61] cn[62] cn[63] cn[64] cn[65] cn[66] cn[67] cn[68] cn[69] cn[70] cn[71] cn[72] cn[73] cn[74] cn[75] cn[76] cn[77] cn[78] cn[79] cn[80] cn[81] cn[82] cn[83] cn[84] cn[85] cn[86] cn[87] cn[88] cn[89] cn[90] cn[91] cn[92] cn[93] cn[94] cn[95] cn[96] cn[97] cn[98] cn[99] cn[100] cn[101] cn[102] cn[103] cn[104] cn[105] cn[106] cn[107] cn[108] cn[109] cn[110] cn[111] cn[112] cn[113] cn[114] cn[115] cn[116] cn[117] cn[118] cn[119] cn[120] cn[121] cn[122] cn[123] cn[124] cn[125] cn[126] cn[127] cn[128] cn[129] cn[130] cn[131] cn[132] cn[133] cn[134] cn[135] cn[136] cn[137] cn[138] cn[139] cn[140] cn[141] cn[142] cn[143] cn[144] cn[145] cn[146] cn[147] cn[148] cn[149] cn[150] cn[151] cn[152] cn[153] cn[154] cn[155] cn[156] cn[157] cn[158] cn[159] cn[160] cn[161] cn[162] cn[163] cn[164] cn[165] cn[166] cn[167] cn[168] cn[169] cn[170] cn[171] cn[172] cn[173] cn[174] cn[175] cn[176] cn[177] cn[178] cn[179] cn[180] cn[181] cn[182] cn[183] cn[184] cn[185] cn[186] cn[187] cn[188] cn[189] cn[190] cn[191] cn[192] cn[193] cn[194] cn[195] cn[196] cn[197] cn[198] cn[199] cn[200] cn[201] cn[202] cn[203] cn[204] cn[205] cn[206] cn[207] cn[208] cn[209] cf[0] cf[1] cf[2] cf[3] cf[4] cf[5] cf[6] cf[7] cf[8] cf[9] cf[10] cf[11] cf[12] cf[13] cf[14] cf[15] cf[16] cf[17] cf[18] cf[19] cf[20] cf[21] cf[22] cf[23] cf[24] cf[25] cf[26] cf[27] cf[28] cf[29] cf[30] cf[31] cf[32] cf[33] cf[34] cf[35] cf[36] cf[37] cf[38] cf[39] cf[40] cf[41] cf[42] cf[43] cf[44] cf[45] cf[46] cf[47] cf[48] cf[49] cf[50] cf[51] cf[52] cf[53] cf[54] cf[55] cf[56] cf[57] cf[58] cf[59] cf[60] cf[61] cf[62] cf[63] cf[64] cf[65] cf[66] cf[67] cf[68] cf[69] cf[70] cf[71] cf[72] cf[73] cc[0][0] cc[0][1] cc[0][2] cc[0][3] cc[0][4] cc[0][5] cc[1][0] cc[1][1] cc[1][2] cc[1][3] cc[1][4] cc[1][5] cc[2][0] cc[2][1] cc[2][2] cc[2][3] cc[2][4] cc[2][5] cc[3][0] cc[3][1] cc[3][2] cc[3][3] cc[3][4] cc[3][5] cc[4][0] cc[4][1] cc[4][2] cc[4][3] cc[4][4] cc[4][5] cc[5][0] cc[5][1] cc[5][2] cc[5][3] cc[5][4] cc[5][5] cc[6][0] cc[6][1] cc[6][2] cc[6][3] cc[6][4] cc[6][5] cc[7][0] cc[7][1] cc[7][2] cc[7][3] cc[7][4] cc[7][5] cc[8][0] cc[8][1] cc[8][2] cc[8][3] cc[8][4] cc[8][5] cc[9][0] cc[9][1] cc[9][2] cc[9][3] cc[9][4] cc[9][5] cc[10][0] cc[10][1] cc[10][2] cc[10][3] cc[10][4] cc[10][5] cc[11][0] cc[11][1] cc[11][2] cc[11][3] cc[11][4] cc[11][5] cc[12][0] cc[12][1] cc[12][2] cc[12][3] cc[12][4] cc[12][5] cc[13][0] cc[13][1] cc[13][2] cc[13][3] cc[13][4] cc[13][5] cc[14][0] cc[14][1] cc[14][2] cc[14][3] cc[14][4] cc[14][5] cc[15][0] cc[15][1] cc[15][2] cc[15][3] cc[15][4] cc[15][5] cc[16][0] cc[16][1] cc[16][2] cc[16][3] cc[16][4] cc[16][5] cc[17][0] cc[17][1] cc[17][2] cc[17][3] cc[17][4] cc[17][5] cc[18][0] cc[18][1] cc[18][2] cc[18][3] cc[18][4] cc[18][5] cc[19][0] cc[19][1] cc[19][2] cc[19][3] cc[19][4] cc[19][5] cc[20][0] cc[20][1] cc[20][2] cc[20][3] cc[20][4] cc[20][5] cc[21][0] cc[21][1] cc[21][2] cc[21][3] cc[21][4] cc[21][5] cc[22][0] cc[22][1] cc[22][2] cc[22][3] cc[22][4] cc[22][5] cc[23][0] cc[23][1] cc[23][2] cc[23][3] cc[23][4] cc[23][5] cc[24][0] cc[24][1] cc[24][2] cc[24][3] cc[24][4] cc[24][5] cc[25][0] cc[25][1] cc[25][2] cc[25][3] cc[25][4] cc[25][5] cc[26][0] cc[26][1] cc[26][2] cc[26][3] cc[26][4] cc[26][5] cc[27][0] cc[27][1] cc[27][2] cc[27][3] cc[27][4] cc[27][5] </list> 2400.03/2399.80 v <values> 1 2 3 5 5 1 5 5 0 1 5 0 0 5 0 5 5 5 2 3 3 5 5 0 0 5 5 5 5 5 2 0 5 5 0 5 2 2 5 5 1 3 3 1 5 1 5 2 0 1 1 0 1 5 0 5 0 5 2 3 3 0 0 0 0 5 1 5 5 2 1 0 0 0 0 5 3 2 0 5 3 3 3 2 0 5 0 2 0 1 4 0 1 3 0 5 0 4 3 3 5 0 0 0 0 0 1 0 0 2 1 0 0 0 1 0 5 2 0 0 5 3 3 2 0 5 2 1 0 1 5 3 5 3 0 0 0 4 5 3 5 0 0 0 3 0 1 0 0 3 1 0 0 0 5 0 5 5 0 2 5 3 5 2 0 5 2 1 4 1 5 3 5 3 5 0 3 5 5 3 0 0 0 1 5 0 1 0 0 5 1 5 0 0 5 0 2 5 0 3 5 5 5 2 0 5 5 5 5 5 1 5 5 3 5 5 3 5 5 5 0 3 0 5 5 0 5 2 0 5 5 5 5 0 5 0 2 5 5 5 5 5 3 5 0 5 5 5 5 5 1 5 5 3 5 5 5 5 5 5 0 5 5 5 5 0 5 5 0 3 5 5 5 5 0 0 1 5 5 5 5 0 3 5 5 1 5 5 5 5 5 5 5 5 5 5 5 5 1 5 0 5 5 5 0 5 5 5 5 3 5 5 5 5 0 5 1 5 0 5 1 3 3 1 5 1 2 1 5 1 5 5 5 5 5 0 3 0 2 5 5 0 0 0 0 5 5 0 5 3 1 5 5 5 0 5 5 5 0 5 1 3 3 2 0 1 2 1 5 1 1 5 0 3 0 0 3 0 2 5 5 2 0 0 0 4 1 0 0 3 1 5 5 5 0 2 5 2 5 0 1 3 3 2 0 1 2 5 0 3 1 0 0 3 0 0 3 0 5 5 0 2 0 0 1 4 1 0 0 3 2 0 0 0 0 2 0 1 5 0 1 5 5 5 0 5 5 5 0 3 1 2 0 3 0 0 3 2 5 2 0 5 5 0 5 4 1 0 3 5 1 0 0 0 5 3 1 1 5 0 3 5 5 5 5 5 5 1 0 5 1 2 0 5 0 3 5 4 2 2 5 5 5 5 5 5 1 5 5 5 2 0 0 5 5 5 1 1 5 2 5 5 5 5 5 1 5 1 0 5 4 5 3 5 0 5 5 5 3 2 5 1 5 5 0 5 5 5 5 5 5 0 0 5 5 5 1 1 0 2 5 5 0 5 5 1 5 1 5 5 5 5 5 3 5 5 3 5 5 5 5 1 5 5 0 5 5 5 5 5 5 5 0 5 5 5 1 5 0 5 1 5 3 1 5 1 2 5 5 3 5 5 5 3 5 0 3 5 5 5 0 1 5 5 5 5 1 0 5 0 5 5 5 0 0 5 5 5 0 5 1 2 5 2 0 1 3 5 0 3 1 0 0 3 0 0 3 0 0 2 0 2 0 0 5 5 1 0 0 0 5 0 5 0 0 5 5 2 0 0 1 3 5 1 0 4 5 2 0 3 1 0 0 3 0 0 3 0 2 2 3 2 0 0 3 0 1 0 0 2 5 0 0 0 0 0 5 1 0 0 1 3 1 3 0 5 5 1 0 3 4 2 0 3 0 0 3 0 2 2 5 5 0 0 3 0 1 0 0 2 1 0 0 0 3 0 5 2 5 5 5 5 3 5 0 5 4 2 0 3 5 2 0 5 5 4 5 0 1 2 5 5 1 1 5 0 1 0 0 5 1 3 0 3 3 0 5 2 5 5 5 5 3 5 3 1 4 2 0 5 5 5 0 5 5 5 5 0 2 2 0 5 5 1 5 0 5 5 3 5 1 3 0 5 5 0 5 1 0 0 5 5 3 1 5 1 4 1 5 5 5 5 5 5 5 5 5 5 5 5 0 0 5 5 5 0 5 5 5 5 2 5 5 5 5 3 1 5 0 0 5 3 3 1 5 1 4 5 5 5 1 0 5 5 5 0 2 5 5 5 0 1 0 5 5 5 1 0 5 5 2 5 5 5 0 5 1 5 0 0 1 3 5 2 0 3 5 5 0 1 1 0 0 5 0 0 1 0 0 2 2 2 0 5 5 5 1 2 0 5 5 0 0 0 3 5 2 5 4 0 1 3 5 3 0 4 5 1 0 1 1 3 0 3 0 0 5 0 0 3 3 5 0 0 0 2 1 2 0 2 5 0 0 0 5 0 3 1 5 0 1 3 5 3 3 5 0 2 0 1 1 4 0 3 0 0 5 0 1 3 5 5 0 0 0 3 1 5 0 3 5 2 0 0 5 0 5 2 5 5 3 3 5 5 5 5 2 5 5 3 5 5 5 3 3 5 3 5 5 5 5 5 5 0 0 5 5 5 5 3 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 2 5 5 5 5 5 5 5 5 5 3 5 5 5 5 5 5 5 0 5 5 5 5 3 5 5 5 5 5 5 5 5 5 5 0 13 0 3 0 12 1 0 2 14 0 11 1 1 0 14 0 12 0 6 8 3 0 11 14 0 0 2 0 12 0 13 0 1 2 12 2 0 8 1 4 13 0 10 6 0 0 12 16 0 0 0 1 11 0 10 0 8 0 10 0 13 0 0 3 12 8 0 4 3 1 12 13 2 0 1 0 12 0 0 0 16 0 12 15 0 0 1 0 12 14 0 0 1 1 12 3 1 1 13 0 10 11 0 1 0 3 13 3 3 8 2 0 12 0 0 9 7 0 12 11 0 1 4 0 12 6 4 5 1 0 12 15 1 0 0 0 12 14 3 0 0 0 11 12 1 0 3 0 12 10 0 1 1 3 13 0 17 0 0 0 11 13 0 3 0 0 12 14 0 0 2 0 12 2 0 5 9 0 12 0 10 5 0 0 13 13 0 1 2 0 12 16 0 0 0 0 12 14 0 0 1 0 13 11 1 0 3 0 13 11 0 2 2 0 13 1 8 4 2 0 13 0 7 8 0 0 13 14 0 0 0 1 13 11 0 3 1 0 13 8 3 5 3 0 21 13 8 4 5 0 10 19 5 4 6 2 4 16 4 3 7 1 9 12 5 3 6 1 13 7 1 3 3 0 26 6 2 0 3 0 29 5 3 0 2 0 30 9 6 2 4 0 19 12 7 6 5 1 9 18 6 5 6 1 4 12 6 3 5 1 13 5 5 5 2 1 22 6 5 2 2 1 24 4 4 0 2 0 30 7 5 1 4 0 23 19 4 5 4 0 8 19 5 5 6 1 4 15 5 5 7 1 7 9 5 4 5 2 15 9 4 3 4 1 19 5 4 1 2 1 27 8 6 2 2 1 21 14 5 6 3 1 11 16 6 3 7 1 7 13 5 3 7 1 11 2 0 1 7 0 30 1 0 1 2 0 36 0 1 0 1 0 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 0 1 1 0 1 1 0 0 1 1 0 0 0 1 1 1 1 0 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 1 0 0 1 0 1 0 0 0 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 3 3 2 2 2 2 0 3 0 2 2 0 0 1 1 0 1 2 2 2 2 3 0 1 1 1 1 1 2 2 2 3 0 0 0 0 0 0 1 0 0 1 1 1 1 1 2 2 2 2 1 1 3 3 0 3 3 1 1 0 3 3 3 3 1 1 0 1 0 0 2 2 0 0 0 0 2 2 2 2 2 1 1 1 1 1 1 1 1 2 2 0 0 1 1 2 0 0 2 3 0 2 0 0 0 1 1 1 1 1 1 1 1 1 2 1 1 3 3 3 3 3 3 3 0 3 3 3 3 3 3 2 2 2 0 0 0 2 0 0 0 2 2 2 0 0 0 0 0 0 1 1 1 1 2 2 2 2 0 1 1 1 1 1 1 1 1 0 0 2 2 2 2 1 0 0 0 0 0 0 0 0 0 0 0 0 3 3 2 2 0 0 2 3 0 0 0 0 0 0 0 0 0 3 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 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 3 0 0 3 3 3 0 0 0 0 3 3 1 0 0 0 0 0 0 0 0 1 0 100 400 100 0 8 3 200 100 200 0 13 0 100 0 0 0 10 0 0 0 100 0 6 0 100 0 0 0 0 400 100 300 300 0 0 400 700 200 300 0 100 200 500 400 200 0 1 1 300 100 400 0 6 2 3 0 0 0 13 1 0 0 0 0 5 1 200 100 0 0 0 0 0 500 200 0 100 0 500 600 0 0 400 200 500 500 200 0 0 0 400 200 100 0 10 0 0 300 300 0 13 0 0 0 0 0 8 100 0 0 100 0 3 0 100 0 100 0 2 100 300 300 100 0 100 100 500 500 0 0 2 0 400 400 200 0 10 0 100 300 100 0 8 3 0 0 0 0 6 0 200 0 100 0 500 600 300 0 200 0 600 600 300 400 100 0 </values> 2400.03/2399.80 v </instantiation>
OK 19811
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 (8667 MiB free) memory of node 1: 16384 MiB (12348 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289290-1532190504/watcher-4289290-1532190504 -o /tmp/evaluation-result-4289290-1532190504/solver-4289290-1532190504 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532190502-25856 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1076978192 HOME/instance-4289290-1532190504.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=25887, runsolver pid=25884 [startup+0.100191 s]* /proc/loadavg: 0.00 0.01 0.05 5/189 25888 /proc/meminfo: memFree=21505548/32770624 swapFree=67108860/67108860 [pid=25887] ppid=25884 vsize=42352 memory=16764 CPUtime=0.09 cores=1,3,5,7 /proc/25887/stat : 25887 (MistralXCSP) R 25884 25887 25824 0 -1 4202496 4592 0 0 0 9 0 0 0 20 0 1 0 36613562 43368448 4191 33554432000 4194304 7498468 140729431460816 140729431450952 4404314 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30711808 140729431463021 140729431463171 140729431463171 140729431465929 0 /proc/25887/statm: 10588 4191 733 807 0 3579 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 42352 KiB Current children cumulated memory: 16764 KiB [startup+0.209648 s]* /proc/loadavg: 0.00 0.01 0.05 3/189 25888 /proc/meminfo: memFree=21497804/32770624 swapFree=67108860/67108860 [pid=25887] ppid=25884 vsize=50200 memory=24896 CPUtime=0.2 cores=1,3,5,7 /proc/25887/stat : 25887 (MistralXCSP) R 25884 25887 25824 0 -1 4202496 6742 0 0 0 20 0 0 0 20 0 1 0 36613562 51404800 6224 33554432000 4194304 7498468 140729431460816 140729431450952 140082316487653 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30711808 140729431463021 140729431463171 140729431463171 140729431465929 0 /proc/25887/statm: 12550 6224 733 807 0 5541 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 50200 KiB Current children cumulated memory: 24896 KiB [startup+0.309476 s]* /proc/loadavg: 0.00 0.01 0.05 3/189 25888 /proc/meminfo: memFree=21494456/32770624 swapFree=67108860/67108860 [pid=25887] ppid=25884 vsize=53252 memory=27800 CPUtime=0.3 cores=1,3,5,7 /proc/25887/stat : 25887 (MistralXCSP) R 25884 25887 25824 0 -1 4202496 7511 0 0 0 30 0 0 0 20 0 1 0 36613562 54530048 6950 33554432000 4194304 7498468 140729431460816 140729431450952 140082319966418 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30711808 140729431463021 140729431463171 140729431463171 140729431465929 0 /proc/25887/statm: 13313 6950 746 807 0 6304 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 53252 KiB Current children cumulated memory: 27800 KiB [startup+0.700345 s] /proc/loadavg: 0.00 0.01 0.05 3/189 25888 /proc/meminfo: memFree=21404060/32770624 swapFree=67108860/67108860 [pid=25887] ppid=25884 vsize=161528 memory=136376 CPUtime=0.68 cores=1,3,5,7 /proc/25887/stat : 25887 (MistralXCSP) R 25884 25887 25824 0 -1 4202496 34470 0 0 0 65 3 0 0 20 0 1 0 36613562 165404672 34094 33554432000 4194304 7498468 140729431460816 140729431451192 5890700 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30711808 140729431463021 140729431463171 140729431463171 140729431465929 0 /proc/25887/statm: 40382 34094 768 807 0 33373 0 Current children cumulated CPU time: 0.68 s Current children cumulated vsize: 161528 KiB Current children cumulated memory: 136376 KiB [startup+1.50037 s] /proc/loadavg: 0.00 0.01 0.05 3/189 25888 /proc/meminfo: memFree=21357680/32770624 swapFree=67108860/67108860 [pid=25887] ppid=25884 vsize=218456 memory=193136 CPUtime=1.49 cores=1,3,5,7 /proc/25887/stat : 25887 (MistralXCSP) R 25884 25887 25824 0 -1 4202496 48553 0 0 0 144 5 0 0 20 0 1 0 36613562 223698944 48284 33554432000 4194304 7498468 140729431460816 140729431451192 5772163 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30711808 140729431463021 140729431463171 140729431463171 140729431465929 0 /proc/25887/statm: 54614 48284 807 807 0 47605 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 218456 KiB Current children cumulated memory: 193136 KiB [startup+3.10951 s] /proc/loadavg: 0.32 0.08 0.07 3/189 25888 /proc/meminfo: memFree=21327068/32770624 swapFree=67108860/67108860 [pid=25887] ppid=25884 vsize=219412 memory=194296 CPUtime=3.09 cores=1,3,5,7 /proc/25887/stat : 25887 (MistralXCSP) R 25884 25887 25824 0 -1 4202496 67423 0 0 0 303 6 0 0 20 0 1 0 36613562 224677888 48574 33554432000 4194304 7498468 140729431460816 140729431451192 5164472 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30711808 140729431463021 140729431463171 140729431463171 140729431465929 0 /proc/25887/statm: 54853 48574 807 807 0 47844 0 Current children cumulated CPU time: 3.09 s Current children cumulated vsize: 219412 KiB Current children cumulated memory: 194296 KiB [startup+6.30039 s] /proc/loadavg: 0.32 0.08 0.07 3/189 25888 /proc/meminfo: memFree=21327336/32770624 swapFree=67108860/67108860 [pid=25887] ppid=25884 vsize=219808 memory=194732 CPUtime=6.28 cores=1,3,5,7 /proc/25887/stat : 25887 (MistralXCSP) R 25884 25887 25824 0 -1 4202496 87331 0 0 0 621 7 0 0 20 0 1 0 36613562 225083392 48683 33554432000 4194304 7498468 140729431460816 140729431455352 5838524 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30711808 140729431463021 140729431463171 140729431463171 140729431465929 0 /proc/25887/statm: 54952 48683 808 807 0 47943 0 Current children cumulated CPU time: 6.28 s Current children cumulated vsize: 219808 KiB Current children cumulated memory: 194732 KiB [startup+12.7004 s] /proc/loadavg: 0.46 0.11 0.08 3/189 25888 /proc/meminfo: memFree=21327732/32770624 swapFree=67108860/67108860 [pid=25887] ppid=25884 vsize=219940 memory=194840 CPUtime=12.69 cores=1,3,5,7 /proc/25887/stat : 25887 (MistralXCSP) R 25884 25887 25824 0 -1 4202496 107142 0 0 0 1261 8 0 0 20 0 1 0 36613562 225218560 48710 33554432000 4194304 7498468 140729431460816 140729431455832 4249682 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30711808 140729431463021 140729431463171 140729431463171 140729431465929 0 /proc/25887/statm: 54985 48710 808 807 0 47976 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 219940 KiB Current children cumulated memory: 194840 KiB [startup+25.5003 s] /proc/loadavg: 0.80 0.20 0.11 3/189 25888 /proc/meminfo: memFree=21327268/32770624 swapFree=67108860/67108860 [pid=25887] ppid=25884 vsize=219940 memory=194960 CPUtime=25.49 cores=1,3,5,7 /proc/25887/stat : 25887 (MistralXCSP) R 25884 25887 25824 0 -1 4202496 146714 0 0 0 2539 10 0 0 20 0 1 0 36613562 225218560 48740 33554432000 4194304 7498468 140729431460816 140729431455832 4314717 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30711808 140729431463021 140729431463171 140729431463171 140729431465929 0 /proc/25887/statm: 54985 48740 808 807 0 47976 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 219940 KiB Current children cumulated memory: 194960 KiB [startup+51.1095 s] /proc/loadavg: 1.21 0.35 0.16 3/189 25888 /proc/meminfo: memFree=21327652/32770624 swapFree=67108860/67108860 [pid=25887] ppid=25884 vsize=220072 memory=195072 CPUtime=51.1 cores=1,3,5,7 /proc/25887/stat : 25887 (MistralXCSP) R 25884 25887 25824 0 -1 4202496 165257 0 0 0 5099 11 0 0 20 0 1 0 36613562 225353728 48768 33554432000 4194304 7498468 140729431460816 140729431455832 4257880 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30711808 140729431463021 140729431463171 140729431463171 140729431465929 0 /proc/25887/statm: 55018 48768 808 807 0 48009 0 Current children cumulated CPU time: 51.1 s Current children cumulated vsize: 220072 KiB Current children cumulated memory: 195072 KiB [startup+102.3 s] /proc/loadavg: 1.66 0.60 0.25 3/190 25897 /proc/meminfo: memFree=21326856/32770624 swapFree=67108860/67108860 [pid=25887] ppid=25884 vsize=220672 memory=195500 CPUtime=102.28 cores=1,3,5,7 /proc/25887/stat : 25887 (MistralXCSP) R 25884 25887 25824 0 -1 4202496 179620 0 0 0 10217 11 0 0 20 0 1 0 36613562 225968128 48875 33554432000 4194304 7498468 140729431460816 140729431455832 4542238 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30711808 140729431463021 140729431463171 140729431463171 140729431465929 0 /proc/25887/statm: 55168 48875 808 807 0 48159 0 Current children cumulated CPU time: 102.28 s Current children cumulated vsize: 220672 KiB Current children cumulated memory: 195500 KiB [startup+162.3 s] /proc/loadavg: 1.87 0.86 0.36 3/189 25898 /proc/meminfo: memFree=21327876/32770624 swapFree=67108860/67108860 [pid=25887] ppid=25884 vsize=220672 memory=195648 CPUtime=162.26 cores=1,3,5,7 /proc/25887/stat : 25887 (MistralXCSP) R 25884 25887 25824 0 -1 4202496 186665 0 0 0 16215 11 0 0 20 0 1 0 36613562 225968128 48912 33554432000 4194304 7498468 140729431460816 140729431455832 5164386 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30711808 140729431463021 140729431463171 140729431463171 140729431465929 0 /proc/25887/statm: 55168 48912 808 807 0 48159 0 Current children cumulated CPU time: 162.26 s Current children cumulated vsize: 220672 KiB Current children cumulated memory: 195648 KiB [startup+222.3 s] /proc/loadavg: 1.95 1.07 0.47 3/190 25900 /proc/meminfo: memFree=21327116/32770624 swapFree=67108860/67108860 [pid=25887] ppid=25884 vsize=220672 memory=195648 CPUtime=222.28 cores=1,3,5,7 /proc/25887/stat : 25887 (MistralXCSP) R 25884 25887 25824 0 -1 4202496 187314 0 0 0 22216 12 0 0 20 0 1 0 36613562 225968128 48912 33554432000 4194304 7498468 140729431460816 140729431455832 4258051 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30711808 140729431463021 140729431463171 140729431463171 140729431465929 0 /proc/25887/statm: 55168 48912 808 807 0 48159 0 Current children cumulated CPU time: 222.28 s Current children cumulated vsize: 220672 KiB Current children cumulated memory: 195648 KiB [startup+282.3 s] /proc/loadavg: 1.98 1.24 0.56 3/190 25901 /proc/meminfo: memFree=21327128/32770624 swapFree=67108860/67108860 [pid=25887] ppid=25884 vsize=220672 memory=195648 CPUtime=282.29 cores=1,3,5,7 /proc/25887/stat : 25887 (MistralXCSP) R 25884 25887 25824 0 -1 4202496 187314 0 0 0 28217 12 0 0 20 0 1 0 36613562 225968128 48912 33554432000 4194304 7498468 140729431460816 140729431455832 4542193 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30711808 140729431463021 140729431463171 140729431463171 140729431465929 0 /proc/25887/statm: 55168 48912 808 807 0 48159 0 Current children cumulated CPU time: 282.29 s Current children cumulated vsize: 220672 KiB Current children cumulated memory: 195648 KiB [startup+342.3 s] /proc/loadavg: 1.99 1.37 0.65 3/188 25902 /proc/meminfo: memFree=21327100/32770624 swapFree=67108860/67108860 [pid=25887] ppid=25884 vsize=220672 memory=195648 CPUtime=342.3 cores=1,3,5,7 /proc/25887/stat : 25887 (MistralXCSP) R 25884 25887 25824 0 -1 4202496 187699 0 0 0 34218 12 0 0 20 0 1 0 36613562 225968128 48912 33554432000 4194304 7498468 140729431460816 140729431455832 5585351 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30711808 140729431463021 140729431463171 140729431463171 140729431465929 0 /proc/25887/statm: 55168 48912 808 807 0 48159 0 Current children cumulated CPU time: 342.3 s Current children cumulated vsize: 220672 KiB Current children cumulated memory: 195648 KiB [startup+402.3 s] /proc/loadavg: 2.00 1.49 0.74 3/187 25903 /proc/meminfo: memFree=21327116/32770624 swapFree=67108860/67108860 [pid=25887] ppid=25884 vsize=220672 memory=195648 CPUtime=402.3 cores=1,3,5,7 /proc/25887/stat : 25887 (MistralXCSP) R 25884 25887 25824 0 -1 4202496 187962 0 0 0 40218 12 0 0 20 0 1 0 36613562 225968128 48912 33554432000 4194304 7498468 140729431460816 140729431455832 4580017 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30711808 140729431463021 140729431463171 140729431463171 140729431465929 0 /proc/25887/statm: 55168 48912 808 807 0 48159 0 Current children cumulated CPU time: 402.3 s Current children cumulated vsize: 220672 KiB Current children cumulated memory: 195648 KiB [startup+462.3 s] /proc/loadavg: 2.00 1.58 0.82 3/187 25904 /proc/meminfo: memFree=21327264/32770624 swapFree=67108860/67108860 [pid=25887] ppid=25884 vsize=220672 memory=195648 CPUtime=462.31 cores=1,3,5,7 /proc/25887/stat : 25887 (MistralXCSP) R 25884 25887 25824 0 -1 4202496 188401 0 0 0 46219 12 0 0 20 0 1 0 36613562 225968128 48912 33554432000 4194304 7498468 140729431460816 140729431455832 5573824 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30711808 140729431463021 140729431463171 140729431463171 140729431465929 0 /proc/25887/statm: 55168 48912 808 807 0 48159 0 Current children cumulated CPU time: 462.31 s Current children cumulated vsize: 220672 KiB Current children cumulated memory: 195648 KiB ################ # More data... # ################ /proc/25887/statm: 55168 48927 808 807 0 48159 0 Current children cumulated CPU time: 1602.44 s Current children cumulated vsize: 220672 KiB Current children cumulated memory: 195708 KiB [startup+1662.3 s] /proc/loadavg: 2.00 1.99 1.69 3/187 25939 /proc/meminfo: memFree=21326368/32770624 swapFree=67108860/67108860 [pid=25887] ppid=25884 vsize=220672 memory=195708 CPUtime=1662.45 cores=1,3,5,7 /proc/25887/stat : 25887 (MistralXCSP) R 25884 25887 25824 0 -1 4202496 194185 0 0 0 166233 12 0 0 20 0 1 0 36613562 225968128 48927 33554432000 4194304 7498468 140729431460816 140729431455832 5838464 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30711808 140729431463021 140729431463171 140729431463171 140729431465929 0 /proc/25887/statm: 55168 48927 808 807 0 48159 0 Current children cumulated CPU time: 1662.45 s Current children cumulated vsize: 220672 KiB Current children cumulated memory: 195708 KiB [startup+1722.3 s] /proc/loadavg: 2.00 1.99 1.71 3/187 25940 /proc/meminfo: memFree=21326368/32770624 swapFree=67108860/67108860 [pid=25887] ppid=25884 vsize=220672 memory=195708 CPUtime=1722.45 cores=1,3,5,7 /proc/25887/stat : 25887 (MistralXCSP) R 25884 25887 25824 0 -1 4202496 194185 0 0 0 172233 12 0 0 20 0 1 0 36613562 225968128 48927 33554432000 4194304 7498468 140729431460816 140729431455832 5770556 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30711808 140729431463021 140729431463171 140729431463171 140729431465929 0 /proc/25887/statm: 55168 48927 808 807 0 48159 0 Current children cumulated CPU time: 1722.45 s Current children cumulated vsize: 220672 KiB Current children cumulated memory: 195708 KiB [startup+1782.3 s] /proc/loadavg: 2.00 1.99 1.73 3/187 25942 /proc/meminfo: memFree=21326492/32770624 swapFree=67108860/67108860 [pid=25887] ppid=25884 vsize=220672 memory=195708 CPUtime=1782.46 cores=1,3,5,7 /proc/25887/stat : 25887 (MistralXCSP) R 25884 25887 25824 0 -1 4202496 194591 0 0 0 178234 12 0 0 20 0 1 0 36613562 225968128 48927 33554432000 4194304 7498468 140729431460816 140729431455832 5772170 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30711808 140729431463021 140729431463171 140729431463171 140729431465929 0 /proc/25887/statm: 55168 48927 808 807 0 48159 0 Current children cumulated CPU time: 1782.46 s Current children cumulated vsize: 220672 KiB Current children cumulated memory: 195708 KiB [startup+1842.3 s] /proc/loadavg: 2.00 1.99 1.75 3/187 25943 /proc/meminfo: memFree=21326616/32770624 swapFree=67108860/67108860 [pid=25887] ppid=25884 vsize=220672 memory=195708 CPUtime=1842.46 cores=1,3,5,7 /proc/25887/stat : 25887 (MistralXCSP) R 25884 25887 25824 0 -1 4202496 194713 0 0 0 184234 12 0 0 20 0 1 0 36613562 225968128 48927 33554432000 4194304 7498468 140729431460816 140729431455832 5613399 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30711808 140729431463021 140729431463171 140729431463171 140729431465929 0 /proc/25887/statm: 55168 48927 808 807 0 48159 0 Current children cumulated CPU time: 1842.46 s Current children cumulated vsize: 220672 KiB Current children cumulated memory: 195708 KiB [startup+1902.3 s] /proc/loadavg: 2.00 1.99 1.76 3/187 25951 /proc/meminfo: memFree=21325556/32770624 swapFree=67108860/67108860 [pid=25887] ppid=25884 vsize=220672 memory=195712 CPUtime=1902.47 cores=1,3,5,7 /proc/25887/stat : 25887 (MistralXCSP) R 25884 25887 25824 0 -1 4202496 195368 0 0 0 190235 12 0 0 20 0 1 0 36613562 225968128 48928 33554432000 4194304 7498468 140729431460816 140729431455832 5164340 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30711808 140729431463021 140729431463171 140729431463171 140729431465929 0 /proc/25887/statm: 55168 48928 808 807 0 48159 0 Current children cumulated CPU time: 1902.47 s Current children cumulated vsize: 220672 KiB Current children cumulated memory: 195712 KiB [startup+1962.3 s] /proc/loadavg: 2.00 1.99 1.78 3/187 25974 /proc/meminfo: memFree=21324672/32770624 swapFree=67108860/67108860 [pid=25887] ppid=25884 vsize=220672 memory=195712 CPUtime=1962.48 cores=1,3,5,7 /proc/25887/stat : 25887 (MistralXCSP) R 25884 25887 25824 0 -1 4202496 195368 0 0 0 196236 12 0 0 20 0 1 0 36613562 225968128 48928 33554432000 4194304 7498468 140729431460816 140729431455832 4257847 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30711808 140729431463021 140729431463171 140729431463171 140729431465929 0 /proc/25887/statm: 55168 48928 808 807 0 48159 0 Current children cumulated CPU time: 1962.48 s Current children cumulated vsize: 220672 KiB Current children cumulated memory: 195712 KiB [startup+2022.3 s] /proc/loadavg: 2.00 1.99 1.79 3/187 25975 /proc/meminfo: memFree=21325384/32770624 swapFree=67108860/67108860 [pid=25887] ppid=25884 vsize=220672 memory=195732 CPUtime=2022.49 cores=1,3,5,7 /proc/25887/stat : 25887 (MistralXCSP) R 25884 25887 25824 0 -1 4202496 195896 0 0 0 202237 12 0 0 20 0 1 0 36613562 225968128 48933 33554432000 4194304 7498468 140729431460816 140729431455832 4249936 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30711808 140729431463021 140729431463171 140729431463171 140729431465929 0 /proc/25887/statm: 55168 48933 808 807 0 48159 0 Current children cumulated CPU time: 2022.49 s Current children cumulated vsize: 220672 KiB Current children cumulated memory: 195732 KiB [startup+2082.3 s] /proc/loadavg: 2.00 1.99 1.80 3/187 25976 /proc/meminfo: memFree=21325632/32770624 swapFree=67108860/67108860 [pid=25887] ppid=25884 vsize=220672 memory=195732 CPUtime=2082.49 cores=1,3,5,7 /proc/25887/stat : 25887 (MistralXCSP) R 25884 25887 25824 0 -1 4202496 195898 0 0 0 208237 12 0 0 20 0 1 0 36613562 225968128 48933 33554432000 4194304 7498468 140729431460816 140729431455832 4253120 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30711808 140729431463021 140729431463171 140729431463171 140729431465929 0 /proc/25887/statm: 55168 48933 808 807 0 48159 0 Current children cumulated CPU time: 2082.49 s Current children cumulated vsize: 220672 KiB Current children cumulated memory: 195732 KiB [startup+2142.3 s] /proc/loadavg: 2.47 2.14 1.87 3/187 25977 /proc/meminfo: memFree=21325632/32770624 swapFree=67108860/67108860 [pid=25887] ppid=25884 vsize=220672 memory=195740 CPUtime=2142.5 cores=1,3,5,7 /proc/25887/stat : 25887 (MistralXCSP) R 25884 25887 25824 0 -1 4202496 196430 0 0 0 214238 12 0 0 20 0 1 0 36613562 225968128 48935 33554432000 4194304 7498468 140729431460816 140729431455832 4249682 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30711808 140729431463021 140729431463171 140729431463171 140729431465929 0 /proc/25887/statm: 55168 48935 808 807 0 48159 0 Current children cumulated CPU time: 2142.5 s Current children cumulated vsize: 220672 KiB Current children cumulated memory: 195740 KiB [startup+2202.3 s] /proc/loadavg: 2.17 2.11 1.87 3/187 25978 /proc/meminfo: memFree=21325756/32770624 swapFree=67108860/67108860 [pid=25887] ppid=25884 vsize=220672 memory=195740 CPUtime=2202.51 cores=1,3,5,7 /proc/25887/stat : 25887 (MistralXCSP) R 25884 25887 25824 0 -1 4202496 196430 0 0 0 220239 12 0 0 20 0 1 0 36613562 225968128 48935 33554432000 4194304 7498468 140729431460816 140729431455832 5585766 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30711808 140729431463021 140729431463171 140729431463171 140729431465929 0 /proc/25887/statm: 55168 48935 808 807 0 48159 0 Current children cumulated CPU time: 2202.51 s Current children cumulated vsize: 220672 KiB Current children cumulated memory: 195740 KiB [startup+2262.3 s] /proc/loadavg: 2.06 2.09 1.88 3/187 25979 /proc/meminfo: memFree=21325500/32770624 swapFree=67108860/67108860 [pid=25887] ppid=25884 vsize=220672 memory=195744 CPUtime=2262.51 cores=1,3,5,7 /proc/25887/stat : 25887 (MistralXCSP) R 25884 25887 25824 0 -1 4202496 196963 0 0 0 226239 12 0 0 20 0 1 0 36613562 225968128 48936 33554432000 4194304 7498468 140729431460816 140729431455832 4249936 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30711808 140729431463021 140729431463171 140729431463171 140729431465929 0 /proc/25887/statm: 55168 48936 808 807 0 48159 0 Current children cumulated CPU time: 2262.51 s Current children cumulated vsize: 220672 KiB Current children cumulated memory: 195744 KiB [startup+2322.3 s] /proc/loadavg: 2.02 2.07 1.88 3/187 25980 /proc/meminfo: memFree=21325732/32770624 swapFree=67108860/67108860 [pid=25887] ppid=25884 vsize=220672 memory=195744 CPUtime=2322.52 cores=1,3,5,7 /proc/25887/stat : 25887 (MistralXCSP) R 25884 25887 25824 0 -1 4202496 196963 0 0 0 232240 12 0 0 20 0 1 0 36613562 225968128 48936 33554432000 4194304 7498468 140729431460816 140729431455832 5791406 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30711808 140729431463021 140729431463171 140729431463171 140729431465929 0 /proc/25887/statm: 55168 48936 808 807 0 48159 0 Current children cumulated CPU time: 2322.52 s Current children cumulated vsize: 220672 KiB Current children cumulated memory: 195744 KiB [startup+2382.3 s] /proc/loadavg: 2.01 2.06 1.89 3/187 25981 /proc/meminfo: memFree=21326088/32770624 swapFree=67108860/67108860 [pid=25887] ppid=25884 vsize=220672 memory=195748 CPUtime=2382.53 cores=1,3,5,7 /proc/25887/stat : 25887 (MistralXCSP) R 25884 25887 25824 0 -1 4202496 197496 0 0 0 238241 12 0 0 20 0 1 0 36613562 225968128 48937 33554432000 4194304 7498468 140729431460816 140729431455832 4258039 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30711808 140729431463021 140729431463171 140729431463171 140729431465929 0 /proc/25887/statm: 55168 48937 808 807 0 48159 0 Current children cumulated CPU time: 2382.53 s Current children cumulated vsize: 220672 KiB Current children cumulated memory: 195748 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2399.8 s] /proc/loadavg: 2.01 2.06 1.89 3/187 25981 /proc/meminfo: memFree=21326088/32770624 swapFree=67108860/67108860 [pid=25887] ppid=25884 vsize=220672 memory=195748 CPUtime=2400.03 cores=1,3,5,7 /proc/25887/stat : 25887 (MistralXCSP) R 25884 25887 25824 0 -1 4202496 197496 0 0 0 239991 12 0 0 20 0 1 0 36613562 225968128 48937 33554432000 4194304 7498468 140729431460816 140729431455832 5613456 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30711808 140729431463021 140729431463171 140729431463171 140729431465929 0 /proc/25887/statm: 55168 48937 808 807 0 48159 0 Current children cumulated CPU time: 2400.03 s Current children cumulated vsize: 220672 KiB Current children cumulated memory: 195748 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2399.8 s] # the end of solver process 25887 was just reported to runsolver # cumulated CPU time of all completed processes: user=2399.92 s, system=0.129014 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 2399.8 CPU time (s): 2400.04 CPU user time (s): 2399.92 CPU system time (s): 0.129014 CPU usage (%): 100.01 Max. virtual memory (cumulated for all children) (KiB): 220672 Max. memory (cumulated for all children) (KiB): 195748 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.92 system time used= 0.129014 maximum resident set size= 195768 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 197535 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= 59 involuntary context switches= 657 # summary of solver processes directly reported to runsolver: # pid: 25887 # total CPU time (s): 2400.04 # total CPU user time (s): 2399.92 # total CPU system time (s): 0.129014 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.53896 second user time and 15.7445 second system time The end
Begin job on node104 at 2018-07-21 18:28:24 IDJOB=4289290 IDBENCH=141049 IDSOLVER=2741 FILE ID=node104/4289290-1532190504 RUNJOBID= node104-1532190502-25856 PBS_JOBID= 21018939 Free space on /tmp= 57240 MiB SOLVER NAME= Mistral-2.0 2018-06-15 BENCH NAME= XCSP18/NurseRostering/NurseRostering-10_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-4289290-1532190504/watcher-4289290-1532190504 -o /tmp/evaluation-result-4289290-1532190504/solver-4289290-1532190504 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532190502-25856 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1076978192 HOME/instance-4289290-1532190504.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8e8c57bbf90dbce08cf7a3cf301ec8dd RANDOM SEED=1076978192 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: 21520728 kB MemAvailable: 31895540 kB Buffers: 215144 kB Cached: 10373984 kB SwapCached: 0 kB Active: 1794280 kB Inactive: 8891460 kB Active(anon): 100536 kB Inactive(anon): 17040 kB Active(file): 1693744 kB Inactive(file): 8874420 kB Unevictable: 7224 kB Mlocked: 7224 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 17892 kB Writeback: 0 kB AnonPages: 104988 kB Mapped: 36020 kB Shmem: 17036 kB Slab: 260492 kB SReclaimable: 235108 kB SUnreclaim: 25384 kB KernelStack: 3136 kB PageTables: 4944 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 389548 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 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= 57228 MiB End job on node104 at 2018-07-21 19:08:24