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