Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-2.0 2018-08-01 | SAT (TO) | 8823 | 251.928 | 252.011 |
Name | NurseRostering/ NurseRostering-09_c18.xml |
MD5SUM | 01a28a521b9bba3b9351b91d9c8d3e2f |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 2850 |
Best CPU time to get the best result obtained on this benchmark | 252.092 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1844 |
Number of constraints | 4787 |
Number of domains | 17 |
Minimum domain size | 1 |
Maximum domain size | 37 |
Distribution of domain sizes | [{"size":1,"count":60},{"size":2,"count":376},{"size":3,"count":8},{"size":4,"count":7},{"size":5,"count":1014},{"size":6,"count":6},{"size":29,"count":121},{"size":37,"count":252}] |
Minimum variable degree | 2 |
Maximum variable degree | 25 |
Distribution of variable degrees | [{"degree":2,"count":692},{"degree":3,"count":144},{"degree":14,"count":14},{"degree":15,"count":38},{"degree":16,"count":18},{"degree":17,"count":15},{"degree":18,"count":42},{"degree":19,"count":59},{"degree":20,"count":68},{"degree":21,"count":132},{"degree":22,"count":199},{"degree":23,"count":238},{"degree":24,"count":163},{"degree":25,"count":22}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 72 |
Distribution of constraint arities | [{"arity":2,"count":2474},{"arity":3,"count":936},{"arity":4,"count":186},{"arity":5,"count":180},{"arity":6,"count":690},{"arity":29,"count":180},{"arity":37,"count":140},{"arity":72,"count":1}] |
Number of extensional constraints | 1112 |
Number of intensional constraints | 552 |
Distribution of constraint types | [{"type":"extension","count":1112},{"type":"intension","count":552},{"type":"regular","count":1896},{"type":"sum","count":72},{"type":"count","count":1154},{"type":"instantiation","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c Mistral 01082018 1.59/1.68 o 19963 1.59/1.69 o 19962 1.59/1.69 o 19861 1.69/1.70 o 19761 1.69/1.70 o 19660 1.69/1.71 o 19659 1.69/1.71 o 19558 1.69/1.72 o 19457 1.69/1.73 o 19356 1.69/1.74 o 19355 1.69/1.75 o 19255 1.69/1.75 o 19254 1.69/1.76 o 19154 1.89/1.99 o 19053 1.89/2.00 o 18952 1.89/2.00 o 18851 1.99/2.01 o 18750 1.99/2.01 o 18649 2.09/2.15 o 18548 2.39/2.41 o 18547 2.39/2.41 o 18448 2.39/2.42 o 18447 2.39/2.42 o 18446 2.39/2.43 o 18345 2.39/2.43 o 18244 2.39/2.44 o 18145 2.39/2.44 o 18144 2.39/2.45 o 18043 2.39/2.46 o 18041 2.49/2.55 o 18040 2.49/2.55 o 17941 2.49/2.56 o 17940 2.79/2.87 o 17840 2.79/2.88 o 17839 2.79/2.88 o 17838 2.79/2.89 o 17738 2.79/2.89 o 17737 2.89/2.90 o 17736 2.89/2.90 o 17735 2.89/2.91 o 17734 2.89/2.91 o 17634 2.89/2.92 o 17633 2.89/2.93 o 17632 2.89/2.93 o 17631 2.89/2.94 o 17630 2.89/2.94 o 17532 2.89/2.95 o 17531 2.89/2.96 o 17529 2.89/2.96 o 17528 2.89/2.97 o 17526 2.89/2.98 o 17525 2.89/2.98 o 17524 3.59/3.68 o 17424 5.49/5.52 o 17326 5.49/5.52 o 17325 5.49/5.53 o 17324 5.49/5.54 o 17224 5.59/5.63 o 17125 5.59/5.63 o 17124 5.89/5.90 o 17024 6.49/6.54 o 17022 6.49/6.54 o 17021 6.49/6.55 o 17020 6.49/6.56 o 16920 6.49/6.57 o 16820 6.49/6.57 o 16819 6.49/6.58 o 16719 6.49/6.58 o 16718 6.49/6.59 o 16717 6.59/6.60 o 16617 6.59/6.61 o 16616 6.59/6.61 o 16515 6.59/6.62 o 16415 6.59/6.63 o 16414 6.59/6.63 o 16314 6.59/6.64 o 16313 6.59/6.68 o 16213 6.59/6.69 o 16212 6.69/6.76 o 16112 6.69/6.76 o 16012 7.59/7.61 o 16011 7.59/7.67 o 16010 7.59/7.68 o 16009 7.79/7.80 o 16008 7.89/7.94 o 15908 8.00/8.06 o 15907 8.10/8.18 o 15906 8.29/8.30 o 15905 8.29/8.31 o 15904 8.39/8.45 o 15604 8.58/8.60 o 15504 8.68/8.73 o 15502 8.68/8.74 o 15501 8.78/8.88 o 15301 8.99/9.07 o 15004 13.69/13.72 o 15003 13.69/13.76 o 15002 13.69/13.77 o 15001 13.69/13.79 o 14901 14.28/14.36 o 14802 17.59/17.61 o 14701 17.59/17.62 o 14600 17.59/17.62 o 14499 17.59/17.63 o 14498 17.59/17.63 o 14399 17.59/17.64 o 14398 17.59/17.64 o 14298 17.59/17.65 o 14197 17.69/17.71 o 14196 18.19/18.22 o 14195 18.39/18.41 o 14095 18.69/18.79 o 14094 20.09/20.18 o 13994 21.69/21.75 o 13895 21.69/21.75 o 13894 21.89/21.98 o 13797 22.99/23.01 o 13794 23.09/23.19 o 13705 23.19/23.22 o 13702 23.79/23.85 o 13700 26.48/26.59 o 13699 26.58/26.60 o 13698 26.58/26.66 o 13598 26.78/26.80 o 13501 26.78/26.84 o 13498 26.78/26.85 o 13401 26.88/26.95 o 13398 38.68/38.73 o 13297 38.68/38.74 o 13296 38.68/38.74 o 13295 38.68/38.75 o 13294 38.68/38.76 o 13195 38.68/38.78 o 13095 38.88/38.96 o 13092 39.68/39.73 o 13091 39.68/39.74 o 12991 39.68/39.74 o 12989 46.48/46.51 o 12987 46.58/46.60 o 12986 46.58/46.69 o 12984 46.78/46.80 o 12983 46.78/46.83 o 12982 46.78/46.84 o 12981 46.99/47.03 o 12885 46.99/47.04 o 12785 46.99/47.04 o 12685 46.99/47.05 o 12585 46.99/47.05 o 12584 46.99/47.07 o 12581 48.09/48.17 o 12488 48.09/48.19 o 12484 48.18/48.20 o 12482 48.18/48.20 o 12481 49.18/49.21 o 12389 49.18/49.22 o 12388 49.18/49.28 o 12386 49.18/49.29 o 12385 49.28/49.30 o 12382 49.28/49.31 o 12381 49.28/49.33 o 12281 49.38/49.42 o 12280 50.88/50.93 o 12279 50.88/50.94 o 12278 50.99/51.03 o 12178 60.78/60.87 o 12077 60.78/60.87 o 12076 60.78/60.88 o 11976 60.78/60.89 o 11975 60.88/60.90 o 11875 60.88/60.91 o 11775 60.88/60.96 o 11774 60.99/61.03 o 11773 60.99/61.04 o 11772 60.99/61.05 o 11671 61.38/61.49 o 11670 61.68/61.78 o 11668 61.99/62.10 o 11567 62.09/62.13 o 11466 62.68/62.74 o 11365 67.27/67.34 o 11265 67.47/67.56 o 11264 67.67/67.77 o 11263 72.37/72.47 o 11262 72.57/72.61 o 11259 90.47/90.50 o 11158 90.47/90.51 o 11057 90.47/90.51 o 11056 90.47/90.52 o 11055 90.47/90.54 o 11053 90.47/90.55 o 10957 90.47/90.56 o 10956 90.47/90.56 o 10955 90.67/90.70 o 10954 90.98/91.01 o 10951 90.98/91.01 o 10950 90.98/91.10 o 10850 91.08/91.13 o 10849 91.08/91.13 o 10749 91.08/91.19 o 10649 91.17/91.29 o 10647 91.37/91.42 o 10546 91.57/91.61 o 10446 96.17/96.29 o 10346 97.67/97.74 o 10345 111.37/111.47 o 10245 111.37/111.48 o 10145 111.37/111.48 o 10142 111.37/111.49 o 10041 111.37/111.49 o 10039 111.47/111.51 o 10038 111.57/111.68 o 9937 112.27/112.39 o 9936 112.87/113.00 o 9836 112.98/113.06 o 9740 114.67/114.75 o 9739 115.37/115.44 o 9638 115.37/115.45 o 9636 126.87/126.97 o 9635 167.36/167.49 o 9535 167.46/167.50 o 9534 167.46/167.50 o 9533 167.46/167.51 o 9433 167.46/167.52 o 9334 167.46/167.52 o 9234 167.46/167.54 o 9233 167.46/167.58 o 9232 167.46/167.59 o 9132 167.56/167.63 o 9131 168.07/168.11 o 9130 168.07/168.12 o 9030 168.26/168.35 o 9029 168.56/168.65 o 8929 182.96/183.06 o 8829 190.75/190.80 o 8828 192.85/192.95 o 8827 217.53/217.62 o 8826 217.53/217.63 o 8825 218.43/218.50 o 8824 228.52/228.60 o 8823 251.92/252.00 s SATISFIABLE 251.92/252.00 v <instantiation type="solution"> 251.92/252.00 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] ps[0][0] ps[0][1] ps[0][2] ps[0][3] ps[0][4] ps[1][0] ps[1][1] ps[1][2] ps[1][3] ps[1][4] ps[2][0] ps[2][1] ps[2][2] ps[2][3] ps[2][4] ps[3][0] ps[3][1] ps[3][2] ps[3][3] ps[3][4] ps[4][0] ps[4][1] ps[4][2] ps[4][3] ps[4][4] ps[5][0] ps[5][1] ps[5][2] ps[5][3] ps[5][4] ps[6][0] ps[6][1] ps[6][2] ps[6][3] ps[6][4] ps[7][0] ps[7][1] ps[7][2] ps[7][3] ps[7][4] ps[8][0] ps[8][1] ps[8][2] ps[8][3] ps[8][4] ps[9][0] ps[9][1] ps[9][2] ps[9][3] ps[9][4] ps[10][0] ps[10][1] ps[10][2] ps[10][3] ps[10][4] ps[11][0] ps[11][1] ps[11][2] ps[11][3] ps[11][4] ps[12][0] ps[12][1] ps[12][2] ps[12][3] ps[12][4] ps[13][0] ps[13][1] ps[13][2] ps[13][3] ps[13][4] ps[14][0] ps[14][1] ps[14][2] ps[14][3] ps[14][4] ps[15][0] ps[15][1] ps[15][2] ps[15][3] ps[15][4] ps[16][0] ps[16][1] ps[16][2] ps[16][3] ps[16][4] ps[17][0] ps[17][1] ps[17][2] ps[17][3] ps[17][4] ps[18][0] ps[18][1] ps[18][2] ps[18][3] ps[18][4] ps[19][0] ps[19][1] ps[19][2] ps[19][3] ps[19][4] ps[20][0] ps[20][1] ps[20][2] ps[20][3] ps[20][4] ps[21][0] ps[21][1] ps[21][2] ps[21][3] ps[21][4] ps[22][0] ps[22][1] ps[22][2] ps[22][3] ps[22][4] ps[23][0] ps[23][1] ps[23][2] ps[23][3] ps[23][4] ps[24][0] ps[24][1] ps[24][2] ps[24][3] ps[24][4] ps[25][0] ps[25][1] ps[25][2] ps[25][3] ps[25][4] ps[26][0] ps[26][1] ps[26][2] ps[26][3] ps[26][4] ps[27][0] ps[27][1] ps[27][2] ps[27][3] ps[27][4] ps[28][0] ps[28][1] ps[28][2] ps[28][3] ps[28][4] ps[29][0] ps[29][1] ps[29][2] ps[29][3] ps[29][4] ps[30][0] ps[30][1] ps[30][2] ps[30][3] ps[30][4] ps[31][0] ps[31][1] ps[31][2] ps[31][3] ps[31][4] ps[32][0] ps[32][1] ps[32][2] ps[32][3] ps[32][4] ps[33][0] ps[33][1] ps[33][2] ps[33][3] ps[33][4] ps[34][0] ps[34][1] ps[34][2] ps[34][3] ps[34][4] ps[35][0] ps[35][1] ps[35][2] ps[35][3] ps[35][4] ds[0][0] ds[0][1] ds[0][2] ds[0][3] ds[0][4] ds[1][0] ds[1][1] ds[1][2] ds[1][3] ds[1][4] ds[2][0] ds[2][1] ds[2][2] ds[2][3] ds[2][4] ds[3][0] ds[3][1] ds[3][2] ds[3][3] ds[3][4] ds[4][0] ds[4][1] ds[4][2] ds[4][3] ds[4][4] ds[5][0] ds[5][1] ds[5][2] ds[5][3] ds[5][4] ds[6][0] ds[6][1] ds[6][2] ds[6][3] ds[6][4] ds[7][0] ds[7][1] ds[7][2] ds[7][3] ds[7][4] ds[8][0] ds[8][1] ds[8][2] ds[8][3] ds[8][4] ds[9][0] ds[9][1] ds[9][2] ds[9][3] ds[9][4] ds[10][0] ds[10][1] ds[10][2] ds[10][3] ds[10][4] ds[11][0] ds[11][1] ds[11][2] ds[11][3] ds[11][4] ds[12][0] ds[12][1] ds[12][2] ds[12][3] ds[12][4] ds[13][0] ds[13][1] ds[13][2] ds[13][3] ds[13][4] ds[14][0] ds[14][1] ds[14][2] ds[14][3] ds[14][4] ds[15][0] ds[15][1] ds[15][2] ds[15][3] ds[15][4] ds[16][0] ds[16][1] ds[16][2] ds[16][3] ds[16][4] ds[17][0] ds[17][1] ds[17][2] ds[17][3] ds[17][4] ds[18][0] ds[18][1] ds[18][2] ds[18][3] ds[18][4] ds[19][0] ds[19][1] ds[19][2] ds[19][3] ds[19][4] ds[20][0] ds[20][1] ds[20][2] ds[20][3] ds[20][4] ds[21][0] ds[21][1] ds[21][2] ds[21][3] ds[21][4] ds[22][0] ds[22][1] ds[22][2] ds[22][3] ds[22][4] ds[23][0] ds[23][1] ds[23][2] ds[23][3] ds[23][4] ds[24][0] ds[24][1] ds[24][2] ds[24][3] ds[24][4] ds[25][0] ds[25][1] ds[25][2] ds[25][3] ds[25][4] ds[26][0] ds[26][1] ds[26][2] ds[26][3] ds[26][4] ds[27][0] ds[27][1] ds[27][2] ds[27][3] ds[27][4] 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] 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] 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] cf[74] cf[75] cf[76] cf[77] cf[78] cf[79] cf[80] cf[81] cf[82] cf[83] cf[84] cf[85] cf[86] cf[87] cc[0][0] cc[0][1] cc[0][2] cc[0][3] cc[0][4] cc[1][0] cc[1][1] cc[1][2] cc[1][3] cc[1][4] cc[2][0] cc[2][1] cc[2][2] cc[2][3] cc[2][4] cc[3][0] cc[3][1] cc[3][2] cc[3][3] cc[3][4] cc[4][0] cc[4][1] cc[4][2] cc[4][3] cc[4][4] cc[5][0] cc[5][1] cc[5][2] cc[5][3] cc[5][4] cc[6][0] cc[6][1] cc[6][2] cc[6][3] cc[6][4] cc[7][0] cc[7][1] cc[7][2] cc[7][3] cc[7][4] cc[8][0] cc[8][1] cc[8][2] cc[8][3] cc[8][4] cc[9][0] cc[9][1] cc[9][2] cc[9][3] cc[9][4] cc[10][0] cc[10][1] cc[10][2] cc[10][3] cc[10][4] cc[11][0] cc[11][1] cc[11][2] cc[11][3] cc[11][4] cc[12][0] cc[12][1] cc[12][2] cc[12][3] cc[12][4] cc[13][0] cc[13][1] cc[13][2] cc[13][3] cc[13][4] cc[14][0] cc[14][1] cc[14][2] cc[14][3] cc[14][4] cc[15][0] cc[15][1] cc[15][2] cc[15][3] cc[15][4] cc[16][0] cc[16][1] cc[16][2] cc[16][3] cc[16][4] cc[17][0] cc[17][1] cc[17][2] cc[17][3] cc[17][4] cc[18][0] cc[18][1] cc[18][2] cc[18][3] cc[18][4] cc[19][0] cc[19][1] cc[19][2] cc[19][3] cc[19][4] cc[20][0] cc[20][1] cc[20][2] cc[20][3] cc[20][4] cc[21][0] cc[21][1] cc[21][2] cc[21][3] cc[21][4] cc[22][0] cc[22][1] cc[22][2] cc[22][3] cc[22][4] cc[23][0] cc[23][1] cc[23][2] cc[23][3] cc[23][4] cc[24][0] cc[24][1] cc[24][2] cc[24][3] cc[24][4] cc[25][0] cc[25][1] cc[25][2] cc[25][3] cc[25][4] cc[26][0] cc[26][1] cc[26][2] cc[26][3] cc[26][4] cc[27][0] cc[27][1] cc[27][2] cc[27][3] cc[27][4] </list> 251.92/252.01 v <values> 4 4 4 1 1 3 1 4 0 0 4 4 4 4 4 4 1 4 4 4 4 3 4 4 4 4 4 4 4 4 4 4 4 1 4 4 2 4 0 1 1 3 1 0 0 3 4 4 4 4 1 4 1 4 4 4 4 4 4 1 0 4 4 4 4 4 0 4 4 4 4 2 2 0 0 1 1 4 4 0 2 3 4 4 1 0 1 0 2 4 4 4 2 4 4 4 0 4 2 4 4 0 4 4 4 4 4 4 4 1 0 2 1 4 4 0 2 4 0 2 1 0 1 3 4 0 4 2 4 0 4 4 0 4 4 4 2 1 4 0 2 4 4 4 4 2 0 4 1 1 0 2 3 4 2 3 1 0 2 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 0 4 1 4 4 1 0 4 4 4 2 4 4 2 4 4 4 4 0 4 4 4 2 3 4 4 4 4 4 0 4 4 4 4 4 4 0 4 4 3 4 1 4 4 4 4 2 4 4 4 4 4 4 4 1 4 2 0 4 4 4 1 4 1 4 0 4 4 2 4 4 4 2 0 4 3 4 1 4 4 4 4 4 4 4 4 4 4 4 0 4 1 3 1 4 4 1 4 4 4 4 4 0 4 4 4 4 4 3 0 4 4 1 1 4 4 4 4 4 4 4 4 0 4 1 0 4 2 4 4 2 4 2 4 4 4 4 4 1 4 4 4 4 4 3 4 4 4 1 4 0 0 4 0 4 0 4 0 0 3 1 0 0 3 4 4 2 4 4 4 4 4 4 4 4 4 4 4 2 4 4 4 0 2 1 4 0 0 0 0 0 0 4 0 4 3 1 4 0 4 4 3 4 4 4 4 4 4 4 4 0 0 4 0 4 4 4 0 0 2 4 1 0 0 0 0 3 2 1 0 4 4 4 4 1 4 4 4 4 1 4 0 4 1 4 4 0 4 4 1 4 4 4 2 0 4 4 3 4 1 0 2 4 4 3 0 4 4 4 4 4 4 4 4 4 2 4 4 2 1 4 0 0 0 4 4 4 4 4 4 2 4 0 3 4 4 0 4 4 4 4 4 4 4 1 3 4 4 4 4 4 2 4 4 4 1 2 4 4 0 4 1 4 4 4 4 4 4 0 4 4 4 0 4 4 4 4 4 4 4 4 4 4 2 4 4 4 4 4 4 4 4 4 4 4 4 1 1 4 4 4 1 4 4 0 4 0 0 4 4 0 4 4 4 4 4 4 4 4 4 4 0 2 4 0 0 2 1 4 4 4 4 4 1 4 4 0 1 0 1 0 4 0 2 4 0 2 4 4 4 4 4 4 0 4 4 0 0 4 4 2 0 2 4 4 4 4 4 4 4 1 0 3 1 0 1 4 4 0 2 4 0 3 0 2 0 4 0 4 0 0 4 0 0 4 0 4 0 2 1 2 4 4 4 4 4 2 4 4 1 0 1 4 4 0 4 4 0 3 0 2 0 0 0 4 1 0 4 0 3 4 0 4 1 2 4 4 4 4 2 4 4 4 0 4 4 4 1 4 4 0 4 0 0 4 2 3 4 1 0 2 4 3 1 0 4 2 4 0 4 4 4 2 4 4 4 4 1 4 0 0 4 4 1 1 4 4 4 3 0 4 4 4 4 1 0 4 4 4 3 0 4 2 4 4 4 4 1 3 4 4 4 0 4 4 4 0 1 0 4 1 1 4 0 3 4 4 4 4 4 1 4 4 2 4 4 4 4 2 4 4 0 4 4 4 4 4 0 0 4 1 0 0 1 1 4 4 1 0 0 3 4 4 4 4 4 4 4 4 4 3 4 4 4 2 4 0 0 4 4 4 4 4 4 0 4 1 4 0 1 1 1 4 1 0 0 4 0 4 4 2 2 4 4 4 4 4 1 3 4 2 3 4 0 4 4 4 4 2 4 4 4 4 2 2 1 4 3 0 1 0 0 4 1 4 0 2 2 4 0 4 4 4 1 3 4 4 4 4 4 4 4 4 4 4 4 4 4 1 4 4 2 4 3 1 1 0 0 4 2 4 0 3 4 0 0 4 4 3 4 4 1 4 4 1 4 2 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 0 2 4 4 0 3 1 3 4 4 4 4 4 4 4 1 4 4 4 0 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 3 2 4 4 1 4 1 4 4 1 4 4 4 4 4 4 4 4 3 1 4 1 1 4 2 0 7 0 4 3 14 4 9 3 0 12 11 3 1 0 13 0 9 3 4 12 5 11 0 0 12 0 11 0 4 13 14 2 0 0 12 12 1 3 0 12 8 0 2 4 14 10 1 2 2 13 4 0 4 4 16 6 0 5 1 16 0 4 4 3 17 9 0 3 0 16 5 7 1 0 15 7 0 0 4 17 0 8 2 0 18 6 1 1 2 18 5 2 0 3 18 0 5 3 2 18 5 0 2 3 18 5 2 0 3 18 0 0 9 0 19 2 2 2 2 20 6 2 2 0 18 7 3 0 0 18 0 0 7 0 21 0 7 0 0 21 0 0 4 2 22 5 2 0 0 21 5 1 1 0 21 5 1 1 0 21 3 2 2 0 21 1 6 0 0 21 0 4 3 0 21 5 0 2 0 21 2 5 0 2 27 5 6 2 2 21 7 4 5 1 19 8 5 6 1 16 3 3 4 2 24 4 2 3 1 26 3 4 3 1 25 3 4 1 2 26 3 4 3 1 25 8 2 2 3 21 12 2 1 2 19 9 6 2 1 18 6 2 4 2 22 3 3 3 2 25 2 2 1 0 31 7 3 2 0 24 10 3 4 0 19 12 3 5 2 14 11 4 3 2 16 7 4 4 2 19 5 4 1 3 23 7 5 2 1 21 6 4 1 2 23 5 5 5 2 19 5 5 3 2 21 5 4 3 3 21 3 2 1 2 28 1 6 2 2 25 1 0 1 0 0 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 1 1 0 0 1 0 1 0 1 1 0 0 0 1 1 0 0 1 1 0 1 0 0 1 0 0 1 1 0 1 1 0 1 1 0 0 0 0 1 1 0 0 1 1 0 1 1 1 0 1 1 1 1 1 1 0 1 0 1 1 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 0 1 0 1 1 0 1 1 1 0 0 1 1 1 1 1 0 1 1 1 1 0 0 1 1 1 1 0 1 1 0 1 1 0 1 0 0 1 0 1 1 1 3 3 3 1 1 0 2 1 1 0 0 3 3 3 3 3 3 3 3 3 3 3 1 0 3 3 3 0 2 2 2 2 1 1 1 1 0 3 3 1 1 1 1 1 1 1 1 3 3 2 2 2 3 3 3 3 3 0 0 2 2 2 2 2 2 2 0 3 3 3 0 0 0 0 3 0 3 3 3 0 0 1 1 1 1 1 1 1 1 1 3 3 3 3 1 0 3 0 3 2 2 2 2 3 3 3 3 3 2 2 2 1 1 1 0 1 1 0 0 1 3 0 0 0 1 1 1 2 2 2 2 0 0 1 1 1 1 1 1 1 3 0 3 3 0 0 0 0 0 0 0 0 0 0 2 0 0 0 3 3 0 1 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 600 0 0 2 0 200 0 0 3 0 0 0 0 3 0 1 0 0 0 0 0 0 0 0 0 200 100 0 0 0 100 0 0 0 0 300 100 0 0 0 0 200 0 4 200 200 0 0 8 0 100 200 0 5 0 300 100 0 1 0 0 200 0 100 0 100 100 0 200 0 200 300 0 3 0 200 300 0 8 0 0 300 0 9 0 0 0 0 8 0 200 100 0 5 0 0 0 0 0 0 200 0 0 1 0 400 200 0 2 1 300 0 0 1 0 0 0 0 0 0 200 0 0 0 0 200 0 0 0 400 200 300 0 300 100 400 100 0 </values> 251.92/252.01 v </instantiation>
OK 8823
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 (13427 MiB free) memory of node 1: 16384 MiB (11085 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312458-1534699007/watcher-4312458-1534699007 -o /tmp/evaluation-result-4312458-1534699007/solver-4312458-1534699007 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534699007-18206 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 2023937646 HOME/instance-4312458-1534699007.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=18237, runsolver pid=18234 Current StackSize limit: 8192 KiB [startup+0.10099 s]* /proc/loadavg: 0.00 0.01 0.05 3/188 18238 /proc/meminfo: memFree=24998012/32770624 swapFree=67107648/67108860 [pid=18237] ppid=18234 vsize=43688 memory=18092 CPUtime=0.1 cores=0,2,4,6 /proc/18237/stat : 18237 (MistralXCSP) R 18234 18237 18175 0 -1 4202496 4894 0 0 0 10 0 0 0 20 0 1 0 287463913 44736512 4523 33554432000 4194304 7499544 140728590838896 140728590829496 5570016 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 10596352 140728590840946 140728590841096 140728590841096 140728590843849 0 /proc/18237/statm: 10922 4523 732 807 0 3913 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 43688 KiB Current children cumulated memory: 18092 KiB [startup+0.209697 s]* /proc/loadavg: 0.00 0.01 0.05 3/188 18238 /proc/meminfo: memFree=24987432/32770624 swapFree=67107648/67108860 [pid=18237] ppid=18234 vsize=48572 memory=23228 CPUtime=0.2 cores=0,2,4,6 /proc/18237/stat : 18237 (MistralXCSP) R 18234 18237 18175 0 -1 4202496 6305 0 0 0 20 0 0 0 20 0 1 0 287463913 49737728 5807 33554432000 4194304 7499544 140728590838896 140728590829496 4563992 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 10596352 140728590840946 140728590841096 140728590841096 140728590843849 0 /proc/18237/statm: 12143 5807 745 807 0 5134 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 48572 KiB Current children cumulated memory: 23228 KiB [startup+0.309327 s]* /proc/loadavg: 0.00 0.01 0.05 3/188 18238 /proc/meminfo: memFree=24969328/32770624 swapFree=67107648/67108860 [pid=18237] ppid=18234 vsize=53856 memory=28772 CPUtime=0.3 cores=0,2,4,6 /proc/18237/stat : 18237 (MistralXCSP) R 18234 18237 18175 0 -1 4202496 7633 0 0 0 30 0 0 0 20 0 1 0 287463913 55148544 7127 33554432000 4194304 7499544 140728590838896 140728590829496 140717786015648 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 10596352 140728590840946 140728590841096 140728590841096 140728590843849 0 /proc/18237/statm: 13503 7127 750 807 0 6494 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 53856 KiB Current children cumulated memory: 28772 KiB [startup+0.700304 s] /proc/loadavg: 0.00 0.01 0.05 3/188 18238 /proc/meminfo: memFree=24859932/32770624 swapFree=67107648/67108860 [pid=18237] ppid=18234 vsize=159616 memory=134304 CPUtime=0.68 cores=0,2,4,6 /proc/18237/stat : 18237 (MistralXCSP) R 18234 18237 18175 0 -1 4202496 34124 0 0 0 64 4 0 0 20 0 1 0 287463913 163446784 33576 33554432000 4194304 7499544 140728590838896 140728590832136 140717789462555 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 10596352 140728590840946 140728590841096 140728590841096 140728590843849 0 /proc/18237/statm: 39904 33576 766 807 0 32895 0 Current children cumulated CPU time: 0.68 s Current children cumulated vsize: 159616 KiB Current children cumulated memory: 134304 KiB [startup+1.50031 s] /proc/loadavg: 0.16 0.05 0.06 3/188 18238 /proc/meminfo: memFree=24779344/32770624 swapFree=67107648/67108860 [pid=18237] ppid=18234 vsize=186260 memory=161256 CPUtime=1.49 cores=0,2,4,6 /proc/18237/stat : 18237 (MistralXCSP) R 18234 18237 18175 0 -1 4202496 40677 0 0 0 144 5 0 0 20 0 1 0 287463913 190730240 40314 33554432000 4194304 7499544 140728590838896 140728590833528 5163917 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 10596352 140728590840946 140728590841096 140728590841096 140728590843849 0 /proc/18237/statm: 46565 40314 809 807 0 39556 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 186260 KiB Current children cumulated memory: 161256 KiB [startup+3.10931 s] /proc/loadavg: 0.16 0.05 0.06 3/188 18238 /proc/meminfo: memFree=24779068/32770624 swapFree=67107648/67108860 [pid=18237] ppid=18234 vsize=186524 memory=161616 CPUtime=3.09 cores=0,2,4,6 /proc/18237/stat : 18237 (MistralXCSP) R 18234 18237 18175 0 -1 4202496 43841 0 0 0 304 5 0 0 20 0 1 0 287463913 191000576 40404 33554432000 4194304 7499544 140728590838896 140728590833912 4249690 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 10596352 140728590840946 140728590841096 140728590841096 140728590843849 0 /proc/18237/statm: 46631 40404 810 807 0 39622 0 Current children cumulated CPU time: 3.09 s Current children cumulated vsize: 186524 KiB Current children cumulated memory: 161616 KiB [startup+6.30024 s] /proc/loadavg: 0.31 0.08 0.07 3/188 18238 /proc/meminfo: memFree=24776816/32770624 swapFree=67107648/67108860 [pid=18237] ppid=18234 vsize=186656 memory=161712 CPUtime=6.29 cores=0,2,4,6 /proc/18237/stat : 18237 (MistralXCSP) R 18234 18237 18175 0 -1 4202496 71845 0 0 0 621 8 0 0 20 0 1 0 287463913 191135744 40428 33554432000 4194304 7499544 140728590838896 140728590833912 5164057 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 10596352 140728590840946 140728590841096 140728590841096 140728590843849 0 /proc/18237/statm: 46664 40428 810 807 0 39655 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 186656 KiB Current children cumulated memory: 161712 KiB [startup+12.7002 s] /proc/loadavg: 0.45 0.11 0.08 3/188 18238 /proc/meminfo: memFree=24776816/32770624 swapFree=67107648/67108860 [pid=18237] ppid=18234 vsize=186656 memory=161772 CPUtime=12.69 cores=0,2,4,6 /proc/18237/stat : 18237 (MistralXCSP) R 18234 18237 18175 0 -1 4202496 87469 0 0 0 1260 9 0 0 20 0 1 0 287463913 191135744 40443 33554432000 4194304 7499544 140728590838896 140728590833912 5574857 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 10596352 140728590840946 140728590841096 140728590841096 140728590843849 0 /proc/18237/statm: 46664 40443 810 807 0 39655 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 186656 KiB Current children cumulated memory: 161772 KiB [startup+25.5003 s] /proc/loadavg: 0.68 0.17 0.10 3/188 18238 /proc/meminfo: memFree=24777064/32770624 swapFree=67107648/67108860 [pid=18237] ppid=18234 vsize=186788 memory=161900 CPUtime=25.48 cores=0,2,4,6 /proc/18237/stat : 18237 (MistralXCSP) R 18234 18237 18175 0 -1 4202496 109092 0 0 0 2538 10 0 0 20 0 1 0 287463913 191270912 40475 33554432000 4194304 7499544 140728590838896 140728590833912 4398000 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 10596352 140728590840946 140728590841096 140728590841096 140728590843849 0 /proc/18237/statm: 46697 40475 810 807 0 39688 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 186788 KiB Current children cumulated memory: 161900 KiB [startup+51.1094 s] /proc/loadavg: 1.20 0.35 0.16 3/188 18238 /proc/meminfo: memFree=24776256/32770624 swapFree=67107648/67108860 [pid=18237] ppid=18234 vsize=186920 memory=161976 CPUtime=51.09 cores=0,2,4,6 /proc/18237/stat : 18237 (MistralXCSP) R 18234 18237 18175 0 -1 4202496 134511 0 0 0 5097 12 0 0 20 0 1 0 287463913 191406080 40494 33554432000 4194304 7499544 140728590838896 140728590833912 5163912 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 10596352 140728590840946 140728590841096 140728590841096 140728590843849 0 /proc/18237/statm: 46730 40494 810 807 0 39721 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 186920 KiB Current children cumulated memory: 161976 KiB [startup+102.3 s] /proc/loadavg: 1.65 0.60 0.25 3/188 18239 /proc/meminfo: memFree=24776744/32770624 swapFree=67107648/67108860 [pid=18237] ppid=18234 vsize=186920 memory=162052 CPUtime=102.27 cores=0,2,4,6 /proc/18237/stat : 18237 (MistralXCSP) R 18234 18237 18175 0 -1 4202496 150230 0 0 0 10214 13 0 0 20 0 1 0 287463913 191406080 40513 33554432000 4194304 7499544 140728590838896 140728590833912 4249690 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 10596352 140728590840946 140728590841096 140728590841096 140728590843849 0 /proc/18237/statm: 46730 40513 810 807 0 39721 0 Current children cumulated CPU time: 102.27 s Current children cumulated vsize: 186920 KiB Current children cumulated memory: 162052 KiB [startup+162.3 s] /proc/loadavg: 1.87 0.86 0.36 3/188 18240 /proc/meminfo: memFree=24776336/32770624 swapFree=67107648/67108860 [pid=18237] ppid=18234 vsize=187052 memory=162100 CPUtime=162.26 cores=0,2,4,6 /proc/18237/stat : 18237 (MistralXCSP) R 18234 18237 18175 0 -1 4202496 165887 0 0 0 16212 14 0 0 20 0 1 0 287463913 191541248 40525 33554432000 4194304 7499544 140728590838896 140728590833912 4580255 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 10596352 140728590840946 140728590841096 140728590841096 140728590843849 0 /proc/18237/statm: 46763 40525 810 807 0 39754 0 Current children cumulated CPU time: 162.26 s Current children cumulated vsize: 187052 KiB Current children cumulated memory: 162100 KiB [startup+222.3 s] /proc/loadavg: 2.48 1.20 0.51 3/188 18248 /proc/meminfo: memFree=24775412/32770624 swapFree=67107648/67108860 [pid=18237] ppid=18234 vsize=187052 memory=162144 CPUtime=222.23 cores=0,2,4,6 /proc/18237/stat : 18237 (MistralXCSP) R 18234 18237 18175 0 -1 4202496 177211 0 0 0 22208 15 0 0 20 0 1 0 287463913 191541248 40536 33554432000 4194304 7499544 140728590838896 140728590833912 5790485 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 10596352 140728590840946 140728590841096 140728590841096 140728590843849 0 /proc/18237/statm: 46763 40536 810 807 0 39754 0 Current children cumulated CPU time: 222.23 s Current children cumulated vsize: 187052 KiB Current children cumulated memory: 162144 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252 s]* /proc/loadavg: 2.29 1.28 0.56 2/183 18257 /proc/meminfo: memFree=24963236/32770624 swapFree=67107648/67108860 [pid=18237] ppid=18234 vsize=187052 memory=162152 CPUtime=251.92 cores=0,2,4,6 /proc/18237/stat : 18237 (MistralXCSP) R 18234 18237 18175 0 -1 4202496 178700 0 0 0 25177 15 0 0 20 0 1 0 287463913 191541248 40538 33554432000 4194304 7499544 140728590838896 140728590833912 5613019 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 10596352 140728590840946 140728590841096 140728590841096 140728590843849 0 /proc/18237/statm: 46763 40538 810 807 0 39754 0 Current children cumulated CPU time: 251.92 s Current children cumulated vsize: 187052 KiB Current children cumulated memory: 162152 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.011 s] # the end of solver process 18237 was just reported to runsolver # cumulated CPU time of all completed processes: user=251.772 s, system=0.155973 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 252.011 CPU time (s): 251.928 CPU user time (s): 251.772 CPU system time (s): 0.155973 CPU usage (%): 99.9669 Max. virtual memory (cumulated for all children) (KiB): 187052 Max. memory (cumulated for all children) (KiB): 162152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 251.772 system time used= 0.155973 maximum resident set size= 162172 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 178785 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= 62 involuntary context switches= 334 # summary of solver processes directly reported to runsolver: # pid: 18237 # total CPU time (s): 251.928 # total CPU user time (s): 251.772 # total CPU system time (s): 0.155973 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.930414 second user time and 1.69251 second system time The end
Begin job on node136 at 2018-08-19 19:16:47 IDJOB=4312458 IDBENCH=141047 IDSOLVER=2801 FILE ID=node136/4312458-1534699007 RUNJOBID= node136-1534699007-18206 PBS_JOBID= 21038717 Free space on /tmp= 59316 MiB SOLVER NAME= Mistral-2.0 2018-08-01 BENCH NAME= XCSP18/NurseRostering/NurseRostering-09_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-4312458-1534699007/watcher-4312458-1534699007 -o /tmp/evaluation-result-4312458-1534699007/solver-4312458-1534699007 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534699007-18206 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 2023937646 HOME/instance-4312458-1534699007.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 01a28a521b9bba3b9351b91d9c8d3e2f RANDOM SEED=2023937646 node136.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.50 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.50 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.50 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.50 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: 25101764 kB MemAvailable: 31887504 kB Buffers: 188268 kB Cached: 6887044 kB SwapCached: 44 kB Active: 3728196 kB Inactive: 3419596 kB Active(anon): 45908 kB Inactive(anon): 95264 kB Active(file): 3682288 kB Inactive(file): 3324332 kB Unevictable: 7376 kB Mlocked: 7376 kB SwapTotal: 67108860 kB SwapFree: 67107648 kB Dirty: 12080 kB Writeback: 0 kB AnonPages: 80648 kB Mapped: 22092 kB Shmem: 65856 kB Slab: 218168 kB SReclaimable: 189912 kB SUnreclaim: 28256 kB KernelStack: 3216 kB PageTables: 5296 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 415060 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: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 59312 MiB End job on node136 at 2018-08-19 19:21:00