Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
clasp 2.0-R4191 | SAT (TO) | 39 | 1800.08 | 1800.02 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_009_area_delay.opb |
MD5SUM | 2aa6eb5ee09e1484657dfe3626167241 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 24 |
Best CPU time to get the best result obtained on this benchmark | 0.207968 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24 |
Optimality of the best value was proved | YES |
Number of variables | 6148 |
Total number of constraints | 19000 |
Number of constraints which are clauses | 19000 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 127 |
Number of terms in the objective function | 2987 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 2987 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 2987 |
Number of bits of the biggest sum of numbers | 12 |
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 clasp version 2.0.0-RC2 0.00/0.00 c Reading from ...112229/instance-3468000-1307112229.opb 0.00/0.03 c Solving... 0.03/0.03 o 88 0.03/0.03 o 39 1800.06/1800.02 1800.06/1800.02 *** INTERRUPTED! *** 1800.06/1800.02 c Answer: 2 1800.06/1800.02 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 1800.06/1800.02 v -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 1800.06/1800.02 v -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 1800.06/1800.02 v -x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 1800.06/1800.02 v -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 1800.06/1800.02 v -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 1800.06/1800.02 v -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 1800.06/1800.02 v -x106 -x107 -x108 x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 1800.06/1800.02 v -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 1800.06/1800.02 v -x131 -x132 x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 1800.06/1800.02 v -x144 -x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 1800.06/1800.02 v -x156 -x157 -x158 -x159 x160 x161 x162 x163 -x164 -x165 -x166 x167 -x168 1800.06/1800.02 v -x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 x179 -x180 -x181 1800.06/1800.02 v -x182 x183 x184 -x185 x186 x187 x188 x189 x190 -x191 -x192 -x193 -x194 1800.06/1800.02 v -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 1800.06/1800.02 v -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 1800.06/1800.02 v -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1800.06/1800.02 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 1800.06/1800.02 v -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 1800.06/1800.02 v -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 1800.06/1800.02 v -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 1800.06/1800.02 v -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 1800.06/1800.02 v -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 1800.06/1800.02 v -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1800.06/1800.02 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 1800.06/1800.02 v -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 1800.06/1800.02 v -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 1800.06/1800.02 v -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 1800.06/1800.02 v -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 1800.06/1800.02 v -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 1800.06/1800.02 v -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1800.06/1800.02 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 1800.06/1800.02 v -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 1800.06/1800.02 v -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 x432 -x433 -x434 -x435 1800.06/1800.02 v -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 1800.06/1800.02 v -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 1800.06/1800.02 v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 1800.06/1800.02 v -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 1800.06/1800.02 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 1800.06/1800.02 v -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 1800.06/1800.02 v -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 1800.06/1800.02 v -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 1800.06/1800.02 v -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 1800.06/1800.02 v -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 1800.06/1800.02 v -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 1800.06/1800.02 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 1800.06/1800.02 v -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 1800.06/1800.02 v -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 1800.06/1800.02 v -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 1800.06/1800.02 v -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 1800.06/1800.02 v -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 1800.06/1800.02 v -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 1800.06/1800.02 v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 1800.06/1800.02 v -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 1800.06/1800.02 v -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 1800.06/1800.02 v -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 1800.06/1800.02 v -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 1800.06/1800.02 v -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 1800.06/1800.02 v -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 1800.06/1800.02 v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 1800.06/1800.02 v -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 1800.06/1800.02 v -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 1800.06/1800.02 v -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 1800.06/1800.02 v -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 1800.06/1800.02 v -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 1800.06/1800.02 v -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 1800.06/1800.02 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 1800.06/1800.02 v -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 1800.06/1800.02 v -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 1800.06/1800.02 v -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 1800.06/1800.02 v -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 1800.06/1800.02 v -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 1800.06/1800.02 v -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 1800.06/1800.02 v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 1800.06/1800.02 v -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 1800.06/1800.02 v -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 1800.06/1800.02 v -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 1800.06/1800.02 v -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 1800.06/1800.02 v -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 1800.06/1800.02 v -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 1800.06/1800.02 v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 1800.06/1800.02 v -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 1800.06/1800.02 v -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 1800.06/1800.02 v -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 1800.06/1800.02 v -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 1800.06/1800.02 v -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 1800.06/1800.02 v -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 1800.06/1800.02 v -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 1800.06/1800.02 v -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 1800.06/1800.02 v -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 1800.06/1800.02 v -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 1800.06/1800.02 v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 1800.06/1800.02 v -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 1800.06/1800.02 v -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 1800.06/1800.02 v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 1800.06/1800.02 v -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 1800.06/1800.02 v -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 1800.06/1800.02 v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 1800.06/1800.02 v -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 1800.06/1800.02 v -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 1800.06/1800.02 v -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 1800.06/1800.02 v -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 1800.06/1800.02 v -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 1800.06/1800.02 v -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 1800.06/1800.02 v -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 1800.06/1800.02 v -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 1800.06/1800.02 v -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 1800.06/1800.02 v -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 1800.06/1800.02 v -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 1800.06/1800.02 v -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 1800.06/1800.02 v -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 1800.06/1800.02 v -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 1800.06/1800.02 v -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 x1347 x1348 -x1349 -x1350 -x1351 1800.06/1800.02 v -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 1800.06/1800.02 v -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 1800.06/1800.02 v -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 1800.06/1800.02 v -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 1800.06/1800.02 v -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 1800.06/1800.02 v -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 1800.06/1800.02 v -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 1800.06/1800.02 v -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 1800.06/1800.02 v -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 1800.06/1800.02 v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 1800.06/1800.02 v -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 1800.06/1800.02 v -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 1800.06/1800.02 v -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 1800.06/1800.02 v -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 1800.06/1800.02 v -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 1800.06/1800.02 v -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 1800.06/1800.02 v -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 1800.06/1800.02 v -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 1800.06/1800.02 v -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 1800.06/1800.02 v -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 1800.06/1800.02 v -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 1800.06/1800.02 v -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 1800.06/1800.02 v -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 1800.06/1800.02 v -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 1800.06/1800.02 v -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 1800.06/1800.02 v -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 1800.06/1800.02 v -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 1800.06/1800.02 v -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 1800.06/1800.02 v -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 1800.06/1800.02 v -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 1800.06/1800.02 v -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 1800.06/1800.02 v -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 1800.06/1800.02 v -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 1800.06/1800.02 v -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 1800.06/1800.02 v -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 1800.06/1800.02 v -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 1800.06/1800.02 v -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 1800.06/1800.02 v -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 1800.06/1800.02 v -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 1800.06/1800.02 v -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 1800.06/1800.02 v -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 1800.06/1800.02 v -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 1800.06/1800.02 v -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 1800.06/1800.02 v -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 1800.06/1800.02 v -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 1800.06/1800.02 v -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 1800.06/1800.02 v -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 1800.06/1800.02 v -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 1800.06/1800.02 v -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 1800.06/1800.02 v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 1800.06/1800.02 v -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 1800.06/1800.02 v -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 1800.06/1800.02 v -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 1800.06/1800.02 v -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 1800.06/1800.02 v -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 1800.06/1800.02 v -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 1800.06/1800.02 v -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 1800.06/1800.02 v -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 1800.06/1800.02 v -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 1800.06/1800.02 v -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 1800.06/1800.02 v -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 1800.06/1800.02 v -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 1800.06/1800.02 v -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 1800.06/1800.02 v -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 1800.06/1800.02 v -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 1800.06/1800.02 v -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 1800.06/1800.02 v -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 1800.06/1800.02 v -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 1800.06/1800.02 v -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 1800.06/1800.02 v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 1800.06/1800.02 v -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 1800.06/1800.02 v -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 1800.06/1800.02 v -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 1800.06/1800.02 v -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 1800.06/1800.02 v -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 1800.06/1800.02 v -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 1800.06/1800.02 v -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 1800.06/1800.02 v -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 1800.06/1800.02 v -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 1800.06/1800.02 v -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 1800.06/1800.02 v -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 1800.06/1800.02 v -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 1800.06/1800.02 v -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 1800.06/1800.02 v -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 1800.06/1800.02 v -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 1800.06/1800.02 v -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 1800.06/1800.02 v -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 1800.06/1800.02 v -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 1800.06/1800.02 v -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 1800.06/1800.02 v -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 1800.06/1800.02 v -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 1800.06/1800.02 v -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 1800.06/1800.02 v -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 1800.06/1800.02 v -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 1800.06/1800.02 v -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 1800.06/1800.02 v -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 1800.06/1800.02 v -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 1800.06/1800.02 v -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 1800.06/1800.02 v -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 1800.06/1800.02 v -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 1800.06/1800.02 v -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 1800.06/1800.02 v -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 1800.06/1800.02 v -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 1800.06/1800.02 v -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 1800.06/1800.02 v -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 1800.06/1800.02 v -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 1800.06/1800.02 v -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 1800.06/1800.02 v -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 1800.06/1800.02 v -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 1800.06/1800.02 v -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 1800.06/1800.02 v -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 1800.06/1800.02 v -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 1800.06/1800.02 v -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 1800.06/1800.02 v -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 1800.06/1800.02 v -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 1800.06/1800.02 v -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 1800.06/1800.02 v -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 1800.06/1800.02 v -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 1800.06/1800.02 v -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 1800.06/1800.02 v -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 1800.06/1800.02 v -x2672 -x2673 -x2674 x2675 x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 1800.06/1800.02 v -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 1800.06/1800.02 v -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 1800.06/1800.02 v -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 1800.06/1800.02 v -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 1800.06/1800.02 v -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 1800.06/1800.02 v -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 1800.06/1800.02 v -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 1800.06/1800.02 v -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 1800.06/1800.02 v -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 1800.06/1800.02 v -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 1800.06/1800.02 v -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 1800.06/1800.02 v -x2804 -x2805 -x2806 -x2807 -x2808 x2809 x2810 -x2811 -x2812 -x2813 -x2814 1800.06/1800.02 v -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 1800.06/1800.02 v -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 1800.06/1800.02 v -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 1800.06/1800.02 v -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 x2857 x2858 1800.06/1800.02 v -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 1800.06/1800.02 v -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 1800.06/1800.02 v -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 1800.06/1800.02 v -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 1800.06/1800.02 v -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 1800.06/1800.02 v -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 1800.06/1800.02 v -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 1800.06/1800.02 v -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 1800.06/1800.02 v -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 1800.06/1800.02 v -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 1800.06/1800.02 v -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 1800.06/1800.02 v -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 1800.06/1800.02 v -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 1800.06/1800.02 v -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 1800.06/1800.02 v -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 1800.06/1800.02 v -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 1800.06/1800.02 v -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 1800.06/1800.02 v -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 1800.06/1800.02 v -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 1800.06/1800.02 v -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 1800.06/1800.02 v -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 1800.06/1800.02 v -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 1800.06/1800.02 v -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 1800.06/1800.02 v -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 1800.06/1800.02 v -x3123 -x3124 -x3125 -x3126 x3127 x3128 -x3129 -x3130 -x3131 -x3132 -x3133 1800.06/1800.02 v -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 1800.06/1800.02 v -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 1800.06/1800.02 v -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 1800.06/1800.02 v -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 1800.06/1800.02 v -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 1800.06/1800.02 v -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 1800.06/1800.02 v -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 1800.06/1800.02 v -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 1800.06/1800.02 v -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 1800.06/1800.02 v -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 1800.06/1800.02 v -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 1800.06/1800.02 v -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 1800.06/1800.02 v -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 1800.06/1800.02 v -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 1800.06/1800.02 v -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 1800.06/1800.02 v -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 1800.06/1800.02 v -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 1800.06/1800.02 v -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 1800.06/1800.02 v -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 1800.06/1800.02 v -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 1800.06/1800.02 v -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 1800.06/1800.02 v -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 1800.06/1800.02 v -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 1800.06/1800.02 v -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 1800.06/1800.02 v -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 1800.06/1800.02 v -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 1800.06/1800.02 v -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 1800.06/1800.02 v -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 1800.06/1800.02 v -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 1800.06/1800.02 v -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 1800.06/1800.02 v -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 1800.06/1800.02 v -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 1800.06/1800.02 v -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 1800.06/1800.02 v -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 1800.06/1800.02 v -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 1800.06/1800.02 v -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 1800.06/1800.02 v -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 1800.06/1800.02 v -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 1800.06/1800.02 v -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 1800.06/1800.02 v -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 1800.06/1800.02 v -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 1800.06/1800.02 v -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 1800.06/1800.02 v -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 1800.06/1800.02 v -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 1800.06/1800.02 v -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 x3627 x3628 1800.06/1800.02 v -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 1800.06/1800.02 v -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 1800.06/1800.02 v -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 1800.06/1800.02 v -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 1800.06/1800.02 v -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 1800.06/1800.02 v -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 1800.06/1800.02 v -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 1800.06/1800.02 v -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 1800.06/1800.02 v -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 1800.06/1800.02 v -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 1800.06/1800.02 v -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 1800.06/1800.02 v -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 1800.06/1800.02 v -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 1800.06/1800.02 v -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 1800.06/1800.02 v -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 1800.06/1800.02 v -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 1800.06/1800.02 v -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 1800.06/1800.02 v -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 1800.06/1800.02 v -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 1800.06/1800.02 v -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 1800.06/1800.02 v -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 1800.06/1800.02 v -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 1800.06/1800.02 v -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 1800.06/1800.02 v -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 1800.06/1800.02 v -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 1800.06/1800.02 v -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 1800.06/1800.02 v -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 1800.06/1800.02 v -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 1800.06/1800.02 v -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 1800.06/1800.02 v -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 1800.06/1800.02 v -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 1800.06/1800.02 v -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 1800.06/1800.02 v -x3981 -x3982 x3983 x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 1800.06/1800.02 v -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 1800.06/1800.02 v -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 1800.06/1800.02 v -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 1800.06/1800.02 v -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 1800.06/1800.02 v -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 1800.06/1800.02 v -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 1800.06/1800.02 v -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 1800.06/1800.02 v -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 1800.06/1800.02 v -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 1800.06/1800.02 v -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 1800.06/1800.02 v -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 1800.06/1800.02 v -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 1800.06/1800.02 v -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 1800.06/1800.02 v -x4135 -x4136 -x4137 -x4138 -x4139 x4140 x4141 -x4142 -x4143 -x4144 -x4145 1800.06/1800.02 v -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 1800.06/1800.02 v -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 1800.06/1800.02 v -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 1800.06/1800.02 v -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 1800.06/1800.02 v -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 1800.06/1800.02 v -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 1800.06/1800.02 v -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 1800.06/1800.02 v -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 1800.06/1800.02 v -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 1800.06/1800.02 v -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 1800.06/1800.02 v -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 1800.06/1800.02 v -x4267 -x4268 -x4269 x4270 x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 1800.06/1800.02 v -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 1800.06/1800.02 v -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 1800.06/1800.02 v -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 1800.06/1800.02 v -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 1800.06/1800.02 v -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 1800.06/1800.02 v -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 1800.06/1800.02 v -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 1800.06/1800.02 v -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 1800.06/1800.02 v -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 1800.06/1800.02 v -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 1800.06/1800.02 v -x4388 -x4389 -x4390 -x4391 x4392 x4393 -x4394 -x4395 -x4396 -x4397 -x4398 1800.06/1800.02 v -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 1800.06/1800.02 v -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 x4418 x4419 x4420 1800.06/1800.02 v x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 1800.06/1800.02 v -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 1800.06/1800.02 v -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 1800.06/1800.02 v -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 1800.06/1800.02 v -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 1800.06/1800.02 v -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 1800.06/1800.02 v -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 1800.06/1800.02 v -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 1800.06/1800.02 v -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 1800.06/1800.02 v -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 1800.06/1800.02 v -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 1800.06/1800.02 v -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 1800.06/1800.02 v -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 1800.06/1800.02 v -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 1800.06/1800.02 v -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 1800.06/1800.02 v -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 1800.06/1800.02 v -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 1800.06/1800.02 v -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 1800.06/1800.02 v -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 1800.06/1800.02 v -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 1800.06/1800.02 v -x4641 -x4642 -x4643 x4644 x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 1800.06/1800.02 v -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 1800.06/1800.02 v -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 1800.06/1800.02 v -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 1800.06/1800.02 v -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 1800.06/1800.02 v -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 1800.06/1800.02 v -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 1800.06/1800.02 v -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 1800.06/1800.02 v -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 1800.06/1800.02 v -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 1800.06/1800.02 v -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 1800.06/1800.02 v -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 1800.06/1800.02 v -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 1800.06/1800.02 v -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 1800.06/1800.02 v -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 1800.06/1800.02 v -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 1800.06/1800.02 v -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 x4826 x4827 1800.06/1800.02 v -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 1800.06/1800.02 v -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 1800.06/1800.02 v -x4850 -x4851 x4852 x4853 x4854 x4855 -x4856 -x4857 -x4858 -x4859 -x4860 1800.06/1800.02 v -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 1800.06/1800.02 v -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 1800.06/1800.02 v -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 1800.06/1800.02 v -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 1800.06/1800.02 v -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 1800.06/1800.02 v -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 1800.06/1800.02 v -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 1800.06/1800.02 v -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 1800.06/1800.02 v -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 1800.06/1800.02 v -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 1800.06/1800.02 v -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 1800.06/1800.02 v -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 1800.06/1800.02 v -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 1800.06/1800.02 v -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 1800.06/1800.02 v -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 1800.06/1800.02 v -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 1800.06/1800.02 v -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 1800.06/1800.02 v -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 1800.06/1800.02 v -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 1800.06/1800.02 v -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 1800.06/1800.02 v -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 1800.06/1800.02 v -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 1800.06/1800.02 v -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 1800.06/1800.02 v -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 1800.06/1800.02 v -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 1800.06/1800.02 v -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 1800.06/1800.02 v -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 1800.06/1800.02 v -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 1800.06/1800.02 v -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 1800.06/1800.02 v -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 1800.06/1800.02 v -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 1800.06/1800.02 v -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 1800.06/1800.02 v -x5213 -x5214 x5215 x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 1800.06/1800.02 v -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 1800.06/1800.02 v -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 1800.06/1800.02 v -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 1800.06/1800.02 v -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 1800.06/1800.02 v -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 1800.06/1800.02 v -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 1800.06/1800.02 v -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 1800.06/1800.02 v -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 1800.06/1800.02 v -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 1800.06/1800.02 v -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 1800.06/1800.02 v -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 1800.06/1800.02 v -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 1800.06/1800.02 v -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 1800.06/1800.02 v -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 1800.06/1800.02 v -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 1800.06/1800.02 v -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 1800.06/1800.02 v -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 1800.06/1800.02 v -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 1800.06/1800.02 v -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 1800.06/1800.02 v -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 1800.06/1800.02 v -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 x5452 x5453 -x5454 1800.06/1800.02 v -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 1800.06/1800.02 v -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 1800.06/1800.02 v -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 1800.06/1800.02 v -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 1800.06/1800.02 v -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 1800.06/1800.02 v -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 1800.06/1800.02 v -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 1800.06/1800.02 v -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 1800.06/1800.02 v -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 1800.06/1800.02 v -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 1800.06/1800.02 v -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 1800.06/1800.02 v -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 1800.06/1800.02 v -x5587 -x5588 -x5589 -x5590 x5591 x5592 -x5593 -x5594 -x5595 -x5596 -x5597 1800.06/1800.02 v -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 1800.06/1800.02 v -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 1800.06/1800.02 v -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 1800.06/1800.02 v -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 1800.06/1800.02 v -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 1800.06/1800.02 v -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 1800.06/1800.02 v -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 1800.06/1800.02 v -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 1800.06/1800.02 v -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 1800.06/1800.02 v -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 1800.06/1800.02 v -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 x5715 x5716 -x5717 -x5718 1800.06/1800.02 v -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 x5727 x5728 -x5729 1800.06/1800.02 v -x5730 -x5731 -x5732 -x5733 -x5734 x5735 x5736 -x5737 -x5738 -x5739 -x5740 1800.06/1800.02 v x5741 x5742 x5743 x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 1800.06/1800.02 v -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 1800.06/1800.02 v -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 1800.06/1800.02 v -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 1800.06/1800.02 v -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 1800.06/1800.02 v -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 1800.06/1800.02 v -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 1800.06/1800.02 v -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 1800.06/1800.02 v -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 1800.06/1800.02 v -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 1800.06/1800.02 v -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 1800.06/1800.02 v -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 x5871 x5872 1800.06/1800.02 v -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 1800.06/1800.02 v -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 1800.06/1800.02 v -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 1800.06/1800.02 v -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 x5915 x5916 1800.06/1800.02 v -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 1800.06/1800.02 v -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 1800.06/1800.02 v -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 1800.06/1800.02 v -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 1800.06/1800.02 v -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 1800.06/1800.02 v -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 1800.06/1800.02 v -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 1800.06/1800.02 v -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 1800.06/1800.02 v -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 x6013 x6014 -x6015 1800.06/1800.02 v -x6016 -x6017 -x6018 x6019 x6020 -x6021 -x6022 -x6023 -x6024 x6025 x6026 1800.06/1800.02 v x6027 x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 1800.06/1800.02 v -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 1800.06/1800.02 v -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 1800.06/1800.02 v -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 1800.06/1800.02 v -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 1800.06/1800.02 v -x6082 -x6083 -x6084 -x6085 -x6086 x6087 x6088 -x6089 -x6090 -x6091 -x6092 1800.06/1800.02 v -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 1800.06/1800.02 v -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 x6113 x6114 1800.06/1800.02 v -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 x6123 x6124 -x6125 1800.06/1800.02 v -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 1800.06/1800.02 v x6137 x6138 x6139 x6140 -x6141 -x6142 x6143 x6144 x6145 x6146 x6147 x6148 1800.06/1800.02 v 1800.06/1800.02 s SATISFIABLE 1800.06/1800.02 1800.06/1800.02 c INTERRUPTED : 1 1800.06/1800.02 c Models : 1+ 1800.06/1800.02 c Enumerated : 2 1800.06/1800.02 c Optimum : unknown 1800.06/1800.02 c Optimization : 39 1800.06/1800.02 c Time : 1800.018s (Solving: 1799.99s 1st Model: 0.01s Unsat: 0.00s) 1800.06/1800.02 c CPU Time : 1800.060s
OK 39
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3468000-1307112229/watcher-3468000-1307112229 -o /tmp/evaluation-result-3468000-1307112229/solver-3468000-1307112229 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468000-1307112229.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2 running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.86 1.98 1.99 2/518 24118 /proc/meminfo: memFree=21595964/32951124 swapFree=58800704/67111528 [pid=24118] ppid=24116 vsize=15228 CPUtime=0.01 cores=1,3,5,7 /proc/24118/stat : 24118 (clasp) R 24116 24118 22695 0 -1 4202496 1297 0 0 0 1 0 0 0 25 0 1 0 803638358 15593472 1093 33554432000 4194304 4933572 140736514219312 18446744073709551615 4586896 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/24118/statm: 3807 1093 349 181 0 816 0 [startup+0.0342559 s] /proc/loadavg: 1.86 1.98 1.99 2/518 24118 /proc/meminfo: memFree=21595964/32951124 swapFree=58800704/67111528 [pid=24118] ppid=24116 vsize=15164 CPUtime=0.03 cores=1,3,5,7 /proc/24118/stat : 24118 (clasp) R 24116 24118 22695 0 -1 4202496 1448 0 0 0 3 0 0 0 25 0 1 0 803638358 15527936 1146 33554432000 4194304 4933572 140736514219312 18446744073709551615 4630721 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/24118/statm: 3791 1146 370 181 0 800 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 15164 [startup+0.100244 s] /proc/loadavg: 1.86 1.98 1.99 2/518 24118 /proc/meminfo: memFree=21595964/32951124 swapFree=58800704/67111528 [pid=24118] ppid=24116 vsize=15164 CPUtime=0.09 cores=1,3,5,7 /proc/24118/stat : 24118 (clasp) R 24116 24118 22695 0 -1 4202496 1464 0 0 0 9 0 0 0 25 0 1 0 803638358 15527936 1162 33554432000 4194304 4933572 140736514219312 18446744073709551615 4340846 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/24118/statm: 3791 1162 384 181 0 800 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15164 [startup+0.300197 s] /proc/loadavg: 1.86 1.98 1.99 2/518 24118 /proc/meminfo: memFree=21595964/32951124 swapFree=58800704/67111528 [pid=24118] ppid=24116 vsize=15164 CPUtime=0.29 cores=1,3,5,7 /proc/24118/stat : 24118 (clasp) R 24116 24118 22695 0 -1 4202496 1465 0 0 0 29 0 0 0 25 0 1 0 803638358 15527936 1163 33554432000 4194304 4933572 140736514219312 18446744073709551615 4369115 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/24118/statm: 3791 1163 385 181 0 800 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15164 [startup+0.700121 s] /proc/loadavg: 1.86 1.98 1.99 2/518 24118 /proc/meminfo: memFree=21595964/32951124 swapFree=58800704/67111528 [pid=24118] ppid=24116 vsize=15320 CPUtime=0.69 cores=1,3,5,7 /proc/24118/stat : 24118 (clasp) R 24116 24118 22695 0 -1 4202496 1495 0 0 0 69 0 0 0 25 0 1 0 803638358 15687680 1193 33554432000 4194304 4933572 140736514219312 18446744073709551615 4368901 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/24118/statm: 3830 1193 385 181 0 839 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15320 [startup+1.50099 s] /proc/loadavg: 1.86 1.98 1.99 3/519 24119 /proc/meminfo: memFree=21591508/32951124 swapFree=58800704/67111528 [pid=24118] ppid=24116 vsize=15584 CPUtime=1.49 cores=1,3,5,7 /proc/24118/stat : 24118 (clasp) R 24116 24118 22695 0 -1 4202496 1546 0 0 0 149 0 0 0 25 0 1 0 803638358 15958016 1244 33554432000 4194304 4933572 140736514219312 18446744073709551615 4637466 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/24118/statm: 3896 1244 385 181 0 905 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15584 [startup+3.10068 s] /proc/loadavg: 1.86 1.98 1.99 3/519 24119 /proc/meminfo: memFree=21590268/32951124 swapFree=58800704/67111528 [pid=24118] ppid=24116 vsize=15980 CPUtime=3.09 cores=1,3,5,7 /proc/24118/stat : 24118 (clasp) R 24116 24118 22695 0 -1 4202496 1664 0 0 0 309 0 0 0 25 0 1 0 803638358 16363520 1362 33554432000 4194304 4933572 140736514219312 18446744073709551615 4368960 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/24118/statm: 3995 1362 385 181 0 1004 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15980 [startup+6.3011 s] /proc/loadavg: 1.87 1.98 1.99 3/522 24143 /proc/meminfo: memFree=21636788/32951124 swapFree=58800704/67111528 [pid=24118] ppid=24116 vsize=16524 CPUtime=6.29 cores=1,3,5,7 /proc/24118/stat : 24118 (clasp) R 24116 24118 22695 0 -1 4202496 1784 0 0 0 629 0 0 0 25 0 1 0 803638358 16920576 1482 33554432000 4194304 4933572 140736514219312 18446744073709551615 4649207 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/24118/statm: 4131 1482 385 181 0 1140 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16524 [startup+12.7009 s] /proc/loadavg: 1.88 1.98 1.99 3/522 24143 /proc/meminfo: memFree=21634384/32951124 swapFree=58800704/67111528 [pid=24118] ppid=24116 vsize=17228 CPUtime=12.69 cores=1,3,5,7 /proc/24118/stat : 24118 (clasp) R 24116 24118 22695 0 -1 4202496 1973 0 0 0 1269 0 0 0 25 0 1 0 803638358 17641472 1671 33554432000 4194304 4933572 140736514219312 18446744073709551615 4649211 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/24118/statm: 4307 1671 385 181 0 1316 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17228 [startup+25.5006 s] /proc/loadavg: 1.91 1.98 1.99 3/522 24143 /proc/meminfo: memFree=21630940/32951124 swapFree=58800704/67111528 [pid=24118] ppid=24116 vsize=18220 CPUtime=25.49 cores=1,3,5,7 /proc/24118/stat : 24118 (clasp) R 24116 24118 22695 0 -1 4202496 2197 0 0 0 2549 0 0 0 25 0 1 0 803638358 18657280 1895 33554432000 4194304 4933572 140736514219312 18446744073709551615 4414924 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/24118/statm: 4555 1895 385 181 0 1564 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 18220 [startup+51.1009 s] /proc/loadavg: 1.94 1.98 1.99 3/522 24144 /proc/meminfo: memFree=21628748/32951124 swapFree=58800704/67111528 [pid=24118] ppid=24116 vsize=19500 CPUtime=51.09 cores=1,3,5,7 /proc/24118/stat : 24118 (clasp) R 24116 24118 22695 0 -1 4202496 2513 0 0 0 5109 0 0 0 25 0 1 0 803638358 19968000 2211 33554432000 4194304 4933572 140736514219312 18446744073709551615 4429005 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/24118/statm: 4875 2211 385 181 0 1884 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 19500 [startup+102.319 s] /proc/loadavg: 1.97 1.98 1.99 3/522 24145 /proc/meminfo: memFree=21626116/32951124 swapFree=58800704/67111528 [pid=24118] ppid=24116 vsize=20748 CPUtime=102.31 cores=1,3,5,7 /proc/24118/stat : 24118 (clasp) R 24116 24118 22695 0 -1 4202496 2789 0 0 0 10231 0 0 0 25 0 1 0 803638358 21245952 2487 33554432000 4194304 4933572 140736514219312 18446744073709551615 4664508 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/24118/statm: 5187 2487 385 181 0 2196 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 20748 [startup+162.3 s] /proc/loadavg: 1.99 1.98 1.99 3/522 24147 /proc/meminfo: memFree=21622716/32951124 swapFree=58800704/67111528 [pid=24118] ppid=24116 vsize=21344 CPUtime=162.29 cores=1,3,5,7 /proc/24118/stat : 24118 (clasp) R 24116 24118 22695 0 -1 4202496 2942 0 0 0 16229 0 0 0 25 0 1 0 803638358 21856256 2640 33554432000 4194304 4933572 140736514219312 18446744073709551615 4368936 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/24118/statm: 5336 2640 385 181 0 2345 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 21344 [startup+222.3 s] /proc/loadavg: 2.04 2.00 1.99 3/522 24149 /proc/meminfo: memFree=21620784/32951124 swapFree=58800704/67111528 [pid=24118] ppid=24116 vsize=22784 CPUtime=222.3 cores=1,3,5,7 /proc/24118/stat : 24118 (clasp) R 24116 24118 22695 0 -1 4202496 3298 0 0 0 22230 0 0 0 25 0 1 0 803638358 23330816 2996 33554432000 4194304 4933572 140736514219312 18446744073709551615 4369056 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/24118/statm: 5696 2996 385 181 0 2705 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 22784 [startup+282.3 s] /proc/loadavg: 2.14 2.04 2.01 3/522 24150 /proc/meminfo: memFree=21619616/32951124 swapFree=58800704/67111528 [pid=24118] ppid=24116 vsize=23864 CPUtime=282.3 cores=1,3,5,7 /proc/24118/stat : 24118 (clasp) R 24116 24118 22695 0 -1 4202496 3512 0 0 0 28230 0 0 0 25 0 1 0 803638358 24436736 3210 33554432000 4194304 4933572 140736514219312 18446744073709551615 4648904 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/24118/statm: 5966 3210 385 181 0 2975 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 23864 [startup+342.3 s] /proc/loadavg: 2.05 2.03 2.00 3/522 24152 /proc/meminfo: memFree=21617560/32951124 swapFree=58800704/67111528 [pid=24118] ppid=24116 vsize=24468 CPUtime=342.3 cores=1,3,5,7 /proc/24118/stat : 24118 (clasp) R 24116 24118 22695 0 -1 4202496 3664 0 0 0 34230 0 0 0 25 0 1 0 803638358 25055232 3362 33554432000 4194304 4933572 140736514219312 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/24118/statm: 6117 3362 385 181 0 3126 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 24468 [startup+402.3 s] /proc/loadavg: 2.02 2.02 2.00 3/522 24153 /proc/meminfo: memFree=21616608/32951124 swapFree=58800704/67111528 [pid=24118] ppid=24116 vsize=24808 CPUtime=402.3 cores=1,3,5,7 /proc/24118/stat : 24118 (clasp) R 24116 24118 22695 0 -1 4202496 3721 0 0 0 40230 0 0 0 25 0 1 0 803638358 25403392 3419 33554432000 4194304 4933572 140736514219312 18446744073709551615 4363376 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/24118/statm: 6202 3419 385 181 0 3211 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 24808 [startup+462.3 s] /proc/loadavg: 2.00 2.02 2.00 3/522 24155 /proc/meminfo: memFree=21615536/32951124 swapFree=58800704/67111528 [pid=24118] ppid=24116 vsize=25192 CPUtime=462.3 cores=1,3,5,7 /proc/24118/stat : 24118 (clasp) R 24116 24118 22695 0 -1 4202496 3834 0 0 0 46230 0 0 0 25 0 1 0 803638358 25796608 3532 33554432000 4194304 4933572 140736514219312 18446744073709551615 4664505 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/24118/statm: 6298 3532 385 181 0 3307 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 25192 [startup+522.3 s] /proc/loadavg: 2.00 2.01 2.00 3/522 24157 /proc/meminfo: memFree=21615612/32951124 swapFree=58800704/67111528 [pid=24118] ppid=24116 vsize=25444 CPUtime=522.3 cores=1,3,5,7 /proc/24118/stat : 24118 (clasp) R 24116 24118 22695 0 -1 4202496 3873 0 0 0 52230 0 0 0 25 0 1 0 803638358 26054656 3571 33554432000 4194304 4933572 140736514219312 18446744073709551615 4368367 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/24118/statm: 6361 3571 385 181 0 3370 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 25444 [startup+582.3 s] /proc/loadavg: 2.00 2.01 2.00 3/522 24158 /proc/meminfo: memFree=21614804/32951124 swapFree=58800704/67111528 [pid=24118] ppid=24116 vsize=25444 CPUtime=582.31 cores=1,3,5,7 /proc/24118/stat : 24118 (clasp) R 24116 24118 22695 0 -1 4202496 3883 0 0 0 58231 0 0 0 25 0 1 0 803638358 26054656 3581 33554432000 4194304 4933572 140736514219312 18446744073709551615 4649747 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/24118/statm: 6361 3581 385 181 0 3370 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 25444 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.17 2.06 2.01 3/522 24165 /proc/meminfo: memFree=21610576/32951124 swapFree=58800704/67111528 [pid=24118] ppid=24116 vsize=27952 CPUtime=822.31 cores=1,3,5,7 /proc/24118/stat : 24118 (clasp) R 24116 24118 22695 0 -1 4202496 4486 0 0 0 82231 0 0 0 25 0 1 0 803638358 28622848 4184 33554432000 4194304 4933572 140736514219312 18446744073709551615 4649355 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/24118/statm: 6988 4184 385 181 0 3997 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 27952 [startup+882.3 s] /proc/loadavg: 2.06 2.04 2.01 3/522 24166 /proc/meminfo: memFree=21609148/32951124 swapFree=58800704/67111528 [pid=24118] ppid=24116 vsize=28276 CPUtime=882.31 cores=1,3,5,7 /proc/24118/stat : 24118 (clasp) R 24116 24118 22695 0 -1 4202496 4550 0 0 0 88231 0 0 0 25 0 1 0 803638358 28954624 4248 33554432000 4194304 4933572 140736514219312 18446744073709551615 4429120 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/24118/statm: 7069 4248 385 181 0 4078 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 28276 [startup+942.3 s] /proc/loadavg: 2.02 2.03 2.00 3/522 24168 /proc/meminfo: memFree=21608588/32951124 swapFree=58800704/67111528 [pid=24118] ppid=24116 vsize=28452 CPUtime=942.32 cores=1,3,5,7 /proc/24118/stat : 24118 (clasp) R 24116 24118 22695 0 -1 4202496 4622 0 0 0 94232 0 0 0 25 0 1 0 803638358 29134848 4320 33554432000 4194304 4933572 140736514219312 18446744073709551615 4331712 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/24118/statm: 7113 4320 385 181 0 4122 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 28452 [startup+1002.3 s] /proc/loadavg: 2.01 2.02 2.00 3/522 24169 /proc/meminfo: memFree=21607280/32951124 swapFree=58800704/67111528 [pid=24118] ppid=24116 vsize=29476 CPUtime=1002.32 cores=1,3,5,7 /proc/24118/stat : 24118 (clasp) R 24116 24118 22695 0 -1 4202496 4832 0 0 0 100232 0 0 0 25 0 1 0 803638358 30183424 4530 33554432000 4194304 4933572 140736514219312 18446744073709551615 4630798 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/24118/statm: 7369 4530 387 181 0 4378 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 29476 [startup+1062.3 s] /proc/loadavg: 2.00 2.02 2.00 3/522 24180 /proc/meminfo: memFree=21607244/32951124 swapFree=58800704/67111528 [pid=24118] ppid=24116 vsize=29476 CPUtime=1062.32 cores=1,3,5,7 /proc/24118/stat : 24118 (clasp) R 24116 24118 22695 0 -1 4202496 4849 0 0 0 106232 0 0 0 25 0 1 0 803638358 30183424 4547 33554432000 4194304 4933572 140736514219312 18446744073709551615 4369145 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/24118/statm: 7369 4547 387 181 0 4378 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 29476 [startup+1122.3 s] /proc/loadavg: 2.00 2.01 2.00 3/522 24182 /proc/meminfo: memFree=21606928/32951124 swapFree=58800704/67111528 [pid=24118] ppid=24116 vsize=29828 CPUtime=1122.32 cores=1,3,5,7 /proc/24118/stat : 24118 (clasp) R 24116 24118 22695 0 -1 4202496 4909 0 0 0 112232 0 0 0 25 0 1 0 803638358 30543872 4607 33554432000 4194304 4933572 140736514219312 18446744073709551615 4369115 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/24118/statm: 7457 4607 387 181 0 4466 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 29828 [startup+1182.3 s] /proc/loadavg: 2.00 2.01 2.00 3/522 24183 /proc/meminfo: memFree=21605856/32951124 swapFree=58800704/67111528 [pid=24118] ppid=24116 vsize=29828 CPUtime=1182.32 cores=1,3,5,7 /proc/24118/stat : 24118 (clasp) R 24116 24118 22695 0 -1 4202496 4937 0 0 0 118232 0 0 0 25 0 1 0 803638358 30543872 4635 33554432000 4194304 4933572 140736514219312 18446744073709551615 4429168 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/24118/statm: 7457 4635 387 181 0 4466 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 29828 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/522 24185 /proc/meminfo: memFree=21604676/32951124 swapFree=58800704/67111528 [pid=24118] ppid=24116 vsize=29828 CPUtime=1242.33 cores=1,3,5,7 /proc/24118/stat : 24118 (clasp) R 24116 24118 22695 0 -1 4202496 4943 0 0 0 124233 0 0 0 25 0 1 0 803638358 30543872 4641 33554432000 4194304 4933572 140736514219312 18446744073709551615 4664550 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/24118/statm: 7457 4641 387 181 0 4466 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 29828 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/522 24186 /proc/meminfo: memFree=21602612/32951124 swapFree=58800704/67111528 [pid=24118] ppid=24116 vsize=30224 CPUtime=1302.34 cores=1,3,5,7 /proc/24118/stat : 24118 (clasp) R 24116 24118 22695 0 -1 4202496 5008 0 0 0 130234 0 0 0 25 0 1 0 803638358 30949376 4706 33554432000 4194304 4933572 140736514219312 18446744073709551615 4333283 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/24118/statm: 7556 4706 387 181 0 4565 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 30224 [startup+1362.3 s] /proc/loadavg: 2.21 2.07 2.02 3/522 24188 /proc/meminfo: memFree=21602196/32951124 swapFree=58800704/67111528 [pid=24118] ppid=24116 vsize=30476 CPUtime=1362.33 cores=1,3,5,7 /proc/24118/stat : 24118 (clasp) R 24116 24118 22695 0 -1 4202496 5086 0 0 0 136233 0 0 0 25 0 1 0 803638358 31207424 4784 33554432000 4194304 4933572 140736514219312 18446744073709551615 4664539 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/24118/statm: 7619 4784 387 181 0 4628 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 30476 [startup+1422.32 s] /proc/loadavg: 2.08 2.05 2.02 3/522 24190 /proc/meminfo: memFree=21601384/32951124 swapFree=58800704/67111528 [pid=24118] ppid=24116 vsize=30476 CPUtime=1422.35 cores=1,3,5,7 /proc/24118/stat : 24118 (clasp) R 24116 24118 22695 0 -1 4202496 5089 0 0 0 142235 0 0 0 25 0 1 0 803638358 31207424 4787 33554432000 4194304 4933572 140736514219312 18446744073709551615 4649198 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/24118/statm: 7619 4787 387 181 0 4628 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 30476 [startup+1482.3 s] /proc/loadavg: 2.03 2.04 2.01 3/522 24191 /proc/meminfo: memFree=21601208/32951124 swapFree=58800704/67111528 [pid=24118] ppid=24116 vsize=31500 CPUtime=1482.33 cores=1,3,5,7 /proc/24118/stat : 24118 (clasp) R 24116 24118 22695 0 -1 4202496 5308 0 0 0 148233 0 0 0 25 0 1 0 803638358 32256000 5006 33554432000 4194304 4933572 140736514219312 18446744073709551615 4368967 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/24118/statm: 7875 5006 387 181 0 4884 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 31500 [startup+1542.3 s] /proc/loadavg: 2.01 2.03 2.00 3/522 24193 /proc/meminfo: memFree=21601384/32951124 swapFree=58800704/67111528 [pid=24118] ppid=24116 vsize=32308 CPUtime=1542.33 cores=1,3,5,7 /proc/24118/stat : 24118 (clasp) R 24116 24118 22695 0 -1 4202496 5489 0 0 0 154233 0 0 0 25 0 1 0 803638358 33083392 5187 33554432000 4194304 4933572 140736514219312 18446744073709551615 4428077 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/24118/statm: 8077 5187 387 181 0 5086 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 32308 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.00 3/522 24194 /proc/meminfo: memFree=21600956/32951124 swapFree=58800704/67111528 [pid=24118] ppid=24116 vsize=32644 CPUtime=1602.34 cores=1,3,5,7 /proc/24118/stat : 24118 (clasp) R 24116 24118 22695 0 -1 4202496 5552 0 0 0 160234 0 0 0 25 0 1 0 803638358 33427456 5250 33554432000 4194304 4933572 140736514219312 18446744073709551615 4649329 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/24118/statm: 8161 5250 387 181 0 5170 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 32644 [startup+1662.3 s] /proc/loadavg: 2.00 2.02 2.00 3/522 24196 /proc/meminfo: memFree=21600520/32951124 swapFree=58800704/67111528 [pid=24118] ppid=24116 vsize=33152 CPUtime=1662.34 cores=1,3,5,7 /proc/24118/stat : 24118 (clasp) R 24116 24118 22695 0 -1 4202496 5654 0 0 0 166234 0 0 0 25 0 1 0 803638358 33947648 5352 33554432000 4194304 4933572 140736514219312 18446744073709551615 4428404 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/24118/statm: 8288 5352 387 181 0 5297 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 33152 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.00 3/522 24198 /proc/meminfo: memFree=21598464/32951124 swapFree=58800704/67111528 [pid=24118] ppid=24116 vsize=33732 CPUtime=1722.34 cores=1,3,5,7 /proc/24118/stat : 24118 (clasp) R 24116 24118 22695 0 -1 4202496 5792 0 0 0 172234 0 0 0 25 0 1 0 803638358 34541568 5490 33554432000 4194304 4933572 140736514219312 18446744073709551615 4429136 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/24118/statm: 8433 5490 387 181 0 5442 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 33732 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.00 3/522 24199 /proc/meminfo: memFree=21596404/32951124 swapFree=58800704/67111528 [pid=24118] ppid=24116 vsize=33944 CPUtime=1782.34 cores=1,3,5,7 /proc/24118/stat : 24118 (clasp) R 24116 24118 22695 0 -1 4202496 5836 0 0 0 178234 0 0 0 25 0 1 0 803638358 34758656 5534 33554432000 4194304 4933572 140736514219312 18446744073709551615 4630773 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/24118/statm: 8486 5534 387 181 0 5495 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 33944 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 4/522 24200 /proc/meminfo: memFree=21596984/32951124 swapFree=58800704/67111528 [pid=24118] ppid=24116 vsize=34084 CPUtime=1800.06 cores=1,3,5,7 /proc/24118/stat : 24118 (clasp) R 24116 24118 22695 0 -1 4202496 5856 0 0 0 180006 0 0 0 25 0 1 0 803638358 34902016 5554 33554432000 4194304 4933572 140736514219312 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/24118/statm: 8521 5554 387 181 0 5530 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 34084 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 10 Real time (s): 1800.02 CPU time (s): 1800.08 CPU user time (s): 1800.07 CPU system time (s): 0.009998 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 34084 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.07 system time used= 0.009998 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5864 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= 10 involuntary context switches= 2932 runsolver used 8.59769 second user time and 20.9978 second system time The end
Begin job on node142 at 2011-06-03 16:43:49 IDJOB=3468000 IDBENCH=24991 IDSOLVER=1958 FILE ID=node142/3468000-1307112229 RUNJOBID= node142-1307108613-23902 PBS_JOBID= 13497966 Free space on /tmp= 73868 MiB SOLVER NAME= clasp 2.0-R4191 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_009_area_delay.opb COMMAND LINE= HOME/clasp BENCHNAME --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3468000-1307112229/watcher-3468000-1307112229 -o /tmp/evaluation-result-3468000-1307112229/solver-3468000-1307112229 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468000-1307112229.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2aa6eb5ee09e1484657dfe3626167241 RANDOM SEED=2048921856 node142.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.846 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.69 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.846 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 : 5131.95 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.846 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.846 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.67 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.846 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.81 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.846 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.846 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.846 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 21596244 kB Buffers: 239356 kB Cached: 442864 kB SwapCached: 11452 kB Active: 9327296 kB Inactive: 1766892 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 21596244 kB SwapTotal: 67111528 kB SwapFree: 58800704 kB Dirty: 1708 kB Writeback: 0 kB AnonPages: 10409464 kB Mapped: 31580 kB Slab: 115508 kB PageTables: 75016 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 145379664 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= 73920 MiB End job on node142 at 2011-06-03 17:13:51