Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 | SAT | 96 | 1798.02 | 1797.98 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_12.opb |
MD5SUM | fe9b3ae0ed0deb400897e8cf071ce6eb |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 91 |
Best CPU time to get the best result obtained on this benchmark | 1800.14 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 95 |
Optimality of the best value was proved | NO |
Number of variables | 1812 |
Total number of constraints | 3443 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 3443 |
Minimum length of a constraint | 16 |
Maximum length of a constraint | 33 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 256 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 1307 |
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 Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Instance file HOME/instance-3463210-1307178948.opb 0.00/0.00 c File size is 799598 bytes. 0.03/0.05 c Highest Coefficient sum: 1307 0.03/0.05 c Parsing was ok!! 0.03/0.05 c Total parsing time: 0.053 s 0.03/0.05 c Var: 1812 Constr: 3443 0/0/3443 Lit: 100760 Watch. Lit: 16698 0.03/0.05 c Obj. Vars: 8 (0.441501 % of total variables) 0.09/0.15 c Pre-processing Time: 0.153 s 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 0 1812 3443 100760 29 32123 201520 0 0 0.15 0.09/0.15 c Switching off lower bounding mode. 0.79/0.86 c 102 1812 3621 104764 28 66794 221673 178 305 0.33 0.79/0.86 c 252 1812 3909 112529 28 62252 243841 466 557 0.45 0.79/0.86 c 477 1812 4353 129846 29 57596 268226 910 841 0.57 0.79/0.86 c 816 1812 5026 153943 30 58582 295049 1583 1095 0.74 0.79/0.86 o 130 1.11/1.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.11/1.17 c 1033 1812 5456 171701 31 59510 201536 2013 1198 0.86 1.11/1.17 c 1133 1812 5652 178231 31 57843 221690 2209 1239 0.91 1.11/1.17 c 1383 1812 6144 196313 31 57705 243860 2701 1342 1.03 1.11/1.17 o 129 1.19/1.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.24 c 1737 1812 6840 216846 31 62946 201536 3397 1484 1.17 1.19/1.24 c 1837 1812 7038 224040 31 59037 221690 3595 1506 1.22 1.19/1.24 o 126 4.41/4.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.41/4.47 c 1866 1812 7097 226001 31 65551 201536 3654 1503 1.24 4.41/4.47 c 1967 1812 7298 233236 31 62561 221690 3855 1518 1.29 4.41/4.47 c 2217 1800 7697 246601 32 66259 243860 4254 1581 1.40 4.41/4.47 c 2693 1800 8476 268450 31 70023 268247 5033 1546 1.74 4.41/4.47 c 3509 1800 9801 304351 31 69886 295072 6358 1605 2.19 4.41/4.47 c 4830 1800 11635 371256 31 79022 324580 8192 1663 2.90 4.41/4.47 c 6913 1800 15030 466883 31 81473 357039 11587 1595 4.33 4.41/4.47 o 121 7.99/8.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.99/8.08 c 7149 1800 15389 479367 31 85186 201534 11946 1597 4.47 7.99/8.08 c 7250 1800 15562 483946 31 88208 221688 12119 1584 4.58 7.99/8.08 c 7500 1800 16000 497998 31 91294 243857 12557 1575 4.76 7.99/8.08 c 7976 1800 16745 525071 31 88435 268243 13302 1587 5.02 7.99/8.08 c 8790 1800 18082 563613 31 88577 295068 14639 1536 5.72 7.99/8.08 c 10112 1800 20006 643840 32 96874 324575 16563 1562 6.47 7.99/8.08 c 12193 1800 23279 751547 32 103766 357033 19836 1528 7.98 7.99/8.08 o 117 18.72/18.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.72/18.76 c 12340 1800 23528 759572 32 107776 201534 20085 1527 8.08 18.72/18.76 c 12441 1800 23704 764084 32 109003 221688 20261 1525 8.16 18.72/18.76 c 12691 1800 24125 775396 32 108196 243857 20682 1519 8.35 18.72/18.76 c 13166 1800 24887 801715 32 108538 268243 21444 1516 8.68 18.72/18.76 c 13979 1800 26172 836606 31 106079 295068 22729 1516 9.22 18.72/18.76 c 15300 1800 28210 906883 32 116369 324575 24767 1517 10.08 18.72/18.76 c 17382 1800 31470 1009772 32 128279 357033 28027 1496 11.61 18.72/18.76 c 20606 1800 36498 1190534 32 140754 392737 33055 1495 13.78 18.72/18.76 o 116 33.79/33.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 33.79/33.87 c 25469 1800 43565 1492045 34 157181 201534 40122 1357 18.76 33.79/33.87 c 25570 1800 43727 1496577 34 151881 221688 40284 1352 18.90 33.79/33.87 c 25820 1800 44129 1511857 34 157414 243857 40686 1350 19.12 33.79/33.87 c 26298 1800 44908 1537421 34 155181 268243 41465 1339 19.64 33.79/33.87 c 27111 1800 46194 1589625 34 164712 295068 42751 1318 20.56 33.79/33.87 c 28432 1800 48376 1661884 34 165321 324575 44933 1287 22.08 33.79/33.87 c 30514 1800 51449 1782509 34 177278 357033 48006 1268 24.06 33.79/33.87 c 33737 1800 56763 1935329 34 185442 392737 53320 1230 27.42 33.79/33.87 c 38673 1800 64642 2202313 34 207328 432011 61199 1149 33.65 33.79/33.87 o 115 65.59/65.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 65.59/65.60 c 38817 1800 64874 2210239 34 208988 201534 61431 1145 33.87 65.59/65.60 c 38918 1800 65024 2214899 34 210316 221688 61581 1143 34.04 65.59/65.60 c 39168 1800 65430 2226178 34 205264 243857 61987 1136 34.47 65.59/65.60 c 39644 1800 66161 2248981 33 208868 268243 62718 1131 35.04 65.59/65.60 c 40457 1800 67354 2297366 34 215391 295068 63911 1122 36.04 65.59/65.60 c 41778 1800 69457 2370729 34 221444 324575 66014 1101 37.94 65.59/65.60 c 43859 1800 72816 2467608 33 220898 357033 69373 1089 40.26 65.59/65.60 c 47084 1800 77724 2641931 33 242770 392737 74281 1078 43.64 65.59/65.60 c 52020 1800 85322 2939344 34 259256 432011 81879 992 52.44 65.59/65.60 c 59528 1800 97267 3286234 33 283661 475213 93824 923 64.49 65.59/65.60 o 111 139.71/139.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 139.71/139.77 c 60234 1800 98349 3328982 33 291309 201534 94906 918 65.61 139.71/139.77 c 60335 1800 98510 3333249 33 292204 221688 95067 915 65.92 139.71/139.77 c 60586 1800 98907 3343944 33 286789 243857 95464 912 66.40 139.71/139.77 c 61062 1800 99666 3364713 33 293274 268243 96223 907 67.30 139.71/139.77 c 61876 1800 100964 3406346 33 294393 295068 97521 897 68.94 139.71/139.77 c 63196 1800 103149 3470722 33 299302 324575 99706 887 71.18 139.71/139.77 c 65278 1800 106188 3598453 33 310854 357033 102745 868 75.13 139.71/139.77 c 68501 1800 111274 3739763 33 322153 392737 107831 858 79.83 139.71/139.77 c 73439 1800 118966 4040144 33 339352 432011 115523 818 89.68 139.71/139.77 c 80946 1800 130471 4466216 34 366830 475213 127028 750 107.82 139.71/139.77 c 92309 1800 148161 5166260 34 415413 522735 144718 668 138.07 139.71/139.77 o 110 169.10/169.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 169.10/169.13 c 92932 1800 149190 5200527 34 417110 201534 145747 664 139.78 169.10/169.13 c 93032 1800 149357 5205767 34 418730 221688 145914 663 140.12 169.10/169.13 c 93284 1800 149802 5218551 34 414626 243857 146359 661 141.03 169.10/169.13 c 93759 1800 150571 5242814 34 414121 268243 147128 659 142.19 169.10/169.13 c 94572 1800 151726 5292575 34 421259 295068 148283 654 144.59 169.10/169.13 c 95893 1800 153867 5359709 34 426329 324575 150424 642 149.29 169.10/169.13 c 97974 1800 157347 5468059 34 438789 357033 153904 635 154.19 169.10/169.13 c 101197 1800 162316 5632621 34 443876 392737 158873 629 160.81 169.10/169.13 o 108 189.90/189.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 189.90/189.99 c 103613 1800 166161 5786019 34 458757 201534 162718 612 169.14 189.90/189.99 c 103713 1800 166328 5791331 34 458817 221688 162885 611 169.66 189.90/189.99 c 103964 1800 166711 5804254 34 459369 243857 163268 609 170.53 189.90/189.99 c 104439 1800 167420 5832810 34 460671 268243 163977 606 172.17 189.90/189.99 c 105252 1800 168735 5873037 34 460350 295068 165292 602 174.70 189.90/189.99 c 106573 1800 170798 5950749 34 469360 324575 167355 596 178.55 189.90/189.99 c 108656 1800 174136 6048848 34 476540 357033 170693 583 186.17 189.90/189.99 o 107 238.49/238.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 238.49/238.60 c 109824 1800 175992 6113664 34 482997 201534 172549 578 190.00 238.49/238.60 c 109926 1800 176153 6118197 34 482884 221688 172710 576 190.64 238.49/238.60 c 110178 1800 176556 6133201 34 485634 243857 173113 574 191.74 238.49/238.60 c 110654 1800 177286 6160698 34 486632 268243 173843 572 193.38 238.49/238.60 c 111469 1800 178598 6197801 34 483715 295068 175155 569 195.56 238.49/238.60 c 112790 1800 180743 6274135 34 496139 324575 177300 559 201.63 238.49/238.60 c 114871 1800 184061 6369410 34 498536 357033 180618 555 206.75 238.49/238.60 c 118096 1800 188804 6545709 34 512618 392737 185361 547 215.73 238.49/238.60 c 123032 1800 196558 6771088 34 529603 432011 193115 533 230.77 238.49/238.60 o 106 278.40/278.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 278.40/278.44 c 124982 1800 199644 6882520 34 541423 201534 196201 523 238.61 278.40/278.44 c 125082 1800 199790 6886728 34 543597 221688 196347 522 239.28 278.40/278.44 c 125335 1800 200177 6900115 34 543575 243857 196734 521 240.17 278.40/278.44 c 125810 1800 200942 6923615 34 541806 268243 197499 519 241.99 278.40/278.44 c 126624 1800 202206 6970792 34 547604 295068 198763 515 245.78 278.40/278.44 c 127944 1800 204378 7036782 34 549650 324575 200935 506 252.39 278.40/278.44 c 130025 1800 207568 7136918 34 556090 357033 204125 503 258.49 278.40/278.44 c 133248 1800 212551 7325140 34 573792 392737 209108 490 271.60 278.40/278.44 o 105 386.30/386.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 386.30/386.35 c 134790 1800 214975 7415488 34 580626 201534 211532 484 278.44 386.30/386.35 c 134890 1800 25090 836839 33 107515 221688 21647 424 317.50 386.30/386.35 c 135140 1800 25483 848477 33 109152 243857 22040 425 317.70 386.30/386.35 c 135616 1800 26249 871588 33 108104 268243 22806 426 318.03 386.30/386.35 c 136429 1800 27443 920256 33 115077 295068 24000 427 318.79 386.30/386.35 c 137749 1800 29562 978946 33 113163 324575 26119 430 319.75 386.30/386.35 c 139830 1800 32791 1087824 33 127742 357033 29348 435 321.30 386.30/386.35 c 143055 1800 37895 1241163 32 135238 392737 34452 440 324.87 386.30/386.35 c 147991 1800 45394 1512167 33 163460 432011 41951 448 330.17 386.30/386.35 c 155497 1800 57501 1880334 32 183476 475213 54058 458 339.35 386.30/386.35 c 166858 1800 75643 2419823 31 226093 522735 72200 473 352.05 386.30/386.35 c 184003 1800 101700 3288750 32 294834 575009 98257 489 375.90 386.30/386.35 o 101 480.41/480.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 480.41/480.47 c 189926 1800 110824 3654354 32 320725 201555 107381 491 386.36 480.41/480.47 c 190027 1800 110995 3659056 32 324170 221711 107552 491 386.78 480.41/480.47 c 190277 1800 111382 3671924 32 321008 243883 107939 491 387.47 480.41/480.47 c 190752 1800 112173 3695216 32 317076 268272 108730 490 388.62 480.41/480.47 c 191565 1800 113486 3742498 32 327190 295100 110043 490 390.67 480.41/480.47 c 192885 1800 115677 3805003 32 325364 324611 112234 489 394.12 480.41/480.47 c 194966 1800 119082 3908722 32 340675 357073 115639 488 399.16 480.41/480.47 c 198190 1800 124083 4082397 32 350271 392781 120640 489 405.16 480.41/480.47 c 203127 1800 132063 4314220 32 366875 432060 128620 489 415.25 480.41/480.47 c 210633 1800 143922 4711428 32 401729 475267 140479 488 431.08 480.41/480.47 c 221994 1800 161867 5268361 32 448716 522794 158424 473 469.20 480.41/480.47 o 96 1797.93/1797.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.93/1797.96 c 225085 1800 166637 5443804 32 459220 201555 163194 468 480.49 1797.93/1797.96 c 225186 1800 166798 5449520 32 458966 221711 163355 468 480.85 1797.93/1797.96 c 225436 1800 167173 5462671 32 456032 243883 163730 467 482.17 1797.93/1797.96 c 225912 1800 167913 5488708 32 463790 268272 164470 466 483.81 1797.93/1797.96 c 226725 1800 169226 5528205 32 461547 295100 165783 465 486.94 1797.93/1797.96 c 228048 1800 171335 5607067 32 471014 324611 167892 465 490.35 1797.93/1797.96 c 230131 1800 174704 5709785 32 481035 357073 171261 459 500.94 1797.93/1797.96 c 233355 1800 179759 5907918 32 491860 392781 176316 454 513.43 1797.93/1797.96 c 238291 1800 187329 6183008 33 510578 432060 183886 452 526.55 1797.93/1797.96 c 245799 1800 199228 6548790 32 533531 475267 195785 446 550.87 1797.93/1797.96 c 257160 1800 216958 7241985 33 583739 522794 213515 428 600.77 1797.93/1797.96 c 274305 1800 244001 8204855 33 653503 575074 240558 417 656.72 1797.93/1797.96 c 300124 1800 281228 9833070 34 743850 632582 277785 381 786.51 1797.93/1797.96 c 338957 1800 342411 12029106 35 897902 695841 338968 356 949.60 1797.93/1797.96 c 397309 1800 429141 15755476 36 1114530 765426 425698 293 1354.33 1797.93/1797.96 c Resources Exceeded 1797.93/1797.96 v -x1 -x2 -x3 -x4 -x5 x6 x7 -x8 x81 -x82 -x83 -x84 x85 -x86 x87 -x88 x89 -x90 -x91 x92 x93 -x94 x95 -x96 -x1812 -x73 x74 x75 x76 x77 x78 -x79 -x80 -x1811 -x1810 -x1809 -x1808 -x1807 -x65 -x66 x67 x68 -x69 x70 -x71 -x72 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 x1795 x1794 x1793 -x57 x58 x59 -x60 -x61 x62 -x63 -x64 -x1792 -x1791 -x1790 x1789 -x1788 -x1787 -x1786 -x1785 -x1784 x1783 x1782 -x1781 -x1780 -x1779 x1778 x1777 -x1776 x1775 x1774 x1773 x1772 x1771 x1770 x1769 x1768 x1767 x1766 x1765 x1764 x1763 x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x1762 -x1761 -x1760 -x1759 x1758 -x1757 -x1756 -x1755 -x1754 -x1753 x1752 -x1751 x1750 x1749 -x1748 -x1747 -x1746 x1745 -x1744 -x1743 x1742 x1741 x1740 x1739 x1738 x1737 -x1736 x1735 -x1734 x1733 x1732 x1731 x1730 x1729 x1728 x1727 x1726 x1725 x1724 x1723 x1722 x1721 x1720 x1719 x1718 x1717 x1716 x1715 x1714 x1713 x1712 x1711 x1710 x1709 x1708 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 x1684 -x1683 -x1682 x1681 x1680 -x1679 x1678 x1677 x1676 -x1675 -x1674 -x1673 x1672 -x1671 -x1670 x1669 x1668 x1667 -x1666 x1665 x1664 x1663 -x1662 x1661 x1660 x1659 x1658 -x1657 -x1656 -x1655 x1654 x1653 -x1652 x1651 x1650 x1649 -x1648 x1647 x1646 x1645 x1644 -x1643 x1642 x1641 x1640 x1639 -x1638 -x1637 -x1636 -x1635 x1634 x1633 x1632 x1631 x1630 x1629 x1628 x1627 x1626 x1625 x1624 -x1623 x1622 x1621 x1620 x1619 -x1618 -x1617 -x33 -x34 x35 x36 -x37 -x38 -x39 -x40 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 x1598 x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 x1590 -x1589 -x1588 x1587 x1586 -x1585 x1584 x1583 -x1582 x1581 x1580 x1579 -x1578 -x1577 -x1576 x1575 -x1574 -x1573 x1572 x1571 x1570 -x1569 x1568 x1567 x1566 -x1565 x1564 x1563 x1562 -x1561 x1560 x1559 x1558 x1557 -x1556 -x1555 -x1554 x1553 x1552 -x1551 x1550 x1549 x1548 -x1547 x1546 x1545 x1544 -x1543 -x1542 x1541 x1540 x1539 x1538 -x1537 x1536 x1535 x1534 x1533 x1532 -x1531 -x1530 -x1529 x1528 x1527 -x1526 x1525 x1524 x1523 -x1522 x1521 x1520 x1519 x1518 -x1517 x1516 x1515 x1514 x1513 -x1512 -x1511 x1510 x1509 x1508 x1507 x1506 x1505 x1504 x1503 x1502 x1501 x1500 x1499 x1498 x1497 x1496 x1495 x1494 x1493 x1492 x1491 x1490 x1489 x1488 x1487 x1486 x1485 x1484 x1483 x1482 x1481 x1480 x1479 x1478 x1477 x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 x1457 -x1456 x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 x1441 -x1440 -x1439 x1438 x1437 x1436 x1435 x1434 x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 x1426 x1425 -x1424 -x1423 x1422 x1421 x1420 -x1419 x1418 x1417 x1416 -x1415 x1414 x1413 x1412 x1411 x1410 x1409 x1408 x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 x1400 x1399 x1398 -x1397 x1396 x1395 x1394 -x1393 -x1392 x1391 x1390 x1389 -x1388 -x1387 x1386 x1385 x1384 x1383 -x1382 x1381 x1380 x1379 x1378 -x1377 -x1376 -x1375 -x1374 x1373 -x1372 -x1371 x1370 x1369 x1368 -x1367 x1366 x1365 x1364 -x1363 -x1362 x1361 x1360 x1359 -x1358 -x1357 -x1356 x1355 x1354 x1353 x1352 -x1351 -x1350 x1349 x1348 x1347 x1346 x1345 -x1344 -x1343 x1342 -x1341 x1340 x1339 x1338 x1337 x1336 x1335 x1334 x1333 x1332 x1331 x1330 -x1329 x1328 x1327 x1326 x1325 -x1324 -x1323 x1322 x1321 x1320 x1319 x1318 x1317 x1316 x1315 x1314 x1313 x1312 x1311 x1310 x1309 -x1308 x1307 -x1306 x1305 x1304 x1303 x1302 x1301 x1300 x1299 x1298 x1297 x1296 x1295 -x1294 x1293 x1292 x1291 x1290 x1289 -x1288 x1287 x1286 x1285 x1284 x1283 x1282 x1281 x1280 x1279 x1278 x1277 x1276 x1275 x1274 -x1273 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 x1252 -x1251 x1250 -x1249 x1248 x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 x1234 -x1233 -x1232 x1231 x1230 x1229 x1228 x1227 x1226 x1225 x1224 x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 x1216 x1215 -x1214 -x1213 x1212 x1211 x1210 -x1209 x1208 x1207 x1206 -x1205 x1204 x1203 x1202 x1201 x1200 x1199 x1198 x1197 x1196 x1195 x1194 x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 x1186 x1185 x1184 -x1183 x1182 x1181 x1180 -x1179 -x1178 x1177 x1176 x1175 -x1174 -x1173 x1172 x1171 x1170 x1169 -x1168 x1167 x1166 x1165 x1164 -x1163 x1162 x1161 x1160 x1159 x1158 -x1157 -x1156 -x1155 x1154 -x1153 -x1152 x1151 x1150 x1149 -x1148 x1147 x1146 x1145 -x1144 -x1143 x1142 x1141 x1140 -x1139 -x1138 -x1137 x1136 x1135 x1134 x1133 -x1132 -x1131 x1130 x1129 x1128 x1127 x1126 -x1125 x1124 x1123 x1122 x1121 x1120 x1119 -x1118 x1117 -x1116 x1115 x1114 x1113 x1112 x1111 x1110 x1109 x1108 x1107 x1106 x1105 -x1104 x1103 x1102 x1101 x1100 -x1099 -x1098 x1097 x1096 x1095 x1094 x1093 x1092 x1091 x1090 x1089 x1088 x1087 x1086 x1085 x1084 x1083 x1082 x1081 x1080 x1079 x1078 x1077 -x1076 x1075 -x1074 x1073 x1072 x1071 x1070 x1069 x1068 x1067 x1066 x1065 x1064 x1063 -x1062 x1061 x1060 x1059 x1058 x1057 -x1056 x1055 x1054 x1053 x1052 x1051 x1050 x1049 x1048 x1047 x1046 x1045 x1044 x1043 x1042 -x1041 x1040 x1039 x1038 x1037 x1036 x1035 x1034 x1033 x1032 x1031 x1030 x1029 x1028 x1027 x1026 x1025 x1024 x1023 x1022 x1021 x1020 x1019 x1018 x1017 x1016 x1015 x1014 x1013 x1012 x1011 x1010 x1009 x1008 x1007 x1006 x1005 x1004 x1003 x1002 x1001 x1000 x999 x998 x997 x996 x995 x994 x993 x992 x991 x990 x989 x988 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 x979 x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 x964 -x963 x962 x961 x960 x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 x946 -x945 -x944 x943 x942 x941 x940 x939 x938 x937 x936 x935 x934 x933 x932 -x931 -x930 -x929 -x928 -x927 -x926 x925 x924 -x923 -x922 x921 x920 -x919 -x918 x917 x916 x915 -x914 x913 x912 x911 x910 x909 x908 x907 x906 x905 x904 x903 x902 x901 x900 x899 x898 -x897 -x896 -x895 -x894 -x893 -x892 x891 x890 -x889 -x888 x887 x886 x885 -x884 -x883 x882 x881 x880 -x879 -x878 x877 x876 x875 x874 -x873 x872 x871 x870 x869 -x868 x867 x866 x865 x864 x863 x862 x861 x860 x859 x858 -x857 -x856 -x855 x854 -x853 -x852 x851 x850 x849 -x848 x847 x846 x845 -x844 -x843 x842 x841 x840 -x839 -x838 -x837 x836 x835 x834 x833 -x832 -x831 x830 x829 x828 x827 -x826 -x825 x824 x823 x822 x821 x820 x819 x818 x817 x816 x815 x814 x813 -x812 -x811 -x810 x809 x808 x807 x806 x805 x804 x803 x802 x801 x800 x799 -x798 x797 x796 x795 x794 -x793 -x792 x791 x790 x789 x788 x787 x786 x785 x784 x783 x782 x781 x780 x779 x778 x777 x776 x775 x774 x773 x772 x771 x770 x769 x768 x767 x766 x765 x764 -x763 x762 -x761 x760 x759 x758 x757 x756 x755 x754 x753 x752 x751 x750 -x749 x748 x747 x746 x745 -x744 -x743 x742 x741 x740 x739 x738 x737 x736 x735 x734 x733 x732 x731 x730 x729 -x728 x727 x726 x725 x724 x723 x722 x721 x720 x719 x718 x717 x716 x715 x714 x713 x712 x711 x710 x709 x708 x707 x706 x705 x704 x703 x702 x701 x700 x699 x698 x697 x696 x695 x694 x693 x692 x691 x690 x689 x688 x687 x686 x685 x684 x683 x682 x681 x680 x679 x678 x677 x676 x675 x674 x673 x672 x671 x670 x669 x668 x667 x666 x665 x664 x663 x662 x661 x660 x659 x658 x657 x656 x655 x654 x653 x652 x651 x650 x649 x648 x647 x646 x645 x644 x643 x642 x641 x640 x639 x638 x637 x636 x635 x634 x633 x632 x631 x630 x629 x628 x627 x626 x625 x624 x623 x622 x621 x620 x619 x618 x617 x616 x615 x614 x613 x612 x611 x610 x609 x608 x607 x606 x605 x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 x594 x593 x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 x578 -x577 x576 x575 x574 x573 x572 x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 x558 -x557 -x556 x555 x554 x553 x552 x551 x550 x549 x548 x547 x546 x545 x544 x543 x542 x541 -x540 -x539 -x538 -x537 -x536 -x535 x534 x533 -x532 -x531 x530 x529 -x528 -x527 x526 x525 x524 -x523 x522 x521 x520 x519 x518 x517 x516 x515 x514 x513 x512 x511 x510 x509 x508 x507 x506 x505 x504 x503 -x502 -x501 -x500 -x499 -x498 -x497 x496 x495 -x494 -x493 x492 x491 x490 -x489 -x488 x487 x486 x485 -x484 -x483 x482 x481 x480 x479 -x478 x477 x476 x475 x474 -x473 x472 x471 x470 x469 x468 x467 x466 x465 x464 x463 x462 x461 x460 x459 x458 -x457 -x456 -x455 x454 -x453 -x452 x451 x450 x449 -x448 x447 x446 x445 -x444 -x443 x442 x441 x440 -x439 -x438 -x437 x436 x435 x434 x433 -x432 -x431 x430 x429 x428 x427 -x426 -x425 x424 x423 x422 x421 x420 x419 x418 x417 x416 x415 x414 x413 x412 x411 x410 x409 x408 x407 -x406 -x405 -x404 x403 x402 x401 x400 x399 x398 x397 x396 x395 x394 x393 -x392 x391 x390 x389 x388 -x387 -x386 x385 x384 x383 x382 x381 x380 x379 x378 x377 x376 x375 x374 x373 x372 x371 x370 x369 x368 x367 x366 x365 x364 x363 x362 x361 x360 x359 x358 x357 x356 x355 x354 x353 x352 x351 -x350 x349 -x348 x347 x346 x345 x344 x343 x342 x341 x340 x339 x338 x337 -x336 x335 x334 x333 x332 -x331 -x330 x329 x328 x327 x326 x325 x324 x323 x322 x321 x320 x319 x318 x317 x316 -x315 x314 x313 x312 x311 x310 x309 x308 x307 x306 x305 x304 x303 x302 x301 x300 x299 x298 x297 x296 x295 x294 x293 x292 x291 x290 x289 x288 x287 x286 x285 x284 x283 x282 x281 x280 x279 x278 x277 x276 x275 x274 x273 x272 x271 x270 x269 x268 x267 x266 x265 x264 x263 x262 x261 x260 x259 x258 x257 x256 x255 x254 x253 x252 x251 x250 x249 x248 x247 x246 x245 x244 x243 x242 x241 x240 x239 x238 x237 x236 x235 x234 x233 x232 x231 x230 x229 x228 x227 x226 x225 x224 x223 x222 x221 x220 x219 x218 x217 x216 x215 x214 x213 x212 x211 x210 x209 x208 x207 x206 x205 x204 x203 x202 x201 x200 x199 x198 x197 x196 x195 x194 x193 x192 x191 x190 x189 x188 x187 x186 x185 x184 x183 x182 x181 x180 x179 x178 x177 x176 x175 x174 -x173 x172 x171 x170 x169 x168 x167 x166 x165 x164 x163 x162 x161 x160 x159 x158 x157 x156 x155 x154 x153 x152 x151 x150 x149 x148 x147 x146 x145 x144 x143 x142 x141 x140 x139 x138 x137 x136 x135 x134 x133 x132 x131 x130 x129 x128 x127 x126 x125 x124 x123 x122 x121 x120 x119 x118 x117 x116 x115 x114 x113 x112 x111 x110 x109 x108 x107 x106 x105 x104 x103 x102 x101 x100 x99 x98 x97 1797.93/1797.96 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.93/1797.96 c 131 456296 55036 539138 523149 19165604 519706 253 1798.01 1797.93/1797.96 c Objective: 96 1797.93/1797.96 s SATISFIABLE 1797.93/1797.96 c Total time: 1798.01 s
OK 96
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3463210-1307178948/watcher-3463210-1307178948 -o /tmp/evaluation-result-3463210-1307178948/solver-3463210-1307178948 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463210-1307178948.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.10 2.04 2.01 2/572 1913 /proc/meminfo: memFree=31677784/32950928 swapFree=43925852/67111528 [pid=1913] ppid=1911 vsize=11572 CPUtime=0 cores=1,3,5,7 /proc/1913/stat : 1913 (bsolo) R 1911 1913 32216 0 -1 4202496 294 0 0 0 0 0 0 0 25 0 1 0 829493642 11849728 248 33554432000 134512640 137138936 4290679536 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1913/statm: 2893 248 180 642 0 2053 0 [startup+0.0338961 s] /proc/loadavg: 2.10 2.04 2.01 2/572 1913 /proc/meminfo: memFree=31677784/32950928 swapFree=43925852/67111528 [pid=1913] ppid=1911 vsize=12364 CPUtime=0.03 cores=1,3,5,7 /proc/1913/stat : 1913 (bsolo) R 1911 1913 32216 0 -1 4202496 607 0 0 0 3 0 0 0 25 0 1 0 829493642 12660736 561 33554432000 134512640 137138936 4290679536 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1913/statm: 3091 561 283 642 0 2251 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 12364 [startup+0.100899 s] /proc/loadavg: 2.10 2.04 2.01 2/572 1913 /proc/meminfo: memFree=31677784/32950928 swapFree=43925852/67111528 [pid=1913] ppid=1911 vsize=14784 CPUtime=0.09 cores=1,3,5,7 /proc/1913/stat : 1913 (bsolo) R 1911 1913 32216 0 -1 4202496 1499 0 0 0 9 0 0 0 25 0 1 0 829493642 15138816 1257 33554432000 134512640 137138936 4290679536 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1913/statm: 3696 1257 185 642 0 3052 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14784 [startup+0.300865 s] /proc/loadavg: 2.10 2.04 2.01 2/572 1913 /proc/meminfo: memFree=31677784/32950928 swapFree=43925852/67111528 [pid=1913] ppid=1911 vsize=14784 CPUtime=0.29 cores=1,3,5,7 /proc/1913/stat : 1913 (bsolo) R 1911 1913 32216 0 -1 4202496 1518 0 0 0 29 0 0 0 25 0 1 0 829493642 15138816 1276 33554432000 134512640 137138936 4290679536 18446744073709551615 134542375 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1913/statm: 3696 1276 192 642 0 3052 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14784 [startup+0.700736 s] /proc/loadavg: 2.10 2.04 2.01 2/572 1913 /proc/meminfo: memFree=31677784/32950928 swapFree=43925852/67111528 [pid=1913] ppid=1911 vsize=14788 CPUtime=0.69 cores=1,3,5,7 /proc/1913/stat : 1913 (bsolo) R 1911 1913 32216 0 -1 4202496 1519 0 0 0 69 0 0 0 25 0 1 0 829493642 15142912 1277 33554432000 134512640 137138936 4290679536 18446744073709551615 134542704 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1913/statm: 3697 1277 192 642 0 3053 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14788 [startup+1.50059 s] /proc/loadavg: 2.10 2.04 2.01 3/573 1914 /proc/meminfo: memFree=31671852/32950928 swapFree=43925852/67111528 [pid=1913] ppid=1911 vsize=16544 CPUtime=1.49 cores=1,3,5,7 /proc/1913/stat : 1913 (bsolo) R 1911 1913 32216 0 -1 4202496 1933 0 0 0 149 0 0 0 25 0 1 0 829493642 16941056 1691 33554432000 134512640 137138936 4290679536 18446744073709551615 135984570 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1913/statm: 4136 1691 192 642 0 3492 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16544 [startup+3.10037 s] /proc/loadavg: 2.10 2.04 2.01 3/573 1914 /proc/meminfo: memFree=31668380/32950928 swapFree=43925852/67111528 [pid=1913] ppid=1911 vsize=18612 CPUtime=3.09 cores=1,3,5,7 /proc/1913/stat : 1913 (bsolo) R 1911 1913 32216 0 -1 4202496 2458 0 0 0 309 0 0 0 25 0 1 0 829493642 19058688 2216 33554432000 134512640 137138936 4290679536 18446744073709551615 136500305 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1913/statm: 4653 2216 192 642 0 4009 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18612 [startup+6.3008 s] /proc/loadavg: 2.09 2.04 2.01 3/573 1914 /proc/meminfo: memFree=31663432/32950928 swapFree=43925852/67111528 [pid=1913] ppid=1911 vsize=22564 CPUtime=6.3 cores=1,3,5,7 /proc/1913/stat : 1913 (bsolo) R 1911 1913 32216 0 -1 4202496 3455 0 0 0 629 1 0 0 25 0 1 0 829493642 23105536 3213 33554432000 134512640 137138936 4290679536 18446744073709551615 136501699 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1913/statm: 5641 3213 192 642 0 4997 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 22564 [startup+12.7007 s] /proc/loadavg: 2.08 2.04 2.01 3/573 1914 /proc/meminfo: memFree=31653988/32950928 swapFree=43925852/67111528 [pid=1913] ppid=1911 vsize=30616 CPUtime=12.69 cores=1,3,5,7 /proc/1913/stat : 1913 (bsolo) R 1911 1913 32216 0 -1 4202496 5448 0 0 0 1267 2 0 0 25 0 1 0 829493642 31350784 5206 33554432000 134512640 137138936 4290679536 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1913/statm: 7654 5206 192 642 0 7010 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30616 [startup+25.5004 s] /proc/loadavg: 2.22 2.07 2.02 3/573 1914 /proc/meminfo: memFree=31638856/32950928 swapFree=43925852/67111528 [pid=1913] ppid=1911 vsize=42436 CPUtime=25.5 cores=1,3,5,7 /proc/1913/stat : 1913 (bsolo) R 1911 1913 32216 0 -1 4202496 8430 0 0 0 2546 4 0 0 25 0 1 0 829493642 43454464 8188 33554432000 134512640 137138936 4290679536 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1913/statm: 10609 8188 192 642 0 9965 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 42436 [startup+51.1008 s] /proc/loadavg: 2.14 2.06 2.01 3/573 1915 /proc/meminfo: memFree=31620000/32950928 swapFree=43925852/67111528 [pid=1913] ppid=1911 vsize=59656 CPUtime=51.09 cores=1,3,5,7 /proc/1913/stat : 1913 (bsolo) R 1911 1913 32216 0 -1 4202496 12707 0 0 0 5102 7 0 0 25 0 1 0 829493642 61087744 12465 33554432000 134512640 137138936 4290679536 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1913/statm: 14914 12465 192 642 0 14270 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 59656 [startup+102.322 s] /proc/loadavg: 2.12 2.06 2.01 3/573 1916 /proc/meminfo: memFree=31592212/32950928 swapFree=43925852/67111528 [pid=1913] ppid=1911 vsize=83276 CPUtime=102.32 cores=1,3,5,7 /proc/1913/stat : 1913 (bsolo) R 1911 1913 32216 0 -1 4202496 18629 0 0 0 10219 13 0 0 25 0 1 0 829493642 85274624 18387 33554432000 134512640 137138936 4290679536 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1913/statm: 20819 18387 192 642 0 20175 0 Current children cumulated CPU time (s) 102.32 Current children cumulated vsize (KiB) 83276 [startup+162.301 s] /proc/loadavg: 2.04 2.05 2.01 3/573 1918 /proc/meminfo: memFree=31555332/32950928 swapFree=43925852/67111528 [pid=1913] ppid=1911 vsize=104616 CPUtime=162.29 cores=1,3,5,7 /proc/1913/stat : 1913 (bsolo) R 1911 1913 32216 0 -1 4202496 23973 0 0 0 16211 18 0 0 25 0 1 0 829493642 107126784 23731 33554432000 134512640 137138936 4290679536 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1913/statm: 26154 23731 192 642 0 25510 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 104616 [startup+222.3 s] /proc/loadavg: 2.01 2.04 2.00 3/573 1920 /proc/meminfo: memFree=31533328/32950928 swapFree=43925852/67111528 [pid=1913] ppid=1911 vsize=120444 CPUtime=222.3 cores=1,3,5,7 /proc/1913/stat : 1913 (bsolo) R 1911 1913 32216 0 -1 4202496 27924 0 0 0 22206 24 0 0 25 0 1 0 829493642 123334656 27682 33554432000 134512640 137138936 4290679536 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1913/statm: 30111 27682 192 642 0 29467 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 120444 [startup+282.301 s] /proc/loadavg: 2.00 2.03 2.00 3/573 1921 /proc/meminfo: memFree=31510000/32950928 swapFree=43925852/67111528 [pid=1913] ppid=1911 vsize=133660 CPUtime=282.3 cores=1,3,5,7 /proc/1913/stat : 1913 (bsolo) R 1911 1913 32216 0 -1 4202496 31420 0 0 0 28201 29 0 0 25 0 1 0 829493642 136867840 30971 33554432000 134512640 137138936 4290679536 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1913/statm: 33415 30971 192 642 0 32771 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 133660 [startup+342.301 s] /proc/loadavg: 2.00 2.02 2.00 3/573 1923 /proc/meminfo: memFree=31500400/32950928 swapFree=43925852/67111528 [pid=1913] ppid=1911 vsize=133660 CPUtime=342.3 cores=1,3,5,7 /proc/1913/stat : 1913 (bsolo) R 1911 1913 32216 0 -1 4202496 31420 0 0 0 34199 31 0 0 25 0 1 0 829493642 136867840 30971 33554432000 134512640 137138936 4290679536 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1913/statm: 33415 30971 192 642 0 32771 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 133660 [startup+402.3 s] /proc/loadavg: 2.08 2.05 2.01 3/573 1924 /proc/meminfo: memFree=31496252/32950928 swapFree=43925852/67111528 [pid=1913] ppid=1911 vsize=133660 CPUtime=402.3 cores=1,3,5,7 /proc/1913/stat : 1913 (bsolo) R 1911 1913 32216 0 -1 4202496 31420 0 0 0 40194 36 0 0 25 0 1 0 829493642 136867840 30971 33554432000 134512640 137138936 4290679536 18446744073709551615 134578636 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1913/statm: 33415 30971 192 642 0 32771 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 133660 [startup+462.3 s] /proc/loadavg: 2.07 2.05 2.01 3/573 1926 /proc/meminfo: memFree=31482568/32950928 swapFree=43925852/67111528 [pid=1913] ppid=1911 vsize=133660 CPUtime=462.3 cores=1,3,5,7 /proc/1913/stat : 1913 (bsolo) R 1911 1913 32216 0 -1 4202496 31420 0 0 0 46190 40 0 0 25 0 1 0 829493642 136867840 30971 33554432000 134512640 137138936 4290679536 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1913/statm: 33415 30971 192 642 0 32771 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 133660 [startup+522.301 s] /proc/loadavg: 2.02 2.04 2.00 3/573 1928 /proc/meminfo: memFree=31476472/32950928 swapFree=43925852/67111528 [pid=1913] ppid=1911 vsize=133660 CPUtime=522.3 cores=1,3,5,7 /proc/1913/stat : 1913 (bsolo) R 1911 1913 32216 0 -1 4202496 31420 0 0 0 52186 44 0 0 25 0 1 0 829493642 136867840 30971 33554432000 134512640 137138936 4290679536 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1913/statm: 33415 30971 192 642 0 32771 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 133660 [startup+582.301 s] /proc/loadavg: 2.01 2.03 2.00 3/573 1929 /proc/meminfo: memFree=31471480/32950928 swapFree=43925852/67111528 [pid=1913] ppid=1911 vsize=133660 CPUtime=582.3 cores=1,3,5,7 /proc/1913/stat : 1913 (bsolo) R 1911 1913 32216 0 -1 4202496 31420 0 0 0 58183 47 0 0 25 0 1 0 829493642 136867840 30971 33554432000 134512640 137138936 4290679536 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1913/statm: 33415 30971 192 642 0 32771 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 133660 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=31313428/32950928 swapFree=43925852/67111528 [pid=1913] ppid=1911 vsize=225060 CPUtime=1062.32 cores=1,3,5,7 /proc/1913/stat : 1913 (bsolo) R 1911 1913 32216 0 -1 4202496 54274 0 0 0 106148 84 0 0 25 0 1 0 829493642 230461440 53825 33554432000 134512640 137138936 4290679536 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1913/statm: 56265 53825 192 642 0 55621 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 225060 [startup+1122.3 s] /proc/loadavg: 2.01 2.03 2.00 3/573 1944 /proc/meminfo: memFree=31252104/32950928 swapFree=43925852/67111528 [pid=1913] ppid=1911 vsize=233752 CPUtime=1122.32 cores=1,3,5,7 /proc/1913/stat : 1913 (bsolo) R 1911 1913 32216 0 -1 4202496 56439 0 0 0 112145 87 0 0 25 0 1 0 829493642 239362048 55990 33554432000 134512640 137138936 4290679536 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1913/statm: 58438 55990 192 642 0 57794 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 233752 [startup+1182.3 s] /proc/loadavg: 2.09 2.05 2.01 3/573 1945 /proc/meminfo: memFree=31195016/32950928 swapFree=43925852/67111528 [pid=1913] ppid=1911 vsize=242324 CPUtime=1182.32 cores=1,3,5,7 /proc/1913/stat : 1913 (bsolo) R 1911 1913 32216 0 -1 4202496 58601 0 0 0 118143 89 0 0 25 0 1 0 829493642 248139776 58152 33554432000 134512640 137138936 4290679536 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1913/statm: 60581 58152 192 642 0 59937 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 242324 [startup+1242.3 s] /proc/loadavg: 2.07 2.05 2.01 3/573 1947 /proc/meminfo: memFree=31144264/32950928 swapFree=43925852/67111528 [pid=1913] ppid=1911 vsize=251992 CPUtime=1242.32 cores=1,3,5,7 /proc/1913/stat : 1913 (bsolo) R 1911 1913 32216 0 -1 4202496 61005 0 0 0 124139 93 0 0 25 0 1 0 829493642 258039808 60556 33554432000 134512640 137138936 4290679536 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1913/statm: 62998 60556 192 642 0 62354 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 251992 [startup+1302.3 s] /proc/loadavg: 2.02 2.04 2.00 3/573 1948 /proc/meminfo: memFree=31097348/32950928 swapFree=43925852/67111528 [pid=1913] ppid=1911 vsize=260040 CPUtime=1302.33 cores=1,3,5,7 /proc/1913/stat : 1913 (bsolo) R 1911 1913 32216 0 -1 4202496 63037 0 0 0 130137 96 0 0 25 0 1 0 829493642 266280960 62588 33554432000 134512640 137138936 4290679536 18446744073709551615 134542442 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1913/statm: 65010 62588 192 642 0 64366 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 260040 [startup+1362.3 s] /proc/loadavg: 2.01 2.03 2.00 3/573 1950 /proc/meminfo: memFree=31051536/32950928 swapFree=43925852/67111528 [pid=1913] ppid=1911 vsize=267912 CPUtime=1362.32 cores=1,3,5,7 /proc/1913/stat : 1913 (bsolo) R 1911 1913 32216 0 -1 4202496 65000 0 0 0 136134 98 0 0 25 0 1 0 829493642 274341888 64551 33554432000 134512640 137138936 4290679536 18446744073709551615 136501724 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1913/statm: 66978 64551 192 642 0 66334 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 267912 [startup+1422.32 s] /proc/loadavg: 2.00 2.02 2.00 3/573 1952 /proc/meminfo: memFree=31010072/32950928 swapFree=43925852/67111528 [pid=1913] ppid=1911 vsize=276484 CPUtime=1422.35 cores=1,3,5,7 /proc/1913/stat : 1913 (bsolo) R 1911 1913 32216 0 -1 4202496 67138 0 0 0 142133 102 0 0 25 0 1 0 829493642 283119616 66689 33554432000 134512640 137138936 4290679536 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1913/statm: 69121 66689 192 642 0 68477 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 276484 [startup+1482.3 s] /proc/loadavg: 2.16 2.05 2.01 3/573 1953 /proc/meminfo: memFree=30969968/32950928 swapFree=43925852/67111528 [pid=1913] ppid=1911 vsize=284136 CPUtime=1482.33 cores=1,3,5,7 /proc/1913/stat : 1913 (bsolo) R 1911 1913 32216 0 -1 4202496 69058 0 0 0 148129 104 0 0 25 0 1 0 829493642 290955264 68609 33554432000 134512640 137138936 4290679536 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1913/statm: 71034 68609 192 642 0 70390 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 284136 [startup+1542.3 s] /proc/loadavg: 2.14 2.06 2.01 3/573 1983 /proc/meminfo: memFree=31439360/32950928 swapFree=43925852/67111528 [pid=1913] ppid=1911 vsize=292716 CPUtime=1542.33 cores=1,3,5,7 /proc/1913/stat : 1913 (bsolo) R 1911 1913 32216 0 -1 4202496 71184 0 0 0 154125 108 0 0 25 0 1 0 829493642 299741184 70735 33554432000 134512640 137138936 4290679536 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1913/statm: 73179 70735 192 642 0 72535 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 292716 [startup+1602.3 s] /proc/loadavg: 2.05 2.04 2.00 3/573 1984 /proc/meminfo: memFree=31419552/32950928 swapFree=43925852/67111528 [pid=1913] ppid=1911 vsize=300032 CPUtime=1602.33 cores=1,3,5,7 /proc/1913/stat : 1913 (bsolo) R 1911 1913 32216 0 -1 4202496 73012 0 0 0 160123 110 0 0 25 0 1 0 829493642 307232768 72563 33554432000 134512640 137138936 4290679536 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1913/statm: 75008 72563 192 642 0 74364 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 300032 [startup+1662.3 s] /proc/loadavg: 2.02 2.03 2.00 3/573 1986 /proc/meminfo: memFree=31401644/32950928 swapFree=43925852/67111528 [pid=1913] ppid=1911 vsize=306840 CPUtime=1662.33 cores=1,3,5,7 /proc/1913/stat : 1913 (bsolo) R 1911 1913 32216 0 -1 4202496 74724 0 0 0 166119 114 0 0 25 0 1 0 829493642 314204160 74275 33554432000 134512640 137138936 4290679536 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1913/statm: 76710 74275 192 642 0 76066 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 306840 [startup+1722.3 s] /proc/loadavg: 2.00 2.02 2.00 3/573 1988 /proc/meminfo: memFree=31391532/32950928 swapFree=43925852/67111528 [pid=1913] ppid=1911 vsize=313436 CPUtime=1722.33 cores=1,3,5,7 /proc/1913/stat : 1913 (bsolo) R 1911 1913 32216 0 -1 4202496 76359 0 0 0 172117 116 0 0 25 0 1 0 829493642 320958464 75910 33554432000 134512640 137138936 4290679536 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1913/statm: 78359 75910 192 642 0 77715 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 313436 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.00 3/573 1989 /proc/meminfo: memFree=31372880/32950928 swapFree=43925852/67111528 [pid=1913] ppid=1911 vsize=320512 CPUtime=1782.34 cores=1,3,5,7 /proc/1913/stat : 1913 (bsolo) R 1911 1913 32216 0 -1 4202496 78147 0 0 0 178115 119 0 0 25 0 1 0 829493642 328204288 77698 33554432000 134512640 137138936 4290679536 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1913/statm: 80128 77698 192 642 0 79484 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 320512 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.02 2.00 3/573 1989 /proc/meminfo: memFree=31372260/32950928 swapFree=43925852/67111528 [pid=1913] ppid=1911 vsize=320888 CPUtime=1785.54 cores=1,3,5,7 /proc/1913/stat : 1913 (bsolo) R 1911 1913 32216 0 -1 4202496 78240 0 0 0 178435 119 0 0 25 0 1 0 829493642 328589312 77791 33554432000 134512640 137138936 4290679536 18446744073709551615 134542448 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1913/statm: 80222 77791 192 642 0 79578 0 Current children cumulated CPU time (s) 1785.54 Current children cumulated vsize (KiB) 320888 [startup+1791.92 s] /proc/loadavg: 2.00 2.02 2.00 3/573 1989 /proc/meminfo: memFree=31372740/32950928 swapFree=43925852/67111528 [pid=1913] ppid=1911 vsize=321488 CPUtime=1791.96 cores=1,3,5,7 /proc/1913/stat : 1913 (bsolo) R 1911 1913 32216 0 -1 4202496 78396 0 0 0 179077 119 0 0 25 0 1 0 829493642 329203712 77947 33554432000 134512640 137138936 4290679536 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1913/statm: 80372 77947 192 642 0 79728 0 Current children cumulated CPU time (s) 1791.96 Current children cumulated vsize (KiB) 321488 [startup+1795.1 s] /proc/loadavg: 2.00 2.02 2.00 3/573 1990 /proc/meminfo: memFree=31373476/32950928 swapFree=43925852/67111528 [pid=1913] ppid=1911 vsize=321856 CPUtime=1795.14 cores=1,3,5,7 /proc/1913/stat : 1913 (bsolo) R 1911 1913 32216 0 -1 4202496 78483 0 0 0 179395 119 0 0 25 0 1 0 829493642 329580544 78034 33554432000 134512640 137138936 4290679536 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1913/statm: 80464 78034 192 642 0 79820 0 Current children cumulated CPU time (s) 1795.14 Current children cumulated vsize (KiB) 321856 [startup+1796.7 s] /proc/loadavg: 2.00 2.02 2.00 3/573 1990 /proc/meminfo: memFree=31373228/32950928 swapFree=43925852/67111528 [pid=1913] ppid=1911 vsize=322112 CPUtime=1796.73 cores=1,3,5,7 /proc/1913/stat : 1913 (bsolo) R 1911 1913 32216 0 -1 4202496 78545 0 0 0 179554 119 0 0 25 0 1 0 829493642 329842688 78096 33554432000 134512640 137138936 4290679536 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1913/statm: 80528 78096 192 642 0 79884 0 Current children cumulated CPU time (s) 1796.73 Current children cumulated vsize (KiB) 322112 [startup+1797.5 s] /proc/loadavg: 2.00 2.02 2.00 3/573 1990 /proc/meminfo: memFree=31372484/32950928 swapFree=43925852/67111528 [pid=1913] ppid=1911 vsize=322240 CPUtime=1797.53 cores=1,3,5,7 /proc/1913/stat : 1913 (bsolo) R 1911 1913 32216 0 -1 4202496 78577 0 0 0 179634 119 0 0 25 0 1 0 829493642 329973760 78128 33554432000 134512640 137138936 4290679536 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1913/statm: 80560 78128 192 642 0 79916 0 Current children cumulated CPU time (s) 1797.53 Current children cumulated vsize (KiB) 322240 [startup+1797.9 s] /proc/loadavg: 2.00 2.02 2.00 3/573 1990 /proc/meminfo: memFree=31372484/32950928 swapFree=43925852/67111528 [pid=1913] ppid=1911 vsize=322356 CPUtime=1797.93 cores=1,3,5,7 /proc/1913/stat : 1913 (bsolo) R 1911 1913 32216 0 -1 4202496 78590 0 0 0 179674 119 0 0 25 0 1 0 829493642 330092544 78141 33554432000 134512640 137138936 4290679536 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1913/statm: 80589 78141 192 642 0 79945 0 Current children cumulated CPU time (s) 1797.93 Current children cumulated vsize (KiB) 322356 Child status: 0 Real time (s): 1797.98 CPU time (s): 1798.02 CPU user time (s): 1796.81 CPU system time (s): 1.21181 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 322356 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.81 system time used= 1.21182 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 78595 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= 4 involuntary context switches= 1936 runsolver used 10.4804 second user time and 23.9734 second system time The end
Begin job on node122 at 2011-06-04 11:15:48 IDJOB=3463210 IDBENCH=2636 IDSOLVER=1955 FILE ID=node122/3463210-1307178948 RUNJOBID= node122-1307175118-1320 PBS_JOBID= 13508834 Free space on /tmp= 73808 MiB SOLVER NAME= bsolo 3.2 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_12.opb COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3463210-1307178948/watcher-3463210-1307178948 -o /tmp/evaluation-result-3463210-1307178948/solver-3463210-1307178948 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463210-1307178948.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fe9b3ae0ed0deb400897e8cf071ce6eb RANDOM SEED=3364710 node122.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.64 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.97 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31677940 kB Buffers: 323148 kB Cached: 554368 kB SwapCached: 16832 kB Active: 430160 kB Inactive: 529140 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31677940 kB SwapTotal: 67111528 kB SwapFree: 43925852 kB Dirty: 4668 kB Writeback: 0 kB AnonPages: 79456 kB Mapped: 10012 kB Slab: 150072 kB PageTables: 92760 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 180802844 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73804 MiB End job on node122 at 2011-06-04 11:45:47