0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
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-3743042-1338793693.opb>
0.29/0.34 c original problem has 40451 variables (40451 bin, 0 int, 0 impl, 0 cont) and 40950 constraints
0.29/0.34 c problem read
0.29/0.34 c presolving settings loaded
0.49/0.54 c presolving:
0.59/0.65 c (round 1) 126 del vars, 3 del conss, 0 add conss, 125 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13572 impls, 552 clqs
0.59/0.67 c (round 2) 1372 del vars, 1254 del conss, 0 add conss, 1248 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14312 impls, 551 clqs
0.69/0.71 c (round 3) 1890 del vars, 1772 del conss, 0 add conss, 1766 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15344 impls, 551 clqs
0.69/0.74 c (round 4) 2450 del vars, 2332 del conss, 0 add conss, 2326 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17208 impls, 551 clqs
0.69/0.78 c (round 5) 2788 del vars, 2670 del conss, 0 add conss, 2664 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19234 impls, 551 clqs
0.79/0.81 c (round 6) 3150 del vars, 3032 del conss, 0 add conss, 3026 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20550 impls, 551 clqs
0.79/0.84 c (round 7) 3418 del vars, 3300 del conss, 0 add conss, 3294 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21548 impls, 551 clqs
0.79/0.86 c (round 8) 3571 del vars, 3453 del conss, 0 add conss, 3447 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22728 impls, 551 clqs
0.99/1.07 c (round 9) 3629 del vars, 3511 del conss, 0 add conss, 3505 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 23538 impls, 551 clqs
0.99/1.07 c (round 10) 3654 del vars, 3536 del conss, 0 add conss, 3530 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 23938 impls, 551 clqs
126.48/126.54 c (round 11) 3720 del vars, 3602 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37283 upgd conss, 9078930 impls, 551 clqs
126.57/126.66 c (round 12) 3720 del vars, 3667 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 9078960 impls, 551 clqs
154.36/154.48 c (154.5s) probing: 1000/36796 (2.7%) - 63 fixings, 9 aggregations, 584283 implications, 0 bound changes
173.77/173.82 c (173.8s) probing: 1663/36796 (4.5%) - 64 fixings, 18 aggregations, 1183419 implications, 0 bound changes
173.77/173.82 c (173.8s) probing aborted: 100/100 successive totally useless probings
173.77/173.82 c (round 13) 3737 del vars, 3667 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 13736140 impls, 551 clqs
173.86/173.93 c (round 14) 3737 del vars, 3684 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 13736140 impls, 551 clqs
185.77/185.85 c (185.8s) probing: 2000/36796 (5.4%) - 64 fixings, 22 aggregations, 1415497 implications, 0 bound changes
223.85/223.92 c (223.9s) probing: 3000/36796 (8.2%) - 64 fixings, 33 aggregations, 2540578 implications, 0 bound changes
266.65/266.79 c (266.8s) probing: 4000/36796 (10.9%) - 69 fixings, 45 aggregations, 3618261 implications, 0 bound changes
281.85/281.97 c (282.0s) probing: 4289/36796 (11.7%) - 71 fixings, 47 aggregations, 3894675 implications, 0 bound changes
281.85/281.97 c (282.0s) probing aborted: 100/100 successive totally useless probings
281.85/281.98 c (round 15) 3773 del vars, 3684 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 22981324 impls, 551 clqs
281.95/282.09 c (round 16) 3773 del vars, 3720 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 22981324 impls, 551 clqs
301.35/301.48 c (301.5s) probing: 5000/36796 (13.6%) - 71 fixings, 48 aggregations, 4139867 implications, 0 bound changes
355.83/355.96 c (356.0s) probing: 6000/36796 (16.3%) - 72 fixings, 54 aggregations, 5589058 implications, 0 bound changes
417.72/417.84 c (417.8s) probing: 7000/36796 (19.0%) - 75 fixings, 66 aggregations, 7031542 implications, 0 bound changes
480.21/480.32 c (480.3s) probing: 8000/36796 (21.7%) - 76 fixings, 73 aggregations, 8366182 implications, 0 bound changes
496.11/496.20 c (496.2s) probing: 8301/36796 (22.6%) - 76 fixings, 73 aggregations, 8779108 implications, 0 bound changes
496.11/496.20 c (496.2s) probing aborted: 100/100 successive totally useless probings
496.11/496.20 c (round 17) 3804 del vars, 3720 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 36974972 impls, 551 clqs
496.21/496.31 c (round 18) 3804 del vars, 3751 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 36974972 impls, 551 clqs
496.51/496.60 c (496.6s) probing: 8311/36796 (22.6%) - 76 fixings, 73 aggregations, 8779108 implications, 0 bound changes
496.51/496.60 c (496.6s) probing aborted: 100/100 successive totally useless probings
496.51/496.60 c presolving (19 rounds):
496.51/496.60 c 3804 deleted vars, 3751 deleted constraints, 0 added constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
496.51/496.60 c 36974972 implications, 551 cliques
496.51/496.60 c presolved problem has 36647 variables (36647 bin, 0 int, 0 impl, 0 cont) and 37199 constraints
496.51/496.60 c 1 constraints of type <knapsack>
496.51/496.60 c 4945 constraints of type <setppc>
496.51/496.60 c 32253 constraints of type <logicor>
496.51/496.60 c transformed objective value is always integral (scale: 1)
496.51/496.60 c Presolving Time: 496.13
496.51/496.60 c - non default parameters ----------------------------------------------------------------------
496.51/496.60 c # SCIP version 2.0.1.5
496.51/496.60 c
496.51/496.60 c # frequency for displaying node information lines
496.51/496.60 c # [type: int, range: [-1,2147483647], default: 100]
496.51/496.60 c display/freq = 10000
496.51/496.60 c
496.51/496.60 c # maximal time in seconds to run
496.51/496.60 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
496.51/496.60 c limits/time = 1797
496.51/496.60 c
496.51/496.60 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
496.51/496.60 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
496.51/496.60 c limits/memory = 13950
496.51/496.60 c
496.51/496.60 c # default clock type (1: CPU user seconds, 2: wall clock time)
496.51/496.60 c # [type: int, range: [1,2], default: 1]
496.51/496.60 c timing/clocktype = 2
496.51/496.60 c
496.51/496.60 c # belongs reading time to solving time?
496.51/496.60 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
496.51/496.60 c timing/reading = TRUE
496.51/496.60 c
496.51/496.60 c # should presolving try to simplify inequalities
496.51/496.60 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
496.51/496.60 c constraints/linear/simplifyinequalities = TRUE
496.51/496.60 c
496.51/496.60 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
496.51/496.60 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
496.51/496.60 c constraints/indicator/addCouplingCons = TRUE
496.51/496.60 c
496.51/496.60 c # should presolving try to simplify knapsacks
496.51/496.60 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
496.51/496.60 c constraints/knapsack/simplifyinequalities = TRUE
496.51/496.60 c
496.51/496.60 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
496.51/496.60 c # [type: int, range: [-1,2147483647], default: -1]
496.51/496.60 c separating/rapidlearning/freq = 0
496.51/496.60 c
496.51/496.60 c -----------------------------------------------------------------------------------------------
496.51/496.60 c start solving
496.51/496.62 c
524.41/524.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
524.41/524.53 c 525s| 1 | 0 | 33818 | - |1122M| 0 |1154 | 36k| 37k| 36k| 37k| 0 | 17 | 0 |-5.584651e+03 | -- | Inf
1578.43/1578.73 c 1579s| 1 | 0 |189432 | - |1123M| 0 |1199 | 36k| 37k| 36k| 37k| 4 | 17 | 0 |-5.554329e+03 | -- | Inf
1582.73/1583.01 c 1583s| 1 | 0 |189978 | - |1124M| 0 |1226 | 36k| 37k| 36k| 37k| 123 | 17 | 0 |-5.530364e+03 | -- | Inf
1589.43/1589.79 c 1590s| 1 | 0 |190993 | - |1124M| 0 |1207 | 36k| 37k| 36k| 37k| 252 | 17 | 0 |-5.520457e+03 | -- | Inf
1593.82/1594.11 c 1594s| 1 | 0 |191400 | - |1124M| 0 |1117 | 36k| 37k| 36k| 37k| 303 | 17 | 0 |-5.514895e+03 | -- | Inf
1598.83/1599.11 c 1599s| 1 | 0 |192017 | - |1124M| 0 |1369 | 36k| 37k| 36k| 37k| 455 | 17 | 0 |-5.510716e+03 | -- | Inf
1604.12/1604.40 c 1604s| 1 | 0 |192480 | - |1124M| 0 |1457 | 36k| 37k| 36k| 37k| 461 | 17 | 0 |-5.509163e+03 | -- | Inf
1610.12/1610.43 c 1610s| 1 | 0 |193340 | - |1124M| 0 |1136 | 36k| 37k| 36k| 37k| 463 | 17 | 0 |-5.504301e+03 | -- | Inf
1614.43/1614.72 c 1615s| 1 | 0 |193597 | - |1124M| 0 |1242 | 36k| 37k| 36k| 37k| 465 | 17 | 0 |-5.503107e+03 | -- | Inf
1619.82/1620.12 c 1620s| 1 | 0 |194414 | - |1124M| 0 |1551 | 36k| 37k| 36k| 37k| 468 | 17 | 0 |-5.499162e+03 | -- | Inf
1626.32/1626.69 c 1627s| 1 | 0 |195524 | - |1124M| 0 |1719 | 36k| 37k| 36k| 37k| 476 | 17 | 0 |-5.495683e+03 | -- | Inf
1629.31/1629.64 c 1630s| 1 | 0 |195733 | - |1124M| 0 |1636 | 36k| 37k| 36k| 37k| 482 | 17 | 0 |-5.495266e+03 | -- | Inf
1632.32/1632.69 c 1633s| 1 | 0 |196039 | - |1124M| 0 |1386 | 36k| 37k| 36k| 37k| 483 | 17 | 0 |-5.494648e+03 | -- | Inf
1636.12/1636.46 c 1636s| 1 | 0 |196748 | - |1124M| 0 |1520 | 36k| 37k| 36k| 37k| 507 | 17 | 0 |-5.493366e+03 | -- | Inf
1639.92/1640.22 c 1640s| 1 | 0 |197387 | - |1124M| 0 |1806 | 36k| 37k| 36k| 37k| 510 | 17 | 0 |-5.491887e+03 | -- | Inf
1643.12/1643.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1643.12/1643.45 c 1643s| 1 | 0 |197795 | - |1124M| 0 |1884 | 36k| 37k| 36k| 37k| 519 | 17 | 0 |-5.490868e+03 | -- | Inf
1647.61/1647.97 c 1648s| 1 | 0 |198143 | - |1124M| 0 |1891 | 36k| 37k| 36k| 37k| 551 | 17 | 0 |-5.489824e+03 | -- | Inf
1651.82/1652.15 c 1652s| 1 | 0 |198853 | - |1124M| 0 |2070 | 36k| 37k| 36k| 37k| 554 | 17 | 0 |-5.488572e+03 | -- | Inf
1654.92/1655.26 c 1655s| 1 | 0 |199211 | - |1124M| 0 |2040 | 36k| 37k| 36k| 37k| 560 | 17 | 0 |-5.488239e+03 | -- | Inf
1659.31/1659.67 c 1660s| 1 | 0 |200132 | - |1124M| 0 |1866 | 36k| 37k| 36k| 37k| 607 | 17 | 0 |-5.487678e+03 | -- | Inf
1663.71/1664.07 c 1664s| 1 | 0 |201037 | - |1124M| 0 |2062 | 36k| 37k| 36k| 37k| 610 | 17 | 0 |-5.486960e+03 | -- | Inf
1669.12/1669.45 c 1669s| 1 | 0 |201454 | - |1124M| 0 |2021 | 36k| 37k| 36k| 37k| 622 | 17 | 0 |-5.486541e+03 | -- | Inf
1672.41/1672.73 c 1673s| 1 | 0 |202035 | - |1125M| 0 |1983 | 36k| 37k| 36k| 37k| 629 | 17 | 0 |-5.485713e+03 | -- | Inf
1676.61/1676.96 c 1677s| 1 | 0 |202894 | - |1125M| 0 |2069 | 36k| 37k| 36k| 37k| 646 | 17 | 0 |-5.484709e+03 | -- | Inf
1679.31/1679.65 c 1680s| 1 | 0 |203349 | - |1125M| 0 |2093 | 36k| 37k| 36k| 37k| 648 | 17 | 0 |-5.484251e+03 | -- | Inf
1684.61/1684.91 c 1685s| 1 | 0 |204276 | - |1125M| 0 |1871 | 36k| 37k| 36k| 37k| 650 | 17 | 0 |-5.483662e+03 | -- | Inf
1689.22/1689.57 c 1690s| 1 | 0 |204699 | - |1125M| 0 |1862 | 36k| 37k| 36k| 37k| 653 | 17 | 0 |-5.483476e+03 | -- | Inf
1692.81/1693.10 c 1693s| 1 | 0 |205319 | - |1125M| 0 |1965 | 36k| 37k| 36k| 37k| 656 | 17 | 0 |-5.482875e+03 | -- | Inf
1696.10/1696.47 c 1696s| 1 | 0 |205975 | - |1125M| 0 |1989 | 36k| 37k| 36k| 37k| 662 | 17 | 0 |-5.482238e+03 | -- | Inf
1699.31/1699.62 c 1700s| 1 | 0 |206545 | - |1125M| 0 |1775 | 36k| 37k| 36k| 37k| 665 | 17 | 0 |-5.481715e+03 | -- | Inf
1701.32/1701.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1701.32/1701.65 c 1702s| 1 | 0 |206759 | - |1125M| 0 |1823 | 36k| 37k| 36k| 37k| 668 | 17 | 0 |-5.481553e+03 | -- | Inf
1705.31/1705.67 c 1706s| 1 | 0 |207391 | - |1125M| 0 |1892 | 36k| 37k| 36k| 37k| 672 | 17 | 0 |-5.481060e+03 | -- | Inf
1711.10/1711.42 c 1711s| 1 | 0 |208658 | - |1125M| 0 |1991 | 36k| 37k| 36k| 37k| 681 | 17 | 0 |-5.480230e+03 | -- | Inf
1719.60/1719.93 c 1720s| 1 | 0 |210390 | - |1125M| 0 |1892 | 36k| 37k| 36k| 37k| 687 | 17 | 0 |-5.479214e+03 | -- | Inf
1724.00/1724.35 c 1724s| 1 | 0 |211576 | - |1125M| 0 |1859 | 36k| 37k| 36k| 37k| 697 | 17 | 0 |-5.478239e+03 | -- | Inf
1727.71/1728.05 c 1728s| 1 | 0 |212375 | - |1125M| 0 |2007 | 36k| 37k| 36k| 37k| 701 | 17 | 0 |-5.477844e+03 | -- | Inf
1732.41/1732.78 c 1733s| 1 | 0 |213543 | - |1125M| 0 |2052 | 36k| 37k| 36k| 37k| 708 | 17 | 0 |-5.477147e+03 | -- | Inf
1737.71/1738.07 c 1738s| 1 | 0 |214860 | - |1125M| 0 |1995 | 36k| 37k| 36k| 37k| 712 | 17 | 0 |-5.476641e+03 | -- | Inf
1741.30/1741.66 c 1742s| 1 | 0 |215680 | - |1125M| 0 |1905 | 36k| 37k| 36k| 37k| 715 | 17 | 0 |-5.476336e+03 | -- | Inf
1744.80/1745.12 c 1745s| 1 | 0 |216269 | - |1125M| 0 |1928 | 36k| 37k| 36k| 37k| 719 | 17 | 0 |-5.476022e+03 | -- | Inf
1748.20/1748.57 c 1749s| 1 | 0 |216716 | - |1125M| 0 |2018 | 36k| 37k| 36k| 37k| 723 | 17 | 0 |-5.475793e+03 | -- | Inf
1754.10/1754.41 c 1754s| 1 | 0 |218200 | - |1125M| 0 |2193 | 36k| 37k| 36k| 37k| 725 | 17 | 0 |-5.475491e+03 | -- | Inf
1756.89/1757.25 c 1757s| 1 | 0 |218417 | - |1125M| 0 |2211 | 36k| 37k| 36k| 37k| 726 | 17 | 0 |-5.475440e+03 | -- | Inf
1761.50/1761.84 c 1762s| 1 | 0 |219508 | - |1125M| 0 |2088 | 36k| 37k| 36k| 37k| 729 | 17 | 0 |-5.475071e+03 | -- | Inf
1765.50/1765.89 c 1766s| 1 | 0 |220431 | - |1125M| 0 |2132 | 36k| 37k| 36k| 37k| 731 | 17 | 0 |-5.474900e+03 | -- | Inf
1770.60/1771.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1770.60/1771.00 c 1771s| 1 | 0 |220919 | - |1125M| 0 |2137 | 36k| 37k| 36k| 37k| 734 | 17 | 0 |-5.474753e+03 | -- | Inf
1775.19/1775.53 c 1776s| 1 | 0 |221311 | - |1125M| 0 |2184 | 36k| 37k| 36k| 37k| 739 | 17 | 0 |-5.474543e+03 | -- | Inf
1779.70/1780.02 c 1780s| 1 | 0 |221511 | - |1125M| 0 |2182 | 36k| 37k| 36k| 37k| 741 | 17 | 0 |-5.474510e+03 | -- | Inf
1786.59/1786.95 c 1787s| 1 | 0 |222567 | - |1125M| 0 |2143 | 36k| 37k| 36k| 37k| 743 | 17 | 0 |-5.473931e+03 | -- | Inf
1791.60/1791.90 c 1792s| 1 | 0 |223045 | - |1125M| 0 |2254 | 36k| 37k| 36k| 37k| 748 | 17 | 0 |-5.473759e+03 | -- | Inf
1796.39/1796.73 c 1797s| 1 | 0 |224158 | - |1125M| 0 |2188 | 36k| 37k| 36k| 37k| 753 | 17 | 0 |-5.473394e+03 | -- | Inf
1799.09/1799.46 c 1799s| 1 | 2 |224158 | - |1125M| 0 |2188 | 36k| 37k| 36k| 37k| 753 | 17 | 0 |-5.473394e+03 | -- | Inf
1799.09/1799.46 c
1799.09/1799.46 c SCIP Status : solving was interrupted [time limit reached]
1799.09/1799.46 c Solving Time (sec) : 1799.45
1799.09/1799.46 c Solving Nodes : 1
1799.09/1799.46 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1799.09/1799.46 c Dual Bound : -5.47339360676927e+03
1799.09/1799.46 c Gap : infinite
1799.09/1799.46 s UNKNOWN
1799.09/1799.46 c SCIP Status : solving was interrupted [time limit reached]
1799.09/1799.46 c Total Time : 1799.45
1799.09/1799.46 c solving : 1799.45
1799.09/1799.46 c presolving : 496.13 (included in solving)
1799.09/1799.46 c reading : 0.34 (included in solving)
1799.09/1799.46 c Original Problem :
1799.09/1799.46 c Problem name : HOME/instance-3743042-1338793693.opb
1799.09/1799.46 c Variables : 40451 (40451 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.09/1799.46 c Constraints : 40950 initial, 40950 maximal
1799.09/1799.46 c Presolved Problem :
1799.09/1799.46 c Problem name : t_HOME/instance-3743042-1338793693.opb
1799.09/1799.46 c Variables : 36647 (36647 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.09/1799.46 c Constraints : 37199 initial, 37216 maximal
1799.09/1799.46 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1799.09/1799.46 c trivial : 0.04 123 0 0 0 0 0 0 0 0
1799.09/1799.46 c dualfix : 0.03 0 0 0 0 0 0 0 0 0
1799.09/1799.46 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1799.09/1799.46 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1799.09/1799.46 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1799.09/1799.46 c implics : 0.07 0 1 0 0 0 0 0 0 0
1799.09/1799.46 c probing : 494.14 76 73 0 0 0 0 0 0 0
1799.09/1799.46 c knapsack : 0.35 0 0 0 0 0 0 0 0 0
1799.09/1799.46 c setppc : 0.04 0 0 0 0 0 82 0 0 0
1799.09/1799.46 c linear : 1.19 3531 0 0 3531 0 3602 0 0 0
1799.09/1799.46 c logicor : 0.12 0 0 0 0 0 67 0 0 0
1799.09/1799.46 c root node : - 0 - - 0 - - - - -
1799.09/1799.46 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1799.09/1799.46 c integral : 0 0 0 1 0 4 0 0 0 0 0 2
1799.09/1799.46 c knapsack : 1 50 102276 0 0 3 0 0 0 0 0 0
1799.09/1799.46 c setppc : 4945 50 102275 0 0 1 167 15 0 0 0 0
1799.09/1799.46 c logicor : 32253+ 50 92622 0 0 0 20 18 0 0 0 0
1799.09/1799.46 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1799.09/1799.46 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1799.09/1799.46 c integral : 0.01 0.00 0.00 0.00 0.00 0.01 0.00
1799.09/1799.46 c knapsack : 6.41 1.03 5.38 0.00 0.00 0.00 0.00
1799.09/1799.46 c setppc : 13.73 0.02 13.72 0.00 0.00 0.00 0.00
1799.09/1799.46 c logicor : 54.52 0.10 54.42 0.00 0.00 0.00 0.00
1799.09/1799.46 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1799.09/1799.46 c Propagators : #Propagate #Resprop Cutoffs DomReds
1799.09/1799.46 c vbounds : 0 0 0 0
1799.09/1799.46 c rootredcost : 0 0 0 0
1799.09/1799.46 c pseudoobj : 146 0 0 0
1799.09/1799.46 c Propagator Timings : TotalTime Propagate Resprop
1799.09/1799.46 c vbounds : 0.02 0.02 0.00
1799.09/1799.46 c rootredcost : 0.01 0.01 0.00
1799.09/1799.46 c pseudoobj : 0.07 0.07 0.00
1799.09/1799.46 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1799.09/1799.46 c propagation : 0.00 15 15 17 2.6 0 0.0 -
1799.09/1799.46 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1799.09/1799.46 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1799.09/1799.46 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1799.09/1799.46 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1799.09/1799.46 c applied globally : - - - 17 2.6 - - -
1799.09/1799.46 c applied locally : - - - 0 0.0 - - -
1799.09/1799.46 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1799.09/1799.46 c cut pool : 0.01 49 - - 14 - (maximal pool size: 1025)
1799.09/1799.46 c redcost : 0.10 50 0 0 0 0
1799.09/1799.46 c impliedbounds : 2.60 50 0 0 1156 0
1799.09/1799.46 c intobj : 0.00 0 0 0 0 0
1799.09/1799.46 c gomory : 23.24 50 0 0 0 0
1799.09/1799.46 c cgmip : 0.00 0 0 0 0 0
1799.09/1799.46 c closecuts : 0.00 0 0 0 0 0
1799.09/1799.46 c strongcg : 9.57 20 0 0 213 0
1799.09/1799.46 c cmir : 6.04 10 0 0 0 0
1799.09/1799.46 c flowcover : 6.85 10 0 0 0 0
1799.09/1799.46 c clique : 681.21 50 0 0 441 0
1799.09/1799.46 c zerohalf : 0.00 0 0 0 0 0
1799.09/1799.46 c mcf : 0.04 1 0 0 0 0
1799.09/1799.46 c oddcycle : 0.00 0 0 0 0 0
1799.09/1799.46 c rapidlearning : 0.00 0 0 0 0 0
1799.09/1799.46 c Pricers : Time Calls Vars
1799.09/1799.46 c problem variables: 0.00 0 0
1799.09/1799.46 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1799.09/1799.46 c relpscost : 0.00 1 0 0 0 0 2
1799.09/1799.46 c pscost : 0.00 0 0 0 0 0 0
1799.09/1799.46 c inference : 0.00 0 0 0 0 0 0
1799.09/1799.46 c mostinf : 0.00 0 0 0 0 0 0
1799.09/1799.46 c leastinf : 0.00 0 0 0 0 0 0
1799.09/1799.46 c fullstrong : 0.00 0 0 0 0 0 0
1799.09/1799.46 c allfullstrong : 0.00 0 0 0 0 0 0
1799.09/1799.46 c random : 0.00 0 0 0 0 0 0
1799.09/1799.46 c Primal Heuristics : Time Calls Found
1799.09/1799.46 c LP solutions : 0.00 - 0
1799.09/1799.46 c pseudo solutions : 0.00 - 0
1799.09/1799.46 c oneopt : 0.00 0 0
1799.09/1799.46 c crossover : 0.00 0 0
1799.09/1799.46 c trivial : 0.04 2 0
1799.09/1799.46 c shiftandpropagate: 0.26 1 0
1799.09/1799.46 c simplerounding : 0.00 51 0
1799.09/1799.46 c zirounding : 0.00 0 0
1799.09/1799.46 c rounding : 11.51 51 0
1799.09/1799.46 c shifting : 56.55 51 0
1799.09/1799.46 c intshifting : 0.00 0 0
1799.09/1799.46 c twoopt : 0.00 0 0
1799.09/1799.46 c fixandinfer : 0.00 0 0
1799.09/1799.46 c feaspump : 381.40 1 0
1799.09/1799.46 c clique : 0.00 0 0
1799.09/1799.46 c coefdiving : 0.00 0 0
1799.09/1799.46 c pscostdiving : 0.00 0 0
1799.09/1799.46 c fracdiving : 0.00 0 0
1799.09/1799.46 c veclendiving : 0.00 0 0
1799.09/1799.46 c intdiving : 0.00 0 0
1799.09/1799.46 c actconsdiving : 0.00 0 0
1799.09/1799.46 c objpscostdiving : 0.00 0 0
1799.09/1799.46 c rootsoldiving : 0.00 0 0
1799.09/1799.46 c linesearchdiving : 0.00 0 0
1799.09/1799.46 c guideddiving : 0.00 0 0
1799.09/1799.46 c octane : 0.00 0 0
1799.09/1799.46 c rens : 0.00 0 0
1799.09/1799.46 c rins : 0.00 0 0
1799.09/1799.46 c localbranching : 0.00 0 0
1799.09/1799.46 c mutation : 0.00 0 0
1799.09/1799.46 c dins : 0.00 0 0
1799.09/1799.46 c vbounds : 0.00 0 0
1799.09/1799.46 c undercover : 0.00 0 0
1799.09/1799.46 c subnlp : 0.00 0 0
1799.09/1799.46 c trysol : 0.00 0 0
1799.09/1799.46 c LP : Time Calls Iterations Iter/call Iter/sec
1799.09/1799.46 c primal LP : 0.30 0 0 0.00 0.00
1799.09/1799.46 c dual LP : 121.41 51 70010 1372.75 576.65
1799.09/1799.46 c lex dual LP : 0.00 0 0 0.00 -
1799.09/1799.46 c barrier LP : 0.00 0 0 0.00 -
1799.09/1799.46 c diving/probing LP: 380.87 21 154148 7340.38 404.73
1799.09/1799.46 c strong branching : 0.00 0 0 0.00 -
1799.09/1799.46 c (at root node) : - 0 0 0.00 -
1799.09/1799.46 c conflict analysis: 0.00 0 0 0.00 -
1799.09/1799.46 c B&B Tree :
1799.09/1799.46 c number of runs : 1
1799.09/1799.46 c nodes : 1
1799.09/1799.46 c nodes (total) : 1
1799.09/1799.46 c nodes left : 2
1799.09/1799.46 c max depth : 0
1799.09/1799.46 c max depth (total): 0
1799.09/1799.46 c backtracks : 0 (0.0%)
1799.09/1799.46 c delayed cutoffs : 0
1799.09/1799.46 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1799.09/1799.46 c avg switch length: 1.00
1799.09/1799.46 c switching time : 0.00
1799.09/1799.46 c Solution :
1799.09/1799.46 c Solutions found : 0 (0 improvements)
1799.09/1799.46 c Primal Bound : -
1799.09/1799.46 c Dual Bound : -5.47339360676927e+03
1799.09/1799.46 c Gap : infinite
1799.09/1799.46 c Root Dual Bound : -5.47339360676927e+03
1799.09/1799.46 c Root Iterations : 224158
1799.39/1799.70 c Time complete: 1799.39.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3743042-1338793693/watcher-3743042-1338793693 -o /tmp/evaluation-result-3743042-1338793693/solver-3743042-1338793693 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3743042-1338793693.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
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.07 2.10 2.04 3/176 13124
/proc/meminfo: memFree=28421372/32873844 swapFree=7900/7900
[pid=13124] ppid=13122 vsize=9588 CPUtime=0 cores=0,2,4,6
/proc/13124/stat : 13124 (scip-2.0.1.4b_2) R 13122 13124 12511 0 -1 4202496 1515 0 0 0 0 0 0 0 20 0 1 0 345493840 9818112 1470 33554432000 4194304 9016284 140733377771280 140735292469688 7824814 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13124/statm: 2397 1471 311 1178 0 1215 0
[startup+0.066741 s]
/proc/loadavg: 2.07 2.10 2.04 3/176 13124
/proc/meminfo: memFree=28421372/32873844 swapFree=7900/7900
[pid=13124] ppid=13122 vsize=39680 CPUtime=0.06 cores=0,2,4,6
/proc/13124/stat : 13124 (scip-2.0.1.4b_2) R 13122 13124 12511 0 -1 4202496 8926 0 0 0 5 1 0 0 20 0 1 0 345493840 40632320 8831 33554432000 4194304 9016284 140733377771280 140735292469688 6813403 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13124/statm: 9920 8848 360 1178 0 8738 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 39680
[startup+0.100273 s]
/proc/loadavg: 2.07 2.10 2.04 3/176 13124
/proc/meminfo: memFree=28421372/32873844 swapFree=7900/7900
[pid=13124] ppid=13122 vsize=46532 CPUtime=0.09 cores=0,2,4,6
/proc/13124/stat : 13124 (scip-2.0.1.4b_2) R 13122 13124 12511 0 -1 4202496 10638 0 0 0 8 1 0 0 20 0 1 0 345493840 47648768 10542 33554432000 4194304 9016284 140733377771280 140735292469688 7842319 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13124/statm: 11633 10542 360 1178 0 10451 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 46532
[startup+0.300212 s]
/proc/loadavg: 2.07 2.10 2.04 3/176 13124
/proc/meminfo: memFree=28421372/32873844 swapFree=7900/7900
[pid=13124] ppid=13122 vsize=58828 CPUtime=0.29 cores=0,2,4,6
/proc/13124/stat : 13124 (scip-2.0.1.4b_2) R 13122 13124 12511 0 -1 4202496 13742 0 0 0 27 2 0 0 20 0 1 0 345493840 60239872 13646 33554432000 4194304 9016284 140733377771280 140735292469688 7870498 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13124/statm: 14707 13646 360 1178 0 13525 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 58828
[startup+0.700227 s]
/proc/loadavg: 2.07 2.10 2.04 3/176 13124
/proc/meminfo: memFree=28421372/32873844 swapFree=7900/7900
[pid=13124] ppid=13122 vsize=143424 CPUtime=0.69 cores=0,2,4,6
/proc/13124/stat : 13124 (scip-2.0.1.4b_2) R 13122 13124 12511 0 -1 4202496 34992 0 0 0 65 4 0 0 20 0 1 0 345493840 146866176 34378 33554432000 4194304 9016284 140733377771280 140733377768856 6481848 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13124/statm: 35856 34378 493 1178 0 34674 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 143424
[startup+1.50033 s]
/proc/loadavg: 2.07 2.10 2.04 3/177 13125
/proc/meminfo: memFree=28281500/32873844 swapFree=7900/7900
[pid=13124] ppid=13122 vsize=144792 CPUtime=1.48 cores=0,2,4,6
/proc/13124/stat : 13124 (scip-2.0.1.4b_2) R 13122 13124 12511 0 -1 4202496 35686 0 0 0 144 4 0 0 20 0 1 0 345493840 148267008 34757 33554432000 4194304 9016284 140733377771280 140733377768184 4935238 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13124/statm: 36198 34757 497 1178 0 35016 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 144792
[startup+3.10024 s]
/proc/loadavg: 2.07 2.10 2.04 3/177 13125
/proc/meminfo: memFree=28243176/32873844 swapFree=7900/7900
[pid=13124] ppid=13122 vsize=228088 CPUtime=3.09 cores=0,2,4,6
/proc/13124/stat : 13124 (scip-2.0.1.4b_2) R 13122 13124 12511 0 -1 4202496 57554 0 0 0 301 8 0 0 20 0 1 0 345493840 233562112 55101 33554432000 4194304 9016284 140733377771280 140733377766872 6480389 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13124/statm: 57022 55101 521 1178 0 55840 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 228088
[startup+6.30028 s]
/proc/loadavg: 2.07 2.10 2.04 3/177 13125
/proc/meminfo: memFree=28139884/32873844 swapFree=7900/7900
[pid=13124] ppid=13122 vsize=299968 CPUtime=6.29 cores=0,2,4,6
/proc/13124/stat : 13124 (scip-2.0.1.4b_2) R 13122 13124 12511 0 -1 4202496 74238 0 0 0 619 10 0 0 20 0 1 0 345493840 307167232 71785 33554432000 4194304 9016284 140733377771280 140733377766664 6480389 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13124/statm: 74992 71785 521 1178 0 73810 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 299968
[startup+12.7003 s]
/proc/loadavg: 2.06 2.10 2.04 3/177 13125
/proc/meminfo: memFree=28076404/32873844 swapFree=7900/7900
[pid=13124] ppid=13122 vsize=345508 CPUtime=12.69 cores=0,2,4,6
/proc/13124/stat : 13124 (scip-2.0.1.4b_2) R 13122 13124 12511 0 -1 4202496 85293 0 0 0 1257 12 0 0 20 0 1 0 345493840 353800192 82840 33554432000 4194304 9016284 140733377771280 140733377766664 6480389 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13124/statm: 86377 82840 521 1178 0 85195 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 345508
[startup+25.5003 s]
/proc/loadavg: 2.05 2.09 2.04 3/177 13125
/proc/meminfo: memFree=27990208/32873844 swapFree=7900/7900
[pid=13124] ppid=13122 vsize=421332 CPUtime=25.48 cores=0,2,4,6
/proc/13124/stat : 13124 (scip-2.0.1.4b_2) R 13122 13124 12511 0 -1 4202496 103662 0 0 0 2533 15 0 0 20 0 1 0 345493840 431443968 101209 33554432000 4194304 9016284 140733377771280 140733377766664 6480403 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13124/statm: 105333 101209 521 1178 0 104151 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 421332
[startup+51.1003 s]
/proc/loadavg: 2.09 2.10 2.04 3/177 13125
/proc/meminfo: memFree=27874352/32873844 swapFree=7900/7900
[pid=13124] ppid=13122 vsize=524284 CPUtime=51.08 cores=0,2,4,6
/proc/13124/stat : 13124 (scip-2.0.1.4b_2) R 13122 13124 12511 0 -1 4202496 128571 0 0 0 5088 20 0 0 20 0 1 0 345493840 536866816 126118 33554432000 4194304 9016284 140733377771280 140733377766408 7875855 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13124/statm: 131071 126118 521 1178 0 129889 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 524284
[startup+102.307 s]
/proc/loadavg: 2.16 2.11 2.05 3/177 13125
/proc/meminfo: memFree=27660248/32873844 swapFree=7900/7900
[pid=13124] ppid=13122 vsize=669704 CPUtime=102.28 cores=0,2,4,6
/proc/13124/stat : 13124 (scip-2.0.1.4b_2) R 13122 13124 12511 0 -1 4202496 164904 0 0 0 10202 26 0 0 20 0 1 0 345493840 685776896 162451 33554432000 4194304 9016284 140733377771280 140733377766664 6480403 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13124/statm: 167426 162451 521 1178 0 166244 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 669704
[startup+162.3 s]
/proc/loadavg: 2.12 2.11 2.05 3/177 13128
/proc/meminfo: memFree=27368504/32873844 swapFree=7900/7900
[pid=13124] ppid=13122 vsize=883680 CPUtime=162.26 cores=0,2,4,6
/proc/13124/stat : 13124 (scip-2.0.1.4b_2) R 13122 13124 12511 0 -1 4202496 217818 0 0 0 16191 35 0 0 20 0 1 0 345493840 904888320 215365 33554432000 4194304 9016284 140733377771280 140733377766872 6480372 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13124/statm: 220920 215365 540 1178 0 219738 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 883680
[startup+222.3 s]
/proc/loadavg: 2.04 2.08 2.04 3/177 13129
/proc/meminfo: memFree=27073660/32873844 swapFree=7900/7900
[pid=13124] ppid=13122 vsize=1097548 CPUtime=222.25 cores=0,2,4,6
/proc/13124/stat : 13124 (scip-2.0.1.4b_2) R 13122 13124 12511 0 -1 4202496 271677 0 0 0 22182 43 0 0 20 0 1 0 345493840 1123889152 269224 33554432000 4194304 9016284 140733377771280 140733377766872 6480389 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13124/statm: 274387 269224 540 1178 0 273205 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1097548
[startup+282.3 s]
/proc/loadavg: 2.24 2.13 2.06 3/177 13129
/proc/meminfo: memFree=26834616/32873844 swapFree=7900/7900
[pid=13124] ppid=13122 vsize=1245856 CPUtime=282.24 cores=0,2,4,6
/proc/13124/stat : 13124 (scip-2.0.1.4b_2) R 13122 13124 12511 0 -1 4202496 308087 0 0 0 28176 48 0 0 20 0 1 0 345493840 1275756544 305634 33554432000 4194304 9016284 140733377771280 140733377766984 5155078 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13124/statm: 311464 305634 540 1178 0 310282 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1245856
[startup+342.3 s]
/proc/loadavg: 2.15 2.12 2.06 3/177 13129
/proc/meminfo: memFree=26647032/32873844 swapFree=7900/7900
[pid=13124] ppid=13122 vsize=1355884 CPUtime=342.24 cores=0,2,4,6
/proc/13124/stat : 13124 (scip-2.0.1.4b_2) R 13122 13124 12511 0 -1 4202496 335677 0 0 0 34172 52 0 0 20 0 1 0 345493840 1388425216 333224 33554432000 4194304 9016284 140733377771280 140733377766872 4330033 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13124/statm: 338971 333224 540 1178 0 337789 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1355884
[startup+402.3 s]
/proc/loadavg: 2.12 2.11 2.06 3/177 13129
/proc/meminfo: memFree=26473460/32873844 swapFree=7900/7900
[pid=13124] ppid=13122 vsize=1455508 CPUtime=402.23 cores=0,2,4,6
/proc/13124/stat : 13124 (scip-2.0.1.4b_2) R 13122 13124 12511 0 -1 4202496 360357 0 0 0 40167 56 0 0 20 0 1 0 345493840 1490440192 357904 33554432000 4194304 9016284 140733377771280 140733377766872 5150860 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13124/statm: 363877 357904 540 1178 0 362695 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1455508
[startup+462.3 s]
/proc/loadavg: 2.16 2.12 2.06 3/177 13129
/proc/meminfo: memFree=26290216/32873844 swapFree=7900/7900
[pid=13124] ppid=13122 vsize=1562816 CPUtime=462.21 cores=0,2,4,6
/proc/13124/stat : 13124 (scip-2.0.1.4b_2) R 13122 13124 12511 0 -1 4202496 386444 0 0 0 46161 60 0 0 20 0 1 0 345493840 1600323584 383991 33554432000 4194304 9016284 140733377771280 140733377766664 4222927 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13124/statm: 390704 383991 540 1178 0 389522 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1562816
[startup+522.3 s]
/proc/loadavg: 2.06 2.10 2.06 3/177 13130
/proc/meminfo: memFree=26073772/32873844 swapFree=7900/7900
[pid=13124] ppid=13122 vsize=1710864 CPUtime=522.21 cores=0,2,4,6
/proc/13124/stat : 13124 (scip-2.0.1.4b_2) R 13122 13124 12511 0 -1 4202496 420135 0 0 0 52150 71 0 0 20 0 1 0 345493840 1751924736 420947 33554432000 4194304 9016284 140733377771280 140733377765064 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13124/statm: 427716 420947 652 1178 0 426534 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1710864
[startup+582.3 s]
/proc/loadavg: 2.14 2.11 2.06 3/177 13130
/proc/meminfo: memFree=25989480/32873844 swapFree=7900/7900
[pid=13124] ppid=13122 vsize=1710864 CPUtime=582.2 cores=0,2,4,6
/proc/13124/stat : 13124 (scip-2.0.1.4b_2) R 13122 13124 12511 0 -1 4202496 420588 0 0 0 58140 80 0 0 20 0 1 0 345493840 1751924736 421376 33554432000 4194304 9016284 140733377771280 140733377763064 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13124/statm: 427716 421376 664 1178 0 426534 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1710864
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27978416/32873844 swapFree=7900/7900
[pid=13124] ppid=13122 vsize=1710864 CPUtime=1062.12 cores=0,2,4,6
/proc/13124/stat : 13124 (scip-2.0.1.4b_2) R 13122 13124 12511 0 -1 4202496 420724 0 0 0 106105 107 0 0 20 0 1 0 345493840 1751924736 421572 33554432000 4194304 9016284 140733377771280 140733377766440 6231248 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13124/statm: 427716 421572 686 1178 0 426534 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 1710864
[startup+1122.3 s]
/proc/loadavg: 2.04 2.07 2.06 3/177 13173
/proc/meminfo: memFree=27831300/32873844 swapFree=7900/7900
[pid=13124] ppid=13122 vsize=1710864 CPUtime=1122.11 cores=0,2,4,6
/proc/13124/stat : 13124 (scip-2.0.1.4b_2) R 13122 13124 12511 0 -1 4202496 420725 0 0 0 112104 107 0 0 20 0 1 0 345493840 1751924736 421809 33554432000 4194304 9016284 140733377771280 140733377766440 6231481 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13124/statm: 427716 421809 686 1178 0 426534 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 1710864
[startup+1182.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/177 13173
/proc/meminfo: memFree=27829096/32873844 swapFree=7900/7900
[pid=13124] ppid=13122 vsize=1710864 CPUtime=1182.1 cores=0,2,4,6
/proc/13124/stat : 13124 (scip-2.0.1.4b_2) R 13122 13124 12511 0 -1 4202496 420725 0 0 0 118103 107 0 0 20 0 1 0 345493840 1751924736 422350 33554432000 4194304 9016284 140733377771280 140733377766440 6231264 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13124/statm: 427716 422350 686 1178 0 426534 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 1710864
[startup+1242.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/177 13173
/proc/meminfo: memFree=27827388/32873844 swapFree=7900/7900
[pid=13124] ppid=13122 vsize=1710864 CPUtime=1242.09 cores=0,2,4,6
/proc/13124/stat : 13124 (scip-2.0.1.4b_2) R 13122 13124 12511 0 -1 4202496 420725 0 0 0 124102 107 0 0 20 0 1 0 345493840 1751924736 422809 33554432000 4194304 9016284 140733377771280 140733377766440 6231264 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13124/statm: 427716 422809 686 1178 0 426534 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 1710864
[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.04 3/177 13173
/proc/meminfo: memFree=27824564/32873844 swapFree=7900/7900
[pid=13124] ppid=13122 vsize=1710864 CPUtime=1302.08 cores=0,2,4,6
/proc/13124/stat : 13124 (scip-2.0.1.4b_2) R 13122 13124 12511 0 -1 4202496 420732 0 0 0 130101 107 0 0 20 0 1 0 345493840 1751924736 423389 33554432000 4194304 9016284 140733377771280 140733377766440 6231355 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13124/statm: 427716 423389 686 1178 0 426534 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1710864
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.03 3/178 13176
/proc/meminfo: memFree=27823716/32873844 swapFree=7900/7900
[pid=13124] ppid=13122 vsize=1710864 CPUtime=1362.06 cores=0,2,4,6
/proc/13124/stat : 13124 (scip-2.0.1.4b_2) R 13122 13124 12511 0 -1 4202496 420734 0 0 0 136099 107 0 0 20 0 1 0 345493840 1751924736 423575 33554432000 4194304 9016284 140733377771280 140733377766440 6231264 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13124/statm: 427716 423575 686 1178 0 426534 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1710864
[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.03 3/177 13177
/proc/meminfo: memFree=27823380/32873844 swapFree=7900/7900
[pid=13124] ppid=13122 vsize=1710864 CPUtime=1422.06 cores=0,2,4,6
/proc/13124/stat : 13124 (scip-2.0.1.4b_2) R 13122 13124 12511 0 -1 4202496 420737 0 0 0 142099 107 0 0 20 0 1 0 345493840 1751924736 423669 33554432000 4194304 9016284 140733377771280 140733377766440 6231264 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13124/statm: 427716 423669 686 1178 0 426534 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1710864
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/177 13177
/proc/meminfo: memFree=27767572/32873844 swapFree=7900/7900
[pid=13124] ppid=13122 vsize=1710864 CPUtime=1482.04 cores=0,2,4,6
/proc/13124/stat : 13124 (scip-2.0.1.4b_2) R 13122 13124 12511 0 -1 4202496 420739 0 0 0 148097 107 0 0 20 0 1 0 345493840 1751924736 423760 33554432000 4194304 9016284 140733377771280 140733377766440 6231264 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13124/statm: 427716 423760 686 1178 0 426534 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1710864
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/177 13177
/proc/meminfo: memFree=27766236/32873844 swapFree=7900/7900
[pid=13124] ppid=13122 vsize=1710864 CPUtime=1542.03 cores=0,2,4,6
/proc/13124/stat : 13124 (scip-2.0.1.4b_2) R 13122 13124 12511 0 -1 4202496 420742 0 0 0 154096 107 0 0 20 0 1 0 345493840 1751924736 424152 33554432000 4194304 9016284 140733377771280 140733377766440 6231248 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13124/statm: 427716 424152 686 1178 0 426534 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1710864
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/177 13177
/proc/meminfo: memFree=27615796/32873844 swapFree=7900/7900
[pid=13124] ppid=13122 vsize=1861236 CPUtime=1602.02 cores=0,2,4,6
/proc/13124/stat : 13124 (scip-2.0.1.4b_2) R 13122 13124 12511 0 -1 4202496 427518 0 0 0 160089 113 0 0 20 0 1 0 345493840 1905905664 459657 33554432000 4194304 9016284 140733377771280 140733377766440 6259807 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13124/statm: 465309 459657 696 1178 0 464127 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1861236
[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 2.01 3/177 13177
/proc/meminfo: memFree=27615080/32873844 swapFree=7900/7900
[pid=13124] ppid=13122 vsize=1861236 CPUtime=1662.01 cores=0,2,4,6
/proc/13124/stat : 13124 (scip-2.0.1.4b_2) R 13122 13124 12511 0 -1 4202496 427518 0 0 0 166084 117 0 0 20 0 1 0 345493840 1905905664 459835 33554432000 4194304 9016284 140733377771280 140733377765448 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13124/statm: 465309 459835 696 1178 0 464127 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 1861236
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 13178
/proc/meminfo: memFree=27612316/32873844 swapFree=7900/7900
[pid=13124] ppid=13122 vsize=1861236 CPUtime=1722.01 cores=0,2,4,6
/proc/13124/stat : 13124 (scip-2.0.1.4b_2) R 13122 13124 12511 0 -1 4202496 427518 0 0 0 172080 121 0 0 20 0 1 0 345493840 1905905664 460258 33554432000 4194304 9016284 140733377771280 140733377765192 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13124/statm: 465309 460258 696 1178 0 464127 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 1861236
[startup+1782.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 13178
/proc/meminfo: memFree=27609864/32873844 swapFree=7900/7900
[pid=13124] ppid=13122 vsize=1861236 CPUtime=1782 cores=0,2,4,6
/proc/13124/stat : 13124 (scip-2.0.1.4b_2) R 13122 13124 12511 0 -1 4202496 427518 0 0 0 178075 125 0 0 20 0 1 0 345493840 1905905664 460811 33554432000 4194304 9016284 140733377771280 140733377765848 4786576 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13124/statm: 465309 460811 696 1178 0 464127 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 1861236
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 13178
/proc/meminfo: memFree=27609352/32873844 swapFree=7900/7900
[pid=13124] ppid=13122 vsize=1861236 CPUtime=1791.6 cores=0,2,4,6
/proc/13124/stat : 13124 (scip-2.0.1.4b_2) R 13122 13124 12511 0 -1 4202496 427518 0 0 0 179034 126 0 0 20 0 1 0 345493840 1905905664 461010 33554432000 4194304 9016284 140733377771280 140733377765192 6606506 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13124/statm: 465309 461010 696 1178 0 464127 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 1861236
[startup+1795.1 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 13178
/proc/meminfo: memFree=27609228/32873844 swapFree=7900/7900
[pid=13124] ppid=13122 vsize=1861236 CPUtime=1794.8 cores=0,2,4,6
/proc/13124/stat : 13124 (scip-2.0.1.4b_2) R 13122 13124 12511 0 -1 4202496 427518 0 0 0 179354 126 0 0 20 0 1 0 345493840 1905905664 461010 33554432000 4194304 9016284 140733377771280 140733377765240 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13124/statm: 465309 461010 696 1178 0 464127 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 1861236
[startup+1798.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 13178
/proc/meminfo: memFree=27608840/32873844 swapFree=7900/7900
[pid=13124] ppid=13122 vsize=1861236 CPUtime=1797.99 cores=0,2,4,6
/proc/13124/stat : 13124 (scip-2.0.1.4b_2) R 13122 13124 12511 0 -1 4202496 427518 0 0 0 179673 126 0 0 20 0 1 0 345493840 1905905664 461053 33554432000 4194304 9016284 140733377771280 140733377765848 5878568 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13124/statm: 465309 461053 696 1178 0 464127 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 1861236
[startup+1799.1 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 13178
/proc/meminfo: memFree=27609088/32873844 swapFree=7900/7900
[pid=13124] ppid=13122 vsize=1861236 CPUtime=1798.79 cores=0,2,4,6
/proc/13124/stat : 13124 (scip-2.0.1.4b_2) R 13122 13124 12511 0 -1 4202496 427518 0 0 0 179753 126 0 0 20 0 1 0 345493840 1905905664 461053 33554432000 4194304 9016284 140733377771280 140733377765848 4777496 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13124/statm: 465309 461053 696 1178 0 464127 0
Current children cumulated CPU time (s) 1798.79
Current children cumulated vsize (KiB) 1861236
[startup+1799.5 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 13178
/proc/meminfo: memFree=27750028/32873844 swapFree=7900/7900
[pid=13124] ppid=13122 vsize=1710864 CPUtime=1799.2 cores=0,2,4,6
/proc/13124/stat : 13124 (scip-2.0.1.4b_2) R 13122 13124 12511 0 -1 4202496 427526 0 0 0 179793 127 0 0 20 0 1 0 345493840 1751924736 425748 33554432000 4194304 9016284 140733377771280 140733377765848 6812652 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13124/statm: 427716 425748 704 1178 0 426534 0
Current children cumulated CPU time (s) 1799.2
Current children cumulated vsize (KiB) 1710864
[startup+1799.7 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 13178
/proc/meminfo: memFree=27750028/32873844 swapFree=7900/7900
[pid=13124] ppid=13122 vsize=1067168 CPUtime=1799.39 cores=0,2,4,6
/proc/13124/stat : 13124 (scip-2.0.1.4b_2) R 13122 13124 12511 0 -1 4202496 427530 0 0 0 179811 128 0 0 20 0 1 0 345493840 1092780032 266250 33554432000 4194304 9016284 140733377771280 140733377765848 8107690 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13124/statm: 266792 266250 708 1178 0 265610 0
Current children cumulated CPU time (s) 1799.39
Current children cumulated vsize (KiB) 1067168
Child status: 0
Real time (s): 1799.7
CPU time (s): 1799.41
CPU user time (s): 1798.12
CPU system time (s): 1.2908
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 1861236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.12
system time used= 1.2908
maximum resident set size= 1844240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 427535
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= 33
involuntary context switches= 2050
runsolver used 2.73358 second user time and 7.38088 second system time
The end