Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 965.147 | 965.139 |
Name | /PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl--soft-66-100-0.wbo |
MD5SUM | 2f5b39eda2f3d2ee24cba69641294774 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 4 |
Best CPU time to get the best result obtained on this benchmark | 0.039993 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 3618 |
Total number of constraints | 3931 |
Number of soft constraints | 1336 |
Number of constraints which are clauses | 2865 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1066 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 25 |
Top cost | 67716 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 67715 |
Biggest number in a constraint | 7394 |
Number of bits of the biggest number in a constraint | 13 |
Biggest sum of numbers in a constraint | 19679 |
Number of bits of the biggest sum of numbers | 15 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c PB/CT 0.1.2 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.01/0.06 c constraints 707/359 clauses 1888/977 units 0 0.01/0.06 c vars 3618 4.99/5.03 c 4.69629 122.484 43637 200165 4.99/5.03 o 2232 9.29/9.37 c 8.71767 123.977 24361 326088 9.29/9.37 o 2044 11.99/12.09 c 11.2103 123.977 19546 418456 11.99/12.09 o 2039 16.89/16.92 c 15.7496 124.234 21845 551941 16.89/16.92 o 1911 19.59/19.68 c 18.2312 124.75 19954 665993 19.59/19.68 o 1896 24.69/24.76 c 22.9595 125.266 21501 809129 24.69/24.76 o 1885 26.49/26.50 c 24.5733 125.266 19634 863160 26.49/26.50 o 1881 34.39/34.44 c 32.0671 126.039 21212 1038161 34.39/34.44 o 1878 35.79/35.88 c 33.3409 126.297 15672 1127740 35.79/35.88 o 1876 41.29/41.36 c 38.3942 126.555 17200 1286874 41.29/41.36 o 1875 47.29/47.35 c 44.0073 127.07 15789 1478132 47.29/47.35 o 1800 49.89/49.91 c 46.3939 127.07 18188 1558992 49.89/49.91 o 1798 51.79/51.81 c 48.1097 127.199 15994 1624807 51.79/51.81 o 1764 53.19/53.24 c 49.3825 127.457 17651 1700693 53.19/53.24 o 1761 57.49/57.52 c 53.3499 127.844 21422 1823937 57.49/57.52 o 1727 60.89/60.91 c 56.4854 127.973 13839 1931409 60.89/60.91 o 1714 65.19/65.29 c 60.5628 128.23 18842 2065447 65.19/65.29 o 1710 69.49/69.50 c 64.4272 128.488 14744 2194347 69.49/69.50 o 1704 70.39/70.42 c 65.2431 129.133 27874 2258789 70.39/70.42 o 1688 71.50/71.59 c 66.3349 129.133 21304 2284976 71.50/71.59 o 1681 78.98/79.10 c 73.4208 129.133 14110 2448379 78.98/79.10 o 1676 80.49/80.53 c 74.7396 129.133 12262 2506139 80.49/80.53 o 1674 80.89/80.95 c 75.1136 129.133 18078 2525971 80.89/80.95 o 1670 82.99/83.04 c 77.0753 129.133 16199 2582603 82.99/83.04 o 1660 84.79/84.80 c 78.683 129.262 17626 2650579 84.79/84.80 o 1658 85.80/85.84 c 79.6359 129.262 18303 2698925 85.80/85.84 o 1651 86.18/86.27 c 80.0138 129.391 16140 2714657 86.18/86.27 o 1648 88.19/88.26 c 81.8256 129.648 20845 2792608 88.19/88.26 o 1629 88.89/88.91 c 82.4175 129.648 16561 2826325 88.89/88.91 o 1624 93.39/93.49 c 86.7388 129.648 12319 2917705 93.39/93.49 o 1623 95.59/95.69 c 88.7475 129.777 17949 2979910 95.59/95.69 o 1622 97.19/97.29 c 90.2123 129.906 17011 3044704 97.19/97.29 o 1620 97.59/97.61 c 90.4982 130.035 21506 3072865 97.59/97.61 o 1406 103.09/103.11 c 95.6255 130.035 17155 3229800 103.09/103.11 o 1403 105.49/105.52 c 97.8601 130.164 16897 3302010 105.49/105.52 o 1401 106.18/106.20 c 98.492 130.164 14182 3319835 106.18/106.20 o 1400 106.60/106.69 c 98.939 130.293 21027 3345972 106.60/106.69 o 1341 106.99/107.09 c 99.2959 130.293 16851 3363430 106.99/107.09 o 1340 108.19/108.25 c 100.343 130.293 15377 3412319 108.19/108.25 o 1339 109.99/110.08 c 102.007 130.422 20449 3479096 109.99/110.08 o 1337 110.88/110.92 c 102.781 130.551 17840 3502112 110.88/110.92 o 1336 114.19/114.25 c 105.951 130.551 17601 3586275 114.19/114.25 o 1331 115.19/115.20 c 106.819 131.195 13512 3630558 115.19/115.20 o 1330 117.99/118.03 c 109.436 131.195 19147 3714792 117.99/118.03 o 1329 118.29/118.30 c 109.667 131.195 13700 3730154 118.29/118.30 o 1328 120.39/120.48 c 111.653 131.195 13328 3809602 120.39/120.48 o 1301 122.99/123.00 c 113.993 131.195 17384 3891313 122.99/123.00 o 1293 123.79/123.81 c 114.742 131.195 18414 3921916 123.79/123.81 o 1292 124.59/124.69 c 115.582 131.195 15350 3940207 124.59/124.69 o 1287 129.39/129.40 c 119.967 131.582 15729 4075774 129.39/129.40 o 1285 129.49/129.56 c 120.111 131.582 16848 4082484 129.49/129.56 o 1283 130.98/131.06 c 121.502 131.582 18331 4134652 130.98/131.06 o 1282 133.69/133.70 c 123.953 131.582 13619 4216345 133.69/133.70 o 1281 133.99/134.05 c 124.263 131.582 19948 4237610 133.99/134.05 o 1269 135.39/135.48 c 125.582 131.582 18142 4285282 135.39/135.48 o 1268 137.99/138.05 c 127.923 131.969 19628 4376661 137.99/138.05 o 1266 138.59/138.60 c 128.407 131.969 21280 4400619 138.59/138.60 o 1262 138.99/139.02 c 128.788 131.969 16334 4418352 138.99/139.02 o 1261 141.89/141.93 c 131.45 131.969 15081 4517420 141.89/141.93 o 1260 145.59/145.62 c 134.896 132.098 13650 4613662 145.59/145.62 o 1256 145.68/145.78 c 135.033 132.098 14604 4629387 145.68/145.78 o 1255 146.99/147.02 c 136.181 132.227 18532 4664069 146.99/147.02 o 1254 149.69/149.75 c 138.738 132.227 17005 4733462 149.69/149.75 o 1246 151.48/151.59 c 140.492 132.355 13521 4769409 151.48/151.59 o 1244 154.29/154.35 c 143.025 132.484 17862 4859108 154.29/154.35 o 1241 158.09/158.10 c 146.536 132.742 15945 4946466 158.09/158.10 o 1239 161.99/162.05 c 150.16 133 16781 5056385 161.99/162.05 o 1237 167.89/167.91 c 155.612 133.129 16083 5227258 167.89/167.91 o 1234 168.30/168.32 c 155.98 133.129 13049 5242347 168.30/168.32 o 1232 168.39/168.49 c 156.13 133.129 13961 5248668 168.39/168.49 o 1231 168.89/168.97 c 156.575 133.129 19351 5264494 168.89/168.97 o 1228 169.79/169.84 c 157.405 133.129 16380 5279000 169.79/169.84 o 1227 169.89/169.99 c 157.538 133.129 18165 5286948 169.89/169.99 o 1222 174.99/175.04 c 162.259 133.258 13129 5427269 174.99/175.04 o 1221 177.19/177.22 c 164.295 133.258 15445 5467457 177.19/177.22 o 1220 182.39/182.40 c 169.169 133.645 18287 5593840 182.39/182.40 o 1215 183.19/183.22 c 169.904 133.645 18265 5637118 183.19/183.22 o 1209 184.79/184.83 c 171.38 133.645 17292 5696518 184.79/184.83 o 1208 184.99/185.02 c 171.553 133.645 20811 5703747 184.99/185.02 o 1205 186.39/186.41 c 172.813 133.773 20030 5761097 186.39/186.41 o 1204 188.69/188.70 c 174.884 133.773 17369 5841563 188.69/188.70 o 1202 189.59/189.69 c 175.83 133.773 13621 5864360 189.59/189.69 o 1201 189.79/189.88 c 175.997 133.773 15533 5880793 189.79/189.88 o 1192 189.98/190.01 c 176.11 133.773 16523 5889320 189.98/190.01 o 1190 191.40/191.41 c 177.402 133.773 15703 5929671 191.40/191.41 o 1189 194.78/194.88 c 180.59 133.773 17619 6029517 194.78/194.88 o 1188 195.59/195.63 c 181.296 133.902 16018 6052080 195.59/195.63 o 1183 195.70/195.77 c 181.422 133.902 17802 6062233 195.70/195.77 o 1171 198.29/198.31 c 183.787 133.902 16135 6133119 198.29/198.31 o 1167 198.49/198.50 c 183.954 133.902 17748 6142416 198.49/198.50 o 1164 198.69/198.78 c 184.214 134.031 19366 6154620 198.69/198.78 o 1163 201.09/201.10 c 186.376 134.031 16658 6227850 201.09/201.10 o 1162 202.09/202.19 c 187.402 134.16 20583 6269355 202.09/202.19 o 1161 204.39/204.40 c 189.449 134.16 16834 6338728 204.39/204.40 o 1159 206.29/206.31 c 191.235 134.16 15997 6390664 206.29/206.31 o 1158 210.69/210.77 c 195.458 134.16 19150 6497920 210.69/210.77 o 1114 213.68/213.79 c 198.226 134.289 15271 6582122 213.68/213.79 o 1113 214.69/214.70 c 199.054 134.547 18257 6618641 214.69/214.70 o 1111 216.19/216.22 c 200.453 134.547 16778 6659687 216.19/216.22 o 1110 217.89/217.95 c 202.045 134.547 21823 6711454 217.89/217.95 o 1109 219.39/219.42 c 203.392 134.547 13177 6766686 219.39/219.42 o 1108 221.00/221.07 c 204.93 134.547 14454 6820053 221.00/221.07 o 1106 222.89/222.98 c 206.718 134.547 12832 6861183 222.89/222.98 o 1103 224.19/224.21 c 207.88 134.676 20607 6881869 224.19/224.21 o 1102 225.39/225.44 c 209.032 134.676 13836 6919381 225.39/225.44 o 1098 228.89/228.93 c 212.253 134.805 18799 7017545 228.89/228.93 o 1096 229.19/229.23 c 212.525 135.062 24758 7028296 229.19/229.23 o 1095 232.29/232.31 c 215.35 135.062 18453 7112861 232.29/232.31 o 1094 234.89/234.98 c 217.857 135.062 16643 7174629 234.89/234.98 o 1093 236.09/236.10 c 218.902 135.062 14531 7205692 236.09/236.10 o 1092 238.69/238.77 c 221.274 135.062 16125 7317800 238.69/238.77 o 1080 239.59/239.60 c 222.051 135.062 14106 7346540 239.59/239.60 o 1019 240.39/240.43 c 222.834 135.062 11576 7364721 240.39/240.43 o 1017 240.90/240.91 c 223.274 135.062 19579 7386351 240.90/240.91 o 1016 241.90/241.91 c 224.186 135.191 13734 7421169 241.90/241.91 o 1014 242.29/242.33 c 224.582 135.191 16481 7432559 242.29/242.33 o 1008 243.19/243.26 c 225.386 135.191 15920 7478995 243.19/243.26 o 1003 246.09/246.17 c 228.077 135.32 17910 7565919 246.09/246.17 o 1002 249.49/249.54 c 231.197 135.32 19480 7659776 249.49/249.54 o 1001 250.19/250.27 c 231.877 135.32 17158 7680708 250.19/250.27 o 1000 252.09/252.11 c 233.567 135.449 18690 7726155 252.09/252.11 o 998 255.69/255.73 c 236.857 135.578 17587 7843366 255.69/255.73 o 997 256.09/256.13 c 237.223 135.578 14940 7860372 256.09/256.13 o 992 256.30/256.31 c 237.397 135.578 17238 7868852 256.30/256.31 o 991 256.49/256.56 c 237.623 135.578 21412 7877720 256.49/256.56 o 989 261.49/261.58 c 242.258 135.578 11713 8003965 261.49/261.58 o 986 262.19/262.26 c 242.865 135.578 18897 8030898 262.19/262.26 o 984 263.59/263.60 c 244.136 135.707 15709 8061740 263.59/263.60 o 981 267.59/267.66 c 247.94 135.836 19684 8156443 267.59/267.66 o 976 268.69/268.75 c 248.937 135.836 15928 8190238 268.69/268.75 o 975 268.99/269.08 c 249.242 135.836 18597 8205733 268.99/269.08 o 971 270.69/270.70 c 250.744 135.965 20415 8243129 270.69/270.70 o 970 271.09/271.17 c 251.175 135.965 16039 8266888 271.09/271.17 o 958 274.29/274.39 c 254.191 135.965 13367 8348966 274.29/274.39 o 955 276.89/276.91 c 256.516 135.965 14654 8425960 276.89/276.91 o 952 277.49/277.59 c 257.159 135.965 12366 8440960 277.49/277.59 o 950 277.59/277.69 c 257.246 135.965 12917 8446666 277.59/277.69 o 947 280.39/280.44 c 259.846 136.094 17037 8507157 280.39/280.44 o 946 281.39/281.44 c 260.742 136.094 13407 8537501 281.39/281.44 o 945 285.19/285.25 c 264.29 136.094 15246 8615958 285.19/285.25 o 944 285.39/285.42 c 264.442 136.094 17488 8626532 285.39/285.42 o 935 287.29/287.39 c 266.313 136.094 16764 8667562 287.29/287.39 o 934 289.59/289.64 c 268.45 136.094 14783 8705957 289.59/289.64 o 933 293.79/293.80 c 272.348 136.223 16562 8795222 293.79/293.80 o 931 294.59/294.67 c 273.191 136.223 19361 8807685 294.59/294.67 o 927 295.09/295.17 c 273.658 136.223 14386 8825310 295.09/295.17 o 923 297.89/297.94 c 276.212 136.352 14505 8889067 297.89/297.94 o 922 298.00/298.03 c 276.297 136.352 14638 8895985 298.00/298.03 o 921 298.19/298.26 c 276.51 136.352 18617 8905901 298.19/298.26 o 920 299.59/299.63 c 277.792 136.48 20474 8948680 299.59/299.63 o 910 301.79/301.85 c 279.885 136.48 19367 8988954 301.79/301.85 o 909 302.30/302.37 c 280.343 136.48 21450 9012493 302.30/302.37 o 904 304.39/304.43 c 282.285 136.609 20209 9057254 304.39/304.43 o 901 305.89/305.98 c 283.746 136.609 18250 9095421 305.89/305.98 o 900 307.59/307.66 c 285.299 136.609 10731 9140570 307.59/307.66 o 899 310.49/310.50 c 287.962 136.867 16387 9196470 310.49/310.51 o 898 314.39/314.46 c 291.721 136.867 15670 9265220 314.39/314.46 o 891 314.60/314.67 c 291.899 136.867 16556 9274304 314.60/314.67 o 889 315.60/315.63 c 292.773 136.867 19008 9318559 315.60/315.63 o 886 319.00/319.06 c 295.893 136.996 16853 9414690 319.00/319.06 o 885 319.09/319.20 c 296.008 136.996 17933 9424183 319.09/319.20 o 878 326.60/326.68 c 302.999 136.996 15784 9593965 326.60/326.68 o 876 327.89/327.93 c 304.153 136.996 14711 9628951 327.89/327.93 o 875 329.89/329.91 c 306.025 136.996 13070 9665486 329.89/329.91 o 874 331.39/331.49 c 307.486 136.996 12501 9708147 331.39/331.49 o 862 333.20/333.28 c 309.133 136.996 14637 9765422 333.20/333.28 o 861 333.49/333.50 c 309.328 136.996 17286 9776225 333.49/333.50 o 858 334.89/334.96 c 310.735 136.996 18400 9799869 334.89/334.96 o 857 337.69/337.76 c 313.387 136.996 12474 9846293 337.69/337.77 o 854 339.39/339.43 c 314.903 136.996 18450 9892096 339.39/339.43 o 853 340.90/341.00 c 316.324 137.125 22049 9940545 340.90/341.00 o 847 342.49/342.53 c 317.739 137.125 17459 9976438 342.49/342.53 o 845 344.39/344.42 c 319.483 137.125 20160 10032200 344.39/344.42 o 844 348.49/348.56 c 323.335 137.512 12478 10119327 348.49/348.56 o 842 349.09/349.14 c 323.86 137.512 22043 10141446 349.09/349.14 o 841 351.19/351.24 c 325.844 137.512 20189 10195569 351.19/351.24 o 808 353.49/353.50 c 327.96 137.512 16000 10241026 353.49/353.50 o 806 355.39/355.44 c 329.825 137.512 18538 10268710 355.39/355.44 o 805 356.19/356.22 c 330.549 137.512 16796 10286860 356.19/356.22 o 803 358.09/358.12 c 332.27 137.512 20798 10350604 358.09/358.12 o 802 360.89/360.93 c 334.856 137.512 12271 10431995 360.89/360.93 o 801 362.69/362.74 c 336.542 137.512 17040 10478580 362.69/362.74 o 800 362.79/362.85 c 336.636 137.512 18055 10484400 362.79/362.85 o 799 363.39/363.45 c 337.199 137.512 14833 10505421 363.39/363.45 o 798 364.39/364.47 c 338.13 137.512 18418 10534369 364.39/364.47 o 796 367.40/367.44 c 340.893 137.512 11703 10611700 367.40/367.44 o 793 367.79/367.86 c 341.286 137.512 17321 10622361 367.79/367.86 o 792 370.49/370.52 c 343.782 137.512 16405 10684850 370.49/370.52 o 789 371.29/371.30 c 344.481 137.512 18224 10709266 371.29/371.30 o 788 375.10/375.11 c 348.068 137.512 20282 10792158 375.10/375.11 o 787 376.28/376.35 c 349.22 137.512 15559 10820575 376.28/376.35 o 786 377.79/377.85 c 350.612 137.512 16442 10866602 377.79/377.85 o 785 377.99/378.00 c 350.748 137.512 17736 10875646 377.99/378.00 o 781 378.09/378.18 c 350.908 137.641 20129 10882696 378.09/378.18 o 778 381.08/381.14 c 353.646 137.641 16559 10951142 381.08/381.14 o 777 384.19/384.25 c 356.564 137.641 18546 11028378 384.19/384.25 o 774 385.39/385.42 c 357.62 137.77 16467 11066848 385.39/385.42 o 771 388.49/388.51 c 360.476 137.898 22192 11147160 388.49/388.51 o 769 389.89/389.90 c 361.768 137.898 19536 11190823 389.89/389.90 o 765 390.89/390.98 c 362.801 137.898 18140 11211364 390.89/390.98 o 760 392.59/392.69 c 364.435 137.898 18105 11234489 392.59/392.69 o 758 393.09/393.13 c 364.813 137.898 17168 11254780 393.09/393.13 o 751 396.69/396.72 c 368.146 137.898 20128 11350412 396.69/396.72 o 749 400.09/400.12 c 371.279 137.898 18896 11447325 400.09/400.12 o 748 402.69/402.72 c 373.632 137.898 18070 11543076 402.69/402.72 o 747 404.19/404.26 c 375.064 138.027 17651 11583170 404.19/404.26 o 746 406.29/406.31 c 376.986 138.027 19551 11620428 406.29/406.31 o 745 406.79/406.87 c 377.507 138.027 15345 11633948 406.79/406.87 o 740 410.49/410.57 c 380.965 138.156 19068 11711954 410.49/410.57 o 739 412.39/412.42 c 382.71 138.156 18444 11756672 412.39/412.42 o 731 414.99/415.05 c 385.128 138.285 20252 11818169 414.99/415.05 o 730 417.69/417.70 c 387.621 138.285 17076 11867548 417.69/417.70 o 729 418.29/418.37 c 388.22 138.285 17363 11891836 418.29/418.37 o 728 419.39/419.41 c 389.213 138.285 15014 11912857 419.39/419.41 o 727 421.49/421.52 c 391.162 138.285 15274 11963828 421.49/421.52 o 725 421.59/421.67 c 391.29 138.285 16617 11974356 421.59/421.67 o 723 425.89/425.92 c 395.229 138.543 17662 12100422 425.89/425.92 o 721 429.29/429.35 c 398.451 138.672 23191 12175821 429.29/429.35 o 718 430.59/430.62 c 399.638 138.672 17082 12207448 430.59/430.62 o 714 432.30/432.39 c 401.278 138.672 20491 12250088 432.30/432.39 o 713 435.79/435.83 c 404.486 138.672 16492 12327990 435.79/435.83 o 712 436.39/436.40 c 405.019 138.672 22217 12342735 436.39/436.40 o 711 436.60/436.69 c 405.268 138.672 16270 12353865 436.60/436.69 o 710 439.89/439.94 c 408.284 138.672 19888 12435633 439.89/439.94 o 709 443.99/444.10 c 412.213 138.672 18197 12502864 443.99/444.10 o 706 444.19/444.23 c 412.33 138.672 20106 12510352 444.19/444.23 o 704 447.09/447.13 c 415.076 138.672 15658 12564091 447.09/447.13 o 696 447.89/447.92 c 415.773 138.672 20093 12595949 447.89/447.92 o 694 451.09/451.10 c 418.756 138.672 11621 12672110 451.09/451.10 o 693 451.30/451.34 c 418.975 138.672 16747 12680876 451.30/451.34 o 690 452.10/452.13 c 419.694 138.672 18717 12707526 452.10/452.13 o 689 452.49/452.54 c 420.066 138.672 15647 12720923 452.49/452.54 o 688 453.99/454.01 c 421.415 138.672 19668 12764046 453.99/454.01 o 687 455.49/455.56 c 422.845 138.672 17147 12807695 455.49/455.56 o 684 456.09/456.12 c 423.391 138.801 19538 12814936 456.09/456.12 o 683 458.39/458.48 c 425.578 138.93 16210 12861181 458.39/458.48 o 682 459.99/460.04 c 427.024 138.93 13933 12903100 459.99/460.04 o 679 464.59/464.67 c 431.325 138.93 16915 13014244 464.59/464.67 o 678 464.79/464.89 c 431.526 138.93 21130 13025791 464.79/464.89 o 677 465.09/465.13 c 431.736 138.93 15781 13034986 465.09/465.13 o 676 469.49/469.57 c 435.871 138.93 16579 13148144 469.49/469.57 o 674 471.99/472.03 c 438.217 138.93 18063 13193417 471.99/472.03 o 672 473.40/473.40 c 439.501 138.93 15779 13225745 473.40/473.40 o 671 474.59/474.69 c 440.71 138.93 13332 13258091 474.59/474.69 o 669 474.79/474.84 c 440.851 138.93 15365 13264784 474.79/474.84 o 668 474.99/475.02 c 441.003 138.93 18557 13272123 474.99/475.02 o 662 476.39/476.45 c 442.326 138.93 18233 13309223 476.39/476.45 o 661 476.99/477.05 c 442.876 138.93 16463 13327499 476.99/477.05 o 658 477.19/477.22 c 443.025 138.93 18537 13336160 477.19/477.22 o 606 477.60/477.68 c 443.458 138.93 14625 13346669 477.60/477.68 o 603 480.69/480.70 c 446.278 139.059 17824 13405866 480.69/480.70 o 602 481.49/481.59 c 447.134 139.059 14050 13418177 481.49/481.59 o 600 482.89/482.99 c 448.418 139.059 12429 13451522 482.89/482.99 o 597 485.49/485.58 c 450.847 139.188 16311 13502799 485.49/485.58 o 596 488.30/488.38 c 453.434 139.188 16618 13584195 488.30/488.38 o 595 491.80/491.87 c 456.648 139.188 17057 13680691 491.80/491.87 o 592 492.19/492.28 c 457.009 139.188 16651 13695586 492.19/492.28 o 591 492.80/492.89 c 457.551 139.188 15317 13715744 492.80/492.89 o 590 493.09/493.14 c 457.771 139.188 19945 13724701 493.09/493.14 o 586 496.10/496.12 c 460.521 139.367 14734 13795075 496.10/496.12 o 585 500.00/500.00 c 464.139 139.367 15928 13881209 500.00/500.00 o 579 502.29/502.33 c 466.264 139.367 11631 13951346 502.29/502.33 o 577 504.99/505.02 c 468.762 139.367 13953 14014184 504.99/505.02 o 576 505.09/505.10 c 468.831 139.367 14340 14017582 505.09/505.10 o 573 505.99/506.03 c 469.714 139.367 13828 14035819 505.99/506.03 o 572 506.19/506.21 c 469.875 139.367 17191 14042837 506.19/506.21 o 571 510.69/510.79 c 474.161 139.496 18011 14152899 510.69/510.79 o 570 512.19/512.29 c 475.522 139.496 22389 14201087 512.19/512.29 o 566 516.49/516.57 c 479.48 139.496 14375 14316520 516.49/516.57 o 565 517.29/517.34 c 480.173 139.496 16921 14341699 517.29/517.34 o 563 517.79/517.86 c 480.639 139.496 12948 14360634 517.79/517.86 o 562 518.10/518.17 c 480.92 139.496 17652 14375595 518.10/518.17 o 559 518.39/518.47 c 481.198 139.625 21909 14385279 518.39/518.47 o 558 521.69/521.75 c 484.277 139.625 17929 14448309 521.69/521.75 o 556 523.09/523.12 c 485.545 139.625 18981 14478081 523.09/523.12 o 555 523.79/523.87 c 486.257 139.625 15100 14492217 523.79/523.87 o 553 524.10/524.10 c 486.468 139.625 18243 14499920 524.10/524.10 o 550 525.70/525.76 c 488.025 139.625 14983 14532409 525.70/525.76 o 548 527.19/527.20 c 489.348 139.625 14119 14569641 527.19/527.20 o 547 530.39/530.43 c 492.377 139.625 17698 14629214 530.39/530.43 o 542 531.19/531.30 c 493.172 139.625 19234 14653311 531.19/531.30 o 541 532.49/532.57 c 494.343 139.625 16609 14682454 532.49/532.57 o 540 532.79/532.82 c 494.576 139.625 19653 14689283 532.79/532.82 o 537 535.00/535.03 c 496.619 139.625 15747 14736983 535.00/535.03 o 536 535.89/535.96 c 497.485 139.625 15902 14759929 535.89/535.96 o 534 537.80/537.88 c 499.285 139.754 14330 14795808 537.80/537.88 o 533 539.29/539.31 c 500.6 139.754 15588 14834197 539.29/539.31 o 531 541.29/541.38 c 502.531 139.754 12861 14880119 541.29/541.38 o 530 542.59/542.69 c 503.737 139.883 18289 14909142 542.59/542.69 o 529 545.69/545.79 c 506.592 139.883 22298 14994798 545.69/545.79 o 528 546.80/546.83 c 507.543 139.883 15828 15017976 546.80/546.83 o 526 547.49/547.50 c 508.152 140.141 26330 15039313 547.49/547.50 o 524 549.40/549.42 c 509.943 140.141 17569 15090123 549.40/549.42 o 523 550.70/550.76 c 511.218 140.141 18035 15111318 550.70/550.76 o 522 551.29/551.31 c 511.74 140.141 12651 15122116 551.29/551.31 o 521 552.29/552.32 c 512.688 140.141 16307 15145703 552.29/552.32 o 519 554.49/554.53 c 514.773 140.141 15251 15181707 554.49/554.53 o 518 554.89/554.98 c 515.167 140.141 24973 15200147 554.89/554.98 o 517 559.19/559.22 c 519.066 140.141 10676 15306222 559.19/559.22 o 516 559.39/559.45 c 519.285 140.141 13206 15314807 559.39/559.45 o 513 561.00/561.01 c 520.742 140.141 18337 15355750 561.00/561.01 o 512 561.19/561.25 c 520.95 140.141 13804 15365399 561.19/561.25 o 503 564.19/564.28 c 523.777 140.141 16232 15436395 564.19/564.28 o 495 566.20/566.21 c 525.569 140.141 14769 15494883 566.20/566.21 o 492 569.59/569.60 c 528.822 140.141 20515 15541536 569.59/569.60 o 491 570.69/570.77 c 529.868 140.141 17984 15577958 570.69/570.77 o 489 571.29/571.31 c 530.369 140.141 17289 15598101 571.29/571.31 o 487 572.29/572.38 c 531.357 140.141 18320 15624696 572.29/572.38 o 486 575.59/575.67 c 534.423 140.141 19349 15700998 575.59/575.67 o 485 576.09/576.11 c 534.815 140.141 17137 15713460 576.09/576.11 o 484 576.99/577.04 c 535.681 140.141 15706 15730726 576.99/577.04 o 483 577.30/577.36 c 535.978 140.141 18781 15741478 577.30/577.36 o 482 580.30/580.35 c 538.737 140.141 19432 15816467 580.30/580.35 o 481 581.09/581.11 c 539.434 140.141 20330 15838283 581.09/581.11 o 480 582.99/583.06 c 541.283 140.141 17431 15882666 582.99/583.06 o 458 583.19/583.24 c 541.437 140.141 20007 15890885 583.19/583.24 o 457 583.19/583.29 c 541.487 140.141 10072 15894183 583.19/583.29 o 454 585.99/586.06 c 544.035 140.141 18747 15965581 585.99/586.06 o 453 589.29/589.32 c 547.071 140.27 17689 16030083 589.29/589.32 o 451 589.79/589.87 c 547.579 140.398 15398 16045530 589.79/589.87 o 450 593.30/593.38 c 550.84 140.398 17731 16116630 593.30/593.38 o 449 593.79/593.81 c 551.226 140.398 13895 16130956 593.79/593.81 o 448 596.39/596.43 c 553.686 140.398 13097 16177702 596.39/596.43 o 442 596.49/596.59 c 553.835 140.398 13831 16186511 596.49/596.59 o 441 596.69/596.78 c 554.023 140.398 16054 16192704 596.69/596.78 o 439 599.59/599.62 c 556.668 140.398 17736 16249981 599.59/599.62 o 438 601.49/601.56 c 558.448 140.398 18400 16311390 601.49/601.56 o 421 603.00/603.06 c 559.833 140.398 17760 16343105 603.00/603.06 o 420 603.19/603.26 c 560.024 140.398 19776 16349664 603.19/603.26 o 419 603.60/603.68 c 560.406 140.398 18592 16365823 603.60/603.68 o 405 605.19/605.22 c 561.84 140.398 16932 16398672 605.19/605.22 o 404 610.69/610.78 c 567.014 140.656 12552 16522051 610.69/610.78 o 401 613.49/613.51 c 569.481 140.656 15548 16596183 613.49/613.51 o 400 614.90/614.96 c 570.833 140.656 16926 16632453 614.90/614.96 o 399 616.29/616.38 c 572.166 140.656 15469 16672902 616.29/616.38 o 395 617.00/617.04 c 572.765 140.914 27544 16690155 617.00/617.04 o 394 618.60/618.65 c 574.285 140.914 19512 16728310 618.60/618.65 o 393 620.80/620.84 c 576.341 140.914 14021 16771536 620.80/620.84 o 389 622.89/622.98 c 578.351 140.914 19011 16811823 622.89/622.98 o 388 624.49/624.59 c 579.809 140.914 24474 16858424 624.49/624.59 o 385 633.09/633.19 c 587.927 140.914 16828 17006934 633.09/633.19 o 384 634.10/634.19 c 588.844 140.914 22529 17028202 634.10/634.19 o 380 634.89/634.90 c 589.489 140.914 18793 17051524 634.89/634.90 o 377 636.00/636.03 c 590.572 140.914 18768 17069453 636.00/636.03 o 376 637.69/637.77 c 592.19 141.043 24046 17120522 637.69/637.77 o 375 639.89/639.96 c 594.217 141.043 16183 17181132 639.89/639.96 o 372 640.59/640.65 c 594.844 141.043 17895 17199291 640.59/640.65 o 371 641.89/641.93 c 596.047 141.043 19066 17219738 641.89/641.93 o 370 642.40/642.45 c 596.527 141.043 16848 17245358 642.40/642.45 o 363 642.49/642.58 c 596.645 141.043 18390 17251115 642.49/642.58 o 362 643.59/643.68 c 597.63 141.043 19649 17283349 643.59/643.68 o 361 645.19/645.23 c 599.095 141.043 17414 17312604 645.19/645.23 o 359 646.59/646.70 c 600.437 141.043 23309 17350272 646.59/646.70 o 351 647.29/647.40 c 601.088 141.043 21323 17371443 647.29/647.40 o 350 649.90/649.99 c 603.457 141.043 18399 17441046 649.90/649.99 o 348 651.59/651.61 c 604.982 141.043 12794 17467535 651.59/651.61 o 347 653.30/653.34 c 606.595 141.043 13178 17508667 653.30/653.34 o 345 653.89/653.93 c 607.149 141.043 18447 17519872 653.89/653.93 o 344 655.30/655.36 c 608.465 141.043 17253 17558840 655.30/655.36 o 343 657.50/657.51 c 610.474 141.043 21243 17599399 657.50/657.51 o 341 659.79/659.82 c 612.686 141.043 19187 17625890 659.79/659.82 o 338 661.19/661.29 c 614.022 141.043 14700 17673326 661.19/661.29 o 337 661.99/662.07 c 614.743 141.172 24054 17689413 661.99/662.07 o 336 662.50/662.58 c 615.195 141.172 21098 17706860 662.50/662.58 o 335 664.19/664.29 c 616.798 141.172 19326 17739841 664.19/664.29 o 334 667.09/667.17 c 619.383 141.172 19990 17828100 667.09/667.17 o 332 668.89/668.97 c 621.039 141.172 17927 17870882 668.89/668.97 o 331 669.90/669.95 c 621.993 141.172 15096 17885482 669.90/669.95 o 329 672.10/672.14 c 624.021 141.172 13588 17944824 672.10/672.14 o 327 672.30/672.38 c 624.233 141.172 16044 17951801 672.30/672.38 o 325 672.80/672.86 c 624.688 141.172 19576 17963798 672.80/672.86 o 323 674.50/674.58 c 626.303 141.172 9913 17997836 674.50/674.58 o 322 675.00/675.00 c 626.672 141.172 16416 18012586 675.00/675.00 o 321 675.89/675.92 c 627.507 141.172 20125 18034045 675.89/675.92 o 320 678.00/678.02 c 629.431 141.172 11749 18084725 678.00/678.02 o 319 679.80/679.83 c 631.163 141.172 21753 18106563 679.80/679.83 o 318 684.39/684.42 c 635.453 141.43 21434 18202501 684.39/684.42 o 317 687.09/687.12 c 637.968 141.43 13509 18256716 687.09/687.12 o 316 691.69/691.76 c 642.206 141.43 19742 18359232 691.69/691.76 o 315 691.99/692.05 c 642.47 141.43 14168 18367453 691.99/692.05 o 298 693.69/693.78 c 644.053 141.43 11373 18410487 693.69/693.78 o 297 694.20/694.27 c 644.499 141.43 19119 18427540 694.20/694.27 o 296 695.79/695.89 c 645.982 141.43 14434 18470792 695.79/695.89 o 294 698.20/698.23 c 648.131 141.43 19570 18533535 698.20/698.23 o 292 701.59/701.69 c 651.361 141.43 24462 18611545 701.59/701.69 o 291 705.19/705.29 c 654.697 141.43 18795 18691901 705.19/705.29 o 290 708.40/708.44 c 657.618 141.43 22517 18759557 708.40/708.44 o 286 709.60/709.69 c 658.781 141.43 18112 18792301 709.60/709.69 o 285 711.09/711.19 c 660.207 141.43 14296 18826390 711.09/711.19 o 282 711.30/711.33 c 660.339 141.43 14949 18832345 711.30/711.33 o 281 715.30/715.30 c 664.036 141.43 16632 18917958 715.30/715.30 o 278 717.80/717.83 c 666.438 141.43 14252 18962009 717.80/717.83 o 277 717.90/717.97 c 666.568 141.43 15422 18970661 717.90/717.97 o 274 718.20/718.23 c 666.805 141.43 20443 18981576 718.20/718.23 o 273 719.50/719.56 c 668.017 141.559 18033 19014690 719.50/719.56 o 272 719.79/719.83 c 668.279 141.559 20307 19022238 719.79/719.83 o 271 722.00/722.06 c 670.359 141.559 15773 19067379 722.00/722.06 o 265 723.60/723.68 c 671.919 141.559 14410 19089027 723.60/723.68 o 264 726.39/726.48 c 674.471 141.559 17460 19159830 726.39/726.48 o 263 729.79/729.86 c 677.631 141.559 12580 19218593 729.79/729.86 o 261 732.09/732.12 c 679.725 141.559 14996 19274472 732.09/732.12 o 260 732.90/732.99 c 680.519 141.559 19512 19296659 732.90/732.99 o 259 733.49/733.58 c 681.068 141.559 17763 19311471 733.49/733.58 o 258 737.30/737.35 c 684.608 141.559 19328 19381858 737.30/737.35 o 257 737.49/737.59 c 684.816 141.559 12648 19389101 737.49/737.59 o 256 740.30/740.32 c 687.354 141.559 18910 19448984 740.30/740.32 o 255 748.20/748.23 c 694.792 141.688 16642 19588602 748.20/748.23 o 253 748.89/748.98 c 695.502 141.688 15682 19604149 748.89/748.98 o 252 749.60/749.62 c 696.094 141.688 21163 19618013 749.60/749.62 o 251 750.70/750.74 c 697.107 141.688 14662 19649993 750.70/750.74 o 249 751.20/751.23 c 697.577 141.688 17452 19656718 751.20/751.23 o 247 751.79/751.81 c 698.125 141.688 15171 19672140 751.79/751.81 o 245 755.20/755.26 c 701.383 141.688 17891 19730359 755.20/755.26 o 244 757.40/757.40 c 703.423 141.688 16011 19762498 757.40/757.40 o 240 757.49/757.54 c 703.561 141.688 18194 19769547 757.49/757.54 o 239 762.10/762.19 c 707.835 141.688 18888 19869285 762.10/762.19 o 237 764.29/764.36 c 709.918 141.688 14371 19898401 764.29/764.36 o 236 764.50/764.55 c 710.083 141.688 17707 19906588 764.50/764.55 o 235 764.80/764.80 c 710.309 141.816 22902 19917884 764.80/764.80 o 227 767.81/767.85 c 713.115 141.816 14777 19990514 767.81/767.85 o 226 769.60/769.66 c 714.81 141.816 13290 20026454 769.60/769.66 o 225 770.80/770.89 c 715.934 141.816 21159 20055578 770.80/770.89 o 222 771.20/771.20 c 716.216 141.816 14484 20066114 771.20/771.20 o 220 771.69/771.78 c 716.767 141.816 19576 20078076 771.69/771.78 o 216 773.09/773.11 c 718.005 141.816 18872 20109225 773.09/773.11 o 214 774.40/774.43 c 719.208 141.816 17649 20143537 774.40/774.43 o 213 775.40/775.50 c 720.213 141.816 16741 20160695 775.40/775.50 o 212 777.00/777.05 c 721.649 141.816 17800 20194220 777.00/777.05 o 209 778.10/778.18 c 722.704 141.816 21523 20215865 778.10/778.18 o 208 778.80/778.84 c 723.317 141.816 19790 20233559 778.80/778.84 o 207 779.09/779.11 c 723.576 141.816 14995 20244725 779.09/779.11 o 206 780.20/780.25 c 724.624 141.816 20538 20270726 780.20/780.25 o 202 784.49/784.58 c 728.55 141.816 14662 20385424 784.49/784.58 o 201 788.40/788.44 c 732.157 141.816 18245 20459868 788.40/788.44 o 181 791.10/791.10 c 734.58 141.816 16043 20522229 791.10/791.10 o 180 792.50/792.57 c 736.002 141.945 23092 20536253 792.50/792.57 o 179 795.40/795.48 c 738.725 141.945 12768 20593478 795.40/795.48 o 177 798.20/798.27 c 741.337 141.945 18116 20650046 798.20/798.27 o 176 799.89/799.96 c 742.932 141.945 13724 20676292 799.89/799.96 o 173 800.39/800.42 c 743.338 141.945 19843 20688304 800.39/800.42 o 172 802.90/802.95 c 745.668 141.945 18264 20747678 802.90/802.95 o 170 805.70/805.76 c 748.276 141.945 16196 20808183 805.70/805.76 o 169 806.00/806.03 c 748.523 141.945 19345 20818751 806.00/806.03 o 168 806.39/806.47 c 748.923 141.945 16812 20833425 806.39/806.47 o 166 807.80/807.86 c 750.216 141.945 14559 20863168 807.80/807.86 o 164 809.20/809.22 c 751.435 142.074 15821 20896856 809.20/809.22 o 163 811.80/811.84 c 753.911 142.074 13254 20943087 811.80/811.84 o 162 812.70/812.71 c 754.748 142.074 17734 20954781 812.70/812.71 o 160 813.49/813.50 c 755.465 142.074 19846 20975044 813.49/813.50 o 159 817.10/817.12 c 758.821 142.074 12318 21037335 817.10/817.12 o 158 820.90/820.91 c 762.354 142.074 14552 21107165 820.90/820.91 o 157 821.49/821.59 c 762.99 142.074 21229 21122208 821.49/821.59 o 153 822.20/822.26 c 763.625 142.074 18385 21136253 822.20/822.26 o 152 825.20/825.28 c 766.458 142.074 18889 21189828 825.20/825.28 o 150 828.40/828.47 c 769.426 142.074 17393 21250738 828.40/828.47 o 149 829.00/829.00 c 769.92 142.203 22642 21264018 829.00/829.00 o 146 831.39/831.40 c 772.103 142.203 13911 21322095 831.39/831.40 o 145 831.60/831.61 c 772.298 142.203 15626 21329074 831.60/831.61 o 142 831.80/831.86 c 772.529 142.203 18634 21336987 831.80/831.86 o 141 835.10/835.12 c 775.548 142.203 18363 21399970 835.10/835.12 o 140 835.19/835.23 c 775.647 142.203 19034 21408032 835.19/835.23 o 139 836.30/836.30 c 776.621 142.59 26392 21433107 836.30/836.30 o 138 839.90/839.96 c 780.056 142.59 18431 21493864 839.90/839.96 o 137 842.50/842.54 c 782.493 142.59 10854 21532853 842.50/842.54 o 136 846.30/846.31 c 785.981 142.59 13165 21611683 846.30/846.31 o 135 848.00/848.07 c 787.577 142.59 18864 21655554 848.00/848.07 o 131 852.50/852.56 c 791.79 142.59 17978 21741962 852.50/852.56 o 130 856.20/856.20 c 795.171 142.59 19643 21817139 856.20/856.20 o 126 857.80/857.87 c 796.725 142.59 18339 21848219 857.80/857.87 o 125 859.90/859.95 c 798.645 142.59 21442 21885820 859.90/859.95 o 122 861.89/861.95 c 800.529 142.59 19313 21918726 861.89/861.95 o 121 863.20/863.29 c 801.779 142.59 13855 21948257 863.20/863.29 o 119 865.30/865.39 c 803.706 142.59 19901 21993781 865.30/865.39 o 117 867.70/867.70 c 805.884 142.59 18916 22038495 867.70/867.70 o 115 868.00/868.03 c 806.174 142.59 13972 22049792 868.00/868.03 o 114 871.40/871.41 c 809.283 142.59 14767 22120249 871.40/871.41 o 113 875.30/875.37 c 812.969 142.59 13595 22199367 875.30/875.37 o 112 879.50/879.51 c 816.863 142.59 16380 22277025 879.50/879.51 o 111 881.11/881.14 c 818.394 142.59 12656 22303359 881.11/881.14 o 110 881.40/881.43 c 818.669 142.59 14454 22308901 881.40/881.43 o 109 883.40/883.44 c 820.552 142.59 17089 22348515 883.40/883.44 o 108 883.70/883.73 c 820.818 142.59 22475 22358510 883.70/883.73 o 103 885.20/885.20 c 822.181 142.59 19004 22392468 885.20/885.20 o 102 885.30/885.31 c 822.289 142.59 19704 22398139 885.30/885.31 o 99 891.30/891.36 c 827.9 142.719 21354 22513373 891.30/891.36 o 97 894.70/894.79 c 831.111 142.719 18673 22574531 894.70/894.79 o 93 896.19/896.27 c 832.493 142.719 15330 22602964 896.19/896.27 o 92 898.60/898.68 c 834.793 142.719 16180 22640661 898.60/898.68 o 91 899.00/899.01 c 835.095 142.719 19723 22649405 899.00/899.01 o 90 899.00/899.09 c 835.168 142.719 20465 22652725 899.00/899.09 o 89 900.00/900.05 c 836.023 142.719 17129 22682649 900.00/900.05 o 88 903.40/903.45 c 839.243 142.719 17836 22735503 903.40/903.45 o 86 906.90/906.99 c 842.587 142.719 14801 22786302 906.90/906.99 o 85 907.80/907.86 c 843.389 142.719 22184 22811199 907.80/907.86 o 83 910.09/910.10 c 845.499 142.719 19488 22843503 910.09/910.10 o 82 913.50/913.55 c 848.675 142.848 18838 22910745 913.50/913.55 o 81 914.69/914.73 c 849.8 142.848 16987 22928725 914.69/914.73 o 78 915.60/915.66 c 850.659 142.848 19183 22955220 915.60/915.66 o 76 915.89/915.90 c 850.886 142.977 22398 22963004 915.89/915.90 o 71 916.50/916.53 c 851.458 142.977 18464 22978627 916.50/916.53 o 69 917.30/917.35 c 852.226 142.977 19211 22996497 917.30/917.35 o 68 919.80/919.81 c 854.544 142.977 22912 23041950 919.80/919.81 o 67 923.10/923.15 c 857.682 142.977 19650 23109373 923.10/923.15 o 66 925.10/925.13 c 859.511 142.977 15223 23152541 925.10/925.13 o 64 925.50/925.57 c 859.898 142.977 12681 23167922 925.50/925.57 o 63 925.60/925.69 c 860.017 142.977 14268 23172831 925.60/925.69 o 61 929.80/929.83 c 863.933 142.977 20159 23231434 929.80/929.83 o 60 930.20/930.20 c 864.285 142.977 16117 23240505 930.20/930.20 o 59 930.60/930.63 c 864.67 143.105 23171 23253737 930.60/930.63 o 58 931.71/931.74 c 865.743 143.105 16803 23265769 931.71/931.74 o 57 934.30/934.33 c 868.156 143.105 12855 23315532 934.30/934.33 o 56 934.30/934.39 c 868.207 143.105 13044 23318952 934.30/934.39 o 52 934.49/934.55 c 868.363 143.105 13748 23326177 934.49/934.56 o 51 935.00/935.03 c 868.794 143.105 19613 23339067 935.00/935.03 o 49 937.10/937.15 c 870.855 143.105 19675 23355003 937.10/937.15 o 48 938.21/938.27 c 871.867 143.105 17371 23384526 938.21/938.27 o 46 938.50/938.50 c 872.084 143.105 20234 23392085 938.50/938.50 o 44 939.00/939.02 c 872.558 143.105 15867 23406397 939.00/939.02 o 43 939.60/939.62 c 873.109 143.105 14150 23421038 939.60/939.62 o 39 939.89/939.96 c 873.428 143.105 18327 23429705 939.89/939.96 o 38 940.20/940.24 c 873.688 143.105 20839 23436185 940.20/940.24 o 37 941.40/941.49 c 874.887 143.105 18678 23449006 941.40/941.49 o 36 941.50/941.56 c 874.948 143.105 18971 23452627 941.50/941.56 o 34 943.29/943.34 c 876.641 143.105 14444 23488526 943.29/943.34 o 33 944.50/944.59 c 877.798 143.105 21312 23521100 944.50/944.59 o 32 944.90/944.92 c 878.094 143.105 17007 23534496 944.90/944.92 o 24 946.40/946.49 c 879.575 143.105 14139 23561196 946.40/946.49 o 22 947.11/947.10 c 880.161 143.105 18109 23569829 947.11/947.10 o 20 949.30/949.36 c 882.314 143.105 16450 23606795 949.30/949.36 o 19 951.10/951.16 c 883.98 143.105 15551 23645890 951.10/951.16 o 18 952.80/952.88 c 885.619 143.105 20031 23673839 952.80/952.88 o 17 953.20/953.22 c 885.944 143.105 22682 23680942 953.20/953.22 o 16 957.90/957.93 c 890.445 143.105 17245 23745260 957.90/957.93 o 15 961.00/961.05 c 893.407 143.105 11116 23792334 961.00/961.05 o 14 961.50/961.55 c 893.86 143.105 18899 23807009 961.50/961.55 o 12 961.90/961.93 c 894.201 143.234 25203 23817966 961.90/961.93 o 11 962.00/962.02 c 894.288 143.234 11677 23820922 962.00/962.02 o 8 962.40/962.45 c 894.67 143.234 17816 23831867 962.40/962.45 o 7 962.90/962.91 c 895.096 143.234 23824 23841768 962.90/962.91 o 6 963.10/963.18 c 895.342 143.234 15986 23850336 963.10/963.18 o 5 964.90/964.92 c 897.001 143.578 19410 23875428 964.90/964.92 o 4 964.90/964.92 c 897.007 143.578 19410 23875428 964.90/964.92 s OPTIMUM FOUND 964.90/964.92 v -x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 -x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 -x59 -x60 x61 -x62 -x63 x64 -x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 -x82 -x83 x84 -x85 -x86 x87 -x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 -x112 x113 -x114 x115 x116 x117 -x118 x119 -x120 x121 -x122 -x123 -x124 x125 -x126 -x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 -x148 -x149 x150 -x151 -x152 x153 -x154 x155 -x156 -x157 x158 -x159 -x160 x161 -x162 -x163 x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 -x184 -x185 x186 -x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 -x206 -x207 x208 -x209 -x210 x211 -x212 -x213 x214 -x215 -x216 -x217 x218 -x219 -x220 x221 -x222 -x223 -x224 x225 -x226 x227 x228 x229 x230 x231 x232 x233 -x234 x235 -x236 -x237 x238 -x239 -x240 x241 -x242 x243 -x244 -x245 -x246 x247 -x248 -x249 x250 -x251 x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 x271 x272 x273 x274 x275 x276 x277 x278 x279 x280 x281 x282 -x283 x284 -x285 x286 x287 x288 -x289 x290 -x291 x292 -x293 -x294 -x295 x296 -x297 -x298 x299 -x300 x301 -x302 -x303 -x304 x305 x306 x307 -x308 x309 -x310 -x311 x312 -x313 -x314 -x315 -x316 x317 -x318 -x319 x320 -x321 x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 x332 x333 x334 x335 x336 x337 x338 x339 x340 x341 x342 x343 x344 x345 x346 x347 x348 x349 x350 x351 x352 x353 x354 x355 x356 x357 x358 x359 x360 x361 x362 x363 x364 x365 x366 x367 x368 x369 x370 x371 x372 x373 x374 x375 x376 x377 x378 x379 x380 x381 x382 x383 x384 -x385 x386 -x387 -x388 x389 -x390 -x391 x392 x393 x394 x395 x396 x397 x398 x399 x400 -x401 -x402 x403 x404 -x405 -x406 x407 x408 x409 x410 x411 -x412 x413 -x414 -x415 x416 -x417 -x418 -x419 -x420 x421 -x422 -x423 -x424 x425 -x426 x427 x428 x429 x430 x431 x432 x433 x434 x435 x436 x437 -x438 -x439 x440 x441 x442 x443 x444 x445 x446 x447 x448 x449 x450 x451 x452 x453 x454 x455 x456 -x457 x458 -x459 -x460 x461 x462 -x463 -x464 x465 x466 x467 x468 x469 x470 x471 x472 x473 -x474 -x475 x476 x477 x478 x479 x480 -x481 x482 -x483 x484 x485 x486 x487 x488 x489 x490 x491 x492 x493 x494 x495 x496 x497 x498 x499 x500 x501 x502 x503 x504 x505 -x506 -x507 x508 -x509 x510 x511 x512 x513 x514 x515 x516 x517 x518 x519 x520 x521 x522 x523 x524 -x525 x526 x527 x528 x529 x530 x531 x532 x533 x534 -x535 x536 -x537 -x538 x539 x540 x541 x542 x543 x544 x545 x546 -x547 -x548 x549 x550 -x551 -x552 x553 x554 -x555 x556 -x557 x558 -x559 -x560 x561 x562 -x563 x564 -x565 x566 -x567 x568 -x569 x570 x571 x572 x573 x574 x575 -x576 -x577 x578 -x579 -x580 -x581 -x582 x583 -x584 -x585 -x586 -x587 -x588 -x589 x590 -x591 -x592 -x593 -x594 -x595 x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 x632 x633 x634 x635 x636 -x637 -x638 -x639 x640 -x641 -x642 -x643 -x644 x645 -x646 -x647 -x648 -x649 x650 -x651 -x652 -x653 -x654 x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 -x663 -x664 x665 -x666 -x667 -x668 -x669 -x670 -x671 x672 x673 x674 x675 x676 x677 x678 x679 -x680 -x681 x682 x683 -x684 -x685 x686 x687 -x688 x689 -x690 x691 -x692 -x693 x694 x695 -x696 x697 -x698 x699 -x700 -x701 x702 x703 -x704 -x705 x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 x714 x715 x716 x717 x718 x719 x720 x721 x722 x723 x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 x752 -x753 -x754 x755 -x756 x757 -x758 -x759 x760 -x761 -x762 x763 -x764 -x765 -x766 x767 -x768 -x769 x770 -x771 -x772 x773 -x774 -x775 -x776 x777 -x778 -x779 x780 -x781 x782 -x783 -x784 x785 -x786 -x787 -x788 x789 -x790 x791 x792 x793 x794 x795 -x796 -x797 -x798 -x799 x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 x811 -x812 x813 -x814 -x815 x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 x828 -x829 -x830 x831 x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 x841 -x842 x843 x844 x845 -x846 -x847 -x848 x849 -x850 -x851 -x852 -x853 x854 x855 x856 -x857 -x858 -x859 -x860 -x861 x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 -x872 x873 x874 x875 x876 x877 x878 x879 x880 x881 x882 x883 x884 x885 x886 x887 x888 x889 x890 x891 x892 -x893 -x894 x895 -x896 x897 x898 x899 x900 x901 x902 x903 x904 x905 -x906 x907 -x908 -x909 x910 -x911 x912 -x913 -x914 -x915 x916 x917 x918 x919 x920 x921 x922 x923 -x924 -x925 x926 x927 -x928 -x929 x930 x931 -x932 x933 -x934 x935 -x936 -x937 x938 x939 -x940 x941 -x942 x943 -x944 -x945 x946 x947 -x948 -x949 x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 x959 -x960 x961 x962 x963 x964 x965 x966 x967 x968 x969 x970 x971 x972 x973 x974 x975 -x976 -x977 -x978 -x979 x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 x993 -x994 x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 x1006 -x1007 -x1008 -x1009 x1010 -x1011 -x1012 -x1013 x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 x1054 x1055 -x1056 -x1057 x1058 -x1059 x1060 x1061 x1062 x1063 x1064 -x1065 -x1066 -x1067 -x1068 -x1069 x1070 -x1071 -x1072 -x1073 x1074 -x1075 -x1076 -x1077 -x1078 x1079 -x1080 -x1081 -x1082 x1083 -x1084 -x1085 -x1086 x1087 -x1088 -x1089 -x1090 -x1091 x1092 -x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 -x1103 x1104 -x1105 -x1106 -x1107 -x1108 x1109 -x1110 x1111 x1112 x1113 x1114 -x1115 x1116 x1117 -x1118 -x1119 -x1120 -x1121 -x1122 x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 x1135 -x1136 x1137 -x1138 -x1139 -x1140 x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 x1154 -x1155 -x1156 x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 x1164 x1165 -x1166 -x1167 -x1168 x1169 x1170 x1171 -x1172 -x1173 x1174 x1175 x1176 x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 x1186 -x1187 -x1188 -x1189 -x1190 -x1191 x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 x1208 -x1209 x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 x1222 -x1223 x1224 x1225 x1226 -x1227 -x1228 -x1229 x1230 -x1231 -x1232 -x1233 -x1234 x1235 x1236 x1237 -x1238 -x1239 -x1240 -x1241 -x1242 x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 x1252 -x1253 x1254 x1255 x1256 x1257 x1258 x1259 x1260 x1261 x1262 x1263 x1264 x1265 x1266 x1267 x1268 x1269 x1270 x1271 x1272 -x1273 -x1274 x1275 -x1276 -x1277 x1278 -x1279 x1280 x1281 x1282 x1283 x1284 x1285 -x1286 -x1287 -x1288 -x1289 x1290 -x1291 x1292 x1293 -x1294 -x1295 x1296 -x1297 -x1298 x1299 -x1300 x1301 -x1302 -x1303 x1304 -x1305 -x1306 -x1307 x1308 x1309 -x1310 -x1311 -x1312 x1313 -x1314 x1315 -x1316 x1317 -x1318 -x1319 x1320 -x1321 x1322 -x1323 -x1324 x1325 -x1326 -x1327 -x1328 x1329 -x1330 x1331 -x1332 -x1333 -x1334 x1335 -x1336 x1337 -x1338 x1339 x1340 x1341 -x1342 -x1343 x1344 x1345 x1346 x1347 x1348 -x1349 x1350 -x1351 -x1352 -x1353 x1354 x1355 -x1356 -x1357 -x1358 x1359 -x1360 -x1361 -x1362 x1363 -x1364 x1365 -x1366 x1367 -x1368 -x1369 -x1370 x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 x1399 x1400 x1401 x1402 x1403 x1404 x1405 x1406 x1407 x1408 x1409 x1410 x1411 x1412 x1413 x1414 x1415 x1416 x1417 x1418 x1419 x1420 x1421 x1422 x1423 x1424 x1425 x1426 x1427 x1428 x1429 x1430 x1431 x1432 x1433 x1434 x1435 x1436 x1437 x1438 x1439 x1440 x1441 x1442 x1443 x1444 x1445 x1446 x1447 x1448 x1449 x1450 x1451 x1452 x1453 x1454 x1455 x1456 x1457 x1458 x1459 x1460 x1461 x1462 x1463 x1464 x1465 x1466 x1467 x1468 x1469 x1470 x1471 x1472 x1473 x1474 x1475 x1476 x1477 x1478 x1479 x1480 x1481 x1482 x1483 x1484 x1485 x1486 x1487 x1488 x1489 x1490 x1491 x1492 x1493 x1494 x1495 x1496 x1497 x1498 x1499 x1500 x1501 x1502 x1503 x1504 x1505 x1506 x1507 x1508 x1509 x1510 x1511 x1512 x1513 x1514 x1515 x1516 x1517 x1518 x1519 x1520 -x1521 -x1522 -x1523 x1524 x1525 -x1526 -x1527 x1528 x1529 -x1530 x1531 x1532 x1533 -x1534 x1535 x1536 x1537 -x1538 x1539 -x1540 x1541 x1542 x1543 -x1544 x1545 -x1546 -x1547 x1548 x1549 -x1550 x1551 x1552 x1553 x1554 x1555 -x1556 x1557 -x1558 -x1559 x1560 x1561 -x1562 x1563 x1564 x1565 x1566 x1567 -x1568 x1569 -x1570 -x1571 x1572 x1573 -x1574 x1575 x1576 x1577 x1578 x1579 -x1580 x1581 -x1582 -x1583 x1584 x1585 -x1586 x1587 x1588 x1589 x1590 x1591 -x1592 x1593 -x1594 -x1595 x1596 x1597 -x1598 x1599 x1600 x1601 x1602 -x1603 x1604 -x1605 x1606 -x1607 x1608 -x1609 x1610 x1611 -x1612 x1613 x1614 -x1615 x1616 -x1617 x1618 -x1619 x1620 -x1621 x1622 x1623 -x1624 x1625 x1626 -x1627 x1628 x1629 -x1630 -x1631 x1632 -x1633 x1634 -x1635 x1636 x1637 x1638 x1639 -x1640 x1641 -x1642 -x1643 x1644 x1645 x1646 -x1647 -x1648 -x1649 x1650 -x1651 -x1652 x1653 -x1654 x1655 -x1656 -x1657 -x1658 x1659 -x1660 -x1661 x1662 -x1663 -x1664 x1665 -x1666 x1667 -x1668 -x1669 -x1670 x1671 -x1672 -x1673 x1674 -x1675 -x1676 x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 x1686 -x1687 -x1688 x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 x1698 -x1699 -x1700 x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 x1709 x1710 x1711 -x1712 x1713 -x1714 -x1715 x1716 x1717 -x1718 x1719 x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 x1728 -x1729 x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 x1740 -x1741 x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 x1749 x1750 -x1751 x1752 x1753 -x1754 x1755 -x1756 -x1757 -x1758 -x1759 -x1760 x1761 x1762 -x1763 x1764 x1765 -x1766 x1767 -x1768 -x1769 -x1770 -x1771 -x1772 x1773 x1774 -x1775 x1776 x1777 -x1778 x1779 -x1780 x1781 -x1782 x1783 -x1784 -x1785 -x1786 -x1787 x1788 -x1789 -x1790 -x1791 x1792 x1793 -x1794 x1795 -x1796 -x1797 -x1798 -x1799 x1800 -x1801 -x1802 -x1803 x1804 x1805 x1806 x1807 -x1808 x1809 -x1810 -x1811 x1812 x1813 x1814 -x1815 -x1816 -x1817 -x1818 -x1819 x1820 -x1821 x1822 x1823 -x1824 x1825 x1826 -x1827 -x1828 -x1829 x1830 -x1831 -x1832 -x1833 x1834 x1835 -x1836 x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 x1850 x1851 x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 x1862 x1863 x1864 x1865 x1866 x1867 -x1868 x1869 -x1870 -x1871 x1872 x1873 -x1874 x1875 x1876 x1877 x1878 x1879 -x1880 x1881 -x1882 -x1883 x1884 x1885 -x1886 x1887 x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 x1898 x1899 x1900 x1901 -x1902 x1903 x1904 x1905 -x1906 x1907 x1908 x1909 -x1910 x1911 -x1912 x1913 -x1914 -x1915 x1916 -x1917 -x1918 x1919 x1920 -x1921 -x1922 -x1923 x1924 x1925 -x1926 -x1927 x1928 -x1929 -x1930 x1931 x1932 -x1933 -x1934 -x1935 x1936 -x1937 x1938 -x1939 x1940 -x1941 x1942 -x1943 -x1944 x1945 x1946 -x1947 -x1948 -x1949 x1950 -x1951 x1952 -x1953 x1954 -x1955 -x1956 x1957 x1958 -x1959 -x1960 -x1961 x1962 -x1963 -x1964 x1965 x1966 -x1967 -x1968 -x1969 -x1970 x1971 -x1972 -x1973 x1974 -x1975 -x1976 x1977 x1978 -x1979 -x1980 -x1981 -x1982 x1983 -x1984 -x1985 x1986 -x1987 -x1988 x1989 x1990 -x1991 -x1992 -x1993 -x1994 x1995 -x1996 x1997 x1998 x1999 -x2000 x2001 -x2002 -x2003 x2004 x2005 -x2006 x2007 -x2008 x2009 x2010 -x2011 -x2012 -x2013 x2014 x2015 -x2016 -x2017 x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 x2028 -x2029 x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 x2040 -x2041 x2042 -x2043 -x2044 x2045 x2046 x2047 -x2048 x2049 -x2050 -x2051 x2052 x2053 x2054 -x2055 -x2056 x2057 x2058 x2059 -x2060 x2061 -x2062 -x2063 x2064 x2065 x2066 -x2067 -x2068 x2069 x2070 x2071 -x2072 x2073 -x2074 -x2075 x2076 x2077 -x2078 x2079 x2080 x2081 x2082 x2083 -x2084 x2085 -x2086 -x2087 x2088 x2089 -x2090 x2091 x2092 -x2093 -x2094 -x2095 x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 x2112 -x2113 -x2114 x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 x2124 -x2125 -x2126 x2127 -x2128 x2129 -x2130 x2131 -x2132 x2133 x2134 x2135 x2136 x2137 x2138 -x2139 -x2140 x2141 -x2142 x2143 -x2144 x2145 x2146 x2147 x2148 x2149 x2150 x2151 x2152 x2153 x2154 x2155 -x2156 x2157 -x2158 -x2159 x2160 x2161 x2162 -x2163 -x2164 x2165 x2166 x2167 -x2168 x2169 -x2170 -x2171 x2172 x2173 x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 x2185 x2186 -x2187 x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 x2197 x2198 -x2199 x2200 x2201 x2202 x2203 -x2204 x2205 -x2206 -x2207 x2208 x2209 -x2210 x2211 x2212 x2213 x2214 x2215 -x2216 x2217 -x2218 -x2219 x2220 x2221 -x2222 x2223 x2224 x2225 -x2226 -x2227 x2228 -x2229 -x2230 x2231 x2232 x2233 -x2234 x2235 -x2236 x2237 -x2238 -x2239 x2240 -x2241 -x2242 x2243 x2244 x2245 x2246 -x2247 x2248 -x2249 -x2250 -x2251 x2252 -x2253 x2254 -x2255 x2256 x2257 -x2258 -x2259 x2260 x2261 -x2262 x2263 -x2264 x2265 x2266 -x2267 x2268 -x2269 -x2270 -x2271 -x2272 x2273 x2274 -x2275 x2276 x2277 x2278 x2279 -x2280 -x2281 x2282 x2283 -x2284 x2285 x2286 -x2287 x2288 x2289 x2290 x2291 -x2292 -x2293 x2294 x2295 -x2296 -x2297 x2298 -x2299 -x2300 -x2301 x2302 x2303 -x2304 x2305 x2306 x2307 x2308 x2309 -x2310 -x2311 -x2312 x2313 x2314 -x2315 -x2316 x2317 x2318 -x2319 x2320 x2321 -x2322 -x2323 -x2324 x2325 x2326 -x2327 -x2328 x2329 x2330 -x2331 x2332 -x2333 x2334 -x2335 -x2336 -x2337 x2338 x2339 -x2340 x2341 x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 x2352 -x2353 x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 x2364 -x2365 x2366 -x2367 -x2368 x2369 x2370 x2371 -x2372 x2373 -x2374 -x2375 x2376 x2377 -x2378 x2379 x2380 x2381 -x2382 -x2383 -x2384 -x2385 x2386 x2387 -x2388 x2389 x2390 x2391 x2392 x2393 -x2394 -x2395 -x2396 -x2397 x2398 x2399 -x2400 x2401 x2402 x2403 x2404 x2405 x2406 x2407 -x2408 x2409 -x2410 -x2411 x2412 x2413 -x2414 x2415 -x2416 x2417 x2418 -x2419 x2420 x2421 x2422 -x2423 -x2424 -x2425 -x2426 x2427 x2428 x2429 x2430 x2431 -x2432 x2433 -x2434 -x2435 x2436 x2437 x2438 -x2439 -x2440 x2441 x2442 x2443 -x2444 x2445 -x2446 -x2447 x2448 x2449 -x2450 x2451 x2452 x2453 x2454 x2455 -x2456 x2457 -x2458 -x2459 x2460 x2461 -x2462 x2463 x2464 -x2465 x2466 x2467 -x2468 x2469 x2470 x2471 x2472 x2473 -x2474 x2475 -x2476 -x2477 x2478 x2479 -x2480 x2481 x2482 x2483 x2484 x2485 -x2486 x2487 -x2488 -x2489 x2490 x2491 -x2492 x2493 x2494 x2495 x2496 x2497 -x2498 x2499 -x2500 -x2501 x2502 x2503 -x2504 x2505 x2506 x2507 x2508 x2509 -x2510 x2511 -x2512 -x2513 x2514 x2515 -x2516 x2517 x2518 x2519 x2520 x2521 -x2522 x2523 -x2524 -x2525 x2526 x2527 -x2528 x2529 x2530 x2531 x2532 x2533 -x2534 x2535 -x2536 -x2537 x2538 x2539 -x2540 x2541 x2542 -x2543 x2544 x2545 -x2546 x2547 -x2548 -x2549 -x2550 x2551 x2552 x2553 -x2554 -x2555 x2556 x2557 -x2558 x2559 -x2560 -x2561 -x2562 x2563 x2564 x2565 -x2566 x2567 x2568 x2569 -x2570 x2571 -x2572 -x2573 x2574 x2575 x2576 -x2577 -x2578 x2579 x2580 -x2581 -x2582 -x2583 x2584 -x2585 -x2586 -x2587 x2588 -x2589 -x2590 x2591 x2592 x2593 x2594 x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 x2602 x2603 x2604 x2605 x2606 x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 x2614 x2615 -x2616 x2617 x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 x2625 x2626 x2627 -x2628 x2629 x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 x2637 x2638 x2639 -x2640 -x2641 -x2642 -x2643 -x2644 x2645 x2646 -x2647 x2648 x2649 x2650 -x2651 -x2652 x2653 -x2654 -x2655 x2656 -x2657 -x2658 x2659 -x2660 x2661 -x2662 x2663 -x2664 -x2665 -x2666 x2667 -x2668 -x2669 -x2670 x2671 -x2672 -x2673 x2674 -x2675 x2676 -x2677 x2678 -x2679 -x2680 -x2681 x2682 -x2683 -x2684 -x2685 -x2686 x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 x2696 x2697 x2698 x2699 -x2700 -x2701 -x2702 -x2703 x2704 x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 x2715 -x2716 x2717 -x2718 -x2719 x2720 -x2721 x2722 -x2723 -x2724 x2725 x2726 -x2727 -x2728 -x2729 x2730 -x2731 x2732 x2733 x2734 x2735 -x2736 -x2737 -x2738 -x2739 -x2740 x2741 -x2742 -x2743 x2744 -x2745 -x2746 -x2747 -x2748 x2749 -x2750 -x2751 -x2752 -x2753 x2754 -x2755 -x2756 x2757 x2758 -x2759 -x2760 x2761 -x2762 x2763 -x2764 -x2765 x2766 -x2767 -x2768 x2769 x2770 -x2771 -x2772 x2773 -x2774 -x2775 x2776 -x2777 x2778 x2779 -x2780 x2781 -x2782 -x2783 -x2784 x2785 x2786 x2787 -x2788 x2789 x2790 x2791 x2792 x2793 -x2794 -x2795 x2796 x2797 x2798 x2799 -x2800 x2801 x2802 x2803 x2804 x2805 -x2806 -x2807 x2808 x2809 x2810 x2811 -x2812 x2813 x2814 x2815 x2816 x2817 -x2818 -x2819 x2820 x2821 x2822 x2823 -x2824 x2825 x2826 x2827 x2828 x2829 -x2830 -x2831 x2832 x2833 x2834 x2835 -x2836 x2837 x2838 x2839 x2840 x2841 -x2842 -x2843 x2844 x2845 x2846 x2847 -x2848 x2849 x2850 x2851 x2852 x2853 -x2854 -x2855 x2856 x2857 x2858 x2859 -x2860 x2861 x2862 x2863 x2864 x2865 x2866 x2867 x2868 x2869 -x2870 x2871 -x2872 -x2873 x2874 x2875 -x2876 x2877 x2878 -x2879 x2880 -x2881 -x2882 -x2883 x2884 x2885 -x2886 -x2887 -x2888 -x2889 x2890 -x2891 x2892 -x2893 -x2894 -x2895 x2896 x2897 -x2898 -x2899 -x2900 -x2901 x2902 x2903 x2904 x2905 -x2906 -x2907 -x2908 x2909 -x2910 x2911 -x2912 -x2913 x2914 x2915 x2916 x2917 -x2918 -x2919 -x2920 x2921 -x2922 x2923 -x2924 -x2925 -x2926 -x2927 x2928 x2929 -x2930 x2931 -x2932 -x2933 -x2934 x2935 x2936 x2937 -x2938 -x2939 x2940 -x2941 x2942 -x2943 -x2944 x2945 -x2946 -x2947 x2948 x2949 x2950 -x2951 x2952 -x2953 x2954 -x2955 -x2956 x2957 -x2958 -x2959 x2960 x2961 x2962 -x2963 x2964 -x2965 -x2966 x2967 x2968 -x2969 -x2970 x2971 -x2972 -x2973 x2974 x2975 -x2976 x2977 -x2978 x2979 x2980 -x2981 -x2982 -x2983 x2984 -x2985 -x2986 -x2987 x2988 -x2989 -x2990 x2991 x2992 -x2993 -x2994 -x2995 -x2996 x2997 -x2998 x2999 -x3000 -x3001 -x3002 x3003 x3004 x3005 -x3006 x3007 -x3008 -x3009 x3010 x3011 -x3012 x3013 x3014 x3015 x3016 x3017 -x3018 x3019 -x3020 -x3021 x3022 x3023 -x3024 x3025 x3026 -x3027 x3028 -x3029 -x3030 -x3031 x3032 x3033 -x3034 x3035 -x3036 -x3037 x3038 x3039 x3040 -x3041 x3042 x3043 x3044 x3045 -x3046 -x3047 x3048 x3049 -x3050 x3051 x3052 x3053 -x3054 x3055 -x3056 -x3057 x3058 x3059 -x3060 x3061 x3062 x3063 x3064 x3065 -x3066 x3067 -x3068 -x3069 x3070 x3071 -x3072 x3073 -x3074 -x3075 x3076 -x3077 -x3078 -x3079 x3080 x3081 -x3082 x3083 x3084 x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 x3095 x3096 -x3097 x3098 -x3099 x3100 -x3101 -x3102 x3103 x3104 -x3105 x3106 -x3107 -x3108 x3109 x3110 x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 x3118 -x3119 -x3120 -x3121 -x3122 -x3123 x3124 -x3125 -x3126 -x3127 x3128 x3129 -x3130 x3131 x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 x3142 -x3143 x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 x3154 x3155 -x3156 -x3157 x3158 x3159 x3160 x3161 -x3162 x3163 -x3164 -x3165 x3166 x3167 -x3168 x3169 x3170 -x3171 -x3172 -x3173 -x3174 x3175 x3176 x3177 -x3178 -x3179 x3180 -x3181 x3182 -x3183 -x3184 -x3185 -x3186 x3187 x3188 x3189 -x3190 -x3191 x3192 x3193 x3194 x3195 x3196 x3197 -x3198 x3199 -x3200 -x3201 x3202 x3203 -x3204 x3205 x3206 x3207 x3208 x3209 -x3210 x3211 -x3212 -x3213 x3214 x3215 x3216 -x3217 -x3218 -x3219 -x3220 x3221 x3222 x3223 -x3224 -x3225 x3226 -x3227 -x3228 -x3229 -x3230 x3231 x3232 x3233 -x3234 x3235 -x3236 -x3237 x3238 x3239 x3240 -x3241 -x3242 -x3243 x3244 -x3245 -x3246 -x3247 x3248 x3249 -x3250 x3251 x3252 x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 x3263 x3264 -x3265 x3266 x3267 x3268 x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 x3276 x3277 -x3278 x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 x3286 -x3287 -x3288 -x3289 -x3290 -x3291 x3292 -x3293 -x3294 -x3295 x3296 x3297 -x3298 x3299 x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 x3310 -x3311 x3312 -x3313 -x3314 x3315 x3316 -x3317 -x3318 x3319 x3320 -x3321 -x3322 -x3323 -x3324 x3325 -x3326 x3327 x3328 x3329 -x3330 x3331 -x3332 -x3333 x3334 -x3335 -x3336 x3337 -x3338 -x3339 -x3340 -x3341 -x3342 x3343 x3344 x3345 -x3346 -x3347 x3348 x3349 x3350 -x3351 x3352 -x3353 x3354 x3355 x3356 -x3357 -x3358 -x3359 x3360 -x3361 -x3362 -x3363 x3364 -x3365 -x3366 -x3367 x3368 x3369 -x3370 -x3371 x3372 -x3373 -x3374 x3375 x3376 x3377 x3378 -x3379 -x3380 -x3381 x3382 -x3383 -x3384 x3385 x3386 x3387 x3388 x3389 x3390 -x3391 x3392 x3393 x3394 -x3395 x3396 -x3397 -x3398 x3399 -x3400 -x3401 x3402 -x3403 -x3404 x3405 -x3406 -x3407 -x3408 x3409 -x3410 -x3411 -x3412 -x3413 x3414 -x3415 -x3416 -x3417 x3418 -x3419 x3420 -x3421 -x3422 -x3423 -x3424 -x3425 x3426 x3427 -x3428 -x3429 x3430 -x3431 -x3432 x3433 x3434 x3435 -x3436 -x3437 -x3438 -x3439 x3440 -x3441 -x3442 -x3443 x3444 x3445 -x3446 -x3447 x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 x3458 x3459 -x3460 -x3461 -x3462 -x3463 x3464 x3465 -x3466 x3467 x3468 x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 x3476 -x3477 x3478 -x3479 x3480 -x3481 -x3482 x3483 x3484 -x3485 x3486 x3487 x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 x3498 -x3499 -x3500 x3501 -x3502 -x3503 x3504 -x3505 -x3506 x3507 x3508 -x3509 x3510 x3511 -x3512 x3513 x3514 x3515 x3516 -x3517 x3518 x3519 x3520 x3521 x3522 x3523 x3524 -x3525 -x3526 -x3527 -x3528 x3529 x3530 -x3531 -x3532 -x3533 x3534 x3535 -x3536 -x3537 -x3538 x3539 x3540 x3541 -x3542 -x3543 x3544 x3545 -x3546 x3547 -x3548 -x3549 -x3550 x3551 -x3552 -x3553 -x3554 x3555 -x3556 x3557 x3558 x3559 -x3560 -x3561 -x3562 x3563 -x3564 -x3565 -x3566 x3567 -x3568 x3569 x3570 -x3571 x3572 x3573 -x3574 x3575 -x3576 -x3577 -x3578 -x3579 -x3580 x3581 -x3582 -x3583 x3584 x3585 -x3586 x3587 -x3588 -x3589 -x3590 -x3591 -x3592 x3593 -x3594 x3595 x3596 -x3597 x3598 -x3599 x3600 -x3601 x3602 x3603 x3604 x3605 -x3606 -x3607 -x3608 -x3609 -x3610 x3611 -x3612 -x3613 -x3614 x3615 x3616 x3617 -x3618
OK 4
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698897-1278461747/watcher-2698897-1278461747 -o /tmp/evaluation-result-2698897-1278461747/solver-2698897-1278461747 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698897-1278461747.wbo Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.92 4/178 13058 /proc/meminfo: memFree=30669780/32951124 swapFree=67111528/67111528 [pid=13058] ppid=13056 vsize=2136 CPUtime=0 /proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 253 0 0 0 0 0 0 0 25 0 1 0 14387832 2187264 172 4089446400 134512640 136422188 4287767104 18446744073709551615 135809704 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/13058/statm: 534 172 144 467 0 65 0 [startup+0.018617 s] /proc/loadavg: 2.00 2.00 1.92 4/178 13058 /proc/meminfo: memFree=30669780/32951124 swapFree=67111528/67111528 [pid=13058] ppid=13056 vsize=2400 CPUtime=0.01 /proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 306 0 0 0 1 0 0 0 25 0 1 0 14387832 2457600 225 4089446400 134512640 136422188 4287767104 18446744073709551615 135717690 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/13058/statm: 600 226 144 467 0 131 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2400 [startup+0.100593 s] /proc/loadavg: 2.00 2.00 1.92 4/178 13058 /proc/meminfo: memFree=30669780/32951124 swapFree=67111528/67111528 [pid=13058] ppid=13056 vsize=14324 CPUtime=0.09 /proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 3271 0 0 0 9 0 0 0 25 0 1 0 14387832 14667776 3190 4089446400 134512640 136422188 4287767104 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13058/statm: 3614 3192 193 467 0 3145 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14324 [startup+0.300557 s] /proc/loadavg: 2.00 2.00 1.92 4/178 13058 /proc/meminfo: memFree=30669780/32951124 swapFree=67111528/67111528 [pid=13058] ppid=13056 vsize=48088 CPUtime=0.29 /proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 12260 0 0 0 28 1 0 0 25 0 1 0 14387832 49242112 11643 4089446400 134512640 136422188 4287767104 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13058/statm: 12022 11644 193 467 0 11553 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 48088 [startup+0.700494 s] /proc/loadavg: 2.00 2.00 1.92 4/178 13058 /proc/meminfo: memFree=30669780/32951124 swapFree=67111528/67111528 [pid=13058] ppid=13056 vsize=114796 CPUtime=0.69 /proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 29595 0 0 0 65 4 0 0 25 0 1 0 14387832 117551104 27511 4089446400 134512640 136422188 4287767104 18446744073709551615 134927294 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13058/statm: 28699 27511 203 467 0 28230 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 114796 [startup+1.50036 s] /proc/loadavg: 2.00 2.00 1.92 3/179 13059 /proc/meminfo: memFree=30553708/32951124 swapFree=67111528/67111528 [pid=13058] ppid=13056 vsize=121668 CPUtime=1.49 /proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 31332 0 0 0 139 10 0 0 25 0 1 0 14387832 124588032 29248 4089446400 134512640 136422188 4287767104 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13058/statm: 30417 29248 214 467 0 29948 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 121668 [startup+3.10109 s] /proc/loadavg: 2.00 2.00 1.92 3/179 13060 /proc/meminfo: memFree=30552964/32951124 swapFree=67111528/67111528 [pid=13058] ppid=13056 vsize=122992 CPUtime=3.1 /proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 31647 0 0 0 289 21 0 0 25 0 1 0 14387832 125943808 29563 4089446400 134512640 136422188 4287767104 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13058/statm: 30748 29563 214 467 0 30279 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 122992 [startup+6.30055 s] /proc/loadavg: 2.00 2.00 1.92 3/179 13060 /proc/meminfo: memFree=30548616/32951124 swapFree=67111528/67111528 [pid=13058] ppid=13056 vsize=126948 CPUtime=6.29 /proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 32761 0 0 0 583 46 0 0 25 0 1 0 14387832 129994752 30294 4089446400 134512640 136422188 4287767104 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13058/statm: 31737 30294 237 467 0 31268 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 126948 [startup+12.7005 s] /proc/loadavg: 2.00 2.00 1.92 3/179 13060 /proc/meminfo: memFree=30548864/32951124 swapFree=67111528/67111528 [pid=13058] ppid=13056 vsize=126948 CPUtime=12.69 /proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 32763 0 0 0 1178 91 0 0 25 0 1 0 14387832 129994752 30294 4089446400 134512640 136422188 4287767104 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13058/statm: 31737 30294 237 467 0 31268 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 126948 [startup+25.5003 s] /proc/loadavg: 2.00 2.00 1.92 3/179 13061 /proc/meminfo: memFree=30548184/32951124 swapFree=67111528/67111528 [pid=13058] ppid=13056 vsize=128268 CPUtime=25.49 /proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 33082 0 0 0 2362 187 0 0 25 0 1 0 14387832 131346432 30610 4089446400 134512640 136422188 4287767104 18446744073709551615 135026966 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13058/statm: 32067 30610 237 467 0 31598 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 128268 [startup+51.101 s] /proc/loadavg: 2.00 2.00 1.92 3/179 13061 /proc/meminfo: memFree=30546236/32951124 swapFree=67111528/67111528 [pid=13058] ppid=13056 vsize=130116 CPUtime=51.09 /proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 33570 0 0 0 4747 362 0 0 25 0 1 0 14387832 133238784 31092 4089446400 134512640 136422188 4287767104 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13058/statm: 32529 31092 237 467 0 32060 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 130116 [startup+102.305 s] /proc/loadavg: 2.00 2.00 1.92 3/179 13063 /proc/meminfo: memFree=30543208/32951124 swapFree=67111528/67111528 [pid=13058] ppid=13056 vsize=133152 CPUtime=102.29 /proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 34341 0 0 0 9486 743 0 0 25 0 1 0 14387832 136347648 31842 4089446400 134512640 136422188 4287767104 18446744073709551615 134868265 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13058/statm: 33288 31842 237 467 0 32819 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 133152 [startup+162.3 s] /proc/loadavg: 2.00 2.00 1.92 3/179 13064 /proc/meminfo: memFree=30540300/32951124 swapFree=67111528/67111528 [pid=13058] ppid=13056 vsize=136188 CPUtime=162.29 /proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 35126 0 0 0 15039 1190 0 0 25 0 1 0 14387832 139456512 32593 4089446400 134512640 136422188 4287767104 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13058/statm: 34047 32593 237 467 0 33578 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 136188 [startup+222.3 s] /proc/loadavg: 2.00 2.00 1.92 3/179 13068 /proc/meminfo: memFree=30538156/32951124 swapFree=67111528/67111528 [pid=13058] ppid=13056 vsize=137772 CPUtime=222.29 /proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 35581 0 0 0 20610 1619 0 0 25 0 1 0 14387832 141078528 33013 4089446400 134512640 136422188 4287767104 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13058/statm: 34443 33013 237 467 0 33974 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 137772 [startup+282.301 s] /proc/loadavg: 2.00 2.00 1.92 3/179 13070 /proc/meminfo: memFree=30536604/32951124 swapFree=67111528/67111528 [pid=13058] ppid=13056 vsize=139356 CPUtime=282.29 /proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 36025 0 0 0 26153 2076 0 0 25 0 1 0 14387832 142700544 33420 4089446400 134512640 136422188 4287767104 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13058/statm: 34839 33420 237 467 0 34370 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 139356 [startup+342.301 s] /proc/loadavg: 2.00 2.00 1.92 3/179 13072 /proc/meminfo: memFree=30535428/32951124 swapFree=67111528/67111528 [pid=13058] ppid=13056 vsize=140412 CPUtime=342.3 /proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 36317 0 0 0 31753 2477 0 0 25 0 1 0 14387832 143781888 33680 4089446400 134512640 136422188 4287767104 18446744073709551615 134870615 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13058/statm: 35103 33680 237 467 0 34634 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 140412 [startup+402.301 s] /proc/loadavg: 2.00 2.00 1.92 3/179 13101 /proc/meminfo: memFree=30468668/32951124 swapFree=67111528/67111528 [pid=13058] ppid=13056 vsize=141204 CPUtime=402.29 /proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 36549 0 0 0 37327 2902 0 0 25 0 1 0 14387832 144592896 33879 4089446400 134512640 136422188 4287767104 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13058/statm: 35301 33879 237 467 0 34832 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 141204 [startup+462.301 s] /proc/loadavg: 2.00 2.00 1.92 3/179 13102 /proc/meminfo: memFree=30466884/32951124 swapFree=67111528/67111528 [pid=13058] ppid=13056 vsize=142260 CPUtime=462.29 /proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 36849 0 0 0 42907 3322 0 0 25 0 1 0 14387832 145674240 34146 4089446400 134512640 136422188 4287767104 18446744073709551615 135684970 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13058/statm: 35565 34146 237 467 0 35096 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 142260 [startup+522.301 s] /proc/loadavg: 2.03 2.01 1.93 3/179 13103 /proc/meminfo: memFree=30465068/32951124 swapFree=67111528/67111528 [pid=13058] ppid=13056 vsize=142972 CPUtime=522.29 /proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 37039 0 0 0 48478 3751 0 0 25 0 1 0 14387832 146403328 34299 4089446400 134512640 136422188 4287767104 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13058/statm: 35743 34299 237 467 0 35274 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 142972 [startup+582.3 s] /proc/loadavg: 2.01 2.01 1.93 3/179 13105 /proc/meminfo: memFree=30463624/32951124 swapFree=67111528/67111528 [pid=13058] ppid=13056 vsize=143500 CPUtime=582.29 /proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 37224 0 0 0 54056 4173 0 0 25 0 1 0 14387832 146944000 34444 4089446400 134512640 136422188 4287767104 18446744073709551615 134974301 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13058/statm: 35875 34444 237 467 0 35406 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 143500 [startup+642.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 13107 /proc/meminfo: memFree=30462572/32951124 swapFree=67111528/67111528 [pid=13058] ppid=13056 vsize=144424 CPUtime=642.3 /proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 37479 0 0 0 59638 4592 0 0 25 0 1 0 14387832 147890176 34665 4089446400 134512640 136422188 4287767104 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13058/statm: 36106 34665 237 467 0 35637 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 144424 [startup+702.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 13109 /proc/meminfo: memFree=30462012/32951124 swapFree=67111528/67111528 [pid=13058] ppid=13056 vsize=144820 CPUtime=702.29 /proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 37620 0 0 0 65191 5038 0 0 25 0 1 0 14387832 148295680 34769 4089446400 134512640 136422188 4287767104 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13058/statm: 36205 34769 237 467 0 35736 0 Current children cumulated CPU time (s) 702.29 Current children cumulated vsize (KiB) 144820 [startup+762.306 s] /proc/loadavg: 2.00 2.00 1.93 3/179 13110 /proc/meminfo: memFree=30461556/32951124 swapFree=67111528/67111528 [pid=13058] ppid=13056 vsize=145084 CPUtime=762.3 /proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 37726 0 0 0 70794 5436 0 0 25 0 1 0 14387832 148566016 34844 4089446400 134512640 136422188 4287767104 18446744073709551615 135019281 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13058/statm: 36271 34844 237 467 0 35802 0 Current children cumulated CPU time (s) 762.3 Current children cumulated vsize (KiB) 145084 [startup+822.301 s] /proc/loadavg: 2.00 2.00 1.93 3/179 13111 /proc/meminfo: memFree=30460980/32951124 swapFree=67111528/67111528 [pid=13058] ppid=13056 vsize=145480 CPUtime=822.3 /proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 37867 0 0 0 76365 5865 0 0 25 0 1 0 14387832 148971520 34948 4089446400 134512640 136422188 4287767104 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13058/statm: 36370 34948 237 467 0 35901 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 145480 [startup+882.301 s] /proc/loadavg: 2.00 2.00 1.93 3/179 13113 /proc/meminfo: memFree=30460280/32951124 swapFree=67111528/67111528 [pid=13058] ppid=13056 vsize=146008 CPUtime=882.3 /proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 38017 0 0 0 81950 6280 0 0 25 0 1 0 14387832 149512192 35071 4089446400 134512640 136422188 4287767104 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13058/statm: 36502 35071 237 467 0 36033 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 146008 [startup+942.301 s] /proc/loadavg: 2.05 2.01 1.93 3/179 13115 /proc/meminfo: memFree=30459344/32951124 swapFree=67111528/67111528 [pid=13058] ppid=13056 vsize=146536 CPUtime=942.3 /proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 38198 0 0 0 87565 6665 0 0 25 0 1 0 14387832 150052864 35209 4089446400 134512640 136422188 4287767104 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13058/statm: 36634 35209 237 467 0 36165 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 146536 Solver just ended. Dumping a history of the last processes samples [startup+947.106 s] /proc/loadavg: 2.04 2.01 1.93 3/179 13115 /proc/meminfo: memFree=30459340/32951124 swapFree=67111528/67111528 [pid=13058] ppid=13056 vsize=146536 CPUtime=947.11 /proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 38202 0 0 0 88016 6695 0 0 25 0 1 0 14387832 150052864 35209 4089446400 134512640 136422188 4287767104 18446744073709551615 135006280 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13058/statm: 36634 35209 237 467 0 36165 0 Current children cumulated CPU time (s) 947.11 Current children cumulated vsize (KiB) 146536 [startup+953.501 s] /proc/loadavg: 2.04 2.01 1.93 3/179 13115 /proc/meminfo: memFree=30459456/32951124 swapFree=67111528/67111528 [pid=13058] ppid=13056 vsize=146536 CPUtime=953.5 /proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 38226 0 0 0 88620 6730 0 0 18 0 1 0 14387832 150052864 35228 4089446400 134512640 136422188 4287767104 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13058/statm: 36634 35228 237 467 0 36165 0 Current children cumulated CPU time (s) 953.5 Current children cumulated vsize (KiB) 146536 [startup+959.901 s] /proc/loadavg: 2.03 2.01 1.93 3/179 13115 /proc/meminfo: memFree=30459208/32951124 swapFree=67111528/67111528 [pid=13058] ppid=13056 vsize=146536 CPUtime=959.9 /proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 38227 0 0 0 89229 6761 0 0 25 0 1 0 14387832 150052864 35228 4089446400 134512640 136422188 4287767104 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13058/statm: 36634 35228 237 467 0 36165 0 Current children cumulated CPU time (s) 959.9 Current children cumulated vsize (KiB) 146536 [startup+963.1 s] /proc/loadavg: 2.03 2.01 1.93 3/179 13115 /proc/meminfo: memFree=30459204/32951124 swapFree=67111528/67111528 [pid=13058] ppid=13056 vsize=146668 CPUtime=963.1 /proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 38266 0 0 0 89526 6784 0 0 25 0 1 0 14387832 150188032 35261 4089446400 134512640 136422188 4287767104 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13058/statm: 36667 35261 237 467 0 36198 0 Current children cumulated CPU time (s) 963.1 Current children cumulated vsize (KiB) 146668 [startup+963.9 s] /proc/loadavg: 2.03 2.01 1.93 3/179 13115 /proc/meminfo: memFree=30459080/32951124 swapFree=67111528/67111528 [pid=13058] ppid=13056 vsize=147020 CPUtime=963.9 /proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 38296 0 0 0 89600 6790 0 0 25 0 1 0 14387832 150548480 35290 4089446400 134512640 136422188 4287767104 18446744073709551615 135025965 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13058/statm: 36755 35290 237 467 0 36286 0 Current children cumulated CPU time (s) 963.9 Current children cumulated vsize (KiB) 147020 [startup+964.706 s] /proc/loadavg: 2.03 2.01 1.93 3/179 13115 /proc/meminfo: memFree=30459192/32951124 swapFree=67111528/67111528 [pid=13058] ppid=13056 vsize=147020 CPUtime=964.71 /proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 38297 0 0 0 89679 6792 0 0 25 0 1 0 14387832 150548480 35291 4089446400 134512640 136422188 4287767104 18446744073709551615 135006609 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13058/statm: 36755 35291 237 467 0 36286 0 Current children cumulated CPU time (s) 964.71 Current children cumulated vsize (KiB) 147020 [startup+965.101 s] /proc/loadavg: 2.03 2.01 1.93 3/179 13115 /proc/meminfo: memFree=30459192/32951124 swapFree=67111528/67111528 [pid=13058] ppid=13056 vsize=136964 CPUtime=965.1 /proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 38302 0 0 0 89718 6792 0 0 25 0 1 0 14387832 140251136 33353 4089446400 134512640 136422188 4287767104 18446744073709551615 135818353 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13058/statm: 34241 33353 240 467 0 33772 0 Current children cumulated CPU time (s) 965.1 Current children cumulated vsize (KiB) 136964 Child status: 0 Real time (s): 965.139 CPU time (s): 965.147 CPU user time (s): 897.213 CPU system time (s): 67.9347 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 147020 getrusage(RUSAGE_CHILDREN,...) data: user time used= 897.213 system time used= 67.9347 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38303 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= 4 involuntary context switches= 2382 runsolver used 1.37379 second user time and 3.06453 second system time The end
Begin job on node130 at 2010-07-07 02:15:47 IDJOB=2698897 IDBENCH=79039 IDSOLVER=1212 FILE ID=node130/2698897-1278461747 PBS_JOBID= 11233732 Free space on /tmp= 73484 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl--soft-66-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2698897-1278461747/watcher-2698897-1278461747 -o /tmp/evaluation-result-2698897-1278461747/solver-2698897-1278461747 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698897-1278461747.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2f5b39eda2f3d2ee24cba69641294774 RANDOM SEED=12560147 node130.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.22 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.72 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30670176 kB Buffers: 108476 kB Cached: 1946596 kB SwapCached: 0 kB Active: 713092 kB Inactive: 1424444 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30670176 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2056 kB Writeback: 0 kB AnonPages: 82724 kB Mapped: 15840 kB Slab: 80108 kB PageTables: 4628 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 223500 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73480 MiB End job on node130 at 2010-07-07 02:31:52