0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3452524-1307095716.opb>
0.00/0.00 c original problem has 51 variables (51 bin, 0 int, 0 impl, 0 cont) and 13 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c presolving:
0.00/0.00 c (round 1) 1 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.00 c (round 2) 1 del vars, 7 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.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.4
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 = 1800
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.02 c 0.0s| 1 | 0 | 125 | - | 319k| 0 | 9 | 50 | 15 | 50 | 10 | 4 | 9 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 130 | - | 351k| 0 | 12 | 50 | 15 | 50 | 14 | 8 | 9 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 144 | - | 368k| 0 | 14 | 50 | 15 | 50 | 18 | 12 | 9 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 150 | - | 381k| 0 | 15 | 50 | 15 | 50 | 20 | 14 | 9 | 0 | 0.000000e+00 | -- | Inf
0.03/0.04 c 0.0s| 1 | 0 | 159 | - | 388k| 0 | 14 | 50 | 15 | 50 | 23 | 17 | 9 | 0 | 0.000000e+00 | -- | Inf
0.03/0.04 c 0.0s| 1 | 0 | 162 | - | 397k| 0 | 15 | 50 | 15 | 50 | 25 | 19 | 9 | 0 | 0.000000e+00 | -- | Inf
0.03/0.06 c 0.1s| 1 | 2 | 162 | - | 398k| 0 | 15 | 50 | 15 | 50 | 25 | 19 | 9 | 9 | 0.000000e+00 | -- | Inf
1.49/1.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.97 c 3.0s| 20000 | 6637 | 50997 | 2.5 |6088k| 44 | - | 50 |2405 | 50 | 15 | 19 |9831 | 660 | 0.000000e+00 | -- | Inf
4.31/4.39 c 4.4s| 30000 | 9422 | 76496 | 2.5 |8470k| 44 | - | 50 |3445 | 50 | 15 | 19 | 15k| 784 | 0.000000e+00 | -- | Inf
5.79/5.89 c 5.9s| 40000 | 12058 |101951 | 2.5 | 10M| 44 | - | 50 |3291 | 50 | 15 | 19 | 20k| 903 | 0.000000e+00 | -- | Inf
7.29/7.30 c 7.3s| 50000 | 15308 |126603 | 2.5 | 13M| 44 | 6 | 50 |4151 | 50 | 15 | 19 | 25k| 989 | 0.000000e+00 | -- | Inf
8.71/8.75 c 8.7s| 60000 | 18400 |150519 | 2.5 | 15M| 44 | - | 50 |4339 | 50 | 15 | 19 | 30k|1047 | 0.000000e+00 | -- | Inf
10.19/10.24 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.76 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.76 c 11.8s| 80000 | 24064 |199108 | 2.5 | 19M| 44 | 6 | 50 |4414 | 50 | 15 | 19 | 40k|1171 | 0.000000e+00 | -- | Inf
13.21/13.24 c 13.2s| 90000 | 26950 |223357 | 2.5 | 21M| 44 | 6 | 50 |5223 | 50 | 15 | 19 | 45k|1220 | 0.000000e+00 | -- | Inf
14.79/14.84 c 14.8s|100000 | 29643 |247389 | 2.5 | 23M| 44 | - | 50 |4582 | 0 | 0 | 19 | 50k|1257 | 0.000000e+00 | -- | Inf
16.19/16.28 c 16.3s|110000 | 32797 |271563 | 2.5 | 26M| 44 | 6 | 50 |5906 | 50 | 15 | 19 | 55k|1305 | 0.000000e+00 | -- | Inf
17.79/17.88 c 17.9s|120000 | 35643 |295920 | 2.5 | 28M| 44 | 6 | 50 |5556 | 50 | 15 | 19 | 60k|1346 | 0.000000e+00 | -- | Inf
19.49/19.56 c 19.6s|130000 | 38251 |320248 | 2.5 | 30M| 44 | - | 50 |5103 | 50 | 15 | 19 | 66k|1397 | 0.000000e+00 | -- | Inf
21.19/21.23 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.79 c 22.8s|150000 | 43311 |369299 | 2.5 | 34M| 44 | - | 50 |6318 | 50 | 15 | 19 | 77k|1485 | 0.000000e+00 | -- | Inf
24.50/24.50 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.69/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.47 c 29.5s|190000 | 53868 |467828 | 2.5 | 43M| 44 | 6 | 50 |6990 | 50 | 15 | 19 | 98k|1647 | 0.000000e+00 | -- | Inf
31.09/31.12 c 31.1s|200000 | 56531 |491801 | 2.5 | 45M| 45 | - | 50 |7690 | 50 | 15 | 19 | 103k|1690 | 0.000000e+00 | -- | Inf
32.80/32.86 c 32.9s|210000 | 58876 |516184 | 2.5 | 47M| 45 | - | 50 |6632 | 50 | 15 | 19 | 109k|1737 | 0.000000e+00 | -- | Inf
34.39/34.41 c 34.4s|220000 | 62034 |539996 | 2.5 | 49M| 45 | - | 50 |7153 | 50 | 15 | 19 | 114k|1773 | 0.000000e+00 | -- | Inf
35.99/36.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.99/36.05 c 36.1s|230000 | 65006 |563243 | 2.4 | 51M| 45 | - | 50 |7669 | 50 | 15 | 19 | 119k|1800 | 0.000000e+00 | -- | Inf
37.69/37.76 c 37.8s|240000 | 67703 |586240 | 2.4 | 54M| 45 | - | 50 |7482 | 50 | 15 | 19 | 124k|1839 | 0.000000e+00 | -- | Inf
39.39/39.49 c 39.5s|250000 | 70167 |610761 | 2.4 | 55M| 45 | - | 50 |6397 | 50 | 15 | 19 | 129k|1874 | 0.000000e+00 | -- | Inf
41.19/41.20 c 41.2s|260000 | 72721 |634340 | 2.4 | 57M| 45 | 6 | 50 |6408 | 50 | 15 | 19 | 135k|1916 | 0.000000e+00 | -- | Inf
42.81/42.84 c 42.8s|270000 | 75509 |657181 | 2.4 | 59M| 45 | 6 | 50 |6783 | 50 | 15 | 19 | 140k|1936 | 0.000000e+00 | -- | Inf
44.59/44.67 c 44.7s|280000 | 77909 |681197 | 2.4 | 61M| 45 | 6 | 50 |5296 | 50 | 15 | 19 | 145k|1950 | 0.000000e+00 | -- | Inf
46.30/46.31 c 46.3s|290000 | 80258 |704868 | 2.4 | 63M| 45 | 6 | 50 |6141 | 50 | 15 | 19 | 151k|1983 | 0.000000e+00 | -- | Inf
47.99/48.09 c 48.1s|300000 | 82585 |728812 | 2.4 | 65M| 45 | 6 | 50 |5032 | 50 | 15 | 19 | 156k|2022 | 0.000000e+00 | -- | Inf
49.59/49.69 c 49.7s|310000 | 85089 |753286 | 2.4 | 67M| 45 | 6 | 50 |6092 | 50 | 15 | 19 | 162k|2042 | 0.000000e+00 | -- | Inf
51.40/51.40 c 51.4s|320000 | 87475 |777293 | 2.4 | 69M| 45 | 6 | 50 |5762 | 50 | 15 | 19 | 167k|2073 | 0.000000e+00 | -- | Inf
53.10/53.13 c 53.1s|330000 | 89872 |800498 | 2.4 | 71M| 45 | 6 | 50 |5599 | 50 | 15 | 19 | 172k|2093 | 0.000000e+00 | -- | Inf
54.79/54.85 c 54.9s|340000 | 92291 |823725 | 2.4 | 73M| 45 | 6 | 50 |5168 | 50 | 15 | 19 | 178k|2120 | 0.000000e+00 | -- | Inf
56.30/56.38 c 56.4s|350000 | 95088 |847792 | 2.4 | 75M| 45 | - | 50 |6879 | 0 | 0 | 19 | 183k|2144 | 0.000000e+00 | -- | Inf
58.21/58.22 c 58.2s|360000 | 97413 |872299 | 2.4 | 77M| 45 | - | 50 |6696 | 50 | 15 | 19 | 189k|2172 | 0.000000e+00 | -- | Inf
60.10/60.10 c 60.1s|370000 | 99387 |896820 | 2.4 | 79M| 45 | 6 | 50 |5959 | 50 | 15 | 19 | 194k|2207 | 0.000000e+00 | -- | Inf
61.69/61.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.69/61.73 c 61.7s|380000 |101778 |922178 | 2.4 | 81M| 45 | - | 50 |8231 | 50 | 15 | 19 | 200k|2246 | 0.000000e+00 | -- | Inf
63.39/63.41 c 63.4s|390000 |104212 |946490 | 2.4 | 84M| 45 | 6 | 50 |9916 | 50 | 15 | 19 | 205k|2276 | 0.000000e+00 | -- | Inf
65.29/65.38 c 65.4s|400000 |106547 |970600 | 2.4 | 85M| 45 | 6 | 50 |7501 | 50 | 15 | 19 | 211k|2307 | 0.000000e+00 | -- | Inf
67.11/67.17 c 67.2s|410000 |108974 |994118 | 2.4 | 87M| 45 | 6 | 50 |7300 | 50 | 15 | 19 | 216k|2334 | 0.000000e+00 | -- | Inf
68.89/68.94 c 68.9s|420000 |111516 | 1018k| 2.4 | 89M| 45 | - | 50 |7367 | 50 | 15 | 19 | 222k|2363 | 0.000000e+00 | -- | Inf
70.70/70.77 c 70.8s|430000 |113760 | 1042k| 2.4 | 91M| 45 | 6 | 50 |6718 | 50 | 15 | 19 | 227k|2388 | 0.000000e+00 | -- | Inf
72.51/72.53 c 72.5s|440000 |116119 | 1066k| 2.4 | 93M| 45 | - | 50 |7380 | 50 | 15 | 19 | 233k|2415 | 0.000000e+00 | -- | Inf
74.10/74.12 c 74.1s|450000 |119138 | 1090k| 2.4 | 95M| 45 | 6 | 50 |8924 | 50 | 15 | 19 | 238k|2437 | 0.000000e+00 | -- | Inf
75.91/75.94 c 75.9s|460000 |121621 | 1113k| 2.4 | 97M| 45 | 6 | 50 |9980 | 50 | 15 | 19 | 243k|2462 | 0.000000e+00 | -- | Inf
77.89/77.97 c 78.0s|470000 |123856 | 1136k| 2.4 | 99M| 45 | - | 50 |7372 | 50 | 15 | 19 | 249k|2482 | 0.000000e+00 | -- | Inf
79.79/79.88 c 79.9s|480000 |126030 | 1160k| 2.4 | 100M| 45 | - | 50 |6732 | 50 | 15 | 19 | 254k|2513 | 0.000000e+00 | -- | Inf
81.70/81.73 c 81.7s|490000 |128160 | 1184k| 2.4 | 102M| 45 | 6 | 50 |6959 | 50 | 15 | 19 | 260k|2537 | 0.000000e+00 | -- | Inf
83.40/83.46 c 83.5s|500000 |130466 | 1208k| 2.4 | 105M| 45 | 6 | 50 |7617 | 50 | 15 | 19 | 266k|2563 | 0.000000e+00 | -- | Inf
85.29/85.35 c 85.4s|510000 |132709 | 1232k| 2.4 | 106M| 45 | 6 | 50 |7793 | 50 | 15 | 19 | 271k|2586 | 0.000000e+00 | -- | Inf
87.19/87.24 c 87.2s|520000 |134815 | 1255k| 2.4 | 108M| 45 | 6 | 50 |7958 | 50 | 15 | 19 | 277k|2606 | 0.000000e+00 | -- | Inf
89.11/89.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
89.11/89.16 c 89.2s|530000 |136889 | 1279k| 2.4 | 110M| 45 | 6 | 50 |7716 | 50 | 15 | 19 | 283k|2633 | 0.000000e+00 | -- | Inf
90.89/90.97 c 91.0s|540000 |139192 | 1302k| 2.4 | 112M| 45 | 6 | 50 |8432 | 50 | 15 | 19 | 288k|2658 | 0.000000e+00 | -- | Inf
92.99/93.01 c 93.0s|550000 |141164 | 1325k| 2.4 | 114M| 45 | 6 | 50 |5884 | 50 | 15 | 19 | 294k|2681 | 0.000000e+00 | -- | Inf
94.69/94.75 c 94.7s|560000 |143404 | 1349k| 2.4 | 116M| 45 | 6 | 50 |6230 | 50 | 15 | 19 | 300k|2699 | 0.000000e+00 | -- | Inf
96.50/96.52 c 96.5s|570000 |145730 | 1372k| 2.4 | 117M| 45 | - | 50 |6423 | 50 | 15 | 19 | 305k|2715 | 0.000000e+00 | -- | Inf
98.20/98.27 c 98.3s|580000 |148266 | 1396k| 2.4 | 119M| 45 | 6 | 50 |6633 | 50 | 15 | 19 | 310k|2736 | 0.000000e+00 | -- | Inf
99.90/99.94 c 99.9s|590000 |150861 | 1420k| 2.4 | 122M| 45 | 6 | 50 |8149 | 50 | 15 | 19 | 316k|2761 | 0.000000e+00 | -- | Inf
101.69/101.71 c 102s|600000 |153393 | 1444k| 2.4 | 124M| 45 | 6 | 50 |9793 | 50 | 15 | 19 | 321k|2783 | 0.000000e+00 | -- | Inf
103.59/103.67 c 104s|610000 |155473 | 1467k| 2.4 | 126M| 45 | 6 | 50 | 10k| 50 | 15 | 19 | 327k|2811 | 0.000000e+00 | -- | Inf
105.62/105.67 c 106s|620000 |157532 | 1490k| 2.4 | 128M| 45 | 6 | 50 | 10k| 50 | 15 | 19 | 333k|2837 | 0.000000e+00 | -- | Inf
107.71/107.78 c 108s|630000 |159563 | 1513k| 2.4 | 130M| 45 | - | 50 | 11k| 50 | 15 | 19 | 339k|2873 | 0.000000e+00 | -- | Inf
109.91/109.95 c 110s|640000 |161743 | 1537k| 2.4 | 132M| 45 | - | 50 | 11k| 50 | 15 | 19 | 344k|2891 | 0.000000e+00 | -- | Inf
112.21/112.24 c 112s|650000 |163708 | 1560k| 2.4 | 133M| 45 | 6 | 50 |8778 | 50 | 15 | 19 | 350k|2907 | 0.000000e+00 | -- | Inf
114.00/114.09 c 114s|660000 |166003 | 1583k| 2.4 | 135M| 45 | 6 | 50 |9633 | 50 | 15 | 19 | 356k|2941 | 0.000000e+00 | -- | Inf
116.20/116.29 c 116s|670000 |167961 | 1606k| 2.4 | 137M| 45 | - | 50 |7146 | 50 | 15 | 19 | 362k|2954 | 0.000000e+00 | -- | Inf
118.09/118.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
118.09/118.10 c 118s|680000 |170275 | 1629k| 2.4 | 139M| 45 | - | 50 |8512 | 0 | 0 | 19 | 367k|2968 | 0.000000e+00 | -- | Inf
120.10/120.15 c 120s|690000 |172309 | 1653k| 2.4 | 140M| 45 | 6 | 50 |6513 | 50 | 15 | 19 | 373k|2989 | 0.000000e+00 | -- | Inf
121.89/121.94 c 122s|700000 |174525 | 1676k| 2.4 | 142M| 45 | - | 50 |7704 | 50 | 15 | 19 | 378k|3005 | 0.000000e+00 | -- | Inf
123.70/123.79 c 124s|710000 |176891 | 1700k| 2.4 | 144M| 45 | 6 | 50 |7007 | 50 | 15 | 19 | 384k|3016 | 0.000000e+00 | -- | Inf
125.49/125.58 c 126s|720000 |178841 | 1724k| 2.4 | 146M| 45 | 6 | 50 |9434 | 50 | 15 | 19 | 390k|3039 | 0.000000e+00 | -- | Inf
127.70/127.70 c 128s|730000 |180959 | 1747k| 2.4 | 148M| 45 | - | 50 |7235 | 50 | 15 | 19 | 395k|3056 | 0.000000e+00 | -- | Inf
129.49/129.60 c 130s|740000 |183140 | 1771k| 2.4 | 150M| 45 | 6 | 50 |6905 | 50 | 15 | 19 | 401k|3075 | 0.000000e+00 | -- | Inf
131.09/131.19 c 131s|750000 |185909 | 1795k| 2.4 | 152M| 45 | - | 50 |8606 | 50 | 15 | 19 | 406k|3089 | 0.000000e+00 | -- | Inf
132.90/132.98 c 133s|760000 |188350 | 1819k| 2.4 | 154M| 45 | 6 | 50 |9311 | 50 | 15 | 19 | 411k|3110 | 0.000000e+00 | -- | Inf
134.80/134.86 c 135s|770000 |190640 | 1844k| 2.4 | 156M| 45 | 6 | 50 | 10k| 50 | 15 | 19 | 416k|3127 | 0.000000e+00 | -- | Inf
136.79/136.88 c 137s|780000 |193000 | 1868k| 2.4 | 158M| 45 | 6 | 50 |9508 | 50 | 15 | 19 | 422k|3149 | 0.000000e+00 | -- | Inf
138.90/138.94 c 139s|790000 |195253 | 1891k| 2.4 | 160M| 45 | - | 50 |8492 | 50 | 15 | 19 | 427k|3167 | 0.000000e+00 | -- | Inf
140.90/140.96 c 141s|800000 |197341 | 1915k| 2.4 | 161M| 45 | - | 50 |7676 | 50 | 15 | 19 | 433k|3195 | 0.000000e+00 | -- | Inf
142.59/142.67 c 143s|810000 |200306 | 1940k| 2.4 | 164M| 45 | 6 | 50 |8592 | 50 | 15 | 19 | 438k|3213 | 0.000000e+00 | -- | Inf
144.40/144.45 c 144s|820000 |202923 | 1965k| 2.4 | 166M| 45 | - | 50 |9296 | 50 | 15 | 19 | 443k|3228 | 0.000000e+00 | -- | Inf
146.21/146.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
146.21/146.31 c 146s|830000 |205267 | 1990k| 2.4 | 168M| 45 | - | 50 | 10k| 50 | 15 | 19 | 449k|3243 | 0.000000e+00 | -- | Inf
148.09/148.16 c 148s|840000 |207723 | 2014k| 2.4 | 170M| 45 | 6 | 50 | 11k| 50 | 15 | 19 | 455k|3259 | 0.000000e+00 | -- | Inf
150.00/150.08 c 150s|850000 |210191 | 2038k| 2.4 | 172M| 45 | 6 | 50 | 11k| 50 | 15 | 19 | 460k|3275 | 0.000000e+00 | -- | Inf
151.99/152.08 c 152s|860000 |212402 | 2062k| 2.4 | 174M| 45 | - | 50 | 11k| 0 | 0 | 19 | 465k|3290 | 0.000000e+00 | -- | Inf
154.09/154.12 c 154s|870000 |214835 | 2086k| 2.4 | 176M| 45 | 6 | 50 | 11k| 50 | 15 | 19 | 471k|3306 | 0.000000e+00 | -- | Inf
156.49/156.59 c 157s|880000 |216781 | 2111k| 2.4 | 178M| 45 | 6 | 50 |8513 | 50 | 15 | 19 | 477k|3329 | 0.000000e+00 | -- | Inf
158.60/158.60 c 159s|890000 |218938 | 2134k| 2.4 | 179M| 45 | - | 50 |8107 | 50 | 15 | 19 | 482k|3345 | 0.000000e+00 | -- | Inf
160.30/160.33 c 160s|900000 |221838 | 2158k| 2.4 | 182M| 45 | 6 | 50 |9878 | 50 | 15 | 19 | 487k|3356 | 0.000000e+00 | -- | Inf
162.29/162.35 c 162s|910000 |224152 | 2180k| 2.4 | 184M| 45 | 6 | 50 |9585 | 50 | 15 | 19 | 493k|3372 | 0.000000e+00 | -- | Inf
164.69/164.72 c 165s|920000 |225963 | 2204k| 2.4 | 185M| 45 | 6 | 50 |7184 | 50 | 15 | 19 | 498k|3390 | 0.000000e+00 | -- | Inf
166.49/166.54 c 167s|930000 |228220 | 2227k| 2.4 | 187M| 45 | - | 50 |8881 | 50 | 15 | 19 | 504k|3409 | 0.000000e+00 | -- | Inf
168.60/168.63 c 169s|940000 |230135 | 2250k| 2.4 | 189M| 45 | 6 | 50 |8152 | 50 | 15 | 19 | 510k|3427 | 0.000000e+00 | -- | Inf
170.59/170.62 c 171s|950000 |232314 | 2273k| 2.4 | 191M| 45 | 6 | 50 |7818 | 50 | 15 | 19 | 515k|3445 | 0.000000e+00 | -- | Inf
172.40/172.41 c 172s|960000 |234750 | 2296k| 2.4 | 193M| 45 | 6 | 50 |9912 | 50 | 15 | 19 | 521k|3457 | 0.000000e+00 | -- | Inf
174.50/174.58 c 175s|970000 |237079 | 2320k| 2.4 | 194M| 45 | 6 | 50 |7879 | 50 | 15 | 19 | 526k|3468 | 0.000000e+00 | -- | Inf
176.69/176.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
176.69/176.73 c 177s|980000 |239030 | 2343k| 2.4 | 196M| 45 | - | 50 |5975 | 50 | 15 | 19 | 532k|3488 | 0.000000e+00 | -- | Inf
178.60/178.62 c 179s|990000 |240960 | 2367k| 2.4 | 198M| 45 | 6 | 50 |7080 | 50 | 15 | 19 | 538k|3507 | 0.000000e+00 | -- | Inf
180.31/180.41 c 180s| 1000k|243031 | 2391k| 2.4 | 200M| 45 | 6 | 50 |8626 | 50 | 15 | 19 | 543k|3524 | 0.000000e+00 | -- | Inf
182.51/182.60 c 183s| 1010k|244908 | 2414k| 2.4 | 201M| 45 | - | 50 |6561 | 50 | 15 | 19 | 549k|3535 | 0.000000e+00 | -- | Inf
184.19/184.24 c 184s| 1020k|247561 | 2437k| 2.4 | 204M| 45 | 6 | 50 |8740 | 50 | 15 | 19 | 554k|3557 | 0.000000e+00 | -- | Inf
186.30/186.34 c 186s| 1030k|249531 | 2461k| 2.4 | 205M| 45 | 6 | 50 |7719 | 50 | 15 | 19 | 560k|3572 | 0.000000e+00 | -- | Inf
188.20/188.23 c 188s| 1040k|251780 | 2484k| 2.4 | 207M| 45 | 6 | 50 |8483 | 50 | 15 | 19 | 566k|3586 | 0.000000e+00 | -- | Inf
190.31/190.36 c 190s| 1050k|253758 | 2507k| 2.4 | 209M| 45 | - | 50 |8179 | 50 | 15 | 19 | 571k|3596 | 0.000000e+00 | -- | Inf
192.41/192.45 c 192s| 1060k|255715 | 2531k| 2.4 | 211M| 45 | 6 | 50 |7527 | 50 | 15 | 19 | 577k|3614 | 0.000000e+00 | -- | Inf
194.40/194.48 c 194s| 1070k|257825 | 2554k| 2.4 | 213M| 45 | - | 50 |7289 | 50 | 15 | 19 | 583k|3626 | 0.000000e+00 | -- | Inf
196.40/196.48 c 196s| 1080k|259789 | 2578k| 2.4 | 215M| 45 | - | 50 |7769 | 50 | 15 | 19 | 589k|3641 | 0.000000e+00 | -- | Inf
198.39/198.49 c 198s| 1090k|262009 | 2602k| 2.4 | 216M| 45 | - | 50 |7763 | 50 | 15 | 19 | 594k|3663 | 0.000000e+00 | -- | Inf
200.40/200.46 c 200s| 1100k|264117 | 2625k| 2.4 | 218M| 45 | 6 | 50 |7056 | 50 | 15 | 19 | 600k|3675 | 0.000000e+00 | -- | Inf
202.42/202.48 c 202s| 1110k|265966 | 2648k| 2.4 | 220M| 45 | 6 | 50 |7257 | 50 | 15 | 19 | 606k|3698 | 0.000000e+00 | -- | Inf
204.40/204.50 c 205s| 1120k|267774 | 2672k| 2.4 | 222M| 45 | 6 | 50 |7404 | 50 | 15 | 19 | 612k|3713 | 0.000000e+00 | -- | Inf
206.30/206.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
206.30/206.30 c 206s| 1130k|270082 | 2695k| 2.4 | 224M| 45 | 6 | 50 |9003 | 50 | 15 | 19 | 617k|3726 | 0.000000e+00 | -- | Inf
207.99/208.02 c 208s| 1140k|272961 | 2720k| 2.4 | 227M| 45 | 6 | 50 | 10k| 50 | 15 | 19 | 622k|3742 | 0.000000e+00 | -- | Inf
209.90/209.90 c 210s| 1150k|275595 | 2744k| 2.4 | 229M| 45 | - | 50 | 11k| 0 | 0 | 19 | 627k|3760 | 0.000000e+00 | -- | Inf
211.80/211.86 c 212s| 1160k|278174 | 2767k| 2.4 | 231M| 45 | - | 50 | 11k| 50 | 15 | 19 | 633k|3773 | 0.000000e+00 | -- | Inf
213.99/214.04 c 214s| 1170k|280393 | 2791k| 2.4 | 232M| 45 | 6 | 50 |9538 | 50 | 15 | 19 | 638k|3786 | 0.000000e+00 | -- | Inf
216.09/216.19 c 216s| 1180k|282302 | 2816k| 2.4 | 234M| 45 | - | 50 |8809 | 50 | 15 | 19 | 644k|3799 | 0.000000e+00 | -- | Inf
218.29/218.33 c 218s| 1190k|284400 | 2839k| 2.4 | 235M| 45 | 6 | 50 |7804 | 50 | 15 | 19 | 650k|3811 | 0.000000e+00 | -- | Inf
220.19/220.23 c 220s| 1200k|286627 | 2863k| 2.4 | 237M| 45 | - | 50 |8479 | 50 | 15 | 19 | 655k|3826 | 0.000000e+00 | -- | Inf
221.89/221.97 c 222s| 1210k|289109 | 2886k| 2.4 | 240M| 45 | 6 | 50 | 10k| 50 | 15 | 19 | 661k|3842 | 0.000000e+00 | -- | Inf
223.89/223.94 c 224s| 1220k|291358 | 2909k| 2.4 | 242M| 45 | - | 50 | 10k| 50 | 15 | 19 | 666k|3858 | 0.000000e+00 | -- | Inf
226.10/226.10 c 226s| 1230k|293466 | 2931k| 2.4 | 244M| 45 | 6 | 50 | 11k| 50 | 15 | 19 | 672k|3870 | 0.000000e+00 | -- | Inf
227.89/227.94 c 228s| 1240k|296239 | 2956k| 2.4 | 246M| 45 | - | 50 | 12k| 50 | 15 | 19 | 677k|3886 | 0.000000e+00 | -- | Inf
230.30/230.31 c 230s| 1250k|298396 | 2980k| 2.4 | 248M| 45 | 6 | 50 | 11k| 50 | 15 | 19 | 683k|3905 | 0.000000e+00 | -- | Inf
232.49/232.55 c 233s| 1260k|300395 | 3004k| 2.4 | 249M| 45 | 6 | 50 |8405 | 50 | 15 | 19 | 688k|3919 | 0.000000e+00 | -- | Inf
234.69/234.79 c 235s| 1270k|302296 | 3027k| 2.4 | 250M| 45 | - | 50 |6892 | 50 | 15 | 19 | 694k|3934 | 0.000000e+00 | -- | Inf
236.41/236.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
236.41/236.51 c 237s| 1280k|304256 | 3051k| 2.4 | 253M| 45 | - | 50 |9889 | 50 | 15 | 19 | 700k|3943 | 0.000000e+00 | -- | Inf
238.72/238.74 c 239s| 1290k|306000 | 3074k| 2.4 | 254M| 45 | 6 | 50 |7996 | 50 | 15 | 19 | 705k|3952 | 0.000000e+00 | -- | Inf
240.49/240.57 c 241s| 1300k|307956 | 3097k| 2.4 | 256M| 45 | 6 | 50 |9384 | 50 | 15 | 19 | 711k|3964 | 0.000000e+00 | -- | Inf
242.69/242.75 c 243s| 1310k|310068 | 3120k| 2.4 | 258M| 45 | 6 | 50 |7652 | 50 | 15 | 19 | 717k|3977 | 0.000000e+00 | -- | Inf
244.80/244.90 c 245s| 1320k|311980 | 3143k| 2.4 | 259M| 45 | - | 50 |7208 | 50 | 15 | 19 | 722k|3989 | 0.000000e+00 | -- | Inf
246.79/246.80 c 247s| 1330k|314169 | 3167k| 2.4 | 261M| 45 | 6 | 50 |8161 | 50 | 15 | 19 | 728k|4004 | 0.000000e+00 | -- | Inf
248.80/248.82 c 249s| 1340k|316310 | 3190k| 2.4 | 263M| 45 | - | 50 |7883 | 50 | 15 | 19 | 733k|4018 | 0.000000e+00 | -- | Inf
250.71/250.76 c 251s| 1350k|318701 | 3213k| 2.4 | 265M| 45 | - | 50 |8346 | 50 | 15 | 19 | 739k|4031 | 0.000000e+00 | -- | Inf
252.80/252.82 c 253s| 1360k|320645 | 3236k| 2.4 | 267M| 45 | 6 | 50 |8442 | 50 | 15 | 19 | 744k|4047 | 0.000000e+00 | -- | Inf
254.99/255.08 c 255s| 1370k|322552 | 3259k| 2.4 | 269M| 45 | 6 | 50 |7908 | 50 | 15 | 19 | 750k|4060 | 0.000000e+00 | -- | Inf
257.09/257.19 c 257s| 1380k|324472 | 3282k| 2.4 | 270M| 45 | 6 | 50 |7301 | 50 | 15 | 19 | 756k|4073 | 0.000000e+00 | -- | Inf
258.80/258.88 c 259s| 1390k|326708 | 3305k| 2.4 | 273M| 45 | 6 | 50 | 10k| 50 | 15 | 19 | 762k|4083 | 0.000000e+00 | -- | Inf
260.90/260.90 c 261s| 1400k|328849 | 3328k| 2.4 | 275M| 45 | 6 | 50 |9882 | 50 | 15 | 19 | 767k|4096 | 0.000000e+00 | -- | Inf
262.92/262.93 c 263s| 1410k|331377 | 3350k| 2.4 | 276M| 45 | 6 | 50 |8826 | 50 | 15 | 19 | 772k|4103 | 0.000000e+00 | -- | Inf
265.01/265.10 c 265s| 1420k|333331 | 3374k| 2.4 | 278M| 45 | 6 | 50 |7595 | 50 | 15 | 19 | 778k|4120 | 0.000000e+00 | -- | Inf
267.10/267.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
267.10/267.12 c 267s| 1430k|335184 | 3397k| 2.4 | 280M| 45 | 6 | 50 |8276 | 50 | 15 | 19 | 784k|4135 | 0.000000e+00 | -- | Inf
269.20/269.23 c 269s| 1440k|337192 | 3420k| 2.4 | 282M| 45 | 6 | 50 |8535 | 50 | 15 | 19 | 790k|4147 | 0.000000e+00 | -- | Inf
271.40/271.43 c 271s| 1450k|339107 | 3443k| 2.4 | 283M| 45 | 6 | 50 |7610 | 50 | 15 | 19 | 796k|4158 | 0.000000e+00 | -- | Inf
273.39/273.44 c 273s| 1460k|341000 | 3468k| 2.4 | 285M| 45 | 6 | 50 |8632 | 50 | 15 | 19 | 802k|4168 | 0.000000e+00 | -- | Inf
275.40/275.43 c 275s| 1470k|343181 | 3491k| 2.4 | 287M| 45 | 6 | 50 |9381 | 50 | 15 | 19 | 807k|4182 | 0.000000e+00 | -- | Inf
277.40/277.45 c 277s| 1480k|345054 | 3515k| 2.4 | 289M| 45 | 6 | 50 | 10k| 50 | 15 | 19 | 813k|4197 | 0.000000e+00 | -- | Inf
279.80/279.81 c 280s| 1490k|346970 | 3538k| 2.4 | 291M| 45 | - | 50 |9379 | 50 | 15 | 19 | 818k|4212 | 0.000000e+00 | -- | Inf
281.90/281.93 c 282s| 1500k|349136 | 3562k| 2.4 | 293M| 45 | 6 | 50 |9131 | 50 | 15 | 19 | 824k|4234 | 0.000000e+00 | -- | Inf
283.72/283.80 c 284s| 1510k|351347 | 3587k| 2.4 | 295M| 45 | - | 50 | 10k| 0 | 0 | 19 | 830k|4254 | 0.000000e+00 | -- | Inf
285.91/285.99 c 286s| 1520k|353001 | 3610k| 2.4 | 297M| 45 | 6 | 50 | 11k| 50 | 15 | 19 | 836k|4268 | 0.000000e+00 | -- | Inf
288.12/288.17 c 288s| 1530k|355103 | 3634k| 2.4 | 298M| 45 | 6 | 50 | 11k| 50 | 15 | 19 | 842k|4280 | 0.000000e+00 | -- | Inf
290.31/290.39 c 290s| 1540k|357199 | 3658k| 2.4 | 301M| 45 | 6 | 50 | 13k| 50 | 15 | 19 | 848k|4289 | 0.000000e+00 | -- | Inf
292.62/292.66 c 293s| 1550k|359108 | 3681k| 2.4 | 303M| 45 | 6 | 50 | 14k| 50 | 15 | 19 | 854k|4304 | 0.000000e+00 | -- | Inf
295.00/295.04 c 295s| 1560k|361035 | 3705k| 2.4 | 304M| 45 | - | 50 | 14k| 50 | 15 | 19 | 860k|4311 | 0.000000e+00 | -- | Inf
297.40/297.46 c 297s| 1570k|363115 | 3729k| 2.4 | 307M| 45 | 6 | 50 | 15k| 50 | 15 | 19 | 866k|4316 | 0.000000e+00 | -- | Inf
300.32/300.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
300.32/300.33 c 300s| 1580k|364941 | 3752k| 2.4 | 307M| 45 | - | 50 | 10k| 50 | 15 | 19 | 872k|4321 | 0.000000e+00 | -- | Inf
302.80/302.83 c 303s| 1590k|366747 | 3774k| 2.4 | 308M| 45 | 6 | 50 |7844 | 50 | 15 | 19 | 878k|4331 | 0.000000e+00 | -- | Inf
304.61/304.67 c 305s| 1600k|369222 | 3798k| 2.4 | 311M| 45 | - | 50 |9492 | 50 | 15 | 19 | 883k|4337 | 0.000000e+00 | -- | Inf
306.81/306.87 c 307s| 1610k|371160 | 3821k| 2.4 | 313M| 45 | - | 50 |9633 | 50 | 15 | 19 | 889k|4347 | 0.000000e+00 | -- | Inf
309.02/309.05 c 309s| 1620k|373214 | 3844k| 2.4 | 314M| 45 | 6 | 50 |8831 | 50 | 15 | 19 | 894k|4356 | 0.000000e+00 | -- | Inf
310.99/311.00 c 311s| 1630k|375737 | 3868k| 2.4 | 316M| 45 | 6 | 50 |8383 | 50 | 15 | 19 | 900k|4367 | 0.000000e+00 | -- | Inf
312.70/312.77 c 313s| 1640k|378563 | 3893k| 2.4 | 319M| 45 | 6 | 50 | 10k| 50 | 15 | 19 | 905k|4380 | 0.000000e+00 | -- | Inf
314.69/314.77 c 315s| 1650k|381110 | 3916k| 2.4 | 320M| 45 | - | 50 | 10k| 50 | 15 | 19 | 910k|4391 | 0.000000e+00 | -- | Inf
316.72/316.80 c 317s| 1660k|383373 | 3939k| 2.4 | 322M| 45 | 6 | 50 | 10k| 50 | 15 | 19 | 916k|4402 | 0.000000e+00 | -- | Inf
318.80/318.89 c 319s| 1670k|385671 | 3962k| 2.4 | 324M| 45 | - | 50 | 10k| 50 | 15 | 19 | 921k|4415 | 0.000000e+00 | -- | Inf
321.00/321.04 c 321s| 1680k|387688 | 3985k| 2.4 | 326M| 45 | - | 50 | 10k| 50 | 15 | 19 | 927k|4426 | 0.000000e+00 | -- | Inf
323.10/323.15 c 323s| 1690k|389915 | 4007k| 2.4 | 328M| 45 | 6 | 50 | 11k| 50 | 15 | 19 | 932k|4436 | 0.000000e+00 | -- | Inf
325.40/325.45 c 325s| 1700k|391745 | 4031k| 2.4 | 330M| 45 | 6 | 50 | 10k| 50 | 15 | 19 | 938k|4445 | 0.000000e+00 | -- | Inf
327.50/327.51 c 328s| 1710k|394320 | 4055k| 2.4 | 332M| 45 | 6 | 50 | 12k| 50 | 15 | 19 | 943k|4462 | 0.000000e+00 | -- | Inf
329.60/329.68 c 330s| 1720k|396718 | 4078k| 2.4 | 334M| 45 | - | 50 | 12k| 50 | 15 | 19 | 948k|4476 | 0.000000e+00 | -- | Inf
332.00/332.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
332.00/332.07 c 332s| 1730k|398801 | 4101k| 2.4 | 336M| 45 | - | 50 | 13k| 50 | 15 | 19 | 954k|4486 | 0.000000e+00 | -- | Inf
334.42/334.43 c 334s| 1740k|400779 | 4124k| 2.4 | 337M| 45 | - | 50 | 11k| 0 | 0 | 19 | 960k|4496 | 0.000000e+00 | -- | Inf
337.10/337.14 c 337s| 1750k|402518 | 4147k| 2.4 | 338M| 45 | - | 50 |8741 | 50 | 15 | 19 | 966k|4505 | 0.000000e+00 | -- | Inf
339.40/339.48 c 339s| 1760k|404300 | 4170k| 2.4 | 340M| 45 | - | 50 |7997 | 50 | 15 | 19 | 972k|4517 | 0.000000e+00 | -- | Inf
341.60/341.63 c 342s| 1770k|406188 | 4194k| 2.4 | 342M| 45 | 6 | 50 |8142 | 50 | 15 | 19 | 978k|4525 | 0.000000e+00 | -- | Inf
343.60/343.64 c 344s| 1780k|408323 | 4217k| 2.4 | 344M| 45 | 6 | 50 |9246 | 50 | 15 | 19 | 983k|4537 | 0.000000e+00 | -- | Inf
345.80/345.87 c 346s| 1790k|410284 | 4240k| 2.4 | 345M| 45 | 6 | 50 |8679 | 50 | 15 | 19 | 989k|4549 | 0.000000e+00 | -- | Inf
348.00/348.04 c 348s| 1800k|412165 | 4263k| 2.4 | 347M| 45 | 6 | 50 |8624 | 50 | 15 | 19 | 995k|4557 | 0.000000e+00 | -- | Inf
350.10/350.17 c 350s| 1810k|414242 | 4286k| 2.4 | 349M| 45 | 6 | 50 |8409 | 50 | 15 | 19 |1001k|4579 | 0.000000e+00 | -- | Inf
351.91/351.98 c 352s| 1820k|416794 | 4307k| 2.4 | 351M| 45 | - | 50 |9786 | 50 | 15 | 19 |1006k|4590 | 0.000000e+00 | -- | Inf
354.12/354.19 c 354s| 1830k|418563 | 4330k| 2.4 | 353M| 45 | 6 | 50 |9176 | 50 | 15 | 19 |1011k|4600 | 0.000000e+00 | -- | Inf
356.10/356.17 c 356s| 1840k|421071 | 4354k| 2.4 | 355M| 45 | 6 | 50 |9412 | 50 | 15 | 19 |1017k|4609 | 0.000000e+00 | -- | Inf
357.90/357.99 c 358s| 1850k|423957 | 4377k| 2.4 | 357M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |1022k|4623 | 0.000000e+00 | -- | Inf
360.00/360.06 c 360s| 1860k|426123 | 4400k| 2.4 | 359M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |1027k|4633 | 0.000000e+00 | -- | Inf
362.20/362.28 c 362s| 1870k|428108 | 4424k| 2.4 | 361M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1033k|4640 | 0.000000e+00 | -- | Inf
364.60/364.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
364.60/364.60 c 365s| 1880k|430123 | 4447k| 2.4 | 363M| 45 | - | 50 | 11k| 50 | 15 | 19 |1039k|4654 | 0.000000e+00 | -- | Inf
367.00/367.04 c 367s| 1890k|431929 | 4470k| 2.4 | 364M| 45 | 6 | 50 |9576 | 50 | 15 | 19 |1044k|4665 | 0.000000e+00 | -- | Inf
369.30/369.38 c 369s| 1900k|433807 | 4493k| 2.4 | 366M| 45 | - | 50 |9232 | 50 | 15 | 19 |1050k|4674 | 0.000000e+00 | -- | Inf
371.60/371.67 c 372s| 1910k|435826 | 4516k| 2.4 | 368M| 45 | 6 | 50 |8131 | 50 | 15 | 19 |1056k|4688 | 0.000000e+00 | -- | Inf
373.91/373.99 c 374s| 1920k|437523 | 4539k| 2.4 | 369M| 45 | 6 | 50 |7616 | 50 | 15 | 19 |1062k|4708 | 0.000000e+00 | -- | Inf
376.00/376.01 c 376s| 1930k|439665 | 4562k| 2.4 | 371M| 45 | - | 50 |8882 | 50 | 15 | 19 |1067k|4717 | 0.000000e+00 | -- | Inf
378.32/378.32 c 378s| 1940k|441481 | 4585k| 2.4 | 373M| 45 | - | 50 |8720 | 50 | 15 | 19 |1073k|4730 | 0.000000e+00 | -- | Inf
380.52/380.57 c 381s| 1950k|443134 | 4608k| 2.4 | 375M| 45 | 6 | 50 |8375 | 50 | 15 | 19 |1079k|4735 | 0.000000e+00 | -- | Inf
382.50/382.52 c 383s| 1960k|445315 | 4632k| 2.4 | 377M| 45 | - | 50 |9914 | 50 | 15 | 19 |1085k|4741 | 0.000000e+00 | -- | Inf
384.50/384.51 c 385s| 1970k|447299 | 4656k| 2.4 | 379M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1091k|4756 | 0.000000e+00 | -- | Inf
387.00/387.04 c 387s| 1980k|449117 | 4680k| 2.4 | 380M| 45 | 6 | 50 |9155 | 50 | 15 | 19 |1097k|4764 | 0.000000e+00 | -- | Inf
389.00/389.08 c 389s| 1990k|451405 | 4702k| 2.4 | 382M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |1103k|4775 | 0.000000e+00 | -- | Inf
391.30/391.34 c 391s| 2000k|453402 | 4725k| 2.4 | 384M| 45 | 6 | 50 |9050 | 50 | 15 | 19 |1109k|4788 | 0.000000e+00 | -- | Inf
393.41/393.41 c 393s| 2010k|455338 | 4749k| 2.4 | 386M| 45 | - | 50 | 10k| 50 | 15 | 19 |1115k|4794 | 0.000000e+00 | -- | Inf
395.70/395.71 c 396s| 2020k|457091 | 4773k| 2.4 | 387M| 45 | - | 50 |9665 | 50 | 15 | 19 |1121k|4806 | 0.000000e+00 | -- | Inf
398.00/398.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
398.00/398.08 c 398s| 2030k|458911 | 4796k| 2.4 | 389M| 45 | - | 50 |8879 | 50 | 15 | 19 |1127k|4819 | 0.000000e+00 | -- | Inf
400.32/400.40 c 400s| 2040k|460606 | 4820k| 2.4 | 390M| 45 | 6 | 50 |8620 | 50 | 15 | 19 |1133k|4832 | 0.000000e+00 | -- | Inf
402.52/402.61 c 403s| 2050k|462537 | 4843k| 2.4 | 392M| 45 | - | 50 |8773 | 50 | 15 | 19 |1139k|4841 | 0.000000e+00 | -- | Inf
404.40/404.40 c 404s| 2060k|465023 | 4867k| 2.4 | 395M| 45 | - | 50 | 10k| 0 | 0 | 19 |1144k|4846 | 0.000000e+00 | -- | Inf
406.40/406.44 c 406s| 2070k|467229 | 4891k| 2.4 | 397M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1149k|4857 | 0.000000e+00 | -- | Inf
408.80/408.82 c 409s| 2080k|469304 | 4914k| 2.4 | 398M| 45 | 6 | 50 |9599 | 50 | 15 | 19 |1155k|4866 | 0.000000e+00 | -- | Inf
410.70/410.74 c 411s| 2090k|471958 | 4938k| 2.4 | 401M| 45 | - | 50 | 11k| 50 | 15 | 19 |1160k|4878 | 0.000000e+00 | -- | Inf
412.90/412.94 c 413s| 2100k|474030 | 4960k| 2.4 | 403M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |1166k|4886 | 0.000000e+00 | -- | Inf
415.11/415.17 c 415s| 2110k|476091 | 4983k| 2.4 | 404M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |1171k|4901 | 0.000000e+00 | -- | Inf
417.50/417.56 c 418s| 2120k|477700 | 5005k| 2.4 | 406M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1177k|4913 | 0.000000e+00 | -- | Inf
420.00/420.01 c 420s| 2130k|479128 | 5027k| 2.4 | 408M| 45 | - | 50 | 12k| 50 | 15 | 19 |1183k|4926 | 0.000000e+00 | -- | Inf
422.32/422.35 c 422s| 2140k|480852 | 5050k| 2.4 | 410M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |1189k|4938 | 0.000000e+00 | -- | Inf
425.00/425.06 c 425s| 2150k|482682 | 5073k| 2.4 | 410M| 45 | - | 50 |8670 | 50 | 15 | 19 |1195k|4949 | 0.000000e+00 | -- | Inf
427.20/427.25 c 427s| 2160k|484513 | 5095k| 2.4 | 412M| 45 | 6 | 50 |8720 | 50 | 15 | 19 |1201k|4960 | 0.000000e+00 | -- | Inf
429.50/429.52 c 430s| 2170k|486409 | 5118k| 2.4 | 414M| 45 | 6 | 50 |8115 | 50 | 15 | 19 |1206k|4968 | 0.000000e+00 | -- | Inf
431.90/431.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
431.90/431.90 c 432s| 2180k|488092 | 5141k| 2.4 | 415M| 45 | 6 | 50 |7173 | 50 | 15 | 19 |1212k|4984 | 0.000000e+00 | -- | Inf
434.00/434.08 c 434s| 2190k|490028 | 5164k| 2.4 | 417M| 45 | - | 50 |6979 | 50 | 15 | 19 |1218k|4993 | 0.000000e+00 | -- | Inf
436.20/436.20 c 436s| 2200k|491779 | 5186k| 2.4 | 419M| 45 | 6 | 50 |7060 | 50 | 15 | 19 |1224k|5004 | 0.000000e+00 | -- | Inf
438.30/438.33 c 438s| 2210k|493602 | 5209k| 2.4 | 421M| 45 | 6 | 50 |7611 | 50 | 15 | 19 |1229k|5012 | 0.000000e+00 | -- | Inf
440.31/440.31 c 440s| 2220k|495557 | 5232k| 2.4 | 423M| 45 | - | 50 |9253 | 50 | 15 | 19 |1235k|5019 | 0.000000e+00 | -- | Inf
442.70/442.75 c 443s| 2230k|497309 | 5255k| 2.4 | 424M| 45 | 6 | 50 |7060 | 50 | 15 | 19 |1241k|5031 | 0.000000e+00 | -- | Inf
444.60/444.61 c 445s| 2240k|499308 | 5280k| 2.4 | 426M| 45 | 6 | 50 |9500 | 50 | 15 | 19 |1247k|5044 | 0.000000e+00 | -- | Inf
446.52/446.54 c 447s| 2250k|501395 | 5305k| 2.4 | 429M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1253k|5053 | 0.000000e+00 | -- | Inf
449.20/449.26 c 449s| 2260k|503056 | 5328k| 2.4 | 430M| 45 | 6 | 50 |8856 | 50 | 15 | 19 |1259k|5063 | 0.000000e+00 | -- | Inf
451.40/451.49 c 451s| 2270k|505038 | 5351k| 2.4 | 431M| 45 | 6 | 50 |9124 | 50 | 15 | 19 |1265k|5079 | 0.000000e+00 | -- | Inf
454.00/454.02 c 454s| 2280k|506653 | 5374k| 2.4 | 433M| 45 | 6 | 50 |7149 | 50 | 15 | 19 |1271k|5083 | 0.000000e+00 | -- | Inf
455.81/455.80 c 456s| 2290k|509364 | 5398k| 2.4 | 435M| 45 | 6 | 50 |8707 | 50 | 15 | 19 |1276k|5093 | 0.000000e+00 | -- | Inf
457.62/457.64 c 458s| 2300k|511828 | 5421k| 2.4 | 437M| 45 | - | 50 | 10k| 50 | 15 | 19 |1281k|5100 | 0.000000e+00 | -- | Inf
459.61/459.64 c 460s| 2310k|514203 | 5444k| 2.4 | 439M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |1286k|5105 | 0.000000e+00 | -- | Inf
461.81/461.81 c 462s| 2320k|516231 | 5466k| 2.4 | 441M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1292k|5120 | 0.000000e+00 | -- | Inf
463.91/463.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
463.91/463.91 c 464s| 2330k|518416 | 5489k| 2.4 | 443M| 45 | - | 50 | 12k| 0 | 0 | 19 |1297k|5131 | 0.000000e+00 | -- | Inf
466.21/466.24 c 466s| 2340k|520298 | 5512k| 2.4 | 445M| 45 | - | 50 | 13k| 0 | 0 | 19 |1302k|5139 | 0.000000e+00 | -- | Inf
468.70/468.75 c 469s| 2350k|521979 | 5535k| 2.4 | 446M| 45 | - | 50 | 12k| 50 | 15 | 19 |1308k|5149 | 0.000000e+00 | -- | Inf
471.10/471.13 c 471s| 2360k|523843 | 5558k| 2.4 | 448M| 45 | - | 50 | 12k| 50 | 15 | 19 |1313k|5151 | 0.000000e+00 | -- | Inf
473.50/473.59 c 474s| 2370k|525447 | 5581k| 2.4 | 450M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |1319k|5165 | 0.000000e+00 | -- | Inf
476.11/476.15 c 476s| 2380k|527006 | 5604k| 2.4 | 451M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |1325k|5174 | 0.000000e+00 | -- | Inf
478.70/478.75 c 479s| 2390k|528795 | 5628k| 2.4 | 453M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |1330k|5185 | 0.000000e+00 | -- | Inf
481.30/481.30 c 481s| 2400k|530559 | 5651k| 2.4 | 454M| 45 | 6 | 50 |9047 | 50 | 15 | 19 |1336k|5190 | 0.000000e+00 | -- | Inf
483.60/483.67 c 484s| 2410k|532176 | 5674k| 2.4 | 455M| 45 | 6 | 50 |8324 | 50 | 15 | 19 |1343k|5196 | 0.000000e+00 | -- | Inf
486.00/486.09 c 486s| 2420k|533707 | 5697k| 2.4 | 456M| 45 | 6 | 50 |7427 | 50 | 15 | 19 |1349k|5203 | 0.000000e+00 | -- | Inf
488.21/488.31 c 488s| 2430k|535531 | 5721k| 2.4 | 458M| 45 | 6 | 50 |7286 | 50 | 15 | 19 |1355k|5214 | 0.000000e+00 | -- | Inf
490.41/490.48 c 490s| 2440k|537327 | 5744k| 2.4 | 460M| 45 | 6 | 50 |7568 | 50 | 15 | 19 |1361k|5223 | 0.000000e+00 | -- | Inf
492.72/492.81 c 493s| 2450k|539044 | 5767k| 2.4 | 462M| 45 | 6 | 50 |7200 | 50 | 15 | 19 |1367k|5231 | 0.000000e+00 | -- | Inf
495.11/495.17 c 495s| 2460k|540722 | 5789k| 2.4 | 463M| 45 | - | 50 |6481 | 50 | 15 | 19 |1373k|5243 | 0.000000e+00 | -- | Inf
497.00/497.09 c 497s| 2470k|542510 | 5812k| 2.4 | 465M| 45 | 6 | 50 |7905 | 50 | 15 | 19 |1378k|5256 | 0.000000e+00 | -- | Inf
499.11/499.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
499.11/499.15 c 499s| 2480k|544462 | 5836k| 2.4 | 467M| 45 | - | 50 |9507 | 50 | 15 | 19 |1384k|5266 | 0.000000e+00 | -- | Inf
501.40/501.50 c 501s| 2490k|546096 | 5859k| 2.4 | 469M| 45 | - | 50 |9518 | 50 | 15 | 19 |1390k|5276 | 0.000000e+00 | -- | Inf
503.72/503.74 c 504s| 2500k|548056 | 5881k| 2.4 | 470M| 45 | - | 50 |8088 | 50 | 15 | 19 |1396k|5283 | 0.000000e+00 | -- | Inf
506.02/506.06 c 506s| 2510k|549683 | 5904k| 2.4 | 472M| 45 | 6 | 50 |7646 | 50 | 15 | 19 |1402k|5292 | 0.000000e+00 | -- | Inf
508.12/508.15 c 508s| 2520k|551336 | 5928k| 2.4 | 474M| 45 | - | 50 |8769 | 50 | 15 | 19 |1408k|5300 | 0.000000e+00 | -- | Inf
510.42/510.43 c 510s| 2530k|553016 | 5951k| 2.4 | 476M| 45 | - | 50 |8745 | 50 | 15 | 19 |1414k|5313 | 0.000000e+00 | -- | Inf
512.41/512.40 c 512s| 2540k|554943 | 5974k| 2.4 | 478M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |1419k|5319 | 0.000000e+00 | -- | Inf
514.72/514.75 c 515s| 2550k|556811 | 5997k| 2.4 | 479M| 45 | 6 | 50 |8592 | 50 | 15 | 19 |1425k|5330 | 0.000000e+00 | -- | Inf
517.02/517.04 c 517s| 2560k|558444 | 6020k| 2.4 | 481M| 45 | 6 | 50 |8129 | 50 | 15 | 19 |1431k|5342 | 0.000000e+00 | -- | Inf
519.12/519.17 c 519s| 2570k|560356 | 6044k| 2.4 | 483M| 45 | - | 50 | 10k| 50 | 15 | 19 |1437k|5350 | 0.000000e+00 | -- | Inf
521.32/521.34 c 521s| 2580k|562374 | 6067k| 2.4 | 485M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |1443k|5360 | 0.000000e+00 | -- | Inf
523.90/523.90 c 524s| 2590k|563988 | 6091k| 2.4 | 486M| 45 | 6 | 50 |8300 | 50 | 15 | 19 |1449k|5369 | 0.000000e+00 | -- | Inf
525.72/525.77 c 526s| 2600k|565887 | 6115k| 2.4 | 488M| 45 | - | 50 | 10k| 0 | 0 | 19 |1455k|5383 | 0.000000e+00 | -- | Inf
527.92/528.01 c 528s| 2610k|567688 | 6138k| 2.4 | 490M| 45 | - | 50 | 10k| 50 | 15 | 19 |1460k|5392 | 0.000000e+00 | -- | Inf
530.50/530.55 c 531s| 2620k|569274 | 6160k| 2.4 | 491M| 45 | - | 50 |8159 | 50 | 15 | 19 |1466k|5397 | 0.000000e+00 | -- | Inf
532.51/532.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
532.51/532.60 c 533s| 2630k|571501 | 6184k| 2.4 | 493M| 45 | - | 50 |9463 | 50 | 15 | 19 |1472k|5406 | 0.000000e+00 | -- | Inf
535.10/535.17 c 535s| 2640k|573258 | 6207k| 2.4 | 495M| 45 | 6 | 50 |8290 | 50 | 15 | 19 |1478k|5413 | 0.000000e+00 | -- | Inf
537.60/537.64 c 538s| 2650k|574826 | 6230k| 2.4 | 496M| 45 | - | 50 |7908 | 50 | 15 | 19 |1484k|5427 | 0.000000e+00 | -- | Inf
539.71/539.76 c 540s| 2660k|576823 | 6252k| 2.4 | 498M| 45 | 6 | 50 |8956 | 50 | 15 | 19 |1489k|5436 | 0.000000e+00 | -- | Inf
542.00/542.03 c 542s| 2670k|578670 | 6275k| 2.4 | 500M| 45 | - | 50 |9442 | 0 | 0 | 19 |1495k|5447 | 0.000000e+00 | -- | Inf
544.20/544.29 c 544s| 2680k|580451 | 6299k| 2.4 | 502M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |1501k|5453 | 0.000000e+00 | -- | Inf
546.81/546.87 c 547s| 2690k|582121 | 6321k| 2.4 | 503M| 45 | 6 | 50 |8012 | 50 | 15 | 19 |1507k|5461 | 0.000000e+00 | -- | Inf
548.82/548.86 c 549s| 2700k|584219 | 6345k| 2.3 | 505M| 45 | 6 | 50 |9375 | 50 | 15 | 19 |1513k|5468 | 0.000000e+00 | -- | Inf
551.31/551.30 c 551s| 2710k|585819 | 6368k| 2.3 | 507M| 45 | 6 | 50 |8774 | 50 | 15 | 19 |1519k|5478 | 0.000000e+00 | -- | Inf
553.50/553.55 c 554s| 2720k|587620 | 6391k| 2.3 | 509M| 45 | - | 50 |9077 | 50 | 15 | 19 |1525k|5490 | 0.000000e+00 | -- | Inf
555.60/555.63 c 556s| 2730k|589754 | 6415k| 2.3 | 511M| 45 | 6 | 50 |9856 | 50 | 15 | 19 |1531k|5497 | 0.000000e+00 | -- | Inf
558.11/558.13 c 558s| 2740k|591499 | 6437k| 2.3 | 512M| 45 | - | 50 |7991 | 50 | 15 | 19 |1536k|5507 | 0.000000e+00 | -- | Inf
560.30/560.30 c 560s| 2750k|593389 | 6461k| 2.3 | 514M| 45 | - | 50 |7868 | 50 | 15 | 19 |1542k|5519 | 0.000000e+00 | -- | Inf
562.51/562.59 c 563s| 2760k|595090 | 6483k| 2.3 | 515M| 45 | 6 | 50 |7603 | 50 | 15 | 19 |1548k|5532 | 0.000000e+00 | -- | Inf
564.71/564.75 c 565s| 2770k|596864 | 6506k| 2.3 | 517M| 45 | - | 50 |7750 | 0 | 0 | 19 |1554k|5541 | 0.000000e+00 | -- | Inf
567.11/567.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
567.11/567.16 c 567s| 2780k|598433 | 6529k| 2.3 | 519M| 45 | 6 | 50 |7567 | 50 | 15 | 19 |1560k|5550 | 0.000000e+00 | -- | Inf
568.91/568.96 c 569s| 2790k|601435 | 6553k| 2.3 | 521M| 45 | 6 | 50 |8483 | 50 | 15 | 19 |1565k|5557 | 0.000000e+00 | -- | Inf
570.82/570.91 c 571s| 2800k|603704 | 6576k| 2.3 | 523M| 45 | - | 50 |9193 | 0 | 0 | 19 |1570k|5563 | 0.000000e+00 | -- | Inf
572.80/572.84 c 573s| 2810k|606252 | 6598k| 2.3 | 525M| 45 | - | 50 | 10k| 50 | 15 | 19 |1576k|5569 | 0.000000e+00 | -- | Inf
574.91/574.90 c 575s| 2820k|608477 | 6622k| 2.3 | 527M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1581k|5577 | 0.000000e+00 | -- | Inf
577.01/577.08 c 577s| 2830k|610573 | 6644k| 2.3 | 529M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |1587k|5587 | 0.000000e+00 | -- | Inf
579.21/579.27 c 579s| 2840k|612753 | 6667k| 2.3 | 530M| 45 | - | 50 | 10k| 50 | 15 | 19 |1592k|5592 | 0.000000e+00 | -- | Inf
581.41/581.41 c 581s| 2850k|614646 | 6690k| 2.3 | 532M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1598k|5601 | 0.000000e+00 | -- | Inf
583.71/583.71 c 584s| 2860k|616577 | 6714k| 2.3 | 534M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1604k|5610 | 0.000000e+00 | -- | Inf
585.90/585.99 c 586s| 2870k|618444 | 6737k| 2.3 | 536M| 45 | - | 50 | 12k| 50 | 15 | 19 |1609k|5612 | 0.000000e+00 | -- | Inf
588.30/588.35 c 588s| 2880k|620353 | 6761k| 2.3 | 538M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1615k|5618 | 0.000000e+00 | -- | Inf
590.73/590.72 c 591s| 2890k|622228 | 6784k| 2.3 | 540M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |1621k|5620 | 0.000000e+00 | -- | Inf
593.31/593.30 c 593s| 2900k|623771 | 6807k| 2.3 | 541M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1627k|5629 | 0.000000e+00 | -- | Inf
595.41/595.49 c 595s| 2910k|625778 | 6830k| 2.3 | 543M| 45 | - | 50 | 12k| 50 | 15 | 19 |1633k|5641 | 0.000000e+00 | -- | Inf
598.10/598.15 c 598s| 2920k|627367 | 6852k| 2.3 | 544M| 45 | - | 50 | 11k| 50 | 15 | 19 |1638k|5646 | 0.000000e+00 | -- | Inf
600.53/600.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
600.53/600.60 c 601s| 2930k|629005 | 6875k| 2.3 | 546M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |1644k|5654 | 0.000000e+00 | -- | Inf
603.21/603.29 c 603s| 2940k|630665 | 6898k| 2.3 | 547M| 45 | - | 50 |8734 | 50 | 15 | 19 |1650k|5664 | 0.000000e+00 | -- | Inf
605.60/605.64 c 606s| 2950k|632361 | 6921k| 2.3 | 549M| 45 | 6 | 50 |8422 | 50 | 15 | 19 |1656k|5670 | 0.000000e+00 | -- | Inf
607.60/607.61 c 608s| 2960k|634667 | 6943k| 2.3 | 551M| 45 | 6 | 50 |9781 | 50 | 15 | 19 |1662k|5678 | 0.000000e+00 | -- | Inf
610.11/610.12 c 610s| 2970k|636380 | 6966k| 2.3 | 552M| 45 | - | 50 |8275 | 50 | 15 | 19 |1667k|5683 | 0.000000e+00 | -- | Inf
612.51/612.53 c 613s| 2980k|637988 | 6989k| 2.3 | 554M| 45 | - | 50 |7538 | 50 | 15 | 19 |1673k|5688 | 0.000000e+00 | -- | Inf
614.82/614.84 c 615s| 2990k|639663 | 7011k| 2.3 | 555M| 45 | 6 | 50 |7673 | 50 | 15 | 19 |1679k|5694 | 0.000000e+00 | -- | Inf
616.91/617.01 c 617s| 3000k|641496 | 7033k| 2.3 | 557M| 45 | 6 | 50 |8617 | 50 | 15 | 19 |1685k|5703 | 0.000000e+00 | -- | Inf
619.41/619.40 c 619s| 3010k|643137 | 7056k| 2.3 | 559M| 45 | 6 | 50 |8103 | 50 | 15 | 19 |1691k|5712 | 0.000000e+00 | -- | Inf
621.42/621.43 c 621s| 3020k|645319 | 7079k| 2.3 | 561M| 45 | 6 | 50 |8987 | 50 | 15 | 19 |1696k|5718 | 0.000000e+00 | -- | Inf
623.80/623.86 c 624s| 3030k|647032 | 7101k| 2.3 | 562M| 45 | 6 | 50 |8013 | 50 | 15 | 19 |1702k|5726 | 0.000000e+00 | -- | Inf
626.11/626.15 c 626s| 3040k|648803 | 7123k| 2.3 | 564M| 45 | - | 50 |7483 | 50 | 15 | 19 |1708k|5737 | 0.000000e+00 | -- | Inf
628.40/628.46 c 628s| 3050k|650307 | 7147k| 2.3 | 566M| 45 | - | 50 |8703 | 50 | 15 | 19 |1714k|5746 | 0.000000e+00 | -- | Inf
630.91/630.92 c 631s| 3060k|651862 | 7170k| 2.3 | 568M| 45 | 6 | 50 |8694 | 50 | 15 | 19 |1720k|5760 | 0.000000e+00 | -- | Inf
633.01/633.04 c 633s| 3070k|653957 | 7193k| 2.3 | 569M| 45 | 6 | 50 |9204 | 50 | 15 | 19 |1726k|5774 | 0.000000e+00 | -- | Inf
634.90/634.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
634.90/634.99 c 635s| 3080k|656151 | 7216k| 2.3 | 572M| 45 | - | 50 | 10k| 50 | 15 | 19 |1731k|5781 | 0.000000e+00 | -- | Inf
637.10/637.16 c 637s| 3090k|658170 | 7240k| 2.3 | 574M| 45 | - | 50 | 11k| 50 | 15 | 19 |1737k|5788 | 0.000000e+00 | -- | Inf
639.71/639.77 c 640s| 3100k|659919 | 7262k| 2.3 | 575M| 45 | - | 50 |9159 | 0 | 0 | 19 |1743k|5794 | 0.000000e+00 | -- | Inf
642.11/642.12 c 642s| 3110k|661679 | 7286k| 2.3 | 577M| 45 | - | 50 |8982 | 50 | 15 | 19 |1749k|5804 | 0.000000e+00 | -- | Inf
644.52/644.57 c 645s| 3120k|663240 | 7308k| 2.3 | 578M| 45 | 6 | 50 |8685 | 50 | 15 | 19 |1755k|5809 | 0.000000e+00 | -- | Inf
646.72/646.75 c 647s| 3130k|664940 | 7331k| 2.3 | 580M| 45 | 6 | 50 |9810 | 50 | 15 | 19 |1761k|5813 | 0.000000e+00 | -- | Inf
649.21/649.25 c 649s| 3140k|666596 | 7354k| 2.3 | 582M| 45 | - | 50 |9209 | 50 | 15 | 19 |1767k|5826 | 0.000000e+00 | -- | Inf
651.51/651.55 c 652s| 3150k|668339 | 7377k| 2.3 | 583M| 45 | 6 | 50 |9033 | 50 | 15 | 19 |1773k|5830 | 0.000000e+00 | -- | Inf
654.01/654.08 c 654s| 3160k|670022 | 7400k| 2.3 | 585M| 45 | - | 50 |7991 | 50 | 15 | 19 |1779k|5840 | 0.000000e+00 | -- | Inf
656.21/656.25 c 656s| 3170k|671556 | 7423k| 2.3 | 587M| 45 | 6 | 50 |9215 | 50 | 15 | 19 |1785k|5845 | 0.000000e+00 | -- | Inf
658.60/658.62 c 659s| 3180k|673368 | 7446k| 2.3 | 588M| 45 | 6 | 50 |9419 | 50 | 15 | 19 |1791k|5857 | 0.000000e+00 | -- | Inf
660.61/660.64 c 661s| 3190k|675028 | 7469k| 2.3 | 590M| 45 | - | 50 | 10k| 50 | 15 | 19 |1797k|5870 | 0.000000e+00 | -- | Inf
663.01/663.06 c 663s| 3200k|676474 | 7492k| 2.3 | 592M| 45 | - | 50 | 10k| 50 | 15 | 19 |1803k|5877 | 0.000000e+00 | -- | Inf
665.11/665.15 c 665s| 3210k|678658 | 7515k| 2.3 | 594M| 45 | - | 50 | 12k| 50 | 15 | 19 |1808k|5884 | 0.000000e+00 | -- | Inf
667.31/667.38 c 667s| 3220k|680840 | 7538k| 2.3 | 596M| 45 | - | 50 | 13k| 50 | 15 | 19 |1814k|5892 | 0.000000e+00 | -- | Inf
670.01/670.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
670.01/670.09 c 670s| 3230k|682761 | 7561k| 2.3 | 597M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1820k|5896 | 0.000000e+00 | -- | Inf
672.31/672.34 c 672s| 3240k|685037 | 7584k| 2.3 | 599M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1825k|5902 | 0.000000e+00 | -- | Inf
674.51/674.57 c 675s| 3250k|686918 | 7607k| 2.3 | 601M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |1831k|5908 | 0.000000e+00 | -- | Inf
677.41/677.40 c 677s| 3260k|688572 | 7629k| 2.3 | 602M| 45 | 6 | 50 |8799 | 50 | 15 | 19 |1837k|5920 | 0.000000e+00 | -- | Inf
679.60/679.71 c 680s| 3270k|690176 | 7652k| 2.3 | 604M| 45 | 6 | 50 |9602 | 50 | 15 | 19 |1843k|5926 | 0.000000e+00 | -- | Inf
681.93/681.99 c 682s| 3280k|691980 | 7676k| 2.3 | 606M| 45 | 6 | 50 |9770 | 50 | 15 | 19 |1849k|5935 | 0.000000e+00 | -- | Inf
684.01/684.09 c 684s| 3290k|693546 | 7700k| 2.3 | 608M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1855k|5944 | 0.000000e+00 | -- | Inf
686.60/686.66 c 687s| 3300k|695034 | 7722k| 2.3 | 609M| 45 | 6 | 50 |9274 | 50 | 15 | 19 |1861k|5949 | 0.000000e+00 | -- | Inf
689.21/689.20 c 689s| 3310k|696620 | 7745k| 2.3 | 610M| 45 | - | 50 |8502 | 50 | 15 | 19 |1867k|5962 | 0.000000e+00 | -- | Inf
691.31/691.37 c 691s| 3320k|698502 | 7768k| 2.3 | 612M| 45 | 6 | 50 |9392 | 50 | 15 | 19 |1873k|5969 | 0.000000e+00 | -- | Inf
693.61/693.68 c 694s| 3330k|700321 | 7791k| 2.3 | 614M| 45 | 6 | 50 |9434 | 50 | 15 | 19 |1879k|5976 | 0.000000e+00 | -- | Inf
696.01/696.08 c 696s| 3340k|702052 | 7813k| 2.3 | 615M| 45 | 6 | 50 |8882 | 50 | 15 | 19 |1885k|5985 | 0.000000e+00 | -- | Inf
698.31/698.35 c 698s| 3350k|703769 | 7836k| 2.3 | 617M| 45 | 6 | 50 |9864 | 50 | 15 | 19 |1891k|5995 | 0.000000e+00 | -- | Inf
700.81/700.85 c 701s| 3360k|705523 | 7858k| 2.3 | 619M| 45 | 6 | 50 |9004 | 50 | 15 | 19 |1896k|6001 | 0.000000e+00 | -- | Inf
702.82/702.88 c 703s| 3370k|707620 | 7882k| 2.3 | 621M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |1902k|6003 | 0.000000e+00 | -- | Inf
705.03/705.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
705.03/705.06 c 705s| 3380k|709552 | 7906k| 2.3 | 623M| 45 | - | 50 | 11k| 50 | 15 | 19 |1908k|6005 | 0.000000e+00 | -- | Inf
707.33/707.35 c 707s| 3390k|711444 | 7930k| 2.3 | 625M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1914k|6011 | 0.000000e+00 | -- | Inf
709.71/709.76 c 710s| 3400k|713121 | 7953k| 2.3 | 626M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |1919k|6021 | 0.000000e+00 | -- | Inf
712.61/712.65 c 713s| 3410k|714629 | 7976k| 2.3 | 627M| 45 | - | 50 |8668 | 0 | 0 | 19 |1926k|6029 | 0.000000e+00 | -- | Inf
714.71/714.71 c 715s| 3420k|716400 | 8000k| 2.3 | 629M| 45 | - | 50 | 10k| 50 | 15 | 19 |1932k|6036 | 0.000000e+00 | -- | Inf
717.13/717.14 c 717s| 3430k|718145 | 8023k| 2.3 | 631M| 45 | - | 50 |9237 | 50 | 15 | 19 |1938k|6042 | 0.000000e+00 | -- | Inf
719.71/719.73 c 720s| 3440k|719703 | 8045k| 2.3 | 632M| 45 | 6 | 50 |7743 | 50 | 15 | 19 |1944k|6045 | 0.000000e+00 | -- | Inf
721.80/721.81 c 722s| 3450k|721449 | 8069k| 2.3 | 634M| 45 | 6 | 50 |8688 | 50 | 15 | 19 |1950k|6051 | 0.000000e+00 | -- | Inf
723.83/723.85 c 724s| 3460k|723377 | 8090k| 2.3 | 636M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |1955k|6053 | 0.000000e+00 | -- | Inf
726.03/726.02 c 726s| 3470k|725702 | 8113k| 2.3 | 638M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |1960k|6054 | 0.000000e+00 | -- | Inf
728.13/728.18 c 728s| 3480k|728220 | 8136k| 2.3 | 640M| 45 | - | 50 | 13k| 0 | 0 | 19 |1965k|6062 | 0.000000e+00 | -- | Inf
730.51/730.51 c 731s| 3490k|730410 | 8160k| 2.3 | 642M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |1971k|6068 | 0.000000e+00 | -- | Inf
733.01/733.08 c 733s| 3500k|732403 | 8182k| 2.3 | 644M| 45 | 6 | 50 | 15k| 50 | 15 | 19 |1976k|6072 | 0.000000e+00 | -- | Inf
735.83/735.84 c 736s| 3510k|734163 | 8205k| 2.3 | 646M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |1982k|6082 | 0.000000e+00 | -- | Inf
738.61/738.69 c 739s| 3520k|735869 | 8228k| 2.3 | 648M| 45 | - | 50 | 15k| 0 | 0 | 19 |1987k|6088 | 0.000000e+00 | -- | Inf
741.21/741.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
741.21/741.27 c 741s| 3530k|737666 | 8250k| 2.3 | 650M| 45 | 6 | 50 | 16k| 50 | 15 | 19 |1993k|6094 | 0.000000e+00 | -- | Inf
743.91/743.94 c 744s| 3540k|739548 | 8273k| 2.3 | 651M| 45 | - | 50 | 17k| 50 | 15 | 19 |1998k|6105 | 0.000000e+00 | -- | Inf
746.83/746.88 c 747s| 3550k|741294 | 8296k| 2.3 | 653M| 45 | - | 50 | 17k| 50 | 15 | 19 |2004k|6114 | 0.000000e+00 | -- | Inf
749.81/749.86 c 750s| 3560k|742882 | 8319k| 2.3 | 654M| 45 | - | 50 | 16k| 50 | 15 | 19 |2010k|6117 | 0.000000e+00 | -- | Inf
752.52/752.58 c 753s| 3570k|744740 | 8340k| 2.3 | 656M| 45 | - | 50 | 16k| 50 | 15 | 19 |2015k|6121 | 0.000000e+00 | -- | Inf
755.81/755.84 c 756s| 3580k|746118 | 8363k| 2.3 | 657M| 45 | 6 | 50 | 15k| 50 | 15 | 19 |2021k|6127 | 0.000000e+00 | -- | Inf
758.61/758.63 c 759s| 3590k|747814 | 8384k| 2.3 | 659M| 45 | 6 | 50 | 16k| 50 | 15 | 19 |2026k|6127 | 0.000000e+00 | -- | Inf
761.71/761.79 c 762s| 3600k|749290 | 8407k| 2.3 | 660M| 45 | 6 | 50 | 15k| 50 | 15 | 19 |2032k|6129 | 0.000000e+00 | -- | Inf
764.43/764.49 c 764s| 3610k|751153 | 8430k| 2.3 | 662M| 45 | - | 50 | 16k| 50 | 15 | 19 |2037k|6134 | 0.000000e+00 | -- | Inf
767.83/767.87 c 768s| 3620k|752744 | 8453k| 2.3 | 663M| 45 | - | 50 | 12k| 50 | 15 | 19 |2043k|6140 | 0.000000e+00 | -- | Inf
769.93/770.00 c 770s| 3630k|754816 | 8476k| 2.3 | 665M| 45 | - | 50 | 14k| 50 | 15 | 19 |2049k|6150 | 0.000000e+00 | -- | Inf
772.81/772.87 c 773s| 3640k|756447 | 8499k| 2.3 | 666M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2055k|6153 | 0.000000e+00 | -- | Inf
775.43/775.43 c 775s| 3650k|758273 | 8522k| 2.3 | 668M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |2061k|6162 | 0.000000e+00 | -- | Inf
777.91/777.97 c 778s| 3660k|759985 | 8545k| 2.3 | 669M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |2067k|6170 | 0.000000e+00 | -- | Inf
780.41/780.46 c 780s| 3670k|761624 | 8567k| 2.3 | 671M| 45 | - | 50 |9993 | 50 | 15 | 19 |2073k|6175 | 0.000000e+00 | -- | Inf
783.13/783.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
783.13/783.20 c 783s| 3680k|763152 | 8590k| 2.3 | 672M| 45 | - | 50 |8578 | 50 | 15 | 19 |2079k|6185 | 0.000000e+00 | -- | Inf
785.81/785.88 c 786s| 3690k|764756 | 8612k| 2.3 | 674M| 45 | 6 | 50 |7290 | 50 | 15 | 19 |2085k|6193 | 0.000000e+00 | -- | Inf
788.21/788.27 c 788s| 3700k|766319 | 8635k| 2.3 | 675M| 45 | 6 | 50 |7518 | 50 | 15 | 19 |2091k|6204 | 0.000000e+00 | -- | Inf
790.52/790.57 c 791s| 3710k|767953 | 8657k| 2.3 | 677M| 45 | - | 50 |7704 | 50 | 15 | 19 |2097k|6210 | 0.000000e+00 | -- | Inf
792.91/793.00 c 793s| 3720k|769460 | 8680k| 2.3 | 679M| 45 | 6 | 50 |8037 | 50 | 15 | 19 |2103k|6219 | 0.000000e+00 | -- | Inf
795.41/795.44 c 795s| 3730k|771096 | 8702k| 2.3 | 680M| 45 | - | 50 |8335 | 50 | 15 | 19 |2109k|6226 | 0.000000e+00 | -- | Inf
797.91/797.91 c 798s| 3740k|772659 | 8725k| 2.3 | 682M| 45 | - | 50 |8448 | 50 | 15 | 19 |2115k|6232 | 0.000000e+00 | -- | Inf
800.31/800.32 c 800s| 3750k|774201 | 8748k| 2.3 | 684M| 45 | 6 | 50 |8241 | 50 | 15 | 19 |2121k|6237 | 0.000000e+00 | -- | Inf
802.81/802.82 c 803s| 3760k|775712 | 8771k| 2.3 | 685M| 45 | 6 | 50 |8043 | 50 | 15 | 19 |2127k|6249 | 0.000000e+00 | -- | Inf
805.24/805.22 c 805s| 3770k|777293 | 8794k| 2.3 | 687M| 45 | - | 50 |7837 | 50 | 15 | 19 |2133k|6253 | 0.000000e+00 | -- | Inf
807.33/807.38 c 807s| 3780k|779233 | 8817k| 2.3 | 689M| 45 | 6 | 50 |8626 | 50 | 15 | 19 |2138k|6263 | 0.000000e+00 | -- | Inf
809.31/809.37 c 809s| 3790k|781630 | 8842k| 2.3 | 691M| 45 | - | 50 | 10k| 50 | 15 | 19 |2144k|6270 | 0.000000e+00 | -- | Inf
811.61/811.61 c 812s| 3800k|783595 | 8865k| 2.3 | 693M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2150k|6279 | 0.000000e+00 | -- | Inf
813.82/813.86 c 814s| 3810k|785405 | 8889k| 2.3 | 695M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2156k|6287 | 0.000000e+00 | -- | Inf
816.23/816.23 c 816s| 3820k|787150 | 8913k| 2.3 | 697M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2162k|6295 | 0.000000e+00 | -- | Inf
818.82/818.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
818.82/818.82 c 819s| 3830k|788697 | 8936k| 2.3 | 698M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2168k|6304 | 0.000000e+00 | -- | Inf
821.51/821.56 c 822s| 3840k|790404 | 8960k| 2.3 | 699M| 45 | - | 50 | 10k| 50 | 15 | 19 |2174k|6310 | 0.000000e+00 | -- | Inf
824.01/824.07 c 824s| 3850k|792195 | 8982k| 2.3 | 701M| 45 | 6 | 50 |9293 | 50 | 15 | 19 |2180k|6313 | 0.000000e+00 | -- | Inf
826.03/826.07 c 826s| 3860k|794497 | 9005k| 2.3 | 703M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |2185k|6322 | 0.000000e+00 | -- | Inf
828.42/828.40 c 828s| 3870k|796216 | 9027k| 2.3 | 705M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2191k|6330 | 0.000000e+00 | -- | Inf
831.21/831.20 c 831s| 3880k|797580 | 9050k| 2.3 | 706M| 45 | - | 50 |9381 | 50 | 15 | 19 |2197k|6337 | 0.000000e+00 | -- | Inf
833.61/833.67 c 834s| 3890k|799178 | 9073k| 2.3 | 707M| 45 | - | 50 |8798 | 50 | 15 | 19 |2203k|6341 | 0.000000e+00 | -- | Inf
835.71/835.77 c 836s| 3900k|801285 | 9096k| 2.3 | 709M| 45 | - | 50 |9752 | 50 | 15 | 19 |2209k|6347 | 0.000000e+00 | -- | Inf
837.71/837.71 c 838s| 3910k|803611 | 9120k| 2.3 | 712M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2215k|6353 | 0.000000e+00 | -- | Inf
839.91/839.92 c 840s| 3920k|805779 | 9144k| 2.3 | 714M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2220k|6357 | 0.000000e+00 | -- | Inf
842.22/842.27 c 842s| 3930k|807559 | 9168k| 2.3 | 715M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2226k|6364 | 0.000000e+00 | -- | Inf
844.73/844.72 c 845s| 3940k|809346 | 9192k| 2.3 | 717M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2232k|6368 | 0.000000e+00 | -- | Inf
847.11/847.17 c 847s| 3950k|811399 | 9216k| 2.3 | 719M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2238k|6374 | 0.000000e+00 | -- | Inf
849.72/849.79 c 850s| 3960k|813052 | 9240k| 2.3 | 721M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |2244k|6377 | 0.000000e+00 | -- | Inf
852.21/852.22 c 852s| 3970k|815204 | 9264k| 2.3 | 723M| 45 | - | 50 | 14k| 50 | 15 | 19 |2250k|6382 | 0.000000e+00 | -- | Inf
855.02/855.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
855.02/855.07 c 855s| 3980k|816855 | 9287k| 2.3 | 724M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |2255k|6387 | 0.000000e+00 | -- | Inf
857.82/857.88 c 858s| 3990k|818342 | 9310k| 2.3 | 726M| 45 | - | 50 | 13k| 50 | 15 | 19 |2262k|6393 | 0.000000e+00 | -- | Inf
860.72/860.78 c 861s| 4000k|820000 | 9333k| 2.3 | 726M| 45 | - | 50 |9749 | 50 | 15 | 19 |2267k|6407 | 0.000000e+00 | -- | Inf
863.43/863.49 c 863s| 4010k|821589 | 9355k| 2.3 | 728M| 45 | 6 | 50 |8735 | 50 | 15 | 19 |2274k|6413 | 0.000000e+00 | -- | Inf
865.92/865.95 c 866s| 4020k|823197 | 9378k| 2.3 | 729M| 45 | 6 | 50 |8588 | 50 | 15 | 19 |2279k|6417 | 0.000000e+00 | -- | Inf
867.93/867.97 c 868s| 4030k|825472 | 9402k| 2.3 | 732M| 45 | - | 50 | 10k| 50 | 15 | 19 |2285k|6421 | 0.000000e+00 | -- | Inf
870.32/870.30 c 870s| 4040k|827229 | 9426k| 2.3 | 734M| 45 | - | 50 | 11k| 50 | 15 | 19 |2291k|6428 | 0.000000e+00 | -- | Inf
872.82/872.88 c 873s| 4050k|828881 | 9448k| 2.3 | 735M| 45 | 6 | 50 |9236 | 50 | 15 | 19 |2297k|6432 | 0.000000e+00 | -- | Inf
875.41/875.49 c 875s| 4060k|830496 | 9470k| 2.3 | 736M| 45 | 6 | 50 |7993 | 50 | 15 | 19 |2303k|6437 | 0.000000e+00 | -- | Inf
877.42/877.41 c 877s| 4070k|833071 | 9493k| 2.3 | 739M| 45 | 6 | 50 |9790 | 50 | 15 | 19 |2308k|6444 | 0.000000e+00 | -- | Inf
879.61/879.61 c 880s| 4080k|834981 | 9514k| 2.3 | 740M| 45 | - | 50 | 10k| 50 | 15 | 19 |2314k|6458 | 0.000000e+00 | -- | Inf
882.13/882.19 c 882s| 4090k|836607 | 9537k| 2.3 | 742M| 45 | 6 | 50 |8927 | 50 | 15 | 19 |2320k|6468 | 0.000000e+00 | -- | Inf
884.72/884.72 c 885s| 4100k|838133 | 9559k| 2.3 | 743M| 45 | - | 50 |8070 | 50 | 15 | 19 |2326k|6474 | 0.000000e+00 | -- | Inf
886.82/886.89 c 887s| 4110k|839971 | 9582k| 2.3 | 745M| 45 | 6 | 50 |8660 | 50 | 15 | 19 |2332k|6479 | 0.000000e+00 | -- | Inf
889.21/889.25 c 889s| 4120k|841650 | 9605k| 2.3 | 747M| 45 | 6 | 50 |8064 | 50 | 15 | 19 |2337k|6484 | 0.000000e+00 | -- | Inf
891.11/891.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
891.11/891.17 c 891s| 4130k|844020 | 9628k| 2.3 | 749M| 45 | 6 | 50 |9635 | 50 | 15 | 19 |2343k|6496 | 0.000000e+00 | -- | Inf
893.23/893.29 c 893s| 4140k|845787 | 9651k| 2.3 | 751M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2348k|6501 | 0.000000e+00 | -- | Inf
895.51/895.51 c 896s| 4150k|847765 | 9675k| 2.3 | 753M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2354k|6505 | 0.000000e+00 | -- | Inf
898.22/898.22 c 898s| 4160k|849339 | 9697k| 2.3 | 754M| 45 | - | 50 | 11k| 50 | 15 | 19 |2360k|6516 | 0.000000e+00 | -- | Inf
900.71/900.74 c 901s| 4170k|851515 | 9720k| 2.3 | 756M| 45 | 6 | 50 |9885 | 50 | 15 | 19 |2366k|6519 | 0.000000e+00 | -- | Inf
902.82/902.81 c 903s| 4180k|853785 | 9743k| 2.3 | 758M| 45 | - | 50 | 11k| 50 | 15 | 19 |2371k|6523 | 0.000000e+00 | -- | Inf
905.01/905.08 c 905s| 4190k|855730 | 9766k| 2.3 | 760M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2377k|6525 | 0.000000e+00 | -- | Inf
907.43/907.48 c 907s| 4200k|857648 | 9788k| 2.3 | 762M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2382k|6529 | 0.000000e+00 | -- | Inf
909.82/909.89 c 910s| 4210k|859503 | 9812k| 2.3 | 764M| 45 | - | 50 | 12k| 50 | 15 | 19 |2388k|6533 | 0.000000e+00 | -- | Inf
912.32/912.39 c 912s| 4220k|861172 | 9835k| 2.3 | 765M| 45 | - | 50 | 13k| 50 | 15 | 19 |2394k|6538 | 0.000000e+00 | -- | Inf
915.13/915.16 c 915s| 4230k|862656 | 9857k| 2.3 | 767M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2400k|6540 | 0.000000e+00 | -- | Inf
917.81/917.88 c 918s| 4240k|864221 | 9880k| 2.3 | 768M| 45 | 6 | 50 |9606 | 50 | 15 | 19 |2406k|6544 | 0.000000e+00 | -- | Inf
920.11/920.17 c 920s| 4250k|866202 | 9903k| 2.3 | 770M| 45 | 6 | 50 |9706 | 50 | 15 | 19 |2411k|6548 | 0.000000e+00 | -- | Inf
922.83/922.82 c 923s| 4260k|867748 | 9925k| 2.3 | 771M| 45 | 6 | 50 |8458 | 50 | 15 | 19 |2417k|6560 | 0.000000e+00 | -- | Inf
925.31/925.33 c 925s| 4270k|869390 | 9947k| 2.3 | 773M| 45 | 6 | 50 |8182 | 50 | 15 | 19 |2423k|6564 | 0.000000e+00 | -- | Inf
927.51/927.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
927.51/927.53 c 928s| 4280k|871594 | 9970k| 2.3 | 774M| 45 | 6 | 50 |8613 | 50 | 15 | 19 |2429k|6569 | 0.000000e+00 | -- | Inf
929.43/929.49 c 929s| 4290k|874062 | 9991k| 2.3 | 777M| 45 | 6 | 50 |9942 | 50 | 15 | 19 |2434k|6572 | 0.000000e+00 | -- | Inf
931.81/931.84 c 932s| 4300k|876015 | 10014k| 2.3 | 778M| 45 | 6 | 50 |9873 | 50 | 15 | 19 |2439k|6578 | 0.000000e+00 | -- | Inf
934.22/934.27 c 934s| 4310k|877606 | 10037k| 2.3 | 780M| 45 | - | 50 | 10k| 50 | 15 | 19 |2445k|6583 | 0.000000e+00 | -- | Inf
937.01/937.07 c 937s| 4320k|879164 | 10059k| 2.3 | 781M| 45 | 6 | 50 |8196 | 50 | 15 | 19 |2451k|6588 | 0.000000e+00 | -- | Inf
939.52/939.51 c 940s| 4330k|880685 | 10082k| 2.3 | 783M| 45 | 6 | 50 |8719 | 50 | 15 | 19 |2457k|6589 | 0.000000e+00 | -- | Inf
942.11/942.12 c 942s| 4340k|882279 | 10104k| 2.3 | 784M| 45 | 6 | 50 |7698 | 50 | 15 | 19 |2463k|6592 | 0.000000e+00 | -- | Inf
944.22/944.27 c 944s| 4350k|883975 | 10127k| 2.3 | 786M| 45 | 6 | 50 |9367 | 50 | 15 | 19 |2469k|6599 | 0.000000e+00 | -- | Inf
946.92/946.95 c 947s| 4360k|885319 | 10150k| 2.3 | 787M| 45 | 6 | 50 |7707 | 50 | 15 | 19 |2475k|6605 | 0.000000e+00 | -- | Inf
948.92/948.92 c 949s| 4370k|887286 | 10173k| 2.3 | 790M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |2481k|6607 | 0.000000e+00 | -- | Inf
951.32/951.38 c 951s| 4380k|888874 | 10195k| 2.3 | 791M| 45 | 6 | 50 |9470 | 50 | 15 | 19 |2487k|6614 | 0.000000e+00 | -- | Inf
953.63/953.69 c 954s| 4390k|890702 | 10217k| 2.3 | 793M| 45 | - | 50 |9975 | 50 | 15 | 19 |2492k|6615 | 0.000000e+00 | -- | Inf
956.31/956.33 c 956s| 4400k|892240 | 10240k| 2.3 | 794M| 45 | 6 | 50 |8867 | 50 | 15 | 19 |2498k|6624 | 0.000000e+00 | -- | Inf
958.41/958.42 c 958s| 4410k|894270 | 10263k| 2.3 | 797M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2504k|6628 | 0.000000e+00 | -- | Inf
961.12/961.12 c 961s| 4420k|895915 | 10286k| 2.3 | 798M| 45 | - | 50 |9513 | 50 | 15 | 19 |2510k|6633 | 0.000000e+00 | -- | Inf
963.32/963.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
963.32/963.37 c 963s| 4430k|897837 | 10308k| 2.3 | 800M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |2515k|6635 | 0.000000e+00 | -- | Inf
965.91/965.97 c 966s| 4440k|899653 | 10330k| 2.3 | 801M| 45 | 6 | 50 |8539 | 50 | 15 | 19 |2521k|6640 | 0.000000e+00 | -- | Inf
968.04/968.03 c 968s| 4450k|901754 | 10353k| 2.3 | 803M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |2526k|6644 | 0.000000e+00 | -- | Inf
970.23/970.24 c 970s| 4460k|903738 | 10376k| 2.3 | 805M| 45 | - | 50 | 11k| 0 | 0 | 19 |2532k|6647 | 0.000000e+00 | -- | Inf
972.92/972.99 c 973s| 4470k|905369 | 10398k| 2.3 | 806M| 45 | 6 | 50 |8912 | 50 | 15 | 19 |2538k|6656 | 0.000000e+00 | -- | Inf
975.63/975.67 c 976s| 4480k|906979 | 10421k| 2.3 | 808M| 45 | 6 | 50 |8383 | 50 | 15 | 19 |2544k|6662 | 0.000000e+00 | -- | Inf
978.01/978.01 c 978s| 4490k|908805 | 10444k| 2.3 | 810M| 45 | - | 50 |8737 | 50 | 15 | 19 |2549k|6670 | 0.000000e+00 | -- | Inf
979.92/979.91 c 980s| 4500k|910863 | 10466k| 2.3 | 812M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |2554k|6672 | 0.000000e+00 | -- | Inf
982.02/982.00 c 982s| 4510k|912626 | 10488k| 2.3 | 814M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2560k|6678 | 0.000000e+00 | -- | Inf
984.43/984.46 c 984s| 4520k|914594 | 10511k| 2.3 | 815M| 45 | 6 | 50 |9807 | 50 | 15 | 19 |2565k|6683 | 0.000000e+00 | -- | Inf
986.64/986.64 c 987s| 4530k|916443 | 10533k| 2.3 | 817M| 45 | - | 50 | 11k| 50 | 15 | 19 |2571k|6687 | 0.000000e+00 | -- | Inf
989.52/989.54 c 990s| 4540k|917797 | 10556k| 2.3 | 818M| 45 | - | 50 |9437 | 50 | 15 | 19 |2577k|6693 | 0.000000e+00 | -- | Inf
991.61/991.67 c 992s| 4550k|919977 | 10580k| 2.3 | 820M| 45 | - | 50 | 10k| 50 | 15 | 19 |2583k|6703 | 0.000000e+00 | -- | Inf
994.01/994.02 c 994s| 4560k|922032 | 10602k| 2.3 | 822M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2588k|6710 | 0.000000e+00 | -- | Inf
996.32/996.39 c 996s| 4570k|923759 | 10625k| 2.3 | 824M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2594k|6716 | 0.000000e+00 | -- | Inf
999.31/999.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
999.31/999.38 c 999s| 4580k|925284 | 10648k| 2.3 | 825M| 45 | 6 | 50 |9042 | 50 | 15 | 19 |2600k|6719 | 0.000000e+00 | -- | Inf
1001.32/1001.39 c 1001s| 4590k|927926 | 10671k| 2.3 | 827M| 45 | - | 50 | 10k| 50 | 15 | 19 |2605k|6730 | 0.000000e+00 | -- | Inf
1003.62/1003.63 c 1004s| 4600k|930051 | 10693k| 2.3 | 830M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2611k|6737 | 0.000000e+00 | -- | Inf
1005.92/1005.91 c 1006s| 4610k|931887 | 10715k| 2.3 | 832M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2617k|6745 | 0.000000e+00 | -- | Inf
1008.64/1008.66 c 1009s| 4620k|933672 | 10737k| 2.3 | 833M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2622k|6752 | 0.000000e+00 | -- | Inf
1011.31/1011.36 c 1011s| 4630k|935663 | 10759k| 2.3 | 834M| 45 | 6 | 50 |8544 | 50 | 15 | 19 |2628k|6759 | 0.000000e+00 | -- | Inf
1013.42/1013.46 c 1013s| 4640k|937615 | 10781k| 2.3 | 836M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |2633k|6767 | 0.000000e+00 | -- | Inf
1016.22/1016.31 c 1016s| 4650k|939017 | 10803k| 2.3 | 837M| 45 | 6 | 50 |8043 | 50 | 15 | 19 |2639k|6774 | 0.000000e+00 | -- | Inf
1018.63/1018.63 c 1019s| 4660k|940566 | 10825k| 2.3 | 839M| 45 | - | 50 |8757 | 50 | 15 | 19 |2645k|6785 | 0.000000e+00 | -- | Inf
1021.32/1021.38 c 1021s| 4670k|941964 | 10848k| 2.3 | 840M| 45 | - | 50 |8114 | 50 | 15 | 19 |2651k|6796 | 0.000000e+00 | -- | Inf
1023.92/1023.90 c 1024s| 4680k|943451 | 10870k| 2.3 | 842M| 45 | 6 | 50 |8490 | 50 | 15 | 19 |2658k|6807 | 0.000000e+00 | -- | Inf
1026.52/1026.54 c 1027s| 4690k|944909 | 10892k| 2.3 | 843M| 45 | 6 | 50 |7282 | 50 | 15 | 19 |2664k|6810 | 0.000000e+00 | -- | Inf
1028.71/1028.78 c 1029s| 4700k|946700 | 10915k| 2.3 | 845M| 45 | - | 50 |8495 | 50 | 15 | 19 |2669k|6814 | 0.000000e+00 | -- | Inf
1031.52/1031.50 c 1032s| 4710k|948002 | 10938k| 2.3 | 847M| 45 | - | 50 |7637 | 50 | 15 | 19 |2675k|6821 | 0.000000e+00 | -- | Inf
1033.42/1033.49 c 1033s| 4720k|950132 | 10961k| 2.3 | 849M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |2681k|6826 | 0.000000e+00 | -- | Inf
1035.52/1035.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1035.52/1035.54 c 1036s| 4730k|952160 | 10985k| 2.3 | 851M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2687k|6832 | 0.000000e+00 | -- | Inf
1037.62/1037.65 c 1038s| 4740k|954166 | 11008k| 2.3 | 853M| 45 | - | 50 | 13k| 50 | 15 | 19 |2693k|6840 | 0.000000e+00 | -- | Inf
1039.91/1039.99 c 1040s| 4750k|956297 | 11031k| 2.3 | 855M| 45 | - | 50 | 14k| 50 | 15 | 19 |2699k|6844 | 0.000000e+00 | -- | Inf
1042.51/1042.55 c 1043s| 4760k|958269 | 11055k| 2.3 | 857M| 45 | 6 | 50 | 15k| 50 | 15 | 19 |2705k|6847 | 0.000000e+00 | -- | Inf
1045.22/1045.20 c 1045s| 4770k|960374 | 11078k| 2.3 | 859M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |2710k|6849 | 0.000000e+00 | -- | Inf
1048.34/1048.32 c 1048s| 4780k|962101 | 11102k| 2.3 | 860M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2716k|6852 | 0.000000e+00 | -- | Inf
1050.54/1050.55 c 1051s| 4790k|964277 | 11123k| 2.3 | 862M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |2722k|6855 | 0.000000e+00 | -- | Inf
1053.22/1053.28 c 1053s| 4800k|966279 | 11146k| 2.3 | 863M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2727k|6862 | 0.000000e+00 | -- | Inf
1055.93/1055.94 c 1056s| 4810k|968261 | 11169k| 2.3 | 865M| 45 | - | 50 | 11k| 50 | 15 | 19 |2733k|6864 | 0.000000e+00 | -- | Inf
1058.42/1058.43 c 1058s| 4820k|970234 | 11190k| 2.3 | 867M| 45 | - | 50 | 11k| 50 | 15 | 19 |2738k|6871 | 0.000000e+00 | -- | Inf
1061.22/1061.23 c 1061s| 4830k|971814 | 11213k| 2.3 | 868M| 45 | 6 | 50 |9459 | 50 | 15 | 19 |2744k|6876 | 0.000000e+00 | -- | Inf
1063.63/1063.64 c 1064s| 4840k|973483 | 11235k| 2.3 | 870M| 45 | - | 50 |9778 | 50 | 15 | 19 |2750k|6885 | 0.000000e+00 | -- | Inf
1066.32/1066.31 c 1066s| 4850k|975094 | 11257k| 2.3 | 871M| 45 | 6 | 50 |8571 | 50 | 15 | 19 |2756k|6888 | 0.000000e+00 | -- | Inf
1069.02/1069.06 c 1069s| 4860k|976659 | 11280k| 2.3 | 873M| 45 | 6 | 50 |8283 | 50 | 15 | 19 |2762k|6895 | 0.000000e+00 | -- | Inf
1071.52/1071.54 c 1072s| 4870k|978304 | 11303k| 2.3 | 874M| 45 | - | 50 |8606 | 50 | 15 | 19 |2768k|6897 | 0.000000e+00 | -- | Inf
1074.02/1074.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1074.02/1074.09 c 1074s| 4880k|979915 | 11325k| 2.3 | 876M| 45 | 6 | 50 |7755 | 50 | 15 | 19 |2774k|6900 | 0.000000e+00 | -- | Inf
1076.22/1076.25 c 1076s| 4890k|981869 | 11348k| 2.3 | 878M| 45 | 6 | 50 |9498 | 50 | 15 | 19 |2780k|6909 | 0.000000e+00 | -- | Inf
1078.82/1078.81 c 1079s| 4900k|983539 | 11370k| 2.3 | 879M| 45 | 6 | 50 |8087 | 50 | 15 | 19 |2786k|6914 | 0.000000e+00 | -- | Inf
1081.01/1081.07 c 1081s| 4910k|985438 | 11392k| 2.3 | 881M| 45 | 6 | 50 |8478 | 50 | 15 | 19 |2791k|6916 | 0.000000e+00 | -- | Inf
1083.43/1083.47 c 1083s| 4920k|987034 | 11415k| 2.3 | 883M| 45 | - | 50 |9010 | 50 | 15 | 19 |2797k|6924 | 0.000000e+00 | -- | Inf
1086.22/1086.21 c 1086s| 4930k|988492 | 11437k| 2.3 | 884M| 45 | 6 | 50 |8286 | 50 | 15 | 19 |2803k|6929 | 0.000000e+00 | -- | Inf
1088.62/1088.64 c 1089s| 4940k|990064 | 11459k| 2.3 | 886M| 45 | 6 | 50 |8662 | 50 | 15 | 19 |2809k|6932 | 0.000000e+00 | -- | Inf
1090.92/1090.92 c 1091s| 4950k|991933 | 11482k| 2.3 | 888M| 45 | 6 | 50 |9415 | 50 | 15 | 19 |2815k|6937 | 0.000000e+00 | -- | Inf
1093.33/1093.32 c 1093s| 4960k|993689 | 11504k| 2.3 | 889M| 45 | 6 | 50 |9763 | 50 | 15 | 19 |2820k|6941 | 0.000000e+00 | -- | Inf
1095.92/1095.95 c 1096s| 4970k|995017 | 11528k| 2.3 | 891M| 45 | 6 | 50 |9243 | 50 | 15 | 19 |2827k|6951 | 0.000000e+00 | -- | Inf
1098.42/1098.48 c 1098s| 4980k|996802 | 11550k| 2.3 | 892M| 45 | 6 | 50 |8798 | 50 | 15 | 19 |2832k|6954 | 0.000000e+00 | -- | Inf
1101.14/1101.15 c 1101s| 4990k|998239 | 11572k| 2.3 | 894M| 45 | 6 | 50 |8187 | 50 | 15 | 19 |2839k|6960 | 0.000000e+00 | -- | Inf
1103.62/1103.68 c 1104s| 5000k|999883 | 11595k| 2.3 | 896M| 45 | 6 | 50 |9175 | 50 | 15 | 19 |2845k|6965 | 0.000000e+00 | -- | Inf
1106.22/1106.23 c 1106s| 5010k| 1001k| 11617k| 2.3 | 897M| 45 | 6 | 50 |8895 | 50 | 15 | 19 |2850k|6970 | 0.000000e+00 | -- | Inf
1108.74/1108.75 c 1109s| 5020k| 1002k| 11640k| 2.3 | 899M| 45 | 6 | 50 |9033 | 50 | 15 | 19 |2856k|6974 | 0.000000e+00 | -- | Inf
1111.42/1111.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1111.42/1111.43 c 1111s| 5030k| 1004k| 11663k| 2.3 | 900M| 45 | 6 | 50 |7980 | 50 | 15 | 19 |2862k|6978 | 0.000000e+00 | -- | Inf
1114.12/1114.10 c 1114s| 5040k| 1005k| 11685k| 2.3 | 902M| 45 | 6 | 50 |7798 | 50 | 15 | 19 |2868k|6982 | 0.000000e+00 | -- | Inf
1116.54/1116.58 c 1117s| 5050k| 1007k| 11707k| 2.3 | 903M| 45 | 6 | 50 |8226 | 50 | 15 | 19 |2875k|6986 | 0.000000e+00 | -- | Inf
1118.92/1118.92 c 1119s| 5060k| 1008k| 11730k| 2.3 | 905M| 45 | 6 | 50 |9174 | 50 | 15 | 19 |2881k|6991 | 0.000000e+00 | -- | Inf
1121.12/1121.19 c 1121s| 5070k| 1010k| 11753k| 2.3 | 907M| 45 | - | 50 | 10k| 50 | 15 | 19 |2887k|6996 | 0.000000e+00 | -- | Inf
1123.92/1123.95 c 1124s| 5080k| 1011k| 11775k| 2.3 | 908M| 45 | - | 50 |8572 | 50 | 15 | 19 |2893k|7000 | 0.000000e+00 | -- | Inf
1126.72/1126.72 c 1127s| 5090k| 1013k| 11797k| 2.3 | 909M| 45 | - | 50 |7064 | 50 | 15 | 19 |2899k|7002 | 0.000000e+00 | -- | Inf
1129.02/1129.00 c 1129s| 5100k| 1014k| 11819k| 2.3 | 911M| 45 | - | 50 |8151 | 50 | 15 | 19 |2905k|7006 | 0.000000e+00 | -- | Inf
1131.22/1131.25 c 1131s| 5110k| 1016k| 11843k| 2.3 | 913M| 45 | - | 50 | 10k| 0 | 0 | 19 |2911k|7015 | 0.000000e+00 | -- | Inf
1134.14/1134.14 c 1134s| 5120k| 1017k| 11865k| 2.3 | 914M| 45 | 6 | 50 |7745 | 50 | 15 | 19 |2917k|7019 | 0.000000e+00 | -- | Inf
1136.34/1136.38 c 1136s| 5130k| 1019k| 11889k| 2.3 | 916M| 45 | 6 | 50 |9210 | 50 | 15 | 19 |2923k|7024 | 0.000000e+00 | -- | Inf
1138.72/1138.73 c 1139s| 5140k| 1021k| 11911k| 2.3 | 918M| 45 | 6 | 50 |9409 | 50 | 15 | 19 |2929k|7030 | 0.000000e+00 | -- | Inf
1141.02/1141.07 c 1141s| 5150k| 1023k| 11933k| 2.3 | 920M| 45 | - | 50 |9983 | 50 | 15 | 19 |2934k|7034 | 0.000000e+00 | -- | Inf
1143.22/1143.21 c 1143s| 5160k| 1025k| 11956k| 2.3 | 922M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2940k|7040 | 0.000000e+00 | -- | Inf
1145.62/1145.68 c 1146s| 5170k| 1027k| 11979k| 2.3 | 924M| 45 | - | 50 | 12k| 50 | 15 | 19 |2945k|7042 | 0.000000e+00 | -- | Inf
1148.52/1148.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1148.52/1148.58 c 1149s| 5180k| 1028k| 12001k| 2.3 | 925M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2951k|7051 | 0.000000e+00 | -- | Inf
1151.53/1151.53 c 1152s| 5190k| 1030k| 12023k| 2.3 | 926M| 45 | - | 50 |8929 | 50 | 15 | 19 |2957k|7053 | 0.000000e+00 | -- | Inf
1153.72/1153.71 c 1154s| 5200k| 1032k| 12047k| 2.3 | 928M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |2963k|7054 | 0.000000e+00 | -- | Inf
1156.03/1156.03 c 1156s| 5210k| 1033k| 12071k| 2.3 | 930M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |2968k|7056 | 0.000000e+00 | -- | Inf
1159.02/1159.07 c 1159s| 5220k| 1035k| 12093k| 2.3 | 931M| 45 | - | 50 |7897 | 50 | 15 | 19 |2974k|7066 | 0.000000e+00 | -- | Inf
1161.65/1161.67 c 1162s| 5230k| 1036k| 12115k| 2.3 | 932M| 45 | - | 50 |8266 | 0 | 0 | 19 |2980k|7071 | 0.000000e+00 | -- | Inf
1164.02/1164.05 c 1164s| 5240k| 1038k| 12137k| 2.3 | 934M| 45 | 6 | 50 |9347 | 50 | 15 | 19 |2986k|7074 | 0.000000e+00 | -- | Inf
1166.22/1166.28 c 1166s| 5250k| 1040k| 12160k| 2.3 | 937M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |2992k|7077 | 0.000000e+00 | -- | Inf
1169.02/1169.07 c 1169s| 5260k| 1042k| 12182k| 2.3 | 938M| 45 | 6 | 50 |8681 | 50 | 15 | 19 |2998k|7080 | 0.000000e+00 | -- | Inf
1171.83/1171.89 c 1172s| 5270k| 1043k| 12204k| 2.3 | 939M| 45 | 6 | 50 |7295 | 50 | 15 | 19 |3004k|7084 | 0.000000e+00 | -- | Inf
1174.42/1174.48 c 1174s| 5280k| 1045k| 12227k| 2.3 | 941M| 45 | 6 | 50 |8174 | 50 | 15 | 19 |3010k|7088 | 0.000000e+00 | -- | Inf
1176.63/1176.67 c 1177s| 5290k| 1046k| 12249k| 2.3 | 943M| 45 | 6 | 50 |8944 | 50 | 15 | 19 |3016k|7094 | 0.000000e+00 | -- | Inf
1179.14/1179.15 c 1179s| 5300k| 1048k| 12271k| 2.3 | 944M| 45 | 6 | 50 |8411 | 50 | 15 | 19 |3022k|7097 | 0.000000e+00 | -- | Inf
1181.92/1181.91 c 1182s| 5310k| 1049k| 12293k| 2.3 | 945M| 45 | 6 | 50 |7508 | 50 | 15 | 19 |3028k|7100 | 0.000000e+00 | -- | Inf
1184.12/1184.13 c 1184s| 5320k| 1051k| 12316k| 2.3 | 947M| 45 | 6 | 50 |8732 | 50 | 15 | 19 |3034k|7105 | 0.000000e+00 | -- | Inf
1186.53/1186.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1186.53/1186.57 c 1187s| 5330k| 1053k| 12339k| 2.3 | 949M| 45 | 6 | 50 |9426 | 50 | 15 | 19 |3040k|7111 | 0.000000e+00 | -- | Inf
1189.14/1189.13 c 1189s| 5340k| 1054k| 12361k| 2.3 | 951M| 45 | - | 50 |9382 | 50 | 15 | 19 |3046k|7119 | 0.000000e+00 | -- | Inf
1191.52/1191.55 c 1192s| 5350k| 1056k| 12384k| 2.3 | 952M| 45 | 6 | 50 |9182 | 50 | 15 | 19 |3052k|7124 | 0.000000e+00 | -- | Inf
1194.02/1194.00 c 1194s| 5360k| 1058k| 12407k| 2.3 | 954M| 45 | 6 | 50 |9209 | 50 | 15 | 19 |3058k|7131 | 0.000000e+00 | -- | Inf
1196.52/1196.54 c 1197s| 5370k| 1059k| 12429k| 2.3 | 956M| 45 | - | 50 |9384 | 0 | 0 | 19 |3064k|7137 | 0.000000e+00 | -- | Inf
1198.62/1198.65 c 1199s| 5380k| 1061k| 12451k| 2.3 | 958M| 45 | - | 50 | 11k| 50 | 15 | 19 |3069k|7141 | 0.000000e+00 | -- | Inf
1200.82/1200.82 c 1201s| 5390k| 1064k| 12474k| 2.3 | 960M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3074k|7143 | 0.000000e+00 | -- | Inf
1203.12/1203.19 c 1203s| 5400k| 1066k| 12497k| 2.3 | 962M| 45 | - | 50 | 14k| 50 | 15 | 19 |3080k|7149 | 0.000000e+00 | -- | Inf
1205.72/1205.79 c 1206s| 5410k| 1068k| 12520k| 2.3 | 964M| 45 | - | 50 | 14k| 50 | 15 | 19 |3086k|7152 | 0.000000e+00 | -- | Inf
1208.62/1208.66 c 1209s| 5420k| 1069k| 12544k| 2.3 | 966M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |3092k|7155 | 0.000000e+00 | -- | Inf
1211.42/1211.48 c 1211s| 5430k| 1071k| 12567k| 2.3 | 967M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3098k|7161 | 0.000000e+00 | -- | Inf
1214.34/1214.34 c 1214s| 5440k| 1072k| 12589k| 2.3 | 968M| 45 | 6 | 50 |9278 | 50 | 15 | 19 |3104k|7163 | 0.000000e+00 | -- | Inf
1216.82/1216.83 c 1217s| 5450k| 1074k| 12611k| 2.3 | 969M| 45 | 6 | 50 |8302 | 50 | 15 | 19 |3110k|7167 | 0.000000e+00 | -- | Inf
1219.52/1219.50 c 1220s| 5460k| 1075k| 12634k| 2.3 | 970M| 45 | 6 | 50 |7959 | 50 | 15 | 19 |3116k|7173 | 0.000000e+00 | -- | Inf
1222.23/1222.28 c 1222s| 5470k| 1077k| 12656k| 2.3 | 972M| 45 | 6 | 50 |7794 | 50 | 15 | 19 |3122k|7180 | 0.000000e+00 | -- | Inf
1224.52/1224.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1224.52/1224.53 c 1225s| 5480k| 1079k| 12678k| 2.3 | 974M| 45 | 6 | 50 |8396 | 50 | 15 | 19 |3128k|7183 | 0.000000e+00 | -- | Inf
1227.12/1227.16 c 1227s| 5490k| 1080k| 12700k| 2.3 | 975M| 45 | 6 | 50 |8492 | 50 | 15 | 19 |3133k|7190 | 0.000000e+00 | -- | Inf
1229.52/1229.53 c 1230s| 5500k| 1082k| 12723k| 2.3 | 977M| 45 | 6 | 50 |9010 | 50 | 15 | 19 |3139k|7198 | 0.000000e+00 | -- | Inf
1231.63/1231.60 c 1232s| 5510k| 1084k| 12745k| 2.3 | 979M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3145k|7199 | 0.000000e+00 | -- | Inf
1233.83/1233.86 c 1234s| 5520k| 1086k| 12769k| 2.3 | 981M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |3150k|7208 | 0.000000e+00 | -- | Inf
1236.23/1236.26 c 1236s| 5530k| 1088k| 12791k| 2.3 | 983M| 45 | - | 50 | 11k| 50 | 15 | 19 |3156k|7211 | 0.000000e+00 | -- | Inf
1238.92/1239.00 c 1239s| 5540k| 1089k| 12814k| 2.3 | 984M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3162k|7218 | 0.000000e+00 | -- | Inf
1241.63/1241.63 c 1242s| 5550k| 1091k| 12836k| 2.3 | 986M| 45 | 6 | 50 |9966 | 50 | 15 | 19 |3168k|7222 | 0.000000e+00 | -- | Inf
1244.32/1244.30 c 1244s| 5560k| 1093k| 12859k| 2.3 | 987M| 45 | 6 | 50 |9520 | 50 | 15 | 19 |3174k|7226 | 0.000000e+00 | -- | Inf
1246.92/1246.96 c 1247s| 5570k| 1094k| 12882k| 2.3 | 989M| 45 | 6 | 50 |8970 | 50 | 15 | 19 |3180k|7232 | 0.000000e+00 | -- | Inf
1249.02/1249.02 c 1249s| 5580k| 1096k| 12904k| 2.3 | 991M| 45 | - | 50 | 11k| 50 | 15 | 19 |3185k|7236 | 0.000000e+00 | -- | Inf
1251.85/1251.83 c 1252s| 5590k| 1098k| 12927k| 2.3 | 992M| 45 | 6 | 50 |9340 | 50 | 15 | 19 |3191k|7242 | 0.000000e+00 | -- | Inf
1254.22/1254.29 c 1254s| 5600k| 1099k| 12949k| 2.3 | 994M| 45 | 6 | 50 |9278 | 50 | 15 | 19 |3197k|7246 | 0.000000e+00 | -- | Inf
1256.83/1256.82 c 1257s| 5610k| 1101k| 12971k| 2.3 | 995M| 45 | 6 | 50 |8472 | 50 | 15 | 19 |3202k|7247 | 0.000000e+00 | -- | Inf
1259.44/1259.43 c 1259s| 5620k| 1102k| 12994k| 2.3 | 997M| 45 | 6 | 50 |7962 | 50 | 15 | 19 |3208k|7253 | 0.000000e+00 | -- | Inf
1262.02/1262.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1262.02/1262.09 c 1262s| 5630k| 1104k| 13016k| 2.3 | 998M| 45 | 6 | 50 |7139 | 50 | 15 | 19 |3214k|7257 | 0.000000e+00 | -- | Inf
1264.23/1264.29 c 1264s| 5640k| 1106k| 13038k| 2.3 |1000M| 45 | 6 | 50 |8761 | 50 | 15 | 19 |3220k|7270 | 0.000000e+00 | -- | Inf
1266.32/1266.32 c 1266s| 5650k| 1108k| 13063k| 2.3 |1002M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3226k|7275 | 0.000000e+00 | -- | Inf
1268.53/1268.56 c 1269s| 5660k| 1111k| 13088k| 2.3 |1005M| 45 | - | 50 | 11k| 0 | 0 | 19 |3231k|7283 | 0.000000e+00 | -- | Inf
1271.03/1271.01 c 1271s| 5670k| 1112k| 13112k| 2.3 |1007M| 45 | - | 50 | 12k| 50 | 15 | 19 |3237k|7287 | 0.000000e+00 | -- | Inf
1273.62/1273.68 c 1274s| 5680k| 1114k| 13137k| 2.3 |1008M| 45 | - | 50 | 11k| 50 | 15 | 19 |3244k|7298 | 0.000000e+00 | -- | Inf
1276.23/1276.27 c 1276s| 5690k| 1116k| 13161k| 2.3 |1010M| 45 | - | 50 | 11k| 50 | 15 | 19 |3250k|7301 | 0.000000e+00 | -- | Inf
1279.03/1279.01 c 1279s| 5700k| 1117k| 13184k| 2.3 |1011M| 45 | - | 50 | 11k| 50 | 15 | 19 |3256k|7306 | 0.000000e+00 | -- | Inf
1281.73/1281.76 c 1282s| 5710k| 1119k| 13206k| 2.3 |1013M| 45 | - | 50 |9323 | 50 | 15 | 19 |3262k|7308 | 0.000000e+00 | -- | Inf
1284.62/1284.62 c 1285s| 5720k| 1120k| 13229k| 2.3 |1014M| 45 | 6 | 50 |8720 | 50 | 15 | 19 |3268k|7308 | 0.000000e+00 | -- | Inf
1286.94/1286.99 c 1287s| 5730k| 1122k| 13252k| 2.3 |1016M| 45 | - | 50 |9461 | 50 | 15 | 19 |3274k|7312 | 0.000000e+00 | -- | Inf
1289.62/1289.62 c 1290s| 5740k| 1124k| 13275k| 2.3 |1017M| 45 | 6 | 50 |9492 | 50 | 15 | 19 |3279k|7318 | 0.000000e+00 | -- | Inf
1291.63/1291.61 c 1292s| 5750k| 1126k| 13298k| 2.3 |1020M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3285k|7322 | 0.000000e+00 | -- | Inf
1293.92/1293.97 c 1294s| 5760k| 1128k| 13321k| 2.3 |1022M| 45 | - | 50 | 13k| 50 | 15 | 19 |3291k|7330 | 0.000000e+00 | -- | Inf
1296.63/1296.61 c 1297s| 5770k| 1130k| 13344k| 2.3 |1024M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3297k|7337 | 0.000000e+00 | -- | Inf
1299.82/1299.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1299.82/1299.80 c 1300s| 5780k| 1132k| 13367k| 2.3 |1025M| 45 | - | 50 |8777 | 50 | 15 | 19 |3303k|7345 | 0.000000e+00 | -- | Inf
1302.12/1302.14 c 1302s| 5790k| 1134k| 13389k| 2.3 |1026M| 45 | - | 50 |9852 | 0 | 0 | 19 |3308k|7348 | 0.000000e+00 | -- | Inf
1305.03/1305.00 c 1305s| 5800k| 1135k| 13411k| 2.3 |1027M| 45 | 6 | 50 |7645 | 50 | 15 | 19 |3314k|7355 | 0.000000e+00 | -- | Inf
1307.43/1307.45 c 1307s| 5810k| 1137k| 13433k| 2.3 |1029M| 45 | - | 50 |8199 | 50 | 15 | 19 |3320k|7356 | 0.000000e+00 | -- | Inf
1309.93/1309.99 c 1310s| 5820k| 1138k| 13456k| 2.3 |1031M| 45 | - | 50 |8818 | 50 | 15 | 19 |3326k|7358 | 0.000000e+00 | -- | Inf
1312.82/1312.80 c 1313s| 5830k| 1140k| 13478k| 2.3 |1032M| 45 | 6 | 50 |7233 | 50 | 15 | 19 |3332k|7367 | 0.000000e+00 | -- | Inf
1315.13/1315.20 c 1315s| 5840k| 1141k| 13500k| 2.3 |1034M| 45 | 6 | 50 |8019 | 50 | 15 | 19 |3338k|7369 | 0.000000e+00 | -- | Inf
1317.62/1317.63 c 1318s| 5850k| 1143k| 13523k| 2.3 |1036M| 45 | 6 | 50 |8450 | 50 | 15 | 19 |3344k|7378 | 0.000000e+00 | -- | Inf
1320.04/1320.05 c 1320s| 5860k| 1144k| 13546k| 2.3 |1037M| 45 | 6 | 50 |8454 | 50 | 15 | 19 |3350k|7384 | 0.000000e+00 | -- | Inf
1322.53/1322.53 c 1323s| 5870k| 1146k| 13567k| 2.3 |1039M| 45 | 6 | 50 |8754 | 50 | 15 | 19 |3356k|7388 | 0.000000e+00 | -- | Inf
1325.03/1325.07 c 1325s| 5880k| 1148k| 13590k| 2.3 |1041M| 45 | 6 | 50 |9393 | 50 | 15 | 19 |3362k|7391 | 0.000000e+00 | -- | Inf
1327.12/1327.16 c 1327s| 5890k| 1149k| 13612k| 2.3 |1043M| 45 | - | 50 | 10k| 50 | 15 | 19 |3367k|7393 | 0.000000e+00 | -- | Inf
1329.43/1329.42 c 1329s| 5900k| 1152k| 13635k| 2.3 |1045M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |3372k|7394 | 0.000000e+00 | -- | Inf
1331.43/1331.49 c 1331s| 5910k| 1155k| 13658k| 2.3 |1047M| 45 | - | 50 | 12k| 50 | 15 | 19 |3377k|7397 | 0.000000e+00 | -- | Inf
1333.72/1333.76 c 1334s| 5920k| 1157k| 13681k| 2.3 |1049M| 45 | - | 50 | 12k| 50 | 15 | 19 |3383k|7400 | 0.000000e+00 | -- | Inf
1336.13/1336.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1336.13/1336.19 c 1336s| 5930k| 1159k| 13703k| 2.3 |1051M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3388k|7406 | 0.000000e+00 | -- | Inf
1338.65/1338.66 c 1339s| 5940k| 1161k| 13725k| 2.3 |1053M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3393k|7409 | 0.000000e+00 | -- | Inf
1341.23/1341.24 c 1341s| 5950k| 1163k| 13747k| 2.3 |1055M| 45 | - | 50 | 12k| 50 | 15 | 19 |3399k|7416 | 0.000000e+00 | -- | Inf
1343.82/1343.84 c 1344s| 5960k| 1165k| 13769k| 2.3 |1056M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3404k|7424 | 0.000000e+00 | -- | Inf
1346.53/1346.53 c 1347s| 5970k| 1167k| 13791k| 2.3 |1058M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3410k|7426 | 0.000000e+00 | -- | Inf
1349.12/1349.10 c 1349s| 5980k| 1169k| 13813k| 2.3 |1060M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |3415k|7429 | 0.000000e+00 | -- | Inf
1351.53/1351.59 c 1352s| 5990k| 1171k| 13836k| 2.3 |1062M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |3421k|7432 | 0.000000e+00 | -- | Inf
1354.43/1354.45 c 1354s| 6000k| 1172k| 13858k| 2.3 |1063M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |3427k|7435 | 0.000000e+00 | -- | Inf
1357.13/1357.15 c 1357s| 6010k| 1174k| 13881k| 2.3 |1065M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |3433k|7438 | 0.000000e+00 | -- | Inf
1359.72/1359.75 c 1360s| 6020k| 1176k| 13903k| 2.3 |1067M| 45 | - | 50 | 13k| 50 | 15 | 19 |3438k|7441 | 0.000000e+00 | -- | Inf
1362.42/1362.41 c 1362s| 6030k| 1177k| 13926k| 2.3 |1068M| 45 | - | 50 | 13k| 50 | 15 | 19 |3444k|7446 | 0.000000e+00 | -- | Inf
1365.53/1365.58 c 1366s| 6040k| 1179k| 13948k| 2.3 |1070M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3450k|7448 | 0.000000e+00 | -- | Inf
1368.45/1368.44 c 1368s| 6050k| 1180k| 13970k| 2.3 |1071M| 45 | - | 50 | 13k| 50 | 15 | 19 |3456k|7451 | 0.000000e+00 | -- | Inf
1371.13/1371.18 c 1371s| 6060k| 1182k| 13992k| 2.3 |1073M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |3462k|7458 | 0.000000e+00 | -- | Inf
1373.95/1373.94 c 1374s| 6070k| 1183k| 14014k| 2.3 |1074M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3467k|7466 | 0.000000e+00 | -- | Inf
1376.53/1376.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1376.53/1376.54 c 1377s| 6080k| 1185k| 14036k| 2.3 |1076M| 45 | - | 50 | 14k| 0 | 0 | 19 |3473k|7469 | 0.000000e+00 | -- | Inf
1379.13/1379.13 c 1379s| 6090k| 1187k| 14057k| 2.3 |1078M| 45 | 6 | 50 | 15k| 50 | 15 | 19 |3478k|7471 | 0.000000e+00 | -- | Inf
1381.93/1381.93 c 1382s| 6100k| 1188k| 14079k| 2.3 |1080M| 45 | 6 | 50 | 15k| 50 | 15 | 19 |3484k|7473 | 0.000000e+00 | -- | Inf
1384.85/1384.91 c 1385s| 6110k| 1190k| 14100k| 2.3 |1081M| 45 | - | 50 | 15k| 50 | 15 | 19 |3489k|7477 | 0.000000e+00 | -- | Inf
1387.72/1387.70 c 1388s| 6120k| 1191k| 14121k| 2.3 |1083M| 45 | - | 50 | 16k| 50 | 15 | 19 |3495k|7483 | 0.000000e+00 | -- | Inf
1391.12/1391.16 c 1391s| 6130k| 1193k| 14143k| 2.3 |1083M| 45 | - | 50 | 11k| 50 | 15 | 19 |3501k|7483 | 0.000000e+00 | -- | Inf
1394.43/1394.44 c 1394s| 6140k| 1194k| 14165k| 2.3 |1084M| 45 | 6 | 50 |7986 | 50 | 15 | 19 |3507k|7483 | 0.000000e+00 | -- | Inf
1397.04/1397.04 c 1397s| 6150k| 1195k| 14188k| 2.3 |1086M| 45 | 6 | 50 |8243 | 50 | 15 | 19 |3513k|7488 | 0.000000e+00 | -- | Inf
1399.32/1399.39 c 1399s| 6160k| 1197k| 14210k| 2.3 |1088M| 45 | 6 | 50 |9574 | 50 | 15 | 19 |3519k|7495 | 0.000000e+00 | -- | Inf
1401.72/1401.76 c 1402s| 6170k| 1199k| 14233k| 2.3 |1090M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3525k|7500 | 0.000000e+00 | -- | Inf
1404.65/1404.66 c 1405s| 6180k| 1200k| 14255k| 2.3 |1091M| 45 | 6 | 50 |9226 | 50 | 15 | 19 |3531k|7508 | 0.000000e+00 | -- | Inf
1407.23/1407.22 c 1407s| 6190k| 1202k| 14278k| 2.3 |1092M| 45 | 6 | 50 |8947 | 50 | 15 | 19 |3537k|7511 | 0.000000e+00 | -- | Inf
1409.53/1409.52 c 1410s| 6200k| 1203k| 14301k| 2.3 |1095M| 45 | - | 50 | 10k| 0 | 0 | 19 |3543k|7513 | 0.000000e+00 | -- | Inf
1411.63/1411.63 c 1412s| 6210k| 1206k| 14324k| 2.3 |1097M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3548k|7514 | 0.000000e+00 | -- | Inf
1413.93/1413.94 c 1414s| 6220k| 1208k| 14347k| 2.3 |1099M| 45 | - | 50 | 13k| 50 | 15 | 19 |3554k|7519 | 0.000000e+00 | -- | Inf
1416.33/1416.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1416.33/1416.30 c 1416s| 6230k| 1210k| 14370k| 2.3 |1101M| 45 | - | 50 | 14k| 50 | 15 | 19 |3559k|7522 | 0.000000e+00 | -- | Inf
1418.73/1418.76 c 1419s| 6240k| 1212k| 14393k| 2.3 |1103M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |3565k|7523 | 0.000000e+00 | -- | Inf
1421.33/1421.34 c 1421s| 6250k| 1213k| 14416k| 2.3 |1105M| 45 | - | 50 | 14k| 50 | 15 | 19 |3571k|7525 | 0.000000e+00 | -- | Inf
1424.12/1424.10 c 1424s| 6260k| 1215k| 14438k| 2.3 |1106M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |3577k|7528 | 0.000000e+00 | -- | Inf
1426.75/1426.76 c 1427s| 6270k| 1217k| 14461k| 2.3 |1108M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |3583k|7530 | 0.000000e+00 | -- | Inf
1429.23/1429.29 c 1429s| 6280k| 1219k| 14483k| 2.3 |1110M| 45 | 6 | 50 | 16k| 50 | 15 | 19 |3588k|7535 | 0.000000e+00 | -- | Inf
1431.93/1431.98 c 1432s| 6290k| 1221k| 14505k| 2.3 |1112M| 45 | - | 50 | 17k| 0 | 0 | 19 |3594k|7538 | 0.000000e+00 | -- | Inf
1434.93/1434.98 c 1435s| 6300k| 1223k| 14527k| 2.3 |1114M| 45 | 6 | 50 | 16k| 50 | 15 | 19 |3599k|7541 | 0.000000e+00 | -- | Inf
1437.83/1437.89 c 1438s| 6310k| 1224k| 14549k| 2.3 |1115M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |3605k|7549 | 0.000000e+00 | -- | Inf
1440.63/1440.64 c 1441s| 6320k| 1226k| 14571k| 2.3 |1117M| 45 | 6 | 50 | 15k| 50 | 15 | 19 |3611k|7559 | 0.000000e+00 | -- | Inf
1443.53/1443.58 c 1444s| 6330k| 1228k| 14593k| 2.3 |1118M| 45 | - | 50 | 15k| 50 | 15 | 19 |3617k|7565 | 0.000000e+00 | -- | Inf
1446.45/1446.44 c 1446s| 6340k| 1229k| 14615k| 2.3 |1120M| 45 | - | 50 | 15k| 50 | 15 | 19 |3622k|7567 | 0.000000e+00 | -- | Inf
1449.53/1449.57 c 1450s| 6350k| 1230k| 14637k| 2.3 |1122M| 45 | 6 | 50 | 15k| 50 | 15 | 19 |3628k|7571 | 0.000000e+00 | -- | Inf
1452.33/1452.32 c 1452s| 6360k| 1233k| 14658k| 2.3 |1124M| 45 | 6 | 50 | 16k| 50 | 15 | 19 |3634k|7574 | 0.000000e+00 | -- | Inf
1455.43/1455.43 c 1455s| 6370k| 1234k| 14680k| 2.3 |1125M| 45 | 6 | 50 | 15k| 50 | 15 | 19 |3640k|7576 | 0.000000e+00 | -- | Inf
1458.54/1458.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1458.54/1458.55 c 1459s| 6380k| 1235k| 14701k| 2.3 |1127M| 45 | 6 | 50 | 15k| 50 | 15 | 19 |3646k|7576 | 0.000000e+00 | -- | Inf
1461.85/1461.88 c 1462s| 6390k| 1236k| 14722k| 2.3 |1128M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |3652k|7587 | 0.000000e+00 | -- | Inf
1464.73/1464.77 c 1465s| 6400k| 1238k| 14745k| 2.3 |1129M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |3657k|7590 | 0.000000e+00 | -- | Inf
1467.35/1467.40 c 1467s| 6410k| 1240k| 14767k| 2.3 |1131M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |3663k|7595 | 0.000000e+00 | -- | Inf
1470.83/1470.80 c 1471s| 6420k| 1241k| 14790k| 2.3 |1131M| 45 | - | 50 |9695 | 50 | 15 | 19 |3670k|7599 | 0.000000e+00 | -- | Inf
1473.63/1473.64 c 1474s| 6430k| 1243k| 14811k| 2.3 |1133M| 45 | 6 | 50 |9053 | 50 | 15 | 19 |3675k|7603 | 0.000000e+00 | -- | Inf
1475.93/1475.91 c 1476s| 6440k| 1244k| 14834k| 2.3 |1135M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3681k|7607 | 0.000000e+00 | -- | Inf
1478.13/1478.19 c 1478s| 6450k| 1246k| 14856k| 2.3 |1137M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |3687k|7610 | 0.000000e+00 | -- | Inf
1481.33/1481.34 c 1481s| 6460k| 1248k| 14879k| 2.3 |1138M| 45 | - | 50 |8734 | 50 | 15 | 19 |3693k|7612 | 0.000000e+00 | -- | Inf
1483.95/1483.97 c 1484s| 6470k| 1249k| 14901k| 2.3 |1139M| 45 | - | 50 |8679 | 0 | 0 | 19 |3699k|7620 | 0.000000e+00 | -- | Inf
1486.23/1486.26 c 1486s| 6480k| 1251k| 14924k| 2.3 |1141M| 45 | 6 | 50 |9668 | 50 | 15 | 19 |3705k|7624 | 0.000000e+00 | -- | Inf
1489.13/1489.17 c 1489s| 6490k| 1252k| 14946k| 2.3 |1142M| 45 | - | 50 |8821 | 50 | 15 | 19 |3711k|7626 | 0.000000e+00 | -- | Inf
1492.03/1492.03 c 1492s| 6500k| 1254k| 14969k| 2.3 |1144M| 45 | - | 50 |8104 | 50 | 15 | 19 |3717k|7631 | 0.000000e+00 | -- | Inf
1494.03/1494.00 c 1494s| 6510k| 1257k| 14991k| 2.3 |1146M| 45 | - | 50 |9370 | 50 | 15 | 19 |3722k|7633 | 0.000000e+00 | -- | Inf
1495.95/1495.98 c 1496s| 6520k| 1259k| 15013k| 2.3 |1148M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3727k|7637 | 0.000000e+00 | -- | Inf
1498.33/1498.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1498.33/1498.32 c 1498s| 6530k| 1261k| 15035k| 2.3 |1150M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3733k|7641 | 0.000000e+00 | -- | Inf
1500.73/1500.77 c 1501s| 6540k| 1263k| 15057k| 2.3 |1152M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3739k|7642 | 0.000000e+00 | -- | Inf
1502.94/1502.94 c 1503s| 6550k| 1265k| 15079k| 2.3 |1154M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3744k|7647 | 0.000000e+00 | -- | Inf
1505.23/1505.30 c 1505s| 6560k| 1268k| 15100k| 2.3 |1156M| 45 | - | 50 | 12k| 50 | 15 | 19 |3749k|7649 | 0.000000e+00 | -- | Inf
1508.05/1508.02 c 1508s| 6570k| 1270k| 15122k| 2.3 |1158M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |3754k|7656 | 0.000000e+00 | -- | Inf
1510.63/1510.62 c 1511s| 6580k| 1272k| 15143k| 2.3 |1160M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |3760k|7661 | 0.000000e+00 | -- | Inf
1513.43/1513.43 c 1513s| 6590k| 1273k| 15166k| 2.3 |1161M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3766k|7664 | 0.000000e+00 | -- | Inf
1516.53/1516.53 c 1517s| 6600k| 1275k| 15188k| 2.3 |1162M| 45 | 6 | 50 |8065 | 50 | 15 | 19 |3772k|7671 | 0.000000e+00 | -- | Inf
1518.93/1519.01 c 1519s| 6610k| 1276k| 15210k| 2.3 |1164M| 45 | 6 | 50 |8889 | 50 | 15 | 19 |3778k|7678 | 0.000000e+00 | -- | Inf
1521.53/1521.52 c 1522s| 6620k| 1278k| 15231k| 2.3 |1165M| 45 | - | 50 |9005 | 50 | 15 | 19 |3784k|7682 | 0.000000e+00 | -- | Inf
1524.13/1524.15 c 1524s| 6630k| 1279k| 15254k| 2.3 |1167M| 45 | - | 50 |9425 | 0 | 0 | 19 |3790k|7685 | 0.000000e+00 | -- | Inf
1526.85/1526.88 c 1527s| 6640k| 1281k| 15276k| 2.3 |1168M| 45 | - | 50 |8748 | 50 | 15 | 19 |3796k|7690 | 0.000000e+00 | -- | Inf
1529.33/1529.32 c 1529s| 6650k| 1283k| 15298k| 2.3 |1170M| 45 | 6 | 50 |9379 | 50 | 15 | 19 |3801k|7691 | 0.000000e+00 | -- | Inf
1531.63/1531.67 c 1532s| 6660k| 1284k| 15317k| 2.3 |1172M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3806k|7694 | 0.000000e+00 | -- | Inf
1534.13/1534.13 c 1534s| 6670k| 1286k| 15339k| 2.3 |1174M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3812k|7699 | 0.000000e+00 | -- | Inf
1536.93/1536.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1536.93/1536.93 c 1537s| 6680k| 1287k| 15361k| 2.3 |1175M| 45 | - | 50 | 10k| 50 | 15 | 19 |3818k|7702 | 0.000000e+00 | -- | Inf
1539.63/1539.63 c 1540s| 6690k| 1289k| 15384k| 2.3 |1176M| 45 | - | 50 |9949 | 50 | 15 | 19 |3824k|7707 | 0.000000e+00 | -- | Inf
1542.53/1542.50 c 1542s| 6700k| 1290k| 15406k| 2.3 |1178M| 45 | - | 50 | 10k| 50 | 15 | 19 |3830k|7710 | 0.000000e+00 | -- | Inf
1545.03/1545.06 c 1545s| 6710k| 1292k| 15429k| 2.3 |1180M| 45 | - | 50 | 11k| 50 | 15 | 19 |3836k|7718 | 0.000000e+00 | -- | Inf
1547.83/1547.80 c 1548s| 6720k| 1293k| 15453k| 2.3 |1181M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3843k|7727 | 0.000000e+00 | -- | Inf
1550.95/1550.97 c 1551s| 6730k| 1295k| 15475k| 2.3 |1182M| 45 | - | 50 |8220 | 50 | 15 | 19 |3849k|7733 | 0.000000e+00 | -- | Inf
1553.53/1553.56 c 1554s| 6740k| 1296k| 15497k| 2.3 |1184M| 45 | 6 | 50 |8631 | 50 | 15 | 19 |3855k|7737 | 0.000000e+00 | -- | Inf
1556.33/1556.33 c 1556s| 6750k| 1298k| 15519k| 2.3 |1186M| 45 | - | 50 |8112 | 50 | 15 | 19 |3860k|7743 | 0.000000e+00 | -- | Inf
1558.94/1558.90 c 1559s| 6760k| 1299k| 15542k| 2.3 |1188M| 45 | 6 | 50 |9417 | 50 | 15 | 19 |3867k|7748 | 0.000000e+00 | -- | Inf
1561.33/1561.34 c 1561s| 6770k| 1301k| 15564k| 2.3 |1189M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3872k|7750 | 0.000000e+00 | -- | Inf
1563.53/1563.52 c 1564s| 6780k| 1303k| 15589k| 2.3 |1192M| 45 | - | 50 | 12k| 50 | 15 | 19 |3878k|7752 | 0.000000e+00 | -- | Inf
1565.74/1565.78 c 1566s| 6790k| 1305k| 15612k| 2.3 |1194M| 45 | - | 50 | 12k| 50 | 15 | 19 |3884k|7756 | 0.000000e+00 | -- | Inf
1568.33/1568.35 c 1568s| 6800k| 1307k| 15637k| 2.3 |1195M| 45 | - | 50 | 12k| 50 | 15 | 19 |3889k|7760 | 0.000000e+00 | -- | Inf
1571.04/1571.07 c 1571s| 6810k| 1308k| 15660k| 2.3 |1197M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3895k|7763 | 0.000000e+00 | -- | Inf
1573.73/1573.76 c 1574s| 6820k| 1310k| 15683k| 2.3 |1198M| 45 | - | 50 | 12k| 50 | 15 | 19 |3901k|7768 | 0.000000e+00 | -- | Inf
1576.43/1576.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1576.43/1576.45 c 1576s| 6830k| 1311k| 15706k| 2.3 |1200M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |3908k|7769 | 0.000000e+00 | -- | Inf
1579.03/1579.08 c 1579s| 6840k| 1312k| 15729k| 2.3 |1201M| 45 | - | 50 | 11k| 50 | 15 | 19 |3914k|7775 | 0.000000e+00 | -- | Inf
1582.13/1582.16 c 1582s| 6850k| 1314k| 15751k| 2.3 |1202M| 45 | 6 | 50 |9557 | 50 | 15 | 19 |3920k|7782 | 0.000000e+00 | -- | Inf
1584.93/1584.98 c 1585s| 6860k| 1315k| 15773k| 2.3 |1203M| 45 | - | 50 |8723 | 50 | 15 | 19 |3926k|7789 | 0.000000e+00 | -- | Inf
1587.84/1587.89 c 1588s| 6870k| 1316k| 15795k| 2.3 |1205M| 45 | - | 50 |8520 | 50 | 15 | 19 |3932k|7791 | 0.000000e+00 | -- | Inf
1590.43/1590.45 c 1590s| 6880k| 1318k| 15818k| 2.3 |1207M| 45 | 6 | 50 |9395 | 50 | 15 | 19 |3938k|7794 | 0.000000e+00 | -- | Inf
1593.33/1593.30 c 1593s| 6890k| 1319k| 15841k| 2.3 |1208M| 45 | 6 | 50 |8697 | 50 | 15 | 19 |3944k|7797 | 0.000000e+00 | -- | Inf
1595.93/1596.00 c 1596s| 6900k| 1320k| 15863k| 2.3 |1209M| 45 | - | 50 |8946 | 50 | 15 | 19 |3950k|7798 | 0.000000e+00 | -- | Inf
1598.43/1598.42 c 1598s| 6910k| 1322k| 15885k| 2.3 |1211M| 45 | 6 | 50 |9991 | 50 | 15 | 19 |3956k|7801 | 0.000000e+00 | -- | Inf
1601.43/1601.48 c 1601s| 6920k| 1324k| 15907k| 2.3 |1213M| 45 | - | 50 |8781 | 50 | 15 | 19 |3962k|7803 | 0.000000e+00 | -- | Inf
1603.75/1603.82 c 1604s| 6930k| 1325k| 15929k| 2.3 |1214M| 45 | - | 50 |9480 | 50 | 15 | 19 |3968k|7804 | 0.000000e+00 | -- | Inf
1606.43/1606.48 c 1606s| 6940k| 1327k| 15952k| 2.3 |1216M| 45 | - | 50 |9246 | 50 | 15 | 19 |3973k|7805 | 0.000000e+00 | -- | Inf
1608.63/1608.60 c 1609s| 6950k| 1329k| 15973k| 2.3 |1218M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |3979k|7807 | 0.000000e+00 | -- | Inf
1611.45/1611.50 c 1612s| 6960k| 1330k| 15995k| 2.3 |1219M| 45 | 6 | 50 |9832 | 50 | 15 | 19 |3985k|7809 | 0.000000e+00 | -- | Inf
1614.23/1614.28 c 1614s| 6970k| 1331k| 16017k| 2.3 |1221M| 45 | - | 50 |9284 | 50 | 15 | 19 |3991k|7811 | 0.000000e+00 | -- | Inf
1616.83/1616.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1616.83/1616.82 c 1617s| 6980k| 1333k| 16041k| 2.3 |1223M| 45 | - | 50 |9655 | 50 | 15 | 19 |3997k|7816 | 0.000000e+00 | -- | Inf
1618.83/1618.86 c 1619s| 6990k| 1336k| 16065k| 2.3 |1225M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |4002k|7821 | 0.000000e+00 | -- | Inf
1621.13/1621.15 c 1621s| 7000k| 1338k| 16088k| 2.3 |1227M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |4008k|7824 | 0.000000e+00 | -- | Inf
1623.65/1623.66 c 1624s| 7010k| 1340k| 16111k| 2.3 |1228M| 45 | - | 50 | 11k| 50 | 15 | 19 |4014k|7828 | 0.000000e+00 | -- | Inf
1626.33/1626.30 c 1626s| 7020k| 1341k| 16135k| 2.3 |1230M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |4019k|7831 | 0.000000e+00 | -- | Inf
1628.83/1628.87 c 1629s| 7030k| 1343k| 16158k| 2.3 |1232M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |4025k|7832 | 0.000000e+00 | -- | Inf
1631.63/1631.62 c 1632s| 7040k| 1345k| 16181k| 2.3 |1233M| 45 | - | 50 | 10k| 50 | 15 | 19 |4031k|7832 | 0.000000e+00 | -- | Inf
1633.93/1633.92 c 1634s| 7050k| 1346k| 16204k| 2.3 |1235M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |4037k|7837 | 0.000000e+00 | -- | Inf
1636.33/1636.32 c 1636s| 7060k| 1348k| 16227k| 2.3 |1237M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |4043k|7838 | 0.000000e+00 | -- | Inf
1638.95/1638.98 c 1639s| 7070k| 1349k| 16249k| 2.3 |1239M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |4049k|7841 | 0.000000e+00 | -- | Inf
1642.43/1642.40 c 1642s| 7080k| 1351k| 16272k| 2.3 |1240M| 45 | - | 50 | 11k| 50 | 15 | 19 |4055k|7845 | 0.000000e+00 | -- | Inf
1645.55/1645.56 c 1646s| 7090k| 1352k| 16294k| 2.3 |1241M| 45 | - | 50 |9559 | 50 | 15 | 19 |4061k|7849 | 0.000000e+00 | -- | Inf
1648.64/1648.70 c 1649s| 7100k| 1354k| 16316k| 2.3 |1242M| 45 | 6 | 50 |8108 | 50 | 15 | 19 |4067k|7857 | 0.000000e+00 | -- | Inf
1651.53/1651.50 c 1652s| 7110k| 1355k| 16338k| 2.3 |1244M| 45 | 6 | 50 |7953 | 50 | 15 | 19 |4073k|7860 | 0.000000e+00 | -- | Inf
1654.13/1654.19 c 1654s| 7120k| 1356k| 16361k| 2.3 |1245M| 45 | - | 50 |7986 | 50 | 15 | 19 |4079k|7864 | 0.000000e+00 | -- | Inf
1656.83/1656.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1656.83/1656.81 c 1657s| 7130k| 1358k| 16383k| 2.3 |1247M| 45 | - | 50 |8575 | 50 | 15 | 19 |4085k|7869 | 0.000000e+00 | -- | Inf
1659.14/1659.14 c 1659s| 7140k| 1360k| 16405k| 2.3 |1249M| 45 | - | 50 | 10k| 50 | 15 | 19 |4091k|7875 | 0.000000e+00 | -- | Inf
1661.93/1661.90 c 1662s| 7150k| 1361k| 16427k| 2.3 |1250M| 45 | 6 | 50 |9354 | 50 | 15 | 19 |4097k|7880 | 0.000000e+00 | -- | Inf
1664.44/1664.48 c 1664s| 7160k| 1363k| 16450k| 2.3 |1252M| 45 | - | 50 |9907 | 50 | 15 | 19 |4103k|7883 | 0.000000e+00 | -- | Inf
1666.63/1666.68 c 1667s| 7170k| 1365k| 16473k| 2.3 |1254M| 45 | - | 50 | 12k| 50 | 15 | 19 |4109k|7889 | 0.000000e+00 | -- | Inf
1669.43/1669.48 c 1669s| 7180k| 1366k| 16496k| 2.3 |1256M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |4115k|7892 | 0.000000e+00 | -- | Inf
1672.23/1672.28 c 1672s| 7190k| 1368k| 16519k| 2.3 |1257M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |4121k|7899 | 0.000000e+00 | -- | Inf
1674.93/1674.97 c 1675s| 7200k| 1369k| 16541k| 2.3 |1259M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |4127k|7902 | 0.000000e+00 | -- | Inf
1677.94/1677.92 c 1678s| 7210k| 1371k| 16563k| 2.3 |1260M| 45 | 6 | 50 |9691 | 50 | 15 | 19 |4133k|7907 | 0.000000e+00 | -- | Inf
1680.75/1680.73 c 1681s| 7220k| 1372k| 16585k| 2.3 |1261M| 45 | 6 | 50 |8855 | 50 | 15 | 19 |4139k|7913 | 0.000000e+00 | -- | Inf
1683.06/1683.08 c 1683s| 7230k| 1374k| 16609k| 2.3 |1263M| 45 | 6 | 50 |9784 | 50 | 15 | 19 |4145k|7916 | 0.000000e+00 | -- | Inf
1685.94/1685.98 c 1686s| 7240k| 1375k| 16632k| 2.3 |1265M| 45 | - | 50 |8565 | 50 | 15 | 19 |4151k|7918 | 0.000000e+00 | -- | Inf
1688.73/1688.76 c 1689s| 7250k| 1377k| 16654k| 2.3 |1266M| 45 | 6 | 50 |8662 | 50 | 15 | 19 |4157k|7926 | 0.000000e+00 | -- | Inf
1691.54/1691.53 c 1692s| 7260k| 1378k| 16676k| 2.3 |1268M| 45 | - | 50 |8065 | 50 | 15 | 19 |4162k|7930 | 0.000000e+00 | -- | Inf
1693.54/1693.50 c 1693s| 7270k| 1381k| 16699k| 2.3 |1270M| 45 | - | 50 | 10k| 50 | 15 | 19 |4168k|7932 | 0.000000e+00 | -- | Inf
1695.73/1695.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1695.73/1695.77 c 1696s| 7280k| 1384k| 16722k| 2.3 |1273M| 45 | - | 50 | 11k| 50 | 15 | 19 |4173k|7939 | 0.000000e+00 | -- | Inf
1698.04/1698.07 c 1698s| 7290k| 1386k| 16744k| 2.3 |1275M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |4178k|7941 | 0.000000e+00 | -- | Inf
1700.43/1700.50 c 1700s| 7300k| 1388k| 16768k| 2.3 |1277M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |4184k|7943 | 0.000000e+00 | -- | Inf
1703.23/1703.21 c 1703s| 7310k| 1390k| 16791k| 2.3 |1278M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |4189k|7946 | 0.000000e+00 | -- | Inf
1706.05/1706.09 c 1706s| 7320k| 1392k| 16814k| 2.3 |1280M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |4195k|7952 | 0.000000e+00 | -- | Inf
1709.04/1709.07 c 1709s| 7330k| 1394k| 16836k| 2.3 |1282M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |4201k|7960 | 0.000000e+00 | -- | Inf
1712.23/1712.24 c 1712s| 7340k| 1395k| 16859k| 2.3 |1283M| 45 | 6 | 50 | 13k| 50 | 15 | 19 |4207k|7967 | 0.000000e+00 | -- | Inf
1715.13/1715.11 c 1715s| 7350k| 1397k| 16882k| 2.3 |1285M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |4213k|7971 | 0.000000e+00 | -- | Inf
1718.54/1718.56 c 1719s| 7360k| 1398k| 16904k| 2.3 |1286M| 45 | - | 50 | 11k| 50 | 15 | 19 |4219k|7977 | 0.000000e+00 | -- | Inf
1721.45/1721.51 c 1722s| 7370k| 1400k| 16927k| 2.3 |1287M| 45 | 6 | 50 |9755 | 50 | 15 | 19 |4225k|7979 | 0.000000e+00 | -- | Inf
1724.44/1724.42 c 1724s| 7380k| 1401k| 16949k| 2.3 |1289M| 45 | 6 | 50 |9599 | 50 | 15 | 19 |4231k|7987 | 0.000000e+00 | -- | Inf
1727.05/1727.02 c 1727s| 7390k| 1403k| 16971k| 2.3 |1291M| 45 | 6 | 50 |9896 | 50 | 15 | 19 |4237k|7993 | 0.000000e+00 | -- | Inf
1729.93/1729.97 c 1730s| 7400k| 1404k| 16993k| 2.3 |1292M| 45 | 6 | 50 |8838 | 50 | 15 | 19 |4243k|8000 | 0.000000e+00 | -- | Inf
1732.14/1732.10 c 1732s| 7410k| 1406k| 17015k| 2.3 |1294M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |4248k|8006 | 0.000000e+00 | -- | Inf
1734.65/1734.65 c 1735s| 7420k| 1408k| 17038k| 2.3 |1296M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |4254k|8008 | 0.000000e+00 | -- | Inf
1737.13/1737.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1737.13/1737.11 c 1737s| 7430k| 1410k| 17060k| 2.3 |1298M| 45 | - | 50 | 11k| 0 | 0 | 19 |4260k|8009 | 0.000000e+00 | -- | Inf
1740.34/1740.32 c 1740s| 7440k| 1411k| 17082k| 2.3 |1299M| 45 | 6 | 50 |8696 | 50 | 15 | 19 |4266k|8012 | 0.000000e+00 | -- | Inf
1742.93/1742.90 c 1743s| 7450k| 1413k| 17104k| 2.3 |1300M| 45 | - | 50 |9101 | 50 | 15 | 19 |4272k|8016 | 0.000000e+00 | -- | Inf
1744.94/1744.99 c 1745s| 7460k| 1415k| 17127k| 2.3 |1303M| 45 | - | 50 | 11k| 50 | 15 | 19 |4277k|8022 | 0.000000e+00 | -- | Inf
1747.54/1747.56 c 1748s| 7470k| 1416k| 17149k| 2.3 |1304M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |4283k|8029 | 0.000000e+00 | -- | Inf
1750.64/1750.64 c 1751s| 7480k| 1418k| 17172k| 2.3 |1306M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |4290k|8035 | 0.000000e+00 | -- | Inf
1753.94/1753.93 c 1754s| 7490k| 1419k| 17194k| 2.3 |1307M| 45 | 6 | 50 |8779 | 50 | 15 | 19 |4296k|8041 | 0.000000e+00 | -- | Inf
1756.84/1756.85 c 1757s| 7500k| 1420k| 17216k| 2.3 |1308M| 45 | 6 | 50 |8361 | 50 | 15 | 19 |4302k|8045 | 0.000000e+00 | -- | Inf
1759.64/1759.68 c 1760s| 7510k| 1422k| 17239k| 2.3 |1310M| 45 | - | 50 |8651 | 50 | 15 | 19 |4308k|8051 | 0.000000e+00 | -- | Inf
1762.15/1762.21 c 1762s| 7520k| 1423k| 17261k| 2.3 |1312M| 45 | - | 50 | 10k| 50 | 15 | 19 |4314k|8061 | 0.000000e+00 | -- | Inf
1764.46/1764.44 c 1764s| 7530k| 1425k| 17283k| 2.3 |1313M| 45 | 6 | 50 | 11k| 50 | 15 | 19 |4320k|8063 | 0.000000e+00 | -- | Inf
1766.73/1766.70 c 1767s| 7540k| 1427k| 17306k| 2.3 |1316M| 45 | - | 50 | 13k| 50 | 15 | 19 |4326k|8068 | 0.000000e+00 | -- | Inf
1769.34/1769.31 c 1769s| 7550k| 1428k| 17328k| 2.3 |1318M| 45 | 6 | 50 | 14k| 50 | 15 | 19 |4332k|8072 | 0.000000e+00 | -- | Inf
1772.44/1772.41 c 1772s| 7560k| 1430k| 17350k| 2.3 |1319M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |4338k|8074 | 0.000000e+00 | -- | Inf
1775.24/1775.28 c 1775s| 7570k| 1431k| 17372k| 2.3 |1320M| 45 | - | 50 | 12k| 50 | 15 | 19 |4344k|8076 | 0.000000e+00 | -- | Inf
1778.24/1778.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1778.24/1778.20 c 1778s| 7580k| 1433k| 17395k| 2.3 |1322M| 45 | - | 50 | 11k| 50 | 15 | 19 |4350k|8079 | 0.000000e+00 | -- | Inf
1781.24/1781.26 c 1781s| 7590k| 1434k| 17418k| 2.3 |1323M| 45 | 6 | 50 | 10k| 50 | 15 | 19 |4356k|8085 | 0.000000e+00 | -- | Inf
1783.94/1783.93 c 1784s| 7600k| 1436k| 17440k| 2.3 |1325M| 45 | - | 50 | 10k| 50 | 15 | 19 |4362k|8088 | 0.000000e+00 | -- | Inf
1786.83/1786.84 c 1787s| 7610k| 1437k| 17462k| 2.3 |1326M| 45 | - | 50 |9885 | 50 | 15 | 19 |4368k|8092 | 0.000000e+00 | -- | Inf
1789.65/1789.69 c 1790s| 7620k| 1439k| 17485k| 2.3 |1327M| 45 | - | 50 |9683 | 50 | 15 | 19 |4374k|8096 | 0.000000e+00 | -- | Inf
1792.03/1792.05 c 1792s| 7630k| 1441k| 17508k| 2.3 |1329M| 45 | - | 50 | 11k| 50 | 15 | 19 |4379k|8099 | 0.000000e+00 | -- | Inf
1794.74/1794.77 c 1795s| 7640k| 1442k| 17530k| 2.3 |1331M| 45 | - | 50 | 10k| 50 | 15 | 19 |4385k|8101 | 0.000000e+00 | -- | Inf
1797.23/1797.25 c 1797s| 7650k| 1444k| 17553k| 2.3 |1333M| 45 | - | 50 | 11k| 50 | 15 | 19 |4391k|8102 | 0.000000e+00 | -- | Inf
1799.93/1799.98 c 1800s| 7660k| 1445k| 17576k| 2.3 |1335M| 45 | 6 | 50 | 12k| 50 | 15 | 19 |4397k|8108 | 0.000000e+00 | -- | Inf
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.00 c Solving Time (sec) : 1800.00
1800.04/1800.00 c Solving Nodes : 7660050
1800.04/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.00 s UNKNOWN
1800.04/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.00 c Total Time : 1800.00
1800.04/1800.00 c solving : 1800.00
1800.04/1800.00 c presolving : 0.00 (included in solving)
1800.04/1800.00 c reading : 0.00 (included in solving)
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-3452524-1307095716.opb
1800.04/1800.00 c Variables : 51 (51 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.00 c Constraints : 13 initial, 13 maximal
1800.04/1800.00 c Presolved Problem :
1800.04/1800.00 c Problem name : t_HOME/instance-3452524-1307095716.opb
1800.04/1800.00 c Variables : 50 (50 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.00 c Constraints : 6 initial, 17674 maximal
1800.04/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.04/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c dualfix : 0.00 1 0 0 0 0 0 0 0 0
1800.04/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c linear : 0.00 0 0 0 0 0 7 0 0 0
1800.04/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c root node : - 0 - - 0 - - - - -
1800.04/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c integral : 0 0 0 4679715 0 4 0 1004 3569 0 0 9350652
1800.04/1800.00 c linear : 6 6 18135424 0 1 3 5850099 611262 6845429 0 0 0
1800.04/1800.00 c logicor : 0+ 6 8415687 0 0 0 6389614 17269 3320205 0 0 0
1800.04/1800.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1800.04/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.04/1800.00 c integral : 26.91 0.00 0.00 26.91 0.00 0.00 0.00
1800.04/1800.00 c linear : 116.77 0.00 103.62 0.00 0.00 0.00 13.15
1800.04/1800.00 c logicor : 460.58 0.00 451.62 0.00 0.00 0.00 8.96
1800.04/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.04/1800.00 c vbounds : 0 0 0 0
1800.04/1800.00 c rootredcost : 0 0 0 0
1800.04/1800.00 c pseudoobj : 0 0 0 0
1800.04/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.04/1800.00 c vbounds : 2.64 2.64 0.00
1800.04/1800.00 c rootredcost : 2.88 2.88 0.00
1800.04/1800.00 c pseudoobj : 2.04 2.04 0.00
1800.04/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.00 c propagation : 23.43 628531 547541 1768958 36.7 105 31.5 -
1800.04/1800.00 c infeasible LP : 66.64 2585601 2585545 4786180 24.0 33710 28.7 0
1800.04/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.00 c applied globally : - - - 3661900 20.9 - - -
1800.04/1800.00 c applied locally : - - - 735982 34.7 - - -
1800.04/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.00 c cut pool : 0.00 5 - - 12 - (maximal pool size: 68)
1800.04/1800.00 c redcost : 5.01 4679712 0 0 0 0
1800.04/1800.00 c impliedbounds : 0.00 6 0 0 0 0
1800.04/1800.00 c intobj : 0.00 0 0 0 0 0
1800.04/1800.00 c gomory : 0.00 6 0 0 0 0
1800.04/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.04/1800.00 c strongcg : 0.00 6 0 0 19 0
1800.04/1800.00 c cmir : 0.01 6 0 0 25 0
1800.04/1800.00 c flowcover : 0.01 6 0 0 34 0
1800.04/1800.00 c clique : 0.00 1 0 0 0 0
1800.04/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.00 c mcf : 0.00 1 0 0 0 0
1800.04/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.04/1800.00 c rapidlearning : 0.01 1 0 0 0 0
1800.04/1800.00 c Pricers : Time Calls Vars
1800.04/1800.00 c problem variables: 0.00 0 0
1800.04/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c relpscost : 24.52 4679715 1004 3569 0 0 9350652
1800.04/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c inference : 0.00 1 0 0 0 0 2
1800.04/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c random : 0.00 0 0 0 0 0 0
1800.04/1800.00 c Primal Heuristics : Time Calls Found
1800.04/1800.00 c LP solutions : 0.00 - 0
1800.04/1800.00 c pseudo solutions : 0.00 - 0
1800.04/1800.00 c oneopt : 1.96 0 0
1800.04/1800.00 c crossover : 1.27 0 0
1800.04/1800.00 c guideddiving : 0.16 0 0
1800.04/1800.00 c pscostdiving : 0.17 99 0
1800.04/1800.00 c fracdiving : 0.18 99 0
1800.04/1800.00 c veclendiving : 0.16 99 0
1800.04/1800.00 c rootsoldiving : 0.14 50 0
1800.04/1800.00 c objpscostdiving : 0.14 50 0
1800.04/1800.00 c coefdiving : 0.15 100 0
1800.04/1800.00 c linesearchdiving : 0.15 100 0
1800.04/1800.00 c feaspump : 0.14 50 0
1800.04/1800.00 c trivial : 0.00 2 0
1800.04/1800.00 c shiftandpropagate: 0.00 1 0
1800.04/1800.00 c simplerounding : 0.85 0 0
1800.04/1800.00 c zirounding : 11.88 0 0
1800.04/1800.00 c rounding : 1.80 30610 0
1800.04/1800.00 c shifting : 2.27 9006 0
1800.04/1800.00 c intshifting : 0.08 0 0
1800.04/1800.00 c twoopt : 0.00 0 0
1800.04/1800.00 c fixandinfer : 0.00 0 0
1800.04/1800.00 c clique : 0.00 0 0
1800.04/1800.00 c intdiving : 0.00 0 0
1800.04/1800.00 c actconsdiving : 0.00 0 0
1800.04/1800.00 c octane : 0.00 0 0
1800.04/1800.00 c rens : 0.01 1 0
1800.04/1800.00 c rins : 0.00 0 0
1800.04/1800.00 c localbranching : 0.00 0 0
1800.04/1800.00 c mutation : 0.00 0 0
1800.04/1800.00 c dins : 0.00 0 0
1800.04/1800.00 c vbounds : 0.00 0 0
1800.04/1800.00 c undercover : 0.00 0 0
1800.04/1800.00 c subnlp : 1.02 0 0
1800.04/1800.00 c trysol : 1.38 0 0
1800.04/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.00 c dual LP : 332.86 7053598 17572718 2.49 52793.07
1800.04/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.00 c diving/probing LP: 0.10 2010 3658 1.82 35729.98
1800.04/1800.00 c strong branching : 0.72 8108 37072 4.57 51186.18
1800.04/1800.00 c (at root node) : - 9 309 34.33 -
1800.04/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.00 c B&B Tree :
1800.04/1800.00 c number of runs : 1
1800.04/1800.00 c nodes : 7660050
1800.04/1800.00 c nodes (total) : 7660050
1800.04/1800.00 c nodes left : 1445741
1800.04/1800.00 c max depth : 45
1800.04/1800.00 c max depth (total): 45
1800.04/1800.00 c backtracks : 1161509 (15.2%)
1800.04/1800.00 c delayed cutoffs : 244864
1800.04/1800.00 c repropagations : 6545896 (4944738 domain reductions, 229210 cutoffs)
1800.04/1800.00 c avg switch length: 5.34
1800.04/1800.00 c switching time : 478.95
1800.04/1800.00 c Solution :
1800.04/1800.00 c Solutions found : 0 (0 improvements)
1800.04/1800.00 c Primal Bound : -
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Root Iterations : 162
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3452524-1307095716/watcher-3452524-1307095716 -o /tmp/evaluation-result-3452524-1307095716/solver-3452524-1307095716 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452524-1307095716.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.03 2.00 2/572 21304
/proc/meminfo: memFree=31849748/32950928 swapFree=43925852/67111528
[pid=21304] ppid=21302 vsize=18108 CPUtime=0.01 cores=0,2,4,6
/proc/21304/stat : 21304 (scip-2.0.1.4.li) R 21302 21304 20770 0 -1 4202496 3713 0 0 0 1 0 0 0 25 0 1 0 821170363 18542592 3410 33554432000 4194304 9128323 140735920241808 18446744073709551615 7977777 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21304/statm: 4527 3410 674 1205 0 3318 0
[startup+0.0420979 s]
/proc/loadavg: 2.00 2.03 2.00 2/572 21304
/proc/meminfo: memFree=31849748/32950928 swapFree=43925852/67111528
[pid=21304] ppid=21302 vsize=24856 CPUtime=0.03 cores=0,2,4,6
/proc/21304/stat : 21304 (scip-2.0.1.4.li) R 21302 21304 20770 0 -1 4202496 5494 0 0 0 3 0 0 0 25 0 1 0 821170363 25452544 4838 33554432000 4194304 9128323 140735920241808 18446744073709551615 6632493 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21304/statm: 6214 4838 703 1205 0 5005 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 24856
[startup+0.101095 s]
/proc/loadavg: 2.00 2.03 2.00 2/572 21304
/proc/meminfo: memFree=31849748/32950928 swapFree=43925852/67111528
[pid=21304] ppid=21302 vsize=22788 CPUtime=0.1 cores=0,2,4,6
/proc/21304/stat : 21304 (scip-2.0.1.4.li) R 21302 21304 20770 0 -1 4202496 6143 0 0 0 9 1 0 0 25 0 1 0 821170363 23334912 4655 33554432000 4194304 9128323 140735920241808 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21304/statm: 5697 4655 721 1205 0 4488 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 22788
[startup+0.301051 s]
/proc/loadavg: 2.00 2.03 2.00 2/572 21304
/proc/meminfo: memFree=31849748/32950928 swapFree=43925852/67111528
[pid=21304] ppid=21302 vsize=22788 CPUtime=0.29 cores=0,2,4,6
/proc/21304/stat : 21304 (scip-2.0.1.4.li) R 21302 21304 20770 0 -1 4202496 6146 0 0 0 27 2 0 0 25 0 1 0 821170363 23334912 4658 33554432000 4194304 9128323 140735920241808 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21304/statm: 5697 4658 723 1205 0 4488 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22788
[startup+0.700983 s]
/proc/loadavg: 2.00 2.03 2.00 2/572 21304
/proc/meminfo: memFree=31849748/32950928 swapFree=43925852/67111528
[pid=21304] ppid=21302 vsize=22788 CPUtime=0.69 cores=0,2,4,6
/proc/21304/stat : 21304 (scip-2.0.1.4.li) R 21302 21304 20770 0 -1 4202496 6150 0 0 0 66 3 0 0 25 0 1 0 821170363 23334912 4662 33554432000 4194304 9128323 140735920241808 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21304/statm: 5697 4662 723 1205 0 4488 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22788
[startup+1.50084 s]
/proc/loadavg: 2.00 2.03 2.00 3/573 21305
/proc/meminfo: memFree=31833248/32950928 swapFree=43925852/67111528
[pid=21304] ppid=21302 vsize=22944 CPUtime=1.49 cores=0,2,4,6
/proc/21304/stat : 21304 (scip-2.0.1.4.li) R 21302 21304 20770 0 -1 4202496 6180 0 0 0 142 7 0 0 25 0 1 0 821170363 23494656 4692 33554432000 4194304 9128323 140735920241808 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21304/statm: 5736 4692 723 1205 0 4527 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22944
[startup+3.10044 s]
/proc/loadavg: 2.00 2.03 2.00 3/573 21305
/proc/meminfo: memFree=31832016/32950928 swapFree=43925852/67111528
[pid=21304] ppid=21302 vsize=25548 CPUtime=3.1 cores=0,2,4,6
/proc/21304/stat : 21304 (scip-2.0.1.4.li) R 21302 21304 20770 0 -1 4202496 6769 0 0 0 298 12 0 0 25 0 1 0 821170363 26161152 5281 33554432000 4194304 9128323 140735920241808 18446744073709551615 5333219 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21304/statm: 6387 5281 723 1205 0 5178 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 25548
[startup+6.30098 s]
/proc/loadavg: 2.00 2.03 2.00 3/573 21305
/proc/meminfo: memFree=31823212/32950928 swapFree=43925852/67111528
[pid=21304] ppid=21302 vsize=31304 CPUtime=6.29 cores=0,2,4,6
/proc/21304/stat : 21304 (scip-2.0.1.4.li) R 21302 21304 20770 0 -1 4202496 8225 0 0 0 600 29 0 0 25 0 1 0 821170363 32055296 6737 33554432000 4194304 9128323 140735920241808 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21304/statm: 7826 6737 723 1205 0 6617 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31304
[startup+12.7008 s]
/proc/loadavg: 2.08 2.04 2.01 3/573 21305
/proc/meminfo: memFree=31811616/32950928 swapFree=43925852/67111528
[pid=21304] ppid=21302 vsize=41308 CPUtime=12.7 cores=0,2,4,6
/proc/21304/stat : 21304 (scip-2.0.1.4.li) R 21302 21304 20770 0 -1 4202496 10770 0 0 0 1217 53 0 0 25 0 1 0 821170363 42299392 9282 33554432000 4194304 9128323 140735920241808 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21304/statm: 10327 9282 723 1205 0 9118 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 41308
[startup+25.5005 s]
/proc/loadavg: 2.07 2.04 2.00 3/573 21306
/proc/meminfo: memFree=31791020/32950928 swapFree=43925852/67111528
[pid=21304] ppid=21302 vsize=60324 CPUtime=25.49 cores=0,2,4,6
/proc/21304/stat : 21304 (scip-2.0.1.4.li) R 21302 21304 20770 0 -1 4202496 15585 0 0 0 2451 98 0 0 25 0 1 0 821170363 61771776 14097 33554432000 4194304 9128323 140735920241808 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21304/statm: 15081 14097 723 1205 0 13872 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 60324
[startup+51.101 s]
/proc/loadavg: 2.04 2.03 2.00 3/573 21307
/proc/meminfo: memFree=31758544/32950928 swapFree=43925852/67111528
[pid=21304] ppid=21302 vsize=95448 CPUtime=51.09 cores=0,2,4,6
/proc/21304/stat : 21304 (scip-2.0.1.4.li) R 21302 21304 20770 0 -1 4202496 23945 0 0 0 4908 201 0 0 25 0 1 0 821170363 97738752 22457 33554432000 4194304 9128323 140735920241808 18446744073709551615 4240086 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21304/statm: 23862 22457 723 1205 0 22653 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 95448
[startup+102.322 s]
/proc/loadavg: 2.06 2.04 2.00 3/573 21308
/proc/meminfo: memFree=31694904/32950928 swapFree=43925852/67111528
[pid=21304] ppid=21302 vsize=155784 CPUtime=102.31 cores=0,2,4,6
/proc/21304/stat : 21304 (scip-2.0.1.4.li) R 21302 21304 20770 0 -1 4202496 39168 0 0 0 9868 363 0 0 25 0 1 0 821170363 159522816 37680 33554432000 4194304 9128323 140735920241808 18446744073709551615 4208944 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21304/statm: 38946 37680 723 1205 0 37737 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 155784
[startup+162.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/573 21309
/proc/meminfo: memFree=31633084/32950928 swapFree=43925852/67111528
[pid=21304] ppid=21302 vsize=217740 CPUtime=162.29 cores=0,2,4,6
/proc/21304/stat : 21304 (scip-2.0.1.4.li) R 21302 21304 20770 0 -1 4202496 53895 0 0 0 15679 550 0 0 25 0 1 0 821170363 222965760 52407 33554432000 4194304 9128323 140735920241808 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21304/statm: 54435 52407 723 1205 0 53226 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 217740
[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/573 21311
/proc/meminfo: memFree=31543620/32950928 swapFree=43925852/67111528
[pid=21304] ppid=21302 vsize=279384 CPUtime=222.29 cores=0,2,4,6
/proc/21304/stat : 21304 (scip-2.0.1.4.li) R 21302 21304 20770 0 -1 4202496 69477 0 0 0 21480 749 0 0 25 0 1 0 821170363 286089216 67989 33554432000 4194304 9128323 140735920241808 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21304/statm: 69846 67989 723 1205 0 68637 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 279384
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 21313
/proc/meminfo: memFree=31457136/32950928 swapFree=43925852/67111528
[pid=21304] ppid=21302 vsize=329960 CPUtime=282.3 cores=0,2,4,6
/proc/21304/stat : 21304 (scip-2.0.1.4.li) R 21302 21304 20770 0 -1 4202496 82355 0 0 0 27287 943 0 0 25 0 1 0 821170363 337879040 80867 33554432000 4194304 9128323 140735920241808 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21304/statm: 82490 80867 723 1205 0 81281 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 329960
[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/573 21314
/proc/meminfo: memFree=31379600/32950928 swapFree=43925852/67111528
[pid=21304] ppid=21302 vsize=377960 CPUtime=342.3 cores=0,2,4,6
/proc/21304/stat : 21304 (scip-2.0.1.4.li) R 21302 21304 20770 0 -1 4202496 94461 0 0 0 33116 1114 0 0 25 0 1 0 821170363 387031040 92973 33554432000 4194304 9128323 140735920241808 18446744073709551615 6554015 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21304/statm: 94490 92973 723 1205 0 93281 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 377960
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/573 21316
/proc/meminfo: memFree=31308656/32950928 swapFree=43925852/67111528
[pid=21304] ppid=21302 vsize=439508 CPUtime=402.3 cores=0,2,4,6
/proc/21304/stat : 21304 (scip-2.0.1.4.li) R 21302 21304 20770 0 -1 4202496 107962 0 0 0 38926 1304 0 0 25 0 1 0 821170363 450056192 106474 33554432000 4194304 9128323 140735920241808 18446744073709551615 6533392 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21304/statm: 109877 106474 723 1205 0 108668 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 439508
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/573 21317
/proc/meminfo: memFree=31237412/32950928 swapFree=43925852/67111528
[pid=21304] ppid=21302 vsize=486212 CPUtime=462.3 cores=0,2,4,6
/proc/21304/stat : 21304 (scip-2.0.1.4.li) R 21302 21304 20770 0 -1 4202496 119990 0 0 0 44728 1502 0 0 25 0 1 0 821170363 497881088 118502 33554432000 4194304 9128323 140735920241808 18446744073709551615 5332999 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21304/statm: 121553 118502 723 1205 0 120344 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 486212
[startup+522.301 s]
/proc/loadavg: 2.09 2.03 2.01 3/573 21319
/proc/meminfo: memFree=31182828/32950928 swapFree=43925852/67111528
[pid=21304] ppid=21302 vsize=533288 CPUtime=522.3 cores=0,2,4,6
/proc/21304/stat : 21304 (scip-2.0.1.4.li) R 21302 21304 20770 0 -1 4202496 131744 0 0 0 50554 1676 0 0 25 0 1 0 821170363 546086912 130256 33554432000 4194304 9128323 140735920241808 18446744073709551615 4219723 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21304/statm: 133322 130256 723 1205 0 132113 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 533288
[startup+582.3 s]
/proc/loadavg: 2.25 2.08 2.02 3/573 21321
/proc/meminfo: memFree=31119416/32950928 swapFree=43925852/67111528
[pid=21304] ppid=21302 vsize=580920 CPUtime=582.31 cores=0,2,4,6
/proc/21304/stat : 21304 (scip-2.0.1.4.li) R 21302 21304 20770 0 -1 4202496 143963 0 0 0 56372 1859 0 0 25 0 1 0 821170363 594862080 142475 33554432000 4194304 9128323 140735920241808 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21304/statm: 145230 142475 723 1205 0 144021 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 580920
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/573 21327
/proc/meminfo: memFree=30910908/32950928 swapFree=43925852/67111528
[pid=21304] ppid=21302 vsize=742500 CPUtime=822.32 cores=0,2,4,6
/proc/21304/stat : 21304 (scip-2.0.1.4.li) R 21302 21304 20770 0 -1 4202496 184861 0 0 0 79701 2531 0 0 25 0 1 0 821170363 760320000 183373 33554432000 4194304 9128323 140735920241808 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21304/statm: 185625 183373 723 1205 0 184416 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 742500
[startup+882.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/573 21329
/proc/meminfo: memFree=30851848/32950928 swapFree=43925852/67111528
[pid=21304] ppid=21302 vsize=784468 CPUtime=882.31 cores=0,2,4,6
/proc/21304/stat : 21304 (scip-2.0.1.4.li) R 21302 21304 20770 0 -1 4202496 195618 0 0 0 85540 2691 0 0 25 0 1 0 821170363 803295232 194130 33554432000 4194304 9128323 140735920241808 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21304/statm: 196117 194130 723 1205 0 194908 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 784468
[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 21330
/proc/meminfo: memFree=30795880/32950928 swapFree=43925852/67111528
[pid=21304] ppid=21302 vsize=826660 CPUtime=942.32 cores=0,2,4,6
/proc/21304/stat : 21304 (scip-2.0.1.4.li) R 21302 21304 20770 0 -1 4202496 206433 0 0 0 91380 2852 0 0 25 0 1 0 821170363 846499840 204945 33554432000 4194304 9128323 140735920241808 18446744073709551615 6505282 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21304/statm: 206665 204945 723 1205 0 205456 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 826660
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 21332
/proc/meminfo: memFree=30735820/32950928 swapFree=43925852/67111528
[pid=21304] ppid=21302 vsize=873664 CPUtime=1002.32 cores=0,2,4,6
/proc/21304/stat : 21304 (scip-2.0.1.4.li) R 21302 21304 20770 0 -1 4202496 218168 0 0 0 97195 3037 0 0 24 0 1 0 821170363 894631936 216680 33554432000 4194304 9128323 140735920241808 18446744073709551615 6807056 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21304/statm: 218416 216680 723 1205 0 217207 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 873664
[startup+1062.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/573 21333
/proc/meminfo: memFree=30703908/32950928 swapFree=43925852/67111528
[pid=21304] ppid=21302 vsize=913352 CPUtime=1062.32 cores=0,2,4,6
/proc/21304/stat : 21304 (scip-2.0.1.4.li) R 21302 21304 20770 0 -1 4202496 228308 0 0 0 103035 3197 0 0 25 0 1 0 821170363 935272448 226820 33554432000 4194304 9128323 140735920241808 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21304/statm: 228338 226820 723 1205 0 227129 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 913352
[startup+1122.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/573 21335
/proc/meminfo: memFree=30664560/32950928 swapFree=43925852/67111528
[pid=21304] ppid=21302 vsize=966552 CPUtime=1122.32 cores=0,2,4,6
/proc/21304/stat : 21304 (scip-2.0.1.4.li) R 21302 21304 20770 0 -1 4202496 237748 0 0 0 108885 3347 0 0 25 0 1 0 821170363 989749248 236260 33554432000 4194304 9128323 140735920241808 18446744073709551615 4240086 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21304/statm: 241638 236260 723 1205 0 240429 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 966552
[startup+1182.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/573 21337
/proc/meminfo: memFree=30627188/32950928 swapFree=43925852/67111528
[pid=21304] ppid=21302 vsize=1005404 CPUtime=1182.32 cores=0,2,4,6
/proc/21304/stat : 21304 (scip-2.0.1.4.li) R 21302 21304 20770 0 -1 4202496 247695 0 0 0 114709 3523 0 0 25 0 1 0 821170363 1029533696 246207 33554432000 4194304 9128323 140735920241808 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21304/statm: 251351 246207 723 1205 0 250142 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1005404
[startup+1242.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/573 21338
/proc/meminfo: memFree=30586352/32950928 swapFree=43925852/67111528
[pid=21304] ppid=21302 vsize=1045272 CPUtime=1242.32 cores=0,2,4,6
/proc/21304/stat : 21304 (scip-2.0.1.4.li) R 21302 21304 20770 0 -1 4202496 257522 0 0 0 120538 3694 0 0 25 0 1 0 821170363 1070358528 256034 33554432000 4194304 9128323 140735920241808 18446744073709551615 5332999 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21304/statm: 261318 256034 723 1205 0 260109 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1045272
[startup+1302.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/573 21340
/proc/meminfo: memFree=30543904/32950928 swapFree=43925852/67111528
[pid=21304] ppid=21302 vsize=1086864 CPUtime=1302.34 cores=0,2,4,6
/proc/21304/stat : 21304 (scip-2.0.1.4.li) R 21302 21304 20770 0 -1 4202496 268171 0 0 0 126370 3864 0 0 25 0 1 0 821170363 1112948736 266683 33554432000 4194304 9128323 140735920241808 18446744073709551615 4840248 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21304/statm: 271716 266683 723 1205 0 270507 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 1086864
[startup+1362.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/573 21341
/proc/meminfo: memFree=30508164/32950928 swapFree=43925852/67111528
[pid=21304] ppid=21302 vsize=1121432 CPUtime=1362.33 cores=0,2,4,6
/proc/21304/stat : 21304 (scip-2.0.1.4.li) R 21302 21304 20770 0 -1 4202496 277073 0 0 0 132197 4036 0 0 25 0 1 0 821170363 1148346368 275585 33554432000 4194304 9128323 140735920241808 18446744073709551615 5952191 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21304/statm: 280358 275585 723 1205 0 279149 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1121432
[startup+1422.32 s]
/proc/loadavg: 2.00 2.03 2.00 3/573 21343
/proc/meminfo: memFree=30465812/32950928 swapFree=43925852/67111528
[pid=21304] ppid=21302 vsize=1162744 CPUtime=1422.35 cores=0,2,4,6
/proc/21304/stat : 21304 (scip-2.0.1.4.li) R 21302 21304 20770 0 -1 4202496 287660 0 0 0 138023 4212 0 0 25 0 1 0 821170363 1190649856 286172 33554432000 4194304 9128323 140735920241808 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21304/statm: 290686 286172 723 1205 0 289477 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 1162744
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 21345
/proc/meminfo: memFree=30434780/32950928 swapFree=43925852/67111528
[pid=21304] ppid=21302 vsize=1196048 CPUtime=1482.33 cores=0,2,4,6
/proc/21304/stat : 21304 (scip-2.0.1.4.li) R 21302 21304 20770 0 -1 4202496 295642 0 0 0 143842 4391 0 0 25 0 1 0 821170363 1224753152 294154 33554432000 4194304 9128323 140735920241808 18446744073709551615 5332999 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21304/statm: 299012 294154 723 1205 0 297803 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1196048
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 21346
/proc/meminfo: memFree=30398772/32950928 swapFree=43925852/67111528
[pid=21304] ppid=21302 vsize=1230552 CPUtime=1542.34 cores=0,2,4,6
/proc/21304/stat : 21304 (scip-2.0.1.4.li) R 21302 21304 20770 0 -1 4202496 304514 0 0 0 149668 4566 0 0 25 0 1 0 821170363 1260085248 303026 33554432000 4194304 9128323 140735920241808 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21304/statm: 307638 303026 723 1205 0 306429 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 1230552
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/573 21348
/proc/meminfo: memFree=30362880/32950928 swapFree=43925852/67111528
[pid=21304] ppid=21302 vsize=1265052 CPUtime=1602.33 cores=0,2,4,6
/proc/21304/stat : 21304 (scip-2.0.1.4.li) R 21302 21304 20770 0 -1 4202496 313357 0 0 0 155492 4741 0 0 25 0 1 0 821170363 1295413248 311869 33554432000 4194304 9128323 140735920241808 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21304/statm: 316263 311869 723 1205 0 315054 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1265052
[startup+1662.3 s]
/proc/loadavg: 2.22 2.07 2.02 3/573 21349
/proc/meminfo: memFree=30324272/32950928 swapFree=43925852/67111528
[pid=21304] ppid=21302 vsize=1303300 CPUtime=1662.33 cores=0,2,4,6
/proc/21304/stat : 21304 (scip-2.0.1.4.li) R 21302 21304 20770 0 -1 4202496 323148 0 0 0 161327 4906 0 0 25 0 1 0 821170363 1334579200 321660 33554432000 4194304 9128323 140735920241808 18446744073709551615 4497109 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21304/statm: 325825 321660 723 1205 0 324616 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1303300
[startup+1722.3 s]
/proc/loadavg: 2.10 2.06 2.02 3/573 21379
/proc/meminfo: memFree=30575304/32950928 swapFree=43925852/67111528
[pid=21304] ppid=21302 vsize=1344804 CPUtime=1722.34 cores=0,2,4,6
/proc/21304/stat : 21304 (scip-2.0.1.4.li) R 21302 21304 20770 0 -1 4202496 333686 0 0 0 167172 5062 0 0 25 0 1 0 821170363 1377079296 332198 33554432000 4194304 9128323 140735920241808 18446744073709551615 6527933 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21304/statm: 336201 332198 723 1205 0 334992 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1344804
[startup+1782.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/573 21381
/proc/meminfo: memFree=30481264/32950928 swapFree=43925852/67111528
[pid=21304] ppid=21302 vsize=1378228 CPUtime=1782.33 cores=0,2,4,6
/proc/21304/stat : 21304 (scip-2.0.1.4.li) R 21302 21304 20770 0 -1 4202496 342255 0 0 0 173047 5186 0 0 25 0 1 0 821170363 1411305472 340767 33554432000 4194304 9128323 140735920241808 18446744073709551615 5332999 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21304/statm: 344557 340767 723 1205 0 343348 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 1378228
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.03 2.05 2.01 3/573 21381
/proc/meminfo: memFree=30462904/32950928 swapFree=43925852/67111528
[pid=21304] ppid=21302 vsize=1386996 CPUtime=1800.06 cores=0,2,4,6
/proc/21304/stat : 21304 (scip-2.0.1.4.li) R 21302 21304 20770 0 -1 4202496 344550 0 0 0 174775 5231 0 0 18 0 1 0 821170363 1420283904 343062 33554432000 4194304 9128323 140735920241808 18446744073709551615 5320780 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21304/statm: 346749 343062 725 1205 0 345540 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1386996
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.08
CPU time (s): 1800.12
CPU user time (s): 1747.76
CPU system time (s): 52.364
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1386996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1747.76
system time used= 52.364
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 344550
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= 6
involuntary context switches= 1413
runsolver used 10.4344 second user time and 22.9515 second system time
The end