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-3450849-1307085245.opb>
0.39/0.43 c original problem has 4500 variables (4500 bin, 0 int, 0 impl, 0 cont) and 72413 constraints
0.39/0.43 c problem read
0.39/0.43 c presolving settings loaded
0.49/0.51 c presolving:
0.79/0.89 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 70163 upgd conss, 415692 impls, 0 clqs
0.89/0.96 c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 72413 upgd conss, 415692 impls, 0 clqs
10.69/10.75 c (10.7s) probing: 1000/4500 (22.2%) - 0 fixings, 0 aggregations, 18393 implications, 0 bound changes
20.59/20.69 c (20.7s) probing: 2000/4500 (44.4%) - 0 fixings, 0 aggregations, 35514 implications, 0 bound changes
20.69/20.70 c (20.7s) probing: 2001/4500 (44.5%) - 0 fixings, 0 aggregations, 35532 implications, 0 bound changes
20.69/20.70 c (20.7s) probing aborted: 2000/2000 successive useless probings
20.69/20.70 c presolving (3 rounds):
20.69/20.70 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
20.69/20.70 c 547164 implications, 0 cliques
20.69/20.70 c presolved problem has 4500 variables (4500 bin, 0 int, 0 impl, 0 cont) and 72413 constraints
20.69/20.70 c 72288 constraints of type <setppc>
20.69/20.70 c 125 constraints of type <logicor>
20.69/20.70 c transformed objective value is always integral (scale: 1)
20.69/20.70 c Presolving Time: 20.21
20.69/20.70 c - non default parameters ----------------------------------------------------------------------
20.69/20.70 c # SCIP version 2.0.1.5
20.69/20.70 c
20.69/20.70 c # frequency for displaying node information lines
20.69/20.70 c # [type: int, range: [-1,2147483647], default: 100]
20.69/20.70 c display/freq = 10000
20.69/20.70 c
20.69/20.70 c # maximal time in seconds to run
20.69/20.70 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
20.69/20.70 c limits/time = 1800
20.69/20.70 c
20.69/20.70 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
20.69/20.70 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
20.69/20.70 c limits/memory = 13950
20.69/20.70 c
20.69/20.70 c # default clock type (1: CPU user seconds, 2: wall clock time)
20.69/20.70 c # [type: int, range: [1,2], default: 1]
20.69/20.70 c timing/clocktype = 2
20.69/20.70 c
20.69/20.70 c # belongs reading time to solving time?
20.69/20.70 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
20.69/20.70 c timing/reading = TRUE
20.69/20.70 c
20.69/20.70 c # should presolving try to simplify inequalities
20.69/20.70 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
20.69/20.70 c constraints/linear/simplifyinequalities = TRUE
20.69/20.70 c
20.69/20.70 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
20.69/20.70 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
20.69/20.70 c constraints/indicator/addCouplingCons = TRUE
20.69/20.70 c
20.69/20.70 c # should presolving try to simplify knapsacks
20.69/20.70 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
20.69/20.70 c constraints/knapsack/simplifyinequalities = TRUE
20.69/20.70 c
20.69/20.70 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
20.69/20.70 c # [type: int, range: [-1,2147483647], default: -1]
20.69/20.70 c separating/rapidlearning/freq = 0
20.69/20.70 c
20.69/20.70 c -----------------------------------------------------------------------------------------------
20.69/20.70 c start solving
20.69/20.71 c
23.89/23.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.89/23.95 c 24.0s| 1 | 0 | 2666 | - | 110M| 0 |2500 |4500 | 72k|4500 | 72k| 0 | 42 | 0 | 1.250000e+03 | -- | Inf
28.29/28.30 c 28.3s| 1 | 0 | 3925 | - | 110M| 0 |2478 |4500 | 72k|4500 | 72k| 23 | 42 | 0 | 1.261000e+03 | -- | Inf
30.49/30.53 c 30.5s| 1 | 0 | 4362 | - | 110M| 0 |2403 |4500 | 72k|4500 | 72k| 82 | 42 | 0 | 1.298500e+03 | -- | Inf
33.20/33.21 c 33.2s| 1 | 0 | 4729 | - | 110M| 0 |2373 |4500 | 72k|4500 | 72k| 116 | 42 | 0 | 1.313500e+03 | -- | Inf
36.20/36.25 c 36.3s| 1 | 0 | 5342 | - | 110M| 0 |2355 |4500 | 72k|4500 | 72k| 165 | 42 | 0 | 1.334000e+03 | -- | Inf
39.89/39.93 c 39.9s| 1 | 0 | 6069 | - | 110M| 0 |2305 |4500 | 72k|4500 | 72k| 202 | 42 | 0 | 1.351750e+03 | -- | Inf
43.49/43.55 c 43.6s| 1 | 0 | 6680 | - | 110M| 0 |2270 |4500 | 72k|4500 | 72k| 255 | 42 | 0 | 1.376250e+03 | -- | Inf
47.40/47.48 c 47.5s| 1 | 0 | 7323 | - | 110M| 0 |2220 |4500 | 72k|4500 | 72k| 306 | 42 | 0 | 1.395750e+03 | -- | Inf
51.29/51.36 c 51.4s| 1 | 0 | 8014 | - | 110M| 0 |2206 |4500 | 72k|4500 | 72k| 351 | 42 | 0 | 1.409083e+03 | -- | Inf
55.69/55.72 c 55.7s| 1 | 0 | 8690 | - | 111M| 0 |2164 |4500 | 72k|4500 | 72k| 389 | 42 | 0 | 1.424750e+03 | -- | Inf
60.30/60.35 c 60.4s| 1 | 0 | 9639 | - | 111M| 0 |2141 |4500 | 72k|4500 | 72k| 445 | 42 | 0 | 1.440983e+03 | -- | Inf
62.49/62.52 c 62.5s| 1 | 0 | 10540 | - | 111M| 0 |2092 |4500 | 72k|4500 | 72k| 502 | 42 | 0 | 1.463917e+03 | -- | Inf
65.09/65.13 c 65.1s| 1 | 0 | 11622 | - | 112M| 0 |2084 |4500 | 72k|4500 | 72k| 551 | 42 | 0 | 1.480922e+03 | -- | Inf
67.69/67.76 c 67.8s| 1 | 0 | 12774 | - | 112M| 0 |2041 |4500 | 72k|4500 | 73k| 597 | 42 | 0 | 1.496320e+03 | -- | Inf
70.30/70.37 c 70.4s| 1 | 0 | 13826 | - | 112M| 0 |2046 |4500 | 72k|4500 | 73k| 646 | 42 | 0 | 1.508810e+03 | -- | Inf
72.89/72.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
72.89/72.93 c 72.9s| 1 | 0 | 14868 | - | 113M| 0 |2058 |4500 | 72k|4500 | 73k| 701 | 42 | 0 | 1.523373e+03 | -- | Inf
76.09/76.12 c 76.1s| 1 | 0 | 16865 | - | 114M| 0 |2006 |4500 | 72k|4500 | 73k| 751 | 42 | 0 | 1.538033e+03 | -- | Inf
78.90/78.98 c 79.0s| 1 | 0 | 18310 | - | 114M| 0 |1970 |4500 | 72k|4500 | 73k| 809 | 42 | 0 | 1.550220e+03 | -- | Inf
81.70/81.72 c 81.7s| 1 | 0 | 19694 | - | 115M| 0 |1950 |4500 | 72k|4500 | 73k| 865 | 42 | 0 | 1.561034e+03 | -- | Inf
84.90/84.91 c 84.9s| 1 | 0 | 21558 | - | 115M| 0 |1912 |4500 | 72k|4500 | 73k| 914 | 42 | 0 | 1.569504e+03 | -- | Inf
87.59/87.65 c 87.7s| 1 | 0 | 22988 | - | 115M| 0 |1881 |4500 | 72k|4500 | 73k| 971 | 42 | 0 | 1.577042e+03 | -- | Inf
92.41/92.43 c 92.4s| 1 | 0 | 26587 | - | 116M| 0 |1888 |4500 | 72k|4500 | 73k|1023 | 42 | 0 | 1.587238e+03 | -- | Inf
95.20/95.24 c 95.2s| 1 | 0 | 28395 | - | 116M| 0 |1881 |4500 | 72k|4500 | 73k|1073 | 42 | 0 | 1.598214e+03 | -- | Inf
100.00/100.05 c 100s| 1 | 0 | 31706 | - | 116M| 0 |1851 |4500 | 72k|4500 | 73k|1127 | 42 | 0 | 1.607452e+03 | -- | Inf
102.59/102.61 c 103s| 1 | 0 | 33396 | - | 116M| 0 |1838 |4500 | 72k|4500 | 73k|1180 | 42 | 0 | 1.615312e+03 | -- | Inf
105.51/105.60 c 106s| 1 | 0 | 35516 | - | 117M| 0 |1839 |4500 | 72k|4500 | 73k|1244 | 42 | 0 | 1.624774e+03 | -- | Inf
108.20/108.23 c 108s| 1 | 0 | 37268 | - | 117M| 0 |1849 |4500 | 72k|4500 | 73k|1303 | 42 | 0 | 1.636100e+03 | -- | Inf
112.30/112.38 c 112s| 1 | 0 | 40711 | - | 117M| 0 |1766 |4500 | 72k|4500 | 73k|1362 | 42 | 0 | 1.645125e+03 | -- | Inf
115.70/115.74 c 116s| 1 | 0 | 43407 | - | 117M| 0 |1785 |4500 | 72k|4500 | 73k|1420 | 42 | 0 | 1.655756e+03 | -- | Inf
118.29/118.37 c 118s| 1 | 0 | 45387 | - | 117M| 0 |1733 |4500 | 72k|4500 | 73k|1487 | 42 | 0 | 1.665725e+03 | -- | Inf
121.80/121.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
121.80/121.87 c 122s| 1 | 0 | 47504 | - | 118M| 0 |1734 |4500 | 72k|4500 | 73k|1545 | 42 | 0 | 1.671697e+03 | -- | Inf
128.40/128.41 c 128s| 1 | 0 | 52634 | - | 118M| 0 |1733 |4500 | 72k|4500 | 73k|1598 | 42 | 0 | 1.676553e+03 | -- | Inf
131.90/131.94 c 132s| 1 | 0 | 55448 | - | 118M| 0 |1722 |4500 | 72k|4500 | 73k|1656 | 42 | 0 | 1.683193e+03 | -- | Inf
135.90/135.91 c 136s| 1 | 0 | 58477 | - | 119M| 0 |1748 |4500 | 72k|4500 | 73k|1716 | 42 | 0 | 1.686696e+03 | -- | Inf
142.29/142.39 c 142s| 1 | 0 | 63314 | - | 119M| 0 |1727 |4500 | 72k|4500 | 73k|1781 | 42 | 0 | 1.692971e+03 | -- | Inf
145.49/145.50 c 146s| 1 | 0 | 66138 | - | 119M| 0 |1741 |4500 | 72k|4500 | 73k|1836 | 42 | 0 | 1.699700e+03 | -- | Inf
147.89/147.93 c 148s| 1 | 0 | 67651 | - | 119M| 0 |1749 |4500 | 72k|4500 | 73k|1888 | 42 | 0 | 1.704667e+03 | -- | Inf
157.90/157.97 c 158s| 1 | 0 | 75031 | - | 120M| 0 |1770 |4500 | 72k|4500 | 73k|1942 | 42 | 0 | 1.709229e+03 | -- | Inf
164.59/164.65 c 165s| 1 | 0 | 79947 | - | 120M| 0 |1710 |4500 | 72k|4500 | 73k|1997 | 42 | 0 | 1.714214e+03 | -- | Inf
170.40/170.48 c 170s| 1 | 0 | 84332 | - | 120M| 0 |1712 |4500 | 72k|4500 | 73k|2057 | 42 | 0 | 1.718952e+03 | -- | Inf
173.50/173.57 c 174s| 1 | 0 | 86353 | - | 121M| 0 |1747 |4500 | 72k|4500 | 73k|2121 | 42 | 0 | 1.724893e+03 | -- | Inf
179.31/179.32 c 179s| 1 | 0 | 90114 | - | 121M| 0 |1707 |4500 | 72k|4500 | 73k|2174 | 42 | 0 | 1.729715e+03 | -- | Inf
184.00/184.06 c 184s| 1 | 0 | 93184 | - | 121M| 0 |1710 |4500 | 72k|4500 | 73k|2222 | 42 | 0 | 1.732875e+03 | -- | Inf
192.29/192.31 c 192s| 1 | 0 | 99865 | - | 121M| 0 |1664 |4500 | 72k|4500 | 73k|2274 | 42 | 0 | 1.738042e+03 | -- | Inf
198.70/198.71 c 199s| 1 | 0 |104887 | - | 122M| 0 |1671 |4500 | 72k|4500 | 73k|2329 | 42 | 0 | 1.743144e+03 | -- | Inf
205.39/205.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
205.39/205.46 c 205s| 1 | 0 |109851 | - | 122M| 0 |1650 |4500 | 72k|4500 | 73k|2380 | 42 | 0 | 1.748133e+03 | -- | Inf
210.60/210.69 c 211s| 1 | 0 |114621 | - | 123M| 0 |1712 |4500 | 72k|4500 | 73k|2444 | 42 | 0 | 1.752021e+03 | -- | Inf
218.10/218.13 c 218s| 1 | 0 |120953 | - | 123M| 0 |1697 |4500 | 72k|4500 | 73k|2502 | 42 | 0 | 1.759360e+03 | -- | Inf
221.39/221.40 c 221s| 1 | 0 |123392 | - | 123M| 0 |1629 |4500 | 72k|4500 | 73k|2563 | 42 | 0 | 1.763500e+03 | -- | Inf
226.51/226.61 c 227s| 1 | 0 |127042 | - | 124M| 0 |1663 |4500 | 72k|4500 | 73k|2618 | 42 | 0 | 1.766375e+03 | -- | Inf
232.11/232.12 c 232s| 1 | 0 |130317 | - | 124M| 0 |1661 |4500 | 72k|4500 | 73k|2670 | 42 | 0 | 1.769321e+03 | -- | Inf
236.30/236.32 c 236s| 1 | 0 |133173 | - | 124M| 0 |1597 |4500 | 72k|4500 | 73k|2728 | 42 | 0 | 1.775593e+03 | -- | Inf
243.11/243.14 c 243s| 1 | 0 |138599 | - | 124M| 0 |1633 |4500 | 72k|4500 | 73k|2786 | 42 | 0 | 1.781397e+03 | -- | Inf
247.41/247.49 c 247s| 1 | 0 |142033 | - | 125M| 0 |1710 |4500 | 72k|4500 | 73k|2852 | 42 | 0 | 1.787215e+03 | -- | Inf
254.70/254.72 c 255s| 1 | 0 |147439 | - | 125M| 0 |1655 |4500 | 72k|4500 | 73k|2909 | 42 | 0 | 1.793218e+03 | -- | Inf
263.00/263.07 c 263s| 1 | 0 |153786 | - | 125M| 0 |1614 |4500 | 72k|4500 | 73k|2964 | 42 | 0 | 1.798476e+03 | -- | Inf
268.90/268.98 c 269s| 1 | 0 |157095 | - | 126M| 0 |1630 |4500 | 72k|4500 | 73k|3018 | 42 | 0 | 1.803801e+03 | -- | Inf
275.02/275.06 c 275s| 1 | 0 |160578 | - | 126M| 0 |1612 |4500 | 72k|4500 | 73k|3072 | 42 | 0 | 1.805167e+03 | -- | Inf
282.10/282.10 c 282s| 1 | 0 |164388 | - | 126M| 0 |1601 |4500 | 72k|4500 | 73k|3132 | 42 | 0 | 1.807125e+03 | -- | Inf
303.51/303.61 c 304s| 1 | 0 |175762 | - | 126M| 0 |1594 |4500 | 72k|4500 | 73k|3198 | 42 | 0 | 1.808600e+03 | -- | Inf
308.30/308.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
308.30/308.35 c 308s| 1 | 0 |179225 | - | 127M| 0 |1581 |4500 | 72k|4500 | 74k|3280 | 42 | 0 | 1.814167e+03 | -- | Inf
312.50/312.56 c 313s| 1 | 0 |182097 | - | 127M| 0 |1611 |4500 | 72k|4500 | 74k|3341 | 42 | 0 | 1.817140e+03 | -- | Inf
322.21/322.30 c 322s| 1 | 0 |188709 | - | 127M| 0 |1658 |4500 | 72k|4500 | 73k|3398 | 42 | 0 | 1.819518e+03 | -- | Inf
325.10/325.20 c 325s| 1 | 0 |190360 | - | 128M| 0 |1586 |4500 | 72k|4500 | 73k|3446 | 42 | 0 | 1.821407e+03 | -- | Inf
329.40/329.41 c 329s| 1 | 0 |193301 | - | 128M| 0 |1555 |4500 | 72k|4500 | 73k|3516 | 42 | 0 | 1.825974e+03 | -- | Inf
348.50/348.55 c 349s| 1 | 0 |204082 | - | 128M| 0 |1587 |4500 | 72k|4500 | 74k|3573 | 42 | 0 | 1.829155e+03 | -- | Inf
352.50/352.57 c 353s| 1 | 0 |207337 | - | 129M| 0 |1638 |4500 | 72k|4500 | 74k|3637 | 42 | 0 | 1.833183e+03 | -- | Inf
360.31/360.36 c 360s| 1 | 0 |212652 | - | 129M| 0 |1654 |4500 | 72k|4500 | 74k|3694 | 42 | 0 | 1.837234e+03 | -- | Inf
366.00/366.06 c 366s| 1 | 0 |216681 | - | 129M| 0 |1655 |4500 | 72k|4500 | 73k|3760 | 42 | 0 | 1.840192e+03 | -- | Inf
385.70/385.74 c 386s| 1 | 0 |227760 | - | 130M| 0 |1667 |4500 | 72k|4500 | 74k|3827 | 42 | 0 | 1.842067e+03 | -- | Inf
390.70/390.70 c 391s| 1 | 0 |230731 | - | 130M| 0 |1628 |4500 | 72k|4500 | 74k|3888 | 42 | 0 | 1.844692e+03 | -- | Inf
402.01/402.04 c 402s| 1 | 0 |238544 | - | 130M| 0 |1669 |4500 | 72k|4500 | 74k|3941 | 42 | 0 | 1.846130e+03 | -- | Inf
408.12/408.17 c 408s| 1 | 0 |241978 | - | 131M| 0 |1779 |4500 | 72k|4500 | 74k|3997 | 42 | 0 | 1.847407e+03 | -- | Inf
415.30/415.35 c 415s| 1 | 0 |245701 | - | 131M| 0 |1772 |4500 | 72k|4500 | 74k|4052 | 42 | 0 | 1.849581e+03 | -- | Inf
424.51/424.56 c 425s| 1 | 0 |250872 | - | 131M| 0 |1704 |4500 | 72k|4500 | 74k|4114 | 42 | 0 | 1.851729e+03 | -- | Inf
433.21/433.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
433.21/433.26 c 433s| 1 | 0 |256306 | - | 132M| 0 |1684 |4500 | 72k|4500 | 74k|4172 | 42 | 0 | 1.856208e+03 | -- | Inf
441.40/441.40 c 441s| 1 | 0 |261853 | - | 132M| 0 |1664 |4500 | 72k|4500 | 74k|4241 | 42 | 0 | 1.859220e+03 | -- | Inf
448.61/448.65 c 449s| 1 | 0 |265973 | - | 132M| 0 |1690 |4500 | 72k|4500 | 74k|4304 | 42 | 0 | 1.861143e+03 | -- | Inf
457.40/457.41 c 457s| 1 | 0 |271546 | - | 133M| 0 |1757 |4500 | 72k|4500 | 74k|4352 | 42 | 0 | 1.862763e+03 | -- | Inf
470.20/470.20 c 470s| 1 | 0 |278791 | - | 133M| 0 |1777 |4500 | 72k|4500 | 74k|4397 | 42 | 0 | 1.864060e+03 | -- | Inf
485.50/485.53 c 486s| 1 | 0 |287233 | - | 133M| 0 |1729 |4500 | 72k|4500 | 74k|4450 | 42 | 0 | 1.867050e+03 | -- | Inf
492.11/492.17 c 492s| 1 | 0 |291280 | - | 134M| 0 |1781 |4500 | 72k|4500 | 74k|4500 | 42 | 0 | 1.869354e+03 | -- | Inf
498.01/498.04 c 498s| 1 | 0 |294824 | - | 134M| 0 |1801 |4500 | 72k|4500 | 74k|4558 | 42 | 0 | 1.871819e+03 | -- | Inf
507.50/507.50 c 507s| 1 | 0 |299851 | - | 135M| 0 |1782 |4500 | 72k|4500 | 74k|4617 | 42 | 0 | 1.874544e+03 | -- | Inf
518.20/518.29 c 518s| 1 | 0 |306529 | - | 135M| 0 |1819 |4500 | 72k|4500 | 74k|4680 | 42 | 0 | 1.875896e+03 | -- | Inf
525.61/525.63 c 526s| 1 | 0 |310701 | - | 135M| 0 |1778 |4500 | 72k|4500 | 74k|4731 | 42 | 0 | 1.877185e+03 | -- | Inf
538.01/538.06 c 538s| 1 | 0 |317634 | - | 136M| 0 |1849 |4500 | 72k|4500 | 74k|4779 | 42 | 0 | 1.878650e+03 | -- | Inf
545.81/545.83 c 546s| 1 | 0 |322690 | - | 136M| 0 |1773 |4500 | 72k|4500 | 74k|4822 | 42 | 0 | 1.881248e+03 | -- | Inf
553.41/553.49 c 553s| 1 | 0 |327365 | - | 136M| 0 |1821 |4500 | 72k|4500 | 74k|4883 | 42 | 0 | 1.883488e+03 | -- | Inf
561.02/561.05 c 561s| 1 | 0 |332235 | - | 137M| 0 |1816 |4500 | 72k|4500 | 74k|4944 | 42 | 0 | 1.885877e+03 | -- | Inf
567.30/567.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
567.30/567.39 c 567s| 1 | 0 |335520 | - | 137M| 0 |1866 |4500 | 72k|4500 | 74k|4993 | 42 | 0 | 1.888839e+03 | -- | Inf
586.01/586.02 c 586s| 1 | 0 |345633 | - | 137M| 0 |1856 |4500 | 72k|4500 | 74k|5038 | 42 | 0 | 1.889913e+03 | -- | Inf
592.31/592.37 c 592s| 1 | 0 |349131 | - | 138M| 0 |1818 |4500 | 72k|4500 | 74k|5085 | 42 | 0 | 1.890851e+03 | -- | Inf
602.61/602.60 c 603s| 1 | 0 |354347 | - | 138M| 0 |1882 |4500 | 72k|4500 | 74k|5133 | 42 | 0 | 1.892230e+03 | -- | Inf
631.81/631.80 c 632s| 1 | 0 |366045 | - | 138M| 0 |1886 |4500 | 72k|4500 | 74k|5185 | 42 | 0 | 1.895006e+03 | -- | Inf
641.01/641.04 c 641s| 1 | 0 |370594 | - | 138M| 0 |1918 |4500 | 72k|4500 | 74k|5223 | 42 | 0 | 1.896182e+03 | -- | Inf
651.12/651.20 c 651s| 1 | 0 |376211 | - | 139M| 0 |1894 |4500 | 72k|4500 | 74k|5274 | 42 | 0 | 1.897627e+03 | -- | Inf
660.31/660.36 c 660s| 1 | 0 |382640 | - | 139M| 0 |1916 |4500 | 72k|4500 | 74k|5323 | 42 | 0 | 1.899466e+03 | -- | Inf
671.21/671.21 c 671s| 1 | 0 |387998 | - | 139M| 0 |1835 |4500 | 72k|4500 | 74k|5372 | 42 | 0 | 1.901352e+03 | -- | Inf
683.61/683.65 c 684s| 1 | 0 |394143 | - | 140M| 0 |1804 |4500 | 72k|4500 | 74k|5410 | 42 | 0 | 1.901649e+03 | -- | Inf
692.01/692.01 c 692s| 1 | 0 |397999 | - | 140M| 0 |1897 |4500 | 72k|4500 | 74k|5455 | 42 | 0 | 1.901968e+03 | -- | Inf
705.71/705.79 c 706s| 1 | 0 |404146 | - | 141M| 0 |1856 |4500 | 72k|4500 | 74k|5501 | 42 | 0 | 1.903077e+03 | -- | Inf
717.61/717.63 c 718s| 1 | 0 |409703 | - | 141M| 0 |1913 |4500 | 72k|4500 | 74k|5541 | 42 | 0 | 1.904855e+03 | -- | Inf
730.32/730.32 c 730s| 1 | 0 |415875 | - | 141M| 0 |1940 |4500 | 72k|4500 | 74k|5585 | 42 | 0 | 1.905697e+03 | -- | Inf
738.81/738.85 c 739s| 1 | 0 |419384 | - | 142M| 0 |1911 |4500 | 72k|4500 | 74k|5617 | 42 | 0 | 1.907236e+03 | -- | Inf
748.91/748.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
748.91/748.93 c 749s| 1 | 0 |424455 | - | 142M| 0 |1916 |4500 | 72k|4500 | 74k|5651 | 42 | 0 | 1.908677e+03 | -- | Inf
757.93/757.94 c 758s| 1 | 0 |428658 | - | 142M| 0 |1942 |4500 | 72k|4500 | 74k|5690 | 42 | 0 | 1.909567e+03 | -- | Inf
769.61/769.61 c 770s| 1 | 0 |433878 | - | 142M| 0 |2012 |4500 | 72k|4500 | 74k|5740 | 42 | 0 | 1.911361e+03 | -- | Inf
797.02/797.04 c 797s| 1 | 0 |444496 | - | 143M| 0 |1982 |4500 | 72k|4500 | 74k|5777 | 42 | 0 | 1.912674e+03 | -- | Inf
814.42/814.48 c 814s| 1 | 0 |451879 | - | 143M| 0 |1925 |4500 | 72k|4500 | 74k|5815 | 42 | 0 | 1.914236e+03 | -- | Inf
830.72/830.75 c 831s| 1 | 0 |458853 | - | 143M| 0 |1951 |4500 | 72k|4500 | 74k|5850 | 42 | 0 | 1.914636e+03 | -- | Inf
839.62/839.64 c 840s| 1 | 0 |463135 | - | 143M| 0 |1946 |4500 | 72k|4500 | 74k|5880 | 42 | 0 | 1.916046e+03 | -- | Inf
847.03/847.02 c 847s| 1 | 0 |466452 | - | 143M| 0 |1952 |4500 | 72k|4500 | 74k|5914 | 42 | 0 | 1.916684e+03 | -- | Inf
860.52/860.50 c 861s| 1 | 0 |472115 | - | 143M| 0 |1953 |4500 | 72k|4500 | 74k|5946 | 42 | 0 | 1.917523e+03 | -- | Inf
872.92/872.96 c 873s| 1 | 0 |477738 | - | 143M| 0 |2065 |4500 | 72k|4500 | 74k|5984 | 42 | 0 | 1.918200e+03 | -- | Inf
890.72/890.70 c 891s| 1 | 0 |485852 | - | 143M| 0 |2004 |4500 | 72k|4500 | 74k|6015 | 42 | 0 | 1.919565e+03 | -- | Inf
903.31/903.30 c 903s| 1 | 0 |491495 | - | 143M| 0 |1989 |4500 | 72k|4500 | 74k|6045 | 42 | 0 | 1.921053e+03 | -- | Inf
922.22/922.27 c 922s| 1 | 0 |500143 | - | 142M| 0 |1995 |4500 | 72k|4500 | 74k|6078 | 42 | 0 | 1.922173e+03 | -- | Inf
936.72/936.79 c 937s| 1 | 0 |507698 | - | 142M| 0 |2027 |4500 | 72k|4500 | 74k|6108 | 42 | 0 | 1.922749e+03 | -- | Inf
966.22/966.23 c 966s| 1 | 0 |519507 | - | 142M| 0 |1980 |4500 | 72k|4500 | 74k|6139 | 42 | 0 | 1.923779e+03 | -- | Inf
982.33/982.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
982.33/982.34 c 982s| 1 | 0 |528537 | - | 142M| 0 |1993 |4500 | 72k|4500 | 74k|6166 | 42 | 0 | 1.925302e+03 | -- | Inf
995.82/995.81 c 996s| 1 | 0 |534768 | - | 142M| 0 |1988 |4500 | 72k|4500 | 74k|6204 | 42 | 0 | 1.926655e+03 | -- | Inf
1021.32/1021.38 c 1021s| 1 | 0 |545972 | - | 143M| 0 |2006 |4500 | 72k|4500 | 74k|6229 | 42 | 0 | 1.927795e+03 | -- | Inf
1045.82/1045.89 c 1046s| 1 | 0 |556780 | - | 143M| 0 |1989 |4500 | 72k|4500 | 74k|6261 | 42 | 0 | 1.928577e+03 | -- | Inf
1056.04/1056.02 c 1056s| 1 | 0 |561654 | - | 143M| 0 |2006 |4500 | 72k|4500 | 74k|6284 | 42 | 0 | 1.929249e+03 | -- | Inf
1067.72/1067.70 c 1068s| 1 | 0 |567316 | - | 143M| 0 |1982 |4500 | 72k|4500 | 74k|6314 | 42 | 0 | 1.930327e+03 | -- | Inf
1078.52/1078.53 c 1079s| 1 | 0 |571680 | - | 143M| 0 |1978 |4500 | 72k|4500 | 74k|6353 | 42 | 0 | 1.931786e+03 | -- | Inf
1090.52/1090.59 c 1091s| 1 | 0 |577173 | - | 143M| 0 |1996 |4500 | 72k|4500 | 74k|6394 | 42 | 0 | 1.932257e+03 | -- | Inf
1103.53/1103.50 c 1103s| 1 | 0 |582456 | - | 144M| 0 |2046 |4500 | 72k|4500 | 74k|6424 | 42 | 0 | 1.932437e+03 | -- | Inf
1122.92/1122.90 c 1123s| 1 | 0 |589874 | - | 144M| 0 |2119 |4500 | 72k|4500 | 74k|6456 | 42 | 0 | 1.932875e+03 | -- | Inf
1151.92/1151.93 c 1152s| 1 | 0 |600125 | - | 144M| 0 |2089 |4500 | 72k|4500 | 74k|6481 | 42 | 0 | 1.933313e+03 | -- | Inf
1175.42/1175.44 c 1175s| 1 | 0 |608639 | - | 144M| 0 |2053 |4500 | 72k|4500 | 74k|6505 | 42 | 0 | 1.934194e+03 | -- | Inf
1200.43/1200.46 c 1200s| 1 | 0 |619052 | - | 144M| 0 |2046 |4500 | 72k|4500 | 74k|6529 | 42 | 0 | 1.934518e+03 | -- | Inf
1209.13/1209.18 c 1209s| 1 | 0 |623528 | - | 145M| 0 |2045 |4500 | 72k|4500 | 74k|6558 | 42 | 0 | 1.935192e+03 | -- | Inf
1229.74/1229.80 c 1230s| 1 | 0 |633551 | - | 145M| 0 |2073 |4500 | 72k|4500 | 74k|6581 | 42 | 0 | 1.936165e+03 | -- | Inf
1257.63/1257.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1257.63/1257.63 c 1258s| 1 | 0 |644204 | - | 145M| 0 |2045 |4500 | 72k|4500 | 74k|6606 | 42 | 0 | 1.937489e+03 | -- | Inf
1272.83/1272.85 c 1273s| 1 | 0 |649840 | - | 145M| 0 |2034 |4500 | 72k|4500 | 74k|6628 | 42 | 0 | 1.937555e+03 | -- | Inf
1295.74/1295.75 c 1296s| 1 | 0 |658445 | - | 145M| 0 |2062 |4500 | 72k|4500 | 74k|6653 | 42 | 0 | 1.937671e+03 | -- | Inf
1330.83/1330.86 c 1331s| 1 | 0 |668748 | - | 145M| 0 |2039 |4500 | 72k|4500 | 74k|6683 | 42 | 0 | 1.938728e+03 | -- | Inf
1353.73/1353.70 c 1354s| 1 | 0 |679217 | - | 145M| 0 |2010 |4500 | 72k|4500 | 74k|6717 | 42 | 0 | 1.939700e+03 | -- | Inf
1362.13/1362.12 c 1362s| 1 | 0 |683417 | - | 145M| 0 |2012 |4500 | 72k|4500 | 74k|6742 | 42 | 0 | 1.940566e+03 | -- | Inf
1374.84/1374.86 c 1375s| 1 | 0 |688882 | - | 145M| 0 |2018 |4500 | 72k|4500 | 74k|6767 | 42 | 0 | 1.941600e+03 | -- | Inf
1384.73/1384.75 c 1385s| 1 | 0 |693243 | - | 146M| 0 |2032 |4500 | 72k|4500 | 74k|6794 | 42 | 0 | 1.942284e+03 | -- | Inf
1403.83/1403.88 c 1404s| 1 | 0 |700287 | - | 146M| 0 |1998 |4500 | 72k|4500 | 74k|6821 | 42 | 0 | 1.943312e+03 | -- | Inf
1412.93/1412.98 c 1413s| 1 | 0 |703920 | - | 146M| 0 |1978 |4500 | 72k|4500 | 74k|6842 | 42 | 0 | 1.944137e+03 | -- | Inf
1425.33/1425.31 c 1425s| 1 | 0 |709636 | - | 146M| 0 |2018 |4500 | 72k|4500 | 75k|6867 | 42 | 0 | 1.944795e+03 | -- | Inf
1437.75/1437.72 c 1438s| 1 | 0 |715325 | - | 146M| 0 |2040 |4500 | 72k|4500 | 74k|6895 | 42 | 0 | 1.945332e+03 | -- | Inf
1449.63/1449.61 c 1450s| 1 | 0 |720954 | - | 146M| 0 |2049 |4500 | 72k|4500 | 74k|6918 | 42 | 0 | 1.946023e+03 | -- | Inf
1468.93/1468.94 c 1469s| 1 | 0 |725031 | - | 146M| 0 |2042 |4500 | 72k|4500 | 75k|6946 | 42 | 0 | 1.946328e+03 | -- | Inf
1488.24/1488.30 c 1488s| 1 | 0 |729172 | - | 147M| 0 |2045 |4500 | 72k|4500 | 75k|6970 | 42 | 0 | 1.947009e+03 | -- | Inf
1510.13/1510.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1510.13/1510.11 c 1510s| 1 | 0 |734821 | - | 146M| 0 |2027 |4500 | 72k|4500 | 75k|6992 | 42 | 0 | 1.947515e+03 | -- | Inf
1531.54/1531.52 c 1532s| 1 | 0 |739320 | - | 146M| 0 |2046 |4500 | 72k|4500 | 75k|7007 | 42 | 0 | 1.947957e+03 | -- | Inf
1542.64/1542.67 c 1543s| 1 | 0 |742391 | - | 146M| 0 |2053 |4500 | 72k|4500 | 74k|7027 | 42 | 0 | 1.948604e+03 | -- | Inf
1554.35/1554.31 c 1554s| 1 | 0 |746415 | - | 146M| 0 |2067 |4500 | 72k|4500 | 74k|7046 | 42 | 0 | 1.949416e+03 | -- | Inf
1588.74/1588.71 c 1589s| 1 | 0 |752377 | - | 146M| 0 |2055 |4500 | 72k|4500 | 74k|7068 | 42 | 0 | 1.950198e+03 | -- | Inf
1598.44/1598.42 c 1598s| 1 | 0 |756237 | - | 147M| 0 |2065 |4500 | 72k|4500 | 75k|7093 | 42 | 0 | 1.950805e+03 | -- | Inf
1626.34/1626.36 c 1626s| 1 | 0 |762750 | - | 146M| 0 |2050 |4500 | 72k|4500 | 75k|7116 | 42 | 0 | 1.951458e+03 | -- | Inf
1636.94/1636.97 c 1637s| 1 | 0 |767136 | - | 147M| 0 |2055 |4500 | 72k|4500 | 75k|7137 | 42 | 0 | 1.952058e+03 | -- | Inf
1663.25/1663.28 c 1663s| 1 | 0 |770520 | - | 147M| 0 |2044 |4500 | 72k|4500 | 74k|7156 | 42 | 0 | 1.952858e+03 | -- | Inf
1672.34/1672.39 c 1672s| 1 | 0 |774286 | - | 147M| 0 |2061 |4500 | 72k|4500 | 74k|7177 | 42 | 0 | 1.953669e+03 | -- | Inf
1711.55/1711.60 c 1712s| 1 | 0 |777012 | - | 147M| 0 |2057 |4500 | 72k|4500 | 74k|7195 | 42 | 0 | 1.954555e+03 | -- | Inf
1727.25/1727.20 c 1727s| 1 | 0 |782891 | - | 147M| 0 |2049 |4500 | 72k|4500 | 75k|7217 | 42 | 0 | 1.955224e+03 | -- | Inf
1759.64/1759.62 c 1760s| 1 | 0 |786409 | - | 147M| 0 |2071 |4500 | 72k|4500 | 75k|7237 | 42 | 0 | 1.955468e+03 | -- | Inf
1772.54/1772.53 c 1773s| 1 | 0 |791461 | - | 147M| 0 |2073 |4500 | 72k|4500 | 75k|7254 | 42 | 0 | 1.956186e+03 | -- | Inf
1794.64/1794.69 c 1795s| 1 | 0 |795161 | - | 147M| 0 |2068 |4500 | 72k|4500 | 74k|7271 | 42 | 0 | 1.956633e+03 | -- | Inf
1800.04/1800.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1800.04/1800.01 c 1800s| 1 | 0 |795513 | - | 148M| 0 | - |4500 | 72k|4500 | 74k|7288 | 42 | 0 | 1.956633e+03 | -- | Inf
1800.05/1800.03 c 1800s| 1 | 2 |795513 | - | 148M| 0 | - |4500 | 72k|4500 | 74k|7288 | 42 | 0 | 1.956633e+03 | -- | Inf
1800.05/1800.03 c
1800.05/1800.03 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.03 c Solving Time (sec) : 1800.03
1800.05/1800.03 c Solving Nodes : 1
1800.05/1800.03 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.03 c Dual Bound : +1.95663253903717e+03
1800.05/1800.03 c Gap : infinite
1800.05/1800.03 s UNKNOWN
1800.05/1800.03 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.03 c Total Time : 1800.03
1800.05/1800.03 c solving : 1800.03
1800.05/1800.03 c presolving : 20.21 (included in solving)
1800.05/1800.03 c reading : 0.43 (included in solving)
1800.05/1800.03 c Original Problem :
1800.05/1800.03 c Problem name : HOME/instance-3450849-1307085245.opb
1800.05/1800.03 c Variables : 4500 (4500 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.03 c Constraints : 72413 initial, 72413 maximal
1800.05/1800.03 c Presolved Problem :
1800.05/1800.03 c Problem name : t_HOME/instance-3450849-1307085245.opb
1800.05/1800.03 c Variables : 4500 (4500 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.03 c Constraints : 72413 initial, 72455 maximal
1800.05/1800.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.05/1800.03 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.03 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.03 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.03 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.03 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.03 c probing : 19.71 0 0 0 0 0 0 0 0 0
1800.05/1800.03 c setppc : 0.08 0 0 0 0 0 0 0 0 0
1800.05/1800.03 c linear : 0.34 0 0 0 0 0 0 0 0 0
1800.05/1800.03 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.03 c root node : - 0 - - 0 - - - - -
1800.05/1800.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.05/1800.03 c integral : 0 0 0 0 0 4 0 0 0 0 0 0
1800.05/1800.03 c setppc : 72288 165 6906 0 1 3 2445 1 0 0 0 0
1800.05/1800.03 c logicor : 125+ 165 894 0 1 0 622 14 0 0 0 0
1800.05/1800.03 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1800.05/1800.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.05/1800.03 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.05/1800.03 c setppc : 18.49 0.93 17.53 0.00 0.02 0.01 0.00
1800.05/1800.03 c logicor : 0.03 0.00 0.03 0.00 0.00 0.00 0.00
1800.05/1800.03 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.05/1800.03 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.05/1800.03 c vbounds : 0 0 0 0
1800.05/1800.03 c rootredcost : 0 0 0 0
1800.05/1800.03 c pseudoobj : 1071 0 0 0
1800.05/1800.03 c Propagator Timings : TotalTime Propagate Resprop
1800.05/1800.03 c vbounds : 0.00 0.00 0.00
1800.05/1800.03 c rootredcost : 0.00 0.00 0.00
1800.05/1800.03 c pseudoobj : 0.01 0.01 0.00
1800.05/1800.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.03 c propagation : 0.00 15 15 115 91.2 0 0.0 -
1800.05/1800.03 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.03 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.03 c applied globally : - - - 42 62.7 - - -
1800.05/1800.03 c applied locally : - - - 0 0.0 - - -
1800.05/1800.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.03 c cut pool : 0.80 164 - - 3957 - (maximal pool size: 15621)
1800.05/1800.03 c redcost : 0.02 165 0 0 0 0
1800.05/1800.03 c impliedbounds : 0.76 165 0 0 0 0
1800.05/1800.03 c intobj : 0.00 0 0 0 0 0
1800.05/1800.03 c gomory : 350.75 165 0 0 82173 0
1800.05/1800.03 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.03 c closecuts : 0.00 0 0 0 0 0
1800.05/1800.03 c strongcg : 4.73 20 0 0 10000 0
1800.05/1800.03 c cmir : 7.58 10 0 0 0 0
1800.05/1800.03 c flowcover : 8.23 10 0 0 0 0
1800.05/1800.03 c clique : 14.42 165 0 0 1609 0
1800.05/1800.03 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.03 c mcf : 0.08 1 0 0 0 0
1800.05/1800.03 c oddcycle : 0.00 0 0 0 0 0
1800.05/1800.03 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.03 c Pricers : Time Calls Vars
1800.05/1800.03 c problem variables: 0.00 0 0
1800.05/1800.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.03 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.03 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.03 c inference : 0.00 1 0 0 0 0 2
1800.05/1800.03 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.03 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.03 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.03 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.03 c random : 0.00 0 0 0 0 0 0
1800.05/1800.03 c Primal Heuristics : Time Calls Found
1800.05/1800.03 c LP solutions : 0.00 - 0
1800.05/1800.03 c pseudo solutions : 0.00 - 0
1800.05/1800.03 c oneopt : 0.00 0 0
1800.05/1800.03 c trivial : 0.03 2 0
1800.05/1800.03 c shiftandpropagate: 0.86 1 0
1800.05/1800.03 c simplerounding : 0.00 0 0
1800.05/1800.03 c zirounding : 0.00 0 0
1800.05/1800.03 c rounding : 0.77 100 0
1800.05/1800.03 c shifting : 14.67 100 0
1800.05/1800.03 c intshifting : 0.00 0 0
1800.05/1800.03 c twoopt : 0.00 0 0
1800.05/1800.03 c fixandinfer : 0.00 0 0
1800.05/1800.03 c feaspump : 1.89 1 0
1800.05/1800.03 c clique : 0.00 0 0
1800.05/1800.03 c coefdiving : 0.00 0 0
1800.05/1800.03 c pscostdiving : 0.00 0 0
1800.05/1800.03 c fracdiving : 0.00 0 0
1800.05/1800.03 c veclendiving : 0.00 0 0
1800.05/1800.03 c intdiving : 0.00 0 0
1800.05/1800.03 c actconsdiving : 0.00 0 0
1800.05/1800.03 c objpscostdiving : 0.00 0 0
1800.05/1800.03 c rootsoldiving : 0.00 0 0
1800.05/1800.03 c linesearchdiving : 0.00 0 0
1800.05/1800.03 c guideddiving : 0.00 0 0
1800.05/1800.03 c octane : 0.00 0 0
1800.05/1800.03 c rens : 0.00 0 0
1800.05/1800.03 c rins : 0.00 0 0
1800.05/1800.03 c localbranching : 0.00 0 0
1800.05/1800.03 c mutation : 0.00 0 0
1800.05/1800.03 c crossover : 0.00 0 0
1800.05/1800.03 c dins : 0.00 0 0
1800.05/1800.03 c vbounds : 0.00 0 0
1800.05/1800.03 c undercover : 0.00 0 0
1800.05/1800.03 c subnlp : 0.00 0 0
1800.05/1800.03 c trysol : 0.00 0 0
1800.05/1800.03 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.03 c primal LP : 0.69 0 0 0.00 0.00
1800.05/1800.03 c dual LP : 1369.82 166 794576 4786.60 580.06
1800.05/1800.03 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.03 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.03 c diving/probing LP: 1.42 69 937 13.58 658.57
1800.05/1800.03 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.03 c (at root node) : - 0 0 0.00 -
1800.05/1800.03 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.03 c B&B Tree :
1800.05/1800.03 c number of runs : 1
1800.05/1800.03 c nodes : 1
1800.05/1800.03 c nodes (total) : 1
1800.05/1800.03 c nodes left : 2
1800.05/1800.03 c max depth : 0
1800.05/1800.03 c max depth (total): 0
1800.05/1800.03 c backtracks : 0 (0.0%)
1800.05/1800.03 c delayed cutoffs : 0
1800.05/1800.03 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.05/1800.03 c avg switch length: 1.00
1800.05/1800.03 c switching time : 0.00
1800.05/1800.03 c Solution :
1800.05/1800.03 c Solutions found : 0 (0 improvements)
1800.05/1800.03 c Primal Bound : -
1800.05/1800.03 c Dual Bound : +1.95663253903717e+03
1800.05/1800.03 c Gap : infinite
1800.05/1800.03 c Root Dual Bound : +1.95663253903717e+03
1800.05/1800.03 c Root Iterations : 795513
1800.24/1800.21 c Time complete: 1800.26.
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-3450849-1307085245/watcher-3450849-1307085245 -o /tmp/evaluation-result-3450849-1307085245/solver-3450849-1307085245 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450849-1307085245.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: 1.97 2.02 1.99 2/453 15609
/proc/meminfo: memFree=31817172/32951124 swapFree=55639044/67111528
[pid=15609] ppid=15607 vsize=15372 CPUtime=0 cores=1,3,5,7
/proc/15609/stat : 15609 (scip-2.0.1.4b.l) R 15607 15609 12722 0 -1 4202496 2849 0 0 0 0 0 0 0 25 0 1 0 820122433 15740928 2802 33554432000 4194304 9163163 140735059342160 18446744073709551615 8018320 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15609/statm: 3843 2803 389 1214 0 2625 0
[startup+0.067808 s]
/proc/loadavg: 1.97 2.02 1.99 2/453 15609
/proc/meminfo: memFree=31817172/32951124 swapFree=55639044/67111528
[pid=15609] ppid=15607 vsize=22020 CPUtime=0.06 cores=1,3,5,7
/proc/15609/stat : 15609 (scip-2.0.1.4b.l) R 15607 15609 12722 0 -1 4202496 4506 0 0 0 6 0 0 0 25 0 1 0 820122433 22548480 4459 33554432000 4194304 9163163 140735059342160 18446744073709551615 8041839 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15609/statm: 5505 4459 395 1214 0 4287 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 22020
[startup+0.100802 s]
/proc/loadavg: 1.97 2.02 1.99 2/453 15609
/proc/meminfo: memFree=31817172/32951124 swapFree=55639044/67111528
[pid=15609] ppid=15607 vsize=23444 CPUtime=0.09 cores=1,3,5,7
/proc/15609/stat : 15609 (scip-2.0.1.4b.l) R 15607 15609 12722 0 -1 4202496 4873 0 0 0 9 0 0 0 25 0 1 0 820122433 24006656 4826 33554432000 4194304 9163163 140735059342160 18446744073709551615 8041824 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15609/statm: 5861 4826 395 1214 0 4643 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23444
[startup+0.300776 s]
/proc/loadavg: 1.97 2.02 1.99 2/453 15609
/proc/meminfo: memFree=31817172/32951124 swapFree=55639044/67111528
[pid=15609] ppid=15607 vsize=36376 CPUtime=0.29 cores=1,3,5,7
/proc/15609/stat : 15609 (scip-2.0.1.4b.l) R 15607 15609 12722 0 -1 4202496 8105 0 0 0 29 0 0 0 25 0 1 0 820122433 37249024 8055 33554432000 4194304 9163163 140735059342160 18446744073709551615 4667585 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15609/statm: 9094 8055 395 1214 0 7876 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36376
[startup+0.700692 s]
/proc/loadavg: 1.97 2.02 1.99 2/453 15609
/proc/meminfo: memFree=31817172/32951124 swapFree=55639044/67111528
[pid=15609] ppid=15607 vsize=113932 CPUtime=0.69 cores=1,3,5,7
/proc/15609/stat : 15609 (scip-2.0.1.4b.l) R 15607 15609 12722 0 -1 4202496 27116 0 0 0 66 3 0 0 25 0 1 0 820122433 116666368 27065 33554432000 4194304 9163163 140735059342160 18446744073709551615 8045126 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15609/statm: 28483 27065 497 1214 0 27265 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 113932
[startup+1.50055 s]
/proc/loadavg: 1.97 2.02 1.99 3/454 15610
/proc/meminfo: memFree=31692060/32951124 swapFree=55639044/67111528
[pid=15609] ppid=15607 vsize=131924 CPUtime=1.49 cores=1,3,5,7
/proc/15609/stat : 15609 (scip-2.0.1.4b.l) R 15607 15609 12722 0 -1 4202496 37296 0 0 0 145 4 0 0 25 0 1 0 820122433 135090176 31559 33554432000 4194304 9163163 140735059342160 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15609/statm: 32981 31559 533 1214 0 31763 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 131924
[startup+3.10026 s]
/proc/loadavg: 1.97 2.02 1.99 3/454 15610
/proc/meminfo: memFree=31691068/32951124 swapFree=55639044/67111528
[pid=15609] ppid=15607 vsize=131924 CPUtime=3.09 cores=1,3,5,7
/proc/15609/stat : 15609 (scip-2.0.1.4b.l) R 15607 15609 12722 0 -1 4202496 37299 0 0 0 305 4 0 0 25 0 1 0 820122433 135090176 31562 33554432000 4194304 9163163 140735059342160 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15609/statm: 32981 31562 533 1214 0 31763 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 131924
[startup+6.30068 s]
/proc/loadavg: 1.97 2.02 1.99 3/454 15610
/proc/meminfo: memFree=31690528/32951124 swapFree=55639044/67111528
[pid=15609] ppid=15607 vsize=131924 CPUtime=6.29 cores=1,3,5,7
/proc/15609/stat : 15609 (scip-2.0.1.4b.l) R 15607 15609 12722 0 -1 4202496 37301 0 0 0 625 4 0 0 25 0 1 0 820122433 135090176 31564 33554432000 4194304 9163163 140735059342160 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15609/statm: 32981 31564 533 1214 0 31763 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 131924
[startup+12.7005 s]
/proc/loadavg: 1.97 2.02 1.99 3/454 15610
/proc/meminfo: memFree=31689572/32951124 swapFree=55639044/67111528
[pid=15609] ppid=15607 vsize=131924 CPUtime=12.69 cores=1,3,5,7
/proc/15609/stat : 15609 (scip-2.0.1.4b.l) R 15607 15609 12722 0 -1 4202496 37306 0 0 0 1265 4 0 0 25 0 1 0 820122433 135090176 31569 33554432000 4194304 9163163 140735059342160 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15609/statm: 32981 31569 537 1214 0 31763 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 131924
[startup+25.5012 s]
/proc/loadavg: 1.98 2.02 1.99 3/454 15611
/proc/meminfo: memFree=31581912/32951124 swapFree=55639044/67111528
[pid=15609] ppid=15607 vsize=246888 CPUtime=25.49 cores=1,3,5,7
/proc/15609/stat : 15609 (scip-2.0.1.4b.l) R 15607 15609 12722 0 -1 4202496 72179 0 0 0 2540 9 0 0 25 0 1 0 820122433 252813312 58710 33554432000 4194304 9163163 140735059342160 18446744073709551615 7379936 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15609/statm: 61722 58710 705 1214 0 60504 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 246888
[startup+51.1005 s]
/proc/loadavg: 1.98 2.02 1.99 3/454 15611
/proc/meminfo: memFree=31564080/32951124 swapFree=55639044/67111528
[pid=15609] ppid=15607 vsize=266996 CPUtime=51.09 cores=1,3,5,7
/proc/15609/stat : 15609 (scip-2.0.1.4b.l) R 15607 15609 12722 0 -1 4202496 81839 0 0 0 5096 13 0 0 25 0 1 0 820122433 273403904 63720 33554432000 4194304 9163163 140735059342160 18446744073709551615 7345660 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15609/statm: 66749 63720 747 1214 0 65531 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 266996
[startup+102.317 s]
/proc/loadavg: 2.05 2.03 2.00 3/454 15613
/proc/meminfo: memFree=31541584/32951124 swapFree=55639044/67111528
[pid=15609] ppid=15607 vsize=287648 CPUtime=102.31 cores=1,3,5,7
/proc/15609/stat : 15609 (scip-2.0.1.4b.l) R 15607 15609 12722 0 -1 4202496 104366 0 0 0 10204 27 0 0 25 0 1 0 820122433 294551552 69217 33554432000 4194304 9163163 140735059342160 18446744073709551615 7345648 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15609/statm: 71912 69217 1063 1214 0 70694 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 287648
[startup+162.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/454 15614
/proc/meminfo: memFree=31537640/32951124 swapFree=55639044/67111528
[pid=15609] ppid=15607 vsize=288940 CPUtime=162.3 cores=1,3,5,7
/proc/15609/stat : 15609 (scip-2.0.1.4b.l) R 15607 15609 12722 0 -1 4202496 131124 0 0 0 16183 47 0 0 25 0 1 0 820122433 295874560 69910 33554432000 4194304 9163163 140735059342160 18446744073709551615 7348633 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15609/statm: 72235 69910 743 1214 0 71017 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 288940
[startup+222.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/454 15616
/proc/meminfo: memFree=31534120/32951124 swapFree=55639044/67111528
[pid=15609] ppid=15607 vsize=292224 CPUtime=222.29 cores=1,3,5,7
/proc/15609/stat : 15609 (scip-2.0.1.4b.l) R 15607 15609 12722 0 -1 4202496 141499 0 0 0 22167 62 0 0 25 0 1 0 820122433 299237376 71412 33554432000 4194304 9163163 140735059342160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15609/statm: 73056 71412 1174 1214 0 71838 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 292224
[startup+282.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/454 15617
/proc/meminfo: memFree=31538912/32951124 swapFree=55639044/67111528
[pid=15609] ppid=15607 vsize=287260 CPUtime=282.3 cores=1,3,5,7
/proc/15609/stat : 15609 (scip-2.0.1.4b.l) R 15607 15609 12722 0 -1 4202496 148603 0 0 0 28153 77 0 0 25 0 1 0 820122433 294154240 69762 33554432000 4194304 9163163 140735059342160 18446744073709551615 7051368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15609/statm: 71815 69762 1137 1214 0 70597 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 287260
[startup+342.301 s]
/proc/loadavg: 2.12 2.07 2.01 3/454 15619
/proc/meminfo: memFree=31529560/32951124 swapFree=55639044/67111528
[pid=15609] ppid=15607 vsize=295052 CPUtime=342.3 cores=1,3,5,7
/proc/15609/stat : 15609 (scip-2.0.1.4b.l) R 15607 15609 12722 0 -1 4202496 156622 0 0 0 34140 90 0 0 25 0 1 0 820122433 302133248 72126 33554432000 4194304 9163163 140735059342160 18446744073709551615 7348512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15609/statm: 73763 72126 751 1214 0 72545 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 295052
[startup+402.301 s]
/proc/loadavg: 2.10 2.07 2.01 3/454 15621
/proc/meminfo: memFree=31531712/32951124 swapFree=55639044/67111528
[pid=15609] ppid=15607 vsize=297508 CPUtime=402.31 cores=1,3,5,7
/proc/15609/stat : 15609 (scip-2.0.1.4b.l) R 15607 15609 12722 0 -1 4202496 164963 0 0 0 40126 105 0 0 25 0 1 0 820122433 304648192 72113 33554432000 4194304 9163163 140735059342160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15609/statm: 74377 72113 1200 1214 0 73159 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 297508
[startup+462.301 s]
/proc/loadavg: 2.04 2.05 2.00 3/454 15622
/proc/meminfo: memFree=31527448/32951124 swapFree=55639044/67111528
[pid=15609] ppid=15607 vsize=304464 CPUtime=462.3 cores=1,3,5,7
/proc/15609/stat : 15609 (scip-2.0.1.4b.l) R 15607 15609 12722 0 -1 4202496 181454 0 0 0 46111 119 0 0 25 0 1 0 820122433 311771136 73097 33554432000 4194304 9163163 140735059342160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15609/statm: 76116 73097 1132 1214 0 74898 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 304464
[startup+522.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/454 15624
/proc/meminfo: memFree=31524140/32951124 swapFree=55639044/67111528
[pid=15609] ppid=15607 vsize=312428 CPUtime=522.31 cores=1,3,5,7
/proc/15609/stat : 15609 (scip-2.0.1.4b.l) R 15607 15609 12722 0 -1 4202496 200962 0 0 0 52098 133 0 0 25 0 1 0 820122433 319926272 74467 33554432000 4194304 9163163 140735059342160 18446744073709551615 7348670 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15609/statm: 78107 74467 1624 1214 0 76889 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 312428
[startup+582.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/454 15625
/proc/meminfo: memFree=31520748/32951124 swapFree=55639044/67111528
[pid=15609] ppid=15607 vsize=312324 CPUtime=582.31 cores=1,3,5,7
/proc/15609/stat : 15609 (scip-2.0.1.4b.l) R 15607 15609 12722 0 -1 4202496 214782 0 0 0 58084 147 0 0 25 0 1 0 820122433 319819776 74423 33554432000 4194304 9163163 140735059342160 18446744073709551615 6974030 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15609/statm: 78081 74423 745 1214 0 76863 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 312324
[startup+642.301 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/454 15633
/proc/meminfo: memFree=31515324/32951124 swapFree=55639044/67111528
[pid=15609] ppid=15607 vsize=308472 CPUtime=882.32 cores=1,3,5,7
/proc/15609/stat : 15609 (scip-2.0.1.4b.l) R 15607 15609 12722 0 -1 4202496 248967 0 0 0 88025 207 0 0 25 0 1 0 820122433 315875328 73686 33554432000 4194304 9163163 140735059342160 18446744073709551615 7348401 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15609/statm: 77118 73686 744 1214 0 75900 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 308472
[startup+942.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/454 15635
/proc/meminfo: memFree=31510576/32951124 swapFree=55639044/67111528
[pid=15609] ppid=15607 vsize=309944 CPUtime=942.32 cores=1,3,5,7
/proc/15609/stat : 15609 (scip-2.0.1.4b.l) R 15607 15609 12722 0 -1 4202496 254096 0 0 0 94012 220 0 0 25 0 1 0 820122433 317382656 74929 33554432000 4194304 9163163 140735059342160 18446744073709551615 7348176 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15609/statm: 77486 74929 745 1214 0 76268 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 309944
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 15637
/proc/meminfo: memFree=31515500/32951124 swapFree=55639044/67111528
[pid=15609] ppid=15607 vsize=307588 CPUtime=1002.32 cores=1,3,5,7
/proc/15609/stat : 15609 (scip-2.0.1.4b.l) R 15607 15609 12722 0 -1 4202496 258935 0 0 0 100001 231 0 0 25 0 1 0 820122433 314970112 73688 33554432000 4194304 9163163 140735059342160 18446744073709551615 7348322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15609/statm: 76897 73688 744 1214 0 75679 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 307588
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 15638
/proc/meminfo: memFree=31516228/32951124 swapFree=55639044/67111528
[pid=15609] ppid=15607 vsize=309256 CPUtime=1062.33 cores=1,3,5,7
/proc/15609/stat : 15609 (scip-2.0.1.4b.l) R 15607 15609 12722 0 -1 4202496 262815 0 0 0 105990 243 0 0 25 0 1 0 820122433 316678144 73479 33554432000 4194304 9163163 140735059342160 18446744073709551615 7348512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15609/statm: 77314 73479 744 1214 0 76096 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 309256
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/454 15640
/proc/meminfo: memFree=31519920/32951124 swapFree=55639044/67111528
[pid=15609] ppid=15607 vsize=307812 CPUtime=1122.32 cores=1,3,5,7
/proc/15609/stat : 15609 (scip-2.0.1.4b.l) R 15607 15609 12722 0 -1 4202496 266122 0 0 0 111978 254 0 0 25 0 1 0 820122433 315199488 72485 33554432000 4194304 9163163 140735059342160 18446744073709551615 7312226 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15609/statm: 76953 72485 744 1214 0 75735 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 307812
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/454 15641
/proc/meminfo: memFree=31508612/32951124 swapFree=55639044/67111528
[pid=15609] ppid=15607 vsize=314696 CPUtime=1182.33 cores=1,3,5,7
/proc/15609/stat : 15609 (scip-2.0.1.4b.l) R 15607 15609 12722 0 -1 4202496 274521 0 0 0 117968 265 0 0 25 0 1 0 820122433 322248704 75199 33554432000 4194304 9163163 140735059342160 18446744073709551615 7348444 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15609/statm: 78674 75199 946 1214 0 77456 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 314696
[startup+1242.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/454 15725
/proc/meminfo: memFree=31624740/32951124 swapFree=55639044/67111528
[pid=15609] ppid=15607 vsize=314652 CPUtime=1242.33 cores=1,3,5,7
/proc/15609/stat : 15609 (scip-2.0.1.4b.l) R 15607 15609 12722 0 -1 4202496 279812 0 0 0 123957 276 0 0 25 0 1 0 820122433 322203648 75196 33554432000 4194304 9163163 140735059342160 18446744073709551615 7348661 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15609/statm: 78663 75196 1663 1214 0 77445 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 314652
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/454 15727
/proc/meminfo: memFree=31615116/32951124 swapFree=55639044/67111528
[pid=15609] ppid=15607 vsize=314652 CPUtime=1302.34 cores=1,3,5,7
/proc/15609/stat : 15609 (scip-2.0.1.4b.l) R 15607 15609 12722 0 -1 4202496 280841 0 0 0 129944 290 0 0 25 0 1 0 820122433 322203648 76091 33554432000 4194304 9163163 140735059342160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15609/statm: 78663 76091 1529 1214 0 77445 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 314652
[startup+1362.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/454 15728
/proc/meminfo: memFree=31606784/32951124 swapFree=55639044/67111528
[pid=15609] ppid=15607 vsize=320612 CPUtime=1362.33 cores=1,3,5,7
/proc/15609/stat : 15609 (scip-2.0.1.4b.l) R 15607 15609 12722 0 -1 4202496 286708 0 0 0 135930 303 0 0 25 0 1 0 820122433 328306688 76157 33554432000 4194304 9163163 140735059342160 18446744073709551615 6668738 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15609/statm: 80153 76157 748 1214 0 78935 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 320612
[startup+1422.32 s]
/proc/loadavg: 2.09 2.04 2.01 3/454 15730
/proc/meminfo: memFree=31611960/32951124 swapFree=55639044/67111528
[pid=15609] ppid=15607 vsize=317708 CPUtime=1422.35 cores=1,3,5,7
/proc/15609/stat : 15609 (scip-2.0.1.4b.l) R 15607 15609 12722 0 -1 4202496 291115 0 0 0 141916 319 0 0 25 0 1 0 820122433 325332992 73815 33554432000 4194304 9163163 140735059342160 18446744073709551615 7348646 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15609/statm: 79427 73815 744 1214 0 78209 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 317708
[startup+1482.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/454 15731
/proc/meminfo: memFree=31601760/32951124 swapFree=55639044/67111528
[pid=15609] ppid=15607 vsize=319944 CPUtime=1482.34 cores=1,3,5,7
/proc/15609/stat : 15609 (scip-2.0.1.4b.l) R 15607 15609 12722 0 -1 4202496 293352 0 0 0 147903 331 0 0 25 0 1 0 820122433 327622656 75776 33554432000 4194304 9163163 140735059342160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15609/statm: 79986 75776 756 1214 0 78768 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 319944
[startup+1542.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/454 15733
/proc/meminfo: memFree=31598248/32951124 swapFree=55639044/67111528
[pid=15609] ppid=15607 vsize=326956 CPUtime=1542.34 cores=1,3,5,7
/proc/15609/stat : 15609 (scip-2.0.1.4b.l) R 15607 15609 12722 0 -1 4202496 299384 0 0 0 153888 346 0 0 25 0 1 0 820122433 334802944 76544 33554432000 4194304 9163163 140735059342160 18446744073709551615 7358982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15609/statm: 81739 76544 744 1214 0 80521 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 326956
[startup+1602.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/454 15762
/proc/meminfo: memFree=31548624/32951124 swapFree=55639044/67111528
[pid=15609] ppid=15607 vsize=323612 CPUtime=1602.34 cores=1,3,5,7
/proc/15609/stat : 15609 (scip-2.0.1.4b.l) R 15607 15609 12722 0 -1 4202496 303278 0 0 0 159873 361 0 0 25 0 1 0 820122433 331378688 76790 33554432000 4194304 9163163 140735059342160 18446744073709551615 7051398 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15609/statm: 80903 76790 1258 1214 0 79685 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 323612
[startup+1662.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/454 15763
/proc/meminfo: memFree=31474168/32951124 swapFree=55639044/67111528
[pid=15609] ppid=15607 vsize=320056 CPUtime=1662.34 cores=1,3,5,7
/proc/15609/stat : 15609 (scip-2.0.1.4b.l) R 15607 15609 12722 0 -1 4202496 306994 0 0 0 165859 375 0 0 25 0 1 0 820122433 327737344 75853 33554432000 4194304 9163163 140735059342160 18446744073709551615 7311820 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15609/statm: 80014 75853 1114 1214 0 78796 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 320056
[startup+1722.3 s]
/proc/loadavg: 2.31 2.10 2.02 3/454 15765
/proc/meminfo: memFree=31467112/32951124 swapFree=55639044/67111528
[pid=15609] ppid=15607 vsize=323504 CPUtime=1722.34 cores=1,3,5,7
/proc/15609/stat : 15609 (scip-2.0.1.4b.l) R 15607 15609 12722 0 -1 4202496 307973 0 0 0 171844 390 0 0 25 0 1 0 820122433 331268096 76792 33554432000 4194304 9163163 140735059342160 18446744073709551615 7359759 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15609/statm: 80876 76792 1074 1214 0 79658 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 323504
[startup+1782.3 s]
/proc/loadavg: 2.17 2.09 2.02 3/454 15766
/proc/meminfo: memFree=31464728/32951124 swapFree=55639044/67111528
[pid=15609] ppid=15607 vsize=323504 CPUtime=1782.35 cores=1,3,5,7
/proc/15609/stat : 15609 (scip-2.0.1.4b.l) R 15607 15609 12722 0 -1 4202496 308295 0 0 0 177832 403 0 0 25 0 1 0 820122433 331268096 77047 33554432000 4194304 9163163 140735059342160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15609/statm: 80876 77047 1007 1214 0 79658 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 323504
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.19 2.10 2.02 3/454 15767
/proc/meminfo: memFree=31472652/32951124 swapFree=55639044/67111528
[pid=15609] ppid=15607 vsize=320696 CPUtime=1800.05 cores=1,3,5,7
/proc/15609/stat : 15609 (scip-2.0.1.4b.l) R 15607 15609 12722 0 -1 4202496 310926 0 0 0 179597 408 0 0 25 0 1 0 820122433 328392704 75155 33554432000 4194304 9163163 140735059342160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15609/statm: 80174 75155 894 1214 0 78956 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 320696
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.2 s]
/proc/loadavg: 2.19 2.10 2.02 3/454 15767
/proc/meminfo: memFree=31472652/32951124 swapFree=55639044/67111528
[pid=15609] ppid=15607 vsize=213328 CPUtime=1800.24 cores=1,3,5,7
/proc/15609/stat : 15609 (scip-2.0.1.4b.l) R 15607 15609 12722 0 -1 4202496 310939 0 0 0 179616 408 0 0 18 0 1 0 820122433 218447872 52486 33554432000 4194304 9163163 140735059342160 18446744073709551615 6923036 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15609/statm: 53332 52486 757 1214 0 52114 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 213328
Child status: 0
Real time (s): 1800.22
CPU time (s): 1800.27
CPU user time (s): 1796.17
CPU system time (s): 4.09738
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 329696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.17
system time used= 4.09738
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 310944
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= 2173
runsolver used 7.76282 second user time and 18.4512 second system time
The end