0.00/0.00 c SCIP version 2.0.1.4 [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-3485327-1307763564.opb>
0.29/0.34 c original problem has 4500 variables (4500 bin, 0 int, 0 impl, 0 cont) and 72413 constraints
0.29/0.34 c problem read
0.29/0.34 c presolving settings loaded
0.49/0.52 c presolving:
0.89/0.92 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.98 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.79/10.82 c (10.8s) probing: 1000/4500 (22.2%) - 0 fixings, 0 aggregations, 18393 implications, 0 bound changes
20.79/20.82 c (20.8s) probing: 2000/4500 (44.4%) - 0 fixings, 0 aggregations, 35514 implications, 0 bound changes
20.79/20.83 c (20.8s) probing: 2001/4500 (44.5%) - 0 fixings, 0 aggregations, 35532 implications, 0 bound changes
20.79/20.83 c (20.8s) probing aborted: 2000/2000 successive useless probings
20.79/20.83 c presolving (3 rounds):
20.79/20.83 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
20.79/20.83 c 547164 implications, 0 cliques
20.79/20.83 c presolved problem has 4500 variables (4500 bin, 0 int, 0 impl, 0 cont) and 72413 constraints
20.79/20.83 c 72288 constraints of type <setppc>
20.79/20.83 c 125 constraints of type <logicor>
20.79/20.83 c transformed objective value is always integral (scale: 1)
20.79/20.83 c Presolving Time: 20.45
20.79/20.83 c - non default parameters ----------------------------------------------------------------------
20.79/20.83 c # SCIP version 2.0.1.4
20.79/20.83 c
20.79/20.83 c # frequency for displaying node information lines
20.79/20.83 c # [type: int, range: [-1,2147483647], default: 100]
20.79/20.83 c display/freq = 10000
20.79/20.83 c
20.79/20.83 c # maximal time in seconds to run
20.79/20.83 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
20.79/20.83 c limits/time = 1797
20.79/20.83 c
20.79/20.83 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
20.79/20.83 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
20.79/20.83 c limits/memory = 13950
20.79/20.83 c
20.79/20.83 c # default clock type (1: CPU user seconds, 2: wall clock time)
20.79/20.83 c # [type: int, range: [1,2], default: 1]
20.79/20.83 c timing/clocktype = 2
20.79/20.83 c
20.79/20.83 c # belongs reading time to solving time?
20.79/20.83 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
20.79/20.83 c timing/reading = TRUE
20.79/20.83 c
20.79/20.83 c # should presolving try to simplify inequalities
20.79/20.83 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
20.79/20.83 c constraints/linear/simplifyinequalities = TRUE
20.79/20.83 c
20.79/20.83 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
20.79/20.83 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
20.79/20.83 c constraints/indicator/addCouplingCons = TRUE
20.79/20.83 c
20.79/20.83 c # should presolving try to simplify knapsacks
20.79/20.83 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
20.79/20.83 c constraints/knapsack/simplifyinequalities = TRUE
20.79/20.83 c
20.79/20.83 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
20.79/20.83 c # [type: int, range: [-1,2147483647], default: -1]
20.79/20.83 c separating/rapidlearning/freq = 0
20.79/20.83 c
20.79/20.83 c -----------------------------------------------------------------------------------------------
20.79/20.83 c start solving
20.79/20.84 c
23.99/24.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.99/24.08 c 24.1s| 1 | 0 | 2666 | - | 104M| 0 |2500 |4500 | 72k|4500 | 72k| 0 | 42 | 0 | 1.250000e+03 | -- | Inf
28.29/28.39 c 28.4s| 1 | 0 | 3925 | - | 105M| 0 |2478 |4500 | 72k|4500 | 72k| 23 | 42 | 0 | 1.261000e+03 | -- | Inf
30.59/30.63 c 30.6s| 1 | 0 | 4362 | - | 105M| 0 |2403 |4500 | 72k|4500 | 72k| 82 | 42 | 0 | 1.298500e+03 | -- | Inf
33.39/33.41 c 33.4s| 1 | 0 | 4729 | - | 105M| 0 |2373 |4500 | 72k|4500 | 72k| 116 | 42 | 0 | 1.313500e+03 | -- | Inf
36.49/36.57 c 36.6s| 1 | 0 | 5342 | - | 105M| 0 |2355 |4500 | 72k|4500 | 72k| 165 | 42 | 0 | 1.334000e+03 | -- | Inf
40.39/40.44 c 40.4s| 1 | 0 | 6069 | - | 105M| 0 |2305 |4500 | 72k|4500 | 72k| 202 | 42 | 0 | 1.351750e+03 | -- | Inf
44.19/44.25 c 44.3s| 1 | 0 | 6680 | - | 105M| 0 |2270 |4500 | 72k|4500 | 72k| 255 | 42 | 0 | 1.376250e+03 | -- | Inf
48.29/48.40 c 48.4s| 1 | 0 | 7323 | - | 105M| 0 |2220 |4500 | 72k|4500 | 72k| 306 | 42 | 0 | 1.395750e+03 | -- | Inf
52.40/52.49 c 52.5s| 1 | 0 | 8014 | - | 105M| 0 |2206 |4500 | 72k|4500 | 72k| 351 | 42 | 0 | 1.409083e+03 | -- | Inf
56.99/57.09 c 57.1s| 1 | 0 | 8690 | - | 106M| 0 |2164 |4500 | 72k|4500 | 72k| 389 | 42 | 0 | 1.424750e+03 | -- | Inf
61.89/61.96 c 62.0s| 1 | 0 | 9639 | - | 106M| 0 |2141 |4500 | 72k|4500 | 72k| 445 | 42 | 0 | 1.440983e+03 | -- | Inf
64.09/64.11 c 64.1s| 1 | 0 | 10540 | - | 106M| 0 |2092 |4500 | 72k|4500 | 72k| 502 | 42 | 0 | 1.463917e+03 | -- | Inf
66.70/66.70 c 66.7s| 1 | 0 | 11622 | - | 106M| 0 |2084 |4500 | 72k|4500 | 72k| 551 | 42 | 0 | 1.480922e+03 | -- | Inf
69.19/69.30 c 69.3s| 1 | 0 | 12774 | - | 107M| 0 |2041 |4500 | 72k|4500 | 73k| 597 | 42 | 0 | 1.496320e+03 | -- | Inf
71.90/71.90 c 71.9s| 1 | 0 | 13826 | - | 107M| 0 |2046 |4500 | 72k|4500 | 73k| 646 | 42 | 0 | 1.508810e+03 | -- | Inf
74.39/74.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
74.39/74.43 c 74.4s| 1 | 0 | 14868 | - | 108M| 0 |2058 |4500 | 72k|4500 | 73k| 701 | 42 | 0 | 1.523373e+03 | -- | Inf
77.49/77.57 c 77.6s| 1 | 0 | 16865 | - | 109M| 0 |2006 |4500 | 72k|4500 | 73k| 751 | 42 | 0 | 1.538033e+03 | -- | Inf
80.39/80.40 c 80.4s| 1 | 0 | 18310 | - | 109M| 0 |1970 |4500 | 72k|4500 | 73k| 809 | 42 | 0 | 1.550220e+03 | -- | Inf
83.10/83.10 c 83.1s| 1 | 0 | 19694 | - | 110M| 0 |1950 |4500 | 72k|4500 | 73k| 865 | 42 | 0 | 1.561034e+03 | -- | Inf
86.19/86.23 c 86.2s| 1 | 0 | 21558 | - | 110M| 0 |1912 |4500 | 72k|4500 | 73k| 914 | 42 | 0 | 1.569504e+03 | -- | Inf
88.89/88.92 c 88.9s| 1 | 0 | 22988 | - | 110M| 0 |1881 |4500 | 72k|4500 | 73k| 971 | 42 | 0 | 1.577042e+03 | -- | Inf
93.50/93.57 c 93.6s| 1 | 0 | 26587 | - | 110M| 0 |1888 |4500 | 72k|4500 | 73k|1023 | 42 | 0 | 1.587238e+03 | -- | Inf
96.30/96.33 c 96.3s| 1 | 0 | 28395 | - | 111M| 0 |1881 |4500 | 72k|4500 | 73k|1073 | 42 | 0 | 1.598214e+03 | -- | Inf
100.99/101.03 c 101s| 1 | 0 | 31706 | - | 111M| 0 |1851 |4500 | 72k|4500 | 73k|1127 | 42 | 0 | 1.607452e+03 | -- | Inf
103.49/103.54 c 104s| 1 | 0 | 33396 | - | 111M| 0 |1838 |4500 | 72k|4500 | 73k|1180 | 42 | 0 | 1.615312e+03 | -- | Inf
106.39/106.48 c 106s| 1 | 0 | 35516 | - | 111M| 0 |1839 |4500 | 72k|4500 | 73k|1244 | 42 | 0 | 1.624774e+03 | -- | Inf
108.99/109.05 c 109s| 1 | 0 | 37268 | - | 112M| 0 |1849 |4500 | 72k|4500 | 73k|1303 | 42 | 0 | 1.636100e+03 | -- | Inf
113.09/113.10 c 113s| 1 | 0 | 40711 | - | 112M| 0 |1766 |4500 | 72k|4500 | 73k|1362 | 42 | 0 | 1.645125e+03 | -- | Inf
116.30/116.38 c 116s| 1 | 0 | 43407 | - | 112M| 0 |1785 |4500 | 72k|4500 | 73k|1420 | 42 | 0 | 1.655756e+03 | -- | Inf
118.89/118.94 c 119s| 1 | 0 | 45387 | - | 112M| 0 |1733 |4500 | 72k|4500 | 73k|1487 | 42 | 0 | 1.665725e+03 | -- | Inf
122.29/122.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
122.29/122.37 c 122s| 1 | 0 | 47504 | - | 113M| 0 |1734 |4500 | 72k|4500 | 73k|1545 | 42 | 0 | 1.671697e+03 | -- | Inf
128.70/128.75 c 129s| 1 | 0 | 52634 | - | 113M| 0 |1733 |4500 | 72k|4500 | 73k|1598 | 42 | 0 | 1.676553e+03 | -- | Inf
132.19/132.21 c 132s| 1 | 0 | 55448 | - | 113M| 0 |1722 |4500 | 72k|4500 | 73k|1656 | 42 | 0 | 1.683193e+03 | -- | Inf
136.00/136.08 c 136s| 1 | 0 | 58477 | - | 113M| 0 |1748 |4500 | 72k|4500 | 73k|1716 | 42 | 0 | 1.686696e+03 | -- | Inf
142.40/142.41 c 142s| 1 | 0 | 63314 | - | 114M| 0 |1727 |4500 | 72k|4500 | 73k|1781 | 42 | 0 | 1.692971e+03 | -- | Inf
145.40/145.45 c 145s| 1 | 0 | 66138 | - | 114M| 0 |1741 |4500 | 72k|4500 | 73k|1836 | 42 | 0 | 1.699700e+03 | -- | Inf
147.79/147.81 c 148s| 1 | 0 | 67651 | - | 114M| 0 |1749 |4500 | 72k|4500 | 73k|1888 | 42 | 0 | 1.704667e+03 | -- | Inf
157.60/157.64 c 158s| 1 | 0 | 75031 | - | 115M| 0 |1770 |4500 | 72k|4500 | 73k|1942 | 42 | 0 | 1.709229e+03 | -- | Inf
164.09/164.17 c 164s| 1 | 0 | 79947 | - | 115M| 0 |1710 |4500 | 72k|4500 | 73k|1997 | 42 | 0 | 1.714214e+03 | -- | Inf
169.80/169.89 c 170s| 1 | 0 | 84332 | - | 115M| 0 |1712 |4500 | 72k|4500 | 73k|2057 | 42 | 0 | 1.718952e+03 | -- | Inf
172.90/172.92 c 173s| 1 | 0 | 86353 | - | 115M| 0 |1747 |4500 | 72k|4500 | 73k|2121 | 42 | 0 | 1.724893e+03 | -- | Inf
178.49/178.55 c 179s| 1 | 0 | 90114 | - | 116M| 0 |1707 |4500 | 72k|4500 | 73k|2174 | 42 | 0 | 1.729715e+03 | -- | Inf
183.19/183.20 c 183s| 1 | 0 | 93184 | - | 116M| 0 |1710 |4500 | 72k|4500 | 73k|2222 | 42 | 0 | 1.732875e+03 | -- | Inf
191.19/191.28 c 191s| 1 | 0 | 99865 | - | 116M| 0 |1664 |4500 | 72k|4500 | 73k|2274 | 42 | 0 | 1.738042e+03 | -- | Inf
197.50/197.55 c 198s| 1 | 0 |104887 | - | 117M| 0 |1671 |4500 | 72k|4500 | 73k|2329 | 42 | 0 | 1.743144e+03 | -- | Inf
204.10/204.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
204.10/204.17 c 204s| 1 | 0 |109851 | - | 117M| 0 |1650 |4500 | 72k|4500 | 73k|2380 | 42 | 0 | 1.748133e+03 | -- | Inf
209.29/209.30 c 209s| 1 | 0 |114621 | - | 117M| 0 |1712 |4500 | 72k|4500 | 73k|2444 | 42 | 0 | 1.752021e+03 | -- | Inf
216.60/216.63 c 217s| 1 | 0 |120953 | - | 118M| 0 |1697 |4500 | 72k|4500 | 73k|2502 | 42 | 0 | 1.759360e+03 | -- | Inf
219.80/219.84 c 220s| 1 | 0 |123392 | - | 118M| 0 |1629 |4500 | 72k|4500 | 73k|2563 | 42 | 0 | 1.763500e+03 | -- | Inf
224.89/224.97 c 225s| 1 | 0 |127042 | - | 118M| 0 |1663 |4500 | 72k|4500 | 73k|2618 | 42 | 0 | 1.766375e+03 | -- | Inf
230.30/230.38 c 230s| 1 | 0 |130317 | - | 119M| 0 |1661 |4500 | 72k|4500 | 73k|2670 | 42 | 0 | 1.769321e+03 | -- | Inf
234.49/234.52 c 235s| 1 | 0 |133173 | - | 119M| 0 |1597 |4500 | 72k|4500 | 73k|2728 | 42 | 0 | 1.775593e+03 | -- | Inf
241.20/241.25 c 241s| 1 | 0 |138599 | - | 119M| 0 |1633 |4500 | 72k|4500 | 73k|2786 | 42 | 0 | 1.781397e+03 | -- | Inf
245.50/245.54 c 246s| 1 | 0 |142033 | - | 119M| 0 |1710 |4500 | 72k|4500 | 73k|2852 | 42 | 0 | 1.787215e+03 | -- | Inf
252.59/252.66 c 253s| 1 | 0 |147439 | - | 120M| 0 |1655 |4500 | 72k|4500 | 73k|2909 | 42 | 0 | 1.793218e+03 | -- | Inf
260.90/260.90 c 261s| 1 | 0 |153786 | - | 120M| 0 |1614 |4500 | 72k|4500 | 73k|2964 | 42 | 0 | 1.798476e+03 | -- | Inf
266.69/266.71 c 267s| 1 | 0 |157095 | - | 120M| 0 |1630 |4500 | 72k|4500 | 73k|3018 | 42 | 0 | 1.803801e+03 | -- | Inf
272.60/272.68 c 273s| 1 | 0 |160578 | - | 121M| 0 |1612 |4500 | 72k|4500 | 73k|3072 | 42 | 0 | 1.805167e+03 | -- | Inf
279.60/279.61 c 280s| 1 | 0 |164388 | - | 121M| 0 |1601 |4500 | 72k|4500 | 73k|3132 | 42 | 0 | 1.807125e+03 | -- | Inf
300.80/300.85 c 301s| 1 | 0 |175762 | - | 121M| 0 |1594 |4500 | 72k|4500 | 73k|3198 | 42 | 0 | 1.808600e+03 | -- | Inf
305.50/305.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
305.50/305.51 c 306s| 1 | 0 |179225 | - | 122M| 0 |1581 |4500 | 72k|4500 | 74k|3280 | 42 | 0 | 1.814167e+03 | -- | Inf
309.60/309.64 c 310s| 1 | 0 |182097 | - | 122M| 0 |1611 |4500 | 72k|4500 | 74k|3341 | 42 | 0 | 1.817140e+03 | -- | Inf
319.20/319.23 c 319s| 1 | 0 |188709 | - | 122M| 0 |1658 |4500 | 72k|4500 | 73k|3398 | 42 | 0 | 1.819518e+03 | -- | Inf
322.01/322.08 c 322s| 1 | 0 |190360 | - | 123M| 0 |1586 |4500 | 72k|4500 | 73k|3446 | 42 | 0 | 1.821407e+03 | -- | Inf
326.20/326.22 c 326s| 1 | 0 |193301 | - | 123M| 0 |1555 |4500 | 72k|4500 | 73k|3516 | 42 | 0 | 1.825974e+03 | -- | Inf
345.00/345.08 c 345s| 1 | 0 |204082 | - | 123M| 0 |1587 |4500 | 72k|4500 | 74k|3573 | 42 | 0 | 1.829155e+03 | -- | Inf
349.01/349.02 c 349s| 1 | 0 |207337 | - | 123M| 0 |1638 |4500 | 72k|4500 | 74k|3637 | 42 | 0 | 1.833183e+03 | -- | Inf
356.60/356.68 c 357s| 1 | 0 |212652 | - | 124M| 0 |1654 |4500 | 72k|4500 | 74k|3694 | 42 | 0 | 1.837234e+03 | -- | Inf
362.21/362.28 c 362s| 1 | 0 |216681 | - | 124M| 0 |1655 |4500 | 72k|4500 | 73k|3760 | 42 | 0 | 1.840192e+03 | -- | Inf
381.60/381.64 c 382s| 1 | 0 |227760 | - | 125M| 0 |1667 |4500 | 72k|4500 | 74k|3827 | 42 | 0 | 1.842067e+03 | -- | Inf
386.50/386.51 c 387s| 1 | 0 |230731 | - | 125M| 0 |1628 |4500 | 72k|4500 | 74k|3888 | 42 | 0 | 1.844692e+03 | -- | Inf
397.61/397.60 c 398s| 1 | 0 |238544 | - | 125M| 0 |1669 |4500 | 72k|4500 | 74k|3941 | 42 | 0 | 1.846130e+03 | -- | Inf
403.50/403.60 c 404s| 1 | 0 |241978 | - | 126M| 0 |1779 |4500 | 72k|4500 | 74k|3997 | 42 | 0 | 1.847407e+03 | -- | Inf
410.60/410.63 c 411s| 1 | 0 |245701 | - | 126M| 0 |1772 |4500 | 72k|4500 | 74k|4052 | 42 | 0 | 1.849581e+03 | -- | Inf
419.71/419.70 c 420s| 1 | 0 |250872 | - | 126M| 0 |1704 |4500 | 72k|4500 | 74k|4114 | 42 | 0 | 1.851729e+03 | -- | Inf
428.21/428.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
428.21/428.22 c 428s| 1 | 0 |256306 | - | 126M| 0 |1684 |4500 | 72k|4500 | 74k|4172 | 42 | 0 | 1.856208e+03 | -- | Inf
436.20/436.21 c 436s| 1 | 0 |261853 | - | 127M| 0 |1664 |4500 | 72k|4500 | 74k|4241 | 42 | 0 | 1.859220e+03 | -- | Inf
443.31/443.33 c 443s| 1 | 0 |265973 | - | 127M| 0 |1690 |4500 | 72k|4500 | 74k|4304 | 42 | 0 | 1.861143e+03 | -- | Inf
451.90/451.94 c 452s| 1 | 0 |271546 | - | 128M| 0 |1757 |4500 | 72k|4500 | 74k|4352 | 42 | 0 | 1.862763e+03 | -- | Inf
464.41/464.45 c 464s| 1 | 0 |278791 | - | 128M| 0 |1777 |4500 | 72k|4500 | 74k|4397 | 42 | 0 | 1.864060e+03 | -- | Inf
479.40/479.47 c 479s| 1 | 0 |287233 | - | 128M| 0 |1729 |4500 | 72k|4500 | 74k|4450 | 42 | 0 | 1.867050e+03 | -- | Inf
485.91/485.96 c 486s| 1 | 0 |291280 | - | 129M| 0 |1781 |4500 | 72k|4500 | 74k|4500 | 42 | 0 | 1.869354e+03 | -- | Inf
491.71/491.70 c 492s| 1 | 0 |294824 | - | 129M| 0 |1801 |4500 | 72k|4500 | 74k|4558 | 42 | 0 | 1.871819e+03 | -- | Inf
500.91/500.97 c 501s| 1 | 0 |299851 | - | 129M| 0 |1782 |4500 | 72k|4500 | 74k|4617 | 42 | 0 | 1.874544e+03 | -- | Inf
511.51/511.52 c 512s| 1 | 0 |306529 | - | 130M| 0 |1819 |4500 | 72k|4500 | 74k|4680 | 42 | 0 | 1.875896e+03 | -- | Inf
518.71/518.72 c 519s| 1 | 0 |310701 | - | 130M| 0 |1778 |4500 | 72k|4500 | 74k|4731 | 42 | 0 | 1.877185e+03 | -- | Inf
530.81/530.89 c 531s| 1 | 0 |317634 | - | 130M| 0 |1849 |4500 | 72k|4500 | 74k|4779 | 42 | 0 | 1.878650e+03 | -- | Inf
538.51/538.51 c 539s| 1 | 0 |322690 | - | 131M| 0 |1773 |4500 | 72k|4500 | 74k|4822 | 42 | 0 | 1.881248e+03 | -- | Inf
546.01/546.03 c 546s| 1 | 0 |327365 | - | 131M| 0 |1821 |4500 | 72k|4500 | 74k|4883 | 42 | 0 | 1.883488e+03 | -- | Inf
553.41/553.43 c 553s| 1 | 0 |332235 | - | 131M| 0 |1816 |4500 | 72k|4500 | 74k|4944 | 42 | 0 | 1.885877e+03 | -- | Inf
559.60/559.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
559.60/559.64 c 560s| 1 | 0 |335520 | - | 132M| 0 |1866 |4500 | 72k|4500 | 74k|4993 | 42 | 0 | 1.888839e+03 | -- | Inf
577.91/577.91 c 578s| 1 | 0 |345633 | - | 132M| 0 |1856 |4500 | 72k|4500 | 74k|5038 | 42 | 0 | 1.889913e+03 | -- | Inf
584.11/584.14 c 584s| 1 | 0 |349131 | - | 132M| 0 |1818 |4500 | 72k|4500 | 74k|5085 | 42 | 0 | 1.890851e+03 | -- | Inf
594.11/594.16 c 594s| 1 | 0 |354347 | - | 133M| 0 |1882 |4500 | 72k|4500 | 74k|5133 | 42 | 0 | 1.892230e+03 | -- | Inf
622.81/622.88 c 623s| 1 | 0 |366045 | - | 133M| 0 |1886 |4500 | 72k|4500 | 74k|5185 | 42 | 0 | 1.895006e+03 | -- | Inf
631.91/631.92 c 632s| 1 | 0 |370594 | - | 133M| 0 |1918 |4500 | 72k|4500 | 74k|5223 | 42 | 0 | 1.896182e+03 | -- | Inf
641.81/641.86 c 642s| 1 | 0 |376211 | - | 133M| 0 |1894 |4500 | 72k|4500 | 74k|5274 | 42 | 0 | 1.897627e+03 | -- | Inf
650.81/650.83 c 651s| 1 | 0 |382640 | - | 134M| 0 |1916 |4500 | 72k|4500 | 74k|5323 | 42 | 0 | 1.899466e+03 | -- | Inf
661.41/661.45 c 661s| 1 | 0 |387998 | - | 134M| 0 |1835 |4500 | 72k|4500 | 74k|5372 | 42 | 0 | 1.901352e+03 | -- | Inf
673.61/673.67 c 674s| 1 | 0 |394143 | - | 134M| 0 |1804 |4500 | 72k|4500 | 74k|5410 | 42 | 0 | 1.901649e+03 | -- | Inf
681.81/681.87 c 682s| 1 | 0 |397999 | - | 135M| 0 |1897 |4500 | 72k|4500 | 74k|5455 | 42 | 0 | 1.901968e+03 | -- | Inf
695.41/695.47 c 695s| 1 | 0 |404146 | - | 135M| 0 |1856 |4500 | 72k|4500 | 74k|5501 | 42 | 0 | 1.903077e+03 | -- | Inf
707.01/707.06 c 707s| 1 | 0 |409703 | - | 136M| 0 |1913 |4500 | 72k|4500 | 74k|5541 | 42 | 0 | 1.904855e+03 | -- | Inf
719.42/719.48 c 719s| 1 | 0 |415875 | - | 136M| 0 |1940 |4500 | 72k|4500 | 74k|5585 | 42 | 0 | 1.905697e+03 | -- | Inf
727.81/727.86 c 728s| 1 | 0 |419384 | - | 136M| 0 |1911 |4500 | 72k|4500 | 74k|5617 | 42 | 0 | 1.907236e+03 | -- | Inf
737.72/737.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
737.72/737.72 c 738s| 1 | 0 |424455 | - | 137M| 0 |1916 |4500 | 72k|4500 | 74k|5651 | 42 | 0 | 1.908677e+03 | -- | Inf
746.51/746.56 c 747s| 1 | 0 |428658 | - | 137M| 0 |1942 |4500 | 72k|4500 | 74k|5690 | 42 | 0 | 1.909567e+03 | -- | Inf
757.92/757.98 c 758s| 1 | 0 |433878 | - | 137M| 0 |2012 |4500 | 72k|4500 | 74k|5740 | 42 | 0 | 1.911361e+03 | -- | Inf
784.92/784.95 c 785s| 1 | 0 |444496 | - | 137M| 0 |1982 |4500 | 72k|4500 | 74k|5777 | 42 | 0 | 1.912674e+03 | -- | Inf
802.02/802.02 c 802s| 1 | 0 |451879 | - | 137M| 0 |1925 |4500 | 72k|4500 | 74k|5815 | 42 | 0 | 1.914236e+03 | -- | Inf
817.92/817.96 c 818s| 1 | 0 |458853 | - | 137M| 0 |1951 |4500 | 72k|4500 | 74k|5850 | 42 | 0 | 1.914636e+03 | -- | Inf
826.62/826.69 c 827s| 1 | 0 |463135 | - | 138M| 0 |1946 |4500 | 72k|4500 | 74k|5880 | 42 | 0 | 1.916046e+03 | -- | Inf
833.92/833.93 c 834s| 1 | 0 |466452 | - | 138M| 0 |1952 |4500 | 72k|4500 | 74k|5914 | 42 | 0 | 1.916684e+03 | -- | Inf
847.12/847.15 c 847s| 1 | 0 |472115 | - | 138M| 0 |1953 |4500 | 72k|4500 | 74k|5946 | 42 | 0 | 1.917523e+03 | -- | Inf
859.31/859.34 c 859s| 1 | 0 |477738 | - | 138M| 0 |2065 |4500 | 72k|4500 | 74k|5984 | 42 | 0 | 1.918200e+03 | -- | Inf
876.72/876.74 c 877s| 1 | 0 |485852 | - | 138M| 0 |2004 |4500 | 72k|4500 | 74k|6015 | 42 | 0 | 1.919565e+03 | -- | Inf
889.11/889.10 c 889s| 1 | 0 |491495 | - | 138M| 0 |1989 |4500 | 72k|4500 | 74k|6045 | 42 | 0 | 1.921053e+03 | -- | Inf
907.72/907.72 c 908s| 1 | 0 |500143 | - | 137M| 0 |1995 |4500 | 72k|4500 | 74k|6078 | 42 | 0 | 1.922173e+03 | -- | Inf
921.92/921.94 c 922s| 1 | 0 |507698 | - | 137M| 0 |2027 |4500 | 72k|4500 | 74k|6108 | 42 | 0 | 1.922749e+03 | -- | Inf
950.82/950.83 c 951s| 1 | 0 |519507 | - | 137M| 0 |1980 |4500 | 72k|4500 | 74k|6139 | 42 | 0 | 1.923779e+03 | -- | Inf
966.52/966.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
966.52/966.54 c 967s| 1 | 0 |528537 | - | 137M| 0 |1993 |4500 | 72k|4500 | 74k|6166 | 42 | 0 | 1.925302e+03 | -- | Inf
979.72/979.76 c 980s| 1 | 0 |534768 | - | 137M| 0 |1988 |4500 | 72k|4500 | 74k|6204 | 42 | 0 | 1.926655e+03 | -- | Inf
1004.82/1004.86 c 1005s| 1 | 0 |545972 | - | 137M| 0 |2006 |4500 | 72k|4500 | 74k|6229 | 42 | 0 | 1.927795e+03 | -- | Inf
1029.02/1029.04 c 1029s| 1 | 0 |556780 | - | 137M| 0 |1989 |4500 | 72k|4500 | 74k|6261 | 42 | 0 | 1.928577e+03 | -- | Inf
1038.93/1038.96 c 1039s| 1 | 0 |561654 | - | 138M| 0 |2006 |4500 | 72k|4500 | 74k|6284 | 42 | 0 | 1.929249e+03 | -- | Inf
1050.42/1050.41 c 1050s| 1 | 0 |567316 | - | 138M| 0 |1982 |4500 | 72k|4500 | 74k|6314 | 42 | 0 | 1.930327e+03 | -- | Inf
1061.03/1061.04 c 1061s| 1 | 0 |571680 | - | 138M| 0 |1978 |4500 | 72k|4500 | 74k|6353 | 42 | 0 | 1.931786e+03 | -- | Inf
1072.83/1072.86 c 1073s| 1 | 0 |577173 | - | 138M| 0 |1996 |4500 | 72k|4500 | 74k|6394 | 42 | 0 | 1.932257e+03 | -- | Inf
1085.52/1085.55 c 1086s| 1 | 0 |582456 | - | 138M| 0 |2046 |4500 | 72k|4500 | 74k|6424 | 42 | 0 | 1.932437e+03 | -- | Inf
1104.62/1104.64 c 1105s| 1 | 0 |589874 | - | 139M| 0 |2119 |4500 | 72k|4500 | 74k|6456 | 42 | 0 | 1.932875e+03 | -- | Inf
1133.33/1133.39 c 1133s| 1 | 0 |600125 | - | 139M| 0 |2089 |4500 | 72k|4500 | 74k|6481 | 42 | 0 | 1.933313e+03 | -- | Inf
1156.53/1156.50 c 1157s| 1 | 0 |608639 | - | 139M| 0 |2053 |4500 | 72k|4500 | 74k|6505 | 42 | 0 | 1.934194e+03 | -- | Inf
1181.23/1181.24 c 1181s| 1 | 0 |619052 | - | 139M| 0 |2046 |4500 | 72k|4500 | 74k|6529 | 42 | 0 | 1.934518e+03 | -- | Inf
1189.73/1189.78 c 1190s| 1 | 0 |623528 | - | 139M| 0 |2045 |4500 | 72k|4500 | 74k|6558 | 42 | 0 | 1.935192e+03 | -- | Inf
1209.94/1209.96 c 1210s| 1 | 0 |633551 | - | 140M| 0 |2073 |4500 | 72k|4500 | 74k|6581 | 42 | 0 | 1.936165e+03 | -- | Inf
1237.23/1237.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1237.23/1237.28 c 1237s| 1 | 0 |644204 | - | 140M| 0 |2045 |4500 | 72k|4500 | 74k|6606 | 42 | 0 | 1.937489e+03 | -- | Inf
1252.23/1252.27 c 1252s| 1 | 0 |649840 | - | 140M| 0 |2034 |4500 | 72k|4500 | 74k|6628 | 42 | 0 | 1.937555e+03 | -- | Inf
1274.83/1274.85 c 1275s| 1 | 0 |658445 | - | 140M| 0 |2062 |4500 | 72k|4500 | 74k|6653 | 42 | 0 | 1.937671e+03 | -- | Inf
1309.54/1309.55 c 1310s| 1 | 0 |668748 | - | 140M| 0 |2039 |4500 | 72k|4500 | 74k|6683 | 42 | 0 | 1.938728e+03 | -- | Inf
1332.03/1332.10 c 1332s| 1 | 0 |679217 | - | 140M| 0 |2010 |4500 | 72k|4500 | 74k|6717 | 42 | 0 | 1.939700e+03 | -- | Inf
1340.43/1340.40 c 1340s| 1 | 0 |683417 | - | 140M| 0 |2012 |4500 | 72k|4500 | 74k|6742 | 42 | 0 | 1.940566e+03 | -- | Inf
1352.94/1352.97 c 1353s| 1 | 0 |688882 | - | 140M| 0 |2018 |4500 | 72k|4500 | 74k|6767 | 42 | 0 | 1.941600e+03 | -- | Inf
1362.74/1362.73 c 1363s| 1 | 0 |693243 | - | 141M| 0 |2032 |4500 | 72k|4500 | 74k|6794 | 42 | 0 | 1.942284e+03 | -- | Inf
1381.54/1381.60 c 1382s| 1 | 0 |700287 | - | 141M| 0 |1998 |4500 | 72k|4500 | 74k|6821 | 42 | 0 | 1.943312e+03 | -- | Inf
1390.54/1390.57 c 1391s| 1 | 0 |703920 | - | 141M| 0 |1978 |4500 | 72k|4500 | 74k|6842 | 42 | 0 | 1.944137e+03 | -- | Inf
1402.74/1402.76 c 1403s| 1 | 0 |709636 | - | 141M| 0 |2018 |4500 | 72k|4500 | 75k|6867 | 42 | 0 | 1.944795e+03 | -- | Inf
1414.94/1414.98 c 1415s| 1 | 0 |715325 | - | 141M| 0 |2040 |4500 | 72k|4500 | 74k|6895 | 42 | 0 | 1.945332e+03 | -- | Inf
1426.74/1426.73 c 1427s| 1 | 0 |720954 | - | 141M| 0 |2049 |4500 | 72k|4500 | 74k|6918 | 42 | 0 | 1.946023e+03 | -- | Inf
1445.94/1445.92 c 1446s| 1 | 0 |725031 | - | 141M| 0 |2042 |4500 | 72k|4500 | 75k|6946 | 42 | 0 | 1.946328e+03 | -- | Inf
1464.94/1464.97 c 1465s| 1 | 0 |729172 | - | 141M| 0 |2045 |4500 | 72k|4500 | 75k|6970 | 42 | 0 | 1.947009e+03 | -- | Inf
1486.54/1486.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1486.54/1486.59 c 1487s| 1 | 0 |734821 | - | 141M| 0 |2027 |4500 | 72k|4500 | 75k|6992 | 42 | 0 | 1.947515e+03 | -- | Inf
1507.83/1507.84 c 1508s| 1 | 0 |739320 | - | 141M| 0 |2046 |4500 | 72k|4500 | 75k|7007 | 42 | 0 | 1.947957e+03 | -- | Inf
1518.84/1518.88 c 1519s| 1 | 0 |742391 | - | 141M| 0 |2053 |4500 | 72k|4500 | 74k|7027 | 42 | 0 | 1.948604e+03 | -- | Inf
1530.44/1530.42 c 1530s| 1 | 0 |746415 | - | 141M| 0 |2067 |4500 | 72k|4500 | 74k|7046 | 42 | 0 | 1.949416e+03 | -- | Inf
1564.64/1564.60 c 1565s| 1 | 0 |752377 | - | 141M| 0 |2055 |4500 | 72k|4500 | 74k|7068 | 42 | 0 | 1.950198e+03 | -- | Inf
1574.24/1574.20 c 1574s| 1 | 0 |756237 | - | 141M| 0 |2065 |4500 | 72k|4500 | 75k|7093 | 42 | 0 | 1.950805e+03 | -- | Inf
1601.94/1601.94 c 1602s| 1 | 0 |762750 | - | 141M| 0 |2050 |4500 | 72k|4500 | 75k|7116 | 42 | 0 | 1.951458e+03 | -- | Inf
1612.44/1612.46 c 1612s| 1 | 0 |767136 | - | 141M| 0 |2055 |4500 | 72k|4500 | 75k|7137 | 42 | 0 | 1.952058e+03 | -- | Inf
1638.64/1638.64 c 1639s| 1 | 0 |770520 | - | 142M| 0 |2044 |4500 | 72k|4500 | 74k|7156 | 42 | 0 | 1.952858e+03 | -- | Inf
1647.64/1647.68 c 1648s| 1 | 0 |774286 | - | 142M| 0 |2061 |4500 | 72k|4500 | 74k|7177 | 42 | 0 | 1.953669e+03 | -- | Inf
1686.55/1686.56 c 1687s| 1 | 0 |777012 | - | 142M| 0 |2057 |4500 | 72k|4500 | 74k|7195 | 42 | 0 | 1.954555e+03 | -- | Inf
1702.05/1702.06 c 1702s| 1 | 0 |782891 | - | 142M| 0 |2049 |4500 | 72k|4500 | 75k|7217 | 42 | 0 | 1.955224e+03 | -- | Inf
1734.34/1734.35 c 1734s| 1 | 0 |786409 | - | 142M| 0 |2071 |4500 | 72k|4500 | 75k|7237 | 42 | 0 | 1.955468e+03 | -- | Inf
1747.15/1747.19 c 1747s| 1 | 0 |791461 | - | 142M| 0 |2073 |4500 | 72k|4500 | 75k|7254 | 42 | 0 | 1.956186e+03 | -- | Inf
1769.25/1769.21 c 1769s| 1 | 0 |795161 | - | 142M| 0 |2068 |4500 | 72k|4500 | 74k|7271 | 42 | 0 | 1.956633e+03 | -- | Inf
1780.55/1780.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1780.55/1780.56 c 1781s| 1 | 0 |798611 | - | 142M| 0 |2079 |4500 | 72k|4500 | 74k|7288 | 42 | 0 | 1.956853e+03 | -- | Inf
1797.05/1797.00 c 1797s| 1 | 0 |798611 | - | 142M| 0 | - |4500 | 72k|4500 | 75k|7302 | 42 | 0 | 1.956853e+03 | -- | Inf
1797.05/1797.02 c 1797s| 1 | 2 |798611 | - | 142M| 0 | - |4500 | 72k|4500 | 75k|7302 | 42 | 0 | 1.956853e+03 | -- | Inf
1797.05/1797.02 c
1797.05/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.02 c Solving Time (sec) : 1797.02
1797.05/1797.02 c Solving Nodes : 1
1797.05/1797.02 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.05/1797.02 c Dual Bound : +1.95685312313046e+03
1797.05/1797.02 c Gap : infinite
1797.05/1797.02 s UNKNOWN
1797.05/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.02 c Total Time : 1797.02
1797.05/1797.02 c solving : 1797.02
1797.05/1797.02 c presolving : 20.45 (included in solving)
1797.05/1797.02 c reading : 0.34 (included in solving)
1797.05/1797.02 c Original Problem :
1797.05/1797.02 c Problem name : HOME/instance-3485327-1307763564.opb
1797.05/1797.02 c Variables : 4500 (4500 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.02 c Constraints : 72413 initial, 72413 maximal
1797.05/1797.02 c Presolved Problem :
1797.05/1797.02 c Problem name : t_HOME/instance-3485327-1307763564.opb
1797.05/1797.02 c Variables : 4500 (4500 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.02 c Constraints : 72413 initial, 72455 maximal
1797.05/1797.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.05/1797.02 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.02 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.02 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.02 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.02 c probing : 19.82 0 0 0 0 0 0 0 0 0
1797.05/1797.02 c setppc : 0.09 0 0 0 0 0 0 0 0 0
1797.05/1797.02 c linear : 0.37 0 0 0 0 0 0 0 0 0
1797.05/1797.02 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.02 c root node : - 0 - - 0 - - - - -
1797.05/1797.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.05/1797.02 c integral : 0 0 0 0 0 4 0 0 0 0 0 0
1797.05/1797.02 c setppc : 72288 166 6906 0 1 3 2445 1 0 0 0 0
1797.05/1797.02 c logicor : 125+ 166 894 0 1 0 622 14 0 0 0 0
1797.05/1797.02 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1797.05/1797.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.05/1797.02 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.05/1797.02 c setppc : 18.66 0.94 17.69 0.00 0.02 0.01 0.00
1797.05/1797.02 c logicor : 0.03 0.00 0.03 0.00 0.00 0.00 0.00
1797.05/1797.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.05/1797.02 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.05/1797.02 c vbounds : 0 0 0 0
1797.05/1797.02 c rootredcost : 0 0 0 0
1797.05/1797.02 c pseudoobj : 1072 0 0 0
1797.05/1797.02 c Propagator Timings : TotalTime Propagate Resprop
1797.05/1797.02 c vbounds : 0.00 0.00 0.00
1797.05/1797.02 c rootredcost : 0.00 0.00 0.00
1797.05/1797.02 c pseudoobj : 0.01 0.01 0.00
1797.05/1797.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.05/1797.02 c propagation : 0.00 15 15 115 91.2 0 0.0 -
1797.05/1797.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.05/1797.02 c applied globally : - - - 42 62.7 - - -
1797.05/1797.02 c applied locally : - - - 0 0.0 - - -
1797.05/1797.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.05/1797.02 c cut pool : 0.82 165 - - 3974 - (maximal pool size: 15621)
1797.05/1797.02 c redcost : 0.03 166 0 0 0 0
1797.05/1797.02 c impliedbounds : 0.63 166 0 0 0 0
1797.05/1797.02 c intobj : 0.00 0 0 0 0 0
1797.05/1797.02 c gomory : 365.49 166 0 0 82486 0
1797.05/1797.02 c cgmip : 0.00 0 0 0 0 0
1797.05/1797.02 c closecuts : 0.00 0 0 0 0 0
1797.05/1797.02 c strongcg : 4.68 20 0 0 10000 0
1797.05/1797.02 c cmir : 8.22 10 0 0 0 0
1797.05/1797.02 c flowcover : 9.28 10 0 0 0 0
1797.05/1797.02 c clique : 14.18 165 0 0 1609 0
1797.05/1797.02 c zerohalf : 0.00 0 0 0 0 0
1797.05/1797.02 c mcf : 0.07 1 0 0 0 0
1797.05/1797.02 c oddcycle : 0.00 0 0 0 0 0
1797.05/1797.02 c rapidlearning : 0.00 0 0 0 0 0
1797.05/1797.02 c Pricers : Time Calls Vars
1797.05/1797.02 c problem variables: 0.00 0 0
1797.05/1797.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.05/1797.02 c relpscost : 0.00 0 0 0 0 0 0
1797.05/1797.02 c pscost : 0.00 0 0 0 0 0 0
1797.05/1797.02 c inference : 0.00 1 0 0 0 0 2
1797.05/1797.02 c mostinf : 0.00 0 0 0 0 0 0
1797.05/1797.02 c leastinf : 0.00 0 0 0 0 0 0
1797.05/1797.02 c fullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.02 c allfullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.02 c random : 0.00 0 0 0 0 0 0
1797.05/1797.02 c Primal Heuristics : Time Calls Found
1797.05/1797.02 c LP solutions : 0.00 - 0
1797.05/1797.02 c pseudo solutions : 0.00 - 0
1797.05/1797.02 c oneopt : 0.00 0 0
1797.05/1797.02 c trivial : 0.03 2 0
1797.05/1797.02 c shiftandpropagate: 0.87 1 0
1797.05/1797.02 c simplerounding : 0.00 0 0
1797.05/1797.02 c zirounding : 0.00 0 0
1797.05/1797.02 c rounding : 0.76 100 0
1797.05/1797.02 c shifting : 14.36 100 0
1797.05/1797.02 c intshifting : 0.00 0 0
1797.05/1797.02 c twoopt : 0.00 0 0
1797.05/1797.02 c fixandinfer : 0.00 0 0
1797.05/1797.02 c feaspump : 1.86 1 0
1797.05/1797.02 c clique : 0.00 0 0
1797.05/1797.02 c coefdiving : 0.00 0 0
1797.05/1797.02 c pscostdiving : 0.00 0 0
1797.05/1797.02 c fracdiving : 0.00 0 0
1797.05/1797.02 c veclendiving : 0.00 0 0
1797.05/1797.02 c intdiving : 0.00 0 0
1797.05/1797.02 c actconsdiving : 0.00 0 0
1797.05/1797.02 c objpscostdiving : 0.00 0 0
1797.05/1797.02 c rootsoldiving : 0.00 0 0
1797.05/1797.02 c linesearchdiving : 0.00 0 0
1797.05/1797.02 c guideddiving : 0.00 0 0
1797.05/1797.02 c octane : 0.00 0 0
1797.05/1797.02 c rens : 0.00 0 0
1797.05/1797.02 c rins : 0.00 0 0
1797.05/1797.02 c localbranching : 0.00 0 0
1797.05/1797.02 c mutation : 0.00 0 0
1797.05/1797.02 c crossover : 0.00 0 0
1797.05/1797.02 c dins : 0.00 0 0
1797.05/1797.02 c vbounds : 0.00 0 0
1797.05/1797.02 c undercover : 0.00 0 0
1797.05/1797.02 c subnlp : 0.00 0 0
1797.05/1797.02 c trysol : 0.00 0 0
1797.05/1797.02 c LP : Time Calls Iterations Iter/call Iter/sec
1797.05/1797.02 c primal LP : 0.69 0 0 0.00 0.00
1797.05/1797.02 c dual LP : 1351.03 166 797674 4805.27 590.42
1797.05/1797.02 c lex dual LP : 0.00 0 0 0.00 -
1797.05/1797.02 c barrier LP : 0.00 0 0 0.00 -
1797.05/1797.02 c diving/probing LP: 1.40 69 937 13.58 671.45
1797.05/1797.02 c strong branching : 0.00 0 0 0.00 -
1797.05/1797.02 c (at root node) : - 0 0 0.00 -
1797.05/1797.02 c conflict analysis: 0.00 0 0 0.00 -
1797.05/1797.02 c B&B Tree :
1797.05/1797.02 c number of runs : 1
1797.05/1797.02 c nodes : 1
1797.05/1797.02 c nodes (total) : 1
1797.05/1797.02 c nodes left : 2
1797.05/1797.02 c max depth : 0
1797.05/1797.02 c max depth (total): 0
1797.05/1797.02 c backtracks : 0 (0.0%)
1797.05/1797.02 c delayed cutoffs : 0
1797.05/1797.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.05/1797.02 c avg switch length: 1.00
1797.05/1797.02 c switching time : 0.00
1797.05/1797.02 c Solution :
1797.05/1797.02 c Solutions found : 0 (0 improvements)
1797.05/1797.02 c Primal Bound : -
1797.05/1797.02 c Dual Bound : +1.95685312313046e+03
1797.05/1797.02 c Gap : infinite
1797.05/1797.02 c Root Dual Bound : +1.95685312313046e+03
1797.05/1797.02 c Root Iterations : 798611
1797.25/1797.20 c Time complete: 1797.25.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3485327-1307763564/watcher-3485327-1307763564 -o /tmp/evaluation-result-3485327-1307763564/solver-3485327-1307763564 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485327-1307763564.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.01 2.00 2/177 1715
/proc/meminfo: memFree=31576980/32951124 swapFree=67056304/67111528
[pid=1715] ppid=1713 vsize=6720 CPUtime=0 cores=1,3,5,7
/proc/1715/stat : 1715 (scip-2.0.1.4_2.) R 1713 1715 30098 0 -1 4202496 822 0 0 0 0 0 0 0 25 0 1 0 966586972 6881280 777 33554432000 4194304 8979876 140736639294416 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/1715/statm: 1680 778 316 1169 0 507 0
[startup+0.0520011 s]
/proc/loadavg: 2.02 2.01 2.00 2/177 1715
/proc/meminfo: memFree=31576980/32951124 swapFree=67056304/67111528
[pid=1715] ppid=1713 vsize=17292 CPUtime=0.04 cores=1,3,5,7
/proc/1715/stat : 1715 (scip-2.0.1.4_2.) R 1713 1715 30098 0 -1 4202496 3344 0 0 0 4 0 0 0 25 0 1 0 966586972 17707008 3299 33554432000 4194304 8979876 140736639294416 18446744073709551615 7893696 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/1715/statm: 4323 3299 366 1169 0 3150 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 17292
[startup+0.100992 s]
/proc/loadavg: 2.02 2.01 2.00 2/177 1715
/proc/meminfo: memFree=31576980/32951124 swapFree=67056304/67111528
[pid=1715] ppid=1713 vsize=21468 CPUtime=0.09 cores=1,3,5,7
/proc/1715/stat : 1715 (scip-2.0.1.4_2.) R 1713 1715 30098 0 -1 4202496 4397 0 0 0 9 0 0 0 25 0 1 0 966586972 21983232 4352 33554432000 4194304 8979876 140736639294416 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/1715/statm: 5367 4352 366 1169 0 4194 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21468
[startup+0.300944 s]
/proc/loadavg: 2.02 2.01 2.00 2/177 1715
/proc/meminfo: memFree=31576980/32951124 swapFree=67056304/67111528
[pid=1715] ppid=1713 vsize=32940 CPUtime=0.29 cores=1,3,5,7
/proc/1715/stat : 1715 (scip-2.0.1.4_2.) R 1713 1715 30098 0 -1 4202496 7264 0 0 0 29 0 0 0 25 0 1 0 966586972 33730560 7219 33554432000 4194304 8979876 140736639294416 18446744073709551615 6176755 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/1715/statm: 8235 7219 366 1169 0 7062 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32940
[startup+0.700871 s]
/proc/loadavg: 2.02 2.01 2.00 2/177 1715
/proc/meminfo: memFree=31576980/32951124 swapFree=67056304/67111528
[pid=1715] ppid=1713 vsize=116740 CPUtime=0.69 cores=1,3,5,7
/proc/1715/stat : 1715 (scip-2.0.1.4_2.) R 1713 1715 30098 0 -1 4202496 30257 0 0 0 66 3 0 0 25 0 1 0 966586972 119541760 27699 33554432000 4194304 8979876 140736639294416 18446744073709551615 6503537 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/1715/statm: 29185 27699 487 1169 0 28012 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 116740
[startup+1.50073 s]
/proc/loadavg: 2.02 2.01 2.00 4/178 1716
/proc/meminfo: memFree=31446176/32951124 swapFree=67056304/67111528
[pid=1715] ppid=1713 vsize=137556 CPUtime=1.49 cores=1,3,5,7
/proc/1715/stat : 1715 (scip-2.0.1.4_2.) R 1713 1715 30098 0 -1 4202496 40381 0 0 0 146 3 0 0 25 0 1 0 966586972 140857344 32926 33554432000 4194304 8979876 140736639294416 18446744073709551615 4889213 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/1715/statm: 34389 32926 519 1169 0 33216 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 137556
[startup+3.10043 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 1716
/proc/meminfo: memFree=31446108/32951124 swapFree=67056304/67111528
[pid=1715] ppid=1713 vsize=137556 CPUtime=3.09 cores=1,3,5,7
/proc/1715/stat : 1715 (scip-2.0.1.4_2.) R 1713 1715 30098 0 -1 4202496 40381 0 0 0 306 3 0 0 25 0 1 0 966586972 140857344 32926 33554432000 4194304 8979876 140736639294416 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/1715/statm: 34389 32926 519 1169 0 33216 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 137556
[startup+6.30085 s]
/proc/loadavg: 2.02 2.01 2.00 4/178 1716
/proc/meminfo: memFree=31446156/32951124 swapFree=67056304/67111528
[pid=1715] ppid=1713 vsize=137556 CPUtime=6.29 cores=1,3,5,7
/proc/1715/stat : 1715 (scip-2.0.1.4_2.) R 1713 1715 30098 0 -1 4202496 40381 0 0 0 626 3 0 0 25 0 1 0 966586972 140857344 32926 33554432000 4194304 8979876 140736639294416 18446744073709551615 5539232 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/1715/statm: 34389 32926 519 1169 0 33216 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 137556
[startup+12.7007 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 1716
/proc/meminfo: memFree=31446180/32951124 swapFree=67056304/67111528
[pid=1715] ppid=1713 vsize=137556 CPUtime=12.69 cores=1,3,5,7
/proc/1715/stat : 1715 (scip-2.0.1.4_2.) R 1713 1715 30098 0 -1 4202496 40386 0 0 0 1266 3 0 0 25 0 1 0 966586972 140857344 32931 33554432000 4194304 8979876 140736639294416 18446744073709551615 5537629 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/1715/statm: 34389 32931 524 1169 0 33216 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 137556
[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 1716
/proc/meminfo: memFree=31339216/32951124 swapFree=67056304/67111528
[pid=1715] ppid=1713 vsize=251624 CPUtime=25.49 cores=1,3,5,7
/proc/1715/stat : 1715 (scip-2.0.1.4_2.) R 1713 1715 30098 0 -1 4202496 75052 0 0 0 2541 8 0 0 25 0 1 0 966586972 257662976 59832 33554432000 4194304 8979876 140736639294416 18446744073709551615 7047319 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/1715/statm: 62906 59832 672 1169 0 61733 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 251624
[startup+51.1006 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 1717
/proc/meminfo: memFree=31311556/32951124 swapFree=67056304/67111528
[pid=1715] ppid=1713 vsize=278324 CPUtime=51.1 cores=1,3,5,7
/proc/1715/stat : 1715 (scip-2.0.1.4_2.) R 1713 1715 30098 0 -1 4202496 87344 0 0 0 5097 13 0 0 25 0 1 0 966586972 285003776 67271 33554432000 4194304 8979876 140736639294416 18446744073709551615 6293620 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/1715/statm: 69581 67271 1257 1169 0 68408 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 278324
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 1718
/proc/meminfo: memFree=31289568/32951124 swapFree=67056304/67111528
[pid=1715] ppid=1713 vsize=300456 CPUtime=102.3 cores=1,3,5,7
/proc/1715/stat : 1715 (scip-2.0.1.4_2.) R 1713 1715 30098 0 -1 4202496 93296 0 0 0 10207 23 0 0 25 0 1 0 966586972 307666944 72677 33554432000 4194304 8979876 140736639294416 18446744073709551615 6820793 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/1715/statm: 75114 72677 712 1169 0 73941 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 300456
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 1720
/proc/meminfo: memFree=31298244/32951124 swapFree=67056304/67111528
[pid=1715] ppid=1713 vsize=292656 CPUtime=162.3 cores=1,3,5,7
/proc/1715/stat : 1715 (scip-2.0.1.4_2.) R 1713 1715 30098 0 -1 4202496 99701 0 0 0 16189 41 0 0 25 0 1 0 966586972 299679744 70315 33554432000 4194304 8979876 140736639294416 18446744073709551615 7179724 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/1715/statm: 73164 70315 711 1169 0 71991 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 292656
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1722
/proc/meminfo: memFree=31286260/32951124 swapFree=67056304/67111528
[pid=1715] ppid=1713 vsize=305156 CPUtime=222.29 cores=1,3,5,7
/proc/1715/stat : 1715 (scip-2.0.1.4_2.) R 1713 1715 30098 0 -1 4202496 103877 0 0 0 22171 58 0 0 25 0 1 0 966586972 312479744 73509 33554432000 4194304 8979876 140736639294416 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/1715/statm: 76289 73509 755 1169 0 75116 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 305156
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1723
/proc/meminfo: memFree=31284696/32951124 swapFree=67056304/67111528
[pid=1715] ppid=1713 vsize=305156 CPUtime=282.3 cores=1,3,5,7
/proc/1715/stat : 1715 (scip-2.0.1.4_2.) R 1713 1715 30098 0 -1 4202496 103942 0 0 0 28157 73 0 0 25 0 1 0 966586972 312479744 73530 33554432000 4194304 8979876 140736639294416 18446744073709551615 7193019 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/1715/statm: 76289 73530 711 1169 0 75116 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 305156
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1725
/proc/meminfo: memFree=31283772/32951124 swapFree=67056304/67111528
[pid=1715] ppid=1713 vsize=305156 CPUtime=342.3 cores=1,3,5,7
/proc/1715/stat : 1715 (scip-2.0.1.4_2.) R 1713 1715 30098 0 -1 4202496 103956 0 0 0 34141 89 0 0 25 0 1 0 966586972 312479744 73544 33554432000 4194304 8979876 140736639294416 18446744073709551615 6820799 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/1715/statm: 76289 73544 714 1169 0 75116 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 305156
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 1726
/proc/meminfo: memFree=31277524/32951124 swapFree=67056304/67111528
[pid=1715] ppid=1713 vsize=308032 CPUtime=402.3 cores=1,3,5,7
/proc/1715/stat : 1715 (scip-2.0.1.4_2.) R 1713 1715 30098 0 -1 4202496 112078 0 0 0 40125 105 0 0 25 0 1 0 966586972 315424768 74662 33554432000 4194304 8979876 140736639294416 18446744073709551615 7143720 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/1715/statm: 77008 74662 713 1169 0 75835 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 308032
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1728
/proc/meminfo: memFree=31275228/32951124 swapFree=67056304/67111528
[pid=1715] ppid=1713 vsize=310068 CPUtime=462.3 cores=1,3,5,7
/proc/1715/stat : 1715 (scip-2.0.1.4_2.) R 1713 1715 30098 0 -1 4202496 130255 0 0 0 46108 122 0 0 25 0 1 0 966586972 317509632 75043 33554432000 4194304 8979876 140736639294416 18446744073709551615 7143720 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/1715/statm: 77517 75043 713 1169 0 76344 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 310068
[startup+522.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 1730
/proc/meminfo: memFree=31276904/32951124 swapFree=67056304/67111528
[pid=1715] ppid=1713 vsize=311896 CPUtime=522.31 cores=1,3,5,7
/proc/1715/stat : 1715 (scip-2.0.1.4_2.) R 1713 1715 30098 0 -1 4202496 133869 0 0 0 52095 136 0 0 25 0 1 0 966586972 319381504 75130 33554432000 4194304 8979876 140736639294416 18446744073709551615 6937234 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/1715/statm: 77974 75130 713 1169 0 76801 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 311896
[startup+582.3 s]
/proc/loadavg: 2.01 2.01 2.00 4/178 1731
/proc/meminfo: memFree=31266332/32951124 swapFree=67056304/67111528
[pid=1715] ppid=1713 vsize=318420 CPUtime=582.3 cores=1,3,5,7
/proc/1715/stat : 1715 (scip-2.0.1.4_2.) R 1713 1715 30098 0 -1 4202496 140567 0 0 0 58081 149 0 0 25 0 1 0 966586972 326062080 77158 33554432000 4194304 8979876 140736639294416 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/1715/statm: 79605 77158 716 1169 0 78432 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 318420
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=31263560/32951124 swapFree=67056304/67111528
[pid=1715] ppid=1713 vsize=317352 CPUtime=1122.33 cores=1,3,5,7
/proc/1715/stat : 1715 (scip-2.0.1.4_2.) R 1713 1715 30098 0 -1 4202496 203157 0 0 0 111965 268 0 0 25 0 1 0 966586972 324968448 74864 33554432000 4194304 8979876 140736639294416 18446744073709551615 7122720 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/1715/statm: 79338 74864 712 1169 0 78165 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 317352
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1747
/proc/meminfo: memFree=31245660/32951124 swapFree=67056304/67111528
[pid=1715] ppid=1713 vsize=333596 CPUtime=1182.33 cores=1,3,5,7
/proc/1715/stat : 1715 (scip-2.0.1.4_2.) R 1713 1715 30098 0 -1 4202496 208246 0 0 0 117954 279 0 0 25 0 1 0 966586972 341602304 79953 33554432000 4194304 8979876 140736639294416 18446744073709551615 6601176 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/1715/statm: 83399 79953 1430 1169 0 82226 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 333596
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1787
/proc/meminfo: memFree=31279240/32951124 swapFree=67056304/67111528
[pid=1715] ppid=1713 vsize=321820 CPUtime=1242.33 cores=1,3,5,7
/proc/1715/stat : 1715 (scip-2.0.1.4_2.) R 1713 1715 30098 0 -1 4202496 215226 0 0 0 123941 292 0 0 25 0 1 0 966586972 329543680 76819 33554432000 4194304 8979876 140736639294416 18446744073709551615 6820810 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/1715/statm: 80455 76819 737 1169 0 79282 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 321820
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1797
/proc/meminfo: memFree=31253588/32951124 swapFree=67056304/67111528
[pid=1715] ppid=1713 vsize=327720 CPUtime=1302.33 cores=1,3,5,7
/proc/1715/stat : 1715 (scip-2.0.1.4_2.) R 1713 1715 30098 0 -1 4202496 217938 0 0 0 129927 306 0 0 25 0 1 0 966586972 335585280 79531 33554432000 4194304 8979876 140736639294416 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/1715/statm: 81930 79531 737 1169 0 80757 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 327720
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1799
/proc/meminfo: memFree=31255236/32951124 swapFree=67056304/67111528
[pid=1715] ppid=1713 vsize=330068 CPUtime=1362.33 cores=1,3,5,7
/proc/1715/stat : 1715 (scip-2.0.1.4_2.) R 1713 1715 30098 0 -1 4202496 228777 0 0 0 135913 320 0 0 25 0 1 0 966586972 337989632 80375 33554432000 4194304 8979876 140736639294416 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/1715/statm: 82517 80375 737 1169 0 81344 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 330068
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1801
/proc/meminfo: memFree=31252772/32951124 swapFree=67056304/67111528
[pid=1715] ppid=1713 vsize=338516 CPUtime=1422.34 cores=1,3,5,7
/proc/1715/stat : 1715 (scip-2.0.1.4_2.) R 1713 1715 30098 0 -1 4202496 243602 0 0 0 141899 335 0 0 25 0 1 0 966586972 346640384 79986 33554432000 4194304 8979876 140736639294416 18446744073709551615 7146513 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/1715/statm: 84629 79986 740 1169 0 83456 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 338516
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1802
/proc/meminfo: memFree=31256696/32951124 swapFree=67056304/67111528
[pid=1715] ppid=1713 vsize=329856 CPUtime=1482.34 cores=1,3,5,7
/proc/1715/stat : 1715 (scip-2.0.1.4_2.) R 1713 1715 30098 0 -1 4202496 246397 0 0 0 147883 351 0 0 25 0 1 0 966586972 337772544 78777 33554432000 4194304 8979876 140736639294416 18446744073709551615 6829008 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/1715/statm: 82464 78777 737 1169 0 81291 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 329856
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1804
/proc/meminfo: memFree=31258000/32951124 swapFree=67056304/67111528
[pid=1715] ppid=1713 vsize=326004 CPUtime=1542.33 cores=1,3,5,7
/proc/1715/stat : 1715 (scip-2.0.1.4_2.) R 1713 1715 30098 0 -1 4202496 248885 0 0 0 153866 367 0 0 25 0 1 0 966586972 333828096 77525 33554432000 4194304 8979876 140736639294416 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/1715/statm: 81501 77525 739 1169 0 80328 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 326004
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1805
/proc/meminfo: memFree=31255220/32951124 swapFree=67056304/67111528
[pid=1715] ppid=1713 vsize=326764 CPUtime=1602.34 cores=1,3,5,7
/proc/1715/stat : 1715 (scip-2.0.1.4_2.) R 1713 1715 30098 0 -1 4202496 256581 0 0 0 159852 382 0 0 25 0 1 0 966586972 334606336 78970 33554432000 4194304 8979876 140736639294416 18446744073709551615 6888353 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/1715/statm: 81691 78970 1501 1169 0 80518 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 326764
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1807
/proc/meminfo: memFree=31253540/32951124 swapFree=67056304/67111528
[pid=1715] ppid=1713 vsize=326764 CPUtime=1662.34 cores=1,3,5,7
/proc/1715/stat : 1715 (scip-2.0.1.4_2.) R 1713 1715 30098 0 -1 4202496 257095 0 0 0 165837 397 0 0 25 0 1 0 966586972 334606336 78985 33554432000 4194304 8979876 140736639294416 18446744073709551615 6888366 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/1715/statm: 81691 78985 1002 1169 0 80518 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 326764
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1809
/proc/meminfo: memFree=31252616/32951124 swapFree=67056304/67111528
[pid=1715] ppid=1713 vsize=329616 CPUtime=1722.35 cores=1,3,5,7
/proc/1715/stat : 1715 (scip-2.0.1.4_2.) R 1713 1715 30098 0 -1 4202496 257229 0 0 0 171825 410 0 0 25 0 1 0 966586972 337526784 78989 33554432000 4194304 8979876 140736639294416 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/1715/statm: 82404 78989 872 1169 0 81231 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 329616
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1810
/proc/meminfo: memFree=31252800/32951124 swapFree=67056304/67111528
[pid=1715] ppid=1713 vsize=330968 CPUtime=1782.34 cores=1,3,5,7
/proc/1715/stat : 1715 (scip-2.0.1.4_2.) R 1713 1715 30098 0 -1 4202496 263961 0 0 0 177810 424 0 0 25 0 1 0 966586972 338911232 79220 33554432000 4194304 8979876 140736639294416 18446744073709551615 6601176 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/1715/statm: 82742 79220 1099 1169 0 81569 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 330968
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1810
/proc/meminfo: memFree=31252676/32951124 swapFree=67056304/67111528
[pid=1715] ppid=1713 vsize=330968 CPUtime=1785.54 cores=1,3,5,7
/proc/1715/stat : 1715 (scip-2.0.1.4_2.) R 1713 1715 30098 0 -1 4202496 263961 0 0 0 178129 425 0 0 25 0 1 0 966586972 338911232 79220 33554432000 4194304 8979876 140736639294416 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/1715/statm: 82742 79220 1099 1169 0 81569 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 330968
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1810
/proc/meminfo: memFree=31252784/32951124 swapFree=67056304/67111528
[pid=1715] ppid=1713 vsize=330968 CPUtime=1791.95 cores=1,3,5,7
/proc/1715/stat : 1715 (scip-2.0.1.4_2.) R 1713 1715 30098 0 -1 4202496 263961 0 0 0 178768 427 0 0 25 0 1 0 966586972 338911232 79220 33554432000 4194304 8979876 140736639294416 18446744073709551615 7836073 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/1715/statm: 82742 79220 1099 1169 0 81569 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 330968
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1811
/proc/meminfo: memFree=31252780/32951124 swapFree=67056304/67111528
[pid=1715] ppid=1713 vsize=330968 CPUtime=1795.14 cores=1,3,5,7
/proc/1715/stat : 1715 (scip-2.0.1.4_2.) R 1713 1715 30098 0 -1 4202496 263961 0 0 0 179087 427 0 0 25 0 1 0 966586972 338911232 79220 33554432000 4194304 8979876 140736639294416 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/1715/statm: 82742 79220 1099 1169 0 81569 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 330968
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1811
/proc/meminfo: memFree=31252780/32951124 swapFree=67056304/67111528
[pid=1715] ppid=1713 vsize=330968 CPUtime=1795.95 cores=1,3,5,7
/proc/1715/stat : 1715 (scip-2.0.1.4_2.) R 1713 1715 30098 0 -1 4202496 263961 0 0 0 179167 428 0 0 25 0 1 0 966586972 338911232 79220 33554432000 4194304 8979876 140736639294416 18446744073709551615 6888336 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/1715/statm: 82742 79220 1099 1169 0 81569 0
Current children cumulated CPU time (s) 1795.95
Current children cumulated vsize (KiB) 330968
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1811
/proc/meminfo: memFree=31252656/32951124 swapFree=67056304/67111528
[pid=1715] ppid=1713 vsize=330968 CPUtime=1796.75 cores=1,3,5,7
/proc/1715/stat : 1715 (scip-2.0.1.4_2.) R 1713 1715 30098 0 -1 4202496 263961 0 0 0 179247 428 0 0 25 0 1 0 966586972 338911232 79220 33554432000 4194304 8979876 140736639294416 18446744073709551615 6888366 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/1715/statm: 82742 79220 1099 1169 0 81569 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 330968
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1811
/proc/meminfo: memFree=31252656/32951124 swapFree=67056304/67111528
[pid=1715] ppid=1713 vsize=330968 CPUtime=1797.15 cores=1,3,5,7
/proc/1715/stat : 1715 (scip-2.0.1.4_2.) R 1713 1715 30098 0 -1 4202496 263972 0 0 0 179287 428 0 0 18 0 1 0 966586972 338911232 79231 33554432000 4194304 8979876 140736639294416 18446744073709551615 6568911 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/1715/statm: 82742 79231 1109 1169 0 81569 0
Current children cumulated CPU time (s) 1797.15
Current children cumulated vsize (KiB) 330968
[startup+1797.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1811
/proc/meminfo: memFree=31252656/32951124 swapFree=67056304/67111528
[pid=1715] ppid=1713 vsize=154168 CPUtime=1797.25 cores=1,3,5,7
/proc/1715/stat : 1715 (scip-2.0.1.4_2.) R 1713 1715 30098 0 -1 4202496 263978 0 0 0 179296 429 0 0 18 0 1 0 966586972 157868032 36871 33554432000 4194304 8979876 140736639294416 18446744073709551615 8073290 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/1715/statm: 38542 36386 728 1169 0 37369 0
Current children cumulated CPU time (s) 1797.25
Current children cumulated vsize (KiB) 154168
Child status: 0
Real time (s): 1797.21
CPU time (s): 1797.26
CPU user time (s): 1792.96
CPU system time (s): 4.29635
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 338516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.96
system time used= 4.29635
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 263983
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= 9
involuntary context switches= 21914
runsolver used 2.86056 second user time and 6.63699 second system time
The end