0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3485345-1307774593.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 = 1797
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = 13950
0.00/0.01 c
0.00/0.01 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.01 c # [type: int, range: [1,2], default: 1]
0.00/0.01 c timing/clocktype = 2
0.00/0.01 c
0.00/0.01 c # belongs reading time to solving time?
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c timing/reading = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify inequalities
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/linear/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/indicator/addCouplingCons = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify knapsacks
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c separating/rapidlearning/freq = 0
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.01 c 0.0s| 1 | 0 | 33 | - | 294k| 0 | 6 | 50 | 20 | 50 | 6 | 0 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 122 | - | 333k| 0 | 10 | 50 | 25 | 50 | 11 | 5 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 128 | - | 364k| 0 | 10 | 50 | 25 | 50 | 15 | 9 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 135 | - | 386k| 0 | 11 | 50 | 25 | 50 | 19 | 13 | 14 | 0 | 0.000000e+00 | -- | Inf
0.03/0.04 c 0.0s| 1 | 0 | 142 | - | 395k| 0 | 13 | 50 | 25 | 50 | 21 | 15 | 14 | 0 | 0.000000e+00 | -- | Inf
0.03/0.04 c 0.0s| 1 | 0 | 146 | - | 419k| 0 | 15 | 50 | 25 | 50 | 25 | 19 | 14 | 0 | 0.000000e+00 | -- | Inf
0.03/0.05 c 0.0s| 1 | 0 | 149 | - | 438k| 0 | 17 | 50 | 25 | 50 | 28 | 22 | 14 | 0 | 0.000000e+00 | -- | Inf
0.03/0.08 c 0.1s| 1 | 2 | 149 | - | 438k| 0 | 17 | 50 | 25 | 50 | 28 | 22 | 14 | 14 | 0.000000e+00 | -- | Inf
1.69/1.75 c 1.8s| 10000 | 3389 | 26866 | 2.7 |4053k| 43 | 6 | 50 |2990 | 50 | 17 | 22 |4804 | 594 | 0.000000e+00 | -- | Inf
3.29/3.36 c 3.4s| 20000 | 6401 | 52507 | 2.6 |6094k| 44 | - | 50 |2183 | 50 | 17 | 22 |9930 | 794 | 0.000000e+00 | -- | Inf
4.89/4.93 c 4.9s| 30000 | 9548 | 76790 | 2.6 |8264k| 44 | 6 | 50 |2229 | 50 | 17 | 22 | 14k| 905 | 0.000000e+00 | -- | Inf
6.50/6.50 c 6.5s| 40000 | 12567 |100806 | 2.5 | 10M| 45 | 6 | 50 |2603 | 50 | 17 | 22 | 20k|1010 | 0.000000e+00 | -- | Inf
7.99/8.09 c 8.1s| 50000 | 15594 |124679 | 2.5 | 12M| 45 | - | 50 |2508 | 50 | 17 | 22 | 25k|1073 | 0.000000e+00 | -- | Inf
9.69/9.71 c 9.7s| 60000 | 18398 |148219 | 2.5 | 14M| 45 | 6 | 50 |2621 | 50 | 17 | 22 | 30k|1133 | 0.000000e+00 | -- | Inf
11.30/11.36 c 11.4s| 70000 | 21133 |171842 | 2.5 | 16M| 45 | 6 | 50 |3203 | 50 | 17 | 22 | 35k|1178 | 0.000000e+00 | -- | Inf
12.99/13.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.99/13.06 c 13.1s| 80000 | 23630 |195240 | 2.4 | 18M| 45 | 6 | 50 |3299 | 50 | 17 | 22 | 40k|1227 | 0.000000e+00 | -- | Inf
14.69/14.72 c 14.7s| 90000 | 26293 |219062 | 2.4 | 20M| 45 | 6 | 50 |3501 | 50 | 17 | 22 | 46k|1274 | 0.000000e+00 | -- | Inf
16.39/16.48 c 16.5s|100000 | 28512 |241973 | 2.4 | 22M| 45 | - | 50 |3298 | 50 | 17 | 22 | 51k|1306 | 0.000000e+00 | -- | Inf
18.09/18.14 c 18.1s|110000 | 31265 |264644 | 2.4 | 24M| 45 | 6 | 50 |3001 | 50 | 17 | 22 | 57k|1317 | 0.000000e+00 | -- | Inf
19.79/19.81 c 19.8s|120000 | 33832 |287610 | 2.4 | 26M| 45 | 6 | 50 |3283 | 50 | 17 | 22 | 62k|1341 | 0.000000e+00 | -- | Inf
21.29/21.39 c 21.4s|130000 | 36774 |310051 | 2.4 | 28M| 45 | 6 | 50 |3987 | 50 | 17 | 22 | 67k|1352 | 0.000000e+00 | -- | Inf
23.00/23.09 c 23.1s|140000 | 39566 |333254 | 2.4 | 30M| 45 | 6 | 50 |3661 | 50 | 17 | 22 | 72k|1374 | 0.000000e+00 | -- | Inf
24.69/24.78 c 24.8s|150000 | 42279 |356045 | 2.4 | 32M| 45 | 6 | 50 |3398 | 50 | 17 | 22 | 77k|1388 | 0.000000e+00 | -- | Inf
26.39/26.44 c 26.4s|160000 | 45124 |378849 | 2.4 | 34M| 45 | 6 | 50 |3371 | 50 | 17 | 22 | 82k|1419 | 0.000000e+00 | -- | Inf
27.99/28.09 c 28.1s|170000 | 47865 |402290 | 2.4 | 36M| 45 | 6 | 50 |3634 | 50 | 17 | 22 | 88k|1436 | 0.000000e+00 | -- | Inf
29.70/29.78 c 29.8s|180000 | 50567 |425696 | 2.4 | 38M| 45 | 6 | 50 |3598 | 50 | 17 | 22 | 93k|1471 | 0.000000e+00 | -- | Inf
31.39/31.45 c 31.5s|190000 | 53459 |448522 | 2.4 | 40M| 45 | 6 | 50 |3470 | 50 | 17 | 22 | 98k|1507 | 0.000000e+00 | -- | Inf
33.09/33.17 c 33.2s|200000 | 56121 |471521 | 2.4 | 42M| 45 | - | 50 |3673 | 50 | 17 | 22 | 103k|1570 | 0.000000e+00 | -- | Inf
34.89/34.90 c 34.9s|210000 | 58621 |494558 | 2.4 | 44M| 45 | 6 | 50 |3073 | 50 | 17 | 22 | 109k|1578 | 0.000000e+00 | -- | Inf
36.59/36.62 c 36.6s|220000 | 61067 |517028 | 2.3 | 46M| 45 | 6 | 50 |3490 | 50 | 17 | 22 | 114k|1596 | 0.000000e+00 | -- | Inf
38.19/38.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.19/38.27 c 38.3s|230000 | 63838 |539437 | 2.3 | 48M| 45 | - | 50 |4599 | 50 | 17 | 22 | 119k|1608 | 0.000000e+00 | -- | Inf
39.89/39.99 c 40.0s|240000 | 66559 |562446 | 2.3 | 50M| 45 | - | 50 |3327 | 50 | 17 | 22 | 124k|1622 | 0.000000e+00 | -- | Inf
41.59/41.67 c 41.7s|250000 | 69212 |584939 | 2.3 | 52M| 45 | - | 50 |3461 | 50 | 17 | 22 | 130k|1653 | 0.000000e+00 | -- | Inf
43.39/43.44 c 43.4s|260000 | 71653 |608119 | 2.3 | 54M| 45 | 6 | 50 |3247 | 50 | 17 | 22 | 135k|1666 | 0.000000e+00 | -- | Inf
45.10/45.17 c 45.2s|270000 | 74149 |630967 | 2.3 | 56M| 45 | 6 | 50 |3477 | 50 | 17 | 22 | 141k|1687 | 0.000000e+00 | -- | Inf
46.79/46.83 c 46.8s|280000 | 76922 |653184 | 2.3 | 58M| 45 | - | 50 |3668 | 50 | 17 | 22 | 146k|1702 | 0.000000e+00 | -- | Inf
48.49/48.57 c 48.6s|290000 | 79483 |675874 | 2.3 | 60M| 45 | 6 | 50 |3671 | 50 | 17 | 22 | 151k|1718 | 0.000000e+00 | -- | Inf
50.29/50.32 c 50.3s|300000 | 82054 |698503 | 2.3 | 62M| 45 | 6 | 50 |4116 | 50 | 17 | 22 | 157k|1733 | 0.000000e+00 | -- | Inf
52.09/52.13 c 52.1s|310000 | 84354 |720707 | 2.3 | 64M| 45 | 6 | 50 |3920 | 50 | 17 | 22 | 162k|1758 | 0.000000e+00 | -- | Inf
53.89/53.96 c 54.0s|320000 | 86488 |743696 | 2.3 | 65M| 45 | 6 | 50 |3708 | 50 | 17 | 22 | 168k|1771 | 0.000000e+00 | -- | Inf
55.69/55.73 c 55.7s|330000 | 88929 |766509 | 2.3 | 67M| 45 | 6 | 50 |3804 | 50 | 17 | 22 | 173k|1779 | 0.000000e+00 | -- | Inf
57.39/57.46 c 57.5s|340000 | 91348 |789130 | 2.3 | 69M| 45 | 6 | 50 |3891 | 50 | 17 | 22 | 179k|1791 | 0.000000e+00 | -- | Inf
59.19/59.27 c 59.3s|350000 | 93747 |811254 | 2.3 | 71M| 45 | - | 50 |3479 | 50 | 17 | 22 | 184k|1804 | 0.000000e+00 | -- | Inf
60.99/61.02 c 61.0s|360000 | 95992 |834270 | 2.3 | 73M| 45 | 6 | 50 |3567 | 50 | 17 | 22 | 190k|1821 | 0.000000e+00 | -- | Inf
62.59/62.67 c 62.7s|370000 | 98747 |857499 | 2.3 | 75M| 45 | - | 50 |4563 | 0 | 0 | 22 | 195k|1925 | 0.000000e+00 | -- | Inf
64.40/64.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.40/64.47 c 64.5s|380000 |101071 |880394 | 2.3 | 77M| 45 | - | 50 |3912 | 50 | 17 | 22 | 201k|1926 | 0.000000e+00 | -- | Inf
66.29/66.31 c 66.3s|390000 |103211 |902761 | 2.3 | 78M| 45 | - | 50 |3753 | 0 | 0 | 22 | 206k|1935 | 0.000000e+00 | -- | Inf
67.89/67.96 c 68.0s|400000 |106043 |925631 | 2.3 | 80M| 45 | 6 | 50 |4445 | 50 | 17 | 22 | 211k|1948 | 0.000000e+00 | -- | Inf
69.79/69.84 c 69.8s|410000 |108089 |948224 | 2.3 | 82M| 45 | 6 | 50 |3803 | 50 | 17 | 22 | 217k|1978 | 0.000000e+00 | -- | Inf
71.59/71.60 c 71.6s|420000 |110528 |970892 | 2.3 | 84M| 45 | 6 | 50 |4421 | 50 | 17 | 22 | 222k|1998 | 0.000000e+00 | -- | Inf
73.20/73.27 c 73.3s|430000 |113121 |993334 | 2.3 | 86M| 45 | - | 50 |5551 | 50 | 17 | 22 | 227k|2017 | 0.000000e+00 | -- | Inf
75.09/75.10 c 75.1s|440000 |115625 | 1014k| 2.3 | 88M| 45 | - | 50 |4534 | 50 | 17 | 22 | 232k|2039 | 0.000000e+00 | -- | Inf
76.90/76.97 c 77.0s|450000 |117688 | 1037k| 2.3 | 90M| 45 | - | 50 |4068 | 50 | 17 | 22 | 238k|2061 | 0.000000e+00 | -- | Inf
78.79/78.83 c 78.8s|460000 |119923 | 1060k| 2.3 | 91M| 45 | 6 | 50 |4211 | 50 | 17 | 22 | 244k|2075 | 0.000000e+00 | -- | Inf
80.49/80.56 c 80.6s|470000 |122227 | 1082k| 2.3 | 93M| 45 | - | 50 |4554 | 50 | 17 | 22 | 249k|2096 | 0.000000e+00 | -- | Inf
82.40/82.45 c 82.5s|480000 |124336 | 1105k| 2.3 | 95M| 45 | - | 50 |4326 | 0 | 0 | 22 | 255k|2119 | 0.000000e+00 | -- | Inf
84.29/84.32 c 84.3s|490000 |126446 | 1128k| 2.3 | 97M| 45 | 6 | 50 |4164 | 50 | 17 | 22 | 260k|2134 | 0.000000e+00 | -- | Inf
86.09/86.11 c 86.1s|500000 |128803 | 1150k| 2.3 | 99M| 45 | 6 | 50 |4440 | 50 | 17 | 22 | 266k|2148 | 0.000000e+00 | -- | Inf
87.90/87.94 c 87.9s|510000 |131028 | 1173k| 2.3 | 101M| 45 | 6 | 50 |4587 | 50 | 17 | 22 | 271k|2186 | 0.000000e+00 | -- | Inf
89.69/89.75 c 89.8s|520000 |133406 | 1195k| 2.3 | 102M| 45 | 6 | 50 |3780 | 50 | 17 | 22 | 277k|2204 | 0.000000e+00 | -- | Inf
91.50/91.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
91.50/91.54 c 91.5s|530000 |135660 | 1217k| 2.3 | 104M| 45 | 6 | 50 |3937 | 50 | 17 | 22 | 282k|2217 | 0.000000e+00 | -- | Inf
93.30/93.33 c 93.3s|540000 |137861 | 1240k| 2.3 | 106M| 45 | 6 | 50 |4888 | 50 | 17 | 22 | 288k|2230 | 0.000000e+00 | -- | Inf
95.09/95.13 c 95.1s|550000 |140389 | 1263k| 2.3 | 108M| 45 | 6 | 50 |5184 | 50 | 17 | 22 | 293k|2246 | 0.000000e+00 | -- | Inf
96.89/96.94 c 96.9s|560000 |143176 | 1286k| 2.3 | 110M| 45 | - | 50 |4407 | 50 | 17 | 22 | 298k|2252 | 0.000000e+00 | -- | Inf
98.70/98.73 c 98.7s|570000 |145577 | 1309k| 2.3 | 112M| 45 | - | 50 |5151 | 50 | 17 | 22 | 304k|2270 | 0.000000e+00 | -- | Inf
100.60/100.64 c 101s|580000 |147739 | 1332k| 2.3 | 114M| 45 | - | 50 |4634 | 50 | 17 | 22 | 309k|2280 | 0.000000e+00 | -- | Inf
102.30/102.38 c 102s|590000 |150386 | 1354k| 2.3 | 116M| 45 | 6 | 50 |4666 | 50 | 17 | 22 | 314k|2294 | 0.000000e+00 | -- | Inf
103.99/104.03 c 104s|600000 |153453 | 1378k| 2.3 | 118M| 45 | 6 | 50 |6096 | 50 | 17 | 22 | 319k|2315 | 0.000000e+00 | -- | Inf
105.79/105.88 c 106s|610000 |155831 | 1401k| 2.3 | 120M| 45 | 6 | 50 |6165 | 50 | 17 | 22 | 324k|2329 | 0.000000e+00 | -- | Inf
107.70/107.75 c 108s|620000 |158245 | 1425k| 2.3 | 122M| 45 | - | 50 |6543 | 50 | 17 | 22 | 329k|2352 | 0.000000e+00 | -- | Inf
109.59/109.67 c 110s|630000 |160861 | 1448k| 2.3 | 124M| 45 | 6 | 50 |5787 | 50 | 17 | 22 | 334k|2369 | 0.000000e+00 | -- | Inf
111.39/111.49 c 111s|640000 |163510 | 1469k| 2.3 | 126M| 45 | 6 | 50 |5230 | 50 | 17 | 22 | 339k|2385 | 0.000000e+00 | -- | Inf
113.39/113.41 c 113s|650000 |165640 | 1492k| 2.3 | 127M| 45 | 6 | 50 |4057 | 50 | 17 | 22 | 345k|2401 | 0.000000e+00 | -- | Inf
114.99/115.09 c 115s|660000 |168597 | 1514k| 2.3 | 129M| 45 | 6 | 50 |4772 | 50 | 17 | 22 | 349k|2415 | 0.000000e+00 | -- | Inf
116.89/116.99 c 117s|670000 |170796 | 1537k| 2.3 | 131M| 45 | 6 | 50 |3955 | 50 | 17 | 22 | 355k|2434 | 0.000000e+00 | -- | Inf
118.80/118.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
118.80/118.90 c 119s|680000 |172854 | 1559k| 2.3 | 133M| 45 | - | 50 |3689 | 50 | 17 | 22 | 360k|2448 | 0.000000e+00 | -- | Inf
120.49/120.58 c 121s|690000 |175623 | 1581k| 2.3 | 134M| 45 | 6 | 50 |3938 | 50 | 17 | 22 | 366k|2461 | 0.000000e+00 | -- | Inf
122.20/122.24 c 122s|700000 |178603 | 1604k| 2.3 | 137M| 45 | 6 | 50 |5155 | 50 | 17 | 22 | 371k|2474 | 0.000000e+00 | -- | Inf
124.00/124.09 c 124s|710000 |181041 | 1626k| 2.3 | 139M| 45 | - | 50 |4868 | 50 | 17 | 22 | 376k|2490 | 0.000000e+00 | -- | Inf
125.79/125.85 c 126s|720000 |183574 | 1647k| 2.3 | 140M| 45 | 6 | 50 |5212 | 50 | 17 | 22 | 381k|2499 | 0.000000e+00 | -- | Inf
127.69/127.72 c 128s|730000 |185787 | 1670k| 2.3 | 142M| 45 | - | 50 |5064 | 50 | 17 | 22 | 387k|2510 | 0.000000e+00 | -- | Inf
129.59/129.66 c 130s|740000 |187923 | 1693k| 2.3 | 144M| 45 | 6 | 50 |4020 | 50 | 17 | 22 | 392k|2529 | 0.000000e+00 | -- | Inf
131.40/131.48 c 131s|750000 |190243 | 1715k| 2.3 | 146M| 45 | - | 50 |3829 | 50 | 17 | 22 | 398k|2543 | 0.000000e+00 | -- | Inf
133.10/133.19 c 133s|760000 |192857 | 1738k| 2.3 | 148M| 45 | 6 | 50 |3987 | 50 | 17 | 22 | 403k|2555 | 0.000000e+00 | -- | Inf
134.99/135.06 c 135s|770000 |194889 | 1761k| 2.3 | 149M| 45 | 6 | 50 |4173 | 50 | 17 | 22 | 408k|2569 | 0.000000e+00 | -- | Inf
136.90/136.99 c 137s|780000 |196890 | 1784k| 2.3 | 151M| 45 | - | 50 |3847 | 50 | 17 | 22 | 414k|2576 | 0.000000e+00 | -- | Inf
138.60/138.69 c 139s|790000 |199703 | 1807k| 2.3 | 153M| 45 | 6 | 50 |5012 | 50 | 17 | 22 | 419k|2587 | 0.000000e+00 | -- | Inf
140.70/140.70 c 141s|800000 |201760 | 1829k| 2.3 | 155M| 45 | 6 | 50 |3410 | 50 | 17 | 22 | 425k|2597 | 0.000000e+00 | -- | Inf
142.50/142.54 c 143s|810000 |203949 | 1851k| 2.3 | 157M| 45 | 6 | 50 |3787 | 50 | 17 | 22 | 430k|2635 | 0.000000e+00 | -- | Inf
144.30/144.35 c 144s|820000 |206225 | 1873k| 2.3 | 158M| 45 | 6 | 50 |4412 | 50 | 17 | 22 | 436k|2641 | 0.000000e+00 | -- | Inf
146.10/146.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
146.10/146.12 c 146s|830000 |208643 | 1895k| 2.3 | 160M| 45 | - | 50 |4681 | 50 | 17 | 22 | 441k|2656 | 0.000000e+00 | -- | Inf
147.90/148.00 c 148s|840000 |210898 | 1918k| 2.3 | 162M| 45 | 6 | 50 |3324 | 50 | 17 | 22 | 446k|2677 | 0.000000e+00 | -- | Inf
149.79/149.82 c 150s|850000 |213029 | 1940k| 2.3 | 164M| 45 | 6 | 50 |3861 | 50 | 17 | 22 | 452k|2696 | 0.000000e+00 | -- | Inf
151.49/151.55 c 152s|860000 |215340 | 1963k| 2.3 | 166M| 45 | 6 | 50 |4820 | 50 | 17 | 22 | 457k|2715 | 0.000000e+00 | -- | Inf
153.19/153.27 c 153s|870000 |218028 | 1986k| 2.3 | 168M| 45 | 6 | 50 |6256 | 50 | 17 | 22 | 462k|2735 | 0.000000e+00 | -- | Inf
155.20/155.26 c 155s|880000 |220343 | 2008k| 2.3 | 169M| 45 | - | 50 |4524 | 50 | 17 | 22 | 468k|2754 | 0.000000e+00 | -- | Inf
157.09/157.17 c 157s|890000 |222410 | 2030k| 2.3 | 171M| 45 | 6 | 50 |3499 | 50 | 17 | 22 | 473k|2772 | 0.000000e+00 | -- | Inf
159.00/159.04 c 159s|900000 |224445 | 2053k| 2.3 | 173M| 45 | - | 50 |3645 | 50 | 17 | 22 | 479k|2791 | 0.000000e+00 | -- | Inf
160.80/160.82 c 161s|910000 |226650 | 2076k| 2.3 | 175M| 45 | - | 50 |4334 | 50 | 17 | 22 | 484k|2801 | 0.000000e+00 | -- | Inf
162.70/162.76 c 163s|920000 |228697 | 2098k| 2.3 | 176M| 45 | 6 | 50 |3585 | 50 | 17 | 22 | 490k|2812 | 0.000000e+00 | -- | Inf
164.50/164.58 c 165s|930000 |230898 | 2121k| 2.3 | 178M| 45 | - | 50 |3794 | 50 | 17 | 22 | 495k|2832 | 0.000000e+00 | -- | Inf
166.40/166.41 c 166s|940000 |233113 | 2143k| 2.3 | 180M| 45 | 6 | 50 |4436 | 50 | 17 | 22 | 501k|2844 | 0.000000e+00 | -- | Inf
168.20/168.29 c 168s|950000 |235196 | 2165k| 2.3 | 182M| 45 | 6 | 50 |3448 | 50 | 17 | 22 | 506k|2862 | 0.000000e+00 | -- | Inf
169.99/170.08 c 170s|960000 |237539 | 2188k| 2.3 | 184M| 45 | - | 50 |3815 | 50 | 17 | 22 | 512k|2873 | 0.000000e+00 | -- | Inf
171.90/171.91 c 172s|970000 |239658 | 2211k| 2.3 | 185M| 45 | - | 50 |3935 | 50 | 17 | 22 | 517k|2887 | 0.000000e+00 | -- | Inf
173.80/173.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
173.80/173.81 c 174s|980000 |241684 | 2234k| 2.3 | 187M| 45 | 6 | 50 |3893 | 50 | 17 | 22 | 523k|2927 | 0.000000e+00 | -- | Inf
175.60/175.67 c 176s|990000 |243658 | 2256k| 2.3 | 189M| 45 | 6 | 50 |3816 | 50 | 17 | 22 | 529k|2928 | 0.000000e+00 | -- | Inf
177.49/177.52 c 178s| 1000k|245651 | 2278k| 2.3 | 191M| 45 | 6 | 50 |4044 | 50 | 17 | 22 | 534k|2947 | 0.000000e+00 | -- | Inf
179.20/179.22 c 179s| 1010k|248072 | 2300k| 2.3 | 193M| 45 | - | 50 |5489 | 50 | 17 | 22 | 540k|2961 | 0.000000e+00 | -- | Inf
181.19/181.20 c 181s| 1020k|250020 | 2322k| 2.3 | 194M| 45 | - | 50 |4027 | 50 | 17 | 22 | 545k|2980 | 0.000000e+00 | -- | Inf
183.10/183.12 c 183s| 1030k|251989 | 2345k| 2.3 | 196M| 45 | - | 50 |3830 | 50 | 17 | 22 | 551k|2995 | 0.000000e+00 | -- | Inf
184.89/184.97 c 185s| 1040k|254036 | 2368k| 2.3 | 198M| 45 | 6 | 50 |4222 | 50 | 17 | 22 | 556k|3014 | 0.000000e+00 | -- | Inf
186.91/186.91 c 187s| 1050k|255996 | 2391k| 2.3 | 199M| 45 | - | 50 |3696 | 50 | 17 | 22 | 562k|3028 | 0.000000e+00 | -- | Inf
188.70/188.74 c 189s| 1060k|258106 | 2414k| 2.3 | 201M| 45 | 6 | 50 |4616 | 50 | 17 | 22 | 568k|3050 | 0.000000e+00 | -- | Inf
190.70/190.70 c 191s| 1070k|260052 | 2437k| 2.3 | 203M| 45 | 6 | 50 |4127 | 50 | 17 | 22 | 573k|3069 | 0.000000e+00 | -- | Inf
192.50/192.53 c 193s| 1080k|262071 | 2459k| 2.3 | 205M| 45 | - | 50 |4545 | 50 | 17 | 22 | 579k|3090 | 0.000000e+00 | -- | Inf
194.40/194.47 c 194s| 1090k|263975 | 2481k| 2.3 | 207M| 45 | 6 | 50 |4505 | 50 | 17 | 22 | 585k|3108 | 0.000000e+00 | -- | Inf
196.29/196.32 c 196s| 1100k|266200 | 2503k| 2.3 | 208M| 45 | - | 50 |5001 | 0 | 0 | 22 | 590k|3127 | 0.000000e+00 | -- | Inf
198.09/198.19 c 198s| 1110k|268453 | 2526k| 2.3 | 210M| 45 | - | 50 |4936 | 50 | 17 | 22 | 595k|3148 | 0.000000e+00 | -- | Inf
200.00/200.08 c 200s| 1120k|270668 | 2547k| 2.3 | 212M| 45 | 6 | 50 |4277 | 50 | 17 | 22 | 601k|3162 | 0.000000e+00 | -- | Inf
201.79/201.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
201.79/201.81 c 202s| 1130k|273142 | 2570k| 2.3 | 214M| 45 | 6 | 50 |6070 | 50 | 17 | 22 | 606k|3243 | 0.000000e+00 | -- | Inf
203.69/203.72 c 204s| 1140k|275553 | 2592k| 2.3 | 216M| 45 | - | 50 |7359 | 50 | 17 | 22 | 611k|3243 | 0.000000e+00 | -- | Inf
205.79/205.86 c 206s| 1150k|277601 | 2615k| 2.3 | 217M| 45 | 6 | 50 |4577 | 50 | 17 | 22 | 616k|3243 | 0.000000e+00 | -- | Inf
207.80/207.86 c 208s| 1160k|279506 | 2637k| 2.3 | 219M| 45 | - | 50 |3861 | 50 | 17 | 22 | 622k|3252 | 0.000000e+00 | -- | Inf
209.70/209.71 c 210s| 1170k|281641 | 2659k| 2.3 | 221M| 45 | 6 | 50 |4096 | 50 | 17 | 22 | 627k|3262 | 0.000000e+00 | -- | Inf
211.49/211.59 c 212s| 1180k|283842 | 2681k| 2.3 | 222M| 45 | 6 | 50 |3569 | 50 | 17 | 22 | 633k|3268 | 0.000000e+00 | -- | Inf
213.30/213.39 c 213s| 1190k|286080 | 2703k| 2.3 | 224M| 45 | 6 | 50 |4256 | 50 | 17 | 22 | 638k|3281 | 0.000000e+00 | -- | Inf
215.20/215.28 c 215s| 1200k|288099 | 2726k| 2.3 | 226M| 45 | 6 | 50 |4120 | 50 | 17 | 22 | 644k|3290 | 0.000000e+00 | -- | Inf
217.19/217.22 c 217s| 1210k|290109 | 2748k| 2.3 | 228M| 45 | - | 50 |3698 | 50 | 17 | 22 | 650k|3303 | 0.000000e+00 | -- | Inf
219.00/219.08 c 219s| 1220k|292138 | 2771k| 2.3 | 230M| 45 | 6 | 50 |4433 | 50 | 17 | 22 | 655k|3316 | 0.000000e+00 | -- | Inf
221.01/221.02 c 221s| 1230k|294230 | 2793k| 2.3 | 231M| 45 | 6 | 50 |3645 | 50 | 17 | 22 | 661k|3317 | 0.000000e+00 | -- | Inf
222.79/222.84 c 223s| 1240k|296408 | 2816k| 2.3 | 233M| 45 | 6 | 50 |4849 | 50 | 17 | 22 | 666k|3330 | 0.000000e+00 | -- | Inf
224.80/224.80 c 225s| 1250k|298380 | 2838k| 2.3 | 235M| 45 | 6 | 50 |4114 | 50 | 17 | 22 | 672k|3340 | 0.000000e+00 | -- | Inf
226.50/226.58 c 227s| 1260k|300889 | 2861k| 2.3 | 237M| 45 | - | 50 |5449 | 50 | 17 | 22 | 677k|3350 | 0.000000e+00 | -- | Inf
228.40/228.41 c 228s| 1270k|303372 | 2882k| 2.3 | 239M| 45 | - | 50 |5565 | 50 | 17 | 22 | 682k|3362 | 0.000000e+00 | -- | Inf
230.29/230.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
230.29/230.35 c 230s| 1280k|305512 | 2905k| 2.3 | 240M| 45 | 6 | 50 |5187 | 50 | 17 | 22 | 687k|3379 | 0.000000e+00 | -- | Inf
232.19/232.27 c 232s| 1290k|307704 | 2928k| 2.3 | 242M| 45 | 6 | 50 |4708 | 50 | 17 | 22 | 693k|3391 | 0.000000e+00 | -- | Inf
234.20/234.22 c 234s| 1300k|309757 | 2951k| 2.3 | 244M| 45 | 6 | 50 |4495 | 50 | 17 | 22 | 698k|3402 | 0.000000e+00 | -- | Inf
236.09/236.13 c 236s| 1310k|311797 | 2973k| 2.3 | 246M| 45 | 6 | 50 |4657 | 50 | 17 | 22 | 704k|3413 | 0.000000e+00 | -- | Inf
237.99/238.08 c 238s| 1320k|313684 | 2996k| 2.3 | 247M| 45 | 6 | 50 |4050 | 50 | 17 | 22 | 710k|3427 | 0.000000e+00 | -- | Inf
239.90/239.98 c 240s| 1330k|315733 | 3019k| 2.3 | 249M| 45 | 6 | 50 |3944 | 50 | 17 | 22 | 715k|3443 | 0.000000e+00 | -- | Inf
241.70/241.79 c 242s| 1340k|317848 | 3041k| 2.3 | 251M| 45 | 6 | 50 |4741 | 50 | 17 | 22 | 721k|3455 | 0.000000e+00 | -- | Inf
243.60/243.63 c 244s| 1350k|320222 | 3063k| 2.3 | 253M| 45 | - | 50 |4432 | 50 | 17 | 22 | 726k|3465 | 0.000000e+00 | -- | Inf
245.39/245.43 c 245s| 1360k|322564 | 3085k| 2.3 | 254M| 45 | 6 | 50 |5068 | 50 | 17 | 22 | 731k|3484 | 0.000000e+00 | -- | Inf
247.29/247.36 c 247s| 1370k|324630 | 3108k| 2.3 | 256M| 45 | 6 | 50 |4593 | 50 | 17 | 22 | 737k|3503 | 0.000000e+00 | -- | Inf
249.20/249.25 c 249s| 1380k|326746 | 3131k| 2.3 | 258M| 45 | - | 50 |4608 | 0 | 0 | 22 | 742k|3523 | 0.000000e+00 | -- | Inf
251.10/251.15 c 251s| 1390k|328723 | 3153k| 2.3 | 260M| 45 | 6 | 50 |4678 | 50 | 17 | 22 | 748k|3539 | 0.000000e+00 | -- | Inf
253.10/253.10 c 253s| 1400k|330758 | 3176k| 2.3 | 261M| 45 | 6 | 50 |4387 | 50 | 17 | 22 | 753k|3571 | 0.000000e+00 | -- | Inf
255.00/255.05 c 255s| 1410k|332739 | 3199k| 2.3 | 263M| 45 | 6 | 50 |4535 | 50 | 17 | 22 | 759k|3578 | 0.000000e+00 | -- | Inf
257.00/257.01 c 257s| 1420k|334632 | 3221k| 2.3 | 265M| 45 | - | 50 |3892 | 50 | 17 | 22 | 764k|3611 | 0.000000e+00 | -- | Inf
258.79/258.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
258.79/258.82 c 259s| 1430k|336882 | 3243k| 2.3 | 266M| 45 | - | 50 |4492 | 50 | 17 | 22 | 770k|3613 | 0.000000e+00 | -- | Inf
260.70/260.78 c 261s| 1440k|339041 | 3266k| 2.3 | 268M| 45 | 6 | 50 |4329 | 50 | 17 | 22 | 775k|3623 | 0.000000e+00 | -- | Inf
262.69/262.73 c 263s| 1450k|340889 | 3288k| 2.3 | 270M| 45 | 6 | 50 |4114 | 50 | 17 | 22 | 781k|3640 | 0.000000e+00 | -- | Inf
264.49/264.57 c 265s| 1460k|342923 | 3311k| 2.3 | 272M| 45 | 6 | 50 |5136 | 50 | 17 | 22 | 787k|3656 | 0.000000e+00 | -- | Inf
266.50/266.52 c 267s| 1470k|344941 | 3334k| 2.3 | 274M| 45 | - | 50 |5088 | 50 | 17 | 22 | 792k|3669 | 0.000000e+00 | -- | Inf
268.49/268.53 c 269s| 1480k|346983 | 3357k| 2.3 | 275M| 45 | - | 50 |4671 | 50 | 17 | 22 | 798k|3688 | 0.000000e+00 | -- | Inf
270.39/270.45 c 270s| 1490k|348830 | 3379k| 2.3 | 277M| 45 | 6 | 50 |5270 | 50 | 17 | 22 | 803k|3697 | 0.000000e+00 | -- | Inf
272.50/272.51 c 273s| 1500k|350670 | 3401k| 2.3 | 278M| 45 | - | 50 |4325 | 50 | 17 | 22 | 809k|3715 | 0.000000e+00 | -- | Inf
274.29/274.31 c 274s| 1510k|353038 | 3425k| 2.3 | 280M| 45 | 6 | 50 |4314 | 50 | 17 | 22 | 815k|3721 | 0.000000e+00 | -- | Inf
276.00/276.05 c 276s| 1520k|355681 | 3447k| 2.3 | 282M| 45 | - | 50 |5689 | 50 | 17 | 22 | 820k|3735 | 0.000000e+00 | -- | Inf
277.80/277.87 c 278s| 1530k|358682 | 3468k| 2.3 | 285M| 45 | 6 | 50 |6712 | 50 | 17 | 22 | 824k|3744 | 0.000000e+00 | -- | Inf
280.00/280.03 c 280s| 1540k|360699 | 3491k| 2.3 | 286M| 45 | 6 | 50 |4782 | 50 | 17 | 22 | 830k|3766 | 0.000000e+00 | -- | Inf
281.89/281.93 c 282s| 1550k|362967 | 3513k| 2.3 | 288M| 45 | - | 50 |5176 | 50 | 17 | 22 | 835k|3779 | 0.000000e+00 | -- | Inf
283.89/283.94 c 284s| 1560k|364752 | 3536k| 2.3 | 290M| 45 | - | 50 |5687 | 50 | 17 | 22 | 841k|3790 | 0.000000e+00 | -- | Inf
286.00/286.07 c 286s| 1570k|366583 | 3558k| 2.3 | 291M| 45 | - | 50 |4265 | 50 | 17 | 22 | 847k|3804 | 0.000000e+00 | -- | Inf
287.90/287.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
287.90/287.99 c 288s| 1580k|368895 | 3581k| 2.3 | 293M| 45 | - | 50 |4357 | 50 | 17 | 22 | 852k|3824 | 0.000000e+00 | -- | Inf
289.90/289.91 c 290s| 1590k|370909 | 3603k| 2.3 | 295M| 45 | - | 50 |5434 | 50 | 17 | 22 | 858k|3834 | 0.000000e+00 | -- | Inf
291.89/291.93 c 292s| 1600k|373021 | 3626k| 2.3 | 296M| 45 | 6 | 50 |5191 | 50 | 17 | 22 | 864k|3847 | 0.000000e+00 | -- | Inf
293.90/293.93 c 294s| 1610k|375213 | 3649k| 2.3 | 298M| 45 | - | 50 |5239 | 50 | 17 | 22 | 869k|3863 | 0.000000e+00 | -- | Inf
295.99/296.05 c 296s| 1620k|376897 | 3672k| 2.3 | 300M| 45 | 6 | 50 |4191 | 50 | 17 | 22 | 875k|3875 | 0.000000e+00 | -- | Inf
297.90/297.91 c 298s| 1630k|379221 | 3694k| 2.3 | 302M| 45 | - | 50 |5098 | 50 | 17 | 22 | 880k|3886 | 0.000000e+00 | -- | Inf
299.79/299.86 c 300s| 1640k|381267 | 3716k| 2.3 | 303M| 45 | - | 50 |4856 | 50 | 17 | 22 | 886k|3901 | 0.000000e+00 | -- | Inf
301.70/301.75 c 302s| 1650k|383359 | 3739k| 2.3 | 305M| 45 | - | 50 |5500 | 50 | 17 | 22 | 891k|3912 | 0.000000e+00 | -- | Inf
303.69/303.73 c 304s| 1660k|385500 | 3762k| 2.3 | 307M| 45 | - | 50 |5474 | 50 | 17 | 22 | 897k|3917 | 0.000000e+00 | -- | Inf
305.70/305.74 c 306s| 1670k|387525 | 3785k| 2.3 | 309M| 45 | 6 | 50 |5293 | 50 | 17 | 22 | 902k|3925 | 0.000000e+00 | -- | Inf
307.70/307.74 c 308s| 1680k|389540 | 3807k| 2.3 | 311M| 45 | - | 50 |5820 | 50 | 17 | 22 | 908k|3933 | 0.000000e+00 | -- | Inf
309.80/309.82 c 310s| 1690k|391488 | 3829k| 2.3 | 312M| 45 | 6 | 50 |5934 | 50 | 17 | 22 | 913k|3940 | 0.000000e+00 | -- | Inf
311.80/311.85 c 312s| 1700k|393490 | 3852k| 2.3 | 314M| 45 | 6 | 50 |5557 | 50 | 17 | 22 | 919k|3954 | 0.000000e+00 | -- | Inf
313.90/313.95 c 314s| 1710k|395301 | 3875k| 2.3 | 315M| 45 | - | 50 |5225 | 50 | 17 | 22 | 925k|3976 | 0.000000e+00 | -- | Inf
315.90/315.99 c 316s| 1720k|397099 | 3898k| 2.3 | 317M| 45 | - | 50 |4950 | 50 | 17 | 22 | 931k|3986 | 0.000000e+00 | -- | Inf
318.00/318.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
318.00/318.05 c 318s| 1730k|398960 | 3921k| 2.3 | 318M| 45 | - | 50 |3854 | 0 | 0 | 22 | 936k|3994 | 0.000000e+00 | -- | Inf
319.90/319.93 c 320s| 1740k|401032 | 3943k| 2.3 | 320M| 45 | 6 | 50 |4388 | 50 | 17 | 22 | 942k|4013 | 0.000000e+00 | -- | Inf
321.90/321.92 c 322s| 1750k|402792 | 3965k| 2.3 | 322M| 45 | 6 | 50 |4141 | 50 | 17 | 22 | 948k|4021 | 0.000000e+00 | -- | Inf
323.80/323.83 c 324s| 1760k|404694 | 3988k| 2.3 | 324M| 45 | 6 | 50 |4418 | 50 | 17 | 22 | 953k|4035 | 0.000000e+00 | -- | Inf
325.80/325.83 c 326s| 1770k|406460 | 4011k| 2.3 | 325M| 45 | 6 | 50 |4784 | 50 | 17 | 22 | 959k|4041 | 0.000000e+00 | -- | Inf
327.80/327.86 c 328s| 1780k|408473 | 4033k| 2.3 | 327M| 45 | 6 | 50 |4568 | 50 | 17 | 22 | 965k|4053 | 0.000000e+00 | -- | Inf
329.60/329.65 c 330s| 1790k|410689 | 4055k| 2.3 | 329M| 45 | 6 | 50 |5839 | 50 | 17 | 22 | 970k|4058 | 0.000000e+00 | -- | Inf
331.60/331.60 c 332s| 1800k|412707 | 4077k| 2.3 | 331M| 45 | - | 50 |5164 | 50 | 17 | 22 | 975k|4066 | 0.000000e+00 | -- | Inf
333.60/333.65 c 334s| 1810k|414681 | 4099k| 2.3 | 332M| 45 | - | 50 |4754 | 50 | 17 | 22 | 981k|4076 | 0.000000e+00 | -- | Inf
335.60/335.67 c 336s| 1820k|416598 | 4122k| 2.3 | 334M| 45 | 6 | 50 |4687 | 50 | 17 | 22 | 987k|4090 | 0.000000e+00 | -- | Inf
337.71/337.77 c 338s| 1830k|418245 | 4145k| 2.3 | 335M| 45 | - | 50 |4384 | 50 | 17 | 22 | 992k|4106 | 0.000000e+00 | -- | Inf
339.50/339.59 c 340s| 1840k|420855 | 4167k| 2.3 | 337M| 45 | 6 | 50 |4958 | 50 | 17 | 22 | 997k|4113 | 0.000000e+00 | -- | Inf
341.30/341.36 c 341s| 1850k|423759 | 4189k| 2.3 | 340M| 45 | - | 50 |5812 | 0 | 0 | 22 |1002k|4123 | 0.000000e+00 | -- | Inf
343.21/343.29 c 343s| 1860k|426025 | 4211k| 2.3 | 341M| 45 | - | 50 |6302 | 0 | 0 | 22 |1007k|4136 | 0.000000e+00 | -- | Inf
345.31/345.34 c 345s| 1870k|428260 | 4233k| 2.3 | 343M| 45 | 6 | 50 |6386 | 50 | 17 | 22 |1012k|4144 | 0.000000e+00 | -- | Inf
347.40/347.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
347.40/347.46 c 347s| 1880k|430342 | 4255k| 2.3 | 345M| 45 | - | 50 |5545 | 50 | 17 | 22 |1018k|4152 | 0.000000e+00 | -- | Inf
349.30/349.37 c 349s| 1890k|432507 | 4276k| 2.3 | 347M| 45 | - | 50 |7145 | 50 | 17 | 22 |1023k|4164 | 0.000000e+00 | -- | Inf
351.29/351.37 c 351s| 1900k|435016 | 4299k| 2.3 | 349M| 45 | 6 | 50 |7015 | 50 | 17 | 22 |1028k|4175 | 0.000000e+00 | -- | Inf
353.50/353.57 c 354s| 1910k|436898 | 4321k| 2.3 | 350M| 45 | 6 | 50 |5847 | 50 | 17 | 22 |1033k|4186 | 0.000000e+00 | -- | Inf
355.70/355.73 c 356s| 1920k|438897 | 4343k| 2.3 | 351M| 45 | - | 50 |4788 | 50 | 17 | 22 |1039k|4203 | 0.000000e+00 | -- | Inf
357.80/357.86 c 358s| 1930k|440730 | 4366k| 2.3 | 353M| 45 | - | 50 |4565 | 50 | 17 | 22 |1044k|4212 | 0.000000e+00 | -- | Inf
359.80/359.82 c 360s| 1940k|442818 | 4388k| 2.3 | 355M| 45 | 6 | 50 |4956 | 50 | 17 | 22 |1050k|4226 | 0.000000e+00 | -- | Inf
361.60/361.63 c 362s| 1950k|445706 | 4412k| 2.3 | 357M| 45 | - | 50 |6615 | 50 | 17 | 22 |1055k|4240 | 0.000000e+00 | -- | Inf
363.60/363.63 c 364s| 1960k|448061 | 4435k| 2.3 | 359M| 45 | 6 | 50 |7506 | 50 | 17 | 22 |1060k|4255 | 0.000000e+00 | -- | Inf
365.70/365.77 c 366s| 1970k|450304 | 4458k| 2.3 | 361M| 45 | - | 50 |7378 | 50 | 17 | 22 |1065k|4263 | 0.000000e+00 | -- | Inf
367.90/367.91 c 368s| 1980k|452494 | 4480k| 2.3 | 362M| 45 | - | 50 |6313 | 50 | 17 | 22 |1070k|4274 | 0.000000e+00 | -- | Inf
370.00/370.06 c 370s| 1990k|454475 | 4503k| 2.3 | 364M| 45 | - | 50 |5264 | 50 | 17 | 22 |1076k|4287 | 0.000000e+00 | -- | Inf
372.10/372.10 c 372s| 2000k|456552 | 4526k| 2.3 | 366M| 45 | - | 50 |5653 | 50 | 17 | 22 |1081k|4295 | 0.000000e+00 | -- | Inf
374.10/374.18 c 374s| 2010k|458584 | 4548k| 2.3 | 367M| 45 | 6 | 50 |4923 | 50 | 17 | 22 |1086k|4306 | 0.000000e+00 | -- | Inf
376.20/376.22 c 376s| 2020k|460312 | 4571k| 2.3 | 369M| 45 | 6 | 50 |4905 | 50 | 17 | 22 |1092k|4320 | 0.000000e+00 | -- | Inf
378.20/378.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
378.20/378.22 c 378s| 2030k|462284 | 4594k| 2.3 | 370M| 45 | - | 50 |5099 | 50 | 17 | 22 |1098k|4333 | 0.000000e+00 | -- | Inf
380.20/380.20 c 380s| 2040k|464434 | 4617k| 2.3 | 372M| 45 | - | 50 |4999 | 50 | 17 | 22 |1103k|4347 | 0.000000e+00 | -- | Inf
382.20/382.20 c 382s| 2050k|466273 | 4639k| 2.3 | 374M| 45 | - | 50 |5054 | 0 | 0 | 22 |1109k|4359 | 0.000000e+00 | -- | Inf
384.10/384.18 c 384s| 2060k|468255 | 4661k| 2.3 | 376M| 45 | - | 50 |5431 | 50 | 17 | 22 |1114k|4371 | 0.000000e+00 | -- | Inf
386.20/386.24 c 386s| 2070k|470340 | 4684k| 2.3 | 377M| 45 | - | 50 |6247 | 50 | 17 | 22 |1120k|4382 | 0.000000e+00 | -- | Inf
388.31/388.38 c 388s| 2080k|472206 | 4707k| 2.3 | 379M| 45 | 6 | 50 |5052 | 50 | 17 | 22 |1125k|4397 | 0.000000e+00 | -- | Inf
390.41/390.50 c 391s| 2090k|473992 | 4729k| 2.3 | 380M| 45 | 6 | 50 |4292 | 50 | 17 | 22 |1131k|4412 | 0.000000e+00 | -- | Inf
392.50/392.53 c 393s| 2100k|475769 | 4752k| 2.3 | 382M| 45 | 6 | 50 |4407 | 50 | 17 | 22 |1137k|4423 | 0.000000e+00 | -- | Inf
394.50/394.55 c 395s| 2110k|477626 | 4774k| 2.3 | 383M| 45 | 6 | 50 |4878 | 50 | 17 | 22 |1142k|4431 | 0.000000e+00 | -- | Inf
396.50/396.55 c 397s| 2120k|479613 | 4796k| 2.3 | 385M| 45 | - | 50 |5262 | 50 | 17 | 22 |1148k|4445 | 0.000000e+00 | -- | Inf
398.60/398.60 c 399s| 2130k|481426 | 4819k| 2.3 | 387M| 45 | - | 50 |5451 | 50 | 17 | 22 |1154k|4456 | 0.000000e+00 | -- | Inf
400.60/400.62 c 401s| 2140k|483383 | 4841k| 2.3 | 389M| 45 | 6 | 50 |4926 | 50 | 17 | 22 |1159k|4475 | 0.000000e+00 | -- | Inf
402.61/402.69 c 403s| 2150k|485136 | 4864k| 2.3 | 390M| 45 | 6 | 50 |4661 | 50 | 17 | 22 |1165k|4485 | 0.000000e+00 | -- | Inf
404.70/404.78 c 405s| 2160k|486879 | 4886k| 2.3 | 392M| 45 | 6 | 50 |4521 | 50 | 17 | 22 |1171k|4500 | 0.000000e+00 | -- | Inf
406.70/406.78 c 407s| 2170k|488843 | 4909k| 2.3 | 394M| 45 | 6 | 50 |4964 | 50 | 17 | 22 |1177k|4510 | 0.000000e+00 | -- | Inf
408.70/408.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
408.70/408.79 c 409s| 2180k|490666 | 4932k| 2.3 | 395M| 45 | 6 | 50 |4985 | 50 | 17 | 22 |1182k|4519 | 0.000000e+00 | -- | Inf
410.80/410.83 c 411s| 2190k|492551 | 4955k| 2.3 | 397M| 45 | 6 | 50 |5716 | 50 | 17 | 22 |1188k|4531 | 0.000000e+00 | -- | Inf
412.80/412.86 c 413s| 2200k|494648 | 4977k| 2.3 | 399M| 45 | 6 | 50 |6239 | 50 | 17 | 22 |1193k|4543 | 0.000000e+00 | -- | Inf
415.01/415.03 c 415s| 2210k|496327 | 4999k| 2.3 | 400M| 45 | - | 50 |4614 | 50 | 17 | 22 |1199k|4551 | 0.000000e+00 | -- | Inf
416.91/416.93 c 417s| 2220k|498293 | 5022k| 2.3 | 402M| 45 | 6 | 50 |5028 | 50 | 17 | 22 |1204k|4563 | 0.000000e+00 | -- | Inf
419.01/419.06 c 419s| 2230k|500035 | 5045k| 2.3 | 403M| 45 | 6 | 50 |4672 | 50 | 17 | 22 |1210k|4576 | 0.000000e+00 | -- | Inf
421.10/421.11 c 421s| 2240k|501955 | 5067k| 2.3 | 405M| 45 | 6 | 50 |4876 | 50 | 17 | 22 |1216k|4585 | 0.000000e+00 | -- | Inf
423.10/423.19 c 423s| 2250k|503751 | 5090k| 2.3 | 407M| 45 | 6 | 50 |5247 | 50 | 17 | 22 |1221k|4596 | 0.000000e+00 | -- | Inf
425.10/425.19 c 425s| 2260k|505812 | 5113k| 2.3 | 409M| 45 | 6 | 50 |5638 | 50 | 17 | 22 |1227k|4608 | 0.000000e+00 | -- | Inf
427.20/427.22 c 427s| 2270k|507859 | 5136k| 2.3 | 410M| 45 | 6 | 50 |4739 | 50 | 17 | 22 |1232k|4621 | 0.000000e+00 | -- | Inf
429.20/429.26 c 429s| 2280k|509712 | 5160k| 2.3 | 412M| 45 | 6 | 50 |4605 | 50 | 17 | 22 |1238k|4632 | 0.000000e+00 | -- | Inf
431.21/431.24 c 431s| 2290k|511946 | 5182k| 2.3 | 413M| 45 | 6 | 50 |4374 | 50 | 17 | 22 |1243k|4641 | 0.000000e+00 | -- | Inf
433.10/433.14 c 433s| 2300k|514208 | 5205k| 2.3 | 415M| 45 | 6 | 50 |5353 | 50 | 17 | 22 |1248k|4649 | 0.000000e+00 | -- | Inf
435.10/435.18 c 435s| 2310k|515963 | 5228k| 2.3 | 417M| 45 | 6 | 50 |5713 | 50 | 17 | 22 |1254k|4663 | 0.000000e+00 | -- | Inf
437.21/437.22 c 437s| 2320k|518029 | 5250k| 2.3 | 419M| 45 | 6 | 50 |5399 | 50 | 17 | 22 |1259k|4672 | 0.000000e+00 | -- | Inf
439.20/439.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
439.20/439.23 c 439s| 2330k|520003 | 5274k| 2.3 | 421M| 45 | 6 | 50 |6000 | 50 | 17 | 22 |1265k|4683 | 0.000000e+00 | -- | Inf
441.20/441.29 c 441s| 2340k|522225 | 5297k| 2.3 | 422M| 45 | 6 | 50 |5664 | 50 | 17 | 22 |1270k|4694 | 0.000000e+00 | -- | Inf
443.00/443.09 c 443s| 2350k|525591 | 5320k| 2.3 | 425M| 45 | - | 50 |7184 | 50 | 17 | 22 |1275k|4702 | 0.000000e+00 | -- | Inf
445.20/445.25 c 445s| 2360k|527872 | 5342k| 2.3 | 427M| 45 | 6 | 50 |7498 | 50 | 17 | 22 |1280k|4710 | 0.000000e+00 | -- | Inf
447.40/447.43 c 447s| 2370k|530036 | 5365k| 2.3 | 429M| 45 | 6 | 50 |8268 | 50 | 17 | 22 |1285k|4720 | 0.000000e+00 | -- | Inf
449.70/449.71 c 450s| 2380k|532206 | 5387k| 2.3 | 430M| 45 | - | 50 |8343 | 50 | 17 | 22 |1290k|4734 | 0.000000e+00 | -- | Inf
451.90/451.92 c 452s| 2390k|534623 | 5410k| 2.3 | 432M| 45 | - | 50 |9277 | 50 | 17 | 22 |1295k|4742 | 0.000000e+00 | -- | Inf
454.21/454.28 c 454s| 2400k|536898 | 5433k| 2.3 | 434M| 45 | - | 50 |9050 | 50 | 17 | 22 |1300k|4751 | 0.000000e+00 | -- | Inf
456.60/456.66 c 457s| 2410k|539144 | 5455k| 2.3 | 435M| 45 | 6 | 50 |6852 | 50 | 17 | 22 |1306k|4757 | 0.000000e+00 | -- | Inf
458.80/458.80 c 459s| 2420k|541218 | 5477k| 2.3 | 437M| 45 | 6 | 50 |5931 | 50 | 17 | 22 |1311k|4767 | 0.000000e+00 | -- | Inf
461.00/461.02 c 461s| 2430k|542930 | 5501k| 2.3 | 438M| 45 | 6 | 50 |5169 | 50 | 17 | 22 |1317k|4777 | 0.000000e+00 | -- | Inf
463.00/463.09 c 463s| 2440k|544975 | 5523k| 2.3 | 440M| 45 | 6 | 50 |5268 | 50 | 17 | 22 |1322k|4789 | 0.000000e+00 | -- | Inf
465.00/465.09 c 465s| 2450k|546887 | 5547k| 2.3 | 442M| 45 | 6 | 50 |6451 | 50 | 17 | 22 |1328k|4800 | 0.000000e+00 | -- | Inf
467.30/467.36 c 467s| 2460k|548576 | 5569k| 2.3 | 443M| 45 | - | 50 |4795 | 50 | 17 | 22 |1334k|4811 | 0.000000e+00 | -- | Inf
469.40/469.46 c 469s| 2470k|550375 | 5592k| 2.3 | 445M| 45 | 6 | 50 |4648 | 50 | 17 | 22 |1339k|4827 | 0.000000e+00 | -- | Inf
471.41/471.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
471.41/471.44 c 471s| 2480k|552489 | 5614k| 2.3 | 447M| 45 | 6 | 50 |5543 | 50 | 17 | 22 |1345k|4839 | 0.000000e+00 | -- | Inf
473.60/473.63 c 474s| 2490k|554285 | 5636k| 2.3 | 448M| 45 | 6 | 50 |5087 | 50 | 17 | 22 |1350k|4849 | 0.000000e+00 | -- | Inf
475.61/475.65 c 476s| 2500k|556109 | 5659k| 2.3 | 450M| 45 | - | 50 |6082 | 0 | 0 | 22 |1356k|4860 | 0.000000e+00 | -- | Inf
477.70/477.77 c 478s| 2510k|557909 | 5681k| 2.3 | 452M| 45 | 6 | 50 |6275 | 50 | 17 | 22 |1362k|4870 | 0.000000e+00 | -- | Inf
480.00/480.00 c 480s| 2520k|559703 | 5704k| 2.3 | 453M| 45 | 6 | 50 |5213 | 50 | 17 | 22 |1367k|4898 | 0.000000e+00 | -- | Inf
482.00/482.08 c 482s| 2530k|561478 | 5726k| 2.3 | 455M| 45 | 6 | 50 |5661 | 50 | 17 | 22 |1373k|4898 | 0.000000e+00 | -- | Inf
484.20/484.22 c 484s| 2540k|563295 | 5749k| 2.3 | 456M| 45 | - | 50 |5464 | 50 | 17 | 22 |1379k|4905 | 0.000000e+00 | -- | Inf
486.21/486.25 c 486s| 2550k|565426 | 5772k| 2.3 | 458M| 45 | - | 50 |6032 | 0 | 0 | 22 |1384k|4913 | 0.000000e+00 | -- | Inf
488.31/488.34 c 488s| 2560k|567345 | 5795k| 2.3 | 460M| 45 | 6 | 50 |6079 | 50 | 17 | 22 |1389k|4921 | 0.000000e+00 | -- | Inf
490.50/490.54 c 491s| 2570k|569188 | 5817k| 2.3 | 461M| 45 | 6 | 50 |5501 | 50 | 17 | 22 |1395k|4930 | 0.000000e+00 | -- | Inf
492.71/492.72 c 493s| 2580k|570708 | 5840k| 2.3 | 463M| 45 | 6 | 50 |5284 | 50 | 17 | 22 |1401k|4937 | 0.000000e+00 | -- | Inf
494.71/494.78 c 495s| 2590k|572448 | 5862k| 2.3 | 464M| 45 | 6 | 50 |5723 | 50 | 17 | 22 |1407k|4946 | 0.000000e+00 | -- | Inf
496.70/496.72 c 497s| 2600k|574516 | 5884k| 2.3 | 466M| 45 | 6 | 50 |7106 | 50 | 17 | 22 |1412k|4949 | 0.000000e+00 | -- | Inf
498.90/498.97 c 499s| 2610k|576288 | 5907k| 2.3 | 468M| 45 | 6 | 50 |5609 | 50 | 17 | 22 |1418k|4967 | 0.000000e+00 | -- | Inf
501.10/501.17 c 501s| 2620k|578036 | 5930k| 2.3 | 469M| 45 | 6 | 50 |4916 | 50 | 17 | 22 |1424k|4979 | 0.000000e+00 | -- | Inf
503.21/503.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
503.21/503.21 c 503s| 2630k|579932 | 5952k| 2.3 | 471M| 45 | - | 50 |5684 | 50 | 17 | 22 |1429k|4991 | 0.000000e+00 | -- | Inf
505.30/505.37 c 505s| 2640k|581514 | 5974k| 2.3 | 473M| 45 | - | 50 |5566 | 50 | 17 | 22 |1435k|5004 | 0.000000e+00 | -- | Inf
507.41/507.42 c 507s| 2650k|583429 | 5996k| 2.3 | 474M| 45 | 6 | 50 |6019 | 50 | 17 | 22 |1440k|5009 | 0.000000e+00 | -- | Inf
509.71/509.71 c 510s| 2660k|585006 | 6019k| 2.3 | 476M| 45 | 6 | 50 |4633 | 50 | 17 | 22 |1446k|5018 | 0.000000e+00 | -- | Inf
511.60/511.68 c 512s| 2670k|586944 | 6041k| 2.3 | 478M| 45 | - | 50 |6205 | 50 | 17 | 22 |1452k|5027 | 0.000000e+00 | -- | Inf
513.71/513.76 c 514s| 2680k|588783 | 6063k| 2.3 | 479M| 45 | 6 | 50 |6063 | 50 | 17 | 22 |1457k|5034 | 0.000000e+00 | -- | Inf
515.81/515.85 c 516s| 2690k|590595 | 6086k| 2.3 | 481M| 45 | - | 50 |6601 | 50 | 17 | 22 |1463k|5042 | 0.000000e+00 | -- | Inf
517.90/517.93 c 518s| 2700k|592428 | 6108k| 2.3 | 483M| 45 | 6 | 50 |7036 | 50 | 17 | 22 |1469k|5053 | 0.000000e+00 | -- | Inf
520.10/520.13 c 520s| 2710k|594110 | 6131k| 2.3 | 484M| 45 | 6 | 50 |6131 | 50 | 17 | 22 |1475k|5064 | 0.000000e+00 | -- | Inf
522.20/522.20 c 522s| 2720k|596004 | 6154k| 2.3 | 486M| 45 | - | 50 |6573 | 50 | 17 | 22 |1480k|5073 | 0.000000e+00 | -- | Inf
524.40/524.45 c 524s| 2730k|597870 | 6177k| 2.3 | 487M| 45 | - | 50 |5608 | 50 | 17 | 22 |1486k|5082 | 0.000000e+00 | -- | Inf
526.60/526.62 c 527s| 2740k|599743 | 6200k| 2.3 | 489M| 45 | - | 50 |5341 | 50 | 17 | 22 |1492k|5092 | 0.000000e+00 | -- | Inf
528.81/528.81 c 529s| 2750k|601409 | 6223k| 2.3 | 490M| 45 | - | 50 |4729 | 0 | 0 | 22 |1498k|5101 | 0.000000e+00 | -- | Inf
530.70/530.78 c 531s| 2760k|603500 | 6246k| 2.3 | 492M| 45 | - | 50 |5957 | 0 | 0 | 22 |1503k|5108 | 0.000000e+00 | -- | Inf
532.71/532.73 c 533s| 2770k|605598 | 6267k| 2.3 | 494M| 45 | 6 | 50 |6986 | 50 | 17 | 22 |1508k|5114 | 0.000000e+00 | -- | Inf
534.90/534.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
534.90/534.92 c 535s| 2780k|607068 | 6289k| 2.3 | 496M| 45 | 6 | 50 |7320 | 50 | 17 | 22 |1514k|5121 | 0.000000e+00 | -- | Inf
537.11/537.14 c 537s| 2790k|608706 | 6310k| 2.3 | 497M| 45 | 6 | 50 |8009 | 50 | 17 | 22 |1520k|5131 | 0.000000e+00 | -- | Inf
539.41/539.48 c 539s| 2800k|610305 | 6332k| 2.3 | 498M| 45 | - | 50 |5371 | 0 | 0 | 22 |1525k|5144 | 0.000000e+00 | -- | Inf
541.61/541.68 c 542s| 2810k|612011 | 6355k| 2.3 | 500M| 45 | 6 | 50 |5289 | 50 | 17 | 22 |1531k|5150 | 0.000000e+00 | -- | Inf
543.80/543.88 c 544s| 2820k|613619 | 6378k| 2.3 | 501M| 45 | 6 | 50 |4401 | 50 | 17 | 22 |1537k|5157 | 0.000000e+00 | -- | Inf
545.70/545.78 c 546s| 2830k|615769 | 6400k| 2.3 | 503M| 45 | 6 | 50 |6183 | 50 | 17 | 22 |1542k|5169 | 0.000000e+00 | -- | Inf
547.81/547.86 c 548s| 2840k|617688 | 6422k| 2.3 | 505M| 45 | 6 | 50 |6289 | 50 | 17 | 22 |1548k|5182 | 0.000000e+00 | -- | Inf
550.10/550.10 c 550s| 2850k|619419 | 6444k| 2.3 | 506M| 45 | 6 | 50 |5326 | 50 | 17 | 22 |1553k|5188 | 0.000000e+00 | -- | Inf
552.30/552.30 c 552s| 2860k|621178 | 6467k| 2.3 | 507M| 45 | 6 | 50 |4816 | 50 | 17 | 22 |1559k|5196 | 0.000000e+00 | -- | Inf
554.30/554.33 c 554s| 2870k|623227 | 6490k| 2.3 | 509M| 45 | - | 50 |5872 | 50 | 17 | 22 |1565k|5213 | 0.000000e+00 | -- | Inf
556.31/556.37 c 556s| 2880k|625260 | 6513k| 2.3 | 511M| 45 | 6 | 50 |6196 | 50 | 17 | 22 |1570k|5221 | 0.000000e+00 | -- | Inf
558.50/558.58 c 559s| 2890k|627038 | 6535k| 2.3 | 513M| 45 | - | 50 |4965 | 50 | 17 | 22 |1576k|5226 | 0.000000e+00 | -- | Inf
560.60/560.69 c 561s| 2900k|628949 | 6557k| 2.3 | 514M| 45 | - | 50 |5050 | 50 | 17 | 22 |1581k|5237 | 0.000000e+00 | -- | Inf
562.81/562.89 c 563s| 2910k|630453 | 6581k| 2.3 | 516M| 45 | 6 | 50 |4659 | 50 | 17 | 22 |1587k|5247 | 0.000000e+00 | -- | Inf
565.01/565.02 c 565s| 2920k|632128 | 6603k| 2.3 | 517M| 45 | - | 50 |5146 | 50 | 17 | 22 |1593k|5258 | 0.000000e+00 | -- | Inf
567.10/567.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
567.10/567.13 c 567s| 2930k|633885 | 6626k| 2.3 | 519M| 45 | 6 | 50 |5225 | 50 | 17 | 22 |1598k|5264 | 0.000000e+00 | -- | Inf
569.30/569.30 c 569s| 2940k|635538 | 6648k| 2.3 | 521M| 45 | - | 50 |5325 | 50 | 17 | 22 |1604k|5270 | 0.000000e+00 | -- | Inf
571.40/571.45 c 571s| 2950k|637346 | 6671k| 2.3 | 522M| 45 | 6 | 50 |5749 | 50 | 17 | 22 |1610k|5283 | 0.000000e+00 | -- | Inf
573.50/573.57 c 574s| 2960k|639191 | 6693k| 2.3 | 524M| 45 | 6 | 50 |5210 | 50 | 17 | 22 |1616k|5295 | 0.000000e+00 | -- | Inf
575.70/575.79 c 576s| 2970k|640884 | 6715k| 2.3 | 525M| 45 | - | 50 |5003 | 0 | 0 | 22 |1621k|5303 | 0.000000e+00 | -- | Inf
578.00/578.00 c 578s| 2980k|642543 | 6737k| 2.3 | 527M| 45 | - | 50 |4975 | 50 | 17 | 22 |1627k|5310 | 0.000000e+00 | -- | Inf
580.10/580.10 c 580s| 2990k|644329 | 6760k| 2.3 | 529M| 45 | 6 | 50 |5793 | 50 | 17 | 22 |1632k|5318 | 0.000000e+00 | -- | Inf
582.31/582.38 c 582s| 3000k|646012 | 6782k| 2.3 | 530M| 45 | 6 | 50 |4724 | 50 | 17 | 22 |1638k|5333 | 0.000000e+00 | -- | Inf
584.50/584.53 c 585s| 3010k|647655 | 6805k| 2.3 | 532M| 45 | 6 | 50 |5117 | 50 | 17 | 22 |1644k|5341 | 0.000000e+00 | -- | Inf
586.71/586.74 c 587s| 3020k|649198 | 6828k| 2.3 | 533M| 45 | 6 | 50 |5365 | 50 | 17 | 22 |1650k|5346 | 0.000000e+00 | -- | Inf
588.80/588.90 c 589s| 3030k|651049 | 6850k| 2.3 | 535M| 45 | 6 | 50 |5487 | 50 | 17 | 22 |1655k|5353 | 0.000000e+00 | -- | Inf
590.71/590.73 c 591s| 3040k|653584 | 6872k| 2.3 | 537M| 45 | - | 50 |7558 | 50 | 17 | 22 |1660k|5358 | 0.000000e+00 | -- | Inf
592.71/592.77 c 593s| 3050k|655794 | 6893k| 2.3 | 539M| 45 | 6 | 50 |7994 | 50 | 17 | 22 |1666k|5362 | 0.000000e+00 | -- | Inf
595.11/595.13 c 595s| 3060k|657607 | 6914k| 2.3 | 541M| 45 | 6 | 50 |7569 | 50 | 17 | 22 |1671k|5364 | 0.000000e+00 | -- | Inf
597.31/597.31 c 597s| 3070k|659630 | 6935k| 2.3 | 542M| 45 | 6 | 50 |8541 | 50 | 17 | 22 |1676k|5370 | 0.000000e+00 | -- | Inf
599.41/599.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
599.41/599.45 c 599s| 3080k|662240 | 6956k| 2.3 | 545M| 45 | - | 50 |9800 | 0 | 0 | 22 |1681k|5372 | 0.000000e+00 | -- | Inf
601.80/601.80 c 602s| 3090k|664592 | 6977k| 2.3 | 546M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |1686k|5382 | 0.000000e+00 | -- | Inf
604.41/604.42 c 604s| 3100k|666215 | 6998k| 2.3 | 548M| 45 | 6 | 50 |8373 | 50 | 17 | 22 |1692k|5386 | 0.000000e+00 | -- | Inf
606.71/606.78 c 607s| 3110k|667923 | 7018k| 2.3 | 549M| 45 | 6 | 50 |8347 | 50 | 17 | 22 |1697k|5391 | 0.000000e+00 | -- | Inf
609.21/609.20 c 609s| 3120k|669652 | 7039k| 2.3 | 551M| 45 | 6 | 50 |8550 | 50 | 17 | 22 |1703k|5397 | 0.000000e+00 | -- | Inf
611.61/611.66 c 612s| 3130k|671419 | 7061k| 2.3 | 552M| 45 | 6 | 50 |7702 | 50 | 17 | 22 |1708k|5399 | 0.000000e+00 | -- | Inf
614.10/614.13 c 614s| 3140k|673114 | 7084k| 2.3 | 553M| 45 | 6 | 50 |5313 | 50 | 17 | 22 |1714k|5412 | 0.000000e+00 | -- | Inf
616.11/616.19 c 616s| 3150k|674986 | 7107k| 2.3 | 555M| 45 | 6 | 50 |6746 | 50 | 17 | 22 |1720k|5416 | 0.000000e+00 | -- | Inf
618.41/618.46 c 618s| 3160k|676930 | 7129k| 2.3 | 557M| 45 | - | 50 |6409 | 50 | 17 | 22 |1725k|5428 | 0.000000e+00 | -- | Inf
620.60/620.64 c 621s| 3170k|678894 | 7152k| 2.3 | 558M| 45 | 6 | 50 |6322 | 50 | 17 | 22 |1731k|5442 | 0.000000e+00 | -- | Inf
622.81/622.81 c 623s| 3180k|680740 | 7175k| 2.3 | 560M| 45 | 6 | 50 |6243 | 50 | 17 | 22 |1737k|5443 | 0.000000e+00 | -- | Inf
625.20/625.29 c 625s| 3190k|682136 | 7197k| 2.3 | 561M| 45 | 6 | 50 |4808 | 50 | 17 | 22 |1743k|5451 | 0.000000e+00 | -- | Inf
627.40/627.43 c 627s| 3200k|683773 | 7219k| 2.3 | 563M| 45 | - | 50 |6023 | 0 | 0 | 22 |1748k|5462 | 0.000000e+00 | -- | Inf
629.71/629.70 c 630s| 3210k|685368 | 7243k| 2.3 | 564M| 45 | 6 | 50 |5869 | 50 | 17 | 22 |1754k|5468 | 0.000000e+00 | -- | Inf
631.90/631.97 c 632s| 3220k|687033 | 7264k| 2.3 | 566M| 45 | - | 50 |5724 | 50 | 17 | 22 |1760k|5479 | 0.000000e+00 | -- | Inf
634.30/634.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
634.30/634.31 c 634s| 3230k|688748 | 7287k| 2.3 | 567M| 45 | 6 | 50 |5319 | 50 | 17 | 22 |1766k|5485 | 0.000000e+00 | -- | Inf
636.41/636.49 c 636s| 3240k|690441 | 7309k| 2.3 | 569M| 45 | 6 | 50 |5375 | 50 | 17 | 22 |1771k|5490 | 0.000000e+00 | -- | Inf
638.71/638.77 c 639s| 3250k|691996 | 7332k| 2.3 | 570M| 45 | 6 | 50 |4271 | 50 | 17 | 22 |1777k|5499 | 0.000000e+00 | -- | Inf
640.70/640.75 c 641s| 3260k|694228 | 7354k| 2.3 | 573M| 45 | 6 | 50 |6052 | 50 | 17 | 22 |1783k|5507 | 0.000000e+00 | -- | Inf
642.91/642.97 c 643s| 3270k|695837 | 7378k| 2.3 | 574M| 45 | 6 | 50 |6138 | 50 | 17 | 22 |1789k|5518 | 0.000000e+00 | -- | Inf
645.01/645.07 c 645s| 3280k|697993 | 7401k| 2.3 | 576M| 45 | - | 50 |7827 | 50 | 17 | 22 |1794k|5527 | 0.000000e+00 | -- | Inf
647.31/647.39 c 647s| 3290k|699882 | 7424k| 2.3 | 578M| 45 | 6 | 50 |6299 | 50 | 17 | 22 |1800k|5531 | 0.000000e+00 | -- | Inf
649.50/649.57 c 650s| 3300k|701710 | 7447k| 2.3 | 579M| 45 | - | 50 |6033 | 50 | 17 | 22 |1805k|5535 | 0.000000e+00 | -- | Inf
651.61/651.69 c 652s| 3310k|703538 | 7470k| 2.3 | 581M| 45 | - | 50 |6550 | 50 | 17 | 22 |1811k|5545 | 0.000000e+00 | -- | Inf
653.90/653.98 c 654s| 3320k|705049 | 7494k| 2.3 | 583M| 45 | 6 | 50 |7225 | 50 | 17 | 22 |1817k|5552 | 0.000000e+00 | -- | Inf
656.31/656.32 c 656s| 3330k|706956 | 7516k| 2.3 | 584M| 45 | 6 | 50 |6726 | 50 | 17 | 22 |1822k|5560 | 0.000000e+00 | -- | Inf
658.50/658.59 c 659s| 3340k|708700 | 7539k| 2.3 | 586M| 45 | - | 50 |6077 | 0 | 0 | 22 |1828k|5569 | 0.000000e+00 | -- | Inf
660.71/660.79 c 661s| 3350k|710410 | 7561k| 2.3 | 587M| 45 | 6 | 50 |5960 | 50 | 17 | 22 |1834k|5579 | 0.000000e+00 | -- | Inf
662.90/662.98 c 663s| 3360k|712108 | 7584k| 2.3 | 589M| 45 | 6 | 50 |6402 | 50 | 17 | 22 |1839k|5588 | 0.000000e+00 | -- | Inf
665.01/665.07 c 665s| 3370k|713874 | 7606k| 2.3 | 591M| 45 | - | 50 |8178 | 50 | 17 | 22 |1845k|5596 | 0.000000e+00 | -- | Inf
667.50/667.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
667.50/667.55 c 668s| 3380k|715571 | 7629k| 2.3 | 592M| 45 | 6 | 50 |5648 | 50 | 17 | 22 |1850k|5601 | 0.000000e+00 | -- | Inf
669.70/669.79 c 670s| 3390k|717459 | 7650k| 2.3 | 593M| 45 | 6 | 50 |5397 | 50 | 17 | 22 |1856k|5608 | 0.000000e+00 | -- | Inf
672.12/672.15 c 672s| 3400k|718935 | 7672k| 2.3 | 595M| 45 | - | 50 |5265 | 50 | 17 | 22 |1862k|5615 | 0.000000e+00 | -- | Inf
674.40/674.42 c 674s| 3410k|720573 | 7696k| 2.3 | 596M| 45 | 6 | 50 |5128 | 50 | 17 | 22 |1868k|5624 | 0.000000e+00 | -- | Inf
676.60/676.66 c 677s| 3420k|722293 | 7719k| 2.3 | 598M| 45 | - | 50 |5452 | 50 | 17 | 22 |1873k|5631 | 0.000000e+00 | -- | Inf
678.91/678.99 c 679s| 3430k|723882 | 7741k| 2.3 | 600M| 45 | - | 50 |4994 | 50 | 17 | 22 |1879k|5647 | 0.000000e+00 | -- | Inf
680.81/680.89 c 681s| 3440k|725924 | 7763k| 2.3 | 602M| 45 | - | 50 |7133 | 50 | 17 | 22 |1885k|5659 | 0.000000e+00 | -- | Inf
683.12/683.16 c 683s| 3450k|727718 | 7786k| 2.3 | 604M| 45 | 6 | 50 |7153 | 50 | 17 | 22 |1890k|5662 | 0.000000e+00 | -- | Inf
685.41/685.46 c 685s| 3460k|729336 | 7809k| 2.3 | 605M| 45 | 6 | 50 |7071 | 50 | 17 | 22 |1896k|5671 | 0.000000e+00 | -- | Inf
687.71/687.74 c 688s| 3470k|731067 | 7832k| 2.3 | 607M| 45 | - | 50 |7620 | 0 | 0 | 22 |1902k|5681 | 0.000000e+00 | -- | Inf
690.11/690.17 c 690s| 3480k|732712 | 7855k| 2.3 | 608M| 45 | 6 | 50 |5335 | 50 | 17 | 22 |1908k|5687 | 0.000000e+00 | -- | Inf
692.51/692.54 c 693s| 3490k|734271 | 7878k| 2.3 | 609M| 45 | 6 | 50 |5087 | 50 | 17 | 22 |1914k|5699 | 0.000000e+00 | -- | Inf
694.51/694.60 c 695s| 3500k|736329 | 7901k| 2.3 | 611M| 45 | 6 | 50 |6706 | 50 | 17 | 22 |1919k|5706 | 0.000000e+00 | -- | Inf
696.91/696.97 c 697s| 3510k|737709 | 7924k| 2.3 | 613M| 45 | 6 | 50 |7278 | 50 | 17 | 22 |1925k|5717 | 0.000000e+00 | -- | Inf
699.30/699.34 c 699s| 3520k|739569 | 7947k| 2.3 | 614M| 45 | 6 | 50 |6130 | 50 | 17 | 22 |1931k|5725 | 0.000000e+00 | -- | Inf
701.61/701.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
701.61/701.66 c 702s| 3530k|741302 | 7969k| 2.3 | 616M| 45 | 6 | 50 |5189 | 50 | 17 | 22 |1937k|5738 | 0.000000e+00 | -- | Inf
703.91/703.97 c 704s| 3540k|742816 | 7992k| 2.3 | 617M| 45 | 6 | 50 |5240 | 50 | 17 | 22 |1943k|5753 | 0.000000e+00 | -- | Inf
706.11/706.11 c 706s| 3550k|744490 | 8015k| 2.3 | 619M| 45 | 6 | 50 |6888 | 50 | 17 | 22 |1948k|5759 | 0.000000e+00 | -- | Inf
708.60/708.65 c 709s| 3560k|745798 | 8037k| 2.3 | 620M| 45 | - | 50 |4605 | 50 | 17 | 22 |1954k|5764 | 0.000000e+00 | -- | Inf
710.91/710.90 c 711s| 3570k|747268 | 8059k| 2.3 | 622M| 45 | 6 | 50 |5532 | 50 | 17 | 22 |1960k|5774 | 0.000000e+00 | -- | Inf
713.31/713.32 c 713s| 3580k|748523 | 8081k| 2.3 | 623M| 45 | 6 | 50 |4956 | 50 | 17 | 22 |1966k|5776 | 0.000000e+00 | -- | Inf
715.51/715.59 c 716s| 3590k|750026 | 8104k| 2.3 | 625M| 45 | - | 50 |4760 | 50 | 17 | 22 |1972k|5778 | 0.000000e+00 | -- | Inf
717.71/717.76 c 718s| 3600k|751614 | 8126k| 2.3 | 626M| 45 | - | 50 |5508 | 0 | 0 | 22 |1978k|5782 | 0.000000e+00 | -- | Inf
719.91/719.91 c 720s| 3610k|753383 | 8148k| 2.3 | 628M| 45 | 6 | 50 |5645 | 50 | 17 | 22 |1984k|5786 | 0.000000e+00 | -- | Inf
722.20/722.20 c 722s| 3620k|754944 | 8171k| 2.3 | 629M| 45 | - | 50 |5654 | 50 | 17 | 22 |1990k|5793 | 0.000000e+00 | -- | Inf
724.40/724.40 c 724s| 3630k|756623 | 8193k| 2.3 | 631M| 45 | 6 | 50 |5453 | 50 | 17 | 22 |1996k|5799 | 0.000000e+00 | -- | Inf
726.71/726.72 c 727s| 3640k|758081 | 8216k| 2.3 | 632M| 45 | 6 | 50 |5082 | 50 | 17 | 22 |2002k|5804 | 0.000000e+00 | -- | Inf
728.81/728.89 c 729s| 3650k|759790 | 8238k| 2.3 | 634M| 45 | 6 | 50 |6057 | 50 | 17 | 22 |2007k|5809 | 0.000000e+00 | -- | Inf
731.01/731.09 c 731s| 3660k|761584 | 8261k| 2.3 | 636M| 45 | 6 | 50 |5844 | 50 | 17 | 22 |2013k|5813 | 0.000000e+00 | -- | Inf
733.41/733.40 c 733s| 3670k|763078 | 8284k| 2.3 | 637M| 45 | 6 | 50 |5555 | 50 | 17 | 22 |2019k|5822 | 0.000000e+00 | -- | Inf
735.61/735.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
735.61/735.64 c 736s| 3680k|764696 | 8305k| 2.3 | 639M| 45 | 6 | 50 |5514 | 50 | 17 | 22 |2025k|5827 | 0.000000e+00 | -- | Inf
737.71/737.71 c 738s| 3690k|766599 | 8328k| 2.3 | 641M| 45 | 6 | 50 |6283 | 50 | 17 | 22 |2030k|5840 | 0.000000e+00 | -- | Inf
739.91/739.95 c 740s| 3700k|768268 | 8352k| 2.3 | 643M| 45 | 6 | 50 |8090 | 50 | 17 | 22 |2036k|5842 | 0.000000e+00 | -- | Inf
742.20/742.20 c 742s| 3710k|770364 | 8374k| 2.3 | 644M| 45 | - | 50 |7048 | 50 | 17 | 22 |2041k|5845 | 0.000000e+00 | -- | Inf
744.41/744.44 c 744s| 3720k|772505 | 8397k| 2.3 | 646M| 45 | - | 50 |8557 | 0 | 0 | 22 |2047k|5857 | 0.000000e+00 | -- | Inf
747.11/747.12 c 747s| 3730k|773988 | 8420k| 2.3 | 647M| 45 | - | 50 |5214 | 50 | 17 | 22 |2053k|5864 | 0.000000e+00 | -- | Inf
749.31/749.35 c 749s| 3740k|775730 | 8441k| 2.3 | 648M| 45 | - | 50 |4748 | 50 | 17 | 22 |2058k|5876 | 0.000000e+00 | -- | Inf
751.60/751.61 c 752s| 3750k|777419 | 8464k| 2.3 | 650M| 45 | 6 | 50 |5063 | 50 | 17 | 22 |2064k|5883 | 0.000000e+00 | -- | Inf
753.61/753.61 c 754s| 3760k|779594 | 8487k| 2.3 | 652M| 45 | 6 | 50 |6760 | 50 | 17 | 22 |2070k|5892 | 0.000000e+00 | -- | Inf
755.62/755.66 c 756s| 3770k|782165 | 8510k| 2.3 | 655M| 45 | 6 | 50 |8917 | 50 | 17 | 22 |2075k|5902 | 0.000000e+00 | -- | Inf
758.01/758.06 c 758s| 3780k|784138 | 8532k| 2.3 | 656M| 45 | 6 | 50 |9249 | 50 | 17 | 22 |2080k|5911 | 0.000000e+00 | -- | Inf
760.31/760.39 c 760s| 3790k|786320 | 8555k| 2.3 | 658M| 45 | - | 50 |9956 | 50 | 17 | 22 |2085k|5919 | 0.000000e+00 | -- | Inf
762.81/762.83 c 763s| 3800k|788432 | 8579k| 2.3 | 661M| 45 | - | 50 | 11k| 50 | 17 | 22 |2091k|5925 | 0.000000e+00 | -- | Inf
765.31/765.39 c 765s| 3810k|790270 | 8602k| 2.3 | 662M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |2096k|5939 | 0.000000e+00 | -- | Inf
768.21/768.24 c 768s| 3820k|791861 | 8625k| 2.3 | 663M| 45 | - | 50 |8829 | 0 | 0 | 22 |2102k|5945 | 0.000000e+00 | -- | Inf
770.91/770.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
770.91/770.91 c 771s| 3830k|793250 | 8648k| 2.3 | 664M| 45 | 6 | 50 |5984 | 50 | 17 | 22 |2108k|5953 | 0.000000e+00 | -- | Inf
773.32/773.33 c 773s| 3840k|794698 | 8670k| 2.3 | 665M| 45 | - | 50 |5595 | 50 | 17 | 22 |2114k|5957 | 0.000000e+00 | -- | Inf
775.61/775.60 c 776s| 3850k|796336 | 8693k| 2.3 | 667M| 45 | - | 50 |5651 | 50 | 17 | 22 |2119k|5962 | 0.000000e+00 | -- | Inf
777.71/777.79 c 778s| 3860k|798427 | 8715k| 2.3 | 669M| 45 | 6 | 50 |6633 | 50 | 17 | 22 |2125k|5966 | 0.000000e+00 | -- | Inf
780.01/780.10 c 780s| 3870k|800228 | 8737k| 2.3 | 670M| 45 | 6 | 50 |6972 | 50 | 17 | 22 |2130k|5972 | 0.000000e+00 | -- | Inf
782.61/782.66 c 783s| 3880k|801581 | 8760k| 2.3 | 671M| 45 | - | 50 |4916 | 50 | 17 | 22 |2136k|5980 | 0.000000e+00 | -- | Inf
784.81/784.88 c 785s| 3890k|803150 | 8782k| 2.3 | 673M| 45 | 6 | 50 |6421 | 50 | 17 | 22 |2142k|5989 | 0.000000e+00 | -- | Inf
787.11/787.12 c 787s| 3900k|804957 | 8805k| 2.3 | 675M| 45 | 6 | 50 |7039 | 50 | 17 | 22 |2148k|5997 | 0.000000e+00 | -- | Inf
789.41/789.45 c 789s| 3910k|806733 | 8827k| 2.3 | 676M| 45 | 6 | 50 |5543 | 50 | 17 | 22 |2153k|6006 | 0.000000e+00 | -- | Inf
791.61/791.60 c 792s| 3920k|808787 | 8851k| 2.3 | 678M| 45 | - | 50 |7137 | 50 | 17 | 22 |2159k|6016 | 0.000000e+00 | -- | Inf
793.91/793.96 c 794s| 3930k|810472 | 8874k| 2.3 | 680M| 45 | - | 50 |7928 | 0 | 0 | 22 |2165k|6023 | 0.000000e+00 | -- | Inf
796.11/796.16 c 796s| 3940k|812800 | 8897k| 2.3 | 682M| 45 | - | 50 |8901 | 0 | 0 | 22 |2170k|6029 | 0.000000e+00 | -- | Inf
798.61/798.62 c 799s| 3950k|814720 | 8919k| 2.3 | 684M| 45 | - | 50 |9123 | 50 | 17 | 22 |2175k|6046 | 0.000000e+00 | -- | Inf
801.11/801.11 c 801s| 3960k|816555 | 8942k| 2.3 | 685M| 45 | - | 50 |8008 | 50 | 17 | 22 |2181k|6054 | 0.000000e+00 | -- | Inf
803.41/803.44 c 803s| 3970k|818582 | 8965k| 2.3 | 687M| 45 | 6 | 50 |8233 | 50 | 17 | 22 |2186k|6065 | 0.000000e+00 | -- | Inf
805.81/805.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
805.81/805.90 c 806s| 3980k|820271 | 8988k| 2.3 | 688M| 45 | 6 | 50 |8871 | 50 | 17 | 22 |2191k|6075 | 0.000000e+00 | -- | Inf
808.42/808.50 c 809s| 3990k|821676 | 9010k| 2.3 | 690M| 45 | 6 | 50 |9368 | 50 | 17 | 22 |2197k|6088 | 0.000000e+00 | -- | Inf
811.11/811.17 c 811s| 4000k|823122 | 9032k| 2.3 | 691M| 45 | - | 50 |8770 | 50 | 17 | 22 |2202k|6097 | 0.000000e+00 | -- | Inf
813.81/813.85 c 814s| 4010k|824588 | 9055k| 2.3 | 692M| 45 | - | 50 |6694 | 50 | 17 | 22 |2208k|6105 | 0.000000e+00 | -- | Inf
816.22/816.26 c 816s| 4020k|826220 | 9077k| 2.3 | 694M| 45 | - | 50 |6273 | 50 | 17 | 22 |2214k|6120 | 0.000000e+00 | -- | Inf
818.81/818.84 c 819s| 4030k|827478 | 9100k| 2.3 | 695M| 45 | 6 | 50 |5415 | 50 | 17 | 22 |2220k|6124 | 0.000000e+00 | -- | Inf
821.01/821.08 c 821s| 4040k|829081 | 9122k| 2.3 | 697M| 45 | 6 | 50 |5836 | 50 | 17 | 22 |2226k|6131 | 0.000000e+00 | -- | Inf
823.21/823.29 c 823s| 4050k|830913 | 9145k| 2.3 | 698M| 45 | - | 50 |5951 | 50 | 17 | 22 |2232k|6137 | 0.000000e+00 | -- | Inf
825.71/825.71 c 826s| 4060k|832365 | 9167k| 2.3 | 700M| 45 | 6 | 50 |5466 | 50 | 17 | 22 |2238k|6142 | 0.000000e+00 | -- | Inf
828.01/828.03 c 828s| 4070k|833955 | 9190k| 2.3 | 701M| 45 | 6 | 50 |5335 | 50 | 17 | 22 |2244k|6149 | 0.000000e+00 | -- | Inf
830.12/830.18 c 830s| 4080k|835704 | 9212k| 2.3 | 703M| 45 | - | 50 |6559 | 50 | 17 | 22 |2249k|6154 | 0.000000e+00 | -- | Inf
832.51/832.58 c 833s| 4090k|837285 | 9235k| 2.3 | 704M| 45 | 6 | 50 |6191 | 50 | 17 | 22 |2255k|6164 | 0.000000e+00 | -- | Inf
835.01/835.00 c 835s| 4100k|838715 | 9258k| 2.3 | 706M| 45 | 6 | 50 |4928 | 50 | 17 | 22 |2261k|6175 | 0.000000e+00 | -- | Inf
837.41/837.40 c 837s| 4110k|839966 | 9281k| 2.3 | 707M| 45 | 6 | 50 |4618 | 50 | 17 | 22 |2267k|6181 | 0.000000e+00 | -- | Inf
839.51/839.52 c 840s| 4120k|841445 | 9303k| 2.3 | 709M| 45 | - | 50 |5980 | 50 | 17 | 22 |2273k|6191 | 0.000000e+00 | -- | Inf
841.71/841.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
841.71/841.72 c 842s| 4130k|843091 | 9326k| 2.3 | 711M| 45 | - | 50 |6259 | 50 | 17 | 22 |2279k|6195 | 0.000000e+00 | -- | Inf
844.01/844.07 c 844s| 4140k|844813 | 9349k| 2.3 | 712M| 45 | - | 50 |7298 | 50 | 17 | 22 |2285k|6207 | 0.000000e+00 | -- | Inf
846.31/846.39 c 846s| 4150k|846413 | 9372k| 2.3 | 714M| 45 | 6 | 50 |6547 | 50 | 17 | 22 |2291k|6213 | 0.000000e+00 | -- | Inf
848.41/848.48 c 848s| 4160k|848549 | 9394k| 2.3 | 716M| 45 | 6 | 50 |7471 | 50 | 17 | 22 |2296k|6224 | 0.000000e+00 | -- | Inf
850.61/850.68 c 851s| 4170k|850390 | 9416k| 2.3 | 718M| 45 | - | 50 |9000 | 0 | 0 | 22 |2301k|6233 | 0.000000e+00 | -- | Inf
853.01/853.08 c 853s| 4180k|852075 | 9438k| 2.3 | 719M| 45 | - | 50 | 10k| 50 | 17 | 22 |2306k|6238 | 0.000000e+00 | -- | Inf
855.82/855.80 c 856s| 4190k|853591 | 9461k| 2.3 | 720M| 45 | - | 50 |6623 | 0 | 0 | 22 |2312k|6247 | 0.000000e+00 | -- | Inf
858.22/858.25 c 858s| 4200k|855135 | 9484k| 2.3 | 721M| 45 | 6 | 50 |6233 | 50 | 17 | 22 |2318k|6254 | 0.000000e+00 | -- | Inf
860.62/860.66 c 861s| 4210k|856614 | 9507k| 2.3 | 723M| 45 | 6 | 50 |5747 | 50 | 17 | 22 |2324k|6262 | 0.000000e+00 | -- | Inf
862.82/862.84 c 863s| 4220k|858350 | 9530k| 2.3 | 725M| 45 | 6 | 50 |6647 | 50 | 17 | 22 |2330k|6274 | 0.000000e+00 | -- | Inf
865.11/865.15 c 865s| 4230k|860124 | 9552k| 2.3 | 726M| 45 | - | 50 |6749 | 50 | 17 | 22 |2335k|6287 | 0.000000e+00 | -- | Inf
867.41/867.41 c 867s| 4240k|862177 | 9577k| 2.3 | 728M| 45 | 6 | 50 |7290 | 50 | 17 | 22 |2341k|6292 | 0.000000e+00 | -- | Inf
869.91/869.93 c 870s| 4250k|863946 | 9601k| 2.3 | 730M| 45 | 6 | 50 |8150 | 50 | 17 | 22 |2347k|6293 | 0.000000e+00 | -- | Inf
872.51/872.56 c 873s| 4260k|865591 | 9624k| 2.3 | 731M| 45 | 6 | 50 |6778 | 50 | 17 | 22 |2353k|6295 | 0.000000e+00 | -- | Inf
874.81/874.88 c 875s| 4270k|867312 | 9647k| 2.3 | 732M| 45 | 6 | 50 |6432 | 50 | 17 | 22 |2358k|6303 | 0.000000e+00 | -- | Inf
877.31/877.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
877.31/877.34 c 877s| 4280k|868931 | 9669k| 2.3 | 734M| 45 | 6 | 50 |5983 | 50 | 17 | 22 |2364k|6304 | 0.000000e+00 | -- | Inf
879.41/879.45 c 879s| 4290k|870978 | 9691k| 2.3 | 736M| 45 | 6 | 50 |7918 | 50 | 17 | 22 |2370k|6307 | 0.000000e+00 | -- | Inf
881.81/881.82 c 882s| 4300k|872358 | 9712k| 2.3 | 737M| 45 | - | 50 |7926 | 50 | 17 | 22 |2376k|6314 | 0.000000e+00 | -- | Inf
884.21/884.22 c 884s| 4310k|873964 | 9735k| 2.3 | 739M| 45 | 6 | 50 |7669 | 50 | 17 | 22 |2382k|6318 | 0.000000e+00 | -- | Inf
886.51/886.56 c 887s| 4320k|875797 | 9757k| 2.3 | 740M| 45 | - | 50 |6517 | 50 | 17 | 22 |2387k|6322 | 0.000000e+00 | -- | Inf
888.91/888.98 c 889s| 4330k|877837 | 9780k| 2.3 | 742M| 45 | 6 | 50 |6441 | 50 | 17 | 22 |2393k|6327 | 0.000000e+00 | -- | Inf
891.22/891.29 c 891s| 4340k|879415 | 9802k| 2.3 | 743M| 45 | 6 | 50 |6276 | 50 | 17 | 22 |2399k|6341 | 0.000000e+00 | -- | Inf
893.41/893.42 c 893s| 4350k|881128 | 9824k| 2.3 | 745M| 45 | - | 50 |7468 | 0 | 0 | 22 |2404k|6344 | 0.000000e+00 | -- | Inf
895.91/895.97 c 896s| 4360k|882672 | 9846k| 2.3 | 746M| 45 | 6 | 50 |5363 | 50 | 17 | 22 |2410k|6347 | 0.000000e+00 | -- | Inf
898.01/898.04 c 898s| 4370k|885058 | 9868k| 2.3 | 748M| 45 | - | 50 |6626 | 50 | 17 | 22 |2415k|6357 | 0.000000e+00 | -- | Inf
900.31/900.36 c 900s| 4380k|886617 | 9891k| 2.3 | 750M| 45 | - | 50 |7100 | 50 | 17 | 22 |2421k|6361 | 0.000000e+00 | -- | Inf
902.81/902.85 c 903s| 4390k|888057 | 9914k| 2.3 | 751M| 45 | 6 | 50 |7007 | 50 | 17 | 22 |2427k|6365 | 0.000000e+00 | -- | Inf
905.22/905.30 c 905s| 4400k|889612 | 9936k| 2.3 | 753M| 45 | 6 | 50 |5871 | 50 | 17 | 22 |2433k|6376 | 0.000000e+00 | -- | Inf
907.61/907.69 c 908s| 4410k|891095 | 9959k| 2.3 | 754M| 45 | 6 | 50 |5639 | 50 | 17 | 22 |2439k|6387 | 0.000000e+00 | -- | Inf
910.02/910.00 c 910s| 4420k|892633 | 9981k| 2.3 | 756M| 45 | - | 50 |5737 | 50 | 17 | 22 |2444k|6408 | 0.000000e+00 | -- | Inf
912.22/912.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
912.22/912.27 c 912s| 4430k|894210 | 10003k| 2.3 | 757M| 45 | 6 | 50 |6739 | 50 | 17 | 22 |2450k|6409 | 0.000000e+00 | -- | Inf
914.41/914.40 c 914s| 4440k|896306 | 10026k| 2.3 | 759M| 45 | - | 50 |7076 | 50 | 17 | 22 |2456k|6434 | 0.000000e+00 | -- | Inf
916.41/916.45 c 916s| 4450k|899042 | 10050k| 2.3 | 762M| 45 | 6 | 50 |9346 | 50 | 17 | 22 |2461k|6522 | 0.000000e+00 | -- | Inf
918.81/918.86 c 919s| 4460k|901420 | 10073k| 2.3 | 764M| 45 | - | 50 |9634 | 50 | 17 | 22 |2467k|6537 | 0.000000e+00 | -- | Inf
921.21/921.28 c 921s| 4470k|903697 | 10097k| 2.3 | 766M| 45 | - | 50 | 10k| 50 | 17 | 22 |2472k|6547 | 0.000000e+00 | -- | Inf
923.81/923.90 c 924s| 4480k|905740 | 10121k| 2.3 | 768M| 45 | - | 50 | 10k| 0 | 0 | 22 |2478k|6563 | 0.000000e+00 | -- | Inf
926.51/926.52 c 927s| 4490k|907669 | 10144k| 2.3 | 769M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |2484k|6582 | 0.000000e+00 | -- | Inf
929.11/929.16 c 929s| 4500k|909509 | 10168k| 2.3 | 771M| 45 | - | 50 | 11k| 50 | 17 | 22 |2490k|6588 | 0.000000e+00 | -- | Inf
932.02/932.00 c 932s| 4510k|911401 | 10190k| 2.3 | 773M| 45 | - | 50 | 11k| 50 | 17 | 22 |2495k|6598 | 0.000000e+00 | -- | Inf
935.02/935.09 c 935s| 4520k|913048 | 10213k| 2.3 | 774M| 45 | - | 50 | 10k| 50 | 17 | 22 |2501k|6650 | 0.000000e+00 | -- | Inf
937.81/937.83 c 938s| 4530k|915064 | 10236k| 2.3 | 776M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |2507k|6702 | 0.000000e+00 | -- | Inf
940.52/940.54 c 941s| 4540k|916753 | 10260k| 2.3 | 778M| 45 | - | 50 | 12k| 0 | 0 | 22 |2513k|6702 | 0.000000e+00 | -- | Inf
943.51/943.51 c 944s| 4550k|918430 | 10283k| 2.3 | 779M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2519k|6722 | 0.000000e+00 | -- | Inf
946.11/946.10 c 946s| 4560k|920299 | 10306k| 2.3 | 781M| 45 | 6 | 50 | 12k| 50 | 17 | 22 |2525k|6762 | 0.000000e+00 | -- | Inf
949.02/949.00 c 949s| 4570k|921958 | 10328k| 2.3 | 783M| 45 | - | 50 | 14k| 50 | 17 | 22 |2530k|6762 | 0.000000e+00 | -- | Inf
952.31/952.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
952.31/952.35 c 952s| 4580k|923479 | 10351k| 2.3 | 784M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2536k|6766 | 0.000000e+00 | -- | Inf
955.52/955.52 c 956s| 4590k|924910 | 10374k| 2.3 | 785M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2542k|6772 | 0.000000e+00 | -- | Inf
958.12/958.13 c 958s| 4600k|927100 | 10397k| 2.3 | 787M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2548k|6772 | 0.000000e+00 | -- | Inf
961.42/961.41 c 961s| 4610k|928432 | 10420k| 2.3 | 789M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2554k|6791 | 0.000000e+00 | -- | Inf
964.31/964.37 c 964s| 4620k|930277 | 10443k| 2.3 | 790M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2559k|6793 | 0.000000e+00 | -- | Inf
967.31/967.39 c 967s| 4630k|931685 | 10466k| 2.3 | 792M| 45 | - | 50 | 11k| 50 | 17 | 22 |2565k|6820 | 0.000000e+00 | -- | Inf
970.12/970.12 c 970s| 4640k|933593 | 10490k| 2.3 | 793M| 45 | - | 50 | 11k| 50 | 17 | 22 |2571k|6833 | 0.000000e+00 | -- | Inf
972.92/972.93 c 973s| 4650k|935107 | 10514k| 2.3 | 795M| 45 | 6 | 50 | 12k| 50 | 17 | 22 |2578k|6833 | 0.000000e+00 | -- | Inf
976.21/976.29 c 976s| 4660k|936314 | 10537k| 2.3 | 796M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2584k|6864 | 0.000000e+00 | -- | Inf
979.42/979.48 c 979s| 4670k|937611 | 10560k| 2.3 | 798M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2590k|6866 | 0.000000e+00 | -- | Inf
982.51/982.53 c 983s| 4680k|939091 | 10583k| 2.3 | 799M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2596k|6866 | 0.000000e+00 | -- | Inf
985.51/985.59 c 986s| 4690k|940476 | 10606k| 2.3 | 801M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2603k|6920 | 0.000000e+00 | -- | Inf
988.61/988.69 c 989s| 4700k|941993 | 10629k| 2.3 | 802M| 45 | - | 50 | 12k| 50 | 17 | 22 |2609k|6932 | 0.000000e+00 | -- | Inf
991.72/991.74 c 992s| 4710k|943473 | 10652k| 2.3 | 804M| 45 | - | 50 | 12k| 50 | 17 | 22 |2615k|6940 | 0.000000e+00 | -- | Inf
994.91/994.96 c 995s| 4720k|944727 | 10675k| 2.3 | 805M| 45 | - | 50 | 11k| 0 | 0 | 22 |2621k|6956 | 0.000000e+00 | -- | Inf
997.92/997.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
997.92/997.99 c 998s| 4730k|946315 | 10697k| 2.3 | 807M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2626k|6956 | 0.000000e+00 | -- | Inf
1001.42/1001.43 c 1001s| 4740k|947255 | 10720k| 2.3 | 808M| 45 | - | 50 | 11k| 50 | 17 | 22 |2633k|6972 | 0.000000e+00 | -- | Inf
1004.62/1004.66 c 1005s| 4750k|948282 | 10743k| 2.3 | 809M| 45 | - | 50 | 11k| 50 | 17 | 22 |2639k|6981 | 0.000000e+00 | -- | Inf
1007.41/1007.49 c 1007s| 4760k|949820 | 10766k| 2.3 | 810M| 45 | 6 | 50 |7881 | 50 | 17 | 22 |2645k|6982 | 0.000000e+00 | -- | Inf
1010.12/1010.10 c 1010s| 4770k|951436 | 10788k| 2.3 | 811M| 45 | - | 50 |6350 | 50 | 17 | 22 |2651k|6982 | 0.000000e+00 | -- | Inf
1012.52/1012.53 c 1013s| 4780k|952958 | 10811k| 2.3 | 812M| 45 | - | 50 |6060 | 50 | 17 | 22 |2657k|6983 | 0.000000e+00 | -- | Inf
1015.02/1015.00 c 1015s| 4790k|954401 | 10833k| 2.3 | 814M| 45 | 6 | 50 |5889 | 50 | 17 | 22 |2663k|6983 | 0.000000e+00 | -- | Inf
1017.22/1017.24 c 1017s| 4800k|956116 | 10856k| 2.3 | 816M| 45 | - | 50 |6987 | 50 | 17 | 22 |2669k|6983 | 0.000000e+00 | -- | Inf
1019.51/1019.58 c 1020s| 4810k|957589 | 10877k| 2.3 | 817M| 45 | 6 | 50 |7599 | 50 | 17 | 22 |2674k|6988 | 0.000000e+00 | -- | Inf
1022.02/1022.03 c 1022s| 4820k|959553 | 10900k| 2.3 | 819M| 45 | 6 | 50 |6794 | 50 | 17 | 22 |2680k|6990 | 0.000000e+00 | -- | Inf
1024.31/1024.32 c 1024s| 4830k|961154 | 10922k| 2.3 | 820M| 45 | 6 | 50 |7751 | 50 | 17 | 22 |2686k|6991 | 0.000000e+00 | -- | Inf
1026.42/1026.43 c 1026s| 4840k|963797 | 10946k| 2.3 | 823M| 45 | - | 50 |8301 | 50 | 17 | 22 |2691k|7040 | 0.000000e+00 | -- | Inf
1028.81/1028.88 c 1029s| 4850k|965673 | 10969k| 2.3 | 825M| 45 | - | 50 |9073 | 50 | 17 | 22 |2697k|7040 | 0.000000e+00 | -- | Inf
1031.31/1031.34 c 1031s| 4860k|967428 | 10992k| 2.3 | 826M| 45 | - | 50 |9300 | 50 | 17 | 22 |2703k|7040 | 0.000000e+00 | -- | Inf
1033.72/1033.75 c 1034s| 4870k|969954 | 11015k| 2.3 | 828M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |2708k|7040 | 0.000000e+00 | -- | Inf
1036.32/1036.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1036.32/1036.37 c 1036s| 4880k|972107 | 11038k| 2.3 | 830M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2714k|7040 | 0.000000e+00 | -- | Inf
1039.12/1039.12 c 1039s| 4890k|973875 | 11060k| 2.3 | 832M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |2719k|7040 | 0.000000e+00 | -- | Inf
1041.92/1041.92 c 1042s| 4900k|975558 | 11083k| 2.3 | 833M| 45 | 6 | 50 |9572 | 50 | 17 | 22 |2725k|7040 | 0.000000e+00 | -- | Inf
1044.62/1044.62 c 1045s| 4910k|977034 | 11106k| 2.3 | 834M| 45 | 6 | 50 |8529 | 50 | 17 | 22 |2731k|7040 | 0.000000e+00 | -- | Inf
1047.32/1047.31 c 1047s| 4920k|978393 | 11129k| 2.3 | 836M| 45 | 6 | 50 |8775 | 50 | 17 | 22 |2737k|7040 | 0.000000e+00 | -- | Inf
1049.92/1049.93 c 1050s| 4930k|979988 | 11152k| 2.3 | 838M| 45 | 6 | 50 |9187 | 50 | 17 | 22 |2743k|7040 | 0.000000e+00 | -- | Inf
1052.62/1052.66 c 1053s| 4940k|981342 | 11175k| 2.3 | 839M| 45 | 6 | 50 |8973 | 50 | 17 | 22 |2749k|7040 | 0.000000e+00 | -- | Inf
1055.22/1055.28 c 1055s| 4950k|982907 | 11199k| 2.3 | 841M| 45 | 6 | 50 |9214 | 50 | 17 | 22 |2756k|7040 | 0.000000e+00 | -- | Inf
1058.23/1058.23 c 1058s| 4960k|983923 | 11222k| 2.3 | 842M| 45 | - | 50 |8515 | 50 | 17 | 22 |2762k|7040 | 0.000000e+00 | -- | Inf
1060.72/1060.71 c 1061s| 4970k|985648 | 11244k| 2.3 | 844M| 45 | - | 50 | 10k| 0 | 0 | 22 |2768k|7040 | 0.000000e+00 | -- | Inf
1063.22/1063.25 c 1063s| 4980k|987649 | 11266k| 2.3 | 846M| 45 | - | 50 | 10k| 50 | 17 | 22 |2773k|7041 | 0.000000e+00 | -- | Inf
1066.01/1066.00 c 1066s| 4990k|989190 | 11288k| 2.3 | 847M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |2779k|7047 | 0.000000e+00 | -- | Inf
1068.52/1068.54 c 1069s| 5000k|991079 | 11311k| 2.3 | 849M| 45 | 6 | 50 |9742 | 50 | 17 | 22 |2785k|7052 | 0.000000e+00 | -- | Inf
1071.12/1071.14 c 1071s| 5010k|992644 | 11335k| 2.3 | 850M| 45 | - | 50 | 10k| 50 | 17 | 22 |2791k|7056 | 0.000000e+00 | -- | Inf
1074.11/1074.11 c 1074s| 5020k|993853 | 11358k| 2.3 | 851M| 45 | 6 | 50 |9986 | 50 | 17 | 22 |2797k|7058 | 0.000000e+00 | -- | Inf
1076.62/1076.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1076.62/1076.60 c 1077s| 5030k|995931 | 11381k| 2.3 | 853M| 45 | - | 50 | 10k| 50 | 17 | 22 |2803k|7061 | 0.000000e+00 | -- | Inf
1079.22/1079.21 c 1079s| 5040k|997480 | 11404k| 2.3 | 855M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2808k|7064 | 0.000000e+00 | -- | Inf
1081.92/1081.97 c 1082s| 5050k|999416 | 11427k| 2.3 | 857M| 45 | - | 50 | 11k| 50 | 17 | 22 |2814k|7066 | 0.000000e+00 | -- | Inf
1085.02/1085.04 c 1085s| 5060k| 1000k| 11451k| 2.3 | 858M| 45 | - | 50 | 11k| 50 | 17 | 22 |2820k|7069 | 0.000000e+00 | -- | Inf
1088.02/1088.03 c 1088s| 5070k| 1002k| 11474k| 2.3 | 860M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2827k|7073 | 0.000000e+00 | -- | Inf
1091.12/1091.16 c 1091s| 5080k| 1003k| 11497k| 2.3 | 861M| 45 | 6 | 50 |8951 | 50 | 17 | 22 |2833k|7081 | 0.000000e+00 | -- | Inf
1094.11/1094.10 c 1094s| 5090k| 1004k| 11519k| 2.3 | 862M| 45 | 6 | 50 |8788 | 50 | 17 | 22 |2839k|7086 | 0.000000e+00 | -- | Inf
1096.92/1096.94 c 1097s| 5100k| 1005k| 11542k| 2.3 | 863M| 45 | 6 | 50 |8544 | 50 | 17 | 22 |2845k|7092 | 0.000000e+00 | -- | Inf
1099.31/1099.37 c 1099s| 5110k| 1007k| 11564k| 2.3 | 865M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |2851k|7098 | 0.000000e+00 | -- | Inf
1102.22/1102.26 c 1102s| 5120k| 1008k| 11585k| 2.3 | 866M| 45 | - | 50 | 10k| 50 | 17 | 22 |2857k|7105 | 0.000000e+00 | -- | Inf
1105.11/1105.11 c 1105s| 5130k| 1010k| 11609k| 2.3 | 867M| 45 | 6 | 50 |6777 | 50 | 17 | 22 |2863k|7109 | 0.000000e+00 | -- | Inf
1107.62/1107.66 c 1108s| 5140k| 1011k| 11631k| 2.3 | 868M| 45 | 6 | 50 |6083 | 50 | 17 | 22 |2869k|7114 | 0.000000e+00 | -- | Inf
1110.22/1110.23 c 1110s| 5150k| 1013k| 11654k| 2.3 | 870M| 45 | 6 | 50 |5428 | 50 | 17 | 22 |2875k|7119 | 0.000000e+00 | -- | Inf
1112.61/1112.64 c 1113s| 5160k| 1014k| 11677k| 2.3 | 871M| 45 | 6 | 50 |6233 | 50 | 17 | 22 |2880k|7124 | 0.000000e+00 | -- | Inf
1115.11/1115.13 c 1115s| 5170k| 1016k| 11700k| 2.3 | 873M| 45 | - | 50 |6015 | 50 | 17 | 22 |2886k|7131 | 0.000000e+00 | -- | Inf
1117.62/1117.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1117.62/1117.63 c 1118s| 5180k| 1017k| 11722k| 2.3 | 874M| 45 | - | 50 |5778 | 50 | 17 | 22 |2892k|7134 | 0.000000e+00 | -- | Inf
1119.83/1119.88 c 1120s| 5190k| 1018k| 11745k| 2.3 | 876M| 45 | 6 | 50 |7156 | 50 | 17 | 22 |2898k|7141 | 0.000000e+00 | -- | Inf
1122.42/1122.44 c 1122s| 5200k| 1020k| 11768k| 2.3 | 877M| 45 | 6 | 50 |6337 | 50 | 17 | 22 |2904k|7149 | 0.000000e+00 | -- | Inf
1124.81/1124.87 c 1125s| 5210k| 1022k| 11791k| 2.3 | 879M| 45 | 6 | 50 |6532 | 50 | 17 | 22 |2910k|7153 | 0.000000e+00 | -- | Inf
1127.22/1127.29 c 1127s| 5220k| 1023k| 11813k| 2.3 | 880M| 45 | 6 | 50 |5872 | 50 | 17 | 22 |2916k|7157 | 0.000000e+00 | -- | Inf
1129.22/1129.20 c 1129s| 5230k| 1026k| 11837k| 2.3 | 883M| 45 | 6 | 50 |7706 | 50 | 17 | 22 |2921k|7160 | 0.000000e+00 | -- | Inf
1131.42/1131.43 c 1131s| 5240k| 1029k| 11861k| 2.3 | 885M| 45 | 6 | 50 |7268 | 50 | 17 | 22 |2926k|7163 | 0.000000e+00 | -- | Inf
1133.61/1133.62 c 1134s| 5250k| 1032k| 11885k| 2.3 | 887M| 45 | 6 | 50 |7911 | 50 | 17 | 22 |2930k|7166 | 0.000000e+00 | -- | Inf
1135.92/1135.94 c 1136s| 5260k| 1035k| 11908k| 2.3 | 888M| 45 | - | 50 |8015 | 50 | 17 | 22 |2935k|7169 | 0.000000e+00 | -- | Inf
1138.31/1138.40 c 1138s| 5270k| 1037k| 11932k| 2.3 | 890M| 45 | 6 | 50 |7564 | 50 | 17 | 22 |2941k|7174 | 0.000000e+00 | -- | Inf
1140.92/1140.97 c 1141s| 5280k| 1039k| 11956k| 2.3 | 892M| 45 | 6 | 50 |7765 | 50 | 17 | 22 |2946k|7179 | 0.000000e+00 | -- | Inf
1143.51/1143.57 c 1144s| 5290k| 1041k| 11980k| 2.3 | 893M| 45 | 6 | 50 |7444 | 50 | 17 | 22 |2952k|7191 | 0.000000e+00 | -- | Inf
1146.12/1146.14 c 1146s| 5300k| 1043k| 12005k| 2.3 | 895M| 45 | 6 | 50 |7977 | 50 | 17 | 22 |2957k|7197 | 0.000000e+00 | -- | Inf
1148.72/1148.78 c 1149s| 5310k| 1045k| 12029k| 2.3 | 897M| 45 | - | 50 |8014 | 50 | 17 | 22 |2963k|7208 | 0.000000e+00 | -- | Inf
1151.32/1151.37 c 1151s| 5320k| 1047k| 12053k| 2.3 | 899M| 45 | 6 | 50 |8163 | 50 | 17 | 22 |2968k|7214 | 0.000000e+00 | -- | Inf
1153.93/1153.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1153.93/1153.98 c 1154s| 5330k| 1049k| 12077k| 2.3 | 900M| 45 | 6 | 50 |8365 | 50 | 17 | 22 |2974k|7224 | 0.000000e+00 | -- | Inf
1156.61/1156.63 c 1157s| 5340k| 1051k| 12100k| 2.3 | 902M| 45 | 6 | 50 |7665 | 50 | 17 | 22 |2979k|7230 | 0.000000e+00 | -- | Inf
1159.21/1159.21 c 1159s| 5350k| 1053k| 12124k| 2.3 | 903M| 45 | 6 | 50 |8450 | 50 | 17 | 22 |2984k|7237 | 0.000000e+00 | -- | Inf
1161.82/1161.80 c 1162s| 5360k| 1055k| 12149k| 2.3 | 905M| 45 | 6 | 50 |9310 | 50 | 17 | 22 |2990k|7243 | 0.000000e+00 | -- | Inf
1164.52/1164.52 c 1165s| 5370k| 1057k| 12174k| 2.3 | 907M| 45 | 6 | 50 |8971 | 50 | 17 | 22 |2995k|7247 | 0.000000e+00 | -- | Inf
1167.42/1167.45 c 1167s| 5380k| 1058k| 12197k| 2.3 | 908M| 45 | 6 | 50 |7825 | 50 | 17 | 22 |3001k|7253 | 0.000000e+00 | -- | Inf
1169.62/1169.62 c 1170s| 5390k| 1061k| 12221k| 2.3 | 910M| 45 | 6 | 50 |9322 | 50 | 17 | 22 |3006k|7257 | 0.000000e+00 | -- | Inf
1172.21/1172.23 c 1172s| 5400k| 1063k| 12244k| 2.3 | 912M| 45 | - | 50 |9778 | 50 | 17 | 22 |3012k|7265 | 0.000000e+00 | -- | Inf
1175.01/1175.09 c 1175s| 5410k| 1064k| 12268k| 2.3 | 914M| 45 | - | 50 | 10k| 50 | 17 | 22 |3018k|7271 | 0.000000e+00 | -- | Inf
1178.12/1178.17 c 1178s| 5420k| 1066k| 12292k| 2.3 | 915M| 45 | 6 | 50 |8442 | 50 | 17 | 22 |3024k|7281 | 0.000000e+00 | -- | Inf
1180.72/1180.72 c 1181s| 5430k| 1068k| 12316k| 2.3 | 917M| 45 | 6 | 50 |9581 | 50 | 17 | 22 |3029k|7286 | 0.000000e+00 | -- | Inf
1183.72/1183.78 c 1184s| 5440k| 1069k| 12340k| 2.3 | 918M| 45 | 6 | 50 |7783 | 50 | 17 | 22 |3035k|7295 | 0.000000e+00 | -- | Inf
1186.42/1186.49 c 1186s| 5450k| 1070k| 12363k| 2.3 | 918M| 45 | 6 | 50 |5601 | 50 | 17 | 22 |3041k|7297 | 0.000000e+00 | -- | Inf
1188.82/1188.81 c 1189s| 5460k| 1072k| 12386k| 2.3 | 920M| 45 | - | 50 |6235 | 50 | 17 | 22 |3047k|7305 | 0.000000e+00 | -- | Inf
1191.32/1191.36 c 1191s| 5470k| 1073k| 12409k| 2.3 | 922M| 45 | 6 | 50 |5916 | 50 | 17 | 22 |3053k|7314 | 0.000000e+00 | -- | Inf
1193.72/1193.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1193.72/1193.71 c 1194s| 5480k| 1075k| 12430k| 2.3 | 923M| 45 | 6 | 50 |5642 | 50 | 17 | 22 |3059k|7319 | 0.000000e+00 | -- | Inf
1196.12/1196.11 c 1196s| 5490k| 1076k| 12452k| 2.3 | 925M| 45 | 6 | 50 |6097 | 50 | 17 | 22 |3065k|7325 | 0.000000e+00 | -- | Inf
1198.32/1198.30 c 1198s| 5500k| 1078k| 12474k| 2.3 | 927M| 45 | 6 | 50 |7248 | 50 | 17 | 22 |3070k|7335 | 0.000000e+00 | -- | Inf
1200.82/1200.80 c 1201s| 5510k| 1080k| 12497k| 2.3 | 928M| 45 | 6 | 50 |6421 | 50 | 17 | 22 |3076k|7341 | 0.000000e+00 | -- | Inf
1203.12/1203.19 c 1203s| 5520k| 1081k| 12520k| 2.3 | 930M| 45 | - | 50 |7135 | 0 | 0 | 22 |3082k|7349 | 0.000000e+00 | -- | Inf
1205.72/1205.70 c 1206s| 5530k| 1083k| 12542k| 2.3 | 931M| 45 | - | 50 |6818 | 50 | 17 | 22 |3088k|7355 | 0.000000e+00 | -- | Inf
1208.02/1208.07 c 1208s| 5540k| 1084k| 12564k| 2.3 | 932M| 45 | 6 | 50 |6719 | 50 | 17 | 22 |3094k|7359 | 0.000000e+00 | -- | Inf
1210.62/1210.61 c 1211s| 5550k| 1085k| 12587k| 2.3 | 934M| 45 | 6 | 50 |6766 | 50 | 17 | 22 |3100k|7364 | 0.000000e+00 | -- | Inf
1212.91/1212.99 c 1213s| 5560k| 1087k| 12610k| 2.3 | 935M| 45 | 6 | 50 |5443 | 50 | 17 | 22 |3105k|7367 | 0.000000e+00 | -- | Inf
1215.02/1215.05 c 1215s| 5570k| 1090k| 12632k| 2.3 | 937M| 45 | - | 50 |6777 | 50 | 17 | 22 |3110k|7374 | 0.000000e+00 | -- | Inf
1217.22/1217.29 c 1217s| 5580k| 1092k| 12654k| 2.3 | 939M| 45 | 6 | 50 |6980 | 50 | 17 | 22 |3115k|7376 | 0.000000e+00 | -- | Inf
1219.62/1219.65 c 1220s| 5590k| 1094k| 12677k| 2.3 | 941M| 45 | 6 | 50 |7742 | 50 | 17 | 22 |3121k|7384 | 0.000000e+00 | -- | Inf
1222.13/1222.10 c 1222s| 5600k| 1096k| 12698k| 2.3 | 942M| 45 | 6 | 50 |8163 | 50 | 17 | 22 |3126k|7393 | 0.000000e+00 | -- | Inf
1224.72/1224.71 c 1225s| 5610k| 1097k| 12721k| 2.3 | 944M| 45 | - | 50 |8184 | 50 | 17 | 22 |3132k|7401 | 0.000000e+00 | -- | Inf
1227.22/1227.28 c 1227s| 5620k| 1099k| 12743k| 2.3 | 945M| 45 | 6 | 50 |7919 | 50 | 17 | 22 |3137k|7410 | 0.000000e+00 | -- | Inf
1229.92/1229.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1229.92/1229.98 c 1230s| 5630k| 1100k| 12765k| 2.3 | 946M| 45 | 6 | 50 |6934 | 50 | 17 | 22 |3143k|7416 | 0.000000e+00 | -- | Inf
1232.42/1232.45 c 1232s| 5640k| 1102k| 12788k| 2.3 | 948M| 45 | - | 50 |7277 | 50 | 17 | 22 |3149k|7427 | 0.000000e+00 | -- | Inf
1234.82/1234.89 c 1235s| 5650k| 1104k| 12810k| 2.3 | 950M| 45 | - | 50 |8340 | 50 | 17 | 22 |3155k|7429 | 0.000000e+00 | -- | Inf
1237.42/1237.46 c 1237s| 5660k| 1105k| 12833k| 2.3 | 951M| 45 | - | 50 |8126 | 50 | 17 | 22 |3161k|7434 | 0.000000e+00 | -- | Inf
1240.02/1240.08 c 1240s| 5670k| 1107k| 12856k| 2.3 | 953M| 45 | - | 50 |7762 | 50 | 17 | 22 |3167k|7442 | 0.000000e+00 | -- | Inf
1242.32/1242.35 c 1242s| 5680k| 1108k| 12877k| 2.3 | 954M| 45 | - | 50 |8482 | 50 | 17 | 22 |3172k|7444 | 0.000000e+00 | -- | Inf
1245.02/1245.05 c 1245s| 5690k| 1110k| 12899k| 2.3 | 956M| 45 | 6 | 50 |7142 | 50 | 17 | 22 |3178k|7457 | 0.000000e+00 | -- | Inf
1247.22/1247.24 c 1247s| 5700k| 1113k| 12921k| 2.3 | 958M| 45 | 6 | 50 |8285 | 50 | 17 | 22 |3182k|7463 | 0.000000e+00 | -- | Inf
1249.53/1249.58 c 1250s| 5710k| 1115k| 12943k| 2.3 | 960M| 45 | 6 | 50 |9159 | 50 | 17 | 22 |3188k|7470 | 0.000000e+00 | -- | Inf
1251.91/1251.96 c 1252s| 5720k| 1117k| 12964k| 2.3 | 961M| 45 | - | 50 | 10k| 50 | 17 | 22 |3192k|7474 | 0.000000e+00 | -- | Inf
1254.62/1254.62 c 1255s| 5730k| 1119k| 12986k| 2.3 | 963M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |3198k|7479 | 0.000000e+00 | -- | Inf
1257.52/1257.57 c 1258s| 5740k| 1120k| 13009k| 2.3 | 964M| 45 | 6 | 50 |9691 | 50 | 17 | 22 |3203k|7483 | 0.000000e+00 | -- | Inf
1260.22/1260.21 c 1260s| 5750k| 1122k| 13031k| 2.3 | 966M| 45 | - | 50 |8881 | 50 | 17 | 22 |3209k|7487 | 0.000000e+00 | -- | Inf
1262.92/1262.93 c 1263s| 5760k| 1123k| 13054k| 2.3 | 967M| 45 | - | 50 |7536 | 50 | 17 | 22 |3215k|7491 | 0.000000e+00 | -- | Inf
1265.12/1265.13 c 1265s| 5770k| 1126k| 13076k| 2.3 | 969M| 45 | - | 50 |9524 | 0 | 0 | 22 |3220k|7493 | 0.000000e+00 | -- | Inf
1267.62/1267.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1267.62/1267.67 c 1268s| 5780k| 1128k| 13097k| 2.3 | 971M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |3225k|7496 | 0.000000e+00 | -- | Inf
1270.32/1270.38 c 1270s| 5790k| 1129k| 13119k| 2.3 | 973M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |3230k|7498 | 0.000000e+00 | -- | Inf
1273.42/1273.45 c 1273s| 5800k| 1131k| 13141k| 2.3 | 973M| 45 | - | 50 |7862 | 0 | 0 | 22 |3236k|7504 | 0.000000e+00 | -- | Inf
1276.12/1276.16 c 1276s| 5810k| 1132k| 13163k| 2.3 | 975M| 45 | 6 | 50 |6602 | 50 | 17 | 22 |3242k|7508 | 0.000000e+00 | -- | Inf
1278.22/1278.28 c 1278s| 5820k| 1135k| 13187k| 2.3 | 977M| 45 | - | 50 |7898 | 50 | 17 | 22 |3247k|7512 | 0.000000e+00 | -- | Inf
1280.72/1280.78 c 1281s| 5830k| 1137k| 13210k| 2.3 | 979M| 45 | - | 50 |7881 | 50 | 17 | 22 |3253k|7515 | 0.000000e+00 | -- | Inf
1283.22/1283.26 c 1283s| 5840k| 1139k| 13234k| 2.3 | 981M| 45 | 6 | 50 |8876 | 50 | 17 | 22 |3258k|7522 | 0.000000e+00 | -- | Inf
1286.02/1286.09 c 1286s| 5850k| 1140k| 13257k| 2.3 | 982M| 45 | 6 | 50 |8725 | 50 | 17 | 22 |3264k|7531 | 0.000000e+00 | -- | Inf
1288.82/1288.88 c 1289s| 5860k| 1142k| 13280k| 2.3 | 984M| 45 | 6 | 50 |9090 | 50 | 17 | 22 |3270k|7537 | 0.000000e+00 | -- | Inf
1291.82/1291.83 c 1292s| 5870k| 1143k| 13302k| 2.3 | 985M| 45 | - | 50 |6905 | 50 | 17 | 22 |3276k|7542 | 0.000000e+00 | -- | Inf
1294.42/1294.40 c 1294s| 5880k| 1144k| 13325k| 2.3 | 986M| 45 | 6 | 50 |6554 | 50 | 17 | 22 |3282k|7548 | 0.000000e+00 | -- | Inf
1296.83/1296.87 c 1297s| 5890k| 1146k| 13348k| 2.3 | 988M| 45 | 6 | 50 |7865 | 50 | 17 | 22 |3288k|7553 | 0.000000e+00 | -- | Inf
1299.42/1299.40 c 1299s| 5900k| 1147k| 13371k| 2.3 | 990M| 45 | - | 50 |8851 | 50 | 17 | 22 |3294k|7558 | 0.000000e+00 | -- | Inf
1302.12/1302.11 c 1302s| 5910k| 1149k| 13393k| 2.3 | 991M| 45 | 6 | 50 |6567 | 50 | 17 | 22 |3300k|7567 | 0.000000e+00 | -- | Inf
1304.63/1304.64 c 1305s| 5920k| 1150k| 13415k| 2.3 | 992M| 45 | 6 | 50 |7042 | 50 | 17 | 22 |3306k|7569 | 0.000000e+00 | -- | Inf
1307.32/1307.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1307.32/1307.39 c 1307s| 5930k| 1151k| 13438k| 2.3 | 993M| 45 | - | 50 |5348 | 0 | 0 | 22 |3312k|7575 | 0.000000e+00 | -- | Inf
1309.82/1309.81 c 1310s| 5940k| 1153k| 13461k| 2.3 | 995M| 45 | 6 | 50 |4968 | 50 | 17 | 22 |3318k|7582 | 0.000000e+00 | -- | Inf
1311.82/1311.88 c 1312s| 5950k| 1156k| 13485k| 2.3 | 997M| 45 | 6 | 50 |6678 | 50 | 17 | 22 |3323k|7597 | 0.000000e+00 | -- | Inf
1314.12/1314.12 c 1314s| 5960k| 1158k| 13509k| 2.3 | 999M| 45 | 6 | 50 |7700 | 50 | 17 | 22 |3328k|7600 | 0.000000e+00 | -- | Inf
1316.52/1316.53 c 1317s| 5970k| 1160k| 13533k| 2.3 |1001M| 45 | 6 | 50 |8036 | 50 | 17 | 22 |3334k|7606 | 0.000000e+00 | -- | Inf
1319.22/1319.21 c 1319s| 5980k| 1161k| 13558k| 2.3 |1002M| 45 | 6 | 50 |7785 | 50 | 17 | 22 |3340k|7613 | 0.000000e+00 | -- | Inf
1321.52/1321.50 c 1322s| 5990k| 1163k| 13581k| 2.3 |1005M| 45 | 6 | 50 |9510 | 50 | 17 | 22 |3345k|7618 | 0.000000e+00 | -- | Inf
1324.12/1324.18 c 1324s| 6000k| 1165k| 13605k| 2.3 |1006M| 45 | - | 50 |9253 | 50 | 17 | 22 |3351k|7622 | 0.000000e+00 | -- | Inf
1326.43/1326.50 c 1327s| 6010k| 1168k| 13629k| 2.3 |1008M| 45 | 6 | 50 |9847 | 50 | 17 | 22 |3356k|7625 | 0.000000e+00 | -- | Inf
1329.12/1329.11 c 1329s| 6020k| 1170k| 13652k| 2.3 |1010M| 45 | - | 50 | 10k| 50 | 17 | 22 |3361k|7634 | 0.000000e+00 | -- | Inf
1331.92/1331.91 c 1332s| 6030k| 1172k| 13675k| 2.3 |1011M| 45 | 6 | 50 |8608 | 50 | 17 | 22 |3367k|7639 | 0.000000e+00 | -- | Inf
1334.62/1334.61 c 1335s| 6040k| 1174k| 13699k| 2.3 |1013M| 45 | 6 | 50 |8918 | 50 | 17 | 22 |3372k|7643 | 0.000000e+00 | -- | Inf
1337.22/1337.29 c 1337s| 6050k| 1175k| 13722k| 2.3 |1014M| 45 | 6 | 50 |8297 | 50 | 17 | 22 |3378k|7650 | 0.000000e+00 | -- | Inf
1339.92/1339.93 c 1340s| 6060k| 1177k| 13745k| 2.3 |1016M| 45 | - | 50 |9159 | 50 | 17 | 22 |3384k|7656 | 0.000000e+00 | -- | Inf
1342.52/1342.50 c 1343s| 6070k| 1179k| 13768k| 2.3 |1018M| 45 | - | 50 |9210 | 0 | 0 | 22 |3389k|7665 | 0.000000e+00 | -- | Inf
1345.22/1345.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1345.22/1345.26 c 1345s| 6080k| 1180k| 13791k| 2.3 |1019M| 45 | - | 50 |8440 | 50 | 17 | 22 |3395k|7669 | 0.000000e+00 | -- | Inf
1347.82/1347.89 c 1348s| 6090k| 1182k| 13814k| 2.3 |1021M| 45 | 6 | 50 |9124 | 50 | 17 | 22 |3400k|7672 | 0.000000e+00 | -- | Inf
1351.02/1351.02 c 1351s| 6100k| 1183k| 13837k| 2.3 |1022M| 45 | 6 | 50 |8616 | 50 | 17 | 22 |3406k|7676 | 0.000000e+00 | -- | Inf
1353.52/1353.57 c 1354s| 6110k| 1185k| 13860k| 2.3 |1024M| 45 | - | 50 |9668 | 50 | 17 | 22 |3412k|7686 | 0.000000e+00 | -- | Inf
1356.22/1356.26 c 1356s| 6120k| 1186k| 13883k| 2.3 |1025M| 45 | - | 50 | 10k| 50 | 17 | 22 |3417k|7691 | 0.000000e+00 | -- | Inf
1358.82/1358.87 c 1359s| 6130k| 1189k| 13907k| 2.3 |1027M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |3423k|7695 | 0.000000e+00 | -- | Inf
1361.52/1361.55 c 1362s| 6140k| 1191k| 13930k| 2.3 |1029M| 45 | - | 50 | 11k| 50 | 17 | 22 |3428k|7699 | 0.000000e+00 | -- | Inf
1364.52/1364.57 c 1365s| 6150k| 1193k| 13954k| 2.3 |1031M| 45 | - | 50 | 11k| 50 | 17 | 22 |3433k|7706 | 0.000000e+00 | -- | Inf
1367.52/1367.58 c 1368s| 6160k| 1194k| 13978k| 2.3 |1032M| 45 | - | 50 | 11k| 50 | 17 | 22 |3439k|7715 | 0.000000e+00 | -- | Inf
1370.72/1370.79 c 1371s| 6170k| 1196k| 14001k| 2.3 |1034M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |3445k|7722 | 0.000000e+00 | -- | Inf
1374.03/1374.07 c 1374s| 6180k| 1197k| 14025k| 2.3 |1035M| 45 | 6 | 50 |9862 | 50 | 17 | 22 |3451k|7727 | 0.000000e+00 | -- | Inf
1376.82/1376.81 c 1377s| 6190k| 1198k| 14048k| 2.3 |1036M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |3457k|7736 | 0.000000e+00 | -- | Inf
1380.12/1380.16 c 1380s| 6200k| 1200k| 14071k| 2.3 |1037M| 45 | 6 | 50 |9614 | 50 | 17 | 22 |3463k|7744 | 0.000000e+00 | -- | Inf
1383.22/1383.27 c 1383s| 6210k| 1201k| 14094k| 2.3 |1039M| 45 | 6 | 50 |9404 | 50 | 17 | 22 |3468k|7752 | 0.000000e+00 | -- | Inf
1386.22/1386.24 c 1386s| 6220k| 1202k| 14116k| 2.3 |1039M| 45 | - | 50 |6851 | 50 | 17 | 22 |3474k|7760 | 0.000000e+00 | -- | Inf
1388.83/1388.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1388.83/1388.88 c 1389s| 6230k| 1203k| 14139k| 2.3 |1041M| 45 | 6 | 50 |6317 | 50 | 17 | 22 |3480k|7767 | 0.000000e+00 | -- | Inf
1391.33/1391.37 c 1391s| 6240k| 1205k| 14161k| 2.3 |1042M| 45 | 6 | 50 |6201 | 50 | 17 | 22 |3486k|7776 | 0.000000e+00 | -- | Inf
1393.92/1393.92 c 1394s| 6250k| 1206k| 14184k| 2.3 |1044M| 45 | - | 50 |5976 | 0 | 0 | 22 |3492k|7784 | 0.000000e+00 | -- | Inf
1396.12/1396.17 c 1396s| 6260k| 1208k| 14207k| 2.3 |1046M| 45 | 6 | 50 |7642 | 50 | 17 | 22 |3498k|7785 | 0.000000e+00 | -- | Inf
1398.53/1398.57 c 1399s| 6270k| 1210k| 14230k| 2.3 |1047M| 45 | - | 50 |8076 | 50 | 17 | 22 |3503k|7789 | 0.000000e+00 | -- | Inf
1401.22/1401.22 c 1401s| 6280k| 1212k| 14254k| 2.3 |1049M| 45 | 6 | 50 |8008 | 50 | 17 | 22 |3509k|7795 | 0.000000e+00 | -- | Inf
1403.73/1403.77 c 1404s| 6290k| 1213k| 14277k| 2.3 |1050M| 45 | - | 50 |7450 | 50 | 17 | 22 |3515k|7799 | 0.000000e+00 | -- | Inf
1406.22/1406.23 c 1406s| 6300k| 1215k| 14301k| 2.3 |1052M| 45 | 6 | 50 |9090 | 50 | 17 | 22 |3521k|7802 | 0.000000e+00 | -- | Inf
1408.83/1408.84 c 1409s| 6310k| 1216k| 14325k| 2.3 |1054M| 45 | - | 50 |9131 | 0 | 0 | 22 |3528k|7807 | 0.000000e+00 | -- | Inf
1411.62/1411.63 c 1412s| 6320k| 1218k| 14349k| 2.3 |1055M| 45 | 6 | 50 |9989 | 50 | 17 | 22 |3534k|7810 | 0.000000e+00 | -- | Inf
1414.73/1414.79 c 1415s| 6330k| 1219k| 14372k| 2.3 |1056M| 45 | - | 50 |6936 | 0 | 0 | 22 |3541k|7812 | 0.000000e+00 | -- | Inf
1417.42/1417.44 c 1417s| 6340k| 1220k| 14395k| 2.3 |1057M| 45 | 6 | 50 |6471 | 50 | 17 | 22 |3547k|7814 | 0.000000e+00 | -- | Inf
1419.92/1419.99 c 1420s| 6350k| 1221k| 14417k| 2.3 |1059M| 45 | - | 50 |7048 | 50 | 17 | 22 |3553k|7817 | 0.000000e+00 | -- | Inf
1422.73/1422.74 c 1423s| 6360k| 1222k| 14440k| 2.3 |1060M| 45 | 6 | 50 |6435 | 50 | 17 | 22 |3559k|7824 | 0.000000e+00 | -- | Inf
1425.32/1425.31 c 1425s| 6370k| 1224k| 14463k| 2.3 |1061M| 45 | 6 | 50 |6692 | 50 | 17 | 22 |3565k|7828 | 0.000000e+00 | -- | Inf
1427.73/1427.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1427.73/1427.74 c 1428s| 6380k| 1225k| 14485k| 2.3 |1063M| 45 | 6 | 50 |7567 | 50 | 17 | 22 |3571k|7833 | 0.000000e+00 | -- | Inf
1430.42/1430.43 c 1430s| 6390k| 1227k| 14507k| 2.3 |1064M| 45 | 6 | 50 |6311 | 50 | 17 | 22 |3577k|7835 | 0.000000e+00 | -- | Inf
1432.93/1432.97 c 1433s| 6400k| 1228k| 14530k| 2.3 |1065M| 45 | 6 | 50 |5894 | 50 | 17 | 22 |3583k|7835 | 0.000000e+00 | -- | Inf
1435.32/1435.34 c 1435s| 6410k| 1230k| 14552k| 2.3 |1067M| 45 | 6 | 50 |7012 | 50 | 17 | 22 |3589k|7835 | 0.000000e+00 | -- | Inf
1437.82/1437.84 c 1438s| 6420k| 1231k| 14574k| 2.3 |1069M| 45 | 6 | 50 |7189 | 50 | 17 | 22 |3595k|7840 | 0.000000e+00 | -- | Inf
1440.52/1440.59 c 1441s| 6430k| 1232k| 14597k| 2.3 |1070M| 45 | 6 | 50 |5926 | 50 | 17 | 22 |3601k|7845 | 0.000000e+00 | -- | Inf
1443.02/1443.02 c 1443s| 6440k| 1234k| 14619k| 2.3 |1072M| 45 | 6 | 50 |7059 | 50 | 17 | 22 |3607k|7848 | 0.000000e+00 | -- | Inf
1445.62/1445.62 c 1446s| 6450k| 1235k| 14642k| 2.3 |1073M| 45 | 6 | 50 |6913 | 50 | 17 | 22 |3613k|7851 | 0.000000e+00 | -- | Inf
1447.92/1447.97 c 1448s| 6460k| 1237k| 14665k| 2.3 |1075M| 45 | - | 50 |9200 | 50 | 17 | 22 |3619k|7853 | 0.000000e+00 | -- | Inf
1450.53/1450.57 c 1451s| 6470k| 1238k| 14686k| 2.3 |1077M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |3625k|7854 | 0.000000e+00 | -- | Inf
1453.42/1453.48 c 1453s| 6480k| 1240k| 14709k| 2.3 |1078M| 45 | - | 50 |7006 | 0 | 0 | 22 |3631k|7854 | 0.000000e+00 | -- | Inf
1455.83/1455.88 c 1456s| 6490k| 1241k| 14731k| 2.3 |1079M| 45 | - | 50 |7569 | 50 | 17 | 22 |3637k|7854 | 0.000000e+00 | -- | Inf
1458.42/1458.43 c 1458s| 6500k| 1242k| 14754k| 2.3 |1081M| 45 | - | 50 |8868 | 50 | 17 | 22 |3644k|7854 | 0.000000e+00 | -- | Inf
1461.02/1461.10 c 1461s| 6510k| 1244k| 14776k| 2.3 |1083M| 45 | 6 | 50 |9656 | 50 | 17 | 22 |3649k|7854 | 0.000000e+00 | -- | Inf
1463.72/1463.74 c 1464s| 6520k| 1246k| 14799k| 2.3 |1084M| 45 | 6 | 50 |7504 | 50 | 17 | 22 |3655k|7854 | 0.000000e+00 | -- | Inf
1466.33/1466.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1466.33/1466.36 c 1466s| 6530k| 1247k| 14822k| 2.3 |1086M| 45 | - | 50 |8330 | 50 | 17 | 22 |3661k|7854 | 0.000000e+00 | -- | Inf
1469.03/1469.04 c 1469s| 6540k| 1249k| 14844k| 2.3 |1087M| 45 | 6 | 50 |6650 | 50 | 17 | 22 |3667k|7854 | 0.000000e+00 | -- | Inf
1471.53/1471.55 c 1472s| 6550k| 1250k| 14867k| 2.3 |1088M| 45 | - | 50 |6806 | 50 | 17 | 22 |3673k|7854 | 0.000000e+00 | -- | Inf
1474.12/1474.13 c 1474s| 6560k| 1251k| 14890k| 2.3 |1090M| 45 | - | 50 |6686 | 50 | 17 | 22 |3679k|7854 | 0.000000e+00 | -- | Inf
1476.43/1476.43 c 1476s| 6570k| 1253k| 14913k| 2.3 |1092M| 45 | - | 50 |7957 | 0 | 0 | 22 |3685k|7854 | 0.000000e+00 | -- | Inf
1478.93/1478.96 c 1479s| 6580k| 1255k| 14935k| 2.3 |1093M| 45 | - | 50 |8504 | 50 | 17 | 22 |3691k|7854 | 0.000000e+00 | -- | Inf
1481.82/1481.89 c 1482s| 6590k| 1256k| 14958k| 2.3 |1094M| 45 | - | 50 |6204 | 50 | 17 | 22 |3697k|7854 | 0.000000e+00 | -- | Inf
1484.32/1484.30 c 1484s| 6600k| 1257k| 14980k| 2.3 |1096M| 45 | - | 50 |6704 | 0 | 0 | 22 |3703k|7854 | 0.000000e+00 | -- | Inf
1486.83/1486.89 c 1487s| 6610k| 1258k| 15002k| 2.3 |1097M| 45 | 6 | 50 |6211 | 50 | 17 | 22 |3709k|7854 | 0.000000e+00 | -- | Inf
1489.43/1489.47 c 1489s| 6620k| 1260k| 15025k| 2.3 |1098M| 45 | 6 | 50 |5811 | 50 | 17 | 22 |3715k|7854 | 0.000000e+00 | -- | Inf
1491.83/1491.86 c 1492s| 6630k| 1261k| 15048k| 2.3 |1100M| 45 | 6 | 50 |6281 | 50 | 17 | 22 |3721k|7854 | 0.000000e+00 | -- | Inf
1494.53/1494.55 c 1495s| 6640k| 1262k| 15070k| 2.3 |1101M| 45 | 6 | 50 |5791 | 50 | 17 | 22 |3727k|7854 | 0.000000e+00 | -- | Inf
1497.03/1497.02 c 1497s| 6650k| 1264k| 15093k| 2.3 |1103M| 45 | 6 | 50 |6411 | 50 | 17 | 22 |3733k|7854 | 0.000000e+00 | -- | Inf
1499.52/1499.57 c 1500s| 6660k| 1265k| 15115k| 2.3 |1104M| 45 | - | 50 |6246 | 50 | 17 | 22 |3739k|7854 | 0.000000e+00 | -- | Inf
1502.02/1502.03 c 1502s| 6670k| 1267k| 15138k| 2.3 |1106M| 45 | - | 50 |6137 | 50 | 17 | 22 |3745k|7854 | 0.000000e+00 | -- | Inf
1504.13/1504.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1504.13/1504.17 c 1504s| 6680k| 1268k| 15162k| 2.3 |1108M| 45 | - | 50 |7893 | 0 | 0 | 22 |3751k|7854 | 0.000000e+00 | -- | Inf
1506.73/1506.74 c 1507s| 6690k| 1270k| 15186k| 2.3 |1109M| 45 | 6 | 50 |7851 | 50 | 17 | 22 |3757k|7854 | 0.000000e+00 | -- | Inf
1509.23/1509.20 c 1509s| 6700k| 1272k| 15209k| 2.3 |1111M| 45 | 6 | 50 |9032 | 50 | 17 | 22 |3763k|7854 | 0.000000e+00 | -- | Inf
1511.92/1511.94 c 1512s| 6710k| 1273k| 15233k| 2.3 |1113M| 45 | - | 50 |8375 | 50 | 17 | 22 |3769k|7854 | 0.000000e+00 | -- | Inf
1514.74/1514.78 c 1515s| 6720k| 1274k| 15255k| 2.3 |1114M| 45 | - | 50 |6280 | 50 | 17 | 22 |3775k|7854 | 0.000000e+00 | -- | Inf
1517.43/1517.43 c 1517s| 6730k| 1275k| 15279k| 2.3 |1115M| 45 | 6 | 50 |5419 | 50 | 17 | 22 |3782k|7854 | 0.000000e+00 | -- | Inf
1519.73/1519.72 c 1520s| 6740k| 1277k| 15300k| 2.3 |1117M| 45 | 6 | 50 |6638 | 50 | 17 | 22 |3787k|7854 | 0.000000e+00 | -- | Inf
1522.23/1522.24 c 1522s| 6750k| 1278k| 15322k| 2.3 |1118M| 45 | 6 | 50 |6224 | 50 | 17 | 22 |3793k|7854 | 0.000000e+00 | -- | Inf
1524.63/1524.65 c 1525s| 6760k| 1280k| 15344k| 2.3 |1120M| 45 | 6 | 50 |6824 | 50 | 17 | 22 |3799k|7854 | 0.000000e+00 | -- | Inf
1527.13/1527.16 c 1527s| 6770k| 1281k| 15367k| 2.3 |1121M| 45 | 6 | 50 |7359 | 50 | 17 | 22 |3805k|7854 | 0.000000e+00 | -- | Inf
1529.82/1529.88 c 1530s| 6780k| 1282k| 15389k| 2.3 |1122M| 45 | 6 | 50 |6503 | 50 | 17 | 22 |3811k|7854 | 0.000000e+00 | -- | Inf
1532.33/1532.36 c 1532s| 6790k| 1284k| 15413k| 2.3 |1124M| 45 | 6 | 50 |7057 | 50 | 17 | 22 |3817k|7854 | 0.000000e+00 | -- | Inf
1534.93/1534.96 c 1535s| 6800k| 1285k| 15436k| 2.3 |1125M| 45 | 6 | 50 |6724 | 50 | 17 | 22 |3823k|7854 | 0.000000e+00 | -- | Inf
1537.33/1537.36 c 1537s| 6810k| 1286k| 15458k| 2.3 |1127M| 45 | 6 | 50 |7384 | 50 | 17 | 22 |3829k|7854 | 0.000000e+00 | -- | Inf
1539.93/1539.91 c 1540s| 6820k| 1288k| 15480k| 2.3 |1129M| 45 | 6 | 50 |7571 | 50 | 17 | 22 |3835k|7854 | 0.000000e+00 | -- | Inf
1542.62/1542.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1542.62/1542.69 c 1543s| 6830k| 1289k| 15503k| 2.3 |1130M| 45 | 6 | 50 |6337 | 50 | 17 | 22 |3841k|7854 | 0.000000e+00 | -- | Inf
1545.23/1545.24 c 1545s| 6840k| 1290k| 15525k| 2.3 |1131M| 45 | - | 50 |6709 | 50 | 17 | 22 |3847k|7854 | 0.000000e+00 | -- | Inf
1547.53/1547.52 c 1548s| 6850k| 1292k| 15547k| 2.3 |1133M| 45 | - | 50 |8760 | 0 | 0 | 22 |3853k|7854 | 0.000000e+00 | -- | Inf
1550.23/1550.28 c 1550s| 6860k| 1293k| 15569k| 2.3 |1135M| 45 | 6 | 50 |9928 | 50 | 17 | 22 |3859k|7854 | 0.000000e+00 | -- | Inf
1552.83/1552.89 c 1553s| 6870k| 1295k| 15591k| 2.3 |1137M| 45 | - | 50 | 10k| 0 | 0 | 22 |3864k|7854 | 0.000000e+00 | -- | Inf
1555.53/1555.58 c 1556s| 6880k| 1297k| 15613k| 2.3 |1138M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |3869k|7854 | 0.000000e+00 | -- | Inf
1558.63/1558.67 c 1559s| 6890k| 1298k| 15634k| 2.3 |1139M| 45 | - | 50 | 10k| 50 | 17 | 22 |3875k|7854 | 0.000000e+00 | -- | Inf
1561.53/1561.53 c 1562s| 6900k| 1300k| 15656k| 2.3 |1141M| 45 | - | 50 | 11k| 50 | 17 | 22 |3880k|7854 | 0.000000e+00 | -- | Inf
1564.33/1564.31 c 1564s| 6910k| 1301k| 15677k| 2.3 |1142M| 45 | - | 50 |9692 | 50 | 17 | 22 |3886k|7855 | 0.000000e+00 | -- | Inf
1567.13/1567.13 c 1567s| 6920k| 1303k| 15700k| 2.3 |1143M| 45 | - | 50 |7345 | 50 | 17 | 22 |3891k|7859 | 0.000000e+00 | -- | Inf
1569.53/1569.56 c 1570s| 6930k| 1305k| 15722k| 2.3 |1145M| 45 | - | 50 |8503 | 50 | 17 | 22 |3897k|7861 | 0.000000e+00 | -- | Inf
1572.43/1572.41 c 1572s| 6940k| 1306k| 15745k| 2.3 |1146M| 45 | 6 | 50 |7203 | 50 | 17 | 22 |3903k|7862 | 0.000000e+00 | -- | Inf
1574.73/1574.73 c 1575s| 6950k| 1308k| 15769k| 2.3 |1148M| 45 | - | 50 |9043 | 50 | 17 | 22 |3909k|7862 | 0.000000e+00 | -- | Inf
1577.22/1577.30 c 1577s| 6960k| 1309k| 15792k| 2.3 |1150M| 45 | - | 50 | 10k| 50 | 17 | 22 |3915k|7862 | 0.000000e+00 | -- | Inf
1579.92/1579.98 c 1580s| 6970k| 1310k| 15816k| 2.3 |1151M| 45 | - | 50 | 10k| 50 | 17 | 22 |3921k|7862 | 0.000000e+00 | -- | Inf
1582.73/1582.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1582.73/1582.70 c 1583s| 6980k| 1312k| 15839k| 2.3 |1153M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |3928k|7862 | 0.000000e+00 | -- | Inf
1586.02/1586.00 c 1586s| 6990k| 1313k| 15861k| 2.3 |1153M| 45 | 6 | 50 |6768 | 50 | 17 | 22 |3934k|7866 | 0.000000e+00 | -- | Inf
1588.53/1588.59 c 1589s| 7000k| 1314k| 15885k| 2.3 |1155M| 45 | 6 | 50 |8292 | 50 | 17 | 22 |3940k|7866 | 0.000000e+00 | -- | Inf
1591.03/1591.08 c 1591s| 7010k| 1316k| 15908k| 2.3 |1157M| 45 | 6 | 50 |9257 | 50 | 17 | 22 |3946k|7866 | 0.000000e+00 | -- | Inf
1593.83/1593.81 c 1594s| 7020k| 1317k| 15930k| 2.3 |1158M| 45 | 6 | 50 |8744 | 50 | 17 | 22 |3952k|7868 | 0.000000e+00 | -- | Inf
1596.63/1596.60 c 1597s| 7030k| 1319k| 15953k| 2.3 |1159M| 45 | 6 | 50 |7121 | 50 | 17 | 22 |3958k|7873 | 0.000000e+00 | -- | Inf
1599.03/1599.01 c 1599s| 7040k| 1320k| 15976k| 2.3 |1161M| 45 | - | 50 |7907 | 50 | 17 | 22 |3964k|7875 | 0.000000e+00 | -- | Inf
1601.43/1601.49 c 1601s| 7050k| 1322k| 15998k| 2.3 |1163M| 45 | - | 50 |9067 | 0 | 0 | 22 |3970k|7881 | 0.000000e+00 | -- | Inf
1604.03/1604.07 c 1604s| 7060k| 1323k| 16021k| 2.3 |1164M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |3976k|7884 | 0.000000e+00 | -- | Inf
1606.93/1606.98 c 1607s| 7070k| 1325k| 16044k| 2.3 |1166M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |3982k|7891 | 0.000000e+00 | -- | Inf
1610.23/1610.23 c 1610s| 7080k| 1326k| 16066k| 2.3 |1167M| 45 | 6 | 50 |8459 | 50 | 17 | 22 |3988k|7893 | 0.000000e+00 | -- | Inf
1612.83/1612.84 c 1613s| 7090k| 1327k| 16088k| 2.3 |1168M| 45 | - | 50 |7876 | 50 | 17 | 22 |3993k|7894 | 0.000000e+00 | -- | Inf
1615.63/1615.63 c 1616s| 7100k| 1329k| 16112k| 2.3 |1169M| 45 | 6 | 50 |6807 | 50 | 17 | 22 |4000k|7898 | 0.000000e+00 | -- | Inf
1618.33/1618.34 c 1618s| 7110k| 1330k| 16135k| 2.3 |1171M| 45 | - | 50 |6244 | 0 | 0 | 22 |4006k|7901 | 0.000000e+00 | -- | Inf
1620.93/1620.95 c 1621s| 7120k| 1331k| 16157k| 2.3 |1172M| 45 | 6 | 50 |5618 | 50 | 17 | 22 |4012k|7907 | 0.000000e+00 | -- | Inf
1623.03/1623.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1623.03/1623.02 c 1623s| 7130k| 1333k| 16180k| 2.3 |1174M| 45 | 6 | 50 |7375 | 50 | 17 | 22 |4017k|7909 | 0.000000e+00 | -- | Inf
1625.23/1625.23 c 1625s| 7140k| 1336k| 16202k| 2.3 |1176M| 45 | - | 50 |8018 | 50 | 17 | 22 |4022k|7913 | 0.000000e+00 | -- | Inf
1627.73/1627.79 c 1628s| 7150k| 1338k| 16225k| 2.3 |1178M| 45 | 6 | 50 |8167 | 50 | 17 | 22 |4027k|7919 | 0.000000e+00 | -- | Inf
1630.23/1630.26 c 1630s| 7160k| 1340k| 16247k| 2.3 |1179M| 45 | 6 | 50 |8759 | 50 | 17 | 22 |4033k|7923 | 0.000000e+00 | -- | Inf
1632.73/1632.76 c 1633s| 7170k| 1341k| 16268k| 2.3 |1181M| 45 | 6 | 50 |9054 | 50 | 17 | 22 |4039k|7931 | 0.000000e+00 | -- | Inf
1635.33/1635.37 c 1635s| 7180k| 1343k| 16292k| 2.3 |1183M| 45 | 6 | 50 |9438 | 50 | 17 | 22 |4044k|7934 | 0.000000e+00 | -- | Inf
1638.03/1638.02 c 1638s| 7190k| 1345k| 16315k| 2.3 |1184M| 45 | - | 50 |8318 | 50 | 17 | 22 |4050k|7937 | 0.000000e+00 | -- | Inf
1640.53/1640.53 c 1641s| 7200k| 1346k| 16336k| 2.3 |1186M| 45 | 6 | 50 |9293 | 50 | 17 | 22 |4055k|7942 | 0.000000e+00 | -- | Inf
1643.13/1643.19 c 1643s| 7210k| 1348k| 16358k| 2.3 |1187M| 45 | 6 | 50 |8778 | 50 | 17 | 22 |4061k|7947 | 0.000000e+00 | -- | Inf
1645.83/1645.89 c 1646s| 7220k| 1349k| 16380k| 2.3 |1189M| 45 | 6 | 50 |9046 | 50 | 17 | 22 |4067k|7953 | 0.000000e+00 | -- | Inf
1648.53/1648.56 c 1649s| 7230k| 1351k| 16402k| 2.3 |1190M| 45 | - | 50 |9270 | 0 | 0 | 22 |4073k|7958 | 0.000000e+00 | -- | Inf
1651.23/1651.26 c 1651s| 7240k| 1352k| 16424k| 2.3 |1192M| 45 | 6 | 50 |9329 | 50 | 17 | 22 |4078k|7961 | 0.000000e+00 | -- | Inf
1654.02/1654.02 c 1654s| 7250k| 1353k| 16446k| 2.3 |1193M| 45 | - | 50 |9540 | 50 | 17 | 22 |4084k|7967 | 0.000000e+00 | -- | Inf
1656.93/1656.93 c 1657s| 7260k| 1355k| 16468k| 2.3 |1194M| 45 | 6 | 50 |8915 | 50 | 17 | 22 |4090k|7972 | 0.000000e+00 | -- | Inf
1659.83/1659.84 c 1660s| 7270k| 1356k| 16490k| 2.3 |1195M| 45 | 6 | 50 |8776 | 50 | 17 | 22 |4097k|7974 | 0.000000e+00 | -- | Inf
1662.63/1662.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1662.63/1662.64 c 1663s| 7280k| 1357k| 16512k| 2.3 |1197M| 45 | 6 | 50 |8871 | 50 | 17 | 22 |4102k|7979 | 0.000000e+00 | -- | Inf
1665.53/1665.50 c 1666s| 7290k| 1358k| 16534k| 2.3 |1198M| 45 | 6 | 50 |9183 | 50 | 17 | 22 |4109k|7981 | 0.000000e+00 | -- | Inf
1668.43/1668.41 c 1668s| 7300k| 1359k| 16556k| 2.3 |1199M| 45 | - | 50 |6995 | 50 | 17 | 22 |4114k|7982 | 0.000000e+00 | -- | Inf
1671.03/1671.07 c 1671s| 7310k| 1360k| 16578k| 2.3 |1200M| 45 | - | 50 |6333 | 0 | 0 | 22 |4120k|7982 | 0.000000e+00 | -- | Inf
1673.83/1673.83 c 1674s| 7320k| 1361k| 16601k| 2.3 |1201M| 45 | 6 | 50 |6269 | 50 | 17 | 22 |4127k|7984 | 0.000000e+00 | -- | Inf
1676.43/1676.45 c 1676s| 7330k| 1363k| 16622k| 2.3 |1203M| 45 | 6 | 50 |6137 | 50 | 17 | 22 |4133k|7987 | 0.000000e+00 | -- | Inf
1678.93/1678.97 c 1679s| 7340k| 1364k| 16645k| 2.3 |1204M| 45 | 6 | 50 |6883 | 50 | 17 | 22 |4138k|7990 | 0.000000e+00 | -- | Inf
1681.53/1681.52 c 1682s| 7350k| 1366k| 16667k| 2.3 |1206M| 45 | 6 | 50 |6417 | 50 | 17 | 22 |4144k|7994 | 0.000000e+00 | -- | Inf
1683.93/1683.92 c 1684s| 7360k| 1367k| 16688k| 2.3 |1208M| 45 | - | 50 |7915 | 50 | 17 | 22 |4150k|7999 | 0.000000e+00 | -- | Inf
1686.63/1686.60 c 1687s| 7370k| 1368k| 16711k| 2.3 |1209M| 45 | - | 50 |6618 | 50 | 17 | 22 |4156k|8001 | 0.000000e+00 | -- | Inf
1689.03/1689.04 c 1689s| 7380k| 1370k| 16734k| 2.3 |1210M| 45 | 6 | 50 |7472 | 50 | 17 | 22 |4162k|8002 | 0.000000e+00 | -- | Inf
1691.53/1691.59 c 1692s| 7390k| 1371k| 16755k| 2.3 |1212M| 45 | - | 50 |7050 | 50 | 17 | 22 |4167k|8002 | 0.000000e+00 | -- | Inf
1694.04/1694.06 c 1694s| 7400k| 1373k| 16777k| 2.3 |1213M| 45 | 6 | 50 |7623 | 50 | 17 | 22 |4173k|8003 | 0.000000e+00 | -- | Inf
1696.83/1696.86 c 1697s| 7410k| 1374k| 16800k| 2.3 |1215M| 45 | 6 | 50 |7573 | 50 | 17 | 22 |4179k|8004 | 0.000000e+00 | -- | Inf
1699.63/1699.69 c 1700s| 7420k| 1375k| 16822k| 2.3 |1216M| 45 | 6 | 50 |6085 | 50 | 17 | 22 |4186k|8006 | 0.000000e+00 | -- | Inf
1702.23/1702.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1702.23/1702.22 c 1702s| 7430k| 1376k| 16845k| 2.3 |1217M| 45 | 6 | 50 |6147 | 50 | 17 | 22 |4192k|8006 | 0.000000e+00 | -- | Inf
1704.73/1704.73 c 1705s| 7440k| 1378k| 16868k| 2.3 |1219M| 45 | 6 | 50 |6056 | 50 | 17 | 22 |4198k|8008 | 0.000000e+00 | -- | Inf
1706.93/1706.98 c 1707s| 7450k| 1380k| 16892k| 2.3 |1221M| 45 | - | 50 |7986 | 0 | 0 | 22 |4204k|8013 | 0.000000e+00 | -- | Inf
1709.44/1709.46 c 1709s| 7460k| 1381k| 16916k| 2.3 |1223M| 45 | 6 | 50 |8257 | 50 | 17 | 22 |4209k|8015 | 0.000000e+00 | -- | Inf
1711.93/1711.98 c 1712s| 7470k| 1383k| 16940k| 2.3 |1224M| 45 | - | 50 |8841 | 50 | 17 | 22 |4215k|8020 | 0.000000e+00 | -- | Inf
1714.73/1714.71 c 1715s| 7480k| 1385k| 16964k| 2.3 |1226M| 45 | 6 | 50 |8865 | 50 | 17 | 22 |4222k|8024 | 0.000000e+00 | -- | Inf
1717.53/1717.57 c 1718s| 7490k| 1386k| 16988k| 2.3 |1227M| 45 | - | 50 |8589 | 50 | 17 | 22 |4228k|8026 | 0.000000e+00 | -- | Inf
1720.34/1720.38 c 1720s| 7500k| 1387k| 17010k| 2.3 |1228M| 45 | - | 50 |7151 | 0 | 0 | 22 |4234k|8032 | 0.000000e+00 | -- | Inf
1723.03/1723.02 c 1723s| 7510k| 1388k| 17032k| 2.3 |1229M| 45 | 6 | 50 |6392 | 50 | 17 | 22 |4241k|8038 | 0.000000e+00 | -- | Inf
1725.73/1725.73 c 1726s| 7520k| 1389k| 17055k| 2.3 |1231M| 45 | 6 | 50 |6610 | 50 | 17 | 22 |4247k|8039 | 0.000000e+00 | -- | Inf
1728.43/1728.44 c 1728s| 7530k| 1391k| 17078k| 2.3 |1232M| 45 | 6 | 50 |5828 | 50 | 17 | 22 |4253k|8039 | 0.000000e+00 | -- | Inf
1730.73/1730.75 c 1731s| 7540k| 1393k| 17100k| 2.3 |1234M| 45 | - | 50 |7369 | 50 | 17 | 22 |4259k|8043 | 0.000000e+00 | -- | Inf
1733.13/1733.17 c 1733s| 7550k| 1394k| 17123k| 2.3 |1236M| 45 | - | 50 |9413 | 50 | 17 | 22 |4264k|8045 | 0.000000e+00 | -- | Inf
1736.24/1736.21 c 1736s| 7560k| 1395k| 17146k| 2.3 |1237M| 45 | 6 | 50 |8064 | 50 | 17 | 22 |4270k|8050 | 0.000000e+00 | -- | Inf
1739.04/1739.01 c 1739s| 7570k| 1397k| 17169k| 2.3 |1238M| 45 | 6 | 50 |5708 | 50 | 17 | 22 |4276k|8052 | 0.000000e+00 | -- | Inf
1741.13/1741.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1741.13/1741.20 c 1741s| 7580k| 1399k| 17191k| 2.3 |1240M| 45 | 6 | 50 |7315 | 50 | 17 | 22 |4282k|8052 | 0.000000e+00 | -- | Inf
1743.64/1743.62 c 1744s| 7590k| 1401k| 17212k| 2.3 |1242M| 45 | - | 50 |8096 | 50 | 17 | 22 |4287k|8054 | 0.000000e+00 | -- | Inf
1746.33/1746.37 c 1746s| 7600k| 1402k| 17234k| 2.3 |1243M| 45 | - | 50 |7898 | 50 | 17 | 22 |4293k|8059 | 0.000000e+00 | -- | Inf
1749.23/1749.26 c 1749s| 7610k| 1403k| 17256k| 2.3 |1244M| 45 | 6 | 50 |7442 | 50 | 17 | 22 |4299k|8062 | 0.000000e+00 | -- | Inf
1752.13/1752.19 c 1752s| 7620k| 1404k| 17279k| 2.3 |1245M| 45 | - | 50 |5971 | 50 | 17 | 22 |4306k|8067 | 0.000000e+00 | -- | Inf
1754.63/1754.64 c 1755s| 7630k| 1406k| 17301k| 2.3 |1247M| 45 | 6 | 50 |6745 | 50 | 17 | 22 |4311k|8071 | 0.000000e+00 | -- | Inf
1757.13/1757.17 c 1757s| 7640k| 1407k| 17325k| 2.3 |1249M| 45 | - | 50 |7794 | 0 | 0 | 22 |4317k|8076 | 0.000000e+00 | -- | Inf
1759.83/1759.80 c 1760s| 7650k| 1409k| 17348k| 2.3 |1250M| 45 | 6 | 50 |7436 | 50 | 17 | 22 |4323k|8082 | 0.000000e+00 | -- | Inf
1762.53/1762.50 c 1762s| 7660k| 1410k| 17371k| 2.3 |1251M| 45 | 6 | 50 |7100 | 50 | 17 | 22 |4329k|8084 | 0.000000e+00 | -- | Inf
1765.23/1765.24 c 1765s| 7670k| 1411k| 17393k| 2.3 |1253M| 45 | - | 50 |6158 | 50 | 17 | 22 |4335k|8091 | 0.000000e+00 | -- | Inf
1767.63/1767.66 c 1768s| 7680k| 1413k| 17416k| 2.3 |1254M| 45 | 6 | 50 |7172 | 50 | 17 | 22 |4341k|8094 | 0.000000e+00 | -- | Inf
1770.23/1770.28 c 1770s| 7690k| 1414k| 17439k| 2.3 |1256M| 45 | 6 | 50 |7094 | 50 | 17 | 22 |4347k|8098 | 0.000000e+00 | -- | Inf
1773.03/1773.05 c 1773s| 7700k| 1416k| 17462k| 2.3 |1257M| 45 | - | 50 |6990 | 50 | 17 | 22 |4353k|8100 | 0.000000e+00 | -- | Inf
1775.53/1775.51 c 1776s| 7710k| 1417k| 17484k| 2.3 |1259M| 45 | - | 50 |7749 | 50 | 17 | 22 |4359k|8103 | 0.000000e+00 | -- | Inf
1778.13/1778.18 c 1778s| 7720k| 1419k| 17507k| 2.3 |1260M| 45 | 6 | 50 |7752 | 50 | 17 | 22 |4365k|8104 | 0.000000e+00 | -- | Inf
1780.93/1780.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1780.93/1780.95 c 1781s| 7730k| 1420k| 17529k| 2.3 |1262M| 45 | - | 50 |6327 | 50 | 17 | 22 |4371k|8110 | 0.000000e+00 | -- | Inf
1783.63/1783.64 c 1784s| 7740k| 1421k| 17551k| 2.3 |1263M| 45 | - | 50 |6487 | 50 | 17 | 22 |4377k|8110 | 0.000000e+00 | -- | Inf
1786.33/1786.33 c 1786s| 7750k| 1423k| 17575k| 2.3 |1264M| 45 | - | 50 |6405 | 50 | 17 | 22 |4383k|8111 | 0.000000e+00 | -- | Inf
1788.73/1788.73 c 1789s| 7760k| 1424k| 17598k| 2.3 |1266M| 45 | 6 | 50 |7201 | 50 | 17 | 22 |4389k|8112 | 0.000000e+00 | -- | Inf
1791.33/1791.30 c 1791s| 7770k| 1425k| 17621k| 2.3 |1268M| 45 | 6 | 50 |9343 | 50 | 17 | 22 |4395k|8116 | 0.000000e+00 | -- | Inf
1794.04/1794.04 c 1794s| 7780k| 1427k| 17644k| 2.3 |1269M| 45 | - | 50 |8505 | 50 | 17 | 22 |4401k|8120 | 0.000000e+00 | -- | Inf
1796.93/1796.99 c 1797s| 7790k| 1428k| 17667k| 2.3 |1270M| 45 | - | 50 |6395 | 50 | 17 | 22 |4407k|8121 | 0.000000e+00 | -- | Inf
1797.04/1797.00 c
1797.04/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.00 c Solving Time (sec) : 1797.00
1797.04/1797.00 c Solving Nodes : 7790052
1797.04/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.04/1797.00 c Dual Bound : +0.00000000000000e+00
1797.04/1797.00 c Gap : infinite
1797.04/1797.00 s UNKNOWN
1797.04/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.00 c Total Time : 1797.00
1797.04/1797.00 c solving : 1797.00
1797.04/1797.00 c presolving : 0.00 (included in solving)
1797.04/1797.00 c reading : 0.00 (included in solving)
1797.04/1797.00 c Original Problem :
1797.04/1797.00 c Problem name : HOME/instance-3485345-1307774593.opb
1797.04/1797.00 c Variables : 51 (51 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.00 c Constraints : 13 initial, 13 maximal
1797.04/1797.00 c Presolved Problem :
1797.04/1797.00 c Problem name : t_HOME/instance-3485345-1307774593.opb
1797.04/1797.00 c Variables : 50 (50 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.00 c Constraints : 6 initial, 14278 maximal
1797.04/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.04/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c dualfix : 0.00 1 0 0 0 0 0 0 0 0
1797.04/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c linear : 0.00 0 0 0 0 0 7 0 0 0
1797.04/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c root node : - 0 - - 0 - - - - -
1797.04/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.04/1797.00 c integral : 0 0 0 4749412 0 4 0 962 3416 0 0 9490268
1797.04/1797.00 c linear : 6+ 7 18530740 0 0 3 7752921 743592 9220594 0 0 0
1797.04/1797.00 c logicor : 0+ 6 8613525 0 0 0 6340463 31636 3240928 0 0 0
1797.04/1797.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.04/1797.00 c integral : 29.70 0.00 0.00 29.70 0.00 0.00 0.00
1797.04/1797.00 c linear : 149.01 0.00 129.65 0.00 0.00 0.00 19.36
1797.04/1797.00 c logicor : 373.30 0.00 363.72 0.00 0.00 0.00 9.58
1797.04/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.04/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.04/1797.00 c vbounds : 0 0 0 0
1797.04/1797.00 c rootredcost : 0 0 0 0
1797.04/1797.00 c pseudoobj : 0 0 0 0
1797.04/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.04/1797.00 c vbounds : 2.68 2.68 0.00
1797.04/1797.00 c rootredcost : 2.78 2.78 0.00
1797.04/1797.00 c pseudoobj : 2.19 2.19 0.00
1797.04/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.04/1797.00 c propagation : 32.02 775228 650503 2067911 36.0 171 31.2 -
1797.04/1797.00 c infeasible LP : 72.67 2514969 2514887 4574844 23.5 29772 28.9 0
1797.04/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.04/1797.00 c applied globally : - - - 3596924 20.8 - - -
1797.04/1797.00 c applied locally : - - - 810956 34.4 - - -
1797.04/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.04/1797.00 c cut pool : 0.00 5 - - 14 - (maximal pool size: 93)
1797.04/1797.00 c redcost : 5.30 4749417 0 0 0 0
1797.04/1797.00 c impliedbounds : 0.00 6 0 0 0 0
1797.04/1797.00 c intobj : 0.00 0 0 0 0 0
1797.04/1797.00 c gomory : 0.00 6 0 0 0 0
1797.04/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.04/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.04/1797.00 c strongcg : 0.00 6 0 0 22 0
1797.04/1797.00 c cmir : 0.01 6 0 0 35 0
1797.04/1797.00 c flowcover : 0.01 6 0 0 50 0
1797.04/1797.00 c clique : 0.00 1 0 0 0 0
1797.04/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.04/1797.00 c mcf : 0.00 1 0 0 0 0
1797.04/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.04/1797.00 c rapidlearning : 0.01 1 0 0 0 5
1797.04/1797.00 c Pricers : Time Calls Vars
1797.04/1797.00 c problem variables: 0.00 0 0
1797.04/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.04/1797.00 c relpscost : 26.78 4749412 962 3416 0 0 9490268
1797.04/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.04/1797.00 c inference : 0.00 0 0 0 0 0 0
1797.04/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.04/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.04/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.00 c random : 0.00 0 0 0 0 0 0
1797.04/1797.00 c Primal Heuristics : Time Calls Found
1797.04/1797.00 c LP solutions : 0.00 - 0
1797.04/1797.00 c pseudo solutions : 0.00 - 0
1797.04/1797.00 c oneopt : 2.32 0 0
1797.04/1797.00 c crossover : 1.41 0 0
1797.04/1797.00 c guideddiving : 0.20 0 0
1797.04/1797.00 c fracdiving : 0.17 93 0
1797.04/1797.00 c veclendiving : 0.18 93 0
1797.04/1797.00 c linesearchdiving : 0.17 93 0
1797.04/1797.00 c objpscostdiving : 0.15 47 0
1797.04/1797.00 c rootsoldiving : 0.17 47 0
1797.04/1797.00 c coefdiving : 0.17 94 0
1797.04/1797.00 c pscostdiving : 0.19 94 0
1797.04/1797.00 c feaspump : 0.15 47 0
1797.04/1797.00 c trivial : 0.00 2 0
1797.04/1797.00 c shiftandpropagate: 0.00 1 0
1797.04/1797.00 c simplerounding : 0.93 0 0
1797.04/1797.00 c zirounding : 12.87 0 0
1797.04/1797.00 c rounding : 1.85 30861 0
1797.04/1797.00 c shifting : 2.57 8890 0
1797.04/1797.00 c intshifting : 0.09 0 0
1797.04/1797.00 c twoopt : 0.00 0 0
1797.04/1797.00 c fixandinfer : 0.00 0 0
1797.04/1797.00 c clique : 0.00 0 0
1797.04/1797.00 c intdiving : 0.00 0 0
1797.04/1797.00 c actconsdiving : 0.00 0 0
1797.04/1797.00 c octane : 0.00 0 0
1797.04/1797.00 c rens : 0.02 1 0
1797.04/1797.00 c rins : 0.00 0 0
1797.04/1797.00 c localbranching : 0.00 0 0
1797.04/1797.00 c mutation : 0.00 0 0
1797.04/1797.00 c dins : 0.00 0 0
1797.04/1797.00 c vbounds : 0.00 0 0
1797.04/1797.00 c undercover : 0.00 0 0
1797.04/1797.00 c subnlp : 1.06 0 0
1797.04/1797.00 c trysol : 1.41 0 0
1797.04/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.04/1797.00 c primal LP : 0.00 0 0 0.00 -
1797.04/1797.00 c dual LP : 386.44 7073061 17663316 2.50 45707.78
1797.04/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.04/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.04/1797.00 c diving/probing LP: 0.12 2017 3946 1.96 33495.46
1797.04/1797.00 c strong branching : 0.85 8121 38868 4.79 45503.40
1797.04/1797.00 c (at root node) : - 14 634 45.29 -
1797.04/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.04/1797.00 c B&B Tree :
1797.04/1797.00 c number of runs : 1
1797.04/1797.00 c nodes : 7790052
1797.04/1797.00 c nodes (total) : 7790052
1797.04/1797.00 c nodes left : 1428620
1797.04/1797.00 c max depth : 45
1797.04/1797.00 c max depth (total): 45
1797.04/1797.00 c backtracks : 1272464 (16.3%)
1797.04/1797.00 c delayed cutoffs : 271597
1797.04/1797.00 c repropagations : 6461724 (5200864 domain reductions, 245080 cutoffs)
1797.04/1797.00 c avg switch length: 5.37
1797.04/1797.00 c switching time : 453.39
1797.04/1797.00 c Solution :
1797.04/1797.00 c Solutions found : 0 (0 improvements)
1797.04/1797.00 c Primal Bound : -
1797.04/1797.00 c Dual Bound : +0.00000000000000e+00
1797.04/1797.00 c Gap : infinite
1797.04/1797.00 c Root Dual Bound : +0.00000000000000e+00
1797.04/1797.00 c Root Iterations : 149
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3485345-1307774593/watcher-3485345-1307774593 -o /tmp/evaluation-result-3485345-1307774593/solver-3485345-1307774593 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485345-1307774593.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.96 2/177 20270
/proc/meminfo: memFree=30588428/32951124 swapFree=67055708/67111528
[pid=20270] ppid=20268 vsize=12212 CPUtime=0 cores=0,2,4,6
/proc/20270/stat : 20270 (scip-2.0.1.4_2.) R 20268 20270 17032 0 -1 4202496 1831 0 0 0 0 0 0 0 25 0 1 0 621650565 12505088 1786 33554432000 4194304 8979876 140736286697120 18446744073709551615 7836189 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20270/statm: 3053 1797 410 1169 0 1880 0
[startup+0.0379601 s]
/proc/loadavg: 2.00 2.00 1.96 2/177 20270
/proc/meminfo: memFree=30588428/32951124 swapFree=67055708/67111528
[pid=20270] ppid=20268 vsize=24856 CPUtime=0.03 cores=0,2,4,6
/proc/20270/stat : 20270 (scip-2.0.1.4_2.) R 20268 20270 17032 0 -1 4202496 5485 0 0 0 3 0 0 0 18 0 1 0 621650565 25452544 4829 33554432000 4194304 8979876 140736286697120 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20270/statm: 6214 4829 684 1169 0 5041 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 24856
[startup+0.100971 s]
/proc/loadavg: 2.00 2.00 1.96 2/177 20270
/proc/meminfo: memFree=30588428/32951124 swapFree=67055708/67111528
[pid=20270] ppid=20268 vsize=27300 CPUtime=0.09 cores=0,2,4,6
/proc/20270/stat : 20270 (scip-2.0.1.4_2.) R 20268 20270 17032 0 -1 4202496 6110 0 0 0 9 0 0 0 18 0 1 0 621650565 27955200 5454 33554432000 4194304 8979876 140736286697120 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20270/statm: 6825 5454 700 1169 0 5652 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27300
[startup+0.300882 s]
/proc/loadavg: 2.00 2.00 1.96 2/177 20270
/proc/meminfo: memFree=30588428/32951124 swapFree=67055708/67111528
[pid=20270] ppid=20268 vsize=27300 CPUtime=0.29 cores=0,2,4,6
/proc/20270/stat : 20270 (scip-2.0.1.4_2.) R 20268 20270 17032 0 -1 4202496 6114 0 0 0 28 1 0 0 18 0 1 0 621650565 27955200 5458 33554432000 4194304 8979876 140736286697120 18446744073709551615 4318860 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20270/statm: 6825 5458 704 1169 0 5652 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27300
[startup+0.700814 s]
/proc/loadavg: 2.00 2.00 1.96 2/177 20270
/proc/meminfo: memFree=30588428/32951124 swapFree=67055708/67111528
[pid=20270] ppid=20268 vsize=27300 CPUtime=0.69 cores=0,2,4,6
/proc/20270/stat : 20270 (scip-2.0.1.4_2.) R 20268 20270 17032 0 -1 4202496 6118 0 0 0 66 3 0 0 18 0 1 0 621650565 27955200 5462 33554432000 4194304 8979876 140736286697120 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20270/statm: 6825 5462 704 1169 0 5652 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27300
[startup+1.5007 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20271
/proc/meminfo: memFree=30569100/32951124 swapFree=67055708/67111528
[pid=20270] ppid=20268 vsize=27300 CPUtime=1.49 cores=0,2,4,6
/proc/20270/stat : 20270 (scip-2.0.1.4_2.) R 20268 20270 17032 0 -1 4202496 6123 0 0 0 143 6 0 0 20 0 1 0 621650565 27955200 5467 33554432000 4194304 8979876 140736286697120 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20270/statm: 6825 5467 704 1169 0 5652 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27300
[startup+3.10041 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20271
/proc/meminfo: memFree=30566984/32951124 swapFree=67055708/67111528
[pid=20270] ppid=20268 vsize=27300 CPUtime=3.09 cores=0,2,4,6
/proc/20270/stat : 20270 (scip-2.0.1.4_2.) R 20268 20270 17032 0 -1 4202496 6135 0 0 0 297 12 0 0 25 0 1 0 621650565 27955200 5479 33554432000 4194304 8979876 140736286697120 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20270/statm: 6825 5479 704 1169 0 5652 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27300
[startup+6.30087 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20271
/proc/meminfo: memFree=30564956/32951124 swapFree=67055708/67111528
[pid=20270] ppid=20268 vsize=29716 CPUtime=6.29 cores=0,2,4,6
/proc/20270/stat : 20270 (scip-2.0.1.4_2.) R 20268 20270 17032 0 -1 4202496 7021 0 0 0 608 21 0 0 25 0 1 0 621650565 30429184 6365 33554432000 4194304 8979876 140736286697120 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20270/statm: 7429 6365 704 1169 0 6256 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29716
[startup+12.7007 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20272
/proc/meminfo: memFree=30552192/32951124 swapFree=67055708/67111528
[pid=20270] ppid=20268 vsize=38172 CPUtime=12.69 cores=0,2,4,6
/proc/20270/stat : 20270 (scip-2.0.1.4_2.) R 20268 20270 17032 0 -1 4202496 9182 0 0 0 1230 39 0 0 25 0 1 0 621650565 39088128 8526 33554432000 4194304 8979876 140736286697120 18446744073709551615 4347639 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20270/statm: 9543 8526 704 1169 0 8370 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38172
[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20272
/proc/meminfo: memFree=30524088/32951124 swapFree=67055708/67111528
[pid=20270] ppid=20268 vsize=55140 CPUtime=25.49 cores=0,2,4,6
/proc/20270/stat : 20270 (scip-2.0.1.4_2.) R 20268 20270 17032 0 -1 4202496 13480 0 0 0 2473 76 0 0 25 0 1 0 621650565 56463360 12824 33554432000 4194304 8979876 140736286697120 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20270/statm: 13785 12824 704 1169 0 12612 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 55140
[startup+51.101 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20273
/proc/meminfo: memFree=30476692/32951124 swapFree=67055708/67111528
[pid=20270] ppid=20268 vsize=89088 CPUtime=51.09 cores=0,2,4,6
/proc/20270/stat : 20270 (scip-2.0.1.4_2.) R 20268 20270 17032 0 -1 4202496 21583 0 0 0 4963 146 0 0 25 0 1 0 621650565 91226112 20927 33554432000 4194304 8979876 140736286697120 18446744073709551615 5381791 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20270/statm: 22272 20927 704 1169 0 21099 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 89088
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20274
/proc/meminfo: memFree=30385936/32951124 swapFree=67055708/67111528
[pid=20270] ppid=20268 vsize=145156 CPUtime=102.3 cores=0,2,4,6
/proc/20270/stat : 20270 (scip-2.0.1.4_2.) R 20268 20270 17032 0 -1 4202496 35830 0 0 0 9959 271 0 0 25 0 1 0 621650565 148639744 35174 33554432000 4194304 8979876 140736286697120 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20270/statm: 36289 35174 704 1169 0 35116 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 145156
[startup+162.3 s]
/proc/loadavg: 1.93 1.98 1.95 3/178 20315
/proc/meminfo: memFree=31769364/32951124 swapFree=67055708/67111528
[pid=20270] ppid=20268 vsize=210428 CPUtime=162.3 cores=0,2,4,6
/proc/20270/stat : 20270 (scip-2.0.1.4_2.) R 20268 20270 17032 0 -1 4202496 51381 0 0 0 15805 425 0 0 25 0 1 0 621650565 215478272 50725 33554432000 4194304 8979876 140736286697120 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20270/statm: 52607 50725 704 1169 0 51434 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 210428
[startup+222.301 s]
/proc/loadavg: 1.97 1.98 1.95 3/178 20316
/proc/meminfo: memFree=31639444/32951124 swapFree=67055708/67111528
[pid=20270] ppid=20268 vsize=267820 CPUtime=222.3 cores=0,2,4,6
/proc/20270/stat : 20270 (scip-2.0.1.4_2.) R 20268 20270 17032 0 -1 4202496 66003 0 0 0 21657 573 0 0 25 0 1 0 621650565 274247680 65347 33554432000 4194304 8979876 140736286697120 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20270/statm: 66955 65347 704 1169 0 65782 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 267820
[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 20318
/proc/meminfo: memFree=31546428/32951124 swapFree=67055708/67111528
[pid=20270] ppid=20268 vsize=319980 CPUtime=282.3 cores=0,2,4,6
/proc/20270/stat : 20270 (scip-2.0.1.4_2.) R 20268 20270 17032 0 -1 4202496 79283 0 0 0 27512 718 0 0 25 0 1 0 621650565 327659520 78627 33554432000 4194304 8979876 140736286697120 18446744073709551615 4350592 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20270/statm: 79995 78627 704 1169 0 78822 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 319980
[startup+342.301 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 20319
/proc/meminfo: memFree=31429800/32951124 swapFree=67055708/67111528
[pid=20270] ppid=20268 vsize=373944 CPUtime=342.3 cores=0,2,4,6
/proc/20270/stat : 20270 (scip-2.0.1.4_2.) R 20268 20270 17032 0 -1 4202496 93014 0 0 0 33377 853 0 0 25 0 1 0 621650565 382918656 92358 33554432000 4194304 8979876 140736286697120 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20270/statm: 93486 92358 704 1169 0 92313 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 373944
[startup+402.301 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 20321
/proc/meminfo: memFree=31327172/32951124 swapFree=67055708/67111528
[pid=20270] ppid=20268 vsize=434384 CPUtime=402.3 cores=0,2,4,6
/proc/20270/stat : 20270 (scip-2.0.1.4_2.) R 20268 20270 17032 0 -1 4202496 106290 0 0 0 39243 987 0 0 25 0 1 0 621650565 444809216 105634 33554432000 4194304 8979876 140736286697120 18446744073709551615 4292448 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20270/statm: 108596 105634 704 1169 0 107423 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 434384
[startup+462.3 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 20323
/proc/meminfo: memFree=31226188/32951124 swapFree=67055708/67111528
[pid=20270] ppid=20268 vsize=483720 CPUtime=462.31 cores=0,2,4,6
/proc/20270/stat : 20270 (scip-2.0.1.4_2.) R 20268 20270 17032 0 -1 4202496 118736 0 0 0 45113 1118 0 0 25 0 1 0 621650565 495329280 118080 33554432000 4194304 8979876 140736286697120 18446744073709551615 5381765 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20270/statm: 120930 118080 704 1169 0 119757 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 483720
[startup+522.301 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 20324
/proc/meminfo: memFree=31137452/32951124 swapFree=67055708/67111528
[pid=20270] ppid=20268 vsize=528604 CPUtime=522.3 cores=0,2,4,6
/proc/20270/stat : 20270 (scip-2.0.1.4_2.) R 20268 20270 17032 0 -1 4202496 130262 0 0 0 50981 1249 0 0 25 0 1 0 621650565 541290496 129606 33554432000 4194304 8979876 140736286697120 18446744073709551615 4350401 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20270/statm: 132151 129606 704 1169 0 130978 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 528604
[startup+582.3 s]
/proc/loadavg: 2.03 2.00 1.96 3/178 20326
/proc/meminfo: memFree=31039064/32951124 swapFree=67055708/67111528
[pid=20270] ppid=20268 vsize=571800 CPUtime=582.31 cores=0,2,4,6
/proc/20270/stat : 20270 (scip-2.0.1.4_2.) R 20268 20270 17032 0 -1 4202496 141160 0 0 0 56841 1390 0 0 25 0 1 0 621650565 585523200 140504 33554432000 4194304 8979876 140736286697120 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20270/statm: 142950 140504 704 1169 0 141777 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 571800
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20335
/proc/meminfo: memFree=30775432/32951124 swapFree=67055708/67111528
[pid=20270] ppid=20268 vsize=736584 CPUtime=822.32 cores=0,2,4,6
/proc/20270/stat : 20270 (scip-2.0.1.4_2.) R 20268 20270 17032 0 -1 4202496 183196 0 0 0 80354 1878 0 0 25 0 1 0 621650565 754262016 182540 33554432000 4194304 8979876 140736286697120 18446744073709551615 4332180 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20270/statm: 184146 182540 704 1169 0 182973 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 736584
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20337
/proc/meminfo: memFree=30713248/32951124 swapFree=67055708/67111528
[pid=20270] ppid=20268 vsize=779772 CPUtime=882.31 cores=0,2,4,6
/proc/20270/stat : 20270 (scip-2.0.1.4_2.) R 20268 20270 17032 0 -1 4202496 193923 0 0 0 86240 1991 0 0 25 0 1 0 621650565 798486528 193267 33554432000 4194304 8979876 140736286697120 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20270/statm: 194943 193267 704 1169 0 193770 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 779772
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20338
/proc/meminfo: memFree=30658500/32951124 swapFree=67055708/67111528
[pid=20270] ppid=20268 vsize=819216 CPUtime=942.31 cores=0,2,4,6
/proc/20270/stat : 20270 (scip-2.0.1.4_2.) R 20268 20270 17032 0 -1 4202496 204035 0 0 0 92127 2104 0 0 25 0 1 0 621650565 838877184 203379 33554432000 4194304 8979876 140736286697120 18446744073709551615 4349783 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20270/statm: 204804 203379 704 1169 0 203631 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 819216
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20340
/proc/meminfo: memFree=30607716/32951124 swapFree=67055708/67111528
[pid=20270] ppid=20268 vsize=851828 CPUtime=1002.31 cores=0,2,4,6
/proc/20270/stat : 20270 (scip-2.0.1.4_2.) R 20268 20270 17032 0 -1 4202496 212328 0 0 0 98038 2193 0 0 25 0 1 0 621650565 872271872 211672 33554432000 4194304 8979876 140736286697120 18446744073709551615 4322156 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20270/statm: 212957 211672 704 1169 0 211784 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 851828
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20342
/proc/meminfo: memFree=30560644/32951124 swapFree=67055708/67111528
[pid=20270] ppid=20268 vsize=902288 CPUtime=1062.32 cores=0,2,4,6
/proc/20270/stat : 20270 (scip-2.0.1.4_2.) R 20268 20270 17032 0 -1 4202496 220767 0 0 0 103928 2304 0 0 25 0 1 0 621650565 923942912 220111 33554432000 4194304 8979876 140736286697120 18446744073709551615 4653920 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20270/statm: 225572 220111 704 1169 0 224399 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 902288
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20352
/proc/meminfo: memFree=30512208/32951124 swapFree=67055708/67111528
[pid=20270] ppid=20268 vsize=935840 CPUtime=1122.32 cores=0,2,4,6
/proc/20270/stat : 20270 (scip-2.0.1.4_2.) R 20268 20270 17032 0 -1 4202496 229351 0 0 0 109824 2408 0 0 25 0 1 0 621650565 958300160 228695 33554432000 4194304 8979876 140736286697120 18446744073709551615 5309037 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20270/statm: 233960 228695 704 1169 0 232787 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 935840
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20354
/proc/meminfo: memFree=30471340/32951124 swapFree=67055708/67111528
[pid=20270] ppid=20268 vsize=975460 CPUtime=1182.32 cores=0,2,4,6
/proc/20270/stat : 20270 (scip-2.0.1.4_2.) R 20268 20270 17032 0 -1 4202496 239487 0 0 0 115716 2516 0 0 25 0 1 0 621650565 998871040 238831 33554432000 4194304 8979876 140736286697120 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20270/statm: 243865 238831 704 1169 0 242692 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 975460
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20355
/proc/meminfo: memFree=30426392/32951124 swapFree=67055708/67111528
[pid=20270] ppid=20268 vsize=1007724 CPUtime=1242.32 cores=0,2,4,6
/proc/20270/stat : 20270 (scip-2.0.1.4_2.) R 20268 20270 17032 0 -1 4202496 247820 0 0 0 121607 2625 0 0 25 0 1 0 621650565 1031909376 247164 33554432000 4194304 8979876 140736286697120 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20270/statm: 251931 247164 704 1169 0 250758 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1007724
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20357
/proc/meminfo: memFree=30356024/32951124 swapFree=67055708/67111528
[pid=20270] ppid=20268 vsize=1046324 CPUtime=1302.33 cores=0,2,4,6
/proc/20270/stat : 20270 (scip-2.0.1.4_2.) R 20268 20270 17032 0 -1 4202496 257670 0 0 0 127502 2731 0 0 25 0 1 0 621650565 1071435776 257014 33554432000 4194304 8979876 140736286697120 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20270/statm: 261581 257014 704 1169 0 260408 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1046324
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20359
/proc/meminfo: memFree=30281304/32951124 swapFree=67055708/67111528
[pid=20270] ppid=20268 vsize=1082568 CPUtime=1362.32 cores=0,2,4,6
/proc/20270/stat : 20270 (scip-2.0.1.4_2.) R 20268 20270 17032 0 -1 4202496 266596 0 0 0 133391 2841 0 0 25 0 1 0 621650565 1108549632 265940 33554432000 4194304 8979876 140736286697120 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20270/statm: 270642 265940 704 1169 0 269469 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1082568
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20360
/proc/meminfo: memFree=30203740/32951124 swapFree=67055708/67111528
[pid=20270] ppid=20268 vsize=1113232 CPUtime=1422.33 cores=0,2,4,6
/proc/20270/stat : 20270 (scip-2.0.1.4_2.) R 20268 20270 17032 0 -1 4202496 274479 0 0 0 139286 2947 0 0 25 0 1 0 621650565 1139949568 273823 33554432000 4194304 8979876 140736286697120 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20270/statm: 278308 273823 704 1169 0 277135 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1113232
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20362
/proc/meminfo: memFree=30120340/32951124 swapFree=67055708/67111528
[pid=20270] ppid=20268 vsize=1148344 CPUtime=1482.32 cores=0,2,4,6
/proc/20270/stat : 20270 (scip-2.0.1.4_2.) R 20268 20270 17032 0 -1 4202496 283414 0 0 0 145179 3053 0 0 25 0 1 0 621650565 1175904256 282758 33554432000 4194304 8979876 140736286697120 18446744073709551615 4347574 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20270/statm: 287086 282758 704 1169 0 285913 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 1148344
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20363
/proc/meminfo: memFree=30039672/32951124 swapFree=67055708/67111528
[pid=20270] ppid=20268 vsize=1184096 CPUtime=1542.33 cores=0,2,4,6
/proc/20270/stat : 20270 (scip-2.0.1.4_2.) R 20268 20270 17032 0 -1 4202496 292527 0 0 0 151068 3165 0 0 25 0 1 0 621650565 1212514304 291871 33554432000 4194304 8979876 140736286697120 18446744073709551615 6491966 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20270/statm: 296024 291871 704 1169 0 294851 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1184096
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20365
/proc/meminfo: memFree=29965328/32951124 swapFree=67055708/67111528
[pid=20270] ppid=20268 vsize=1219136 CPUtime=1602.33 cores=0,2,4,6
/proc/20270/stat : 20270 (scip-2.0.1.4_2.) R 20268 20270 17032 0 -1 4202496 301487 0 0 0 156962 3271 0 0 25 0 1 0 621650565 1248395264 300831 33554432000 4194304 8979876 140736286697120 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20270/statm: 304784 300831 704 1169 0 303611 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1219136
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20367
/proc/meminfo: memFree=29893584/32951124 swapFree=67055708/67111528
[pid=20270] ppid=20268 vsize=1250976 CPUtime=1662.33 cores=0,2,4,6
/proc/20270/stat : 20270 (scip-2.0.1.4_2.) R 20268 20270 17032 0 -1 4202496 309180 0 0 0 162858 3375 0 0 25 0 1 0 621650565 1280999424 308524 33554432000 4194304 8979876 140736286697120 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20270/statm: 312744 308524 704 1169 0 311571 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1250976
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20368
/proc/meminfo: memFree=29819980/32951124 swapFree=67055708/67111528
[pid=20270] ppid=20268 vsize=1284708 CPUtime=1722.33 cores=0,2,4,6
/proc/20270/stat : 20270 (scip-2.0.1.4_2.) R 20268 20270 17032 0 -1 4202496 317805 0 0 0 168752 3481 0 0 25 0 1 0 621650565 1315540992 317149 33554432000 4194304 8979876 140736286697120 18446744073709551615 4347632 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20270/statm: 321177 317149 704 1169 0 320004 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1284708
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20370
/proc/meminfo: memFree=29745748/32951124 swapFree=67055708/67111528
[pid=20270] ppid=20268 vsize=1316836 CPUtime=1782.33 cores=0,2,4,6
/proc/20270/stat : 20270 (scip-2.0.1.4_2.) R 20268 20270 17032 0 -1 4202496 326066 0 0 0 174643 3590 0 0 25 0 1 0 621650565 1348440064 325410 33554432000 4194304 8979876 140736286697120 18446744073709551615 6492579 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20270/statm: 329209 325410 704 1169 0 328036 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 1316836
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20370
/proc/meminfo: memFree=29732336/32951124 swapFree=67055708/67111528
[pid=20270] ppid=20268 vsize=1322660 CPUtime=1800.04 cores=0,2,4,6
/proc/20270/stat : 20270 (scip-2.0.1.4_2.) R 20268 20270 17032 0 -1 4202496 327542 0 0 0 176386 3618 0 0 25 0 1 0 621650565 1354403840 326886 33554432000 4194304 8979876 140736286697120 18446744073709551615 7820544 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20270/statm: 330665 326886 707 1169 0 329492 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1322660
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.06
CPU time (s): 1800.11
CPU user time (s): 1763.87
CPU system time (s): 36.2365
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1322660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1763.87
system time used= 36.2365
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 327542
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= 21768
runsolver used 2.74358 second user time and 5.69313 second system time
The end