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