Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 25 | 1800.06 | 1802.62 |
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 | 40.6848 |
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.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/433700-1177962195/instance-433700-1177962195.opb 0.00/0.00 c File size is 264615 bytes. 0.00/0.05 c Highest Coefficient sum: 1642 0.00/0.05 c Parsing was ok!! 0.00/0.05 c Total parsing time: 0.049 s 0.00/0.05 c Var: 3392 Constr: 9001 9001/0/0 Lit: 21887 Watch. Lit: 17902 0.00/0.05 c Obj. Vars: 1642 (48.408 % of total variables) 0.09/0.11 c Pre-processing Time: 0.106 s 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 0 3191 8552 20978 2 17104 2850 0 0 0.11 0.09/0.11 c Switching off LPR mode. 0.09/0.11 o 30 0.11 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 0 3191 8553 22520 2 18618 3850 1 0 0.11 0.09/0.17 c 100 3191 8653 26738 3 18818 4236 101 724 0.14 0.09/0.17 o 29 0.172 0.19/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.20 c 170 3191 8724 30648 3 20473 3850 172 982 0.17 0.19/0.20 o 27 0.205 962.84/963.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 962.84/963.14 c 251 3191 8806 34207 3 22152 3850 254 1212 0.21 962.84/963.14 c 351 3191 8906 39191 4 22352 4236 354 1314 0.27 962.84/963.14 c 602 3191 9157 54111 5 22854 4660 605 1705 0.35 962.84/963.14 c 1077 3191 9632 74075 7 23804 5127 1080 1944 0.55 962.84/963.14 c 1891 3191 10446 112340 10 25432 5640 1894 1762 1.07 962.84/963.14 c 3212 3191 11767 175627 14 28074 6205 3215 2124 1.51 962.84/963.14 c 5294 3191 13849 320977 23 32238 6826 5297 1947 2.72 962.84/963.14 c 8517 3191 12751 301065 23 27017 7509 4199 1979 4.30 962.84/963.14 c 13453 3191 12918 285216 22 27351 8260 4366 2137 6.29 962.84/963.14 c 20960 3191 14961 420766 28 31437 9087 6409 1755 11.94 962.84/963.14 c 32321 3191 14589 422961 28 30693 9996 6037 1590 20.32 962.84/963.14 c 49466 3191 13551 399652 29 28617 10996 4999 1506 32.83 962.84/963.14 c 75286 3191 18879 1082397 57 39273 12096 10327 1322 56.95 962.84/963.14 c 114119 3191 20659 1116958 54 42833 13306 12107 1137 100.28 962.84/963.14 c 172473 3191 15421 483965 31 32357 14637 6869 1150 149.95 962.84/963.14 c 260105 3191 16213 524884 32 33941 16101 7661 1111 234.11 962.84/963.14 c 391657 3191 16604 661146 39 34723 17712 8052 1018 384.50 962.84/963.14 c 589089 3191 24333 1040951 42 50181 19484 15781 1060 555.67 962.84/963.14 c 885342 3191 21693 944795 43 44901 21433 13141 968 914.42 962.84/963.14 o 26 962.893 1649.96/1650.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1649.96/1650.60 c 924817 3191 24880 1410403 56 52791 3850 16328 960 962.89 1649.96/1650.60 c 924918 3191 10579 188044 17 22674 4236 2027 959 963.61 1649.96/1650.60 c 925168 3191 10829 199223 18 23174 4660 2277 959 963.73 1649.96/1650.60 c 925643 3191 11304 219021 19 24124 5127 2752 960 963.86 1649.96/1650.60 c 926457 3191 12118 255283 21 25752 5640 3566 960 964.39 1649.96/1650.60 c 927777 3191 13438 335213 24 28392 6205 4886 961 965.06 1649.96/1650.60 c 929858 3191 11656 252255 21 24828 6826 3104 962 966.32 1649.96/1650.60 c 933082 3191 14880 464770 31 31276 7509 6328 964 967.70 1649.96/1650.60 c 938019 3191 14871 353174 23 31258 8260 6319 967 969.03 1649.96/1650.60 c 945525 3191 12683 308241 24 26882 9087 4131 970 974.15 1649.96/1650.60 c 956887 3191 13097 505975 38 27710 9996 4545 974 981.47 1649.96/1650.60 c 974031 3191 17441 634374 36 36398 10996 8889 980 993.19 1649.96/1650.60 c 999851 3191 15780 517715 32 33076 12096 7228 972 1028.30 1649.96/1650.60 c 1038684 3191 18035 1012146 56 37586 13306 9483 974 1065.69 1649.96/1650.60 c 1097039 3191 21841 746224 34 45198 14637 13289 994 1103.63 1649.96/1650.60 c 1184672 3191 15872 727960 45 33260 16101 7320 999 1185.16 1649.96/1650.60 c 1316224 3191 16604 642628 38 34724 17712 8052 1024 1285.10 1649.96/1650.60 c 1513657 3191 21585 1099831 50 44686 19484 13033 969 1561.52 1649.96/1650.60 o 25 1650.07 1800.04/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.04/1800.60 c 1584841 3191 26080 1492390 57 55193 3850 17528 960 1650.08 1800.04/1800.60 c 1584941 3191 10578 177574 16 22673 4236 2026 960 1650.62 1800.04/1800.60 c 1585191 3191 10828 186917 17 23173 4660 2276 960 1650.73 1800.04/1800.60 c 1585667 3191 11304 216199 19 24125 5127 2752 960 1650.86 1800.04/1800.60 c 1586480 3191 12117 266632 22 25751 5640 3565 960 1651.16 1800.04/1800.60 c 1587801 3191 13438 345839 25 28393 6205 4886 961 1651.93 1800.04/1800.60 c 1589883 3191 11656 203017 17 24829 6826 3104 961 1653.04 1800.04/1800.60 c 1593106 3191 14879 391057 26 31275 7509 6327 962 1654.77 1800.04/1800.60 c 1598042 3191 14860 377758 25 31237 8260 6308 964 1657.57 1800.04/1800.60 c 1605548 3191 16989 506330 29 35495 9087 8437 966 1662.04 1800.04/1800.60 c 1616910 3191 16825 483517 28 35167 9996 8273 967 1670.88 1800.04/1800.60 c 1634054 3191 14958 459402 30 31433 10996 6406 972 1680.97 1800.04/1800.60 c 1659874 3191 14358 369951 25 30233 12096 5806 972 1707.11 1800.04/1800.60 c 1698708 3191 15967 508264 31 33451 13306 7415 976 1739.85 1800.04/1800.60 c Caught signal: 15 1800.04/1800.60 v -x149 -x151 -x153 -x155 -x157 -x159 x161 -x163 -x165 -x167 -x169 -x171 -x173 -x175 -x177 -x179 -x181 -x183 -x185 -x187 -x189 1800.04/1800.60 v -x191 -x193 -x195 -x197 -x199 -x201 -x203 -x205 -x207 -x209 -x211 -x213 -x215 -x217 -x219 -x221 -x223 -x225 -x227 -x229 -x231 1800.04/1800.60 v -x233 -x235 -x237 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x256 -x258 -x260 -x262 -x264 -x266 -x268 -x270 -x272 1800.04/1800.60 v -x274 -x276 -x278 -x280 -x282 -x284 -x286 -x288 -x290 -x292 -x294 -x296 -x298 -x300 -x302 -x304 -x306 -x308 -x310 -x312 -x314 1800.04/1800.60 v -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 1800.04/1800.60 v -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x397 1800.04/1800.60 v -x399 -x401 -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439 1800.04/1800.60 v -x441 -x443 -x445 -x447 -x449 -x451 -x453 -x455 x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 1800.04/1800.60 v -x483 -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 1800.04/1800.60 v -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 1800.04/1800.60 v -x566 -x568 -x570 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 1800.04/1800.60 v -x608 -x610 -x612 -x614 -x616 x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 1800.04/1800.60 v -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 1800.04/1800.60 v -x692 -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 1800.04/1800.60 v -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 1800.04/1800.60 v -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 1800.04/1800.60 v -x818 -x820 -x822 -x824 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 1800.04/1800.60 v -x859 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 -x899 1800.04/1800.60 v -x901 -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x939 -x941 1800.04/1800.60 v -x943 -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x979 -x981 -x983 1800.04/1800.60 v -x985 -x987 -x989 -x991 -x993 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 1800.04/1800.60 v -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 1800.04/1800.60 v -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 1800.04/1800.60 v -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 1800.04/1800.60 v -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 1800.04/1800.60 v -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 1800.04/1800.60 v -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 x1214 -x1216 -x1218 -x1220 -x1222 -x1224 1800.04/1800.60 v -x1226 -x1228 -x1230 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 1800.04/1800.60 v -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1289 -x1291 1800.04/1800.60 v -x1293 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 1800.04/1800.60 v -x1326 -x1328 -x1330 -x1332 x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 1800.04/1800.60 v -x1360 -x1362 -x1364 -x1366 -x1368 -x1370 -x1372 -x1373 -x1375 -x1377 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 1800.04/1800.60 v -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1421 -x1423 1800.04/1800.60 v -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1454 -x1456 1800.04/1800.60 v -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 1800.04/1800.60 v -x1492 -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 1800.04/1800.60 v -x1526 -x1528 -x1529 -x1531 -x1533 x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 1800.04/1800.60 v -x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x1571 -x1573 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 1800.04/1800.60 v -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 1800.04/1800.60 v -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 1800.04/1800.60 v x1659 -x1661 -x1663 -x1665 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 1800.04/1800.60 v -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1711 -x1713 -x1715 -x1717 -x1719 -x1721 -x1723 1800.04/1800.60 v -x1725 -x1727 -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 1800.04/1800.60 v -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 1800.04/1800.60 v -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 1800.04/1800.60 v -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1853 -x1855 -x1857 -x1859 1800.04/1800.60 v -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 1800.04/1800.60 v -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 -x1925 1800.04/1800.60 v -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 1800.04/1800.60 v -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 1800.04/1800.60 v -x1994 -x1996 -x1998 x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026 1800.04/1800.60 v -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 1800.04/1800.60 v -x2062 -x2064 -x2066 -x2068 -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 1800.04/1800.60 v -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 1800.04/1800.60 v -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 x2157 -x2159 -x2161 1800.04/1800.60 v -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 -x2193 -x2195 1800.04/1800.60 v -x2197 -x2198 -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 1800.04/1800.60 v -x2230 -x2232 -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2247 x2249 -x2251 -x2253 -x2255 -x2257 -x2259 -x2261 1800.04/1800.60 v -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x2291 -x2293 -x2295 1800.04/1800.60 v -x2297 -x2299 -x2301 -x2303 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 1800.04/1800.60 v -x2331 -x2333 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 1800.04/1800.60 v -x2365 -x2367 -x2369 -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2389 -x2391 -x2393 -x2395 -x2397 1800.04/1800.60 v -x2399 -x2401 -x2403 -x2405 x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 1800.04/1800.60 v -x2433 -x2435 -x2437 -x2439 -x2441 -x2443 -x2445 -x2447 -x2449 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2462 -x2464 1800.04/1800.60 v -x2466 -x2468 -x2470 -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2495 -x2497 1800.04/1800.60 v -x2499 -x2501 -x2503 -x2505 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 -x2523 -x2525 -x2527 -x2529 -x2531 1800.04/1800.60 v -x2533 -x2535 -x2537 -x2539 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 1800.04/1800.60 v -x2566 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 1800.04/1800.60 v -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 1800.04/1800.60 v -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 1800.04/1800.60 v -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 1800.04/1800.60 v -x2702 -x2704 -x2705 -x2707 -x2709 -x2711 x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 1800.04/1800.60 v -x2735 -x2737 -x2739 -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2758 -x2760 -x2762 -x2764 -x2766 1800.04/1800.60 v -x2768 x2770 -x2772 -x2774 -x2776 -x2778 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 1800.04/1800.60 v -x2802 -x2804 -x2806 -x2807 -x2809 -x2811 -x2813 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 1800.04/1800.60 v -x2835 -x2837 -x2839 -x2841 -x2842 -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 -x2856 -x2857 -x2859 -x2861 -x2863 -x2865 1800.04/1800.60 v -x2867 -x2869 -x2871 x2873 -x2875 -x2876 -x2878 -x2880 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 1800.04/1800.60 v -x2900 -x2902 -x2904 -x2906 -x2908 -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x2928 -x2930 -x2932 1800.04/1800.60 v -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x2962 -x2964 -x2966 1800.04/1800.60 v -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 1800.04/1800.60 v -x3002 -x3004 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 1800.04/1800.60 v -x3035 -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 1800.04/1800.60 v -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3098 -x3100 1800.04/1800.60 v -x3102 x3104 -x3106 -x3108 -x3110 -x3112 -x3114 -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 1800.04/1800.60 v -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x3164 -x3166 -x3168 1800.04/1800.60 v -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 x3186 -x3188 x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 1800.04/1800.60 v -x3205 -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x3233 -x3235 -x3237 1800.04/1800.60 v -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 x3267 -x3269 -x3271 1800.04/1800.60 v -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 1800.04/1800.60 v -x3307 -x3309 x3311 -x3313 -x3314 -x3316 -x3318 -x3320 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 1800.04/1800.60 v -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 x3358 -x3360 -x3362 -x3364 -x3366 -x3368 x3370 -x3372 x3373 1800.04/1800.60 v -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3386 -x3388 -x3390 -x3391 -x3392 -x148 -x150 -x152 -x154 -x156 -x158 x160 -x162 1800.04/1800.60 v -x164 -x166 -x168 -x170 -x172 -x174 -x176 -x178 -x180 -x182 -x184 -x186 -x188 -x190 -x192 -x194 -x196 -x198 -x200 -x202 -x204 1800.04/1800.60 v -x206 -x208 -x210 -x1 -x212 -x214 -x216 -x218 -x220 -x222 -x224 -x226 -x228 -x230 -x232 -x234 -x236 -x238 -x240 -x2 -x242 1800.04/1800.60 v -x244 -x246 -x248 -x250 -x252 -x254 -x257 -x259 -x261 -x263 -x265 -x267 -x269 -x3 -x271 -x273 -x275 -x277 -x279 -x281 -x283 1800.04/1800.60 v -x4 -x285 -x287 -x289 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x323 1800.04/1800.60 v -x325 -x327 -x329 -x331 -x333 -x335 -x337 x339 -x341 -x343 -x5 -x345 -x347 -x349 -x351 -x353 -x355 -x357 -x6 -x359 -x361 -x363 1800.04/1800.60 v -x365 -x367 -x369 -x371 -x7 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x8 -x387 -x389 -x391 -x393 -x395 -x398 -x400 -x402 1800.04/1800.60 v -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 1800.04/1800.60 v -x446 -x448 -x450 -x452 -x454 x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 1800.04/1800.60 v -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x9 -x518 -x520 -x522 -x524 -x526 1800.04/1800.60 v -x528 -x530 -x532 -x534 -x536 -x538 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 1800.04/1800.60 v -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 -x611 1800.04/1800.60 v -x613 -x615 x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x639 -x10 -x641 -x643 -x645 -x647 -x649 -x651 1800.04/1800.60 v -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x11 -x671 -x673 -x675 -x677 -x679 -x681 -x683 -x685 -x687 -x689 -x691 1800.04/1800.60 v -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 -x731 -x12 1800.04/1800.60 v -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 -x13 -x763 -x765 -x767 -x769 -x771 1800.04/1800.60 v -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x14 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -x15 -x807 -x809 1800.04/1800.60 v -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 1800.04/1800.60 v -x854 -x856 -x858 -x860 -x862 -x864 -x866 -x16 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 1800.04/1800.60 v -x894 -x896 -x17 -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x18 -x928 -x930 1800.04/1800.60 v -x932 -x934 -x936 -x938 -x940 -x19 -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 1800.04/1800.60 v -x20 -x972 -x974 -x976 -x978 -x980 -x982 -x984 -x21 -x986 -x988 -x990 -x992 -x995 -x997 -x22 -x999 -x1001 -x1003 -x23 -x1005 1800.04/1800.60 v -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 1800.04/1800.60 v -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x24 -x1067 -x1069 -x1071 -x1073 1800.04/1800.60 v -x1075 -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x25 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 1800.04/1800.60 v -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x26 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x27 1800.04/1800.60 v -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x28 -x1171 -x1173 1800.04/1800.60 v -x1175 -x1177 -x1179 -x1181 -x1183 -x29 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x30 -x1199 -x1201 -x1203 -x1205 1800.04/1800.60 v -x1207 -x1209 -x1211 x31 x1213 -x1215 -x1217 -x32 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1232 -x1234 -x1236 -x1238 1800.04/1800.60 v -x1240 -x1242 -x1244 -x1246 -x33 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x34 -x1262 -x1264 -x1266 -x1268 -x1270 1800.04/1800.60 v -x1272 -x1274 -x35 -x1276 -x1278 -x1280 -x36 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -x37 -x1296 -x1298 -x1300 1800.04/1800.60 v -x38 -x1302 -x1304 -x1306 -x39 -x1308 -x1310 -x40 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 1800.04/1800.60 v x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 1800.04/1800.60 v -x1367 -x1369 -x1371 -x1374 -x41 -x1376 -x1379 -x1381 -x1383 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 1800.04/1800.60 v -x1403 -x42 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x43 -x1434 1800.04/1800.60 v -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x44 -x1448 -x1450 -x1452 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 1800.04/1800.60 v -x1471 -x1473 -x1475 -x45 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 1800.04/1800.60 v -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x1530 -x1532 x1534 -x1536 -x1538 1800.04/1800.60 v -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x46 -x1552 -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 1800.04/1800.60 v -x1575 -x1577 -x1579 -x47 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 1800.04/1800.60 v -x1609 -x48 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x49 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x1639 1800.04/1800.60 v -x1641 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 -x1656 x1658 -x1660 -x1662 -x1664 -x1666 -x50 -x1668 -x1670 -x1672 -x1674 1800.04/1800.60 v -x1676 -x1679 -x51 -x1681 -x1683 -x1685 -x52 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x1707 1800.04/1800.60 v -x1709 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 1800.04/1800.60 v -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 x1776 1800.04/1800.60 v -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x53 -x1810 1800.04/1800.60 v -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x54 -x1840 -x1842 -x1844 1800.04/1800.60 v -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 -x55 -x1866 -x1868 -x1870 -x1873 -x1875 -x1877 -x1879 1800.04/1800.60 v -x1881 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x56 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x57 -x1909 -x1911 1800.04/1800.60 v -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 -x58 -x1938 -x1940 -x1942 -x1945 -x1947 1800.04/1800.60 v -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x59 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x60 1800.04/1800.60 v -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1993 -x1995 -x1997 x1999 -x2001 -x2003 -x2005 -x2007 -x61 -x2009 -x2011 -x2013 1800.04/1800.60 v -x62 -x2015 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x63 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x64 -x2043 1800.04/1800.60 v -x2045 -x2047 -x65 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2070 -x2072 -x2074 -x2076 -x66 1800.04/1800.60 v -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x2104 -x2106 -x67 -x2108 -x2110 1800.04/1800.60 v -x2112 -x2114 -x2116 -x2118 -x2120 -x68 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x69 -x2136 -x2138 -x2140 -x2142 1800.04/1800.60 v -x2144 -x2146 -x2148 -x70 -x2150 -x2152 -x2154 x2156 -x2158 -x2160 -x2162 -x2164 -x2166 -x71 -x2168 -x2170 -x2172 -x2174 1800.04/1800.60 v -x2176 -x2178 -x2180 -x72 -x2182 -x2184 -x2186 -x73 -x2188 -x2190 -x2192 -x74 -x2194 -x2196 -x75 -x2199 -x2201 -x2203 -x2205 1800.04/1800.60 v -x2207 -x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 1800.04/1800.60 v -x2241 -x2243 -x2245 x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x76 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272 -x2274 1800.04/1800.60 v -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x77 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x2304 -x2306 -x2308 1800.04/1800.60 v -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x78 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334 -x2336 -x2338 -x2340 -x2342 1800.04/1800.60 v -x2344 -x2346 -x2348 -x2350 -x79 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x80 -x2366 -x2368 -x2370 -x2372 -x2374 1800.04/1800.60 v -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 x2406 -x2408 1800.04/1800.60 v -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x81 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 -x2438 -x82 -x2440 1800.04/1800.60 v -x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x83 -x2454 -x2456 -x2458 -x2460 -x2463 -x2465 -x84 -x2467 -x2469 -x2471 -x85 1800.04/1800.60 v -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x2487 -x2489 -x2491 -x2493 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 1800.04/1800.60 v -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -x2532 -x86 -x2534 -x2536 -x2538 -x2541 1800.04/1800.60 v -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x87 -x2563 -x2565 -x2567 -x2569 -x2571 -x2573 -x2575 1800.04/1800.60 v -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x88 -x2593 -x2595 -x2597 -x2599 -x2601 -x2603 -x2605 -x89 -x2607 1800.04/1800.60 v -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x90 -x2637 -x2639 -x2641 1800.04/1800.60 v -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x2665 -x91 -x2667 -x2669 -x2671 -x2673 -x2675 1800.04/1800.60 v -x2677 -x2679 -x92 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x93 -x2695 -x2697 -x2699 -x2701 -x2703 -x2706 -x94 1800.04/1800.60 v -x2708 -x2710 x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 1800.04/1800.60 v -x2742 -x95 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x2756 -x2759 -x2761 -x2763 -x2765 -x2767 x2769 -x2771 -x2773 -x2775 1800.04/1800.60 v -x2777 -x2779 -x2781 -x2783 -x2785 -x96 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x97 -x2801 -x2803 -x2805 -x2808 1800.04/1800.60 v -x2810 -x2812 -x98 -x2814 -x2816 -x2818 -x99 -x2820 -x2822 -x2824 -x2826 -x2828 -x2830 -x2832 -x100 -x2834 -x2836 -x2838 1800.04/1800.60 v -x2840 -x2843 -x2845 -x101 -x2847 -x2849 -x2851 -x102 -x2853 -x2855 -x2858 -x2860 -x2862 -x2864 -x103 -x2866 -x2868 -x2870 1800.04/1800.60 v x2872 -x2874 -x104 -x2877 -x105 -x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 1800.04/1800.60 v -x2905 -x2907 -x106 -x2909 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x107 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 1800.04/1800.60 v -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 -x108 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x109 -x2967 1800.04/1800.60 v -x2969 -x2971 -x2973 -x2975 -x2977 -x2979 -x110 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x111 -x2995 -x2997 -x2999 1800.04/1800.60 v -x112 -x3001 -x3003 -x3006 -x3008 -x3010 -x3012 -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x113 -x3028 -x3030 -x3032 1800.04/1800.60 v -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 -x3048 -x3050 -x3052 -x3054 -x3056 -x114 -x3058 -x3060 -x3062 -x3064 1800.04/1800.60 v -x3066 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 x3080 -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3099 1800.04/1800.60 v x115 -x3101 x3103 -x3105 -x3107 -x3109 -x3111 -x116 -x3113 -x3115 -x3117 -x3119 -x3121 -x3123 -x3125 -x117 -x3127 -x3129 1800.04/1800.60 v -x3131 -x118 -x3133 -x3135 -x3137 -x3139 -x3141 -x3143 -x3145 -x119 -x3147 -x3149 -x3151 -x3153 -x3155 -x3157 -x3159 -x120 1800.04/1800.60 v -x3161 -x3163 -x121 -x3165 -x3167 -x3169 -x3171 -x3173 -x3175 -x3177 -x122 -x3179 -x3181 -x3183 x123 x3185 -x3187 x124 1800.04/1800.60 v -x3190 -x125 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3212 -x3214 -x3216 -x3218 -x3220 1800.04/1800.60 v -x126 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 -x3234 -x127 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 -x3248 -x128 -x3250 1800.04/1800.60 v -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 x129 -x3264 x3266 -x3268 -x130 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 -x3282 1800.04/1800.60 v -x131 -x3284 -x3286 -x3288 -x3290 -x3292 -x3294 -x3296 -x132 -x3298 -x3300 -x3302 -x133 -x3304 -x3306 -x3308 x134 x3310 1800.04/1800.60 v -x3312 -x135 -x3315 -x136 -x3317 -x3319 -x3321 -x3323 -x3325 -x3327 -x3329 -x137 -x3331 -x3333 -x3335 -x3337 -x3339 -x3341 1800.04/1800.60 v -x3343 -x138 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355 x3357 -x3359 -x3361 -x3363 -x139 -x3365 -x3367 x140 x3369 -x3371 1800.04/1800.60 v x141 -x3374 -x142 -x3376 -x3378 -x3380 -x143 -x3382 -x3384 -x144 -x3387 -x145 -x3389 -x146 -x147 1800.04/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.04/1800.61 c 54 1740237 1018816 5872171 17869 546707 9317 966 1800.05 1800.04/1800.61 c Objective: 25 1800.04/1800.61 s SATISFIABLE 1800.04/1800.61 c Total time: 1800.05 s
OK 25
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node45/watcher-433700-1177962195 -o ROOT/results/node45/solver-433700-1177962195 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433700-1177962195/instance-433700-1177962195.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 0.99 0.91 3/77 1355 /proc/meminfo: memFree=1845168/2055920 swapFree=4157808/4192956 [pid=1355] ppid=1353 vsize=11996 CPUtime=0 /proc/1355/stat : 1355 (bsolo3.0.17) R 1353 1355 497 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 151065166 12283904 335 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5162619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1355/statm: 2999 335 279 324 0 2004 0 [startup+0.0592039 s] /proc/loadavg: 1.00 0.99 0.91 3/77 1355 /proc/meminfo: memFree=1845168/2055920 swapFree=4157808/4192956 [pid=1355] ppid=1353 vsize=5756 CPUtime=0.05 /proc/1355/stat : 1355 (bsolo3.0.17) R 1353 1355 497 0 -1 4194304 907 0 0 0 5 0 0 0 18 0 1 0 151065166 5894144 812 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1355/statm: 1439 812 303 324 0 509 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 5756 [startup+0.101208 s] /proc/loadavg: 1.00 0.99 0.91 3/77 1355 /proc/meminfo: memFree=1845168/2055920 swapFree=4157808/4192956 [pid=1355] ppid=1353 vsize=6128 CPUtime=0.09 /proc/1355/stat : 1355 (bsolo3.0.17) R 1353 1355 497 0 -1 4194304 989 0 0 0 8 1 0 0 18 0 1 0 151065166 6275072 894 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1355/statm: 1532 894 305 324 0 602 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6128 [startup+0.301229 s] /proc/loadavg: 1.00 0.99 0.91 3/77 1355 /proc/meminfo: memFree=1845168/2055920 swapFree=4157808/4192956 [pid=1355] ppid=1353 vsize=6256 CPUtime=0.29 /proc/1355/stat : 1355 (bsolo3.0.17) R 1353 1355 497 0 -1 4194304 1070 0 0 0 28 1 0 0 19 0 1 0 151065166 6406144 927 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5168869 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1355/statm: 1564 927 311 324 0 634 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6256 [startup+0.701268 s] /proc/loadavg: 1.00 0.99 0.91 3/77 1355 /proc/meminfo: memFree=1845168/2055920 swapFree=4157808/4192956 [pid=1355] ppid=1353 vsize=6768 CPUtime=0.69 /proc/1355/stat : 1355 (bsolo3.0.17) R 1353 1355 497 0 -1 4194304 1216 0 0 0 68 1 0 0 23 0 1 0 151065166 6930432 1073 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5162619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1355/statm: 1692 1073 311 324 0 762 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6768 [startup+1.50135 s] /proc/loadavg: 1.00 0.99 0.91 2/78 1356 /proc/meminfo: memFree=1841704/2055920 swapFree=4157808/4192956 [pid=1355] ppid=1353 vsize=8184 CPUtime=1.49 /proc/1355/stat : 1355 (bsolo3.0.17) R 1353 1355 497 0 -1 4194304 1562 0 0 0 148 1 0 0 25 0 1 0 151065166 8380416 1419 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5162619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1355/statm: 2046 1419 311 324 0 1116 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8184 [startup+3.10152 s] /proc/loadavg: 1.00 0.99 0.91 2/78 1356 /proc/meminfo: memFree=1839720/2055920 swapFree=4157808/4192956 [pid=1355] ppid=1353 vsize=10760 CPUtime=3.09 /proc/1355/stat : 1355 (bsolo3.0.17) R 1353 1355 497 0 -1 4194304 2222 0 0 0 307 2 0 0 25 0 1 0 151065166 11018240 2079 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5162619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1355/statm: 2690 2079 311 324 0 1760 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10760 [startup+6.30184 s] /proc/loadavg: 1.00 0.99 0.91 2/78 1356 /proc/meminfo: memFree=1836008/2055920 swapFree=4157808/4192956 [pid=1355] ppid=1353 vsize=13724 CPUtime=6.29 /proc/1355/stat : 1355 (bsolo3.0.17) R 1353 1355 497 0 -1 4194304 2941 0 0 0 626 3 0 0 25 0 1 0 151065166 14053376 2798 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551114 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1355/statm: 3431 2798 311 324 0 2501 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13724 [startup+12.7015 s] /proc/loadavg: 1.00 0.99 0.91 2/78 1356 /proc/meminfo: memFree=1834344/2055920 swapFree=4157808/4192956 [pid=1355] ppid=1353 vsize=14252 CPUtime=12.69 /proc/1355/stat : 1355 (bsolo3.0.17) R 1353 1355 497 0 -1 4194304 3075 0 0 0 1266 3 0 0 25 0 1 0 151065166 14594048 2932 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571931 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1355/statm: 3563 2932 311 324 0 2633 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14252 [startup+25.5018 s] /proc/loadavg: 1.00 0.99 0.91 2/78 1356 /proc/meminfo: memFree=1832104/2055920 swapFree=4157808/4192956 [pid=1355] ppid=1353 vsize=16616 CPUtime=25.48 /proc/1355/stat : 1355 (bsolo3.0.17) R 1353 1355 497 0 -1 4194304 3665 0 0 0 2545 3 0 0 25 0 1 0 151065166 17014784 3522 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527316 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1355/statm: 4154 3522 311 324 0 3224 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 16616 [startup+51.1014 s] /proc/loadavg: 1.00 0.99 0.91 2/78 1356 /proc/meminfo: memFree=1826664/2055920 swapFree=4157808/4192956 [pid=1355] ppid=1353 vsize=22748 CPUtime=51.08 /proc/1355/stat : 1355 (bsolo3.0.17) R 1353 1355 497 0 -1 4194304 5219 0 0 0 5104 4 0 0 25 0 1 0 151065166 23293952 5076 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5162619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1355/statm: 5687 5076 311 324 0 4757 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 22748 [startup+102.306 s] /proc/loadavg: 1.00 0.99 0.91 2/78 1356 /proc/meminfo: memFree=1825128/2055920 swapFree=4157808/4192956 [pid=1355] ppid=1353 vsize=23344 CPUtime=102.27 /proc/1355/stat : 1355 (bsolo3.0.17) R 1353 1355 497 0 -1 4194304 5365 0 0 0 10222 5 0 0 25 0 1 0 151065166 23904256 5222 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1355/statm: 5836 5222 311 324 0 4906 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 23344 [startup+162.302 s] /proc/loadavg: 1.00 0.99 0.91 2/78 1356 /proc/meminfo: memFree=1824936/2055920 swapFree=4157808/4192956 [pid=1355] ppid=1353 vsize=23480 CPUtime=162.25 /proc/1355/stat : 1355 (bsolo3.0.17) R 1353 1355 497 0 -1 4194304 5389 0 0 0 16220 5 0 0 25 0 1 0 151065166 24043520 5246 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1355/statm: 5870 5246 311 324 0 4940 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 23480 [startup+222.302 s] /proc/loadavg: 1.00 0.99 0.91 2/78 1356 /proc/meminfo: memFree=1824936/2055920 swapFree=4157808/4192956 [pid=1355] ppid=1353 vsize=23480 CPUtime=222.24 /proc/1355/stat : 1355 (bsolo3.0.17) R 1353 1355 497 0 -1 4194304 5389 0 0 0 22218 6 0 0 25 0 1 0 151065166 24043520 5246 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1355/statm: 5870 5246 311 324 0 4940 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 23480 [startup+282.302 s] /proc/loadavg: 1.00 0.99 0.91 2/78 1356 /proc/meminfo: memFree=1823976/2055920 swapFree=4157808/4192956 [pid=1355] ppid=1353 vsize=24364 CPUtime=282.22 /proc/1355/stat : 1355 (bsolo3.0.17) R 1353 1355 497 0 -1 4194304 5609 0 0 0 28216 6 0 0 25 0 1 0 151065166 24948736 5466 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1355/statm: 6091 5466 311 324 0 5161 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 24364 [startup+342.302 s] /proc/loadavg: 1.00 0.99 0.91 2/78 1356 /proc/meminfo: memFree=1810472/2055920 swapFree=4157808/4192956 [pid=1355] ppid=1353 vsize=37764 CPUtime=342.21 /proc/1355/stat : 1355 (bsolo3.0.17) R 1353 1355 497 0 -1 4194304 8972 0 0 0 34212 9 0 0 25 0 1 0 151065166 38670336 8829 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5160792 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1355/statm: 9441 8829 311 324 0 8511 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 37764 [startup+402.301 s] /proc/loadavg: 1.00 0.99 0.91 2/78 1356 /proc/meminfo: memFree=1810408/2055920 swapFree=4157808/4192956 [pid=1355] ppid=1353 vsize=37644 CPUtime=402.18 /proc/1355/stat : 1355 (bsolo3.0.17) R 1353 1355 497 0 -1 4194304 8973 0 0 0 40209 9 0 0 25 0 1 0 151065166 38547456 8800 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572639 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1355/statm: 9411 8800 311 324 0 8481 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 37644 [startup+462.301 s] /proc/loadavg: 1.00 0.99 0.91 2/78 1356 /proc/meminfo: memFree=1810408/2055920 swapFree=4157808/4192956 [pid=1355] ppid=1353 vsize=37616 CPUtime=462.17 /proc/1355/stat : 1355 (bsolo3.0.17) R 1353 1355 497 0 -1 4194304 8973 0 0 0 46207 10 0 0 25 0 1 0 151065166 38518784 8793 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5160685 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1355/statm: 9404 8793 311 324 0 8474 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 37616 [startup+522.301 s] /proc/loadavg: 1.00 0.99 0.91 2/78 1356 /proc/meminfo: memFree=1810344/2055920 swapFree=4157808/4192956 [pid=1355] ppid=1353 vsize=37616 CPUtime=522.15 /proc/1355/stat : 1355 (bsolo3.0.17) R 1353 1355 497 0 -1 4194304 8973 0 0 0 52205 10 0 0 25 0 1 0 151065166 38518784 8793 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5160801 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1355/statm: 9404 8793 311 324 0 8474 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 37616 [startup+582.301 s] /proc/loadavg: 1.00 0.99 0.91 2/78 1356 /proc/meminfo: memFree=1810344/2055920 swapFree=4157808/4192956 [pid=1355] ppid=1353 vsize=37620 CPUtime=582.14 /proc/1355/stat : 1355 (bsolo3.0.17) R 1353 1355 497 0 -1 4194304 8975 0 0 0 58203 11 0 0 25 0 1 0 151065166 38522880 8794 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5161110 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1355/statm: 9405 8794 311 324 0 8475 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 37620 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.91 2/78 1356 /proc/meminfo: memFree=1810280/2055920 swapFree=4157808/4192956 [pid=1355] ppid=1353 vsize=37620 CPUtime=642.13 /proc/1355/stat : 1355 (bsolo3.0.17) R 1353 1355 497 0 -1 4194304 8975 0 0 0 64202 11 0 0 25 0 1 0 151065166 38522880 8794 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1355/statm: 9405 8794 311 324 0 8475 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 37620 ################ # More data... # ################ /proc/meminfo: memFree=1809768/2055920 swapFree=4157808/4192956 [pid=1355] ppid=1353 vsize=37616 CPUtime=1002.04 /proc/1355/stat : 1355 (bsolo3.0.17) R 1353 1355 497 0 -1 4194304 8977 0 0 0 100189 15 0 0 25 0 1 0 151065166 38518784 8793 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5160948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1355/statm: 9404 8793 311 324 0 8474 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 37616 [startup+1062.3 s] /proc/loadavg: 1.08 1.05 0.95 2/78 1356 /proc/meminfo: memFree=1809704/2055920 swapFree=4157808/4192956 [pid=1355] ppid=1353 vsize=37604 CPUtime=1062.02 /proc/1355/stat : 1355 (bsolo3.0.17) R 1353 1355 497 0 -1 4194304 8977 0 0 0 106187 15 0 0 25 0 1 0 151065166 38506496 8790 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550600 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1355/statm: 9401 8790 311 324 0 8471 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 37604 [startup+1122.3 s] /proc/loadavg: 1.03 1.04 0.95 2/78 1554 /proc/meminfo: memFree=1809192/2055920 swapFree=4157808/4192956 [pid=1355] ppid=1353 vsize=37604 CPUtime=1121.9 /proc/1355/stat : 1355 (bsolo3.0.17) R 1353 1355 497 0 -1 4194304 8977 0 0 0 112173 17 0 0 25 0 1 0 151065166 38506496 8790 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1355/statm: 9401 8790 311 324 0 8471 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 37604 [startup+1182.3 s] /proc/loadavg: 1.01 1.03 0.95 2/78 1554 /proc/meminfo: memFree=1809192/2055920 swapFree=4157808/4192956 [pid=1355] ppid=1353 vsize=37604 CPUtime=1181.89 /proc/1355/stat : 1355 (bsolo3.0.17) R 1353 1355 497 0 -1 4194304 8977 0 0 0 118171 18 0 0 25 0 1 0 151065166 38506496 8790 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5160652 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1355/statm: 9401 8790 311 324 0 8471 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 37604 [startup+1242.3 s] /proc/loadavg: 1.00 1.02 0.95 2/78 1554 /proc/meminfo: memFree=1809128/2055920 swapFree=4157808/4192956 [pid=1355] ppid=1353 vsize=37600 CPUtime=1241.87 /proc/1355/stat : 1355 (bsolo3.0.17) R 1353 1355 497 0 -1 4194304 8977 0 0 0 124169 18 0 0 25 0 1 0 151065166 38502400 8789 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1355/statm: 9400 8789 311 324 0 8470 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 37600 [startup+1302.3 s] /proc/loadavg: 1.00 1.02 0.95 2/78 1554 /proc/meminfo: memFree=1809064/2055920 swapFree=4157808/4192956 [pid=1355] ppid=1353 vsize=37600 CPUtime=1301.86 /proc/1355/stat : 1355 (bsolo3.0.17) R 1353 1355 497 0 -1 4194304 8977 0 0 0 130167 19 0 0 25 0 1 0 151065166 38502400 8789 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1355/statm: 9400 8789 311 324 0 8470 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 37600 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 0.95 2/78 1554 /proc/meminfo: memFree=1809064/2055920 swapFree=4157808/4192956 [pid=1355] ppid=1353 vsize=37600 CPUtime=1361.84 /proc/1355/stat : 1355 (bsolo3.0.17) R 1353 1355 497 0 -1 4194304 8977 0 0 0 136165 19 0 0 25 0 1 0 151065166 38502400 8789 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1355/statm: 9400 8789 311 324 0 8470 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 37600 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.95 2/78 1554 /proc/meminfo: memFree=1803880/2055920 swapFree=4157808/4192956 [pid=1355] ppid=1353 vsize=42708 CPUtime=1421.83 /proc/1355/stat : 1355 (bsolo3.0.17) R 1353 1355 497 0 -1 4194304 10240 0 0 0 142163 20 0 0 25 0 1 0 151065166 43732992 10052 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5160388 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1355/statm: 10677 10052 311 324 0 9747 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 42708 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 1554 /proc/meminfo: memFree=1808744/2055920 swapFree=4157808/4192956 [pid=1355] ppid=1353 vsize=37600 CPUtime=1481.81 /proc/1355/stat : 1355 (bsolo3.0.17) R 1353 1355 497 0 -1 4194304 10240 0 0 0 148160 21 0 0 25 0 1 0 151065166 38502400 8789 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134547785 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1355/statm: 9400 8789 311 324 0 8470 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 37600 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 1554 /proc/meminfo: memFree=1808808/2055920 swapFree=4157808/4192956 [pid=1355] ppid=1353 vsize=37600 CPUtime=1541.79 /proc/1355/stat : 1355 (bsolo3.0.17) R 1353 1355 497 0 -1 4194304 10240 0 0 0 154158 21 0 0 25 0 1 0 151065166 38502400 8789 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1355/statm: 9400 8789 311 324 0 8470 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 37600 [startup+1602.3 s] /proc/loadavg: 1.05 1.01 0.95 2/78 1554 /proc/meminfo: memFree=1808808/2055920 swapFree=4157808/4192956 [pid=1355] ppid=1353 vsize=37596 CPUtime=1601.78 /proc/1355/stat : 1355 (bsolo3.0.17) R 1353 1355 497 0 -1 4194304 10240 0 0 0 160156 22 0 0 25 0 1 0 151065166 38498304 8788 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1355/statm: 9399 8788 311 324 0 8469 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 37596 [startup+1662.3 s] /proc/loadavg: 1.02 1.01 0.95 2/78 1556 /proc/meminfo: memFree=1808744/2055920 swapFree=4157808/4192956 [pid=1355] ppid=1353 vsize=37588 CPUtime=1661.76 /proc/1355/stat : 1355 (bsolo3.0.17) R 1353 1355 497 0 -1 4194304 10240 0 0 0 166154 22 0 0 25 0 1 0 151065166 38490112 8786 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1355/statm: 9397 8786 311 324 0 8467 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 37588 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 1556 /proc/meminfo: memFree=1808744/2055920 swapFree=4157808/4192956 [pid=1355] ppid=1353 vsize=37580 CPUtime=1721.75 /proc/1355/stat : 1355 (bsolo3.0.17) R 1353 1355 497 0 -1 4194304 10240 0 0 0 172152 23 0 0 25 0 1 0 151065166 38481920 8784 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5161047 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1355/statm: 9395 8784 311 324 0 8465 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 37580 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 1556 /proc/meminfo: memFree=1808616/2055920 swapFree=4157808/4192956 [pid=1355] ppid=1353 vsize=37580 CPUtime=1781.74 /proc/1355/stat : 1355 (bsolo3.0.17) R 1353 1355 497 0 -1 4194304 10240 0 0 0 178150 24 0 0 25 0 1 0 151065166 38481920 8784 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1355/statm: 9395 8784 311 324 0 8465 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 37580 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.95 2/78 1556 /proc/meminfo: memFree=1808552/2055920 swapFree=4157808/4192956 [pid=1355] ppid=1353 vsize=37580 CPUtime=1800.04 /proc/1355/stat : 1355 (bsolo3.0.17) R 1353 1355 497 0 -1 4194304 10240 0 0 0 179980 24 0 0 25 0 1 0 151065166 38481920 8784 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5160818 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1355/statm: 9395 8784 311 324 0 8465 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 37580 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 0.95 2/78 1556 /proc/meminfo: memFree=1808552/2055920 swapFree=4157808/4192956 [pid=1355] ppid=1353 vsize=37580 CPUtime=1800.04 /proc/1355/stat : 1355 (bsolo3.0.17) S 1353 1355 497 0 -1 4194304 10240 0 0 0 179980 24 0 0 25 0 1 0 151065166 38481920 8784 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/1355/statm: 9395 8784 311 324 0 8465 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 37580 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 0.95 1/79 1557 /proc/meminfo: memFree=1808544/2055920 swapFree=4157808/4192956 [pid=1355] ppid=1353 vsize=37580 CPUtime=1800.04 /proc/1355/stat : 1355 (bsolo3.0.17) S 1353 1355 497 0 -1 4194304 10240 0 0 0 179980 24 0 0 25 0 1 0 151065166 38481920 8784 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/1355/statm: 9395 8784 311 324 0 8465 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 37580 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 0.95 1/79 1557 /proc/meminfo: memFree=1808544/2055920 swapFree=4157808/4192956 [pid=1355] ppid=1353 vsize=37580 CPUtime=1800.04 /proc/1355/stat : 1355 (bsolo3.0.17) S 1353 1355 497 0 -1 4194304 10240 0 0 0 179980 24 0 0 25 0 1 0 151065166 38481920 8784 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/1355/statm: 9395 8784 311 324 0 8465 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 37580 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.62 CPU time (s): 1800.06 CPU user time (s): 1799.81 CPU system time (s): 0.249962 CPU usage (%): 99.8578 Max. virtual memory (cumulated for all children) (KiB): 42708 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.81 system time used= 0.249962 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10240 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= 13 involuntary context switches= 37222 runsolver used 1.48977 second user time and 3.79342 second system time The end
Begin job on node45 on Mon Apr 30 19:43:15 UTC 2007 IDJOB= 433700 IDBENCH= 24987 IDSOLVER= 199 FILE ID= node45/433700-1177962195 PBS_JOBID= 4727693 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_024_area_delay.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433700-1177962195/instance-433700-1177962195.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-433700-1177962195 -o ROOT/results/node45/solver-433700-1177962195 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433700-1177962195/instance-433700-1177962195.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 58f3055ef9bb388e237f57f2627386e0 RANDOM SEED= 596553525 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node45.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.218 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.218 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1845576 kB Buffers: 9240 kB Cached: 116624 kB SwapCached: 14284 kB Active: 50828 kB Inactive: 97836 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1845576 kB SwapTotal: 4192956 kB SwapFree: 4157808 kB Dirty: 6932 kB Writeback: 0 kB Mapped: 29824 kB Slab: 47212 kB Committed_AS: 1450024 kB PageTables: 1732 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node45 on Mon Apr 30 20:13:18 UTC 2007