| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| clasp 2.0.6-R5325 (opt) | SAT (TO) | 29 | 1800.11 | 1800.41 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_5.opb |
| MD5SUM | 130be24ef6faf784c5a8bf386cbf11b2 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 20 |
| Best CPU time to get the best result obtained on this benchmark | 47.4058 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 21 |
| Optimality of the best value was proved | NO |
| Number of variables | 5499 |
| Total number of constraints | 19319 |
| Number of constraints which are clauses | 19312 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 613 |
| Number of terms in the objective function | 613 |
| 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 | 613 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 643 |
| Number of bits of the biggest sum of numbers | 10 |
| 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=-1,50,160,-1,1 --heuristic=Vsids --restarts=256 --dinit=1000,10000 --del=3.0,1.1,10.0 --recursive-str --update-lbd --dglue=2 --otfs=2 --dgrowS=100,1.5 --reverse-arcs=2 --dsched=+,10000,2000 --dfrac=0.5 --opt-heu=2 --restart-on-model 0.00/0.00 c clasp version 2.0.6 0.00/0.00 c Reading from ...174479/instance-3709307-1338174479.opb 0.00/0.06 c Solving... 0.00/0.06 o 29 1800.10/1800.40 1800.10/1800.40 *** INTERRUPTED! *** 1800.10/1800.40 c Answer: 1 1800.10/1800.40 v x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 1800.10/1800.40 v -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 1800.10/1800.40 v -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 1800.10/1800.40 v -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 1800.10/1800.40 v -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 1800.10/1800.40 v -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 1800.10/1800.40 v -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 1800.10/1800.40 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 1800.10/1800.40 v -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 1800.10/1800.40 v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 1800.10/1800.40 v -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 1800.10/1800.40 v -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 1800.10/1800.40 v -x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 x177 -x178 1800.10/1800.40 v -x179 x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 -x190 -x191 1800.10/1800.40 v -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 1800.10/1800.40 v -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 1800.10/1800.40 v -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 1800.10/1800.40 v -x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 1800.10/1800.40 v -x240 -x241 -x242 x243 -x244 -x245 -x246 x247 -x248 -x249 -x250 -x251 -x252 1800.10/1800.40 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 1800.10/1800.40 v -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 1800.10/1800.40 v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 1800.10/1800.40 v -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 1800.10/1800.40 v -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 1800.10/1800.40 v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 1800.10/1800.40 v -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1800.10/1800.40 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 1800.10/1800.40 v -x349 x350 -x351 -x352 -x353 -x354 x355 -x356 -x357 -x358 -x359 -x360 -x361 1800.10/1800.40 v -x362 -x363 -x364 x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 1800.10/1800.40 v -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 1800.10/1800.40 v -x386 -x387 -x388 -x389 x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 1800.10/1800.40 v -x398 -x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 1800.10/1800.40 v -x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 1800.10/1800.40 v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 1800.10/1800.40 v -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 1800.10/1800.40 v -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 1800.10/1800.40 v -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 1800.10/1800.40 v -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 1800.10/1800.40 v -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 1800.10/1800.40 v -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 1800.10/1800.40 v -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 1800.10/1800.40 v -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 1800.10/1800.40 v -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 1800.10/1800.40 v -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 1800.10/1800.40 v -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 1800.10/1800.40 v -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 1800.10/1800.40 v -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 1800.10/1800.40 v -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 1800.10/1800.40 v -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 1800.10/1800.40 v -x614 -x615 -x616 -x617 -x618 -x619 x620 -x621 -x622 -x623 -x624 -x625 1800.10/1800.40 v -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 1800.10/1800.40 v -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 1800.10/1800.40 v -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 1800.10/1800.40 v -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 1800.10/1800.40 v -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 1800.10/1800.40 v -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 1800.10/1800.40 v -x698 -x699 x700 -x701 -x702 -x703 x704 -x705 -x706 -x707 -x708 -x709 -x710 1800.10/1800.40 v -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 x719 -x720 -x721 -x722 1800.10/1800.40 v -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1800.10/1800.40 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 1800.10/1800.40 v -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 1800.10/1800.40 v -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 1800.10/1800.40 v -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 1800.10/1800.40 v -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 1800.10/1800.40 v -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 1800.10/1800.40 v -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 1800.10/1800.40 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 1800.10/1800.40 v -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 1800.10/1800.40 v -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 1800.10/1800.40 v -x855 -x856 x857 -x858 -x859 -x860 -x861 -x862 x863 -x864 -x865 -x866 -x867 1800.10/1800.40 v -x868 -x869 -x870 -x871 -x872 x873 -x874 -x875 -x876 -x877 -x878 -x879 1800.10/1800.40 v x880 -x881 -x882 -x883 -x884 x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 1800.10/1800.40 v -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 1800.10/1800.40 v -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 1800.10/1800.40 v -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 1800.10/1800.40 v -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 1800.10/1800.40 v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 1800.10/1800.40 v -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 1800.10/1800.40 v -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 1800.10/1800.40 v -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 1800.10/1800.40 v -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 1800.10/1800.40 v -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 x1007 x1008 -x1009 -x1010 -x1011 1800.10/1800.40 v -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 1800.10/1800.40 v x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 1800.10/1800.40 v -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 1800.10/1800.40 v -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 1800.10/1800.40 v -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 1800.10/1800.40 v -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 1800.10/1800.40 v -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 1800.10/1800.40 v -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 1800.10/1800.40 v -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 1800.10/1800.40 v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 1800.10/1800.40 v -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 1800.10/1800.40 v -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 1800.10/1800.40 v -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 1800.10/1800.40 v -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 1800.10/1800.40 v -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 1800.10/1800.40 v -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 1800.10/1800.40 v -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 1800.10/1800.40 v -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 1800.10/1800.40 v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 1800.10/1800.40 v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 1800.10/1800.40 v -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 1800.10/1800.40 v -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 1800.10/1800.40 v -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 1800.10/1800.40 v -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 1800.10/1800.40 v -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 1800.10/1800.40 v -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 1800.10/1800.40 v -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 x1308 1800.10/1800.40 v -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 1800.10/1800.40 v x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 1800.10/1800.40 v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 1800.10/1800.40 v -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 1800.10/1800.40 v -x1353 -x1354 -x1355 x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 1800.10/1800.40 v -x1364 -x1365 -x1366 -x1367 x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 1800.10/1800.40 v -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 x1382 -x1383 -x1384 -x1385 1800.10/1800.40 v -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 1800.10/1800.40 v -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 1800.10/1800.40 v -x1408 -x1409 x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 1800.10/1800.40 v -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 1800.10/1800.40 v -x1430 x1431 -x1432 x1433 x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 1800.10/1800.40 v -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 1800.10/1800.40 v x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 x1459 -x1460 -x1461 -x1462 1800.10/1800.40 v -x1463 -x1464 -x1465 x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 x1473 1800.10/1800.40 v -x1474 x1475 x1476 -x1477 -x1478 -x1479 x1480 -x1481 -x1482 -x1483 -x1484 1800.10/1800.40 v -x1485 -x1486 x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 x1494 -x1495 1800.10/1800.40 v -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 1800.10/1800.40 v -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 1800.10/1800.40 v -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 1800.10/1800.40 v -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 x1536 -x1537 -x1538 -x1539 1800.10/1800.40 v -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 1800.10/1800.40 v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 1800.10/1800.40 v -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 1800.10/1800.40 v -x1573 -x1574 -x1575 -x1576 -x1577 x1578 -x1579 -x1580 -x1581 -x1582 -x1583 1800.10/1800.40 v -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 1800.10/1800.40 v -x1595 -x1596 -x1597 -x1598 x1599 x1600 x1601 -x1602 -x1603 x1604 -x1605 1800.10/1800.40 v x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 1800.10/1800.40 v -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 1800.10/1800.40 v -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 1800.10/1800.40 v -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 1800.10/1800.40 v -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 1800.10/1800.40 v -x1661 -x1662 -x1663 -x1664 -x1665 x1666 x1667 x1668 -x1669 -x1670 -x1671 1800.10/1800.40 v -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 1800.10/1800.40 v -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 1800.10/1800.40 v -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 1800.10/1800.40 v -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 1800.10/1800.40 v -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 1800.10/1800.40 v -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 1800.10/1800.40 v -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 1800.10/1800.40 v -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 1800.10/1800.40 v -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 1800.10/1800.40 v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 1800.10/1800.40 v -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 1800.10/1800.40 v -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 x1802 -x1803 1800.10/1800.40 v -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 x1814 1800.10/1800.40 v -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 1800.10/1800.40 v -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 1800.10/1800.40 v -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 1800.10/1800.40 v -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 1800.10/1800.40 v -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 1800.10/1800.40 v -x1870 -x1871 -x1872 -x1873 x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 1800.10/1800.40 v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 1800.10/1800.40 v -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 1800.10/1800.40 v -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 1800.10/1800.40 v -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 1800.10/1800.40 v -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 1800.10/1800.40 v -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 1800.10/1800.40 v -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 1800.10/1800.40 v -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 1800.10/1800.40 v -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 1800.10/1800.40 v -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 1800.10/1800.40 v -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 1800.10/1800.40 v -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 1800.10/1800.40 v -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 1800.10/1800.40 v -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 1800.10/1800.40 v -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 1800.10/1800.40 v -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 x2054 x2055 x2056 1800.10/1800.40 v x2057 -x2058 -x2059 -x2060 x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 1800.10/1800.40 v x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 x2075 -x2076 -x2077 -x2078 1800.10/1800.40 v -x2079 -x2080 -x2081 x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 1800.10/1800.40 v -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 1800.10/1800.40 v -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 1800.10/1800.40 v x2112 -x2113 -x2114 x2115 -x2116 x2117 -x2118 -x2119 -x2120 -x2121 -x2122 1800.10/1800.40 v -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 1800.10/1800.40 v -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 1800.10/1800.40 v -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 x2152 -x2153 -x2154 -x2155 1800.10/1800.40 v -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 1800.10/1800.40 v -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 x2173 -x2174 -x2175 -x2176 -x2177 1800.10/1800.40 v -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 x2187 -x2188 1800.10/1800.40 v -x2189 -x2190 -x2191 -x2192 -x2193 x2194 -x2195 -x2196 -x2197 -x2198 -x2199 1800.10/1800.40 v -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 x2208 -x2209 -x2210 1800.10/1800.40 v -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 1800.10/1800.40 v x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 x2229 -x2230 x2231 x2232 1800.10/1800.40 v -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 1800.10/1800.40 v -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 1800.10/1800.40 v -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 x2264 -x2265 1800.10/1800.40 v x2266 x2267 -x2268 -x2269 -x2270 x2271 -x2272 -x2273 -x2274 -x2275 -x2276 1800.10/1800.40 v -x2277 x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 x2285 -x2286 -x2287 1800.10/1800.40 v -x2288 -x2289 -x2290 -x2291 x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 1800.10/1800.40 v -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 1800.10/1800.40 v -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 1800.10/1800.40 v -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 1800.10/1800.40 v -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 1800.10/1800.40 v -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 1800.10/1800.40 v -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 1800.10/1800.40 v -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 1800.10/1800.40 v -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 1800.10/1800.40 v -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 1800.10/1800.40 v -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 1800.10/1800.40 v -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 1800.10/1800.40 v -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 1800.10/1800.40 v -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 1800.10/1800.40 v -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 1800.10/1800.40 v -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 1800.10/1800.40 v -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 1800.10/1800.40 v -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 1800.10/1800.40 v -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 1800.10/1800.40 v -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 1800.10/1800.40 v -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 1800.10/1800.40 v -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 1800.10/1800.40 v x2530 x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 1800.10/1800.40 v -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 1800.10/1800.40 v -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 1800.10/1800.40 v -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 1800.10/1800.40 v -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 1800.10/1800.40 v -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 1800.10/1800.40 v -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 1800.10/1800.40 v -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 1800.10/1800.40 v -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 1800.10/1800.40 v -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 1800.10/1800.40 v -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 x2647 -x2648 -x2649 -x2650 1800.10/1800.40 v -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 1800.10/1800.40 v -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 1800.10/1800.40 v -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 1800.10/1800.40 v -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 1800.10/1800.40 v -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 1800.10/1800.40 v -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 1800.10/1800.40 v -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 1800.10/1800.40 v -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 1800.10/1800.40 v -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 1800.10/1800.40 v -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 1800.10/1800.40 v -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 1800.10/1800.40 v -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 1800.10/1800.40 v -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 1800.10/1800.40 v -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 1800.10/1800.40 v -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 1800.10/1800.40 v -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 1800.10/1800.40 v -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 1800.10/1800.40 v -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 1800.10/1800.40 v -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 1800.10/1800.40 v -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 1800.10/1800.40 v -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 1800.10/1800.40 v -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 1800.10/1800.40 v -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 1800.10/1800.40 v -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 1800.10/1800.40 v -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 1800.10/1800.40 v -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 1800.10/1800.40 v -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 1800.10/1800.40 v -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 1800.10/1800.40 v -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 1800.10/1800.40 v -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 1800.10/1800.40 v -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 1800.10/1800.40 v -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 1800.10/1800.40 v -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 1800.10/1800.40 v -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 1800.10/1800.40 v -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 1800.10/1800.40 v -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 1800.10/1800.40 v -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 1800.10/1800.40 v -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 1800.10/1800.40 v -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 1800.10/1800.40 v -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 1800.10/1800.40 v -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 1800.10/1800.40 v -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 1800.10/1800.40 v -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 1800.10/1800.40 v -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 1800.10/1800.40 v -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 1800.10/1800.40 v -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 1800.10/1800.40 v -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 1800.10/1800.40 v -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 1800.10/1800.40 v -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 1800.10/1800.40 v -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 1800.10/1800.40 v -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 1800.10/1800.40 v -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 1800.10/1800.40 v -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 1800.10/1800.40 v -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 1800.10/1800.40 v -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 1800.10/1800.40 v -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 1800.10/1800.40 v -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 1800.10/1800.40 v -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 1800.10/1800.40 v -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 1800.10/1800.40 v -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 1800.10/1800.40 v -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 1800.10/1800.40 v -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 1800.10/1800.40 v -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 1800.10/1800.40 v -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 1800.10/1800.40 v -x3355 -x3356 x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 1800.10/1800.40 v -x3366 -x3367 x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 1800.10/1800.40 v -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 x3383 x3384 -x3385 -x3386 -x3387 1800.10/1800.40 v -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 x3395 -x3396 -x3397 -x3398 1800.10/1800.40 v -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 1800.10/1800.40 v -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 1800.10/1800.40 v -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 1800.10/1800.40 v -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 1800.10/1800.40 v -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 1800.10/1800.40 v -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 1800.10/1800.40 v -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 1800.10/1800.40 v -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 1800.10/1800.40 v -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 1800.10/1800.40 v -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 1800.10/1800.40 v -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 1800.10/1800.40 v -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 1800.10/1800.40 v -x3531 -x3532 x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 1800.10/1800.40 v -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 1800.10/1800.40 v -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 1800.10/1800.40 v -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 1800.10/1800.40 v -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 1800.10/1800.40 v -x3586 x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 1800.10/1800.40 v -x3597 -x3598 -x3599 -x3600 x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 1800.10/1800.40 v -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 1800.10/1800.40 v -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 x3629 1800.10/1800.40 v -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 1800.10/1800.40 v -x3641 -x3642 x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 1800.10/1800.40 v -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 1800.10/1800.40 v -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 x3671 -x3672 -x3673 1800.10/1800.40 v -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 1800.10/1800.40 v x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 1800.10/1800.40 v -x3696 -x3697 -x3698 x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 1800.10/1800.40 v -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 x3713 -x3714 -x3715 -x3716 -x3717 1800.10/1800.40 v -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 1800.10/1800.40 v -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 1800.10/1800.40 v -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 1800.10/1800.40 v -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 1800.10/1800.40 v -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 1800.10/1800.40 v -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 1800.10/1800.40 v -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 1800.10/1800.40 v -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 1800.10/1800.40 v -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 1800.10/1800.40 v -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 1800.10/1800.40 v -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 1800.10/1800.40 v x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 1800.10/1800.40 v -x3850 -x3851 -x3852 x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 1800.10/1800.40 v -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 x3867 -x3868 -x3869 -x3870 -x3871 1800.10/1800.40 v -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 1800.10/1800.40 v -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 1800.10/1800.40 v -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 1800.10/1800.40 v -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 1800.10/1800.40 v -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 x3923 -x3924 -x3925 -x3926 1800.10/1800.40 v -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 1800.10/1800.40 v -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 1800.10/1800.40 v -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 1800.10/1800.40 v -x3960 -x3961 -x3962 -x3963 -x3964 x3965 -x3966 -x3967 -x3968 -x3969 -x3970 1800.10/1800.40 v -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 1800.10/1800.40 v -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 1800.10/1800.40 v x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 1800.10/1800.40 v -x4004 -x4005 -x4006 x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 1800.10/1800.40 v -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 1800.10/1800.40 v -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 1800.10/1800.40 v -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 x4047 1800.10/1800.40 v -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 1800.10/1800.40 v -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 1800.10/1800.40 v -x4070 -x4071 -x4072 -x4073 -x4074 x4075 -x4076 x4077 -x4078 -x4079 -x4080 1800.10/1800.40 v -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 x4089 -x4090 x4091 1800.10/1800.40 v -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 1800.10/1800.40 v -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 1800.10/1800.40 v -x4114 -x4115 -x4116 x4117 -x4118 x4119 -x4120 -x4121 -x4122 -x4123 -x4124 1800.10/1800.40 v -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 x4131 -x4132 -x4133 -x4134 -x4135 1800.10/1800.40 v -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 x4145 -x4146 1800.10/1800.40 v -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 1800.10/1800.40 v -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 1800.10/1800.40 v -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 1800.10/1800.40 v -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 1800.10/1800.40 v -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 1800.10/1800.40 v -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 1800.10/1800.40 v -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 1800.10/1800.40 v -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 1800.10/1800.40 v -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 x4245 1800.10/1800.40 v -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 1800.10/1800.40 v -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 1800.10/1800.40 v -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 1800.10/1800.40 v -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 1800.10/1800.40 v -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 1800.10/1800.40 v -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 1800.10/1800.40 v -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 1800.10/1800.40 v -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 1800.10/1800.40 v -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 1800.10/1800.40 v -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 1800.10/1800.40 v -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 1800.10/1800.40 v -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 1800.10/1800.40 v x4378 x4379 -x4380 x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 1800.10/1800.40 v -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 1800.10/1800.40 v -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 1800.10/1800.40 v -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 1800.10/1800.40 v -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 1800.10/1800.40 v -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 1800.10/1800.40 v -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 1800.10/1800.40 v -x4455 -x4456 -x4457 -x4458 x4459 -x4460 x4461 -x4462 -x4463 -x4464 -x4465 1800.10/1800.40 v -x4466 -x4467 -x4468 x4469 -x4470 x4471 -x4472 -x4473 -x4474 -x4475 -x4476 1800.10/1800.40 v -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 1800.10/1800.40 v -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 1800.10/1800.40 v -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 1800.10/1800.40 v -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 1800.10/1800.40 v -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 1800.10/1800.40 v -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 1800.10/1800.40 v -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 1800.10/1800.40 v x4554 -x4555 -x4556 x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 x4564 1800.10/1800.40 v -x4565 -x4566 x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 1800.10/1800.40 v -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 1800.10/1800.40 v -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 1800.10/1800.40 v -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 1800.10/1800.40 v -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 1800.10/1800.40 v -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 1800.10/1800.40 v -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 1800.10/1800.40 v -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 1800.10/1800.40 v -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 1800.10/1800.40 v -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 1800.10/1800.40 v -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 1800.10/1800.40 v -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 1800.10/1800.40 v -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 1800.10/1800.40 v -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 1800.10/1800.40 v -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 x4729 1800.10/1800.40 v x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 1800.10/1800.40 v -x4741 x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 1800.10/1800.40 v -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 1800.10/1800.40 v -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 1800.10/1800.40 v -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 1800.10/1800.40 v -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 1800.10/1800.40 v -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 1800.10/1800.40 v -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 1800.10/1800.40 v -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 1800.10/1800.40 v -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 1800.10/1800.40 v -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 1800.10/1800.40 v -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 1800.10/1800.40 v -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 1800.10/1800.40 v -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 1800.10/1800.40 v -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 1800.10/1800.40 v -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 1800.10/1800.40 v -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 1800.10/1800.40 v -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 1800.10/1800.40 v -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 1800.10/1800.40 v -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 1800.10/1800.40 v -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 1800.10/1800.40 v -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 x4970 -x4971 1800.10/1800.40 v -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 1800.10/1800.40 v -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 1800.10/1800.40 v -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 1800.10/1800.40 v -x5005 x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 1800.10/1800.40 v -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 1800.10/1800.40 v -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 1800.10/1800.40 v -x5038 -x5039 -x5040 -x5041 x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 1800.10/1800.40 v -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 1800.10/1800.40 v -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 1800.10/1800.40 v -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 1800.10/1800.40 v -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 x5090 -x5091 -x5092 1800.10/1800.40 v -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 1800.10/1800.40 v x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 x5111 -x5112 -x5113 -x5114 1800.10/1800.40 v -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 1800.10/1800.40 v -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 1800.10/1800.40 v -x5137 -x5138 x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 x5146 -x5147 1800.10/1800.40 v -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 x5155 -x5156 x5157 -x5158 1800.10/1800.40 v x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 x5169 1800.10/1800.40 v -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 1800.10/1800.40 v -x5181 -x5182 x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 x5190 -x5191 1800.10/1800.40 v -x5192 -x5193 -x5194 -x5195 -x5196 x5197 -x5198 -x5199 -x5200 -x5201 -x5202 1800.10/1800.40 v -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 1800.10/1800.40 v x5214 -x5215 x5216 -x5217 x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 1800.10/1800.40 v -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 1800.10/1800.40 v -x5236 -x5237 -x5238 -x5239 x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 1800.10/1800.40 v -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 1800.10/1800.40 v -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 x5266 x5267 x5268 1800.10/1800.40 v -x5269 -x5270 x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 1800.10/1800.40 v x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 1800.10/1800.40 v -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 x5301 1800.10/1800.40 v -x5302 -x5303 x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 1800.10/1800.40 v -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 x5320 -x5321 -x5322 -x5323 1800.10/1800.40 v -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 1800.10/1800.40 v -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 1800.10/1800.40 v -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 1800.10/1800.40 v -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 1800.10/1800.40 v -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 1800.10/1800.40 v x5379 x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 1800.10/1800.40 v -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 1800.10/1800.40 v -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 x5411 1800.10/1800.40 v x5412 -x5413 -x5414 x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 1800.10/1800.40 v -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 1800.10/1800.40 v -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 1800.10/1800.40 v -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 1800.10/1800.40 v -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 x5462 x5463 -x5464 -x5465 -x5466 1800.10/1800.40 v x5467 -x5468 x5469 -x5470 -x5471 -x5472 x5473 -x5474 x5475 -x5476 x5477 1800.10/1800.40 v -x5478 x5479 -x5480 x5481 -x5482 x5483 -x5484 -x5485 -x5486 -x5487 -x5488 1800.10/1800.40 v x5489 -x5490 -x5491 -x5492 -x5493 -x5494 x5495 -x5496 -x5497 -x5498 x5499 1800.10/1800.40 v 1800.10/1800.40 s SATISFIABLE 1800.10/1800.40 1800.10/1800.40 c INTERRUPTED : 1 1800.10/1800.40 c Models : 1+ 1800.10/1800.40 c Optimum : unknown 1800.10/1800.40 c Optimization : 29 1800.10/1800.40 c Time : 1800.404s (Solving: 1800.34s 1st Model: 0.00s Unsat: 0.00s) 1800.10/1800.40 c CPU Time : 1800.100s
OK 29
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-3709307-1338174479/watcher-3709307-1338174479 -o /tmp/evaluation-result-3709307-1338174479/solver-3709307-1338174479 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709307-1338174479.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: 1.99 2.05 2.00 3/179 20066 /proc/meminfo: memFree=31283292/32873844 swapFree=7616/7616 [pid=20066] ppid=20064 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/20066/stat : 20066 (clasp-opt.sh) S 20064 20066 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283572724 9371648 274 33554432000 4194304 5064252 140736684539392 140736684538304 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/20066/statm: 2288 274 232 213 0 73 0 [startup+0.064841 s] /proc/loadavg: 1.99 2.05 2.00 3/179 20066 /proc/meminfo: memFree=31283292/32873844 swapFree=7616/7616 [pid=20066] ppid=20064 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/20066/stat : 20066 (clasp-opt.sh) S 20064 20066 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283572724 9371648 274 33554432000 4194304 5064252 140736684539392 140736684538304 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/20066/statm: 2288 274 232 213 0 73 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9152 [startup+0.100228 s] /proc/loadavg: 1.99 2.05 2.00 3/179 20066 /proc/meminfo: memFree=31283292/32873844 swapFree=7616/7616 [pid=20066] ppid=20064 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/20066/stat : 20066 (clasp-opt.sh) S 20064 20066 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283572724 9371648 274 33554432000 4194304 5064252 140736684539392 140736684538304 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/20066/statm: 2288 274 232 213 0 73 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9152 [startup+0.30018 s] /proc/loadavg: 1.99 2.05 2.00 3/179 20066 /proc/meminfo: memFree=31283292/32873844 swapFree=7616/7616 [pid=20066] ppid=20064 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/20066/stat : 20066 (clasp-opt.sh) S 20064 20066 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283572724 9371648 274 33554432000 4194304 5064252 140736684539392 140736684538304 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/20066/statm: 2288 274 232 213 0 73 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9152 [startup+0.700179 s] /proc/loadavg: 1.99 2.05 2.00 3/179 20066 /proc/meminfo: memFree=31283292/32873844 swapFree=7616/7616 [pid=20066] ppid=20064 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/20066/stat : 20066 (clasp-opt.sh) S 20064 20066 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283572724 9371648 274 33554432000 4194304 5064252 140736684539392 140736684538304 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/20066/statm: 2288 274 232 213 0 73 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9152 [startup+1.50022 s] /proc/loadavg: 1.99 2.05 2.00 3/181 20068 /proc/meminfo: memFree=31278904/32873844 swapFree=7616/7616 [pid=20066] ppid=20064 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/20066/stat : 20066 (clasp-opt.sh) S 20064 20066 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283572724 9371648 274 33554432000 4194304 5064252 140736684539392 140736684538304 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/20066/statm: 2288 274 232 213 0 73 0 [pid=20067] ppid=20066 vsize=6088 CPUtime=1.49 cores=0,2,4,6 /proc/20067/stat : 20067 (clasp-R5325) R 20066 20066 18057 0 -1 4202496 1443 0 0 0 149 0 0 0 20 0 1 0 283572725 6234112 1196 33554432000 4194304 6212839 140733270733008 140733270731016 4685801 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0 /proc/20067/statm: 1522 1196 240 493 0 1027 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15240 [startup+3.10021 s] /proc/loadavg: 1.99 2.05 2.00 3/181 20068 /proc/meminfo: memFree=31278400/32873844 swapFree=7616/7616 [pid=20066] ppid=20064 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/20066/stat : 20066 (clasp-opt.sh) S 20064 20066 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283572724 9371648 274 33554432000 4194304 5064252 140736684539392 140736684538304 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/20066/statm: 2288 274 232 213 0 73 0 [pid=20067] ppid=20066 vsize=6484 CPUtime=3.09 cores=0,2,4,6 /proc/20067/stat : 20067 (clasp-R5325) R 20066 20066 18057 0 -1 4202496 1543 0 0 0 309 0 0 0 20 0 1 0 283572725 6639616 1296 33554432000 4194304 6212839 140733270733008 140733270731160 4635502 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0 /proc/20067/statm: 1621 1296 240 493 0 1126 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15636 [startup+6.30022 s] /proc/loadavg: 1.99 2.05 2.00 3/181 20068 /proc/meminfo: memFree=31277656/32873844 swapFree=7616/7616 [pid=20066] ppid=20064 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/20066/stat : 20066 (clasp-opt.sh) S 20064 20066 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283572724 9371648 274 33554432000 4194304 5064252 140736684539392 140736684538304 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/20066/statm: 2288 274 232 213 0 73 0 [pid=20067] ppid=20066 vsize=7144 CPUtime=6.29 cores=0,2,4,6 /proc/20067/stat : 20067 (clasp-R5325) R 20066 20066 18057 0 -1 4202496 1720 0 0 0 629 0 0 0 20 0 1 0 283572725 7315456 1473 33554432000 4194304 6212839 140733270733008 140733270731016 4635475 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0 /proc/20067/statm: 1786 1473 240 493 0 1291 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16296 [startup+12.7002 s] /proc/loadavg: 1.99 2.05 2.00 3/181 20068 /proc/meminfo: memFree=31276564/32873844 swapFree=7616/7616 [pid=20066] ppid=20064 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/20066/stat : 20066 (clasp-opt.sh) S 20064 20066 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283572724 9371648 274 33554432000 4194304 5064252 140736684539392 140736684538304 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/20066/statm: 2288 274 232 213 0 73 0 [pid=20067] ppid=20066 vsize=7816 CPUtime=12.69 cores=0,2,4,6 /proc/20067/stat : 20067 (clasp-R5325) R 20066 20066 18057 0 -1 4202496 1895 0 0 0 1269 0 0 0 20 0 1 0 283572725 8003584 1648 33554432000 4194304 6212839 140733270733008 140733270731160 4685736 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0 /proc/20067/statm: 1954 1648 240 493 0 1459 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16968 [startup+25.5002 s] /proc/loadavg: 1.99 2.05 2.00 3/181 20068 /proc/meminfo: memFree=31275696/32873844 swapFree=7616/7616 [pid=20066] ppid=20064 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/20066/stat : 20066 (clasp-opt.sh) S 20064 20066 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283572724 9371648 274 33554432000 4194304 5064252 140736684539392 140736684538304 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/20066/statm: 2288 274 232 213 0 73 0 [pid=20067] ppid=20066 vsize=9012 CPUtime=25.49 cores=0,2,4,6 /proc/20067/stat : 20067 (clasp-R5325) R 20066 20066 18057 0 -1 4202496 2192 0 0 0 2549 0 0 0 20 0 1 0 283572725 9228288 1945 33554432000 4194304 6212839 140733270733008 140733270731016 4424505 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0 /proc/20067/statm: 2253 1945 240 493 0 1758 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 18164 [startup+51.1002 s] /proc/loadavg: 1.99 2.04 2.00 3/181 20068 /proc/meminfo: memFree=31273956/32873844 swapFree=7616/7616 [pid=20066] ppid=20064 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/20066/stat : 20066 (clasp-opt.sh) S 20064 20066 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283572724 9371648 274 33554432000 4194304 5064252 140736684539392 140736684538304 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/20066/statm: 2288 274 232 213 0 73 0 [pid=20067] ppid=20066 vsize=10644 CPUtime=51.08 cores=0,2,4,6 /proc/20067/stat : 20067 (clasp-R5325) R 20066 20066 18057 0 -1 4202496 2578 0 0 0 5108 0 0 0 20 0 1 0 283572725 10899456 2335 33554432000 4194304 6212839 140733270733008 140733270731160 4372106 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0 /proc/20067/statm: 2661 2335 240 493 0 2166 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 19796 [startup+102.306 s] /proc/loadavg: 1.99 2.03 2.00 3/181 20068 /proc/meminfo: memFree=31271352/32873844 swapFree=7616/7616 [pid=20066] ppid=20064 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/20066/stat : 20066 (clasp-opt.sh) S 20064 20066 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283572724 9371648 274 33554432000 4194304 5064252 140736684539392 140736684538304 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/20066/statm: 2288 274 232 213 0 73 0 [pid=20067] ppid=20066 vsize=12964 CPUtime=102.28 cores=0,2,4,6 /proc/20067/stat : 20067 (clasp-R5325) R 20066 20066 18057 0 -1 4202496 3159 0 0 0 10228 0 0 0 20 0 1 0 283572725 13275136 2916 33554432000 4194304 6212839 140733270733008 140733270731160 4635475 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0 /proc/20067/statm: 3241 2916 240 493 0 2746 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 22116 [startup+162.3 s] /proc/loadavg: 1.99 2.03 2.00 3/182 20071 /proc/meminfo: memFree=31269048/32873844 swapFree=7616/7616 [pid=20066] ppid=20064 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/20066/stat : 20066 (clasp-opt.sh) S 20064 20066 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283572724 9371648 274 33554432000 4194304 5064252 140736684539392 140736684538304 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/20066/statm: 2288 274 232 213 0 73 0 [pid=20067] ppid=20066 vsize=15164 CPUtime=162.26 cores=0,2,4,6 /proc/20067/stat : 20067 (clasp-R5325) R 20066 20066 18057 0 -1 4202496 3692 0 0 0 16226 0 0 0 20 0 1 0 283572725 15527936 3452 33554432000 4194304 6212839 140733270733008 140733270731160 4635502 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0 /proc/20067/statm: 3791 3452 240 493 0 3296 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 24316 [startup+222.3 s] /proc/loadavg: 1.99 2.02 2.00 3/181 20071 /proc/meminfo: memFree=31266820/32873844 swapFree=7616/7616 [pid=20066] ppid=20064 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/20066/stat : 20066 (clasp-opt.sh) S 20064 20066 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283572724 9371648 274 33554432000 4194304 5064252 140736684539392 140736684538304 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/20066/statm: 2288 274 232 213 0 73 0 [pid=20067] ppid=20066 vsize=17368 CPUtime=222.24 cores=0,2,4,6 /proc/20067/stat : 20067 (clasp-R5325) R 20066 20066 18057 0 -1 4202496 4232 0 0 0 22224 0 0 0 20 0 1 0 283572725 17784832 4014 33554432000 4194304 6212839 140733270733008 140733270731016 4635600 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0 /proc/20067/statm: 4342 4014 240 493 0 3847 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 26520 [startup+282.3 s] /proc/loadavg: 1.99 2.01 2.00 3/177 20118 /proc/meminfo: memFree=31362936/32873844 swapFree=7616/7616 [pid=20066] ppid=20064 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/20066/stat : 20066 (clasp-opt.sh) S 20064 20066 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283572724 9371648 274 33554432000 4194304 5064252 140736684539392 140736684538304 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/20066/statm: 2288 274 232 213 0 73 0 [pid=20067] ppid=20066 vsize=18292 CPUtime=282.23 cores=0,2,4,6 /proc/20067/stat : 20067 (clasp-R5325) R 20066 20066 18057 0 -1 4202496 4466 0 0 0 28223 0 0 0 20 0 1 0 283572725 18731008 4248 33554432000 4194304 6212839 140733270733008 140733270731160 4635082 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0 /proc/20067/statm: 4573 4248 240 493 0 4078 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 27444 [startup+342.3 s] /proc/loadavg: 2.03 2.02 2.00 3/181 20229 /proc/meminfo: memFree=31310492/32873844 swapFree=7616/7616 [pid=20066] ppid=20064 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/20066/stat : 20066 (clasp-opt.sh) S 20064 20066 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283572724 9371648 274 33554432000 4194304 5064252 140736684539392 140736684538304 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/20066/statm: 2288 274 232 213 0 73 0 [pid=20067] ppid=20066 vsize=19908 CPUtime=342.22 cores=0,2,4,6 /proc/20067/stat : 20067 (clasp-R5325) R 20066 20066 18057 0 -1 4202496 4836 0 0 0 34222 0 0 0 20 0 1 0 283572725 20385792 4633 33554432000 4194304 6212839 140733270733008 140733270731160 4683366 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0 /proc/20067/statm: 4977 4633 240 493 0 4482 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 29060 [startup+402.3 s] /proc/loadavg: 2.04 2.03 2.00 3/181 20229 /proc/meminfo: memFree=31309188/32873844 swapFree=7616/7616 [pid=20066] ppid=20064 vsize=9152 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ /proc/20066/statm: 2288 274 232 213 0 73 0 [pid=20067] ppid=20066 vsize=30904 CPUtime=1062.1 cores=0,2,4,6 /proc/20067/stat : 20067 (clasp-R5325) R 20066 20066 18057 0 -1 4202496 7472 0 0 0 106210 0 0 0 20 0 1 0 283572725 31645696 7396 33554432000 4194304 6212839 140733270733008 140733270731160 4635579 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0 /proc/20067/statm: 7726 7396 240 493 0 7231 0 Current children cumulated CPU time (s) 1062.1 Current children cumulated vsize (KiB) 40056 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/181 20234 /proc/meminfo: memFree=31293360/32873844 swapFree=7616/7616 [pid=20066] ppid=20064 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/20066/stat : 20066 (clasp-opt.sh) S 20064 20066 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283572724 9371648 274 33554432000 4194304 5064252 140736684539392 140736684538304 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/20066/statm: 2288 274 232 213 0 73 0 [pid=20067] ppid=20066 vsize=31924 CPUtime=1122.1 cores=0,2,4,6 /proc/20067/stat : 20067 (clasp-R5325) R 20066 20066 18057 0 -1 4202496 7691 0 0 0 112209 1 0 0 20 0 1 0 283572725 32690176 7615 33554432000 4194304 6212839 140733270733008 140733270731016 4634964 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0 /proc/20067/statm: 7981 7615 240 493 0 7486 0 Current children cumulated CPU time (s) 1122.1 Current children cumulated vsize (KiB) 41076 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/181 20234 /proc/meminfo: memFree=31290072/32873844 swapFree=7616/7616 [pid=20066] ppid=20064 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/20066/stat : 20066 (clasp-opt.sh) S 20064 20066 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283572724 9371648 274 33554432000 4194304 5064252 140736684539392 140736684538304 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/20066/statm: 2288 274 232 213 0 73 0 [pid=20067] ppid=20066 vsize=33552 CPUtime=1182.09 cores=0,2,4,6 /proc/20067/stat : 20067 (clasp-R5325) R 20066 20066 18057 0 -1 4202496 8088 0 0 0 118208 1 0 0 20 0 1 0 283572725 34357248 8064 33554432000 4194304 6212839 140733270733008 140733270731016 4635510 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0 /proc/20067/statm: 8388 8064 240 493 0 7893 0 Current children cumulated CPU time (s) 1182.09 Current children cumulated vsize (KiB) 42704 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/181 20235 /proc/meminfo: memFree=31287716/32873844 swapFree=7616/7616 [pid=20066] ppid=20064 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/20066/stat : 20066 (clasp-opt.sh) S 20064 20066 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283572724 9371648 274 33554432000 4194304 5064252 140736684539392 140736684538304 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/20066/statm: 2288 274 232 213 0 73 0 [pid=20067] ppid=20066 vsize=33552 CPUtime=1242.08 cores=0,2,4,6 /proc/20067/stat : 20067 (clasp-R5325) R 20066 20066 18057 0 -1 4202496 8088 0 0 0 124207 1 0 0 20 0 1 0 283572725 34357248 8064 33554432000 4194304 6212839 140733270733008 140733270731016 4683360 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0 /proc/20067/statm: 8388 8064 240 493 0 7893 0 Current children cumulated CPU time (s) 1242.08 Current children cumulated vsize (KiB) 42704 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/181 20235 /proc/meminfo: memFree=31287776/32873844 swapFree=7616/7616 [pid=20066] ppid=20064 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/20066/stat : 20066 (clasp-opt.sh) S 20064 20066 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283572724 9371648 274 33554432000 4194304 5064252 140736684539392 140736684538304 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/20066/statm: 2288 274 232 213 0 73 0 [pid=20067] ppid=20066 vsize=33552 CPUtime=1302.08 cores=0,2,4,6 /proc/20067/stat : 20067 (clasp-R5325) R 20066 20066 18057 0 -1 4202496 8088 0 0 0 130207 1 0 0 20 0 1 0 283572725 34357248 8064 33554432000 4194304 6212839 140733270733008 140733270731016 4635515 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0 /proc/20067/statm: 8388 8064 240 493 0 7893 0 Current children cumulated CPU time (s) 1302.08 Current children cumulated vsize (KiB) 42704 [startup+1362.3 s] /proc/loadavg: 2.04 2.01 2.00 3/182 20238 /proc/meminfo: memFree=31287768/32873844 swapFree=7616/7616 [pid=20066] ppid=20064 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/20066/stat : 20066 (clasp-opt.sh) S 20064 20066 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283572724 9371648 274 33554432000 4194304 5064252 140736684539392 140736684538304 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/20066/statm: 2288 274 232 213 0 73 0 [pid=20067] ppid=20066 vsize=33552 CPUtime=1362.06 cores=0,2,4,6 /proc/20067/stat : 20067 (clasp-R5325) R 20066 20066 18057 0 -1 4202496 8088 0 0 0 136205 1 0 0 20 0 1 0 283572725 34357248 8064 33554432000 4194304 6212839 140733270733008 140733270731016 4685305 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0 /proc/20067/statm: 8388 8064 240 493 0 7893 0 Current children cumulated CPU time (s) 1362.06 Current children cumulated vsize (KiB) 42704 [startup+1422.31 s] /proc/loadavg: 2.01 2.01 2.00 3/181 20238 /proc/meminfo: memFree=31287092/32873844 swapFree=7616/7616 [pid=20066] ppid=20064 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/20066/stat : 20066 (clasp-opt.sh) S 20064 20066 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283572724 9371648 274 33554432000 4194304 5064252 140736684539392 140736684538304 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/20066/statm: 2288 274 232 213 0 73 0 [pid=20067] ppid=20066 vsize=34212 CPUtime=1422.06 cores=0,2,4,6 /proc/20067/stat : 20067 (clasp-R5325) R 20066 20066 18057 0 -1 4202496 8262 0 0 0 142205 1 0 0 20 0 1 0 283572725 35033088 8246 33554432000 4194304 6212839 140733270733008 140733270731016 4635472 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0 /proc/20067/statm: 8553 8246 240 493 0 8058 0 Current children cumulated CPU time (s) 1422.06 Current children cumulated vsize (KiB) 43364 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/181 20238 /proc/meminfo: memFree=31286472/32873844 swapFree=7616/7616 [pid=20066] ppid=20064 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/20066/stat : 20066 (clasp-opt.sh) S 20064 20066 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283572724 9371648 274 33554432000 4194304 5064252 140736684539392 140736684538304 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/20066/statm: 2288 274 232 213 0 73 0 [pid=20067] ppid=20066 vsize=34912 CPUtime=1482.04 cores=0,2,4,6 /proc/20067/stat : 20067 (clasp-R5325) R 20066 20066 18057 0 -1 4202496 8405 0 0 0 148203 1 0 0 20 0 1 0 283572725 35749888 8389 33554432000 4194304 6212839 140733270733008 140733270731160 4635604 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0 /proc/20067/statm: 8728 8389 240 493 0 8233 0 Current children cumulated CPU time (s) 1482.04 Current children cumulated vsize (KiB) 44064 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/181 20239 /proc/meminfo: memFree=31286348/32873844 swapFree=7616/7616 [pid=20066] ppid=20064 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/20066/stat : 20066 (clasp-opt.sh) S 20064 20066 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283572724 9371648 274 33554432000 4194304 5064252 140736684539392 140736684538304 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/20066/statm: 2288 274 232 213 0 73 0 [pid=20067] ppid=20066 vsize=35332 CPUtime=1542.03 cores=0,2,4,6 /proc/20067/stat : 20067 (clasp-R5325) R 20066 20066 18057 0 -1 4202496 8471 0 0 0 154202 1 0 0 20 0 1 0 283572725 36179968 8455 33554432000 4194304 6212839 140733270733008 140733270731160 4635097 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0 /proc/20067/statm: 8833 8455 240 493 0 8338 0 Current children cumulated CPU time (s) 1542.03 Current children cumulated vsize (KiB) 44484 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/181 20239 /proc/meminfo: memFree=31284116/32873844 swapFree=7616/7616 [pid=20066] ppid=20064 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/20066/stat : 20066 (clasp-opt.sh) S 20064 20066 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283572724 9371648 274 33554432000 4194304 5064252 140736684539392 140736684538304 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/20066/statm: 2288 274 232 213 0 73 0 [pid=20067] ppid=20066 vsize=35500 CPUtime=1602.02 cores=0,2,4,6 /proc/20067/stat : 20067 (clasp-R5325) R 20066 20066 18057 0 -1 4202496 8508 0 0 0 160201 1 0 0 20 0 1 0 283572725 36352000 8492 33554432000 4194304 6212839 140733270733008 140733270731160 4422323 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0 /proc/20067/statm: 8875 8492 240 493 0 8380 0 Current children cumulated CPU time (s) 1602.02 Current children cumulated vsize (KiB) 44652 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/181 20239 /proc/meminfo: memFree=31283556/32873844 swapFree=7616/7616 [pid=20066] ppid=20064 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/20066/stat : 20066 (clasp-opt.sh) S 20064 20066 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283572724 9371648 274 33554432000 4194304 5064252 140736684539392 140736684538304 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/20066/statm: 2288 274 232 213 0 73 0 [pid=20067] ppid=20066 vsize=36164 CPUtime=1662.01 cores=0,2,4,6 /proc/20067/stat : 20067 (clasp-R5325) R 20066 20066 18057 0 -1 4202496 8656 0 0 0 166200 1 0 0 20 0 1 0 283572725 37031936 8640 33554432000 4194304 6212839 140733270733008 140733270731160 4685275 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0 /proc/20067/statm: 9041 8640 240 493 0 8546 0 Current children cumulated CPU time (s) 1662.01 Current children cumulated vsize (KiB) 45316 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/181 20239 /proc/meminfo: memFree=31283244/32873844 swapFree=7616/7616 [pid=20066] ppid=20064 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/20066/stat : 20066 (clasp-opt.sh) S 20064 20066 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283572724 9371648 274 33554432000 4194304 5064252 140736684539392 140736684538304 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/20066/statm: 2288 274 232 213 0 73 0 [pid=20067] ppid=20066 vsize=36472 CPUtime=1722 cores=0,2,4,6 /proc/20067/stat : 20067 (clasp-R5325) R 20066 20066 18057 0 -1 4202496 8736 0 0 0 172199 1 0 0 20 0 1 0 283572725 37347328 8781 33554432000 4194304 6212839 140733270733008 140733270731160 4635468 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0 /proc/20067/statm: 9118 8781 240 493 0 8623 0 Current children cumulated CPU time (s) 1722 Current children cumulated vsize (KiB) 45624 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/181 20239 /proc/meminfo: memFree=31282996/32873844 swapFree=7616/7616 [pid=20066] ppid=20064 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/20066/stat : 20066 (clasp-opt.sh) S 20064 20066 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283572724 9371648 274 33554432000 4194304 5064252 140736684539392 140736684538304 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/20066/statm: 2288 274 232 213 0 73 0 [pid=20067] ppid=20066 vsize=36640 CPUtime=1781.99 cores=0,2,4,6 /proc/20067/stat : 20067 (clasp-R5325) R 20066 20066 18057 0 -1 4202496 8775 0 0 0 178198 1 0 0 20 0 1 0 283572725 37519360 8820 33554432000 4194304 6212839 140733270733008 140733270731160 4635475 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0 /proc/20067/statm: 9160 8820 240 493 0 8665 0 Current children cumulated CPU time (s) 1781.99 Current children cumulated vsize (KiB) 45792 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.00 2.00 2.00 3/181 20239 /proc/meminfo: memFree=31282624/32873844 swapFree=7616/7616 [pid=20066] ppid=20064 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/20066/stat : 20066 (clasp-opt.sh) S 20064 20066 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283572724 9371648 274 33554432000 4194304 5064252 140736684539392 140736684538304 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/20066/statm: 2288 274 232 213 0 73 0 [pid=20067] ppid=20066 vsize=36948 CPUtime=1800.1 cores=0,2,4,6 /proc/20067/stat : 20067 (clasp-R5325) R 20066 20066 18057 0 -1 4202496 8839 0 0 0 180009 1 0 0 20 0 1 0 283572725 37834752 8884 33554432000 4194304 6212839 140733270733008 140733270731160 4685484 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0 /proc/20067/statm: 9237 8884 240 493 0 8742 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 46100 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples Child status: 10 Real time (s): 1800.41 CPU time (s): 1800.11 CPU user time (s): 1800.1 CPU system time (s): 0.015997 CPU usage (%): 99.9835 Max. virtual memory (cumulated for all children) (KiB): 46100 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.1 system time used= 0.015997 maximum resident set size= 35568 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9211 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= 20 involuntary context switches= 2266 runsolver used 2.6446 second user time and 7.29289 second system time The end
Begin job on node135 at 2012-05-28 05:07:59 IDJOB=3709307 IDBENCH=25021 IDSOLVER=2288 FILE ID=node135/3709307-1338174479 RUNJOBID= node135-1338152725-18073 PBS_JOBID= 14624521 Free space on /tmp= 71624 MiB SOLVER NAME= clasp 2.0.6-R5325 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb COMMAND LINE= HOME/clasp-opt.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3709307-1338174479/watcher-3709307-1338174479 -o /tmp/evaluation-result-3709307-1338174479/solver-3709307-1338174479 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709307-1338174479.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 130be24ef6faf784c5a8bf386cbf11b2 RANDOM SEED=1347472375 node135.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 : 2666.820 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 : 5333.64 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 : 2666.820 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 : 5332.57 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 : 2666.820 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 : 5332.55 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 : 2666.820 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 : 5332.55 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 : 2666.820 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 : 5332.54 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 : 2666.820 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 : 5332.55 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 : 2666.820 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 : 5238.35 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 : 2666.820 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 31283028 kB Buffers: 310396 kB Cached: 370604 kB SwapCached: 1720 kB Active: 641328 kB Inactive: 132572 kB Active(anon): 83568 kB Inactive(anon): 12016 kB Active(file): 557760 kB Inactive(file): 120556 kB Unevictable: 7616 kB Mlocked: 7616 kB SwapTotal: 67108856 kB SwapFree: 67105800 kB Dirty: 2716 kB Writeback: 20 kB AnonPages: 99440 kB Mapped: 12608 kB Shmem: 132 kB Slab: 675228 kB SReclaimable: 117200 kB SUnreclaim: 558028 kB KernelStack: 1464 kB PageTables: 3940 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 207172 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 73728 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71632 MiB End job on node135 at 2012-05-28 05:38:00