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-4432586-1721071420.opb>
0.10/0.13 c original problem has 3204 variables (3204 bin, 0 int, 0 impl, 0 cont) and 24883 constraints
0.10/0.13 c problem read in 0.12
0.10/0.21 c presolving:
0.21/0.28 c (round 1, fast) 12 del vars, 12 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 24246 clqs
0.31/0.35 c (0.3s) running MILP presolver
0.31/0.41 c (0.4s) MILP presolver found nothing
0.51/0.53 c (round 2, exhaustive) 12 del vars, 12 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 23461 upgd conss, 0 impls, 24246 clqs
0.59/0.62 c (round 3, exhaustive) 12 del vars, 12 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 24871 upgd conss, 0 impls, 24246 clqs
3.17/3.24 c (3.2s) probing: 1000/3192 (31.3%) - 0 fixings, 0 aggregations, 15838 implications, 0 bound changes
3.17/3.24 c (3.2s) probing: 1001/3192 (31.4%) - 0 fixings, 0 aggregations, 15854 implications, 0 bound changes
3.17/3.24 c (3.2s) probing aborted: 1000/1000 successive useless probings
3.27/3.38 c (3.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
3.37/3.41 c (3.4s) symmetry computation finished: 6 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.01)
3.37/3.42 c dynamic symmetry handling statistics:
3.37/3.42 c orbitopal reduction: no components
3.37/3.42 c orbital reduction: 1 components of sizes 6
3.37/3.42 c lexicographic reduction: 6 permutations with support sizes 24, 1064, 1064, 1064, 1064, 1064
3.37/3.42 c handled 1 out of 1 symmetry components
3.37/3.43 c presolving (4 rounds: 4 fast, 3 medium, 3 exhaustive):
3.37/3.43 c 12 deleted vars, 12 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.37/3.43 c 0 implications, 40100 cliques
3.37/3.43 c presolved problem has 3192 variables (3192 bin, 0 int, 0 impl, 0 cont) and 24871 constraints
3.37/3.43 c 24246 constraints of type <setppc>
3.37/3.43 c 625 constraints of type <logicor>
3.37/3.43 c transformed objective value is always integral (scale: 1)
3.37/3.43 c Presolving Time: 3.23
3.37/3.43 c - non default parameters ----------------------------------------------------------------------
3.37/3.43 c # SCIP version 10.0.0
3.37/3.43 c
3.37/3.43 c # maximal time in seconds to run
3.37/3.43 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
3.37/3.43 c limits/time = 3596.993121
3.37/3.43 c
3.37/3.43 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.37/3.43 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
3.37/3.43 c limits/memory = 27900
3.37/3.43 c
3.37/3.43 c # belongs reading time to solving time?
3.37/3.43 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
3.37/3.43 c timing/reading = TRUE
3.37/3.43 c
3.37/3.43 c -----------------------------------------------------------------------------------------------
3.37/3.43 c start solving
3.37/3.43 c
4.46/4.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.46/4.58 c 4.6s| 1 | 0 | 6336 | - | 156M | 0 |3192 | 24k| 24k| 0 | 0 | 47 | 0 | 5.143750e+02 | -- | Inf | unknown
6.66/6.75 c 6.7s| 1 | 0 | 15729 | - | 167M | 0 |3192 | 24k| 25k| 620 | 1 | 50 | 0 | 5.221422e+02 | -- | Inf | unknown
6.86/7.01 c 7.0s| 1 | 0 | 16045 | - | 174M | 0 |3192 | 24k| 25k| 632 | 2 | 53 | 0 | 5.281458e+02 | -- | Inf | unknown
7.15/7.26 c 7.3s| 1 | 0 | 16282 | - | 178M | 0 |3192 | 24k| 25k| 639 | 3 | 55 | 0 | 5.318076e+02 | -- | Inf | unknown
7.45/7.52 c 7.5s| 1 | 0 | 16480 | - | 182M | 0 |3192 | 24k| 25k| 647 | 4 | 56 | 0 | 5.343441e+02 | -- | Inf | unknown
7.66/7.75 c 7.7s| 1 | 0 | 16628 | - | 186M | 0 |3192 | 24k| 25k| 657 | 5 | 60 | 0 | 5.362553e+02 | -- | Inf | unknown
7.86/7.98 c 8.0s| 1 | 0 | 16809 | - | 190M | 0 |3192 | 24k| 25k| 667 | 6 | 64 | 0 | 5.379035e+02 | -- | Inf | unknown
8.15/8.26 c 8.3s| 1 | 0 | 17035 | - | 197M | 0 |3192 | 24k| 25k| 677 | 7 | 68 | 0 | 5.403899e+02 | -- | Inf | unknown
8.45/8.53 c 8.5s| 1 | 0 | 17246 | - | 200M | 0 |3192 | 24k| 25k| 686 | 8 | 70 | 0 | 5.426619e+02 | -- | Inf | unknown
8.75/8.84 c 8.8s| 1 | 0 | 17588 | - | 204M | 0 |3192 | 24k| 25k| 694 | 9 | 74 | 0 | 5.444808e+02 | -- | Inf | unknown
9.06/9.12 c 9.1s| 1 | 0 | 17853 | - | 211M | 0 |3192 | 24k| 25k| 704 | 10 | 79 | 0 | 5.464227e+02 | -- | Inf | unknown
9.25/9.34 c 9.3s| 1 | 0 | 18053 | - | 215M | 0 |3192 | 24k| 24k| 713 | 11 | 82 | 0 | 5.480878e+02 | -- | Inf | unknown
9.45/9.54 c 9.5s| 1 | 0 | 18198 | - | 218M | 0 |3192 | 24k| 24k| 722 | 12 | 86 | 0 | 5.495076e+02 | -- | Inf | unknown
9.65/9.73 c 9.7s| 1 | 0 | 18301 | - | 221M | 0 |3192 | 24k| 24k| 729 | 13 | 88 | 0 | 5.498027e+02 | -- | Inf | unknown
9.85/9.94 c 9.9s| 1 | 0 | 18408 | - | 223M | 0 |3192 | 24k| 25k| 738 | 14 | 92 | 0 | 5.501203e+02 | -- | Inf | unknown
10.06/10.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.06/10.14 c 10.1s| 1 | 0 | 18540 | - | 226M | 0 |3192 | 24k| 25k| 748 | 15 | 96 | 0 | 5.514417e+02 | -- | Inf | unknown
10.25/10.36 c 10.4s| 1 | 0 | 18719 | - | 229M | 0 |3192 | 24k| 25k| 757 | 16 | 97 | 0 | 5.520077e+02 | -- | Inf | unknown
10.45/10.57 c 10.6s| 1 | 0 | 18783 | - | 231M | 0 |3192 | 24k| 25k| 762 | 17 | 99 | 0 | 5.521530e+02 | -- | Inf | unknown
10.65/10.77 c 10.8s| 1 | 0 | 18855 | - | 234M | 0 |3192 | 24k| 25k| 768 | 18 | 104 | 0 | 5.529059e+02 | -- | Inf | unknown
10.85/10.98 c 11.0s| 1 | 0 | 18973 | - | 234M | 0 |3192 | 24k| 25k| 775 | 19 | 106 | 0 | 5.537433e+02 | -- | Inf | unknown
11.15/11.20 c 11.2s| 1 | 0 | 19096 | - | 236M | 0 |3192 | 24k| 25k| 783 | 20 | 109 | 0 | 5.539540e+02 | -- | Inf | unknown
11.25/11.33 c 11.3s| 1 | 0 | 19169 | - | 237M | 0 |3192 | 24k| 25k| 790 | 21 | 112 | 0 | 5.541665e+02 | -- | Inf | unknown
11.35/11.48 c 11.5s| 1 | 0 | 19261 | - | 237M | 0 |3192 | 24k| 25k| 798 | 22 | 114 | 0 | 5.544844e+02 | -- | Inf | unknown
11.55/11.62 c 11.6s| 1 | 0 | 19426 | - | 237M | 0 |3192 | 24k| 25k| 805 | 23 | 118 | 0 | 5.552443e+02 | -- | Inf | unknown
11.64/11.75 c 11.7s| 1 | 0 | 19525 | - | 237M | 0 |3192 | 24k| 25k| 811 | 24 | 123 | 0 | 5.557367e+02 | -- | Inf | unknown
11.74/11.87 c 11.9s| 1 | 0 | 19586 | - | 237M | 0 |3192 | 24k| 25k| 817 | 25 | 127 | 0 | 5.568176e+02 | -- | Inf | unknown
11.84/12.00 c 12.0s| 1 | 0 | 19659 | - | 238M | 0 |3192 | 25k| 25k| 822 | 26 | 130 | 0 | 5.576305e+02 | -- | Inf | unknown
12.06/12.12 c 12.1s| 1 | 0 | 19734 | - | 238M | 0 |3192 | 25k| 25k| 826 | 27 | 135 | 0 | 5.580419e+02 | -- | Inf | unknown
12.14/12.26 c 12.3s| 1 | 0 | 19891 | - | 238M | 0 |3192 | 25k| 25k| 830 | 28 | 140 | 0 | 5.586728e+02 | -- | Inf | unknown
12.34/12.40 c 12.4s| 1 | 0 | 20082 | - | 238M | 0 |3192 | 25k| 25k| 835 | 29 | 144 | 0 | 5.591092e+02 | -- | Inf | unknown
12.44/12.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
12.44/12.52 c 12.5s| 1 | 0 | 20092 | - | 238M | 0 |3192 | 25k| 25k| 837 | 30 | 146 | 0 | 5.591124e+02 | -- | Inf | unknown
12.54/12.64 c 12.6s| 1 | 0 | 20189 | - | 238M | 0 |3192 | 25k| 25k| 840 | 31 | 150 | 0 | 5.594351e+02 | -- | Inf | unknown
12.64/12.77 c 12.8s| 1 | 0 | 20271 | - | 239M | 0 |3192 | 25k| 25k| 843 | 32 | 155 | 0 | 5.595336e+02 | -- | Inf | unknown
12.84/12.90 c 12.9s| 1 | 0 | 20424 | - | 239M | 0 |3192 | 25k| 25k| 847 | 33 | 158 | 0 | 5.606189e+02 | -- | Inf | unknown
12.95/13.03 c 13.0s| 1 | 0 | 20493 | - | 239M | 0 |3192 | 25k| 25k| 851 | 34 | 161 | 0 | 5.611128e+02 | -- | Inf | unknown
13.05/13.17 c 13.2s| 1 | 0 | 20632 | - | 239M | 0 |3192 | 25k| 25k| 856 | 35 | 164 | 0 | 5.618740e+02 | -- | Inf | unknown
13.14/13.29 c 13.3s| 1 | 0 | 20729 | - | 239M | 0 |3192 | 25k| 25k| 859 | 36 | 168 | 0 | 5.623837e+02 | -- | Inf | unknown
13.34/13.43 c 13.4s| 1 | 0 | 20818 | - | 240M | 0 |3192 | 25k| 25k| 862 | 37 | 172 | 0 | 5.625745e+02 | -- | Inf | unknown
13.44/13.55 c 13.5s| 1 | 0 | 20883 | - | 240M | 0 |3192 | 25k| 25k| 866 | 38 | 177 | 0 | 5.629164e+02 | -- | Inf | unknown
13.54/13.67 c 13.7s| 1 | 0 | 20921 | - | 240M | 0 |3192 | 25k| 25k| 869 | 39 | 180 | 0 | 5.631193e+02 | -- | Inf | unknown
13.64/13.79 c 13.8s| 1 | 0 | 20938 | - | 240M | 0 |3192 | 25k| 25k| 871 | 40 | 182 | 0 | 5.631334e+02 | -- | Inf | unknown
13.84/13.91 c 13.9s| 1 | 0 | 21001 | - | 240M | 0 |3192 | 25k| 25k| 873 | 41 | 186 | 0 | 5.640084e+02 | -- | Inf | unknown
13.95/14.02 c 14.0s| 1 | 0 | 21017 | - | 240M | 0 |3192 | 25k| 25k| 874 | 42 | 188 | 0 | 5.640121e+02 | -- | Inf | unknown
14.05/14.13 c 14.1s| 1 | 0 | 21024 | - | 240M | 0 |3192 | 25k| 25k| 875 | 43 | 190 | 0 | 5.640161e+02 | -- | Inf | unknown
14.13/14.24 c 14.2s| 1 | 0 | 21057 | - | 241M | 0 |3192 | 25k| 25k| 877 | 44 | 196 | 0 | 5.648289e+02 | -- | Inf | unknown
14.23/14.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
14.23/14.38 c 14.4s| 1 | 0 | 21110 | - | 241M | 0 |3192 | 25k| 25k| 878 | 45 | 201 | 0 | 5.653324e+02 | -- | Inf | unknown
14.43/14.50 c 14.5s| 1 | 0 | 21170 | - | 241M | 0 |3192 | 25k| 25k| 880 | 46 | 206 | 0 | 5.658712e+02 | -- | Inf | unknown
14.53/14.63 c 14.6s| 1 | 0 | 21204 | - | 241M | 0 |3192 | 25k| 25k| 884 | 47 | 216 | 0 | 5.665007e+02 | -- | Inf | unknown
14.63/14.74 c 14.7s| 1 | 0 | 21229 | - | 241M | 0 |3192 | 25k| 25k| 886 | 48 | 217 | 0 | 5.665543e+02 | -- | Inf | unknown
14.73/14.85 c 14.8s| 1 | 0 | 21237 | - | 241M | 0 |3192 | 25k| 25k| 888 | 49 | 218 | 0 | 5.665632e+02 | -- | Inf | unknown
14.83/14.98 c 15.0s| 1 | 0 | 21314 | - | 241M | 0 |3192 | 25k| 25k| 889 | 50 | 223 | 0 | 5.671239e+02 | -- | Inf | unknown
15.04/15.11 c 15.1s| 1 | 0 | 21360 | - | 242M | 0 |3192 | 25k| 25k| 891 | 51 | 228 | 0 | 5.673243e+02 | -- | Inf | unknown
15.13/15.24 c 15.2s| 1 | 0 | 21463 | - | 242M | 0 |3192 | 25k| 25k| 893 | 52 | 232 | 0 | 5.678524e+02 | -- | Inf | unknown
15.23/15.36 c 15.3s| 1 | 0 | 21518 | - | 242M | 0 |3192 | 25k| 25k| 896 | 53 | 234 | 0 | 5.684149e+02 | -- | Inf | unknown
15.33/15.48 c 15.5s| 1 | 0 | 21577 | - | 242M | 0 |3192 | 25k| 25k| 898 | 54 | 238 | 0 | 5.692915e+02 | -- | Inf | unknown
15.43/15.59 c 15.6s| 1 | 0 | 21579 | - | 242M | 0 |3192 | 25k| 25k| 900 | 55 | 240 | 0 | 5.692916e+02 | -- | Inf | unknown
15.63/15.73 c 15.7s| 1 | 0 | 21587 | - | 242M | 0 |3192 | 25k| 25k| 901 | 56 | 242 | 0 | 5.692999e+02 | -- | Inf | unknown
15.73/15.84 c 15.8s| 1 | 0 | 21647 | - | 242M | 0 |3192 | 25k| 25k| 903 | 57 | 246 | 0 | 5.698240e+02 | -- | Inf | unknown
15.83/15.95 c 15.9s| 1 | 0 | 21703 | - | 242M | 0 |3192 | 25k| 25k| 905 | 58 | 250 | 0 | 5.706058e+02 | -- | Inf | unknown
15.94/16.07 c 16.1s| 1 | 0 | 21712 | - | 242M | 0 |3192 | 25k| 25k| 908 | 59 | 251 | 0 | 5.706179e+02 | -- | Inf | unknown
16.04/16.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
16.04/16.18 c 16.2s| 1 | 0 | 21759 | - | 242M | 0 |3192 | 25k| 25k| 910 | 60 | 254 | 0 | 5.714335e+02 | -- | Inf | unknown
16.13/16.29 c 16.3s| 1 | 0 | 21808 | - | 242M | 0 |3192 | 25k| 25k| 912 | 61 | 258 | 0 | 5.722939e+02 | -- | Inf | unknown
16.33/16.40 c 16.4s| 1 | 0 | 21812 | - | 242M | 0 |3192 | 25k| 25k| 915 | 62 | 260 | 0 | 5.722986e+02 | -- | Inf | unknown
16.43/16.53 c 16.5s| 1 | 0 | 21908 | - | 243M | 0 |3192 | 25k| 25k| 917 | 63 | 264 | 0 | 5.730502e+02 | -- | Inf | unknown
16.53/16.63 c 16.6s| 1 | 0 | 21915 | - | 243M | 0 |3192 | 25k| 25k| 919 | 64 | 270 | 0 | 5.730507e+02 | -- | Inf | unknown
16.62/16.78 c 16.8s| 1 | 0 | 22071 | - | 243M | 0 |3192 | 25k| 25k| 922 | 65 | 273 | 0 | 5.735293e+02 | -- | Inf | unknown
16.82/16.92 c 16.9s| 1 | 0 | 22185 | - | 243M | 0 |3192 | 25k| 25k| 929 | 66 | 275 | 0 | 5.737004e+02 | -- | Inf | unknown
16.94/17.04 c 17.0s| 1 | 0 | 22264 | - | 243M | 0 |3192 | 25k| 25k| 932 | 67 | 279 | 0 | 5.746328e+02 | -- | Inf | unknown
17.04/17.15 c 17.1s| 1 | 0 | 22309 | - | 243M | 0 |3192 | 25k| 25k| 935 | 68 | 284 | 0 | 5.747120e+02 | -- | Inf | unknown
17.12/17.26 c 17.3s| 1 | 0 | 22364 | - | 243M | 0 |3192 | 25k| 25k| 938 | 69 | 286 | 0 | 5.752910e+02 | -- | Inf | unknown
17.22/17.37 c 17.4s| 1 | 0 | 22369 | - | 243M | 0 |3192 | 25k| 25k| 942 | 70 | 287 | 0 | 5.752910e+02 | -- | Inf | unknown
17.42/17.50 c 17.5s| 1 | 0 | 22426 | - | 243M | 0 |3192 | 25k| 25k| 945 | 71 | 291 | 0 | 5.760102e+02 | -- | Inf | unknown
17.52/17.62 c 17.6s| 1 | 0 | 22474 | - | 243M | 0 |3192 | 25k| 25k| 949 | 72 | 295 | 0 | 5.762501e+02 | -- | Inf | unknown
17.62/17.75 c 17.7s| 1 | 0 | 22526 | - | 243M | 0 |3192 | 25k| 25k| 952 | 73 | 298 | 0 | 5.771675e+02 | -- | Inf | unknown
17.72/17.87 c 17.9s| 1 | 0 | 22570 | - | 243M | 0 |3192 | 25k| 25k| 955 | 74 | 302 | 0 | 5.780641e+02 | -- | Inf | unknown
17.82/17.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
17.82/17.98 c 18.0s| 1 | 0 | 22599 | - | 243M | 0 |3192 | 25k| 25k| 957 | 75 | 303 | 0 | 5.781057e+02 | -- | Inf | unknown
17.93/18.10 c 18.1s| 1 | 0 | 22620 | - | 243M | 0 |3192 | 25k| 25k| 959 | 76 | 306 | 0 | 5.781274e+02 | -- | Inf | unknown
18.12/18.21 c 18.2s| 1 | 0 | 22666 | - | 243M | 0 |3192 | 25k| 25k| 963 | 77 | 311 | 0 | 5.789366e+02 | -- | Inf | unknown
18.22/18.32 c 18.3s| 1 | 0 | 22671 | - | 243M | 0 |3192 | 25k| 25k| 967 | 78 | 313 | 0 | 5.789394e+02 | -- | Inf | unknown
18.32/18.42 c 18.4s| 1 | 0 | 22675 | - | 243M | 0 |3192 | 25k| 25k| 969 | 79 | 315 | 0 | 5.789409e+02 | -- | Inf | unknown
18.42/18.54 c 18.5s| 1 | 0 | 22741 | - | 243M | 0 |3192 | 25k| 25k| 970 | 80 | 318 | 0 | 5.792377e+02 | -- | Inf | unknown
18.52/18.65 c 18.6s| 1 | 0 | 22760 | - | 243M | 0 |3192 | 25k| 25k| 971 | 81 | 320 | 0 | 5.792708e+02 | -- | Inf | unknown
18.62/18.76 c 18.8s| 1 | 0 | 22770 | - | 244M | 0 |3192 | 25k| 25k| 972 | 82 | 321 | 0 | 5.792713e+02 | -- | Inf | unknown
18.72/18.88 c 18.9s| 1 | 0 | 22802 | - | 244M | 0 |3192 | 25k| 25k| 973 | 83 | 326 | 0 | 5.796524e+02 | -- | Inf | unknown
18.82/19.00 c 19.0s| 1 | 0 | 22887 | - | 244M | 0 |3192 | 25k| 25k| 976 | 84 | 328 | 0 | 5.803574e+02 | -- | Inf | unknown
19.03/19.13 c 19.1s| 1 | 0 | 23000 | - | 244M | 0 |3192 | 25k| 25k| 980 | 85 | 332 | 0 | 5.809299e+02 | -- | Inf | unknown
19.12/19.26 c 19.2s| 1 | 0 | 23125 | - | 244M | 0 |3192 | 25k| 25k| 985 | 86 | 335 | 0 | 5.815947e+02 | -- | Inf | unknown
19.22/19.37 c 19.4s| 1 | 0 | 23164 | - | 244M | 0 |3192 | 25k| 25k| 988 | 87 | 336 | 0 | 5.817129e+02 | -- | Inf | unknown
19.31/19.48 c 19.5s| 1 | 0 | 23197 | - | 244M | 0 |3192 | 25k| 25k| 991 | 88 | 340 | 0 | 5.826042e+02 | -- | Inf | unknown
19.42/19.59 c 19.6s| 1 | 0 | 23212 | - | 244M | 0 |3192 | 25k| 25k| 993 | 89 | 345 | 0 | 5.826898e+02 | -- | Inf | unknown
19.62/19.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
19.62/19.70 c 19.7s| 1 | 0 | 23238 | - | 244M | 0 |3192 | 25k| 25k| 995 | 90 | 347 | 0 | 5.830750e+02 | -- | Inf | unknown
19.72/19.81 c 19.8s| 1 | 0 | 23267 | - | 244M | 0 |3192 | 25k| 25k| 997 | 91 | 351 | 0 | 5.838253e+02 | -- | Inf | unknown
19.82/19.91 c 19.9s| 1 | 0 | 23297 | - | 244M | 0 |3192 | 25k| 25k|1000 | 92 | 353 | 0 | 5.847009e+02 | -- | Inf | unknown
19.93/20.02 c 20.0s| 1 | 0 | 23300 | - | 245M | 0 |3192 | 25k| 25k|1002 | 93 | 355 | 0 | 5.847009e+02 | -- | Inf | unknown
23.11/23.22 c 23.2s| 1 | 2 | 26137 | - | 245M | 0 |3192 | 25k| 25k|1002 | 94 | 435 | 26 | 5.854658e+02 | -- | Inf | unknown
66.05/66.34 c 66.3s| 100 | 35 | 65606 | 427.3 | 329M | 15 |3192 | 25k| 25k|1501 | 10 | 590 | 418 | 5.925990e+02 | -- | Inf | 19.98%
81.61/81.98 o 1425
81.61/81.98 c d82.0s| 143 | 44 | 99622 | 537.5 |linesear| 15 |3192 | 25k| 25k| 0 | 1 | 670 | 441 | 5.934719e+02 | 1.425000e+03 | 140.11%| 31.87%
81.72/82.02 o 1414
81.72/82.02 c i82.0s| 145 | 42 | 99628 | 530.1 | oneopt| 15 |3192 | 25k| 25k|1674 | 0 | 670 | 441 | 5.934719e+02 | 1.414000e+03 | 138.26%| 12.83%
89.79/90.17 o 1312
89.79/90.17 c r90.2s| 171 | 59 |118819 | 561.9 |rounding| 15 |3192 | 25k| 25k|1705 | 0 | 857 | 459 | 5.950778e+02 | 1.312000e+03 | 120.48%| 13.40%
89.79/90.18 o 1299
89.79/90.18 c i90.2s| 171 | 59 |118819 | 561.9 | oneopt| 15 |3192 | 25k| 25k|1705 | 1 | 857 | 459 | 5.950778e+02 | 1.299000e+03 | 118.29%| 13.41%
90.07/90.40 c 90.4s| 200 | 68 |119219 | 482.0 | 370M | 25 |3192 | 25k| 25k|1706 | 1 | 857 | 459 | 5.950778e+02 | 1.299000e+03 | 118.29%| 13.47%
100.44/100.85 c 101s| 300 | 74 |145875 | 409.9 | 410M | 40 |3192 | 25k| 0 |2157 | 0 | 953 | 481 | 6.190080e+02 | 1.299000e+03 | 109.85%| 13.55%
104.74/105.16 c 105s| 400 | 84 |149754 | 316.9 | 418M | 43 |3192 | 25k| 25k|2180 | 1 | 963 | 497 | 6.194713e+02 | 1.299000e+03 | 109.69%| 13.56%
107.52/107.92 c 108s| 500 | 87 |155054 | 264.0 | 418M | 43 |3192 | 25k| 25k|2195 | 1 | 990 | 497 | 6.195573e+02 | 1.299000e+03 | 109.67%| 13.68%
118.28/118.76 c 119s| 600 | 89 |201541 | 297.6 | 419M | 43 |3192 | 25k| 0 |2210 | 0 |1028 | 497 | 6.199972e+02 | 1.299000e+03 | 109.52%| 13.69%
118.69/119.15 o 1274
118.69/119.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
118.69/119.15 c * 119s| 641 | 89 |202116 | 279.4 | LP | 43 |3192 | 25k| 25k|2211 | 1 |1052 | 497 | 6.199972e+02 | 1.274000e+03 | 105.48%| 13.73%
120.17/120.66 c 121s| 700 | 108 |202396 | 256.2 | 419M | 62 |3192 | 25k| 25k|2219 | 1 |1089 | 497 | 6.199972e+02 | 1.274000e+03 | 105.48%| 13.73%
132.73/133.21 c 133s| 800 | 132 |233370 | 262.9 | 425M | 65 |3192 | 25k| 25k|2292 | 1 |1285 | 529 | 6.214612e+02 | 1.274000e+03 | 105.00%| 13.79%
134.82/135.35 c 135s| 900 | 168 |234410 | 234.8 | 435M | 84 |3192 | 25k| 25k|2320 | 2 |1321 | 529 | 6.214612e+02 | 1.274000e+03 | 105.00%| 13.80%
136.53/137.04 c 137s| 1000 | 154 |238674 | 215.6 | 435M | 85 |3192 | 25k| 25k|2334 | 0 |1435 | 529 | 6.214612e+02 | 1.274000e+03 | 105.00%| 13.80%
160.92/161.53 c 162s| 1100 | 232 |296843 | 248.9 | 477M | 85 |3192 | 26k| 25k|2796 | 1 |1804 | 600 | 6.322791e+02 | 1.274000e+03 | 101.49%| 13.82%
180.95/181.62 c 182s| 1200 | 260 |328875 | 254.9 | 526M | 85 |3192 | 26k| 25k|3443 | 0 |1932 | 643 | 6.375275e+02 | 1.274000e+03 | 99.83%| 13.83%
207.95/208.75 c 209s| 1300 | 280 |379352 | 274.1 | 563M | 85 |3192 | 26k| 25k|3814 | 0 |1970 | 719 | 6.427178e+02 | 1.274000e+03 | 98.22%| 17.18%
219.32/220.19 c 220s| 1400 | 302 |398714 | 268.3 | 581M | 85 |3192 | 26k| 25k|4188 | 1 |2048 | 776 | 6.461584e+02 | 1.274000e+03 | 97.17%| 17.46%
227.20/228.05 c 228s| 1500 | 322 |417877 | 263.2 | 583M | 85 |3192 | 26k| 25k|4319 | 1 |2218 | 791 | 6.463772e+02 | 1.274000e+03 | 97.10%| 17.47%
243.62/244.56 c 245s| 1600 | 338 |449384 | 266.5 | 599M | 85 |3192 | 26k| 25k|4690 | 0 |2306 | 926 | 6.485471e+02 | 1.274000e+03 | 96.44%| 18.04%
244.92/245.85 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
244.92/245.85 c (run 1, node 1603) performing user restart
244.92/245.85 c
244.92/245.85 c (restart) converted 231 cuts from the global cut pool into linear constraints
244.92/245.85 c
245.02/245.90 c presolving:
245.02/245.90 c (round 1, fast) 0 del vars, 46 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 40218 clqs
245.02/245.94 c (round 2, exhaustive) 0 del vars, 46 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 228 upgd conss, 0 impls, 40218 clqs
245.02/245.95 c (round 3, fast) 0 del vars, 67 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 228 upgd conss, 0 impls, 40218 clqs
245.02/245.98 c (round 4, medium) 0 del vars, 80 del conss, 14 add conss, 0 chg bounds, 15 chg sides, 30 chg coeffs, 228 upgd conss, 0 impls, 40219 clqs
245.13/246.02 c (round 5, exhaustive) 0 del vars, 100 del conss, 16 add conss, 0 chg bounds, 15 chg sides, 268 chg coeffs, 228 upgd conss, 0 impls, 40219 clqs
245.23/246.11 c presolving (6 rounds: 6 fast, 4 medium, 3 exhaustive):
245.23/246.11 c 0 deleted vars, 100 deleted constraints, 16 added constraints, 0 tightened bounds, 0 added holes, 15 changed sides, 529 changed coefficients
245.23/246.11 c 0 implications, 40219 cliques
245.23/246.11 c presolved problem has 3192 variables (3192 bin, 0 int, 0 impl, 0 cont) and 26179 constraints
245.23/246.11 c 86 constraints of type <knapsack>
245.23/246.11 c 24488 constraints of type <setppc>
245.23/246.11 c 3 constraints of type <linear>
245.23/246.11 c 1602 constraints of type <logicor>
245.23/246.11 c transformed objective value is always integral (scale: 1)
245.23/246.11 c Presolving Time: 3.45
245.23/246.14 c transformed 20/20 original solutions to the transformed problem space
245.23/246.14 c
246.51/247.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
246.51/247.45 c 247s| 1 | 0 |460458 | - | 602M | 0 |3192 | 26k| 25k| 0 | 0 |2306 | 926 | 6.487655e+02 | 1.274000e+03 | 96.37%| unknown
246.91/247.89 c 248s| 1 | 0 |461199 | - | 606M | 0 |3192 | 26k| 25k| 80 | 1 |2308 | 926 | 6.487655e+02 | 1.274000e+03 | 96.37%| unknown
247.31/248.21 c 248s| 1 | 0 |461757 | - | 608M | 0 |3192 | 26k| 25k| 117 | 2 |2312 | 926 | 6.487655e+02 | 1.274000e+03 | 96.37%| unknown
247.61/248.52 c 249s| 1 | 0 |462207 | - | 612M | 0 |3192 | 26k| 25k| 144 | 3 |2316 | 926 | 6.487655e+02 | 1.274000e+03 | 96.37%| unknown
247.91/248.81 c 249s| 1 | 0 |462603 | - | 615M | 0 |3192 | 26k| 25k| 169 | 4 |2321 | 926 | 6.487655e+02 | 1.274000e+03 | 96.37%| unknown
248.12/249.08 c 249s| 1 | 0 |462908 | - | 617M | 0 |3192 | 26k| 25k| 188 | 5 |2326 | 926 | 6.487655e+02 | 1.274000e+03 | 96.37%| unknown
248.41/249.38 c 249s| 1 | 0 |463312 | - | 620M | 0 |3192 | 26k| 25k| 203 | 6 |2328 | 926 | 6.487655e+02 | 1.274000e+03 | 96.37%| unknown
248.71/249.69 c 250s| 1 | 0 |463723 | - | 622M | 0 |3192 | 26k| 25k| 221 | 7 |2334 | 926 | 6.487655e+02 | 1.274000e+03 | 96.37%| unknown
249.12/250.03 c 250s| 1 | 0 |464231 | - | 628M | 0 |3192 | 26k| 25k| 242 | 8 |2335 | 926 | 6.523853e+02 | 1.274000e+03 | 95.28%| unknown
249.40/250.31 c 250s| 1 | 0 |464450 | - | 631M | 0 |3192 | 26k| 25k| 255 | 9 |2338 | 926 | 6.561420e+02 | 1.274000e+03 | 94.17%| unknown
249.70/250.64 c 251s| 1 | 0 |464924 | - | 635M | 0 |3192 | 26k| 25k| 279 | 10 |2340 | 926 | 6.655031e+02 | 1.274000e+03 | 91.43%| unknown
250.00/250.95 c 251s| 1 | 0 |465303 | - | 638M | 0 |3192 | 26k| 25k| 294 | 11 |2345 | 926 | 6.690050e+02 | 1.274000e+03 | 90.43%| unknown
250.90/251.87 c 252s| 1 | 0 |467189 | - | 640M | 0 |3192 | 26k| 25k| 305 | 12 |2347 | 926 | 6.728799e+02 | 1.274000e+03 | 89.34%| unknown
251.29/252.27 c 252s| 1 | 0 |467746 | - | 643M | 0 |3192 | 26k| 25k| 318 | 13 |2348 | 926 | 6.743803e+02 | 1.274000e+03 | 88.91%| unknown
251.69/252.62 c 253s| 1 | 0 |468174 | - | 645M | 0 |3192 | 26k| 25k| 331 | 14 |2352 | 926 | 6.773429e+02 | 1.274000e+03 | 88.09%| unknown
252.11/253.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
252.11/253.04 c 253s| 1 | 0 |468779 | - | 648M | 0 |3192 | 26k| 25k| 343 | 15 |2355 | 926 | 6.794064e+02 | 1.274000e+03 | 87.52%| unknown
252.60/253.58 c 254s| 1 | 0 |469608 | - | 650M | 0 |3192 | 26k| 25k| 358 | 16 |2361 | 926 | 6.821866e+02 | 1.274000e+03 | 86.75%| unknown
253.00/253.93 c 254s| 1 | 0 |470029 | - | 653M | 0 |3192 | 26k| 25k| 371 | 17 |2365 | 926 | 6.836947e+02 | 1.274000e+03 | 86.34%| unknown
253.30/254.26 c 254s| 1 | 0 |470378 | - | 656M | 0 |3192 | 26k| 25k| 382 | 18 |2369 | 926 | 6.858172e+02 | 1.274000e+03 | 85.76%| unknown
253.69/254.66 c 255s| 1 | 0 |470938 | - | 658M | 0 |3192 | 26k| 25k| 394 | 19 |2372 | 926 | 6.879062e+02 | 1.274000e+03 | 85.20%| unknown
253.99/254.91 c 255s| 1 | 0 |471268 | - | 661M | 0 |3192 | 26k| 25k| 406 | 20 |2377 | 926 | 6.895469e+02 | 1.274000e+03 | 84.76%| unknown
254.10/255.09 c 255s| 1 | 0 |471486 | - | 661M | 0 |3192 | 26k| 25k| 416 | 21 |2381 | 926 | 6.904893e+02 | 1.274000e+03 | 84.51%| unknown
254.29/255.20 c 255s| 1 | 0 |471626 | - | 661M | 0 |3192 | 26k| 25k| 422 | 22 |2382 | 926 | 6.909642e+02 | 1.274000e+03 | 84.38%| unknown
254.39/255.31 c 255s| 1 | 0 |471765 | - | 661M | 0 |3192 | 26k| 25k| 430 | 23 |2386 | 926 | 6.916111e+02 | 1.274000e+03 | 84.21%| unknown
254.49/255.42 c 255s| 1 | 0 |471863 | - | 662M | 0 |3192 | 26k| 25k| 436 | 24 |2390 | 926 | 6.923338e+02 | 1.274000e+03 | 84.02%| unknown
254.59/255.53 c 256s| 1 | 0 |471980 | - | 662M | 0 |3192 | 26k| 25k| 442 | 25 |2393 | 926 | 6.931360e+02 | 1.274000e+03 | 83.80%| unknown
254.69/255.64 c 256s| 1 | 0 |472143 | - | 662M | 0 |3192 | 26k| 25k| 448 | 26 |2398 | 926 | 6.940212e+02 | 1.274000e+03 | 83.57%| unknown
254.79/255.77 c 256s| 1 | 0 |472283 | - | 662M | 0 |3192 | 26k| 25k| 455 | 27 |2401 | 926 | 6.944312e+02 | 1.274000e+03 | 83.46%| unknown
254.89/255.88 c 256s| 1 | 0 |472398 | - | 662M | 0 |3192 | 26k| 25k| 459 | 28 |2407 | 926 | 6.954439e+02 | 1.274000e+03 | 83.19%| unknown
254.99/255.99 c 256s| 1 | 0 |472481 | - | 662M | 0 |3192 | 26k| 25k| 463 | 29 |2409 | 926 | 6.955600e+02 | 1.274000e+03 | 83.16%| unknown
255.10/256.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
255.10/256.10 c 256s| 1 | 0 |472556 | - | 662M | 0 |3192 | 26k| 25k| 466 | 30 |2411 | 926 | 6.955914e+02 | 1.274000e+03 | 83.15%| unknown
255.20/256.19 c 256s| 1 | 0 |472584 | - | 662M | 0 |3192 | 26k| 25k| 469 | 31 |2415 | 926 | 6.956434e+02 | 1.274000e+03 | 83.14%| unknown
255.39/256.30 c 256s| 1 | 0 |472675 | - | 663M | 0 |3192 | 26k| 25k| 476 | 32 |2419 | 926 | 6.958237e+02 | 1.274000e+03 | 83.09%| unknown
255.49/256.42 c 256s| 1 | 0 |472750 | - | 663M | 0 |3192 | 26k| 25k| 480 | 33 |2420 | 926 | 6.962787e+02 | 1.274000e+03 | 82.97%| unknown
255.59/256.53 c 257s| 1 | 0 |472855 | - | 663M | 0 |3192 | 26k| 25k| 483 | 34 |2424 | 926 | 6.969009e+02 | 1.274000e+03 | 82.81%| unknown
255.79/256.70 c 257s| 1 | 0 |473083 | - | 663M | 0 |3192 | 26k| 25k| 487 | 35 |2428 | 926 | 6.977571e+02 | 1.274000e+03 | 82.59%| unknown
255.89/256.87 c 257s| 1 | 0 |473272 | - | 663M | 0 |3192 | 26k| 25k| 494 | 36 |2432 | 926 | 6.985904e+02 | 1.274000e+03 | 82.37%| unknown
255.99/256.99 c 257s| 1 | 0 |473405 | - | 663M | 0 |3192 | 26k| 25k| 500 | 37 |2437 | 926 | 6.990303e+02 | 1.274000e+03 | 82.25%| unknown
256.10/257.09 c 257s| 1 | 0 |473489 | - | 663M | 0 |3192 | 26k| 25k| 505 | 38 |2440 | 926 | 6.996296e+02 | 1.274000e+03 | 82.10%| unknown
256.28/257.21 c 257s| 1 | 0 |473620 | - | 663M | 0 |3192 | 26k| 25k| 510 | 39 |2446 | 926 | 7.000836e+02 | 1.274000e+03 | 81.98%| unknown
256.38/257.35 c 257s| 1 | 0 |473827 | - | 663M | 0 |3192 | 26k| 25k| 517 | 40 |2450 | 926 | 7.010681e+02 | 1.274000e+03 | 81.72%| unknown
256.48/257.47 c 257s| 1 | 0 |473982 | - | 663M | 0 |3192 | 26k| 25k| 522 | 41 |2453 | 926 | 7.020723e+02 | 1.274000e+03 | 81.46%| unknown
256.58/257.59 c 258s| 1 | 0 |474070 | - | 663M | 0 |3192 | 26k| 25k| 607 | 42 |2463 | 926 | 7.021073e+02 | 1.274000e+03 | 81.45%| unknown
256.78/257.70 c 258s| 1 | 0 |474151 | - | 664M | 0 |3192 | 26k| 25k| 611 | 43 |2466 | 926 | 7.024201e+02 | 1.274000e+03 | 81.37%| unknown
256.88/257.85 c 258s| 1 | 0 |474313 | - | 664M | 0 |3192 | 26k| 25k| 617 | 44 |2470 | 926 | 7.028017e+02 | 1.274000e+03 | 81.27%| unknown
256.98/257.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
256.98/257.96 c 258s| 1 | 0 |474386 | - | 664M | 0 |3192 | 26k| 25k| 621 | 45 |2474 | 926 | 7.035023e+02 | 1.274000e+03 | 81.09%| unknown
257.19/258.13 c 258s| 1 | 0 |474601 | - | 664M | 0 |3192 | 26k| 25k| 624 | 46 |2478 | 926 | 7.040838e+02 | 1.274000e+03 | 80.94%| unknown
257.28/258.23 c 258s| 1 | 0 |474701 | - | 664M | 0 |3192 | 26k| 25k| 633 | 47 |2480 | 926 | 7.041828e+02 | 1.274000e+03 | 80.92%| unknown
257.38/258.35 c 258s| 1 | 0 |474773 | - | 664M | 0 |3192 | 26k| 25k| 635 | 48 |2481 | 926 | 7.042106e+02 | 1.274000e+03 | 80.91%| unknown
257.58/258.50 c 258s| 1 | 0 |474987 | - | 665M | 0 |3192 | 26k| 25k| 638 | 49 |2485 | 926 | 7.050289e+02 | 1.274000e+03 | 80.70%| unknown
257.68/258.60 c 259s| 1 | 0 |475027 | - | 665M | 0 |3192 | 26k| 25k| 643 | 50 |2489 | 926 | 7.059548e+02 | 1.274000e+03 | 80.46%| unknown
257.78/258.71 c 259s| 1 | 0 |475048 | - | 665M | 0 |3192 | 26k| 25k| 649 | 51 |2494 | 926 | 7.059836e+02 | 1.274000e+03 | 80.46%| unknown
257.88/258.84 c 259s| 1 | 0 |475170 | - | 665M | 0 |3192 | 26k| 25k| 652 | 52 |2498 | 926 | 7.065676e+02 | 1.274000e+03 | 80.31%| unknown
258.09/259.01 c 259s| 1 | 0 |475384 | - | 665M | 0 |3192 | 26k| 25k| 660 | 53 |2504 | 926 | 7.072810e+02 | 1.274000e+03 | 80.13%| unknown
258.19/259.12 c 259s| 1 | 0 |475484 | - | 665M | 0 |3192 | 26k| 25k| 665 | 54 |2507 | 926 | 7.081281e+02 | 1.274000e+03 | 79.91%| unknown
258.28/259.23 c 259s| 1 | 0 |475526 | - | 665M | 0 |3192 | 26k| 25k| 667 | 55 |2511 | 926 | 7.090237e+02 | 1.274000e+03 | 79.68%| unknown
258.38/259.35 c 259s| 1 | 0 |475643 | - | 665M | 0 |3192 | 26k| 25k| 671 | 56 |2515 | 926 | 7.096404e+02 | 1.274000e+03 | 79.53%| unknown
258.48/259.46 c 259s| 1 | 0 |475721 | - | 665M | 0 |3192 | 26k| 25k| 675 | 57 |2519 | 926 | 7.099305e+02 | 1.274000e+03 | 79.45%| unknown
258.58/259.57 c 260s| 1 | 0 |475801 | - | 665M | 0 |3192 | 26k| 25k| 679 | 58 |2523 | 926 | 7.105072e+02 | 1.274000e+03 | 79.31%| unknown
258.78/259.74 c 260s| 1 | 0 |476003 | - | 665M | 0 |3192 | 26k| 25k| 681 | 59 |2527 | 926 | 7.112545e+02 | 1.274000e+03 | 79.12%| unknown
258.88/259.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
258.88/259.85 c 260s| 1 | 0 |476094 | - | 665M | 0 |3192 | 26k| 25k| 688 | 60 |2532 | 926 | 7.119030e+02 | 1.274000e+03 | 78.96%| unknown
258.97/259.97 c 260s| 1 | 0 |476212 | - | 666M | 0 |3192 | 26k| 25k| 694 | 61 |2537 | 926 | 7.126113e+02 | 1.274000e+03 | 78.78%| unknown
259.19/260.11 c 260s| 1 | 0 |476371 | - | 666M | 0 |3192 | 26k| 25k| 698 | 62 |2542 | 926 | 7.127165e+02 | 1.274000e+03 | 78.75%| unknown
259.27/260.25 c 260s| 1 | 0 |476490 | - | 666M | 0 |3192 | 26k| 25k| 703 | 63 |2546 | 926 | 7.133058e+02 | 1.274000e+03 | 78.61%| unknown
259.37/260.37 c 260s| 1 | 0 |476594 | - | 666M | 0 |3192 | 26k| 25k| 707 | 64 |2550 | 926 | 7.137879e+02 | 1.274000e+03 | 78.48%| unknown
259.47/260.48 c 260s| 1 | 0 |476655 | - | 666M | 0 |3192 | 26k| 25k| 711 | 65 |2555 | 926 | 7.145844e+02 | 1.274000e+03 | 78.29%| unknown
259.67/260.61 c 261s| 1 | 0 |476785 | - | 667M | 0 |3192 | 26k| 25k| 713 | 66 |2561 | 926 | 7.150435e+02 | 1.274000e+03 | 78.17%| unknown
259.77/260.76 c 261s| 1 | 0 |476913 | - | 667M | 0 |3192 | 26k| 25k| 716 | 67 |2565 | 926 | 7.153497e+02 | 1.274000e+03 | 78.09%| unknown
259.97/260.91 c 261s| 1 | 0 |477054 | - | 667M | 0 |3192 | 26k| 25k| 721 | 68 |2568 | 926 | 7.157218e+02 | 1.274000e+03 | 78.00%| unknown
260.08/261.04 c 261s| 1 | 0 |477174 | - | 667M | 0 |3192 | 26k| 25k| 726 | 69 |2572 | 926 | 7.163245e+02 | 1.274000e+03 | 77.85%| unknown
260.18/261.16 c 261s| 1 | 0 |477272 | - | 667M | 0 |3192 | 26k| 25k| 729 | 70 |2577 | 926 | 7.163973e+02 | 1.274000e+03 | 77.83%| unknown
260.27/261.27 c 261s| 1 | 0 |477321 | - | 667M | 0 |3192 | 26k| 25k| 734 | 71 |2581 | 926 | 7.164577e+02 | 1.274000e+03 | 77.82%| unknown
260.37/261.38 c 261s| 1 | 0 |477372 | - | 667M | 0 |3192 | 26k| 25k| 738 | 72 |2583 | 926 | 7.168161e+02 | 1.274000e+03 | 77.73%| unknown
260.57/261.52 c 262s| 1 | 0 |477520 | - | 667M | 0 |3192 | 26k| 25k| 741 | 73 |2588 | 926 | 7.174747e+02 | 1.274000e+03 | 77.57%| unknown
260.67/261.63 c 262s| 1 | 0 |477583 | - | 668M | 0 |3192 | 26k| 25k| 744 | 74 |2590 | 926 | 7.175375e+02 | 1.274000e+03 | 77.55%| unknown
260.77/261.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
260.77/261.75 c 262s| 1 | 0 |477644 | - | 668M | 0 |3192 | 26k| 25k| 747 | 75 |2591 | 926 | 7.175519e+02 | 1.274000e+03 | 77.55%| unknown
260.87/261.86 c 262s| 1 | 0 |477718 | - | 668M | 0 |3192 | 26k| 25k| 751 | 76 |2594 | 926 | 7.181171e+02 | 1.274000e+03 | 77.41%| unknown
260.97/261.98 c 262s| 1 | 0 |477814 | - | 668M | 0 |3192 | 26k| 25k| 755 | 77 |2597 | 926 | 7.182058e+02 | 1.274000e+03 | 77.39%| unknown
261.08/262.10 c 262s| 1 | 0 |477906 | - | 668M | 0 |3192 | 26k| 25k| 758 | 78 |2603 | 926 | 7.188044e+02 | 1.274000e+03 | 77.24%| unknown
261.26/262.20 c 262s| 1 | 0 |477940 | - | 668M | 0 |3192 | 26k| 25k| 761 | 79 |2604 | 926 | 7.189565e+02 | 1.274000e+03 | 77.20%| unknown
261.36/262.33 c 262s| 1 | 0 |478040 | - | 668M | 0 |3192 | 26k| 25k| 764 | 80 |2608 | 926 | 7.193613e+02 | 1.274000e+03 | 77.10%| unknown
261.46/262.44 c 262s| 1 | 0 |478042 | - | 668M | 0 |3192 | 26k| 25k| 765 | 81 |2610 | 926 | 7.193613e+02 | 1.274000e+03 | 77.10%| unknown
261.56/262.54 c 263s| 1 | 0 |478068 | - | 668M | 0 |3192 | 26k| 25k| 766 | 82 |2615 | 926 | 7.196471e+02 | 1.274000e+03 | 77.03%| unknown
261.66/262.64 c 263s| 1 | 0 |478128 | - | 669M | 0 |3192 | 26k| 25k| 768 | 83 |2619 | 926 | 7.197423e+02 | 1.274000e+03 | 77.01%| unknown
261.76/262.74 c 263s| 1 | 0 |478228 | - | 669M | 0 |3192 | 26k| 25k| 772 | 84 |2621 | 926 | 7.202899e+02 | 1.274000e+03 | 76.87%| unknown
261.86/262.85 c 263s| 1 | 0 |478272 | - | 669M | 0 |3192 | 26k| 25k| 775 | 85 |2625 | 926 | 7.205756e+02 | 1.274000e+03 | 76.80%| unknown
261.96/262.95 c 263s| 1 | 0 |478308 | - | 669M | 0 |3192 | 26k| 25k| 776 | 86 |2629 | 926 | 7.208633e+02 | 1.274000e+03 | 76.73%| unknown
262.07/263.06 c 263s| 1 | 0 |478309 | - | 669M | 0 |3192 | 26k| 25k| 777 | 87 |2631 | 926 | 7.208633e+02 | 1.274000e+03 | 76.73%| unknown
262.17/263.16 c 263s| 1 | 0 |478311 | - | 669M | 0 |3192 | 26k| 25k| 778 | 88 |2636 | 926 | 7.208633e+02 | 1.274000e+03 | 76.73%| unknown
262.26/263.28 c 263s| 1 | 0 |478387 | - | 669M | 0 |3192 | 26k| 25k| 779 | 89 |2641 | 926 | 7.213568e+02 | 1.274000e+03 | 76.61%| unknown
262.36/263.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
262.36/263.38 c 263s| 1 | 0 |478430 | - | 669M | 0 |3192 | 26k| 25k| 782 | 90 |2646 | 926 | 7.214620e+02 | 1.274000e+03 | 76.59%| unknown
262.46/263.49 c 263s| 1 | 0 |478464 | - | 669M | 0 |3192 | 26k| 25k| 785 | 91 |2650 | 926 | 7.214879e+02 | 1.274000e+03 | 76.58%| unknown
262.56/263.59 c 264s| 1 | 0 |478499 | - | 669M | 0 |3192 | 26k| 25k| 788 | 92 |2654 | 926 | 7.223413e+02 | 1.274000e+03 | 76.37%| unknown
262.76/263.72 c 264s| 1 | 0 |478605 | - | 669M | 0 |3192 | 26k| 25k| 791 | 93 |2658 | 926 | 7.231032e+02 | 1.274000e+03 | 76.19%| unknown
262.86/263.83 c 264s| 1 | 0 |478662 | - | 669M | 0 |3192 | 26k| 25k| 794 | 94 |2662 | 926 | 7.233966e+02 | 1.274000e+03 | 76.11%| unknown
262.96/263.94 c 264s| 1 | 0 |478701 | - | 669M | 0 |3192 | 26k| 25k| 796 | 95 |2666 | 926 | 7.237325e+02 | 1.274000e+03 | 76.03%| unknown
263.07/264.04 c 264s| 1 | 0 |478747 | - | 669M | 0 |3192 | 26k| 25k| 798 | 96 |2672 | 926 | 7.241681e+02 | 1.274000e+03 | 75.93%| unknown
266.94/267.96 c 268s| 1 | 2 |484392 | - | 669M | 0 |3192 | 26k| 25k| 798 | 97 |2691 | 946 | 7.265074e+02 | 1.274000e+03 | 75.36%| unknown
271.93/272.96 o 1243
271.93/272.96 c d 273s| 12 | 13 |493607 | 275.5 |distribu| 9 |3192 | 26k| 25k| 0 | 1 |2704 | 978 | 7.276767e+02 | 1.243000e+03 | 70.82%| unknown
271.93/273.00 o 1242
271.93/273.00 c i 273s| 13 | 12 |493610 | 275.3 | oneopt| 9 |3192 | 26k| 25k| 798 | 0 |2704 | 978 | 7.276767e+02 | 1.242000e+03 | 70.68%| unknown
274.32/275.38 o 1241
274.32/275.38 c d 275s| 18 | 19 |498661 | 277.6 |guideddi| 11 |3192 | 26k| 25k| 0 | 1 |2704 | 978 | 7.276767e+02 | 1.241000e+03 | 70.54%| unknown
275.51/276.56 o 1176
275.51/276.56 c i 277s| 19 | 20 |499804 | 278.1 | oneopt| 11 |3192 | 26k| 25k| 869 | 2 |2706 | 987 | 7.276767e+02 | 1.176000e+03 | 61.61%| unknown
290.08/291.16 c 291s| 100 | 41 |535151 | 285.7 | 692M | 31 |3192 | 26k| 25k|1330 | 2 |2889 |1062 | 7.277804e+02 | 1.176000e+03 | 61.59%| unknown
344.69/345.91 c 346s| 200 | 75 |626130 | 320.3 | 776M | 33 |3192 | 26k| 25k|2781 | 1 |3123 |1184 | 7.481512e+02 | 1.176000e+03 | 57.19%| unknown
372.09/373.44 c 373s| 300 | 97 |685659 | 334.8 | 778M | 34 |3192 | 26k| 25k|2866 | 1 |3302 |1240 | 7.482271e+02 | 1.176000e+03 | 57.17%| unknown
391.43/392.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
391.43/392.81 c 393s| 400 | 111 |721329 | 335.9 | 779M | 34 |3192 | 26k| 25k|2994 | 2 |3445 |1286 | 7.486655e+02 | 1.176000e+03 | 57.08%| unknown
409.58/411.03 c 411s| 500 | 125 |770836 | 343.4 | 780M | 36 |3192 | 26k| 0 |3019 | 0 |3507 |1330 | 7.486655e+02 | 1.176000e+03 | 57.08%| unknown
434.38/435.95 c 436s| 600 | 138 |815153 | 348.0 | 801M | 47 |3192 | 26k| 25k|3221 | 0 |3567 |1383 | 7.504932e+02 | 1.176000e+03 | 56.70%| unknown
458.99/460.61 c 461s| 700 | 146 |862041 | 353.2 | 810M | 47 |3192 | 26k| 25k|3352 | 1 |3633 |1433 | 7.509319e+02 | 1.176000e+03 | 56.61%| unknown
478.12/479.84 c 480s| 800 | 160 |905020 | 356.4 | 814M | 47 |3192 | 26k| 25k|3474 | 2 |3794 |1489 | 7.509319e+02 | 1.176000e+03 | 56.61%| unknown
503.25/505.05 c 505s| 900 | 172 |948734 | 359.6 | 831M | 51 |3192 | 26k| 0 |3640 | 0 |3897 |1540 | 7.524886e+02 | 1.176000e+03 | 56.28%| unknown
538.13/540.10 c 540s| 1000 | 193 | 1016k| 372.0 | 865M | 51 |3192 | 26k| 25k|4079 | 1 |4024 |1623 | 7.526336e+02 | 1.176000e+03 | 56.25%| unknown
569.82/571.82 c 572s| 1100 | 213 | 1071k| 378.4 | 894M | 51 |3192 | 26k| 25k|4316 | 1 |4089 |1698 | 7.526336e+02 | 1.176000e+03 | 56.25%| unknown
628.51/630.78 c 631s| 1200 | 227 | 1167k| 399.1 | 947M | 56 |3192 | 26k| 25k|4629 | 0 |4186 |1809 | 7.526336e+02 | 1.176000e+03 | 56.25%| unknown
641.87/644.14 c 644s| 1300 | 229 | 1191k| 393.8 | 949M | 77 |3192 | 26k| 0 |4658 | 0 |4253 |1860 | 7.526336e+02 | 1.176000e+03 | 56.25%| unknown
656.21/658.50 c 658s| 1400 | 225 | 1220k| 390.3 | 950M | 77 |3192 | 26k| 25k|4709 | 0 |4409 |1909 | 7.526336e+02 | 1.176000e+03 | 56.25%| unknown
694.48/696.90 c 697s| 1500 | 242 | 1308k| 406.0 | 962M | 77 |3192 | 26k| 25k|4906 | 1 |4507 |1966 | 7.557700e+02 | 1.176000e+03 | 55.60%| unknown
712.02/714.53 c 715s| 1600 | 245 | 1335k| 401.7 | 963M | 80 |3192 | 26k| 0 |4958 | 0 |4631 |2014 | 7.557700e+02 | 1.176000e+03 | 55.60%| unknown
718.30/720.80 c 721s| 1700 | 254 | 1350k| 394.1 | 963M | 122 |3192 | 26k| 25k|4977 | 2 |4749 |2024 | 7.561145e+02 | 1.176000e+03 | 55.53%| unknown
741.54/744.14 c 744s| 1800 | 268 | 1390k| 394.4 | 984M | 122 |3192 | 26k| 25k|5157 | 1 |4921 |2088 | 7.567896e+02 | 1.176000e+03 | 55.39%| unknown
781.58/784.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
781.58/784.33 c 784s| 1900 | 292 | 1459k| 402.9 | 1017M | 122 |3192 | 26k| 0 |5689 | 0 |5068 |2189 | 7.597169e+02 | 1.176000e+03 | 54.79%| 4.43%
825.73/828.67 c 829s| 2000 | 295 | 1518k| 407.9 | 1072M | 122 |3192 | 26k| 0 |6037 | 0 |5243 |2290 | 7.608848e+02 | 1.176000e+03 | 54.56%| 4.44%
854.63/857.65 c 858s| 2100 | 308 | 1576k| 412.7 | 1087M | 122 |3192 | 26k| 0 |6127 | 0 |5380 |2345 | 7.615288e+02 | 1.176000e+03 | 54.43%| 4.44%
900.09/903.23 c 903s| 2200 | 319 | 1649k| 421.1 | 1157M | 122 |3192 | 26k| 25k|6565 | 1 |5673 |2464 | 7.617614e+02 | 1.176000e+03 | 54.38%| 4.44%
951.52/954.87 c 955s| 2300 | 328 | 1725k| 429.8 | 1227M | 122 |3192 | 26k| 25k|6884 | 1 |5853 |2558 | 7.635860e+02 | 1.176000e+03 | 54.01%| 4.46%
991.48/994.91 c 995s| 2400 | 339 | 1800k| 437.7 | 1229M | 122 |3192 | 27k| 25k|7066 | 1 |6182 |2670 | 7.645842e+02 | 1.176000e+03 | 53.81%| 4.47%
1028.75/1032.31 c 1032s| 2500 | 337 | 1863k| 442.4 | 1248M | 122 |3192 | 26k| 25k|7271 | 1 |6351 |2770 | 7.646756e+02 | 1.176000e+03 | 53.79%| 4.48%
1081.17/1084.92 c 1085s| 2600 | 349 | 1946k| 451.7 | 1282M | 122 |3192 | 27k| 25k|7726 | 1 |6798 |2936 | 7.646756e+02 | 1.176000e+03 | 53.79%| 4.48%
1130.41/1134.31 c 1134s| 2700 | 366 | 2024k| 459.2 | 1305M | 122 |3192 | 26k| 25k|8597 | 2 |6959 |3071 | 7.696326e+02 | 1.176000e+03 | 52.80%| 5.44%
1155.14/1159.13 c 1159s| 2800 | 372 | 2073k| 460.0 | 1306M | 122 |3192 | 26k| 26k|8673 | 1 |7075 |3113 | 7.696326e+02 | 1.176000e+03 | 52.80%| 5.44%
1184.53/1188.63 c 1189s| 2900 | 373 | 2125k| 461.2 | 1317M | 122 |3192 | 26k| 0 |8794 | 0 |7247 |3206 | 7.696326e+02 | 1.176000e+03 | 52.80%| 5.44%
1215.13/1219.37 c 1219s| 3000 | 381 | 2174k| 461.9 | 1334M | 122 |3192 | 26k| 26k|9128 | 1 |7372 |3271 | 7.696326e+02 | 1.176000e+03 | 52.80%| 5.44%
1254.90/1259.25 c 1259s| 3100 | 397 | 2252k| 468.6 | 1362M | 122 |3192 | 26k| 25k|9707 | 2 |7527 |3338 | 7.705385e+02 | 1.176000e+03 | 52.62%| 5.56%
1307.82/1312.31 c 1312s| 3200 | 405 | 2332k| 475.5 | 1407M | 122 |3192 | 26k| 26k| 10k| 1 |7752 |3437 | 7.705385e+02 | 1.176000e+03 | 52.62%| 5.56%
1380.18/1385.00 c 1385s| 3300 | 439 | 2455k| 490.9 | 1438M | 122 |3192 | 26k| 25k| 10k| 1 |7973 |3604 | 7.734728e+02 | 1.176000e+03 | 52.04%| 5.58%
1427.15/1432.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1427.15/1432.05 c 1432s| 3400 | 451 | 2549k| 499.9 | 1461M | 122 |3192 | 26k| 26k| 11k| 1 |8117 |3682 | 7.753458e+02 | 1.176000e+03 | 51.67%| 5.60%
1474.68/1479.75 c 1480s| 3500 | 461 | 2632k| 506.4 | 1477M | 122 |3192 | 26k| 25k| 11k| 1 |8279 |3809 | 7.764847e+02 | 1.176000e+03 | 51.45%| 6.04%
1494.21/1499.38 c 1499s| 3600 | 463 | 2670k| 504.0 | 1479M | 122 |3192 | 26k| 26k| 12k| 1 |8497 |3887 | 7.764847e+02 | 1.176000e+03 | 51.45%| 6.04%
1541.77/1547.05 c 1547s| 3700 | 456 | 2746k| 508.7 | 1512M | 122 |3192 | 26k| 25k| 12k| 0 |8864 |4044 | 7.765803e+02 | 1.176000e+03 | 51.43%| 6.31%
1602.76/1608.27 c 1608s| 3800 | 469 | 2835k| 515.9 | 1540M | 122 |3192 | 26k| 26k| 13k| 1 |9035 |4164 | 7.780973e+02 | 1.176000e+03 | 51.14%| 7.76%
1623.69/1629.29 c 1629s| 3900 | 476 | 2876k| 514.0 | 1542M | 122 |3192 | 26k| 25k| 13k| 1 |9189 |4224 | 7.817277e+02 | 1.176000e+03 | 50.44%| 7.79%
1641.03/1646.61 c 1647s| 4000 | 482 | 2912k| 511.1 | 1555M | 122 |3192 | 26k| 26k| 14k| 0 |9208 |4262 | 7.817277e+02 | 1.176000e+03 | 50.44%| 7.83%
1676.32/1682.06 c 1682s| 4100 | 479 | 2969k| 512.2 | 1576M | 122 |3192 | 26k| 25k| 14k| 2 |9449 |4367 | 7.817277e+02 | 1.176000e+03 | 50.44%| 7.83%
1689.38/1695.13 c 1695s| 4200 | 489 | 2998k| 508.4 | 1577M | 122 |3192 | 26k| 25k| 14k| 1 |9553 |4411 | 7.817277e+02 | 1.176000e+03 | 50.44%| 7.83%
1721.47/1727.35 c 1727s| 4300 | 497 | 3056k| 509.6 | 1594M | 122 |3192 | 26k| 0 | 15k| 0 |9615 |4474 | 7.837208e+02 | 1.176000e+03 | 50.05%| 8.13%
1768.03/1774.09 c 1774s| 4400 | 502 | 3132k| 513.7 | 1611M | 122 |3192 | 26k| 25k| 16k| 1 |9789 |4583 | 7.839630e+02 | 1.176000e+03 | 50.01%| 8.33%
1813.18/1819.36 c 1819s| 4500 | 510 | 3204k| 517.1 | 1633M | 122 |3192 | 26k| 0 | 17k| 0 | 10k|4706 | 7.839630e+02 | 1.176000e+03 | 50.01%| 8.33%
1837.60/1843.82 c 1844s| 4600 | 507 | 3247k| 515.8 | 1643M | 122 |3192 | 26k| 0 | 17k| 0 | 10k|4800 | 7.839630e+02 | 1.176000e+03 | 50.01%| 8.33%
1860.22/1866.51 c 1867s| 4700 | 508 | 3295k| 515.2 | 1644M | 122 |3192 | 26k| 25k| 17k| 1 | 10k|4889 | 7.839630e+02 | 1.176000e+03 | 50.01%| 8.33%
1888.64/1895.03 c 1895s| 4800 | 508 | 3350k| 515.7 | 1651M | 122 |3192 | 27k| 25k| 18k| 2 | 10k|4968 | 7.839630e+02 | 1.176000e+03 | 50.01%| 8.33%
1921.22/1927.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1921.22/1927.78 c 1928s| 4900 | 513 | 3412k| 517.4 | 1662M | 122 |3192 | 27k| 25k| 18k| 1 | 11k|5075 | 7.847112e+02 | 1.176000e+03 | 49.86%| 8.34%
1941.57/1948.15 c 1948s| 5000 | 523 | 3453k| 515.7 | 1666M | 122 |3192 | 27k| 25k| 18k| 0 | 11k|5139 | 7.847112e+02 | 1.176000e+03 | 49.86%| 8.34%
1980.53/1987.24 c 1987s| 5100 | 527 | 3530k| 519.5 | 1669M | 122 |3192 | 27k| 25k| 19k| 1 | 11k|5301 | 7.847112e+02 | 1.176000e+03 | 49.86%| 8.34%
2010.43/2017.20 c 2017s| 5200 | 537 | 3589k| 520.6 | 1671M | 122 |3192 | 27k| 25k| 19k| 2 | 11k|5370 | 7.858019e+02 | 1.176000e+03 | 49.66%| 8.35%
2050.89/2057.83 c 2058s| 5300 | 555 | 3675k| 525.4 | 1673M | 122 |3192 | 27k| 0 | 19k| 0 | 11k|5495 | 7.890924e+02 | 1.176000e+03 | 49.03%| 8.73%
2090.27/2097.39 c 2097s| 5400 | 569 | 3750k| 528.6 | 1699M | 122 |3192 | 26k| 25k| 20k| 1 | 11k|5583 | 7.914066e+02 | 1.176000e+03 | 48.60%| 8.93%
2128.04/2135.22 c 2135s| 5500 | 588 | 3830k| 532.5 | 1701M | 122 |3192 | 26k| 25k| 21k| 1 | 12k|5708 | 7.935768e+02 | 1.176000e+03 | 48.19%| 8.95%
2158.64/2165.94 c 2166s| 5600 | 600 | 3887k| 532.9 | 1705M | 122 |3192 | 26k| 25k| 21k| 1 | 12k|5800 | 7.942027e+02 | 1.176000e+03 | 48.07%| 8.96%
2185.25/2192.64 c 2193s| 5700 | 602 | 3942k| 533.2 | 1706M | 122 |3192 | 27k| 25k| 21k| 0 | 12k|5897 | 7.942027e+02 | 1.176000e+03 | 48.07%| 8.96%
2225.02/2232.50 c 2232s| 5800 | 607 | 4022k| 536.9 | 1708M | 122 |3192 | 27k| 25k| 21k| 0 | 13k|6079 | 7.942027e+02 | 1.176000e+03 | 48.07%| 8.96%
2275.96/2283.66 c 2284s| 5900 | 622 | 4110k| 541.4 | 1730M | 122 |3192 | 27k| 25k| 22k| 1 | 13k|6194 | 7.970131e+02 | 1.176000e+03 | 47.55%| 9.71%
2335.46/2343.35 c 2343s| 6000 | 624 | 4202k| 546.3 | 1762M | 122 |3192 | 27k| 26k| 23k| 0 | 13k|6308 | 7.970131e+02 | 1.176000e+03 | 47.55%| 9.71%
2394.09/2402.14 c 2402s| 6100 | 634 | 4302k| 552.2 | 1802M | 122 |3192 | 27k| 26k| 23k| 0 | 13k|6455 | 7.991153e+02 | 1.176000e+03 | 47.16%| 9.73%
2437.94/2446.15 c 2446s| 6200 | 636 | 4378k| 555.0 | 1806M | 122 |3192 | 27k| 26k| 24k| 1 | 14k|6579 | 7.991153e+02 | 1.176000e+03 | 47.16%| 9.73%
2491.45/2499.87 c 2500s| 6300 | 638 | 4462k| 558.6 | 1812M | 122 |3192 | 27k| 26k| 24k| 1 | 14k|6679 | 7.991153e+02 | 1.176000e+03 | 47.16%| 9.73%
2524.35/2532.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2524.35/2532.87 c 2533s| 6400 | 639 | 4516k| 558.3 | 1835M | 122 |3192 | 27k| 26k| 24k| 1 | 14k|6714 | 7.991153e+02 | 1.176000e+03 | 47.16%| 9.73%
2580.06/2588.72 c 2589s| 6500 | 637 | 4599k| 561.7 | 1882M | 122 |3192 | 27k| 26k| 24k| 1 | 14k|6779 | 7.991153e+02 | 1.176000e+03 | 47.16%| 9.73%
2616.75/2625.53 c 2626s| 6600 | 637 | 4659k| 562.1 | 1905M | 122 |3192 | 27k| 26k| 24k| 1 | 14k|6840 | 7.991153e+02 | 1.176000e+03 | 47.16%| 9.73%
2678.06/2687.07 c 2687s| 6700 | 636 | 4758k| 567.3 | 1929M | 122 |3192 | 27k| 25k| 25k| 1 | 15k|7049 | 7.991153e+02 | 1.176000e+03 | 47.16%| 9.73%
2719.42/2728.55 c 2729s| 6800 | 648 | 4826k| 568.7 | 1941M | 122 |3192 | 27k| 25k| 25k| 1 | 15k|7235 | 7.992560e+02 | 1.176000e+03 | 47.14%| 9.73%
2757.09/2766.30 c 2766s| 6900 | 656 | 4890k| 569.5 | 1954M | 122 |3192 | 27k| 26k| 26k| 1 | 15k|7305 | 7.992575e+02 | 1.176000e+03 | 47.14%| 10.31%
2783.90/2793.21 c 2793s| 7000 | 664 | 4941k| 568.7 | 1960M | 122 |3192 | 27k| 25k| 26k| 1 | 15k|7365 | 7.994180e+02 | 1.176000e+03 | 47.11%| 11.22%
2835.14/2844.62 c 2845s| 7100 | 673 | 5038k| 573.4 | 1964M | 122 |3192 | 27k| 26k| 26k| 2 | 16k|7523 | 8.050336e+02 | 1.176000e+03 | 46.08%| 11.40%
2866.55/2876.11 c 2876s| 7200 | 675 | 5092k| 573.0 | 1986M | 122 |3192 | 27k| 0 | 26k| 0 | 16k|7604 | 8.051162e+02 | 1.176000e+03 | 46.07%| 11.41%
2910.99/2920.73 c 2921s| 7300 | 678 | 5165k| 574.8 | 1988M | 122 |3192 | 27k| 26k| 27k| 3 | 16k|7742 | 8.051162e+02 | 1.176000e+03 | 46.07%| 11.41%
2961.42/2971.39 c 2971s| 7400 | 696 | 5261k| 579.1 | 2004M | 122 |3192 | 27k| 25k| 28k| 0 | 16k|7929 | 8.058943e+02 | 1.176000e+03 | 45.92%| 11.47%
2995.31/3005.33 c 3005s| 7500 | 698 | 5322k| 579.4 | 2007M | 122 |3192 | 27k| 26k| 28k| 4 | 17k|8036 | 8.058943e+02 | 1.176000e+03 | 45.92%| 11.47%
3046.05/3056.22 c 3056s| 7600 | 702 | 5400k| 581.6 | 2013M | 122 |3192 | 27k| 0 | 29k| 0 | 17k|8152 | 8.071649e+02 | 1.176000e+03 | 45.70%| 11.48%
3080.94/3091.28 c 3091s| 7700 | 714 | 5463k| 582.1 | 2020M | 122 |3192 | 27k| 26k| 29k| 1 | 17k|8223 | 8.092129e+02 | 1.176000e+03 | 45.33%| 11.56%
3118.62/3129.11 c 3129s| 7800 | 712 | 5520k| 582.0 | 2054M | 122 |3192 | 27k| 26k| 30k| 1 | 17k|8301 | 8.092129e+02 | 1.176000e+03 | 45.33%| 11.56%
3136.67/3147.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3136.67/3147.16 c 3147s| 7900 | 710 | 5555k| 579.5 | 2056M | 122 |3192 | 27k| 25k| 30k| 1 | 17k|8374 | 8.092129e+02 | 1.176000e+03 | 45.33%| 11.56%
3163.37/3173.91 c 3174s| 8000 | 718 | 5612k| 579.4 | 2060M | 122 |3192 | 27k| 25k| 30k| 2 | 18k|8496 | 8.098070e+02 | 1.176000e+03 | 45.22%| 12.78%
3200.74/3211.43 c 3211s| 8100 | 720 | 5672k| 579.6 | 2083M | 122 |3192 | 27k| 26k| 31k| 1 | 18k|8607 | 8.098070e+02 | 1.176000e+03 | 45.22%| 12.92%
3253.68/3264.58 c 3265s| 8200 | 720 | 5760k| 582.7 | 2098M | 122 |3192 | 27k| 26k| 31k| 0 | 18k|8736 | 8.098070e+02 | 1.176000e+03 | 45.22%| 12.92%
3288.36/3299.30 c 3299s| 8300 | 730 | 5831k| 584.0 | 2102M | 122 |3192 | 27k| 25k| 32k| 0 | 18k|8839 | 8.108731e+02 | 1.176000e+03 | 45.03%| 13.00%
3327.23/3338.39 c 3338s| 8400 | 738 | 5912k| 586.3 | 2109M | 122 |3192 | 27k| 25k| 33k| 1 | 18k|8962 | 8.124169e+02 | 1.176000e+03 | 44.75%| 13.27%
3367.80/3379.08 c 3379s| 8500 | 748 | 5985k| 587.6 | 2121M | 122 |3192 | 27k| 0 | 34k| 0 | 19k|9080 | 8.175303e+02 | 1.176000e+03 | 43.85%| 13.40%
3392.31/3403.63 c 3404s| 8600 | 753 | 6030k| 586.3 | 2132M | 122 |3192 | 27k| 25k| 34k| 1 | 19k|9120 | 8.180089e+02 | 1.176000e+03 | 43.76%| 14.03%
3430.38/3441.86 c 3442s| 8700 | 753 | 6107k| 588.1 | 2134M | 122 |3192 | 27k| 26k| 35k| 1 | 19k|9297 | 8.182478e+02 | 1.176000e+03 | 43.72%| 14.10%
3467.97/3479.56 c 3480s| 8800 | 761 | 6175k| 589.0 | 2137M | 122 |3192 | 27k| 26k| 35k| 0 | 19k|9389 | 8.204553e+02 | 1.176000e+03 | 43.34%| 14.15%
3495.57/3507.22 c 3507s| 8900 | 771 | 6228k| 588.4 | 2140M | 122 |3192 | 27k| 26k| 36k| 2 | 19k|9454 | 8.207814e+02 | 1.176000e+03 | 43.28%| 14.17%
3533.95/3545.70 c 3546s| 9000 | 775 | 6281k| 587.8 | 2160M | 122 |3192 | 27k| 25k| 36k| 1 | 19k|9536 | 8.207814e+02 | 1.176000e+03 | 43.28%| 14.22%
3574.41/3586.36 c 3586s| 9100 | 780 | 6362k| 589.9 | 2161M | 122 |3192 | 27k| 26k| 37k| 1 | 20k|9637 | 8.222595e+02 | 1.176000e+03 | 43.02%| 14.43%
3584.98/3597.00 c
3584.98/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3584.98/3597.00 c Solving Time (sec) : 3596.99
3584.98/3597.00 c Solving Nodes : 9124 (total of 10727 nodes in 2 runs)
3584.98/3597.00 c Primal Bound : +1.17600000000000e+03 (27 solutions)
3584.98/3597.00 c Dual Bound : +8.22259487372787e+02
3584.98/3597.00 c Gap : 43.02 %
3585.09/3597.01 s SATISFIABLE
3585.09/3597.01 v x3204 -x3203 x3202 -x3201 x3200 -x3199 x3198 -x3197 -x3196 x3195 x3194 -x3193 x3192 -x3191 -x3190 x3189 -x3188 -x3187 x3186 -x3185
3585.09/3597.01 v x3184 -x3183 -x3182 -x3181 -x3180 x3179 x3178 -x3177 x3176 -x3175 x3174 -x3173 x3172 -x3171 x3170 -x3169 x3168 -x3167 -x3166
3585.09/3597.01 v x3165 -x3164 -x3163 -x3162 -x3161 x3160 -x3159 -x3158 -x3157 -x3156 x3155 x3154 -x3153 x3152 -x3151 x3150 -x3149 -x3148 -x3147
3585.09/3597.01 v x3146 -x3145 -x3144 -x3143 -x3142 x3141 -x3140 -x3139 x3138 -x3137 x3136 -x3135 -x3134 -x3133 x3132 -x3131 -x3130 x3129
3585.09/3597.01 v -x3128 -x3127 x3126 -x3125 x3124 -x3123 -x3122 -x3121 -x3120 x3119 x3118 -x3117 x3116 -x3115 x3114 -x3113 x3112 -x3111 x3110
3585.09/3597.01 v -x3109 -x3108 x3107 x3106 -x3105 x3104 -x3103 x3102 -x3101 -x3100 -x3099 x3098 -x3097 -x3096 -x3095 -x3094 x3093 -x3092 -x3091
3585.09/3597.01 v -x3090 -x3089 x3088 -x3087 -x3086 -x3085 -x3084 x3083 x3082 -x3081 x3080 -x3079 -x3078 -x3077 x3076 -x3075 x3074 -x3073 x3072
3585.09/3597.01 v -x3071 -x3070 x3069 -x3068 -x3067 x3066 -x3065 x3064 -x3063 -x3062 -x3061 x3060 -x3059 -x3058 x3057 -x3056 -x3055 x3054 -x3053
3585.09/3597.01 v x3052 -x3051 -x3050 -x3049 x3048 -x3047 -x3046 x3045 -x3044 -x3043 x3042 -x3041 x3040 -x3039 -x3038 -x3037 x3036 -x3035
3585.09/3597.01 v x3034 -x3033 x3032 -x3031 x3030 -x3029 -x3028 x3027 x3026 -x3025 -x3024 x3023 -x3022 -x3021 -x3020 -x3019 x3018 -x3017 x3016
3585.09/3597.01 v -x3015 -x3014 -x3013 -x3012 x3011 x3010 -x3009 x3008 -x3007 -x3006 -x3005 -x3004 -x3003 x3002 -x3001 -x3000 -x2999 -x2998 x2997
3585.09/3597.01 v -x2996 -x2995 x2994 -x2993 x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 x2985 -x2984 -x2983 x2982 -x2981 x2980 -x2979
3585.09/3597.01 v -x2978 -x2977 -x2976 -x2975 -x2974 x2973 -x2972 -x2971 x2970 -x2969 x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 x2961 -x2960
3585.09/3597.01 v -x2959 x2958 -x2957 x2956 -x2955 -x2954 -x2953 x2952 -x2951 -x2950 x2949 -x2948 -x2947 x2946 -x2945 x2944 -x2943 -x2942 -x2941
3585.09/3597.01 v -x2940 -x2939 -x2938 x2937 -x2936 -x2935 -x2934 -x2933 x2932 -x2931 -x2930 -x2929 x2928 -x2927 -x2926 x2925 -x2924 -x2923
3585.09/3597.01 v x2922 -x2921 x2920 -x2919 -x2918 -x2917 x2916 -x2915 -x2914 x2913 -x2912 -x2911 x2910 -x2909 x2908 -x2907 -x2906 -x2905 -x2904
3585.09/3597.01 v x2903 x2902 -x2901 x2900 -x2899 x2898 -x2897 x2896 -x2895 x2894 -x2893 x2892 -x2891 -x2890 x2889 -x2888 -x2887 x2886 -x2885
3585.09/3597.01 v x2884 -x2883 -x2882 -x2881 -x2880 x2879 x2878 -x2877 x2876 -x2875 x2874 -x2873 x2872 -x2871 x2870 -x2869 -x2868 x2867 x2866
3585.09/3597.01 v -x2865 x2864 -x2863 -x2862 -x2861 x2860 -x2859 x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 x2851 x2850 -x2849 x2848 -x2847
3585.09/3597.01 v -x2846 -x2845 -x2844 x2843 x2842 -x2841 x2840 -x2839 x2838 -x2837 x2836 -x2835 x2834 -x2833 -x2832 -x2831 -x2830 x2829 -x2828
3585.09/3597.01 v -x2827 -x2826 -x2825 x2824 -x2823 -x2822 -x2821 -x2820 x2819 x2818 -x2817 x2816 -x2815 -x2814 -x2813 -x2812 -x2811 x2810
3585.09/3597.01 v -x2809 x2808 -x2807 -x2806 x2805 -x2804 -x2803 x2802 -x2801 x2800 -x2799 -x2798 -x2797 x2796 -x2795 -x2794 x2793 -x2792 -x2791
3585.09/3597.01 v -x2790 -x2789 x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 x2781 -x2780 -x2779 x2778 -x2777 x2776 -x2775 -x2774 -x2773
3585.09/3597.01 v -x2772 -x2771 -x2770 x2769 -x2768 -x2767 x2766 -x2765 x2764 -x2763 -x2762 -x2761 x2760 -x2759 -x2758 x2757 -x2756 -x2755 x2754
3585.09/3597.01 v -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 x2745 -x2744 -x2743 x2742 -x2741 x2740 -x2739 -x2738 -x2737 x2736
3585.09/3597.01 v -x2735 x2734 -x2733 x2732 -x2731 x2730 -x2729 -x2728 x2727 x2726 -x2725 -x2724 x2723 x2722 -x2721 x2720 -x2719 x2718 -x2717 x2716
3585.09/3597.01 v -x2715 x2714 -x2713 -x2712 -x2711 -x2710 x2709 -x2708 -x2707 x2706 -x2705 x2704 -x2703 -x2702 -x2701 -x2700 x2699 x2698
3585.09/3597.01 v -x2697 x2696 -x2695 x2694 -x2693 x2692 -x2691 x2690 -x2689 -x2688 x2687 x2686 -x2685 x2684 -x2683 x2682 -x2681 x2680 -x2679 x2678
3585.09/3597.01 v -x2677 -x2676 x2675 x2674 -x2673 x2672 -x2671 x2670 -x2669 x2668 -x2667 x2666 -x2665 -x2664 -x2663 -x2662 x2661 -x2660 -x2659
3585.09/3597.01 v -x2658 -x2657 x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 x2649 -x2648 -x2647 x2646 -x2645 x2644 -x2643 -x2642 -x2641
3585.09/3597.01 v x2640 -x2639 x2638 -x2637 x2636 -x2635 -x2634 x2633 x2632 -x2631 x2630 -x2629 -x2628 x2627 x2626 -x2625 x2624 -x2623 x2622
3585.09/3597.01 v -x2621 x2620 -x2619 x2618 -x2617 -x2616 -x2615 -x2614 x2613 -x2612 -x2611 x2610 -x2609 x2608 -x2607 -x2606 -x2605 -x2604 x2603
3585.09/3597.01 v x2602 -x2601 x2600 -x2599 -x2598 -x2597 x2596 -x2595 x2594 -x2593 x2592 -x2591 -x2590 x2589 -x2588 -x2587 x2586 -x2585 -x2584
3585.09/3597.01 v -x2583 -x2582 -x2581 -x2580 x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 x2572 -x2571 -x2570 -x2569 x2568 -x2567 x2566
3585.09/3597.01 v -x2565 x2564 -x2563 -x2562 x2561 x2560 -x2559 x2558 -x2557 -x2556 x2555 x2554 -x2553 x2552 -x2551 -x2550 -x2549 -x2548 -x2547
3585.09/3597.01 v x2546 -x2545 -x2544 x2543 x2542 -x2541 x2540 -x2539 x2538 -x2537 x2536 -x2535 x2534 -x2533 -x2532 x2531 x2530 -x2529 x2528
3585.09/3597.01 v -x2527 x2526 -x2525 x2524 -x2523 x2522 -x2521 -x2520 x2519 x2518 -x2517 x2516 -x2515 x2514 -x2513 x2512 -x2511 x2510 -x2509 -x2508
3585.09/3597.01 v -x2507 -x2506 x2505 -x2504 -x2503 x2502 -x2501 x2500 -x2499 -x2498 -x2497 x2496 -x2495 x2494 -x2493 x2492 -x2491 -x2490
3585.09/3597.01 v x2489 x2488 -x2487 x2486 -x2485 -x2484 -x2483 -x2482 x2481 -x2480 -x2479 -x2478 -x2477 x2476 -x2475 -x2474 -x2473 x2472 -x2471
3585.09/3597.01 v -x2470 -x2469 -x2468 x2467 -x2466 -x2465 x2464 -x2463 -x2462 -x2461 -x2460 x2459 x2458 -x2457 x2456 -x2455 x2454 -x2453 x2452
3585.09/3597.01 v -x2451 x2450 -x2449 x2448 -x2447 x2446 -x2445 x2444 -x2443 -x2442 x2441 x2440 -x2439 x2438 -x2437 -x2436 x2435 x2434 -x2433
3585.09/3597.01 v x2432 -x2431 x2430 -x2429 x2428 -x2427 x2426 -x2425 x2424 -x2423 x2422 -x2421 x2420 -x2419 -x2418 x2417 x2416 -x2415 x2414
3585.09/3597.01 v -x2413 x2412 -x2411 x2410 -x2409 x2408 -x2407 -x2406 x2405 -x2404 -x2403 x2402 -x2401 -x2400 x2399 x2398 -x2397 x2396 -x2395
3585.09/3597.01 v -x2394 -x2393 x2392 -x2391 x2390 -x2389 -x2388 x2387 x2386 -x2385 x2384 -x2383 -x2382 -x2381 x2380 -x2379 x2378 -x2377 -x2376
3585.09/3597.01 v x2375 -x2374 -x2373 -x2372 -x2371 x2370 -x2369 x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 x2361 -x2360 -x2359 x2358 -x2357
3585.09/3597.01 v -x2356 -x2355 -x2354 -x2353 x2352 -x2351 x2350 -x2349 x2348 -x2347 -x2346 x2345 x2344 -x2343 x2342 -x2341 x2340 -x2339 -x2338
3585.09/3597.01 v x2337 -x2336 -x2335 x2334 -x2333 -x2332 -x2331 -x2330 -x2329 x2328 -x2327 -x2326 x2325 -x2324 -x2323 x2322 -x2321 x2320
3585.09/3597.01 v -x2319 -x2318 -x2317 x2316 -x2315 x2314 -x2313 x2312 -x2311 x2310 -x2309 -x2308 x2307 x2306 -x2305 x2304 -x2303 x2302 -x2301
3585.09/3597.01 v x2300 -x2299 x2298 -x2297 -x2296 x2295 x2294 -x2293 -x2292 -x2291 -x2290 x2289 -x2288 -x2287 x2286 -x2285 x2284 -x2283 -x2282
3585.09/3597.01 v -x2281 -x2280 x2279 x2278 -x2277 x2276 -x2275 x2274 -x2273 -x2272 -x2271 x2270 -x2269 -x2268 -x2267 -x2266 x2265 -x2264 -x2263
3585.09/3597.01 v x2262 -x2261 x2260 -x2259 -x2258 -x2257 x2256 -x2255 x2254 -x2253 x2252 -x2251 -x2250 x2249 x2248 -x2247 x2246 -x2245 x2244
3585.09/3597.01 v -x2243 -x2242 -x2241 -x2240 -x2239 x2238 -x2237 x2236 -x2235 -x2234 x2233 -x2232 x2231 x2230 -x2229 x2228 -x2227 -x2226 -x2225
3585.09/3597.01 v x2224 -x2223 x2222 -x2221 -x2220 x2219 x2218 -x2217 x2216 -x2215 x2214 -x2213 x2212 -x2211 x2210 -x2209 -x2208 -x2207 -x2206
3585.09/3597.01 v x2205 -x2204 -x2203 x2202 -x2201 x2200 -x2199 -x2198 -x2197 -x2196 x2195 x2194 -x2193 x2192 -x2191 -x2190 -x2189 x2188 -x2187
3585.09/3597.01 v x2186 -x2185 -x2184 -x2183 -x2182 x2181 -x2180 -x2179 x2178 -x2177 x2176 -x2175 -x2174 -x2173 x2172 -x2171 -x2170 x2169
3585.09/3597.01 v -x2168 -x2167 x2166 -x2165 x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 x2157 -x2156 -x2155 x2154 -x2153 x2152 -x2151 -x2150
3585.09/3597.01 v -x2149 -x2148 x2147 -x2146 -x2145 -x2144 -x2143 x2142 -x2141 x2140 -x2139 -x2138 -x2137 -x2136 x2135 x2134 -x2133 x2132 -x2131
3585.09/3597.01 v x2130 -x2129 x2128 -x2127 x2126 -x2125 -x2124 x2123 x2122 -x2121 x2120 -x2119 -x2118 -x2117 x2116 -x2115 x2114 -x2113 x2112
3585.09/3597.01 v -x2111 -x2110 x2109 -x2108 -x2107 -x2106 -x2105 x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 x2097 -x2096 -x2095 -x2094
3585.09/3597.01 v -x2093 x2092 -x2091 -x2090 -x2089 x2088 -x2087 -x2086 x2085 -x2084 -x2083 x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076
3585.09/3597.01 v x2075 x2074 -x2073 x2072 -x2071 -x2070 -x2069 x2068 -x2067 x2066 -x2065 -x2064 x2063 -x2062 -x2061 -x2060 -x2059 x2058 -x2057
3585.09/3597.01 v -x2056 -x2055 -x2054 -x2053 x2052 -x2051 -x2050 x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 x2039 x2038
3585.09/3597.01 v -x2037 x2036 -x2035 x2034 -x2033 x2032 -x2031 x2030 -x2029 x2028 -x2027 -x2026 x2025 -x2024 -x2023 x2022 -x2021 x2020 -x2019
3585.09/3597.01 v -x2018 -x2017 -x2016 -x2015 -x2014 x2013 -x2012 -x2011 x2010 -x2009 x2008 -x2007 -x2006 -x2005 -x2004 x2003 x2002 -x2001
3585.09/3597.01 v x2000 -x1999 -x1998 -x1997 x1996 -x1995 x1994 -x1993 -x1992 -x1991 -x1990 x1989 -x1988 -x1987 x1986 -x1985 x1984 -x1983 -x1982
3585.09/3597.01 v -x1981 -x1980 x1979 x1978 -x1977 x1976 -x1975 -x1974 -x1973 -x1972 -x1971 x1970 -x1969 x1968 -x1967 -x1966 x1965 -x1964 -x1963
3585.09/3597.01 v x1962 -x1961 x1960 -x1959 -x1958 -x1957 x1956 -x1955 -x1954 x1953 -x1952 -x1951 x1950 -x1949 x1948 -x1947 -x1946 -x1945
3585.09/3597.01 v x1944 -x1943 -x1942 x1941 -x1940 -x1939 x1938 -x1937 x1936 -x1935 -x1934 -x1933 -x1932 x1931 x1930 -x1929 x1928 -x1927 -x1926
3585.09/3597.01 v -x1925 x1924 -x1923 x1922 -x1921 -x1920 -x1919 -x1918 x1917 -x1916 -x1915 x1914 -x1913 x1912 -x1911 -x1910 -x1909 -x1908 -x1907
3585.09/3597.01 v -x1906 x1905 -x1904 -x1903 x1902 -x1901 x1900 -x1899 -x1898 -x1897 x1896 -x1895 -x1894 x1893 -x1892 -x1891 x1890 -x1889 x1888
3585.09/3597.01 v -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 x1881 -x1880 -x1879 x1878 -x1877 x1876 -x1875 -x1874 -x1873 x1872 -x1871 -x1870
3585.09/3597.01 v x1869 -x1868 -x1867 x1866 -x1865 x1864 -x1863 -x1862 -x1861 x1860 -x1859 -x1858 x1857 -x1856 -x1855 x1854 -x1853 x1852 -x1851
3585.09/3597.01 v -x1850 -x1849 -x1848 x1847 x1846 -x1845 x1844 -x1843 x1842 -x1841 x1840 -x1839 x1838 -x1837 x1836 -x1835 x1834 -x1833 x1832
3585.09/3597.01 v -x1831 x1830 -x1829 -x1828 x1827 x1826 -x1825 x1824 -x1823 -x1822 x1821 -x1820 -x1819 x1818 -x1817 x1816 -x1815 -x1814 -x1813
3585.09/3597.01 v -x1812 x1811 x1810 -x1809 x1808 -x1807 x1806 -x1805 x1804 -x1803 x1802 -x1801 -x1800 -x1799 -x1798 x1797 -x1796 -x1795 x1794
3585.09/3597.01 v -x1793 x1792 -x1791 -x1790 -x1789 -x1788 x1787 x1786 -x1785 x1784 -x1783 x1782 -x1781 x1780 -x1779 x1778 -x1777 x1776 -x1775
3585.09/3597.01 v -x1774 x1773 -x1772 -x1771 -x1770 -x1769 x1768 -x1767 -x1766 -x1765 -x1764 x1763 x1762 -x1761 x1760 -x1759 x1758 -x1757 x1756
3585.09/3597.01 v -x1755 x1754 -x1753 -x1752 -x1751 -x1750 x1749 -x1748 -x1747 x1746 -x1745 x1744 -x1743 -x1742 -x1741 -x1740 x1739 x1738 -x1737
3585.09/3597.01 v x1736 -x1735 -x1734 -x1733 -x1732 -x1731 x1730 -x1729 -x1728 x1727 x1726 -x1725 x1724 -x1723 x1722 -x1721 x1720 -x1719
3585.09/3597.01 v x1718 -x1717 x1716 -x1715 x1714 -x1713 x1712 -x1711 -x1710 x1709 -x1708 -x1707 x1706 -x1705 x1704 -x1703 -x1702 x1701 -x1700
3585.09/3597.01 v -x1699 -x1698 -x1697 x1696 -x1695 -x1694 -x1693 x1692 -x1691 x1690 -x1689 x1688 -x1687 -x1686 x1685 x1684 -x1683 x1682 -x1681
3585.09/3597.01 v -x1680 -x1679 -x1678 x1677 -x1676 -x1675 x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 x1665 -x1664 -x1663 x1662
3585.09/3597.01 v -x1661 x1660 -x1659 -x1658 -x1657 -x1656 x1655 x1654 -x1653 x1652 -x1651 x1650 -x1649 x1648 -x1647 x1646 -x1645 x1644 -x1643
3585.09/3597.01 v -x1642 x1641 -x1640 -x1639 -x1638 -x1637 x1636 -x1635 -x1634 -x1633 -x1632 x1631 x1630 -x1629 x1628 -x1627 x1626 -x1625
3585.09/3597.01 v x1624 -x1623 x1622 -x1621 x1620 -x1619 -x1618 x1617 -x1616 -x1615 x1614 -x1613 x1612 -x1611 -x1610 -x1609 -x1608 x1607 x1606
3585.09/3597.01 v -x1605 x1604 -x1603 -x1602 -x1601 x1600 -x1599 x1598 -x1597 -x1596 -x1595 -x1594 x1593 -x1592 -x1591 x1590 -x1589 x1588 -x1587
3585.09/3597.01 v -x1586 -x1585 x1584 -x1583 -x1582 x1581 -x1580 -x1579 x1578 -x1577 x1576 -x1575 -x1574 -x1573 -x1572 x1571 x1570 -x1569 x1568
3585.09/3597.01 v -x1567 -x1566 -x1565 x1564 -x1563 x1562 -x1561 -x1560 -x1559 -x1558 x1557 -x1556 -x1555 x1554 -x1553 x1552 -x1551 -x1550 -x1549
3585.09/3597.01 v x1548 -x1547 -x1546 x1545 -x1544 -x1543 -x1542 -x1541 x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 x1533 -x1532 -x1531
3585.09/3597.01 v x1530 -x1529 x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 x1521 -x1520 -x1519 x1518 -x1517 x1516 -x1515 -x1514 -x1513 -x1512
3585.09/3597.01 v -x1511 -x1510 x1509 -x1508 -x1507 x1506 -x1505 x1504 -x1503 -x1502 -x1501 x1500 -x1499 x1498 -x1497 x1496 -x1495 x1494
3585.09/3597.01 v -x1493 -x1492 x1491 x1490 -x1489 -x1488 -x1487 -x1486 x1485 -x1484 -x1483 x1482 -x1481 -x1480 -x1479 -x1478 -x1477 x1476 -x1475
3585.09/3597.01 v -x1474 x1473 -x1472 -x1471 x1470 -x1469 -x1468 -x1467 -x1466 -x1465 x1464 -x1463 -x1462 x1461 -x1460 -x1459 x1458 -x1457 x1456
3585.09/3597.01 v -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 x1449 -x1448 -x1447 x1446 -x1445 -x1444 -x1443 -x1442 -x1441 x1440 -x1439 x1438
3585.09/3597.01 v -x1437 x1436 -x1435 -x1434 x1433 x1432 -x1431 x1430 -x1429 -x1428 x1427 -x1426 -x1425 -x1424 -x1423 x1422 -x1421 x1420 -x1419
3585.09/3597.01 v -x1418 -x1417 -x1416 x1415 x1414 -x1413 x1412 -x1411 x1410 -x1409 x1408 -x1407 x1406 -x1405 -x1404 -x1403 -x1402 x1401 -x1400
3585.09/3597.01 v -x1399 x1398 -x1397 x1396 -x1395 -x1394 -x1393 x1392 -x1391 x1390 -x1389 x1388 -x1387 -x1386 x1385 x1384 -x1383 x1382 -x1381
3585.09/3597.01 v -x1380 x1379 x1378 -x1377 x1376 -x1375 -x1374 -x1373 x1372 -x1371 x1370 -x1369 -x1368 x1367 x1366 -x1365 x1364 -x1363 -x1362
3585.09/3597.01 v -x1361 x1360 -x1359 x1358 -x1357 x1356 -x1355 -x1354 x1353 -x1352 -x1351 x1350 -x1349 x1348 -x1347 -x1346 -x1345 -x1344 x1343
3585.09/3597.01 v -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 x1329 -x1328 -x1327 x1326 -x1325
3585.09/3597.01 v x1324 -x1323 -x1322 -x1321 -x1320 x1319 x1318 -x1317 x1316 -x1315 -x1314 -x1313 x1312 -x1311 x1310 -x1309 -x1308 -x1307 -x1306
3585.09/3597.01 v x1305 -x1304 -x1303 x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 x1293 -x1292 -x1291 -x1290 -x1289 x1288
3585.09/3597.01 v -x1287 -x1286 -x1285 -x1284 x1283 x1282 -x1281 x1280 -x1279 -x1278 -x1277 x1276 -x1275 x1274 -x1273 -x1272 -x1271 -x1270 x1269
3585.09/3597.01 v -x1268 -x1267 x1266 -x1265 x1264 -x1263 -x1262 -x1261 x1260 -x1259 -x1258 x1257 -x1256 -x1255 x1254 -x1253 x1252 -x1251 -x1250
3585.09/3597.01 v -x1249 x1248 -x1247 -x1246 x1245 -x1244 -x1243 -x1242 -x1241 x1240 -x1239 -x1238 -x1237 x1236 -x1235 -x1234 x1233 -x1232
3585.09/3597.01 v -x1231 x1230 -x1229 x1228 -x1227 -x1226 -x1225 x1224 -x1223 -x1222 x1221 -x1220 -x1219 x1218 -x1217 x1216 -x1215 -x1214 -x1213
3585.09/3597.01 v -x1212 x1211 -x1210 -x1209 -x1208 -x1207 x1206 -x1205 x1204 -x1203 -x1202 -x1201 -x1200 x1199 x1198 -x1197 x1196 -x1195 x1194
3585.09/3597.01 v -x1193 x1192 -x1191 x1190 -x1189 -x1188 x1187 x1186 -x1185 x1184 -x1183 x1182 -x1181 x1180 -x1179 x1178 -x1177 -x1176 -x1175
3585.09/3597.01 v -x1174 x1173 -x1172 -x1171 x1170 -x1169 x1168 -x1167 -x1166 -x1165 -x1164 x1163 x1162 -x1161 x1160 -x1159 x1158 -x1157 x1156
3585.09/3597.01 v -x1155 x1154 -x1153 -x1152 -x1151 -x1150 x1149 -x1148 -x1147 x1146 -x1145 -x1144 -x1143 -x1142 -x1141 x1140 -x1139 -x1138
3585.09/3597.01 v x1137 -x1136 -x1135 x1134 -x1133 x1132 -x1131 -x1130 -x1129 -x1128 x1127 x1126 -x1125 x1124 -x1123 x1122 -x1121 x1120 -x1119
3585.09/3597.01 v x1118 -x1117 -x1116 x1115 x1114 -x1113 x1112 -x1111 x1110 -x1109 x1108 -x1107 x1106 -x1105 x1104 -x1103 x1102 -x1101 x1100
3585.09/3597.01 v -x1099 x1098 -x1097 -x1096 x1095 x1094 -x1093 -x1092 x1091 x1090 -x1089 x1088 -x1087 x1086 -x1085 x1084 -x1083 x1082 -x1081 x1080
3585.09/3597.01 v -x1079 x1078 -x1077 x1076 -x1075 -x1074 x1073 x1072 -x1071 x1070 -x1069 -x1068 x1067 x1066 -x1065 x1064 -x1063 x1062 -x1061
3585.09/3597.01 v x1060 -x1059 x1058 -x1057 -x1056 -x1055 -x1054 x1053 -x1052 -x1051 -x1050 -x1049 x1048 -x1047 -x1046 -x1045 -x1044 x1043
3585.09/3597.01 v x1042 -x1041 x1040 -x1039 -x1038 -x1037 x1036 -x1035 x1034 -x1033 -x1032 x1031 x1030 -x1029 x1028 -x1027 x1026 -x1025 x1024 -x1023
3585.09/3597.01 v x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 x1015 x1014 -x1013 x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 x1005
3585.09/3597.01 v -x1004 -x1003 -x1002 -x1001 x1000 -x999 -x998 -x997 x996 -x995 -x994 x993 -x992 -x991 x990 -x989 x988 -x987 -x986 -x985 x984
3585.09/3597.01 v -x983 -x982 x981 -x980 -x979 x978 -x977 x976 -x975 -x974 -x973 -x972 x971 x970 -x969 x968 -x967 x966 -x965 x964 -x963 x962
3585.09/3597.01 v -x961 x960 -x959 x958 -x957 x956 -x955 x954 -x953 -x952 x951 x950 -x949 -x948 -x947 -x946 x945 -x944 -x943 x942 -x941 -x940 -x939
3585.09/3597.01 v -x938 -x937 -x936 -x935 -x934 x933 -x932 -x931 x930 -x929 -x928 -x927 -x926 -x925 x924 -x923 -x922 x921 -x920 -x919 x918
3585.09/3597.01 v -x917 x916 -x915 -x914 -x913 x912 -x911 -x910 x909 -x908 -x907 x906 -x905 x904 -x903 -x902 -x901 -x900 -x899 -x898 x897 -x896
3585.09/3597.01 v -x895 x894 -x893 x892 -x891 -x890 -x889 x888 -x887 x886 -x885 x884 -x883 -x882 x881 x880 -x879 x878 -x877 x876 -x875 -x874
3585.09/3597.01 v x873 -x872 -x871 x870 -x869 x868 -x867 -x866 -x865 x864 -x863 x862 -x861 x860 -x859 -x858 x857 x856 -x855 x854 -x853 x852 -x851
3585.09/3597.01 v -x850 x849 -x848 -x847 x846 -x845 x844 -x843 -x842 -x841 -x840 x839 x838 -x837 x836 -x835 x834 -x833 x832 -x831 x830 -x829
3585.09/3597.01 v -x828 -x827 -x826 x825 -x824 -x823 x822 -x821 x820 -x819 -x818 -x817 x816 -x815 -x814 x813 -x812 -x811 x810 -x809 x808 -x807
3585.09/3597.01 v -x806 -x805 x804 -x803 x802 -x801 x800 -x799 x798 -x797 -x796 x795 x794 -x793 x792 -x791 -x790 x789 -x788 -x787 x786 -x785 x784
3585.09/3597.01 v -x783 -x782 -x781 -x780 -x779 -x778 x777 -x776 -x775 x774 -x773 x772 -x771 -x770 -x769 x768 -x767 -x766 x765 -x764 -x763
3585.09/3597.01 v -x762 -x761 x760 -x759 -x758 -x757 -x756 -x755 -x754 x753 -x752 -x751 x750 -x749 x748 -x747 -x746 -x745 -x744 -x743 -x742 x741
3585.09/3597.01 v -x740 -x739 -x738 -x737 x736 -x735 -x734 -x733 -x732 x731 x730 -x729 x728 -x727 x726 -x725 x724 -x723 x722 -x721 -x720 x719
3585.09/3597.01 v x718 -x717 x716 -x715 x714 -x713 x712 -x711 x710 -x709 x708 -x707 -x706 x705 -x704 -x703 x702 -x701 x700 -x699 -x698 -x697 x696
3585.09/3597.01 v -x695 -x694 x693 -x692 -x691 -x690 -x689 x688 -x687 -x686 -x685 -x684 -x683 -x682 x681 -x680 -x679 -x678 -x677 x676 -x675
3585.09/3597.01 v -x674 -x673 -x672 -x671 -x670 x669 -x668 -x667 x666 -x665 x664 -x663 -x662 -x661 -x660 x659 x658 -x657 x656 -x655 x654 -x653
3585.09/3597.01 v x652 -x651 x650 -x649 -x648 x647 x646 -x645 x644 -x643 -x642 -x641 x640 -x639 x638 -x637 x636 -x635 -x634 x633 -x632 -x631 x630
3585.09/3597.01 v -x629 x628 -x627 -x626 -x625 x624 -x623 -x622 x621 -x620 -x619 -x618 -x617 x616 -x615 -x614 -x613 x612 -x611 -x610 x609 -x608
3585.09/3597.01 v -x607 x606 -x605 x604 -x603 -x602 -x601 x600 -x599 -x598 x597 -x596 -x595 x594 -x593 x592 -x591 -x590 -x589 x588 -x587 -x586
3585.09/3597.01 v x585 -x584 -x583 x582 -x581 x580 -x579 -x578 -x577 -x576 x575 x574 -x573 x572 -x571 x570 -x569 -x568 -x567 x566 -x565 x564
3585.09/3597.01 v -x563 -x562 x561 -x560 -x559 x558 -x557 x556 -x555 -x554 -x553 x552 -x551 -x550 x549 -x548 -x547 x546 -x545 x544 -x543 -x542
3585.09/3597.01 v -x541 -x540 x539 x538 -x537 x536 -x535 -x534 -x533 x532 -x531 x530 -x529 x528 -x527 -x526 x525 -x524 -x523 -x522 -x521 x520
3585.09/3597.01 v -x519 -x518 -x517 x516 -x515 -x514 x513 -x512 -x511 x510 -x509 -x508 -x507 -x506 -x505 -x504 x503 x502 -x501 x500 -x499 x498
3585.09/3597.01 v -x497 x496 -x495 x494 -x493 -x492 x491 x490 -x489 x488 -x487 x486 -x485 x484 -x483 x482 -x481 -x480 -x479 -x478 x477 -x476
3585.09/3597.01 v -x475 x474 -x473 -x472 -x471 -x470 -x469 x468 -x467 -x466 x465 -x464 -x463 x462 -x461 x460 -x459 -x458 -x457 -x456 x455 x454
3585.09/3597.01 v -x453 x452 -x451 x450 -x449 x448 -x447 x446 -x445 x444 -x443 -x442 x441 -x440 -x439 -x438 -x437 x436 -x435 -x434 -x433 x432 -x431
3585.09/3597.01 v -x430 -x429 -x428 -x427 x426 -x425 -x424 -x423 -x422 x421 -x420 x419 x418 -x417 x416 -x415 x414 -x413 x412 -x411 x410 -x409
3585.09/3597.01 v -x408 x407 x406 -x405 x404 -x403 x402 -x401 x400 -x399 x398 -x397 -x396 -x395 -x394 x393 -x392 -x391 x390 -x389 x388 -x387
3585.09/3597.01 v -x386 -x385 -x384 x383 -x382 x381 -x380 x379 -x378 x377 -x376 x375 -x374 x373 -x372 x371 -x370 x369 -x368 x367 -x366 x365 -x364
3585.09/3597.01 v x363 -x362 x361 -x360 x359 -x358 x357 -x356 x355 -x354 x353 -x352 x351 -x350 x349 x348 -x347 -x346 x345 -x344 x343 -x342
3585.09/3597.01 v x341 -x340 x339 -x338 x337 -x336 x335 -x334 x333 -x332 x331 -x330 x329 -x328 x327 -x326 x325 -x324 x323 -x322 x321 -x320 x319
3585.09/3597.01 v -x318 x317 -x316 x315 -x314 x313 -x312 x311 -x310 x309 -x308 x307 -x306 x305 -x304 x303 -x302 x301 -x300 x299 -x298 x297 -x296
3585.09/3597.01 v x295 -x294 x293 -x292 x291 x290 -x289 -x288 x287 -x286 x285 -x284 x283 -x282 x281 -x280 x279 -x278 x277 -x276 x275 -x274
3585.09/3597.01 v x273 -x272 x271 -x270 x269 -x268 x267 -x266 x265 -x264 x263 -x262 x261 -x260 x259 -x258 x257 -x256 x255 -x254 x253 -x252 x251
3585.09/3597.01 v -x250 x249 -x248 x247 -x246 x245 -x244 x243 -x242 x241 -x240 x239 -x238 x237 -x236 x235 -x234 x233 -x232 x231 -x230 x229 -x228
3585.09/3597.01 v x227 x226 -x225 -x224 x223 -x222 x221 -x220 x219 -x218 x217 -x216 x215 -x214 x213 -x212 x211 -x210 x209 -x208 x207 -x206 x205
3585.09/3597.01 v -x204 x203 -x202 x201 -x200 x199 -x198 x197 -x196 x195 -x194 x193 -x192 x191 -x190 x189 -x188 x187 -x186 x185 -x184 x183
3585.09/3597.01 v -x182 x181 -x180 x179 -x178 x177 x176 -x175 -x174 x173 -x172 x171 -x170 x169 -x168 x167 -x166 x165 -x164 x163 -x162 x161 -x160
3585.09/3597.01 v x159 -x158 x157 -x156 x155 -x154 x153 -x152 x151 -x150 x149 -x148 x147 -x146 x145 -x144 x143 -x142 x141 -x140 x139 -x138 x137
3585.09/3597.01 v -x136 x135 -x134 x133 -x132 x131 x130 -x129 -x128 x127 -x126 x125 -x124 x123 -x122 x121 -x120 x119 -x118 x117 -x116 x115 -x114
3585.09/3597.01 v x113 -x112 x111 -x110 x109 -x108 x107 -x106 x105 -x104 x103 -x102 x101 -x100 x99 -x98 x97 -x96 x95 -x94 x93 -x92 x91 -x90
3585.09/3597.01 v x89 -x88 x87 -x86 x85 x84 -x83 -x82 x81 -x80 x79 -x78 x77 -x76 x75 x74 -x73 -x72 x71 x70 -x69 -x68 x67 -x66 x65 -x64 x63 -x62
3585.09/3597.01 v x61 -x60 x59 -x58 x57 -x56 x55 -x54 x53 -x52 x51 -x50 x49 -x48 x47 -x46 x45 -x44 x43 -x42 x41 -x40 x39 -x38 x37 -x36 x35 x34
3585.09/3597.01 v -x33 -x32 x31 -x30 x29 -x28 x27 -x26 x25 -x24 x23 -x22 x21 -x20 x19 -x18 x17 -x16 x15 -x14 x13 -x12 x11 -x10 x9 -x8 x7 -x6
3585.09/3597.01 v x5 -x4 x3 -x2 x1
3585.09/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3585.09/3597.01 c Total Time : 3596.99
3585.09/3597.01 c solving : 3596.99
3585.09/3597.01 c presolving : 3.45 (included in solving)
3585.09/3597.01 c reading : 0.12 (included in solving)
3585.09/3597.01 c copying : 0.79 (25 #copies) (minimal 0.03, maximal 0.04, average 0.03)
3585.09/3597.01 c Original Problem :
3585.09/3597.01 c Problem name : HOME/instance-4432586-1721071420.opb
3585.09/3597.01 c Variables : 3204 (3204 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.09/3597.01 c Constraints : 24883 initial, 24883 maximal
3585.09/3597.01 c Objective : minimize, 3204 non-zeros (abs.min = 1, abs.max = 1)
3585.09/3597.01 c Presolved Problem :
3585.09/3597.01 c Problem name : t_HOME/instance-4432586-1721071420.opb
3585.09/3597.01 c Variables : 3192 (3192 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.09/3597.01 c Constraints : 26179 initial, 27795 maximal
3585.09/3597.01 c Objective : minimize, 3192 non-zeros (abs.min = 1, abs.max = 1)
3585.09/3597.01 c Nonzeros : 71417 constraint, 81787 clique table
3585.09/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3585.09/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.09/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.09/3597.01 c domcol : 0.02 0.00 2 0 0 0 0 0 0 0 0 0
3585.09/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.09/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.09/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.09/3597.01 c dualsparsify : 0.14 0.00 1 0 0 0 0 0 0 0 0 0
3585.09/3597.01 c gateextraction : 0.08 0.00 5 0 0 0 0 0 0 0 0 0
3585.09/3597.01 c implics : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3585.09/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.09/3597.01 c milp : 0.13 0.00 1 0 0 0 0 0 0 0 0 0
3585.09/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.09/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.09/3597.01 c sparsify : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3585.09/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.09/3597.01 c trivial : 0.00 0.00 10 0 0 0 0 0 0 0 0 0
3585.09/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.09/3597.01 c dualfix : 0.00 0.00 10 12 0 0 0 0 0 0 0 0
3585.09/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.09/3597.01 c probing : 2.53 0.00 1 0 0 0 0 0 0 0 0 0
3585.09/3597.01 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.09/3597.01 c symmetry : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
3585.09/3597.01 c vbounds : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3585.09/3597.01 c knapsack : 0.05 0.00 9 0 0 0 0 0 2 16 15 416
3585.09/3597.01 c setppc : 0.15 0.00 19 0 0 0 0 0 48 0 0 0
3585.09/3597.01 c linear : 0.18 0.02 14 0 0 0 0 0 12 0 0 0
3585.09/3597.01 c logicor : 0.04 0.00 17 0 0 0 0 0 50 0 0 113
3585.09/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.09/3597.01 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3585.09/3597.01 c root node : - - - 0 - - 0 - - - - -
3585.09/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3585.09/3597.01 c benderslp : 0 0 0 0 7508 0 0 2349 0 0 0 0 0 0 0
3585.09/3597.01 c integral : 0 0 0 0 7508 0 0 2349 0 0 13275 0 0 6909 11976
3585.09/3597.01 c knapsack : 86 86 97 130388 0 0 0 0 125330 345 111669 37 6 0 0
3585.09/3597.01 c setppc : 24488+ 25327 191 158237 1 0 0 2342 577787 1436 1604132 124 0 0 0
3585.09/3597.01 c linear : 3+ 79 97 125191 0 0 0 3 200 148 361 0 0 0 0
3585.09/3597.01 c logicor : 1602+ 2372 191 102329 1 0 0 46 79792 3194 124769 3613 479 0 0
3585.09/3597.01 c benders : 0 0 0 0 1 0 0 48 0 0 0 0 0 0 0
3585.09/3597.01 c fixedvar : 0 0 0 0 1 0 0 48 0 0 0 0 0 0 0
3585.09/3597.01 c countsols : 0 0 0 0 1 0 0 48 0 0 0 0 0 0 0
3585.09/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.09/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3585.09/3597.01 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.09/3597.01 c integral : 1120.87 0.00 0.00 0.00 1120.86 0.00 0.00 0.00 0.00 0.00
3585.09/3597.01 c knapsack : 2.87 0.00 0.60 1.10 0.00 0.00 0.00 0.00 0.05 1.12
3585.09/3597.01 c setppc : 15.87 0.00 0.14 8.25 0.00 0.00 0.00 0.13 0.14 7.21
3585.09/3597.01 c linear : 0.57 0.02 0.00 0.24 0.00 0.00 0.00 0.01 0.02 0.29
3585.09/3597.01 c logicor : 3.42 0.00 0.04 1.88 0.00 0.00 0.00 0.00 0.08 1.41
3585.09/3597.01 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.09/3597.01 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.09/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.09/3597.01 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3585.09/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3585.09/3597.01 c dualfix : 2 0 0 0
3585.09/3597.01 c genvbounds : 0 0 0 0
3585.09/3597.01 c nlobbt : 0 0 0 0
3585.09/3597.01 c obbt : 0 0 0 0
3585.09/3597.01 c probing : 0 0 0 0
3585.09/3597.01 c pseudoobj : 78576 1747 38 3133
3585.09/3597.01 c redcost : 10816 0 0 1740
3585.09/3597.01 c rootredcost : 11 0 0 0
3585.09/3597.01 c symmetry : 20009 0 87 6442
3585.09/3597.01 c vbounds : 128506 0 0 0
3585.09/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3585.09/3597.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3585.09/3597.01 c genvbounds : 0.03 0.00 0.00 0.02 0.00 0.01
3585.09/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.09/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.09/3597.01 c probing : 2.53 0.00 2.53 0.00 0.00 0.00
3585.09/3597.01 c pseudoobj : 0.78 0.00 0.00 0.34 0.44 0.00
3585.09/3597.01 c redcost : 0.57 0.00 0.00 0.56 0.00 0.01
3585.09/3597.01 c rootredcost : 0.02 0.00 0.00 0.01 0.00 0.01
3585.09/3597.01 c symmetry : 1.27 0.00 0.04 1.15 0.00 0.07
3585.09/3597.01 c vbounds : 1.70 0.00 0.01 1.53 0.00 0.16
3585.09/3597.01 c Symmetry :
3585.09/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3585.09/3597.01 c orbital reduction: 6354 reductions applied, 17 cutoffs
3585.09/3597.01 c lexicographic red: 607 reductions applied, 70 cutoffs
3585.09/3597.01 c shadow tree time : 0.03 s
3585.09/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3585.09/3597.01 c propagation : 0.95 4975 4951 - 28498 67.2 807 10.2 - - -
3585.09/3597.01 c infeasible LP : 0.00 6 6 - 23 37.8 1 2.0 6 34.5 0
3585.09/3597.01 c bound exceed. LP : 9.18 1957 1271 - 9078 224.4 3 22.3 1132 434.9 15057
3585.09/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3585.09/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3585.09/3597.01 c applied globally : 0.52 - - 0 18929 50.8 - - 1138 - -
3585.09/3597.01 c applied locally : - - - 0 2 677.5 - - 0 - -
3585.09/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3585.09/3597.01 c cut pool : 9.59 - 5162 316 - - 65407 492027 - - - - - (maximal pool size: 3865)
3585.09/3597.01 c aggregation : 145.64 0.00 1954 191 0 0 44 159 0 15 15 0 0
3585.09/3597.01 c > cmir : - - - - - - - 146 0 10 10 0 -
3585.09/3597.01 c > flowcover : - - - - - - - 0 0 0 0 0 -
3585.09/3597.01 c > knapsackcover : - - - - - - - 13 0 5 5 0 -
3585.09/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.09/3597.01 c clique : 12.64 0.00 191 191 0 0 508 1457 0 342 342 0 0
3585.09/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.09/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.09/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.09/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.09/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.09/3597.01 c gomory : 179.95 0.00 1080 20 0 0 56195 375940 517 10209 10193 16 0
3585.09/3597.01 c > gomorymi : - - - - - - - 197996 377 4399 4389 10 -
3585.09/3597.01 c > strongcg : - - - - - - - 177944 140 5810 5804 6 -
3585.09/3597.01 c impliedbounds : 1.56 0.00 1958 191 0 0 5731 34211 0 11113 11113 0 0
3585.09/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.09/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.09/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.09/3597.01 c mcf : 0.03 0.00 2 2 0 0 0 0 0 0 0 0 0
3585.09/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.09/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.09/3597.01 c multilinear : 0.00 0.00 319 191 0 0 0 0 0 0 0 0 0
3585.09/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.09/3597.01 c rapidlearning : 0.29 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.09/3597.01 c rlt : 0.00 0.00 255 20 0 0 0 0 0 0 0 0 0
3585.09/3597.01 c zerohalf : 38.63 0.00 1099 40 0 0 3495 80260 52 20167 20115 52 0
3585.09/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3585.09/3597.01 c hybrid : 1.04 0.00 3855 189 42331 0 454039 1800 0 26810
3585.09/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3585.09/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3585.09/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3585.09/3597.01 c problem variables: 0.00 - 0 0
3585.09/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3585.09/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.09/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3585.09/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3585.09/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.09/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3585.09/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3585.09/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.09/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3585.09/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.09/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3585.09/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3585.09/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3585.09/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3585.09/3597.01 c relpscost : 1120.85 0.00 7507 0 0 0 13275 0 11043 11976
3585.09/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3585.09/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3585.09/3597.01 c LP solutions : 0.00 - - 1 1
3585.09/3597.01 c relax solutions : 0.00 - - 0 0
3585.09/3597.01 c pseudo solutions : 0.00 - - 0 0
3585.09/3597.01 c strong branching : 0.03 - - 0 0
3585.09/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3585.09/3597.01 c adaptivediving : 2.48 0.00 16 0 0
3585.09/3597.01 c alns : 0.31 0.00 5 0 0
3585.09/3597.01 c bound : 0.00 0.00 0 0 0
3585.09/3597.01 c clique : 0.06 0.00 1 0 0
3585.09/3597.01 c coefdiving : 0.00 0.00 0 0 0
3585.09/3597.01 c completesol : 0.00 0.00 0 0 0
3585.09/3597.01 c conflictdiving : 6.51 0.00 19 0 0
3585.09/3597.01 c crossover : 1.33 0.00 8 3 0
3585.09/3597.01 c dins : 0.00 0.00 0 0 0
3585.09/3597.01 c distributiondivin: 4.88 0.00 18 1 1
3585.09/3597.01 c dps : 0.00 0.00 0 0 0
3585.09/3597.01 c dualval : 0.00 0.00 0 0 0
3585.09/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3585.09/3597.01 c feasjump : 0.04 0.00 1 0 0
3585.09/3597.01 c feaspump : 3.07 0.00 2 0 0
3585.09/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3585.09/3597.01 c fracdiving : 1.54 0.00 18 0 0
3585.09/3597.01 c gins : 0.40 0.00 5 0 0
3585.09/3597.01 c guideddiving : 2.77 0.00 18 1 1
3585.09/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3585.09/3597.01 c indicator : 0.01 0.00 0 0 0
3585.09/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3585.09/3597.01 c indoneopt : 0.01 0.00 0 0 0
3585.09/3597.01 c indrounding : 0.00 0.00 0 0 0
3585.09/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3585.09/3597.01 c intdiving : 0.00 0.00 0 0 0
3585.09/3597.01 c intshifting : 0.00 0.00 0 0 0
3585.09/3597.01 c linesearchdiving : 2.71 0.00 18 1 1
3585.09/3597.01 c localbranching : 0.00 0.00 0 0 0
3585.09/3597.01 c locks : 0.02 0.00 1 0 0
3585.09/3597.01 c lpface : 0.00 0.00 0 0 0
3585.09/3597.01 c mpec : 0.00 0.00 0 0 0
3585.09/3597.01 c multistart : 0.00 0.00 0 0 0
3585.09/3597.01 c mutation : 0.00 0.00 0 0 0
3585.09/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3585.09/3597.01 c objpscostdiving : 28.21 0.00 6 1 0
3585.09/3597.01 c octane : 0.00 0.00 0 0 0
3585.09/3597.01 c ofins : 0.00 0.00 0 0 0
3585.09/3597.01 c oneopt : 0.02 0.00 5 4 4
3585.09/3597.01 c padm : 0.00 0.00 0 0 0
3585.09/3597.01 c proximity : 0.00 0.00 0 0 0
3585.09/3597.01 c pscostdiving : 4.87 0.00 19 0 0
3585.09/3597.01 c randrounding : 1.81 0.00 2478 0 0
3585.09/3597.01 c rens : 0.00 0.00 0 0 0
3585.09/3597.01 c reoptsols : 0.00 0.00 0 0 0
3585.09/3597.01 c repair : 0.00 0.00 0 0 0
3585.09/3597.01 c rins : 1.27 0.00 8 5 0
3585.09/3597.01 c rootsoldiving : 13.43 0.00 5 0 0
3585.09/3597.01 c rounding : 5.42 0.00 4594 1 1
3585.09/3597.01 c scheduler : 0.00 0.00 0 0 0
3585.09/3597.01 c shiftandpropagate: 0.02 0.00 1 0 0
3585.09/3597.01 c shifting : 3.01 0.00 865 0 0
3585.09/3597.01 c simplerounding : 0.05 0.00 11969 0 0
3585.09/3597.01 c smallcard : 0.00 0.00 0 0 0
3585.09/3597.01 c subnlp : 0.01 0.00 0 0 0
3585.09/3597.01 c trivial : 0.02 0.00 4 0 0
3585.09/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3585.09/3597.01 c trustregion : 0.00 0.00 0 0 0
3585.09/3597.01 c trysol : 0.00 0.00 0 0 0
3585.09/3597.01 c twoopt : 0.00 0.00 0 0 0
3585.09/3597.01 c undercover : 0.00 0.00 0 0 0
3585.09/3597.01 c vbounds : 0.03 0.00 2 0 0
3585.09/3597.01 c veclendiving : 2.40 0.00 18 0 0
3585.09/3597.01 c zeroobj : 0.00 0.00 0 0 0
3585.09/3597.01 c zirounding : 1.20 0.00 1000 9 0
3585.09/3597.01 c other solutions : - - - 0 -
3585.09/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
3585.09/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
3585.09/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
3585.09/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
3585.09/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
3585.09/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
3585.09/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
3585.09/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
3585.09/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
3585.09/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
3585.09/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3585.09/3597.01 c primal LP : 4.48 1141 1 1.00 0.22 4.47 1140
3585.09/3597.01 c dual LP : 1927.66 15075 6036938 416.34 3131.75 2.31 575
3585.09/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3585.09/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3585.09/3597.01 c resolve instable : 0.00 0 0 0.00 -
3585.09/3597.01 c diving/probing LP: 112.72 2745 346982 126.41 3078.29
3585.09/3597.01 c strong branching : 1012.53 9663 3144630 325.43 3105.73 - - 4147
3585.09/3597.01 c (at root node) : - 46 22556 490.35 -
3585.09/3597.01 c conflict analysis: 6.08 1530 15057 9.84 2474.51
3585.09/3597.01 c B&B Tree :
3585.09/3597.01 c number of runs : 2
3585.09/3597.01 c nodes : 9124 (4998 internal, 4126 leaves)
3585.09/3597.01 c feasible leaves : 0
3585.09/3597.01 c infeas. leaves : 1469
3585.09/3597.01 c objective leaves : 2656
3585.09/3597.01 c nodes (total) : 10727 (5988 internal, 4739 leaves)
3585.09/3597.01 c nodes left : 781
3585.09/3597.01 c max depth : 122
3585.09/3597.01 c max depth (total): 122
3585.09/3597.01 c backtracks : 1174 (12.9%)
3585.09/3597.01 c early backtracks : 0 (0.0%)
3585.09/3597.01 c nodes exc. ref. : 0 (0.0%)
3585.09/3597.01 c delayed cutoffs : 93
3585.09/3597.01 c repropagations : 9506 (84220 domain reductions, 80 cutoffs)
3585.09/3597.01 c avg switch length: 4.45
3585.09/3597.01 c switching time : 13.08
3585.09/3597.01 c Root Node :
3585.09/3597.01 c First LP value : +5.14375000000000e+02
3585.09/3597.01 c First LP Iters : 6336 (6542.93 Iter/sec)
3585.09/3597.01 c First LP Time : 0.97
3585.09/3597.01 c Final Dual Bound : +7.26507396642656e+02
3585.09/3597.01 c Final Root Iters : 48943
3585.09/3597.01 c Root LP Estimate : +4.04848871241024e+03
3585.09/3597.01 c Solution :
3585.09/3597.01 c Solutions found : 27 (9 improvements)
3585.09/3597.01 c First Solution : +1.42500000000000e+03 (in run 1, after 143 nodes, 81.97 seconds, depth 54, found by <linesearchdiving>)
3585.09/3597.01 c Gap First Sol. : 140.11 %
3585.09/3597.01 c Gap Last Sol. : 61.61 %
3585.09/3597.01 c Primal Bound : +1.17600000000000e+03 (in run 2, after 19 nodes, 276.54 seconds, depth 9, found by <oneopt>)
3585.09/3597.01 c Dual Bound : +8.22259487372787e+02
3585.09/3597.01 c Gap : 43.02 %
3585.09/3597.01 c Integrals : Total Avg%
3585.09/3597.01 c primal-dual : 128412.53 35.70
3585.09/3597.01 c primal-ref : - - (not evaluated)
3585.09/3597.01 c dual-ref : - - (not evaluated)
3585.19/3597.18 c Time complete: 3585.27.
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: 64059 MiB (62674 MiB free)
memory of node 1: 64510 MiB (61201 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432586-1721071420/watcher-4432586-1721071420 -o /tmp/evaluation-result-4432586-1721071420/solver-4432586-1721071420 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721071433-807172 --watchdog 3760 pbscip -f HOME/instance-4432586-1721071420.opb -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=807232, runsolver pid=807229
[startup+0.100271 s]*
/proc/loadavg: 1.16 1.16 1.83 5/247 807239
/proc/meminfo: memFree=126802100/131655788 swapFree=131071996/131071996
[pid=807232] ppid=807229 vsize=70000 memory=29416 CPUtime=0.1 cores=0,2
/proc/807232/stat : 807232 (pbscip) R 807229 807232 807162 0 -1 4194304 4459 0 0 0 9 1 0 0 20 0 1 0 159299013 71680000 7354 134679101440 4194304 18693293 140734833541616 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47153152 140734833550340 140734833550439 140734833550439 140734833557454 0
/proc/807232/statm: 17500 7354 3202 3540 0 5757 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 70000 KiB
Current children cumulated memory: 29416 KiB
[startup+0.212826 s]*
/proc/loadavg: 1.16 1.16 1.83 5/247 807239
/proc/meminfo: memFree=126756756/131655788 swapFree=131071996/131071996
[pid=807232] ppid=807229 vsize=96596 memory=56192 CPUtime=0.21 cores=0,2
/proc/807232/stat : 807232 (pbscip) R 807229 807232 807162 0 -1 4194304 10940 0 0 0 17 4 0 0 20 0 1 0 159299013 98914304 14048 134679101440 4194304 18693293 140734833541616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47153152 140734833550340 140734833550439 140734833550439 140734833557454 0
/proc/807232/statm: 24149 14048 3553 3540 0 12406 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 96596 KiB
Current children cumulated memory: 56192 KiB
[startup+0.313463 s]*
/proc/loadavg: 1.16 1.16 1.83 5/247 807239
/proc/meminfo: memFree=126742036/131655788 swapFree=131071996/131071996
[pid=807232] ppid=807229 vsize=104224 memory=62984 CPUtime=0.31 cores=0,2
/proc/807232/stat : 807232 (pbscip) R 807229 807232 807162 0 -1 4194304 12674 0 0 0 27 4 0 0 20 0 1 0 159299013 106725376 15746 134679101440 4194304 18693293 140734833541616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47153152 140734833550340 140734833550439 140734833550439 140734833557454 0
/proc/807232/statm: 26056 15746 3553 3540 0 14313 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 104224 KiB
Current children cumulated memory: 62984 KiB
[startup+0.700303 s]
/proc/loadavg: 1.16 1.16 1.83 5/247 807239
/proc/meminfo: memFree=126671680/131655788 swapFree=131071996/131071996
[pid=807232] ppid=807229 vsize=111464 memory=71160 CPUtime=0.68 cores=0,2
/proc/807232/stat : 807232 (pbscip) R 807229 807232 807162 0 -1 4194304 19521 0 0 0 62 6 0 0 20 0 1 0 159299013 114139136 17790 134679101440 4194304 18693293 140734833541616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47153152 140734833550340 140734833550439 140734833550439 140734833557454 0
/proc/807232/statm: 27866 17790 3696 3540 0 16123 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 111464 KiB
Current children cumulated memory: 71160 KiB
[startup+1.50031 s]
/proc/loadavg: 1.16 1.16 1.83 5/247 807239
/proc/meminfo: memFree=126598140/131655788 swapFree=131071996/131071996
[pid=807232] ppid=807229 vsize=112372 memory=72072 CPUtime=1.48 cores=0,2
/proc/807232/stat : 807232 (pbscip) R 807229 807232 807162 0 -1 4194304 19739 0 0 0 142 6 0 0 20 0 1 0 159299013 115068928 18018 134679101440 4194304 18693293 140734833541616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47153152 140734833550340 140734833550439 140734833550439 140734833557454 0
/proc/807232/statm: 28093 18018 3728 3540 0 16350 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 112372 KiB
Current children cumulated memory: 72072 KiB
[startup+3.11288 s]
/proc/loadavg: 1.16 1.16 1.83 5/247 807285
/proc/meminfo: memFree=126286664/131655788 swapFree=131071996/131071996
[pid=807232] ppid=807229 vsize=114684 memory=74448 CPUtime=3.08 cores=0,2
/proc/807232/stat : 807232 (pbscip) R 807229 807232 807162 0 -1 4194304 20311 0 0 0 302 6 0 0 20 0 1 0 159299013 117436416 18612 134679101440 4194304 18693293 140734833541616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47153152 140734833550340 140734833550439 140734833550439 140734833557454 0
/proc/807232/statm: 28671 18612 3728 3540 0 16928 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 114684 KiB
Current children cumulated memory: 74448 KiB
[startup+6.30025 s]
/proc/loadavg: 1.47 1.22 1.85 6/247 807285
/proc/meminfo: memFree=126062668/131655788 swapFree=131071996/131071996
[pid=807232] ppid=807229 vsize=225072 memory=170668 CPUtime=6.26 cores=0,2
/proc/807232/stat : 807232 (pbscip) R 807229 807232 807162 0 -1 4194304 40506 0 0 0 616 10 0 0 20 0 1 0 159299013 230473728 42667 134679101440 4194304 18693293 140734833541616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47153152 140734833550340 140734833550439 140734833550439 140734833557454 0
/proc/807232/statm: 56268 42667 3936 3540 0 44525 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 225072 KiB
Current children cumulated memory: 170668 KiB
[startup+12.7003 s]
/proc/loadavg: 1.67 1.27 1.86 5/247 807289
/proc/meminfo: memFree=125999400/131655788 swapFree=131071996/131071996
[pid=807232] ppid=807229 vsize=315124 memory=215556 CPUtime=12.64 cores=0,2
/proc/807232/stat : 807232 (pbscip) R 807229 807232 807162 0 -1 4194304 51958 0 0 0 1252 12 0 0 20 0 1 0 159299013 322686976 53889 134679101440 4194304 18693293 140734833541616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47153152 140734833550340 140734833550439 140734833550439 140734833557454 0
/proc/807232/statm: 78781 53889 3936 3540 0 67038 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 315124 KiB
Current children cumulated memory: 215556 KiB
[startup+25.5003 s]
/proc/loadavg: 2.19 1.40 1.89 6/247 807290
/proc/meminfo: memFree=125905084/131655788 swapFree=131071996/131071996
[pid=807232] ppid=807229 vsize=322060 memory=222500 CPUtime=25.4 cores=0,2
/proc/807232/stat : 807232 (pbscip) R 807229 807232 807162 0 -1 4194304 53637 0 0 0 2527 13 0 0 20 0 1 0 159299013 329789440 55625 134679101440 4194304 18693293 140734833541616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47153152 140734833550340 140734833550439 140734833550439 140734833557454 0
/proc/807232/statm: 80515 55625 3967 3540 0 68772 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 322060 KiB
Current children cumulated memory: 222500 KiB
[startup+51.1129 s]
/proc/loadavg: 2.88 1.63 1.96 5/247 807295
/proc/meminfo: memFree=125855032/131655788 swapFree=131071996/131071996
[pid=807232] ppid=807229 vsize=344052 memory=224068 CPUtime=50.92 cores=0,2
/proc/807232/stat : 807232 (pbscip) R 807229 807232 807162 0 -1 4194304 54051 0 0 0 5078 14 0 0 20 0 1 0 159299013 352309248 56017 134679101440 4194304 18693293 140734833541616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47153152 140734833550340 140734833550439 140734833550439 140734833557454 0
/proc/807232/statm: 86013 56017 3967 3540 0 74270 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 344052 KiB
Current children cumulated memory: 224068 KiB
[startup+102.3 s]
/proc/loadavg: 3.58 2.01 2.07 6/247 807304
/proc/meminfo: memFree=125680024/131655788 swapFree=131071996/131071996
[pid=807232] ppid=807229 vsize=499324 memory=275024 CPUtime=101.93 cores=0,2
/proc/807232/stat : 807232 (pbscip) R 807229 807232 807162 0 -1 4194304 76564 0 0 0 10175 18 0 0 20 0 1 0 159299013 511307776 68756 134679101440 4194304 18693293 140734833541616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47153152 140734833550340 140734833550439 140734833550439 140734833557454 0
/proc/807232/statm: 124831 68756 3983 3540 0 113088 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 499324 KiB
Current children cumulated memory: 275024 KiB
[startup+162.3 s]
/proc/loadavg: 3.96 2.41 2.20 5/248 807699
/proc/meminfo: memFree=125552196/131655788 swapFree=131071996/131071996
[pid=807232] ppid=807229 vsize=565364 memory=332804 CPUtime=161.72 cores=0,2
/proc/807232/stat : 807232 (pbscip) R 807229 807232 807162 0 -1 4194304 89623 0 0 0 16152 20 0 0 20 0 1 0 159299013 578932736 83201 134679101440 4194304 18693293 140734833541616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47153152 140734833550340 140734833550439 140734833550439 140734833557454 0
/proc/807232/statm: 141341 83201 3983 3540 0 129598 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 565364 KiB
Current children cumulated memory: 332804 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 2.73 2.33 5/248 807710
/proc/meminfo: memFree=125441112/131655788 swapFree=131071996/131071996
[pid=807232] ppid=807229 vsize=666028 memory=389828 CPUtime=221.5 cores=0,2
/proc/807232/stat : 807232 (pbscip) R 807229 807232 807162 0 -1 4194304 100570 0 0 0 22128 22 0 0 20 0 1 0 159299013 682012672 97457 134679101440 4194304 18693293 140734833541616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47153152 140734833550340 140734833550439 140734833550439 140734833557454 0
/proc/807232/statm: 166507 97457 3983 3540 0 154764 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 666028 KiB
Current children cumulated memory: 389828 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 2.98 2.44 6/248 807720
/proc/meminfo: memFree=125233024/131655788 swapFree=131071996/131071996
[pid=807232] ppid=807229 vsize=762264 memory=465348 CPUtime=281.3 cores=0,2
/proc/807232/stat : 807232 (pbscip) R 807229 807232 807162 0 -1 4194304 112568 0 0 0 28105 25 0 0 20 0 1 0 159299013 780558336 116337 134679101440 4194304 18693293 140734833541616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47153152 140734833550340 140734833550439 140734833550439 140734833557454 0
/proc/807232/statm: 190566 116337 3983 3540 0 178823 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 762264 KiB
Current children cumulated memory: 465348 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.18 2.55 5/245 807899
/proc/meminfo: memFree=125114588/131655788 swapFree=131071996/131071996
[pid=807232] ppid=807229 vsize=855024 memory=567556 CPUtime=341.1 cores=0,2
/proc/807232/stat : 807232 (pbscip) R 807229 807232 807162 0 -1 4194304 120431 0 0 0 34084 26 0 0 20 0 1 0 159299013 875544576 141889 134679101440 4194304 18693293 140734833541616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47153152 140734833550340 140734833550439 140734833550439 140734833557454 0
/proc/807232/statm: 213756 141889 3983 3540 0 202013 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 855024 KiB
Current children cumulated memory: 567556 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 3.36 2.65 6/245 807909
/proc/meminfo: memFree=124998260/131655788 swapFree=131071996/131071996
[pid=807232] ppid=807229 vsize=883312 memory=630264 CPUtime=400.89 cores=0,2
/proc/807232/stat : 807232 (pbscip) R 807229 807232 807162 0 -1 4194304 128907 0 0 0 40062 27 0 0 20 0 1 0 159299013 904511488 157566 134679101440 4194304 18693293 140734833541616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47153152 140734833550340 140734833550439 140734833550439 140734833557454 0
/proc/807232/statm: 220828 157566 3983 3540 0 209085 0
Current children cumulated CPU time: 400.89 s
Current children cumulated vsize: 883312 KiB
Current children cumulated memory: 630264 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.50 2.74 5/244 807977
/proc/meminfo: memFree=124869988/131655788 swapFree=131071996/131071996
[pid=807232] ppid=807229 vsize=912760 memory=705464 CPUtime=460.68 cores=0,2
/proc/807232/stat : 807232 (pbscip) R 807229 807232 807162 0 -1 4194304 135972 0 0 0 46041 27 0 0 20 0 1 0 159299013 934666240 176366 134679101440 4194304 18693293 140734833541616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47153152 140734833550340 140734833550439 140734833550439 140734833557454 0
/proc/807232/statm: 228190 176366 3983 3540 0 216447 0
################
# More data... #
################
/proc/loadavg: 4.88 4.55 4.27 6/241 809041
/proc/meminfo: memFree=122519464/131655788 swapFree=131071996/131071996
[pid=807232] ppid=807229 vsize=2137600 memory=1416544 CPUtime=3211.61 cores=0,2
/proc/807232/stat : 807232 (pbscip) R 807229 807232 807162 0 -1 4194304 264760 0 0 0 321109 52 0 0 20 0 1 0 159299013 2188902400 354136 134679101440 4194304 18693293 140734833541616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47153152 140734833550340 140734833550439 140734833550439 140734833557454 0
/proc/807232/statm: 534400 354136 3983 3540 0 522657 0
Current children cumulated CPU time: 3211.61 s
Current children cumulated vsize: 2137600 KiB
Current children cumulated memory: 1416544 KiB
[startup+3282.3 s]
/proc/loadavg: 4.48 4.49 4.27 5/241 809051
/proc/meminfo: memFree=122443304/131655788 swapFree=131071996/131071996
[pid=807232] ppid=807229 vsize=2153268 memory=1475996 CPUtime=3271.42 cores=0,2
/proc/807232/stat : 807232 (pbscip) R 807229 807232 807162 0 -1 4194304 266402 0 0 0 327089 53 0 0 20 0 1 0 159299013 2204946432 368999 134679101440 4194304 18693293 140734833541616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47153152 140734833550340 140734833550439 140734833550439 140734833557454 0
/proc/807232/statm: 538317 368999 3983 3540 0 526574 0
Current children cumulated CPU time: 3271.42 s
Current children cumulated vsize: 2153268 KiB
Current children cumulated memory: 1475996 KiB
[startup+3342.3 s]
/proc/loadavg: 4.23 4.42 4.26 5/241 809061
/proc/meminfo: memFree=122340324/131655788 swapFree=131071996/131071996
[pid=807232] ppid=807229 vsize=2160424 memory=1543788 CPUtime=3331.21 cores=0,2
/proc/807232/stat : 807232 (pbscip) R 807229 807232 807162 0 -1 4194304 267271 0 0 0 333068 53 0 0 20 0 1 0 159299013 2212274176 385947 134679101440 4194304 18693293 140734833541616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47153152 140734833550340 140734833550439 140734833550439 140734833557454 0
/proc/807232/statm: 540106 385947 3983 3540 0 528363 0
Current children cumulated CPU time: 3331.21 s
Current children cumulated vsize: 2160424 KiB
Current children cumulated memory: 1543788 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.35 4.25 5/241 809071
/proc/meminfo: memFree=122282660/131655788 swapFree=131071996/131071996
[pid=807232] ppid=807229 vsize=2181196 memory=1615436 CPUtime=3391.01 cores=0,2
/proc/807232/stat : 807232 (pbscip) R 807229 807232 807162 0 -1 4194304 268440 0 0 0 339048 53 0 0 20 0 1 0 159299013 2233544704 403859 134679101440 4194304 18693293 140734833541616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47153152 140734833550340 140734833550439 140734833550439 140734833557454 0
/proc/807232/statm: 545299 403859 3983 3540 0 533556 0
Current children cumulated CPU time: 3391.01 s
Current children cumulated vsize: 2181196 KiB
Current children cumulated memory: 1615436 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.33 4.25 6/243 809086
/proc/meminfo: memFree=122189644/131655788 swapFree=131071996/131071996
[pid=807232] ppid=807229 vsize=2182916 memory=1680896 CPUtime=3450.83 cores=0,2
/proc/807232/stat : 807232 (pbscip) R 807229 807232 807162 0 -1 4194304 269116 0 0 0 345029 54 0 0 20 0 1 0 159299013 2235305984 420224 134679101440 4194304 18693293 140734833541616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47153152 140734833550340 140734833550439 140734833550439 140734833557454 0
/proc/807232/statm: 545729 420224 3983 3540 0 533986 0
Current children cumulated CPU time: 3450.83 s
Current children cumulated vsize: 2182916 KiB
Current children cumulated memory: 1680896 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.30 4.24 6/243 809096
/proc/meminfo: memFree=122144148/131655788 swapFree=131071996/131071996
[pid=807232] ppid=807229 vsize=2197616 memory=1721996 CPUtime=3510.62 cores=0,2
/proc/807232/stat : 807232 (pbscip) R 807229 807232 807162 0 -1 4194304 270562 0 0 0 351008 54 0 0 20 0 1 0 159299013 2250358784 430499 134679101440 4194304 18693293 140734833541616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47153152 140734833550340 140734833550439 140734833550439 140734833557454 0
/proc/807232/statm: 549404 430499 3983 3540 0 537661 0
Current children cumulated CPU time: 3510.62 s
Current children cumulated vsize: 2197616 KiB
Current children cumulated memory: 1721996 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.27 4.23 5/243 809106
/proc/meminfo: memFree=122054892/131655788 swapFree=131071996/131071996
[pid=807232] ppid=807229 vsize=2208640 memory=1786260 CPUtime=3570.43 cores=0,2
/proc/807232/stat : 807232 (pbscip) R 807229 807232 807162 0 -1 4194304 271821 0 0 0 356989 54 0 0 20 0 1 0 159299013 2261647360 446565 134679101440 4194304 18693293 140734833541616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47153152 140734833550340 140734833550439 140734833550439 140734833557454 0
/proc/807232/statm: 552160 446565 3983 3540 0 540417 0
Current children cumulated CPU time: 3570.43 s
Current children cumulated vsize: 2208640 KiB
Current children cumulated memory: 1786260 KiB
[startup+3597.2 s]
# the end of solver process 807232 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.73 s, system=0.5589 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.17 4.27 4.23 6/243 809106
/proc/meminfo: memFree=122054920/131655788 swapFree=131071996/131071996
[pid=807232] ppid=807229 vsize=2208640 memory=1786260 CPUtime=3572.13 cores=0,2
/proc/807232/stat : 807232 (pbscip) R 807229 807232 807162 0 -1 4194304 271821 0 0 0 357159 54 0 0 20 0 1 0 159299013 2261647360 446565 134679101440 4194304 18693293 140734833541616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47153152 140734833550340 140734833550439 140734833550439 140734833557454 0
/proc/807232/statm: 552160 446565 3983 3540 0 540417 0
Current children cumulated CPU time: 3572.13 s
Current children cumulated vsize: 2208640 KiB
Current children cumulated memory: 1786260 KiB
[startup+3590.4 s]
/proc/loadavg: 4.14 4.26 4.23 5/243 809107
/proc/meminfo: memFree=122053820/131655788 swapFree=131071996/131071996
[pid=807232] ppid=807229 vsize=2209912 memory=1786952 CPUtime=3578.5 cores=0,2
/proc/807232/stat : 807232 (pbscip) R 807229 807232 807162 0 -1 4194304 272113 0 0 0 357796 54 0 0 20 0 1 0 159299013 2262949888 446738 134679101440 4194304 18693293 140734833541616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47153152 140734833550340 140734833550439 140734833550439 140734833557454 0
/proc/807232/statm: 552478 446738 3983 3540 0 540735 0
Current children cumulated CPU time: 3578.5 s
Current children cumulated vsize: 2209912 KiB
Current children cumulated memory: 1786952 KiB
[startup+3593.6 s]
/proc/loadavg: 4.14 4.26 4.23 5/243 809107
/proc/meminfo: memFree=122047076/131655788 swapFree=131071996/131071996
[pid=807232] ppid=807229 vsize=2209912 memory=1793640 CPUtime=3581.69 cores=0,2
/proc/807232/stat : 807232 (pbscip) R 807229 807232 807162 0 -1 4194304 272120 0 0 0 358115 54 0 0 20 0 1 0 159299013 2262949888 448410 134679101440 4194304 18693293 140734833541616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47153152 140734833550340 140734833550439 140734833550439 140734833557454 0
/proc/807232/statm: 552478 448410 3983 3540 0 540735 0
Current children cumulated CPU time: 3581.69 s
Current children cumulated vsize: 2209912 KiB
Current children cumulated memory: 1793640 KiB
[startup+3595.2 s]
/proc/loadavg: 4.13 4.26 4.23 6/243 809107
/proc/meminfo: memFree=122046936/131655788 swapFree=131071996/131071996
[pid=807232] ppid=807229 vsize=2209912 memory=1793848 CPUtime=3583.29 cores=0,2
/proc/807232/stat : 807232 (pbscip) R 807229 807232 807162 0 -1 4194304 272144 0 0 0 358275 54 0 0 20 0 1 0 159299013 2262949888 448462 134679101440 4194304 18693293 140734833541616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47153152 140734833550340 140734833550439 140734833550439 140734833557454 0
/proc/807232/statm: 552478 448462 3983 3540 0 540735 0
Current children cumulated CPU time: 3583.29 s
Current children cumulated vsize: 2209912 KiB
Current children cumulated memory: 1793848 KiB
[startup+3596 s]*
/proc/loadavg: 4.13 4.26 4.23 5/243 809107
/proc/meminfo: memFree=122046676/131655788 swapFree=131071996/131071996
[pid=807232] ppid=807229 vsize=2209912 memory=1793848 CPUtime=3584.09 cores=0,2
/proc/807232/stat : 807232 (pbscip) R 807229 807232 807162 0 -1 4194304 272163 0 0 0 358355 54 0 0 20 0 1 0 159299013 2262949888 448462 134679101440 4194304 18693293 140734833541616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47153152 140734833550340 140734833550439 140734833550439 140734833557454 0
/proc/807232/statm: 552478 448462 3983 3540 0 540735 0
Current children cumulated CPU time: 3584.09 s
Current children cumulated vsize: 2209912 KiB
Current children cumulated memory: 1793848 KiB
[startup+3596.8 s]
/proc/loadavg: 4.13 4.26 4.23 5/243 809107
/proc/meminfo: memFree=122046676/131655788 swapFree=131071996/131071996
[pid=807232] ppid=807229 vsize=2209912 memory=1793848 CPUtime=3584.88 cores=0,2
/proc/807232/stat : 807232 (pbscip) R 807229 807232 807162 0 -1 4194304 272165 0 0 0 358434 54 0 0 20 0 1 0 159299013 2262949888 448462 134679101440 4194304 18693293 140734833541616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47153152 140734833550340 140734833550439 140734833550439 140734833557454 0
/proc/807232/statm: 552478 448462 3983 3540 0 540735 0
Current children cumulated CPU time: 3584.88 s
Current children cumulated vsize: 2209912 KiB
Current children cumulated memory: 1793848 KiB
[startup+3597 s]*
/proc/loadavg: 4.13 4.26 4.23 6/243 809107
/proc/meminfo: memFree=122046688/131655788 swapFree=131071996/131071996
[pid=807232] ppid=807229 vsize=2209912 memory=1793848 CPUtime=3585.09 cores=0,2
/proc/807232/stat : 807232 (pbscip) R 807229 807232 807162 0 -1 4194304 272166 0 0 0 358455 54 0 0 20 0 1 0 159299013 2262949888 448462 134679101440 4194304 18693293 140734833541616 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47153152 140734833550340 140734833550439 140734833550439 140734833557454 0
/proc/807232/statm: 552478 448462 3983 3540 0 540735 0
Current children cumulated CPU time: 3585.09 s
Current children cumulated vsize: 2209912 KiB
Current children cumulated memory: 1793848 KiB
[startup+3597.11 s]
/proc/loadavg: 4.13 4.26 4.23 6/243 809107
/proc/meminfo: memFree=122046688/131655788 swapFree=131071996/131071996
[pid=807232] ppid=807229 vsize=2209912 memory=1793848 CPUtime=3585.19 cores=0,2
/proc/807232/stat : 807232 (pbscip) R 807229 807232 807162 0 -1 4194304 272202 0 0 0 358465 54 0 0 20 0 1 0 159299013 2262949888 448462 134679101440 4194304 18693293 140734833541616 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47153152 140734833550340 140734833550439 140734833550439 140734833557454 0
/proc/807232/statm: 552478 448462 3983 3540 0 540735 0
Current children cumulated CPU time: 3585.19 s
Current children cumulated vsize: 2209912 KiB
Current children cumulated memory: 1793848 KiB
Child status: 0
Real time (s): 3597.2
CPU time (s): 3585.29
CPU user time (s): 3584.73
CPU system time (s): 0.5589
CPU usage (%): 99.6689
Max. virtual memory (cumulated for all children) (KiB): 2209912
Max. memory (cumulated for all children) (KiB): 1793848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.73
system time used= 0.5589
maximum resident set size= 1793848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272483
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= 71
involuntary context switches= 24585
# summary of solver processes directly reported to runsolver:
# pid: 807232
# total CPU time (s): 3585.29
# total CPU user time (s): 3584.73
# total CPU system time (s): 0.5589
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6971 second user time and 33.2119 second system time
The end