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