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-3734857-1338713975.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.01 c presolving:
0.00/0.01 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.04 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.05 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.00/0.07 c 0.1s| 1 | 2 | 162 | - | 398k| 0 | 15 | 50 | 15 | 50 | 25 | 19 | 9 | 9 | 0.000000e+00 | -- | Inf
1.49/1.52 c 1.5s| 10000 | 3599 | 25577 | 2.5 |4010k| 44 | 6 | 50 |3054 | 50 | 15 | 19 |4705 | 492 | 0.000000e+00 | -- | Inf
2.89/2.95 c 3.0s| 20000 | 6637 | 50997 | 2.5 |6088k| 44 | - | 50 |2405 | 50 | 15 | 19 |9831 | 660 | 0.000000e+00 | -- | Inf
4.30/4.36 c 4.4s| 30000 | 9422 | 76496 | 2.5 |8470k| 44 | - | 50 |3445 | 50 | 15 | 19 | 15k| 784 | 0.000000e+00 | -- | Inf
5.79/5.85 c 5.9s| 40000 | 12058 |101951 | 2.5 | 10M| 44 | - | 50 |3291 | 50 | 15 | 19 | 20k| 903 | 0.000000e+00 | -- | Inf
7.19/7.25 c 7.3s| 50000 | 15308 |126603 | 2.5 | 13M| 44 | 6 | 50 |4151 | 50 | 15 | 19 | 25k| 989 | 0.000000e+00 | -- | Inf
8.59/8.69 c 8.7s| 60000 | 18400 |150519 | 2.5 | 15M| 44 | - | 50 |4339 | 50 | 15 | 19 | 30k|1047 | 0.000000e+00 | -- | Inf
10.09/10.19 c 10.2s| 70000 | 21289 |175197 | 2.5 | 17M| 44 | 6 | 50 |4058 | 50 | 15 | 19 | 35k|1115 | 0.000000e+00 | -- | Inf
11.69/11.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.69/11.70 c 11.7s| 80000 | 24064 |199108 | 2.5 | 19M| 44 | 6 | 50 |4414 | 50 | 15 | 19 | 40k|1171 | 0.000000e+00 | -- | Inf
13.09/13.18 c 13.2s| 90000 | 26950 |223357 | 2.5 | 21M| 44 | 6 | 50 |5223 | 50 | 15 | 19 | 45k|1220 | 0.000000e+00 | -- | Inf
14.69/14.78 c 14.8s|100000 | 29643 |247389 | 2.5 | 23M| 44 | - | 50 |4582 | 0 | 0 | 19 | 50k|1257 | 0.000000e+00 | -- | Inf
16.18/16.22 c 16.2s|110000 | 32797 |271563 | 2.5 | 26M| 44 | 6 | 50 |5906 | 50 | 15 | 19 | 55k|1305 | 0.000000e+00 | -- | Inf
17.79/17.84 c 17.8s|120000 | 35643 |295920 | 2.5 | 28M| 44 | 6 | 50 |5556 | 50 | 15 | 19 | 60k|1346 | 0.000000e+00 | -- | Inf
19.48/19.51 c 19.5s|130000 | 38251 |320248 | 2.5 | 30M| 44 | - | 50 |5103 | 50 | 15 | 19 | 66k|1397 | 0.000000e+00 | -- | Inf
21.19/21.20 c 21.2s|140000 | 40637 |345203 | 2.5 | 32M| 44 | 6 | 50 |5250 | 50 | 15 | 19 | 71k|1444 | 0.000000e+00 | -- | Inf
22.69/22.76 c 22.8s|150000 | 43311 |369299 | 2.5 | 34M| 44 | - | 50 |6318 | 50 | 15 | 19 | 77k|1485 | 0.000000e+00 | -- | Inf
24.38/24.49 c 24.5s|160000 | 45961 |393282 | 2.5 | 36M| 44 | 6 | 50 |5127 | 50 | 15 | 19 | 82k|1530 | 0.000000e+00 | -- | Inf
26.19/26.23 c 26.2s|170000 | 48377 |417748 | 2.5 | 38M| 44 | - | 50 |5173 | 50 | 15 | 19 | 87k|1572 | 0.000000e+00 | -- | Inf
27.68/27.74 c 27.7s|180000 | 51292 |443329 | 2.5 | 41M| 44 | 6 | 50 |6995 | 50 | 15 | 19 | 92k|1612 | 0.000000e+00 | -- | Inf
29.39/29.49 c 29.5s|190000 | 53868 |467828 | 2.5 | 43M| 44 | 6 | 50 |6990 | 50 | 15 | 19 | 98k|1647 | 0.000000e+00 | -- | Inf
31.08/31.16 c 31.2s|200000 | 56531 |491801 | 2.5 | 45M| 45 | - | 50 |7690 | 50 | 15 | 19 | 103k|1690 | 0.000000e+00 | -- | Inf
32.89/32.92 c 32.9s|210000 | 58876 |516184 | 2.5 | 47M| 45 | - | 50 |6632 | 50 | 15 | 19 | 109k|1737 | 0.000000e+00 | -- | Inf
34.38/34.47 c 34.5s|220000 | 62034 |539996 | 2.5 | 49M| 45 | - | 50 |7153 | 50 | 15 | 19 | 114k|1773 | 0.000000e+00 | -- | Inf
36.09/36.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.09/36.12 c 36.1s|230000 | 65006 |563243 | 2.4 | 51M| 45 | - | 50 |7669 | 50 | 15 | 19 | 119k|1800 | 0.000000e+00 | -- | Inf
37.78/37.86 c 37.9s|240000 | 67703 |586240 | 2.4 | 54M| 45 | - | 50 |7482 | 50 | 15 | 19 | 124k|1839 | 0.000000e+00 | -- | Inf
39.49/39.60 c 39.6s|250000 | 70167 |610761 | 2.4 | 55M| 45 | - | 50 |6397 | 50 | 15 | 19 | 129k|1874 | 0.000000e+00 | -- | Inf
41.28/41.32 c 41.3s|260000 | 72721 |634340 | 2.4 | 57M| 45 | 6 | 50 |6408 | 50 | 15 | 19 | 135k|1916 | 0.000000e+00 | -- | Inf
42.89/42.98 c 43.0s|270000 | 75509 |657181 | 2.4 | 59M| 45 | 6 | 50 |6783 | 50 | 15 | 19 | 140k|1936 | 0.000000e+00 | -- | Inf
44.79/44.83 c 44.8s|280000 | 77909 |681197 | 2.4 | 61M| 45 | 6 | 50 |5296 | 50 | 15 | 19 | 145k|1950 | 0.000000e+00 | -- | Inf
46.38/46.48 c 46.5s|290000 | 80258 |704868 | 2.4 | 63M| 45 | 6 | 50 |6141 | 50 | 15 | 19 | 151k|1983 | 0.000000e+00 | -- | Inf
48.18/48.29 c 48.3s|300000 | 82585 |728812 | 2.4 | 65M| 45 | 6 | 50 |5032 | 50 | 15 | 19 | 156k|2022 | 0.000000e+00 | -- | Inf
49.88/49.90 c 49.9s|310000 | 85089 |753286 | 2.4 | 67M| 45 | 6 | 50 |6092 | 50 | 15 | 19 | 162k|2042 | 0.000000e+00 | -- | Inf
51.59/51.63 c 51.6s|320000 | 87475 |777293 | 2.4 | 69M| 45 | 6 | 50 |5762 | 50 | 15 | 19 | 167k|2073 | 0.000000e+00 | -- | Inf
53.28/53.37 c 53.4s|330000 | 89872 |800498 | 2.4 | 71M| 45 | 6 | 50 |5599 | 50 | 15 | 19 | 172k|2093 | 0.000000e+00 | -- | Inf
55.08/55.11 c 55.1s|340000 | 92291 |823725 | 2.4 | 73M| 45 | 6 | 50 |5168 | 50 | 15 | 19 | 178k|2120 | 0.000000e+00 | -- | Inf
56.58/56.65 c 56.6s|350000 | 95088 |847792 | 2.4 | 75M| 45 | - | 50 |6879 | 0 | 0 | 19 | 183k|2144 | 0.000000e+00 | -- | Inf
58.48/58.50 c 58.5s|360000 | 97413 |872299 | 2.4 | 77M| 45 | - | 50 |6696 | 50 | 15 | 19 | 189k|2172 | 0.000000e+00 | -- | Inf
60.39/60.40 c 60.4s|370000 | 99387 |896820 | 2.4 | 79M| 45 | 6 | 50 |5959 | 50 | 15 | 19 | 194k|2207 | 0.000000e+00 | -- | Inf
61.98/62.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.98/62.04 c 62.0s|380000 |101778 |922178 | 2.4 | 81M| 45 | - | 50 |8231 | 50 | 15 | 19 | 200k|2246 | 0.000000e+00 | -- | Inf
63.69/63.73 c 63.7s|390000 |104212 |946490 | 2.4 | 84M| 45 | 6 | 50 |9916 | 50 | 15 | 19 | 205k|2276 | 0.000000e+00 | -- | Inf
65.68/65.73 c 65.7s|400000 |106547 |970600 | 2.4 | 85M| 45 | 6 | 50 |7501 | 50 | 15 | 19 | 211k|2307 | 0.000000e+00 | -- | Inf
67.48/67.56 c 67.6s|410000 |108974 |994118 | 2.4 | 87M| 45 | 6 | 50 |7300 | 50 | 15 | 19 | 216k|2334 | 0.000000e+00 | -- | Inf
69.29/69.35 c 69.3s|420000 |111516 | 1018k| 2.4 | 89M| 45 | - | 50 |7367 | 50 | 15 | 19 | 222k|2363 | 0.000000e+00 | -- | Inf
71.18/71.21 c 71.2s|430000 |113760 | 1042k| 2.4 | 91M| 45 | 6 | 50 |6718 | 50 | 15 | 19 | 227k|2388 | 0.000000e+00 | -- | Inf
72.88/72.99 c 73.0s|440000 |116119 | 1066k| 2.4 | 93M| 45 | - | 50 |7380 | 50 | 15 | 19 | 233k|2415 | 0.000000e+00 | -- | Inf
74.48/74.59 c 74.6s|450000 |119138 | 1090k| 2.4 | 95M| 45 | 6 | 50 |8924 | 50 | 15 | 19 | 238k|2437 | 0.000000e+00 | -- | Inf
76.38/76.44 c 76.4s|460000 |121621 | 1113k| 2.4 | 97M| 45 | 6 | 50 |9980 | 50 | 15 | 19 | 243k|2462 | 0.000000e+00 | -- | Inf
78.48/78.54 c 78.5s|470000 |123856 | 1136k| 2.4 | 99M| 45 | - | 50 |7372 | 50 | 15 | 19 | 249k|2482 | 0.000000e+00 | -- | Inf
80.38/80.47 c 80.5s|480000 |126030 | 1160k| 2.4 | 100M| 45 | - | 50 |6732 | 50 | 15 | 19 | 254k|2513 | 0.000000e+00 | -- | Inf
82.28/82.35 c 82.3s|490000 |128160 | 1184k| 2.4 | 102M| 45 | 6 | 50 |6959 | 50 | 15 | 19 | 260k|2537 | 0.000000e+00 | -- | Inf
84.07/84.10 c 84.1s|500000 |130466 | 1208k| 2.4 | 105M| 45 | 6 | 50 |7617 | 50 | 15 | 19 | 266k|2563 | 0.000000e+00 | -- | Inf
85.98/86.03 c 86.0s|510000 |132709 | 1232k| 2.4 | 106M| 45 | 6 | 50 |7793 | 50 | 15 | 19 | 271k|2586 | 0.000000e+00 | -- | Inf
87.88/87.97 c 88.0s|520000 |134815 | 1255k| 2.4 | 108M| 45 | 6 | 50 |7958 | 50 | 15 | 19 | 277k|2606 | 0.000000e+00 | -- | Inf
89.87/89.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
89.87/89.92 c 89.9s|530000 |136889 | 1279k| 2.4 | 110M| 45 | 6 | 50 |7716 | 50 | 15 | 19 | 283k|2633 | 0.000000e+00 | -- | Inf
91.67/91.75 c 91.8s|540000 |139192 | 1302k| 2.4 | 112M| 45 | 6 | 50 |8432 | 50 | 15 | 19 | 288k|2658 | 0.000000e+00 | -- | Inf
93.78/93.83 c 93.8s|550000 |141164 | 1325k| 2.4 | 114M| 45 | 6 | 50 |5884 | 50 | 15 | 19 | 294k|2681 | 0.000000e+00 | -- | Inf
95.48/95.57 c 95.6s|560000 |143404 | 1349k| 2.4 | 116M| 45 | 6 | 50 |6230 | 50 | 15 | 19 | 300k|2699 | 0.000000e+00 | -- | Inf
97.27/97.37 c 97.4s|570000 |145730 | 1372k| 2.4 | 117M| 45 | - | 50 |6423 | 50 | 15 | 19 | 305k|2715 | 0.000000e+00 | -- | Inf
99.08/99.13 c 99.1s|580000 |148266 | 1396k| 2.4 | 119M| 45 | 6 | 50 |6633 | 50 | 15 | 19 | 310k|2736 | 0.000000e+00 | -- | Inf
100.78/100.81 c 101s|590000 |150861 | 1420k| 2.4 | 122M| 45 | 6 | 50 |8149 | 50 | 15 | 19 | 316k|2761 | 0.000000e+00 | -- | Inf
102.47/102.59 c 103s|600000 |153393 | 1444k| 2.4 | 124M| 45 | 6 | 50 |9793 | 50 | 15 | 19 | 321k|2783 | 0.000000e+00 | -- | Inf
104.57/104.60 c 105s|610000 |155473 | 1467k| 2.4 | 126M| 45 | 6 | 50 | 10k| 50 | 15 | 19 | 327k|2811 | 0.000000e+00 | -- | Inf
106.58/106.65 c 107s|620000 |157532 | 1490k| 2.4 | 128M| 45 | 6 | 50 | 10k| 50 | 15 | 19 | 333k|2837 | 0.000000e+00 | -- | Inf
108.78/108.82 c 109s|630000 |159563 | 1513k| 2.4 | 130M| 45 | - | 50 | 11k| 50 | 15 | 19 | 339k|2873 | 0.000000e+00 | -- | Inf
110.98/111.07 c 111s|640000 |161743 | 1537k| 2.4 | 132M| 45 | - | 50 | 11k| 50 | 15 | 19 | 344k|2891 | 0.000000e+00 | -- | Inf
113.37/113.45 c 113s|650000 |163708 | 1560k| 2.4 | 133M| 45 | 6 | 50 |8778 | 50 | 15 | 19 | 350k|2907 | 0.000000e+00 | -- | Inf
115.27/115.33 c 115s|660000 |166003 | 1583k| 2.4 | 135M| 45 | 6 | 50 |9633 | 50 | 15 | 19 | 356k|2941 | 0.000000e+00 | -- | Inf
117.58/117.61 c 118s|670000 |167961 | 1606k| 2.4 | 137M| 45 | - | 50 |7146 | 50 | 15 | 19 | 362k|2954 | 0.000000e+00 | -- | Inf
119.37/119.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
119.37/119.44 c 119s|680000 |170275 | 1629k| 2.4 | 139M| 45 | - | 50 |8512 | 0 | 0 | 19 | 367k|2968 | 0.000000e+00 | -- | Inf
121.47/121.54 c 122s|690000 |172309 | 1653k| 2.4 | 140M| 45 | 6 | 50 |6513 | 50 | 15 | 19 | 373k|2989 | 0.000000e+00 | -- | Inf
123.27/123.35 c 123s|700000 |174525 | 1676k| 2.4 | 142M| 45 | - | 50 |7704 | 50 | 15 | 19 | 378k|3005 | 0.000000e+00 | -- | Inf
125.17/125.23 c 125s|710000 |176891 | 1700k| 2.4 | 144M| 45 | 6 | 50 |7007 | 50 | 15 | 19 | 384k|3016 | 0.000000e+00 | -- | Inf
126.97/127.04 c 127s|720000 |178841 | 1724k| 2.4 | 146M| 45 | 6 | 50 |9434 | 50 | 15 | 19 | 390k|3039 | 0.000000e+00 | -- | Inf
129.17/129.23 c 129s|730000 |180959 | 1747k| 2.4 | 148M| 45 | - | 50 |7235 | 50 | 15 | 19 | 395k|3056 | 0.000000e+00 | -- | Inf
131.07/131.16 c 131s|740000 |183140 | 1771k| 2.4 | 150M| 45 | 6 | 50 |6905 | 50 | 15 | 19 | 401k|3075 | 0.000000e+00 | -- | Inf
132.67/132.77 c 133s|750000 |185909 | 1795k| 2.4 | 152M| 45 | - | 50 |8606 | 50 | 15 | 19 | 406k|3089 | 0.000000e+00 | -- | Inf
134.46/134.59 c 135s|760000 |188350 | 1819k| 2.4 | 154M| 45 | 6 | 50 |9311 | 50 | 15 | 19 | 411k|3110 | 0.000000e+00 | -- | Inf
136.46/136.50 c 137s|770000 |190640 | 1844k| 2.4 | 156M| 45 | 6 | 50 | 10k| 50 | 15 | 19 | 416k|3127 | 0.000000e+00 | -- | Inf
138.47/138.58 c 139s|780000 |193000 | 1868k| 2.4 | 158M| 45 | 6 | 50 |9508 | 50 | 15 | 19 | 422k|3149 | 0.000000e+00 | -- | Inf
140.67/140.71 c 141s|790000 |195253 | 1891k| 2.4 | 160M| 45 | - | 50 |8492 | 50 | 15 | 19 | 427k|3167 | 0.000000e+00 | -- | Inf
142.66/142.77 c 143s|800000 |197341 | 1915k| 2.4 | 161M| 45 | - | 50 |7676 | 50 | 15 | 19 | 433k|3195 | 0.000000e+00 | -- | Inf
144.47/144.52 c 145s|810000 |200306 | 1940k| 2.4 | 164M| 45 | 6 | 50 |8592 | 50 | 15 | 19 | 438k|3213 | 0.000000e+00 | -- | Inf
146.27/146.32 c 146s|820000 |202923 | 1965k| 2.4 | 166M| 45 | - | 50 |9296 | 50 | 15 | 19 | 443k|3228 | 0.000000e+00 | -- | Inf
148.17/148.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
148.17/148.22 c 148s|830000 |205267 | 1990k| 2.4 | 168M| 45 | - | 50 | 10k| 50 | 15 | 19 | 449k|3243 | 0.000000e+00 | -- | Inf
150.07/150.12 c 150s|840000 |207723 | 2014k| 2.4 | 170M| 45 | 6 | 50 | 11k| 50 | 15 | 19 | 455k|3259 | 0.000000e+00 | -- | Inf
151.97/152.08 c 152s|850000 |210191 | 2038k| 2.4 | 172M| 45 | 6 | 50 | 11k| 50 | 15 | 19 | 460k|3275 | 0.000000e+00 | -- | Inf
154.06/154.15 c 154s|860000 |212402 | 2062k| 2.4 | 174M| 45 | - | 50 | 11k| 0 | 0 | 19 | 465k|3290 | 0.000000e+00 | -- | Inf
156.17/156.26 c 156s|870000 |214835 | 2086k| 2.4 | 176M| 45 | 6 | 50 | 11k| 50 | 15 | 19 | 471k|3306 | 0.000000e+00 | -- | Inf
158.76/158.87 c 159s|880000 |216781 | 2111k| 2.4 | 178M| 45 | 6 | 50 |8513 | 50 | 15 | 19 | 477k|3329 | 0.000000e+00 | -- | Inf
160.86/160.95 c 161s|890000 |218938 | 2134k| 2.4 | 179M| 45 | - | 50 |8107 | 50 | 15 | 19 | 482k|3345 | 0.000000e+00 | -- | Inf
162.56/162.70 c 163s|900000 |221838 | 2158k| 2.4 | 182M| 45 | 6 | 50 |9878 | 50 | 15 | 19 | 487k|3356 | 0.000000e+00 | -- | Inf
164.67/164.79 c 165s|910000 |224152 | 2180k| 2.4 | 184M| 45 | 6 | 50 |9585 | 50 | 15 | 19 | 493k|3372 | 0.000000e+00 | -- | Inf
167.17/167.27 c 167s|920000 |225963 | 2204k| 2.4 | 185M| 45 | 6 | 50 |7184 | 50 | 15 | 19 | 498k|3390 | 0.000000e+00 | -- | Inf
169.06/169.12 c 169s|930000 |228220 | 2227k| 2.4 | 187M| 45 | - | 50 |8881 | 50 | 15 | 19 | 504k|3409 | 0.000000e+00 | -- | Inf
171.16/171.27 c 171s|940000 |230135 | 2250k| 2.4 | 189M| 45 | 6 | 50 |8152 | 50 | 15 | 19 | 510k|3427 | 0.000000e+00 | -- | Inf
173.27/173.33 c 173s|950000 |232314 | 2273k| 2.4 | 191M| 45 | 6 | 50 |7818 | 50 | 15 | 19 | 515k|3445 | 0.000000e+00 | -- | Inf
175.06/175.16 c 175s|960000 |234750 | 2296k| 2.4 | 193M| 45 | 6 | 50 |9912 | 50 | 15 | 19 | 521k|3457 | 0.000000e+00 | -- | Inf
177.36/177.41 c 177s|970000 |237079 | 2320k| 2.4 | 194M| 45 | 6 | 50 |7879 | 50 | 15 | 19 | 526k|3468 | 0.000000e+00 | -- | Inf
179.56/179.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
179.56/179.62 c 180s|980000 |239030 | 2343k| 2.4 | 196M| 45 | - | 50 |5975 | 50 | 15 | 19 | 532k|3488 | 0.000000e+00 | -- | Inf
181.47/181.53 c 182s|990000 |240960 | 2367k| 2.4 | 198M| 45 | 6 | 50 |7080 | 50 | 15 | 19 | 538k|3507 | 0.000000e+00 | -- | Inf
183.26/183.35 c 183s| 1000k|243031 | 2391k| 2.4 | 200M| 45 | 6 | 50 |8626 | 50 | 15 | 19 | 543k|3524 | 0.000000e+00 | -- | Inf
185.56/185.60 c 186s| 1010k|244908 | 2414k| 2.4 | 201M| 45 | - | 50 |6561 | 50 | 15 | 19 | 549k|3535 | 0.000000e+00 | -- | Inf
187.16/187.27 c 187s| 1020k|247561 | 2437k| 2.4 | 204M| 45 | 6 | 50 |8740 | 50 | 15 | 19 | 554k|3557 | 0.000000e+00 | -- | Inf
189.26/189.38 c 189s| 1030k|249531 | 2461k| 2.4 | 205M| 45 | 6 | 50 |7719 | 50 | 15 | 19 | 560k|3572 | 0.000000e+00 | -- | Inf
191.15/191.27 c 191s| 1040k|251780 | 2484k| 2.4 | 207M| 45 | 6 | 50 |8483 | 50 | 15 | 19 | 566k|3586 | 0.000000e+00 | -- | Inf
193.36/193.43 c 193s| 1050k|253758 | 2507k| 2.4 | 209M| 45 | - | 50 |8179 | 50 | 15 | 19 | 571k|3596 | 0.000000e+00 | -- | Inf
195.45/195.54 c 196s| 1060k|255715 | 2531k| 2.4 | 211M| 45 | 6 | 50 |7527 | 50 | 15 | 19 | 577k|3614 | 0.000000e+00 | -- | Inf
197.45/197.58 c 198s| 1070k|257825 | 2554k| 2.4 | 213M| 45 | - | 50 |7289 | 50 | 15 | 19 | 583k|3626 | 0.000000e+00 | -- | Inf
199.45/199.59 c 200s| 1080k|259789 | 2578k| 2.4 | 215M| 45 | - | 50 |7769 | 50 | 15 | 19 | 589k|3641 | 0.000000e+00 | -- | Inf
201.45/201.60 c 202s| 1090k|262009 | 2602k| 2.4 | 216M| 45 | - | 50 |7763 | 50 | 15 | 19 | 594k|3663 | 0.000000e+00 | -- | Inf
203.45/203.57 c 204s| 1100k|264117 | 2625k| 2.4 | 218M| 45 | 6 | 50 |7056 | 50 | 15 | 19 | 600k|3675 | 0.000000e+00 | -- | Inf
205.45/205.58 c 206s| 1110k|265966 | 2648k| 2.4 | 220M| 45 | 6 | 50 |7257 | 50 | 15 | 19 | 606k|3698 | 0.000000e+00 | -- | Inf
207.55/207.62 c 208s| 1120k|267774 | 2672k| 2.4 | 222M| 45 | 6 | 50 |7404 | 50 | 15 | 19 | 612k|3713 | 0.000000e+00 | -- | Inf
209.34/209.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
209.34/209.41 c 209s| 1130k|270082 | 2695k| 2.4 | 224M| 45 | 6 | 50 |9003 | 50 | 15 | 19 | 617k|3726 | 0.000000e+00 | -- | Inf
211.05/211.13 c 211s| 1140k|272961 | 2720k| 2.4 | 227M| 45 | 6 | 50 | 10k| 50 | 15 | 19 | 622k|3742 | 0.000000e+00 | -- | Inf
212.95/213.03 c 213s| 1150k|275595 | 2744k| 2.4 | 229M| 45 | - | 50 | 11k| 0 | 0 | 19 | 627k|3760 | 0.000000e+00 | -- | Inf
214.95/215.02 c 215s| 1160k|278174 | 2767k| 2.4 | 231M| 45 | - | 50 | 11k| 50 | 15 | 19 | 633k|3773 | 0.000000e+00 | -- | Inf
217.14/217.25 c 217s| 1170k|280393 | 2791k| 2.4 | 232M| 45 | 6 | 50 |9538 | 50 | 15 | 19 | 638k|3786 | 0.000000e+00 | -- | Inf
219.34/219.44 c 219s| 1180k|282302 | 2816k| 2.4 | 234M| 45 | - | 50 |8809 | 50 | 15 | 19 | 644k|3799 | 0.000000e+00 | -- | Inf
221.54/221.61 c 222s| 1190k|284400 | 2839k| 2.4 | 235M| 45 | 6 | 50 |7804 | 50 | 15 | 19 | 650k|3811 | 0.000000e+00 | -- | Inf
223.44/223.51 c 224s| 1200k|286627 | 2863k| 2.4 | 237M| 45 | - | 50 |8479 | 50 | 15 | 19 | 655k|3826 | 0.000000e+00 | -- | Inf
225.14/225.24 c 225s| 1210k|289109 | 2886k| 2.4 | 240M| 45 | 6 | 50 | 10k| 50 | 15 | 19 | 661k|3842 | 0.000000e+00 | -- | Inf
227.15/227.21 c 227s| 1220k|291358 | 2909k| 2.4 | 242M| 45 | - | 50 | 10k| 50 | 15 | 19 | 666k|3858 | 0.000000e+00 | -- | Inf
229.34/229.40 c 229s| 1230k|293466 | 2931k| 2.4 | 244M| 45 | 6 | 50 | 11k| 50 | 15 | 19 | 672k|3870 | 0.000000e+00 | -- | Inf
231.14/231.26 c 231s| 1240k|296239 | 2956k| 2.4 | 246M| 45 | - | 50 | 12k| 50 | 15 | 19 | 677k|3886 | 0.000000e+00 | -- | Inf
233.64/233.71 c 234s| 1250k|298396 | 2980k| 2.4 | 248M| 45 | 6 | 50 | 11k| 50 | 15 | 19 | 683k|3905 | 0.000000e+00 | -- | Inf
235.94/236.00 c 236s| 1260k|300395 | 3004k| 2.4 | 249M| 45 | 6 | 50 |8405 | 50 | 15 | 19 | 688k|3919 | 0.000000e+00 | -- | Inf
238.14/238.28 c 238s| 1270k|302296 | 3027k| 2.4 | 250M| 45 | - | 50 |6892 | 50 | 15 | 19 | 694k|3934 | 0.000000e+00 | -- | Inf
239.84/239.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
239.84/239.98 c 240s| 1280k|304256 | 3051k| 2.4 | 253M| 45 | - | 50 |9889 | 50 | 15 | 19 | 700k|3943 | 0.000000e+00 | -- | Inf
242.14/242.25 c 242s| 1290k|306000 | 3074k| 2.4 | 254M| 45 | 6 | 50 |7996 | 50 | 15 | 19 | 705k|3952 | 0.000000e+00 | -- | Inf
243.94/244.07 c 244s| 1300k|307956 | 3097k| 2.4 | 256M| 45 | 6 | 50 |9384 | 50 | 15 | 19 | 711k|3964 | 0.000000e+00 | -- | Inf
246.14/246.29 c 246s| 1310k|310068 | 3120k| 2.4 | 258M| 45 | 6 | 50 |7652 | 50 | 15 | 19 | 717k|3977 | 0.000000e+00 | -- | Inf
248.34/248.47 c 248s| 1320k|311980 | 3143k| 2.4 | 259M| 45 | - | 50 |7208 | 50 | 15 | 19 | 722k|3989 | 0.000000e+00 | -- | Inf
250.24/250.36 c 250s| 1330k|314169 | 3167k| 2.4 | 261M| 45 | 6 | 50 |8161 | 50 | 15 | 19 | 728k|4004 | 0.000000e+00 | -- | Inf
252.23/252.39 c 252s| 1340k|316310 | 3190k| 2.4 | 263M| 45 | - | 50 |7883 | 50 | 15 | 19 | 733k|4018 | 0.000000e+00 | -- | Inf
254.24/254.33 c 254s| 1350k|318701 | 3213k| 2.4 | 265M| 45 | - | 50 |8346 | 50 | 15 | 19 | 739k|4031 | 0.000000e+00 | -- | Inf
256.25/256.39 c 256s| 1360k|320645 | 3236k| 2.4 | 267M| 45 | 6 | 50 |8442 | 50 | 15 | 19 | 744k|4047 | 0.000000e+00 | -- | Inf
258.53/258.68 c 259s| 1370k|322552 | 3259k| 2.4 | 269M| 45 | 6 | 50 |7908 | 50 | 15 | 19 | 750k|4060 | 0.000000e+00 | -- | Inf
260.73/260.80 c 261s| 1380k|324472 | 3282k| 2.4 | 270M| 45 | 6 | 50 |7301 | 50 | 15 | 19 | 756k|4073 | 0.000000e+00 | -- | Inf
262.33/262.47 c 262s| 1390k|326708 | 3305k| 2.4 | 273M| 45 | 6 | 50 | 10k| 50 | 15 | 19 | 762k|4083 | 0.000000e+00 | -- | Inf
264.43/264.50 c 264s| 1400k|328849 | 3328k| 2.4 | 275M| 45 | 6 | 50 |9882 | 50 | 15 | 19 | 767k|4096 | 0.000000e+00 | -- | Inf
266.44/266.55 c 267s| 1410k|331377 | 3350k| 2.4 | 276M| 45 | 6 | 50 |8826 | 50 | 15 | 19 | 772k|4103 | 0.000000e+00 | -- | Inf
268.63/268.74 c 269s| 1420k|333331 | 3374k| 2.4 | 278M| 45 | 6 | 50 |7595 | 50 | 15 | 19 | 778k|4120 | 0.000000e+00 | -- | Inf
270.63/270.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
270.63/270.76 c 271s| 1430k|335184 | 3397k| 2.4 | 280M| 45 | 6 | 50 |8276 | 50 | 15 | 19 | 784k|4135 | 0.000000e+00 | -- | Inf
272.73/272.88 c 273s| 1440k|337192 | 3420k| 2.4 | 282M| 45 | 6 | 50 |8535 | 50 | 15 | 19 | 790k|4147 | 0.000000e+00 | -- | Inf
274.93/275.08 c 275s| 1450k|339107 | 3443k| 2.4 | 283M| 45 | 6 | 50 |7610 | 50 | 15 | 19 | 796k|4158 | 0.000000e+00 | -- | Inf
276.93/277.09 c 277s| 1460k|341000 | 3468k| 2.4 | 285M| 45 | 6 | 50 |8632 | 50 | 15 | 19 | 802k|4168 | 0.000000e+00 | -- | Inf
278.93/279.08 c 279s| 1470k|343181 | 3491k| 2.4 | 287M| 45 | 6 | 50 |9381 | 50 | 15 | 19 | 807k|4182 | 0.000000e+00 | -- | Inf
281.03/281.10 c 281s| 1480k|345054 | 3515k| 2.4 | 289M| 45 | 6 | 50 | 10k| 50 | 15 | 19 | 813k|4197 | 0.000000e+00 | -- | Inf
283.43/283.50 c 283s| 1490k|346970 | 3538k| 2.4 | 291M| 45 | - | 50 |9379 | 50 | 15 | 19 | 818k|4212 | 0.000000e+00 | -- | Inf
285.53/285.62 c 286s| 1500k|349136 | 3562k| 2.4 | 293M| 45 | 6 | 50 |9131 | 50 | 15 | 19 | 824k|4234 | 0.000000e+00 | -- | Inf
287.43/287.50 c 288s| 1510k|351347 | 3587k| 2.4 | 295M| 45 | - | 50 | 10k| 0 | 0 | 19 | 830k|4254 | 0.000000e+00 | -- | Inf
289.62/289.71 c 290s| 1520k|353001 | 3610k| 2.4 | 297M| 45 | 6 | 50 | 11k| 50 | 15 | 19 | 836k|4268 | 0.000000e+00 | -- | Inf
291.83/291.91 c 292s| 1530k|355103 | 3634k| 2.4 | 298M| 45 | 6 | 50 | 11k| 50 | 15 | 19 | 842k|4280 | 0.000000e+00 | -- | Inf
294.03/294.17 c 294s| 1540k|357199 | 3658k| 2.4 | 301M| 45 | 6 | 50 | 13k| 50 | 15 | 19 | 848k|4289 | 0.000000e+00 | -- | Inf
296.33/296.49 c 296s| 1550k|359108 | 3681k| 2.4 | 303M| 45 | 6 | 50 | 14k| 50 | 15 | 19 | 854k|4304 | 0.000000e+00 | -- | Inf
298.82/298.93 c 299s| 1560k|361035 | 3705k| 2.4 | 304M| 45 | - | 50 | 14k| 50 | 15 | 19 | 860k|4311 | 0.000000e+00 | -- | Inf
301.33/301.40 c 301s| 1570k|363115 | 3729k| 2.4 | 307M| 45 | 6 | 50 | 15k| 50 | 15 | 19 | 866k|4316 | 0.000000e+00 | -- | Inf
304.22/304.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
304.22/304.40 c 304s| 1580k|364941 | 3752k| 2.4 | 307M| 45 | - | 50 | 10k| 50 | 15 | 19 | 872k|4321 | 0.000000e+00 | -- | Inf
306.83/306.94 c 307s| 1590k|366747 | 3774k| 2.4 | 308M| 45 | 6 | 50 |7844 | 50 | 15 | 19 | 878k|4331 | 0.000000e+00 | -- | Inf
308.62/308.77 c 309s| 1600k|369222 | 3798k| 2.4 | 311M| 45 | - | 50 |9492 | 50 | 15 | 19 | 883k|4337 | 0.000000e+00 | -- | Inf
310.82/310.97 c 311s| 1610k|371160 | 3821k| 2.4 | 313M| 45 | - | 50 |9633 | 50 | 15 | 19 | 889k|4347 | 0.000000e+00 | -- | Inf
313.02/313.17 c 313s| 1620k|373214 | 3844k| 2.4 | 314M| 45 | 6 | 50 |8831 | 50 | 15 | 19 | 894k|4356 | 0.000000e+00 | -- | Inf
315.01/315.12 c 315s| 1630k|375737 | 3868k| 2.4 | 316M| 45 | 6 | 50 |8383 | 50 | 15 | 19 | 900k|4367 | 0.000000e+00 | -- | Inf
316.72/316.88 c 317s| 1640k|378563 | 3893k| 2.4 | 319M| 45 | 6 | 50 | 10k| 50 | 15 | 19 | 905k|4380 | 0.000000e+00 | -- | Inf
318.71/318.89 c 319s| 1650k|381110 | 3916k| 2.4 | 320M| 45 | - | 50 | 10k| 50 | 15 | 19 | 910k|4391 | 0.000000e+00 | -- | Inf
320.81/320.93 c 321s| 1660k|383373 | 3939k| 2.4 | 322M| 45 | 6 | 50 | 10k| 50 | 15 | 19 | 916k|4402 | 0.000000e+00 | -- | Inf
322.91/323.05 c 323s| 1670k|385671 | 3962k| 2.4 | 324M| 45 | - | 50 | 10k| 50 | 15 | 19 | 921k|4415 | 0.000000e+00 | -- | Inf
325.11/325.22 c 325s| 1680k|387688 | 3985k| 2.4 | 326M| 45 | - | 50 | 10k| 50 | 15 | 19 | 927k|4426 | 0.000000e+00 | -- | Inf
327.21/327.36 c 327s| 1690k|389915 | 4007k| 2.4 | 328M| 45 | 6 | 50 | 11k| 50 | 15 | 19 | 932k|4436 | 0.000000e+00 | -- | Inf
329.51/329.69 c 330s| 1700k|391745 | 4031k| 2.4 | 330M| 45 | 6 | 50 | 10k| 50 | 15 | 19 | 938k|4445 | 0.000000e+00 | -- | Inf
331.60/331.77 c 332s| 1710k|394320 | 4055k| 2.4 | 332M| 45 | 6 | 50 | 12k| 50 | 15 | 19 | 943k|4462 | 0.000000e+00 | -- | Inf
333.81/333.95 c 334s| 1720k|396718 | 4078k| 2.4 | 334M| 45 | - | 50 | 12k| 50 | 15 | 19 | 948k|4476 | 0.000000e+00 | -- | Inf
336.20/336.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
336.20/336.38 c 336s| 1730k|398801 | 4101k| 2.4 | 336M| 45 | - | 50 | 13k| 50 | 15 | 19 | 954k|4486 | 0.000000e+00 | -- | Inf
338.60/338.78 c 339s| 1740k|400779 | 4124k| 2.4 | 337M| 45 | - | 50 | 11k| 0 | 0 | 19 | 960k|4496 | 0.000000e+00 | -- | Inf
341.40/341.52 c 342s| 1750k|402518 | 4147k| 2.4 | 338M| 45 | - | 50 |8741 | 50 | 15 | 19 | 966k|4505 | 0.000000e+00 | -- | Inf
343.70/343.84 c 344s| 1760k|404300 | 4170k| 2.4 | 340M| 45 | - | 50 |7997 | 50 | 15 | 19 | 972k|4517 | 0.000000e+00 | -- | Inf
345.80/345.97 c 346s| 1770k|406188 | 4194k| 2.4 | 342M| 45 | 6 | 50 |8142 | 50 | 15 | 19 | 978k|4525 | 0.000000e+00 | -- | Inf
347.80/347.97 c 348s| 1780k|408323 | 4217k| 2.4 | 344M| 45 | 6 | 50 |9246 | 50 | 15 | 19 | 983k|4537 | 0.000000e+00 | -- | Inf
350.00/350.20 c 350s| 1790k|410284 | 4240k| 2.4 | 345M| 45 | 6 | 50 |8679 | 50 | 15 | 19 | 989k|4549 | 0.000000e+00 | -- | Inf
352.19/352.35 c 352s| 1800k|412165 | 4263k| 2.4 | 347M| 45 | 6 | 50 |8624 | 50 | 15 | 19 | 995k|4557 | 0.000000e+00 | -- | Inf
354.29/354.46 c 354s| 1810k|414242 | 4286k| 2.4 | 349M| 45 | 6 | 50 |8409 | 50 | 15 | 19 |1001k|4579 | 0.000000e+00 | -- | Inf
356.10/356.24 c 356s| 1820k|416794 | 4307k| 2.4 | 351M| 45 | - | 50 |9786 | 50 | 15 | 19 |1006k|4590 | 0.000000e+00 | -- | Inf
358.29/358.45 c 358s| 1830k|418563 | 4330k| 2.4 | 353M| 45 | 6 | 50 |9176 | 50 | 15 | 19 |1011k|4600 | 0.000000e+00 | -- | Inf
360.29/360.42 c 360s| 1840k|421071 | 4354k| 2.4 | 355M| 45 | 6 | 50 |9412 | 50 | 15 | 19 |1017k|4609 | 0.000000e+00 | -- | Inf
362.09/362.22 c 362s| 1850k|423957 | 4377k| 2.4 | 357M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |1022k|4623 | 0.000000e+00 | -- | Inf
364.09/364.29 c 364s| 1860k|426123 | 4400k| 2.4 | 359M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |1027k|4633 | 0.000000e+00 | -- | Inf
366.39/366.53 c 367s| 1870k|428108 | 4424k| 2.4 | 361M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1033k|4640 | 0.000000e+00 | -- | Inf
368.69/368.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
368.69/368.87 c 369s| 1880k|430123 | 4447k| 2.4 | 363M| 45 | - | 50 | 11k| 50 | 15 | 19 |1039k|4654 | 0.000000e+00 | -- | Inf
371.19/371.31 c 371s| 1890k|431929 | 4470k| 2.4 | 364M| 45 | 6 | 50 |9576 | 50 | 15 | 19 |1044k|4665 | 0.000000e+00 | -- | Inf
373.48/373.63 c 374s| 1900k|433807 | 4493k| 2.4 | 366M| 45 | - | 50 |9232 | 50 | 15 | 19 |1050k|4674 | 0.000000e+00 | -- | Inf
375.79/375.90 c 376s| 1910k|435826 | 4516k| 2.4 | 368M| 45 | 6 | 50 |8131 | 50 | 15 | 19 |1056k|4688 | 0.000000e+00 | -- | Inf
377.98/378.17 c 378s| 1920k|437523 | 4539k| 2.4 | 369M| 45 | 6 | 50 |7616 | 50 | 15 | 19 |1062k|4708 | 0.000000e+00 | -- | Inf
379.98/380.15 c 380s| 1930k|439665 | 4562k| 2.4 | 371M| 45 | - | 50 |8882 | 50 | 15 | 19 |1067k|4717 | 0.000000e+00 | -- | Inf
382.29/382.41 c 382s| 1940k|441481 | 4585k| 2.4 | 373M| 45 | - | 50 |8720 | 50 | 15 | 19 |1073k|4730 | 0.000000e+00 | -- | Inf
384.48/384.62 c 385s| 1950k|443134 | 4608k| 2.4 | 375M| 45 | 6 | 50 |8375 | 50 | 15 | 19 |1079k|4735 | 0.000000e+00 | -- | Inf
386.38/386.53 c 387s| 1960k|445315 | 4632k| 2.4 | 377M| 45 | - | 50 |9914 | 50 | 15 | 19 |1085k|4741 | 0.000000e+00 | -- | Inf
388.38/388.50 c 388s| 1970k|447299 | 4656k| 2.4 | 379M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1091k|4756 | 0.000000e+00 | -- | Inf
390.87/391.00 c 391s| 1980k|449117 | 4680k| 2.4 | 380M| 45 | 6 | 50 |9155 | 50 | 15 | 19 |1097k|4764 | 0.000000e+00 | -- | Inf
392.87/393.00 c 393s| 1990k|451405 | 4702k| 2.4 | 382M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |1103k|4775 | 0.000000e+00 | -- | Inf
395.07/395.23 c 395s| 2000k|453402 | 4725k| 2.4 | 384M| 45 | 6 | 50 |9050 | 50 | 15 | 19 |1109k|4788 | 0.000000e+00 | -- | Inf
397.07/397.27 c 397s| 2010k|455338 | 4749k| 2.4 | 386M| 45 | - | 50 | 10k| 50 | 15 | 19 |1115k|4794 | 0.000000e+00 | -- | Inf
399.36/399.54 c 400s| 2020k|457091 | 4773k| 2.4 | 387M| 45 | - | 50 |9665 | 50 | 15 | 19 |1121k|4806 | 0.000000e+00 | -- | Inf
401.66/401.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
401.66/401.85 c 402s| 2030k|458911 | 4796k| 2.4 | 389M| 45 | - | 50 |8879 | 50 | 15 | 19 |1127k|4819 | 0.000000e+00 | -- | Inf
403.97/404.11 c 404s| 2040k|460606 | 4820k| 2.4 | 390M| 45 | 6 | 50 |8620 | 50 | 15 | 19 |1133k|4832 | 0.000000e+00 | -- | Inf
406.07/406.28 c 406s| 2050k|462537 | 4843k| 2.4 | 392M| 45 | - | 50 |8773 | 50 | 15 | 19 |1139k|4841 | 0.000000e+00 | -- | Inf
407.87/408.05 c 408s| 2060k|465023 | 4867k| 2.4 | 395M| 45 | - | 50 | 10k| 0 | 0 | 19 |1144k|4846 | 0.000000e+00 | -- | Inf
409.86/410.05 c 410s| 2070k|467229 | 4891k| 2.4 | 397M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1149k|4857 | 0.000000e+00 | -- | Inf
412.16/412.40 c 412s| 2080k|469304 | 4914k| 2.4 | 398M| 45 | 6 | 50 |9599 | 50 | 15 | 19 |1155k|4866 | 0.000000e+00 | -- | Inf
414.07/414.28 c 414s| 2090k|471958 | 4938k| 2.4 | 401M| 45 | - | 50 | 11k| 50 | 15 | 19 |1160k|4878 | 0.000000e+00 | -- | Inf
416.26/416.47 c 416s| 2100k|474030 | 4960k| 2.4 | 403M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |1166k|4886 | 0.000000e+00 | -- | Inf
418.46/418.67 c 419s| 2110k|476091 | 4983k| 2.4 | 404M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |1171k|4901 | 0.000000e+00 | -- | Inf
420.86/421.00 c 421s| 2120k|477700 | 5005k| 2.4 | 406M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1177k|4913 | 0.000000e+00 | -- | Inf
423.16/423.40 c 423s| 2130k|479128 | 5027k| 2.4 | 408M| 45 | - | 50 | 12k| 50 | 15 | 19 |1183k|4926 | 0.000000e+00 | -- | Inf
425.46/425.67 c 426s| 2140k|480852 | 5050k| 2.4 | 410M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |1189k|4938 | 0.000000e+00 | -- | Inf
428.06/428.29 c 428s| 2150k|482682 | 5073k| 2.4 | 410M| 45 | - | 50 |8670 | 50 | 15 | 19 |1195k|4949 | 0.000000e+00 | -- | Inf
430.16/430.35 c 430s| 2160k|484513 | 5095k| 2.4 | 412M| 45 | 6 | 50 |8720 | 50 | 15 | 19 |1201k|4960 | 0.000000e+00 | -- | Inf
432.25/432.48 c 432s| 2170k|486409 | 5118k| 2.4 | 414M| 45 | 6 | 50 |8115 | 50 | 15 | 19 |1206k|4968 | 0.000000e+00 | -- | Inf
434.55/434.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
434.55/434.73 c 435s| 2180k|488092 | 5141k| 2.4 | 415M| 45 | 6 | 50 |7173 | 50 | 15 | 19 |1212k|4984 | 0.000000e+00 | -- | Inf
436.56/436.79 c 437s| 2190k|490028 | 5164k| 2.4 | 417M| 45 | - | 50 |6979 | 50 | 15 | 19 |1218k|4993 | 0.000000e+00 | -- | Inf
438.54/438.77 c 439s| 2200k|491779 | 5186k| 2.4 | 419M| 45 | 6 | 50 |7060 | 50 | 15 | 19 |1224k|5004 | 0.000000e+00 | -- | Inf
440.55/440.76 c 441s| 2210k|493602 | 5209k| 2.4 | 421M| 45 | 6 | 50 |7611 | 50 | 15 | 19 |1229k|5012 | 0.000000e+00 | -- | Inf
442.45/442.63 c 443s| 2220k|495557 | 5232k| 2.4 | 423M| 45 | - | 50 |9253 | 50 | 15 | 19 |1235k|5019 | 0.000000e+00 | -- | Inf
444.75/444.91 c 445s| 2230k|497309 | 5255k| 2.4 | 424M| 45 | 6 | 50 |7060 | 50 | 15 | 19 |1241k|5031 | 0.000000e+00 | -- | Inf
446.55/446.70 c 447s| 2240k|499308 | 5280k| 2.4 | 426M| 45 | 6 | 50 |9500 | 50 | 15 | 19 |1247k|5044 | 0.000000e+00 | -- | Inf
448.34/448.53 c 449s| 2250k|501395 | 5305k| 2.4 | 429M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1253k|5053 | 0.000000e+00 | -- | Inf
450.85/451.05 c 451s| 2260k|503056 | 5328k| 2.4 | 430M| 45 | 6 | 50 |8856 | 50 | 15 | 19 |1259k|5063 | 0.000000e+00 | -- | Inf
452.95/453.12 c 453s| 2270k|505038 | 5351k| 2.4 | 431M| 45 | 6 | 50 |9124 | 50 | 15 | 19 |1265k|5079 | 0.000000e+00 | -- | Inf
455.25/455.49 c 455s| 2280k|506653 | 5374k| 2.4 | 433M| 45 | 6 | 50 |7149 | 50 | 15 | 19 |1271k|5083 | 0.000000e+00 | -- | Inf
456.94/457.16 c 457s| 2290k|509364 | 5398k| 2.4 | 435M| 45 | 6 | 50 |8707 | 50 | 15 | 19 |1276k|5093 | 0.000000e+00 | -- | Inf
458.63/458.87 c 459s| 2300k|511828 | 5421k| 2.4 | 437M| 45 | - | 50 | 10k| 50 | 15 | 19 |1281k|5100 | 0.000000e+00 | -- | Inf
460.53/460.72 c 461s| 2310k|514203 | 5444k| 2.4 | 439M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |1286k|5105 | 0.000000e+00 | -- | Inf
462.54/462.72 c 463s| 2320k|516231 | 5466k| 2.4 | 441M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1292k|5120 | 0.000000e+00 | -- | Inf
464.44/464.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
464.44/464.68 c 465s| 2330k|518416 | 5489k| 2.4 | 443M| 45 | - | 50 | 12k| 0 | 0 | 19 |1297k|5131 | 0.000000e+00 | -- | Inf
466.63/466.84 c 467s| 2340k|520298 | 5512k| 2.4 | 445M| 45 | - | 50 | 13k| 0 | 0 | 19 |1302k|5139 | 0.000000e+00 | -- | Inf
468.94/469.18 c 469s| 2350k|521979 | 5535k| 2.4 | 446M| 45 | - | 50 | 12k| 50 | 15 | 19 |1308k|5149 | 0.000000e+00 | -- | Inf
471.23/471.41 c 471s| 2360k|523843 | 5558k| 2.4 | 448M| 45 | - | 50 | 12k| 50 | 15 | 19 |1313k|5151 | 0.000000e+00 | -- | Inf
473.54/473.74 c 474s| 2370k|525447 | 5581k| 2.4 | 450M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |1319k|5165 | 0.000000e+00 | -- | Inf
475.94/476.14 c 476s| 2380k|527006 | 5604k| 2.4 | 451M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |1325k|5174 | 0.000000e+00 | -- | Inf
478.44/478.61 c 479s| 2390k|528795 | 5628k| 2.4 | 453M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |1330k|5185 | 0.000000e+00 | -- | Inf
480.84/481.00 c 481s| 2400k|530559 | 5651k| 2.4 | 454M| 45 | 6 | 50 |9047 | 50 | 15 | 19 |1336k|5190 | 0.000000e+00 | -- | Inf
483.04/483.23 c 483s| 2410k|532176 | 5674k| 2.4 | 455M| 45 | 6 | 50 |8324 | 50 | 15 | 19 |1343k|5196 | 0.000000e+00 | -- | Inf
485.34/485.52 c 486s| 2420k|533707 | 5697k| 2.4 | 456M| 45 | 6 | 50 |7427 | 50 | 15 | 19 |1349k|5203 | 0.000000e+00 | -- | Inf
487.43/487.61 c 488s| 2430k|535531 | 5721k| 2.4 | 458M| 45 | 6 | 50 |7286 | 50 | 15 | 19 |1355k|5214 | 0.000000e+00 | -- | Inf
489.43/489.69 c 490s| 2440k|537327 | 5744k| 2.4 | 460M| 45 | 6 | 50 |7568 | 50 | 15 | 19 |1361k|5223 | 0.000000e+00 | -- | Inf
491.73/491.92 c 492s| 2450k|539044 | 5767k| 2.4 | 462M| 45 | 6 | 50 |7200 | 50 | 15 | 19 |1367k|5231 | 0.000000e+00 | -- | Inf
493.93/494.18 c 494s| 2460k|540722 | 5789k| 2.4 | 463M| 45 | - | 50 |6481 | 50 | 15 | 19 |1373k|5243 | 0.000000e+00 | -- | Inf
495.84/496.04 c 496s| 2470k|542510 | 5812k| 2.4 | 465M| 45 | 6 | 50 |7905 | 50 | 15 | 19 |1378k|5256 | 0.000000e+00 | -- | Inf
497.83/498.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
497.83/498.04 c 498s| 2480k|544462 | 5836k| 2.4 | 467M| 45 | - | 50 |9507 | 50 | 15 | 19 |1384k|5266 | 0.000000e+00 | -- | Inf
500.13/500.32 c 500s| 2490k|546096 | 5859k| 2.4 | 469M| 45 | - | 50 |9518 | 50 | 15 | 19 |1390k|5276 | 0.000000e+00 | -- | Inf
502.33/502.50 c 502s| 2500k|548056 | 5881k| 2.4 | 470M| 45 | - | 50 |8088 | 50 | 15 | 19 |1396k|5283 | 0.000000e+00 | -- | Inf
504.53/504.75 c 505s| 2510k|549683 | 5904k| 2.4 | 472M| 45 | 6 | 50 |7646 | 50 | 15 | 19 |1402k|5292 | 0.000000e+00 | -- | Inf
506.53/506.79 c 507s| 2520k|551336 | 5928k| 2.4 | 474M| 45 | - | 50 |8769 | 50 | 15 | 19 |1408k|5300 | 0.000000e+00 | -- | Inf
508.83/509.02 c 509s| 2530k|553016 | 5951k| 2.4 | 476M| 45 | - | 50 |8745 | 50 | 15 | 19 |1414k|5313 | 0.000000e+00 | -- | Inf
510.73/510.96 c 511s| 2540k|554943 | 5974k| 2.4 | 478M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |1419k|5319 | 0.000000e+00 | -- | Inf
513.03/513.28 c 513s| 2550k|556811 | 5997k| 2.4 | 479M| 45 | 6 | 50 |8592 | 50 | 15 | 19 |1425k|5330 | 0.000000e+00 | -- | Inf
515.33/515.52 c 516s| 2560k|558444 | 6020k| 2.4 | 481M| 45 | 6 | 50 |8129 | 50 | 15 | 19 |1431k|5342 | 0.000000e+00 | -- | Inf
517.43/517.60 c 518s| 2570k|560356 | 6044k| 2.4 | 483M| 45 | - | 50 | 10k| 50 | 15 | 19 |1437k|5350 | 0.000000e+00 | -- | Inf
519.53/519.74 c 520s| 2580k|562374 | 6067k| 2.4 | 485M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |1443k|5360 | 0.000000e+00 | -- | Inf
522.03/522.29 c 522s| 2590k|563988 | 6091k| 2.4 | 486M| 45 | 6 | 50 |8300 | 50 | 15 | 19 |1449k|5369 | 0.000000e+00 | -- | Inf
523.93/524.12 c 524s| 2600k|565887 | 6115k| 2.4 | 488M| 45 | - | 50 | 10k| 0 | 0 | 19 |1455k|5383 | 0.000000e+00 | -- | Inf
526.13/526.35 c 526s| 2610k|567688 | 6138k| 2.4 | 490M| 45 | - | 50 | 10k| 50 | 15 | 19 |1460k|5392 | 0.000000e+00 | -- | Inf
528.63/528.86 c 529s| 2620k|569274 | 6160k| 2.4 | 491M| 45 | - | 50 |8159 | 50 | 15 | 19 |1466k|5397 | 0.000000e+00 | -- | Inf
530.62/530.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
530.62/530.89 c 531s| 2630k|571501 | 6184k| 2.4 | 493M| 45 | - | 50 |9463 | 50 | 15 | 19 |1472k|5406 | 0.000000e+00 | -- | Inf
533.23/533.45 c 533s| 2640k|573258 | 6207k| 2.4 | 495M| 45 | 6 | 50 |8290 | 50 | 15 | 19 |1478k|5413 | 0.000000e+00 | -- | Inf
535.63/535.89 c 536s| 2650k|574826 | 6230k| 2.4 | 496M| 45 | - | 50 |7908 | 50 | 15 | 19 |1484k|5427 | 0.000000e+00 | -- | Inf
537.73/537.99 c 538s| 2660k|576823 | 6252k| 2.4 | 498M| 45 | 6 | 50 |8956 | 50 | 15 | 19 |1489k|5436 | 0.000000e+00 | -- | Inf
540.03/540.24 c 540s| 2670k|578670 | 6275k| 2.4 | 500M| 45 | - | 50 |9442 | 0 | 0 | 19 |1495k|5447 | 0.000000e+00 | -- | Inf
542.23/542.49 c 542s| 2680k|580451 | 6299k| 2.4 | 502M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |1501k|5453 | 0.000000e+00 | -- | Inf
544.83/545.09 c 545s| 2690k|582121 | 6321k| 2.4 | 503M| 45 | 6 | 50 |8012 | 50 | 15 | 19 |1507k|5461 | 0.000000e+00 | -- | Inf
546.83/547.07 c 547s| 2700k|584219 | 6345k| 2.3 | 505M| 45 | 6 | 50 |9375 | 50 | 15 | 19 |1513k|5468 | 0.000000e+00 | -- | Inf
549.32/549.51 c 550s| 2710k|585819 | 6368k| 2.3 | 507M| 45 | 6 | 50 |8774 | 50 | 15 | 19 |1519k|5478 | 0.000000e+00 | -- | Inf
551.52/551.75 c 552s| 2720k|587620 | 6391k| 2.3 | 509M| 45 | - | 50 |9077 | 50 | 15 | 19 |1525k|5490 | 0.000000e+00 | -- | Inf
553.63/553.82 c 554s| 2730k|589754 | 6415k| 2.3 | 511M| 45 | 6 | 50 |9856 | 50 | 15 | 19 |1531k|5497 | 0.000000e+00 | -- | Inf
556.12/556.33 c 556s| 2740k|591499 | 6437k| 2.3 | 512M| 45 | - | 50 |7991 | 50 | 15 | 19 |1536k|5507 | 0.000000e+00 | -- | Inf
558.23/558.50 c 558s| 2750k|593389 | 6461k| 2.3 | 514M| 45 | - | 50 |7868 | 50 | 15 | 19 |1542k|5519 | 0.000000e+00 | -- | Inf
560.53/560.76 c 561s| 2760k|595090 | 6483k| 2.3 | 515M| 45 | 6 | 50 |7603 | 50 | 15 | 19 |1548k|5532 | 0.000000e+00 | -- | Inf
562.73/562.90 c 563s| 2770k|596864 | 6506k| 2.3 | 517M| 45 | - | 50 |7750 | 0 | 0 | 19 |1554k|5541 | 0.000000e+00 | -- | Inf
565.02/565.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
565.02/565.29 c 565s| 2780k|598433 | 6529k| 2.3 | 519M| 45 | 6 | 50 |7567 | 50 | 15 | 19 |1560k|5550 | 0.000000e+00 | -- | Inf
566.82/567.08 c 567s| 2790k|601435 | 6553k| 2.3 | 521M| 45 | 6 | 50 |8483 | 50 | 15 | 19 |1565k|5557 | 0.000000e+00 | -- | Inf
568.83/569.03 c 569s| 2800k|603704 | 6576k| 2.3 | 523M| 45 | - | 50 |9193 | 0 | 0 | 19 |1570k|5563 | 0.000000e+00 | -- | Inf
570.73/570.97 c 571s| 2810k|606252 | 6598k| 2.3 | 525M| 45 | - | 50 | 10k| 50 | 15 | 19 |1576k|5569 | 0.000000e+00 | -- | Inf
572.83/573.05 c 573s| 2820k|608477 | 6622k| 2.3 | 527M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1581k|5577 | 0.000000e+00 | -- | Inf
575.03/575.26 c 575s| 2830k|610573 | 6644k| 2.3 | 529M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |1587k|5587 | 0.000000e+00 | -- | Inf
577.23/577.47 c 577s| 2840k|612753 | 6667k| 2.3 | 530M| 45 | - | 50 | 10k| 50 | 15 | 19 |1592k|5592 | 0.000000e+00 | -- | Inf
579.42/579.64 c 580s| 2850k|614646 | 6690k| 2.3 | 532M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1598k|5601 | 0.000000e+00 | -- | Inf
581.73/581.97 c 582s| 2860k|616577 | 6714k| 2.3 | 534M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1604k|5610 | 0.000000e+00 | -- | Inf
584.02/584.29 c 584s| 2870k|618444 | 6737k| 2.3 | 536M| 45 | - | 50 | 12k| 50 | 15 | 19 |1609k|5612 | 0.000000e+00 | -- | Inf
586.42/586.68 c 587s| 2880k|620353 | 6761k| 2.3 | 538M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1615k|5618 | 0.000000e+00 | -- | Inf
588.82/589.09 c 589s| 2890k|622228 | 6784k| 2.3 | 540M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |1621k|5620 | 0.000000e+00 | -- | Inf
591.53/591.73 c 592s| 2900k|623771 | 6807k| 2.3 | 541M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1627k|5629 | 0.000000e+00 | -- | Inf
593.72/593.96 c 594s| 2910k|625778 | 6830k| 2.3 | 543M| 45 | - | 50 | 12k| 50 | 15 | 19 |1633k|5641 | 0.000000e+00 | -- | Inf
596.52/596.72 c 597s| 2920k|627367 | 6852k| 2.3 | 544M| 45 | - | 50 | 11k| 50 | 15 | 19 |1638k|5646 | 0.000000e+00 | -- | Inf
599.02/599.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
599.02/599.22 c 599s| 2930k|629005 | 6875k| 2.3 | 546M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |1644k|5654 | 0.000000e+00 | -- | Inf
601.72/601.98 c 602s| 2940k|630665 | 6898k| 2.3 | 547M| 45 | - | 50 |8734 | 50 | 15 | 19 |1650k|5664 | 0.000000e+00 | -- | Inf
604.12/604.35 c 604s| 2950k|632361 | 6921k| 2.3 | 549M| 45 | 6 | 50 |8422 | 50 | 15 | 19 |1656k|5670 | 0.000000e+00 | -- | Inf
606.12/606.31 c 606s| 2960k|634667 | 6943k| 2.3 | 551M| 45 | 6 | 50 |9781 | 50 | 15 | 19 |1662k|5678 | 0.000000e+00 | -- | Inf
608.62/608.85 c 609s| 2970k|636380 | 6966k| 2.3 | 552M| 45 | - | 50 |8275 | 50 | 15 | 19 |1667k|5683 | 0.000000e+00 | -- | Inf
611.02/611.26 c 611s| 2980k|637988 | 6989k| 2.3 | 554M| 45 | - | 50 |7538 | 50 | 15 | 19 |1673k|5688 | 0.000000e+00 | -- | Inf
613.31/613.58 c 614s| 2990k|639663 | 7011k| 2.3 | 555M| 45 | 6 | 50 |7673 | 50 | 15 | 19 |1679k|5694 | 0.000000e+00 | -- | Inf
615.52/615.74 c 616s| 3000k|641496 | 7033k| 2.3 | 557M| 45 | 6 | 50 |8617 | 50 | 15 | 19 |1685k|5703 | 0.000000e+00 | -- | Inf
617.92/618.15 c 618s| 3010k|643137 | 7056k| 2.3 | 559M| 45 | 6 | 50 |8103 | 50 | 15 | 19 |1691k|5712 | 0.000000e+00 | -- | Inf
619.92/620.18 c 620s| 3020k|645319 | 7079k| 2.3 | 561M| 45 | 6 | 50 |8987 | 50 | 15 | 19 |1696k|5718 | 0.000000e+00 | -- | Inf
622.42/622.62 c 623s| 3030k|647032 | 7101k| 2.3 | 562M| 45 | 6 | 50 |8013 | 50 | 15 | 19 |1702k|5726 | 0.000000e+00 | -- | Inf
624.71/624.90 c 625s| 3040k|648803 | 7123k| 2.3 | 564M| 45 | - | 50 |7483 | 50 | 15 | 19 |1708k|5737 | 0.000000e+00 | -- | Inf
627.02/627.22 c 627s| 3050k|650307 | 7147k| 2.3 | 566M| 45 | - | 50 |8703 | 50 | 15 | 19 |1714k|5746 | 0.000000e+00 | -- | Inf
629.41/629.68 c 630s| 3060k|651862 | 7170k| 2.3 | 568M| 45 | 6 | 50 |8694 | 50 | 15 | 19 |1720k|5760 | 0.000000e+00 | -- | Inf
631.61/631.80 c 632s| 3070k|653957 | 7193k| 2.3 | 569M| 45 | 6 | 50 |9204 | 50 | 15 | 19 |1726k|5774 | 0.000000e+00 | -- | Inf
633.51/633.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
633.51/633.75 c 634s| 3080k|656151 | 7216k| 2.3 | 572M| 45 | - | 50 | 10k| 50 | 15 | 19 |1731k|5781 | 0.000000e+00 | -- | Inf
635.72/635.94 c 636s| 3090k|658170 | 7240k| 2.3 | 574M| 45 | - | 50 | 11k| 50 | 15 | 19 |1737k|5788 | 0.000000e+00 | -- | Inf
638.41/638.61 c 639s| 3100k|659919 | 7262k| 2.3 | 575M| 45 | - | 50 |9159 | 0 | 0 | 19 |1743k|5794 | 0.000000e+00 | -- | Inf
640.71/640.98 c 641s| 3110k|661679 | 7286k| 2.3 | 577M| 45 | - | 50 |8982 | 50 | 15 | 19 |1749k|5804 | 0.000000e+00 | -- | Inf
643.21/643.45 c 643s| 3120k|663240 | 7308k| 2.3 | 578M| 45 | 6 | 50 |8685 | 50 | 15 | 19 |1755k|5809 | 0.000000e+00 | -- | Inf
645.42/645.62 c 646s| 3130k|664940 | 7331k| 2.3 | 580M| 45 | 6 | 50 |9810 | 50 | 15 | 19 |1761k|5813 | 0.000000e+00 | -- | Inf
647.91/648.17 c 648s| 3140k|666596 | 7354k| 2.3 | 582M| 45 | - | 50 |9209 | 50 | 15 | 19 |1767k|5826 | 0.000000e+00 | -- | Inf
650.21/650.48 c 650s| 3150k|668339 | 7377k| 2.3 | 583M| 45 | 6 | 50 |9033 | 50 | 15 | 19 |1773k|5830 | 0.000000e+00 | -- | Inf
652.81/653.03 c 653s| 3160k|670022 | 7400k| 2.3 | 585M| 45 | - | 50 |7991 | 50 | 15 | 19 |1779k|5840 | 0.000000e+00 | -- | Inf
655.01/655.21 c 655s| 3170k|671556 | 7423k| 2.3 | 587M| 45 | 6 | 50 |9215 | 50 | 15 | 19 |1785k|5845 | 0.000000e+00 | -- | Inf
657.41/657.63 c 658s| 3180k|673368 | 7446k| 2.3 | 588M| 45 | 6 | 50 |9419 | 50 | 15 | 19 |1791k|5857 | 0.000000e+00 | -- | Inf
659.41/659.65 c 660s| 3190k|675028 | 7469k| 2.3 | 590M| 45 | - | 50 | 10k| 50 | 15 | 19 |1797k|5870 | 0.000000e+00 | -- | Inf
661.91/662.12 c 662s| 3200k|676474 | 7492k| 2.3 | 592M| 45 | - | 50 | 10k| 50 | 15 | 19 |1803k|5877 | 0.000000e+00 | -- | Inf
664.00/664.24 c 664s| 3210k|678658 | 7515k| 2.3 | 594M| 45 | - | 50 | 12k| 50 | 15 | 19 |1808k|5884 | 0.000000e+00 | -- | Inf
666.32/666.53 c 667s| 3220k|680840 | 7538k| 2.3 | 596M| 45 | - | 50 | 13k| 50 | 15 | 19 |1814k|5892 | 0.000000e+00 | -- | Inf
669.11/669.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
669.11/669.34 c 669s| 3230k|682761 | 7561k| 2.3 | 597M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1820k|5896 | 0.000000e+00 | -- | Inf
671.41/671.64 c 672s| 3240k|685037 | 7584k| 2.3 | 599M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1825k|5902 | 0.000000e+00 | -- | Inf
673.70/673.92 c 674s| 3250k|686918 | 7607k| 2.3 | 601M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |1831k|5908 | 0.000000e+00 | -- | Inf
676.61/676.86 c 677s| 3260k|688572 | 7629k| 2.3 | 602M| 45 | 6 | 50 |8799 | 50 | 15 | 19 |1837k|5920 | 0.000000e+00 | -- | Inf
679.01/679.21 c 679s| 3270k|690176 | 7652k| 2.3 | 604M| 45 | 6 | 50 |9602 | 50 | 15 | 19 |1843k|5926 | 0.000000e+00 | -- | Inf
681.31/681.52 c 682s| 3280k|691980 | 7676k| 2.3 | 606M| 45 | 6 | 50 |9770 | 50 | 15 | 19 |1849k|5935 | 0.000000e+00 | -- | Inf
683.41/683.63 c 684s| 3290k|693546 | 7700k| 2.3 | 608M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1855k|5944 | 0.000000e+00 | -- | Inf
686.00/686.27 c 686s| 3300k|695034 | 7722k| 2.3 | 609M| 45 | 6 | 50 |9274 | 50 | 15 | 19 |1861k|5949 | 0.000000e+00 | -- | Inf
688.60/688.87 c 689s| 3310k|696620 | 7745k| 2.3 | 610M| 45 | - | 50 |8502 | 50 | 15 | 19 |1867k|5962 | 0.000000e+00 | -- | Inf
690.80/691.07 c 691s| 3320k|698502 | 7768k| 2.3 | 612M| 45 | 6 | 50 |9392 | 50 | 15 | 19 |1873k|5969 | 0.000000e+00 | -- | Inf
693.20/693.42 c 693s| 3330k|700321 | 7791k| 2.3 | 614M| 45 | 6 | 50 |9434 | 50 | 15 | 19 |1879k|5976 | 0.000000e+00 | -- | Inf
695.60/695.88 c 696s| 3340k|702052 | 7813k| 2.3 | 615M| 45 | 6 | 50 |8882 | 50 | 15 | 19 |1885k|5985 | 0.000000e+00 | -- | Inf
698.00/698.20 c 698s| 3350k|703769 | 7836k| 2.3 | 617M| 45 | 6 | 50 |9864 | 50 | 15 | 19 |1891k|5995 | 0.000000e+00 | -- | Inf
700.51/700.77 c 701s| 3360k|705523 | 7858k| 2.3 | 619M| 45 | 6 | 50 |9004 | 50 | 15 | 19 |1896k|6001 | 0.000000e+00 | -- | Inf
702.61/702.83 c 703s| 3370k|707620 | 7882k| 2.3 | 621M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |1902k|6003 | 0.000000e+00 | -- | Inf
704.81/705.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
704.81/705.06 c 705s| 3380k|709552 | 7906k| 2.3 | 623M| 45 | - | 50 | 11k| 50 | 15 | 19 |1908k|6005 | 0.000000e+00 | -- | Inf
707.20/707.41 c 707s| 3390k|711444 | 7930k| 2.3 | 625M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1914k|6011 | 0.000000e+00 | -- | Inf
709.70/709.90 c 710s| 3400k|713121 | 7953k| 2.3 | 626M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1919k|6021 | 0.000000e+00 | -- | Inf
712.70/712.90 c 713s| 3410k|714629 | 7976k| 2.3 | 627M| 45 | - | 50 |8668 | 0 | 0 | 19 |1926k|6029 | 0.000000e+00 | -- | Inf
714.71/714.99 c 715s| 3420k|716400 | 8000k| 2.3 | 629M| 45 | - | 50 | 10k| 50 | 15 | 19 |1932k|6036 | 0.000000e+00 | -- | Inf
717.30/717.50 c 717s| 3430k|718145 | 8023k| 2.3 | 631M| 45 | - | 50 |9237 | 50 | 15 | 19 |1938k|6042 | 0.000000e+00 | -- | Inf
719.90/720.17 c 720s| 3440k|719703 | 8045k| 2.3 | 632M| 45 | 6 | 50 |7743 | 50 | 15 | 19 |1944k|6045 | 0.000000e+00 | -- | Inf
722.00/722.28 c 722s| 3450k|721449 | 8069k| 2.3 | 634M| 45 | 6 | 50 |8688 | 50 | 15 | 19 |1950k|6051 | 0.000000e+00 | -- | Inf
724.10/724.35 c 724s| 3460k|723377 | 8090k| 2.3 | 636M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |1955k|6053 | 0.000000e+00 | -- | Inf
726.30/726.58 c 727s| 3470k|725702 | 8113k| 2.3 | 638M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |1960k|6054 | 0.000000e+00 | -- | Inf
728.50/728.79 c 729s| 3480k|728220 | 8136k| 2.3 | 640M| 45 | - | 50 | 13k| 0 | 0 | 19 |1965k|6062 | 0.000000e+00 | -- | Inf
730.99/731.22 c 731s| 3490k|730410 | 8160k| 2.3 | 642M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |1971k|6068 | 0.000000e+00 | -- | Inf
733.70/733.92 c 734s| 3500k|732403 | 8182k| 2.3 | 644M| 45 | 6 | 50 | 15k| 50 | 15 | 19 |1976k|6072 | 0.000000e+00 | -- | Inf
736.60/736.84 c 737s| 3510k|734163 | 8205k| 2.3 | 646M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |1982k|6082 | 0.000000e+00 | -- | Inf
739.59/739.87 c 740s| 3520k|735869 | 8228k| 2.3 | 648M| 45 | - | 50 | 15k| 0 | 0 | 19 |1987k|6088 | 0.000000e+00 | -- | Inf
742.30/742.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
742.30/742.56 c 743s| 3530k|737666 | 8250k| 2.3 | 650M| 45 | 6 | 50 | 16k| 50 | 15 | 19 |1993k|6094 | 0.000000e+00 | -- | Inf
745.19/745.40 c 745s| 3540k|739548 | 8273k| 2.3 | 651M| 45 | - | 50 | 17k| 50 | 15 | 19 |1998k|6105 | 0.000000e+00 | -- | Inf
748.30/748.55 c 749s| 3550k|741294 | 8296k| 2.3 | 653M| 45 | - | 50 | 17k| 50 | 15 | 19 |2004k|6114 | 0.000000e+00 | -- | Inf
751.49/751.74 c 752s| 3560k|742882 | 8319k| 2.3 | 654M| 45 | - | 50 | 16k| 50 | 15 | 19 |2010k|6117 | 0.000000e+00 | -- | Inf
754.30/754.60 c 755s| 3570k|744740 | 8340k| 2.3 | 656M| 45 | - | 50 | 16k| 50 | 15 | 19 |2015k|6121 | 0.000000e+00 | -- | Inf
757.79/758.09 c 758s| 3580k|746118 | 8363k| 2.3 | 657M| 45 | 6 | 50 | 15k| 50 | 15 | 19 |2021k|6127 | 0.000000e+00 | -- | Inf
760.79/761.05 c 761s| 3590k|747814 | 8384k| 2.3 | 659M| 45 | 6 | 50 | 16k| 50 | 15 | 19 |2026k|6127 | 0.000000e+00 | -- | Inf
764.20/764.41 c 764s| 3600k|749290 | 8407k| 2.3 | 660M| 45 | 6 | 50 | 15k| 50 | 15 | 19 |2032k|6129 | 0.000000e+00 | -- | Inf
766.99/767.25 c 767s| 3610k|751153 | 8430k| 2.3 | 662M| 45 | - | 50 | 16k| 50 | 15 | 19 |2037k|6134 | 0.000000e+00 | -- | Inf
770.59/770.89 c 771s| 3620k|752744 | 8453k| 2.3 | 663M| 45 | - | 50 | 12k| 50 | 15 | 19 |2043k|6140 | 0.000000e+00 | -- | Inf
772.79/773.08 c 773s| 3630k|754816 | 8476k| 2.3 | 665M| 45 | - | 50 | 14k| 50 | 15 | 19 |2049k|6150 | 0.000000e+00 | -- | Inf
775.89/776.10 c 776s| 3640k|756447 | 8499k| 2.3 | 666M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2055k|6153 | 0.000000e+00 | -- | Inf
778.49/778.78 c 779s| 3650k|758273 | 8522k| 2.3 | 668M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |2061k|6162 | 0.000000e+00 | -- | Inf
781.19/781.43 c 781s| 3660k|759985 | 8545k| 2.3 | 669M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |2067k|6170 | 0.000000e+00 | -- | Inf
783.69/783.99 c 784s| 3670k|761624 | 8567k| 2.3 | 671M| 45 | - | 50 |9993 | 50 | 15 | 19 |2073k|6175 | 0.000000e+00 | -- | Inf
786.58/786.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
786.58/786.82 c 787s| 3680k|763152 | 8590k| 2.3 | 672M| 45 | - | 50 |8578 | 50 | 15 | 19 |2079k|6185 | 0.000000e+00 | -- | Inf
789.28/789.56 c 790s| 3690k|764756 | 8612k| 2.3 | 674M| 45 | 6 | 50 |7290 | 50 | 15 | 19 |2085k|6193 | 0.000000e+00 | -- | Inf
791.70/791.97 c 792s| 3700k|766319 | 8635k| 2.3 | 675M| 45 | 6 | 50 |7518 | 50 | 15 | 19 |2091k|6204 | 0.000000e+00 | -- | Inf
794.09/794.30 c 794s| 3710k|767953 | 8657k| 2.3 | 677M| 45 | - | 50 |7704 | 50 | 15 | 19 |2097k|6210 | 0.000000e+00 | -- | Inf
796.48/796.77 c 797s| 3720k|769460 | 8680k| 2.3 | 679M| 45 | 6 | 50 |8037 | 50 | 15 | 19 |2103k|6219 | 0.000000e+00 | -- | Inf
798.99/799.24 c 799s| 3730k|771096 | 8702k| 2.3 | 680M| 45 | - | 50 |8335 | 50 | 15 | 19 |2109k|6226 | 0.000000e+00 | -- | Inf
801.49/801.76 c 802s| 3740k|772659 | 8725k| 2.3 | 682M| 45 | - | 50 |8448 | 50 | 15 | 19 |2115k|6232 | 0.000000e+00 | -- | Inf
803.98/804.22 c 804s| 3750k|774201 | 8748k| 2.3 | 684M| 45 | 6 | 50 |8241 | 50 | 15 | 19 |2121k|6237 | 0.000000e+00 | -- | Inf
806.48/806.76 c 807s| 3760k|775712 | 8771k| 2.3 | 685M| 45 | 6 | 50 |8043 | 50 | 15 | 19 |2127k|6249 | 0.000000e+00 | -- | Inf
808.89/809.19 c 809s| 3770k|777293 | 8794k| 2.3 | 687M| 45 | - | 50 |7837 | 50 | 15 | 19 |2133k|6253 | 0.000000e+00 | -- | Inf
811.09/811.38 c 811s| 3780k|779233 | 8817k| 2.3 | 689M| 45 | 6 | 50 |8626 | 50 | 15 | 19 |2138k|6263 | 0.000000e+00 | -- | Inf
813.18/813.42 c 813s| 3790k|781630 | 8842k| 2.3 | 691M| 45 | - | 50 | 10k| 50 | 15 | 19 |2144k|6270 | 0.000000e+00 | -- | Inf
815.49/815.73 c 816s| 3800k|783595 | 8865k| 2.3 | 693M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2150k|6279 | 0.000000e+00 | -- | Inf
817.78/818.04 c 818s| 3810k|785405 | 8889k| 2.3 | 695M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2156k|6287 | 0.000000e+00 | -- | Inf
820.18/820.49 c 820s| 3820k|787150 | 8913k| 2.3 | 697M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2162k|6295 | 0.000000e+00 | -- | Inf
822.89/823.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
822.89/823.19 c 823s| 3830k|788697 | 8936k| 2.3 | 698M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2168k|6304 | 0.000000e+00 | -- | Inf
825.79/826.06 c 826s| 3840k|790404 | 8960k| 2.3 | 699M| 45 | - | 50 | 10k| 50 | 15 | 19 |2174k|6310 | 0.000000e+00 | -- | Inf
828.38/828.66 c 829s| 3850k|792195 | 8982k| 2.3 | 701M| 45 | 6 | 50 |9293 | 50 | 15 | 19 |2180k|6313 | 0.000000e+00 | -- | Inf
830.38/830.69 c 831s| 3860k|794497 | 9005k| 2.3 | 703M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |2185k|6322 | 0.000000e+00 | -- | Inf
832.78/833.08 c 833s| 3870k|796216 | 9027k| 2.3 | 705M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2191k|6330 | 0.000000e+00 | -- | Inf
835.69/836.00 c 836s| 3880k|797580 | 9050k| 2.3 | 706M| 45 | - | 50 |9381 | 50 | 15 | 19 |2197k|6337 | 0.000000e+00 | -- | Inf
838.29/838.53 c 839s| 3890k|799178 | 9073k| 2.3 | 707M| 45 | - | 50 |8798 | 50 | 15 | 19 |2203k|6341 | 0.000000e+00 | -- | Inf
840.38/840.66 c 841s| 3900k|801285 | 9096k| 2.3 | 709M| 45 | - | 50 |9752 | 50 | 15 | 19 |2209k|6347 | 0.000000e+00 | -- | Inf
842.39/842.63 c 843s| 3910k|803611 | 9120k| 2.3 | 712M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2215k|6353 | 0.000000e+00 | -- | Inf
844.68/844.91 c 845s| 3920k|805779 | 9144k| 2.3 | 714M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2220k|6357 | 0.000000e+00 | -- | Inf
847.08/847.33 c 847s| 3930k|807559 | 9168k| 2.3 | 715M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2226k|6364 | 0.000000e+00 | -- | Inf
849.58/849.87 c 850s| 3940k|809346 | 9192k| 2.3 | 717M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2232k|6368 | 0.000000e+00 | -- | Inf
852.18/852.42 c 852s| 3950k|811399 | 9216k| 2.3 | 719M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2238k|6374 | 0.000000e+00 | -- | Inf
854.88/855.16 c 855s| 3960k|813052 | 9240k| 2.3 | 721M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |2244k|6377 | 0.000000e+00 | -- | Inf
857.38/857.68 c 858s| 3970k|815204 | 9264k| 2.3 | 723M| 45 | - | 50 | 14k| 50 | 15 | 19 |2250k|6382 | 0.000000e+00 | -- | Inf
860.37/860.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
860.37/860.68 c 861s| 3980k|816855 | 9287k| 2.3 | 724M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |2255k|6387 | 0.000000e+00 | -- | Inf
863.38/863.63 c 864s| 3990k|818342 | 9310k| 2.3 | 726M| 45 | - | 50 | 13k| 50 | 15 | 19 |2262k|6393 | 0.000000e+00 | -- | Inf
866.38/866.67 c 867s| 4000k|820000 | 9333k| 2.3 | 726M| 45 | - | 50 |9749 | 50 | 15 | 19 |2267k|6407 | 0.000000e+00 | -- | Inf
869.18/869.46 c 869s| 4010k|821589 | 9355k| 2.3 | 728M| 45 | 6 | 50 |8735 | 50 | 15 | 19 |2274k|6413 | 0.000000e+00 | -- | Inf
871.67/872.00 c 872s| 4020k|823197 | 9378k| 2.3 | 729M| 45 | 6 | 50 |8588 | 50 | 15 | 19 |2279k|6417 | 0.000000e+00 | -- | Inf
873.77/874.05 c 874s| 4030k|825472 | 9402k| 2.3 | 732M| 45 | - | 50 | 10k| 50 | 15 | 19 |2285k|6421 | 0.000000e+00 | -- | Inf
876.18/876.43 c 876s| 4040k|827229 | 9426k| 2.3 | 734M| 45 | - | 50 | 11k| 50 | 15 | 19 |2291k|6428 | 0.000000e+00 | -- | Inf
878.87/879.10 c 879s| 4050k|828881 | 9448k| 2.3 | 735M| 45 | 6 | 50 |9236 | 50 | 15 | 19 |2297k|6432 | 0.000000e+00 | -- | Inf
881.47/881.78 c 882s| 4060k|830496 | 9470k| 2.3 | 736M| 45 | 6 | 50 |7993 | 50 | 15 | 19 |2303k|6437 | 0.000000e+00 | -- | Inf
883.48/883.73 c 884s| 4070k|833071 | 9493k| 2.3 | 739M| 45 | 6 | 50 |9790 | 50 | 15 | 19 |2308k|6444 | 0.000000e+00 | -- | Inf
885.67/885.97 c 886s| 4080k|834981 | 9514k| 2.3 | 740M| 45 | - | 50 | 10k| 50 | 15 | 19 |2314k|6458 | 0.000000e+00 | -- | Inf
888.37/888.63 c 889s| 4090k|836607 | 9537k| 2.3 | 742M| 45 | 6 | 50 |8927 | 50 | 15 | 19 |2320k|6468 | 0.000000e+00 | -- | Inf
890.97/891.22 c 891s| 4100k|838133 | 9559k| 2.3 | 743M| 45 | - | 50 |8070 | 50 | 15 | 19 |2326k|6474 | 0.000000e+00 | -- | Inf
893.18/893.42 c 893s| 4110k|839971 | 9582k| 2.3 | 745M| 45 | 6 | 50 |8660 | 50 | 15 | 19 |2332k|6479 | 0.000000e+00 | -- | Inf
895.57/895.85 c 896s| 4120k|841650 | 9605k| 2.3 | 747M| 45 | 6 | 50 |8064 | 50 | 15 | 19 |2337k|6484 | 0.000000e+00 | -- | Inf
897.47/897.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
897.47/897.80 c 898s| 4130k|844020 | 9628k| 2.3 | 749M| 45 | 6 | 50 |9635 | 50 | 15 | 19 |2343k|6496 | 0.000000e+00 | -- | Inf
899.67/899.96 c 900s| 4140k|845787 | 9651k| 2.3 | 751M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2348k|6501 | 0.000000e+00 | -- | Inf
901.97/902.23 c 902s| 4150k|847765 | 9675k| 2.3 | 753M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2354k|6505 | 0.000000e+00 | -- | Inf
904.77/905.07 c 905s| 4160k|849339 | 9697k| 2.3 | 754M| 45 | - | 50 | 11k| 50 | 15 | 19 |2360k|6516 | 0.000000e+00 | -- | Inf
907.37/907.68 c 908s| 4170k|851515 | 9720k| 2.3 | 756M| 45 | 6 | 50 |9885 | 50 | 15 | 19 |2366k|6519 | 0.000000e+00 | -- | Inf
909.57/909.80 c 910s| 4180k|853785 | 9743k| 2.3 | 758M| 45 | - | 50 | 11k| 50 | 15 | 19 |2371k|6523 | 0.000000e+00 | -- | Inf
911.87/912.13 c 912s| 4190k|855730 | 9766k| 2.3 | 760M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2377k|6525 | 0.000000e+00 | -- | Inf
914.36/914.60 c 915s| 4200k|857648 | 9788k| 2.3 | 762M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2382k|6529 | 0.000000e+00 | -- | Inf
916.87/917.10 c 917s| 4210k|859503 | 9812k| 2.3 | 764M| 45 | - | 50 | 12k| 50 | 15 | 19 |2388k|6533 | 0.000000e+00 | -- | Inf
919.38/919.69 c 920s| 4220k|861172 | 9835k| 2.3 | 765M| 45 | - | 50 | 13k| 50 | 15 | 19 |2394k|6538 | 0.000000e+00 | -- | Inf
922.27/922.59 c 923s| 4230k|862656 | 9857k| 2.3 | 767M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2400k|6540 | 0.000000e+00 | -- | Inf
925.17/925.43 c 925s| 4240k|864221 | 9880k| 2.3 | 768M| 45 | 6 | 50 |9606 | 50 | 15 | 19 |2406k|6544 | 0.000000e+00 | -- | Inf
927.47/927.78 c 928s| 4250k|866202 | 9903k| 2.3 | 770M| 45 | 6 | 50 |9706 | 50 | 15 | 19 |2411k|6548 | 0.000000e+00 | -- | Inf
930.27/930.51 c 931s| 4260k|867748 | 9925k| 2.3 | 771M| 45 | 6 | 50 |8458 | 50 | 15 | 19 |2417k|6560 | 0.000000e+00 | -- | Inf
932.76/933.09 c 933s| 4270k|869390 | 9947k| 2.3 | 773M| 45 | 6 | 50 |8182 | 50 | 15 | 19 |2423k|6564 | 0.000000e+00 | -- | Inf
935.06/935.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
935.06/935.33 c 935s| 4280k|871594 | 9970k| 2.3 | 774M| 45 | 6 | 50 |8613 | 50 | 15 | 19 |2429k|6569 | 0.000000e+00 | -- | Inf
937.07/937.32 c 937s| 4290k|874062 | 9991k| 2.3 | 777M| 45 | 6 | 50 |9942 | 50 | 15 | 19 |2434k|6572 | 0.000000e+00 | -- | Inf
939.47/939.73 c 940s| 4300k|876015 | 10014k| 2.3 | 778M| 45 | 6 | 50 |9873 | 50 | 15 | 19 |2439k|6578 | 0.000000e+00 | -- | Inf
941.96/942.24 c 942s| 4310k|877606 | 10037k| 2.3 | 780M| 45 | - | 50 | 10k| 50 | 15 | 19 |2445k|6583 | 0.000000e+00 | -- | Inf
944.86/945.14 c 945s| 4320k|879164 | 10059k| 2.3 | 781M| 45 | 6 | 50 |8196 | 50 | 15 | 19 |2451k|6588 | 0.000000e+00 | -- | Inf
947.36/947.64 c 948s| 4330k|880685 | 10082k| 2.3 | 783M| 45 | 6 | 50 |8719 | 50 | 15 | 19 |2457k|6589 | 0.000000e+00 | -- | Inf
950.07/950.32 c 950s| 4340k|882279 | 10104k| 2.3 | 784M| 45 | 6 | 50 |7698 | 50 | 15 | 19 |2463k|6592 | 0.000000e+00 | -- | Inf
952.16/952.50 c 952s| 4350k|883975 | 10127k| 2.3 | 786M| 45 | 6 | 50 |9367 | 50 | 15 | 19 |2469k|6599 | 0.000000e+00 | -- | Inf
954.97/955.26 c 955s| 4360k|885319 | 10150k| 2.3 | 787M| 45 | 6 | 50 |7707 | 50 | 15 | 19 |2475k|6605 | 0.000000e+00 | -- | Inf
956.97/957.25 c 957s| 4370k|887286 | 10173k| 2.3 | 790M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |2481k|6607 | 0.000000e+00 | -- | Inf
959.46/959.79 c 960s| 4380k|888874 | 10195k| 2.3 | 791M| 45 | 6 | 50 |9470 | 50 | 15 | 19 |2487k|6614 | 0.000000e+00 | -- | Inf
961.86/962.17 c 962s| 4390k|890702 | 10217k| 2.3 | 793M| 45 | - | 50 |9975 | 50 | 15 | 19 |2492k|6615 | 0.000000e+00 | -- | Inf
964.56/964.90 c 965s| 4400k|892240 | 10240k| 2.3 | 794M| 45 | 6 | 50 |8867 | 50 | 15 | 19 |2498k|6624 | 0.000000e+00 | -- | Inf
966.76/967.04 c 967s| 4410k|894270 | 10263k| 2.3 | 797M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2504k|6628 | 0.000000e+00 | -- | Inf
969.56/969.85 c 970s| 4420k|895915 | 10286k| 2.3 | 798M| 45 | - | 50 |9513 | 50 | 15 | 19 |2510k|6633 | 0.000000e+00 | -- | Inf
971.86/972.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
971.86/972.17 c 972s| 4430k|897837 | 10308k| 2.3 | 800M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |2515k|6635 | 0.000000e+00 | -- | Inf
974.56/974.87 c 975s| 4440k|899653 | 10330k| 2.3 | 801M| 45 | 6 | 50 |8539 | 50 | 15 | 19 |2521k|6640 | 0.000000e+00 | -- | Inf
976.66/976.99 c 977s| 4450k|901754 | 10353k| 2.3 | 803M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |2526k|6644 | 0.000000e+00 | -- | Inf
978.96/979.27 c 979s| 4460k|903738 | 10376k| 2.3 | 805M| 45 | - | 50 | 11k| 0 | 0 | 19 |2532k|6647 | 0.000000e+00 | -- | Inf
981.86/982.15 c 982s| 4470k|905369 | 10398k| 2.3 | 806M| 45 | 6 | 50 |8912 | 50 | 15 | 19 |2538k|6656 | 0.000000e+00 | -- | Inf
984.66/984.94 c 985s| 4480k|906979 | 10421k| 2.3 | 808M| 45 | 6 | 50 |8383 | 50 | 15 | 19 |2544k|6662 | 0.000000e+00 | -- | Inf
987.06/987.34 c 987s| 4490k|908805 | 10444k| 2.3 | 810M| 45 | - | 50 |8737 | 50 | 15 | 19 |2549k|6670 | 0.000000e+00 | -- | Inf
988.96/989.26 c 989s| 4500k|910863 | 10466k| 2.3 | 812M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |2554k|6672 | 0.000000e+00 | -- | Inf
991.05/991.39 c 991s| 4510k|912626 | 10488k| 2.3 | 814M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2560k|6678 | 0.000000e+00 | -- | Inf
993.66/993.94 c 994s| 4520k|914594 | 10511k| 2.3 | 815M| 45 | 6 | 50 |9807 | 50 | 15 | 19 |2565k|6683 | 0.000000e+00 | -- | Inf
995.86/996.18 c 996s| 4530k|916443 | 10533k| 2.3 | 817M| 45 | - | 50 | 11k| 50 | 15 | 19 |2571k|6687 | 0.000000e+00 | -- | Inf
998.95/999.21 c 999s| 4540k|917797 | 10556k| 2.3 | 818M| 45 | - | 50 |9437 | 50 | 15 | 19 |2577k|6693 | 0.000000e+00 | -- | Inf
1001.15/1001.40 c 1001s| 4550k|919977 | 10580k| 2.3 | 820M| 45 | - | 50 | 10k| 50 | 15 | 19 |2583k|6703 | 0.000000e+00 | -- | Inf
1003.56/1003.82 c 1004s| 4560k|922032 | 10602k| 2.3 | 822M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2588k|6710 | 0.000000e+00 | -- | Inf
1005.96/1006.28 c 1006s| 4570k|923759 | 10625k| 2.3 | 824M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2594k|6716 | 0.000000e+00 | -- | Inf
1009.15/1009.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1009.15/1009.43 c 1009s| 4580k|925284 | 10648k| 2.3 | 825M| 45 | 6 | 50 |9042 | 50 | 15 | 19 |2600k|6719 | 0.000000e+00 | -- | Inf
1011.15/1011.48 c 1011s| 4590k|927926 | 10671k| 2.3 | 827M| 45 | - | 50 | 10k| 50 | 15 | 19 |2605k|6730 | 0.000000e+00 | -- | Inf
1013.46/1013.78 c 1014s| 4600k|930051 | 10693k| 2.3 | 830M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2611k|6737 | 0.000000e+00 | -- | Inf
1015.86/1016.13 c 1016s| 4610k|931887 | 10715k| 2.3 | 832M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2617k|6745 | 0.000000e+00 | -- | Inf
1018.65/1019.00 c 1019s| 4620k|933672 | 10737k| 2.3 | 833M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2622k|6752 | 0.000000e+00 | -- | Inf
1021.56/1021.82 c 1022s| 4630k|935663 | 10759k| 2.3 | 834M| 45 | 6 | 50 |8544 | 50 | 15 | 19 |2628k|6759 | 0.000000e+00 | -- | Inf
1023.65/1023.96 c 1024s| 4640k|937615 | 10781k| 2.3 | 836M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |2633k|6767 | 0.000000e+00 | -- | Inf
1026.65/1026.90 c 1027s| 4650k|939017 | 10803k| 2.3 | 837M| 45 | 6 | 50 |8043 | 50 | 15 | 19 |2639k|6774 | 0.000000e+00 | -- | Inf
1028.95/1029.28 c 1029s| 4660k|940566 | 10825k| 2.3 | 839M| 45 | - | 50 |8757 | 50 | 15 | 19 |2645k|6785 | 0.000000e+00 | -- | Inf
1031.85/1032.11 c 1032s| 4670k|941964 | 10848k| 2.3 | 840M| 45 | - | 50 |8114 | 50 | 15 | 19 |2651k|6796 | 0.000000e+00 | -- | Inf
1034.35/1034.68 c 1035s| 4680k|943451 | 10870k| 2.3 | 842M| 45 | 6 | 50 |8490 | 50 | 15 | 19 |2658k|6807 | 0.000000e+00 | -- | Inf
1037.05/1037.36 c 1037s| 4690k|944909 | 10892k| 2.3 | 843M| 45 | 6 | 50 |7282 | 50 | 15 | 19 |2664k|6810 | 0.000000e+00 | -- | Inf
1039.35/1039.64 c 1040s| 4700k|946700 | 10915k| 2.3 | 845M| 45 | - | 50 |8495 | 50 | 15 | 19 |2669k|6814 | 0.000000e+00 | -- | Inf
1042.15/1042.41 c 1042s| 4710k|948002 | 10938k| 2.3 | 847M| 45 | - | 50 |7637 | 50 | 15 | 19 |2675k|6821 | 0.000000e+00 | -- | Inf
1044.14/1044.42 c 1044s| 4720k|950132 | 10961k| 2.3 | 849M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |2681k|6826 | 0.000000e+00 | -- | Inf
1046.25/1046.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1046.25/1046.50 c 1047s| 4730k|952160 | 10985k| 2.3 | 851M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2687k|6832 | 0.000000e+00 | -- | Inf
1048.34/1048.67 c 1049s| 4740k|954166 | 11008k| 2.3 | 853M| 45 | - | 50 | 13k| 50 | 15 | 19 |2693k|6840 | 0.000000e+00 | -- | Inf
1050.84/1051.10 c 1051s| 4750k|956297 | 11031k| 2.3 | 855M| 45 | - | 50 | 14k| 50 | 15 | 19 |2699k|6844 | 0.000000e+00 | -- | Inf
1053.45/1053.79 c 1054s| 4760k|958269 | 11055k| 2.3 | 857M| 45 | 6 | 50 | 15k| 50 | 15 | 19 |2705k|6847 | 0.000000e+00 | -- | Inf
1056.23/1056.58 c 1057s| 4770k|960374 | 11078k| 2.3 | 859M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |2710k|6849 | 0.000000e+00 | -- | Inf
1059.64/1059.90 c 1060s| 4780k|962101 | 11102k| 2.3 | 860M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2716k|6852 | 0.000000e+00 | -- | Inf
1061.93/1062.20 c 1062s| 4790k|964277 | 11123k| 2.3 | 862M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2722k|6855 | 0.000000e+00 | -- | Inf
1064.74/1065.05 c 1065s| 4800k|966279 | 11146k| 2.3 | 863M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2727k|6862 | 0.000000e+00 | -- | Inf
1067.53/1067.82 c 1068s| 4810k|968261 | 11169k| 2.3 | 865M| 45 | - | 50 | 11k| 50 | 15 | 19 |2733k|6864 | 0.000000e+00 | -- | Inf
1070.13/1070.41 c 1070s| 4820k|970234 | 11190k| 2.3 | 867M| 45 | - | 50 | 11k| 50 | 15 | 19 |2738k|6871 | 0.000000e+00 | -- | Inf
1073.04/1073.32 c 1073s| 4830k|971814 | 11213k| 2.3 | 868M| 45 | 6 | 50 |9459 | 50 | 15 | 19 |2744k|6876 | 0.000000e+00 | -- | Inf
1075.44/1075.79 c 1076s| 4840k|973483 | 11235k| 2.3 | 870M| 45 | - | 50 |9778 | 50 | 15 | 19 |2750k|6885 | 0.000000e+00 | -- | Inf
1078.24/1078.55 c 1079s| 4850k|975094 | 11257k| 2.3 | 871M| 45 | 6 | 50 |8571 | 50 | 15 | 19 |2756k|6888 | 0.000000e+00 | -- | Inf
1081.04/1081.36 c 1081s| 4860k|976659 | 11280k| 2.3 | 873M| 45 | 6 | 50 |8283 | 50 | 15 | 19 |2762k|6895 | 0.000000e+00 | -- | Inf
1083.53/1083.88 c 1084s| 4870k|978304 | 11303k| 2.3 | 874M| 45 | - | 50 |8606 | 50 | 15 | 19 |2768k|6897 | 0.000000e+00 | -- | Inf
1086.13/1086.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1086.13/1086.49 c 1086s| 4880k|979915 | 11325k| 2.3 | 876M| 45 | 6 | 50 |7755 | 50 | 15 | 19 |2774k|6900 | 0.000000e+00 | -- | Inf
1088.33/1088.67 c 1089s| 4890k|981869 | 11348k| 2.3 | 878M| 45 | 6 | 50 |9498 | 50 | 15 | 19 |2780k|6909 | 0.000000e+00 | -- | Inf
1090.94/1091.28 c 1091s| 4900k|983539 | 11370k| 2.3 | 879M| 45 | 6 | 50 |8087 | 50 | 15 | 19 |2786k|6914 | 0.000000e+00 | -- | Inf
1093.23/1093.58 c 1094s| 4910k|985438 | 11392k| 2.3 | 881M| 45 | 6 | 50 |8478 | 50 | 15 | 19 |2791k|6916 | 0.000000e+00 | -- | Inf
1095.73/1096.03 c 1096s| 4920k|987034 | 11415k| 2.3 | 883M| 45 | - | 50 |9010 | 50 | 15 | 19 |2797k|6924 | 0.000000e+00 | -- | Inf
1098.53/1098.85 c 1099s| 4930k|988492 | 11437k| 2.3 | 884M| 45 | 6 | 50 |8286 | 50 | 15 | 19 |2803k|6929 | 0.000000e+00 | -- | Inf
1101.03/1101.31 c 1101s| 4940k|990064 | 11459k| 2.3 | 886M| 45 | 6 | 50 |8662 | 50 | 15 | 19 |2809k|6932 | 0.000000e+00 | -- | Inf
1103.33/1103.63 c 1104s| 4950k|991933 | 11482k| 2.3 | 888M| 45 | 6 | 50 |9415 | 50 | 15 | 19 |2815k|6937 | 0.000000e+00 | -- | Inf
1105.73/1106.09 c 1106s| 4960k|993689 | 11504k| 2.3 | 889M| 45 | 6 | 50 |9763 | 50 | 15 | 19 |2820k|6941 | 0.000000e+00 | -- | Inf
1108.44/1108.80 c 1109s| 4970k|995017 | 11528k| 2.3 | 891M| 45 | 6 | 50 |9243 | 50 | 15 | 19 |2827k|6951 | 0.000000e+00 | -- | Inf
1111.13/1111.41 c 1111s| 4980k|996802 | 11550k| 2.3 | 892M| 45 | 6 | 50 |8798 | 50 | 15 | 19 |2832k|6954 | 0.000000e+00 | -- | Inf
1113.83/1114.15 c 1114s| 4990k|998239 | 11572k| 2.3 | 894M| 45 | 6 | 50 |8187 | 50 | 15 | 19 |2839k|6960 | 0.000000e+00 | -- | Inf
1116.43/1116.74 c 1117s| 5000k|999883 | 11595k| 2.3 | 896M| 45 | 6 | 50 |9175 | 50 | 15 | 19 |2845k|6965 | 0.000000e+00 | -- | Inf
1119.02/1119.35 c 1119s| 5010k| 1001k| 11617k| 2.3 | 897M| 45 | 6 | 50 |8895 | 50 | 15 | 19 |2850k|6970 | 0.000000e+00 | -- | Inf
1121.63/1121.92 c 1122s| 5020k| 1002k| 11640k| 2.3 | 899M| 45 | 6 | 50 |9033 | 50 | 15 | 19 |2856k|6974 | 0.000000e+00 | -- | Inf
1124.33/1124.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1124.33/1124.66 c 1125s| 5030k| 1004k| 11663k| 2.3 | 900M| 45 | 6 | 50 |7980 | 50 | 15 | 19 |2862k|6978 | 0.000000e+00 | -- | Inf
1127.02/1127.39 c 1127s| 5040k| 1005k| 11685k| 2.3 | 902M| 45 | 6 | 50 |7798 | 50 | 15 | 19 |2868k|6982 | 0.000000e+00 | -- | Inf
1129.62/1129.92 c 1130s| 5050k| 1007k| 11707k| 2.3 | 903M| 45 | 6 | 50 |8226 | 50 | 15 | 19 |2875k|6986 | 0.000000e+00 | -- | Inf
1131.93/1132.29 c 1132s| 5060k| 1008k| 11730k| 2.3 | 905M| 45 | 6 | 50 |9174 | 50 | 15 | 19 |2881k|6991 | 0.000000e+00 | -- | Inf
1134.32/1134.62 c 1135s| 5070k| 1010k| 11753k| 2.3 | 907M| 45 | - | 50 | 10k| 50 | 15 | 19 |2887k|6996 | 0.000000e+00 | -- | Inf
1137.13/1137.46 c 1137s| 5080k| 1011k| 11775k| 2.3 | 908M| 45 | - | 50 |8572 | 50 | 15 | 19 |2893k|7000 | 0.000000e+00 | -- | Inf
1139.92/1140.27 c 1140s| 5090k| 1013k| 11797k| 2.3 | 909M| 45 | - | 50 |7064 | 50 | 15 | 19 |2899k|7002 | 0.000000e+00 | -- | Inf
1142.22/1142.58 c 1143s| 5100k| 1014k| 11819k| 2.3 | 911M| 45 | - | 50 |8151 | 50 | 15 | 19 |2905k|7006 | 0.000000e+00 | -- | Inf
1144.52/1144.87 c 1145s| 5110k| 1016k| 11843k| 2.3 | 913M| 45 | - | 50 | 10k| 0 | 0 | 19 |2911k|7015 | 0.000000e+00 | -- | Inf
1147.51/1147.83 c 1148s| 5120k| 1017k| 11865k| 2.3 | 914M| 45 | 6 | 50 |7745 | 50 | 15 | 19 |2917k|7019 | 0.000000e+00 | -- | Inf
1149.82/1150.10 c 1150s| 5130k| 1019k| 11889k| 2.3 | 916M| 45 | 6 | 50 |9210 | 50 | 15 | 19 |2923k|7024 | 0.000000e+00 | -- | Inf
1152.12/1152.48 c 1152s| 5140k| 1021k| 11911k| 2.3 | 918M| 45 | 6 | 50 |9409 | 50 | 15 | 19 |2929k|7030 | 0.000000e+00 | -- | Inf
1154.52/1154.87 c 1155s| 5150k| 1023k| 11933k| 2.3 | 920M| 45 | - | 50 |9983 | 50 | 15 | 19 |2934k|7034 | 0.000000e+00 | -- | Inf
1156.72/1157.05 c 1157s| 5160k| 1025k| 11956k| 2.3 | 922M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2940k|7040 | 0.000000e+00 | -- | Inf
1159.22/1159.60 c 1160s| 5170k| 1027k| 11979k| 2.3 | 924M| 45 | - | 50 | 12k| 50 | 15 | 19 |2945k|7042 | 0.000000e+00 | -- | Inf
1162.32/1162.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1162.32/1162.62 c 1163s| 5180k| 1028k| 12001k| 2.3 | 925M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2951k|7051 | 0.000000e+00 | -- | Inf
1165.31/1165.67 c 1166s| 5190k| 1030k| 12023k| 2.3 | 926M| 45 | - | 50 |8929 | 50 | 15 | 19 |2957k|7053 | 0.000000e+00 | -- | Inf
1167.51/1167.88 c 1168s| 5200k| 1032k| 12047k| 2.3 | 928M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |2963k|7054 | 0.000000e+00 | -- | Inf
1169.92/1170.25 c 1170s| 5210k| 1033k| 12071k| 2.3 | 930M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2968k|7056 | 0.000000e+00 | -- | Inf
1173.01/1173.38 c 1173s| 5220k| 1035k| 12093k| 2.3 | 931M| 45 | - | 50 |7897 | 50 | 15 | 19 |2974k|7066 | 0.000000e+00 | -- | Inf
1175.71/1176.03 c 1176s| 5230k| 1036k| 12115k| 2.3 | 932M| 45 | - | 50 |8266 | 0 | 0 | 19 |2980k|7071 | 0.000000e+00 | -- | Inf
1178.11/1178.46 c 1178s| 5240k| 1038k| 12137k| 2.3 | 934M| 45 | 6 | 50 |9347 | 50 | 15 | 19 |2986k|7074 | 0.000000e+00 | -- | Inf
1180.40/1180.75 c 1181s| 5250k| 1040k| 12160k| 2.3 | 937M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |2992k|7077 | 0.000000e+00 | -- | Inf
1183.31/1183.62 c 1184s| 5260k| 1042k| 12182k| 2.3 | 938M| 45 | 6 | 50 |8681 | 50 | 15 | 19 |2998k|7080 | 0.000000e+00 | -- | Inf
1186.21/1186.52 c 1187s| 5270k| 1043k| 12204k| 2.3 | 939M| 45 | 6 | 50 |7295 | 50 | 15 | 19 |3004k|7084 | 0.000000e+00 | -- | Inf
1188.81/1189.16 c 1189s| 5280k| 1045k| 12227k| 2.3 | 941M| 45 | 6 | 50 |8174 | 50 | 15 | 19 |3010k|7088 | 0.000000e+00 | -- | Inf
1191.02/1191.38 c 1191s| 5290k| 1046k| 12249k| 2.3 | 943M| 45 | 6 | 50 |8944 | 50 | 15 | 19 |3016k|7094 | 0.000000e+00 | -- | Inf
1193.61/1193.93 c 1194s| 5300k| 1048k| 12271k| 2.3 | 944M| 45 | 6 | 50 |8411 | 50 | 15 | 19 |3022k|7097 | 0.000000e+00 | -- | Inf
1196.41/1196.76 c 1197s| 5310k| 1049k| 12293k| 2.3 | 945M| 45 | 6 | 50 |7508 | 50 | 15 | 19 |3028k|7100 | 0.000000e+00 | -- | Inf
1198.71/1199.01 c 1199s| 5320k| 1051k| 12316k| 2.3 | 947M| 45 | 6 | 50 |8732 | 50 | 15 | 19 |3034k|7105 | 0.000000e+00 | -- | Inf
1201.20/1201.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1201.20/1201.50 c 1202s| 5330k| 1053k| 12339k| 2.3 | 949M| 45 | 6 | 50 |9426 | 50 | 15 | 19 |3040k|7111 | 0.000000e+00 | -- | Inf
1203.81/1204.14 c 1204s| 5340k| 1054k| 12361k| 2.3 | 951M| 45 | - | 50 |9382 | 50 | 15 | 19 |3046k|7119 | 0.000000e+00 | -- | Inf
1206.31/1206.61 c 1207s| 5350k| 1056k| 12384k| 2.3 | 952M| 45 | 6 | 50 |9182 | 50 | 15 | 19 |3052k|7124 | 0.000000e+00 | -- | Inf
1208.80/1209.12 c 1209s| 5360k| 1058k| 12407k| 2.3 | 954M| 45 | 6 | 50 |9209 | 50 | 15 | 19 |3058k|7131 | 0.000000e+00 | -- | Inf
1211.40/1211.71 c 1212s| 5370k| 1059k| 12429k| 2.3 | 956M| 45 | - | 50 |9384 | 0 | 0 | 19 |3064k|7137 | 0.000000e+00 | -- | Inf
1213.50/1213.86 c 1214s| 5380k| 1061k| 12451k| 2.3 | 958M| 45 | - | 50 | 11k| 50 | 15 | 19 |3069k|7141 | 0.000000e+00 | -- | Inf
1215.80/1216.10 c 1216s| 5390k| 1064k| 12474k| 2.3 | 960M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3074k|7143 | 0.000000e+00 | -- | Inf
1218.20/1218.57 c 1219s| 5400k| 1066k| 12497k| 2.3 | 962M| 45 | - | 50 | 14k| 50 | 15 | 19 |3080k|7149 | 0.000000e+00 | -- | Inf
1221.00/1221.30 c 1221s| 5410k| 1068k| 12520k| 2.3 | 964M| 45 | - | 50 | 14k| 50 | 15 | 19 |3086k|7152 | 0.000000e+00 | -- | Inf
1224.00/1224.35 c 1224s| 5420k| 1069k| 12544k| 2.3 | 966M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |3092k|7155 | 0.000000e+00 | -- | Inf
1226.99/1227.31 c 1227s| 5430k| 1071k| 12567k| 2.3 | 967M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3098k|7161 | 0.000000e+00 | -- | Inf
1229.99/1230.30 c 1230s| 5440k| 1072k| 12589k| 2.3 | 968M| 45 | 6 | 50 |9278 | 50 | 15 | 19 |3104k|7163 | 0.000000e+00 | -- | Inf
1232.50/1232.85 c 1233s| 5450k| 1074k| 12611k| 2.3 | 969M| 45 | 6 | 50 |8302 | 50 | 15 | 19 |3110k|7167 | 0.000000e+00 | -- | Inf
1235.19/1235.58 c 1236s| 5460k| 1075k| 12634k| 2.3 | 970M| 45 | 6 | 50 |7959 | 50 | 15 | 19 |3116k|7173 | 0.000000e+00 | -- | Inf
1238.09/1238.42 c 1238s| 5470k| 1077k| 12656k| 2.3 | 972M| 45 | 6 | 50 |7794 | 50 | 15 | 19 |3122k|7180 | 0.000000e+00 | -- | Inf
1240.29/1240.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1240.29/1240.69 c 1241s| 5480k| 1079k| 12678k| 2.3 | 974M| 45 | 6 | 50 |8396 | 50 | 15 | 19 |3128k|7183 | 0.000000e+00 | -- | Inf
1242.99/1243.38 c 1243s| 5490k| 1080k| 12700k| 2.3 | 975M| 45 | 6 | 50 |8492 | 50 | 15 | 19 |3133k|7190 | 0.000000e+00 | -- | Inf
1245.39/1245.76 c 1246s| 5500k| 1082k| 12723k| 2.3 | 977M| 45 | 6 | 50 |9010 | 50 | 15 | 19 |3139k|7198 | 0.000000e+00 | -- | Inf
1247.49/1247.86 c 1248s| 5510k| 1084k| 12745k| 2.3 | 979M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3145k|7199 | 0.000000e+00 | -- | Inf
1249.79/1250.17 c 1250s| 5520k| 1086k| 12769k| 2.3 | 981M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |3150k|7208 | 0.000000e+00 | -- | Inf
1252.28/1252.63 c 1253s| 5530k| 1088k| 12791k| 2.3 | 983M| 45 | - | 50 | 11k| 50 | 15 | 19 |3156k|7211 | 0.000000e+00 | -- | Inf
1255.09/1255.48 c 1255s| 5540k| 1089k| 12814k| 2.3 | 984M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3162k|7218 | 0.000000e+00 | -- | Inf
1257.78/1258.19 c 1258s| 5550k| 1091k| 12836k| 2.3 | 986M| 45 | 6 | 50 |9966 | 50 | 15 | 19 |3168k|7222 | 0.000000e+00 | -- | Inf
1260.58/1260.93 c 1261s| 5560k| 1093k| 12859k| 2.3 | 987M| 45 | 6 | 50 |9520 | 50 | 15 | 19 |3174k|7226 | 0.000000e+00 | -- | Inf
1263.29/1263.65 c 1264s| 5570k| 1094k| 12882k| 2.3 | 989M| 45 | 6 | 50 |8970 | 50 | 15 | 19 |3180k|7232 | 0.000000e+00 | -- | Inf
1265.38/1265.75 c 1266s| 5580k| 1096k| 12904k| 2.3 | 991M| 45 | - | 50 | 11k| 50 | 15 | 19 |3185k|7236 | 0.000000e+00 | -- | Inf
1268.28/1268.65 c 1269s| 5590k| 1098k| 12927k| 2.3 | 992M| 45 | 6 | 50 |9340 | 50 | 15 | 19 |3191k|7242 | 0.000000e+00 | -- | Inf
1270.78/1271.16 c 1271s| 5600k| 1099k| 12949k| 2.3 | 994M| 45 | 6 | 50 |9278 | 50 | 15 | 19 |3197k|7246 | 0.000000e+00 | -- | Inf
1273.39/1273.73 c 1274s| 5610k| 1101k| 12971k| 2.3 | 995M| 45 | 6 | 50 |8472 | 50 | 15 | 19 |3202k|7247 | 0.000000e+00 | -- | Inf
1275.99/1276.39 c 1276s| 5620k| 1102k| 12994k| 2.3 | 997M| 45 | 6 | 50 |7962 | 50 | 15 | 19 |3208k|7253 | 0.000000e+00 | -- | Inf
1278.68/1279.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1278.68/1279.09 c 1279s| 5630k| 1104k| 13016k| 2.3 | 998M| 45 | 6 | 50 |7139 | 50 | 15 | 19 |3214k|7257 | 0.000000e+00 | -- | Inf
1280.98/1281.31 c 1281s| 5640k| 1106k| 13038k| 2.3 |1000M| 45 | 6 | 50 |8761 | 50 | 15 | 19 |3220k|7270 | 0.000000e+00 | -- | Inf
1282.98/1283.38 c 1283s| 5650k| 1108k| 13063k| 2.3 |1002M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3226k|7275 | 0.000000e+00 | -- | Inf
1285.28/1285.67 c 1286s| 5660k| 1111k| 13088k| 2.3 |1005M| 45 | - | 50 | 11k| 0 | 0 | 19 |3231k|7283 | 0.000000e+00 | -- | Inf
1287.88/1288.21 c 1288s| 5670k| 1112k| 13112k| 2.3 |1007M| 45 | - | 50 | 12k| 50 | 15 | 19 |3237k|7287 | 0.000000e+00 | -- | Inf
1290.58/1290.97 c 1291s| 5680k| 1114k| 13137k| 2.3 |1008M| 45 | - | 50 | 11k| 50 | 15 | 19 |3244k|7298 | 0.000000e+00 | -- | Inf
1293.29/1293.67 c 1294s| 5690k| 1116k| 13161k| 2.3 |1010M| 45 | - | 50 | 11k| 50 | 15 | 19 |3250k|7301 | 0.000000e+00 | -- | Inf
1296.18/1296.51 c 1297s| 5700k| 1117k| 13184k| 2.3 |1011M| 45 | - | 50 | 11k| 50 | 15 | 19 |3256k|7306 | 0.000000e+00 | -- | Inf
1298.97/1299.38 c 1299s| 5710k| 1119k| 13206k| 2.3 |1013M| 45 | - | 50 |9323 | 50 | 15 | 19 |3262k|7308 | 0.000000e+00 | -- | Inf
1301.88/1302.30 c 1302s| 5720k| 1120k| 13229k| 2.3 |1014M| 45 | 6 | 50 |8720 | 50 | 15 | 19 |3268k|7308 | 0.000000e+00 | -- | Inf
1304.38/1304.70 c 1305s| 5730k| 1122k| 13252k| 2.3 |1016M| 45 | - | 50 |9461 | 50 | 15 | 19 |3274k|7312 | 0.000000e+00 | -- | Inf
1307.07/1307.40 c 1307s| 5740k| 1124k| 13275k| 2.3 |1017M| 45 | 6 | 50 |9492 | 50 | 15 | 19 |3279k|7318 | 0.000000e+00 | -- | Inf
1309.08/1309.42 c 1309s| 5750k| 1126k| 13298k| 2.3 |1020M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3285k|7322 | 0.000000e+00 | -- | Inf
1311.47/1311.84 c 1312s| 5760k| 1128k| 13321k| 2.3 |1022M| 45 | - | 50 | 13k| 50 | 15 | 19 |3291k|7330 | 0.000000e+00 | -- | Inf
1314.18/1314.58 c 1315s| 5770k| 1130k| 13344k| 2.3 |1024M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3297k|7337 | 0.000000e+00 | -- | Inf
1317.57/1317.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1317.57/1317.92 c 1318s| 5780k| 1132k| 13367k| 2.3 |1025M| 45 | - | 50 |8777 | 50 | 15 | 19 |3303k|7345 | 0.000000e+00 | -- | Inf
1319.97/1320.30 c 1320s| 5790k| 1134k| 13389k| 2.3 |1026M| 45 | - | 50 |9852 | 0 | 0 | 19 |3308k|7348 | 0.000000e+00 | -- | Inf
1322.87/1323.21 c 1323s| 5800k| 1135k| 13411k| 2.3 |1027M| 45 | 6 | 50 |7645 | 50 | 15 | 19 |3314k|7355 | 0.000000e+00 | -- | Inf
1325.27/1325.68 c 1326s| 5810k| 1137k| 13433k| 2.3 |1029M| 45 | - | 50 |8199 | 50 | 15 | 19 |3320k|7356 | 0.000000e+00 | -- | Inf
1327.86/1328.28 c 1328s| 5820k| 1138k| 13456k| 2.3 |1031M| 45 | - | 50 |8818 | 50 | 15 | 19 |3326k|7358 | 0.000000e+00 | -- | Inf
1330.77/1331.12 c 1331s| 5830k| 1140k| 13478k| 2.3 |1032M| 45 | 6 | 50 |7233 | 50 | 15 | 19 |3332k|7367 | 0.000000e+00 | -- | Inf
1333.16/1333.54 c 1334s| 5840k| 1141k| 13500k| 2.3 |1034M| 45 | 6 | 50 |8019 | 50 | 15 | 19 |3338k|7369 | 0.000000e+00 | -- | Inf
1335.56/1335.99 c 1336s| 5850k| 1143k| 13523k| 2.3 |1036M| 45 | 6 | 50 |8450 | 50 | 15 | 19 |3344k|7378 | 0.000000e+00 | -- | Inf
1338.06/1338.44 c 1338s| 5860k| 1144k| 13546k| 2.3 |1037M| 45 | 6 | 50 |8454 | 50 | 15 | 19 |3350k|7384 | 0.000000e+00 | -- | Inf
1340.57/1340.96 c 1341s| 5870k| 1146k| 13567k| 2.3 |1039M| 45 | 6 | 50 |8754 | 50 | 15 | 19 |3356k|7388 | 0.000000e+00 | -- | Inf
1343.16/1343.54 c 1344s| 5880k| 1148k| 13590k| 2.3 |1041M| 45 | 6 | 50 |9393 | 50 | 15 | 19 |3362k|7391 | 0.000000e+00 | -- | Inf
1345.26/1345.65 c 1346s| 5890k| 1149k| 13612k| 2.3 |1043M| 45 | - | 50 | 10k| 50 | 15 | 19 |3367k|7393 | 0.000000e+00 | -- | Inf
1347.56/1347.96 c 1348s| 5900k| 1152k| 13635k| 2.3 |1045M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |3372k|7394 | 0.000000e+00 | -- | Inf
1349.66/1350.06 c 1350s| 5910k| 1155k| 13658k| 2.3 |1047M| 45 | - | 50 | 12k| 50 | 15 | 19 |3377k|7397 | 0.000000e+00 | -- | Inf
1351.96/1352.39 c 1352s| 5920k| 1157k| 13681k| 2.3 |1049M| 45 | - | 50 | 12k| 50 | 15 | 19 |3383k|7400 | 0.000000e+00 | -- | Inf
1354.45/1354.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1354.45/1354.88 c 1355s| 5930k| 1159k| 13703k| 2.3 |1051M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3388k|7406 | 0.000000e+00 | -- | Inf
1357.06/1357.44 c 1357s| 5940k| 1161k| 13725k| 2.3 |1053M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3393k|7409 | 0.000000e+00 | -- | Inf
1359.75/1360.10 c 1360s| 5950k| 1163k| 13747k| 2.3 |1055M| 45 | - | 50 | 12k| 50 | 15 | 19 |3399k|7416 | 0.000000e+00 | -- | Inf
1362.35/1362.78 c 1363s| 5960k| 1165k| 13769k| 2.3 |1056M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3404k|7424 | 0.000000e+00 | -- | Inf
1365.15/1365.55 c 1366s| 5970k| 1167k| 13791k| 2.3 |1058M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3410k|7426 | 0.000000e+00 | -- | Inf
1367.84/1368.23 c 1368s| 5980k| 1169k| 13813k| 2.3 |1060M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |3415k|7429 | 0.000000e+00 | -- | Inf
1370.34/1370.77 c 1371s| 5990k| 1171k| 13836k| 2.3 |1062M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |3421k|7432 | 0.000000e+00 | -- | Inf
1373.34/1373.72 c 1374s| 6000k| 1172k| 13858k| 2.3 |1063M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |3427k|7435 | 0.000000e+00 | -- | Inf
1376.14/1376.52 c 1377s| 6010k| 1174k| 13881k| 2.3 |1065M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |3433k|7438 | 0.000000e+00 | -- | Inf
1378.83/1379.20 c 1379s| 6020k| 1176k| 13903k| 2.3 |1067M| 45 | - | 50 | 13k| 50 | 15 | 19 |3438k|7441 | 0.000000e+00 | -- | Inf
1381.43/1381.89 c 1382s| 6030k| 1177k| 13926k| 2.3 |1068M| 45 | - | 50 | 13k| 50 | 15 | 19 |3444k|7446 | 0.000000e+00 | -- | Inf
1384.73/1385.17 c 1385s| 6040k| 1179k| 13948k| 2.3 |1070M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3450k|7448 | 0.000000e+00 | -- | Inf
1387.62/1388.08 c 1388s| 6050k| 1180k| 13970k| 2.3 |1071M| 45 | - | 50 | 13k| 50 | 15 | 19 |3456k|7451 | 0.000000e+00 | -- | Inf
1390.32/1390.79 c 1391s| 6060k| 1182k| 13992k| 2.3 |1073M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |3462k|7458 | 0.000000e+00 | -- | Inf
1393.12/1393.51 c 1394s| 6070k| 1183k| 14014k| 2.3 |1074M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3467k|7466 | 0.000000e+00 | -- | Inf
1395.62/1396.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1395.62/1396.08 c 1396s| 6080k| 1185k| 14036k| 2.3 |1076M| 45 | - | 50 | 14k| 0 | 0 | 19 |3473k|7469 | 0.000000e+00 | -- | Inf
1398.21/1398.65 c 1399s| 6090k| 1187k| 14057k| 2.3 |1078M| 45 | 6 | 50 | 15k| 50 | 15 | 19 |3478k|7471 | 0.000000e+00 | -- | Inf
1401.02/1401.42 c 1401s| 6100k| 1188k| 14079k| 2.3 |1080M| 45 | 6 | 50 | 15k| 50 | 15 | 19 |3484k|7473 | 0.000000e+00 | -- | Inf
1404.01/1404.40 c 1404s| 6110k| 1190k| 14100k| 2.3 |1081M| 45 | - | 50 | 15k| 50 | 15 | 19 |3489k|7477 | 0.000000e+00 | -- | Inf
1406.72/1407.17 c 1407s| 6120k| 1191k| 14121k| 2.3 |1083M| 45 | - | 50 | 16k| 50 | 15 | 19 |3495k|7483 | 0.000000e+00 | -- | Inf
1410.11/1410.59 c 1411s| 6130k| 1193k| 14143k| 2.3 |1083M| 45 | - | 50 | 11k| 50 | 15 | 19 |3501k|7483 | 0.000000e+00 | -- | Inf
1413.30/1413.75 c 1414s| 6140k| 1194k| 14165k| 2.3 |1084M| 45 | 6 | 50 |7986 | 50 | 15 | 19 |3507k|7483 | 0.000000e+00 | -- | Inf
1415.80/1416.22 c 1416s| 6150k| 1195k| 14188k| 2.3 |1086M| 45 | 6 | 50 |8243 | 50 | 15 | 19 |3513k|7488 | 0.000000e+00 | -- | Inf
1418.00/1418.49 c 1418s| 6160k| 1197k| 14210k| 2.3 |1088M| 45 | 6 | 50 |9574 | 50 | 15 | 19 |3519k|7495 | 0.000000e+00 | -- | Inf
1420.30/1420.76 c 1421s| 6170k| 1199k| 14233k| 2.3 |1090M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3525k|7500 | 0.000000e+00 | -- | Inf
1423.10/1423.56 c 1424s| 6180k| 1200k| 14255k| 2.3 |1091M| 45 | 6 | 50 |9226 | 50 | 15 | 19 |3531k|7508 | 0.000000e+00 | -- | Inf
1425.60/1426.02 c 1426s| 6190k| 1202k| 14278k| 2.3 |1092M| 45 | 6 | 50 |8947 | 50 | 15 | 19 |3537k|7511 | 0.000000e+00 | -- | Inf
1427.79/1428.28 c 1428s| 6200k| 1203k| 14301k| 2.3 |1095M| 45 | - | 50 | 10k| 0 | 0 | 19 |3543k|7513 | 0.000000e+00 | -- | Inf
1429.89/1430.34 c 1430s| 6210k| 1206k| 14324k| 2.3 |1097M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3548k|7514 | 0.000000e+00 | -- | Inf
1432.20/1432.63 c 1433s| 6220k| 1208k| 14347k| 2.3 |1099M| 45 | - | 50 | 13k| 50 | 15 | 19 |3554k|7519 | 0.000000e+00 | -- | Inf
1434.49/1434.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1434.49/1434.98 c 1435s| 6230k| 1210k| 14370k| 2.3 |1101M| 45 | - | 50 | 14k| 50 | 15 | 19 |3559k|7522 | 0.000000e+00 | -- | Inf
1436.99/1437.45 c 1437s| 6240k| 1212k| 14393k| 2.3 |1103M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |3565k|7523 | 0.000000e+00 | -- | Inf
1439.59/1440.04 c 1440s| 6250k| 1213k| 14416k| 2.3 |1105M| 45 | - | 50 | 14k| 50 | 15 | 19 |3571k|7525 | 0.000000e+00 | -- | Inf
1442.40/1442.85 c 1443s| 6260k| 1215k| 14438k| 2.3 |1106M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |3577k|7528 | 0.000000e+00 | -- | Inf
1445.09/1445.53 c 1446s| 6270k| 1217k| 14461k| 2.3 |1108M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |3583k|7530 | 0.000000e+00 | -- | Inf
1447.59/1448.09 c 1448s| 6280k| 1219k| 14483k| 2.3 |1110M| 45 | 6 | 50 | 16k| 50 | 15 | 19 |3588k|7535 | 0.000000e+00 | -- | Inf
1450.40/1450.85 c 1451s| 6290k| 1221k| 14505k| 2.3 |1112M| 45 | - | 50 | 17k| 0 | 0 | 19 |3594k|7538 | 0.000000e+00 | -- | Inf
1453.49/1453.94 c 1454s| 6300k| 1223k| 14527k| 2.3 |1114M| 45 | 6 | 50 | 16k| 50 | 15 | 19 |3599k|7541 | 0.000000e+00 | -- | Inf
1456.50/1456.91 c 1457s| 6310k| 1224k| 14549k| 2.3 |1115M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |3605k|7549 | 0.000000e+00 | -- | Inf
1459.30/1459.71 c 1460s| 6320k| 1226k| 14571k| 2.3 |1117M| 45 | 6 | 50 | 15k| 50 | 15 | 19 |3611k|7559 | 0.000000e+00 | -- | Inf
1462.30/1462.70 c 1463s| 6330k| 1228k| 14593k| 2.3 |1118M| 45 | - | 50 | 15k| 50 | 15 | 19 |3617k|7565 | 0.000000e+00 | -- | Inf
1465.20/1465.62 c 1466s| 6340k| 1229k| 14615k| 2.3 |1120M| 45 | - | 50 | 15k| 50 | 15 | 19 |3622k|7567 | 0.000000e+00 | -- | Inf
1468.39/1468.84 c 1469s| 6350k| 1230k| 14637k| 2.3 |1122M| 45 | 6 | 50 | 15k| 50 | 15 | 19 |3628k|7571 | 0.000000e+00 | -- | Inf
1471.19/1471.64 c 1472s| 6360k| 1233k| 14658k| 2.3 |1124M| 45 | 6 | 50 | 16k| 50 | 15 | 19 |3634k|7574 | 0.000000e+00 | -- | Inf
1474.39/1474.82 c 1475s| 6370k| 1234k| 14680k| 2.3 |1125M| 45 | 6 | 50 | 15k| 50 | 15 | 19 |3640k|7576 | 0.000000e+00 | -- | Inf
1477.59/1478.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1477.59/1478.03 c 1478s| 6380k| 1235k| 14701k| 2.3 |1127M| 45 | 6 | 50 | 15k| 50 | 15 | 19 |3646k|7576 | 0.000000e+00 | -- | Inf
1480.99/1481.42 c 1481s| 6390k| 1236k| 14722k| 2.3 |1128M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |3652k|7587 | 0.000000e+00 | -- | Inf
1483.89/1484.33 c 1484s| 6400k| 1238k| 14745k| 2.3 |1129M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |3657k|7590 | 0.000000e+00 | -- | Inf
1486.49/1486.98 c 1487s| 6410k| 1240k| 14767k| 2.3 |1131M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |3663k|7595 | 0.000000e+00 | -- | Inf
1489.99/1490.41 c 1490s| 6420k| 1241k| 14790k| 2.3 |1131M| 45 | - | 50 |9695 | 50 | 15 | 19 |3670k|7599 | 0.000000e+00 | -- | Inf
1492.79/1493.24 c 1493s| 6430k| 1243k| 14811k| 2.3 |1133M| 45 | 6 | 50 |9053 | 50 | 15 | 19 |3675k|7603 | 0.000000e+00 | -- | Inf
1494.98/1495.49 c 1495s| 6440k| 1244k| 14834k| 2.3 |1135M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3681k|7607 | 0.000000e+00 | -- | Inf
1497.28/1497.78 c 1498s| 6450k| 1246k| 14856k| 2.3 |1137M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |3687k|7610 | 0.000000e+00 | -- | Inf
1500.49/1500.97 c 1501s| 6460k| 1248k| 14879k| 2.3 |1138M| 45 | - | 50 |8734 | 50 | 15 | 19 |3693k|7612 | 0.000000e+00 | -- | Inf
1503.19/1503.62 c 1504s| 6470k| 1249k| 14901k| 2.3 |1139M| 45 | - | 50 |8679 | 0 | 0 | 19 |3699k|7620 | 0.000000e+00 | -- | Inf
1505.49/1505.91 c 1506s| 6480k| 1251k| 14924k| 2.3 |1141M| 45 | 6 | 50 |9668 | 50 | 15 | 19 |3705k|7624 | 0.000000e+00 | -- | Inf
1508.39/1508.83 c 1509s| 6490k| 1252k| 14946k| 2.3 |1142M| 45 | - | 50 |8821 | 50 | 15 | 19 |3711k|7626 | 0.000000e+00 | -- | Inf
1511.28/1511.71 c 1512s| 6500k| 1254k| 14969k| 2.3 |1144M| 45 | - | 50 |8104 | 50 | 15 | 19 |3717k|7631 | 0.000000e+00 | -- | Inf
1513.19/1513.68 c 1514s| 6510k| 1257k| 14991k| 2.3 |1146M| 45 | - | 50 |9370 | 50 | 15 | 19 |3722k|7633 | 0.000000e+00 | -- | Inf
1515.19/1515.68 c 1516s| 6520k| 1259k| 15013k| 2.3 |1148M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3727k|7637 | 0.000000e+00 | -- | Inf
1517.59/1518.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1517.59/1518.07 c 1518s| 6530k| 1261k| 15035k| 2.3 |1150M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3733k|7641 | 0.000000e+00 | -- | Inf
1520.08/1520.59 c 1521s| 6540k| 1263k| 15057k| 2.3 |1152M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3739k|7642 | 0.000000e+00 | -- | Inf
1522.38/1522.80 c 1523s| 6550k| 1265k| 15079k| 2.3 |1154M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3744k|7647 | 0.000000e+00 | -- | Inf
1524.78/1525.23 c 1525s| 6560k| 1268k| 15100k| 2.3 |1156M| 45 | - | 50 | 12k| 50 | 15 | 19 |3749k|7649 | 0.000000e+00 | -- | Inf
1527.58/1528.07 c 1528s| 6570k| 1270k| 15122k| 2.3 |1158M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |3754k|7656 | 0.000000e+00 | -- | Inf
1530.28/1530.77 c 1531s| 6580k| 1272k| 15143k| 2.3 |1160M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |3760k|7661 | 0.000000e+00 | -- | Inf
1533.18/1533.66 c 1534s| 6590k| 1273k| 15166k| 2.3 |1161M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3766k|7664 | 0.000000e+00 | -- | Inf
1536.38/1536.83 c 1537s| 6600k| 1275k| 15188k| 2.3 |1162M| 45 | 6 | 50 |8065 | 50 | 15 | 19 |3772k|7671 | 0.000000e+00 | -- | Inf
1538.88/1539.34 c 1539s| 6610k| 1276k| 15210k| 2.3 |1164M| 45 | 6 | 50 |8889 | 50 | 15 | 19 |3778k|7678 | 0.000000e+00 | -- | Inf
1541.38/1541.88 c 1542s| 6620k| 1278k| 15231k| 2.3 |1165M| 45 | - | 50 |9005 | 50 | 15 | 19 |3784k|7682 | 0.000000e+00 | -- | Inf
1544.08/1544.56 c 1545s| 6630k| 1279k| 15254k| 2.3 |1167M| 45 | - | 50 |9425 | 0 | 0 | 19 |3790k|7685 | 0.000000e+00 | -- | Inf
1546.88/1547.36 c 1547s| 6640k| 1281k| 15276k| 2.3 |1168M| 45 | - | 50 |8748 | 50 | 15 | 19 |3796k|7690 | 0.000000e+00 | -- | Inf
1549.39/1549.85 c 1550s| 6650k| 1283k| 15298k| 2.3 |1170M| 45 | 6 | 50 |9379 | 50 | 15 | 19 |3801k|7691 | 0.000000e+00 | -- | Inf
1551.78/1552.27 c 1552s| 6660k| 1284k| 15317k| 2.3 |1172M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3806k|7694 | 0.000000e+00 | -- | Inf
1554.38/1554.80 c 1555s| 6670k| 1286k| 15339k| 2.3 |1174M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3812k|7699 | 0.000000e+00 | -- | Inf
1557.19/1557.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1557.19/1557.68 c 1558s| 6680k| 1287k| 15361k| 2.3 |1175M| 45 | - | 50 | 10k| 50 | 15 | 19 |3818k|7702 | 0.000000e+00 | -- | Inf
1559.97/1560.44 c 1560s| 6690k| 1289k| 15384k| 2.3 |1176M| 45 | - | 50 |9949 | 50 | 15 | 19 |3824k|7707 | 0.000000e+00 | -- | Inf
1562.98/1563.40 c 1563s| 6700k| 1290k| 15406k| 2.3 |1178M| 45 | - | 50 | 10k| 50 | 15 | 19 |3830k|7710 | 0.000000e+00 | -- | Inf
1565.58/1566.03 c 1566s| 6710k| 1292k| 15429k| 2.3 |1180M| 45 | - | 50 | 11k| 50 | 15 | 19 |3836k|7718 | 0.000000e+00 | -- | Inf
1568.37/1568.87 c 1569s| 6720k| 1293k| 15453k| 2.3 |1181M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3843k|7727 | 0.000000e+00 | -- | Inf
1571.68/1572.16 c 1572s| 6730k| 1295k| 15475k| 2.3 |1182M| 45 | - | 50 |8220 | 50 | 15 | 19 |3849k|7733 | 0.000000e+00 | -- | Inf
1574.37/1574.81 c 1575s| 6740k| 1296k| 15497k| 2.3 |1184M| 45 | 6 | 50 |8631 | 50 | 15 | 19 |3855k|7737 | 0.000000e+00 | -- | Inf
1577.18/1577.64 c 1578s| 6750k| 1298k| 15519k| 2.3 |1186M| 45 | - | 50 |8112 | 50 | 15 | 19 |3860k|7743 | 0.000000e+00 | -- | Inf
1579.78/1580.28 c 1580s| 6760k| 1299k| 15542k| 2.3 |1188M| 45 | 6 | 50 |9417 | 50 | 15 | 19 |3867k|7748 | 0.000000e+00 | -- | Inf
1582.27/1582.76 c 1583s| 6770k| 1301k| 15564k| 2.3 |1189M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3872k|7750 | 0.000000e+00 | -- | Inf
1584.48/1584.99 c 1585s| 6780k| 1303k| 15589k| 2.3 |1192M| 45 | - | 50 | 12k| 50 | 15 | 19 |3878k|7752 | 0.000000e+00 | -- | Inf
1586.88/1587.33 c 1587s| 6790k| 1305k| 15612k| 2.3 |1194M| 45 | - | 50 | 12k| 50 | 15 | 19 |3884k|7756 | 0.000000e+00 | -- | Inf
1589.47/1589.99 c 1590s| 6800k| 1307k| 15637k| 2.3 |1195M| 45 | - | 50 | 12k| 50 | 15 | 19 |3889k|7760 | 0.000000e+00 | -- | Inf
1592.38/1592.83 c 1593s| 6810k| 1308k| 15660k| 2.3 |1197M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3895k|7763 | 0.000000e+00 | -- | Inf
1595.17/1595.65 c 1596s| 6820k| 1310k| 15683k| 2.3 |1198M| 45 | - | 50 | 12k| 50 | 15 | 19 |3901k|7768 | 0.000000e+00 | -- | Inf
1597.97/1598.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1597.97/1598.46 c 1598s| 6830k| 1311k| 15706k| 2.3 |1200M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3908k|7769 | 0.000000e+00 | -- | Inf
1600.67/1601.19 c 1601s| 6840k| 1312k| 15729k| 2.3 |1201M| 45 | - | 50 | 11k| 50 | 15 | 19 |3914k|7775 | 0.000000e+00 | -- | Inf
1603.97/1604.42 c 1604s| 6850k| 1314k| 15751k| 2.3 |1202M| 45 | 6 | 50 |9557 | 50 | 15 | 19 |3920k|7782 | 0.000000e+00 | -- | Inf
1606.87/1607.33 c 1607s| 6860k| 1315k| 15773k| 2.3 |1203M| 45 | - | 50 |8723 | 50 | 15 | 19 |3926k|7789 | 0.000000e+00 | -- | Inf
1609.88/1610.34 c 1610s| 6870k| 1316k| 15795k| 2.3 |1205M| 45 | - | 50 |8520 | 50 | 15 | 19 |3932k|7791 | 0.000000e+00 | -- | Inf
1612.47/1612.95 c 1613s| 6880k| 1318k| 15818k| 2.3 |1207M| 45 | 6 | 50 |9395 | 50 | 15 | 19 |3938k|7794 | 0.000000e+00 | -- | Inf
1615.38/1615.89 c 1616s| 6890k| 1319k| 15841k| 2.3 |1208M| 45 | 6 | 50 |8697 | 50 | 15 | 19 |3944k|7797 | 0.000000e+00 | -- | Inf
1618.17/1618.65 c 1619s| 6900k| 1320k| 15863k| 2.3 |1209M| 45 | - | 50 |8946 | 50 | 15 | 19 |3950k|7798 | 0.000000e+00 | -- | Inf
1620.67/1621.13 c 1621s| 6910k| 1322k| 15885k| 2.3 |1211M| 45 | 6 | 50 |9991 | 50 | 15 | 19 |3956k|7801 | 0.000000e+00 | -- | Inf
1623.86/1624.30 c 1624s| 6920k| 1324k| 15907k| 2.3 |1213M| 45 | - | 50 |8781 | 50 | 15 | 19 |3962k|7803 | 0.000000e+00 | -- | Inf
1626.17/1626.67 c 1627s| 6930k| 1325k| 15929k| 2.3 |1214M| 45 | - | 50 |9480 | 50 | 15 | 19 |3968k|7804 | 0.000000e+00 | -- | Inf
1628.97/1629.40 c 1629s| 6940k| 1327k| 15952k| 2.3 |1216M| 45 | - | 50 |9246 | 50 | 15 | 19 |3973k|7805 | 0.000000e+00 | -- | Inf
1631.07/1631.56 c 1632s| 6950k| 1329k| 15973k| 2.3 |1218M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3979k|7807 | 0.000000e+00 | -- | Inf
1634.07/1634.57 c 1635s| 6960k| 1330k| 15995k| 2.3 |1219M| 45 | 6 | 50 |9832 | 50 | 15 | 19 |3985k|7809 | 0.000000e+00 | -- | Inf
1636.97/1637.41 c 1637s| 6970k| 1331k| 16017k| 2.3 |1221M| 45 | - | 50 |9284 | 50 | 15 | 19 |3991k|7811 | 0.000000e+00 | -- | Inf
1639.57/1640.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1639.57/1640.03 c 1640s| 6980k| 1333k| 16041k| 2.3 |1223M| 45 | - | 50 |9655 | 50 | 15 | 19 |3997k|7816 | 0.000000e+00 | -- | Inf
1641.66/1642.12 c 1642s| 6990k| 1336k| 16065k| 2.3 |1225M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |4002k|7821 | 0.000000e+00 | -- | Inf
1643.97/1644.50 c 1644s| 7000k| 1338k| 16088k| 2.3 |1227M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |4008k|7824 | 0.000000e+00 | -- | Inf
1646.66/1647.12 c 1647s| 7010k| 1340k| 16111k| 2.3 |1228M| 45 | - | 50 | 11k| 50 | 15 | 19 |4014k|7828 | 0.000000e+00 | -- | Inf
1649.36/1649.89 c 1650s| 7020k| 1341k| 16135k| 2.3 |1230M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |4019k|7831 | 0.000000e+00 | -- | Inf
1652.06/1652.57 c 1653s| 7030k| 1343k| 16158k| 2.3 |1232M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |4025k|7832 | 0.000000e+00 | -- | Inf
1654.97/1655.44 c 1655s| 7040k| 1345k| 16181k| 2.3 |1233M| 45 | - | 50 | 10k| 50 | 15 | 19 |4031k|7832 | 0.000000e+00 | -- | Inf
1657.36/1657.81 c 1658s| 7050k| 1346k| 16204k| 2.3 |1235M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |4037k|7837 | 0.000000e+00 | -- | Inf
1659.86/1660.30 c 1660s| 7060k| 1348k| 16227k| 2.3 |1237M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |4043k|7838 | 0.000000e+00 | -- | Inf
1662.56/1663.07 c 1663s| 7070k| 1349k| 16249k| 2.3 |1239M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |4049k|7841 | 0.000000e+00 | -- | Inf
1666.16/1666.69 c 1667s| 7080k| 1351k| 16272k| 2.3 |1240M| 45 | - | 50 | 11k| 50 | 15 | 19 |4055k|7845 | 0.000000e+00 | -- | Inf
1669.46/1669.98 c 1670s| 7090k| 1352k| 16294k| 2.3 |1241M| 45 | - | 50 |9559 | 50 | 15 | 19 |4061k|7849 | 0.000000e+00 | -- | Inf
1672.76/1673.21 c 1673s| 7100k| 1354k| 16316k| 2.3 |1242M| 45 | 6 | 50 |8108 | 50 | 15 | 19 |4067k|7857 | 0.000000e+00 | -- | Inf
1675.56/1676.08 c 1676s| 7110k| 1355k| 16338k| 2.3 |1244M| 45 | 6 | 50 |7953 | 50 | 15 | 19 |4073k|7860 | 0.000000e+00 | -- | Inf
1678.36/1678.83 c 1679s| 7120k| 1356k| 16361k| 2.3 |1245M| 45 | - | 50 |7986 | 50 | 15 | 19 |4079k|7864 | 0.000000e+00 | -- | Inf
1681.06/1681.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1681.06/1681.50 c 1681s| 7130k| 1358k| 16383k| 2.3 |1247M| 45 | - | 50 |8575 | 50 | 15 | 19 |4085k|7869 | 0.000000e+00 | -- | Inf
1683.45/1683.90 c 1684s| 7140k| 1360k| 16405k| 2.3 |1249M| 45 | - | 50 | 10k| 50 | 15 | 19 |4091k|7875 | 0.000000e+00 | -- | Inf
1686.26/1686.73 c 1687s| 7150k| 1361k| 16427k| 2.3 |1250M| 45 | 6 | 50 |9354 | 50 | 15 | 19 |4097k|7880 | 0.000000e+00 | -- | Inf
1688.96/1689.41 c 1689s| 7160k| 1363k| 16450k| 2.3 |1252M| 45 | - | 50 |9907 | 50 | 15 | 19 |4103k|7883 | 0.000000e+00 | -- | Inf
1691.15/1691.68 c 1692s| 7170k| 1365k| 16473k| 2.3 |1254M| 45 | - | 50 | 12k| 50 | 15 | 19 |4109k|7889 | 0.000000e+00 | -- | Inf
1694.16/1694.60 c 1695s| 7180k| 1366k| 16496k| 2.3 |1256M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |4115k|7892 | 0.000000e+00 | -- | Inf
1697.06/1697.51 c 1698s| 7190k| 1368k| 16519k| 2.3 |1257M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |4121k|7899 | 0.000000e+00 | -- | Inf
1699.86/1700.32 c 1700s| 7200k| 1369k| 16541k| 2.3 |1259M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |4127k|7902 | 0.000000e+00 | -- | Inf
1702.86/1703.38 c 1703s| 7210k| 1371k| 16563k| 2.3 |1260M| 45 | 6 | 50 |9691 | 50 | 15 | 19 |4133k|7907 | 0.000000e+00 | -- | Inf
1705.75/1706.28 c 1706s| 7220k| 1372k| 16585k| 2.3 |1261M| 45 | 6 | 50 |8855 | 50 | 15 | 19 |4139k|7913 | 0.000000e+00 | -- | Inf
1708.16/1708.69 c 1709s| 7230k| 1374k| 16609k| 2.3 |1263M| 45 | 6 | 50 |9784 | 50 | 15 | 19 |4145k|7916 | 0.000000e+00 | -- | Inf
1711.16/1711.69 c 1712s| 7240k| 1375k| 16632k| 2.3 |1265M| 45 | - | 50 |8565 | 50 | 15 | 19 |4151k|7918 | 0.000000e+00 | -- | Inf
1714.05/1714.56 c 1715s| 7250k| 1377k| 16654k| 2.3 |1266M| 45 | 6 | 50 |8662 | 50 | 15 | 19 |4157k|7926 | 0.000000e+00 | -- | Inf
1716.96/1717.42 c 1717s| 7260k| 1378k| 16676k| 2.3 |1268M| 45 | - | 50 |8065 | 50 | 15 | 19 |4162k|7930 | 0.000000e+00 | -- | Inf
1718.96/1719.44 c 1719s| 7270k| 1381k| 16699k| 2.3 |1270M| 45 | - | 50 | 10k| 50 | 15 | 19 |4168k|7932 | 0.000000e+00 | -- | Inf
1721.35/1721.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1721.35/1721.80 c 1722s| 7280k| 1384k| 16722k| 2.3 |1273M| 45 | - | 50 | 11k| 50 | 15 | 19 |4173k|7939 | 0.000000e+00 | -- | Inf
1723.65/1724.19 c 1724s| 7290k| 1386k| 16744k| 2.3 |1275M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |4178k|7941 | 0.000000e+00 | -- | Inf
1726.25/1726.72 c 1727s| 7300k| 1388k| 16768k| 2.3 |1277M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |4184k|7943 | 0.000000e+00 | -- | Inf
1729.05/1729.57 c 1730s| 7310k| 1390k| 16791k| 2.3 |1278M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |4189k|7946 | 0.000000e+00 | -- | Inf
1732.15/1732.60 c 1733s| 7320k| 1392k| 16814k| 2.3 |1280M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |4195k|7952 | 0.000000e+00 | -- | Inf
1735.25/1735.76 c 1736s| 7330k| 1394k| 16836k| 2.3 |1282M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |4201k|7960 | 0.000000e+00 | -- | Inf
1738.66/1739.13 c 1739s| 7340k| 1395k| 16859k| 2.3 |1283M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |4207k|7967 | 0.000000e+00 | -- | Inf
1741.75/1742.20 c 1742s| 7350k| 1397k| 16882k| 2.3 |1285M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |4213k|7971 | 0.000000e+00 | -- | Inf
1745.35/1745.86 c 1746s| 7360k| 1398k| 16904k| 2.3 |1286M| 45 | - | 50 | 11k| 50 | 15 | 19 |4219k|7977 | 0.000000e+00 | -- | Inf
1748.46/1748.97 c 1749s| 7370k| 1400k| 16927k| 2.3 |1287M| 45 | 6 | 50 |9755 | 50 | 15 | 19 |4225k|7979 | 0.000000e+00 | -- | Inf
1751.55/1752.01 c 1752s| 7380k| 1401k| 16949k| 2.3 |1289M| 45 | 6 | 50 |9599 | 50 | 15 | 19 |4231k|7987 | 0.000000e+00 | -- | Inf
1754.25/1754.72 c 1755s| 7390k| 1403k| 16971k| 2.3 |1291M| 45 | 6 | 50 |9896 | 50 | 15 | 19 |4237k|7993 | 0.000000e+00 | -- | Inf
1757.26/1757.78 c 1758s| 7400k| 1404k| 16993k| 2.3 |1292M| 45 | 6 | 50 |8838 | 50 | 15 | 19 |4243k|8000 | 0.000000e+00 | -- | Inf
1759.45/1759.97 c 1760s| 7410k| 1406k| 17015k| 2.3 |1294M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |4248k|8006 | 0.000000e+00 | -- | Inf
1762.15/1762.62 c 1763s| 7420k| 1408k| 17038k| 2.3 |1296M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |4254k|8008 | 0.000000e+00 | -- | Inf
1764.64/1765.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1764.64/1765.16 c 1765s| 7430k| 1410k| 17060k| 2.3 |1298M| 45 | - | 50 | 11k| 0 | 0 | 19 |4260k|8009 | 0.000000e+00 | -- | Inf
1768.05/1768.51 c 1769s| 7440k| 1411k| 17082k| 2.3 |1299M| 45 | 6 | 50 |8696 | 50 | 15 | 19 |4266k|8012 | 0.000000e+00 | -- | Inf
1770.64/1771.17 c 1771s| 7450k| 1413k| 17104k| 2.3 |1300M| 45 | - | 50 |9101 | 50 | 15 | 19 |4272k|8016 | 0.000000e+00 | -- | Inf
1772.85/1773.31 c 1773s| 7460k| 1415k| 17127k| 2.3 |1303M| 45 | - | 50 | 11k| 50 | 15 | 19 |4277k|8022 | 0.000000e+00 | -- | Inf
1775.45/1775.98 c 1776s| 7470k| 1416k| 17149k| 2.3 |1304M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |4283k|8029 | 0.000000e+00 | -- | Inf
1778.74/1779.22 c 1779s| 7480k| 1418k| 17172k| 2.3 |1306M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |4290k|8035 | 0.000000e+00 | -- | Inf
1782.14/1782.68 c 1783s| 7490k| 1419k| 17194k| 2.3 |1307M| 45 | 6 | 50 |8779 | 50 | 15 | 19 |4296k|8041 | 0.000000e+00 | -- | Inf
1785.24/1785.70 c 1786s| 7500k| 1420k| 17216k| 2.3 |1308M| 45 | 6 | 50 |8361 | 50 | 15 | 19 |4302k|8045 | 0.000000e+00 | -- | Inf
1788.15/1788.62 c 1789s| 7510k| 1422k| 17239k| 2.3 |1310M| 45 | - | 50 |8651 | 50 | 15 | 19 |4308k|8051 | 0.000000e+00 | -- | Inf
1790.75/1791.24 c 1791s| 7520k| 1423k| 17261k| 2.3 |1312M| 45 | - | 50 | 10k| 50 | 15 | 19 |4314k|8061 | 0.000000e+00 | -- | Inf
1793.04/1793.54 c 1794s| 7530k| 1425k| 17283k| 2.3 |1313M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |4320k|8063 | 0.000000e+00 | -- | Inf
1795.35/1795.88 c 1796s| 7540k| 1427k| 17306k| 2.3 |1316M| 45 | - | 50 | 13k| 50 | 15 | 19 |4326k|8068 | 0.000000e+00 | -- | Inf
1796.54/1797.00 c
1796.54/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.54/1797.00 c Solving Time (sec) : 1797.00
1796.54/1797.00 c Solving Nodes : 7544272
1796.54/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.54/1797.00 c Dual Bound : +0.00000000000000e+00
1796.54/1797.00 c Gap : infinite
1796.54/1797.00 s UNKNOWN
1796.54/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.54/1797.00 c Total Time : 1797.00
1796.54/1797.00 c solving : 1797.00
1796.54/1797.00 c presolving : 0.00 (included in solving)
1796.54/1797.00 c reading : 0.00 (included in solving)
1796.54/1797.00 c Original Problem :
1796.54/1797.00 c Problem name : HOME/instance-3734857-1338713975.opb
1796.54/1797.00 c Variables : 51 (51 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.54/1797.00 c Constraints : 13 initial, 13 maximal
1796.54/1797.00 c Presolved Problem :
1796.54/1797.00 c Problem name : t_HOME/instance-3734857-1338713975.opb
1796.54/1797.00 c Variables : 50 (50 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.54/1797.00 c Constraints : 6 initial, 17674 maximal
1796.54/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.54/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1796.54/1797.00 c dualfix : 0.00 1 0 0 0 0 0 0 0 0
1796.54/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.54/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.54/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.54/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1796.54/1797.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1796.54/1797.00 c linear : 0.00 0 0 0 0 0 7 0 0 0
1796.54/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1796.54/1797.00 c root node : - 0 - - 0 - - - - -
1796.54/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.54/1797.00 c integral : 0 0 0 4610574 0 4 0 995 3556 0 0 9212414
1796.54/1797.00 c linear : 6 6 17857931 0 0 3 5746407 600293 6725680 0 0 0
1796.54/1797.00 c logicor : 0+ 6 8285099 0 0 0 6285632 16896 3265743 0 0 0
1796.54/1797.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1796.54/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.54/1797.00 c integral : 26.19 0.00 0.00 26.19 0.00 0.00 0.00
1796.54/1797.00 c linear : 112.22 0.00 98.82 0.00 0.00 0.00 13.40
1796.54/1797.00 c logicor : 463.93 0.00 455.32 0.00 0.00 0.00 8.61
1796.54/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.54/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.54/1797.00 c vbounds : 0 0 0 0
1796.54/1797.00 c rootredcost : 0 0 0 0
1796.54/1797.00 c pseudoobj : 0 0 0 0
1796.54/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1796.54/1797.00 c vbounds : 2.20 2.20 0.00
1796.54/1797.00 c rootredcost : 2.31 2.31 0.00
1796.54/1797.00 c pseudoobj : 1.60 1.60 0.00
1796.54/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.54/1797.00 c propagation : 23.47 617189 537784 1738661 36.7 102 31.5 -
1796.54/1797.00 c infeasible LP : 67.60 2545962 2545907 4712392 23.9 33160 28.7 0
1796.54/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.54/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.54/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.54/1797.00 c applied globally : - - - 3605979 20.9 - - -
1796.54/1797.00 c applied locally : - - - 722776 34.7 - - -
1796.54/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.54/1797.00 c cut pool : 0.00 5 - - 12 - (maximal pool size: 68)
1796.54/1797.00 c redcost : 5.19 4610571 0 0 0 0
1796.54/1797.00 c impliedbounds : 0.00 6 0 0 0 0
1796.54/1797.00 c intobj : 0.00 0 0 0 0 0
1796.54/1797.00 c gomory : 0.00 6 0 0 0 0
1796.54/1797.00 c cgmip : 0.00 0 0 0 0 0
1796.54/1797.00 c closecuts : 0.00 0 0 0 0 0
1796.54/1797.00 c strongcg : 0.00 6 0 0 19 0
1796.54/1797.00 c cmir : 0.01 6 0 0 25 0
1796.54/1797.00 c flowcover : 0.01 6 0 0 34 0
1796.54/1797.00 c clique : 0.00 1 0 0 0 0
1796.54/1797.00 c zerohalf : 0.00 0 0 0 0 0
1796.54/1797.00 c mcf : 0.00 1 0 0 0 0
1796.54/1797.00 c oddcycle : 0.00 0 0 0 0 0
1796.54/1797.00 c rapidlearning : 0.02 1 0 0 0 0
1796.54/1797.00 c Pricers : Time Calls Vars
1796.54/1797.00 c problem variables: 0.00 0 0
1796.54/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.54/1797.00 c relpscost : 23.92 4610574 995 3556 0 0 9212414
1796.54/1797.00 c pscost : 0.00 0 0 0 0 0 0
1796.54/1797.00 c inference : 0.00 0 0 0 0 0 0
1796.54/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1796.54/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1796.54/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1796.54/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1796.54/1797.00 c random : 0.00 0 0 0 0 0 0
1796.54/1797.00 c Primal Heuristics : Time Calls Found
1796.54/1797.00 c LP solutions : 0.00 - 0
1796.54/1797.00 c pseudo solutions : 0.00 - 0
1796.54/1797.00 c oneopt : 1.76 0 0
1796.54/1797.00 c crossover : 1.20 0 0
1796.54/1797.00 c guideddiving : 0.16 0 0
1796.54/1797.00 c fracdiving : 0.13 98 0
1796.54/1797.00 c veclendiving : 0.14 98 0
1796.54/1797.00 c feaspump : 0.13 49 0
1796.54/1797.00 c coefdiving : 0.13 99 0
1796.54/1797.00 c linesearchdiving : 0.15 99 0
1796.54/1797.00 c pscostdiving : 0.15 99 0
1796.54/1797.00 c rootsoldiving : 0.15 50 0
1796.54/1797.00 c objpscostdiving : 0.11 50 0
1796.54/1797.00 c trivial : 0.00 2 0
1796.54/1797.00 c shiftandpropagate: 0.00 1 0
1796.54/1797.00 c simplerounding : 0.69 0 0
1796.54/1797.00 c zirounding : 10.80 0 0
1796.54/1797.00 c rounding : 1.62 30394 0
1796.54/1797.00 c shifting : 2.17 8937 0
1796.54/1797.00 c intshifting : 0.08 0 0
1796.54/1797.00 c twoopt : 0.00 0 0
1796.54/1797.00 c fixandinfer : 0.00 0 0
1796.54/1797.00 c clique : 0.00 0 0
1796.54/1797.00 c intdiving : 0.00 0 0
1796.54/1797.00 c actconsdiving : 0.00 0 0
1796.54/1797.00 c octane : 0.00 0 0
1796.54/1797.00 c rens : 0.01 1 0
1796.54/1797.00 c rins : 0.00 0 0
1796.54/1797.00 c localbranching : 0.00 0 0
1796.54/1797.00 c mutation : 0.00 0 0
1796.54/1797.00 c dins : 0.00 0 0
1796.54/1797.00 c vbounds : 0.00 0 0
1796.54/1797.00 c undercover : 0.00 0 0
1796.54/1797.00 c subnlp : 0.92 0 0
1796.54/1797.00 c trysol : 1.17 0 0
1796.54/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1796.54/1797.00 c primal LP : 0.00 0 0 0.00 -
1796.54/1797.00 c dual LP : 322.62 6948090 17312216 2.49 53661.45
1796.54/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.54/1797.00 c barrier LP : 0.00 0 0 0.00 -
1796.54/1797.00 c diving/probing LP: 0.10 1996 3633 1.82 36034.87
1796.54/1797.00 c strong branching : 0.71 8068 36903 4.57 51878.80
1796.54/1797.00 c (at root node) : - 9 309 34.33 -
1796.54/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.54/1797.00 c B&B Tree :
1796.54/1797.00 c number of runs : 1
1796.54/1797.00 c nodes : 7544272
1796.54/1797.00 c nodes (total) : 7544272
1796.54/1797.00 c nodes left : 1427890
1796.54/1797.00 c max depth : 45
1796.54/1797.00 c max depth (total): 45
1796.54/1797.00 c backtracks : 1141852 (15.1%)
1796.54/1797.00 c delayed cutoffs : 240253
1796.54/1797.00 c repropagations : 6447571 (4858993 domain reductions, 224886 cutoffs)
1796.54/1797.00 c avg switch length: 5.34
1796.54/1797.00 c switching time : 486.26
1796.54/1797.00 c Solution :
1796.54/1797.00 c Solutions found : 0 (0 improvements)
1796.54/1797.00 c Primal Bound : -
1796.54/1797.00 c Dual Bound : +0.00000000000000e+00
1796.54/1797.00 c Gap : infinite
1796.54/1797.00 c Root Dual Bound : +0.00000000000000e+00
1796.54/1797.00 c Root Iterations : 162
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3734857-1338713975/watcher-3734857-1338713975 -o /tmp/evaluation-result-3734857-1338713975/solver-3734857-1338713975 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3734857-1338713975.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 15003
/proc/meminfo: memFree=27157068/32873844 swapFree=7632/7632
[pid=15003] ppid=15001 vsize=9588 CPUtime=0 cores=1,3,5,7
/proc/15003/stat : 15003 (scip-2.0.1.4b_2) R 15001 15003 12480 0 -1 4202496 1519 0 0 0 0 0 0 0 20 0 1 0 337521864 9818112 1474 33554432000 4194304 9016284 140735514691712 140734735574440 7824814 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15003/statm: 2397 1475 311 1178 0 1215 0
[startup+0.0760039 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 15003
/proc/meminfo: memFree=27157068/32873844 swapFree=7632/7632
[pid=15003] ppid=15001 vsize=24068 CPUtime=0.06 cores=1,3,5,7
/proc/15003/stat : 15003 (scip-2.0.1.4b_2) R 15001 15003 12480 0 -1 4202496 7005 0 0 0 5 1 0 0 20 0 1 0 337521864 24645632 4982 33554432000 4194304 9016284 140735514691712 140735514686872 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15003/statm: 6017 4982 681 1178 0 4835 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 24068
[startup+0.100333 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 15003
/proc/meminfo: memFree=27157068/32873844 swapFree=7632/7632
[pid=15003] ppid=15001 vsize=24068 CPUtime=0.09 cores=1,3,5,7
/proc/15003/stat : 15003 (scip-2.0.1.4b_2) R 15001 15003 12480 0 -1 4202496 7005 0 0 0 8 1 0 0 20 0 1 0 337521864 24645632 4982 33554432000 4194304 9016284 140735514691712 140735514686872 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15003/statm: 6017 4982 681 1178 0 4835 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24068
[startup+0.300222 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 15003
/proc/meminfo: memFree=27157068/32873844 swapFree=7632/7632
[pid=15003] ppid=15001 vsize=24068 CPUtime=0.29 cores=1,3,5,7
/proc/15003/stat : 15003 (scip-2.0.1.4b_2) R 15001 15003 12480 0 -1 4202496 7009 0 0 0 26 3 0 0 20 0 1 0 337521864 24645632 4986 33554432000 4194304 9016284 140735514691712 140735514686872 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15003/statm: 6017 4986 684 1178 0 4835 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24068
[startup+0.700226 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 15003
/proc/meminfo: memFree=27157068/32873844 swapFree=7632/7632
[pid=15003] ppid=15001 vsize=24068 CPUtime=0.69 cores=1,3,5,7
/proc/15003/stat : 15003 (scip-2.0.1.4b_2) R 15001 15003 12480 0 -1 4202496 7013 0 0 0 65 4 0 0 20 0 1 0 337521864 24645632 4990 33554432000 4194304 9016284 140735514691712 140735514686872 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15003/statm: 6017 4990 684 1178 0 4835 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24068
[startup+1.50023 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 15004
/proc/meminfo: memFree=27138576/32873844 swapFree=7632/7632
[pid=15003] ppid=15001 vsize=24224 CPUtime=1.49 cores=1,3,5,7
/proc/15003/stat : 15003 (scip-2.0.1.4b_2) R 15001 15003 12480 0 -1 4202496 7021 0 0 0 142 7 0 0 20 0 1 0 337521864 24805376 4998 33554432000 4194304 9016284 140735514691712 140735514686040 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15003/statm: 6056 4998 684 1178 0 4874 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24224
[startup+3.10022 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 15004
/proc/meminfo: memFree=27136460/32873844 swapFree=7632/7632
[pid=15003] ppid=15001 vsize=26868 CPUtime=3.09 cores=1,3,5,7
/proc/15003/stat : 15003 (scip-2.0.1.4b_2) R 15001 15003 12480 0 -1 4202496 7621 0 0 0 298 11 0 0 20 0 1 0 337521864 27512832 5598 33554432000 4194304 9016284 140735514691712 140735514685160 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15003/statm: 6717 5598 684 1178 0 5535 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26868
[startup+6.30023 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 15004
/proc/meminfo: memFree=27124564/32873844 swapFree=7632/7632
[pid=15003] ppid=15001 vsize=32592 CPUtime=6.28 cores=1,3,5,7
/proc/15003/stat : 15003 (scip-2.0.1.4b_2) R 15001 15003 12480 0 -1 4202496 9069 0 0 0 606 22 0 0 20 0 1 0 337521864 33374208 7046 33554432000 4194304 9016284 140735514691712 140735514685944 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15003/statm: 8148 7046 684 1178 0 6966 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 32592
[startup+12.7002 s]
/proc/loadavg: 2.08 2.03 2.01 3/177 15005
/proc/meminfo: memFree=27107072/32873844 swapFree=7632/7632
[pid=15003] ppid=15001 vsize=42864 CPUtime=12.69 cores=1,3,5,7
/proc/15003/stat : 15003 (scip-2.0.1.4b_2) R 15001 15003 12480 0 -1 4202496 11678 0 0 0 1226 43 0 0 20 0 1 0 337521864 43892736 9655 33554432000 4194304 9016284 140735514691712 140735514686040 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15003/statm: 10716 9655 684 1178 0 9534 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42864
[startup+25.5002 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 15005
/proc/meminfo: memFree=27074196/32873844 swapFree=7632/7632
[pid=15003] ppid=15001 vsize=61744 CPUtime=25.49 cores=1,3,5,7
/proc/15003/stat : 15003 (scip-2.0.1.4b_2) R 15001 15003 12480 0 -1 4202496 16425 0 0 0 2467 82 0 0 20 0 1 0 337521864 63225856 14402 33554432000 4194304 9016284 140735514691712 140735514686040 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15003/statm: 15436 14402 684 1178 0 14254 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 61744
[startup+51.1002 s]
/proc/loadavg: 2.04 2.03 2.00 3/178 15008
/proc/meminfo: memFree=27017472/32873844 swapFree=7632/7632
[pid=15003] ppid=15001 vsize=96744 CPUtime=51.08 cores=1,3,5,7
/proc/15003/stat : 15003 (scip-2.0.1.4b_2) R 15001 15003 12480 0 -1 4202496 24786 0 0 0 4955 153 0 0 20 0 1 0 337521864 99065856 22763 33554432000 4194304 9016284 140735514691712 140735514686040 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15003/statm: 24186 22763 684 1178 0 23004 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 96744
[startup+102.307 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 15031
/proc/meminfo: memFree=26906040/32873844 swapFree=7632/7632
[pid=15003] ppid=15001 vsize=156440 CPUtime=102.28 cores=1,3,5,7
/proc/15003/stat : 15003 (scip-2.0.1.4b_2) R 15001 15003 12480 0 -1 4202496 39871 0 0 0 9946 282 0 0 20 0 1 0 337521864 160194560 37848 33554432000 4194304 9016284 140735514691712 140735514686040 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15003/statm: 39110 37848 684 1178 0 37928 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 156440
[startup+162.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 15031
/proc/meminfo: memFree=26786420/32873844 swapFree=7632/7632
[pid=15003] ppid=15001 vsize=216456 CPUtime=162.27 cores=1,3,5,7
/proc/15003/stat : 15003 (scip-2.0.1.4b_2) R 15001 15003 12480 0 -1 4202496 54076 0 0 0 15806 421 0 0 20 0 1 0 337521864 221650944 52053 33554432000 4194304 9016284 140735514691712 140735514686040 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15003/statm: 54114 52053 684 1178 0 52932 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 216456
[startup+222.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 15031
/proc/meminfo: memFree=26666568/32873844 swapFree=7632/7632
[pid=15003] ppid=15001 vsize=275600 CPUtime=222.24 cores=1,3,5,7
/proc/15003/stat : 15003 (scip-2.0.1.4b_2) R 15001 15003 12480 0 -1 4202496 69048 0 0 0 21671 553 0 0 20 0 1 0 337521864 282214400 67217 33554432000 4194304 9016284 140735514691712 140735514686040 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15003/statm: 68900 67217 684 1178 0 67718 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 275600
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 15031
/proc/meminfo: memFree=26551400/32873844 swapFree=7632/7632
[pid=15003] ppid=15001 vsize=328096 CPUtime=282.23 cores=1,3,5,7
/proc/15003/stat : 15003 (scip-2.0.1.4b_2) R 15001 15003 12480 0 -1 4202496 82476 0 0 0 27535 688 0 0 20 0 1 0 337521864 335970304 80763 33554432000 4194304 9016284 140735514691712 140735514686040 6468862 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15003/statm: 82024 80763 684 1178 0 80842 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 328096
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 15032
/proc/meminfo: memFree=26449252/32873844 swapFree=7632/7632
[pid=15003] ppid=15001 vsize=376128 CPUtime=342.2 cores=1,3,5,7
/proc/15003/stat : 15003 (scip-2.0.1.4b_2) R 15001 15003 12480 0 -1 4202496 94559 0 0 0 33407 813 0 0 20 0 1 0 337521864 385155072 92900 33554432000 4194304 9016284 140735514691712 140735514685880 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15003/statm: 94032 92900 684 1178 0 92850 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 376128
[startup+402.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 15032
/proc/meminfo: memFree=26338796/32873844 swapFree=7632/7632
[pid=15003] ppid=15001 vsize=437904 CPUtime=402.16 cores=1,3,5,7
/proc/15003/stat : 15003 (scip-2.0.1.4b_2) R 15001 15003 12480 0 -1 4202496 108350 0 0 0 39279 937 0 0 20 0 1 0 337521864 448413696 106762 33554432000 4194304 9016284 140735514691712 140735514686040 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15003/statm: 109476 106762 684 1178 0 108294 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 437904
[startup+462.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 15032
/proc/meminfo: memFree=26231816/32873844 swapFree=7632/7632
[pid=15003] ppid=15001 vsize=484956 CPUtime=462.14 cores=1,3,5,7
/proc/15003/stat : 15003 (scip-2.0.1.4b_2) R 15001 15003 12480 0 -1 4202496 120294 0 0 0 45140 1074 0 0 20 0 1 0 337521864 496594944 118664 33554432000 4194304 9016284 140735514691712 140735514685128 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15003/statm: 121239 118664 684 1178 0 120057 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 484956
[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 15032
/proc/meminfo: memFree=26121384/32873844 swapFree=7632/7632
[pid=15003] ppid=15001 vsize=535040 CPUtime=522.13 cores=1,3,5,7
/proc/15003/stat : 15003 (scip-2.0.1.4b_2) R 15001 15003 12480 0 -1 4202496 132821 0 0 0 51007 1206 0 0 20 0 1 0 337521864 547880960 131265 33554432000 4194304 9016284 140735514691712 140735514686040 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15003/statm: 133760 131265 684 1178 0 132578 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 535040
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 15032
/proc/meminfo: memFree=26019580/32873844 swapFree=7632/7632
[pid=15003] ppid=15001 vsize=583760 CPUtime=582.12 cores=1,3,5,7
/proc/15003/stat : 15003 (scip-2.0.1.4b_2) R 15001 15003 12480 0 -1 4202496 145310 0 0 0 56881 1331 0 0 20 0 1 0 337521864 597770240 143754 33554432000 4194304 9016284 140735514691712 140735514686040 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15003/statm: 145940 143754 684 1178 0 144758 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 583760
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 15075
/proc/meminfo: memFree=27558732/32873844 swapFree=7632/7632
[pid=15003] ppid=15001 vsize=781672 CPUtime=882.08 cores=1,3,5,7
/proc/15003/stat : 15003 (scip-2.0.1.4b_2) R 15001 15003 12480 0 -1 4202496 195146 0 0 0 86317 1891 0 0 20 0 1 0 337521864 800432128 194101 33554432000 4194304 9016284 140735514691712 140735514686040 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15003/statm: 195418 194101 684 1178 0 194236 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 781672
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15076
/proc/meminfo: memFree=27510744/32873844 swapFree=7632/7632
[pid=15003] ppid=15001 vsize=821464 CPUtime=942.06 cores=1,3,5,7
/proc/15003/stat : 15003 (scip-2.0.1.4b_2) R 15001 15003 12480 0 -1 4202496 205243 0 0 0 92202 2004 0 0 20 0 1 0 337521864 841179136 204198 33554432000 4194304 9016284 140735514691712 140735514686040 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15003/statm: 205366 204198 684 1178 0 204184 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 821464
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15076
/proc/meminfo: memFree=27462260/32873844 swapFree=7632/7632
[pid=15003] ppid=15001 vsize=865816 CPUtime=1002.05 cores=1,3,5,7
/proc/15003/stat : 15003 (scip-2.0.1.4b_2) R 15001 15003 12480 0 -1 4202496 216228 0 0 0 98091 2114 0 0 20 0 1 0 337521864 886595584 215183 33554432000 4194304 9016284 140735514691712 140735514686040 4347574 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15003/statm: 216454 215183 684 1178 0 215272 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 865816
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15076
/proc/meminfo: memFree=27418988/32873844 swapFree=7632/7632
[pid=15003] ppid=15001 vsize=906912 CPUtime=1062.03 cores=1,3,5,7
/proc/15003/stat : 15003 (scip-2.0.1.4b_2) R 15001 15003 12480 0 -1 4202496 226735 0 0 0 103977 2226 0 0 20 0 1 0 337521864 928677888 225748 33554432000 4194304 9016284 140735514691712 140735514686040 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15003/statm: 226728 225748 684 1178 0 225546 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 906912
[startup+1122.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 15076
/proc/meminfo: memFree=27379956/32873844 swapFree=7632/7632
[pid=15003] ppid=15001 vsize=959972 CPUtime=1122.02 cores=1,3,5,7
/proc/15003/stat : 15003 (scip-2.0.1.4b_2) R 15001 15003 12480 0 -1 4202496 236186 0 0 0 109865 2337 0 0 20 0 1 0 337521864 983011328 235180 33554432000 4194304 9016284 140735514691712 140735514686040 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15003/statm: 239993 235180 684 1178 0 238811 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 959972
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 15076
/proc/meminfo: memFree=27338008/32873844 swapFree=7632/7632
[pid=15003] ppid=15001 vsize=998824 CPUtime=1182.01 cores=1,3,5,7
/proc/15003/stat : 15003 (scip-2.0.1.4b_2) R 15001 15003 12480 0 -1 4202496 246119 0 0 0 115757 2444 0 0 20 0 1 0 337521864 1022795776 245689 33554432000 4194304 9016284 140735514691712 140735514686040 4347574 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15003/statm: 249706 245689 684 1178 0 248524 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 998824
[startup+1242.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/178 15080
/proc/meminfo: memFree=27299896/32873844 swapFree=7632/7632
[pid=15003] ppid=15001 vsize=1033832 CPUtime=1241.99 cores=1,3,5,7
/proc/15003/stat : 15003 (scip-2.0.1.4b_2) R 15001 15003 12480 0 -1 4202496 254684 0 0 0 121651 2548 0 0 20 0 1 0 337521864 1058643968 254745 33554432000 4194304 9016284 140735514691712 140735514686040 6469459 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15003/statm: 258458 254745 684 1178 0 257276 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 1033832
[startup+1302.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 15080
/proc/meminfo: memFree=27249960/32873844 swapFree=7632/7632
[pid=15003] ppid=15001 vsize=1075548 CPUtime=1301.99 cores=1,3,5,7
/proc/15003/stat : 15003 (scip-2.0.1.4b_2) R 15001 15003 12480 0 -1 4202496 265256 0 0 0 127543 2656 0 0 20 0 1 0 337521864 1101361152 265300 33554432000 4194304 9016284 140735514691712 140735514686040 5325537 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15003/statm: 268887 265300 684 1178 0 267705 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 1075548
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 15080
/proc/meminfo: memFree=27210432/32873844 swapFree=7632/7632
[pid=15003] ppid=15001 vsize=1111332 CPUtime=1361.95 cores=1,3,5,7
/proc/15003/stat : 15003 (scip-2.0.1.4b_2) R 15001 15003 12480 0 -1 4202496 274361 0 0 0 133424 2771 0 0 20 0 1 0 337521864 1138003968 274379 33554432000 4194304 9016284 140735514691712 140735514686040 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15003/statm: 277833 274379 684 1178 0 276651 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 1111332
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 15080
/proc/meminfo: memFree=27165264/32873844 swapFree=7632/7632
[pid=15003] ppid=15001 vsize=1149252 CPUtime=1421.9 cores=1,3,5,7
/proc/15003/stat : 15003 (scip-2.0.1.4b_2) R 15001 15003 12480 0 -1 4202496 283992 0 0 0 139326 2864 0 0 20 0 1 0 337521864 1176834048 283965 33554432000 4194304 9016284 140735514691712 140735514686040 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15003/statm: 287313 283965 684 1178 0 286131 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1149252
[startup+1482.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 15080
/proc/meminfo: memFree=27120032/32873844 swapFree=7632/7632
[pid=15003] ppid=15001 vsize=1185288 CPUtime=1481.89 cores=1,3,5,7
/proc/15003/stat : 15003 (scip-2.0.1.4b_2) R 15001 15003 12480 0 -1 4202496 293077 0 0 0 145227 2962 0 0 20 0 1 0 337521864 1213734912 293560 33554432000 4194304 9016284 140735514691712 140735514686040 4321648 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15003/statm: 296322 293560 684 1178 0 295140 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1185288
[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 15081
/proc/meminfo: memFree=27077240/32873844 swapFree=7632/7632
[pid=15003] ppid=15001 vsize=1222564 CPUtime=1541.88 cores=1,3,5,7
/proc/15003/stat : 15003 (scip-2.0.1.4b_2) R 15001 15003 12480 0 -1 4202496 302034 0 0 0 151124 3064 0 0 20 0 1 0 337521864 1251905536 302517 33554432000 4194304 9016284 140735514691712 140735514685944 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15003/statm: 305641 302517 684 1178 0 304459 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1222564
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 15081
/proc/meminfo: memFree=27040412/32873844 swapFree=7632/7632
[pid=15003] ppid=15001 vsize=1255916 CPUtime=1601.87 cores=1,3,5,7
/proc/15003/stat : 15003 (scip-2.0.1.4b_2) R 15001 15003 12480 0 -1 4202496 310426 0 0 0 157022 3165 0 0 20 0 1 0 337521864 1286057984 310909 33554432000 4194304 9016284 140735514691712 140735514686040 5325519 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15003/statm: 313979 310909 684 1178 0 312797 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1255916
[startup+1662.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 15081
/proc/meminfo: memFree=26990128/32873844 swapFree=7632/7632
[pid=15003] ppid=15001 vsize=1294512 CPUtime=1661.86 cores=1,3,5,7
/proc/15003/stat : 15003 (scip-2.0.1.4b_2) R 15001 15003 12480 0 -1 4202496 320191 0 0 0 162917 3269 0 0 20 0 1 0 337521864 1325580288 321185 33554432000 4194304 9016284 140735514691712 140735514686040 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15003/statm: 323628 321185 684 1178 0 322446 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1294512
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 15081
/proc/meminfo: memFree=26948588/32873844 swapFree=7632/7632
[pid=15003] ppid=15001 vsize=1329276 CPUtime=1721.85 cores=1,3,5,7
/proc/15003/stat : 15003 (scip-2.0.1.4b_2) R 15001 15003 12480 0 -1 4202496 328922 0 0 0 168818 3367 0 0 20 0 1 0 337521864 1361178624 329916 33554432000 4194304 9016284 140735514691712 140735514686040 6679808 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15003/statm: 332319 329916 684 1178 0 331137 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1329276
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 15081
/proc/meminfo: memFree=26906304/32873844 swapFree=7632/7632
[pid=15003] ppid=15001 vsize=1362740 CPUtime=1781.84 cores=1,3,5,7
/proc/15003/stat : 15003 (scip-2.0.1.4b_2) R 15001 15003 12480 0 -1 4202496 337250 0 0 0 174722 3462 0 0 20 0 1 0 337521864 1395445760 338244 33554432000 4194304 9016284 140735514691712 140735514686040 6469479 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15003/statm: 340685 338244 684 1178 0 339503 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1362740
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 15081
/proc/meminfo: memFree=26893904/32873844 swapFree=7632/7632
[pid=15003] ppid=15001 vsize=1373044 CPUtime=1800.04 cores=1,3,5,7
/proc/15003/stat : 15003 (scip-2.0.1.4b_2) R 15001 15003 12480 0 -1 4202496 339853 0 0 0 176518 3486 0 0 20 0 1 0 337521864 1405997056 340847 33554432000 4194304 9016284 140735514691712 140735514687512 4839919 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15003/statm: 343261 340847 685 1178 0 342079 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1373044
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 15081
/proc/meminfo: memFree=26893904/32873844 swapFree=7632/7632
[pid=15003] ppid=15001 vsize=1373044 CPUtime=1800.04 cores=1,3,5,7
/proc/15003/stat : 15003 (scip-2.0.1.4b_2) R 15001 15003 12480 0 -1 4202496 339853 0 0 0 176518 3486 0 0 20 0 1 0 337521864 1405997056 340847 33554432000 4194304 9016284 140735514691712 140735514687512 4839919 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15003/statm: 343261 340847 685 1178 0 342079 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1373044
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.53
CPU time (s): 1800.08
CPU user time (s): 1765.19
CPU system time (s): 34.8877
CPU usage (%): 99.975
Max. virtual memory (cumulated for all children) (KiB): 1373044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1765.19
system time used= 34.8877
maximum resident set size= 1363388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 339853
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= 334
involuntary context switches= 1834
runsolver used 3.54946 second user time and 9.90549 second system time
The end