Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | 207 | 1782.74 | 1783.48 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-bench1.pi.opb |
MD5SUM | df1c0055bf82833faa95d352e28c6731 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 121 |
Best CPU time to get the best result obtained on this benchmark | 22.6636 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 121 |
Optimality of the best value was proved | YES |
Number of variables | 4676 |
Total number of constraints | 398 |
Number of constraints which are clauses | 398 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 4676 |
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 | 4676 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 4676 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
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 0.06 c starting to Solve 0.06 c #variables read: 4676 - #constraints read: 399 0.06 o 263 0.07 o 262 0.07 o 261 0.09 o 260 0.10 o 259 0.19 o 239 0.65 o 223 0.98 o 222 1.85 o 218 8.44 o 212 12.82 o 207 1783.47 c total time : 1783 s 1783.47 s SATISFIABLE 1783.47 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.47 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.47 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.47 v -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 1783.47 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 1783.47 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1783.47 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1783.47 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1783.47 v x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1783.47 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 1783.47 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1783.47 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1783.47 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 1783.47 v -x295 -x296 -x297 -x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 x310 -x311 -x312 -x313 -x314 -x315 1783.47 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1783.47 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1783.47 v -x358 x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 1783.47 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 1783.47 v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 1783.47 v -x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1783.47 v -x442 -x443 -x444 -x445 x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1783.47 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 1783.47 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 1783.47 v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1783.47 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1783.47 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 1783.47 v -x568 -x569 x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 1783.47 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 1783.47 v -x610 x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 1783.47 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 1783.47 v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 1783.47 v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 1783.47 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 1783.47 v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 1783.47 v -x736 x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 1783.47 v -x757 -x758 -x759 -x760 -x761 x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 -x773 -x774 -x775 -x776 -x777 1783.47 v x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 1783.47 v -x799 -x800 x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 1783.47 v -x820 -x821 -x822 -x823 -x824 -x825 x826 -x827 -x828 x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 1783.47 v -x841 -x842 -x843 x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 1783.47 v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 1783.47 v -x883 -x884 -x885 -x886 -x887 -x888 -x889 x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 1783.47 v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 1783.47 v -x925 -x926 -x927 -x928 -x929 x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 1783.47 v -x946 -x947 -x948 -x949 x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 x966 1783.47 v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 1783.47 v -x988 -x989 -x990 -x991 -x992 -x993 x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 1783.47 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 x1018 -x1019 -x1020 -x1021 -x1022 -x1023 1783.47 v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 1783.47 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 1783.47 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 1783.47 v -x1075 -x1076 -x1077 -x1078 x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 1783.47 v -x1092 -x1093 x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 1783.47 v -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 1783.47 v x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 1783.47 v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 1783.47 v x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 1783.47 v -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 1783.47 v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 x1206 -x1207 -x1208 -x1209 -x1210 1783.47 v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 1783.47 v -x1228 -x1229 -x1230 -x1231 x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 1783.47 v -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 1783.47 v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 x1276 -x1277 -x1278 1783.47 v -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 1783.47 v -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 1783.47 v -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 x1325 -x1326 -x1327 -x1328 -x1329 1783.47 v -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 1783.47 v -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 1783.47 v -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 1783.47 v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 x1393 -x1394 -x1395 -x1396 -x1397 1783.47 v -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 1783.47 v -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 1783.47 v -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 1783.47 v -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 1783.47 v x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 1783.47 v -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 1783.47 v -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 x1513 -x1514 -x1515 -x1516 1783.47 v -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 x1529 -x1530 -x1531 -x1532 -x1533 1783.47 v -x1534 -x1535 -x1536 -x1537 -x1538 x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 1783.47 v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 1783.47 v -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 1783.47 v -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 1783.47 v -x1602 -x1603 x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 x1614 -x1615 -x1616 x1617 -x1618 -x1619 1783.47 v -x1620 -x1621 -x1622 -x1623 x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 x1633 -x1634 -x1635 -x1636 -x1637 1783.47 v -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 1783.47 v -x1655 x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 1783.47 v -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 x1688 1783.47 v -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 1783.47 v -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 x1719 -x1720 -x1721 -x1722 1783.47 v -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 1783.47 v -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 1783.47 v x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 1783.47 v -x1774 -x1775 -x1776 -x1777 -x1778 x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 1783.47 v -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 1783.47 v -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 1783.47 v -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 x1839 -x1840 -x1841 1783.47 v -x1842 -x1843 -x1844 -x1845 -x1846 x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 1783.47 v -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 1783.47 v -x1876 -x1877 -x1878 x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 1783.47 v -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 1783.47 v -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 1783.47 v -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 x1941 -x1942 -x1943 1783.47 v -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 1783.47 v -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 x1977 1783.47 v -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 1783.47 v -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 1783.47 v -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 1783.47 v -x2029 -x2030 -x2031 x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 1783.47 v -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 1783.47 v -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 x2079 -x2080 1783.47 v -x2081 -x2082 x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 x2094 -x2095 -x2096 -x2097 -x2098 1783.47 v -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 x2112 -x2113 -x2114 -x2115 1783.47 v -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 1783.47 v -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 1783.47 v -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 x2163 -x2164 -x2165 -x2166 1783.47 v -x2167 -x2168 -x2169 x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 1783.47 v -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 1783.47 v -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 1783.47 v -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 1783.47 v x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 1783.47 v -x2252 -x2253 x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 1783.47 v -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 1783.47 v -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 1783.47 v -x2304 -x2305 -x2306 -x2307 -x2308 x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 1783.47 v -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 x2335 -x2336 -x2337 1783.47 v -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 1783.47 v -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 1783.47 v -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 1783.47 v x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 x2396 -x2397 -x2398 x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 1783.47 v -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 x2418 -x2419 -x2420 -x2421 -x2422 -x2423 1783.47 v -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 1783.47 v -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 x2457 -x2458 1783.47 v -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 1783.47 v -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 x2491 -x2492 1783.47 v -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 1783.47 v -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 1783.47 v -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 1783.47 v -x2544 -x2545 -x2546 -x2547 x2548 -x2549 -x2550 -x2551 x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 1783.47 v -x2562 -x2563 -x2564 -x2565 -x2566 x2567 -x2568 -x2569 -x2570 -x2571 x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 1783.47 v -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 1783.47 v -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 1783.47 v -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 1783.47 v -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 1783.47 v -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 1783.47 v -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 1783.47 v -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 1783.47 v -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 1783.47 v x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 x2732 -x2733 1783.47 v -x2734 -x2735 -x2736 -x2737 -x2738 x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 x2747 -x2748 -x2749 -x2750 -x2751 1783.47 v -x2752 -x2753 x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 x2767 -x2768 -x2769 1783.47 v -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 x2784 -x2785 -x2786 1783.47 v -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 1783.47 v -x2804 -x2805 -x2806 x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 1783.47 v -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 x2832 -x2833 -x2834 -x2835 -x2836 -x2837 1783.47 v -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 x2846 -x2847 -x2848 -x2849 x2850 -x2851 -x2852 -x2853 -x2854 -x2855 1783.47 v x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 1783.47 v x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 1783.47 v -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 x2907 1783.47 v -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 1783.47 v -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 1783.47 v -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 1783.47 v -x2959 -x2960 x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 1783.47 v -x2976 -x2977 -x2978 -x2979 -x2980 x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 1783.47 v -x2993 -x2994 -x2995 x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 1783.47 v x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 x3025 -x3026 -x3027 1783.47 v -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 1783.47 v -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 1783.47 v -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 1783.47 v -x3079 x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 x3092 -x3093 -x3094 -x3095 -x3096 1783.47 v -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 1783.47 v -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 1783.47 v -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 1783.47 v -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 1783.47 v -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 x3174 -x3175 -x3176 -x3177 -x3178 x3179 -x3180 -x3181 -x3182 1783.47 v -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 x3199 1783.47 v -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 1783.47 v -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 1783.47 v -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 1783.47 v -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 1783.47 v -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 1783.47 v -x3285 -x3286 -x3287 x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 1783.47 v -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 x3313 -x3314 -x3315 -x3316 -x3317 -x3318 1783.47 v x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 1783.47 v -x3336 x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 x3351 -x3352 -x3353 1783.47 v -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 x3370 1783.47 v -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 x3387 1783.47 v -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 1783.47 v -x3405 x3406 -x3407 -x3408 x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 x3419 -x3420 -x3421 -x3422 1783.47 v -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 1783.47 v -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 1783.47 v -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 1783.47 v -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 1783.47 v -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 x3506 -x3507 1783.47 v -x3508 -x3509 x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 1783.47 v -x3525 -x3526 -x3527 x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 1783.47 v -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 1783.47 v -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 x3571 -x3572 -x3573 -x3574 -x3575 1783.47 v -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 1783.47 v -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 1783.47 v -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 1783.47 v -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 1783.47 v -x3644 -x3645 -x3646 -x3647 -x3648 x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 1783.47 v -x3661 -x3662 -x3663 -x3664 x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 x3675 -x3676 -x3677 -x3678 1783.47 v -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 1783.47 v -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 1783.47 v -x3713 x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 x3726 -x3727 -x3728 -x3729 -x3730 1783.47 v -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 x3742 -x3743 -x3744 -x3745 -x3746 -x3747 1783.47 v -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 1783.47 v -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 1783.47 v -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 x3793 -x3794 -x3795 -x3796 -x3797 -x3798 1783.47 v -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 1783.47 v x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 1783.47 v -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 1783.47 v -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 x3858 -x3859 x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 1783.47 v -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 1783.47 v -x3885 -x3886 -x3887 x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 1783.47 v -x3902 -x3903 -x3904 -x3905 -x3906 x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 1783.47 v -x3919 -x3920 -x3921 -x3922 -x3923 x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 1783.47 v -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 1783.47 v -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 1783.47 v -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 1783.47 v -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 1783.47 v -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 x4018 -x4019 -x4020 1783.47 v -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 1783.47 v -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 x4054 1783.47 v -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 1783.47 v -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 1783.47 v x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 1783.47 v -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 x4119 -x4120 -x4121 -x4122 1783.47 v -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 1783.47 v -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 1783.47 v -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 1783.47 v -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 1783.47 v -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 x4204 -x4205 -x4206 -x4207 1783.47 v -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 1783.47 v -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 1783.47 v -x4242 x4243 -x4244 x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 1783.47 v -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 x4271 -x4272 -x4273 -x4274 -x4275 -x4276 1783.47 v -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 x4293 1783.47 v -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 1783.47 v -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 1783.47 v -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 1783.47 v -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 1783.47 v -x4362 -x4363 -x4364 -x4365 -x4366 x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 1783.47 v -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 x4391 -x4392 -x4393 -x4394 -x4395 1783.47 v -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 1783.47 v -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 x4427 -x4428 -x4429 1783.47 v -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 x4441 -x4442 -x4443 -x4444 -x4445 -x4446 1783.47 v -x4447 -x4448 -x4449 -x4450 -x4451 x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 1783.47 v x4464 -x4465 -x4466 -x4467 -x4468 -x4469 x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 1783.47 v -x4482 x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 1783.47 v -x4499 -x4500 x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 1783.47 v -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 1783.47 v x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 1783.47 v x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 1783.47 v -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 x4583 -x4584 1783.47 v -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 1783.47 v -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 x4614 -x4615 -x4616 -x4617 -x4618 1783.47 v -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 x4632 -x4633 -x4634 -x4635 1783.47 v -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 x4650 -x4651 -x4652 1783.47 v -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 1783.47 v -x4670 -x4671 x4672 -x4673 -x4674 -x4675 x4676
OK 207
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node88/watcher-36846-1149406764 -o ROOT/results/node88/solver-36846-1149406764 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node88/36846-1149406764/instance-36846-1149406764.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/68 13588 /proc/meminfo: memFree=1449520/2055888 swapFree=4085336/4096564 [pid=13588] ppid=13586 vsize=2576 CPUtime=0 /proc/13588/stat : 13588 (Pueblo) R 13586 13588 13542 0 -1 4194304 257 0 0 0 0 0 0 0 18 0 1 0 206315558 2637824 229 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 10006967 0 0 4096 0 0 0 0 17 1 0 0 /proc/13588/statm: 644 231 191 16 0 84 0 [startup+10.0033 s] /proc/loadavg: 0.93 0.98 0.99 2/68 13588 /proc/meminfo: memFree=1444464/2055888 swapFree=4085336/4096564 [pid=13588] ppid=13586 vsize=7480 CPUtime=9.99 /proc/13588/stat : 13588 (Pueblo) R 13586 13588 13542 0 -1 4194304 1467 0 0 0 987 12 0 0 25 0 1 0 206315558 7659520 1439 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13588/statm: 1870 1439 205 16 0 1310 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 7480 [startup+20.0093 s] /proc/loadavg: 0.94 0.98 0.99 2/68 13588 /proc/meminfo: memFree=1441968/2055888 swapFree=4085336/4096564 [pid=13588] ppid=13586 vsize=10044 CPUtime=19.99 /proc/13588/stat : 13588 (Pueblo) R 13586 13588 13542 0 -1 4194304 2091 0 0 0 1979 20 0 0 25 0 1 0 206315558 10285056 2063 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527995 0 0 4096 0 0 0 0 17 1 0 0 /proc/13588/statm: 2511 2063 205 16 0 1951 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 10044 [startup+30.0153 s] /proc/loadavg: 0.95 0.98 0.99 2/68 13588 /proc/meminfo: memFree=1442032/2055888 swapFree=4085336/4096564 [pid=13588] ppid=13586 vsize=10044 CPUtime=29.99 /proc/13588/stat : 13588 (Pueblo) R 13586 13588 13542 0 -1 4194304 2091 0 0 0 2973 26 0 0 25 0 1 0 206315558 10285056 2063 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527664 0 0 4096 0 0 0 0 17 1 0 0 /proc/13588/statm: 2511 2063 205 16 0 1951 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 10044 [startup+40.0213 s] /proc/loadavg: 0.96 0.98 0.99 2/68 13588 /proc/meminfo: memFree=1441712/2055888 swapFree=4085336/4096564 [pid=13588] ppid=13586 vsize=10288 CPUtime=40 /proc/13588/stat : 13588 (Pueblo) R 13586 13588 13542 0 -1 4194304 2165 0 0 0 3970 30 0 0 25 0 1 0 206315558 10534912 2137 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13588/statm: 2572 2137 205 16 0 2012 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 10288 [startup+50.0283 s] /proc/loadavg: 0.96 0.98 0.99 2/68 13588 /proc/meminfo: memFree=1441328/2055888 swapFree=4085336/4096564 [pid=13588] ppid=13586 vsize=10652 CPUtime=50 /proc/13588/stat : 13588 (Pueblo) R 13586 13588 13542 0 -1 4194304 2258 0 0 0 4962 38 0 0 25 0 1 0 206315558 10907648 2230 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528635 0 0 4096 0 0 0 0 17 1 0 0 /proc/13588/statm: 2663 2230 205 16 0 2103 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 10652 [startup+60.0343 s] /proc/loadavg: 0.97 0.98 0.99 2/68 13588 /proc/meminfo: memFree=1441328/2055888 swapFree=4085336/4096564 [pid=13588] ppid=13586 vsize=10652 CPUtime=60.01 /proc/13588/stat : 13588 (Pueblo) R 13586 13588 13542 0 -1 4194304 2258 0 0 0 5957 44 0 0 25 0 1 0 206315558 10907648 2230 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527731 0 0 4096 0 0 0 0 17 1 0 0 /proc/13588/statm: 2663 2230 205 16 0 2103 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 10652 [startup+70.0403 s] /proc/loadavg: 0.97 0.98 0.99 2/68 13588 /proc/meminfo: memFree=1441392/2055888 swapFree=4085336/4096564 [pid=13588] ppid=13586 vsize=10652 CPUtime=70 /proc/13588/stat : 13588 (Pueblo) R 13586 13588 13542 0 -1 4194304 2258 0 0 0 6944 56 0 0 25 0 1 0 206315558 10907648 2230 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13588/statm: 2663 2230 205 16 0 2103 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 10652 [startup+80.0463 s] /proc/loadavg: 0.98 0.98 0.99 2/68 13588 /proc/meminfo: memFree=1441392/2055888 swapFree=4085336/4096564 [pid=13588] ppid=13586 vsize=10652 CPUtime=80 /proc/13588/stat : 13588 (Pueblo) R 13586 13588 13542 0 -1 4194304 2258 0 0 0 7940 60 0 0 25 0 1 0 206315558 10907648 2230 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13588/statm: 2663 2230 205 16 0 2103 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 10652 [startup+90.0523 s] /proc/loadavg: 0.98 0.98 0.99 2/68 13588 /proc/meminfo: memFree=1441392/2055888 swapFree=4085336/4096564 [pid=13588] ppid=13586 vsize=10652 CPUtime=90.01 /proc/13588/stat : 13588 (Pueblo) R 13586 13588 13542 0 -1 4194304 2258 0 0 0 8930 71 0 0 25 0 1 0 206315558 10907648 2230 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527658 0 0 4096 0 0 0 0 17 1 0 0 /proc/13588/statm: 2663 2230 205 16 0 2103 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 10652 [startup+100.058 s] /proc/loadavg: 0.98 0.98 0.99 2/68 13588 /proc/meminfo: memFree=1441392/2055888 swapFree=4085336/4096564 [pid=13588] ppid=13586 vsize=10652 CPUtime=100.01 /proc/13588/stat : 13588 (Pueblo) R 13586 13588 13542 0 -1 4194304 2258 0 0 0 9916 85 0 0 25 0 1 0 206315558 10907648 2230 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527987 0 0 4096 0 0 0 0 17 1 0 0 /proc/13588/statm: 2663 2230 205 16 0 2103 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 10652 [startup+110.064 s] /proc/loadavg: 0.98 0.98 0.99 2/68 13588 /proc/meminfo: memFree=1441392/2055888 swapFree=4085336/4096564 [pid=13588] ppid=13586 vsize=10652 CPUtime=110.02 /proc/13588/stat : 13588 (Pueblo) R 13586 13588 13542 0 -1 4194304 2258 0 0 0 10910 92 0 0 25 0 1 0 206315558 10907648 2230 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13588/statm: 2663 2230 205 16 0 2103 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 10652 [startup+120.07 s] /proc/loadavg: 0.99 0.98 0.99 2/68 13588 /proc/meminfo: memFree=1441392/2055888 swapFree=4085336/4096564 [pid=13588] ppid=13586 vsize=10652 CPUtime=120.02 /proc/13588/stat : 13588 (Pueblo) R 13586 13588 13542 0 -1 4194304 2258 0 0 0 11904 98 0 0 25 0 1 0 206315558 10907648 2230 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13588/statm: 2663 2230 205 16 0 2103 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 10652 [startup+130.076 s] /proc/loadavg: 0.99 0.98 0.99 2/68 13588 /proc/meminfo: memFree=1441328/2055888 swapFree=4085336/4096564 [pid=13588] ppid=13586 vsize=10652 CPUtime=130.02 /proc/13588/stat : 13588 (Pueblo) R 13586 13588 13542 0 -1 4194304 2258 0 0 0 12897 105 0 0 25 0 1 0 206315558 10907648 2230 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527839 0 0 4096 0 0 0 0 17 1 0 0 /proc/13588/statm: 2663 2230 205 16 0 2103 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 10652 [startup+140.082 s] /proc/loadavg: 0.99 0.98 0.99 2/68 13588 /proc/meminfo: memFree=1441328/2055888 swapFree=4085336/4096564 [pid=13588] ppid=13586 vsize=10652 CPUtime=140.02 /proc/13588/stat : 13588 (Pueblo) R 13586 13588 13542 0 -1 4194304 2258 0 0 0 13889 113 0 0 25 0 1 0 206315558 10907648 2230 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13588/statm: 2663 2230 205 16 0 2103 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 10652 [startup+150.088 s] /proc/loadavg: 0.99 0.98 0.99 2/68 13588 /proc/meminfo: memFree=1441328/2055888 swapFree=4085336/4096564 [pid=13588] ppid=13586 vsize=10652 CPUtime=150.02 /proc/13588/stat : 13588 (Pueblo) R 13586 13588 13542 0 -1 4194304 2258 0 0 0 14881 121 0 0 25 0 1 0 206315558 10907648 2230 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134558658 0 0 4096 0 0 0 0 17 1 0 0 /proc/13588/statm: 2663 2230 205 16 0 2103 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 10652 [startup+160.094 s] /proc/loadavg: 0.99 0.98 0.99 2/68 13588 /proc/meminfo: memFree=1441264/2055888 swapFree=4085336/4096564 [pid=13588] ppid=13586 vsize=10752 CPUtime=160.02 /proc/13588/stat : 13588 (Pueblo) R 13586 13588 13542 0 -1 4194304 2276 0 0 0 15874 128 0 0 25 0 1 0 206315558 11010048 2248 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13588/statm: 2688 2248 205 16 0 2128 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 10752 [startup+170.1 s] /proc/loadavg: 0.99 0.98 0.99 2/68 13588 /proc/meminfo: memFree=1441200/2055888 swapFree=4085336/4096564 [pid=13588] ppid=13586 vsize=10804 CPUtime=170.03 /proc/13588/stat : 13588 (Pueblo) R 13586 13588 13542 0 -1 4194304 2295 0 0 0 16869 134 0 0 25 0 1 0 206315558 11063296 2267 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527995 0 0 4096 0 0 0 0 17 1 0 0 /proc/13588/statm: 2701 2267 205 16 0 2141 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 10804 [startup+180.106 s] /proc/loadavg: 0.99 0.98 0.99 2/68 13588 /proc/meminfo: memFree=1440944/2055888 swapFree=4085336/4096564 [pid=13588] ppid=13586 vsize=11076 CPUtime=180.03 /proc/13588/stat : 13588 (Pueblo) R 13586 13588 13542 0 -1 4194304 2352 0 0 0 17864 139 0 0 25 0 1 0 206315558 11341824 2324 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527664 0 0 4096 0 0 0 0 17 1 0 0 /proc/13588/statm: 2769 2324 205 16 0 2209 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 11076 [startup+190.112 s] /proc/loadavg: 0.99 0.98 0.99 2/68 13588 /proc/meminfo: memFree=1440944/2055888 swapFree=4085336/4096564 [pid=13588] ppid=13586 vsize=11024 CPUtime=190.03 /proc/13588/stat : 13588 (Pueblo) R 13586 13588 13542 0 -1 4194304 2353 0 0 0 18856 147 0 0 25 0 1 0 206315558 11288576 2325 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13588/statm: 2756 2325 205 16 0 2196 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 11024 [startup+200.118 s] /proc/loadavg: 0.99 0.98 0.99 2/68 13588 /proc/meminfo: memFree=1440944/2055888 swapFree=4085336/4096564 [pid=13588] ppid=13586 vsize=11024 CPUtime=200.03 /proc/13588/stat : 13588 (Pueblo) R 13586 13588 13542 0 -1 4194304 2353 0 0 0 19849 154 0 0 25 0 1 0 206315558 11288576 2325 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 9983634 0 0 4096 0 0 0 0 17 1 0 0 /proc/13588/statm: 2756 2325 205 16 0 2196 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 11024 [startup+210.124 s] /proc/loadavg: 0.99 0.98 0.99 2/68 13588 /proc/meminfo: memFree=1440816/2055888 swapFree=4085336/4096564 ################ # More data... # ################ /proc/13588/statm: 3748 3309 205 16 0 3188 0 Current children cumulated CPU time (s) 1590.28 Current children cumulated vsize (Kb) 14992 [startup+1600.97 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13785 /proc/meminfo: memFree=1436656/2055888 swapFree=4085336/4096564 [pid=13588] ppid=13586 vsize=14992 CPUtime=1600.29 /proc/13588/stat : 13588 (Pueblo) R 13586 13588 13542 0 -1 4194304 4659 0 0 0 158895 1134 0 0 25 0 1 0 206315558 15351808 3316 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13588/statm: 3748 3316 205 16 0 3188 0 Current children cumulated CPU time (s) 1600.29 Current children cumulated vsize (Kb) 14992 [startup+1610.97 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13785 /proc/meminfo: memFree=1436656/2055888 swapFree=4085336/4096564 [pid=13588] ppid=13586 vsize=14992 CPUtime=1610.29 /proc/13588/stat : 13588 (Pueblo) R 13586 13588 13542 0 -1 4194304 4663 0 0 0 159893 1136 0 0 25 0 1 0 206315558 15351808 3320 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13588/statm: 3748 3320 205 16 0 3188 0 Current children cumulated CPU time (s) 1610.29 Current children cumulated vsize (Kb) 14992 [startup+1620.98 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13785 /proc/meminfo: memFree=1436656/2055888 swapFree=4085336/4096564 [pid=13588] ppid=13586 vsize=14992 CPUtime=1620.29 /proc/13588/stat : 13588 (Pueblo) R 13586 13588 13542 0 -1 4194304 4667 0 0 0 160891 1138 0 0 25 0 1 0 206315558 15351808 3324 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13588/statm: 3748 3324 205 16 0 3188 0 Current children cumulated CPU time (s) 1620.29 Current children cumulated vsize (Kb) 14992 [startup+1630.99 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13785 /proc/meminfo: memFree=1436656/2055888 swapFree=4085336/4096564 [pid=13588] ppid=13586 vsize=14992 CPUtime=1630.29 /proc/13588/stat : 13588 (Pueblo) R 13586 13588 13542 0 -1 4194304 4667 0 0 0 161889 1140 0 0 25 0 1 0 206315558 15351808 3324 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13588/statm: 3748 3324 205 16 0 3188 0 Current children cumulated CPU time (s) 1630.29 Current children cumulated vsize (Kb) 14992 [startup+1640.99 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13785 /proc/meminfo: memFree=1436656/2055888 swapFree=4085336/4096564 [pid=13588] ppid=13586 vsize=14992 CPUtime=1640.29 /proc/13588/stat : 13588 (Pueblo) R 13586 13588 13542 0 -1 4194304 4667 0 0 0 162887 1142 0 0 25 0 1 0 206315558 15351808 3324 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13588/statm: 3748 3324 205 16 0 3188 0 Current children cumulated CPU time (s) 1640.29 Current children cumulated vsize (Kb) 14992 [startup+1651 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13785 /proc/meminfo: memFree=1436464/2055888 swapFree=4085336/4096564 [pid=13588] ppid=13586 vsize=15204 CPUtime=1650.29 /proc/13588/stat : 13588 (Pueblo) R 13586 13588 13542 0 -1 4194304 4708 0 0 0 163885 1144 0 0 25 0 1 0 206315558 15568896 3365 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13588/statm: 3801 3365 205 16 0 3241 0 Current children cumulated CPU time (s) 1650.29 Current children cumulated vsize (Kb) 15204 [startup+1661 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13785 /proc/meminfo: memFree=1436400/2055888 swapFree=4085336/4096564 [pid=13588] ppid=13586 vsize=15324 CPUtime=1660.3 /proc/13588/stat : 13588 (Pueblo) R 13586 13588 13542 0 -1 4194304 4736 0 0 0 164884 1146 0 0 25 0 1 0 206315558 15691776 3393 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13588/statm: 3831 3393 205 16 0 3271 0 Current children cumulated CPU time (s) 1660.3 Current children cumulated vsize (Kb) 15324 [startup+1671.01 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13785 /proc/meminfo: memFree=1436400/2055888 swapFree=4085336/4096564 [pid=13588] ppid=13586 vsize=15324 CPUtime=1670.31 /proc/13588/stat : 13588 (Pueblo) R 13586 13588 13542 0 -1 4194304 4743 0 0 0 165883 1148 0 0 25 0 1 0 206315558 15691776 3400 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528725 0 0 4096 0 0 0 0 17 1 0 0 /proc/13588/statm: 3831 3400 205 16 0 3271 0 Current children cumulated CPU time (s) 1670.31 Current children cumulated vsize (Kb) 15324 [startup+1681.02 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13785 /proc/meminfo: memFree=1436144/2055888 swapFree=4085336/4096564 [pid=13588] ppid=13586 vsize=15556 CPUtime=1680.3 /proc/13588/stat : 13588 (Pueblo) R 13586 13588 13542 0 -1 4194304 4793 0 0 0 166881 1149 0 0 25 0 1 0 206315558 15929344 3450 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527724 0 0 4096 0 0 0 0 17 1 0 0 /proc/13588/statm: 3889 3450 205 16 0 3329 0 Current children cumulated CPU time (s) 1680.3 Current children cumulated vsize (Kb) 15556 [startup+1691.02 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13785 /proc/meminfo: memFree=1436144/2055888 swapFree=4085336/4096564 [pid=13588] ppid=13586 vsize=15472 CPUtime=1690.31 /proc/13588/stat : 13588 (Pueblo) R 13586 13588 13542 0 -1 4194304 4793 0 0 0 167880 1151 0 0 25 0 1 0 206315558 15843328 3445 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13588/statm: 3868 3445 205 16 0 3308 0 Current children cumulated CPU time (s) 1690.31 Current children cumulated vsize (Kb) 15472 [startup+1701.03 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13785 /proc/meminfo: memFree=1436144/2055888 swapFree=4085336/4096564 [pid=13588] ppid=13586 vsize=15472 CPUtime=1700.31 /proc/13588/stat : 13588 (Pueblo) R 13586 13588 13542 0 -1 4194304 4793 0 0 0 168878 1153 0 0 25 0 1 0 206315558 15843328 3445 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528622 0 0 4096 0 0 0 0 17 1 0 0 /proc/13588/statm: 3868 3445 205 16 0 3308 0 Current children cumulated CPU time (s) 1700.31 Current children cumulated vsize (Kb) 15472 [startup+1711.04 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13785 /proc/meminfo: memFree=1436144/2055888 swapFree=4085336/4096564 [pid=13588] ppid=13586 vsize=15472 CPUtime=1710.31 /proc/13588/stat : 13588 (Pueblo) R 13586 13588 13542 0 -1 4194304 4793 0 0 0 169876 1155 0 0 25 0 1 0 206315558 15843328 3445 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13588/statm: 3868 3445 205 16 0 3308 0 Current children cumulated CPU time (s) 1710.31 Current children cumulated vsize (Kb) 15472 [startup+1721.04 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13785 /proc/meminfo: memFree=1436144/2055888 swapFree=4085336/4096564 [pid=13588] ppid=13586 vsize=15472 CPUtime=1720.32 /proc/13588/stat : 13588 (Pueblo) R 13586 13588 13542 0 -1 4194304 4793 0 0 0 170874 1158 0 0 25 0 1 0 206315558 15843328 3445 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134529070 0 0 4096 0 0 0 0 17 1 0 0 /proc/13588/statm: 3868 3445 205 16 0 3308 0 Current children cumulated CPU time (s) 1720.32 Current children cumulated vsize (Kb) 15472 [startup+1731.05 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13785 /proc/meminfo: memFree=1436144/2055888 swapFree=4085336/4096564 [pid=13588] ppid=13586 vsize=15472 CPUtime=1730.31 /proc/13588/stat : 13588 (Pueblo) R 13586 13588 13542 0 -1 4194304 4793 0 0 0 171871 1160 0 0 25 0 1 0 206315558 15843328 3445 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134556382 0 0 4096 0 0 0 0 17 1 0 0 /proc/13588/statm: 3868 3445 205 16 0 3308 0 Current children cumulated CPU time (s) 1730.31 Current children cumulated vsize (Kb) 15472 [startup+1741.05 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13785 /proc/meminfo: memFree=1436144/2055888 swapFree=4085336/4096564 [pid=13588] ppid=13586 vsize=15552 CPUtime=1740.32 /proc/13588/stat : 13588 (Pueblo) R 13586 13588 13542 0 -1 4194304 4794 0 0 0 172870 1162 0 0 25 0 1 0 206315558 15925248 3446 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13588/statm: 3888 3446 205 16 0 3328 0 Current children cumulated CPU time (s) 1740.32 Current children cumulated vsize (Kb) 15552 [startup+1751.06 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13785 /proc/meminfo: memFree=1436144/2055888 swapFree=4085336/4096564 [pid=13588] ppid=13586 vsize=15552 CPUtime=1750.32 /proc/13588/stat : 13588 (Pueblo) R 13586 13588 13542 0 -1 4194304 4807 0 0 0 173869 1163 0 0 25 0 1 0 206315558 15925248 3459 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13588/statm: 3888 3459 205 16 0 3328 0 Current children cumulated CPU time (s) 1750.32 Current children cumulated vsize (Kb) 15552 [startup+1761.07 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13785 /proc/meminfo: memFree=1436208/2055888 swapFree=4085336/4096564 [pid=13588] ppid=13586 vsize=15552 CPUtime=1760.33 /proc/13588/stat : 13588 (Pueblo) R 13586 13588 13542 0 -1 4194304 4808 0 0 0 174868 1165 0 0 25 0 1 0 206315558 15925248 3460 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13588/statm: 3888 3460 205 16 0 3328 0 Current children cumulated CPU time (s) 1760.33 Current children cumulated vsize (Kb) 15552 [startup+1771.07 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13785 /proc/meminfo: memFree=1436208/2055888 swapFree=4085336/4096564 [pid=13588] ppid=13586 vsize=15552 CPUtime=1770.32 /proc/13588/stat : 13588 (Pueblo) R 13586 13588 13542 0 -1 4194304 4808 0 0 0 175866 1166 0 0 25 0 1 0 206315558 15925248 3460 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528801 0 0 4096 0 0 0 0 17 1 0 0 /proc/13588/statm: 3888 3460 205 16 0 3328 0 Current children cumulated CPU time (s) 1770.32 Current children cumulated vsize (Kb) 15552 [startup+1781.08 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13785 /proc/meminfo: memFree=1436208/2055888 swapFree=4085336/4096564 [pid=13588] ppid=13586 vsize=15644 CPUtime=1780.33 /proc/13588/stat : 13588 (Pueblo) R 13586 13588 13542 0 -1 4194304 4815 0 0 0 176865 1168 0 0 25 0 1 0 206315558 16019456 3467 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134556304 0 0 4096 0 0 0 0 17 1 0 0 /proc/13588/statm: 3911 3467 205 16 0 3351 0 Current children cumulated CPU time (s) 1780.33 Current children cumulated vsize (Kb) 15644 [startup+1782.08 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13785 /proc/meminfo: memFree=1436208/2055888 swapFree=4085336/4096564 [pid=13588] ppid=13586 vsize=15640 CPUtime=1781.33 /proc/13588/stat : 13588 (Pueblo) R 13586 13588 13542 0 -1 4194304 4815 0 0 0 176965 1168 0 0 25 0 1 0 206315558 16015360 3467 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528574 0 0 4096 0 0 0 0 17 1 0 0 /proc/13588/statm: 3910 3467 205 16 0 3350 0 Current children cumulated CPU time (s) 1781.33 Current children cumulated vsize (Kb) 15640 [startup+1783.09 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13785 /proc/meminfo: memFree=1436208/2055888 swapFree=4085336/4096564 [pid=13588] ppid=13586 vsize=15636 CPUtime=1782.34 /proc/13588/stat : 13588 (Pueblo) R 13586 13588 13542 0 -1 4194304 4815 0 0 0 177066 1168 0 0 25 0 1 0 206315558 16011264 3467 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13588/statm: 3909 3467 205 16 0 3349 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (Kb) 15636 Child status: 10 Real time (s): 1783.48 CPU time (s): 1782.74 CPU user time (s): 1771.05 CPU system time (s): 11.6842 CPU usage (%): 99.9581 Max. virtual memory (cumulated for all children) (Kb): 15644
Begin job on node88 on Sun Jun 4 07:39:24 UTC 2006 FILE ID= 36846-1149406764 PBS_JOBID= 314450 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-bench1.pi.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node88/36846-1149406764/instance-36846-1149406764.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node88/watcher-36846-1149406764 -o ROOT/results/node88/solver-36846-1149406764 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node88/36846-1149406764/instance-36846-1149406764.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= df1c0055bf82833faa95d352e28c6731 RANDOM SEED= 786883609 /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.261 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.261 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.38 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1449664 kB Buffers: 29500 kB Cached: 504716 kB SwapCached: 2304 kB Active: 92776 kB Inactive: 450032 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1449664 kB SwapTotal: 4096564 kB SwapFree: 4085336 kB Dirty: 164 kB Writeback: 0 kB Mapped: 16804 kB Slab: 49956 kB Committed_AS: 379352 kB PageTables: 1280 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node88 on Sun Jun 4 08:09:08 UTC 2006