Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-2.0 2018-08-01 | SAT (TO) | 19811 | 2519.88 | 2520.01 |
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 01082018 5.49/5.52 o 30847 5.49/5.53 o 30746 5.49/5.53 o 30645 5.49/5.54 o 30544 5.49/5.55 o 30443 5.49/5.55 o 30342 5.49/5.56 o 30241 5.49/5.58 o 30140 5.69/5.70 o 30039 5.79/5.83 o 30038 5.79/5.84 o 29938 11.49/11.53 o 29837 11.49/11.54 o 29737 11.49/11.54 o 29736 11.49/11.55 o 29635 11.49/11.56 o 29534 11.49/11.56 o 29533 11.49/11.57 o 29532 11.49/11.58 o 29531 11.49/11.59 o 29530 11.59/11.60 o 29429 11.59/11.61 o 29428 11.59/11.62 o 29328 11.59/11.63 o 29327 11.59/11.65 o 29326 11.59/11.65 o 29227 11.59/11.66 o 29226 11.59/11.67 o 29126 11.59/11.69 o 29025 11.69/11.74 o 29024 11.69/11.75 o 29022 11.69/11.76 o 28924 11.88/11.97 o 28922 21.28/21.36 o 28822 21.28/21.37 o 28720 21.28/21.38 o 28620 21.48/21.51 o 28519 21.48/21.58 o 28518 21.78/21.86 o 28416 21.99/22.09 o 28415 22.38/22.47 o 28317 23.69/23.73 o 28217 23.69/23.74 o 28116 23.69/23.75 o 28015 23.69/23.76 o 28014 23.69/23.78 o 27913 23.79/23.80 o 27812 23.79/23.82 o 27811 23.79/23.84 o 27710 23.89/23.95 o 27610 23.89/23.96 o 27609 24.10/24.18 o 27509 24.29/24.33 o 27508 24.29/24.34 o 27408 26.59/26.61 o 27407 26.59/26.62 o 27306 26.59/26.62 o 27205 26.59/26.63 o 27104 26.69/26.74 o 27004 27.10/27.15 o 27003 29.49/29.57 o 27001 29.49/29.58 o 26900 29.49/29.59 o 26801 29.59/29.66 o 26800 29.59/29.68 o 26799 29.59/29.69 o 26699 29.99/30.05 o 26698 34.89/34.96 o 26598 41.78/41.83 o 26597 41.78/41.84 o 26497 41.78/41.84 o 26496 41.99/42.08 o 26396 50.78/50.82 o 26395 50.78/50.88 o 26294 50.88/50.95 o 26193 50.99/51.06 o 26093 51.09/51.15 o 25992 51.38/51.40 o 25891 62.78/62.81 o 25890 64.28/64.36 o 25789 64.28/64.37 o 25788 64.38/64.40 o 25787 64.38/64.41 o 25786 64.38/64.46 o 25686 64.38/64.47 o 25685 64.38/64.48 o 25684 64.48/64.58 o 25683 72.19/72.20 o 25582 78.69/78.72 o 25481 78.69/78.79 o 25380 78.89/78.95 o 25379 79.10/79.14 o 25275 79.29/79.33 o 25174 79.79/79.84 o 25173 98.79/98.88 o 25072 98.79/98.89 o 24971 98.89/98.90 o 24871 98.89/98.90 o 24771 99.29/99.33 o 24768 127.49/127.55 o 24668 127.49/127.56 o 24667 127.49/127.57 o 24568 127.49/127.58 o 24566 127.49/127.58 o 24565 127.49/127.59 o 24464 127.59/127.60 o 24463 127.89/127.91 o 24362 127.89/127.93 o 24361 128.00/128.03 o 24261 129.18/129.20 o 24163 162.88/162.94 o 24160 172.99/173.07 o 24059 172.99/173.07 o 24058 172.99/173.08 o 24057 172.99/173.09 o 23957 172.99/173.10 o 23857 173.09/173.16 o 23756 173.18/173.28 o 23656 173.48/173.53 o 23555 174.18/174.22 o 23455 177.77/177.82 o 23356 188.87/188.90 o 23255 218.25/218.39 o 23154 218.25/218.40 o 23053 218.35/218.40 o 22953 218.45/218.50 o 22952 218.75/218.87 o 22951 218.75/218.89 o 22851 218.96/219.08 o 22850 219.45/219.58 o 22749 220.15/220.22 o 22648 221.35/221.40 o 22647 280.24/280.34 o 22546 280.24/280.34 o 22545 280.24/280.36 o 22444 280.34/280.46 o 22343 280.44/280.52 o 22242 365.74/365.89 o 22141 365.74/365.89 o 22040 365.84/365.90 o 21939 366.64/366.71 o 21838 370.24/370.33 o 21835 371.34/371.43 o 21734 374.24/374.37 o 21732 374.24/374.38 o 21634 374.24/374.38 o 21633 374.34/374.41 o 21631 390.94/391.03 o 21530 394.24/394.36 o 21432 394.44/394.52 o 21431 394.64/394.77 o 21429 491.94/492.01 o 21340 491.94/492.01 o 21339 491.94/492.02 o 21338 492.04/492.18 o 21337 492.13/492.21 o 21336 492.13/492.28 o 21335 705.72/705.82 o 21334 705.72/705.84 o 21333 715.42/715.56 o 21233 733.52/733.69 o 21133 764.52/764.61 o 21033 870.83/870.95 o 21032 870.83/870.97 o 21031 870.83/870.97 o 20931 870.83/870.99 o 20930 879.32/879.47 o 20929 913.82/913.99 o 20828 957.42/957.59 o 20727 1101.93/1102.04 o 20627 1101.93/1102.06 o 20526 1106.62/1106.71 o 20525 1106.62/1106.76 o 20425 1108.12/1108.24 o 20424 1128.72/1128.85 o 20323 1143.61/1143.73 o 20223 1149.51/1149.60 o 20222 1152.11/1152.23 o 20221 1273.41/1273.50 o 20120 1362.50/1362.62 o 20117 1486.91/1487.09 o 20116 1487.10/1487.21 o 20014 1487.10/1487.21 o 20013 1487.60/1487.79 o 19913 1504.01/1504.11 o 19912 1833.28/1833.50 o 19811 2519.86/2520.01 s SATISFIABLE 2519.86/2520.01 v <instantiation type="solution"> 2519.86/2520.01 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> 2519.86/2520.01 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> 2519.86/2520.01 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 (1852 MiB free) memory of node 1: 16384 MiB (3361 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303715-1533994251/watcher-4303715-1533994251 -o /tmp/evaluation-result-4303715-1533994251/solver-4303715-1533994251 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1533991720-20083 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 457921164 HOME/instance-4303715-1533994251.xml running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=20467, runsolver pid=20464 [startup+0.100121 s]* /proc/loadavg: 2.00 2.01 1.95 3/187 20468 /proc/meminfo: memFree=5325504/32770624 swapFree=67108792/67108860 [pid=20467] ppid=20464 vsize=43408 memory=18100 CPUtime=0.1 cores=1,3,5,7 /proc/20467/stat : 20467 (MistralXCSP) R 20464 20467 20051 0 -1 4202496 4978 0 0 0 10 0 0 0 20 0 1 0 216988357 44449792 4525 33554432000 4194304 7499544 140724598174384 140724598171384 140137149222439 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 15310848 140724598178926 140724598179075 140724598179075 140724598181833 0 /proc/20467/statm: 10852 4525 732 807 0 3843 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 43408 KiB Current children cumulated memory: 18100 KiB [startup+0.209699 s]* /proc/loadavg: 2.00 2.01 1.95 3/187 20468 /proc/meminfo: memFree=5318216/32770624 swapFree=67108792/67108860 [pid=20467] ppid=20464 vsize=50504 memory=25160 CPUtime=0.2 cores=1,3,5,7 /proc/20467/stat : 20467 (MistralXCSP) R 20464 20467 20051 0 -1 4202496 6827 0 0 0 20 0 0 0 20 0 1 0 216988357 51716096 6290 33554432000 4194304 7499544 140724598174384 140724598165048 4564151 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 15310848 140724598178926 140724598179075 140724598179075 140724598181833 0 /proc/20467/statm: 12626 6290 732 807 0 5617 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 50504 KiB Current children cumulated memory: 25160 KiB [startup+0.309511 s]* /proc/loadavg: 2.00 2.01 1.95 3/187 20468 /proc/meminfo: memFree=5314868/32770624 swapFree=67108792/67108860 [pid=20467] ppid=20464 vsize=53524 memory=28328 CPUtime=0.3 cores=1,3,5,7 /proc/20467/stat : 20467 (MistralXCSP) R 20464 20467 20051 0 -1 4202496 7595 0 0 0 30 0 0 0 20 0 1 0 216988357 54808576 7082 33554432000 4194304 7499544 140724598174384 140724598165048 4564160 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 15310848 140724598178926 140724598179075 140724598179075 140724598181833 0 /proc/20467/statm: 13381 7082 745 807 0 6372 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 53524 KiB Current children cumulated memory: 28328 KiB [startup+0.700274 s] /proc/loadavg: 2.00 2.01 1.95 3/187 20468 /proc/meminfo: memFree=5224100/32770624 swapFree=67108792/67108860 [pid=20467] ppid=20464 vsize=161528 memory=136368 CPUtime=0.69 cores=1,3,5,7 /proc/20467/stat : 20467 (MistralXCSP) R 20464 20467 20051 0 -1 4202496 33957 0 0 0 65 4 0 0 20 0 1 0 216988357 165404672 34092 33554432000 4194304 7499544 140724598174384 140724598164392 5650235 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 15310848 140724598178926 140724598179075 140724598179075 140724598181833 0 /proc/20467/statm: 40382 34092 766 807 0 33373 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 161528 KiB Current children cumulated memory: 136368 KiB [startup+1.50034 s] /proc/loadavg: 2.00 2.01 1.95 3/187 20468 /proc/meminfo: memFree=5178168/32770624 swapFree=67108792/67108860 [pid=20467] ppid=20464 vsize=218456 memory=193128 CPUtime=1.49 cores=1,3,5,7 /proc/20467/stat : 20467 (MistralXCSP) R 20464 20467 20051 0 -1 4202496 48044 0 0 0 143 6 0 0 20 0 1 0 216988357 223698944 48282 33554432000 4194304 7499544 140724598174384 140724598168920 5163875 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 15310848 140724598178926 140724598179075 140724598179075 140724598181833 0 /proc/20467/statm: 54614 48282 809 807 0 47605 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 218456 KiB Current children cumulated memory: 193128 KiB [startup+3.10935 s] /proc/loadavg: 2.00 2.01 1.95 3/187 20468 /proc/meminfo: memFree=5148092/32770624 swapFree=67108792/67108860 [pid=20467] ppid=20464 vsize=219412 memory=194336 CPUtime=3.1 cores=1,3,5,7 /proc/20467/stat : 20467 (MistralXCSP) R 20464 20467 20051 0 -1 4202496 66886 0 0 0 304 6 0 0 20 0 1 0 216988357 224677888 48584 33554432000 4194304 7499544 140724598174384 140724598168664 4580173 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 15310848 140724598178926 140724598179075 140724598179075 140724598181833 0 /proc/20467/statm: 54853 48584 809 807 0 47844 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 219412 KiB Current children cumulated memory: 194336 KiB [startup+6.30034 s] /proc/loadavg: 2.00 2.01 1.95 3/187 20468 /proc/meminfo: memFree=5147888/32770624 swapFree=67108792/67108860 [pid=20467] ppid=20464 vsize=219808 memory=194724 CPUtime=6.29 cores=1,3,5,7 /proc/20467/stat : 20467 (MistralXCSP) R 20464 20467 20051 0 -1 4202496 87176 0 0 0 622 7 0 0 20 0 1 0 216988357 225083392 48681 33554432000 4194304 7499544 140724598174384 140724598168504 5648157 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 15310848 140724598178926 140724598179075 140724598179075 140724598181833 0 /proc/20467/statm: 54952 48681 810 807 0 47943 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 219808 KiB Current children cumulated memory: 194724 KiB [startup+12.7002 s] /proc/loadavg: 2.00 2.01 1.95 3/187 20468 /proc/meminfo: memFree=5147812/32770624 swapFree=67108792/67108860 [pid=20467] ppid=20464 vsize=219940 memory=194848 CPUtime=12.68 cores=1,3,5,7 /proc/20467/stat : 20467 (MistralXCSP) R 20464 20467 20051 0 -1 4202496 106955 0 0 0 1260 8 0 0 20 0 1 0 216988357 225218560 48712 33554432000 4194304 7499544 140724598174384 140724598169400 4258023 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 15310848 140724598178926 140724598179075 140724598179075 140724598181833 0 /proc/20467/statm: 54985 48712 810 807 0 47976 0 Current children cumulated CPU time: 12.68 s Current children cumulated vsize: 219940 KiB Current children cumulated memory: 194848 KiB [startup+25.5002 s] /proc/loadavg: 2.00 2.01 1.95 3/187 20468 /proc/meminfo: memFree=5147688/32770624 swapFree=67108792/67108860 [pid=20467] ppid=20464 vsize=219940 memory=194968 CPUtime=25.49 cores=1,3,5,7 /proc/20467/stat : 20467 (MistralXCSP) R 20464 20467 20051 0 -1 4202496 146464 0 0 0 2539 10 0 0 20 0 1 0 216988357 225218560 48742 33554432000 4194304 7499544 140724598174384 140724598169400 5838028 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 15310848 140724598178926 140724598179075 140724598179075 140724598181833 0 /proc/20467/statm: 54985 48742 810 807 0 47976 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 219940 KiB Current children cumulated memory: 194968 KiB [startup+51.1095 s] /proc/loadavg: 2.00 2.01 1.95 3/187 20468 /proc/meminfo: memFree=5146152/32770624 swapFree=67108792/67108860 [pid=20467] ppid=20464 vsize=220072 memory=195060 CPUtime=51.09 cores=1,3,5,7 /proc/20467/stat : 20467 (MistralXCSP) R 20464 20467 20051 0 -1 4202496 166372 0 0 0 5098 11 0 0 20 0 1 0 216988357 225353728 48765 33554432000 4194304 7499544 140724598174384 140724598169400 4405316 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 15310848 140724598178926 140724598179075 140724598179075 140724598181833 0 /proc/20467/statm: 55018 48765 810 807 0 48009 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 220072 KiB Current children cumulated memory: 195060 KiB [startup+102.3 s] /proc/loadavg: 2.00 2.01 1.95 3/187 20469 /proc/meminfo: memFree=5147900/32770624 swapFree=67108792/67108860 [pid=20467] ppid=20464 vsize=220672 memory=195596 CPUtime=102.29 cores=1,3,5,7 /proc/20467/stat : 20467 (MistralXCSP) R 20464 20467 20051 0 -1 4202496 186321 0 0 0 10216 13 0 0 20 0 1 0 216988357 225968128 48899 33554432000 4194304 7499544 140724598174384 140724598169400 5584982 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 15310848 140724598178926 140724598179075 140724598179075 140724598181833 0 /proc/20467/statm: 55168 48899 810 807 0 48159 0 Current children cumulated CPU time: 102.29 s Current children cumulated vsize: 220672 KiB Current children cumulated memory: 195596 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.01 1.95 3/187 20470 /proc/meminfo: memFree=5148360/32770624 swapFree=67108792/67108860 [pid=20467] ppid=20464 vsize=220672 memory=195600 CPUtime=162.28 cores=1,3,5,7 /proc/20467/stat : 20467 (MistralXCSP) R 20464 20467 20051 0 -1 4202496 205918 0 0 0 16214 14 0 0 20 0 1 0 216988357 225968128 48900 33554432000 4194304 7499544 140724598174384 140724598169400 4258057 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 15310848 140724598178926 140724598179075 140724598179075 140724598181833 0 /proc/20467/statm: 55168 48900 810 807 0 48159 0 Current children cumulated CPU time: 162.28 s Current children cumulated vsize: 220672 KiB Current children cumulated memory: 195600 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.01 1.95 3/187 20471 /proc/meminfo: memFree=5147192/32770624 swapFree=67108792/67108860 [pid=20467] ppid=20464 vsize=220672 memory=195600 CPUtime=222.25 cores=1,3,5,7 /proc/20467/stat : 20467 (MistralXCSP) R 20464 20467 20051 0 -1 4202496 218201 0 0 0 22211 14 0 0 20 0 1 0 216988357 225968128 48900 33554432000 4194304 7499544 140724598174384 140724598169400 4580576 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 15310848 140724598178926 140724598179075 140724598179075 140724598181833 0 /proc/20467/statm: 55168 48900 810 807 0 48159 0 Current children cumulated CPU time: 222.25 s Current children cumulated vsize: 220672 KiB Current children cumulated memory: 195600 KiB [startup+282.3 s] /proc/loadavg: 2.29 2.08 1.98 3/187 20472 /proc/meminfo: memFree=5147408/32770624 swapFree=67108792/67108860 [pid=20467] ppid=20464 vsize=220672 memory=195656 CPUtime=282.24 cores=1,3,5,7 /proc/20467/stat : 20467 (MistralXCSP) R 20464 20467 20051 0 -1 4202496 218983 0 0 0 28210 14 0 0 20 0 1 0 216988357 225968128 48914 33554432000 4194304 7499544 140724598174384 140724598169400 4249946 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 15310848 140724598178926 140724598179075 140724598179075 140724598181833 0 /proc/20467/statm: 55168 48914 810 807 0 48159 0 Current children cumulated CPU time: 282.24 s Current children cumulated vsize: 220672 KiB Current children cumulated memory: 195656 KiB [startup+342.3 s] /proc/loadavg: 2.34 2.15 2.01 3/187 20473 /proc/meminfo: memFree=5147232/32770624 swapFree=67108792/67108860 [pid=20467] ppid=20464 vsize=220672 memory=195656 CPUtime=342.24 cores=1,3,5,7 /proc/20467/stat : 20467 (MistralXCSP) R 20464 20467 20051 0 -1 4202496 219413 0 0 0 34210 14 0 0 20 0 1 0 216988357 225968128 48914 33554432000 4194304 7499544 140724598174384 140724598169400 4258061 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 15310848 140724598178926 140724598179075 140724598179075 140724598181833 0 /proc/20467/statm: 55168 48914 810 807 0 48159 0 Current children cumulated CPU time: 342.24 s Current children cumulated vsize: 220672 KiB Current children cumulated memory: 195656 KiB [startup+402.3 s] /proc/loadavg: 2.12 2.12 2.01 3/187 20474 /proc/meminfo: memFree=5147240/32770624 swapFree=67108792/67108860 [pid=20467] ppid=20464 vsize=220672 memory=195656 CPUtime=402.24 cores=1,3,5,7 /proc/20467/stat : 20467 (MistralXCSP) R 20464 20467 20051 0 -1 4202496 220115 0 0 0 40210 14 0 0 20 0 1 0 216988357 225968128 48914 33554432000 4194304 7499544 140724598174384 140724598169400 5573419 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 15310848 140724598178926 140724598179075 140724598179075 140724598181833 0 /proc/20467/statm: 55168 48914 810 807 0 48159 0 Current children cumulated CPU time: 402.24 s Current children cumulated vsize: 220672 KiB Current children cumulated memory: 195656 KiB [startup+462.3 s] /proc/loadavg: 2.05 2.10 2.01 3/187 20475 /proc/meminfo: memFree=5147100/32770624 swapFree=67108792/67108860 [pid=20467] ppid=20464 vsize=220672 memory=195656 CPUtime=462.23 cores=1,3,5,7 /proc/20467/stat : 20467 (MistralXCSP) R 20464 20467 20051 0 -1 4202496 220581 0 0 0 46209 14 0 0 20 0 1 0 216988357 225968128 48914 33554432000 4194304 7499544 140724598174384 140724598169400 4579850 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 15310848 140724598178926 140724598179075 140724598179075 140724598181833 0 /proc/20467/statm: 55168 48914 810 807 0 48159 0 Current children cumulated CPU time: 462.23 s Current children cumulated vsize: 220672 KiB Current children cumulated memory: 195656 KiB ################ # More data... # ################ /proc/20467/statm: 55168 48929 810 807 0 48159 0 Current children cumulated CPU time: 1722.19 s Current children cumulated vsize: 220672 KiB Current children cumulated memory: 195716 KiB [startup+1782.3 s] /proc/loadavg: 2.01 2.02 2.02 3/187 20523 /proc/meminfo: memFree=5145132/32770624 swapFree=67108792/67108860 [pid=20467] ppid=20464 vsize=220672 memory=195716 CPUtime=1782.19 cores=1,3,5,7 /proc/20467/stat : 20467 (MistralXCSP) R 20464 20467 20051 0 -1 4202496 233494 0 0 0 178204 15 0 0 20 0 1 0 216988357 225968128 48929 33554432000 4194304 7499544 140724598174384 140724598169400 4405034 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 15310848 140724598178926 140724598179075 140724598179075 140724598181833 0 /proc/20467/statm: 55168 48929 810 807 0 48159 0 Current children cumulated CPU time: 1782.19 s Current children cumulated vsize: 220672 KiB Current children cumulated memory: 195716 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.02 3/188 20547 /proc/meminfo: memFree=5144644/32770624 swapFree=67108792/67108860 [pid=20467] ppid=20464 vsize=220672 memory=195716 CPUtime=1842.18 cores=1,3,5,7 /proc/20467/stat : 20467 (MistralXCSP) R 20464 20467 20051 0 -1 4202496 234131 0 0 0 184203 15 0 0 20 0 1 0 216988357 225968128 48929 33554432000 4194304 7499544 140724598174384 140724598169400 4245316 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 15310848 140724598178926 140724598179075 140724598179075 140724598181833 0 /proc/20467/statm: 55168 48929 810 807 0 48159 0 Current children cumulated CPU time: 1842.18 s Current children cumulated vsize: 220672 KiB Current children cumulated memory: 195716 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.02 3/188 20548 /proc/meminfo: memFree=5145264/32770624 swapFree=67108792/67108860 [pid=20467] ppid=20464 vsize=220672 memory=195720 CPUtime=1902.18 cores=1,3,5,7 /proc/20467/stat : 20467 (MistralXCSP) R 20464 20467 20051 0 -1 4202496 234833 0 0 0 190203 15 0 0 20 0 1 0 216988357 225968128 48930 33554432000 4194304 7499544 140724598174384 140724598169400 4541883 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 15310848 140724598178926 140724598179075 140724598179075 140724598181833 0 /proc/20467/statm: 55168 48930 810 807 0 48159 0 Current children cumulated CPU time: 1902.18 s Current children cumulated vsize: 220672 KiB Current children cumulated memory: 195720 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.02 3/188 20549 /proc/meminfo: memFree=5145268/32770624 swapFree=67108792/67108860 [pid=20467] ppid=20464 vsize=220672 memory=195736 CPUtime=1962.18 cores=1,3,5,7 /proc/20467/stat : 20467 (MistralXCSP) R 20464 20467 20051 0 -1 4202496 235441 0 0 0 196203 15 0 0 20 0 1 0 216988357 225968128 48934 33554432000 4194304 7499544 140724598174384 140724598169400 4405409 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 15310848 140724598178926 140724598179075 140724598179075 140724598181833 0 /proc/20467/statm: 55168 48934 810 807 0 48159 0 Current children cumulated CPU time: 1962.18 s Current children cumulated vsize: 220672 KiB Current children cumulated memory: 195736 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.02 3/188 20550 /proc/meminfo: memFree=5144984/32770624 swapFree=67108792/67108860 [pid=20467] ppid=20464 vsize=220672 memory=195740 CPUtime=2022.18 cores=1,3,5,7 /proc/20467/stat : 20467 (MistralXCSP) R 20464 20467 20051 0 -1 4202496 236050 0 0 0 202203 15 0 0 20 0 1 0 216988357 225968128 48935 33554432000 4194304 7499544 140724598174384 140724598169400 4541806 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 15310848 140724598178926 140724598179075 140724598179075 140724598181833 0 /proc/20467/statm: 55168 48935 810 807 0 48159 0 Current children cumulated CPU time: 2022.18 s Current children cumulated vsize: 220672 KiB Current children cumulated memory: 195740 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.02 3/188 20551 /proc/meminfo: memFree=5144976/32770624 swapFree=67108792/67108860 [pid=20467] ppid=20464 vsize=220672 memory=195748 CPUtime=2082.17 cores=1,3,5,7 /proc/20467/stat : 20467 (MistralXCSP) R 20464 20467 20051 0 -1 4202496 236657 0 0 0 208202 15 0 0 20 0 1 0 216988357 225968128 48937 33554432000 4194304 7499544 140724598174384 140724598169400 5163917 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 15310848 140724598178926 140724598179075 140724598179075 140724598181833 0 /proc/20467/statm: 55168 48937 810 807 0 48159 0 Current children cumulated CPU time: 2082.17 s Current children cumulated vsize: 220672 KiB Current children cumulated memory: 195748 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.02 3/187 20552 /proc/meminfo: memFree=5145216/32770624 swapFree=67108792/67108860 [pid=20467] ppid=20464 vsize=220672 memory=195748 CPUtime=2142.17 cores=1,3,5,7 /proc/20467/stat : 20467 (MistralXCSP) R 20464 20467 20051 0 -1 4202496 237266 0 0 0 214202 15 0 0 20 0 1 0 216988357 225968128 48937 33554432000 4194304 7499544 140724598174384 140724598169400 4257904 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 15310848 140724598178926 140724598179075 140724598179075 140724598181833 0 /proc/20467/statm: 55168 48937 810 807 0 48159 0 Current children cumulated CPU time: 2142.17 s Current children cumulated vsize: 220672 KiB Current children cumulated memory: 195748 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.01 2.02 3/187 20553 /proc/meminfo: memFree=5144928/32770624 swapFree=67108792/67108860 [pid=20467] ppid=20464 vsize=220672 memory=195752 CPUtime=2202.17 cores=1,3,5,7 /proc/20467/stat : 20467 (MistralXCSP) R 20464 20467 20051 0 -1 4202496 237878 0 0 0 220202 15 0 0 20 0 1 0 216988357 225968128 48938 33554432000 4194304 7499544 140724598174384 140724598169400 4541806 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 15310848 140724598178926 140724598179075 140724598179075 140724598181833 0 /proc/20467/statm: 55168 48938 810 807 0 48159 0 Current children cumulated CPU time: 2202.17 s Current children cumulated vsize: 220672 KiB Current children cumulated memory: 195752 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.02 3/187 20554 /proc/meminfo: memFree=5144820/32770624 swapFree=67108792/67108860 [pid=20467] ppid=20464 vsize=220672 memory=195752 CPUtime=2262.17 cores=1,3,5,7 /proc/20467/stat : 20467 (MistralXCSP) R 20464 20467 20051 0 -1 4202496 238490 0 0 0 226202 15 0 0 20 0 1 0 216988357 225968128 48938 33554432000 4194304 7499544 140724598174384 140724598169400 5163917 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 15310848 140724598178926 140724598179075 140724598179075 140724598181833 0 /proc/20467/statm: 55168 48938 810 807 0 48159 0 Current children cumulated CPU time: 2262.17 s Current children cumulated vsize: 220672 KiB Current children cumulated memory: 195752 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.02 3/187 20555 /proc/meminfo: memFree=5144820/32770624 swapFree=67108792/67108860 [pid=20467] ppid=20464 vsize=220672 memory=195752 CPUtime=2322.16 cores=1,3,5,7 /proc/20467/stat : 20467 (MistralXCSP) R 20464 20467 20051 0 -1 4202496 239096 0 0 0 232201 15 0 0 20 0 1 0 216988357 225968128 48938 33554432000 4194304 7499544 140724598174384 140724598169400 4404999 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 15310848 140724598178926 140724598179075 140724598179075 140724598181833 0 /proc/20467/statm: 55168 48938 810 807 0 48159 0 Current children cumulated CPU time: 2322.16 s Current children cumulated vsize: 220672 KiB Current children cumulated memory: 195752 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.02 3/187 20563 /proc/meminfo: memFree=5144656/32770624 swapFree=67108792/67108860 [pid=20467] ppid=20464 vsize=220672 memory=195752 CPUtime=2382.16 cores=1,3,5,7 /proc/20467/stat : 20467 (MistralXCSP) R 20464 20467 20051 0 -1 4202496 239706 0 0 0 238201 15 0 0 20 0 1 0 216988357 225968128 48938 33554432000 4194304 7499544 140724598174384 140724598169400 4579850 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 15310848 140724598178926 140724598179075 140724598179075 140724598181833 0 /proc/20467/statm: 55168 48938 810 807 0 48159 0 Current children cumulated CPU time: 2382.16 s Current children cumulated vsize: 220672 KiB Current children cumulated memory: 195752 KiB [startup+2442.3 s] /proc/loadavg: 2.00 2.01 2.02 3/187 20564 /proc/meminfo: memFree=5145076/32770624 swapFree=67108792/67108860 [pid=20467] ppid=20464 vsize=220672 memory=195756 CPUtime=2442.16 cores=1,3,5,7 /proc/20467/stat : 20467 (MistralXCSP) R 20464 20467 20051 0 -1 4202496 240310 0 0 0 244201 15 0 0 20 0 1 0 216988357 225968128 48939 33554432000 4194304 7499544 140724598174384 140724598169400 4243542 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 15310848 140724598178926 140724598179075 140724598179075 140724598181833 0 /proc/20467/statm: 55168 48939 810 807 0 48159 0 Current children cumulated CPU time: 2442.16 s Current children cumulated vsize: 220672 KiB Current children cumulated memory: 195756 KiB [startup+2502.3 s] /proc/loadavg: 2.00 2.01 2.02 3/187 20565 /proc/meminfo: memFree=5144704/32770624 swapFree=67108792/67108860 [pid=20467] ppid=20464 vsize=220672 memory=195756 CPUtime=2502.16 cores=1,3,5,7 /proc/20467/stat : 20467 (MistralXCSP) R 20464 20467 20051 0 -1 4202496 240921 0 0 0 250201 15 0 0 20 0 1 0 216988357 225968128 48939 33554432000 4194304 7499544 140724598174384 140724598169400 5163917 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 15310848 140724598178926 140724598179075 140724598179075 140724598181833 0 /proc/20467/statm: 55168 48939 810 807 0 48159 0 Current children cumulated CPU time: 2502.16 s Current children cumulated vsize: 220672 KiB Current children cumulated memory: 195756 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 2.08 2.03 2.02 3/187 20629 /proc/meminfo: memFree=5254176/32770624 swapFree=67108792/67108860 [pid=20467] ppid=20464 vsize=220672 memory=195756 CPUtime=2519.86 cores=1,3,5,7 /proc/20467/stat : 20467 (MistralXCSP) R 20464 20467 20051 0 -1 4202496 241520 0 0 0 251971 15 0 0 20 0 1 0 216988357 225968128 48939 33554432000 4194304 7499544 140724598174384 140724598169400 5163908 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 15310848 140724598178926 140724598179075 140724598179075 140724598181833 0 /proc/20467/statm: 55168 48939 810 807 0 48159 0 Current children cumulated CPU time: 2519.86 s Current children cumulated vsize: 220672 KiB Current children cumulated memory: 195756 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.01 s] # the end of solver process 20467 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.72 s, system=0.160993 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 2520.01 CPU time (s): 2519.88 CPU user time (s): 2519.72 CPU system time (s): 0.160993 CPU usage (%): 99.9948 Max. virtual memory (cumulated for all children) (KiB): 220672 Max. memory (cumulated for all children) (KiB): 195756 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.72 system time used= 0.160993 maximum resident set size= 195776 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 241577 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= 60 involuntary context switches= 706 # summary of solver processes directly reported to runsolver: # pid: 20467 # total CPU time (s): 2519.88 # total CPU user time (s): 2519.72 # total CPU system time (s): 0.160993 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.81337 second user time and 16.8186 second system time The end
Begin job on node150 at 2018-08-11 15:30:51 IDJOB=4303715 IDBENCH=141049 IDSOLVER=2779 FILE ID=node150/4303715-1533994251 RUNJOBID= node150-1533991720-20083 PBS_JOBID= 21036945 Free space on /tmp= 34696 MiB SOLVER NAME= Mistral-2.0 2018-08-01 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-4303715-1533994251/watcher-4303715-1533994251 -o /tmp/evaluation-result-4303715-1533994251/solver-4303715-1533994251 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1533991720-20083 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 457921164 HOME/instance-4303715-1533994251.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8e8c57bbf90dbce08cf7a3cf301ec8dd RANDOM SEED=457921164 node150.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.76 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.76 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.76 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.76 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: 5340464 kB MemAvailable: 31746072 kB Buffers: 201328 kB Cached: 26084912 kB SwapCached: 32 kB Active: 10088852 kB Inactive: 16408592 kB Active(anon): 162404 kB Inactive(anon): 101184 kB Active(file): 9926448 kB Inactive(file): 16307408 kB Unevictable: 7740 kB Mlocked: 7740 kB SwapTotal: 67108860 kB SwapFree: 67108792 kB Dirty: 6092 kB Writeback: 188 kB AnonPages: 216672 kB Mapped: 52708 kB Shmem: 49732 kB Slab: 628212 kB SReclaimable: 600212 kB SUnreclaim: 28000 kB KernelStack: 3360 kB PageTables: 5608 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 535572 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 34688 MiB End job on node150 at 2018-08-11 16:12:51