0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3717601-1338204503.wbo>
0.00/0.00 c original problem has 444 variables (444 bin, 0 int, 0 impl, 0 cont) and 355 constraints
0.00/0.00 c problem read in 0.00
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 0 del conss, 0 add conss, 324 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 30 clqs
0.00/0.01 c (round 2) 0 del vars, 0 del conss, 0 add conss, 324 chg bounds, 0 chg sides, 0 chg coeffs, 31 upgd conss, 0 impls, 30 clqs
0.02/0.05 c (0.1s) probing: 375/444 (84.5%) - 0 fixings, 0 aggregations, 324 implications, 0 bound changes
0.02/0.05 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.02/0.05 c presolving (3 rounds):
0.02/0.05 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 324 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.02/0.05 c 324 implications, 30 cliques
0.02/0.05 c presolved problem has 768 variables (444 bin, 0 int, 324 impl, 0 cont) and 679 constraints
0.02/0.05 c 1 constraints of type <knapsack>
0.02/0.05 c 30 constraints of type <setppc>
0.02/0.05 c 324 constraints of type <linear>
0.02/0.05 c 324 constraints of type <indicator>
0.02/0.05 c transformed objective value is always integral (scale: 1)
0.02/0.05 c Presolving Time: 0.05
0.02/0.05 c - non default parameters ----------------------------------------------------------------------
0.02/0.05 c # SCIP version 2.1.1.4
0.02/0.05 c
0.02/0.05 c # maximal time in seconds to run
0.02/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.05 c limits/time = 1797
0.02/0.05 c
0.02/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.05 c limits/memory = 13950
0.02/0.05 c
0.02/0.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.02/0.05 c # [type: int, range: [1,2], default: 1]
0.02/0.05 c timing/clocktype = 2
0.02/0.05 c
0.02/0.05 c # belongs reading time to solving time?
0.02/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.05 c timing/reading = TRUE
0.02/0.05 c
0.02/0.05 c # force restart if we have a max FS instance and gap is 1?
0.02/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.05 c constraints/indicator/forcerestart = TRUE
0.02/0.05 c
0.02/0.05 c # priority of branching rule <inference>
0.02/0.05 c # [type: int, range: [-536870912,536870911], default: 1000]
0.02/0.05 c branching/inference/priority = 1000000
0.02/0.05 c
0.02/0.05 c # frequency offset for calling primal heuristic <coefdiving>
0.02/0.05 c # [type: int, range: [0,2147483647], default: 1]
0.02/0.05 c heuristics/coefdiving/freqofs = 0
0.02/0.05 c
0.02/0.05 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.02/0.05 c # [type: int, range: [-1,2147483647], default: 0]
0.02/0.05 c heuristics/shiftandpropagate/freq = -1
0.02/0.05 c
0.02/0.05 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.02/0.05 c # [type: int, range: [-1,2147483647], default: 0]
0.02/0.05 c heuristics/undercover/freq = -1
0.02/0.05 c
0.02/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.02/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.05 c separating/rapidlearning/freq = 0
0.02/0.05 c
0.02/0.05 c # frequency for calling primal heuristic <indrounding> (-1: never, 0: only at depth freqofs)
0.02/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.05 c heuristics/indrounding/freq = 1
0.02/0.05 c
0.02/0.05 c -----------------------------------------------------------------------------------------------
0.02/0.05 c start solving
0.02/0.05 c
0.02/0.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.02/0.06 c 0.1s| 1 | 0 | 61 | - |2927k| 0 | 60 | 768 | 679 | 768 | 678 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.12 c 0.1s| 1 | 0 | 355 | - |2990k| 0 | 69 | 768 | 679 | 768 | 687 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.14 c 0.1s| 1 | 0 | 412 | - |3023k| 0 | 70 | 768 | 679 | 768 | 693 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.16 c 0.2s| 1 | 0 | 451 | - |3122k| 0 | 69 | 768 | 679 | 768 | 697 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 c 0.2s| 1 | 0 | 473 | - |3226k| 0 | 70 | 768 | 679 | 768 | 700 | 22 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 o 20
0.09/0.18 c s 0.2s| 1 | 0 | 473 | - |3254k| 0 | 70 | 768 | 679 | 768 | 700 | 22 | 0 | 0 | 0.000000e+00 | 2.000000e+01 | Inf
0.09/0.18 o 16
0.09/0.18 c y 0.2s| 1 | 0 | 473 | - |3254k| 0 | 70 | 768 | 679 | 768 | 700 | 22 | 0 | 0 | 0.000000e+00 | 1.600000e+01 | Inf
0.19/0.20 c 0.2s| 1 | 0 | 505 | - |3405k| 0 | 83 | 768 | 679 | 768 | 706 | 28 | 0 | 0 | 0.000000e+00 | 1.600000e+01 | Inf
0.19/0.23 c 0.2s| 1 | 0 | 534 | - |3795k| 0 | 84 | 768 | 679 | 768 | 711 | 33 | 0 | 0 | 0.000000e+00 | 1.600000e+01 | Inf
0.19/0.27 o 10
0.19/0.27 c c 0.3s| 1 | 0 | 864 | - |3872k| 0 | - | 768 | 679 | 768 | 711 | 33 | 0 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
0.19/0.29 c 0.3s| 1 | 0 | 864 | - |3821k| 0 | 84 | 768 | 679 | 768 | 711 | 33 | 0 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
0.29/0.32 c 0.3s| 1 | 0 | 918 | - |4092k| 0 | 83 | 768 | 679 | 768 | 715 | 37 | 0 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
0.29/0.32 c 0.3s| 1 | 2 | 918 | - |4092k| 0 | 83 | 768 | 679 | 768 | 715 | 37 | 0 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
0.29/0.35 o 7
0.29/0.35 c p 0.3s| 13 | 14 | 1281 | 57.8 |4154k| 9 | - | 768 | 679 | 768 | 698 | 37 | 0 | 0 | 0.000000e+00 | 7.000000e+00 | Inf
0.29/0.37 o 6
0.29/0.37 c f 0.4s| 22 | 23 | 1524 | 44.6 |4172k| 9 | - | 768 | 679 | 768 | 698 | 37 | 0 | 0 | 0.000000e+00 | 6.000000e+00 | Inf
0.29/0.38 o 4
0.29/0.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.38 c v 0.4s| 28 | 25 | 1794 | 44.7 |4189k| 9 | - | 768 | 679 | 768 | 698 | 37 | 0 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
0.79/0.82 c 0.8s| 100 | 97 | 9268 | 87.7 |4387k| 11 | 61 | 768 | 695 | 768 | 698 | 37 | 16 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
1.10/1.13 c 1.1s| 200 | 191 | 13606 | 65.4 |4619k| 11 | 58 | 768 | 713 | 768 | 698 | 37 | 34 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
1.39/1.42 c 1.4s| 300 | 277 | 16708 | 53.9 |4949k| 13 | 32 | 768 | 740 | 768 | 698 | 37 | 61 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
1.59/1.62 c 1.6s| 400 | 372 | 19349 | 47.0 |5340k| 14 | 42 | 768 | 761 | 768 | 698 | 37 | 82 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
1.79/1.86 c 1.9s| 500 | 444 | 22773 | 44.5 |5732k| 15 | 33 | 768 | 791 | 768 | 698 | 37 | 112 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
2.10/2.12 c 2.1s| 600 | 519 | 26619 | 43.5 |6079k| 15 | 35 | 768 | 810 | 768 | 698 | 37 | 131 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
2.29/2.36 c 2.4s| 700 | 582 | 30010 | 42.1 |6341k| 16 | 41 | 768 | 829 | 768 | 698 | 37 | 150 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
2.59/2.60 c 2.6s| 800 | 648 | 33332 | 41.0 |6743k| 17 | 41 | 768 | 854 | 768 | 698 | 37 | 175 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
2.79/2.85 c 2.9s| 900 | 705 | 36520 | 40.0 |7130k| 17 | 39 | 768 | 895 | 768 | 698 | 37 | 216 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
3.09/3.11 c 3.1s| 1000 | 775 | 39900 | 39.4 |7678k| 18 | 45 | 768 | 935 | 768 | 698 | 37 | 256 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
3.30/3.38 c 3.4s| 1100 | 838 | 43058 | 38.6 |8165k| 18 | 58 | 768 | 969 | 768 | 698 | 37 | 290 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
3.49/3.57 c 3.6s| 1200 | 905 | 45535 | 37.5 |8593k| 19 | 28 | 768 | 986 | 768 | 698 | 37 | 307 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
3.69/3.78 c 3.8s| 1300 | 955 | 47979 | 36.5 |9072k| 19 | 49 | 768 |1025 | 768 | 698 | 37 | 346 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
3.89/3.99 c 4.0s| 1400 | 1025 | 50739 | 35.8 |9612k| 19 | - | 768 |1050 | 0 | 0 | 37 | 371 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
4.09/4.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.09/4.18 c 4.2s| 1500 | 1081 | 52801 | 34.8 | 10M| 19 | - | 768 |1083 | 0 | 0 | 37 | 405 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
4.29/4.35 c 4.3s| 1600 | 1141 | 54663 | 33.8 | 10M| 19 | 30 | 768 |1106 | 768 | 698 | 37 | 429 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
4.49/4.53 c 4.5s| 1700 | 1179 | 56882 | 33.1 | 10M| 19 | 43 | 768 |1117 | 768 | 698 | 37 | 445 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
4.69/4.70 c 4.7s| 1800 | 1230 | 58967 | 32.5 | 11M| 19 | - | 768 |1121 | 768 | 698 | 37 | 461 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
4.79/4.88 c 4.9s| 1900 | 1287 | 61314 | 32.0 | 11M| 19 | 39 | 768 |1127 | 768 | 698 | 37 | 472 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
4.99/5.06 c 5.1s| 2000 | 1331 | 63142 | 31.3 | 11M| 19 | 39 | 768 |1136 | 768 | 698 | 37 | 498 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
5.19/5.24 c 5.2s| 2100 | 1357 | 65015 | 30.7 | 12M| 19 | - | 768 |1138 | 768 | 698 | 37 | 520 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
5.29/5.40 c 5.4s| 2200 | 1402 | 66848 | 30.1 | 12M| 19 | 44 | 768 |1143 | 768 | 698 | 37 | 538 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
5.50/5.57 c 5.6s| 2300 | 1434 | 68775 | 29.7 | 12M| 19 | 34 | 768 |1135 | 768 | 698 | 37 | 551 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
5.69/5.75 c 5.7s| 2400 | 1472 | 70446 | 29.1 | 13M| 20 | 29 | 768 |1155 | 768 | 698 | 37 | 588 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
5.89/5.92 c 5.9s| 2500 | 1503 | 72389 | 28.7 | 13M| 20 | - | 768 |1173 | 0 | 0 | 37 | 614 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
5.99/6.07 c 6.1s| 2600 | 1534 | 74158 | 28.3 | 13M| 20 | 36 | 768 |1182 | 768 | 698 | 37 | 654 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
6.19/6.23 c 6.2s| 2700 | 1562 | 75990 | 27.9 | 13M| 20 | - | 768 |1190 | 0 | 0 | 37 | 682 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
6.29/6.39 c 6.4s| 2800 | 1596 | 77831 | 27.6 | 14M| 20 | 51 | 768 |1194 | 768 | 698 | 37 | 702 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
6.50/6.53 c 6.5s| 2900 | 1611 | 79084 | 27.1 | 14M| 20 | 60 | 768 |1207 | 768 | 698 | 37 | 741 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
6.60/6.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.60/6.67 c 6.7s| 3000 | 1648 | 80792 | 26.7 | 14M| 20 | 30 | 768 |1207 | 768 | 698 | 37 | 756 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
6.79/6.84 c 6.8s| 3100 | 1680 | 82775 | 26.5 | 14M| 20 | 41 | 768 |1209 | 768 | 698 | 37 | 779 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
6.89/6.98 c 7.0s| 3200 | 1704 | 84324 | 26.2 | 14M| 20 | - | 768 |1216 | 0 | 0 | 37 | 801 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
7.09/7.12 c 7.1s| 3300 | 1736 | 85830 | 25.8 | 14M| 21 | 33 | 768 |1218 | 768 | 698 | 37 | 820 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
7.19/7.29 c 7.3s| 3400 | 1764 | 87615 | 25.6 | 14M| 21 | 40 | 768 |1212 | 768 | 698 | 37 | 850 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
7.39/7.43 c 7.4s| 3500 | 1791 | 89341 | 25.4 | 15M| 21 | - | 768 |1208 | 0 | 0 | 37 | 864 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
7.49/7.57 c 7.6s| 3600 | 1809 | 90658 | 25.0 | 15M| 21 | - | 768 |1217 | 768 | 698 | 37 | 895 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
7.70/7.72 c 7.7s| 3700 | 1838 | 92414 | 24.8 | 15M| 21 | 34 | 768 |1199 | 768 | 698 | 37 | 909 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
7.79/7.84 c 7.8s| 3800 | 1863 | 93783 | 24.5 | 15M| 21 | 45 | 768 |1175 | 768 | 698 | 37 | 918 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
7.89/7.98 c 8.0s| 3900 | 1891 | 95372 | 24.3 | 15M| 21 | - | 768 |1185 | 0 | 0 | 37 | 943 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
8.09/8.10 c 8.1s| 4000 | 1905 | 96394 | 24.0 | 16M| 21 | - | 768 |1199 | 768 | 698 | 37 | 977 | 0 | 1.666667e-01 | 4.000000e+00 |2300.00%
8.19/8.23 c 8.2s| 4100 | 1911 | 97530 | 23.7 | 16M| 21 | - | 768 |1204 | 0 | 0 | 37 |1013 | 0 | 1.666667e-01 | 4.000000e+00 |2300.00%
8.39/8.40 c 8.4s| 4200 | 1924 | 98985 | 23.4 | 16M| 21 | - | 768 |1228 | 0 | 0 | 37 |1073 | 0 | 2.500000e-01 | 4.000000e+00 |1500.00%
8.49/8.53 c 8.5s| 4300 | 1922 |100214 | 23.2 | 16M| 21 | - | 768 |1229 | 768 | 698 | 37 |1098 | 0 | 2.500000e-01 | 4.000000e+00 |1500.00%
8.59/8.69 c 8.7s| 4400 | 1940 |102033 | 23.1 | 16M| 21 | 39 | 768 |1216 | 768 | 698 | 37 |1114 | 0 | 2.500000e-01 | 4.000000e+00 |1500.00%
8.80/8.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.80/8.83 c 8.8s| 4500 | 1957 |103320 | 22.8 | 16M| 21 | - | 768 |1215 | 0 | 0 | 37 |1147 | 0 | 2.500000e-01 | 4.000000e+00 |1500.00%
8.88/8.98 c 9.0s| 4600 | 1963 |104703 | 22.6 | 16M| 21 | - | 768 |1205 | 768 | 698 | 37 |1182 | 0 | 2.500000e-01 | 4.000000e+00 |1500.00%
9.08/9.11 c 9.1s| 4700 | 1983 |106029 | 22.4 | 16M| 21 | 49 | 768 |1213 | 768 | 698 | 37 |1213 | 0 | 2.500000e-01 | 4.000000e+00 |1500.00%
9.18/9.26 c 9.3s| 4800 | 1992 |107529 | 22.3 | 16M| 21 | 38 | 768 |1188 | 768 | 698 | 37 |1239 | 0 | 2.500000e-01 | 4.000000e+00 |1500.00%
9.29/9.37 c 9.4s| 4900 | 2000 |108634 | 22.1 | 16M| 21 | 40 | 768 |1181 | 768 | 698 | 37 |1276 | 0 | 2.500000e-01 | 4.000000e+00 |1500.00%
9.48/9.52 c 9.5s| 5000 | 1998 |110167 | 21.9 | 17M| 21 | 34 | 768 |1160 | 768 | 698 | 37 |1301 | 0 | 2.500000e-01 | 4.000000e+00 |1500.00%
9.58/9.67 c 9.7s| 5100 | 2010 |111792 | 21.8 | 17M| 21 | - | 768 |1134 | 0 | 0 | 37 |1322 | 0 | 2.500000e-01 | 4.000000e+00 |1500.00%
9.79/9.81 c 9.8s| 5200 | 2024 |113421 | 21.7 | 17M| 21 | - | 768 |1113 | 0 | 0 | 37 |1348 | 0 | 2.500000e-01 | 4.000000e+00 |1500.00%
9.90/9.96 c 10.0s| 5300 | 2039 |114888 | 21.6 | 17M| 21 | - | 768 |1085 | 768 | 698 | 37 |1370 | 0 | 3.333333e-01 | 4.000000e+00 |1100.00%
9.99/10.09 c 10.1s| 5400 | 2061 |116337 | 21.4 | 17M| 21 | - | 768 |1060 | 0 | 0 | 37 |1390 | 0 | 3.333333e-01 | 4.000000e+00 |1100.00%
10.19/10.21 c 10.2s| 5500 | 2079 |117623 | 21.3 | 17M| 21 | - | 768 |1044 | 0 | 0 | 37 |1409 | 0 | 3.333333e-01 | 4.000000e+00 |1100.00%
10.28/10.35 c 10.4s| 5600 | 2095 |118965 | 21.1 | 17M| 21 | 41 | 768 |1030 | 768 | 698 | 37 |1445 | 0 | 3.333333e-01 | 4.000000e+00 |1100.00%
10.38/10.47 c 10.5s| 5700 | 2097 |119889 | 20.9 | 17M| 21 | 64 | 768 |1036 | 768 | 698 | 37 |1477 | 0 | 3.333333e-01 | 4.000000e+00 |1100.00%
10.59/10.61 c 10.6s| 5800 | 2111 |121442 | 20.8 | 17M| 21 | - | 768 |1025 | 0 | 0 | 37 |1494 | 0 | 3.333333e-01 | 4.000000e+00 |1100.00%
10.68/10.76 c 10.8s| 5900 | 2119 |123146 | 20.8 | 18M| 21 | - | 768 |1018 | 0 | 0 | 37 |1518 | 0 | 3.333333e-01 | 4.000000e+00 |1100.00%
10.78/10.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.78/10.88 c 10.9s| 6000 | 2109 |124361 | 20.6 | 18M| 21 | - | 768 |1028 | 768 | 698 | 37 |1557 | 0 | 3.333333e-01 | 4.000000e+00 |1100.00%
11.00/11.02 c 11.0s| 6100 | 2107 |125910 | 20.5 | 17M| 21 | 36 | 768 |1019 | 768 | 698 | 37 |1577 | 0 | 3.333333e-01 | 4.000000e+00 |1100.00%
11.09/11.15 c 11.2s| 6200 | 2106 |127282 | 20.4 | 17M| 21 | - | 768 |1014 | 0 | 0 | 37 |1605 | 0 | 3.333333e-01 | 4.000000e+00 |1100.00%
11.19/11.28 c 11.3s| 6300 | 2117 |128376 | 20.3 | 18M| 21 | - | 768 |1019 | 0 | 0 | 37 |1636 | 0 | 5.000000e-01 | 4.000000e+00 | 700.00%
11.38/11.44 c 11.4s| 6400 | 2132 |130141 | 20.2 | 18M| 21 | 34 | 768 | 999 | 768 | 698 | 37 |1657 | 0 | 5.000000e-01 | 4.000000e+00 | 700.00%
11.49/11.57 c 11.6s| 6500 | 2146 |131499 | 20.1 | 18M| 21 | 31 | 768 |1000 | 768 | 698 | 37 |1688 | 0 | 5.000000e-01 | 4.000000e+00 | 700.00%
11.58/11.69 c 11.7s| 6600 | 2146 |132460 | 20.0 | 18M| 21 | 46 | 768 | 986 | 768 | 698 | 37 |1723 | 0 | 5.000000e-01 | 4.000000e+00 | 700.00%
11.78/11.83 c 11.8s| 6700 | 2137 |133834 | 19.9 | 18M| 21 | - | 768 | 974 | 0 | 0 | 37 |1748 | 0 | 5.000000e-01 | 4.000000e+00 | 700.00%
11.88/11.95 c 12.0s| 6800 | 2144 |134946 | 19.8 | 18M| 21 | 40 | 768 | 959 | 768 | 698 | 37 |1769 | 0 | 5.000000e-01 | 4.000000e+00 | 700.00%
11.99/12.09 c 12.1s| 6900 | 2144 |136236 | 19.7 | 18M| 21 | 45 | 768 | 947 | 768 | 698 | 37 |1798 | 0 | 5.000000e-01 | 4.000000e+00 | 700.00%
12.19/12.24 c 12.2s| 7000 | 2157 |137812 | 19.6 | 18M| 21 | - | 768 | 912 | 0 | 0 | 37 |1814 | 0 | 5.000000e-01 | 4.000000e+00 | 700.00%
12.28/12.35 c 12.4s| 7100 | 2150 |138742 | 19.5 | 18M| 21 | 41 | 768 | 927 | 768 | 698 | 37 |1849 | 0 | 5.000000e-01 | 4.000000e+00 | 700.00%
12.39/12.47 c 12.5s| 7200 | 2141 |139830 | 19.3 | 18M| 21 | - | 768 | 927 | 0 | 0 | 37 |1873 | 0 | 5.000000e-01 | 4.000000e+00 | 700.00%
12.58/12.60 c 12.6s| 7300 | 2129 |141278 | 19.3 | 18M| 21 | - | 768 | 923 | 768 | 698 | 37 |1895 | 0 | 5.000000e-01 | 4.000000e+00 | 700.00%
12.69/12.74 c 12.7s| 7400 | 2129 |142685 | 19.2 | 18M| 21 | - | 768 | 920 | 0 | 0 | 37 |1919 | 0 | 5.000000e-01 | 4.000000e+00 | 700.00%
12.78/12.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.78/12.85 c 12.9s| 7500 | 2124 |143856 | 19.1 | 18M| 21 | - | 768 | 915 | 0 | 0 | 37 |1937 | 0 | 5.000000e-01 | 4.000000e+00 | 700.00%
12.88/12.98 c 13.0s| 7600 | 2129 |145124 | 19.0 | 18M| 21 | 28 | 768 | 921 | 768 | 698 | 37 |1968 | 0 | 5.000000e-01 | 4.000000e+00 | 700.00%
13.09/13.11 c 13.1s| 7700 | 2140 |146351 | 18.9 | 18M| 21 | 44 | 768 | 926 | 768 | 698 | 37 |2000 | 0 | 5.000000e-01 | 4.000000e+00 | 700.00%
13.19/13.24 c 13.2s| 7800 | 2135 |147473 | 18.8 | 18M| 21 | 41 | 768 | 924 | 768 | 698 | 37 |2020 | 0 | 5.000000e-01 | 4.000000e+00 | 700.00%
13.29/13.37 c 13.4s| 7900 | 2129 |148580 | 18.7 | 18M| 21 | - | 768 | 928 | 0 | 0 | 37 |2055 | 0 | 5.000000e-01 | 4.000000e+00 | 700.00%
13.39/13.49 c 13.5s| 8000 | 2137 |149701 | 18.6 | 18M| 21 | 49 | 768 | 930 | 768 | 698 | 37 |2080 | 0 | 5.000000e-01 | 4.000000e+00 | 700.00%
13.59/13.61 c 13.6s| 8100 | 2121 |150895 | 18.6 | 18M| 21 | - | 768 | 917 | 0 | 0 | 37 |2097 | 0 | 5.000000e-01 | 4.000000e+00 | 700.00%
13.68/13.75 c 13.7s| 8200 | 2123 |152169 | 18.5 | 18M| 21 | 41 | 768 | 901 | 768 | 698 | 37 |2113 | 0 | 5.000000e-01 | 4.000000e+00 | 700.00%
13.78/13.87 c 13.9s| 8300 | 2110 |153289 | 18.4 | 18M| 21 | - | 768 | 900 | 0 | 0 | 37 |2135 | 0 | 5.000000e-01 | 4.000000e+00 | 700.00%
13.89/13.98 c 14.0s| 8400 | 2099 |154169 | 18.3 | 18M| 21 | 40 | 768 | 886 | 768 | 698 | 37 |2148 | 0 | 5.000000e-01 | 4.000000e+00 | 700.00%
14.09/14.11 c 14.1s| 8500 | 2098 |155251 | 18.2 | 18M| 21 | - | 768 | 879 | 768 | 698 | 37 |2167 | 0 | 5.000000e-01 | 4.000000e+00 | 700.00%
14.19/14.23 c 14.2s| 8600 | 2102 |156368 | 18.1 | 18M| 21 | - | 768 | 877 | 0 | 0 | 37 |2194 | 0 | 5.000000e-01 | 4.000000e+00 | 700.00%
14.29/14.37 c 14.4s| 8700 | 2108 |158054 | 18.1 | 18M| 21 | - | 768 | 867 | 0 | 0 | 37 |2204 | 0 | 5.000000e-01 | 4.000000e+00 | 700.00%
14.38/14.48 c 14.5s| 8800 | 2074 |158875 | 18.0 | 18M| 21 | - | 768 | 889 | 0 | 0 | 37 |2242 | 0 | 5.000000e-01 | 4.000000e+00 | 700.00%
14.59/14.62 c 14.6s| 8900 | 2084 |160322 | 17.9 | 18M| 21 | 37 | 768 | 892 | 768 | 698 | 37 |2265 | 0 | 5.000000e-01 | 4.000000e+00 | 700.00%
14.68/14.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.68/14.75 c 14.8s| 9000 | 2079 |161695 | 17.9 | 18M| 21 | 25 | 768 | 899 | 768 | 698 | 37 |2298 | 0 | 5.000000e-01 | 4.000000e+00 | 700.00%
14.78/14.87 c 14.9s| 9100 | 2078 |162754 | 17.8 | 18M| 21 | - | 768 | 915 | 0 | 0 | 37 |2330 | 0 | 5.000000e-01 | 4.000000e+00 | 700.00%
14.89/14.99 c 15.0s| 9200 | 2087 |164116 | 17.8 | 18M| 21 | 62 | 768 | 918 | 768 | 698 | 37 |2349 | 0 | 5.000000e-01 | 4.000000e+00 | 700.00%
15.08/15.12 c 15.1s| 9300 | 2077 |165071 | 17.7 | 18M| 21 | 54 | 768 | 934 | 768 | 698 | 37 |2388 | 0 | 5.000000e-01 | 4.000000e+00 | 700.00%
15.18/15.24 c 15.2s| 9400 | 2076 |166301 | 17.6 | 18M| 21 | - | 768 | 939 | 768 | 698 | 37 |2417 | 0 | 5.000000e-01 | 4.000000e+00 | 700.00%
15.29/15.35 c 15.4s| 9500 | 2066 |167288 | 17.5 | 18M| 21 | - | 768 | 938 | 0 | 0 | 37 |2444 | 0 | 5.000000e-01 | 4.000000e+00 | 700.00%
15.39/15.47 c 15.5s| 9600 | 2064 |168357 | 17.5 | 18M| 21 | 62 | 768 | 935 | 768 | 698 | 37 |2461 | 0 | 5.000000e-01 | 4.000000e+00 | 700.00%
15.48/15.58 c 15.6s| 9700 | 2049 |169349 | 17.4 | 17M| 21 | - | 768 | 944 | 0 | 0 | 37 |2498 | 0 | 5.000000e-01 | 4.000000e+00 | 700.00%
15.68/15.72 c 15.7s| 9800 | 2046 |170616 | 17.4 | 17M| 21 | - | 768 | 942 | 0 | 0 | 37 |2537 | 0 | 5.000000e-01 | 4.000000e+00 | 700.00%
15.79/15.83 c 15.8s| 9900 | 2026 |171668 | 17.3 | 17M| 21 | - | 768 | 948 | 0 | 0 | 37 |2566 | 0 | 5.000000e-01 | 4.000000e+00 | 700.00%
15.88/15.94 c 15.9s| 10000 | 2029 |172494 | 17.2 | 17M| 21 | 53 | 768 | 943 | 768 | 698 | 37 |2582 | 0 | 5.000000e-01 | 4.000000e+00 | 700.00%
15.98/16.07 c 16.1s| 10100 | 2019 |173354 | 17.1 | 17M| 21 | 50 | 768 | 946 | 768 | 698 | 37 |2614 | 0 | 5.000000e-01 | 4.000000e+00 | 700.00%
16.08/16.18 c 16.2s| 10200 | 2014 |174243 | 17.0 | 17M| 21 | 50 | 768 | 946 | 768 | 698 | 37 |2635 | 0 | 5.000000e-01 | 4.000000e+00 | 700.00%
16.29/16.30 c 16.3s| 10300 | 2010 |175160 | 17.0 | 17M| 21 | 39 | 768 | 931 | 768 | 698 | 37 |2657 | 0 | 5.000000e-01 | 4.000000e+00 | 700.00%
16.39/16.44 c 16.4s| 10400 | 2010 |176231 | 16.9 | 17M| 21 | - | 768 | 931 | 0 | 0 | 37 |2684 | 0 | 5.833333e-01 | 4.000000e+00 | 585.71%
16.49/16.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.49/16.56 c 16.6s| 10500 | 2010 |177243 | 16.8 | 17M| 21 | - | 768 | 922 | 0 | 0 | 37 |2710 | 0 | 6.666667e-01 | 4.000000e+00 | 500.00%
16.68/16.71 c 16.7s| 10600 | 2007 |178617 | 16.8 | 17M| 21 | - | 768 | 921 | 0 | 0 | 37 |2740 | 0 | 7.500000e-01 | 4.000000e+00 | 433.33%
16.79/16.83 c 16.8s| 10700 | 1999 |179788 | 16.7 | 17M| 21 | - | 768 | 917 | 0 | 0 | 37 |2766 | 0 | 7.500000e-01 | 4.000000e+00 | 433.33%
16.88/16.94 c 16.9s| 10800 | 1974 |180804 | 16.7 | 17M| 21 | - | 768 | 929 | 0 | 0 | 37 |2794 | 0 | 7.500000e-01 | 4.000000e+00 | 433.33%
16.99/17.04 c 17.0s| 10900 | 1958 |181568 | 16.6 | 17M| 21 | 63 | 768 | 928 | 768 | 698 | 37 |2817 | 0 | 8.333333e-01 | 4.000000e+00 | 380.00%
17.08/17.17 c 17.2s| 11000 | 1954 |182825 | 16.6 | 17M| 21 | - | 768 | 930 | 0 | 0 | 37 |2845 | 0 | 8.333333e-01 | 4.000000e+00 | 380.00%
17.18/17.29 c 17.3s| 11100 | 1948 |183831 | 16.5 | 17M| 21 | - | 768 | 937 | 0 | 0 | 37 |2866 | 0 | 8.333333e-01 | 4.000000e+00 | 380.00%
17.38/17.41 c 17.4s| 11200 | 1934 |184792 | 16.4 | 17M| 21 | 46 | 768 | 953 | 768 | 698 | 37 |2897 | 0 | 8.333333e-01 | 4.000000e+00 | 380.00%
17.49/17.51 c 17.5s| 11300 | 1914 |185571 | 16.4 | 17M| 21 | - | 768 | 963 | 768 | 698 | 37 |2927 | 0 | 8.333333e-01 | 4.000000e+00 | 380.00%
17.59/17.63 c 17.6s| 11400 | 1911 |186595 | 16.3 | 17M| 21 | 53 | 768 | 969 | 768 | 698 | 37 |2970 | 0 | 8.333333e-01 | 4.000000e+00 | 380.00%
17.68/17.74 c 17.7s| 11500 | 1909 |187430 | 16.2 | 17M| 21 | 41 | 768 | 957 | 768 | 698 | 37 |2985 | 0 | 8.333333e-01 | 4.000000e+00 | 380.00%
17.78/17.88 c 17.9s| 11600 | 1910 |188447 | 16.2 | 17M| 21 | 58 | 768 | 949 | 768 | 698 | 37 |3004 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
17.89/17.99 c 18.0s| 11700 | 1908 |189301 | 16.1 | 17M| 21 | - | 768 | 937 | 0 | 0 | 37 |3021 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
17.99/18.09 c 18.1s| 11800 | 1902 |190014 | 16.1 | 17M| 21 | 41 | 768 | 916 | 768 | 698 | 37 |3033 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
18.09/18.17 c 18.2s| 11900 | 1908 |190674 | 16.0 | 17M| 24 | 24 | 768 | 901 | 768 | 698 | 37 |3034 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
18.18/18.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.18/18.26 c 18.3s| 12000 | 1912 |191415 | 15.9 | 17M| 24 | 25 | 768 | 893 | 768 | 698 | 37 |3035 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
18.29/18.34 c 18.3s| 12100 | 1910 |191875 | 15.8 | 17M| 24 | 38 | 768 | 894 | 768 | 698 | 37 |3040 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
18.38/18.45 c 18.5s| 12200 | 1907 |192835 | 15.8 | 17M| 24 | 54 | 768 | 909 | 768 | 698 | 37 |3069 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
18.49/18.56 c 18.6s| 12300 | 1901 |193764 | 15.7 | 17M| 24 | - | 768 | 904 | 0 | 0 | 37 |3090 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
18.59/18.67 c 18.7s| 12400 | 1898 |194575 | 15.6 | 18M| 24 | - | 768 | 894 | 0 | 0 | 37 |3103 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
18.69/18.76 c 18.8s| 12500 | 1898 |195269 | 15.6 | 18M| 24 | - | 768 | 887 | 0 | 0 | 37 |3107 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
18.79/18.86 c 18.9s| 12600 | 1880 |196037 | 15.5 | 17M| 24 | 55 | 768 | 896 | 768 | 698 | 37 |3137 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
18.88/18.95 c 18.9s| 12700 | 1888 |196728 | 15.4 | 18M| 28 | - | 768 | 903 | 0 | 0 | 37 |3149 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
18.98/19.03 c 19.0s| 12800 | 1879 |197292 | 15.4 | 18M| 28 | - | 768 | 912 | 0 | 0 | 37 |3160 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
19.08/19.16 c 19.2s| 12900 | 1872 |198418 | 15.3 | 18M| 28 | 36 | 768 | 925 | 768 | 698 | 37 |3192 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
19.19/19.27 c 19.3s| 13000 | 1848 |199206 | 15.3 | 17M| 28 | - | 768 | 944 | 0 | 0 | 37 |3232 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
19.29/19.37 c 19.4s| 13100 | 1842 |200018 | 15.2 | 17M| 28 | 62 | 768 | 938 | 768 | 698 | 37 |3256 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
19.38/19.48 c 19.5s| 13200 | 1825 |200675 | 15.2 | 18M| 28 | - | 768 | 922 | 0 | 0 | 37 |3272 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
19.49/19.59 c 19.6s| 13300 | 1817 |201492 | 15.1 | 18M| 28 | - | 768 | 906 | 0 | 0 | 37 |3297 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
19.58/19.70 c 19.7s| 13400 | 1807 |202446 | 15.1 | 18M| 28 | 48 | 768 | 911 | 768 | 698 | 37 |3319 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
19.69/19.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.69/19.79 c 19.8s| 13500 | 1792 |203003 | 15.0 | 17M| 28 | - | 768 | 904 | 0 | 0 | 37 |3334 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
19.88/19.91 c 19.9s| 13600 | 1783 |203919 | 15.0 | 17M| 28 | - | 768 | 911 | 768 | 698 | 37 |3363 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
19.99/20.00 c 20.0s| 13700 | 1774 |204699 | 14.9 | 18M| 28 | - | 768 | 885 | 0 | 0 | 37 |3375 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
20.08/20.12 c 20.1s| 13800 | 1762 |205430 | 14.8 | 18M| 28 | - | 768 | 912 | 0 | 0 | 37 |3417 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
20.18/20.21 c 20.2s| 13900 | 1756 |206269 | 14.8 | 18M| 28 | - | 768 | 917 | 0 | 0 | 37 |3433 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
20.29/20.33 c 20.3s| 14000 | 1750 |207413 | 14.8 | 18M| 28 | - | 768 | 915 | 0 | 0 | 37 |3453 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
20.38/20.46 c 20.5s| 14100 | 1744 |208372 | 14.7 | 18M| 28 | - | 768 | 931 | 0 | 0 | 37 |3484 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
20.48/20.55 c 20.5s| 14200 | 1732 |209097 | 14.7 | 18M| 28 | 46 | 768 | 919 | 768 | 698 | 37 |3499 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
20.58/20.64 c 20.6s| 14300 | 1721 |209662 | 14.6 | 18M| 28 | - | 768 | 923 | 0 | 0 | 37 |3519 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
20.68/20.74 c 20.7s| 14400 | 1706 |210478 | 14.6 | 18M| 28 | - | 768 | 911 | 0 | 0 | 37 |3535 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
20.79/20.85 c 20.9s| 14500 | 1712 |211234 | 14.5 | 18M| 28 | - | 768 | 900 | 0 | 0 | 37 |3551 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
20.88/20.96 c 21.0s| 14600 | 1709 |211833 | 14.5 | 18M| 28 | 55 | 768 | 894 | 768 | 698 | 37 |3579 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
20.98/21.06 c 21.1s| 14700 | 1694 |212642 | 14.4 | 18M| 28 | 47 | 768 | 893 | 768 | 698 | 37 |3601 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
21.08/21.19 c 21.2s| 14800 | 1679 |213678 | 14.4 | 17M| 28 | - | 768 | 903 | 0 | 0 | 37 |3627 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
21.18/21.28 c 21.3s| 14900 | 1663 |214341 | 14.3 | 17M| 28 | 44 | 768 | 882 | 768 | 698 | 37 |3632 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
21.28/21.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.28/21.38 c 21.4s| 15000 | 1659 |215064 | 14.3 | 17M| 28 | - | 768 | 903 | 0 | 0 | 37 |3663 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
21.38/21.49 c 21.5s| 15100 | 1650 |215956 | 14.3 | 17M| 28 | 57 | 768 | 896 | 768 | 698 | 37 |3683 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
21.48/21.59 c 21.6s| 15200 | 1645 |216789 | 14.2 | 17M| 28 | 45 | 768 | 908 | 768 | 698 | 37 |3699 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
21.59/21.68 c 21.7s| 15300 | 1633 |217448 | 14.2 | 17M| 28 | 49 | 768 | 908 | 768 | 698 | 37 |3710 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
21.68/21.79 c 21.8s| 15400 | 1632 |218556 | 14.2 | 17M| 28 | - | 768 | 922 | 0 | 0 | 37 |3733 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
21.78/21.90 c 21.9s| 15500 | 1619 |219490 | 14.1 | 17M| 28 | - | 768 | 925 | 0 | 0 | 37 |3757 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
21.98/22.01 c 22.0s| 15600 | 1604 |220262 | 14.1 | 17M| 28 | 47 | 768 | 925 | 768 | 698 | 37 |3769 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
22.08/22.10 c 22.1s| 15700 | 1587 |220923 | 14.0 | 17M| 28 | - | 768 | 919 | 0 | 0 | 37 |3786 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
22.08/22.19 c 22.2s| 15800 | 1578 |221611 | 14.0 | 17M| 28 | 40 | 768 | 903 | 768 | 698 | 37 |3800 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
22.18/22.29 c 22.3s| 15900 | 1559 |222221 | 13.9 | 17M| 28 | - | 768 | 909 | 0 | 0 | 37 |3817 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
22.28/22.39 c 22.4s| 16000 | 1549 |222955 | 13.9 | 17M| 28 | 52 | 768 | 926 | 768 | 698 | 37 |3850 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
22.48/22.50 c 22.5s| 16100 | 1540 |223764 | 13.9 | 17M| 28 | - | 768 | 932 | 0 | 0 | 37 |3871 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
22.58/22.60 c 22.6s| 16200 | 1534 |224367 | 13.8 | 17M| 28 | - | 768 | 938 | 0 | 0 | 37 |3895 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
22.69/22.70 c 22.7s| 16300 | 1521 |225054 | 13.8 | 17M| 28 | 59 | 768 | 945 | 768 | 698 | 37 |3921 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
22.78/22.82 c 22.8s| 16400 | 1508 |225951 | 13.7 | 17M| 28 | - | 768 | 937 | 0 | 0 | 37 |3946 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
22.89/22.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
22.89/22.92 c 22.9s| 16500 | 1495 |226963 | 13.7 | 17M| 28 | 48 | 768 | 924 | 768 | 698 | 37 |3961 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
22.99/23.02 c 23.0s| 16600 | 1471 |227495 | 13.7 | 17M| 28 | 50 | 768 | 937 | 768 | 698 | 37 |3986 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
23.09/23.11 c 23.1s| 16700 | 1457 |228040 | 13.6 | 17M| 28 | - | 768 | 935 | 0 | 0 | 37 |4000 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
23.18/23.21 c 23.2s| 16800 | 1428 |228659 | 13.6 | 17M| 28 | - | 768 | 932 | 0 | 0 | 37 |4031 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
23.28/23.31 c 23.3s| 16900 | 1415 |229375 | 13.5 | 16M| 28 | - | 768 | 947 | 768 | 698 | 37 |4057 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
23.38/23.41 c 23.4s| 17000 | 1402 |230082 | 13.5 | 16M| 28 | 32 | 768 | 943 | 768 | 698 | 37 |4078 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
23.48/23.51 c 23.5s| 17100 | 1400 |230717 | 13.5 | 17M| 28 | - | 768 | 933 | 0 | 0 | 37 |4092 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
23.58/23.60 c 23.6s| 17200 | 1395 |231393 | 13.4 | 17M| 28 | 48 | 768 | 930 | 768 | 698 | 37 |4104 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
23.68/23.71 c 23.7s| 17300 | 1384 |232226 | 13.4 | 16M| 28 | - | 768 | 921 | 0 | 0 | 37 |4117 | 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
23.78/23.80 c 23.8s| 17400 | 1373 |232928 | 13.4 | 16M| 28 | 57 | 768 | 914 | 768 | 698 | 37 |4128 | 0 | 1.250000e+00 | 4.000000e+00 | 220.00%
23.88/23.90 c 23.9s| 17500 | 1379 |233575 | 13.3 | 17M| 28 | - | 768 | 909 | 0 | 0 | 37 |4132 | 0 | 1.250000e+00 | 4.000000e+00 | 220.00%
23.88/23.99 c 24.0s| 17600 | 1348 |234146 | 13.3 | 16M| 28 | 62 | 768 | 925 | 768 | 698 | 37 |4165 | 0 | 1.250000e+00 | 4.000000e+00 | 220.00%
23.98/24.09 c 24.1s| 17700 | 1335 |234887 | 13.2 | 16M| 28 | 56 | 768 | 921 | 768 | 698 | 37 |4181 | 0 | 1.250000e+00 | 4.000000e+00 | 220.00%
24.09/24.19 c 24.2s| 17800 | 1327 |235550 | 13.2 | 16M| 28 | - | 768 | 931 | 768 | 698 | 37 |4214 | 0 | 1.333333e+00 | 4.000000e+00 | 200.00%
24.18/24.29 c 24.3s| 17900 | 1287 |236302 | 13.2 | 16M| 28 | - | 768 | 935 | 768 | 698 | 37 |4238 | 0 | 1.333333e+00 | 4.000000e+00 | 200.00%
24.28/24.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.28/24.39 c 24.4s| 18000 | 1272 |237052 | 13.1 | 16M| 28 | - | 768 | 927 | 0 | 0 | 37 |4254 | 0 | 1.333333e+00 | 4.000000e+00 | 200.00%
24.38/24.48 c 24.5s| 18100 | 1266 |237726 | 13.1 | 16M| 28 | - | 768 | 915 | 0 | 0 | 37 |4261 | 0 | 1.333333e+00 | 4.000000e+00 | 200.00%
24.48/24.59 c 24.6s| 18200 | 1237 |238389 | 13.1 | 16M| 28 | - | 768 | 936 | 768 | 698 | 37 |4300 | 0 | 1.333333e+00 | 4.000000e+00 | 200.00%
24.58/24.69 c 24.7s| 18300 | 1204 |239076 | 13.0 | 15M| 28 | 71 | 768 | 945 | 768 | 698 | 37 |4331 | 0 | 1.333333e+00 | 4.000000e+00 | 200.00%
24.68/24.78 c 24.8s| 18400 | 1184 |239635 | 13.0 | 15M| 28 | - | 768 | 953 | 768 | 698 | 37 |4348 | 0 | 1.333333e+00 | 4.000000e+00 | 200.00%
24.78/24.88 c 24.9s| 18500 | 1164 |240278 | 13.0 | 15M| 28 | - | 768 | 955 | 768 | 698 | 37 |4375 | 0 | 1.333333e+00 | 4.000000e+00 | 200.00%
24.88/24.99 c 25.0s| 18600 | 1139 |241112 | 12.9 | 15M| 28 | - | 768 | 985 | 0 | 0 | 37 |4422 | 0 | 1.500000e+00 | 4.000000e+00 | 166.67%
24.98/25.09 c 25.1s| 18700 | 1123 |241906 | 12.9 | 15M| 28 | 57 | 768 | 980 | 768 | 698 | 37 |4441 | 0 | 1.500000e+00 | 4.000000e+00 | 166.67%
25.08/25.19 c 25.2s| 18800 | 1095 |242495 | 12.9 | 15M| 28 | - | 768 | 978 | 768 | 698 | 37 |4462 | 0 | 1.500000e+00 | 4.000000e+00 | 166.67%
25.19/25.27 c 25.3s| 18900 | 1073 |243096 | 12.8 | 15M| 28 | - | 768 | 963 | 0 | 0 | 37 |4472 | 0 | 1.500000e+00 | 4.000000e+00 | 166.67%
25.28/25.37 c 25.4s| 19000 | 1058 |243759 | 12.8 | 15M| 28 | 57 | 768 | 961 | 768 | 698 | 37 |4492 | 0 | 1.500000e+00 | 4.000000e+00 | 166.67%
25.38/25.46 c 25.5s| 19100 | 1041 |244411 | 12.8 | 15M| 28 | - | 768 | 956 | 0 | 0 | 37 |4512 | 0 | 1.500000e+00 | 4.000000e+00 | 166.67%
25.48/25.55 c 25.6s| 19200 | 1018 |245036 | 12.7 | 14M| 28 | - | 768 | 956 | 0 | 0 | 37 |4524 | 0 | 1.500000e+00 | 4.000000e+00 | 166.67%
25.58/25.65 c 25.7s| 19300 | 1007 |245910 | 12.7 | 14M| 28 | - | 768 | 957 | 0 | 0 | 37 |4535 | 0 | 1.500000e+00 | 4.000000e+00 | 166.67%
25.68/25.75 c 25.8s| 19400 | 1007 |246741 | 12.7 | 14M| 28 | 55 | 768 | 955 | 768 | 698 | 37 |4550 | 0 | 1.500000e+00 | 4.000000e+00 | 166.67%
25.78/25.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.78/25.85 c 25.9s| 19500 | 998 |247316 | 12.7 | 14M| 28 | - | 768 | 949 | 0 | 0 | 37 |4562 | 0 | 1.500000e+00 | 4.000000e+00 | 166.67%
25.88/25.96 c 26.0s| 19600 | 975 |248161 | 12.6 | 14M| 28 | - | 768 | 939 | 0 | 0 | 37 |4584 | 0 | 1.500000e+00 | 4.000000e+00 | 166.67%
25.98/26.05 c 26.1s| 19700 | 960 |248863 | 12.6 | 14M| 28 | - | 768 | 928 | 0 | 0 | 37 |4592 | 0 | 1.500000e+00 | 4.000000e+00 | 166.67%
26.08/26.15 c 26.1s| 19800 | 930 |249504 | 12.6 | 14M| 28 | 51 | 768 | 926 | 768 | 698 | 37 |4604 | 0 | 1.500000e+00 | 4.000000e+00 | 166.67%
26.18/26.24 c 26.2s| 19900 | 916 |250282 | 12.5 | 14M| 28 | - | 768 | 923 | 0 | 0 | 37 |4618 | 0 | 1.500000e+00 | 4.000000e+00 | 166.67%
26.28/26.34 c 26.3s| 20000 | 890 |250953 | 12.5 | 14M| 28 | - | 768 | 935 | 0 | 0 | 37 |4637 | 0 | 1.500000e+00 | 4.000000e+00 | 166.67%
26.39/26.43 c 26.4s| 20100 | 862 |251733 | 12.5 | 13M| 28 | - | 768 | 928 | 0 | 0 | 37 |4646 | 0 | 1.500000e+00 | 4.000000e+00 | 166.67%
26.48/26.53 c 26.5s| 20200 | 829 |252417 | 12.5 | 13M| 28 | 60 | 768 | 930 | 768 | 698 | 37 |4662 | 0 | 1.500000e+00 | 4.000000e+00 | 166.67%
26.58/26.62 c 26.6s| 20300 | 805 |252991 | 12.4 | 13M| 28 | - | 768 | 935 | 0 | 0 | 37 |4685 | 0 | 1.500000e+00 | 4.000000e+00 | 166.67%
26.68/26.71 c 26.7s| 20400 | 774 |253519 | 12.4 | 13M| 28 | - | 768 | 937 | 0 | 0 | 37 |4705 | 0 | 1.500000e+00 | 4.000000e+00 | 166.67%
26.78/26.81 c 26.8s| 20500 | 750 |254310 | 12.4 | 13M| 28 | 52 | 768 | 933 | 768 | 698 | 37 |4720 | 0 | 1.500000e+00 | 4.000000e+00 | 166.67%
26.88/26.90 c 26.9s| 20600 | 742 |255007 | 12.4 | 13M| 28 | 44 | 768 | 928 | 768 | 698 | 37 |4740 | 0 | 1.500000e+00 | 4.000000e+00 | 166.67%
26.98/27.00 c 27.0s| 20700 | 726 |255742 | 12.3 | 12M| 28 | - | 768 | 928 | 0 | 0 | 37 |4749 | 0 | 1.500000e+00 | 4.000000e+00 | 166.67%
27.08/27.10 c 27.1s| 20800 | 695 |256384 | 12.3 | 12M| 28 | 61 | 768 | 933 | 768 | 698 | 37 |4778 | 0 | 1.500000e+00 | 4.000000e+00 | 166.67%
27.18/27.20 c 27.2s| 20900 | 675 |256968 | 12.3 | 12M| 28 | 60 | 768 | 935 | 768 | 698 | 37 |4801 | 0 | 1.500000e+00 | 4.000000e+00 | 166.67%
27.18/27.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.18/27.29 c 27.3s| 21000 | 645 |257567 | 12.2 | 12M| 28 | 45 | 768 | 934 | 768 | 698 | 37 |4817 | 0 | 1.500000e+00 | 4.000000e+00 | 166.67%
27.28/27.37 c 27.4s| 21100 | 614 |258005 | 12.2 | 12M| 28 | - | 768 | 937 | 768 | 698 | 37 |4840 | 0 | 1.500000e+00 | 4.000000e+00 | 166.67%
27.39/27.48 c 27.5s| 21200 | 587 |258645 | 12.2 | 11M| 28 | - | 768 | 940 | 0 | 0 | 37 |4867 | 0 | 1.500000e+00 | 4.000000e+00 | 166.67%
27.49/27.58 c 27.6s| 21300 | 566 |259197 | 12.1 | 11M| 28 | - | 768 | 949 | 0 | 0 | 37 |4891 | 0 | 1.500000e+00 | 4.000000e+00 | 166.67%
27.58/27.67 c 27.7s| 21400 | 546 |259672 | 12.1 | 11M| 28 | 57 | 768 | 955 | 768 | 698 | 37 |4909 | 0 | 1.500000e+00 | 4.000000e+00 | 166.67%
27.68/27.76 c 27.8s| 21500 | 515 |260162 | 12.1 | 11M| 28 | - | 768 | 963 | 0 | 0 | 37 |4933 | 0 | 1.500000e+00 | 4.000000e+00 | 166.67%
27.78/27.85 c 27.9s| 21600 | 478 |260746 | 12.0 | 10M| 28 | - | 768 | 958 | 0 | 0 | 37 |4956 | 0 | 1.500000e+00 | 4.000000e+00 | 166.67%
27.89/27.94 c 27.9s| 21700 | 430 |261101 | 12.0 | 10M| 28 | 56 | 768 | 963 | 768 | 698 | 37 |4980 | 0 | 1.833333e+00 | 4.000000e+00 | 118.18%
27.98/28.04 c 28.0s| 21800 | 384 |261646 | 12.0 | 10M| 28 | - | 768 | 969 | 0 | 0 | 37 |5006 | 0 | 1.833333e+00 | 4.000000e+00 | 118.18%
28.08/28.13 c 28.1s| 21900 | 347 |262236 | 11.9 |9878k| 28 | - | 768 | 975 | 0 | 0 | 37 |5030 | 0 | 1.833333e+00 | 4.000000e+00 | 118.18%
28.18/28.21 c 28.2s| 22000 | 319 |262724 | 11.9 |9507k| 28 | 49 | 768 | 987 | 768 | 698 | 37 |5055 | 0 | 2.000000e+00 | 4.000000e+00 | 100.00%
28.28/28.30 c 28.3s| 22100 | 269 |263083 | 11.9 |8990k| 28 | - | 768 | 994 | 0 | 0 | 37 |5081 | 0 | 2.000000e+00 | 4.000000e+00 | 100.00%
28.28/28.39 c 28.4s| 22200 | 224 |263671 | 11.9 |8636k| 28 | - | 768 | 991 | 0 | 0 | 37 |5093 | 0 | 2.000000e+00 | 4.000000e+00 | 100.00%
28.38/28.49 c 28.5s| 22300 | 157 |264187 | 11.8 |7943k| 28 | - | 768 |1016 | 768 | 698 | 37 |5140 | 0 | 2.000000e+00 | 4.000000e+00 | 100.00%
28.48/28.58 c 28.6s| 22400 | 84 |264671 | 11.8 |7101k| 28 | - | 768 |1038 | 0 | 0 | 37 |5172 | 0 | 2.000000e+00 | 4.000000e+00 | 100.00%
28.58/28.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.58/28.68 c 28.7s| 22500 | 42 |265130 | 11.8 |6567k| 28 | - | 768 |1044 | 768 | 698 | 37 |5198 | 0 | 2.000000e+00 | 4.000000e+00 | 100.00%
28.68/28.74 c
28.68/28.74 c SCIP Status : problem is solved [optimal solution found]
28.68/28.74 c Solving Time (sec) : 28.74
28.68/28.74 c Solving Nodes : 22570
28.68/28.74 c Primal Bound : +4.00000000000000e+00 (166 solutions)
28.68/28.74 c Dual Bound : +4.00000000000000e+00
28.68/28.74 c Gap : 0.00 %
28.68/28.74 s OPTIMUM FOUND
28.68/28.74 v x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 x110 -x109 x108 -x107 -x106 -x105 -x104 x103 -x102 -x101 -x100 x99 -x98
28.68/28.74 v -x97 x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 x87 -x86 -x85 -x84 -x83 x82 -x81 -x80 x79 -x78 -x77 -x76 x75 -x74 -x73 -x72
28.68/28.74 v -x71 x70 -x69 -x68 -x67 -x66 x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 x53 -x52 -x51 -x50 x49 -x48 x47 -x46
28.68/28.74 v -x45 -x44 -x43 -x42 x41 -x40 x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 -x31 -x30 x29 -x28 -x27 x26 -x25 -x24 -x23 -x22 x21 x20 -x19
28.68/28.74 v -x18 -x17 x16 -x15 -x14 -x13 x12 -x11 -x10 -x9 -x8 -x7 -x6 x5 -x4 -x3 -x2 x1
28.68/28.74 c SCIP Status : problem is solved [optimal solution found]
28.68/28.74 c Total Time : 28.74
28.68/28.74 c solving : 28.74
28.68/28.74 c presolving : 0.05 (included in solving)
28.68/28.74 c reading : 0.00 (included in solving)
28.68/28.74 c copying : 0.02 (3 #copies) (minimal 0.01, maximal 0.01, average 0.01)
28.68/28.74 c Original Problem :
28.68/28.74 c Problem name : HOME/instance-3717601-1338204503.wbo
28.68/28.74 c Variables : 444 (444 binary, 0 integer, 0 implicit integer, 0 continuous)
28.68/28.74 c Constraints : 355 initial, 355 maximal
28.68/28.74 c Objective sense : minimize
28.68/28.74 c Presolved Problem :
28.68/28.74 c Problem name : t_HOME/instance-3717601-1338204503.wbo
28.68/28.74 c Variables : 768 (444 binary, 0 integer, 324 implicit integer, 0 continuous)
28.68/28.74 c Constraints : 679 initial, 1233 maximal
28.68/28.74 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
28.68/28.74 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
28.68/28.74 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
28.68/28.74 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
28.68/28.74 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
28.68/28.74 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
28.68/28.74 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
28.68/28.74 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
28.68/28.74 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
28.68/28.74 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
28.68/28.74 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
28.68/28.74 c probing : 0.03 0.00 0 0 0 0 0 0 0 0 0
28.68/28.74 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0
28.68/28.74 c setppc : 0.00 0.00 0 0 0 0 0 0 0 0 0
28.68/28.74 c linear : 0.01 0.00 0 0 0 324 0 0 0 0 0
28.68/28.74 c indicator : 0.00 0.00 0 0 0 0 0 0 0 0 0
28.68/28.74 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
28.68/28.74 c root node : - - 2 - - 2 - - - - -
28.68/28.74 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
28.68/28.74 c integral : 0 0 0 0 12177 0 2570 0 0 0 0 0 24354
28.68/28.74 c knapsack : 1 1 0 47878 0 0 2567 0 0 0 0 0 0
28.68/28.74 c setppc : 30 30 7 57403 0 0 2542 5990 515 33661 0 0 0
28.68/28.74 c linear : 324 324 7 56888 0 0 166 14055 1059 166134 0 0 0
28.68/28.74 c indicator : 324 324 0 55724 0 0 166 4912 0 657547 0 0 0
28.68/28.74 c logicor : 0+ 554 0 32499 0 0 0 4358 10661 14272 0 0 0
28.68/28.74 c countsols : 0 0 0 0 0 0 168 0 0 0 0 0 0
28.68/28.74 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
28.68/28.74 c integral : 0.15 0.00 0.00 0.00 0.11 0.00 0.04 0.00
28.68/28.74 c knapsack : 0.09 0.00 0.00 0.07 0.00 0.00 0.02 0.00
28.68/28.74 c setppc : 0.19 0.00 0.00 0.18 0.00 0.00 0.00 0.01
28.68/28.74 c linear : 0.90 0.00 0.00 0.88 0.00 0.00 0.01 0.02
28.68/28.74 c indicator : 1.13 0.00 0.00 1.11 0.00 0.00 0.02 0.00
28.68/28.74 c logicor : 0.53 0.00 0.00 0.52 0.00 0.00 0.00 0.01
28.68/28.74 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
28.68/28.74 c Propagators : #Propagate #ResProp Cutoffs DomReds
28.68/28.74 c rootredcost : 3 0 0 0
28.68/28.74 c pseudoobj : 68938 4391 98 16042
28.68/28.74 c vbounds : 16158 16170 7 2310644
28.68/28.74 c redcost : 17564 0 0 1497097
28.68/28.74 c probing : 0 0 0 0
28.68/28.74 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
28.68/28.74 c rootredcost : 0.05 0.00 0.00 0.05 0.00
28.68/28.74 c pseudoobj : 0.21 0.00 0.00 0.14 0.07
28.68/28.74 c vbounds : 1.42 0.00 0.00 1.40 0.01
28.68/28.74 c redcost : 1.01 0.00 0.00 1.01 0.00
28.68/28.74 c probing : 0.03 0.00 0.03 0.00 0.00
28.68/28.74 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
28.68/28.74 c propagation : 0.26 12340 4370 5505 29.5 43 13.3 -
28.68/28.74 c infeasible LP : 0.00 27 27 42 17.0 0 0.0 0
28.68/28.74 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
28.68/28.74 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
28.68/28.74 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
28.68/28.74 c applied globally : - - - 5132 27.6 - - -
28.68/28.74 c applied locally : - - - 85 86.7 - - -
28.68/28.74 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
28.68/28.74 c cut pool : 0.00 6 - - 67 - (maximal pool size: 855)
28.68/28.74 c closecuts : 0.00 0.00 0 0 0 0 0
28.68/28.74 c impliedbounds : 0.00 0.00 7 0 0 0 0
28.68/28.74 c intobj : 0.00 0.00 0 0 0 0 0
28.68/28.74 c gomory : 0.01 0.00 7 0 0 350 0
28.68/28.74 c cgmip : 0.00 0.00 0 0 0 0 0
28.68/28.74 c strongcg : 0.05 0.00 7 0 0 1440 0
28.68/28.74 c cmir : 0.05 0.00 7 0 0 0 0
28.68/28.74 c flowcover : 0.03 0.00 7 0 0 0 0
28.68/28.74 c clique : 0.00 0.00 7 0 0 0 0
28.68/28.74 c zerohalf : 0.00 0.00 0 0 0 0 0
28.68/28.74 c mcf : 0.00 0.00 1 0 0 0 0
28.68/28.74 c oddcycle : 0.00 0.00 0 0 0 0 0
28.68/28.74 c rapidlearning : 0.04 0.00 1 0 0 0 0
28.68/28.74 c Pricers : ExecTime SetupTime Calls Vars
28.68/28.74 c problem variables: 0.00 - 0 0
28.68/28.74 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
28.68/28.74 c inference : 0.08 0.00 12177 0 0 0 0 24354
28.68/28.74 c relpscost : 0.00 0.00 0 0 0 0 0 0
28.68/28.74 c pscost : 0.00 0.00 0 0 0 0 0 0
28.68/28.74 c mostinf : 0.00 0.00 0 0 0 0 0 0
28.68/28.74 c leastinf : 0.00 0.00 0 0 0 0 0 0
28.68/28.74 c fullstrong : 0.00 0.00 0 0 0 0 0 0
28.68/28.74 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
28.68/28.74 c random : 0.00 0.00 0 0 0 0 0 0
28.68/28.74 c Primal Heuristics : ExecTime SetupTime Calls Found
28.68/28.74 c LP solutions : 0.00 - - 0
28.68/28.74 c pseudo solutions : 0.00 - - 0
28.68/28.74 c oneopt : 0.02 0.00 5 0
28.68/28.74 c indoneopt : 0.07 0.00 6 0
28.68/28.74 c feaspump : 0.01 0.00 1 0
28.68/28.74 c coefdiving : 1.49 0.00 257 1
28.68/28.74 c guideddiving : 0.97 0.00 301 0
28.68/28.74 c linesearchdiving : 0.66 0.00 301 0
28.68/28.74 c veclendiving : 0.74 0.00 399 1
28.68/28.74 c fracdiving : 0.88 0.00 415 1
28.68/28.74 c pscostdiving : 0.89 0.00 443 1
28.68/28.74 c smallcard : 0.00 0.00 0 0
28.68/28.74 c trivial : 0.00 0.00 2 0
28.68/28.74 c shiftandpropagate: 0.00 0.00 0 0
28.68/28.74 c simplerounding : 0.01 0.00 0 0
28.68/28.74 c zirounding : 0.13 0.00 0 0
28.68/28.74 c rounding : 0.07 0.00 1480 0
28.68/28.74 c shifting : 0.11 0.00 886 84
28.68/28.74 c intshifting : 0.00 0.00 0 0
28.68/28.74 c twoopt : 0.00 0.00 0 0
28.68/28.74 c indtwoopt : 0.00 0.00 0 0
28.68/28.74 c fixandinfer : 0.00 0.00 0 0
28.68/28.74 c clique : 0.00 0.00 0 0
28.68/28.74 c indcoefdiving : 0.00 0.00 0 0
28.68/28.74 c indrounding : 1.61 0.00 12177 1
28.68/28.74 c nlpdiving : 0.00 0.00 0 0
28.68/28.74 c intdiving : 0.00 0.00 0 0
28.68/28.74 c actconsdiving : 0.00 0.00 0 0
28.68/28.74 c objpscostdiving : 0.11 0.00 16 5
28.68/28.74 c rootsoldiving : 0.14 0.00 19 14
28.68/28.74 c octane : 0.00 0.00 0 0
28.68/28.74 c rens : 0.02 0.00 1 0
28.68/28.74 c rins : 0.00 0.00 0 0
28.68/28.74 c localbranching : 0.00 0.00 0 0
28.68/28.74 c mutation : 0.00 0.00 0 0
28.68/28.74 c crossover : 0.05 0.00 1 0
28.68/28.74 c dins : 0.00 0.00 0 0
28.68/28.74 c vbounds : 0.00 0.00 0 0
28.68/28.74 c undercover : 0.00 0.00 0 0
28.68/28.74 c subnlp : 0.02 0.00 0 0
28.68/28.74 c trysol : 0.05 0.00 58 58
28.68/28.74 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
28.68/28.74 c primal LP : 0.00 1 0 0.00 - 0.00 1
28.68/28.74 c dual LP : 9.35 20123 200059 13.60 21391.31 0.97 5415
28.68/28.74 c lex dual LP : 0.00 0 0 0.00 -
28.68/28.74 c barrier LP : 0.00 0 0 0.00 - 0.00 0
28.68/28.74 c diving/probing LP: 3.35 8714 65406 7.51 19544.83
28.68/28.74 c strong branching : 0.00 0 0 0.00 -
28.68/28.74 c (at root node) : - 0 0 0.00 -
28.68/28.74 c conflict analysis: 0.00 0 0 0.00 -
28.68/28.74 c B&B Tree :
28.68/28.74 c number of runs : 1
28.68/28.74 c nodes : 22570
28.68/28.74 c nodes (total) : 22570
28.68/28.74 c nodes left : 0
28.68/28.74 c max depth : 28
28.68/28.74 c max depth (total): 28
28.68/28.74 c backtracks : 9735 (43.1%)
28.68/28.74 c delayed cutoffs : 1776
28.68/28.74 c repropagations : 2230 (510287 domain reductions, 1539 cutoffs)
28.68/28.74 c avg switch length: 10.34
28.68/28.74 c switching time : 2.94
28.68/28.74 c Solution :
28.68/28.74 c Solutions found : 166 (6 improvements)
28.68/28.74 c First Solution : +2.00000000000000e+01 (in run 1, after 1 nodes, 0.18 seconds, depth 0, found by <shifting>)
28.68/28.74 c Primal Bound : +4.00000000000000e+00 (in run 1, after 28 nodes, 0.39 seconds, depth 19, found by <veclendiving>)
28.68/28.74 c Dual Bound : +4.00000000000000e+00
28.68/28.74 c Gap : 0.00 %
28.68/28.74 c Root Dual Bound : +0.00000000000000e+00
28.68/28.74 c Root Iterations : 588
28.68/28.75 c Time complete: 28.73.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3717601-1338204503/watcher-3717601-1338204503 -o /tmp/evaluation-result-3717601-1338204503/solver-3717601-1338204503 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3717601-1338204503.wbo -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.02 2.00 3/176 16092
/proc/meminfo: memFree=31112236/32873844 swapFree=7112/7112
[pid=16092] ppid=16090 vsize=11748 CPUtime=0 cores=1,3,5,7
/proc/16092/stat : 16092 (scip-2.1.1.4fix) R 16090 16092 10153 0 -1 4202496 1576 0 0 0 0 0 0 0 20 0 1 0 286575219 12029952 1531 33554432000 4194304 10173063 140733635612896 140736265555608 8846909 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16092/statm: 2937 1539 466 1460 0 1468 0
[startup+0.021798 s]
/proc/loadavg: 2.02 2.02 2.00 3/176 16092
/proc/meminfo: memFree=31112236/32873844 swapFree=7112/7112
[pid=16092] ppid=16090 vsize=19460 CPUtime=0.02 cores=1,3,5,7
/proc/16092/stat : 16092 (scip-2.1.1.4fix) R 16090 16092 10153 0 -1 4202496 3704 0 0 0 1 1 0 0 20 0 1 0 286575219 19927040 3401 33554432000 4194304 10173063 140733635612896 140736265555608 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16092/statm: 4865 3401 593 1460 0 3396 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19460
[startup+0.10031 s]
/proc/loadavg: 2.02 2.02 2.00 3/176 16092
/proc/meminfo: memFree=31112236/32873844 swapFree=7112/7112
[pid=16092] ppid=16090 vsize=32196 CPUtime=0.09 cores=1,3,5,7
/proc/16092/stat : 16092 (scip-2.1.1.4fix) R 16090 16092 10153 0 -1 4202496 6843 0 0 0 7 2 0 0 20 0 1 0 286575219 32968704 6540 33554432000 4194304 10173063 140733635612896 140736265555608 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16092/statm: 8049 6541 819 1460 0 6580 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32196
[startup+0.300295 s]
/proc/loadavg: 2.02 2.02 2.00 3/176 16092
/proc/meminfo: memFree=31112236/32873844 swapFree=7112/7112
[pid=16092] ppid=16090 vsize=23716 CPUtime=0.29 cores=1,3,5,7
/proc/16092/stat : 16092 (scip-2.1.1.4fix) R 16090 16092 10153 0 -1 4202496 10406 0 0 0 24 5 0 0 20 0 1 0 286575219 24285184 4803 33554432000 4194304 10173063 140733635612896 140736265555608 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16092/statm: 5929 4803 857 1460 0 4460 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23716
[startup+0.700244 s]
/proc/loadavg: 2.02 2.02 2.00 3/176 16092
/proc/meminfo: memFree=31112236/32873844 swapFree=7112/7112
[pid=16092] ppid=16090 vsize=24256 CPUtime=0.69 cores=1,3,5,7
/proc/16092/stat : 16092 (scip-2.1.1.4fix) R 16090 16092 10153 0 -1 4202496 10497 0 0 0 61 8 0 0 20 0 1 0 286575219 24838144 4894 33554432000 4194304 10173063 140733635612896 140733635606168 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16092/statm: 6064 4894 859 1460 0 4595 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24256
[startup+1.50024 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 16093
/proc/meminfo: memFree=31095992/32873844 swapFree=7112/7112
[pid=16092] ppid=16090 vsize=25276 CPUtime=1.49 cores=1,3,5,7
/proc/16092/stat : 16092 (scip-2.1.1.4fix) R 16090 16092 10153 0 -1 4202496 14154 0 0 0 135 14 0 0 20 0 1 0 286575219 25882624 5169 33554432000 4194304 10173063 140733635612896 140733635605608 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16092/statm: 6319 5169 866 1460 0 4850 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25276
[startup+3.10023 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 16093
/proc/meminfo: memFree=31093512/32873844 swapFree=7112/7112
[pid=16092] ppid=16090 vsize=29152 CPUtime=3.09 cores=1,3,5,7
/proc/16092/stat : 16092 (scip-2.1.1.4fix) R 16090 16092 10153 0 -1 4202496 15108 0 0 0 285 24 0 0 20 0 1 0 286575219 29851648 6107 33554432000 4194304 10173063 140733635612896 140733635607880 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16092/statm: 7288 6107 868 1460 0 5819 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29152
[startup+6.30023 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 16093
/proc/meminfo: memFree=31082956/32873844 swapFree=7112/7112
[pid=16092] ppid=16090 vsize=37544 CPUtime=6.29 cores=1,3,5,7
/proc/16092/stat : 16092 (scip-2.1.1.4fix) R 16090 16092 10153 0 -1 4202496 17199 0 0 0 586 43 0 0 20 0 1 0 286575219 38445056 8157 33554432000 4194304 10173063 140733635612896 140733635606072 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16092/statm: 9386 8157 868 1460 0 7917 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37544
[startup+12.7003 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 16093
/proc/meminfo: memFree=31070480/32873844 swapFree=7112/7112
[pid=16092] ppid=16090 vsize=49648 CPUtime=12.69 cores=1,3,5,7
/proc/16092/stat : 16092 (scip-2.1.1.4fix) R 16090 16092 10153 0 -1 4202496 19807 0 0 0 1183 86 0 0 20 0 1 0 286575219 50839552 10736 33554432000 4194304 10173063 140733635612896 140733635609432 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16092/statm: 12412 10736 868 1460 0 10943 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49648
[startup+25.5002 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 16093
/proc/meminfo: memFree=31061608/32873844 swapFree=7112/7112
[pid=16092] ppid=16090 vsize=55788 CPUtime=25.48 cores=1,3,5,7
/proc/16092/stat : 16092 (scip-2.1.1.4fix) R 16090 16092 10153 0 -1 4202496 21240 0 0 0 2378 170 0 0 20 0 1 0 286575219 57126912 12519 33554432000 4194304 10173063 140733635612896 140733635609384 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16092/statm: 13947 12519 868 1460 0 12478 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 55788
Solver just ended. Dumping a history of the last processes samples
[startup+27.1002 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 16093
/proc/meminfo: memFree=31061608/32873844 swapFree=7112/7112
[pid=16092] ppid=16090 vsize=56244 CPUtime=27.08 cores=1,3,5,7
/proc/16092/stat : 16092 (scip-2.1.1.4fix) R 16090 16092 10153 0 -1 4202496 21328 0 0 0 2527 181 0 0 20 0 1 0 286575219 57593856 12607 33554432000 4194304 10173063 140733635612896 140733635609416 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16092/statm: 14061 12607 868 1460 0 12592 0
Current children cumulated CPU time (s) 27.08
Current children cumulated vsize (KiB) 56244
[startup+27.9003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 16093
/proc/meminfo: memFree=31061360/32873844 swapFree=7112/7112
[pid=16092] ppid=16090 vsize=56244 CPUtime=27.89 cores=1,3,5,7
/proc/16092/stat : 16092 (scip-2.1.1.4fix) R 16090 16092 10153 0 -1 4202496 21350 0 0 0 2602 187 0 0 20 0 1 0 286575219 57593856 12629 33554432000 4194304 10173063 140733635612896 140733635610264 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16092/statm: 14061 12629 868 1460 0 12592 0
Current children cumulated CPU time (s) 27.89
Current children cumulated vsize (KiB) 56244
[startup+28.3003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 16093
/proc/meminfo: memFree=31061360/32873844 swapFree=7112/7112
[pid=16092] ppid=16090 vsize=56520 CPUtime=28.28 cores=1,3,5,7
/proc/16092/stat : 16092 (scip-2.1.1.4fix) R 16090 16092 10153 0 -1 4202496 21399 0 0 0 2639 189 0 0 20 0 1 0 286575219 57876480 12678 33554432000 4194304 10173063 140733635612896 140733635610264 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16092/statm: 14130 12678 868 1460 0 12661 0
Current children cumulated CPU time (s) 28.28
Current children cumulated vsize (KiB) 56520
[startup+28.7003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 16093
/proc/meminfo: memFree=31060740/32873844 swapFree=7112/7112
[pid=16092] ppid=16090 vsize=56520 CPUtime=28.68 cores=1,3,5,7
/proc/16092/stat : 16092 (scip-2.1.1.4fix) R 16090 16092 10153 0 -1 4202496 21412 0 0 0 2675 193 0 0 20 0 1 0 286575219 57876480 12691 33554432000 4194304 10173063 140733635612896 140733635610264 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16092/statm: 14130 12691 868 1460 0 12661 0
Current children cumulated CPU time (s) 28.68
Current children cumulated vsize (KiB) 56520
Child status: 0
Real time (s): 28.7519
CPU time (s): 28.7416
CPU user time (s): 26.8039
CPU system time (s): 1.9377
CPU usage (%): 99.9642
Max. virtual memory (cumulated for all children) (KiB): 56520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.8039
system time used= 1.93771
maximum resident set size= 50776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21417
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= 16
involuntary context switches= 30
runsolver used 0.095985 second user time and 0.247962 second system time
The end