0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
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-3452531-1307097896.opb>
0.00/0.00 c original problem has 41 variables (41 bin, 0 int, 0 impl, 0 cont) and 11 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, 6 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, 6 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 40 variables (40 bin, 0 int, 0 impl, 0 cont) and 5 constraints
0.00/0.00 c 5 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.00 c # maximal time in seconds to run
0.00/0.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.00 c limits/time = 1800
0.00/0.00 c
0.00/0.00 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.00 c limits/memory = 13950
0.00/0.00 c
0.00/0.00 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.00 c # [type: int, range: [1,2], default: 1]
0.00/0.00 c timing/clocktype = 2
0.00/0.00 c
0.00/0.00 c # belongs reading time to solving time?
0.00/0.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.00 c timing/reading = TRUE
0.00/0.00 c
0.00/0.00 c # should presolving try to simplify inequalities
0.00/0.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.00 c constraints/linear/simplifyinequalities = TRUE
0.00/0.00 c
0.00/0.00 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.00 c constraints/indicator/addCouplingCons = TRUE
0.00/0.00 c
0.00/0.00 c # should presolving try to simplify knapsacks
0.00/0.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.00 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.00 c
0.00/0.00 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.00 c separating/rapidlearning/freq = 0
0.00/0.00 c
0.00/0.00 c -----------------------------------------------------------------------------------------------
0.00/0.00 c start solving
0.00/0.00 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 | 26 | - | 253k| 0 | 5 | 40 | 18 | 40 | 5 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
0.00/0.02 c 0.0s| 1 | 0 | 85 | - | 308k| 0 | 10 | 40 | 33 | 40 | 11 | 6 | 13 | 0 | 0.000000e+00 | -- | Inf
0.00/0.02 c 0.0s| 1 | 0 | 89 | - | 337k| 0 | 12 | 40 | 33 | 40 | 16 | 11 | 13 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 96 | - | 369k| 0 | 13 | 40 | 33 | 40 | 20 | 15 | 13 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 106 | - | 393k| 0 | 14 | 40 | 33 | 40 | 23 | 18 | 13 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 110 | - | 398k| 0 | 15 | 40 | 33 | 40 | 25 | 20 | 13 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 123 | - | 403k| 0 | 16 | 40 | 33 | 40 | 27 | 22 | 13 | 0 | 0.000000e+00 | -- | Inf
0.05/0.06 c 0.1s| 1 | 2 | 123 | - | 404k| 0 | 16 | 40 | 33 | 40 | 27 | 22 | 13 | 10 | 0.000000e+00 | -- | Inf
1.39/1.41 c 1.4s| 10000 | 3668 | 21383 | 2.1 |3816k| 34 | 5 | 40 |3503 | 40 | 16 | 22 |4067 | 493 | 0.000000e+00 | -- | Inf
2.79/2.88 c 2.9s| 20000 | 6906 | 42273 | 2.1 |5651k| 34 | - | 40 |3065 | 40 | 16 | 22 |8481 | 684 | 0.000000e+00 | -- | Inf
4.31/4.35 c 4.4s| 30000 | 9814 | 62811 | 2.1 |7453k| 34 | 5 | 40 |3174 | 40 | 16 | 22 | 12k| 845 | 0.000000e+00 | -- | Inf
5.79/5.85 c 5.8s| 40000 | 12622 | 83359 | 2.1 |9294k| 34 | 5 | 40 |3642 | 40 | 16 | 22 | 17k| 988 | 0.000000e+00 | -- | Inf
7.29/7.39 c 7.4s| 50000 | 15251 |104052 | 2.1 | 10M| 34 | 5 | 40 |3607 | 40 | 16 | 22 | 22k|1098 | 0.000000e+00 | -- | Inf
8.99/9.01 c 9.0s| 60000 | 17621 |124143 | 2.1 | 12M| 34 | 5 | 40 |3957 | 40 | 16 | 22 | 27k|1219 | 0.000000e+00 | -- | Inf
10.39/10.48 c 10.5s| 70000 | 20553 |144922 | 2.1 | 14M| 34 | - | 40 |5139 | 0 | 0 | 22 | 31k|1313 | 0.000000e+00 | -- | Inf
12.19/12.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.19/12.25 c 12.3s| 80000 | 22830 |164730 | 2.1 | 15M| 34 | 5 | 40 |3891 | 40 | 16 | 22 | 36k|1421 | 0.000000e+00 | -- | Inf
13.79/13.88 c 13.9s| 90000 | 25099 |184330 | 2.0 | 17M| 34 | 5 | 40 |3947 | 40 | 16 | 22 | 41k|1500 | 0.000000e+00 | -- | Inf
15.49/15.56 c 15.6s|100000 | 27390 |204606 | 2.0 | 19M| 34 | 5 | 40 |4480 | 40 | 16 | 22 | 46k|1598 | 0.000000e+00 | -- | Inf
17.19/17.27 c 17.3s|110000 | 29625 |224669 | 2.0 | 20M| 34 | - | 40 |4143 | 40 | 16 | 22 | 51k|1674 | 0.000000e+00 | -- | Inf
18.90/18.91 c 18.9s|120000 | 31866 |245379 | 2.0 | 22M| 34 | 5 | 40 |4709 | 40 | 16 | 22 | 56k|1751 | 0.000000e+00 | -- | Inf
20.69/20.72 c 20.7s|130000 | 33772 |265451 | 2.0 | 23M| 34 | - | 40 |4375 | 0 | 0 | 22 | 61k|1856 | 0.000000e+00 | -- | Inf
22.39/22.47 c 22.5s|140000 | 35802 |286540 | 2.0 | 24M| 34 | - | 40 |4549 | 40 | 16 | 22 | 66k|1924 | 0.000000e+00 | -- | Inf
24.11/24.21 c 24.2s|150000 | 37833 |306822 | 2.0 | 26M| 34 | 5 | 40 |5201 | 40 | 16 | 22 | 71k|1991 | 0.000000e+00 | -- | Inf
26.09/26.10 c 26.1s|160000 | 39665 |326463 | 2.0 | 27M| 34 | 5 | 40 |4647 | 40 | 16 | 22 | 76k|2042 | 0.000000e+00 | -- | Inf
27.79/27.89 c 27.9s|170000 | 41449 |346582 | 2.0 | 29M| 34 | 5 | 40 |4551 | 40 | 16 | 22 | 82k|2117 | 0.000000e+00 | -- | Inf
29.61/29.65 c 29.7s|180000 | 43389 |366980 | 2.0 | 30M| 34 | - | 40 |5810 | 40 | 16 | 22 | 87k|2180 | 0.000000e+00 | -- | Inf
31.49/31.53 c 31.5s|190000 | 45353 |387020 | 2.0 | 32M| 34 | 5 | 40 |5575 | 40 | 16 | 22 | 92k|2231 | 0.000000e+00 | -- | Inf
33.39/33.45 c 33.5s|200000 | 47154 |407184 | 2.0 | 33M| 34 | 5 | 40 |5402 | 40 | 16 | 22 | 98k|2280 | 0.000000e+00 | -- | Inf
35.29/35.33 c 35.3s|210000 | 48736 |426661 | 2.0 | 34M| 34 | - | 40 |5298 | 40 | 16 | 22 | 103k|2326 | 0.000000e+00 | -- | Inf
37.09/37.18 c 37.2s|220000 | 50490 |446602 | 2.0 | 36M| 34 | 5 | 40 |5259 | 40 | 16 | 22 | 108k|2381 | 0.000000e+00 | -- | Inf
39.09/39.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
39.09/39.11 c 39.1s|230000 | 52143 |466490 | 2.0 | 37M| 34 | 5 | 40 |5449 | 40 | 16 | 22 | 113k|2432 | 0.000000e+00 | -- | Inf
40.99/41.07 c 41.1s|240000 | 53782 |486506 | 2.0 | 38M| 34 | - | 40 |5584 | 40 | 16 | 22 | 119k|2475 | 0.000000e+00 | -- | Inf
42.91/42.97 c 43.0s|250000 | 55325 |506656 | 2.0 | 40M| 34 | 5 | 40 |6681 | 40 | 16 | 22 | 124k|2542 | 0.000000e+00 | -- | Inf
45.01/45.08 c 45.1s|260000 | 56748 |526669 | 2.0 | 41M| 34 | - | 40 |5717 | 40 | 16 | 22 | 130k|2590 | 0.000000e+00 | -- | Inf
46.90/46.96 c 47.0s|270000 | 58460 |548285 | 2.0 | 42M| 34 | 5 | 40 |7267 | 40 | 16 | 22 | 136k|2642 | 0.000000e+00 | -- | Inf
48.90/48.98 c 49.0s|280000 | 60019 |568836 | 2.0 | 44M| 34 | 5 | 40 |7363 | 40 | 16 | 22 | 141k|2696 | 0.000000e+00 | -- | Inf
50.99/51.08 c 51.1s|290000 | 61547 |588766 | 2.0 | 45M| 34 | 5 | 40 |6588 | 40 | 16 | 22 | 146k|2755 | 0.000000e+00 | -- | Inf
52.82/52.83 c 52.8s|300000 | 63752 |608313 | 2.0 | 47M| 34 | 5 | 40 |8985 | 40 | 16 | 22 | 151k|2808 | 0.000000e+00 | -- | Inf
55.09/55.11 c 55.1s|310000 | 65511 |628130 | 2.0 | 48M| 34 | 5 | 40 |7086 | 40 | 16 | 22 | 156k|2846 | 0.000000e+00 | -- | Inf
57.21/57.22 c 57.2s|320000 | 67119 |647804 | 2.0 | 49M| 34 | - | 40 |7266 | 40 | 16 | 22 | 162k|2901 | 0.000000e+00 | -- | Inf
59.19/59.27 c 59.3s|330000 | 68809 |667681 | 2.0 | 51M| 34 | 5 | 40 |8667 | 40 | 16 | 22 | 167k|2943 | 0.000000e+00 | -- | Inf
61.39/61.46 c 61.5s|340000 | 70324 |687683 | 2.0 | 52M| 34 | 5 | 40 |8605 | 40 | 16 | 22 | 172k|3001 | 0.000000e+00 | -- | Inf
63.81/63.89 c 63.9s|350000 | 71536 |708005 | 2.0 | 53M| 34 | - | 40 |6457 | 40 | 16 | 22 | 178k|3051 | 0.000000e+00 | -- | Inf
65.91/65.96 c 66.0s|360000 | 73087 |728382 | 2.0 | 54M| 34 | - | 40 |6990 | 40 | 16 | 22 | 184k|3092 | 0.000000e+00 | -- | Inf
68.11/68.19 c 68.2s|370000 | 74398 |748335 | 2.0 | 55M| 34 | 5 | 40 |6354 | 40 | 16 | 22 | 189k|3138 | 0.000000e+00 | -- | Inf
70.20/70.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
70.20/70.20 c 70.2s|380000 | 75903 |768138 | 2.0 | 57M| 34 | - | 40 |7464 | 0 | 0 | 22 | 195k|3174 | 0.000000e+00 | -- | Inf
72.29/72.35 c 72.4s|390000 | 77565 |788533 | 2.0 | 58M| 34 | - | 40 |7360 | 40 | 16 | 22 | 200k|3214 | 0.000000e+00 | -- | Inf
74.19/74.27 c 74.3s|400000 | 79485 |809475 | 2.0 | 59M| 34 | - | 40 |8281 | 0 | 0 | 22 | 205k|3259 | 0.000000e+00 | -- | Inf
76.09/76.17 c 76.2s|410000 | 81653 |829049 | 2.0 | 61M| 34 | 5 | 40 |9477 | 40 | 16 | 22 | 210k|3291 | 0.000000e+00 | -- | Inf
78.19/78.23 c 78.2s|420000 | 83658 |849353 | 2.0 | 63M| 34 | - | 40 | 10k| 0 | 0 | 22 | 215k|3333 | 0.000000e+00 | -- | Inf
80.50/80.51 c 80.5s|430000 | 85225 |868981 | 2.0 | 64M| 34 | - | 40 |9991 | 0 | 0 | 22 | 221k|3378 | 0.000000e+00 | -- | Inf
82.69/82.75 c 82.7s|440000 | 86976 |888797 | 2.0 | 65M| 34 | 5 | 40 | 10k| 40 | 16 | 22 | 226k|3411 | 0.000000e+00 | -- | Inf
84.90/84.95 c 85.0s|450000 | 88698 |908649 | 2.0 | 67M| 34 | 5 | 40 | 11k| 40 | 16 | 22 | 231k|3464 | 0.000000e+00 | -- | Inf
87.30/87.31 c 87.3s|460000 | 90463 |929042 | 2.0 | 69M| 34 | - | 40 | 11k| 40 | 16 | 22 | 237k|3497 | 0.000000e+00 | -- | Inf
90.11/90.14 c 90.1s|470000 | 91765 |948678 | 2.0 | 69M| 34 | 5 | 40 |7710 | 40 | 16 | 22 | 242k|3527 | 0.000000e+00 | -- | Inf
92.20/92.23 c 92.2s|480000 | 93378 |968650 | 2.0 | 70M| 34 | 5 | 40 |8887 | 40 | 16 | 22 | 248k|3559 | 0.000000e+00 | -- | Inf
94.40/94.51 c 94.5s|490000 | 95010 |989660 | 2.0 | 71M| 34 | 5 | 40 |8106 | 40 | 16 | 22 | 254k|3590 | 0.000000e+00 | -- | Inf
96.82/96.88 c 96.9s|500000 | 96273 | 1010k| 2.0 | 72M| 34 | 5 | 40 |6685 | 40 | 16 | 22 | 260k|3629 | 0.000000e+00 | -- | Inf
98.91/98.97 c 99.0s|510000 | 97767 | 1030k| 2.0 | 74M| 34 | 5 | 40 |7199 | 40 | 16 | 22 | 265k|3662 | 0.000000e+00 | -- | Inf
101.00/101.03 c 101s|520000 | 99447 | 1050k| 2.0 | 75M| 34 | - | 40 |7091 | 0 | 0 | 22 | 271k|3703 | 0.000000e+00 | -- | Inf
103.09/103.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
103.09/103.15 c 103s|530000 |101058 | 1070k| 2.0 | 76M| 34 | 5 | 40 |7287 | 40 | 16 | 22 | 276k|3740 | 0.000000e+00 | -- | Inf
105.29/105.31 c 105s|540000 |102698 | 1089k| 2.0 | 77M| 34 | 5 | 40 |6035 | 40 | 16 | 22 | 281k|3772 | 0.000000e+00 | -- | Inf
107.29/107.35 c 107s|550000 |104192 | 1109k| 2.0 | 79M| 34 | 5 | 40 |6944 | 40 | 16 | 22 | 287k|3815 | 0.000000e+00 | -- | Inf
109.49/109.53 c 110s|560000 |105480 | 1130k| 2.0 | 80M| 34 | - | 40 |6615 | 40 | 16 | 22 | 292k|3842 | 0.000000e+00 | -- | Inf
111.60/111.66 c 112s|570000 |106958 | 1151k| 2.0 | 81M| 34 | 5 | 40 |7460 | 40 | 16 | 22 | 298k|3876 | 0.000000e+00 | -- | Inf
113.79/113.82 c 114s|580000 |108427 | 1171k| 2.0 | 82M| 34 | - | 40 |6646 | 40 | 16 | 22 | 304k|3924 | 0.000000e+00 | -- | Inf
115.79/115.87 c 116s|590000 |110054 | 1193k| 2.0 | 84M| 34 | - | 40 |8203 | 0 | 0 | 22 | 310k|3961 | 0.000000e+00 | -- | Inf
118.30/118.33 c 118s|600000 |111212 | 1214k| 2.0 | 84M| 34 | 5 | 40 |6229 | 40 | 16 | 22 | 316k|3988 | 0.000000e+00 | -- | Inf
120.50/120.57 c 121s|610000 |112403 | 1234k| 2.0 | 86M| 34 | 5 | 40 |6538 | 40 | 16 | 22 | 321k|4022 | 0.000000e+00 | -- | Inf
122.70/122.77 c 123s|620000 |113760 | 1254k| 2.0 | 87M| 34 | 5 | 40 |6449 | 40 | 16 | 22 | 327k|4045 | 0.000000e+00 | -- | Inf
124.60/124.62 c 125s|630000 |115862 | 1273k| 2.0 | 89M| 34 | - | 40 |7990 | 0 | 0 | 22 | 332k|4073 | 0.000000e+00 | -- | Inf
126.69/126.71 c 127s|640000 |117230 | 1293k| 2.0 | 90M| 34 | 5 | 40 |8740 | 40 | 16 | 22 | 337k|4100 | 0.000000e+00 | -- | Inf
129.10/129.11 c 129s|650000 |118499 | 1313k| 2.0 | 90M| 34 | 5 | 40 |6495 | 40 | 16 | 22 | 342k|4125 | 0.000000e+00 | -- | Inf
131.19/131.23 c 131s|660000 |119887 | 1333k| 2.0 | 92M| 34 | - | 40 |7051 | 0 | 0 | 22 | 348k|4162 | 0.000000e+00 | -- | Inf
133.39/133.42 c 133s|670000 |121185 | 1353k| 2.0 | 92M| 34 | - | 40 |6025 | 0 | 0 | 22 | 354k|4199 | 0.000000e+00 | -- | Inf
135.50/135.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
135.50/135.54 c 136s|680000 |122632 | 1373k| 2.0 | 94M| 34 | - | 40 |6672 | 40 | 16 | 22 | 359k|4238 | 0.000000e+00 | -- | Inf
137.69/137.72 c 138s|690000 |124032 | 1393k| 2.0 | 95M| 34 | 5 | 40 |7273 | 40 | 16 | 22 | 364k|4261 | 0.000000e+00 | -- | Inf
139.90/139.92 c 140s|700000 |125449 | 1413k| 2.0 | 96M| 34 | 5 | 40 |7669 | 40 | 16 | 22 | 370k|4301 | 0.000000e+00 | -- | Inf
142.20/142.25 c 142s|710000 |126742 | 1433k| 2.0 | 97M| 34 | 5 | 40 |6692 | 40 | 16 | 22 | 376k|4338 | 0.000000e+00 | -- | Inf
144.39/144.47 c 144s|720000 |128005 | 1453k| 2.0 | 98M| 34 | - | 40 |7022 | 0 | 0 | 22 | 381k|4365 | 0.000000e+00 | -- | Inf
146.50/146.51 c 147s|730000 |129600 | 1474k| 2.0 | 100M| 34 | - | 40 |8147 | 0 | 0 | 22 | 387k|4390 | 0.000000e+00 | -- | Inf
148.69/148.79 c 149s|740000 |130778 | 1495k| 2.0 | 101M| 34 | - | 40 |7243 | 40 | 16 | 22 | 393k|4421 | 0.000000e+00 | -- | Inf
151.09/151.13 c 151s|750000 |131853 | 1515k| 2.0 | 102M| 34 | 5 | 40 |7088 | 40 | 16 | 22 | 398k|4451 | 0.000000e+00 | -- | Inf
153.39/153.47 c 153s|760000 |132994 | 1535k| 2.0 | 103M| 34 | 5 | 40 |6228 | 40 | 16 | 22 | 404k|4472 | 0.000000e+00 | -- | Inf
155.59/155.70 c 156s|770000 |134168 | 1556k| 2.0 | 104M| 34 | - | 40 |7263 | 40 | 16 | 22 | 410k|4507 | 0.000000e+00 | -- | Inf
158.00/158.00 c 158s|780000 |135398 | 1576k| 2.0 | 105M| 34 | 5 | 40 |6967 | 40 | 16 | 22 | 416k|4535 | 0.000000e+00 | -- | Inf
160.30/160.33 c 160s|790000 |136534 | 1596k| 2.0 | 106M| 34 | - | 40 |6534 | 40 | 16 | 22 | 422k|4563 | 0.000000e+00 | -- | Inf
162.49/162.51 c 163s|800000 |137869 | 1616k| 2.0 | 107M| 34 | - | 40 |6697 | 40 | 16 | 22 | 427k|4593 | 0.000000e+00 | -- | Inf
164.80/164.85 c 165s|810000 |139011 | 1636k| 2.0 | 108M| 34 | - | 40 |6117 | 0 | 0 | 22 | 433k|4614 | 0.000000e+00 | -- | Inf
167.11/167.14 c 167s|820000 |140082 | 1655k| 2.0 | 109M| 34 | 5 | 40 |5984 | 40 | 16 | 22 | 439k|4645 | 0.000000e+00 | -- | Inf
169.19/169.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
169.19/169.24 c 169s|830000 |141245 | 1676k| 2.0 | 110M| 34 | - | 40 |6707 | 40 | 16 | 22 | 445k|4676 | 0.000000e+00 | -- | Inf
171.30/171.33 c 171s|840000 |142594 | 1696k| 2.0 | 112M| 34 | 5 | 40 |7842 | 40 | 16 | 22 | 450k|4711 | 0.000000e+00 | -- | Inf
173.50/173.55 c 174s|850000 |143910 | 1716k| 2.0 | 113M| 34 | 5 | 40 |8542 | 40 | 16 | 22 | 456k|4750 | 0.000000e+00 | -- | Inf
175.79/175.86 c 176s|860000 |145205 | 1735k| 2.0 | 114M| 34 | - | 40 |7313 | 40 | 16 | 22 | 461k|4775 | 0.000000e+00 | -- | Inf
178.00/178.07 c 178s|870000 |146667 | 1755k| 2.0 | 115M| 34 | 5 | 40 |8077 | 40 | 16 | 22 | 466k|4799 | 0.000000e+00 | -- | Inf
180.50/180.51 c 181s|880000 |147666 | 1776k| 2.0 | 116M| 34 | - | 40 |6505 | 40 | 16 | 22 | 472k|4838 | 0.000000e+00 | -- | Inf
182.69/182.73 c 183s|890000 |148847 | 1796k| 2.0 | 118M| 34 | - | 40 |8602 | 0 | 0 | 22 | 478k|4874 | 0.000000e+00 | -- | Inf
184.99/185.09 c 185s|900000 |149988 | 1815k| 2.0 | 118M| 34 | 5 | 40 |7446 | 40 | 16 | 22 | 484k|4902 | 0.000000e+00 | -- | Inf
187.40/187.48 c 187s|910000 |151002 | 1836k| 2.0 | 119M| 34 | 5 | 40 |6667 | 40 | 16 | 22 | 490k|4937 | 0.000000e+00 | -- | Inf
189.49/189.59 c 190s|920000 |152353 | 1856k| 2.0 | 121M| 34 | - | 40 |8343 | 40 | 16 | 22 | 496k|4970 | 0.000000e+00 | -- | Inf
191.89/191.92 c 192s|930000 |153446 | 1876k| 2.0 | 121M| 34 | 5 | 40 |7740 | 40 | 16 | 22 | 501k|4994 | 0.000000e+00 | -- | Inf
194.30/194.31 c 194s|940000 |154517 | 1896k| 2.0 | 122M| 34 | 5 | 40 |6342 | 40 | 16 | 22 | 507k|5010 | 0.000000e+00 | -- | Inf
196.70/196.71 c 197s|950000 |155372 | 1915k| 2.0 | 123M| 34 | - | 40 |6714 | 40 | 16 | 22 | 513k|5036 | 0.000000e+00 | -- | Inf
199.11/199.16 c 199s|960000 |156098 | 1935k| 2.0 | 124M| 34 | - | 40 |5738 | 40 | 16 | 22 | 519k|5069 | 0.000000e+00 | -- | Inf
201.32/201.32 c 201s|970000 |157285 | 1956k| 2.0 | 125M| 34 | 5 | 40 |6779 | 40 | 16 | 22 | 525k|5090 | 0.000000e+00 | -- | Inf
203.51/203.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
203.51/203.59 c 204s|980000 |158336 | 1976k| 2.0 | 126M| 34 | - | 40 |6667 | 40 | 16 | 22 | 530k|5113 | 0.000000e+00 | -- | Inf
205.80/205.81 c 206s|990000 |159464 | 1996k| 2.0 | 127M| 34 | - | 40 |7120 | 40 | 16 | 22 | 536k|5147 | 0.000000e+00 | -- | Inf
208.10/208.15 c 208s| 1000k|160511 | 2016k| 2.0 | 128M| 34 | - | 40 |6825 | 40 | 16 | 22 | 542k|5167 | 0.000000e+00 | -- | Inf
210.49/210.56 c 211s| 1010k|161367 | 2036k| 2.0 | 129M| 34 | - | 40 |6353 | 40 | 16 | 22 | 548k|5192 | 0.000000e+00 | -- | Inf
212.59/212.66 c 213s| 1020k|162606 | 2056k| 2.0 | 130M| 34 | 5 | 40 |7691 | 40 | 16 | 22 | 553k|5217 | 0.000000e+00 | -- | Inf
215.10/215.14 c 215s| 1030k|163290 | 2076k| 2.0 | 131M| 34 | - | 40 |6338 | 40 | 16 | 22 | 560k|5238 | 0.000000e+00 | -- | Inf
217.50/217.57 c 218s| 1040k|164181 | 2096k| 2.0 | 132M| 34 | - | 40 |6678 | 0 | 0 | 22 | 566k|5257 | 0.000000e+00 | -- | Inf
219.80/219.85 c 220s| 1050k|165208 | 2116k| 2.0 | 133M| 34 | 5 | 40 |6913 | 40 | 16 | 22 | 572k|5279 | 0.000000e+00 | -- | Inf
222.22/222.22 c 222s| 1060k|166080 | 2136k| 2.0 | 134M| 34 | 5 | 40 |6702 | 40 | 16 | 22 | 577k|5311 | 0.000000e+00 | -- | Inf
224.32/224.36 c 224s| 1070k|167525 | 2157k| 2.0 | 135M| 34 | 5 | 40 |8942 | 40 | 16 | 22 | 583k|5323 | 0.000000e+00 | -- | Inf
226.90/226.99 c 227s| 1080k|168442 | 2176k| 2.0 | 136M| 34 | 5 | 40 |8041 | 40 | 16 | 22 | 589k|5350 | 0.000000e+00 | -- | Inf
229.19/229.29 c 229s| 1090k|169619 | 2195k| 2.0 | 137M| 34 | - | 40 |8407 | 40 | 16 | 22 | 594k|5380 | 0.000000e+00 | -- | Inf
231.69/231.79 c 232s| 1100k|170518 | 2215k| 2.0 | 138M| 34 | 5 | 40 |7683 | 40 | 16 | 22 | 600k|5398 | 0.000000e+00 | -- | Inf
234.21/234.23 c 234s| 1110k|171429 | 2235k| 2.0 | 139M| 34 | 5 | 40 |6480 | 40 | 16 | 22 | 606k|5421 | 0.000000e+00 | -- | Inf
236.41/236.46 c 236s| 1120k|172471 | 2255k| 2.0 | 140M| 34 | - | 40 |7153 | 40 | 16 | 22 | 612k|5458 | 0.000000e+00 | -- | Inf
238.61/238.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
238.61/238.71 c 239s| 1130k|173615 | 2274k| 2.0 | 141M| 34 | - | 40 |7610 | 0 | 0 | 22 | 617k|5477 | 0.000000e+00 | -- | Inf
241.30/241.32 c 241s| 1140k|174239 | 2295k| 2.0 | 141M| 34 | 5 | 40 |6605 | 40 | 16 | 22 | 623k|5504 | 0.000000e+00 | -- | Inf
243.70/243.77 c 244s| 1150k|175002 | 2315k| 2.0 | 142M| 34 | 5 | 40 |6488 | 40 | 16 | 22 | 629k|5519 | 0.000000e+00 | -- | Inf
246.20/246.21 c 246s| 1160k|175697 | 2335k| 2.0 | 143M| 34 | 5 | 40 |6596 | 40 | 16 | 22 | 635k|5547 | 0.000000e+00 | -- | Inf
248.61/248.63 c 249s| 1170k|176407 | 2355k| 2.0 | 144M| 34 | 5 | 40 |6223 | 40 | 16 | 22 | 641k|5575 | 0.000000e+00 | -- | Inf
250.99/251.03 c 251s| 1180k|177135 | 2375k| 2.0 | 145M| 34 | - | 40 |6640 | 40 | 16 | 22 | 647k|5597 | 0.000000e+00 | -- | Inf
253.19/253.29 c 253s| 1190k|178040 | 2394k| 2.0 | 146M| 34 | 5 | 40 |7584 | 40 | 16 | 22 | 653k|5624 | 0.000000e+00 | -- | Inf
255.70/255.72 c 256s| 1200k|178866 | 2414k| 2.0 | 147M| 34 | - | 40 |6862 | 0 | 0 | 22 | 659k|5642 | 0.000000e+00 | -- | Inf
257.90/257.92 c 258s| 1210k|180024 | 2434k| 2.0 | 148M| 34 | 5 | 40 |7278 | 40 | 16 | 22 | 665k|5665 | 0.000000e+00 | -- | Inf
260.00/260.00 c 260s| 1220k|181694 | 2456k| 2.0 | 150M| 34 | - | 40 |9104 | 0 | 0 | 22 | 670k|5686 | 0.000000e+00 | -- | Inf
262.30/262.31 c 262s| 1230k|183362 | 2476k| 2.0 | 151M| 34 | 5 | 40 |9001 | 40 | 16 | 22 | 676k|5705 | 0.000000e+00 | -- | Inf
264.50/264.56 c 265s| 1240k|184733 | 2496k| 2.0 | 152M| 34 | - | 40 |9675 | 40 | 16 | 22 | 681k|5729 | 0.000000e+00 | -- | Inf
266.90/266.93 c 267s| 1250k|185988 | 2516k| 2.0 | 153M| 34 | - | 40 | 10k| 0 | 0 | 22 | 687k|5748 | 0.000000e+00 | -- | Inf
269.30/269.40 c 269s| 1260k|187132 | 2537k| 2.0 | 154M| 34 | 5 | 40 |8954 | 40 | 16 | 22 | 693k|5769 | 0.000000e+00 | -- | Inf
271.89/271.93 c 272s| 1270k|187964 | 2557k| 2.0 | 155M| 34 | - | 40 |8819 | 40 | 16 | 22 | 699k|5788 | 0.000000e+00 | -- | Inf
274.50/274.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
274.50/274.55 c 275s| 1280k|188798 | 2577k| 2.0 | 156M| 34 | 5 | 40 |7666 | 40 | 16 | 22 | 705k|5816 | 0.000000e+00 | -- | Inf
276.79/276.80 c 277s| 1290k|189912 | 2597k| 2.0 | 157M| 34 | - | 40 |8105 | 0 | 0 | 22 | 710k|5853 | 0.000000e+00 | -- | Inf
279.31/279.37 c 279s| 1300k|190759 | 2616k| 2.0 | 157M| 34 | 5 | 40 |7183 | 40 | 16 | 22 | 716k|5880 | 0.000000e+00 | -- | Inf
281.62/281.67 c 282s| 1310k|191657 | 2634k| 2.0 | 158M| 34 | - | 40 |7553 | 40 | 16 | 22 | 721k|5895 | 0.000000e+00 | -- | Inf
284.00/284.05 c 284s| 1320k|192528 | 2655k| 2.0 | 159M| 34 | 5 | 40 |7851 | 40 | 16 | 22 | 727k|5915 | 0.000000e+00 | -- | Inf
286.60/286.62 c 287s| 1330k|193281 | 2674k| 2.0 | 160M| 34 | 5 | 40 |6586 | 40 | 16 | 22 | 733k|5938 | 0.000000e+00 | -- | Inf
288.60/288.62 c 289s| 1340k|194749 | 2694k| 2.0 | 162M| 34 | 5 | 40 |9376 | 40 | 16 | 22 | 739k|5963 | 0.000000e+00 | -- | Inf
290.90/290.91 c 291s| 1350k|196109 | 2714k| 2.0 | 163M| 34 | 5 | 40 |9308 | 40 | 16 | 22 | 745k|5979 | 0.000000e+00 | -- | Inf
293.19/293.24 c 293s| 1360k|197316 | 2736k| 2.0 | 164M| 34 | 5 | 40 | 10k| 40 | 16 | 22 | 750k|5998 | 0.000000e+00 | -- | Inf
295.82/295.88 c 296s| 1370k|198165 | 2756k| 2.0 | 165M| 34 | 5 | 40 | 10k| 40 | 16 | 22 | 756k|6026 | 0.000000e+00 | -- | Inf
298.20/298.24 c 298s| 1380k|199753 | 2777k| 2.0 | 167M| 34 | - | 40 | 11k| 40 | 16 | 22 | 762k|6054 | 0.000000e+00 | -- | Inf
300.90/300.96 c 301s| 1390k|200742 | 2798k| 2.0 | 168M| 34 | 5 | 40 | 11k| 40 | 16 | 22 | 768k|6084 | 0.000000e+00 | -- | Inf
303.79/303.89 c 304s| 1400k|201696 | 2817k| 2.0 | 168M| 34 | 5 | 40 |8877 | 40 | 16 | 22 | 774k|6107 | 0.000000e+00 | -- | Inf
306.60/306.64 c 307s| 1410k|202464 | 2838k| 2.0 | 169M| 34 | - | 40 |8385 | 40 | 16 | 22 | 780k|6124 | 0.000000e+00 | -- | Inf
309.02/309.02 c 309s| 1420k|203496 | 2857k| 2.0 | 170M| 34 | 5 | 40 |9105 | 40 | 16 | 22 | 785k|6152 | 0.000000e+00 | -- | Inf
311.60/311.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
311.60/311.64 c 312s| 1430k|204317 | 2877k| 2.0 | 170M| 34 | - | 40 |7713 | 0 | 0 | 22 | 791k|6168 | 0.000000e+00 | -- | Inf
314.20/314.20 c 314s| 1440k|205192 | 2897k| 2.0 | 171M| 34 | - | 40 |7368 | 40 | 16 | 22 | 797k|6200 | 0.000000e+00 | -- | Inf
316.50/316.57 c 317s| 1450k|206216 | 2917k| 2.0 | 172M| 34 | 5 | 40 |8215 | 40 | 16 | 22 | 803k|6222 | 0.000000e+00 | -- | Inf
318.80/318.82 c 319s| 1460k|207476 | 2937k| 2.0 | 174M| 34 | - | 40 |9074 | 0 | 0 | 22 | 808k|6243 | 0.000000e+00 | -- | Inf
321.40/321.48 c 321s| 1470k|208237 | 2956k| 2.0 | 174M| 34 | 5 | 40 |7536 | 40 | 16 | 22 | 814k|6261 | 0.000000e+00 | -- | Inf
323.80/323.89 c 324s| 1480k|209071 | 2976k| 2.0 | 175M| 34 | 5 | 40 |7597 | 40 | 16 | 22 | 820k|6289 | 0.000000e+00 | -- | Inf
326.40/326.48 c 326s| 1490k|209808 | 2996k| 2.0 | 175M| 34 | 5 | 40 |6508 | 40 | 16 | 22 | 826k|6303 | 0.000000e+00 | -- | Inf
328.92/328.93 c 329s| 1500k|210613 | 3016k| 2.0 | 177M| 34 | - | 40 |7166 | 40 | 16 | 22 | 832k|6317 | 0.000000e+00 | -- | Inf
331.30/331.36 c 331s| 1510k|211387 | 3036k| 2.0 | 178M| 34 | 5 | 40 |8184 | 40 | 16 | 22 | 838k|6342 | 0.000000e+00 | -- | Inf
333.40/333.47 c 333s| 1520k|212868 | 3056k| 2.0 | 179M| 34 | 5 | 40 |9760 | 40 | 16 | 22 | 843k|6354 | 0.000000e+00 | -- | Inf
335.90/335.94 c 336s| 1530k|213680 | 3074k| 2.0 | 180M| 34 | - | 40 |9555 | 0 | 0 | 22 | 849k|6371 | 0.000000e+00 | -- | Inf
338.82/338.89 c 339s| 1540k|214272 | 3094k| 2.0 | 180M| 34 | 5 | 40 |7453 | 40 | 16 | 22 | 855k|6390 | 0.000000e+00 | -- | Inf
341.40/341.49 c 341s| 1550k|214871 | 3115k| 2.0 | 181M| 34 | 5 | 40 |7022 | 40 | 16 | 22 | 861k|6411 | 0.000000e+00 | -- | Inf
343.80/343.84 c 344s| 1560k|215741 | 3134k| 2.0 | 182M| 34 | - | 40 |8394 | 40 | 16 | 22 | 867k|6432 | 0.000000e+00 | -- | Inf
346.30/346.38 c 346s| 1570k|216639 | 3154k| 2.0 | 183M| 34 | - | 40 |7265 | 40 | 16 | 22 | 874k|6452 | 0.000000e+00 | -- | Inf
348.90/348.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
348.90/348.95 c 349s| 1580k|217389 | 3174k| 2.0 | 184M| 34 | 5 | 40 |8001 | 40 | 16 | 22 | 880k|6472 | 0.000000e+00 | -- | Inf
351.10/351.17 c 351s| 1590k|218422 | 3194k| 2.0 | 185M| 34 | - | 40 | 10k| 40 | 16 | 22 | 886k|6491 | 0.000000e+00 | -- | Inf
353.50/353.54 c 354s| 1600k|219575 | 3213k| 2.0 | 187M| 34 | - | 40 | 11k| 40 | 16 | 22 | 891k|6505 | 0.000000e+00 | -- | Inf
356.00/356.09 c 356s| 1610k|220829 | 3232k| 2.0 | 188M| 34 | 5 | 40 | 11k| 40 | 16 | 22 | 896k|6529 | 0.000000e+00 | -- | Inf
358.40/358.42 c 358s| 1620k|222997 | 3253k| 2.0 | 189M| 34 | - | 40 | 12k| 40 | 16 | 22 | 902k|6542 | 0.000000e+00 | -- | Inf
360.82/360.83 c 361s| 1630k|225223 | 3273k| 2.0 | 191M| 34 | 5 | 40 | 13k| 40 | 16 | 22 | 907k|6571 | 0.000000e+00 | -- | Inf
363.49/363.52 c 364s| 1640k|227013 | 3293k| 2.0 | 193M| 34 | - | 40 | 13k| 40 | 16 | 22 | 912k|6587 | 0.000000e+00 | -- | Inf
366.32/366.38 c 366s| 1650k|228619 | 3313k| 2.0 | 194M| 34 | - | 40 | 13k| 40 | 16 | 22 | 917k|6603 | 0.000000e+00 | -- | Inf
368.90/368.90 c 369s| 1660k|230870 | 3334k| 2.0 | 196M| 34 | 5 | 40 | 14k| 40 | 16 | 22 | 922k|6622 | 0.000000e+00 | -- | Inf
371.40/371.49 c 371s| 1670k|233094 | 3355k| 2.0 | 197M| 34 | 5 | 40 | 15k| 40 | 16 | 22 | 927k|6640 | 0.000000e+00 | -- | Inf
374.40/374.40 c 374s| 1680k|234755 | 3375k| 2.0 | 199M| 34 | 5 | 40 | 16k| 40 | 16 | 22 | 932k|6659 | 0.000000e+00 | -- | Inf
377.40/377.44 c 377s| 1690k|236193 | 3395k| 2.0 | 200M| 34 | 5 | 40 | 16k| 40 | 16 | 22 | 938k|6682 | 0.000000e+00 | -- | Inf
380.90/380.94 c 381s| 1700k|237456 | 3415k| 2.0 | 201M| 34 | 5 | 40 | 14k| 40 | 16 | 22 | 943k|6695 | 0.000000e+00 | -- | Inf
384.20/384.28 c 384s| 1710k|238683 | 3435k| 2.0 | 202M| 34 | 5 | 40 | 15k| 40 | 16 | 22 | 949k|6711 | 0.000000e+00 | -- | Inf
387.70/387.71 c 388s| 1720k|239990 | 3456k| 2.0 | 203M| 34 | - | 40 | 15k| 40 | 16 | 22 | 955k|6727 | 0.000000e+00 | -- | Inf
391.20/391.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
391.20/391.25 c 391s| 1730k|240955 | 3476k| 2.0 | 204M| 34 | 5 | 40 | 15k| 40 | 16 | 22 | 961k|6751 | 0.000000e+00 | -- | Inf
394.60/394.64 c 395s| 1740k|242116 | 3496k| 2.0 | 205M| 34 | 5 | 40 | 15k| 40 | 16 | 22 | 966k|6768 | 0.000000e+00 | -- | Inf
398.60/398.64 c 399s| 1750k|242791 | 3517k| 2.0 | 206M| 34 | - | 40 | 15k| 40 | 16 | 22 | 972k|6794 | 0.000000e+00 | -- | Inf
402.10/402.12 c 402s| 1760k|243803 | 3537k| 2.0 | 207M| 34 | 5 | 40 | 15k| 40 | 16 | 22 | 978k|6811 | 0.000000e+00 | -- | Inf
405.70/405.80 c 406s| 1770k|244670 | 3557k| 2.0 | 208M| 34 | 5 | 40 | 15k| 40 | 16 | 22 | 984k|6836 | 0.000000e+00 | -- | Inf
409.50/409.55 c 410s| 1780k|245452 | 3578k| 2.0 | 209M| 34 | 5 | 40 | 15k| 40 | 16 | 22 | 990k|6850 | 0.000000e+00 | -- | Inf
413.10/413.10 c 413s| 1790k|246321 | 3599k| 2.0 | 210M| 34 | 5 | 40 | 16k| 40 | 16 | 22 | 996k|6882 | 0.000000e+00 | -- | Inf
416.81/416.86 c 417s| 1800k|247286 | 3619k| 2.0 | 211M| 34 | 5 | 40 | 16k| 40 | 16 | 22 |1002k|6908 | 0.000000e+00 | -- | Inf
420.60/420.69 c 421s| 1810k|248259 | 3639k| 2.0 | 211M| 34 | 5 | 40 | 12k| 40 | 16 | 22 |1008k|6922 | 0.000000e+00 | -- | Inf
424.00/424.09 c 424s| 1820k|249008 | 3659k| 2.0 | 211M| 34 | 5 | 40 |8455 | 40 | 16 | 22 |1014k|6934 | 0.000000e+00 | -- | Inf
427.00/427.04 c 427s| 1830k|249582 | 3679k| 2.0 | 211M| 34 | - | 40 |6861 | 0 | 0 | 22 |1020k|6948 | 0.000000e+00 | -- | Inf
429.51/429.50 c 429s| 1840k|250543 | 3699k| 2.0 | 212M| 34 | 5 | 40 |7311 | 40 | 16 | 22 |1026k|6965 | 0.000000e+00 | -- | Inf
431.80/431.81 c 432s| 1850k|251618 | 3718k| 2.0 | 214M| 34 | 5 | 40 |9199 | 40 | 16 | 22 |1031k|6990 | 0.000000e+00 | -- | Inf
434.41/434.43 c 434s| 1860k|252615 | 3737k| 2.0 | 215M| 34 | - | 40 | 10k| 40 | 16 | 22 |1037k|7005 | 0.000000e+00 | -- | Inf
437.30/437.39 c 437s| 1870k|253510 | 3757k| 2.0 | 215M| 34 | 5 | 40 |7817 | 40 | 16 | 22 |1043k|7024 | 0.000000e+00 | -- | Inf
440.10/440.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
440.10/440.19 c 440s| 1880k|254061 | 3776k| 2.0 | 216M| 34 | - | 40 |7160 | 40 | 16 | 22 |1049k|7046 | 0.000000e+00 | -- | Inf
442.60/442.62 c 443s| 1890k|255036 | 3797k| 2.0 | 217M| 34 | 5 | 40 |8818 | 40 | 16 | 22 |1055k|7075 | 0.000000e+00 | -- | Inf
445.53/445.59 c 446s| 1900k|255558 | 3816k| 2.0 | 217M| 34 | 5 | 40 |7260 | 40 | 16 | 22 |1061k|7084 | 0.000000e+00 | -- | Inf
448.30/448.30 c 448s| 1910k|256163 | 3836k| 2.0 | 218M| 34 | - | 40 |7058 | 0 | 0 | 22 |1067k|7104 | 0.000000e+00 | -- | Inf
451.10/451.10 c 451s| 1920k|256746 | 3856k| 2.0 | 219M| 34 | 5 | 40 |6933 | 40 | 16 | 22 |1073k|7122 | 0.000000e+00 | -- | Inf
453.80/453.87 c 454s| 1930k|257286 | 3876k| 2.0 | 219M| 34 | - | 40 |7157 | 0 | 0 | 22 |1079k|7145 | 0.000000e+00 | -- | Inf
456.71/456.75 c 457s| 1940k|257850 | 3896k| 2.0 | 220M| 34 | 5 | 40 |7331 | 40 | 16 | 22 |1085k|7167 | 0.000000e+00 | -- | Inf
459.20/459.27 c 459s| 1950k|258794 | 3916k| 2.0 | 221M| 34 | 5 | 40 |7921 | 40 | 16 | 22 |1091k|7188 | 0.000000e+00 | -- | Inf
461.71/461.79 c 462s| 1960k|259793 | 3936k| 2.0 | 222M| 34 | - | 40 |8644 | 0 | 0 | 22 |1097k|7200 | 0.000000e+00 | -- | Inf
464.12/464.19 c 464s| 1970k|261097 | 3955k| 2.0 | 224M| 34 | 5 | 40 | 10k| 40 | 16 | 22 |1103k|7212 | 0.000000e+00 | -- | Inf
467.20/467.23 c 467s| 1980k|261753 | 3975k| 2.0 | 224M| 34 | - | 40 |8767 | 0 | 0 | 22 |1109k|7235 | 0.000000e+00 | -- | Inf
470.10/470.20 c 470s| 1990k|262207 | 3995k| 2.0 | 225M| 34 | 5 | 40 |7233 | 40 | 16 | 22 |1115k|7263 | 0.000000e+00 | -- | Inf
472.91/472.97 c 473s| 2000k|262764 | 4015k| 2.0 | 225M| 34 | - | 40 |6909 | 40 | 16 | 22 |1121k|7277 | 0.000000e+00 | -- | Inf
475.51/475.55 c 476s| 2010k|263393 | 4034k| 2.0 | 226M| 35 | 5 | 40 |7398 | 40 | 16 | 22 |1127k|7298 | 0.000000e+00 | -- | Inf
478.30/478.41 c 478s| 2020k|263963 | 4054k| 2.0 | 227M| 35 | 5 | 40 |7310 | 40 | 16 | 22 |1133k|7313 | 0.000000e+00 | -- | Inf
481.00/481.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
481.00/481.06 c 481s| 2030k|264698 | 4074k| 2.0 | 227M| 35 | 5 | 40 |6940 | 40 | 16 | 22 |1139k|7326 | 0.000000e+00 | -- | Inf
483.40/483.47 c 483s| 2040k|265482 | 4094k| 2.0 | 229M| 35 | 5 | 40 |8187 | 40 | 16 | 22 |1145k|7352 | 0.000000e+00 | -- | Inf
486.12/486.18 c 486s| 2050k|266004 | 4114k| 2.0 | 229M| 35 | - | 40 |6237 | 40 | 16 | 22 |1151k|7376 | 0.000000e+00 | -- | Inf
488.61/488.68 c 489s| 2060k|266726 | 4134k| 2.0 | 230M| 35 | 5 | 40 |6902 | 40 | 16 | 22 |1157k|7390 | 0.000000e+00 | -- | Inf
491.30/491.31 c 491s| 2070k|267361 | 4154k| 2.0 | 230M| 35 | - | 40 |7055 | 0 | 0 | 22 |1163k|7410 | 0.000000e+00 | -- | Inf
494.00/494.05 c 494s| 2080k|267920 | 4174k| 2.0 | 231M| 35 | 5 | 40 |6939 | 40 | 16 | 22 |1170k|7430 | 0.000000e+00 | -- | Inf
496.80/496.81 c 497s| 2090k|268424 | 4194k| 2.0 | 232M| 35 | 5 | 40 |6886 | 40 | 16 | 22 |1176k|7440 | 0.000000e+00 | -- | Inf
499.61/499.69 c 500s| 2100k|268872 | 4214k| 2.0 | 232M| 35 | 5 | 40 |6594 | 40 | 16 | 22 |1182k|7459 | 0.000000e+00 | -- | Inf
502.40/502.45 c 502s| 2110k|269326 | 4234k| 2.0 | 233M| 35 | 5 | 40 |7092 | 40 | 16 | 22 |1188k|7476 | 0.000000e+00 | -- | Inf
504.82/504.89 c 505s| 2120k|270630 | 4253k| 2.0 | 234M| 35 | 5 | 40 |7397 | 40 | 16 | 22 |1193k|7488 | 0.000000e+00 | -- | Inf
506.90/506.91 c 507s| 2130k|273071 | 4274k| 2.0 | 236M| 35 | 5 | 40 |9305 | 40 | 16 | 22 |1199k|7508 | 0.000000e+00 | -- | Inf
509.22/509.26 c 509s| 2140k|274775 | 4294k| 2.0 | 238M| 35 | 5 | 40 |9939 | 40 | 16 | 22 |1204k|7522 | 0.000000e+00 | -- | Inf
511.80/511.82 c 512s| 2150k|276265 | 4313k| 2.0 | 239M| 35 | - | 40 | 10k| 0 | 0 | 22 |1209k|7530 | 0.000000e+00 | -- | Inf
514.40/514.45 c 514s| 2160k|277551 | 4333k| 2.0 | 241M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1215k|7547 | 0.000000e+00 | -- | Inf
517.31/517.31 c 517s| 2170k|278531 | 4352k| 2.0 | 242M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1221k|7562 | 0.000000e+00 | -- | Inf
520.22/520.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
520.22/520.26 c 520s| 2180k|279385 | 4371k| 2.0 | 242M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |1227k|7585 | 0.000000e+00 | -- | Inf
523.01/523.05 c 523s| 2190k|280480 | 4391k| 2.0 | 244M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |1232k|7606 | 0.000000e+00 | -- | Inf
525.91/525.91 c 526s| 2200k|281394 | 4410k| 2.0 | 245M| 35 | - | 40 | 11k| 0 | 0 | 22 |1238k|7628 | 0.000000e+00 | -- | Inf
529.02/529.08 c 529s| 2210k|281970 | 4429k| 2.0 | 245M| 35 | - | 40 | 10k| 40 | 16 | 22 |1244k|7646 | 0.000000e+00 | -- | Inf
531.90/531.91 c 532s| 2220k|282807 | 4447k| 2.0 | 246M| 35 | 5 | 40 | 12k| 40 | 16 | 22 |1250k|7660 | 0.000000e+00 | -- | Inf
535.11/535.14 c 535s| 2230k|283421 | 4465k| 2.0 | 247M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |1256k|7686 | 0.000000e+00 | -- | Inf
538.40/538.48 c 538s| 2240k|283809 | 4484k| 2.0 | 247M| 35 | - | 40 | 10k| 0 | 0 | 22 |1262k|7696 | 0.000000e+00 | -- | Inf
541.70/541.74 c 542s| 2250k|284428 | 4504k| 2.0 | 248M| 35 | - | 40 |9618 | 0 | 0 | 22 |1268k|7716 | 0.000000e+00 | -- | Inf
544.81/544.85 c 545s| 2260k|285032 | 4525k| 2.0 | 248M| 35 | 5 | 40 |9312 | 40 | 16 | 22 |1274k|7735 | 0.000000e+00 | -- | Inf
547.30/547.39 c 547s| 2270k|286186 | 4545k| 2.0 | 250M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1280k|7762 | 0.000000e+00 | -- | Inf
550.20/550.22 c 550s| 2280k|287129 | 4565k| 2.0 | 250M| 35 | - | 40 | 10k| 40 | 16 | 22 |1286k|7772 | 0.000000e+00 | -- | Inf
553.50/553.54 c 554s| 2290k|287686 | 4584k| 2.0 | 251M| 35 | 5 | 40 |8484 | 40 | 16 | 22 |1292k|7797 | 0.000000e+00 | -- | Inf
555.80/555.86 c 556s| 2300k|288641 | 4605k| 2.0 | 253M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |1298k|7807 | 0.000000e+00 | -- | Inf
558.90/558.90 c 559s| 2310k|289340 | 4626k| 2.0 | 253M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |1305k|7822 | 0.000000e+00 | -- | Inf
562.51/562.52 c 563s| 2320k|289682 | 4646k| 2.0 | 253M| 35 | 5 | 40 |8542 | 40 | 16 | 22 |1312k|7836 | 0.000000e+00 | -- | Inf
565.10/565.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
565.10/565.14 c 565s| 2330k|290625 | 4666k| 2.0 | 254M| 35 | - | 40 |9317 | 40 | 16 | 22 |1317k|7854 | 0.000000e+00 | -- | Inf
567.52/567.58 c 568s| 2340k|291691 | 4686k| 2.0 | 256M| 35 | - | 40 | 10k| 0 | 0 | 22 |1323k|7881 | 0.000000e+00 | -- | Inf
570.60/570.65 c 571s| 2350k|292237 | 4706k| 2.0 | 256M| 35 | - | 40 |9462 | 40 | 16 | 22 |1329k|7893 | 0.000000e+00 | -- | Inf
572.90/572.99 c 573s| 2360k|293623 | 4727k| 2.0 | 258M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |1334k|7911 | 0.000000e+00 | -- | Inf
575.71/575.74 c 576s| 2370k|294453 | 4748k| 2.0 | 259M| 35 | - | 40 | 12k| 0 | 0 | 22 |1341k|7921 | 0.000000e+00 | -- | Inf
579.10/579.11 c 579s| 2380k|294765 | 4768k| 2.0 | 259M| 35 | - | 40 | 11k| 0 | 0 | 22 |1347k|7942 | 0.000000e+00 | -- | Inf
582.00/582.05 c 582s| 2390k|295720 | 4788k| 2.0 | 260M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |1353k|7958 | 0.000000e+00 | -- | Inf
585.30/585.32 c 585s| 2400k|296415 | 4809k| 2.0 | 261M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1359k|7979 | 0.000000e+00 | -- | Inf
588.61/588.67 c 589s| 2410k|296784 | 4828k| 2.0 | 261M| 35 | - | 40 |8471 | 40 | 16 | 22 |1365k|7998 | 0.000000e+00 | -- | Inf
590.91/590.90 c 591s| 2420k|298501 | 4848k| 2.0 | 263M| 35 | - | 40 | 11k| 40 | 16 | 22 |1371k|8016 | 0.000000e+00 | -- | Inf
593.50/593.54 c 594s| 2430k|299701 | 4869k| 2.0 | 264M| 35 | - | 40 | 11k| 40 | 16 | 22 |1376k|8028 | 0.000000e+00 | -- | Inf
596.61/596.68 c 597s| 2440k|300159 | 4889k| 2.0 | 264M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1382k|8046 | 0.000000e+00 | -- | Inf
599.70/599.71 c 600s| 2450k|300827 | 4909k| 2.0 | 265M| 35 | - | 40 |9312 | 0 | 0 | 22 |1388k|8054 | 0.000000e+00 | -- | Inf
602.41/602.45 c 602s| 2460k|301640 | 4929k| 2.0 | 266M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1395k|8076 | 0.000000e+00 | -- | Inf
605.02/605.06 c 605s| 2470k|302698 | 4948k| 2.0 | 267M| 35 | 5 | 40 | 12k| 40 | 16 | 22 |1400k|8087 | 0.000000e+00 | -- | Inf
608.40/608.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
608.40/608.47 c 608s| 2480k|303269 | 4968k| 2.0 | 267M| 35 | - | 40 |8575 | 0 | 0 | 22 |1406k|8102 | 0.000000e+00 | -- | Inf
611.40/611.44 c 611s| 2490k|303833 | 4987k| 2.0 | 267M| 35 | - | 40 |7427 | 0 | 0 | 22 |1412k|8113 | 0.000000e+00 | -- | Inf
614.21/614.29 c 614s| 2500k|304351 | 5008k| 2.0 | 268M| 35 | 5 | 40 |7413 | 40 | 16 | 22 |1418k|8133 | 0.000000e+00 | -- | Inf
616.51/616.51 c 617s| 2510k|305752 | 5028k| 2.0 | 270M| 35 | - | 40 |9797 | 0 | 0 | 22 |1424k|8142 | 0.000000e+00 | -- | Inf
619.11/619.10 c 619s| 2520k|306401 | 5047k| 2.0 | 271M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1430k|8158 | 0.000000e+00 | -- | Inf
622.21/622.26 c 622s| 2530k|307098 | 5067k| 2.0 | 271M| 35 | - | 40 |8080 | 40 | 16 | 22 |1436k|8176 | 0.000000e+00 | -- | Inf
625.21/625.29 c 625s| 2540k|307385 | 5086k| 2.0 | 271M| 35 | 5 | 40 |6360 | 40 | 16 | 22 |1442k|8187 | 0.000000e+00 | -- | Inf
627.60/627.66 c 628s| 2550k|308183 | 5107k| 2.0 | 272M| 35 | - | 40 |8656 | 40 | 16 | 22 |1449k|8201 | 0.000000e+00 | -- | Inf
630.70/630.76 c 631s| 2560k|308627 | 5127k| 2.0 | 273M| 35 | - | 40 |7554 | 40 | 16 | 22 |1455k|8219 | 0.000000e+00 | -- | Inf
633.31/633.38 c 633s| 2570k|309652 | 5147k| 2.0 | 274M| 35 | 5 | 40 |7952 | 40 | 16 | 22 |1460k|8233 | 0.000000e+00 | -- | Inf
636.00/636.09 c 636s| 2580k|310215 | 5167k| 2.0 | 274M| 35 | 5 | 40 |7683 | 40 | 16 | 22 |1467k|8246 | 0.000000e+00 | -- | Inf
638.80/638.85 c 639s| 2590k|310824 | 5187k| 2.0 | 275M| 35 | - | 40 |8110 | 0 | 0 | 22 |1473k|8271 | 0.000000e+00 | -- | Inf
641.71/641.70 c 642s| 2600k|311469 | 5206k| 2.0 | 276M| 35 | 5 | 40 |7582 | 40 | 16 | 22 |1479k|8282 | 0.000000e+00 | -- | Inf
644.30/644.39 c 644s| 2610k|312061 | 5227k| 2.0 | 277M| 35 | - | 40 |8551 | 0 | 0 | 22 |1485k|8299 | 0.000000e+00 | -- | Inf
647.20/647.23 c 647s| 2620k|312693 | 5246k| 2.0 | 278M| 35 | 5 | 40 |8319 | 40 | 16 | 22 |1491k|8321 | 0.000000e+00 | -- | Inf
649.61/649.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
649.61/649.66 c 650s| 2630k|313610 | 5267k| 2.0 | 279M| 35 | - | 40 | 11k| 40 | 16 | 22 |1497k|8340 | 0.000000e+00 | -- | Inf
652.91/652.98 c 653s| 2640k|314121 | 5287k| 2.0 | 279M| 35 | - | 40 |8781 | 40 | 16 | 22 |1503k|8361 | 0.000000e+00 | -- | Inf
656.11/656.16 c 656s| 2650k|314385 | 5308k| 2.0 | 280M| 35 | 5 | 40 |7661 | 40 | 16 | 22 |1510k|8372 | 0.000000e+00 | -- | Inf
658.92/658.92 c 659s| 2660k|315071 | 5328k| 2.0 | 281M| 35 | 5 | 40 |8640 | 40 | 16 | 22 |1516k|8388 | 0.000000e+00 | -- | Inf
661.91/661.98 c 662s| 2670k|315693 | 5348k| 2.0 | 281M| 35 | - | 40 |8108 | 40 | 16 | 22 |1522k|8410 | 0.000000e+00 | -- | Inf
664.60/664.64 c 665s| 2680k|316492 | 5368k| 2.0 | 282M| 35 | - | 40 |8151 | 40 | 16 | 22 |1528k|8421 | 0.000000e+00 | -- | Inf
667.31/667.37 c 667s| 2690k|317188 | 5388k| 2.0 | 283M| 35 | 5 | 40 |9233 | 40 | 16 | 22 |1534k|8436 | 0.000000e+00 | -- | Inf
670.50/670.51 c 671s| 2700k|317604 | 5407k| 2.0 | 283M| 35 | 5 | 40 |8069 | 40 | 16 | 22 |1541k|8454 | 0.000000e+00 | -- | Inf
673.40/673.40 c 673s| 2710k|318156 | 5427k| 2.0 | 284M| 35 | 5 | 40 |7652 | 40 | 16 | 22 |1547k|8471 | 0.000000e+00 | -- | Inf
676.10/676.19 c 676s| 2720k|318704 | 5446k| 2.0 | 285M| 35 | - | 40 |7776 | 40 | 16 | 22 |1553k|8492 | 0.000000e+00 | -- | Inf
679.00/679.07 c 679s| 2730k|319182 | 5466k| 2.0 | 285M| 35 | 5 | 40 |7299 | 40 | 16 | 22 |1559k|8507 | 0.000000e+00 | -- | Inf
682.03/682.05 c 682s| 2740k|319582 | 5486k| 2.0 | 286M| 35 | 5 | 40 |7370 | 40 | 16 | 22 |1565k|8527 | 0.000000e+00 | -- | Inf
684.91/684.94 c 685s| 2750k|319972 | 5506k| 2.0 | 286M| 35 | - | 40 |7208 | 0 | 0 | 22 |1572k|8539 | 0.000000e+00 | -- | Inf
687.31/687.36 c 687s| 2760k|320744 | 5526k| 2.0 | 288M| 35 | 5 | 40 |8965 | 40 | 16 | 22 |1578k|8557 | 0.000000e+00 | -- | Inf
689.51/689.61 c 690s| 2770k|322652 | 5547k| 2.0 | 289M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1583k|8577 | 0.000000e+00 | -- | Inf
692.00/692.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
692.00/692.05 c 692s| 2780k|324183 | 5568k| 2.0 | 291M| 35 | - | 40 | 11k| 40 | 16 | 22 |1589k|8602 | 0.000000e+00 | -- | Inf
694.60/694.69 c 695s| 2790k|325524 | 5588k| 2.0 | 292M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |1595k|8626 | 0.000000e+00 | -- | Inf
697.50/697.53 c 698s| 2800k|326341 | 5609k| 2.0 | 293M| 35 | - | 40 | 11k| 40 | 16 | 22 |1601k|8642 | 0.000000e+00 | -- | Inf
700.31/700.36 c 700s| 2810k|327126 | 5629k| 2.0 | 294M| 35 | 5 | 40 | 12k| 40 | 16 | 22 |1607k|8651 | 0.000000e+00 | -- | Inf
703.50/703.55 c 704s| 2820k|327488 | 5650k| 2.0 | 295M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |1613k|8669 | 0.000000e+00 | -- | Inf
706.71/706.77 c 707s| 2830k|328100 | 5669k| 2.0 | 294M| 35 | 5 | 40 |8602 | 40 | 16 | 22 |1619k|8674 | 0.000000e+00 | -- | Inf
708.91/708.98 c 709s| 2840k|330037 | 5689k| 2.0 | 297M| 35 | - | 40 | 11k| 0 | 0 | 22 |1624k|8695 | 0.000000e+00 | -- | Inf
711.81/711.81 c 712s| 2850k|331069 | 5710k| 2.0 | 297M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |1630k|8713 | 0.000000e+00 | -- | Inf
714.61/714.61 c 715s| 2860k|331877 | 5730k| 2.0 | 299M| 35 | 5 | 40 | 12k| 40 | 16 | 22 |1636k|8743 | 0.000000e+00 | -- | Inf
718.11/718.14 c 718s| 2870k|332270 | 5750k| 2.0 | 298M| 35 | - | 40 |8386 | 40 | 16 | 22 |1642k|8764 | 0.000000e+00 | -- | Inf
721.31/721.32 c 721s| 2880k|332604 | 5770k| 2.0 | 298M| 35 | - | 40 |7292 | 40 | 16 | 22 |1648k|8787 | 0.000000e+00 | -- | Inf
724.31/724.36 c 724s| 2890k|332749 | 5790k| 2.0 | 299M| 35 | - | 40 |6969 | 40 | 16 | 22 |1655k|8803 | 0.000000e+00 | -- | Inf
726.81/726.87 c 727s| 2900k|333491 | 5809k| 2.0 | 300M| 35 | 5 | 40 |9059 | 40 | 16 | 22 |1660k|8818 | 0.000000e+00 | -- | Inf
729.71/729.79 c 730s| 2910k|334204 | 5830k| 2.0 | 301M| 35 | 5 | 40 |8600 | 40 | 16 | 22 |1667k|8831 | 0.000000e+00 | -- | Inf
732.53/732.52 c 733s| 2920k|335262 | 5850k| 2.0 | 302M| 35 | - | 40 |8644 | 40 | 16 | 22 |1673k|8842 | 0.000000e+00 | -- | Inf
734.91/734.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
734.91/734.97 c 735s| 2930k|336411 | 5870k| 2.0 | 303M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1679k|8863 | 0.000000e+00 | -- | Inf
737.91/738.00 c 738s| 2940k|336957 | 5890k| 2.0 | 304M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1685k|8882 | 0.000000e+00 | -- | Inf
741.11/741.14 c 741s| 2950k|337524 | 5909k| 2.0 | 304M| 35 | - | 40 |8371 | 40 | 16 | 22 |1691k|8889 | 0.000000e+00 | -- | Inf
743.91/743.91 c 744s| 2960k|338262 | 5929k| 2.0 | 305M| 35 | 5 | 40 |9086 | 40 | 16 | 22 |1697k|8903 | 0.000000e+00 | -- | Inf
746.20/746.21 c 746s| 2970k|339880 | 5948k| 2.0 | 307M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1702k|8912 | 0.000000e+00 | -- | Inf
748.81/748.80 c 749s| 2980k|341039 | 5967k| 2.0 | 308M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |1707k|8922 | 0.000000e+00 | -- | Inf
751.80/751.86 c 752s| 2990k|341567 | 5986k| 2.0 | 308M| 35 | - | 40 | 10k| 40 | 16 | 22 |1712k|8939 | 0.000000e+00 | -- | Inf
754.79/754.88 c 755s| 3000k|342286 | 6006k| 2.0 | 309M| 35 | - | 40 | 10k| 40 | 16 | 22 |1718k|8960 | 0.000000e+00 | -- | Inf
758.59/758.62 c 759s| 3010k|342626 | 6026k| 2.0 | 309M| 35 | 5 | 40 |9170 | 40 | 16 | 22 |1725k|8969 | 0.000000e+00 | -- | Inf
761.69/761.70 c 762s| 3020k|343316 | 6045k| 2.0 | 310M| 35 | - | 40 |9791 | 0 | 0 | 22 |1730k|8982 | 0.000000e+00 | -- | Inf
765.08/765.15 c 765s| 3030k|343657 | 6064k| 2.0 | 310M| 35 | - | 40 |7628 | 40 | 16 | 22 |1736k|8998 | 0.000000e+00 | -- | Inf
768.18/768.30 c 768s| 3040k|344258 | 6084k| 2.0 | 311M| 35 | - | 40 |9010 | 0 | 0 | 22 |1743k|9005 | 0.000000e+00 | -- | Inf
770.69/770.78 c 771s| 3050k|345931 | 6105k| 2.0 | 313M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1748k|9023 | 0.000000e+00 | -- | Inf
773.69/773.74 c 774s| 3060k|346918 | 6125k| 2.0 | 314M| 35 | - | 40 | 11k| 0 | 0 | 22 |1754k|9034 | 0.000000e+00 | -- | Inf
776.89/776.93 c 777s| 3070k|347654 | 6144k| 2.0 | 315M| 35 | - | 40 | 11k| 40 | 16 | 22 |1760k|9047 | 0.000000e+00 | -- | Inf
780.69/780.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
780.69/780.78 c 781s| 3080k|348127 | 6164k| 2.0 | 315M| 35 | - | 40 |9280 | 40 | 16 | 22 |1767k|9062 | 0.000000e+00 | -- | Inf
784.09/784.12 c 784s| 3090k|348661 | 6184k| 2.0 | 316M| 35 | - | 40 |8657 | 0 | 0 | 22 |1773k|9078 | 0.000000e+00 | -- | Inf
787.09/787.15 c 787s| 3100k|349593 | 6203k| 2.0 | 317M| 35 | 5 | 40 |9230 | 40 | 16 | 22 |1779k|9087 | 0.000000e+00 | -- | Inf
790.29/790.38 c 790s| 3110k|350040 | 6223k| 2.0 | 317M| 35 | - | 40 |9672 | 40 | 16 | 22 |1785k|9105 | 0.000000e+00 | -- | Inf
793.69/793.76 c 794s| 3120k|350572 | 6243k| 2.0 | 318M| 35 | - | 40 |9911 | 40 | 16 | 22 |1792k|9128 | 0.000000e+00 | -- | Inf
797.08/797.13 c 797s| 3130k|351075 | 6262k| 2.0 | 319M| 35 | - | 40 |8828 | 0 | 0 | 22 |1797k|9141 | 0.000000e+00 | -- | Inf
800.19/800.28 c 800s| 3140k|351819 | 6283k| 2.0 | 319M| 35 | - | 40 |8807 | 0 | 0 | 22 |1804k|9158 | 0.000000e+00 | -- | Inf
802.69/802.76 c 803s| 3150k|353151 | 6304k| 2.0 | 321M| 35 | - | 40 | 10k| 40 | 16 | 22 |1809k|9180 | 0.000000e+00 | -- | Inf
805.88/805.97 c 806s| 3160k|353635 | 6324k| 2.0 | 321M| 35 | - | 40 |9889 | 40 | 16 | 22 |1816k|9192 | 0.000000e+00 | -- | Inf
809.29/809.39 c 809s| 3170k|354209 | 6343k| 2.0 | 322M| 35 | 5 | 40 |8746 | 40 | 16 | 22 |1822k|9206 | 0.000000e+00 | -- | Inf
812.19/812.28 c 812s| 3180k|355182 | 6363k| 2.0 | 323M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1828k|9222 | 0.000000e+00 | -- | Inf
815.99/816.08 c 816s| 3190k|355403 | 6383k| 2.0 | 323M| 35 | 5 | 40 |7736 | 40 | 16 | 22 |1834k|9235 | 0.000000e+00 | -- | Inf
819.41/819.50 c 820s| 3200k|355771 | 6402k| 2.0 | 324M| 35 | - | 40 |8286 | 40 | 16 | 22 |1840k|9250 | 0.000000e+00 | -- | Inf
822.59/822.62 c 823s| 3210k|356418 | 6422k| 2.0 | 325M| 35 | - | 40 |9186 | 40 | 16 | 22 |1846k|9261 | 0.000000e+00 | -- | Inf
826.11/826.19 c 826s| 3220k|356816 | 6442k| 2.0 | 325M| 35 | 5 | 40 |7876 | 40 | 16 | 22 |1852k|9271 | 0.000000e+00 | -- | Inf
829.19/829.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
829.19/829.26 c 829s| 3230k|357441 | 6461k| 2.0 | 326M| 35 | - | 40 |8165 | 40 | 16 | 22 |1858k|9285 | 0.000000e+00 | -- | Inf
832.71/832.77 c 833s| 3240k|357866 | 6481k| 2.0 | 326M| 35 | - | 40 |8060 | 40 | 16 | 22 |1864k|9299 | 0.000000e+00 | -- | Inf
835.79/835.85 c 836s| 3250k|358321 | 6500k| 2.0 | 327M| 35 | - | 40 |8698 | 0 | 0 | 22 |1870k|9315 | 0.000000e+00 | -- | Inf
839.09/839.16 c 839s| 3260k|358899 | 6520k| 2.0 | 328M| 35 | 5 | 40 |7872 | 40 | 16 | 22 |1877k|9327 | 0.000000e+00 | -- | Inf
841.89/841.90 c 842s| 3270k|359795 | 6541k| 2.0 | 329M| 35 | 5 | 40 |9645 | 40 | 16 | 22 |1883k|9347 | 0.000000e+00 | -- | Inf
845.29/845.38 c 845s| 3280k|360194 | 6561k| 2.0 | 329M| 35 | - | 40 |7473 | 40 | 16 | 22 |1889k|9360 | 0.000000e+00 | -- | Inf
848.49/848.57 c 849s| 3290k|360568 | 6581k| 2.0 | 330M| 35 | 5 | 40 |7182 | 40 | 16 | 22 |1895k|9378 | 0.000000e+00 | -- | Inf
851.79/851.87 c 852s| 3300k|360898 | 6602k| 2.0 | 330M| 35 | 5 | 40 |7087 | 40 | 16 | 22 |1902k|9390 | 0.000000e+00 | -- | Inf
854.79/854.84 c 855s| 3310k|361335 | 6621k| 2.0 | 331M| 35 | 5 | 40 |7650 | 40 | 16 | 22 |1908k|9406 | 0.000000e+00 | -- | Inf
857.39/857.45 c 857s| 3320k|362258 | 6642k| 2.0 | 332M| 35 | 5 | 40 |9661 | 40 | 16 | 22 |1914k|9411 | 0.000000e+00 | -- | Inf
860.80/860.81 c 861s| 3330k|362794 | 6661k| 2.0 | 332M| 35 | 5 | 40 |8249 | 40 | 16 | 22 |1919k|9427 | 0.000000e+00 | -- | Inf
864.09/864.12 c 864s| 3340k|363122 | 6682k| 2.0 | 333M| 35 | - | 40 |6924 | 40 | 16 | 22 |1926k|9444 | 0.000000e+00 | -- | Inf
867.19/867.23 c 867s| 3350k|363398 | 6702k| 2.0 | 333M| 35 | 5 | 40 |6529 | 40 | 16 | 22 |1933k|9461 | 0.000000e+00 | -- | Inf
870.39/870.40 c 870s| 3360k|363594 | 6721k| 2.0 | 333M| 35 | 5 | 40 |5942 | 40 | 16 | 22 |1939k|9475 | 0.000000e+00 | -- | Inf
873.19/873.31 c 873s| 3370k|364050 | 6741k| 2.0 | 334M| 35 | - | 40 |7006 | 40 | 16 | 22 |1945k|9491 | 0.000000e+00 | -- | Inf
876.19/876.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
876.19/876.21 c 876s| 3380k|364558 | 6760k| 2.0 | 335M| 35 | 5 | 40 |6711 | 40 | 16 | 22 |1951k|9510 | 0.000000e+00 | -- | Inf
879.20/879.20 c 879s| 3390k|365108 | 6780k| 2.0 | 336M| 35 | 5 | 40 |7298 | 40 | 16 | 22 |1957k|9525 | 0.000000e+00 | -- | Inf
882.21/882.29 c 882s| 3400k|365473 | 6800k| 2.0 | 336M| 35 | - | 40 |7083 | 40 | 16 | 22 |1964k|9531 | 0.000000e+00 | -- | Inf
885.29/885.37 c 885s| 3410k|366038 | 6820k| 2.0 | 337M| 35 | 5 | 40 |8176 | 40 | 16 | 22 |1970k|9549 | 0.000000e+00 | -- | Inf
888.29/888.39 c 888s| 3420k|366645 | 6839k| 2.0 | 338M| 35 | - | 40 |7773 | 40 | 16 | 22 |1975k|9567 | 0.000000e+00 | -- | Inf
891.49/891.54 c 892s| 3430k|367139 | 6859k| 2.0 | 339M| 35 | 5 | 40 |8165 | 40 | 16 | 22 |1981k|9581 | 0.000000e+00 | -- | Inf
894.39/894.49 c 894s| 3440k|367648 | 6878k| 2.0 | 339M| 35 | - | 40 |8312 | 40 | 16 | 22 |1987k|9595 | 0.000000e+00 | -- | Inf
897.79/897.80 c 898s| 3450k|367916 | 6898k| 2.0 | 339M| 35 | - | 40 |7152 | 40 | 16 | 22 |1994k|9607 | 0.000000e+00 | -- | Inf
900.70/900.81 c 901s| 3460k|368387 | 6918k| 2.0 | 340M| 35 | 5 | 40 |6780 | 40 | 16 | 22 |2000k|9617 | 0.000000e+00 | -- | Inf
903.79/903.83 c 904s| 3470k|368965 | 6937k| 2.0 | 341M| 35 | - | 40 |6805 | 0 | 0 | 22 |2006k|9632 | 0.000000e+00 | -- | Inf
906.89/906.93 c 907s| 3480k|369356 | 6957k| 2.0 | 341M| 35 | 5 | 40 |7164 | 40 | 16 | 22 |2012k|9649 | 0.000000e+00 | -- | Inf
909.79/909.82 c 910s| 3490k|369935 | 6978k| 2.0 | 343M| 35 | 5 | 40 |8539 | 40 | 16 | 22 |2018k|9664 | 0.000000e+00 | -- | Inf
913.09/913.17 c 913s| 3500k|370382 | 6997k| 2.0 | 343M| 35 | - | 40 |7954 | 0 | 0 | 22 |2024k|9673 | 0.000000e+00 | -- | Inf
916.40/916.50 c 916s| 3510k|370717 | 7017k| 2.0 | 343M| 35 | - | 40 |7582 | 0 | 0 | 22 |2031k|9681 | 0.000000e+00 | -- | Inf
919.39/919.51 c 920s| 3520k|371192 | 7036k| 2.0 | 344M| 35 | 5 | 40 |8898 | 40 | 16 | 22 |2037k|9690 | 0.000000e+00 | -- | Inf
922.81/922.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
922.81/922.84 c 923s| 3530k|371570 | 7056k| 2.0 | 345M| 35 | 5 | 40 |7552 | 40 | 16 | 22 |2043k|9704 | 0.000000e+00 | -- | Inf
925.40/925.47 c 925s| 3540k|372604 | 7076k| 2.0 | 346M| 35 | - | 40 | 10k| 0 | 0 | 22 |2048k|9721 | 0.000000e+00 | -- | Inf
928.31/928.37 c 928s| 3550k|373547 | 7095k| 2.0 | 347M| 35 | 5 | 40 |9717 | 40 | 16 | 22 |2054k|9736 | 0.000000e+00 | -- | Inf
931.49/931.50 c 932s| 3560k|374220 | 7115k| 2.0 | 348M| 35 | 5 | 40 |9611 | 40 | 16 | 22 |2060k|9745 | 0.000000e+00 | -- | Inf
934.79/934.86 c 935s| 3570k|374617 | 7135k| 2.0 | 348M| 35 | - | 40 |8658 | 0 | 0 | 22 |2067k|9759 | 0.000000e+00 | -- | Inf
938.21/938.28 c 938s| 3580k|375058 | 7154k| 2.0 | 349M| 35 | - | 40 |8199 | 40 | 16 | 22 |2073k|9767 | 0.000000e+00 | -- | Inf
941.29/941.36 c 941s| 3590k|375861 | 7175k| 2.0 | 349M| 35 | - | 40 |8205 | 0 | 0 | 22 |2079k|9785 | 0.000000e+00 | -- | Inf
943.99/944.07 c 944s| 3600k|376948 | 7193k| 2.0 | 351M| 35 | 5 | 40 |9823 | 40 | 16 | 22 |2084k|9800 | 0.000000e+00 | -- | Inf
947.12/947.14 c 947s| 3610k|377537 | 7211k| 2.0 | 351M| 35 | - | 40 |9569 | 40 | 16 | 22 |2090k|9816 | 0.000000e+00 | -- | Inf
950.79/950.81 c 951s| 3620k|377572 | 7230k| 2.0 | 351M| 35 | - | 40 |8348 | 40 | 16 | 22 |2096k|9827 | 0.000000e+00 | -- | Inf
953.49/953.58 c 954s| 3630k|378309 | 7250k| 2.0 | 353M| 35 | 5 | 40 |9981 | 40 | 16 | 22 |2102k|9841 | 0.000000e+00 | -- | Inf
957.19/957.20 c 957s| 3640k|378581 | 7270k| 2.0 | 353M| 35 | - | 40 |8244 | 40 | 16 | 22 |2108k|9849 | 0.000000e+00 | -- | Inf
960.31/960.35 c 960s| 3650k|378978 | 7290k| 2.0 | 353M| 35 | - | 40 |8595 | 40 | 16 | 22 |2115k|9865 | 0.000000e+00 | -- | Inf
963.50/963.58 c 964s| 3660k|379447 | 7309k| 2.0 | 354M| 35 | 5 | 40 |9179 | 40 | 16 | 22 |2121k|9876 | 0.000000e+00 | -- | Inf
966.91/966.93 c 967s| 3670k|379767 | 7329k| 2.0 | 354M| 35 | - | 40 |8282 | 40 | 16 | 22 |2127k|9888 | 0.000000e+00 | -- | Inf
970.10/970.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
970.10/970.19 c 970s| 3680k|380234 | 7349k| 2.0 | 355M| 35 | 5 | 40 |8405 | 40 | 16 | 22 |2133k|9901 | 0.000000e+00 | -- | Inf
973.29/973.39 c 973s| 3690k|380657 | 7369k| 2.0 | 356M| 35 | 5 | 40 |8725 | 40 | 16 | 22 |2139k|9914 | 0.000000e+00 | -- | Inf
976.71/976.74 c 977s| 3700k|381077 | 7389k| 2.0 | 356M| 35 | 5 | 40 |8397 | 40 | 16 | 22 |2145k|9924 | 0.000000e+00 | -- | Inf
980.12/980.12 c 980s| 3710k|381266 | 7409k| 2.0 | 357M| 35 | 5 | 40 |7710 | 40 | 16 | 22 |2152k|9940 | 0.000000e+00 | -- | Inf
983.00/983.04 c 983s| 3720k|381866 | 7430k| 2.0 | 358M| 35 | 5 | 40 |9468 | 40 | 16 | 22 |2158k|9950 | 0.000000e+00 | -- | Inf
986.71/986.76 c 987s| 3730k|382057 | 7449k| 2.0 | 358M| 35 | - | 40 |7978 | 40 | 16 | 22 |2164k|9967 | 0.000000e+00 | -- | Inf
989.70/989.71 c 990s| 3740k|382772 | 7470k| 2.0 | 359M| 35 | - | 40 |9610 | 40 | 16 | 22 |2171k|9977 | 0.000000e+00 | -- | Inf
992.79/992.80 c 993s| 3750k|383237 | 7490k| 2.0 | 360M| 35 | - | 40 | 10k| 0 | 0 | 22 |2177k|9995 | 0.000000e+00 | -- | Inf
996.89/996.94 c 997s| 3760k|383297 | 7509k| 2.0 | 359M| 35 | 5 | 40 |7666 | 40 | 16 | 22 |2184k| 10k| 0.000000e+00 | -- | Inf
999.81/999.88 c 1000s| 3770k|383781 | 7530k| 2.0 | 361M| 35 | 5 | 40 |9221 | 40 | 16 | 22 |2190k| 10k| 0.000000e+00 | -- | Inf
1002.89/1002.96 c 1003s| 3780k|384534 | 7550k| 2.0 | 362M| 35 | - | 40 | 10k| 40 | 16 | 22 |2196k| 10k| 0.000000e+00 | -- | Inf
1006.51/1006.58 c 1007s| 3790k|384910 | 7570k| 2.0 | 362M| 35 | 5 | 40 |8908 | 40 | 16 | 22 |2202k| 10k| 0.000000e+00 | -- | Inf
1009.89/1009.92 c 1010s| 3800k|385499 | 7589k| 2.0 | 363M| 35 | 5 | 40 |9134 | 40 | 16 | 22 |2208k| 10k| 0.000000e+00 | -- | Inf
1012.89/1012.92 c 1013s| 3810k|386138 | 7608k| 2.0 | 363M| 35 | 5 | 40 |9785 | 40 | 16 | 22 |2214k| 10k| 0.000000e+00 | -- | Inf
1016.20/1016.29 c 1016s| 3820k|386667 | 7627k| 2.0 | 364M| 35 | - | 40 |8451 | 0 | 0 | 22 |2220k| 10k| 0.000000e+00 | -- | Inf
1019.71/1019.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1019.71/1019.78 c 1020s| 3830k|386877 | 7647k| 2.0 | 364M| 35 | 5 | 40 |7853 | 40 | 16 | 22 |2226k| 10k| 0.000000e+00 | -- | Inf
1023.01/1023.05 c 1023s| 3840k|387336 | 7667k| 2.0 | 365M| 35 | - | 40 |7776 | 40 | 16 | 22 |2232k| 10k| 0.000000e+00 | -- | Inf
1025.69/1025.79 c 1026s| 3850k|388251 | 7686k| 2.0 | 366M| 35 | 5 | 40 |9608 | 40 | 16 | 22 |2238k| 10k| 0.000000e+00 | -- | Inf
1029.00/1029.08 c 1029s| 3860k|388745 | 7705k| 2.0 | 366M| 35 | 5 | 40 |9232 | 40 | 16 | 22 |2244k| 10k| 0.000000e+00 | -- | Inf
1032.20/1032.22 c 1032s| 3870k|389432 | 7726k| 2.0 | 367M| 35 | - | 40 |9320 | 0 | 0 | 22 |2250k| 10k| 0.000000e+00 | -- | Inf
1035.30/1035.30 c 1035s| 3880k|389951 | 7746k| 2.0 | 368M| 35 | - | 40 |9426 | 0 | 0 | 22 |2256k| 10k| 0.000000e+00 | -- | Inf
1038.79/1038.89 c 1039s| 3890k|390054 | 7766k| 2.0 | 368M| 35 | - | 40 |8116 | 0 | 0 | 22 |2263k| 10k| 0.000000e+00 | -- | Inf
1042.09/1042.16 c 1042s| 3900k|390531 | 7786k| 2.0 | 369M| 35 | 5 | 40 |8722 | 40 | 16 | 22 |2269k| 10k| 0.000000e+00 | -- | Inf
1045.09/1045.12 c 1045s| 3910k|391243 | 7806k| 2.0 | 370M| 35 | - | 40 | 10k| 0 | 0 | 22 |2275k| 10k| 0.000000e+00 | -- | Inf
1048.09/1048.15 c 1048s| 3920k|392069 | 7826k| 2.0 | 371M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |2281k| 10k| 0.000000e+00 | -- | Inf
1051.89/1051.97 c 1052s| 3930k|392318 | 7846k| 2.0 | 371M| 35 | - | 40 |8128 | 40 | 16 | 22 |2288k| 10k| 0.000000e+00 | -- | Inf
1055.39/1055.40 c 1055s| 3940k|392718 | 7866k| 2.0 | 371M| 35 | 5 | 40 |7802 | 40 | 16 | 22 |2294k| 10k| 0.000000e+00 | -- | Inf
1058.59/1058.65 c 1059s| 3950k|393099 | 7887k| 2.0 | 372M| 35 | 5 | 40 |8672 | 40 | 16 | 22 |2300k| 10k| 0.000000e+00 | -- | Inf
1061.52/1061.57 c 1062s| 3960k|393863 | 7906k| 2.0 | 373M| 35 | 5 | 40 |9721 | 40 | 16 | 22 |2306k| 10k| 0.000000e+00 | -- | Inf
1064.90/1064.95 c 1065s| 3970k|394302 | 7925k| 2.0 | 374M| 35 | 5 | 40 |9148 | 40 | 16 | 22 |2312k| 10k| 0.000000e+00 | -- | Inf
1068.29/1068.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1068.29/1068.34 c 1068s| 3980k|394737 | 7945k| 2.0 | 374M| 35 | - | 40 |9102 | 40 | 16 | 22 |2319k| 10k| 0.000000e+00 | -- | Inf
1071.49/1071.58 c 1072s| 3990k|395184 | 7965k| 2.0 | 375M| 35 | 5 | 40 |8859 | 40 | 16 | 22 |2325k| 10k| 0.000000e+00 | -- | Inf
1074.79/1074.87 c 1075s| 4000k|395682 | 7985k| 2.0 | 375M| 35 | - | 40 |9369 | 40 | 16 | 22 |2331k| 10k| 0.000000e+00 | -- | Inf
1078.59/1078.60 c 1079s| 4010k|395776 | 8005k| 2.0 | 376M| 35 | 5 | 40 |8456 | 40 | 16 | 22 |2338k| 10k| 0.000000e+00 | -- | Inf
1082.09/1082.13 c 1082s| 4020k|396109 | 8025k| 2.0 | 376M| 35 | 5 | 40 |8225 | 40 | 16 | 22 |2344k| 10k| 0.000000e+00 | -- | Inf
1084.89/1084.98 c 1085s| 4030k|396660 | 8045k| 2.0 | 377M| 35 | - | 40 | 10k| 40 | 16 | 22 |2350k| 10k| 0.000000e+00 | -- | Inf
1088.49/1088.55 c 1089s| 4040k|397146 | 8064k| 2.0 | 377M| 35 | 5 | 40 |8500 | 40 | 16 | 22 |2356k| 10k| 0.000000e+00 | -- | Inf
1091.50/1091.55 c 1092s| 4050k|397702 | 8085k| 2.0 | 378M| 35 | - | 40 |9439 | 40 | 16 | 22 |2363k| 10k| 0.000000e+00 | -- | Inf
1094.80/1094.84 c 1095s| 4060k|398149 | 8104k| 2.0 | 379M| 35 | 5 | 40 |8880 | 40 | 16 | 22 |2369k| 10k| 0.000000e+00 | -- | Inf
1098.10/1098.19 c 1098s| 4070k|398495 | 8124k| 2.0 | 379M| 35 | 5 | 40 |8392 | 40 | 16 | 22 |2375k| 10k| 0.000000e+00 | -- | Inf
1101.29/1101.37 c 1101s| 4080k|399111 | 8143k| 2.0 | 380M| 35 | - | 40 |9870 | 0 | 0 | 22 |2381k| 10k| 0.000000e+00 | -- | Inf
1104.41/1104.49 c 1104s| 4090k|399641 | 8162k| 2.0 | 381M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2387k| 10k| 0.000000e+00 | -- | Inf
1108.30/1108.35 c 1108s| 4100k|399809 | 8182k| 2.0 | 381M| 35 | - | 40 |8823 | 0 | 0 | 22 |2394k| 10k| 0.000000e+00 | -- | Inf
1111.79/1111.82 c 1112s| 4110k|400068 | 8202k| 2.0 | 381M| 35 | 5 | 40 |8571 | 40 | 16 | 22 |2400k| 10k| 0.000000e+00 | -- | Inf
1114.70/1114.74 c 1115s| 4120k|400709 | 8222k| 2.0 | 383M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2406k| 10k| 0.000000e+00 | -- | Inf
1118.30/1118.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1118.30/1118.37 c 1118s| 4130k|400978 | 8242k| 2.0 | 383M| 35 | - | 40 |9751 | 0 | 0 | 22 |2413k| 10k| 0.000000e+00 | -- | Inf
1122.30/1122.39 c 1122s| 4140k|401129 | 8261k| 2.0 | 383M| 35 | - | 40 |8341 | 40 | 16 | 22 |2419k| 10k| 0.000000e+00 | -- | Inf
1125.32/1125.36 c 1125s| 4150k|401775 | 8282k| 2.0 | 384M| 35 | 5 | 40 |9968 | 40 | 16 | 22 |2425k| 10k| 0.000000e+00 | -- | Inf
1128.40/1128.43 c 1128s| 4160k|402237 | 8302k| 2.0 | 385M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |2431k| 10k| 0.000000e+00 | -- | Inf
1132.20/1132.26 c 1132s| 4170k|402524 | 8321k| 2.0 | 385M| 35 | 5 | 40 |9082 | 40 | 16 | 22 |2437k| 10k| 0.000000e+00 | -- | Inf
1136.00/1136.00 c 1136s| 4180k|402759 | 8341k| 2.0 | 385M| 35 | - | 40 |7887 | 40 | 16 | 22 |2443k| 10k| 0.000000e+00 | -- | Inf
1138.90/1138.94 c 1139s| 4190k|403369 | 8360k| 2.0 | 386M| 35 | - | 40 |9836 | 0 | 0 | 22 |2450k| 10k| 0.000000e+00 | -- | Inf
1142.40/1142.40 c 1142s| 4200k|403803 | 8380k| 2.0 | 387M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2456k| 10k| 0.000000e+00 | -- | Inf
1145.11/1145.18 c 1145s| 4210k|405147 | 8399k| 2.0 | 389M| 35 | - | 40 | 11k| 40 | 16 | 22 |2461k| 10k| 0.000000e+00 | -- | Inf
1148.31/1148.35 c 1148s| 4220k|405896 | 8419k| 2.0 | 390M| 35 | - | 40 | 12k| 40 | 16 | 22 |2467k| 10k| 0.000000e+00 | -- | Inf
1151.49/1151.58 c 1152s| 4230k|406452 | 8439k| 2.0 | 390M| 35 | 5 | 40 | 12k| 40 | 16 | 22 |2473k| 10k| 0.000000e+00 | -- | Inf
1155.59/1155.63 c 1156s| 4240k|406712 | 8459k| 2.0 | 390M| 35 | 5 | 40 |9811 | 40 | 16 | 22 |2479k| 10k| 0.000000e+00 | -- | Inf
1159.31/1159.39 c 1159s| 4250k|406939 | 8479k| 2.0 | 390M| 35 | - | 40 |8490 | 40 | 16 | 22 |2486k| 10k| 0.000000e+00 | -- | Inf
1162.50/1162.59 c 1163s| 4260k|407574 | 8500k| 2.0 | 391M| 35 | 5 | 40 |9716 | 40 | 16 | 22 |2492k| 10k| 0.000000e+00 | -- | Inf
1165.80/1165.81 c 1166s| 4270k|407966 | 8520k| 2.0 | 392M| 35 | - | 40 |9596 | 0 | 0 | 22 |2498k| 10k| 0.000000e+00 | -- | Inf
1169.31/1169.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1169.31/1169.36 c 1169s| 4280k|408456 | 8539k| 2.0 | 392M| 35 | 5 | 40 |9268 | 40 | 16 | 22 |2504k| 10k| 0.000000e+00 | -- | Inf
1172.79/1172.80 c 1173s| 4290k|408926 | 8558k| 2.0 | 393M| 35 | 5 | 40 |8734 | 40 | 16 | 22 |2510k| 10k| 0.000000e+00 | -- | Inf
1175.92/1175.95 c 1176s| 4300k|409622 | 8578k| 2.0 | 394M| 35 | - | 40 |9900 | 40 | 16 | 22 |2517k| 10k| 0.000000e+00 | -- | Inf
1178.99/1179.02 c 1179s| 4310k|410303 | 8597k| 2.0 | 395M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |2523k| 10k| 0.000000e+00 | -- | Inf
1182.42/1182.48 c 1182s| 4320k|410762 | 8617k| 2.0 | 396M| 35 | 5 | 40 | 12k| 40 | 16 | 22 |2529k| 10k| 0.000000e+00 | -- | Inf
1186.09/1186.13 c 1186s| 4330k|411307 | 8636k| 2.0 | 396M| 35 | - | 40 | 11k| 40 | 16 | 22 |2535k| 10k| 0.000000e+00 | -- | Inf
1189.59/1189.63 c 1190s| 4340k|411817 | 8657k| 2.0 | 397M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2541k| 10k| 0.000000e+00 | -- | Inf
1193.30/1193.40 c 1193s| 4350k|412262 | 8677k| 2.0 | 397M| 35 | - | 40 |9593 | 40 | 16 | 22 |2548k| 10k| 0.000000e+00 | -- | Inf
1196.60/1196.69 c 1197s| 4360k|412487 | 8697k| 2.0 | 397M| 35 | - | 40 |9587 | 40 | 16 | 22 |2554k| 10k| 0.000000e+00 | -- | Inf
1200.11/1200.16 c 1200s| 4370k|412875 | 8716k| 2.0 | 398M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2560k| 10k| 0.000000e+00 | -- | Inf
1203.70/1203.74 c 1204s| 4380k|413289 | 8736k| 2.0 | 399M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2567k| 10k| 0.000000e+00 | -- | Inf
1207.50/1207.52 c 1208s| 4390k|413651 | 8756k| 2.0 | 399M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2573k| 10k| 0.000000e+00 | -- | Inf
1211.29/1211.39 c 1211s| 4400k|413719 | 8775k| 2.0 | 400M| 35 | 5 | 40 |9045 | 40 | 16 | 22 |2579k| 10k| 0.000000e+00 | -- | Inf
1215.00/1215.09 c 1215s| 4410k|413873 | 8795k| 2.0 | 400M| 35 | - | 40 |8181 | 0 | 0 | 22 |2585k| 10k| 0.000000e+00 | -- | Inf
1218.82/1218.82 c 1219s| 4420k|414031 | 8814k| 2.0 | 400M| 35 | - | 40 |7937 | 0 | 0 | 22 |2592k| 10k| 0.000000e+00 | -- | Inf
1222.30/1222.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1222.30/1222.33 c 1222s| 4430k|414341 | 8834k| 2.0 | 401M| 35 | 5 | 40 |8198 | 40 | 16 | 22 |2598k| 10k| 0.000000e+00 | -- | Inf
1225.90/1225.99 c 1226s| 4440k|414574 | 8853k| 2.0 | 401M| 35 | 5 | 40 |8200 | 40 | 16 | 22 |2604k| 10k| 0.000000e+00 | -- | Inf
1229.50/1229.56 c 1230s| 4450k|414729 | 8873k| 2.0 | 401M| 35 | - | 40 |8272 | 40 | 16 | 22 |2611k| 10k| 0.000000e+00 | -- | Inf
1232.79/1232.86 c 1233s| 4460k|415150 | 8893k| 2.0 | 402M| 35 | 5 | 40 |8557 | 40 | 16 | 22 |2617k| 10k| 0.000000e+00 | -- | Inf
1236.10/1236.13 c 1236s| 4470k|415481 | 8913k| 2.0 | 403M| 35 | 5 | 40 |8970 | 40 | 16 | 22 |2623k| 10k| 0.000000e+00 | -- | Inf
1239.49/1239.51 c 1240s| 4480k|415889 | 8932k| 2.0 | 403M| 35 | - | 40 |9309 | 40 | 16 | 22 |2629k| 10k| 0.000000e+00 | -- | Inf
1242.80/1242.85 c 1243s| 4490k|416332 | 8952k| 2.0 | 404M| 35 | 5 | 40 |9778 | 40 | 16 | 22 |2635k| 10k| 0.000000e+00 | -- | Inf
1246.10/1246.17 c 1246s| 4500k|416673 | 8972k| 2.0 | 405M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2642k| 10k| 0.000000e+00 | -- | Inf
1249.90/1249.96 c 1250s| 4510k|416986 | 8992k| 2.0 | 405M| 35 | - | 40 |9699 | 40 | 16 | 22 |2649k| 10k| 0.000000e+00 | -- | Inf
1253.49/1253.55 c 1254s| 4520k|417356 | 9011k| 2.0 | 406M| 35 | 5 | 40 |9431 | 40 | 16 | 22 |2654k| 10k| 0.000000e+00 | -- | Inf
1257.40/1257.46 c 1257s| 4530k|417414 | 9032k| 2.0 | 406M| 35 | 5 | 40 |8756 | 40 | 16 | 22 |2661k| 10k| 0.000000e+00 | -- | Inf
1260.40/1260.48 c 1260s| 4540k|418334 | 9053k| 2.0 | 407M| 35 | 5 | 40 |9419 | 40 | 16 | 22 |2667k| 10k| 0.000000e+00 | -- | Inf
1263.20/1263.21 c 1263s| 4550k|418896 | 9074k| 2.0 | 408M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2674k| 11k| 0.000000e+00 | -- | Inf
1266.80/1266.88 c 1267s| 4560k|418912 | 9094k| 2.0 | 408M| 35 | - | 40 |9160 | 40 | 16 | 22 |2681k| 11k| 0.000000e+00 | -- | Inf
1269.49/1269.59 c 1270s| 4570k|420198 | 9114k| 2.0 | 410M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |2687k| 11k| 0.000000e+00 | -- | Inf
1272.49/1272.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1272.49/1272.62 c 1273s| 4580k|421019 | 9134k| 2.0 | 410M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2693k| 11k| 0.000000e+00 | -- | Inf
1275.30/1275.36 c 1275s| 4590k|421756 | 9154k| 2.0 | 412M| 35 | 5 | 40 | 12k| 40 | 16 | 22 |2699k| 11k| 0.000000e+00 | -- | Inf
1278.50/1278.56 c 1279s| 4600k|422188 | 9173k| 2.0 | 412M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |2705k| 11k| 0.000000e+00 | -- | Inf
1282.51/1282.55 c 1283s| 4610k|422251 | 9193k| 2.0 | 412M| 35 | - | 40 |9595 | 40 | 16 | 22 |2712k| 11k| 0.000000e+00 | -- | Inf
1286.30/1286.38 c 1286s| 4620k|422565 | 9212k| 2.0 | 412M| 35 | 5 | 40 |9439 | 40 | 16 | 22 |2718k| 11k| 0.000000e+00 | -- | Inf
1289.29/1289.35 c 1289s| 4630k|423145 | 9233k| 2.0 | 413M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2725k| 11k| 0.000000e+00 | -- | Inf
1292.80/1292.85 c 1293s| 4640k|423607 | 9255k| 2.0 | 414M| 35 | - | 40 | 11k| 40 | 16 | 22 |2732k| 11k| 0.000000e+00 | -- | Inf
1296.19/1296.26 c 1296s| 4650k|424206 | 9275k| 2.0 | 415M| 35 | - | 40 | 10k| 40 | 16 | 22 |2737k| 11k| 0.000000e+00 | -- | Inf
1299.90/1299.91 c 1300s| 4660k|424553 | 9295k| 2.0 | 415M| 35 | 5 | 40 |9837 | 40 | 16 | 22 |2744k| 11k| 0.000000e+00 | -- | Inf
1303.10/1303.11 c 1303s| 4670k|425111 | 9315k| 2.0 | 416M| 35 | - | 40 | 11k| 40 | 16 | 22 |2750k| 11k| 0.000000e+00 | -- | Inf
1306.59/1306.70 c 1307s| 4680k|425530 | 9336k| 2.0 | 416M| 35 | 5 | 40 |9843 | 40 | 16 | 22 |2757k| 11k| 0.000000e+00 | -- | Inf
1309.39/1309.47 c 1309s| 4690k|426499 | 9355k| 2.0 | 417M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |2762k| 11k| 0.000000e+00 | -- | Inf
1312.90/1312.95 c 1313s| 4700k|427008 | 9376k| 2.0 | 419M| 35 | - | 40 | 12k| 0 | 0 | 22 |2769k| 11k| 0.000000e+00 | -- | Inf
1315.99/1316.03 c 1316s| 4710k|427988 | 9395k| 2.0 | 420M| 35 | 5 | 40 | 14k| 40 | 16 | 22 |2775k| 11k| 0.000000e+00 | -- | Inf
1320.49/1320.55 c 1321s| 4720k|428147 | 9415k| 2.0 | 419M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2782k| 11k| 0.000000e+00 | -- | Inf
1324.59/1324.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1324.59/1324.65 c 1325s| 4730k|428231 | 9436k| 2.0 | 419M| 35 | 5 | 40 |9407 | 40 | 16 | 22 |2788k| 11k| 0.000000e+00 | -- | Inf
1328.19/1328.25 c 1328s| 4740k|428484 | 9455k| 2.0 | 420M| 35 | 5 | 40 |9340 | 40 | 16 | 22 |2794k| 11k| 0.000000e+00 | -- | Inf
1331.89/1331.91 c 1332s| 4750k|428963 | 9475k| 2.0 | 421M| 35 | - | 40 |9609 | 0 | 0 | 22 |2800k| 11k| 0.000000e+00 | -- | Inf
1335.10/1335.15 c 1335s| 4760k|429407 | 9495k| 2.0 | 422M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2807k| 11k| 0.000000e+00 | -- | Inf
1339.39/1339.42 c 1339s| 4770k|429399 | 9515k| 2.0 | 421M| 35 | - | 40 |8443 | 0 | 0 | 22 |2814k| 11k| 0.000000e+00 | -- | Inf
1342.79/1342.89 c 1343s| 4780k|429548 | 9534k| 2.0 | 422M| 35 | - | 40 |8305 | 40 | 16 | 22 |2820k| 11k| 0.000000e+00 | -- | Inf
1346.50/1346.58 c 1347s| 4790k|429553 | 9554k| 2.0 | 422M| 35 | 5 | 40 |7570 | 40 | 16 | 22 |2826k| 11k| 0.000000e+00 | -- | Inf
1350.00/1350.08 c 1350s| 4800k|429672 | 9573k| 2.0 | 422M| 35 | 5 | 40 |7471 | 40 | 16 | 22 |2833k| 11k| 0.000000e+00 | -- | Inf
1353.20/1353.21 c 1353s| 4810k|430288 | 9594k| 2.0 | 423M| 35 | 5 | 40 |8856 | 40 | 16 | 22 |2839k| 11k| 0.000000e+00 | -- | Inf
1356.10/1356.12 c 1356s| 4820k|430977 | 9613k| 2.0 | 425M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |2845k| 11k| 0.000000e+00 | -- | Inf
1359.40/1359.48 c 1359s| 4830k|431560 | 9633k| 2.0 | 425M| 35 | - | 40 | 11k| 40 | 16 | 22 |2851k| 11k| 0.000000e+00 | -- | Inf
1363.10/1363.18 c 1363s| 4840k|431964 | 9653k| 2.0 | 426M| 35 | - | 40 | 11k| 40 | 16 | 22 |2858k| 11k| 0.000000e+00 | -- | Inf
1366.90/1366.95 c 1367s| 4850k|432293 | 9673k| 2.0 | 426M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2864k| 11k| 0.000000e+00 | -- | Inf
1370.70/1370.78 c 1371s| 4860k|432484 | 9693k| 2.0 | 426M| 35 | 5 | 40 |9223 | 40 | 16 | 22 |2870k| 11k| 0.000000e+00 | -- | Inf
1373.60/1373.64 c 1374s| 4870k|432953 | 9711k| 2.0 | 427M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2876k| 11k| 0.000000e+00 | -- | Inf
1377.60/1377.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1377.60/1377.65 c 1378s| 4880k|433168 | 9730k| 2.0 | 427M| 35 | 5 | 40 |8994 | 40 | 16 | 22 |2882k| 11k| 0.000000e+00 | -- | Inf
1380.90/1380.98 c 1381s| 4890k|433532 | 9750k| 2.0 | 428M| 35 | - | 40 |8551 | 40 | 16 | 22 |2888k| 11k| 0.000000e+00 | -- | Inf
1384.60/1384.64 c 1385s| 4900k|433645 | 9769k| 2.0 | 428M| 35 | 5 | 40 |7703 | 40 | 16 | 22 |2895k| 11k| 0.000000e+00 | -- | Inf
1387.80/1387.83 c 1388s| 4910k|434006 | 9789k| 2.0 | 429M| 35 | - | 40 |8160 | 40 | 16 | 22 |2901k| 11k| 0.000000e+00 | -- | Inf
1390.49/1390.50 c 1391s| 4920k|435144 | 9806k| 2.0 | 430M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2906k| 11k| 0.000000e+00 | -- | Inf
1393.90/1393.91 c 1394s| 4930k|435335 | 9825k| 2.0 | 431M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2912k| 11k| 0.000000e+00 | -- | Inf
1397.02/1397.07 c 1397s| 4940k|435920 | 9846k| 2.0 | 432M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |2919k| 11k| 0.000000e+00 | -- | Inf
1401.10/1401.19 c 1401s| 4950k|436012 | 9866k| 2.0 | 431M| 35 | - | 40 |8068 | 40 | 16 | 22 |2925k| 11k| 0.000000e+00 | -- | Inf
1404.79/1404.89 c 1405s| 4960k|436055 | 9886k| 2.0 | 431M| 35 | 5 | 40 |7649 | 40 | 16 | 22 |2932k| 11k| 0.000000e+00 | -- | Inf
1408.02/1408.02 c 1408s| 4970k|436303 | 9906k| 2.0 | 432M| 35 | 5 | 40 |9060 | 40 | 16 | 22 |2939k| 11k| 0.000000e+00 | -- | Inf
1411.80/1411.82 c 1412s| 4980k|436342 | 9925k| 2.0 | 432M| 35 | - | 40 |7604 | 0 | 0 | 22 |2945k| 11k| 0.000000e+00 | -- | Inf
1415.00/1415.05 c 1415s| 4990k|436791 | 9946k| 2.0 | 433M| 35 | 5 | 40 |8640 | 40 | 16 | 22 |2951k| 11k| 0.000000e+00 | -- | Inf
1418.69/1418.72 c 1419s| 5000k|437022 | 9966k| 2.0 | 433M| 35 | - | 40 |8346 | 0 | 0 | 22 |2958k| 11k| 0.000000e+00 | -- | Inf
1421.89/1421.92 c 1422s| 5010k|437594 | 9985k| 2.0 | 434M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2964k| 11k| 0.000000e+00 | -- | Inf
1425.10/1425.16 c 1425s| 5020k|438208 | 10004k| 2.0 | 435M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2969k| 11k| 0.000000e+00 | -- | Inf
1428.50/1428.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1428.50/1428.59 c 1429s| 5030k|438753 | 10023k| 2.0 | 435M| 35 | 5 | 40 |9088 | 40 | 16 | 22 |2975k| 11k| 0.000000e+00 | -- | Inf
1431.99/1432.03 c 1432s| 5040k|438986 | 10043k| 2.0 | 436M| 35 | 5 | 40 |8430 | 40 | 16 | 22 |2982k| 11k| 0.000000e+00 | -- | Inf
1434.50/1434.56 c 1435s| 5050k|440258 | 10063k| 2.0 | 438M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |2988k| 11k| 0.000000e+00 | -- | Inf
1437.62/1437.71 c 1438s| 5060k|440593 | 10082k| 2.0 | 438M| 35 | - | 40 | 12k| 40 | 16 | 22 |2994k| 11k| 0.000000e+00 | -- | Inf
1441.39/1441.41 c 1441s| 5070k|440769 | 10103k| 2.0 | 438M| 35 | - | 40 | 10k| 0 | 0 | 22 |3001k| 11k| 0.000000e+00 | -- | Inf
1445.00/1445.07 c 1445s| 5080k|441025 | 10122k| 2.0 | 438M| 35 | 5 | 40 |8968 | 40 | 16 | 22 |3007k| 11k| 0.000000e+00 | -- | Inf
1448.39/1448.41 c 1448s| 5090k|441337 | 10142k| 2.0 | 438M| 35 | 5 | 40 |8104 | 40 | 16 | 22 |3013k| 11k| 0.000000e+00 | -- | Inf
1451.60/1451.64 c 1452s| 5100k|441592 | 10162k| 2.0 | 439M| 35 | 5 | 40 |8172 | 40 | 16 | 22 |3020k| 11k| 0.000000e+00 | -- | Inf
1454.90/1454.91 c 1455s| 5110k|441913 | 10182k| 2.0 | 439M| 35 | 5 | 40 |7820 | 40 | 16 | 22 |3026k| 11k| 0.000000e+00 | -- | Inf
1458.10/1458.19 c 1458s| 5120k|442171 | 10201k| 2.0 | 440M| 35 | 5 | 40 |8074 | 40 | 16 | 22 |3032k| 11k| 0.000000e+00 | -- | Inf
1461.70/1461.79 c 1462s| 5130k|442141 | 10221k| 2.0 | 440M| 35 | 5 | 40 |7427 | 40 | 16 | 22 |3039k| 11k| 0.000000e+00 | -- | Inf
1465.12/1465.12 c 1465s| 5140k|442325 | 10240k| 2.0 | 441M| 35 | 5 | 40 |8158 | 40 | 16 | 22 |3045k| 11k| 0.000000e+00 | -- | Inf
1468.41/1468.42 c 1468s| 5150k|442617 | 10260k| 2.0 | 441M| 35 | 5 | 40 |8364 | 40 | 16 | 22 |3051k| 11k| 0.000000e+00 | -- | Inf
1472.10/1472.18 c 1472s| 5160k|442492 | 10280k| 2.0 | 441M| 35 | 5 | 40 |7064 | 40 | 16 | 22 |3058k| 11k| 0.000000e+00 | -- | Inf
1475.60/1475.66 c 1476s| 5170k|442509 | 10300k| 2.0 | 441M| 35 | - | 40 |7379 | 0 | 0 | 22 |3065k| 11k| 0.000000e+00 | -- | Inf
1478.60/1478.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1478.60/1478.68 c 1479s| 5180k|443018 | 10319k| 2.0 | 443M| 35 | 5 | 40 |8731 | 40 | 16 | 22 |3071k| 11k| 0.000000e+00 | -- | Inf
1481.90/1481.97 c 1482s| 5190k|443346 | 10339k| 2.0 | 443M| 35 | - | 40 |9184 | 0 | 0 | 22 |3077k| 11k| 0.000000e+00 | -- | Inf
1485.50/1485.53 c 1486s| 5200k|443439 | 10359k| 2.0 | 443M| 35 | 5 | 40 |8639 | 40 | 16 | 22 |3083k| 11k| 0.000000e+00 | -- | Inf
1489.00/1489.05 c 1489s| 5210k|443690 | 10379k| 2.0 | 444M| 35 | 5 | 40 |8306 | 40 | 16 | 22 |3090k| 11k| 0.000000e+00 | -- | Inf
1492.72/1492.74 c 1493s| 5220k|443686 | 10398k| 2.0 | 444M| 35 | 5 | 40 |7823 | 40 | 16 | 22 |3096k| 11k| 0.000000e+00 | -- | Inf
1496.10/1496.15 c 1496s| 5230k|443902 | 10418k| 2.0 | 445M| 35 | 5 | 40 |8689 | 40 | 16 | 22 |3102k| 11k| 0.000000e+00 | -- | Inf
1499.00/1499.05 c 1499s| 5240k|444357 | 10438k| 2.0 | 446M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |3109k| 11k| 0.000000e+00 | -- | Inf
1502.69/1502.76 c 1503s| 5250k|444463 | 10458k| 2.0 | 445M| 35 | - | 40 |8237 | 40 | 16 | 22 |3115k| 11k| 0.000000e+00 | -- | Inf
1506.00/1506.05 c 1506s| 5260k|444792 | 10477k| 2.0 | 446M| 35 | 5 | 40 |8831 | 40 | 16 | 22 |3122k| 11k| 0.000000e+00 | -- | Inf
1510.00/1510.01 c 1510s| 5270k|444758 | 10497k| 2.0 | 446M| 35 | 5 | 40 |7632 | 40 | 16 | 22 |3128k| 11k| 0.000000e+00 | -- | Inf
1513.40/1513.43 c 1513s| 5280k|444748 | 10517k| 2.0 | 446M| 35 | - | 40 |7433 | 40 | 16 | 22 |3135k| 11k| 0.000000e+00 | -- | Inf
1516.30/1516.30 c 1516s| 5290k|445218 | 10536k| 2.0 | 448M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |3141k| 11k| 0.000000e+00 | -- | Inf
1519.99/1520.11 c 1520s| 5300k|445254 | 10556k| 2.0 | 448M| 35 | - | 40 |9540 | 0 | 0 | 22 |3147k| 11k| 0.000000e+00 | -- | Inf
1523.00/1523.06 c 1523s| 5310k|445867 | 10575k| 2.0 | 449M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |3153k| 11k| 0.000000e+00 | -- | Inf
1526.89/1526.94 c 1527s| 5320k|446016 | 10595k| 2.0 | 449M| 35 | 5 | 40 |9917 | 40 | 16 | 22 |3160k| 11k| 0.000000e+00 | -- | Inf
1530.30/1530.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1530.30/1530.38 c 1530s| 5330k|446359 | 10615k| 2.0 | 449M| 35 | 5 | 40 |9254 | 40 | 16 | 22 |3166k| 11k| 0.000000e+00 | -- | Inf
1533.60/1533.64 c 1534s| 5340k|446719 | 10634k| 2.0 | 450M| 35 | 5 | 40 |9767 | 40 | 16 | 22 |3172k| 11k| 0.000000e+00 | -- | Inf
1536.40/1536.47 c 1536s| 5350k|447498 | 10654k| 2.0 | 451M| 35 | - | 40 | 11k| 40 | 16 | 22 |3178k| 11k| 0.000000e+00 | -- | Inf
1539.29/1539.39 c 1539s| 5360k|448771 | 10673k| 2.0 | 452M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |3183k| 11k| 0.000000e+00 | -- | Inf
1542.40/1542.48 c 1542s| 5370k|449390 | 10693k| 2.0 | 453M| 35 | 5 | 40 | 12k| 40 | 16 | 22 |3189k| 11k| 0.000000e+00 | -- | Inf
1546.40/1546.44 c 1546s| 5380k|449435 | 10713k| 2.0 | 453M| 35 | - | 40 |9749 | 0 | 0 | 22 |3195k| 11k| 0.000000e+00 | -- | Inf
1549.69/1549.79 c 1550s| 5390k|450069 | 10732k| 2.0 | 454M| 35 | - | 40 | 10k| 0 | 0 | 22 |3201k| 11k| 0.000000e+00 | -- | Inf
1552.60/1552.62 c 1553s| 5400k|450865 | 10751k| 2.0 | 455M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |3207k| 11k| 0.000000e+00 | -- | Inf
1556.10/1556.13 c 1556s| 5410k|451110 | 10770k| 2.0 | 455M| 35 | 5 | 40 |9961 | 40 | 16 | 22 |3213k| 11k| 0.000000e+00 | -- | Inf
1559.00/1559.09 c 1559s| 5420k|451913 | 10790k| 2.0 | 456M| 35 | - | 40 | 11k| 40 | 16 | 22 |3219k| 11k| 0.000000e+00 | -- | Inf
1562.50/1562.57 c 1563s| 5430k|452102 | 10809k| 2.0 | 456M| 35 | - | 40 |9356 | 40 | 16 | 22 |3226k| 12k| 0.000000e+00 | -- | Inf
1566.10/1566.12 c 1566s| 5440k|452291 | 10829k| 2.0 | 456M| 35 | 5 | 40 |8664 | 40 | 16 | 22 |3232k| 12k| 0.000000e+00 | -- | Inf
1569.40/1569.44 c 1569s| 5450k|452816 | 10851k| 2.0 | 457M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |3238k| 12k| 0.000000e+00 | -- | Inf
1572.60/1572.62 c 1573s| 5460k|453256 | 10870k| 2.0 | 458M| 35 | - | 40 | 11k| 40 | 16 | 22 |3245k| 12k| 0.000000e+00 | -- | Inf
1576.40/1576.46 c 1576s| 5470k|453472 | 10891k| 2.0 | 458M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |3251k| 12k| 0.000000e+00 | -- | Inf
1580.40/1580.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1580.40/1580.41 c 1580s| 5480k|453557 | 10911k| 2.0 | 459M| 35 | 5 | 40 |9475 | 40 | 16 | 22 |3258k| 12k| 0.000000e+00 | -- | Inf
1583.20/1583.26 c 1583s| 5490k|454408 | 10929k| 2.0 | 460M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |3264k| 12k| 0.000000e+00 | -- | Inf
1587.21/1587.28 c 1587s| 5500k|454549 | 10948k| 2.0 | 460M| 35 | - | 40 |9975 | 40 | 16 | 22 |3270k| 12k| 0.000000e+00 | -- | Inf
1591.30/1591.34 c 1591s| 5510k|454526 | 10968k| 2.0 | 460M| 35 | - | 40 |8349 | 0 | 0 | 22 |3276k| 12k| 0.000000e+00 | -- | Inf
1594.50/1594.50 c 1594s| 5520k|454929 | 10989k| 2.0 | 461M| 35 | - | 40 | 10k| 0 | 0 | 22 |3283k| 12k| 0.000000e+00 | -- | Inf
1598.40/1598.45 c 1598s| 5530k|454960 | 11009k| 2.0 | 461M| 35 | - | 40 |8202 | 0 | 0 | 22 |3290k| 12k| 0.000000e+00 | -- | Inf
1602.30/1602.32 c 1602s| 5540k|455052 | 11030k| 2.0 | 461M| 35 | 5 | 40 |8414 | 40 | 16 | 22 |3296k| 12k| 0.000000e+00 | -- | Inf
1605.70/1605.75 c 1606s| 5550k|455364 | 11049k| 2.0 | 462M| 35 | - | 40 |9335 | 40 | 16 | 22 |3302k| 12k| 0.000000e+00 | -- | Inf
1609.10/1609.12 c 1609s| 5560k|455823 | 11069k| 2.0 | 463M| 35 | - | 40 | 10k| 40 | 16 | 22 |3309k| 12k| 0.000000e+00 | -- | Inf
1612.70/1612.75 c 1613s| 5570k|456174 | 11088k| 2.0 | 463M| 35 | 5 | 40 |9879 | 40 | 16 | 22 |3315k| 12k| 0.000000e+00 | -- | Inf
1616.30/1616.31 c 1616s| 5580k|456401 | 11108k| 2.0 | 463M| 35 | 5 | 40 |9764 | 40 | 16 | 22 |3321k| 12k| 0.000000e+00 | -- | Inf
1619.90/1619.99 c 1620s| 5590k|456652 | 11128k| 2.0 | 464M| 35 | - | 40 |9636 | 40 | 16 | 22 |3327k| 12k| 0.000000e+00 | -- | Inf
1623.39/1623.42 c 1623s| 5600k|456868 | 11148k| 2.0 | 464M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |3334k| 12k| 0.000000e+00 | -- | Inf
1627.20/1627.21 c 1627s| 5610k|457043 | 11167k| 2.0 | 465M| 35 | 5 | 40 |9759 | 40 | 16 | 22 |3340k| 12k| 0.000000e+00 | -- | Inf
1630.80/1630.89 c 1631s| 5620k|457217 | 11187k| 2.0 | 465M| 35 | - | 40 |8955 | 0 | 0 | 22 |3346k| 12k| 0.000000e+00 | -- | Inf
1634.70/1634.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1634.70/1634.76 c 1635s| 5630k|457253 | 11207k| 2.0 | 465M| 35 | 5 | 40 |8748 | 40 | 16 | 22 |3353k| 12k| 0.000000e+00 | -- | Inf
1638.30/1638.39 c 1638s| 5640k|457269 | 11227k| 2.0 | 465M| 35 | - | 40 |8537 | 40 | 16 | 22 |3359k| 12k| 0.000000e+00 | -- | Inf
1642.22/1642.30 c 1642s| 5650k|457206 | 11246k| 2.0 | 465M| 35 | 5 | 40 |8080 | 40 | 16 | 22 |3366k| 12k| 0.000000e+00 | -- | Inf
1645.40/1645.40 c 1645s| 5660k|457764 | 11266k| 2.0 | 466M| 35 | 5 | 40 |9300 | 40 | 16 | 22 |3372k| 12k| 0.000000e+00 | -- | Inf
1648.50/1648.59 c 1649s| 5670k|458317 | 11288k| 2.0 | 468M| 35 | - | 40 | 11k| 0 | 0 | 22 |3379k| 12k| 0.000000e+00 | -- | Inf
1652.30/1652.31 c 1652s| 5680k|458767 | 11308k| 2.0 | 468M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |3385k| 12k| 0.000000e+00 | -- | Inf
1655.00/1655.03 c 1655s| 5690k|459794 | 11328k| 2.0 | 469M| 35 | - | 40 | 11k| 0 | 0 | 22 |3391k| 12k| 0.000000e+00 | -- | Inf
1657.80/1657.85 c 1658s| 5700k|461059 | 11348k| 2.0 | 471M| 35 | - | 40 | 12k| 40 | 16 | 22 |3397k| 12k| 0.000000e+00 | -- | Inf
1661.02/1661.08 c 1661s| 5710k|461755 | 11367k| 2.0 | 472M| 35 | 5 | 40 | 13k| 40 | 16 | 22 |3402k| 12k| 0.000000e+00 | -- | Inf
1664.69/1664.72 c 1665s| 5720k|461993 | 11386k| 2.0 | 472M| 35 | 5 | 40 | 13k| 40 | 16 | 22 |3409k| 12k| 0.000000e+00 | -- | Inf
1668.30/1668.34 c 1668s| 5730k|462373 | 11405k| 2.0 | 473M| 35 | 5 | 40 | 14k| 40 | 16 | 22 |3415k| 12k| 0.000000e+00 | -- | Inf
1672.30/1672.31 c 1672s| 5740k|462594 | 11424k| 2.0 | 473M| 35 | 5 | 40 | 12k| 40 | 16 | 22 |3421k| 12k| 0.000000e+00 | -- | Inf
1676.70/1676.75 c 1677s| 5750k|462670 | 11444k| 2.0 | 472M| 35 | 5 | 40 |8357 | 40 | 16 | 22 |3428k| 12k| 0.000000e+00 | -- | Inf
1680.71/1680.77 c 1681s| 5760k|462584 | 11464k| 2.0 | 472M| 35 | 5 | 40 |8207 | 40 | 16 | 22 |3434k| 12k| 0.000000e+00 | -- | Inf
1684.01/1684.10 c 1684s| 5770k|462833 | 11483k| 2.0 | 473M| 35 | 5 | 40 |9589 | 40 | 16 | 22 |3441k| 12k| 0.000000e+00 | -- | Inf
1687.50/1687.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1687.50/1687.56 c 1688s| 5780k|463086 | 11503k| 2.0 | 473M| 35 | - | 40 |9519 | 40 | 16 | 22 |3447k| 12k| 0.000000e+00 | -- | Inf
1690.50/1690.55 c 1691s| 5790k|463690 | 11524k| 2.0 | 475M| 35 | 5 | 40 | 12k| 40 | 16 | 22 |3453k| 12k| 0.000000e+00 | -- | Inf
1694.39/1694.48 c 1694s| 5800k|463942 | 11544k| 2.0 | 475M| 35 | - | 40 | 10k| 40 | 16 | 22 |3460k| 12k| 0.000000e+00 | -- | Inf
1697.60/1697.61 c 1698s| 5810k|464590 | 11563k| 2.0 | 476M| 35 | - | 40 | 12k| 40 | 16 | 22 |3466k| 12k| 0.000000e+00 | -- | Inf
1701.90/1701.91 c 1702s| 5820k|464538 | 11584k| 2.0 | 476M| 35 | - | 40 |9936 | 40 | 16 | 22 |3473k| 12k| 0.000000e+00 | -- | Inf
1706.30/1706.33 c 1706s| 5830k|464315 | 11603k| 2.0 | 475M| 35 | - | 40 |8164 | 0 | 0 | 22 |3479k| 12k| 0.000000e+00 | -- | Inf
1709.90/1709.99 c 1710s| 5840k|464319 | 11623k| 2.0 | 476M| 35 | - | 40 |8032 | 40 | 16 | 22 |3486k| 12k| 0.000000e+00 | -- | Inf
1713.10/1713.13 c 1713s| 5850k|464915 | 11643k| 2.0 | 477M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |3492k| 12k| 0.000000e+00 | -- | Inf
1717.01/1717.11 c 1717s| 5860k|464906 | 11663k| 2.0 | 477M| 35 | - | 40 |8377 | 40 | 16 | 22 |3499k| 12k| 0.000000e+00 | -- | Inf
1720.42/1720.43 c 1720s| 5870k|465352 | 11683k| 2.0 | 478M| 35 | - | 40 |9592 | 40 | 16 | 22 |3505k| 12k| 0.000000e+00 | -- | Inf
1724.30/1724.39 c 1724s| 5880k|465325 | 11703k| 2.0 | 478M| 35 | - | 40 |8510 | 0 | 0 | 22 |3511k| 12k| 0.000000e+00 | -- | Inf
1727.80/1727.82 c 1728s| 5890k|465509 | 11722k| 2.0 | 478M| 35 | - | 40 |8465 | 40 | 16 | 22 |3518k| 12k| 0.000000e+00 | -- | Inf
1731.10/1731.12 c 1731s| 5900k|465930 | 11743k| 2.0 | 479M| 35 | - | 40 |9499 | 0 | 0 | 22 |3524k| 12k| 0.000000e+00 | -- | Inf
1735.00/1735.09 c 1735s| 5910k|465800 | 11763k| 2.0 | 478M| 35 | - | 40 |7720 | 40 | 16 | 22 |3531k| 12k| 0.000000e+00 | -- | Inf
1737.91/1737.95 c 1738s| 5920k|466374 | 11783k| 2.0 | 480M| 35 | 5 | 40 |9332 | 40 | 16 | 22 |3537k| 12k| 0.000000e+00 | -- | Inf
1741.60/1741.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1741.60/1741.60 c 1742s| 5930k|466485 | 11803k| 2.0 | 480M| 35 | - | 40 |9792 | 40 | 16 | 22 |3543k| 12k| 0.000000e+00 | -- | Inf
1745.30/1745.33 c 1745s| 5940k|466581 | 11823k| 2.0 | 480M| 35 | 5 | 40 |9691 | 40 | 16 | 22 |3550k| 12k| 0.000000e+00 | -- | Inf
1748.80/1748.81 c 1749s| 5950k|466910 | 11843k| 2.0 | 481M| 35 | - | 40 |9657 | 40 | 16 | 22 |3556k| 12k| 0.000000e+00 | -- | Inf
1752.10/1752.17 c 1752s| 5960k|467370 | 11862k| 2.0 | 482M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |3562k| 12k| 0.000000e+00 | -- | Inf
1755.70/1755.70 c 1756s| 5970k|467637 | 11882k| 2.0 | 482M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |3569k| 12k| 0.000000e+00 | -- | Inf
1759.30/1759.39 c 1759s| 5980k|467865 | 11902k| 2.0 | 482M| 35 | - | 40 |9632 | 0 | 0 | 22 |3575k| 12k| 0.000000e+00 | -- | Inf
1762.70/1762.79 c 1763s| 5990k|468092 | 11922k| 2.0 | 483M| 35 | - | 40 | 10k| 0 | 0 | 22 |3582k| 12k| 0.000000e+00 | -- | Inf
1766.30/1766.35 c 1766s| 6000k|468506 | 11942k| 2.0 | 484M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |3588k| 12k| 0.000000e+00 | -- | Inf
1768.90/1768.95 c 1769s| 6010k|469709 | 11964k| 2.0 | 485M| 35 | 5 | 40 | 13k| 40 | 16 | 22 |3594k| 12k| 0.000000e+00 | -- | Inf
1772.12/1772.19 c 1772s| 6020k|470156 | 11984k| 2.0 | 486M| 35 | 5 | 40 | 13k| 40 | 16 | 22 |3600k| 12k| 0.000000e+00 | -- | Inf
1775.20/1775.28 c 1775s| 6030k|470863 | 12004k| 2.0 | 487M| 35 | 5 | 40 | 13k| 40 | 16 | 22 |3606k| 12k| 0.000000e+00 | -- | Inf
1778.80/1778.86 c 1779s| 6040k|471017 | 12025k| 2.0 | 487M| 35 | - | 40 | 13k| 40 | 16 | 22 |3612k| 12k| 0.000000e+00 | -- | Inf
1782.40/1782.48 c 1782s| 6050k|472071 | 12046k| 2.0 | 488M| 35 | - | 40 | 11k| 0 | 0 | 22 |3619k| 12k| 0.000000e+00 | -- | Inf
1785.70/1785.70 c 1786s| 6060k|473072 | 12067k| 2.0 | 489M| 35 | 5 | 40 | 13k| 40 | 16 | 22 |3625k| 12k| 0.000000e+00 | -- | Inf
1789.00/1789.06 c 1789s| 6070k|473846 | 12089k| 2.0 | 490M| 35 | 5 | 40 | 13k| 40 | 16 | 22 |3632k| 12k| 0.000000e+00 | -- | Inf
1792.70/1792.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1792.70/1792.78 c 1793s| 6080k|474274 | 12110k| 2.0 | 491M| 35 | 5 | 40 | 13k| 40 | 16 | 22 |3639k| 12k| 0.000000e+00 | -- | Inf
1797.31/1797.38 c 1797s| 6090k|474174 | 12130k| 2.0 | 490M| 35 | - | 40 | 10k| 40 | 16 | 22 |3646k| 12k| 0.000000e+00 | -- | Inf
1800.00/1800.00 c
1800.00/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.00/1800.00 c Solving Time (sec) : 1800.00
1800.00/1800.00 c Solving Nodes : 6097087
1800.00/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.00/1800.00 c Dual Bound : +0.00000000000000e+00
1800.00/1800.00 c Gap : infinite
1800.00/1800.00 s UNKNOWN
1800.00/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.00/1800.00 c Total Time : 1800.00
1800.00/1800.00 c solving : 1800.00
1800.00/1800.00 c presolving : 0.00 (included in solving)
1800.00/1800.00 c reading : 0.00 (included in solving)
1800.00/1800.00 c Original Problem :
1800.00/1800.00 c Problem name : HOME/instance-3452531-1307097896.opb
1800.00/1800.00 c Variables : 41 (41 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.00 c Constraints : 11 initial, 11 maximal
1800.00/1800.00 c Presolved Problem :
1800.00/1800.00 c Problem name : t_HOME/instance-3452531-1307097896.opb
1800.00/1800.00 c Variables : 40 (40 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.00 c Constraints : 5 initial, 18335 maximal
1800.00/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.00/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c dualfix : 0.00 1 0 0 0 0 0 0 0 0
1800.00/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c linear : 0.00 0 0 0 0 0 6 0 0 0
1800.00/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c root node : - 0 - - 0 - - - - -
1800.00/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.00/1800.00 c integral : 0 0 0 3568853 0 4 0 1480 6508 0 0 7122990
1800.00/1800.00 c linear : 5+ 7 14524040 0 1 3 11584163 1436291 12118546 0 0 0
1800.00/1800.00 c logicor : 0+ 6 7224168 0 0 0 6320552 30284 2857847 0 0 0
1800.00/1800.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1800.00/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.00/1800.00 c integral : 21.02 0.00 0.00 21.02 0.00 0.00 0.00
1800.00/1800.00 c linear : 164.07 0.00 141.99 0.00 0.00 0.00 22.09
1800.00/1800.00 c logicor : 544.45 0.00 537.11 0.00 0.00 0.00 7.34
1800.00/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.00/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.00/1800.00 c vbounds : 0 0 0 0
1800.00/1800.00 c rootredcost : 0 0 0 0
1800.00/1800.00 c pseudoobj : 0 0 0 0
1800.00/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.00/1800.00 c vbounds : 2.28 2.28 0.00
1800.00/1800.00 c rootredcost : 2.48 2.48 0.00
1800.00/1800.00 c pseudoobj : 1.72 1.72 0.00
1800.00/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.00/1800.00 c propagation : 40.60 1466575 1064884 3166357 28.2 143 23.6 -
1800.00/1800.00 c infeasible LP : 36.26 1596764 1596730 2803773 18.4 20571 23.4 0
1800.00/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.00/1800.00 c applied globally : - - - 3614592 20.3 - - -
1800.00/1800.00 c applied locally : - - - 36548 31.6 - - -
1800.00/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.00/1800.00 c cut pool : 0.00 5 - - 37 - (maximal pool size: 94)
1800.00/1800.00 c redcost : 3.47 3568858 0 0 0 0
1800.00/1800.00 c impliedbounds : 0.00 6 0 0 0 0
1800.00/1800.00 c intobj : 0.00 0 0 0 0 0
1800.00/1800.00 c gomory : 0.00 6 0 0 0 0
1800.00/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.00/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.00/1800.00 c strongcg : 0.00 6 0 0 29 0
1800.00/1800.00 c cmir : 0.01 6 0 0 36 0
1800.00/1800.00 c flowcover : 0.01 6 0 0 51 0
1800.00/1800.00 c clique : 0.00 1 0 0 0 0
1800.00/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.00/1800.00 c mcf : 0.00 1 0 0 0 0
1800.00/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.00/1800.00 c rapidlearning : 0.01 1 0 0 0 15
1800.00/1800.00 c Pricers : Time Calls Vars
1800.00/1800.00 c problem variables: 0.00 0 0
1800.00/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.00/1800.00 c relpscost : 19.12 3568853 1480 6508 0 0 7122990
1800.00/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.00/1800.00 c inference : 0.00 1 0 0 0 0 2
1800.00/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.00/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.00/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.00 c random : 0.00 0 0 0 0 0 0
1800.00/1800.00 c Primal Heuristics : Time Calls Found
1800.00/1800.00 c LP solutions : 0.00 - 0
1800.00/1800.00 c pseudo solutions : 0.00 - 0
1800.00/1800.00 c oneopt : 1.69 0 0
1800.00/1800.00 c crossover : 1.04 0 0
1800.00/1800.00 c guideddiving : 0.16 0 0
1800.00/1800.00 c coefdiving : 0.17 234 0
1800.00/1800.00 c linesearchdiving : 0.17 234 0
1800.00/1800.00 c pscostdiving : 0.18 234 0
1800.00/1800.00 c fracdiving : 0.18 234 0
1800.00/1800.00 c veclendiving : 0.17 234 0
1800.00/1800.00 c feaspump : 0.16 117 0
1800.00/1800.00 c objpscostdiving : 0.14 118 0
1800.00/1800.00 c rootsoldiving : 0.16 118 0
1800.00/1800.00 c trivial : 0.00 2 0
1800.00/1800.00 c shiftandpropagate: 0.00 1 0
1800.00/1800.00 c simplerounding : 0.66 0 0
1800.00/1800.00 c zirounding : 8.65 0 0
1800.00/1800.00 c rounding : 1.39 26823 0
1800.00/1800.00 c shifting : 1.84 7648 0
1800.00/1800.00 c intshifting : 0.06 0 0
1800.00/1800.00 c twoopt : 0.00 0 0
1800.00/1800.00 c fixandinfer : 0.00 0 0
1800.00/1800.00 c clique : 0.00 0 0
1800.00/1800.00 c intdiving : 0.00 0 0
1800.00/1800.00 c actconsdiving : 0.00 0 0
1800.00/1800.00 c octane : 0.00 0 0
1800.00/1800.00 c rens : 0.02 1 0
1800.00/1800.00 c rins : 0.00 0 0
1800.00/1800.00 c localbranching : 0.00 0 0
1800.00/1800.00 c mutation : 0.00 0 0
1800.00/1800.00 c dins : 0.00 0 0
1800.00/1800.00 c vbounds : 0.00 0 0
1800.00/1800.00 c undercover : 0.00 0 0
1800.00/1800.00 c subnlp : 0.82 0 0
1800.00/1800.00 c trysol : 1.12 0 0
1800.00/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.00/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.00/1800.00 c dual LP : 223.01 5055644 12139204 2.40 54433.38
1800.00/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.00/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.00/1800.00 c diving/probing LP: 0.13 2730 4572 1.67 34067.54
1800.00/1800.00 c strong branching : 0.95 12754 42251 3.31 44689.20
1800.00/1800.00 c (at root node) : - 10 276 27.60 -
1800.00/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.00/1800.00 c B&B Tree :
1800.00/1800.00 c number of runs : 1
1800.00/1800.00 c nodes : 6097087
1800.00/1800.00 c nodes (total) : 6097087
1800.00/1800.00 c nodes left : 474342
1800.00/1800.00 c max depth : 35
1800.00/1800.00 c max depth (total): 35
1800.00/1800.00 c backtracks : 1396248 (22.9%)
1800.00/1800.00 c delayed cutoffs : 551564
1800.00/1800.00 c repropagations : 4537712 (6402834 domain reductions, 526448 cutoffs)
1800.00/1800.00 c avg switch length: 5.74
1800.00/1800.00 c switching time : 519.41
1800.00/1800.00 c Solution :
1800.00/1800.00 c Solutions found : 0 (0 improvements)
1800.00/1800.00 c Primal Bound : -
1800.00/1800.00 c Dual Bound : +0.00000000000000e+00
1800.00/1800.00 c Gap : infinite
1800.00/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.00/1800.00 c Root Iterations : 123
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3452531-1307097896/watcher-3452531-1307097896 -o /tmp/evaluation-result-3452531-1307097896/solver-3452531-1307097896 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452531-1307097896.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
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.07 2.03 2.01 2/572 21445
/proc/meminfo: memFree=31804672/32950928 swapFree=43925852/67111528
[pid=21445] ppid=21443 vsize=19108 CPUtime=0.01 cores=0,2,4,6
/proc/21445/stat : 21445 (scip-2.0.1.4.li) R 21443 21445 20770 0 -1 4202496 3881 0 0 0 1 0 0 0 25 0 1 0 821388414 19566592 3577 33554432000 4194304 9128323 140735286651216 18446744073709551615 8009016 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21445/statm: 4777 3591 674 1205 0 3568 0
[startup+0.057463 s]
/proc/loadavg: 2.07 2.03 2.01 2/572 21445
/proc/meminfo: memFree=31804672/32950928 swapFree=43925852/67111528
[pid=21445] ppid=21443 vsize=27316 CPUtime=0.05 cores=0,2,4,6
/proc/21445/stat : 21445 (scip-2.0.1.4.li) R 21443 21445 20770 0 -1 4202496 6088 0 0 0 5 0 0 0 25 0 1 0 821388414 27971584 5431 33554432000 4194304 9128323 140735286651216 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21445/statm: 6829 5431 717 1205 0 5620 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 27316
[startup+0.100456 s]
/proc/loadavg: 2.07 2.03 2.01 2/572 21445
/proc/meminfo: memFree=31804672/32950928 swapFree=43925852/67111528
[pid=21445] ppid=21443 vsize=27316 CPUtime=0.09 cores=0,2,4,6
/proc/21445/stat : 21445 (scip-2.0.1.4.li) R 21443 21445 20770 0 -1 4202496 6092 0 0 0 8 1 0 0 25 0 1 0 821388414 27971584 5435 33554432000 4194304 9128323 140735286651216 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21445/statm: 6829 5435 721 1205 0 5620 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27316
[startup+0.300501 s]
/proc/loadavg: 2.07 2.03 2.01 2/572 21445
/proc/meminfo: memFree=31804672/32950928 swapFree=43925852/67111528
[pid=21445] ppid=21443 vsize=27316 CPUtime=0.29 cores=0,2,4,6
/proc/21445/stat : 21445 (scip-2.0.1.4.li) R 21443 21445 20770 0 -1 4202496 6095 0 0 0 27 2 0 0 25 0 1 0 821388414 27971584 5438 33554432000 4194304 9128323 140735286651216 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21445/statm: 6829 5438 723 1205 0 5620 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27316
[startup+0.700462 s]
/proc/loadavg: 2.07 2.03 2.01 2/572 21445
/proc/meminfo: memFree=31804672/32950928 swapFree=43925852/67111528
[pid=21445] ppid=21443 vsize=27316 CPUtime=0.69 cores=0,2,4,6
/proc/21445/stat : 21445 (scip-2.0.1.4.li) R 21443 21445 20770 0 -1 4202496 6099 0 0 0 65 4 0 0 25 0 1 0 821388414 27971584 5442 33554432000 4194304 9128323 140735286651216 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21445/statm: 6829 5442 723 1205 0 5620 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27316
[startup+1.50021 s]
/proc/loadavg: 2.14 2.04 2.01 3/573 21446
/proc/meminfo: memFree=31784820/32950928 swapFree=43925852/67111528
[pid=21445] ppid=21443 vsize=27316 CPUtime=1.49 cores=0,2,4,6
/proc/21445/stat : 21445 (scip-2.0.1.4.li) R 21443 21445 20770 0 -1 4202496 6107 0 0 0 141 8 0 0 25 0 1 0 821388414 27971584 5450 33554432000 4194304 9128323 140735286651216 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21445/statm: 6829 5450 723 1205 0 5620 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27316
[startup+3.10103 s]
/proc/loadavg: 2.14 2.04 2.01 3/573 21446
/proc/meminfo: memFree=31783332/32950928 swapFree=43925852/67111528
[pid=21445] ppid=21443 vsize=27316 CPUtime=3.1 cores=0,2,4,6
/proc/21445/stat : 21445 (scip-2.0.1.4.li) R 21443 21445 20770 0 -1 4202496 6124 0 0 0 295 15 0 0 25 0 1 0 821388414 27971584 5467 33554432000 4194304 9128323 140735286651216 18446744073709551615 5207993 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21445/statm: 6829 5467 723 1205 0 5620 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 27316
[startup+6.30046 s]
/proc/loadavg: 2.13 2.04 2.01 3/573 21446
/proc/meminfo: memFree=31782092/32950928 swapFree=43925852/67111528
[pid=21445] ppid=21443 vsize=28940 CPUtime=6.29 cores=0,2,4,6
/proc/21445/stat : 21445 (scip-2.0.1.4.li) R 21443 21445 20770 0 -1 4202496 6804 0 0 0 605 24 0 0 25 0 1 0 821388414 29634560 6147 33554432000 4194304 9128323 140735286651216 18446744073709551615 4208972 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21445/statm: 7235 6147 723 1205 0 6026 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28940
[startup+12.7003 s]
/proc/loadavg: 2.12 2.04 2.01 3/573 21447
/proc/meminfo: memFree=31773172/32950928 swapFree=43925852/67111528
[pid=21445] ppid=21443 vsize=36492 CPUtime=12.69 cores=0,2,4,6
/proc/21445/stat : 21445 (scip-2.0.1.4.li) R 21443 21445 20770 0 -1 4202496 8687 0 0 0 1225 44 0 0 25 0 1 0 821388414 37367808 8030 33554432000 4194304 9128323 140735286651216 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21445/statm: 9123 8030 723 1205 0 7914 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36492
[startup+25.501 s]
/proc/loadavg: 2.10 2.04 2.01 3/573 21447
/proc/meminfo: memFree=31760996/32950928 swapFree=43925852/67111528
[pid=21445] ppid=21443 vsize=48512 CPUtime=25.49 cores=0,2,4,6
/proc/21445/stat : 21445 (scip-2.0.1.4.li) R 21443 21445 20770 0 -1 4202496 11741 0 0 0 2466 83 0 0 25 0 1 0 821388414 49676288 11084 33554432000 4194304 9128323 140735286651216 18446744073709551615 18446744073699065932 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21445/statm: 12128 11084 723 1205 0 10919 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 48512
[startup+51.1005 s]
/proc/loadavg: 2.06 2.03 2.01 3/573 21448
/proc/meminfo: memFree=31740164/32950928 swapFree=43925852/67111528
[pid=21445] ppid=21443 vsize=67788 CPUtime=51.1 cores=0,2,4,6
/proc/21445/stat : 21445 (scip-2.0.1.4.li) R 21443 21445 20770 0 -1 4202496 16649 0 0 0 4966 144 0 0 25 0 1 0 821388414 69414912 15992 33554432000 4194304 9128323 140735286651216 18446744073709551615 4219723 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21445/statm: 16947 15992 723 1205 0 15738 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 67788
[startup+102.321 s]
/proc/loadavg: 2.02 2.03 2.00 3/573 21449
/proc/meminfo: memFree=31705084/32950928 swapFree=43925852/67111528
[pid=21445] ppid=21443 vsize=103624 CPUtime=102.32 cores=0,2,4,6
/proc/21445/stat : 21445 (scip-2.0.1.4.li) R 21443 21445 20770 0 -1 4202496 25090 0 0 0 9975 257 0 0 25 0 1 0 821388414 106110976 24433 33554432000 4194304 9128323 140735286651216 18446744073709551615 4900875 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21445/statm: 25906 24433 723 1205 0 24697 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 103624
[startup+162.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/573 21451
/proc/meminfo: memFree=31651308/32950928 swapFree=43925852/67111528
[pid=21445] ppid=21443 vsize=135292 CPUtime=162.29 cores=0,2,4,6
/proc/21445/stat : 21445 (scip-2.0.1.4.li) R 21443 21445 20770 0 -1 4202496 33118 0 0 0 15839 390 0 0 25 0 1 0 821388414 138539008 32461 33554432000 4194304 9128323 140735286651216 18446744073709551615 5332975 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21445/statm: 33823 32461 723 1205 0 32614 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 135292
[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/573 21452
/proc/meminfo: memFree=31608104/32950928 swapFree=43925852/67111528
[pid=21445] ppid=21443 vsize=163436 CPUtime=222.3 cores=0,2,4,6
/proc/21445/stat : 21445 (scip-2.0.1.4.li) R 21443 21445 20770 0 -1 4202496 40235 0 0 0 21705 525 0 0 25 0 1 0 821388414 167358464 39578 33554432000 4194304 9128323 140735286651216 18446744073709551615 18446744073699065856 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21445/statm: 40859 39578 723 1205 0 39650 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 163436
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/573 21454
/proc/meminfo: memFree=31560908/32950928 swapFree=43925852/67111528
[pid=21445] ppid=21443 vsize=187992 CPUtime=282.3 cores=0,2,4,6
/proc/21445/stat : 21445 (scip-2.0.1.4.li) R 21443 21445 20770 0 -1 4202496 46471 0 0 0 27585 645 0 0 25 0 1 0 821388414 192503808 45814 33554432000 4194304 9128323 140735286651216 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21445/statm: 46998 45814 723 1205 0 45789 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 187992
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/573 21455
/proc/meminfo: memFree=31518284/32950928 swapFree=43925852/67111528
[pid=21445] ppid=21443 vsize=215812 CPUtime=342.3 cores=0,2,4,6
/proc/21445/stat : 21445 (scip-2.0.1.4.li) R 21443 21445 20770 0 -1 4202496 52486 0 0 0 33463 767 0 0 25 0 1 0 821388414 220991488 51829 33554432000 4194304 9128323 140735286651216 18446744073709551615 4764439 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21445/statm: 53953 51829 723 1205 0 52744 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 215812
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/573 21457
/proc/meminfo: memFree=31463432/32950928 swapFree=43925852/67111528
[pid=21445] ppid=21443 vsize=240520 CPUtime=402.3 cores=0,2,4,6
/proc/21445/stat : 21445 (scip-2.0.1.4.li) R 21443 21445 20770 0 -1 4202496 58817 0 0 0 39356 874 0 0 25 0 1 0 821388414 246292480 58160 33554432000 4194304 9128323 140735286651216 18446744073709551615 5332936 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21445/statm: 60130 58160 723 1205 0 58921 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 240520
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/573 21459
/proc/meminfo: memFree=31405836/32950928 swapFree=43925852/67111528
[pid=21445] ppid=21443 vsize=257236 CPUtime=462.31 cores=0,2,4,6
/proc/21445/stat : 21445 (scip-2.0.1.4.li) R 21443 21445 20770 0 -1 4202496 62956 0 0 0 45252 979 0 0 25 0 1 0 821388414 263409664 62299 33554432000 4194304 9128323 140735286651216 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21445/statm: 64309 62299 723 1205 0 63100 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 257236
[startup+522.3 s]
/proc/loadavg: 2.27 2.07 2.02 3/573 21460
/proc/meminfo: memFree=31350352/32950928 swapFree=43925852/67111528
[pid=21445] ppid=21443 vsize=278744 CPUtime=522.3 cores=0,2,4,6
/proc/21445/stat : 21445 (scip-2.0.1.4.li) R 21443 21445 20770 0 -1 4202496 68417 0 0 0 51142 1088 0 0 25 0 1 0 821388414 285433856 67760 33554432000 4194304 9128323 140735286651216 18446744073709551615 6581570 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21445/statm: 69686 67760 723 1205 0 68477 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 278744
[startup+582.301 s]
/proc/loadavg: 2.15 2.07 2.02 3/573 21462
/proc/meminfo: memFree=31295972/32950928 swapFree=43925852/67111528
[pid=21445] ppid=21443 vsize=296640 CPUtime=582.3 cores=0,2,4,6
/proc/21445/stat : 21445 (scip-2.0.1.4.li) R 21443 21445 20770 0 -1 4202496 72795 0 0 0 57038 1192 0 0 25 0 1 0 821388414 303759360 72138 33554432000 4194304 9128323 140735286651216 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21445/statm: 74160 72138 723 1205 0 72951 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 296640
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 21468
/proc/meminfo: memFree=31090528/32950928 swapFree=43925852/67111528
[pid=21445] ppid=21443 vsize=361188 CPUtime=822.29 cores=0,2,4,6
/proc/21445/stat : 21445 (scip-2.0.1.4.li) R 21443 21445 20770 0 -1 4202496 89223 0 0 0 80653 1576 0 0 25 0 1 0 821388414 369856512 88566 33554432000 4194304 9128323 140735286651216 18446744073709551615 4241140 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21445/statm: 90297 88566 723 1205 0 89088 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 361188
[startup+882.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 21470
/proc/meminfo: memFree=31059592/32950928 swapFree=43925852/67111528
[pid=21445] ppid=21443 vsize=372980 CPUtime=882.29 cores=0,2,4,6
/proc/21445/stat : 21445 (scip-2.0.1.4.li) R 21443 21445 20770 0 -1 4202496 92191 0 0 0 86578 1651 0 0 25 0 1 0 821388414 381931520 91534 33554432000 4194304 9128323 140735286651216 18446744073709551615 4209032 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21445/statm: 93245 91534 723 1205 0 92036 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 372980
[startup+942.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/573 21471
/proc/meminfo: memFree=31025428/32950928 swapFree=43925852/67111528
[pid=21445] ppid=21443 vsize=385780 CPUtime=942.29 cores=0,2,4,6
/proc/21445/stat : 21445 (scip-2.0.1.4.li) R 21443 21445 20770 0 -1 4202496 95370 0 0 0 92497 1732 0 0 25 0 1 0 821388414 395038720 94713 33554432000 4194304 9128323 140735286651216 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21445/statm: 96445 94713 723 1205 0 95236 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 385780
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/573 21482
/proc/meminfo: memFree=30990824/32950928 swapFree=43925852/67111528
[pid=21445] ppid=21443 vsize=399216 CPUtime=1002.29 cores=0,2,4,6
/proc/21445/stat : 21445 (scip-2.0.1.4.li) R 21443 21445 20770 0 -1 4202496 98751 0 0 0 98426 1803 0 0 25 0 1 0 821388414 408797184 98094 33554432000 4194304 9128323 140735286651216 18446744073709551615 5321305 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21445/statm: 99804 98094 723 1205 0 98595 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 399216
[startup+1062.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/573 21484
/proc/meminfo: memFree=30960632/32950928 swapFree=43925852/67111528
[pid=21445] ppid=21443 vsize=409696 CPUtime=1062.3 cores=0,2,4,6
/proc/21445/stat : 21445 (scip-2.0.1.4.li) R 21443 21445 20770 0 -1 4202496 101433 0 0 0 104354 1876 0 0 25 0 1 0 821388414 419528704 100776 33554432000 4194304 9128323 140735286651216 18446744073709551615 5332999 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21445/statm: 102424 100776 723 1205 0 101215 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 409696
[startup+1122.3 s]
/proc/loadavg: 2.18 2.07 2.02 3/573 21485
/proc/meminfo: memFree=30922384/32950928 swapFree=43925852/67111528
[pid=21445] ppid=21443 vsize=420232 CPUtime=1122.3 cores=0,2,4,6
/proc/21445/stat : 21445 (scip-2.0.1.4.li) R 21443 21445 20770 0 -1 4202496 104128 0 0 0 110279 1951 0 0 25 0 1 0 821388414 430317568 103471 33554432000 4194304 9128323 140735286651216 18446744073709551615 4240144 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21445/statm: 105058 103471 723 1205 0 103849 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 420232
[startup+1182.3 s]
/proc/loadavg: 2.12 2.07 2.02 3/573 21490
/proc/meminfo: memFree=30881412/32950928 swapFree=43925852/67111528
[pid=21445] ppid=21443 vsize=431944 CPUtime=1182.3 cores=0,2,4,6
/proc/21445/stat : 21445 (scip-2.0.1.4.li) R 21443 21445 20770 0 -1 4202496 107127 0 0 0 116203 2027 0 0 25 0 1 0 821388414 442310656 106470 33554432000 4194304 9128323 140735286651216 18446744073709551615 5332984 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21445/statm: 107986 106470 723 1205 0 106777 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 431944
[startup+1242.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/573 21491
/proc/meminfo: memFree=30833768/32950928 swapFree=43925852/67111528
[pid=21445] ppid=21443 vsize=440072 CPUtime=1242.3 cores=0,2,4,6
/proc/21445/stat : 21445 (scip-2.0.1.4.li) R 21443 21445 20770 0 -1 4202496 109230 0 0 0 122133 2097 0 0 25 0 1 0 821388414 450633728 108573 33554432000 4194304 9128323 140735286651216 18446744073709551615 6581536 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21445/statm: 110018 108573 723 1205 0 108809 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 440072
[startup+1302.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/573 21493
/proc/meminfo: memFree=30790812/32950928 swapFree=43925852/67111528
[pid=21445] ppid=21443 vsize=453756 CPUtime=1302.31 cores=0,2,4,6
/proc/21445/stat : 21445 (scip-2.0.1.4.li) R 21443 21445 20770 0 -1 4202496 112519 0 0 0 128056 2175 0 0 25 0 1 0 821388414 464646144 111862 33554432000 4194304 9128323 140735286651216 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21445/statm: 113439 111862 723 1205 0 112230 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 453756
[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/573 21523
/proc/meminfo: memFree=31359800/32950928 swapFree=43925852/67111528
[pid=21445] ppid=21443 vsize=461436 CPUtime=1362.3 cores=0,2,4,6
/proc/21445/stat : 21445 (scip-2.0.1.4.li) R 21443 21445 20770 0 -1 4202496 114501 0 0 0 133990 2240 0 0 25 0 1 0 821388414 472510464 113844 33554432000 4194304 9128323 140735286651216 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21445/statm: 115359 113844 723 1205 0 114150 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 461436
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 21524
/proc/meminfo: memFree=31349456/32950928 swapFree=43925852/67111528
[pid=21445] ppid=21443 vsize=471944 CPUtime=1422.32 cores=0,2,4,6
/proc/21445/stat : 21445 (scip-2.0.1.4.li) R 21443 21445 20770 0 -1 4202496 117117 0 0 0 139920 2312 0 0 25 0 1 0 821388414 483270656 116460 33554432000 4194304 9128323 140735286651216 18446744073709551615 6581536 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21445/statm: 117986 116460 723 1205 0 116777 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 471944
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 21526
/proc/meminfo: memFree=31340444/32950928 swapFree=43925852/67111528
[pid=21445] ppid=21443 vsize=479448 CPUtime=1482.3 cores=0,2,4,6
/proc/21445/stat : 21445 (scip-2.0.1.4.li) R 21443 21445 20770 0 -1 4202496 119036 0 0 0 145840 2390 0 0 25 0 1 0 821388414 490954752 118379 33554432000 4194304 9128323 140735286651216 18446744073709551615 4553156 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21445/statm: 119862 118379 723 1205 0 118653 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 479448
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/573 21527
/proc/meminfo: memFree=31316976/32950928 swapFree=43925852/67111528
[pid=21445] ppid=21443 vsize=489048 CPUtime=1542.3 cores=0,2,4,6
/proc/21445/stat : 21445 (scip-2.0.1.4.li) R 21443 21445 20770 0 -1 4202496 121481 0 0 0 151770 2460 0 0 25 0 1 0 821388414 500785152 120824 33554432000 4194304 9128323 140735286651216 18446744073709551615 5321233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21445/statm: 122262 120824 723 1205 0 121053 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 489048
[startup+1602.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/573 21529
/proc/meminfo: memFree=31299072/32950928 swapFree=43925852/67111528
[pid=21445] ppid=21443 vsize=498188 CPUtime=1602.3 cores=0,2,4,6
/proc/21445/stat : 21445 (scip-2.0.1.4.li) R 21443 21445 20770 0 -1 4202496 123807 0 0 0 157703 2527 0 0 25 0 1 0 821388414 510144512 123150 33554432000 4194304 9128323 140735286651216 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21445/statm: 124547 123150 723 1205 0 123338 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 498188
[startup+1662.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/573 21531
/proc/meminfo: memFree=31272240/32950928 swapFree=43925852/67111528
[pid=21445] ppid=21443 vsize=517900 CPUtime=1662.3 cores=0,2,4,6
/proc/21445/stat : 21445 (scip-2.0.1.4.li) R 21443 21445 20770 0 -1 4202496 126737 0 0 0 163632 2598 0 0 25 0 1 0 821388414 530329600 126080 33554432000 4194304 9128323 140735286651216 18446744073709551615 4240086 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21445/statm: 129475 126080 723 1205 0 128266 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 517900
[startup+1722.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/573 21532
/proc/meminfo: memFree=31253104/32950928 swapFree=43925852/67111528
[pid=21445] ppid=21443 vsize=524032 CPUtime=1722.29 cores=0,2,4,6
/proc/21445/stat : 21445 (scip-2.0.1.4.li) R 21443 21445 20770 0 -1 4202496 128330 0 0 0 169562 2667 0 0 25 0 1 0 821388414 536608768 127673 33554432000 4194304 9128323 140735286651216 18446744073709551615 5333032 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21445/statm: 131008 127673 723 1205 0 129799 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 524032
[startup+1782.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/573 21534
/proc/meminfo: memFree=31228732/32950928 swapFree=43925852/67111528
[pid=21445] ppid=21443 vsize=533300 CPUtime=1782.3 cores=0,2,4,6
/proc/21445/stat : 21445 (scip-2.0.1.4.li) R 21443 21445 20770 0 -1 4202496 130482 0 0 0 175498 2732 0 0 25 0 1 0 821388414 546099200 129825 33554432000 4194304 9128323 140735286651216 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21445/statm: 133325 129825 723 1205 0 132116 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 533300
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.16 2.08 2.02 3/573 21534
/proc/meminfo: memFree=31221516/32950928 swapFree=43925852/67111528
[pid=21445] ppid=21443 vsize=537204 CPUtime=1800.02 cores=0,2,4,6
/proc/21445/stat : 21445 (scip-2.0.1.4.li) R 21443 21445 20770 0 -1 4202496 131478 0 0 0 177252 2750 0 0 25 0 1 0 821388414 550096896 130821 33554432000 4194304 9128323 140735286651216 18446744073709551615 5320780 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21445/statm: 134301 130821 725 1205 0 133092 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 537204
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.05
CPU time (s): 1800.05
CPU user time (s): 1772.53
CPU system time (s): 27.5278
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 537204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1772.53
system time used= 27.5278
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131478
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= 7
involuntary context switches= 3272
runsolver used 10.6694 second user time and 23.4774 second system time
The end