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