Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-2.0 2018-08-01 | SAT (TO) | 6187 | 2519.77 | 2520.01 |
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 | 2750 |
Best CPU time to get the best result obtained on this benchmark | 2520.08 |
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.69 o 19963 1.59/1.69 o 19962 1.69/1.70 o 19861 1.69/1.70 o 19761 1.69/1.71 o 19660 1.69/1.71 o 19659 1.69/1.72 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.76 o 19254 1.69/1.77 o 19154 1.89/2.00 o 19053 1.99/2.01 o 18952 1.99/2.02 o 18851 1.99/2.02 o 18750 1.99/2.03 o 18649 2.10/2.16 o 18548 2.39/2.42 o 18547 2.39/2.43 o 18448 2.39/2.43 o 18447 2.39/2.44 o 18446 2.39/2.44 o 18345 2.39/2.45 o 18244 2.39/2.45 o 18145 2.39/2.46 o 18144 2.39/2.47 o 18043 2.39/2.47 o 18041 2.49/2.56 o 18040 2.49/2.57 o 17941 2.49/2.57 o 17940 2.79/2.89 o 17840 2.79/2.89 o 17839 2.89/2.90 o 17838 2.89/2.90 o 17738 2.89/2.91 o 17737 2.89/2.91 o 17736 2.89/2.92 o 17735 2.89/2.92 o 17734 2.89/2.93 o 17634 2.89/2.93 o 17633 2.89/2.94 o 17632 2.89/2.95 o 17631 2.89/2.95 o 17630 2.89/2.96 o 17532 2.89/2.97 o 17531 2.89/2.97 o 17529 2.89/2.98 o 17528 2.89/2.98 o 17526 2.89/2.99 o 17525 2.89/3.00 o 17524 3.59/3.68 o 17424 5.49/5.50 o 17326 5.49/5.50 o 17325 5.49/5.51 o 17324 5.49/5.52 o 17224 5.59/5.61 o 17125 5.59/5.61 o 17124 5.79/5.89 o 17024 6.49/6.52 o 17022 6.49/6.53 o 17021 6.49/6.53 o 17020 6.49/6.54 o 16920 6.49/6.55 o 16820 6.49/6.56 o 16819 6.49/6.56 o 16719 6.49/6.57 o 16718 6.49/6.57 o 16717 6.49/6.58 o 16617 6.49/6.59 o 16616 6.49/6.59 o 16515 6.59/6.61 o 16415 6.59/6.61 o 16414 6.59/6.62 o 16314 6.59/6.62 o 16313 6.59/6.67 o 16213 6.59/6.67 o 16212 6.69/6.74 o 16112 6.69/6.75 o 16012 7.59/7.60 o 16011 7.59/7.66 o 16010 7.59/7.67 o 16009 7.69/7.79 o 16008 7.89/7.94 o 15908 8.00/8.06 o 15907 8.10/8.18 o 15906 8.19/8.29 o 15905 8.29/8.30 o 15904 8.39/8.45 o 15604 8.49/8.58 o 15504 8.69/8.71 o 15502 8.69/8.72 o 15501 8.79/8.86 o 15301 9.00/9.06 o 15004 13.69/13.74 o 15003 13.69/13.79 o 15002 13.79/13.80 o 15001 13.79/13.81 o 14901 14.29/14.37 o 14802 17.59/17.64 o 14701 17.59/17.64 o 14600 17.59/17.65 o 14499 17.59/17.65 o 14498 17.59/17.66 o 14399 17.59/17.66 o 14398 17.59/17.67 o 14298 17.59/17.68 o 14197 17.69/17.73 o 14196 18.19/18.24 o 14195 18.39/18.43 o 14095 18.79/18.82 o 14094 20.19/20.20 o 13994 21.69/21.77 o 13895 21.69/21.78 o 13894 22.00/22.01 o 13797 23.00/23.05 o 13794 23.18/23.23 o 13705 23.18/23.26 o 13702 23.78/23.89 o 13700 26.58/26.63 o 13699 26.58/26.64 o 13698 26.58/26.69 o 13598 26.78/26.84 o 13501 26.78/26.88 o 13498 26.78/26.89 o 13401 26.88/26.98 o 13398 38.68/38.77 o 13297 38.68/38.78 o 13296 38.68/38.78 o 13295 38.68/38.79 o 13294 38.78/38.80 o 13195 38.78/38.82 o 13095 38.88/38.99 o 13092 39.68/39.71 o 13091 39.68/39.71 o 12991 39.68/39.72 o 12989 45.98/46.07 o 12987 46.08/46.15 o 12986 46.18/46.24 o 12984 46.28/46.35 o 12983 46.28/46.37 o 12982 46.28/46.38 o 12981 46.48/46.56 o 12885 46.48/46.57 o 12785 46.48/46.57 o 12685 46.48/46.58 o 12585 46.48/46.58 o 12584 46.58/46.60 o 12581 47.57/47.63 o 12488 47.57/47.65 o 12484 47.57/47.66 o 12482 47.57/47.66 o 12481 48.57/48.60 o 12389 48.57/48.61 o 12388 48.57/48.67 o 12386 48.57/48.68 o 12385 48.57/48.69 o 12382 48.67/48.70 o 12381 48.67/48.72 o 12281 48.77/48.80 o 12280 50.08/50.13 o 12279 50.08/50.14 o 12278 50.17/50.23 o 12178 58.87/58.97 o 12077 58.87/58.98 o 12076 58.87/58.98 o 11976 58.87/58.99 o 11975 58.87/59.00 o 11875 58.98/59.01 o 11775 58.98/59.05 o 11774 59.07/59.12 o 11773 59.07/59.13 o 11772 59.07/59.13 o 11671 59.47/59.54 o 11670 59.67/59.80 o 11668 59.97/60.08 o 11567 60.07/60.12 o 11466 60.57/60.66 o 11365 64.76/64.81 o 11265 64.86/65.00 o 11264 65.07/65.19 o 11263 69.37/69.43 o 11262 69.47/69.55 o 11259 85.26/85.32 o 11158 85.26/85.33 o 11057 85.26/85.34 o 11056 85.26/85.34 o 11055 85.26/85.36 o 11053 85.26/85.37 o 10957 85.26/85.38 o 10956 85.26/85.38 o 10955 85.46/85.51 o 10954 85.66/85.78 o 10951 85.66/85.78 o 10950 85.76/85.87 o 10850 85.76/85.89 o 10849 85.76/85.90 o 10749 85.86/85.95 o 10649 85.97/86.04 o 10647 86.07/86.15 o 10546 86.26/86.32 o 10446 90.46/90.50 o 10346 91.66/91.79 o 10345 103.85/103.93 o 10245 103.85/103.94 o 10145 103.85/103.94 o 10142 103.85/103.95 o 10041 103.85/103.95 o 10039 103.85/103.96 o 10038 104.06/104.12 o 9937 104.65/104.74 o 9936 105.15/105.27 o 9836 105.25/105.33 o 9740 106.75/106.80 o 9739 107.35/107.41 o 9638 107.35/107.41 o 9636 117.14/117.25 o 9635 151.83/151.92 o 9535 151.83/151.93 o 9534 151.83/151.93 o 9533 151.83/151.94 o 9433 151.83/151.95 o 9334 151.83/151.95 o 9234 151.83/151.97 o 9233 151.94/152.01 o 9232 151.94/152.02 o 9132 151.94/152.06 o 9131 152.43/152.50 o 9130 152.43/152.50 o 9030 152.63/152.71 o 9029 152.83/152.99 o 8929 166.04/166.15 o 8829 173.13/173.22 o 8828 175.04/175.18 o 8827 197.63/197.76 o 8826 197.63/197.77 o 8825 198.43/198.57 o 8824 207.93/208.04 o 8823 250.42/250.55 o 8723 257.32/257.41 o 8722 257.32/257.42 o 8621 257.32/257.43 o 8521 257.42/257.52 o 8520 331.42/331.50 o 8420 331.42/331.52 o 8323 331.42/331.54 o 8320 479.60/479.78 o 8219 522.40/522.52 o 8218 576.30/576.45 o 8217 576.30/576.46 o 8117 576.30/576.48 o 8116 576.30/576.49 o 8015 576.91/577.08 o 7913 577.30/577.42 o 7812 577.60/577.74 o 7811 604.60/604.74 o 7810 604.60/604.75 o 7809 685.79/685.96 o 7808 719.00/719.14 o 7806 759.38/759.54 o 7805 846.48/846.69 o 7708 846.58/846.79 o 7707 846.68/846.80 o 7706 846.68/846.85 o 7705 846.78/846.96 o 7605 846.89/847.07 o 7505 846.99/847.18 o 7405 847.78/847.96 o 7309 847.78/847.96 o 7308 847.78/847.97 o 7307 847.78/847.97 o 7207 1081.96/1082.16 o 7107 1081.96/1082.17 o 7106 1081.96/1082.19 o 7105 1086.86/1087.10 o 7102 1327.15/1327.33 o 7101 1552.23/1552.49 o 7100 1552.33/1552.50 o 7099 1552.43/1552.65 o 7098 1552.53/1552.72 o 7001 1552.53/1552.73 o 6900 1553.73/1553.94 o 6899 1555.13/1555.38 o 6898 1555.73/1555.93 o 6897 1560.83/1561.02 o 6895 1563.93/1564.19 o 6794 1587.83/1588.06 o 6694 1587.83/1588.07 o 6693 1615.62/1615.84 o 6691 1615.62/1615.85 o 6690 1630.02/1630.25 o 6687 1894.40/1894.69 o 6587 2123.08/2123.39 o 6491 2123.18/2123.40 o 6490 2123.48/2123.71 o 6489 2134.38/2134.63 o 6488 2134.48/2134.73 o 6487 2134.58/2134.86 o 6387 2134.79/2135.01 o 6291 2134.79/2135.01 o 6290 2134.79/2135.03 o 6288 2134.79/2135.09 o 6287 2134.98/2135.27 o 6192 2134.98/2135.29 o 6189 2147.98/2148.29 o 6188 2148.08/2148.39 o 6187 2519.76/2520.00 s SATISFIABLE 2519.76/2520.00 v <instantiation type="solution"> 2519.76/2520.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> 2519.76/2520.01 v <values> 0 4 4 1 1 3 1 4 4 1 4 4 4 4 4 4 1 4 4 4 4 3 4 4 4 4 4 4 4 4 4 4 4 0 4 4 1 0 0 2 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 4 4 4 4 4 2 4 0 0 2 1 4 4 0 2 3 2 4 1 4 1 0 4 0 4 2 4 4 4 1 0 4 2 4 4 4 4 4 4 4 4 4 4 1 0 2 1 4 4 0 2 4 2 0 1 0 1 3 4 0 4 2 4 1 4 4 1 4 4 4 2 1 4 0 2 4 4 4 4 1 0 4 4 4 0 2 3 4 2 3 1 2 2 4 4 4 4 4 4 1 4 4 4 4 4 4 4 4 4 4 4 0 4 4 2 4 0 4 4 1 0 4 4 4 3 4 4 2 4 4 4 4 1 4 4 4 2 4 4 4 4 4 4 0 4 4 0 4 4 4 2 4 4 3 4 1 1 4 4 4 4 4 4 4 4 4 4 4 1 4 4 4 4 0 4 0 4 1 4 0 4 4 2 4 2 4 3 0 4 3 0 1 4 4 4 4 4 4 4 4 4 4 4 1 4 2 3 1 4 4 4 4 4 4 4 4 1 4 4 4 4 0 3 0 4 4 0 1 4 4 4 4 4 4 4 4 0 3 1 1 4 2 4 4 2 4 2 4 4 4 4 4 1 4 4 4 4 4 3 4 4 4 0 1 0 0 0 2 2 4 4 0 0 3 1 1 0 3 4 4 4 4 4 4 4 4 4 4 4 4 4 0 1 4 4 4 0 2 0 4 0 0 0 3 3 0 1 0 4 3 2 4 1 4 0 3 4 4 4 4 4 4 4 4 4 4 4 0 4 4 4 0 0 3 4 4 0 0 0 3 4 2 1 0 4 4 4 4 1 4 1 4 2 1 4 0 4 1 4 4 0 4 4 1 4 4 3 0 0 4 4 4 4 0 4 4 4 4 3 2 4 4 4 4 4 4 3 4 2 2 4 4 2 1 4 4 1 0 4 4 4 0 3 4 1 4 0 4 4 4 4 4 4 4 3 4 4 4 2 3 4 4 4 4 4 2 4 4 4 1 2 0 4 0 4 1 4 4 4 4 4 4 0 4 4 4 0 4 4 4 4 4 4 4 4 4 1 2 4 4 4 4 4 4 4 4 4 4 4 4 1 4 4 4 4 1 4 4 1 4 0 1 0 4 0 4 4 4 4 4 4 4 4 4 4 0 2 4 4 0 2 4 4 3 4 4 4 0 4 4 0 1 2 4 4 1 0 2 4 0 0 4 4 2 4 4 4 0 4 4 4 0 4 4 0 0 4 4 4 4 4 2 4 4 1 0 1 1 2 4 4 3 0 4 4 0 0 2 4 3 4 0 4 4 4 4 0 0 4 4 4 1 2 4 2 4 4 4 4 4 2 4 4 2 2 1 4 3 0 4 4 0 3 2 1 3 1 0 4 4 0 4 0 4 4 0 4 1 2 4 2 4 4 4 4 4 4 0 4 4 4 1 0 4 0 4 0 0 4 2 3 4 1 0 4 4 3 1 0 4 2 4 4 1 2 4 2 4 4 4 4 4 4 0 4 4 4 1 1 4 4 4 3 0 4 3 4 4 1 0 4 4 4 3 0 4 2 4 0 4 2 1 2 4 4 4 0 4 4 4 0 1 0 2 4 0 4 4 3 4 4 4 4 4 1 4 1 2 4 4 4 1 2 4 0 4 4 4 4 4 4 0 0 4 1 4 0 1 2 4 4 1 0 0 3 4 4 4 4 4 4 4 2 4 3 4 4 4 2 4 0 0 4 4 4 4 4 4 0 4 1 4 0 1 2 4 4 4 0 0 4 1 4 4 1 2 4 4 2 4 3 4 4 4 2 3 4 0 4 1 4 4 1 4 4 4 4 2 2 1 4 2 0 4 0 0 4 1 4 0 2 3 4 1 4 4 4 1 0 4 4 3 4 4 4 4 4 4 4 1 4 4 4 4 4 1 4 2 0 4 0 0 2 1 4 2 3 4 0 1 4 4 4 4 4 3 4 3 0 4 4 1 4 4 4 4 4 4 4 4 4 4 4 4 4 0 4 1 3 1 0 2 4 4 0 1 4 3 4 4 4 4 4 4 1 1 4 4 4 4 1 4 4 4 4 4 4 4 4 4 4 0 4 4 4 1 3 3 4 4 2 4 2 3 4 2 1 4 4 4 4 4 4 4 2 1 1 2 4 4 2 4 5 2 3 5 13 6 10 1 0 11 9 1 5 0 13 0 4 7 3 14 9 6 0 0 13 3 7 0 4 14 14 3 0 0 11 11 2 2 0 13 7 0 3 5 13 5 6 1 4 12 4 0 4 4 16 3 0 6 3 16 0 7 1 4 16 4 0 5 3 16 4 7 2 0 15 5 3 0 4 16 0 5 5 0 18 3 3 1 3 18 2 5 0 3 18 0 2 6 2 18 6 2 0 2 18 3 4 0 3 18 0 0 10 0 18 2 3 2 3 18 7 2 1 0 18 6 4 0 0 18 0 0 7 0 21 0 7 0 0 21 0 0 7 0 21 3 2 0 1 22 1 6 0 0 21 4 1 2 0 21 4 1 2 0 21 5 2 0 0 21 0 4 3 0 21 5 0 2 0 21 2 5 0 2 27 5 6 2 2 21 6 4 5 1 20 6 7 6 1 16 3 3 4 2 24 4 2 3 1 26 3 4 3 1 25 3 4 1 3 25 3 4 3 2 24 8 4 2 3 19 9 2 2 4 19 8 6 2 2 18 5 2 4 3 22 3 3 3 3 24 2 2 1 0 31 6 3 2 1 24 9 3 4 0 20 6 3 5 2 20 7 4 5 3 17 7 4 4 2 19 5 4 3 3 21 6 5 3 1 21 6 3 3 2 22 4 5 5 2 20 5 5 3 2 21 5 4 3 3 21 3 6 1 2 24 1 4 6 3 22 1 1 0 0 0 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 0 1 1 0 0 1 1 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 0 1 1 1 1 1 1 0 1 1 1 0 1 1 1 0 0 1 1 1 1 0 1 1 0 1 1 0 1 1 1 0 0 1 1 1 1 1 0 1 0 1 1 1 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 1 0 1 1 0 0 3 3 3 3 3 3 3 3 3 3 3 1 0 0 3 3 3 2 2 2 2 1 1 0 0 0 3 3 1 1 1 1 1 0 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 0 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 0 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 0 3 0 1 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 600 0 0 2 0 200 0 0 2 0 0 0 0 1 2 1 0 0 0 0 0 0 0 0 0 200 100 0 0 0 100 0 0 0 0 300 0 0 0 0 0 100 0 4 0 200 0 0 5 0 0 0 0 4 0 300 0 0 0 0 0 100 0 100 0 100 0 0 200 0 200 300 0 2 0 200 200 0 7 0 0 300 0 3 0 0 0 0 4 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 300 200 0 2 0 100 0 0 0 0 0 0 0 0 0 200 0 0 0 0 200 0 0 0 0 200 300 0 300 300 0 0 0 </values> 2519.76/2520.01 v </instantiation>
OK 6187
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 (2007 MiB free) memory of node 1: 16384 MiB (3362 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303714-1533994241/watcher-4303714-1533994241 -o /tmp/evaluation-result-4303714-1533994241/solver-4303714-1533994241 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1533991720-20082 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 280841227 HOME/instance-4303714-1533994241.xml running on 4 cores: 0,2,4,6 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 solver pid=20342, runsolver pid=20339 Current StackSize limit: 8192 KiB [startup+0.100119 s]* /proc/loadavg: 2.00 2.01 1.95 3/187 20343 /proc/meminfo: memFree=5484132/32770624 swapFree=67108792/67108860 [pid=20342] ppid=20339 vsize=43712 memory=18216 CPUtime=0.1 cores=0,2,4,6 /proc/20342/stat : 20342 (MistralXCSP) R 20339 20342 20051 0 -1 4202496 5064 0 0 0 10 0 0 0 20 0 1 0 216987394 44761088 4554 33554432000 4194304 7499544 140720684687920 140720684684920 6195696 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 37642240 140720684692590 140720684692739 140720684692739 140720684695497 0 /proc/20342/statm: 10928 4554 732 807 0 3919 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 43712 KiB Current children cumulated memory: 18216 KiB [startup+0.209593 s]* /proc/loadavg: 2.00 2.01 1.95 3/187 20343 /proc/meminfo: memFree=5477932/32770624 swapFree=67108792/67108860 [pid=20342] ppid=20339 vsize=48724 memory=23496 CPUtime=0.2 cores=0,2,4,6 /proc/20342/stat : 20342 (MistralXCSP) R 20339 20342 20051 0 -1 4202496 6343 0 0 0 20 0 0 0 20 0 1 0 216987394 49893376 5874 33554432000 4194304 7499544 140720684687920 140720684684920 5902120 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 37642240 140720684692590 140720684692739 140720684692739 140720684695497 0 /proc/20342/statm: 12181 5874 745 807 0 5172 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 48724 KiB Current children cumulated memory: 23496 KiB [startup+0.309385 s]* /proc/loadavg: 2.00 2.01 1.95 3/187 20343 /proc/meminfo: memFree=5469748/32770624 swapFree=67108792/67108860 [pid=20342] ppid=20339 vsize=74796 memory=49368 CPUtime=0.3 cores=0,2,4,6 /proc/20342/stat : 20342 (MistralXCSP) R 20339 20342 20051 0 -1 4202496 12838 0 0 0 29 1 0 0 20 0 1 0 216987394 76591104 12342 33554432000 4194304 7499544 140720684687920 140720684684920 139829484885920 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 37642240 140720684692590 140720684692739 140720684692739 140720684695497 0 /proc/20342/statm: 18699 12342 750 807 0 11690 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 74796 KiB Current children cumulated memory: 49368 KiB [startup+0.700286 s] /proc/loadavg: 2.00 2.01 1.95 3/186 20358 /proc/meminfo: memFree=5393656/32770624 swapFree=67108792/67108860 [pid=20342] ppid=20339 vsize=159796 memory=134568 CPUtime=0.69 cores=0,2,4,6 /proc/20342/stat : 20342 (MistralXCSP) R 20339 20342 20051 0 -1 4202496 34168 0 0 0 66 3 0 0 20 0 1 0 216987394 163631104 33642 33554432000 4194304 7499544 140720684687920 140720684684920 139829484830516 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 37642240 140720684692590 140720684692739 140720684692739 140720684695497 0 /proc/20342/statm: 39949 33642 766 807 0 32940 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 159796 KiB Current children cumulated memory: 134568 KiB [startup+1.50031 s] /proc/loadavg: 2.00 2.01 1.95 3/187 20404 /proc/meminfo: memFree=5332992/32770624 swapFree=67108792/67108860 [pid=20342] ppid=20339 vsize=186260 memory=161256 CPUtime=1.49 cores=0,2,4,6 /proc/20342/stat : 20342 (MistralXCSP) R 20339 20342 20051 0 -1 4202496 40676 0 0 0 145 4 0 0 20 0 1 0 216987394 190730240 40314 33554432000 4194304 7499544 140720684687920 140720684681160 4579925 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 37642240 140720684692590 140720684692739 140720684692739 140720684695497 0 /proc/20342/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.10945 s] /proc/loadavg: 2.00 2.01 1.95 3/187 20404 /proc/meminfo: memFree=5332440/32770624 swapFree=67108792/67108860 [pid=20342] ppid=20339 vsize=186524 memory=161592 CPUtime=3.1 cores=0,2,4,6 /proc/20342/stat : 20342 (MistralXCSP) R 20339 20342 20051 0 -1 4202496 56326 0 0 0 304 6 0 0 20 0 1 0 216987394 191000576 40398 33554432000 4194304 7499544 140720684687920 140720684682936 5790896 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 37642240 140720684692590 140720684692739 140720684692739 140720684695497 0 /proc/20342/statm: 46631 40398 810 807 0 39622 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 186524 KiB Current children cumulated memory: 161592 KiB [startup+6.30024 s] /proc/loadavg: 2.00 2.01 1.95 3/187 20404 /proc/meminfo: memFree=5332388/32770624 swapFree=67108792/67108860 [pid=20342] ppid=20339 vsize=186656 memory=161708 CPUtime=6.29 cores=0,2,4,6 /proc/20342/stat : 20342 (MistralXCSP) R 20339 20342 20051 0 -1 4202496 71926 0 0 0 622 7 0 0 20 0 1 0 216987394 191135744 40427 33554432000 4194304 7499544 140720684687920 140720684682936 4246824 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 37642240 140720684692590 140720684692739 140720684692739 140720684695497 0 /proc/20342/statm: 46664 40427 810 807 0 39655 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 186656 KiB Current children cumulated memory: 161708 KiB [startup+12.7002 s] /proc/loadavg: 2.00 2.01 1.95 3/187 20468 /proc/meminfo: memFree=5148092/32770624 swapFree=67108792/67108860 [pid=20342] ppid=20339 vsize=186656 memory=161764 CPUtime=12.69 cores=0,2,4,6 /proc/20342/stat : 20342 (MistralXCSP) R 20339 20342 20051 0 -1 4202496 87543 0 0 0 1260 9 0 0 20 0 1 0 216987394 191135744 40441 33554432000 4194304 7499544 140720684687920 140720684682936 5585600 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 37642240 140720684692590 140720684692739 140720684692739 140720684695497 0 /proc/20342/statm: 46664 40441 810 807 0 39655 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 186656 KiB Current children cumulated memory: 161764 KiB [startup+25.5003 s] /proc/loadavg: 2.00 2.01 1.95 3/187 20468 /proc/meminfo: memFree=5147688/32770624 swapFree=67108792/67108860 [pid=20342] ppid=20339 vsize=186788 memory=161888 CPUtime=25.48 cores=0,2,4,6 /proc/20342/stat : 20342 (MistralXCSP) R 20339 20342 20051 0 -1 4202496 117799 0 0 0 2538 10 0 0 20 0 1 0 216987394 191270912 40472 33554432000 4194304 7499544 140720684687920 140720684682936 5648654 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 37642240 140720684692590 140720684692739 140720684692739 140720684695497 0 /proc/20342/statm: 46697 40472 810 807 0 39688 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 186788 KiB Current children cumulated memory: 161888 KiB [startup+51.1092 s] /proc/loadavg: 2.00 2.01 1.95 3/187 20468 /proc/meminfo: memFree=5146048/32770624 swapFree=67108792/67108860 [pid=20342] ppid=20339 vsize=186920 memory=161976 CPUtime=51.08 cores=0,2,4,6 /proc/20342/stat : 20342 (MistralXCSP) R 20339 20342 20051 0 -1 4202496 132696 0 0 0 5097 11 0 0 20 0 1 0 216987394 191406080 40494 33554432000 4194304 7499544 140720684687920 140720684682936 5163875 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 37642240 140720684692590 140720684692739 140720684692739 140720684695497 0 /proc/20342/statm: 46730 40494 810 807 0 39721 0 Current children cumulated CPU time: 51.08 s Current children cumulated vsize: 186920 KiB Current children cumulated memory: 161976 KiB [startup+102.3 s] /proc/loadavg: 2.00 2.01 1.95 3/187 20469 /proc/meminfo: memFree=5147872/32770624 swapFree=67108792/67108860 [pid=20342] ppid=20339 vsize=186920 memory=162044 CPUtime=102.25 cores=0,2,4,6 /proc/20342/stat : 20342 (MistralXCSP) R 20339 20342 20051 0 -1 4202496 143541 0 0 0 10213 12 0 0 20 0 1 0 216987394 191406080 40511 33554432000 4194304 7499544 140720684687920 140720684682936 5770032 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 37642240 140720684692590 140720684692739 140720684692739 140720684695497 0 /proc/20342/statm: 46730 40511 810 807 0 39721 0 Current children cumulated CPU time: 102.25 s Current children cumulated vsize: 186920 KiB Current children cumulated memory: 162044 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.01 1.95 3/187 20470 /proc/meminfo: memFree=5148252/32770624 swapFree=67108792/67108860 [pid=20342] ppid=20339 vsize=187052 memory=162108 CPUtime=162.23 cores=0,2,4,6 /proc/20342/stat : 20342 (MistralXCSP) R 20339 20342 20051 0 -1 4202496 147001 0 0 0 16211 12 0 0 20 0 1 0 216987394 191541248 40527 33554432000 4194304 7499544 140720684687920 140720684682936 5574843 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 37642240 140720684692590 140720684692739 140720684692739 140720684695497 0 /proc/20342/statm: 46763 40527 810 807 0 39754 0 Current children cumulated CPU time: 162.23 s Current children cumulated vsize: 187052 KiB Current children cumulated memory: 162108 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.01 1.95 3/187 20471 /proc/meminfo: memFree=5147952/32770624 swapFree=67108792/67108860 [pid=20342] ppid=20339 vsize=187052 memory=162140 CPUtime=222.22 cores=0,2,4,6 /proc/20342/stat : 20342 (MistralXCSP) R 20339 20342 20051 0 -1 4202496 147915 0 0 0 22210 12 0 0 20 0 1 0 216987394 191541248 40535 33554432000 4194304 7499544 140720684687920 140720684682936 4545393 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 37642240 140720684692590 140720684692739 140720684692739 140720684695497 0 /proc/20342/statm: 46763 40535 810 807 0 39754 0 Current children cumulated CPU time: 222.22 s Current children cumulated vsize: 187052 KiB Current children cumulated memory: 162140 KiB [startup+282.3 s] /proc/loadavg: 2.16 2.05 1.97 3/187 20472 /proc/meminfo: memFree=5147408/32770624 swapFree=67108792/67108860 [pid=20342] ppid=20339 vsize=187052 memory=162156 CPUtime=282.22 cores=0,2,4,6 /proc/20342/stat : 20342 (MistralXCSP) R 20339 20342 20051 0 -1 4202496 148832 0 0 0 28210 12 0 0 20 0 1 0 216987394 191541248 40539 33554432000 4194304 7499544 140720684687920 140720684682936 4249680 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 37642240 140720684692590 140720684692739 140720684692739 140720684695497 0 /proc/20342/statm: 46763 40539 810 807 0 39754 0 Current children cumulated CPU time: 282.22 s Current children cumulated vsize: 187052 KiB Current children cumulated memory: 162156 KiB [startup+342.3 s] /proc/loadavg: 2.40 2.16 2.01 3/187 20473 /proc/meminfo: memFree=5147232/32770624 swapFree=67108792/67108860 [pid=20342] ppid=20339 vsize=187052 memory=162176 CPUtime=342.22 cores=0,2,4,6 /proc/20342/stat : 20342 (MistralXCSP) R 20339 20342 20051 0 -1 4202496 149750 0 0 0 34210 12 0 0 20 0 1 0 216987394 191541248 40544 33554432000 4194304 7499544 140720684687920 140720684682936 4246801 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 37642240 140720684692590 140720684692739 140720684692739 140720684695497 0 /proc/20342/statm: 46763 40544 810 807 0 39754 0 Current children cumulated CPU time: 342.22 s Current children cumulated vsize: 187052 KiB Current children cumulated memory: 162176 KiB [startup+402.3 s] /proc/loadavg: 2.15 2.13 2.01 3/187 20474 /proc/meminfo: memFree=5147232/32770624 swapFree=67108792/67108860 [pid=20342] ppid=20339 vsize=187052 memory=162180 CPUtime=402.21 cores=0,2,4,6 /proc/20342/stat : 20342 (MistralXCSP) R 20339 20342 20051 0 -1 4202496 150446 0 0 0 40209 12 0 0 20 0 1 0 216987394 191541248 40545 33554432000 4194304 7499544 140720684687920 140720684682936 5163950 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 37642240 140720684692590 140720684692739 140720684692739 140720684695497 0 /proc/20342/statm: 46763 40545 810 807 0 39754 0 Current children cumulated CPU time: 402.21 s Current children cumulated vsize: 187052 KiB Current children cumulated memory: 162180 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=20342] ppid=20339 vsize=187052 memory=162180 CPUtime=462.21 cores=0,2,4,6 /proc/20342/stat : 20342 (MistralXCSP) R 20339 20342 20051 0 -1 4202496 151360 0 0 0 46209 12 0 0 20 0 1 0 216987394 191541248 40545 33554432000 4194304 7499544 140720684687920 140720684682936 5652955 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 37642240 140720684692590 140720684692739 140720684692739 140720684695497 0 /proc/20342/statm: 46763 40545 810 807 0 39754 0 Current children cumulated CPU time: 462.21 s Current children cumulated vsize: 187052 KiB Current children cumulated memory: 162180 KiB ################ # More data... # ################ /proc/20342/statm: 46905 40667 810 807 0 39896 0 Current children cumulated CPU time: 1722.11 s Current children cumulated vsize: 187620 KiB Current children cumulated memory: 162668 KiB [startup+1782.3 s] /proc/loadavg: 2.01 2.02 2.02 3/187 20523 /proc/meminfo: memFree=5145008/32770624 swapFree=67108792/67108860 [pid=20342] ppid=20339 vsize=187620 memory=162668 CPUtime=1782.11 cores=0,2,4,6 /proc/20342/stat : 20342 (MistralXCSP) R 20339 20342 20051 0 -1 4202496 168238 0 0 0 178198 13 0 0 20 0 1 0 216987394 192122880 40667 33554432000 4194304 7499544 140720684687920 140720684682936 5838028 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 37642240 140720684692590 140720684692739 140720684692739 140720684695497 0 /proc/20342/statm: 46905 40667 810 807 0 39896 0 Current children cumulated CPU time: 1782.11 s Current children cumulated vsize: 187620 KiB Current children cumulated memory: 162668 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.02 3/188 20547 /proc/meminfo: memFree=5144516/32770624 swapFree=67108792/67108860 [pid=20342] ppid=20339 vsize=187620 memory=162668 CPUtime=1842.1 cores=0,2,4,6 /proc/20342/stat : 20342 (MistralXCSP) R 20339 20342 20051 0 -1 4202496 168967 0 0 0 184197 13 0 0 20 0 1 0 216987394 192122880 40667 33554432000 4194304 7499544 140720684687920 140720684682936 4541806 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 37642240 140720684692590 140720684692739 140720684692739 140720684695497 0 /proc/20342/statm: 46905 40667 810 807 0 39896 0 Current children cumulated CPU time: 1842.1 s Current children cumulated vsize: 187620 KiB Current children cumulated memory: 162668 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.02 3/188 20548 /proc/meminfo: memFree=5145016/32770624 swapFree=67108792/67108860 [pid=20342] ppid=20339 vsize=187620 memory=162668 CPUtime=1902.1 cores=0,2,4,6 /proc/20342/stat : 20342 (MistralXCSP) R 20339 20342 20051 0 -1 4202496 169740 0 0 0 190197 13 0 0 20 0 1 0 216987394 192122880 40667 33554432000 4194304 7499544 140720684687920 140720684682936 5648699 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 37642240 140720684692590 140720684692739 140720684692739 140720684695497 0 /proc/20342/statm: 46905 40667 810 807 0 39896 0 Current children cumulated CPU time: 1902.1 s Current children cumulated vsize: 187620 KiB Current children cumulated memory: 162668 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=20342] ppid=20339 vsize=187620 memory=162668 CPUtime=1962.09 cores=0,2,4,6 /proc/20342/stat : 20342 (MistralXCSP) R 20339 20342 20051 0 -1 4202496 170463 0 0 0 196196 13 0 0 20 0 1 0 216987394 192122880 40667 33554432000 4194304 7499544 140720684687920 140720684682936 5164040 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 37642240 140720684692590 140720684692739 140720684692739 140720684695497 0 /proc/20342/statm: 46905 40667 810 807 0 39896 0 Current children cumulated CPU time: 1962.09 s Current children cumulated vsize: 187620 KiB Current children cumulated memory: 162668 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.02 3/188 20550 /proc/meminfo: memFree=5144860/32770624 swapFree=67108792/67108860 [pid=20342] ppid=20339 vsize=187620 memory=162668 CPUtime=2022.09 cores=0,2,4,6 /proc/20342/stat : 20342 (MistralXCSP) R 20339 20342 20051 0 -1 4202496 171207 0 0 0 202196 13 0 0 20 0 1 0 216987394 192122880 40667 33554432000 4194304 7499544 140720684687920 140720684682936 5770134 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 37642240 140720684692590 140720684692739 140720684692739 140720684695497 0 /proc/20342/statm: 46905 40667 810 807 0 39896 0 Current children cumulated CPU time: 2022.09 s Current children cumulated vsize: 187620 KiB Current children cumulated memory: 162668 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=20342] ppid=20339 vsize=187620 memory=162668 CPUtime=2082.08 cores=0,2,4,6 /proc/20342/stat : 20342 (MistralXCSP) R 20339 20342 20051 0 -1 4202496 171943 0 0 0 208195 13 0 0 20 0 1 0 216987394 192122880 40667 33554432000 4194304 7499544 140720684687920 140720684682936 5585218 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 37642240 140720684692590 140720684692739 140720684692739 140720684695497 0 /proc/20342/statm: 46905 40667 810 807 0 39896 0 Current children cumulated CPU time: 2082.08 s Current children cumulated vsize: 187620 KiB Current children cumulated memory: 162668 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.02 3/187 20552 /proc/meminfo: memFree=5145092/32770624 swapFree=67108792/67108860 [pid=20342] ppid=20339 vsize=187620 memory=162668 CPUtime=2142.08 cores=0,2,4,6 /proc/20342/stat : 20342 (MistralXCSP) R 20339 20342 20051 0 -1 4202496 172900 0 0 0 214195 13 0 0 20 0 1 0 216987394 192122880 40667 33554432000 4194304 7499544 140720684687920 140720684682936 4314605 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 37642240 140720684692590 140720684692739 140720684692739 140720684695497 0 /proc/20342/statm: 46905 40667 810 807 0 39896 0 Current children cumulated CPU time: 2142.08 s Current children cumulated vsize: 187620 KiB Current children cumulated memory: 162668 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=20342] ppid=20339 vsize=187620 memory=162668 CPUtime=2202.08 cores=0,2,4,6 /proc/20342/stat : 20342 (MistralXCSP) R 20339 20342 20051 0 -1 4202496 173570 0 0 0 220195 13 0 0 20 0 1 0 216987394 192122880 40667 33554432000 4194304 7499544 140720684687920 140720684682936 4541798 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 37642240 140720684692590 140720684692739 140720684692739 140720684695497 0 /proc/20342/statm: 46905 40667 810 807 0 39896 0 Current children cumulated CPU time: 2202.08 s Current children cumulated vsize: 187620 KiB Current children cumulated memory: 162668 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=20342] ppid=20339 vsize=187620 memory=162668 CPUtime=2262.07 cores=0,2,4,6 /proc/20342/stat : 20342 (MistralXCSP) R 20339 20342 20051 0 -1 4202496 174261 0 0 0 226194 13 0 0 20 0 1 0 216987394 192122880 40667 33554432000 4194304 7499544 140720684687920 140720684682936 5837764 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 37642240 140720684692590 140720684692739 140720684692739 140720684695497 0 /proc/20342/statm: 46905 40667 810 807 0 39896 0 Current children cumulated CPU time: 2262.07 s Current children cumulated vsize: 187620 KiB Current children cumulated memory: 162668 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=20342] ppid=20339 vsize=187620 memory=162668 CPUtime=2322.07 cores=0,2,4,6 /proc/20342/stat : 20342 (MistralXCSP) R 20339 20342 20051 0 -1 4202496 174938 0 0 0 232194 13 0 0 20 0 1 0 216987394 192122880 40667 33554432000 4194304 7499544 140720684687920 140720684682936 5771753 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 37642240 140720684692590 140720684692739 140720684692739 140720684695497 0 /proc/20342/statm: 46905 40667 810 807 0 39896 0 Current children cumulated CPU time: 2322.07 s Current children cumulated vsize: 187620 KiB Current children cumulated memory: 162668 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.02 3/187 20563 /proc/meminfo: memFree=5144532/32770624 swapFree=67108792/67108860 [pid=20342] ppid=20339 vsize=187620 memory=162668 CPUtime=2382.06 cores=0,2,4,6 /proc/20342/stat : 20342 (MistralXCSP) R 20339 20342 20051 0 -1 4202496 175627 0 0 0 238193 13 0 0 20 0 1 0 216987394 192122880 40667 33554432000 4194304 7499544 140720684687920 140720684682936 4579850 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 37642240 140720684692590 140720684692739 140720684692739 140720684695497 0 /proc/20342/statm: 46905 40667 810 807 0 39896 0 Current children cumulated CPU time: 2382.06 s Current children cumulated vsize: 187620 KiB Current children cumulated memory: 162668 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=20342] ppid=20339 vsize=187620 memory=162668 CPUtime=2442.06 cores=0,2,4,6 /proc/20342/stat : 20342 (MistralXCSP) R 20339 20342 20051 0 -1 4202496 176295 0 0 0 244193 13 0 0 20 0 1 0 216987394 192122880 40667 33554432000 4194304 7499544 140720684687920 140720684682936 5770124 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 37642240 140720684692590 140720684692739 140720684692739 140720684695497 0 /proc/20342/statm: 46905 40667 810 807 0 39896 0 Current children cumulated CPU time: 2442.06 s Current children cumulated vsize: 187620 KiB Current children cumulated memory: 162668 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=20342] ppid=20339 vsize=187620 memory=162668 CPUtime=2502.05 cores=0,2,4,6 /proc/20342/stat : 20342 (MistralXCSP) R 20339 20342 20051 0 -1 4202496 176952 0 0 0 250192 13 0 0 20 0 1 0 216987394 192122880 40667 33554432000 4194304 7499544 140720684687920 140720684682936 4579822 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 37642240 140720684692590 140720684692739 140720684692739 140720684695497 0 /proc/20342/statm: 46905 40667 810 807 0 39896 0 Current children cumulated CPU time: 2502.05 s Current children cumulated vsize: 187620 KiB Current children cumulated memory: 162668 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 2.00 2.01 2.02 3/187 20565 /proc/meminfo: memFree=5144704/32770624 swapFree=67108792/67108860 [pid=20342] ppid=20339 vsize=187620 memory=162668 CPUtime=2519.76 cores=0,2,4,6 /proc/20342/stat : 20342 (MistralXCSP) R 20339 20342 20051 0 -1 4202496 177608 0 0 0 251963 13 0 0 20 0 1 0 216987394 192122880 40667 33554432000 4194304 7499544 140720684687920 140720684682936 5840037 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 37642240 140720684692590 140720684692739 140720684692739 140720684695497 0 /proc/20342/statm: 46905 40667 810 807 0 39896 0 Current children cumulated CPU time: 2519.76 s Current children cumulated vsize: 187620 KiB Current children cumulated memory: 162668 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.01 s] # the end of solver process 20342 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.63 s, system=0.135988 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.77 CPU user time (s): 2519.63 CPU system time (s): 0.135988 CPU usage (%): 99.9905 Max. virtual memory (cumulated for all children) (KiB): 187620 Max. memory (cumulated for all children) (KiB): 162668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.63 system time used= 0.135988 maximum resident set size= 162688 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 177647 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= 54 involuntary context switches= 3169 # summary of solver processes directly reported to runsolver: # pid: 20342 # total CPU time (s): 2519.77 # total CPU user time (s): 2519.63 # total CPU system time (s): 0.135988 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.38249 second user time and 16.034 second system time The end
Begin job on node150 at 2018-08-11 15:30:41 IDJOB=4303714 IDBENCH=141047 IDSOLVER=2779 FILE ID=node150/4303714-1533994241 RUNJOBID= node150-1533991720-20082 PBS_JOBID= 21036945 Free space on /tmp= 34696 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-4303714-1533994241/watcher-4303714-1533994241 -o /tmp/evaluation-result-4303714-1533994241/solver-4303714-1533994241 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1533991720-20082 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 280841227 HOME/instance-4303714-1533994241.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 01a28a521b9bba3b9351b91d9c8d3e2f RANDOM SEED=280841227 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: 5498644 kB MemAvailable: 31903140 kB Buffers: 201292 kB Cached: 26084112 kB SwapCached: 32 kB Active: 9931420 kB Inactive: 16408032 kB Active(anon): 5516 kB Inactive(anon): 101184 kB Active(file): 9925904 kB Inactive(file): 16306848 kB Unevictable: 7740 kB Mlocked: 7740 kB SwapTotal: 67108860 kB SwapFree: 67108792 kB Dirty: 6268 kB Writeback: 0 kB AnonPages: 61804 kB Mapped: 52968 kB Shmem: 49732 kB Slab: 628184 kB SReclaimable: 600204 kB SUnreclaim: 27980 kB KernelStack: 3568 kB PageTables: 5364 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 378332 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:41