Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 50.8873 | 50.8862 |
Name | /PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3046_4-unsat--soft-66-100-0.wbo |
MD5SUM | 64f71ed3d387d8d9e46ec44993350335 |
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 | 2 |
Best CPU time to get the best result obtained on this benchmark | 0.051991 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 3968 |
Total number of constraints | 13430 |
Number of soft constraints | 4564 |
Number of constraints which are clauses | 13178 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 252 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 30 |
Top cost | 230935 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 230934 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 187 |
Number of bits of the biggest sum of numbers | 8 |
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.10/0.12 c constraints 156/96 clauses 2062/1800 units 2074 0.10/0.12 c vars 3968 0.39/0.41 c 0.384941 45.8672 61 40056 0.39/0.41 o 14420 0.39/0.44 c 0.410937 46.8672 83 52288 0.39/0.44 o 12262 0.39/0.46 c 0.427934 46.8672 112 58757 0.39/0.46 o 8118 0.39/0.48 c 0.440932 46.8672 125 61424 0.39/0.48 o 7835 0.39/0.49 c 0.446932 46.8672 127 63446 0.39/0.49 o 6385 0.49/0.50 c 0.45493 46.8672 134 66890 0.49/0.50 o 5882 0.49/0.50 c 0.461929 46.8672 135 68185 0.49/0.50 o 5877 0.49/0.51 c 0.468928 46.8672 139 69463 0.49/0.51 o 5849 0.49/0.52 c 0.474927 46.8672 140 72384 0.49/0.52 o 3625 0.49/0.53 c 0.482926 46.8672 143 73457 0.49/0.53 o 3619 0.49/0.54 c 0.491925 46.8672 147 77004 0.49/0.54 o 3100 0.49/0.56 c 0.502923 46.8672 153 78918 0.49/0.56 o 3097 0.49/0.57 c 0.512922 46.8672 157 81237 0.49/0.57 o 2946 0.49/0.57 c 0.516921 46.8672 157 82479 0.49/0.57 o 2920 0.49/0.58 c 0.52392 46.8672 161 83638 0.49/0.58 o 2915 0.49/0.59 c 0.530919 46.8672 161 84577 0.49/0.59 o 2913 0.59/0.60 c 0.538918 46.8672 164 85886 0.59/0.60 o 2909 0.59/0.61 c 0.543917 46.8672 164 87912 0.59/0.61 o 2576 0.59/0.62 c 0.550916 46.8672 165 89248 0.59/0.62 o 2573 0.59/0.63 c 0.556915 46.8672 167 90104 0.59/0.63 o 2569 0.59/0.63 c 0.561914 46.8672 167 92115 0.59/0.63 o 2074 0.59/0.64 c 0.569913 46.8672 171 93538 0.59/0.64 o 2070 0.59/0.65 c 0.576912 46.8672 172 94913 0.59/0.65 o 2041 0.59/0.66 c 0.58591 46.8672 177 96880 0.59/0.66 o 2039 0.59/0.67 c 0.594909 46.8672 178 99575 0.59/0.67 o 1386 0.79/0.88 c 0.760884 46.8672 370 100399 0.79/0.88 o 1385 0.89/0.94 c 0.803877 46.8672 416 100740 0.89/0.94 o 1381 1.00/1.02 c 0.867868 46.8672 487 101141 1.00/1.02 o 1378 1.00/1.07 c 0.903862 46.8672 544 101533 1.00/1.07 o 1375 1.00/1.10 c 0.928858 46.8672 571 101898 1.00/1.10 o 1372 1.10/1.13 c 0.952855 46.8672 586 102239 1.10/1.13 o 1371 1.10/1.14 c 0.960853 46.8672 587 102700 1.10/1.14 o 1369 1.19/1.23 c 1.03184 46.8672 678 103030 1.19/1.23 o 1368 1.29/1.35 c 1.11583 46.8672 814 103959 1.29/1.35 o 1364 1.29/1.35 c 1.12283 46.8672 815 104599 1.29/1.35 o 1360 1.29/1.39 c 1.15182 46.8672 838 105326 1.29/1.39 o 1359 1.29/1.39 c 1.15782 46.8672 840 106348 1.29/1.39 o 1356 1.39/1.40 c 1.16382 46.8672 841 107342 1.39/1.40 o 1352 1.39/1.41 c 1.16982 46.8672 842 108908 1.39/1.41 o 1351 1.39/1.43 c 1.18982 46.8672 862 109210 1.39/1.43 o 1347 1.39/1.47 c 1.21881 46.8672 886 109531 1.39/1.47 o 1346 1.49/1.52 c 1.25481 46.8672 921 109904 1.49/1.52 o 1344 1.49/1.53 c 1.26581 46.8672 931 110388 1.49/1.53 o 1340 1.49/1.54 c 1.27081 46.8672 931 111096 1.49/1.54 o 1336 1.49/1.55 c 1.27981 46.8672 935 111633 1.49/1.55 o 1334 1.49/1.56 c 1.2888 46.8672 939 112230 1.49/1.56 o 1330 1.49/1.57 c 1.2968 46.8672 942 112763 1.49/1.57 o 1328 1.79/1.88 c 1.54776 46.8672 1208 113820 1.79/1.88 o 1326 1.89/1.91 c 1.57276 46.8672 1224 114059 1.89/1.91 o 1322 1.89/1.93 c 1.58576 46.8672 1232 114353 1.89/1.93 o 1321 1.89/1.94 c 1.60276 46.8672 1239 114837 1.89/1.94 o 1315 1.99/2.05 c 1.67874 46.9961 1317 115252 1.99/2.05 o 1314 1.99/2.06 c 1.68674 46.9961 1319 115503 1.99/2.06 o 1312 1.99/2.07 c 1.69074 46.9961 1321 115745 1.99/2.07 o 1311 1.99/2.07 c 1.69874 46.9961 1326 115974 1.99/2.07 o 1310 1.99/2.08 c 1.70574 46.9961 1334 117146 1.99/2.08 o 1296 2.09/2.10 c 1.71874 46.9961 1343 117551 2.09/2.10 o 1295 2.20/2.24 c 1.78973 46.9961 1437 117888 2.20/2.24 o 1294 2.20/2.25 c 1.79473 46.9961 1438 118262 2.20/2.25 o 1293 2.20/2.26 c 1.80073 46.9961 1439 118633 2.20/2.26 o 1291 2.20/2.27 c 1.80573 46.9961 1439 119131 2.20/2.27 o 1286 2.20/2.29 c 1.81372 46.9961 1451 119493 2.20/2.29 o 1283 2.29/2.30 c 1.82072 46.9961 1459 120006 2.29/2.30 o 1282 2.29/2.31 c 1.82472 46.9961 1460 121133 2.29/2.31 o 1281 2.29/2.32 c 1.82872 46.9961 1460 122775 2.29/2.32 o 1224 2.29/2.33 c 1.83472 46.9961 1461 123926 2.29/2.33 o 1223 2.29/2.35 c 1.84272 46.9961 1467 124366 2.29/2.35 o 1220 2.29/2.35 c 1.84672 46.9961 1467 125836 2.29/2.35 o 1209 2.29/2.36 c 1.84872 46.9961 1467 126875 2.29/2.36 o 1205 2.29/2.37 c 1.85672 46.9961 1470 127394 2.29/2.37 o 1204 2.29/2.38 c 1.86172 46.9961 1470 128751 2.29/2.38 o 1200 2.39/2.43 c 1.87471 46.9961 1496 129132 2.39/2.43 o 1197 2.39/2.44 c 1.88071 46.9961 1509 129414 2.39/2.44 o 1194 2.59/2.60 c 1.9627 46.9961 1670 130129 2.59/2.60 o 1193 2.59/2.61 c 1.9747 46.9961 1675 130499 2.59/2.61 o 1182 2.59/2.63 c 1.9817 46.9961 1685 130783 2.59/2.63 o 1179 2.59/2.66 c 2.0027 46.9961 1708 131078 2.59/2.66 o 1175 2.59/2.69 c 2.01769 46.9961 1727 131423 2.59/2.69 o 1174 2.69/2.71 c 2.02869 46.9961 1739 131707 2.69/2.71 o 1171 2.69/2.74 c 2.04569 46.9961 1768 132115 2.69/2.74 o 1170 2.79/2.88 c 2.11368 47.125 1875 132650 2.79/2.88 o 1168 2.89/2.90 c 2.12068 47.125 1879 132972 2.89/2.90 o 1165 2.89/2.92 c 2.13468 47.125 1900 133262 2.89/2.92 o 1162 2.99/3.00 c 2.18367 47.125 2015 133787 2.99/3.00 o 1161 2.99/3.06 c 2.21466 47.125 2057 134114 2.99/3.06 o 1160 2.99/3.07 c 2.22466 47.125 2060 134300 2.99/3.07 o 1158 3.09/3.14 c 2.25766 47.125 2111 134731 3.09/3.14 o 1154 3.29/3.32 c 2.36964 47.125 2238 135195 3.29/3.32 o 1153 3.29/3.38 c 2.41263 47.125 2296 135707 3.29/3.38 o 1151 3.89/3.95 c 2.67559 47.2539 2851 137520 3.89/3.95 o 1150 4.09/4.12 c 2.75258 47.2539 3010 138069 4.09/4.12 o 1146 4.30/4.33 c 2.83557 47.2539 3179 138604 4.30/4.33 o 1145 4.39/4.43 c 2.87956 47.2539 3260 139007 4.39/4.43 o 1144 4.99/5.07 c 3.19751 47.3828 3855 140539 4.99/5.07 o 1143 5.09/5.13 c 3.23551 47.3828 3960 141043 5.09/5.13 o 1141 5.19/5.27 c 3.31849 47.3828 4082 141679 5.19/5.27 o 1136 5.19/5.28 c 3.32349 47.3828 4085 141895 5.19/5.28 o 1135 5.99/6.02 c 3.74743 47.5117 4764 143830 5.99/6.02 o 1132 5.99/6.04 c 3.75343 47.5117 4768 144028 5.99/6.04 o 1131 5.99/6.07 c 3.76743 47.5117 4801 144542 5.99/6.07 o 1130 6.09/6.12 c 3.79542 47.5117 4835 144855 6.09/6.12 o 1126 6.29/6.31 c 3.89241 47.6406 4980 145615 6.29/6.31 o 1124 7.19/7.21 c 4.31434 47.6406 5665 147371 7.19/7.21 o 1120 7.29/7.33 c 4.37933 47.7695 5781 147886 7.29/7.33 o 1119 7.39/7.44 c 4.43733 47.7695 5912 148464 7.39/7.44 o 1117 7.39/7.45 c 4.44332 47.7695 5917 148694 7.39/7.45 o 1116 7.39/7.46 c 4.45132 47.7695 5926 149154 7.39/7.46 o 1113 7.39/7.47 c 4.45532 47.7695 5927 150127 7.39/7.47 o 1111 7.39/7.48 c 4.46032 47.7695 5928 150768 7.39/7.48 o 1105 7.49/7.50 c 4.46632 47.7695 5939 151401 7.49/7.50 o 1101 7.49/7.51 c 4.47032 47.7695 5946 151689 7.49/7.51 o 1099 7.59/7.63 c 4.53131 47.7695 6099 152338 7.59/7.63 o 1096 7.70/7.77 c 4.6063 47.7695 6214 152863 7.70/7.77 o 1093 7.79/7.82 c 4.6303 47.7695 6257 153248 7.79/7.82 o 1091 8.99/9.04 c 5.21021 47.8984 3659 155646 8.99/9.04 o 1089 8.99/9.06 c 5.21821 47.8984 3663 155830 8.99/9.06 o 1085 9.09/9.15 c 5.2722 47.8984 3765 156357 9.09/9.15 o 1083 9.19/9.20 c 5.2922 47.8984 3800 156848 9.19/9.20 o 1075 9.19/9.22 c 5.30119 47.8984 3807 157061 9.19/9.22 o 1071 9.19/9.24 c 5.31319 47.8984 3824 157563 9.19/9.24 o 1069 9.19/9.27 c 5.33019 47.8984 3863 157799 9.19/9.27 o 1066 9.70/9.77 c 5.58815 47.8984 4264 159034 9.70/9.77 o 1065 9.70/9.80 c 5.60215 47.8984 4287 159448 9.70/9.80 o 1061 9.80/9.83 c 5.62315 47.8984 4313 159708 9.80/9.83 o 1058 9.90/9.96 c 5.67014 47.8984 4369 160031 9.90/9.96 o 1057 10.19/10.27 c 5.83811 47.8984 4591 161206 10.19/10.27 o 1055 10.30/10.32 c 5.86611 47.8984 4634 161529 10.30/10.32 o 1054 10.69/10.72 c 6.04908 47.8984 4959 162661 10.69/10.72 o 1052 10.69/10.78 c 6.08607 47.8984 5013 162950 10.69/10.78 o 1049 10.69/10.79 c 6.09007 47.8984 5015 163388 10.69/10.79 o 1044 10.79/10.85 c 6.12007 47.8984 5069 163660 10.79/10.85 o 1043 10.99/11.09 c 6.23405 47.8984 5254 164319 10.99/11.09 o 1039 11.09/11.19 c 6.28804 47.8984 5378 164818 11.09/11.19 o 1037 11.20/11.22 c 6.29904 47.8984 5389 165070 11.20/11.22 o 1034 11.20/11.23 c 6.30804 47.8984 5394 165278 11.20/11.23 o 1031 11.20/11.25 c 6.31104 47.8984 5403 165617 11.20/11.25 o 1027 11.20/11.26 c 6.31804 47.8984 5407 166068 11.20/11.26 o 1025 11.29/11.30 c 6.34104 47.8984 5434 166344 11.29/11.30 o 1023 11.29/11.35 c 6.36303 47.8984 5482 166589 11.29/11.35 o 1020 11.39/11.41 c 6.39303 47.8984 5513 166748 11.39/11.41 o 1018 11.49/11.50 c 6.43402 47.8984 5570 166979 11.49/11.50 o 1016 11.49/11.58 c 6.46902 47.8984 5622 167294 11.49/11.58 o 1015 11.69/11.70 c 6.53901 47.8984 5749 167728 11.69/11.70 o 1014 11.69/11.71 c 6.548 47.8984 5754 168022 11.69/11.71 o 1010 11.69/11.73 c 6.562 47.8984 5763 168332 11.69/11.73 o 1007 11.69/11.75 c 6.575 47.8984 5774 168601 11.69/11.75 o 1006 11.69/11.77 c 6.587 47.8984 5779 168956 11.69/11.77 o 1002 11.69/11.78 c 6.593 47.8984 5783 169842 11.69/11.78 o 1000 11.69/11.79 c 6.6 47.8984 5787 170052 11.69/11.79 o 996 11.79/11.83 c 6.62399 47.8984 5822 170314 11.79/11.83 o 993 11.90/11.97 c 6.70898 47.8984 5931 170934 11.90/11.97 o 992 12.00/12.00 c 6.72598 47.8984 5954 171375 12.00/12.00 o 989 12.00/12.04 c 6.74397 47.8984 5974 171663 12.00/12.04 o 986 12.00/12.06 c 6.75897 47.8984 5994 171970 12.00/12.06 o 982 12.00/12.09 c 6.76997 47.8984 6014 172287 12.00/12.09 o 980 12.09/12.15 c 6.80497 47.8984 6099 172756 12.09/12.15 o 974 12.09/12.19 c 6.83696 47.8984 6146 172951 12.09/12.19 o 973 12.69/12.78 c 7.18491 47.8984 6647 174559 12.69/12.78 o 972 12.69/12.79 c 7.19591 47.8984 6650 174722 12.69/12.79 o 969 12.79/12.81 c 7.2059 47.8984 6654 175348 12.79/12.81 o 966 12.79/12.82 c 7.2139 47.8984 6656 175578 12.79/12.82 o 965 12.79/12.83 c 7.2189 47.8984 6657 175988 12.79/12.83 o 961 12.79/12.84 c 7.2219 47.8984 6660 176621 12.79/12.84 o 959 12.79/12.85 c 7.2279 47.8984 6660 177301 12.79/12.85 o 955 12.79/12.86 c 7.2339 47.8984 6661 178038 12.79/12.86 o 953 12.90/12.91 c 7.2619 47.8984 6713 178501 12.90/12.91 o 950 12.90/12.94 c 7.27589 47.8984 6730 178767 12.90/12.94 o 947 12.99/13.07 c 7.33788 47.8984 3423 179332 12.99/13.07 o 942 13.10/13.12 c 7.36888 47.8984 3459 179528 13.10/13.12 o 941 13.20/13.21 c 7.41087 47.8984 3552 179944 13.20/13.21 o 940 13.20/13.23 c 7.41887 47.8984 3557 180125 13.20/13.23 o 938 13.20/13.24 c 7.42487 47.8984 3563 180566 13.20/13.24 o 933 13.20/13.28 c 7.45287 47.8984 3596 180793 13.20/13.28 o 931 13.30/13.33 c 7.48186 47.8984 3639 181118 13.30/13.33 o 930 13.39/13.40 c 7.50886 47.8984 3680 181360 13.39/13.40 o 929 13.79/13.83 c 7.72283 47.8984 3989 182404 13.79/13.83 o 927 14.79/14.81 c 8.18675 47.8984 4711 184299 14.79/14.81 o 926 14.79/14.84 c 8.19975 47.8984 4723 184547 14.79/14.84 o 922 14.79/14.89 c 8.22275 47.8984 4744 184787 14.79/14.89 o 921 14.89/14.95 c 8.25375 47.8984 4783 185095 14.89/14.95 o 920 14.99/15.00 c 8.27974 47.8984 4825 185397 14.99/15.00 o 919 15.09/15.17 c 8.35373 47.8984 4958 186097 15.09/15.17 o 911 15.30/15.38 c 8.45971 47.8984 5121 186623 15.30/15.38 o 910 15.59/15.60 c 8.5727 47.8984 5310 187298 15.59/15.60 o 909 15.69/15.74 c 8.63669 47.8984 5415 187803 15.69/15.74 o 908 15.69/15.76 c 8.64968 47.8984 5425 188159 15.69/15.76 o 906 15.69/15.78 c 8.65768 47.8984 5428 188485 15.69/15.78 o 905 15.69/15.79 c 8.66368 47.8984 5433 188822 15.69/15.79 o 900 15.79/15.81 c 8.67168 47.8984 5447 189525 15.79/15.81 o 898 15.79/15.82 c 8.67668 47.8984 5449 189860 15.79/15.82 o 895 15.79/15.83 c 8.68368 47.8984 5469 190301 15.79/15.83 o 893 15.89/15.95 c 8.74167 47.8984 5578 190969 15.89/15.95 o 891 15.99/16.01 c 8.76967 47.8984 5623 191337 15.99/16.01 o 890 16.69/16.77 c 9.12461 47.8984 6261 192838 16.69/16.77 o 889 17.19/17.20 c 9.33058 47.8984 6724 193978 17.19/17.20 o 887 17.19/17.21 c 9.33958 47.8984 6747 194151 17.19/17.21 o 886 17.19/17.26 c 9.36458 47.8984 6786 194387 17.19/17.26 o 885 17.29/17.39 c 9.42857 47.8984 3467 194800 17.29/17.39 o 884 17.40/17.42 c 9.44156 47.8984 3484 194968 17.40/17.42 o 882 17.79/17.88 c 9.69353 47.8984 3971 196379 17.79/17.88 o 879 17.99/18.01 c 9.75252 47.8984 4093 196914 17.99/18.01 o 878 18.09/18.10 c 9.79951 47.8984 4149 197211 18.09/18.10 o 873 18.29/18.31 c 9.90549 47.8984 4355 198046 18.29/18.31 o 872 18.29/18.37 c 9.94049 47.8984 4383 198199 18.29/18.37 o 871 18.39/18.43 c 9.97648 47.8984 4429 198406 18.39/18.43 o 870 18.59/18.68 c 10.1315 47.8984 4681 199316 18.59/18.68 o 867 18.70/18.76 c 10.1835 47.8984 4736 199626 18.70/18.76 o 866 18.79/18.80 c 10.2104 47.8984 4755 199843 18.79/18.80 o 863 18.89/18.96 c 10.3034 47.8984 4920 200467 18.89/18.96 o 859 19.10/19.19 c 10.4364 47.8984 5105 201016 19.10/19.19 o 858 19.19/19.21 c 10.4464 47.8984 5112 201253 19.19/19.21 o 855 19.19/19.24 c 10.4674 47.8984 5130 201587 19.19/19.24 o 846 20.69/20.73 c 11.2163 47.8984 6407 204749 20.69/20.73 o 842 20.69/20.76 c 11.2373 47.8984 6431 204922 20.69/20.76 o 841 20.80/20.81 c 11.2553 47.8984 6474 205190 20.80/20.81 o 840 20.90/20.91 c 11.3123 47.8984 6586 205523 20.90/20.91 o 839 21.09/21.15 c 11.4333 48.0273 6803 206391 21.09/21.15 o 838 21.19/21.21 c 11.4613 48.0273 6837 206713 21.19/21.21 o 837 21.29/21.32 c 11.5172 48.0273 3474 207332 21.29/21.32 o 836 21.49/21.58 c 11.6362 48.0273 3730 208261 21.49/21.58 o 835 21.60/21.63 c 11.6542 48.0273 3781 208527 21.60/21.63 o 834 21.60/21.64 c 11.6622 48.0273 3787 208799 21.60/21.64 o 832 21.69/21.71 c 11.6932 48.0273 3852 209185 21.69/21.71 o 829 22.10/22.10 c 11.8712 48.0273 4174 210126 22.10/22.10 o 828 22.19/22.20 c 11.9212 48.0273 4267 210417 22.19/22.20 o 826 22.19/22.28 c 11.9562 48.0273 4384 210832 22.19/22.28 o 825 22.29/22.36 c 11.9972 48.0273 4430 211073 22.29/22.36 o 823 22.49/22.53 c 12.0982 48.0273 4580 211558 22.49/22.53 o 819 22.49/22.58 c 12.1192 48.0273 4621 211784 22.49/22.58 o 817 22.59/22.60 c 12.1302 48.0273 4636 212055 22.59/22.60 o 816 22.59/22.62 c 12.1392 48.0273 4643 212404 22.59/22.62 o 812 22.59/22.66 c 12.1631 48.0273 4676 212673 22.59/22.66 o 811 22.69/22.75 c 12.2201 48.0273 4779 213386 22.69/22.75 o 809 22.69/22.76 c 12.2281 48.0273 4785 213584 22.69/22.76 o 807 22.69/22.77 c 12.2331 48.0273 4787 213870 22.69/22.77 o 805 22.69/22.79 c 12.2421 48.0273 4799 214319 22.69/22.79 o 800 22.79/22.82 c 12.2581 48.0273 4816 214578 22.79/22.82 o 796 22.79/22.83 c 12.2681 48.0273 4828 214779 22.79/22.83 o 794 22.79/22.84 c 12.2751 48.0273 4830 214897 22.79/22.84 o 793 22.79/22.85 c 12.2801 48.0273 4832 215104 22.79/22.85 o 792 23.39/23.41 c 12.5451 48.0273 5290 216403 23.39/23.41 o 790 23.49/23.53 c 12.6131 48.0273 5408 216812 23.49/23.53 o 789 23.49/23.57 c 12.6341 48.0273 5441 216995 23.49/23.57 o 788 23.79/23.81 c 12.7571 48.0273 5673 217913 23.79/23.81 o 787 23.79/23.83 c 12.7681 48.0273 5702 218087 23.79/23.83 o 785 23.89/23.94 c 12.83 48.0273 5853 218555 23.89/23.94 o 784 23.89/23.97 c 12.847 48.0273 5881 218861 23.89/23.97 o 782 24.10/24.10 c 12.917 48.0273 5986 219381 24.10/24.10 o 780 24.10/24.13 c 12.933 48.0273 6006 219939 24.10/24.13 o 778 24.10/24.15 c 12.941 48.0273 6009 220223 24.10/24.15 o 777 24.10/24.16 c 12.945 48.0273 6011 220494 24.10/24.16 o 776 24.10/24.20 c 12.968 48.0273 6050 220921 24.10/24.20 o 775 24.39/24.42 c 13.087 48.0273 6227 221458 24.39/24.42 o 774 24.59/24.68 c 13.23 48.0273 6461 222206 24.59/24.68 o 772 24.69/24.70 c 13.24 48.0273 6478 222386 24.69/24.70 o 771 24.79/24.85 c 13.321 48.0273 6607 222823 24.79/24.85 o 770 24.79/24.87 c 13.332 48.0273 6618 223014 24.79/24.87 o 769 24.79/24.88 c 13.347 48.0273 6624 223118 24.79/24.88 o 768 24.90/24.98 c 13.401 48.0273 6692 223342 24.90/24.98 o 767 25.09/25.11 c 13.483 48.0273 6795 223708 25.09/25.11 o 766 25.09/25.12 c 13.4949 48.0273 6810 223844 25.09/25.12 o 765 25.20/25.22 c 13.5379 48.0273 6888 224138 25.20/25.22 o 764 25.30/25.32 c 13.6019 48.0273 3506 224561 25.30/25.32 o 762 25.30/25.33 c 13.6089 48.0273 3514 224712 25.30/25.33 o 761 25.30/25.34 c 13.6199 48.0273 3517 224953 25.30/25.34 o 760 25.30/25.36 c 13.6319 48.0273 3530 225095 25.30/25.36 o 758 25.39/25.46 c 13.6969 48.0273 3625 225558 25.39/25.46 o 756 25.39/25.49 c 13.7139 48.0273 3649 225727 25.39/25.49 o 754 25.49/25.51 c 13.7269 48.0273 3656 226216 25.49/25.51 o 753 25.59/25.69 c 13.8329 48.0273 3862 227223 25.59/25.69 o 748 25.69/25.73 c 13.8549 48.0273 3878 227446 25.69/25.73 o 747 25.79/25.85 c 13.9289 48.0273 4016 228054 25.79/25.85 o 745 26.09/26.18 c 14.1049 48.0273 4342 229053 26.09/26.18 o 743 26.30/26.37 c 14.2008 48.0273 4473 229573 26.30/26.37 o 740 26.30/26.40 c 14.2118 48.0273 4485 229832 26.30/26.40 o 738 26.40/26.42 c 14.2228 48.0273 4498 230081 26.40/26.42 o 735 26.40/26.46 c 14.2368 48.0273 4522 230319 26.40/26.46 o 733 26.49/26.53 c 14.2728 48.0273 4569 230537 26.49/26.53 o 731 26.49/26.59 c 14.3128 48.0273 4636 230806 26.49/26.59 o 729 26.59/26.66 c 14.3508 48.0273 4714 231184 26.59/26.66 o 726 26.69/26.78 c 14.4068 48.0273 4803 231499 26.69/26.78 o 725 26.79/26.89 c 14.4618 48.0273 4912 231933 26.79/26.89 o 724 26.89/26.95 c 14.4818 48.0273 4953 232216 26.89/26.95 o 720 27.29/27.31 c 14.6548 48.0273 5271 233198 27.29/27.31 o 719 27.29/27.32 c 14.6638 48.0273 5274 233367 27.29/27.32 o 717 27.29/27.35 c 14.6818 48.0273 5290 233578 27.29/27.35 o 715 27.29/27.37 c 14.6918 48.0273 5311 233889 27.29/27.37 o 713 27.40/27.42 c 14.7158 48.0273 5348 234054 27.40/27.42 o 711 27.40/27.43 c 14.7208 48.0273 5353 234319 27.40/27.43 o 710 27.40/27.49 c 14.7458 48.0273 5415 234650 27.40/27.49 o 709 27.50/27.51 c 14.7548 48.0273 5419 234891 27.50/27.51 o 708 27.50/27.53 c 14.7688 48.0273 5429 235138 27.50/27.53 o 705 27.50/27.55 c 14.7828 48.0273 5443 235450 27.50/27.55 o 703 27.50/27.58 c 14.7957 48.0273 5463 235671 27.50/27.58 o 699 27.70/27.71 c 14.8697 48.0273 5570 236148 27.70/27.71 o 698 27.70/27.74 c 14.8847 48.0273 5581 236421 27.70/27.74 o 692 27.70/27.77 c 14.8997 48.0273 5595 236698 27.70/27.77 o 689 27.79/27.89 c 14.9597 48.0273 5722 237163 27.79/27.89 o 687 27.90/27.98 c 15.0037 48.0273 5815 237523 27.90/27.98 o 686 28.00/28.00 c 15.0157 48.0273 5824 237624 28.00/28.00 o 684 28.19/28.26 c 15.1467 48.0273 6043 238575 28.19/28.26 o 676 28.29/28.39 c 15.2177 48.0273 6169 238991 28.29/28.39 o 675 28.79/28.83 c 15.4227 48.0273 6491 239931 28.79/28.83 o 672 29.09/29.15 c 15.5746 48.0273 6740 240970 29.09/29.15 o 670 29.19/29.29 c 15.6436 48.0273 6881 241564 29.19/29.29 o 669 29.30/29.30 c 15.6516 48.0273 6885 241804 29.30/29.30 o 667 29.30/29.38 c 15.6896 48.0273 6942 242074 29.30/29.38 o 662 29.39/29.41 c 15.7006 48.0273 6958 242324 29.39/29.41 o 659 29.39/29.47 c 15.7376 48.0273 3507 242514 29.39/29.47 o 658 29.49/29.52 c 15.7696 48.0273 3568 242705 29.49/29.52 o 657 29.49/29.56 c 15.7876 48.0273 3602 242969 29.49/29.56 o 653 29.60/29.61 c 15.8206 48.0273 3637 243223 29.60/29.61 o 649 29.70/29.72 c 15.8806 48.0273 3710 243504 29.70/29.72 o 648 29.79/29.89 c 15.9646 48.0273 3875 244132 29.79/29.89 o 644 29.89/29.94 c 15.9926 48.0273 3907 244380 29.89/29.94 o 642 29.89/29.99 c 16.0196 48.0273 3948 244609 29.89/29.99 o 639 29.99/30.08 c 16.0646 48.0273 4065 244983 29.99/30.08 o 638 29.99/30.09 c 16.0706 48.0273 4067 245112 29.99/30.09 o 637 30.09/30.10 c 16.0776 48.0273 4070 245261 30.09/30.10 o 636 30.09/30.12 c 16.0926 48.0273 4087 245454 30.09/30.12 o 634 30.09/30.14 c 16.0976 48.0273 4095 245743 30.09/30.14 o 632 30.09/30.15 c 16.1036 48.0273 4097 245930 30.09/30.15 o 630 30.09/30.16 c 16.1095 48.0273 4097 246039 30.09/30.16 o 628 30.09/30.16 c 16.1136 48.0273 4097 246113 30.09/30.16 o 627 30.09/30.17 c 16.1195 48.0273 4097 246245 30.09/30.17 o 622 30.09/30.18 c 16.1265 48.0273 4097 246315 30.09/30.18 o 620 30.09/30.19 c 16.1345 48.0273 4102 246436 30.09/30.19 o 617 30.29/30.35 c 16.2185 48.0273 4262 247099 30.29/30.35 o 614 30.39/30.42 c 16.2475 48.0273 4302 247290 30.39/30.42 o 613 30.39/30.46 c 16.2675 48.0273 4328 247413 30.39/30.46 o 612 30.39/30.47 c 16.2765 48.0273 4332 247596 30.39/30.47 o 611 30.39/30.49 c 16.2845 48.0273 4337 247847 30.39/30.49 o 609 30.60/30.69 c 16.3845 48.0273 4527 248611 30.60/30.69 o 608 30.69/30.70 c 16.3905 48.0273 4527 248720 30.69/30.70 o 606 30.69/30.71 c 16.3955 48.0273 4527 248804 30.69/30.71 o 605 30.69/30.79 c 16.4365 48.0273 4580 249016 30.69/30.79 o 604 30.80/30.90 c 16.4885 48.0273 4683 249378 30.80/30.90 o 601 30.89/30.98 c 16.5325 48.0273 4745 249558 30.89/30.98 o 600 30.99/31.04 c 16.5635 48.0273 4777 249777 30.99/31.04 o 596 31.50/31.50 c 16.8024 48.0273 5189 251096 31.50/31.50 o 594 31.50/31.51 c 16.8084 48.0273 5192 251234 31.50/31.51 o 592 31.50/31.52 c 16.8164 48.0273 5194 251448 31.50/31.52 o 589 31.50/31.56 c 16.8394 48.0273 5217 251628 31.50/31.56 o 587 31.79/31.82 c 16.9954 48.0273 5425 252383 31.79/31.82 o 586 31.79/31.88 c 17.0264 48.0273 5467 252583 31.79/31.88 o 584 32.29/32.30 c 17.2734 48.0273 5787 253629 32.29/32.30 o 581 32.29/32.35 c 17.3044 48.0273 5835 253853 32.29/32.35 o 579 32.39/32.43 c 17.3434 48.0273 5910 254185 32.39/32.43 o 578 32.49/32.59 c 17.4263 48.0273 6025 254550 32.49/32.59 o 577 32.60/32.68 c 17.4713 48.0273 6100 254896 32.60/32.68 o 576 32.79/32.80 c 17.5453 48.0273 6215 255528 32.79/32.80 o 574 32.79/32.82 c 17.5563 48.0273 6234 255689 32.79/32.82 o 573 33.19/33.24 c 17.7863 48.0273 6591 256951 33.19/33.24 o 571 33.29/33.37 c 17.8543 48.0273 6705 257446 33.29/33.37 o 570 33.29/33.38 c 17.8603 48.0273 6708 257561 33.29/33.38 o 569 34.39/34.42 c 18.3972 48.1562 3835 259865 34.39/34.42 o 567 34.39/34.44 c 18.4062 48.1562 3840 259978 34.39/34.44 o 566 34.39/34.45 c 18.4112 48.1562 3845 260150 34.39/34.45 o 564 34.39/34.47 c 18.4182 48.1562 3853 260300 34.39/34.47 o 561 34.49/34.52 c 18.4462 48.1562 3890 260528 34.49/34.52 o 559 35.10/35.13 c 18.7312 48.1562 4413 261965 35.10/35.13 o 556 35.10/35.15 c 18.7442 48.1562 4436 262165 35.10/35.15 o 554 35.10/35.17 c 18.7541 48.1562 4441 262317 35.10/35.17 o 550 35.10/35.20 c 18.7701 48.1562 4456 262479 35.10/35.20 o 547 35.20/35.24 c 18.7861 48.1562 4473 262783 35.20/35.24 o 546 35.20/35.29 c 18.8091 48.1562 4525 263005 35.20/35.29 o 544 35.49/35.58 c 18.9621 48.1562 4752 263690 35.49/35.58 o 542 35.59/35.67 c 19.0201 48.1562 4815 263897 35.59/35.67 o 541 35.69/35.72 c 19.0451 48.1562 4837 264007 35.69/35.72 o 540 35.69/35.73 c 19.0551 48.1562 4844 264109 35.69/35.73 o 539 35.69/35.75 c 19.0751 48.1562 4857 264283 35.69/35.75 o 535 35.89/35.99 c 19.1791 48.1562 5017 264816 35.89/35.99 o 534 36.19/36.21 c 19.2801 48.1562 5199 265439 36.19/36.21 o 532 36.19/36.23 c 19.2911 48.1562 5207 265744 36.19/36.23 o 530 36.19/36.24 c 19.2991 48.1562 5219 265929 36.19/36.24 o 528 36.19/36.29 c 19.3311 48.1562 5261 266101 36.19/36.29 o 527 36.30/36.30 c 19.3371 48.1562 5268 266270 36.30/36.30 o 526 36.50/36.56 c 19.468 48.1562 5449 266981 36.50/36.56 o 522 36.50/36.57 c 19.477 48.1562 5454 267049 36.50/36.57 o 521 36.69/36.76 c 19.583 48.1562 5585 267413 36.69/36.76 o 519 36.99/37.04 c 19.714 48.1562 5753 267997 36.99/37.04 o 517 36.99/37.08 c 19.738 48.1562 5781 268164 36.99/37.08 o 516 37.09/37.15 c 19.771 48.1562 5820 268310 37.09/37.15 o 514 37.09/37.19 c 19.786 48.1562 5857 268502 37.09/37.19 o 513 37.19/37.25 c 19.817 48.1562 5896 268696 37.19/37.25 o 512 37.30/37.36 c 19.874 48.1562 5965 269078 37.30/37.36 o 510 37.30/37.37 c 19.882 48.1562 5971 269223 37.30/37.37 o 508 37.40/37.42 c 19.901 48.1562 6005 269374 37.40/37.42 o 507 37.40/37.49 c 19.939 48.1562 6078 269712 37.40/37.49 o 505 37.50/37.51 c 19.945 48.1562 6085 269840 37.50/37.51 o 504 37.50/37.52 c 19.951 48.1562 6090 270042 37.50/37.52 o 502 37.50/37.57 c 19.974 48.1562 6118 270202 37.50/37.57 o 500 37.59/37.69 c 20.036 48.1562 6213 270636 37.59/37.69 o 499 37.69/37.71 c 20.049 48.1562 6230 270841 37.69/37.71 o 497 37.69/37.74 c 20.0659 48.1562 6258 270968 37.69/37.74 o 496 38.00/38.03 c 20.2279 48.1562 6493 271711 38.00/38.03 o 495 38.00/38.04 c 20.2349 48.1562 6498 271880 38.00/38.04 o 492 38.00/38.08 c 20.2559 48.1562 6525 272057 38.00/38.08 o 490 38.09/38.14 c 20.2889 48.1562 6565 272304 38.09/38.14 o 489 38.09/38.16 c 20.2989 48.1562 6578 272584 38.09/38.16 o 485 38.09/38.19 c 20.3189 48.1562 6599 272735 38.09/38.19 o 483 38.19/38.20 c 20.3279 48.1562 6606 272844 38.19/38.20 o 481 38.29/38.30 c 20.3809 48.1562 6709 273279 38.29/38.30 o 479 38.29/38.32 c 20.3919 48.1562 6717 273475 38.29/38.32 o 476 38.29/38.33 c 20.4039 48.1562 6727 273597 38.29/38.33 o 475 38.29/38.35 c 20.4179 48.1562 6741 273825 38.29/38.35 o 471 38.40/38.47 c 20.4919 48.1562 6831 274167 38.40/38.47 o 468 38.49/38.54 c 20.5349 48.1562 6894 274374 38.49/38.54 o 466 38.59/38.60 c 20.5679 48.1562 6951 274765 38.59/38.60 o 464 38.59/38.62 c 20.5789 48.1562 6959 274945 38.59/38.62 o 459 38.59/38.64 c 20.5999 48.1562 6975 275061 38.59/38.64 o 458 38.59/38.67 c 20.6199 48.1562 6996 275242 38.59/38.67 o 457 38.70/38.70 c 20.6319 48.1562 7024 275442 38.70/38.70 o 456 38.80/38.83 c 20.7218 48.1562 3588 275920 38.80/38.83 o 453 38.89/38.98 c 20.8128 48.1562 3700 276370 38.89/38.98 o 451 38.99/39.03 c 20.8458 48.1562 3735 276579 38.99/39.03 o 448 38.99/39.07 c 20.8588 48.1562 3762 276784 38.99/39.07 o 447 38.99/39.08 c 20.8668 48.1562 3767 276965 38.99/39.08 o 445 39.09/39.10 c 20.8788 48.1562 3779 277076 39.09/39.10 o 443 39.19/39.26 c 20.9558 48.1562 3912 277524 39.19/39.26 o 442 39.19/39.29 c 20.9748 48.1562 3934 277690 39.19/39.29 o 441 39.29/39.33 c 20.9958 48.1562 3960 277972 39.29/39.33 o 435 39.29/39.34 c 21.0048 48.1562 3961 278078 39.29/39.34 o 433 39.29/39.35 c 21.0068 48.1562 3962 278155 39.29/39.35 o 432 39.29/39.38 c 21.0238 48.1562 3982 278300 39.29/39.38 o 430 39.39/39.45 c 21.0588 48.1562 4091 278661 39.39/39.45 o 429 39.39/39.48 c 21.0788 48.1562 4116 278895 39.39/39.48 o 427 39.49/39.51 c 21.0918 48.1562 4127 279105 39.49/39.51 o 426 39.60/39.62 c 21.1588 48.1562 4221 279418 39.60/39.62 o 424 39.69/39.71 c 21.2108 48.1562 4309 279726 39.69/39.71 o 423 39.69/39.72 c 21.2188 48.1562 4315 279783 39.69/39.72 o 422 39.69/39.78 c 21.2458 48.1562 4346 279966 39.69/39.78 o 421 40.09/40.11 c 21.4067 48.1562 4653 280934 40.09/40.11 o 419 40.20/40.20 c 21.4547 48.1562 4706 281214 40.20/40.20 o 417 40.30/40.31 c 21.5237 48.1562 4789 281565 40.30/40.31 o 413 40.30/40.38 c 21.5607 48.1562 4834 281773 40.30/40.38 o 412 40.39/40.46 c 21.5967 48.1562 4892 282178 40.39/40.46 o 410 40.59/40.62 c 21.6847 48.1562 5016 282586 40.59/40.62 o 407 40.59/40.65 c 21.7017 48.1562 5044 282754 40.59/40.65 o 405 40.69/40.77 c 21.7677 48.1562 5158 283086 40.69/40.77 o 404 40.69/40.78 c 21.7757 48.1562 5168 283220 40.69/40.78 o 403 40.79/40.85 c 21.8137 48.1562 5217 283494 40.79/40.85 o 401 40.89/40.90 c 21.8407 48.2852 5260 283722 40.89/40.90 o 400 40.99/41.07 c 21.9277 48.2852 5367 284102 40.99/41.07 o 398 41.09/41.10 c 21.9397 48.2852 5380 284187 41.09/41.10 o 397 41.09/41.11 c 21.9457 48.2852 5385 284343 41.09/41.11 o 393 41.09/41.12 c 21.9517 48.2852 5388 284455 41.09/41.12 o 392 41.09/41.13 c 21.9577 48.2852 5393 284607 41.09/41.13 o 390 41.09/41.18 c 21.9757 48.2852 5418 284806 41.09/41.18 o 389 41.30/41.31 c 22.0456 48.2852 5524 285498 41.30/41.31 o 385 41.30/41.39 c 22.0916 48.2852 5578 285917 41.30/41.39 o 384 41.39/41.41 c 22.1006 48.2852 5593 286064 41.39/41.41 o 383 41.39/41.45 c 22.1196 48.2852 5615 286180 41.39/41.45 o 382 41.69/41.74 c 22.2786 48.2852 5843 286851 41.69/41.74 o 379 41.79/41.81 c 22.3136 48.2852 5883 287082 41.79/41.81 o 375 41.89/41.90 c 22.3546 48.2852 5948 287351 41.89/41.90 o 371 41.89/41.95 c 22.3886 48.2852 5996 287610 41.89/41.95 o 370 41.99/42.00 c 22.4136 48.2852 6025 287745 41.99/42.00 o 369 41.99/42.05 c 22.4366 48.2852 6051 287952 41.99/42.05 o 366 41.99/42.08 c 22.4546 48.2852 6068 288104 41.99/42.08 o 365 42.09/42.13 c 22.4936 48.2852 6140 288405 42.09/42.13 o 363 42.09/42.16 c 22.5116 48.2852 6167 288596 42.09/42.16 o 362 42.20/42.26 c 22.5606 48.2852 6256 288931 42.20/42.26 o 359 42.20/42.28 c 22.5736 48.2852 6290 289069 42.20/42.28 o 358 42.39/42.44 c 22.6466 48.2852 6392 289425 42.39/42.44 o 357 42.39/42.45 c 22.6536 48.2852 6395 289572 42.39/42.45 o 355 42.39/42.48 c 22.6646 48.2852 6406 289763 42.39/42.48 o 353 42.49/42.51 c 22.6816 48.2852 6434 290065 42.49/42.51 o 349 42.59/42.63 c 22.7505 48.2852 6555 290503 42.59/42.63 o 348 42.59/42.66 c 22.7635 48.2852 6570 290596 42.59/42.66 o 347 42.59/42.68 c 22.7735 48.2852 6581 290723 42.59/42.68 o 346 42.80/42.87 c 22.8705 48.2852 6712 291328 42.80/42.87 o 342 42.90/42.98 c 22.9245 48.2852 6811 291640 42.90/42.98 o 338 42.99/43.07 c 22.9655 48.2852 6877 292023 42.99/43.07 o 337 43.09/43.18 c 23.0255 48.2852 6959 292386 43.09/43.18 o 336 43.19/43.23 c 23.0605 48.2852 6996 292527 43.19/43.23 o 335 43.19/43.24 c 23.0665 48.2852 6998 292704 43.19/43.24 o 331 43.19/43.25 c 23.0725 48.2852 6998 292780 43.19/43.25 o 330 43.19/43.29 c 23.0965 48.2852 7019 293007 43.19/43.29 o 328 43.29/43.31 c 23.1105 48.2852 7039 293175 43.29/43.31 o 324 43.29/43.35 c 23.1315 48.2852 7071 293435 43.29/43.35 o 323 43.29/43.38 c 23.1565 48.2852 7124 293595 43.29/43.38 o 322 43.39/43.43 c 23.1795 48.2852 7185 293902 43.39/43.43 o 321 43.39/43.45 c 23.1955 48.2852 3614 294070 43.39/43.45 o 320 43.59/43.66 c 23.2945 48.2852 3810 294754 43.59/43.66 o 319 43.80/43.89 c 23.4204 48.2852 4033 295338 43.80/43.89 o 318 43.90/43.99 c 23.4724 48.2852 4148 295781 43.90/43.99 o 316 44.00/44.02 c 23.4844 48.2852 4168 295927 44.00/44.02 o 315 44.00/44.08 c 23.5164 48.2852 4218 296202 44.00/44.08 o 314 44.00/44.10 c 23.5274 48.2852 4225 296311 44.00/44.10 o 312 44.09/44.12 c 23.5394 48.2852 4236 296504 44.09/44.12 o 311 44.19/44.24 c 23.6134 48.2852 4330 296736 44.19/44.24 o 310 44.19/44.28 c 23.6264 48.2852 4351 296904 44.19/44.28 o 307 44.29/44.32 c 23.6504 48.2852 4394 297068 44.29/44.32 o 306 44.29/44.34 c 23.6644 48.2852 4411 297184 44.29/44.34 o 304 44.29/44.35 c 23.6734 48.2852 4417 297304 44.29/44.35 o 303 44.29/44.37 c 23.6854 48.2852 4426 297403 44.29/44.37 o 301 44.59/44.60 c 23.8124 48.2852 4603 297959 44.59/44.60 o 300 44.79/44.80 c 23.9284 48.2852 4773 298488 44.79/44.80 o 298 44.79/44.87 c 23.9694 48.2852 4824 298642 44.79/44.87 o 297 44.79/44.89 c 23.9814 48.2852 4836 298812 44.79/44.89 o 292 44.89/44.96 c 24.0263 48.2852 4909 299085 44.89/44.96 o 290 44.89/44.97 c 24.0363 48.2852 4915 299164 44.89/44.97 o 289 44.89/44.98 c 24.0403 48.2852 4916 299226 44.89/44.98 o 288 44.89/44.99 c 24.0453 48.2852 4916 299264 44.89/44.99 o 287 44.89/45.00 c 24.0513 48.2852 4917 299351 44.89/45.00 o 285 45.00/45.08 c 24.1053 48.2852 4979 299582 45.00/45.08 o 283 45.19/45.23 c 24.2113 48.2852 5114 300066 45.19/45.23 o 281 45.19/45.24 c 24.2193 48.2852 5114 300110 45.19/45.24 o 280 45.19/45.25 c 24.2253 48.2852 5114 300149 45.19/45.25 o 279 45.19/45.25 c 24.2313 48.2852 5115 300206 45.19/45.25 o 277 45.19/45.26 c 24.2363 48.2852 5116 300265 45.19/45.26 o 276 45.29/45.33 c 24.2783 48.2852 5171 300496 45.29/45.33 o 275 45.50/45.52 c 24.3943 48.2852 5328 301046 45.50/45.52 o 274 45.50/45.55 c 24.4143 48.2852 5356 301158 45.50/45.55 o 273 45.50/45.59 c 24.4413 48.2852 5387 301329 45.50/45.59 o 271 45.59/45.65 c 24.4663 48.2852 5419 301496 45.59/45.65 o 269 45.59/45.66 c 24.4753 48.2852 5426 301553 45.59/45.66 o 268 45.69/45.70 c 24.4923 48.2852 5445 301742 45.69/45.70 o 265 45.69/45.73 c 24.5103 48.2852 5460 301871 45.69/45.73 o 264 45.69/45.74 c 24.5153 48.2852 5464 301914 45.69/45.74 o 263 45.69/45.76 c 24.5333 48.2852 5481 302021 45.69/45.76 o 262 45.69/45.79 c 24.5523 48.2852 5494 302094 45.69/45.79 o 260 46.00/46.02 c 24.6792 48.2852 5702 302681 46.00/46.02 o 259 46.00/46.03 c 24.6832 48.2852 5687 302732 46.00/46.03 o 257 46.00/46.03 c 24.6882 48.2852 5687 302795 46.00/46.03 o 256 46.00/46.04 c 24.6942 48.2852 5688 302842 46.00/46.04 o 254 46.00/46.05 c 24.6972 48.2852 5690 302908 46.00/46.05 o 251 46.29/46.32 c 24.8552 48.2852 5875 303293 46.29/46.32 o 250 46.29/46.34 c 24.8702 48.2852 5893 303459 46.29/46.34 o 249 46.39/46.43 c 24.9172 48.2852 5956 303690 46.39/46.43 o 247 46.39/46.46 c 24.9402 48.2852 5971 303785 46.39/46.46 o 246 46.49/46.55 c 24.9862 48.2852 6031 303988 46.49/46.55 o 245 46.70/46.70 c 25.0752 48.2852 6154 304340 46.70/46.70 o 244 46.70/46.76 c 25.1052 48.2852 6206 304578 46.70/46.76 o 242 46.79/46.81 c 25.1412 48.2852 6256 304825 46.79/46.81 o 240 46.79/46.82 c 25.1502 48.2852 6260 304934 46.79/46.82 o 236 46.79/46.83 c 25.1562 48.2852 6263 305028 46.79/46.83 o 235 46.79/46.85 c 25.1672 48.2852 6271 305154 46.79/46.85 o 234 46.79/46.88 c 25.1822 48.2852 6292 305231 46.79/46.88 o 233 46.99/47.05 c 25.2672 48.2852 6400 305570 46.99/47.05 o 231 46.99/47.05 c 25.2722 48.2852 6400 305627 46.99/47.05 o 229 46.99/47.06 c 25.2762 48.2852 6401 305686 46.99/47.06 o 228 47.09/47.10 c 25.3022 48.2852 6429 305769 47.09/47.10 o 227 47.09/47.14 c 25.3231 48.2852 6460 305987 47.09/47.14 o 226 47.09/47.15 c 25.3321 48.2852 6463 306081 47.09/47.15 o 224 47.09/47.16 c 25.3411 48.2852 6467 306173 47.09/47.16 o 223 47.09/47.17 c 25.3451 48.2852 6467 306238 47.09/47.17 o 221 47.09/47.18 c 25.3491 48.2852 6467 306290 47.09/47.18 o 219 47.09/47.18 c 25.3551 48.2852 6468 306348 47.09/47.18 o 217 47.09/47.19 c 25.3591 48.2852 6468 306389 47.09/47.19 o 216 47.09/47.20 c 25.3641 48.2852 6468 306449 47.09/47.20 o 214 47.20/47.21 c 25.3691 48.2852 6468 306498 47.20/47.21 o 212 47.20/47.26 c 25.3971 48.2852 6506 306716 47.20/47.26 o 209 47.30/47.31 c 25.4271 48.2852 6557 306889 47.30/47.31 o 208 47.49/47.52 c 25.5401 48.2852 6700 307304 47.49/47.52 o 207 47.49/47.57 c 25.5761 48.2852 6722 307476 47.49/47.57 o 206 47.49/47.59 c 25.5851 48.2852 6728 307598 47.49/47.59 o 205 47.60/47.63 c 25.6071 48.2852 6766 307745 47.60/47.63 o 204 47.69/47.71 c 25.6501 48.4141 6808 307866 47.69/47.71 o 203 47.79/47.83 c 25.7101 48.4141 6907 308323 47.79/47.83 o 199 47.90/47.92 c 25.7581 48.4141 6999 308553 47.90/47.92 o 198 47.90/47.94 c 25.7701 48.4141 7009 308660 47.90/47.94 o 197 47.90/47.96 c 25.7791 48.4141 7015 308817 47.90/47.96 o 195 47.90/47.99 c 25.7951 48.4141 7050 309052 47.90/47.99 o 193 47.99/48.02 c 25.8171 48.4141 7080 309272 47.99/48.02 o 192 47.99/48.04 c 25.8281 48.4141 7092 309419 47.99/48.04 o 191 47.99/48.05 c 25.8401 48.4141 7103 309634 47.99/48.05 o 188 48.09/48.13 c 25.8791 48.4141 7155 309834 48.09/48.13 o 185 48.20/48.20 c 25.9141 48.4141 7203 310216 48.20/48.20 o 184 48.20/48.23 c 25.9331 48.4141 7234 310292 48.20/48.23 o 183 48.30/48.33 c 25.981 48.4141 3673 310485 48.30/48.33 o 182 48.30/48.37 c 26.005 48.4141 3692 310629 48.30/48.37 o 180 48.30/48.40 c 26.023 48.4141 3709 310691 48.30/48.40 o 179 48.40/48.45 c 26.049 48.4141 3742 311039 48.40/48.45 o 178 48.50/48.59 c 26.121 48.4141 3848 311323 48.50/48.59 o 177 48.59/48.62 c 26.14 48.4141 3853 311386 48.59/48.62 o 176 48.59/48.64 c 26.149 48.4141 3871 311551 48.59/48.64 o 175 48.59/48.68 c 26.177 48.4141 3923 311648 48.59/48.68 o 174 48.70/48.72 c 26.195 48.4141 3946 311802 48.70/48.72 o 173 48.89/48.90 c 26.286 48.4141 4063 312109 48.89/48.90 o 172 48.89/48.92 c 26.304 48.4141 4081 312238 48.89/48.92 o 170 48.99/49.06 c 26.392 48.4141 4199 312576 48.99/49.06 o 169 49.09/49.13 c 26.431 48.4141 4251 312737 49.09/49.13 o 168 49.09/49.15 c 26.437 48.4141 4256 312795 49.09/49.15 o 167 49.20/49.20 c 26.466 48.4141 4279 312932 49.20/49.20 o 165 49.20/49.23 c 26.478 48.4141 4294 312995 49.20/49.23 o 164 49.20/49.29 c 26.512 48.4141 4320 313105 49.20/49.29 o 161 49.29/49.33 c 26.54 48.4141 4350 313190 49.29/49.33 o 160 49.29/49.37 c 26.555 48.4141 4371 313290 49.29/49.37 o 159 49.39/49.44 c 26.597 48.4141 4437 313541 49.39/49.44 o 158 49.39/49.47 c 26.612 48.4141 4453 313710 49.39/49.47 o 153 49.49/49.51 c 26.633 48.4141 4485 313875 49.49/49.51 o 149 49.49/49.54 c 26.6459 48.4141 4499 314041 49.49/49.54 o 148 49.49/49.57 c 26.6629 48.4141 4517 314223 49.49/49.57 o 143 49.59/49.63 c 26.6969 48.4141 4548 314431 49.59/49.63 o 139 49.59/49.68 c 26.7289 48.4141 4572 314544 49.59/49.68 o 138 49.69/49.73 c 26.7539 48.4141 4597 314704 49.69/49.73 o 134 49.69/49.75 c 26.7649 48.4141 4609 314845 49.69/49.75 o 131 49.69/49.76 c 26.7709 48.4141 4612 314884 49.69/49.76 o 130 49.69/49.77 c 26.7769 48.4141 4620 314930 49.69/49.77 o 129 49.80/49.81 c 26.7999 48.4141 4659 315085 49.80/49.81 o 127 49.80/49.86 c 26.8229 48.4141 4681 315252 49.80/49.86 o 124 49.80/49.87 c 26.8299 48.4141 4681 315333 49.80/49.87 o 122 49.80/49.88 c 26.8359 48.4141 4681 315381 49.80/49.88 o 120 49.80/49.88 c 26.8409 48.4141 4681 315409 49.80/49.88 o 119 49.80/49.89 c 26.8439 48.4141 4685 315437 49.80/49.89 o 118 49.89/49.93 c 26.8629 48.4141 4714 315520 49.89/49.93 o 117 49.89/49.99 c 26.8929 48.4141 4747 315736 49.89/49.99 o 115 49.89/49.99 c 26.8999 48.4141 4747 315789 49.89/49.99 o 113 50.00/50.00 c 26.9049 48.4141 4747 315834 50.00/50.00 o 112 50.00/50.01 c 26.9099 48.4141 4747 315891 50.00/50.01 o 109 50.00/50.02 c 26.9149 48.4141 4747 315935 50.00/50.02 o 108 50.00/50.02 c 26.9189 48.4141 4747 315971 50.00/50.02 o 106 50.00/50.03 c 26.9239 48.4141 4748 316011 50.00/50.03 o 104 50.00/50.08 c 26.9459 48.4141 4779 316167 50.00/50.08 o 103 50.09/50.10 c 26.9579 48.4141 4794 316256 50.09/50.10 o 101 50.09/50.11 c 26.9659 48.4141 4799 316366 50.09/50.11 o 100 50.09/50.12 c 26.9699 48.4141 4802 316456 50.09/50.12 o 98 50.09/50.16 c 26.9889 48.4141 4826 316604 50.09/50.16 o 97 50.09/50.17 c 26.9959 48.4141 4835 316707 50.09/50.17 o 96 50.09/50.19 c 27.0069 48.4141 4854 316840 50.09/50.19 o 95 50.29/50.32 c 27.0709 48.4141 4349 317264 50.29/50.32 o 91 50.29/50.33 c 27.0789 48.4141 4355 317368 50.29/50.33 o 90 50.29/50.34 c 27.0889 48.4141 4365 317455 50.29/50.34 o 89 50.39/50.41 c 27.1319 48.4141 4425 317634 50.39/50.41 o 86 50.39/50.44 c 27.1489 48.4141 3784 317742 50.39/50.44 o 85 50.39/50.46 c 27.1579 48.4141 3795 317851 50.39/50.46 o 82 50.39/50.49 c 27.1729 48.4141 3814 317920 50.39/50.49 o 81 50.39/50.50 c 27.1789 48.4141 3824 318030 50.39/50.50 o 77 50.49/50.51 c 27.1889 48.4141 3623 318077 50.49/50.51 o 76 50.49/50.52 c 27.1929 48.4141 3623 318102 50.49/50.52 o 75 50.49/50.53 c 27.2019 48.4141 3627 318174 50.49/50.53 o 73 50.49/50.54 c 27.2079 48.4141 3630 318233 50.49/50.54 o 71 50.49/50.55 c 27.2149 48.4141 3632 318303 50.49/50.55 o 69 50.49/50.55 c 27.2209 48.4141 3635 318405 50.49/50.55 o 68 50.49/50.57 c 27.2289 48.4141 3650 318579 50.49/50.57 o 64 50.49/50.58 c 27.2369 48.4141 3658 318636 50.49/50.58 o 62 50.49/50.59 c 27.2399 48.4141 3658 318650 50.49/50.59 o 61 50.59/50.61 c 27.2529 48.4141 3675 318722 50.59/50.61 o 60 50.59/50.61 c 27.2569 48.4141 1876 318778 50.59/50.61 o 58 50.59/50.62 c 27.2599 48.4141 1876 318828 50.59/50.62 o 57 50.59/50.63 c 27.2619 48.4141 1876 318886 50.59/50.63 o 55 50.59/50.63 c 27.2649 48.4141 1876 318909 50.59/50.63 o 54 50.59/50.64 c 27.2689 48.4141 1876 318953 50.59/50.64 o 53 50.59/50.64 c 27.2729 48.4141 1876 319010 50.59/50.64 o 50 50.59/50.65 c 27.2769 48.4141 1878 319041 50.59/50.65 o 49 50.59/50.66 c 27.2819 48.4141 1879 319093 50.59/50.66 o 48 50.59/50.66 c 27.2849 48.4141 1879 319161 50.59/50.66 o 47 50.59/50.67 c 27.2869 48.4141 1879 319217 50.59/50.67 o 46 50.59/50.67 c 27.2909 48.4141 1879 319264 50.59/50.67 o 44 50.59/50.68 c 27.2959 48.4141 1416 319279 50.59/50.68 o 43 50.59/50.69 c 27.3038 48.4141 1424 319422 50.59/50.69 o 41 50.59/50.69 c 27.3078 48.4141 1427 319553 50.59/50.69 o 37 50.70/50.70 c 27.3118 48.4141 1428 319582 50.70/50.70 o 36 50.70/50.70 c 27.3138 48.4141 1429 319664 50.70/50.70 o 32 50.70/50.72 c 27.3238 48.4141 1444 319716 50.70/50.72 o 31 50.70/50.72 c 27.3268 48.4141 963 319768 50.70/50.72 o 28 50.70/50.72 c 27.3298 48.4141 963 319781 50.70/50.72 o 27 50.70/50.73 c 27.3348 48.4141 966 319883 50.70/50.73 o 23 50.70/50.74 c 27.3388 48.4141 966 319952 50.70/50.74 o 21 50.70/50.74 c 27.3408 48.4141 966 319988 50.70/50.74 o 19 50.70/50.74 c 27.3448 48.4141 968 320017 50.70/50.74 o 18 50.70/50.75 c 27.3488 48.4141 969 320049 50.70/50.75 o 17 50.70/50.76 c 27.3548 48.4141 976 320126 50.70/50.76 o 16 50.70/50.76 c 27.3578 48.4141 534 320200 50.70/50.76 o 12 50.70/50.76 c 27.3618 48.4141 534 320212 50.70/50.76 o 11 50.70/50.77 c 27.3648 48.4141 535 320234 50.70/50.77 o 10 50.70/50.77 c 27.3678 48.4141 535 320248 50.70/50.77 o 9 50.70/50.77 c 27.3708 48.4141 537 320285 50.70/50.77 o 8 50.70/50.78 c 27.3728 48.4141 539 320336 50.70/50.78 o 7 50.70/50.78 c 27.3748 48.4141 539 320417 50.70/50.78 o 4 50.70/50.78 c 27.3768 48.4141 539 320442 50.70/50.78 o 3 50.70/50.78 c 27.3788 48.4141 539 320455 50.70/50.78 o 2 50.70/50.79 c 27.3788 48.4141 541 320457 50.70/50.79 s OPTIMUM FOUND 50.70/50.79 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 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 x3630 x3631 x3632 x3633 x3634 x3635 x3636 x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 x3693 x3694 x3695 x3696 x3697 x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 x3771 x3772 x3773 x3774 x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 x3833 x3834 x3835 x3836 x3837 x3838 x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 x3899 x3900 x3901 x3902 x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 x3968
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698978-1278461998/watcher-2698978-1278461998 -o /tmp/evaluation-result-2698978-1278461998/solver-2698978-1278461998 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698978-1278461998.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 1.99 1.91 4/178 13084 /proc/meminfo: memFree=30584068/32951124 swapFree=67111528/67111528 [pid=13084] ppid=13082 vsize=2136 CPUtime=0 /proc/13084/stat : 13084 (pbct) R 13082 13084 12701 0 -1 4202496 254 0 0 0 0 0 0 0 25 0 1 0 14412716 2187264 174 4089446400 134512640 136422188 4288586832 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/13084/statm: 534 174 144 467 0 65 0 [startup+0.059878 s] /proc/loadavg: 2.00 1.99 1.91 4/178 13084 /proc/meminfo: memFree=30584068/32951124 swapFree=67111528/67111528 [pid=13084] ppid=13082 vsize=2796 CPUtime=0.05 /proc/13084/stat : 13084 (pbct) R 13082 13084 12701 0 -1 4202496 407 0 0 0 5 0 0 0 25 0 1 0 14412716 2863104 327 4089446400 134512640 136422188 4288586832 18446744073709551615 135822034 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/13084/statm: 699 327 144 467 0 230 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2796 [startup+0.100871 s] /proc/loadavg: 2.00 1.99 1.91 4/178 13084 /proc/meminfo: memFree=30584068/32951124 swapFree=67111528/67111528 [pid=13084] ppid=13082 vsize=3324 CPUtime=0.1 /proc/13084/stat : 13084 (pbct) R 13082 13084 12701 0 -1 4202496 530 0 0 0 10 0 0 0 25 0 1 0 14412716 3403776 450 4089446400 134512640 136422188 4288586832 18446744073709551615 135830093 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/13084/statm: 831 450 145 467 0 362 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3324 [startup+0.300836 s] /proc/loadavg: 2.00 1.99 1.91 4/178 13084 /proc/meminfo: memFree=30584068/32951124 swapFree=67111528/67111528 [pid=13084] ppid=13082 vsize=45088 CPUtime=0.29 /proc/13084/stat : 13084 (pbct) R 13082 13084 12701 0 -1 4202496 11207 0 0 0 29 0 0 0 25 0 1 0 14412716 46170112 10501 4089446400 134512640 136422188 4288586832 18446744073709551615 135006950 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13084/statm: 11272 10501 203 467 0 10803 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 45088 [startup+0.700761 s] /proc/loadavg: 2.00 1.99 1.91 4/178 13084 /proc/meminfo: memFree=30584068/32951124 swapFree=67111528/67111528 [pid=13084] ppid=13082 vsize=47988 CPUtime=0.69 /proc/13084/stat : 13084 (pbct) R 13082 13084 12701 0 -1 4202496 11950 0 0 0 61 8 0 0 25 0 1 0 14412716 49139712 11090 4089446400 134512640 136422188 4288586832 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13084/statm: 11997 11090 236 467 0 11528 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 47988 [startup+1.50062 s] /proc/loadavg: 2.00 1.99 1.91 3/179 13085 /proc/meminfo: memFree=30540412/32951124 swapFree=67111528/67111528 [pid=13084] ppid=13082 vsize=47988 CPUtime=1.49 /proc/13084/stat : 13084 (pbct) R 13082 13084 12701 0 -1 4202496 11968 0 0 0 123 26 0 0 18 0 1 0 14412716 49139712 11092 4089446400 134512640 136422188 4288586832 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13084/statm: 11997 11092 237 467 0 11528 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 47988 [startup+3.10036 s] /proc/loadavg: 2.00 1.99 1.91 2/177 13085 /proc/meminfo: memFree=30641944/32951124 swapFree=67111528/67111528 [pid=13084] ppid=13082 vsize=48252 CPUtime=3.09 /proc/13084/stat : 13084 (pbct) R 13082 13084 12701 0 -1 4202496 12075 0 0 0 223 86 0 0 20 0 1 0 14412716 49410048 11154 4089446400 134512640 136422188 4288586832 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13084/statm: 12063 11154 237 467 0 11594 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 48252 [startup+6.30076 s] /proc/loadavg: 2.00 1.99 1.91 3/179 13139 /proc/meminfo: memFree=30576640/32951124 swapFree=67111528/67111528 [pid=13084] ppid=13082 vsize=48780 CPUtime=6.29 /proc/13084/stat : 13084 (pbct) R 13082 13084 12701 0 -1 4202496 12215 0 0 0 388 241 0 0 20 0 1 0 14412716 49950720 11279 4089446400 134512640 136422188 4288586832 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13084/statm: 12195 11279 237 467 0 11726 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 48780 [startup+12.7006 s] /proc/loadavg: 2.00 1.99 1.91 3/179 13139 /proc/meminfo: memFree=30575536/32951124 swapFree=67111528/67111528 [pid=13084] ppid=13082 vsize=49044 CPUtime=12.69 /proc/13084/stat : 13084 (pbct) R 13082 13084 12701 0 -1 4202496 12366 0 0 0 713 556 0 0 20 0 1 0 14412716 50221056 11374 4089446400 134512640 136422188 4288586832 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13084/statm: 12261 11374 237 467 0 11792 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49044 [startup+25.5003 s] /proc/loadavg: 2.00 1.99 1.91 3/179 13140 /proc/meminfo: memFree=30575312/32951124 swapFree=67111528/67111528 [pid=13084] ppid=13082 vsize=49176 CPUtime=25.49 /proc/13084/stat : 13084 (pbct) R 13082 13084 12701 0 -1 4202496 12505 0 0 0 1371 1178 0 0 20 0 1 0 14412716 50356224 11402 4089446400 134512640 136422188 4288586832 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13084/statm: 12294 11402 237 467 0 11825 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 49176 Solver just ended. Dumping a history of the last processes samples [startup+38.301 s] /proc/loadavg: 2.00 1.99 1.91 3/179 13140 /proc/meminfo: memFree=30575136/32951124 swapFree=67111528/67111528 [pid=13084] ppid=13082 vsize=49308 CPUtime=38.29 /proc/13084/stat : 13084 (pbct) R 13082 13084 12701 0 -1 4202496 12690 0 0 0 2037 1792 0 0 19 0 1 0 14412716 50491392 11453 4089446400 134512640 136422188 4288586832 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13084/statm: 12327 11453 237 467 0 11858 0 Current children cumulated CPU time (s) 38.29 Current children cumulated vsize (KiB) 49308 [startup+44.7009 s] /proc/loadavg: 2.00 1.99 1.91 3/179 13140 /proc/meminfo: memFree=30575236/32951124 swapFree=67111528/67111528 [pid=13084] ppid=13082 vsize=49440 CPUtime=44.69 /proc/13084/stat : 13084 (pbct) R 13082 13084 12701 0 -1 4202496 12804 0 0 0 2386 2083 0 0 20 0 1 0 14412716 50626560 11471 4089446400 134512640 136422188 4288586832 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13084/statm: 12360 11471 237 467 0 11891 0 Current children cumulated CPU time (s) 44.69 Current children cumulated vsize (KiB) 49440 [startup+47.9003 s] /proc/loadavg: 2.00 1.99 1.91 3/179 13140 /proc/meminfo: memFree=30575232/32951124 swapFree=67111528/67111528 [pid=13084] ppid=13082 vsize=49572 CPUtime=47.9 /proc/13084/stat : 13084 (pbct) R 13082 13084 12701 0 -1 4202496 12889 0 0 0 2574 2216 0 0 25 0 1 0 14412716 50761728 11493 4089446400 134512640 136422188 4288586832 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13084/statm: 12393 11493 237 467 0 11924 0 Current children cumulated CPU time (s) 47.9 Current children cumulated vsize (KiB) 49572 [startup+49.506 s] /proc/loadavg: 2.00 1.99 1.91 3/179 13140 /proc/meminfo: memFree=30575108/32951124 swapFree=67111528/67111528 [pid=13084] ppid=13082 vsize=49572 CPUtime=49.49 /proc/13084/stat : 13084 (pbct) R 13082 13084 12701 0 -1 4202496 12933 0 0 0 2662 2287 0 0 25 0 1 0 14412716 50761728 11506 4089446400 134512640 136422188 4288586832 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13084/statm: 12393 11506 237 467 0 11924 0 Current children cumulated CPU time (s) 49.49 Current children cumulated vsize (KiB) 49572 [startup+50.3009 s] /proc/loadavg: 2.00 1.99 1.91 3/179 13140 /proc/meminfo: memFree=30575108/32951124 swapFree=67111528/67111528 [pid=13084] ppid=13082 vsize=49572 CPUtime=50.29 /proc/13084/stat : 13084 (pbct) R 13082 13084 12701 0 -1 4202496 12970 0 0 0 2705 2324 0 0 25 0 1 0 14412716 50761728 11513 4089446400 134512640 136422188 4288586832 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13084/statm: 12393 11513 237 467 0 11924 0 Current children cumulated CPU time (s) 50.29 Current children cumulated vsize (KiB) 49572 [startup+50.7008 s] /proc/loadavg: 2.00 1.99 1.91 3/179 13140 /proc/meminfo: memFree=30574984/32951124 swapFree=67111528/67111528 [pid=13084] ppid=13082 vsize=49572 CPUtime=50.7 /proc/13084/stat : 13084 (pbct) R 13082 13084 12701 0 -1 4202496 13003 0 0 0 2731 2339 0 0 25 0 1 0 14412716 50761728 11514 4089446400 134512640 136422188 4288586832 18446744073709551615 134563406 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13084/statm: 12393 11514 237 467 0 11924 0 Current children cumulated CPU time (s) 50.7 Current children cumulated vsize (KiB) 49572 [startup+50.8008 s] /proc/loadavg: 2.00 1.99 1.91 3/179 13140 /proc/meminfo: memFree=30574984/32951124 swapFree=67111528/67111528 [pid=13084] ppid=13082 vsize=48472 CPUtime=50.79 /proc/13084/stat : 13084 (pbct) R 13082 13084 12701 0 -1 4202496 13034 0 0 0 2738 2341 0 0 25 0 1 0 14412716 49635328 11314 4089446400 134512640 136422188 4288586832 18446744073709551615 134710533 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13084/statm: 12118 11314 240 467 0 11649 0 Current children cumulated CPU time (s) 50.79 Current children cumulated vsize (KiB) 48472 Child status: 0 Real time (s): 50.8862 CPU time (s): 50.8873 CPU user time (s): 27.4728 CPU system time (s): 23.4144 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 49572 getrusage(RUSAGE_CHILDREN,...) data: user time used= 27.4728 system time used= 23.4144 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13035 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= 18 involuntary context switches= 35 runsolver used 0.06499 second user time and 0.178972 second system time The end
Begin job on node146 at 2010-07-07 02:19:58 IDJOB=2698978 IDBENCH=79066 IDSOLVER=1212 FILE ID=node146/2698978-1278461998 PBS_JOBID= 11233700 Free space on /tmp= 73832 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/normalized-j3046_4-unsat--soft-66-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2698978-1278461998/watcher-2698978-1278461998 -o /tmp/evaluation-result-2698978-1278461998/solver-2698978-1278461998 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698978-1278461998.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 64f71ed3d387d8d9e46ec44993350335 RANDOM SEED=293162443 node146.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.870 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.74 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.870 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 : 5332.75 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.870 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.82 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.870 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.66 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.870 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.82 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.870 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.75 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.870 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.82 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.870 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30584588 kB Buffers: 109972 kB Cached: 1956820 kB SwapCached: 0 kB Active: 1184600 kB Inactive: 1048152 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30584588 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2388 kB Writeback: 0 kB AnonPages: 166160 kB Mapped: 15552 kB Slab: 70568 kB PageTables: 5348 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 310844 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= 73832 MiB End job on node146 at 2010-07-07 02:20:49