Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | 25 | 1798.01 | 1798.49 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_024_area_delay.opb |
MD5SUM | 58f3055ef9bb388e237f57f2627386e0 |
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 | 24 |
Best CPU time to get the best result obtained on this benchmark | 3.21351 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24 |
Optimality of the best value was proved | YES |
Number of variables | 3392 |
Total number of constraints | 9001 |
Number of constraints which are clauses | 9001 |
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 | 1642 |
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 | 1642 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 1642 |
Number of bits of the biggest sum of numbers | 11 |
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 bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Instance file HOME/instance-2657261-1276633519.opb 0.00/0.00 c File size is 264615 bytes. 0.03/0.04 c Highest Coefficient sum: 1642 0.03/0.04 c Parsing was ok!! 0.03/0.04 c Total parsing time: 0.041 s 0.03/0.04 c Var: 3392 Constr: 9001 9001/0/0 Lit: 21887 Watch. Lit: 17902 0.03/0.04 c Obj. Vars: 1642 (48.408 % of total variables) 0.03/0.09 c Pre-processing Time: 0.096 s 0.03/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.09 c 0 3191 8552 20978 2 17104 2850 0 0 0.10 0.03/0.09 c Switching off lower bounding mode. 0.09/0.10 o 30 1.29/1.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.35 c 0 3191 8553 22520 2 18618 3850 1 0 0.10 1.29/1.35 c 100 3191 8653 26442 3 18818 4236 101 632 0.16 1.29/1.35 c 350 3191 8903 37247 4 19318 4660 351 1155 0.30 1.29/1.35 c 825 3191 9378 57489 6 20268 5127 826 1405 0.59 1.29/1.35 c 1638 3191 10191 86910 8 21894 5640 1639 1340 1.22 1.29/1.35 o 29 5.59/5.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.59/5.67 c 1841 3191 10395 95392 9 23815 3850 1843 1361 1.35 5.59/5.67 c 1941 3191 10495 98336 9 24015 4236 1943 1364 1.42 5.59/5.67 c 2191 3191 10745 109956 10 24515 4660 2193 1381 1.59 5.59/5.67 c 2667 3191 11221 130987 11 25467 5127 2669 1390 1.92 5.59/5.67 c 3482 3191 12036 160239 13 27097 5640 3484 1404 2.48 5.59/5.67 c 4802 3191 13356 217015 16 29737 6205 4804 1441 3.33 5.59/5.67 c 6883 3191 11656 137503 11 24825 6826 3104 1415 4.86 5.59/5.67 o 28 169.04/169.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 169.04/169.11 c 8050 3191 12824 212757 16 28675 3850 4272 1420 5.67 169.04/169.11 c 8151 3191 10579 124933 11 22672 4236 2027 1413 5.77 169.04/169.11 c 8403 3191 10831 135780 12 23176 4660 2279 1410 5.96 169.04/169.11 c 8878 3191 11306 154989 13 24126 5127 2754 1410 6.29 169.04/169.11 c 9691 3191 12119 189046 15 25752 5640 3567 1401 6.92 169.04/169.11 c 11011 3191 13439 254742 18 28392 6205 4887 1373 8.02 169.04/169.11 c 13092 3191 11656 153139 13 24826 6826 3104 1374 9.53 169.04/169.11 c 16315 3191 14879 317857 21 31272 7509 6327 1367 11.93 169.04/169.11 c 21251 3191 14543 356390 24 30600 8260 5991 1366 15.55 169.04/169.11 c 28757 3191 16559 445612 26 34632 9087 8007 1316 21.84 169.04/169.11 c 40118 3191 16055 443172 27 33624 9996 7503 1275 31.45 169.04/169.11 c 57262 3191 14322 335645 23 30158 10996 5770 1239 46.20 169.04/169.11 c 83081 3191 14051 339913 24 29616 12096 5499 1164 71.33 169.04/169.11 c 121913 3191 16121 1003774 62 33756 13306 7569 1067 114.18 169.04/169.11 o 27 663.60/663.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 663.60/663.84 c 164244 3191 18728 591210 31 40485 3850 10176 971 169.06 663.60/663.84 c 164347 3191 10581 136486 12 22677 4236 2029 971 169.25 663.60/663.84 c 164598 3191 10832 146378 13 23179 4660 2280 971 169.45 663.60/663.84 c 165074 3191 11308 163376 14 24131 5127 2756 972 169.74 663.60/663.84 c 165887 3191 12121 204954 16 25757 5640 3569 973 170.34 663.60/663.84 c 167208 3191 13442 271737 20 28399 6205 4890 975 171.35 663.60/663.84 c 169289 3191 11656 218556 18 24827 6826 3104 977 173.11 663.60/663.84 c 172512 3191 14879 378188 25 31273 7509 6327 983 175.48 663.60/663.84 c 177448 3191 14873 263618 17 31261 8260 6321 985 179.99 663.60/663.84 c 184955 3191 16857 483808 28 35229 9087 8305 987 187.21 663.60/663.84 c 196318 3191 16499 435884 26 34513 9996 7947 999 196.33 663.60/663.84 c 213462 3191 14639 328075 22 30793 10996 6087 1004 212.49 663.60/663.84 c 239281 3191 14051 281337 20 29617 12096 5499 1002 238.63 663.60/663.84 c 278114 3191 15721 514993 32 32957 13306 7169 1000 278.06 663.60/663.84 c 336466 3191 18064 788548 43 37643 14637 9512 980 343.28 663.60/663.84 c 424098 3191 18526 748724 40 38567 16101 9974 952 445.18 663.60/663.84 c 555651 3191 20745 727890 35 43005 17712 12193 939 591.42 663.60/663.84 o 26 1073.30/1073.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1073.30/1073.65 c 612934 3191 17409 524290 30 36334 3850 8857 923 664.06 1073.30/1073.65 c 613034 3191 10578 142371 13 22672 4236 2026 922 664.30 1073.30/1073.65 c 613286 3191 10830 149110 13 23176 4660 2278 922 664.48 1073.30/1073.65 c 613763 3191 11307 169861 15 24130 5127 2755 923 664.81 1073.30/1073.65 c 614576 3191 12120 198498 16 25756 5640 3568 923 665.39 1073.30/1073.65 c 615896 3191 13440 260156 19 28396 6205 4888 924 666.23 1073.30/1073.65 c 617977 3191 11656 169613 14 24828 6826 3104 925 667.88 1073.30/1073.65 c 621201 3191 14880 291563 19 31276 7509 6328 926 670.33 1073.30/1073.65 c 626137 3191 14669 306395 20 30854 8260 6117 928 674.58 1073.30/1073.65 c 633643 3191 16748 441380 26 35012 9087 8196 929 681.44 1073.30/1073.65 c 645004 3191 16386 432835 26 34288 9996 7834 933 691.20 1073.30/1073.65 c 662148 3191 14536 323425 22 30588 10996 5984 935 707.97 1073.30/1073.65 c 687968 3191 14051 331378 23 29618 12096 5499 935 735.76 1073.30/1073.65 c 726801 3191 15964 427772 26 33444 13306 7412 939 773.72 1073.30/1073.65 c 785154 3191 19826 687803 34 41168 14637 11274 934 840.06 1073.30/1073.65 c 872786 3191 21483 751278 34 44482 16101 12931 935 933.43 1073.30/1073.65 o 25 1797.91/1798.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.91/1798.48 c 986713 3191 23126 939978 40 49285 3850 14574 919 1073.36 1797.91/1798.48 c 986813 3191 10578 122763 11 22673 4236 2026 919 1073.75 1797.91/1798.48 c 987064 3191 10829 133355 12 23175 4660 2277 919 1073.93 1797.91/1798.48 c 987539 3191 11304 151645 13 24125 5127 2752 919 1074.25 1797.91/1798.48 c 988352 3191 12117 188404 15 25751 5640 3565 919 1074.82 1797.91/1798.48 c 989672 3191 13437 228873 17 28391 6205 4885 919 1075.91 1797.91/1798.48 c 991754 3191 11656 179104 15 24829 6826 3104 920 1077.61 1797.91/1798.48 c 994978 3191 14880 319179 21 31277 7509 6328 921 1079.96 1797.91/1798.48 c 999915 3191 14842 328883 22 31201 8260 6290 922 1083.67 1797.91/1798.48 c 1007421 3191 16936 393657 23 35389 9087 8384 924 1090.03 1797.91/1798.48 c 1018782 3191 16834 431118 25 35185 9996 8282 925 1101.37 1797.91/1798.48 c 1035926 3191 15314 278066 18 32145 10996 6762 925 1119.67 1797.91/1798.48 c 1061746 3191 14051 295334 21 29619 12096 5499 923 1149.78 1797.91/1798.48 c 1100578 3191 16425 360119 21 34367 13306 7873 927 1186.82 1797.91/1798.48 c 1158930 3191 19197 655090 34 39911 14637 10645 923 1255.41 1797.91/1798.48 c 1246563 3191 20836 897014 43 43189 16101 12284 928 1342.41 1797.91/1798.48 c 1378115 3191 22057 709872 32 45631 17712 13505 921 1495.95 1797.91/1798.48 c 1575547 3191 17696 395279 22 36909 19484 9144 912 1725.96 1797.91/1798.48 c Resources Exceeded 1797.91/1798.48 v -x149 -x151 -x153 -x155 -x157 -x159 x161 -x163 -x165 -x167 -x169 -x171 -x173 -x175 -x177 -x179 -x181 -x183 -x185 -x187 -x189 -x191 -x193 -x195 -x197 -x199 -x201 -x203 -x205 -x207 -x209 -x211 -x213 -x215 -x217 -x219 -x221 -x223 -x225 -x227 -x229 -x231 -x233 -x235 -x237 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x256 -x258 -x260 -x262 -x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 -x286 -x288 -x290 -x292 -x294 -x296 -x298 -x300 -x302 -x304 -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439 -x441 -x443 -x445 -x447 -x449 -x451 -x453 -x455 x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x483 -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x820 -x822 -x824 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x859 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x989 -x991 -x993 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1226 -x1228 -x1230 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x1330 -x1332 x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -x1370 -x1372 -x1373 -x1375 -x1377 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 -x1528 -x1529 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x1571 -x1573 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 x1659 -x1661 -x1663 -x1665 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1711 -x1713 -x1715 -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1994 -x1996 -x1998 x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 x2157 -x2159 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 -x2193 -x2195 -x2197 -x2198 -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2247 x2249 -x2251 -x2253 -x2255 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 -x2405 x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 -x2439 -x2441 -x2443 -x2445 -x2447 -x2449 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2495 -x2497 -x2499 -x2501 -x2503 -x2505 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x2537 -x2539 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2705 -x2707 -x2709 -x2711 x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2758 -x2760 -x2762 -x2764 -x2766 -x2768 x2770 -x2772 -x2774 -x2776 -x2778 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x2806 -x2807 -x2809 -x2811 -x2813 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2842 -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 -x2856 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 x2873 -x2875 -x2876 -x2878 -x2880 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x2904 -x2906 -x2908 -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3069 x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3098 -x3100 -x3102 x3104 -x3106 -x3108 -x3110 -x3112 -x3114 -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 x3186 -x3188 x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x3233 -x3235 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 x3311 -x3313 -x3314 -x3316 -x3318 -x3320 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 x3358 -x3360 -x3362 -x3364 -x3366 -x3368 x3370 -x3372 x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3386 -x3388 -x3390 -x3391 -x3392 -x148 -x150 -x152 -x154 -x156 -x158 x160 -x162 -x164 -x166 -x168 -x170 -x172 -x174 -x176 -x178 -x180 -x182 -x184 -x186 -x188 -x190 -x192 -x194 -x196 -x198 -x200 -x202 -x204 -x206 -x208 -x210 -x1 -x212 -x214 -x216 -x218 -x220 -x222 -x224 -x226 -x228 -x230 -x232 -x234 -x236 -x238 -x240 -x2 -x242 -x244 -x246 -x248 -x250 -x252 -x254 -x257 -x259 -x261 -x263 -x265 -x267 -x269 -x3 -x271 -x273 -x275 -x277 -x279 -x281 -x283 -x4 -x285 -x287 -x289 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x327 -x329 -x331 -x333 -x335 -x337 x339 -x341 -x343 -x5 -x345 -x347 -x349 -x351 -x353 -x355 -x357 -x6 -x359 -x361 -x363 -x365 -x367 -x369 -x371 -x7 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x8 -x387 -x389 -x391 -x393 -x395 -x398 -x400 -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454 x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x9 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x532 -x534 -x536 -x538 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 -x611 -x613 -x615 x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x639 -x10 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x11 -x671 -x673 -x675 -x677 -x679 -x681 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 -x731 -x12 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 -x13 -x763 -x765 -x767 -x769 -x771 -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x14 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -x15 -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 -x866 -x16 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x894 -x896 -x17 -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x18 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x19 -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x20 -x972 -x974 -x976 -x978 -x980 -x982 -x984 -x21 -x986 -x988 -x990 -x992 -x995 -x997 -x22 -x999 -x1001 -x1003 -x23 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x24 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x25 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x26 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x27 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x28 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x29 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x30 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 x31 x1213 -x1215 -x1217 -x32 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x33 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x34 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x35 -x1276 -x1278 -x1280 -x36 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -x37 -x1296 -x1298 -x1300 -x38 -x1302 -x1304 -x1306 -x39 -x1308 -x1310 -x40 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1374 -x41 -x1376 -x1379 -x1381 -x1383 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x42 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x43 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x44 -x1448 -x1450 -x1452 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x45 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x46 -x1552 -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1575 -x1577 -x1579 -x47 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x48 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x49 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x1639 -x1641 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 -x1656 x1658 -x1660 -x1662 -x1664 -x1666 -x50 -x1668 -x1670 -x1672 -x1674 -x1676 -x1679 -x51 -x1681 -x1683 -x1685 -x52 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x1707 -x1709 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x53 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x54 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 -x55 -x1866 -x1868 -x1870 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x56 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x57 -x1909 -x1911 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 -x58 -x1938 -x1940 -x1942 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x59 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x60 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1993 -x1995 -x1997 x1999 -x2001 -x2003 -x2005 -x2007 -x61 -x2009 -x2011 -x2013 -x62 -x2015 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x63 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x64 -x2043 -x2045 -x2047 -x65 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2070 -x2072 -x2074 -x2076 -x66 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x2104 -x2106 -x67 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x68 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x69 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x70 -x2150 -x2152 -x2154 x2156 -x2158 -x2160 -x2162 -x2164 -x2166 -x71 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x72 -x2182 -x2184 -x2186 -x73 -x2188 -x2190 -x2192 -x74 -x2194 -x2196 -x75 -x2199 -x2201 -x2203 -x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 -x2243 -x2245 x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x76 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x77 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x2304 -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x78 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334 -x2336 -x2338 -x2340 -x2342 -x2344 -x2346 -x2348 -x2350 -x79 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x80 -x2366 -x2368 -x2370 -x2372 -x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x81 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 -x2438 -x82 -x2440 -x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x83 -x2454 -x2456 -x2458 -x2460 -x2463 -x2465 -x84 -x2467 -x2469 -x2471 -x85 -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x2487 -x2489 -x2491 -x2493 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -x2532 -x86 -x2534 -x2536 -x2538 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x87 -x2563 -x2565 -x2567 -x2569 -x2571 -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x88 -x2593 -x2595 -x2597 -x2599 -x2601 -x2603 -x2605 -x89 -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x90 -x2637 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x2665 -x91 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 -x92 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x93 -x2695 -x2697 -x2699 -x2701 -x2703 -x2706 -x94 -x2708 -x2710 x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x95 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x2756 -x2759 -x2761 -x2763 -x2765 -x2767 x2769 -x2771 -x2773 -x2775 -x2777 -x2779 -x2781 -x2783 -x2785 -x96 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x97 -x2801 -x2803 -x2805 -x2808 -x2810 -x2812 -x98 -x2814 -x2816 -x2818 -x99 -x2820 -x2822 -x2824 -x2826 -x2828 -x2830 -x2832 -x100 -x2834 -x2836 -x2838 -x2840 -x2843 -x2845 -x101 -x2847 -x2849 -x2851 -x102 -x2853 -x2855 -x2858 -x2860 -x2862 -x2864 -x103 -x2866 -x2868 -x2870 x2872 -x2874 -x104 -x2877 -x105 -x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x106 -x2909 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x107 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 -x108 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x109 -x2967 -x2969 -x2971 -x2973 -x2975 -x2977 -x2979 -x110 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x111 -x2995 -x2997 -x2999 -x112 -x3001 -x3003 -x3006 -x3008 -x3010 -x3012 -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x113 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 -x3048 -x3050 -x3052 -x3054 -x3056 -x114 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3099 x115 -x3101 x3103 -x3105 -x3107 -x3109 -x3111 -x116 -x3113 -x3115 -x3117 -x3119 -x3121 -x3123 -x3125 -x117 -x3127 -x3129 -x3131 -x118 -x3133 -x3135 -x3137 -x3139 -x3141 -x3143 -x3145 -x119 -x3147 -x3149 -x3151 -x3153 -x3155 -x3157 -x3159 -x120 -x3161 -x3163 -x121 -x3165 -x3167 -x3169 -x3171 -x3173 -x3175 -x3177 -x122 -x3179 -x3181 -x3183 x123 x3185 -x3187 x124 -x3190 -x125 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3212 -x3214 -x3216 -x3218 -x3220 -x126 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 -x3234 -x127 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 -x3248 -x128 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 x129 -x3264 x3266 -x3268 -x130 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 -x3282 -x131 -x3284 -x3286 -x3288 -x3290 -x3292 -x3294 -x3296 -x132 -x3298 -x3300 -x3302 -x133 -x3304 -x3306 -x3308 x134 x3310 -x3312 -x135 -x3315 -x136 -x3317 -x3319 -x3321 -x3323 -x3325 -x3327 -x3329 -x137 -x3331 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x138 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355 x3357 -x3359 -x3361 -x3363 -x139 -x3365 -x3367 x140 x3369 -x3371 x141 -x3374 -x142 -x3376 -x3378 -x3380 -x143 -x3382 -x3384 -x144 -x3387 -x145 -x3389 -x146 -x147 1797.91/1798.48 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.91/1798.48 c 77 1639545 1007672 5853102 27153 1268366 18601 911 1798.00 1797.91/1798.48 c Objective: 25 1797.91/1798.48 s SATISFIABLE 1797.91/1798.48 c Total time: 1798 s
OK 25
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657261-1276633519/watcher-2657261-1276633519 -o /tmp/evaluation-result-2657261-1276633519/solver-2657261-1276633519 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657261-1276633519.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: 1.83 1.96 1.63 3/105 13208 /proc/meminfo: memFree=1835060/2059040 swapFree=4164960/4192956 [pid=13208] ppid=13206 vsize=11192 CPUtime=0 /proc/13208/stat : 13208 (bsolo_pb10) R 13206 13208 12967 0 -1 4202496 356 0 0 0 0 0 0 0 25 0 1 0 4645476 11460608 274 1992294400 134512640 137138936 4290114992 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13208/statm: 2798 274 175 642 0 2089 0 [startup+0.037397 s] /proc/loadavg: 1.83 1.96 1.63 3/105 13208 /proc/meminfo: memFree=1835060/2059040 swapFree=4164960/4192956 [pid=13208] ppid=13206 vsize=11884 CPUtime=0.03 /proc/13208/stat : 13208 (bsolo_pb10) R 13206 13208 12967 0 -1 4202496 587 0 0 0 3 0 0 0 25 0 1 0 4645476 12169216 505 1992294400 134512640 137138936 4290114992 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13208/statm: 2971 505 220 642 0 2262 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11884 [startup+0.10139 s] /proc/loadavg: 1.83 1.96 1.63 3/105 13208 /proc/meminfo: memFree=1835060/2059040 swapFree=4164960/4192956 [pid=13208] ppid=13206 vsize=12724 CPUtime=0.09 /proc/13208/stat : 13208 (bsolo_pb10) R 13206 13208 12967 0 -1 4202496 948 0 0 0 8 1 0 0 25 0 1 0 4645476 13029376 754 1992294400 134512640 137138936 4290114992 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13208/statm: 3181 754 187 642 0 2537 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12724 [startup+0.301412 s] /proc/loadavg: 1.83 1.96 1.63 3/105 13208 /proc/meminfo: memFree=1835060/2059040 swapFree=4164960/4192956 [pid=13208] ppid=13206 vsize=12852 CPUtime=0.29 /proc/13208/stat : 13208 (bsolo_pb10) R 13206 13208 12967 0 -1 4202496 962 0 0 0 28 1 0 0 25 0 1 0 4645476 13160448 768 1992294400 134512640 137138936 4290114992 18446744073709551615 134543124 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13208/statm: 3213 768 192 642 0 2569 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12852 [startup+0.701456 s] /proc/loadavg: 1.83 1.96 1.63 3/105 13208 /proc/meminfo: memFree=1835060/2059040 swapFree=4164960/4192956 [pid=13208] ppid=13206 vsize=13156 CPUtime=0.69 /proc/13208/stat : 13208 (bsolo_pb10) R 13206 13208 12967 0 -1 4202496 1058 0 0 0 67 2 0 0 25 0 1 0 4645476 13471744 864 1992294400 134512640 137138936 4290114992 18446744073709551615 134543413 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13208/statm: 3289 864 192 642 0 2645 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13156 [startup+1.50154 s] /proc/loadavg: 1.83 1.96 1.63 2/106 13209 /proc/meminfo: memFree=1831952/2059040 swapFree=4164960/4192956 [pid=13208] ppid=13206 vsize=13912 CPUtime=1.49 /proc/13208/stat : 13208 (bsolo_pb10) R 13206 13208 12967 0 -1 4202496 1232 0 0 0 146 3 0 0 25 0 1 0 4645476 14245888 1038 1992294400 134512640 137138936 4290114992 18446744073709551615 136502614 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13208/statm: 3478 1038 192 642 0 2834 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13912 [startup+3.10172 s] /proc/loadavg: 1.83 1.96 1.63 2/106 13209 /proc/meminfo: memFree=1830836/2059040 swapFree=4164960/4192956 [pid=13208] ppid=13206 vsize=15444 CPUtime=3.09 /proc/13208/stat : 13208 (bsolo_pb10) R 13206 13208 12967 0 -1 4202496 1631 0 0 0 304 5 0 0 25 0 1 0 4645476 15814656 1437 1992294400 134512640 137138936 4290114992 18446744073709551615 136504020 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13208/statm: 3861 1437 192 642 0 3217 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15444 [startup+6.30108 s] /proc/loadavg: 1.76 1.94 1.63 2/106 13209 /proc/meminfo: memFree=1828232/2059040 swapFree=4164960/4192956 [pid=13208] ppid=13206 vsize=16820 CPUtime=6.29 /proc/13208/stat : 13208 (bsolo_pb10) R 13206 13208 12967 0 -1 4202496 1973 0 0 0 620 9 0 0 25 0 1 0 4645476 17223680 1779 1992294400 134512640 137138936 4290114992 18446744073709551615 136501669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13208/statm: 4205 1779 192 642 0 3561 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16820 [startup+12.7018 s] /proc/loadavg: 1.70 1.93 1.62 2/106 13209 /proc/meminfo: memFree=1827488/2059040 swapFree=4164960/4192956 [pid=13208] ppid=13206 vsize=17940 CPUtime=12.69 /proc/13208/stat : 13208 (bsolo_pb10) R 13206 13208 12967 0 -1 4202496 2244 0 0 0 1257 12 0 0 25 0 1 0 4645476 18370560 2050 1992294400 134512640 137138936 4290114992 18446744073709551615 134543154 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13208/statm: 4485 2050 192 642 0 3841 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17940 [startup+25.5012 s] /proc/loadavg: 1.55 1.88 1.61 2/106 13209 /proc/meminfo: memFree=1824512/2059040 swapFree=4164960/4192956 [pid=13208] ppid=13206 vsize=20660 CPUtime=25.48 /proc/13208/stat : 13208 (bsolo_pb10) R 13206 13208 12967 0 -1 4202496 2927 0 0 0 2531 17 0 0 25 0 1 0 4645476 21155840 2733 1992294400 134512640 137138936 4290114992 18446744073709551615 136521043 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13208/statm: 5165 2733 192 642 0 4521 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 20660 [startup+51.101 s] /proc/loadavg: 1.36 1.81 1.60 2/106 13209 /proc/meminfo: memFree=1821908/2059040 swapFree=4164960/4192956 [pid=13208] ppid=13206 vsize=23180 CPUtime=51.07 /proc/13208/stat : 13208 (bsolo_pb10) R 13206 13208 12967 0 -1 4202496 3557 0 0 0 5075 32 0 0 25 0 1 0 4645476 23736320 3363 1992294400 134512640 137138936 4290114992 18446744073709551615 134544869 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13208/statm: 5795 3363 192 642 0 5151 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 23180 [startup+102.309 s] /proc/loadavg: 1.19 1.70 1.57 2/106 13211 /proc/meminfo: memFree=1818932/2059040 swapFree=4164960/4192956 [pid=13208] ppid=13206 vsize=26172 CPUtime=102.27 /proc/13208/stat : 13208 (bsolo_pb10) R 13206 13208 12967 0 -1 4202496 4307 0 0 0 10172 55 0 0 25 0 1 0 4645476 26800128 4113 1992294400 134512640 137138936 4290114992 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13208/statm: 6543 4113 192 642 0 5899 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 26172 [startup+162.301 s] /proc/loadavg: 1.07 1.57 1.53 2/106 13213 /proc/meminfo: memFree=1817568/2059040 swapFree=4164960/4192956 [pid=13208] ppid=13206 vsize=26628 CPUtime=162.24 /proc/13208/stat : 13208 (bsolo_pb10) R 13206 13208 12967 0 -1 4202496 5911 0 0 0 16147 77 0 0 25 0 1 0 4645476 27267072 4237 1992294400 134512640 137138936 4290114992 18446744073709551615 134575635 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13208/statm: 6657 4237 192 642 0 6013 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 26628 [startup+222.301 s] /proc/loadavg: 1.14 1.49 1.50 2/106 13215 /proc/meminfo: memFree=1817568/2059040 swapFree=4164960/4192956 [pid=13208] ppid=13206 vsize=26592 CPUtime=222.23 /proc/13208/stat : 13208 (bsolo_pb10) R 13206 13208 12967 0 -1 4202496 5911 0 0 0 22113 110 0 0 25 0 1 0 4645476 27230208 4228 1992294400 134512640 137138936 4290114992 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13208/statm: 6648 4228 192 642 0 6004 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 26592 [startup+282.301 s] /proc/loadavg: 1.12 1.42 1.47 2/106 13215 /proc/meminfo: memFree=1817568/2059040 swapFree=4164960/4192956 [pid=13208] ppid=13206 vsize=26584 CPUtime=282.21 /proc/13208/stat : 13208 (bsolo_pb10) R 13206 13208 12967 0 -1 4202496 5911 0 0 0 28087 134 0 0 25 0 1 0 4645476 27222016 4226 1992294400 134512640 137138936 4290114992 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13208/statm: 6646 4226 192 642 0 6002 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 26584 [startup+342.301 s] /proc/loadavg: 1.11 1.35 1.45 2/106 13217 /proc/meminfo: memFree=1816948/2059040 swapFree=4164960/4192956 [pid=13208] ppid=13206 vsize=27832 CPUtime=342.2 /proc/13208/stat : 13208 (bsolo_pb10) R 13206 13208 12967 0 -1 4202496 6223 0 0 0 34062 158 0 0 25 0 1 0 4645476 28499968 4537 1992294400 134512640 137138936 4290114992 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13208/statm: 6958 4537 192 642 0 6314 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 27832 [startup+402.301 s] /proc/loadavg: 1.10 1.30 1.42 2/106 13219 /proc/meminfo: memFree=1816328/2059040 swapFree=4164960/4192956 [pid=13208] ppid=13206 vsize=28404 CPUtime=402.18 /proc/13208/stat : 13208 (bsolo_pb10) R 13206 13208 12967 0 -1 4202496 6367 0 0 0 40035 183 0 0 25 0 1 0 4645476 29085696 4681 1992294400 134512640 137138936 4290114992 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13208/statm: 7101 4681 192 642 0 6457 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 28404 [startup+462.301 s] /proc/loadavg: 1.09 1.26 1.40 2/106 13224 /proc/meminfo: memFree=1814964/2059040 swapFree=4164960/4192956 [pid=13208] ppid=13206 vsize=29184 CPUtime=462.16 /proc/13208/stat : 13208 (bsolo_pb10) R 13206 13208 12967 0 -1 4202496 6552 0 0 0 46008 208 0 0 25 0 1 0 4645476 29884416 4866 1992294400 134512640 137138936 4290114992 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13208/statm: 7296 4866 192 642 0 6652 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 29184 [startup+522.301 s] /proc/loadavg: 1.08 1.22 1.37 2/106 13226 /proc/meminfo: memFree=1814096/2059040 swapFree=4164960/4192956 [pid=13208] ppid=13206 vsize=30724 CPUtime=522.15 /proc/13208/stat : 13208 (bsolo_pb10) R 13206 13208 12967 0 -1 4202496 6944 0 0 0 51975 240 0 0 25 0 1 0 4645476 31461376 5258 1992294400 134512640 137138936 4290114992 18446744073709551615 134543100 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13208/statm: 7681 5258 192 642 0 7037 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 30724 [startup+582.301 s] /proc/loadavg: 1.08 1.20 1.35 2/106 13226 /proc/meminfo: memFree=1814468/2059040 swapFree=4164960/4192956 [pid=13208] ppid=13206 vsize=29144 CPUtime=582.13 /proc/13208/stat : 13208 (bsolo_pb10) R 13206 13208 12967 0 -1 4202496 7377 0 0 0 57943 270 0 0 25 0 1 0 4645476 29843456 4866 1992294400 134512640 137138936 4290114992 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13208/statm: 7286 4866 192 642 0 6642 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 29144 [startup+642.302 s] /proc/loadavg: 1.07 1.17 1.34 2/106 13228 /proc/meminfo: memFree=1813228/2059040 swapFree=4164960/4192956 [pid=13208] ppid=13206 vsize=31032 CPUtime=642.12 /proc/13208/stat : 13208 (bsolo_pb10) R 13206 13208 12967 0 -1 4202496 7836 0 0 0 63920 292 0 0 25 0 1 0 4645476 31776768 5325 1992294400 134512640 137138936 4290114992 18446744073709551615 136521017 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13208/statm: 7758 5325 192 642 0 7114 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 31032 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1813352/2059040 swapFree=4164960/4192956 [pid=13208] ppid=13206 vsize=30248 CPUtime=1121.99 /proc/13208/stat : 13208 (bsolo_pb10) R 13206 13208 12967 0 -1 4202496 7849 0 0 0 111698 501 0 0 25 0 1 0 4645476 30973952 5135 1992294400 134512640 137138936 4290114992 18446744073709551615 134543117 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13208/statm: 7562 5135 192 642 0 6918 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 30248 [startup+1182.3 s] /proc/loadavg: 1.12 1.11 1.21 2/106 13242 /proc/meminfo: memFree=1813352/2059040 swapFree=4164960/4192956 [pid=13208] ppid=13206 vsize=30248 CPUtime=1181.97 /proc/13208/stat : 13208 (bsolo_pb10) R 13206 13208 12967 0 -1 4202496 7849 0 0 0 117671 526 0 0 25 0 1 0 4645476 30973952 5135 1992294400 134512640 137138936 4290114992 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13208/statm: 7562 5135 192 642 0 6918 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 30248 [startup+1242.3 s] /proc/loadavg: 1.12 1.11 1.21 2/106 13244 /proc/meminfo: memFree=1813228/2059040 swapFree=4164960/4192956 [pid=13208] ppid=13206 vsize=30248 CPUtime=1241.95 /proc/13208/stat : 13208 (bsolo_pb10) R 13206 13208 12967 0 -1 4202496 7849 0 0 0 123646 549 0 0 25 0 1 0 4645476 30973952 5135 1992294400 134512640 137138936 4290114992 18446744073709551615 134542796 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13208/statm: 7562 5135 192 642 0 6918 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 30248 [startup+1302.3 s] /proc/loadavg: 1.08 1.10 1.20 2/106 13246 /proc/meminfo: memFree=1813104/2059040 swapFree=4164960/4192956 [pid=13208] ppid=13206 vsize=30248 CPUtime=1301.94 /proc/13208/stat : 13208 (bsolo_pb10) R 13206 13208 12967 0 -1 4202496 7849 0 0 0 129617 577 0 0 25 0 1 0 4645476 30973952 5135 1992294400 134512640 137138936 4290114992 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13208/statm: 7562 5135 192 642 0 6918 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 30248 [startup+1362.3 s] /proc/loadavg: 1.03 1.08 1.18 2/106 13248 /proc/meminfo: memFree=1813104/2059040 swapFree=4164960/4192956 [pid=13208] ppid=13206 vsize=30248 CPUtime=1361.92 /proc/13208/stat : 13208 (bsolo_pb10) R 13206 13208 12967 0 -1 4202496 7849 0 0 0 135589 603 0 0 25 0 1 0 4645476 30973952 5135 1992294400 134512640 137138936 4290114992 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13208/statm: 7562 5135 192 642 0 6918 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 30248 [startup+1422.31 s] /proc/loadavg: 1.01 1.06 1.17 2/106 13250 /proc/meminfo: memFree=1813104/2059040 swapFree=4164960/4192956 [pid=13208] ppid=13206 vsize=30248 CPUtime=1421.91 /proc/13208/stat : 13208 (bsolo_pb10) R 13206 13208 12967 0 -1 4202496 7849 0 0 0 141567 624 0 0 25 0 1 0 4645476 30973952 5135 1992294400 134512640 137138936 4290114992 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13208/statm: 7562 5135 192 642 0 6918 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 30248 [startup+1482.3 s] /proc/loadavg: 1.00 1.05 1.16 2/106 13250 /proc/meminfo: memFree=1813104/2059040 swapFree=4164960/4192956 [pid=13208] ppid=13206 vsize=30248 CPUtime=1481.89 /proc/13208/stat : 13208 (bsolo_pb10) R 13206 13208 12967 0 -1 4202496 7849 0 0 0 147543 646 0 0 25 0 1 0 4645476 30973952 5135 1992294400 134512640 137138936 4290114992 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13208/statm: 7562 5135 192 642 0 6918 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 30248 [startup+1542.3 s] /proc/loadavg: 1.00 1.04 1.14 2/106 13252 /proc/meminfo: memFree=1813104/2059040 swapFree=4164960/4192956 [pid=13208] ppid=13206 vsize=30248 CPUtime=1541.88 /proc/13208/stat : 13208 (bsolo_pb10) R 13206 13208 12967 0 -1 4202496 7849 0 0 0 153516 672 0 0 25 0 1 0 4645476 30973952 5135 1992294400 134512640 137138936 4290114992 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13208/statm: 7562 5135 192 642 0 6918 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 30248 [startup+1602.3 s] /proc/loadavg: 1.00 1.03 1.13 2/106 13254 /proc/meminfo: memFree=1812236/2059040 swapFree=4164960/4192956 [pid=13208] ppid=13206 vsize=31660 CPUtime=1601.86 /proc/13208/stat : 13208 (bsolo_pb10) R 13206 13208 12967 0 -1 4202496 8197 0 0 0 159492 694 0 0 25 0 1 0 4645476 32419840 5483 1992294400 134512640 137138936 4290114992 18446744073709551615 136504598 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13208/statm: 7915 5483 192 642 0 7271 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 31660 [startup+1662.3 s] /proc/loadavg: 1.00 1.02 1.12 2/106 13256 /proc/meminfo: memFree=1812236/2059040 swapFree=4164960/4192956 [pid=13208] ppid=13206 vsize=31660 CPUtime=1661.84 /proc/13208/stat : 13208 (bsolo_pb10) R 13206 13208 12967 0 -1 4202496 8197 0 0 0 165470 714 0 0 25 0 1 0 4645476 32419840 5483 1992294400 134512640 137138936 4290114992 18446744073709551615 136297616 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13208/statm: 7915 5483 192 642 0 7271 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 31660 [startup+1722.3 s] /proc/loadavg: 1.00 1.02 1.11 2/106 13258 /proc/meminfo: memFree=1812236/2059040 swapFree=4164960/4192956 [pid=13208] ppid=13206 vsize=31656 CPUtime=1721.83 /proc/13208/stat : 13208 (bsolo_pb10) R 13206 13208 12967 0 -1 4202496 8197 0 0 0 171440 743 0 0 25 0 1 0 4645476 32415744 5483 1992294400 134512640 137138936 4290114992 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13208/statm: 7914 5483 192 642 0 7270 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 31656 [startup+1782.3 s] /proc/loadavg: 1.00 1.01 1.10 2/106 13258 /proc/meminfo: memFree=1811988/2059040 swapFree=4164960/4192956 [pid=13208] ppid=13206 vsize=31608 CPUtime=1781.81 /proc/13208/stat : 13208 (bsolo_pb10) R 13206 13208 12967 0 -1 4202496 8198 0 0 0 177413 768 0 0 25 0 1 0 4645476 32366592 5482 1992294400 134512640 137138936 4290114992 18446744073709551615 136502585 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13208/statm: 7902 5482 192 642 0 7258 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 31608 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.01 1.10 2/106 13258 /proc/meminfo: memFree=1811988/2059040 swapFree=4164960/4192956 [pid=13208] ppid=13206 vsize=31608 CPUtime=1791.42 /proc/13208/stat : 13208 (bsolo_pb10) R 13206 13208 12967 0 -1 4202496 8198 0 0 0 178370 772 0 0 25 0 1 0 4645476 32366592 5482 1992294400 134512640 137138936 4290114992 18446744073709551615 134575820 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13208/statm: 7902 5482 192 642 0 7258 0 Current children cumulated CPU time (s) 1791.42 Current children cumulated vsize (KiB) 31608 [startup+1795.1 s] /proc/loadavg: 1.00 1.01 1.09 2/106 13260 /proc/meminfo: memFree=1811988/2059040 swapFree=4164960/4192956 [pid=13208] ppid=13206 vsize=31608 CPUtime=1794.62 /proc/13208/stat : 13208 (bsolo_pb10) R 13206 13208 12967 0 -1 4202496 8198 0 0 0 178689 773 0 0 25 0 1 0 4645476 32366592 5482 1992294400 134512640 137138936 4290114992 18446744073709551615 134542620 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13208/statm: 7902 5482 192 642 0 7258 0 Current children cumulated CPU time (s) 1794.62 Current children cumulated vsize (KiB) 31608 [startup+1796.7 s] /proc/loadavg: 1.00 1.01 1.09 2/106 13260 /proc/meminfo: memFree=1811988/2059040 swapFree=4164960/4192956 [pid=13208] ppid=13206 vsize=31608 CPUtime=1796.21 /proc/13208/stat : 13208 (bsolo_pb10) R 13206 13208 12967 0 -1 4202496 8198 0 0 0 178847 774 0 0 25 0 1 0 4645476 32366592 5482 1992294400 134512640 137138936 4290114992 18446744073709551615 134575387 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13208/statm: 7902 5482 192 642 0 7258 0 Current children cumulated CPU time (s) 1796.21 Current children cumulated vsize (KiB) 31608 [startup+1797.5 s] /proc/loadavg: 1.00 1.01 1.09 2/106 13260 /proc/meminfo: memFree=1811988/2059040 swapFree=4164960/4192956 [pid=13208] ppid=13206 vsize=31608 CPUtime=1797.01 /proc/13208/stat : 13208 (bsolo_pb10) R 13206 13208 12967 0 -1 4202496 8198 0 0 0 178927 774 0 0 25 0 1 0 4645476 32366592 5482 1992294400 134512640 137138936 4290114992 18446744073709551615 136504257 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13208/statm: 7902 5482 192 642 0 7258 0 Current children cumulated CPU time (s) 1797.01 Current children cumulated vsize (KiB) 31608 [startup+1797.9 s] /proc/loadavg: 1.00 1.01 1.09 2/106 13260 /proc/meminfo: memFree=1811988/2059040 swapFree=4164960/4192956 [pid=13208] ppid=13206 vsize=31608 CPUtime=1797.41 /proc/13208/stat : 13208 (bsolo_pb10) R 13206 13208 12967 0 -1 4202496 8198 0 0 0 178967 774 0 0 25 0 1 0 4645476 32366592 5482 1992294400 134512640 137138936 4290114992 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13208/statm: 7902 5482 192 642 0 7258 0 Current children cumulated CPU time (s) 1797.41 Current children cumulated vsize (KiB) 31608 [startup+1798.3 s] /proc/loadavg: 1.00 1.01 1.09 2/106 13260 /proc/meminfo: memFree=1811988/2059040 swapFree=4164960/4192956 [pid=13208] ppid=13206 vsize=31608 CPUtime=1797.8 /proc/13208/stat : 13208 (bsolo_pb10) R 13206 13208 12967 0 -1 4202496 8198 0 0 0 179006 774 0 0 25 0 1 0 4645476 32366592 5482 1992294400 134512640 137138936 4290114992 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13208/statm: 7902 5482 192 642 0 7258 0 Current children cumulated CPU time (s) 1797.8 Current children cumulated vsize (KiB) 31608 [startup+1798.4 s] /proc/loadavg: 1.00 1.01 1.09 2/106 13260 /proc/meminfo: memFree=1811988/2059040 swapFree=4164960/4192956 [pid=13208] ppid=13206 vsize=31608 CPUtime=1797.91 /proc/13208/stat : 13208 (bsolo_pb10) R 13206 13208 12967 0 -1 4202496 8198 0 0 0 179017 774 0 0 25 0 1 0 4645476 32366592 5482 1992294400 134512640 137138936 4290114992 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13208/statm: 7902 5482 192 642 0 7258 0 Current children cumulated CPU time (s) 1797.91 Current children cumulated vsize (KiB) 31608 Child status: 0 Real time (s): 1798.49 CPU time (s): 1798.01 CPU user time (s): 1790.25 CPU system time (s): 7.75282 CPU usage (%): 99.9732 Max. virtual memory (cumulated for all children) (KiB): 32556 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.25 system time used= 7.75282 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8199 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= 4959 runsolver used 2.90056 second user time and 8.5597 second system time The end
Begin job on node087 at 2010-06-15 22:25:19 IDJOB=2657261 IDBENCH=24987 IDSOLVER=1163 FILE ID=node087/2657261-1276633519 PBS_JOBID= 11172370 Free space on /tmp= 62556 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_024_area_delay.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657261-1276633519/watcher-2657261-1276633519 -o /tmp/evaluation-result-2657261-1276633519/solver-2657261-1276633519 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657261-1276633519.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 58f3055ef9bb388e237f57f2627386e0 RANDOM SEED=1866258003 node087.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.213 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.213 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 : 5999.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1835588 kB Buffers: 16660 kB Cached: 98948 kB SwapCached: 768 kB Active: 62636 kB Inactive: 85884 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1835588 kB SwapTotal: 4192956 kB SwapFree: 4164960 kB Dirty: 4156 kB Writeback: 0 kB AnonPages: 32116 kB Mapped: 14656 kB Slab: 53192 kB PageTables: 4008 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181748 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= 62552 MiB End job on node087 at 2010-06-15 22:55:18