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

OK	77

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes

runsolver version 3.0.1 (c) roussel@cril.univ-artois.fr

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node83/watcher-49928-1149894564 -o ROOT/results/node83/solver-49928-1149894564 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node83/49928-1149894564/instance-49928-1149894564.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.24 1.16 1.06 3/67 27894
/proc/meminfo: memFree=1671584/2055888 swapFree=4085408/4096564
[pid=27894] ppid=27892 vsize=2576 CPUtime=0
/proc/27894/stat : 27894 (Pueblo) R 27892 27894 27848 0 -1 4194304 257 0 0 0 0 0 0 0 18 0 1 0 255095758 2637824 229 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 12202423 0 0 4096 0 0 0 0 17 1 0 0
/proc/27894/statm: 644 229 191 16 0 84 0

[startup+10.0022 s]
/proc/loadavg: 1.21 1.15 1.06 2/67 27894
/proc/meminfo: memFree=1646048/2055888 swapFree=4085408/4096564
[pid=27894] ppid=27892 vsize=28084 CPUtime=9.99
/proc/27894/stat : 27894 (Pueblo) R 27892 27894 27848 0 -1 4194304 6613 0 0 0 992 7 0 0 25 0 1 0 255095758 28758016 6585 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 0 0 0
/proc/27894/statm: 7021 6585 205 16 0 6461 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 28084

[startup+20.0081 s]
/proc/loadavg: 1.17 1.15 1.06 2/67 27894
/proc/meminfo: memFree=1646368/2055888 swapFree=4085408/4096564
[pid=27894] ppid=27892 vsize=28084 CPUtime=19.99
/proc/27894/stat : 27894 (Pueblo) R 27892 27894 27848 0 -1 4194304 6613 0 0 0 1986 13 0 0 25 0 1 0 255095758 28758016 6585 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0
/proc/27894/statm: 7021 6585 205 16 0 6461 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 28084

[startup+30.014 s]
/proc/loadavg: 1.15 1.14 1.06 2/67 27894
/proc/meminfo: memFree=1642912/2055888 swapFree=4085408/4096564
[pid=27894] ppid=27892 vsize=31696 CPUtime=29.99
/proc/27894/stat : 27894 (Pueblo) R 27892 27894 27848 0 -1 4194304 7509 0 0 0 2981 18 0 0 25 0 1 0 255095758 32456704 7481 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527942 0 0 4096 0 0 0 0 17 1 0 0
/proc/27894/statm: 7924 7481 205 16 0 7364 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 31696

[startup+40.0199 s]
/proc/loadavg: 1.12 1.14 1.06 2/67 27894
/proc/meminfo: memFree=1639072/2055888 swapFree=4085408/4096564
[pid=27894] ppid=27892 vsize=35472 CPUtime=39.99
/proc/27894/stat : 27894 (Pueblo) R 27892 27894 27848 0 -1 4194304 8454 0 0 0 3976 23 0 0 25 0 1 0 255095758 36323328 8426 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134558893 0 0 4096 0 0 0 0 17 1 0 0
/proc/27894/statm: 8868 8426 205 16 0 8308 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 35472

[startup+50.0258 s]
/proc/loadavg: 1.10 1.13 1.06 2/67 27894
/proc/meminfo: memFree=1639072/2055888 swapFree=4085408/4096564
[pid=27894] ppid=27892 vsize=35472 CPUtime=50
/proc/27894/stat : 27894 (Pueblo) R 27892 27894 27848 0 -1 4194304 8454 0 0 0 4974 26 0 0 25 0 1 0 255095758 36323328 8426 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27894/statm: 8868 8426 205 16 0 8308 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 35472

[startup+60.0317 s]
/proc/loadavg: 1.09 1.13 1.06 2/67 27894
/proc/meminfo: memFree=1639136/2055888 swapFree=4085408/4096564
[pid=27894] ppid=27892 vsize=35472 CPUtime=60
/proc/27894/stat : 27894 (Pueblo) R 27892 27894 27848 0 -1 4194304 8454 0 0 0 5968 32 0 0 25 0 1 0 255095758 36323328 8426 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27894/statm: 8868 8426 205 16 0 8308 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 35472

