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