0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3451013-1307076046.opb>
0.00/0.01 c original problem has 1800 variables (1800 bin, 0 int, 0 impl, 0 cont) and 215 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 c presolving:
0.00/0.02 c (round 1) 200 del vars, 5 del conss, 0 add conss, 200 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 170 clqs
0.00/0.03 c (round 2) 200 del vars, 5 del conss, 0 add conss, 200 chg bounds, 0 chg sides, 0 chg coeffs, 210 upgd conss, 0 impls, 170 clqs
0.00/0.07 c (0.1s) probing: 101/1600 (6.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.07 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.00/0.07 c presolving (3 rounds):
0.00/0.07 c 200 deleted vars, 5 deleted constraints, 0 added constraints, 200 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.07 c 0 implications, 170 cliques
0.00/0.07 c presolved problem has 1600 variables (1600 bin, 0 int, 0 impl, 0 cont) and 210 constraints
0.00/0.07 c 40 constraints of type <knapsack>
0.00/0.07 c 170 constraints of type <setppc>
0.00/0.07 c transformed objective value is always integral (scale: 1)
0.00/0.07 c Presolving Time: 0.05
0.00/0.07 c - non default parameters ----------------------------------------------------------------------
0.00/0.07 c # SCIP version 2.0.1.5
0.00/0.07 c
0.00/0.07 c # frequency for displaying node information lines
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.07 c display/freq = 10000
0.00/0.07 c
0.00/0.07 c # maximal time in seconds to run
0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.07 c limits/time = 1800
0.00/0.07 c
0.00/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.07 c limits/memory = 13950
0.00/0.07 c
0.00/0.07 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.07 c # [type: int, range: [1,2], default: 1]
0.00/0.07 c timing/clocktype = 2
0.00/0.07 c
0.00/0.07 c # belongs reading time to solving time?
0.00/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.07 c timing/reading = TRUE
0.00/0.07 c
0.00/0.07 c # should presolving try to simplify inequalities
0.00/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.07 c constraints/linear/simplifyinequalities = TRUE
0.00/0.07 c
0.00/0.07 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.07 c constraints/indicator/addCouplingCons = TRUE
0.00/0.07 c
0.00/0.07 c # should presolving try to simplify knapsacks
0.00/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.07 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.07 c
0.00/0.07 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.07 c separating/rapidlearning/freq = 0
0.00/0.07 c
0.00/0.07 c -----------------------------------------------------------------------------------------------
0.00/0.07 c start solving
0.00/0.07 c
0.69/0.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.69/0.76 c 0.8s| 1 | 0 | 10355 | - |6821k| 0 | 141 |1600 | 329 |1600 | 210 | 0 | 119 | 0 | 8.970000e+02 | -- | Inf
1.49/1.53 c 1.5s| 1 | 0 | 16669 | - |8223k| 0 | 168 |1600 | 711 |1600 | 223 | 13 | 119 | 0 | 9.040000e+02 | -- | Inf
1.49/1.56 c 1.6s| 1 | 0 | 16696 | - |8229k| 0 | 174 |1600 | 711 |1600 | 230 | 20 | 119 | 0 | 9.040000e+02 | -- | Inf
1.49/1.59 c 1.6s| 1 | 0 | 16722 | - |8239k| 0 | 188 |1600 | 711 |1600 | 240 | 30 | 119 | 0 | 9.040000e+02 | -- | Inf
1.59/1.62 c 1.6s| 1 | 0 | 16749 | - |8249k| 0 | 189 |1600 | 711 |1600 | 249 | 39 | 119 | 0 | 9.040000e+02 | -- | Inf
1.59/1.65 c 1.6s| 1 | 0 | 16777 | - |8255k| 0 | 194 |1600 | 711 |1600 | 255 | 45 | 119 | 0 | 9.040000e+02 | -- | Inf
1.59/1.68 c 1.7s| 1 | 0 | 16798 | - |8262k| 0 | 196 |1600 | 711 |1600 | 263 | 53 | 119 | 0 | 9.040000e+02 | -- | Inf
2.10/2.14 c 2.1s| 1 | 2 | 16798 | - |8263k| 0 | 196 |1600 | 711 |1600 | 263 | 53 | 119 | 10 | 9.040000e+02 | -- | Inf
8.09/8.11 o 908
8.09/8.11 c * 8.1s| 19 | 11 | 20055 | 180.9 |8383k| 16 | - |1600 | 711 |1600 | 248 | 53 | 119 | 338 | 9.040000e+02 | 9.080000e+02 | 0.44%
8.81/8.82 o 904
8.81/8.82 c * 8.8s| 22 | 0 | 20397 | 171.4 |8211k| 16 | - |1600 | 631 |1600 | 248 | 53 | 119 | 376 | 9.040000e+02 | 9.040000e+02 | 0.00%
8.81/8.83 c
8.81/8.83 c SCIP Status : problem is solved [optimal solution found]
8.81/8.83 c Solving Time (sec) : 8.83
8.81/8.83 c Solving Nodes : 22
8.81/8.83 c Primal Bound : +9.04000000000000e+02 (2 solutions)
8.81/8.83 c Dual Bound : +9.04000000000000e+02
8.81/8.83 c Gap : 0.00 %
8.81/8.83 s OPTIMUM FOUND
8.81/8.83 v -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008
8.81/8.83 v -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989
8.81/8.83 v -x988 -x987 x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 x972 -x971 -x970 -x969 -x968
8.81/8.83 v -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947
8.81/8.83 v -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926
8.81/8.83 v -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905
8.81/8.83 v -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 x893 -x892 -x891 -x890 -x889 x888 -x887 -x886 -x885 -x884
8.81/8.83 v -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863
8.81/8.83 v -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843
8.81/8.83 v -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822
8.81/8.83 v x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801
8.81/8.83 v -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780
8.81/8.83 v -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759
8.81/8.83 v -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738
8.81/8.83 v -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717
8.81/8.83 v -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696
8.81/8.83 v -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675
8.81/8.83 v -x674 x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654
8.81/8.83 v -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633
8.81/8.83 v -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613
8.81/8.83 v -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592
8.81/8.83 v -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571
8.81/8.83 v -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 x555 -x554 -x553 -x552 -x551 -x550
8.81/8.83 v -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529
8.81/8.83 v -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508
8.81/8.83 v -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 x490 -x489 -x488 -x487
8.81/8.83 v -x486 -x485 x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466
8.81/8.83 v -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445
8.81/8.83 v -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424
8.81/8.83 v -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 x404 -x403
8.81/8.83 v -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 x385 -x384 -x383 -x382
8.81/8.83 v -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362
8.81/8.83 v -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341
8.81/8.83 v -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320
8.81/8.83 v -x319 -x318 -x317 x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299
8.81/8.83 v -x298 -x297 -x296 -x295 -x294 -x293 -x292 x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278
8.81/8.83 v -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257
8.81/8.83 v -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 x237 -x236
8.81/8.83 v -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215
8.81/8.83 v -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194
8.81/8.83 v x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173
8.81/8.83 v -x172 -x171 -x170 -x169 -x168 -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152
8.81/8.83 v -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132
8.81/8.83 v -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111
8.81/8.83 v -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88
8.81/8.83 v -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63
8.81/8.83 v -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38
8.81/8.83 v -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12
8.81/8.83 v -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790
8.81/8.83 v -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772
8.81/8.83 v -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754
8.81/8.83 v -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736
8.81/8.83 v -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718
8.81/8.83 v -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700
8.81/8.83 v -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 x1682
8.81/8.83 v -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664
8.81/8.83 v -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 x1649 -x1648 -x1647 -x1646
8.81/8.83 v -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629
8.81/8.83 v -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611
8.81/8.83 v -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 x1597 -x1596 -x1595 -x1594 -x1593
8.81/8.83 v -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575
8.81/8.83 v -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557
8.81/8.83 v -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539
8.81/8.83 v -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521
8.81/8.83 v -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503
8.81/8.83 v -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485
8.81/8.83 v -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467
8.81/8.83 v -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450
8.81/8.83 v -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432
8.81/8.83 v -x1431 -x1430 -x1429 -x1428 x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414
8.81/8.83 v -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396
8.81/8.83 v -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378
8.81/8.83 v -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360
8.81/8.83 v -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342
8.81/8.83 v -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324
8.81/8.83 v -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306
8.81/8.83 v -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288
8.81/8.83 v -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270
8.81/8.83 v -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252
8.81/8.83 v -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235
8.81/8.83 v -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 x1222 -x1221 -x1220 -x1219 -x1218 -x1217
8.81/8.83 v -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199
8.81/8.83 v -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181
8.81/8.83 v -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163
8.81/8.83 v -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145
8.81/8.83 v -x1144 -x1143 -x1142 -x1141 -x1140 x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127
8.81/8.83 v -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109
8.81/8.83 v -x1108 -x1107 -x1106 -x1105 x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091
8.81/8.83 v -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073
8.81/8.83 v -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055
8.81/8.83 v -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037
8.81/8.83 v -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027
8.81/8.83 c SCIP Status : problem is solved [optimal solution found]
8.81/8.83 c Total Time : 8.83
8.81/8.83 c solving : 8.83
8.81/8.83 c presolving : 0.05 (included in solving)
8.81/8.83 c reading : 0.01 (included in solving)
8.81/8.83 c Original Problem :
8.81/8.83 c Problem name : HOME/instance-3451013-1307076046.opb
8.81/8.83 c Variables : 1800 (1800 binary, 0 integer, 0 implicit integer, 0 continuous)
8.81/8.83 c Constraints : 215 initial, 215 maximal
8.81/8.83 c Presolved Problem :
8.81/8.83 c Problem name : t_HOME/instance-3451013-1307076046.opb
8.81/8.83 c Variables : 1600 (1600 binary, 0 integer, 0 implicit integer, 0 continuous)
8.81/8.83 c Constraints : 210 initial, 711 maximal
8.81/8.83 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
8.81/8.83 c trivial : 0.00 0 0 0 0 0 0 0 0 0
8.81/8.83 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
8.81/8.83 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
8.81/8.83 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
8.81/8.83 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
8.81/8.83 c implics : 0.00 0 0 0 0 0 0 0 0 0
8.81/8.83 c probing : 0.02 0 0 0 0 0 0 0 0 0
8.81/8.83 c knapsack : 0.02 0 0 0 0 0 0 0 0 0
8.81/8.83 c setppc : 0.00 0 0 0 0 0 0 0 0 0
8.81/8.83 c linear : 0.01 200 0 0 200 0 5 0 0 0
8.81/8.83 c logicor : 0.00 0 0 0 0 0 0 0 0 0
8.81/8.83 c root node : - 255 - - 255 - - - - -
8.81/8.83 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
8.81/8.83 c integral : 0 0 0 44 0 6 0 2 75 0 0 36
8.81/8.83 c knapsack : 40 6 320 2 0 3 124 1 187 0 0 0
8.81/8.83 c setppc : 170 6 319 2 0 2 2340 13 1317 0 0 0
8.81/8.83 c linear : 0+ 6 64 0 0 0 0 0 0 0 0 0
8.81/8.83 c logicor : 0+ 6 24 0 0 0 3 1 0 0 0 0
8.81/8.83 c countsols : 0 0 0 2 0 2 0 0 0 0 0 0
8.81/8.83 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
8.81/8.83 c integral : 6.64 0.00 0.00 6.64 0.00 0.00 0.00
8.81/8.83 c knapsack : 0.01 0.00 0.00 0.00 0.00 0.00 0.00
8.81/8.83 c setppc : 0.01 0.00 0.01 0.00 0.00 0.00 0.00
8.81/8.83 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
8.81/8.83 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
8.81/8.83 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
8.81/8.83 c Propagators : #Propagate #Resprop Cutoffs DomReds
8.81/8.83 c vbounds : 0 0 0 0
8.81/8.83 c rootredcost : 1 0 0 255
8.81/8.83 c pseudoobj : 122 0 0 0
8.81/8.83 c Propagator Timings : TotalTime Propagate Resprop
8.81/8.83 c vbounds : 0.00 0.00 0.00
8.81/8.83 c rootredcost : 0.00 0.00 0.00
8.81/8.83 c pseudoobj : 0.00 0.00 0.00
8.81/8.83 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
8.81/8.83 c propagation : 0.00 15 15 188 58.8 3 38.0 -
8.81/8.83 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
8.81/8.83 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
8.81/8.83 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
8.81/8.83 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
8.81/8.83 c applied globally : - - - 119 57.0 - - -
8.81/8.83 c applied locally : - - - 0 0.0 - - -
8.81/8.83 c Separators : Time Calls Cutoffs DomReds Cuts Conss
8.81/8.83 c cut pool : 0.00 5 - - 0 - (maximal pool size: 56)
8.81/8.83 c redcost : 0.00 42 0 0 0 0
8.81/8.83 c impliedbounds : 0.00 6 0 0 0 0
8.81/8.83 c intobj : 0.00 0 0 0 0 0
8.81/8.83 c gomory : 0.01 6 0 0 12 0
8.81/8.83 c cgmip : 0.00 0 0 0 0 0
8.81/8.83 c closecuts : 0.00 0 0 0 0 0
8.81/8.83 c strongcg : 0.01 6 0 0 12 0
8.81/8.83 c cmir : 0.05 6 0 0 0 0
8.81/8.83 c flowcover : 0.04 6 0 0 0 0
8.81/8.83 c clique : 0.02 6 0 0 48 0
8.81/8.83 c zerohalf : 0.00 0 0 0 0 0
8.81/8.83 c mcf : 0.00 1 0 0 0 0
8.81/8.83 c oddcycle : 0.00 0 0 0 0 0
8.81/8.83 c rapidlearning : 0.24 1 0 0 0 382
8.81/8.83 c Pricers : Time Calls Vars
8.81/8.83 c problem variables: 0.00 0 0
8.81/8.83 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
8.81/8.83 c relpscost : 6.64 42 2 75 0 0 36
8.81/8.83 c pscost : 0.00 0 0 0 0 0 0
8.81/8.83 c inference : 0.00 0 0 0 0 0 0
8.81/8.83 c mostinf : 0.00 0 0 0 0 0 0
8.81/8.83 c leastinf : 0.00 0 0 0 0 0 0
8.81/8.83 c fullstrong : 0.00 0 0 0 0 0 0
8.81/8.83 c allfullstrong : 0.00 0 0 0 0 0 0
8.81/8.83 c random : 0.00 0 0 0 0 0 0
8.81/8.83 c Primal Heuristics : Time Calls Found
8.81/8.83 c LP solutions : 0.00 - 2
8.81/8.83 c pseudo solutions : 0.00 - 0
8.81/8.83 c crossover : 0.00 0 0
8.81/8.83 c coefdiving : 0.00 0 0
8.81/8.83 c pscostdiving : 0.00 0 0
8.81/8.83 c fracdiving : 0.00 0 0
8.81/8.83 c veclendiving : 0.00 0 0
8.81/8.83 c objpscostdiving : 0.00 0 0
8.81/8.83 c rootsoldiving : 0.00 0 0
8.81/8.83 c linesearchdiving : 0.00 0 0
8.81/8.83 c guideddiving : 0.00 0 0
8.81/8.83 c oneopt : 0.00 1 0
8.81/8.83 c trivial : 0.00 2 0
8.81/8.83 c shiftandpropagate: 0.01 1 0
8.81/8.83 c simplerounding : 0.00 0 0
8.81/8.83 c zirounding : 0.00 0 0
8.81/8.83 c rounding : 0.01 48 0
8.81/8.83 c shifting : 0.01 8 0
8.81/8.83 c intshifting : 0.00 0 0
8.81/8.83 c twoopt : 0.00 0 0
8.81/8.83 c fixandinfer : 0.00 0 0
8.81/8.83 c feaspump : 0.49 1 0
8.81/8.83 c clique : 0.00 0 0
8.81/8.83 c intdiving : 0.00 0 0
8.81/8.83 c actconsdiving : 0.00 0 0
8.81/8.83 c octane : 0.00 0 0
8.81/8.83 c rens : 0.11 1 0
8.81/8.83 c rins : 0.00 0 0
8.81/8.83 c localbranching : 0.00 0 0
8.81/8.83 c mutation : 0.00 0 0
8.81/8.83 c dins : 0.00 0 0
8.81/8.83 c vbounds : 0.00 0 0
8.81/8.83 c undercover : 0.00 0 0
8.81/8.83 c subnlp : 0.00 0 0
8.81/8.83 c trysol : 0.00 0 0
8.81/8.83 c LP : Time Calls Iterations Iter/call Iter/sec
8.81/8.83 c primal LP : 0.00 0 0 0.00 -
8.81/8.83 c dual LP : 1.09 50 14343 286.86 13147.44
8.81/8.83 c lex dual LP : 0.00 0 0 0.00 -
8.81/8.83 c barrier LP : 0.00 0 0 0.00 -
8.81/8.83 c diving/probing LP: 0.48 11 6054 550.36 12528.56
8.81/8.83 c strong branching : 6.64 376 69015 183.55 10394.51
8.81/8.83 c (at root node) : - 10 2644 264.40 -
8.81/8.83 c conflict analysis: 0.00 0 0 0.00 -
8.81/8.83 c B&B Tree :
8.81/8.83 c number of runs : 1
8.81/8.83 c nodes : 22
8.81/8.83 c nodes (total) : 22
8.81/8.83 c nodes left : 0
8.81/8.83 c max depth : 16
8.81/8.83 c max depth (total): 16
8.81/8.83 c backtracks : 1 (4.5%)
8.81/8.83 c delayed cutoffs : 0
8.81/8.83 c repropagations : 1 (0 domain reductions, 0 cutoffs)
8.81/8.83 c avg switch length: 3.00
8.81/8.83 c switching time : 0.01
8.81/8.83 c Solution :
8.81/8.83 c Solutions found : 2 (2 improvements)
8.81/8.83 c First Solution : +9.08000000000000e+02 (in run 1, after 19 nodes, 8.11 seconds, depth 16, found by <relaxation>)
8.81/8.83 c Primal Bound : +9.04000000000000e+02 (in run 1, after 22 nodes, 8.82 seconds, depth 13, found by <relaxation>)
8.81/8.83 c Dual Bound : +9.04000000000000e+02
8.81/8.83 c Gap : 0.00 %
8.81/8.83 c Root Dual Bound : +9.04000000000000e+02
8.81/8.83 c Root Iterations : 16798
8.81/8.84 c Time complete: 8.83.
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-3451013-1307076046/watcher-3451013-1307076046 -o /tmp/evaluation-result-3451013-1307076046/solver-3451013-1307076046 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451013-1307076046.opb -t 1800 -m 15500
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.06 2.08 2.20 2/575 21249
/proc/meminfo: memFree=22653972/32951124 swapFree=58940260/67111528
[pid=21249] ppid=21247 vsize=14868 CPUtime=0.01 cores=1,3,5,7
/proc/21249/stat : 21249 (scip-2.0.1.4b.l) R 21247 21249 14548 0 -1 4202496 2707 0 0 0 1 0 0 0 23 0 1 0 819202317 15224832 2659 33554432000 4194304 9163163 140734400225952 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21249/statm: 3717 2665 395 1214 0 2499 0
[startup+0.0788071 s]
/proc/loadavg: 2.06 2.08 2.20 2/575 21249
/proc/meminfo: memFree=22653972/32951124 swapFree=58940260/67111528
[pid=21249] ppid=21247 vsize=27592 CPUtime=0.07 cores=1,3,5,7
/proc/21249/stat : 21249 (scip-2.0.1.4b.l) R 21247 21249 14548 0 -1 4202496 6028 0 0 0 7 0 0 0 23 0 1 0 819202317 28254208 5722 33554432000 4194304 9163163 140734400225952 18446744073709551615 6659705 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21249/statm: 6898 5722 596 1214 0 5680 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 27592
[startup+0.100804 s]
/proc/loadavg: 2.06 2.08 2.20 2/575 21249
/proc/meminfo: memFree=22653972/32951124 swapFree=58940260/67111528
[pid=21249] ppid=21247 vsize=29396 CPUtime=0.09 cores=1,3,5,7
/proc/21249/stat : 21249 (scip-2.0.1.4b.l) R 21247 21249 14548 0 -1 4202496 6636 0 0 0 9 0 0 0 23 0 1 0 819202317 30101504 6286 33554432000 4194304 9163163 140734400225952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21249/statm: 7349 6286 659 1214 0 6131 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29396
[startup+0.300766 s]
/proc/loadavg: 2.06 2.08 2.20 2/575 21249
/proc/meminfo: memFree=22653972/32951124 swapFree=58940260/67111528
[pid=21249] ppid=21247 vsize=29396 CPUtime=0.29 cores=1,3,5,7
/proc/21249/stat : 21249 (scip-2.0.1.4b.l) R 21247 21249 14548 0 -1 4202496 6644 0 0 0 28 1 0 0 25 0 1 0 819202317 30101504 6294 33554432000 4194304 9163163 140734400225952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21249/statm: 7349 6294 659 1214 0 6131 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29396
[startup+0.700691 s]
/proc/loadavg: 2.06 2.08 2.20 2/575 21249
/proc/meminfo: memFree=22653972/32951124 swapFree=58940260/67111528
[pid=21249] ppid=21247 vsize=29396 CPUtime=0.69 cores=1,3,5,7
/proc/21249/stat : 21249 (scip-2.0.1.4b.l) R 21247 21249 14548 0 -1 4202496 6644 0 0 0 67 2 0 0 25 0 1 0 819202317 30101504 6294 33554432000 4194304 9163163 140734400225952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21249/statm: 7349 6294 659 1214 0 6131 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29396
[startup+1.50055 s]
/proc/loadavg: 2.06 2.08 2.20 3/576 21250
/proc/meminfo: memFree=22629412/32951124 swapFree=58940260/67111528
[pid=21249] ppid=21247 vsize=53448 CPUtime=1.49 cores=1,3,5,7
/proc/21249/stat : 21249 (scip-2.0.1.4b.l) R 21247 21249 14548 0 -1 4202496 12511 0 0 0 145 4 0 0 25 0 1 0 819202317 54730752 12077 33554432000 4194304 9163163 140734400225952 18446744073709551615 6919008 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21249/statm: 13362 12084 718 1214 0 12144 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53448
[startup+3.10026 s]
/proc/loadavg: 2.05 2.08 2.20 3/576 21250
/proc/meminfo: memFree=22603916/32951124 swapFree=58940260/67111528
[pid=21249] ppid=21247 vsize=53696 CPUtime=3.09 cores=1,3,5,7
/proc/21249/stat : 21249 (scip-2.0.1.4b.l) R 21247 21249 14548 0 -1 4202496 13622 0 0 0 300 9 0 0 25 0 1 0 819202317 54984704 12482 33554432000 4194304 9163163 140734400225952 18446744073709551615 7390300 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21249/statm: 13424 12482 734 1214 0 12206 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 53696
[startup+6.30067 s]
/proc/loadavg: 2.05 2.08 2.20 3/576 21250
/proc/meminfo: memFree=22603492/32951124 swapFree=58940260/67111528
[pid=21249] ppid=21247 vsize=53696 CPUtime=6.29 cores=1,3,5,7
/proc/21249/stat : 21249 (scip-2.0.1.4b.l) R 21247 21249 14548 0 -1 4202496 13622 0 0 0 610 19 0 0 25 0 1 0 819202317 54984704 12482 33554432000 4194304 9163163 140734400225952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21249/statm: 13424 12482 734 1214 0 12206 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 53696
Solver just ended. Dumping a history of the last processes samples
[startup+7.90038 s]
/proc/loadavg: 2.05 2.08 2.20 3/576 21250
/proc/meminfo: memFree=22604136/32951124 swapFree=58940260/67111528
[pid=21249] ppid=21247 vsize=53696 CPUtime=7.89 cores=1,3,5,7
/proc/21249/stat : 21249 (scip-2.0.1.4b.l) R 21247 21249 14548 0 -1 4202496 13622 0 0 0 763 26 0 0 25 0 1 0 819202317 54984704 12482 33554432000 4194304 9163163 140734400225952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21249/statm: 13424 12482 734 1214 0 12206 0
Current children cumulated CPU time (s) 7.89
Current children cumulated vsize (KiB) 53696
[startup+8.30032 s]
/proc/loadavg: 2.05 2.08 2.20 3/576 21250
/proc/meminfo: memFree=22604136/32951124 swapFree=58940260/67111528
[pid=21249] ppid=21247 vsize=53696 CPUtime=8.29 cores=1,3,5,7
/proc/21249/stat : 21249 (scip-2.0.1.4b.l) R 21247 21249 14548 0 -1 4202496 13623 0 0 0 801 28 0 0 25 0 1 0 819202317 54984704 12483 33554432000 4194304 9163163 140734400225952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21249/statm: 13424 12483 735 1214 0 12206 0
Current children cumulated CPU time (s) 8.29
Current children cumulated vsize (KiB) 53696
[startup+8.70023 s]
/proc/loadavg: 2.05 2.08 2.20 3/576 21250
/proc/meminfo: memFree=22604160/32951124 swapFree=58940260/67111528
[pid=21249] ppid=21247 vsize=53696 CPUtime=8.7 cores=1,3,5,7
/proc/21249/stat : 21249 (scip-2.0.1.4b.l) R 21247 21249 14548 0 -1 4202496 13623 0 0 0 840 30 0 0 25 0 1 0 819202317 54984704 12483 33554432000 4194304 9163163 140734400225952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21249/statm: 13424 12483 735 1214 0 12206 0
Current children cumulated CPU time (s) 8.7
Current children cumulated vsize (KiB) 53696
[startup+8.82121 s]
/proc/loadavg: 2.05 2.08 2.20 3/576 21250
/proc/meminfo: memFree=22604160/32951124 swapFree=58940260/67111528
[pid=21249] ppid=21247 vsize=53696 CPUtime=8.81 cores=1,3,5,7
/proc/21249/stat : 21249 (scip-2.0.1.4b.l) R 21247 21249 14548 0 -1 4202496 13623 0 0 0 850 31 0 0 25 0 1 0 819202317 54984704 12483 33554432000 4194304 9163163 140734400225952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21249/statm: 13424 12483 735 1214 0 12206 0
Current children cumulated CPU time (s) 8.81
Current children cumulated vsize (KiB) 53696
Child status: 0
Real time (s): 8.84381
CPU time (s): 8.84365
CPU user time (s): 8.5257
CPU system time (s): 0.317951
CPU usage (%): 99.9982
Max. virtual memory (cumulated for all children) (KiB): 53696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.5257
system time used= 0.317951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13628
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= 3
involuntary context switches= 109
runsolver used 0.048992 second user time and 0.138978 second system time
The end
Begin job on node139 at 2011-06-03 06:40:46
IDJOB=3451013
IDBENCH=1872
IDSOLVER=1948
FILE ID=node139/3451013-1307076046
RUNJOBID= node139-1307074241-21095
PBS_JOBID= 13497847
Free space on /tmp= 73444 MiB
SOLVER NAME= SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-10teams.opb
COMMAND LINE= HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3451013-1307076046/watcher-3451013-1307076046 -o /tmp/evaluation-result-3451013-1307076046/solver-3451013-1307076046 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451013-1307076046.opb -t 1800 -m 15500
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 6db31fd4066996ff4f309d723fc2c237
RANDOM SEED=747394914
node139.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.852
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.70
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.852
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.852
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.74
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.852
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.75
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.852
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 : 5321.49
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.852
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.852
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.82
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.852
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.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 22654252 kB
Buffers: 224780 kB
Cached: 579444 kB
SwapCached: 3628 kB
Active: 9516612 kB
Inactive: 476640 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 22654252 kB
SwapTotal: 67111528 kB
SwapFree: 58940260 kB
Dirty: 12308 kB
Writeback: 32 kB
AnonPages: 9187512 kB
Mapped: 35836 kB
Slab: 152132 kB
PageTables: 80800 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 171896656 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= 73432 MiB
End job on node139 at 2011-06-03 06:40:55