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