Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-2.0 2018-06-15 | SAT (TO) | 6187 | 2400.02 | 2400.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.02 c Mistral 16062018 1.57/1.69 o 19963 1.57/1.69 o 19962 1.67/1.70 o 19861 1.67/1.70 o 19761 1.67/1.71 o 19660 1.67/1.71 o 19659 1.67/1.72 o 19558 1.67/1.72 o 19457 1.67/1.73 o 19356 1.67/1.74 o 19355 1.67/1.75 o 19255 1.67/1.76 o 19254 1.67/1.77 o 19154 1.87/1.99 o 19053 1.87/2.00 o 18952 1.87/2.00 o 18851 1.98/2.01 o 18750 1.98/2.02 o 18649 2.08/2.16 o 18548 2.36/2.42 o 18547 2.36/2.42 o 18448 2.36/2.42 o 18447 2.36/2.43 o 18446 2.36/2.43 o 18345 2.36/2.44 o 18244 2.36/2.45 o 18145 2.36/2.45 o 18144 2.36/2.46 o 18043 2.36/2.47 o 18041 2.46/2.55 o 18040 2.46/2.56 o 17941 2.46/2.56 o 17940 2.76/2.88 o 17840 2.76/2.88 o 17839 2.76/2.89 o 17838 2.76/2.89 o 17738 3.08/3.20 o 17737 3.08/3.20 o 17736 3.08/3.20 o 17735 3.08/3.20 o 17734 3.08/3.20 o 17634 3.08/3.20 o 17633 3.08/3.20 o 17632 3.08/3.20 o 17631 3.08/3.20 o 17630 3.08/3.20 o 17532 3.08/3.20 o 17531 3.08/3.20 o 17529 3.08/3.20 o 17528 3.08/3.20 o 17526 3.08/3.20 o 17525 3.08/3.20 o 17524 3.57/3.67 o 17424 5.36/5.46 o 17326 5.36/5.47 o 17325 5.36/5.48 o 17324 5.36/5.48 o 17224 5.46/5.57 o 17125 5.46/5.58 o 17124 5.76/5.85 o 17024 6.36/6.47 o 17022 6.36/6.48 o 17021 6.36/6.48 o 17020 6.36/6.50 o 16920 6.46/6.50 o 16820 6.46/6.51 o 16819 6.46/6.51 o 16719 6.46/6.52 o 16718 6.46/6.52 o 16717 6.46/6.54 o 16617 6.46/6.54 o 16616 6.46/6.55 o 16515 6.46/6.56 o 16415 6.46/6.56 o 16414 6.46/6.57 o 16314 6.46/6.57 o 16313 6.57/6.62 o 16213 6.57/6.63 o 16212 6.57/6.69 o 16112 6.67/6.70 o 16012 7.46/7.54 o 16011 7.56/7.60 o 16010 7.56/7.61 o 16009 7.66/7.73 o 16008 7.76/7.87 o 15908 7.86/7.99 o 15907 8.07/8.11 o 15906 8.16/8.23 o 15905 8.16/8.24 o 15904 8.26/8.38 o 15604 8.46/8.51 o 15504 8.56/8.64 o 15502 8.56/8.65 o 15501 8.66/8.79 o 15301 8.86/8.98 o 15004 13.46/13.59 o 15003 13.56/13.63 o 15002 13.56/13.64 o 15001 13.56/13.65 o 14901 14.16/14.21 o 14802 17.36/17.43 o 14701 17.36/17.44 o 14600 17.36/17.44 o 14499 17.36/17.45 o 14498 17.36/17.45 o 14399 17.36/17.46 o 14398 17.36/17.46 o 14298 17.36/17.48 o 14197 17.46/17.53 o 14196 17.97/18.03 o 14195 18.16/18.22 o 14095 18.56/18.60 o 14094 19.86/19.97 o 13994 21.46/21.52 o 13895 21.46/21.53 o 13894 21.66/21.76 o 13797 22.66/22.78 o 13794 22.86/22.95 o 13705 22.86/22.98 o 13702 23.57/23.62 o 13700 26.27/26.32 o 13699 26.27/26.33 o 13698 26.27/26.38 o 13598 26.47/26.53 o 13501 26.47/26.57 o 13498 26.47/26.58 o 13401 26.57/26.67 o 13398 37.86/37.95 o 13297 37.86/37.96 o 13296 37.86/37.97 o 13295 37.86/37.97 o 13294 37.86/37.98 o 13195 37.86/38.00 o 13095 38.07/38.17 o 13092 38.76/38.89 o 13091 38.76/38.89 o 12991 38.76/38.89 o 12989 44.96/45.10 o 12987 45.06/45.18 o 12986 45.15/45.26 o 12984 45.25/45.36 o 12983 45.25/45.39 o 12982 45.25/45.39 o 12981 45.45/45.57 o 12885 45.45/45.58 o 12785 45.45/45.58 o 12685 45.45/45.59 o 12585 45.45/45.59 o 12584 45.55/45.61 o 12581 46.55/46.60 o 12488 46.55/46.61 o 12484 46.55/46.62 o 12482 46.55/46.62 o 12481 47.45/47.52 o 12389 47.45/47.53 o 12388 47.45/47.59 o 12386 47.45/47.59 o 12385 47.55/47.61 o 12382 47.55/47.62 o 12381 47.55/47.63 o 12281 47.65/47.72 o 12280 48.96/49.05 o 12279 48.96/49.06 o 12278 49.06/49.15 o 12178 57.85/57.92 o 12077 57.85/57.93 o 12076 57.85/57.94 o 11976 57.85/57.94 o 11975 57.85/57.95 o 11875 57.85/57.96 o 11775 57.96/58.01 o 11774 57.96/58.08 o 11773 57.96/58.08 o 11772 57.96/58.09 o 11671 58.45/58.50 o 11670 58.65/58.75 o 11668 58.96/59.04 o 11567 58.96/59.08 o 11466 59.55/59.62 o 11365 63.65/63.78 o 11265 63.85/63.98 o 11264 64.06/64.17 o 11263 68.36/68.42 o 11262 68.46/68.54 o 11259 84.36/84.44 o 11158 84.36/84.45 o 11057 84.36/84.45 o 11056 84.36/84.46 o 11055 84.36/84.47 o 11053 84.36/84.48 o 10957 84.36/84.49 o 10956 84.46/84.50 o 10955 84.56/84.62 o 10954 84.86/84.90 o 10951 84.86/84.90 o 10950 84.86/84.99 o 10850 84.97/85.01 o 10849 84.97/85.02 o 10749 84.97/85.07 o 10649 85.07/85.16 o 10647 85.16/85.27 o 10546 85.36/85.44 o 10446 89.56/89.67 o 10346 90.86/90.97 o 10345 102.96/103.05 o 10245 102.96/103.05 o 10145 102.96/103.06 o 10142 102.96/103.06 o 10041 102.96/103.07 o 10039 102.96/103.08 o 10038 103.15/103.23 o 9937 103.75/103.85 o 9936 104.25/104.37 o 9836 104.35/104.42 o 9740 105.75/105.88 o 9739 106.35/106.48 o 9638 106.35/106.48 o 9636 116.24/116.30 o 9635 150.95/151.06 o 9535 150.95/151.07 o 9534 150.95/151.07 o 9533 150.95/151.07 o 9433 150.95/151.08 o 9334 150.95/151.09 o 9234 150.95/151.10 o 9233 151.05/151.15 o 9232 151.05/151.15 o 9132 151.05/151.19 o 9131 151.54/151.64 o 9130 151.54/151.64 o 9030 151.74/151.86 o 9029 152.05/152.14 o 8929 165.24/165.35 o 8829 172.34/172.44 o 8828 174.34/174.41 o 8827 196.95/197.07 o 8826 196.95/197.08 o 8825 197.74/197.89 o 8824 207.24/207.39 o 8823 249.95/250.07 o 8723 256.84/256.99 o 8722 256.84/256.99 o 8621 256.84/257.00 o 8521 256.95/257.09 o 8520 331.34/331.46 o 8420 331.34/331.48 o 8323 331.34/331.50 o 8320 481.14/481.25 o 8219 524.14/524.23 o 8218 578.45/578.55 o 8217 578.45/578.55 o 8117 578.45/578.57 o 8116 578.45/578.58 o 8015 579.06/579.18 o 7913 579.45/579.52 o 7812 579.75/579.84 o 7811 606.95/607.02 o 7810 606.95/607.02 o 7809 688.76/688.80 o 7808 722.16/722.25 o 7806 762.86/762.94 o 7805 850.86/850.98 o 7708 850.97/851.09 o 7707 850.97/851.10 o 7706 851.07/851.15 o 7705 851.16/851.26 o 7605 851.26/851.37 o 7505 851.36/851.48 o 7405 852.16/852.26 o 7309 852.16/852.27 o 7308 852.16/852.27 o 7307 852.16/852.28 o 7207 1088.97/1089.10 o 7107 1088.97/1089.10 o 7106 1089.07/1089.13 o 7105 1093.97/1094.08 o 7102 1335.67/1335.79 o 7101 1561.37/1561.49 o 7100 1561.37/1561.49 o 7099 1561.57/1561.64 o 7098 1561.68/1561.71 o 7001 1561.68/1561.72 o 6900 1562.88/1562.93 o 6899 1564.28/1564.37 o 6898 1564.88/1564.92 o 6897 1569.99/1570.01 o 6895 1573.09/1573.17 o 6794 1596.88/1596.99 o 6694 1596.88/1597.00 o 6693 1624.68/1624.74 o 6691 1624.68/1624.74 o 6690 1639.09/1639.11 o 6687 1902.89/1902.94 o 6587 2131.00/2131.09 o 6491 2131.00/2131.10 o 6490 2131.39/2131.42 o 6489 2142.29/2142.36 o 6488 2142.39/2142.46 o 6487 2142.49/2142.59 o 6387 2142.69/2142.73 o 6291 2142.69/2142.74 o 6290 2142.69/2142.76 o 6288 2142.79/2142.81 o 6287 2142.89/2143.00 o 6192 2143.00/2143.01 o 6189 2156.00/2156.04 o 6188 2156.10/2156.13 o 6187 2400.01/2400.01 s SATISFIABLE 2400.01/2400.01 v <instantiation type="solution"> 2400.01/2400.01 v <list> x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[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> 2400.01/2400.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> 2400.01/2400.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 (11177 MiB free) memory of node 1: 16384 MiB (11895 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289288-1532190503/watcher-4289288-1532190503 -o /tmp/evaluation-result-4289288-1532190503/solver-4289288-1532190503 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532190503-24936 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1076978192 HOME/instance-4289288-1532190503.xml running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=24965, runsolver pid=24958 [startup+0.100648 s]* /proc/loadavg: 0.08 0.03 0.05 4/189 24968 /proc/meminfo: memFree=23603804/32770624 swapFree=67108860/67108860 [pid=24965] ppid=24958 vsize=42032 memory=16780 CPUtime=0.07 cores=1,3,5,7 /proc/24965/stat : 24965 (MistralXCSP) R 24958 24965 24904 0 -1 4202496 4530 0 3 0 7 0 0 0 20 0 1 0 36613541 43040768 4195 33554432000 4194304 7498468 140730167680208 140730167670808 4541850 0 0 4096 0 0 0 0 17 5 0 0 1 0 0 9598848 9604096 27549696 140730167682157 140730167682307 140730167682307 140730167685065 0 /proc/24965/statm: 10508 4195 733 807 0 3499 0 Current children cumulated CPU time: 0.07 s Current children cumulated vsize: 42032 KiB Current children cumulated memory: 16780 KiB [startup+0.210176 s]* /proc/loadavg: 0.08 0.03 0.05 3/189 24968 /proc/meminfo: memFree=23556232/32770624 swapFree=67108860/67108860 [pid=24965] ppid=24958 vsize=47956 memory=22704 CPUtime=0.18 cores=1,3,5,7 /proc/24965/stat : 24965 (MistralXCSP) R 24958 24965 24904 0 -1 4202496 6136 0 3 0 18 0 0 0 20 0 1 0 36613541 49106944 5676 33554432000 4194304 7498468 140730167680208 140730167670808 5893644 0 0 4096 0 0 0 0 17 5 0 0 1 0 0 9598848 9604096 27549696 140730167682157 140730167682307 140730167682307 140730167685065 0 /proc/24965/statm: 11989 5676 746 807 0 4980 0 Current children cumulated CPU time: 0.18 s Current children cumulated vsize: 47956 KiB Current children cumulated memory: 22704 KiB [startup+0.309793 s]* /proc/loadavg: 0.08 0.03 0.05 4/189 24968 /proc/meminfo: memFree=23533144/32770624 swapFree=67108860/67108860 [pid=24965] ppid=24958 vsize=50572 memory=25344 CPUtime=0.28 cores=1,3,5,7 /proc/24965/stat : 24965 (MistralXCSP) R 24958 24965 24904 0 -1 4202496 6816 0 3 0 28 0 0 0 20 0 1 0 36613541 51785728 6336 33554432000 4194304 7498468 140730167680208 140730167670808 5887126 0 0 4096 0 0 0 0 17 5 0 0 1 0 0 9598848 9604096 27549696 140730167682157 140730167682307 140730167682307 140730167685065 0 /proc/24965/statm: 12643 6336 746 807 0 5634 0 Current children cumulated CPU time: 0.28 s Current children cumulated vsize: 50572 KiB Current children cumulated memory: 25344 KiB [startup+0.700367 s] /proc/loadavg: 0.08 0.03 0.05 4/189 24968 /proc/meminfo: memFree=23449196/32770624 swapFree=67108860/67108860 [pid=24965] ppid=24958 vsize=159080 memory=133780 CPUtime=0.66 cores=1,3,5,7 /proc/24965/stat : 24965 (MistralXCSP) R 24958 24965 24904 0 -1 4202496 33989 0 3 0 62 4 0 0 20 0 1 0 36613541 162897920 33445 33554432000 4194304 7498468 140730167680208 140730167671112 140219068272883 0 0 4096 0 0 0 0 17 5 0 0 1 0 0 9598848 9604096 27549696 140730167682157 140730167682307 140730167682307 140730167685065 0 /proc/24965/statm: 39770 33445 768 807 0 32761 0 Current children cumulated CPU time: 0.66 s Current children cumulated vsize: 159080 KiB Current children cumulated memory: 133780 KiB [startup+1.50039 s] /proc/loadavg: 0.08 0.03 0.05 4/189 24968 /proc/meminfo: memFree=23396308/32770624 swapFree=67108860/67108860 [pid=24965] ppid=24958 vsize=186260 memory=161244 CPUtime=1.47 cores=1,3,5,7 /proc/24965/stat : 24965 (MistralXCSP) R 24958 24965 24904 0 -1 4202496 40672 0 3 0 141 6 0 0 20 0 1 0 36613541 190730240 40311 33554432000 4194304 7498468 140730167680208 140730167671112 4580120 0 0 4096 16386 0 0 0 17 5 0 0 1 0 0 9598848 9604096 27549696 140730167682157 140730167682307 140730167682307 140730167685065 0 /proc/24965/statm: 46565 40311 807 807 0 39556 0 Current children cumulated CPU time: 1.47 s Current children cumulated vsize: 186260 KiB Current children cumulated memory: 161244 KiB [startup+3.10967 s] /proc/loadavg: 0.24 0.06 0.06 4/189 24968 /proc/meminfo: memFree=23387780/32770624 swapFree=67108860/67108860 [pid=24965] ppid=24958 vsize=186524 memory=161588 CPUtime=3.08 cores=1,3,5,7 /proc/24965/stat : 24965 (MistralXCSP) R 24958 24965 24904 0 -1 4202496 56313 0 3 0 301 7 0 0 20 0 1 0 36613541 191000576 40397 33554432000 4194304 7498468 140730167680208 140730167671112 4257882 0 0 4096 16386 0 0 0 17 5 0 0 1 0 0 9598848 9604096 27549696 140730167682157 140730167682307 140730167682307 140730167685065 0 /proc/24965/statm: 46631 40397 808 807 0 39622 0 Current children cumulated CPU time: 3.08 s Current children cumulated vsize: 186524 KiB Current children cumulated memory: 161588 KiB [startup+6.30033 s] /proc/loadavg: 0.24 0.06 0.06 4/189 24968 /proc/meminfo: memFree=23394264/32770624 swapFree=67108860/67108860 [pid=24965] ppid=24958 vsize=186656 memory=161700 CPUtime=6.26 cores=1,3,5,7 /proc/24965/stat : 24965 (MistralXCSP) R 24958 24965 24904 0 -1 4202496 71913 0 3 0 619 7 0 0 20 0 1 0 36613541 191135744 40425 33554432000 4194304 7498468 140730167680208 140730167675224 5164340 0 0 4096 16386 0 0 0 17 5 0 0 1 0 0 9598848 9604096 27549696 140730167682157 140730167682307 140730167682307 140730167685065 0 /proc/24965/statm: 46664 40425 808 807 0 39655 0 Current children cumulated CPU time: 6.26 s Current children cumulated vsize: 186656 KiB Current children cumulated memory: 161700 KiB [startup+12.7003 s] /proc/loadavg: 0.38 0.10 0.07 4/189 24968 /proc/meminfo: memFree=23394592/32770624 swapFree=67108860/67108860 [pid=24965] ppid=24958 vsize=186656 memory=161764 CPUtime=12.66 cores=1,3,5,7 /proc/24965/stat : 24965 (MistralXCSP) R 24958 24965 24904 0 -1 4202496 87528 0 3 0 1258 8 0 0 20 0 1 0 36613541 191135744 40441 33554432000 4194304 7498468 140730167680208 140730167675224 5575387 0 0 4096 16386 0 0 0 17 5 0 0 1 0 0 9598848 9604096 27549696 140730167682157 140730167682307 140730167682307 140730167685065 0 /proc/24965/statm: 46664 40441 808 807 0 39655 0 Current children cumulated CPU time: 12.66 s Current children cumulated vsize: 186656 KiB Current children cumulated memory: 161764 KiB [startup+25.5003 s] /proc/loadavg: 0.74 0.19 0.10 4/189 24968 /proc/meminfo: memFree=23395292/32770624 swapFree=67108860/67108860 [pid=24965] ppid=24958 vsize=186788 memory=161888 CPUtime=25.47 cores=1,3,5,7 /proc/24965/stat : 24965 (MistralXCSP) R 24958 24965 24904 0 -1 4202496 116867 0 3 0 2537 10 0 0 20 0 1 0 36613541 191270912 40472 33554432000 4194304 7498468 140730167680208 140730167675224 5575363 0 0 4096 16386 0 0 0 17 5 0 0 1 0 0 9598848 9604096 27549696 140730167682157 140730167682307 140730167682307 140730167685065 0 /proc/24965/statm: 46697 40472 808 807 0 39688 0 Current children cumulated CPU time: 25.47 s Current children cumulated vsize: 186788 KiB Current children cumulated memory: 161888 KiB [startup+51.1093 s] /proc/loadavg: 1.17 0.34 0.15 4/189 24968 /proc/meminfo: memFree=23395268/32770624 swapFree=67108860/67108860 [pid=24965] ppid=24958 vsize=186920 memory=161960 CPUtime=51.06 cores=1,3,5,7 /proc/24965/stat : 24965 (MistralXCSP) R 24958 24965 24904 0 -1 4202496 130984 0 3 0 5096 10 0 0 20 0 1 0 36613541 191406080 40490 33554432000 4194304 7498468 140730167680208 140730167675224 5164329 0 0 4096 16386 0 0 0 17 5 0 0 1 0 0 9598848 9604096 27549696 140730167682157 140730167682307 140730167682307 140730167685065 0 /proc/24965/statm: 46730 40490 808 807 0 39721 0 Current children cumulated CPU time: 51.06 s Current children cumulated vsize: 186920 KiB Current children cumulated memory: 161960 KiB [startup+102.3 s] /proc/loadavg: 1.64 0.59 0.25 4/190 24977 /proc/meminfo: memFree=23393528/32770624 swapFree=67108860/67108860 [pid=24965] ppid=24958 vsize=186920 memory=162036 CPUtime=102.25 cores=1,3,5,7 /proc/24965/stat : 24965 (MistralXCSP) R 24958 24965 24904 0 -1 4202496 142136 0 3 0 10214 11 0 0 20 0 1 0 36613541 191406080 40509 33554432000 4194304 7498468 140730167680208 140730167675224 4581065 0 0 4096 16386 0 0 0 17 5 0 0 1 0 0 9598848 9604096 27549696 140730167682157 140730167682307 140730167682307 140730167685065 0 /proc/24965/statm: 46730 40509 808 807 0 39721 0 Current children cumulated CPU time: 102.25 s Current children cumulated vsize: 186920 KiB Current children cumulated memory: 162036 KiB [startup+162.3 s] /proc/loadavg: 1.87 0.85 0.36 4/189 24978 /proc/meminfo: memFree=23393732/32770624 swapFree=67108860/67108860 [pid=24965] ppid=24958 vsize=187052 memory=162100 CPUtime=162.24 cores=1,3,5,7 /proc/24965/stat : 24965 (MistralXCSP) R 24958 24965 24904 0 -1 4202496 143959 0 3 0 16213 11 0 0 20 0 1 0 36613541 191541248 40525 33554432000 4194304 7498468 140730167680208 140730167675224 5838515 0 0 4096 16386 0 0 0 17 5 0 0 1 0 0 9598848 9604096 27549696 140730167682157 140730167682307 140730167682307 140730167685065 0 /proc/24965/statm: 46763 40525 808 807 0 39754 0 Current children cumulated CPU time: 162.24 s Current children cumulated vsize: 187052 KiB Current children cumulated memory: 162100 KiB [startup+222.3 s] /proc/loadavg: 1.95 1.06 0.46 4/190 24980 /proc/meminfo: memFree=23394756/32770624 swapFree=67108860/67108860 [pid=24965] ppid=24958 vsize=187052 memory=162128 CPUtime=222.24 cores=1,3,5,7 /proc/24965/stat : 24965 (MistralXCSP) R 24958 24965 24904 0 -1 4202496 145356 0 3 0 22213 11 0 0 20 0 1 0 36613541 191541248 40532 33554432000 4194304 7498468 140730167680208 140730167675224 5770556 0 0 4096 16386 0 0 0 17 5 0 0 1 0 0 9598848 9604096 27549696 140730167682157 140730167682307 140730167682307 140730167685065 0 /proc/24965/statm: 46763 40532 808 807 0 39754 0 Current children cumulated CPU time: 222.24 s Current children cumulated vsize: 187052 KiB Current children cumulated memory: 162128 KiB [startup+282.3 s] /proc/loadavg: 1.98 1.23 0.56 4/190 24981 /proc/meminfo: memFree=23394748/32770624 swapFree=67108860/67108860 [pid=24965] ppid=24958 vsize=187052 memory=162144 CPUtime=282.24 cores=1,3,5,7 /proc/24965/stat : 24965 (MistralXCSP) R 24958 24965 24904 0 -1 4202496 146756 0 3 0 28213 11 0 0 20 0 1 0 36613541 191541248 40536 33554432000 4194304 7498468 140730167680208 140730167675224 5773616 0 0 4096 16386 0 0 0 17 5 0 0 1 0 0 9598848 9604096 27549696 140730167682157 140730167682307 140730167682307 140730167685065 0 /proc/24965/statm: 46763 40536 808 807 0 39754 0 Current children cumulated CPU time: 282.24 s Current children cumulated vsize: 187052 KiB Current children cumulated memory: 162144 KiB [startup+342.3 s] /proc/loadavg: 1.99 1.37 0.65 4/188 24982 /proc/meminfo: memFree=23394536/32770624 swapFree=67108860/67108860 [pid=24965] ppid=24958 vsize=187052 memory=162156 CPUtime=342.24 cores=1,3,5,7 /proc/24965/stat : 24965 (MistralXCSP) R 24958 24965 24904 0 -1 4202496 148157 0 3 0 34213 11 0 0 20 0 1 0 36613541 191541248 40539 33554432000 4194304 7498468 140730167680208 140730167675224 4405061 0 0 4096 16386 0 0 0 17 5 0 0 1 0 0 9598848 9604096 27549696 140730167682157 140730167682307 140730167682307 140730167685065 0 /proc/24965/statm: 46763 40539 808 807 0 39754 0 Current children cumulated CPU time: 342.24 s Current children cumulated vsize: 187052 KiB Current children cumulated memory: 162156 KiB [startup+402.3 s] /proc/loadavg: 2.00 1.48 0.73 4/187 24983 /proc/meminfo: memFree=23394476/32770624 swapFree=67108860/67108860 [pid=24965] ppid=24958 vsize=187052 memory=162168 CPUtime=402.24 cores=1,3,5,7 /proc/24965/stat : 24965 (MistralXCSP) R 24958 24965 24904 0 -1 4202496 149195 0 3 0 40213 11 0 0 20 0 1 0 36613541 191541248 40542 33554432000 4194304 7498468 140730167680208 140730167675224 5585650 0 0 4096 16386 0 0 0 17 5 0 0 1 0 0 9598848 9604096 27549696 140730167682157 140730167682307 140730167682307 140730167685065 0 /proc/24965/statm: 46763 40542 808 807 0 39754 0 Current children cumulated CPU time: 402.24 s Current children cumulated vsize: 187052 KiB Current children cumulated memory: 162168 KiB [startup+462.3 s] /proc/loadavg: 2.00 1.58 0.81 4/187 24984 /proc/meminfo: memFree=23394640/32770624 swapFree=67108860/67108860 [pid=24965] ppid=24958 vsize=187052 memory=162168 CPUtime=462.24 cores=1,3,5,7 /proc/24965/stat : 24965 (MistralXCSP) R 24958 24965 24904 0 -1 4202496 150583 0 3 0 46213 11 0 0 20 0 1 0 36613541 191541248 40542 33554432000 4194304 7498468 140730167680208 140730167675224 5772185 0 0 4096 16386 0 0 0 17 5 0 0 1 0 0 9598848 9604096 27549696 140730167682157 140730167682307 140730167682307 140730167685065 0 /proc/24965/statm: 46763 40542 808 807 0 39754 0 Current children cumulated CPU time: 462.24 s Current children cumulated vsize: 187052 KiB Current children cumulated memory: 162168 KiB ################ # More data... # ################ /proc/24965/statm: 46905 40664 808 807 0 39896 0 Current children cumulated CPU time: 1602.28 s Current children cumulated vsize: 187620 KiB Current children cumulated memory: 162656 KiB [startup+1662.3 s] /proc/loadavg: 2.00 2.03 1.72 4/187 25019 /proc/meminfo: memFree=23392556/32770624 swapFree=67108860/67108860 [pid=24965] ppid=24958 vsize=187620 memory=162656 CPUtime=1662.28 cores=1,3,5,7 /proc/24965/stat : 24965 (MistralXCSP) R 24958 24965 24904 0 -1 4202496 171446 0 3 0 166215 13 0 0 20 0 1 0 36613541 192122880 40664 33554432000 4194304 7498468 140730167680208 140730167675224 5772170 0 0 4096 16386 0 0 0 17 5 0 0 1 0 0 9598848 9604096 27549696 140730167682157 140730167682307 140730167682307 140730167685065 0 /proc/24965/statm: 46905 40664 808 807 0 39896 0 Current children cumulated CPU time: 1662.28 s Current children cumulated vsize: 187620 KiB Current children cumulated memory: 162656 KiB [startup+1722.3 s] /proc/loadavg: 2.00 2.03 1.74 4/187 25020 /proc/meminfo: memFree=23392532/32770624 swapFree=67108860/67108860 [pid=24965] ppid=24958 vsize=187620 memory=162656 CPUtime=1722.29 cores=1,3,5,7 /proc/24965/stat : 24965 (MistralXCSP) R 24958 24965 24904 0 -1 4202496 172247 0 3 0 172216 13 0 0 20 0 1 0 36613541 192122880 40664 33554432000 4194304 7498468 140730167680208 140730167675224 5649070 0 0 4096 16386 0 0 0 17 5 0 0 1 0 0 9598848 9604096 27549696 140730167682157 140730167682307 140730167682307 140730167685065 0 /proc/24965/statm: 46905 40664 808 807 0 39896 0 Current children cumulated CPU time: 1722.29 s Current children cumulated vsize: 187620 KiB Current children cumulated memory: 162656 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.02 1.76 4/187 25022 /proc/meminfo: memFree=23392368/32770624 swapFree=67108860/67108860 [pid=24965] ppid=24958 vsize=187620 memory=162656 CPUtime=1782.28 cores=1,3,5,7 /proc/24965/stat : 24965 (MistralXCSP) R 24958 24965 24904 0 -1 4202496 173053 0 3 0 178215 13 0 0 20 0 1 0 36613541 192122880 40664 33554432000 4194304 7498468 140730167680208 140730167675224 5791513 0 0 4096 16386 0 0 0 17 5 0 0 1 0 0 9598848 9604096 27549696 140730167682157 140730167682307 140730167682307 140730167685065 0 /proc/24965/statm: 46905 40664 808 807 0 39896 0 Current children cumulated CPU time: 1782.28 s Current children cumulated vsize: 187620 KiB Current children cumulated memory: 162656 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.02 1.77 4/187 25023 /proc/meminfo: memFree=23392880/32770624 swapFree=67108860/67108860 [pid=24965] ppid=24958 vsize=187620 memory=162656 CPUtime=1842.29 cores=1,3,5,7 /proc/24965/stat : 24965 (MistralXCSP) R 24958 24965 24904 0 -1 4202496 173840 0 3 0 184216 13 0 0 20 0 1 0 36613541 192122880 40664 33554432000 4194304 7498468 140730167680208 140730167675224 5575289 0 0 4096 16386 0 0 0 17 5 0 0 1 0 0 9598848 9604096 27549696 140730167682157 140730167682307 140730167682307 140730167685065 0 /proc/24965/statm: 46905 40664 808 807 0 39896 0 Current children cumulated CPU time: 1842.29 s Current children cumulated vsize: 187620 KiB Current children cumulated memory: 162656 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.01 1.79 4/188 25032 /proc/meminfo: memFree=23391292/32770624 swapFree=67108860/67108860 [pid=24965] ppid=24958 vsize=187620 memory=162656 CPUtime=1902.29 cores=1,3,5,7 /proc/24965/stat : 24965 (MistralXCSP) R 24958 24965 24904 0 -1 4202496 174636 0 3 0 190216 13 0 0 20 0 1 0 36613541 192122880 40664 33554432000 4194304 7498468 140730167680208 140730167675224 4546110 0 0 4096 16386 0 0 0 17 5 0 0 1 0 0 9598848 9604096 27549696 140730167682157 140730167682307 140730167682307 140730167685065 0 /proc/24965/statm: 46905 40664 808 807 0 39896 0 Current children cumulated CPU time: 1902.29 s Current children cumulated vsize: 187620 KiB Current children cumulated memory: 162656 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.01 1.80 4/189 25056 /proc/meminfo: memFree=23390020/32770624 swapFree=67108860/67108860 [pid=24965] ppid=24958 vsize=187620 memory=162656 CPUtime=1962.29 cores=1,3,5,7 /proc/24965/stat : 24965 (MistralXCSP) R 24958 24965 24904 0 -1 4202496 175531 0 3 0 196216 13 0 0 20 0 1 0 36613541 192122880 40664 33554432000 4194304 7498468 140730167680208 140730167675224 4404988 0 0 4096 16386 0 0 0 17 5 0 0 1 0 0 9598848 9604096 27549696 140730167682157 140730167682307 140730167682307 140730167685065 0 /proc/24965/statm: 46905 40664 808 807 0 39896 0 Current children cumulated CPU time: 1962.29 s Current children cumulated vsize: 187620 KiB Current children cumulated memory: 162656 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.01 1.81 4/189 25057 /proc/meminfo: memFree=23391048/32770624 swapFree=67108860/67108860 [pid=24965] ppid=24958 vsize=187620 memory=162656 CPUtime=2022.29 cores=1,3,5,7 /proc/24965/stat : 24965 (MistralXCSP) R 24958 24965 24904 0 -1 4202496 176320 0 3 0 202216 13 0 0 20 0 1 0 36613541 192122880 40664 33554432000 4194304 7498468 140730167680208 140730167675224 5838457 0 0 4096 16386 0 0 0 17 5 0 0 1 0 0 9598848 9604096 27549696 140730167682157 140730167682307 140730167682307 140730167685065 0 /proc/24965/statm: 46905 40664 808 807 0 39896 0 Current children cumulated CPU time: 2022.29 s Current children cumulated vsize: 187620 KiB Current children cumulated memory: 162656 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.01 1.82 4/189 25058 /proc/meminfo: memFree=23392044/32770624 swapFree=67108860/67108860 [pid=24965] ppid=24958 vsize=187620 memory=162656 CPUtime=2082.29 cores=1,3,5,7 /proc/24965/stat : 24965 (MistralXCSP) R 24958 24965 24904 0 -1 4202496 177121 0 3 0 208216 13 0 0 20 0 1 0 36613541 192122880 40664 33554432000 4194304 7498468 140730167680208 140730167675224 4404940 0 0 4096 16386 0 0 0 17 5 0 0 1 0 0 9598848 9604096 27549696 140730167682157 140730167682307 140730167682307 140730167685065 0 /proc/24965/statm: 46905 40664 808 807 0 39896 0 Current children cumulated CPU time: 2082.29 s Current children cumulated vsize: 187620 KiB Current children cumulated memory: 162656 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.01 1.83 4/189 25059 /proc/meminfo: memFree=23391772/32770624 swapFree=67108860/67108860 [pid=24965] ppid=24958 vsize=187620 memory=162656 CPUtime=2142.29 cores=1,3,5,7 /proc/24965/stat : 24965 (MistralXCSP) R 24958 24965 24904 0 -1 4202496 178161 0 3 0 214216 13 0 0 20 0 1 0 36613541 192122880 40664 33554432000 4194304 7498468 140730167680208 140730167675224 5164349 0 0 4096 16386 0 0 0 17 5 0 0 1 0 0 9598848 9604096 27549696 140730167682157 140730167682307 140730167682307 140730167685065 0 /proc/24965/statm: 46905 40664 808 807 0 39896 0 Current children cumulated CPU time: 2142.29 s Current children cumulated vsize: 187620 KiB Current children cumulated memory: 162656 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.01 1.84 4/188 25060 /proc/meminfo: memFree=23391640/32770624 swapFree=67108860/67108860 [pid=24965] ppid=24958 vsize=187620 memory=162656 CPUtime=2202.29 cores=1,3,5,7 /proc/24965/stat : 24965 (MistralXCSP) R 24958 24965 24904 0 -1 4202496 178955 0 3 0 220216 13 0 0 20 0 1 0 36613541 192122880 40664 33554432000 4194304 7498468 140730167680208 140730167675224 4541166 0 0 4096 16386 0 0 0 17 5 0 0 1 0 0 9598848 9604096 27549696 140730167682157 140730167682307 140730167682307 140730167685065 0 /proc/24965/statm: 46905 40664 808 807 0 39896 0 Current children cumulated CPU time: 2202.29 s Current children cumulated vsize: 187620 KiB Current children cumulated memory: 162656 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.01 1.86 4/188 25061 /proc/meminfo: memFree=23391484/32770624 swapFree=67108860/67108860 [pid=24965] ppid=24958 vsize=187620 memory=162656 CPUtime=2262.29 cores=1,3,5,7 /proc/24965/stat : 24965 (MistralXCSP) R 24958 24965 24904 0 -1 4202496 179779 0 3 0 226216 13 0 0 20 0 1 0 36613541 192122880 40664 33554432000 4194304 7498468 140730167680208 140730167675224 4378989 0 0 4096 16386 0 0 0 17 5 0 0 1 0 0 9598848 9604096 27549696 140730167682157 140730167682307 140730167682307 140730167685065 0 /proc/24965/statm: 46905 40664 808 807 0 39896 0 Current children cumulated CPU time: 2262.29 s Current children cumulated vsize: 187620 KiB Current children cumulated memory: 162656 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.01 1.87 4/187 25062 /proc/meminfo: memFree=23391716/32770624 swapFree=67108860/67108860 [pid=24965] ppid=24958 vsize=187620 memory=162656 CPUtime=2322.3 cores=1,3,5,7 /proc/24965/stat : 24965 (MistralXCSP) R 24958 24965 24904 0 -1 4202496 180582 0 3 0 232217 13 0 0 20 0 1 0 36613541 192122880 40664 33554432000 4194304 7498468 140730167680208 140730167675224 4580318 0 0 4096 16386 0 0 0 17 5 0 0 1 0 0 9598848 9604096 27549696 140730167682157 140730167682307 140730167682307 140730167685065 0 /proc/24965/statm: 46905 40664 808 807 0 39896 0 Current children cumulated CPU time: 2322.3 s Current children cumulated vsize: 187620 KiB Current children cumulated memory: 162656 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.01 1.87 4/187 25063 /proc/meminfo: memFree=23392036/32770624 swapFree=67108860/67108860 [pid=24965] ppid=24958 vsize=187620 memory=162656 CPUtime=2382.3 cores=1,3,5,7 /proc/24965/stat : 24965 (MistralXCSP) R 24958 24965 24904 0 -1 4202496 181392 0 3 0 238217 13 0 0 20 0 1 0 36613541 192122880 40664 33554432000 4194304 7498468 140730167680208 140730167675224 4404954 0 0 4096 16386 0 0 0 17 5 0 0 1 0 0 9598848 9604096 27549696 140730167682157 140730167682307 140730167682307 140730167685065 0 /proc/24965/statm: 46905 40664 808 807 0 39896 0 Current children cumulated CPU time: 2382.3 s Current children cumulated vsize: 187620 KiB Current children cumulated memory: 162656 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400 s]* /proc/loadavg: 2.00 2.01 1.87 4/187 25063 /proc/meminfo: memFree=23392036/32770624 swapFree=67108860/67108860 [pid=24965] ppid=24958 vsize=187620 memory=162656 CPUtime=2400.01 cores=1,3,5,7 /proc/24965/stat : 24965 (MistralXCSP) R 24958 24965 24904 0 -1 4202496 182196 0 3 0 239988 13 0 0 20 0 1 0 36613541 192122880 40664 33554432000 4194304 7498468 140730167680208 140730167675224 5838466 0 0 4096 16386 0 0 0 17 5 0 0 1 0 0 9598848 9604096 27549696 140730167682157 140730167682307 140730167682307 140730167685065 0 /proc/24965/statm: 46905 40664 808 807 0 39896 0 Current children cumulated CPU time: 2400.01 s Current children cumulated vsize: 187620 KiB Current children cumulated memory: 162656 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2400.01 s] # the end of solver process 24965 was just reported to runsolver # cumulated CPU time of all completed processes: user=2399.88 s, system=0.139003 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 2400.01 CPU time (s): 2400.02 CPU user time (s): 2399.88 CPU system time (s): 0.139003 CPU usage (%): 100 Max. virtual memory (cumulated for all children) (KiB): 187620 Max. memory (cumulated for all children) (KiB): 162656 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.88 system time used= 0.139003 maximum resident set size= 162676 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 182266 page faults= 3 swaps= 0 block input operations= 616 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 67 involuntary context switches= 698 # summary of solver processes directly reported to runsolver: # pid: 24965 # total CPU time (s): 2400.02 # total CPU user time (s): 2399.88 # total CPU system time (s): 0.139003 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.3974 second user time and 16.0168 second system time The end
Begin job on node103 at 2018-07-21 18:28:23 IDJOB=4289288 IDBENCH=141047 IDSOLVER=2741 FILE ID=node103/4289288-1532190503 RUNJOBID= node103-1532190503-24936 PBS_JOBID= 21018940 Free space on /tmp= 56864 MiB SOLVER NAME= Mistral-2.0 2018-06-15 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-4289288-1532190503/watcher-4289288-1532190503 -o /tmp/evaluation-result-4289288-1532190503/solver-4289288-1532190503 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532190503-24936 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1076978192 HOME/instance-4289288-1532190503.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 01a28a521b9bba3b9351b91d9c8d3e2f RANDOM SEED=1076978192 node103.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.48 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.48 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.48 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.48 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: 23627372 kB MemAvailable: 31941728 kB Buffers: 211064 kB Cached: 8310804 kB SwapCached: 0 kB Active: 1321688 kB Inactive: 7253332 kB Active(anon): 55644 kB Inactive(anon): 16984 kB Active(file): 1266044 kB Inactive(file): 7236348 kB Unevictable: 7140 kB Mlocked: 7140 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 18032 kB Writeback: 0 kB AnonPages: 60036 kB Mapped: 34496 kB Shmem: 17036 kB Slab: 265672 kB SReclaimable: 240424 kB SUnreclaim: 25248 kB KernelStack: 3184 kB PageTables: 4572 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 318576 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: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 56856 MiB End job on node103 at 2018-07-21 19:08:24