0.00/0.00 c SCIP version 2.0.1.5 [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-3488784-1307772771.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.01 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.01 c presolving (3 rounds):
0.00/0.01 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.01 c 0 implications, 0 cliques
0.00/0.01 c presolved problem has 50 variables (50 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.00/0.01 c 6 constraints of type <linear>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.00
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 2.0.1.5
0.00/0.01 c
0.00/0.01 c # frequency for displaying node information lines
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.01 c display/freq = 10000
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/time = 1797
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = 13950
0.00/0.01 c
0.00/0.01 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.01 c # [type: int, range: [1,2], default: 1]
0.00/0.01 c timing/clocktype = 2
0.00/0.01 c
0.00/0.01 c # belongs reading time to solving time?
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c timing/reading = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify inequalities
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/linear/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/indicator/addCouplingCons = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify knapsacks
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c separating/rapidlearning/freq = 0
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.01 c 0.0s| 1 | 0 | 36 | - | 291k| 0 | 6 | 50 | 15 | 50 | 6 | 0 | 9 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 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 | - | 350k| 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.04 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.05 c 0.0s| 1 | 0 | 162 | - | 397k| 0 | 15 | 50 | 15 | 50 | 25 | 19 | 9 | 0 | 0.000000e+00 | -- | Inf
0.05/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.54 c 1.5s| 10000 | 3599 | 25577 | 2.5 |4010k| 44 | 6 | 50 |3054 | 50 | 15 | 19 |4705 | 492 | 0.000000e+00 | -- | Inf
2.98/3.01 c 3.0s| 20000 | 6637 | 50997 | 2.5 |6088k| 44 | - | 50 |2405 | 50 | 15 | 19 |9831 | 660 | 0.000000e+00 | -- | Inf
4.40/4.44 c 4.4s| 30000 | 9422 | 76496 | 2.5 |8470k| 44 | - | 50 |3445 | 50 | 15 | 19 | 15k| 784 | 0.000000e+00 | -- | Inf
5.89/5.97 c 6.0s| 40000 | 12058 |101951 | 2.5 | 10M| 44 | - | 50 |3291 | 50 | 15 | 19 | 20k| 903 | 0.000000e+00 | -- | Inf
7.29/7.39 c 7.4s| 50000 | 15308 |126603 | 2.5 | 13M| 44 | 6 | 50 |4151 | 50 | 15 | 19 | 25k| 989 | 0.000000e+00 | -- | Inf
8.79/8.86 c 8.9s| 60000 | 18400 |150519 | 2.5 | 15M| 44 | - | 50 |4339 | 50 | 15 | 19 | 30k|1047 | 0.000000e+00 | -- | Inf
10.29/10.38 c 10.4s| 70000 | 21289 |175197 | 2.5 | 17M| 44 | 6 | 50 |4058 | 50 | 15 | 19 | 35k|1115 | 0.000000e+00 | -- | Inf
11.89/11.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.89/11.92 c 11.9s| 80000 | 24064 |199108 | 2.5 | 19M| 44 | 6 | 50 |4414 | 50 | 15 | 19 | 40k|1171 | 0.000000e+00 | -- | Inf
13.39/13.42 c 13.4s| 90000 | 26950 |223357 | 2.5 | 21M| 44 | 6 | 50 |5223 | 50 | 15 | 19 | 45k|1220 | 0.000000e+00 | -- | Inf
14.98/15.05 c 15.0s|100000 | 29643 |247389 | 2.5 | 23M| 44 | - | 50 |4582 | 0 | 0 | 19 | 50k|1257 | 0.000000e+00 | -- | Inf
16.49/16.51 c 16.5s|110000 | 32797 |271563 | 2.5 | 26M| 44 | 6 | 50 |5906 | 50 | 15 | 19 | 55k|1305 | 0.000000e+00 | -- | Inf
18.08/18.14 c 18.1s|120000 | 35643 |295920 | 2.5 | 28M| 44 | 6 | 50 |5556 | 50 | 15 | 19 | 60k|1346 | 0.000000e+00 | -- | Inf
19.79/19.84 c 19.8s|130000 | 38251 |320248 | 2.5 | 30M| 44 | - | 50 |5103 | 50 | 15 | 19 | 66k|1397 | 0.000000e+00 | -- | Inf
21.49/21.55 c 21.5s|140000 | 40637 |345203 | 2.5 | 32M| 44 | 6 | 50 |5250 | 50 | 15 | 19 | 71k|1444 | 0.000000e+00 | -- | Inf
23.09/23.13 c 23.1s|150000 | 43311 |369299 | 2.5 | 34M| 44 | - | 50 |6318 | 50 | 15 | 19 | 77k|1485 | 0.000000e+00 | -- | Inf
24.79/24.87 c 24.9s|160000 | 45961 |393282 | 2.5 | 36M| 44 | 6 | 50 |5127 | 50 | 15 | 19 | 82k|1530 | 0.000000e+00 | -- | Inf
26.59/26.63 c 26.6s|170000 | 48377 |417748 | 2.5 | 38M| 44 | - | 50 |5173 | 50 | 15 | 19 | 87k|1572 | 0.000000e+00 | -- | Inf
28.09/28.16 c 28.2s|180000 | 51292 |443329 | 2.5 | 41M| 44 | 6 | 50 |6995 | 50 | 15 | 19 | 92k|1612 | 0.000000e+00 | -- | Inf
29.89/29.92 c 29.9s|190000 | 53868 |467828 | 2.5 | 43M| 44 | 6 | 50 |6990 | 50 | 15 | 19 | 98k|1647 | 0.000000e+00 | -- | Inf
31.59/31.60 c 31.6s|200000 | 56531 |491801 | 2.5 | 45M| 45 | - | 50 |7690 | 50 | 15 | 19 | 103k|1690 | 0.000000e+00 | -- | Inf
33.29/33.37 c 33.4s|210000 | 58876 |516184 | 2.5 | 47M| 45 | - | 50 |6632 | 50 | 15 | 19 | 109k|1737 | 0.000000e+00 | -- | Inf
34.89/34.94 c 34.9s|220000 | 62034 |539996 | 2.5 | 49M| 45 | - | 50 |7153 | 50 | 15 | 19 | 114k|1773 | 0.000000e+00 | -- | Inf
36.58/36.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.58/36.61 c 36.6s|230000 | 65006 |563243 | 2.4 | 51M| 45 | - | 50 |7669 | 50 | 15 | 19 | 119k|1800 | 0.000000e+00 | -- | Inf
38.29/38.35 c 38.4s|240000 | 67703 |586240 | 2.4 | 54M| 45 | - | 50 |7482 | 50 | 15 | 19 | 124k|1839 | 0.000000e+00 | -- | Inf
40.09/40.11 c 40.1s|250000 | 70167 |610761 | 2.4 | 55M| 45 | - | 50 |6397 | 50 | 15 | 19 | 129k|1874 | 0.000000e+00 | -- | Inf
41.80/41.84 c 41.8s|260000 | 72721 |634340 | 2.4 | 57M| 45 | 6 | 50 |6408 | 50 | 15 | 19 | 135k|1916 | 0.000000e+00 | -- | Inf
43.49/43.51 c 43.5s|270000 | 75509 |657181 | 2.4 | 59M| 45 | 6 | 50 |6783 | 50 | 15 | 19 | 140k|1936 | 0.000000e+00 | -- | Inf
45.29/45.37 c 45.4s|280000 | 77909 |681197 | 2.4 | 61M| 45 | 6 | 50 |5296 | 50 | 15 | 19 | 145k|1950 | 0.000000e+00 | -- | Inf
46.99/47.04 c 47.0s|290000 | 80258 |704868 | 2.4 | 63M| 45 | 6 | 50 |6141 | 50 | 15 | 19 | 151k|1983 | 0.000000e+00 | -- | Inf
48.79/48.85 c 48.8s|300000 | 82585 |728812 | 2.4 | 65M| 45 | 6 | 50 |5032 | 50 | 15 | 19 | 156k|2022 | 0.000000e+00 | -- | Inf
50.39/50.48 c 50.5s|310000 | 85089 |753286 | 2.4 | 67M| 45 | 6 | 50 |6092 | 50 | 15 | 19 | 162k|2042 | 0.000000e+00 | -- | Inf
52.19/52.22 c 52.2s|320000 | 87475 |777293 | 2.4 | 69M| 45 | 6 | 50 |5762 | 50 | 15 | 19 | 167k|2073 | 0.000000e+00 | -- | Inf
53.90/53.98 c 54.0s|330000 | 89872 |800498 | 2.4 | 71M| 45 | 6 | 50 |5599 | 50 | 15 | 19 | 172k|2093 | 0.000000e+00 | -- | Inf
55.69/55.73 c 55.7s|340000 | 92291 |823725 | 2.4 | 73M| 45 | 6 | 50 |5168 | 50 | 15 | 19 | 178k|2120 | 0.000000e+00 | -- | Inf
57.19/57.29 c 57.3s|350000 | 95088 |847792 | 2.4 | 75M| 45 | - | 50 |6879 | 0 | 0 | 19 | 183k|2144 | 0.000000e+00 | -- | Inf
59.09/59.16 c 59.2s|360000 | 97413 |872299 | 2.4 | 77M| 45 | - | 50 |6696 | 50 | 15 | 19 | 189k|2172 | 0.000000e+00 | -- | Inf
60.99/61.08 c 61.1s|370000 | 99387 |896820 | 2.4 | 79M| 45 | 6 | 50 |5959 | 50 | 15 | 19 | 194k|2207 | 0.000000e+00 | -- | Inf
62.69/62.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
62.69/62.73 c 62.7s|380000 |101778 |922178 | 2.4 | 81M| 45 | - | 50 |8231 | 50 | 15 | 19 | 200k|2246 | 0.000000e+00 | -- | Inf
64.39/64.43 c 64.4s|390000 |104212 |946490 | 2.4 | 84M| 45 | 6 | 50 |9916 | 50 | 15 | 19 | 205k|2276 | 0.000000e+00 | -- | Inf
66.40/66.44 c 66.4s|400000 |106547 |970600 | 2.4 | 85M| 45 | 6 | 50 |7501 | 50 | 15 | 19 | 211k|2307 | 0.000000e+00 | -- | Inf
68.20/68.26 c 68.3s|410000 |108974 |994118 | 2.4 | 87M| 45 | 6 | 50 |7300 | 50 | 15 | 19 | 216k|2334 | 0.000000e+00 | -- | Inf
69.99/70.05 c 70.0s|420000 |111516 | 1018k| 2.4 | 89M| 45 | - | 50 |7367 | 50 | 15 | 19 | 222k|2363 | 0.000000e+00 | -- | Inf
71.89/71.91 c 71.9s|430000 |113760 | 1042k| 2.4 | 91M| 45 | 6 | 50 |6718 | 50 | 15 | 19 | 227k|2388 | 0.000000e+00 | -- | Inf
73.59/73.70 c 73.7s|440000 |116119 | 1066k| 2.4 | 93M| 45 | - | 50 |7380 | 50 | 15 | 19 | 233k|2415 | 0.000000e+00 | -- | Inf
75.29/75.31 c 75.3s|450000 |119138 | 1090k| 2.4 | 95M| 45 | 6 | 50 |8924 | 50 | 15 | 19 | 238k|2437 | 0.000000e+00 | -- | Inf
77.09/77.16 c 77.2s|460000 |121621 | 1113k| 2.4 | 97M| 45 | 6 | 50 |9980 | 50 | 15 | 19 | 243k|2462 | 0.000000e+00 | -- | Inf
79.20/79.23 c 79.2s|470000 |123856 | 1136k| 2.4 | 99M| 45 | - | 50 |7372 | 50 | 15 | 19 | 249k|2482 | 0.000000e+00 | -- | Inf
81.09/81.16 c 81.2s|480000 |126030 | 1160k| 2.4 | 100M| 45 | - | 50 |6732 | 50 | 15 | 19 | 254k|2513 | 0.000000e+00 | -- | Inf
83.00/83.05 c 83.0s|490000 |128160 | 1184k| 2.4 | 102M| 45 | 6 | 50 |6959 | 50 | 15 | 19 | 260k|2537 | 0.000000e+00 | -- | Inf
84.79/84.81 c 84.8s|500000 |130466 | 1208k| 2.4 | 105M| 45 | 6 | 50 |7617 | 50 | 15 | 19 | 266k|2563 | 0.000000e+00 | -- | Inf
86.69/86.74 c 86.7s|510000 |132709 | 1232k| 2.4 | 106M| 45 | 6 | 50 |7793 | 50 | 15 | 19 | 271k|2586 | 0.000000e+00 | -- | Inf
88.59/88.66 c 88.7s|520000 |134815 | 1255k| 2.4 | 108M| 45 | 6 | 50 |7958 | 50 | 15 | 19 | 277k|2606 | 0.000000e+00 | -- | Inf
90.59/90.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
90.59/90.61 c 90.6s|530000 |136889 | 1279k| 2.4 | 110M| 45 | 6 | 50 |7716 | 50 | 15 | 19 | 283k|2633 | 0.000000e+00 | -- | Inf
92.40/92.46 c 92.5s|540000 |139192 | 1302k| 2.4 | 112M| 45 | 6 | 50 |8432 | 50 | 15 | 19 | 288k|2658 | 0.000000e+00 | -- | Inf
94.49/94.54 c 94.5s|550000 |141164 | 1325k| 2.4 | 114M| 45 | 6 | 50 |5884 | 50 | 15 | 19 | 294k|2681 | 0.000000e+00 | -- | Inf
96.19/96.29 c 96.3s|560000 |143404 | 1349k| 2.4 | 116M| 45 | 6 | 50 |6230 | 50 | 15 | 19 | 300k|2699 | 0.000000e+00 | -- | Inf
98.09/98.10 c 98.1s|570000 |145730 | 1372k| 2.4 | 117M| 45 | - | 50 |6423 | 50 | 15 | 19 | 305k|2715 | 0.000000e+00 | -- | Inf
99.79/99.87 c 99.9s|580000 |148266 | 1396k| 2.4 | 119M| 45 | 6 | 50 |6633 | 50 | 15 | 19 | 310k|2736 | 0.000000e+00 | -- | Inf
101.49/101.57 c 102s|590000 |150861 | 1420k| 2.4 | 122M| 45 | 6 | 50 |8149 | 50 | 15 | 19 | 316k|2761 | 0.000000e+00 | -- | Inf
103.30/103.37 c 103s|600000 |153393 | 1444k| 2.4 | 124M| 45 | 6 | 50 |9793 | 50 | 15 | 19 | 321k|2783 | 0.000000e+00 | -- | Inf
105.29/105.36 c 105s|610000 |155473 | 1467k| 2.4 | 126M| 45 | 6 | 50 | 10k| 50 | 15 | 19 | 327k|2811 | 0.000000e+00 | -- | Inf
107.39/107.41 c 107s|620000 |157532 | 1490k| 2.4 | 128M| 45 | 6 | 50 | 10k| 50 | 15 | 19 | 333k|2837 | 0.000000e+00 | -- | Inf
109.49/109.55 c 110s|630000 |159563 | 1513k| 2.4 | 130M| 45 | - | 50 | 11k| 50 | 15 | 19 | 339k|2873 | 0.000000e+00 | -- | Inf
111.69/111.77 c 112s|640000 |161743 | 1537k| 2.4 | 132M| 45 | - | 50 | 11k| 50 | 15 | 19 | 344k|2891 | 0.000000e+00 | -- | Inf
114.09/114.10 c 114s|650000 |163708 | 1560k| 2.4 | 133M| 45 | 6 | 50 |8778 | 50 | 15 | 19 | 350k|2907 | 0.000000e+00 | -- | Inf
115.90/115.97 c 116s|660000 |166003 | 1583k| 2.4 | 135M| 45 | 6 | 50 |9633 | 50 | 15 | 19 | 356k|2941 | 0.000000e+00 | -- | Inf
118.19/118.22 c 118s|670000 |167961 | 1606k| 2.4 | 137M| 45 | - | 50 |7146 | 50 | 15 | 19 | 362k|2954 | 0.000000e+00 | -- | Inf
120.00/120.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
120.00/120.05 c 120s|680000 |170275 | 1629k| 2.4 | 139M| 45 | - | 50 |8512 | 0 | 0 | 19 | 367k|2968 | 0.000000e+00 | -- | Inf
122.10/122.14 c 122s|690000 |172309 | 1653k| 2.4 | 140M| 45 | 6 | 50 |6513 | 50 | 15 | 19 | 373k|2989 | 0.000000e+00 | -- | Inf
123.89/123.95 c 124s|700000 |174525 | 1676k| 2.4 | 142M| 45 | - | 50 |7704 | 50 | 15 | 19 | 378k|3005 | 0.000000e+00 | -- | Inf
125.79/125.83 c 126s|710000 |176891 | 1700k| 2.4 | 144M| 45 | 6 | 50 |7007 | 50 | 15 | 19 | 384k|3016 | 0.000000e+00 | -- | Inf
127.60/127.65 c 128s|720000 |178841 | 1724k| 2.4 | 146M| 45 | 6 | 50 |9434 | 50 | 15 | 19 | 390k|3039 | 0.000000e+00 | -- | Inf
129.70/129.79 c 130s|730000 |180959 | 1747k| 2.4 | 148M| 45 | - | 50 |7235 | 50 | 15 | 19 | 395k|3056 | 0.000000e+00 | -- | Inf
131.69/131.72 c 132s|740000 |183140 | 1771k| 2.4 | 150M| 45 | 6 | 50 |6905 | 50 | 15 | 19 | 401k|3075 | 0.000000e+00 | -- | Inf
133.29/133.35 c 133s|750000 |185909 | 1795k| 2.4 | 152M| 45 | - | 50 |8606 | 50 | 15 | 19 | 406k|3089 | 0.000000e+00 | -- | Inf
135.09/135.17 c 135s|760000 |188350 | 1819k| 2.4 | 154M| 45 | 6 | 50 |9311 | 50 | 15 | 19 | 411k|3110 | 0.000000e+00 | -- | Inf
136.99/137.08 c 137s|770000 |190640 | 1844k| 2.4 | 156M| 45 | 6 | 50 | 10k| 50 | 15 | 19 | 416k|3127 | 0.000000e+00 | -- | Inf
139.10/139.13 c 139s|780000 |193000 | 1868k| 2.4 | 158M| 45 | 6 | 50 |9508 | 50 | 15 | 19 | 422k|3149 | 0.000000e+00 | -- | Inf
141.20/141.21 c 141s|790000 |195253 | 1891k| 2.4 | 160M| 45 | - | 50 |8492 | 50 | 15 | 19 | 427k|3167 | 0.000000e+00 | -- | Inf
143.19/143.26 c 143s|800000 |197341 | 1915k| 2.4 | 161M| 45 | - | 50 |7676 | 50 | 15 | 19 | 433k|3195 | 0.000000e+00 | -- | Inf
145.00/145.01 c 145s|810000 |200306 | 1940k| 2.4 | 164M| 45 | 6 | 50 |8592 | 50 | 15 | 19 | 438k|3213 | 0.000000e+00 | -- | Inf
146.79/146.81 c 147s|820000 |202923 | 1965k| 2.4 | 166M| 45 | - | 50 |9296 | 50 | 15 | 19 | 443k|3228 | 0.000000e+00 | -- | Inf
148.69/148.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
148.69/148.71 c 149s|830000 |205267 | 1990k| 2.4 | 168M| 45 | - | 50 | 10k| 50 | 15 | 19 | 449k|3243 | 0.000000e+00 | -- | Inf
150.49/150.59 c 151s|840000 |207723 | 2014k| 2.4 | 170M| 45 | 6 | 50 | 11k| 50 | 15 | 19 | 455k|3259 | 0.000000e+00 | -- | Inf
152.49/152.54 c 153s|850000 |210191 | 2038k| 2.4 | 172M| 45 | 6 | 50 | 11k| 50 | 15 | 19 | 460k|3275 | 0.000000e+00 | -- | Inf
154.49/154.57 c 155s|860000 |212402 | 2062k| 2.4 | 174M| 45 | - | 50 | 11k| 0 | 0 | 19 | 465k|3290 | 0.000000e+00 | -- | Inf
156.60/156.65 c 157s|870000 |214835 | 2086k| 2.4 | 176M| 45 | 6 | 50 | 11k| 50 | 15 | 19 | 471k|3306 | 0.000000e+00 | -- | Inf
159.09/159.15 c 159s|880000 |216781 | 2111k| 2.4 | 178M| 45 | 6 | 50 |8513 | 50 | 15 | 19 | 477k|3329 | 0.000000e+00 | -- | Inf
161.09/161.19 c 161s|890000 |218938 | 2134k| 2.4 | 179M| 45 | - | 50 |8107 | 50 | 15 | 19 | 482k|3345 | 0.000000e+00 | -- | Inf
162.89/162.94 c 163s|900000 |221838 | 2158k| 2.4 | 182M| 45 | 6 | 50 |9878 | 50 | 15 | 19 | 487k|3356 | 0.000000e+00 | -- | Inf
164.90/164.99 c 165s|910000 |224152 | 2180k| 2.4 | 184M| 45 | 6 | 50 |9585 | 50 | 15 | 19 | 493k|3372 | 0.000000e+00 | -- | Inf
167.29/167.38 c 167s|920000 |225963 | 2204k| 2.4 | 185M| 45 | 6 | 50 |7184 | 50 | 15 | 19 | 498k|3390 | 0.000000e+00 | -- | Inf
169.19/169.22 c 169s|930000 |228220 | 2227k| 2.4 | 187M| 45 | - | 50 |8881 | 50 | 15 | 19 | 504k|3409 | 0.000000e+00 | -- | Inf
171.30/171.33 c 171s|940000 |230135 | 2250k| 2.4 | 189M| 45 | 6 | 50 |8152 | 50 | 15 | 19 | 510k|3427 | 0.000000e+00 | -- | Inf
173.29/173.35 c 173s|950000 |232314 | 2273k| 2.4 | 191M| 45 | 6 | 50 |7818 | 50 | 15 | 19 | 515k|3445 | 0.000000e+00 | -- | Inf
175.09/175.17 c 175s|960000 |234750 | 2296k| 2.4 | 193M| 45 | 6 | 50 |9912 | 50 | 15 | 19 | 521k|3457 | 0.000000e+00 | -- | Inf
177.30/177.37 c 177s|970000 |237079 | 2320k| 2.4 | 194M| 45 | 6 | 50 |7879 | 50 | 15 | 19 | 526k|3468 | 0.000000e+00 | -- | Inf
179.49/179.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
179.49/179.55 c 180s|980000 |239030 | 2343k| 2.4 | 196M| 45 | - | 50 |5975 | 50 | 15 | 19 | 532k|3488 | 0.000000e+00 | -- | Inf
181.40/181.46 c 181s|990000 |240960 | 2367k| 2.4 | 198M| 45 | 6 | 50 |7080 | 50 | 15 | 19 | 538k|3507 | 0.000000e+00 | -- | Inf
183.20/183.28 c 183s| 1000k|243031 | 2391k| 2.4 | 200M| 45 | 6 | 50 |8626 | 50 | 15 | 19 | 543k|3524 | 0.000000e+00 | -- | Inf
185.50/185.50 c 186s| 1010k|244908 | 2414k| 2.4 | 201M| 45 | - | 50 |6561 | 50 | 15 | 19 | 549k|3535 | 0.000000e+00 | -- | Inf
187.10/187.17 c 187s| 1020k|247561 | 2437k| 2.4 | 204M| 45 | 6 | 50 |8740 | 50 | 15 | 19 | 554k|3557 | 0.000000e+00 | -- | Inf
189.30/189.30 c 189s| 1030k|249531 | 2461k| 2.4 | 205M| 45 | 6 | 50 |7719 | 50 | 15 | 19 | 560k|3572 | 0.000000e+00 | -- | Inf
191.19/191.22 c 191s| 1040k|251780 | 2484k| 2.4 | 207M| 45 | 6 | 50 |8483 | 50 | 15 | 19 | 566k|3586 | 0.000000e+00 | -- | Inf
193.30/193.38 c 193s| 1050k|253758 | 2507k| 2.4 | 209M| 45 | - | 50 |8179 | 50 | 15 | 19 | 571k|3596 | 0.000000e+00 | -- | Inf
195.49/195.50 c 195s| 1060k|255715 | 2531k| 2.4 | 211M| 45 | 6 | 50 |7527 | 50 | 15 | 19 | 577k|3614 | 0.000000e+00 | -- | Inf
197.49/197.55 c 198s| 1070k|257825 | 2554k| 2.4 | 213M| 45 | - | 50 |7289 | 50 | 15 | 19 | 583k|3626 | 0.000000e+00 | -- | Inf
199.50/199.58 c 200s| 1080k|259789 | 2578k| 2.4 | 215M| 45 | - | 50 |7769 | 50 | 15 | 19 | 589k|3641 | 0.000000e+00 | -- | Inf
201.60/201.61 c 202s| 1090k|262009 | 2602k| 2.4 | 216M| 45 | - | 50 |7763 | 50 | 15 | 19 | 594k|3663 | 0.000000e+00 | -- | Inf
203.60/203.61 c 204s| 1100k|264117 | 2625k| 2.4 | 218M| 45 | 6 | 50 |7056 | 50 | 15 | 19 | 600k|3675 | 0.000000e+00 | -- | Inf
205.60/205.66 c 206s| 1110k|265966 | 2648k| 2.4 | 220M| 45 | 6 | 50 |7257 | 50 | 15 | 19 | 606k|3698 | 0.000000e+00 | -- | Inf
207.70/207.71 c 208s| 1120k|267774 | 2672k| 2.4 | 222M| 45 | 6 | 50 |7404 | 50 | 15 | 19 | 612k|3713 | 0.000000e+00 | -- | Inf
209.49/209.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
209.49/209.52 c 210s| 1130k|270082 | 2695k| 2.4 | 224M| 45 | 6 | 50 |9003 | 50 | 15 | 19 | 617k|3726 | 0.000000e+00 | -- | Inf
211.20/211.27 c 211s| 1140k|272961 | 2720k| 2.4 | 227M| 45 | 6 | 50 | 10k| 50 | 15 | 19 | 622k|3742 | 0.000000e+00 | -- | Inf
213.09/213.18 c 213s| 1150k|275595 | 2744k| 2.4 | 229M| 45 | - | 50 | 11k| 0 | 0 | 19 | 627k|3760 | 0.000000e+00 | -- | Inf
215.09/215.18 c 215s| 1160k|278174 | 2767k| 2.4 | 231M| 45 | - | 50 | 11k| 50 | 15 | 19 | 633k|3773 | 0.000000e+00 | -- | Inf
217.39/217.40 c 217s| 1170k|280393 | 2791k| 2.4 | 232M| 45 | 6 | 50 |9538 | 50 | 15 | 19 | 638k|3786 | 0.000000e+00 | -- | Inf
219.49/219.58 c 220s| 1180k|282302 | 2816k| 2.4 | 234M| 45 | - | 50 |8809 | 50 | 15 | 19 | 644k|3799 | 0.000000e+00 | -- | Inf
221.69/221.76 c 222s| 1190k|284400 | 2839k| 2.4 | 235M| 45 | 6 | 50 |7804 | 50 | 15 | 19 | 650k|3811 | 0.000000e+00 | -- | Inf
223.60/223.69 c 224s| 1200k|286627 | 2863k| 2.4 | 237M| 45 | - | 50 |8479 | 50 | 15 | 19 | 655k|3826 | 0.000000e+00 | -- | Inf
225.40/225.46 c 225s| 1210k|289109 | 2886k| 2.4 | 240M| 45 | 6 | 50 | 10k| 50 | 15 | 19 | 661k|3842 | 0.000000e+00 | -- | Inf
227.40/227.46 c 227s| 1220k|291358 | 2909k| 2.4 | 242M| 45 | - | 50 | 10k| 50 | 15 | 19 | 666k|3858 | 0.000000e+00 | -- | Inf
229.60/229.65 c 230s| 1230k|293466 | 2931k| 2.4 | 244M| 45 | 6 | 50 | 11k| 50 | 15 | 19 | 672k|3870 | 0.000000e+00 | -- | Inf
231.50/231.52 c 232s| 1240k|296239 | 2956k| 2.4 | 246M| 45 | - | 50 | 12k| 50 | 15 | 19 | 677k|3886 | 0.000000e+00 | -- | Inf
233.90/233.93 c 234s| 1250k|298396 | 2980k| 2.4 | 248M| 45 | 6 | 50 | 11k| 50 | 15 | 19 | 683k|3905 | 0.000000e+00 | -- | Inf
236.20/236.20 c 236s| 1260k|300395 | 3004k| 2.4 | 249M| 45 | 6 | 50 |8405 | 50 | 15 | 19 | 688k|3919 | 0.000000e+00 | -- | Inf
238.40/238.47 c 238s| 1270k|302296 | 3027k| 2.4 | 250M| 45 | - | 50 |6892 | 50 | 15 | 19 | 694k|3934 | 0.000000e+00 | -- | Inf
240.19/240.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
240.19/240.22 c 240s| 1280k|304256 | 3051k| 2.4 | 253M| 45 | - | 50 |9889 | 50 | 15 | 19 | 700k|3943 | 0.000000e+00 | -- | Inf
242.40/242.49 c 242s| 1290k|306000 | 3074k| 2.4 | 254M| 45 | 6 | 50 |7996 | 50 | 15 | 19 | 705k|3952 | 0.000000e+00 | -- | Inf
244.30/244.34 c 244s| 1300k|307956 | 3097k| 2.4 | 256M| 45 | 6 | 50 |9384 | 50 | 15 | 19 | 711k|3964 | 0.000000e+00 | -- | Inf
246.49/246.55 c 247s| 1310k|310068 | 3120k| 2.4 | 258M| 45 | 6 | 50 |7652 | 50 | 15 | 19 | 717k|3977 | 0.000000e+00 | -- | Inf
248.69/248.72 c 249s| 1320k|311980 | 3143k| 2.4 | 259M| 45 | - | 50 |7208 | 50 | 15 | 19 | 722k|3989 | 0.000000e+00 | -- | Inf
250.59/250.65 c 251s| 1330k|314169 | 3167k| 2.4 | 261M| 45 | 6 | 50 |8161 | 50 | 15 | 19 | 728k|4004 | 0.000000e+00 | -- | Inf
252.70/252.70 c 253s| 1340k|316310 | 3190k| 2.4 | 263M| 45 | - | 50 |7883 | 50 | 15 | 19 | 733k|4018 | 0.000000e+00 | -- | Inf
254.59/254.67 c 255s| 1350k|318701 | 3213k| 2.4 | 265M| 45 | - | 50 |8346 | 50 | 15 | 19 | 739k|4031 | 0.000000e+00 | -- | Inf
256.70/256.76 c 257s| 1360k|320645 | 3236k| 2.4 | 267M| 45 | 6 | 50 |8442 | 50 | 15 | 19 | 744k|4047 | 0.000000e+00 | -- | Inf
259.00/259.06 c 259s| 1370k|322552 | 3259k| 2.4 | 269M| 45 | 6 | 50 |7908 | 50 | 15 | 19 | 750k|4060 | 0.000000e+00 | -- | Inf
261.19/261.21 c 261s| 1380k|324472 | 3282k| 2.4 | 270M| 45 | 6 | 50 |7301 | 50 | 15 | 19 | 756k|4073 | 0.000000e+00 | -- | Inf
262.90/262.92 c 263s| 1390k|326708 | 3305k| 2.4 | 273M| 45 | 6 | 50 | 10k| 50 | 15 | 19 | 762k|4083 | 0.000000e+00 | -- | Inf
264.90/264.98 c 265s| 1400k|328849 | 3328k| 2.4 | 275M| 45 | 6 | 50 |9882 | 50 | 15 | 19 | 767k|4096 | 0.000000e+00 | -- | Inf
267.00/267.04 c 267s| 1410k|331377 | 3350k| 2.4 | 276M| 45 | 6 | 50 |8826 | 50 | 15 | 19 | 772k|4103 | 0.000000e+00 | -- | Inf
269.19/269.24 c 269s| 1420k|333331 | 3374k| 2.4 | 278M| 45 | 6 | 50 |7595 | 50 | 15 | 19 | 778k|4120 | 0.000000e+00 | -- | Inf
271.20/271.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
271.20/271.29 c 271s| 1430k|335184 | 3397k| 2.4 | 280M| 45 | 6 | 50 |8276 | 50 | 15 | 19 | 784k|4135 | 0.000000e+00 | -- | Inf
273.40/273.42 c 273s| 1440k|337192 | 3420k| 2.4 | 282M| 45 | 6 | 50 |8535 | 50 | 15 | 19 | 790k|4147 | 0.000000e+00 | -- | Inf
275.59/275.65 c 276s| 1450k|339107 | 3443k| 2.4 | 283M| 45 | 6 | 50 |7610 | 50 | 15 | 19 | 796k|4158 | 0.000000e+00 | -- | Inf
277.59/277.69 c 278s| 1460k|341000 | 3468k| 2.4 | 285M| 45 | 6 | 50 |8632 | 50 | 15 | 19 | 802k|4168 | 0.000000e+00 | -- | Inf
279.70/279.71 c 280s| 1470k|343181 | 3491k| 2.4 | 287M| 45 | 6 | 50 |9381 | 50 | 15 | 19 | 807k|4182 | 0.000000e+00 | -- | Inf
281.70/281.76 c 282s| 1480k|345054 | 3515k| 2.4 | 289M| 45 | 6 | 50 | 10k| 50 | 15 | 19 | 813k|4197 | 0.000000e+00 | -- | Inf
284.09/284.14 c 284s| 1490k|346970 | 3538k| 2.4 | 291M| 45 | - | 50 |9379 | 50 | 15 | 19 | 818k|4212 | 0.000000e+00 | -- | Inf
286.20/286.28 c 286s| 1500k|349136 | 3562k| 2.4 | 293M| 45 | 6 | 50 |9131 | 50 | 15 | 19 | 824k|4234 | 0.000000e+00 | -- | Inf
288.10/288.18 c 288s| 1510k|351347 | 3587k| 2.4 | 295M| 45 | - | 50 | 10k| 0 | 0 | 19 | 830k|4254 | 0.000000e+00 | -- | Inf
290.30/290.40 c 290s| 1520k|353001 | 3610k| 2.4 | 297M| 45 | 6 | 50 | 11k| 50 | 15 | 19 | 836k|4268 | 0.000000e+00 | -- | Inf
292.60/292.61 c 293s| 1530k|355103 | 3634k| 2.4 | 298M| 45 | 6 | 50 | 11k| 50 | 15 | 19 | 842k|4280 | 0.000000e+00 | -- | Inf
294.81/294.86 c 295s| 1540k|357199 | 3658k| 2.4 | 301M| 45 | 6 | 50 | 13k| 50 | 15 | 19 | 848k|4289 | 0.000000e+00 | -- | Inf
297.10/297.18 c 297s| 1550k|359108 | 3681k| 2.4 | 303M| 45 | 6 | 50 | 14k| 50 | 15 | 19 | 854k|4304 | 0.000000e+00 | -- | Inf
299.50/299.59 c 300s| 1560k|361035 | 3705k| 2.4 | 304M| 45 | - | 50 | 14k| 50 | 15 | 19 | 860k|4311 | 0.000000e+00 | -- | Inf
301.99/302.05 c 302s| 1570k|363115 | 3729k| 2.4 | 307M| 45 | 6 | 50 | 15k| 50 | 15 | 19 | 866k|4316 | 0.000000e+00 | -- | Inf
304.90/304.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
304.90/304.97 c 305s| 1580k|364941 | 3752k| 2.4 | 307M| 45 | - | 50 | 10k| 50 | 15 | 19 | 872k|4321 | 0.000000e+00 | -- | Inf
307.39/307.49 c 307s| 1590k|366747 | 3774k| 2.4 | 308M| 45 | 6 | 50 |7844 | 50 | 15 | 19 | 878k|4331 | 0.000000e+00 | -- | Inf
309.30/309.36 c 309s| 1600k|369222 | 3798k| 2.4 | 311M| 45 | - | 50 |9492 | 50 | 15 | 19 | 883k|4337 | 0.000000e+00 | -- | Inf
311.49/311.59 c 312s| 1610k|371160 | 3821k| 2.4 | 313M| 45 | - | 50 |9633 | 50 | 15 | 19 | 889k|4347 | 0.000000e+00 | -- | Inf
313.80/313.81 c 314s| 1620k|373214 | 3844k| 2.4 | 314M| 45 | 6 | 50 |8831 | 50 | 15 | 19 | 894k|4356 | 0.000000e+00 | -- | Inf
315.70/315.79 c 316s| 1630k|375737 | 3868k| 2.4 | 316M| 45 | 6 | 50 |8383 | 50 | 15 | 19 | 900k|4367 | 0.000000e+00 | -- | Inf
317.50/317.59 c 318s| 1640k|378563 | 3893k| 2.4 | 319M| 45 | 6 | 50 | 10k| 50 | 15 | 19 | 905k|4380 | 0.000000e+00 | -- | Inf
319.60/319.62 c 320s| 1650k|381110 | 3916k| 2.4 | 320M| 45 | - | 50 | 10k| 50 | 15 | 19 | 910k|4391 | 0.000000e+00 | -- | Inf
321.59/321.68 c 322s| 1660k|383373 | 3939k| 2.4 | 322M| 45 | 6 | 50 | 10k| 50 | 15 | 19 | 916k|4402 | 0.000000e+00 | -- | Inf
323.79/323.81 c 324s| 1670k|385671 | 3962k| 2.4 | 324M| 45 | - | 50 | 10k| 50 | 15 | 19 | 921k|4415 | 0.000000e+00 | -- | Inf
325.90/325.99 c 326s| 1680k|387688 | 3985k| 2.4 | 326M| 45 | - | 50 | 10k| 50 | 15 | 19 | 927k|4426 | 0.000000e+00 | -- | Inf
328.10/328.13 c 328s| 1690k|389915 | 4007k| 2.4 | 328M| 45 | 6 | 50 | 11k| 50 | 15 | 19 | 932k|4436 | 0.000000e+00 | -- | Inf
330.40/330.46 c 330s| 1700k|391745 | 4031k| 2.4 | 330M| 45 | 6 | 50 | 10k| 50 | 15 | 19 | 938k|4445 | 0.000000e+00 | -- | Inf
332.50/332.56 c 333s| 1710k|394320 | 4055k| 2.4 | 332M| 45 | 6 | 50 | 12k| 50 | 15 | 19 | 943k|4462 | 0.000000e+00 | -- | Inf
334.70/334.77 c 335s| 1720k|396718 | 4078k| 2.4 | 334M| 45 | - | 50 | 12k| 50 | 15 | 19 | 948k|4476 | 0.000000e+00 | -- | Inf
337.10/337.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
337.10/337.19 c 337s| 1730k|398801 | 4101k| 2.4 | 336M| 45 | - | 50 | 13k| 50 | 15 | 19 | 954k|4486 | 0.000000e+00 | -- | Inf
339.50/339.59 c 340s| 1740k|400779 | 4124k| 2.4 | 337M| 45 | - | 50 | 11k| 0 | 0 | 19 | 960k|4496 | 0.000000e+00 | -- | Inf
342.29/342.34 c 342s| 1750k|402518 | 4147k| 2.4 | 338M| 45 | - | 50 |8741 | 50 | 15 | 19 | 966k|4505 | 0.000000e+00 | -- | Inf
344.70/344.70 c 345s| 1760k|404300 | 4170k| 2.4 | 340M| 45 | - | 50 |7997 | 50 | 15 | 19 | 972k|4517 | 0.000000e+00 | -- | Inf
346.80/346.88 c 347s| 1770k|406188 | 4194k| 2.4 | 342M| 45 | 6 | 50 |8142 | 50 | 15 | 19 | 978k|4525 | 0.000000e+00 | -- | Inf
348.90/348.92 c 349s| 1780k|408323 | 4217k| 2.4 | 344M| 45 | 6 | 50 |9246 | 50 | 15 | 19 | 983k|4537 | 0.000000e+00 | -- | Inf
351.09/351.18 c 351s| 1790k|410284 | 4240k| 2.4 | 345M| 45 | 6 | 50 |8679 | 50 | 15 | 19 | 989k|4549 | 0.000000e+00 | -- | Inf
353.30/353.38 c 353s| 1800k|412165 | 4263k| 2.4 | 347M| 45 | 6 | 50 |8624 | 50 | 15 | 19 | 995k|4557 | 0.000000e+00 | -- | Inf
355.49/355.55 c 356s| 1810k|414242 | 4286k| 2.4 | 349M| 45 | 6 | 50 |8409 | 50 | 15 | 19 |1001k|4579 | 0.000000e+00 | -- | Inf
357.29/357.38 c 357s| 1820k|416794 | 4307k| 2.4 | 351M| 45 | - | 50 |9786 | 50 | 15 | 19 |1006k|4590 | 0.000000e+00 | -- | Inf
359.60/359.62 c 360s| 1830k|418563 | 4330k| 2.4 | 353M| 45 | 6 | 50 |9176 | 50 | 15 | 19 |1011k|4600 | 0.000000e+00 | -- | Inf
361.60/361.62 c 362s| 1840k|421071 | 4354k| 2.4 | 355M| 45 | 6 | 50 |9412 | 50 | 15 | 19 |1017k|4609 | 0.000000e+00 | -- | Inf
363.40/363.47 c 363s| 1850k|423957 | 4377k| 2.4 | 357M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |1022k|4623 | 0.000000e+00 | -- | Inf
365.50/365.57 c 366s| 1860k|426123 | 4400k| 2.4 | 359M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |1027k|4633 | 0.000000e+00 | -- | Inf
367.80/367.83 c 368s| 1870k|428108 | 4424k| 2.4 | 361M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1033k|4640 | 0.000000e+00 | -- | Inf
370.10/370.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
370.10/370.18 c 370s| 1880k|430123 | 4447k| 2.4 | 363M| 45 | - | 50 | 11k| 50 | 15 | 19 |1039k|4654 | 0.000000e+00 | -- | Inf
372.60/372.65 c 373s| 1890k|431929 | 4470k| 2.4 | 364M| 45 | 6 | 50 |9576 | 50 | 15 | 19 |1044k|4665 | 0.000000e+00 | -- | Inf
375.00/375.02 c 375s| 1900k|433807 | 4493k| 2.4 | 366M| 45 | - | 50 |9232 | 50 | 15 | 19 |1050k|4674 | 0.000000e+00 | -- | Inf
377.31/377.33 c 377s| 1910k|435826 | 4516k| 2.4 | 368M| 45 | 6 | 50 |8131 | 50 | 15 | 19 |1056k|4688 | 0.000000e+00 | -- | Inf
379.59/379.66 c 380s| 1920k|437523 | 4539k| 2.4 | 369M| 45 | 6 | 50 |7616 | 50 | 15 | 19 |1062k|4708 | 0.000000e+00 | -- | Inf
381.70/381.71 c 382s| 1930k|439665 | 4562k| 2.4 | 371M| 45 | - | 50 |8882 | 50 | 15 | 19 |1067k|4717 | 0.000000e+00 | -- | Inf
384.00/384.04 c 384s| 1940k|441481 | 4585k| 2.4 | 373M| 45 | - | 50 |8720 | 50 | 15 | 19 |1073k|4730 | 0.000000e+00 | -- | Inf
386.29/386.33 c 386s| 1950k|443134 | 4608k| 2.4 | 375M| 45 | 6 | 50 |8375 | 50 | 15 | 19 |1079k|4735 | 0.000000e+00 | -- | Inf
388.30/388.31 c 388s| 1960k|445315 | 4632k| 2.4 | 377M| 45 | - | 50 |9914 | 50 | 15 | 19 |1085k|4741 | 0.000000e+00 | -- | Inf
390.29/390.33 c 390s| 1970k|447299 | 4656k| 2.4 | 379M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1091k|4756 | 0.000000e+00 | -- | Inf
392.80/392.88 c 393s| 1980k|449117 | 4680k| 2.4 | 380M| 45 | 6 | 50 |9155 | 50 | 15 | 19 |1097k|4764 | 0.000000e+00 | -- | Inf
394.90/394.95 c 395s| 1990k|451405 | 4702k| 2.4 | 382M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |1103k|4775 | 0.000000e+00 | -- | Inf
397.19/397.24 c 397s| 2000k|453402 | 4725k| 2.4 | 384M| 45 | 6 | 50 |9050 | 50 | 15 | 19 |1109k|4788 | 0.000000e+00 | -- | Inf
399.31/399.34 c 399s| 2010k|455338 | 4749k| 2.4 | 386M| 45 | - | 50 | 10k| 50 | 15 | 19 |1115k|4794 | 0.000000e+00 | -- | Inf
401.60/401.67 c 402s| 2020k|457091 | 4773k| 2.4 | 387M| 45 | - | 50 |9665 | 50 | 15 | 19 |1121k|4806 | 0.000000e+00 | -- | Inf
404.00/404.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
404.00/404.05 c 404s| 2030k|458911 | 4796k| 2.4 | 389M| 45 | - | 50 |8879 | 50 | 15 | 19 |1127k|4819 | 0.000000e+00 | -- | Inf
406.40/406.40 c 406s| 2040k|460606 | 4820k| 2.4 | 390M| 45 | 6 | 50 |8620 | 50 | 15 | 19 |1133k|4832 | 0.000000e+00 | -- | Inf
408.60/408.64 c 409s| 2050k|462537 | 4843k| 2.4 | 392M| 45 | - | 50 |8773 | 50 | 15 | 19 |1139k|4841 | 0.000000e+00 | -- | Inf
410.40/410.46 c 410s| 2060k|465023 | 4867k| 2.4 | 395M| 45 | - | 50 | 10k| 0 | 0 | 19 |1144k|4846 | 0.000000e+00 | -- | Inf
412.50/412.53 c 413s| 2070k|467229 | 4891k| 2.4 | 397M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1149k|4857 | 0.000000e+00 | -- | Inf
414.90/414.95 c 415s| 2080k|469304 | 4914k| 2.4 | 398M| 45 | 6 | 50 |9599 | 50 | 15 | 19 |1155k|4866 | 0.000000e+00 | -- | Inf
416.81/416.89 c 417s| 2090k|471958 | 4938k| 2.4 | 401M| 45 | - | 50 | 11k| 50 | 15 | 19 |1160k|4878 | 0.000000e+00 | -- | Inf
419.10/419.13 c 419s| 2100k|474030 | 4960k| 2.4 | 403M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |1166k|4886 | 0.000000e+00 | -- | Inf
421.40/421.40 c 421s| 2110k|476091 | 4983k| 2.4 | 404M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |1171k|4901 | 0.000000e+00 | -- | Inf
423.80/423.84 c 424s| 2120k|477700 | 5005k| 2.4 | 406M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1177k|4913 | 0.000000e+00 | -- | Inf
426.30/426.34 c 426s| 2130k|479128 | 5027k| 2.4 | 408M| 45 | - | 50 | 12k| 50 | 15 | 19 |1183k|4926 | 0.000000e+00 | -- | Inf
428.70/428.71 c 429s| 2140k|480852 | 5050k| 2.4 | 410M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |1189k|4938 | 0.000000e+00 | -- | Inf
431.40/431.46 c 431s| 2150k|482682 | 5073k| 2.4 | 410M| 45 | - | 50 |8670 | 50 | 15 | 19 |1195k|4949 | 0.000000e+00 | -- | Inf
433.60/433.68 c 434s| 2160k|484513 | 5095k| 2.4 | 412M| 45 | 6 | 50 |8720 | 50 | 15 | 19 |1201k|4960 | 0.000000e+00 | -- | Inf
435.90/435.98 c 436s| 2170k|486409 | 5118k| 2.4 | 414M| 45 | 6 | 50 |8115 | 50 | 15 | 19 |1206k|4968 | 0.000000e+00 | -- | Inf
438.40/438.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
438.40/438.40 c 438s| 2180k|488092 | 5141k| 2.4 | 415M| 45 | 6 | 50 |7173 | 50 | 15 | 19 |1212k|4984 | 0.000000e+00 | -- | Inf
440.60/440.60 c 441s| 2190k|490028 | 5164k| 2.4 | 417M| 45 | - | 50 |6979 | 50 | 15 | 19 |1218k|4993 | 0.000000e+00 | -- | Inf
442.70/442.76 c 443s| 2200k|491779 | 5186k| 2.4 | 419M| 45 | 6 | 50 |7060 | 50 | 15 | 19 |1224k|5004 | 0.000000e+00 | -- | Inf
444.90/444.92 c 445s| 2210k|493602 | 5209k| 2.4 | 421M| 45 | 6 | 50 |7611 | 50 | 15 | 19 |1229k|5012 | 0.000000e+00 | -- | Inf
446.90/446.93 c 447s| 2220k|495557 | 5232k| 2.4 | 423M| 45 | - | 50 |9253 | 50 | 15 | 19 |1235k|5019 | 0.000000e+00 | -- | Inf
449.30/449.40 c 449s| 2230k|497309 | 5255k| 2.4 | 424M| 45 | 6 | 50 |7060 | 50 | 15 | 19 |1241k|5031 | 0.000000e+00 | -- | Inf
451.20/451.29 c 451s| 2240k|499308 | 5280k| 2.4 | 426M| 45 | 6 | 50 |9500 | 50 | 15 | 19 |1247k|5044 | 0.000000e+00 | -- | Inf
453.20/453.24 c 453s| 2250k|501395 | 5305k| 2.4 | 429M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1253k|5053 | 0.000000e+00 | -- | Inf
455.90/455.99 c 456s| 2260k|503056 | 5328k| 2.4 | 430M| 45 | 6 | 50 |8856 | 50 | 15 | 19 |1259k|5063 | 0.000000e+00 | -- | Inf
458.20/458.24 c 458s| 2270k|505038 | 5351k| 2.4 | 431M| 45 | 6 | 50 |9124 | 50 | 15 | 19 |1265k|5079 | 0.000000e+00 | -- | Inf
460.81/460.81 c 461s| 2280k|506653 | 5374k| 2.4 | 433M| 45 | 6 | 50 |7149 | 50 | 15 | 19 |1271k|5083 | 0.000000e+00 | -- | Inf
462.60/462.61 c 463s| 2290k|509364 | 5398k| 2.4 | 435M| 45 | 6 | 50 |8707 | 50 | 15 | 19 |1276k|5093 | 0.000000e+00 | -- | Inf
464.40/464.47 c 464s| 2300k|511828 | 5421k| 2.4 | 437M| 45 | - | 50 | 10k| 50 | 15 | 19 |1281k|5100 | 0.000000e+00 | -- | Inf
466.50/466.50 c 467s| 2310k|514203 | 5444k| 2.4 | 439M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |1286k|5105 | 0.000000e+00 | -- | Inf
468.70/468.70 c 469s| 2320k|516231 | 5466k| 2.4 | 441M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1292k|5120 | 0.000000e+00 | -- | Inf
470.80/470.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
470.80/470.84 c 471s| 2330k|518416 | 5489k| 2.4 | 443M| 45 | - | 50 | 12k| 0 | 0 | 19 |1297k|5131 | 0.000000e+00 | -- | Inf
473.20/473.20 c 473s| 2340k|520298 | 5512k| 2.4 | 445M| 45 | - | 50 | 13k| 0 | 0 | 19 |1302k|5139 | 0.000000e+00 | -- | Inf
475.70/475.75 c 476s| 2350k|521979 | 5535k| 2.4 | 446M| 45 | - | 50 | 12k| 50 | 15 | 19 |1308k|5149 | 0.000000e+00 | -- | Inf
478.10/478.16 c 478s| 2360k|523843 | 5558k| 2.4 | 448M| 45 | - | 50 | 12k| 50 | 15 | 19 |1313k|5151 | 0.000000e+00 | -- | Inf
480.60/480.68 c 481s| 2370k|525447 | 5581k| 2.4 | 450M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |1319k|5165 | 0.000000e+00 | -- | Inf
483.20/483.27 c 483s| 2380k|527006 | 5604k| 2.4 | 451M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |1325k|5174 | 0.000000e+00 | -- | Inf
485.90/485.93 c 486s| 2390k|528795 | 5628k| 2.4 | 453M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |1330k|5185 | 0.000000e+00 | -- | Inf
488.50/488.50 c 488s| 2400k|530559 | 5651k| 2.4 | 454M| 45 | 6 | 50 |9047 | 50 | 15 | 19 |1336k|5190 | 0.000000e+00 | -- | Inf
490.90/490.91 c 491s| 2410k|532176 | 5674k| 2.4 | 455M| 45 | 6 | 50 |8324 | 50 | 15 | 19 |1343k|5196 | 0.000000e+00 | -- | Inf
493.30/493.36 c 493s| 2420k|533707 | 5697k| 2.4 | 456M| 45 | 6 | 50 |7427 | 50 | 15 | 19 |1349k|5203 | 0.000000e+00 | -- | Inf
495.60/495.61 c 496s| 2430k|535531 | 5721k| 2.4 | 458M| 45 | 6 | 50 |7286 | 50 | 15 | 19 |1355k|5214 | 0.000000e+00 | -- | Inf
497.80/497.81 c 498s| 2440k|537327 | 5744k| 2.4 | 460M| 45 | 6 | 50 |7568 | 50 | 15 | 19 |1361k|5223 | 0.000000e+00 | -- | Inf
500.10/500.16 c 500s| 2450k|539044 | 5767k| 2.4 | 462M| 45 | 6 | 50 |7200 | 50 | 15 | 19 |1367k|5231 | 0.000000e+00 | -- | Inf
502.51/502.55 c 503s| 2460k|540722 | 5789k| 2.4 | 463M| 45 | - | 50 |6481 | 50 | 15 | 19 |1373k|5243 | 0.000000e+00 | -- | Inf
504.50/504.51 c 505s| 2470k|542510 | 5812k| 2.4 | 465M| 45 | 6 | 50 |7905 | 50 | 15 | 19 |1378k|5256 | 0.000000e+00 | -- | Inf
506.60/506.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
506.60/506.60 c 507s| 2480k|544462 | 5836k| 2.4 | 467M| 45 | - | 50 |9507 | 50 | 15 | 19 |1384k|5266 | 0.000000e+00 | -- | Inf
508.90/508.98 c 509s| 2490k|546096 | 5859k| 2.4 | 469M| 45 | - | 50 |9518 | 50 | 15 | 19 |1390k|5276 | 0.000000e+00 | -- | Inf
511.20/511.25 c 511s| 2500k|548056 | 5881k| 2.4 | 470M| 45 | - | 50 |8088 | 50 | 15 | 19 |1396k|5283 | 0.000000e+00 | -- | Inf
513.50/513.60 c 514s| 2510k|549683 | 5904k| 2.4 | 472M| 45 | 6 | 50 |7646 | 50 | 15 | 19 |1402k|5292 | 0.000000e+00 | -- | Inf
515.70/515.71 c 516s| 2520k|551336 | 5928k| 2.4 | 474M| 45 | - | 50 |8769 | 50 | 15 | 19 |1408k|5300 | 0.000000e+00 | -- | Inf
518.01/518.03 c 518s| 2530k|553016 | 5951k| 2.4 | 476M| 45 | - | 50 |8745 | 50 | 15 | 19 |1414k|5313 | 0.000000e+00 | -- | Inf
520.00/520.03 c 520s| 2540k|554943 | 5974k| 2.4 | 478M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |1419k|5319 | 0.000000e+00 | -- | Inf
522.41/522.41 c 522s| 2550k|556811 | 5997k| 2.4 | 479M| 45 | 6 | 50 |8592 | 50 | 15 | 19 |1425k|5330 | 0.000000e+00 | -- | Inf
524.71/524.73 c 525s| 2560k|558444 | 6020k| 2.4 | 481M| 45 | 6 | 50 |8129 | 50 | 15 | 19 |1431k|5342 | 0.000000e+00 | -- | Inf
526.80/526.89 c 527s| 2570k|560356 | 6044k| 2.4 | 483M| 45 | - | 50 | 10k| 50 | 15 | 19 |1437k|5350 | 0.000000e+00 | -- | Inf
529.00/529.09 c 529s| 2580k|562374 | 6067k| 2.4 | 485M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |1443k|5360 | 0.000000e+00 | -- | Inf
531.60/531.69 c 532s| 2590k|563988 | 6091k| 2.4 | 486M| 45 | 6 | 50 |8300 | 50 | 15 | 19 |1449k|5369 | 0.000000e+00 | -- | Inf
533.50/533.59 c 534s| 2600k|565887 | 6115k| 2.4 | 488M| 45 | - | 50 | 10k| 0 | 0 | 19 |1455k|5383 | 0.000000e+00 | -- | Inf
535.81/535.86 c 536s| 2610k|567688 | 6138k| 2.4 | 490M| 45 | - | 50 | 10k| 50 | 15 | 19 |1460k|5392 | 0.000000e+00 | -- | Inf
538.40/538.42 c 538s| 2620k|569274 | 6160k| 2.4 | 491M| 45 | - | 50 |8159 | 50 | 15 | 19 |1466k|5397 | 0.000000e+00 | -- | Inf
540.40/540.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
540.40/540.50 c 540s| 2630k|571501 | 6184k| 2.4 | 493M| 45 | - | 50 |9463 | 50 | 15 | 19 |1472k|5406 | 0.000000e+00 | -- | Inf
543.01/543.09 c 543s| 2640k|573258 | 6207k| 2.4 | 495M| 45 | 6 | 50 |8290 | 50 | 15 | 19 |1478k|5413 | 0.000000e+00 | -- | Inf
545.50/545.59 c 546s| 2650k|574826 | 6230k| 2.4 | 496M| 45 | - | 50 |7908 | 50 | 15 | 19 |1484k|5427 | 0.000000e+00 | -- | Inf
547.70/547.74 c 548s| 2660k|576823 | 6252k| 2.4 | 498M| 45 | 6 | 50 |8956 | 50 | 15 | 19 |1489k|5436 | 0.000000e+00 | -- | Inf
550.00/550.03 c 550s| 2670k|578670 | 6275k| 2.4 | 500M| 45 | - | 50 |9442 | 0 | 0 | 19 |1495k|5447 | 0.000000e+00 | -- | Inf
552.31/552.33 c 552s| 2680k|580451 | 6299k| 2.4 | 502M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |1501k|5453 | 0.000000e+00 | -- | Inf
554.90/554.93 c 555s| 2690k|582121 | 6321k| 2.4 | 503M| 45 | 6 | 50 |8012 | 50 | 15 | 19 |1507k|5461 | 0.000000e+00 | -- | Inf
556.90/556.96 c 557s| 2700k|584219 | 6345k| 2.3 | 505M| 45 | 6 | 50 |9375 | 50 | 15 | 19 |1513k|5468 | 0.000000e+00 | -- | Inf
559.40/559.43 c 559s| 2710k|585819 | 6368k| 2.3 | 507M| 45 | 6 | 50 |8774 | 50 | 15 | 19 |1519k|5478 | 0.000000e+00 | -- | Inf
561.71/561.72 c 562s| 2720k|587620 | 6391k| 2.3 | 509M| 45 | - | 50 |9077 | 50 | 15 | 19 |1525k|5490 | 0.000000e+00 | -- | Inf
563.80/563.83 c 564s| 2730k|589754 | 6415k| 2.3 | 511M| 45 | 6 | 50 |9856 | 50 | 15 | 19 |1531k|5497 | 0.000000e+00 | -- | Inf
566.30/566.36 c 566s| 2740k|591499 | 6437k| 2.3 | 512M| 45 | - | 50 |7991 | 50 | 15 | 19 |1536k|5507 | 0.000000e+00 | -- | Inf
568.51/568.56 c 569s| 2750k|593389 | 6461k| 2.3 | 514M| 45 | - | 50 |7868 | 50 | 15 | 19 |1542k|5519 | 0.000000e+00 | -- | Inf
570.81/570.88 c 571s| 2760k|595090 | 6483k| 2.3 | 515M| 45 | 6 | 50 |7603 | 50 | 15 | 19 |1548k|5532 | 0.000000e+00 | -- | Inf
573.01/573.08 c 573s| 2770k|596864 | 6506k| 2.3 | 517M| 45 | - | 50 |7750 | 0 | 0 | 19 |1554k|5541 | 0.000000e+00 | -- | Inf
575.51/575.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
575.51/575.51 c 576s| 2780k|598433 | 6529k| 2.3 | 519M| 45 | 6 | 50 |7567 | 50 | 15 | 19 |1560k|5550 | 0.000000e+00 | -- | Inf
577.31/577.34 c 577s| 2790k|601435 | 6553k| 2.3 | 521M| 45 | 6 | 50 |8483 | 50 | 15 | 19 |1565k|5557 | 0.000000e+00 | -- | Inf
579.31/579.32 c 579s| 2800k|603704 | 6576k| 2.3 | 523M| 45 | - | 50 |9193 | 0 | 0 | 19 |1570k|5563 | 0.000000e+00 | -- | Inf
581.21/581.29 c 581s| 2810k|606252 | 6598k| 2.3 | 525M| 45 | - | 50 | 10k| 50 | 15 | 19 |1576k|5569 | 0.000000e+00 | -- | Inf
583.30/583.39 c 583s| 2820k|608477 | 6622k| 2.3 | 527M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1581k|5577 | 0.000000e+00 | -- | Inf
585.60/585.61 c 586s| 2830k|610573 | 6644k| 2.3 | 529M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |1587k|5587 | 0.000000e+00 | -- | Inf
587.80/587.83 c 588s| 2840k|612753 | 6667k| 2.3 | 530M| 45 | - | 50 | 10k| 50 | 15 | 19 |1592k|5592 | 0.000000e+00 | -- | Inf
590.00/590.01 c 590s| 2850k|614646 | 6690k| 2.3 | 532M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1598k|5601 | 0.000000e+00 | -- | Inf
592.31/592.34 c 592s| 2860k|616577 | 6714k| 2.3 | 534M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1604k|5610 | 0.000000e+00 | -- | Inf
594.60/594.66 c 595s| 2870k|618444 | 6737k| 2.3 | 536M| 45 | - | 50 | 12k| 50 | 15 | 19 |1609k|5612 | 0.000000e+00 | -- | Inf
597.00/597.06 c 597s| 2880k|620353 | 6761k| 2.3 | 538M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1615k|5618 | 0.000000e+00 | -- | Inf
599.41/599.45 c 599s| 2890k|622228 | 6784k| 2.3 | 540M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |1621k|5620 | 0.000000e+00 | -- | Inf
602.00/602.07 c 602s| 2900k|623771 | 6807k| 2.3 | 541M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1627k|5629 | 0.000000e+00 | -- | Inf
604.20/604.29 c 604s| 2910k|625778 | 6830k| 2.3 | 543M| 45 | - | 50 | 12k| 50 | 15 | 19 |1633k|5641 | 0.000000e+00 | -- | Inf
606.90/606.99 c 607s| 2920k|627367 | 6852k| 2.3 | 544M| 45 | - | 50 | 11k| 50 | 15 | 19 |1638k|5646 | 0.000000e+00 | -- | Inf
609.41/609.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
609.41/609.47 c 609s| 2930k|629005 | 6875k| 2.3 | 546M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |1644k|5654 | 0.000000e+00 | -- | Inf
612.10/612.19 c 612s| 2940k|630665 | 6898k| 2.3 | 547M| 45 | - | 50 |8734 | 50 | 15 | 19 |1650k|5664 | 0.000000e+00 | -- | Inf
614.51/614.57 c 615s| 2950k|632361 | 6921k| 2.3 | 549M| 45 | 6 | 50 |8422 | 50 | 15 | 19 |1656k|5670 | 0.000000e+00 | -- | Inf
616.50/616.57 c 617s| 2960k|634667 | 6943k| 2.3 | 551M| 45 | 6 | 50 |9781 | 50 | 15 | 19 |1662k|5678 | 0.000000e+00 | -- | Inf
619.10/619.12 c 619s| 2970k|636380 | 6966k| 2.3 | 552M| 45 | - | 50 |8275 | 50 | 15 | 19 |1667k|5683 | 0.000000e+00 | -- | Inf
621.51/621.55 c 622s| 2980k|637988 | 6989k| 2.3 | 554M| 45 | - | 50 |7538 | 50 | 15 | 19 |1673k|5688 | 0.000000e+00 | -- | Inf
623.81/623.89 c 624s| 2990k|639663 | 7011k| 2.3 | 555M| 45 | 6 | 50 |7673 | 50 | 15 | 19 |1679k|5694 | 0.000000e+00 | -- | Inf
626.00/626.08 c 626s| 3000k|641496 | 7033k| 2.3 | 557M| 45 | 6 | 50 |8617 | 50 | 15 | 19 |1685k|5703 | 0.000000e+00 | -- | Inf
628.51/628.51 c 629s| 3010k|643137 | 7056k| 2.3 | 559M| 45 | 6 | 50 |8103 | 50 | 15 | 19 |1691k|5712 | 0.000000e+00 | -- | Inf
630.51/630.57 c 631s| 3020k|645319 | 7079k| 2.3 | 561M| 45 | 6 | 50 |8987 | 50 | 15 | 19 |1696k|5718 | 0.000000e+00 | -- | Inf
633.01/633.02 c 633s| 3030k|647032 | 7101k| 2.3 | 562M| 45 | 6 | 50 |8013 | 50 | 15 | 19 |1702k|5726 | 0.000000e+00 | -- | Inf
635.31/635.34 c 635s| 3040k|648803 | 7123k| 2.3 | 564M| 45 | - | 50 |7483 | 50 | 15 | 19 |1708k|5737 | 0.000000e+00 | -- | Inf
637.60/637.68 c 638s| 3050k|650307 | 7147k| 2.3 | 566M| 45 | - | 50 |8703 | 50 | 15 | 19 |1714k|5746 | 0.000000e+00 | -- | Inf
640.10/640.17 c 640s| 3060k|651862 | 7170k| 2.3 | 568M| 45 | 6 | 50 |8694 | 50 | 15 | 19 |1720k|5760 | 0.000000e+00 | -- | Inf
642.31/642.32 c 642s| 3070k|653957 | 7193k| 2.3 | 569M| 45 | 6 | 50 |9204 | 50 | 15 | 19 |1726k|5774 | 0.000000e+00 | -- | Inf
644.31/644.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
644.31/644.30 c 644s| 3080k|656151 | 7216k| 2.3 | 572M| 45 | - | 50 | 10k| 50 | 15 | 19 |1731k|5781 | 0.000000e+00 | -- | Inf
646.51/646.50 c 647s| 3090k|658170 | 7240k| 2.3 | 574M| 45 | - | 50 | 11k| 50 | 15 | 19 |1737k|5788 | 0.000000e+00 | -- | Inf
649.11/649.15 c 649s| 3100k|659919 | 7262k| 2.3 | 575M| 45 | - | 50 |9159 | 0 | 0 | 19 |1743k|5794 | 0.000000e+00 | -- | Inf
651.51/651.52 c 652s| 3110k|661679 | 7286k| 2.3 | 577M| 45 | - | 50 |8982 | 50 | 15 | 19 |1749k|5804 | 0.000000e+00 | -- | Inf
654.01/654.00 c 654s| 3120k|663240 | 7308k| 2.3 | 578M| 45 | 6 | 50 |8685 | 50 | 15 | 19 |1755k|5809 | 0.000000e+00 | -- | Inf
656.21/656.20 c 656s| 3130k|664940 | 7331k| 2.3 | 580M| 45 | 6 | 50 |9810 | 50 | 15 | 19 |1761k|5813 | 0.000000e+00 | -- | Inf
658.71/658.73 c 659s| 3140k|666596 | 7354k| 2.3 | 582M| 45 | - | 50 |9209 | 50 | 15 | 19 |1767k|5826 | 0.000000e+00 | -- | Inf
661.01/661.05 c 661s| 3150k|668339 | 7377k| 2.3 | 583M| 45 | 6 | 50 |9033 | 50 | 15 | 19 |1773k|5830 | 0.000000e+00 | -- | Inf
663.60/663.61 c 664s| 3160k|670022 | 7400k| 2.3 | 585M| 45 | - | 50 |7991 | 50 | 15 | 19 |1779k|5840 | 0.000000e+00 | -- | Inf
665.81/665.82 c 666s| 3170k|671556 | 7423k| 2.3 | 587M| 45 | 6 | 50 |9215 | 50 | 15 | 19 |1785k|5845 | 0.000000e+00 | -- | Inf
668.21/668.23 c 668s| 3180k|673368 | 7446k| 2.3 | 588M| 45 | 6 | 50 |9419 | 50 | 15 | 19 |1791k|5857 | 0.000000e+00 | -- | Inf
670.21/670.28 c 670s| 3190k|675028 | 7469k| 2.3 | 590M| 45 | - | 50 | 10k| 50 | 15 | 19 |1797k|5870 | 0.000000e+00 | -- | Inf
672.70/672.74 c 673s| 3200k|676474 | 7492k| 2.3 | 592M| 45 | - | 50 | 10k| 50 | 15 | 19 |1803k|5877 | 0.000000e+00 | -- | Inf
674.80/674.87 c 675s| 3210k|678658 | 7515k| 2.3 | 594M| 45 | - | 50 | 12k| 50 | 15 | 19 |1808k|5884 | 0.000000e+00 | -- | Inf
677.11/677.15 c 677s| 3220k|680840 | 7538k| 2.3 | 596M| 45 | - | 50 | 13k| 50 | 15 | 19 |1814k|5892 | 0.000000e+00 | -- | Inf
679.91/679.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
679.91/679.90 c 680s| 3230k|682761 | 7561k| 2.3 | 597M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1820k|5896 | 0.000000e+00 | -- | Inf
682.10/682.19 c 682s| 3240k|685037 | 7584k| 2.3 | 599M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1825k|5902 | 0.000000e+00 | -- | Inf
684.40/684.45 c 684s| 3250k|686918 | 7607k| 2.3 | 601M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |1831k|5908 | 0.000000e+00 | -- | Inf
687.31/687.32 c 687s| 3260k|688572 | 7629k| 2.3 | 602M| 45 | 6 | 50 |8799 | 50 | 15 | 19 |1837k|5920 | 0.000000e+00 | -- | Inf
689.61/689.67 c 690s| 3270k|690176 | 7652k| 2.3 | 604M| 45 | 6 | 50 |9602 | 50 | 15 | 19 |1843k|5926 | 0.000000e+00 | -- | Inf
691.91/691.99 c 692s| 3280k|691980 | 7676k| 2.3 | 606M| 45 | 6 | 50 |9770 | 50 | 15 | 19 |1849k|5935 | 0.000000e+00 | -- | Inf
694.11/694.12 c 694s| 3290k|693546 | 7700k| 2.3 | 608M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1855k|5944 | 0.000000e+00 | -- | Inf
696.71/696.73 c 697s| 3300k|695034 | 7722k| 2.3 | 609M| 45 | 6 | 50 |9274 | 50 | 15 | 19 |1861k|5949 | 0.000000e+00 | -- | Inf
699.30/699.30 c 699s| 3310k|696620 | 7745k| 2.3 | 610M| 45 | - | 50 |8502 | 50 | 15 | 19 |1867k|5962 | 0.000000e+00 | -- | Inf
701.41/701.49 c 701s| 3320k|698502 | 7768k| 2.3 | 612M| 45 | 6 | 50 |9392 | 50 | 15 | 19 |1873k|5969 | 0.000000e+00 | -- | Inf
703.81/703.84 c 704s| 3330k|700321 | 7791k| 2.3 | 614M| 45 | 6 | 50 |9434 | 50 | 15 | 19 |1879k|5976 | 0.000000e+00 | -- | Inf
706.21/706.28 c 706s| 3340k|702052 | 7813k| 2.3 | 615M| 45 | 6 | 50 |8882 | 50 | 15 | 19 |1885k|5985 | 0.000000e+00 | -- | Inf
708.51/708.58 c 709s| 3350k|703769 | 7836k| 2.3 | 617M| 45 | 6 | 50 |9864 | 50 | 15 | 19 |1891k|5995 | 0.000000e+00 | -- | Inf
711.11/711.12 c 711s| 3360k|705523 | 7858k| 2.3 | 619M| 45 | 6 | 50 |9004 | 50 | 15 | 19 |1896k|6001 | 0.000000e+00 | -- | Inf
713.11/713.18 c 713s| 3370k|707620 | 7882k| 2.3 | 621M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |1902k|6003 | 0.000000e+00 | -- | Inf
715.41/715.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
715.41/715.41 c 715s| 3380k|709552 | 7906k| 2.3 | 623M| 45 | - | 50 | 11k| 50 | 15 | 19 |1908k|6005 | 0.000000e+00 | -- | Inf
717.70/717.74 c 718s| 3390k|711444 | 7930k| 2.3 | 625M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1914k|6011 | 0.000000e+00 | -- | Inf
720.20/720.20 c 720s| 3400k|713121 | 7953k| 2.3 | 626M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1919k|6021 | 0.000000e+00 | -- | Inf
723.11/723.13 c 723s| 3410k|714629 | 7976k| 2.3 | 627M| 45 | - | 50 |8668 | 0 | 0 | 19 |1926k|6029 | 0.000000e+00 | -- | Inf
725.21/725.22 c 725s| 3420k|716400 | 8000k| 2.3 | 629M| 45 | - | 50 | 10k| 50 | 15 | 19 |1932k|6036 | 0.000000e+00 | -- | Inf
727.61/727.69 c 728s| 3430k|718145 | 8023k| 2.3 | 631M| 45 | - | 50 |9237 | 50 | 15 | 19 |1938k|6042 | 0.000000e+00 | -- | Inf
730.31/730.32 c 730s| 3440k|719703 | 8045k| 2.3 | 632M| 45 | 6 | 50 |7743 | 50 | 15 | 19 |1944k|6045 | 0.000000e+00 | -- | Inf
732.41/732.43 c 732s| 3450k|721449 | 8069k| 2.3 | 634M| 45 | 6 | 50 |8688 | 50 | 15 | 19 |1950k|6051 | 0.000000e+00 | -- | Inf
734.51/734.50 c 734s| 3460k|723377 | 8090k| 2.3 | 636M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |1955k|6053 | 0.000000e+00 | -- | Inf
736.71/736.71 c 737s| 3470k|725702 | 8113k| 2.3 | 638M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |1960k|6054 | 0.000000e+00 | -- | Inf
738.91/738.91 c 739s| 3480k|728220 | 8136k| 2.3 | 640M| 45 | - | 50 | 13k| 0 | 0 | 19 |1965k|6062 | 0.000000e+00 | -- | Inf
741.21/741.30 c 741s| 3490k|730410 | 8160k| 2.3 | 642M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |1971k|6068 | 0.000000e+00 | -- | Inf
743.91/743.92 c 744s| 3500k|732403 | 8182k| 2.3 | 644M| 45 | 6 | 50 | 15k| 50 | 15 | 19 |1976k|6072 | 0.000000e+00 | -- | Inf
746.70/746.73 c 747s| 3510k|734163 | 8205k| 2.3 | 646M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |1982k|6082 | 0.000000e+00 | -- | Inf
749.60/749.62 c 750s| 3520k|735869 | 8228k| 2.3 | 648M| 45 | - | 50 | 15k| 0 | 0 | 19 |1987k|6088 | 0.000000e+00 | -- | Inf
752.21/752.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
752.21/752.26 c 752s| 3530k|737666 | 8250k| 2.3 | 650M| 45 | 6 | 50 | 16k| 50 | 15 | 19 |1993k|6094 | 0.000000e+00 | -- | Inf
754.90/754.99 c 755s| 3540k|739548 | 8273k| 2.3 | 651M| 45 | - | 50 | 17k| 50 | 15 | 19 |1998k|6105 | 0.000000e+00 | -- | Inf
757.91/757.97 c 758s| 3550k|741294 | 8296k| 2.3 | 653M| 45 | - | 50 | 17k| 50 | 15 | 19 |2004k|6114 | 0.000000e+00 | -- | Inf
761.01/761.01 c 761s| 3560k|742882 | 8319k| 2.3 | 654M| 45 | - | 50 | 16k| 50 | 15 | 19 |2010k|6117 | 0.000000e+00 | -- | Inf
763.71/763.76 c 764s| 3570k|744740 | 8340k| 2.3 | 656M| 45 | - | 50 | 16k| 50 | 15 | 19 |2015k|6121 | 0.000000e+00 | -- | Inf
767.00/767.06 c 767s| 3580k|746118 | 8363k| 2.3 | 657M| 45 | 6 | 50 | 15k| 50 | 15 | 19 |2021k|6127 | 0.000000e+00 | -- | Inf
769.81/769.90 c 770s| 3590k|747814 | 8384k| 2.3 | 659M| 45 | 6 | 50 | 16k| 50 | 15 | 19 |2026k|6127 | 0.000000e+00 | -- | Inf
773.00/773.08 c 773s| 3600k|749290 | 8407k| 2.3 | 660M| 45 | 6 | 50 | 15k| 50 | 15 | 19 |2032k|6129 | 0.000000e+00 | -- | Inf
775.81/775.84 c 776s| 3610k|751153 | 8430k| 2.3 | 662M| 45 | - | 50 | 16k| 50 | 15 | 19 |2037k|6134 | 0.000000e+00 | -- | Inf
779.21/779.25 c 779s| 3620k|752744 | 8453k| 2.3 | 663M| 45 | - | 50 | 12k| 50 | 15 | 19 |2043k|6140 | 0.000000e+00 | -- | Inf
781.40/781.43 c 781s| 3630k|754816 | 8476k| 2.3 | 665M| 45 | - | 50 | 14k| 50 | 15 | 19 |2049k|6150 | 0.000000e+00 | -- | Inf
784.32/784.32 c 784s| 3640k|756447 | 8499k| 2.3 | 666M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2055k|6153 | 0.000000e+00 | -- | Inf
786.91/786.92 c 787s| 3650k|758273 | 8522k| 2.3 | 668M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |2061k|6162 | 0.000000e+00 | -- | Inf
789.51/789.50 c 789s| 3660k|759985 | 8545k| 2.3 | 669M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |2067k|6170 | 0.000000e+00 | -- | Inf
792.01/792.01 c 792s| 3670k|761624 | 8567k| 2.3 | 671M| 45 | - | 50 |9993 | 50 | 15 | 19 |2073k|6175 | 0.000000e+00 | -- | Inf
794.71/794.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
794.71/794.78 c 795s| 3680k|763152 | 8590k| 2.3 | 672M| 45 | - | 50 |8578 | 50 | 15 | 19 |2079k|6185 | 0.000000e+00 | -- | Inf
797.42/797.49 c 797s| 3690k|764756 | 8612k| 2.3 | 674M| 45 | 6 | 50 |7290 | 50 | 15 | 19 |2085k|6193 | 0.000000e+00 | -- | Inf
799.91/799.91 c 800s| 3700k|766319 | 8635k| 2.3 | 675M| 45 | 6 | 50 |7518 | 50 | 15 | 19 |2091k|6204 | 0.000000e+00 | -- | Inf
802.21/802.24 c 802s| 3710k|767953 | 8657k| 2.3 | 677M| 45 | - | 50 |7704 | 50 | 15 | 19 |2097k|6210 | 0.000000e+00 | -- | Inf
804.61/804.70 c 805s| 3720k|769460 | 8680k| 2.3 | 679M| 45 | 6 | 50 |8037 | 50 | 15 | 19 |2103k|6219 | 0.000000e+00 | -- | Inf
807.11/807.17 c 807s| 3730k|771096 | 8702k| 2.3 | 680M| 45 | - | 50 |8335 | 50 | 15 | 19 |2109k|6226 | 0.000000e+00 | -- | Inf
809.61/809.67 c 810s| 3740k|772659 | 8725k| 2.3 | 682M| 45 | - | 50 |8448 | 50 | 15 | 19 |2115k|6232 | 0.000000e+00 | -- | Inf
812.11/812.11 c 812s| 3750k|774201 | 8748k| 2.3 | 684M| 45 | 6 | 50 |8241 | 50 | 15 | 19 |2121k|6237 | 0.000000e+00 | -- | Inf
814.61/814.64 c 815s| 3760k|775712 | 8771k| 2.3 | 685M| 45 | 6 | 50 |8043 | 50 | 15 | 19 |2127k|6249 | 0.000000e+00 | -- | Inf
817.01/817.07 c 817s| 3770k|777293 | 8794k| 2.3 | 687M| 45 | - | 50 |7837 | 50 | 15 | 19 |2133k|6253 | 0.000000e+00 | -- | Inf
819.21/819.26 c 819s| 3780k|779233 | 8817k| 2.3 | 689M| 45 | 6 | 50 |8626 | 50 | 15 | 19 |2138k|6263 | 0.000000e+00 | -- | Inf
821.31/821.30 c 821s| 3790k|781630 | 8842k| 2.3 | 691M| 45 | - | 50 | 10k| 50 | 15 | 19 |2144k|6270 | 0.000000e+00 | -- | Inf
823.51/823.58 c 824s| 3800k|783595 | 8865k| 2.3 | 693M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2150k|6279 | 0.000000e+00 | -- | Inf
825.81/825.88 c 826s| 3810k|785405 | 8889k| 2.3 | 695M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2156k|6287 | 0.000000e+00 | -- | Inf
828.31/828.30 c 828s| 3820k|787150 | 8913k| 2.3 | 697M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2162k|6295 | 0.000000e+00 | -- | Inf
830.91/830.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
830.91/830.94 c 831s| 3830k|788697 | 8936k| 2.3 | 698M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2168k|6304 | 0.000000e+00 | -- | Inf
833.71/833.72 c 834s| 3840k|790404 | 8960k| 2.3 | 699M| 45 | - | 50 | 10k| 50 | 15 | 19 |2174k|6310 | 0.000000e+00 | -- | Inf
836.21/836.26 c 836s| 3850k|792195 | 8982k| 2.3 | 701M| 45 | 6 | 50 |9293 | 50 | 15 | 19 |2180k|6313 | 0.000000e+00 | -- | Inf
838.31/838.30 c 838s| 3860k|794497 | 9005k| 2.3 | 703M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |2185k|6322 | 0.000000e+00 | -- | Inf
840.61/840.66 c 841s| 3870k|796216 | 9027k| 2.3 | 705M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2191k|6330 | 0.000000e+00 | -- | Inf
843.52/843.51 c 844s| 3880k|797580 | 9050k| 2.3 | 706M| 45 | - | 50 |9381 | 50 | 15 | 19 |2197k|6337 | 0.000000e+00 | -- | Inf
846.01/846.00 c 846s| 3890k|799178 | 9073k| 2.3 | 707M| 45 | - | 50 |8798 | 50 | 15 | 19 |2203k|6341 | 0.000000e+00 | -- | Inf
848.11/848.14 c 848s| 3900k|801285 | 9096k| 2.3 | 709M| 45 | - | 50 |9752 | 50 | 15 | 19 |2209k|6347 | 0.000000e+00 | -- | Inf
850.11/850.11 c 850s| 3910k|803611 | 9120k| 2.3 | 712M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2215k|6353 | 0.000000e+00 | -- | Inf
852.31/852.37 c 852s| 3920k|805779 | 9144k| 2.3 | 714M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2220k|6357 | 0.000000e+00 | -- | Inf
854.72/854.76 c 855s| 3930k|807559 | 9168k| 2.3 | 715M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2226k|6364 | 0.000000e+00 | -- | Inf
857.21/857.25 c 857s| 3940k|809346 | 9192k| 2.3 | 717M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2232k|6368 | 0.000000e+00 | -- | Inf
859.71/859.75 c 860s| 3950k|811399 | 9216k| 2.3 | 719M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2238k|6374 | 0.000000e+00 | -- | Inf
862.42/862.41 c 862s| 3960k|813052 | 9240k| 2.3 | 721M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |2244k|6377 | 0.000000e+00 | -- | Inf
864.82/864.88 c 865s| 3970k|815204 | 9264k| 2.3 | 723M| 45 | - | 50 | 14k| 50 | 15 | 19 |2250k|6382 | 0.000000e+00 | -- | Inf
867.72/867.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
867.72/867.78 c 868s| 3980k|816855 | 9287k| 2.3 | 724M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |2255k|6387 | 0.000000e+00 | -- | Inf
870.61/870.63 c 871s| 3990k|818342 | 9310k| 2.3 | 726M| 45 | - | 50 | 13k| 50 | 15 | 19 |2262k|6393 | 0.000000e+00 | -- | Inf
873.51/873.57 c 874s| 4000k|820000 | 9333k| 2.3 | 726M| 45 | - | 50 |9749 | 50 | 15 | 19 |2267k|6407 | 0.000000e+00 | -- | Inf
876.31/876.30 c 876s| 4010k|821589 | 9355k| 2.3 | 728M| 45 | 6 | 50 |8735 | 50 | 15 | 19 |2274k|6413 | 0.000000e+00 | -- | Inf
878.81/878.81 c 879s| 4020k|823197 | 9378k| 2.3 | 729M| 45 | 6 | 50 |8588 | 50 | 15 | 19 |2279k|6417 | 0.000000e+00 | -- | Inf
880.81/880.87 c 881s| 4030k|825472 | 9402k| 2.3 | 732M| 45 | - | 50 | 10k| 50 | 15 | 19 |2285k|6421 | 0.000000e+00 | -- | Inf
883.22/883.23 c 883s| 4040k|827229 | 9426k| 2.3 | 734M| 45 | - | 50 | 11k| 50 | 15 | 19 |2291k|6428 | 0.000000e+00 | -- | Inf
885.81/885.85 c 886s| 4050k|828881 | 9448k| 2.3 | 735M| 45 | 6 | 50 |9236 | 50 | 15 | 19 |2297k|6432 | 0.000000e+00 | -- | Inf
888.51/888.50 c 888s| 4060k|830496 | 9470k| 2.3 | 736M| 45 | 6 | 50 |7993 | 50 | 15 | 19 |2303k|6437 | 0.000000e+00 | -- | Inf
890.41/890.45 c 890s| 4070k|833071 | 9493k| 2.3 | 739M| 45 | 6 | 50 |9790 | 50 | 15 | 19 |2308k|6444 | 0.000000e+00 | -- | Inf
892.61/892.68 c 893s| 4080k|834981 | 9514k| 2.3 | 740M| 45 | - | 50 | 10k| 50 | 15 | 19 |2314k|6458 | 0.000000e+00 | -- | Inf
895.21/895.30 c 895s| 4090k|836607 | 9537k| 2.3 | 742M| 45 | 6 | 50 |8927 | 50 | 15 | 19 |2320k|6468 | 0.000000e+00 | -- | Inf
897.82/897.85 c 898s| 4100k|838133 | 9559k| 2.3 | 743M| 45 | - | 50 |8070 | 50 | 15 | 19 |2326k|6474 | 0.000000e+00 | -- | Inf
900.01/900.06 c 900s| 4110k|839971 | 9582k| 2.3 | 745M| 45 | 6 | 50 |8660 | 50 | 15 | 19 |2332k|6479 | 0.000000e+00 | -- | Inf
902.41/902.46 c 902s| 4120k|841650 | 9605k| 2.3 | 747M| 45 | 6 | 50 |8064 | 50 | 15 | 19 |2337k|6484 | 0.000000e+00 | -- | Inf
904.41/904.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
904.41/904.41 c 904s| 4130k|844020 | 9628k| 2.3 | 749M| 45 | 6 | 50 |9635 | 50 | 15 | 19 |2343k|6496 | 0.000000e+00 | -- | Inf
906.51/906.57 c 907s| 4140k|845787 | 9651k| 2.3 | 751M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2348k|6501 | 0.000000e+00 | -- | Inf
908.81/908.83 c 909s| 4150k|847765 | 9675k| 2.3 | 753M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2354k|6505 | 0.000000e+00 | -- | Inf
911.51/911.58 c 912s| 4160k|849339 | 9697k| 2.3 | 754M| 45 | - | 50 | 11k| 50 | 15 | 19 |2360k|6516 | 0.000000e+00 | -- | Inf
914.12/914.13 c 914s| 4170k|851515 | 9720k| 2.3 | 756M| 45 | 6 | 50 |9885 | 50 | 15 | 19 |2366k|6519 | 0.000000e+00 | -- | Inf
916.22/916.23 c 916s| 4180k|853785 | 9743k| 2.3 | 758M| 45 | - | 50 | 11k| 50 | 15 | 19 |2371k|6523 | 0.000000e+00 | -- | Inf
918.52/918.53 c 919s| 4190k|855730 | 9766k| 2.3 | 760M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2377k|6525 | 0.000000e+00 | -- | Inf
920.91/920.96 c 921s| 4200k|857648 | 9788k| 2.3 | 762M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2382k|6529 | 0.000000e+00 | -- | Inf
923.42/923.42 c 923s| 4210k|859503 | 9812k| 2.3 | 764M| 45 | - | 50 | 12k| 50 | 15 | 19 |2388k|6533 | 0.000000e+00 | -- | Inf
925.91/925.95 c 926s| 4220k|861172 | 9835k| 2.3 | 765M| 45 | - | 50 | 13k| 50 | 15 | 19 |2394k|6538 | 0.000000e+00 | -- | Inf
928.72/928.76 c 929s| 4230k|862656 | 9857k| 2.3 | 767M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2400k|6540 | 0.000000e+00 | -- | Inf
931.51/931.52 c 932s| 4240k|864221 | 9880k| 2.3 | 768M| 45 | 6 | 50 |9606 | 50 | 15 | 19 |2406k|6544 | 0.000000e+00 | -- | Inf
933.82/933.84 c 934s| 4250k|866202 | 9903k| 2.3 | 770M| 45 | 6 | 50 |9706 | 50 | 15 | 19 |2411k|6548 | 0.000000e+00 | -- | Inf
936.52/936.50 c 937s| 4260k|867748 | 9925k| 2.3 | 771M| 45 | 6 | 50 |8458 | 50 | 15 | 19 |2417k|6560 | 0.000000e+00 | -- | Inf
939.01/939.05 c 939s| 4270k|869390 | 9947k| 2.3 | 773M| 45 | 6 | 50 |8182 | 50 | 15 | 19 |2423k|6564 | 0.000000e+00 | -- | Inf
941.21/941.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
941.21/941.29 c 941s| 4280k|871594 | 9970k| 2.3 | 774M| 45 | 6 | 50 |8613 | 50 | 15 | 19 |2429k|6569 | 0.000000e+00 | -- | Inf
943.21/943.28 c 943s| 4290k|874062 | 9991k| 2.3 | 777M| 45 | 6 | 50 |9942 | 50 | 15 | 19 |2434k|6572 | 0.000000e+00 | -- | Inf
945.62/945.66 c 946s| 4300k|876015 | 10014k| 2.3 | 778M| 45 | 6 | 50 |9873 | 50 | 15 | 19 |2439k|6578 | 0.000000e+00 | -- | Inf
948.12/948.13 c 948s| 4310k|877606 | 10037k| 2.3 | 780M| 45 | - | 50 | 10k| 50 | 15 | 19 |2445k|6583 | 0.000000e+00 | -- | Inf
950.92/950.96 c 951s| 4320k|879164 | 10059k| 2.3 | 781M| 45 | 6 | 50 |8196 | 50 | 15 | 19 |2451k|6588 | 0.000000e+00 | -- | Inf
953.41/953.43 c 953s| 4330k|880685 | 10082k| 2.3 | 783M| 45 | 6 | 50 |8719 | 50 | 15 | 19 |2457k|6589 | 0.000000e+00 | -- | Inf
956.01/956.08 c 956s| 4340k|882279 | 10104k| 2.3 | 784M| 45 | 6 | 50 |7698 | 50 | 15 | 19 |2463k|6592 | 0.000000e+00 | -- | Inf
958.22/958.26 c 958s| 4350k|883975 | 10127k| 2.3 | 786M| 45 | 6 | 50 |9367 | 50 | 15 | 19 |2469k|6599 | 0.000000e+00 | -- | Inf
960.91/960.99 c 961s| 4360k|885319 | 10150k| 2.3 | 787M| 45 | 6 | 50 |7707 | 50 | 15 | 19 |2475k|6605 | 0.000000e+00 | -- | Inf
962.92/962.99 c 963s| 4370k|887286 | 10173k| 2.3 | 790M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |2481k|6607 | 0.000000e+00 | -- | Inf
965.41/965.48 c 965s| 4380k|888874 | 10195k| 2.3 | 791M| 45 | 6 | 50 |9470 | 50 | 15 | 19 |2487k|6614 | 0.000000e+00 | -- | Inf
967.81/967.83 c 968s| 4390k|890702 | 10217k| 2.3 | 793M| 45 | - | 50 |9975 | 50 | 15 | 19 |2492k|6615 | 0.000000e+00 | -- | Inf
970.41/970.49 c 970s| 4400k|892240 | 10240k| 2.3 | 794M| 45 | 6 | 50 |8867 | 50 | 15 | 19 |2498k|6624 | 0.000000e+00 | -- | Inf
972.61/972.62 c 973s| 4410k|894270 | 10263k| 2.3 | 797M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2504k|6628 | 0.000000e+00 | -- | Inf
975.31/975.35 c 975s| 4420k|895915 | 10286k| 2.3 | 798M| 45 | - | 50 |9513 | 50 | 15 | 19 |2510k|6633 | 0.000000e+00 | -- | Inf
977.61/977.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
977.61/977.64 c 978s| 4430k|897837 | 10308k| 2.3 | 800M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |2515k|6635 | 0.000000e+00 | -- | Inf
980.21/980.27 c 980s| 4440k|899653 | 10330k| 2.3 | 801M| 45 | 6 | 50 |8539 | 50 | 15 | 19 |2521k|6640 | 0.000000e+00 | -- | Inf
982.32/982.37 c 982s| 4450k|901754 | 10353k| 2.3 | 803M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |2526k|6644 | 0.000000e+00 | -- | Inf
984.61/984.62 c 985s| 4460k|903738 | 10376k| 2.3 | 805M| 45 | - | 50 | 11k| 0 | 0 | 19 |2532k|6647 | 0.000000e+00 | -- | Inf
987.42/987.41 c 987s| 4470k|905369 | 10398k| 2.3 | 806M| 45 | 6 | 50 |8912 | 50 | 15 | 19 |2538k|6656 | 0.000000e+00 | -- | Inf
990.12/990.11 c 990s| 4480k|906979 | 10421k| 2.3 | 808M| 45 | 6 | 50 |8383 | 50 | 15 | 19 |2544k|6662 | 0.000000e+00 | -- | Inf
992.41/992.48 c 992s| 4490k|908805 | 10444k| 2.3 | 810M| 45 | - | 50 |8737 | 50 | 15 | 19 |2549k|6670 | 0.000000e+00 | -- | Inf
994.42/994.41 c 994s| 4500k|910863 | 10466k| 2.3 | 812M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |2554k|6672 | 0.000000e+00 | -- | Inf
996.52/996.52 c 997s| 4510k|912626 | 10488k| 2.3 | 814M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2560k|6678 | 0.000000e+00 | -- | Inf
999.02/999.01 c 999s| 4520k|914594 | 10511k| 2.3 | 815M| 45 | 6 | 50 |9807 | 50 | 15 | 19 |2565k|6683 | 0.000000e+00 | -- | Inf
1001.21/1001.22 c 1001s| 4530k|916443 | 10533k| 2.3 | 817M| 45 | - | 50 | 11k| 50 | 15 | 19 |2571k|6687 | 0.000000e+00 | -- | Inf
1004.12/1004.15 c 1004s| 4540k|917797 | 10556k| 2.3 | 818M| 45 | - | 50 |9437 | 50 | 15 | 19 |2577k|6693 | 0.000000e+00 | -- | Inf
1006.32/1006.31 c 1006s| 4550k|919977 | 10580k| 2.3 | 820M| 45 | - | 50 | 10k| 50 | 15 | 19 |2583k|6703 | 0.000000e+00 | -- | Inf
1008.62/1008.68 c 1009s| 4560k|922032 | 10602k| 2.3 | 822M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2588k|6710 | 0.000000e+00 | -- | Inf
1011.01/1011.09 c 1011s| 4570k|923759 | 10625k| 2.3 | 824M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2594k|6716 | 0.000000e+00 | -- | Inf
1014.01/1014.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1014.01/1014.10 c 1014s| 4580k|925284 | 10648k| 2.3 | 825M| 45 | 6 | 50 |9042 | 50 | 15 | 19 |2600k|6719 | 0.000000e+00 | -- | Inf
1016.11/1016.14 c 1016s| 4590k|927926 | 10671k| 2.3 | 827M| 45 | - | 50 | 10k| 50 | 15 | 19 |2605k|6730 | 0.000000e+00 | -- | Inf
1018.41/1018.40 c 1018s| 4600k|930051 | 10693k| 2.3 | 830M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2611k|6737 | 0.000000e+00 | -- | Inf
1020.72/1020.73 c 1021s| 4610k|931887 | 10715k| 2.3 | 832M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2617k|6745 | 0.000000e+00 | -- | Inf
1023.51/1023.51 c 1024s| 4620k|933672 | 10737k| 2.3 | 833M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2622k|6752 | 0.000000e+00 | -- | Inf
1026.22/1026.24 c 1026s| 4630k|935663 | 10759k| 2.3 | 834M| 45 | 6 | 50 |8544 | 50 | 15 | 19 |2628k|6759 | 0.000000e+00 | -- | Inf
1028.31/1028.37 c 1028s| 4640k|937615 | 10781k| 2.3 | 836M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |2633k|6767 | 0.000000e+00 | -- | Inf
1031.22/1031.24 c 1031s| 4650k|939017 | 10803k| 2.3 | 837M| 45 | 6 | 50 |8043 | 50 | 15 | 19 |2639k|6774 | 0.000000e+00 | -- | Inf
1033.62/1033.60 c 1034s| 4660k|940566 | 10825k| 2.3 | 839M| 45 | - | 50 |8757 | 50 | 15 | 19 |2645k|6785 | 0.000000e+00 | -- | Inf
1036.31/1036.38 c 1036s| 4670k|941964 | 10848k| 2.3 | 840M| 45 | - | 50 |8114 | 50 | 15 | 19 |2651k|6796 | 0.000000e+00 | -- | Inf
1038.91/1038.92 c 1039s| 4680k|943451 | 10870k| 2.3 | 842M| 45 | 6 | 50 |8490 | 50 | 15 | 19 |2658k|6807 | 0.000000e+00 | -- | Inf
1041.51/1041.59 c 1042s| 4690k|944909 | 10892k| 2.3 | 843M| 45 | 6 | 50 |7282 | 50 | 15 | 19 |2664k|6810 | 0.000000e+00 | -- | Inf
1043.82/1043.86 c 1044s| 4700k|946700 | 10915k| 2.3 | 845M| 45 | - | 50 |8495 | 50 | 15 | 19 |2669k|6814 | 0.000000e+00 | -- | Inf
1046.62/1046.61 c 1047s| 4710k|948002 | 10938k| 2.3 | 847M| 45 | - | 50 |7637 | 50 | 15 | 19 |2675k|6821 | 0.000000e+00 | -- | Inf
1048.61/1048.62 c 1049s| 4720k|950132 | 10961k| 2.3 | 849M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |2681k|6826 | 0.000000e+00 | -- | Inf
1050.72/1050.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1050.72/1050.71 c 1051s| 4730k|952160 | 10985k| 2.3 | 851M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2687k|6832 | 0.000000e+00 | -- | Inf
1052.81/1052.87 c 1053s| 4740k|954166 | 11008k| 2.3 | 853M| 45 | - | 50 | 13k| 50 | 15 | 19 |2693k|6840 | 0.000000e+00 | -- | Inf
1055.22/1055.24 c 1055s| 4750k|956297 | 11031k| 2.3 | 855M| 45 | - | 50 | 14k| 50 | 15 | 19 |2699k|6844 | 0.000000e+00 | -- | Inf
1057.82/1057.84 c 1058s| 4760k|958269 | 11055k| 2.3 | 857M| 45 | 6 | 50 | 15k| 50 | 15 | 19 |2705k|6847 | 0.000000e+00 | -- | Inf
1060.51/1060.53 c 1061s| 4770k|960374 | 11078k| 2.3 | 859M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |2710k|6849 | 0.000000e+00 | -- | Inf
1063.62/1063.69 c 1064s| 4780k|962101 | 11102k| 2.3 | 860M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2716k|6852 | 0.000000e+00 | -- | Inf
1065.92/1065.96 c 1066s| 4790k|964277 | 11123k| 2.3 | 862M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2722k|6855 | 0.000000e+00 | -- | Inf
1068.72/1068.72 c 1069s| 4800k|966279 | 11146k| 2.3 | 863M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2727k|6862 | 0.000000e+00 | -- | Inf
1071.42/1071.40 c 1071s| 4810k|968261 | 11169k| 2.3 | 865M| 45 | - | 50 | 11k| 50 | 15 | 19 |2733k|6864 | 0.000000e+00 | -- | Inf
1073.91/1073.93 c 1074s| 4820k|970234 | 11190k| 2.3 | 867M| 45 | - | 50 | 11k| 50 | 15 | 19 |2738k|6871 | 0.000000e+00 | -- | Inf
1076.71/1076.76 c 1077s| 4830k|971814 | 11213k| 2.3 | 868M| 45 | 6 | 50 |9459 | 50 | 15 | 19 |2744k|6876 | 0.000000e+00 | -- | Inf
1079.22/1079.20 c 1079s| 4840k|973483 | 11235k| 2.3 | 870M| 45 | - | 50 |9778 | 50 | 15 | 19 |2750k|6885 | 0.000000e+00 | -- | Inf
1081.92/1081.91 c 1082s| 4850k|975094 | 11257k| 2.3 | 871M| 45 | 6 | 50 |8571 | 50 | 15 | 19 |2756k|6888 | 0.000000e+00 | -- | Inf
1084.62/1084.68 c 1085s| 4860k|976659 | 11280k| 2.3 | 873M| 45 | 6 | 50 |8283 | 50 | 15 | 19 |2762k|6895 | 0.000000e+00 | -- | Inf
1087.11/1087.19 c 1087s| 4870k|978304 | 11303k| 2.3 | 874M| 45 | - | 50 |8606 | 50 | 15 | 19 |2768k|6897 | 0.000000e+00 | -- | Inf
1089.71/1089.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1089.71/1089.76 c 1090s| 4880k|979915 | 11325k| 2.3 | 876M| 45 | 6 | 50 |7755 | 50 | 15 | 19 |2774k|6900 | 0.000000e+00 | -- | Inf
1091.92/1091.95 c 1092s| 4890k|981869 | 11348k| 2.3 | 878M| 45 | 6 | 50 |9498 | 50 | 15 | 19 |2780k|6909 | 0.000000e+00 | -- | Inf
1094.53/1094.53 c 1095s| 4900k|983539 | 11370k| 2.3 | 879M| 45 | 6 | 50 |8087 | 50 | 15 | 19 |2786k|6914 | 0.000000e+00 | -- | Inf
1096.82/1096.82 c 1097s| 4910k|985438 | 11392k| 2.3 | 881M| 45 | 6 | 50 |8478 | 50 | 15 | 19 |2791k|6916 | 0.000000e+00 | -- | Inf
1099.22/1099.25 c 1099s| 4920k|987034 | 11415k| 2.3 | 883M| 45 | - | 50 |9010 | 50 | 15 | 19 |2797k|6924 | 0.000000e+00 | -- | Inf
1102.02/1102.01 c 1102s| 4930k|988492 | 11437k| 2.3 | 884M| 45 | 6 | 50 |8286 | 50 | 15 | 19 |2803k|6929 | 0.000000e+00 | -- | Inf
1104.42/1104.46 c 1104s| 4940k|990064 | 11459k| 2.3 | 886M| 45 | 6 | 50 |8662 | 50 | 15 | 19 |2809k|6932 | 0.000000e+00 | -- | Inf
1106.72/1106.77 c 1107s| 4950k|991933 | 11482k| 2.3 | 888M| 45 | 6 | 50 |9415 | 50 | 15 | 19 |2815k|6937 | 0.000000e+00 | -- | Inf
1109.22/1109.21 c 1109s| 4960k|993689 | 11504k| 2.3 | 889M| 45 | 6 | 50 |9763 | 50 | 15 | 19 |2820k|6941 | 0.000000e+00 | -- | Inf
1111.82/1111.86 c 1112s| 4970k|995017 | 11528k| 2.3 | 891M| 45 | 6 | 50 |9243 | 50 | 15 | 19 |2827k|6951 | 0.000000e+00 | -- | Inf
1114.42/1114.42 c 1114s| 4980k|996802 | 11550k| 2.3 | 892M| 45 | 6 | 50 |8798 | 50 | 15 | 19 |2832k|6954 | 0.000000e+00 | -- | Inf
1117.12/1117.13 c 1117s| 4990k|998239 | 11572k| 2.3 | 894M| 45 | 6 | 50 |8187 | 50 | 15 | 19 |2839k|6960 | 0.000000e+00 | -- | Inf
1119.62/1119.68 c 1120s| 5000k|999883 | 11595k| 2.3 | 896M| 45 | 6 | 50 |9175 | 50 | 15 | 19 |2845k|6965 | 0.000000e+00 | -- | Inf
1122.22/1122.27 c 1122s| 5010k| 1001k| 11617k| 2.3 | 897M| 45 | 6 | 50 |8895 | 50 | 15 | 19 |2850k|6970 | 0.000000e+00 | -- | Inf
1124.81/1124.82 c 1125s| 5020k| 1002k| 11640k| 2.3 | 899M| 45 | 6 | 50 |9033 | 50 | 15 | 19 |2856k|6974 | 0.000000e+00 | -- | Inf
1127.52/1127.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1127.52/1127.53 c 1128s| 5030k| 1004k| 11663k| 2.3 | 900M| 45 | 6 | 50 |7980 | 50 | 15 | 19 |2862k|6978 | 0.000000e+00 | -- | Inf
1130.22/1130.22 c 1130s| 5040k| 1005k| 11685k| 2.3 | 902M| 45 | 6 | 50 |7798 | 50 | 15 | 19 |2868k|6982 | 0.000000e+00 | -- | Inf
1132.72/1132.72 c 1133s| 5050k| 1007k| 11707k| 2.3 | 903M| 45 | 6 | 50 |8226 | 50 | 15 | 19 |2875k|6986 | 0.000000e+00 | -- | Inf
1135.02/1135.09 c 1135s| 5060k| 1008k| 11730k| 2.3 | 905M| 45 | 6 | 50 |9174 | 50 | 15 | 19 |2881k|6991 | 0.000000e+00 | -- | Inf
1137.32/1137.39 c 1137s| 5070k| 1010k| 11753k| 2.3 | 907M| 45 | - | 50 | 10k| 50 | 15 | 19 |2887k|6996 | 0.000000e+00 | -- | Inf
1140.12/1140.17 c 1140s| 5080k| 1011k| 11775k| 2.3 | 908M| 45 | - | 50 |8572 | 50 | 15 | 19 |2893k|7000 | 0.000000e+00 | -- | Inf
1142.93/1142.96 c 1143s| 5090k| 1013k| 11797k| 2.3 | 909M| 45 | - | 50 |7064 | 50 | 15 | 19 |2899k|7002 | 0.000000e+00 | -- | Inf
1145.21/1145.26 c 1145s| 5100k| 1014k| 11819k| 2.3 | 911M| 45 | - | 50 |8151 | 50 | 15 | 19 |2905k|7006 | 0.000000e+00 | -- | Inf
1147.51/1147.54 c 1148s| 5110k| 1016k| 11843k| 2.3 | 913M| 45 | - | 50 | 10k| 0 | 0 | 19 |2911k|7015 | 0.000000e+00 | -- | Inf
1150.42/1150.46 c 1150s| 5120k| 1017k| 11865k| 2.3 | 914M| 45 | 6 | 50 |7745 | 50 | 15 | 19 |2917k|7019 | 0.000000e+00 | -- | Inf
1152.72/1152.73 c 1153s| 5130k| 1019k| 11889k| 2.3 | 916M| 45 | 6 | 50 |9210 | 50 | 15 | 19 |2923k|7024 | 0.000000e+00 | -- | Inf
1155.11/1155.11 c 1155s| 5140k| 1021k| 11911k| 2.3 | 918M| 45 | 6 | 50 |9409 | 50 | 15 | 19 |2929k|7030 | 0.000000e+00 | -- | Inf
1157.42/1157.48 c 1157s| 5150k| 1023k| 11933k| 2.3 | 920M| 45 | - | 50 |9983 | 50 | 15 | 19 |2934k|7034 | 0.000000e+00 | -- | Inf
1159.62/1159.65 c 1160s| 5160k| 1025k| 11956k| 2.3 | 922M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2940k|7040 | 0.000000e+00 | -- | Inf
1162.12/1162.16 c 1162s| 5170k| 1027k| 11979k| 2.3 | 924M| 45 | - | 50 | 12k| 50 | 15 | 19 |2945k|7042 | 0.000000e+00 | -- | Inf
1165.12/1165.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1165.12/1165.10 c 1165s| 5180k| 1028k| 12001k| 2.3 | 925M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2951k|7051 | 0.000000e+00 | -- | Inf
1168.02/1168.07 c 1168s| 5190k| 1030k| 12023k| 2.3 | 926M| 45 | - | 50 |8929 | 50 | 15 | 19 |2957k|7053 | 0.000000e+00 | -- | Inf
1170.22/1170.28 c 1170s| 5200k| 1032k| 12047k| 2.3 | 928M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |2963k|7054 | 0.000000e+00 | -- | Inf
1172.62/1172.64 c 1173s| 5210k| 1033k| 12071k| 2.3 | 930M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2968k|7056 | 0.000000e+00 | -- | Inf
1175.72/1175.71 c 1176s| 5220k| 1035k| 12093k| 2.3 | 931M| 45 | - | 50 |7897 | 50 | 15 | 19 |2974k|7066 | 0.000000e+00 | -- | Inf
1178.32/1178.33 c 1178s| 5230k| 1036k| 12115k| 2.3 | 932M| 45 | - | 50 |8266 | 0 | 0 | 19 |2980k|7071 | 0.000000e+00 | -- | Inf
1180.72/1180.73 c 1181s| 5240k| 1038k| 12137k| 2.3 | 934M| 45 | 6 | 50 |9347 | 50 | 15 | 19 |2986k|7074 | 0.000000e+00 | -- | Inf
1182.92/1182.99 c 1183s| 5250k| 1040k| 12160k| 2.3 | 937M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |2992k|7077 | 0.000000e+00 | -- | Inf
1185.82/1185.80 c 1186s| 5260k| 1042k| 12182k| 2.3 | 938M| 45 | 6 | 50 |8681 | 50 | 15 | 19 |2998k|7080 | 0.000000e+00 | -- | Inf
1188.62/1188.64 c 1189s| 5270k| 1043k| 12204k| 2.3 | 939M| 45 | 6 | 50 |7295 | 50 | 15 | 19 |3004k|7084 | 0.000000e+00 | -- | Inf
1191.23/1191.24 c 1191s| 5280k| 1045k| 12227k| 2.3 | 941M| 45 | 6 | 50 |8174 | 50 | 15 | 19 |3010k|7088 | 0.000000e+00 | -- | Inf
1193.42/1193.45 c 1193s| 5290k| 1046k| 12249k| 2.3 | 943M| 45 | 6 | 50 |8944 | 50 | 15 | 19 |3016k|7094 | 0.000000e+00 | -- | Inf
1195.92/1195.96 c 1196s| 5300k| 1048k| 12271k| 2.3 | 944M| 45 | 6 | 50 |8411 | 50 | 15 | 19 |3022k|7097 | 0.000000e+00 | -- | Inf
1198.72/1198.75 c 1199s| 5310k| 1049k| 12293k| 2.3 | 945M| 45 | 6 | 50 |7508 | 50 | 15 | 19 |3028k|7100 | 0.000000e+00 | -- | Inf
1200.92/1200.99 c 1201s| 5320k| 1051k| 12316k| 2.3 | 947M| 45 | 6 | 50 |8732 | 50 | 15 | 19 |3034k|7105 | 0.000000e+00 | -- | Inf
1203.43/1203.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1203.43/1203.45 c 1203s| 5330k| 1053k| 12339k| 2.3 | 949M| 45 | 6 | 50 |9426 | 50 | 15 | 19 |3040k|7111 | 0.000000e+00 | -- | Inf
1206.02/1206.04 c 1206s| 5340k| 1054k| 12361k| 2.3 | 951M| 45 | - | 50 |9382 | 50 | 15 | 19 |3046k|7119 | 0.000000e+00 | -- | Inf
1208.42/1208.48 c 1208s| 5350k| 1056k| 12384k| 2.3 | 952M| 45 | 6 | 50 |9182 | 50 | 15 | 19 |3052k|7124 | 0.000000e+00 | -- | Inf
1210.92/1210.95 c 1211s| 5360k| 1058k| 12407k| 2.3 | 954M| 45 | 6 | 50 |9209 | 50 | 15 | 19 |3058k|7131 | 0.000000e+00 | -- | Inf
1213.52/1213.51 c 1214s| 5370k| 1059k| 12429k| 2.3 | 956M| 45 | - | 50 |9384 | 0 | 0 | 19 |3064k|7137 | 0.000000e+00 | -- | Inf
1215.62/1215.65 c 1216s| 5380k| 1061k| 12451k| 2.3 | 958M| 45 | - | 50 | 11k| 50 | 15 | 19 |3069k|7141 | 0.000000e+00 | -- | Inf
1217.82/1217.86 c 1218s| 5390k| 1064k| 12474k| 2.3 | 960M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3074k|7143 | 0.000000e+00 | -- | Inf
1220.23/1220.27 c 1220s| 5400k| 1066k| 12497k| 2.3 | 962M| 45 | - | 50 | 14k| 50 | 15 | 19 |3080k|7149 | 0.000000e+00 | -- | Inf
1222.92/1222.91 c 1223s| 5410k| 1068k| 12520k| 2.3 | 964M| 45 | - | 50 | 14k| 50 | 15 | 19 |3086k|7152 | 0.000000e+00 | -- | Inf
1225.82/1225.83 c 1226s| 5420k| 1069k| 12544k| 2.3 | 966M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |3092k|7155 | 0.000000e+00 | -- | Inf
1228.62/1228.68 c 1229s| 5430k| 1071k| 12567k| 2.3 | 967M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3098k|7161 | 0.000000e+00 | -- | Inf
1231.52/1231.57 c 1232s| 5440k| 1072k| 12589k| 2.3 | 968M| 45 | 6 | 50 |9278 | 50 | 15 | 19 |3104k|7163 | 0.000000e+00 | -- | Inf
1234.02/1234.09 c 1234s| 5450k| 1074k| 12611k| 2.3 | 969M| 45 | 6 | 50 |8302 | 50 | 15 | 19 |3110k|7167 | 0.000000e+00 | -- | Inf
1236.72/1236.78 c 1237s| 5460k| 1075k| 12634k| 2.3 | 970M| 45 | 6 | 50 |7959 | 50 | 15 | 19 |3116k|7173 | 0.000000e+00 | -- | Inf
1239.52/1239.59 c 1240s| 5470k| 1077k| 12656k| 2.3 | 972M| 45 | 6 | 50 |7794 | 50 | 15 | 19 |3122k|7180 | 0.000000e+00 | -- | Inf
1241.83/1241.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1241.83/1241.86 c 1242s| 5480k| 1079k| 12678k| 2.3 | 974M| 45 | 6 | 50 |8396 | 50 | 15 | 19 |3128k|7183 | 0.000000e+00 | -- | Inf
1244.52/1244.53 c 1245s| 5490k| 1080k| 12700k| 2.3 | 975M| 45 | 6 | 50 |8492 | 50 | 15 | 19 |3133k|7190 | 0.000000e+00 | -- | Inf
1246.92/1246.92 c 1247s| 5500k| 1082k| 12723k| 2.3 | 977M| 45 | 6 | 50 |9010 | 50 | 15 | 19 |3139k|7198 | 0.000000e+00 | -- | Inf
1249.03/1249.02 c 1249s| 5510k| 1084k| 12745k| 2.3 | 979M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3145k|7199 | 0.000000e+00 | -- | Inf
1251.32/1251.32 c 1251s| 5520k| 1086k| 12769k| 2.3 | 981M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |3150k|7208 | 0.000000e+00 | -- | Inf
1253.73/1253.75 c 1254s| 5530k| 1088k| 12791k| 2.3 | 983M| 45 | - | 50 | 11k| 50 | 15 | 19 |3156k|7211 | 0.000000e+00 | -- | Inf
1256.52/1256.52 c 1257s| 5540k| 1089k| 12814k| 2.3 | 984M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3162k|7218 | 0.000000e+00 | -- | Inf
1259.12/1259.19 c 1259s| 5550k| 1091k| 12836k| 2.3 | 986M| 45 | 6 | 50 |9966 | 50 | 15 | 19 |3168k|7222 | 0.000000e+00 | -- | Inf
1261.82/1261.89 c 1262s| 5560k| 1093k| 12859k| 2.3 | 987M| 45 | 6 | 50 |9520 | 50 | 15 | 19 |3174k|7226 | 0.000000e+00 | -- | Inf
1264.52/1264.58 c 1265s| 5570k| 1094k| 12882k| 2.3 | 989M| 45 | 6 | 50 |8970 | 50 | 15 | 19 |3180k|7232 | 0.000000e+00 | -- | Inf
1266.62/1266.68 c 1267s| 5580k| 1096k| 12904k| 2.3 | 991M| 45 | - | 50 | 11k| 50 | 15 | 19 |3185k|7236 | 0.000000e+00 | -- | Inf
1269.52/1269.52 c 1270s| 5590k| 1098k| 12927k| 2.3 | 992M| 45 | 6 | 50 |9340 | 50 | 15 | 19 |3191k|7242 | 0.000000e+00 | -- | Inf
1272.02/1272.01 c 1272s| 5600k| 1099k| 12949k| 2.3 | 994M| 45 | 6 | 50 |9278 | 50 | 15 | 19 |3197k|7246 | 0.000000e+00 | -- | Inf
1274.52/1274.56 c 1275s| 5610k| 1101k| 12971k| 2.3 | 995M| 45 | 6 | 50 |8472 | 50 | 15 | 19 |3202k|7247 | 0.000000e+00 | -- | Inf
1277.22/1277.20 c 1277s| 5620k| 1102k| 12994k| 2.3 | 997M| 45 | 6 | 50 |7962 | 50 | 15 | 19 |3208k|7253 | 0.000000e+00 | -- | Inf
1279.83/1279.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1279.83/1279.89 c 1280s| 5630k| 1104k| 13016k| 2.3 | 998M| 45 | 6 | 50 |7139 | 50 | 15 | 19 |3214k|7257 | 0.000000e+00 | -- | Inf
1282.13/1282.11 c 1282s| 5640k| 1106k| 13038k| 2.3 |1000M| 45 | 6 | 50 |8761 | 50 | 15 | 19 |3220k|7270 | 0.000000e+00 | -- | Inf
1284.13/1284.18 c 1284s| 5650k| 1108k| 13063k| 2.3 |1002M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3226k|7275 | 0.000000e+00 | -- | Inf
1286.42/1286.46 c 1286s| 5660k| 1111k| 13088k| 2.3 |1005M| 45 | - | 50 | 11k| 0 | 0 | 19 |3231k|7283 | 0.000000e+00 | -- | Inf
1288.92/1288.96 c 1289s| 5670k| 1112k| 13112k| 2.3 |1007M| 45 | - | 50 | 12k| 50 | 15 | 19 |3237k|7287 | 0.000000e+00 | -- | Inf
1291.62/1291.67 c 1292s| 5680k| 1114k| 13137k| 2.3 |1008M| 45 | - | 50 | 11k| 50 | 15 | 19 |3244k|7298 | 0.000000e+00 | -- | Inf
1294.33/1294.32 c 1294s| 5690k| 1116k| 13161k| 2.3 |1010M| 45 | - | 50 | 11k| 50 | 15 | 19 |3250k|7301 | 0.000000e+00 | -- | Inf
1297.02/1297.09 c 1297s| 5700k| 1117k| 13184k| 2.3 |1011M| 45 | - | 50 | 11k| 50 | 15 | 19 |3256k|7306 | 0.000000e+00 | -- | Inf
1299.82/1299.88 c 1300s| 5710k| 1119k| 13206k| 2.3 |1013M| 45 | - | 50 |9323 | 50 | 15 | 19 |3262k|7308 | 0.000000e+00 | -- | Inf
1302.72/1302.77 c 1303s| 5720k| 1120k| 13229k| 2.3 |1014M| 45 | 6 | 50 |8720 | 50 | 15 | 19 |3268k|7308 | 0.000000e+00 | -- | Inf
1305.12/1305.17 c 1305s| 5730k| 1122k| 13252k| 2.3 |1016M| 45 | - | 50 |9461 | 50 | 15 | 19 |3274k|7312 | 0.000000e+00 | -- | Inf
1307.82/1307.84 c 1308s| 5740k| 1124k| 13275k| 2.3 |1017M| 45 | 6 | 50 |9492 | 50 | 15 | 19 |3279k|7318 | 0.000000e+00 | -- | Inf
1309.82/1309.86 c 1310s| 5750k| 1126k| 13298k| 2.3 |1020M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3285k|7322 | 0.000000e+00 | -- | Inf
1312.22/1312.25 c 1312s| 5760k| 1128k| 13321k| 2.3 |1022M| 45 | - | 50 | 13k| 50 | 15 | 19 |3291k|7330 | 0.000000e+00 | -- | Inf
1314.92/1314.92 c 1315s| 5770k| 1130k| 13344k| 2.3 |1024M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3297k|7337 | 0.000000e+00 | -- | Inf
1318.12/1318.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1318.12/1318.14 c 1318s| 5780k| 1132k| 13367k| 2.3 |1025M| 45 | - | 50 |8777 | 50 | 15 | 19 |3303k|7345 | 0.000000e+00 | -- | Inf
1320.53/1320.51 c 1321s| 5790k| 1134k| 13389k| 2.3 |1026M| 45 | - | 50 |9852 | 0 | 0 | 19 |3308k|7348 | 0.000000e+00 | -- | Inf
1323.43/1323.41 c 1323s| 5800k| 1135k| 13411k| 2.3 |1027M| 45 | 6 | 50 |7645 | 50 | 15 | 19 |3314k|7355 | 0.000000e+00 | -- | Inf
1325.82/1325.89 c 1326s| 5810k| 1137k| 13433k| 2.3 |1029M| 45 | - | 50 |8199 | 50 | 15 | 19 |3320k|7356 | 0.000000e+00 | -- | Inf
1328.42/1328.45 c 1328s| 5820k| 1138k| 13456k| 2.3 |1031M| 45 | - | 50 |8818 | 50 | 15 | 19 |3326k|7358 | 0.000000e+00 | -- | Inf
1331.22/1331.29 c 1331s| 5830k| 1140k| 13478k| 2.3 |1032M| 45 | 6 | 50 |7233 | 50 | 15 | 19 |3332k|7367 | 0.000000e+00 | -- | Inf
1333.72/1333.72 c 1334s| 5840k| 1141k| 13500k| 2.3 |1034M| 45 | 6 | 50 |8019 | 50 | 15 | 19 |3338k|7369 | 0.000000e+00 | -- | Inf
1336.12/1336.18 c 1336s| 5850k| 1143k| 13523k| 2.3 |1036M| 45 | 6 | 50 |8450 | 50 | 15 | 19 |3344k|7378 | 0.000000e+00 | -- | Inf
1338.63/1338.64 c 1339s| 5860k| 1144k| 13546k| 2.3 |1037M| 45 | 6 | 50 |8454 | 50 | 15 | 19 |3350k|7384 | 0.000000e+00 | -- | Inf
1341.12/1341.15 c 1341s| 5870k| 1146k| 13567k| 2.3 |1039M| 45 | 6 | 50 |8754 | 50 | 15 | 19 |3356k|7388 | 0.000000e+00 | -- | Inf
1343.73/1343.72 c 1344s| 5880k| 1148k| 13590k| 2.3 |1041M| 45 | 6 | 50 |9393 | 50 | 15 | 19 |3362k|7391 | 0.000000e+00 | -- | Inf
1345.83/1345.84 c 1346s| 5890k| 1149k| 13612k| 2.3 |1043M| 45 | - | 50 | 10k| 50 | 15 | 19 |3367k|7393 | 0.000000e+00 | -- | Inf
1348.12/1348.14 c 1348s| 5900k| 1152k| 13635k| 2.3 |1045M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |3372k|7394 | 0.000000e+00 | -- | Inf
1350.22/1350.23 c 1350s| 5910k| 1155k| 13658k| 2.3 |1047M| 45 | - | 50 | 12k| 50 | 15 | 19 |3377k|7397 | 0.000000e+00 | -- | Inf
1352.53/1352.55 c 1353s| 5920k| 1157k| 13681k| 2.3 |1049M| 45 | - | 50 | 12k| 50 | 15 | 19 |3383k|7400 | 0.000000e+00 | -- | Inf
1355.03/1355.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1355.03/1355.01 c 1355s| 5930k| 1159k| 13703k| 2.3 |1051M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3388k|7406 | 0.000000e+00 | -- | Inf
1357.53/1357.53 c 1358s| 5940k| 1161k| 13725k| 2.3 |1053M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3393k|7409 | 0.000000e+00 | -- | Inf
1360.12/1360.14 c 1360s| 5950k| 1163k| 13747k| 2.3 |1055M| 45 | - | 50 | 12k| 50 | 15 | 19 |3399k|7416 | 0.000000e+00 | -- | Inf
1362.72/1362.79 c 1363s| 5960k| 1165k| 13769k| 2.3 |1056M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3404k|7424 | 0.000000e+00 | -- | Inf
1365.52/1365.53 c 1366s| 5970k| 1167k| 13791k| 2.3 |1058M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3410k|7426 | 0.000000e+00 | -- | Inf
1368.13/1368.15 c 1368s| 5980k| 1169k| 13813k| 2.3 |1060M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |3415k|7429 | 0.000000e+00 | -- | Inf
1370.63/1370.68 c 1371s| 5990k| 1171k| 13836k| 2.3 |1062M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |3421k|7432 | 0.000000e+00 | -- | Inf
1373.62/1373.60 c 1374s| 6000k| 1172k| 13858k| 2.3 |1063M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |3427k|7435 | 0.000000e+00 | -- | Inf
1376.33/1376.35 c 1376s| 6010k| 1174k| 13881k| 2.3 |1065M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |3433k|7438 | 0.000000e+00 | -- | Inf
1379.03/1379.00 c 1379s| 6020k| 1176k| 13903k| 2.3 |1067M| 45 | - | 50 | 13k| 50 | 15 | 19 |3438k|7441 | 0.000000e+00 | -- | Inf
1381.73/1381.71 c 1382s| 6030k| 1177k| 13926k| 2.3 |1068M| 45 | - | 50 | 13k| 50 | 15 | 19 |3444k|7446 | 0.000000e+00 | -- | Inf
1384.93/1384.93 c 1385s| 6040k| 1179k| 13948k| 2.3 |1070M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3450k|7448 | 0.000000e+00 | -- | Inf
1387.83/1387.84 c 1388s| 6050k| 1180k| 13970k| 2.3 |1071M| 45 | - | 50 | 13k| 50 | 15 | 19 |3456k|7451 | 0.000000e+00 | -- | Inf
1390.62/1390.64 c 1391s| 6060k| 1182k| 13992k| 2.3 |1073M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |3462k|7458 | 0.000000e+00 | -- | Inf
1393.42/1393.44 c 1393s| 6070k| 1183k| 14014k| 2.3 |1074M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3467k|7466 | 0.000000e+00 | -- | Inf
1396.02/1396.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1396.02/1396.09 c 1396s| 6080k| 1185k| 14036k| 2.3 |1076M| 45 | - | 50 | 14k| 0 | 0 | 19 |3473k|7469 | 0.000000e+00 | -- | Inf
1398.72/1398.74 c 1399s| 6090k| 1187k| 14057k| 2.3 |1078M| 45 | 6 | 50 | 15k| 50 | 15 | 19 |3478k|7471 | 0.000000e+00 | -- | Inf
1401.52/1401.59 c 1402s| 6100k| 1188k| 14079k| 2.3 |1080M| 45 | 6 | 50 | 15k| 50 | 15 | 19 |3484k|7473 | 0.000000e+00 | -- | Inf
1404.63/1404.63 c 1405s| 6110k| 1190k| 14100k| 2.3 |1081M| 45 | - | 50 | 15k| 50 | 15 | 19 |3489k|7477 | 0.000000e+00 | -- | Inf
1407.43/1407.48 c 1407s| 6120k| 1191k| 14121k| 2.3 |1083M| 45 | - | 50 | 16k| 50 | 15 | 19 |3495k|7483 | 0.000000e+00 | -- | Inf
1410.93/1410.98 c 1411s| 6130k| 1193k| 14143k| 2.3 |1083M| 45 | - | 50 | 11k| 50 | 15 | 19 |3501k|7483 | 0.000000e+00 | -- | Inf
1414.33/1414.30 c 1414s| 6140k| 1194k| 14165k| 2.3 |1084M| 45 | 6 | 50 |7986 | 50 | 15 | 19 |3507k|7483 | 0.000000e+00 | -- | Inf
1416.92/1416.93 c 1417s| 6150k| 1195k| 14188k| 2.3 |1086M| 45 | 6 | 50 |8243 | 50 | 15 | 19 |3513k|7488 | 0.000000e+00 | -- | Inf
1419.32/1419.31 c 1419s| 6160k| 1197k| 14210k| 2.3 |1088M| 45 | 6 | 50 |9574 | 50 | 15 | 19 |3519k|7495 | 0.000000e+00 | -- | Inf
1421.73/1421.72 c 1422s| 6170k| 1199k| 14233k| 2.3 |1090M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3525k|7500 | 0.000000e+00 | -- | Inf
1424.63/1424.66 c 1425s| 6180k| 1200k| 14255k| 2.3 |1091M| 45 | 6 | 50 |9226 | 50 | 15 | 19 |3531k|7508 | 0.000000e+00 | -- | Inf
1427.22/1427.24 c 1427s| 6190k| 1202k| 14278k| 2.3 |1092M| 45 | 6 | 50 |8947 | 50 | 15 | 19 |3537k|7511 | 0.000000e+00 | -- | Inf
1429.52/1429.57 c 1430s| 6200k| 1203k| 14301k| 2.3 |1095M| 45 | - | 50 | 10k| 0 | 0 | 19 |3543k|7513 | 0.000000e+00 | -- | Inf
1431.73/1431.71 c 1432s| 6210k| 1206k| 14324k| 2.3 |1097M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3548k|7514 | 0.000000e+00 | -- | Inf
1434.03/1434.06 c 1434s| 6220k| 1208k| 14347k| 2.3 |1099M| 45 | - | 50 | 13k| 50 | 15 | 19 |3554k|7519 | 0.000000e+00 | -- | Inf
1436.42/1436.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1436.42/1436.46 c 1436s| 6230k| 1210k| 14370k| 2.3 |1101M| 45 | - | 50 | 14k| 50 | 15 | 19 |3559k|7522 | 0.000000e+00 | -- | Inf
1438.93/1438.96 c 1439s| 6240k| 1212k| 14393k| 2.3 |1103M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |3565k|7523 | 0.000000e+00 | -- | Inf
1441.53/1441.59 c 1442s| 6250k| 1213k| 14416k| 2.3 |1105M| 45 | - | 50 | 14k| 50 | 15 | 19 |3571k|7525 | 0.000000e+00 | -- | Inf
1444.33/1444.39 c 1444s| 6260k| 1215k| 14438k| 2.3 |1106M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |3577k|7528 | 0.000000e+00 | -- | Inf
1447.03/1447.09 c 1447s| 6270k| 1217k| 14461k| 2.3 |1108M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |3583k|7530 | 0.000000e+00 | -- | Inf
1449.63/1449.65 c 1450s| 6280k| 1219k| 14483k| 2.3 |1110M| 45 | 6 | 50 | 16k| 50 | 15 | 19 |3588k|7535 | 0.000000e+00 | -- | Inf
1452.32/1452.39 c 1452s| 6290k| 1221k| 14505k| 2.3 |1112M| 45 | - | 50 | 17k| 0 | 0 | 19 |3594k|7538 | 0.000000e+00 | -- | Inf
1455.42/1455.43 c 1455s| 6300k| 1223k| 14527k| 2.3 |1114M| 45 | 6 | 50 | 16k| 50 | 15 | 19 |3599k|7541 | 0.000000e+00 | -- | Inf
1458.33/1458.38 c 1458s| 6310k| 1224k| 14549k| 2.3 |1115M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |3605k|7549 | 0.000000e+00 | -- | Inf
1461.13/1461.17 c 1461s| 6320k| 1226k| 14571k| 2.3 |1117M| 45 | 6 | 50 | 15k| 50 | 15 | 19 |3611k|7559 | 0.000000e+00 | -- | Inf
1464.13/1464.15 c 1464s| 6330k| 1228k| 14593k| 2.3 |1118M| 45 | - | 50 | 15k| 50 | 15 | 19 |3617k|7565 | 0.000000e+00 | -- | Inf
1467.02/1467.05 c 1467s| 6340k| 1229k| 14615k| 2.3 |1120M| 45 | - | 50 | 15k| 50 | 15 | 19 |3622k|7567 | 0.000000e+00 | -- | Inf
1470.23/1470.22 c 1470s| 6350k| 1230k| 14637k| 2.3 |1122M| 45 | 6 | 50 | 15k| 50 | 15 | 19 |3628k|7571 | 0.000000e+00 | -- | Inf
1473.02/1473.01 c 1473s| 6360k| 1233k| 14658k| 2.3 |1124M| 45 | 6 | 50 | 16k| 50 | 15 | 19 |3634k|7574 | 0.000000e+00 | -- | Inf
1476.13/1476.16 c 1476s| 6370k| 1234k| 14680k| 2.3 |1125M| 45 | 6 | 50 | 15k| 50 | 15 | 19 |3640k|7576 | 0.000000e+00 | -- | Inf
1479.33/1479.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1479.33/1479.31 c 1479s| 6380k| 1235k| 14701k| 2.3 |1127M| 45 | 6 | 50 | 15k| 50 | 15 | 19 |3646k|7576 | 0.000000e+00 | -- | Inf
1482.63/1482.67 c 1483s| 6390k| 1236k| 14722k| 2.3 |1128M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |3652k|7587 | 0.000000e+00 | -- | Inf
1485.53/1485.59 c 1486s| 6400k| 1238k| 14745k| 2.3 |1129M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |3657k|7590 | 0.000000e+00 | -- | Inf
1488.23/1488.26 c 1488s| 6410k| 1240k| 14767k| 2.3 |1131M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |3663k|7595 | 0.000000e+00 | -- | Inf
1491.64/1491.69 c 1492s| 6420k| 1241k| 14790k| 2.3 |1131M| 45 | - | 50 |9695 | 50 | 15 | 19 |3670k|7599 | 0.000000e+00 | -- | Inf
1494.52/1494.56 c 1495s| 6430k| 1243k| 14811k| 2.3 |1133M| 45 | 6 | 50 |9053 | 50 | 15 | 19 |3675k|7603 | 0.000000e+00 | -- | Inf
1496.82/1496.86 c 1497s| 6440k| 1244k| 14834k| 2.3 |1135M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3681k|7607 | 0.000000e+00 | -- | Inf
1499.13/1499.17 c 1499s| 6450k| 1246k| 14856k| 2.3 |1137M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |3687k|7610 | 0.000000e+00 | -- | Inf
1502.32/1502.35 c 1502s| 6460k| 1248k| 14879k| 2.3 |1138M| 45 | - | 50 |8734 | 50 | 15 | 19 |3693k|7612 | 0.000000e+00 | -- | Inf
1505.03/1505.02 c 1505s| 6470k| 1249k| 14901k| 2.3 |1139M| 45 | - | 50 |8679 | 0 | 0 | 19 |3699k|7620 | 0.000000e+00 | -- | Inf
1507.33/1507.35 c 1507s| 6480k| 1251k| 14924k| 2.3 |1141M| 45 | 6 | 50 |9668 | 50 | 15 | 19 |3705k|7624 | 0.000000e+00 | -- | Inf
1510.23/1510.29 c 1510s| 6490k| 1252k| 14946k| 2.3 |1142M| 45 | - | 50 |8821 | 50 | 15 | 19 |3711k|7626 | 0.000000e+00 | -- | Inf
1513.13/1513.19 c 1513s| 6500k| 1254k| 14969k| 2.3 |1144M| 45 | - | 50 |8104 | 50 | 15 | 19 |3717k|7631 | 0.000000e+00 | -- | Inf
1515.13/1515.19 c 1515s| 6510k| 1257k| 14991k| 2.3 |1146M| 45 | - | 50 |9370 | 50 | 15 | 19 |3722k|7633 | 0.000000e+00 | -- | Inf
1517.23/1517.20 c 1517s| 6520k| 1259k| 15013k| 2.3 |1148M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3727k|7637 | 0.000000e+00 | -- | Inf
1519.52/1519.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1519.52/1519.58 c 1520s| 6530k| 1261k| 15035k| 2.3 |1150M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3733k|7641 | 0.000000e+00 | -- | Inf
1522.03/1522.07 c 1522s| 6540k| 1263k| 15057k| 2.3 |1152M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3739k|7642 | 0.000000e+00 | -- | Inf
1524.23/1524.28 c 1524s| 6550k| 1265k| 15079k| 2.3 |1154M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3744k|7647 | 0.000000e+00 | -- | Inf
1526.63/1526.68 c 1527s| 6560k| 1268k| 15100k| 2.3 |1156M| 45 | - | 50 | 12k| 50 | 15 | 19 |3749k|7649 | 0.000000e+00 | -- | Inf
1529.43/1529.45 c 1529s| 6570k| 1270k| 15122k| 2.3 |1158M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |3754k|7656 | 0.000000e+00 | -- | Inf
1532.12/1532.10 c 1532s| 6580k| 1272k| 15143k| 2.3 |1160M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |3760k|7661 | 0.000000e+00 | -- | Inf
1534.93/1534.95 c 1535s| 6590k| 1273k| 15166k| 2.3 |1161M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3766k|7664 | 0.000000e+00 | -- | Inf
1538.03/1538.09 c 1538s| 6600k| 1275k| 15188k| 2.3 |1162M| 45 | 6 | 50 |8065 | 50 | 15 | 19 |3772k|7671 | 0.000000e+00 | -- | Inf
1540.63/1540.60 c 1541s| 6610k| 1276k| 15210k| 2.3 |1164M| 45 | 6 | 50 |8889 | 50 | 15 | 19 |3778k|7678 | 0.000000e+00 | -- | Inf
1543.13/1543.14 c 1543s| 6620k| 1278k| 15231k| 2.3 |1165M| 45 | - | 50 |9005 | 50 | 15 | 19 |3784k|7682 | 0.000000e+00 | -- | Inf
1545.83/1545.81 c 1546s| 6630k| 1279k| 15254k| 2.3 |1167M| 45 | - | 50 |9425 | 0 | 0 | 19 |3790k|7685 | 0.000000e+00 | -- | Inf
1548.53/1548.58 c 1549s| 6640k| 1281k| 15276k| 2.3 |1168M| 45 | - | 50 |8748 | 50 | 15 | 19 |3796k|7690 | 0.000000e+00 | -- | Inf
1551.03/1551.06 c 1551s| 6650k| 1283k| 15298k| 2.3 |1170M| 45 | 6 | 50 |9379 | 50 | 15 | 19 |3801k|7691 | 0.000000e+00 | -- | Inf
1553.43/1553.45 c 1553s| 6660k| 1284k| 15317k| 2.3 |1172M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3806k|7694 | 0.000000e+00 | -- | Inf
1555.93/1555.94 c 1556s| 6670k| 1286k| 15339k| 2.3 |1174M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3812k|7699 | 0.000000e+00 | -- | Inf
1558.73/1558.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1558.73/1558.77 c 1559s| 6680k| 1287k| 15361k| 2.3 |1175M| 45 | - | 50 | 10k| 50 | 15 | 19 |3818k|7702 | 0.000000e+00 | -- | Inf
1561.53/1561.50 c 1561s| 6690k| 1289k| 15384k| 2.3 |1176M| 45 | - | 50 |9949 | 50 | 15 | 19 |3824k|7707 | 0.000000e+00 | -- | Inf
1564.33/1564.39 c 1564s| 6700k| 1290k| 15406k| 2.3 |1178M| 45 | - | 50 | 10k| 50 | 15 | 19 |3830k|7710 | 0.000000e+00 | -- | Inf
1566.93/1566.99 c 1567s| 6710k| 1292k| 15429k| 2.3 |1180M| 45 | - | 50 | 11k| 50 | 15 | 19 |3836k|7718 | 0.000000e+00 | -- | Inf
1569.74/1569.76 c 1570s| 6720k| 1293k| 15453k| 2.3 |1181M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3843k|7727 | 0.000000e+00 | -- | Inf
1572.93/1572.97 c 1573s| 6730k| 1295k| 15475k| 2.3 |1182M| 45 | - | 50 |8220 | 50 | 15 | 19 |3849k|7733 | 0.000000e+00 | -- | Inf
1575.53/1575.58 c 1576s| 6740k| 1296k| 15497k| 2.3 |1184M| 45 | 6 | 50 |8631 | 50 | 15 | 19 |3855k|7737 | 0.000000e+00 | -- | Inf
1578.33/1578.38 c 1578s| 6750k| 1298k| 15519k| 2.3 |1186M| 45 | - | 50 |8112 | 50 | 15 | 19 |3860k|7743 | 0.000000e+00 | -- | Inf
1580.93/1580.99 c 1581s| 6760k| 1299k| 15542k| 2.3 |1188M| 45 | 6 | 50 |9417 | 50 | 15 | 19 |3867k|7748 | 0.000000e+00 | -- | Inf
1583.43/1583.47 c 1583s| 6770k| 1301k| 15564k| 2.3 |1189M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3872k|7750 | 0.000000e+00 | -- | Inf
1585.63/1585.69 c 1586s| 6780k| 1303k| 15589k| 2.3 |1192M| 45 | - | 50 | 12k| 50 | 15 | 19 |3878k|7752 | 0.000000e+00 | -- | Inf
1588.03/1588.00 c 1588s| 6790k| 1305k| 15612k| 2.3 |1194M| 45 | - | 50 | 12k| 50 | 15 | 19 |3884k|7756 | 0.000000e+00 | -- | Inf
1590.63/1590.62 c 1591s| 6800k| 1307k| 15637k| 2.3 |1195M| 45 | - | 50 | 12k| 50 | 15 | 19 |3889k|7760 | 0.000000e+00 | -- | Inf
1593.33/1593.38 c 1593s| 6810k| 1308k| 15660k| 2.3 |1197M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3895k|7763 | 0.000000e+00 | -- | Inf
1596.14/1596.11 c 1596s| 6820k| 1310k| 15683k| 2.3 |1198M| 45 | - | 50 | 12k| 50 | 15 | 19 |3901k|7768 | 0.000000e+00 | -- | Inf
1598.83/1598.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1598.83/1598.85 c 1599s| 6830k| 1311k| 15706k| 2.3 |1200M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3908k|7769 | 0.000000e+00 | -- | Inf
1601.53/1601.52 c 1602s| 6840k| 1312k| 15729k| 2.3 |1201M| 45 | - | 50 | 11k| 50 | 15 | 19 |3914k|7775 | 0.000000e+00 | -- | Inf
1604.63/1604.64 c 1605s| 6850k| 1314k| 15751k| 2.3 |1202M| 45 | 6 | 50 |9557 | 50 | 15 | 19 |3920k|7782 | 0.000000e+00 | -- | Inf
1607.54/1607.50 c 1607s| 6860k| 1315k| 15773k| 2.3 |1203M| 45 | - | 50 |8723 | 50 | 15 | 19 |3926k|7789 | 0.000000e+00 | -- | Inf
1610.43/1610.45 c 1610s| 6870k| 1316k| 15795k| 2.3 |1205M| 45 | - | 50 |8520 | 50 | 15 | 19 |3932k|7791 | 0.000000e+00 | -- | Inf
1613.03/1613.04 c 1613s| 6880k| 1318k| 15818k| 2.3 |1207M| 45 | 6 | 50 |9395 | 50 | 15 | 19 |3938k|7794 | 0.000000e+00 | -- | Inf
1615.93/1615.92 c 1616s| 6890k| 1319k| 15841k| 2.3 |1208M| 45 | 6 | 50 |8697 | 50 | 15 | 19 |3944k|7797 | 0.000000e+00 | -- | Inf
1618.63/1618.66 c 1619s| 6900k| 1320k| 15863k| 2.3 |1209M| 45 | - | 50 |8946 | 50 | 15 | 19 |3950k|7798 | 0.000000e+00 | -- | Inf
1621.14/1621.11 c 1621s| 6910k| 1322k| 15885k| 2.3 |1211M| 45 | 6 | 50 |9991 | 50 | 15 | 19 |3956k|7801 | 0.000000e+00 | -- | Inf
1624.23/1624.20 c 1624s| 6920k| 1324k| 15907k| 2.3 |1213M| 45 | - | 50 |8781 | 50 | 15 | 19 |3962k|7803 | 0.000000e+00 | -- | Inf
1626.53/1626.57 c 1627s| 6930k| 1325k| 15929k| 2.3 |1214M| 45 | - | 50 |9480 | 50 | 15 | 19 |3968k|7804 | 0.000000e+00 | -- | Inf
1629.23/1629.26 c 1629s| 6940k| 1327k| 15952k| 2.3 |1216M| 45 | - | 50 |9246 | 50 | 15 | 19 |3973k|7805 | 0.000000e+00 | -- | Inf
1631.44/1631.42 c 1631s| 6950k| 1329k| 15973k| 2.3 |1218M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3979k|7807 | 0.000000e+00 | -- | Inf
1634.33/1634.35 c 1634s| 6960k| 1330k| 15995k| 2.3 |1219M| 45 | 6 | 50 |9832 | 50 | 15 | 19 |3985k|7809 | 0.000000e+00 | -- | Inf
1637.13/1637.16 c 1637s| 6970k| 1331k| 16017k| 2.3 |1221M| 45 | - | 50 |9284 | 50 | 15 | 19 |3991k|7811 | 0.000000e+00 | -- | Inf
1639.73/1639.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1639.73/1639.73 c 1640s| 6980k| 1333k| 16041k| 2.3 |1223M| 45 | - | 50 |9655 | 50 | 15 | 19 |3997k|7816 | 0.000000e+00 | -- | Inf
1641.84/1641.81 c 1642s| 6990k| 1336k| 16065k| 2.3 |1225M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |4002k|7821 | 0.000000e+00 | -- | Inf
1644.13/1644.13 c 1644s| 7000k| 1338k| 16088k| 2.3 |1227M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |4008k|7824 | 0.000000e+00 | -- | Inf
1646.64/1646.68 c 1647s| 7010k| 1340k| 16111k| 2.3 |1228M| 45 | - | 50 | 11k| 50 | 15 | 19 |4014k|7828 | 0.000000e+00 | -- | Inf
1649.33/1649.35 c 1649s| 7020k| 1341k| 16135k| 2.3 |1230M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |4019k|7831 | 0.000000e+00 | -- | Inf
1651.93/1651.96 c 1652s| 7030k| 1343k| 16158k| 2.3 |1232M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |4025k|7832 | 0.000000e+00 | -- | Inf
1654.73/1654.75 c 1655s| 7040k| 1345k| 16181k| 2.3 |1233M| 45 | - | 50 | 10k| 50 | 15 | 19 |4031k|7832 | 0.000000e+00 | -- | Inf
1657.03/1657.09 c 1657s| 7050k| 1346k| 16204k| 2.3 |1235M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |4037k|7837 | 0.000000e+00 | -- | Inf
1659.53/1659.54 c 1660s| 7060k| 1348k| 16227k| 2.3 |1237M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |4043k|7838 | 0.000000e+00 | -- | Inf
1662.23/1662.24 c 1662s| 7070k| 1349k| 16249k| 2.3 |1239M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |4049k|7841 | 0.000000e+00 | -- | Inf
1665.63/1665.69 c 1666s| 7080k| 1351k| 16272k| 2.3 |1240M| 45 | - | 50 | 11k| 50 | 15 | 19 |4055k|7845 | 0.000000e+00 | -- | Inf
1668.83/1668.88 c 1669s| 7090k| 1352k| 16294k| 2.3 |1241M| 45 | - | 50 |9559 | 50 | 15 | 19 |4061k|7849 | 0.000000e+00 | -- | Inf
1672.04/1672.06 c 1672s| 7100k| 1354k| 16316k| 2.3 |1242M| 45 | 6 | 50 |8108 | 50 | 15 | 19 |4067k|7857 | 0.000000e+00 | -- | Inf
1674.94/1674.90 c 1675s| 7110k| 1355k| 16338k| 2.3 |1244M| 45 | 6 | 50 |7953 | 50 | 15 | 19 |4073k|7860 | 0.000000e+00 | -- | Inf
1677.63/1677.62 c 1678s| 7120k| 1356k| 16361k| 2.3 |1245M| 45 | - | 50 |7986 | 50 | 15 | 19 |4079k|7864 | 0.000000e+00 | -- | Inf
1680.24/1680.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1680.24/1680.28 c 1680s| 7130k| 1358k| 16383k| 2.3 |1247M| 45 | - | 50 |8575 | 50 | 15 | 19 |4085k|7869 | 0.000000e+00 | -- | Inf
1682.63/1682.65 c 1683s| 7140k| 1360k| 16405k| 2.3 |1249M| 45 | - | 50 | 10k| 50 | 15 | 19 |4091k|7875 | 0.000000e+00 | -- | Inf
1685.43/1685.44 c 1685s| 7150k| 1361k| 16427k| 2.3 |1250M| 45 | 6 | 50 |9354 | 50 | 15 | 19 |4097k|7880 | 0.000000e+00 | -- | Inf
1688.03/1688.06 c 1688s| 7160k| 1363k| 16450k| 2.3 |1252M| 45 | - | 50 |9907 | 50 | 15 | 19 |4103k|7883 | 0.000000e+00 | -- | Inf
1690.24/1690.29 c 1690s| 7170k| 1365k| 16473k| 2.3 |1254M| 45 | - | 50 | 12k| 50 | 15 | 19 |4109k|7889 | 0.000000e+00 | -- | Inf
1693.13/1693.13 c 1693s| 7180k| 1366k| 16496k| 2.3 |1256M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |4115k|7892 | 0.000000e+00 | -- | Inf
1695.93/1695.98 c 1696s| 7190k| 1368k| 16519k| 2.3 |1257M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |4121k|7899 | 0.000000e+00 | -- | Inf
1698.73/1698.72 c 1699s| 7200k| 1369k| 16541k| 2.3 |1259M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |4127k|7902 | 0.000000e+00 | -- | Inf
1701.63/1701.69 c 1702s| 7210k| 1371k| 16563k| 2.3 |1260M| 45 | 6 | 50 |9691 | 50 | 15 | 19 |4133k|7907 | 0.000000e+00 | -- | Inf
1704.53/1704.54 c 1705s| 7220k| 1372k| 16585k| 2.3 |1261M| 45 | 6 | 50 |8855 | 50 | 15 | 19 |4139k|7913 | 0.000000e+00 | -- | Inf
1706.93/1706.93 c 1707s| 7230k| 1374k| 16609k| 2.3 |1263M| 45 | 6 | 50 |9784 | 50 | 15 | 19 |4145k|7916 | 0.000000e+00 | -- | Inf
1709.83/1709.86 c 1710s| 7240k| 1375k| 16632k| 2.3 |1265M| 45 | - | 50 |8565 | 50 | 15 | 19 |4151k|7918 | 0.000000e+00 | -- | Inf
1712.64/1712.68 c 1713s| 7250k| 1377k| 16654k| 2.3 |1266M| 45 | 6 | 50 |8662 | 50 | 15 | 19 |4157k|7926 | 0.000000e+00 | -- | Inf
1715.43/1715.48 c 1715s| 7260k| 1378k| 16676k| 2.3 |1268M| 45 | - | 50 |8065 | 50 | 15 | 19 |4162k|7930 | 0.000000e+00 | -- | Inf
1717.44/1717.48 c 1717s| 7270k| 1381k| 16699k| 2.3 |1270M| 45 | - | 50 | 10k| 50 | 15 | 19 |4168k|7932 | 0.000000e+00 | -- | Inf
1719.74/1719.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1719.74/1719.79 c 1720s| 7280k| 1384k| 16722k| 2.3 |1273M| 45 | - | 50 | 11k| 50 | 15 | 19 |4173k|7939 | 0.000000e+00 | -- | Inf
1722.14/1722.12 c 1722s| 7290k| 1386k| 16744k| 2.3 |1275M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |4178k|7941 | 0.000000e+00 | -- | Inf
1724.54/1724.59 c 1725s| 7300k| 1388k| 16768k| 2.3 |1277M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |4184k|7943 | 0.000000e+00 | -- | Inf
1727.34/1727.35 c 1727s| 7310k| 1390k| 16791k| 2.3 |1278M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |4189k|7946 | 0.000000e+00 | -- | Inf
1730.24/1730.27 c 1730s| 7320k| 1392k| 16814k| 2.3 |1280M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |4195k|7952 | 0.000000e+00 | -- | Inf
1733.33/1733.30 c 1733s| 7330k| 1394k| 16836k| 2.3 |1282M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |4201k|7960 | 0.000000e+00 | -- | Inf
1736.54/1736.51 c 1737s| 7340k| 1395k| 16859k| 2.3 |1283M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |4207k|7967 | 0.000000e+00 | -- | Inf
1739.44/1739.43 c 1739s| 7350k| 1397k| 16882k| 2.3 |1285M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |4213k|7971 | 0.000000e+00 | -- | Inf
1742.94/1742.90 c 1743s| 7360k| 1398k| 16904k| 2.3 |1286M| 45 | - | 50 | 11k| 50 | 15 | 19 |4219k|7977 | 0.000000e+00 | -- | Inf
1745.83/1745.89 c 1746s| 7370k| 1400k| 16927k| 2.3 |1287M| 45 | 6 | 50 |9755 | 50 | 15 | 19 |4225k|7979 | 0.000000e+00 | -- | Inf
1748.84/1748.82 c 1749s| 7380k| 1401k| 16949k| 2.3 |1289M| 45 | 6 | 50 |9599 | 50 | 15 | 19 |4231k|7987 | 0.000000e+00 | -- | Inf
1751.43/1751.45 c 1751s| 7390k| 1403k| 16971k| 2.3 |1291M| 45 | 6 | 50 |9896 | 50 | 15 | 19 |4237k|7993 | 0.000000e+00 | -- | Inf
1754.44/1754.42 c 1754s| 7400k| 1404k| 16993k| 2.3 |1292M| 45 | 6 | 50 |8838 | 50 | 15 | 19 |4243k|8000 | 0.000000e+00 | -- | Inf
1756.54/1756.59 c 1757s| 7410k| 1406k| 17015k| 2.3 |1294M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |4248k|8006 | 0.000000e+00 | -- | Inf
1759.13/1759.17 c 1759s| 7420k| 1408k| 17038k| 2.3 |1296M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |4254k|8008 | 0.000000e+00 | -- | Inf
1761.64/1761.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1761.64/1761.65 c 1762s| 7430k| 1410k| 17060k| 2.3 |1298M| 45 | - | 50 | 11k| 0 | 0 | 19 |4260k|8009 | 0.000000e+00 | -- | Inf
1764.84/1764.88 c 1765s| 7440k| 1411k| 17082k| 2.3 |1299M| 45 | 6 | 50 |8696 | 50 | 15 | 19 |4266k|8012 | 0.000000e+00 | -- | Inf
1767.43/1767.49 c 1767s| 7450k| 1413k| 17104k| 2.3 |1300M| 45 | - | 50 |9101 | 50 | 15 | 19 |4272k|8016 | 0.000000e+00 | -- | Inf
1769.64/1769.61 c 1770s| 7460k| 1415k| 17127k| 2.3 |1303M| 45 | - | 50 | 11k| 50 | 15 | 19 |4277k|8022 | 0.000000e+00 | -- | Inf
1772.23/1772.22 c 1772s| 7470k| 1416k| 17149k| 2.3 |1304M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |4283k|8029 | 0.000000e+00 | -- | Inf
1775.34/1775.33 c 1775s| 7480k| 1418k| 17172k| 2.3 |1306M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |4290k|8035 | 0.000000e+00 | -- | Inf
1778.64/1778.66 c 1779s| 7490k| 1419k| 17194k| 2.3 |1307M| 45 | 6 | 50 |8779 | 50 | 15 | 19 |4296k|8041 | 0.000000e+00 | -- | Inf
1781.63/1781.61 c 1782s| 7500k| 1420k| 17216k| 2.3 |1308M| 45 | 6 | 50 |8361 | 50 | 15 | 19 |4302k|8045 | 0.000000e+00 | -- | Inf
1784.43/1784.47 c 1784s| 7510k| 1422k| 17239k| 2.3 |1310M| 45 | - | 50 |8651 | 50 | 15 | 19 |4308k|8051 | 0.000000e+00 | -- | Inf
1787.03/1787.02 c 1787s| 7520k| 1423k| 17261k| 2.3 |1312M| 45 | - | 50 | 10k| 50 | 15 | 19 |4314k|8061 | 0.000000e+00 | -- | Inf
1789.23/1789.29 c 1789s| 7530k| 1425k| 17283k| 2.3 |1313M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |4320k|8063 | 0.000000e+00 | -- | Inf
1791.53/1791.58 c 1792s| 7540k| 1427k| 17306k| 2.3 |1316M| 45 | - | 50 | 13k| 50 | 15 | 19 |4326k|8068 | 0.000000e+00 | -- | Inf
1794.23/1794.23 c 1794s| 7550k| 1428k| 17328k| 2.3 |1318M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |4332k|8072 | 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 : 7558947
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-3488784-1307772771.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-3488784-1307772771.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 pseudoobj : 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 4619258 0 4 0 995 3560 0 0 9229774
1797.03/1797.00 c linear : 6 6 17893221 0 1 3 5761609 601777 6743250 0 0 0
1797.03/1797.00 c logicor : 0+ 6 8302453 0 0 0 6299000 16977 3273057 0 0 0
1797.03/1797.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1797.03/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.03/1797.00 c integral : 26.14 0.00 0.00 26.14 0.00 0.00 0.00
1797.03/1797.00 c linear : 114.05 0.00 100.55 0.00 0.00 0.00 13.51
1797.03/1797.00 c logicor : 445.16 0.00 436.37 0.00 0.00 0.00 8.79
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.61 2.61 0.00
1797.03/1797.00 c rootredcost : 2.73 2.73 0.00
1797.03/1797.00 c pseudoobj : 1.91 1.91 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.67 618754 539074 1742462 36.7 102 31.5 -
1797.03/1797.00 c infeasible LP : 67.77 2551046 2550991 4722193 23.9 33238 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 : - - - 3613088 20.9 - - -
1797.03/1797.00 c applied locally : - - - 724676 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 : 5.32 4619255 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 : 23.77 4619258 995 3560 0 0 9229774
1797.03/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.03/1797.00 c inference : 0.00 1 0 0 0 0 2
1797.03/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c random : 0.00 0 0 0 0 0 0
1797.03/1797.00 c Primal Heuristics : Time Calls Found
1797.03/1797.00 c LP solutions : 0.00 - 0
1797.03/1797.00 c pseudo solutions : 0.00 - 0
1797.03/1797.00 c oneopt : 1.94 0 0
1797.03/1797.00 c crossover : 1.34 0 0
1797.03/1797.00 c guideddiving : 0.17 0 0
1797.03/1797.00 c fracdiving : 0.15 98 0
1797.03/1797.00 c veclendiving : 0.15 98 0
1797.03/1797.00 c feaspump : 0.13 49 0
1797.03/1797.00 c coefdiving : 0.15 99 0
1797.03/1797.00 c linesearchdiving : 0.16 99 0
1797.03/1797.00 c pscostdiving : 0.16 99 0
1797.03/1797.00 c rootsoldiving : 0.16 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.84 0 0
1797.03/1797.00 c zirounding : 11.49 0 0
1797.03/1797.00 c rounding : 1.69 30426 0
1797.03/1797.00 c shifting : 2.16 8946 0
1797.03/1797.00 c intshifting : 0.07 0 0
1797.03/1797.00 c twoopt : 0.00 0 0
1797.03/1797.00 c fixandinfer : 0.00 0 0
1797.03/1797.00 c clique : 0.00 0 0
1797.03/1797.00 c intdiving : 0.00 0 0
1797.03/1797.00 c actconsdiving : 0.00 0 0
1797.03/1797.00 c octane : 0.00 0 0
1797.03/1797.00 c rens : 0.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 : 1.05 0 0
1797.03/1797.00 c trysol : 1.35 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 : 341.94 6961421 17344240 2.49 50723.38
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 34264.21
1797.03/1797.00 c strong branching : 0.75 8074 36930 4.57 48922.66
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 : 7558947
1797.03/1797.00 c nodes (total) : 7558947
1797.03/1797.00 c nodes left : 1429896
1797.03/1797.00 c max depth : 45
1797.03/1797.00 c max depth (total): 45
1797.03/1797.00 c backtracks : 1144554 (15.1%)
1797.03/1797.00 c delayed cutoffs : 240934
1797.03/1797.00 c repropagations : 6459455 (4871807 domain reductions, 225541 cutoffs)
1797.03/1797.00 c avg switch length: 5.33
1797.03/1797.00 c switching time : 473.51
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-3488784-1307772771/watcher-3488784-1307772771 -o /tmp/evaluation-result-3488784-1307772771/solver-3488784-1307772771 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488784-1307772771.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.02 2.00 2/178 2931
/proc/meminfo: memFree=31357824/32951124 swapFree=67063272/67111528
[pid=2931] ppid=2929 vsize=9032 CPUtime=0 cores=0,2,4,6
/proc/2931/stat : 2931 (scip-2.0.1.4b_2) R 2929 2931 965 0 -1 4202496 1113 0 0 0 0 0 0 0 25 0 1 0 888875315 9248768 1068 33554432000 4194304 9016284 140736216597072 18446744073709551615 4447263 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/2931/statm: 2258 1079 190 1178 0 1076 0
[startup+0.0669041 s]
/proc/loadavg: 2.00 2.02 2.00 2/178 2931
/proc/meminfo: memFree=31357824/32951124 swapFree=67063272/67111528
[pid=2931] ppid=2929 vsize=24052 CPUtime=0.05 cores=0,2,4,6
/proc/2931/stat : 2931 (scip-2.0.1.4b_2) R 2929 2931 965 0 -1 4202496 7004 0 0 0 5 0 0 0 18 0 1 0 888875315 24629248 4981 33554432000 4194304 9016284 140736216597072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2931/statm: 6013 4981 681 1178 0 4831 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 24052
[startup+0.10092 s]
/proc/loadavg: 2.00 2.02 2.00 2/178 2931
/proc/meminfo: memFree=31357824/32951124 swapFree=67063272/67111528
[pid=2931] ppid=2929 vsize=24052 CPUtime=0.08 cores=0,2,4,6
/proc/2931/stat : 2931 (scip-2.0.1.4b_2) R 2929 2931 965 0 -1 4202496 7004 0 0 0 8 0 0 0 18 0 1 0 888875315 24629248 4981 33554432000 4194304 9016284 140736216597072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2931/statm: 6013 4981 681 1178 0 4831 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 24052
[startup+0.300887 s]
/proc/loadavg: 2.00 2.02 2.00 2/178 2931
/proc/meminfo: memFree=31357824/32951124 swapFree=67063272/67111528
[pid=2931] ppid=2929 vsize=24052 CPUtime=0.29 cores=0,2,4,6
/proc/2931/stat : 2931 (scip-2.0.1.4b_2) R 2929 2931 965 0 -1 4202496 7008 0 0 0 27 2 0 0 18 0 1 0 888875315 24629248 4985 33554432000 4194304 9016284 140736216597072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2931/statm: 6013 4985 684 1178 0 4831 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24052
[startup+0.700839 s]
/proc/loadavg: 2.00 2.02 2.00 2/178 2931
/proc/meminfo: memFree=31357824/32951124 swapFree=67063272/67111528
[pid=2931] ppid=2929 vsize=24052 CPUtime=0.68 cores=0,2,4,6
/proc/2931/stat : 2931 (scip-2.0.1.4b_2) R 2929 2931 965 0 -1 4202496 7012 0 0 0 65 3 0 0 18 0 1 0 888875315 24629248 4989 33554432000 4194304 9016284 140736216597072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2931/statm: 6013 4989 684 1178 0 4831 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 24052
[startup+1.50068 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 2932
/proc/meminfo: memFree=31340108/32951124 swapFree=67063272/67111528
[pid=2931] ppid=2929 vsize=24208 CPUtime=1.49 cores=0,2,4,6
/proc/2931/stat : 2931 (scip-2.0.1.4b_2) R 2929 2931 965 0 -1 4202496 7020 0 0 0 143 6 0 0 19 0 1 0 888875315 24788992 4997 33554432000 4194304 9016284 140736216597072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2931/statm: 6052 4997 684 1178 0 4870 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24208
[startup+3.10037 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 2932
/proc/meminfo: memFree=31339856/32951124 swapFree=67063272/67111528
[pid=2931] ppid=2929 vsize=26616 CPUtime=3.09 cores=0,2,4,6
/proc/2931/stat : 2931 (scip-2.0.1.4b_2) R 2929 2931 965 0 -1 4202496 7588 0 0 0 299 10 0 0 25 0 1 0 888875315 27254784 5565 33554432000 4194304 9016284 140736216597072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2931/statm: 6654 5565 684 1178 0 5472 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26616
[startup+6.30083 s]
/proc/loadavg: 2.08 2.03 2.01 3/179 2932
/proc/meminfo: memFree=31334144/32951124 swapFree=67063272/67111528
[pid=2931] ppid=2929 vsize=32356 CPUtime=6.29 cores=0,2,4,6
/proc/2931/stat : 2931 (scip-2.0.1.4b_2) R 2929 2931 965 0 -1 4202496 9037 0 0 0 610 19 0 0 25 0 1 0 888875315 33132544 7014 33554432000 4194304 9016284 140736216597072 18446744073709551615 5325784 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2931/statm: 8089 7014 684 1178 0 6907 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32356
[startup+12.7007 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 2933
/proc/meminfo: memFree=31322504/32951124 swapFree=67063272/67111528
[pid=2931] ppid=2929 vsize=42608 CPUtime=12.69 cores=0,2,4,6
/proc/2931/stat : 2931 (scip-2.0.1.4b_2) R 2929 2931 965 0 -1 4202496 11613 0 0 0 1232 37 0 0 25 0 1 0 888875315 43630592 9590 33554432000 4194304 9016284 140736216597072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2931/statm: 10652 9590 684 1178 0 9470 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42608
[startup+25.5004 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 2933
/proc/meminfo: memFree=31301896/32951124 swapFree=67063272/67111528
[pid=2931] ppid=2929 vsize=61728 CPUtime=25.49 cores=0,2,4,6
/proc/2931/stat : 2931 (scip-2.0.1.4b_2) R 2929 2931 965 0 -1 4202496 16420 0 0 0 2481 68 0 0 25 0 1 0 888875315 63209472 14397 33554432000 4194304 9016284 140736216597072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2931/statm: 15432 14397 684 1178 0 14250 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 61728
[startup+51.1008 s]
/proc/loadavg: 2.11 2.04 2.01 3/179 2934
/proc/meminfo: memFree=31269932/32951124 swapFree=67063272/67111528
[pid=2931] ppid=2929 vsize=96052 CPUtime=51.09 cores=0,2,4,6
/proc/2931/stat : 2931 (scip-2.0.1.4b_2) R 2929 2931 965 0 -1 4202496 24621 0 0 0 4973 136 0 0 25 0 1 0 888875315 98357248 22598 33554432000 4194304 9016284 140736216597072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2931/statm: 24013 22598 684 1178 0 22831 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 96052
[startup+102.307 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 2935
/proc/meminfo: memFree=31210252/32951124 swapFree=67063272/67111528
[pid=2931] ppid=2929 vsize=154072 CPUtime=102.3 cores=0,2,4,6
/proc/2931/stat : 2931 (scip-2.0.1.4b_2) R 2929 2931 965 0 -1 4202496 39235 0 0 0 9970 260 0 0 25 0 1 0 888875315 157769728 37212 33554432000 4194304 9016284 140736216597072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2931/statm: 38518 37212 684 1178 0 37336 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 154072
[startup+162.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 2937
/proc/meminfo: memFree=31151064/32951124 swapFree=67063272/67111528
[pid=2931] ppid=2929 vsize=216440 CPUtime=162.3 cores=0,2,4,6
/proc/2931/stat : 2931 (scip-2.0.1.4b_2) R 2929 2931 965 0 -1 4202496 54071 0 0 0 15841 389 0 0 25 0 1 0 888875315 221634560 52048 33554432000 4194304 9016284 140736216597072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2931/statm: 54110 52048 684 1178 0 52928 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 216440
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 2938
/proc/meminfo: memFree=31089504/32951124 swapFree=67063272/67111528
[pid=2931] ppid=2929 vsize=275584 CPUtime=222.29 cores=0,2,4,6
/proc/2931/stat : 2931 (scip-2.0.1.4b_2) R 2929 2931 965 0 -1 4202496 69021 0 0 0 21711 518 0 0 25 0 1 0 888875315 282198016 66998 33554432000 4194304 9016284 140736216597072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2931/statm: 68896 66998 684 1178 0 67714 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 275584
[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 2940
/proc/meminfo: memFree=31035768/32951124 swapFree=67063272/67111528
[pid=2931] ppid=2929 vsize=328080 CPUtime=282.3 cores=0,2,4,6
/proc/2931/stat : 2931 (scip-2.0.1.4b_2) R 2929 2931 965 0 -1 4202496 82384 0 0 0 27585 645 0 0 25 0 1 0 888875315 335953920 80361 33554432000 4194304 9016284 140736216597072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2931/statm: 82020 80361 684 1178 0 80838 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 328080
[startup+342.301 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 2941
/proc/meminfo: memFree=30986620/32951124 swapFree=67063272/67111528
[pid=2931] ppid=2929 vsize=376112 CPUtime=342.29 cores=0,2,4,6
/proc/2931/stat : 2931 (scip-2.0.1.4b_2) R 2929 2931 965 0 -1 4202496 94494 0 0 0 33464 765 0 0 25 0 1 0 888875315 385138688 92471 33554432000 4194304 9016284 140736216597072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2931/statm: 94028 92471 684 1178 0 92846 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 376112
[startup+402.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 2944
/proc/meminfo: memFree=30934612/32951124 swapFree=67063272/67111528
[pid=2931] ppid=2929 vsize=428800 CPUtime=402.3 cores=0,2,4,6
/proc/2931/stat : 2931 (scip-2.0.1.4b_2) R 2929 2931 965 0 -1 4202496 108014 0 0 0 39349 881 0 0 25 0 1 0 888875315 439091200 105991 33554432000 4194304 9016284 140736216597072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2931/statm: 107200 105991 684 1178 0 106018 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 428800
[startup+462.301 s]
/proc/loadavg: 2.15 2.06 2.01 3/179 2946
/proc/meminfo: memFree=30887812/32951124 swapFree=67063272/67111528
[pid=2931] ppid=2929 vsize=482060 CPUtime=462.3 cores=0,2,4,6
/proc/2931/stat : 2931 (scip-2.0.1.4b_2) R 2929 2931 965 0 -1 4202496 119388 0 0 0 45231 999 0 0 25 0 1 0 888875315 493629440 117365 33554432000 4194304 9016284 140736216597072 18446744073709551615 4347574 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2931/statm: 120515 117365 684 1178 0 119333 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 482060
[startup+522.301 s]
/proc/loadavg: 2.05 2.04 2.00 3/179 2947
/proc/meminfo: memFree=30839020/32951124 swapFree=67063272/67111528
[pid=2931] ppid=2929 vsize=529776 CPUtime=522.3 cores=0,2,4,6
/proc/2931/stat : 2931 (scip-2.0.1.4b_2) R 2929 2931 965 0 -1 4202496 131363 0 0 0 51121 1109 0 0 25 0 1 0 888875315 542490624 129340 33554432000 4194304 9016284 140736216597072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2931/statm: 132444 129340 684 1178 0 131262 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 529776
[startup+582.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/179 2949
/proc/meminfo: memFree=30793084/32951124 swapFree=67063272/67111528
[pid=2931] ppid=2929 vsize=574080 CPUtime=582.3 cores=0,2,4,6
/proc/2931/stat : 2931 (scip-2.0.1.4b_2) R 2929 2931 965 0 -1 4202496 142721 0 0 0 57007 1223 0 0 25 0 1 0 888875315 587857920 140698 33554432000 4194304 9016284 140736216597072 18446744073709551615 4321411 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2931/statm: 143520 140698 684 1178 0 142338 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 574080
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 2955
/proc/meminfo: memFree=30629656/32951124 swapFree=67063272/67111528
[pid=2931] ppid=2929 vsize=734892 CPUtime=822.31 cores=0,2,4,6
/proc/2931/stat : 2931 (scip-2.0.1.4b_2) R 2929 2931 965 0 -1 4202496 183429 0 0 0 80583 1648 0 0 25 0 1 0 888875315 752529408 181406 33554432000 4194304 9016284 140736216597072 18446744073709551615 4985920 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2931/statm: 183723 181406 684 1178 0 182541 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 734892
[startup+882.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 3004
/proc/meminfo: memFree=30691076/32951124 swapFree=67063272/67111528
[pid=2931] ppid=2929 vsize=776044 CPUtime=882.31 cores=0,2,4,6
/proc/2931/stat : 2931 (scip-2.0.1.4b_2) R 2929 2931 965 0 -1 4202496 194009 0 0 0 86480 1751 0 0 25 0 1 0 888875315 794669056 191986 33554432000 4194304 9016284 140736216597072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2931/statm: 194011 191986 684 1178 0 192829 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 776044
[startup+942.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/179 3005
/proc/meminfo: memFree=30587288/32951124 swapFree=67063272/67111528
[pid=2931] ppid=2929 vsize=816544 CPUtime=942.31 cores=0,2,4,6
/proc/2931/stat : 2931 (scip-2.0.1.4b_2) R 2929 2931 965 0 -1 4202496 204401 0 0 0 92371 1860 0 0 25 0 1 0 888875315 836141056 202378 33554432000 4194304 9016284 140736216597072 18446744073709551615 6469459 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2931/statm: 204136 202378 684 1178 0 202954 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 816544
[startup+1002.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/179 3007
/proc/meminfo: memFree=30511492/32951124 swapFree=67063272/67111528
[pid=2931] ppid=2929 vsize=862856 CPUtime=1002.31 cores=0,2,4,6
/proc/2931/stat : 2931 (scip-2.0.1.4b_2) R 2929 2931 965 0 -1 4202496 215915 0 0 0 98260 1971 0 0 25 0 1 0 888875315 883564544 213892 33554432000 4194304 9016284 140736216597072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2931/statm: 215714 213892 684 1178 0 214532 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 862856
[startup+1062.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 3009
/proc/meminfo: memFree=30422888/32951124 swapFree=67063272/67111528
[pid=2931] ppid=2929 vsize=904528 CPUtime=1062.31 cores=0,2,4,6
/proc/2931/stat : 2931 (scip-2.0.1.4b_2) R 2929 2931 965 0 -1 4202496 226564 0 0 0 104153 2078 0 0 25 0 1 0 888875315 926236672 224541 33554432000 4194304 9016284 140736216597072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2931/statm: 226132 224541 684 1178 0 224950 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 904528
[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 3010
/proc/meminfo: memFree=30323376/32951124 swapFree=67063272/67111528
[pid=2931] ppid=2929 vsize=958228 CPUtime=1122.31 cores=0,2,4,6
/proc/2931/stat : 2931 (scip-2.0.1.4b_2) R 2929 2931 965 0 -1 4202496 236123 0 0 0 110055 2176 0 0 25 0 1 0 888875315 981225472 234100 33554432000 4194304 9016284 140736216597072 18446744073709551615 4347574 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2931/statm: 239557 234100 684 1178 0 238375 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 958228
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 3012
/proc/meminfo: memFree=30231540/32951124 swapFree=67063272/67111528
[pid=2931] ppid=2929 vsize=997720 CPUtime=1182.32 cores=0,2,4,6
/proc/2931/stat : 2931 (scip-2.0.1.4b_2) R 2929 2931 965 0 -1 4202496 246231 0 0 0 115951 2281 0 0 25 0 1 0 888875315 1021665280 244208 33554432000 4194304 9016284 140736216597072 18446744073709551615 4444645 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2931/statm: 249430 244208 684 1178 0 248248 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 997720
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 3013
/proc/meminfo: memFree=30142680/32951124 swapFree=67063272/67111528
[pid=2931] ppid=2929 vsize=1033216 CPUtime=1242.32 cores=0,2,4,6
/proc/2931/stat : 2931 (scip-2.0.1.4b_2) R 2929 2931 965 0 -1 4202496 254952 0 0 0 121851 2381 0 0 25 0 1 0 888875315 1058013184 252929 33554432000 4194304 9016284 140736216597072 18446744073709551615 5325523 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2931/statm: 258304 252929 684 1178 0 257122 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1033216
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 3015
/proc/meminfo: memFree=30064236/32951124 swapFree=67063272/67111528
[pid=2931] ppid=2929 vsize=1075532 CPUtime=1302.32 cores=0,2,4,6
/proc/2931/stat : 2931 (scip-2.0.1.4b_2) R 2929 2931 965 0 -1 4202496 265779 0 0 0 127751 2481 0 0 25 0 1 0 888875315 1101344768 263756 33554432000 4194304 9016284 140736216597072 18446744073709551615 4349775 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2931/statm: 268883 263756 684 1178 0 267701 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 1075532
[startup+1362.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 3017
/proc/meminfo: memFree=29990768/32951124 swapFree=67063272/67111528
[pid=2931] ppid=2929 vsize=1111316 CPUtime=1362.33 cores=0,2,4,6
/proc/2931/stat : 2931 (scip-2.0.1.4b_2) R 2929 2931 965 0 -1 4202496 274987 0 0 0 133645 2588 0 0 25 0 1 0 888875315 1137987584 272964 33554432000 4194304 9016284 140736216597072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2931/statm: 277829 272964 684 1178 0 276647 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1111316
[startup+1422.31 s]
/proc/loadavg: 2.09 2.03 2.00 3/179 3018
/proc/meminfo: memFree=29920764/32951124 swapFree=67063272/67111528
[pid=2931] ppid=2929 vsize=1148596 CPUtime=1422.33 cores=0,2,4,6
/proc/2931/stat : 2931 (scip-2.0.1.4b_2) R 2929 2931 965 0 -1 4202496 284548 0 0 0 139557 2676 0 0 25 0 1 0 888875315 1176162304 282525 33554432000 4194304 9016284 140736216597072 18446744073709551615 5312933 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2931/statm: 287149 282525 684 1178 0 285967 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1148596
[startup+1482.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 3020
/proc/meminfo: memFree=29856976/32951124 swapFree=67063272/67111528
[pid=2931] ppid=2929 vsize=1184696 CPUtime=1482.33 cores=0,2,4,6
/proc/2931/stat : 2931 (scip-2.0.1.4b_2) R 2929 2931 965 0 -1 4202496 293744 0 0 0 145468 2765 0 0 25 0 1 0 888875315 1213128704 291721 33554432000 4194304 9016284 140736216597072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2931/statm: 296174 291721 684 1178 0 294992 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1184696
[startup+1542.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/179 3021
/proc/meminfo: memFree=29790228/32951124 swapFree=67063272/67111528
[pid=2931] ppid=2929 vsize=1222548 CPUtime=1542.33 cores=0,2,4,6
/proc/2931/stat : 2931 (scip-2.0.1.4b_2) R 2929 2931 965 0 -1 4202496 302952 0 0 0 151374 2859 0 0 25 0 1 0 888875315 1251889152 300929 33554432000 4194304 9016284 140736216597072 18446744073709551615 4911442 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2931/statm: 305637 300929 684 1178 0 304455 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1222548
[startup+1602.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/179 3023
/proc/meminfo: memFree=29720736/32951124 swapFree=67063272/67111528
[pid=2931] ppid=2929 vsize=1255580 CPUtime=1602.33 cores=0,2,4,6
/proc/2931/stat : 2931 (scip-2.0.1.4b_2) R 2929 2931 965 0 -1 4202496 311471 0 0 0 157277 2956 0 0 25 0 1 0 888875315 1285713920 309448 33554432000 4194304 9016284 140736216597072 18446744073709551615 6679817 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2931/statm: 313895 309448 684 1178 0 312713 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1255580
[startup+1662.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/179 3025
/proc/meminfo: memFree=29645808/32951124 swapFree=67063272/67111528
[pid=2931] ppid=2929 vsize=1295136 CPUtime=1662.33 cores=0,2,4,6
/proc/2931/stat : 2931 (scip-2.0.1.4b_2) R 2929 2931 965 0 -1 4202496 321554 0 0 0 163181 3052 0 0 25 0 1 0 888875315 1326219264 319531 33554432000 4194304 9016284 140736216597072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2931/statm: 323784 319531 684 1178 0 322602 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1295136
[startup+1722.3 s]
/proc/loadavg: 2.18 2.08 2.02 3/179 3026
/proc/meminfo: memFree=29578764/32951124 swapFree=67063272/67111528
[pid=2931] ppid=2929 vsize=1330796 CPUtime=1722.33 cores=0,2,4,6
/proc/2931/stat : 2931 (scip-2.0.1.4b_2) R 2929 2931 965 0 -1 4202496 330689 0 0 0 169084 3149 0 0 25 0 1 0 888875315 1362735104 328666 33554432000 4194304 9016284 140736216597072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2931/statm: 332699 328666 684 1178 0 331517 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1330796
[startup+1782.3 s]
/proc/loadavg: 2.06 2.07 2.01 3/179 3028
/proc/meminfo: memFree=29509392/32951124 swapFree=67063272/67111528
[pid=2931] ppid=2929 vsize=1364260 CPUtime=1782.34 cores=0,2,4,6
/proc/2931/stat : 2931 (scip-2.0.1.4b_2) R 2929 2931 965 0 -1 4202496 339191 0 0 0 174995 3239 0 0 25 0 1 0 888875315 1397002240 337168 33554432000 4194304 9016284 140736216597072 18446744073709551615 4318623 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2931/statm: 341065 337168 684 1178 0 339883 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1364260
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.05 2.06 2.01 3/179 3028
/proc/meminfo: memFree=29491272/32951124 swapFree=67063272/67111528
[pid=2931] ppid=2929 vsize=1374760 CPUtime=1800.04 cores=0,2,4,6
/proc/2931/stat : 2931 (scip-2.0.1.4b_2) R 2929 2931 965 0 -1 4202496 341914 0 0 0 176742 3262 0 0 25 0 1 0 888875315 1407754240 339891 33554432000 4194304 9016284 140736216597072 18446744073709551615 6812620 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/2931/statm: 343690 339891 685 1178 0 342508 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1374760
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.43
CPU system time (s): 32.676
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1374760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1767.43
system time used= 32.676
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 341914
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= 8
involuntary context switches= 1154
runsolver used 2.97655 second user time and 5.73713 second system time
The end