0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4486895-1751317806.opb>
0.09/0.10 c original problem has 4500 variables (4500 bin, 0 int, 0 cont) and 72413 constraints
0.09/0.10 c problem read in 0.107 seconds
0.09/0.20 c presolving:
0.30/0.34 c (0.3s) running MILP presolver
0.40/0.42 c (0.4s) MILP presolver found nothing
0.50/0.55 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 70163 upgd conss, 0 impls, 72288 clqs
0.59/0.67 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 72413 upgd conss, 0 impls, 72288 clqs
7.66/7.73 c (7.7s) probing: 1000/4500 (22.2%) - 0 fixings, 0 aggregations, 57465 implications, 0 bound changes
7.66/7.73 c (7.7s) probing: 1001/4500 (22.2%) - 0 fixings, 0 aggregations, 57526 implications, 0 bound changes
7.66/7.73 c (7.7s) probing aborted: 1000/1000 successive useless probings
8.56/8.63 c (8.6s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
8.66/8.76 c (8.8s) symmetry computation finished: 17 generators found (max: 1500, log10 of symmetry group size: 15.81) (symcode time: 0.08)
8.66/8.76 c dynamic symmetry handling statistics:
8.66/8.76 c orbitopal reduction: 1 components: 250x18
8.66/8.76 c orbital reduction: no components
8.66/8.76 c lexicographic reduction: no permutations
8.66/8.76 c handled 1 out of 1 symmetry components
8.66/8.78 c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
8.66/8.78 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
8.66/8.78 c 0 implications, 129814 cliques
8.66/8.78 c presolved problem has 4500 variables (4500 bin, 0 int, 0 cont) and 72413 constraints
8.66/8.78 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
8.66/8.78 c 72288 constraints of type <setppc>
8.66/8.78 c 125 constraints of type <logicor>
8.66/8.78 c transformed objective value is always integral (scale: 1)
8.66/8.78 c Presolving Time: 8.60
8.66/8.78 c
8.66/8.78 c - non default parameters ----------------------------------------------------------------------
8.66/8.78 c
8.66/8.78 c # SCIP version 10.0.0
8.66/8.78 c
8.66/8.78 c # maximal time in seconds to run
8.66/8.78 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
8.66/8.78 c limits/time = 3596.998009
8.66/8.78 c
8.66/8.78 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
8.66/8.78 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
8.66/8.78 c limits/memory = 27900
8.66/8.78 c
8.66/8.78 c # belongs reading time to solving time?
8.66/8.78 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
8.66/8.78 c timing/reading = TRUE
8.66/8.78 c
8.66/8.78 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
8.66/8.78 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
8.66/8.78 c reading/opbreader/maxintsize = 47
8.66/8.78 c
8.66/8.78 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
8.66/8.78 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
8.66/8.78 c propagating/genvbounds/timingmask = 0
8.66/8.78 c
8.66/8.78 c -----------------------------------------------------------------------------------------------
8.66/8.78 c
9.35/9.46 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
9.35/9.46 c 9.5s| 1 | 0 | 2574 | - | 628M | 0 |4500 | 72k| 72k| 0 | 0 | 63 | 0 | 1.250000e+03 | -- | Inf | unknown
13.65/13.76 c 13.8s| 1 | 0 | 24020 | - | 655M | 0 |4500 | 72k| 72k| 119 | 1 | 64 | 0 | 1.315000e+03 | -- | Inf | unknown
15.54/15.60 c 15.6s| 1 | 0 | 25016 | - | 664M | 0 |4500 | 72k| 72k| 263 | 2 | 65 | 0 | 1.378500e+03 | -- | Inf | unknown
17.14/17.25 c 17.2s| 1 | 0 | 26208 | - | 673M | 0 |4500 | 72k| 72k| 411 | 3 | 67 | 0 | 1.426500e+03 | -- | Inf | unknown
18.23/18.39 c 18.4s| 1 | 0 | 27352 | - | 681M | 0 |4500 | 72k| 72k| 543 | 4 | 69 | 0 | 1.466500e+03 | -- | Inf | unknown
19.53/19.60 c 19.6s| 1 | 0 | 28589 | - | 690M | 0 |4500 | 72k| 73k| 679 | 5 | 71 | 0 | 1.494250e+03 | -- | Inf | unknown
20.53/20.60 c 20.6s| 1 | 0 | 29678 | - | 700M | 0 |4500 | 72k| 73k| 758 | 6 | 72 | 0 | 1.516625e+03 | -- | Inf | unknown
21.33/21.48 c 21.5s| 1 | 0 | 30681 | - | 708M | 0 |4500 | 72k| 73k| 827 | 7 | 73 | 0 | 1.531500e+03 | -- | Inf | unknown
22.23/22.39 c 22.4s| 1 | 0 | 31802 | - | 716M | 0 |4500 | 72k| 73k| 906 | 8 | 74 | 0 | 1.545481e+03 | -- | Inf | unknown
23.13/23.25 c 23.3s| 1 | 0 | 33035 | - | 724M | 0 |4500 | 72k| 73k| 978 | 9 | 75 | 0 | 1.563917e+03 | -- | Inf | unknown
24.12/24.27 c 24.3s| 1 | 0 | 34428 | - | 733M | 0 |4500 | 72k| 73k|1095 | 10 | 76 | 0 | 1.580208e+03 | -- | Inf | unknown
25.12/25.25 c 25.3s| 1 | 0 | 36034 | - | 740M | 0 |4500 | 72k| 73k|1205 | 11 | 78 | 0 | 1.589183e+03 | -- | Inf | unknown
25.92/26.03 c 26.0s| 1 | 0 | 36942 | - | 747M | 0 |4500 | 72k| 73k|1243 | 12 | 79 | 0 | 1.596583e+03 | -- | Inf | unknown
26.51/26.62 c 26.6s| 1 | 0 | 37699 | - | 755M | 0 |4500 | 72k| 73k|1275 | 13 | 81 | 0 | 1.602857e+03 | -- | Inf | unknown
27.02/27.17 c 27.2s| 1 | 0 | 38166 | - | 762M | 0 |4500 | 72k| 73k|1302 | 14 | 82 | 0 | 1.605577e+03 | -- | Inf | unknown
27.71/27.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
27.71/27.86 c 27.9s| 1 | 0 | 39017 | - | 770M | 0 |4500 | 72k| 73k|1328 | 15 | 83 | 0 | 1.611296e+03 | -- | Inf | unknown
28.41/28.56 c 28.6s| 1 | 0 | 39918 | - | 778M | 0 |4500 | 72k| 73k|1351 | 16 | 86 | 0 | 1.618830e+03 | -- | Inf | unknown
29.21/29.31 c 29.3s| 1 | 0 | 41337 | - | 785M | 0 |4500 | 72k| 73k|1451 | 17 | 87 | 0 | 1.630978e+03 | -- | Inf | unknown
29.91/30.03 c 30.0s| 1 | 0 | 42930 | - | 792M | 0 |4500 | 72k| 73k|1528 | 18 | 88 | 0 | 1.640613e+03 | -- | Inf | unknown
30.50/30.67 c 30.7s| 1 | 0 | 44200 | - | 800M | 0 |4500 | 72k| 73k|1614 | 19 | 89 | 0 | 1.648209e+03 | -- | Inf | unknown
31.20/31.39 c 31.4s| 1 | 0 | 45857 | - | 808M | 0 |4500 | 72k| 73k|1713 | 20 | 91 | 0 | 1.659589e+03 | -- | Inf | unknown
31.70/31.80 c 31.8s| 1 | 0 | 46504 | - | 808M | 0 |4500 | 72k| 73k|1734 | 21 | 92 | 0 | 1.663073e+03 | -- | Inf | unknown
32.00/32.13 c 32.1s| 1 | 0 | 46861 | - | 809M | 0 |4500 | 72k| 74k|1753 | 22 | 93 | 0 | 1.666393e+03 | -- | Inf | unknown
32.30/32.46 c 32.5s| 1 | 0 | 47229 | - | 810M | 0 |4500 | 72k| 73k|1759 | 23 | 94 | 0 | 1.667694e+03 | -- | Inf | unknown
32.60/32.79 c 32.8s| 1 | 0 | 47617 | - | 810M | 0 |4500 | 72k| 73k|1767 | 24 | 96 | 0 | 1.670843e+03 | -- | Inf | unknown
32.90/33.05 c 33.1s| 1 | 0 | 47848 | - | 810M | 0 |4500 | 72k| 73k|1777 | 25 | 99 | 0 | 1.672798e+03 | -- | Inf | unknown
33.19/33.32 c 33.3s| 1 | 0 | 48107 | - | 811M | 0 |4500 | 72k| 73k|1784 | 26 | 100 | 0 | 1.675313e+03 | -- | Inf | unknown
33.49/33.63 c 33.6s| 1 | 0 | 48497 | - | 812M | 0 |4500 | 72k| 73k|1793 | 27 | 103 | 0 | 1.679480e+03 | -- | Inf | unknown
33.79/33.94 c 33.9s| 1 | 0 | 48880 | - | 812M | 0 |4500 | 72k| 73k|1806 | 28 | 104 | 0 | 1.683855e+03 | -- | Inf | unknown
34.09/34.23 c 34.2s| 1 | 0 | 49109 | - | 813M | 0 |4500 | 72k| 73k|1816 | 29 | 105 | 0 | 1.687688e+03 | -- | Inf | unknown
34.39/34.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
34.39/34.50 c 34.5s| 1 | 0 | 49293 | - | 813M | 0 |4500 | 72k| 73k|1826 | 30 | 106 | 0 | 1.690688e+03 | -- | Inf | unknown
34.69/34.88 c 34.9s| 1 | 0 | 49876 | - | 814M | 0 |4500 | 72k| 73k|1840 | 31 | 107 | 0 | 1.696080e+03 | -- | Inf | unknown
35.09/35.20 c 35.2s| 1 | 0 | 50220 | - | 814M | 0 |4500 | 72k| 73k|1853 | 32 | 108 | 0 | 1.698039e+03 | -- | Inf | unknown
35.39/35.54 c 35.5s| 1 | 0 | 50567 | - | 814M | 0 |4500 | 72k| 73k|1868 | 33 | 109 | 0 | 1.700015e+03 | -- | Inf | unknown
35.69/35.89 c 35.9s| 1 | 0 | 50960 | - | 815M | 0 |4500 | 72k| 73k|1880 | 34 | 111 | 0 | 1.702890e+03 | -- | Inf | unknown
35.99/36.19 c 36.2s| 1 | 0 | 51242 | - | 816M | 0 |4500 | 72k| 73k|1890 | 35 | 112 | 0 | 1.705390e+03 | -- | Inf | unknown
36.38/36.50 c 36.5s| 1 | 0 | 51629 | - | 816M | 0 |4500 | 72k| 73k|1899 | 36 | 113 | 0 | 1.709553e+03 | -- | Inf | unknown
36.58/36.78 c 36.8s| 1 | 0 | 51964 | - | 816M | 0 |4500 | 72k| 73k|1918 | 37 | 114 | 0 | 1.711744e+03 | -- | Inf | unknown
36.90/37.07 c 37.1s| 1 | 0 | 52314 | - | 817M | 0 |4500 | 72k| 73k|1933 | 38 | 115 | 0 | 1.714098e+03 | -- | Inf | unknown
37.19/37.33 c 37.3s| 1 | 0 | 52574 | - | 817M | 0 |4500 | 72k| 73k|1948 | 39 | 116 | 0 | 1.717275e+03 | -- | Inf | unknown
37.39/37.59 c 37.6s| 1 | 0 | 52886 | - | 818M | 0 |4500 | 72k| 73k|1962 | 40 | 117 | 0 | 1.720300e+03 | -- | Inf | unknown
37.79/37.94 c 37.9s| 1 | 0 | 53232 | - | 819M | 0 |4500 | 72k| 73k|1973 | 41 | 118 | 0 | 1.724112e+03 | -- | Inf | unknown
38.09/38.24 c 38.2s| 1 | 0 | 53540 | - | 819M | 0 |4500 | 72k| 73k|1986 | 42 | 119 | 0 | 1.727362e+03 | -- | Inf | unknown
38.39/38.56 c 38.6s| 1 | 0 | 53830 | - | 819M | 0 |4500 | 72k| 73k|2000 | 43 | 123 | 0 | 1.730875e+03 | -- | Inf | unknown
38.79/38.91 c 38.9s| 1 | 0 | 54410 | - | 819M | 0 |4500 | 72k| 73k|2018 | 44 | 126 | 0 | 1.737375e+03 | -- | Inf | unknown
38.99/39.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
38.99/39.16 c 39.2s| 1 | 0 | 54700 | - | 820M | 0 |4500 | 72k| 73k|2034 | 45 | 127 | 0 | 1.739875e+03 | -- | Inf | unknown
39.39/39.52 c 39.5s| 1 | 0 | 55075 | - | 820M | 0 |4500 | 72k| 73k|2050 | 46 | 130 | 0 | 1.742875e+03 | -- | Inf | unknown
39.68/39.89 c 39.9s| 1 | 0 | 55528 | - | 820M | 0 |4500 | 72k| 73k|2070 | 47 | 131 | 0 | 1.748625e+03 | -- | Inf | unknown
39.99/40.16 c 40.2s| 1 | 0 | 55856 | - | 820M | 0 |4500 | 72k| 73k|2088 | 48 | 133 | 0 | 1.751015e+03 | -- | Inf | unknown
40.28/40.49 c 40.5s| 1 | 0 | 56223 | - | 821M | 0 |4500 | 72k| 73k|2108 | 49 | 134 | 0 | 1.755796e+03 | -- | Inf | unknown
40.68/40.80 c 40.8s| 1 | 0 | 56573 | - | 821M | 0 |4500 | 72k| 73k|2125 | 50 | 136 | 0 | 1.759234e+03 | -- | Inf | unknown
40.89/41.08 c 41.1s| 1 | 0 | 56841 | - | 822M | 0 |4500 | 72k| 73k|2141 | 51 | 138 | 0 | 1.762452e+03 | -- | Inf | unknown
41.18/41.33 c 41.3s| 1 | 0 | 57108 | - | 822M | 0 |4500 | 72k| 73k|2153 | 52 | 140 | 0 | 1.764952e+03 | -- | Inf | unknown
41.48/41.63 c 41.6s| 1 | 0 | 57511 | - | 823M | 0 |4500 | 72k| 73k|2165 | 53 | 143 | 0 | 1.770202e+03 | -- | Inf | unknown
41.68/41.90 c 41.9s| 1 | 0 | 57863 | - | 823M | 0 |4500 | 72k| 73k|2178 | 54 | 147 | 0 | 1.775077e+03 | -- | Inf | unknown
42.08/42.21 c 42.2s| 1 | 0 | 58351 | - | 824M | 0 |4500 | 72k| 73k|2193 | 55 | 148 | 0 | 1.778500e+03 | -- | Inf | unknown
42.27/42.47 c 42.5s| 1 | 0 | 58628 | - | 824M | 0 |4500 | 72k| 73k|2222 | 56 | 150 | 0 | 1.780083e+03 | -- | Inf | unknown
42.67/42.89 c 42.9s| 1 | 0 | 59129 | - | 825M | 0 |4500 | 72k| 73k|2249 | 57 | 151 | 0 | 1.783208e+03 | -- | Inf | unknown
43.07/43.28 c 43.3s| 1 | 0 | 59579 | - | 825M | 0 |4500 | 72k| 73k|2269 | 58 | 155 | 0 | 1.785438e+03 | -- | Inf | unknown
43.47/43.61 c 43.6s| 1 | 0 | 59874 | - | 825M | 0 |4500 | 72k| 73k|2287 | 59 | 156 | 0 | 1.786438e+03 | -- | Inf | unknown
43.87/44.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
43.87/44.03 c 44.0s| 1 | 0 | 60495 | - | 825M | 0 |4500 | 72k| 73k|2302 | 60 | 157 | 0 | 1.791438e+03 | -- | Inf | unknown
44.27/44.41 c 44.4s| 1 | 0 | 61231 | - | 825M | 0 |4500 | 72k| 73k|2328 | 61 | 158 | 0 | 1.799188e+03 | -- | Inf | unknown
44.57/44.74 c 44.7s| 1 | 0 | 61642 | - | 825M | 0 |4500 | 72k| 73k|2344 | 62 | 159 | 0 | 1.802771e+03 | -- | Inf | unknown
44.77/44.99 c 45.0s| 1 | 0 | 61996 | - | 826M | 0 |4500 | 72k| 73k|2359 | 63 | 160 | 0 | 1.805479e+03 | -- | Inf | unknown
45.16/45.32 c 45.3s| 1 | 0 | 62512 | - | 826M | 0 |4500 | 72k| 73k|2379 | 64 | 161 | 0 | 1.808000e+03 | -- | Inf | unknown
45.36/45.58 c 45.6s| 1 | 0 | 62733 | - | 826M | 0 |4500 | 72k| 73k|2393 | 65 | 162 | 0 | 1.809052e+03 | -- | Inf | unknown
45.66/45.86 c 45.9s| 1 | 0 | 63005 | - | 826M | 0 |4500 | 72k| 73k|2401 | 66 | 163 | 0 | 1.812052e+03 | -- | Inf | unknown
45.97/46.10 c 46.1s| 1 | 0 | 63184 | - | 827M | 0 |4500 | 72k| 73k|2411 | 67 | 164 | 0 | 1.813302e+03 | -- | Inf | unknown
46.16/46.32 c 46.3s| 1 | 0 | 63365 | - | 828M | 0 |4500 | 72k| 73k|2417 | 68 | 173 | 0 | 1.815802e+03 | -- | Inf | unknown
46.36/46.59 c 46.6s| 1 | 0 | 63728 | - | 828M | 0 |4500 | 72k| 73k|2427 | 69 | 174 | 0 | 1.817352e+03 | -- | Inf | unknown
46.76/46.90 c 46.9s| 1 | 0 | 64127 | - | 829M | 0 |4500 | 72k| 73k|2443 | 70 | 176 | 0 | 1.819045e+03 | -- | Inf | unknown
46.96/47.17 c 47.2s| 1 | 0 | 64420 | - | 829M | 0 |4500 | 72k| 73k|2460 | 71 | 179 | 0 | 1.821402e+03 | -- | Inf | unknown
47.26/47.45 c 47.5s| 1 | 0 | 64785 | - | 829M | 0 |4500 | 72k| 73k|2478 | 72 | 181 | 0 | 1.823902e+03 | -- | Inf | unknown
47.66/47.85 c 47.9s| 1 | 0 | 65275 | - | 830M | 0 |4500 | 72k| 73k|2503 | 73 | 183 | 0 | 1.826152e+03 | -- | Inf | unknown
47.96/48.18 c 48.2s| 1 | 0 | 65760 | - | 830M | 0 |4500 | 72k| 73k|2518 | 74 | 184 | 0 | 1.828152e+03 | -- | Inf | unknown
48.25/48.46 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
48.25/48.46 c 48.5s| 1 | 0 | 66145 | - | 830M | 0 |4500 | 72k| 73k|2538 | 75 | 190 | 0 | 1.828402e+03 | -- | Inf | unknown
48.65/48.82 c 48.8s| 1 | 0 | 66669 | - | 830M | 0 |4500 | 72k| 73k|2555 | 76 | 192 | 0 | 1.832527e+03 | -- | Inf | unknown
48.96/49.15 c 49.1s| 1 | 0 | 67136 | - | 830M | 0 |4500 | 72k| 73k|2573 | 77 | 193 | 0 | 1.834070e+03 | -- | Inf | unknown
49.25/49.40 c 49.4s| 1 | 0 | 67432 | - | 830M | 0 |4500 | 72k| 73k|2590 | 78 | 194 | 0 | 1.835329e+03 | -- | Inf | unknown
49.55/49.70 c 49.7s| 1 | 0 | 67866 | - | 830M | 0 |4500 | 72k| 73k|2610 | 79 | 195 | 0 | 1.838715e+03 | -- | Inf | unknown
49.86/50.04 c 50.0s| 1 | 0 | 68395 | - | 831M | 0 |4500 | 72k| 73k|2634 | 80 | 196 | 0 | 1.842365e+03 | -- | Inf | unknown
50.15/50.35 c 50.4s| 1 | 0 | 68809 | - | 831M | 0 |4500 | 72k| 73k|2653 | 81 | 197 | 0 | 1.843698e+03 | -- | Inf | unknown
50.45/50.60 c 50.6s| 1 | 0 | 69100 | - | 831M | 0 |4500 | 72k| 73k|2669 | 82 | 198 | 0 | 1.845092e+03 | -- | Inf | unknown
50.75/50.90 c 50.9s| 1 | 0 | 69530 | - | 832M | 0 |4500 | 72k| 73k|2683 | 83 | 199 | 0 | 1.848467e+03 | -- | Inf | unknown
51.05/51.24 c 51.2s| 1 | 0 | 70090 | - | 832M | 0 |4500 | 72k| 73k|2702 | 84 | 200 | 0 | 1.852000e+03 | -- | Inf | unknown
51.44/51.65 c 51.7s| 1 | 0 | 70819 | - | 832M | 0 |4500 | 72k| 73k|2728 | 85 | 201 | 0 | 1.855277e+03 | -- | Inf | unknown
51.95/52.10 c 52.1s| 1 | 0 | 71574 | - | 833M | 0 |4500 | 72k| 73k|2754 | 86 | 203 | 0 | 1.858301e+03 | -- | Inf | unknown
52.24/52.48 c 52.5s| 1 | 0 | 72142 | - | 833M | 0 |4500 | 72k| 73k|2782 | 87 | 204 | 0 | 1.861426e+03 | -- | Inf | unknown
52.55/52.78 c 52.8s| 1 | 0 | 72528 | - | 833M | 0 |4500 | 72k| 73k|2809 | 88 | 205 | 0 | 1.864205e+03 | -- | Inf | unknown
52.85/53.07 c 53.1s| 1 | 0 | 72838 | - | 834M | 0 |4500 | 72k| 73k|2827 | 89 | 206 | 0 | 1.864532e+03 | -- | Inf | unknown
53.25/53.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
53.25/53.43 c 53.4s| 1 | 0 | 73261 | - | 834M | 0 |4500 | 72k| 73k|2848 | 90 | 208 | 0 | 1.866814e+03 | -- | Inf | unknown
53.45/53.69 c 53.7s| 1 | 0 | 73477 | - | 835M | 0 |4500 | 72k| 73k|2871 | 91 | 209 | 0 | 1.867245e+03 | -- | Inf | unknown
53.75/53.97 c 54.0s| 1 | 0 | 73856 | - | 835M | 0 |4500 | 72k| 73k|2887 | 92 | 211 | 0 | 1.869454e+03 | -- | Inf | unknown
54.15/54.39 c 54.4s| 1 | 0 | 74410 | - | 835M | 0 |4500 | 72k| 73k|2902 | 93 | 215 | 0 | 1.871537e+03 | -- | Inf | unknown
54.54/54.72 c 54.7s| 1 | 0 | 74784 | - | 835M | 0 |4500 | 72k| 73k|2916 | 94 | 216 | 0 | 1.872819e+03 | -- | Inf | unknown
54.85/55.06 c 55.1s| 1 | 0 | 75319 | - | 836M | 0 |4500 | 72k| 73k|2934 | 95 | 219 | 0 | 1.876134e+03 | -- | Inf | unknown
55.24/55.47 c 55.5s| 1 | 0 | 75910 | - | 836M | 0 |4500 | 72k| 73k|2948 | 96 | 222 | 0 | 1.880060e+03 | -- | Inf | unknown
55.54/55.74 c 55.7s| 1 | 0 | 76154 | - | 836M | 0 |4500 | 72k| 73k|2969 | 97 | 223 | 0 | 1.881622e+03 | -- | Inf | unknown
55.74/55.94 c 55.9s| 1 | 0 | 76298 | - | 837M | 0 |4500 | 72k| 73k|2976 | 98 | 224 | 0 | 1.882848e+03 | -- | Inf | unknown
56.14/56.38 c 56.4s| 1 | 0 | 76939 | - | 838M | 0 |4500 | 72k| 73k|2989 | 99 | 225 | 0 | 1.885920e+03 | -- | Inf | unknown
56.64/56.82 c 56.8s| 1 | 0 | 77621 | - | 838M | 0 |4500 | 72k| 73k|3010 |100 | 226 | 0 | 1.889496e+03 | -- | Inf | unknown
56.84/57.09 c 57.1s| 1 | 0 | 77960 | - | 838M | 0 |4500 | 72k| 73k|3030 |101 | 227 | 0 | 1.890839e+03 | -- | Inf | unknown
57.24/57.45 c 57.5s| 1 | 0 | 78526 | - | 838M | 0 |4500 | 72k| 73k|3050 |102 | 228 | 0 | 1.892951e+03 | -- | Inf | unknown
57.54/57.77 c 57.8s| 1 | 0 | 78963 | - | 838M | 0 |4500 | 72k| 73k|3069 |103 | 229 | 0 | 1.893748e+03 | -- | Inf | unknown
57.84/58.08 c 58.1s| 1 | 0 | 79408 | - | 839M | 0 |4500 | 72k| 73k|3080 |104 | 230 | 0 | 1.894763e+03 | -- | Inf | unknown
58.23/58.40 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
58.23/58.40 c 58.4s| 1 | 0 | 79825 | - | 840M | 0 |4500 | 72k| 73k|3097 |105 | 234 | 0 | 1.897000e+03 | -- | Inf | unknown
58.43/58.68 c 58.7s| 1 | 0 | 80218 | - | 840M | 0 |4500 | 72k| 73k|3114 |106 | 236 | 0 | 1.897926e+03 | -- | Inf | unknown
58.73/58.95 c 59.0s| 1 | 0 | 80610 | - | 841M | 0 |4500 | 72k| 73k|3128 |107 | 237 | 0 | 1.898958e+03 | -- | Inf | unknown
59.13/59.36 c 59.4s| 1 | 0 | 81369 | - | 841M | 0 |4500 | 72k| 73k|3144 |108 | 239 | 0 | 1.902465e+03 | -- | Inf | unknown
59.53/59.76 c 59.8s| 1 | 0 | 81994 | - | 841M | 0 |4500 | 72k| 73k|3164 |109 | 242 | 0 | 1.904544e+03 | -- | Inf | unknown
59.93/60.16 c 60.2s| 1 | 0 | 82543 | - | 842M | 0 |4500 | 72k| 73k|3179 |110 | 243 | 0 | 1.906049e+03 | -- | Inf | unknown
60.33/60.59 c 60.6s| 1 | 0 | 83232 | - | 843M | 0 |4500 | 72k| 73k|3198 |111 | 244 | 0 | 1.909146e+03 | -- | Inf | unknown
60.83/61.02 c 61.0s| 1 | 0 | 83816 | - | 843M | 0 |4500 | 72k| 73k|3218 |112 | 245 | 0 | 1.911175e+03 | -- | Inf | unknown
61.42/61.65 c 61.7s| 1 | 0 | 84710 | - | 843M | 0 |4500 | 72k| 73k|3235 |113 | 246 | 0 | 1.912258e+03 | -- | Inf | unknown
61.83/62.06 c 62.1s| 1 | 0 | 85270 | - | 843M | 0 |4500 | 72k| 73k|3252 |114 | 256 | 0 | 1.913240e+03 | -- | Inf | unknown
62.22/62.46 c 62.5s| 1 | 0 | 85754 | - | 844M | 0 |4500 | 72k| 73k|3270 |115 | 257 | 0 | 1.914587e+03 | -- | Inf | unknown
62.42/62.64 c 62.6s| 1 | 0 | 85939 | - | 845M | 0 |4500 | 72k| 73k|3277 |116 | 258 | 0 | 1.916302e+03 | -- | Inf | unknown
62.72/62.94 c 62.9s| 1 | 0 | 86352 | - | 845M | 0 |4500 | 72k| 73k|3287 |117 | 260 | 0 | 1.918795e+03 | -- | Inf | unknown
63.02/63.29 c 63.3s| 1 | 0 | 86893 | - | 846M | 0 |4500 | 72k| 73k|3301 |118 | 261 | 0 | 1.919800e+03 | -- | Inf | unknown
63.42/63.64 c 63.6s| 1 | 0 | 87389 | - | 846M | 0 |4500 | 72k| 73k|3315 |119 | 262 | 0 | 1.922082e+03 | -- | Inf | unknown
63.72/63.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
63.72/63.99 c 64.0s| 1 | 0 | 87843 | - | 846M | 0 |4500 | 72k| 73k|3325 |120 | 263 | 0 | 1.923184e+03 | -- | Inf | unknown
64.12/64.35 c 64.4s| 1 | 0 | 88323 | - | 846M | 0 |4500 | 72k| 73k|3343 |121 | 264 | 0 | 1.924592e+03 | -- | Inf | unknown
64.61/64.89 c 64.9s| 1 | 0 | 89035 | - | 846M | 0 |4500 | 72k| 73k|3359 |122 | 268 | 0 | 1.926980e+03 | -- | Inf | unknown
65.11/65.30 c 65.3s| 1 | 0 | 89470 | - | 846M | 0 |4500 | 72k| 73k|3374 |123 | 271 | 0 | 1.928012e+03 | -- | Inf | unknown
65.41/65.62 c 65.6s| 1 | 0 | 89775 | - | 847M | 0 |4500 | 72k| 73k|3387 |124 | 273 | 0 | 1.928928e+03 | -- | Inf | unknown
65.71/65.96 c 66.0s| 1 | 0 | 90151 | - | 848M | 0 |4500 | 72k| 73k|3396 |125 | 274 | 0 | 1.930520e+03 | -- | Inf | unknown
66.11/66.36 c 66.4s| 1 | 0 | 90716 | - | 848M | 0 |4500 | 72k| 73k|3408 |126 | 276 | 0 | 1.931668e+03 | -- | Inf | unknown
66.51/66.79 c 66.8s| 1 | 0 | 91334 | - | 848M | 0 |4500 | 72k| 73k|3424 |127 | 278 | 0 | 1.933098e+03 | -- | Inf | unknown
66.91/67.12 c 67.1s| 1 | 0 | 91785 | - | 849M | 0 |4500 | 72k| 73k|3439 |128 | 279 | 0 | 1.934799e+03 | -- | Inf | unknown
67.21/67.43 c 67.4s| 1 | 0 | 92165 | - | 850M | 0 |4500 | 72k| 74k|3454 |129 | 281 | 0 | 1.935351e+03 | -- | Inf | unknown
67.51/67.72 c 67.7s| 1 | 0 | 92446 | - | 850M | 0 |4500 | 72k| 74k|3467 |130 | 282 | 0 | 1.935942e+03 | -- | Inf | unknown
67.81/68.03 c 68.0s| 1 | 0 | 92745 | - | 851M | 0 |4500 | 72k| 73k|3478 |131 | 283 | 0 | 1.936625e+03 | -- | Inf | unknown
68.20/68.48 c 68.5s| 1 | 0 | 93501 | - | 851M | 0 |4500 | 72k| 74k|3489 |132 | 284 | 0 | 1.939285e+03 | -- | Inf | unknown
68.81/69.01 c 69.0s| 1 | 0 | 94202 | - | 852M | 0 |4500 | 72k| 74k|3510 |133 | 285 | 0 | 1.940896e+03 | -- | Inf | unknown
69.30/69.57 c 69.6s| 1 | 0 | 94946 | - | 852M | 0 |4500 | 72k| 74k|3526 |134 | 286 | 0 | 1.942603e+03 | -- | Inf | unknown
69.80/70.02 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
69.80/70.02 c 70.0s| 1 | 0 | 95546 | - | 852M | 0 |4500 | 72k| 74k|3542 |135 | 289 | 0 | 1.943478e+03 | -- | Inf | unknown
70.10/70.30 c 70.3s| 1 | 0 | 95861 | - | 853M | 0 |4500 | 72k| 74k|3554 |136 | 290 | 0 | 1.944405e+03 | -- | Inf | unknown
70.90/71.15 c 71.1s| 1 | 0 | 97094 | - | 853M | 0 |4500 | 72k| 74k|3570 |137 | 291 | 0 | 1.946246e+03 | -- | Inf | unknown
71.39/71.65 c 71.6s| 1 | 0 | 97739 | - | 853M | 0 |4500 | 72k| 74k|3591 |138 | 292 | 0 | 1.947854e+03 | -- | Inf | unknown
72.19/72.41 c 72.4s| 1 | 0 | 98623 | - | 854M | 0 |4500 | 72k| 74k|3607 |139 | 294 | 0 | 1.948604e+03 | -- | Inf | unknown
72.59/72.88 c 72.9s| 1 | 0 | 99041 | - | 854M | 0 |4500 | 72k| 74k|3614 |140 | 298 | 0 | 1.949298e+03 | -- | Inf | unknown
73.19/73.48 c 73.5s| 1 | 0 | 99694 | - | 855M | 0 |4500 | 72k| 74k|3628 |141 | 299 | 0 | 1.949946e+03 | -- | Inf | unknown
74.39/74.67 c 74.7s| 1 | 0 |101258 | - | 855M | 0 |4500 | 72k| 74k|3640 |142 | 300 | 0 | 1.951312e+03 | -- | Inf | unknown
75.18/75.45 c 75.5s| 1 | 0 |102315 | - | 855M | 0 |4500 | 72k| 74k|3655 |143 | 302 | 0 | 1.952630e+03 | -- | Inf | unknown
75.79/76.09 c 76.1s| 1 | 0 |103350 | - | 855M | 0 |4500 | 72k| 74k|3667 |144 | 303 | 0 | 1.954256e+03 | -- | Inf | unknown
76.48/76.73 c 76.7s| 1 | 0 |104351 | - | 855M | 0 |4500 | 72k| 74k|3680 |145 | 306 | 0 | 1.955762e+03 | -- | Inf | unknown
76.88/77.15 c 77.1s| 1 | 0 |104856 | - | 855M | 0 |4500 | 72k| 74k|3694 |146 | 309 | 0 | 1.957484e+03 | -- | Inf | unknown
77.48/77.76 c 77.8s| 1 | 0 |105773 | - | 856M | 0 |4500 | 72k| 74k|3706 |147 | 310 | 0 | 1.958732e+03 | -- | Inf | unknown
78.37/78.66 c 78.7s| 1 | 0 |107100 | - | 856M | 0 |4500 | 72k| 74k|3719 |148 | 311 | 0 | 1.960070e+03 | -- | Inf | unknown
79.07/79.32 c 79.3s| 1 | 0 |108159 | - | 857M | 0 |4500 | 72k| 74k|3733 |149 | 312 | 0 | 1.961193e+03 | -- | Inf | unknown
79.57/79.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
79.57/79.84 c 79.8s| 1 | 0 |108907 | - | 857M | 0 |4500 | 72k| 74k|3744 |150 | 313 | 0 | 1.962121e+03 | -- | Inf | unknown
79.97/80.25 c 80.2s| 1 | 0 |109385 | - | 857M | 0 |4500 | 72k| 74k|3759 |151 | 314 | 0 | 1.962922e+03 | -- | Inf | unknown
80.57/80.81 c 80.8s| 1 | 0 |110256 | - | 858M | 0 |4500 | 72k| 74k|3769 |152 | 315 | 0 | 1.963735e+03 | -- | Inf | unknown
80.96/81.24 c 81.2s| 1 | 0 |110767 | - | 859M | 0 |4500 | 72k| 74k|3778 |153 | 319 | 0 | 1.964013e+03 | -- | Inf | unknown
81.66/81.90 c 81.9s| 1 | 0 |111698 | - | 859M | 0 |4500 | 72k| 74k|3788 |154 | 321 | 0 | 1.965067e+03 | -- | Inf | unknown
82.06/82.33 c 82.3s| 1 | 0 |112208 | - | 860M | 0 |4500 | 72k| 74k|3803 |155 | 322 | 0 | 1.965635e+03 | -- | Inf | unknown
82.76/83.06 c 83.1s| 1 | 0 |113183 | - | 860M | 0 |4500 | 72k| 74k|3818 |156 | 332 | 0 | 1.967300e+03 | -- | Inf | unknown
83.66/83.93 c 83.9s| 1 | 0 |114519 | - | 860M | 0 |4500 | 72k| 74k|3834 |157 | 334 | 0 | 1.971094e+03 | -- | Inf | unknown
84.06/84.32 c 84.3s| 1 | 0 |115012 | - | 861M | 0 |4500 | 72k| 74k|3856 |158 | 335 | 0 | 1.971842e+03 | -- | Inf | unknown
84.66/84.95 c 84.9s| 1 | 0 |115889 | - | 862M | 0 |4500 | 72k| 74k|3872 |159 | 336 | 0 | 1.973897e+03 | -- | Inf | unknown
85.36/85.67 c 85.7s| 1 | 0 |116903 | - | 862M | 0 |4500 | 72k| 74k|3891 |160 | 337 | 0 | 1.974995e+03 | -- | Inf | unknown
85.66/85.98 c 86.0s| 1 | 0 |117161 | - | 863M | 0 |4500 | 72k| 74k|3903 |161 | 339 | 0 | 1.975441e+03 | -- | Inf | unknown
86.26/86.57 c 86.6s| 1 | 0 |117940 | - | 863M | 0 |4500 | 72k| 74k|3912 |162 | 342 | 0 | 1.975981e+03 | -- | Inf | unknown
86.86/87.18 c 87.2s| 1 | 0 |118770 | - | 864M | 0 |4500 | 72k| 74k|3921 |163 | 343 | 0 | 1.976786e+03 | -- | Inf | unknown
87.45/87.73 c 87.7s| 1 | 0 |119484 | - | 864M | 0 |4500 | 72k| 74k|3929 |164 | 344 | 0 | 1.977354e+03 | -- | Inf | unknown
87.76/88.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
87.76/88.03 c 88.0s| 1 | 0 |119790 | - | 865M | 0 |4500 | 72k| 74k|3937 |165 | 345 | 0 | 1.977763e+03 | -- | Inf | unknown
88.15/88.44 c 88.4s| 1 | 0 |120204 | - | 866M | 0 |4500 | 72k| 74k|3946 |166 | 347 | 0 | 1.978470e+03 | -- | Inf | unknown
88.65/88.97 c 89.0s| 1 | 0 |120840 | - | 866M | 0 |4500 | 72k| 74k|3953 |167 | 348 | 0 | 1.979447e+03 | -- | Inf | unknown
89.25/89.58 c 89.6s| 1 | 0 |121660 | - | 866M | 0 |4500 | 72k| 74k|3968 |168 | 349 | 0 | 1.980940e+03 | -- | Inf | unknown
89.75/90.07 c 90.1s| 1 | 0 |122248 | - | 867M | 0 |4500 | 72k| 74k|3985 |169 | 350 | 0 | 1.981455e+03 | -- | Inf | unknown
90.34/90.66 c 90.7s| 1 | 0 |122942 | - | 867M | 0 |4500 | 72k| 74k|3999 |170 | 356 | 0 | 1.982114e+03 | -- | Inf | unknown
90.85/91.15 c 91.2s| 1 | 0 |123552 | - | 868M | 0 |4500 | 72k| 74k|4010 |171 | 357 | 0 | 1.982528e+03 | -- | Inf | unknown
91.24/91.59 c 91.6s| 1 | 0 |124035 | - | 869M | 0 |4500 | 72k| 74k|4024 |172 | 360 | 0 | 1.983278e+03 | -- | Inf | unknown
91.84/92.14 c 92.1s| 1 | 0 |124692 | - | 869M | 0 |4500 | 72k| 74k|4033 |173 | 362 | 0 | 1.984099e+03 | -- | Inf | unknown
92.34/92.62 c 92.6s| 1 | 0 |125279 | - | 869M | 0 |4500 | 72k| 74k|4046 |174 | 369 | 0 | 1.985157e+03 | -- | Inf | unknown
92.74/93.04 c 93.0s| 1 | 0 |125777 | - | 870M | 0 |4500 | 72k| 74k|4061 |175 | 371 | 0 | 1.985537e+03 | -- | Inf | unknown
93.13/93.45 c 93.5s| 1 | 0 |126207 | - | 871M | 0 |4500 | 72k| 74k|4078 |176 | 373 | 0 | 1.986145e+03 | -- | Inf | unknown
93.53/93.84 c 93.8s| 1 | 0 |126588 | - | 871M | 0 |4500 | 72k| 74k|4095 |177 | 374 | 0 | 1.986829e+03 | -- | Inf | unknown
94.23/94.55 c 94.6s| 1 | 0 |127366 | - | 872M | 0 |4500 | 72k| 74k|4109 |178 | 375 | 0 | 1.987353e+03 | -- | Inf | unknown
95.13/95.42 c 95.4s| 1 | 0 |128397 | - | 873M | 0 |4500 | 72k| 74k|4120 |179 | 378 | 0 | 1.988529e+03 | -- | Inf | unknown
95.62/95.95 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
95.62/95.95 c 96.0s| 1 | 0 |129019 | - | 873M | 0 |4500 | 72k| 74k|4130 |180 | 379 | 0 | 1.989259e+03 | -- | Inf | unknown
96.12/96.49 c 96.5s| 1 | 0 |129518 | - | 873M | 0 |4500 | 72k| 74k|4138 |181 | 380 | 0 | 1.989893e+03 | -- | Inf | unknown
96.73/97.05 c 97.0s| 1 | 0 |130077 | - | 874M | 0 |4500 | 72k| 74k|4147 |182 | 381 | 0 | 1.990372e+03 | -- | Inf | unknown
97.52/97.85 c 97.8s| 1 | 0 |130920 | - | 874M | 0 |4500 | 72k| 74k|4158 |183 | 382 | 0 | 1.991064e+03 | -- | Inf | unknown
98.21/98.53 c 98.5s| 1 | 0 |131636 | - | 875M | 0 |4500 | 72k| 74k|4167 |184 | 383 | 0 | 1.991875e+03 | -- | Inf | unknown
98.61/98.96 c 99.0s| 1 | 0 |132068 | - | 876M | 0 |4500 | 72k| 74k|4176 |185 | 386 | 0 | 1.992370e+03 | -- | Inf | unknown
99.41/99.71 c 99.7s| 1 | 0 |132874 | - | 876M | 0 |4500 | 72k| 74k|4186 |186 | 387 | 0 | 1.993260e+03 | -- | Inf | unknown
99.91/100.28 c 100s| 1 | 0 |133529 | - | 876M | 0 |4500 | 72k| 74k|4201 |187 | 388 | 0 | 1.993797e+03 | -- | Inf | unknown
100.41/100.77 c 101s| 1 | 0 |134091 | - | 877M | 0 |4500 | 72k| 74k|4208 |188 | 389 | 0 | 1.994085e+03 | -- | Inf | unknown
101.11/101.48 c 101s| 1 | 0 |134921 | - | 878M | 0 |4500 | 72k| 74k|4217 |189 | 390 | 0 | 1.995149e+03 | -- | Inf | unknown
101.81/102.15 c 102s| 1 | 0 |135656 | - | 878M | 0 |4500 | 72k| 74k|4225 |190 | 400 | 0 | 1.995873e+03 | -- | Inf | unknown
102.30/102.64 c 103s| 1 | 0 |136212 | - | 879M | 0 |4500 | 72k| 74k|4239 |191 | 403 | 0 | 1.996491e+03 | -- | Inf | unknown
102.90/103.20 c 103s| 1 | 0 |136922 | - | 879M | 0 |4500 | 72k| 74k|4252 |192 | 406 | 0 | 1.997596e+03 | -- | Inf | unknown
103.50/103.85 c 104s| 1 | 0 |137616 | - | 880M | 0 |4500 | 72k| 74k|4262 |193 | 407 | 0 | 1.998232e+03 | -- | Inf | unknown
104.00/104.35 c 104s| 1 | 0 |138154 | - | 880M | 0 |4500 | 72k| 74k|4273 |194 | 409 | 0 | 1.998478e+03 | -- | Inf | unknown
104.50/104.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
104.50/104.84 c 105s| 1 | 0 |138766 | - | 881M | 0 |4500 | 72k| 74k|4286 |195 | 410 | 0 | 1.998837e+03 | -- | Inf | unknown
105.20/105.53 c 106s| 1 | 0 |139586 | - | 881M | 0 |4500 | 72k| 74k|4295 |196 | 411 | 0 | 1.999422e+03 | -- | Inf | unknown
105.90/106.21 c 106s| 1 | 0 |140308 | - | 882M | 0 |4500 | 72k| 74k|4310 |197 | 413 | 0 | 2.000275e+03 | -- | Inf | unknown
106.70/107.09 c 107s| 1 | 0 |141227 | - | 882M | 0 |4500 | 72k| 74k|4324 |198 | 414 | 0 | 2.001029e+03 | -- | Inf | unknown
107.40/107.70 c 108s| 1 | 0 |141887 | - | 883M | 0 |4500 | 72k| 74k|4335 |199 | 421 | 0 | 2.001302e+03 | -- | Inf | unknown
108.29/108.60 c 109s| 1 | 0 |142865 | - | 883M | 0 |4500 | 72k| 74k|4348 |200 | 431 | 0 | 2.002649e+03 | -- | Inf | unknown
109.29/109.66 c 110s| 1 | 0 |144042 | - | 884M | 0 |4500 | 72k| 74k|4367 |201 | 433 | 0 | 2.004035e+03 | -- | Inf | unknown
109.88/110.24 c 110s| 1 | 0 |144695 | - | 885M | 0 |4500 | 72k| 74k|4388 |202 | 434 | 0 | 2.004574e+03 | -- | Inf | unknown
110.48/110.82 c 111s| 1 | 0 |145251 | - | 885M | 0 |4500 | 72k| 74k|4401 |203 | 435 | 0 | 2.005083e+03 | -- | Inf | unknown
111.28/111.66 c 112s| 1 | 0 |146192 | - | 885M | 0 |4500 | 72k| 74k|4411 |204 | 436 | 0 | 2.005920e+03 | -- | Inf | unknown
112.18/112.57 c 113s| 1 | 0 |147160 | - | 886M | 0 |4500 | 72k| 74k|4424 |205 | 437 | 0 | 2.006488e+03 | -- | Inf | unknown
112.87/113.26 c 113s| 1 | 0 |147865 | - | 887M | 0 |4500 | 72k| 74k|4433 |206 | 440 | 0 | 2.007086e+03 | -- | Inf | unknown
113.37/113.77 c 114s| 1 | 0 |148394 | - | 887M | 0 |4500 | 72k| 74k|4441 |207 | 450 | 0 | 2.007913e+03 | -- | Inf | unknown
113.87/114.29 c 114s| 1 | 0 |148869 | - | 888M | 0 |4500 | 72k| 74k|4450 |208 | 453 | 0 | 2.008521e+03 | -- | Inf | unknown
114.37/114.78 c 115s| 1 | 0 |149259 | - | 888M | 0 |4500 | 72k| 74k|4458 |209 | 456 | 0 | 2.009079e+03 | -- | Inf | unknown
115.07/115.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
115.07/115.44 c 115s| 1 | 0 |149848 | - | 888M | 0 |4500 | 72k| 74k|4464 |210 | 457 | 0 | 2.009466e+03 | -- | Inf | unknown
115.56/115.90 c 116s| 1 | 0 |150199 | - | 889M | 0 |4500 | 72k| 74k|4470 |211 | 458 | 0 | 2.009842e+03 | -- | Inf | unknown
115.96/116.32 c 116s| 1 | 0 |150525 | - | 890M | 0 |4500 | 72k| 74k|4476 |212 | 459 | 0 | 2.010100e+03 | -- | Inf | unknown
116.96/117.30 c 117s| 1 | 0 |151504 | - | 891M | 0 |4500 | 72k| 74k|4483 |213 | 460 | 0 | 2.010664e+03 | -- | Inf | unknown
117.56/117.93 c 118s| 1 | 0 |152077 | - | 891M | 0 |4500 | 72k| 74k|4495 |214 | 461 | 0 | 2.011034e+03 | -- | Inf | unknown
118.36/118.73 c 119s| 1 | 0 |152929 | - | 892M | 0 |4500 | 72k| 74k|4506 |215 | 463 | 0 | 2.011852e+03 | -- | Inf | unknown
119.15/119.53 c 120s| 1 | 0 |153755 | - | 892M | 0 |4500 | 72k| 74k|4517 |216 | 464 | 0 | 2.012754e+03 | -- | Inf | unknown
119.66/120.10 c 120s| 1 | 0 |154347 | - | 892M | 0 |4500 | 72k| 74k|4531 |217 | 466 | 0 | 2.013040e+03 | -- | Inf | unknown
120.15/120.53 c 121s| 1 | 0 |154808 | - | 893M | 0 |4500 | 72k| 74k|4543 |218 | 468 | 0 | 2.013417e+03 | -- | Inf | unknown
120.65/121.09 c 121s| 1 | 0 |155374 | - | 894M | 0 |4500 | 72k| 74k|4554 |219 | 470 | 0 | 2.014075e+03 | -- | Inf | unknown
121.44/121.82 c 122s| 1 | 0 |156109 | - | 894M | 0 |4500 | 72k| 74k|4569 |220 | 479 | 0 | 2.014640e+03 | -- | Inf | unknown
122.14/122.54 c 123s| 1 | 0 |156799 | - | 895M | 0 |4500 | 72k| 74k|4581 |221 | 480 | 0 | 2.015098e+03 | -- | Inf | unknown
123.04/123.43 c 123s| 1 | 0 |157702 | - | 895M | 0 |4500 | 72k| 74k|4593 |222 | 481 | 0 | 2.016116e+03 | -- | Inf | unknown
123.84/124.27 c 124s| 1 | 0 |158571 | - | 896M | 0 |4500 | 72k| 74k|4611 |223 | 482 | 0 | 2.016643e+03 | -- | Inf | unknown
124.44/124.89 c 125s| 1 | 0 |159196 | - | 897M | 0 |4500 | 72k| 74k|4625 |224 | 484 | 0 | 2.017114e+03 | -- | Inf | unknown
125.04/125.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
125.04/125.44 c 125s| 1 | 0 |159712 | - | 897M | 0 |4500 | 72k| 74k|4637 |225 | 485 | 0 | 2.017421e+03 | -- | Inf | unknown
125.94/126.37 c 126s| 1 | 0 |160736 | - | 897M | 0 |4500 | 72k| 74k|4647 |226 | 487 | 0 | 2.018289e+03 | -- | Inf | unknown
126.54/126.94 c 127s| 1 | 0 |161243 | - | 898M | 0 |4500 | 72k| 74k|4658 |227 | 497 | 0 | 2.018619e+03 | -- | Inf | unknown
127.23/127.64 c 128s| 1 | 0 |161867 | - | 898M | 0 |4500 | 72k| 74k|4666 |228 | 499 | 0 | 2.019074e+03 | -- | Inf | unknown
128.03/128.46 c 128s| 1 | 0 |162641 | - | 899M | 0 |4500 | 72k| 74k|4672 |229 | 500 | 0 | 2.019730e+03 | -- | Inf | unknown
128.73/129.17 c 129s| 1 | 0 |163269 | - | 899M | 0 |4500 | 72k| 74k|4687 |230 | 501 | 0 | 2.019983e+03 | -- | Inf | unknown
129.83/130.21 c 130s| 1 | 0 |164272 | - | 900M | 0 |4500 | 72k| 74k|4700 |231 | 502 | 0 | 2.020884e+03 | -- | Inf | unknown
130.42/130.81 c 131s| 1 | 0 |164786 | - | 901M | 0 |4500 | 72k| 74k|4709 |232 | 512 | 0 | 2.021124e+03 | -- | Inf | unknown
130.92/131.37 c 131s| 1 | 0 |165288 | - | 901M | 0 |4500 | 72k| 74k|4716 |233 | 513 | 0 | 2.021316e+03 | -- | Inf | unknown
131.62/132.09 c 132s| 1 | 0 |165947 | - | 901M | 0 |4500 | 72k| 74k|4724 |234 | 514 | 0 | 2.021748e+03 | -- | Inf | unknown
132.52/132.92 c 133s| 1 | 0 |166792 | - | 902M | 0 |4500 | 72k| 74k|4734 |235 | 515 | 0 | 2.022139e+03 | -- | Inf | unknown
133.31/133.70 c 134s| 1 | 0 |167542 | - | 902M | 0 |4500 | 72k| 74k|4744 |236 | 517 | 0 | 2.022642e+03 | -- | Inf | unknown
134.11/134.53 c 135s| 1 | 0 |168306 | - | 903M | 0 |4500 | 72k| 74k|4758 |237 | 527 | 0 | 2.022910e+03 | -- | Inf | unknown
134.91/135.34 c 135s| 1 | 0 |169036 | - | 904M | 0 |4500 | 72k| 74k|4771 |238 | 531 | 0 | 2.023251e+03 | -- | Inf | unknown
135.50/135.95 c 136s| 1 | 0 |169588 | - | 904M | 0 |4500 | 72k| 74k|4779 |239 | 532 | 0 | 2.023485e+03 | -- | Inf | unknown
136.10/136.56 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
136.10/136.56 c 137s| 1 | 0 |170115 | - | 904M | 0 |4500 | 72k| 74k|4788 |240 | 534 | 0 | 2.023836e+03 | -- | Inf | unknown
137.00/137.43 c 137s| 1 | 0 |171039 | - | 905M | 0 |4500 | 72k| 74k|4796 |241 | 535 | 0 | 2.024207e+03 | -- | Inf | unknown
137.70/138.14 c 138s| 1 | 0 |171765 | - | 905M | 0 |4500 | 72k| 74k|4805 |242 | 539 | 0 | 2.024747e+03 | -- | Inf | unknown
138.39/138.85 c 139s| 1 | 0 |172408 | - | 906M | 0 |4500 | 72k| 74k|4819 |243 | 540 | 0 | 2.025108e+03 | -- | Inf | unknown
139.09/139.58 c 140s| 1 | 0 |173146 | - | 906M | 0 |4500 | 72k| 74k|4831 |244 | 541 | 0 | 2.025722e+03 | -- | Inf | unknown
139.99/140.40 c 140s| 1 | 0 |173930 | - | 907M | 0 |4500 | 72k| 74k|4843 |245 | 544 | 0 | 2.026548e+03 | -- | Inf | unknown
141.08/141.52 c 142s| 1 | 0 |175061 | - | 907M | 0 |4500 | 72k| 74k|4861 |246 | 549 | 0 | 2.027258e+03 | -- | Inf | unknown
142.18/142.64 c 143s| 1 | 0 |176172 | - | 908M | 0 |4500 | 72k| 74k|4880 |247 | 550 | 0 | 2.028201e+03 | -- | Inf | unknown
142.68/143.14 c 143s| 1 | 0 |176585 | - | 908M | 0 |4500 | 72k| 74k|4899 |248 | 552 | 0 | 2.028420e+03 | -- | Inf | unknown
143.08/143.50 c 144s| 1 | 0 |176908 | - | 909M | 0 |4500 | 72k| 74k|4910 |249 | 553 | 0 | 2.028672e+03 | -- | Inf | unknown
143.58/144.02 c 144s| 1 | 0 |177477 | - | 909M | 0 |4500 | 72k| 74k|4919 |250 | 554 | 0 | 2.028965e+03 | -- | Inf | unknown
144.27/144.72 c 145s| 1 | 0 |178137 | - | 910M | 0 |4500 | 72k| 74k|4931 |251 | 556 | 0 | 2.029459e+03 | -- | Inf | unknown
144.77/145.23 c 145s| 1 | 0 |178619 | - | 910M | 0 |4500 | 72k| 74k|4939 |252 | 566 | 0 | 2.030120e+03 | -- | Inf | unknown
145.17/145.66 c 146s| 1 | 0 |179003 | - | 911M | 0 |4500 | 72k| 74k|4952 |253 | 570 | 0 | 2.030450e+03 | -- | Inf | unknown
145.87/146.38 c 146s| 1 | 0 |179828 | - | 911M | 0 |4500 | 72k| 74k|4964 |254 | 572 | 0 | 2.031095e+03 | -- | Inf | unknown
146.47/146.95 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
146.47/146.95 c 147s| 1 | 0 |180325 | - | 912M | 0 |4500 | 72k| 74k|4979 |255 | 573 | 0 | 2.031367e+03 | -- | Inf | unknown
147.47/147.92 c 148s| 1 | 0 |181201 | - | 913M | 0 |4500 | 72k| 74k|4993 |256 | 575 | 0 | 2.031727e+03 | -- | Inf | unknown
148.07/148.53 c 149s| 1 | 0 |181759 | - | 913M | 0 |4500 | 72k| 74k|5006 |257 | 585 | 0 | 2.032018e+03 | -- | Inf | unknown
148.67/149.14 c 149s| 1 | 0 |182272 | - | 913M | 0 |4500 | 72k| 74k|5015 |258 | 587 | 0 | 2.032156e+03 | -- | Inf | unknown
149.36/149.85 c 150s| 1 | 0 |182902 | - | 913M | 0 |4500 | 72k| 74k|5026 |259 | 596 | 0 | 2.032468e+03 | -- | Inf | unknown
149.86/150.39 c 150s| 1 | 0 |183385 | - | 914M | 0 |4500 | 72k| 74k|5034 |260 | 597 | 0 | 2.032698e+03 | -- | Inf | unknown
150.66/151.11 c 151s| 1 | 0 |184052 | - | 915M | 0 |4500 | 72k| 74k|5047 |261 | 599 | 0 | 2.033230e+03 | -- | Inf | unknown
151.16/151.66 c 152s| 1 | 0 |184563 | - | 915M | 0 |4500 | 72k| 74k|5064 |262 | 601 | 0 | 2.033521e+03 | -- | Inf | unknown
151.76/152.29 c 152s| 1 | 0 |185152 | - | 915M | 0 |4500 | 72k| 74k|5071 |263 | 602 | 0 | 2.033823e+03 | -- | Inf | unknown
152.45/152.95 c 153s| 1 | 0 |185823 | - | 915M | 0 |4500 | 72k| 74k|5078 |264 | 603 | 0 | 2.034248e+03 | -- | Inf | unknown
152.95/153.41 c 153s| 1 | 0 |186227 | - | 916M | 0 |4500 | 72k| 74k|5091 |265 | 613 | 0 | 2.034463e+03 | -- | Inf | unknown
153.45/153.96 c 154s| 1 | 0 |186686 | - | 917M | 0 |4500 | 72k| 74k|5100 |266 | 616 | 0 | 2.034677e+03 | -- | Inf | unknown
154.45/154.93 c 155s| 1 | 0 |187630 | - | 917M | 0 |4500 | 72k| 74k|5109 |267 | 619 | 0 | 2.035241e+03 | -- | Inf | unknown
155.04/155.51 c 156s| 1 | 0 |188111 | - | 918M | 0 |4500 | 72k| 74k|5123 |268 | 621 | 0 | 2.035547e+03 | -- | Inf | unknown
155.44/155.98 c 156s| 1 | 0 |188478 | - | 918M | 0 |4500 | 72k| 74k|5138 |269 | 622 | 0 | 2.035615e+03 | -- | Inf | unknown
156.14/156.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
156.14/156.67 c 157s| 1 | 0 |189120 | - | 918M | 0 |4500 | 72k| 74k|5149 |270 | 623 | 0 | 2.035780e+03 | -- | Inf | unknown
156.74/157.25 c 157s| 1 | 0 |189670 | - | 919M | 0 |4500 | 72k| 74k|5158 |271 | 625 | 0 | 2.036101e+03 | -- | Inf | unknown
157.24/157.72 c 158s| 1 | 0 |190070 | - | 920M | 0 |4500 | 72k| 74k|5168 |272 | 626 | 0 | 2.036384e+03 | -- | Inf | unknown
157.83/158.30 c 158s| 1 | 0 |190579 | - | 920M | 0 |4500 | 72k| 74k|5179 |273 | 628 | 0 | 2.036661e+03 | -- | Inf | unknown
158.93/159.41 c 159s| 1 | 0 |191726 | - | 921M | 0 |4500 | 72k| 75k|5192 |274 | 629 | 0 | 2.037328e+03 | -- | Inf | unknown
159.43/159.93 c 160s| 1 | 0 |192195 | - | 922M | 0 |4500 | 72k| 74k|5205 |275 | 639 | 0 | 2.037457e+03 | -- | Inf | unknown
160.03/160.54 c 161s| 1 | 0 |192725 | - | 922M | 0 |4500 | 72k| 74k|5216 |276 | 640 | 0 | 2.037967e+03 | -- | Inf | unknown
160.53/161.05 c 161s| 1 | 0 |193167 | - | 922M | 0 |4500 | 72k| 75k|5234 |277 | 642 | 0 | 2.038120e+03 | -- | Inf | unknown
161.12/161.66 c 162s| 1 | 0 |193748 | - | 923M | 0 |4500 | 72k| 75k|5246 |278 | 643 | 0 | 2.038463e+03 | -- | Inf | unknown
161.82/162.34 c 162s| 1 | 0 |194373 | - | 924M | 0 |4500 | 72k| 75k|5258 |279 | 645 | 0 | 2.038709e+03 | -- | Inf | unknown
162.53/163.08 c 163s| 1 | 0 |195090 | - | 924M | 0 |4500 | 72k| 75k|5268 |280 | 647 | 0 | 2.039236e+03 | -- | Inf | unknown
163.22/163.74 c 164s| 1 | 0 |195799 | - | 925M | 0 |4500 | 72k| 75k|5285 |281 | 648 | 0 | 2.039843e+03 | -- | Inf | unknown
163.82/164.37 c 164s| 1 | 0 |196388 | - | 925M | 0 |4500 | 72k| 75k|5300 |282 | 649 | 0 | 2.040161e+03 | -- | Inf | unknown
164.62/165.16 c 165s| 1 | 0 |197274 | - | 926M | 0 |4500 | 72k| 75k|5311 |283 | 650 | 0 | 2.040383e+03 | -- | Inf | unknown
165.12/165.61 c 166s| 1 | 0 |197604 | - | 926M | 0 |4500 | 72k| 75k|5320 |284 | 651 | 0 | 2.040445e+03 | -- | Inf | unknown
165.72/166.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
165.72/166.20 c 166s| 1 | 0 |198122 | - | 927M | 0 |4500 | 72k| 75k|5332 |285 | 652 | 0 | 2.040635e+03 | -- | Inf | unknown
166.62/167.17 c 167s| 1 | 0 |199082 | - | 927M | 0 |4500 | 72k| 75k|5345 |286 | 653 | 0 | 2.041135e+03 | -- | Inf | unknown
167.31/167.85 c 168s| 1 | 0 |199639 | - | 928M | 0 |4500 | 72k| 75k|5365 |287 | 655 | 0 | 2.041402e+03 | -- | Inf | unknown
167.81/168.37 c 168s| 1 | 0 |200115 | - | 928M | 0 |4500 | 72k| 75k|5375 |288 | 656 | 0 | 2.041573e+03 | -- | Inf | unknown
168.51/169.00 c 169s| 1 | 0 |200744 | - | 929M | 0 |4500 | 72k| 75k|5392 |289 | 657 | 0 | 2.041848e+03 | -- | Inf | unknown
168.91/169.42 c 169s| 1 | 0 |201104 | - | 929M | 0 |4500 | 72k| 75k|5399 |290 | 659 | 0 | 2.041961e+03 | -- | Inf | unknown
169.51/170.10 c 170s| 1 | 0 |201735 | - | 930M | 0 |4500 | 72k| 75k|5410 |291 | 660 | 0 | 2.042365e+03 | -- | Inf | unknown
170.40/170.94 c 171s| 1 | 0 |202537 | - | 931M | 0 |4500 | 72k| 75k|5419 |292 | 662 | 0 | 2.042725e+03 | -- | Inf | unknown
171.00/171.55 c 172s| 1 | 0 |203105 | - | 931M | 0 |4500 | 72k| 75k|5433 |293 | 672 | 0 | 2.043102e+03 | -- | Inf | unknown
171.80/172.32 c 172s| 1 | 0 |203901 | - | 931M | 0 |4500 | 72k| 75k|5443 |294 | 674 | 0 | 2.043333e+03 | -- | Inf | unknown
172.50/173.01 c 173s| 1 | 0 |204641 | - | 932M | 0 |4500 | 72k| 75k|5452 |295 | 675 | 0 | 2.043660e+03 | -- | Inf | unknown
172.99/173.52 c 174s| 1 | 0 |205079 | - | 933M | 0 |4500 | 72k| 75k|5461 |296 | 676 | 0 | 2.043879e+03 | -- | Inf | unknown
173.69/174.22 c 174s| 1 | 0 |205755 | - | 933M | 0 |4500 | 72k| 75k|5469 |297 | 679 | 0 | 2.044205e+03 | -- | Inf | unknown
174.09/174.66 c 175s| 1 | 0 |206105 | - | 933M | 0 |4500 | 72k| 75k|5479 |298 | 680 | 0 | 2.044337e+03 | -- | Inf | unknown
174.88/175.40 c 175s| 1 | 0 |206838 | - | 934M | 0 |4500 | 72k| 75k|5489 |299 | 681 | 0 | 2.044679e+03 | -- | Inf | unknown
175.38/175.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
175.38/175.91 c 176s| 1 | 0 |207263 | - | 934M | 0 |4500 | 72k| 75k|5504 |300 | 682 | 0 | 2.044784e+03 | -- | Inf | unknown
175.78/176.38 c 176s| 1 | 0 |207690 | - | 935M | 0 |4500 | 72k| 75k|5516 |301 | 683 | 0 | 2.044934e+03 | -- | Inf | unknown
176.38/176.90 c 177s| 1 | 0 |208144 | - | 935M | 0 |4500 | 72k| 75k|5527 |302 | 684 | 0 | 2.045092e+03 | -- | Inf | unknown
176.88/177.49 c 177s| 1 | 0 |208627 | - | 936M | 0 |4500 | 72k| 75k|5534 |303 | 686 | 0 | 2.045368e+03 | -- | Inf | unknown
177.87/178.48 c 178s| 1 | 0 |209552 | - | 936M | 0 |4500 | 72k| 75k|5544 |304 | 695 | 0 | 2.045936e+03 | -- | Inf | unknown
178.67/179.20 c 179s| 1 | 0 |210157 | - | 937M | 0 |4500 | 72k| 75k|5556 |305 | 698 | 0 | 2.046126e+03 | -- | Inf | unknown
179.37/179.94 c 180s| 1 | 0 |210809 | - | 937M | 0 |4500 | 72k| 75k|5567 |306 | 699 | 0 | 2.046379e+03 | -- | Inf | unknown
180.17/180.71 c 181s| 1 | 0 |211543 | - | 938M | 0 |4500 | 72k| 75k|5580 |307 | 700 | 0 | 2.046815e+03 | -- | Inf | unknown
180.96/181.58 c 182s| 1 | 0 |212394 | - | 938M | 0 |4500 | 72k| 75k|5602 |308 | 702 | 0 | 2.047145e+03 | -- | Inf | unknown
181.47/182.08 c 182s| 1 | 0 |212856 | - | 938M | 0 |4500 | 72k| 75k|5620 |309 | 703 | 0 | 2.047274e+03 | -- | Inf | unknown
182.06/182.66 c 183s| 1 | 0 |213345 | - | 939M | 0 |4500 | 72k| 75k|5633 |310 | 704 | 0 | 2.047438e+03 | -- | Inf | unknown
182.67/183.30 c 183s| 1 | 0 |213915 | - | 940M | 0 |4500 | 72k| 75k|5642 |311 | 705 | 0 | 2.047559e+03 | -- | Inf | unknown
183.37/183.94 c 184s| 1 | 0 |214524 | - | 940M | 0 |4500 | 72k| 75k|5654 |312 | 706 | 0 | 2.047707e+03 | -- | Inf | unknown
183.96/184.58 c 185s| 1 | 0 |215069 | - | 940M | 0 |4500 | 72k| 75k|5670 |313 | 708 | 0 | 2.047877e+03 | -- | Inf | unknown
184.47/185.01 c 185s| 1 | 0 |215450 | - | 941M | 0 |4500 | 72k| 75k|5682 |314 | 709 | 0 | 2.048030e+03 | -- | Inf | unknown
185.06/185.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
185.06/185.62 c 186s| 1 | 0 |215929 | - | 942M | 0 |4500 | 72k| 75k|5690 |315 | 711 | 0 | 2.048264e+03 | -- | Inf | unknown
185.66/186.23 c 186s| 1 | 0 |216458 | - | 942M | 0 |4500 | 72k| 75k|5703 |316 | 712 | 0 | 2.048440e+03 | -- | Inf | unknown
186.36/186.99 c 187s| 1 | 0 |217176 | - | 943M | 0 |4500 | 72k| 75k|5718 |317 | 713 | 0 | 2.048659e+03 | -- | Inf | unknown
187.05/187.67 c 188s| 1 | 0 |217782 | - | 943M | 0 |4500 | 72k| 75k|5733 |318 | 717 | 0 | 2.048877e+03 | -- | Inf | unknown
187.75/188.34 c 188s| 1 | 0 |218398 | - | 944M | 0 |4500 | 72k| 75k|5748 |319 | 718 | 0 | 2.048987e+03 | -- | Inf | unknown
188.25/188.80 c 189s| 1 | 0 |218738 | - | 944M | 0 |4500 | 72k| 75k|5756 |320 | 720 | 0 | 2.049063e+03 | -- | Inf | unknown
188.75/189.36 c 189s| 1 | 0 |219194 | - | 945M | 0 |4500 | 72k| 75k|5765 |321 | 723 | 0 | 2.049218e+03 | -- | Inf | unknown
189.45/190.04 c 190s| 1 | 0 |219847 | - | 945M | 0 |4500 | 72k| 75k|5775 |322 | 725 | 0 | 2.049497e+03 | -- | Inf | unknown
190.24/190.87 c 191s| 1 | 0 |220559 | - | 946M | 0 |4500 | 72k| 75k|5784 |323 | 726 | 0 | 2.049894e+03 | -- | Inf | unknown
191.34/191.93 c 192s| 1 | 0 |221506 | - | 946M | 0 |4500 | 72k| 75k|5800 |324 | 727 | 0 | 2.050326e+03 | -- | Inf | unknown
191.94/192.54 c 193s| 1 | 0 |222011 | - | 947M | 0 |4500 | 72k| 75k|5813 |325 | 728 | 0 | 2.050435e+03 | -- | Inf | unknown
192.83/193.46 c 193s| 1 | 0 |222859 | - | 947M | 0 |4500 | 72k| 75k|5822 |326 | 738 | 0 | 2.050768e+03 | -- | Inf | unknown
193.44/194.06 c 194s| 1 | 0 |223339 | - | 947M | 0 |4500 | 72k| 75k|5832 |327 | 739 | 0 | 2.050941e+03 | -- | Inf | unknown
194.23/194.88 c 195s| 1 | 0 |224050 | - | 948M | 0 |4500 | 72k| 75k|5838 |328 | 742 | 0 | 2.051251e+03 | -- | Inf | unknown
194.83/195.46 c 195s| 1 | 0 |224498 | - | 949M | 0 |4500 | 72k| 75k|5849 |329 | 743 | 0 | 2.051383e+03 | -- | Inf | unknown
195.53/196.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
195.53/196.12 c 196s| 1 | 0 |224976 | - | 949M | 0 |4500 | 72k| 75k|5857 |330 | 744 | 0 | 2.051522e+03 | -- | Inf | unknown
196.12/196.78 c 197s| 1 | 0 |225545 | - | 949M | 0 |4500 | 72k| 75k|5866 |331 | 745 | 0 | 2.051739e+03 | -- | Inf | unknown
197.02/197.67 c 198s| 1 | 0 |226280 | - | 950M | 0 |4500 | 72k| 75k|5880 |332 | 747 | 0 | 2.052340e+03 | -- | Inf | unknown
198.02/198.61 c 199s| 1 | 0 |227159 | - | 951M | 0 |4500 | 72k| 75k|5896 |333 | 757 | 0 | 2.052628e+03 | -- | Inf | unknown
198.52/199.13 c 199s| 1 | 0 |227562 | - | 951M | 0 |4500 | 72k| 75k|5911 |334 | 758 | 0 | 2.052730e+03 | -- | Inf | unknown
199.11/199.71 c 200s| 1 | 0 |227950 | - | 952M | 0 |4500 | 72k| 75k|5918 |335 | 759 | 0 | 2.052817e+03 | -- | Inf | unknown
199.71/200.34 c 200s| 1 | 0 |228477 | - | 952M | 0 |4500 | 72k| 75k|5927 |336 | 760 | 0 | 2.052930e+03 | -- | Inf | unknown
200.11/200.77 c 201s| 1 | 0 |228805 | - | 953M | 0 |4500 | 72k| 75k|5938 |337 | 762 | 0 | 2.052988e+03 | -- | Inf | unknown
200.71/201.38 c 201s| 1 | 0 |229385 | - | 953M | 0 |4500 | 72k| 75k|5946 |338 | 766 | 0 | 2.053275e+03 | -- | Inf | unknown
201.51/202.11 c 202s| 1 | 0 |230053 | - | 954M | 0 |4500 | 72k| 75k|5958 |339 | 767 | 0 | 2.053506e+03 | -- | Inf | unknown
202.00/202.66 c 203s| 1 | 0 |230506 | - | 954M | 0 |4500 | 72k| 75k|5968 |340 | 768 | 0 | 2.053605e+03 | -- | Inf | unknown
202.41/203.09 c 203s| 1 | 0 |230847 | - | 955M | 0 |4500 | 72k| 75k|5975 |341 | 770 | 0 | 2.053734e+03 | -- | Inf | unknown
202.90/203.53 c 204s| 1 | 0 |231236 | - | 955M | 0 |4500 | 72k| 75k|5980 |342 | 771 | 0 | 2.053896e+03 | -- | Inf | unknown
203.60/204.21 c 204s| 1 | 0 |231829 | - | 956M | 0 |4500 | 72k| 75k|5988 |343 | 776 | 0 | 2.054165e+03 | -- | Inf | unknown
204.20/204.83 c 205s| 1 | 0 |232349 | - | 956M | 0 |4500 | 72k| 75k|5999 |344 | 777 | 0 | 2.054325e+03 | -- | Inf | unknown
204.69/205.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
204.69/205.37 c 205s| 1 | 0 |232842 | - | 957M | 0 |4500 | 72k| 75k|6008 |345 | 780 | 0 | 2.054451e+03 | -- | Inf | unknown
205.29/206.00 c 206s| 1 | 0 |233402 | - | 957M | 0 |4500 | 72k| 75k|6019 |346 | 781 | 0 | 2.054605e+03 | -- | Inf | unknown
206.19/206.85 c 207s| 1 | 0 |234119 | - | 958M | 0 |4500 | 72k| 75k|6029 |347 | 784 | 0 | 2.054830e+03 | -- | Inf | unknown
206.69/207.37 c 207s| 1 | 0 |234569 | - | 958M | 0 |4500 | 72k| 75k|6042 |348 | 785 | 0 | 2.055008e+03 | -- | Inf | unknown
207.39/208.04 c 208s| 1 | 0 |235231 | - | 958M | 0 |4500 | 72k| 75k|6055 |349 | 786 | 0 | 2.055235e+03 | -- | Inf | unknown
207.88/208.57 c 209s| 1 | 0 |235722 | - | 958M | 0 |4500 | 72k| 75k|6072 |350 | 788 | 0 | 2.055340e+03 | -- | Inf | unknown
208.78/209.43 c 209s| 1 | 0 |236435 | - | 959M | 0 |4500 | 72k| 75k|6084 |351 | 789 | 0 | 2.055571e+03 | -- | Inf | unknown
209.58/210.20 c 210s| 1 | 0 |237148 | - | 960M | 0 |4500 | 72k| 75k|6094 |352 | 790 | 0 | 2.055740e+03 | -- | Inf | unknown
210.28/210.92 c 211s| 1 | 0 |237746 | - | 960M | 0 |4500 | 72k| 75k|6103 |353 | 792 | 0 | 2.055921e+03 | -- | Inf | unknown
210.77/211.44 c 211s| 1 | 0 |238156 | - | 960M | 0 |4500 | 72k| 75k|6116 |354 | 794 | 0 | 2.055982e+03 | -- | Inf | unknown
211.17/211.88 c 212s| 1 | 0 |238472 | - | 961M | 0 |4500 | 72k| 75k|6126 |355 | 796 | 0 | 2.056076e+03 | -- | Inf | unknown
211.87/212.58 c 213s| 1 | 0 |239131 | - | 962M | 0 |4500 | 72k| 75k|6138 |356 | 797 | 0 | 2.056353e+03 | -- | Inf | unknown
212.47/213.18 c 213s| 1 | 0 |239589 | - | 962M | 0 |4500 | 72k| 75k|6148 |357 | 800 | 0 | 2.056477e+03 | -- | Inf | unknown
213.17/213.82 c 214s| 1 | 0 |240171 | - | 963M | 0 |4500 | 72k| 75k|6162 |358 | 803 | 0 | 2.056646e+03 | -- | Inf | unknown
213.86/214.58 c 215s| 1 | 0 |240786 | - | 963M | 0 |4500 | 72k| 75k|6175 |359 | 804 | 0 | 2.056824e+03 | -- | Inf | unknown
214.56/215.26 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
214.56/215.26 c 215s| 1 | 0 |241383 | - | 963M | 0 |4500 | 72k| 75k|6191 |360 | 805 | 0 | 2.057058e+03 | -- | Inf | unknown
215.16/215.89 c 216s| 1 | 0 |241866 | - | 964M | 0 |4500 | 72k| 75k|6201 |361 | 814 | 0 | 2.057141e+03 | -- | Inf | unknown
215.86/216.53 c 217s| 1 | 0 |242389 | - | 965M | 0 |4500 | 72k| 75k|6214 |362 | 815 | 0 | 2.057262e+03 | -- | Inf | unknown
216.36/217.08 c 217s| 1 | 0 |242808 | - | 965M | 0 |4500 | 72k| 75k|6229 |363 | 818 | 0 | 2.057349e+03 | -- | Inf | unknown
216.95/217.60 c 218s| 1 | 0 |243234 | - | 966M | 0 |4500 | 72k| 75k|6240 |364 | 819 | 0 | 2.057428e+03 | -- | Inf | unknown
217.55/218.23 c 218s| 1 | 0 |243724 | - | 967M | 0 |4500 | 72k| 75k|6249 |365 | 820 | 0 | 2.057603e+03 | -- | Inf | unknown
218.16/218.81 c 219s| 1 | 0 |244168 | - | 967M | 0 |4500 | 72k| 75k|6260 |366 | 822 | 0 | 2.057711e+03 | -- | Inf | unknown
218.96/219.66 c 220s| 1 | 0 |244962 | - | 967M | 0 |4500 | 72k| 75k|6273 |367 | 823 | 0 | 2.057939e+03 | -- | Inf | unknown
219.85/220.55 c 221s| 1 | 0 |245744 | - | 967M | 0 |4500 | 72k| 75k|6293 |368 | 825 | 0 | 2.058102e+03 | -- | Inf | unknown
220.46/221.15 c 221s| 1 | 0 |246258 | - | 968M | 0 |4500 | 72k| 75k|6311 |369 | 826 | 0 | 2.058190e+03 | -- | Inf | unknown
221.05/221.74 c 222s| 1 | 0 |246743 | - | 969M | 0 |4500 | 72k| 75k|6326 |370 | 827 | 0 | 2.058296e+03 | -- | Inf | unknown
221.55/222.25 c 222s| 1 | 0 |247149 | - | 969M | 0 |4500 | 72k| 75k|6338 |371 | 828 | 0 | 2.058385e+03 | -- | Inf | unknown
222.15/222.87 c 223s| 1 | 0 |247679 | - | 969M | 0 |4500 | 72k| 75k|6348 |372 | 829 | 0 | 2.058469e+03 | -- | Inf | unknown
222.84/223.54 c 224s| 1 | 0 |248266 | - | 970M | 0 |4500 | 72k| 75k|6357 |373 | 830 | 0 | 2.058540e+03 | -- | Inf | unknown
223.45/224.13 c 224s| 1 | 0 |248770 | - | 971M | 0 |4500 | 72k| 75k|6368 |374 | 832 | 0 | 2.058622e+03 | -- | Inf | unknown
224.04/224.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
224.04/224.75 c 225s| 1 | 0 |249285 | - | 971M | 0 |4500 | 72k| 75k|6380 |375 | 834 | 0 | 2.058693e+03 | -- | Inf | unknown
224.64/225.33 c 225s| 1 | 0 |249787 | - | 972M | 0 |4500 | 72k| 75k|6396 |376 | 836 | 0 | 2.058835e+03 | -- | Inf | unknown
225.23/225.99 c 226s| 1 | 0 |250318 | - | 973M | 0 |4500 | 72k| 75k|6406 |377 | 837 | 0 | 2.058937e+03 | -- | Inf | unknown
247.76/248.50 c 249s| 1 | 2 |262594 | - | 973M | 0 |4500 | 72k| 75k|6406 |377 | 858 | 21 | 2.059099e+03 | -- | Inf | unknown
1091.32/1094.51 c 1095s| 100 | 89 |991120 |7482.8 | 1078M | 22 |4500 | 73k| 74k|7715 | 1 |1336 | 550 | 2.059678e+03 | -- | Inf | unknown
1278.99/1282.77 c 1283s| 200 | 145 | 1191k|4729.0 | 1095M | 24 |4500 | 73k| 74k|8539 | 1 |1712 | 634 | 2.060312e+03 | -- | Inf | unknown
1508.06/1512.48 c 1512s| 300 | 225 | 1449k|4010.5 | 1134M | 31 |4500 | 73k| 0 |9147 | 0 |2312 | 716 | 2.060399e+03 | -- | Inf | unknown
1680.38/1685.27 c 1685s| 400 | 299 | 1634k|3468.1 | 1149M | 33 |4500 | 73k| 0 |9680 | 0 |2710 | 781 | 2.060432e+03 | -- | Inf | unknown
1807.52/1812.76 c 1813s| 500 | 364 | 1762k|3030.9 | 1169M | 35 |4500 | 73k| 74k| 10k| 2 |2933 | 852 | 2.061119e+03 | -- | Inf | unknown
1883.11/1888.50 c 1888s| 600 | 404 | 1843k|2660.1 | 1177M | 37 |4500 | 73k| 74k| 10k| 1 |3010 | 893 | 2.061119e+03 | -- | Inf | unknown
2001.38/2007.15 c 2007s| 700 | 456 | 1954k|2438.4 | 1329M | 43 |4500 | 73k| 74k| 11k| 1 |3293 | 968 | 2.061215e+03 | -- | Inf | unknown
2160.72/2166.91 c 2167s| 800 | 500 | 2103k|2319.3 | 1445M | 45 |4500 | 73k| 74k| 12k| 1 |3738 |1049 | 2.061215e+03 | -- | Inf | unknown
2304.32/2310.98 c 2311s| 900 | 552 | 2246k|2220.1 | 1497M | 45 |4500 | 73k| 0 | 12k| 0 |4091 |1150 | 2.061449e+03 | -- | Inf | 1.07%
2418.50/2425.47 c 2425s| 1000 | 600 | 2363k|2115.6 | 1510M | 48 |4500 | 73k| 74k| 13k| 1 |4273 |1219 | 2.062756e+03 | -- | Inf | 12.20%
2539.57/2546.81 c 2547s| 1100 | 650 | 2486k|2035.0 | 1523M | 49 |4500 | 73k| 74k| 13k| 1 |4419 |1293 | 2.062756e+03 | -- | Inf | 12.22%
2673.91/2681.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2673.91/2681.50 c 2681s| 1200 | 718 | 2616k|1973.1 | 1536M | 49 |4500 | 73k| 74k| 14k| 1 |4482 |1382 | 2.062936e+03 | -- | Inf | 12.22%
2680.78/2688.40 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
2680.78/2688.40 c (run 1, node 1207) performing user restart
2680.78/2688.40 c
2680.78/2688.42 c (restart) converted 1875 cuts from the global cut pool into linear constraints
2680.78/2688.42 c
2680.88/2688.51 c presolving:
2680.98/2688.65 c (round 1, exhaustive) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1864 upgd conss, 0 impls, 131850 clqs
2681.18/2688.81 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
2681.18/2688.81 c 0 deleted vars, 23 deleted constraints, 2 added constraints, 0 tightened bounds, 0 added holes, 2 changed sides, 7 changed coefficients
2681.18/2688.81 c 0 implications, 131851 cliques
2681.18/2688.81 c presolved problem has 4500 variables (4500 bin, 0 int, 0 cont) and 74914 constraints
2681.18/2688.81 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
2681.18/2688.81 c 11 constraints of type <knapsack>
2681.18/2688.81 c 74368 constraints of type <setppc>
2681.18/2688.81 c 13 constraints of type <linear>
2681.18/2688.81 c 522 constraints of type <logicor>
2681.18/2688.81 c transformed objective value is always integral (scale: 1)
2681.18/2688.81 c Presolving Time: 8.90
2681.18/2688.81 c
2690.06/2697.74 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2690.06/2697.74 c 2698s| 1 | 0 | 2635k| - | 1540M | 0 |4500 | 74k| 74k| 0 | 0 |4537 |1390 | 2.062936e+03 | -- | Inf | unknown
2691.47/2699.11 c 2699s| 1 | 0 | 2636k| - | 1548M | 0 |4500 | 74k| 74k| 13 | 1 |4538 |1390 | 2.062936e+03 | -- | Inf | unknown
2692.56/2700.20 c 2700s| 1 | 0 | 2637k| - | 1556M | 0 |4500 | 74k| 74k| 28 | 2 |4542 |1390 | 2.062936e+03 | -- | Inf | unknown
2693.75/2701.46 c 2701s| 1 | 0 | 2639k| - | 1564M | 0 |4500 | 74k| 74k| 46 | 3 |4543 |1390 | 2.062936e+03 | -- | Inf | unknown
2694.95/2702.63 c 2703s| 1 | 0 | 2640k| - | 1573M | 0 |4500 | 74k| 74k| 64 | 4 |4544 |1390 | 2.062936e+03 | -- | Inf | unknown
2696.05/2703.79 c 2704s| 1 | 0 | 2641k| - | 1580M | 0 |4500 | 74k| 74k| 84 | 5 |4546 |1390 | 2.062936e+03 | -- | Inf | unknown
2697.14/2704.87 c 2705s| 1 | 0 | 2642k| - | 1588M | 0 |4500 | 74k| 74k| 99 | 6 |4547 |1390 | 2.062936e+03 | -- | Inf | unknown
2698.64/2706.35 c 2706s| 1 | 0 | 2643k| - | 1597M | 0 |4500 | 74k| 74k| 120 | 7 |4549 |1390 | 2.062936e+03 | -- | Inf | unknown
2700.04/2707.73 c 2708s| 1 | 0 | 2644k| - | 1605M | 0 |4500 | 74k| 74k| 142 | 8 |4550 |1390 | 2.062936e+03 | -- | Inf | unknown
2701.03/2708.73 c 2709s| 1 | 0 | 2645k| - | 1612M | 0 |4500 | 74k| 74k| 161 | 9 |4551 |1390 | 2.062936e+03 | -- | Inf | unknown
2702.43/2710.17 c 2710s| 1 | 0 | 2647k| - | 1621M | 0 |4500 | 74k| 74k| 182 | 10 |4552 |1390 | 2.062936e+03 | -- | Inf | unknown
2703.33/2711.06 c 2711s| 1 | 0 | 2647k| - | 1628M | 0 |4500 | 74k| 74k| 200 | 11 |4553 |1390 | 2.062936e+03 | -- | Inf | unknown
2704.22/2711.94 c 2712s| 1 | 0 | 2648k| - | 1636M | 0 |4500 | 74k| 74k| 219 | 12 |4554 |1390 | 2.062936e+03 | -- | Inf | unknown
2705.42/2713.11 c 2713s| 1 | 0 | 2649k| - | 1644M | 0 |4500 | 74k| 74k| 240 | 13 |4556 |1390 | 2.062936e+03 | -- | Inf | unknown
2724.28/2732.04 c 2732s| 1 | 2 | 2661k| - | 1645M | 0 |4500 | 74k| 74k| 240 | 13 |4608 |1409 | 2.062936e+03 | -- | Inf | unknown
2865.18/2873.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2865.18/2873.31 c 2873s| 100 | 101 | 2803k|1934.2 | 1793M | 44 |4500 | 75k| 74k|1111 | 1 |5045 |1507 | 2.062936e+03 | -- | Inf | unknown
3015.25/3023.82 c 3024s| 200 | 199 | 2960k|1908.6 | 1906M | 59 |4500 | 75k| 0 |2230 | 0 |5565 |1597 | 2.062936e+03 | -- | Inf | unknown
3102.70/3111.51 c 3112s| 300 | 243 | 3062k|1849.4 | 1914M | 63 |4500 | 75k| 74k|2717 | 4 |6246 |1687 | 2.062936e+03 | -- | Inf | unknown
3147.08/3156.07 c 3156s| 400 | 296 | 3117k|1768.9 | 1916M | 68 |4500 | 75k| 74k|2794 | 1 |6496 |1726 | 2.062936e+03 | -- | Inf | unknown
3171.00/3180.02 c 3180s| 500 | 322 | 3145k|1681.3 | 1919M | 70 |4500 | 75k| 0 |2888 | 0 |6894 |1748 | 2.062936e+03 | -- | Inf | unknown
3193.94/3203.03 c 3203s| 600 | 352 | 3173k|1603.8 | 1924M | 70 |4500 | 75k| 74k|2975 | 1 |7209 |1776 | 2.062936e+03 | -- | Inf | unknown
3215.68/3224.84 c 3225s| 700 | 382 | 3203k|1535.1 | 1926M | 70 |4500 | 75k| 74k|3027 | 1 |7574 |1813 | 2.062936e+03 | -- | Inf | unknown
3254.87/3264.15 c 3264s| 800 | 420 | 3247k|1480.6 | 1932M | 70 |4500 | 75k| 74k|3269 | 1 |7890 |1864 | 2.062936e+03 | -- | Inf | unknown
3346.41/3355.91 c 3356s| 900 | 471 | 3361k|1464.8 | 1959M | 70 |4500 | 75k| 74k|3786 | 1 |8154 |1939 | 2.062936e+03 | -- | Inf | unknown
3426.48/3436.27 c 3436s| 1000 | 546 | 3452k|1439.2 | 1966M | 70 |4500 | 75k| 74k|4231 | 1 |8665 |2006 | 2.062936e+03 | -- | Inf | unknown
3531.09/3541.13 c 3541s| 1100 | 618 | 3558k|1422.9 | 2053M | 71 |4500 | 75k| 74k|5228 | 1 |8912 |2113 | 2.062936e+03 | -- | Inf | unknown
3586.73/3597.00 c
3586.73/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.73/3597.00 c Solving Time (sec) : 3597.00
3586.73/3597.00 c Solving Nodes : 1143 (total of 2350 nodes in 2 runs)
3586.73/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3586.73/3597.00 c Dual Bound : +2.06293554701405e+03
3586.73/3597.00 c Gap : infinite
3586.73/3597.00 s UNKNOWN
3586.73/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.73/3597.00 c Total Time : 3597.00
3586.73/3597.00 c solving : 3597.00
3586.73/3597.00 c presolving : 8.90 (included in solving)
3586.73/3597.00 c reading : 0.11 (included in solving)
3586.73/3597.00 c copying : 0.26 (3 #copies) (minimal 0.08, maximal 0.09, average 0.09)
3586.73/3597.00 c Original Problem :
3586.73/3597.00 c Problem name : HOME/instance-4486895-1751317806.opb
3586.73/3597.00 c Variables : 4500 (4500 binary, 0 integer, 0 continuous)
3586.73/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.73/3597.00 c Constraints : 72413 initial, 72413 maximal
3586.73/3597.00 c Objective : minimize, 4500 non-zeros (abs.min = 1, abs.max = 1)
3586.73/3597.00 c Presolved Problem :
3586.73/3597.00 c Problem name : t_HOME/instance-4486895-1751317806.opb
3586.73/3597.00 c Variables : 4500 (4500 binary, 0 integer, 0 continuous)
3586.73/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.73/3597.00 c Constraints : 74914 initial, 75953 maximal
3586.73/3597.00 c Objective : minimize, 4500 non-zeros (abs.min = 1, abs.max = 1)
3586.73/3597.00 c Nonzeros : 178825 constraint, 273111 clique table
3586.73/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.73/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c domcol : 0.04 0.00 2 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c dualsparsify : 0.90 0.00 1 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c gateextraction : 0.12 0.00 4 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c implics : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c milp : 0.14 0.00 1 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c sparsify : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c trivial : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c dualfix : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c probing : 6.92 0.00 1 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c symmetry : 0.13 0.00 1 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c vbounds : 0.02 0.00 2 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c knapsack : 0.01 0.00 6 0 0 0 0 0 1 2 2 7
3586.73/3597.00 c setppc : 0.26 0.01 12 0 0 0 0 0 1 0 0 0
3586.73/3597.00 c linear : 0.19 0.02 8 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c logicor : 0.04 0.00 10 0 0 0 0 0 21 0 0 0
3586.73/3597.00 c components : 0.03 0.00 2 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c root node : - - - 0 - - 0 - - - - -
3586.73/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.73/3597.00 c integral : 0 0 0 0 1971 0 0 509 0 0 3388 0 0 974 3786
3586.73/3597.00 c knapsack : 11+ 36 13 143873 0 0 0 0 276 12 377 0 0 0 0
3586.73/3597.00 c setppc : 74368+ 74375 390 221192 0 0 0 504 344192 1036 294075 1 1 0 0
3586.73/3597.00 c linear : 13+ 15 13 113871 0 0 0 3 1 3 0 0 0 0 0
3586.73/3597.00 c logicor : 522+ 1540 390 55467 0 0 0 0 10899 336 5899 2 1 0 0
3586.73/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.73/3597.00 c integral : 922.41 0.00 0.00 0.00 922.41 0.00 0.00 0.00 0.00 0.00
3586.73/3597.00 c knapsack : 0.23 0.00 0.00 0.17 0.00 0.00 0.00 0.00 0.00 0.06
3586.73/3597.00 c setppc : 13.55 0.01 0.91 11.26 0.00 0.00 0.00 0.09 0.11 1.18
3586.73/3597.00 c linear : 0.07 0.02 0.01 0.02 0.00 0.00 0.00 0.01 0.00 0.01
3586.73/3597.00 c logicor : 0.61 0.00 0.04 0.47 0.00 0.00 0.00 0.00 0.03 0.07
3586.73/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.73/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.73/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.73/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.73/3597.00 c dualfix : 2 0 0 0
3586.73/3597.00 c genvbounds : 0 0 0 0
3586.73/3597.00 c nlobbt : 0 0 0 0
3586.73/3597.00 c obbt : 0 0 0 0
3586.73/3597.00 c probing : 0 0 0 0
3586.73/3597.00 c pseudoobj : 14397 0 0 0
3586.73/3597.00 c redcost : 396 0 0 0
3586.73/3597.00 c rootredcost : 2 0 0 0
3586.73/3597.00 c symmetry : 3633 0 201 2960
3586.73/3597.00 c vbounds : 138321 0 0 0
3586.73/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.73/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3586.73/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3586.73/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.73/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.73/3597.00 c probing : 6.92 0.00 6.92 0.00 0.00 0.00
3586.73/3597.00 c pseudoobj : 0.12 0.00 0.00 0.11 0.00 0.00
3586.73/3597.00 c redcost : 0.08 0.00 0.00 0.08 0.00 0.00
3586.73/3597.00 c rootredcost : 0.03 0.00 0.00 0.02 0.00 0.00
3586.73/3597.00 c symmetry : 0.25 0.00 0.13 0.12 0.00 0.01
3586.73/3597.00 c vbounds : 0.68 0.00 0.02 0.63 0.00 0.03
3586.73/3597.00 c Symmetry :
3586.73/3597.00 c #affected vars : 4500 (4500 bin, 0 int, 0 cont)
3586.73/3597.00 c orbitopal red. : 2960 reductions applied, 201 cutoffs
3586.73/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.73/3597.00 c lexicographic red: 0 reductions applied, 0 cutoffs
3586.73/3597.00 c shadow tree time : 0.00 s
3586.73/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.73/3597.00 c propagation : 0.34 1382 1369 - 21066 110.8 36 34.7 - - -
3586.73/3597.00 c infeasible LP : 0.26 96 96 - 2936 227.3 0 0.0 89 263.1 0
3586.73/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.73/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.73/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.73/3597.00 c applied globally : 0.37 - - 0 8930 63.9 - - 89 - -
3586.73/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.73/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.73/3597.00 c cut pool : 0.81 - 1543 778 - - 15795 141558 - - - - - (maximal pool size: 4635)
3586.73/3597.00 c aggregation : 6.77 0.00 537 390 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 -
3586.73/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.73/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3586.73/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c clique : 30.45 0.00 390 390 0 0 3806 21620 0 9025 9025 0 0
3586.73/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c gomory : 55.29 0.00 139 20 0 0 9814 107332 0 4106 4106 0 0
3586.73/3597.00 c > gomorymi : - - - - - - - 67760 0 1804 1804 0 -
3586.73/3597.00 c > strongcg : - - - - - - - 39572 0 2302 2302 0 -
3586.73/3597.00 c impliedbounds : 2.00 0.00 537 390 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c mcf : 0.05 0.00 2 2 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c multilinear : 0.00 0.00 474 390 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c zerohalf : 8.82 0.00 152 33 0 0 2175 12606 0 6879 6879 0 0
3586.73/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.73/3597.00 c hybrid : 0.25 0.00 1034 390 20012 0 121549 6646 0 16867
3586.73/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3586.73/3597.00 c problem variables: 0.00 - 0 0
3586.73/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.73/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.00 c relpscost : 922.40 0.00 1971 0 0 0 3388 0 1176 3786
3586.73/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.73/3597.00 c LP solutions : 0.00 - - 0 0
3586.73/3597.00 c relax solutions : 0.00 - - 0 0
3586.73/3597.00 c pseudo solutions : 0.00 - - 0 0
3586.73/3597.00 c strong branching : 0.01 - - 0 0
3586.73/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3586.73/3597.00 c adaptivediving : 32.65 0.00 4 0 0
3586.73/3597.00 c alns : 8.04 0.00 3 0 0
3586.73/3597.00 c bound : 0.00 0.00 0 0 0
3586.73/3597.00 c clique : 0.15 0.00 1 0 0
3586.73/3597.00 c coefdiving : 0.00 0.00 0 0 0
3586.73/3597.00 c completesol : 0.00 0.00 0 0 0
3586.73/3597.00 c conflictdiving : 103.61 0.00 34 0 0
3586.73/3597.00 c crossover : 0.00 0.00 0 0 0
3586.73/3597.00 c dins : 0.00 0.00 0 0 0
3586.73/3597.00 c distributiondivin: 116.23 0.00 23 0 0
3586.73/3597.00 c dks : 0.00 0.00 0 0 0
3586.73/3597.00 c dps : 0.00 0.00 0 0 0
3586.73/3597.00 c dualval : 0.00 0.00 0 0 0
3586.73/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3586.73/3597.00 c feaspump : 77.12 0.00 5 0 0
3586.73/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3586.73/3597.00 c fracdiving : 76.32 0.00 33 0 0
3586.73/3597.00 c gins : 0.00 0.00 0 0 0
3586.73/3597.00 c guideddiving : 0.00 0.00 0 0 0
3586.73/3597.00 c indicator : 0.00 0.00 0 0 0
3586.73/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3586.73/3597.00 c intdiving : 0.00 0.00 0 0 0
3586.73/3597.00 c intshifting : 0.00 0.00 0 0 0
3586.73/3597.00 c linesearchdiving : 85.27 0.00 31 0 0
3586.73/3597.00 c localbranching : 0.00 0.00 0 0 0
3586.73/3597.00 c locks : 0.06 0.00 1 0 0
3586.73/3597.00 c lpface : 0.00 0.00 0 0 0
3586.73/3597.00 c mpec : 0.00 0.00 0 0 0
3586.73/3597.00 c multistart : 0.00 0.00 0 0 0
3586.73/3597.00 c mutation : 0.00 0.00 0 0 0
3586.73/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3586.73/3597.00 c objpscostdiving : 364.82 0.00 1 0 0
3586.73/3597.00 c octane : 0.00 0.00 0 0 0
3586.73/3597.00 c ofins : 0.00 0.00 0 0 0
3586.73/3597.00 c oneopt : 0.00 0.00 0 0 0
3586.73/3597.00 c padm : 0.00 0.00 0 0 0
3586.73/3597.00 c proximity : 0.00 0.00 0 0 0
3586.73/3597.00 c pscostdiving : 111.42 0.00 21 0 0
3586.73/3597.00 c randrounding : 17.96 0.00 887 0 0
3586.73/3597.00 c rens : 0.00 0.00 0 0 0
3586.73/3597.00 c reoptsols : 0.00 0.00 0 0 0
3586.73/3597.00 c repair : 0.00 0.00 0 0 0
3586.73/3597.00 c rins : 0.00 0.00 0 0 0
3586.73/3597.00 c rootsoldiving : 46.97 0.00 5 0 0
3586.73/3597.00 c rounding : 3.14 0.00 680 0 0
3586.73/3597.00 c scheduler : 0.00 0.00 0 0 0
3586.73/3597.00 c shiftandpropagate: 0.22 0.00 2 0 0
3586.73/3597.00 c shifting : 9.24 0.00 408 0 0
3586.73/3597.00 c simplerounding : 0.00 0.00 0 0 0
3586.73/3597.00 c subnlp : 0.00 0.00 0 0 0
3586.73/3597.00 c trivial : 0.04 0.00 4 0 0
3586.73/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3586.73/3597.00 c trustregion : 0.00 0.00 0 0 0
3586.73/3597.00 c trysol : 0.00 0.00 0 0 0
3586.73/3597.00 c twoopt : 0.00 0.00 0 0 0
3586.73/3597.00 c undercover : 0.00 0.00 0 0 0
3586.73/3597.00 c vbounds : 0.12 0.00 2 0 0
3586.73/3597.00 c veclendiving : 77.28 0.00 33 0 0
3586.73/3597.00 c zeroobj : 0.00 0.00 0 0 0
3586.73/3597.00 c zirounding : 6.78 0.00 1000 0 0
3586.73/3597.00 c other solutions : - - - 0 -
3586.73/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.73/3597.00 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.73/3597.00 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.73/3597.00 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.73/3597.00 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.73/3597.00 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.73/3597.00 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.73/3597.00 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.73/3597.00 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.73/3597.00 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3586.73/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.73/3597.00 c primal LP : 5.50 558 0 0.00 0.00 5.50 558
3586.73/3597.00 c dual LP : 1384.48 3048 2115573 694.31 1528.06 0.01 1
3586.73/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3586.73/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.73/3597.00 c resolve instable : 0.00 0 0 0.00 -
3586.73/3597.00 c diving/probing LP: 1117.24 2858 1502964 525.88 1345.25
3586.73/3597.00 c strong branching : 848.30 2156 1196391 554.91 1410.34 - - 1435
3586.73/3597.00 c (at root node) : - 40 28206 705.15 -
3586.73/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3586.73/3597.00 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3586.73/3597.00 c benders : 0.00 0 0 0 0.00 0 0 0
3586.73/3597.00 c B&B Tree :
3586.73/3597.00 c number of runs : 2
3586.73/3597.00 c nodes : 1143 (929 internal, 214 leaves)
3586.73/3597.00 c feasible leaves : 0
3586.73/3597.00 c infeas. leaves : 213
3586.73/3597.00 c objective leaves : 0
3586.73/3597.00 c nodes (total) : 2350 (1893 internal, 457 leaves)
3586.73/3597.00 c nodes left : 648
3586.73/3597.00 c max depth : 71
3586.73/3597.00 c max depth (total): 71
3586.73/3597.00 c backtracks : 187 (16.4%)
3586.73/3597.00 c early backtracks : 0 (0.0%)
3586.73/3597.00 c nodes exc. ref. : 0 (0.0%)
3586.73/3597.00 c delayed cutoffs : 69
3586.73/3597.00 c repropagations : 398 (22581 domain reductions, 68 cutoffs)
3586.73/3597.00 c avg switch length: 4.68
3586.73/3597.00 c switching time : 9.37
3586.73/3597.00 c Root Node :
3586.73/3597.00 c First LP value : +1.25000000000000e+03
3586.73/3597.00 c First LP Iters : 2574 (10147.24 Iter/sec)
3586.73/3597.00 c First LP Time : 0.25
3586.73/3597.00 c Final Dual Bound : +2.06293554701405e+03
3586.73/3597.00 c Final Root Iters : 277145
3586.73/3597.00 c Root LP Estimate : +2.20427614937433e+03
3586.73/3597.00 c Solution :
3586.73/3597.00 c Solutions found : 0 (0 improvements)
3586.73/3597.00 c Primal Bound : -
3586.73/3597.00 c Dual Bound : +2.06293554701405e+03
3586.73/3597.00 c Gap : infinite
3586.73/3597.00 c Integrals : Total Avg%
3586.73/3597.00 c primal-dual : 359699.95 100.00
3586.73/3597.00 c primal-ref : - - (not evaluated)
3586.73/3597.00 c dual-ref : - - (not evaluated)
3587.02/3597.21 c Time complete (sec): 3587.043
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62534 MiB free)
memory of node 1: 64507 MiB (63862 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486895-1751317806/watcher-4486895-1751317806 -o /tmp/evaluation-result-4486895-1751317806/solver-4486895-1751317806 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751314195-46562 --watchdog 3760 pbsolver -f HOME/instance-4486895-1751317806.opb -t 3600 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=47598, runsolver pid=47595
[startup+0.100063 s]*
/proc/loadavg: 4.28 4.16 4.11 5/263 47599
/proc/meminfo: memFree=129391064/131250000 swapFree=33010684/33010684
[pid=47598] ppid=47595 vsize=62012 memory=50944 CPUtime=0.09 cores=1,3
/proc/47598/stat : 47598 (pbsolver) R 47595 47598 46545 0 -1 4194304 10816 0 0 0 8 1 0 0 20 0 1 0 47460862 63500288 12736 18446744073709551615 4198400 14743177 140732444124848 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34533376 140732444129674 140732444129770 140732444129770 140732444135372 0
/proc/47598/statm: 15503 12736 2176 2575 0 12410 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 62012 KiB
Current children cumulated memory: 50944 KiB
[startup+0.205505 s]*
/proc/loadavg: 4.28 4.16 4.11 5/263 47599
/proc/meminfo: memFree=129335360/131250000 swapFree=33010684/33010684
[pid=47598] ppid=47595 vsize=123644 memory=112456 CPUtime=0.2 cores=1,3
/proc/47598/stat : 47598 (pbsolver) R 47595 47598 46545 0 -1 4194304 26338 0 0 0 17 3 0 0 20 0 1 0 47460862 126611456 28114 18446744073709551615 4198400 14743177 140732444124848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34533376 140732444129674 140732444129770 140732444129770 140732444135372 0
/proc/47598/statm: 30911 28114 2400 2575 0 27818 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 123644 KiB
Current children cumulated memory: 112456 KiB
[startup+0.305378 s]*
/proc/loadavg: 4.28 4.16 4.11 5/263 47599
/proc/meminfo: memFree=129317216/131250000 swapFree=33010684/33010684
[pid=47598] ppid=47595 vsize=148096 memory=133448 CPUtime=0.3 cores=1,3
/proc/47598/stat : 47598 (pbsolver) R 47595 47598 46545 0 -1 4194304 31577 0 0 0 26 4 0 0 20 0 1 0 47460862 151650304 33362 18446744073709551615 4198400 14743177 140732444124848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34533376 140732444129674 140732444129770 140732444129770 140732444135372 0
/proc/47598/statm: 37024 33362 2432 2575 0 33931 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 148096 KiB
Current children cumulated memory: 133448 KiB
[startup+0.700188 s]
/proc/loadavg: 4.28 4.16 4.11 5/263 47599
/proc/meminfo: memFree=129273056/131250000 swapFree=33010684/33010684
[pid=47598] ppid=47595 vsize=152624 memory=141964 CPUtime=0.68 cores=1,3
/proc/47598/stat : 47598 (pbsolver) R 47595 47598 46545 0 -1 4194304 43853 0 0 0 62 6 0 0 20 0 1 0 47460862 156286976 35491 18446744073709551615 4198400 14743177 140732444124848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34533376 140732444129674 140732444129770 140732444129770 140732444135372 0
/proc/47598/statm: 38156 35491 2496 2575 0 35063 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 152624 KiB
Current children cumulated memory: 141964 KiB
[startup+1.50019 s]
/proc/loadavg: 4.28 4.16 4.11 5/263 47599
/proc/meminfo: memFree=129264992/131250000 swapFree=33010684/33010684
[pid=47598] ppid=47595 vsize=158804 memory=148108 CPUtime=1.49 cores=1,3
/proc/47598/stat : 47598 (pbsolver) R 47595 47598 46545 0 -1 4194304 45355 0 0 0 142 7 0 0 20 0 1 0 47460862 162615296 37027 18446744073709551615 4198400 14743177 140732444124848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34533376 140732444129674 140732444129770 140732444129770 140732444135372 0
/proc/47598/statm: 39701 37027 2528 2575 0 36608 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 158804 KiB
Current children cumulated memory: 148108 KiB
[startup+3.10543 s]
/proc/loadavg: 4.25 4.16 4.11 4/261 47644
/proc/meminfo: memFree=129333364/131250000 swapFree=33010684/33010684
[pid=47598] ppid=47595 vsize=159536 memory=148748 CPUtime=3.08 cores=1,3
/proc/47598/stat : 47598 (pbsolver) R 47595 47598 46545 0 -1 4194304 45536 0 0 0 301 7 0 0 20 0 1 0 47460862 163364864 37187 18446744073709551615 4198400 14743177 140732444124848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34533376 140732444129674 140732444129770 140732444129770 140732444135372 0
/proc/47598/statm: 39884 37187 2528 2575 0 36791 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 159536 KiB
Current children cumulated memory: 148748 KiB
[startup+6.30018 s]
/proc/loadavg: 4.25 4.16 4.11 4/260 47770
/proc/meminfo: memFree=129304000/131250000 swapFree=33010684/33010684
[pid=47598] ppid=47595 vsize=161056 memory=150156 CPUtime=6.27 cores=1,3
/proc/47598/stat : 47598 (pbsolver) R 47595 47598 46545 0 -1 4194304 45891 0 0 0 620 7 0 0 20 0 1 0 47460862 164921344 37539 18446744073709551615 4198400 14743177 140732444124848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34533376 140732444129674 140732444129770 140732444129770 140732444135372 0
/proc/47598/statm: 40264 37539 2528 2575 0 37171 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 161056 KiB
Current children cumulated memory: 150156 KiB
[startup+12.7001 s]
/proc/loadavg: 4.37 4.18 4.12 5/264 48054
/proc/meminfo: memFree=128834292/131250000 swapFree=33010684/33010684
[pid=47598] ppid=47595 vsize=682860 memory=605588 CPUtime=12.65 cores=1,3
/proc/47598/stat : 47598 (pbsolver) R 47595 47598 46545 0 -1 4194304 91085 0 0 0 1245 20 0 0 20 0 1 0 47460862 699248640 151397 18446744073709551615 4198400 14743177 140732444124848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34533376 140732444129674 140732444129770 140732444129770 140732444135372 0
/proc/47598/statm: 170715 151397 2688 2575 0 167622 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 682860 KiB
Current children cumulated memory: 605588 KiB
[startup+25.5001 s]
/proc/loadavg: 4.32 4.18 4.12 5/264 48459
/proc/meminfo: memFree=128633628/131250000 swapFree=33010684/33010684
[pid=47598] ppid=47595 vsize=804668 memory=652008 CPUtime=25.42 cores=1,3
/proc/47598/stat : 47598 (pbsolver) R 47595 47598 46545 0 -1 4194304 101283 0 0 0 2520 22 0 0 20 0 1 0 47460862 823980032 163002 18446744073709551615 4198400 14743177 140732444124848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34533376 140732444129674 140732444129770 140732444129770 140732444135372 0
/proc/47598/statm: 201167 163002 2688 2575 0 198074 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 804668 KiB
Current children cumulated memory: 652008 KiB
[startup+51.1055 s]
/proc/loadavg: 4.21 4.16 4.12 5/264 48461
/proc/meminfo: memFree=128559864/131250000 swapFree=33010684/33010684
[pid=47598] ppid=47595 vsize=895596 memory=680808 CPUtime=50.95 cores=1,3
/proc/47598/stat : 47598 (pbsolver) R 47595 47598 46545 0 -1 4194304 108509 0 0 0 5072 23 0 0 20 0 1 0 47460862 917090304 170202 18446744073709551615 4198400 14743177 140732444124848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34533376 140732444129674 140732444129770 140732444129770 140732444135372 0
/proc/47598/statm: 223899 170202 2688 2575 0 220806 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 895596 KiB
Current children cumulated memory: 680808 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/264 48732
/proc/meminfo: memFree=128534672/131250000 swapFree=33010684/33010684
[pid=47598] ppid=47595 vsize=953388 memory=739944 CPUtime=102 cores=1,3
/proc/47598/stat : 47598 (pbsolver) R 47595 47598 46545 0 -1 4194304 123273 0 0 0 10175 25 0 0 20 0 1 0 47460862 976269312 184986 18446744073709551615 4198400 14743177 140732444124848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34533376 140732444129674 140732444129770 140732444129770 140732444135372 0
/proc/47598/statm: 238347 184986 2688 2575 0 235254 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 953388 KiB
Current children cumulated memory: 739944 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/266 49230
/proc/meminfo: memFree=128433912/131250000 swapFree=33010684/33010684
[pid=47598] ppid=47595 vsize=1007156 memory=796392 CPUtime=161.82 cores=1,3
/proc/47598/stat : 47598 (pbsolver) R 47595 47598 46545 0 -1 4194304 136741 0 0 0 16154 28 0 0 20 0 1 0 47460862 1031327744 199098 18446744073709551615 4198400 14743177 140732444124848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34533376 140732444129674 140732444129770 140732444129770 140732444135372 0
/proc/47598/statm: 251789 199098 2688 2575 0 248696 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 1007156 KiB
Current children cumulated memory: 796392 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/265 49232
/proc/meminfo: memFree=128253340/131250000 swapFree=33010684/33010684
[pid=47598] ppid=47595 vsize=1060744 memory=857472 CPUtime=221.65 cores=1,3
/proc/47598/stat : 47598 (pbsolver) R 47595 47598 46545 0 -1 4194304 149547 0 0 0 22134 31 0 0 20 0 1 0 47460862 1086201856 214368 18446744073709551615 4198400 14743177 140732444124848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34533376 140732444129674 140732444129770 140732444129770 140732444135372 0
/proc/47598/statm: 265186 214368 2688 2575 0 262093 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 1060744 KiB
Current children cumulated memory: 857472 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/267 49237
/proc/meminfo: memFree=128244892/131250000 swapFree=33010684/33010684
[pid=47598] ppid=47595 vsize=1072824 memory=879012 CPUtime=281.46 cores=1,3
/proc/47598/stat : 47598 (pbsolver) R 47595 47598 46545 0 -1 4194304 168907 0 0 0 28112 34 0 0 20 0 1 0 47460862 1098571776 219753 18446744073709551615 4198400 14743177 140732444124848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34533376 140732444129674 140732444129770 140732444129770 140732444135372 0
/proc/47598/statm: 268206 219753 2688 2575 0 265113 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 1072824 KiB
Current children cumulated memory: 879012 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/267 49239
/proc/meminfo: memFree=128174292/131250000 swapFree=33010684/33010684
[pid=47598] ppid=47595 vsize=1072824 memory=912420 CPUtime=341.28 cores=1,3
/proc/47598/stat : 47598 (pbsolver) R 47595 47598 46545 0 -1 4194304 169014 0 0 0 34094 34 0 0 20 0 1 0 47460862 1098571776 228105 18446744073709551615 4198400 14743177 140732444124848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34533376 140732444129674 140732444129770 140732444129770 140732444135372 0
/proc/47598/statm: 268206 228105 2688 2575 0 265113 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 1072824 KiB
Current children cumulated memory: 912420 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/267 49241
/proc/meminfo: memFree=128108096/131250000 swapFree=33010684/33010684
[pid=47598] ppid=47595 vsize=1072824 memory=927012 CPUtime=401.1 cores=1,3
/proc/47598/stat : 47598 (pbsolver) R 47595 47598 46545 0 -1 4194304 169016 0 0 0 40076 34 0 0 20 0 1 0 47460862 1098571776 231753 18446744073709551615 4198400 14743177 140732444124848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34533376 140732444129674 140732444129770 140732444129770 140732444135372 0
/proc/47598/statm: 268206 231753 2688 2575 0 265113 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 1072824 KiB
Current children cumulated memory: 927012 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 49243
/proc/meminfo: memFree=128099016/131250000 swapFree=33010684/33010684
[pid=47598] ppid=47595 vsize=1099308 memory=930084 CPUtime=460.91 cores=1,3
/proc/47598/stat : 47598 (pbsolver) R 47595 47598 46545 0 -1 4194304 169828 0 0 0 46057 34 0 0 20 0 1 0 47460862 1125691392 232521 18446744073709551615 4198400 14743177 140732444124848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34533376 140732444129674 140732444129770 140732444129770 140732444135372 0
/proc/47598/statm: 274827 232521 2688 2575 0 271734 0
################
# More data... #
################
/proc/loadavg: 4.09 4.09 4.09 5/265 49409
/proc/meminfo: memFree=127342412/131250000 swapFree=33010684/33010684
[pid=47598] ppid=47595 vsize=1997464 memory=1281668 CPUtime=3153.35 cores=1,3
/proc/47598/stat : 47598 (pbsolver) R 47595 47598 46545 0 -1 4194304 264106 0 0 0 315280 55 0 0 20 0 1 0 47460862 2045403136 320417 18446744073709551615 4198400 14743177 140732444124848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34533376 140732444129674 140732444129770 140732444129770 140732444135372 0
/proc/47598/statm: 499366 320417 2688 2575 0 496273 0
Current children cumulated CPU time: 3153.35 s
Current children cumulated vsize: 1997464 KiB
Current children cumulated memory: 1281668 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 49411
/proc/meminfo: memFree=127342620/131250000 swapFree=33010684/33010684
[pid=47598] ppid=47595 vsize=2004904 memory=1288036 CPUtime=3213.18 cores=1,3
/proc/47598/stat : 47598 (pbsolver) R 47595 47598 46545 0 -1 4194304 265181 0 0 0 321262 56 0 0 20 0 1 0 47460862 2053021696 322009 18446744073709551615 4198400 14743177 140732444124848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34533376 140732444129674 140732444129770 140732444129770 140732444135372 0
/proc/47598/statm: 501226 322009 2688 2575 0 498133 0
Current children cumulated CPU time: 3213.18 s
Current children cumulated vsize: 2004904 KiB
Current children cumulated memory: 1288036 KiB
[startup+3282.3 s]
/proc/loadavg: 4.34 4.15 4.11 5/264 49413
/proc/meminfo: memFree=127332412/131250000 swapFree=33010684/33010684
[pid=47598] ppid=47595 vsize=2013736 memory=1296868 CPUtime=3273.01 cores=1,3
/proc/47598/stat : 47598 (pbsolver) R 47595 47598 46545 0 -1 4194304 267484 0 0 0 327245 56 0 0 20 0 1 0 47460862 2062065664 324217 18446744073709551615 4198400 14743177 140732444124848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34533376 140732444129674 140732444129770 140732444129770 140732444135372 0
/proc/47598/statm: 503434 324217 2688 2575 0 500341 0
Current children cumulated CPU time: 3273.01 s
Current children cumulated vsize: 2013736 KiB
Current children cumulated memory: 1296868 KiB
[startup+3342.3 s]
/proc/loadavg: 4.22 4.16 4.11 5/262 49415
/proc/meminfo: memFree=127324300/131250000 swapFree=33010684/33010684
[pid=47598] ppid=47595 vsize=2016492 memory=1299684 CPUtime=3332.84 cores=1,3
/proc/47598/stat : 47598 (pbsolver) R 47595 47598 46545 0 -1 4194304 268331 0 0 0 333228 56 0 0 20 0 1 0 47460862 2064887808 324921 18446744073709551615 4198400 14743177 140732444124848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34533376 140732444129674 140732444129770 140732444129770 140732444135372 0
/proc/47598/statm: 504123 324921 2688 2575 0 501030 0
Current children cumulated CPU time: 3332.84 s
Current children cumulated vsize: 2016492 KiB
Current children cumulated memory: 1299684 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/262 49417
/proc/meminfo: memFree=127315100/131250000 swapFree=33010684/33010684
[pid=47598] ppid=47595 vsize=2043816 memory=1309796 CPUtime=3392.68 cores=1,3
/proc/47598/stat : 47598 (pbsolver) R 47595 47598 46545 0 -1 4194304 269818 0 0 0 339211 57 0 0 20 0 1 0 47460862 2092867584 327449 18446744073709551615 4198400 14743177 140732444124848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34533376 140732444129674 140732444129770 140732444129770 140732444135372 0
/proc/47598/statm: 510954 327449 2688 2575 0 507861 0
Current children cumulated CPU time: 3392.68 s
Current children cumulated vsize: 2043816 KiB
Current children cumulated memory: 1309796 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/262 49419
/proc/meminfo: memFree=127277548/131250000 swapFree=33010684/33010684
[pid=47598] ppid=47595 vsize=2047188 memory=1343588 CPUtime=3452.5 cores=1,3
/proc/47598/stat : 47598 (pbsolver) R 47595 47598 46545 0 -1 4194304 271008 0 0 0 345193 57 0 0 20 0 1 0 47460862 2096320512 335897 18446744073709551615 4198400 14743177 140732444124848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34533376 140732444129674 140732444129770 140732444129770 140732444135372 0
/proc/47598/statm: 511797 335897 2688 2575 0 508704 0
Current children cumulated CPU time: 3452.5 s
Current children cumulated vsize: 2047188 KiB
Current children cumulated memory: 1343588 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/263 49424
/proc/meminfo: memFree=127187172/131250000 swapFree=33010684/33010684
[pid=47598] ppid=47595 vsize=2131340 memory=1396608 CPUtime=3512.34 cores=1,3
/proc/47598/stat : 47598 (pbsolver) R 47595 47598 46545 0 -1 4194304 274408 0 0 0 351176 58 0 0 20 0 1 0 47460862 2182492160 349152 18446744073709551615 4198400 14743177 140732444124848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34533376 140732444129674 140732444129770 140732444129770 140732444135372 0
/proc/47598/statm: 532835 349152 2688 2575 0 529742 0
Current children cumulated CPU time: 3512.34 s
Current children cumulated vsize: 2131340 KiB
Current children cumulated memory: 1396608 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/263 49426
/proc/meminfo: memFree=127154632/131250000 swapFree=33010684/33010684
[pid=47598] ppid=47595 vsize=2193892 memory=1430784 CPUtime=3572.17 cores=1,3
/proc/47598/stat : 47598 (pbsolver) R 47595 47598 46545 0 -1 4194304 276673 0 0 0 357158 59 0 0 20 0 1 0 47460862 2246545408 357696 18446744073709551615 4198400 14743177 140732444124848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34533376 140732444129674 140732444129770 140732444129770 140732444135372 0
/proc/47598/statm: 548473 357696 2688 2575 0 545380 0
Current children cumulated CPU time: 3572.17 s
Current children cumulated vsize: 2193892 KiB
Current children cumulated memory: 1430784 KiB
[startup+3597.22 s]
# the end of solver process 47598 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.44 s, system=0.611167 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.12 4.09 5/263 49426
/proc/meminfo: memFree=127154632/131250000 swapFree=33010684/33010684
[pid=47598] ppid=47595 vsize=2193892 memory=1430784 CPUtime=3573.87 cores=1,3
/proc/47598/stat : 47598 (pbsolver) R 47595 47598 46545 0 -1 4194304 276673 0 0 0 357328 59 0 0 20 0 1 0 47460862 2246545408 357696 18446744073709551615 4198400 14743177 140732444124848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34533376 140732444129674 140732444129770 140732444129770 140732444135372 0
/proc/47598/statm: 548473 357696 2688 2575 0 545380 0
Current children cumulated CPU time: 3573.87 s
Current children cumulated vsize: 2193892 KiB
Current children cumulated memory: 1430784 KiB
[startup+3590.4 s]
/proc/loadavg: 4.10 4.12 4.09 5/263 49471
/proc/meminfo: memFree=127231664/131250000 swapFree=33010684/33010684
[pid=47598] ppid=47595 vsize=2193892 memory=1431040 CPUtime=3580.25 cores=1,3
/proc/47598/stat : 47598 (pbsolver) R 47595 47598 46545 0 -1 4194304 276744 0 0 0 357966 59 0 0 20 0 1 0 47460862 2246545408 357760 18446744073709551615 4198400 14743177 140732444124848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34533376 140732444129674 140732444129770 140732444129770 140732444135372 0
/proc/47598/statm: 548473 357760 2688 2575 0 545380 0
Current children cumulated CPU time: 3580.25 s
Current children cumulated vsize: 2193892 KiB
Current children cumulated memory: 1431040 KiB
[startup+3593.6 s]
/proc/loadavg: 4.09 4.12 4.09 5/263 49471
/proc/meminfo: memFree=127186816/131250000 swapFree=33010684/33010684
[pid=47598] ppid=47595 vsize=2193892 memory=1431040 CPUtime=3583.44 cores=1,3
/proc/47598/stat : 47598 (pbsolver) R 47595 47598 46545 0 -1 4194304 276744 0 0 0 358285 59 0 0 20 0 1 0 47460862 2246545408 357760 18446744073709551615 4198400 14743177 140732444124848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34533376 140732444129674 140732444129770 140732444129770 140732444135372 0
/proc/47598/statm: 548473 357760 2688 2575 0 545380 0
Current children cumulated CPU time: 3583.44 s
Current children cumulated vsize: 2193892 KiB
Current children cumulated memory: 1431040 KiB
[startup+3595.2 s]
/proc/loadavg: 4.09 4.12 4.09 5/263 49471
/proc/meminfo: memFree=127156828/131250000 swapFree=33010684/33010684
[pid=47598] ppid=47595 vsize=2193892 memory=1431040 CPUtime=3585.03 cores=1,3
/proc/47598/stat : 47598 (pbsolver) R 47595 47598 46545 0 -1 4194304 276745 0 0 0 358444 59 0 0 20 0 1 0 47460862 2246545408 357760 18446744073709551615 4198400 14743177 140732444124848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34533376 140732444129674 140732444129770 140732444129770 140732444135372 0
/proc/47598/statm: 548473 357760 2688 2575 0 545380 0
Current children cumulated CPU time: 3585.03 s
Current children cumulated vsize: 2193892 KiB
Current children cumulated memory: 1431040 KiB
[startup+3596 s]*
/proc/loadavg: 4.09 4.12 4.09 5/263 49471
/proc/meminfo: memFree=127140700/131250000 swapFree=33010684/33010684
[pid=47598] ppid=47595 vsize=2193892 memory=1431040 CPUtime=3585.83 cores=1,3
/proc/47598/stat : 47598 (pbsolver) R 47595 47598 46545 0 -1 4194304 276746 0 0 0 358524 59 0 0 20 0 1 0 47460862 2246545408 357760 18446744073709551615 4198400 14743177 140732444124848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34533376 140732444129674 140732444129770 140732444129770 140732444135372 0
/proc/47598/statm: 548473 357760 2688 2575 0 545380 0
Current children cumulated CPU time: 3585.83 s
Current children cumulated vsize: 2193892 KiB
Current children cumulated memory: 1431040 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.12 4.09 5/263 49471
/proc/meminfo: memFree=127140700/131250000 swapFree=33010684/33010684
[pid=47598] ppid=47595 vsize=2193892 memory=1431040 CPUtime=3586.63 cores=1,3
/proc/47598/stat : 47598 (pbsolver) R 47595 47598 46545 0 -1 4194304 276746 0 0 0 358604 59 0 0 20 0 1 0 47460862 2246545408 357760 18446744073709551615 4198400 14743177 140732444124848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34533376 140732444129674 140732444129770 140732444129770 140732444135372 0
/proc/47598/statm: 548473 357760 2688 2575 0 545380 0
Current children cumulated CPU time: 3586.63 s
Current children cumulated vsize: 2193892 KiB
Current children cumulated memory: 1431040 KiB
[startup+3597.2 s]
/proc/loadavg: 4.09 4.12 4.09 5/263 49471
/proc/meminfo: memFree=127140700/131250000 swapFree=33010684/33010684
[pid=47598] ppid=47595 vsize=2161008 memory=1398240 CPUtime=3587.02 cores=1,3
/proc/47598/stat : 47598 (pbsolver) R 47595 47598 46545 0 -1 4194304 276771 0 0 0 358643 59 0 0 20 0 1 0 47460862 2212872192 349560 18446744073709551615 4198400 14743177 140732444124848 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34533376 140732444129674 140732444129770 140732444129770 140732444135372 0
/proc/47598/statm: 540252 349560 2688 2575 0 537159 0
Current children cumulated CPU time: 3587.02 s
Current children cumulated vsize: 2161008 KiB
Current children cumulated memory: 1398240 KiB
Child status: 0
Real time (s): 3597.22
CPU time (s): 3587.05
CPU user time (s): 3586.44
CPU system time (s): 0.611167
CPU usage (%): 99.7173
Max. virtual memory (cumulated for all children) (KiB): 2193892
Max. memory (cumulated for all children) (KiB): 1431040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.44
system time used= 0.611167
maximum resident set size= 1431040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276824
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= 40
involuntary context switches= 6492
# summary of solver processes directly reported to runsolver:
# pid: 47598
# total CPU time (s): 3587.05
# total CPU user time (s): 3586.44
# total CPU system time (s): 0.611167
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.66766 second user time and 15.1168 second system time
The end