[startup+70.0376 s]
/proc/loadavg: 1.07 1.12 1.06 2/67 27894
/proc/meminfo: memFree=1639136/2055888 swapFree=4085408/4096564
[pid=27894] ppid=27892 vsize=35472 CPUtime=70
/proc/27894/stat : 27894 (Pueblo) R 27892 27894 27848 0 -1 4194304 8454 0 0 0 6963 37 0 0 25 0 1 0 255095758 36323328 8426 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527658 0 0 4096 0 0 0 0 17 1 0 0
/proc/27894/statm: 8868 8426 205 16 0 8308 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 35472

[startup+80.0435 s]
/proc/loadavg: 1.06 1.12 1.06 2/67 27894
/proc/meminfo: memFree=1637280/2055888 swapFree=4085408/4096564
[pid=27894] ppid=27892 vsize=37276 CPUtime=80
/proc/27894/stat : 27894 (Pueblo) R 27892 27894 27848 0 -1 4194304 8911 0 0 0 7959 41 0 0 25 0 1 0 255095758 38170624 8883 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27894/statm: 9319 8883 205 16 0 8759 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 37276

[startup+90.0494 s]
/proc/loadavg: 1.05 1.11 1.05 2/67 27894
/proc/meminfo: memFree=1637024/2055888 swapFree=4085408/4096564
[pid=27894] ppid=27892 vsize=37536 CPUtime=90.01
/proc/27894/stat : 27894 (Pueblo) R 27892 27894 27848 0 -1 4194304 8975 0 0 0 8957 44 0 0 25 0 1 0 255095758 38436864 8947 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/27894/statm: 9384 8947 205 16 0 8824 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 37536

[startup+100.055 s]
/proc/loadavg: 1.04 1.11 1.05 2/67 27894
/proc/meminfo: memFree=1637024/2055888 swapFree=4085408/4096564
[pid=27894] ppid=27892 vsize=37372 CPUtime=100
/proc/27894/stat : 27894 (Pueblo) R 27892 27894 27848 0 -1 4194304 8975 0 0 0 9955 45 0 0 25 0 1 0 255095758 38268928 8917 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27894/statm: 9343 8917 205 16 0 8783 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 37372

[startup+110.06 s]
/proc/loadavg: 1.04 1.10 1.05 2/67 27894
/proc/meminfo: memFree=1637024/2055888 swapFree=4085408/4096564
[pid=27894] ppid=27892 vsize=37372 CPUtime=110.01
/proc/27894/stat : 27894 (Pueblo) R 27892 27894 27848 0 -1 4194304 8975 0 0 0 10953 48 0 0 25 0 1 0 255095758 38268928 8917 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27894/statm: 9343 8917 205 16 0 8783 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 37372

[startup+120.066 s]
/proc/loadavg: 1.03 1.10 1.05 2/67 27894
/proc/meminfo: memFree=1636192/2055888 swapFree=4085408/4096564
[pid=27894] ppid=27892 vsize=38620 CPUtime=120.01
/proc/27894/stat : 27894 (Pueblo) R 27892 27894 27848 0 -1 4194304 9238 0 0 0 11947 54 0 0 25 0 1 0 255095758 39546880 9180 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27894/statm: 9655 9180 205 16 0 9095 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 38620

[startup+130.071 s]
/proc/loadavg: 1.02 1.10 1.05 2/67 27894
/proc/meminfo: memFree=1636128/2055888 swapFree=4085408/4096564
[pid=27894] ppid=27892 vsize=38620 CPUtime=130.01
/proc/27894/stat : 27894 (Pueblo) R 27892 27894 27848 0 -1 4194304 9239 0 0 0 12941 60 0 0 25 0 1 0 255095758 39546880 9181 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527937 0 0 4096 0 0 0 0 17 1 0 0
/proc/27894/statm: 9655 9181 205 16 0 9095 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 38620

[startup+140.076 s]
/proc/loadavg: 1.02 1.09 1.05 2/67 27894
/proc/meminfo: memFree=1636128/2055888 swapFree=4085408/4096564
[pid=27894] ppid=27892 vsize=38588 CPUtime=140.01
/proc/27894/stat : 27894 (Pueblo) R 27892 27894 27848 0 -1 4194304 9239 0 0 0 13937 64 0 0 25 0 1 0 255095758 39514112 9181 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27894/statm: 9647 9181 205 16 0 9087 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 38588

