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-3485342-1307773895.opb>
0.00/0.00 c original problem has 51 variables (51 bin, 0 int, 0 impl, 0 cont) and 13 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c presolving:
0.00/0.00 c (round 1) 1 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.00 c (round 2) 1 del vars, 7 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.00 c presolving (3 rounds):
0.00/0.00 c 1 deleted vars, 7 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.00 c 0 implications, 0 cliques
0.00/0.00 c presolved problem has 50 variables (50 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.00/0.00 c 6 constraints of type <linear>
0.00/0.00 c transformed objective value is always integral (scale: 1)
0.00/0.00 c Presolving Time: 0.00
0.00/0.00 c - non default parameters ----------------------------------------------------------------------
0.00/0.00 c # SCIP version 2.0.1.4
0.00/0.00 c
0.00/0.00 c # frequency for displaying node information lines
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.00 c display/freq = 10000
0.00/0.00 c
0.00/0.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.01 c
0.00/0.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.01 c 0.0s| 1 | 0 | 36 | - | 291k| 0 | 6 | 50 | 15 | 50 | 6 | 0 | 9 | 0 | 0.000000e+00 | -- | Inf
0.00/0.02 c 0.0s| 1 | 0 | 125 | - | 319k| 0 | 9 | 50 | 15 | 50 | 10 | 4 | 9 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 130 | - | 351k| 0 | 12 | 50 | 15 | 50 | 14 | 8 | 9 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 144 | - | 368k| 0 | 14 | 50 | 15 | 50 | 18 | 12 | 9 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 150 | - | 381k| 0 | 15 | 50 | 15 | 50 | 20 | 14 | 9 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 159 | - | 388k| 0 | 14 | 50 | 15 | 50 | 23 | 17 | 9 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 162 | - | 397k| 0 | 15 | 50 | 15 | 50 | 25 | 19 | 9 | 0 | 0.000000e+00 | -- | Inf
0.00/0.06 c 0.1s| 1 | 2 | 162 | - | 398k| 0 | 15 | 50 | 15 | 50 | 25 | 19 | 9 | 9 | 0.000000e+00 | -- | Inf
1.49/1.55 c 1.6s| 10000 | 3599 | 25577 | 2.5 |4010k| 44 | 6 | 50 |3054 | 50 | 15 | 19 |4705 | 492 | 0.000000e+00 | -- | Inf
2.99/3.03 c 3.0s| 20000 | 6637 | 50997 | 2.5 |6088k| 44 | - | 50 |2405 | 50 | 15 | 19 |9831 | 660 | 0.000000e+00 | -- | Inf
4.40/4.48 c 4.5s| 30000 | 9422 | 76496 | 2.5 |8470k| 44 | - | 50 |3445 | 50 | 15 | 19 | 15k| 784 | 0.000000e+00 | -- | Inf
5.99/6.02 c 6.0s| 40000 | 12058 |101951 | 2.5 | 10M| 44 | - | 50 |3291 | 50 | 15 | 19 | 20k| 903 | 0.000000e+00 | -- | Inf
7.39/7.46 c 7.5s| 50000 | 15308 |126603 | 2.5 | 13M| 44 | 6 | 50 |4151 | 50 | 15 | 19 | 25k| 989 | 0.000000e+00 | -- | Inf
8.89/8.94 c 8.9s| 60000 | 18400 |150519 | 2.5 | 15M| 44 | - | 50 |4339 | 50 | 15 | 19 | 30k|1047 | 0.000000e+00 | -- | Inf
10.39/10.48 c 10.5s| 70000 | 21289 |175197 | 2.5 | 17M| 44 | 6 | 50 |4058 | 50 | 15 | 19 | 35k|1115 | 0.000000e+00 | -- | Inf
12.00/12.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.00/12.03 c 12.0s| 80000 | 24064 |199108 | 2.5 | 19M| 44 | 6 | 50 |4414 | 50 | 15 | 19 | 40k|1171 | 0.000000e+00 | -- | Inf
13.49/13.54 c 13.5s| 90000 | 26950 |223357 | 2.5 | 21M| 44 | 6 | 50 |5223 | 50 | 15 | 19 | 45k|1220 | 0.000000e+00 | -- | Inf
15.09/15.18 c 15.2s|100000 | 29643 |247389 | 2.5 | 23M| 44 | - | 50 |4582 | 0 | 0 | 19 | 50k|1257 | 0.000000e+00 | -- | Inf
16.59/16.65 c 16.7s|110000 | 32797 |271563 | 2.5 | 26M| 44 | 6 | 50 |5906 | 50 | 15 | 19 | 55k|1305 | 0.000000e+00 | -- | Inf
18.19/18.29 c 18.3s|120000 | 35643 |295920 | 2.5 | 28M| 44 | 6 | 50 |5556 | 50 | 15 | 19 | 60k|1346 | 0.000000e+00 | -- | Inf
20.00/20.01 c 20.0s|130000 | 38251 |320248 | 2.5 | 30M| 44 | - | 50 |5103 | 50 | 15 | 19 | 66k|1397 | 0.000000e+00 | -- | Inf
21.69/21.73 c 21.7s|140000 | 40637 |345203 | 2.5 | 32M| 44 | 6 | 50 |5250 | 50 | 15 | 19 | 71k|1444 | 0.000000e+00 | -- | Inf
23.29/23.32 c 23.3s|150000 | 43311 |369299 | 2.5 | 34M| 44 | - | 50 |6318 | 50 | 15 | 19 | 77k|1485 | 0.000000e+00 | -- | Inf
24.99/25.08 c 25.1s|160000 | 45961 |393282 | 2.5 | 36M| 44 | 6 | 50 |5127 | 50 | 15 | 19 | 82k|1530 | 0.000000e+00 | -- | Inf
26.79/26.85 c 26.9s|170000 | 48377 |417748 | 2.5 | 38M| 44 | - | 50 |5173 | 50 | 15 | 19 | 87k|1572 | 0.000000e+00 | -- | Inf
28.29/28.39 c 28.4s|180000 | 51292 |443329 | 2.5 | 41M| 44 | 6 | 50 |6995 | 50 | 15 | 19 | 92k|1612 | 0.000000e+00 | -- | Inf
30.10/30.17 c 30.2s|190000 | 53868 |467828 | 2.5 | 43M| 44 | 6 | 50 |6990 | 50 | 15 | 19 | 98k|1647 | 0.000000e+00 | -- | Inf
31.79/31.86 c 31.9s|200000 | 56531 |491801 | 2.5 | 45M| 45 | - | 50 |7690 | 50 | 15 | 19 | 103k|1690 | 0.000000e+00 | -- | Inf
33.59/33.64 c 33.6s|210000 | 58876 |516184 | 2.5 | 47M| 45 | - | 50 |6632 | 50 | 15 | 19 | 109k|1737 | 0.000000e+00 | -- | Inf
35.19/35.22 c 35.2s|220000 | 62034 |539996 | 2.5 | 49M| 45 | - | 50 |7153 | 50 | 15 | 19 | 114k|1773 | 0.000000e+00 | -- | Inf
36.89/36.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.89/36.90 c 36.9s|230000 | 65006 |563243 | 2.4 | 51M| 45 | - | 50 |7669 | 50 | 15 | 19 | 119k|1800 | 0.000000e+00 | -- | Inf
38.59/38.66 c 38.7s|240000 | 67703 |586240 | 2.4 | 54M| 45 | - | 50 |7482 | 50 | 15 | 19 | 124k|1839 | 0.000000e+00 | -- | Inf
40.40/40.42 c 40.4s|250000 | 70167 |610761 | 2.4 | 55M| 45 | - | 50 |6397 | 50 | 15 | 19 | 129k|1874 | 0.000000e+00 | -- | Inf
42.09/42.16 c 42.2s|260000 | 72721 |634340 | 2.4 | 57M| 45 | 6 | 50 |6408 | 50 | 15 | 19 | 135k|1916 | 0.000000e+00 | -- | Inf
43.79/43.84 c 43.8s|270000 | 75509 |657181 | 2.4 | 59M| 45 | 6 | 50 |6783 | 50 | 15 | 19 | 140k|1936 | 0.000000e+00 | -- | Inf
45.69/45.71 c 45.7s|280000 | 77909 |681197 | 2.4 | 61M| 45 | 6 | 50 |5296 | 50 | 15 | 19 | 145k|1950 | 0.000000e+00 | -- | Inf
47.30/47.39 c 47.4s|290000 | 80258 |704868 | 2.4 | 63M| 45 | 6 | 50 |6141 | 50 | 15 | 19 | 151k|1983 | 0.000000e+00 | -- | Inf
49.19/49.21 c 49.2s|300000 | 82585 |728812 | 2.4 | 65M| 45 | 6 | 50 |5032 | 50 | 15 | 19 | 156k|2022 | 0.000000e+00 | -- | Inf
50.79/50.85 c 50.9s|310000 | 85089 |753286 | 2.4 | 67M| 45 | 6 | 50 |6092 | 50 | 15 | 19 | 162k|2042 | 0.000000e+00 | -- | Inf
52.59/52.61 c 52.6s|320000 | 87475 |777293 | 2.4 | 69M| 45 | 6 | 50 |5762 | 50 | 15 | 19 | 167k|2073 | 0.000000e+00 | -- | Inf
54.29/54.37 c 54.4s|330000 | 89872 |800498 | 2.4 | 71M| 45 | 6 | 50 |5599 | 50 | 15 | 19 | 172k|2093 | 0.000000e+00 | -- | Inf
56.09/56.14 c 56.1s|340000 | 92291 |823725 | 2.4 | 73M| 45 | 6 | 50 |5168 | 50 | 15 | 19 | 178k|2120 | 0.000000e+00 | -- | Inf
57.69/57.71 c 57.7s|350000 | 95088 |847792 | 2.4 | 75M| 45 | - | 50 |6879 | 0 | 0 | 19 | 183k|2144 | 0.000000e+00 | -- | Inf
59.50/59.58 c 59.6s|360000 | 97413 |872299 | 2.4 | 77M| 45 | - | 50 |6696 | 50 | 15 | 19 | 189k|2172 | 0.000000e+00 | -- | Inf
61.49/61.51 c 61.5s|370000 | 99387 |896820 | 2.4 | 79M| 45 | 6 | 50 |5959 | 50 | 15 | 19 | 194k|2207 | 0.000000e+00 | -- | Inf
63.10/63.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
63.10/63.17 c 63.2s|380000 |101778 |922178 | 2.4 | 81M| 45 | - | 50 |8231 | 50 | 15 | 19 | 200k|2246 | 0.000000e+00 | -- | Inf
64.80/64.89 c 64.9s|390000 |104212 |946490 | 2.4 | 84M| 45 | 6 | 50 |9916 | 50 | 15 | 19 | 205k|2276 | 0.000000e+00 | -- | Inf
66.89/66.90 c 66.9s|400000 |106547 |970600 | 2.4 | 85M| 45 | 6 | 50 |7501 | 50 | 15 | 19 | 211k|2307 | 0.000000e+00 | -- | Inf
68.69/68.73 c 68.7s|410000 |108974 |994118 | 2.4 | 87M| 45 | 6 | 50 |7300 | 50 | 15 | 19 | 216k|2334 | 0.000000e+00 | -- | Inf
70.49/70.53 c 70.5s|420000 |111516 | 1018k| 2.4 | 89M| 45 | - | 50 |7367 | 50 | 15 | 19 | 222k|2363 | 0.000000e+00 | -- | Inf
72.40/72.41 c 72.4s|430000 |113760 | 1042k| 2.4 | 91M| 45 | 6 | 50 |6718 | 50 | 15 | 19 | 227k|2388 | 0.000000e+00 | -- | Inf
74.19/74.21 c 74.2s|440000 |116119 | 1066k| 2.4 | 93M| 45 | - | 50 |7380 | 50 | 15 | 19 | 233k|2415 | 0.000000e+00 | -- | Inf
75.80/75.83 c 75.8s|450000 |119138 | 1090k| 2.4 | 95M| 45 | 6 | 50 |8924 | 50 | 15 | 19 | 238k|2437 | 0.000000e+00 | -- | Inf
77.59/77.69 c 77.7s|460000 |121621 | 1113k| 2.4 | 97M| 45 | 6 | 50 |9980 | 50 | 15 | 19 | 243k|2462 | 0.000000e+00 | -- | Inf
79.69/79.77 c 79.8s|470000 |123856 | 1136k| 2.4 | 99M| 45 | - | 50 |7372 | 50 | 15 | 19 | 249k|2482 | 0.000000e+00 | -- | Inf
81.69/81.71 c 81.7s|480000 |126030 | 1160k| 2.4 | 100M| 45 | - | 50 |6732 | 50 | 15 | 19 | 254k|2513 | 0.000000e+00 | -- | Inf
83.59/83.60 c 83.6s|490000 |128160 | 1184k| 2.4 | 102M| 45 | 6 | 50 |6959 | 50 | 15 | 19 | 260k|2537 | 0.000000e+00 | -- | Inf
85.29/85.37 c 85.4s|500000 |130466 | 1208k| 2.4 | 105M| 45 | 6 | 50 |7617 | 50 | 15 | 19 | 266k|2563 | 0.000000e+00 | -- | Inf
87.29/87.31 c 87.3s|510000 |132709 | 1232k| 2.4 | 106M| 45 | 6 | 50 |7793 | 50 | 15 | 19 | 271k|2586 | 0.000000e+00 | -- | Inf
89.19/89.23 c 89.2s|520000 |134815 | 1255k| 2.4 | 108M| 45 | 6 | 50 |7958 | 50 | 15 | 19 | 277k|2606 | 0.000000e+00 | -- | Inf
91.09/91.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
91.09/91.19 c 91.2s|530000 |136889 | 1279k| 2.4 | 110M| 45 | 6 | 50 |7716 | 50 | 15 | 19 | 283k|2633 | 0.000000e+00 | -- | Inf
92.99/93.04 c 93.0s|540000 |139192 | 1302k| 2.4 | 112M| 45 | 6 | 50 |8432 | 50 | 15 | 19 | 288k|2658 | 0.000000e+00 | -- | Inf
95.10/95.12 c 95.1s|550000 |141164 | 1325k| 2.4 | 114M| 45 | 6 | 50 |5884 | 50 | 15 | 19 | 294k|2681 | 0.000000e+00 | -- | Inf
96.79/96.89 c 96.9s|560000 |143404 | 1349k| 2.4 | 116M| 45 | 6 | 50 |6230 | 50 | 15 | 19 | 300k|2699 | 0.000000e+00 | -- | Inf
98.69/98.70 c 98.7s|570000 |145730 | 1372k| 2.4 | 117M| 45 | - | 50 |6423 | 50 | 15 | 19 | 305k|2715 | 0.000000e+00 | -- | Inf
100.39/100.49 c 100s|580000 |148266 | 1396k| 2.4 | 119M| 45 | 6 | 50 |6633 | 50 | 15 | 19 | 310k|2736 | 0.000000e+00 | -- | Inf
102.09/102.20 c 102s|590000 |150861 | 1420k| 2.4 | 122M| 45 | 6 | 50 |8149 | 50 | 15 | 19 | 316k|2761 | 0.000000e+00 | -- | Inf
103.99/104.01 c 104s|600000 |153393 | 1444k| 2.4 | 124M| 45 | 6 | 50 |9793 | 50 | 15 | 19 | 321k|2783 | 0.000000e+00 | -- | Inf
105.99/106.02 c 106s|610000 |155473 | 1467k| 2.4 | 126M| 45 | 6 | 50 | 10k| 50 | 15 | 19 | 327k|2811 | 0.000000e+00 | -- | Inf
107.99/108.07 c 108s|620000 |157532 | 1490k| 2.4 | 128M| 45 | 6 | 50 | 10k| 50 | 15 | 19 | 333k|2837 | 0.000000e+00 | -- | Inf
110.19/110.23 c 110s|630000 |159563 | 1513k| 2.4 | 130M| 45 | - | 50 | 11k| 50 | 15 | 19 | 339k|2873 | 0.000000e+00 | -- | Inf
112.40/112.45 c 112s|640000 |161743 | 1537k| 2.4 | 132M| 45 | - | 50 | 11k| 50 | 15 | 19 | 344k|2891 | 0.000000e+00 | -- | Inf
114.70/114.79 c 115s|650000 |163708 | 1560k| 2.4 | 133M| 45 | 6 | 50 |8778 | 50 | 15 | 19 | 350k|2907 | 0.000000e+00 | -- | Inf
116.60/116.67 c 117s|660000 |166003 | 1583k| 2.4 | 135M| 45 | 6 | 50 |9633 | 50 | 15 | 19 | 356k|2941 | 0.000000e+00 | -- | Inf
118.90/118.92 c 119s|670000 |167961 | 1606k| 2.4 | 137M| 45 | - | 50 |7146 | 50 | 15 | 19 | 362k|2954 | 0.000000e+00 | -- | Inf
120.70/120.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
120.70/120.77 c 121s|680000 |170275 | 1629k| 2.4 | 139M| 45 | - | 50 |8512 | 0 | 0 | 19 | 367k|2968 | 0.000000e+00 | -- | Inf
122.79/122.86 c 123s|690000 |172309 | 1653k| 2.4 | 140M| 45 | 6 | 50 |6513 | 50 | 15 | 19 | 373k|2989 | 0.000000e+00 | -- | Inf
124.59/124.68 c 125s|700000 |174525 | 1676k| 2.4 | 142M| 45 | - | 50 |7704 | 50 | 15 | 19 | 378k|3005 | 0.000000e+00 | -- | Inf
126.50/126.57 c 127s|710000 |176891 | 1700k| 2.4 | 144M| 45 | 6 | 50 |7007 | 50 | 15 | 19 | 384k|3016 | 0.000000e+00 | -- | Inf
128.39/128.40 c 128s|720000 |178841 | 1724k| 2.4 | 146M| 45 | 6 | 50 |9434 | 50 | 15 | 19 | 390k|3039 | 0.000000e+00 | -- | Inf
130.49/130.56 c 131s|730000 |180959 | 1747k| 2.4 | 148M| 45 | - | 50 |7235 | 50 | 15 | 19 | 395k|3056 | 0.000000e+00 | -- | Inf
132.40/132.49 c 132s|740000 |183140 | 1771k| 2.4 | 150M| 45 | 6 | 50 |6905 | 50 | 15 | 19 | 401k|3075 | 0.000000e+00 | -- | Inf
134.10/134.13 c 134s|750000 |185909 | 1795k| 2.4 | 152M| 45 | - | 50 |8606 | 50 | 15 | 19 | 406k|3089 | 0.000000e+00 | -- | Inf
135.89/135.96 c 136s|760000 |188350 | 1819k| 2.4 | 154M| 45 | 6 | 50 |9311 | 50 | 15 | 19 | 411k|3110 | 0.000000e+00 | -- | Inf
137.80/137.88 c 138s|770000 |190640 | 1844k| 2.4 | 156M| 45 | 6 | 50 | 10k| 50 | 15 | 19 | 416k|3127 | 0.000000e+00 | -- | Inf
139.90/139.94 c 140s|780000 |193000 | 1868k| 2.4 | 158M| 45 | 6 | 50 |9508 | 50 | 15 | 19 | 422k|3149 | 0.000000e+00 | -- | Inf
141.99/142.04 c 142s|790000 |195253 | 1891k| 2.4 | 160M| 45 | - | 50 |8492 | 50 | 15 | 19 | 427k|3167 | 0.000000e+00 | -- | Inf
144.00/144.09 c 144s|800000 |197341 | 1915k| 2.4 | 161M| 45 | - | 50 |7676 | 50 | 15 | 19 | 433k|3195 | 0.000000e+00 | -- | Inf
145.80/145.85 c 146s|810000 |200306 | 1940k| 2.4 | 164M| 45 | 6 | 50 |8592 | 50 | 15 | 19 | 438k|3213 | 0.000000e+00 | -- | Inf
147.60/147.67 c 148s|820000 |202923 | 1965k| 2.4 | 166M| 45 | - | 50 |9296 | 50 | 15 | 19 | 443k|3228 | 0.000000e+00 | -- | Inf
149.50/149.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
149.50/149.58 c 150s|830000 |205267 | 1990k| 2.4 | 168M| 45 | - | 50 | 10k| 50 | 15 | 19 | 449k|3243 | 0.000000e+00 | -- | Inf
151.40/151.47 c 151s|840000 |207723 | 2014k| 2.4 | 170M| 45 | 6 | 50 | 11k| 50 | 15 | 19 | 455k|3259 | 0.000000e+00 | -- | Inf
153.39/153.43 c 153s|850000 |210191 | 2038k| 2.4 | 172M| 45 | 6 | 50 | 11k| 50 | 15 | 19 | 460k|3275 | 0.000000e+00 | -- | Inf
155.40/155.48 c 155s|860000 |212402 | 2062k| 2.4 | 174M| 45 | - | 50 | 11k| 0 | 0 | 19 | 465k|3290 | 0.000000e+00 | -- | Inf
157.49/157.57 c 158s|870000 |214835 | 2086k| 2.4 | 176M| 45 | 6 | 50 | 11k| 50 | 15 | 19 | 471k|3306 | 0.000000e+00 | -- | Inf
159.99/160.08 c 160s|880000 |216781 | 2111k| 2.4 | 178M| 45 | 6 | 50 |8513 | 50 | 15 | 19 | 477k|3329 | 0.000000e+00 | -- | Inf
162.09/162.14 c 162s|890000 |218938 | 2134k| 2.4 | 179M| 45 | - | 50 |8107 | 50 | 15 | 19 | 482k|3345 | 0.000000e+00 | -- | Inf
163.80/163.90 c 164s|900000 |221838 | 2158k| 2.4 | 182M| 45 | 6 | 50 |9878 | 50 | 15 | 19 | 487k|3356 | 0.000000e+00 | -- | Inf
165.89/165.97 c 166s|910000 |224152 | 2180k| 2.4 | 184M| 45 | 6 | 50 |9585 | 50 | 15 | 19 | 493k|3372 | 0.000000e+00 | -- | Inf
168.30/168.38 c 168s|920000 |225963 | 2204k| 2.4 | 185M| 45 | 6 | 50 |7184 | 50 | 15 | 19 | 498k|3390 | 0.000000e+00 | -- | Inf
170.19/170.23 c 170s|930000 |228220 | 2227k| 2.4 | 187M| 45 | - | 50 |8881 | 50 | 15 | 19 | 504k|3409 | 0.000000e+00 | -- | Inf
172.29/172.35 c 172s|940000 |230135 | 2250k| 2.4 | 189M| 45 | 6 | 50 |8152 | 50 | 15 | 19 | 510k|3427 | 0.000000e+00 | -- | Inf
174.29/174.39 c 174s|950000 |232314 | 2273k| 2.4 | 191M| 45 | 6 | 50 |7818 | 50 | 15 | 19 | 515k|3445 | 0.000000e+00 | -- | Inf
176.20/176.21 c 176s|960000 |234750 | 2296k| 2.4 | 193M| 45 | 6 | 50 |9912 | 50 | 15 | 19 | 521k|3457 | 0.000000e+00 | -- | Inf
178.39/178.42 c 178s|970000 |237079 | 2320k| 2.4 | 194M| 45 | 6 | 50 |7879 | 50 | 15 | 19 | 526k|3468 | 0.000000e+00 | -- | Inf
180.59/180.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
180.59/180.60 c 181s|980000 |239030 | 2343k| 2.4 | 196M| 45 | - | 50 |5975 | 50 | 15 | 19 | 532k|3488 | 0.000000e+00 | -- | Inf
182.50/182.52 c 183s|990000 |240960 | 2367k| 2.4 | 198M| 45 | 6 | 50 |7080 | 50 | 15 | 19 | 538k|3507 | 0.000000e+00 | -- | Inf
184.30/184.35 c 184s| 1000k|243031 | 2391k| 2.4 | 200M| 45 | 6 | 50 |8626 | 50 | 15 | 19 | 543k|3524 | 0.000000e+00 | -- | Inf
186.50/186.57 c 187s| 1010k|244908 | 2414k| 2.4 | 201M| 45 | - | 50 |6561 | 50 | 15 | 19 | 549k|3535 | 0.000000e+00 | -- | Inf
188.20/188.26 c 188s| 1020k|247561 | 2437k| 2.4 | 204M| 45 | 6 | 50 |8740 | 50 | 15 | 19 | 554k|3557 | 0.000000e+00 | -- | Inf
190.30/190.39 c 190s| 1030k|249531 | 2461k| 2.4 | 205M| 45 | 6 | 50 |7719 | 50 | 15 | 19 | 560k|3572 | 0.000000e+00 | -- | Inf
192.30/192.32 c 192s| 1040k|251780 | 2484k| 2.4 | 207M| 45 | 6 | 50 |8483 | 50 | 15 | 19 | 566k|3586 | 0.000000e+00 | -- | Inf
194.40/194.49 c 194s| 1050k|253758 | 2507k| 2.4 | 209M| 45 | - | 50 |8179 | 50 | 15 | 19 | 571k|3596 | 0.000000e+00 | -- | Inf
196.60/196.62 c 197s| 1060k|255715 | 2531k| 2.4 | 211M| 45 | 6 | 50 |7527 | 50 | 15 | 19 | 577k|3614 | 0.000000e+00 | -- | Inf
198.59/198.68 c 199s| 1070k|257825 | 2554k| 2.4 | 213M| 45 | - | 50 |7289 | 50 | 15 | 19 | 583k|3626 | 0.000000e+00 | -- | Inf
200.69/200.73 c 201s| 1080k|259789 | 2578k| 2.4 | 215M| 45 | - | 50 |7769 | 50 | 15 | 19 | 589k|3641 | 0.000000e+00 | -- | Inf
202.69/202.77 c 203s| 1090k|262009 | 2602k| 2.4 | 216M| 45 | - | 50 |7763 | 50 | 15 | 19 | 594k|3663 | 0.000000e+00 | -- | Inf
204.70/204.79 c 205s| 1100k|264117 | 2625k| 2.4 | 218M| 45 | 6 | 50 |7056 | 50 | 15 | 19 | 600k|3675 | 0.000000e+00 | -- | Inf
206.80/206.84 c 207s| 1110k|265966 | 2648k| 2.4 | 220M| 45 | 6 | 50 |7257 | 50 | 15 | 19 | 606k|3698 | 0.000000e+00 | -- | Inf
208.80/208.90 c 209s| 1120k|267774 | 2672k| 2.4 | 222M| 45 | 6 | 50 |7404 | 50 | 15 | 19 | 612k|3713 | 0.000000e+00 | -- | Inf
210.70/210.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
210.70/210.73 c 211s| 1130k|270082 | 2695k| 2.4 | 224M| 45 | 6 | 50 |9003 | 50 | 15 | 19 | 617k|3726 | 0.000000e+00 | -- | Inf
212.39/212.49 c 212s| 1140k|272961 | 2720k| 2.4 | 227M| 45 | 6 | 50 | 10k| 50 | 15 | 19 | 622k|3742 | 0.000000e+00 | -- | Inf
214.40/214.41 c 214s| 1150k|275595 | 2744k| 2.4 | 229M| 45 | - | 50 | 11k| 0 | 0 | 19 | 627k|3760 | 0.000000e+00 | -- | Inf
216.39/216.42 c 216s| 1160k|278174 | 2767k| 2.4 | 231M| 45 | - | 50 | 11k| 50 | 15 | 19 | 633k|3773 | 0.000000e+00 | -- | Inf
218.59/218.64 c 219s| 1170k|280393 | 2791k| 2.4 | 232M| 45 | 6 | 50 |9538 | 50 | 15 | 19 | 638k|3786 | 0.000000e+00 | -- | Inf
220.80/220.83 c 221s| 1180k|282302 | 2816k| 2.4 | 234M| 45 | - | 50 |8809 | 50 | 15 | 19 | 644k|3799 | 0.000000e+00 | -- | Inf
222.99/223.03 c 223s| 1190k|284400 | 2839k| 2.4 | 235M| 45 | 6 | 50 |7804 | 50 | 15 | 19 | 650k|3811 | 0.000000e+00 | -- | Inf
224.90/224.97 c 225s| 1200k|286627 | 2863k| 2.4 | 237M| 45 | - | 50 |8479 | 50 | 15 | 19 | 655k|3826 | 0.000000e+00 | -- | Inf
226.70/226.75 c 227s| 1210k|289109 | 2886k| 2.4 | 240M| 45 | 6 | 50 | 10k| 50 | 15 | 19 | 661k|3842 | 0.000000e+00 | -- | Inf
228.70/228.77 c 229s| 1220k|291358 | 2909k| 2.4 | 242M| 45 | - | 50 | 10k| 50 | 15 | 19 | 666k|3858 | 0.000000e+00 | -- | Inf
230.90/230.98 c 231s| 1230k|293466 | 2931k| 2.4 | 244M| 45 | 6 | 50 | 11k| 50 | 15 | 19 | 672k|3870 | 0.000000e+00 | -- | Inf
232.80/232.87 c 233s| 1240k|296239 | 2956k| 2.4 | 246M| 45 | - | 50 | 12k| 50 | 15 | 19 | 677k|3886 | 0.000000e+00 | -- | Inf
235.20/235.30 c 235s| 1250k|298396 | 2980k| 2.4 | 248M| 45 | 6 | 50 | 11k| 50 | 15 | 19 | 683k|3905 | 0.000000e+00 | -- | Inf
237.51/237.59 c 238s| 1260k|300395 | 3004k| 2.4 | 249M| 45 | 6 | 50 |8405 | 50 | 15 | 19 | 688k|3919 | 0.000000e+00 | -- | Inf
239.81/239.88 c 240s| 1270k|302296 | 3027k| 2.4 | 250M| 45 | - | 50 |6892 | 50 | 15 | 19 | 694k|3934 | 0.000000e+00 | -- | Inf
241.60/241.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
241.60/241.64 c 242s| 1280k|304256 | 3051k| 2.4 | 253M| 45 | - | 50 |9889 | 50 | 15 | 19 | 700k|3943 | 0.000000e+00 | -- | Inf
243.89/243.93 c 244s| 1290k|306000 | 3074k| 2.4 | 254M| 45 | 6 | 50 |7996 | 50 | 15 | 19 | 705k|3952 | 0.000000e+00 | -- | Inf
245.69/245.79 c 246s| 1300k|307956 | 3097k| 2.4 | 256M| 45 | 6 | 50 |9384 | 50 | 15 | 19 | 711k|3964 | 0.000000e+00 | -- | Inf
248.00/248.02 c 248s| 1310k|310068 | 3120k| 2.4 | 258M| 45 | 6 | 50 |7652 | 50 | 15 | 19 | 717k|3977 | 0.000000e+00 | -- | Inf
250.19/250.21 c 250s| 1320k|311980 | 3143k| 2.4 | 259M| 45 | - | 50 |7208 | 50 | 15 | 19 | 722k|3989 | 0.000000e+00 | -- | Inf
252.10/252.15 c 252s| 1330k|314169 | 3167k| 2.4 | 261M| 45 | 6 | 50 |8161 | 50 | 15 | 19 | 728k|4004 | 0.000000e+00 | -- | Inf
254.20/254.20 c 254s| 1340k|316310 | 3190k| 2.4 | 263M| 45 | - | 50 |7883 | 50 | 15 | 19 | 733k|4018 | 0.000000e+00 | -- | Inf
256.10/256.18 c 256s| 1350k|318701 | 3213k| 2.4 | 265M| 45 | - | 50 |8346 | 50 | 15 | 19 | 739k|4031 | 0.000000e+00 | -- | Inf
258.20/258.27 c 258s| 1360k|320645 | 3236k| 2.4 | 267M| 45 | 6 | 50 |8442 | 50 | 15 | 19 | 744k|4047 | 0.000000e+00 | -- | Inf
260.50/260.58 c 261s| 1370k|322552 | 3259k| 2.4 | 269M| 45 | 6 | 50 |7908 | 50 | 15 | 19 | 750k|4060 | 0.000000e+00 | -- | Inf
262.70/262.74 c 263s| 1380k|324472 | 3282k| 2.4 | 270M| 45 | 6 | 50 |7301 | 50 | 15 | 19 | 756k|4073 | 0.000000e+00 | -- | Inf
264.40/264.47 c 264s| 1390k|326708 | 3305k| 2.4 | 273M| 45 | 6 | 50 | 10k| 50 | 15 | 19 | 762k|4083 | 0.000000e+00 | -- | Inf
266.50/266.53 c 267s| 1400k|328849 | 3328k| 2.4 | 275M| 45 | 6 | 50 |9882 | 50 | 15 | 19 | 767k|4096 | 0.000000e+00 | -- | Inf
268.60/268.61 c 269s| 1410k|331377 | 3350k| 2.4 | 276M| 45 | 6 | 50 |8826 | 50 | 15 | 19 | 772k|4103 | 0.000000e+00 | -- | Inf
270.80/270.82 c 271s| 1420k|333331 | 3374k| 2.4 | 278M| 45 | 6 | 50 |7595 | 50 | 15 | 19 | 778k|4120 | 0.000000e+00 | -- | Inf
272.81/272.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
272.81/272.89 c 273s| 1430k|335184 | 3397k| 2.4 | 280M| 45 | 6 | 50 |8276 | 50 | 15 | 19 | 784k|4135 | 0.000000e+00 | -- | Inf
275.01/275.04 c 275s| 1440k|337192 | 3420k| 2.4 | 282M| 45 | 6 | 50 |8535 | 50 | 15 | 19 | 790k|4147 | 0.000000e+00 | -- | Inf
277.21/277.28 c 277s| 1450k|339107 | 3443k| 2.4 | 283M| 45 | 6 | 50 |7610 | 50 | 15 | 19 | 796k|4158 | 0.000000e+00 | -- | Inf
279.30/279.34 c 279s| 1460k|341000 | 3468k| 2.4 | 285M| 45 | 6 | 50 |8632 | 50 | 15 | 19 | 802k|4168 | 0.000000e+00 | -- | Inf
281.30/281.37 c 281s| 1470k|343181 | 3491k| 2.4 | 287M| 45 | 6 | 50 |9381 | 50 | 15 | 19 | 807k|4182 | 0.000000e+00 | -- | Inf
283.40/283.44 c 283s| 1480k|345054 | 3515k| 2.4 | 289M| 45 | 6 | 50 | 10k| 50 | 15 | 19 | 813k|4197 | 0.000000e+00 | -- | Inf
285.80/285.84 c 286s| 1490k|346970 | 3538k| 2.4 | 291M| 45 | - | 50 |9379 | 50 | 15 | 19 | 818k|4212 | 0.000000e+00 | -- | Inf
288.00/288.00 c 288s| 1500k|349136 | 3562k| 2.4 | 293M| 45 | 6 | 50 |9131 | 50 | 15 | 19 | 824k|4234 | 0.000000e+00 | -- | Inf
289.89/289.92 c 290s| 1510k|351347 | 3587k| 2.4 | 295M| 45 | - | 50 | 10k| 0 | 0 | 19 | 830k|4254 | 0.000000e+00 | -- | Inf
292.10/292.16 c 292s| 1520k|353001 | 3610k| 2.4 | 297M| 45 | 6 | 50 | 11k| 50 | 15 | 19 | 836k|4268 | 0.000000e+00 | -- | Inf
294.30/294.39 c 294s| 1530k|355103 | 3634k| 2.4 | 298M| 45 | 6 | 50 | 11k| 50 | 15 | 19 | 842k|4280 | 0.000000e+00 | -- | Inf
296.60/296.66 c 297s| 1540k|357199 | 3658k| 2.4 | 301M| 45 | 6 | 50 | 13k| 50 | 15 | 19 | 848k|4289 | 0.000000e+00 | -- | Inf
298.90/298.98 c 299s| 1550k|359108 | 3681k| 2.4 | 303M| 45 | 6 | 50 | 14k| 50 | 15 | 19 | 854k|4304 | 0.000000e+00 | -- | Inf
301.40/301.42 c 301s| 1560k|361035 | 3705k| 2.4 | 304M| 45 | - | 50 | 14k| 50 | 15 | 19 | 860k|4311 | 0.000000e+00 | -- | Inf
303.80/303.89 c 304s| 1570k|363115 | 3729k| 2.4 | 307M| 45 | 6 | 50 | 15k| 50 | 15 | 19 | 866k|4316 | 0.000000e+00 | -- | Inf
306.80/306.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
306.80/306.82 c 307s| 1580k|364941 | 3752k| 2.4 | 307M| 45 | - | 50 | 10k| 50 | 15 | 19 | 872k|4321 | 0.000000e+00 | -- | Inf
309.29/309.36 c 309s| 1590k|366747 | 3774k| 2.4 | 308M| 45 | 6 | 50 |7844 | 50 | 15 | 19 | 878k|4331 | 0.000000e+00 | -- | Inf
311.20/311.23 c 311s| 1600k|369222 | 3798k| 2.4 | 311M| 45 | - | 50 |9492 | 50 | 15 | 19 | 883k|4337 | 0.000000e+00 | -- | Inf
313.40/313.47 c 313s| 1610k|371160 | 3821k| 2.4 | 313M| 45 | - | 50 |9633 | 50 | 15 | 19 | 889k|4347 | 0.000000e+00 | -- | Inf
315.60/315.70 c 316s| 1620k|373214 | 3844k| 2.4 | 314M| 45 | 6 | 50 |8831 | 50 | 15 | 19 | 894k|4356 | 0.000000e+00 | -- | Inf
317.60/317.68 c 318s| 1630k|375737 | 3868k| 2.4 | 316M| 45 | 6 | 50 |8383 | 50 | 15 | 19 | 900k|4367 | 0.000000e+00 | -- | Inf
319.40/319.49 c 319s| 1640k|378563 | 3893k| 2.4 | 319M| 45 | 6 | 50 | 10k| 50 | 15 | 19 | 905k|4380 | 0.000000e+00 | -- | Inf
321.50/321.53 c 322s| 1650k|381110 | 3916k| 2.4 | 320M| 45 | - | 50 | 10k| 50 | 15 | 19 | 910k|4391 | 0.000000e+00 | -- | Inf
323.60/323.60 c 324s| 1660k|383373 | 3939k| 2.4 | 322M| 45 | 6 | 50 | 10k| 50 | 15 | 19 | 916k|4402 | 0.000000e+00 | -- | Inf
325.70/325.74 c 326s| 1670k|385671 | 3962k| 2.4 | 324M| 45 | - | 50 | 10k| 50 | 15 | 19 | 921k|4415 | 0.000000e+00 | -- | Inf
327.90/327.93 c 328s| 1680k|387688 | 3985k| 2.4 | 326M| 45 | - | 50 | 10k| 50 | 15 | 19 | 927k|4426 | 0.000000e+00 | -- | Inf
330.01/330.07 c 330s| 1690k|389915 | 4007k| 2.4 | 328M| 45 | 6 | 50 | 11k| 50 | 15 | 19 | 932k|4436 | 0.000000e+00 | -- | Inf
332.40/332.41 c 332s| 1700k|391745 | 4031k| 2.4 | 330M| 45 | 6 | 50 | 10k| 50 | 15 | 19 | 938k|4445 | 0.000000e+00 | -- | Inf
334.49/334.51 c 335s| 1710k|394320 | 4055k| 2.4 | 332M| 45 | 6 | 50 | 12k| 50 | 15 | 19 | 943k|4462 | 0.000000e+00 | -- | Inf
336.70/336.73 c 337s| 1720k|396718 | 4078k| 2.4 | 334M| 45 | - | 50 | 12k| 50 | 15 | 19 | 948k|4476 | 0.000000e+00 | -- | Inf
339.10/339.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
339.10/339.16 c 339s| 1730k|398801 | 4101k| 2.4 | 336M| 45 | - | 50 | 13k| 50 | 15 | 19 | 954k|4486 | 0.000000e+00 | -- | Inf
341.50/341.57 c 342s| 1740k|400779 | 4124k| 2.4 | 337M| 45 | - | 50 | 11k| 0 | 0 | 19 | 960k|4496 | 0.000000e+00 | -- | Inf
344.30/344.32 c 344s| 1750k|402518 | 4147k| 2.4 | 338M| 45 | - | 50 |8741 | 50 | 15 | 19 | 966k|4505 | 0.000000e+00 | -- | Inf
346.60/346.69 c 347s| 1760k|404300 | 4170k| 2.4 | 340M| 45 | - | 50 |7997 | 50 | 15 | 19 | 972k|4517 | 0.000000e+00 | -- | Inf
348.80/348.87 c 349s| 1770k|406188 | 4194k| 2.4 | 342M| 45 | 6 | 50 |8142 | 50 | 15 | 19 | 978k|4525 | 0.000000e+00 | -- | Inf
350.90/350.92 c 351s| 1780k|408323 | 4217k| 2.4 | 344M| 45 | 6 | 50 |9246 | 50 | 15 | 19 | 983k|4537 | 0.000000e+00 | -- | Inf
353.11/353.19 c 353s| 1790k|410284 | 4240k| 2.4 | 345M| 45 | 6 | 50 |8679 | 50 | 15 | 19 | 989k|4549 | 0.000000e+00 | -- | Inf
355.30/355.39 c 355s| 1800k|412165 | 4263k| 2.4 | 347M| 45 | 6 | 50 |8624 | 50 | 15 | 19 | 995k|4557 | 0.000000e+00 | -- | Inf
357.51/357.56 c 358s| 1810k|414242 | 4286k| 2.4 | 349M| 45 | 6 | 50 |8409 | 50 | 15 | 19 |1001k|4579 | 0.000000e+00 | -- | Inf
359.40/359.40 c 359s| 1820k|416794 | 4307k| 2.4 | 351M| 45 | - | 50 |9786 | 50 | 15 | 19 |1006k|4590 | 0.000000e+00 | -- | Inf
361.60/361.66 c 362s| 1830k|418563 | 4330k| 2.4 | 353M| 45 | 6 | 50 |9176 | 50 | 15 | 19 |1011k|4600 | 0.000000e+00 | -- | Inf
363.60/363.67 c 364s| 1840k|421071 | 4354k| 2.4 | 355M| 45 | 6 | 50 |9412 | 50 | 15 | 19 |1017k|4609 | 0.000000e+00 | -- | Inf
365.50/365.53 c 366s| 1850k|423957 | 4377k| 2.4 | 357M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |1022k|4623 | 0.000000e+00 | -- | Inf
367.60/367.64 c 368s| 1860k|426123 | 4400k| 2.4 | 359M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |1027k|4633 | 0.000000e+00 | -- | Inf
369.90/369.91 c 370s| 1870k|428108 | 4424k| 2.4 | 361M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1033k|4640 | 0.000000e+00 | -- | Inf
372.20/372.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
372.20/372.28 c 372s| 1880k|430123 | 4447k| 2.4 | 363M| 45 | - | 50 | 11k| 50 | 15 | 19 |1039k|4654 | 0.000000e+00 | -- | Inf
374.70/374.77 c 375s| 1890k|431929 | 4470k| 2.4 | 364M| 45 | 6 | 50 |9576 | 50 | 15 | 19 |1044k|4665 | 0.000000e+00 | -- | Inf
377.10/377.14 c 377s| 1900k|433807 | 4493k| 2.4 | 366M| 45 | - | 50 |9232 | 50 | 15 | 19 |1050k|4674 | 0.000000e+00 | -- | Inf
379.40/379.48 c 379s| 1910k|435826 | 4516k| 2.4 | 368M| 45 | 6 | 50 |8131 | 50 | 15 | 19 |1056k|4688 | 0.000000e+00 | -- | Inf
381.80/381.84 c 382s| 1920k|437523 | 4539k| 2.4 | 369M| 45 | 6 | 50 |7616 | 50 | 15 | 19 |1062k|4708 | 0.000000e+00 | -- | Inf
383.81/383.89 c 384s| 1930k|439665 | 4562k| 2.4 | 371M| 45 | - | 50 |8882 | 50 | 15 | 19 |1067k|4717 | 0.000000e+00 | -- | Inf
386.20/386.24 c 386s| 1940k|441481 | 4585k| 2.4 | 373M| 45 | - | 50 |8720 | 50 | 15 | 19 |1073k|4730 | 0.000000e+00 | -- | Inf
388.51/388.54 c 389s| 1950k|443134 | 4608k| 2.4 | 375M| 45 | 6 | 50 |8375 | 50 | 15 | 19 |1079k|4735 | 0.000000e+00 | -- | Inf
390.50/390.53 c 391s| 1960k|445315 | 4632k| 2.4 | 377M| 45 | - | 50 |9914 | 50 | 15 | 19 |1085k|4741 | 0.000000e+00 | -- | Inf
392.50/392.56 c 393s| 1970k|447299 | 4656k| 2.4 | 379M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1091k|4756 | 0.000000e+00 | -- | Inf
395.10/395.13 c 395s| 1980k|449117 | 4680k| 2.4 | 380M| 45 | 6 | 50 |9155 | 50 | 15 | 19 |1097k|4764 | 0.000000e+00 | -- | Inf
397.20/397.21 c 397s| 1990k|451405 | 4702k| 2.4 | 382M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |1103k|4775 | 0.000000e+00 | -- | Inf
399.50/399.51 c 400s| 2000k|453402 | 4725k| 2.4 | 384M| 45 | 6 | 50 |9050 | 50 | 15 | 19 |1109k|4788 | 0.000000e+00 | -- | Inf
401.60/401.63 c 402s| 2010k|455338 | 4749k| 2.4 | 386M| 45 | - | 50 | 10k| 50 | 15 | 19 |1115k|4794 | 0.000000e+00 | -- | Inf
403.90/403.96 c 404s| 2020k|457091 | 4773k| 2.4 | 387M| 45 | - | 50 |9665 | 50 | 15 | 19 |1121k|4806 | 0.000000e+00 | -- | Inf
406.30/406.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
406.30/406.37 c 406s| 2030k|458911 | 4796k| 2.4 | 389M| 45 | - | 50 |8879 | 50 | 15 | 19 |1127k|4819 | 0.000000e+00 | -- | Inf
408.70/408.73 c 409s| 2040k|460606 | 4820k| 2.4 | 390M| 45 | 6 | 50 |8620 | 50 | 15 | 19 |1133k|4832 | 0.000000e+00 | -- | Inf
410.90/410.98 c 411s| 2050k|462537 | 4843k| 2.4 | 392M| 45 | - | 50 |8773 | 50 | 15 | 19 |1139k|4841 | 0.000000e+00 | -- | Inf
412.80/412.81 c 413s| 2060k|465023 | 4867k| 2.4 | 395M| 45 | - | 50 | 10k| 0 | 0 | 19 |1144k|4846 | 0.000000e+00 | -- | Inf
414.80/414.89 c 415s| 2070k|467229 | 4891k| 2.4 | 397M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1149k|4857 | 0.000000e+00 | -- | Inf
417.30/417.32 c 417s| 2080k|469304 | 4914k| 2.4 | 398M| 45 | 6 | 50 |9599 | 50 | 15 | 19 |1155k|4866 | 0.000000e+00 | -- | Inf
419.20/419.27 c 419s| 2090k|471958 | 4938k| 2.4 | 401M| 45 | - | 50 | 11k| 50 | 15 | 19 |1160k|4878 | 0.000000e+00 | -- | Inf
421.50/421.52 c 422s| 2100k|474030 | 4960k| 2.4 | 403M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |1166k|4886 | 0.000000e+00 | -- | Inf
423.71/423.79 c 424s| 2110k|476091 | 4983k| 2.4 | 404M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |1171k|4901 | 0.000000e+00 | -- | Inf
426.21/426.23 c 426s| 2120k|477700 | 5005k| 2.4 | 406M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1177k|4913 | 0.000000e+00 | -- | Inf
428.70/428.74 c 429s| 2130k|479128 | 5027k| 2.4 | 408M| 45 | - | 50 | 12k| 50 | 15 | 19 |1183k|4926 | 0.000000e+00 | -- | Inf
431.10/431.13 c 431s| 2140k|480852 | 5050k| 2.4 | 410M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |1189k|4938 | 0.000000e+00 | -- | Inf
433.80/433.88 c 434s| 2150k|482682 | 5073k| 2.4 | 410M| 45 | - | 50 |8670 | 50 | 15 | 19 |1195k|4949 | 0.000000e+00 | -- | Inf
436.10/436.11 c 436s| 2160k|484513 | 5095k| 2.4 | 412M| 45 | 6 | 50 |8720 | 50 | 15 | 19 |1201k|4960 | 0.000000e+00 | -- | Inf
438.40/438.43 c 438s| 2170k|486409 | 5118k| 2.4 | 414M| 45 | 6 | 50 |8115 | 50 | 15 | 19 |1206k|4968 | 0.000000e+00 | -- | Inf
440.80/440.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
440.80/440.86 c 441s| 2180k|488092 | 5141k| 2.4 | 415M| 45 | 6 | 50 |7173 | 50 | 15 | 19 |1212k|4984 | 0.000000e+00 | -- | Inf
443.00/443.08 c 443s| 2190k|490028 | 5164k| 2.4 | 417M| 45 | - | 50 |6979 | 50 | 15 | 19 |1218k|4993 | 0.000000e+00 | -- | Inf
445.20/445.24 c 445s| 2200k|491779 | 5186k| 2.4 | 419M| 45 | 6 | 50 |7060 | 50 | 15 | 19 |1224k|5004 | 0.000000e+00 | -- | Inf
447.40/447.42 c 447s| 2210k|493602 | 5209k| 2.4 | 421M| 45 | 6 | 50 |7611 | 50 | 15 | 19 |1229k|5012 | 0.000000e+00 | -- | Inf
449.40/449.43 c 449s| 2220k|495557 | 5232k| 2.4 | 423M| 45 | - | 50 |9253 | 50 | 15 | 19 |1235k|5019 | 0.000000e+00 | -- | Inf
451.90/451.92 c 452s| 2230k|497309 | 5255k| 2.4 | 424M| 45 | 6 | 50 |7060 | 50 | 15 | 19 |1241k|5031 | 0.000000e+00 | -- | Inf
453.80/453.82 c 454s| 2240k|499308 | 5280k| 2.4 | 426M| 45 | 6 | 50 |9500 | 50 | 15 | 19 |1247k|5044 | 0.000000e+00 | -- | Inf
455.70/455.79 c 456s| 2250k|501395 | 5305k| 2.4 | 429M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1253k|5053 | 0.000000e+00 | -- | Inf
458.50/458.56 c 459s| 2260k|503056 | 5328k| 2.4 | 430M| 45 | 6 | 50 |8856 | 50 | 15 | 19 |1259k|5063 | 0.000000e+00 | -- | Inf
460.80/460.83 c 461s| 2270k|505038 | 5351k| 2.4 | 431M| 45 | 6 | 50 |9124 | 50 | 15 | 19 |1265k|5079 | 0.000000e+00 | -- | Inf
463.40/463.41 c 463s| 2280k|506653 | 5374k| 2.4 | 433M| 45 | 6 | 50 |7149 | 50 | 15 | 19 |1271k|5083 | 0.000000e+00 | -- | Inf
465.20/465.22 c 465s| 2290k|509364 | 5398k| 2.4 | 435M| 45 | 6 | 50 |8707 | 50 | 15 | 19 |1276k|5093 | 0.000000e+00 | -- | Inf
467.00/467.09 c 467s| 2300k|511828 | 5421k| 2.4 | 437M| 45 | - | 50 | 10k| 50 | 15 | 19 |1281k|5100 | 0.000000e+00 | -- | Inf
469.11/469.13 c 469s| 2310k|514203 | 5444k| 2.4 | 439M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |1286k|5105 | 0.000000e+00 | -- | Inf
471.30/471.34 c 471s| 2320k|516231 | 5466k| 2.4 | 441M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1292k|5120 | 0.000000e+00 | -- | Inf
473.40/473.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
473.40/473.49 c 473s| 2330k|518416 | 5489k| 2.4 | 443M| 45 | - | 50 | 12k| 0 | 0 | 19 |1297k|5131 | 0.000000e+00 | -- | Inf
475.80/475.87 c 476s| 2340k|520298 | 5512k| 2.4 | 445M| 45 | - | 50 | 13k| 0 | 0 | 19 |1302k|5139 | 0.000000e+00 | -- | Inf
478.41/478.43 c 478s| 2350k|521979 | 5535k| 2.4 | 446M| 45 | - | 50 | 12k| 50 | 15 | 19 |1308k|5149 | 0.000000e+00 | -- | Inf
480.80/480.86 c 481s| 2360k|523843 | 5558k| 2.4 | 448M| 45 | - | 50 | 12k| 50 | 15 | 19 |1313k|5151 | 0.000000e+00 | -- | Inf
483.30/483.39 c 483s| 2370k|525447 | 5581k| 2.4 | 450M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |1319k|5165 | 0.000000e+00 | -- | Inf
486.01/486.00 c 486s| 2380k|527006 | 5604k| 2.4 | 451M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |1325k|5174 | 0.000000e+00 | -- | Inf
488.60/488.67 c 489s| 2390k|528795 | 5628k| 2.4 | 453M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |1330k|5185 | 0.000000e+00 | -- | Inf
491.21/491.26 c 491s| 2400k|530559 | 5651k| 2.4 | 454M| 45 | 6 | 50 |9047 | 50 | 15 | 19 |1336k|5190 | 0.000000e+00 | -- | Inf
493.61/493.67 c 494s| 2410k|532176 | 5674k| 2.4 | 455M| 45 | 6 | 50 |8324 | 50 | 15 | 19 |1343k|5196 | 0.000000e+00 | -- | Inf
496.11/496.14 c 496s| 2420k|533707 | 5697k| 2.4 | 456M| 45 | 6 | 50 |7427 | 50 | 15 | 19 |1349k|5203 | 0.000000e+00 | -- | Inf
498.40/498.40 c 498s| 2430k|535531 | 5721k| 2.4 | 458M| 45 | 6 | 50 |7286 | 50 | 15 | 19 |1355k|5214 | 0.000000e+00 | -- | Inf
500.60/500.60 c 501s| 2440k|537327 | 5744k| 2.4 | 460M| 45 | 6 | 50 |7568 | 50 | 15 | 19 |1361k|5223 | 0.000000e+00 | -- | Inf
502.90/502.97 c 503s| 2450k|539044 | 5767k| 2.4 | 462M| 45 | 6 | 50 |7200 | 50 | 15 | 19 |1367k|5231 | 0.000000e+00 | -- | Inf
505.30/505.36 c 505s| 2460k|540722 | 5789k| 2.4 | 463M| 45 | - | 50 |6481 | 50 | 15 | 19 |1373k|5243 | 0.000000e+00 | -- | Inf
507.30/507.33 c 507s| 2470k|542510 | 5812k| 2.4 | 465M| 45 | 6 | 50 |7905 | 50 | 15 | 19 |1378k|5256 | 0.000000e+00 | -- | Inf
509.40/509.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
509.40/509.42 c 509s| 2480k|544462 | 5836k| 2.4 | 467M| 45 | - | 50 |9507 | 50 | 15 | 19 |1384k|5266 | 0.000000e+00 | -- | Inf
511.81/511.81 c 512s| 2490k|546096 | 5859k| 2.4 | 469M| 45 | - | 50 |9518 | 50 | 15 | 19 |1390k|5276 | 0.000000e+00 | -- | Inf
514.01/514.09 c 514s| 2500k|548056 | 5881k| 2.4 | 470M| 45 | - | 50 |8088 | 50 | 15 | 19 |1396k|5283 | 0.000000e+00 | -- | Inf
516.41/516.45 c 516s| 2510k|549683 | 5904k| 2.4 | 472M| 45 | 6 | 50 |7646 | 50 | 15 | 19 |1402k|5292 | 0.000000e+00 | -- | Inf
518.51/518.57 c 519s| 2520k|551336 | 5928k| 2.4 | 474M| 45 | - | 50 |8769 | 50 | 15 | 19 |1408k|5300 | 0.000000e+00 | -- | Inf
520.81/520.89 c 521s| 2530k|553016 | 5951k| 2.4 | 476M| 45 | - | 50 |8745 | 50 | 15 | 19 |1414k|5313 | 0.000000e+00 | -- | Inf
522.90/522.91 c 523s| 2540k|554943 | 5974k| 2.4 | 478M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |1419k|5319 | 0.000000e+00 | -- | Inf
525.31/525.30 c 525s| 2550k|556811 | 5997k| 2.4 | 479M| 45 | 6 | 50 |8592 | 50 | 15 | 19 |1425k|5330 | 0.000000e+00 | -- | Inf
527.61/527.64 c 528s| 2560k|558444 | 6020k| 2.4 | 481M| 45 | 6 | 50 |8129 | 50 | 15 | 19 |1431k|5342 | 0.000000e+00 | -- | Inf
529.81/529.80 c 530s| 2570k|560356 | 6044k| 2.4 | 483M| 45 | - | 50 | 10k| 50 | 15 | 19 |1437k|5350 | 0.000000e+00 | -- | Inf
532.00/532.01 c 532s| 2580k|562374 | 6067k| 2.4 | 485M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |1443k|5360 | 0.000000e+00 | -- | Inf
534.61/534.61 c 535s| 2590k|563988 | 6091k| 2.4 | 486M| 45 | 6 | 50 |8300 | 50 | 15 | 19 |1449k|5369 | 0.000000e+00 | -- | Inf
536.51/536.51 c 537s| 2600k|565887 | 6115k| 2.4 | 488M| 45 | - | 50 | 10k| 0 | 0 | 19 |1455k|5383 | 0.000000e+00 | -- | Inf
538.81/538.80 c 539s| 2610k|567688 | 6138k| 2.4 | 490M| 45 | - | 50 | 10k| 50 | 15 | 19 |1460k|5392 | 0.000000e+00 | -- | Inf
541.30/541.37 c 541s| 2620k|569274 | 6160k| 2.4 | 491M| 45 | - | 50 |8159 | 50 | 15 | 19 |1466k|5397 | 0.000000e+00 | -- | Inf
543.41/543.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
543.41/543.45 c 543s| 2630k|571501 | 6184k| 2.4 | 493M| 45 | - | 50 |9463 | 50 | 15 | 19 |1472k|5406 | 0.000000e+00 | -- | Inf
546.01/546.06 c 546s| 2640k|573258 | 6207k| 2.4 | 495M| 45 | 6 | 50 |8290 | 50 | 15 | 19 |1478k|5413 | 0.000000e+00 | -- | Inf
548.51/548.57 c 549s| 2650k|574826 | 6230k| 2.4 | 496M| 45 | - | 50 |7908 | 50 | 15 | 19 |1484k|5427 | 0.000000e+00 | -- | Inf
550.71/550.73 c 551s| 2660k|576823 | 6252k| 2.4 | 498M| 45 | 6 | 50 |8956 | 50 | 15 | 19 |1489k|5436 | 0.000000e+00 | -- | Inf
553.00/553.04 c 553s| 2670k|578670 | 6275k| 2.4 | 500M| 45 | - | 50 |9442 | 0 | 0 | 19 |1495k|5447 | 0.000000e+00 | -- | Inf
555.30/555.34 c 555s| 2680k|580451 | 6299k| 2.4 | 502M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |1501k|5453 | 0.000000e+00 | -- | Inf
557.91/557.97 c 558s| 2690k|582121 | 6321k| 2.4 | 503M| 45 | 6 | 50 |8012 | 50 | 15 | 19 |1507k|5461 | 0.000000e+00 | -- | Inf
560.01/560.00 c 560s| 2700k|584219 | 6345k| 2.3 | 505M| 45 | 6 | 50 |9375 | 50 | 15 | 19 |1513k|5468 | 0.000000e+00 | -- | Inf
562.41/562.48 c 562s| 2710k|585819 | 6368k| 2.3 | 507M| 45 | 6 | 50 |8774 | 50 | 15 | 19 |1519k|5478 | 0.000000e+00 | -- | Inf
564.70/564.78 c 565s| 2720k|587620 | 6391k| 2.3 | 509M| 45 | - | 50 |9077 | 50 | 15 | 19 |1525k|5490 | 0.000000e+00 | -- | Inf
566.91/566.90 c 567s| 2730k|589754 | 6415k| 2.3 | 511M| 45 | 6 | 50 |9856 | 50 | 15 | 19 |1531k|5497 | 0.000000e+00 | -- | Inf
569.41/569.44 c 569s| 2740k|591499 | 6437k| 2.3 | 512M| 45 | - | 50 |7991 | 50 | 15 | 19 |1536k|5507 | 0.000000e+00 | -- | Inf
571.61/571.66 c 572s| 2750k|593389 | 6461k| 2.3 | 514M| 45 | - | 50 |7868 | 50 | 15 | 19 |1542k|5519 | 0.000000e+00 | -- | Inf
573.90/573.99 c 574s| 2760k|595090 | 6483k| 2.3 | 515M| 45 | 6 | 50 |7603 | 50 | 15 | 19 |1548k|5532 | 0.000000e+00 | -- | Inf
576.11/576.19 c 576s| 2770k|596864 | 6506k| 2.3 | 517M| 45 | - | 50 |7750 | 0 | 0 | 19 |1554k|5541 | 0.000000e+00 | -- | Inf
578.61/578.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
578.61/578.63 c 579s| 2780k|598433 | 6529k| 2.3 | 519M| 45 | 6 | 50 |7567 | 50 | 15 | 19 |1560k|5550 | 0.000000e+00 | -- | Inf
580.40/580.47 c 580s| 2790k|601435 | 6553k| 2.3 | 521M| 45 | 6 | 50 |8483 | 50 | 15 | 19 |1565k|5557 | 0.000000e+00 | -- | Inf
582.40/582.46 c 582s| 2800k|603704 | 6576k| 2.3 | 523M| 45 | - | 50 |9193 | 0 | 0 | 19 |1570k|5563 | 0.000000e+00 | -- | Inf
584.41/584.43 c 584s| 2810k|606252 | 6598k| 2.3 | 525M| 45 | - | 50 | 10k| 50 | 15 | 19 |1576k|5569 | 0.000000e+00 | -- | Inf
586.51/586.54 c 587s| 2820k|608477 | 6622k| 2.3 | 527M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1581k|5577 | 0.000000e+00 | -- | Inf
588.71/588.76 c 589s| 2830k|610573 | 6644k| 2.3 | 529M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |1587k|5587 | 0.000000e+00 | -- | Inf
590.91/590.98 c 591s| 2840k|612753 | 6667k| 2.3 | 530M| 45 | - | 50 | 10k| 50 | 15 | 19 |1592k|5592 | 0.000000e+00 | -- | Inf
593.11/593.17 c 593s| 2850k|614646 | 6690k| 2.3 | 532M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1598k|5601 | 0.000000e+00 | -- | Inf
595.51/595.50 c 596s| 2860k|616577 | 6714k| 2.3 | 534M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1604k|5610 | 0.000000e+00 | -- | Inf
597.81/597.83 c 598s| 2870k|618444 | 6737k| 2.3 | 536M| 45 | - | 50 | 12k| 50 | 15 | 19 |1609k|5612 | 0.000000e+00 | -- | Inf
600.20/600.23 c 600s| 2880k|620353 | 6761k| 2.3 | 538M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1615k|5618 | 0.000000e+00 | -- | Inf
602.61/602.62 c 603s| 2890k|622228 | 6784k| 2.3 | 540M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |1621k|5620 | 0.000000e+00 | -- | Inf
605.21/605.24 c 605s| 2900k|623771 | 6807k| 2.3 | 541M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1627k|5629 | 0.000000e+00 | -- | Inf
607.40/607.47 c 607s| 2910k|625778 | 6830k| 2.3 | 543M| 45 | - | 50 | 12k| 50 | 15 | 19 |1633k|5641 | 0.000000e+00 | -- | Inf
610.10/610.18 c 610s| 2920k|627367 | 6852k| 2.3 | 544M| 45 | - | 50 | 11k| 50 | 15 | 19 |1638k|5646 | 0.000000e+00 | -- | Inf
612.61/612.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
612.61/612.67 c 613s| 2930k|629005 | 6875k| 2.3 | 546M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |1644k|5654 | 0.000000e+00 | -- | Inf
615.40/615.40 c 615s| 2940k|630665 | 6898k| 2.3 | 547M| 45 | - | 50 |8734 | 50 | 15 | 19 |1650k|5664 | 0.000000e+00 | -- | Inf
617.71/617.78 c 618s| 2950k|632361 | 6921k| 2.3 | 549M| 45 | 6 | 50 |8422 | 50 | 15 | 19 |1656k|5670 | 0.000000e+00 | -- | Inf
619.71/619.78 c 620s| 2960k|634667 | 6943k| 2.3 | 551M| 45 | 6 | 50 |9781 | 50 | 15 | 19 |1662k|5678 | 0.000000e+00 | -- | Inf
622.31/622.34 c 622s| 2970k|636380 | 6966k| 2.3 | 552M| 45 | - | 50 |8275 | 50 | 15 | 19 |1667k|5683 | 0.000000e+00 | -- | Inf
624.71/624.78 c 625s| 2980k|637988 | 6989k| 2.3 | 554M| 45 | - | 50 |7538 | 50 | 15 | 19 |1673k|5688 | 0.000000e+00 | -- | Inf
627.11/627.13 c 627s| 2990k|639663 | 7011k| 2.3 | 555M| 45 | 6 | 50 |7673 | 50 | 15 | 19 |1679k|5694 | 0.000000e+00 | -- | Inf
629.30/629.33 c 629s| 3000k|641496 | 7033k| 2.3 | 557M| 45 | 6 | 50 |8617 | 50 | 15 | 19 |1685k|5703 | 0.000000e+00 | -- | Inf
631.71/631.76 c 632s| 3010k|643137 | 7056k| 2.3 | 559M| 45 | 6 | 50 |8103 | 50 | 15 | 19 |1691k|5712 | 0.000000e+00 | -- | Inf
633.80/633.82 c 634s| 3020k|645319 | 7079k| 2.3 | 561M| 45 | 6 | 50 |8987 | 50 | 15 | 19 |1696k|5718 | 0.000000e+00 | -- | Inf
636.21/636.29 c 636s| 3030k|647032 | 7101k| 2.3 | 562M| 45 | 6 | 50 |8013 | 50 | 15 | 19 |1702k|5726 | 0.000000e+00 | -- | Inf
638.61/638.62 c 639s| 3040k|648803 | 7123k| 2.3 | 564M| 45 | - | 50 |7483 | 50 | 15 | 19 |1708k|5737 | 0.000000e+00 | -- | Inf
640.91/640.98 c 641s| 3050k|650307 | 7147k| 2.3 | 566M| 45 | - | 50 |8703 | 50 | 15 | 19 |1714k|5746 | 0.000000e+00 | -- | Inf
643.41/643.48 c 643s| 3060k|651862 | 7170k| 2.3 | 568M| 45 | 6 | 50 |8694 | 50 | 15 | 19 |1720k|5760 | 0.000000e+00 | -- | Inf
645.61/645.64 c 646s| 3070k|653957 | 7193k| 2.3 | 569M| 45 | 6 | 50 |9204 | 50 | 15 | 19 |1726k|5774 | 0.000000e+00 | -- | Inf
647.60/647.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
647.60/647.64 c 648s| 3080k|656151 | 7216k| 2.3 | 572M| 45 | - | 50 | 10k| 50 | 15 | 19 |1731k|5781 | 0.000000e+00 | -- | Inf
649.81/649.85 c 650s| 3090k|658170 | 7240k| 2.3 | 574M| 45 | - | 50 | 11k| 50 | 15 | 19 |1737k|5788 | 0.000000e+00 | -- | Inf
652.50/652.50 c 653s| 3100k|659919 | 7262k| 2.3 | 575M| 45 | - | 50 |9159 | 0 | 0 | 19 |1743k|5794 | 0.000000e+00 | -- | Inf
654.81/654.89 c 655s| 3110k|661679 | 7286k| 2.3 | 577M| 45 | - | 50 |8982 | 50 | 15 | 19 |1749k|5804 | 0.000000e+00 | -- | Inf
657.30/657.38 c 657s| 3120k|663240 | 7308k| 2.3 | 578M| 45 | 6 | 50 |8685 | 50 | 15 | 19 |1755k|5809 | 0.000000e+00 | -- | Inf
659.51/659.59 c 660s| 3130k|664940 | 7331k| 2.3 | 580M| 45 | 6 | 50 |9810 | 50 | 15 | 19 |1761k|5813 | 0.000000e+00 | -- | Inf
662.11/662.14 c 662s| 3140k|666596 | 7354k| 2.3 | 582M| 45 | - | 50 |9209 | 50 | 15 | 19 |1767k|5826 | 0.000000e+00 | -- | Inf
664.41/664.47 c 664s| 3150k|668339 | 7377k| 2.3 | 583M| 45 | 6 | 50 |9033 | 50 | 15 | 19 |1773k|5830 | 0.000000e+00 | -- | Inf
667.01/667.04 c 667s| 3160k|670022 | 7400k| 2.3 | 585M| 45 | - | 50 |7991 | 50 | 15 | 19 |1779k|5840 | 0.000000e+00 | -- | Inf
669.20/669.25 c 669s| 3170k|671556 | 7423k| 2.3 | 587M| 45 | 6 | 50 |9215 | 50 | 15 | 19 |1785k|5845 | 0.000000e+00 | -- | Inf
671.60/671.66 c 672s| 3180k|673368 | 7446k| 2.3 | 588M| 45 | 6 | 50 |9419 | 50 | 15 | 19 |1791k|5857 | 0.000000e+00 | -- | Inf
673.71/673.72 c 674s| 3190k|675028 | 7469k| 2.3 | 590M| 45 | - | 50 | 10k| 50 | 15 | 19 |1797k|5870 | 0.000000e+00 | -- | Inf
676.11/676.19 c 676s| 3200k|676474 | 7492k| 2.3 | 592M| 45 | - | 50 | 10k| 50 | 15 | 19 |1803k|5877 | 0.000000e+00 | -- | Inf
678.31/678.31 c 678s| 3210k|678658 | 7515k| 2.3 | 594M| 45 | - | 50 | 12k| 50 | 15 | 19 |1808k|5884 | 0.000000e+00 | -- | Inf
680.51/680.60 c 681s| 3220k|680840 | 7538k| 2.3 | 596M| 45 | - | 50 | 13k| 50 | 15 | 19 |1814k|5892 | 0.000000e+00 | -- | Inf
683.31/683.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
683.31/683.35 c 683s| 3230k|682761 | 7561k| 2.3 | 597M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1820k|5896 | 0.000000e+00 | -- | Inf
685.61/685.64 c 686s| 3240k|685037 | 7584k| 2.3 | 599M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1825k|5902 | 0.000000e+00 | -- | Inf
687.91/687.91 c 688s| 3250k|686918 | 7607k| 2.3 | 601M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |1831k|5908 | 0.000000e+00 | -- | Inf
690.72/690.77 c 691s| 3260k|688572 | 7629k| 2.3 | 602M| 45 | 6 | 50 |8799 | 50 | 15 | 19 |1837k|5920 | 0.000000e+00 | -- | Inf
693.11/693.12 c 693s| 3270k|690176 | 7652k| 2.3 | 604M| 45 | 6 | 50 |9602 | 50 | 15 | 19 |1843k|5926 | 0.000000e+00 | -- | Inf
695.41/695.45 c 695s| 3280k|691980 | 7676k| 2.3 | 606M| 45 | 6 | 50 |9770 | 50 | 15 | 19 |1849k|5935 | 0.000000e+00 | -- | Inf
697.61/697.60 c 698s| 3290k|693546 | 7700k| 2.3 | 608M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1855k|5944 | 0.000000e+00 | -- | Inf
700.20/700.23 c 700s| 3300k|695034 | 7722k| 2.3 | 609M| 45 | 6 | 50 |9274 | 50 | 15 | 19 |1861k|5949 | 0.000000e+00 | -- | Inf
702.81/702.81 c 703s| 3310k|696620 | 7745k| 2.3 | 610M| 45 | - | 50 |8502 | 50 | 15 | 19 |1867k|5962 | 0.000000e+00 | -- | Inf
705.01/705.02 c 705s| 3320k|698502 | 7768k| 2.3 | 612M| 45 | 6 | 50 |9392 | 50 | 15 | 19 |1873k|5969 | 0.000000e+00 | -- | Inf
707.31/707.38 c 707s| 3330k|700321 | 7791k| 2.3 | 614M| 45 | 6 | 50 |9434 | 50 | 15 | 19 |1879k|5976 | 0.000000e+00 | -- | Inf
709.80/709.82 c 710s| 3340k|702052 | 7813k| 2.3 | 615M| 45 | 6 | 50 |8882 | 50 | 15 | 19 |1885k|5985 | 0.000000e+00 | -- | Inf
712.11/712.14 c 712s| 3350k|703769 | 7836k| 2.3 | 617M| 45 | 6 | 50 |9864 | 50 | 15 | 19 |1891k|5995 | 0.000000e+00 | -- | Inf
714.61/714.69 c 715s| 3360k|705523 | 7858k| 2.3 | 619M| 45 | 6 | 50 |9004 | 50 | 15 | 19 |1896k|6001 | 0.000000e+00 | -- | Inf
716.71/716.76 c 717s| 3370k|707620 | 7882k| 2.3 | 621M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |1902k|6003 | 0.000000e+00 | -- | Inf
718.91/718.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
718.91/718.99 c 719s| 3380k|709552 | 7906k| 2.3 | 623M| 45 | - | 50 | 11k| 50 | 15 | 19 |1908k|6005 | 0.000000e+00 | -- | Inf
721.31/721.33 c 721s| 3390k|711444 | 7930k| 2.3 | 625M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1914k|6011 | 0.000000e+00 | -- | Inf
723.71/723.80 c 724s| 3400k|713121 | 7953k| 2.3 | 626M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1919k|6021 | 0.000000e+00 | -- | Inf
726.71/726.74 c 727s| 3410k|714629 | 7976k| 2.3 | 627M| 45 | - | 50 |8668 | 0 | 0 | 19 |1926k|6029 | 0.000000e+00 | -- | Inf
728.81/728.85 c 729s| 3420k|716400 | 8000k| 2.3 | 629M| 45 | - | 50 | 10k| 50 | 15 | 19 |1932k|6036 | 0.000000e+00 | -- | Inf
731.31/731.34 c 731s| 3430k|718145 | 8023k| 2.3 | 631M| 45 | - | 50 |9237 | 50 | 15 | 19 |1938k|6042 | 0.000000e+00 | -- | Inf
733.91/733.98 c 734s| 3440k|719703 | 8045k| 2.3 | 632M| 45 | 6 | 50 |7743 | 50 | 15 | 19 |1944k|6045 | 0.000000e+00 | -- | Inf
736.11/736.10 c 736s| 3450k|721449 | 8069k| 2.3 | 634M| 45 | 6 | 50 |8688 | 50 | 15 | 19 |1950k|6051 | 0.000000e+00 | -- | Inf
738.11/738.18 c 738s| 3460k|723377 | 8090k| 2.3 | 636M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |1955k|6053 | 0.000000e+00 | -- | Inf
740.32/740.40 c 740s| 3470k|725702 | 8113k| 2.3 | 638M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |1960k|6054 | 0.000000e+00 | -- | Inf
742.61/742.60 c 743s| 3480k|728220 | 8136k| 2.3 | 640M| 45 | - | 50 | 13k| 0 | 0 | 19 |1965k|6062 | 0.000000e+00 | -- | Inf
744.91/744.99 c 745s| 3490k|730410 | 8160k| 2.3 | 642M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |1971k|6068 | 0.000000e+00 | -- | Inf
747.61/747.61 c 748s| 3500k|732403 | 8182k| 2.3 | 644M| 45 | 6 | 50 | 15k| 50 | 15 | 19 |1976k|6072 | 0.000000e+00 | -- | Inf
750.41/750.43 c 750s| 3510k|734163 | 8205k| 2.3 | 646M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |1982k|6082 | 0.000000e+00 | -- | Inf
753.31/753.32 c 753s| 3520k|735869 | 8228k| 2.3 | 648M| 45 | - | 50 | 15k| 0 | 0 | 19 |1987k|6088 | 0.000000e+00 | -- | Inf
755.91/755.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
755.91/755.96 c 756s| 3530k|737666 | 8250k| 2.3 | 650M| 45 | 6 | 50 | 16k| 50 | 15 | 19 |1993k|6094 | 0.000000e+00 | -- | Inf
758.61/758.69 c 759s| 3540k|739548 | 8273k| 2.3 | 651M| 45 | - | 50 | 17k| 50 | 15 | 19 |1998k|6105 | 0.000000e+00 | -- | Inf
761.61/761.68 c 762s| 3550k|741294 | 8296k| 2.3 | 653M| 45 | - | 50 | 17k| 50 | 15 | 19 |2004k|6114 | 0.000000e+00 | -- | Inf
764.71/764.72 c 765s| 3560k|742882 | 8319k| 2.3 | 654M| 45 | - | 50 | 16k| 50 | 15 | 19 |2010k|6117 | 0.000000e+00 | -- | Inf
767.41/767.47 c 767s| 3570k|744740 | 8340k| 2.3 | 656M| 45 | - | 50 | 16k| 50 | 15 | 19 |2015k|6121 | 0.000000e+00 | -- | Inf
770.71/770.76 c 771s| 3580k|746118 | 8363k| 2.3 | 657M| 45 | 6 | 50 | 15k| 50 | 15 | 19 |2021k|6127 | 0.000000e+00 | -- | Inf
773.61/773.61 c 774s| 3590k|747814 | 8384k| 2.3 | 659M| 45 | 6 | 50 | 16k| 50 | 15 | 19 |2026k|6127 | 0.000000e+00 | -- | Inf
776.81/776.81 c 777s| 3600k|749290 | 8407k| 2.3 | 660M| 45 | 6 | 50 | 15k| 50 | 15 | 19 |2032k|6129 | 0.000000e+00 | -- | Inf
779.51/779.57 c 780s| 3610k|751153 | 8430k| 2.3 | 662M| 45 | - | 50 | 16k| 50 | 15 | 19 |2037k|6134 | 0.000000e+00 | -- | Inf
783.01/783.01 c 783s| 3620k|752744 | 8453k| 2.3 | 663M| 45 | - | 50 | 12k| 50 | 15 | 19 |2043k|6140 | 0.000000e+00 | -- | Inf
785.11/785.19 c 785s| 3630k|754816 | 8476k| 2.3 | 665M| 45 | - | 50 | 14k| 50 | 15 | 19 |2049k|6150 | 0.000000e+00 | -- | Inf
788.11/788.10 c 788s| 3640k|756447 | 8499k| 2.3 | 666M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2055k|6153 | 0.000000e+00 | -- | Inf
790.61/790.69 c 791s| 3650k|758273 | 8522k| 2.3 | 668M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |2061k|6162 | 0.000000e+00 | -- | Inf
793.21/793.28 c 793s| 3660k|759985 | 8545k| 2.3 | 669M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |2067k|6170 | 0.000000e+00 | -- | Inf
795.81/795.80 c 796s| 3670k|761624 | 8567k| 2.3 | 671M| 45 | - | 50 |9993 | 50 | 15 | 19 |2073k|6175 | 0.000000e+00 | -- | Inf
798.51/798.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
798.51/798.58 c 799s| 3680k|763152 | 8590k| 2.3 | 672M| 45 | - | 50 |8578 | 50 | 15 | 19 |2079k|6185 | 0.000000e+00 | -- | Inf
801.21/801.29 c 801s| 3690k|764756 | 8612k| 2.3 | 674M| 45 | 6 | 50 |7290 | 50 | 15 | 19 |2085k|6193 | 0.000000e+00 | -- | Inf
803.71/803.71 c 804s| 3700k|766319 | 8635k| 2.3 | 675M| 45 | 6 | 50 |7518 | 50 | 15 | 19 |2091k|6204 | 0.000000e+00 | -- | Inf
806.01/806.04 c 806s| 3710k|767953 | 8657k| 2.3 | 677M| 45 | - | 50 |7704 | 50 | 15 | 19 |2097k|6210 | 0.000000e+00 | -- | Inf
808.52/808.52 c 809s| 3720k|769460 | 8680k| 2.3 | 679M| 45 | 6 | 50 |8037 | 50 | 15 | 19 |2103k|6219 | 0.000000e+00 | -- | Inf
811.01/811.00 c 811s| 3730k|771096 | 8702k| 2.3 | 680M| 45 | - | 50 |8335 | 50 | 15 | 19 |2109k|6226 | 0.000000e+00 | -- | Inf
813.51/813.51 c 814s| 3740k|772659 | 8725k| 2.3 | 682M| 45 | - | 50 |8448 | 50 | 15 | 19 |2115k|6232 | 0.000000e+00 | -- | Inf
815.91/815.96 c 816s| 3750k|774201 | 8748k| 2.3 | 684M| 45 | 6 | 50 |8241 | 50 | 15 | 19 |2121k|6237 | 0.000000e+00 | -- | Inf
818.51/818.50 c 818s| 3760k|775712 | 8771k| 2.3 | 685M| 45 | 6 | 50 |8043 | 50 | 15 | 19 |2127k|6249 | 0.000000e+00 | -- | Inf
820.91/820.94 c 821s| 3770k|777293 | 8794k| 2.3 | 687M| 45 | - | 50 |7837 | 50 | 15 | 19 |2133k|6253 | 0.000000e+00 | -- | Inf
823.11/823.15 c 823s| 3780k|779233 | 8817k| 2.3 | 689M| 45 | 6 | 50 |8626 | 50 | 15 | 19 |2138k|6263 | 0.000000e+00 | -- | Inf
825.12/825.19 c 825s| 3790k|781630 | 8842k| 2.3 | 691M| 45 | - | 50 | 10k| 50 | 15 | 19 |2144k|6270 | 0.000000e+00 | -- | Inf
827.41/827.49 c 827s| 3800k|783595 | 8865k| 2.3 | 693M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2150k|6279 | 0.000000e+00 | -- | Inf
829.81/829.80 c 830s| 3810k|785405 | 8889k| 2.3 | 695M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2156k|6287 | 0.000000e+00 | -- | Inf
832.21/832.23 c 832s| 3820k|787150 | 8913k| 2.3 | 697M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2162k|6295 | 0.000000e+00 | -- | Inf
834.81/834.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
834.81/834.88 c 835s| 3830k|788697 | 8936k| 2.3 | 698M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2168k|6304 | 0.000000e+00 | -- | Inf
837.61/837.68 c 838s| 3840k|790404 | 8960k| 2.3 | 699M| 45 | - | 50 | 10k| 50 | 15 | 19 |2174k|6310 | 0.000000e+00 | -- | Inf
840.21/840.24 c 840s| 3850k|792195 | 8982k| 2.3 | 701M| 45 | 6 | 50 |9293 | 50 | 15 | 19 |2180k|6313 | 0.000000e+00 | -- | Inf
842.21/842.29 c 842s| 3860k|794497 | 9005k| 2.3 | 703M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |2185k|6322 | 0.000000e+00 | -- | Inf
844.61/844.67 c 845s| 3870k|796216 | 9027k| 2.3 | 705M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2191k|6330 | 0.000000e+00 | -- | Inf
847.51/847.53 c 848s| 3880k|797580 | 9050k| 2.3 | 706M| 45 | - | 50 |9381 | 50 | 15 | 19 |2197k|6337 | 0.000000e+00 | -- | Inf
850.01/850.04 c 850s| 3890k|799178 | 9073k| 2.3 | 707M| 45 | - | 50 |8798 | 50 | 15 | 19 |2203k|6341 | 0.000000e+00 | -- | Inf
852.11/852.18 c 852s| 3900k|801285 | 9096k| 2.3 | 709M| 45 | - | 50 |9752 | 50 | 15 | 19 |2209k|6347 | 0.000000e+00 | -- | Inf
854.12/854.17 c 854s| 3910k|803611 | 9120k| 2.3 | 712M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2215k|6353 | 0.000000e+00 | -- | Inf
856.41/856.44 c 856s| 3920k|805779 | 9144k| 2.3 | 714M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2220k|6357 | 0.000000e+00 | -- | Inf
858.81/858.84 c 859s| 3930k|807559 | 9168k| 2.3 | 715M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2226k|6364 | 0.000000e+00 | -- | Inf
861.32/861.34 c 861s| 3940k|809346 | 9192k| 2.3 | 717M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2232k|6368 | 0.000000e+00 | -- | Inf
863.81/863.84 c 864s| 3950k|811399 | 9216k| 2.3 | 719M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2238k|6374 | 0.000000e+00 | -- | Inf
866.51/866.51 c 867s| 3960k|813052 | 9240k| 2.3 | 721M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |2244k|6377 | 0.000000e+00 | -- | Inf
868.91/868.99 c 869s| 3970k|815204 | 9264k| 2.3 | 723M| 45 | - | 50 | 14k| 50 | 15 | 19 |2250k|6382 | 0.000000e+00 | -- | Inf
871.82/871.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
871.82/871.89 c 872s| 3980k|816855 | 9287k| 2.3 | 724M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |2255k|6387 | 0.000000e+00 | -- | Inf
874.71/874.74 c 875s| 3990k|818342 | 9310k| 2.3 | 726M| 45 | - | 50 | 13k| 50 | 15 | 19 |2262k|6393 | 0.000000e+00 | -- | Inf
877.61/877.70 c 878s| 4000k|820000 | 9333k| 2.3 | 726M| 45 | - | 50 |9749 | 50 | 15 | 19 |2267k|6407 | 0.000000e+00 | -- | Inf
880.41/880.44 c 880s| 4010k|821589 | 9355k| 2.3 | 728M| 45 | 6 | 50 |8735 | 50 | 15 | 19 |2274k|6413 | 0.000000e+00 | -- | Inf
882.91/882.95 c 883s| 4020k|823197 | 9378k| 2.3 | 729M| 45 | 6 | 50 |8588 | 50 | 15 | 19 |2279k|6417 | 0.000000e+00 | -- | Inf
885.01/885.02 c 885s| 4030k|825472 | 9402k| 2.3 | 732M| 45 | - | 50 | 10k| 50 | 15 | 19 |2285k|6421 | 0.000000e+00 | -- | Inf
887.42/887.40 c 887s| 4040k|827229 | 9426k| 2.3 | 734M| 45 | - | 50 | 11k| 50 | 15 | 19 |2291k|6428 | 0.000000e+00 | -- | Inf
890.01/890.02 c 890s| 4050k|828881 | 9448k| 2.3 | 735M| 45 | 6 | 50 |9236 | 50 | 15 | 19 |2297k|6432 | 0.000000e+00 | -- | Inf
892.62/892.67 c 893s| 4060k|830496 | 9470k| 2.3 | 736M| 45 | 6 | 50 |7993 | 50 | 15 | 19 |2303k|6437 | 0.000000e+00 | -- | Inf
894.61/894.63 c 895s| 4070k|833071 | 9493k| 2.3 | 739M| 45 | 6 | 50 |9790 | 50 | 15 | 19 |2308k|6444 | 0.000000e+00 | -- | Inf
896.81/896.87 c 897s| 4080k|834981 | 9514k| 2.3 | 740M| 45 | - | 50 | 10k| 50 | 15 | 19 |2314k|6458 | 0.000000e+00 | -- | Inf
899.42/899.49 c 899s| 4090k|836607 | 9537k| 2.3 | 742M| 45 | 6 | 50 |8927 | 50 | 15 | 19 |2320k|6468 | 0.000000e+00 | -- | Inf
902.01/902.05 c 902s| 4100k|838133 | 9559k| 2.3 | 743M| 45 | - | 50 |8070 | 50 | 15 | 19 |2326k|6474 | 0.000000e+00 | -- | Inf
904.21/904.26 c 904s| 4110k|839971 | 9582k| 2.3 | 745M| 45 | 6 | 50 |8660 | 50 | 15 | 19 |2332k|6479 | 0.000000e+00 | -- | Inf
906.62/906.67 c 907s| 4120k|841650 | 9605k| 2.3 | 747M| 45 | 6 | 50 |8064 | 50 | 15 | 19 |2337k|6484 | 0.000000e+00 | -- | Inf
908.62/908.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
908.62/908.62 c 909s| 4130k|844020 | 9628k| 2.3 | 749M| 45 | 6 | 50 |9635 | 50 | 15 | 19 |2343k|6496 | 0.000000e+00 | -- | Inf
910.72/910.79 c 911s| 4140k|845787 | 9651k| 2.3 | 751M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2348k|6501 | 0.000000e+00 | -- | Inf
913.02/913.05 c 913s| 4150k|847765 | 9675k| 2.3 | 753M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2354k|6505 | 0.000000e+00 | -- | Inf
915.82/915.81 c 916s| 4160k|849339 | 9697k| 2.3 | 754M| 45 | - | 50 | 11k| 50 | 15 | 19 |2360k|6516 | 0.000000e+00 | -- | Inf
918.31/918.36 c 918s| 4170k|851515 | 9720k| 2.3 | 756M| 45 | 6 | 50 |9885 | 50 | 15 | 19 |2366k|6519 | 0.000000e+00 | -- | Inf
920.42/920.47 c 920s| 4180k|853785 | 9743k| 2.3 | 758M| 45 | - | 50 | 11k| 50 | 15 | 19 |2371k|6523 | 0.000000e+00 | -- | Inf
922.72/922.78 c 923s| 4190k|855730 | 9766k| 2.3 | 760M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2377k|6525 | 0.000000e+00 | -- | Inf
925.21/925.21 c 925s| 4200k|857648 | 9788k| 2.3 | 762M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2382k|6529 | 0.000000e+00 | -- | Inf
927.61/927.67 c 928s| 4210k|859503 | 9812k| 2.3 | 764M| 45 | - | 50 | 12k| 50 | 15 | 19 |2388k|6533 | 0.000000e+00 | -- | Inf
930.21/930.21 c 930s| 4220k|861172 | 9835k| 2.3 | 765M| 45 | - | 50 | 13k| 50 | 15 | 19 |2394k|6538 | 0.000000e+00 | -- | Inf
933.01/933.02 c 933s| 4230k|862656 | 9857k| 2.3 | 767M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2400k|6540 | 0.000000e+00 | -- | Inf
935.71/935.78 c 936s| 4240k|864221 | 9880k| 2.3 | 768M| 45 | 6 | 50 |9606 | 50 | 15 | 19 |2406k|6544 | 0.000000e+00 | -- | Inf
938.11/938.11 c 938s| 4250k|866202 | 9903k| 2.3 | 770M| 45 | 6 | 50 |9706 | 50 | 15 | 19 |2411k|6548 | 0.000000e+00 | -- | Inf
940.72/940.78 c 941s| 4260k|867748 | 9925k| 2.3 | 771M| 45 | 6 | 50 |8458 | 50 | 15 | 19 |2417k|6560 | 0.000000e+00 | -- | Inf
943.31/943.34 c 943s| 4270k|869390 | 9947k| 2.3 | 773M| 45 | 6 | 50 |8182 | 50 | 15 | 19 |2423k|6564 | 0.000000e+00 | -- | Inf
945.52/945.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
945.52/945.58 c 946s| 4280k|871594 | 9970k| 2.3 | 774M| 45 | 6 | 50 |8613 | 50 | 15 | 19 |2429k|6569 | 0.000000e+00 | -- | Inf
947.51/947.57 c 948s| 4290k|874062 | 9991k| 2.3 | 777M| 45 | 6 | 50 |9942 | 50 | 15 | 19 |2434k|6572 | 0.000000e+00 | -- | Inf
949.91/949.96 c 950s| 4300k|876015 | 10014k| 2.3 | 778M| 45 | 6 | 50 |9873 | 50 | 15 | 19 |2439k|6578 | 0.000000e+00 | -- | Inf
952.42/952.43 c 952s| 4310k|877606 | 10037k| 2.3 | 780M| 45 | - | 50 | 10k| 50 | 15 | 19 |2445k|6583 | 0.000000e+00 | -- | Inf
955.21/955.26 c 955s| 4320k|879164 | 10059k| 2.3 | 781M| 45 | 6 | 50 |8196 | 50 | 15 | 19 |2451k|6588 | 0.000000e+00 | -- | Inf
957.71/957.73 c 958s| 4330k|880685 | 10082k| 2.3 | 783M| 45 | 6 | 50 |8719 | 50 | 15 | 19 |2457k|6589 | 0.000000e+00 | -- | Inf
960.32/960.38 c 960s| 4340k|882279 | 10104k| 2.3 | 784M| 45 | 6 | 50 |7698 | 50 | 15 | 19 |2463k|6592 | 0.000000e+00 | -- | Inf
962.52/962.56 c 963s| 4350k|883975 | 10127k| 2.3 | 786M| 45 | 6 | 50 |9367 | 50 | 15 | 19 |2469k|6599 | 0.000000e+00 | -- | Inf
965.22/965.29 c 965s| 4360k|885319 | 10150k| 2.3 | 787M| 45 | 6 | 50 |7707 | 50 | 15 | 19 |2475k|6605 | 0.000000e+00 | -- | Inf
967.21/967.30 c 967s| 4370k|887286 | 10173k| 2.3 | 790M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |2481k|6607 | 0.000000e+00 | -- | Inf
969.82/969.80 c 970s| 4380k|888874 | 10195k| 2.3 | 791M| 45 | 6 | 50 |9470 | 50 | 15 | 19 |2487k|6614 | 0.000000e+00 | -- | Inf
972.12/972.15 c 972s| 4390k|890702 | 10217k| 2.3 | 793M| 45 | - | 50 |9975 | 50 | 15 | 19 |2492k|6615 | 0.000000e+00 | -- | Inf
974.82/974.83 c 975s| 4400k|892240 | 10240k| 2.3 | 794M| 45 | 6 | 50 |8867 | 50 | 15 | 19 |2498k|6624 | 0.000000e+00 | -- | Inf
976.92/976.97 c 977s| 4410k|894270 | 10263k| 2.3 | 797M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2504k|6628 | 0.000000e+00 | -- | Inf
979.72/979.70 c 980s| 4420k|895915 | 10286k| 2.3 | 798M| 45 | - | 50 |9513 | 50 | 15 | 19 |2510k|6633 | 0.000000e+00 | -- | Inf
982.02/982.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
982.02/982.00 c 982s| 4430k|897837 | 10308k| 2.3 | 800M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |2515k|6635 | 0.000000e+00 | -- | Inf
984.62/984.63 c 985s| 4440k|899653 | 10330k| 2.3 | 801M| 45 | 6 | 50 |8539 | 50 | 15 | 19 |2521k|6640 | 0.000000e+00 | -- | Inf
986.72/986.74 c 987s| 4450k|901754 | 10353k| 2.3 | 803M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |2526k|6644 | 0.000000e+00 | -- | Inf
988.92/988.99 c 989s| 4460k|903738 | 10376k| 2.3 | 805M| 45 | - | 50 | 11k| 0 | 0 | 19 |2532k|6647 | 0.000000e+00 | -- | Inf
991.71/991.79 c 992s| 4470k|905369 | 10398k| 2.3 | 806M| 45 | 6 | 50 |8912 | 50 | 15 | 19 |2538k|6656 | 0.000000e+00 | -- | Inf
994.52/994.51 c 995s| 4480k|906979 | 10421k| 2.3 | 808M| 45 | 6 | 50 |8383 | 50 | 15 | 19 |2544k|6662 | 0.000000e+00 | -- | Inf
996.81/996.89 c 997s| 4490k|908805 | 10444k| 2.3 | 810M| 45 | - | 50 |8737 | 50 | 15 | 19 |2549k|6670 | 0.000000e+00 | -- | Inf
998.82/998.83 c 999s| 4500k|910863 | 10466k| 2.3 | 812M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |2554k|6672 | 0.000000e+00 | -- | Inf
1000.92/1000.96 c 1001s| 4510k|912626 | 10488k| 2.3 | 814M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2560k|6678 | 0.000000e+00 | -- | Inf
1003.41/1003.46 c 1003s| 4520k|914594 | 10511k| 2.3 | 815M| 45 | 6 | 50 |9807 | 50 | 15 | 19 |2565k|6683 | 0.000000e+00 | -- | Inf
1005.62/1005.69 c 1006s| 4530k|916443 | 10533k| 2.3 | 817M| 45 | - | 50 | 11k| 50 | 15 | 19 |2571k|6687 | 0.000000e+00 | -- | Inf
1008.62/1008.63 c 1009s| 4540k|917797 | 10556k| 2.3 | 818M| 45 | - | 50 |9437 | 50 | 15 | 19 |2577k|6693 | 0.000000e+00 | -- | Inf
1010.82/1010.80 c 1011s| 4550k|919977 | 10580k| 2.3 | 820M| 45 | - | 50 | 10k| 50 | 15 | 19 |2583k|6703 | 0.000000e+00 | -- | Inf
1013.12/1013.20 c 1013s| 4560k|922032 | 10602k| 2.3 | 822M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2588k|6710 | 0.000000e+00 | -- | Inf
1015.61/1015.61 c 1016s| 4570k|923759 | 10625k| 2.3 | 824M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2594k|6716 | 0.000000e+00 | -- | Inf
1018.62/1018.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1018.62/1018.64 c 1019s| 4580k|925284 | 10648k| 2.3 | 825M| 45 | 6 | 50 |9042 | 50 | 15 | 19 |2600k|6719 | 0.000000e+00 | -- | Inf
1020.62/1020.69 c 1021s| 4590k|927926 | 10671k| 2.3 | 827M| 45 | - | 50 | 10k| 50 | 15 | 19 |2605k|6730 | 0.000000e+00 | -- | Inf
1022.92/1022.96 c 1023s| 4600k|930051 | 10693k| 2.3 | 830M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2611k|6737 | 0.000000e+00 | -- | Inf
1025.32/1025.30 c 1025s| 4610k|931887 | 10715k| 2.3 | 832M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2617k|6745 | 0.000000e+00 | -- | Inf
1028.02/1028.08 c 1028s| 4620k|933672 | 10737k| 2.3 | 833M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2622k|6752 | 0.000000e+00 | -- | Inf
1030.81/1030.82 c 1031s| 4630k|935663 | 10759k| 2.3 | 834M| 45 | 6 | 50 |8544 | 50 | 15 | 19 |2628k|6759 | 0.000000e+00 | -- | Inf
1032.92/1032.96 c 1033s| 4640k|937615 | 10781k| 2.3 | 836M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |2633k|6767 | 0.000000e+00 | -- | Inf
1035.81/1035.84 c 1036s| 4650k|939017 | 10803k| 2.3 | 837M| 45 | 6 | 50 |8043 | 50 | 15 | 19 |2639k|6774 | 0.000000e+00 | -- | Inf
1038.21/1038.21 c 1038s| 4660k|940566 | 10825k| 2.3 | 839M| 45 | - | 50 |8757 | 50 | 15 | 19 |2645k|6785 | 0.000000e+00 | -- | Inf
1040.91/1040.99 c 1041s| 4670k|941964 | 10848k| 2.3 | 840M| 45 | - | 50 |8114 | 50 | 15 | 19 |2651k|6796 | 0.000000e+00 | -- | Inf
1043.52/1043.55 c 1044s| 4680k|943451 | 10870k| 2.3 | 842M| 45 | 6 | 50 |8490 | 50 | 15 | 19 |2658k|6807 | 0.000000e+00 | -- | Inf
1046.22/1046.22 c 1046s| 4690k|944909 | 10892k| 2.3 | 843M| 45 | 6 | 50 |7282 | 50 | 15 | 19 |2664k|6810 | 0.000000e+00 | -- | Inf
1048.52/1048.50 c 1049s| 4700k|946700 | 10915k| 2.3 | 845M| 45 | - | 50 |8495 | 50 | 15 | 19 |2669k|6814 | 0.000000e+00 | -- | Inf
1051.21/1051.27 c 1051s| 4710k|948002 | 10938k| 2.3 | 847M| 45 | - | 50 |7637 | 50 | 15 | 19 |2675k|6821 | 0.000000e+00 | -- | Inf
1053.22/1053.29 c 1053s| 4720k|950132 | 10961k| 2.3 | 849M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |2681k|6826 | 0.000000e+00 | -- | Inf
1055.32/1055.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1055.32/1055.38 c 1055s| 4730k|952160 | 10985k| 2.3 | 851M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2687k|6832 | 0.000000e+00 | -- | Inf
1057.52/1057.54 c 1058s| 4740k|954166 | 11008k| 2.3 | 853M| 45 | - | 50 | 13k| 50 | 15 | 19 |2693k|6840 | 0.000000e+00 | -- | Inf
1059.92/1059.93 c 1060s| 4750k|956297 | 11031k| 2.3 | 855M| 45 | - | 50 | 14k| 50 | 15 | 19 |2699k|6844 | 0.000000e+00 | -- | Inf
1062.52/1062.53 c 1063s| 4760k|958269 | 11055k| 2.3 | 857M| 45 | 6 | 50 | 15k| 50 | 15 | 19 |2705k|6847 | 0.000000e+00 | -- | Inf
1065.21/1065.24 c 1065s| 4770k|960374 | 11078k| 2.3 | 859M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |2710k|6849 | 0.000000e+00 | -- | Inf
1068.42/1068.41 c 1068s| 4780k|962101 | 11102k| 2.3 | 860M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2716k|6852 | 0.000000e+00 | -- | Inf
1070.62/1070.68 c 1071s| 4790k|964277 | 11123k| 2.3 | 862M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2722k|6855 | 0.000000e+00 | -- | Inf
1073.42/1073.45 c 1073s| 4800k|966279 | 11146k| 2.3 | 863M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2727k|6862 | 0.000000e+00 | -- | Inf
1076.11/1076.14 c 1076s| 4810k|968261 | 11169k| 2.3 | 865M| 45 | - | 50 | 11k| 50 | 15 | 19 |2733k|6864 | 0.000000e+00 | -- | Inf
1078.62/1078.67 c 1079s| 4820k|970234 | 11190k| 2.3 | 867M| 45 | - | 50 | 11k| 50 | 15 | 19 |2738k|6871 | 0.000000e+00 | -- | Inf
1081.51/1081.51 c 1082s| 4830k|971814 | 11213k| 2.3 | 868M| 45 | 6 | 50 |9459 | 50 | 15 | 19 |2744k|6876 | 0.000000e+00 | -- | Inf
1083.91/1083.96 c 1084s| 4840k|973483 | 11235k| 2.3 | 870M| 45 | - | 50 |9778 | 50 | 15 | 19 |2750k|6885 | 0.000000e+00 | -- | Inf
1086.62/1086.67 c 1087s| 4850k|975094 | 11257k| 2.3 | 871M| 45 | 6 | 50 |8571 | 50 | 15 | 19 |2756k|6888 | 0.000000e+00 | -- | Inf
1089.42/1089.45 c 1089s| 4860k|976659 | 11280k| 2.3 | 873M| 45 | 6 | 50 |8283 | 50 | 15 | 19 |2762k|6895 | 0.000000e+00 | -- | Inf
1091.92/1091.96 c 1092s| 4870k|978304 | 11303k| 2.3 | 874M| 45 | - | 50 |8606 | 50 | 15 | 19 |2768k|6897 | 0.000000e+00 | -- | Inf
1094.53/1094.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1094.53/1094.54 c 1095s| 4880k|979915 | 11325k| 2.3 | 876M| 45 | 6 | 50 |7755 | 50 | 15 | 19 |2774k|6900 | 0.000000e+00 | -- | Inf
1096.72/1096.74 c 1097s| 4890k|981869 | 11348k| 2.3 | 878M| 45 | 6 | 50 |9498 | 50 | 15 | 19 |2780k|6909 | 0.000000e+00 | -- | Inf
1099.32/1099.33 c 1099s| 4900k|983539 | 11370k| 2.3 | 879M| 45 | 6 | 50 |8087 | 50 | 15 | 19 |2786k|6914 | 0.000000e+00 | -- | Inf
1101.61/1101.62 c 1102s| 4910k|985438 | 11392k| 2.3 | 881M| 45 | 6 | 50 |8478 | 50 | 15 | 19 |2791k|6916 | 0.000000e+00 | -- | Inf
1104.01/1104.05 c 1104s| 4920k|987034 | 11415k| 2.3 | 883M| 45 | - | 50 |9010 | 50 | 15 | 19 |2797k|6924 | 0.000000e+00 | -- | Inf
1106.82/1106.82 c 1107s| 4930k|988492 | 11437k| 2.3 | 884M| 45 | 6 | 50 |8286 | 50 | 15 | 19 |2803k|6929 | 0.000000e+00 | -- | Inf
1109.22/1109.28 c 1109s| 4940k|990064 | 11459k| 2.3 | 886M| 45 | 6 | 50 |8662 | 50 | 15 | 19 |2809k|6932 | 0.000000e+00 | -- | Inf
1111.52/1111.59 c 1112s| 4950k|991933 | 11482k| 2.3 | 888M| 45 | 6 | 50 |9415 | 50 | 15 | 19 |2815k|6937 | 0.000000e+00 | -- | Inf
1114.02/1114.03 c 1114s| 4960k|993689 | 11504k| 2.3 | 889M| 45 | 6 | 50 |9763 | 50 | 15 | 19 |2820k|6941 | 0.000000e+00 | -- | Inf
1116.72/1116.70 c 1117s| 4970k|995017 | 11528k| 2.3 | 891M| 45 | 6 | 50 |9243 | 50 | 15 | 19 |2827k|6951 | 0.000000e+00 | -- | Inf
1119.21/1119.27 c 1119s| 4980k|996802 | 11550k| 2.3 | 892M| 45 | 6 | 50 |8798 | 50 | 15 | 19 |2832k|6954 | 0.000000e+00 | -- | Inf
1121.92/1121.98 c 1122s| 4990k|998239 | 11572k| 2.3 | 894M| 45 | 6 | 50 |8187 | 50 | 15 | 19 |2839k|6960 | 0.000000e+00 | -- | Inf
1124.51/1124.54 c 1125s| 5000k|999883 | 11595k| 2.3 | 896M| 45 | 6 | 50 |9175 | 50 | 15 | 19 |2845k|6965 | 0.000000e+00 | -- | Inf
1127.11/1127.14 c 1127s| 5010k| 1001k| 11617k| 2.3 | 897M| 45 | 6 | 50 |8895 | 50 | 15 | 19 |2850k|6970 | 0.000000e+00 | -- | Inf
1129.62/1129.69 c 1130s| 5020k| 1002k| 11640k| 2.3 | 899M| 45 | 6 | 50 |9033 | 50 | 15 | 19 |2856k|6974 | 0.000000e+00 | -- | Inf
1132.42/1132.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1132.42/1132.42 c 1132s| 5030k| 1004k| 11663k| 2.3 | 900M| 45 | 6 | 50 |7980 | 50 | 15 | 19 |2862k|6978 | 0.000000e+00 | -- | Inf
1135.13/1135.12 c 1135s| 5040k| 1005k| 11685k| 2.3 | 902M| 45 | 6 | 50 |7798 | 50 | 15 | 19 |2868k|6982 | 0.000000e+00 | -- | Inf
1137.62/1137.63 c 1138s| 5050k| 1007k| 11707k| 2.3 | 903M| 45 | 6 | 50 |8226 | 50 | 15 | 19 |2875k|6986 | 0.000000e+00 | -- | Inf
1140.02/1140.00 c 1140s| 5060k| 1008k| 11730k| 2.3 | 905M| 45 | 6 | 50 |9174 | 50 | 15 | 19 |2881k|6991 | 0.000000e+00 | -- | Inf
1142.32/1142.31 c 1142s| 5070k| 1010k| 11753k| 2.3 | 907M| 45 | - | 50 | 10k| 50 | 15 | 19 |2887k|6996 | 0.000000e+00 | -- | Inf
1145.13/1145.10 c 1145s| 5080k| 1011k| 11775k| 2.3 | 908M| 45 | - | 50 |8572 | 50 | 15 | 19 |2893k|7000 | 0.000000e+00 | -- | Inf
1147.92/1147.90 c 1148s| 5090k| 1013k| 11797k| 2.3 | 909M| 45 | - | 50 |7064 | 50 | 15 | 19 |2899k|7002 | 0.000000e+00 | -- | Inf
1150.22/1150.22 c 1150s| 5100k| 1014k| 11819k| 2.3 | 911M| 45 | - | 50 |8151 | 50 | 15 | 19 |2905k|7006 | 0.000000e+00 | -- | Inf
1152.51/1152.51 c 1153s| 5110k| 1016k| 11843k| 2.3 | 913M| 45 | - | 50 | 10k| 0 | 0 | 19 |2911k|7015 | 0.000000e+00 | -- | Inf
1155.42/1155.44 c 1155s| 5120k| 1017k| 11865k| 2.3 | 914M| 45 | 6 | 50 |7745 | 50 | 15 | 19 |2917k|7019 | 0.000000e+00 | -- | Inf
1157.72/1157.73 c 1158s| 5130k| 1019k| 11889k| 2.3 | 916M| 45 | 6 | 50 |9210 | 50 | 15 | 19 |2923k|7024 | 0.000000e+00 | -- | Inf
1160.12/1160.12 c 1160s| 5140k| 1021k| 11911k| 2.3 | 918M| 45 | 6 | 50 |9409 | 50 | 15 | 19 |2929k|7030 | 0.000000e+00 | -- | Inf
1162.52/1162.50 c 1162s| 5150k| 1023k| 11933k| 2.3 | 920M| 45 | - | 50 |9983 | 50 | 15 | 19 |2934k|7034 | 0.000000e+00 | -- | Inf
1164.62/1164.68 c 1165s| 5160k| 1025k| 11956k| 2.3 | 922M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2940k|7040 | 0.000000e+00 | -- | Inf
1167.22/1167.21 c 1167s| 5170k| 1027k| 11979k| 2.3 | 924M| 45 | - | 50 | 12k| 50 | 15 | 19 |2945k|7042 | 0.000000e+00 | -- | Inf
1170.12/1170.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1170.12/1170.15 c 1170s| 5180k| 1028k| 12001k| 2.3 | 925M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2951k|7051 | 0.000000e+00 | -- | Inf
1173.12/1173.14 c 1173s| 5190k| 1030k| 12023k| 2.3 | 926M| 45 | - | 50 |8929 | 50 | 15 | 19 |2957k|7053 | 0.000000e+00 | -- | Inf
1175.32/1175.35 c 1175s| 5200k| 1032k| 12047k| 2.3 | 928M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |2963k|7054 | 0.000000e+00 | -- | Inf
1177.72/1177.72 c 1178s| 5210k| 1033k| 12071k| 2.3 | 930M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2968k|7056 | 0.000000e+00 | -- | Inf
1180.82/1180.80 c 1181s| 5220k| 1035k| 12093k| 2.3 | 931M| 45 | - | 50 |7897 | 50 | 15 | 19 |2974k|7066 | 0.000000e+00 | -- | Inf
1183.42/1183.44 c 1183s| 5230k| 1036k| 12115k| 2.3 | 932M| 45 | - | 50 |8266 | 0 | 0 | 19 |2980k|7071 | 0.000000e+00 | -- | Inf
1185.83/1185.85 c 1186s| 5240k| 1038k| 12137k| 2.3 | 934M| 45 | 6 | 50 |9347 | 50 | 15 | 19 |2986k|7074 | 0.000000e+00 | -- | Inf
1188.12/1188.12 c 1188s| 5250k| 1040k| 12160k| 2.3 | 937M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |2992k|7077 | 0.000000e+00 | -- | Inf
1190.92/1190.95 c 1191s| 5260k| 1042k| 12182k| 2.3 | 938M| 45 | 6 | 50 |8681 | 50 | 15 | 19 |2998k|7080 | 0.000000e+00 | -- | Inf
1193.82/1193.81 c 1194s| 5270k| 1043k| 12204k| 2.3 | 939M| 45 | 6 | 50 |7295 | 50 | 15 | 19 |3004k|7084 | 0.000000e+00 | -- | Inf
1196.42/1196.43 c 1196s| 5280k| 1045k| 12227k| 2.3 | 941M| 45 | 6 | 50 |8174 | 50 | 15 | 19 |3010k|7088 | 0.000000e+00 | -- | Inf
1198.62/1198.66 c 1199s| 5290k| 1046k| 12249k| 2.3 | 943M| 45 | 6 | 50 |8944 | 50 | 15 | 19 |3016k|7094 | 0.000000e+00 | -- | Inf
1201.12/1201.18 c 1201s| 5300k| 1048k| 12271k| 2.3 | 944M| 45 | 6 | 50 |8411 | 50 | 15 | 19 |3022k|7097 | 0.000000e+00 | -- | Inf
1203.92/1203.99 c 1204s| 5310k| 1049k| 12293k| 2.3 | 945M| 45 | 6 | 50 |7508 | 50 | 15 | 19 |3028k|7100 | 0.000000e+00 | -- | Inf
1206.22/1206.25 c 1206s| 5320k| 1051k| 12316k| 2.3 | 947M| 45 | 6 | 50 |8732 | 50 | 15 | 19 |3034k|7105 | 0.000000e+00 | -- | Inf
1208.72/1208.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1208.72/1208.73 c 1209s| 5330k| 1053k| 12339k| 2.3 | 949M| 45 | 6 | 50 |9426 | 50 | 15 | 19 |3040k|7111 | 0.000000e+00 | -- | Inf
1211.32/1211.33 c 1211s| 5340k| 1054k| 12361k| 2.3 | 951M| 45 | - | 50 |9382 | 50 | 15 | 19 |3046k|7119 | 0.000000e+00 | -- | Inf
1213.72/1213.79 c 1214s| 5350k| 1056k| 12384k| 2.3 | 952M| 45 | 6 | 50 |9182 | 50 | 15 | 19 |3052k|7124 | 0.000000e+00 | -- | Inf
1216.23/1216.28 c 1216s| 5360k| 1058k| 12407k| 2.3 | 954M| 45 | 6 | 50 |9209 | 50 | 15 | 19 |3058k|7131 | 0.000000e+00 | -- | Inf
1218.82/1218.86 c 1219s| 5370k| 1059k| 12429k| 2.3 | 956M| 45 | - | 50 |9384 | 0 | 0 | 19 |3064k|7137 | 0.000000e+00 | -- | Inf
1221.02/1221.01 c 1221s| 5380k| 1061k| 12451k| 2.3 | 958M| 45 | - | 50 | 11k| 50 | 15 | 19 |3069k|7141 | 0.000000e+00 | -- | Inf
1223.22/1223.24 c 1223s| 5390k| 1064k| 12474k| 2.3 | 960M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3074k|7143 | 0.000000e+00 | -- | Inf
1225.62/1225.66 c 1226s| 5400k| 1066k| 12497k| 2.3 | 962M| 45 | - | 50 | 14k| 50 | 15 | 19 |3080k|7149 | 0.000000e+00 | -- | Inf
1228.33/1228.31 c 1228s| 5410k| 1068k| 12520k| 2.3 | 964M| 45 | - | 50 | 14k| 50 | 15 | 19 |3086k|7152 | 0.000000e+00 | -- | Inf
1231.22/1231.25 c 1231s| 5420k| 1069k| 12544k| 2.3 | 966M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |3092k|7155 | 0.000000e+00 | -- | Inf
1234.12/1234.11 c 1234s| 5430k| 1071k| 12567k| 2.3 | 967M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3098k|7161 | 0.000000e+00 | -- | Inf
1237.02/1237.02 c 1237s| 5440k| 1072k| 12589k| 2.3 | 968M| 45 | 6 | 50 |9278 | 50 | 15 | 19 |3104k|7163 | 0.000000e+00 | -- | Inf
1239.52/1239.55 c 1240s| 5450k| 1074k| 12611k| 2.3 | 969M| 45 | 6 | 50 |8302 | 50 | 15 | 19 |3110k|7167 | 0.000000e+00 | -- | Inf
1242.22/1242.26 c 1242s| 5460k| 1075k| 12634k| 2.3 | 970M| 45 | 6 | 50 |7959 | 50 | 15 | 19 |3116k|7173 | 0.000000e+00 | -- | Inf
1245.02/1245.08 c 1245s| 5470k| 1077k| 12656k| 2.3 | 972M| 45 | 6 | 50 |7794 | 50 | 15 | 19 |3122k|7180 | 0.000000e+00 | -- | Inf
1247.32/1247.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1247.32/1247.37 c 1247s| 5480k| 1079k| 12678k| 2.3 | 974M| 45 | 6 | 50 |8396 | 50 | 15 | 19 |3128k|7183 | 0.000000e+00 | -- | Inf
1250.02/1250.04 c 1250s| 5490k| 1080k| 12700k| 2.3 | 975M| 45 | 6 | 50 |8492 | 50 | 15 | 19 |3133k|7190 | 0.000000e+00 | -- | Inf
1252.42/1252.45 c 1252s| 5500k| 1082k| 12723k| 2.3 | 977M| 45 | 6 | 50 |9010 | 50 | 15 | 19 |3139k|7198 | 0.000000e+00 | -- | Inf
1254.52/1254.55 c 1255s| 5510k| 1084k| 12745k| 2.3 | 979M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3145k|7199 | 0.000000e+00 | -- | Inf
1256.83/1256.86 c 1257s| 5520k| 1086k| 12769k| 2.3 | 981M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |3150k|7208 | 0.000000e+00 | -- | Inf
1259.33/1259.30 c 1259s| 5530k| 1088k| 12791k| 2.3 | 983M| 45 | - | 50 | 11k| 50 | 15 | 19 |3156k|7211 | 0.000000e+00 | -- | Inf
1262.02/1262.09 c 1262s| 5540k| 1089k| 12814k| 2.3 | 984M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3162k|7218 | 0.000000e+00 | -- | Inf
1264.72/1264.76 c 1265s| 5550k| 1091k| 12836k| 2.3 | 986M| 45 | 6 | 50 |9966 | 50 | 15 | 19 |3168k|7222 | 0.000000e+00 | -- | Inf
1267.42/1267.48 c 1267s| 5560k| 1093k| 12859k| 2.3 | 987M| 45 | 6 | 50 |9520 | 50 | 15 | 19 |3174k|7226 | 0.000000e+00 | -- | Inf
1270.13/1270.19 c 1270s| 5570k| 1094k| 12882k| 2.3 | 989M| 45 | 6 | 50 |8970 | 50 | 15 | 19 |3180k|7232 | 0.000000e+00 | -- | Inf
1272.22/1272.29 c 1272s| 5580k| 1096k| 12904k| 2.3 | 991M| 45 | - | 50 | 11k| 50 | 15 | 19 |3185k|7236 | 0.000000e+00 | -- | Inf
1275.13/1275.16 c 1275s| 5590k| 1098k| 12927k| 2.3 | 992M| 45 | 6 | 50 |9340 | 50 | 15 | 19 |3191k|7242 | 0.000000e+00 | -- | Inf
1277.63/1277.67 c 1278s| 5600k| 1099k| 12949k| 2.3 | 994M| 45 | 6 | 50 |9278 | 50 | 15 | 19 |3197k|7246 | 0.000000e+00 | -- | Inf
1280.22/1280.23 c 1280s| 5610k| 1101k| 12971k| 2.3 | 995M| 45 | 6 | 50 |8472 | 50 | 15 | 19 |3202k|7247 | 0.000000e+00 | -- | Inf
1282.82/1282.89 c 1283s| 5620k| 1102k| 12994k| 2.3 | 997M| 45 | 6 | 50 |7962 | 50 | 15 | 19 |3208k|7253 | 0.000000e+00 | -- | Inf
1285.53/1285.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1285.53/1285.58 c 1286s| 5630k| 1104k| 13016k| 2.3 | 998M| 45 | 6 | 50 |7139 | 50 | 15 | 19 |3214k|7257 | 0.000000e+00 | -- | Inf
1287.82/1287.81 c 1288s| 5640k| 1106k| 13038k| 2.3 |1000M| 45 | 6 | 50 |8761 | 50 | 15 | 19 |3220k|7270 | 0.000000e+00 | -- | Inf
1289.82/1289.89 c 1290s| 5650k| 1108k| 13063k| 2.3 |1002M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3226k|7275 | 0.000000e+00 | -- | Inf
1292.12/1292.17 c 1292s| 5660k| 1111k| 13088k| 2.3 |1005M| 45 | - | 50 | 11k| 0 | 0 | 19 |3231k|7283 | 0.000000e+00 | -- | Inf
1294.63/1294.69 c 1295s| 5670k| 1112k| 13112k| 2.3 |1007M| 45 | - | 50 | 12k| 50 | 15 | 19 |3237k|7287 | 0.000000e+00 | -- | Inf
1297.42/1297.41 c 1297s| 5680k| 1114k| 13137k| 2.3 |1008M| 45 | - | 50 | 11k| 50 | 15 | 19 |3244k|7298 | 0.000000e+00 | -- | Inf
1300.03/1300.06 c 1300s| 5690k| 1116k| 13161k| 2.3 |1010M| 45 | - | 50 | 11k| 50 | 15 | 19 |3250k|7301 | 0.000000e+00 | -- | Inf
1302.82/1302.84 c 1303s| 5700k| 1117k| 13184k| 2.3 |1011M| 45 | - | 50 | 11k| 50 | 15 | 19 |3256k|7306 | 0.000000e+00 | -- | Inf
1305.62/1305.65 c 1306s| 5710k| 1119k| 13206k| 2.3 |1013M| 45 | - | 50 |9323 | 50 | 15 | 19 |3262k|7308 | 0.000000e+00 | -- | Inf
1308.52/1308.55 c 1309s| 5720k| 1120k| 13229k| 2.3 |1014M| 45 | 6 | 50 |8720 | 50 | 15 | 19 |3268k|7308 | 0.000000e+00 | -- | Inf
1310.92/1310.97 c 1311s| 5730k| 1122k| 13252k| 2.3 |1016M| 45 | - | 50 |9461 | 50 | 15 | 19 |3274k|7312 | 0.000000e+00 | -- | Inf
1313.62/1313.64 c 1314s| 5740k| 1124k| 13275k| 2.3 |1017M| 45 | 6 | 50 |9492 | 50 | 15 | 19 |3279k|7318 | 0.000000e+00 | -- | Inf
1315.63/1315.67 c 1316s| 5750k| 1126k| 13298k| 2.3 |1020M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3285k|7322 | 0.000000e+00 | -- | Inf
1318.02/1318.08 c 1318s| 5760k| 1128k| 13321k| 2.3 |1022M| 45 | - | 50 | 13k| 50 | 15 | 19 |3291k|7330 | 0.000000e+00 | -- | Inf
1320.72/1320.76 c 1321s| 5770k| 1130k| 13344k| 2.3 |1024M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3297k|7337 | 0.000000e+00 | -- | Inf
1324.03/1324.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1324.03/1324.00 c 1324s| 5780k| 1132k| 13367k| 2.3 |1025M| 45 | - | 50 |8777 | 50 | 15 | 19 |3303k|7345 | 0.000000e+00 | -- | Inf
1326.33/1326.38 c 1326s| 5790k| 1134k| 13389k| 2.3 |1026M| 45 | - | 50 |9852 | 0 | 0 | 19 |3308k|7348 | 0.000000e+00 | -- | Inf
1329.22/1329.28 c 1329s| 5800k| 1135k| 13411k| 2.3 |1027M| 45 | 6 | 50 |7645 | 50 | 15 | 19 |3314k|7355 | 0.000000e+00 | -- | Inf
1331.73/1331.77 c 1332s| 5810k| 1137k| 13433k| 2.3 |1029M| 45 | - | 50 |8199 | 50 | 15 | 19 |3320k|7356 | 0.000000e+00 | -- | Inf
1334.33/1334.35 c 1334s| 5820k| 1138k| 13456k| 2.3 |1031M| 45 | - | 50 |8818 | 50 | 15 | 19 |3326k|7358 | 0.000000e+00 | -- | Inf
1337.23/1337.21 c 1337s| 5830k| 1140k| 13478k| 2.3 |1032M| 45 | 6 | 50 |7233 | 50 | 15 | 19 |3332k|7367 | 0.000000e+00 | -- | Inf
1339.62/1339.65 c 1340s| 5840k| 1141k| 13500k| 2.3 |1034M| 45 | 6 | 50 |8019 | 50 | 15 | 19 |3338k|7369 | 0.000000e+00 | -- | Inf
1342.13/1342.13 c 1342s| 5850k| 1143k| 13523k| 2.3 |1036M| 45 | 6 | 50 |8450 | 50 | 15 | 19 |3344k|7378 | 0.000000e+00 | -- | Inf
1344.62/1344.60 c 1345s| 5860k| 1144k| 13546k| 2.3 |1037M| 45 | 6 | 50 |8454 | 50 | 15 | 19 |3350k|7384 | 0.000000e+00 | -- | Inf
1347.13/1347.12 c 1347s| 5870k| 1146k| 13567k| 2.3 |1039M| 45 | 6 | 50 |8754 | 50 | 15 | 19 |3356k|7388 | 0.000000e+00 | -- | Inf
1349.73/1349.71 c 1350s| 5880k| 1148k| 13590k| 2.3 |1041M| 45 | 6 | 50 |9393 | 50 | 15 | 19 |3362k|7391 | 0.000000e+00 | -- | Inf
1351.83/1351.85 c 1352s| 5890k| 1149k| 13612k| 2.3 |1043M| 45 | - | 50 | 10k| 50 | 15 | 19 |3367k|7393 | 0.000000e+00 | -- | Inf
1354.14/1354.16 c 1354s| 5900k| 1152k| 13635k| 2.3 |1045M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |3372k|7394 | 0.000000e+00 | -- | Inf
1356.23/1356.27 c 1356s| 5910k| 1155k| 13658k| 2.3 |1047M| 45 | - | 50 | 12k| 50 | 15 | 19 |3377k|7397 | 0.000000e+00 | -- | Inf
1358.63/1358.60 c 1359s| 5920k| 1157k| 13681k| 2.3 |1049M| 45 | - | 50 | 12k| 50 | 15 | 19 |3383k|7400 | 0.000000e+00 | -- | Inf
1361.03/1361.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1361.03/1361.08 c 1361s| 5930k| 1159k| 13703k| 2.3 |1051M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3388k|7406 | 0.000000e+00 | -- | Inf
1363.62/1363.61 c 1364s| 5940k| 1161k| 13725k| 2.3 |1053M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3393k|7409 | 0.000000e+00 | -- | Inf
1366.23/1366.24 c 1366s| 5950k| 1163k| 13747k| 2.3 |1055M| 45 | - | 50 | 12k| 50 | 15 | 19 |3399k|7416 | 0.000000e+00 | -- | Inf
1368.92/1368.92 c 1369s| 5960k| 1165k| 13769k| 2.3 |1056M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3404k|7424 | 0.000000e+00 | -- | Inf
1371.63/1371.67 c 1372s| 5970k| 1167k| 13791k| 2.3 |1058M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3410k|7426 | 0.000000e+00 | -- | Inf
1374.33/1374.30 c 1374s| 5980k| 1169k| 13813k| 2.3 |1060M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |3415k|7429 | 0.000000e+00 | -- | Inf
1376.83/1376.85 c 1377s| 5990k| 1171k| 13836k| 2.3 |1062M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |3421k|7432 | 0.000000e+00 | -- | Inf
1379.72/1379.78 c 1380s| 6000k| 1172k| 13858k| 2.3 |1063M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |3427k|7435 | 0.000000e+00 | -- | Inf
1382.53/1382.54 c 1383s| 6010k| 1174k| 13881k| 2.3 |1065M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |3433k|7438 | 0.000000e+00 | -- | Inf
1385.23/1385.20 c 1385s| 6020k| 1176k| 13903k| 2.3 |1067M| 45 | - | 50 | 13k| 50 | 15 | 19 |3438k|7441 | 0.000000e+00 | -- | Inf
1387.93/1387.92 c 1388s| 6030k| 1177k| 13926k| 2.3 |1068M| 45 | - | 50 | 13k| 50 | 15 | 19 |3444k|7446 | 0.000000e+00 | -- | Inf
1391.12/1391.16 c 1391s| 6040k| 1179k| 13948k| 2.3 |1070M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3450k|7448 | 0.000000e+00 | -- | Inf
1394.02/1394.08 c 1394s| 6050k| 1180k| 13970k| 2.3 |1071M| 45 | - | 50 | 13k| 50 | 15 | 19 |3456k|7451 | 0.000000e+00 | -- | Inf
1396.83/1396.88 c 1397s| 6060k| 1182k| 13992k| 2.3 |1073M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |3462k|7458 | 0.000000e+00 | -- | Inf
1399.73/1399.70 c 1400s| 6070k| 1183k| 14014k| 2.3 |1074M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3467k|7466 | 0.000000e+00 | -- | Inf
1402.33/1402.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1402.33/1402.36 c 1402s| 6080k| 1185k| 14036k| 2.3 |1076M| 45 | - | 50 | 14k| 0 | 0 | 19 |3473k|7469 | 0.000000e+00 | -- | Inf
1405.02/1405.01 c 1405s| 6090k| 1187k| 14057k| 2.3 |1078M| 45 | 6 | 50 | 15k| 50 | 15 | 19 |3478k|7471 | 0.000000e+00 | -- | Inf
1407.83/1407.87 c 1408s| 6100k| 1188k| 14079k| 2.3 |1080M| 45 | 6 | 50 | 15k| 50 | 15 | 19 |3484k|7473 | 0.000000e+00 | -- | Inf
1410.92/1410.91 c 1411s| 6110k| 1190k| 14100k| 2.3 |1081M| 45 | - | 50 | 15k| 50 | 15 | 19 |3489k|7477 | 0.000000e+00 | -- | Inf
1413.73/1413.77 c 1414s| 6120k| 1191k| 14121k| 2.3 |1083M| 45 | - | 50 | 16k| 50 | 15 | 19 |3495k|7483 | 0.000000e+00 | -- | Inf
1417.23/1417.28 c 1417s| 6130k| 1193k| 14143k| 2.3 |1083M| 45 | - | 50 | 11k| 50 | 15 | 19 |3501k|7483 | 0.000000e+00 | -- | Inf
1420.62/1420.61 c 1421s| 6140k| 1194k| 14165k| 2.3 |1084M| 45 | 6 | 50 |7986 | 50 | 15 | 19 |3507k|7483 | 0.000000e+00 | -- | Inf
1423.23/1423.24 c 1423s| 6150k| 1195k| 14188k| 2.3 |1086M| 45 | 6 | 50 |8243 | 50 | 15 | 19 |3513k|7488 | 0.000000e+00 | -- | Inf
1425.63/1425.64 c 1426s| 6160k| 1197k| 14210k| 2.3 |1088M| 45 | 6 | 50 |9574 | 50 | 15 | 19 |3519k|7495 | 0.000000e+00 | -- | Inf
1428.02/1428.05 c 1428s| 6170k| 1199k| 14233k| 2.3 |1090M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3525k|7500 | 0.000000e+00 | -- | Inf
1430.93/1430.99 c 1431s| 6180k| 1200k| 14255k| 2.3 |1091M| 45 | 6 | 50 |9226 | 50 | 15 | 19 |3531k|7508 | 0.000000e+00 | -- | Inf
1433.53/1433.58 c 1434s| 6190k| 1202k| 14278k| 2.3 |1092M| 45 | 6 | 50 |8947 | 50 | 15 | 19 |3537k|7511 | 0.000000e+00 | -- | Inf
1435.93/1435.92 c 1436s| 6200k| 1203k| 14301k| 2.3 |1095M| 45 | - | 50 | 10k| 0 | 0 | 19 |3543k|7513 | 0.000000e+00 | -- | Inf
1438.03/1438.08 c 1438s| 6210k| 1206k| 14324k| 2.3 |1097M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3548k|7514 | 0.000000e+00 | -- | Inf
1440.43/1440.44 c 1440s| 6220k| 1208k| 14347k| 2.3 |1099M| 45 | - | 50 | 13k| 50 | 15 | 19 |3554k|7519 | 0.000000e+00 | -- | Inf
1442.83/1442.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1442.83/1442.85 c 1443s| 6230k| 1210k| 14370k| 2.3 |1101M| 45 | - | 50 | 14k| 50 | 15 | 19 |3559k|7522 | 0.000000e+00 | -- | Inf
1445.33/1445.37 c 1445s| 6240k| 1212k| 14393k| 2.3 |1103M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |3565k|7523 | 0.000000e+00 | -- | Inf
1448.03/1448.01 c 1448s| 6250k| 1213k| 14416k| 2.3 |1105M| 45 | - | 50 | 14k| 50 | 15 | 19 |3571k|7525 | 0.000000e+00 | -- | Inf
1450.83/1450.83 c 1451s| 6260k| 1215k| 14438k| 2.3 |1106M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |3577k|7528 | 0.000000e+00 | -- | Inf
1453.53/1453.54 c 1454s| 6270k| 1217k| 14461k| 2.3 |1108M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |3583k|7530 | 0.000000e+00 | -- | Inf
1456.12/1456.12 c 1456s| 6280k| 1219k| 14483k| 2.3 |1110M| 45 | 6 | 50 | 16k| 50 | 15 | 19 |3588k|7535 | 0.000000e+00 | -- | Inf
1458.83/1458.88 c 1459s| 6290k| 1221k| 14505k| 2.3 |1112M| 45 | - | 50 | 17k| 0 | 0 | 19 |3594k|7538 | 0.000000e+00 | -- | Inf
1461.93/1461.94 c 1462s| 6300k| 1223k| 14527k| 2.3 |1114M| 45 | 6 | 50 | 16k| 50 | 15 | 19 |3599k|7541 | 0.000000e+00 | -- | Inf
1464.93/1464.91 c 1465s| 6310k| 1224k| 14549k| 2.3 |1115M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |3605k|7549 | 0.000000e+00 | -- | Inf
1467.72/1467.70 c 1468s| 6320k| 1226k| 14571k| 2.3 |1117M| 45 | 6 | 50 | 15k| 50 | 15 | 19 |3611k|7559 | 0.000000e+00 | -- | Inf
1470.63/1470.70 c 1471s| 6330k| 1228k| 14593k| 2.3 |1118M| 45 | - | 50 | 15k| 50 | 15 | 19 |3617k|7565 | 0.000000e+00 | -- | Inf
1473.63/1473.62 c 1474s| 6340k| 1229k| 14615k| 2.3 |1120M| 45 | - | 50 | 15k| 50 | 15 | 19 |3622k|7567 | 0.000000e+00 | -- | Inf
1476.73/1476.80 c 1477s| 6350k| 1230k| 14637k| 2.3 |1122M| 45 | 6 | 50 | 15k| 50 | 15 | 19 |3628k|7571 | 0.000000e+00 | -- | Inf
1479.63/1479.60 c 1480s| 6360k| 1233k| 14658k| 2.3 |1124M| 45 | 6 | 50 | 16k| 50 | 15 | 19 |3634k|7574 | 0.000000e+00 | -- | Inf
1482.73/1482.76 c 1483s| 6370k| 1234k| 14680k| 2.3 |1125M| 45 | 6 | 50 | 15k| 50 | 15 | 19 |3640k|7576 | 0.000000e+00 | -- | Inf
1485.93/1485.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1485.93/1485.93 c 1486s| 6380k| 1235k| 14701k| 2.3 |1127M| 45 | 6 | 50 | 15k| 50 | 15 | 19 |3646k|7576 | 0.000000e+00 | -- | Inf
1489.33/1489.30 c 1489s| 6390k| 1236k| 14722k| 2.3 |1128M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |3652k|7587 | 0.000000e+00 | -- | Inf
1492.23/1492.23 c 1492s| 6400k| 1238k| 14745k| 2.3 |1129M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |3657k|7590 | 0.000000e+00 | -- | Inf
1494.93/1494.91 c 1495s| 6410k| 1240k| 14767k| 2.3 |1131M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |3663k|7595 | 0.000000e+00 | -- | Inf
1498.33/1498.35 c 1498s| 6420k| 1241k| 14790k| 2.3 |1131M| 45 | - | 50 |9695 | 50 | 15 | 19 |3670k|7599 | 0.000000e+00 | -- | Inf
1501.23/1501.22 c 1501s| 6430k| 1243k| 14811k| 2.3 |1133M| 45 | 6 | 50 |9053 | 50 | 15 | 19 |3675k|7603 | 0.000000e+00 | -- | Inf
1503.52/1503.53 c 1504s| 6440k| 1244k| 14834k| 2.3 |1135M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3681k|7607 | 0.000000e+00 | -- | Inf
1505.83/1505.85 c 1506s| 6450k| 1246k| 14856k| 2.3 |1137M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |3687k|7610 | 0.000000e+00 | -- | Inf
1509.02/1509.03 c 1509s| 6460k| 1248k| 14879k| 2.3 |1138M| 45 | - | 50 |8734 | 50 | 15 | 19 |3693k|7612 | 0.000000e+00 | -- | Inf
1511.73/1511.71 c 1512s| 6470k| 1249k| 14901k| 2.3 |1139M| 45 | - | 50 |8679 | 0 | 0 | 19 |3699k|7620 | 0.000000e+00 | -- | Inf
1514.03/1514.05 c 1514s| 6480k| 1251k| 14924k| 2.3 |1141M| 45 | 6 | 50 |9668 | 50 | 15 | 19 |3705k|7624 | 0.000000e+00 | -- | Inf
1517.03/1517.00 c 1517s| 6490k| 1252k| 14946k| 2.3 |1142M| 45 | - | 50 |8821 | 50 | 15 | 19 |3711k|7626 | 0.000000e+00 | -- | Inf
1519.92/1519.90 c 1520s| 6500k| 1254k| 14969k| 2.3 |1144M| 45 | - | 50 |8104 | 50 | 15 | 19 |3717k|7631 | 0.000000e+00 | -- | Inf
1521.93/1521.90 c 1522s| 6510k| 1257k| 14991k| 2.3 |1146M| 45 | - | 50 |9370 | 50 | 15 | 19 |3722k|7633 | 0.000000e+00 | -- | Inf
1523.93/1523.93 c 1524s| 6520k| 1259k| 15013k| 2.3 |1148M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3727k|7637 | 0.000000e+00 | -- | Inf
1526.33/1526.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1526.33/1526.31 c 1526s| 6530k| 1261k| 15035k| 2.3 |1150M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3733k|7641 | 0.000000e+00 | -- | Inf
1528.82/1528.81 c 1529s| 6540k| 1263k| 15057k| 2.3 |1152M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3739k|7642 | 0.000000e+00 | -- | Inf
1531.03/1531.03 c 1531s| 6550k| 1265k| 15079k| 2.3 |1154M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3744k|7647 | 0.000000e+00 | -- | Inf
1533.43/1533.44 c 1533s| 6560k| 1268k| 15100k| 2.3 |1156M| 45 | - | 50 | 12k| 50 | 15 | 19 |3749k|7649 | 0.000000e+00 | -- | Inf
1536.23/1536.21 c 1536s| 6570k| 1270k| 15122k| 2.3 |1158M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |3754k|7656 | 0.000000e+00 | -- | Inf
1538.84/1538.87 c 1539s| 6580k| 1272k| 15143k| 2.3 |1160M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |3760k|7661 | 0.000000e+00 | -- | Inf
1541.73/1541.72 c 1542s| 6590k| 1273k| 15166k| 2.3 |1161M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3766k|7664 | 0.000000e+00 | -- | Inf
1544.83/1544.86 c 1545s| 6600k| 1275k| 15188k| 2.3 |1162M| 45 | 6 | 50 |8065 | 50 | 15 | 19 |3772k|7671 | 0.000000e+00 | -- | Inf
1547.33/1547.38 c 1547s| 6610k| 1276k| 15210k| 2.3 |1164M| 45 | 6 | 50 |8889 | 50 | 15 | 19 |3778k|7678 | 0.000000e+00 | -- | Inf
1549.93/1549.93 c 1550s| 6620k| 1278k| 15231k| 2.3 |1165M| 45 | - | 50 |9005 | 50 | 15 | 19 |3784k|7682 | 0.000000e+00 | -- | Inf
1552.63/1552.61 c 1553s| 6630k| 1279k| 15254k| 2.3 |1167M| 45 | - | 50 |9425 | 0 | 0 | 19 |3790k|7685 | 0.000000e+00 | -- | Inf
1555.34/1555.39 c 1555s| 6640k| 1281k| 15276k| 2.3 |1168M| 45 | - | 50 |8748 | 50 | 15 | 19 |3796k|7690 | 0.000000e+00 | -- | Inf
1557.83/1557.87 c 1558s| 6650k| 1283k| 15298k| 2.3 |1170M| 45 | 6 | 50 |9379 | 50 | 15 | 19 |3801k|7691 | 0.000000e+00 | -- | Inf
1560.23/1560.27 c 1560s| 6660k| 1284k| 15317k| 2.3 |1172M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3806k|7694 | 0.000000e+00 | -- | Inf
1562.73/1562.78 c 1563s| 6670k| 1286k| 15339k| 2.3 |1174M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3812k|7699 | 0.000000e+00 | -- | Inf
1565.63/1565.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1565.63/1565.62 c 1566s| 6680k| 1287k| 15361k| 2.3 |1175M| 45 | - | 50 | 10k| 50 | 15 | 19 |3818k|7702 | 0.000000e+00 | -- | Inf
1568.33/1568.36 c 1568s| 6690k| 1289k| 15384k| 2.3 |1176M| 45 | - | 50 |9949 | 50 | 15 | 19 |3824k|7707 | 0.000000e+00 | -- | Inf
1571.23/1571.27 c 1571s| 6700k| 1290k| 15406k| 2.3 |1178M| 45 | - | 50 | 10k| 50 | 15 | 19 |3830k|7710 | 0.000000e+00 | -- | Inf
1573.83/1573.88 c 1574s| 6710k| 1292k| 15429k| 2.3 |1180M| 45 | - | 50 | 11k| 50 | 15 | 19 |3836k|7718 | 0.000000e+00 | -- | Inf
1576.62/1576.67 c 1577s| 6720k| 1293k| 15453k| 2.3 |1181M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3843k|7727 | 0.000000e+00 | -- | Inf
1579.83/1579.89 c 1580s| 6730k| 1295k| 15475k| 2.3 |1182M| 45 | - | 50 |8220 | 50 | 15 | 19 |3849k|7733 | 0.000000e+00 | -- | Inf
1582.53/1582.51 c 1583s| 6740k| 1296k| 15497k| 2.3 |1184M| 45 | 6 | 50 |8631 | 50 | 15 | 19 |3855k|7737 | 0.000000e+00 | -- | Inf
1585.33/1585.32 c 1585s| 6750k| 1298k| 15519k| 2.3 |1186M| 45 | - | 50 |8112 | 50 | 15 | 19 |3860k|7743 | 0.000000e+00 | -- | Inf
1587.93/1587.93 c 1588s| 6760k| 1299k| 15542k| 2.3 |1188M| 45 | 6 | 50 |9417 | 50 | 15 | 19 |3867k|7748 | 0.000000e+00 | -- | Inf
1590.43/1590.41 c 1590s| 6770k| 1301k| 15564k| 2.3 |1189M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3872k|7750 | 0.000000e+00 | -- | Inf
1592.63/1592.64 c 1593s| 6780k| 1303k| 15589k| 2.3 |1192M| 45 | - | 50 | 12k| 50 | 15 | 19 |3878k|7752 | 0.000000e+00 | -- | Inf
1594.93/1594.95 c 1595s| 6790k| 1305k| 15612k| 2.3 |1194M| 45 | - | 50 | 12k| 50 | 15 | 19 |3884k|7756 | 0.000000e+00 | -- | Inf
1597.53/1597.57 c 1598s| 6800k| 1307k| 15637k| 2.3 |1195M| 45 | - | 50 | 12k| 50 | 15 | 19 |3889k|7760 | 0.000000e+00 | -- | Inf
1600.33/1600.32 c 1600s| 6810k| 1308k| 15660k| 2.3 |1197M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3895k|7763 | 0.000000e+00 | -- | Inf
1603.03/1603.06 c 1603s| 6820k| 1310k| 15683k| 2.3 |1198M| 45 | - | 50 | 12k| 50 | 15 | 19 |3901k|7768 | 0.000000e+00 | -- | Inf
1605.83/1605.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1605.83/1605.80 c 1606s| 6830k| 1311k| 15706k| 2.3 |1200M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3908k|7769 | 0.000000e+00 | -- | Inf
1608.43/1608.49 c 1608s| 6840k| 1312k| 15729k| 2.3 |1201M| 45 | - | 50 | 11k| 50 | 15 | 19 |3914k|7775 | 0.000000e+00 | -- | Inf
1611.63/1611.62 c 1612s| 6850k| 1314k| 15751k| 2.3 |1202M| 45 | 6 | 50 |9557 | 50 | 15 | 19 |3920k|7782 | 0.000000e+00 | -- | Inf
1614.43/1614.48 c 1614s| 6860k| 1315k| 15773k| 2.3 |1203M| 45 | - | 50 |8723 | 50 | 15 | 19 |3926k|7789 | 0.000000e+00 | -- | Inf
1617.43/1617.43 c 1617s| 6870k| 1316k| 15795k| 2.3 |1205M| 45 | - | 50 |8520 | 50 | 15 | 19 |3932k|7791 | 0.000000e+00 | -- | Inf
1620.04/1620.02 c 1620s| 6880k| 1318k| 15818k| 2.3 |1207M| 45 | 6 | 50 |9395 | 50 | 15 | 19 |3938k|7794 | 0.000000e+00 | -- | Inf
1622.93/1622.92 c 1623s| 6890k| 1319k| 15841k| 2.3 |1208M| 45 | 6 | 50 |8697 | 50 | 15 | 19 |3944k|7797 | 0.000000e+00 | -- | Inf
1625.63/1625.67 c 1626s| 6900k| 1320k| 15863k| 2.3 |1209M| 45 | - | 50 |8946 | 50 | 15 | 19 |3950k|7798 | 0.000000e+00 | -- | Inf
1628.13/1628.13 c 1628s| 6910k| 1322k| 15885k| 2.3 |1211M| 45 | 6 | 50 |9991 | 50 | 15 | 19 |3956k|7801 | 0.000000e+00 | -- | Inf
1631.23/1631.25 c 1631s| 6920k| 1324k| 15907k| 2.3 |1213M| 45 | - | 50 |8781 | 50 | 15 | 19 |3962k|7803 | 0.000000e+00 | -- | Inf
1633.63/1633.62 c 1634s| 6930k| 1325k| 15929k| 2.3 |1214M| 45 | - | 50 |9480 | 50 | 15 | 19 |3968k|7804 | 0.000000e+00 | -- | Inf
1636.33/1636.32 c 1636s| 6940k| 1327k| 15952k| 2.3 |1216M| 45 | - | 50 |9246 | 50 | 15 | 19 |3973k|7805 | 0.000000e+00 | -- | Inf
1638.43/1638.49 c 1638s| 6950k| 1329k| 15973k| 2.3 |1218M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3979k|7807 | 0.000000e+00 | -- | Inf
1641.43/1641.43 c 1641s| 6960k| 1330k| 15995k| 2.3 |1219M| 45 | 6 | 50 |9832 | 50 | 15 | 19 |3985k|7809 | 0.000000e+00 | -- | Inf
1644.23/1644.25 c 1644s| 6970k| 1331k| 16017k| 2.3 |1221M| 45 | - | 50 |9284 | 50 | 15 | 19 |3991k|7811 | 0.000000e+00 | -- | Inf
1646.84/1646.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1646.84/1646.83 c 1647s| 6980k| 1333k| 16041k| 2.3 |1223M| 45 | - | 50 |9655 | 50 | 15 | 19 |3997k|7816 | 0.000000e+00 | -- | Inf
1648.94/1648.92 c 1649s| 6990k| 1336k| 16065k| 2.3 |1225M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |4002k|7821 | 0.000000e+00 | -- | Inf
1651.23/1651.26 c 1651s| 7000k| 1338k| 16088k| 2.3 |1227M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |4008k|7824 | 0.000000e+00 | -- | Inf
1653.83/1653.81 c 1654s| 7010k| 1340k| 16111k| 2.3 |1228M| 45 | - | 50 | 11k| 50 | 15 | 19 |4014k|7828 | 0.000000e+00 | -- | Inf
1656.54/1656.50 c 1657s| 7020k| 1341k| 16135k| 2.3 |1230M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |4019k|7831 | 0.000000e+00 | -- | Inf
1659.13/1659.12 c 1659s| 7030k| 1343k| 16158k| 2.3 |1232M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |4025k|7832 | 0.000000e+00 | -- | Inf
1661.93/1661.91 c 1662s| 7040k| 1345k| 16181k| 2.3 |1233M| 45 | - | 50 | 10k| 50 | 15 | 19 |4031k|7832 | 0.000000e+00 | -- | Inf
1664.24/1664.26 c 1664s| 7050k| 1346k| 16204k| 2.3 |1235M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |4037k|7837 | 0.000000e+00 | -- | Inf
1666.74/1666.71 c 1667s| 7060k| 1348k| 16227k| 2.3 |1237M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |4043k|7838 | 0.000000e+00 | -- | Inf
1669.43/1669.42 c 1669s| 7070k| 1349k| 16249k| 2.3 |1239M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |4049k|7841 | 0.000000e+00 | -- | Inf
1672.83/1672.87 c 1673s| 7080k| 1351k| 16272k| 2.3 |1240M| 45 | - | 50 | 11k| 50 | 15 | 19 |4055k|7845 | 0.000000e+00 | -- | Inf
1676.03/1676.06 c 1676s| 7090k| 1352k| 16294k| 2.3 |1241M| 45 | - | 50 |9559 | 50 | 15 | 19 |4061k|7849 | 0.000000e+00 | -- | Inf
1679.24/1679.23 c 1679s| 7100k| 1354k| 16316k| 2.3 |1242M| 45 | 6 | 50 |8108 | 50 | 15 | 19 |4067k|7857 | 0.000000e+00 | -- | Inf
1682.04/1682.07 c 1682s| 7110k| 1355k| 16338k| 2.3 |1244M| 45 | 6 | 50 |7953 | 50 | 15 | 19 |4073k|7860 | 0.000000e+00 | -- | Inf
1684.83/1684.80 c 1685s| 7120k| 1356k| 16361k| 2.3 |1245M| 45 | - | 50 |7986 | 50 | 15 | 19 |4079k|7864 | 0.000000e+00 | -- | Inf
1687.43/1687.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1687.43/1687.46 c 1687s| 7130k| 1358k| 16383k| 2.3 |1247M| 45 | - | 50 |8575 | 50 | 15 | 19 |4085k|7869 | 0.000000e+00 | -- | Inf
1689.83/1689.83 c 1690s| 7140k| 1360k| 16405k| 2.3 |1249M| 45 | - | 50 | 10k| 50 | 15 | 19 |4091k|7875 | 0.000000e+00 | -- | Inf
1692.63/1692.63 c 1693s| 7150k| 1361k| 16427k| 2.3 |1250M| 45 | 6 | 50 |9354 | 50 | 15 | 19 |4097k|7880 | 0.000000e+00 | -- | Inf
1695.24/1695.26 c 1695s| 7160k| 1363k| 16450k| 2.3 |1252M| 45 | - | 50 |9907 | 50 | 15 | 19 |4103k|7883 | 0.000000e+00 | -- | Inf
1697.54/1697.51 c 1698s| 7170k| 1365k| 16473k| 2.3 |1254M| 45 | - | 50 | 12k| 50 | 15 | 19 |4109k|7889 | 0.000000e+00 | -- | Inf
1700.33/1700.35 c 1700s| 7180k| 1366k| 16496k| 2.3 |1256M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |4115k|7892 | 0.000000e+00 | -- | Inf
1703.23/1703.21 c 1703s| 7190k| 1368k| 16519k| 2.3 |1257M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |4121k|7899 | 0.000000e+00 | -- | Inf
1705.94/1705.96 c 1706s| 7200k| 1369k| 16541k| 2.3 |1259M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |4127k|7902 | 0.000000e+00 | -- | Inf
1708.93/1708.95 c 1709s| 7210k| 1371k| 16563k| 2.3 |1260M| 45 | 6 | 50 |9691 | 50 | 15 | 19 |4133k|7907 | 0.000000e+00 | -- | Inf
1711.83/1711.80 c 1712s| 7220k| 1372k| 16585k| 2.3 |1261M| 45 | 6 | 50 |8855 | 50 | 15 | 19 |4139k|7913 | 0.000000e+00 | -- | Inf
1714.13/1714.19 c 1714s| 7230k| 1374k| 16609k| 2.3 |1263M| 45 | 6 | 50 |9784 | 50 | 15 | 19 |4145k|7916 | 0.000000e+00 | -- | Inf
1717.14/1717.13 c 1717s| 7240k| 1375k| 16632k| 2.3 |1265M| 45 | - | 50 |8565 | 50 | 15 | 19 |4151k|7918 | 0.000000e+00 | -- | Inf
1719.94/1719.95 c 1720s| 7250k| 1377k| 16654k| 2.3 |1266M| 45 | 6 | 50 |8662 | 50 | 15 | 19 |4157k|7926 | 0.000000e+00 | -- | Inf
1722.73/1722.76 c 1723s| 7260k| 1378k| 16676k| 2.3 |1268M| 45 | - | 50 |8065 | 50 | 15 | 19 |4162k|7930 | 0.000000e+00 | -- | Inf
1724.74/1724.77 c 1725s| 7270k| 1381k| 16699k| 2.3 |1270M| 45 | - | 50 | 10k| 50 | 15 | 19 |4168k|7932 | 0.000000e+00 | -- | Inf
1727.13/1727.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1727.13/1727.10 c 1727s| 7280k| 1384k| 16722k| 2.3 |1273M| 45 | - | 50 | 11k| 50 | 15 | 19 |4173k|7939 | 0.000000e+00 | -- | Inf
1729.43/1729.44 c 1729s| 7290k| 1386k| 16744k| 2.3 |1275M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |4178k|7941 | 0.000000e+00 | -- | Inf
1731.94/1731.92 c 1732s| 7300k| 1388k| 16768k| 2.3 |1277M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |4184k|7943 | 0.000000e+00 | -- | Inf
1734.64/1734.69 c 1735s| 7310k| 1390k| 16791k| 2.3 |1278M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |4189k|7946 | 0.000000e+00 | -- | Inf
1737.63/1737.63 c 1738s| 7320k| 1392k| 16814k| 2.3 |1280M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |4195k|7952 | 0.000000e+00 | -- | Inf
1740.63/1740.67 c 1741s| 7330k| 1394k| 16836k| 2.3 |1282M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |4201k|7960 | 0.000000e+00 | -- | Inf
1743.83/1743.89 c 1744s| 7340k| 1395k| 16859k| 2.3 |1283M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |4207k|7967 | 0.000000e+00 | -- | Inf
1746.84/1746.82 c 1747s| 7350k| 1397k| 16882k| 2.3 |1285M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |4213k|7971 | 0.000000e+00 | -- | Inf
1750.33/1750.31 c 1750s| 7360k| 1398k| 16904k| 2.3 |1286M| 45 | - | 50 | 11k| 50 | 15 | 19 |4219k|7977 | 0.000000e+00 | -- | Inf
1753.34/1753.31 c 1753s| 7370k| 1400k| 16927k| 2.3 |1287M| 45 | 6 | 50 |9755 | 50 | 15 | 19 |4225k|7979 | 0.000000e+00 | -- | Inf
1756.24/1756.25 c 1756s| 7380k| 1401k| 16949k| 2.3 |1289M| 45 | 6 | 50 |9599 | 50 | 15 | 19 |4231k|7987 | 0.000000e+00 | -- | Inf
1758.84/1758.88 c 1759s| 7390k| 1403k| 16971k| 2.3 |1291M| 45 | 6 | 50 |9896 | 50 | 15 | 19 |4237k|7993 | 0.000000e+00 | -- | Inf
1761.83/1761.86 c 1762s| 7400k| 1404k| 16993k| 2.3 |1292M| 45 | 6 | 50 |8838 | 50 | 15 | 19 |4243k|8000 | 0.000000e+00 | -- | Inf
1764.04/1764.04 c 1764s| 7410k| 1406k| 17015k| 2.3 |1294M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |4248k|8006 | 0.000000e+00 | -- | Inf
1766.64/1766.63 c 1767s| 7420k| 1408k| 17038k| 2.3 |1296M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |4254k|8008 | 0.000000e+00 | -- | Inf
1769.13/1769.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1769.13/1769.12 c 1769s| 7430k| 1410k| 17060k| 2.3 |1298M| 45 | - | 50 | 11k| 0 | 0 | 19 |4260k|8009 | 0.000000e+00 | -- | Inf
1772.33/1772.37 c 1772s| 7440k| 1411k| 17082k| 2.3 |1299M| 45 | 6 | 50 |8696 | 50 | 15 | 19 |4266k|8012 | 0.000000e+00 | -- | Inf
1774.94/1774.99 c 1775s| 7450k| 1413k| 17104k| 2.3 |1300M| 45 | - | 50 |9101 | 50 | 15 | 19 |4272k|8016 | 0.000000e+00 | -- | Inf
1777.14/1777.12 c 1777s| 7460k| 1415k| 17127k| 2.3 |1303M| 45 | - | 50 | 11k| 50 | 15 | 19 |4277k|8022 | 0.000000e+00 | -- | Inf
1779.74/1779.74 c 1780s| 7470k| 1416k| 17149k| 2.3 |1304M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |4283k|8029 | 0.000000e+00 | -- | Inf
1782.83/1782.86 c 1783s| 7480k| 1418k| 17172k| 2.3 |1306M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |4290k|8035 | 0.000000e+00 | -- | Inf
1786.14/1786.19 c 1786s| 7490k| 1419k| 17194k| 2.3 |1307M| 45 | 6 | 50 |8779 | 50 | 15 | 19 |4296k|8041 | 0.000000e+00 | -- | Inf
1789.14/1789.15 c 1789s| 7500k| 1420k| 17216k| 2.3 |1308M| 45 | 6 | 50 |8361 | 50 | 15 | 19 |4302k|8045 | 0.000000e+00 | -- | Inf
1792.03/1792.03 c 1792s| 7510k| 1422k| 17239k| 2.3 |1310M| 45 | - | 50 |8651 | 50 | 15 | 19 |4308k|8051 | 0.000000e+00 | -- | Inf
1794.54/1794.59 c 1795s| 7520k| 1423k| 17261k| 2.3 |1312M| 45 | - | 50 | 10k| 50 | 15 | 19 |4314k|8061 | 0.000000e+00 | -- | Inf
1796.84/1796.87 c 1797s| 7530k| 1425k| 17283k| 2.3 |1313M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |4320k|8063 | 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 : 7530388
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-3485342-1307773895.opb
1797.03/1797.00 c Variables : 51 (51 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 13 initial, 13 maximal
1797.03/1797.00 c Presolved Problem :
1797.03/1797.00 c Problem name : t_HOME/instance-3485342-1307773895.opb
1797.03/1797.00 c Variables : 50 (50 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 6 initial, 17674 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 7 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 4602035 0 4 0 995 3553 0 0 9195342
1797.03/1797.00 c linear : 6 6 17825329 0 0 3 5734466 599139 6712267 0 0 0
1797.03/1797.00 c logicor : 0+ 6 8269513 0 0 0 6273883 16850 3259426 0 0 0
1797.03/1797.00 c countsols : 0 0 0 0 0 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 : 26.65 0.00 0.00 26.65 0.00 0.00 0.00
1797.03/1797.00 c linear : 114.53 0.00 101.07 0.00 0.00 0.00 13.46
1797.03/1797.00 c logicor : 444.80 0.00 436.11 0.00 0.00 0.00 8.68
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.36 2.36 0.00
1797.03/1797.00 c rootredcost : 2.52 2.52 0.00
1797.03/1797.00 c pseudoobj : 1.92 1.92 0.00
1797.03/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.03/1797.00 c propagation : 23.59 615989 536735 1735473 36.7 102 31.5 -
1797.03/1797.00 c infeasible LP : 67.62 2541319 2541264 4703299 23.9 33092 28.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 : - - - 3599390 20.9 - - -
1797.03/1797.00 c applied locally : - - - 721235 34.7 - - -
1797.03/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.03/1797.00 c cut pool : 0.00 5 - - 12 - (maximal pool size: 68)
1797.03/1797.00 c redcost : 4.83 4602032 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 0 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 19 0
1797.03/1797.00 c cmir : 0.01 6 0 0 25 0
1797.03/1797.00 c flowcover : 0.01 6 0 0 34 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 0
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 : 24.06 4602035 995 3553 0 0 9195342
1797.03/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.03/1797.00 c inference : 0.00 0 0 0 0 0 0
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 : 2.05 0 0
1797.03/1797.00 c crossover : 1.26 0 0
1797.03/1797.00 c guideddiving : 0.17 0 0
1797.03/1797.00 c intshifting : 0.09 0 0
1797.03/1797.00 c fracdiving : 0.14 98 0
1797.03/1797.00 c veclendiving : 0.16 98 0
1797.03/1797.00 c feaspump : 0.13 49 0
1797.03/1797.00 c coefdiving : 0.14 99 0
1797.03/1797.00 c linesearchdiving : 0.15 99 0
1797.03/1797.00 c pscostdiving : 0.16 99 0
1797.03/1797.00 c rootsoldiving : 0.15 50 0
1797.03/1797.00 c objpscostdiving : 0.13 50 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.81 0 0
1797.03/1797.00 c zirounding : 11.20 0 0
1797.03/1797.00 c rounding : 1.64 30366 0
1797.03/1797.00 c shifting : 2.15 8930 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.01 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.93 0 0
1797.03/1797.00 c trysol : 1.22 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 : 344.14 6935291 17280557 2.49 50214.23
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.11 1996 3633 1.82 34087.39
1797.03/1797.00 c strong branching : 0.76 8063 36885 4.57 48827.85
1797.03/1797.00 c (at root node) : - 9 309 34.33 -
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 : 7530388
1797.03/1797.00 c nodes (total) : 7530388
1797.03/1797.00 c nodes left : 1425227
1797.03/1797.00 c max depth : 45
1797.03/1797.00 c max depth (total): 45
1797.03/1797.00 c backtracks : 1139793 (15.1%)
1797.03/1797.00 c delayed cutoffs : 239728
1797.03/1797.00 c repropagations : 6436304 (4848996 domain reductions, 224391 cutoffs)
1797.03/1797.00 c avg switch length: 5.34
1797.03/1797.00 c switching time : 472.76
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 : 162
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-3485342-1307773895/watcher-3485342-1307773895 -o /tmp/evaluation-result-3485342-1307773895/solver-3485342-1307773895 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485342-1307773895.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.96 2/177 18726
/proc/meminfo: memFree=30678892/32951124 swapFree=67052812/67111528
[pid=18726] ppid=18724 vsize=13624 CPUtime=0 cores=0,2,4,6
/proc/18726/stat : 18726 (scip-2.0.1.4_2.) R 18724 18726 15120 0 -1 4202496 2116 0 0 0 0 0 0 0 25 0 1 0 888992105 13950976 2071 33554432000 4194304 8979876 140737187488704 18446744073709551615 7836189 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18726/statm: 3406 2082 422 1169 0 2233 0
[startup+0.00668507 s]
/proc/loadavg: 2.00 2.00 1.96 2/177 18726
/proc/meminfo: memFree=30678892/32951124 swapFree=67052812/67111528
[pid=18726] ppid=18724 vsize=14804 CPUtime=0 cores=0,2,4,6
/proc/18726/stat : 18726 (scip-2.0.1.4_2.) R 18724 18726 15120 0 -1 4202496 2498 0 0 0 0 0 0 0 25 0 1 0 888992105 15159296 2453 33554432000 4194304 8979876 140737187488704 18446744073709551615 5292368 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18726/statm: 3701 2453 487 1169 0 2528 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14804
[startup+0.100734 s]
/proc/loadavg: 2.00 2.00 1.96 2/177 18726
/proc/meminfo: memFree=30678892/32951124 swapFree=67052812/67111528
[pid=18726] ppid=18724 vsize=22644 CPUtime=0.09 cores=0,2,4,6
/proc/18726/stat : 18726 (scip-2.0.1.4_2.) R 18724 18726 15120 0 -1 4202496 6123 0 0 0 8 1 0 0 18 0 1 0 888992105 23187456 4636 33554432000 4194304 8979876 140737187488704 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18726/statm: 5661 4636 700 1169 0 4488 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22644
[startup+0.300697 s]
/proc/loadavg: 2.00 2.00 1.96 2/177 18726
/proc/meminfo: memFree=30678892/32951124 swapFree=67052812/67111528
[pid=18726] ppid=18724 vsize=22644 CPUtime=0.29 cores=0,2,4,6
/proc/18726/stat : 18726 (scip-2.0.1.4_2.) R 18724 18726 15120 0 -1 4202496 6128 0 0 0 28 1 0 0 18 0 1 0 888992105 23187456 4641 33554432000 4194304 8979876 140737187488704 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18726/statm: 5661 4641 704 1169 0 4488 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22644
[startup+0.700631 s]
/proc/loadavg: 2.00 2.00 1.96 2/177 18726
/proc/meminfo: memFree=30678892/32951124 swapFree=67052812/67111528
[pid=18726] ppid=18724 vsize=22644 CPUtime=0.69 cores=0,2,4,6
/proc/18726/stat : 18726 (scip-2.0.1.4_2.) R 18724 18726 15120 0 -1 4202496 6132 0 0 0 66 3 0 0 18 0 1 0 888992105 23187456 4645 33554432000 4194304 8979876 140737187488704 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18726/statm: 5661 4645 704 1169 0 4488 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22644
[startup+1.50046 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 18727
/proc/meminfo: memFree=30661156/32951124 swapFree=67052812/67111528
[pid=18726] ppid=18724 vsize=22800 CPUtime=1.49 cores=0,2,4,6
/proc/18726/stat : 18726 (scip-2.0.1.4_2.) R 18724 18726 15120 0 -1 4202496 6162 0 0 0 144 5 0 0 20 0 1 0 888992105 23347200 4675 33554432000 4194304 8979876 140737187488704 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18726/statm: 5700 4675 704 1169 0 4527 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22800
[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 18727
/proc/meminfo: memFree=30660880/32951124 swapFree=67052812/67111528
[pid=18726] ppid=18724 vsize=25168 CPUtime=3.09 cores=0,2,4,6
/proc/18726/stat : 18726 (scip-2.0.1.4_2.) R 18724 18726 15120 0 -1 4202496 6719 0 0 0 298 11 0 0 25 0 1 0 888992105 25772032 5232 33554432000 4194304 8979876 140737187488704 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18726/statm: 6292 5232 704 1169 0 5119 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25168
[startup+6.30063 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 18727
/proc/meminfo: memFree=30652448/32951124 swapFree=67052812/67111528
[pid=18726] ppid=18724 vsize=30924 CPUtime=6.29 cores=0,2,4,6
/proc/18726/stat : 18726 (scip-2.0.1.4_2.) R 18724 18726 15120 0 -1 4202496 8172 0 0 0 609 20 0 0 25 0 1 0 888992105 31666176 6685 33554432000 4194304 8979876 140737187488704 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18726/statm: 7731 6685 704 1169 0 6558 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30924
[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 18727
/proc/meminfo: memFree=30634624/32951124 swapFree=67052812/67111528
[pid=18726] ppid=18724 vsize=40780 CPUtime=12.69 cores=0,2,4,6
/proc/18726/stat : 18726 (scip-2.0.1.4_2.) R 18724 18726 15120 0 -1 4202496 10686 0 0 0 1230 39 0 0 25 0 1 0 888992105 41758720 9199 33554432000 4194304 8979876 140737187488704 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18726/statm: 10195 9199 704 1169 0 9022 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40780
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 18727
/proc/meminfo: memFree=30596408/32951124 swapFree=67052812/67111528
[pid=18726] ppid=18724 vsize=60180 CPUtime=25.49 cores=0,2,4,6
/proc/18726/stat : 18726 (scip-2.0.1.4_2.) R 18724 18726 15120 0 -1 4202496 15558 0 0 0 2475 74 0 0 25 0 1 0 888992105 61624320 14071 33554432000 4194304 8979876 140737187488704 18446744073709551615 6444839 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18726/statm: 15045 14071 704 1169 0 13872 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 60180
[startup+51.1007 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 18728
/proc/meminfo: memFree=30536148/32951124 swapFree=67052812/67111528
[pid=18726] ppid=18724 vsize=94628 CPUtime=51.09 cores=0,2,4,6
/proc/18726/stat : 18726 (scip-2.0.1.4_2.) R 18724 18726 15120 0 -1 4202496 23744 0 0 0 4966 143 0 0 25 0 1 0 888992105 96899072 22257 33554432000 4194304 8979876 140737187488704 18446744073709551615 4687655 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18726/statm: 23657 22257 704 1169 0 22484 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 94628
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 18729
/proc/meminfo: memFree=30421624/32951124 swapFree=67052812/67111528
[pid=18726] ppid=18724 vsize=151248 CPUtime=102.3 cores=0,2,4,6
/proc/18726/stat : 18726 (scip-2.0.1.4_2.) R 18724 18726 15120 0 -1 4202496 38014 0 0 0 9961 269 0 0 25 0 1 0 888992105 154877952 36527 33554432000 4194304 8979876 140737187488704 18446744073709551615 4653649 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18726/statm: 37812 36527 704 1169 0 36639 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 151248
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.96 5/178 18731
/proc/meminfo: memFree=30292772/32951124 swapFree=67052812/67111528
[pid=18726] ppid=18724 vsize=214140 CPUtime=162.3 cores=0,2,4,6
/proc/18726/stat : 18726 (scip-2.0.1.4_2.) R 18724 18726 15120 0 -1 4202496 52984 0 0 0 15824 406 0 0 25 0 1 0 888992105 219279360 51497 33554432000 4194304 8979876 140737187488704 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18726/statm: 53535 51497 704 1169 0 52362 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 214140
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 18732
/proc/meminfo: memFree=30169192/32951124 swapFree=67052812/67111528
[pid=18726] ppid=18724 vsize=272648 CPUtime=222.3 cores=0,2,4,6
/proc/18726/stat : 18726 (scip-2.0.1.4_2.) R 18724 18726 15120 0 -1 4202496 67805 0 0 0 21696 534 0 0 25 0 1 0 888992105 279191552 66318 33554432000 4194304 8979876 140737187488704 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18726/statm: 68162 66318 704 1169 0 66989 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 272648
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 18734
/proc/meminfo: memFree=30051464/32951124 swapFree=67052812/67111528
[pid=18726] ppid=18724 vsize=325592 CPUtime=282.3 cores=0,2,4,6
/proc/18726/stat : 18726 (scip-2.0.1.4_2.) R 18724 18726 15120 0 -1 4202496 81245 0 0 0 27571 659 0 0 25 0 1 0 888992105 333406208 79758 33554432000 4194304 8979876 140737187488704 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18726/statm: 81398 79758 704 1169 0 80225 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 325592
[startup+342.3 s]
/proc/loadavg: 2.07 2.02 1.97 3/178 18736
/proc/meminfo: memFree=29939416/32951124 swapFree=67052812/67111528
[pid=18726] ppid=18724 vsize=374040 CPUtime=342.29 cores=0,2,4,6
/proc/18726/stat : 18726 (scip-2.0.1.4_2.) R 18724 18726 15120 0 -1 4202496 93466 0 0 0 33459 770 0 0 25 0 1 0 888992105 383016960 91979 33554432000 4194304 8979876 140737187488704 18446744073709551615 4888936 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18726/statm: 93510 91979 704 1169 0 92337 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 374040
[startup+402.301 s]
/proc/loadavg: 2.02 2.01 1.97 3/178 18737
/proc/meminfo: memFree=29824152/32951124 swapFree=67052812/67111528
[pid=18726] ppid=18724 vsize=424488 CPUtime=402.3 cores=0,2,4,6
/proc/18726/stat : 18726 (scip-2.0.1.4_2.) R 18724 18726 15120 0 -1 4202496 106429 0 0 0 39340 890 0 0 25 0 1 0 888992105 434675712 104942 33554432000 4194304 8979876 140737187488704 18446744073709551615 4319217 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18726/statm: 106122 104942 704 1169 0 104949 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 424488
[startup+462.301 s]
/proc/loadavg: 2.01 2.00 1.97 3/178 18739
/proc/meminfo: memFree=29715340/32951124 swapFree=67052812/67111528
[pid=18726] ppid=18724 vsize=478260 CPUtime=462.31 cores=0,2,4,6
/proc/18726/stat : 18726 (scip-2.0.1.4_2.) R 18724 18726 15120 0 -1 4202496 117925 0 0 0 45225 1006 0 0 25 0 1 0 888992105 489738240 116438 33554432000 4194304 8979876 140737187488704 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18726/statm: 119565 116438 704 1169 0 118392 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 478260
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 18740
/proc/meminfo: memFree=29601076/32951124 swapFree=67052812/67111528
[pid=18726] ppid=18724 vsize=526168 CPUtime=522.3 cores=0,2,4,6
/proc/18726/stat : 18726 (scip-2.0.1.4_2.) R 18724 18726 15120 0 -1 4202496 129935 0 0 0 51111 1119 0 0 25 0 1 0 888992105 538796032 128448 33554432000 4194304 8979876 140737187488704 18446744073709551615 4654020 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18726/statm: 131542 128448 704 1169 0 130369 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 526168
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 18742
/proc/meminfo: memFree=29493376/32951124 swapFree=67052812/67111528
[pid=18726] ppid=18724 vsize=569256 CPUtime=582.31 cores=0,2,4,6
/proc/18726/stat : 18726 (scip-2.0.1.4_2.) R 18724 18726 15120 0 -1 4202496 141026 0 0 0 57002 1229 0 0 25 0 1 0 888992105 582918144 139539 33554432000 4194304 8979876 140737187488704 18446744073709551615 4347632 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18726/statm: 142314 139539 704 1169 0 141141 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 569256
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.97 4/178 18748
/proc/meminfo: memFree=29088372/32951124 swapFree=67052812/67111528
[pid=18726] ppid=18724 vsize=729428 CPUtime=822.31 cores=0,2,4,6
/proc/18726/stat : 18726 (scip-2.0.1.4_2.) R 18724 18726 15120 0 -1 4202496 181537 0 0 0 80576 1655 0 0 25 0 1 0 888992105 746934272 180050 33554432000 4194304 8979876 140737187488704 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18726/statm: 182357 180050 704 1169 0 181184 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 729428
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 18750
/proc/meminfo: memFree=28980788/32951124 swapFree=67052812/67111528
[pid=18726] ppid=18724 vsize=773140 CPUtime=882.31 cores=0,2,4,6
/proc/18726/stat : 18726 (scip-2.0.1.4_2.) R 18724 18726 15120 0 -1 4202496 192724 0 0 0 86475 1756 0 0 25 0 1 0 888992105 791695360 191237 33554432000 4194304 8979876 140737187488704 18446744073709551615 6459956 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18726/statm: 193285 191237 704 1169 0 192112 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 773140
[startup+942.3 s]
/proc/loadavg: 2.04 2.01 1.97 3/178 18752
/proc/meminfo: memFree=28882280/32951124 swapFree=67052812/67111528
[pid=18726] ppid=18724 vsize=810320 CPUtime=942.31 cores=0,2,4,6
/proc/18726/stat : 18726 (scip-2.0.1.4_2.) R 18724 18726 15120 0 -1 4202496 202291 0 0 0 92371 1860 0 0 25 0 1 0 888992105 829767680 200804 33554432000 4194304 8979876 140737187488704 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18726/statm: 202580 200804 704 1169 0 201407 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 810320
[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 18753
/proc/meminfo: memFree=28773104/32951124 swapFree=67052812/67111528
[pid=18726] ppid=18724 vsize=859192 CPUtime=1002.31 cores=0,2,4,6
/proc/18726/stat : 18726 (scip-2.0.1.4_2.) R 18724 18726 15120 0 -1 4202496 214442 0 0 0 98266 1965 0 0 25 0 1 0 888992105 879812608 212955 33554432000 4194304 8979876 140737187488704 18446744073709551615 5381798 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18726/statm: 214798 212955 704 1169 0 213625 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 859192
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 18755
/proc/meminfo: memFree=28677304/32951124 swapFree=67052812/67111528
[pid=18726] ppid=18724 vsize=899392 CPUtime=1062.31 cores=0,2,4,6
/proc/18726/stat : 18726 (scip-2.0.1.4_2.) R 18724 18726 15120 0 -1 4202496 224762 0 0 0 104156 2075 0 0 25 0 1 0 888992105 920977408 223275 33554432000 4194304 8979876 140737187488704 18446744073709551615 6492557 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18726/statm: 224848 223275 704 1169 0 223675 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 899392
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 18795
/proc/meminfo: memFree=30618844/32951124 swapFree=67052812/67111528
[pid=18726] ppid=18724 vsize=953932 CPUtime=1122.32 cores=0,2,4,6
/proc/18726/stat : 18726 (scip-2.0.1.4_2.) R 18724 18726 15120 0 -1 4202496 234566 0 0 0 110054 2178 0 0 25 0 1 0 888992105 976826368 233079 33554432000 4194304 8979876 140737187488704 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18726/statm: 238483 233079 704 1169 0 237310 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 953932
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 18797
/proc/meminfo: memFree=30529440/32951124 swapFree=67052812/67111528
[pid=18726] ppid=18724 vsize=993424 CPUtime=1182.32 cores=0,2,4,6
/proc/18726/stat : 18726 (scip-2.0.1.4_2.) R 18724 18726 15120 0 -1 4202496 244632 0 0 0 115955 2277 0 0 25 0 1 0 888992105 1017266176 243145 33554432000 4194304 8979876 140737187488704 18446744073709551615 5381809 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18726/statm: 248356 243145 704 1169 0 247183 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 993424
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 18799
/proc/meminfo: memFree=30463592/32951124 swapFree=67052812/67111528
[pid=18726] ppid=18724 vsize=1029240 CPUtime=1242.32 cores=0,2,4,6
/proc/18726/stat : 18726 (scip-2.0.1.4_2.) R 18724 18726 15120 0 -1 4202496 253437 0 0 0 121857 2375 0 0 25 0 1 0 888992105 1053941760 251950 33554432000 4194304 8979876 140737187488704 18446744073709551615 6492264 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18726/statm: 257310 251950 704 1169 0 256137 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1029240
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 18800
/proc/meminfo: memFree=30364684/32951124 swapFree=67052812/67111528
[pid=18726] ppid=18724 vsize=1070916 CPUtime=1302.33 cores=0,2,4,6
/proc/18726/stat : 18726 (scip-2.0.1.4_2.) R 18724 18726 15120 0 -1 4202496 264142 0 0 0 127759 2474 0 0 25 0 1 0 888992105 1096617984 262655 33554432000 4194304 8979876 140737187488704 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18726/statm: 267729 262655 704 1169 0 266556 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1070916
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 18802
/proc/meminfo: memFree=30275084/32951124 swapFree=67052812/67111528
[pid=18726] ppid=18724 vsize=1106060 CPUtime=1362.33 cores=0,2,4,6
/proc/18726/stat : 18726 (scip-2.0.1.4_2.) R 18724 18726 15120 0 -1 4202496 273149 0 0 0 133654 2579 0 0 25 0 1 0 888992105 1132605440 271662 33554432000 4194304 8979876 140737187488704 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18726/statm: 276515 271662 704 1169 0 275342 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1106060
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 18803
/proc/meminfo: memFree=30183984/32951124 swapFree=67052812/67111528
[pid=18726] ppid=18724 vsize=1142060 CPUtime=1422.33 cores=0,2,4,6
/proc/18726/stat : 18726 (scip-2.0.1.4_2.) R 18724 18726 15120 0 -1 4202496 282387 0 0 0 139569 2664 0 0 25 0 1 0 888992105 1169469440 280900 33554432000 4194304 8979876 140737187488704 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18726/statm: 285515 280900 704 1169 0 284342 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1142060
[startup+1482.3 s]
/proc/loadavg: 2.05 2.01 1.98 5/178 18805
/proc/meminfo: memFree=30094400/32951124 swapFree=67052812/67111528
[pid=18726] ppid=18724 vsize=1180784 CPUtime=1482.32 cores=0,2,4,6
/proc/18726/stat : 18726 (scip-2.0.1.4_2.) R 18724 18726 15120 0 -1 4202496 292266 0 0 0 145473 2759 0 0 25 0 1 0 888992105 1209122816 290779 33554432000 4194304 8979876 140737187488704 18446744073709551615 6466104 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18726/statm: 295196 290779 704 1169 0 294023 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 1180784
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/178 18807
/proc/meminfo: memFree=30023140/32951124 swapFree=67052812/67111528
[pid=18726] ppid=18724 vsize=1216716 CPUtime=1542.33 cores=0,2,4,6
/proc/18726/stat : 18726 (scip-2.0.1.4_2.) R 18724 18726 15120 0 -1 4202496 301007 0 0 0 151381 2852 0 0 25 0 1 0 888992105 1245917184 299520 33554432000 4194304 8979876 140737187488704 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18726/statm: 304179 299520 704 1169 0 303006 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1216716
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 18808
/proc/meminfo: memFree=29954256/32951124 swapFree=67052812/67111528
[pid=18726] ppid=18724 vsize=1250004 CPUtime=1602.33 cores=0,2,4,6
/proc/18726/stat : 18726 (scip-2.0.1.4_2.) R 18724 18726 15120 0 -1 4202496 309520 0 0 0 157285 2948 0 0 25 0 1 0 888992105 1280004096 308033 33554432000 4194304 8979876 140737187488704 18446744073709551615 6492544 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18726/statm: 312501 308033 704 1169 0 311328 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1250004
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 18810
/proc/meminfo: memFree=29886716/32951124 swapFree=67052812/67111528
[pid=18726] ppid=18724 vsize=1288024 CPUtime=1662.33 cores=0,2,4,6
/proc/18726/stat : 18726 (scip-2.0.1.4_2.) R 18724 18726 15120 0 -1 4202496 319277 0 0 0 163186 3047 0 0 25 0 1 0 888992105 1318936576 317790 33554432000 4194304 8979876 140737187488704 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18726/statm: 322006 317790 704 1169 0 320833 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1288024
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 18811
/proc/meminfo: memFree=29824264/32951124 swapFree=67052812/67111528
[pid=18726] ppid=18724 vsize=1321568 CPUtime=1722.33 cores=0,2,4,6
/proc/18726/stat : 18726 (scip-2.0.1.4_2.) R 18724 18726 15120 0 -1 4202496 327867 0 0 0 169093 3140 0 0 25 0 1 0 888992105 1353285632 326380 33554432000 4194304 8979876 140737187488704 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18726/statm: 330392 326380 704 1169 0 329219 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1321568
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 18822
/proc/meminfo: memFree=29754604/32951124 swapFree=67052812/67111528
[pid=18726] ppid=18724 vsize=1360280 CPUtime=1782.33 cores=0,2,4,6
/proc/18726/stat : 18726 (scip-2.0.1.4_2.) R 18724 18726 15120 0 -1 4202496 337714 0 0 0 175003 3230 0 0 25 0 1 0 888992105 1392926720 336227 33554432000 4194304 8979876 140737187488704 18446744073709551615 5381791 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18726/statm: 340070 336227 704 1169 0 338897 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 1360280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 18823
/proc/meminfo: memFree=29737836/32951124 swapFree=67052812/67111528
[pid=18726] ppid=18724 vsize=1367640 CPUtime=1800.04 cores=0,2,4,6
/proc/18726/stat : 18726 (scip-2.0.1.4_2.) R 18724 18726 15120 0 -1 4202496 339572 0 0 0 176751 3253 0 0 25 0 1 0 888992105 1400463360 338085 33554432000 4194304 8979876 140737187488704 18446744073709551615 7820544 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/18726/statm: 341910 338085 707 1169 0 340737 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1367640
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.06
CPU time (s): 1800.1
CPU user time (s): 1767.51
CPU system time (s): 32.59
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1367640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1767.51
system time used= 32.59
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 339572
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= 9
involuntary context switches= 1336
runsolver used 2.67459 second user time and 5.56115 second system time
The end