Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Naxos 1.1.0 | SAT (TO) | 829 | 2400.02 | 2401.8 |
Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-042.xml |
MD5SUM | 406abf126875c7059afeaa5170034bef |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 269 |
Best CPU time to get the best result obtained on this benchmark | 2400.04 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1805 |
Number of constraints | 943 |
Number of domains | 83 |
Minimum domain size | 2 |
Maximum domain size | 83 |
Distribution of domain sizes | [{"size":2,"count":904},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":39,"count":2}, {"size":40,"count":1}, {"size":41,"count":2}, {"size":42,"count":1}, {"size":43,"count":1}, {"size":45,"count":1}, {"size":47,"count":1}, {"size":49,"count":1}, {"size":51,"count":1}, {"size":53,"count":1}, {"size":55,"count":1}, {"size":57,"count":1}, {"size":59,"count":1}, {"size":61,"count":1}, {"size":63,"count":1}, {"size":65,"count":1}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}, {"size":73,"count":1}, {"size":75,"count":1}, {"size":77,"count":1}, {"size":79,"count":1}, {"size":81,"count":1}, {"size":83,"count":1}] |
Minimum variable degree | 0 |
Maximum variable degree | 41 |
Distribution of variable degrees | [{"degree":0,"count":820},{"degree":2,"count":943},{"degree":41,"count":42}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 42 |
Distribution of constraint arities | [{"arity":2,"count":42},{"arity":3,"count":862},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},{"arity":27,"count":1},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":33,"count":1},{"arity":34,"count":1},{"arity":35,"count":1},{"arity":36,"count":1},{"arity":37,"count":1},{"arity":38,"count":1},{"arity":39,"count":1},{"arity":40,"count":1},{"arity":41,"count":1},{"arity":42,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 902 |
Distribution of constraint types | [{"type":"intension","count":902},{"type":"sum","count":41}] |
Optimization problem | YES |
Type of objective | min SUM |
1.49/1.53 o 23821 1.49/1.54 o 20541 1.49/1.55 o 20389 1.49/1.56 o 17733 1.49/1.57 o 17581 1.49/1.58 o 17437 1.49/1.59 o 15365 1.59/1.61 o 15197 1.59/1.62 o 15053 1.59/1.63 o 14933 1.59/1.64 o 13405 1.59/1.65 o 13221 1.59/1.66 o 13077 1.59/1.67 o 12941 1.59/1.68 o 12845 1.59/1.69 o 11821 1.69/1.71 o 11621 1.69/1.72 o 11461 1.69/1.73 o 11325 1.69/1.74 o 11213 1.69/1.75 o 11141 1.69/1.76 o 10581 1.69/1.78 o 10365 1.69/1.79 o 10189 1.79/1.80 o 10053 1.79/1.81 o 9925 1.79/1.82 o 9837 1.79/1.84 o 9789 1.79/1.85 o 9653 1.79/1.86 o 9597 1.79/1.87 o 9421 1.79/1.89 o 9229 1.89/1.91 o 9077 1.89/1.92 o 8949 1.89/1.93 o 8845 1.89/1.94 o 8781 1.89/1.95 o 8757 1.89/1.98 o 8669 1.89/1.99 o 8605 1.99/2.00 o 8549 1.99/2.03 o 8533 1.99/2.04 o 8437 1.99/2.05 o 8381 1.99/2.07 o 8373 1.99/2.08 o 8309 1.99/2.09 o 8253 2.09/2.10 o 8189 2.09/2.11 o 8133 2.09/2.13 o 8109 2.09/2.14 o 8053 2.09/2.15 o 8013 2.09/2.19 o 7997 2.20/2.20 o 7989 2.20/2.21 o 7901 2.20/2.23 o 7869 2.20/2.24 o 7861 2.20/2.25 o 7797 2.20/2.26 o 7789 2.20/2.29 o 7757 2.29/2.30 o 7685 2.29/2.31 o 7653 2.29/2.33 o 7637 2.29/2.34 o 7605 2.29/2.36 o 7581 2.29/2.37 o 7565 2.29/2.38 o 7549 2.29/2.39 o 7493 2.39/2.40 o 7461 2.39/2.42 o 7429 2.39/2.43 o 7357 2.39/2.45 o 7333 2.39/2.46 o 7277 2.39/2.47 o 7245 2.39/2.49 o 7221 2.49/2.50 o 7189 2.49/2.51 o 7173 2.49/2.59 o 7157 2.59/2.60 o 7141 2.59/2.61 o 7077 2.59/2.63 o 7021 2.59/2.64 o 6989 2.59/2.65 o 6965 2.69/2.71 o 6893 2.69/2.72 o 6861 2.69/2.73 o 6813 2.69/2.74 o 6805 2.69/2.78 o 6741 2.79/2.80 o 6693 2.79/2.81 o 6685 2.79/2.84 o 6677 2.79/2.85 o 6645 2.79/2.86 o 6629 2.79/2.87 o 6581 2.79/2.89 o 6541 2.89/2.90 o 6509 2.89/2.91 o 6501 2.89/2.93 o 6493 2.89/2.94 o 6469 2.99/3.08 o 6397 3.09/3.10 o 6341 3.09/3.12 o 6333 3.09/3.13 o 6293 3.19/3.23 o 6277 3.19/3.24 o 6245 3.19/3.25 o 6237 3.19/3.27 o 6229 3.19/3.28 o 6181 3.19/3.29 o 6173 3.29/3.30 o 6157 3.29/3.31 o 6133 3.29/3.38 o 6117 3.29/3.39 o 6109 3.40/3.40 o 6085 3.40/3.42 o 6077 3.40/3.43 o 6029 3.40/3.44 o 6005 3.40/3.48 o 5981 3.49/3.50 o 5957 3.49/3.51 o 5941 3.49/3.52 o 5917 3.49/3.55 o 5877 3.49/3.57 o 5861 3.49/3.58 o 5829 3.59/3.60 o 5821 3.79/3.87 o 5765 3.79/3.89 o 5757 3.89/3.91 o 5717 3.89/3.92 o 5709 3.89/3.94 o 5701 3.89/3.95 o 5693 3.89/3.96 o 5685 3.89/3.97 o 5645 3.89/3.99 o 5629 4.09/4.18 o 5621 4.09/4.19 o 5605 4.19/4.20 o 5557 4.19/4.22 o 5541 4.19/4.24 o 5517 4.19/4.25 o 5509 4.19/4.26 o 5485 4.19/4.27 o 5477 4.29/4.39 o 5461 4.29/4.40 o 5445 4.40/4.42 o 5421 4.40/4.43 o 5381 4.40/4.45 o 5365 4.40/4.46 o 5341 4.49/4.53 o 5333 4.49/4.55 o 5293 4.49/4.56 o 5277 4.49/4.57 o 5253 4.59/4.62 o 5237 4.59/4.63 o 5229 4.59/4.65 o 5189 4.59/4.66 o 5173 4.59/4.68 o 5157 4.69/4.70 o 5133 5.19/5.21 o 5125 5.19/5.22 o 5101 5.19/5.26 o 5093 5.19/5.28 o 5053 5.19/5.29 o 5037 5.29/5.31 o 5021 5.29/5.33 o 5013 5.29/5.34 o 5005 5.29/5.36 o 4989 5.29/5.37 o 4981 5.69/5.72 o 4965 5.69/5.74 o 4941 5.69/5.75 o 4901 5.69/5.78 o 4885 5.79/5.80 o 4853 5.99/6.02 o 4837 5.99/6.03 o 4821 5.99/6.04 o 4813 5.99/6.07 o 4797 5.99/6.09 o 4733 6.19/6.21 o 4725 6.19/6.25 o 4717 6.19/6.26 o 4709 6.19/6.27 o 4693 6.19/6.29 o 4669 6.29/6.37 o 4629 6.29/6.39 o 4613 6.39/6.41 o 4597 6.39/6.45 o 4581 7.39/7.44 o 4573 7.39/7.45 o 4549 7.39/7.48 o 4541 7.39/7.49 o 4533 7.49/7.54 o 4525 7.49/7.57 o 4501 7.59/7.60 o 4493 7.59/7.64 o 4485 7.59/7.65 o 4469 7.59/7.67 o 4437 7.59/7.70 o 4429 8.29/8.30 o 4421 8.29/8.31 o 4413 8.29/8.39 o 4381 8.39/8.44 o 4365 8.39/8.46 o 4349 8.39/8.49 o 4341 8.79/8.84 o 4333 8.79/8.86 o 4301 8.90/8.93 o 4293 8.90/8.95 o 4285 8.90/8.99 o 4269 8.99/9.00 o 4253 8.99/9.03 o 4237 8.99/9.06 o 4229 9.19/9.28 o 4197 9.29/9.30 o 4189 9.29/9.35 o 4181 9.29/9.37 o 4173 9.29/9.39 o 4165 9.39/9.41 o 4149 9.39/9.42 o 4141 9.49/9.51 o 4133 9.49/9.56 o 4117 9.49/9.58 o 4093 9.59/9.62 o 4085 9.59/9.64 o 4069 9.69/9.70 o 4061 9.69/9.73 o 4045 9.69/9.74 o 4037 11.59/11.66 o 4013 11.69/11.79 o 4005 11.79/11.81 o 3989 11.79/11.83 o 3981 11.79/11.86 o 3973 11.79/11.87 o 3965 11.89/11.93 o 3957 11.89/11.94 o 3949 11.89/11.95 o 3909 11.99/12.02 o 3901 13.09/13.19 o 3893 13.30/13.33 o 3877 13.30/13.35 o 3869 13.30/13.38 o 3845 13.30/13.39 o 3829 13.39/13.45 o 3813 13.39/13.48 o 3805 13.49/13.50 o 3797 13.49/13.53 o 3789 13.49/13.56 o 3781 14.30/14.34 o 3773 14.30/14.35 o 3765 14.30/14.37 o 3757 14.30/14.39 o 3749 14.40/14.45 o 3717 14.40/14.47 o 3685 14.90/14.93 o 3669 14.90/14.95 o 3661 14.99/15.01 o 3645 14.99/15.04 o 3637 15.09/15.10 o 3629 15.09/15.11 o 3621 15.19/15.29 o 3613 15.29/15.30 o 3605 15.29/15.32 o 3589 15.40/15.41 o 3573 15.40/15.42 o 3549 15.50/15.58 o 3533 19.20/19.20 o 3517 19.20/19.26 o 3509 19.49/19.51 o 3501 19.49/19.55 o 3485 19.49/19.56 o 3477 19.59/19.61 o 3445 19.70/19.73 o 3429 19.80/19.86 o 3421 19.80/19.87 o 3389 22.00/22.04 o 3381 22.30/22.33 o 3373 22.30/22.35 o 3365 22.39/22.43 o 3357 22.39/22.48 o 3341 22.59/22.60 o 3333 22.59/22.62 o 3325 22.59/22.63 o 3309 23.99/24.08 o 3301 24.09/24.11 o 3293 24.09/24.16 o 3269 24.20/24.27 o 3245 24.20/24.28 o 3237 24.30/24.33 o 3221 25.09/25.18 o 3213 25.19/25.22 o 3197 25.29/25.40 o 3181 25.39/25.43 o 3157 25.79/25.81 o 3149 25.79/25.83 o 3141 25.89/25.99 o 3133 26.19/26.29 o 3125 26.29/26.33 o 3117 33.29/33.39 o 3093 33.39/33.42 o 3085 33.39/33.44 o 3069 33.49/33.51 o 3053 33.89/33.97 o 3045 33.99/34.07 o 3037 34.20/34.24 o 3029 34.20/34.27 o 3021 34.29/34.32 o 3013 34.39/34.43 o 3005 34.49/34.52 o 2989 38.49/38.59 o 2965 38.99/39.00 o 2957 39.09/39.13 o 2949 39.19/39.28 o 2941 39.29/39.30 o 2925 39.29/39.35 o 2917 39.49/39.53 o 2893 39.49/39.54 o 2877 42.19/42.22 o 2853 42.39/42.41 o 2845 42.39/42.44 o 2837 42.49/42.51 o 2829 42.59/42.66 o 2821 42.69/42.70 o 2813 42.69/42.71 o 2805 44.00/44.06 o 2797 44.00/44.08 o 2789 44.29/44.37 o 2765 44.29/44.38 o 2757 44.39/44.42 o 2741 44.49/44.53 o 2725 45.29/45.37 o 2701 45.69/45.79 o 2693 45.89/45.91 o 2677 58.30/58.31 o 2653 58.40/58.43 o 2637 59.30/59.35 o 2629 59.40/59.46 o 2613 59.40/59.47 o 2605 59.40/59.48 o 2597 59.79/59.86 o 2557 67.49/67.55 o 2549 67.59/67.61 o 2533 68.30/68.37 o 2525 68.50/68.53 o 2517 68.60/68.60 o 2493 68.80/68.89 o 2477 74.20/74.28 o 2469 74.30/74.30 o 2453 74.30/74.37 o 2445 74.60/74.66 o 2421 74.69/74.77 o 2413 74.69/74.80 o 2405 77.60/77.62 o 2389 78.00/78.03 o 2373 78.20/78.24 o 2365 79.30/79.36 o 2357 79.39/79.46 o 2325 104.80/104.90 o 2301 105.30/105.30 o 2293 105.40/105.49 o 2285 105.60/105.65 o 2277 105.60/105.67 o 2261 107.50/107.54 o 2253 108.00/108.08 o 2237 108.40/108.48 o 2229 123.40/123.45 o 2221 123.40/123.47 o 2213 123.90/123.91 o 2205 124.70/124.71 o 2189 125.30/125.32 o 2181 125.30/125.34 o 2173 125.70/125.74 o 2165 126.10/126.19 o 2149 127.00/127.07 o 2141 134.80/134.86 o 2133 136.40/136.44 o 2125 136.60/136.68 o 2117 137.40/137.46 o 2101 137.61/137.69 o 2069 143.11/143.18 o 2061 143.60/143.63 o 2045 144.00/144.05 o 2029 146.41/146.45 o 2021 146.41/146.48 o 1997 147.41/147.47 o 1989 147.80/147.89 o 1981 149.00/149.00 o 1973 193.50/193.55 o 1965 193.80/193.81 o 1949 193.80/193.89 o 1933 194.20/194.28 o 1917 197.10/197.13 o 1901 198.80/198.85 o 1885 199.22/199.21 o 1869 225.62/225.69 o 1861 228.20/228.21 o 1821 228.20/228.24 o 1813 231.01/231.03 o 1797 244.61/244.65 o 1789 248.81/248.87 o 1765 249.11/249.12 o 1749 249.51/249.53 o 1741 249.51/249.55 o 1725 255.52/255.57 o 1717 258.51/258.53 o 1701 263.51/263.50 o 1693 263.72/263.74 o 1677 265.71/265.70 o 1669 348.73/348.71 o 1661 349.62/349.64 o 1653 349.82/349.85 o 1645 351.03/351.00 o 1637 354.12/354.18 o 1621 355.62/355.67 o 1605 355.82/355.85 o 1597 358.62/358.69 o 1581 407.82/407.82 o 1549 414.03/414.06 o 1541 416.63/416.66 o 1533 419.03/419.08 o 1517 444.63/444.69 o 1509 450.63/450.65 o 1493 452.23/452.24 o 1461 453.33/453.38 o 1429 471.83/471.84 o 1421 478.23/478.23 o 1405 478.73/478.71 o 1397 480.53/480.57 o 1381 630.15/630.10 o 1341 640.35/640.39 o 1325 640.95/640.93 o 1317 642.15/642.13 o 1309 645.65/645.60 o 1293 739.36/739.39 o 1277 740.25/740.20 o 1261 794.86/794.81 o 1245 802.76/802.73 o 1221 807.36/807.33 o 1213 807.77/807.73 o 1181 835.56/835.51 o 1173 849.87/849.81 o 1165 852.77/852.71 o 1157 856.67/856.65 o 1149 1129.29/1129.21 o 1141 1131.59/1131.51 o 1125 1147.99/1147.91 o 1117 1147.99/1147.92 o 1093 1152.69/1152.68 o 1061 1325.51/1325.48 o 1053 1337.51/1337.47 o 1045 1338.51/1338.40 o 1037 1440.12/1440.08 o 1021 1453.12/1453.09 o 981 1502.02/1501.95 o 973 1503.93/1503.88 o 957 1527.83/1527.76 o 949 1532.93/1532.88 o 933 1540.24/1540.17 o 925 2020.88/2020.79 o 917 2043.58/2043.40 o 909 2043.58/2043.41 o 901 2053.08/2052.98 o 869 2376.60/2376.41 o 861 2376.60/2376.41 o 845 2392.21/2392.00 o 829 2400.01/2399.80 s SATISFIABLE 2400.01/2399.80 v <instantiation> 2400.01/2399.80 v <list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][40] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][40] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][40] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][40] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][40] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][40] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][40] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][40] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][40] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[9][40] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[10][39] y[10][40] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[11][38] y[11][39] y[11][40] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][37] y[12][38] y[12][39] y[12][40] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][37] y[13][38] y[13][39] y[13][40] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][37] y[14][38] y[14][39] y[14][40] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[15][37] y[15][38] y[15][39] y[15][40] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[16][37] y[16][38] y[16][39] y[16][40] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[17][36] y[17][37] y[17][38] y[17][39] y[17][40] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[18][35] y[18][36] y[18][37] y[18][38] y[18][39] y[18][40] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][30] y[19][31] y[19][32] y[19][33] y[19][34] y[19][35] y[19][36] y[19][37] y[19][38] y[19][39] y[19][40] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][30] y[20][31] y[20][32] y[20][33] y[20][34] y[20][35] y[20][36] y[20][37] y[20][38] y[20][39] y[20][40] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][30] y[21][31] y[21][32] y[21][33] y[21][34] y[21][35] y[21][36] y[21][37] y[21][38] y[21][39] y[21][40] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][30] y[22][31] y[22][32] y[22][33] y[22][34] y[22][35] y[22][36] y[22][37] y[22][38] y[22][39] y[22][40] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][30] y[23][31] y[23][32] y[23][33] y[23][34] y[23][35] y[23][36] y[23][37] y[23][38] y[23][39] y[23][40] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][30] y[24][31] y[24][32] y[24][33] y[24][34] y[24][35] y[24][36] y[24][37] y[24][38] y[24][39] y[24][40] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][30] y[25][31] y[25][32] y[25][33] y[25][34] y[25][35] y[25][36] y[25][37] y[25][38] y[25][39] y[25][40] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[26][30] y[26][31] y[26][32] y[26][33] y[26][34] y[26][35] y[26][36] y[26][37] y[26][38] y[26][39] y[26][40] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[27][29] y[27][30] y[27][31] y[27][32] y[27][33] y[27][34] y[27][35] y[27][36] y[27][37] y[27][38] y[27][39] y[27][40] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[28][28] y[28][29] y[28][30] y[28][31] y[28][32] y[28][33] y[28][34] y[28][35] y[28][36] y[28][37] y[28][38] y[28][39] y[28][40] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[29][27] y[29][28] y[29][29] y[29][30] y[29][31] y[29][32] y[29][33] y[29][34] y[29][35] y[29][36] y[29][37] y[29][38] y[29][39] y[29][40] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[30][26] y[30][27] y[30][28] y[30][29] y[30][30] y[30][31] y[30][32] y[30][33] y[30][34] y[30][35] y[30][36] y[30][37] y[30][38] y[30][39] y[30][40] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[31][25] y[31][26] y[31][27] y[31][28] y[31][29] y[31][30] y[31][31] y[31][32] y[31][33] y[31][34] y[31][35] y[31][36] y[31][37] y[31][38] y[31][39] y[31][40] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][20] y[32][21] y[32][22] y[32][23] y[32][24] y[32][25] y[32][26] y[32][27] y[32][28] y[32][29] y[32][30] y[32][31] y[32][32] y[32][33] y[32][34] y[32][35] y[32][36] y[32][37] y[32][38] y[32][39] y[32][40] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[33][20] y[33][21] y[33][22] y[33][23] y[33][24] y[33][25] y[33][26] y[33][27] y[33][28] y[33][29] y[33][30] y[33][31] y[33][32] y[33][33] y[33][34] y[33][35] y[33][36] y[33][37] y[33][38] y[33][39] y[33][40] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[34][19] y[34][20] y[34][21] y[34][22] y[34][23] y[34][24] y[34][25] y[34][26] y[34][27] y[34][28] y[34][29] y[34][30] y[34][31] y[34][32] y[34][33] y[34][34] y[34][35] y[34][36] y[34][37] y[34][38] y[34][39] y[34][40] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[35][18] y[35][19] y[35][20] y[35][21] y[35][22] y[35][23] y[35][24] y[35][25] y[35][26] y[35][27] y[35][28] y[35][29] y[35][30] y[35][31] y[35][32] y[35][33] y[35][34] y[35][35] y[35][36] y[35][37] y[35][38] y[35][39] y[35][40] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[36][17] y[36][18] y[36][19] y[36][20] y[36][21] y[36][22] y[36][23] y[36][24] y[36][25] y[36][26] y[36][27] y[36][28] y[36][29] y[36][30] y[36][31] y[36][32] y[36][33] y[36][34] y[36][35] y[36][36] y[36][37] y[36][38] y[36][39] y[36][40] y[37][0] y[37][1] y[37][2] y[37][3] y[37][4] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[37][15] y[37][16] y[37][17] y[37][18] y[37][19] y[37][20] y[37][21] y[37][22] y[37][23] y[37][24] y[37][25] y[37][26] y[37][27] y[37][28] y[37][29] y[37][30] y[37][31] y[37][32] y[37][33] y[37][34] y[37][35] y[37][36] y[37][37] y[37][38] y[37][39] y[37][40] y[38][0] y[38][1] y[38][2] y[38][3] y[38][4] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[38][10] y[38][11] y[38][12] y[38][13] y[38][14] y[38][15] y[38][16] y[38][17] y[38][18] y[38][19] y[38][20] y[38][21] y[38][22] y[38][23] y[38][24] y[38][25] y[38][26] y[38][27] y[38][28] y[38][29] y[38][30] y[38][31] y[38][32] y[38][33] y[38][34] y[38][35] y[38][36] y[38][37] y[38][38] y[38][39] y[38][40] y[39][0] y[39][1] y[39][2] y[39][3] y[39][4] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] y[39][10] y[39][11] y[39][12] y[39][13] y[39][14] y[39][15] y[39][16] y[39][17] y[39][18] y[39][19] y[39][20] y[39][21] y[39][22] y[39][23] y[39][24] y[39][25] y[39][26] y[39][27] y[39][28] y[39][29] y[39][30] y[39][31] y[39][32] y[39][33] y[39][34] y[39][35] y[39][36] y[39][37] y[39][38] y[39][39] y[39][40] y[40][0] y[40][1] y[40][2] y[40][3] y[40][4] y[40][5] y[40][6] y[40][7] y[40][8] y[40][9] y[40][10] y[40][11] y[40][12] y[40][13] y[40][14] y[40][15] y[40][16] y[40][17] y[40][18] y[40][19] y[40][20] y[40][21] y[40][22] y[40][23] y[40][24] y[40][25] y[40][26] y[40][27] y[40][28] y[40][29] y[40][30] y[40][31] y[40][32] y[40][33] y[40][34] y[40][35] y[40][36] y[40][37] y[40][38] y[40][39] y[40][40] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] </list> 2400.01/2399.80 v <values> -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 13 10 9 14 9 6 7 4 3 2 3 -2 5 2 -1 -2 1 2 -3 -2 -3 0 1 0 1 0 -1 0 1 0 -1 0 -1 -2 -1 0 1 0 1 0 1 169 100 81 196 81 36 49 16 9 4 9 4 25 4 1 4 1 4 9 4 9 0 1 0 1 0 1 0 1 0 1 0 1 4 1 0 1 0 1 0 1 </values> 2400.01/2399.80 v </instantiation>
OK 829
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4252683-1500926961/watcher-4252683-1500926961 -o /tmp/evaluation-result-4252683-1500926961/solver-4252683-1500926961 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1500914921-3806 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4252683-1500926961.xml pid=6551 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.00 2.01 2.04 3/181 6554 /proc/meminfo: memFree=32120064/32770624 swapFree=5848/116380 [pid=6554] ppid=6551 vsize=24736 CPUtime=0 cores=1,3,5,7 /proc/6554/stat : 6554 (naxos-xcsp3) R 6551 6554 3774 0 -1 4202496 954 0 0 0 0 0 0 0 20 0 1 0 2249575 25329664 785 33554432000 4194304 6986860 140733703483728 140733703480424 140400880131045 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9379840 140733703484686 140733703484767 140733703484767 140733703487466 0 /proc/6554/statm: 6184 785 652 682 0 187 0 [startup+0.100088 s] /proc/loadavg: 2.00 2.01 2.04 3/181 6554 /proc/meminfo: memFree=32120064/32770624 swapFree=5848/116380 [pid=6554] ppid=6551 vsize=29068 CPUtime=0.09 cores=1,3,5,7 /proc/6554/stat : 6554 (naxos-xcsp3) R 6551 6554 3774 0 -1 4202496 2114 0 0 0 9 0 0 0 20 0 1 0 2249575 29765632 1958 33554432000 4194304 6986860 140733703483728 140733703480424 5667110 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9379840 140733703484686 140733703484767 140733703484767 140733703487466 0 /proc/6554/statm: 7267 1958 741 682 0 1270 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 29068 [startup+0.200236 s] /proc/loadavg: 2.00 2.01 2.04 3/181 6554 /proc/meminfo: memFree=32120064/32770624 swapFree=5848/116380 [pid=6554] ppid=6551 vsize=29068 CPUtime=0.19 cores=1,3,5,7 /proc/6554/stat : 6554 (naxos-xcsp3) R 6551 6554 3774 0 -1 4202496 2138 0 0 0 19 0 0 0 20 0 1 0 2249575 29765632 1958 33554432000 4194304 6986860 140733703483728 140733703480424 5587200 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9379840 140733703484686 140733703484767 140733703484767 140733703487466 0 /proc/6554/statm: 7267 1958 741 682 0 1270 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 29068 [startup+0.300196 s] /proc/loadavg: 2.00 2.01 2.04 3/181 6554 /proc/meminfo: memFree=32120064/32770624 swapFree=5848/116380 [pid=6554] ppid=6551 vsize=29192 CPUtime=0.29 cores=1,3,5,7 /proc/6554/stat : 6554 (naxos-xcsp3) R 6551 6554 3774 0 -1 4202496 2162 0 0 0 29 0 0 0 20 0 1 0 2249575 29892608 1989 33554432000 4194304 6986860 140733703483728 140733703480424 5620346 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9379840 140733703484686 140733703484767 140733703484767 140733703487466 0 /proc/6554/statm: 7298 1989 741 682 0 1301 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29192 [startup+0.700174 s] /proc/loadavg: 2.00 2.01 2.04 3/181 6554 /proc/meminfo: memFree=32120064/32770624 swapFree=5848/116380 [pid=6554] ppid=6551 vsize=29564 CPUtime=0.69 cores=1,3,5,7 /proc/6554/stat : 6554 (naxos-xcsp3) R 6551 6554 3774 0 -1 4202496 2258 0 0 0 69 0 0 0 20 0 1 0 2249575 30273536 2082 33554432000 4194304 6986860 140733703483728 140733703475864 5647436 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9379840 140733703484686 140733703484767 140733703484767 140733703487466 0 /proc/6554/statm: 7391 2082 741 682 0 1394 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29564 [startup+1.50017 s] /proc/loadavg: 2.00 2.01 2.04 3/182 6555 /proc/meminfo: memFree=32114220/32770624 swapFree=5848/116380 [pid=6554] ppid=6551 vsize=30432 CPUtime=1.49 cores=1,3,5,7 /proc/6554/stat : 6554 (naxos-xcsp3) R 6551 6554 3774 0 -1 4202496 2490 0 0 0 149 0 0 0 20 0 1 0 2249575 31162368 2312 33554432000 4194304 6986860 140733703483728 140733703475864 140400881073772 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9379840 140733703484686 140733703484767 140733703484767 140733703487466 0 /proc/6554/statm: 7608 2312 754 682 0 1611 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 30432 [startup+3.10017 s] /proc/loadavg: 2.00 2.01 2.04 3/182 6555 /proc/meminfo: memFree=32110500/32770624 swapFree=5848/116380 [pid=6554] ppid=6551 vsize=33336 CPUtime=3.09 cores=1,3,5,7 /proc/6554/stat : 6554 (naxos-xcsp3) R 6551 6554 3774 0 -1 4202496 5240 0 0 0 303 6 0 0 20 0 1 0 2249575 34136064 3078 33554432000 4194304 6986860 140733703483728 140733703479256 140400880394620 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9379840 140733703484686 140733703484767 140733703484767 140733703487466 0 /proc/6554/statm: 8334 3078 772 682 0 2337 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33336 [startup+6.30017 s] /proc/loadavg: 2.00 2.01 2.04 3/182 6555 /proc/meminfo: memFree=32110388/32770624 swapFree=5848/116416 [pid=6554] ppid=6551 vsize=33336 CPUtime=6.29 cores=1,3,5,7 /proc/6554/stat : 6554 (naxos-xcsp3) R 6551 6554 3774 0 -1 4202496 7225 0 0 0 619 10 0 0 20 0 1 0 2249575 34136064 3078 33554432000 4194304 6986860 140733703483728 140733703479080 140400880394620 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9379840 140733703484686 140733703484767 140733703484767 140733703487466 0 /proc/6554/statm: 8334 3078 772 682 0 2337 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 33336 [startup+12.7002 s] /proc/loadavg: 2.00 2.01 2.04 3/182 6555 /proc/meminfo: memFree=32110388/32770624 swapFree=5848/116420 [pid=6554] ppid=6551 vsize=33336 CPUtime=12.69 cores=1,3,5,7 /proc/6554/stat : 6554 (naxos-xcsp3) R 6551 6554 3774 0 -1 4202496 9224 0 0 0 1256 13 0 0 20 0 1 0 2249575 34136064 3078 33554432000 4194304 6986860 140733703483728 140733703479256 140400880123699 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9379840 140733703484686 140733703484767 140733703484767 140733703487466 0 /proc/6554/statm: 8334 3078 772 682 0 2337 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 33336 [startup+25.5002 s] /proc/loadavg: 2.00 2.01 2.04 3/182 6555 /proc/meminfo: memFree=32110636/32770624 swapFree=5848/116444 [pid=6554] ppid=6551 vsize=33336 CPUtime=25.5 cores=1,3,5,7 /proc/6554/stat : 6554 (naxos-xcsp3) R 6551 6554 3774 0 -1 4202496 13191 0 0 0 2529 21 0 0 20 0 1 0 2249575 34136064 3078 33554432000 4194304 6986860 140733703483728 140733703479256 140400880394620 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9379840 140733703484686 140733703484767 140733703484767 140733703487466 0 /proc/6554/statm: 8334 3078 772 682 0 2337 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 33336 [startup+51.1002 s] /proc/loadavg: 2.00 2.01 2.04 3/182 6623 /proc/meminfo: memFree=32101604/32770624 swapFree=5848/116512 [pid=6554] ppid=6551 vsize=33336 CPUtime=51.09 cores=1,3,5,7 /proc/6554/stat : 6554 (naxos-xcsp3) R 6551 6554 3774 0 -1 4202496 13812 0 0 0 5079 30 0 0 20 0 1 0 2249575 34136064 3080 33554432000 4194304 6986860 140733703483728 140733703479080 140400880394620 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9379840 140733703484686 140733703484767 140733703484767 140733703487466 0 /proc/6554/statm: 8334 3080 772 682 0 2337 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 33336 [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.04 3/182 6623 /proc/meminfo: memFree=32101412/32770624 swapFree=5848/116556 [pid=6554] ppid=6551 vsize=33336 CPUtime=102.3 cores=1,3,5,7 /proc/6554/stat : 6554 (naxos-xcsp3) R 6551 6554 3774 0 -1 4202496 14395 0 0 0 10184 46 0 0 20 0 1 0 2249575 34136064 3080 33554432000 4194304 6986860 140733703483728 140733703479080 140400880394620 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9379840 140733703484686 140733703484767 140733703484767 140733703487466 0 /proc/6554/statm: 8334 3080 772 682 0 2337 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 33336 [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.04 3/182 6624 /proc/meminfo: memFree=32101520/32770624 swapFree=5848/116608 [pid=6554] ppid=6551 vsize=33336 CPUtime=162.3 cores=1,3,5,7 /proc/6554/stat : 6554 (naxos-xcsp3) R 6551 6554 3774 0 -1 4202496 14982 0 0 0 16166 64 0 0 20 0 1 0 2249575 34136064 3080 33554432000 4194304 6986860 140733703483728 140733703479256 140400880394620 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9379840 140733703484686 140733703484767 140733703484767 140733703487466 0 /proc/6554/statm: 8334 3080 772 682 0 2337 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 33336 [startup+222.306 s] /proc/loadavg: 2.00 2.01 2.04 3/182 6625 /proc/meminfo: memFree=32101396/32770624 swapFree=5848/116708 [pid=6554] ppid=6551 vsize=33336 CPUtime=222.31 cores=1,3,5,7 /proc/6554/stat : 6554 (naxos-xcsp3) R 6551 6554 3774 0 -1 4202496 15526 0 0 0 22148 83 0 0 20 0 1 0 2249575 34136064 3080 33554432000 4194304 6986860 140733703483728 140733703479256 140400880394620 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9379840 140733703484686 140733703484767 140733703484767 140733703487466 0 /proc/6554/statm: 8334 3080 772 682 0 2337 0 Current children cumulated CPU time (s) 222.31 Current children cumulated vsize (KiB) 33336 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.04 3/182 6626 /proc/meminfo: memFree=32101524/32770624 swapFree=5848/116760 [pid=6554] ppid=6551 vsize=33336 CPUtime=282.31 cores=1,3,5,7 /proc/6554/stat : 6554 (naxos-xcsp3) R 6551 6554 3774 0 -1 4202496 15528 0 0 0 28130 101 0 0 20 0 1 0 2249575 34136064 3080 33554432000 4194304 6986860 140733703483728 140733703479080 140400880394620 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9379840 140733703484686 140733703484767 140733703484767 140733703487466 0 /proc/6554/statm: 8334 3080 772 682 0 2337 0 Current children cumulated CPU time (s) 282.31 Current children cumulated vsize (KiB) 33336 [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.04 3/182 6627 /proc/meminfo: memFree=32101528/32770624 swapFree=5848/116840 [pid=6554] ppid=6551 vsize=33336 CPUtime=342.32 cores=1,3,5,7 /proc/6554/stat : 6554 (naxos-xcsp3) R 6551 6554 3774 0 -1 4202496 16032 0 0 0 34113 119 0 0 20 0 1 0 2249575 34136064 3080 33554432000 4194304 6986860 140733703483728 140733703479080 140400880394620 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9379840 140733703484686 140733703484767 140733703484767 140733703487466 0 /proc/6554/statm: 8334 3080 772 682 0 2337 0 Current children cumulated CPU time (s) 342.32 Current children cumulated vsize (KiB) 33336 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.04 3/182 6628 /proc/meminfo: memFree=32101500/32770624 swapFree=5848/116920 [pid=6554] ppid=6551 vsize=33336 CPUtime=402.33 cores=1,3,5,7 /proc/6554/stat : 6554 (naxos-xcsp3) R 6551 6554 3774 0 -1 4202496 16067 0 0 0 40094 139 0 0 20 0 1 0 2249575 34136064 3080 33554432000 4194304 6986860 140733703483728 140733703479256 140400880394620 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9379840 140733703484686 140733703484767 140733703484767 140733703487466 0 /proc/6554/statm: 8334 3080 772 682 0 2337 0 Current children cumulated CPU time (s) 402.33 Current children cumulated vsize (KiB) 33336 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.04 3/182 6629 /proc/meminfo: memFree=32101468/32770624 swapFree=5848/116952 [pid=6554] ppid=6551 vsize=33336 CPUtime=462.33 cores=1,3,5,7 /proc/6554/stat : 6554 (naxos-xcsp3) R 6551 6554 3774 0 -1 4202496 16607 0 0 0 46075 158 0 0 20 0 1 0 2249575 34136064 3080 33554432000 4194304 6986860 140733703483728 140733703479256 5400079 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9379840 140733703484686 140733703484767 140733703484767 140733703487466 0 /proc/6554/statm: 8334 3080 772 682 0 2337 0 Current children cumulated CPU time (s) 462.33 Current children cumulated vsize (KiB) 33336 [startup+522.3 s] /proc/loadavg: 2.00 2.01 2.04 3/182 6630 /proc/meminfo: memFree=32101424/32770624 swapFree=5848/117004 [pid=6554] ppid=6551 vsize=33336 CPUtime=522.34 cores=1,3,5,7 /proc/6554/stat : 6554 (naxos-xcsp3) R 6551 6554 3774 0 -1 4202496 16607 0 0 0 52058 176 0 0 20 0 1 0 2249575 34136064 3080 33554432000 4194304 6986860 140733703483728 140733703479256 140400880394620 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9379840 140733703484686 140733703484767 140733703484767 140733703487466 0 /proc/6554/statm: 8334 3080 772 682 0 2337 0 Current children cumulated CPU time (s) 522.34 Current children cumulated vsize (KiB) 33336 [startup+582.3 s] /proc/loadavg: 2.00 2.01 2.04 3/182 6631 /proc/meminfo: memFree=32101384/32770624 swapFree=5848/117056 [pid=6554] ppid=6551 vsize=33336 CPUtime=582.34 cores=1,3,5,7 /proc/6554/stat : 6554 (naxos-xcsp3) R 6551 6554 3774 0 -1 4202496 17112 0 0 0 58039 195 0 0 20 0 1 0 2249575 34136064 3080 33554432000 4194304 6986860 140733703483728 140733703479080 140400880130527 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9379840 140733703484686 140733703484767 140733703484767 140733703487466 0 /proc/6554/statm: 8334 3080 772 682 0 2337 0 Current children cumulated CPU time (s) 582.34 Current children cumulated vsize (KiB) 33336 ################ # More data... # ################ [pid=6554] ppid=6551 vsize=33336 CPUtime=1722.45 cores=1,3,5,7 /proc/6554/stat : 6554 (naxos-xcsp3) R 6551 6554 3774 0 -1 4202496 21936 0 0 0 171688 557 0 0 20 0 1 0 2249575 34136064 3080 33554432000 4194304 6986860 140733703483728 140733703479256 5476860 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9379840 140733703484686 140733703484767 140733703484767 140733703487466 0 /proc/6554/statm: 8334 3080 772 682 0 2337 0 Current children cumulated CPU time (s) 1722.45 Current children cumulated vsize (KiB) 33336 [startup+1782.3 s] /proc/loadavg: 2.03 2.03 2.05 3/182 6669 /proc/meminfo: memFree=32099868/32770624 swapFree=5848/117912 [pid=6554] ppid=6551 vsize=33336 CPUtime=1782.45 cores=1,3,5,7 /proc/6554/stat : 6554 (naxos-xcsp3) R 6551 6554 3774 0 -1 4202496 22440 0 0 0 177670 575 0 0 20 0 1 0 2249575 34136064 3080 33554432000 4194304 6986860 140733703483728 140733703479080 140400880394620 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9379840 140733703484686 140733703484767 140733703484767 140733703487466 0 /proc/6554/statm: 8334 3080 772 682 0 2337 0 Current children cumulated CPU time (s) 1782.45 Current children cumulated vsize (KiB) 33336 [startup+1842.3 s] /proc/loadavg: 2.01 2.02 2.05 3/182 6677 /proc/meminfo: memFree=32098280/32770624 swapFree=5848/117964 [pid=6554] ppid=6551 vsize=33336 CPUtime=1842.46 cores=1,3,5,7 /proc/6554/stat : 6554 (naxos-xcsp3) R 6551 6554 3774 0 -1 4202496 22440 0 0 0 183653 593 0 0 20 0 1 0 2249575 34136064 3080 33554432000 4194304 6986860 140733703483728 140733703479256 140400880394620 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9379840 140733703484686 140733703484767 140733703484767 140733703487466 0 /proc/6554/statm: 8334 3080 772 682 0 2337 0 Current children cumulated CPU time (s) 1842.46 Current children cumulated vsize (KiB) 33336 [startup+1902.3 s] /proc/loadavg: 2.00 2.02 2.05 3/182 6678 /proc/meminfo: memFree=32098828/32770624 swapFree=5848/118000 [pid=6554] ppid=6551 vsize=33336 CPUtime=1902.46 cores=1,3,5,7 /proc/6554/stat : 6554 (naxos-xcsp3) R 6551 6554 3774 0 -1 4202496 22944 0 0 0 189636 610 0 0 20 0 1 0 2249575 34136064 3080 33554432000 4194304 6986860 140733703483728 140733703479256 140400880394620 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9379840 140733703484686 140733703484767 140733703484767 140733703487466 0 /proc/6554/statm: 8334 3080 772 682 0 2337 0 Current children cumulated CPU time (s) 1902.46 Current children cumulated vsize (KiB) 33336 [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6679 /proc/meminfo: memFree=32099012/32770624 swapFree=5848/118028 [pid=6554] ppid=6551 vsize=33336 CPUtime=1962.47 cores=1,3,5,7 /proc/6554/stat : 6554 (naxos-xcsp3) R 6551 6554 3774 0 -1 4202496 22944 0 0 0 195619 628 0 0 20 0 1 0 2249575 34136064 3080 33554432000 4194304 6986860 140733703483728 140733703479080 140400880394620 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9379840 140733703484686 140733703484767 140733703484767 140733703487466 0 /proc/6554/statm: 8334 3080 772 682 0 2337 0 Current children cumulated CPU time (s) 1962.47 Current children cumulated vsize (KiB) 33336 [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6680 /proc/meminfo: memFree=32098944/32770624 swapFree=5848/118060 [pid=6554] ppid=6551 vsize=33336 CPUtime=2022.48 cores=1,3,5,7 /proc/6554/stat : 6554 (naxos-xcsp3) R 6551 6554 3774 0 -1 4202496 23484 0 0 0 201602 646 0 0 20 0 1 0 2249575 34136064 3080 33554432000 4194304 6986860 140733703483728 140733703479256 140400880394620 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9379840 140733703484686 140733703484767 140733703484767 140733703487466 0 /proc/6554/statm: 8334 3080 772 682 0 2337 0 Current children cumulated CPU time (s) 2022.48 Current children cumulated vsize (KiB) 33336 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6681 /proc/meminfo: memFree=32099192/32770624 swapFree=5848/118108 [pid=6554] ppid=6551 vsize=33336 CPUtime=2082.48 cores=1,3,5,7 /proc/6554/stat : 6554 (naxos-xcsp3) R 6551 6554 3774 0 -1 4202496 23486 0 0 0 207584 664 0 0 20 0 1 0 2249575 34136064 3080 33554432000 4194304 6986860 140733703483728 140733703479256 140400880394620 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9379840 140733703484686 140733703484767 140733703484767 140733703487466 0 /proc/6554/statm: 8334 3080 772 682 0 2337 0 Current children cumulated CPU time (s) 2082.48 Current children cumulated vsize (KiB) 33336 [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6682 /proc/meminfo: memFree=32099564/32770624 swapFree=5848/118148 [pid=6554] ppid=6551 vsize=33336 CPUtime=2142.48 cores=1,3,5,7 /proc/6554/stat : 6554 (naxos-xcsp3) R 6551 6554 3774 0 -1 4202496 23991 0 0 0 213566 682 0 0 20 0 1 0 2249575 34136064 3080 33554432000 4194304 6986860 140733703483728 140733703479256 140400880394620 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9379840 140733703484686 140733703484767 140733703484767 140733703487466 0 /proc/6554/statm: 8334 3080 772 682 0 2337 0 Current children cumulated CPU time (s) 2142.48 Current children cumulated vsize (KiB) 33336 [startup+2202.31 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6683 /proc/meminfo: memFree=32099192/32770624 swapFree=5848/118176 [pid=6554] ppid=6551 vsize=33336 CPUtime=2202.5 cores=1,3,5,7 /proc/6554/stat : 6554 (naxos-xcsp3) R 6551 6554 3774 0 -1 4202496 23992 0 0 0 219548 702 0 0 20 0 1 0 2249575 34136064 3080 33554432000 4194304 6986860 140733703483728 140733703479080 140400880394620 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9379840 140733703484686 140733703484767 140733703484767 140733703487466 0 /proc/6554/statm: 8334 3080 772 682 0 2337 0 Current children cumulated CPU time (s) 2202.5 Current children cumulated vsize (KiB) 33336 [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6684 /proc/meminfo: memFree=32099440/32770624 swapFree=5848/118204 [pid=6554] ppid=6551 vsize=33336 CPUtime=2262.5 cores=1,3,5,7 /proc/6554/stat : 6554 (naxos-xcsp3) R 6551 6554 3774 0 -1 4202496 24496 0 0 0 225529 721 0 0 20 0 1 0 2249575 34136064 3080 33554432000 4194304 6986860 140733703483728 140733703479080 140400880394620 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9379840 140733703484686 140733703484767 140733703484767 140733703487466 0 /proc/6554/statm: 8334 3080 772 682 0 2337 0 Current children cumulated CPU time (s) 2262.5 Current children cumulated vsize (KiB) 33336 [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6685 /proc/meminfo: memFree=32100104/32770624 swapFree=5848/118252 [pid=6554] ppid=6551 vsize=33336 CPUtime=2322.5 cores=1,3,5,7 /proc/6554/stat : 6554 (naxos-xcsp3) R 6551 6554 3774 0 -1 4202496 24498 0 0 0 231510 740 0 0 20 0 1 0 2249575 34136064 3080 33554432000 4194304 6986860 140733703483728 140733703479080 140400880394620 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9379840 140733703484686 140733703484767 140733703484767 140733703487466 0 /proc/6554/statm: 8334 3080 772 682 0 2337 0 Current children cumulated CPU time (s) 2322.5 Current children cumulated vsize (KiB) 33336 [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6686 /proc/meminfo: memFree=32099664/32770624 swapFree=5848/118284 [pid=6554] ppid=6551 vsize=33336 CPUtime=2382.51 cores=1,3,5,7 /proc/6554/stat : 6554 (naxos-xcsp3) R 6551 6554 3774 0 -1 4202496 25039 0 0 0 237493 758 0 0 20 0 1 0 2249575 34136064 3080 33554432000 4194304 6986860 140733703483728 140733703479256 5431992 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9379840 140733703484686 140733703484767 140733703484767 140733703487466 0 /proc/6554/statm: 8334 3080 772 682 0 2337 0 Current children cumulated CPU time (s) 2382.51 Current children cumulated vsize (KiB) 33336 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2399.8 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6687 /proc/meminfo: memFree=32099352/32770624 swapFree=5848/118320 [pid=6554] ppid=6551 vsize=33336 CPUtime=2400.01 cores=1,3,5,7 /proc/6554/stat : 6554 (naxos-xcsp3) R 6551 6554 3774 0 -1 4202496 25039 0 0 0 239237 764 0 0 20 0 1 0 2249575 34136064 3080 33554432000 4194304 6986860 140733703483728 140733703479256 5475439 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9379840 140733703484686 140733703484767 140733703484767 140733703487466 0 /proc/6554/statm: 8334 3080 772 682 0 2337 0 Current children cumulated CPU time (s) 2400.01 Current children cumulated vsize (KiB) 33336 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -6554 ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 6554 sig 9 ??? end of watcher thread Solver just ended. Dumping a history of the last processes samples [startup+2400 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6687 /proc/meminfo: memFree=32099352/32770624 swapFree=5848/118320 [pid=6554] ppid=6551 vsize=33336 CPUtime=2400.01 cores=1,3,5,7 /proc/6554/stat : 6554 (naxos-xcsp3) S 6551 6554 3774 0 -1 1077944320 25048 0 0 0 239237 764 0 0 20 0 1 0 2249575 34136064 3080 33554432000 4194304 6986860 140733703483728 140733703476920 140400880685308 0 16384 4096 16384 18446744071579849748 0 0 17 3 0 0 0 0 0 9087712 9120176 9379840 140733703484686 140733703484767 140733703484767 140733703487466 0 /proc/6554/statm: 8334 3080 772 682 0 2337 0 Current children cumulated CPU time (s) 2400.01 Current children cumulated vsize (KiB) 33336 [startup+2400.8 s] /proc/loadavg: 2.00 2.01 2.05 2/182 6687 /proc/meminfo: memFree=32099352/32770624 swapFree=5848/118320 [pid=6554] ppid=6551 vsize=33336 CPUtime=2400.01 cores=1,3,5,7 /proc/6554/stat : 6554 (naxos-xcsp3) S 6551 6554 3774 0 -1 1077944320 25048 0 0 0 239237 764 0 0 20 0 1 0 2249575 34136064 3080 33554432000 4194304 6986860 140733703483728 140733703476920 140400880685308 0 16384 4096 16384 18446744071579849748 0 0 17 3 0 0 0 0 0 9087712 9120176 9379840 140733703484686 140733703484767 140733703484767 140733703487466 0 /proc/6554/statm: 8334 3080 772 682 0 2337 0 Current children cumulated CPU time (s) 2400.01 Current children cumulated vsize (KiB) 33336 [startup+2401.6 s] /proc/loadavg: 2.00 2.01 2.05 2/182 6687 /proc/meminfo: memFree=32099352/32770624 swapFree=5848/118320 [pid=6554] ppid=6551 vsize=33336 CPUtime=2400.01 cores=1,3,5,7 /proc/6554/stat : 6554 (naxos-xcsp3) S 6551 6554 3774 0 -1 1077944320 25048 0 0 0 239237 764 0 0 20 0 1 0 2249575 34136064 3080 33554432000 4194304 6986860 140733703483728 140733703476920 140400880685308 0 16384 4096 16384 18446744071579849748 0 0 17 3 0 0 0 0 0 9087712 9120176 9379840 140733703484686 140733703484767 140733703484767 140733703487466 0 /proc/6554/statm: 8334 3080 772 682 0 2337 0 Current children cumulated CPU time (s) 2400.01 Current children cumulated vsize (KiB) 33336 [startup+2401.8 s] /proc/loadavg: 2.00 2.01 2.05 2/182 6687 /proc/meminfo: memFree=32099352/32770624 swapFree=5848/118320 [pid=6554] ppid=6551 vsize=33336 CPUtime=2400.01 cores=1,3,5,7 /proc/6554/stat : 6554 (naxos-xcsp3) S 6551 6554 3774 0 -1 1077944320 25048 0 0 0 239237 764 0 0 20 0 1 0 2249575 34136064 3080 33554432000 4194304 6986860 140733703483728 140733703476920 140400880685308 0 16384 4096 16384 18446744071579849748 0 0 17 3 0 0 0 0 0 9087712 9120176 9379840 140733703484686 140733703484767 140733703484767 140733703487466 0 /proc/6554/statm: 8334 3080 772 682 0 2337 0 Current children cumulated CPU time (s) 2400.01 Current children cumulated vsize (KiB) 33336 Child ended because it received signal 9 (SIGKILL) Real time (s): 2401.8 CPU time (s): 2400.02 CPU user time (s): 2392.37 CPU system time (s): 7.64771 CPU usage (%): 99.9259 Max. virtual memory (cumulated for all children) (KiB): 33336 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2392.37 system time used= 7.64771 maximum resident set size= 12328 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25048 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= 9 involuntary context switches= 630 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.34066 second user time and 8.11219 second system time The end
Begin job on node120 at 2017-07-24 22:09:21 IDJOB=4252683 IDBENCH=126989 IDSOLVER=2634 FILE ID=node120/4252683-1500926961 RUNJOBID= node120-1500914921-3806 PBS_JOBID= 20625409 Free space on /tmp= 61844 MiB SOLVER NAME= Naxos 1.1.0 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-042.xml COMMAND LINE= ./naxos-xcsp3 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4252683-1500926961/watcher-4252683-1500926961 -o /tmp/evaluation-result-4252683-1500926961/solver-4252683-1500926961 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1500914921-3806 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4252683-1500926961.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 406abf126875c7059afeaa5170034bef RANDOM SEED=1683312920 node120.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.14 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.14 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.14 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.14 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: 32120980 kB MemAvailable: 32060208 kB Buffers: 35544 kB Cached: 218060 kB SwapCached: 0 kB Active: 175384 kB Inactive: 124920 kB Active(anon): 49696 kB Inactive(anon): 8540 kB Active(file): 125688 kB Inactive(file): 116380 kB Unevictable: 5848 kB Mlocked: 5848 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2716 kB Writeback: 104 kB AnonPages: 52292 kB Mapped: 29736 kB Shmem: 8844 kB Slab: 50700 kB SReclaimable: 25988 kB SUnreclaim: 24712 kB KernelStack: 3280 kB PageTables: 4756 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 289836 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: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 61840 MiB End job on node120 at 2017-07-24 22:49:23