Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 65171982 | 1800.23 | 1800.68 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-UMTS.opb |
MD5SUM | c716bc6c519760d619aa6878c926054c |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 54618714 |
Best CPU time to get the best result obtained on this benchmark | 1800.48 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 31249460 |
Optimality of the best value was proved | NO |
Number of variables | 6402 |
Total number of constraints | 4465 |
Number of constraints which are clauses | 2785 |
Number of constraints which are cardinality constraints (but not clauses) | 1428 |
Number of constraints which are nor clauses,nor cardinality constraints | 252 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 511 |
Number of terms in the objective function | 4170 |
Biggest coefficient in the objective function | 23582998528 |
Number of bits for the biggest coefficient in the objective function | 35 |
Sum of the numbers in the objective function | 2904924551250 |
Number of bits of the sum of numbers in the objective function | 42 |
Biggest number in a constraint | 1024000000000 |
Number of bits of the biggest number in a constraint | 40 |
Biggest sum of numbers in a constraint | 2904924551250 |
Number of bits of the biggest sum of numbers | 42 |
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 bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/433201-1177956296/instance-433201-1177956296.opb 0.00/0.00 c File size is 445658 bytes. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.01/0.08 c Highest Coefficient sum: 2.90492e+12 0.01/0.08 c Parsing was ok!! 0.01/0.08 c Total parsing time: 0.08 s 0.01/0.09 c Var: 6402 Constr: 5929 5503/174/252 Lit: 43374 Watch. Lit: 27944 0.01/0.09 c Obj. Vars: 4170 (65.1359 % of total variables) 0.49/0.52 c Pre-processing Time: 0.525 s 1631.48/1632.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1631.48/1632.00 c 0 3561 1916 33567 17 21314 63522 0 0 0.53 1631.48/1632.00 c 100 3561 2016 62095 30 25463 69875 100 172 0.58 1631.48/1632.00 c 250 3561 2166 106288 49 26240 76863 250 377 0.66 1631.48/1632.00 c 476 3561 2392 162771 68 26347 84550 476 584 0.81 1631.48/1632.00 c 826 3561 2742 230200 83 27289 93006 826 897 0.92 1631.48/1632.00 c 1334 3561 3250 438102 134 28062 102307 1334 1086 1.23 1631.48/1632.00 c 2098 3561 4014 554557 138 29471 112538 2098 1374 1.53 1631.48/1632.00 c 3245 3561 5161 767372 148 31736 123792 3245 1709 1.90 1631.48/1632.00 c 4968 3561 6884 1048054 152 35178 136172 4968 1829 2.71 1631.48/1632.00 c 7553 3561 9469 1394422 147 40226 149790 7553 2114 3.57 1631.48/1632.00 c 11432 3561 13348 2037913 152 47812 164770 11432 2049 5.58 1631.48/1632.00 c 17255 3561 19171 2579515 134 59352 181248 17255 2244 7.69 1631.48/1632.00 c 25992 3561 27908 5363581 192 76724 199373 25992 1368 18.99 1631.48/1632.00 c 39102 3561 41018 6824070 166 102771 219311 39102 1328 29.43 1631.48/1632.00 c 58772 3561 60688 7732327 127 142220 241243 58772 1264 46.50 1631.48/1632.00 c 88282 3561 90198 11651935 129 201736 265368 88282 1183 74.60 1631.48/1632.00 c 132552 3561 134468 15694444 116 290165 291905 132552 980 135.25 1631.48/1632.00 c 198963 3561 200879 58447573 290 423276 321096 198963 250 795.55 1631.48/1632.00 c 298588 3561 300504 79031046 262 622363 353206 298588 183 1626.38 1631.48/1632.00 o 65171982 1631.59 1800.05/1800.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.05/1800.50 c 301289 3561 303206 79585112 262 630203 67608 301290 184 1631.60 1800.05/1800.50 c 301391 3561 16158 2208628 136 55826 74369 14242 171 1758.59 1800.05/1800.50 c 301641 3561 16408 2247574 136 56101 81806 14492 171 1758.75 1800.05/1800.50 c 302116 3561 16883 2298468 136 56780 89987 14967 171 1759.10 1800.05/1800.50 c 302929 3561 17696 2464984 139 58310 98986 15780 172 1759.77 1800.05/1800.50 c 304249 3561 19016 2681366 141 61122 108885 17100 172 1760.26 1800.05/1800.50 c 306331 3561 21098 2894138 137 65057 119774 19182 173 1761.05 1800.05/1800.50 c 309555 3561 24322 3742724 153 71293 131752 22406 175 1763.81 1800.05/1800.50 c 314495 3561 29262 4284046 146 81219 144928 27346 177 1766.96 1800.05/1800.50 c 322002 3561 36769 5601737 152 96043 159421 34853 181 1776.55 1800.05/1800.50 c 333367 3561 48134 6929720 143 118717 175364 46218 186 1784.50 1800.05/1800.50 c Caught signal: 15 1800.05/1800.50 v x1 -x1112 -x5626 -x5737 -x5848 x5959 x6070 -x6181 x6292 -x2 -x113 x224 -x335 x446 x557 x668 -x779 -x890 -x1001 x1113 -x1224 1800.05/1800.50 v x1335 x1446 -x1557 x1668 x1779 x1890 x3066 x4723 -x5627 -x5638 -x5649 -x5660 -x5671 -x5682 -x5693 x5704 -x5715 -x5726 -x5738 1800.05/1800.50 v -x5749 -x5760 -x926 -x927 -x928 -x929 -x930 -x931 -x5771 -x5782 -x5793 -x5804 -x5815 -x5826 -x5837 -x5849 -x5860 x5871 1800.05/1800.50 v -x5882 -x5893 -x932 -x933 -x934 -x936 -x937 -x938 -x5904 -x5915 -x5926 -x5937 -x5948 -x5960 -x5971 -x5982 -x5993 -x6004 1800.05/1800.50 v -x6015 x6026 -x939 -x940 -x941 -x942 -x943 -x944 -x6037 x6048 -x6059 -x6071 -x6082 -x6093 -x6104 -x6115 -x6126 -x6137 -x6148 1800.05/1800.50 v -x6159 -x945 -x947 -x948 -x949 -x950 -x951 -x6170 -x6182 -x6193 -x6204 -x6215 -x6226 -x6237 -x6248 x6259 -x6270 -x6281 1800.05/1800.50 v -x6293 -x952 -x953 -x954 -x955 -x956 -x958 -x6304 x6315 -x6326 -x6337 -x6348 -x6359 -x6370 -x6381 -x6392 -x3 -x14 -x25 -x959 1800.05/1800.50 v -x960 -x961 -x962 -x963 -x964 -x36 -x47 -x58 -x69 -x80 -x91 -x102 -x114 -x125 -x136 -x147 x158 -x965 -x966 -x967 -x969 -x970 1800.05/1800.50 v -x971 -x169 -x180 -x191 -x202 -x213 -x225 -x236 x247 -x258 -x269 -x280 -x291 -x972 -x973 -x974 -x975 -x976 -x977 -x302 -x313 1800.05/1800.50 v -x324 -x336 -x347 -x358 -x369 x380 -x391 -x402 -x413 -x424 -x978 -x980 -x981 -x982 -x983 -x984 -x435 -x447 -x458 x469 -x480 1800.05/1800.50 v -x491 -x502 -x513 -x524 -x535 -x546 -x558 -x985 -x986 -x987 -x988 -x989 -x991 -x569 x580 -x591 -x602 -x613 -x624 -x635 -x646 1800.05/1800.50 v -x657 -x669 -x680 -x691 -x992 -x993 -x994 -x995 -x996 -x997 -x702 -x713 -x724 -x735 -x746 -x757 -x768 -x780 x791 -x802 -x813 1800.05/1800.50 v -x824 -x998 -x999 -x1000 -x1003 -x1004 -x1005 -x835 -x846 -x857 x868 -x879 -x891 -x902 -x913 -x924 -x935 -x946 -x957 -x1006 1800.05/1800.50 v -x1007 -x1008 -x1009 -x1010 -x1011 -x968 x979 -x990 -x1002 -x1013 -x1024 -x1035 -x1046 -x1057 -x1068 -x1079 -x1090 -x1012 1800.05/1800.50 v -x1014 -x1015 -x1016 -x1017 -x1018 -x1101 x1114 -x1125 -x1136 -x1147 -x1158 -x1169 -x1180 -x1191 -x1202 -x1213 -x1225 1800.05/1800.50 v -x1019 -x1020 -x1021 -x1022 -x1023 -x1025 -x1236 -x1247 -x1258 x1269 -x1280 -x1291 -x1302 -x1313 -x1324 -x1336 -x1347 1800.05/1800.50 v -x1358 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1369 -x1380 -x1391 -x1402 -x1413 -x1424 -x1435 -x1447 -x1458 x1469 1800.05/1800.50 v -x1480 -x1491 -x1032 -x1033 -x1034 -x1036 -x1037 -x1038 -x1502 x1513 -x1524 -x1535 -x1546 -x1558 -x1569 -x1580 -x1591 1800.05/1800.50 v -x1602 -x1613 -x1624 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1635 -x1646 -x1657 -x1669 -x1680 -x1691 -x1702 -x1713 1800.05/1800.50 v -x1724 x1735 -x1746 -x1757 -x1045 -x1047 -x1048 -x1049 -x1050 -x1051 -x1768 -x1780 -x1791 -x1802 -x1813 -x1824 -x1835 1800.05/1800.50 v -x1846 -x1857 x1868 -x1879 -x1891 -x1052 -x1053 -x1054 -x1055 -x1056 -x1058 -x1902 x1913 -x1924 -x1992 -x2234 -x2340 -x2544 1800.05/1800.50 v -x2698 -x2854 -x3067 -x3184 -x3435 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x3532 -x3774 -x3880 -x4084 -x4238 -x4394 1800.05/1800.50 v x4606 -x4724 -x4975 -x5072 -x5314 -x5420 -x1065 -x1066 -x1067 -x1069 -x1070 -x1071 -x5621 -x5622 -x5623 -x5624 -x5625 1800.05/1800.50 v -x5628 -x5629 -x5630 -x5631 x5632 -x5633 -x5634 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x5635 -x5636 -x5637 x5639 -x5640 1800.05/1800.50 v -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x1078 -x1080 -x1081 -x1082 -x1083 -x1084 -x5648 -x5650 -x5651 -x5652 1800.05/1800.50 v -x5653 -x5654 -x5655 -x5656 x5657 -x5658 -x5659 -x5661 -x1085 -x1086 -x1087 -x1088 -x1089 -x1091 -x5662 -x5663 -x5664 1800.05/1800.50 v -x5665 -x5666 -x5667 -x5668 x5669 -x5670 -x5672 -x5673 -x5674 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 x5675 -x5676 -x5677 1800.05/1800.50 v -x5678 -x5679 -x5680 -x5681 -x5683 -x5684 -x5685 -x5686 -x5687 -x1098 -x1099 -x1100 -x1102 -x1103 -x1104 -x5688 -x5689 1800.05/1800.50 v -x5690 -x5691 -x5692 -x5694 -x5695 -x5696 -x5697 x5698 -x5699 -x5700 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x5701 1800.05/1800.50 v -x5702 -x5703 -x5705 -x5706 x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x1111 -x1115 -x1116 -x1117 -x1118 -x1119 1800.05/1800.50 v -x5714 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 x5722 -x5723 -x5724 -x5725 -x5727 -x1120 -x1121 -x1122 -x1123 -x1124 1800.05/1800.50 v -x1126 -x5728 x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5739 -x5740 -x5741 -x1127 -x1128 -x1129 -x1130 1800.05/1800.50 v -x1131 -x1132 -x5742 x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5750 -x5751 -x5752 -x5753 -x5754 -x1133 -x1134 -x1135 1800.05/1800.50 v -x1137 -x1138 -x1139 -x5755 -x5756 -x5757 -x5758 -x5759 x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x1140 -x1141 1800.05/1800.50 v -x1142 -x1143 -x1144 -x1145 -x5768 -x5769 -x5770 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 x5778 -x5779 -x5780 -x1146 1800.05/1800.50 v -x1148 -x1149 -x1150 -x1151 -x1152 -x5781 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 x5789 -x5790 -x5791 -x5792 -x5794 1800.05/1800.50 v -x1153 -x1154 -x1155 -x1156 -x1157 -x1159 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 x5805 -x5806 1800.05/1800.50 v -x5807 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5816 -x5817 x5818 1800.05/1800.50 v -x5819 -x5820 -x1166 -x1167 -x1168 -x1170 -x1171 -x1172 -x5821 -x5822 -x5823 -x5824 -x5825 -x5827 -x5828 -x5829 -x5830 1800.05/1800.50 v x5831 -x5832 -x5833 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x5834 -x5835 -x5836 -x5838 -x5839 -x5840 -x5841 x5842 -x5843 1800.05/1800.50 v -x5844 -x5845 -x5846 -x1179 -x1181 -x1182 -x1183 -x1184 -x1185 -x5847 x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 1800.05/1800.50 v -x5857 -x5858 -x5859 -x5861 -x1186 -x1187 -x1188 -x1189 -x1190 -x1192 -x5862 -x5863 -x5864 -x5865 -x5866 x5867 -x5868 1800.05/1800.50 v -x5869 -x5870 -x5872 -x5873 -x5874 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x5875 -x5876 -x5877 x5878 -x5879 -x5880 1800.05/1800.50 v -x5881 -x5883 -x5884 -x5885 -x5886 -x5887 -x1199 -x1200 -x1201 -x1203 -x1204 -x1205 x5888 -x5889 -x5890 -x5891 -x5892 1800.05/1800.50 v -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x5901 x5902 -x5903 -x5905 1800.05/1800.50 v -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x1212 -x1214 -x1215 -x1216 -x1217 -x1218 -x5914 -x5916 -x5917 1800.05/1800.50 v -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 x5924 -x5925 -x5927 -x1219 -x1220 -x1221 -x1222 -x1223 -x1226 -x5928 -x5929 1800.05/1800.50 v -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 x5938 -x5939 -x5940 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x5941 1800.05/1800.50 v -x5942 -x5943 x5944 -x5945 -x5946 -x5947 -x5949 -x5950 -x5951 -x5952 -x5953 -x1233 -x1234 -x1235 -x1237 -x1238 -x1239 1800.05/1800.50 v -x5954 x5955 -x5956 -x5957 -x5958 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x1240 -x1241 -x1242 -x1243 -x1244 1800.05/1800.50 v -x1245 -x5968 x5969 -x5970 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x1246 -x1248 -x1249 -x1250 1800.05/1800.50 v -x1251 -x1252 -x5981 -x5983 x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5994 -x1253 -x1254 -x1255 1800.05/1800.50 v -x1256 -x1257 -x1259 -x5995 x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6005 -x6006 -x6007 -x1260 -x1261 1800.05/1800.50 v -x1262 -x1263 -x1264 -x1265 -x6008 -x6009 -x6010 x6011 -x6012 -x6013 -x6014 -x6016 -x6017 -x6018 -x6019 -x6020 -x1266 1800.05/1800.50 v -x1267 -x1268 -x1270 -x1271 -x1272 -x6021 -x6022 -x6023 -x6024 -x6025 -x6027 -x6028 -x6029 -x6030 x6031 -x6032 -x6033 1800.05/1800.50 v -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x6034 -x6035 -x6036 -x6038 -x6039 -x6040 x6041 -x6042 -x6043 -x6044 -x6045 1800.05/1800.50 v -x6046 -x1279 -x1281 -x1282 -x1283 -x1284 -x1285 x6047 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 1800.05/1800.50 v -x6058 -x6060 -x1286 -x1287 -x1288 -x1289 -x1290 -x1292 -x6061 -x6062 -x6063 x6064 -x6065 -x6066 -x6067 -x6068 -x6069 1800.05/1800.50 v -x6072 -x6073 -x6074 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 x6083 1800.05/1800.50 v -x6084 -x6085 -x6086 -x6087 -x1299 -x1300 -x1301 -x1303 -x1304 -x1305 -x6088 -x6089 x6090 -x6091 -x6092 -x6094 -x6095 1800.05/1800.50 v -x6096 -x6097 -x6098 -x6099 -x6100 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x6101 -x6102 -x6103 -x6105 -x6106 -x6107 1800.05/1800.50 v -x6108 -x6109 -x6110 x6111 -x6112 -x6113 -x1312 -x1314 -x1315 -x1316 -x1317 -x1318 -x6114 -x6116 -x6117 -x6118 -x6119 1800.05/1800.50 v -x6120 -x6121 -x6122 -x6123 x6124 -x6125 -x6127 -x1319 -x1320 -x1321 -x1322 -x1323 -x1325 -x6128 -x6129 -x6130 -x6131 1800.05/1800.50 v -x6132 -x6133 -x6134 -x6135 -x6136 x6138 -x6139 -x6140 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x6141 -x6142 -x6143 1800.05/1800.50 v -x6144 -x6145 -x6146 -x6147 -x6149 x6150 -x6151 -x6152 -x6153 -x1332 -x1333 -x1334 -x1337 -x1338 -x1339 -x6154 -x6155 1800.05/1800.50 v -x6156 -x6157 -x6158 -x6160 -x6161 x6162 -x6163 -x6164 -x6165 -x6166 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x6167 1800.05/1800.50 v -x6168 -x6169 -x6171 -x6172 -x6173 x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x1346 -x1348 -x1349 -x1350 -x1351 -x1352 1800.05/1800.50 v x6180 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6194 -x1353 -x1354 -x1355 -x1356 -x1357 1800.05/1800.50 v -x1359 -x6195 -x6196 -x6197 -x6198 -x6199 x6200 -x6201 -x6202 -x6203 -x6205 -x6206 -x6207 -x1360 -x1361 -x1362 -x1363 1800.05/1800.50 v -x1364 -x1365 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6216 -x6217 -x6218 -x6219 x6220 -x1366 -x1367 -x1368 1800.05/1800.50 v -x1370 -x1371 -x1372 -x6221 -x6222 -x6223 -x6224 -x6225 -x6227 x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x1373 -x1374 1800.05/1800.50 v -x1375 -x1376 -x1377 -x1378 -x6234 -x6235 -x6236 x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x1379 1800.05/1800.50 v -x1381 -x1382 -x1383 -x1384 -x1385 -x6247 -x6249 -x6250 -x6251 -x6252 -x6253 x6254 -x6255 -x6256 -x6257 -x6258 -x6260 1800.05/1800.50 v -x1386 -x1387 -x1388 -x1389 -x1390 -x1392 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 x6269 -x6271 -x6272 1800.05/1800.50 v -x6273 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 x6282 -x6283 -x6284 1800.05/1800.50 v -x6285 -x6286 -x1399 -x1400 -x1401 -x1403 -x1404 -x1405 -x6287 -x6288 -x6289 -x6290 -x6291 -x6294 x6295 -x6296 -x6297 1800.05/1800.50 v -x6298 -x6299 -x6300 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 x6301 -x6302 -x6303 -x6305 -x6306 -x6307 -x6308 -x6309 1800.05/1800.50 v -x6310 -x6311 -x6312 -x6313 -x1412 -x1414 -x1415 -x1416 -x1417 -x1418 -x6314 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 1800.05/1800.50 v -x6322 -x6323 x6324 -x6325 -x6327 -x1419 -x1420 -x1421 -x1422 -x1423 -x1425 -x6328 x6329 -x6330 -x6331 -x6332 -x6333 -x6334 1800.05/1800.50 v -x6335 -x6336 -x6338 -x6339 -x6340 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x6341 x6342 -x6343 -x6344 -x6345 -x6346 1800.05/1800.50 v -x6347 -x6349 -x6350 -x6351 -x6352 -x6353 -x1432 -x1433 -x1434 -x1436 -x1437 -x1438 -x6354 -x6355 -x6356 -x6357 -x6358 1800.05/1800.50 v -x6360 -x6361 -x6362 -x6363 x6364 -x6365 -x6366 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 x6367 -x6368 -x6369 -x6371 -x6372 1800.05/1800.50 v -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x1445 -x1448 -x1449 -x1450 -x1451 -x1452 -x6380 -x6382 -x6383 -x6384 1800.05/1800.50 v -x6385 -x6386 -x6387 -x6388 -x6389 x6390 -x6391 -x6393 -x1453 -x1454 -x1455 -x1456 -x1457 -x1459 -x6394 x6395 -x6396 -x6397 1800.05/1800.50 v -x6398 -x6399 -x6400 -x6401 -x6402 -x4 -x5 -x6 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x15 1800.05/1800.50 v -x16 -x17 -x18 x19 -x1466 -x1467 -x1468 -x1470 -x1471 -x1472 -x20 -x21 -x22 -x23 -x24 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x1473 1800.05/1800.50 v -x1474 -x1475 -x1476 -x1477 -x1478 -x33 -x34 -x35 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x1479 -x1481 -x1482 -x1483 1800.05/1800.50 v -x1484 -x1485 -x46 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 -x59 -x1486 -x1487 -x1488 -x1489 -x1490 -x1492 -x60 -x61 1800.05/1800.50 v -x62 -x63 -x64 -x65 -x66 x67 -x68 -x70 -x71 -x72 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x73 -x74 -x75 -x76 -x77 -x78 -x79 1800.05/1800.50 v x81 -x82 -x83 -x84 -x85 -x1499 -x1500 -x1501 -x1503 -x1504 -x1505 -x86 -x87 -x88 -x89 -x90 x92 -x93 -x94 -x95 -x96 -x97 -x98 1800.05/1800.50 v -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x99 -x100 x101 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x1512 -x1514 1800.05/1800.50 v -x1515 -x1516 -x1517 -x1518 -x112 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x126 -x1519 -x1520 -x1521 1800.05/1800.50 v -x1522 -x1523 -x1525 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x137 -x138 -x139 -x1526 -x1527 -x1528 -x1529 1800.05/1800.50 v -x1530 -x1531 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x148 -x149 x150 -x151 -x152 -x1532 -x1533 -x1534 -x1536 -x1537 1800.05/1800.50 v -x1538 -x153 -x154 -x155 -x156 -x157 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 1800.05/1800.50 v -x166 x167 -x168 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x1545 -x1547 -x1548 -x1549 -x1550 -x1551 -x179 -x181 1800.05/1800.50 v x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x192 -x1552 -x1553 -x1554 -x1555 -x1556 -x1559 -x193 -x194 -x195 -x196 1800.05/1800.50 v -x197 -x198 -x199 -x200 x201 -x203 -x204 -x205 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x206 -x207 -x208 x209 -x210 -x211 1800.05/1800.50 v -x212 -x214 -x215 -x216 -x217 -x218 -x1566 -x1567 -x1568 -x1570 -x1571 -x1572 x219 -x220 -x221 -x222 -x223 -x226 -x227 -x228 1800.05/1800.50 v -x229 -x230 -x231 -x232 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x233 -x234 -x235 -x237 -x238 x239 -x240 -x241 -x242 -x243 1800.05/1800.50 v -x244 -x245 -x1579 -x1581 -x1582 -x1583 -x1584 -x1585 -x246 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 -x259 1800.05/1800.50 v -x1586 -x1587 -x1588 -x1589 -x1590 -x1592 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x270 -x271 -x272 -x1593 1800.05/1800.50 v -x1594 -x1595 -x1596 -x1597 -x1598 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x281 x282 -x283 -x284 -x285 -x1599 -x1600 1800.05/1800.50 v -x1601 -x1603 -x1604 -x1605 -x286 -x287 -x288 -x289 -x290 x292 -x293 -x294 -x295 -x296 -x297 -x298 -x1606 -x1607 -x1608 1800.05/1800.50 v -x1609 -x1610 -x1611 -x299 -x300 -x301 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x1612 -x1614 -x1615 -x1616 1800.05/1800.50 v -x1617 -x1618 -x312 -x314 -x315 -x316 -x317 -x318 -x319 x320 -x321 -x322 -x323 -x325 -x1619 -x1620 -x1621 -x1622 -x1623 1800.05/1800.50 v -x1625 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 -x337 -x338 -x339 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 1800.05/1800.50 v -x340 -x341 -x342 x343 -x344 -x345 -x346 -x348 -x349 -x350 -x351 -x352 -x1632 -x1633 -x1634 -x1636 -x1637 -x1638 -x353 -x354 1800.05/1800.50 v -x355 -x356 -x357 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x366 -x367 -x368 -x370 1800.05/1800.50 v -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x1645 -x1647 -x1648 -x1649 -x1650 -x1651 -x379 x381 -x382 -x383 -x384 -x385 1800.05/1800.50 v -x386 -x387 -x388 -x389 -x390 -x392 -x1652 -x1653 -x1654 -x1655 -x1656 -x1658 -x393 -x394 -x395 -x396 -x397 -x398 -x399 1800.05/1800.50 v -x400 x401 -x403 -x404 -x405 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x406 -x407 -x408 x409 -x410 -x411 -x412 -x414 -x415 1800.05/1800.50 v -x416 -x417 -x418 -x1665 -x1666 -x1667 -x1670 -x1671 -x1672 -x419 -x420 -x421 -x422 -x423 -x425 -x426 x427 -x428 -x429 -x430 1800.05/1800.50 v -x431 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 x432 -x433 -x434 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x1679 1800.05/1800.50 v -x1681 -x1682 -x1683 -x1684 -x1685 -x445 -x448 -x449 x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x459 -x1686 -x1687 1800.05/1800.50 v -x1688 -x1689 -x1690 -x1692 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x470 -x471 -x472 -x1693 -x1694 -x1695 1800.05/1800.50 v -x1696 -x1697 -x1698 -x473 -x474 -x475 -x476 -x477 -x478 -x479 x481 -x482 -x483 -x484 -x485 -x1699 -x1700 -x1701 -x1703 1800.05/1800.50 v -x1704 -x1705 -x486 -x487 -x488 x489 -x490 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x1706 -x1707 -x1708 -x1709 -x1710 1800.05/1800.50 v -x1711 -x499 x500 -x501 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x1712 -x1714 -x1715 -x1716 -x1717 -x1718 1800.05/1800.50 v -x512 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 -x525 -x1719 -x1720 -x1721 -x1722 -x1723 -x1725 -x526 x527 1800.05/1800.50 v -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x536 -x537 -x538 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x539 -x540 -x541 1800.05/1800.50 v -x542 -x543 -x544 -x545 -x547 -x548 -x549 -x550 x551 -x1732 -x1733 -x1734 -x1736 -x1737 -x1738 -x552 -x553 -x554 -x555 -x556 1800.05/1800.50 v x559 -x560 -x561 -x562 -x563 -x564 -x565 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x566 x567 -x568 -x570 -x571 -x572 -x573 1800.05/1800.50 v -x574 -x575 -x576 -x577 -x578 -x1745 -x1747 -x1748 -x1749 -x1750 -x1751 -x579 -x581 -x582 x583 -x584 -x585 -x586 -x587 -x588 1800.05/1800.50 v -x589 -x590 -x592 -x1752 -x1753 -x1754 -x1755 -x1756 -x1758 -x593 -x594 -x595 x596 -x597 -x598 -x599 -x600 -x601 -x603 -x604 1800.05/1800.50 v -x605 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x614 -x615 -x616 -x617 x618 -x1765 1800.05/1800.50 v -x1766 -x1767 -x1769 -x1770 -x1771 -x619 -x620 -x621 x622 -x623 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x1772 -x1773 1800.05/1800.50 v -x1774 -x1775 -x1776 -x1777 -x632 -x633 x634 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x1778 -x1781 -x1782 1800.05/1800.50 v -x1783 -x1784 -x1785 -x645 -x647 -x648 -x649 -x650 -x651 x652 -x653 -x654 -x655 -x656 -x658 -x1786 -x1787 -x1788 -x1789 1800.05/1800.50 v -x1790 -x1792 -x659 -x660 -x661 x662 -x663 -x664 -x665 -x666 -x667 -x670 -x671 -x672 -x1793 -x1794 -x1795 -x1796 -x1797 1800.05/1800.50 v -x1798 -x673 -x674 -x675 x676 -x677 -x678 -x679 -x681 -x682 -x683 -x684 -x685 -x1799 -x1800 -x1801 -x1803 -x1804 -x1805 1800.05/1800.50 v -x686 x687 -x688 -x689 -x690 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x699 -x700 1800.05/1800.50 v -x701 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 x711 -x1812 -x1814 -x1815 -x1816 -x1817 -x1818 -x712 x714 -x715 -x716 1800.05/1800.50 v -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x725 -x1819 -x1820 -x1821 -x1822 -x1823 -x1825 -x726 -x727 -x728 -x729 -x730 1800.05/1800.50 v -x731 -x732 -x733 -x734 -x736 -x737 x738 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x739 -x740 -x741 -x742 -x743 -x744 -x745 1800.05/1800.50 v -x747 -x748 -x749 -x750 x751 -x1832 -x1833 -x1834 -x1836 -x1837 -x1838 -x752 -x753 -x754 -x755 -x756 x758 -x759 -x760 -x761 1800.05/1800.50 v -x762 -x763 -x764 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x765 -x766 -x767 -x769 -x770 -x771 -x772 x773 -x774 -x775 -x776 1800.05/1800.50 v -x777 -x1845 -x1847 -x1848 -x1849 -x1850 -x1851 -x778 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 x789 -x790 -x792 -x1852 1800.05/1800.50 v -x1853 -x1854 -x1855 -x1856 -x1858 -x793 -x794 -x795 -x796 -x797 -x798 -x799 x800 -x801 -x803 -x804 -x805 -x1859 -x1860 1800.05/1800.50 v -x1861 -x1862 -x1863 -x1864 -x806 -x807 -x808 -x809 -x810 -x811 -x812 x814 -x815 -x816 -x817 -x818 -x1865 -x1866 -x1867 1800.05/1800.50 v -x1869 -x1870 -x1871 x819 -x820 -x821 -x822 -x823 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x1872 -x1873 -x1874 -x1875 1800.05/1800.50 v -x1876 -x1877 -x832 x833 -x834 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x1878 -x1880 -x1881 -x1882 -x1883 1800.05/1800.50 v -x1884 -x845 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 x858 -x1885 -x1886 -x1887 -x1888 -x1889 -x1892 1800.05/1800.50 v -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x869 x870 -x871 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x872 -x873 1800.05/1800.50 v -x874 -x875 -x876 -x877 x878 -x880 -x881 -x882 -x883 -x884 -x1899 -x1900 -x1901 -x1903 -x1904 -x1905 -x885 -x886 -x887 -x888 1800.05/1800.50 v -x889 -x892 -x893 x894 -x895 -x896 -x897 -x898 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x899 -x900 -x901 -x903 -x904 -x905 1800.05/1800.50 v -x906 -x907 -x908 -x909 -x910 x911 -x1912 -x1914 -x1915 -x1916 -x1917 -x1918 -x912 -x914 -x915 -x916 -x917 -x918 x919 -x920 1800.05/1800.50 v -x921 -x922 -x923 -x925 -x1919 -x1920 -x1921 -x1922 -x1923 -x1925 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 1800.05/1800.50 v -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 1800.05/1800.50 v -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 1800.05/1800.50 v -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 1800.05/1800.50 v -x1991 -x1993 -x1994 -x1995 x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 1800.05/1800.50 v -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 1800.05/1800.50 v -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 1800.05/1800.50 v -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 1800.05/1800.50 v -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 1800.05/1800.50 v -x2264 x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 1800.05/1800.50 v -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 1800.05/1800.50 v -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 1800.05/1800.50 v -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 1800.05/1800.50 v -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 1800.05/1800.50 v -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 1800.05/1800.50 v -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 1800.05/1800.50 v -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 1800.05/1800.50 v -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 1800.05/1800.50 v -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 x2616 -x2617 -x2618 -x2619 -x2620 -x2621 1800.05/1800.50 v -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 1800.05/1800.50 v -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 1800.05/1800.50 v -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2856 -x2857 -x2858 -x2859 -x2860 1800.05/1800.50 v -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 1800.05/1800.50 v -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 1800.05/1800.50 v -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 1800.05/1800.50 v -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 1800.05/1800.50 v -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 x2942 -x2943 -x2944 -x2945 1800.05/1800.50 v -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 1800.05/1800.50 v -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x3164 -x3165 -x3166 -x3167 1800.05/1800.50 v -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3185 1800.05/1800.50 v -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 1800.05/1800.50 v -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 1800.05/1800.50 v -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 1800.05/1800.50 v -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 1800.05/1800.50 v -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 1800.05/1800.50 v -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3472 -x3473 -x3474 1800.05/1800.50 v -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 1800.05/1800.50 v -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 1800.05/1800.50 v -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 1800.05/1800.50 v -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 1800.05/1800.50 v -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 1800.05/1800.50 v -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 1800.05/1800.50 v -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3780 -x3781 1800.05/1800.50 v -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 1800.05/1800.50 v -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 1800.05/1800.50 v -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 1800.05/1800.50 v -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 1800.05/1800.50 v -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 x3863 -x3864 -x3865 -x3866 1800.05/1800.50 v -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3881 -x3882 -x3883 -x3884 1800.05/1800.50 v -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x4088 1800.05/1800.50 v -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 1800.05/1800.50 v -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 1800.05/1800.50 v -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 1800.05/1800.50 v -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 1800.05/1800.50 v -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 1800.05/1800.50 v -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 1800.05/1800.50 v -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 1800.05/1800.50 v -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 1800.05/1800.50 v -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 1800.05/1800.50 v -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 1800.05/1800.50 v -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 x4460 -x4461 -x4462 -x4463 1800.05/1800.50 v -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 1800.05/1800.50 v -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 1800.05/1800.50 v -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 1800.05/1800.50 v -x4515 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 1800.05/1800.50 v -x4719 -x4720 -x4721 -x4722 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 1800.05/1800.50 v -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 1800.05/1800.50 v -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 1800.05/1800.50 v -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 1800.05/1800.50 v x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 1800.05/1800.50 v -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 1800.05/1800.50 v -x4823 -x4824 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 1800.05/1800.50 v -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 1800.05/1800.50 v -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 1800.05/1800.50 v -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 1800.05/1800.50 v -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 1800.05/1800.50 v -x5096 -x5097 x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 1800.05/1800.50 v -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 1800.05/1800.50 v -x5130 -x5131 -x5132 -x5320 -x5321 -x5322 -x5323 -x5324 x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 1800.05/1800.50 v -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 1800.05/1800.50 v -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 1800.05/1800.50 v -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 1800.05/1800.50 v -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 1800.05/1800.50 v -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 1800.05/1800.50 v -x5419 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 1800.05/1800.50 v -x5437 -x5438 -x5439 -x5440 -x4390 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 1800.05/1800.50 v -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 1800.05/1800.50 v -x4575 -x4391 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 1800.05/1800.50 v -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4702 -x4976 1800.05/1800.50 v -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 1800.05/1800.50 v -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5011 -x5283 -x5284 -x5285 -x5286 1800.05/1800.50 v -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 1800.05/1800.50 v -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5315 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 1800.05/1800.50 v -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 1800.05/1800.50 v -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5319 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 1800.05/1800.50 v -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 1800.05/1800.50 v -x5618 -x5619 -x5620 -x1926 -x1927 -x1928 x1929 -x1930 -x1931 -x2233 x2235 -x2236 -x2237 -x2238 -x2239 -x2541 -x2542 -x2543 1800.05/1800.50 v x2545 -x2546 -x2547 -x2849 -x2850 -x2851 -x2852 x2853 -x2855 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3466 -x3467 x3468 1800.05/1800.50 v -x3469 -x3470 -x3471 -x3773 -x3775 -x3776 -x3777 x3778 -x3779 -x4081 x4082 -x4083 -x4085 -x4086 -x4087 -x4389 x4392 -x4393 1800.05/1800.50 v -x4395 -x4697 -x4698 -x4699 -x4700 x4701 -x5006 -x5007 -x5008 -x5009 x5010 x5313 -x5316 -x5317 -x5318 -x2053 -x2054 -x2055 1800.05/1800.50 v -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 1800.05/1800.50 v -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 1800.05/1800.50 v -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 1800.05/1800.50 v -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 1800.05/1800.50 v -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 1800.05/1800.50 v -x2696 -x2697 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 1800.05/1800.50 v -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3285 -x3286 1800.05/1800.50 v -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 1800.05/1800.50 v -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 1800.05/1800.50 v -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 1800.05/1800.50 v -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 1800.05/1800.50 v -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 1800.05/1800.50 v -x3928 -x3929 -x3930 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 1800.05/1800.50 v -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4516 1800.05/1800.50 v -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 1800.05/1800.50 v -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4825 -x4826 -x4827 -x4828 -x4829 1800.05/1800.50 v -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 1800.05/1800.50 v -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 1800.05/1800.50 v -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 1800.05/1800.50 v -x5159 -x5160 -x5161 -x5162 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 x5451 x5452 -x5453 -x5454 1800.05/1800.50 v x5455 -x5456 x5457 -x5458 x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x2083 -x2084 1800.05/1800.50 v -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 1800.05/1800.50 v -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 1800.05/1800.50 v -x2397 -x2398 -x2399 -x2400 x2401 -x2402 -x2403 -x2404 x2405 -x2406 x2407 -x2408 -x2409 x2410 -x2411 -x2412 -x2413 -x2414 1800.05/1800.50 v -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 1800.05/1800.50 v -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 1800.05/1800.50 v -x2727 -x2728 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 1800.05/1800.50 v -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3315 -x3316 1800.05/1800.50 v -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 1800.05/1800.50 v -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 1800.05/1800.50 v -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 1800.05/1800.50 v -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 1800.05/1800.50 v -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 1800.05/1800.50 v -x3958 -x3959 -x3960 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 x4251 -x4252 1800.05/1800.50 v x4253 -x4254 x4255 -x4256 -x4257 x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4855 -x4856 1800.05/1800.50 v -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 1800.05/1800.50 v -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 1800.05/1800.50 v -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 1800.05/1800.50 v -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 1800.05/1800.50 v -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 1800.05/1800.50 v -x2140 -x2141 -x2142 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 1800.05/1800.50 v -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2729 1800.05/1800.50 v -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 1800.05/1800.50 v -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x3036 -x3037 -x3038 -x3039 -x3040 1800.05/1800.50 v -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 1800.05/1800.50 v -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 1800.05/1800.50 v -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 1800.05/1800.50 v -x3371 -x3372 -x3373 -x3374 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 x3665 1800.05/1800.50 v x3666 x3667 -x3668 x3669 -x3670 x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3961 1800.05/1800.50 v -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 1800.05/1800.50 v -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x4269 -x4270 -x4271 -x4272 -x4273 1800.05/1800.50 v -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 1800.05/1800.50 v -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 1800.05/1800.50 v -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 1800.05/1800.50 v -x4911 -x4912 -x4913 -x4914 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 1800.05/1800.50 v -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 1800.05/1800.50 v -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 1800.05/1800.50 v -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x2143 -x2144 -x2145 -x2146 1800.05/1800.50 v -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 x2153 x2154 -x2155 -x2156 x2157 -x2158 x2159 -x2160 x2161 -x2162 -x2163 -x2164 1800.05/1800.50 v -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 1800.05/1800.50 v -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 1800.05/1800.50 v -x2477 -x2478 -x2479 -x2480 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 1800.05/1800.50 v -x2772 -x2773 -x2774 -x2775 x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 1800.05/1800.50 v -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 1800.05/1800.50 v -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3375 -x3376 -x3377 -x3378 1800.05/1800.50 v -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 1800.05/1800.50 v -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 1800.05/1800.50 v -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 1800.05/1800.50 v -x3708 -x3709 -x3710 -x3711 -x3712 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 1800.05/1800.50 v -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 1800.05/1800.50 v -x4020 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 1800.05/1800.50 v -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4607 -x4608 -x4609 1800.05/1800.50 v -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 x4619 x4620 x4621 -x4622 x4623 -x4624 x4625 -x4626 -x4627 1800.05/1800.50 v -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 1800.05/1800.50 v -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 1800.05/1800.50 v -x4940 -x4941 -x4942 -x4943 -x4944 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 1800.05/1800.50 v -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 1800.05/1800.50 v -x5252 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 1800.05/1800.50 v -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x2173 -x2174 -x2175 1800.05/1800.50 v -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 1800.05/1800.50 v -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 1800.05/1800.50 v -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 1800.05/1800.50 v -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 1800.05/1800.50 v -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 1800.05/1800.50 v -x2817 -x2818 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 1800.05/1800.50 v -x3113 -x3114 -x3115 -x3116 x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3405 -x3406 1800.05/1800.50 v -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 1800.05/1800.50 v -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 1800.05/1800.50 v -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 1800.05/1800.50 v -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 1800.05/1800.50 v -x4031 x4032 x4033 -x4034 x4035 -x4036 x4037 -x4038 x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 1800.05/1800.50 v -x4049 -x4050 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 1800.05/1800.50 v -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4637 -x4638 1800.05/1800.50 v -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 1800.05/1800.50 v -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 1800.05/1800.50 v -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 x4961 -x4962 -x4963 x4964 -x4965 -x4966 -x4967 -x4968 1800.05/1800.50 v -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 x5263 1800.05/1800.50 v x5264 -x5265 -x5266 -x5267 x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 1800.05/1800.50 v -x5282 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 1800.05/1800.50 v -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x2203 -x2204 -x2205 1800.05/1800.50 v -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 1800.05/1800.50 v -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 1800.05/1800.50 v -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 1800.05/1800.50 v -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 1800.05/1800.50 v -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 1800.05/1800.50 v -x2847 -x2848 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 1800.05/1800.50 v -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3436 -x3437 1800.05/1800.50 v -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 1800.05/1800.50 v -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 1800.05/1800.50 v -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 1800.05/1800.50 v -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 1800.05/1800.50 v -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 1800.05/1800.50 v -x4078 -x4079 -x4080 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 1800.05/1800.50 v -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4667 1800.05/1800.50 v -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 1800.05/1800.50 v -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 1800.05/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.05/1800.50 c 29 348588 32573 529806 63355 9079282 61439 193 1800.06 1800.05/1800.50 c Objective: 65171982 1800.05/1800.50 s SATISFIABLE 1800.05/1800.50 c Total time: 1800.06 s
OK 65171982
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node29/watcher-433201-1177956296 -o ROOT/results/node29/solver-433201-1177956296 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433201-1177956296/instance-433201-1177956296.opb 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.85 0.97 0.95 3/77 8741 /proc/meminfo: memFree=1850760/2055920 swapFree=4146640/4192956 [pid=8741] ppid=8739 vsize=12172 CPUtime=0 /proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 243545370 12464128 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8741/statm: 3043 333 279 324 0 2004 0 [startup+0.018901 s] /proc/loadavg: 0.85 0.97 0.95 3/77 8741 /proc/meminfo: memFree=1850760/2055920 swapFree=4146640/4192956 [pid=8741] ppid=8739 vsize=4968 CPUtime=0.01 /proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 526 0 0 0 1 0 0 0 18 0 1 0 243545370 5087232 496 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4564603 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8741/statm: 1242 496 300 324 0 203 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4968 [startup+0.101906 s] /proc/loadavg: 0.85 0.97 0.95 3/77 8741 /proc/meminfo: memFree=1850760/2055920 swapFree=4146640/4192956 [pid=8741] ppid=8739 vsize=6540 CPUtime=0.09 /proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 1143 0 0 0 9 0 0 0 18 0 1 0 243545370 6696960 1004 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8741/statm: 1635 1004 303 324 0 705 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6540 [startup+0.301919 s] /proc/loadavg: 0.85 0.97 0.95 3/77 8741 /proc/meminfo: memFree=1850760/2055920 swapFree=4146640/4192956 [pid=8741] ppid=8739 vsize=6676 CPUtime=0.29 /proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 1197 0 0 0 28 1 0 0 19 0 1 0 243545370 6836224 1040 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8741/statm: 1669 1040 305 324 0 739 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6676 [startup+0.701945 s] /proc/loadavg: 0.85 0.97 0.95 3/77 8741 /proc/meminfo: memFree=1850760/2055920 swapFree=4146640/4192956 [pid=8741] ppid=8739 vsize=7320 CPUtime=0.69 /proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 1338 0 0 0 68 1 0 0 23 0 1 0 243545370 7495680 1181 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4564603 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8741/statm: 1830 1181 310 324 0 900 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7320 [startup+1.50199 s] /proc/loadavg: 0.85 0.97 0.95 2/78 8742 /proc/meminfo: memFree=1845120/2055920 swapFree=4146640/4192956 [pid=8741] ppid=8739 vsize=12712 CPUtime=1.49 /proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 2708 0 0 0 147 2 0 0 25 0 1 0 243545370 13017088 2551 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8741/statm: 3178 2551 310 324 0 2248 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12712 [startup+3.1011 s] /proc/loadavg: 0.85 0.97 0.95 2/78 8742 /proc/meminfo: memFree=1837504/2055920 swapFree=4146640/4192956 [pid=8741] ppid=8739 vsize=21876 CPUtime=3.09 /proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 5004 0 0 0 306 3 0 0 25 0 1 0 243545370 22401024 4847 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8741/statm: 5469 4847 310 324 0 4539 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21876 [startup+6.30131 s] /proc/loadavg: 0.86 0.97 0.95 2/78 8742 /proc/meminfo: memFree=1821568/2055920 swapFree=4146640/4192956 [pid=8741] ppid=8739 vsize=36728 CPUtime=6.28 /proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 8705 0 0 0 623 5 0 0 25 0 1 0 243545370 37609472 8548 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8741/statm: 9182 8548 310 324 0 8252 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 36728 [startup+12.7017 s] /proc/loadavg: 0.87 0.97 0.95 2/78 8742 /proc/meminfo: memFree=1795072/2055920 swapFree=4146640/4192956 [pid=8741] ppid=8739 vsize=61028 CPUtime=12.67 /proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 14769 0 0 0 1259 8 0 0 25 0 1 0 243545370 62492672 14612 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551106 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8741/statm: 15257 14612 310 324 0 14327 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 61028 [startup+25.5015 s] /proc/loadavg: 0.90 0.97 0.95 2/78 8742 /proc/meminfo: memFree=1762304/2055920 swapFree=4146640/4192956 [pid=8741] ppid=8739 vsize=92200 CPUtime=25.48 /proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 22570 0 0 0 2534 14 0 0 25 0 1 0 243545370 94412800 22413 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572673 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8741/statm: 23050 22413 310 324 0 22120 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 92200 [startup+51.1012 s] /proc/loadavg: 0.93 0.97 0.95 2/78 8742 /proc/meminfo: memFree=1729472/2055920 swapFree=4146640/4192956 [pid=8741] ppid=8739 vsize=126364 CPUtime=51.07 /proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 31124 0 0 0 5087 20 0 0 25 0 1 0 243545370 129396736 30967 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4564603 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8741/statm: 31591 30967 310 324 0 30661 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 126364 [startup+102.305 s] /proc/loadavg: 0.97 0.97 0.95 2/78 8742 /proc/meminfo: memFree=1654144/2055920 swapFree=4146640/4192956 [pid=8741] ppid=8739 vsize=199852 CPUtime=102.25 /proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 49493 0 0 0 10194 31 0 0 25 0 1 0 243545370 204648448 49336 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8741/statm: 49963 49336 310 324 0 49033 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 199852 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.95 2/78 8742 /proc/meminfo: memFree=1565696/2055920 swapFree=4146640/4192956 [pid=8741] ppid=8739 vsize=289632 CPUtime=162.24 /proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 71929 0 0 0 16178 46 0 0 25 0 1 0 243545370 296583168 71772 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8741/statm: 72408 71772 310 324 0 71478 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 289632 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.95 2/78 8742 /proc/meminfo: memFree=1454784/2055920 swapFree=4146640/4192956 [pid=8741] ppid=8739 vsize=399028 CPUtime=222.22 /proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 99279 0 0 0 22159 63 0 0 25 0 1 0 243545370 408604672 99122 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8741/statm: 99757 99122 310 324 0 98827 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 399028 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.95 2/78 8742 /proc/meminfo: memFree=1380864/2055920 swapFree=4146640/4192956 [pid=8741] ppid=8739 vsize=473388 CPUtime=282.21 /proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 117856 0 0 0 28147 74 0 0 25 0 1 0 243545370 484749312 117699 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8741/statm: 118347 117699 310 324 0 117417 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 473388 [startup+342.302 s] /proc/loadavg: 1.06 0.99 0.96 2/78 8742 /proc/meminfo: memFree=1330496/2055920 swapFree=4146640/4192956 [pid=8741] ppid=8739 vsize=523000 CPUtime=342.19 /proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 130269 0 0 0 34139 80 0 0 25 0 1 0 243545370 535552000 130112 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4562676 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8741/statm: 130750 130112 310 324 0 129820 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 523000 [startup+402.302 s] /proc/loadavg: 1.08 1.00 0.96 2/78 8742 /proc/meminfo: memFree=1283008/2055920 swapFree=4146640/4192956 [pid=8741] ppid=8739 vsize=570484 CPUtime=402.18 /proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 142135 0 0 0 40131 87 0 0 25 0 1 0 243545370 584175616 141978 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8741/statm: 142621 141978 310 324 0 141691 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 570484 [startup+462.301 s] /proc/loadavg: 1.03 1.00 0.96 2/78 8742 /proc/meminfo: memFree=1249152/2055920 swapFree=4146640/4192956 [pid=8741] ppid=8739 vsize=603996 CPUtime=462.17 /proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 150522 0 0 0 46125 92 0 0 25 0 1 0 243545370 618491904 150365 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4560202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8741/statm: 150999 150365 310 324 0 150069 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 603996 [startup+522.301 s] /proc/loadavg: 1.01 1.00 0.96 2/78 8742 /proc/meminfo: memFree=1216960/2055920 swapFree=4146640/4192956 [pid=8741] ppid=8739 vsize=636680 CPUtime=522.15 /proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 158706 0 0 0 52117 98 0 0 25 0 1 0 243545370 651960320 158549 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8741/statm: 159170 158549 310 324 0 158240 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 636680 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.96 2/78 8742 /proc/meminfo: memFree=1183552/2055920 swapFree=4146640/4192956 [pid=8741] ppid=8739 vsize=669660 CPUtime=582.14 /proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 166926 0 0 0 58111 103 0 0 25 0 1 0 243545370 685731840 166769 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551326 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8741/statm: 167415 166769 310 324 0 166485 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 669660 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.96 2/78 8742 /proc/meminfo: memFree=1154112/2055920 swapFree=4146640/4192956 [pid=8741] ppid=8739 vsize=698648 CPUtime=642.13 /proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 174187 0 0 0 64107 106 0 0 25 0 1 0 243545370 715415552 174030 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551106 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8741/statm: 174662 174030 310 324 0 173732 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 698648 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.96 2/78 8742 /proc/meminfo: memFree=1010304/2055920 swapFree=4146640/4192956 [pid=8741] ppid=8739 vsize=842236 CPUtime=882.07 /proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 210072 0 0 0 88074 133 0 0 25 0 1 0 243545370 862449664 209915 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8741/statm: 210559 209915 310 324 0 209629 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 842236 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.96 2/78 8742 /proc/meminfo: memFree=983168/2055920 swapFree=4146640/4192956 [pid=8741] ppid=8739 vsize=869348 CPUtime=942.05 /proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 216860 0 0 0 94066 139 0 0 25 0 1 0 243545370 890212352 216703 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8741/statm: 217337 216703 310 324 0 216407 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 869348 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 8742 /proc/meminfo: memFree=956160/2055920 swapFree=4146640/4192956 [pid=8741] ppid=8739 vsize=896560 CPUtime=1002.04 /proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 223651 0 0 0 100059 145 0 0 25 0 1 0 243545370 918077440 223494 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574500 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8741/statm: 224140 223494 310 324 0 223210 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 896560 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 8742 /proc/meminfo: memFree=930880/2055920 swapFree=4146640/4192956 [pid=8741] ppid=8739 vsize=921864 CPUtime=1062.02 /proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 229988 0 0 0 106052 150 0 0 25 0 1 0 243545370 943988736 229831 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8741/statm: 230466 229831 310 324 0 229536 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 921864 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 8742 /proc/meminfo: memFree=910976/2055920 swapFree=4146640/4192956 [pid=8741] ppid=8739 vsize=941476 CPUtime=1122.01 /proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 234882 0 0 0 112046 155 0 0 25 0 1 0 243545370 964071424 234725 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8741/statm: 235369 234725 310 324 0 234439 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 941476 [startup+1182.3 s] /proc/loadavg: 1.04 1.01 0.97 2/78 8742 /proc/meminfo: memFree=899072/2055920 swapFree=4146640/4192956 [pid=8741] ppid=8739 vsize=953488 CPUtime=1182 /proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 237889 0 0 0 118042 158 0 0 25 0 1 0 243545370 976371712 237732 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8741/statm: 238372 237732 310 324 0 237442 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 953488 [startup+1242.3 s] /proc/loadavg: 1.01 1.01 0.97 2/78 8742 /proc/meminfo: memFree=883840/2055920 swapFree=4146640/4192956 [pid=8741] ppid=8739 vsize=968460 CPUtime=1241.98 /proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 241650 0 0 0 124036 162 0 0 25 0 1 0 243545370 991703040 241493 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551362 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8741/statm: 242115 241493 310 324 0 241185 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 968460 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 8742 /proc/meminfo: memFree=870016/2055920 swapFree=4146640/4192956 [pid=8741] ppid=8739 vsize=982140 CPUtime=1301.97 /proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 245052 0 0 0 130031 166 0 0 25 0 1 0 243545370 1005711360 244895 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8741/statm: 245535 244895 310 324 0 244605 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 982140 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 8742 /proc/meminfo: memFree=856448/2055920 swapFree=4146640/4192956 [pid=8741] ppid=8739 vsize=995852 CPUtime=1361.95 /proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 248481 0 0 0 136026 169 0 0 25 0 1 0 243545370 1019752448 248324 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8741/statm: 248963 248324 310 324 0 248033 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 995852 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.97 2/78 8742 /proc/meminfo: memFree=842560/2055920 swapFree=4146640/4192956 [pid=8741] ppid=8739 vsize=1009492 CPUtime=1421.94 /proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 251889 0 0 0 142022 172 0 0 25 0 1 0 243545370 1033719808 251732 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8741/statm: 252373 251732 310 324 0 251443 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 1009492 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 8742 /proc/meminfo: memFree=833664/2055920 swapFree=4146640/4192956 [pid=8741] ppid=8739 vsize=1018448 CPUtime=1481.92 /proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 254129 0 0 0 148017 175 0 0 25 0 1 0 243545370 1042890752 253972 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8741/statm: 254612 253972 310 324 0 253682 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 1018448 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 8742 /proc/meminfo: memFree=822208/2055920 swapFree=4146640/4192956 [pid=8741] ppid=8739 vsize=1029720 CPUtime=1541.91 /proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 256953 0 0 0 154013 178 0 0 25 0 1 0 243545370 1054433280 256796 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8741/statm: 257430 256796 310 324 0 256500 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 1029720 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 8742 /proc/meminfo: memFree=813184/2055920 swapFree=4146640/4192956 [pid=8741] ppid=8739 vsize=1038884 CPUtime=1601.89 /proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 259251 0 0 0 160008 181 0 0 25 0 1 0 243545370 1063817216 259094 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8741/statm: 259721 259094 310 324 0 258791 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 1038884 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 8742 /proc/meminfo: memFree=800512/2055920 swapFree=4146640/4192956 [pid=8741] ppid=8739 vsize=1051276 CPUtime=1661.88 /proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 262618 0 0 0 166004 184 0 0 25 0 1 0 243545370 1076506624 262166 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8741/statm: 262819 262166 311 324 0 261889 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 1051276 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 8742 /proc/meminfo: memFree=800512/2055920 swapFree=4146640/4192956 [pid=8741] ppid=8739 vsize=1051276 CPUtime=1721.87 /proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 262618 0 0 0 172003 184 0 0 25 0 1 0 243545370 1076506624 262166 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8741/statm: 262819 262166 311 324 0 261889 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 1051276 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 8742 /proc/meminfo: memFree=800512/2055920 swapFree=4146640/4192956 [pid=8741] ppid=8739 vsize=1051276 CPUtime=1781.85 /proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 262618 0 0 0 178001 184 0 0 25 0 1 0 243545370 1076506624 262166 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8741/statm: 262819 262166 311 324 0 261889 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 1051276 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.97 2/78 8742 /proc/meminfo: memFree=800576/2055920 swapFree=4146640/4192956 [pid=8741] ppid=8739 vsize=1051276 CPUtime=1800.05 /proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 262618 0 0 0 179820 185 0 0 25 0 1 0 243545370 1076506624 262166 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8741/statm: 262819 262166 311 324 0 261889 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1051276 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 0.97 2/79 8743 /proc/meminfo: memFree=1395384/2055920 swapFree=4146640/4192956 [pid=8741] ppid=8739 vsize=0 CPUtime=1800.15 /proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194308 262622 0 0 0 179821 194 0 0 25 0 1 0 243545370 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/8741/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.68 CPU time (s): 1800.23 CPU user time (s): 1798.21 CPU system time (s): 2.01569 CPU usage (%): 99.975 Max. virtual memory (cumulated for all children) (KiB): 1052456 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.21 system time used= 2.01569 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 262622 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= 13 involuntary context switches= 36504 runsolver used 1.39779 second user time and 3.82742 second system time The end
Begin job on node29 on Mon Apr 30 18:04:56 UTC 2007 IDJOB= 433201 IDBENCH= 2354 IDSOLVER= 199 FILE ID= node29/433201-1177956296 PBS_JOBID= 4727737 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-UMTS.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433201-1177956296/instance-433201-1177956296.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-433201-1177956296 -o ROOT/results/node29/solver-433201-1177956296 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433201-1177956296/instance-433201-1177956296.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= c716bc6c519760d619aa6878c926054c RANDOM SEED= 986586452 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node29.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.224 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.224 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1851168 kB Buffers: 34328 kB Cached: 83004 kB SwapCached: 11188 kB Active: 64820 kB Inactive: 75332 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1851168 kB SwapTotal: 4192956 kB SwapFree: 4146640 kB Dirty: 7168 kB Writeback: 0 kB Mapped: 29664 kB Slab: 50056 kB Committed_AS: 2842620 kB PageTables: 1872 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node29 on Mon Apr 30 18:34:59 UTC 2007