[startup+150.083 s]
/proc/loadavg: 1.02 1.09 1.05 2/67 27894
/proc/meminfo: memFree=1636128/2055888 swapFree=4085408/4096564
[pid=27894] ppid=27892 vsize=38588 CPUtime=150.01
/proc/27894/stat : 27894 (Pueblo) R 27892 27894 27848 0 -1 4194304 9239 0 0 0 14932 69 0 0 25 0 1 0 255095758 39514112 9181 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134556290 0 0 4096 0 0 0 0 17 1 0 0
/proc/27894/statm: 9647 9181 205 16 0 9087 0
Current children cumulated CPU time (s) 150.01
Current children cumulated vsize (Kb) 38588

[startup+160.089 s]
/proc/loadavg: 1.01 1.09 1.05 2/67 27894
/proc/meminfo: memFree=1636128/2055888 swapFree=4085408/4096564
[pid=27894] ppid=27892 vsize=38588 CPUtime=160.01
/proc/27894/stat : 27894 (Pueblo) R 27892 27894 27848 0 -1 4194304 9239 0 0 0 15927 74 0 0 25 0 1 0 255095758 39514112 9181 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134529077 0 0 4096 0 0 0 0 17 1 0 0
/proc/27894/statm: 9647 9181 205 16 0 9087 0
Current children cumulated CPU time (s) 160.01
Current children cumulated vsize (Kb) 38588

[startup+170.095 s]
/proc/loadavg: 1.01 1.08 1.05 2/67 27894
/proc/meminfo: memFree=1634848/2055888 swapFree=4085408/4096564
[pid=27894] ppid=27892 vsize=39824 CPUtime=170.02
/proc/27894/stat : 27894 (Pueblo) R 27892 27894 27848 0 -1 4194304 9549 0 0 0 16921 81 0 0 25 0 1 0 255095758 40779776 9491 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27894/statm: 9956 9491 205 16 0 9396 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 39824

[startup+180.101 s]
/proc/loadavg: 1.01 1.08 1.05 2/67 27894
/proc/meminfo: memFree=1630368/2055888 swapFree=4085408/4096564
[pid=27894] ppid=27892 vsize=44300 CPUtime=180.02
/proc/27894/stat : 27894 (Pueblo) R 27892 27894 27848 0 -1 4194304 10666 0 0 0 17914 88 0 0 25 0 1 0 255095758 45363200 10608 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27894/statm: 11075 10608 205 16 0 10515 0
Current children cumulated CPU time (s) 180.02
Current children cumulated vsize (Kb) 44300

[startup+190.107 s]
/proc/loadavg: 1.01 1.08 1.04 2/67 27894
/proc/meminfo: memFree=1628576/2055888 swapFree=4085408/4096564
[pid=27894] ppid=27892 vsize=46116 CPUtime=190.03
/proc/27894/stat : 27894 (Pueblo) R 27892 27894 27848 0 -1 4194304 11122 0 0 0 18907 96 0 0 25 0 1 0 255095758 47222784 11064 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527661 0 0 4096 0 0 0 0 17 1 0 0
/proc/27894/statm: 11529 11064 205 16 0 10969 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 46116

[startup+200.113 s]
/proc/loadavg: 1.01 1.07 1.04 2/67 27894
/proc/meminfo: memFree=1622752/2055888 swapFree=4085408/4096564
[pid=27894] ppid=27892 vsize=51896 CPUtime=200.03
/proc/27894/stat : 27894 (Pueblo) R 27892 27894 27848 0 -1 4194304 12566 0 0 0 19897 106 0 0 25 0 1 0 255095758 53141504 12508 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27894/statm: 12974 12508 205 16 0 12414 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 51896

[startup+210.119 s]
/proc/loadavg: 1.00 1.07 1.04 2/67 27894

################
# More data... #
################

Current children cumulated CPU time (s) 1590.33
Current children cumulated vsize (Kb) 83916

