Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB07: bsolo 3.0.17 | SAT (TO) | 25 | 1800.11 | 1800.41 |
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 | 1.39579 |
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 15500 MB 0.00/0.00 c Instance file HOME/instance-3735699-1338706077.opb 0.00/0.00 c File size is 264615 bytes. 0.00/0.02 c Highest Coefficient sum: 1642 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.022 s 0.00/0.03 c Var: 3392 Constr: 9001 9001/0/0 Lit: 21887 Watch. Lit: 17902 0.00/0.03 c Obj. Vars: 1642 (48.408 % of total variables) 0.00/0.05 c Pre-processing Time: 0.048 s 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 0 3191 8552 20978 2 17104 2850 0 0 0.05 0.00/0.05 c Switching off LPR mode. 0.00/0.05 o 30 0.05 0.07/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.07/0.09 c 0 3191 8553 22520 2 18618 3850 1 0 0.05 0.07/0.09 c 100 3191 8653 26738 3 18818 4236 101 1538 0.07 0.07/0.09 o 29 0.083 0.08/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.08/0.10 c 170 3191 8724 30648 3 20473 3850 172 2023 0.08 0.08/0.10 o 27 0.101 419.21/419.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 419.21/419.35 c 251 3191 8806 34207 3 22152 3850 254 2460 0.10 419.21/419.35 c 351 3191 8906 39191 4 22352 4236 354 2580 0.14 419.21/419.35 c 602 3191 9157 54111 5 22854 4660 605 3271 0.18 419.21/419.35 c 1077 3191 9632 74075 7 23804 5127 1080 3638 0.30 419.21/419.35 c 1891 3191 10446 112340 10 25432 5640 1894 3265 0.58 419.21/419.35 c 3212 3191 11767 175627 14 28074 6205 3215 3869 0.83 419.21/419.35 c 5294 3191 13849 320977 23 32238 6826 5297 3543 1.49 419.21/419.35 c 8517 3191 12751 301065 23 27017 7509 4199 3589 2.37 419.21/419.35 c 13453 3191 12918 285216 22 27351 8260 4366 3903 3.45 419.21/419.35 c 20960 3191 14961 420766 28 31437 9087 6409 3322 6.31 419.21/419.35 c 32321 3191 14589 422961 28 30693 9996 6037 3096 10.44 419.21/419.35 c 49466 3191 13551 399652 29 28617 10996 4999 2990 16.54 419.21/419.35 c 75286 3191 18879 1082397 57 39273 12096 10327 2742 27.45 419.21/419.35 c 114119 3191 20659 1116958 54 42833 13306 12107 2472 46.15 419.21/419.35 c 172473 3191 15421 483965 31 32357 14637 6869 2516 68.54 419.21/419.35 c 260105 3191 16213 524884 32 33941 16101 7661 2488 104.53 419.21/419.35 c 391657 3191 16604 661146 39 34723 17712 8052 2265 172.91 419.21/419.35 c 589089 3191 24333 1040951 42 50181 19484 15781 2381 247.40 419.21/419.35 c 885342 3191 21693 944795 43 44901 21433 13141 2218 399.15 419.21/419.35 o 26 419.268 717.56/717.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 717.56/717.75 c 924817 3191 24880 1410403 56 52791 3850 16328 2205 419.27 717.56/717.75 c 924918 3191 10579 188044 17 22674 4236 2027 2204 419.50 717.56/717.75 c 925168 3191 10829 199223 18 23174 4660 2277 2205 419.56 717.56/717.75 c 925643 3191 11304 219021 19 24124 5127 2752 2205 419.63 717.56/717.75 c 926457 3191 12118 255283 21 25752 5640 3566 2206 419.89 717.56/717.75 c 927777 3191 13438 335213 24 28392 6205 4886 2207 420.23 717.56/717.75 c 929858 3191 11656 252255 21 24828 6826 3104 2209 420.88 717.56/717.75 c 933082 3191 14880 464770 31 31276 7509 6328 2213 421.59 717.56/717.75 c 938019 3191 14871 353174 23 31258 8260 6319 2221 422.30 717.56/717.75 c 945525 3191 12683 308241 24 26882 9087 4131 2226 424.76 717.56/717.75 c 956887 3191 13097 505975 38 27710 9996 4545 2234 428.29 717.56/717.75 c 974031 3191 17441 634374 36 36398 10996 8889 2245 433.82 717.56/717.75 c 999851 3191 15780 517715 32 33076 12096 7228 2230 448.33 717.56/717.75 c 1038684 3191 18035 1012146 56 37586 13306 9483 2235 464.67 717.56/717.75 c 1097039 3191 21841 746224 34 45198 14637 13289 2268 483.52 717.56/717.75 c 1184672 3191 15872 727960 45 33260 16101 7320 2281 519.32 717.56/717.75 c 1316224 3191 16604 642628 38 34724 17712 8052 2337 562.99 717.56/717.75 c 1513657 3191 21585 1099831 50 44686 19484 13033 2224 680.31 717.56/717.75 o 25 717.623 1800.10/1800.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.10/1800.40 c 1584841 3191 26080 1492390 57 55193 3850 17528 2208 717.62 1800.10/1800.40 c 1584941 3191 10578 177574 16 22673 4236 2026 2208 717.78 1800.10/1800.40 c 1585191 3191 10828 186917 17 23173 4660 2276 2208 717.83 1800.10/1800.40 c 1585667 3191 11304 216199 19 24125 5127 2752 2208 717.90 1800.10/1800.40 c 1586480 3191 12117 266632 22 25751 5640 3565 2209 718.05 1800.10/1800.40 c 1587801 3191 13438 345839 25 28393 6205 4886 2210 718.43 1800.10/1800.40 c 1589883 3191 11656 203017 17 24829 6826 3104 2211 718.98 1800.10/1800.40 c 1593106 3191 14879 391057 26 31275 7509 6327 2213 719.85 1800.10/1800.40 c 1598042 3191 14860 377758 25 31237 8260 6308 2215 721.21 1800.10/1800.40 c 1605548 3191 16989 506330 29 35495 9087 8437 2219 723.35 1800.10/1800.40 c 1616910 3191 16825 483517 28 35167 9996 8273 2222 727.48 1800.10/1800.40 c 1634054 3191 14958 459402 30 31433 10996 6406 2231 732.18 1800.10/1800.40 c 1659874 3191 14358 369951 25 30233 12096 5806 2230 744.10 1800.10/1800.40 c 1698708 3191 15967 508264 31 33451 13306 7415 2238 758.89 1800.10/1800.40 c 1757061 3191 18847 553450 29 39211 14637 10295 2217 792.50 1800.10/1800.40 c 1844693 3191 20278 886534 43 42073 16101 11726 2229 827.44 1800.10/1800.40 c 1976245 3191 21823 1245147 57 45163 17712 13271 2239 882.53 1800.10/1800.40 c 2173678 3191 26266 1382589 52 54049 19484 17714 2184 995.08 1800.10/1800.40 c 2469930 3191 24290 1302060 53 50097 21433 15738 2119 1165.56 1800.10/1800.40 c 2914412 3191 29713 1823998 61 60943 23577 21161 2114 1378.59 1800.10/1800.40 c Caught signal: 15 1800.10/1800.40 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 1800.10/1800.40 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.10/1800.40 c 60 3500455 1993998 11471717 26224 1846839 17672 1944 1800.11 1800.10/1800.40 c Objective: 25 1800.10/1800.40 s SATISFIABLE 1800.10/1800.40 c Total time: 1800.11 s
OK 25
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3735699-1338706077/watcher-3735699-1338706077 -o /tmp/evaluation-result-3735699-1338706077/solver-3735699-1338706077 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3735699-1338706077.opb running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 3/176 12258 /proc/meminfo: memFree=27283592/32873648 swapFree=6860/6860 [pid=12258] ppid=12256 vsize=2660 CPUtime=0 cores=1,3,5,7 /proc/12258/stat : 12258 (bsolo3.0.17) D 12256 12258 9030 0 -1 4194304 95 0 0 0 0 0 0 0 20 0 1 0 336733798 2723840 48 33554432000 134512640 135840783 4289143552 4289141588 5551044 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0 /proc/12258/statm: 665 48 37 325 0 32 0 [startup+0.0896621 s] /proc/loadavg: 2.00 2.00 2.00 3/176 12258 /proc/meminfo: memFree=27283592/32873648 swapFree=6860/6860 [pid=12258] ppid=12256 vsize=6724 CPUtime=0.07 cores=1,3,5,7 /proc/12258/stat : 12258 (bsolo3.0.17) R 12256 12258 9030 0 -1 4202496 1114 0 0 0 7 0 0 0 20 0 1 0 336733798 6885376 938 33554432000 134512640 135840783 4289143552 4289142720 134575071 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12258/statm: 1681 938 349 325 0 617 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 6724 [startup+0.100224 s] /proc/loadavg: 2.00 2.00 2.00 3/176 12258 /proc/meminfo: memFree=27283592/32873648 swapFree=6860/6860 [pid=12258] ppid=12256 vsize=6724 CPUtime=0.08 cores=1,3,5,7 /proc/12258/stat : 12258 (bsolo3.0.17) R 12256 12258 9030 0 -1 4202496 1118 0 0 0 8 0 0 0 20 0 1 0 336733798 6885376 942 33554432000 134512640 135840783 4289143552 4289142912 134551400 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12258/statm: 1681 942 349 325 0 617 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 6724 [startup+0.300176 s] /proc/loadavg: 2.00 2.00 2.00 3/176 12258 /proc/meminfo: memFree=27283592/32873648 swapFree=6860/6860 [pid=12258] ppid=12256 vsize=7236 CPUtime=0.28 cores=1,3,5,7 /proc/12258/stat : 12258 (bsolo3.0.17) R 12256 12258 9030 0 -1 4202496 1256 0 0 0 28 0 0 0 20 0 1 0 336733798 7409664 1080 33554432000 134512640 135840783 4289143552 4289142640 6063399 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12258/statm: 1809 1080 349 325 0 745 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 7236 [startup+0.700174 s] /proc/loadavg: 2.00 2.00 2.00 3/176 12258 /proc/meminfo: memFree=27283592/32873648 swapFree=6860/6860 [pid=12258] ppid=12256 vsize=8132 CPUtime=0.68 cores=1,3,5,7 /proc/12258/stat : 12258 (bsolo3.0.17) R 12256 12258 9030 0 -1 4202496 1473 0 0 0 68 0 0 0 20 0 1 0 336733798 8327168 1297 33554432000 134512640 135840783 4289143552 4289141872 6063399 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12258/statm: 2033 1297 349 325 0 969 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 8132 [startup+1.50018 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12259 /proc/meminfo: memFree=27279012/32873648 swapFree=6860/6860 [pid=12258] ppid=12256 vsize=10980 CPUtime=1.48 cores=1,3,5,7 /proc/12258/stat : 12258 (bsolo3.0.17) R 12256 12258 9030 0 -1 4202496 2171 0 0 0 148 0 0 0 20 0 1 0 336733798 11243520 1995 33554432000 134512640 135840783 4289143552 4289142912 134551294 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12258/statm: 2745 1995 349 325 0 1681 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 10980 [startup+3.10011 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12259 /proc/meminfo: memFree=27274276/32873648 swapFree=6860/6860 [pid=12258] ppid=12256 vsize=13696 CPUtime=3.08 cores=1,3,5,7 /proc/12258/stat : 12258 (bsolo3.0.17) R 12256 12258 9030 0 -1 4202496 2879 0 0 0 308 0 0 0 20 0 1 0 336733798 14024704 2703 33554432000 134512640 135840783 4289143552 4289141376 6063399 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12258/statm: 3424 2703 349 325 0 2360 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 13696 [startup+6.30011 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12259 /proc/meminfo: memFree=27272600/32873648 swapFree=6860/6860 [pid=12258] ppid=12256 vsize=14824 CPUtime=6.28 cores=1,3,5,7 /proc/12258/stat : 12258 (bsolo3.0.17) R 12256 12258 9030 0 -1 4202496 3148 0 0 0 628 0 0 0 20 0 1 0 336733798 15179776 2972 33554432000 134512640 135840783 4289143552 4289142912 134551285 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12258/statm: 3706 2972 349 325 0 2642 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 14824 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12259 /proc/meminfo: memFree=27269768/32873648 swapFree=6860/6860 [pid=12258] ppid=12256 vsize=17208 CPUtime=12.68 cores=1,3,5,7 /proc/12258/stat : 12258 (bsolo3.0.17) R 12256 12258 9030 0 -1 4202496 3738 0 0 0 1268 0 0 0 20 0 1 0 336733798 17620992 3562 33554432000 134512640 135840783 4289143552 4289142864 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12258/statm: 4302 3562 349 325 0 3238 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 17208 [startup+25.5002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12259 /proc/meminfo: memFree=27263084/32873648 swapFree=6860/6860 [pid=12258] ppid=12256 vsize=23600 CPUtime=25.48 cores=1,3,5,7 /proc/12258/stat : 12258 (bsolo3.0.17) R 12256 12258 9030 0 -1 4202496 5360 0 0 0 2547 1 0 0 20 0 1 0 336733798 24166400 5181 33554432000 134512640 135840783 4289143552 4289142912 134550902 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12258/statm: 5900 5181 349 325 0 4836 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 23600 [startup+51.1002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12259 /proc/meminfo: memFree=27263208/32873648 swapFree=6860/6860 [pid=12258] ppid=12256 vsize=23988 CPUtime=51.07 cores=1,3,5,7 /proc/12258/stat : 12258 (bsolo3.0.17) R 12256 12258 9030 0 -1 4202496 5443 0 0 0 5106 1 0 0 20 0 1 0 336733798 24563712 5264 33554432000 134512640 135840783 4289143552 4289142912 134551081 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12258/statm: 5997 5264 349 325 0 4933 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 23988 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12259 /proc/meminfo: memFree=27259728/32873648 swapFree=6860/6860 [pid=12258] ppid=12256 vsize=24088 CPUtime=102.27 cores=1,3,5,7 /proc/12258/stat : 12258 (bsolo3.0.17) R 12256 12258 9030 0 -1 4202496 5471 0 0 0 10226 1 0 0 20 0 1 0 336733798 24666112 5289 33554432000 134512640 135840783 4289143552 4289142912 134551079 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12258/statm: 6022 5289 349 325 0 4958 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 24088 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 12262 /proc/meminfo: memFree=27245356/32873648 swapFree=6860/6860 [pid=12258] ppid=12256 vsize=38368 CPUtime=162.25 cores=1,3,5,7 /proc/12258/stat : 12258 (bsolo3.0.17) R 12256 12258 9030 0 -1 4202496 9053 0 0 0 16223 2 0 0 20 0 1 0 336733798 39288832 8871 33554432000 134512640 135840783 4289143552 4289142912 134551715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12258/statm: 9592 8871 349 325 0 8528 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 38368 [startup+222.3 s] /proc/loadavg: 2.08 2.02 2.01 3/177 12262 /proc/meminfo: memFree=27245736/32873648 swapFree=6860/6860 [pid=12258] ppid=12256 vsize=38372 CPUtime=222.24 cores=1,3,5,7 /proc/12258/stat : 12258 (bsolo3.0.17) R 12256 12258 9030 0 -1 4202496 9061 0 0 0 22222 2 0 0 20 0 1 0 336733798 39292928 8872 33554432000 134512640 135840783 4289143552 4289142640 6061376 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12258/statm: 9593 8872 349 325 0 8529 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 38372 [startup+282.3 s] /proc/loadavg: 2.03 2.01 2.00 3/177 12263 /proc/meminfo: memFree=27245616/32873648 swapFree=6860/6860 [pid=12258] ppid=12256 vsize=38212 CPUtime=282.23 cores=1,3,5,7 /proc/12258/stat : 12258 (bsolo3.0.17) R 12256 12258 9030 0 -1 4202496 9063 0 0 0 28221 2 0 0 20 0 1 0 336733798 39129088 8836 33554432000 134512640 135840783 4289143552 4289142912 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12258/statm: 9553 8836 349 325 0 8489 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 38212 [startup+342.3 s] /proc/loadavg: 2.01 2.00 2.00 3/177 12263 /proc/meminfo: memFree=27245744/32873648 swapFree=6860/6860 [pid=12258] ppid=12256 vsize=38212 CPUtime=342.22 cores=1,3,5,7 /proc/12258/stat : 12258 (bsolo3.0.17) R 12256 12258 9030 0 -1 4202496 9063 0 0 0 34220 2 0 0 20 0 1 0 336733798 39129088 8836 33554432000 134512640 135840783 4289143552 4289142912 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12258/statm: 9553 8836 349 325 0 8489 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 38212 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12263 /proc/meminfo: memFree=27245744/32873648 swapFree=6860/6860 [pid=12258] ppid=12256 vsize=38220 CPUtime=402.21 cores=1,3,5,7 /proc/12258/stat : 12258 (bsolo3.0.17) R 12256 12258 9030 0 -1 4202496 9065 0 0 0 40219 2 0 0 20 0 1 0 336733798 39137280 8838 33554432000 134512640 135840783 4289143552 4289142976 134546112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12258/statm: 9555 8838 349 325 0 8491 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 38220 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12263 /proc/meminfo: memFree=27232352/32873648 swapFree=6860/6860 [pid=12258] ppid=12256 vsize=38168 CPUtime=462.2 cores=1,3,5,7 /proc/12258/stat : 12258 (bsolo3.0.17) R 12256 12258 9030 0 -1 4202496 9065 0 0 0 46218 2 0 0 20 0 1 0 336733798 39084032 8825 33554432000 134512640 135840783 4289143552 4289142912 134551475 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12258/statm: 9542 8825 349 325 0 8478 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 38168 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12263 /proc/meminfo: memFree=27232836/32873648 swapFree=6860/6860 [pid=12258] ppid=12256 vsize=38168 CPUtime=522.19 cores=1,3,5,7 /proc/12258/stat : 12258 (bsolo3.0.17) R 12256 12258 9030 0 -1 4202496 9065 0 0 0 52217 2 0 0 20 0 1 0 336733798 39084032 8825 33554432000 134512640 135840783 4289143552 4289142724 6057942 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12258/statm: 9542 8825 349 325 0 8478 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 38168 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 12263 /proc/meminfo: memFree=27232844/32873648 swapFree=6860/6860 [pid=12258] ppid=12256 vsize=38168 CPUtime=582.18 cores=1,3,5,7 /proc/12258/stat : 12258 (bsolo3.0.17) R 12256 12258 9030 0 -1 4202496 9065 0 0 0 58216 2 0 0 20 0 1 0 336733798 39084032 8825 33554432000 134512640 135840783 4289143552 4289142912 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12258/statm: 9542 8825 349 325 0 8478 0 Current children cumulated CPU time (s) 582.18 Current children cumulated vsize (KiB) 38168 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.02 2.02 2.00 3/178 12290 /proc/meminfo: memFree=27227124/32873648 swapFree=6860/6860 [pid=12258] ppid=12256 vsize=38152 CPUtime=822.14 cores=1,3,5,7 /proc/12258/stat : 12258 (bsolo3.0.17) R 12256 12258 9030 0 -1 4202496 10350 0 0 0 82212 2 0 0 20 0 1 0 336733798 39067648 8821 33554432000 134512640 135840783 4289143552 4289143072 134552000 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12258/statm: 9538 8821 349 325 0 8474 0 Current children cumulated CPU time (s) 822.14 Current children cumulated vsize (KiB) 38152 [startup+882.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 12290 /proc/meminfo: memFree=27227380/32873648 swapFree=6860/6860 [pid=12258] ppid=12256 vsize=38152 CPUtime=882.13 cores=1,3,5,7 /proc/12258/stat : 12258 (bsolo3.0.17) R 12256 12258 9030 0 -1 4202496 10350 0 0 0 88211 2 0 0 20 0 1 0 336733798 39067648 8821 33554432000 134512640 135840783 4289143552 4289142912 134550741 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12258/statm: 9538 8821 349 325 0 8474 0 Current children cumulated CPU time (s) 882.13 Current children cumulated vsize (KiB) 38152 [startup+942.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 12291 /proc/meminfo: memFree=27227132/32873648 swapFree=6860/6860 [pid=12258] ppid=12256 vsize=38152 CPUtime=942.12 cores=1,3,5,7 /proc/12258/stat : 12258 (bsolo3.0.17) R 12256 12258 9030 0 -1 4202496 10350 0 0 0 94210 2 0 0 20 0 1 0 336733798 39067648 8821 33554432000 134512640 135840783 4289143552 4289142912 134550826 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12258/statm: 9538 8821 349 325 0 8474 0 Current children cumulated CPU time (s) 942.12 Current children cumulated vsize (KiB) 38152 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12291 /proc/meminfo: memFree=27227132/32873648 swapFree=6860/6860 [pid=12258] ppid=12256 vsize=38152 CPUtime=1002.11 cores=1,3,5,7 /proc/12258/stat : 12258 (bsolo3.0.17) R 12256 12258 9030 0 -1 4202496 10350 0 0 0 100209 2 0 0 20 0 1 0 336733798 39067648 8821 33554432000 134512640 135840783 4289143552 4289142912 134550902 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12258/statm: 9538 8821 349 325 0 8474 0 Current children cumulated CPU time (s) 1002.11 Current children cumulated vsize (KiB) 38152 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12291 /proc/meminfo: memFree=27227008/32873648 swapFree=6860/6860 [pid=12258] ppid=12256 vsize=38152 CPUtime=1062.1 cores=1,3,5,7 /proc/12258/stat : 12258 (bsolo3.0.17) R 12256 12258 9030 0 -1 4202496 10350 0 0 0 106208 2 0 0 20 0 1 0 336733798 39067648 8821 33554432000 134512640 135840783 4289143552 4289142912 134550910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12258/statm: 9538 8821 349 325 0 8474 0 Current children cumulated CPU time (s) 1062.1 Current children cumulated vsize (KiB) 38152 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12291 /proc/meminfo: memFree=27227136/32873648 swapFree=6860/6860 [pid=12258] ppid=12256 vsize=38152 CPUtime=1122.1 cores=1,3,5,7 /proc/12258/stat : 12258 (bsolo3.0.17) R 12256 12258 9030 0 -1 4202496 10350 0 0 0 112208 2 0 0 20 0 1 0 336733798 39067648 8821 33554432000 134512640 135840783 4289143552 4289142816 11583468 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12258/statm: 9538 8821 349 325 0 8474 0 Current children cumulated CPU time (s) 1122.1 Current children cumulated vsize (KiB) 38152 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12291 /proc/meminfo: memFree=27227260/32873648 swapFree=6860/6860 [pid=12258] ppid=12256 vsize=38152 CPUtime=1182.09 cores=1,3,5,7 /proc/12258/stat : 12258 (bsolo3.0.17) R 12256 12258 9030 0 -1 4202496 10350 0 0 0 118207 2 0 0 20 0 1 0 336733798 39067648 8821 33554432000 134512640 135840783 4289143552 4289142848 134571424 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12258/statm: 9538 8821 349 325 0 8474 0 Current children cumulated CPU time (s) 1182.09 Current children cumulated vsize (KiB) 38152 [startup+1242.3 s] /proc/loadavg: 2.04 2.01 2.00 3/177 12292 /proc/meminfo: memFree=27227260/32873648 swapFree=6860/6860 [pid=12258] ppid=12256 vsize=38152 CPUtime=1242.08 cores=1,3,5,7 /proc/12258/stat : 12258 (bsolo3.0.17) R 12256 12258 9030 0 -1 4202496 10350 0 0 0 124206 2 0 0 20 0 1 0 336733798 39067648 8821 33554432000 134512640 135840783 4289143552 4289142912 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12258/statm: 9538 8821 349 325 0 8474 0 Current children cumulated CPU time (s) 1242.08 Current children cumulated vsize (KiB) 38152 [startup+1302.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 12292 /proc/meminfo: memFree=27225460/32873648 swapFree=6860/6860 [pid=12258] ppid=12256 vsize=39988 CPUtime=1302.08 cores=1,3,5,7 /proc/12258/stat : 12258 (bsolo3.0.17) R 12256 12258 9030 0 -1 4202496 10808 0 0 0 130205 3 0 0 20 0 1 0 336733798 40947712 9278 33554432000 134512640 135840783 4289143552 4289142912 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12258/statm: 9997 9278 349 325 0 8933 0 Current children cumulated CPU time (s) 1302.08 Current children cumulated vsize (KiB) 39988 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 12295 /proc/meminfo: memFree=27225644/32873648 swapFree=6860/6860 [pid=12258] ppid=12256 vsize=39956 CPUtime=1362.07 cores=1,3,5,7 /proc/12258/stat : 12258 (bsolo3.0.17) R 12256 12258 9030 0 -1 4202496 10808 0 0 0 136204 3 0 0 20 0 1 0 336733798 40914944 9272 33554432000 134512640 135840783 4289143552 4289142912 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12258/statm: 9989 9272 349 325 0 8925 0 Current children cumulated CPU time (s) 1362.07 Current children cumulated vsize (KiB) 39956 [startup+1422.31 s] /proc/loadavg: 1.95 1.98 1.99 3/177 12448 /proc/meminfo: memFree=27273596/32873648 swapFree=6860/6860 [pid=12258] ppid=12256 vsize=39956 CPUtime=1422.06 cores=1,3,5,7 /proc/12258/stat : 12258 (bsolo3.0.17) R 12256 12258 9030 0 -1 4202496 10810 0 0 0 142203 3 0 0 20 0 1 0 336733798 40914944 9272 33554432000 134512640 135840783 4289143552 4289142904 11196621 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12258/statm: 9989 9272 349 325 0 8925 0 Current children cumulated CPU time (s) 1422.06 Current children cumulated vsize (KiB) 39956 [startup+1482.3 s] /proc/loadavg: 1.98 1.98 1.99 3/177 12448 /proc/meminfo: memFree=27252604/32873648 swapFree=6860/6860 [pid=12258] ppid=12256 vsize=39956 CPUtime=1482.05 cores=1,3,5,7 /proc/12258/stat : 12258 (bsolo3.0.17) R 12256 12258 9030 0 -1 4202496 10810 0 0 0 148202 3 0 0 20 0 1 0 336733798 40914944 9272 33554432000 134512640 135840783 4289143552 4289142912 134551081 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12258/statm: 9989 9272 349 325 0 8925 0 Current children cumulated CPU time (s) 1482.05 Current children cumulated vsize (KiB) 39956 [startup+1542.3 s] /proc/loadavg: 1.99 1.98 1.99 3/177 12449 /proc/meminfo: memFree=27251968/32873648 swapFree=6860/6860 [pid=12258] ppid=12256 vsize=40144 CPUtime=1542.04 cores=1,3,5,7 /proc/12258/stat : 12258 (bsolo3.0.17) R 12256 12258 9030 0 -1 4202496 10850 0 0 0 154201 3 0 0 20 0 1 0 336733798 41107456 9312 33554432000 134512640 135840783 4289143552 4289142912 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12258/statm: 10036 9312 349 325 0 8972 0 Current children cumulated CPU time (s) 1542.04 Current children cumulated vsize (KiB) 40144 [startup+1602.3 s] /proc/loadavg: 1.99 1.98 1.99 3/177 12449 /proc/meminfo: memFree=27248988/32873648 swapFree=6860/6860 [pid=12258] ppid=12256 vsize=43624 CPUtime=1602.03 cores=1,3,5,7 /proc/12258/stat : 12258 (bsolo3.0.17) R 12256 12258 9030 0 -1 4202496 11723 0 0 0 160200 3 0 0 20 0 1 0 336733798 44670976 10185 33554432000 134512640 135840783 4289143552 4289142976 134546112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12258/statm: 10906 10185 349 325 0 9842 0 Current children cumulated CPU time (s) 1602.03 Current children cumulated vsize (KiB) 43624 [startup+1662.3 s] /proc/loadavg: 1.99 1.98 1.99 3/177 12487 /proc/meminfo: memFree=27266100/32873648 swapFree=6860/6860 [pid=12258] ppid=12256 vsize=43580 CPUtime=1662.02 cores=1,3,5,7 /proc/12258/stat : 12258 (bsolo3.0.17) R 12256 12258 9030 0 -1 4202496 11724 0 0 0 166199 3 0 0 20 0 1 0 336733798 44625920 10178 33554432000 134512640 135840783 4289143552 4289142912 134551273 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12258/statm: 10895 10178 349 325 0 9831 0 Current children cumulated CPU time (s) 1662.02 Current children cumulated vsize (KiB) 43580 [startup+1722.3 s] /proc/loadavg: 1.99 1.98 1.99 3/177 12487 /proc/meminfo: memFree=27257540/32873648 swapFree=6860/6860 [pid=12258] ppid=12256 vsize=49900 CPUtime=1722 cores=1,3,5,7 /proc/12258/stat : 12258 (bsolo3.0.17) R 12256 12258 9030 0 -1 4202496 13300 0 0 0 172196 4 0 0 20 0 1 0 336733798 51097600 11751 33554432000 134512640 135840783 4289143552 4289142912 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12258/statm: 12475 11751 349 325 0 11411 0 Current children cumulated CPU time (s) 1722 Current children cumulated vsize (KiB) 49900 [startup+1782.3 s] /proc/loadavg: 1.99 1.98 1.99 3/177 12487 /proc/meminfo: memFree=27251272/32873648 swapFree=6860/6860 [pid=12258] ppid=12256 vsize=50336 CPUtime=1781.99 cores=1,3,5,7 /proc/12258/stat : 12258 (bsolo3.0.17) R 12256 12258 9030 0 -1 4202496 13410 0 0 0 178195 4 0 0 20 0 1 0 336733798 51544064 11860 33554432000 134512640 135840783 4289143552 4289142864 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12258/statm: 12584 11860 349 325 0 11520 0 Current children cumulated CPU time (s) 1781.99 Current children cumulated vsize (KiB) 50336 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 1.99 1.98 1.99 3/176 12487 /proc/meminfo: memFree=27249592/32873648 swapFree=6860/6860 [pid=12258] ppid=12256 vsize=50336 CPUtime=1800.1 cores=1,3,5,7 /proc/12258/stat : 12258 (bsolo3.0.17) R 12256 12258 9030 0 -1 4202496 13410 0 0 0 180006 4 0 0 20 0 1 0 336733798 51544064 11860 33554432000 134512640 135840783 4289143552 4289142912 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12258/statm: 12584 11860 349 325 0 11520 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 50336 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.41 CPU time (s): 1800.11 CPU user time (s): 1800.06 CPU system time (s): 0.045993 CPU usage (%): 99.9833 Max. virtual memory (cumulated for all children) (KiB): 50336 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.06 system time used= 0.045993 maximum resident set size= 47440 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13413 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= 35 involuntary context switches= 1852 runsolver used 3.01054 second user time and 9.46356 second system time The end
Begin job on node116 at 2012-06-03 08:47:57 IDJOB=3735699 IDBENCH=24987 IDSOLVER=2318 FILE ID=node116/3735699-1338706077 RUNJOBID= node116-1338678620-9050 PBS_JOBID= 14636697 Free space on /tmp= 71032 MiB SOLVER NAME= PB07: bsolo 3.0.17 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_024_area_delay.opb COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3735699-1338706077/watcher-3735699-1338706077 -o /tmp/evaluation-result-3735699-1338706077/solver-3735699-1338706077 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3735699-1338706077.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 58f3055ef9bb388e237f57f2627386e0 RANDOM SEED=778281466 node116.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 27283484 kB Buffers: 546808 kB Cached: 4076204 kB SwapCached: 3028 kB Active: 2243908 kB Inactive: 2432556 kB Active(anon): 43400 kB Inactive(anon): 8500 kB Active(file): 2200508 kB Inactive(file): 2424056 kB Unevictable: 6860 kB Mlocked: 6860 kB SwapTotal: 67108856 kB SwapFree: 67103480 kB Dirty: 6760 kB Writeback: 0 kB AnonPages: 56348 kB Mapped: 13316 kB Shmem: 68 kB Slab: 773748 kB SReclaimable: 218184 kB SUnreclaim: 555564 kB KernelStack: 1448 kB PageTables: 3716 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 166748 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 36864 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71024 MiB End job on node116 at 2012-06-03 09:18:00