Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | 25 | 1798.01 | 1798.56 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_024_area_delay.opb |
MD5SUM | 58f3055ef9bb388e237f57f2627386e0 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 24 |
Best CPU time to get the best result obtained on this benchmark | 3.21351 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24 |
Optimality of the best value was proved | YES |
Number of variables | 3392 |
Total number of constraints | 9001 |
Number of constraints which are clauses | 9001 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 1642 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1642 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 1642 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2656336-1276633515.opb 0.00/0.00 c File size is 264615 bytes. 0.00/0.04 c Highest Coefficient sum: 1642 0.00/0.04 c Parsing was ok!! 0.00/0.04 c Total parsing time: 0.041 s 0.00/0.04 c Var: 3392 Constr: 9001 9001/0/0 Lit: 21887 Watch. Lit: 17902 0.00/0.04 c Obj. Vars: 1642 (48.408 % of total variables) 0.05/0.09 c Pre-processing Time: 0.096 s 0.05/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.05/0.09 c 0 3191 8552 20978 2 17104 2850 0 0 0.10 0.05/0.09 c Switching off lower bounding mode. 0.09/0.10 o 30 0.79/0.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.87 c 0 3191 8553 22520 2 18618 3850 1 0 0.10 0.79/0.87 c 100 3191 8657 26644 3 18826 4236 105 404 0.25 0.79/0.87 c 350 3191 8921 37803 4 19354 4660 369 493 0.71 0.79/0.87 o 29 57.08/57.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 57.08/57.17 c 513 3191 9183 43890 4 21391 3850 631 586 0.88 57.08/57.17 c 613 3191 9341 46312 4 21707 4236 789 621 0.99 57.08/57.17 c 863 3191 9618 56637 5 22261 4660 1066 592 1.46 57.08/57.17 c 1338 3191 10140 79648 7 23305 5127 1588 562 2.38 57.08/57.17 c 2151 3191 11017 118501 10 25059 5640 2465 540 3.98 57.08/57.17 c 3471 3191 12381 188072 15 27787 6205 3829 514 6.75 57.08/57.17 c 5553 3191 14516 299523 20 32057 6826 5964 483 11.48 57.08/57.17 c 8776 3191 12918 240889 18 27349 7509 4366 469 18.70 57.08/57.17 c 13712 3191 12977 299923 23 27467 8260 4425 450 30.47 57.08/57.17 c 21219 3191 15331 360961 23 32175 9087 6779 452 46.84 57.08/57.17 o 28 120.56/120.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 120.56/120.64 c 25546 3191 13968 338056 24 32474 3850 5416 446 57.16 120.56/120.64 c 25646 3191 10608 171994 16 24241 4236 2056 447 57.34 120.56/120.64 c 25896 3191 10914 183775 16 24853 4660 2362 448 57.80 120.56/120.64 c 26371 3191 11392 198678 17 25809 5127 2840 449 58.72 120.56/120.64 c 27184 3191 12296 239352 19 27617 5640 3744 449 60.45 120.56/120.64 c 28505 3191 13727 324113 23 30479 6205 5175 449 63.38 120.56/120.64 c 30586 3191 11656 174038 14 24826 6826 3104 449 68.03 120.56/120.64 c 33809 3191 15128 473988 31 34789 7509 6576 446 75.71 120.56/120.64 c 38745 3191 15236 517987 33 31986 8260 6684 439 88.21 120.56/120.64 c 46252 3191 12683 227745 17 26880 9087 4131 440 105.09 120.56/120.64 o 27 224.63/224.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 224.63/224.71 c 52876 3191 13618 329563 24 30265 3850 5066 438 120.61 224.63/224.71 c 52977 3191 10581 140624 13 22677 4236 2029 438 120.85 224.63/224.71 c 53227 3191 10871 153493 14 23257 4660 2319 438 121.34 224.63/224.71 c 53702 3191 11408 173242 15 24331 5127 2856 439 122.30 224.63/224.71 c 54516 3191 12344 223854 18 27716 5640 3792 439 123.95 224.63/224.71 c 55836 3191 13734 281581 20 30496 6205 5182 440 126.79 224.63/224.71 c 57917 3191 11656 215121 18 24827 6826 3104 439 131.84 224.63/224.71 c 61140 3191 14989 335818 22 33003 7509 6437 441 138.45 224.63/224.71 c 66076 3191 15320 370817 24 33665 8260 6768 439 150.27 224.63/224.71 c 73582 3191 12683 323766 25 26881 9087 4131 435 169.03 224.63/224.71 c 84943 3191 13097 388784 29 29214 9996 4545 431 196.76 224.63/224.71 o 26 1749.96/1750.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1749.96/1750.54 c 95769 3191 18406 694740 37 39843 3850 9854 426 224.65 1749.96/1750.54 c 95869 3191 10643 136396 12 22802 4236 2091 426 224.84 1749.96/1750.54 c 96119 3191 10915 148640 13 23346 4660 2363 426 225.36 1749.96/1750.54 c 96594 3191 11488 167470 14 24492 5127 2936 426 226.23 1749.96/1750.54 c 97408 3191 12353 224391 18 26222 5640 3801 427 227.98 1749.96/1750.54 c 98728 3191 13699 274247 20 28914 6205 5147 427 230.81 1749.96/1750.54 c 100810 3191 11720 169160 14 24956 6826 3168 427 235.70 1749.96/1750.54 c 104033 3191 15099 330399 21 31714 7509 6547 427 243.09 1749.96/1750.54 c 108969 3191 15077 326574 21 34692 8260 6525 428 254.57 1749.96/1750.54 c 116476 3191 12683 427373 33 28387 9087 4131 423 274.77 1749.96/1750.54 c 127837 3191 13449 309126 22 28414 9996 4897 421 303.13 1749.96/1750.54 c 144982 3191 13551 435485 32 30132 10996 4999 414 349.43 1749.96/1750.54 c 170801 3191 14051 501149 35 29618 12096 5499 409 416.78 1749.96/1750.54 c 209633 3191 17970 424795 23 37456 13306 9418 398 526.26 1749.96/1750.54 c 267985 3191 15206 374948 24 31928 14637 6654 389 687.62 1749.96/1750.54 c 355617 3191 20924 831463 39 44874 16101 12372 376 944.28 1749.96/1750.54 c 487169 3191 18065 388479 21 39150 17712 9513 361 1346.25 1749.96/1750.54 o 25 1797.95/1798.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.95/1798.55 c 604461 3191 20053 838882 41 44653 3850 11501 345 1750.01 1797.95/1798.55 c 604561 3191 10582 154945 14 22681 4236 2030 345 1750.33 1797.95/1798.55 c 604812 3191 10947 163357 14 23411 4660 2395 345 1750.72 1797.95/1798.55 c 605287 3191 11472 179164 15 24461 5127 2920 345 1751.61 1797.95/1798.55 c 606100 3191 12328 213730 17 26173 5640 3776 345 1753.38 1797.95/1798.55 c 607420 3191 13675 280960 20 28867 6205 5123 345 1756.53 1797.95/1798.55 c 609502 3191 11656 151547 13 24829 6826 3104 345 1761.59 1797.95/1798.55 c 612725 3191 15015 298044 19 31547 7509 6463 346 1769.05 1797.95/1798.55 c 617661 3191 15350 419146 27 39760 8260 6798 346 1780.55 1797.95/1798.55 c Resources Exceeded 1797.95/1798.55 v -x149 -x151 -x153 -x155 -x157 -x159 x161 -x163 -x165 -x167 -x169 -x171 -x173 -x175 -x177 -x179 -x181 -x183 -x185 -x187 -x189 -x191 -x193 -x195 -x197 -x199 -x201 -x203 -x205 -x207 -x209 -x211 -x213 -x215 -x217 -x219 -x221 -x223 -x225 -x227 -x229 -x231 -x233 -x235 -x237 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x256 -x258 -x260 -x262 -x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 -x286 -x288 -x290 -x292 -x294 -x296 -x298 -x300 -x302 -x304 -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439 -x441 -x443 -x445 -x447 -x449 -x451 -x453 -x455 x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x483 -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x820 -x822 -x824 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x859 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x989 -x991 -x993 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1226 -x1228 -x1230 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x1330 -x1332 x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -x1370 -x1372 -x1373 -x1375 -x1377 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 -x1528 -x1529 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x1571 -x1573 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 x1659 -x1661 -x1663 -x1665 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1711 -x1713 -x1715 -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1994 -x1996 -x1998 x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 x2157 -x2159 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 -x2193 -x2195 -x2197 -x2198 -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2247 x2249 -x2251 -x2253 -x2255 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 -x2405 x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 -x2439 -x2441 -x2443 -x2445 -x2447 -x2449 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2495 -x2497 -x2499 -x2501 -x2503 -x2505 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x2537 -x2539 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2705 -x2707 -x2709 -x2711 x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2758 -x2760 -x2762 -x2764 -x2766 -x2768 x2770 -x2772 -x2774 -x2776 -x2778 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x2806 -x2807 -x2809 -x2811 -x2813 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2842 -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 -x2856 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 x2873 -x2875 -x2876 -x2878 -x2880 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x2904 -x2906 -x2908 -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3098 -x3100 -x3102 x3104 -x3106 -x3108 -x3110 -x3112 -x3114 -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 x3186 -x3188 x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x3233 -x3235 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 x3311 -x3313 -x3314 -x3316 -x3318 -x3320 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 x3358 -x3360 -x3362 -x3364 -x3366 -x3368 x3370 -x3372 x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3386 -x3388 -x3390 -x3391 -x3392 -x148 -x150 -x152 -x154 -x156 -x158 x160 -x162 -x164 -x166 -x168 -x170 -x172 -x174 -x176 -x178 -x180 -x182 -x184 -x186 -x188 -x190 -x192 -x194 -x196 -x198 -x200 -x202 -x204 -x206 -x208 -x210 -x1 -x212 -x214 -x216 -x218 -x220 -x222 -x224 -x226 -x228 -x230 -x232 -x234 -x236 -x238 -x240 -x2 -x242 -x244 -x246 -x248 -x250 -x252 -x254 -x257 -x259 -x261 -x263 -x265 -x267 -x269 -x3 -x271 -x273 -x275 -x277 -x279 -x281 -x283 -x4 -x285 -x287 -x289 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x327 -x329 -x331 -x333 -x335 -x337 x339 -x341 -x343 -x5 -x345 -x347 -x349 -x351 -x353 -x355 -x357 -x6 -x359 -x361 -x363 -x365 -x367 -x369 -x371 -x7 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x8 -x387 -x389 -x391 -x393 -x395 -x398 -x400 -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454 x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x9 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x532 -x534 -x536 -x538 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 -x611 -x613 -x615 x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x639 -x10 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x11 -x671 -x673 -x675 -x677 -x679 -x681 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 -x731 -x12 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 -x13 -x763 -x765 -x767 -x769 -x771 -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x14 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -x15 -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 -x866 -x16 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x894 -x896 -x17 -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x18 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x19 -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x20 -x972 -x974 -x976 -x978 -x980 -x982 -x984 -x21 -x986 -x988 -x990 -x992 -x995 -x997 -x22 -x999 -x1001 -x1003 -x23 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x24 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x25 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x26 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x27 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x28 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x29 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x30 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 x31 x1213 -x1215 -x1217 -x32 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x33 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x34 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x35 -x1276 -x1278 -x1280 -x36 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -x37 -x1296 -x1298 -x1300 -x38 -x1302 -x1304 -x1306 -x39 -x1308 -x1310 -x40 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1374 -x41 -x1376 -x1379 -x1381 -x1383 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x42 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x43 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x44 -x1448 -x1450 -x1452 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x45 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x46 -x1552 -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1575 -x1577 -x1579 -x47 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x48 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x49 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x1639 -x1641 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 -x1656 x1658 -x1660 -x1662 -x1664 -x1666 -x50 -x1668 -x1670 -x1672 -x1674 -x1676 -x1679 -x51 -x1681 -x1683 -x1685 -x52 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x1707 -x1709 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x53 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x54 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 -x55 -x1866 -x1868 -x1870 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x56 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x57 -x1909 -x1911 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 -x58 -x1938 -x1940 -x1942 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x59 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x60 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1993 -x1995 -x1997 x1999 -x2001 -x2003 -x2005 -x2007 -x61 -x2009 -x2011 -x2013 -x62 -x2015 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x63 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x64 -x2043 -x2045 -x2047 -x65 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2070 -x2072 -x2074 -x2076 -x66 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x2104 -x2106 -x67 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x68 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x69 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x70 -x2150 -x2152 -x2154 x2156 -x2158 -x2160 -x2162 -x2164 -x2166 -x71 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x72 -x2182 -x2184 -x2186 -x73 -x2188 -x2190 -x2192 -x74 -x2194 -x2196 -x75 -x2199 -x2201 -x2203 -x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 -x2243 -x2245 x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x76 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x77 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x2304 -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x78 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334 -x2336 -x2338 -x2340 -x2342 -x2344 -x2346 -x2348 -x2350 -x79 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x80 -x2366 -x2368 -x2370 -x2372 -x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x81 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 -x2438 -x82 -x2440 -x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x83 -x2454 -x2456 -x2458 -x2460 -x2463 -x2465 -x84 -x2467 -x2469 -x2471 -x85 -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x2487 -x2489 -x2491 -x2493 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -x2532 -x86 -x2534 -x2536 -x2538 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x87 -x2563 -x2565 -x2567 -x2569 -x2571 -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x88 -x2593 -x2595 -x2597 -x2599 -x2601 -x2603 -x2605 -x89 -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x90 -x2637 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x2665 -x91 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 -x92 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x93 -x2695 -x2697 -x2699 -x2701 -x2703 -x2706 -x94 -x2708 -x2710 x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x95 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x2756 -x2759 -x2761 -x2763 -x2765 -x2767 x2769 -x2771 -x2773 -x2775 -x2777 -x2779 -x2781 -x2783 -x2785 -x96 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x97 -x2801 -x2803 -x2805 -x2808 -x2810 -x2812 -x98 -x2814 -x2816 -x2818 -x99 -x2820 -x2822 -x2824 -x2826 -x2828 -x2830 -x2832 -x100 -x2834 -x2836 -x2838 -x2840 -x2843 -x2845 -x101 -x2847 -x2849 -x2851 -x102 -x2853 -x2855 -x2858 -x2860 -x2862 -x2864 -x103 -x2866 -x2868 -x2870 x2872 -x2874 -x104 -x2877 -x105 -x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x106 -x2909 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x107 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 -x108 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x109 -x2967 -x2969 -x2971 -x2973 -x2975 -x2977 -x2979 -x110 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x111 -x2995 -x2997 -x2999 -x112 -x3001 -x3003 -x3006 -x3008 -x3010 -x3012 -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x113 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 -x3048 -x3050 -x3052 -x3054 -x3056 -x114 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 x3080 -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3099 x115 -x3101 x3103 -x3105 -x3107 -x3109 -x3111 -x116 -x3113 -x3115 -x3117 -x3119 -x3121 -x3123 -x3125 -x117 -x3127 -x3129 -x3131 -x118 -x3133 -x3135 -x3137 -x3139 -x3141 -x3143 -x3145 -x119 -x3147 -x3149 -x3151 -x3153 -x3155 -x3157 -x3159 -x120 -x3161 -x3163 -x121 -x3165 -x3167 -x3169 -x3171 -x3173 -x3175 -x3177 -x122 -x3179 -x3181 -x3183 x123 x3185 -x3187 x124 -x3190 -x125 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3212 -x3214 -x3216 -x3218 -x3220 -x126 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 -x3234 -x127 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 -x3248 -x128 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 x129 -x3264 x3266 -x3268 -x130 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 -x3282 -x131 -x3284 -x3286 -x3288 -x3290 -x3292 -x3294 -x3296 -x132 -x3298 -x3300 -x3302 -x133 -x3304 -x3306 -x3308 x134 x3310 -x3312 -x135 -x3315 -x136 -x3317 -x3319 -x3321 -x3323 -x3325 -x3327 -x3329 -x137 -x3331 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x138 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355 x3357 -x3359 -x3361 -x3363 -x139 -x3365 -x3367 x140 x3369 -x3371 x141 -x3374 -x142 -x3376 -x3378 -x3380 -x143 -x3382 -x3384 -x144 -x3387 -x145 -x3389 -x146 -x147 1797.95/1798.55 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.95/1798.55 c 60 624450 366636 2133883 16929 552998 8377 347 1798.01 1797.95/1798.55 c Objective: 25 1797.95/1798.55 s SATISFIABLE 1797.95/1798.55 c Total time: 1798.01 s
OK 25
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656336-1276633515/watcher-2656336-1276633515 -o /tmp/evaluation-result-2656336-1276633515/solver-2656336-1276633515 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656336-1276633515.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.10 1.07 1.04 3/105 11125 /proc/meminfo: memFree=1479760/2059040 swapFree=4192956/4192956 [pid=11125] ppid=11123 vsize=11192 CPUtime=0 /proc/11125/stat : 11125 (bsolo_pb10) R 11123 11125 10746 0 -1 4202496 367 0 0 0 0 0 0 0 25 0 1 0 4645621 11460608 285 1992294400 134512640 137138936 4286835232 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11125/statm: 2798 285 177 642 0 2089 0 [startup+0.0534071 s] /proc/loadavg: 1.10 1.07 1.04 3/105 11125 /proc/meminfo: memFree=1479760/2059040 swapFree=4192956/4192956 [pid=11125] ppid=11123 vsize=12588 CPUtime=0.05 /proc/11125/stat : 11125 (bsolo_pb10) R 11123 11125 10746 0 -1 4202496 831 0 0 0 5 0 0 0 25 0 1 0 4645621 12890112 684 1992294400 134512640 137138936 4286835232 18446744073709551615 134543012 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11125/statm: 3147 684 184 642 0 2503 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 12588 [startup+0.101411 s] /proc/loadavg: 1.10 1.07 1.04 3/105 11125 /proc/meminfo: memFree=1479760/2059040 swapFree=4192956/4192956 [pid=11125] ppid=11123 vsize=12724 CPUtime=0.09 /proc/11125/stat : 11125 (bsolo_pb10) R 11123 11125 10746 0 -1 4202496 948 0 0 0 8 1 0 0 25 0 1 0 4645621 13029376 754 1992294400 134512640 137138936 4286835232 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11125/statm: 3181 754 187 642 0 2537 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12724 [startup+0.301432 s] /proc/loadavg: 1.10 1.07 1.04 3/105 11125 /proc/meminfo: memFree=1479760/2059040 swapFree=4192956/4192956 [pid=11125] ppid=11123 vsize=12724 CPUtime=0.29 /proc/11125/stat : 11125 (bsolo_pb10) R 11123 11125 10746 0 -1 4202496 954 0 0 0 28 1 0 0 25 0 1 0 4645621 13029376 760 1992294400 134512640 137138936 4286835232 18446744073709551615 134606985 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11125/statm: 3181 760 192 642 0 2537 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12724 [startup+0.701475 s] /proc/loadavg: 1.10 1.07 1.04 3/105 11125 /proc/meminfo: memFree=1479760/2059040 swapFree=4192956/4192956 [pid=11125] ppid=11123 vsize=12852 CPUtime=0.69 /proc/11125/stat : 11125 (bsolo_pb10) R 11123 11125 10746 0 -1 4202496 981 0 0 0 67 2 0 0 25 0 1 0 4645621 13160448 787 1992294400 134512640 137138936 4286835232 18446744073709551615 136511073 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11125/statm: 3213 787 192 642 0 2569 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12852 [startup+1.50156 s] /proc/loadavg: 1.10 1.07 1.04 2/106 11126 /proc/meminfo: memFree=1477024/2059040 swapFree=4192956/4192956 [pid=11125] ppid=11123 vsize=13212 CPUtime=1.49 /proc/11125/stat : 11125 (bsolo_pb10) R 11123 11125 10746 0 -1 4202496 1076 0 0 0 146 3 0 0 25 0 1 0 4645621 13529088 882 1992294400 134512640 137138936 4286835232 18446744073709551615 134602721 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11125/statm: 3303 882 192 642 0 2659 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13212 [startup+3.10173 s] /proc/loadavg: 1.10 1.07 1.04 2/106 11126 /proc/meminfo: memFree=1476404/2059040 swapFree=4192956/4192956 [pid=11125] ppid=11123 vsize=13796 CPUtime=3.09 /proc/11125/stat : 11125 (bsolo_pb10) R 11123 11125 10746 0 -1 4202496 1213 0 0 0 306 3 0 0 25 0 1 0 4645621 14127104 1019 1992294400 134512640 137138936 4286835232 18446744073709551615 134606691 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11125/statm: 3449 1019 192 642 0 2805 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13796 [startup+6.30107 s] /proc/loadavg: 1.10 1.07 1.04 2/106 11126 /proc/meminfo: memFree=1475040/2059040 swapFree=4192956/4192956 [pid=11125] ppid=11123 vsize=14960 CPUtime=6.29 /proc/11125/stat : 11125 (bsolo_pb10) R 11123 11125 10746 0 -1 4202496 1511 0 0 0 624 5 0 0 25 0 1 0 4645621 15319040 1317 1992294400 134512640 137138936 4286835232 18446744073709551615 135984589 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11125/statm: 3740 1317 192 642 0 3096 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14960 [startup+12.7007 s] /proc/loadavg: 1.09 1.07 1.04 2/106 11126 /proc/meminfo: memFree=1472560/2059040 swapFree=4192956/4192956 [pid=11125] ppid=11123 vsize=17264 CPUtime=12.69 /proc/11125/stat : 11125 (bsolo_pb10) R 11123 11125 10746 0 -1 4202496 2086 0 0 0 1263 6 0 0 25 0 1 0 4645621 17678336 1892 1992294400 134512640 137138936 4286835232 18446744073709551615 134607253 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11125/statm: 4316 1892 192 642 0 3672 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17264 [startup+25.5011 s] /proc/loadavg: 1.07 1.06 1.04 2/106 11126 /proc/meminfo: memFree=1470948/2059040 swapFree=4192956/4192956 [pid=11125] ppid=11123 vsize=18668 CPUtime=25.48 /proc/11125/stat : 11125 (bsolo_pb10) R 11123 11125 10746 0 -1 4202496 2438 0 0 0 2540 8 0 0 25 0 1 0 4645621 19116032 2244 1992294400 134512640 137138936 4286835232 18446744073709551615 134552304 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11125/statm: 4667 2244 192 642 0 4023 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 18668 [startup+51.1008 s] /proc/loadavg: 1.04 1.06 1.04 2/106 11128 /proc/meminfo: memFree=1469088/2059040 swapFree=4192956/4192956 [pid=11125] ppid=11123 vsize=20580 CPUtime=51.08 /proc/11125/stat : 11125 (bsolo_pb10) R 11123 11125 10746 0 -1 4202496 2910 0 0 0 5095 13 0 0 25 0 1 0 4645621 21073920 2716 1992294400 134512640 137138936 4286835232 18446744073709551615 134602766 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11125/statm: 5145 2716 192 642 0 4501 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 20580 [startup+102.308 s] /proc/loadavg: 1.02 1.05 1.03 2/106 11128 /proc/meminfo: memFree=1467352/2059040 swapFree=4192956/4192956 [pid=11125] ppid=11123 vsize=22144 CPUtime=102.26 /proc/11125/stat : 11125 (bsolo_pb10) R 11123 11125 10746 0 -1 4202496 3308 0 0 0 10203 23 0 0 25 0 1 0 4645621 22675456 3114 1992294400 134512640 137138936 4286835232 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11125/statm: 5536 3114 192 642 0 4892 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 22144 [startup+162.302 s] /proc/loadavg: 1.00 1.04 1.02 2/106 11130 /proc/meminfo: memFree=1467228/2059040 swapFree=4192956/4192956 [pid=11125] ppid=11123 vsize=22144 CPUtime=162.24 /proc/11125/stat : 11125 (bsolo_pb10) R 11123 11125 10746 0 -1 4202496 3308 0 0 0 16187 37 0 0 25 0 1 0 4645621 22675456 3114 1992294400 134512640 137138936 4286835232 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11125/statm: 5536 3114 192 642 0 4892 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 22144 [startup+222.301 s] /proc/loadavg: 1.00 1.03 1.02 2/106 11132 /proc/meminfo: memFree=1464376/2059040 swapFree=4192956/4192956 [pid=11125] ppid=11123 vsize=25012 CPUtime=222.22 /proc/11125/stat : 11125 (bsolo_pb10) R 11123 11125 10746 0 -1 4202496 4024 0 0 0 22174 48 0 0 25 0 1 0 4645621 25612288 3830 1992294400 134512640 137138936 4286835232 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11125/statm: 6253 3830 192 642 0 5609 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 25012 [startup+282.301 s] /proc/loadavg: 1.00 1.02 1.01 2/106 11134 /proc/meminfo: memFree=1464376/2059040 swapFree=4192956/4192956 [pid=11125] ppid=11123 vsize=25012 CPUtime=282.21 /proc/11125/stat : 11125 (bsolo_pb10) R 11123 11125 10746 0 -1 4202496 4024 0 0 0 28160 61 0 0 25 0 1 0 4645621 25612288 3830 1992294400 134512640 137138936 4286835232 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11125/statm: 6253 3830 192 642 0 5609 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 25012 [startup+342.302 s] /proc/loadavg: 1.00 1.01 1.01 2/106 11136 /proc/meminfo: memFree=1464252/2059040 swapFree=4192956/4192956 [pid=11125] ppid=11123 vsize=25012 CPUtime=342.19 /proc/11125/stat : 11125 (bsolo_pb10) R 11123 11125 10746 0 -1 4202496 4024 0 0 0 34145 74 0 0 25 0 1 0 4645621 25612288 3830 1992294400 134512640 137138936 4286835232 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11125/statm: 6253 3830 192 642 0 5609 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 25012 [startup+402.301 s] /proc/loadavg: 1.00 1.01 1.00 2/106 11139 /proc/meminfo: memFree=1463632/2059040 swapFree=4192956/4192956 [pid=11125] ppid=11123 vsize=25136 CPUtime=402.17 /proc/11125/stat : 11125 (bsolo_pb10) R 11123 11125 10746 0 -1 4202496 4053 0 0 0 40129 88 0 0 25 0 1 0 4645621 25739264 3859 1992294400 134512640 137138936 4286835232 18446744073709551615 134543192 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11125/statm: 6284 3859 192 642 0 5640 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 25136 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11141 /proc/meminfo: memFree=1457556/2059040 swapFree=4192956/4192956 [pid=11125] ppid=11123 vsize=31448 CPUtime=462.15 /proc/11125/stat : 11125 (bsolo_pb10) R 11123 11125 10746 0 -1 4202496 5641 0 0 0 46117 98 0 0 25 0 1 0 4645621 32202752 5430 1992294400 134512640 137138936 4286835232 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11125/statm: 7862 5430 192 642 0 7218 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 31448 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11143 /proc/meminfo: memFree=1450488/2059040 swapFree=4192956/4192956 [pid=11125] ppid=11123 vsize=38300 CPUtime=522.14 /proc/11125/stat : 11125 (bsolo_pb10) R 11123 11125 10746 0 -1 4202496 7386 0 0 0 52103 111 0 0 25 0 1 0 4645621 39219200 7154 1992294400 134512640 137138936 4286835232 18446744073709551615 134552299 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11125/statm: 9575 7154 192 642 0 8931 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 38300 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11145 /proc/meminfo: memFree=1450488/2059040 swapFree=4192956/4192956 [pid=11125] ppid=11123 vsize=37912 CPUtime=582.12 /proc/11125/stat : 11125 (bsolo_pb10) R 11123 11125 10746 0 -1 4202496 7387 0 0 0 58090 122 0 0 25 0 1 0 4645621 38821888 7057 1992294400 134512640 137138936 4286835232 18446744073709551615 134542544 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11125/statm: 9478 7057 192 642 0 8834 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 37912 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11147 /proc/meminfo: memFree=1450612/2059040 swapFree=4192956/4192956 [pid=11125] ppid=11123 vsize=37760 CPUtime=642.1 /proc/11125/stat : 11125 (bsolo_pb10) R 11123 11125 10746 0 -1 4202496 7387 0 0 0 64075 135 0 0 25 0 1 0 4645621 38666240 7019 1992294400 134512640 137138936 4286835232 18446744073709551615 134618347 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11125/statm: 9440 7019 192 642 0 8796 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 37760 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1450860/2059040 swapFree=4192956/4192956 [pid=11125] ppid=11123 vsize=37960 CPUtime=1061.97 /proc/11125/stat : 11125 (bsolo_pb10) R 11123 11125 10746 0 -1 4202496 7905 0 0 0 105994 203 0 0 25 0 1 0 4645621 38871040 7069 1992294400 134512640 137138936 4286835232 18446744073709551615 134618106 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11125/statm: 9490 7069 192 642 0 8846 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 37960 [startup+1122.3 s] /proc/loadavg: 1.06 1.01 1.00 2/106 11159 /proc/meminfo: memFree=1450736/2059040 swapFree=4192956/4192956 [pid=11125] ppid=11123 vsize=37960 CPUtime=1121.95 /proc/11125/stat : 11125 (bsolo_pb10) R 11123 11125 10746 0 -1 4202496 7905 0 0 0 111980 215 0 0 25 0 1 0 4645621 38871040 7069 1992294400 134512640 137138936 4286835232 18446744073709551615 134542495 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11125/statm: 9490 7069 192 642 0 8846 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 37960 [startup+1182.3 s] /proc/loadavg: 1.02 1.01 1.00 2/106 11161 /proc/meminfo: memFree=1450736/2059040 swapFree=4192956/4192956 [pid=11125] ppid=11123 vsize=37960 CPUtime=1181.93 /proc/11125/stat : 11125 (bsolo_pb10) R 11123 11125 10746 0 -1 4202496 7905 0 0 0 117967 226 0 0 25 0 1 0 4645621 38871040 7069 1992294400 134512640 137138936 4286835232 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11125/statm: 9490 7069 192 642 0 8846 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 37960 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11163 /proc/meminfo: memFree=1450488/2059040 swapFree=4192956/4192956 [pid=11125] ppid=11123 vsize=37960 CPUtime=1241.92 /proc/11125/stat : 11125 (bsolo_pb10) R 11123 11125 10746 0 -1 4202496 7905 0 0 0 123953 239 0 0 25 0 1 0 4645621 38871040 7069 1992294400 134512640 137138936 4286835232 18446744073709551615 134551906 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11125/statm: 9490 7069 192 642 0 8846 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 37960 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11163 /proc/meminfo: memFree=1450364/2059040 swapFree=4192956/4192956 [pid=11125] ppid=11123 vsize=37960 CPUtime=1301.91 /proc/11125/stat : 11125 (bsolo_pb10) R 11123 11125 10746 0 -1 4202496 7905 0 0 0 129941 250 0 0 25 0 1 0 4645621 38871040 7069 1992294400 134512640 137138936 4286835232 18446744073709551615 134574851 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11125/statm: 9490 7069 192 642 0 8846 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 37960 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11165 /proc/meminfo: memFree=1450364/2059040 swapFree=4192956/4192956 [pid=11125] ppid=11123 vsize=37960 CPUtime=1361.88 /proc/11125/stat : 11125 (bsolo_pb10) R 11123 11125 10746 0 -1 4202496 7905 0 0 0 135928 260 0 0 25 0 1 0 4645621 38871040 7069 1992294400 134512640 137138936 4286835232 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11125/statm: 9490 7069 192 642 0 8846 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 37960 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11167 /proc/meminfo: memFree=1450240/2059040 swapFree=4192956/4192956 [pid=11125] ppid=11123 vsize=38384 CPUtime=1421.87 /proc/11125/stat : 11125 (bsolo_pb10) R 11123 11125 10746 0 -1 4202496 8126 0 0 0 141920 267 0 0 25 0 1 0 4645621 39305216 7162 1992294400 134512640 137138936 4286835232 18446744073709551615 136297616 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11125/statm: 9596 7162 192 642 0 8952 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 38384 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11169 /proc/meminfo: memFree=1446272/2059040 swapFree=4192956/4192956 [pid=11125] ppid=11123 vsize=42360 CPUtime=1481.84 /proc/11125/stat : 11125 (bsolo_pb10) R 11123 11125 10746 0 -1 4202496 9123 0 0 0 147907 277 0 0 25 0 1 0 4645621 43376640 8155 1992294400 134512640 137138936 4286835232 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11125/statm: 10590 8155 192 642 0 9946 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 42360 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11171 /proc/meminfo: memFree=1446272/2059040 swapFree=4192956/4192956 [pid=11125] ppid=11123 vsize=42356 CPUtime=1541.82 /proc/11125/stat : 11125 (bsolo_pb10) R 11123 11125 10746 0 -1 4202496 9123 0 0 0 153895 287 0 0 25 0 1 0 4645621 43372544 8155 1992294400 134512640 137138936 4286835232 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11125/statm: 10589 8155 192 642 0 9945 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 42356 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11171 /proc/meminfo: memFree=1446148/2059040 swapFree=4192956/4192956 [pid=11125] ppid=11123 vsize=42304 CPUtime=1601.8 /proc/11125/stat : 11125 (bsolo_pb10) R 11123 11125 10746 0 -1 4202496 9123 0 0 0 159886 294 0 0 25 0 1 0 4645621 43319296 8155 1992294400 134512640 137138936 4286835232 18446744073709551615 134606614 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11125/statm: 10576 8155 192 642 0 9932 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 42304 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11173 /proc/meminfo: memFree=1446148/2059040 swapFree=4192956/4192956 [pid=11125] ppid=11123 vsize=42300 CPUtime=1661.79 /proc/11125/stat : 11125 (bsolo_pb10) R 11123 11125 10746 0 -1 4202496 9123 0 0 0 165876 303 0 0 25 0 1 0 4645621 43315200 8154 1992294400 134512640 137138936 4286835232 18446744073709551615 136511072 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11125/statm: 10575 8154 192 642 0 9931 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 42300 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11175 /proc/meminfo: memFree=1446024/2059040 swapFree=4192956/4192956 [pid=11125] ppid=11123 vsize=42296 CPUtime=1721.77 /proc/11125/stat : 11125 (bsolo_pb10) R 11123 11125 10746 0 -1 4202496 9123 0 0 0 171866 311 0 0 25 0 1 0 4645621 43311104 8153 1992294400 134512640 137138936 4286835232 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11125/statm: 10574 8153 192 642 0 9930 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 42296 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11177 /proc/meminfo: memFree=1445776/2059040 swapFree=4192956/4192956 [pid=11125] ppid=11123 vsize=42272 CPUtime=1781.74 /proc/11125/stat : 11125 (bsolo_pb10) R 11123 11125 10746 0 -1 4202496 9123 0 0 0 177850 324 0 0 25 0 1 0 4645621 43286528 8147 1992294400 134512640 137138936 4286835232 18446744073709551615 134618135 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11125/statm: 10568 8147 192 642 0 9924 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 42272 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11177 /proc/meminfo: memFree=1445776/2059040 swapFree=4192956/4192956 [pid=11125] ppid=11123 vsize=42272 CPUtime=1791.35 /proc/11125/stat : 11125 (bsolo_pb10) R 11123 11125 10746 0 -1 4202496 9123 0 0 0 178808 327 0 0 25 0 1 0 4645621 43286528 8147 1992294400 134512640 137138936 4286835232 18446744073709551615 134607004 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11125/statm: 10568 8147 192 642 0 9924 0 Current children cumulated CPU time (s) 1791.35 Current children cumulated vsize (KiB) 42272 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11177 /proc/meminfo: memFree=1445776/2059040 swapFree=4192956/4192956 [pid=11125] ppid=11123 vsize=42272 CPUtime=1794.54 /proc/11125/stat : 11125 (bsolo_pb10) R 11123 11125 10746 0 -1 4202496 9123 0 0 0 179127 327 0 0 25 0 1 0 4645621 43286528 8147 1992294400 134512640 137138936 4286835232 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11125/statm: 10568 8147 192 642 0 9924 0 Current children cumulated CPU time (s) 1794.54 Current children cumulated vsize (KiB) 42272 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11177 /proc/meminfo: memFree=1445776/2059040 swapFree=4192956/4192956 [pid=11125] ppid=11123 vsize=42272 CPUtime=1796.14 /proc/11125/stat : 11125 (bsolo_pb10) R 11123 11125 10746 0 -1 4202496 9123 0 0 0 179286 328 0 0 25 0 1 0 4645621 43286528 8147 1992294400 134512640 137138936 4286835232 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11125/statm: 10568 8147 192 642 0 9924 0 Current children cumulated CPU time (s) 1796.14 Current children cumulated vsize (KiB) 42272 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11177 /proc/meminfo: memFree=1445776/2059040 swapFree=4192956/4192956 [pid=11125] ppid=11123 vsize=42272 CPUtime=1796.94 /proc/11125/stat : 11125 (bsolo_pb10) R 11123 11125 10746 0 -1 4202496 9123 0 0 0 179366 328 0 0 25 0 1 0 4645621 43286528 8147 1992294400 134512640 137138936 4286835232 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11125/statm: 10568 8147 192 642 0 9924 0 Current children cumulated CPU time (s) 1796.94 Current children cumulated vsize (KiB) 42272 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11177 /proc/meminfo: memFree=1445776/2059040 swapFree=4192956/4192956 [pid=11125] ppid=11123 vsize=42272 CPUtime=1797.74 /proc/11125/stat : 11125 (bsolo_pb10) R 11123 11125 10746 0 -1 4202496 9123 0 0 0 179446 328 0 0 25 0 1 0 4645621 43286528 8147 1992294400 134512640 137138936 4286835232 18446744073709551615 134575667 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11125/statm: 10568 8147 192 642 0 9924 0 Current children cumulated CPU time (s) 1797.74 Current children cumulated vsize (KiB) 42272 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11177 /proc/meminfo: memFree=1445776/2059040 swapFree=4192956/4192956 [pid=11125] ppid=11123 vsize=42272 CPUtime=1797.95 /proc/11125/stat : 11125 (bsolo_pb10) R 11123 11125 10746 0 -1 4202496 9123 0 0 0 179467 328 0 0 25 0 1 0 4645621 43286528 8147 1992294400 134512640 137138936 4286835232 18446744073709551615 134618336 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11125/statm: 10568 8147 192 642 0 9924 0 Current children cumulated CPU time (s) 1797.95 Current children cumulated vsize (KiB) 42272 Child status: 0 Real time (s): 1798.56 CPU time (s): 1798.01 CPU user time (s): 1794.72 CPU system time (s): 3.2895 CPU usage (%): 99.9693 Max. virtual memory (cumulated for all children) (KiB): 42360 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.72 system time used= 3.2895 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9124 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 6592 runsolver used 2.78358 second user time and 8.67368 second system time The end
Begin job on node081 at 2010-06-15 22:25:15 IDJOB=2656336 IDBENCH=24987 IDSOLVER=1162 FILE ID=node081/2656336-1276633515 PBS_JOBID= 11172352 Free space on /tmp= 121808 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_024_area_delay.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656336-1276633515/watcher-2656336-1276633515 -o /tmp/evaluation-result-2656336-1276633515/solver-2656336-1276633515 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656336-1276633515.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 58f3055ef9bb388e237f57f2627386e0 RANDOM SEED=107776944 node081.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.212 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.212 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1480164 kB Buffers: 94720 kB Cached: 355672 kB SwapCached: 0 kB Active: 206856 kB Inactive: 303132 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1480164 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4152 kB Writeback: 0 kB AnonPages: 59660 kB Mapped: 15316 kB Slab: 47128 kB PageTables: 3944 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181784 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 121804 MiB End job on node081 at 2010-06-15 22:55:14