[startup+1600.93 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 27894
/proc/meminfo: memFree=1590560/2055888 swapFree=4085408/4096564
[pid=27894] ppid=27892 vsize=83916 CPUtime=1600.34
/proc/27894/stat : 27894 (Pueblo) R 27892 27894 27848 0 -1 4194304 21099 0 0 0 159418 616 0 0 25 0 1 0 255095758 85929984 20518 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528635 0 0 4096 0 0 0 0 17 1 0 0
/proc/27894/statm: 20979 20518 205 16 0 20419 0
Current children cumulated CPU time (s) 1600.34
Current children cumulated vsize (Kb) 83916

[startup+1610.94 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 27894
/proc/meminfo: memFree=1590560/2055888 swapFree=4085408/4096564
[pid=27894] ppid=27892 vsize=83916 CPUtime=1610.34
/proc/27894/stat : 27894 (Pueblo) R 27892 27894 27848 0 -1 4194304 21099 0 0 0 160417 617 0 0 25 0 1 0 255095758 85929984 20518 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27894/statm: 20979 20518 205 16 0 20419 0
Current children cumulated CPU time (s) 1610.34
Current children cumulated vsize (Kb) 83916

[startup+1620.95 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 27894
/proc/meminfo: memFree=1590560/2055888 swapFree=4085408/4096564
[pid=27894] ppid=27892 vsize=83916 CPUtime=1620.34
/proc/27894/stat : 27894 (Pueblo) R 27892 27894 27848 0 -1 4194304 21099 0 0 0 161415 619 0 0 25 0 1 0 255095758 85929984 20518 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134529182 0 0 4096 0 0 0 0 17 1 0 0
/proc/27894/statm: 20979 20518 205 16 0 20419 0
Current children cumulated CPU time (s) 1620.34
Current children cumulated vsize (Kb) 83916

[startup+1630.95 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 27894
/proc/meminfo: memFree=1590560/2055888 swapFree=4085408/4096564
[pid=27894] ppid=27892 vsize=83916 CPUtime=1630.34
/proc/27894/stat : 27894 (Pueblo) R 27892 27894 27848 0 -1 4194304 21099 0 0 0 162413 621 0 0 25 0 1 0 255095758 85929984 20518 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134529219 0 0 4096 0 0 0 0 17 1 0 0
/proc/27894/statm: 20979 20518 205 16 0 20419 0
Current children cumulated CPU time (s) 1630.34
Current children cumulated vsize (Kb) 83916

[startup+1640.96 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 27894
/proc/meminfo: memFree=1590560/2055888 swapFree=4085408/4096564
[pid=27894] ppid=27892 vsize=83916 CPUtime=1640.35
/proc/27894/stat : 27894 (Pueblo) R 27892 27894 27848 0 -1 4194304 21099 0 0 0 163411 624 0 0 25 0 1 0 255095758 85929984 20518 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134529116 0 0 4096 0 0 0 0 17 1 0 0
/proc/27894/statm: 20979 20518 205 16 0 20419 0
Current children cumulated CPU time (s) 1640.35
Current children cumulated vsize (Kb) 83916

[startup+1650.96 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 27894
/proc/meminfo: memFree=1590560/2055888 swapFree=4085408/4096564
[pid=27894] ppid=27892 vsize=83916 CPUtime=1650.35
/proc/27894/stat : 27894 (Pueblo) R 27892 27894 27848 0 -1 4194304 21099 0 0 0 164410 625 0 0 25 0 1 0 255095758 85929984 20518 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27894/statm: 20979 20518 205 16 0 20419 0
Current children cumulated CPU time (s) 1650.35
Current children cumulated vsize (Kb) 83916

[startup+1660.97 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 27894
/proc/meminfo: memFree=1590560/2055888 swapFree=4085408/4096564
[pid=27894] ppid=27892 vsize=83916 CPUtime=1660.35
/proc/27894/stat : 27894 (Pueblo) R 27892 27894 27848 0 -1 4194304 21099 0 0 0 165408 627 0 0 25 0 1 0 255095758 85929984 20518 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/27894/statm: 20979 20518 205 16 0 20419 0
Current children cumulated CPU time (s) 1660.35
Current children cumulated vsize (Kb) 83916

[startup+1670.98 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 27894
/proc/meminfo: memFree=1590560/2055888 swapFree=4085408/4096564
[pid=27894] ppid=27892 vsize=83916 CPUtime=1670.35
/proc/27894/stat : 27894 (Pueblo) R 27892 27894 27848 0 -1 4194304 21099 0 0 0 166406 629 0 0 25 0 1 0 255095758 85929984 20518 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134558942 0 0 4096 0 0 0 0 17 1 0 0
/proc/27894/statm: 20979 20518 205 16 0 20419 0
Current children cumulated CPU time (s) 1670.35
Current children cumulated vsize (Kb) 83916

[startup+1680.98 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 27894
/proc/meminfo: memFree=1590560/2055888 swapFree=4085408/4096564
[pid=27894] ppid=27892 vsize=83916 CPUtime=1680.36
/proc/27894/stat : 27894 (Pueblo) R 27892 27894 27848 0 -1 4194304 21099 0 0 0 167405 631 0 0 25 0 1 0 255095758 85929984 20518 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134556363 0 0 4096 0 0 0 0 17 1 0 0
/proc/27894/statm: 20979 20518 205 16 0 20419 0
Current children cumulated CPU time (s) 1680.36
Current children cumulated vsize (Kb) 83916

[startup+1690.99 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 27894
/proc/meminfo: memFree=1590496/2055888 swapFree=4085408/4096564
[pid=27894] ppid=27892 vsize=83916 CPUtime=1690.35
/proc/27894/stat : 27894 (Pueblo) R 27892 27894 27848 0 -1 4194304 21099 0 0 0 168402 633 0 0 25 0 1 0 255095758 85929984 20518 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27894/statm: 20979 20518 205 16 0 20419 0
Current children cumulated CPU time (s) 1690.35
Current children cumulated vsize (Kb) 83916

[startup+1700.99 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 27894
/proc/meminfo: memFree=1590496/2055888 swapFree=4085408/4096564
[pid=27894] ppid=27892 vsize=83916 CPUtime=1700.36
/proc/27894/stat : 27894 (Pueblo) R 27892 27894 27848 0 -1 4194304 21099 0 0 0 169401 635 0 0 25 0 1 0 255095758 85929984 20518 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27894/statm: 20979 20518 205 16 0 20419 0
Current children cumulated CPU time (s) 1700.36
Current children cumulated vsize (Kb) 83916

[startup+1711 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 27894
/proc/meminfo: memFree=1590496/2055888 swapFree=4085408/4096564
[pid=27894] ppid=27892 vsize=83916 CPUtime=1710.36
/proc/27894/stat : 27894 (Pueblo) R 27892 27894 27848 0 -1 4194304 21099 0 0 0 170400 636 0 0 25 0 1 0 255095758 85929984 20518 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/27894/statm: 20979 20518 205 16 0 20419 0
Current children cumulated CPU time (s) 1710.36
Current children cumulated vsize (Kb) 83916

[startup+1721.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 27894
/proc/meminfo: memFree=1590496/2055888 swapFree=4085408/4096564
[pid=27894] ppid=27892 vsize=83916 CPUtime=1720.36
/proc/27894/stat : 27894 (Pueblo) R 27892 27894 27848 0 -1 4194304 21099 0 0 0 171398 638 0 0 25 0 1 0 255095758 85929984 20518 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517890 0 0 4096 0 0 0 0 17 1 0 0
/proc/27894/statm: 20979 20518 205 16 0 20419 0
Current children cumulated CPU time (s) 1720.36
Current children cumulated vsize (Kb) 83916

[startup+1731.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 27894
/proc/meminfo: memFree=1590496/2055888 swapFree=4085408/4096564
[pid=27894] ppid=27892 vsize=83916 CPUtime=1730.37
/proc/27894/stat : 27894 (Pueblo) R 27892 27894 27848 0 -1 4194304 21099 0 0 0 172397 640 0 0 25 0 1 0 255095758 85929984 20518 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27894/statm: 20979 20518 205 16 0 20419 0
Current children cumulated CPU time (s) 1730.37
Current children cumulated vsize (Kb) 83916

[startup+1741.02 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 27894
/proc/meminfo: memFree=1590496/2055888 swapFree=4085408/4096564
[pid=27894] ppid=27892 vsize=83916 CPUtime=1740.37
/proc/27894/stat : 27894 (Pueblo) R 27892 27894 27848 0 -1 4194304 21099 0 0 0 173396 641 0 0 25 0 1 0 255095758 85929984 20518 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528569 0 0 4096 0 0 0 0 17 1 0 0
/proc/27894/statm: 20979 20518 205 16 0 20419 0
Current children cumulated CPU time (s) 1740.37
Current children cumulated vsize (Kb) 83916

[startup+1751.02 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 27894
/proc/meminfo: memFree=1590496/2055888 swapFree=4085408/4096564
[pid=27894] ppid=27892 vsize=83916 CPUtime=1750.37
/proc/27894/stat : 27894 (Pueblo) R 27892 27894 27848 0 -1 4194304 21099 0 0 0 174394 643 0 0 25 0 1 0 255095758 85929984 20518 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27894/statm: 20979 20518 205 16 0 20419 0
Current children cumulated CPU time (s) 1750.37
Current children cumulated vsize (Kb) 83916

[startup+1761.03 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 27894
/proc/meminfo: memFree=1590496/2055888 swapFree=4085408/4096564
[pid=27894] ppid=27892 vsize=83916 CPUtime=1760.37
/proc/27894/stat : 27894 (Pueblo) R 27892 27894 27848 0 -1 4194304 21099 0 0 0 175394 643 0 0 25 0 1 0 255095758 85929984 20518 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134529136 0 0 4096 0 0 0 0 17 1 0 0
/proc/27894/statm: 20979 20518 205 16 0 20419 0
Current children cumulated CPU time (s) 1760.37
Current children cumulated vsize (Kb) 83916

[startup+1771.03 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 27894
/proc/meminfo: memFree=1590560/2055888 swapFree=4085408/4096564
[pid=27894] ppid=27892 vsize=83916 CPUtime=1770.38
/proc/27894/stat : 27894 (Pueblo) R 27892 27894 27848 0 -1 4194304 21099 0 0 0 176393 645 0 0 25 0 1 0 255095758 85929984 20518 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134529077 0 0 4096 0 0 0 0 17 1 0 0
/proc/27894/statm: 20979 20518 205 16 0 20419 0
Current children cumulated CPU time (s) 1770.38
Current children cumulated vsize (Kb) 83916

[startup+1781.04 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 27894
/proc/meminfo: memFree=1590560/2055888 swapFree=4085408/4096564
[pid=27894] ppid=27892 vsize=83916 CPUtime=1780.37
/proc/27894/stat : 27894 (Pueblo) R 27892 27894 27848 0 -1 4194304 21099 0 0 0 177391 646 0 0 25 0 1 0 255095758 85929984 20518 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528788 0 0 4096 0 0 0 0 17 1 0 0
/proc/27894/statm: 20979 20518 205 16 0 20419 0
Current children cumulated CPU time (s) 1780.37
Current children cumulated vsize (Kb) 83916

[startup+1782.04 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 27894
/proc/meminfo: memFree=1590560/2055888 swapFree=4085408/4096564
[pid=27894] ppid=27892 vsize=83916 CPUtime=1781.38
/proc/27894/stat : 27894 (Pueblo) R 27892 27894 27848 0 -1 4194304 21099 0 0 0 177492 646 0 0 25 0 1 0 255095758 85929984 20518 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557772 0 0 4096 0 0 0 0 17 1 0 0
/proc/27894/statm: 20979 20518 205 16 0 20419 0
Current children cumulated CPU time (s) 1781.38
Current children cumulated vsize (Kb) 83916

[startup+1783.05 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 27894
/proc/meminfo: memFree=1590560/2055888 swapFree=4085408/4096564
[pid=27894] ppid=27892 vsize=83916 CPUtime=1782.39
/proc/27894/stat : 27894 (Pueblo) R 27892 27894 27848 0 -1 4194304 21099 0 0 0 177592 647 0 0 25 0 1 0 255095758 85929984 20518 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/27894/statm: 20979 20518 205 16 0 20419 0
Current children cumulated CPU time (s) 1782.39
Current children cumulated vsize (Kb) 83916

Child status: 10
Real time (s): 1783.41
CPU time (s): 1782.74
CPU user time (s): 1776.26
CPU system time (s): 6.48401
CPU usage (%): 99.9628
Max. virtual memory (cumulated for all children) (Kb): 84508
The end

Begin job on node83 on Fri Jun  9 23:09:24 UTC 2006


FILE ID= 49928-1149894564

PBS_JOBID= 385068

BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C499.b.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node83/49928-1149894564/instance-49928-1149894564.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node83/watcher-49928-1149894564 -o ROOT/results/node83/solver-49928-1149894564 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node83/49928-1149894564/instance-49928-1149894564.opb

MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff
MD5SUM BENCH=  0b80319f4195f1e1329c2c4b63b416b0

RANDOM SEED= 600837303


/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	: 6006.16
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	: 5999.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1671728 kB
Buffers:         40400 kB
Cached:         269804 kB
SwapCached:       2392 kB
Active:         112696 kB
Inactive:       206284 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1671728 kB
SwapTotal:     4096564 kB
SwapFree:      4085408 kB
Dirty:             192 kB
Writeback:           0 kB
Mapped:          16952 kB
Slab:            51760 kB
Committed_AS:   634732 kB
PageTables:       1284 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node83 on Fri Jun  9 23:39:08 UTC 2006