0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4486894-1751320923.opb>
0.09/0.12 c original problem has 4500 variables (4500 bin, 0 int, 0 impl, 0 cont) and 72413 constraints
0.09/0.12 c problem read in 0.11
0.19/0.22 c presolving:
0.30/0.37 c (0.4s) running MILP presolver
0.39/0.48 c (0.5s) MILP presolver found nothing
0.59/0.62 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.68/0.75 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
9.19/9.39 c (9.4s) probing: 1000/4500 (22.2%) - 0 fixings, 0 aggregations, 57465 implications, 0 bound changes
9.29/9.40 c (9.4s) probing: 1001/4500 (22.2%) - 0 fixings, 0 aggregations, 57526 implications, 0 bound changes
9.29/9.40 c (9.4s) probing aborted: 1000/1000 successive useless probings
10.17/10.35 c (10.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
10.27/10.43 c (10.4s) symmetry computation finished: 17 generators found (max: 1500, log10 of symmetry group size: 10.0) (symcode time: 0.04)
10.27/10.43 c dynamic symmetry handling statistics:
10.27/10.43 c orbitopal reduction: 1 components: 250x18
10.27/10.43 c orbital reduction: no components
10.27/10.43 c lexicographic reduction: no permutations
10.27/10.43 c handled 1 out of 1 symmetry components
10.27/10.45 c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
10.27/10.45 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
10.27/10.45 c 0 implications, 129814 cliques
10.27/10.45 c presolved problem has 4500 variables (4500 bin, 0 int, 0 impl, 0 cont) and 72413 constraints
10.27/10.45 c 72288 constraints of type <setppc>
10.27/10.45 c 125 constraints of type <logicor>
10.27/10.45 c transformed objective value is always integral (scale: 1)
10.27/10.45 c Presolving Time: 10.25
10.27/10.45 c - non default parameters ----------------------------------------------------------------------
10.27/10.45 c # SCIP version 10.0.0
10.27/10.45 c
10.27/10.45 c # maximal time in seconds to run
10.27/10.45 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
10.27/10.45 c limits/time = 3596.998009
10.27/10.45 c
10.27/10.45 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
10.27/10.45 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
10.27/10.45 c limits/memory = 27900
10.27/10.45 c
10.27/10.45 c # belongs reading time to solving time?
10.27/10.45 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
10.27/10.45 c timing/reading = TRUE
10.27/10.45 c
10.27/10.45 c -----------------------------------------------------------------------------------------------
10.27/10.45 c start solving
10.27/10.46 c
11.06/11.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
11.06/11.25 c 11.2s| 1 | 0 | 2574 | - | 627M | 0 |4500 | 72k| 72k| 0 | 0 | 63 | 0 | 1.250000e+03 | -- | Inf | unknown
15.42/15.62 c 15.6s| 1 | 0 | 24020 | - | 655M | 0 |4500 | 72k| 72k| 119 | 1 | 64 | 0 | 1.315000e+03 | -- | Inf | unknown
17.29/17.58 c 17.6s| 1 | 0 | 25016 | - | 664M | 0 |4500 | 72k| 72k| 263 | 2 | 65 | 0 | 1.378500e+03 | -- | Inf | unknown
19.09/19.30 c 19.3s| 1 | 0 | 26208 | - | 672M | 0 |4500 | 72k| 72k| 411 | 3 | 67 | 0 | 1.426500e+03 | -- | Inf | unknown
20.18/20.49 c 20.5s| 1 | 0 | 27352 | - | 680M | 0 |4500 | 72k| 72k| 543 | 4 | 69 | 0 | 1.466500e+03 | -- | Inf | unknown
21.48/21.78 c 21.8s| 1 | 0 | 28589 | - | 689M | 0 |4500 | 72k| 73k| 679 | 5 | 71 | 0 | 1.494250e+03 | -- | Inf | unknown
22.57/22.81 c 22.8s| 1 | 0 | 29678 | - | 697M | 0 |4500 | 72k| 73k| 758 | 6 | 72 | 0 | 1.516625e+03 | -- | Inf | unknown
23.47/23.74 c 23.7s| 1 | 0 | 30681 | - | 706M | 0 |4500 | 72k| 73k| 827 | 7 | 73 | 0 | 1.531500e+03 | -- | Inf | unknown
24.46/24.70 c 24.7s| 1 | 0 | 31802 | - | 714M | 0 |4500 | 72k| 73k| 906 | 8 | 74 | 0 | 1.545481e+03 | -- | Inf | unknown
25.36/25.60 c 25.6s| 1 | 0 | 33035 | - | 722M | 0 |4500 | 72k| 73k| 978 | 9 | 75 | 0 | 1.563917e+03 | -- | Inf | unknown
26.36/26.64 c 26.6s| 1 | 0 | 34428 | - | 731M | 0 |4500 | 72k| 73k|1095 | 10 | 76 | 0 | 1.580208e+03 | -- | Inf | unknown
27.36/27.63 c 27.6s| 1 | 0 | 36034 | - | 738M | 0 |4500 | 72k| 73k|1205 | 11 | 78 | 0 | 1.589183e+03 | -- | Inf | unknown
28.16/28.45 c 28.4s| 1 | 0 | 36942 | - | 746M | 0 |4500 | 72k| 73k|1243 | 12 | 79 | 0 | 1.596583e+03 | -- | Inf | unknown
28.76/29.09 c 29.1s| 1 | 0 | 37699 | - | 753M | 0 |4500 | 72k| 73k|1275 | 13 | 81 | 0 | 1.602857e+03 | -- | Inf | unknown
29.36/29.66 c 29.7s| 1 | 0 | 38166 | - | 760M | 0 |4500 | 72k| 73k|1302 | 14 | 82 | 0 | 1.605577e+03 | -- | Inf | unknown
30.05/30.36 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
30.05/30.36 c 30.4s| 1 | 0 | 39017 | - | 768M | 0 |4500 | 72k| 73k|1328 | 15 | 83 | 0 | 1.611296e+03 | -- | Inf | unknown
30.75/31.08 c 31.1s| 1 | 0 | 39918 | - | 776M | 0 |4500 | 72k| 73k|1351 | 16 | 86 | 0 | 1.618830e+03 | -- | Inf | unknown
31.55/31.85 c 31.8s| 1 | 0 | 41337 | - | 783M | 0 |4500 | 72k| 73k|1451 | 17 | 87 | 0 | 1.630978e+03 | -- | Inf | unknown
32.24/32.58 c 32.6s| 1 | 0 | 42930 | - | 790M | 0 |4500 | 72k| 73k|1528 | 18 | 88 | 0 | 1.640613e+03 | -- | Inf | unknown
32.94/33.25 c 33.2s| 1 | 0 | 44200 | - | 798M | 0 |4500 | 72k| 73k|1614 | 19 | 89 | 0 | 1.648209e+03 | -- | Inf | unknown
33.64/33.99 c 34.0s| 1 | 0 | 45857 | - | 806M | 0 |4500 | 72k| 73k|1713 | 20 | 91 | 0 | 1.659589e+03 | -- | Inf | unknown
34.14/34.43 c 34.4s| 1 | 0 | 46504 | - | 807M | 0 |4500 | 72k| 73k|1734 | 21 | 92 | 0 | 1.663073e+03 | -- | Inf | unknown
34.44/34.78 c 34.8s| 1 | 0 | 46861 | - | 807M | 0 |4500 | 72k| 74k|1753 | 22 | 93 | 0 | 1.666393e+03 | -- | Inf | unknown
34.84/35.13 c 35.1s| 1 | 0 | 47229 | - | 808M | 0 |4500 | 72k| 73k|1759 | 23 | 94 | 0 | 1.667694e+03 | -- | Inf | unknown
35.14/35.48 c 35.5s| 1 | 0 | 47617 | - | 808M | 0 |4500 | 72k| 73k|1767 | 24 | 96 | 0 | 1.670843e+03 | -- | Inf | unknown
35.43/35.77 c 35.8s| 1 | 0 | 47848 | - | 809M | 0 |4500 | 72k| 73k|1777 | 25 | 99 | 0 | 1.672798e+03 | -- | Inf | unknown
35.74/36.06 c 36.1s| 1 | 0 | 48107 | - | 809M | 0 |4500 | 72k| 73k|1784 | 26 | 100 | 0 | 1.675313e+03 | -- | Inf | unknown
36.13/36.40 c 36.4s| 1 | 0 | 48497 | - | 810M | 0 |4500 | 72k| 73k|1793 | 27 | 103 | 0 | 1.679480e+03 | -- | Inf | unknown
36.43/36.72 c 36.7s| 1 | 0 | 48880 | - | 811M | 0 |4500 | 72k| 73k|1806 | 28 | 104 | 0 | 1.683855e+03 | -- | Inf | unknown
36.73/37.03 c 37.0s| 1 | 0 | 49109 | - | 811M | 0 |4500 | 72k| 73k|1816 | 29 | 105 | 0 | 1.687688e+03 | -- | Inf | unknown
37.03/37.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
37.03/37.31 c 37.3s| 1 | 0 | 49293 | - | 811M | 0 |4500 | 72k| 73k|1826 | 30 | 106 | 0 | 1.690688e+03 | -- | Inf | unknown
37.43/37.71 c 37.7s| 1 | 0 | 49876 | - | 812M | 0 |4500 | 72k| 73k|1840 | 31 | 107 | 0 | 1.696080e+03 | -- | Inf | unknown
37.73/38.05 c 38.0s| 1 | 0 | 50220 | - | 812M | 0 |4500 | 72k| 73k|1853 | 32 | 108 | 0 | 1.698039e+03 | -- | Inf | unknown
38.13/38.41 c 38.4s| 1 | 0 | 50567 | - | 812M | 0 |4500 | 72k| 73k|1868 | 33 | 109 | 0 | 1.700015e+03 | -- | Inf | unknown
38.42/38.79 c 38.8s| 1 | 0 | 50960 | - | 813M | 0 |4500 | 72k| 73k|1880 | 34 | 111 | 0 | 1.702890e+03 | -- | Inf | unknown
38.84/39.11 c 39.1s| 1 | 0 | 51242 | - | 814M | 0 |4500 | 72k| 73k|1890 | 35 | 112 | 0 | 1.705390e+03 | -- | Inf | unknown
39.13/39.44 c 39.4s| 1 | 0 | 51629 | - | 814M | 0 |4500 | 72k| 73k|1899 | 36 | 113 | 0 | 1.709553e+03 | -- | Inf | unknown
39.43/39.73 c 39.7s| 1 | 0 | 51964 | - | 814M | 0 |4500 | 72k| 73k|1918 | 37 | 114 | 0 | 1.711744e+03 | -- | Inf | unknown
39.73/40.04 c 40.0s| 1 | 0 | 52314 | - | 815M | 0 |4500 | 72k| 73k|1933 | 38 | 115 | 0 | 1.714098e+03 | -- | Inf | unknown
40.03/40.32 c 40.3s| 1 | 0 | 52574 | - | 816M | 0 |4500 | 72k| 73k|1948 | 39 | 116 | 0 | 1.717275e+03 | -- | Inf | unknown
40.33/40.60 c 40.6s| 1 | 0 | 52886 | - | 816M | 0 |4500 | 72k| 73k|1962 | 40 | 117 | 0 | 1.720300e+03 | -- | Inf | unknown
40.63/40.97 c 41.0s| 1 | 0 | 53232 | - | 817M | 0 |4500 | 72k| 73k|1973 | 41 | 118 | 0 | 1.724112e+03 | -- | Inf | unknown
40.93/41.29 c 41.3s| 1 | 0 | 53540 | - | 817M | 0 |4500 | 72k| 73k|1986 | 42 | 119 | 0 | 1.727362e+03 | -- | Inf | unknown
41.32/41.63 c 41.6s| 1 | 0 | 53830 | - | 818M | 0 |4500 | 72k| 73k|2000 | 43 | 123 | 0 | 1.730875e+03 | -- | Inf | unknown
41.62/42.00 c 42.0s| 1 | 0 | 54410 | - | 818M | 0 |4500 | 72k| 73k|2018 | 44 | 126 | 0 | 1.737375e+03 | -- | Inf | unknown
41.92/42.26 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
41.92/42.26 c 42.3s| 1 | 0 | 54700 | - | 818M | 0 |4500 | 72k| 73k|2034 | 45 | 127 | 0 | 1.739875e+03 | -- | Inf | unknown
42.32/42.64 c 42.6s| 1 | 0 | 55075 | - | 818M | 0 |4500 | 72k| 73k|2050 | 46 | 130 | 0 | 1.742875e+03 | -- | Inf | unknown
42.72/43.02 c 43.0s| 1 | 0 | 55528 | - | 818M | 0 |4500 | 72k| 73k|2070 | 47 | 131 | 0 | 1.748625e+03 | -- | Inf | unknown
43.02/43.31 c 43.3s| 1 | 0 | 55856 | - | 818M | 0 |4500 | 72k| 73k|2088 | 48 | 133 | 0 | 1.751015e+03 | -- | Inf | unknown
43.32/43.65 c 43.6s| 1 | 0 | 56223 | - | 819M | 0 |4500 | 72k| 73k|2108 | 49 | 134 | 0 | 1.755796e+03 | -- | Inf | unknown
43.62/43.99 c 44.0s| 1 | 0 | 56573 | - | 819M | 0 |4500 | 72k| 73k|2125 | 50 | 136 | 0 | 1.759234e+03 | -- | Inf | unknown
43.92/44.28 c 44.3s| 1 | 0 | 56841 | - | 820M | 0 |4500 | 72k| 73k|2141 | 51 | 138 | 0 | 1.762452e+03 | -- | Inf | unknown
44.21/44.55 c 44.5s| 1 | 0 | 57108 | - | 821M | 0 |4500 | 72k| 73k|2153 | 52 | 140 | 0 | 1.764952e+03 | -- | Inf | unknown
44.51/44.85 c 44.8s| 1 | 0 | 57511 | - | 821M | 0 |4500 | 72k| 73k|2165 | 53 | 143 | 0 | 1.770202e+03 | -- | Inf | unknown
44.82/45.14 c 45.1s| 1 | 0 | 57863 | - | 821M | 0 |4500 | 72k| 73k|2178 | 54 | 147 | 0 | 1.775077e+03 | -- | Inf | unknown
45.11/45.47 c 45.5s| 1 | 0 | 58351 | - | 822M | 0 |4500 | 72k| 73k|2193 | 55 | 148 | 0 | 1.778500e+03 | -- | Inf | unknown
45.41/45.74 c 45.7s| 1 | 0 | 58628 | - | 823M | 0 |4500 | 72k| 73k|2222 | 56 | 150 | 0 | 1.780083e+03 | -- | Inf | unknown
45.81/46.18 c 46.2s| 1 | 0 | 59129 | - | 823M | 0 |4500 | 72k| 73k|2249 | 57 | 151 | 0 | 1.783208e+03 | -- | Inf | unknown
46.21/46.58 c 46.6s| 1 | 0 | 59579 | - | 823M | 0 |4500 | 72k| 73k|2269 | 58 | 155 | 0 | 1.785438e+03 | -- | Inf | unknown
46.61/46.93 c 46.9s| 1 | 0 | 59874 | - | 823M | 0 |4500 | 72k| 73k|2287 | 59 | 156 | 0 | 1.786438e+03 | -- | Inf | unknown
47.01/47.36 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
47.01/47.36 c 47.3s| 1 | 0 | 60495 | - | 823M | 0 |4500 | 72k| 73k|2302 | 60 | 157 | 0 | 1.791438e+03 | -- | Inf | unknown
47.40/47.74 c 47.7s| 1 | 0 | 61231 | - | 823M | 0 |4500 | 72k| 73k|2328 | 61 | 158 | 0 | 1.799188e+03 | -- | Inf | unknown
47.71/48.09 c 48.1s| 1 | 0 | 61642 | - | 823M | 0 |4500 | 72k| 73k|2344 | 62 | 159 | 0 | 1.802771e+03 | -- | Inf | unknown
48.00/48.34 c 48.3s| 1 | 0 | 61996 | - | 824M | 0 |4500 | 72k| 73k|2359 | 63 | 160 | 0 | 1.805479e+03 | -- | Inf | unknown
48.30/48.69 c 48.7s| 1 | 0 | 62512 | - | 825M | 0 |4500 | 72k| 73k|2379 | 64 | 161 | 0 | 1.808000e+03 | -- | Inf | unknown
48.60/48.96 c 48.9s| 1 | 0 | 62733 | - | 825M | 0 |4500 | 72k| 73k|2393 | 65 | 162 | 0 | 1.809052e+03 | -- | Inf | unknown
48.90/49.26 c 49.2s| 1 | 0 | 63005 | - | 825M | 0 |4500 | 72k| 73k|2401 | 66 | 163 | 0 | 1.812052e+03 | -- | Inf | unknown
49.20/49.52 c 49.5s| 1 | 0 | 63184 | - | 825M | 0 |4500 | 72k| 73k|2411 | 67 | 164 | 0 | 1.813302e+03 | -- | Inf | unknown
49.40/49.75 c 49.7s| 1 | 0 | 63365 | - | 826M | 0 |4500 | 72k| 73k|2417 | 68 | 173 | 0 | 1.815802e+03 | -- | Inf | unknown
49.70/50.03 c 50.0s| 1 | 0 | 63728 | - | 826M | 0 |4500 | 72k| 73k|2427 | 69 | 174 | 0 | 1.817352e+03 | -- | Inf | unknown
49.99/50.36 c 50.4s| 1 | 0 | 64127 | - | 827M | 0 |4500 | 72k| 73k|2443 | 70 | 176 | 0 | 1.819045e+03 | -- | Inf | unknown
50.29/50.64 c 50.6s| 1 | 0 | 64420 | - | 828M | 0 |4500 | 72k| 73k|2460 | 71 | 179 | 0 | 1.821402e+03 | -- | Inf | unknown
50.59/50.92 c 50.9s| 1 | 0 | 64785 | - | 828M | 0 |4500 | 72k| 73k|2478 | 72 | 181 | 0 | 1.823902e+03 | -- | Inf | unknown
50.99/51.33 c 51.3s| 1 | 0 | 65275 | - | 828M | 0 |4500 | 72k| 73k|2503 | 73 | 183 | 0 | 1.826152e+03 | -- | Inf | unknown
51.29/51.67 c 51.7s| 1 | 0 | 65760 | - | 828M | 0 |4500 | 72k| 73k|2518 | 74 | 184 | 0 | 1.828152e+03 | -- | Inf | unknown
51.59/51.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
51.59/51.96 c 51.9s| 1 | 0 | 66145 | - | 828M | 0 |4500 | 72k| 73k|2538 | 75 | 190 | 0 | 1.828402e+03 | -- | Inf | unknown
51.99/52.32 c 52.3s| 1 | 0 | 66669 | - | 828M | 0 |4500 | 72k| 73k|2555 | 76 | 192 | 0 | 1.832527e+03 | -- | Inf | unknown
52.29/52.67 c 52.7s| 1 | 0 | 67136 | - | 828M | 0 |4500 | 72k| 73k|2573 | 77 | 193 | 0 | 1.834070e+03 | -- | Inf | unknown
52.59/52.93 c 52.9s| 1 | 0 | 67432 | - | 828M | 0 |4500 | 72k| 73k|2590 | 78 | 194 | 0 | 1.835329e+03 | -- | Inf | unknown
52.89/53.23 c 53.2s| 1 | 0 | 67866 | - | 828M | 0 |4500 | 72k| 73k|2610 | 79 | 195 | 0 | 1.838715e+03 | -- | Inf | unknown
53.18/53.59 c 53.6s| 1 | 0 | 68395 | - | 829M | 0 |4500 | 72k| 73k|2634 | 80 | 196 | 0 | 1.842365e+03 | -- | Inf | unknown
53.58/53.91 c 53.9s| 1 | 0 | 68809 | - | 830M | 0 |4500 | 72k| 73k|2653 | 81 | 197 | 0 | 1.843698e+03 | -- | Inf | unknown
53.79/54.16 c 54.2s| 1 | 0 | 69100 | - | 830M | 0 |4500 | 72k| 73k|2669 | 82 | 198 | 0 | 1.845092e+03 | -- | Inf | unknown
54.08/54.48 c 54.5s| 1 | 0 | 69530 | - | 830M | 0 |4500 | 72k| 73k|2683 | 83 | 199 | 0 | 1.848467e+03 | -- | Inf | unknown
54.49/54.83 c 54.8s| 1 | 0 | 70090 | - | 830M | 0 |4500 | 72k| 73k|2702 | 84 | 200 | 0 | 1.852000e+03 | -- | Inf | unknown
54.88/55.25 c 55.2s| 1 | 0 | 70819 | - | 830M | 0 |4500 | 72k| 73k|2728 | 85 | 201 | 0 | 1.855277e+03 | -- | Inf | unknown
55.38/55.71 c 55.7s| 1 | 0 | 71574 | - | 831M | 0 |4500 | 72k| 73k|2754 | 86 | 203 | 0 | 1.858301e+03 | -- | Inf | unknown
55.68/56.09 c 56.1s| 1 | 0 | 72142 | - | 831M | 0 |4500 | 72k| 73k|2782 | 87 | 204 | 0 | 1.861426e+03 | -- | Inf | unknown
56.07/56.40 c 56.4s| 1 | 0 | 72528 | - | 831M | 0 |4500 | 72k| 73k|2809 | 88 | 205 | 0 | 1.864205e+03 | -- | Inf | unknown
56.27/56.69 c 56.7s| 1 | 0 | 72838 | - | 832M | 0 |4500 | 72k| 73k|2827 | 89 | 206 | 0 | 1.864532e+03 | -- | Inf | unknown
56.67/57.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
56.67/57.06 c 57.1s| 1 | 0 | 73261 | - | 832M | 0 |4500 | 72k| 73k|2848 | 90 | 208 | 0 | 1.866814e+03 | -- | Inf | unknown
56.97/57.33 c 57.3s| 1 | 0 | 73477 | - | 833M | 0 |4500 | 72k| 73k|2871 | 91 | 209 | 0 | 1.867245e+03 | -- | Inf | unknown
57.27/57.62 c 57.6s| 1 | 0 | 73856 | - | 833M | 0 |4500 | 72k| 73k|2887 | 92 | 211 | 0 | 1.869454e+03 | -- | Inf | unknown
57.67/58.04 c 58.0s| 1 | 0 | 74410 | - | 833M | 0 |4500 | 72k| 73k|2902 | 93 | 215 | 0 | 1.871537e+03 | -- | Inf | unknown
57.97/58.38 c 58.4s| 1 | 0 | 74784 | - | 833M | 0 |4500 | 72k| 73k|2916 | 94 | 216 | 0 | 1.872819e+03 | -- | Inf | unknown
58.36/58.75 c 58.7s| 1 | 0 | 75319 | - | 834M | 0 |4500 | 72k| 73k|2934 | 95 | 219 | 0 | 1.876134e+03 | -- | Inf | unknown
58.76/59.16 c 59.2s| 1 | 0 | 75910 | - | 834M | 0 |4500 | 72k| 73k|2948 | 96 | 222 | 0 | 1.880060e+03 | -- | Inf | unknown
59.06/59.43 c 59.4s| 1 | 0 | 76154 | - | 835M | 0 |4500 | 72k| 73k|2969 | 97 | 223 | 0 | 1.881622e+03 | -- | Inf | unknown
59.25/59.65 c 59.6s| 1 | 0 | 76298 | - | 835M | 0 |4500 | 72k| 73k|2976 | 98 | 224 | 0 | 1.882848e+03 | -- | Inf | unknown
59.66/60.10 c 60.1s| 1 | 0 | 76939 | - | 836M | 0 |4500 | 72k| 73k|2989 | 99 | 225 | 0 | 1.885920e+03 | -- | Inf | unknown
60.15/60.54 c 60.5s| 1 | 0 | 77621 | - | 836M | 0 |4500 | 72k| 73k|3010 |100 | 226 | 0 | 1.889496e+03 | -- | Inf | unknown
60.46/60.81 c 60.8s| 1 | 0 | 77960 | - | 836M | 0 |4500 | 72k| 73k|3030 |101 | 227 | 0 | 1.890839e+03 | -- | Inf | unknown
60.76/61.18 c 61.2s| 1 | 0 | 78526 | - | 836M | 0 |4500 | 72k| 73k|3050 |102 | 228 | 0 | 1.892951e+03 | -- | Inf | unknown
61.15/61.50 c 61.5s| 1 | 0 | 78963 | - | 836M | 0 |4500 | 72k| 73k|3069 |103 | 229 | 0 | 1.893748e+03 | -- | Inf | unknown
61.44/61.82 c 61.8s| 1 | 0 | 79408 | - | 837M | 0 |4500 | 72k| 73k|3080 |104 | 230 | 0 | 1.894763e+03 | -- | Inf | unknown
61.75/62.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
61.75/62.14 c 62.1s| 1 | 0 | 79825 | - | 838M | 0 |4500 | 72k| 73k|3097 |105 | 234 | 0 | 1.897000e+03 | -- | Inf | unknown
62.04/62.44 c 62.4s| 1 | 0 | 80218 | - | 838M | 0 |4500 | 72k| 73k|3114 |106 | 236 | 0 | 1.897926e+03 | -- | Inf | unknown
62.35/62.72 c 62.7s| 1 | 0 | 80610 | - | 839M | 0 |4500 | 72k| 73k|3128 |107 | 237 | 0 | 1.898958e+03 | -- | Inf | unknown
62.75/63.13 c 63.1s| 1 | 0 | 81369 | - | 839M | 0 |4500 | 72k| 73k|3144 |108 | 239 | 0 | 1.902465e+03 | -- | Inf | unknown
63.14/63.53 c 63.5s| 1 | 0 | 81994 | - | 840M | 0 |4500 | 72k| 73k|3164 |109 | 242 | 0 | 1.904544e+03 | -- | Inf | unknown
63.54/63.93 c 63.9s| 1 | 0 | 82543 | - | 840M | 0 |4500 | 72k| 73k|3179 |110 | 243 | 0 | 1.906049e+03 | -- | Inf | unknown
63.94/64.38 c 64.4s| 1 | 0 | 83232 | - | 841M | 0 |4500 | 72k| 73k|3198 |111 | 244 | 0 | 1.909146e+03 | -- | Inf | unknown
64.44/64.82 c 64.8s| 1 | 0 | 83816 | - | 841M | 0 |4500 | 72k| 73k|3218 |112 | 245 | 0 | 1.911175e+03 | -- | Inf | unknown
65.04/65.45 c 65.4s| 1 | 0 | 84710 | - | 842M | 0 |4500 | 72k| 73k|3235 |113 | 246 | 0 | 1.912258e+03 | -- | Inf | unknown
65.44/65.86 c 65.9s| 1 | 0 | 85270 | - | 842M | 0 |4500 | 72k| 73k|3252 |114 | 256 | 0 | 1.913240e+03 | -- | Inf | unknown
65.84/66.27 c 66.3s| 1 | 0 | 85754 | - | 842M | 0 |4500 | 72k| 73k|3270 |115 | 257 | 0 | 1.914587e+03 | -- | Inf | unknown
66.04/66.47 c 66.5s| 1 | 0 | 85939 | - | 843M | 0 |4500 | 72k| 73k|3277 |116 | 258 | 0 | 1.916302e+03 | -- | Inf | unknown
66.33/66.76 c 66.8s| 1 | 0 | 86352 | - | 843M | 0 |4500 | 72k| 73k|3287 |117 | 260 | 0 | 1.918795e+03 | -- | Inf | unknown
66.74/67.13 c 67.1s| 1 | 0 | 86893 | - | 844M | 0 |4500 | 72k| 73k|3301 |118 | 261 | 0 | 1.919800e+03 | -- | Inf | unknown
67.03/67.48 c 67.5s| 1 | 0 | 87389 | - | 844M | 0 |4500 | 72k| 73k|3315 |119 | 262 | 0 | 1.922082e+03 | -- | Inf | unknown
67.43/67.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
67.43/67.83 c 67.8s| 1 | 0 | 87843 | - | 844M | 0 |4500 | 72k| 73k|3325 |120 | 263 | 0 | 1.923184e+03 | -- | Inf | unknown
67.83/68.20 c 68.2s| 1 | 0 | 88323 | - | 844M | 0 |4500 | 72k| 73k|3343 |121 | 264 | 0 | 1.924592e+03 | -- | Inf | unknown
68.33/68.75 c 68.7s| 1 | 0 | 89035 | - | 845M | 0 |4500 | 72k| 73k|3359 |122 | 268 | 0 | 1.926980e+03 | -- | Inf | unknown
68.73/69.16 c 69.2s| 1 | 0 | 89470 | - | 845M | 0 |4500 | 72k| 73k|3374 |123 | 271 | 0 | 1.928012e+03 | -- | Inf | unknown
69.03/69.49 c 69.5s| 1 | 0 | 89775 | - | 845M | 0 |4500 | 72k| 73k|3387 |124 | 273 | 0 | 1.928928e+03 | -- | Inf | unknown
69.43/69.84 c 69.8s| 1 | 0 | 90151 | - | 846M | 0 |4500 | 72k| 73k|3396 |125 | 274 | 0 | 1.930520e+03 | -- | Inf | unknown
69.82/70.25 c 70.2s| 1 | 0 | 90716 | - | 846M | 0 |4500 | 72k| 73k|3408 |126 | 276 | 0 | 1.931668e+03 | -- | Inf | unknown
70.22/70.68 c 70.7s| 1 | 0 | 91334 | - | 847M | 0 |4500 | 72k| 73k|3424 |127 | 278 | 0 | 1.933098e+03 | -- | Inf | unknown
70.63/71.01 c 71.0s| 1 | 0 | 91785 | - | 847M | 0 |4500 | 72k| 73k|3439 |128 | 279 | 0 | 1.934799e+03 | -- | Inf | unknown
70.92/71.33 c 71.3s| 1 | 0 | 92165 | - | 848M | 0 |4500 | 72k| 74k|3454 |129 | 281 | 0 | 1.935351e+03 | -- | Inf | unknown
71.22/71.63 c 71.6s| 1 | 0 | 92446 | - | 848M | 0 |4500 | 72k| 74k|3467 |130 | 282 | 0 | 1.935942e+03 | -- | Inf | unknown
71.52/71.95 c 71.9s| 1 | 0 | 92745 | - | 849M | 0 |4500 | 72k| 73k|3478 |131 | 283 | 0 | 1.936625e+03 | -- | Inf | unknown
72.02/72.40 c 72.4s| 1 | 0 | 93501 | - | 849M | 0 |4500 | 72k| 74k|3489 |132 | 284 | 0 | 1.939285e+03 | -- | Inf | unknown
72.52/72.94 c 72.9s| 1 | 0 | 94202 | - | 850M | 0 |4500 | 72k| 74k|3510 |133 | 285 | 0 | 1.940896e+03 | -- | Inf | unknown
73.11/73.50 c 73.5s| 1 | 0 | 94946 | - | 850M | 0 |4500 | 72k| 74k|3526 |134 | 286 | 0 | 1.942603e+03 | -- | Inf | unknown
73.51/73.95 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
73.51/73.95 c 73.9s| 1 | 0 | 95546 | - | 850M | 0 |4500 | 72k| 74k|3542 |135 | 289 | 0 | 1.943478e+03 | -- | Inf | unknown
73.81/74.24 c 74.2s| 1 | 0 | 95861 | - | 851M | 0 |4500 | 72k| 74k|3554 |136 | 290 | 0 | 1.944405e+03 | -- | Inf | unknown
74.61/75.06 c 75.1s| 1 | 0 | 97094 | - | 852M | 0 |4500 | 72k| 74k|3570 |137 | 291 | 0 | 1.946246e+03 | -- | Inf | unknown
75.11/75.55 c 75.5s| 1 | 0 | 97739 | - | 852M | 0 |4500 | 72k| 74k|3591 |138 | 292 | 0 | 1.947854e+03 | -- | Inf | unknown
75.81/76.29 c 76.3s| 1 | 0 | 98623 | - | 852M | 0 |4500 | 72k| 74k|3607 |139 | 294 | 0 | 1.948604e+03 | -- | Inf | unknown
76.30/76.75 c 76.7s| 1 | 0 | 99041 | - | 852M | 0 |4500 | 72k| 74k|3614 |140 | 298 | 0 | 1.949298e+03 | -- | Inf | unknown
76.90/77.37 c 77.4s| 1 | 0 | 99694 | - | 853M | 0 |4500 | 72k| 74k|3628 |141 | 299 | 0 | 1.949946e+03 | -- | Inf | unknown
78.10/78.57 c 78.6s| 1 | 0 |101258 | - | 853M | 0 |4500 | 72k| 74k|3640 |142 | 300 | 0 | 1.951312e+03 | -- | Inf | unknown
78.90/79.35 c 79.3s| 1 | 0 |102315 | - | 853M | 0 |4500 | 72k| 74k|3655 |143 | 302 | 0 | 1.952630e+03 | -- | Inf | unknown
79.49/80.00 c 80.0s| 1 | 0 |103350 | - | 853M | 0 |4500 | 72k| 74k|3667 |144 | 303 | 0 | 1.954256e+03 | -- | Inf | unknown
80.19/80.63 c 80.6s| 1 | 0 |104351 | - | 854M | 0 |4500 | 72k| 74k|3680 |145 | 306 | 0 | 1.955762e+03 | -- | Inf | unknown
80.60/81.04 c 81.0s| 1 | 0 |104856 | - | 854M | 0 |4500 | 72k| 74k|3694 |146 | 309 | 0 | 1.957484e+03 | -- | Inf | unknown
81.19/81.65 c 81.6s| 1 | 0 |105773 | - | 854M | 0 |4500 | 72k| 74k|3706 |147 | 310 | 0 | 1.958732e+03 | -- | Inf | unknown
82.09/82.56 c 82.6s| 1 | 0 |107100 | - | 854M | 0 |4500 | 72k| 74k|3719 |148 | 311 | 0 | 1.960070e+03 | -- | Inf | unknown
82.78/83.22 c 83.2s| 1 | 0 |108159 | - | 855M | 0 |4500 | 72k| 74k|3733 |149 | 312 | 0 | 1.961193e+03 | -- | Inf | unknown
83.28/83.74 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
83.28/83.74 c 83.7s| 1 | 0 |108907 | - | 855M | 0 |4500 | 72k| 74k|3744 |150 | 313 | 0 | 1.962121e+03 | -- | Inf | unknown
83.69/84.15 c 84.1s| 1 | 0 |109385 | - | 855M | 0 |4500 | 72k| 74k|3759 |151 | 314 | 0 | 1.962922e+03 | -- | Inf | unknown
84.28/84.70 c 84.7s| 1 | 0 |110256 | - | 856M | 0 |4500 | 72k| 74k|3769 |152 | 315 | 0 | 1.963735e+03 | -- | Inf | unknown
84.68/85.12 c 85.1s| 1 | 0 |110767 | - | 857M | 0 |4500 | 72k| 74k|3778 |153 | 319 | 0 | 1.964013e+03 | -- | Inf | unknown
85.28/85.78 c 85.8s| 1 | 0 |111698 | - | 857M | 0 |4500 | 72k| 74k|3788 |154 | 321 | 0 | 1.965067e+03 | -- | Inf | unknown
85.78/86.22 c 86.2s| 1 | 0 |112208 | - | 858M | 0 |4500 | 72k| 74k|3803 |155 | 322 | 0 | 1.965635e+03 | -- | Inf | unknown
86.47/86.96 c 87.0s| 1 | 0 |113183 | - | 858M | 0 |4500 | 72k| 74k|3818 |156 | 332 | 0 | 1.967300e+03 | -- | Inf | unknown
87.37/87.84 c 87.8s| 1 | 0 |114519 | - | 859M | 0 |4500 | 72k| 74k|3834 |157 | 334 | 0 | 1.971094e+03 | -- | Inf | unknown
87.77/88.23 c 88.2s| 1 | 0 |115012 | - | 859M | 0 |4500 | 72k| 74k|3856 |158 | 335 | 0 | 1.971842e+03 | -- | Inf | unknown
88.38/88.86 c 88.9s| 1 | 0 |115889 | - | 860M | 0 |4500 | 72k| 74k|3872 |159 | 336 | 0 | 1.973897e+03 | -- | Inf | unknown
89.07/89.57 c 89.6s| 1 | 0 |116903 | - | 861M | 0 |4500 | 72k| 74k|3891 |160 | 337 | 0 | 1.974995e+03 | -- | Inf | unknown
89.37/89.88 c 89.9s| 1 | 0 |117161 | - | 861M | 0 |4500 | 72k| 74k|3903 |161 | 339 | 0 | 1.975441e+03 | -- | Inf | unknown
89.97/90.46 c 90.5s| 1 | 0 |117940 | - | 861M | 0 |4500 | 72k| 74k|3912 |162 | 342 | 0 | 1.975981e+03 | -- | Inf | unknown
90.57/91.07 c 91.1s| 1 | 0 |118770 | - | 862M | 0 |4500 | 72k| 74k|3921 |163 | 343 | 0 | 1.976786e+03 | -- | Inf | unknown
91.17/91.64 c 91.6s| 1 | 0 |119484 | - | 862M | 0 |4500 | 72k| 74k|3929 |164 | 344 | 0 | 1.977354e+03 | -- | Inf | unknown
91.47/91.94 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
91.47/91.94 c 91.9s| 1 | 0 |119790 | - | 863M | 0 |4500 | 72k| 74k|3937 |165 | 345 | 0 | 1.977763e+03 | -- | Inf | unknown
91.86/92.37 c 92.4s| 1 | 0 |120204 | - | 864M | 0 |4500 | 72k| 74k|3946 |166 | 347 | 0 | 1.978470e+03 | -- | Inf | unknown
92.46/92.90 c 92.9s| 1 | 0 |120840 | - | 864M | 0 |4500 | 72k| 74k|3953 |167 | 348 | 0 | 1.979447e+03 | -- | Inf | unknown
93.06/93.51 c 93.5s| 1 | 0 |121660 | - | 864M | 0 |4500 | 72k| 74k|3968 |168 | 349 | 0 | 1.980940e+03 | -- | Inf | unknown
93.46/94.00 c 94.0s| 1 | 0 |122248 | - | 865M | 0 |4500 | 72k| 74k|3985 |169 | 350 | 0 | 1.981455e+03 | -- | Inf | unknown
94.16/94.60 c 94.6s| 1 | 0 |122942 | - | 866M | 0 |4500 | 72k| 74k|3999 |170 | 356 | 0 | 1.982114e+03 | -- | Inf | unknown
94.66/95.10 c 95.1s| 1 | 0 |123552 | - | 866M | 0 |4500 | 72k| 74k|4010 |171 | 357 | 0 | 1.982528e+03 | -- | Inf | unknown
95.05/95.55 c 95.5s| 1 | 0 |124035 | - | 867M | 0 |4500 | 72k| 74k|4024 |172 | 360 | 0 | 1.983278e+03 | -- | Inf | unknown
95.66/96.11 c 96.1s| 1 | 0 |124692 | - | 868M | 0 |4500 | 72k| 74k|4033 |173 | 362 | 0 | 1.984099e+03 | -- | Inf | unknown
96.05/96.59 c 96.6s| 1 | 0 |125279 | - | 868M | 0 |4500 | 72k| 74k|4046 |174 | 369 | 0 | 1.985157e+03 | -- | Inf | unknown
96.55/97.02 c 97.0s| 1 | 0 |125777 | - | 868M | 0 |4500 | 72k| 74k|4061 |175 | 371 | 0 | 1.985537e+03 | -- | Inf | unknown
96.95/97.43 c 97.4s| 1 | 0 |126207 | - | 869M | 0 |4500 | 72k| 74k|4078 |176 | 373 | 0 | 1.986145e+03 | -- | Inf | unknown
97.35/97.83 c 97.8s| 1 | 0 |126588 | - | 869M | 0 |4500 | 72k| 74k|4095 |177 | 374 | 0 | 1.986829e+03 | -- | Inf | unknown
98.04/98.55 c 98.5s| 1 | 0 |127366 | - | 870M | 0 |4500 | 72k| 74k|4109 |178 | 375 | 0 | 1.987353e+03 | -- | Inf | unknown
98.94/99.42 c 99.4s| 1 | 0 |128397 | - | 872M | 0 |4500 | 72k| 74k|4120 |179 | 378 | 0 | 1.988529e+03 | -- | Inf | unknown
99.44/99.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
99.44/99.96 c 100s| 1 | 0 |129019 | - | 872M | 0 |4500 | 72k| 74k|4130 |180 | 379 | 0 | 1.989259e+03 | -- | Inf | unknown
100.04/100.51 c 101s| 1 | 0 |129518 | - | 872M | 0 |4500 | 72k| 74k|4138 |181 | 380 | 0 | 1.989893e+03 | -- | Inf | unknown
100.54/101.07 c 101s| 1 | 0 |130077 | - | 873M | 0 |4500 | 72k| 74k|4147 |182 | 381 | 0 | 1.990372e+03 | -- | Inf | unknown
101.33/101.87 c 102s| 1 | 0 |130920 | - | 874M | 0 |4500 | 72k| 74k|4158 |183 | 382 | 0 | 1.991064e+03 | -- | Inf | unknown
102.03/102.57 c 103s| 1 | 0 |131636 | - | 874M | 0 |4500 | 72k| 74k|4167 |184 | 383 | 0 | 1.991875e+03 | -- | Inf | unknown
102.53/103.01 c 103s| 1 | 0 |132068 | - | 875M | 0 |4500 | 72k| 74k|4176 |185 | 386 | 0 | 1.992370e+03 | -- | Inf | unknown
103.23/103.75 c 104s| 1 | 0 |132874 | - | 875M | 0 |4500 | 72k| 74k|4186 |186 | 387 | 0 | 1.993260e+03 | -- | Inf | unknown
103.83/104.34 c 104s| 1 | 0 |133529 | - | 876M | 0 |4500 | 72k| 74k|4201 |187 | 388 | 0 | 1.993797e+03 | -- | Inf | unknown
104.33/104.83 c 105s| 1 | 0 |134091 | - | 876M | 0 |4500 | 72k| 74k|4208 |188 | 389 | 0 | 1.994085e+03 | -- | Inf | unknown
105.03/105.55 c 106s| 1 | 0 |134921 | - | 877M | 0 |4500 | 72k| 74k|4217 |189 | 390 | 0 | 1.995149e+03 | -- | Inf | unknown
105.73/106.23 c 106s| 1 | 0 |135656 | - | 878M | 0 |4500 | 72k| 74k|4225 |190 | 400 | 0 | 1.995873e+03 | -- | Inf | unknown
106.23/106.73 c 107s| 1 | 0 |136212 | - | 878M | 0 |4500 | 72k| 74k|4239 |191 | 403 | 0 | 1.996491e+03 | -- | Inf | unknown
106.82/107.30 c 107s| 1 | 0 |136922 | - | 878M | 0 |4500 | 72k| 74k|4252 |192 | 406 | 0 | 1.997596e+03 | -- | Inf | unknown
107.42/107.95 c 108s| 1 | 0 |137616 | - | 879M | 0 |4500 | 72k| 74k|4262 |193 | 407 | 0 | 1.998232e+03 | -- | Inf | unknown
107.92/108.46 c 108s| 1 | 0 |138154 | - | 879M | 0 |4500 | 72k| 74k|4273 |194 | 409 | 0 | 1.998478e+03 | -- | Inf | unknown
108.42/108.95 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
108.42/108.95 c 109s| 1 | 0 |138766 | - | 880M | 0 |4500 | 72k| 74k|4286 |195 | 410 | 0 | 1.998837e+03 | -- | Inf | unknown
109.12/109.65 c 110s| 1 | 0 |139586 | - | 881M | 0 |4500 | 72k| 74k|4295 |196 | 411 | 0 | 1.999422e+03 | -- | Inf | unknown
109.81/110.34 c 110s| 1 | 0 |140308 | - | 881M | 0 |4500 | 72k| 74k|4310 |197 | 413 | 0 | 2.000275e+03 | -- | Inf | unknown
110.71/111.22 c 111s| 1 | 0 |141227 | - | 881M | 0 |4500 | 72k| 74k|4324 |198 | 414 | 0 | 2.001029e+03 | -- | Inf | unknown
111.31/111.84 c 112s| 1 | 0 |141887 | - | 882M | 0 |4500 | 72k| 74k|4335 |199 | 421 | 0 | 2.001302e+03 | -- | Inf | unknown
112.21/112.73 c 113s| 1 | 0 |142865 | - | 883M | 0 |4500 | 72k| 74k|4348 |200 | 431 | 0 | 2.002649e+03 | -- | Inf | unknown
113.30/113.80 c 114s| 1 | 0 |144042 | - | 883M | 0 |4500 | 72k| 74k|4367 |201 | 433 | 0 | 2.004035e+03 | -- | Inf | unknown
113.90/114.40 c 114s| 1 | 0 |144695 | - | 884M | 0 |4500 | 72k| 74k|4388 |202 | 434 | 0 | 2.004574e+03 | -- | Inf | unknown
114.40/114.98 c 115s| 1 | 0 |145251 | - | 885M | 0 |4500 | 72k| 74k|4401 |203 | 435 | 0 | 2.005083e+03 | -- | Inf | unknown
115.30/115.84 c 116s| 1 | 0 |146192 | - | 885M | 0 |4500 | 72k| 74k|4411 |204 | 436 | 0 | 2.005920e+03 | -- | Inf | unknown
116.19/116.76 c 117s| 1 | 0 |147160 | - | 885M | 0 |4500 | 72k| 74k|4424 |205 | 437 | 0 | 2.006488e+03 | -- | Inf | unknown
116.89/117.43 c 117s| 1 | 0 |147865 | - | 886M | 0 |4500 | 72k| 74k|4433 |206 | 440 | 0 | 2.007086e+03 | -- | Inf | unknown
117.39/117.95 c 118s| 1 | 0 |148394 | - | 886M | 0 |4500 | 72k| 74k|4441 |207 | 450 | 0 | 2.007913e+03 | -- | Inf | unknown
117.89/118.47 c 118s| 1 | 0 |148869 | - | 887M | 0 |4500 | 72k| 74k|4450 |208 | 453 | 0 | 2.008521e+03 | -- | Inf | unknown
118.38/118.96 c 119s| 1 | 0 |149259 | - | 888M | 0 |4500 | 72k| 74k|4458 |209 | 456 | 0 | 2.009079e+03 | -- | Inf | unknown
119.08/119.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
119.08/119.61 c 120s| 1 | 0 |149848 | - | 888M | 0 |4500 | 72k| 74k|4464 |210 | 457 | 0 | 2.009466e+03 | -- | Inf | unknown
119.49/120.08 c 120s| 1 | 0 |150199 | - | 888M | 0 |4500 | 72k| 74k|4470 |211 | 458 | 0 | 2.009842e+03 | -- | Inf | unknown
119.98/120.50 c 120s| 1 | 0 |150525 | - | 889M | 0 |4500 | 72k| 74k|4476 |212 | 459 | 0 | 2.010100e+03 | -- | Inf | unknown
120.88/121.46 c 121s| 1 | 0 |151504 | - | 890M | 0 |4500 | 72k| 74k|4483 |213 | 460 | 0 | 2.010664e+03 | -- | Inf | unknown
121.48/122.08 c 122s| 1 | 0 |152077 | - | 890M | 0 |4500 | 72k| 74k|4495 |214 | 461 | 0 | 2.011034e+03 | -- | Inf | unknown
122.27/122.88 c 123s| 1 | 0 |152929 | - | 891M | 0 |4500 | 72k| 74k|4506 |215 | 463 | 0 | 2.011852e+03 | -- | Inf | unknown
123.07/123.67 c 124s| 1 | 0 |153755 | - | 891M | 0 |4500 | 72k| 74k|4517 |216 | 464 | 0 | 2.012754e+03 | -- | Inf | unknown
123.67/124.23 c 124s| 1 | 0 |154347 | - | 892M | 0 |4500 | 72k| 74k|4531 |217 | 466 | 0 | 2.013040e+03 | -- | Inf | unknown
124.07/124.68 c 125s| 1 | 0 |154808 | - | 892M | 0 |4500 | 72k| 74k|4543 |218 | 468 | 0 | 2.013417e+03 | -- | Inf | unknown
124.68/125.24 c 125s| 1 | 0 |155374 | - | 893M | 0 |4500 | 72k| 74k|4554 |219 | 470 | 0 | 2.014075e+03 | -- | Inf | unknown
125.37/125.97 c 126s| 1 | 0 |156109 | - | 894M | 0 |4500 | 72k| 74k|4569 |220 | 479 | 0 | 2.014640e+03 | -- | Inf | unknown
126.17/126.70 c 127s| 1 | 0 |156799 | - | 894M | 0 |4500 | 72k| 74k|4581 |221 | 480 | 0 | 2.015098e+03 | -- | Inf | unknown
126.97/127.58 c 128s| 1 | 0 |157702 | - | 894M | 0 |4500 | 72k| 74k|4593 |222 | 481 | 0 | 2.016116e+03 | -- | Inf | unknown
127.86/128.41 c 128s| 1 | 0 |158571 | - | 895M | 0 |4500 | 72k| 74k|4611 |223 | 482 | 0 | 2.016643e+03 | -- | Inf | unknown
128.47/129.03 c 129s| 1 | 0 |159196 | - | 896M | 0 |4500 | 72k| 74k|4625 |224 | 484 | 0 | 2.017114e+03 | -- | Inf | unknown
128.96/129.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
128.96/129.59 c 130s| 1 | 0 |159712 | - | 896M | 0 |4500 | 72k| 74k|4637 |225 | 485 | 0 | 2.017421e+03 | -- | Inf | unknown
129.96/130.50 c 130s| 1 | 0 |160736 | - | 897M | 0 |4500 | 72k| 74k|4647 |226 | 487 | 0 | 2.018289e+03 | -- | Inf | unknown
130.46/131.08 c 131s| 1 | 0 |161243 | - | 897M | 0 |4500 | 72k| 74k|4658 |227 | 497 | 0 | 2.018619e+03 | -- | Inf | unknown
131.15/131.78 c 132s| 1 | 0 |161867 | - | 897M | 0 |4500 | 72k| 74k|4666 |228 | 499 | 0 | 2.019074e+03 | -- | Inf | unknown
132.05/132.60 c 133s| 1 | 0 |162641 | - | 898M | 0 |4500 | 72k| 74k|4672 |229 | 500 | 0 | 2.019730e+03 | -- | Inf | unknown
132.75/133.30 c 133s| 1 | 0 |163269 | - | 898M | 0 |4500 | 72k| 74k|4687 |230 | 501 | 0 | 2.019983e+03 | -- | Inf | unknown
133.75/134.33 c 134s| 1 | 0 |164272 | - | 899M | 0 |4500 | 72k| 74k|4700 |231 | 502 | 0 | 2.020884e+03 | -- | Inf | unknown
134.34/134.94 c 135s| 1 | 0 |164786 | - | 900M | 0 |4500 | 72k| 74k|4709 |232 | 512 | 0 | 2.021124e+03 | -- | Inf | unknown
134.94/135.51 c 136s| 1 | 0 |165288 | - | 900M | 0 |4500 | 72k| 74k|4716 |233 | 513 | 0 | 2.021316e+03 | -- | Inf | unknown
135.64/136.23 c 136s| 1 | 0 |165947 | - | 900M | 0 |4500 | 72k| 74k|4724 |234 | 514 | 0 | 2.021748e+03 | -- | Inf | unknown
136.44/137.07 c 137s| 1 | 0 |166792 | - | 901M | 0 |4500 | 72k| 74k|4734 |235 | 515 | 0 | 2.022139e+03 | -- | Inf | unknown
137.24/137.83 c 138s| 1 | 0 |167542 | - | 902M | 0 |4500 | 72k| 74k|4744 |236 | 517 | 0 | 2.022642e+03 | -- | Inf | unknown
138.03/138.65 c 139s| 1 | 0 |168306 | - | 902M | 0 |4500 | 72k| 74k|4758 |237 | 527 | 0 | 2.022910e+03 | -- | Inf | unknown
138.83/139.46 c 139s| 1 | 0 |169036 | - | 903M | 0 |4500 | 72k| 74k|4771 |238 | 531 | 0 | 2.023251e+03 | -- | Inf | unknown
139.43/140.06 c 140s| 1 | 0 |169588 | - | 904M | 0 |4500 | 72k| 74k|4779 |239 | 532 | 0 | 2.023485e+03 | -- | Inf | unknown
140.02/140.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
140.02/140.67 c 141s| 1 | 0 |170115 | - | 904M | 0 |4500 | 72k| 74k|4788 |240 | 534 | 0 | 2.023836e+03 | -- | Inf | unknown
140.92/141.53 c 142s| 1 | 0 |171039 | - | 904M | 0 |4500 | 72k| 74k|4796 |241 | 535 | 0 | 2.024207e+03 | -- | Inf | unknown
141.62/142.25 c 142s| 1 | 0 |171765 | - | 904M | 0 |4500 | 72k| 74k|4805 |242 | 539 | 0 | 2.024747e+03 | -- | Inf | unknown
142.32/142.95 c 143s| 1 | 0 |172408 | - | 905M | 0 |4500 | 72k| 74k|4819 |243 | 540 | 0 | 2.025108e+03 | -- | Inf | unknown
143.01/143.69 c 144s| 1 | 0 |173146 | - | 906M | 0 |4500 | 72k| 74k|4831 |244 | 541 | 0 | 2.025722e+03 | -- | Inf | unknown
143.92/144.53 c 145s| 1 | 0 |173930 | - | 906M | 0 |4500 | 72k| 74k|4843 |245 | 544 | 0 | 2.026548e+03 | -- | Inf | unknown
145.02/145.63 c 146s| 1 | 0 |175061 | - | 906M | 0 |4500 | 72k| 74k|4861 |246 | 549 | 0 | 2.027258e+03 | -- | Inf | unknown
146.11/146.75 c 147s| 1 | 0 |176172 | - | 907M | 0 |4500 | 72k| 74k|4880 |247 | 550 | 0 | 2.028201e+03 | -- | Inf | unknown
146.61/147.25 c 147s| 1 | 0 |176585 | - | 907M | 0 |4500 | 72k| 74k|4899 |248 | 552 | 0 | 2.028420e+03 | -- | Inf | unknown
147.01/147.63 c 148s| 1 | 0 |176908 | - | 908M | 0 |4500 | 72k| 74k|4910 |249 | 553 | 0 | 2.028672e+03 | -- | Inf | unknown
147.51/148.15 c 148s| 1 | 0 |177477 | - | 909M | 0 |4500 | 72k| 74k|4919 |250 | 554 | 0 | 2.028965e+03 | -- | Inf | unknown
148.21/148.86 c 149s| 1 | 0 |178137 | - | 909M | 0 |4500 | 72k| 74k|4931 |251 | 556 | 0 | 2.029459e+03 | -- | Inf | unknown
148.70/149.38 c 149s| 1 | 0 |178619 | - | 909M | 0 |4500 | 72k| 74k|4939 |252 | 566 | 0 | 2.030120e+03 | -- | Inf | unknown
149.20/149.80 c 150s| 1 | 0 |179003 | - | 910M | 0 |4500 | 72k| 74k|4952 |253 | 570 | 0 | 2.030450e+03 | -- | Inf | unknown
149.90/150.52 c 151s| 1 | 0 |179828 | - | 911M | 0 |4500 | 72k| 74k|4964 |254 | 572 | 0 | 2.031095e+03 | -- | Inf | unknown
150.50/151.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
150.50/151.11 c 151s| 1 | 0 |180325 | - | 911M | 0 |4500 | 72k| 74k|4979 |255 | 573 | 0 | 2.031367e+03 | -- | Inf | unknown
151.40/152.07 c 152s| 1 | 0 |181201 | - | 912M | 0 |4500 | 72k| 74k|4993 |256 | 575 | 0 | 2.031727e+03 | -- | Inf | unknown
151.99/152.68 c 153s| 1 | 0 |181759 | - | 913M | 0 |4500 | 72k| 74k|5006 |257 | 585 | 0 | 2.032018e+03 | -- | Inf | unknown
152.69/153.31 c 153s| 1 | 0 |182272 | - | 913M | 0 |4500 | 72k| 74k|5015 |258 | 587 | 0 | 2.032156e+03 | -- | Inf | unknown
153.39/154.02 c 154s| 1 | 0 |182902 | - | 913M | 0 |4500 | 72k| 74k|5026 |259 | 596 | 0 | 2.032468e+03 | -- | Inf | unknown
153.89/154.57 c 155s| 1 | 0 |183385 | - | 913M | 0 |4500 | 72k| 74k|5034 |260 | 597 | 0 | 2.032698e+03 | -- | Inf | unknown
154.68/155.31 c 155s| 1 | 0 |184052 | - | 914M | 0 |4500 | 72k| 74k|5047 |261 | 599 | 0 | 2.033230e+03 | -- | Inf | unknown
155.18/155.86 c 156s| 1 | 0 |184563 | - | 914M | 0 |4500 | 72k| 74k|5064 |262 | 601 | 0 | 2.033521e+03 | -- | Inf | unknown
155.88/156.51 c 157s| 1 | 0 |185152 | - | 914M | 0 |4500 | 72k| 74k|5071 |263 | 602 | 0 | 2.033823e+03 | -- | Inf | unknown
156.48/157.17 c 157s| 1 | 0 |185823 | - | 914M | 0 |4500 | 72k| 74k|5078 |264 | 603 | 0 | 2.034248e+03 | -- | Inf | unknown
156.98/157.64 c 158s| 1 | 0 |186227 | - | 915M | 0 |4500 | 72k| 74k|5091 |265 | 613 | 0 | 2.034463e+03 | -- | Inf | unknown
157.57/158.20 c 158s| 1 | 0 |186686 | - | 916M | 0 |4500 | 72k| 74k|5100 |266 | 616 | 0 | 2.034677e+03 | -- | Inf | unknown
158.58/159.20 c 159s| 1 | 0 |187630 | - | 916M | 0 |4500 | 72k| 74k|5109 |267 | 619 | 0 | 2.035241e+03 | -- | Inf | unknown
159.18/159.81 c 160s| 1 | 0 |188111 | - | 917M | 0 |4500 | 72k| 74k|5123 |268 | 621 | 0 | 2.035547e+03 | -- | Inf | unknown
159.68/160.30 c 160s| 1 | 0 |188478 | - | 918M | 0 |4500 | 72k| 74k|5138 |269 | 622 | 0 | 2.035615e+03 | -- | Inf | unknown
160.38/161.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
160.38/161.01 c 161s| 1 | 0 |189120 | - | 918M | 0 |4500 | 72k| 74k|5149 |270 | 623 | 0 | 2.035780e+03 | -- | Inf | unknown
160.97/161.60 c 162s| 1 | 0 |189670 | - | 918M | 0 |4500 | 72k| 74k|5158 |271 | 625 | 0 | 2.036101e+03 | -- | Inf | unknown
161.37/162.09 c 162s| 1 | 0 |190070 | - | 919M | 0 |4500 | 72k| 74k|5168 |272 | 626 | 0 | 2.036384e+03 | -- | Inf | unknown
161.97/162.68 c 163s| 1 | 0 |190579 | - | 920M | 0 |4500 | 72k| 74k|5179 |273 | 628 | 0 | 2.036661e+03 | -- | Inf | unknown
163.16/163.80 c 164s| 1 | 0 |191726 | - | 920M | 0 |4500 | 72k| 75k|5192 |274 | 629 | 0 | 2.037328e+03 | -- | Inf | unknown
163.66/164.34 c 164s| 1 | 0 |192195 | - | 921M | 0 |4500 | 72k| 74k|5205 |275 | 639 | 0 | 2.037457e+03 | -- | Inf | unknown
164.26/164.97 c 165s| 1 | 0 |192725 | - | 921M | 0 |4500 | 72k| 74k|5216 |276 | 640 | 0 | 2.037967e+03 | -- | Inf | unknown
164.86/165.51 c 166s| 1 | 0 |193167 | - | 922M | 0 |4500 | 72k| 75k|5234 |277 | 642 | 0 | 2.038120e+03 | -- | Inf | unknown
165.46/166.14 c 166s| 1 | 0 |193748 | - | 922M | 0 |4500 | 72k| 75k|5246 |278 | 643 | 0 | 2.038463e+03 | -- | Inf | unknown
166.15/166.86 c 167s| 1 | 0 |194373 | - | 923M | 0 |4500 | 72k| 75k|5258 |279 | 645 | 0 | 2.038709e+03 | -- | Inf | unknown
166.95/167.60 c 168s| 1 | 0 |195090 | - | 924M | 0 |4500 | 72k| 75k|5268 |280 | 647 | 0 | 2.039236e+03 | -- | Inf | unknown
167.55/168.29 c 168s| 1 | 0 |195799 | - | 924M | 0 |4500 | 72k| 75k|5285 |281 | 648 | 0 | 2.039843e+03 | -- | Inf | unknown
168.25/168.91 c 169s| 1 | 0 |196388 | - | 924M | 0 |4500 | 72k| 75k|5300 |282 | 649 | 0 | 2.040161e+03 | -- | Inf | unknown
169.04/169.73 c 170s| 1 | 0 |197274 | - | 925M | 0 |4500 | 72k| 75k|5311 |283 | 650 | 0 | 2.040383e+03 | -- | Inf | unknown
169.45/170.19 c 170s| 1 | 0 |197604 | - | 925M | 0 |4500 | 72k| 75k|5320 |284 | 651 | 0 | 2.040445e+03 | -- | Inf | unknown
170.14/170.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
170.14/170.81 c 171s| 1 | 0 |198122 | - | 926M | 0 |4500 | 72k| 75k|5332 |285 | 652 | 0 | 2.040635e+03 | -- | Inf | unknown
171.04/171.79 c 172s| 1 | 0 |199082 | - | 927M | 0 |4500 | 72k| 75k|5345 |286 | 653 | 0 | 2.041135e+03 | -- | Inf | unknown
171.73/172.47 c 172s| 1 | 0 |199639 | - | 927M | 0 |4500 | 72k| 75k|5365 |287 | 655 | 0 | 2.041402e+03 | -- | Inf | unknown
172.34/173.02 c 173s| 1 | 0 |200115 | - | 927M | 0 |4500 | 72k| 75k|5375 |288 | 656 | 0 | 2.041573e+03 | -- | Inf | unknown
172.93/173.64 c 174s| 1 | 0 |200744 | - | 928M | 0 |4500 | 72k| 75k|5392 |289 | 657 | 0 | 2.041848e+03 | -- | Inf | unknown
173.33/174.08 c 174s| 1 | 0 |201104 | - | 929M | 0 |4500 | 72k| 75k|5399 |290 | 659 | 0 | 2.041961e+03 | -- | Inf | unknown
174.03/174.77 c 175s| 1 | 0 |201735 | - | 929M | 0 |4500 | 72k| 75k|5410 |291 | 660 | 0 | 2.042365e+03 | -- | Inf | unknown
174.92/175.63 c 176s| 1 | 0 |202537 | - | 930M | 0 |4500 | 72k| 75k|5419 |292 | 662 | 0 | 2.042725e+03 | -- | Inf | unknown
175.52/176.24 c 176s| 1 | 0 |203105 | - | 931M | 0 |4500 | 72k| 75k|5433 |293 | 672 | 0 | 2.043102e+03 | -- | Inf | unknown
176.32/177.02 c 177s| 1 | 0 |203901 | - | 931M | 0 |4500 | 72k| 75k|5443 |294 | 674 | 0 | 2.043333e+03 | -- | Inf | unknown
177.03/177.73 c 178s| 1 | 0 |204641 | - | 931M | 0 |4500 | 72k| 75k|5452 |295 | 675 | 0 | 2.043660e+03 | -- | Inf | unknown
177.52/178.25 c 178s| 1 | 0 |205079 | - | 932M | 0 |4500 | 72k| 75k|5461 |296 | 676 | 0 | 2.043879e+03 | -- | Inf | unknown
178.22/178.97 c 179s| 1 | 0 |205755 | - | 933M | 0 |4500 | 72k| 75k|5469 |297 | 679 | 0 | 2.044205e+03 | -- | Inf | unknown
178.72/179.42 c 179s| 1 | 0 |206105 | - | 933M | 0 |4500 | 72k| 75k|5479 |298 | 680 | 0 | 2.044337e+03 | -- | Inf | unknown
179.42/180.16 c 180s| 1 | 0 |206838 | - | 933M | 0 |4500 | 72k| 75k|5489 |299 | 681 | 0 | 2.044679e+03 | -- | Inf | unknown
179.92/180.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
179.92/180.69 c 181s| 1 | 0 |207263 | - | 933M | 0 |4500 | 72k| 75k|5504 |300 | 682 | 0 | 2.044784e+03 | -- | Inf | unknown
180.42/181.17 c 181s| 1 | 0 |207690 | - | 934M | 0 |4500 | 72k| 75k|5516 |301 | 683 | 0 | 2.044934e+03 | -- | Inf | unknown
181.01/181.72 c 182s| 1 | 0 |208144 | - | 934M | 0 |4500 | 72k| 75k|5527 |302 | 684 | 0 | 2.045092e+03 | -- | Inf | unknown
181.51/182.29 c 182s| 1 | 0 |208627 | - | 935M | 0 |4500 | 72k| 75k|5534 |303 | 686 | 0 | 2.045368e+03 | -- | Inf | unknown
182.51/183.28 c 183s| 1 | 0 |209552 | - | 936M | 0 |4500 | 72k| 75k|5544 |304 | 695 | 0 | 2.045936e+03 | -- | Inf | unknown
183.31/184.00 c 184s| 1 | 0 |210157 | - | 936M | 0 |4500 | 72k| 75k|5556 |305 | 698 | 0 | 2.046126e+03 | -- | Inf | unknown
184.00/184.76 c 185s| 1 | 0 |210809 | - | 936M | 0 |4500 | 72k| 75k|5567 |306 | 699 | 0 | 2.046379e+03 | -- | Inf | unknown
184.80/185.56 c 186s| 1 | 0 |211543 | - | 937M | 0 |4500 | 72k| 75k|5580 |307 | 700 | 0 | 2.046815e+03 | -- | Inf | unknown
185.70/186.43 c 186s| 1 | 0 |212394 | - | 937M | 0 |4500 | 72k| 75k|5602 |308 | 702 | 0 | 2.047145e+03 | -- | Inf | unknown
186.19/186.96 c 187s| 1 | 0 |212856 | - | 938M | 0 |4500 | 72k| 75k|5620 |309 | 703 | 0 | 2.047274e+03 | -- | Inf | unknown
186.79/187.55 c 188s| 1 | 0 |213345 | - | 938M | 0 |4500 | 72k| 75k|5633 |310 | 704 | 0 | 2.047438e+03 | -- | Inf | unknown
187.49/188.21 c 188s| 1 | 0 |213915 | - | 939M | 0 |4500 | 72k| 75k|5642 |311 | 705 | 0 | 2.047559e+03 | -- | Inf | unknown
188.09/188.84 c 189s| 1 | 0 |214524 | - | 939M | 0 |4500 | 72k| 75k|5654 |312 | 706 | 0 | 2.047707e+03 | -- | Inf | unknown
188.69/189.47 c 189s| 1 | 0 |215069 | - | 940M | 0 |4500 | 72k| 75k|5670 |313 | 708 | 0 | 2.047877e+03 | -- | Inf | unknown
189.18/189.92 c 190s| 1 | 0 |215450 | - | 940M | 0 |4500 | 72k| 75k|5682 |314 | 709 | 0 | 2.048030e+03 | -- | Inf | unknown
189.78/190.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
189.78/190.53 c 191s| 1 | 0 |215929 | - | 941M | 0 |4500 | 72k| 75k|5690 |315 | 711 | 0 | 2.048264e+03 | -- | Inf | unknown
190.39/191.17 c 191s| 1 | 0 |216458 | - | 942M | 0 |4500 | 72k| 75k|5703 |316 | 712 | 0 | 2.048440e+03 | -- | Inf | unknown
191.18/191.94 c 192s| 1 | 0 |217176 | - | 942M | 0 |4500 | 72k| 75k|5718 |317 | 713 | 0 | 2.048659e+03 | -- | Inf | unknown
191.88/192.64 c 193s| 1 | 0 |217782 | - | 942M | 0 |4500 | 72k| 75k|5733 |318 | 717 | 0 | 2.048877e+03 | -- | Inf | unknown
192.57/193.31 c 193s| 1 | 0 |218398 | - | 943M | 0 |4500 | 72k| 75k|5748 |319 | 718 | 0 | 2.048987e+03 | -- | Inf | unknown
192.97/193.77 c 194s| 1 | 0 |218738 | - | 943M | 0 |4500 | 72k| 75k|5756 |320 | 720 | 0 | 2.049063e+03 | -- | Inf | unknown
193.57/194.32 c 194s| 1 | 0 |219194 | - | 944M | 0 |4500 | 72k| 75k|5765 |321 | 723 | 0 | 2.049218e+03 | -- | Inf | unknown
194.27/195.02 c 195s| 1 | 0 |219847 | - | 945M | 0 |4500 | 72k| 75k|5775 |322 | 725 | 0 | 2.049497e+03 | -- | Inf | unknown
195.07/195.85 c 196s| 1 | 0 |220559 | - | 945M | 0 |4500 | 72k| 75k|5784 |323 | 726 | 0 | 2.049894e+03 | -- | Inf | unknown
196.16/196.91 c 197s| 1 | 0 |221506 | - | 945M | 0 |4500 | 72k| 75k|5800 |324 | 727 | 0 | 2.050326e+03 | -- | Inf | unknown
196.76/197.53 c 198s| 1 | 0 |222011 | - | 946M | 0 |4500 | 72k| 75k|5813 |325 | 728 | 0 | 2.050435e+03 | -- | Inf | unknown
197.66/198.41 c 198s| 1 | 0 |222859 | - | 946M | 0 |4500 | 72k| 75k|5822 |326 | 738 | 0 | 2.050768e+03 | -- | Inf | unknown
198.26/199.00 c 199s| 1 | 0 |223339 | - | 947M | 0 |4500 | 72k| 75k|5832 |327 | 739 | 0 | 2.050941e+03 | -- | Inf | unknown
199.05/199.84 c 200s| 1 | 0 |224050 | - | 947M | 0 |4500 | 72k| 75k|5838 |328 | 742 | 0 | 2.051251e+03 | -- | Inf | unknown
199.66/200.47 c 200s| 1 | 0 |224498 | - | 948M | 0 |4500 | 72k| 75k|5849 |329 | 743 | 0 | 2.051383e+03 | -- | Inf | unknown
200.36/201.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
200.36/201.13 c 201s| 1 | 0 |224976 | - | 948M | 0 |4500 | 72k| 75k|5857 |330 | 744 | 0 | 2.051522e+03 | -- | Inf | unknown
201.06/201.82 c 202s| 1 | 0 |225545 | - | 949M | 0 |4500 | 72k| 75k|5866 |331 | 745 | 0 | 2.051739e+03 | -- | Inf | unknown
201.96/202.72 c 203s| 1 | 0 |226280 | - | 949M | 0 |4500 | 72k| 75k|5880 |332 | 747 | 0 | 2.052340e+03 | -- | Inf | unknown
202.85/203.61 c 204s| 1 | 0 |227159 | - | 950M | 0 |4500 | 72k| 75k|5896 |333 | 757 | 0 | 2.052628e+03 | -- | Inf | unknown
203.35/204.12 c 204s| 1 | 0 |227562 | - | 951M | 0 |4500 | 72k| 75k|5911 |334 | 758 | 0 | 2.052730e+03 | -- | Inf | unknown
203.85/204.69 c 205s| 1 | 0 |227950 | - | 951M | 0 |4500 | 72k| 75k|5918 |335 | 759 | 0 | 2.052817e+03 | -- | Inf | unknown
204.55/205.32 c 205s| 1 | 0 |228477 | - | 951M | 0 |4500 | 72k| 75k|5927 |336 | 760 | 0 | 2.052930e+03 | -- | Inf | unknown
204.94/205.76 c 206s| 1 | 0 |228805 | - | 952M | 0 |4500 | 72k| 75k|5938 |337 | 762 | 0 | 2.052988e+03 | -- | Inf | unknown
205.54/206.37 c 206s| 1 | 0 |229385 | - | 952M | 0 |4500 | 72k| 75k|5946 |338 | 766 | 0 | 2.053275e+03 | -- | Inf | unknown
206.35/207.13 c 207s| 1 | 0 |230053 | - | 953M | 0 |4500 | 72k| 75k|5958 |339 | 767 | 0 | 2.053506e+03 | -- | Inf | unknown
206.84/207.67 c 208s| 1 | 0 |230506 | - | 954M | 0 |4500 | 72k| 75k|5968 |340 | 768 | 0 | 2.053605e+03 | -- | Inf | unknown
207.34/208.12 c 208s| 1 | 0 |230847 | - | 954M | 0 |4500 | 72k| 75k|5975 |341 | 770 | 0 | 2.053734e+03 | -- | Inf | unknown
207.74/208.55 c 209s| 1 | 0 |231236 | - | 954M | 0 |4500 | 72k| 75k|5980 |342 | 771 | 0 | 2.053896e+03 | -- | Inf | unknown
208.43/209.22 c 209s| 1 | 0 |231829 | - | 955M | 0 |4500 | 72k| 75k|5988 |343 | 776 | 0 | 2.054165e+03 | -- | Inf | unknown
209.03/209.83 c 210s| 1 | 0 |232349 | - | 956M | 0 |4500 | 72k| 75k|5999 |344 | 777 | 0 | 2.054325e+03 | -- | Inf | unknown
209.53/210.39 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
209.53/210.39 c 210s| 1 | 0 |232842 | - | 956M | 0 |4500 | 72k| 75k|6008 |345 | 780 | 0 | 2.054451e+03 | -- | Inf | unknown
210.23/211.04 c 211s| 1 | 0 |233402 | - | 956M | 0 |4500 | 72k| 75k|6019 |346 | 781 | 0 | 2.054605e+03 | -- | Inf | unknown
211.13/211.90 c 212s| 1 | 0 |234119 | - | 957M | 0 |4500 | 72k| 75k|6029 |347 | 784 | 0 | 2.054830e+03 | -- | Inf | unknown
211.62/212.43 c 212s| 1 | 0 |234569 | - | 957M | 0 |4500 | 72k| 75k|6042 |348 | 785 | 0 | 2.055008e+03 | -- | Inf | unknown
212.23/213.08 c 213s| 1 | 0 |235231 | - | 957M | 0 |4500 | 72k| 75k|6055 |349 | 786 | 0 | 2.055235e+03 | -- | Inf | unknown
212.82/213.62 c 214s| 1 | 0 |235722 | - | 958M | 0 |4500 | 72k| 75k|6072 |350 | 788 | 0 | 2.055340e+03 | -- | Inf | unknown
213.62/214.45 c 214s| 1 | 0 |236435 | - | 958M | 0 |4500 | 72k| 75k|6084 |351 | 789 | 0 | 2.055571e+03 | -- | Inf | unknown
214.41/215.23 c 215s| 1 | 0 |237148 | - | 959M | 0 |4500 | 72k| 75k|6094 |352 | 790 | 0 | 2.055740e+03 | -- | Inf | unknown
215.11/215.97 c 216s| 1 | 0 |237746 | - | 960M | 0 |4500 | 72k| 75k|6103 |353 | 792 | 0 | 2.055921e+03 | -- | Inf | unknown
215.71/216.50 c 216s| 1 | 0 |238156 | - | 960M | 0 |4500 | 72k| 75k|6116 |354 | 794 | 0 | 2.055982e+03 | -- | Inf | unknown
216.11/216.94 c 217s| 1 | 0 |238472 | - | 960M | 0 |4500 | 72k| 75k|6126 |355 | 796 | 0 | 2.056076e+03 | -- | Inf | unknown
216.81/217.65 c 218s| 1 | 0 |239131 | - | 961M | 0 |4500 | 72k| 75k|6138 |356 | 797 | 0 | 2.056353e+03 | -- | Inf | unknown
217.40/218.25 c 218s| 1 | 0 |239589 | - | 961M | 0 |4500 | 72k| 75k|6148 |357 | 800 | 0 | 2.056477e+03 | -- | Inf | unknown
218.10/218.91 c 219s| 1 | 0 |240171 | - | 962M | 0 |4500 | 72k| 75k|6162 |358 | 803 | 0 | 2.056646e+03 | -- | Inf | unknown
218.81/219.66 c 220s| 1 | 0 |240786 | - | 963M | 0 |4500 | 72k| 75k|6175 |359 | 804 | 0 | 2.056824e+03 | -- | Inf | unknown
219.51/220.36 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
219.51/220.36 c 220s| 1 | 0 |241383 | - | 963M | 0 |4500 | 72k| 75k|6191 |360 | 805 | 0 | 2.057058e+03 | -- | Inf | unknown
220.10/220.98 c 221s| 1 | 0 |241866 | - | 963M | 0 |4500 | 72k| 75k|6201 |361 | 814 | 0 | 2.057141e+03 | -- | Inf | unknown
220.80/221.65 c 222s| 1 | 0 |242389 | - | 964M | 0 |4500 | 72k| 75k|6214 |362 | 815 | 0 | 2.057262e+03 | -- | Inf | unknown
221.40/222.20 c 222s| 1 | 0 |242808 | - | 965M | 0 |4500 | 72k| 75k|6229 |363 | 818 | 0 | 2.057349e+03 | -- | Inf | unknown
221.90/222.73 c 223s| 1 | 0 |243234 | - | 965M | 0 |4500 | 72k| 75k|6240 |364 | 819 | 0 | 2.057428e+03 | -- | Inf | unknown
222.50/223.39 c 223s| 1 | 0 |243724 | - | 966M | 0 |4500 | 72k| 75k|6249 |365 | 820 | 0 | 2.057603e+03 | -- | Inf | unknown
223.09/223.96 c 224s| 1 | 0 |244168 | - | 966M | 0 |4500 | 72k| 75k|6260 |366 | 822 | 0 | 2.057711e+03 | -- | Inf | unknown
223.99/224.83 c 225s| 1 | 0 |244962 | - | 967M | 0 |4500 | 72k| 75k|6273 |367 | 823 | 0 | 2.057939e+03 | -- | Inf | unknown
224.79/225.69 c 226s| 1 | 0 |245744 | - | 967M | 0 |4500 | 72k| 75k|6293 |368 | 825 | 0 | 2.058102e+03 | -- | Inf | unknown
225.49/226.32 c 226s| 1 | 0 |246258 | - | 967M | 0 |4500 | 72k| 75k|6311 |369 | 826 | 0 | 2.058190e+03 | -- | Inf | unknown
226.08/226.91 c 227s| 1 | 0 |246743 | - | 968M | 0 |4500 | 72k| 75k|6326 |370 | 827 | 0 | 2.058296e+03 | -- | Inf | unknown
226.58/227.46 c 227s| 1 | 0 |247149 | - | 969M | 0 |4500 | 72k| 75k|6338 |371 | 828 | 0 | 2.058385e+03 | -- | Inf | unknown
227.19/228.09 c 228s| 1 | 0 |247679 | - | 969M | 0 |4500 | 72k| 75k|6348 |372 | 829 | 0 | 2.058469e+03 | -- | Inf | unknown
227.88/228.79 c 229s| 1 | 0 |248266 | - | 969M | 0 |4500 | 72k| 75k|6357 |373 | 830 | 0 | 2.058540e+03 | -- | Inf | unknown
228.48/229.38 c 229s| 1 | 0 |248770 | - | 970M | 0 |4500 | 72k| 75k|6368 |374 | 832 | 0 | 2.058622e+03 | -- | Inf | unknown
229.07/229.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
229.07/229.99 c 230s| 1 | 0 |249285 | - | 971M | 0 |4500 | 72k| 75k|6380 |375 | 834 | 0 | 2.058693e+03 | -- | Inf | unknown
229.67/230.57 c 231s| 1 | 0 |249787 | - | 971M | 0 |4500 | 72k| 75k|6396 |376 | 836 | 0 | 2.058835e+03 | -- | Inf | unknown
230.37/231.20 c 231s| 1 | 0 |250318 | - | 972M | 0 |4500 | 72k| 75k|6406 |377 | 837 | 0 | 2.058937e+03 | -- | Inf | unknown
252.31/253.28 c 253s| 1 | 2 |262594 | - | 972M | 0 |4500 | 72k| 75k|6406 |377 | 858 | 21 | 2.059099e+03 | -- | Inf | unknown
1150.96/1154.33 c 1154s| 100 | 91 | 1063k|8216.8 | 1129M | 18 |4500 | 73k| 74k|7888 | 1 |1450 | 564 | 2.060630e+03 | -- | Inf | unknown
1288.50/1292.39 c 1292s| 200 | 129 | 1239k|4969.8 | 1136M | 37 |4500 | 73k| 0 |8182 | 0 |1755 | 601 | 2.060738e+03 | -- | Inf | unknown
1362.74/1366.82 c 1367s| 300 | 139 | 1317k|3570.2 | 1143M | 39 |4500 | 73k| 74k|8461 | 1 |1853 | 632 | 2.061232e+03 | -- | Inf | 3.32%
1394.83/1399.10 c 1399s| 400 | 135 | 1347k|2750.8 | 1146M | 40 |4500 | 73k| 0 |8551 | 0 |1853 | 650 | 2.061232e+03 | -- | Inf | 3.32%
1499.66/1504.22 c 1504s| 500 | 163 | 1455k|2414.4 | 1192M | 40 |4500 | 73k| 74k|9222 | 1 |1938 | 703 | 2.061413e+03 | -- | Inf | 3.42%
1543.21/1547.91 c 1548s| 600 | 171 | 1496k|2079.9 | 1197M | 40 |4500 | 73k| 0 |9222 | 0 |1971 | 728 | 2.062837e+03 | -- | Inf | 5.37%
1600.62/1605.59 c 1606s| 700 | 189 | 1553k|1864.2 | 1200M | 40 |4500 | 73k| 74k|9576 | 2 |2140 | 759 | 2.062870e+03 | -- | Inf | 5.47%
1728.89/1734.25 c 1734s| 800 | 221 | 1692k|1805.2 | 1208M | 40 |4500 | 73k| 74k|9940 | 1 |2265 | 828 | 2.063049e+03 | -- | Inf | 5.57%
1831.04/1836.77 c 1837s| 900 | 253 | 1797k|1721.3 | 1216M | 40 |4500 | 73k| 0 | 10k| 0 |2359 | 883 | 2.063188e+03 | -- | Inf | 5.69%
1887.57/1893.43 c 1893s| 1000 | 261 | 1858k|1610.1 | 1220M | 40 |4500 | 73k| 74k| 11k| 1 |2518 | 912 | 2.063251e+03 | -- | Inf | 5.69%
2008.58/2014.85 c 2015s| 1100 | 297 | 1978k|1572.6 | 1269M | 40 |4500 | 73k| 74k| 11k| 1 |2683 | 982 | 2.063251e+03 | -- | Inf | 6.28%
2175.36/2182.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2175.36/2182.18 c 2182s| 1200 | 365 | 2139k|1575.5 | 1391M | 44 |4500 | 73k| 74k| 13k| 1 |2898 |1065 | 2.063350e+03 | -- | Inf | 6.28%
2192.91/2199.70 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
2192.91/2199.71 c (run 1, node 1213) performing user restart
2192.91/2199.71 c
2192.91/2199.73 c (restart) converted 2008 cuts from the global cut pool into linear constraints
2192.91/2199.73 c
2193.01/2199.81 c presolving:
2193.11/2199.96 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1979 upgd conss, 0 impls, 131940 clqs
2193.31/2200.16 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
2193.31/2200.16 c 0 deleted vars, 3 deleted constraints, 6 added constraints, 0 tightened bounds, 0 added holes, 6 changed sides, 59 changed coefficients
2193.31/2200.16 c 0 implications, 131944 cliques
2193.31/2200.16 c presolved problem has 4500 variables (4500 bin, 0 int, 0 impl, 0 cont) and 75222 constraints
2193.31/2200.16 c 27 constraints of type <knapsack>
2193.31/2200.16 c 74464 constraints of type <setppc>
2193.31/2200.16 c 31 constraints of type <linear>
2193.31/2200.16 c 700 constraints of type <logicor>
2193.31/2200.16 c transformed objective value is always integral (scale: 1)
2193.31/2200.16 c Presolving Time: 10.61
2193.31/2200.16 c
2200.58/2207.46 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2200.58/2207.47 c 2207s| 1 | 0 | 2170k| - | 1392M | 0 |4500 | 75k| 74k| 0 | 0 |2961 |1079 | 2.063350e+03 | -- | Inf | unknown
2202.07/2208.94 c 2209s| 1 | 0 | 2171k| - | 1403M | 0 |4500 | 75k| 74k| 12 | 1 |2962 |1079 | 2.063350e+03 | -- | Inf | unknown
2203.27/2210.19 c 2210s| 1 | 0 | 2172k| - | 1405M | 0 |4500 | 75k| 74k| 30 | 2 |2965 |1079 | 2.063350e+03 | -- | Inf | unknown
2204.46/2211.38 c 2211s| 1 | 0 | 2174k| - | 1415M | 0 |4500 | 75k| 74k| 48 | 3 |2966 |1079 | 2.063350e+03 | -- | Inf | unknown
2205.86/2212.78 c 2213s| 1 | 0 | 2175k| - | 1422M | 0 |4500 | 75k| 74k| 67 | 4 |2968 |1079 | 2.063350e+03 | -- | Inf | unknown
2207.05/2213.94 c 2214s| 1 | 0 | 2176k| - | 1430M | 0 |4500 | 75k| 74k| 85 | 5 |2969 |1079 | 2.063350e+03 | -- | Inf | unknown
2208.15/2215.06 c 2215s| 1 | 0 | 2177k| - | 1437M | 0 |4500 | 75k| 74k| 105 | 6 |2970 |1079 | 2.063350e+03 | -- | Inf | unknown
2209.34/2216.27 c 2216s| 1 | 0 | 2178k| - | 1445M | 0 |4500 | 75k| 74k| 127 | 7 |2971 |1079 | 2.063350e+03 | -- | Inf | unknown
2210.75/2217.63 c 2218s| 1 | 0 | 2179k| - | 1455M | 0 |4500 | 75k| 74k| 147 | 8 |2972 |1079 | 2.063350e+03 | -- | Inf | unknown
2211.94/2218.81 c 2219s| 1 | 0 | 2181k| - | 1465M | 0 |4500 | 75k| 74k| 165 | 9 |2973 |1079 | 2.063350e+03 | -- | Inf | unknown
2213.24/2220.19 c 2220s| 1 | 0 | 2182k| - | 1474M | 0 |4500 | 75k| 74k| 184 | 10 |2975 |1079 | 2.063350e+03 | -- | Inf | unknown
2214.24/2221.18 c 2221s| 1 | 0 | 2183k| - | 1483M | 0 |4500 | 75k| 74k| 201 | 11 |2976 |1079 | 2.063350e+03 | -- | Inf | unknown
2215.33/2222.28 c 2222s| 1 | 0 | 2184k| - | 1491M | 0 |4500 | 75k| 74k| 219 | 12 |2977 |1079 | 2.063350e+03 | -- | Inf | unknown
2226.79/2233.73 c 2234s| 1 | 2 | 2195k| - | 1491M | 0 |4500 | 75k| 74k| 219 | 12 |3044 |1086 | 2.063350e+03 | -- | Inf | unknown
2383.19/2390.67 c 2391s| 100 | 101 | 2373k|1597.1 | 1635M | 44 |4500 | 75k| 74k| 881 | 1 |3453 |1186 | 2.063350e+03 | -- | Inf | unknown
2498.93/2506.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2498.93/2506.75 c 2507s| 200 | 201 | 2527k|1592.8 | 1721M | 57 |4500 | 75k| 74k|1708 | 1 |3967 |1262 | 2.063350e+03 | -- | Inf | unknown
2558.27/2566.20 c 2566s| 300 | 299 | 2597k|1533.9 | 1726M | 77 |4500 | 75k| 74k|1843 | 1 |4210 |1313 | 2.063350e+03 | -- | Inf | unknown
2580.21/2588.28 c 2588s| 400 | 331 | 2627k|1457.2 | 1729M | 84 |4500 | 75k| 0 |1848 | 0 |4627 |1365 | 2.063350e+03 | -- | Inf | unknown
2625.60/2633.74 c 2634s| 500 | 365 | 2685k|1406.3 | 1737M | 85 |4500 | 76k| 74k|1960 | 1 |5092 |1414 | 2.063350e+03 | -- | Inf | unknown
2641.96/2650.18 c 2650s| 600 | 394 | 2709k|1342.0 | 1739M | 87 |4500 | 76k| 74k|1977 | 2 |5454 |1430 | 2.063350e+03 | -- | Inf | unknown
2660.61/2668.84 c 2669s| 700 | 416 | 2736k|1285.6 | 1740M | 87 |4500 | 76k| 74k|1992 | 2 |5948 |1467 | 2.063350e+03 | -- | Inf | unknown
2715.37/2723.76 c 2724s| 800 | 482 | 2796k|1251.9 | 1779M | 87 |4500 | 75k| 74k|2222 | 1 |6380 |1534 | 2.063350e+03 | -- | Inf | unknown
2772.03/2780.52 c 2781s| 900 | 543 | 2865k|1225.1 | 1786M | 87 |4500 | 75k| 74k|2408 | 1 |6871 |1591 | 2.063350e+03 | -- | Inf | unknown
2829.89/2838.52 c 2839s| 1000 | 628 | 2936k|1201.8 | 1792M | 87 |4500 | 75k| 74k|2535 | 2 |7428 |1647 | 2.063350e+03 | -- | Inf | unknown
2887.95/2896.75 c 2897s| 1100 | 704 | 3011k|1182.1 | 1795M | 87 |4500 | 75k| 74k|2639 | 1 |7900 |1710 | 2.063350e+03 | -- | Inf | unknown
2960.96/2969.90 c 2970s| 1200 | 778 | 3103k|1171.4 | 1836M | 87 |4500 | 75k| 74k|3073 | 3 |8539 |1780 | 2.063350e+03 | -- | Inf | unknown
3007.64/3016.70 c 3017s| 1300 | 829 | 3169k|1151.2 | 1840M | 87 |4500 | 76k| 74k|3172 | 1 |9158 |1866 | 2.063350e+03 | -- | Inf | unknown
3067.70/3076.94 c 3077s| 1400 | 905 | 3250k|1138.1 | 1844M | 87 |4500 | 75k| 74k|3411 | 2 |9431 |1928 | 2.063350e+03 | -- | Inf | unknown
3141.81/3151.20 c 3151s| 1500 | 974 | 3345k|1131.1 | 1854M | 87 |4500 | 75k| 74k|3705 | 1 |9848 |2015 | 2.063350e+03 | -- | Inf | unknown
3225.70/3235.33 c 3235s| 1600 | 1053 | 3451k|1128.6 | 1896M | 88 |4500 | 75k| 74k|4199 | 1 | 10k|2098 | 2.063350e+03 | -- | Inf | unknown
3312.78/3322.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3312.78/3322.65 c 3323s| 1700 | 1112 | 3559k|1126.8 | 1928M | 88 |4500 | 75k| 74k|4841 | 1 | 10k|2187 | 2.063350e+03 | -- | Inf | unknown
3399.07/3409.12 c 3409s| 1800 | 1184 | 3671k|1126.7 | 1943M | 88 |4500 | 75k| 74k|5307 | 0 | 10k|2264 | 2.063350e+03 | -- | Inf | unknown
3502.11/3512.44 c 3512s| 1900 | 1268 | 3801k|1132.3 | 1951M | 89 |4500 | 75k| 74k|6012 | 1 | 10k|2372 | 2.063350e+03 | -- | Inf | unknown
3586.51/3597.01 c
3586.51/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3586.51/3597.01 c Solving Time (sec) : 3597.00
3586.51/3597.01 c Solving Nodes : 1989 (total of 3202 nodes in 2 runs)
3586.51/3597.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3586.51/3597.01 c Dual Bound : +2.06334987593523e+03
3586.51/3597.01 c Gap : infinite
3586.51/3597.01 s UNKNOWN
3586.51/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3586.51/3597.01 c Total Time : 3597.00
3586.51/3597.01 c solving : 3597.00
3586.51/3597.01 c presolving : 10.61 (included in solving)
3586.51/3597.01 c reading : 0.11 (included in solving)
3586.51/3597.01 c copying : 0.34 (4 #copies) (minimal 0.08, maximal 0.09, average 0.08)
3586.51/3597.01 c Original Problem :
3586.51/3597.01 c Problem name : HOME/instance-4486894-1751320923.opb
3586.51/3597.01 c Variables : 4500 (4500 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.51/3597.01 c Constraints : 72413 initial, 72413 maximal
3586.51/3597.01 c Objective : minimize, 4500 non-zeros (abs.min = 1, abs.max = 1)
3586.51/3597.01 c Presolved Problem :
3586.51/3597.01 c Problem name : t_HOME/instance-4486894-1751320923.opb
3586.51/3597.01 c Variables : 4500 (4500 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.51/3597.01 c Constraints : 75222 initial, 76123 maximal
3586.51/3597.01 c Objective : minimize, 4500 non-zeros (abs.min = 1, abs.max = 1)
3586.51/3597.01 c Nonzeros : 193106 constraint, 273599 clique table
3586.51/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.51/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c domcol : 0.05 0.00 2 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c dualsparsify : 0.95 0.00 1 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c gateextraction : 0.17 0.00 4 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c implics : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c milp : 0.19 0.00 1 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c sparsify : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c trivial : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c dualfix : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c probing : 8.47 0.00 1 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c symmetry : 0.09 0.00 1 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c vbounds : 0.02 0.00 2 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c knapsack : 0.02 0.00 6 0 0 0 0 0 3 6 6 51
3586.51/3597.01 c setppc : 0.26 0.01 12 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c linear : 0.20 0.02 8 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c logicor : 0.05 0.00 10 0 0 0 0 0 0 0 0 8
3586.51/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c components : 0.03 0.00 2 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c root node : - - - 0 - - 0 - - - - -
3586.51/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.51/3597.01 c benderslp : 0 0 0 0 2593 0 0 451 0 0 0 0 0 0 0
3586.51/3597.01 c integral : 0 0 0 0 2593 0 0 451 0 0 1893 0 0 1003 5008
3586.51/3597.01 c knapsack : 27+ 46 12 167407 0 0 0 0 189 9 289 0 0 0 0
3586.51/3597.01 c setppc : 74464+ 74475 389 245253 0 0 0 446 393809 1231 329361 0 0 0 0
3586.51/3597.01 c linear : 31+ 35 12 107741 0 0 0 3 6 1 25 0 0 0 0
3586.51/3597.01 c logicor : 700+ 1573 389 61980 0 0 0 0 12397 373 7312 2 1 0 0
3586.51/3597.01 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.51/3597.01 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.51/3597.01 c integral : 910.79 0.00 0.00 0.00 910.79 0.00 0.00 0.00 0.00 0.00
3586.51/3597.01 c knapsack : 0.22 0.00 0.01 0.15 0.00 0.00 0.00 0.00 0.00 0.06
3586.51/3597.01 c setppc : 15.57 0.01 0.89 13.07 0.00 0.00 0.00 0.11 0.11 1.38
3586.51/3597.01 c linear : 0.10 0.02 0.03 0.04 0.00 0.00 0.00 0.01 0.00 0.01
3586.51/3597.01 c logicor : 0.64 0.00 0.04 0.48 0.00 0.00 0.00 0.00 0.04 0.07
3586.51/3597.01 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.51/3597.01 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.51/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.51/3597.01 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3586.51/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.51/3597.01 c dualfix : 2 0 0 0
3586.51/3597.01 c genvbounds : 0 0 0 0
3586.51/3597.01 c nlobbt : 0 0 0 0
3586.51/3597.01 c obbt : 0 0 0 0
3586.51/3597.01 c probing : 0 0 0 0
3586.51/3597.01 c pseudoobj : 17522 0 0 0
3586.51/3597.01 c redcost : 393 0 0 0
3586.51/3597.01 c rootredcost : 2 0 0 0
3586.51/3597.01 c symmetry : 3180 0 403 2089
3586.51/3597.01 c vbounds : 153019 0 0 0
3586.51/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.51/3597.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3586.51/3597.01 c genvbounds : 0.02 0.00 0.00 0.02 0.00 0.00
3586.51/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.51/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.51/3597.01 c probing : 8.47 0.00 8.47 0.00 0.00 0.00
3586.51/3597.01 c pseudoobj : 0.12 0.00 0.00 0.11 0.00 0.00
3586.51/3597.01 c redcost : 0.08 0.00 0.00 0.08 0.00 0.00
3586.51/3597.01 c rootredcost : 0.02 0.00 0.00 0.02 0.00 0.00
3586.51/3597.01 c symmetry : 0.18 0.00 0.09 0.09 0.00 0.00
3586.51/3597.01 c vbounds : 0.76 0.00 0.02 0.71 0.00 0.03
3586.51/3597.01 c Symmetry :
3586.51/3597.01 c orbitopal red. : 2089 reductions applied, 403 cutoffs
3586.51/3597.01 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.51/3597.01 c lexicographic red: 0 reductions applied, 0 cutoffs
3586.51/3597.01 c shadow tree time : 0.00 s
3586.51/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.51/3597.01 c propagation : 0.41 1611 1609 - 29213 107.1 60 52.6 - - -
3586.51/3597.01 c infeasible LP : 0.26 93 93 - 3115 269.9 2 53.0 78 258.8 0
3586.51/3597.01 c bound exceed. LP : 0.02 1 1 - 57 839.2 0 0.0 0 0.0 4
3586.51/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.51/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.51/3597.01 c applied globally : 0.46 - - 0 11013 68.8 - - 78 - -
3586.51/3597.01 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.51/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.51/3597.01 c cut pool : 0.73 - 1608 776 - - 14385 126547 - - - - - (maximal pool size: 4787)
3586.51/3597.01 c aggregation : 6.50 0.00 504 389 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c > cmir : - - - - - - - 0 0 0 0 0 -
3586.51/3597.01 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.51/3597.01 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3586.51/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c clique : 34.41 0.00 389 389 0 0 3792 23019 0 9138 9138 0 0
3586.51/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c gomory : 29.30 0.00 117 20 0 0 8731 93493 0 4712 4712 0 0
3586.51/3597.01 c > gomorymi : - - - - - - - 58628 0 2350 2350 0 -
3586.51/3597.01 c > strongcg : - - - - - - - 34865 0 2362 2362 0 -
3586.51/3597.01 c impliedbounds : 1.77 0.00 504 389 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c mcf : 0.05 0.00 2 2 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c multilinear : 0.00 0.00 489 389 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c rlt : 0.00 0.00 44 20 0 0 0 0 0 0 0 0 0
3586.51/3597.01 c zerohalf : 8.59 0.00 129 32 0 0 1862 10035 0 5981 5981 0 0
3586.51/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.51/3597.01 c hybrid : 0.23 0.00 1079 389 19832 0 106717 6625 0 15955
3586.51/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.51/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.51/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3586.51/3597.01 c problem variables: 0.00 - 0 0
3586.51/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.51/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.51/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.51/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.51/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.51/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.51/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.51/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.51/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.51/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.51/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.51/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.51/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.51/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.51/3597.01 c relpscost : 910.79 0.00 2593 0 0 0 1893 0 1300 5008
3586.51/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.51/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.51/3597.01 c LP solutions : 0.00 - - 0 0
3586.51/3597.01 c relax solutions : 0.00 - - 0 0
3586.51/3597.01 c pseudo solutions : 0.00 - - 0 0
3586.51/3597.01 c strong branching : 0.01 - - 0 0
3586.51/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3586.51/3597.01 c adaptivediving : 30.97 0.00 5 0 0
3586.51/3597.01 c alns : 3.30 0.00 4 0 0
3586.51/3597.01 c bound : 0.00 0.00 0 0 0
3586.51/3597.01 c clique : 0.16 0.00 1 0 0
3586.51/3597.01 c coefdiving : 0.00 0.00 0 0 0
3586.51/3597.01 c completesol : 0.00 0.00 0 0 0
3586.51/3597.01 c conflictdiving : 118.43 0.00 67 0 0
3586.51/3597.01 c crossover : 0.00 0.00 0 0 0
3586.51/3597.01 c dins : 0.00 0.00 0 0 0
3586.51/3597.01 c distributiondivin: 120.41 0.00 19 0 0
3586.51/3597.01 c dps : 0.00 0.00 0 0 0
3586.51/3597.01 c dualval : 0.00 0.00 0 0 0
3586.51/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3586.51/3597.01 c feasjump : 0.12 0.00 2 0 0
3586.51/3597.01 c feaspump : 60.36 0.00 5 0 0
3586.51/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3586.51/3597.01 c fracdiving : 92.99 0.00 38 0 0
3586.51/3597.01 c gins : 0.00 0.00 0 0 0
3586.51/3597.01 c guideddiving : 0.00 0.00 0 0 0
3586.51/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3586.51/3597.01 c indicator : 0.00 0.00 0 0 0
3586.51/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3586.51/3597.01 c indoneopt : 0.00 0.00 0 0 0
3586.51/3597.01 c indrounding : 0.00 0.00 0 0 0
3586.51/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3586.51/3597.01 c intdiving : 0.00 0.00 0 0 0
3586.51/3597.01 c intshifting : 0.00 0.00 0 0 0
3586.51/3597.01 c linesearchdiving : 96.63 0.00 35 0 0
3586.51/3597.01 c localbranching : 0.00 0.00 0 0 0
3586.51/3597.01 c locks : 0.07 0.00 1 0 0
3586.51/3597.01 c lpface : 0.00 0.00 0 0 0
3586.51/3597.01 c mpec : 0.00 0.00 0 0 0
3586.51/3597.01 c multistart : 0.00 0.00 0 0 0
3586.51/3597.01 c mutation : 0.00 0.00 0 0 0
3586.51/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3586.51/3597.01 c objpscostdiving : 376.45 0.00 1 0 0
3586.51/3597.01 c octane : 0.00 0.00 0 0 0
3586.51/3597.01 c ofins : 0.00 0.00 0 0 0
3586.51/3597.01 c oneopt : 0.00 0.00 0 0 0
3586.51/3597.01 c padm : 0.00 0.00 0 0 0
3586.51/3597.01 c proximity : 0.00 0.00 0 0 0
3586.51/3597.01 c pscostdiving : 121.84 0.00 20 0 0
3586.51/3597.01 c randrounding : 19.08 0.00 828 0 0
3586.51/3597.01 c rens : 0.00 0.00 0 0 0
3586.51/3597.01 c reoptsols : 0.00 0.00 0 0 0
3586.51/3597.01 c repair : 0.00 0.00 0 0 0
3586.51/3597.01 c rins : 0.00 0.00 0 0 0
3586.51/3597.01 c rootsoldiving : 42.10 0.00 6 0 0
3586.51/3597.01 c rounding : 3.43 0.00 783 0 0
3586.51/3597.01 c scheduler : 0.00 0.00 0 0 0
3586.51/3597.01 c shiftandpropagate: 0.24 0.00 2 0 0
3586.51/3597.01 c shifting : 9.27 0.00 417 0 0
3586.51/3597.01 c simplerounding : 0.00 0.00 0 0 0
3586.51/3597.01 c smallcard : 0.00 0.00 0 0 0
3586.51/3597.01 c subnlp : 0.00 0.00 0 0 0
3586.51/3597.01 c trivial : 0.04 0.00 4 0 0
3586.51/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3586.51/3597.01 c trustregion : 0.00 0.00 0 0 0
3586.51/3597.01 c trysol : 0.00 0.00 0 0 0
3586.51/3597.01 c twoopt : 0.00 0.00 0 0 0
3586.51/3597.01 c undercover : 0.00 0.00 0 0 0
3586.51/3597.01 c vbounds : 0.13 0.00 2 0 0
3586.51/3597.01 c veclendiving : 69.64 0.00 45 0 0
3586.51/3597.01 c zeroobj : 0.00 0.00 0 0 0
3586.51/3597.01 c zirounding : 6.47 0.00 1000 0 0
3586.51/3597.01 c other solutions : - - - 0 -
3586.51/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.51/3597.01 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.51/3597.01 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.51/3597.01 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.51/3597.01 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.51/3597.01 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.51/3597.01 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.51/3597.01 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.51/3597.01 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.51/3597.01 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.51/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.51/3597.01 c primal LP : 4.33 552 0 0.00 0.00 4.33 552
3586.51/3597.01 c dual LP : 1379.24 3721 2303043 619.10 1669.79 0.00 1
3586.51/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3586.51/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.51/3597.01 c resolve instable : 0.00 0 0 0.00 -
3586.51/3597.01 c diving/probing LP: 1154.07 2973 1591959 535.47 1379.43
3586.51/3597.01 c strong branching : 832.33 2453 1281739 522.52 1539.94 - - 1441
3586.51/3597.01 c (at root node) : - 28 19806 707.36 -
3586.51/3597.01 c conflict analysis: 0.01 1 4 4.00 -
3586.51/3597.01 c B&B Tree :
3586.51/3597.01 c number of runs : 2
3586.51/3597.01 c nodes : 1989 (1711 internal, 278 leaves)
3586.51/3597.01 c feasible leaves : 0
3586.51/3597.01 c infeas. leaves : 278
3586.51/3597.01 c objective leaves : 0
3586.51/3597.01 c nodes (total) : 3202 (2504 internal, 698 leaves)
3586.51/3597.01 c nodes left : 1338
3586.51/3597.01 c max depth : 89
3586.51/3597.01 c max depth (total): 89
3586.51/3597.01 c backtracks : 284 (14.3%)
3586.51/3597.01 c early backtracks : 0 (0.0%)
3586.51/3597.01 c nodes exc. ref. : 0 (0.0%)
3586.51/3597.01 c delayed cutoffs : 96
3586.51/3597.01 c repropagations : 560 (26709 domain reductions, 86 cutoffs)
3586.51/3597.01 c avg switch length: 5.41
3586.51/3597.01 c switching time : 8.26
3586.51/3597.01 c Root Node :
3586.51/3597.01 c First LP value : +1.25000000000000e+03
3586.51/3597.01 c First LP Iters : 2574 (9347.19 Iter/sec)
3586.51/3597.01 c First LP Time : 0.28
3586.51/3597.01 c Final Dual Bound : +2.06334987593523e+03
3586.51/3597.01 c Final Root Iters : 278036
3586.51/3597.01 c Root LP Estimate : +2.19646883959196e+03
3586.51/3597.01 c Solution :
3586.51/3597.01 c Solutions found : 0 (0 improvements)
3586.51/3597.01 c Primal Bound : -
3586.51/3597.01 c Dual Bound : +2.06334987593523e+03
3586.51/3597.01 c Gap : infinite
3586.51/3597.01 c Integrals : Total Avg%
3586.51/3597.01 c primal-dual : 359700.40 100.00
3586.51/3597.01 c primal-ref : - - (not evaluated)
3586.51/3597.01 c dual-ref : - - (not evaluated)
3586.70/3597.20 c Time complete: 3586.72.
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 (62360 MiB free)
memory of node 1: 64507 MiB (63937 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486894-1751320923/watcher-4486894-1751320923 -o /tmp/evaluation-result-4486894-1751320923/solver-4486894-1751320923 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751313715-43764 --watchdog 3760 pbscip -f HOME/instance-4486894-1751320923.opb -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=44973, runsolver pid=44969
[startup+0.100062 s]*
/proc/loadavg: 4.31 4.18 4.23 4/263 44978
/proc/meminfo: memFree=129322148/131249996 swapFree=33010416/33010684
[pid=44973] ppid=44969 vsize=80244 memory=51840 CPUtime=0.09 cores=4,6
/proc/44973/stat : 44973 (pbscip) R 44969 44973 43753 0 -1 4194304 10065 0 0 0 8 1 0 0 20 0 1 0 47770086 82169856 12960 18446744073709551615 4235264 18693293 140726471121200 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 28553216 140726471129481 140726471129580 140726471129580 140726471135182 0
/proc/44973/statm: 20061 12960 3232 3530 0 11512 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 80244 KiB
Current children cumulated memory: 51840 KiB
[startup+0.205572 s]*
/proc/loadavg: 4.31 4.18 4.23 6/264 44986
/proc/meminfo: memFree=129265140/131249996 swapFree=33010416/33010684
[pid=44973] ppid=44969 vsize=140264 memory=112516 CPUtime=0.19 cores=4,6
/proc/44973/stat : 44973 (pbscip) R 44969 44973 43753 0 -1 4194304 25311 0 0 0 16 3 0 0 20 0 1 0 47770086 143630336 28129 18446744073709551615 4235264 18693293 140726471121200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 28553216 140726471129481 140726471129580 140726471129580 140726471135182 0
/proc/44973/statm: 35066 28129 3520 3530 0 26517 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 140264 KiB
Current children cumulated memory: 112516 KiB
[startup+0.305662 s]*
/proc/loadavg: 4.31 4.18 4.23 4/261 44986
/proc/meminfo: memFree=129249124/131249996 swapFree=33010416/33010684
[pid=44973] ppid=44969 vsize=162120 memory=126724 CPUtime=0.3 cores=4,6
/proc/44973/stat : 44973 (pbscip) R 44969 44973 43753 0 -1 4194304 28805 0 0 0 26 4 0 0 20 0 1 0 47770086 166010880 31681 18446744073709551615 4235264 18693293 140726471121200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 28553216 140726471129481 140726471129580 140726471129580 140726471135182 0
/proc/44973/statm: 40530 31681 3584 3530 0 31981 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 162120 KiB
Current children cumulated memory: 126724 KiB
[startup+0.700167 s]
/proc/loadavg: 4.31 4.18 4.23 4/261 44986
/proc/meminfo: memFree=129200612/131249996 swapFree=33010416/33010684
[pid=44973] ppid=44969 vsize=170132 memory=140664 CPUtime=0.68 cores=4,6
/proc/44973/stat : 44973 (pbscip) R 44969 44973 43753 0 -1 4194304 45059 0 0 0 61 7 0 0 20 0 1 0 47770086 174215168 35166 18446744073709551615 4235264 18693293 140726471121200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 28553216 140726471129481 140726471129580 140726471129580 140726471135182 0
/proc/44973/statm: 42533 35166 3712 3530 0 33984 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 170132 KiB
Current children cumulated memory: 140664 KiB
[startup+1.50017 s]
/proc/loadavg: 4.31 4.18 4.23 5/261 45008
/proc/meminfo: memFree=129198004/131249996 swapFree=33010416/33010684
[pid=44973] ppid=44969 vsize=180852 memory=153208 CPUtime=1.48 cores=4,6
/proc/44973/stat : 44973 (pbscip) R 44969 44973 43753 0 -1 4194304 48170 0 0 0 140 8 0 0 20 0 1 0 47770086 185192448 38302 18446744073709551615 4235264 18693293 140726471121200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 28553216 140726471129481 140726471129580 140726471129580 140726471135182 0
/proc/44973/statm: 45213 38302 3744 3530 0 36664 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 180852 KiB
Current children cumulated memory: 153208 KiB
[startup+3.10553 s]
/proc/loadavg: 4.31 4.18 4.23 5/265 45023
/proc/meminfo: memFree=129056248/131249996 swapFree=33010416/33010684
[pid=44973] ppid=44969 vsize=182612 memory=155000 CPUtime=3.07 cores=4,6
/proc/44973/stat : 44973 (pbscip) R 44969 44973 43753 0 -1 4194304 48610 0 0 0 299 8 0 0 20 0 1 0 47770086 186994688 38750 18446744073709551615 4235264 18693293 140726471121200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 28553216 140726471129481 140726471129580 140726471129580 140726471135182 0
/proc/44973/statm: 45653 38750 3744 3530 0 37104 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 182612 KiB
Current children cumulated memory: 155000 KiB
[startup+6.30017 s]
/proc/loadavg: 4.29 4.18 4.23 5/260 45171
/proc/meminfo: memFree=129180680/131249996 swapFree=33010416/33010684
[pid=44973] ppid=44969 vsize=183492 memory=155768 CPUtime=6.23 cores=4,6
/proc/44973/stat : 44973 (pbscip) R 44969 44973 43753 0 -1 4194304 48813 0 0 0 613 10 0 0 20 0 1 0 47770086 187895808 38942 18446744073709551615 4235264 18693293 140726471121200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 28553216 140726471129481 140726471129580 140726471129580 140726471135182 0
/proc/44973/statm: 45873 38942 3744 3530 0 37324 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 183492 KiB
Current children cumulated memory: 155768 KiB
[startup+12.7002 s]
/proc/loadavg: 4.26 4.17 4.23 4/261 45542
/proc/meminfo: memFree=128793240/131249996 swapFree=33010416/33010684
[pid=44973] ppid=44969 vsize=699556 memory=606720 CPUtime=12.54 cores=4,6
/proc/44973/stat : 44973 (pbscip) R 44969 44973 43753 0 -1 4194304 86262 0 0 0 1225 29 0 0 20 0 1 0 47770086 716345344 151680 18446744073709551615 4235264 18693293 140726471121200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 28553216 140726471129481 140726471129580 140726471129580 140726471135182 0
/proc/44973/statm: 174889 151680 3936 3530 0 166340 0
Current children cumulated CPU time: 12.54 s
Current children cumulated vsize: 699556 KiB
Current children cumulated memory: 606720 KiB
[startup+25.5002 s]
/proc/loadavg: 4.27 4.18 4.23 5/265 46059
/proc/meminfo: memFree=128537492/131249996 swapFree=33010416/33010684
[pid=44973] ppid=44969 vsize=807836 memory=657204 CPUtime=25.26 cores=4,6
/proc/44973/stat : 44973 (pbscip) R 44969 44973 43753 0 -1 4194304 96344 0 0 0 2491 35 0 0 20 0 1 0 47770086 827224064 164301 18446744073709551615 4235264 18693293 140726471121200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 28553216 140726471129481 140726471129580 140726471129580 140726471135182 0
/proc/44973/statm: 201959 164301 3936 3530 0 193410 0
Current children cumulated CPU time: 25.26 s
Current children cumulated vsize: 807836 KiB
Current children cumulated memory: 657204 KiB
[startup+51.1055 s]
/proc/loadavg: 4.18 4.16 4.23 5/265 46059
/proc/meminfo: memFree=128437136/131249996 swapFree=33010416/33010684
[pid=44973] ppid=44969 vsize=914156 memory=688668 CPUtime=50.8 cores=4,6
/proc/44973/stat : 44973 (pbscip) R 44969 44973 43753 0 -1 4194304 103675 0 0 0 5043 37 0 0 20 0 1 0 47770086 936095744 172167 18446744073709551615 4235264 18693293 140726471121200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 28553216 140726471129481 140726471129580 140726471129580 140726471135182 0
/proc/44973/statm: 228539 172167 3936 3530 0 219990 0
Current children cumulated CPU time: 50.8 s
Current children cumulated vsize: 914156 KiB
Current children cumulated memory: 688668 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.15 4.22 5/266 46556
/proc/meminfo: memFree=128337028/131249996 swapFree=33010416/33010684
[pid=44973] ppid=44969 vsize=970080 memory=744604 CPUtime=101.83 cores=4,6
/proc/44973/stat : 44973 (pbscip) R 44969 44973 43753 0 -1 4194304 117654 0 0 0 10141 42 0 0 20 0 1 0 47770086 993361920 186151 18446744073709551615 4235264 18693293 140726471121200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 28553216 140726471129481 140726471129580 140726471129580 140726471135182 0
/proc/44973/statm: 242520 186151 3936 3530 0 233971 0
Current children cumulated CPU time: 101.83 s
Current children cumulated vsize: 970080 KiB
Current children cumulated memory: 744604 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.15 4.21 5/266 46558
/proc/meminfo: memFree=128226384/131249996 swapFree=33010416/33010684
[pid=44973] ppid=44969 vsize=1025220 memory=800924 CPUtime=161.67 cores=4,6
/proc/44973/stat : 44973 (pbscip) R 44969 44973 43753 0 -1 4194304 131734 0 0 0 16121 46 0 0 20 0 1 0 47770086 1049825280 200231 18446744073709551615 4235264 18693293 140726471121200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 28553216 140726471129481 140726471129580 140726471129580 140726471135182 0
/proc/44973/statm: 256305 200231 3936 3530 0 247756 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 1025220 KiB
Current children cumulated memory: 800924 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.14 4.20 5/264 46560
/proc/meminfo: memFree=128142204/131249996 swapFree=33010416/33010684
[pid=44973] ppid=44969 vsize=1077936 memory=853020 CPUtime=221.5 cores=4,6
/proc/44973/stat : 44973 (pbscip) R 44969 44973 43753 0 -1 4194304 144782 0 0 0 22101 49 0 0 20 0 1 0 47770086 1103806464 213255 18446744073709551615 4235264 18693293 140726471121200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 28553216 140726471129481 140726471129580 140726471129580 140726471135182 0
/proc/44973/statm: 269484 213255 3936 3530 0 260935 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 1077936 KiB
Current children cumulated memory: 853020 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.14 4.19 5/265 46563
/proc/meminfo: memFree=128082664/131249996 swapFree=33010416/33010684
[pid=44973] ppid=44969 vsize=1091256 memory=866024 CPUtime=281.32 cores=4,6
/proc/44973/stat : 44973 (pbscip) R 44969 44973 43753 0 -1 4194304 164710 0 0 0 28080 52 0 0 20 0 1 0 47770086 1117446144 216506 18446744073709551615 4235264 18693293 140726471121200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 28553216 140726471129481 140726471129580 140726471129580 140726471135182 0
/proc/44973/statm: 272814 216506 3968 3530 0 264265 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 1091256 KiB
Current children cumulated memory: 866024 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.13 4.18 5/265 46568
/proc/meminfo: memFree=128046968/131249996 swapFree=33010416/33010684
[pid=44973] ppid=44969 vsize=1091256 memory=866024 CPUtime=341.15 cores=4,6
/proc/44973/stat : 44973 (pbscip) R 44969 44973 43753 0 -1 4194304 164712 0 0 0 34062 53 0 0 20 0 1 0 47770086 1117446144 216506 18446744073709551615 4235264 18693293 140726471121200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 28553216 140726471129481 140726471129580 140726471129580 140726471135182 0
/proc/44973/statm: 272814 216506 3968 3530 0 264265 0
Current children cumulated CPU time: 341.15 s
Current children cumulated vsize: 1091256 KiB
Current children cumulated memory: 866024 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.13 4.18 5/264 46570
/proc/meminfo: memFree=127985584/131249996 swapFree=33010416/33010684
[pid=44973] ppid=44969 vsize=1091256 memory=866024 CPUtime=400.98 cores=4,6
/proc/44973/stat : 44973 (pbscip) R 44969 44973 43753 0 -1 4194304 164712 0 0 0 40044 54 0 0 20 0 1 0 47770086 1117446144 216506 18446744073709551615 4235264 18693293 140726471121200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 28553216 140726471129481 140726471129580 140726471129580 140726471135182 0
/proc/44973/statm: 272814 216506 3968 3530 0 264265 0
Current children cumulated CPU time: 400.98 s
Current children cumulated vsize: 1091256 KiB
Current children cumulated memory: 866024 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.12 4.17 5/264 46576
/proc/meminfo: memFree=127924304/131249996 swapFree=33010416/33010684
[pid=44973] ppid=44969 vsize=1098772 memory=871016 CPUtime=460.81 cores=4,6
/proc/44973/stat : 44973 (pbscip) R 44969 44973 43753 0 -1 4194304 165596 0 0 0 46026 55 0 0 20 0 1 0 47770086 1125142528 217754 18446744073709551615 4235264 18693293 140726471121200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 28553216 140726471129481 140726471129580 140726471129580 140726471135182 0
/proc/44973/statm: 274693 217754 3968 3530 0 266144 0
Current children cumulated CPU time: 460.81 s
################
# More data... #
################
/proc/loadavg: 4.07 4.08 4.09 5/264 46745
/proc/meminfo: memFree=127433540/131249996 swapFree=33010416/33010684
[pid=44973] ppid=44969 vsize=1951540 memory=1445828 CPUtime=3152.88 cores=4,6
/proc/44973/stat : 44973 (pbscip) R 44969 44973 43753 0 -1 4194304 274555 0 0 0 315194 94 0 0 20 0 1 0 47770086 1998376960 361457 18446744073709551615 4235264 18693293 140726471121200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 28553216 140726471129481 140726471129580 140726471129580 140726471135182 0
/proc/44973/statm: 487885 361457 3968 3530 0 479336 0
Current children cumulated CPU time: 3152.88 s
Current children cumulated vsize: 1951540 KiB
Current children cumulated memory: 1445828 KiB
[startup+3222.3 s]
/proc/loadavg: 4.42 4.16 4.11 5/263 46747
/proc/meminfo: memFree=127434392/131249996 swapFree=33010416/33010684
[pid=44973] ppid=44969 vsize=1969180 memory=1453760 CPUtime=3212.73 cores=4,6
/proc/44973/stat : 44973 (pbscip) R 44969 44973 43753 0 -1 4194304 276075 0 0 0 321178 95 0 0 20 0 1 0 47770086 2016440320 363440 18446744073709551615 4235264 18693293 140726471121200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 28553216 140726471129481 140726471129580 140726471129580 140726471135182 0
/proc/44973/statm: 492295 363440 3968 3530 0 483746 0
Current children cumulated CPU time: 3212.73 s
Current children cumulated vsize: 1969180 KiB
Current children cumulated memory: 1453760 KiB
[startup+3282.3 s]
/proc/loadavg: 4.19 4.14 4.11 5/263 46750
/proc/meminfo: memFree=127425852/131249996 swapFree=33010416/33010684
[pid=44973] ppid=44969 vsize=2016660 memory=1463472 CPUtime=3272.58 cores=4,6
/proc/44973/stat : 44973 (pbscip) R 44969 44973 43753 0 -1 4194304 277975 0 0 0 327163 95 0 0 20 0 1 0 47770086 2065059840 365868 18446744073709551615 4235264 18693293 140726471121200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 28553216 140726471129481 140726471129580 140726471129580 140726471135182 0
/proc/44973/statm: 504165 365868 3968 3530 0 495616 0
Current children cumulated CPU time: 3272.58 s
Current children cumulated vsize: 2016660 KiB
Current children cumulated memory: 1463472 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/263 46752
/proc/meminfo: memFree=127409848/131249996 swapFree=33010416/33010684
[pid=44973] ppid=44969 vsize=2030244 memory=1476016 CPUtime=3332.44 cores=4,6
/proc/44973/stat : 44973 (pbscip) R 44969 44973 43753 0 -1 4194304 281121 0 0 0 333147 97 0 0 20 0 1 0 47770086 2078969856 369004 18446744073709551615 4235264 18693293 140726471121200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 28553216 140726471129481 140726471129580 140726471129580 140726471135182 0
/proc/44973/statm: 507561 369004 3968 3530 0 499012 0
Current children cumulated CPU time: 3332.44 s
Current children cumulated vsize: 2030244 KiB
Current children cumulated memory: 1476016 KiB
[startup+3402.3 s]
/proc/loadavg: 4.22 4.16 4.11 5/263 46756
/proc/meminfo: memFree=127357144/131249996 swapFree=33010416/33010684
[pid=44973] ppid=44969 vsize=2043828 memory=1488944 CPUtime=3392.28 cores=4,6
/proc/44973/stat : 44973 (pbscip) R 44969 44973 43753 0 -1 4194304 284617 0 0 0 339130 98 0 0 20 0 1 0 47770086 2092879872 372236 18446744073709551615 4235264 18693293 140726471121200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 28553216 140726471129481 140726471129580 140726471129580 140726471135182 0
/proc/44973/statm: 510957 372236 3968 3530 0 502408 0
Current children cumulated CPU time: 3392.28 s
Current children cumulated vsize: 2043828 KiB
Current children cumulated memory: 1488944 KiB
[startup+3462.3 s]
/proc/loadavg: 4.19 4.16 4.11 5/263 46758
/proc/meminfo: memFree=127336104/131249996 swapFree=33010416/33010684
[pid=44973] ppid=44969 vsize=2048068 memory=1492784 CPUtime=3452.14 cores=4,6
/proc/44973/stat : 44973 (pbscip) R 44969 44973 43753 0 -1 4194304 285628 0 0 0 345115 99 0 0 20 0 1 0 47770086 2097221632 373196 18446744073709551615 4235264 18693293 140726471121200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 28553216 140726471129481 140726471129580 140726471129580 140726471135182 0
/proc/44973/statm: 512017 373196 3968 3530 0 503468 0
Current children cumulated CPU time: 3452.14 s
Current children cumulated vsize: 2048068 KiB
Current children cumulated memory: 1492784 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/264 46765
/proc/meminfo: memFree=127334156/131249996 swapFree=33010416/33010684
[pid=44973] ppid=44969 vsize=2081832 memory=1502676 CPUtime=3511.99 cores=4,6
/proc/44973/stat : 44973 (pbscip) R 44969 44973 43753 0 -1 4194304 287617 0 0 0 351100 99 0 0 20 0 1 0 47770086 2131795968 375669 18446744073709551615 4235264 18693293 140726471121200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 28553216 140726471129481 140726471129580 140726471129580 140726471135182 0
/proc/44973/statm: 520458 375669 3968 3530 0 511909 0
Current children cumulated CPU time: 3511.99 s
Current children cumulated vsize: 2081832 KiB
Current children cumulated memory: 1502676 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/263 46782
/proc/meminfo: memFree=127305296/131249996 swapFree=33010416/33010684
[pid=44973] ppid=44969 vsize=2087732 memory=1507924 CPUtime=3571.85 cores=4,6
/proc/44973/stat : 44973 (pbscip) R 44969 44973 43753 0 -1 4194304 288923 0 0 0 357085 100 0 0 20 0 1 0 47770086 2137837568 376981 18446744073709551615 4235264 18693293 140726471121200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 28553216 140726471129481 140726471129580 140726471129580 140726471135182 0
/proc/44973/statm: 521933 376981 3968 3530 0 513384 0
Current children cumulated CPU time: 3571.85 s
Current children cumulated vsize: 2087732 KiB
Current children cumulated memory: 1507924 KiB
[startup+3597.21 s]
# the end of solver process 44973 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.71 s, system=1.01509 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.09 4.13 4.10 5/263 46782
/proc/meminfo: memFree=127305296/131249996 swapFree=33010416/33010684
[pid=44973] ppid=44969 vsize=2087732 memory=1507924 CPUtime=3573.55 cores=4,6
/proc/44973/stat : 44973 (pbscip) R 44969 44973 43753 0 -1 4194304 288923 0 0 0 357255 100 0 0 20 0 1 0 47770086 2137837568 376981 18446744073709551615 4235264 18693293 140726471121200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 28553216 140726471129481 140726471129580 140726471129580 140726471135182 0
/proc/44973/statm: 521933 376981 3968 3530 0 513384 0
Current children cumulated CPU time: 3573.55 s
Current children cumulated vsize: 2087732 KiB
Current children cumulated memory: 1507924 KiB
[startup+3590.4 s]
/proc/loadavg: 4.08 4.13 4.10 5/263 46782
/proc/meminfo: memFree=127305296/131249996 swapFree=33010416/33010684
[pid=44973] ppid=44969 vsize=2087732 memory=1508564 CPUtime=3579.93 cores=4,6
/proc/44973/stat : 44973 (pbscip) R 44969 44973 43753 0 -1 4194304 289072 0 0 0 357893 100 0 0 20 0 1 0 47770086 2137837568 377141 18446744073709551615 4235264 18693293 140726471121200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 28553216 140726471129481 140726471129580 140726471129580 140726471135182 0
/proc/44973/statm: 521933 377141 3968 3530 0 513384 0
Current children cumulated CPU time: 3579.93 s
Current children cumulated vsize: 2087732 KiB
Current children cumulated memory: 1508564 KiB
[startup+3593.6 s]
/proc/loadavg: 4.16 4.14 4.11 5/263 46782
/proc/meminfo: memFree=127303792/131249996 swapFree=33010416/33010684
[pid=44973] ppid=44969 vsize=2087732 memory=1508564 CPUtime=3583.12 cores=4,6
/proc/44973/stat : 44973 (pbscip) R 44969 44973 43753 0 -1 4194304 289072 0 0 0 358212 100 0 0 20 0 1 0 47770086 2137837568 377141 18446744073709551615 4235264 18693293 140726471121200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 28553216 140726471129481 140726471129580 140726471129580 140726471135182 0
/proc/44973/statm: 521933 377141 3968 3530 0 513384 0
Current children cumulated CPU time: 3583.12 s
Current children cumulated vsize: 2087732 KiB
Current children cumulated memory: 1508564 KiB
[startup+3595.2 s]
/proc/loadavg: 4.16 4.14 4.11 5/263 46782
/proc/meminfo: memFree=127303792/131249996 swapFree=33010416/33010684
[pid=44973] ppid=44969 vsize=2087732 memory=1508564 CPUtime=3584.71 cores=4,6
/proc/44973/stat : 44973 (pbscip) R 44969 44973 43753 0 -1 4194304 289083 0 0 0 358371 100 0 0 20 0 1 0 47770086 2137837568 377141 18446744073709551615 4235264 18693293 140726471121200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 28553216 140726471129481 140726471129580 140726471129580 140726471135182 0
/proc/44973/statm: 521933 377141 3968 3530 0 513384 0
Current children cumulated CPU time: 3584.71 s
Current children cumulated vsize: 2087732 KiB
Current children cumulated memory: 1508564 KiB
[startup+3596 s]*
/proc/loadavg: 4.14 4.14 4.10 5/263 46782
/proc/meminfo: memFree=127303792/131249996 swapFree=33010416/33010684
[pid=44973] ppid=44969 vsize=2087732 memory=1508564 CPUtime=3585.52 cores=4,6
/proc/44973/stat : 44973 (pbscip) R 44969 44973 43753 0 -1 4194304 289087 0 0 0 358452 100 0 0 20 0 1 0 47770086 2137837568 377141 18446744073709551615 4235264 18693293 140726471121200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 28553216 140726471129481 140726471129580 140726471129580 140726471135182 0
/proc/44973/statm: 521933 377141 3968 3530 0 513384 0
Current children cumulated CPU time: 3585.52 s
Current children cumulated vsize: 2087732 KiB
Current children cumulated memory: 1508564 KiB
[startup+3596.8 s]
/proc/loadavg: 4.14 4.14 4.10 5/263 46782
/proc/meminfo: memFree=127303792/131249996 swapFree=33010416/33010684
[pid=44973] ppid=44969 vsize=2087732 memory=1508564 CPUtime=3586.31 cores=4,6
/proc/44973/stat : 44973 (pbscip) R 44969 44973 43753 0 -1 4194304 289087 0 0 0 358531 100 0 0 20 0 1 0 47770086 2137837568 377141 18446744073709551615 4235264 18693293 140726471121200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 28553216 140726471129481 140726471129580 140726471129580 140726471135182 0
/proc/44973/statm: 521933 377141 3968 3530 0 513384 0
Current children cumulated CPU time: 3586.31 s
Current children cumulated vsize: 2087732 KiB
Current children cumulated memory: 1508564 KiB
[startup+3597.2 s]
/proc/loadavg: 4.14 4.14 4.10 5/263 46782
/proc/meminfo: memFree=127303792/131249996 swapFree=33010416/33010684
[pid=44973] ppid=44969 vsize=1763984 memory=1242036 CPUtime=3586.7 cores=4,6
/proc/44973/stat : 44973 (pbscip) R 44969 44973 43753 0 -1 4194304 289181 0 0 0 358570 100 0 0 20 0 1 0 47770086 1806319616 310509 18446744073709551615 4235264 18693293 140726471121200 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 28553216 140726471129481 140726471129580 140726471129580 140726471135182 0
/proc/44973/statm: 440996 310509 3968 3530 0 432447 0
Current children cumulated CPU time: 3586.7 s
Current children cumulated vsize: 1763984 KiB
Current children cumulated memory: 1242036 KiB
Child status: 0
Real time (s): 3597.21
CPU time (s): 3586.73
CPU user time (s): 3585.71
CPU system time (s): 1.01509
CPU usage (%): 99.7086
Max. virtual memory (cumulated for all children) (KiB): 2087732
Max. memory (cumulated for all children) (KiB): 1508564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.71
system time used= 1.01509
maximum resident set size= 1508564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 289199
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= 118
involuntary context switches= 2974
# summary of solver processes directly reported to runsolver:
# pid: 44973
# total CPU time (s): 3586.73
# total CPU user time (s): 3585.71
# total CPU system time (s): 1.01509
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.57677 second user time and 15.1103 second system time
The end