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