0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3485339-1307772794.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 = 1797
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 | 29 | - | 252k| 0 | 5 | 40 | 14 | 40 | 5 | 0 | 9 | 0 | 0.000000e+00 | -- | Inf
0.01/0.02 c 0.0s| 1 | 0 | 89 | - | 292k| 0 | 9 | 40 | 27 | 40 | 9 | 4 | 9 | 0 | 0.000000e+00 | -- | Inf
0.01/0.02 c 0.0s| 1 | 0 | 94 | - | 314k| 0 | 12 | 40 | 27 | 40 | 12 | 7 | 9 | 0 | 0.000000e+00 | -- | Inf
0.01/0.03 c 0.0s| 1 | 0 | 103 | - | 340k| 0 | 14 | 40 | 27 | 40 | 16 | 11 | 9 | 0 | 0.000000e+00 | -- | Inf
0.01/0.03 c 0.0s| 1 | 0 | 113 | - | 353k| 0 | 13 | 40 | 27 | 40 | 19 | 14 | 9 | 0 | 0.000000e+00 | -- | Inf
0.01/0.03 c 0.0s| 1 | 0 | 118 | - | 378k| 0 | 12 | 40 | 27 | 40 | 22 | 17 | 9 | 0 | 0.000000e+00 | -- | Inf
0.01/0.04 c 0.0s| 1 | 0 | 124 | - | 407k| 0 | 16 | 40 | 27 | 40 | 26 | 21 | 9 | 0 | 0.000000e+00 | -- | Inf
0.01/0.07 c 0.1s| 1 | 2 | 124 | - | 407k| 0 | 16 | 40 | 27 | 40 | 26 | 21 | 9 | 12 | 0.000000e+00 | -- | Inf
1.79/1.81 c 1.8s| 10000 | 2545 | 19770 | 2.0 |3706k| 35 | 5 | 40 |3738 | 40 | 16 | 21 |5698 | 450 | 0.000000e+00 | -- | Inf
3.49/3.54 c 3.5s| 20000 | 4893 | 39829 | 2.0 |5070k| 35 | - | 40 |2909 | 40 | 16 | 21 | 11k| 627 | 0.000000e+00 | -- | Inf
5.19/5.23 c 5.2s| 30000 | 7233 | 60069 | 2.0 |6821k| 35 | 5 | 40 |3515 | 40 | 16 | 21 | 17k| 764 | 0.000000e+00 | -- | Inf
6.99/7.03 c 7.0s| 40000 | 9301 | 79814 | 2.0 |8342k| 35 | - | 40 |3492 | 40 | 16 | 21 | 23k| 868 | 0.000000e+00 | -- | Inf
8.79/8.84 c 8.8s| 50000 | 11170 | 99619 | 2.0 |9933k| 35 | 5 | 40 |3992 | 40 | 16 | 21 | 29k| 979 | 0.000000e+00 | -- | Inf
10.69/10.70 c 10.7s| 60000 | 13254 |119719 | 2.0 | 11M| 35 | 5 | 40 |4296 | 40 | 16 | 21 | 35k|1073 | 0.000000e+00 | -- | Inf
12.49/12.57 c 12.6s| 70000 | 15200 |139689 | 2.0 | 13M| 35 | 5 | 40 |4483 | 40 | 16 | 21 | 41k|1153 | 0.000000e+00 | -- | Inf
14.49/14.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.49/14.56 c 14.6s| 80000 | 16993 |159799 | 2.0 | 14M| 35 | 5 | 40 |4184 | 40 | 16 | 21 | 47k|1242 | 0.000000e+00 | -- | Inf
16.30/16.38 c 16.4s| 90000 | 18935 |179391 | 2.0 | 16M| 35 | 5 | 40 |4746 | 40 | 16 | 21 | 53k|1305 | 0.000000e+00 | -- | Inf
18.29/18.37 c 18.4s|100000 | 20648 |199354 | 2.0 | 17M| 35 | - | 40 |5435 | 40 | 16 | 21 | 60k|1376 | 0.000000e+00 | -- | Inf
20.29/20.38 c 20.4s|110000 | 22416 |219329 | 2.0 | 18M| 35 | - | 40 |4895 | 40 | 16 | 21 | 66k|1454 | 0.000000e+00 | -- | Inf
22.29/22.34 c 22.3s|120000 | 24327 |239146 | 2.0 | 20M| 35 | 5 | 40 |5041 | 40 | 16 | 21 | 72k|1503 | 0.000000e+00 | -- | Inf
24.39/24.43 c 24.4s|130000 | 25855 |259024 | 2.0 | 21M| 35 | 5 | 40 |4603 | 40 | 16 | 21 | 78k|1554 | 0.000000e+00 | -- | Inf
26.30/26.31 c 26.3s|140000 | 28060 |279581 | 2.0 | 23M| 35 | 5 | 40 |5489 | 40 | 16 | 21 | 84k|1608 | 0.000000e+00 | -- | Inf
28.19/28.23 c 28.2s|150000 | 30303 |300872 | 2.0 | 25M| 35 | - | 40 |6280 | 40 | 16 | 21 | 90k|1658 | 0.000000e+00 | -- | Inf
30.29/30.36 c 30.4s|160000 | 31917 |320858 | 2.0 | 26M| 35 | 5 | 40 |5278 | 40 | 16 | 21 | 96k|1704 | 0.000000e+00 | -- | Inf
32.39/32.42 c 32.4s|170000 | 33655 |341030 | 2.0 | 27M| 35 | - | 40 |5122 | 40 | 16 | 21 | 102k|1759 | 0.000000e+00 | -- | Inf
34.49/34.53 c 34.5s|180000 | 35414 |361106 | 2.0 | 28M| 35 | 5 | 40 |5424 | 40 | 16 | 21 | 108k|1814 | 0.000000e+00 | -- | Inf
36.59/36.62 c 36.6s|190000 | 37049 |381580 | 2.0 | 30M| 35 | - | 40 |5226 | 40 | 16 | 21 | 115k|1863 | 0.000000e+00 | -- | Inf
38.60/38.64 c 38.6s|200000 | 38796 |401806 | 2.0 | 31M| 35 | 5 | 40 |5721 | 40 | 16 | 21 | 121k|1921 | 0.000000e+00 | -- | Inf
40.89/40.94 c 40.9s|210000 | 40138 |421843 | 2.0 | 32M| 35 | 5 | 40 |4099 | 40 | 16 | 21 | 127k|1961 | 0.000000e+00 | -- | Inf
42.90/42.94 c 42.9s|220000 | 41746 |441958 | 2.0 | 33M| 35 | - | 40 |4555 | 40 | 16 | 21 | 133k|2001 | 0.000000e+00 | -- | Inf
45.00/45.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.00/45.05 c 45.1s|230000 | 43145 |462009 | 2.0 | 35M| 35 | 5 | 40 |5069 | 40 | 16 | 21 | 140k|2050 | 0.000000e+00 | -- | Inf
47.09/47.17 c 47.2s|240000 | 44577 |481852 | 2.0 | 36M| 35 | 5 | 40 |4991 | 40 | 16 | 21 | 146k|2094 | 0.000000e+00 | -- | Inf
49.29/49.32 c 49.3s|250000 | 45929 |501968 | 2.0 | 37M| 35 | 5 | 40 |4520 | 40 | 16 | 21 | 153k|2145 | 0.000000e+00 | -- | Inf
51.30/51.36 c 51.4s|260000 | 47626 |522299 | 2.0 | 39M| 35 | 5 | 40 |5327 | 40 | 16 | 21 | 159k|2183 | 0.000000e+00 | -- | Inf
53.49/53.55 c 53.6s|270000 | 49033 |542889 | 2.0 | 40M| 35 | 5 | 40 |6215 | 40 | 16 | 21 | 166k|2221 | 0.000000e+00 | -- | Inf
55.80/55.86 c 55.9s|280000 | 50300 |563493 | 2.0 | 41M| 35 | 5 | 40 |5268 | 40 | 16 | 21 | 172k|2256 | 0.000000e+00 | -- | Inf
58.00/58.05 c 58.0s|290000 | 51704 |583817 | 2.0 | 42M| 35 | - | 40 |5315 | 40 | 16 | 21 | 179k|2285 | 0.000000e+00 | -- | Inf
60.19/60.21 c 60.2s|300000 | 53032 |604459 | 2.0 | 44M| 35 | - | 40 |5579 | 40 | 16 | 21 | 185k|2320 | 0.000000e+00 | -- | Inf
62.29/62.31 c 62.3s|310000 | 54535 |624598 | 2.0 | 45M| 35 | 5 | 40 |7212 | 40 | 16 | 21 | 192k|2351 | 0.000000e+00 | -- | Inf
64.49/64.56 c 64.6s|320000 | 56380 |646073 | 2.0 | 47M| 35 | 5 | 40 |8701 | 40 | 16 | 21 | 198k|2400 | 0.000000e+00 | -- | Inf
67.10/67.13 c 67.1s|330000 | 57491 |666491 | 2.0 | 48M| 35 | 5 | 40 |5551 | 40 | 16 | 21 | 205k|2440 | 0.000000e+00 | -- | Inf
69.30/69.32 c 69.3s|340000 | 58960 |686860 | 2.0 | 49M| 35 | 5 | 40 |6343 | 40 | 16 | 21 | 211k|2472 | 0.000000e+00 | -- | Inf
71.69/71.74 c 71.7s|350000 | 60119 |706892 | 2.0 | 50M| 35 | 5 | 40 |5232 | 40 | 16 | 21 | 218k|2513 | 0.000000e+00 | -- | Inf
73.79/73.80 c 73.8s|360000 | 61697 |727568 | 2.0 | 52M| 35 | 5 | 40 |6985 | 40 | 16 | 21 | 224k|2545 | 0.000000e+00 | -- | Inf
76.19/76.22 c 76.2s|370000 | 62954 |748137 | 2.0 | 53M| 35 | 5 | 40 |6341 | 40 | 16 | 21 | 231k|2566 | 0.000000e+00 | -- | Inf
78.59/78.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
78.59/78.62 c 78.6s|380000 | 64273 |768332 | 2.0 | 54M| 35 | - | 40 |6158 | 40 | 16 | 21 | 237k|2590 | 0.000000e+00 | -- | Inf
80.89/80.90 c 80.9s|390000 | 65602 |788673 | 2.0 | 55M| 35 | 5 | 40 |6349 | 40 | 16 | 21 | 244k|2622 | 0.000000e+00 | -- | Inf
83.19/83.29 c 83.3s|400000 | 66644 |809504 | 2.0 | 56M| 35 | - | 40 |6400 | 40 | 16 | 21 | 251k|2645 | 0.000000e+00 | -- | Inf
85.59/85.64 c 85.6s|410000 | 67822 |829911 | 2.0 | 57M| 35 | 5 | 40 |6435 | 40 | 16 | 21 | 257k|2676 | 0.000000e+00 | -- | Inf
88.00/88.02 c 88.0s|420000 | 69011 |850257 | 2.0 | 58M| 35 | - | 40 |5413 | 40 | 16 | 21 | 264k|2703 | 0.000000e+00 | -- | Inf
90.19/90.21 c 90.2s|430000 | 70545 |871093 | 2.0 | 60M| 35 | 5 | 40 |7584 | 40 | 16 | 21 | 271k|2734 | 0.000000e+00 | -- | Inf
92.79/92.88 c 92.9s|440000 | 71454 |891585 | 2.0 | 61M| 35 | - | 40 |5946 | 40 | 16 | 21 | 278k|2764 | 0.000000e+00 | -- | Inf
95.19/95.25 c 95.2s|450000 | 72634 |911599 | 2.0 | 62M| 35 | - | 40 |6737 | 40 | 16 | 21 | 284k|2792 | 0.000000e+00 | -- | Inf
97.59/97.69 c 97.7s|460000 | 73720 |932837 | 2.0 | 63M| 35 | - | 40 |6691 | 40 | 16 | 21 | 291k|2817 | 0.000000e+00 | -- | Inf
100.00/100.00 c 100s|470000 | 75015 |953665 | 2.0 | 64M| 35 | 5 | 40 |7407 | 40 | 16 | 21 | 298k|2843 | 0.000000e+00 | -- | Inf
102.59/102.61 c 103s|480000 | 76129 |974716 | 2.0 | 65M| 35 | 5 | 40 |6750 | 40 | 16 | 21 | 305k|2870 | 0.000000e+00 | -- | Inf
105.00/105.04 c 105s|490000 | 77328 |995421 | 2.0 | 66M| 35 | - | 40 |6305 | 40 | 16 | 21 | 311k|2886 | 0.000000e+00 | -- | Inf
107.29/107.37 c 107s|500000 | 78458 | 1015k| 2.0 | 68M| 35 | 5 | 40 |7163 | 40 | 16 | 21 | 318k|2909 | 0.000000e+00 | -- | Inf
109.59/109.69 c 110s|510000 | 79922 | 1035k| 2.0 | 69M| 35 | - | 40 |8307 | 0 | 0 | 21 | 325k|2933 | 0.000000e+00 | -- | Inf
112.19/112.26 c 112s|520000 | 81103 | 1055k| 2.0 | 71M| 35 | 5 | 40 |9413 | 40 | 16 | 21 | 332k|2959 | 0.000000e+00 | -- | Inf
114.70/114.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
114.70/114.76 c 115s|530000 | 82983 | 1075k| 2.0 | 72M| 36 | 5 | 40 |9004 | 40 | 16 | 21 | 338k|2977 | 0.000000e+00 | -- | Inf
117.09/117.15 c 117s|540000 | 84772 | 1095k| 2.0 | 73M| 36 | - | 40 |9630 | 0 | 0 | 21 | 344k|3000 | 0.000000e+00 | -- | Inf
119.69/119.73 c 120s|550000 | 86130 | 1115k| 2.0 | 75M| 36 | 5 | 40 | 10k| 40 | 16 | 21 | 350k|3027 | 0.000000e+00 | -- | Inf
122.29/122.31 c 122s|560000 | 87303 | 1136k| 2.0 | 76M| 36 | 5 | 40 | 10k| 40 | 16 | 21 | 357k|3052 | 0.000000e+00 | -- | Inf
125.19/125.25 c 125s|570000 | 88258 | 1157k| 2.0 | 77M| 36 | 5 | 40 |9878 | 40 | 16 | 21 | 363k|3073 | 0.000000e+00 | -- | Inf
127.79/127.81 c 128s|580000 | 89572 | 1177k| 2.0 | 79M| 36 | 5 | 40 | 12k| 40 | 16 | 21 | 370k|3092 | 0.000000e+00 | -- | Inf
130.80/130.86 c 131s|590000 | 90720 | 1198k| 2.0 | 79M| 36 | 5 | 40 |7409 | 40 | 16 | 21 | 377k|3124 | 0.000000e+00 | -- | Inf
133.19/133.26 c 133s|600000 | 92147 | 1219k| 2.0 | 81M| 36 | 5 | 40 |9098 | 40 | 16 | 21 | 384k|3147 | 0.000000e+00 | -- | Inf
135.90/135.98 c 136s|610000 | 93324 | 1240k| 2.0 | 82M| 36 | - | 40 |8328 | 0 | 0 | 21 | 391k|3175 | 0.000000e+00 | -- | Inf
138.70/138.72 c 139s|620000 | 94276 | 1261k| 2.0 | 82M| 36 | 5 | 40 |7306 | 40 | 16 | 21 | 398k|3208 | 0.000000e+00 | -- | Inf
141.29/141.38 c 141s|630000 | 95229 | 1282k| 2.0 | 83M| 36 | - | 40 |6289 | 40 | 16 | 21 | 404k|3224 | 0.000000e+00 | -- | Inf
144.00/144.08 c 144s|640000 | 95843 | 1303k| 2.0 | 84M| 36 | 5 | 40 |5569 | 40 | 16 | 21 | 412k|3261 | 0.000000e+00 | -- | Inf
146.39/146.48 c 146s|650000 | 96978 | 1324k| 2.0 | 85M| 36 | - | 40 |6123 | 40 | 16 | 21 | 418k|3280 | 0.000000e+00 | -- | Inf
149.10/149.12 c 149s|660000 | 97867 | 1344k| 2.0 | 86M| 36 | 5 | 40 |6151 | 40 | 16 | 21 | 425k|3297 | 0.000000e+00 | -- | Inf
151.60/151.67 c 152s|670000 | 98807 | 1365k| 2.0 | 87M| 36 | 5 | 40 |6553 | 40 | 16 | 21 | 432k|3321 | 0.000000e+00 | -- | Inf
154.29/154.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
154.29/154.36 c 154s|680000 | 99496 | 1385k| 2.0 | 88M| 36 | 5 | 40 |5824 | 40 | 16 | 21 | 439k|3345 | 0.000000e+00 | -- | Inf
156.69/156.72 c 157s|690000 |100648 | 1406k| 2.0 | 89M| 36 | 5 | 40 |7445 | 40 | 16 | 21 | 446k|3368 | 0.000000e+00 | -- | Inf
159.30/159.34 c 159s|700000 |101523 | 1426k| 2.0 | 90M| 36 | 5 | 40 |6692 | 40 | 16 | 21 | 453k|3390 | 0.000000e+00 | -- | Inf
161.90/161.96 c 162s|710000 |102442 | 1447k| 2.0 | 91M| 36 | 5 | 40 |6381 | 40 | 16 | 21 | 460k|3412 | 0.000000e+00 | -- | Inf
164.60/164.64 c 165s|720000 |103266 | 1467k| 2.0 | 92M| 36 | - | 40 |5484 | 40 | 16 | 21 | 467k|3439 | 0.000000e+00 | -- | Inf
166.80/166.88 c 167s|730000 |104648 | 1487k| 2.0 | 93M| 36 | - | 40 |7044 | 40 | 16 | 21 | 473k|3459 | 0.000000e+00 | -- | Inf
169.10/169.12 c 169s|740000 |106802 | 1507k| 2.0 | 95M| 36 | - | 40 |9048 | 40 | 16 | 21 | 479k|3472 | 0.000000e+00 | -- | Inf
171.70/171.78 c 172s|750000 |108204 | 1527k| 2.0 | 96M| 36 | - | 40 |9495 | 40 | 16 | 21 | 486k|3496 | 0.000000e+00 | -- | Inf
174.40/174.42 c 174s|760000 |109485 | 1547k| 2.0 | 98M| 36 | 5 | 40 | 10k| 40 | 16 | 21 | 493k|3511 | 0.000000e+00 | -- | Inf
177.40/177.41 c 177s|770000 |110211 | 1566k| 2.0 | 99M| 36 | 5 | 40 |9638 | 40 | 16 | 21 | 500k|3530 | 0.000000e+00 | -- | Inf
180.30/180.36 c 180s|780000 |110876 | 1586k| 2.0 | 99M| 36 | 5 | 40 |9792 | 40 | 16 | 21 | 507k|3553 | 0.000000e+00 | -- | Inf
183.09/183.10 c 183s|790000 |111995 | 1606k| 2.0 | 101M| 36 | 5 | 40 | 10k| 40 | 16 | 21 | 514k|3569 | 0.000000e+00 | -- | Inf
185.99/186.08 c 186s|800000 |112928 | 1626k| 2.0 | 101M| 36 | 5 | 40 |8218 | 40 | 16 | 21 | 521k|3584 | 0.000000e+00 | -- | Inf
188.90/188.97 c 189s|810000 |113620 | 1646k| 2.0 | 102M| 36 | 5 | 40 |6619 | 40 | 16 | 21 | 528k|3606 | 0.000000e+00 | -- | Inf
191.69/191.70 c 192s|820000 |114301 | 1667k| 2.0 | 102M| 36 | 5 | 40 |6201 | 40 | 16 | 21 | 535k|3627 | 0.000000e+00 | -- | Inf
194.40/194.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
194.40/194.42 c 194s|830000 |114980 | 1687k| 2.0 | 103M| 36 | - | 40 |6032 | 40 | 16 | 21 | 542k|3651 | 0.000000e+00 | -- | Inf
196.90/196.99 c 197s|840000 |115698 | 1708k| 2.0 | 104M| 36 | 5 | 40 |6443 | 40 | 16 | 21 | 549k|3677 | 0.000000e+00 | -- | Inf
199.60/199.65 c 200s|850000 |116400 | 1729k| 2.0 | 105M| 36 | - | 40 |5754 | 40 | 16 | 21 | 557k|3696 | 0.000000e+00 | -- | Inf
202.30/202.34 c 202s|860000 |117147 | 1750k| 2.0 | 106M| 36 | 5 | 40 |6824 | 40 | 16 | 21 | 564k|3729 | 0.000000e+00 | -- | Inf
204.80/204.89 c 205s|870000 |118171 | 1770k| 2.0 | 107M| 36 | 5 | 40 |7458 | 40 | 16 | 21 | 571k|3751 | 0.000000e+00 | -- | Inf
207.59/207.64 c 208s|880000 |118844 | 1791k| 2.0 | 108M| 36 | 5 | 40 |6981 | 40 | 16 | 21 | 578k|3764 | 0.000000e+00 | -- | Inf
210.30/210.32 c 210s|890000 |119836 | 1812k| 2.0 | 109M| 36 | - | 40 |8016 | 40 | 16 | 21 | 585k|3780 | 0.000000e+00 | -- | Inf
212.60/212.66 c 213s|900000 |121393 | 1832k| 2.0 | 111M| 36 | - | 40 |9127 | 40 | 16 | 21 | 592k|3798 | 0.000000e+00 | -- | Inf
215.29/215.37 c 215s|910000 |122251 | 1853k| 2.0 | 112M| 36 | - | 40 |9797 | 0 | 0 | 21 | 599k|3815 | 0.000000e+00 | -- | Inf
218.20/218.26 c 218s|920000 |123090 | 1873k| 2.0 | 113M| 36 | - | 40 |7829 | 40 | 16 | 21 | 606k|3829 | 0.000000e+00 | -- | Inf
220.89/220.98 c 221s|930000 |124057 | 1894k| 2.0 | 114M| 36 | 5 | 40 |7327 | 40 | 16 | 21 | 613k|3849 | 0.000000e+00 | -- | Inf
223.60/223.66 c 224s|940000 |124981 | 1915k| 2.0 | 115M| 36 | - | 40 |7372 | 40 | 16 | 21 | 620k|3869 | 0.000000e+00 | -- | Inf
225.80/225.88 c 226s|950000 |127358 | 1934k| 2.0 | 116M| 36 | - | 40 |8535 | 40 | 16 | 21 | 625k|3881 | 0.000000e+00 | -- | Inf
228.29/228.31 c 228s|960000 |129347 | 1953k| 2.0 | 118M| 36 | 5 | 40 |9027 | 40 | 16 | 21 | 631k|3889 | 0.000000e+00 | -- | Inf
230.80/230.85 c 231s|970000 |131024 | 1971k| 2.0 | 120M| 36 | 5 | 40 |9664 | 40 | 16 | 21 | 637k|3908 | 0.000000e+00 | -- | Inf
233.60/233.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
233.60/233.62 c 234s|980000 |132214 | 1990k| 2.0 | 121M| 36 | - | 40 |9326 | 40 | 16 | 21 | 643k|3930 | 0.000000e+00 | -- | Inf
236.40/236.41 c 236s|990000 |133352 | 2009k| 2.0 | 122M| 36 | - | 40 |9867 | 40 | 16 | 21 | 649k|3943 | 0.000000e+00 | -- | Inf
238.99/239.08 c 239s| 1000k|134748 | 2027k| 2.0 | 123M| 36 | 5 | 40 | 11k| 40 | 16 | 21 | 656k|3960 | 0.000000e+00 | -- | Inf
242.20/242.22 c 242s| 1010k|135709 | 2046k| 2.0 | 124M| 36 | - | 40 | 10k| 0 | 0 | 21 | 662k|3978 | 0.000000e+00 | -- | Inf
245.10/245.10 c 245s| 1020k|136759 | 2064k| 2.0 | 125M| 36 | - | 40 | 10k| 40 | 16 | 21 | 668k|4010 | 0.000000e+00 | -- | Inf
247.90/247.98 c 248s| 1030k|137866 | 2082k| 2.0 | 126M| 36 | - | 40 | 10k| 40 | 16 | 21 | 675k|4034 | 0.000000e+00 | -- | Inf
251.10/251.18 c 251s| 1040k|138617 | 2100k| 2.0 | 127M| 36 | 5 | 40 | 10k| 40 | 16 | 21 | 681k|4054 | 0.000000e+00 | -- | Inf
254.39/254.48 c 254s| 1050k|138929 | 2118k| 2.0 | 128M| 36 | - | 40 | 10k| 40 | 16 | 21 | 688k|4068 | 0.000000e+00 | -- | Inf
257.60/257.67 c 258s| 1060k|139361 | 2137k| 2.0 | 128M| 36 | 5 | 40 |9949 | 40 | 16 | 21 | 695k|4104 | 0.000000e+00 | -- | Inf
260.71/260.78 c 261s| 1070k|140360 | 2155k| 2.0 | 129M| 36 | - | 40 |9118 | 40 | 16 | 21 | 702k|4123 | 0.000000e+00 | -- | Inf
263.70/263.74 c 264s| 1080k|141211 | 2176k| 2.0 | 130M| 36 | 5 | 40 |8377 | 40 | 16 | 21 | 709k|4141 | 0.000000e+00 | -- | Inf
266.60/266.69 c 267s| 1090k|141881 | 2196k| 2.0 | 131M| 36 | - | 40 |7396 | 40 | 16 | 21 | 716k|4169 | 0.000000e+00 | -- | Inf
269.40/269.50 c 269s| 1100k|142546 | 2217k| 2.0 | 131M| 36 | 5 | 40 |7108 | 40 | 16 | 21 | 723k|4181 | 0.000000e+00 | -- | Inf
272.00/272.03 c 272s| 1110k|143738 | 2237k| 2.0 | 133M| 36 | - | 40 |8379 | 40 | 16 | 21 | 730k|4200 | 0.000000e+00 | -- | Inf
274.90/275.00 c 275s| 1120k|144388 | 2257k| 2.0 | 133M| 36 | 6 | 40 |6945 | 40 | 16 | 21 | 737k|4216 | 0.000000e+00 | -- | Inf
277.30/277.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
277.30/277.33 c 277s| 1130k|145798 | 2279k| 2.0 | 135M| 36 | 5 | 40 |9057 | 40 | 16 | 21 | 743k|4228 | 0.000000e+00 | -- | Inf
280.30/280.40 c 280s| 1140k|146339 | 2299k| 2.0 | 135M| 36 | 5 | 40 |6470 | 40 | 16 | 21 | 750k|4245 | 0.000000e+00 | -- | Inf
283.09/283.19 c 283s| 1150k|147114 | 2319k| 2.0 | 136M| 36 | - | 40 |7588 | 0 | 0 | 21 | 757k|4261 | 0.000000e+00 | -- | Inf
285.69/285.79 c 286s| 1160k|148304 | 2339k| 2.0 | 137M| 36 | 5 | 40 |7771 | 40 | 16 | 21 | 764k|4281 | 0.000000e+00 | -- | Inf
288.21/288.29 c 288s| 1170k|149234 | 2359k| 2.0 | 139M| 36 | 5 | 40 |8992 | 40 | 16 | 21 | 771k|4296 | 0.000000e+00 | -- | Inf
290.90/290.93 c 291s| 1180k|150220 | 2379k| 2.0 | 140M| 36 | 5 | 40 |9528 | 40 | 16 | 21 | 777k|4314 | 0.000000e+00 | -- | Inf
293.89/293.91 c 294s| 1190k|151137 | 2400k| 2.0 | 141M| 36 | 5 | 40 |8580 | 40 | 16 | 21 | 785k|4337 | 0.000000e+00 | -- | Inf
296.59/296.68 c 297s| 1200k|152105 | 2421k| 2.0 | 142M| 36 | 5 | 40 | 10k| 40 | 16 | 21 | 792k|4359 | 0.000000e+00 | -- | Inf
299.70/299.70 c 300s| 1210k|152865 | 2442k| 2.0 | 143M| 36 | - | 40 |9202 | 40 | 16 | 21 | 799k|4368 | 0.000000e+00 | -- | Inf
302.50/302.58 c 303s| 1220k|153667 | 2462k| 2.0 | 144M| 36 | - | 40 |9553 | 40 | 16 | 21 | 806k|4387 | 0.000000e+00 | -- | Inf
305.60/305.68 c 306s| 1230k|154438 | 2483k| 2.0 | 144M| 36 | 5 | 40 |8064 | 40 | 16 | 21 | 813k|4409 | 0.000000e+00 | -- | Inf
308.50/308.50 c 309s| 1240k|155122 | 2503k| 2.0 | 145M| 36 | 5 | 40 |7548 | 40 | 16 | 21 | 821k|4429 | 0.000000e+00 | -- | Inf
311.09/311.15 c 311s| 1250k|156084 | 2524k| 2.0 | 146M| 36 | - | 40 |8541 | 0 | 0 | 21 | 828k|4442 | 0.000000e+00 | -- | Inf
313.90/313.95 c 314s| 1260k|156998 | 2544k| 2.0 | 147M| 36 | 5 | 40 |8187 | 40 | 16 | 21 | 835k|4464 | 0.000000e+00 | -- | Inf
316.90/316.90 c 317s| 1270k|157615 | 2564k| 2.0 | 148M| 36 | - | 40 |6579 | 40 | 16 | 21 | 842k|4482 | 0.000000e+00 | -- | Inf
319.60/319.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
319.60/319.68 c 320s| 1280k|158223 | 2585k| 2.0 | 149M| 36 | 5 | 40 |7005 | 40 | 16 | 21 | 849k|4500 | 0.000000e+00 | -- | Inf
322.40/322.42 c 322s| 1290k|158885 | 2605k| 2.0 | 150M| 36 | 5 | 40 |7827 | 40 | 16 | 21 | 856k|4516 | 0.000000e+00 | -- | Inf
325.30/325.33 c 325s| 1300k|159572 | 2626k| 2.0 | 150M| 36 | - | 40 |7026 | 40 | 16 | 21 | 863k|4535 | 0.000000e+00 | -- | Inf
328.10/328.12 c 328s| 1310k|160311 | 2646k| 2.0 | 151M| 36 | 5 | 40 |6929 | 40 | 16 | 21 | 871k|4555 | 0.000000e+00 | -- | Inf
331.00/331.08 c 331s| 1320k|160680 | 2667k| 2.0 | 152M| 36 | - | 40 |5786 | 0 | 0 | 21 | 878k|4569 | 0.000000e+00 | -- | Inf
333.70/333.73 c 334s| 1330k|161330 | 2686k| 2.0 | 153M| 36 | - | 40 |6302 | 40 | 16 | 21 | 885k|4583 | 0.000000e+00 | -- | Inf
336.50/336.50 c 337s| 1340k|161901 | 2706k| 2.0 | 153M| 36 | 5 | 40 |6586 | 40 | 16 | 21 | 892k|4598 | 0.000000e+00 | -- | Inf
339.20/339.25 c 339s| 1350k|162498 | 2726k| 2.0 | 154M| 36 | 5 | 40 |6435 | 40 | 16 | 21 | 899k|4618 | 0.000000e+00 | -- | Inf
341.89/341.92 c 342s| 1360k|163142 | 2747k| 2.0 | 155M| 36 | 5 | 40 |6910 | 40 | 16 | 21 | 907k|4636 | 0.000000e+00 | -- | Inf
344.50/344.53 c 345s| 1370k|164187 | 2767k| 2.0 | 156M| 36 | - | 40 |6744 | 40 | 16 | 21 | 913k|4646 | 0.000000e+00 | -- | Inf
347.00/347.01 c 347s| 1380k|165402 | 2785k| 2.0 | 158M| 36 | 5 | 40 |8439 | 40 | 16 | 21 | 920k|4655 | 0.000000e+00 | -- | Inf
349.49/349.54 c 350s| 1390k|166608 | 2803k| 2.0 | 159M| 36 | - | 40 |9471 | 40 | 16 | 21 | 926k|4680 | 0.000000e+00 | -- | Inf
352.50/352.59 c 353s| 1400k|167016 | 2821k| 2.0 | 159M| 36 | 5 | 40 |8806 | 40 | 16 | 21 | 934k|4702 | 0.000000e+00 | -- | Inf
355.69/355.74 c 356s| 1410k|167489 | 2840k| 2.0 | 160M| 36 | - | 40 |7056 | 40 | 16 | 21 | 941k|4714 | 0.000000e+00 | -- | Inf
358.80/358.80 c 359s| 1420k|167801 | 2861k| 2.0 | 160M| 36 | 5 | 40 |6220 | 40 | 16 | 21 | 948k|4730 | 0.000000e+00 | -- | Inf
361.50/361.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
361.50/361.51 c 362s| 1430k|168399 | 2881k| 2.0 | 161M| 36 | 5 | 40 |6712 | 40 | 16 | 21 | 955k|4742 | 0.000000e+00 | -- | Inf
364.30/364.35 c 364s| 1440k|168793 | 2901k| 2.0 | 161M| 36 | - | 40 |6114 | 40 | 16 | 21 | 962k|4756 | 0.000000e+00 | -- | Inf
367.00/367.04 c 367s| 1450k|169362 | 2921k| 2.0 | 162M| 36 | 5 | 40 |6487 | 40 | 16 | 21 | 969k|4771 | 0.000000e+00 | -- | Inf
369.80/369.82 c 370s| 1460k|169843 | 2941k| 2.0 | 163M| 36 | 5 | 40 |7103 | 40 | 16 | 21 | 977k|4785 | 0.000000e+00 | -- | Inf
372.60/372.62 c 373s| 1470k|170583 | 2962k| 2.0 | 164M| 36 | - | 40 |7326 | 40 | 16 | 21 | 984k|4798 | 0.000000e+00 | -- | Inf
375.50/375.56 c 376s| 1480k|170991 | 2982k| 2.0 | 165M| 36 | - | 40 |6351 | 40 | 16 | 21 | 991k|4811 | 0.000000e+00 | -- | Inf
378.10/378.18 c 378s| 1490k|171667 | 3002k| 2.0 | 166M| 36 | - | 40 |7477 | 40 | 16 | 21 | 998k|4824 | 0.000000e+00 | -- | Inf
381.00/381.06 c 381s| 1500k|172212 | 3022k| 2.0 | 166M| 36 | - | 40 |6962 | 40 | 16 | 21 |1005k|4829 | 0.000000e+00 | -- | Inf
384.00/384.02 c 384s| 1510k|172636 | 3043k| 2.0 | 167M| 36 | - | 40 |6434 | 40 | 16 | 21 |1013k|4847 | 0.000000e+00 | -- | Inf
386.50/386.54 c 387s| 1520k|173623 | 3063k| 2.0 | 168M| 36 | - | 40 |8489 | 40 | 16 | 21 |1020k|4859 | 0.000000e+00 | -- | Inf
389.31/389.37 c 389s| 1530k|174256 | 3084k| 2.0 | 169M| 36 | - | 40 |7914 | 40 | 16 | 21 |1027k|4872 | 0.000000e+00 | -- | Inf
392.20/392.20 c 392s| 1540k|174873 | 3105k| 2.0 | 170M| 36 | - | 40 |8265 | 40 | 16 | 21 |1034k|4888 | 0.000000e+00 | -- | Inf
395.00/395.08 c 395s| 1550k|175485 | 3125k| 2.0 | 171M| 36 | - | 40 |7723 | 40 | 16 | 21 |1041k|4899 | 0.000000e+00 | -- | Inf
397.60/397.67 c 398s| 1560k|176595 | 3146k| 2.0 | 172M| 36 | - | 40 |8162 | 0 | 0 | 21 |1048k|4912 | 0.000000e+00 | -- | Inf
400.30/400.34 c 400s| 1570k|177653 | 3165k| 2.0 | 173M| 36 | - | 40 |8383 | 40 | 16 | 21 |1055k|4925 | 0.000000e+00 | -- | Inf
402.70/402.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
402.70/402.75 c 403s| 1580k|179075 | 3185k| 2.0 | 175M| 36 | - | 40 | 10k| 40 | 16 | 21 |1061k|4941 | 0.000000e+00 | -- | Inf
405.60/405.65 c 406s| 1590k|179690 | 3205k| 2.0 | 175M| 36 | - | 40 | 10k| 40 | 16 | 21 |1068k|4952 | 0.000000e+00 | -- | Inf
408.80/408.85 c 409s| 1600k|180089 | 3226k| 2.0 | 175M| 36 | 5 | 40 |7862 | 40 | 16 | 21 |1075k|4971 | 0.000000e+00 | -- | Inf
411.70/411.70 c 412s| 1610k|180793 | 3246k| 2.0 | 176M| 36 | - | 40 |7424 | 40 | 16 | 21 |1083k|4982 | 0.000000e+00 | -- | Inf
414.71/414.74 c 415s| 1620k|181235 | 3266k| 2.0 | 177M| 36 | 5 | 40 |6636 | 40 | 16 | 21 |1090k|4993 | 0.000000e+00 | -- | Inf
417.80/417.81 c 418s| 1630k|181484 | 3286k| 2.0 | 177M| 36 | - | 40 |6001 | 0 | 0 | 21 |1097k|5012 | 0.000000e+00 | -- | Inf
420.40/420.48 c 420s| 1640k|182117 | 3306k| 2.0 | 178M| 36 | 5 | 40 |7353 | 40 | 16 | 21 |1104k|5031 | 0.000000e+00 | -- | Inf
422.90/422.95 c 423s| 1650k|183250 | 3327k| 2.0 | 180M| 36 | - | 40 |9617 | 0 | 0 | 21 |1111k|5054 | 0.000000e+00 | -- | Inf
426.20/426.29 c 426s| 1660k|183560 | 3348k| 2.0 | 180M| 36 | 5 | 40 |6980 | 40 | 16 | 21 |1119k|5069 | 0.000000e+00 | -- | Inf
428.60/428.61 c 429s| 1670k|185048 | 3368k| 2.0 | 182M| 36 | - | 40 |8815 | 40 | 16 | 21 |1125k|5081 | 0.000000e+00 | -- | Inf
431.30/431.32 c 431s| 1680k|185757 | 3388k| 2.0 | 183M| 36 | 5 | 40 |9532 | 40 | 16 | 21 |1132k|5091 | 0.000000e+00 | -- | Inf
434.61/434.63 c 435s| 1690k|186155 | 3408k| 2.0 | 183M| 36 | 5 | 40 |6960 | 40 | 16 | 21 |1139k|5107 | 0.000000e+00 | -- | Inf
437.21/437.27 c 437s| 1700k|186818 | 3428k| 2.0 | 184M| 36 | 5 | 40 |8979 | 40 | 16 | 21 |1146k|5120 | 0.000000e+00 | -- | Inf
440.50/440.57 c 441s| 1710k|187162 | 3449k| 2.0 | 184M| 36 | 5 | 40 |7306 | 40 | 16 | 21 |1154k|5135 | 0.000000e+00 | -- | Inf
443.40/443.42 c 443s| 1720k|187728 | 3469k| 2.0 | 185M| 36 | - | 40 |7592 | 40 | 16 | 21 |1161k|5143 | 0.000000e+00 | -- | Inf
446.30/446.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
446.30/446.39 c 446s| 1730k|188169 | 3489k| 2.0 | 185M| 36 | 5 | 40 |6713 | 40 | 16 | 21 |1168k|5162 | 0.000000e+00 | -- | Inf
449.10/449.17 c 449s| 1740k|188636 | 3510k| 2.0 | 186M| 36 | 5 | 40 |7375 | 40 | 16 | 21 |1175k|5177 | 0.000000e+00 | -- | Inf
451.90/451.90 c 452s| 1750k|189347 | 3530k| 2.0 | 187M| 36 | 5 | 40 |8315 | 40 | 16 | 21 |1183k|5190 | 0.000000e+00 | -- | Inf
455.00/455.03 c 455s| 1760k|189773 | 3551k| 2.0 | 188M| 36 | 5 | 40 |6681 | 40 | 16 | 21 |1190k|5203 | 0.000000e+00 | -- | Inf
458.00/458.04 c 458s| 1770k|190035 | 3571k| 2.0 | 188M| 36 | - | 40 |6234 | 40 | 16 | 21 |1198k|5213 | 0.000000e+00 | -- | Inf
460.91/460.92 c 461s| 1780k|190575 | 3591k| 2.0 | 189M| 36 | 5 | 40 |6630 | 40 | 16 | 21 |1205k|5230 | 0.000000e+00 | -- | Inf
463.60/463.61 c 464s| 1790k|191194 | 3612k| 2.0 | 190M| 36 | 5 | 40 |7406 | 40 | 16 | 21 |1212k|5242 | 0.000000e+00 | -- | Inf
466.41/466.43 c 466s| 1800k|191946 | 3632k| 2.0 | 191M| 36 | 5 | 40 |6624 | 40 | 16 | 21 |1219k|5254 | 0.000000e+00 | -- | Inf
469.20/469.20 c 469s| 1810k|192385 | 3652k| 2.0 | 192M| 36 | 5 | 40 |6868 | 40 | 16 | 21 |1226k|5267 | 0.000000e+00 | -- | Inf
471.81/471.85 c 472s| 1820k|193059 | 3673k| 2.0 | 193M| 36 | - | 40 |7740 | 40 | 16 | 21 |1233k|5281 | 0.000000e+00 | -- | Inf
474.40/474.46 c 474s| 1830k|193916 | 3692k| 2.0 | 194M| 36 | 5 | 40 |8085 | 40 | 16 | 21 |1240k|5301 | 0.000000e+00 | -- | Inf
477.50/477.58 c 478s| 1840k|194175 | 3711k| 2.0 | 194M| 36 | 5 | 40 |6443 | 40 | 16 | 21 |1247k|5313 | 0.000000e+00 | -- | Inf
480.20/480.25 c 480s| 1850k|194730 | 3732k| 2.0 | 195M| 36 | 5 | 40 |7752 | 40 | 16 | 21 |1254k|5327 | 0.000000e+00 | -- | Inf
483.00/483.01 c 483s| 1860k|195567 | 3753k| 2.0 | 196M| 36 | - | 40 |8636 | 40 | 16 | 21 |1261k|5338 | 0.000000e+00 | -- | Inf
486.30/486.33 c 486s| 1870k|195829 | 3773k| 2.0 | 196M| 36 | - | 40 |6015 | 0 | 0 | 21 |1269k|5350 | 0.000000e+00 | -- | Inf
488.71/488.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
488.71/488.72 c 489s| 1880k|197144 | 3794k| 2.0 | 198M| 36 | - | 40 |7918 | 40 | 16 | 21 |1275k|5364 | 0.000000e+00 | -- | Inf
491.31/491.37 c 491s| 1890k|198148 | 3815k| 2.0 | 199M| 36 | 5 | 40 |9764 | 40 | 16 | 21 |1282k|5380 | 0.000000e+00 | -- | Inf
494.50/494.55 c 495s| 1900k|198512 | 3836k| 2.0 | 200M| 36 | - | 40 | 10k| 40 | 16 | 21 |1290k|5390 | 0.000000e+00 | -- | Inf
498.10/498.16 c 498s| 1910k|198705 | 3857k| 2.0 | 200M| 36 | 5 | 40 |6957 | 40 | 16 | 21 |1297k|5405 | 0.000000e+00 | -- | Inf
500.91/500.94 c 501s| 1920k|199283 | 3877k| 2.0 | 200M| 36 | - | 40 |6412 | 40 | 16 | 21 |1305k|5416 | 0.000000e+00 | -- | Inf
503.91/503.93 c 504s| 1930k|199438 | 3897k| 2.0 | 201M| 36 | 5 | 40 |6281 | 40 | 16 | 21 |1312k|5429 | 0.000000e+00 | -- | Inf
506.71/506.71 c 507s| 1940k|199871 | 3918k| 2.0 | 202M| 36 | - | 40 |6763 | 40 | 16 | 21 |1320k|5439 | 0.000000e+00 | -- | Inf
509.70/509.79 c 510s| 1950k|199973 | 3938k| 2.0 | 202M| 36 | 5 | 40 |5902 | 40 | 16 | 21 |1327k|5453 | 0.000000e+00 | -- | Inf
512.71/512.73 c 513s| 1960k|200174 | 3959k| 2.0 | 203M| 36 | - | 40 |6259 | 40 | 16 | 21 |1335k|5468 | 0.000000e+00 | -- | Inf
515.30/515.36 c 515s| 1970k|200927 | 3979k| 2.0 | 204M| 36 | 5 | 40 |6864 | 40 | 16 | 21 |1342k|5485 | 0.000000e+00 | -- | Inf
518.21/518.26 c 518s| 1980k|201296 | 4000k| 2.0 | 204M| 36 | 5 | 40 |6625 | 40 | 16 | 21 |1349k|5492 | 0.000000e+00 | -- | Inf
521.00/521.08 c 521s| 1990k|201673 | 4020k| 2.0 | 205M| 36 | 5 | 40 |6596 | 40 | 16 | 21 |1357k|5507 | 0.000000e+00 | -- | Inf
523.80/523.80 c 524s| 2000k|202181 | 4040k| 2.0 | 206M| 36 | 5 | 40 |7584 | 40 | 16 | 21 |1364k|5514 | 0.000000e+00 | -- | Inf
526.61/526.67 c 527s| 2010k|202662 | 4060k| 2.0 | 206M| 36 | - | 40 |6907 | 0 | 0 | 21 |1371k|5521 | 0.000000e+00 | -- | Inf
529.70/529.71 c 530s| 2020k|202839 | 4081k| 2.0 | 207M| 36 | - | 40 |5961 | 40 | 16 | 21 |1379k|5540 | 0.000000e+00 | -- | Inf
532.31/532.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
532.31/532.39 c 532s| 2030k|203460 | 4101k| 2.0 | 208M| 36 | 5 | 40 |7272 | 40 | 16 | 21 |1386k|5546 | 0.000000e+00 | -- | Inf
535.20/535.22 c 535s| 2040k|203921 | 4121k| 2.0 | 208M| 36 | 5 | 40 |6935 | 40 | 16 | 21 |1393k|5560 | 0.000000e+00 | -- | Inf
538.10/538.19 c 538s| 2050k|204310 | 4142k| 2.0 | 209M| 36 | - | 40 |6697 | 40 | 16 | 21 |1401k|5571 | 0.000000e+00 | -- | Inf
541.11/541.11 c 541s| 2060k|204587 | 4162k| 2.0 | 209M| 36 | 5 | 40 |6399 | 40 | 16 | 21 |1408k|5583 | 0.000000e+00 | -- | Inf
544.00/544.03 c 544s| 2070k|204945 | 4182k| 2.0 | 210M| 36 | 5 | 40 |6550 | 40 | 16 | 21 |1416k|5594 | 0.000000e+00 | -- | Inf
546.71/546.73 c 547s| 2080k|205806 | 4203k| 2.0 | 211M| 36 | 5 | 40 |7071 | 40 | 16 | 21 |1422k|5603 | 0.000000e+00 | -- | Inf
549.51/549.52 c 550s| 2090k|206370 | 4223k| 2.0 | 212M| 36 | - | 40 |7446 | 40 | 16 | 21 |1430k|5617 | 0.000000e+00 | -- | Inf
552.41/552.42 c 552s| 2100k|206836 | 4244k| 2.0 | 213M| 36 | - | 40 |6826 | 40 | 16 | 21 |1437k|5633 | 0.000000e+00 | -- | Inf
555.20/555.25 c 555s| 2110k|207459 | 4265k| 2.0 | 213M| 36 | 5 | 40 |6434 | 40 | 16 | 21 |1444k|5644 | 0.000000e+00 | -- | Inf
558.20/558.20 c 558s| 2120k|207757 | 4286k| 2.0 | 214M| 36 | - | 40 |6623 | 40 | 16 | 21 |1451k|5659 | 0.000000e+00 | -- | Inf
560.81/560.82 c 561s| 2130k|208469 | 4306k| 2.0 | 215M| 36 | 5 | 40 |7822 | 40 | 16 | 21 |1458k|5667 | 0.000000e+00 | -- | Inf
563.60/563.67 c 564s| 2140k|209223 | 4327k| 2.0 | 216M| 36 | 5 | 40 |9592 | 40 | 16 | 21 |1465k|5676 | 0.000000e+00 | -- | Inf
567.00/567.04 c 567s| 2150k|209438 | 4348k| 2.0 | 216M| 36 | 5 | 40 |6963 | 40 | 16 | 21 |1473k|5695 | 0.000000e+00 | -- | Inf
570.00/570.02 c 570s| 2160k|209800 | 4368k| 2.0 | 217M| 36 | - | 40 |7142 | 0 | 0 | 21 |1480k|5710 | 0.000000e+00 | -- | Inf
572.81/572.82 c 573s| 2170k|210224 | 4390k| 2.0 | 218M| 36 | 5 | 40 |8262 | 40 | 16 | 21 |1488k|5723 | 0.000000e+00 | -- | Inf
575.21/575.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
575.21/575.21 c 575s| 2180k|212496 | 4410k| 2.0 | 220M| 36 | 5 | 40 |8345 | 40 | 16 | 21 |1494k|5733 | 0.000000e+00 | -- | Inf
577.61/577.68 c 578s| 2190k|214373 | 4431k| 2.0 | 221M| 36 | - | 40 |8757 | 40 | 16 | 21 |1500k|5748 | 0.000000e+00 | -- | Inf
580.20/580.29 c 580s| 2200k|215951 | 4451k| 2.0 | 223M| 36 | 5 | 40 |9311 | 40 | 16 | 21 |1506k|5754 | 0.000000e+00 | -- | Inf
583.01/583.07 c 583s| 2210k|217212 | 4471k| 2.0 | 224M| 36 | 5 | 40 |8818 | 40 | 16 | 21 |1513k|5768 | 0.000000e+00 | -- | Inf
585.91/585.90 c 586s| 2220k|218222 | 4491k| 2.0 | 225M| 36 | 5 | 40 |9382 | 40 | 16 | 21 |1520k|5776 | 0.000000e+00 | -- | Inf
588.71/588.80 c 589s| 2230k|219203 | 4511k| 2.0 | 226M| 36 | - | 40 |9502 | 40 | 16 | 21 |1527k|5787 | 0.000000e+00 | -- | Inf
591.71/591.71 c 592s| 2240k|220122 | 4531k| 2.0 | 227M| 36 | - | 40 |9922 | 40 | 16 | 21 |1534k|5801 | 0.000000e+00 | -- | Inf
594.61/594.68 c 595s| 2250k|220890 | 4551k| 2.0 | 228M| 36 | - | 40 | 10k| 0 | 0 | 21 |1541k|5815 | 0.000000e+00 | -- | Inf
597.70/597.72 c 598s| 2260k|221741 | 4571k| 2.0 | 229M| 36 | - | 40 |9788 | 40 | 16 | 21 |1549k|5825 | 0.000000e+00 | -- | Inf
600.51/600.55 c 601s| 2270k|222877 | 4592k| 2.0 | 230M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |1556k|5843 | 0.000000e+00 | -- | Inf
603.81/603.87 c 604s| 2280k|223399 | 4612k| 2.0 | 231M| 36 | 5 | 40 |9772 | 40 | 16 | 21 |1563k|5854 | 0.000000e+00 | -- | Inf
606.70/606.74 c 607s| 2290k|224245 | 4632k| 2.0 | 232M| 36 | - | 40 | 10k| 40 | 16 | 21 |1570k|5867 | 0.000000e+00 | -- | Inf
609.91/609.95 c 610s| 2300k|224683 | 4652k| 2.0 | 233M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |1578k|5879 | 0.000000e+00 | -- | Inf
613.01/613.01 c 613s| 2310k|225462 | 4673k| 2.0 | 234M| 36 | - | 40 | 11k| 0 | 0 | 21 |1585k|5893 | 0.000000e+00 | -- | Inf
616.11/616.16 c 616s| 2320k|226228 | 4693k| 2.0 | 234M| 36 | - | 40 | 10k| 40 | 16 | 21 |1592k|5900 | 0.000000e+00 | -- | Inf
619.32/619.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
619.32/619.39 c 619s| 2330k|226897 | 4712k| 2.0 | 235M| 36 | - | 40 | 10k| 40 | 16 | 21 |1599k|5912 | 0.000000e+00 | -- | Inf
622.62/622.60 c 623s| 2340k|227369 | 4733k| 2.0 | 236M| 36 | - | 40 | 10k| 40 | 16 | 21 |1607k|5927 | 0.000000e+00 | -- | Inf
625.51/625.53 c 626s| 2350k|228262 | 4753k| 2.0 | 237M| 36 | - | 40 | 11k| 0 | 0 | 21 |1614k|5940 | 0.000000e+00 | -- | Inf
629.01/629.06 c 629s| 2360k|228610 | 4773k| 2.0 | 237M| 36 | - | 40 | 10k| 40 | 16 | 21 |1621k|5949 | 0.000000e+00 | -- | Inf
631.60/631.63 c 632s| 2370k|230781 | 4793k| 2.0 | 239M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |1627k|5959 | 0.000000e+00 | -- | Inf
634.41/634.43 c 634s| 2380k|232769 | 4814k| 2.0 | 241M| 36 | - | 40 | 12k| 40 | 16 | 21 |1633k|5973 | 0.000000e+00 | -- | Inf
637.60/637.60 c 638s| 2390k|234042 | 4834k| 2.0 | 242M| 36 | - | 40 | 12k| 40 | 16 | 21 |1640k|5982 | 0.000000e+00 | -- | Inf
640.81/640.83 c 641s| 2400k|235296 | 4855k| 2.0 | 243M| 36 | - | 40 | 12k| 40 | 16 | 21 |1646k|6005 | 0.000000e+00 | -- | Inf
643.81/643.81 c 644s| 2410k|236914 | 4875k| 2.0 | 245M| 36 | 5 | 40 | 13k| 40 | 16 | 21 |1653k|6018 | 0.000000e+00 | -- | Inf
646.91/646.98 c 647s| 2420k|238685 | 4895k| 2.0 | 246M| 36 | 5 | 40 | 14k| 40 | 16 | 21 |1659k|6032 | 0.000000e+00 | -- | Inf
650.71/650.72 c 651s| 2430k|239467 | 4916k| 2.0 | 247M| 36 | - | 40 | 12k| 40 | 16 | 21 |1666k|6046 | 0.000000e+00 | -- | Inf
654.00/654.03 c 654s| 2440k|240605 | 4936k| 2.0 | 248M| 36 | - | 40 | 13k| 0 | 0 | 21 |1673k|6061 | 0.000000e+00 | -- | Inf
657.51/657.50 c 658s| 2450k|241538 | 4957k| 2.0 | 249M| 36 | 5 | 40 | 13k| 40 | 16 | 21 |1680k|6081 | 0.000000e+00 | -- | Inf
661.01/661.05 c 661s| 2460k|242177 | 4978k| 2.0 | 250M| 36 | 5 | 40 | 13k| 40 | 16 | 21 |1687k|6088 | 0.000000e+00 | -- | Inf
664.81/664.82 c 665s| 2470k|242821 | 4998k| 2.0 | 251M| 36 | 5 | 40 | 13k| 40 | 16 | 21 |1694k|6109 | 0.000000e+00 | -- | Inf
668.41/668.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
668.41/668.40 c 668s| 2480k|243601 | 5018k| 2.0 | 251M| 36 | 5 | 40 | 13k| 40 | 16 | 21 |1701k|6134 | 0.000000e+00 | -- | Inf
672.02/672.07 c 672s| 2490k|244240 | 5038k| 2.0 | 252M| 36 | - | 40 | 13k| 40 | 16 | 21 |1708k|6139 | 0.000000e+00 | -- | Inf
675.71/675.72 c 676s| 2500k|244970 | 5058k| 2.0 | 253M| 36 | - | 40 | 13k| 0 | 0 | 21 |1716k|6154 | 0.000000e+00 | -- | Inf
679.72/679.78 c 680s| 2510k|245285 | 5079k| 2.0 | 254M| 36 | - | 40 | 13k| 40 | 16 | 21 |1723k|6170 | 0.000000e+00 | -- | Inf
683.21/683.20 c 683s| 2520k|246216 | 5098k| 2.0 | 255M| 36 | 5 | 40 | 14k| 40 | 16 | 21 |1730k|6173 | 0.000000e+00 | -- | Inf
687.01/687.05 c 687s| 2530k|246799 | 5118k| 2.0 | 256M| 36 | 5 | 40 | 14k| 40 | 16 | 21 |1737k|6188 | 0.000000e+00 | -- | Inf
691.01/691.01 c 691s| 2540k|247268 | 5139k| 2.0 | 256M| 36 | 5 | 40 | 13k| 40 | 16 | 21 |1744k|6213 | 0.000000e+00 | -- | Inf
694.81/694.89 c 695s| 2550k|247700 | 5159k| 2.0 | 257M| 36 | 5 | 40 | 14k| 40 | 16 | 21 |1752k|6230 | 0.000000e+00 | -- | Inf
698.81/698.83 c 699s| 2560k|248177 | 5180k| 2.0 | 258M| 36 | 5 | 40 | 13k| 40 | 16 | 21 |1759k|6238 | 0.000000e+00 | -- | Inf
702.51/702.57 c 703s| 2570k|248818 | 5200k| 2.0 | 259M| 36 | 5 | 40 | 14k| 40 | 16 | 21 |1766k|6246 | 0.000000e+00 | -- | Inf
706.81/706.81 c 707s| 2580k|249022 | 5221k| 2.0 | 259M| 36 | - | 40 | 14k| 40 | 16 | 21 |1774k|6257 | 0.000000e+00 | -- | Inf
711.01/711.05 c 711s| 2590k|249150 | 5241k| 2.0 | 259M| 36 | - | 40 | 12k| 40 | 16 | 21 |1781k|6267 | 0.000000e+00 | -- | Inf
715.11/715.20 c 715s| 2600k|249258 | 5260k| 2.0 | 259M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |1789k|6279 | 0.000000e+00 | -- | Inf
718.41/718.45 c 718s| 2610k|250049 | 5280k| 2.0 | 260M| 36 | 5 | 40 | 12k| 40 | 16 | 21 |1796k|6288 | 0.000000e+00 | -- | Inf
722.41/722.44 c 722s| 2620k|250203 | 5301k| 2.0 | 261M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |1804k|6298 | 0.000000e+00 | -- | Inf
726.31/726.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
726.31/726.30 c 726s| 2630k|250386 | 5321k| 2.0 | 261M| 36 | - | 40 | 12k| 40 | 16 | 21 |1811k|6310 | 0.000000e+00 | -- | Inf
729.71/729.74 c 730s| 2640k|250889 | 5342k| 2.0 | 262M| 36 | - | 40 | 12k| 40 | 16 | 21 |1819k|6321 | 0.000000e+00 | -- | Inf
733.71/733.79 c 734s| 2650k|251007 | 5362k| 2.0 | 262M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |1827k|6330 | 0.000000e+00 | -- | Inf
737.10/737.19 c 737s| 2660k|251518 | 5383k| 2.0 | 263M| 36 | 5 | 40 | 12k| 40 | 16 | 21 |1834k|6346 | 0.000000e+00 | -- | Inf
740.51/740.51 c 741s| 2670k|252737 | 5403k| 2.0 | 264M| 36 | 5 | 40 | 12k| 40 | 16 | 21 |1841k|6361 | 0.000000e+00 | -- | Inf
743.81/743.85 c 744s| 2680k|253759 | 5425k| 2.0 | 266M| 36 | - | 40 | 13k| 40 | 16 | 21 |1848k|6391 | 0.000000e+00 | -- | Inf
747.61/747.62 c 748s| 2690k|254138 | 5447k| 2.0 | 266M| 36 | 5 | 40 | 13k| 40 | 16 | 21 |1856k|6423 | 0.000000e+00 | -- | Inf
751.50/751.50 c 752s| 2700k|254394 | 5469k| 2.0 | 267M| 36 | - | 40 | 13k| 40 | 16 | 21 |1864k|6447 | 0.000000e+00 | -- | Inf
755.91/755.94 c 756s| 2710k|254318 | 5489k| 2.0 | 267M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |1872k|6454 | 0.000000e+00 | -- | Inf
759.41/759.45 c 759s| 2720k|254636 | 5509k| 2.0 | 267M| 36 | - | 40 | 11k| 0 | 0 | 21 |1879k|6468 | 0.000000e+00 | -- | Inf
763.21/763.28 c 763s| 2730k|255035 | 5530k| 2.0 | 267M| 36 | - | 40 |9511 | 40 | 16 | 21 |1886k|6475 | 0.000000e+00 | -- | Inf
766.81/766.84 c 767s| 2740k|255382 | 5551k| 2.0 | 268M| 36 | - | 40 |8863 | 40 | 16 | 21 |1894k|6491 | 0.000000e+00 | -- | Inf
770.31/770.36 c 770s| 2750k|255615 | 5572k| 2.0 | 268M| 36 | - | 40 |8840 | 40 | 16 | 21 |1902k|6508 | 0.000000e+00 | -- | Inf
774.01/774.08 c 774s| 2760k|255708 | 5593k| 2.0 | 268M| 36 | - | 40 |7162 | 0 | 0 | 21 |1909k|6523 | 0.000000e+00 | -- | Inf
776.91/776.97 c 777s| 2770k|256213 | 5613k| 2.0 | 269M| 36 | - | 40 |8840 | 40 | 16 | 21 |1917k|6534 | 0.000000e+00 | -- | Inf
780.51/780.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
780.51/780.57 c 781s| 2780k|256381 | 5633k| 2.0 | 270M| 36 | 5 | 40 |7640 | 40 | 16 | 21 |1924k|6543 | 0.000000e+00 | -- | Inf
783.91/783.98 c 784s| 2790k|256549 | 5653k| 2.0 | 270M| 36 | - | 40 |7635 | 40 | 16 | 21 |1932k|6556 | 0.000000e+00 | -- | Inf
787.21/787.26 c 787s| 2800k|256819 | 5674k| 2.0 | 270M| 36 | - | 40 |7085 | 40 | 16 | 21 |1939k|6564 | 0.000000e+00 | -- | Inf
789.91/789.93 c 790s| 2810k|257995 | 5694k| 2.0 | 272M| 36 | - | 40 |9103 | 40 | 16 | 21 |1946k|6571 | 0.000000e+00 | -- | Inf
793.21/793.22 c 793s| 2820k|258223 | 5715k| 2.0 | 273M| 36 | 5 | 40 |9056 | 40 | 16 | 21 |1954k|6591 | 0.000000e+00 | -- | Inf
796.81/796.83 c 797s| 2830k|258292 | 5736k| 2.0 | 272M| 36 | 5 | 40 |6635 | 40 | 16 | 21 |1962k|6600 | 0.000000e+00 | -- | Inf
800.11/800.11 c 800s| 2840k|258256 | 5756k| 2.0 | 273M| 36 | - | 40 |6808 | 40 | 16 | 21 |1970k|6606 | 0.000000e+00 | -- | Inf
802.81/802.86 c 803s| 2850k|258979 | 5776k| 2.0 | 274M| 36 | 5 | 40 |8987 | 40 | 16 | 21 |1977k|6621 | 0.000000e+00 | -- | Inf
806.11/806.18 c 806s| 2860k|259314 | 5796k| 2.0 | 274M| 36 | 5 | 40 |7460 | 40 | 16 | 21 |1985k|6627 | 0.000000e+00 | -- | Inf
808.91/808.96 c 809s| 2870k|260210 | 5817k| 2.0 | 276M| 36 | - | 40 |8772 | 0 | 0 | 21 |1991k|6636 | 0.000000e+00 | -- | Inf
812.21/812.27 c 812s| 2880k|260507 | 5838k| 2.0 | 276M| 36 | 5 | 40 |7309 | 40 | 16 | 21 |1999k|6646 | 0.000000e+00 | -- | Inf
815.12/815.13 c 815s| 2890k|260938 | 5859k| 2.0 | 277M| 36 | 5 | 40 |8651 | 40 | 16 | 21 |2006k|6670 | 0.000000e+00 | -- | Inf
818.61/818.67 c 819s| 2900k|260932 | 5880k| 2.0 | 277M| 36 | 5 | 40 |7090 | 40 | 16 | 21 |2014k|6691 | 0.000000e+00 | -- | Inf
821.72/821.72 c 822s| 2910k|261328 | 5900k| 2.0 | 278M| 36 | - | 40 |9082 | 40 | 16 | 21 |2022k|6705 | 0.000000e+00 | -- | Inf
825.21/825.23 c 825s| 2920k|261409 | 5921k| 2.0 | 278M| 36 | - | 40 |7303 | 0 | 0 | 21 |2029k|6712 | 0.000000e+00 | -- | Inf
828.51/828.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
828.51/828.57 c 829s| 2930k|261565 | 5941k| 2.0 | 278M| 36 | 5 | 40 |6360 | 40 | 16 | 21 |2037k|6719 | 0.000000e+00 | -- | Inf
831.52/831.57 c 832s| 2940k|261807 | 5962k| 2.0 | 279M| 36 | 5 | 40 |6769 | 40 | 16 | 21 |2044k|6725 | 0.000000e+00 | -- | Inf
834.52/834.53 c 835s| 2950k|262190 | 5983k| 2.0 | 280M| 36 | 5 | 40 |7772 | 40 | 16 | 21 |2052k|6737 | 0.000000e+00 | -- | Inf
837.61/837.69 c 838s| 2960k|262537 | 6004k| 2.0 | 280M| 36 | 5 | 40 |7252 | 40 | 16 | 21 |2059k|6747 | 0.000000e+00 | -- | Inf
840.61/840.63 c 841s| 2970k|263039 | 6024k| 2.0 | 281M| 36 | 5 | 40 |7619 | 40 | 16 | 21 |2067k|6754 | 0.000000e+00 | -- | Inf
843.41/843.45 c 843s| 2980k|263426 | 6044k| 2.0 | 282M| 36 | - | 40 |8082 | 40 | 16 | 21 |2074k|6761 | 0.000000e+00 | -- | Inf
846.91/846.93 c 847s| 2990k|263389 | 6065k| 2.0 | 282M| 36 | 5 | 40 |6088 | 40 | 16 | 21 |2082k|6767 | 0.000000e+00 | -- | Inf
849.41/849.48 c 849s| 3000k|264606 | 6085k| 2.0 | 283M| 36 | 5 | 40 |7685 | 40 | 16 | 21 |2088k|6779 | 0.000000e+00 | -- | Inf
852.11/852.12 c 852s| 3010k|265389 | 6106k| 2.0 | 284M| 36 | - | 40 |8589 | 40 | 16 | 21 |2096k|6782 | 0.000000e+00 | -- | Inf
855.01/855.02 c 855s| 3020k|265666 | 6128k| 2.0 | 285M| 36 | - | 40 |9293 | 40 | 16 | 21 |2103k|6797 | 0.000000e+00 | -- | Inf
858.51/858.59 c 859s| 3030k|265671 | 6148k| 2.0 | 285M| 36 | 5 | 40 |6826 | 40 | 16 | 21 |2111k|6802 | 0.000000e+00 | -- | Inf
861.71/861.73 c 862s| 3040k|265856 | 6169k| 2.0 | 285M| 36 | 5 | 40 |6274 | 40 | 16 | 21 |2119k|6813 | 0.000000e+00 | -- | Inf
864.52/864.58 c 865s| 3050k|266533 | 6189k| 2.0 | 287M| 36 | - | 40 |8298 | 40 | 16 | 21 |2126k|6824 | 0.000000e+00 | -- | Inf
867.81/867.82 c 868s| 3060k|266780 | 6209k| 2.0 | 287M| 36 | - | 40 |7334 | 40 | 16 | 21 |2134k|6829 | 0.000000e+00 | -- | Inf
871.12/871.13 c 871s| 3070k|266879 | 6230k| 2.0 | 287M| 36 | - | 40 |6789 | 0 | 0 | 21 |2141k|6840 | 0.000000e+00 | -- | Inf
874.31/874.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
874.31/874.36 c 874s| 3080k|267057 | 6250k| 2.0 | 288M| 36 | - | 40 |7076 | 40 | 16 | 21 |2149k|6858 | 0.000000e+00 | -- | Inf
876.91/876.94 c 877s| 3090k|267750 | 6271k| 2.0 | 289M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |2156k|6874 | 0.000000e+00 | -- | Inf
880.41/880.43 c 880s| 3100k|268012 | 6291k| 2.0 | 289M| 36 | 5 | 40 |7140 | 40 | 16 | 21 |2163k|6879 | 0.000000e+00 | -- | Inf
883.51/883.57 c 884s| 3110k|268490 | 6311k| 2.0 | 290M| 36 | - | 40 |7600 | 40 | 16 | 21 |2171k|6882 | 0.000000e+00 | -- | Inf
886.52/886.52 c 887s| 3120k|269311 | 6331k| 2.0 | 291M| 36 | 5 | 40 |8438 | 40 | 16 | 21 |2178k|6887 | 0.000000e+00 | -- | Inf
889.21/889.21 c 889s| 3130k|270263 | 6351k| 2.0 | 292M| 36 | - | 40 |8950 | 0 | 0 | 21 |2184k|6895 | 0.000000e+00 | -- | Inf
891.92/891.91 c 892s| 3140k|271793 | 6371k| 2.0 | 294M| 36 | - | 40 | 10k| 40 | 16 | 21 |2191k|6899 | 0.000000e+00 | -- | Inf
895.21/895.30 c 895s| 3150k|272041 | 6391k| 2.0 | 294M| 36 | 5 | 40 |9843 | 40 | 16 | 21 |2198k|6908 | 0.000000e+00 | -- | Inf
898.62/898.61 c 899s| 3160k|272187 | 6411k| 2.0 | 295M| 36 | 5 | 40 |9939 | 40 | 16 | 21 |2206k|6915 | 0.000000e+00 | -- | Inf
902.12/902.13 c 902s| 3170k|272375 | 6431k| 2.0 | 295M| 36 | - | 40 |9109 | 40 | 16 | 21 |2214k|6921 | 0.000000e+00 | -- | Inf
905.41/905.47 c 905s| 3180k|272688 | 6452k| 2.0 | 296M| 36 | - | 40 |8970 | 40 | 16 | 21 |2221k|6933 | 0.000000e+00 | -- | Inf
908.52/908.59 c 909s| 3190k|273248 | 6472k| 2.0 | 297M| 36 | - | 40 |9980 | 40 | 16 | 21 |2229k|6939 | 0.000000e+00 | -- | Inf
912.11/912.19 c 912s| 3200k|273376 | 6493k| 2.0 | 296M| 36 | - | 40 |8015 | 0 | 0 | 21 |2236k|6950 | 0.000000e+00 | -- | Inf
915.01/915.03 c 915s| 3210k|273840 | 6514k| 2.0 | 298M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |2244k|6962 | 0.000000e+00 | -- | Inf
918.42/918.44 c 918s| 3220k|274539 | 6535k| 2.0 | 299M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |2251k|6967 | 0.000000e+00 | -- | Inf
922.22/922.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
922.22/922.21 c 922s| 3230k|274701 | 6555k| 2.0 | 299M| 36 | 5 | 40 |8404 | 40 | 16 | 21 |2259k|6976 | 0.000000e+00 | -- | Inf
925.02/925.07 c 925s| 3240k|275285 | 6575k| 2.0 | 300M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |2266k|6987 | 0.000000e+00 | -- | Inf
928.32/928.38 c 928s| 3250k|275810 | 6595k| 2.0 | 300M| 36 | - | 40 |9350 | 40 | 16 | 21 |2274k|6997 | 0.000000e+00 | -- | Inf
931.81/931.83 c 932s| 3260k|276191 | 6615k| 2.0 | 301M| 36 | - | 40 |8703 | 0 | 0 | 21 |2281k|7009 | 0.000000e+00 | -- | Inf
934.71/934.75 c 935s| 3270k|276803 | 6637k| 2.0 | 302M| 36 | 5 | 40 |9461 | 40 | 16 | 21 |2288k|7019 | 0.000000e+00 | -- | Inf
938.12/938.16 c 938s| 3280k|277119 | 6658k| 2.0 | 302M| 36 | - | 40 |9406 | 40 | 16 | 21 |2296k|7039 | 0.000000e+00 | -- | Inf
941.11/941.16 c 941s| 3290k|278188 | 6678k| 2.0 | 304M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |2303k|7054 | 0.000000e+00 | -- | Inf
944.32/944.38 c 944s| 3300k|278927 | 6698k| 2.0 | 305M| 36 | - | 40 | 10k| 40 | 16 | 21 |2310k|7067 | 0.000000e+00 | -- | Inf
947.82/947.88 c 948s| 3310k|279190 | 6718k| 2.0 | 305M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |2318k|7079 | 0.000000e+00 | -- | Inf
951.42/951.43 c 951s| 3320k|279443 | 6738k| 2.0 | 305M| 36 | 5 | 40 |8855 | 40 | 16 | 21 |2325k|7091 | 0.000000e+00 | -- | Inf
954.82/954.89 c 955s| 3330k|279626 | 6758k| 2.0 | 305M| 36 | 5 | 40 |7868 | 40 | 16 | 21 |2333k|7108 | 0.000000e+00 | -- | Inf
958.31/958.36 c 958s| 3340k|279757 | 6779k| 2.0 | 306M| 36 | 5 | 40 |7314 | 40 | 16 | 21 |2340k|7120 | 0.000000e+00 | -- | Inf
961.42/961.41 c 961s| 3350k|280038 | 6799k| 2.0 | 306M| 36 | - | 40 |7885 | 40 | 16 | 21 |2348k|7129 | 0.000000e+00 | -- | Inf
964.81/964.88 c 965s| 3360k|280088 | 6820k| 2.0 | 307M| 36 | 5 | 40 |6835 | 40 | 16 | 21 |2356k|7135 | 0.000000e+00 | -- | Inf
967.91/967.92 c 968s| 3370k|280439 | 6841k| 2.0 | 307M| 36 | - | 40 |7555 | 40 | 16 | 21 |2363k|7149 | 0.000000e+00 | -- | Inf
970.82/970.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
970.82/970.82 c 971s| 3380k|281102 | 6862k| 2.0 | 308M| 36 | 5 | 40 |8652 | 40 | 16 | 21 |2370k|7159 | 0.000000e+00 | -- | Inf
974.31/974.34 c 974s| 3390k|281118 | 6883k| 2.0 | 308M| 36 | 5 | 40 |7118 | 40 | 16 | 21 |2378k|7179 | 0.000000e+00 | -- | Inf
977.61/977.64 c 978s| 3400k|281246 | 6902k| 2.0 | 309M| 36 | 5 | 40 |6304 | 40 | 16 | 21 |2386k|7183 | 0.000000e+00 | -- | Inf
979.81/979.80 c 980s| 3410k|283541 | 6923k| 2.0 | 310M| 36 | - | 40 |7763 | 40 | 16 | 21 |2391k|7188 | 0.000000e+00 | -- | Inf
982.11/982.15 c 982s| 3420k|285471 | 6943k| 2.0 | 312M| 36 | 5 | 40 |8257 | 40 | 16 | 21 |2397k|7195 | 0.000000e+00 | -- | Inf
984.61/984.69 c 985s| 3430k|287061 | 6963k| 2.0 | 313M| 36 | - | 40 |8443 | 40 | 16 | 21 |2404k|7205 | 0.000000e+00 | -- | Inf
987.02/987.10 c 987s| 3440k|288870 | 6984k| 2.0 | 315M| 36 | - | 40 | 10k| 0 | 0 | 21 |2410k|7210 | 0.000000e+00 | -- | Inf
989.92/989.95 c 990s| 3450k|290472 | 7004k| 2.0 | 316M| 36 | 5 | 40 |9175 | 40 | 16 | 21 |2416k|7222 | 0.000000e+00 | -- | Inf
992.81/992.86 c 993s| 3460k|291687 | 7024k| 2.0 | 317M| 36 | 5 | 40 |9371 | 40 | 16 | 21 |2423k|7231 | 0.000000e+00 | -- | Inf
995.82/995.84 c 996s| 3470k|292727 | 7044k| 2.0 | 318M| 36 | 5 | 40 |8841 | 40 | 16 | 21 |2429k|7244 | 0.000000e+00 | -- | Inf
998.52/998.52 c 999s| 3480k|294007 | 7064k| 2.0 | 320M| 36 | - | 40 | 10k| 40 | 16 | 21 |2436k|7254 | 0.000000e+00 | -- | Inf
1001.62/1001.64 c 1002s| 3490k|294819 | 7085k| 2.0 | 321M| 36 | 5 | 40 |9714 | 40 | 16 | 21 |2443k|7262 | 0.000000e+00 | -- | Inf
1004.62/1004.68 c 1005s| 3500k|295773 | 7105k| 2.0 | 321M| 36 | 5 | 40 |9581 | 40 | 16 | 21 |2450k|7275 | 0.000000e+00 | -- | Inf
1007.72/1007.72 c 1008s| 3510k|296616 | 7125k| 2.0 | 322M| 36 | 5 | 40 |9888 | 40 | 16 | 21 |2456k|7278 | 0.000000e+00 | -- | Inf
1010.72/1010.74 c 1011s| 3520k|297604 | 7145k| 2.0 | 324M| 36 | 5 | 40 |9988 | 40 | 16 | 21 |2463k|7290 | 0.000000e+00 | -- | Inf
1013.82/1013.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1013.82/1013.81 c 1014s| 3530k|298417 | 7165k| 2.0 | 325M| 36 | - | 40 | 10k| 40 | 16 | 21 |2470k|7300 | 0.000000e+00 | -- | Inf
1017.11/1017.14 c 1017s| 3540k|299125 | 7185k| 2.0 | 325M| 36 | - | 40 |9864 | 0 | 0 | 21 |2477k|7312 | 0.000000e+00 | -- | Inf
1020.42/1020.44 c 1020s| 3550k|299539 | 7205k| 2.0 | 326M| 36 | 5 | 40 |9973 | 40 | 16 | 21 |2484k|7330 | 0.000000e+00 | -- | Inf
1023.31/1023.33 c 1023s| 3560k|300517 | 7225k| 2.0 | 328M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |2491k|7340 | 0.000000e+00 | -- | Inf
1027.01/1027.02 c 1027s| 3570k|300769 | 7245k| 2.0 | 328M| 36 | - | 40 | 10k| 40 | 16 | 21 |2499k|7350 | 0.000000e+00 | -- | Inf
1030.22/1030.20 c 1030s| 3580k|301485 | 7265k| 2.0 | 329M| 36 | - | 40 | 11k| 40 | 16 | 21 |2506k|7362 | 0.000000e+00 | -- | Inf
1033.72/1033.77 c 1034s| 3590k|301841 | 7285k| 2.0 | 329M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |2513k|7368 | 0.000000e+00 | -- | Inf
1037.41/1037.46 c 1037s| 3600k|302001 | 7306k| 2.0 | 330M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |2520k|7382 | 0.000000e+00 | -- | Inf
1040.92/1040.93 c 1041s| 3610k|302192 | 7326k| 2.0 | 330M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |2528k|7397 | 0.000000e+00 | -- | Inf
1044.42/1044.41 c 1044s| 3620k|302701 | 7346k| 2.0 | 331M| 36 | - | 40 | 11k| 40 | 16 | 21 |2535k|7406 | 0.000000e+00 | -- | Inf
1047.22/1047.24 c 1047s| 3630k|303765 | 7366k| 2.0 | 333M| 36 | 5 | 40 | 13k| 40 | 16 | 21 |2542k|7415 | 0.000000e+00 | -- | Inf
1051.11/1051.15 c 1051s| 3640k|304077 | 7386k| 2.0 | 333M| 36 | - | 40 | 11k| 40 | 16 | 21 |2550k|7428 | 0.000000e+00 | -- | Inf
1054.82/1054.87 c 1055s| 3650k|304415 | 7406k| 2.0 | 333M| 36 | - | 40 | 11k| 40 | 16 | 21 |2557k|7437 | 0.000000e+00 | -- | Inf
1058.61/1058.68 c 1059s| 3660k|304557 | 7426k| 2.0 | 334M| 36 | - | 40 | 11k| 40 | 16 | 21 |2565k|7447 | 0.000000e+00 | -- | Inf
1062.52/1062.57 c 1063s| 3670k|304681 | 7446k| 2.0 | 334M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |2572k|7460 | 0.000000e+00 | -- | Inf
1065.93/1065.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1065.93/1065.90 c 1066s| 3680k|305351 | 7466k| 2.0 | 335M| 36 | - | 40 | 12k| 0 | 0 | 21 |2579k|7471 | 0.000000e+00 | -- | Inf
1069.72/1069.76 c 1070s| 3690k|305605 | 7486k| 2.0 | 336M| 36 | - | 40 | 11k| 40 | 16 | 21 |2587k|7481 | 0.000000e+00 | -- | Inf
1073.42/1073.49 c 1073s| 3700k|305982 | 7506k| 2.0 | 336M| 36 | - | 40 | 11k| 40 | 16 | 21 |2594k|7486 | 0.000000e+00 | -- | Inf
1077.12/1077.12 c 1077s| 3710k|306315 | 7526k| 2.0 | 337M| 36 | - | 40 | 12k| 40 | 16 | 21 |2601k|7496 | 0.000000e+00 | -- | Inf
1080.61/1080.64 c 1081s| 3720k|306792 | 7547k| 2.0 | 338M| 36 | 5 | 40 | 13k| 40 | 16 | 21 |2609k|7509 | 0.000000e+00 | -- | Inf
1084.82/1084.86 c 1085s| 3730k|306766 | 7567k| 2.0 | 338M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |2617k|7523 | 0.000000e+00 | -- | Inf
1088.82/1088.82 c 1089s| 3740k|306865 | 7588k| 2.0 | 339M| 36 | - | 40 | 12k| 0 | 0 | 21 |2624k|7536 | 0.000000e+00 | -- | Inf
1092.52/1092.55 c 1093s| 3750k|307028 | 7608k| 2.0 | 339M| 36 | 5 | 40 | 12k| 40 | 16 | 21 |2632k|7547 | 0.000000e+00 | -- | Inf
1096.63/1096.62 c 1097s| 3760k|307040 | 7628k| 2.0 | 339M| 36 | 5 | 40 | 12k| 40 | 16 | 21 |2639k|7558 | 0.000000e+00 | -- | Inf
1101.21/1101.22 c 1101s| 3770k|306830 | 7648k| 2.0 | 339M| 36 | - | 40 | 10k| 0 | 0 | 21 |2647k|7573 | 0.000000e+00 | -- | Inf
1105.02/1105.00 c 1105s| 3780k|307077 | 7669k| 2.0 | 339M| 36 | - | 40 |9934 | 40 | 16 | 21 |2655k|7580 | 0.000000e+00 | -- | Inf
1108.22/1108.26 c 1108s| 3790k|307663 | 7689k| 2.0 | 341M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |2662k|7589 | 0.000000e+00 | -- | Inf
1112.51/1112.55 c 1113s| 3800k|307676 | 7709k| 2.0 | 340M| 36 | 5 | 40 |9078 | 40 | 16 | 21 |2670k|7593 | 0.000000e+00 | -- | Inf
1116.02/1116.02 c 1116s| 3810k|308188 | 7730k| 2.0 | 341M| 36 | - | 40 |9689 | 40 | 16 | 21 |2677k|7602 | 0.000000e+00 | -- | Inf
1119.22/1119.24 c 1119s| 3820k|308906 | 7751k| 2.0 | 342M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |2684k|7611 | 0.000000e+00 | -- | Inf
1122.03/1122.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1122.03/1122.01 c 1122s| 3830k|310046 | 7771k| 2.0 | 343M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |2691k|7622 | 0.000000e+00 | -- | Inf
1125.22/1125.22 c 1125s| 3840k|310448 | 7793k| 2.0 | 344M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |2699k|7630 | 0.000000e+00 | -- | Inf
1128.92/1128.93 c 1129s| 3850k|310449 | 7813k| 2.0 | 344M| 36 | - | 40 | 10k| 40 | 16 | 21 |2707k|7633 | 0.000000e+00 | -- | Inf
1132.92/1132.92 c 1133s| 3860k|310684 | 7834k| 2.0 | 344M| 36 | 5 | 40 |9484 | 40 | 16 | 21 |2714k|7642 | 0.000000e+00 | -- | Inf
1136.62/1136.65 c 1137s| 3870k|310763 | 7855k| 2.0 | 345M| 36 | 5 | 40 |8377 | 40 | 16 | 21 |2722k|7649 | 0.000000e+00 | -- | Inf
1139.92/1139.91 c 1140s| 3880k|311161 | 7876k| 2.0 | 345M| 36 | 5 | 40 |8005 | 40 | 16 | 21 |2730k|7659 | 0.000000e+00 | -- | Inf
1143.32/1143.36 c 1143s| 3890k|311319 | 7897k| 2.0 | 345M| 36 | - | 40 |7421 | 40 | 16 | 21 |2737k|7662 | 0.000000e+00 | -- | Inf
1146.62/1146.67 c 1147s| 3900k|311560 | 7917k| 2.0 | 346M| 36 | - | 40 |7804 | 40 | 16 | 21 |2745k|7678 | 0.000000e+00 | -- | Inf
1150.12/1150.10 c 1150s| 3910k|311608 | 7937k| 2.0 | 346M| 36 | 5 | 40 |7479 | 40 | 16 | 21 |2753k|7684 | 0.000000e+00 | -- | Inf
1153.22/1153.24 c 1153s| 3920k|312296 | 7958k| 2.0 | 347M| 36 | - | 40 |8082 | 40 | 16 | 21 |2760k|7693 | 0.000000e+00 | -- | Inf
1155.91/1156.00 c 1156s| 3930k|313213 | 7980k| 2.0 | 348M| 36 | - | 40 |9175 | 40 | 16 | 21 |2767k|7704 | 0.000000e+00 | -- | Inf
1159.12/1159.16 c 1159s| 3940k|313656 | 8002k| 2.0 | 349M| 36 | 5 | 40 |8263 | 40 | 16 | 21 |2774k|7711 | 0.000000e+00 | -- | Inf
1162.73/1162.77 c 1163s| 3950k|313585 | 8022k| 2.0 | 349M| 36 | 5 | 40 |7426 | 40 | 16 | 21 |2782k|7727 | 0.000000e+00 | -- | Inf
1165.62/1165.65 c 1166s| 3960k|314283 | 8043k| 2.0 | 350M| 36 | 5 | 40 |8865 | 40 | 16 | 21 |2789k|7734 | 0.000000e+00 | -- | Inf
1168.91/1168.93 c 1169s| 3970k|314666 | 8064k| 2.0 | 351M| 36 | - | 40 |9141 | 40 | 16 | 21 |2797k|7741 | 0.000000e+00 | -- | Inf
1172.32/1172.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1172.32/1172.32 c 1172s| 3980k|314981 | 8084k| 2.0 | 351M| 36 | 5 | 40 |8161 | 40 | 16 | 21 |2804k|7751 | 0.000000e+00 | -- | Inf
1175.93/1175.99 c 1176s| 3990k|315026 | 8105k| 2.0 | 351M| 36 | 5 | 40 |7361 | 40 | 16 | 21 |2812k|7758 | 0.000000e+00 | -- | Inf
1179.32/1179.34 c 1179s| 4000k|315156 | 8125k| 2.0 | 352M| 36 | - | 40 |7515 | 40 | 16 | 21 |2819k|7763 | 0.000000e+00 | -- | Inf
1182.92/1182.95 c 1183s| 4010k|315138 | 8145k| 2.0 | 352M| 36 | 5 | 40 |7345 | 40 | 16 | 21 |2827k|7776 | 0.000000e+00 | -- | Inf
1185.92/1185.93 c 1186s| 4020k|315716 | 8166k| 2.0 | 353M| 36 | - | 40 |8584 | 0 | 0 | 21 |2834k|7785 | 0.000000e+00 | -- | Inf
1189.32/1189.31 c 1189s| 4030k|315776 | 8186k| 2.0 | 353M| 36 | 5 | 40 |7568 | 40 | 16 | 21 |2842k|7797 | 0.000000e+00 | -- | Inf
1192.32/1192.32 c 1192s| 4040k|316288 | 8206k| 2.0 | 354M| 36 | 5 | 40 |7924 | 40 | 16 | 21 |2849k|7809 | 0.000000e+00 | -- | Inf
1195.92/1195.93 c 1196s| 4050k|316187 | 8226k| 2.0 | 354M| 36 | - | 40 |6422 | 0 | 0 | 21 |2857k|7823 | 0.000000e+00 | -- | Inf
1198.42/1198.47 c 1198s| 4060k|317615 | 8248k| 2.0 | 356M| 36 | - | 40 |9369 | 40 | 16 | 21 |2864k|7828 | 0.000000e+00 | -- | Inf
1202.03/1202.08 c 1202s| 4070k|317746 | 8269k| 2.0 | 357M| 36 | - | 40 |8785 | 40 | 16 | 21 |2871k|7846 | 0.000000e+00 | -- | Inf
1205.22/1205.29 c 1205s| 4080k|318220 | 8289k| 2.0 | 357M| 36 | 5 | 40 |9079 | 40 | 16 | 21 |2878k|7854 | 0.000000e+00 | -- | Inf
1208.92/1208.93 c 1209s| 4090k|318358 | 8311k| 2.0 | 357M| 36 | - | 40 |8081 | 40 | 16 | 21 |2886k|7862 | 0.000000e+00 | -- | Inf
1212.32/1212.31 c 1212s| 4100k|318502 | 8331k| 2.0 | 358M| 36 | - | 40 |7585 | 40 | 16 | 21 |2894k|7865 | 0.000000e+00 | -- | Inf
1215.22/1215.20 c 1215s| 4110k|319272 | 8351k| 2.0 | 359M| 36 | 5 | 40 |9201 | 40 | 16 | 21 |2901k|7880 | 0.000000e+00 | -- | Inf
1218.22/1218.23 c 1218s| 4120k|319666 | 8371k| 2.0 | 360M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |2908k|7887 | 0.000000e+00 | -- | Inf
1221.82/1221.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1221.82/1221.86 c 1222s| 4130k|319843 | 8391k| 2.0 | 360M| 36 | - | 40 |8525 | 40 | 16 | 21 |2916k|7895 | 0.000000e+00 | -- | Inf
1225.33/1225.40 c 1225s| 4140k|319938 | 8411k| 2.0 | 360M| 36 | - | 40 |7690 | 40 | 16 | 21 |2924k|7908 | 0.000000e+00 | -- | Inf
1228.92/1228.94 c 1229s| 4150k|319884 | 8432k| 2.0 | 360M| 36 | 5 | 40 |6363 | 40 | 16 | 21 |2931k|7921 | 0.000000e+00 | -- | Inf
1232.32/1232.33 c 1232s| 4160k|319767 | 8452k| 2.0 | 360M| 36 | - | 40 |6312 | 40 | 16 | 21 |2939k|7925 | 0.000000e+00 | -- | Inf
1235.42/1235.48 c 1235s| 4170k|319989 | 8473k| 2.0 | 361M| 36 | - | 40 |6740 | 40 | 16 | 21 |2947k|7935 | 0.000000e+00 | -- | Inf
1238.63/1238.62 c 1239s| 4180k|320214 | 8493k| 2.0 | 362M| 36 | - | 40 |7180 | 0 | 0 | 21 |2954k|7944 | 0.000000e+00 | -- | Inf
1242.02/1242.07 c 1242s| 4190k|320171 | 8513k| 2.0 | 362M| 36 | 5 | 40 |6929 | 40 | 16 | 21 |2962k|7959 | 0.000000e+00 | -- | Inf
1245.13/1245.16 c 1245s| 4200k|320448 | 8533k| 2.0 | 363M| 36 | - | 40 |8216 | 40 | 16 | 21 |2970k|7977 | 0.000000e+00 | -- | Inf
1248.43/1248.44 c 1248s| 4210k|320740 | 8554k| 2.0 | 363M| 36 | - | 40 |7933 | 40 | 16 | 21 |2977k|7986 | 0.000000e+00 | -- | Inf
1251.52/1251.57 c 1252s| 4220k|321203 | 8575k| 2.0 | 364M| 36 | - | 40 |8437 | 40 | 16 | 21 |2985k|7992 | 0.000000e+00 | -- | Inf
1254.82/1254.88 c 1255s| 4230k|321377 | 8596k| 2.0 | 364M| 36 | - | 40 |7803 | 0 | 0 | 21 |2993k|8002 | 0.000000e+00 | -- | Inf
1257.92/1257.93 c 1258s| 4240k|321850 | 8617k| 2.0 | 365M| 36 | - | 40 |9124 | 40 | 16 | 21 |3000k|8012 | 0.000000e+00 | -- | Inf
1260.82/1260.88 c 1261s| 4250k|322678 | 8637k| 2.0 | 366M| 36 | - | 40 |9302 | 0 | 0 | 21 |3007k|8018 | 0.000000e+00 | -- | Inf
1263.72/1263.79 c 1264s| 4260k|323304 | 8657k| 2.0 | 367M| 36 | - | 40 | 10k| 40 | 16 | 21 |3015k|8030 | 0.000000e+00 | -- | Inf
1267.32/1267.31 c 1267s| 4270k|323299 | 8677k| 2.0 | 367M| 36 | - | 40 |9272 | 40 | 16 | 21 |3023k|8036 | 0.000000e+00 | -- | Inf
1270.43/1270.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1270.43/1270.46 c 1270s| 4280k|323659 | 8698k| 2.0 | 368M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |3031k|8049 | 0.000000e+00 | -- | Inf
1273.83/1273.80 c 1274s| 4290k|324402 | 8718k| 2.0 | 369M| 36 | 5 | 40 |9306 | 40 | 16 | 21 |3038k|8053 | 0.000000e+00 | -- | Inf
1277.13/1277.19 c 1277s| 4300k|324659 | 8738k| 2.0 | 369M| 36 | - | 40 |9508 | 40 | 16 | 21 |3046k|8062 | 0.000000e+00 | -- | Inf
1280.83/1280.84 c 1281s| 4310k|324609 | 8759k| 2.0 | 369M| 36 | - | 40 |7522 | 40 | 16 | 21 |3053k|8067 | 0.000000e+00 | -- | Inf
1284.13/1284.11 c 1284s| 4320k|324892 | 8779k| 2.0 | 370M| 36 | 5 | 40 |7816 | 40 | 16 | 21 |3061k|8077 | 0.000000e+00 | -- | Inf
1287.72/1287.74 c 1288s| 4330k|324722 | 8800k| 2.0 | 370M| 36 | - | 40 |6401 | 40 | 16 | 21 |3069k|8085 | 0.000000e+00 | -- | Inf
1290.72/1290.72 c 1291s| 4340k|325340 | 8821k| 2.0 | 371M| 36 | 5 | 40 |8100 | 40 | 16 | 21 |3076k|8090 | 0.000000e+00 | -- | Inf
1293.63/1293.61 c 1294s| 4350k|326078 | 8842k| 2.0 | 372M| 36 | - | 40 | 10k| 0 | 0 | 21 |3083k|8101 | 0.000000e+00 | -- | Inf
1297.02/1297.06 c 1297s| 4360k|326379 | 8864k| 2.0 | 373M| 36 | 5 | 40 |9628 | 40 | 16 | 21 |3091k|8110 | 0.000000e+00 | -- | Inf
1300.72/1300.77 c 1301s| 4370k|326432 | 8884k| 2.0 | 373M| 36 | 5 | 40 |7859 | 40 | 16 | 21 |3099k|8117 | 0.000000e+00 | -- | Inf
1304.02/1304.05 c 1304s| 4380k|326632 | 8905k| 2.0 | 373M| 36 | 5 | 40 |7645 | 40 | 16 | 21 |3106k|8126 | 0.000000e+00 | -- | Inf
1307.62/1307.61 c 1308s| 4390k|326591 | 8925k| 2.0 | 373M| 36 | 5 | 40 |7067 | 40 | 16 | 21 |3114k|8132 | 0.000000e+00 | -- | Inf
1310.72/1310.73 c 1311s| 4400k|326862 | 8945k| 2.0 | 374M| 36 | 5 | 40 |8231 | 40 | 16 | 21 |3121k|8142 | 0.000000e+00 | -- | Inf
1313.82/1313.81 c 1314s| 4410k|327539 | 8967k| 2.0 | 375M| 36 | 5 | 40 |9773 | 40 | 16 | 21 |3128k|8149 | 0.000000e+00 | -- | Inf
1317.32/1317.31 c 1317s| 4420k|327847 | 8988k| 2.0 | 375M| 36 | 5 | 40 |7675 | 40 | 16 | 21 |3136k|8152 | 0.000000e+00 | -- | Inf
1320.83/1320.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1320.83/1320.81 c 1321s| 4430k|327921 | 9009k| 2.0 | 376M| 36 | - | 40 |7537 | 40 | 16 | 21 |3144k|8169 | 0.000000e+00 | -- | Inf
1323.82/1323.81 c 1324s| 4440k|328427 | 9029k| 2.0 | 377M| 36 | 5 | 40 |8424 | 40 | 16 | 21 |3151k|8172 | 0.000000e+00 | -- | Inf
1327.12/1327.10 c 1327s| 4450k|328683 | 9049k| 2.0 | 377M| 36 | - | 40 |8490 | 40 | 16 | 21 |3158k|8175 | 0.000000e+00 | -- | Inf
1330.93/1330.94 c 1331s| 4460k|328497 | 9069k| 2.0 | 377M| 36 | - | 40 |7100 | 40 | 16 | 21 |3166k|8180 | 0.000000e+00 | -- | Inf
1333.32/1333.34 c 1333s| 4470k|330000 | 9089k| 2.0 | 379M| 36 | - | 40 |9361 | 40 | 16 | 21 |3173k|8181 | 0.000000e+00 | -- | Inf
1336.13/1336.10 c 1336s| 4480k|330923 | 9110k| 2.0 | 380M| 36 | - | 40 | 10k| 40 | 16 | 21 |3180k|8189 | 0.000000e+00 | -- | Inf
1339.03/1339.03 c 1339s| 4490k|331491 | 9131k| 2.0 | 381M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |3187k|8195 | 0.000000e+00 | -- | Inf
1342.12/1342.12 c 1342s| 4500k|331769 | 9153k| 2.0 | 382M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |3195k|8197 | 0.000000e+00 | -- | Inf
1345.72/1345.78 c 1346s| 4510k|331948 | 9174k| 2.0 | 381M| 36 | - | 40 |8320 | 40 | 16 | 21 |3202k|8207 | 0.000000e+00 | -- | Inf
1349.63/1349.63 c 1350s| 4520k|331777 | 9194k| 2.0 | 381M| 36 | - | 40 |7090 | 40 | 16 | 21 |3210k|8215 | 0.000000e+00 | -- | Inf
1352.93/1353.00 c 1353s| 4530k|331925 | 9215k| 2.0 | 382M| 36 | 5 | 40 |7144 | 40 | 16 | 21 |3218k|8220 | 0.000000e+00 | -- | Inf
1356.23/1356.27 c 1356s| 4540k|332246 | 9235k| 2.0 | 382M| 36 | - | 40 |7471 | 40 | 16 | 21 |3225k|8222 | 0.000000e+00 | -- | Inf
1359.22/1359.21 c 1359s| 4550k|332618 | 9256k| 2.0 | 384M| 36 | - | 40 |9572 | 40 | 16 | 21 |3233k|8229 | 0.000000e+00 | -- | Inf
1362.93/1362.99 c 1363s| 4560k|332631 | 9276k| 2.0 | 383M| 36 | 5 | 40 |8174 | 40 | 16 | 21 |3241k|8242 | 0.000000e+00 | -- | Inf
1366.23/1366.26 c 1366s| 4570k|332973 | 9296k| 2.0 | 384M| 36 | 5 | 40 |8253 | 40 | 16 | 21 |3248k|8248 | 0.000000e+00 | -- | Inf
1369.23/1369.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1369.23/1369.28 c 1369s| 4580k|333618 | 9317k| 2.0 | 385M| 36 | 5 | 40 |9330 | 40 | 16 | 21 |3255k|8258 | 0.000000e+00 | -- | Inf
1372.63/1372.64 c 1373s| 4590k|333878 | 9338k| 2.0 | 385M| 36 | 5 | 40 |9047 | 40 | 16 | 21 |3263k|8265 | 0.000000e+00 | -- | Inf
1376.32/1376.35 c 1376s| 4600k|333850 | 9358k| 2.0 | 385M| 36 | - | 40 |7596 | 40 | 16 | 21 |3271k|8273 | 0.000000e+00 | -- | Inf
1379.83/1379.88 c 1380s| 4610k|333904 | 9379k| 2.0 | 386M| 36 | - | 40 |7092 | 0 | 0 | 21 |3278k|8280 | 0.000000e+00 | -- | Inf
1382.43/1382.44 c 1382s| 4620k|335680 | 9400k| 2.0 | 387M| 36 | 5 | 40 |8556 | 40 | 16 | 21 |3285k|8283 | 0.000000e+00 | -- | Inf
1385.02/1385.01 c 1385s| 4630k|337360 | 9422k| 2.0 | 389M| 36 | 5 | 40 |9494 | 40 | 16 | 21 |3291k|8295 | 0.000000e+00 | -- | Inf
1387.62/1387.69 c 1388s| 4640k|338950 | 9444k| 2.0 | 390M| 36 | 5 | 40 |9168 | 40 | 16 | 21 |3297k|8299 | 0.000000e+00 | -- | Inf
1390.43/1390.42 c 1390s| 4650k|340417 | 9466k| 2.0 | 391M| 36 | - | 40 |9709 | 40 | 16 | 21 |3303k|8310 | 0.000000e+00 | -- | Inf
1393.12/1393.16 c 1393s| 4660k|341789 | 9487k| 2.0 | 393M| 36 | - | 40 | 10k| 40 | 16 | 21 |3310k|8318 | 0.000000e+00 | -- | Inf
1396.32/1396.35 c 1396s| 4670k|342482 | 9509k| 2.0 | 394M| 36 | 5 | 40 |9514 | 40 | 16 | 21 |3317k|8326 | 0.000000e+00 | -- | Inf
1399.32/1399.38 c 1399s| 4680k|343308 | 9531k| 2.0 | 395M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |3324k|8330 | 0.000000e+00 | -- | Inf
1402.53/1402.55 c 1403s| 4690k|344105 | 9552k| 2.0 | 396M| 36 | - | 40 |9783 | 40 | 16 | 21 |3331k|8336 | 0.000000e+00 | -- | Inf
1405.32/1405.38 c 1405s| 4700k|345349 | 9575k| 2.0 | 397M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |3337k|8346 | 0.000000e+00 | -- | Inf
1408.62/1408.66 c 1409s| 4710k|345974 | 9597k| 2.0 | 398M| 36 | - | 40 | 10k| 40 | 16 | 21 |3344k|8356 | 0.000000e+00 | -- | Inf
1411.83/1411.84 c 1412s| 4720k|346798 | 9619k| 2.0 | 399M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |3351k|8366 | 0.000000e+00 | -- | Inf
1415.12/1415.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1415.12/1415.17 c 1415s| 4730k|347560 | 9640k| 2.0 | 400M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |3358k|8375 | 0.000000e+00 | -- | Inf
1418.52/1418.59 c 1419s| 4740k|348194 | 9662k| 2.0 | 401M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |3365k|8377 | 0.000000e+00 | -- | Inf
1421.93/1421.94 c 1422s| 4750k|348710 | 9684k| 2.0 | 402M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |3372k|8383 | 0.000000e+00 | -- | Inf
1425.32/1425.35 c 1425s| 4760k|349303 | 9705k| 2.0 | 403M| 36 | - | 40 | 12k| 40 | 16 | 21 |3379k|8389 | 0.000000e+00 | -- | Inf
1429.13/1429.13 c 1429s| 4770k|349435 | 9727k| 2.0 | 403M| 36 | - | 40 | 11k| 40 | 16 | 21 |3387k|8394 | 0.000000e+00 | -- | Inf
1432.62/1432.67 c 1433s| 4780k|349788 | 9749k| 2.0 | 404M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |3394k|8404 | 0.000000e+00 | -- | Inf
1436.53/1436.50 c 1437s| 4790k|349705 | 9772k| 2.0 | 404M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |3402k|8412 | 0.000000e+00 | -- | Inf
1440.33/1440.38 c 1440s| 4800k|349846 | 9794k| 2.0 | 404M| 36 | - | 40 |9978 | 0 | 0 | 21 |3409k|8422 | 0.000000e+00 | -- | Inf
1443.93/1443.94 c 1444s| 4810k|350249 | 9815k| 2.0 | 405M| 36 | - | 40 |9361 | 40 | 16 | 21 |3417k|8435 | 0.000000e+00 | -- | Inf
1447.23/1447.21 c 1447s| 4820k|350699 | 9835k| 2.0 | 405M| 36 | 5 | 40 |8825 | 40 | 16 | 21 |3424k|8446 | 0.000000e+00 | -- | Inf
1450.72/1450.71 c 1451s| 4830k|351088 | 9856k| 2.0 | 406M| 36 | 5 | 40 |7930 | 40 | 16 | 21 |3431k|8451 | 0.000000e+00 | -- | Inf
1454.13/1454.17 c 1454s| 4840k|351247 | 9877k| 2.0 | 406M| 36 | 5 | 40 |8260 | 40 | 16 | 21 |3439k|8455 | 0.000000e+00 | -- | Inf
1457.72/1457.78 c 1458s| 4850k|351327 | 9897k| 2.0 | 406M| 36 | 5 | 40 |7794 | 40 | 16 | 21 |3446k|8462 | 0.000000e+00 | -- | Inf
1461.02/1461.05 c 1461s| 4860k|351725 | 9919k| 2.0 | 407M| 36 | 5 | 40 |8238 | 40 | 16 | 21 |3454k|8471 | 0.000000e+00 | -- | Inf
1464.53/1464.58 c 1465s| 4870k|351814 | 9939k| 2.0 | 407M| 36 | 5 | 40 |7481 | 40 | 16 | 21 |3462k|8473 | 0.000000e+00 | -- | Inf
1467.73/1467.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1467.73/1467.77 c 1468s| 4880k|352149 | 9960k| 2.0 | 408M| 36 | - | 40 |7862 | 0 | 0 | 21 |3469k|8480 | 0.000000e+00 | -- | Inf
1470.83/1470.83 c 1471s| 4890k|353266 | 9980k| 2.0 | 409M| 36 | 5 | 40 |8433 | 40 | 16 | 21 |3476k|8489 | 0.000000e+00 | -- | Inf
1473.43/1473.45 c 1473s| 4900k|354721 | 9999k| 2.0 | 410M| 36 | 5 | 40 |9448 | 40 | 16 | 21 |3482k|8496 | 0.000000e+00 | -- | Inf
1476.32/1476.39 c 1476s| 4910k|355647 | 10019k| 2.0 | 411M| 36 | 5 | 40 |9667 | 40 | 16 | 21 |3489k|8504 | 0.000000e+00 | -- | Inf
1479.33/1479.32 c 1479s| 4920k|356364 | 10038k| 2.0 | 413M| 36 | - | 40 | 10k| 40 | 16 | 21 |3496k|8511 | 0.000000e+00 | -- | Inf
1482.43/1482.40 c 1482s| 4930k|357028 | 10058k| 2.0 | 413M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |3503k|8517 | 0.000000e+00 | -- | Inf
1485.73/1485.70 c 1486s| 4940k|357415 | 10078k| 2.0 | 414M| 36 | - | 40 | 10k| 40 | 16 | 21 |3511k|8530 | 0.000000e+00 | -- | Inf
1488.93/1488.96 c 1489s| 4950k|357810 | 10097k| 2.0 | 415M| 36 | - | 40 | 11k| 40 | 16 | 21 |3518k|8537 | 0.000000e+00 | -- | Inf
1492.43/1492.43 c 1492s| 4960k|357856 | 10117k| 2.0 | 415M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |3526k|8550 | 0.000000e+00 | -- | Inf
1495.93/1495.95 c 1496s| 4970k|357729 | 10137k| 2.0 | 415M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |3534k|8563 | 0.000000e+00 | -- | Inf
1499.92/1499.99 c 1500s| 4980k|357505 | 10158k| 2.0 | 415M| 36 | - | 40 |8428 | 40 | 16 | 21 |3541k|8570 | 0.000000e+00 | -- | Inf
1503.43/1503.44 c 1503s| 4990k|357880 | 10179k| 2.0 | 415M| 36 | 5 | 40 |9020 | 40 | 16 | 21 |3549k|8578 | 0.000000e+00 | -- | Inf
1506.53/1506.55 c 1507s| 5000k|359076 | 10200k| 2.0 | 417M| 36 | - | 40 | 10k| 40 | 16 | 21 |3556k|8585 | 0.000000e+00 | -- | Inf
1509.32/1509.38 c 1509s| 5010k|360559 | 10221k| 2.0 | 418M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |3562k|8595 | 0.000000e+00 | -- | Inf
1512.63/1512.60 c 1513s| 5020k|361418 | 10242k| 2.0 | 419M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |3569k|8601 | 0.000000e+00 | -- | Inf
1515.93/1515.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1515.93/1515.97 c 1516s| 5030k|362017 | 10263k| 2.0 | 420M| 36 | 5 | 40 | 12k| 40 | 16 | 21 |3576k|8606 | 0.000000e+00 | -- | Inf
1519.52/1519.56 c 1520s| 5040k|362321 | 10284k| 2.0 | 421M| 36 | 5 | 40 | 12k| 40 | 16 | 21 |3583k|8618 | 0.000000e+00 | -- | Inf
1523.13/1523.18 c 1523s| 5050k|362697 | 10305k| 2.0 | 422M| 36 | - | 40 | 13k| 40 | 16 | 21 |3590k|8626 | 0.000000e+00 | -- | Inf
1526.93/1526.96 c 1527s| 5060k|362835 | 10327k| 2.0 | 422M| 36 | - | 40 | 13k| 40 | 16 | 21 |3598k|8633 | 0.000000e+00 | -- | Inf
1530.82/1530.84 c 1531s| 5070k|363280 | 10346k| 2.0 | 423M| 36 | - | 40 | 11k| 40 | 16 | 21 |3605k|8643 | 0.000000e+00 | -- | Inf
1535.23/1535.21 c 1535s| 5080k|363084 | 10367k| 2.0 | 422M| 36 | - | 40 |9279 | 40 | 16 | 21 |3613k|8648 | 0.000000e+00 | -- | Inf
1538.63/1538.64 c 1539s| 5090k|363519 | 10387k| 2.0 | 423M| 36 | 5 | 40 |9254 | 40 | 16 | 21 |3620k|8663 | 0.000000e+00 | -- | Inf
1542.23/1542.22 c 1542s| 5100k|363613 | 10407k| 2.0 | 423M| 36 | 5 | 40 |8720 | 40 | 16 | 21 |3628k|8673 | 0.000000e+00 | -- | Inf
1545.44/1545.45 c 1545s| 5110k|364089 | 10428k| 2.0 | 424M| 36 | 5 | 40 |9962 | 40 | 16 | 21 |3635k|8676 | 0.000000e+00 | -- | Inf
1548.73/1548.78 c 1549s| 5120k|364568 | 10448k| 2.0 | 425M| 36 | - | 40 | 11k| 40 | 16 | 21 |3643k|8681 | 0.000000e+00 | -- | Inf
1552.63/1552.67 c 1553s| 5130k|364629 | 10468k| 2.0 | 425M| 36 | - | 40 | 10k| 0 | 0 | 21 |3650k|8687 | 0.000000e+00 | -- | Inf
1556.53/1556.53 c 1557s| 5140k|364636 | 10489k| 2.0 | 425M| 36 | - | 40 |8758 | 40 | 16 | 21 |3658k|8692 | 0.000000e+00 | -- | Inf
1559.74/1559.77 c 1560s| 5150k|365190 | 10510k| 2.0 | 426M| 36 | - | 40 | 10k| 40 | 16 | 21 |3665k|8695 | 0.000000e+00 | -- | Inf
1563.23/1563.29 c 1563s| 5160k|365498 | 10530k| 2.0 | 426M| 36 | 5 | 40 |8816 | 40 | 16 | 21 |3673k|8701 | 0.000000e+00 | -- | Inf
1566.63/1566.68 c 1567s| 5170k|365717 | 10551k| 2.0 | 427M| 36 | - | 40 |8556 | 40 | 16 | 21 |3681k|8707 | 0.000000e+00 | -- | Inf
1569.73/1569.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1569.73/1569.79 c 1570s| 5180k|366135 | 10572k| 2.0 | 428M| 36 | - | 40 |9718 | 0 | 0 | 21 |3688k|8722 | 0.000000e+00 | -- | Inf
1572.73/1572.77 c 1573s| 5190k|366623 | 10593k| 2.0 | 429M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |3695k|8729 | 0.000000e+00 | -- | Inf
1576.52/1576.59 c 1577s| 5200k|366789 | 10613k| 2.0 | 428M| 36 | - | 40 |8233 | 40 | 16 | 21 |3703k|8733 | 0.000000e+00 | -- | Inf
1579.93/1579.92 c 1580s| 5210k|367140 | 10633k| 2.0 | 429M| 36 | 5 | 40 |7714 | 40 | 16 | 21 |3710k|8739 | 0.000000e+00 | -- | Inf
1583.53/1583.59 c 1584s| 5220k|367051 | 10654k| 2.0 | 429M| 36 | - | 40 |6926 | 40 | 16 | 21 |3718k|8746 | 0.000000e+00 | -- | Inf
1586.83/1586.89 c 1587s| 5230k|367243 | 10674k| 2.0 | 430M| 36 | - | 40 |7892 | 40 | 16 | 21 |3726k|8751 | 0.000000e+00 | -- | Inf
1590.33/1590.37 c 1590s| 5240k|367297 | 10695k| 2.0 | 430M| 36 | - | 40 |8405 | 40 | 16 | 21 |3733k|8759 | 0.000000e+00 | -- | Inf
1593.73/1593.70 c 1594s| 5250k|367471 | 10715k| 2.0 | 431M| 36 | 5 | 40 |8965 | 40 | 16 | 21 |3741k|8769 | 0.000000e+00 | -- | Inf
1597.33/1597.31 c 1597s| 5260k|367395 | 10735k| 2.0 | 430M| 36 | 5 | 40 |7534 | 40 | 16 | 21 |3749k|8779 | 0.000000e+00 | -- | Inf
1600.33/1600.31 c 1600s| 5270k|367968 | 10756k| 2.0 | 432M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |3756k|8783 | 0.000000e+00 | -- | Inf
1604.23/1604.21 c 1604s| 5280k|367810 | 10776k| 2.0 | 431M| 36 | - | 40 |6656 | 40 | 16 | 21 |3764k|8791 | 0.000000e+00 | -- | Inf
1607.93/1607.92 c 1608s| 5290k|367520 | 10797k| 2.0 | 431M| 36 | 5 | 40 |6083 | 40 | 16 | 21 |3772k|8794 | 0.000000e+00 | -- | Inf
1611.23/1611.25 c 1611s| 5300k|367696 | 10819k| 2.0 | 432M| 36 | 5 | 40 |7829 | 40 | 16 | 21 |3780k|8805 | 0.000000e+00 | -- | Inf
1614.93/1614.90 c 1615s| 5310k|367650 | 10839k| 2.0 | 432M| 36 | 5 | 40 |6369 | 40 | 16 | 21 |3787k|8817 | 0.000000e+00 | -- | Inf
1618.23/1618.28 c 1618s| 5320k|367826 | 10860k| 2.0 | 432M| 36 | 5 | 40 |7054 | 40 | 16 | 21 |3795k|8831 | 0.000000e+00 | -- | Inf
1621.83/1621.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1621.83/1621.80 c 1622s| 5330k|367759 | 10882k| 2.0 | 433M| 36 | - | 40 |6891 | 40 | 16 | 21 |3803k|8836 | 0.000000e+00 | -- | Inf
1625.43/1625.42 c 1625s| 5340k|367542 | 10902k| 2.0 | 433M| 36 | 5 | 40 |6179 | 40 | 16 | 21 |3810k|8844 | 0.000000e+00 | -- | Inf
1628.83/1628.88 c 1629s| 5350k|367488 | 10923k| 2.0 | 433M| 36 | 5 | 40 |6794 | 40 | 16 | 21 |3818k|8859 | 0.000000e+00 | -- | Inf
1632.03/1632.01 c 1632s| 5360k|367788 | 10944k| 2.0 | 434M| 36 | - | 40 |7886 | 40 | 16 | 21 |3826k|8870 | 0.000000e+00 | -- | Inf
1635.33/1635.32 c 1635s| 5370k|368263 | 10965k| 2.0 | 435M| 36 | 5 | 40 |8033 | 40 | 16 | 21 |3833k|8878 | 0.000000e+00 | -- | Inf
1638.43/1638.48 c 1638s| 5380k|368691 | 10985k| 2.0 | 436M| 36 | 5 | 40 |8913 | 40 | 16 | 21 |3840k|8879 | 0.000000e+00 | -- | Inf
1642.13/1642.13 c 1642s| 5390k|368724 | 11006k| 2.0 | 436M| 36 | 5 | 40 |8023 | 40 | 16 | 21 |3848k|8882 | 0.000000e+00 | -- | Inf
1645.83/1645.87 c 1646s| 5400k|368619 | 11027k| 2.0 | 436M| 36 | 5 | 40 |7765 | 40 | 16 | 21 |3856k|8888 | 0.000000e+00 | -- | Inf
1648.94/1648.92 c 1649s| 5410k|369882 | 11048k| 2.0 | 437M| 36 | 5 | 40 |8491 | 40 | 16 | 21 |3863k|8893 | 0.000000e+00 | -- | Inf
1651.43/1651.40 c 1651s| 5420k|372034 | 11070k| 2.0 | 439M| 36 | 5 | 40 |9475 | 40 | 16 | 21 |3869k|8897 | 0.000000e+00 | -- | Inf
1654.13/1654.19 c 1654s| 5430k|373693 | 11091k| 2.0 | 440M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |3875k|8903 | 0.000000e+00 | -- | Inf
1657.03/1657.04 c 1657s| 5440k|375372 | 11111k| 2.0 | 442M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |3881k|8910 | 0.000000e+00 | -- | Inf
1660.03/1660.05 c 1660s| 5450k|376860 | 11132k| 2.0 | 443M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |3887k|8916 | 0.000000e+00 | -- | Inf
1663.03/1663.06 c 1663s| 5460k|378144 | 11153k| 2.0 | 444M| 36 | - | 40 | 11k| 40 | 16 | 21 |3894k|8922 | 0.000000e+00 | -- | Inf
1666.23/1666.25 c 1666s| 5470k|379168 | 11174k| 2.0 | 445M| 36 | - | 40 | 11k| 40 | 16 | 21 |3900k|8924 | 0.000000e+00 | -- | Inf
1669.43/1669.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1669.43/1669.41 c 1669s| 5480k|380237 | 11195k| 2.0 | 447M| 36 | - | 40 | 11k| 40 | 16 | 21 |3907k|8932 | 0.000000e+00 | -- | Inf
1672.63/1672.68 c 1673s| 5490k|381101 | 11217k| 2.0 | 448M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |3914k|8937 | 0.000000e+00 | -- | Inf
1675.74/1675.78 c 1676s| 5500k|382230 | 11238k| 2.0 | 449M| 36 | - | 40 | 12k| 40 | 16 | 21 |3920k|8943 | 0.000000e+00 | -- | Inf
1679.44/1679.46 c 1679s| 5510k|382797 | 11259k| 2.0 | 450M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |3927k|8951 | 0.000000e+00 | -- | Inf
1682.73/1682.75 c 1683s| 5520k|383665 | 11280k| 2.0 | 451M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |3934k|8958 | 0.000000e+00 | -- | Inf
1685.84/1685.83 c 1686s| 5530k|385057 | 11302k| 2.0 | 452M| 36 | - | 40 | 12k| 40 | 16 | 21 |3940k|8967 | 0.000000e+00 | -- | Inf
1689.54/1689.51 c 1690s| 5540k|385803 | 11323k| 2.0 | 453M| 36 | - | 40 | 12k| 40 | 16 | 21 |3947k|8975 | 0.000000e+00 | -- | Inf
1693.53/1693.54 c 1694s| 5550k|386113 | 11344k| 2.0 | 453M| 36 | - | 40 | 11k| 40 | 16 | 21 |3954k|8979 | 0.000000e+00 | -- | Inf
1697.34/1697.36 c 1697s| 5560k|386367 | 11365k| 2.0 | 454M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |3962k|8984 | 0.000000e+00 | -- | Inf
1700.73/1700.70 c 1701s| 5570k|387225 | 11387k| 2.0 | 456M| 36 | - | 40 | 13k| 40 | 16 | 21 |3968k|8989 | 0.000000e+00 | -- | Inf
1704.64/1704.62 c 1705s| 5580k|387636 | 11408k| 2.0 | 456M| 36 | - | 40 | 13k| 40 | 16 | 21 |3976k|8998 | 0.000000e+00 | -- | Inf
1708.24/1708.22 c 1708s| 5590k|388667 | 11429k| 2.0 | 457M| 36 | 5 | 40 | 12k| 40 | 16 | 21 |3982k|9001 | 0.000000e+00 | -- | Inf
1711.54/1711.54 c 1712s| 5600k|389821 | 11450k| 2.0 | 458M| 36 | 5 | 40 | 13k| 40 | 16 | 21 |3989k|9012 | 0.000000e+00 | -- | Inf
1715.24/1715.23 c 1715s| 5610k|390402 | 11471k| 2.0 | 459M| 36 | 5 | 40 | 13k| 40 | 16 | 21 |3996k|9016 | 0.000000e+00 | -- | Inf
1718.73/1718.79 c 1719s| 5620k|391438 | 11493k| 2.0 | 461M| 36 | - | 40 | 14k| 40 | 16 | 21 |4003k|9019 | 0.000000e+00 | -- | Inf
1722.93/1722.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1722.93/1722.95 c 1723s| 5630k|391912 | 11515k| 2.0 | 461M| 36 | - | 40 | 14k| 0 | 0 | 21 |4011k|9025 | 0.000000e+00 | -- | Inf
1727.23/1727.26 c 1727s| 5640k|392266 | 11537k| 2.0 | 462M| 36 | 5 | 40 | 12k| 40 | 16 | 21 |4018k|9032 | 0.000000e+00 | -- | Inf
1730.33/1730.31 c 1730s| 5650k|393977 | 11559k| 2.0 | 464M| 36 | 5 | 40 | 15k| 40 | 16 | 21 |4024k|9037 | 0.000000e+00 | -- | Inf
1734.04/1734.02 c 1734s| 5660k|395025 | 11580k| 2.0 | 465M| 36 | 5 | 40 | 15k| 40 | 16 | 21 |4031k|9041 | 0.000000e+00 | -- | Inf
1738.14/1738.15 c 1738s| 5670k|395622 | 11603k| 2.0 | 466M| 36 | 5 | 40 | 15k| 40 | 16 | 21 |4038k|9047 | 0.000000e+00 | -- | Inf
1742.64/1742.68 c 1743s| 5680k|395872 | 11625k| 2.0 | 466M| 36 | - | 40 | 13k| 40 | 16 | 21 |4045k|9057 | 0.000000e+00 | -- | Inf
1747.23/1747.23 c 1747s| 5690k|396003 | 11646k| 2.0 | 466M| 36 | - | 40 | 12k| 40 | 16 | 21 |4053k|9065 | 0.000000e+00 | -- | Inf
1751.64/1751.62 c 1752s| 5700k|396047 | 11667k| 2.0 | 467M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |4060k|9070 | 0.000000e+00 | -- | Inf
1755.93/1755.98 c 1756s| 5710k|395888 | 11689k| 2.0 | 467M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |4068k|9074 | 0.000000e+00 | -- | Inf
1760.73/1760.75 c 1761s| 5720k|395535 | 11710k| 2.0 | 466M| 36 | - | 40 |8024 | 40 | 16 | 21 |4076k|9076 | 0.000000e+00 | -- | Inf
1764.53/1764.56 c 1765s| 5730k|395513 | 11731k| 2.0 | 466M| 36 | - | 40 |7424 | 40 | 16 | 21 |4084k|9083 | 0.000000e+00 | -- | Inf
1768.03/1768.01 c 1768s| 5740k|395635 | 11751k| 2.0 | 467M| 36 | - | 40 |7982 | 40 | 16 | 21 |4091k|9090 | 0.000000e+00 | -- | Inf
1771.83/1771.82 c 1772s| 5750k|395609 | 11772k| 2.0 | 467M| 36 | 5 | 40 |7554 | 40 | 16 | 21 |4099k|9097 | 0.000000e+00 | -- | Inf
1775.24/1775.21 c 1775s| 5760k|395966 | 11793k| 2.0 | 468M| 36 | 5 | 40 |8166 | 40 | 16 | 21 |4107k|9103 | 0.000000e+00 | -- | Inf
1778.83/1778.87 c 1779s| 5770k|396057 | 11814k| 2.0 | 468M| 36 | 5 | 40 |7769 | 40 | 16 | 21 |4114k|9106 | 0.000000e+00 | -- | Inf
1781.63/1781.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1781.63/1781.62 c 1782s| 5780k|397259 | 11834k| 2.0 | 470M| 36 | - | 40 | 10k| 40 | 16 | 21 |4121k|9110 | 0.000000e+00 | -- | Inf
1785.04/1785.02 c 1785s| 5790k|397541 | 11855k| 2.0 | 470M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |4129k|9114 | 0.000000e+00 | -- | Inf
1788.84/1788.86 c 1789s| 5800k|397611 | 11876k| 2.0 | 470M| 36 | - | 40 |8930 | 40 | 16 | 21 |4137k|9120 | 0.000000e+00 | -- | Inf
1792.94/1792.94 c 1793s| 5810k|397306 | 11897k| 2.0 | 470M| 36 | - | 40 |7251 | 40 | 16 | 21 |4145k|9127 | 0.000000e+00 | -- | Inf
1796.64/1796.69 c 1797s| 5820k|397268 | 11917k| 2.0 | 470M| 36 | - | 40 |7410 | 0 | 0 | 21 |4153k|9138 | 0.000000e+00 | -- | Inf
1797.03/1797.00 c
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Solving Time (sec) : 1797.00
1797.03/1797.00 c Solving Nodes : 5821017
1797.03/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.03/1797.00 c Dual Bound : +0.00000000000000e+00
1797.03/1797.00 c Gap : infinite
1797.03/1797.00 s UNKNOWN
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Total Time : 1797.00
1797.03/1797.00 c solving : 1797.00
1797.03/1797.00 c presolving : 0.00 (included in solving)
1797.03/1797.00 c reading : 0.00 (included in solving)
1797.03/1797.00 c Original Problem :
1797.03/1797.00 c Problem name : HOME/instance-3485339-1307772794.opb
1797.03/1797.00 c Variables : 41 (41 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 11 initial, 11 maximal
1797.03/1797.00 c Presolved Problem :
1797.03/1797.00 c Problem name : t_HOME/instance-3485339-1307772794.opb
1797.03/1797.00 c Variables : 40 (40 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 5 initial, 16054 maximal
1797.03/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.03/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c dualfix : 0.00 1 0 0 0 0 0 0 0 0
1797.03/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c linear : 0.00 0 0 0 0 0 6 0 0 0
1797.03/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c root node : - 0 - - 0 - - - - -
1797.03/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.03/1797.00 c integral : 0 0 0 3267517 0 4 0 1252 4627 0 0 6524024
1797.03/1797.00 c linear : 5+ 7 14930095 0 1 3 6926177 638669 7797038 0 0 0
1797.03/1797.00 c logicor : 0+ 6 7319963 0 0 0 5527948 39523 2819179 0 0 0
1797.03/1797.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1797.03/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.03/1797.00 c integral : 19.96 0.00 0.00 19.96 0.00 0.00 0.00
1797.03/1797.00 c linear : 111.23 0.00 96.83 0.00 0.00 0.00 14.40
1797.03/1797.00 c logicor : 528.73 0.00 521.74 0.00 0.00 0.00 6.99
1797.03/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.03/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.03/1797.00 c vbounds : 0 0 0 0
1797.03/1797.00 c rootredcost : 0 0 0 0
1797.03/1797.00 c pseudoobj : 0 0 0 0
1797.03/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.03/1797.00 c vbounds : 2.22 2.22 0.00
1797.03/1797.00 c rootredcost : 2.30 2.30 0.00
1797.03/1797.00 c pseudoobj : 1.75 1.75 0.00
1797.03/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.03/1797.00 c propagation : 20.52 678192 522984 1545678 28.1 250 24.9 -
1797.03/1797.00 c infeasible LP : 57.63 2149803 2149673 4294282 19.9 38825 24.7 0
1797.03/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.00 c applied globally : - - - 4132746 19.6 - - -
1797.03/1797.00 c applied locally : - - - 21279 31.4 - - -
1797.03/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.03/1797.00 c cut pool : 0.00 5 - - 20 - (maximal pool size: 97)
1797.03/1797.00 c redcost : 3.18 3267522 0 0 0 0
1797.03/1797.00 c impliedbounds : 0.00 6 0 0 0 0
1797.03/1797.00 c intobj : 0.00 0 0 0 0 0
1797.03/1797.00 c gomory : 0.00 6 0 0 2 0
1797.03/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.03/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.03/1797.00 c strongcg : 0.00 6 0 0 47 0
1797.03/1797.00 c cmir : 0.01 6 0 0 34 0
1797.03/1797.00 c flowcover : 0.01 6 0 0 36 0
1797.03/1797.00 c clique : 0.00 1 0 0 0 0
1797.03/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.03/1797.00 c mcf : 0.00 1 0 0 0 0
1797.03/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.03/1797.00 c rapidlearning : 0.01 1 0 0 0 13
1797.03/1797.00 c Pricers : Time Calls Vars
1797.03/1797.00 c problem variables: 0.00 0 0
1797.03/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.03/1797.00 c relpscost : 17.99 3267517 1252 4627 0 0 6524024
1797.03/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.03/1797.00 c inference : 0.00 1 0 0 0 0 2
1797.03/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c random : 0.00 0 0 0 0 0 0
1797.03/1797.00 c Primal Heuristics : Time Calls Found
1797.03/1797.00 c LP solutions : 0.00 - 0
1797.03/1797.00 c pseudo solutions : 0.00 - 0
1797.03/1797.00 c oneopt : 1.74 0 0
1797.03/1797.00 c crossover : 1.08 0 0
1797.03/1797.00 c guideddiving : 0.20 0 0
1797.03/1797.00 c pscostdiving : 0.21 144 0
1797.03/1797.00 c fracdiving : 0.19 144 0
1797.03/1797.00 c veclendiving : 0.20 144 0
1797.03/1797.00 c feaspump : 0.16 72 0
1797.03/1797.00 c linesearchdiving : 0.20 145 0
1797.03/1797.00 c coefdiving : 0.19 145 0
1797.03/1797.00 c objpscostdiving : 0.16 73 0
1797.03/1797.00 c rootsoldiving : 0.19 73 0
1797.03/1797.00 c trivial : 0.00 2 0
1797.03/1797.00 c shiftandpropagate: 0.00 1 0
1797.03/1797.00 c simplerounding : 0.64 0 0
1797.03/1797.00 c zirounding : 8.12 0 0
1797.03/1797.00 c rounding : 1.26 25643 0
1797.03/1797.00 c shifting : 1.76 7222 0
1797.03/1797.00 c intshifting : 0.08 0 0
1797.03/1797.00 c twoopt : 0.00 0 0
1797.03/1797.00 c fixandinfer : 0.00 0 0
1797.03/1797.00 c clique : 0.00 0 0
1797.03/1797.00 c intdiving : 0.00 0 0
1797.03/1797.00 c actconsdiving : 0.00 0 0
1797.03/1797.00 c octane : 0.00 0 0
1797.03/1797.00 c rens : 0.03 1 0
1797.03/1797.00 c rins : 0.00 0 0
1797.03/1797.00 c localbranching : 0.00 0 0
1797.03/1797.00 c mutation : 0.00 0 0
1797.03/1797.00 c dins : 0.00 0 0
1797.03/1797.00 c vbounds : 0.00 0 0
1797.03/1797.00 c undercover : 0.00 0 0
1797.03/1797.00 c subnlp : 0.79 0 0
1797.03/1797.00 c trysol : 1.02 0 0
1797.03/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.03/1797.00 c primal LP : 0.00 0 0 0.00 -
1797.03/1797.00 c dual LP : 256.52 5189339 11914747 2.30 46448.16
1797.03/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.03/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.03/1797.00 c diving/probing LP: 0.14 2525 4643 1.84 32697.87
1797.03/1797.00 c strong branching : 0.86 9138 41480 4.54 48159.87
1797.03/1797.00 c (at root node) : - 12 358 29.83 -
1797.03/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.03/1797.00 c B&B Tree :
1797.03/1797.00 c number of runs : 1
1797.03/1797.00 c nodes : 5821017
1797.03/1797.00 c nodes (total) : 5821017
1797.03/1797.00 c nodes left : 397311
1797.03/1797.00 c max depth : 36
1797.03/1797.00 c max depth (total): 36
1797.03/1797.00 c backtracks : 1380765 (23.7%)
1797.03/1797.00 c delayed cutoffs : 305699
1797.03/1797.00 c repropagations : 4909101 (5063214 domain reductions, 268458 cutoffs)
1797.03/1797.00 c avg switch length: 5.83
1797.03/1797.00 c switching time : 496.81
1797.03/1797.00 c Solution :
1797.03/1797.00 c Solutions found : 0 (0 improvements)
1797.03/1797.00 c Primal Bound : -
1797.03/1797.00 c Dual Bound : +0.00000000000000e+00
1797.03/1797.00 c Gap : infinite
1797.03/1797.00 c Root Dual Bound : +0.00000000000000e+00
1797.03/1797.00 c Root Iterations : 124
1798.63/1798.70 c Time complete: 1798.74.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3485339-1307772794/watcher-3485339-1307772794 -o /tmp/evaluation-result-3485339-1307772794/solver-3485339-1307772794 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485339-1307772794.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.00 2.00 1.95 2/177 20146
/proc/meminfo: memFree=31782972/32951124 swapFree=67055708/67111528
[pid=20146] ppid=20144 vsize=15828 CPUtime=0 cores=0,2,4,6
/proc/20146/stat : 20146 (scip-2.0.1.4_2.) R 20144 20146 17032 0 -1 4202496 2534 0 0 0 0 0 0 0 25 0 1 0 621470662 16207872 2489 33554432000 4194304 8979876 140737142186640 18446744073709551615 7836189 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20146/statm: 3957 2501 487 1169 0 2784 0
[startup+0.011902 s]
/proc/loadavg: 2.00 2.00 1.95 2/177 20146
/proc/meminfo: memFree=31782972/32951124 swapFree=67055708/67111528
[pid=20146] ppid=20144 vsize=16916 CPUtime=0.01 cores=0,2,4,6
/proc/20146/stat : 20146 (scip-2.0.1.4_2.) R 20144 20146 17032 0 -1 4202496 3413 0 0 0 1 0 0 0 25 0 1 0 621470662 17321984 3111 33554432000 4194304 8979876 140737142186640 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20146/statm: 4229 3111 638 1169 0 3056 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16916
[startup+0.100911 s]
/proc/loadavg: 2.00 2.00 1.95 2/177 20146
/proc/meminfo: memFree=31782972/32951124 swapFree=67055708/67111528
[pid=20146] ppid=20144 vsize=27128 CPUtime=0.09 cores=0,2,4,6
/proc/20146/stat : 20146 (scip-2.0.1.4_2.) R 20144 20146 17032 0 -1 4202496 6061 0 0 0 9 0 0 0 25 0 1 0 621470662 27779072 5406 33554432000 4194304 8979876 140737142186640 18446744073709551615 4786285 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20146/statm: 6782 5406 700 1169 0 5609 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27128
[startup+0.300876 s]
/proc/loadavg: 2.00 2.00 1.95 2/177 20146
/proc/meminfo: memFree=31782972/32951124 swapFree=67055708/67111528
[pid=20146] ppid=20144 vsize=27128 CPUtime=0.29 cores=0,2,4,6
/proc/20146/stat : 20146 (scip-2.0.1.4_2.) R 20144 20146 17032 0 -1 4202496 6066 0 0 0 28 1 0 0 25 0 1 0 621470662 27779072 5411 33554432000 4194304 8979876 140737142186640 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20146/statm: 6782 5411 704 1169 0 5609 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27128
[startup+0.7008 s]
/proc/loadavg: 2.00 2.00 1.95 2/177 20146
/proc/meminfo: memFree=31782972/32951124 swapFree=67055708/67111528
[pid=20146] ppid=20144 vsize=27128 CPUtime=0.69 cores=0,2,4,6
/proc/20146/stat : 20146 (scip-2.0.1.4_2.) R 20144 20146 17032 0 -1 4202496 6069 0 0 0 67 2 0 0 25 0 1 0 621470662 27779072 5414 33554432000 4194304 8979876 140737142186640 18446744073709551615 4455392 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20146/statm: 6782 5414 704 1169 0 5609 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27128
[startup+1.50065 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 20147
/proc/meminfo: memFree=31764136/32951124 swapFree=67055708/67111528
[pid=20146] ppid=20144 vsize=27128 CPUtime=1.49 cores=0,2,4,6
/proc/20146/stat : 20146 (scip-2.0.1.4_2.) R 20144 20146 17032 0 -1 4202496 6073 0 0 0 145 4 0 0 25 0 1 0 621470662 27779072 5418 33554432000 4194304 8979876 140737142186640 18446744073709551615 5381765 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20146/statm: 6782 5418 704 1169 0 5609 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27128
[startup+3.10039 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 20147
/proc/meminfo: memFree=31763516/32951124 swapFree=67055708/67111528
[pid=20146] ppid=20144 vsize=27128 CPUtime=3.09 cores=0,2,4,6
/proc/20146/stat : 20146 (scip-2.0.1.4_2.) R 20144 20146 17032 0 -1 4202496 6081 0 0 0 300 9 0 0 25 0 1 0 621470662 27779072 5426 33554432000 4194304 8979876 140737142186640 18446744073709551615 5908870 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20146/statm: 6782 5426 704 1169 0 5609 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27128
[startup+6.30083 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 20147
/proc/meminfo: memFree=31761292/32951124 swapFree=67055708/67111528
[pid=20146] ppid=20144 vsize=27128 CPUtime=6.29 cores=0,2,4,6
/proc/20146/stat : 20146 (scip-2.0.1.4_2.) R 20144 20146 17032 0 -1 4202496 6282 0 0 0 615 14 0 0 25 0 1 0 621470662 27779072 5627 33554432000 4194304 8979876 140737142186640 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20146/statm: 6782 5627 704 1169 0 5609 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27128
[startup+12.7007 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 20148
/proc/meminfo: memFree=31755208/32951124 swapFree=67055708/67111528
[pid=20146] ppid=20144 vsize=33128 CPUtime=12.69 cores=0,2,4,6
/proc/20146/stat : 20146 (scip-2.0.1.4_2.) R 20144 20146 17032 0 -1 4202496 7893 0 0 0 1241 28 0 0 25 0 1 0 621470662 33923072 7238 33554432000 4194304 8979876 140737142186640 18446744073709551615 4318845 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20146/statm: 8282 7238 704 1169 0 7109 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33128
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 20148
/proc/meminfo: memFree=31744396/32951124 swapFree=67055708/67111528
[pid=20146] ppid=20144 vsize=42220 CPUtime=25.49 cores=0,2,4,6
/proc/20146/stat : 20146 (scip-2.0.1.4_2.) R 20144 20146 17032 0 -1 4202496 10212 0 0 0 2491 58 0 0 25 0 1 0 621470662 43233280 9557 33554432000 4194304 8979876 140737142186640 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20146/statm: 10555 9557 704 1169 0 9382 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 42220
[startup+51.1009 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 20149
/proc/meminfo: memFree=31724692/32951124 swapFree=67055708/67111528
[pid=20146] ppid=20144 vsize=60420 CPUtime=51.09 cores=0,2,4,6
/proc/20146/stat : 20146 (scip-2.0.1.4_2.) R 20144 20146 17032 0 -1 4202496 14762 0 0 0 5001 108 0 0 25 0 1 0 621470662 61870080 14107 33554432000 4194304 8979876 140737142186640 18446744073709551615 4689312 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20146/statm: 15105 14107 704 1169 0 13932 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 60420
[startup+102.306 s]
/proc/loadavg: 2.07 2.02 1.96 3/178 20150
/proc/meminfo: memFree=31691148/32951124 swapFree=67055708/67111528
[pid=20146] ppid=20144 vsize=92756 CPUtime=102.29 cores=0,2,4,6
/proc/20146/stat : 20146 (scip-2.0.1.4_2.) R 20144 20146 17032 0 -1 4202496 22337 0 0 0 10021 208 0 0 25 0 1 0 621470662 94982144 21682 33554432000 4194304 8979876 140737142186640 18446744073709551615 4291188 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20146/statm: 23189 21682 704 1169 0 22016 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 92756
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/178 20190
/proc/meminfo: memFree=31852764/32951124 swapFree=67055708/67111528
[pid=20146] ppid=20144 vsize=121488 CPUtime=162.29 cores=0,2,4,6
/proc/20146/stat : 20146 (scip-2.0.1.4_2.) R 20144 20146 17032 0 -1 4202496 29533 0 0 0 15914 315 0 0 25 0 1 0 621470662 124403712 28878 33554432000 4194304 8979876 140737142186640 18446744073709551615 4330758 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20146/statm: 30372 28878 704 1169 0 29199 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 121488
[startup+222.301 s]
/proc/loadavg: 2.01 2.00 1.96 3/178 20191
/proc/meminfo: memFree=31751336/32951124 swapFree=67055708/67111528
[pid=20146] ppid=20144 vsize=142988 CPUtime=222.29 cores=0,2,4,6
/proc/20146/stat : 20146 (scip-2.0.1.4_2.) R 20144 20146 17032 0 -1 4202496 35036 0 0 0 21811 418 0 0 25 0 1 0 621470662 146419712 34381 33554432000 4194304 8979876 140737142186640 18446744073709551615 5369301 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20146/statm: 35747 34381 704 1169 0 34574 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 142988
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20193
/proc/meminfo: memFree=31659660/32951124 swapFree=67055708/67111528
[pid=20146] ppid=20144 vsize=166336 CPUtime=282.3 cores=0,2,4,6
/proc/20146/stat : 20146 (scip-2.0.1.4_2.) R 20144 20146 17032 0 -1 4202496 40904 0 0 0 27721 509 0 0 25 0 1 0 621470662 170328064 40249 33554432000 4194304 8979876 140737142186640 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20146/statm: 41584 40249 704 1169 0 40411 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 166336
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20194
/proc/meminfo: memFree=31580972/32951124 swapFree=67055708/67111528
[pid=20146] ppid=20144 vsize=184464 CPUtime=342.3 cores=0,2,4,6
/proc/20146/stat : 20146 (scip-2.0.1.4_2.) R 20144 20146 17032 0 -1 4202496 45523 0 0 0 33624 606 0 0 25 0 1 0 621470662 188891136 44868 33554432000 4194304 8979876 140737142186640 18446744073709551615 6492567 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20146/statm: 46116 44868 704 1169 0 44943 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 184464
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20196
/proc/meminfo: memFree=31498568/32951124 swapFree=67055708/67111528
[pid=20146] ppid=20144 vsize=204272 CPUtime=402.3 cores=0,2,4,6
/proc/20146/stat : 20146 (scip-2.0.1.4_2.) R 20144 20146 17032 0 -1 4202496 50515 0 0 0 39526 704 0 0 25 0 1 0 621470662 209174528 49860 33554432000 4194304 8979876 140737142186640 18446744073709551615 5381765 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20146/statm: 51068 49860 704 1169 0 49895 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 204272
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20198
/proc/meminfo: memFree=31423976/32951124 swapFree=67055708/67111528
[pid=20146] ppid=20144 vsize=222372 CPUtime=462.3 cores=0,2,4,6
/proc/20146/stat : 20146 (scip-2.0.1.4_2.) R 20144 20146 17032 0 -1 4202496 55044 0 0 0 45434 796 0 0 25 0 1 0 621470662 227708928 54389 33554432000 4194304 8979876 140737142186640 18446744073709551615 5381809 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20146/statm: 55593 54389 704 1169 0 54420 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 222372
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20199
/proc/meminfo: memFree=31356212/32951124 swapFree=67055708/67111528
[pid=20146] ppid=20144 vsize=240652 CPUtime=522.31 cores=0,2,4,6
/proc/20146/stat : 20146 (scip-2.0.1.4_2.) R 20144 20146 17032 0 -1 4202496 58645 0 0 0 51340 891 0 0 25 0 1 0 621470662 246427648 57990 33554432000 4194304 8979876 140737142186640 18446744073709551615 4347632 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20146/statm: 60163 57990 704 1169 0 58990 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 240652
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20201
/proc/meminfo: memFree=31276916/32951124 swapFree=67055708/67111528
[pid=20146] ppid=20144 vsize=258756 CPUtime=582.3 cores=0,2,4,6
/proc/20146/stat : 20146 (scip-2.0.1.4_2.) R 20144 20146 17032 0 -1 4202496 63177 0 0 0 57238 992 0 0 25 0 1 0 621470662 264966144 62522 33554432000 4194304 8979876 140737142186640 18446744073709551615 6492544 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20146/statm: 64689 62522 704 1169 0 63516 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 258756
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=30765488/32951124 swapFree=67055708/67111528
[pid=20146] ppid=20144 vsize=370592 CPUtime=1062.32 cores=0,2,4,6
/proc/20146/stat : 20146 (scip-2.0.1.4_2.) R 20144 20146 17032 0 -1 4202496 91490 0 0 0 104588 1644 0 0 25 0 1 0 621470662 379486208 90835 33554432000 4194304 8979876 140737142186640 18446744073709551615 4978169 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20146/statm: 92648 90835 704 1169 0 91475 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 370592
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20215
/proc/meminfo: memFree=30708508/32951124 swapFree=67055708/67111528
[pid=20146] ppid=20144 vsize=379556 CPUtime=1122.31 cores=0,2,4,6
/proc/20146/stat : 20146 (scip-2.0.1.4_2.) R 20144 20146 17032 0 -1 4202496 93774 0 0 0 110516 1715 0 0 25 0 1 0 621470662 388665344 93119 33554432000 4194304 8979876 140737142186640 18446744073709551615 6450775 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20146/statm: 94889 93119 704 1169 0 93716 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 379556
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20217
/proc/meminfo: memFree=30654516/32951124 swapFree=67055708/67111528
[pid=20146] ppid=20144 vsize=388324 CPUtime=1182.32 cores=0,2,4,6
/proc/20146/stat : 20146 (scip-2.0.1.4_2.) R 20144 20146 17032 0 -1 4202496 96007 0 0 0 116437 1795 0 0 25 0 1 0 621470662 397643776 95352 33554432000 4194304 8979876 140737142186640 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20146/statm: 97081 95352 704 1169 0 95908 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 388324
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20218
/proc/meminfo: memFree=30601248/32951124 swapFree=67055708/67111528
[pid=20146] ppid=20144 vsize=396404 CPUtime=1242.32 cores=0,2,4,6
/proc/20146/stat : 20146 (scip-2.0.1.4_2.) R 20144 20146 17032 0 -1 4202496 98069 0 0 0 122355 1877 0 0 25 0 1 0 621470662 405917696 97414 33554432000 4194304 8979876 140737142186640 18446744073709551615 4347574 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20146/statm: 99101 97414 704 1169 0 97928 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 396404
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20220
/proc/meminfo: memFree=30543136/32951124 swapFree=67055708/67111528
[pid=20146] ppid=20144 vsize=408408 CPUtime=1302.33 cores=0,2,4,6
/proc/20146/stat : 20146 (scip-2.0.1.4_2.) R 20144 20146 17032 0 -1 4202496 100967 0 0 0 128271 1962 0 0 25 0 1 0 621470662 418209792 100312 33554432000 4194304 8979876 140737142186640 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20146/statm: 102102 100312 704 1169 0 100929 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 408408
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20222
/proc/meminfo: memFree=30491000/32951124 swapFree=67055708/67111528
[pid=20146] ppid=20144 vsize=419656 CPUtime=1362.32 cores=0,2,4,6
/proc/20146/stat : 20146 (scip-2.0.1.4_2.) R 20144 20146 17032 0 -1 4202496 103829 0 0 0 134188 2044 0 0 25 0 1 0 621470662 429727744 103174 33554432000 4194304 8979876 140737142186640 18446744073709551615 4990027 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20146/statm: 104914 103174 704 1169 0 103741 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 419656
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20223
/proc/meminfo: memFree=30431660/32951124 swapFree=67055708/67111528
[pid=20146] ppid=20144 vsize=435276 CPUtime=1422.33 cores=0,2,4,6
/proc/20146/stat : 20146 (scip-2.0.1.4_2.) R 20144 20146 17032 0 -1 4202496 107841 0 0 0 140102 2131 0 0 25 0 1 0 621470662 445722624 107186 33554432000 4194304 8979876 140737142186640 18446744073709551615 5381809 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20146/statm: 108819 107186 704 1169 0 107646 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 435276
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20225
/proc/meminfo: memFree=30372204/32951124 swapFree=67055708/67111528
[pid=20146] ppid=20144 vsize=447572 CPUtime=1482.33 cores=0,2,4,6
/proc/20146/stat : 20146 (scip-2.0.1.4_2.) R 20144 20146 17032 0 -1 4202496 110973 0 0 0 146018 2215 0 0 25 0 1 0 621470662 458313728 110318 33554432000 4194304 8979876 140737142186640 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20146/statm: 111893 110318 704 1169 0 110720 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 447572
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20226
/proc/meminfo: memFree=30316584/32951124 swapFree=67055708/67111528
[pid=20146] ppid=20144 vsize=461144 CPUtime=1542.33 cores=0,2,4,6
/proc/20146/stat : 20146 (scip-2.0.1.4_2.) R 20144 20146 17032 0 -1 4202496 114396 0 0 0 151941 2292 0 0 25 0 1 0 621470662 472211456 113741 33554432000 4194304 8979876 140737142186640 18446744073709551615 4687306 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20146/statm: 115286 113741 704 1169 0 114113 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 461144
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20228
/proc/meminfo: memFree=30264692/32951124 swapFree=67055708/67111528
[pid=20146] ppid=20144 vsize=469264 CPUtime=1602.33 cores=0,2,4,6
/proc/20146/stat : 20146 (scip-2.0.1.4_2.) R 20144 20146 17032 0 -1 4202496 116307 0 0 0 157864 2369 0 0 25 0 1 0 621470662 480526336 115652 33554432000 4194304 8979876 140737142186640 18446744073709551615 5381809 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20146/statm: 117316 115652 704 1169 0 116143 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 469264
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20230
/proc/meminfo: memFree=30209932/32951124 swapFree=67055708/67111528
[pid=20146] ppid=20144 vsize=480400 CPUtime=1662.33 cores=0,2,4,6
/proc/20146/stat : 20146 (scip-2.0.1.4_2.) R 20144 20146 17032 0 -1 4202496 119156 0 0 0 163784 2449 0 0 25 0 1 0 621470662 491929600 118501 33554432000 4194304 8979876 140737142186640 18446744073709551615 5381809 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20146/statm: 120100 118501 704 1169 0 118927 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 480400
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20231
/proc/meminfo: memFree=30145756/32951124 swapFree=67055708/67111528
[pid=20146] ppid=20144 vsize=499196 CPUtime=1722.33 cores=0,2,4,6
/proc/20146/stat : 20146 (scip-2.0.1.4_2.) R 20144 20146 17032 0 -1 4202496 123922 0 0 0 169708 2525 0 0 25 0 1 0 621470662 511176704 123267 33554432000 4194304 8979876 140737142186640 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20146/statm: 124799 123267 704 1169 0 123626 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 499196
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20233
/proc/meminfo: memFree=30099312/32951124 swapFree=67055708/67111528
[pid=20146] ppid=20144 vsize=506876 CPUtime=1782.33 cores=0,2,4,6
/proc/20146/stat : 20146 (scip-2.0.1.4_2.) R 20144 20146 17032 0 -1 4202496 125924 0 0 0 175636 2597 0 0 25 0 1 0 621470662 519041024 125269 33554432000 4194304 8979876 140737142186640 18446744073709551615 6492544 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20146/statm: 126719 125269 704 1169 0 125546 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 506876
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20233
/proc/meminfo: memFree=30090624/32951124 swapFree=67055708/67111528
[pid=20146] ppid=20144 vsize=507836 CPUtime=1791.94 cores=0,2,4,6
/proc/20146/stat : 20146 (scip-2.0.1.4_2.) R 20144 20146 17032 0 -1 4202496 126132 0 0 0 176584 2610 0 0 25 0 1 0 621470662 520024064 125477 33554432000 4194304 8979876 140737142186640 18446744073709551615 6449018 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20146/statm: 126959 125477 704 1169 0 125786 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 507836
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20233
/proc/meminfo: memFree=30089120/32951124 swapFree=67055708/67111528
[pid=20146] ppid=20144 vsize=507836 CPUtime=1795.14 cores=0,2,4,6
/proc/20146/stat : 20146 (scip-2.0.1.4_2.) R 20144 20146 17032 0 -1 4202496 126132 0 0 0 176899 2615 0 0 25 0 1 0 621470662 520024064 125477 33554432000 4194304 8979876 140737142186640 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20146/statm: 126959 125477 704 1169 0 125786 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 507836
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20233
/proc/meminfo: memFree=30088624/32951124 swapFree=67055708/67111528
[pid=20146] ppid=20144 vsize=507836 CPUtime=1796.74 cores=0,2,4,6
/proc/20146/stat : 20146 (scip-2.0.1.4_2.) R 20144 20146 17032 0 -1 4202496 126132 0 0 0 177058 2616 0 0 25 0 1 0 621470662 520024064 125477 33554432000 4194304 8979876 140737142186640 18446744073709551615 18446744073699065947 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20146/statm: 126959 125477 704 1169 0 125786 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 507836
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20233
/proc/meminfo: memFree=30088128/32951124 swapFree=67055708/67111528
[pid=20146] ppid=20144 vsize=507836 CPUtime=1797.53 cores=0,2,4,6
/proc/20146/stat : 20146 (scip-2.0.1.4_2.) R 20144 20146 17032 0 -1 4202496 126135 0 0 0 177137 2616 0 0 18 0 1 0 621470662 520024064 125480 33554432000 4194304 8979876 140737142186640 18446744073709551615 6778247 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20146/statm: 126959 125480 707 1169 0 125786 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 507836
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20233
/proc/meminfo: memFree=30088128/32951124 swapFree=67055708/67111528
[pid=20146] ppid=20144 vsize=507836 CPUtime=1798.33 cores=0,2,4,6
/proc/20146/stat : 20146 (scip-2.0.1.4_2.) R 20144 20146 17032 0 -1 4202496 126135 0 0 0 177217 2616 0 0 19 0 1 0 621470662 520024064 125480 33554432000 4194304 8979876 140737142186640 18446744073709551615 4329585 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20146/statm: 126959 125480 707 1169 0 125786 0
Current children cumulated CPU time (s) 1798.33
Current children cumulated vsize (KiB) 507836
[startup+1798.7 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20233
/proc/meminfo: memFree=30087756/32951124 swapFree=67055708/67111528
[pid=20146] ppid=20144 vsize=0 CPUtime=1798.74 cores=0,2,4,6
/proc/20146/stat : 20146 (scip-2.0.1.4_2.) S 20144 20146 17032 0 -1 4202500 126140 0 0 0 177255 2619 0 0 20 0 1 0 621470662 0 0 33554432000 0 0 0 0 0 0 2147483391 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/20146/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.74
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1798.7
CPU time (s): 1798.74
CPU user time (s): 1772.55
CPU system time (s): 26.19
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 507836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1772.55
system time used= 26.19
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126140
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= 22557
runsolver used 2.71759 second user time and 5.51116 second system time
The end