0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3485340-1307772940.opb>
0.00/0.00 c original problem has 51 variables (51 bin, 0 int, 0 impl, 0 cont) and 13 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c presolving:
0.00/0.00 c (round 1) 1 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.00 c (round 2) 1 del vars, 7 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.00 c presolving (3 rounds):
0.00/0.00 c 1 deleted vars, 7 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.00 c 0 implications, 0 cliques
0.00/0.00 c presolved problem has 50 variables (50 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.00/0.00 c 6 constraints of type <linear>
0.00/0.00 c transformed objective value is always integral (scale: 1)
0.00/0.00 c Presolving Time: 0.00
0.00/0.00 c - non default parameters ----------------------------------------------------------------------
0.00/0.00 c # SCIP version 2.0.1.4
0.00/0.00 c
0.00/0.00 c # frequency for displaying node information lines
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.00 c display/freq = 10000
0.00/0.00 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/time = 1797
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = 13950
0.00/0.01 c
0.00/0.01 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.01 c # [type: int, range: [1,2], default: 1]
0.00/0.01 c timing/clocktype = 2
0.00/0.01 c
0.00/0.01 c # belongs reading time to solving time?
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c timing/reading = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify inequalities
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/linear/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/indicator/addCouplingCons = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify knapsacks
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c separating/rapidlearning/freq = 0
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.01 c 0.0s| 1 | 0 | 32 | - | 292k| 0 | 6 | 50 | 15 | 50 | 6 | 0 | 9 | 0 | 0.000000e+00 | -- | Inf
0.00/0.02 c 0.0s| 1 | 0 | 114 | - | 323k| 0 | 9 | 50 | 15 | 50 | 11 | 5 | 9 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 118 | - | 365k| 0 | 13 | 50 | 15 | 50 | 16 | 10 | 9 | 0 | 0.000000e+00 | -- | Inf
0.02/0.03 c 0.0s| 1 | 0 | 123 | - | 392k| 0 | 14 | 50 | 15 | 50 | 20 | 14 | 9 | 0 | 0.000000e+00 | -- | Inf
0.02/0.03 c 0.0s| 1 | 0 | 134 | - | 423k| 0 | 14 | 50 | 15 | 50 | 24 | 18 | 9 | 0 | 0.000000e+00 | -- | Inf
0.02/0.04 c 0.0s| 1 | 0 | 142 | - | 437k| 0 | 13 | 50 | 15 | 50 | 27 | 21 | 9 | 0 | 0.000000e+00 | -- | Inf
0.02/0.05 c 0.0s| 1 | 0 | 149 | - | 448k| 0 | 15 | 50 | 15 | 50 | 30 | 24 | 9 | 0 | 0.000000e+00 | -- | Inf
0.02/0.06 c 0.1s| 1 | 2 | 149 | - | 449k| 0 | 15 | 50 | 15 | 50 | 30 | 24 | 9 | 9 | 0.000000e+00 | -- | Inf
1.39/1.47 c 1.5s| 10000 | 4611 | 25233 | 2.5 |4187k| 44 | 6 | 50 |3118 | 50 | 15 | 24 |3876 | 510 | 0.000000e+00 | -- | Inf
2.90/2.96 c 3.0s| 20000 | 8565 | 49525 | 2.5 |6322k| 44 | - | 50 |1948 | 50 | 15 | 24 |8158 | 717 | 0.000000e+00 | -- | Inf
4.29/4.31 c 4.3s| 30000 | 12511 | 75204 | 2.5 |8832k| 44 | 6 | 50 |2622 | 50 | 15 | 24 | 12k| 879 | 0.000000e+00 | -- | Inf
5.69/5.72 c 5.7s| 40000 | 16037 | 99896 | 2.5 | 11M| 44 | - | 50 |2824 | 50 | 15 | 24 | 17k| 977 | 0.000000e+00 | -- | Inf
7.19/7.20 c 7.2s| 50000 | 19288 |124949 | 2.5 | 13M| 44 | - | 50 |2814 | 0 | 0 | 24 | 21k|1060 | 0.000000e+00 | -- | Inf
8.59/8.63 c 8.6s| 60000 | 22626 |150113 | 2.5 | 15M| 44 | 6 | 50 |3582 | 50 | 15 | 24 | 26k|1147 | 0.000000e+00 | -- | Inf
10.09/10.10 c 10.1s| 70000 | 25861 |175355 | 2.5 | 17M| 44 | 6 | 50 |3920 | 50 | 15 | 24 | 31k|1211 | 0.000000e+00 | -- | Inf
11.59/11.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.59/11.60 c 11.6s| 80000 | 29126 |200518 | 2.5 | 20M| 44 | 6 | 50 |3724 | 50 | 15 | 24 | 36k|1253 | 0.000000e+00 | -- | Inf
13.09/13.15 c 13.2s| 90000 | 32081 |225750 | 2.5 | 22M| 44 | - | 50 |3746 | 50 | 15 | 24 | 41k|1276 | 0.000000e+00 | -- | Inf
14.70/14.71 c 14.7s|100000 | 34928 |251048 | 2.5 | 24M| 44 | - | 50 |3887 | 50 | 15 | 24 | 46k|1347 | 0.000000e+00 | -- | Inf
16.19/16.26 c 16.3s|110000 | 38150 |275929 | 2.5 | 26M| 44 | 6 | 50 |3901 | 50 | 15 | 24 | 51k|1410 | 0.000000e+00 | -- | Inf
17.80/17.83 c 17.8s|120000 | 41056 |301650 | 2.5 | 28M| 44 | - | 50 |4044 | 50 | 15 | 24 | 56k|1465 | 0.000000e+00 | -- | Inf
19.40/19.42 c 19.4s|130000 | 43940 |326973 | 2.5 | 30M| 44 | 6 | 50 |4220 | 50 | 15 | 24 | 62k|1515 | 0.000000e+00 | -- | Inf
20.90/20.90 c 20.9s|140000 | 47205 |353390 | 2.5 | 32M| 44 | 6 | 50 |4922 | 50 | 15 | 24 | 67k|1563 | 0.000000e+00 | -- | Inf
22.39/22.46 c 22.5s|150000 | 50180 |379086 | 2.5 | 35M| 44 | 6 | 50 |5303 | 50 | 15 | 24 | 72k|1615 | 0.000000e+00 | -- | Inf
23.99/24.09 c 24.1s|160000 | 53040 |404224 | 2.5 | 36M| 44 | 6 | 50 |4455 | 50 | 15 | 24 | 77k|1663 | 0.000000e+00 | -- | Inf
25.69/25.75 c 25.8s|170000 | 55610 |429943 | 2.5 | 38M| 44 | 6 | 50 |4553 | 50 | 15 | 24 | 82k|1711 | 0.000000e+00 | -- | Inf
27.30/27.32 c 27.3s|180000 | 58542 |454784 | 2.5 | 41M| 44 | - | 50 |4689 | 50 | 15 | 24 | 87k|1756 | 0.000000e+00 | -- | Inf
28.89/28.96 c 29.0s|190000 | 61314 |480327 | 2.5 | 43M| 44 | 6 | 50 |4936 | 50 | 15 | 24 | 93k|1789 | 0.000000e+00 | -- | Inf
30.49/30.55 c 30.5s|200000 | 64236 |505034 | 2.5 | 45M| 44 | 6 | 50 |5199 | 50 | 15 | 24 | 98k|1822 | 0.000000e+00 | -- | Inf
32.10/32.14 c 32.1s|210000 | 67249 |530392 | 2.5 | 47M| 44 | 6 | 50 |5438 | 50 | 15 | 24 | 103k|1873 | 0.000000e+00 | -- | Inf
33.79/33.82 c 33.8s|220000 | 69924 |556317 | 2.5 | 49M| 44 | 6 | 50 |4796 | 50 | 15 | 24 | 108k|1911 | 0.000000e+00 | -- | Inf
35.39/35.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.39/35.47 c 35.5s|230000 | 72660 |581470 | 2.5 | 51M| 44 | 6 | 50 |4626 | 50 | 15 | 24 | 114k|1954 | 0.000000e+00 | -- | Inf
37.09/37.17 c 37.2s|240000 | 75279 |606290 | 2.5 | 53M| 44 | 6 | 50 |4194 | 50 | 15 | 24 | 119k|1996 | 0.000000e+00 | -- | Inf
38.70/38.78 c 38.8s|250000 | 77979 |632475 | 2.5 | 55M| 44 | 6 | 50 |4948 | 50 | 15 | 24 | 124k|2037 | 0.000000e+00 | -- | Inf
40.19/40.29 c 40.3s|260000 | 81035 |658284 | 2.5 | 57M| 44 | 6 | 50 |5811 | 50 | 15 | 24 | 129k|2070 | 0.000000e+00 | -- | Inf
41.89/41.99 c 42.0s|270000 | 83961 |683316 | 2.5 | 59M| 44 | 6 | 50 |5342 | 50 | 15 | 24 | 134k|2104 | 0.000000e+00 | -- | Inf
43.59/43.60 c 43.6s|280000 | 86796 |708939 | 2.5 | 61M| 44 | - | 50 |5631 | 50 | 15 | 24 | 140k|2133 | 0.000000e+00 | -- | Inf
45.30/45.32 c 45.3s|290000 | 89535 |734342 | 2.5 | 63M| 44 | - | 50 |4957 | 50 | 15 | 24 | 145k|2158 | 0.000000e+00 | -- | Inf
46.99/47.00 c 47.0s|300000 | 92136 |759652 | 2.5 | 65M| 44 | 6 | 50 |5462 | 50 | 15 | 24 | 151k|2186 | 0.000000e+00 | -- | Inf
48.69/48.73 c 48.7s|310000 | 94628 |785316 | 2.5 | 67M| 44 | 6 | 50 |5145 | 50 | 15 | 24 | 156k|2216 | 0.000000e+00 | -- | Inf
50.40/50.44 c 50.4s|320000 | 97221 |811143 | 2.5 | 69M| 44 | 6 | 50 |5300 | 50 | 15 | 24 | 162k|2244 | 0.000000e+00 | -- | Inf
52.09/52.11 c 52.1s|330000 |100047 |836354 | 2.5 | 71M| 44 | 6 | 50 |5108 | 50 | 15 | 24 | 167k|2287 | 0.000000e+00 | -- | Inf
53.69/53.72 c 53.7s|340000 |102935 |862164 | 2.5 | 73M| 44 | 6 | 50 |5788 | 50 | 15 | 24 | 172k|2316 | 0.000000e+00 | -- | Inf
55.40/55.46 c 55.5s|350000 |105511 |887281 | 2.5 | 75M| 44 | 6 | 50 |4700 | 50 | 15 | 24 | 178k|2348 | 0.000000e+00 | -- | Inf
57.10/57.16 c 57.2s|360000 |108073 |912175 | 2.5 | 77M| 44 | 6 | 50 |4552 | 50 | 15 | 24 | 183k|2377 | 0.000000e+00 | -- | Inf
58.79/58.85 c 58.9s|370000 |110635 |937229 | 2.5 | 79M| 44 | 6 | 50 |4327 | 50 | 15 | 24 | 189k|2408 | 0.000000e+00 | -- | Inf
60.50/60.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
60.50/60.56 c 60.6s|380000 |113011 |962228 | 2.5 | 81M| 44 | 6 | 50 |4620 | 50 | 15 | 24 | 194k|2441 | 0.000000e+00 | -- | Inf
62.09/62.11 c 62.1s|390000 |115891 |988420 | 2.5 | 83M| 44 | 6 | 50 |6225 | 50 | 15 | 24 | 200k|2476 | 0.000000e+00 | -- | Inf
63.89/63.93 c 63.9s|400000 |118150 | 1013k| 2.5 | 85M| 44 | - | 50 |5562 | 50 | 15 | 24 | 205k|2510 | 0.000000e+00 | -- | Inf
65.49/65.59 c 65.6s|410000 |120687 | 1041k| 2.5 | 87M| 45 | - | 50 |6349 | 50 | 15 | 24 | 211k|2536 | 0.000000e+00 | -- | Inf
67.29/67.35 c 67.4s|420000 |123331 | 1067k| 2.5 | 89M| 45 | 6 | 50 |5849 | 50 | 15 | 24 | 217k|2567 | 0.000000e+00 | -- | Inf
69.10/69.14 c 69.1s|430000 |125639 | 1092k| 2.5 | 91M| 45 | 6 | 50 |5165 | 50 | 15 | 24 | 222k|2602 | 0.000000e+00 | -- | Inf
70.80/70.89 c 70.9s|440000 |128028 | 1118k| 2.5 | 93M| 45 | 6 | 50 |5526 | 50 | 15 | 24 | 228k|2629 | 0.000000e+00 | -- | Inf
72.50/72.60 c 72.6s|450000 |130443 | 1145k| 2.5 | 95M| 45 | - | 50 |6376 | 50 | 15 | 24 | 234k|2661 | 0.000000e+00 | -- | Inf
74.49/74.51 c 74.5s|460000 |132756 | 1170k| 2.5 | 96M| 45 | 6 | 50 |4746 | 50 | 15 | 24 | 240k|2695 | 0.000000e+00 | -- | Inf
76.20/76.24 c 76.2s|470000 |135096 | 1196k| 2.5 | 98M| 45 | 6 | 50 |5228 | 50 | 15 | 24 | 246k|2728 | 0.000000e+00 | -- | Inf
77.89/77.99 c 78.0s|480000 |137406 | 1222k| 2.5 | 100M| 45 | 6 | 50 |5425 | 50 | 15 | 24 | 251k|2752 | 0.000000e+00 | -- | Inf
79.79/79.81 c 79.8s|490000 |139637 | 1248k| 2.5 | 102M| 45 | 6 | 50 |4936 | 50 | 15 | 24 | 257k|2784 | 0.000000e+00 | -- | Inf
81.40/81.49 c 81.5s|500000 |142190 | 1273k| 2.5 | 105M| 45 | 6 | 50 |6488 | 50 | 15 | 24 | 263k|2802 | 0.000000e+00 | -- | Inf
83.29/83.35 c 83.4s|510000 |144548 | 1298k| 2.5 | 106M| 45 | 6 | 50 |5666 | 50 | 15 | 24 | 268k|2833 | 0.000000e+00 | -- | Inf
85.00/85.06 c 85.1s|520000 |147007 | 1323k| 2.5 | 108M| 45 | 6 | 50 |5890 | 50 | 15 | 24 | 274k|2858 | 0.000000e+00 | -- | Inf
86.79/86.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
86.79/86.83 c 86.8s|530000 |149514 | 1348k| 2.5 | 110M| 45 | 6 | 50 |5406 | 50 | 15 | 24 | 279k|2882 | 0.000000e+00 | -- | Inf
88.59/88.65 c 88.6s|540000 |151682 | 1373k| 2.5 | 112M| 45 | 6 | 50 |4991 | 50 | 15 | 24 | 285k|2908 | 0.000000e+00 | -- | Inf
90.20/90.27 c 90.3s|550000 |154424 | 1399k| 2.5 | 114M| 45 | 6 | 50 |6548 | 50 | 15 | 24 | 290k|2935 | 0.000000e+00 | -- | Inf
92.10/92.12 c 92.1s|560000 |156883 | 1424k| 2.5 | 115M| 45 | - | 50 |4617 | 50 | 15 | 24 | 296k|2964 | 0.000000e+00 | -- | Inf
93.80/93.81 c 93.8s|570000 |159268 | 1450k| 2.5 | 118M| 45 | 6 | 50 |5226 | 50 | 15 | 24 | 302k|2992 | 0.000000e+00 | -- | Inf
95.49/95.55 c 95.6s|580000 |161601 | 1476k| 2.5 | 120M| 45 | 6 | 50 |5944 | 50 | 15 | 24 | 307k|3015 | 0.000000e+00 | -- | Inf
97.09/97.14 c 97.1s|590000 |164786 | 1501k| 2.5 | 122M| 45 | 6 | 50 |7073 | 50 | 15 | 24 | 312k|3041 | 0.000000e+00 | -- | Inf
98.79/98.87 c 98.9s|600000 |167484 | 1527k| 2.5 | 124M| 45 | 6 | 50 |8251 | 50 | 15 | 24 | 317k|3060 | 0.000000e+00 | -- | Inf
100.69/100.76 c 101s|610000 |169898 | 1552k| 2.5 | 126M| 45 | 6 | 50 |7803 | 50 | 15 | 24 | 323k|3082 | 0.000000e+00 | -- | Inf
102.60/102.65 c 103s|620000 |172370 | 1578k| 2.5 | 128M| 45 | 6 | 50 |6386 | 50 | 15 | 24 | 329k|3112 | 0.000000e+00 | -- | Inf
104.39/104.42 c 104s|630000 |174824 | 1603k| 2.5 | 130M| 45 | 6 | 50 |7094 | 50 | 15 | 24 | 334k|3141 | 0.000000e+00 | -- | Inf
106.29/106.33 c 106s|640000 |177064 | 1629k| 2.5 | 131M| 45 | - | 50 |5543 | 50 | 15 | 24 | 340k|3164 | 0.000000e+00 | -- | Inf
108.10/108.16 c 108s|650000 |179268 | 1654k| 2.5 | 133M| 45 | 6 | 50 |5018 | 50 | 15 | 24 | 346k|3191 | 0.000000e+00 | -- | Inf
109.90/109.98 c 110s|660000 |181518 | 1680k| 2.5 | 135M| 45 | - | 50 |4616 | 50 | 15 | 24 | 352k|3211 | 0.000000e+00 | -- | Inf
111.69/111.73 c 112s|670000 |183742 | 1706k| 2.5 | 137M| 45 | 6 | 50 |5071 | 50 | 15 | 24 | 357k|3242 | 0.000000e+00 | -- | Inf
113.40/113.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
113.40/113.44 c 113s|680000 |186139 | 1731k| 2.5 | 139M| 45 | 6 | 50 |6330 | 50 | 15 | 24 | 363k|3270 | 0.000000e+00 | -- | Inf
115.20/115.24 c 115s|690000 |188438 | 1757k| 2.5 | 141M| 45 | 6 | 50 |7063 | 50 | 15 | 24 | 369k|3289 | 0.000000e+00 | -- | Inf
117.19/117.20 c 117s|700000 |190659 | 1783k| 2.5 | 143M| 45 | 6 | 50 |5985 | 50 | 15 | 24 | 375k|3316 | 0.000000e+00 | -- | Inf
119.10/119.13 c 119s|710000 |192840 | 1808k| 2.5 | 144M| 45 | 6 | 50 |5371 | 50 | 15 | 24 | 381k|3346 | 0.000000e+00 | -- | Inf
120.90/120.96 c 121s|720000 |195053 | 1834k| 2.5 | 146M| 45 | 6 | 50 |5895 | 50 | 15 | 24 | 386k|3369 | 0.000000e+00 | -- | Inf
122.80/122.82 c 123s|730000 |197383 | 1859k| 2.5 | 148M| 45 | - | 50 |5602 | 50 | 15 | 24 | 392k|3391 | 0.000000e+00 | -- | Inf
124.40/124.48 c 124s|740000 |200190 | 1885k| 2.5 | 151M| 45 | 6 | 50 |6990 | 50 | 15 | 24 | 397k|3413 | 0.000000e+00 | -- | Inf
126.40/126.46 c 126s|750000 |202416 | 1910k| 2.5 | 152M| 45 | - | 50 |5748 | 0 | 0 | 24 | 403k|3436 | 0.000000e+00 | -- | Inf
128.19/128.25 c 128s|760000 |204734 | 1935k| 2.5 | 154M| 45 | 6 | 50 |5697 | 50 | 15 | 24 | 409k|3456 | 0.000000e+00 | -- | Inf
129.89/129.99 c 130s|770000 |207128 | 1960k| 2.5 | 156M| 45 | 6 | 50 |6540 | 50 | 15 | 24 | 414k|3478 | 0.000000e+00 | -- | Inf
131.79/131.86 c 132s|780000 |209489 | 1985k| 2.5 | 158M| 45 | 6 | 50 |4929 | 50 | 15 | 24 | 420k|3501 | 0.000000e+00 | -- | Inf
133.50/133.54 c 134s|790000 |212151 | 2010k| 2.5 | 160M| 45 | - | 50 |6494 | 50 | 15 | 24 | 425k|3520 | 0.000000e+00 | -- | Inf
135.30/135.37 c 135s|800000 |214531 | 2036k| 2.5 | 162M| 45 | - | 50 |6335 | 0 | 0 | 24 | 431k|3537 | 0.000000e+00 | -- | Inf
137.09/137.19 c 137s|810000 |216934 | 2061k| 2.5 | 164M| 45 | 6 | 50 |6313 | 50 | 15 | 24 | 436k|3565 | 0.000000e+00 | -- | Inf
138.80/138.89 c 139s|820000 |219546 | 2088k| 2.5 | 166M| 45 | 6 | 50 |7951 | 50 | 15 | 24 | 442k|3583 | 0.000000e+00 | -- | Inf
140.70/140.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
140.70/140.77 c 141s|830000 |222116 | 2114k| 2.5 | 169M| 45 | 6 | 50 | 10k| 50 | 15 | 24 | 448k|3602 | 0.000000e+00 | -- | Inf
142.89/142.93 c 143s|840000 |224320 | 2140k| 2.5 | 170M| 45 | 6 | 50 |7563 | 50 | 15 | 24 | 454k|3624 | 0.000000e+00 | -- | Inf
144.90/144.95 c 145s|850000 |226459 | 2165k| 2.5 | 172M| 45 | - | 50 |5943 | 50 | 15 | 24 | 459k|3649 | 0.000000e+00 | -- | Inf
146.80/146.80 c 147s|860000 |228715 | 2191k| 2.5 | 174M| 45 | 6 | 50 |6476 | 50 | 15 | 24 | 465k|3670 | 0.000000e+00 | -- | Inf
148.59/148.63 c 149s|870000 |231080 | 2216k| 2.5 | 176M| 45 | 6 | 50 |7123 | 50 | 15 | 24 | 471k|3695 | 0.000000e+00 | -- | Inf
150.49/150.51 c 151s|880000 |233501 | 2241k| 2.5 | 178M| 45 | 6 | 50 |7707 | 50 | 15 | 24 | 476k|3711 | 0.000000e+00 | -- | Inf
152.29/152.36 c 152s|890000 |235956 | 2267k| 2.5 | 180M| 45 | 6 | 50 |7923 | 50 | 15 | 24 | 482k|3736 | 0.000000e+00 | -- | Inf
154.29/154.31 c 154s|900000 |238468 | 2292k| 2.5 | 182M| 45 | 6 | 50 |8616 | 50 | 15 | 24 | 487k|3754 | 0.000000e+00 | -- | Inf
156.29/156.38 c 156s|910000 |240694 | 2319k| 2.5 | 183M| 45 | 6 | 50 |6433 | 50 | 15 | 24 | 493k|3780 | 0.000000e+00 | -- | Inf
158.09/158.17 c 158s|920000 |243030 | 2345k| 2.5 | 185M| 45 | 6 | 50 |7645 | 50 | 15 | 24 | 499k|3794 | 0.000000e+00 | -- | Inf
160.10/160.17 c 160s|930000 |245272 | 2371k| 2.5 | 187M| 45 | - | 50 |5349 | 0 | 0 | 24 | 505k|3816 | 0.000000e+00 | -- | Inf
162.00/162.01 c 162s|940000 |247584 | 2396k| 2.5 | 188M| 45 | 6 | 50 |5597 | 50 | 15 | 24 | 510k|3838 | 0.000000e+00 | -- | Inf
163.69/163.78 c 164s|950000 |249763 | 2423k| 2.6 | 191M| 45 | 6 | 50 |7498 | 50 | 15 | 24 | 516k|3848 | 0.000000e+00 | -- | Inf
165.80/165.82 c 166s|960000 |251931 | 2448k| 2.6 | 192M| 45 | 6 | 50 |5922 | 50 | 15 | 24 | 522k|3869 | 0.000000e+00 | -- | Inf
167.60/167.69 c 168s|970000 |254008 | 2473k| 2.6 | 194M| 45 | 6 | 50 |6018 | 50 | 15 | 24 | 528k|3885 | 0.000000e+00 | -- | Inf
169.60/169.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
169.60/169.61 c 170s|980000 |256278 | 2498k| 2.5 | 196M| 45 | - | 50 |5682 | 50 | 15 | 24 | 534k|3904 | 0.000000e+00 | -- | Inf
171.19/171.29 c 171s|990000 |258765 | 2523k| 2.5 | 198M| 45 | - | 50 |6855 | 50 | 15 | 24 | 539k|3922 | 0.000000e+00 | -- | Inf
173.10/173.17 c 173s| 1000k|261158 | 2548k| 2.5 | 200M| 45 | 6 | 50 |6026 | 50 | 15 | 24 | 545k|3941 | 0.000000e+00 | -- | Inf
175.09/175.16 c 175s| 1010k|263311 | 2573k| 2.5 | 202M| 45 | 6 | 50 |5683 | 50 | 15 | 24 | 551k|3951 | 0.000000e+00 | -- | Inf
176.79/176.81 c 177s| 1020k|265997 | 2599k| 2.5 | 204M| 45 | - | 50 |8016 | 50 | 15 | 24 | 556k|3973 | 0.000000e+00 | -- | Inf
178.59/178.64 c 179s| 1030k|268286 | 2626k| 2.6 | 207M| 45 | 6 | 50 |9504 | 50 | 15 | 24 | 562k|3989 | 0.000000e+00 | -- | Inf
180.59/180.64 c 181s| 1040k|270476 | 2652k| 2.6 | 208M| 45 | 6 | 50 |8644 | 50 | 15 | 24 | 568k|4003 | 0.000000e+00 | -- | Inf
182.70/182.73 c 183s| 1050k|272609 | 2679k| 2.6 | 210M| 45 | 6 | 50 |8363 | 50 | 15 | 24 | 574k|4009 | 0.000000e+00 | -- | Inf
184.70/184.79 c 185s| 1060k|274735 | 2704k| 2.6 | 211M| 45 | - | 50 |6304 | 50 | 15 | 24 | 580k|4032 | 0.000000e+00 | -- | Inf
186.69/186.75 c 187s| 1070k|276894 | 2729k| 2.6 | 213M| 45 | 6 | 50 |5591 | 50 | 15 | 24 | 586k|4048 | 0.000000e+00 | -- | Inf
188.70/188.70 c 189s| 1080k|278855 | 2754k| 2.6 | 215M| 45 | - | 50 |5009 | 50 | 15 | 24 | 592k|4059 | 0.000000e+00 | -- | Inf
190.30/190.37 c 190s| 1090k|281345 | 2780k| 2.6 | 217M| 45 | 6 | 50 |6849 | 50 | 15 | 24 | 597k|4071 | 0.000000e+00 | -- | Inf
192.19/192.29 c 192s| 1100k|283521 | 2805k| 2.6 | 218M| 45 | - | 50 |5513 | 50 | 15 | 24 | 603k|4088 | 0.000000e+00 | -- | Inf
194.10/194.16 c 194s| 1110k|285670 | 2830k| 2.6 | 220M| 45 | 6 | 50 |4734 | 50 | 15 | 24 | 609k|4105 | 0.000000e+00 | -- | Inf
195.99/196.02 c 196s| 1120k|287764 | 2855k| 2.5 | 222M| 45 | 6 | 50 |5599 | 50 | 15 | 24 | 615k|4117 | 0.000000e+00 | -- | Inf
197.79/197.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
197.79/197.83 c 198s| 1130k|290017 | 2882k| 2.6 | 224M| 45 | - | 50 |6346 | 50 | 15 | 24 | 620k|4135 | 0.000000e+00 | -- | Inf
199.60/199.60 c 200s| 1140k|292524 | 2909k| 2.6 | 227M| 45 | - | 50 |7840 | 50 | 15 | 24 | 626k|4148 | 0.000000e+00 | -- | Inf
201.60/201.66 c 202s| 1150k|294530 | 2936k| 2.6 | 228M| 45 | 6 | 50 |7397 | 50 | 15 | 24 | 632k|4162 | 0.000000e+00 | -- | Inf
203.59/203.60 c 204s| 1160k|296795 | 2961k| 2.6 | 230M| 45 | 6 | 50 |6805 | 50 | 15 | 24 | 638k|4182 | 0.000000e+00 | -- | Inf
205.50/205.53 c 206s| 1170k|298981 | 2987k| 2.6 | 232M| 45 | 6 | 50 |6115 | 50 | 15 | 24 | 644k|4204 | 0.000000e+00 | -- | Inf
207.30/207.33 c 207s| 1180k|301297 | 3013k| 2.6 | 234M| 45 | - | 50 |8432 | 50 | 15 | 24 | 650k|4222 | 0.000000e+00 | -- | Inf
209.30/209.32 c 209s| 1190k|303664 | 3038k| 2.6 | 236M| 45 | 6 | 50 |8128 | 50 | 15 | 24 | 655k|4237 | 0.000000e+00 | -- | Inf
211.29/211.37 c 211s| 1200k|306000 | 3064k| 2.6 | 238M| 45 | - | 50 |6913 | 0 | 0 | 24 | 661k|4248 | 0.000000e+00 | -- | Inf
213.20/213.27 c 213s| 1210k|308137 | 3091k| 2.6 | 240M| 45 | 6 | 50 |8043 | 50 | 15 | 24 | 667k|4270 | 0.000000e+00 | -- | Inf
215.09/215.20 c 215s| 1220k|310411 | 3116k| 2.6 | 241M| 45 | 6 | 50 |7442 | 50 | 15 | 24 | 673k|4280 | 0.000000e+00 | -- | Inf
217.19/217.23 c 217s| 1230k|312472 | 3141k| 2.6 | 243M| 45 | 6 | 50 |5615 | 50 | 15 | 24 | 679k|4299 | 0.000000e+00 | -- | Inf
219.00/219.05 c 219s| 1240k|314806 | 3166k| 2.6 | 245M| 45 | - | 50 |6358 | 0 | 0 | 24 | 684k|4317 | 0.000000e+00 | -- | Inf
221.00/221.01 c 221s| 1250k|316916 | 3192k| 2.6 | 247M| 45 | 6 | 50 |6544 | 50 | 15 | 24 | 690k|4328 | 0.000000e+00 | -- | Inf
223.09/223.11 c 223s| 1260k|318763 | 3216k| 2.6 | 248M| 45 | - | 50 |5206 | 50 | 15 | 24 | 696k|4344 | 0.000000e+00 | -- | Inf
224.80/224.89 c 225s| 1270k|321083 | 3243k| 2.6 | 250M| 45 | - | 50 |6317 | 50 | 15 | 24 | 702k|4361 | 0.000000e+00 | -- | Inf
226.79/226.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
226.79/226.89 c 227s| 1280k|322976 | 3268k| 2.6 | 252M| 45 | - | 50 |5177 | 50 | 15 | 24 | 708k|4376 | 0.000000e+00 | -- | Inf
228.71/228.74 c 229s| 1290k|325052 | 3293k| 2.6 | 254M| 45 | - | 50 |5718 | 50 | 15 | 24 | 714k|4389 | 0.000000e+00 | -- | Inf
230.39/230.44 c 230s| 1300k|327748 | 3318k| 2.6 | 256M| 45 | - | 50 |6798 | 50 | 15 | 24 | 719k|4417 | 0.000000e+00 | -- | Inf
232.19/232.23 c 232s| 1310k|330213 | 3343k| 2.6 | 258M| 45 | 6 | 50 |8016 | 50 | 15 | 24 | 725k|4426 | 0.000000e+00 | -- | Inf
234.40/234.40 c 234s| 1320k|332229 | 3369k| 2.6 | 259M| 45 | 6 | 50 |5587 | 50 | 15 | 24 | 731k|4441 | 0.000000e+00 | -- | Inf
236.10/236.19 c 236s| 1330k|334651 | 3394k| 2.6 | 261M| 45 | 6 | 50 |6110 | 50 | 15 | 24 | 736k|4459 | 0.000000e+00 | -- | Inf
237.90/237.91 c 238s| 1340k|337389 | 3421k| 2.6 | 264M| 45 | - | 50 |8237 | 50 | 15 | 24 | 742k|4477 | 0.000000e+00 | -- | Inf
239.80/239.88 c 240s| 1350k|339590 | 3448k| 2.6 | 266M| 45 | 6 | 50 |8594 | 50 | 15 | 24 | 748k|4492 | 0.000000e+00 | -- | Inf
242.01/242.01 c 242s| 1360k|341654 | 3473k| 2.6 | 267M| 45 | 6 | 50 |6817 | 50 | 15 | 24 | 754k|4509 | 0.000000e+00 | -- | Inf
243.99/244.00 c 244s| 1370k|343949 | 3498k| 2.6 | 269M| 45 | 6 | 50 |7412 | 50 | 15 | 24 | 760k|4532 | 0.000000e+00 | -- | Inf
245.79/245.89 c 246s| 1380k|346196 | 3525k| 2.6 | 271M| 45 | - | 50 |7893 | 50 | 15 | 24 | 766k|4545 | 0.000000e+00 | -- | Inf
247.90/247.98 c 248s| 1390k|348365 | 3550k| 2.6 | 273M| 45 | 6 | 50 |5642 | 50 | 15 | 24 | 772k|4555 | 0.000000e+00 | -- | Inf
249.90/249.91 c 250s| 1400k|350584 | 3576k| 2.6 | 275M| 45 | 6 | 50 |5750 | 50 | 15 | 24 | 778k|4571 | 0.000000e+00 | -- | Inf
251.69/251.75 c 252s| 1410k|352904 | 3602k| 2.6 | 277M| 45 | - | 50 |6659 | 0 | 0 | 24 | 783k|4582 | 0.000000e+00 | -- | Inf
253.50/253.58 c 254s| 1420k|355406 | 3628k| 2.6 | 279M| 45 | - | 50 |8499 | 50 | 15 | 24 | 789k|4598 | 0.000000e+00 | -- | Inf
255.39/255.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
255.39/255.47 c 255s| 1430k|357955 | 3654k| 2.6 | 282M| 45 | 6 | 50 | 10k| 50 | 15 | 24 | 795k|4613 | 0.000000e+00 | -- | Inf
257.60/257.61 c 258s| 1440k|360229 | 3680k| 2.6 | 283M| 45 | - | 50 |9923 | 50 | 15 | 24 | 800k|4625 | 0.000000e+00 | -- | Inf
259.79/259.87 c 260s| 1450k|362408 | 3706k| 2.6 | 285M| 45 | 6 | 50 |7392 | 50 | 15 | 24 | 806k|4640 | 0.000000e+00 | -- | Inf
261.49/261.58 c 262s| 1460k|365334 | 3731k| 2.6 | 287M| 45 | - | 50 |9418 | 50 | 15 | 24 | 812k|4655 | 0.000000e+00 | -- | Inf
263.80/263.84 c 264s| 1470k|367338 | 3757k| 2.6 | 289M| 45 | 6 | 50 |7742 | 50 | 15 | 24 | 817k|4671 | 0.000000e+00 | -- | Inf
266.00/266.06 c 266s| 1480k|369379 | 3782k| 2.6 | 290M| 45 | 6 | 50 |5882 | 50 | 15 | 24 | 823k|4687 | 0.000000e+00 | -- | Inf
267.80/267.84 c 268s| 1490k|371645 | 3808k| 2.6 | 292M| 45 | 6 | 50 |8553 | 50 | 15 | 24 | 829k|4698 | 0.000000e+00 | -- | Inf
270.10/270.10 c 270s| 1500k|373582 | 3832k| 2.6 | 294M| 45 | 6 | 50 |5840 | 50 | 15 | 24 | 835k|4715 | 0.000000e+00 | -- | Inf
272.09/272.13 c 272s| 1510k|375596 | 3858k| 2.6 | 295M| 45 | - | 50 |6387 | 50 | 15 | 24 | 841k|4726 | 0.000000e+00 | -- | Inf
274.00/274.03 c 274s| 1520k|377668 | 3885k| 2.6 | 298M| 45 | - | 50 |8118 | 50 | 15 | 24 | 847k|4746 | 0.000000e+00 | -- | Inf
276.30/276.31 c 276s| 1530k|379573 | 3910k| 2.6 | 299M| 45 | 6 | 50 |5684 | 50 | 15 | 24 | 853k|4764 | 0.000000e+00 | -- | Inf
278.20/278.26 c 278s| 1540k|381704 | 3935k| 2.6 | 301M| 45 | - | 50 |5398 | 50 | 15 | 24 | 859k|4773 | 0.000000e+00 | -- | Inf
279.90/279.99 c 280s| 1550k|384288 | 3961k| 2.6 | 303M| 45 | 6 | 50 |7805 | 50 | 15 | 24 | 865k|4784 | 0.000000e+00 | -- | Inf
281.80/281.83 c 282s| 1560k|387130 | 3987k| 2.6 | 305M| 45 | 6 | 50 |8849 | 50 | 15 | 24 | 870k|4790 | 0.000000e+00 | -- | Inf
283.70/283.77 c 284s| 1570k|389648 | 4013k| 2.6 | 308M| 45 | 6 | 50 | 10k| 50 | 15 | 24 | 876k|4801 | 0.000000e+00 | -- | Inf
285.90/285.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
285.90/285.98 c 286s| 1580k|391673 | 4039k| 2.6 | 310M| 45 | 6 | 50 | 10k| 50 | 15 | 24 | 882k|4808 | 0.000000e+00 | -- | Inf
288.00/288.01 c 288s| 1590k|394360 | 4065k| 2.6 | 312M| 45 | 6 | 50 | 10k| 50 | 15 | 24 | 887k|4818 | 0.000000e+00 | -- | Inf
290.10/290.18 c 290s| 1600k|396738 | 4092k| 2.6 | 313M| 45 | - | 50 | 10k| 50 | 15 | 24 | 893k|4834 | 0.000000e+00 | -- | Inf
292.10/292.16 c 292s| 1610k|399599 | 4119k| 2.6 | 316M| 45 | - | 50 | 11k| 50 | 15 | 24 | 899k|4845 | 0.000000e+00 | -- | Inf
294.60/294.66 c 295s| 1620k|401432 | 4145k| 2.6 | 317M| 45 | - | 50 |8001 | 50 | 15 | 24 | 905k|4856 | 0.000000e+00 | -- | Inf
296.70/296.71 c 297s| 1630k|403800 | 4170k| 2.6 | 318M| 45 | 6 | 50 |6901 | 50 | 15 | 24 | 911k|4873 | 0.000000e+00 | -- | Inf
298.60/298.67 c 299s| 1640k|406306 | 4196k| 2.6 | 320M| 45 | 6 | 50 |6846 | 50 | 15 | 24 | 916k|4881 | 0.000000e+00 | -- | Inf
300.60/300.66 c 301s| 1650k|408552 | 4221k| 2.6 | 322M| 45 | - | 50 |7953 | 50 | 15 | 24 | 922k|4886 | 0.000000e+00 | -- | Inf
302.60/302.65 c 303s| 1660k|410975 | 4247k| 2.6 | 324M| 45 | - | 50 |7665 | 50 | 15 | 24 | 928k|4901 | 0.000000e+00 | -- | Inf
304.71/304.75 c 305s| 1670k|413077 | 4272k| 2.6 | 326M| 45 | 6 | 50 |5433 | 50 | 15 | 24 | 933k|4913 | 0.000000e+00 | -- | Inf
306.60/306.69 c 307s| 1680k|415222 | 4297k| 2.6 | 328M| 45 | 6 | 50 |5926 | 50 | 15 | 24 | 939k|4920 | 0.000000e+00 | -- | Inf
308.69/308.73 c 309s| 1690k|417125 | 4323k| 2.6 | 329M| 45 | - | 50 |5373 | 0 | 0 | 24 | 945k|4928 | 0.000000e+00 | -- | Inf
310.60/310.68 c 311s| 1700k|419245 | 4348k| 2.6 | 331M| 45 | - | 50 |5995 | 50 | 15 | 24 | 951k|4944 | 0.000000e+00 | -- | Inf
312.50/312.54 c 313s| 1710k|421487 | 4373k| 2.6 | 333M| 45 | 6 | 50 |6750 | 50 | 15 | 24 | 957k|4957 | 0.000000e+00 | -- | Inf
314.50/314.53 c 315s| 1720k|423703 | 4398k| 2.6 | 335M| 45 | 6 | 50 |6430 | 50 | 15 | 24 | 963k|4966 | 0.000000e+00 | -- | Inf
316.50/316.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
316.50/316.59 c 317s| 1730k|425661 | 4423k| 2.6 | 337M| 45 | - | 50 |5316 | 50 | 15 | 24 | 969k|4979 | 0.000000e+00 | -- | Inf
318.59/318.61 c 319s| 1740k|427533 | 4448k| 2.6 | 338M| 45 | - | 50 |5144 | 50 | 15 | 24 | 975k|4993 | 0.000000e+00 | -- | Inf
320.50/320.52 c 321s| 1750k|429668 | 4473k| 2.6 | 340M| 45 | 6 | 50 |5617 | 50 | 15 | 24 | 981k|5004 | 0.000000e+00 | -- | Inf
322.31/322.33 c 322s| 1760k|432265 | 4499k| 2.6 | 343M| 45 | - | 50 |7098 | 50 | 15 | 24 | 986k|5015 | 0.000000e+00 | -- | Inf
324.30/324.39 c 324s| 1770k|434281 | 4524k| 2.6 | 344M| 45 | - | 50 |6324 | 50 | 15 | 24 | 992k|5032 | 0.000000e+00 | -- | Inf
326.40/326.40 c 326s| 1780k|436278 | 4549k| 2.6 | 346M| 45 | 6 | 50 |6377 | 50 | 15 | 24 | 998k|5045 | 0.000000e+00 | -- | Inf
328.30/328.30 c 328s| 1790k|438579 | 4574k| 2.6 | 348M| 45 | - | 50 |7052 | 50 | 15 | 24 |1004k|5059 | 0.000000e+00 | -- | Inf
330.40/330.48 c 330s| 1800k|440309 | 4599k| 2.6 | 349M| 45 | 6 | 50 |5918 | 50 | 15 | 24 |1010k|5074 | 0.000000e+00 | -- | Inf
332.21/332.29 c 332s| 1810k|442585 | 4625k| 2.6 | 351M| 45 | 6 | 50 |6771 | 50 | 15 | 24 |1016k|5090 | 0.000000e+00 | -- | Inf
334.30/334.37 c 334s| 1820k|444456 | 4650k| 2.6 | 353M| 45 | 6 | 50 |5330 | 50 | 15 | 24 |1022k|5103 | 0.000000e+00 | -- | Inf
336.30/336.38 c 336s| 1830k|446387 | 4676k| 2.6 | 355M| 45 | - | 50 |5661 | 50 | 15 | 24 |1028k|5119 | 0.000000e+00 | -- | Inf
338.00/338.09 c 338s| 1840k|448948 | 4702k| 2.6 | 357M| 45 | 6 | 50 |7805 | 50 | 15 | 24 |1033k|5128 | 0.000000e+00 | -- | Inf
340.00/340.08 c 340s| 1850k|451550 | 4729k| 2.6 | 359M| 45 | - | 50 |8017 | 50 | 15 | 24 |1039k|5137 | 0.000000e+00 | -- | Inf
342.11/342.13 c 342s| 1860k|453791 | 4755k| 2.6 | 361M| 45 | 6 | 50 |8005 | 50 | 15 | 24 |1045k|5145 | 0.000000e+00 | -- | Inf
344.20/344.25 c 344s| 1870k|456143 | 4782k| 2.6 | 363M| 45 | - | 50 |8376 | 50 | 15 | 24 |1051k|5149 | 0.000000e+00 | -- | Inf
346.30/346.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
346.30/346.37 c 346s| 1880k|458397 | 4808k| 2.6 | 365M| 45 | - | 50 | 10k| 50 | 15 | 24 |1056k|5159 | 0.000000e+00 | -- | Inf
348.50/348.60 c 349s| 1890k|460518 | 4834k| 2.6 | 367M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |1062k|5170 | 0.000000e+00 | -- | Inf
350.90/350.95 c 351s| 1900k|462481 | 4860k| 2.6 | 368M| 45 | 6 | 50 |8421 | 50 | 15 | 24 |1068k|5176 | 0.000000e+00 | -- | Inf
352.90/352.90 c 353s| 1910k|464765 | 4886k| 2.6 | 371M| 45 | 6 | 50 |9244 | 50 | 15 | 24 |1074k|5182 | 0.000000e+00 | -- | Inf
355.10/355.15 c 355s| 1920k|466901 | 4912k| 2.6 | 372M| 45 | - | 50 |6788 | 0 | 0 | 24 |1080k|5201 | 0.000000e+00 | -- | Inf
357.00/357.05 c 357s| 1930k|469066 | 4938k| 2.6 | 374M| 45 | - | 50 |8130 | 50 | 15 | 24 |1086k|5210 | 0.000000e+00 | -- | Inf
359.00/359.03 c 359s| 1940k|471250 | 4966k| 2.6 | 376M| 45 | 6 | 50 |9484 | 50 | 15 | 24 |1092k|5217 | 0.000000e+00 | -- | Inf
361.30/361.34 c 361s| 1950k|472908 | 4993k| 2.6 | 378M| 45 | 6 | 50 |8238 | 50 | 15 | 24 |1099k|5230 | 0.000000e+00 | -- | Inf
363.20/363.27 c 363s| 1960k|475363 | 5018k| 2.6 | 380M| 45 | 6 | 50 |9300 | 50 | 15 | 24 |1104k|5236 | 0.000000e+00 | -- | Inf
365.50/365.54 c 366s| 1970k|477325 | 5044k| 2.6 | 381M| 45 | 6 | 50 |7314 | 50 | 15 | 24 |1110k|5247 | 0.000000e+00 | -- | Inf
367.60/367.62 c 368s| 1980k|479463 | 5069k| 2.6 | 383M| 45 | 6 | 50 |6986 | 50 | 15 | 24 |1116k|5253 | 0.000000e+00 | -- | Inf
369.80/369.82 c 370s| 1990k|481410 | 5095k| 2.6 | 384M| 45 | - | 50 |5919 | 50 | 15 | 24 |1122k|5260 | 0.000000e+00 | -- | Inf
371.81/371.83 c 372s| 2000k|483415 | 5121k| 2.6 | 386M| 45 | 6 | 50 |5824 | 50 | 15 | 24 |1128k|5272 | 0.000000e+00 | -- | Inf
373.80/373.88 c 374s| 2010k|485361 | 5145k| 2.6 | 388M| 45 | 6 | 50 |5129 | 50 | 15 | 24 |1134k|5280 | 0.000000e+00 | -- | Inf
375.80/375.89 c 376s| 2020k|487253 | 5171k| 2.6 | 389M| 45 | - | 50 |5265 | 50 | 15 | 24 |1140k|5288 | 0.000000e+00 | -- | Inf
377.70/377.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
377.70/377.70 c 378s| 2030k|489900 | 5196k| 2.6 | 392M| 45 | - | 50 |5952 | 50 | 15 | 24 |1146k|5297 | 0.000000e+00 | -- | Inf
379.51/379.55 c 380s| 2040k|492382 | 5223k| 2.6 | 394M| 45 | 6 | 50 |7406 | 50 | 15 | 24 |1151k|5308 | 0.000000e+00 | -- | Inf
381.40/381.41 c 381s| 2050k|495269 | 5251k| 2.6 | 396M| 45 | 6 | 50 |8879 | 50 | 15 | 24 |1156k|5318 | 0.000000e+00 | -- | Inf
383.50/383.58 c 384s| 2060k|497353 | 5277k| 2.6 | 398M| 45 | 6 | 50 |9318 | 50 | 15 | 24 |1162k|5330 | 0.000000e+00 | -- | Inf
386.00/386.00 c 386s| 2070k|499345 | 5303k| 2.6 | 399M| 45 | - | 50 |6861 | 50 | 15 | 24 |1168k|5343 | 0.000000e+00 | -- | Inf
388.10/388.11 c 388s| 2080k|501283 | 5328k| 2.6 | 401M| 45 | 6 | 50 |5585 | 50 | 15 | 24 |1174k|5355 | 0.000000e+00 | -- | Inf
389.90/389.95 c 390s| 2090k|503792 | 5355k| 2.6 | 403M| 45 | 6 | 50 |7148 | 50 | 15 | 24 |1180k|5368 | 0.000000e+00 | -- | Inf
392.10/392.17 c 392s| 2100k|505670 | 5381k| 2.6 | 404M| 45 | - | 50 |5456 | 50 | 15 | 24 |1186k|5378 | 0.000000e+00 | -- | Inf
394.10/394.15 c 394s| 2110k|507654 | 5406k| 2.6 | 406M| 45 | - | 50 |4850 | 50 | 15 | 24 |1192k|5392 | 0.000000e+00 | -- | Inf
396.01/396.06 c 396s| 2120k|509858 | 5431k| 2.6 | 408M| 45 | - | 50 |5393 | 50 | 15 | 24 |1198k|5400 | 0.000000e+00 | -- | Inf
398.00/398.10 c 398s| 2130k|511787 | 5457k| 2.6 | 410M| 45 | 6 | 50 |4697 | 50 | 15 | 24 |1204k|5407 | 0.000000e+00 | -- | Inf
399.90/399.91 c 400s| 2140k|514118 | 5482k| 2.6 | 412M| 45 | 6 | 50 |6926 | 50 | 15 | 24 |1210k|5421 | 0.000000e+00 | -- | Inf
401.90/401.95 c 402s| 2150k|516166 | 5508k| 2.6 | 413M| 45 | 6 | 50 |5692 | 50 | 15 | 24 |1216k|5430 | 0.000000e+00 | -- | Inf
403.80/403.84 c 404s| 2160k|518383 | 5534k| 2.6 | 416M| 45 | 6 | 50 |7040 | 50 | 15 | 24 |1221k|5441 | 0.000000e+00 | -- | Inf
405.70/405.79 c 406s| 2170k|520612 | 5560k| 2.6 | 418M| 45 | 6 | 50 |8904 | 50 | 15 | 24 |1227k|5456 | 0.000000e+00 | -- | Inf
407.90/407.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
407.90/407.99 c 408s| 2180k|522751 | 5585k| 2.6 | 419M| 45 | - | 50 |7348 | 50 | 15 | 24 |1233k|5463 | 0.000000e+00 | -- | Inf
409.80/409.84 c 410s| 2190k|525187 | 5609k| 2.6 | 422M| 45 | - | 50 |9560 | 50 | 15 | 24 |1239k|5482 | 0.000000e+00 | -- | Inf
412.20/412.24 c 412s| 2200k|526927 | 5634k| 2.6 | 423M| 45 | 6 | 50 |6086 | 50 | 15 | 24 |1245k|5492 | 0.000000e+00 | -- | Inf
414.10/414.11 c 414s| 2210k|529324 | 5659k| 2.6 | 425M| 45 | 6 | 50 |7180 | 50 | 15 | 24 |1250k|5503 | 0.000000e+00 | -- | Inf
416.20/416.29 c 416s| 2220k|531327 | 5684k| 2.6 | 426M| 45 | - | 50 |5538 | 50 | 15 | 24 |1256k|5513 | 0.000000e+00 | -- | Inf
418.20/418.27 c 418s| 2230k|533270 | 5710k| 2.6 | 428M| 45 | 6 | 50 |6325 | 50 | 15 | 24 |1262k|5525 | 0.000000e+00 | -- | Inf
420.30/420.32 c 420s| 2240k|535268 | 5736k| 2.6 | 430M| 45 | 6 | 50 |5461 | 50 | 15 | 24 |1268k|5535 | 0.000000e+00 | -- | Inf
422.31/422.36 c 422s| 2250k|537152 | 5761k| 2.6 | 432M| 45 | 6 | 50 |5616 | 50 | 15 | 24 |1274k|5545 | 0.000000e+00 | -- | Inf
424.30/424.34 c 424s| 2260k|539228 | 5786k| 2.6 | 433M| 45 | 6 | 50 |5589 | 50 | 15 | 24 |1280k|5553 | 0.000000e+00 | -- | Inf
426.21/426.29 c 426s| 2270k|541263 | 5811k| 2.6 | 435M| 45 | - | 50 |5079 | 50 | 15 | 24 |1286k|5567 | 0.000000e+00 | -- | Inf
428.10/428.18 c 428s| 2280k|543398 | 5838k| 2.6 | 437M| 45 | - | 50 |6672 | 50 | 15 | 24 |1292k|5584 | 0.000000e+00 | -- | Inf
430.20/430.22 c 430s| 2290k|545354 | 5864k| 2.6 | 439M| 45 | 6 | 50 |7058 | 50 | 15 | 24 |1298k|5597 | 0.000000e+00 | -- | Inf
432.31/432.35 c 432s| 2300k|547192 | 5890k| 2.6 | 440M| 45 | - | 50 |6013 | 50 | 15 | 24 |1304k|5605 | 0.000000e+00 | -- | Inf
434.20/434.22 c 434s| 2310k|549520 | 5916k| 2.6 | 443M| 45 | - | 50 |7666 | 50 | 15 | 24 |1310k|5616 | 0.000000e+00 | -- | Inf
436.00/436.08 c 436s| 2320k|552003 | 5942k| 2.6 | 445M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |1315k|5631 | 0.000000e+00 | -- | Inf
438.50/438.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
438.50/438.55 c 439s| 2330k|553878 | 5967k| 2.6 | 446M| 45 | - | 50 |5945 | 50 | 15 | 24 |1321k|5644 | 0.000000e+00 | -- | Inf
440.61/440.69 c 441s| 2340k|555723 | 5993k| 2.6 | 448M| 45 | - | 50 |5114 | 50 | 15 | 24 |1327k|5657 | 0.000000e+00 | -- | Inf
442.60/442.62 c 443s| 2350k|557751 | 6018k| 2.6 | 449M| 45 | 6 | 50 |5599 | 50 | 15 | 24 |1333k|5669 | 0.000000e+00 | -- | Inf
444.30/444.38 c 444s| 2360k|560319 | 6044k| 2.6 | 452M| 45 | - | 50 |7514 | 50 | 15 | 24 |1339k|5681 | 0.000000e+00 | -- | Inf
446.31/446.34 c 446s| 2370k|562417 | 6070k| 2.6 | 454M| 45 | 6 | 50 |7013 | 50 | 15 | 24 |1345k|5696 | 0.000000e+00 | -- | Inf
448.20/448.29 c 448s| 2380k|564470 | 6095k| 2.6 | 455M| 45 | 6 | 50 |6835 | 50 | 15 | 24 |1351k|5709 | 0.000000e+00 | -- | Inf
450.41/450.47 c 450s| 2390k|566224 | 6120k| 2.6 | 457M| 45 | 6 | 50 |5167 | 50 | 15 | 24 |1357k|5722 | 0.000000e+00 | -- | Inf
452.40/452.49 c 452s| 2400k|568221 | 6146k| 2.6 | 458M| 45 | 6 | 50 |4968 | 50 | 15 | 24 |1363k|5730 | 0.000000e+00 | -- | Inf
454.40/454.49 c 454s| 2410k|570066 | 6171k| 2.6 | 460M| 45 | 6 | 50 |5183 | 50 | 15 | 24 |1369k|5739 | 0.000000e+00 | -- | Inf
456.41/456.41 c 456s| 2420k|572166 | 6196k| 2.6 | 462M| 45 | - | 50 |5913 | 50 | 15 | 24 |1375k|5750 | 0.000000e+00 | -- | Inf
458.40/458.44 c 458s| 2430k|573972 | 6222k| 2.6 | 464M| 45 | 6 | 50 |5350 | 50 | 15 | 24 |1381k|5766 | 0.000000e+00 | -- | Inf
460.40/460.41 c 460s| 2440k|575861 | 6247k| 2.6 | 465M| 45 | 6 | 50 |5154 | 50 | 15 | 24 |1387k|5775 | 0.000000e+00 | -- | Inf
462.40/462.44 c 462s| 2450k|577671 | 6272k| 2.6 | 467M| 45 | - | 50 |5168 | 50 | 15 | 24 |1394k|5784 | 0.000000e+00 | -- | Inf
464.50/464.50 c 465s| 2460k|579521 | 6298k| 2.6 | 469M| 45 | - | 50 |4931 | 0 | 0 | 24 |1400k|5797 | 0.000000e+00 | -- | Inf
466.31/466.40 c 466s| 2470k|581632 | 6325k| 2.6 | 471M| 45 | 6 | 50 |5736 | 50 | 15 | 24 |1405k|5812 | 0.000000e+00 | -- | Inf
468.30/468.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
468.30/468.31 c 468s| 2480k|583640 | 6350k| 2.6 | 473M| 45 | 6 | 50 |6054 | 50 | 15 | 24 |1411k|5838 | 0.000000e+00 | -- | Inf
470.30/470.33 c 470s| 2490k|585609 | 6376k| 2.6 | 475M| 45 | - | 50 |5928 | 50 | 15 | 24 |1418k|5854 | 0.000000e+00 | -- | Inf
472.00/472.05 c 472s| 2500k|588408 | 6403k| 2.6 | 477M| 45 | - | 50 |7999 | 50 | 15 | 24 |1423k|5870 | 0.000000e+00 | -- | Inf
474.00/474.10 c 474s| 2510k|590776 | 6430k| 2.6 | 479M| 45 | 6 | 50 |8796 | 50 | 15 | 24 |1429k|5881 | 0.000000e+00 | -- | Inf
476.31/476.35 c 476s| 2520k|592805 | 6456k| 2.6 | 481M| 45 | 6 | 50 |8961 | 50 | 15 | 24 |1434k|5897 | 0.000000e+00 | -- | Inf
478.80/478.80 c 479s| 2530k|594592 | 6482k| 2.6 | 482M| 45 | 6 | 50 |5892 | 50 | 15 | 24 |1441k|5910 | 0.000000e+00 | -- | Inf
480.80/480.86 c 481s| 2540k|596549 | 6508k| 2.6 | 484M| 45 | 6 | 50 |5924 | 50 | 15 | 24 |1447k|5918 | 0.000000e+00 | -- | Inf
482.81/482.83 c 483s| 2550k|598653 | 6533k| 2.6 | 485M| 45 | - | 50 |5005 | 50 | 15 | 24 |1452k|5927 | 0.000000e+00 | -- | Inf
484.50/484.59 c 485s| 2560k|601272 | 6560k| 2.6 | 488M| 45 | - | 50 |7590 | 50 | 15 | 24 |1458k|5939 | 0.000000e+00 | -- | Inf
486.50/486.57 c 487s| 2570k|603811 | 6585k| 2.6 | 490M| 45 | 6 | 50 |8865 | 50 | 15 | 24 |1463k|5952 | 0.000000e+00 | -- | Inf
488.60/488.63 c 489s| 2580k|606140 | 6612k| 2.6 | 492M| 45 | - | 50 |9293 | 50 | 15 | 24 |1469k|5963 | 0.000000e+00 | -- | Inf
490.90/490.99 c 491s| 2590k|608290 | 6638k| 2.6 | 494M| 45 | - | 50 |7593 | 50 | 15 | 24 |1475k|5971 | 0.000000e+00 | -- | Inf
493.21/493.22 c 493s| 2600k|610152 | 6663k| 2.6 | 495M| 45 | 6 | 50 |5903 | 50 | 15 | 24 |1481k|5990 | 0.000000e+00 | -- | Inf
494.91/494.95 c 495s| 2610k|612915 | 6687k| 2.6 | 498M| 45 | 6 | 50 |7928 | 50 | 15 | 24 |1486k|5997 | 0.000000e+00 | -- | Inf
496.91/497.00 c 497s| 2620k|615163 | 6712k| 2.6 | 500M| 45 | 6 | 50 |8450 | 50 | 15 | 24 |1492k|6014 | 0.000000e+00 | -- | Inf
499.01/499.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
499.01/499.06 c 499s| 2630k|617250 | 6736k| 2.6 | 502M| 45 | 6 | 50 |9150 | 50 | 15 | 24 |1498k|6025 | 0.000000e+00 | -- | Inf
501.40/501.43 c 501s| 2640k|619104 | 6761k| 2.6 | 503M| 45 | 6 | 50 |7646 | 50 | 15 | 24 |1503k|6035 | 0.000000e+00 | -- | Inf
503.40/503.46 c 503s| 2650k|621182 | 6787k| 2.6 | 505M| 45 | 6 | 50 |7770 | 50 | 15 | 24 |1509k|6048 | 0.000000e+00 | -- | Inf
505.70/505.72 c 506s| 2660k|623020 | 6812k| 2.6 | 506M| 45 | 6 | 50 |5792 | 50 | 15 | 24 |1515k|6065 | 0.000000e+00 | -- | Inf
507.71/507.76 c 508s| 2670k|624978 | 6838k| 2.6 | 508M| 45 | 6 | 50 |6394 | 50 | 15 | 24 |1521k|6079 | 0.000000e+00 | -- | Inf
509.91/509.90 c 510s| 2680k|626913 | 6864k| 2.6 | 510M| 45 | 6 | 50 |5070 | 50 | 15 | 24 |1527k|6091 | 0.000000e+00 | -- | Inf
511.61/511.60 c 512s| 2690k|629480 | 6889k| 2.6 | 512M| 45 | 6 | 50 |6038 | 50 | 15 | 24 |1533k|6101 | 0.000000e+00 | -- | Inf
513.40/513.43 c 513s| 2700k|631741 | 6916k| 2.6 | 514M| 45 | - | 50 |7711 | 0 | 0 | 24 |1539k|6114 | 0.000000e+00 | -- | Inf
515.40/515.45 c 515s| 2710k|633749 | 6943k| 2.6 | 516M| 45 | 6 | 50 |6412 | 50 | 15 | 24 |1546k|6122 | 0.000000e+00 | -- | Inf
517.41/517.44 c 517s| 2720k|635472 | 6969k| 2.6 | 518M| 45 | 6 | 50 |6547 | 50 | 15 | 24 |1552k|6133 | 0.000000e+00 | -- | Inf
519.61/519.60 c 520s| 2730k|636995 | 6996k| 2.6 | 519M| 45 | 6 | 50 |6005 | 50 | 15 | 24 |1559k|6142 | 0.000000e+00 | -- | Inf
521.70/521.76 c 522s| 2740k|638701 | 7021k| 2.6 | 521M| 45 | 6 | 50 |4796 | 50 | 15 | 24 |1565k|6151 | 0.000000e+00 | -- | Inf
523.61/523.66 c 524s| 2750k|640772 | 7046k| 2.6 | 523M| 45 | 6 | 50 |5673 | 50 | 15 | 24 |1571k|6161 | 0.000000e+00 | -- | Inf
525.71/525.77 c 526s| 2760k|642748 | 7072k| 2.6 | 524M| 45 | - | 50 |5224 | 50 | 15 | 24 |1577k|6174 | 0.000000e+00 | -- | Inf
527.81/527.80 c 528s| 2770k|644527 | 7097k| 2.6 | 526M| 45 | - | 50 |6252 | 50 | 15 | 24 |1583k|6182 | 0.000000e+00 | -- | Inf
529.71/529.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
529.71/529.77 c 530s| 2780k|646930 | 7123k| 2.6 | 528M| 45 | - | 50 |6542 | 50 | 15 | 24 |1589k|6190 | 0.000000e+00 | -- | Inf
531.51/531.58 c 532s| 2790k|649624 | 7147k| 2.6 | 530M| 45 | - | 50 |8352 | 50 | 15 | 24 |1594k|6203 | 0.000000e+00 | -- | Inf
533.90/533.94 c 534s| 2800k|651516 | 7173k| 2.6 | 532M| 45 | 6 | 50 |6202 | 50 | 15 | 24 |1600k|6212 | 0.000000e+00 | -- | Inf
535.80/535.85 c 536s| 2810k|653757 | 7199k| 2.6 | 534M| 45 | - | 50 |7034 | 50 | 15 | 24 |1606k|6222 | 0.000000e+00 | -- | Inf
537.81/537.84 c 538s| 2820k|655682 | 7226k| 2.6 | 536M| 45 | - | 50 |8720 | 50 | 15 | 24 |1613k|6238 | 0.000000e+00 | -- | Inf
540.01/540.09 c 540s| 2830k|657589 | 7252k| 2.6 | 537M| 45 | - | 50 |6797 | 50 | 15 | 24 |1619k|6246 | 0.000000e+00 | -- | Inf
542.10/542.10 c 542s| 2840k|659631 | 7278k| 2.6 | 539M| 45 | 6 | 50 |7398 | 50 | 15 | 24 |1625k|6253 | 0.000000e+00 | -- | Inf
544.00/544.04 c 544s| 2850k|662065 | 7305k| 2.6 | 542M| 45 | 6 | 50 |9361 | 50 | 15 | 24 |1630k|6260 | 0.000000e+00 | -- | Inf
546.41/546.49 c 546s| 2860k|664128 | 7331k| 2.6 | 542M| 45 | 6 | 50 |5210 | 50 | 15 | 24 |1636k|6266 | 0.000000e+00 | -- | Inf
548.40/548.43 c 548s| 2870k|666075 | 7357k| 2.6 | 545M| 45 | - | 50 |6704 | 50 | 15 | 24 |1642k|6273 | 0.000000e+00 | -- | Inf
550.40/550.41 c 550s| 2880k|668170 | 7382k| 2.6 | 546M| 45 | - | 50 |6686 | 50 | 15 | 24 |1648k|6286 | 0.000000e+00 | -- | Inf
552.60/552.61 c 553s| 2890k|670105 | 7408k| 2.6 | 548M| 45 | 6 | 50 |5551 | 50 | 15 | 24 |1654k|6302 | 0.000000e+00 | -- | Inf
554.41/554.46 c 554s| 2900k|672325 | 7433k| 2.6 | 550M| 45 | 6 | 50 |7227 | 50 | 15 | 24 |1660k|6314 | 0.000000e+00 | -- | Inf
556.51/556.54 c 557s| 2910k|674298 | 7458k| 2.6 | 552M| 45 | - | 50 |7211 | 50 | 15 | 24 |1666k|6320 | 0.000000e+00 | -- | Inf
558.81/558.83 c 559s| 2920k|676135 | 7484k| 2.6 | 553M| 45 | 6 | 50 |5732 | 50 | 15 | 24 |1672k|6332 | 0.000000e+00 | -- | Inf
560.70/560.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
560.70/560.74 c 561s| 2930k|678061 | 7511k| 2.6 | 556M| 45 | 6 | 50 |8003 | 50 | 15 | 24 |1678k|6341 | 0.000000e+00 | -- | Inf
563.11/563.14 c 563s| 2940k|679783 | 7536k| 2.6 | 557M| 45 | 6 | 50 |5384 | 50 | 15 | 24 |1684k|6350 | 0.000000e+00 | -- | Inf
564.91/564.96 c 565s| 2950k|682104 | 7561k| 2.6 | 559M| 45 | - | 50 |7433 | 50 | 15 | 24 |1690k|6359 | 0.000000e+00 | -- | Inf
567.11/567.15 c 567s| 2960k|683979 | 7587k| 2.6 | 561M| 45 | - | 50 |6392 | 50 | 15 | 24 |1696k|6368 | 0.000000e+00 | -- | Inf
569.11/569.18 c 569s| 2970k|685976 | 7611k| 2.6 | 562M| 45 | 6 | 50 |6487 | 50 | 15 | 24 |1702k|6384 | 0.000000e+00 | -- | Inf
571.21/571.26 c 571s| 2980k|687750 | 7637k| 2.6 | 564M| 45 | - | 50 |6380 | 50 | 15 | 24 |1708k|6397 | 0.000000e+00 | -- | Inf
573.30/573.33 c 573s| 2990k|689778 | 7662k| 2.6 | 566M| 45 | - | 50 |6004 | 50 | 15 | 24 |1714k|6404 | 0.000000e+00 | -- | Inf
575.31/575.31 c 575s| 3000k|691877 | 7687k| 2.6 | 568M| 45 | 6 | 50 |6982 | 50 | 15 | 24 |1720k|6416 | 0.000000e+00 | -- | Inf
577.61/577.61 c 578s| 3010k|693649 | 7712k| 2.6 | 569M| 45 | 6 | 50 |5300 | 50 | 15 | 24 |1726k|6430 | 0.000000e+00 | -- | Inf
579.50/579.52 c 580s| 3020k|695924 | 7738k| 2.6 | 571M| 45 | - | 50 |5828 | 0 | 0 | 24 |1732k|6441 | 0.000000e+00 | -- | Inf
581.51/581.52 c 582s| 3030k|697975 | 7764k| 2.6 | 573M| 45 | - | 50 |6204 | 50 | 15 | 24 |1738k|6455 | 0.000000e+00 | -- | Inf
583.50/583.51 c 584s| 3040k|699939 | 7791k| 2.6 | 575M| 45 | 6 | 50 |7165 | 50 | 15 | 24 |1744k|6465 | 0.000000e+00 | -- | Inf
585.80/585.80 c 586s| 3050k|701478 | 7817k| 2.6 | 576M| 45 | 6 | 50 |5502 | 50 | 15 | 24 |1750k|6470 | 0.000000e+00 | -- | Inf
587.60/587.68 c 588s| 3060k|703871 | 7842k| 2.6 | 578M| 45 | 6 | 50 |7505 | 50 | 15 | 24 |1756k|6483 | 0.000000e+00 | -- | Inf
589.90/589.91 c 590s| 3070k|705718 | 7867k| 2.6 | 580M| 45 | 6 | 50 |6682 | 50 | 15 | 24 |1762k|6497 | 0.000000e+00 | -- | Inf
592.00/592.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
592.00/592.01 c 592s| 3080k|707830 | 7894k| 2.6 | 582M| 45 | 6 | 50 |6653 | 50 | 15 | 24 |1768k|6504 | 0.000000e+00 | -- | Inf
594.10/594.17 c 594s| 3090k|709672 | 7919k| 2.6 | 584M| 45 | 6 | 50 |6815 | 50 | 15 | 24 |1774k|6513 | 0.000000e+00 | -- | Inf
596.31/596.39 c 596s| 3100k|711495 | 7944k| 2.6 | 585M| 45 | - | 50 |5829 | 50 | 15 | 24 |1781k|6520 | 0.000000e+00 | -- | Inf
598.41/598.50 c 598s| 3110k|713475 | 7969k| 2.6 | 587M| 45 | - | 50 |5587 | 50 | 15 | 24 |1787k|6527 | 0.000000e+00 | -- | Inf
600.51/600.55 c 601s| 3120k|715329 | 7995k| 2.6 | 589M| 45 | 6 | 50 |5736 | 50 | 15 | 24 |1793k|6543 | 0.000000e+00 | -- | Inf
602.61/602.66 c 603s| 3130k|717029 | 8021k| 2.6 | 590M| 45 | 6 | 50 |5888 | 50 | 15 | 24 |1799k|6555 | 0.000000e+00 | -- | Inf
604.71/604.76 c 605s| 3140k|718758 | 8047k| 2.6 | 592M| 45 | 6 | 50 |6326 | 50 | 15 | 24 |1806k|6563 | 0.000000e+00 | -- | Inf
606.80/606.86 c 607s| 3150k|720906 | 8072k| 2.6 | 594M| 45 | 6 | 50 |6620 | 50 | 15 | 24 |1811k|6579 | 0.000000e+00 | -- | Inf
608.91/608.91 c 609s| 3160k|722992 | 8097k| 2.6 | 596M| 45 | - | 50 |6724 | 50 | 15 | 24 |1817k|6592 | 0.000000e+00 | -- | Inf
611.11/611.16 c 611s| 3170k|724711 | 8123k| 2.6 | 597M| 45 | 6 | 50 |5303 | 50 | 15 | 24 |1823k|6598 | 0.000000e+00 | -- | Inf
613.21/613.24 c 613s| 3180k|726560 | 8148k| 2.6 | 599M| 45 | 6 | 50 |5276 | 50 | 15 | 24 |1829k|6608 | 0.000000e+00 | -- | Inf
615.30/615.34 c 615s| 3190k|728457 | 8173k| 2.6 | 601M| 45 | - | 50 |5401 | 50 | 15 | 24 |1835k|6617 | 0.000000e+00 | -- | Inf
617.41/617.42 c 617s| 3200k|730403 | 8198k| 2.6 | 602M| 45 | 6 | 50 |5710 | 50 | 15 | 24 |1841k|6630 | 0.000000e+00 | -- | Inf
619.21/619.30 c 619s| 3210k|732853 | 8224k| 2.6 | 605M| 45 | 6 | 50 |6788 | 50 | 15 | 24 |1847k|6638 | 0.000000e+00 | -- | Inf
621.21/621.26 c 621s| 3220k|735019 | 8251k| 2.6 | 607M| 45 | - | 50 |8188 | 50 | 15 | 24 |1853k|6651 | 0.000000e+00 | -- | Inf
623.40/623.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
623.40/623.41 c 623s| 3230k|736748 | 8276k| 2.6 | 609M| 45 | - | 50 |8483 | 50 | 15 | 24 |1859k|6661 | 0.000000e+00 | -- | Inf
625.82/625.83 c 626s| 3240k|738526 | 8301k| 2.6 | 610M| 45 | - | 50 |5918 | 50 | 15 | 24 |1865k|6671 | 0.000000e+00 | -- | Inf
627.90/628.00 c 628s| 3250k|740414 | 8327k| 2.6 | 611M| 45 | 6 | 50 |5449 | 50 | 15 | 24 |1871k|6681 | 0.000000e+00 | -- | Inf
629.90/629.97 c 630s| 3260k|742511 | 8351k| 2.6 | 613M| 45 | 6 | 50 |6012 | 50 | 15 | 24 |1877k|6687 | 0.000000e+00 | -- | Inf
632.00/632.07 c 632s| 3270k|744449 | 8376k| 2.6 | 615M| 45 | - | 50 |6497 | 50 | 15 | 24 |1883k|6704 | 0.000000e+00 | -- | Inf
634.01/634.03 c 634s| 3280k|746488 | 8403k| 2.6 | 618M| 45 | 6 | 50 |8730 | 50 | 15 | 24 |1889k|6715 | 0.000000e+00 | -- | Inf
636.31/636.35 c 636s| 3290k|748378 | 8429k| 2.6 | 619M| 45 | 6 | 50 |7392 | 50 | 15 | 24 |1896k|6725 | 0.000000e+00 | -- | Inf
638.40/638.42 c 638s| 3300k|750398 | 8456k| 2.6 | 621M| 45 | 6 | 50 |9227 | 50 | 15 | 24 |1902k|6744 | 0.000000e+00 | -- | Inf
640.71/640.77 c 641s| 3310k|752266 | 8481k| 2.6 | 623M| 45 | - | 50 |7257 | 50 | 15 | 24 |1908k|6758 | 0.000000e+00 | -- | Inf
643.01/643.08 c 643s| 3320k|754066 | 8506k| 2.6 | 624M| 45 | - | 50 |5070 | 50 | 15 | 24 |1914k|6766 | 0.000000e+00 | -- | Inf
645.21/645.21 c 645s| 3330k|755790 | 8531k| 2.6 | 626M| 45 | 6 | 50 |6109 | 50 | 15 | 24 |1921k|6772 | 0.000000e+00 | -- | Inf
647.41/647.43 c 647s| 3340k|757553 | 8557k| 2.6 | 627M| 45 | 6 | 50 |5628 | 50 | 15 | 24 |1927k|6778 | 0.000000e+00 | -- | Inf
649.60/649.63 c 650s| 3350k|759183 | 8582k| 2.6 | 629M| 45 | 6 | 50 |5356 | 50 | 15 | 24 |1933k|6789 | 0.000000e+00 | -- | Inf
651.70/651.71 c 652s| 3360k|761019 | 8608k| 2.6 | 631M| 45 | 6 | 50 |5953 | 50 | 15 | 24 |1939k|6799 | 0.000000e+00 | -- | Inf
653.51/653.56 c 654s| 3370k|763491 | 8635k| 2.6 | 633M| 45 | 6 | 50 |8313 | 50 | 15 | 24 |1945k|6807 | 0.000000e+00 | -- | Inf
655.52/655.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
655.52/655.53 c 656s| 3380k|765999 | 8662k| 2.6 | 635M| 45 | 6 | 50 |9490 | 50 | 15 | 24 |1951k|6813 | 0.000000e+00 | -- | Inf
657.81/657.81 c 658s| 3390k|767905 | 8688k| 2.6 | 637M| 45 | 6 | 50 |9233 | 50 | 15 | 24 |1957k|6826 | 0.000000e+00 | -- | Inf
660.01/660.08 c 660s| 3400k|769965 | 8714k| 2.6 | 639M| 45 | 6 | 50 |8889 | 50 | 15 | 24 |1963k|6836 | 0.000000e+00 | -- | Inf
662.50/662.55 c 663s| 3410k|771852 | 8739k| 2.6 | 640M| 45 | - | 50 |5914 | 50 | 15 | 24 |1969k|6841 | 0.000000e+00 | -- | Inf
664.60/664.68 c 665s| 3420k|773662 | 8766k| 2.6 | 642M| 45 | 6 | 50 |5897 | 50 | 15 | 24 |1975k|6846 | 0.000000e+00 | -- | Inf
666.91/666.98 c 667s| 3430k|775270 | 8791k| 2.6 | 643M| 45 | 6 | 50 |4561 | 50 | 15 | 24 |1981k|6849 | 0.000000e+00 | -- | Inf
669.00/669.06 c 669s| 3440k|777034 | 8816k| 2.6 | 645M| 45 | - | 50 |5215 | 0 | 0 | 24 |1987k|6858 | 0.000000e+00 | -- | Inf
671.10/671.16 c 671s| 3450k|778803 | 8841k| 2.6 | 647M| 45 | 6 | 50 |5518 | 50 | 15 | 24 |1993k|6870 | 0.000000e+00 | -- | Inf
673.01/673.07 c 673s| 3460k|780802 | 8866k| 2.6 | 649M| 45 | 6 | 50 |7080 | 50 | 15 | 24 |1999k|6880 | 0.000000e+00 | -- | Inf
675.31/675.33 c 675s| 3470k|782543 | 8891k| 2.6 | 650M| 45 | 6 | 50 |5705 | 50 | 15 | 24 |2005k|6889 | 0.000000e+00 | -- | Inf
677.21/677.26 c 677s| 3480k|785042 | 8917k| 2.6 | 652M| 45 | 6 | 50 |6801 | 50 | 15 | 24 |2011k|6898 | 0.000000e+00 | -- | Inf
679.21/679.20 c 679s| 3490k|787478 | 8943k| 2.6 | 654M| 45 | 6 | 50 |7992 | 50 | 15 | 24 |2016k|6912 | 0.000000e+00 | -- | Inf
681.31/681.34 c 681s| 3500k|789658 | 8968k| 2.6 | 656M| 45 | - | 50 |8555 | 50 | 15 | 24 |2022k|6920 | 0.000000e+00 | -- | Inf
683.71/683.75 c 684s| 3510k|791452 | 8993k| 2.6 | 658M| 45 | 6 | 50 |7492 | 50 | 15 | 24 |2028k|6929 | 0.000000e+00 | -- | Inf
685.81/685.88 c 686s| 3520k|793393 | 9019k| 2.6 | 660M| 45 | 6 | 50 |7280 | 50 | 15 | 24 |2034k|6939 | 0.000000e+00 | -- | Inf
688.00/688.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
688.00/688.05 c 688s| 3530k|795299 | 9048k| 2.6 | 661M| 45 | 6 | 50 |7750 | 50 | 15 | 24 |2040k|6946 | 0.000000e+00 | -- | Inf
690.40/690.46 c 690s| 3540k|796976 | 9073k| 2.6 | 662M| 45 | 6 | 50 |5431 | 50 | 15 | 24 |2046k|6959 | 0.000000e+00 | -- | Inf
692.60/692.62 c 693s| 3550k|798692 | 9098k| 2.6 | 664M| 45 | - | 50 |5386 | 50 | 15 | 24 |2053k|6968 | 0.000000e+00 | -- | Inf
694.71/694.78 c 695s| 3560k|800378 | 9124k| 2.6 | 666M| 45 | 6 | 50 |5376 | 50 | 15 | 24 |2059k|6976 | 0.000000e+00 | -- | Inf
696.90/696.96 c 697s| 3570k|802180 | 9149k| 2.6 | 668M| 45 | - | 50 |5157 | 50 | 15 | 24 |2065k|6980 | 0.000000e+00 | -- | Inf
699.11/699.11 c 699s| 3580k|803880 | 9175k| 2.6 | 669M| 45 | - | 50 |5181 | 50 | 15 | 24 |2071k|6991 | 0.000000e+00 | -- | Inf
701.11/701.15 c 701s| 3590k|806054 | 9199k| 2.6 | 671M| 45 | 6 | 50 |5540 | 50 | 15 | 24 |2077k|6998 | 0.000000e+00 | -- | Inf
703.21/703.26 c 703s| 3600k|807878 | 9225k| 2.6 | 673M| 45 | 6 | 50 |5806 | 50 | 15 | 24 |2083k|7011 | 0.000000e+00 | -- | Inf
705.40/705.42 c 705s| 3610k|809632 | 9249k| 2.6 | 674M| 45 | - | 50 |5238 | 50 | 15 | 24 |2089k|7022 | 0.000000e+00 | -- | Inf
707.51/707.50 c 708s| 3620k|811408 | 9275k| 2.6 | 676M| 45 | 6 | 50 |5487 | 50 | 15 | 24 |2095k|7030 | 0.000000e+00 | -- | Inf
709.42/709.48 c 709s| 3630k|813456 | 9301k| 2.6 | 678M| 45 | 6 | 50 |7032 | 50 | 15 | 24 |2101k|7040 | 0.000000e+00 | -- | Inf
711.72/711.73 c 712s| 3640k|815297 | 9327k| 2.6 | 680M| 45 | - | 50 |6235 | 50 | 15 | 24 |2107k|7047 | 0.000000e+00 | -- | Inf
713.82/713.90 c 714s| 3650k|817189 | 9353k| 2.6 | 682M| 45 | - | 50 |6433 | 50 | 15 | 24 |2114k|7051 | 0.000000e+00 | -- | Inf
716.12/716.20 c 716s| 3660k|818866 | 9379k| 2.6 | 683M| 45 | 6 | 50 |5648 | 50 | 15 | 24 |2120k|7057 | 0.000000e+00 | -- | Inf
718.01/718.07 c 718s| 3670k|821103 | 9404k| 2.6 | 686M| 45 | 6 | 50 |7951 | 50 | 15 | 24 |2126k|7068 | 0.000000e+00 | -- | Inf
720.30/720.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
720.30/720.32 c 720s| 3680k|822929 | 9430k| 2.6 | 687M| 45 | - | 50 |7224 | 50 | 15 | 24 |2132k|7077 | 0.000000e+00 | -- | Inf
722.41/722.49 c 722s| 3690k|825015 | 9456k| 2.6 | 689M| 45 | - | 50 |7589 | 50 | 15 | 24 |2138k|7086 | 0.000000e+00 | -- | Inf
724.71/724.72 c 725s| 3700k|826812 | 9483k| 2.6 | 691M| 45 | 6 | 50 |8174 | 50 | 15 | 24 |2144k|7097 | 0.000000e+00 | -- | Inf
727.01/727.07 c 727s| 3710k|828530 | 9509k| 2.6 | 692M| 45 | 6 | 50 |6592 | 50 | 15 | 24 |2150k|7112 | 0.000000e+00 | -- | Inf
729.32/729.33 c 729s| 3720k|830205 | 9534k| 2.6 | 694M| 45 | 6 | 50 |5475 | 50 | 15 | 24 |2156k|7119 | 0.000000e+00 | -- | Inf
731.52/731.54 c 732s| 3730k|832006 | 9559k| 2.6 | 695M| 45 | 6 | 50 |4696 | 50 | 15 | 24 |2162k|7137 | 0.000000e+00 | -- | Inf
733.62/733.66 c 734s| 3740k|833628 | 9585k| 2.6 | 697M| 45 | 6 | 50 |5623 | 50 | 15 | 24 |2169k|7142 | 0.000000e+00 | -- | Inf
735.61/735.69 c 736s| 3750k|835571 | 9611k| 2.6 | 699M| 45 | - | 50 |6667 | 50 | 15 | 24 |2175k|7153 | 0.000000e+00 | -- | Inf
737.70/737.78 c 738s| 3760k|837559 | 9637k| 2.6 | 701M| 45 | - | 50 |6877 | 50 | 15 | 24 |2181k|7162 | 0.000000e+00 | -- | Inf
739.91/739.97 c 740s| 3770k|839350 | 9663k| 2.6 | 703M| 45 | - | 50 |6743 | 0 | 0 | 24 |2187k|7179 | 0.000000e+00 | -- | Inf
742.01/742.07 c 742s| 3780k|841139 | 9689k| 2.6 | 704M| 45 | 6 | 50 |6441 | 50 | 15 | 24 |2193k|7186 | 0.000000e+00 | -- | Inf
744.11/744.12 c 744s| 3790k|843400 | 9715k| 2.6 | 706M| 45 | 6 | 50 |6618 | 50 | 15 | 24 |2199k|7199 | 0.000000e+00 | -- | Inf
746.11/746.10 c 746s| 3800k|845839 | 9741k| 2.6 | 709M| 45 | 6 | 50 |8055 | 50 | 15 | 24 |2205k|7207 | 0.000000e+00 | -- | Inf
748.11/748.17 c 748s| 3810k|847950 | 9767k| 2.6 | 711M| 45 | 6 | 50 |9603 | 50 | 15 | 24 |2211k|7215 | 0.000000e+00 | -- | Inf
750.71/750.75 c 751s| 3820k|849583 | 9793k| 2.6 | 712M| 45 | - | 50 |7719 | 50 | 15 | 24 |2217k|7224 | 0.000000e+00 | -- | Inf
753.11/753.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
753.11/753.17 c 753s| 3830k|851133 | 9819k| 2.6 | 713M| 45 | - | 50 |5953 | 50 | 15 | 24 |2223k|7227 | 0.000000e+00 | -- | Inf
755.21/755.24 c 755s| 3840k|853252 | 9844k| 2.6 | 715M| 45 | - | 50 |6038 | 50 | 15 | 24 |2229k|7234 | 0.000000e+00 | -- | Inf
757.31/757.39 c 757s| 3850k|855059 | 9870k| 2.6 | 717M| 45 | 6 | 50 |5346 | 50 | 15 | 24 |2235k|7243 | 0.000000e+00 | -- | Inf
759.51/759.51 c 760s| 3860k|856755 | 9895k| 2.6 | 718M| 45 | - | 50 |5891 | 50 | 15 | 24 |2241k|7248 | 0.000000e+00 | -- | Inf
761.41/761.45 c 761s| 3870k|858929 | 9921k| 2.6 | 721M| 45 | 6 | 50 |7686 | 50 | 15 | 24 |2247k|7258 | 0.000000e+00 | -- | Inf
763.61/763.67 c 764s| 3880k|860820 | 9947k| 2.6 | 722M| 45 | 6 | 50 |6978 | 50 | 15 | 24 |2254k|7265 | 0.000000e+00 | -- | Inf
765.71/765.75 c 766s| 3890k|862937 | 9972k| 2.6 | 724M| 45 | 6 | 50 |8377 | 50 | 15 | 24 |2260k|7274 | 0.000000e+00 | -- | Inf
767.91/767.90 c 768s| 3900k|865074 | 9997k| 2.6 | 726M| 45 | 6 | 50 |7834 | 50 | 15 | 24 |2266k|7282 | 0.000000e+00 | -- | Inf
770.11/770.10 c 770s| 3910k|866995 | 10022k| 2.6 | 728M| 45 | - | 50 |7590 | 50 | 15 | 24 |2272k|7299 | 0.000000e+00 | -- | Inf
772.11/772.12 c 772s| 3920k|869451 | 10047k| 2.6 | 730M| 45 | 6 | 50 |8494 | 50 | 15 | 24 |2277k|7307 | 0.000000e+00 | -- | Inf
774.11/774.14 c 774s| 3930k|871807 | 10071k| 2.6 | 732M| 45 | 6 | 50 |9962 | 50 | 15 | 24 |2283k|7313 | 0.000000e+00 | -- | Inf
776.61/776.68 c 777s| 3940k|873636 | 10096k| 2.6 | 733M| 45 | 6 | 50 |7618 | 50 | 15 | 24 |2289k|7325 | 0.000000e+00 | -- | Inf
778.81/778.87 c 779s| 3950k|875970 | 10121k| 2.6 | 735M| 45 | - | 50 |6926 | 50 | 15 | 24 |2295k|7330 | 0.000000e+00 | -- | Inf
780.91/780.90 c 781s| 3960k|878283 | 10148k| 2.6 | 738M| 45 | 6 | 50 |9008 | 50 | 15 | 24 |2300k|7337 | 0.000000e+00 | -- | Inf
783.22/783.23 c 783s| 3970k|880236 | 10174k| 2.6 | 740M| 45 | 6 | 50 |9711 | 50 | 15 | 24 |2307k|7348 | 0.000000e+00 | -- | Inf
785.71/785.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
785.71/785.78 c 786s| 3980k|881908 | 10200k| 2.6 | 741M| 45 | - | 50 |7264 | 50 | 15 | 24 |2313k|7354 | 0.000000e+00 | -- | Inf
787.91/787.91 c 788s| 3990k|883923 | 10226k| 2.6 | 743M| 45 | 6 | 50 |7729 | 50 | 15 | 24 |2319k|7362 | 0.000000e+00 | -- | Inf
790.31/790.32 c 790s| 4000k|885654 | 10251k| 2.6 | 744M| 45 | 6 | 50 |5666 | 50 | 15 | 24 |2325k|7372 | 0.000000e+00 | -- | Inf
792.21/792.27 c 792s| 4010k|887739 | 10277k| 2.6 | 746M| 45 | - | 50 |7817 | 50 | 15 | 24 |2331k|7385 | 0.000000e+00 | -- | Inf
794.61/794.63 c 795s| 4020k|889276 | 10302k| 2.6 | 747M| 45 | - | 50 |6292 | 50 | 15 | 24 |2337k|7393 | 0.000000e+00 | -- | Inf
796.61/796.66 c 797s| 4030k|891308 | 10327k| 2.6 | 749M| 45 | 6 | 50 |7601 | 50 | 15 | 24 |2343k|7407 | 0.000000e+00 | -- | Inf
798.91/798.96 c 799s| 4040k|893143 | 10353k| 2.6 | 751M| 45 | - | 50 |6472 | 50 | 15 | 24 |2349k|7413 | 0.000000e+00 | -- | Inf
801.21/801.22 c 801s| 4050k|894885 | 10377k| 2.6 | 752M| 45 | - | 50 |5792 | 50 | 15 | 24 |2355k|7420 | 0.000000e+00 | -- | Inf
803.21/803.22 c 803s| 4060k|896955 | 10403k| 2.6 | 754M| 45 | - | 50 |6469 | 50 | 15 | 24 |2361k|7426 | 0.000000e+00 | -- | Inf
805.22/805.22 c 805s| 4070k|898955 | 10429k| 2.6 | 756M| 45 | 6 | 50 |7567 | 50 | 15 | 24 |2367k|7435 | 0.000000e+00 | -- | Inf
807.61/807.63 c 808s| 4080k|900501 | 10454k| 2.6 | 758M| 45 | 6 | 50 |5675 | 50 | 15 | 24 |2374k|7445 | 0.000000e+00 | -- | Inf
809.81/809.80 c 810s| 4090k|902312 | 10480k| 2.6 | 759M| 45 | 6 | 50 |5652 | 50 | 15 | 24 |2380k|7453 | 0.000000e+00 | -- | Inf
811.72/811.73 c 812s| 4100k|904622 | 10507k| 2.6 | 762M| 45 | - | 50 |7666 | 50 | 15 | 24 |2386k|7468 | 0.000000e+00 | -- | Inf
813.81/813.89 c 814s| 4110k|906706 | 10532k| 2.6 | 764M| 45 | - | 50 |8472 | 50 | 15 | 24 |2392k|7478 | 0.000000e+00 | -- | Inf
816.01/816.05 c 816s| 4120k|908664 | 10557k| 2.6 | 766M| 45 | - | 50 | 10k| 50 | 15 | 24 |2398k|7490 | 0.000000e+00 | -- | Inf
818.61/818.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
818.61/818.63 c 819s| 4130k|910379 | 10582k| 2.6 | 767M| 45 | 6 | 50 |6194 | 50 | 15 | 24 |2404k|7500 | 0.000000e+00 | -- | Inf
820.81/820.80 c 821s| 4140k|912280 | 10608k| 2.6 | 768M| 45 | - | 50 |6417 | 0 | 0 | 24 |2410k|7504 | 0.000000e+00 | -- | Inf
822.91/822.96 c 823s| 4150k|914183 | 10634k| 2.6 | 770M| 45 | 6 | 50 |6684 | 50 | 15 | 24 |2416k|7513 | 0.000000e+00 | -- | Inf
825.31/825.32 c 825s| 4160k|915700 | 10659k| 2.6 | 771M| 45 | 6 | 50 |5158 | 50 | 15 | 24 |2422k|7520 | 0.000000e+00 | -- | Inf
827.51/827.55 c 828s| 4170k|917375 | 10685k| 2.6 | 773M| 45 | 6 | 50 |5749 | 50 | 15 | 24 |2428k|7528 | 0.000000e+00 | -- | Inf
829.61/829.62 c 830s| 4180k|919436 | 10710k| 2.6 | 775M| 45 | - | 50 |6815 | 50 | 15 | 24 |2434k|7535 | 0.000000e+00 | -- | Inf
831.81/831.85 c 832s| 4190k|921186 | 10736k| 2.6 | 777M| 45 | 6 | 50 |6206 | 50 | 15 | 24 |2441k|7545 | 0.000000e+00 | -- | Inf
834.01/834.02 c 834s| 4200k|922949 | 10761k| 2.6 | 778M| 45 | - | 50 |5310 | 50 | 15 | 24 |2447k|7560 | 0.000000e+00 | -- | Inf
836.11/836.16 c 836s| 4210k|924673 | 10786k| 2.6 | 780M| 45 | 6 | 50 |5589 | 50 | 15 | 24 |2453k|7564 | 0.000000e+00 | -- | Inf
838.51/838.50 c 838s| 4220k|926179 | 10811k| 2.6 | 781M| 45 | 6 | 50 |4682 | 50 | 15 | 24 |2459k|7571 | 0.000000e+00 | -- | Inf
840.41/840.48 c 840s| 4230k|927892 | 10839k| 2.6 | 784M| 45 | 6 | 50 |7185 | 50 | 15 | 24 |2466k|7585 | 0.000000e+00 | -- | Inf
842.71/842.79 c 843s| 4240k|929561 | 10866k| 2.6 | 785M| 45 | 6 | 50 |7627 | 50 | 15 | 24 |2472k|7595 | 0.000000e+00 | -- | Inf
845.11/845.19 c 845s| 4250k|931267 | 10891k| 2.6 | 787M| 45 | 6 | 50 |5870 | 50 | 15 | 24 |2478k|7600 | 0.000000e+00 | -- | Inf
847.11/847.10 c 847s| 4260k|933850 | 10916k| 2.6 | 789M| 45 | - | 50 |6377 | 50 | 15 | 24 |2484k|7606 | 0.000000e+00 | -- | Inf
848.91/848.98 c 849s| 4270k|936296 | 10941k| 2.6 | 791M| 45 | - | 50 |7443 | 0 | 0 | 24 |2490k|7614 | 0.000000e+00 | -- | Inf
850.91/850.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
850.91/850.90 c 851s| 4280k|938921 | 10967k| 2.6 | 793M| 45 | 6 | 50 |8417 | 50 | 15 | 24 |2495k|7623 | 0.000000e+00 | -- | Inf
852.91/852.96 c 853s| 4290k|941212 | 10992k| 2.6 | 795M| 45 | - | 50 |9076 | 50 | 15 | 24 |2501k|7629 | 0.000000e+00 | -- | Inf
855.11/855.20 c 855s| 4300k|943268 | 11018k| 2.6 | 797M| 45 | 6 | 50 |7435 | 50 | 15 | 24 |2507k|7636 | 0.000000e+00 | -- | Inf
857.31/857.31 c 857s| 4310k|945324 | 11042k| 2.6 | 798M| 45 | 6 | 50 |7675 | 50 | 15 | 24 |2513k|7642 | 0.000000e+00 | -- | Inf
859.31/859.39 c 859s| 4320k|947477 | 11068k| 2.6 | 800M| 45 | 6 | 50 |8608 | 50 | 15 | 24 |2519k|7650 | 0.000000e+00 | -- | Inf
861.51/861.52 c 862s| 4330k|949541 | 11093k| 2.6 | 802M| 45 | 6 | 50 |8691 | 50 | 15 | 24 |2525k|7658 | 0.000000e+00 | -- | Inf
863.71/863.70 c 864s| 4340k|951528 | 11118k| 2.6 | 804M| 45 | 6 | 50 |8605 | 50 | 15 | 24 |2531k|7664 | 0.000000e+00 | -- | Inf
865.91/865.90 c 866s| 4350k|953376 | 11143k| 2.6 | 806M| 45 | 6 | 50 |8273 | 50 | 15 | 24 |2537k|7680 | 0.000000e+00 | -- | Inf
868.21/868.25 c 868s| 4360k|954866 | 11167k| 2.6 | 807M| 45 | 6 | 50 |7645 | 50 | 15 | 24 |2544k|7688 | 0.000000e+00 | -- | Inf
870.52/870.54 c 871s| 4370k|956414 | 11192k| 2.6 | 809M| 45 | 6 | 50 |7605 | 50 | 15 | 24 |2550k|7698 | 0.000000e+00 | -- | Inf
872.61/872.65 c 873s| 4380k|958693 | 11217k| 2.6 | 811M| 45 | - | 50 |8515 | 50 | 15 | 24 |2556k|7702 | 0.000000e+00 | -- | Inf
874.71/874.78 c 875s| 4390k|960895 | 11245k| 2.6 | 813M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |2562k|7711 | 0.000000e+00 | -- | Inf
877.21/877.29 c 877s| 4400k|962556 | 11272k| 2.6 | 815M| 45 | 6 | 50 |9911 | 50 | 15 | 24 |2568k|7722 | 0.000000e+00 | -- | Inf
879.61/879.63 c 880s| 4410k|964629 | 11296k| 2.6 | 816M| 45 | 6 | 50 |8628 | 50 | 15 | 24 |2574k|7730 | 0.000000e+00 | -- | Inf
882.01/882.05 c 882s| 4420k|966619 | 11321k| 2.6 | 818M| 45 | 6 | 50 |8224 | 50 | 15 | 24 |2580k|7738 | 0.000000e+00 | -- | Inf
884.21/884.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
884.21/884.24 c 884s| 4430k|968750 | 11348k| 2.6 | 820M| 45 | - | 50 |9484 | 50 | 15 | 24 |2585k|7746 | 0.000000e+00 | -- | Inf
886.81/886.82 c 887s| 4440k|970515 | 11373k| 2.6 | 821M| 45 | 6 | 50 |6776 | 50 | 15 | 24 |2592k|7750 | 0.000000e+00 | -- | Inf
888.72/888.78 c 889s| 4450k|972945 | 11399k| 2.6 | 824M| 45 | 6 | 50 |9036 | 50 | 15 | 24 |2597k|7764 | 0.000000e+00 | -- | Inf
891.11/891.13 c 891s| 4460k|974909 | 11425k| 2.6 | 825M| 45 | 6 | 50 |9297 | 50 | 15 | 24 |2604k|7771 | 0.000000e+00 | -- | Inf
893.72/893.75 c 894s| 4470k|976632 | 11451k| 2.6 | 826M| 45 | 6 | 50 |5996 | 50 | 15 | 24 |2610k|7775 | 0.000000e+00 | -- | Inf
896.01/896.07 c 896s| 4480k|978298 | 11477k| 2.6 | 828M| 45 | - | 50 |5725 | 50 | 15 | 24 |2616k|7780 | 0.000000e+00 | -- | Inf
898.21/898.26 c 898s| 4490k|980151 | 11501k| 2.6 | 830M| 45 | - | 50 |6367 | 50 | 15 | 24 |2622k|7789 | 0.000000e+00 | -- | Inf
900.41/900.47 c 900s| 4500k|982065 | 11527k| 2.6 | 831M| 45 | - | 50 |5779 | 50 | 15 | 24 |2628k|7795 | 0.000000e+00 | -- | Inf
902.31/902.38 c 902s| 4510k|984201 | 11554k| 2.6 | 834M| 45 | - | 50 |8032 | 50 | 15 | 24 |2634k|7803 | 0.000000e+00 | -- | Inf
904.62/904.67 c 905s| 4520k|986088 | 11579k| 2.6 | 835M| 45 | - | 50 |8076 | 50 | 15 | 24 |2640k|7812 | 0.000000e+00 | -- | Inf
907.01/907.06 c 907s| 4530k|987971 | 11605k| 2.6 | 837M| 45 | - | 50 |7484 | 50 | 15 | 24 |2647k|7827 | 0.000000e+00 | -- | Inf
909.21/909.22 c 909s| 4540k|989995 | 11631k| 2.6 | 839M| 45 | 6 | 50 |7911 | 50 | 15 | 24 |2653k|7833 | 0.000000e+00 | -- | Inf
911.41/911.48 c 911s| 4550k|991871 | 11656k| 2.6 | 841M| 45 | - | 50 |7974 | 50 | 15 | 24 |2659k|7840 | 0.000000e+00 | -- | Inf
914.01/914.04 c 914s| 4560k|993499 | 11682k| 2.6 | 842M| 45 | - | 50 |5774 | 0 | 0 | 24 |2665k|7845 | 0.000000e+00 | -- | Inf
915.92/915.94 c 916s| 4570k|995771 | 11709k| 2.6 | 844M| 45 | 6 | 50 |8123 | 50 | 15 | 24 |2671k|7852 | 0.000000e+00 | -- | Inf
918.02/918.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
918.02/918.06 c 918s| 4580k|997683 | 11737k| 2.6 | 846M| 45 | - | 50 |9131 | 50 | 15 | 24 |2677k|7864 | 0.000000e+00 | -- | Inf
920.41/920.47 c 920s| 4590k|999335 | 11764k| 2.6 | 848M| 45 | 6 | 50 |9267 | 50 | 15 | 24 |2683k|7871 | 0.000000e+00 | -- | Inf
922.82/922.88 c 923s| 4600k| 1001k| 11789k| 2.6 | 850M| 45 | 6 | 50 |9439 | 50 | 15 | 24 |2690k|7876 | 0.000000e+00 | -- | Inf
925.41/925.47 c 925s| 4610k| 1002k| 11815k| 2.6 | 851M| 45 | - | 50 |8119 | 0 | 0 | 24 |2696k|7884 | 0.000000e+00 | -- | Inf
927.71/927.79 c 928s| 4620k| 1004k| 11841k| 2.6 | 853M| 45 | 6 | 50 |7789 | 50 | 15 | 24 |2702k|7889 | 0.000000e+00 | -- | Inf
930.21/930.24 c 930s| 4630k| 1006k| 11866k| 2.6 | 854M| 45 | - | 50 |6652 | 50 | 15 | 24 |2708k|7893 | 0.000000e+00 | -- | Inf
932.32/932.38 c 932s| 4640k| 1008k| 11892k| 2.6 | 856M| 45 | 6 | 50 |6871 | 50 | 15 | 24 |2714k|7901 | 0.000000e+00 | -- | Inf
934.52/934.53 c 935s| 4650k| 1009k| 11918k| 2.6 | 858M| 45 | - | 50 |8163 | 50 | 15 | 24 |2721k|7912 | 0.000000e+00 | -- | Inf
936.71/936.79 c 937s| 4660k| 1011k| 11944k| 2.6 | 860M| 45 | - | 50 |8369 | 50 | 15 | 24 |2727k|7918 | 0.000000e+00 | -- | Inf
939.21/939.28 c 939s| 4670k| 1013k| 11969k| 2.6 | 861M| 45 | - | 50 |6327 | 50 | 15 | 24 |2733k|7924 | 0.000000e+00 | -- | Inf
941.41/941.49 c 941s| 4680k| 1015k| 11995k| 2.6 | 863M| 45 | 6 | 50 |7147 | 50 | 15 | 24 |2739k|7926 | 0.000000e+00 | -- | Inf
943.82/943.82 c 944s| 4690k| 1017k| 12020k| 2.6 | 864M| 45 | - | 50 |5808 | 50 | 15 | 24 |2745k|7934 | 0.000000e+00 | -- | Inf
945.92/945.91 c 946s| 4700k| 1018k| 12045k| 2.6 | 866M| 45 | 6 | 50 |7113 | 50 | 15 | 24 |2751k|7943 | 0.000000e+00 | -- | Inf
948.12/948.18 c 948s| 4710k| 1020k| 12071k| 2.6 | 868M| 45 | 6 | 50 |7118 | 50 | 15 | 24 |2757k|7948 | 0.000000e+00 | -- | Inf
950.62/950.63 c 951s| 4720k| 1022k| 12096k| 2.6 | 869M| 45 | 6 | 50 |5673 | 50 | 15 | 24 |2763k|7956 | 0.000000e+00 | -- | Inf
952.72/952.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
952.72/952.78 c 953s| 4730k| 1024k| 12121k| 2.6 | 871M| 45 | 6 | 50 |6557 | 50 | 15 | 24 |2770k|7959 | 0.000000e+00 | -- | Inf
955.11/955.20 c 955s| 4740k| 1025k| 12147k| 2.6 | 872M| 45 | - | 50 |5083 | 50 | 15 | 24 |2776k|7966 | 0.000000e+00 | -- | Inf
957.21/957.25 c 957s| 4750k| 1027k| 12172k| 2.6 | 874M| 45 | 6 | 50 |6372 | 50 | 15 | 24 |2782k|7974 | 0.000000e+00 | -- | Inf
959.23/959.24 c 959s| 4760k| 1029k| 12197k| 2.6 | 877M| 45 | - | 50 |8263 | 50 | 15 | 24 |2788k|7984 | 0.000000e+00 | -- | Inf
961.61/961.60 c 962s| 4770k| 1031k| 12223k| 2.6 | 878M| 45 | - | 50 |8370 | 50 | 15 | 24 |2794k|7993 | 0.000000e+00 | -- | Inf
963.81/963.87 c 964s| 4780k| 1033k| 12249k| 2.6 | 880M| 45 | 6 | 50 |9484 | 50 | 15 | 24 |2801k|8000 | 0.000000e+00 | -- | Inf
966.21/966.20 c 966s| 4790k| 1035k| 12274k| 2.6 | 882M| 45 | 6 | 50 |8367 | 50 | 15 | 24 |2806k|8004 | 0.000000e+00 | -- | Inf
968.62/968.66 c 969s| 4800k| 1036k| 12300k| 2.6 | 883M| 45 | 6 | 50 |7313 | 50 | 15 | 24 |2813k|8007 | 0.000000e+00 | -- | Inf
971.11/971.11 c 971s| 4810k| 1038k| 12325k| 2.6 | 884M| 45 | 6 | 50 |5233 | 50 | 15 | 24 |2819k|8010 | 0.000000e+00 | -- | Inf
973.21/973.28 c 973s| 4820k| 1040k| 12350k| 2.6 | 886M| 45 | - | 50 |5956 | 50 | 15 | 24 |2825k|8023 | 0.000000e+00 | -- | Inf
975.62/975.60 c 976s| 4830k| 1041k| 12375k| 2.6 | 888M| 45 | 6 | 50 |4954 | 50 | 15 | 24 |2832k|8028 | 0.000000e+00 | -- | Inf
977.72/977.72 c 978s| 4840k| 1043k| 12402k| 2.6 | 890M| 45 | 6 | 50 |5928 | 50 | 15 | 24 |2838k|8032 | 0.000000e+00 | -- | Inf
980.02/980.01 c 980s| 4850k| 1045k| 12427k| 2.6 | 891M| 45 | 6 | 50 |5742 | 50 | 15 | 24 |2844k|8037 | 0.000000e+00 | -- | Inf
982.01/982.01 c 982s| 4860k| 1047k| 12454k| 2.6 | 894M| 45 | 6 | 50 |7768 | 50 | 15 | 24 |2850k|8046 | 0.000000e+00 | -- | Inf
984.01/984.07 c 984s| 4870k| 1049k| 12481k| 2.6 | 896M| 45 | 6 | 50 |9087 | 50 | 15 | 24 |2856k|8051 | 0.000000e+00 | -- | Inf
986.11/986.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
986.11/986.16 c 986s| 4880k| 1051k| 12509k| 2.6 | 898M| 45 | - | 50 | 10k| 50 | 15 | 24 |2862k|8059 | 0.000000e+00 | -- | Inf
988.52/988.52 c 989s| 4890k| 1053k| 12536k| 2.6 | 900M| 45 | - | 50 | 10k| 50 | 15 | 24 |2869k|8064 | 0.000000e+00 | -- | Inf
990.92/990.95 c 991s| 4900k| 1055k| 12563k| 2.6 | 901M| 45 | 6 | 50 |9229 | 50 | 15 | 24 |2875k|8069 | 0.000000e+00 | -- | Inf
993.32/993.33 c 993s| 4910k| 1057k| 12590k| 2.6 | 902M| 45 | 6 | 50 |8517 | 50 | 15 | 24 |2882k|8076 | 0.000000e+00 | -- | Inf
995.71/995.72 c 996s| 4920k| 1058k| 12616k| 2.6 | 904M| 45 | 6 | 50 |9018 | 50 | 15 | 24 |2888k|8081 | 0.000000e+00 | -- | Inf
998.11/998.16 c 998s| 4930k| 1060k| 12643k| 2.6 | 906M| 45 | 6 | 50 |8676 | 50 | 15 | 24 |2895k|8088 | 0.000000e+00 | -- | Inf
1000.61/1000.64 c 1001s| 4940k| 1061k| 12670k| 2.6 | 907M| 45 | 6 | 50 |8980 | 50 | 15 | 24 |2902k|8091 | 0.000000e+00 | -- | Inf
1002.92/1002.97 c 1003s| 4950k| 1063k| 12695k| 2.6 | 909M| 45 | 6 | 50 |8431 | 50 | 15 | 24 |2908k|8096 | 0.000000e+00 | -- | Inf
1005.22/1005.29 c 1005s| 4960k| 1065k| 12720k| 2.6 | 910M| 45 | 6 | 50 |7619 | 50 | 15 | 24 |2914k|8104 | 0.000000e+00 | -- | Inf
1007.72/1007.70 c 1008s| 4970k| 1067k| 12745k| 2.6 | 912M| 45 | 6 | 50 |5869 | 50 | 15 | 24 |2920k|8111 | 0.000000e+00 | -- | Inf
1009.91/1009.97 c 1010s| 4980k| 1068k| 12770k| 2.6 | 913M| 45 | 6 | 50 |5618 | 50 | 15 | 24 |2926k|8113 | 0.000000e+00 | -- | Inf
1012.22/1012.22 c 1012s| 4990k| 1070k| 12794k| 2.6 | 915M| 45 | 6 | 50 |5147 | 50 | 15 | 24 |2932k|8121 | 0.000000e+00 | -- | Inf
1014.32/1014.38 c 1014s| 5000k| 1072k| 12822k| 2.6 | 917M| 45 | 6 | 50 |5885 | 50 | 15 | 24 |2939k|8128 | 0.000000e+00 | -- | Inf
1016.52/1016.57 c 1017s| 5010k| 1074k| 12847k| 2.6 | 919M| 45 | - | 50 |6937 | 50 | 15 | 24 |2945k|8135 | 0.000000e+00 | -- | Inf
1019.01/1019.02 c 1019s| 5020k| 1075k| 12873k| 2.6 | 920M| 45 | - | 50 |5094 | 50 | 15 | 24 |2951k|8140 | 0.000000e+00 | -- | Inf
1021.21/1021.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1021.21/1021.27 c 1021s| 5030k| 1077k| 12898k| 2.6 | 921M| 45 | - | 50 |5096 | 50 | 15 | 24 |2957k|8147 | 0.000000e+00 | -- | Inf
1023.32/1023.35 c 1023s| 5040k| 1078k| 12924k| 2.6 | 923M| 45 | - | 50 |6107 | 50 | 15 | 24 |2963k|8153 | 0.000000e+00 | -- | Inf
1025.62/1025.65 c 1026s| 5050k| 1080k| 12949k| 2.6 | 925M| 45 | - | 50 |6006 | 50 | 15 | 24 |2970k|8160 | 0.000000e+00 | -- | Inf
1027.82/1027.88 c 1028s| 5060k| 1082k| 12975k| 2.6 | 927M| 45 | - | 50 |6601 | 50 | 15 | 24 |2976k|8166 | 0.000000e+00 | -- | Inf
1030.12/1030.17 c 1030s| 5070k| 1084k| 13000k| 2.6 | 928M| 45 | 6 | 50 |5682 | 50 | 15 | 24 |2982k|8176 | 0.000000e+00 | -- | Inf
1032.42/1032.48 c 1032s| 5080k| 1085k| 13025k| 2.6 | 930M| 45 | - | 50 |5420 | 50 | 15 | 24 |2988k|8185 | 0.000000e+00 | -- | Inf
1034.62/1034.60 c 1035s| 5090k| 1087k| 13050k| 2.6 | 932M| 45 | - | 50 |6584 | 50 | 15 | 24 |2994k|8192 | 0.000000e+00 | -- | Inf
1036.71/1036.70 c 1037s| 5100k| 1089k| 13076k| 2.6 | 934M| 45 | - | 50 |8877 | 50 | 15 | 24 |3000k|8199 | 0.000000e+00 | -- | Inf
1039.21/1039.27 c 1039s| 5110k| 1091k| 13101k| 2.6 | 935M| 45 | - | 50 |5298 | 0 | 0 | 24 |3006k|8211 | 0.000000e+00 | -- | Inf
1041.51/1041.55 c 1042s| 5120k| 1092k| 13126k| 2.6 | 937M| 45 | 6 | 50 |5100 | 50 | 15 | 24 |3013k|8217 | 0.000000e+00 | -- | Inf
1043.72/1043.73 c 1044s| 5130k| 1094k| 13152k| 2.6 | 939M| 45 | - | 50 |6332 | 50 | 15 | 24 |3019k|8224 | 0.000000e+00 | -- | Inf
1045.82/1045.83 c 1046s| 5140k| 1096k| 13177k| 2.6 | 941M| 45 | 6 | 50 |7426 | 50 | 15 | 24 |3025k|8233 | 0.000000e+00 | -- | Inf
1048.12/1048.14 c 1048s| 5150k| 1098k| 13203k| 2.6 | 942M| 45 | - | 50 |7214 | 50 | 15 | 24 |3031k|8243 | 0.000000e+00 | -- | Inf
1050.52/1050.51 c 1051s| 5160k| 1100k| 13229k| 2.6 | 944M| 45 | 6 | 50 |6037 | 50 | 15 | 24 |3037k|8251 | 0.000000e+00 | -- | Inf
1052.72/1052.72 c 1053s| 5170k| 1101k| 13254k| 2.6 | 945M| 45 | 6 | 50 |6103 | 50 | 15 | 24 |3043k|8258 | 0.000000e+00 | -- | Inf
1055.02/1055.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1055.02/1055.04 c 1055s| 5180k| 1103k| 13279k| 2.6 | 947M| 45 | 6 | 50 |6939 | 50 | 15 | 24 |3050k|8270 | 0.000000e+00 | -- | Inf
1057.12/1057.17 c 1057s| 5190k| 1105k| 13305k| 2.6 | 949M| 45 | - | 50 |7478 | 50 | 15 | 24 |3056k|8276 | 0.000000e+00 | -- | Inf
1059.42/1059.49 c 1059s| 5200k| 1107k| 13330k| 2.6 | 951M| 45 | - | 50 |6743 | 50 | 15 | 24 |3062k|8278 | 0.000000e+00 | -- | Inf
1061.72/1061.79 c 1062s| 5210k| 1108k| 13356k| 2.6 | 952M| 45 | 6 | 50 |6329 | 50 | 15 | 24 |3068k|8281 | 0.000000e+00 | -- | Inf
1064.01/1064.04 c 1064s| 5220k| 1110k| 13382k| 2.6 | 954M| 45 | - | 50 |6295 | 50 | 15 | 24 |3074k|8286 | 0.000000e+00 | -- | Inf
1066.31/1066.34 c 1066s| 5230k| 1112k| 13407k| 2.6 | 955M| 45 | 6 | 50 |5961 | 50 | 15 | 24 |3080k|8299 | 0.000000e+00 | -- | Inf
1068.41/1068.44 c 1068s| 5240k| 1114k| 13433k| 2.6 | 957M| 45 | 6 | 50 |6856 | 50 | 15 | 24 |3086k|8310 | 0.000000e+00 | -- | Inf
1070.62/1070.65 c 1071s| 5250k| 1115k| 13459k| 2.6 | 959M| 45 | 6 | 50 |6301 | 50 | 15 | 24 |3093k|8314 | 0.000000e+00 | -- | Inf
1072.92/1072.93 c 1073s| 5260k| 1117k| 13484k| 2.6 | 960M| 45 | 6 | 50 |5671 | 50 | 15 | 24 |3099k|8317 | 0.000000e+00 | -- | Inf
1075.11/1075.11 c 1075s| 5270k| 1119k| 13509k| 2.6 | 962M| 45 | - | 50 |5436 | 50 | 15 | 24 |3105k|8327 | 0.000000e+00 | -- | Inf
1077.31/1077.30 c 1077s| 5280k| 1121k| 13535k| 2.6 | 964M| 45 | - | 50 |6164 | 50 | 15 | 24 |3111k|8331 | 0.000000e+00 | -- | Inf
1079.51/1079.57 c 1080s| 5290k| 1122k| 13560k| 2.6 | 966M| 45 | 6 | 50 |5709 | 50 | 15 | 24 |3117k|8341 | 0.000000e+00 | -- | Inf
1081.71/1081.77 c 1082s| 5300k| 1124k| 13585k| 2.6 | 967M| 45 | - | 50 |5276 | 0 | 0 | 24 |3123k|8345 | 0.000000e+00 | -- | Inf
1083.92/1083.92 c 1084s| 5310k| 1126k| 13610k| 2.6 | 969M| 45 | 6 | 50 |6120 | 50 | 15 | 24 |3129k|8349 | 0.000000e+00 | -- | Inf
1086.12/1086.15 c 1086s| 5320k| 1128k| 13636k| 2.6 | 971M| 45 | - | 50 |6775 | 50 | 15 | 24 |3136k|8359 | 0.000000e+00 | -- | Inf
1088.41/1088.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1088.41/1088.40 c 1088s| 5330k| 1129k| 13662k| 2.6 | 973M| 45 | 6 | 50 |7205 | 50 | 15 | 24 |3142k|8367 | 0.000000e+00 | -- | Inf
1090.71/1090.76 c 1091s| 5340k| 1131k| 13687k| 2.6 | 974M| 45 | 6 | 50 |5863 | 50 | 15 | 24 |3148k|8373 | 0.000000e+00 | -- | Inf
1092.61/1092.65 c 1093s| 5350k| 1134k| 13712k| 2.6 | 977M| 45 | - | 50 |8024 | 50 | 15 | 24 |3154k|8382 | 0.000000e+00 | -- | Inf
1094.92/1094.98 c 1095s| 5360k| 1135k| 13738k| 2.6 | 978M| 45 | - | 50 |8761 | 50 | 15 | 24 |3160k|8389 | 0.000000e+00 | -- | Inf
1097.42/1097.44 c 1097s| 5370k| 1137k| 13764k| 2.6 | 980M| 45 | 6 | 50 |7031 | 50 | 15 | 24 |3166k|8396 | 0.000000e+00 | -- | Inf
1099.82/1099.85 c 1100s| 5380k| 1139k| 13789k| 2.6 | 981M| 45 | 6 | 50 |5935 | 50 | 15 | 24 |3172k|8403 | 0.000000e+00 | -- | Inf
1101.92/1101.95 c 1102s| 5390k| 1141k| 13816k| 2.6 | 983M| 45 | 6 | 50 |7940 | 50 | 15 | 24 |3179k|8417 | 0.000000e+00 | -- | Inf
1104.01/1104.09 c 1104s| 5400k| 1143k| 13842k| 2.6 | 985M| 45 | 6 | 50 |8880 | 50 | 15 | 24 |3185k|8424 | 0.000000e+00 | -- | Inf
1106.53/1106.59 c 1107s| 5410k| 1144k| 13867k| 2.6 | 987M| 45 | 6 | 50 |6897 | 50 | 15 | 24 |3191k|8437 | 0.000000e+00 | -- | Inf
1108.73/1108.76 c 1109s| 5420k| 1146k| 13893k| 2.6 | 989M| 45 | 6 | 50 |8343 | 50 | 15 | 24 |3197k|8446 | 0.000000e+00 | -- | Inf
1111.11/1111.17 c 1111s| 5430k| 1148k| 13919k| 2.6 | 990M| 45 | - | 50 |7141 | 0 | 0 | 24 |3203k|8452 | 0.000000e+00 | -- | Inf
1113.52/1113.52 c 1114s| 5440k| 1149k| 13944k| 2.6 | 992M| 45 | - | 50 |6778 | 50 | 15 | 24 |3209k|8456 | 0.000000e+00 | -- | Inf
1115.82/1115.86 c 1116s| 5450k| 1151k| 13970k| 2.6 | 993M| 45 | 6 | 50 |5933 | 50 | 15 | 24 |3216k|8462 | 0.000000e+00 | -- | Inf
1117.81/1117.89 c 1118s| 5460k| 1153k| 13997k| 2.6 | 995M| 45 | 6 | 50 |8176 | 50 | 15 | 24 |3223k|8469 | 0.000000e+00 | -- | Inf
1120.32/1120.31 c 1120s| 5470k| 1154k| 14024k| 2.6 | 997M| 45 | 6 | 50 |7396 | 50 | 15 | 24 |3230k|8476 | 0.000000e+00 | -- | Inf
1122.52/1122.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1122.52/1122.50 c 1122s| 5480k| 1156k| 14050k| 2.6 | 999M| 45 | 6 | 50 |7823 | 50 | 15 | 24 |3236k|8482 | 0.000000e+00 | -- | Inf
1124.32/1124.35 c 1124s| 5490k| 1159k| 14076k| 2.6 |1001M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |3241k|8487 | 0.000000e+00 | -- | Inf
1126.62/1126.64 c 1127s| 5500k| 1161k| 14102k| 2.6 |1003M| 45 | - | 50 | 10k| 50 | 15 | 24 |3247k|8494 | 0.000000e+00 | -- | Inf
1128.82/1128.88 c 1129s| 5510k| 1164k| 14129k| 2.6 |1005M| 45 | - | 50 | 11k| 0 | 0 | 24 |3253k|8499 | 0.000000e+00 | -- | Inf
1131.12/1131.15 c 1131s| 5520k| 1166k| 14156k| 2.6 |1008M| 45 | 6 | 50 | 12k| 50 | 15 | 24 |3259k|8501 | 0.000000e+00 | -- | Inf
1133.72/1133.78 c 1134s| 5530k| 1168k| 14182k| 2.6 |1009M| 45 | 6 | 50 | 12k| 50 | 15 | 24 |3265k|8512 | 0.000000e+00 | -- | Inf
1136.52/1136.57 c 1137s| 5540k| 1170k| 14209k| 2.6 |1011M| 45 | - | 50 | 11k| 50 | 15 | 24 |3272k|8518 | 0.000000e+00 | -- | Inf
1139.22/1139.28 c 1139s| 5550k| 1172k| 14235k| 2.6 |1012M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |3278k|8521 | 0.000000e+00 | -- | Inf
1141.91/1141.98 c 1142s| 5560k| 1173k| 14262k| 2.6 |1014M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |3284k|8525 | 0.000000e+00 | -- | Inf
1144.91/1144.96 c 1145s| 5570k| 1175k| 14288k| 2.6 |1015M| 45 | 6 | 50 |7245 | 50 | 15 | 24 |3291k|8529 | 0.000000e+00 | -- | Inf
1147.32/1147.39 c 1147s| 5580k| 1176k| 14313k| 2.6 |1016M| 45 | 6 | 50 |6724 | 50 | 15 | 24 |3297k|8540 | 0.000000e+00 | -- | Inf
1149.82/1149.82 c 1150s| 5590k| 1178k| 14338k| 2.6 |1018M| 45 | - | 50 |5823 | 50 | 15 | 24 |3303k|8544 | 0.000000e+00 | -- | Inf
1152.22/1152.22 c 1152s| 5600k| 1179k| 14363k| 2.6 |1019M| 45 | 6 | 50 |5280 | 50 | 15 | 24 |3310k|8547 | 0.000000e+00 | -- | Inf
1154.22/1154.21 c 1154s| 5610k| 1182k| 14390k| 2.6 |1021M| 45 | - | 50 |7732 | 50 | 15 | 24 |3315k|8559 | 0.000000e+00 | -- | Inf
1156.52/1156.59 c 1157s| 5620k| 1183k| 14416k| 2.6 |1023M| 45 | 6 | 50 |6467 | 50 | 15 | 24 |3321k|8561 | 0.000000e+00 | -- | Inf
1158.92/1158.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1158.92/1158.98 c 1159s| 5630k| 1185k| 14441k| 2.6 |1024M| 45 | 6 | 50 |5303 | 50 | 15 | 24 |3328k|8567 | 0.000000e+00 | -- | Inf
1161.12/1161.16 c 1161s| 5640k| 1187k| 14467k| 2.6 |1026M| 45 | 6 | 50 |6092 | 50 | 15 | 24 |3334k|8576 | 0.000000e+00 | -- | Inf
1163.42/1163.48 c 1163s| 5650k| 1188k| 14492k| 2.6 |1028M| 45 | - | 50 |5998 | 50 | 15 | 24 |3340k|8582 | 0.000000e+00 | -- | Inf
1165.62/1165.60 c 1166s| 5660k| 1190k| 14518k| 2.6 |1030M| 45 | 6 | 50 |8185 | 50 | 15 | 24 |3346k|8590 | 0.000000e+00 | -- | Inf
1168.12/1168.12 c 1168s| 5670k| 1192k| 14543k| 2.6 |1031M| 45 | 6 | 50 |7244 | 50 | 15 | 24 |3352k|8593 | 0.000000e+00 | -- | Inf
1170.42/1170.49 c 1170s| 5680k| 1194k| 14569k| 2.6 |1033M| 45 | 6 | 50 |5835 | 50 | 15 | 24 |3358k|8599 | 0.000000e+00 | -- | Inf
1172.22/1172.28 c 1172s| 5690k| 1197k| 14595k| 2.6 |1035M| 45 | 6 | 50 |7999 | 50 | 15 | 24 |3363k|8603 | 0.000000e+00 | -- | Inf
1174.32/1174.39 c 1174s| 5700k| 1200k| 14622k| 2.6 |1038M| 45 | - | 50 |8946 | 50 | 15 | 24 |3369k|8608 | 0.000000e+00 | -- | Inf
1176.62/1176.61 c 1177s| 5710k| 1202k| 14648k| 2.6 |1040M| 45 | 6 | 50 |9750 | 50 | 15 | 24 |3375k|8613 | 0.000000e+00 | -- | Inf
1178.82/1178.85 c 1179s| 5720k| 1204k| 14675k| 2.6 |1042M| 45 | - | 50 | 10k| 50 | 15 | 24 |3381k|8615 | 0.000000e+00 | -- | Inf
1181.22/1181.29 c 1181s| 5730k| 1206k| 14702k| 2.6 |1043M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |3387k|8625 | 0.000000e+00 | -- | Inf
1183.53/1183.59 c 1184s| 5740k| 1208k| 14730k| 2.6 |1045M| 45 | - | 50 | 10k| 50 | 15 | 24 |3393k|8633 | 0.000000e+00 | -- | Inf
1186.12/1186.14 c 1186s| 5750k| 1210k| 14756k| 2.6 |1047M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |3399k|8640 | 0.000000e+00 | -- | Inf
1188.72/1188.73 c 1189s| 5760k| 1212k| 14782k| 2.6 |1049M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |3405k|8650 | 0.000000e+00 | -- | Inf
1191.12/1191.20 c 1191s| 5770k| 1214k| 14808k| 2.6 |1050M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |3411k|8661 | 0.000000e+00 | -- | Inf
1193.43/1193.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1193.43/1193.48 c 1193s| 5780k| 1216k| 14834k| 2.6 |1053M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |3417k|8665 | 0.000000e+00 | -- | Inf
1196.02/1196.06 c 1196s| 5790k| 1218k| 14861k| 2.6 |1054M| 45 | - | 50 | 11k| 50 | 15 | 24 |3424k|8669 | 0.000000e+00 | -- | Inf
1198.62/1198.61 c 1199s| 5800k| 1220k| 14888k| 2.6 |1056M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |3430k|8674 | 0.000000e+00 | -- | Inf
1201.23/1201.27 c 1201s| 5810k| 1221k| 14914k| 2.6 |1058M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |3436k|8679 | 0.000000e+00 | -- | Inf
1204.02/1204.08 c 1204s| 5820k| 1223k| 14940k| 2.6 |1059M| 45 | - | 50 | 11k| 50 | 15 | 24 |3442k|8681 | 0.000000e+00 | -- | Inf
1207.03/1207.05 c 1207s| 5830k| 1224k| 14966k| 2.6 |1060M| 45 | 6 | 50 |7079 | 50 | 15 | 24 |3449k|8697 | 0.000000e+00 | -- | Inf
1209.52/1209.51 c 1210s| 5840k| 1226k| 14991k| 2.6 |1062M| 45 | 6 | 50 |7233 | 50 | 15 | 24 |3455k|8707 | 0.000000e+00 | -- | Inf
1211.92/1211.92 c 1212s| 5850k| 1228k| 15017k| 2.6 |1063M| 45 | - | 50 |7033 | 50 | 15 | 24 |3461k|8718 | 0.000000e+00 | -- | Inf
1214.42/1214.41 c 1214s| 5860k| 1229k| 15043k| 2.6 |1065M| 45 | 6 | 50 |7065 | 50 | 15 | 24 |3468k|8723 | 0.000000e+00 | -- | Inf
1216.92/1216.91 c 1217s| 5870k| 1231k| 15068k| 2.6 |1066M| 45 | 6 | 50 |5579 | 50 | 15 | 24 |3474k|8728 | 0.000000e+00 | -- | Inf
1219.23/1219.28 c 1219s| 5880k| 1233k| 15093k| 2.6 |1068M| 45 | - | 50 |5488 | 50 | 15 | 24 |3480k|8732 | 0.000000e+00 | -- | Inf
1221.42/1221.45 c 1221s| 5890k| 1234k| 15119k| 2.6 |1070M| 45 | 6 | 50 |7319 | 50 | 15 | 24 |3487k|8737 | 0.000000e+00 | -- | Inf
1223.82/1223.84 c 1224s| 5900k| 1236k| 15145k| 2.6 |1071M| 45 | 6 | 50 |6816 | 50 | 15 | 24 |3493k|8742 | 0.000000e+00 | -- | Inf
1226.22/1226.29 c 1226s| 5910k| 1238k| 15171k| 2.6 |1073M| 45 | - | 50 |5986 | 50 | 15 | 24 |3499k|8752 | 0.000000e+00 | -- | Inf
1228.42/1228.49 c 1228s| 5920k| 1239k| 15196k| 2.6 |1075M| 45 | - | 50 |6860 | 50 | 15 | 24 |3505k|8757 | 0.000000e+00 | -- | Inf
1231.02/1231.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1231.02/1231.04 c 1231s| 5930k| 1241k| 15222k| 2.6 |1076M| 45 | - | 50 |6239 | 50 | 15 | 24 |3512k|8764 | 0.000000e+00 | -- | Inf
1233.42/1233.44 c 1233s| 5940k| 1243k| 15247k| 2.6 |1078M| 45 | 6 | 50 |5578 | 50 | 15 | 24 |3518k|8770 | 0.000000e+00 | -- | Inf
1235.42/1235.44 c 1235s| 5950k| 1244k| 15273k| 2.6 |1080M| 45 | 6 | 50 |7299 | 50 | 15 | 24 |3524k|8776 | 0.000000e+00 | -- | Inf
1237.72/1237.75 c 1238s| 5960k| 1246k| 15299k| 2.6 |1082M| 45 | 6 | 50 |7834 | 50 | 15 | 24 |3530k|8780 | 0.000000e+00 | -- | Inf
1240.02/1240.05 c 1240s| 5970k| 1248k| 15325k| 2.6 |1083M| 45 | - | 50 |8118 | 50 | 15 | 24 |3536k|8786 | 0.000000e+00 | -- | Inf
1242.32/1242.40 c 1242s| 5980k| 1250k| 15351k| 2.6 |1085M| 45 | - | 50 |9461 | 50 | 15 | 24 |3543k|8793 | 0.000000e+00 | -- | Inf
1244.52/1244.57 c 1245s| 5990k| 1252k| 15376k| 2.6 |1087M| 45 | - | 50 |9968 | 50 | 15 | 24 |3548k|8801 | 0.000000e+00 | -- | Inf
1246.82/1246.84 c 1247s| 6000k| 1254k| 15401k| 2.6 |1089M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |3554k|8806 | 0.000000e+00 | -- | Inf
1249.02/1249.06 c 1249s| 6010k| 1257k| 15426k| 2.6 |1092M| 45 | 6 | 50 | 12k| 50 | 15 | 24 |3559k|8811 | 0.000000e+00 | -- | Inf
1251.62/1251.63 c 1252s| 6020k| 1259k| 15451k| 2.6 |1093M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |3565k|8816 | 0.000000e+00 | -- | Inf
1254.22/1254.26 c 1254s| 6030k| 1260k| 15477k| 2.6 |1095M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |3572k|8821 | 0.000000e+00 | -- | Inf
1257.12/1257.12 c 1257s| 6040k| 1262k| 15502k| 2.6 |1096M| 45 | 6 | 50 |7626 | 50 | 15 | 24 |3578k|8827 | 0.000000e+00 | -- | Inf
1259.72/1259.79 c 1260s| 6050k| 1263k| 15528k| 2.6 |1097M| 45 | 6 | 50 |5761 | 50 | 15 | 24 |3584k|8832 | 0.000000e+00 | -- | Inf
1262.12/1262.16 c 1262s| 6060k| 1265k| 15553k| 2.6 |1098M| 45 | 6 | 50 |5392 | 50 | 15 | 24 |3591k|8837 | 0.000000e+00 | -- | Inf
1264.32/1264.36 c 1264s| 6070k| 1267k| 15579k| 2.6 |1100M| 45 | 6 | 50 |6053 | 50 | 15 | 24 |3597k|8842 | 0.000000e+00 | -- | Inf
1266.62/1266.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1266.62/1266.61 c 1267s| 6080k| 1269k| 15605k| 2.6 |1102M| 45 | - | 50 |7046 | 50 | 15 | 24 |3603k|8851 | 0.000000e+00 | -- | Inf
1269.12/1269.13 c 1269s| 6090k| 1270k| 15631k| 2.6 |1104M| 45 | - | 50 |6086 | 50 | 15 | 24 |3609k|8859 | 0.000000e+00 | -- | Inf
1271.32/1271.36 c 1271s| 6100k| 1272k| 15657k| 2.6 |1106M| 45 | 6 | 50 |6871 | 50 | 15 | 24 |3615k|8865 | 0.000000e+00 | -- | Inf
1273.83/1273.83 c 1274s| 6110k| 1274k| 15682k| 2.6 |1107M| 45 | - | 50 |5405 | 0 | 0 | 24 |3622k|8871 | 0.000000e+00 | -- | Inf
1276.12/1276.13 c 1276s| 6120k| 1275k| 15708k| 2.6 |1108M| 45 | 6 | 50 |5555 | 50 | 15 | 24 |3628k|8874 | 0.000000e+00 | -- | Inf
1278.42/1278.40 c 1278s| 6130k| 1277k| 15733k| 2.6 |1110M| 45 | - | 50 |6125 | 50 | 15 | 24 |3634k|8877 | 0.000000e+00 | -- | Inf
1280.72/1280.77 c 1281s| 6140k| 1279k| 15758k| 2.6 |1112M| 45 | 6 | 50 |6057 | 50 | 15 | 24 |3640k|8884 | 0.000000e+00 | -- | Inf
1282.92/1282.98 c 1283s| 6150k| 1280k| 15783k| 2.6 |1114M| 45 | 6 | 50 |6134 | 50 | 15 | 24 |3646k|8888 | 0.000000e+00 | -- | Inf
1285.42/1285.40 c 1285s| 6160k| 1282k| 15808k| 2.6 |1115M| 45 | 6 | 50 |5442 | 50 | 15 | 24 |3653k|8896 | 0.000000e+00 | -- | Inf
1287.62/1287.64 c 1288s| 6170k| 1283k| 15833k| 2.6 |1117M| 45 | 6 | 50 |6226 | 50 | 15 | 24 |3659k|8900 | 0.000000e+00 | -- | Inf
1289.93/1289.96 c 1290s| 6180k| 1285k| 15859k| 2.6 |1118M| 45 | 6 | 50 |6154 | 50 | 15 | 24 |3665k|8909 | 0.000000e+00 | -- | Inf
1292.32/1292.31 c 1292s| 6190k| 1286k| 15884k| 2.6 |1120M| 45 | - | 50 |5749 | 50 | 15 | 24 |3671k|8911 | 0.000000e+00 | -- | Inf
1294.63/1294.61 c 1295s| 6200k| 1288k| 15910k| 2.6 |1122M| 45 | 6 | 50 |6248 | 50 | 15 | 24 |3678k|8920 | 0.000000e+00 | -- | Inf
1296.72/1296.71 c 1297s| 6210k| 1290k| 15936k| 2.6 |1124M| 45 | - | 50 |7519 | 50 | 15 | 24 |3684k|8927 | 0.000000e+00 | -- | Inf
1299.22/1299.25 c 1299s| 6220k| 1292k| 15962k| 2.6 |1125M| 45 | - | 50 |5660 | 50 | 15 | 24 |3690k|8930 | 0.000000e+00 | -- | Inf
1301.43/1301.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1301.43/1301.49 c 1301s| 6230k| 1293k| 15989k| 2.6 |1127M| 45 | - | 50 |7092 | 50 | 15 | 24 |3696k|8937 | 0.000000e+00 | -- | Inf
1303.82/1303.86 c 1304s| 6240k| 1295k| 16014k| 2.6 |1129M| 45 | - | 50 |7455 | 50 | 15 | 24 |3703k|8945 | 0.000000e+00 | -- | Inf
1306.32/1306.35 c 1306s| 6250k| 1297k| 16039k| 2.6 |1130M| 45 | - | 50 |6376 | 0 | 0 | 24 |3709k|8951 | 0.000000e+00 | -- | Inf
1308.52/1308.53 c 1309s| 6260k| 1298k| 16066k| 2.6 |1132M| 45 | 6 | 50 |8153 | 50 | 15 | 24 |3715k|8958 | 0.000000e+00 | -- | Inf
1311.23/1311.23 c 1311s| 6270k| 1300k| 16090k| 2.6 |1133M| 45 | 6 | 50 |5746 | 50 | 15 | 24 |3722k|8961 | 0.000000e+00 | -- | Inf
1313.53/1313.52 c 1314s| 6280k| 1301k| 16115k| 2.6 |1135M| 45 | - | 50 |5707 | 50 | 15 | 24 |3728k|8968 | 0.000000e+00 | -- | Inf
1315.52/1315.58 c 1316s| 6290k| 1304k| 16141k| 2.6 |1137M| 45 | - | 50 |7883 | 50 | 15 | 24 |3734k|8975 | 0.000000e+00 | -- | Inf
1318.02/1318.00 c 1318s| 6300k| 1305k| 16167k| 2.6 |1139M| 45 | 6 | 50 |8905 | 50 | 15 | 24 |3740k|8979 | 0.000000e+00 | -- | Inf
1320.32/1320.35 c 1320s| 6310k| 1307k| 16192k| 2.6 |1141M| 45 | 6 | 50 |8914 | 50 | 15 | 24 |3747k|8986 | 0.000000e+00 | -- | Inf
1322.62/1322.69 c 1323s| 6320k| 1309k| 16218k| 2.6 |1143M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |3753k|8997 | 0.000000e+00 | -- | Inf
1325.33/1325.36 c 1325s| 6330k| 1311k| 16242k| 2.6 |1144M| 45 | 6 | 50 |8438 | 50 | 15 | 24 |3759k|9005 | 0.000000e+00 | -- | Inf
1327.93/1327.94 c 1328s| 6340k| 1313k| 16268k| 2.6 |1146M| 45 | 6 | 50 |6570 | 50 | 15 | 24 |3765k|9012 | 0.000000e+00 | -- | Inf
1330.03/1330.08 c 1330s| 6350k| 1314k| 16294k| 2.6 |1148M| 45 | 6 | 50 |9377 | 50 | 15 | 24 |3771k|9021 | 0.000000e+00 | -- | Inf
1332.62/1332.60 c 1333s| 6360k| 1316k| 16319k| 2.6 |1150M| 45 | - | 50 |9045 | 50 | 15 | 24 |3777k|9025 | 0.000000e+00 | -- | Inf
1335.03/1335.02 c 1335s| 6370k| 1318k| 16345k| 2.6 |1151M| 45 | 6 | 50 |7380 | 50 | 15 | 24 |3783k|9031 | 0.000000e+00 | -- | Inf
1337.42/1337.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1337.42/1337.40 c 1337s| 6380k| 1320k| 16371k| 2.6 |1153M| 45 | 6 | 50 |7269 | 50 | 15 | 24 |3789k|9037 | 0.000000e+00 | -- | Inf
1339.92/1339.92 c 1340s| 6390k| 1321k| 16396k| 2.6 |1154M| 45 | 6 | 50 |5925 | 50 | 15 | 24 |3795k|9042 | 0.000000e+00 | -- | Inf
1342.33/1342.30 c 1342s| 6400k| 1323k| 16421k| 2.6 |1156M| 45 | 6 | 50 |6010 | 50 | 15 | 24 |3802k|9051 | 0.000000e+00 | -- | Inf
1344.62/1344.67 c 1345s| 6410k| 1325k| 16447k| 2.6 |1157M| 45 | 6 | 50 |5623 | 50 | 15 | 24 |3808k|9057 | 0.000000e+00 | -- | Inf
1346.92/1346.93 c 1347s| 6420k| 1327k| 16473k| 2.6 |1159M| 45 | - | 50 |6245 | 50 | 15 | 24 |3814k|9068 | 0.000000e+00 | -- | Inf
1349.22/1349.26 c 1349s| 6430k| 1328k| 16498k| 2.6 |1161M| 45 | 6 | 50 |6075 | 50 | 15 | 24 |3820k|9075 | 0.000000e+00 | -- | Inf
1351.62/1351.64 c 1352s| 6440k| 1330k| 16524k| 2.6 |1162M| 45 | 6 | 50 |5664 | 50 | 15 | 24 |3827k|9083 | 0.000000e+00 | -- | Inf
1353.93/1353.98 c 1354s| 6450k| 1331k| 16550k| 2.6 |1164M| 45 | - | 50 |6545 | 50 | 15 | 24 |3833k|9089 | 0.000000e+00 | -- | Inf
1356.33/1356.30 c 1356s| 6460k| 1333k| 16575k| 2.6 |1166M| 45 | 6 | 50 |6053 | 50 | 15 | 24 |3840k|9102 | 0.000000e+00 | -- | Inf
1358.73/1358.70 c 1359s| 6470k| 1335k| 16600k| 2.6 |1167M| 45 | 6 | 50 |5487 | 50 | 15 | 24 |3846k|9106 | 0.000000e+00 | -- | Inf
1361.12/1361.16 c 1361s| 6480k| 1336k| 16625k| 2.6 |1169M| 45 | 6 | 50 |5133 | 50 | 15 | 24 |3852k|9112 | 0.000000e+00 | -- | Inf
1363.43/1363.47 c 1363s| 6490k| 1338k| 16650k| 2.6 |1170M| 45 | 6 | 50 |6096 | 50 | 15 | 24 |3858k|9118 | 0.000000e+00 | -- | Inf
1365.83/1365.85 c 1366s| 6500k| 1339k| 16675k| 2.6 |1172M| 45 | 6 | 50 |6160 | 50 | 15 | 24 |3865k|9121 | 0.000000e+00 | -- | Inf
1368.12/1368.10 c 1368s| 6510k| 1341k| 16701k| 2.6 |1174M| 45 | - | 50 |7495 | 50 | 15 | 24 |3871k|9126 | 0.000000e+00 | -- | Inf
1370.53/1370.59 c 1371s| 6520k| 1342k| 16727k| 2.6 |1175M| 45 | 6 | 50 |5743 | 50 | 15 | 24 |3878k|9137 | 0.000000e+00 | -- | Inf
1372.73/1372.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1372.73/1372.72 c 1373s| 6530k| 1344k| 16752k| 2.6 |1177M| 45 | - | 50 |7115 | 50 | 15 | 24 |3884k|9143 | 0.000000e+00 | -- | Inf
1375.03/1375.00 c 1375s| 6540k| 1346k| 16778k| 2.6 |1179M| 45 | - | 50 |7989 | 50 | 15 | 24 |3890k|9148 | 0.000000e+00 | -- | Inf
1377.42/1377.49 c 1377s| 6550k| 1348k| 16804k| 2.6 |1181M| 45 | - | 50 |7134 | 50 | 15 | 24 |3896k|9151 | 0.000000e+00 | -- | Inf
1379.72/1379.78 c 1380s| 6560k| 1349k| 16828k| 2.6 |1182M| 45 | 6 | 50 |7336 | 50 | 15 | 24 |3902k|9157 | 0.000000e+00 | -- | Inf
1382.13/1382.12 c 1382s| 6570k| 1351k| 16854k| 2.6 |1184M| 45 | 6 | 50 |7926 | 50 | 15 | 24 |3908k|9166 | 0.000000e+00 | -- | Inf
1384.62/1384.67 c 1385s| 6580k| 1353k| 16880k| 2.6 |1186M| 45 | 6 | 50 |6817 | 50 | 15 | 24 |3915k|9171 | 0.000000e+00 | -- | Inf
1386.72/1386.70 c 1387s| 6590k| 1355k| 16906k| 2.6 |1188M| 45 | 6 | 50 |8624 | 50 | 15 | 24 |3920k|9174 | 0.000000e+00 | -- | Inf
1389.03/1389.05 c 1389s| 6600k| 1357k| 16930k| 2.6 |1190M| 45 | 6 | 50 |9338 | 50 | 15 | 24 |3927k|9182 | 0.000000e+00 | -- | Inf
1391.82/1391.86 c 1392s| 6610k| 1358k| 16955k| 2.6 |1190M| 45 | 6 | 50 |5739 | 50 | 15 | 24 |3933k|9187 | 0.000000e+00 | -- | Inf
1394.22/1394.21 c 1394s| 6620k| 1360k| 16980k| 2.6 |1192M| 45 | 6 | 50 |5898 | 50 | 15 | 24 |3939k|9193 | 0.000000e+00 | -- | Inf
1396.62/1396.68 c 1397s| 6630k| 1361k| 17006k| 2.6 |1193M| 45 | - | 50 |5149 | 50 | 15 | 24 |3945k|9198 | 0.000000e+00 | -- | Inf
1398.82/1398.89 c 1399s| 6640k| 1363k| 17031k| 2.6 |1195M| 45 | 6 | 50 |5697 | 50 | 15 | 24 |3951k|9203 | 0.000000e+00 | -- | Inf
1401.13/1401.17 c 1401s| 6650k| 1365k| 17056k| 2.6 |1197M| 45 | 6 | 50 |4892 | 50 | 15 | 24 |3957k|9208 | 0.000000e+00 | -- | Inf
1403.33/1403.37 c 1403s| 6660k| 1366k| 17081k| 2.6 |1199M| 45 | 6 | 50 |6367 | 50 | 15 | 24 |3964k|9213 | 0.000000e+00 | -- | Inf
1405.63/1405.65 c 1406s| 6670k| 1368k| 17107k| 2.6 |1200M| 45 | - | 50 |7006 | 50 | 15 | 24 |3970k|9215 | 0.000000e+00 | -- | Inf
1408.22/1408.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1408.22/1408.22 c 1408s| 6680k| 1369k| 17132k| 2.6 |1202M| 45 | 6 | 50 |5205 | 50 | 15 | 24 |3976k|9217 | 0.000000e+00 | -- | Inf
1410.52/1410.57 c 1411s| 6690k| 1371k| 17157k| 2.6 |1203M| 45 | 6 | 50 |5752 | 50 | 15 | 24 |3983k|9226 | 0.000000e+00 | -- | Inf
1412.83/1412.84 c 1413s| 6700k| 1373k| 17182k| 2.6 |1205M| 45 | - | 50 |5720 | 50 | 15 | 24 |3989k|9229 | 0.000000e+00 | -- | Inf
1414.93/1414.99 c 1415s| 6710k| 1374k| 17208k| 2.6 |1207M| 45 | - | 50 |7734 | 50 | 15 | 24 |3995k|9235 | 0.000000e+00 | -- | Inf
1417.33/1417.36 c 1417s| 6720k| 1376k| 17234k| 2.6 |1209M| 45 | 6 | 50 |8324 | 50 | 15 | 24 |4001k|9243 | 0.000000e+00 | -- | Inf
1419.73/1419.76 c 1420s| 6730k| 1378k| 17259k| 2.6 |1210M| 45 | 6 | 50 |7512 | 50 | 15 | 24 |4007k|9247 | 0.000000e+00 | -- | Inf
1422.23/1422.25 c 1422s| 6740k| 1379k| 17285k| 2.6 |1212M| 45 | 6 | 50 |6474 | 50 | 15 | 24 |4014k|9249 | 0.000000e+00 | -- | Inf
1424.63/1424.68 c 1425s| 6750k| 1381k| 17310k| 2.6 |1213M| 45 | - | 50 |5665 | 50 | 15 | 24 |4020k|9254 | 0.000000e+00 | -- | Inf
1426.83/1426.89 c 1427s| 6760k| 1383k| 17335k| 2.6 |1215M| 45 | - | 50 |6408 | 50 | 15 | 24 |4026k|9262 | 0.000000e+00 | -- | Inf
1428.83/1428.83 c 1429s| 6770k| 1386k| 17359k| 2.6 |1218M| 45 | 6 | 50 |8326 | 50 | 15 | 24 |4031k|9266 | 0.000000e+00 | -- | Inf
1431.03/1431.09 c 1431s| 6780k| 1388k| 17385k| 2.6 |1219M| 45 | 6 | 50 |8221 | 50 | 15 | 24 |4036k|9271 | 0.000000e+00 | -- | Inf
1433.33/1433.34 c 1433s| 6790k| 1390k| 17411k| 2.6 |1221M| 45 | - | 50 |8150 | 0 | 0 | 24 |4042k|9277 | 0.000000e+00 | -- | Inf
1435.83/1435.89 c 1436s| 6800k| 1392k| 17436k| 2.6 |1223M| 45 | 6 | 50 |8353 | 50 | 15 | 24 |4048k|9282 | 0.000000e+00 | -- | Inf
1438.22/1438.29 c 1438s| 6810k| 1394k| 17462k| 2.6 |1225M| 45 | - | 50 |9173 | 50 | 15 | 24 |4054k|9287 | 0.000000e+00 | -- | Inf
1440.83/1440.85 c 1441s| 6820k| 1396k| 17488k| 2.6 |1226M| 45 | - | 50 |7543 | 50 | 15 | 24 |4060k|9296 | 0.000000e+00 | -- | Inf
1443.33/1443.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1443.33/1443.38 c 1443s| 6830k| 1397k| 17512k| 2.6 |1228M| 45 | - | 50 |6682 | 0 | 0 | 24 |4066k|9303 | 0.000000e+00 | -- | Inf
1445.72/1445.75 c 1446s| 6840k| 1399k| 17538k| 2.6 |1229M| 45 | 6 | 50 |6763 | 50 | 15 | 24 |4073k|9317 | 0.000000e+00 | -- | Inf
1448.23/1448.28 c 1448s| 6850k| 1400k| 17563k| 2.6 |1231M| 45 | - | 50 |6558 | 50 | 15 | 24 |4079k|9320 | 0.000000e+00 | -- | Inf
1450.83/1450.87 c 1451s| 6860k| 1402k| 17588k| 2.6 |1232M| 45 | 6 | 50 |5736 | 50 | 15 | 24 |4085k|9325 | 0.000000e+00 | -- | Inf
1452.93/1452.97 c 1453s| 6870k| 1404k| 17613k| 2.6 |1234M| 45 | 6 | 50 |7341 | 50 | 15 | 24 |4091k|9337 | 0.000000e+00 | -- | Inf
1455.33/1455.35 c 1455s| 6880k| 1405k| 17639k| 2.6 |1236M| 45 | 6 | 50 |7328 | 50 | 15 | 24 |4098k|9343 | 0.000000e+00 | -- | Inf
1458.03/1458.06 c 1458s| 6890k| 1407k| 17665k| 2.6 |1237M| 45 | - | 50 |5570 | 50 | 15 | 24 |4104k|9354 | 0.000000e+00 | -- | Inf
1460.43/1460.48 c 1460s| 6900k| 1408k| 17690k| 2.6 |1239M| 45 | 6 | 50 |5165 | 50 | 15 | 24 |4110k|9359 | 0.000000e+00 | -- | Inf
1462.62/1462.63 c 1463s| 6910k| 1410k| 17715k| 2.6 |1241M| 45 | 6 | 50 |6615 | 50 | 15 | 24 |4116k|9368 | 0.000000e+00 | -- | Inf
1465.02/1465.06 c 1465s| 6920k| 1412k| 17741k| 2.6 |1242M| 45 | - | 50 |7012 | 50 | 15 | 24 |4122k|9378 | 0.000000e+00 | -- | Inf
1467.52/1467.52 c 1468s| 6930k| 1413k| 17766k| 2.6 |1244M| 45 | 6 | 50 |6014 | 50 | 15 | 24 |4129k|9384 | 0.000000e+00 | -- | Inf
1469.82/1469.88 c 1470s| 6940k| 1415k| 17791k| 2.6 |1245M| 45 | 6 | 50 |5936 | 50 | 15 | 24 |4135k|9389 | 0.000000e+00 | -- | Inf
1472.23/1472.21 c 1472s| 6950k| 1417k| 17816k| 2.6 |1247M| 45 | 6 | 50 |5787 | 50 | 15 | 24 |4141k|9396 | 0.000000e+00 | -- | Inf
1474.52/1474.58 c 1475s| 6960k| 1418k| 17842k| 2.6 |1249M| 45 | - | 50 |5456 | 50 | 15 | 24 |4147k|9404 | 0.000000e+00 | -- | Inf
1476.63/1476.68 c 1477s| 6970k| 1420k| 17868k| 2.6 |1251M| 45 | 6 | 50 |6765 | 50 | 15 | 24 |4153k|9411 | 0.000000e+00 | -- | Inf
1478.73/1478.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1478.73/1478.71 c 1479s| 6980k| 1423k| 17895k| 2.6 |1253M| 45 | 6 | 50 |8632 | 50 | 15 | 24 |4159k|9419 | 0.000000e+00 | -- | Inf
1480.82/1480.82 c 1481s| 6990k| 1425k| 17921k| 2.6 |1255M| 45 | 6 | 50 |8911 | 50 | 15 | 24 |4164k|9429 | 0.000000e+00 | -- | Inf
1483.13/1483.13 c 1483s| 7000k| 1428k| 17947k| 2.6 |1257M| 45 | 6 | 50 |8602 | 50 | 15 | 24 |4170k|9433 | 0.000000e+00 | -- | Inf
1485.42/1485.49 c 1485s| 7010k| 1430k| 17974k| 2.6 |1259M| 45 | - | 50 |9333 | 0 | 0 | 24 |4176k|9438 | 0.000000e+00 | -- | Inf
1487.73/1487.77 c 1488s| 7020k| 1432k| 18000k| 2.6 |1261M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4181k|9446 | 0.000000e+00 | -- | Inf
1490.23/1490.21 c 1490s| 7030k| 1434k| 18027k| 2.6 |1263M| 45 | - | 50 |9992 | 50 | 15 | 24 |4187k|9454 | 0.000000e+00 | -- | Inf
1492.63/1492.69 c 1493s| 7040k| 1436k| 18054k| 2.6 |1265M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4193k|9458 | 0.000000e+00 | -- | Inf
1495.33/1495.36 c 1495s| 7050k| 1438k| 18081k| 2.6 |1266M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4199k|9469 | 0.000000e+00 | -- | Inf
1498.14/1498.10 c 1498s| 7060k| 1439k| 18108k| 2.6 |1268M| 45 | - | 50 |9604 | 50 | 15 | 24 |4206k|9473 | 0.000000e+00 | -- | Inf
1500.73/1500.79 c 1501s| 7070k| 1441k| 18134k| 2.6 |1269M| 45 | 6 | 50 |9341 | 50 | 15 | 24 |4212k|9477 | 0.000000e+00 | -- | Inf
1503.33/1503.37 c 1503s| 7080k| 1443k| 18160k| 2.6 |1271M| 45 | - | 50 |8519 | 50 | 15 | 24 |4218k|9481 | 0.000000e+00 | -- | Inf
1505.63/1505.66 c 1506s| 7090k| 1445k| 18187k| 2.6 |1273M| 45 | - | 50 |8927 | 50 | 15 | 24 |4224k|9488 | 0.000000e+00 | -- | Inf
1507.73/1507.76 c 1508s| 7100k| 1447k| 18215k| 2.6 |1275M| 45 | - | 50 | 10k| 0 | 0 | 24 |4230k|9494 | 0.000000e+00 | -- | Inf
1510.13/1510.19 c 1510s| 7110k| 1449k| 18242k| 2.6 |1277M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4235k|9506 | 0.000000e+00 | -- | Inf
1512.72/1512.73 c 1513s| 7120k| 1451k| 18269k| 2.6 |1279M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4241k|9519 | 0.000000e+00 | -- | Inf
1515.23/1515.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1515.23/1515.28 c 1515s| 7130k| 1453k| 18297k| 2.6 |1281M| 45 | - | 50 | 11k| 50 | 15 | 24 |4247k|9525 | 0.000000e+00 | -- | Inf
1517.93/1517.96 c 1518s| 7140k| 1455k| 18324k| 2.6 |1283M| 45 | 6 | 50 | 12k| 50 | 15 | 24 |4254k|9533 | 0.000000e+00 | -- | Inf
1520.92/1520.95 c 1521s| 7150k| 1456k| 18350k| 2.6 |1284M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4260k|9536 | 0.000000e+00 | -- | Inf
1523.83/1523.86 c 1524s| 7160k| 1458k| 18375k| 2.6 |1284M| 45 | 6 | 50 |6209 | 50 | 15 | 24 |4266k|9540 | 0.000000e+00 | -- | Inf
1525.83/1525.80 c 1526s| 7170k| 1461k| 18402k| 2.6 |1287M| 45 | 6 | 50 |7206 | 50 | 15 | 24 |4272k|9544 | 0.000000e+00 | -- | Inf
1527.53/1527.58 c 1528s| 7180k| 1464k| 18428k| 2.6 |1289M| 45 | - | 50 |8283 | 50 | 15 | 24 |4276k|9551 | 0.000000e+00 | -- | Inf
1529.73/1529.70 c 1530s| 7190k| 1467k| 18454k| 2.6 |1291M| 45 | - | 50 |9461 | 50 | 15 | 24 |4282k|9556 | 0.000000e+00 | -- | Inf
1531.92/1531.91 c 1532s| 7200k| 1470k| 18481k| 2.6 |1294M| 45 | 6 | 50 |9849 | 50 | 15 | 24 |4287k|9563 | 0.000000e+00 | -- | Inf
1534.23/1534.20 c 1534s| 7210k| 1473k| 18507k| 2.6 |1295M| 45 | 6 | 50 |9151 | 50 | 15 | 24 |4292k|9567 | 0.000000e+00 | -- | Inf
1536.53/1536.50 c 1537s| 7220k| 1475k| 18533k| 2.6 |1298M| 45 | 6 | 50 |9810 | 50 | 15 | 24 |4298k|9571 | 0.000000e+00 | -- | Inf
1538.73/1538.74 c 1539s| 7230k| 1478k| 18559k| 2.6 |1300M| 45 | - | 50 | 10k| 50 | 15 | 24 |4303k|9578 | 0.000000e+00 | -- | Inf
1540.92/1540.99 c 1541s| 7240k| 1481k| 18586k| 2.6 |1302M| 45 | - | 50 | 11k| 50 | 15 | 24 |4309k|9591 | 0.000000e+00 | -- | Inf
1543.34/1543.39 c 1543s| 7250k| 1483k| 18612k| 2.6 |1304M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4314k|9597 | 0.000000e+00 | -- | Inf
1545.83/1545.89 c 1546s| 7260k| 1486k| 18637k| 2.6 |1305M| 45 | 6 | 50 |9332 | 50 | 15 | 24 |4320k|9607 | 0.000000e+00 | -- | Inf
1548.23/1548.26 c 1548s| 7270k| 1488k| 18663k| 2.6 |1307M| 45 | 6 | 50 |9434 | 50 | 15 | 24 |4325k|9613 | 0.000000e+00 | -- | Inf
1550.53/1550.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1550.53/1550.50 c 1551s| 7280k| 1490k| 18689k| 2.6 |1310M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4331k|9623 | 0.000000e+00 | -- | Inf
1553.14/1553.16 c 1553s| 7290k| 1493k| 18715k| 2.6 |1312M| 45 | - | 50 | 10k| 50 | 15 | 24 |4337k|9628 | 0.000000e+00 | -- | Inf
1555.83/1555.86 c 1556s| 7300k| 1495k| 18741k| 2.6 |1313M| 45 | - | 50 | 10k| 50 | 15 | 24 |4342k|9634 | 0.000000e+00 | -- | Inf
1558.23/1558.27 c 1558s| 7310k| 1497k| 18767k| 2.6 |1315M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4348k|9639 | 0.000000e+00 | -- | Inf
1560.84/1560.86 c 1561s| 7320k| 1499k| 18793k| 2.6 |1317M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4354k|9642 | 0.000000e+00 | -- | Inf
1563.33/1563.39 c 1563s| 7330k| 1502k| 18819k| 2.6 |1319M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4359k|9650 | 0.000000e+00 | -- | Inf
1566.13/1566.12 c 1566s| 7340k| 1504k| 18845k| 2.6 |1321M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4365k|9655 | 0.000000e+00 | -- | Inf
1568.73/1568.75 c 1569s| 7350k| 1506k| 18871k| 2.6 |1323M| 45 | - | 50 | 10k| 50 | 15 | 24 |4371k|9658 | 0.000000e+00 | -- | Inf
1571.22/1571.20 c 1571s| 7360k| 1508k| 18898k| 2.6 |1325M| 45 | - | 50 | 11k| 50 | 15 | 24 |4377k|9661 | 0.000000e+00 | -- | Inf
1573.63/1573.64 c 1574s| 7370k| 1510k| 18923k| 2.6 |1327M| 45 | - | 50 | 12k| 50 | 15 | 24 |4383k|9667 | 0.000000e+00 | -- | Inf
1576.13/1576.20 c 1576s| 7380k| 1513k| 18949k| 2.6 |1329M| 45 | - | 50 | 13k| 50 | 15 | 24 |4388k|9670 | 0.000000e+00 | -- | Inf
1579.03/1579.09 c 1579s| 7390k| 1515k| 18976k| 2.6 |1330M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4394k|9674 | 0.000000e+00 | -- | Inf
1581.53/1581.51 c 1582s| 7400k| 1516k| 19002k| 2.6 |1333M| 45 | 6 | 50 | 13k| 50 | 15 | 24 |4401k|9679 | 0.000000e+00 | -- | Inf
1584.03/1584.04 c 1584s| 7410k| 1518k| 19029k| 2.6 |1335M| 45 | 6 | 50 | 15k| 50 | 15 | 24 |4407k|9683 | 0.000000e+00 | -- | Inf
1586.73/1586.78 c 1587s| 7420k| 1521k| 19056k| 2.6 |1337M| 45 | - | 50 | 16k| 50 | 15 | 24 |4413k|9688 | 0.000000e+00 | -- | Inf
1590.12/1590.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1590.12/1590.12 c 1590s| 7430k| 1523k| 19081k| 2.6 |1338M| 45 | 6 | 50 | 12k| 50 | 15 | 24 |4419k|9692 | 0.000000e+00 | -- | Inf
1592.83/1592.85 c 1593s| 7440k| 1525k| 19108k| 2.6 |1340M| 45 | 6 | 50 | 12k| 50 | 15 | 24 |4425k|9697 | 0.000000e+00 | -- | Inf
1595.73/1595.74 c 1596s| 7450k| 1527k| 19133k| 2.6 |1341M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4430k|9701 | 0.000000e+00 | -- | Inf
1598.43/1598.42 c 1598s| 7460k| 1528k| 19159k| 2.6 |1343M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4437k|9707 | 0.000000e+00 | -- | Inf
1600.93/1600.90 c 1601s| 7470k| 1530k| 19185k| 2.6 |1345M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4442k|9711 | 0.000000e+00 | -- | Inf
1603.63/1603.63 c 1604s| 7480k| 1532k| 19211k| 2.6 |1347M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4449k|9713 | 0.000000e+00 | -- | Inf
1606.23/1606.25 c 1606s| 7490k| 1534k| 19239k| 2.6 |1349M| 45 | 6 | 50 | 12k| 50 | 15 | 24 |4455k|9717 | 0.000000e+00 | -- | Inf
1609.13/1609.18 c 1609s| 7500k| 1536k| 19265k| 2.6 |1350M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4461k|9721 | 0.000000e+00 | -- | Inf
1611.83/1611.87 c 1612s| 7510k| 1538k| 19291k| 2.6 |1352M| 45 | - | 50 | 11k| 50 | 15 | 24 |4466k|9726 | 0.000000e+00 | -- | Inf
1614.83/1614.83 c 1615s| 7520k| 1540k| 19317k| 2.6 |1354M| 45 | - | 50 | 10k| 50 | 15 | 24 |4473k|9730 | 0.000000e+00 | -- | Inf
1617.43/1617.40 c 1617s| 7530k| 1542k| 19344k| 2.6 |1355M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4479k|9733 | 0.000000e+00 | -- | Inf
1620.03/1620.02 c 1620s| 7540k| 1544k| 19369k| 2.6 |1357M| 45 | - | 50 | 12k| 50 | 15 | 24 |4484k|9740 | 0.000000e+00 | -- | Inf
1622.93/1622.97 c 1623s| 7550k| 1546k| 19395k| 2.6 |1359M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4490k|9744 | 0.000000e+00 | -- | Inf
1625.84/1625.83 c 1626s| 7560k| 1548k| 19421k| 2.6 |1361M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4496k|9751 | 0.000000e+00 | -- | Inf
1628.53/1628.59 c 1629s| 7570k| 1549k| 19448k| 2.6 |1363M| 45 | - | 50 | 12k| 50 | 15 | 24 |4503k|9757 | 0.000000e+00 | -- | Inf
1631.43/1631.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1631.43/1631.44 c 1631s| 7580k| 1551k| 19474k| 2.6 |1364M| 45 | - | 50 | 12k| 50 | 15 | 24 |4509k|9765 | 0.000000e+00 | -- | Inf
1634.43/1634.46 c 1634s| 7590k| 1553k| 19501k| 2.6 |1366M| 45 | - | 50 | 11k| 50 | 15 | 24 |4515k|9773 | 0.000000e+00 | -- | Inf
1637.53/1637.59 c 1638s| 7600k| 1554k| 19526k| 2.6 |1367M| 45 | - | 50 | 10k| 50 | 15 | 24 |4521k|9775 | 0.000000e+00 | -- | Inf
1640.14/1640.19 c 1640s| 7610k| 1556k| 19552k| 2.6 |1369M| 45 | - | 50 | 11k| 50 | 15 | 24 |4527k|9778 | 0.000000e+00 | -- | Inf
1643.13/1643.14 c 1643s| 7620k| 1558k| 19578k| 2.6 |1371M| 45 | - | 50 | 10k| 50 | 15 | 24 |4533k|9790 | 0.000000e+00 | -- | Inf
1645.93/1645.94 c 1646s| 7630k| 1560k| 19605k| 2.6 |1372M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4539k|9798 | 0.000000e+00 | -- | Inf
1649.03/1649.01 c 1649s| 7640k| 1561k| 19631k| 2.6 |1374M| 45 | - | 50 | 10k| 50 | 15 | 24 |4546k|9807 | 0.000000e+00 | -- | Inf
1652.03/1652.06 c 1652s| 7650k| 1563k| 19658k| 2.6 |1375M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4552k|9815 | 0.000000e+00 | -- | Inf
1655.03/1655.05 c 1655s| 7660k| 1564k| 19684k| 2.6 |1377M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4558k|9822 | 0.000000e+00 | -- | Inf
1657.83/1657.89 c 1658s| 7670k| 1566k| 19710k| 2.6 |1379M| 45 | - | 50 | 10k| 50 | 15 | 24 |4564k|9826 | 0.000000e+00 | -- | Inf
1660.53/1660.53 c 1661s| 7680k| 1568k| 19736k| 2.6 |1381M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4570k|9833 | 0.000000e+00 | -- | Inf
1663.14/1663.15 c 1663s| 7690k| 1570k| 19763k| 2.6 |1383M| 45 | - | 50 | 12k| 50 | 15 | 24 |4576k|9839 | 0.000000e+00 | -- | Inf
1666.33/1666.35 c 1666s| 7700k| 1571k| 19789k| 2.6 |1384M| 45 | - | 50 | 11k| 50 | 15 | 24 |4582k|9846 | 0.000000e+00 | -- | Inf
1669.13/1669.19 c 1669s| 7710k| 1573k| 19816k| 2.6 |1386M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4588k|9851 | 0.000000e+00 | -- | Inf
1671.73/1671.75 c 1672s| 7720k| 1575k| 19844k| 2.6 |1388M| 45 | - | 50 | 14k| 50 | 15 | 24 |4594k|9860 | 0.000000e+00 | -- | Inf
1674.73/1674.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1674.73/1674.77 c 1675s| 7730k| 1577k| 19871k| 2.6 |1390M| 45 | - | 50 | 13k| 50 | 15 | 24 |4601k|9868 | 0.000000e+00 | -- | Inf
1677.94/1677.93 c 1678s| 7740k| 1578k| 19898k| 2.6 |1391M| 45 | 6 | 50 | 12k| 50 | 15 | 24 |4607k|9878 | 0.000000e+00 | -- | Inf
1681.13/1681.19 c 1681s| 7750k| 1580k| 19924k| 2.6 |1392M| 45 | - | 50 | 10k| 50 | 15 | 24 |4613k|9889 | 0.000000e+00 | -- | Inf
1683.93/1683.98 c 1684s| 7760k| 1582k| 19950k| 2.6 |1393M| 45 | 6 | 50 |7799 | 50 | 15 | 24 |4620k|9896 | 0.000000e+00 | -- | Inf
1686.03/1686.07 c 1686s| 7770k| 1584k| 19977k| 2.6 |1396M| 45 | - | 50 | 10k| 50 | 15 | 24 |4625k|9900 | 0.000000e+00 | -- | Inf
1688.63/1688.68 c 1689s| 7780k| 1586k| 20005k| 2.6 |1398M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4631k|9910 | 0.000000e+00 | -- | Inf
1691.13/1691.16 c 1691s| 7790k| 1588k| 20033k| 2.6 |1400M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4637k|9919 | 0.000000e+00 | -- | Inf
1693.44/1693.48 c 1693s| 7800k| 1591k| 20059k| 2.6 |1402M| 45 | 6 | 50 | 12k| 50 | 15 | 24 |4642k|9927 | 0.000000e+00 | -- | Inf
1695.84/1695.88 c 1696s| 7810k| 1593k| 20085k| 2.6 |1404M| 45 | - | 50 | 14k| 50 | 15 | 24 |4648k|9931 | 0.000000e+00 | -- | Inf
1698.73/1698.77 c 1699s| 7820k| 1595k| 20112k| 2.6 |1406M| 45 | 6 | 50 | 14k| 50 | 15 | 24 |4653k|9939 | 0.000000e+00 | -- | Inf
1701.74/1701.72 c 1702s| 7830k| 1597k| 20137k| 2.6 |1408M| 45 | - | 50 | 14k| 50 | 15 | 24 |4659k|9947 | 0.000000e+00 | -- | Inf
1704.63/1704.68 c 1705s| 7840k| 1599k| 20163k| 2.6 |1410M| 45 | 6 | 50 | 14k| 50 | 15 | 24 |4665k|9951 | 0.000000e+00 | -- | Inf
1707.63/1707.63 c 1708s| 7850k| 1601k| 20189k| 2.6 |1412M| 45 | - | 50 | 15k| 0 | 0 | 24 |4671k|9954 | 0.000000e+00 | -- | Inf
1710.94/1710.99 c 1711s| 7860k| 1603k| 20215k| 2.6 |1413M| 45 | 6 | 50 | 12k| 50 | 15 | 24 |4677k|9965 | 0.000000e+00 | -- | Inf
1713.84/1713.86 c 1714s| 7870k| 1605k| 20243k| 2.6 |1415M| 45 | - | 50 | 12k| 50 | 15 | 24 |4683k|9975 | 0.000000e+00 | -- | Inf
1716.53/1716.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1716.53/1716.57 c 1717s| 7880k| 1607k| 20270k| 2.6 |1417M| 45 | 6 | 50 | 12k| 50 | 15 | 24 |4689k|9982 | 0.000000e+00 | -- | Inf
1719.93/1719.93 c 1720s| 7890k| 1608k| 20296k| 2.6 |1417M| 45 | 6 | 50 |9210 | 50 | 15 | 24 |4695k|9987 | 0.000000e+00 | -- | Inf
1722.74/1722.72 c 1723s| 7900k| 1610k| 20321k| 2.6 |1418M| 45 | - | 50 |6223 | 50 | 15 | 24 |4702k|9993 | 0.000000e+00 | -- | Inf
1725.33/1725.31 c 1725s| 7910k| 1611k| 20347k| 2.6 |1420M| 45 | - | 50 |5871 | 50 | 15 | 24 |4708k| 10k| 0.000000e+00 | -- | Inf
1727.83/1727.81 c 1728s| 7920k| 1613k| 20372k| 2.6 |1422M| 45 | - | 50 |6496 | 50 | 15 | 24 |4714k| 10k| 0.000000e+00 | -- | Inf
1729.94/1729.97 c 1730s| 7930k| 1615k| 20399k| 2.6 |1424M| 45 | - | 50 |8185 | 50 | 15 | 24 |4721k| 10k| 0.000000e+00 | -- | Inf
1732.54/1732.53 c 1733s| 7940k| 1616k| 20424k| 2.6 |1425M| 45 | - | 50 |7626 | 50 | 15 | 24 |4727k| 10k| 0.000000e+00 | -- | Inf
1734.94/1735.00 c 1735s| 7950k| 1618k| 20449k| 2.6 |1427M| 45 | 6 | 50 |7287 | 50 | 15 | 24 |4733k| 10k| 0.000000e+00 | -- | Inf
1737.64/1737.63 c 1738s| 7960k| 1620k| 20475k| 2.6 |1428M| 45 | - | 50 |6970 | 50 | 15 | 24 |4739k| 10k| 0.000000e+00 | -- | Inf
1739.93/1739.96 c 1740s| 7970k| 1621k| 20500k| 2.6 |1430M| 45 | 6 | 50 |8099 | 50 | 15 | 24 |4746k| 10k| 0.000000e+00 | -- | Inf
1742.54/1742.56 c 1743s| 7980k| 1623k| 20525k| 2.6 |1431M| 45 | 6 | 50 |5959 | 50 | 15 | 24 |4752k| 10k| 0.000000e+00 | -- | Inf
1744.64/1744.61 c 1745s| 7990k| 1625k| 20551k| 2.6 |1434M| 45 | 6 | 50 |8762 | 50 | 15 | 24 |4758k| 10k| 0.000000e+00 | -- | Inf
1746.94/1746.94 c 1747s| 8000k| 1627k| 20578k| 2.6 |1436M| 45 | - | 50 | 10k| 50 | 15 | 24 |4764k| 10k| 0.000000e+00 | -- | Inf
1749.93/1749.99 c 1750s| 8010k| 1628k| 20603k| 2.6 |1437M| 45 | 6 | 50 |5768 | 50 | 15 | 24 |4770k| 10k| 0.000000e+00 | -- | Inf
1752.63/1752.64 c 1753s| 8020k| 1630k| 20628k| 2.6 |1438M| 45 | - | 50 |5275 | 50 | 15 | 24 |4777k| 10k| 0.000000e+00 | -- | Inf
1755.13/1755.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1755.13/1755.19 c 1755s| 8030k| 1631k| 20653k| 2.6 |1440M| 45 | - | 50 |5332 | 50 | 15 | 24 |4783k| 10k| 0.000000e+00 | -- | Inf
1757.44/1757.45 c 1757s| 8040k| 1633k| 20679k| 2.6 |1441M| 45 | 6 | 50 |6351 | 50 | 15 | 24 |4789k| 10k| 0.000000e+00 | -- | Inf
1759.84/1759.86 c 1760s| 8050k| 1634k| 20705k| 2.6 |1443M| 45 | 6 | 50 |6866 | 50 | 15 | 24 |4796k| 10k| 0.000000e+00 | -- | Inf
1762.24/1762.24 c 1762s| 8060k| 1636k| 20731k| 2.6 |1445M| 45 | 6 | 50 |7616 | 50 | 15 | 24 |4802k| 10k| 0.000000e+00 | -- | Inf
1765.04/1765.03 c 1765s| 8070k| 1637k| 20756k| 2.6 |1446M| 45 | 6 | 50 |5484 | 50 | 15 | 24 |4808k| 10k| 0.000000e+00 | -- | Inf
1767.33/1767.33 c 1767s| 8080k| 1639k| 20781k| 2.6 |1448M| 45 | 6 | 50 |5970 | 50 | 15 | 24 |4814k| 10k| 0.000000e+00 | -- | Inf
1769.44/1769.42 c 1769s| 8090k| 1641k| 20807k| 2.6 |1450M| 45 | 6 | 50 |8165 | 50 | 15 | 24 |4820k| 10k| 0.000000e+00 | -- | Inf
1771.84/1771.86 c 1772s| 8100k| 1643k| 20834k| 2.6 |1452M| 45 | - | 50 |8457 | 50 | 15 | 24 |4826k| 10k| 0.000000e+00 | -- | Inf
1774.43/1774.41 c 1774s| 8110k| 1645k| 20859k| 2.6 |1453M| 45 | 6 | 50 |7864 | 50 | 15 | 24 |4832k| 10k| 0.000000e+00 | -- | Inf
1777.03/1777.08 c 1777s| 8120k| 1646k| 20885k| 2.6 |1455M| 45 | - | 50 |6314 | 50 | 15 | 24 |4839k| 10k| 0.000000e+00 | -- | Inf
1779.54/1779.53 c 1780s| 8130k| 1648k| 20911k| 2.6 |1456M| 45 | - | 50 |6459 | 50 | 15 | 24 |4845k| 10k| 0.000000e+00 | -- | Inf
1781.83/1781.84 c 1782s| 8140k| 1650k| 20937k| 2.6 |1458M| 45 | 6 | 50 |7205 | 50 | 15 | 24 |4851k| 10k| 0.000000e+00 | -- | Inf
1784.14/1784.20 c 1784s| 8150k| 1651k| 20963k| 2.6 |1460M| 45 | 6 | 50 |7416 | 50 | 15 | 24 |4858k| 10k| 0.000000e+00 | -- | Inf
1786.63/1786.63 c 1787s| 8160k| 1653k| 20989k| 2.6 |1462M| 45 | - | 50 |8782 | 50 | 15 | 24 |4864k| 10k| 0.000000e+00 | -- | Inf
1789.23/1789.24 c 1789s| 8170k| 1654k| 21015k| 2.6 |1463M| 45 | - | 50 |7054 | 50 | 15 | 24 |4870k| 10k| 0.000000e+00 | -- | Inf
1791.63/1791.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1791.63/1791.61 c 1792s| 8180k| 1656k| 21040k| 2.6 |1465M| 45 | 6 | 50 |8040 | 50 | 15 | 24 |4876k| 10k| 0.000000e+00 | -- | Inf
1794.03/1794.04 c 1794s| 8190k| 1658k| 21067k| 2.6 |1467M| 45 | - | 50 |9137 | 50 | 15 | 24 |4883k| 10k| 0.000000e+00 | -- | Inf
1796.54/1796.59 c 1797s| 8200k| 1660k| 21093k| 2.6 |1469M| 45 | 6 | 50 |9660 | 50 | 15 | 24 |4889k| 10k| 0.000000e+00 | -- | Inf
1797.04/1797.00 c
1797.04/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.00 c Solving Time (sec) : 1797.00
1797.04/1797.00 c Solving Nodes : 8201428
1797.04/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.04/1797.00 c Dual Bound : +0.00000000000000e+00
1797.04/1797.00 c Gap : infinite
1797.04/1797.00 s UNKNOWN
1797.04/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.00 c Total Time : 1797.00
1797.04/1797.00 c solving : 1797.00
1797.04/1797.00 c presolving : 0.00 (included in solving)
1797.04/1797.00 c reading : 0.00 (included in solving)
1797.04/1797.00 c Original Problem :
1797.04/1797.00 c Problem name : HOME/instance-3485340-1307772940.opb
1797.04/1797.00 c Variables : 51 (51 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.00 c Constraints : 13 initial, 13 maximal
1797.04/1797.00 c Presolved Problem :
1797.04/1797.00 c Problem name : t_HOME/instance-3485340-1307772940.opb
1797.04/1797.00 c Variables : 50 (50 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.00 c Constraints : 6 initial, 17267 maximal
1797.04/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.04/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c dualfix : 0.00 1 0 0 0 0 0 0 0 0
1797.04/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c linear : 0.00 0 0 0 0 0 7 0 0 0
1797.04/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c root node : - 0 - - 0 - - - - -
1797.04/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.04/1797.00 c integral : 0 0 0 5037852 0 4 0 1048 5122 0 0 10063628
1797.04/1797.00 c linear : 6 6 19282133 0 1 3 5438914 498840 6796381 0 0 0
1797.04/1797.00 c logicor : 0+ 6 9082698 0 0 0 6778219 18701 3473884 0 0 0
1797.04/1797.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1797.04/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.04/1797.00 c integral : 28.60 0.00 0.00 28.60 0.00 0.00 0.00
1797.04/1797.00 c linear : 113.49 0.00 100.59 0.00 0.00 0.00 12.90
1797.04/1797.00 c logicor : 390.18 0.00 380.83 0.00 0.00 0.00 9.35
1797.04/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.04/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.04/1797.00 c vbounds : 0 0 0 0
1797.04/1797.00 c rootredcost : 0 0 0 0
1797.04/1797.00 c pseudoobj : 0 0 0 0
1797.04/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.04/1797.00 c vbounds : 2.56 2.56 0.00
1797.04/1797.00 c rootredcost : 2.69 2.69 0.00
1797.04/1797.00 c pseudoobj : 2.08 2.08 0.00
1797.04/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.04/1797.00 c propagation : 21.29 517541 458455 1572179 36.4 154 29.8 -
1797.04/1797.00 c infeasible LP : 75.46 2834897 2834833 5419391 23.5 45017 27.7 0
1797.04/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.04/1797.00 c applied globally : - - - 4295494 21.0 - - -
1797.04/1797.00 c applied locally : - - - 595097 34.3 - - -
1797.04/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.04/1797.00 c cut pool : 0.00 5 - - 32 - (maximal pool size: 100)
1797.04/1797.00 c redcost : 5.26 5037856 0 0 0 0
1797.04/1797.00 c impliedbounds : 0.00 6 0 0 0 0
1797.04/1797.00 c intobj : 0.00 0 0 0 0 0
1797.04/1797.00 c gomory : 0.00 6 0 0 1 0
1797.04/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.04/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.04/1797.00 c strongcg : 0.00 6 0 0 33 0
1797.04/1797.00 c cmir : 0.01 6 0 0 37 0
1797.04/1797.00 c flowcover : 0.01 6 0 0 48 0
1797.04/1797.00 c clique : 0.00 1 0 0 0 0
1797.04/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.04/1797.00 c mcf : 0.00 1 0 0 0 0
1797.04/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.04/1797.00 c rapidlearning : 0.01 1 0 0 0 0
1797.04/1797.00 c Pricers : Time Calls Vars
1797.04/1797.00 c problem variables: 0.00 0 0
1797.04/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.04/1797.00 c relpscost : 25.78 5037852 1048 5122 0 0 10063628
1797.04/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.04/1797.00 c inference : 0.00 1 0 0 0 0 2
1797.04/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.04/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.04/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.00 c random : 0.00 0 0 0 0 0 0
1797.04/1797.00 c Primal Heuristics : Time Calls Found
1797.04/1797.00 c LP solutions : 0.00 - 0
1797.04/1797.00 c pseudo solutions : 0.00 - 0
1797.04/1797.00 c oneopt : 2.24 0 0
1797.04/1797.00 c crossover : 1.37 0 0
1797.04/1797.00 c guideddiving : 0.19 0 0
1797.04/1797.00 c pscostdiving : 0.18 132 0
1797.04/1797.00 c veclendiving : 0.17 132 0
1797.04/1797.00 c linesearchdiving : 0.17 132 0
1797.04/1797.00 c feaspump : 0.14 66 0
1797.04/1797.00 c fracdiving : 0.16 133 0
1797.04/1797.00 c coefdiving : 0.17 133 0
1797.04/1797.00 c objpscostdiving : 0.14 67 0
1797.04/1797.00 c rootsoldiving : 0.17 67 0
1797.04/1797.00 c trivial : 0.00 2 0
1797.04/1797.00 c shiftandpropagate: 0.00 1 0
1797.04/1797.00 c simplerounding : 0.85 0 0
1797.04/1797.00 c zirounding : 12.30 0 0
1797.04/1797.00 c rounding : 1.84 31786 0
1797.04/1797.00 c shifting : 2.47 9588 0
1797.04/1797.00 c intshifting : 0.09 0 0
1797.04/1797.00 c twoopt : 0.00 0 0
1797.04/1797.00 c fixandinfer : 0.00 0 0
1797.04/1797.00 c clique : 0.00 0 0
1797.04/1797.00 c intdiving : 0.00 0 0
1797.04/1797.00 c actconsdiving : 0.00 0 0
1797.04/1797.00 c octane : 0.00 0 0
1797.04/1797.00 c rens : 0.01 1 0
1797.04/1797.00 c rins : 0.00 0 0
1797.04/1797.00 c localbranching : 0.00 0 0
1797.04/1797.00 c mutation : 0.00 0 0
1797.04/1797.00 c dins : 0.00 0 0
1797.04/1797.00 c vbounds : 0.00 0 0
1797.04/1797.00 c undercover : 0.00 0 0
1797.04/1797.00 c subnlp : 1.01 0 0
1797.04/1797.00 c trysol : 1.36 0 0
1797.04/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.04/1797.00 c primal LP : 0.00 0 0 0.00 -
1797.04/1797.00 c dual LP : 393.58 7687032 21092931 2.74 53592.71
1797.04/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.04/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.04/1797.00 c diving/probing LP: 0.12 2184 4135 1.89 33609.96
1797.04/1797.00 c strong branching : 0.88 10185 36751 3.61 41685.90
1797.04/1797.00 c (at root node) : - 9 440 48.89 -
1797.04/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.04/1797.00 c B&B Tree :
1797.04/1797.00 c number of runs : 1
1797.04/1797.00 c nodes : 8201428
1797.04/1797.00 c nodes (total) : 8201428
1797.04/1797.00 c nodes left : 1660382
1797.04/1797.00 c max depth : 45
1797.04/1797.00 c max depth (total): 45
1797.04/1797.00 c backtracks : 1202811 (14.7%)
1797.04/1797.00 c delayed cutoffs : 201821
1797.04/1797.00 c repropagations : 6849483 (4946777 domain reductions, 182268 cutoffs)
1797.04/1797.00 c avg switch length: 5.42
1797.04/1797.00 c switching time : 462.98
1797.04/1797.00 c Solution :
1797.04/1797.00 c Solutions found : 0 (0 improvements)
1797.04/1797.00 c Primal Bound : -
1797.04/1797.00 c Dual Bound : +0.00000000000000e+00
1797.04/1797.00 c Gap : infinite
1797.04/1797.00 c Root Dual Bound : +0.00000000000000e+00
1797.04/1797.00 c Root Iterations : 149
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3485340-1307772940/watcher-3485340-1307772940 -o /tmp/evaluation-result-3485340-1307772940/solver-3485340-1307772940 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485340-1307772940.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.03 2.01 1.96 2/177 20188
/proc/meminfo: memFree=31899900/32951124 swapFree=67055708/67111528
[pid=20188] ppid=20186 vsize=12216 CPUtime=0 cores=1,3,5,7
/proc/20188/stat : 20188 (scip-2.0.1.4_2.) R 20186 20188 17032 0 -1 4202496 2020 0 0 0 0 0 0 0 25 0 1 0 621485284 12509184 1975 33554432000 4194304 8979876 140733592180528 18446744073709551615 7790414 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20188/statm: 3054 1978 416 1169 0 1881 0
[startup+0.0313421 s]
/proc/loadavg: 2.03 2.01 1.96 2/177 20188
/proc/meminfo: memFree=31899900/32951124 swapFree=67055708/67111528
[pid=20188] ppid=20186 vsize=24820 CPUtime=0.02 cores=1,3,5,7
/proc/20188/stat : 20188 (scip-2.0.1.4_2.) R 20186 20188 17032 0 -1 4202496 5469 0 0 0 2 0 0 0 18 0 1 0 621485284 25415680 4814 33554432000 4194304 8979876 140733592180528 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20188/statm: 6205 4814 684 1169 0 5032 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 24820
[startup+0.100328 s]
/proc/loadavg: 2.03 2.01 1.96 2/177 20188
/proc/meminfo: memFree=31899900/32951124 swapFree=67055708/67111528
[pid=20188] ppid=20186 vsize=22628 CPUtime=0.09 cores=1,3,5,7
/proc/20188/stat : 20188 (scip-2.0.1.4_2.) R 20186 20188 17032 0 -1 4202496 6187 0 0 0 7 2 0 0 18 0 1 0 621485284 23171072 4662 33554432000 4194304 8979876 140733592180528 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20188/statm: 5657 4662 704 1169 0 4484 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22628
[startup+0.300294 s]
/proc/loadavg: 2.03 2.01 1.96 2/177 20188
/proc/meminfo: memFree=31899900/32951124 swapFree=67055708/67111528
[pid=20188] ppid=20186 vsize=22628 CPUtime=0.29 cores=1,3,5,7
/proc/20188/stat : 20188 (scip-2.0.1.4_2.) R 20186 20188 17032 0 -1 4202496 6189 0 0 0 23 6 0 0 18 0 1 0 621485284 23171072 4664 33554432000 4194304 8979876 140733592180528 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20188/statm: 5657 4664 705 1169 0 4484 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22628
[startup+0.700222 s]
/proc/loadavg: 2.03 2.01 1.96 2/177 20188
/proc/meminfo: memFree=31899900/32951124 swapFree=67055708/67111528
[pid=20188] ppid=20186 vsize=22628 CPUtime=0.69 cores=1,3,5,7
/proc/20188/stat : 20188 (scip-2.0.1.4_2.) R 20186 20188 17032 0 -1 4202496 6196 0 0 0 59 10 0 0 18 0 1 0 621485284 23171072 4671 33554432000 4194304 8979876 140733592180528 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20188/statm: 5657 4671 705 1169 0 4484 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22628
[startup+1.50108 s]
/proc/loadavg: 2.03 2.01 1.96 3/178 20189
/proc/meminfo: memFree=31882612/32951124 swapFree=67055708/67111528
[pid=20188] ppid=20186 vsize=22628 CPUtime=1.49 cores=1,3,5,7
/proc/20188/stat : 20188 (scip-2.0.1.4_2.) R 20186 20188 17032 0 -1 4202496 6205 0 0 0 128 21 0 0 19 0 1 0 621485284 23171072 4680 33554432000 4194304 8979876 140733592180528 18446744073709551615 5369045 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20188/statm: 5657 4680 705 1169 0 4484 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22628
[startup+3.1008 s]
/proc/loadavg: 2.03 2.01 1.96 3/178 20189
/proc/meminfo: memFree=31882488/32951124 swapFree=67055708/67111528
[pid=20188] ppid=20186 vsize=25084 CPUtime=3.09 cores=1,3,5,7
/proc/20188/stat : 20188 (scip-2.0.1.4_2.) R 20186 20188 17032 0 -1 4202496 6715 0 0 0 271 38 0 0 25 0 1 0 621485284 25686016 5190 33554432000 4194304 8979876 140733592180528 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20188/statm: 6271 5190 705 1169 0 5098 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25084
[startup+6.30023 s]
/proc/loadavg: 2.03 2.01 1.96 3/178 20189
/proc/meminfo: memFree=31875676/32951124 swapFree=67055708/67111528
[pid=20188] ppid=20186 vsize=30848 CPUtime=6.29 cores=1,3,5,7
/proc/20188/stat : 20188 (scip-2.0.1.4_2.) R 20186 20188 17032 0 -1 4202496 8195 0 0 0 552 77 0 0 25 0 1 0 621485284 31588352 6670 33554432000 4194304 8979876 140733592180528 18446744073709551615 4979376 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20188/statm: 7712 6670 705 1169 0 6539 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30848
[startup+12.7001 s]
/proc/loadavg: 2.02 2.01 1.96 3/178 20189
/proc/meminfo: memFree=31859952/32951124 swapFree=67055708/67111528
[pid=20188] ppid=20186 vsize=42328 CPUtime=12.69 cores=1,3,5,7
/proc/20188/stat : 20188 (scip-2.0.1.4_2.) R 20186 20188 17032 0 -1 4202496 11096 0 0 0 1123 146 0 0 25 0 1 0 621485284 43343872 9571 33554432000 4194304 8979876 140733592180528 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20188/statm: 10582 9571 705 1169 0 9409 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42328
[startup+25.5009 s]
/proc/loadavg: 2.02 2.01 1.96 3/178 20190
/proc/meminfo: memFree=31831956/32951124 swapFree=67055708/67111528
[pid=20188] ppid=20186 vsize=60376 CPUtime=25.49 cores=1,3,5,7
/proc/20188/stat : 20188 (scip-2.0.1.4_2.) R 20186 20188 17032 0 -1 4202496 15712 0 0 0 2268 281 0 0 25 0 1 0 621485284 61825024 14187 33554432000 4194304 8979876 140733592180528 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20188/statm: 15094 14187 705 1169 0 13921 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 60376
[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 1.96 3/178 20191
/proc/meminfo: memFree=31790380/32951124 swapFree=67055708/67111528
[pid=20188] ppid=20186 vsize=96652 CPUtime=51.1 cores=1,3,5,7
/proc/20188/stat : 20188 (scip-2.0.1.4_2.) R 20186 20188 17032 0 -1 4202496 24391 0 0 0 4569 541 0 0 25 0 1 0 621485284 98971648 22866 33554432000 4194304 8979876 140733592180528 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20188/statm: 24163 22866 705 1169 0 22990 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 96652
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20192
/proc/meminfo: memFree=31704336/32951124 swapFree=67055708/67111528
[pid=20188] ppid=20186 vsize=157008 CPUtime=102.3 cores=1,3,5,7
/proc/20188/stat : 20188 (scip-2.0.1.4_2.) R 20186 20188 17032 0 -1 4202496 39735 0 0 0 9195 1035 0 0 25 0 1 0 621485284 160776192 38210 33554432000 4194304 8979876 140733592180528 18446744073709551615 6492563 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20188/statm: 39252 38210 705 1169 0 38079 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 157008
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20193
/proc/meminfo: memFree=31621300/32951124 swapFree=67055708/67111528
[pid=20188] ppid=20186 vsize=224920 CPUtime=162.29 cores=1,3,5,7
/proc/20188/stat : 20188 (scip-2.0.1.4_2.) R 20186 20188 17032 0 -1 4202496 55892 0 0 0 14660 1569 0 0 25 0 1 0 621485284 230318080 54367 33554432000 4194304 8979876 140733592180528 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20188/statm: 56230 54367 705 1169 0 55057 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 224920
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20195
/proc/meminfo: memFree=31543736/32951124 swapFree=67055708/67111528
[pid=20188] ppid=20186 vsize=285128 CPUtime=222.3 cores=1,3,5,7
/proc/20188/stat : 20188 (scip-2.0.1.4_2.) R 20186 20188 17032 0 -1 4202496 71150 0 0 0 20145 2085 0 0 25 0 1 0 621485284 291971072 69625 33554432000 4194304 8979876 140733592180528 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20188/statm: 71282 69625 705 1169 0 70109 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 285128
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20197
/proc/meminfo: memFree=31463316/32951124 swapFree=67055708/67111528
[pid=20188] ppid=20186 vsize=342204 CPUtime=282.3 cores=1,3,5,7
/proc/20188/stat : 20188 (scip-2.0.1.4_2.) R 20186 20188 17032 0 -1 4202496 85659 0 0 0 25646 2584 0 0 25 0 1 0 621485284 350416896 84134 33554432000 4194304 8979876 140733592180528 18446744073709551615 6492252 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20188/statm: 85551 84134 705 1169 0 84378 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 342204
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20198
/proc/meminfo: memFree=31390332/32951124 swapFree=67055708/67111528
[pid=20188] ppid=20186 vsize=396356 CPUtime=342.3 cores=1,3,5,7
/proc/20188/stat : 20188 (scip-2.0.1.4_2.) R 20186 20188 17032 0 -1 4202496 99457 0 0 0 31155 3075 0 0 25 0 1 0 621485284 405868544 97932 33554432000 4194304 8979876 140733592180528 18446744073709551615 4444623 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20188/statm: 99089 97932 705 1169 0 97916 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 396356
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20200
/proc/meminfo: memFree=31324808/32951124 swapFree=67055708/67111528
[pid=20188] ppid=20186 vsize=457620 CPUtime=402.3 cores=1,3,5,7
/proc/20188/stat : 20188 (scip-2.0.1.4_2.) R 20186 20188 17032 0 -1 4202496 112892 0 0 0 36675 3555 0 0 25 0 1 0 621485284 468602880 111367 33554432000 4194304 8979876 140733592180528 18446744073709551615 4653649 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20188/statm: 114405 111367 705 1169 0 113232 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 457620
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20201
/proc/meminfo: memFree=31244888/32951124 swapFree=67055708/67111528
[pid=20188] ppid=20186 vsize=513664 CPUtime=462.3 cores=1,3,5,7
/proc/20188/stat : 20188 (scip-2.0.1.4_2.) R 20186 20188 17032 0 -1 4202496 127265 0 0 0 42179 4051 0 0 25 0 1 0 621485284 525991936 125740 33554432000 4194304 8979876 140733592180528 18446744073709551615 4653724 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20188/statm: 128416 125740 705 1169 0 127243 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 513664
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20203
/proc/meminfo: memFree=31170544/32951124 swapFree=67055708/67111528
[pid=20188] ppid=20186 vsize=566116 CPUtime=522.3 cores=1,3,5,7
/proc/20188/stat : 20188 (scip-2.0.1.4_2.) R 20186 20188 17032 0 -1 4202496 140561 0 0 0 47708 4522 0 0 25 0 1 0 621485284 579702784 139036 33554432000 4194304 8979876 140733592180528 18446744073709551615 6492557 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20188/statm: 141529 139036 705 1169 0 140356 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 566116
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20205
/proc/meminfo: memFree=31107996/32951124 swapFree=67055708/67111528
[pid=20188] ppid=20186 vsize=617124 CPUtime=582.3 cores=1,3,5,7
/proc/20188/stat : 20188 (scip-2.0.1.4_2.) R 20186 20188 17032 0 -1 4202496 153635 0 0 0 53231 4999 0 0 25 0 1 0 621485284 631934976 152110 33554432000 4194304 8979876 140733592180528 18446744073709551615 18446744073699065949 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20188/statm: 154281 152110 705 1169 0 153108 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 617124
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20211
/proc/meminfo: memFree=30865900/32951124 swapFree=67055708/67111528
[pid=20188] ppid=20186 vsize=810892 CPUtime=822.31 cores=1,3,5,7
/proc/20188/stat : 20188 (scip-2.0.1.4_2.) R 20186 20188 17032 0 -1 4202496 202831 0 0 0 75385 6846 0 0 25 0 1 0 621485284 830353408 201306 33554432000 4194304 8979876 140733592180528 18446744073709551615 5371865 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20188/statm: 202723 201306 705 1169 0 201550 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 810892
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20213
/proc/meminfo: memFree=30793540/32951124 swapFree=67055708/67111528
[pid=20188] ppid=20186 vsize=858720 CPUtime=882.31 cores=1,3,5,7
/proc/20188/stat : 20188 (scip-2.0.1.4_2.) R 20186 20188 17032 0 -1 4202496 215131 0 0 0 80925 7306 0 0 25 0 1 0 621485284 879329280 213606 33554432000 4194304 8979876 140733592180528 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20188/statm: 214680 213606 705 1169 0 213507 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 858720
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20214
/proc/meminfo: memFree=30738044/32951124 swapFree=67055708/67111528
[pid=20188] ppid=20186 vsize=921652 CPUtime=942.31 cores=1,3,5,7
/proc/20188/stat : 20188 (scip-2.0.1.4_2.) R 20186 20188 17032 0 -1 4202496 226694 0 0 0 86489 7742 0 0 25 0 1 0 621485284 943771648 225169 33554432000 4194304 8979876 140733592180528 18446744073709551615 5381809 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20188/statm: 230413 225169 705 1169 0 229240 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 921652
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20216
/proc/meminfo: memFree=30684424/32951124 swapFree=67055708/67111528
[pid=20188] ppid=20186 vsize=966624 CPUtime=1002.32 cores=1,3,5,7
/proc/20188/stat : 20188 (scip-2.0.1.4_2.) R 20186 20188 17032 0 -1 4202496 238196 0 0 0 92055 8177 0 0 25 0 1 0 621485284 989822976 236671 33554432000 4194304 8979876 140733592180528 18446744073709551615 4322139 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20188/statm: 241656 236671 705 1169 0 240483 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 966624
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20217
/proc/meminfo: memFree=30630916/32951124 swapFree=67055708/67111528
[pid=20188] ppid=20186 vsize=1006988 CPUtime=1062.32 cores=1,3,5,7
/proc/20188/stat : 20188 (scip-2.0.1.4_2.) R 20186 20188 17032 0 -1 4202496 248600 0 0 0 97613 8619 0 0 25 0 1 0 621485284 1031155712 247075 33554432000 4194304 8979876 140733592180528 18446744073709551615 4347574 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20188/statm: 251747 247075 705 1169 0 250574 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1006988
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20219
/proc/meminfo: memFree=30574796/32951124 swapFree=67055708/67111528
[pid=20188] ppid=20186 vsize=1052900 CPUtime=1122.32 cores=1,3,5,7
/proc/20188/stat : 20188 (scip-2.0.1.4_2.) R 20186 20188 17032 0 -1 4202496 259932 0 0 0 103172 9060 0 0 25 0 1 0 621485284 1078169600 258407 33554432000 4194304 8979876 140733592180528 18446744073709551615 4985788 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20188/statm: 263225 258407 705 1169 0 262052 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1052900
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20221
/proc/meminfo: memFree=30520912/32951124 swapFree=67055708/67111528
[pid=20188] ppid=20186 vsize=1099008 CPUtime=1182.32 cores=1,3,5,7
/proc/20188/stat : 20188 (scip-2.0.1.4_2.) R 20186 20188 17032 0 -1 4202496 271816 0 0 0 108744 9488 0 0 25 0 1 0 621485284 1125384192 270291 33554432000 4194304 8979876 140733592180528 18446744073709551615 5381809 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20188/statm: 274752 270291 705 1169 0 273579 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1099008
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20222
/proc/meminfo: memFree=30465796/32951124 swapFree=67055708/67111528
[pid=20188] ppid=20186 vsize=1137128 CPUtime=1242.32 cores=1,3,5,7
/proc/20188/stat : 20188 (scip-2.0.1.4_2.) R 20186 20188 17032 0 -1 4202496 281597 0 0 0 114342 9890 0 0 25 0 1 0 621485284 1164419072 280072 33554432000 4194304 8979876 140733592180528 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20188/statm: 284282 280072 705 1169 0 283109 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1137128
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20224
/proc/meminfo: memFree=30403732/32951124 swapFree=67055708/67111528
[pid=20188] ppid=20186 vsize=1183280 CPUtime=1302.32 cores=1,3,5,7
/proc/20188/stat : 20188 (scip-2.0.1.4_2.) R 20186 20188 17032 0 -1 4202496 293402 0 0 0 119932 10300 0 0 25 0 1 0 621485284 1211678720 291877 33554432000 4194304 8979876 140733592180528 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20188/statm: 295820 291877 705 1169 0 294647 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 1183280
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20225
/proc/meminfo: memFree=30347620/32951124 swapFree=67055708/67111528
[pid=20188] ppid=20186 vsize=1226068 CPUtime=1362.33 cores=1,3,5,7
/proc/20188/stat : 20188 (scip-2.0.1.4_2.) R 20186 20188 17032 0 -1 4202496 303815 0 0 0 125520 10713 0 0 25 0 1 0 621485284 1255493632 302290 33554432000 4194304 8979876 140733592180528 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20188/statm: 306517 302290 705 1169 0 305344 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1226068
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20227
/proc/meminfo: memFree=30295224/32951124 swapFree=67055708/67111528
[pid=20188] ppid=20186 vsize=1266912 CPUtime=1422.34 cores=1,3,5,7
/proc/20188/stat : 20188 (scip-2.0.1.4_2.) R 20186 20188 17032 0 -1 4202496 314286 0 0 0 131105 11129 0 0 25 0 1 0 621485284 1297317888 312761 33554432000 4194304 8979876 140733592180528 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20188/statm: 316728 312761 705 1169 0 315555 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1266912
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20229
/proc/meminfo: memFree=30244560/32951124 swapFree=67055708/67111528
[pid=20188] ppid=20186 vsize=1311480 CPUtime=1482.32 cores=1,3,5,7
/proc/20188/stat : 20188 (scip-2.0.1.4_2.) R 20186 20188 17032 0 -1 4202496 325708 0 0 0 136668 11564 0 0 25 0 1 0 621485284 1342955520 324183 33554432000 4194304 8979876 140733592180528 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20188/statm: 327870 324183 705 1169 0 326697 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 1311480
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20230
/proc/meminfo: memFree=30177908/32951124 swapFree=67055708/67111528
[pid=20188] ppid=20186 vsize=1356680 CPUtime=1542.33 cores=1,3,5,7
/proc/20188/stat : 20188 (scip-2.0.1.4_2.) R 20186 20188 17032 0 -1 4202496 337266 0 0 0 142247 11986 0 0 25 0 1 0 621485284 1389240320 335741 33554432000 4194304 8979876 140733592180528 18446744073709551615 6702944 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20188/statm: 339170 335741 705 1169 0 337997 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1356680
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20232
/proc/meminfo: memFree=30124392/32951124 swapFree=67055708/67111528
[pid=20188] ppid=20186 vsize=1394200 CPUtime=1602.33 cores=1,3,5,7
/proc/20188/stat : 20188 (scip-2.0.1.4_2.) R 20186 20188 17032 0 -1 4202496 346890 0 0 0 147869 12364 0 0 25 0 1 0 621485284 1427660800 345365 33554432000 4194304 8979876 140733592180528 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20188/statm: 348550 345365 705 1169 0 347377 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1394200
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20271
/proc/meminfo: memFree=30557144/32951124 swapFree=67055708/67111528
[pid=20188] ppid=20186 vsize=1431604 CPUtime=1662.33 cores=1,3,5,7
/proc/20188/stat : 20188 (scip-2.0.1.4_2.) R 20186 20188 17032 0 -1 4202496 355896 0 0 0 153528 12705 0 0 25 0 1 0 621485284 1465962496 354371 33554432000 4194304 8979876 140733592180528 18446744073709551615 18446744073699065949 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20188/statm: 357901 354371 705 1169 0 356728 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1431604
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20273
/proc/meminfo: memFree=30444308/32951124 swapFree=67055708/67111528
[pid=20188] ppid=20186 vsize=1469316 CPUtime=1722.33 cores=1,3,5,7
/proc/20188/stat : 20188 (scip-2.0.1.4_2.) R 20186 20188 17032 0 -1 4202496 365556 0 0 0 159151 13082 0 0 25 0 1 0 621485284 1504579584 364031 33554432000 4194304 8979876 140733592180528 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20188/statm: 367329 364031 705 1169 0 366156 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1469316
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20275
/proc/meminfo: memFree=30342524/32951124 swapFree=67055708/67111528
[pid=20188] ppid=20186 vsize=1506188 CPUtime=1782.34 cores=1,3,5,7
/proc/20188/stat : 20188 (scip-2.0.1.4_2.) R 20186 20188 17032 0 -1 4202496 375016 0 0 0 164734 13500 0 0 25 0 1 0 621485284 1542336512 373491 33554432000 4194304 8979876 140733592180528 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20188/statm: 376547 373491 705 1169 0 375374 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1506188
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20275
/proc/meminfo: memFree=30311512/32951124 swapFree=67055708/67111528
[pid=20188] ppid=20186 vsize=1515600 CPUtime=1800.04 cores=1,3,5,7
/proc/20188/stat : 20188 (scip-2.0.1.4_2.) R 20186 20188 17032 0 -1 4202496 377435 0 0 0 166400 13604 0 0 25 0 1 0 621485284 1551974400 375910 33554432000 4194304 8979876 140733592180528 18446744073709551615 6778433 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20188/statm: 378900 375910 708 1169 0 377727 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1515600
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.06
CPU time (s): 1800.11
CPU user time (s): 1664.01
CPU system time (s): 136.099
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1515600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1664.01
system time used= 136.099
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 377435
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= 6
involuntary context switches= 1053
runsolver used 2.56261 second user time and 6.02008 second system time
The end