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