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