0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3488787-1307773113.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.01 c (round 1) 1 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (round 2) 1 del vars, 7 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c presolving (3 rounds):
0.00/0.01 c 1 deleted vars, 7 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 0 implications, 0 cliques
0.00/0.01 c presolved problem has 50 variables (50 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.00/0.01 c 6 constraints of type <linear>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.00
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 2.0.1.5
0.00/0.01 c
0.00/0.01 c # frequency for displaying node information lines
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.01 c display/freq = 10000
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/time = 1797
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = 13950
0.00/0.01 c
0.00/0.01 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.01 c # [type: int, range: [1,2], default: 1]
0.00/0.01 c timing/clocktype = 2
0.00/0.01 c
0.00/0.01 c # belongs reading time to solving time?
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c timing/reading = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify inequalities
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/linear/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/indicator/addCouplingCons = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify knapsacks
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c separating/rapidlearning/freq = 0
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.01 c 0.0s| 1 | 0 | 33 | - | 293k| 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.04 c 0.0s| 1 | 0 | 135 | - | 386k| 0 | 11 | 50 | 25 | 50 | 19 | 13 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 142 | - | 395k| 0 | 13 | 50 | 25 | 50 | 21 | 15 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 146 | - | 419k| 0 | 15 | 50 | 25 | 50 | 25 | 19 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.05 c 0.0s| 1 | 0 | 149 | - | 438k| 0 | 17 | 50 | 25 | 50 | 28 | 22 | 14 | 0 | 0.000000e+00 | -- | Inf
0.05/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.78 c 1.8s| 10000 | 3389 | 26866 | 2.7 |4053k| 43 | 6 | 50 |2990 | 50 | 17 | 22 |4804 | 594 | 0.000000e+00 | -- | Inf
3.30/3.37 c 3.4s| 20000 | 6401 | 52507 | 2.6 |6093k| 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
8.09/8.11 c 8.1s| 50000 | 15594 |124679 | 2.5 | 12M| 45 | - | 50 |2508 | 50 | 17 | 22 | 25k|1073 | 0.000000e+00 | -- | Inf
9.69/9.70 c 9.7s| 60000 | 18398 |148219 | 2.5 | 14M| 45 | 6 | 50 |2621 | 50 | 17 | 22 | 30k|1133 | 0.000000e+00 | -- | Inf
11.29/11.35 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.05 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.05 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.73 c 14.7s| 90000 | 26293 |219062 | 2.4 | 20M| 45 | 6 | 50 |3501 | 50 | 17 | 22 | 46k|1274 | 0.000000e+00 | -- | Inf
16.40/16.47 c 16.5s|100000 | 28512 |241973 | 2.4 | 22M| 45 | - | 50 |3298 | 50 | 17 | 22 | 51k|1306 | 0.000000e+00 | -- | Inf
18.09/18.12 c 18.1s|110000 | 31265 |264644 | 2.4 | 24M| 45 | 6 | 50 |3001 | 50 | 17 | 22 | 57k|1317 | 0.000000e+00 | -- | Inf
19.69/19.80 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.07 c 23.1s|140000 | 39566 |333254 | 2.4 | 30M| 45 | 6 | 50 |3661 | 50 | 17 | 22 | 72k|1374 | 0.000000e+00 | -- | Inf
24.68/24.76 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.42 c 26.4s|160000 | 45124 |378849 | 2.4 | 34M| 45 | 6 | 50 |3371 | 50 | 17 | 22 | 82k|1419 | 0.000000e+00 | -- | Inf
27.98/28.08 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.75 c 29.7s|180000 | 50567 |425696 | 2.4 | 38M| 45 | 6 | 50 |3598 | 50 | 17 | 22 | 93k|1471 | 0.000000e+00 | -- | Inf
31.39/31.42 c 31.4s|190000 | 53459 |448522 | 2.4 | 40M| 45 | 6 | 50 |3470 | 50 | 17 | 22 | 98k|1507 | 0.000000e+00 | -- | Inf
33.09/33.13 c 33.1s|200000 | 56121 |471521 | 2.4 | 42M| 45 | - | 50 |3673 | 50 | 17 | 22 | 103k|1570 | 0.000000e+00 | -- | Inf
34.78/34.86 c 34.9s|210000 | 58621 |494558 | 2.4 | 44M| 45 | 6 | 50 |3073 | 50 | 17 | 22 | 109k|1578 | 0.000000e+00 | -- | Inf
36.49/36.56 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.20 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.20 c 38.2s|230000 | 63838 |539437 | 2.3 | 48M| 45 | - | 50 |4599 | 50 | 17 | 22 | 119k|1608 | 0.000000e+00 | -- | Inf
39.89/39.93 c 39.9s|240000 | 66559 |562446 | 2.3 | 50M| 45 | - | 50 |3327 | 50 | 17 | 22 | 124k|1622 | 0.000000e+00 | -- | Inf
41.59/41.61 c 41.6s|250000 | 69212 |584939 | 2.3 | 52M| 45 | - | 50 |3461 | 50 | 17 | 22 | 130k|1653 | 0.000000e+00 | -- | Inf
43.29/43.37 c 43.4s|260000 | 71653 |608119 | 2.3 | 54M| 45 | 6 | 50 |3247 | 50 | 17 | 22 | 135k|1666 | 0.000000e+00 | -- | Inf
44.99/45.09 c 45.1s|270000 | 74149 |630967 | 2.3 | 56M| 45 | 6 | 50 |3477 | 50 | 17 | 22 | 141k|1687 | 0.000000e+00 | -- | Inf
46.69/46.76 c 46.8s|280000 | 76922 |653184 | 2.3 | 58M| 45 | - | 50 |3668 | 50 | 17 | 22 | 146k|1702 | 0.000000e+00 | -- | Inf
48.49/48.50 c 48.5s|290000 | 79483 |675874 | 2.3 | 60M| 45 | 6 | 50 |3671 | 50 | 17 | 22 | 151k|1718 | 0.000000e+00 | -- | Inf
50.19/50.24 c 50.2s|300000 | 82054 |698503 | 2.3 | 62M| 45 | 6 | 50 |4116 | 50 | 17 | 22 | 157k|1733 | 0.000000e+00 | -- | Inf
51.99/52.06 c 52.1s|310000 | 84354 |720707 | 2.3 | 64M| 45 | 6 | 50 |3920 | 50 | 17 | 22 | 162k|1758 | 0.000000e+00 | -- | Inf
53.90/53.91 c 53.9s|320000 | 86488 |743696 | 2.3 | 65M| 45 | 6 | 50 |3708 | 50 | 17 | 22 | 168k|1771 | 0.000000e+00 | -- | Inf
55.59/55.64 c 55.6s|330000 | 88929 |766509 | 2.3 | 67M| 45 | 6 | 50 |3804 | 50 | 17 | 22 | 173k|1779 | 0.000000e+00 | -- | Inf
57.29/57.38 c 57.4s|340000 | 91348 |789130 | 2.3 | 69M| 45 | 6 | 50 |3891 | 50 | 17 | 22 | 179k|1791 | 0.000000e+00 | -- | Inf
59.09/59.18 c 59.2s|350000 | 93747 |811254 | 2.3 | 71M| 45 | - | 50 |3479 | 50 | 17 | 22 | 184k|1804 | 0.000000e+00 | -- | Inf
60.89/60.95 c 60.9s|360000 | 95992 |834270 | 2.3 | 73M| 45 | 6 | 50 |3567 | 50 | 17 | 22 | 190k|1821 | 0.000000e+00 | -- | Inf
62.49/62.57 c 62.6s|370000 | 98747 |857499 | 2.3 | 75M| 45 | - | 50 |4563 | 0 | 0 | 22 | 195k|1925 | 0.000000e+00 | -- | Inf
64.29/64.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.29/64.37 c 64.4s|380000 |101071 |880394 | 2.3 | 77M| 45 | - | 50 |3912 | 50 | 17 | 22 | 201k|1926 | 0.000000e+00 | -- | Inf
66.19/66.21 c 66.2s|390000 |103211 |902761 | 2.3 | 78M| 45 | - | 50 |3753 | 0 | 0 | 22 | 206k|1935 | 0.000000e+00 | -- | Inf
67.79/67.87 c 67.9s|400000 |106043 |925631 | 2.3 | 80M| 45 | 6 | 50 |4445 | 50 | 17 | 22 | 211k|1948 | 0.000000e+00 | -- | Inf
69.69/69.72 c 69.7s|410000 |108089 |948224 | 2.3 | 82M| 45 | 6 | 50 |3803 | 50 | 17 | 22 | 217k|1978 | 0.000000e+00 | -- | Inf
71.39/71.48 c 71.5s|420000 |110528 |970892 | 2.3 | 84M| 45 | 6 | 50 |4421 | 50 | 17 | 22 | 222k|1998 | 0.000000e+00 | -- | Inf
73.09/73.17 c 73.2s|430000 |113121 |993334 | 2.3 | 86M| 45 | - | 50 |5551 | 50 | 17 | 22 | 227k|2017 | 0.000000e+00 | -- | Inf
74.89/74.98 c 75.0s|440000 |115625 | 1014k| 2.3 | 88M| 45 | - | 50 |4534 | 50 | 17 | 22 | 232k|2039 | 0.000000e+00 | -- | Inf
76.79/76.85 c 76.8s|450000 |117688 | 1037k| 2.3 | 90M| 45 | - | 50 |4068 | 50 | 17 | 22 | 238k|2061 | 0.000000e+00 | -- | Inf
78.70/78.71 c 78.7s|460000 |119923 | 1060k| 2.3 | 91M| 45 | 6 | 50 |4211 | 50 | 17 | 22 | 244k|2075 | 0.000000e+00 | -- | Inf
80.39/80.46 c 80.5s|470000 |122227 | 1082k| 2.3 | 93M| 45 | - | 50 |4554 | 50 | 17 | 22 | 249k|2096 | 0.000000e+00 | -- | Inf
82.29/82.32 c 82.3s|480000 |124336 | 1105k| 2.3 | 95M| 45 | - | 50 |4326 | 0 | 0 | 22 | 255k|2119 | 0.000000e+00 | -- | Inf
84.09/84.19 c 84.2s|490000 |126446 | 1128k| 2.3 | 97M| 45 | 6 | 50 |4164 | 50 | 17 | 22 | 260k|2134 | 0.000000e+00 | -- | Inf
85.99/86.00 c 86.0s|500000 |128803 | 1150k| 2.3 | 99M| 45 | 6 | 50 |4440 | 50 | 17 | 22 | 266k|2148 | 0.000000e+00 | -- | Inf
87.79/87.81 c 87.8s|510000 |131028 | 1173k| 2.3 | 101M| 45 | 6 | 50 |4587 | 50 | 17 | 22 | 271k|2186 | 0.000000e+00 | -- | Inf
89.59/89.61 c 89.6s|520000 |133406 | 1195k| 2.3 | 102M| 45 | 6 | 50 |3780 | 50 | 17 | 22 | 277k|2204 | 0.000000e+00 | -- | Inf
91.39/91.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
91.39/91.40 c 91.4s|530000 |135660 | 1217k| 2.3 | 104M| 45 | 6 | 50 |3937 | 50 | 17 | 22 | 282k|2217 | 0.000000e+00 | -- | Inf
93.19/93.20 c 93.2s|540000 |137861 | 1240k| 2.3 | 106M| 45 | 6 | 50 |4888 | 50 | 17 | 22 | 288k|2230 | 0.000000e+00 | -- | Inf
94.89/94.97 c 95.0s|550000 |140389 | 1263k| 2.3 | 108M| 45 | 6 | 50 |5184 | 50 | 17 | 22 | 293k|2246 | 0.000000e+00 | -- | Inf
96.69/96.78 c 96.8s|560000 |143176 | 1286k| 2.3 | 110M| 45 | - | 50 |4407 | 50 | 17 | 22 | 298k|2252 | 0.000000e+00 | -- | Inf
98.49/98.57 c 98.6s|570000 |145577 | 1309k| 2.3 | 112M| 45 | - | 50 |5151 | 50 | 17 | 22 | 304k|2270 | 0.000000e+00 | -- | Inf
100.39/100.49 c 100s|580000 |147739 | 1332k| 2.3 | 114M| 45 | - | 50 |4634 | 50 | 17 | 22 | 309k|2280 | 0.000000e+00 | -- | Inf
102.19/102.22 c 102s|590000 |150386 | 1354k| 2.3 | 116M| 45 | 6 | 50 |4666 | 50 | 17 | 22 | 314k|2294 | 0.000000e+00 | -- | Inf
103.79/103.86 c 104s|600000 |153453 | 1378k| 2.3 | 118M| 45 | 6 | 50 |6096 | 50 | 17 | 22 | 319k|2315 | 0.000000e+00 | -- | Inf
105.69/105.72 c 106s|610000 |155831 | 1401k| 2.3 | 120M| 45 | 6 | 50 |6165 | 50 | 17 | 22 | 324k|2329 | 0.000000e+00 | -- | Inf
107.49/107.58 c 108s|620000 |158245 | 1425k| 2.3 | 122M| 45 | - | 50 |6543 | 50 | 17 | 22 | 329k|2352 | 0.000000e+00 | -- | Inf
109.39/109.49 c 109s|630000 |160861 | 1448k| 2.3 | 124M| 45 | 6 | 50 |5787 | 50 | 17 | 22 | 334k|2369 | 0.000000e+00 | -- | Inf
111.30/111.31 c 111s|640000 |163510 | 1469k| 2.3 | 126M| 45 | 6 | 50 |5230 | 50 | 17 | 22 | 339k|2385 | 0.000000e+00 | -- | Inf
113.20/113.25 c 113s|650000 |165640 | 1492k| 2.3 | 127M| 45 | 6 | 50 |4057 | 50 | 17 | 22 | 345k|2401 | 0.000000e+00 | -- | Inf
114.89/114.91 c 115s|660000 |168597 | 1514k| 2.3 | 129M| 45 | 6 | 50 |4772 | 50 | 17 | 22 | 349k|2415 | 0.000000e+00 | -- | Inf
116.79/116.81 c 117s|670000 |170796 | 1537k| 2.3 | 131M| 45 | 6 | 50 |3955 | 50 | 17 | 22 | 355k|2434 | 0.000000e+00 | -- | Inf
118.69/118.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
118.69/118.72 c 119s|680000 |172854 | 1559k| 2.3 | 133M| 45 | - | 50 |3689 | 50 | 17 | 22 | 360k|2448 | 0.000000e+00 | -- | Inf
120.39/120.40 c 120s|690000 |175623 | 1581k| 2.3 | 134M| 45 | 6 | 50 |3938 | 50 | 17 | 22 | 366k|2461 | 0.000000e+00 | -- | Inf
122.00/122.04 c 122s|700000 |178603 | 1604k| 2.3 | 137M| 45 | 6 | 50 |5155 | 50 | 17 | 22 | 371k|2474 | 0.000000e+00 | -- | Inf
123.79/123.89 c 124s|710000 |181041 | 1626k| 2.3 | 139M| 45 | - | 50 |4868 | 50 | 17 | 22 | 376k|2490 | 0.000000e+00 | -- | Inf
125.59/125.66 c 126s|720000 |183574 | 1647k| 2.3 | 140M| 45 | 6 | 50 |5212 | 50 | 17 | 22 | 381k|2499 | 0.000000e+00 | -- | Inf
127.50/127.51 c 128s|730000 |185787 | 1670k| 2.3 | 142M| 45 | - | 50 |5064 | 50 | 17 | 22 | 387k|2510 | 0.000000e+00 | -- | Inf
129.40/129.44 c 129s|740000 |187923 | 1693k| 2.3 | 144M| 45 | 6 | 50 |4020 | 50 | 17 | 22 | 392k|2529 | 0.000000e+00 | -- | Inf
131.19/131.26 c 131s|750000 |190243 | 1715k| 2.3 | 146M| 45 | - | 50 |3829 | 50 | 17 | 22 | 398k|2543 | 0.000000e+00 | -- | Inf
132.89/132.98 c 133s|760000 |192857 | 1738k| 2.3 | 148M| 45 | 6 | 50 |3987 | 50 | 17 | 22 | 403k|2555 | 0.000000e+00 | -- | Inf
134.79/134.83 c 135s|770000 |194889 | 1761k| 2.3 | 149M| 45 | 6 | 50 |4173 | 50 | 17 | 22 | 408k|2569 | 0.000000e+00 | -- | Inf
136.69/136.76 c 137s|780000 |196890 | 1784k| 2.3 | 151M| 45 | - | 50 |3847 | 50 | 17 | 22 | 414k|2576 | 0.000000e+00 | -- | Inf
138.40/138.46 c 138s|790000 |199703 | 1807k| 2.3 | 153M| 45 | 6 | 50 |5012 | 50 | 17 | 22 | 419k|2587 | 0.000000e+00 | -- | Inf
140.40/140.46 c 140s|800000 |201760 | 1829k| 2.3 | 155M| 45 | 6 | 50 |3410 | 50 | 17 | 22 | 425k|2597 | 0.000000e+00 | -- | Inf
142.19/142.29 c 142s|810000 |203949 | 1851k| 2.3 | 157M| 45 | 6 | 50 |3787 | 50 | 17 | 22 | 430k|2635 | 0.000000e+00 | -- | Inf
144.00/144.09 c 144s|820000 |206225 | 1873k| 2.3 | 158M| 45 | 6 | 50 |4412 | 50 | 17 | 22 | 436k|2641 | 0.000000e+00 | -- | Inf
145.79/145.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
145.79/145.89 c 146s|830000 |208643 | 1895k| 2.3 | 160M| 45 | - | 50 |4681 | 50 | 17 | 22 | 441k|2656 | 0.000000e+00 | -- | Inf
147.69/147.73 c 148s|840000 |210898 | 1918k| 2.3 | 162M| 45 | 6 | 50 |3324 | 50 | 17 | 22 | 446k|2677 | 0.000000e+00 | -- | Inf
149.50/149.55 c 150s|850000 |213029 | 1940k| 2.3 | 164M| 45 | 6 | 50 |3861 | 50 | 17 | 22 | 452k|2696 | 0.000000e+00 | -- | Inf
151.19/151.29 c 151s|860000 |215340 | 1963k| 2.3 | 166M| 45 | 6 | 50 |4820 | 50 | 17 | 22 | 457k|2715 | 0.000000e+00 | -- | Inf
152.99/153.01 c 153s|870000 |218028 | 1986k| 2.3 | 168M| 45 | 6 | 50 |6256 | 50 | 17 | 22 | 462k|2735 | 0.000000e+00 | -- | Inf
154.89/154.99 c 155s|880000 |220343 | 2008k| 2.3 | 169M| 45 | - | 50 |4524 | 50 | 17 | 22 | 468k|2754 | 0.000000e+00 | -- | Inf
156.80/156.89 c 157s|890000 |222410 | 2030k| 2.3 | 171M| 45 | 6 | 50 |3499 | 50 | 17 | 22 | 473k|2772 | 0.000000e+00 | -- | Inf
158.69/158.77 c 159s|900000 |224445 | 2053k| 2.3 | 173M| 45 | - | 50 |3645 | 50 | 17 | 22 | 479k|2791 | 0.000000e+00 | -- | Inf
160.50/160.52 c 161s|910000 |226650 | 2076k| 2.3 | 175M| 45 | - | 50 |4334 | 50 | 17 | 22 | 484k|2801 | 0.000000e+00 | -- | Inf
162.39/162.46 c 162s|920000 |228697 | 2098k| 2.3 | 176M| 45 | 6 | 50 |3585 | 50 | 17 | 22 | 490k|2812 | 0.000000e+00 | -- | Inf
164.19/164.29 c 164s|930000 |230898 | 2121k| 2.3 | 178M| 45 | - | 50 |3794 | 50 | 17 | 22 | 495k|2832 | 0.000000e+00 | -- | Inf
166.10/166.12 c 166s|940000 |233113 | 2143k| 2.3 | 180M| 45 | 6 | 50 |4436 | 50 | 17 | 22 | 501k|2844 | 0.000000e+00 | -- | Inf
167.90/167.99 c 168s|950000 |235196 | 2165k| 2.3 | 182M| 45 | 6 | 50 |3448 | 50 | 17 | 22 | 506k|2862 | 0.000000e+00 | -- | Inf
169.69/169.79 c 170s|960000 |237539 | 2188k| 2.3 | 184M| 45 | - | 50 |3815 | 50 | 17 | 22 | 512k|2873 | 0.000000e+00 | -- | Inf
171.60/171.63 c 172s|970000 |239658 | 2211k| 2.3 | 185M| 45 | - | 50 |3935 | 50 | 17 | 22 | 517k|2887 | 0.000000e+00 | -- | Inf
173.50/173.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
173.50/173.50 c 173s|980000 |241684 | 2234k| 2.3 | 187M| 45 | 6 | 50 |3893 | 50 | 17 | 22 | 523k|2927 | 0.000000e+00 | -- | Inf
175.29/175.35 c 175s|990000 |243658 | 2256k| 2.3 | 189M| 45 | 6 | 50 |3816 | 50 | 17 | 22 | 529k|2928 | 0.000000e+00 | -- | Inf
177.19/177.20 c 177s| 1000k|245651 | 2278k| 2.3 | 191M| 45 | 6 | 50 |4044 | 50 | 17 | 22 | 534k|2947 | 0.000000e+00 | -- | Inf
178.89/178.91 c 179s| 1010k|248072 | 2300k| 2.3 | 193M| 45 | - | 50 |5489 | 50 | 17 | 22 | 540k|2961 | 0.000000e+00 | -- | Inf
180.80/180.85 c 181s| 1020k|250020 | 2322k| 2.3 | 194M| 45 | - | 50 |4027 | 50 | 17 | 22 | 545k|2980 | 0.000000e+00 | -- | Inf
182.70/182.77 c 183s| 1030k|251989 | 2345k| 2.3 | 196M| 45 | - | 50 |3830 | 50 | 17 | 22 | 551k|2995 | 0.000000e+00 | -- | Inf
184.59/184.64 c 185s| 1040k|254036 | 2368k| 2.3 | 198M| 45 | 6 | 50 |4222 | 50 | 17 | 22 | 556k|3014 | 0.000000e+00 | -- | Inf
186.49/186.55 c 187s| 1050k|255996 | 2391k| 2.3 | 199M| 45 | - | 50 |3696 | 50 | 17 | 22 | 562k|3028 | 0.000000e+00 | -- | Inf
188.29/188.38 c 188s| 1060k|258106 | 2414k| 2.3 | 201M| 45 | 6 | 50 |4616 | 50 | 17 | 22 | 568k|3050 | 0.000000e+00 | -- | Inf
190.30/190.34 c 190s| 1070k|260052 | 2437k| 2.3 | 203M| 45 | 6 | 50 |4127 | 50 | 17 | 22 | 573k|3069 | 0.000000e+00 | -- | Inf
192.09/192.18 c 192s| 1080k|262071 | 2459k| 2.3 | 205M| 45 | - | 50 |4545 | 50 | 17 | 22 | 579k|3090 | 0.000000e+00 | -- | Inf
194.10/194.10 c 194s| 1090k|263975 | 2481k| 2.3 | 207M| 45 | 6 | 50 |4505 | 50 | 17 | 22 | 585k|3108 | 0.000000e+00 | -- | Inf
195.89/195.94 c 196s| 1100k|266200 | 2503k| 2.3 | 208M| 45 | - | 50 |5001 | 0 | 0 | 22 | 590k|3127 | 0.000000e+00 | -- | Inf
197.79/197.83 c 198s| 1110k|268453 | 2526k| 2.3 | 210M| 45 | - | 50 |4936 | 50 | 17 | 22 | 595k|3148 | 0.000000e+00 | -- | Inf
199.69/199.70 c 200s| 1120k|270668 | 2547k| 2.3 | 212M| 45 | 6 | 50 |4277 | 50 | 17 | 22 | 601k|3162 | 0.000000e+00 | -- | Inf
201.40/201.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
201.40/201.41 c 201s| 1130k|273142 | 2570k| 2.3 | 214M| 45 | 6 | 50 |6070 | 50 | 17 | 22 | 606k|3243 | 0.000000e+00 | -- | Inf
203.30/203.32 c 203s| 1140k|275553 | 2592k| 2.3 | 216M| 45 | - | 50 |7359 | 50 | 17 | 22 | 611k|3243 | 0.000000e+00 | -- | Inf
205.40/205.47 c 205s| 1150k|277601 | 2615k| 2.3 | 217M| 45 | 6 | 50 |4577 | 50 | 17 | 22 | 616k|3243 | 0.000000e+00 | -- | Inf
207.40/207.44 c 207s| 1160k|279506 | 2637k| 2.3 | 219M| 45 | - | 50 |3861 | 50 | 17 | 22 | 622k|3252 | 0.000000e+00 | -- | Inf
209.20/209.29 c 209s| 1170k|281641 | 2659k| 2.3 | 221M| 45 | 6 | 50 |4096 | 50 | 17 | 22 | 627k|3262 | 0.000000e+00 | -- | Inf
211.10/211.19 c 211s| 1180k|283842 | 2681k| 2.3 | 222M| 45 | 6 | 50 |3569 | 50 | 17 | 22 | 633k|3268 | 0.000000e+00 | -- | Inf
212.90/212.95 c 213s| 1190k|286080 | 2703k| 2.3 | 224M| 45 | 6 | 50 |4256 | 50 | 17 | 22 | 638k|3281 | 0.000000e+00 | -- | Inf
214.80/214.84 c 215s| 1200k|288099 | 2726k| 2.3 | 226M| 45 | 6 | 50 |4120 | 50 | 17 | 22 | 644k|3290 | 0.000000e+00 | -- | Inf
216.70/216.79 c 217s| 1210k|290109 | 2748k| 2.3 | 228M| 45 | - | 50 |3698 | 50 | 17 | 22 | 650k|3303 | 0.000000e+00 | -- | Inf
218.59/218.65 c 219s| 1220k|292138 | 2771k| 2.3 | 230M| 45 | 6 | 50 |4433 | 50 | 17 | 22 | 655k|3316 | 0.000000e+00 | -- | Inf
220.50/220.57 c 221s| 1230k|294230 | 2793k| 2.3 | 231M| 45 | 6 | 50 |3645 | 50 | 17 | 22 | 661k|3317 | 0.000000e+00 | -- | Inf
222.29/222.39 c 222s| 1240k|296408 | 2816k| 2.3 | 233M| 45 | 6 | 50 |4849 | 50 | 17 | 22 | 666k|3330 | 0.000000e+00 | -- | Inf
224.30/224.36 c 224s| 1250k|298380 | 2838k| 2.3 | 235M| 45 | 6 | 50 |4114 | 50 | 17 | 22 | 672k|3340 | 0.000000e+00 | -- | Inf
226.09/226.12 c 226s| 1260k|300889 | 2861k| 2.3 | 237M| 45 | - | 50 |5449 | 50 | 17 | 22 | 677k|3350 | 0.000000e+00 | -- | Inf
227.90/227.94 c 228s| 1270k|303372 | 2882k| 2.3 | 239M| 45 | - | 50 |5565 | 50 | 17 | 22 | 682k|3362 | 0.000000e+00 | -- | Inf
229.80/229.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
229.80/229.88 c 230s| 1280k|305512 | 2905k| 2.3 | 240M| 45 | 6 | 50 |5187 | 50 | 17 | 22 | 687k|3379 | 0.000000e+00 | -- | Inf
231.79/231.81 c 232s| 1290k|307704 | 2928k| 2.3 | 242M| 45 | 6 | 50 |4708 | 50 | 17 | 22 | 693k|3391 | 0.000000e+00 | -- | Inf
233.70/233.73 c 234s| 1300k|309757 | 2951k| 2.3 | 244M| 45 | 6 | 50 |4495 | 50 | 17 | 22 | 698k|3402 | 0.000000e+00 | -- | Inf
235.59/235.63 c 236s| 1310k|311797 | 2973k| 2.3 | 246M| 45 | 6 | 50 |4657 | 50 | 17 | 22 | 704k|3413 | 0.000000e+00 | -- | Inf
237.60/237.61 c 238s| 1320k|313684 | 2996k| 2.3 | 247M| 45 | 6 | 50 |4050 | 50 | 17 | 22 | 710k|3427 | 0.000000e+00 | -- | Inf
239.39/239.48 c 239s| 1330k|315733 | 3019k| 2.3 | 249M| 45 | 6 | 50 |3944 | 50 | 17 | 22 | 715k|3443 | 0.000000e+00 | -- | Inf
241.20/241.29 c 241s| 1340k|317848 | 3041k| 2.3 | 251M| 45 | 6 | 50 |4741 | 50 | 17 | 22 | 721k|3455 | 0.000000e+00 | -- | Inf
243.10/243.14 c 243s| 1350k|320222 | 3063k| 2.3 | 253M| 45 | - | 50 |4432 | 50 | 17 | 22 | 726k|3465 | 0.000000e+00 | -- | Inf
244.90/244.94 c 245s| 1360k|322564 | 3085k| 2.3 | 254M| 45 | 6 | 50 |5068 | 50 | 17 | 22 | 731k|3484 | 0.000000e+00 | -- | Inf
246.80/246.86 c 247s| 1370k|324630 | 3108k| 2.3 | 256M| 45 | 6 | 50 |4593 | 50 | 17 | 22 | 737k|3503 | 0.000000e+00 | -- | Inf
248.69/248.75 c 249s| 1380k|326746 | 3131k| 2.3 | 258M| 45 | - | 50 |4608 | 0 | 0 | 22 | 742k|3523 | 0.000000e+00 | -- | Inf
250.60/250.68 c 251s| 1390k|328723 | 3153k| 2.3 | 260M| 45 | 6 | 50 |4678 | 50 | 17 | 22 | 748k|3539 | 0.000000e+00 | -- | Inf
252.60/252.60 c 253s| 1400k|330758 | 3176k| 2.3 | 261M| 45 | 6 | 50 |4387 | 50 | 17 | 22 | 753k|3571 | 0.000000e+00 | -- | Inf
254.50/254.54 c 255s| 1410k|332739 | 3199k| 2.3 | 263M| 45 | 6 | 50 |4535 | 50 | 17 | 22 | 759k|3578 | 0.000000e+00 | -- | Inf
256.50/256.52 c 257s| 1420k|334632 | 3221k| 2.3 | 265M| 45 | - | 50 |3892 | 50 | 17 | 22 | 764k|3611 | 0.000000e+00 | -- | Inf
258.29/258.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
258.29/258.32 c 258s| 1430k|336882 | 3243k| 2.3 | 266M| 45 | - | 50 |4492 | 50 | 17 | 22 | 770k|3613 | 0.000000e+00 | -- | Inf
260.20/260.26 c 260s| 1440k|339041 | 3266k| 2.3 | 268M| 45 | 6 | 50 |4329 | 50 | 17 | 22 | 775k|3623 | 0.000000e+00 | -- | Inf
262.19/262.22 c 262s| 1450k|340889 | 3288k| 2.3 | 270M| 45 | 6 | 50 |4114 | 50 | 17 | 22 | 781k|3640 | 0.000000e+00 | -- | Inf
264.00/264.07 c 264s| 1460k|342923 | 3311k| 2.3 | 272M| 45 | 6 | 50 |5136 | 50 | 17 | 22 | 787k|3656 | 0.000000e+00 | -- | Inf
265.89/265.99 c 266s| 1470k|344941 | 3334k| 2.3 | 274M| 45 | - | 50 |5088 | 50 | 17 | 22 | 792k|3669 | 0.000000e+00 | -- | Inf
268.00/268.00 c 268s| 1480k|346983 | 3357k| 2.3 | 275M| 45 | - | 50 |4671 | 50 | 17 | 22 | 798k|3688 | 0.000000e+00 | -- | Inf
269.90/269.94 c 270s| 1490k|348830 | 3379k| 2.3 | 277M| 45 | 6 | 50 |5270 | 50 | 17 | 22 | 803k|3697 | 0.000000e+00 | -- | Inf
271.90/271.97 c 272s| 1500k|350670 | 3401k| 2.3 | 278M| 45 | - | 50 |4325 | 50 | 17 | 22 | 809k|3715 | 0.000000e+00 | -- | Inf
273.70/273.76 c 274s| 1510k|353038 | 3425k| 2.3 | 280M| 45 | 6 | 50 |4314 | 50 | 17 | 22 | 815k|3721 | 0.000000e+00 | -- | Inf
275.50/275.50 c 275s| 1520k|355681 | 3447k| 2.3 | 282M| 45 | - | 50 |5689 | 50 | 17 | 22 | 820k|3735 | 0.000000e+00 | -- | Inf
277.30/277.34 c 277s| 1530k|358682 | 3468k| 2.3 | 285M| 45 | 6 | 50 |6712 | 50 | 17 | 22 | 824k|3744 | 0.000000e+00 | -- | Inf
279.40/279.46 c 279s| 1540k|360699 | 3491k| 2.3 | 286M| 45 | 6 | 50 |4782 | 50 | 17 | 22 | 830k|3766 | 0.000000e+00 | -- | Inf
281.30/281.36 c 281s| 1550k|362967 | 3513k| 2.3 | 288M| 45 | - | 50 |5176 | 50 | 17 | 22 | 835k|3779 | 0.000000e+00 | -- | Inf
283.30/283.39 c 283s| 1560k|364752 | 3536k| 2.3 | 290M| 45 | - | 50 |5687 | 50 | 17 | 22 | 841k|3790 | 0.000000e+00 | -- | Inf
285.40/285.48 c 285s| 1570k|366583 | 3558k| 2.3 | 291M| 45 | - | 50 |4265 | 50 | 17 | 22 | 847k|3804 | 0.000000e+00 | -- | Inf
287.40/287.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
287.40/287.41 c 287s| 1580k|368895 | 3581k| 2.3 | 293M| 45 | - | 50 |4357 | 50 | 17 | 22 | 852k|3824 | 0.000000e+00 | -- | Inf
289.30/289.35 c 289s| 1590k|370909 | 3603k| 2.3 | 295M| 45 | - | 50 |5434 | 50 | 17 | 22 | 858k|3834 | 0.000000e+00 | -- | Inf
291.29/291.34 c 291s| 1600k|373021 | 3626k| 2.3 | 296M| 45 | 6 | 50 |5191 | 50 | 17 | 22 | 864k|3847 | 0.000000e+00 | -- | Inf
293.30/293.34 c 293s| 1610k|375213 | 3649k| 2.3 | 298M| 45 | - | 50 |5239 | 50 | 17 | 22 | 869k|3863 | 0.000000e+00 | -- | Inf
295.39/295.46 c 295s| 1620k|376897 | 3672k| 2.3 | 300M| 45 | 6 | 50 |4191 | 50 | 17 | 22 | 875k|3875 | 0.000000e+00 | -- | Inf
297.29/297.31 c 297s| 1630k|379221 | 3694k| 2.3 | 302M| 45 | - | 50 |5098 | 50 | 17 | 22 | 880k|3886 | 0.000000e+00 | -- | Inf
299.20/299.25 c 299s| 1640k|381267 | 3716k| 2.3 | 303M| 45 | - | 50 |4856 | 50 | 17 | 22 | 886k|3901 | 0.000000e+00 | -- | Inf
301.10/301.14 c 301s| 1650k|383359 | 3739k| 2.3 | 305M| 45 | - | 50 |5500 | 50 | 17 | 22 | 891k|3912 | 0.000000e+00 | -- | Inf
303.10/303.14 c 303s| 1660k|385500 | 3762k| 2.3 | 307M| 45 | - | 50 |5474 | 50 | 17 | 22 | 897k|3917 | 0.000000e+00 | -- | Inf
305.10/305.11 c 305s| 1670k|387525 | 3785k| 2.3 | 309M| 45 | 6 | 50 |5293 | 50 | 17 | 22 | 902k|3925 | 0.000000e+00 | -- | Inf
307.09/307.11 c 307s| 1680k|389540 | 3807k| 2.3 | 311M| 45 | - | 50 |5820 | 50 | 17 | 22 | 908k|3933 | 0.000000e+00 | -- | Inf
309.20/309.20 c 309s| 1690k|391488 | 3829k| 2.3 | 312M| 45 | 6 | 50 |5934 | 50 | 17 | 22 | 913k|3940 | 0.000000e+00 | -- | Inf
311.10/311.19 c 311s| 1700k|393490 | 3852k| 2.3 | 314M| 45 | 6 | 50 |5557 | 50 | 17 | 22 | 919k|3954 | 0.000000e+00 | -- | Inf
313.20/313.28 c 313s| 1710k|395301 | 3875k| 2.3 | 315M| 45 | - | 50 |5225 | 50 | 17 | 22 | 925k|3976 | 0.000000e+00 | -- | Inf
315.30/315.34 c 315s| 1720k|397099 | 3898k| 2.3 | 317M| 45 | - | 50 |4950 | 50 | 17 | 22 | 931k|3986 | 0.000000e+00 | -- | Inf
317.30/317.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
317.30/317.38 c 317s| 1730k|398960 | 3921k| 2.3 | 318M| 45 | - | 50 |3854 | 0 | 0 | 22 | 936k|3994 | 0.000000e+00 | -- | Inf
319.19/319.24 c 319s| 1740k|401032 | 3943k| 2.3 | 320M| 45 | 6 | 50 |4388 | 50 | 17 | 22 | 942k|4013 | 0.000000e+00 | -- | Inf
321.21/321.23 c 321s| 1750k|402792 | 3965k| 2.3 | 322M| 45 | 6 | 50 |4141 | 50 | 17 | 22 | 948k|4021 | 0.000000e+00 | -- | Inf
323.10/323.15 c 323s| 1760k|404694 | 3988k| 2.3 | 324M| 45 | 6 | 50 |4418 | 50 | 17 | 22 | 953k|4035 | 0.000000e+00 | -- | Inf
325.09/325.13 c 325s| 1770k|406460 | 4011k| 2.3 | 325M| 45 | 6 | 50 |4784 | 50 | 17 | 22 | 959k|4041 | 0.000000e+00 | -- | Inf
327.10/327.15 c 327s| 1780k|408473 | 4033k| 2.3 | 327M| 45 | 6 | 50 |4568 | 50 | 17 | 22 | 965k|4053 | 0.000000e+00 | -- | Inf
328.90/328.96 c 329s| 1790k|410689 | 4055k| 2.3 | 329M| 45 | 6 | 50 |5839 | 50 | 17 | 22 | 970k|4058 | 0.000000e+00 | -- | Inf
330.80/330.89 c 331s| 1800k|412707 | 4077k| 2.3 | 331M| 45 | - | 50 |5164 | 50 | 17 | 22 | 975k|4066 | 0.000000e+00 | -- | Inf
332.90/332.92 c 333s| 1810k|414681 | 4099k| 2.3 | 332M| 45 | - | 50 |4754 | 50 | 17 | 22 | 981k|4076 | 0.000000e+00 | -- | Inf
334.90/334.96 c 335s| 1820k|416598 | 4122k| 2.3 | 334M| 45 | 6 | 50 |4687 | 50 | 17 | 22 | 987k|4090 | 0.000000e+00 | -- | Inf
337.00/337.04 c 337s| 1830k|418245 | 4145k| 2.3 | 335M| 45 | - | 50 |4384 | 50 | 17 | 22 | 992k|4106 | 0.000000e+00 | -- | Inf
338.80/338.85 c 339s| 1840k|420855 | 4167k| 2.3 | 337M| 45 | 6 | 50 |4958 | 50 | 17 | 22 | 997k|4113 | 0.000000e+00 | -- | Inf
340.60/340.61 c 341s| 1850k|423759 | 4189k| 2.3 | 340M| 45 | - | 50 |5812 | 0 | 0 | 22 |1002k|4123 | 0.000000e+00 | -- | Inf
342.50/342.56 c 343s| 1860k|426025 | 4211k| 2.3 | 341M| 45 | - | 50 |6302 | 0 | 0 | 22 |1007k|4136 | 0.000000e+00 | -- | Inf
344.50/344.58 c 345s| 1870k|428260 | 4233k| 2.3 | 343M| 45 | 6 | 50 |6386 | 50 | 17 | 22 |1012k|4144 | 0.000000e+00 | -- | Inf
346.70/346.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
346.70/346.70 c 347s| 1880k|430342 | 4255k| 2.3 | 345M| 45 | - | 50 |5545 | 50 | 17 | 22 |1018k|4152 | 0.000000e+00 | -- | Inf
348.60/348.63 c 349s| 1890k|432507 | 4276k| 2.3 | 347M| 45 | - | 50 |7145 | 50 | 17 | 22 |1023k|4164 | 0.000000e+00 | -- | Inf
350.60/350.61 c 351s| 1900k|435016 | 4299k| 2.3 | 349M| 45 | 6 | 50 |7015 | 50 | 17 | 22 |1028k|4175 | 0.000000e+00 | -- | Inf
352.80/352.80 c 353s| 1910k|436898 | 4321k| 2.3 | 350M| 45 | 6 | 50 |5847 | 50 | 17 | 22 |1033k|4186 | 0.000000e+00 | -- | Inf
354.90/354.99 c 355s| 1920k|438897 | 4343k| 2.3 | 351M| 45 | - | 50 |4788 | 50 | 17 | 22 |1039k|4203 | 0.000000e+00 | -- | Inf
357.00/357.08 c 357s| 1930k|440730 | 4366k| 2.3 | 353M| 45 | - | 50 |4565 | 50 | 17 | 22 |1044k|4212 | 0.000000e+00 | -- | Inf
359.00/359.04 c 359s| 1940k|442818 | 4388k| 2.3 | 355M| 45 | 6 | 50 |4956 | 50 | 17 | 22 |1050k|4226 | 0.000000e+00 | -- | Inf
360.80/360.85 c 361s| 1950k|445706 | 4412k| 2.3 | 357M| 45 | - | 50 |6615 | 50 | 17 | 22 |1055k|4240 | 0.000000e+00 | -- | Inf
362.79/362.86 c 363s| 1960k|448061 | 4435k| 2.3 | 359M| 45 | 6 | 50 |7506 | 50 | 17 | 22 |1060k|4255 | 0.000000e+00 | -- | Inf
364.90/364.97 c 365s| 1970k|450304 | 4458k| 2.3 | 361M| 45 | - | 50 |7378 | 50 | 17 | 22 |1065k|4263 | 0.000000e+00 | -- | Inf
367.10/367.11 c 367s| 1980k|452494 | 4480k| 2.3 | 362M| 45 | - | 50 |6313 | 50 | 17 | 22 |1070k|4274 | 0.000000e+00 | -- | Inf
369.20/369.28 c 369s| 1990k|454475 | 4503k| 2.3 | 364M| 45 | - | 50 |5264 | 50 | 17 | 22 |1076k|4287 | 0.000000e+00 | -- | Inf
371.20/371.29 c 371s| 2000k|456552 | 4526k| 2.3 | 366M| 45 | - | 50 |5653 | 50 | 17 | 22 |1081k|4295 | 0.000000e+00 | -- | Inf
373.30/373.37 c 373s| 2010k|458584 | 4548k| 2.3 | 367M| 45 | 6 | 50 |4923 | 50 | 17 | 22 |1086k|4306 | 0.000000e+00 | -- | Inf
375.40/375.43 c 375s| 2020k|460312 | 4571k| 2.3 | 369M| 45 | 6 | 50 |4905 | 50 | 17 | 22 |1092k|4320 | 0.000000e+00 | -- | Inf
377.40/377.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
377.40/377.40 c 377s| 2030k|462284 | 4594k| 2.3 | 370M| 45 | - | 50 |5099 | 50 | 17 | 22 |1098k|4333 | 0.000000e+00 | -- | Inf
379.30/379.38 c 379s| 2040k|464434 | 4617k| 2.3 | 372M| 45 | - | 50 |4999 | 50 | 17 | 22 |1103k|4347 | 0.000000e+00 | -- | Inf
381.30/381.39 c 381s| 2050k|466273 | 4639k| 2.3 | 374M| 45 | - | 50 |5054 | 0 | 0 | 22 |1109k|4359 | 0.000000e+00 | -- | Inf
383.30/383.35 c 383s| 2060k|468255 | 4661k| 2.3 | 376M| 45 | - | 50 |5431 | 50 | 17 | 22 |1114k|4371 | 0.000000e+00 | -- | Inf
385.40/385.41 c 385s| 2070k|470340 | 4684k| 2.3 | 377M| 45 | - | 50 |6247 | 50 | 17 | 22 |1120k|4382 | 0.000000e+00 | -- | Inf
387.50/387.57 c 388s| 2080k|472206 | 4707k| 2.3 | 379M| 45 | 6 | 50 |5052 | 50 | 17 | 22 |1125k|4397 | 0.000000e+00 | -- | Inf
389.60/389.66 c 390s| 2090k|473992 | 4729k| 2.3 | 380M| 45 | 6 | 50 |4292 | 50 | 17 | 22 |1131k|4412 | 0.000000e+00 | -- | Inf
391.61/391.69 c 392s| 2100k|475769 | 4752k| 2.3 | 382M| 45 | 6 | 50 |4407 | 50 | 17 | 22 |1137k|4423 | 0.000000e+00 | -- | Inf
393.70/393.71 c 394s| 2110k|477626 | 4774k| 2.3 | 383M| 45 | 6 | 50 |4878 | 50 | 17 | 22 |1142k|4431 | 0.000000e+00 | -- | Inf
395.70/395.71 c 396s| 2120k|479613 | 4796k| 2.3 | 385M| 45 | - | 50 |5262 | 50 | 17 | 22 |1148k|4445 | 0.000000e+00 | -- | Inf
397.70/397.75 c 398s| 2130k|481426 | 4819k| 2.3 | 387M| 45 | - | 50 |5451 | 50 | 17 | 22 |1154k|4456 | 0.000000e+00 | -- | Inf
399.70/399.76 c 400s| 2140k|483383 | 4841k| 2.3 | 389M| 45 | 6 | 50 |4926 | 50 | 17 | 22 |1159k|4475 | 0.000000e+00 | -- | Inf
401.80/401.86 c 402s| 2150k|485136 | 4864k| 2.3 | 390M| 45 | 6 | 50 |4661 | 50 | 17 | 22 |1165k|4485 | 0.000000e+00 | -- | Inf
403.90/403.92 c 404s| 2160k|486879 | 4886k| 2.3 | 392M| 45 | 6 | 50 |4521 | 50 | 17 | 22 |1171k|4500 | 0.000000e+00 | -- | Inf
405.91/405.92 c 406s| 2170k|488843 | 4909k| 2.3 | 394M| 45 | 6 | 50 |4964 | 50 | 17 | 22 |1177k|4510 | 0.000000e+00 | -- | Inf
407.90/407.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
407.90/407.94 c 408s| 2180k|490666 | 4932k| 2.3 | 395M| 45 | 6 | 50 |4985 | 50 | 17 | 22 |1182k|4519 | 0.000000e+00 | -- | Inf
409.90/409.96 c 410s| 2190k|492551 | 4955k| 2.3 | 397M| 45 | 6 | 50 |5716 | 50 | 17 | 22 |1188k|4531 | 0.000000e+00 | -- | Inf
411.90/411.99 c 412s| 2200k|494648 | 4977k| 2.3 | 399M| 45 | 6 | 50 |6239 | 50 | 17 | 22 |1193k|4543 | 0.000000e+00 | -- | Inf
414.10/414.17 c 414s| 2210k|496327 | 4999k| 2.3 | 400M| 45 | - | 50 |4614 | 50 | 17 | 22 |1199k|4551 | 0.000000e+00 | -- | Inf
416.00/416.06 c 416s| 2220k|498293 | 5022k| 2.3 | 402M| 45 | 6 | 50 |5028 | 50 | 17 | 22 |1204k|4563 | 0.000000e+00 | -- | Inf
418.10/418.19 c 418s| 2230k|500035 | 5045k| 2.3 | 403M| 45 | 6 | 50 |4672 | 50 | 17 | 22 |1210k|4576 | 0.000000e+00 | -- | Inf
420.20/420.26 c 420s| 2240k|501955 | 5067k| 2.3 | 405M| 45 | 6 | 50 |4876 | 50 | 17 | 22 |1216k|4585 | 0.000000e+00 | -- | Inf
422.31/422.33 c 422s| 2250k|503751 | 5090k| 2.3 | 407M| 45 | 6 | 50 |5247 | 50 | 17 | 22 |1221k|4596 | 0.000000e+00 | -- | Inf
424.30/424.32 c 424s| 2260k|505812 | 5113k| 2.3 | 409M| 45 | 6 | 50 |5638 | 50 | 17 | 22 |1227k|4608 | 0.000000e+00 | -- | Inf
426.30/426.36 c 426s| 2270k|507859 | 5136k| 2.3 | 410M| 45 | 6 | 50 |4739 | 50 | 17 | 22 |1232k|4621 | 0.000000e+00 | -- | Inf
428.40/428.41 c 428s| 2280k|509712 | 5160k| 2.3 | 412M| 45 | 6 | 50 |4605 | 50 | 17 | 22 |1238k|4632 | 0.000000e+00 | -- | Inf
430.30/430.37 c 430s| 2290k|511946 | 5182k| 2.3 | 413M| 45 | 6 | 50 |4374 | 50 | 17 | 22 |1243k|4641 | 0.000000e+00 | -- | Inf
432.20/432.27 c 432s| 2300k|514208 | 5205k| 2.3 | 415M| 45 | 6 | 50 |5353 | 50 | 17 | 22 |1248k|4649 | 0.000000e+00 | -- | Inf
434.30/434.34 c 434s| 2310k|515963 | 5228k| 2.3 | 417M| 45 | 6 | 50 |5713 | 50 | 17 | 22 |1254k|4663 | 0.000000e+00 | -- | Inf
436.31/436.35 c 436s| 2320k|518029 | 5250k| 2.3 | 419M| 45 | 6 | 50 |5399 | 50 | 17 | 22 |1259k|4672 | 0.000000e+00 | -- | Inf
438.31/438.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
438.31/438.37 c 438s| 2330k|520003 | 5274k| 2.3 | 421M| 45 | 6 | 50 |6000 | 50 | 17 | 22 |1265k|4683 | 0.000000e+00 | -- | Inf
440.40/440.45 c 440s| 2340k|522225 | 5297k| 2.3 | 422M| 45 | 6 | 50 |5664 | 50 | 17 | 22 |1270k|4694 | 0.000000e+00 | -- | Inf
442.21/442.24 c 442s| 2350k|525591 | 5320k| 2.3 | 425M| 45 | - | 50 |7184 | 50 | 17 | 22 |1275k|4702 | 0.000000e+00 | -- | Inf
444.31/444.39 c 444s| 2360k|527872 | 5342k| 2.3 | 427M| 45 | 6 | 50 |7498 | 50 | 17 | 22 |1280k|4710 | 0.000000e+00 | -- | Inf
446.51/446.60 c 447s| 2370k|530036 | 5365k| 2.3 | 429M| 45 | 6 | 50 |8268 | 50 | 17 | 22 |1285k|4720 | 0.000000e+00 | -- | Inf
448.81/448.86 c 449s| 2380k|532206 | 5387k| 2.3 | 430M| 45 | - | 50 |8343 | 50 | 17 | 22 |1290k|4734 | 0.000000e+00 | -- | Inf
451.01/451.05 c 451s| 2390k|534623 | 5410k| 2.3 | 432M| 45 | - | 50 |9277 | 50 | 17 | 22 |1295k|4742 | 0.000000e+00 | -- | Inf
453.40/453.44 c 453s| 2400k|536898 | 5433k| 2.3 | 434M| 45 | - | 50 |9050 | 50 | 17 | 22 |1300k|4751 | 0.000000e+00 | -- | Inf
455.70/455.78 c 456s| 2410k|539144 | 5455k| 2.3 | 435M| 45 | 6 | 50 |6852 | 50 | 17 | 22 |1306k|4757 | 0.000000e+00 | -- | Inf
457.90/457.92 c 458s| 2420k|541218 | 5477k| 2.3 | 437M| 45 | 6 | 50 |5931 | 50 | 17 | 22 |1311k|4767 | 0.000000e+00 | -- | Inf
460.10/460.16 c 460s| 2430k|542930 | 5501k| 2.3 | 438M| 45 | 6 | 50 |5169 | 50 | 17 | 22 |1317k|4777 | 0.000000e+00 | -- | Inf
462.21/462.20 c 462s| 2440k|544975 | 5523k| 2.3 | 440M| 45 | 6 | 50 |5268 | 50 | 17 | 22 |1322k|4789 | 0.000000e+00 | -- | Inf
464.11/464.19 c 464s| 2450k|546887 | 5547k| 2.3 | 442M| 45 | 6 | 50 |6451 | 50 | 17 | 22 |1328k|4800 | 0.000000e+00 | -- | Inf
466.41/466.48 c 466s| 2460k|548576 | 5569k| 2.3 | 443M| 45 | - | 50 |4795 | 50 | 17 | 22 |1334k|4811 | 0.000000e+00 | -- | Inf
468.51/468.57 c 469s| 2470k|550375 | 5592k| 2.3 | 445M| 45 | 6 | 50 |4648 | 50 | 17 | 22 |1339k|4827 | 0.000000e+00 | -- | Inf
470.50/470.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
470.50/470.54 c 471s| 2480k|552489 | 5614k| 2.3 | 447M| 45 | 6 | 50 |5543 | 50 | 17 | 22 |1345k|4839 | 0.000000e+00 | -- | Inf
472.70/472.75 c 473s| 2490k|554285 | 5636k| 2.3 | 448M| 45 | 6 | 50 |5087 | 50 | 17 | 22 |1350k|4849 | 0.000000e+00 | -- | Inf
474.70/474.75 c 475s| 2500k|556109 | 5659k| 2.3 | 450M| 45 | - | 50 |6082 | 0 | 0 | 22 |1356k|4860 | 0.000000e+00 | -- | Inf
476.81/476.86 c 477s| 2510k|557909 | 5681k| 2.3 | 452M| 45 | 6 | 50 |6275 | 50 | 17 | 22 |1362k|4870 | 0.000000e+00 | -- | Inf
479.10/479.10 c 479s| 2520k|559703 | 5704k| 2.3 | 453M| 45 | 6 | 50 |5213 | 50 | 17 | 22 |1367k|4898 | 0.000000e+00 | -- | Inf
481.10/481.17 c 481s| 2530k|561478 | 5726k| 2.3 | 455M| 45 | 6 | 50 |5661 | 50 | 17 | 22 |1373k|4898 | 0.000000e+00 | -- | Inf
483.20/483.29 c 483s| 2540k|563295 | 5749k| 2.3 | 456M| 45 | - | 50 |5464 | 50 | 17 | 22 |1379k|4905 | 0.000000e+00 | -- | Inf
485.30/485.33 c 485s| 2550k|565426 | 5772k| 2.3 | 458M| 45 | - | 50 |6032 | 0 | 0 | 22 |1384k|4913 | 0.000000e+00 | -- | Inf
487.40/487.42 c 487s| 2560k|567345 | 5795k| 2.3 | 460M| 45 | 6 | 50 |6079 | 50 | 17 | 22 |1389k|4921 | 0.000000e+00 | -- | Inf
489.60/489.61 c 490s| 2570k|569188 | 5817k| 2.3 | 461M| 45 | 6 | 50 |5501 | 50 | 17 | 22 |1395k|4930 | 0.000000e+00 | -- | Inf
491.80/491.80 c 492s| 2580k|570708 | 5840k| 2.3 | 463M| 45 | 6 | 50 |5284 | 50 | 17 | 22 |1401k|4937 | 0.000000e+00 | -- | Inf
493.81/493.88 c 494s| 2590k|572448 | 5862k| 2.3 | 464M| 45 | 6 | 50 |5723 | 50 | 17 | 22 |1407k|4946 | 0.000000e+00 | -- | Inf
495.81/495.80 c 496s| 2600k|574516 | 5884k| 2.3 | 466M| 45 | 6 | 50 |7106 | 50 | 17 | 22 |1412k|4949 | 0.000000e+00 | -- | Inf
498.00/498.05 c 498s| 2610k|576288 | 5907k| 2.3 | 468M| 45 | 6 | 50 |5609 | 50 | 17 | 22 |1418k|4967 | 0.000000e+00 | -- | Inf
500.20/500.27 c 500s| 2620k|578036 | 5930k| 2.3 | 469M| 45 | 6 | 50 |4916 | 50 | 17 | 22 |1424k|4979 | 0.000000e+00 | -- | Inf
502.20/502.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
502.20/502.28 c 502s| 2630k|579932 | 5952k| 2.3 | 471M| 45 | - | 50 |5684 | 50 | 17 | 22 |1429k|4991 | 0.000000e+00 | -- | Inf
504.40/504.44 c 504s| 2640k|581514 | 5974k| 2.3 | 473M| 45 | - | 50 |5566 | 50 | 17 | 22 |1435k|5004 | 0.000000e+00 | -- | Inf
506.50/506.52 c 507s| 2650k|583429 | 5996k| 2.3 | 474M| 45 | 6 | 50 |6019 | 50 | 17 | 22 |1440k|5009 | 0.000000e+00 | -- | Inf
508.70/508.76 c 509s| 2660k|585006 | 6019k| 2.3 | 476M| 45 | 6 | 50 |4633 | 50 | 17 | 22 |1446k|5018 | 0.000000e+00 | -- | Inf
510.71/510.73 c 511s| 2670k|586944 | 6041k| 2.3 | 478M| 45 | - | 50 |6205 | 50 | 17 | 22 |1452k|5027 | 0.000000e+00 | -- | Inf
512.81/512.83 c 513s| 2680k|588783 | 6063k| 2.3 | 479M| 45 | 6 | 50 |6063 | 50 | 17 | 22 |1457k|5034 | 0.000000e+00 | -- | Inf
514.91/514.90 c 515s| 2690k|590595 | 6086k| 2.3 | 481M| 45 | - | 50 |6601 | 50 | 17 | 22 |1463k|5042 | 0.000000e+00 | -- | Inf
516.91/516.98 c 517s| 2700k|592428 | 6108k| 2.3 | 483M| 45 | 6 | 50 |7036 | 50 | 17 | 22 |1469k|5053 | 0.000000e+00 | -- | Inf
519.21/519.20 c 519s| 2710k|594110 | 6131k| 2.3 | 484M| 45 | 6 | 50 |6131 | 50 | 17 | 22 |1475k|5064 | 0.000000e+00 | -- | Inf
521.21/521.24 c 521s| 2720k|596004 | 6154k| 2.3 | 486M| 45 | - | 50 |6573 | 50 | 17 | 22 |1480k|5073 | 0.000000e+00 | -- | Inf
523.51/523.50 c 523s| 2730k|597870 | 6177k| 2.3 | 487M| 45 | - | 50 |5608 | 50 | 17 | 22 |1486k|5082 | 0.000000e+00 | -- | Inf
525.71/525.70 c 526s| 2740k|599743 | 6200k| 2.3 | 489M| 45 | - | 50 |5341 | 50 | 17 | 22 |1492k|5092 | 0.000000e+00 | -- | Inf
527.80/527.87 c 528s| 2750k|601409 | 6223k| 2.3 | 490M| 45 | - | 50 |4729 | 0 | 0 | 22 |1498k|5101 | 0.000000e+00 | -- | Inf
529.80/529.84 c 530s| 2760k|603500 | 6246k| 2.3 | 492M| 45 | - | 50 |5957 | 0 | 0 | 22 |1503k|5108 | 0.000000e+00 | -- | Inf
531.80/531.82 c 532s| 2770k|605598 | 6267k| 2.3 | 494M| 45 | 6 | 50 |6986 | 50 | 17 | 22 |1508k|5114 | 0.000000e+00 | -- | Inf
533.90/533.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
533.90/533.99 c 534s| 2780k|607068 | 6289k| 2.3 | 496M| 45 | 6 | 50 |7320 | 50 | 17 | 22 |1514k|5121 | 0.000000e+00 | -- | Inf
536.21/536.21 c 536s| 2790k|608706 | 6310k| 2.3 | 497M| 45 | 6 | 50 |8009 | 50 | 17 | 22 |1520k|5131 | 0.000000e+00 | -- | Inf
538.51/538.58 c 539s| 2800k|610305 | 6332k| 2.3 | 498M| 45 | - | 50 |5371 | 0 | 0 | 22 |1525k|5144 | 0.000000e+00 | -- | Inf
540.71/540.75 c 541s| 2810k|612011 | 6355k| 2.3 | 500M| 45 | 6 | 50 |5289 | 50 | 17 | 22 |1531k|5150 | 0.000000e+00 | -- | Inf
542.90/542.95 c 543s| 2820k|613619 | 6378k| 2.3 | 501M| 45 | 6 | 50 |4401 | 50 | 17 | 22 |1537k|5157 | 0.000000e+00 | -- | Inf
544.80/544.88 c 545s| 2830k|615769 | 6400k| 2.3 | 503M| 45 | 6 | 50 |6183 | 50 | 17 | 22 |1542k|5169 | 0.000000e+00 | -- | Inf
546.90/546.95 c 547s| 2840k|617688 | 6422k| 2.3 | 505M| 45 | 6 | 50 |6289 | 50 | 17 | 22 |1548k|5182 | 0.000000e+00 | -- | Inf
549.10/549.18 c 549s| 2850k|619419 | 6444k| 2.3 | 506M| 45 | 6 | 50 |5326 | 50 | 17 | 22 |1553k|5188 | 0.000000e+00 | -- | Inf
551.40/551.41 c 551s| 2860k|621178 | 6467k| 2.3 | 507M| 45 | 6 | 50 |4816 | 50 | 17 | 22 |1559k|5196 | 0.000000e+00 | -- | Inf
553.41/553.44 c 553s| 2870k|623227 | 6490k| 2.3 | 509M| 45 | - | 50 |5872 | 50 | 17 | 22 |1565k|5213 | 0.000000e+00 | -- | Inf
555.41/555.46 c 555s| 2880k|625260 | 6513k| 2.3 | 511M| 45 | 6 | 50 |6196 | 50 | 17 | 22 |1570k|5221 | 0.000000e+00 | -- | Inf
557.61/557.69 c 558s| 2890k|627038 | 6535k| 2.3 | 513M| 45 | - | 50 |4965 | 50 | 17 | 22 |1576k|5226 | 0.000000e+00 | -- | Inf
559.80/559.80 c 560s| 2900k|628949 | 6557k| 2.3 | 514M| 45 | - | 50 |5050 | 50 | 17 | 22 |1581k|5237 | 0.000000e+00 | -- | Inf
561.90/561.98 c 562s| 2910k|630453 | 6581k| 2.3 | 516M| 45 | 6 | 50 |4659 | 50 | 17 | 22 |1587k|5247 | 0.000000e+00 | -- | Inf
564.10/564.13 c 564s| 2920k|632128 | 6603k| 2.3 | 517M| 45 | - | 50 |5146 | 50 | 17 | 22 |1593k|5258 | 0.000000e+00 | -- | Inf
566.20/566.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
566.20/566.25 c 566s| 2930k|633885 | 6626k| 2.3 | 519M| 45 | 6 | 50 |5225 | 50 | 17 | 22 |1598k|5264 | 0.000000e+00 | -- | Inf
568.41/568.41 c 568s| 2940k|635538 | 6648k| 2.3 | 521M| 45 | - | 50 |5325 | 50 | 17 | 22 |1604k|5270 | 0.000000e+00 | -- | Inf
570.50/570.56 c 571s| 2950k|637346 | 6671k| 2.3 | 522M| 45 | 6 | 50 |5749 | 50 | 17 | 22 |1610k|5283 | 0.000000e+00 | -- | Inf
572.61/572.70 c 573s| 2960k|639191 | 6693k| 2.3 | 524M| 45 | 6 | 50 |5210 | 50 | 17 | 22 |1616k|5295 | 0.000000e+00 | -- | Inf
574.80/574.89 c 575s| 2970k|640884 | 6715k| 2.3 | 525M| 45 | - | 50 |5003 | 0 | 0 | 22 |1621k|5303 | 0.000000e+00 | -- | Inf
577.11/577.11 c 577s| 2980k|642543 | 6737k| 2.3 | 527M| 45 | - | 50 |4975 | 50 | 17 | 22 |1627k|5310 | 0.000000e+00 | -- | Inf
579.20/579.23 c 579s| 2990k|644329 | 6760k| 2.3 | 529M| 45 | 6 | 50 |5793 | 50 | 17 | 22 |1632k|5318 | 0.000000e+00 | -- | Inf
581.41/581.48 c 581s| 3000k|646012 | 6782k| 2.3 | 530M| 45 | 6 | 50 |4724 | 50 | 17 | 22 |1638k|5333 | 0.000000e+00 | -- | Inf
583.60/583.63 c 584s| 3010k|647655 | 6805k| 2.3 | 532M| 45 | 6 | 50 |5117 | 50 | 17 | 22 |1644k|5341 | 0.000000e+00 | -- | Inf
585.81/585.86 c 586s| 3020k|649198 | 6828k| 2.3 | 533M| 45 | 6 | 50 |5365 | 50 | 17 | 22 |1650k|5346 | 0.000000e+00 | -- | Inf
587.90/587.99 c 588s| 3030k|651049 | 6850k| 2.3 | 535M| 45 | 6 | 50 |5487 | 50 | 17 | 22 |1655k|5353 | 0.000000e+00 | -- | Inf
589.81/589.82 c 590s| 3040k|653584 | 6872k| 2.3 | 537M| 45 | - | 50 |7558 | 50 | 17 | 22 |1660k|5358 | 0.000000e+00 | -- | Inf
591.81/591.89 c 592s| 3050k|655794 | 6893k| 2.3 | 539M| 45 | 6 | 50 |7994 | 50 | 17 | 22 |1666k|5362 | 0.000000e+00 | -- | Inf
594.21/594.22 c 594s| 3060k|657607 | 6914k| 2.3 | 541M| 45 | 6 | 50 |7569 | 50 | 17 | 22 |1671k|5364 | 0.000000e+00 | -- | Inf
596.40/596.41 c 596s| 3070k|659630 | 6935k| 2.3 | 542M| 45 | 6 | 50 |8541 | 50 | 17 | 22 |1676k|5370 | 0.000000e+00 | -- | Inf
598.51/598.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
598.51/598.57 c 599s| 3080k|662240 | 6956k| 2.3 | 545M| 45 | - | 50 |9800 | 0 | 0 | 22 |1681k|5372 | 0.000000e+00 | -- | Inf
600.91/600.91 c 601s| 3090k|664592 | 6977k| 2.3 | 546M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |1686k|5382 | 0.000000e+00 | -- | Inf
603.51/603.53 c 604s| 3100k|666215 | 6998k| 2.3 | 548M| 45 | 6 | 50 |8373 | 50 | 17 | 22 |1692k|5386 | 0.000000e+00 | -- | Inf
605.80/605.89 c 606s| 3110k|667923 | 7018k| 2.3 | 549M| 45 | 6 | 50 |8347 | 50 | 17 | 22 |1697k|5391 | 0.000000e+00 | -- | Inf
608.21/608.29 c 608s| 3120k|669652 | 7039k| 2.3 | 551M| 45 | 6 | 50 |8550 | 50 | 17 | 22 |1703k|5397 | 0.000000e+00 | -- | Inf
610.71/610.78 c 611s| 3130k|671419 | 7061k| 2.3 | 552M| 45 | 6 | 50 |7702 | 50 | 17 | 22 |1708k|5399 | 0.000000e+00 | -- | Inf
613.20/613.23 c 613s| 3140k|673114 | 7084k| 2.3 | 553M| 45 | 6 | 50 |5313 | 50 | 17 | 22 |1714k|5412 | 0.000000e+00 | -- | Inf
615.20/615.28 c 615s| 3150k|674986 | 7107k| 2.3 | 555M| 45 | 6 | 50 |6746 | 50 | 17 | 22 |1720k|5416 | 0.000000e+00 | -- | Inf
617.51/617.57 c 618s| 3160k|676930 | 7129k| 2.3 | 557M| 45 | - | 50 |6409 | 50 | 17 | 22 |1725k|5428 | 0.000000e+00 | -- | Inf
619.71/619.72 c 620s| 3170k|678894 | 7152k| 2.3 | 558M| 45 | 6 | 50 |6322 | 50 | 17 | 22 |1731k|5442 | 0.000000e+00 | -- | Inf
621.80/621.89 c 622s| 3180k|680740 | 7175k| 2.3 | 560M| 45 | 6 | 50 |6243 | 50 | 17 | 22 |1737k|5443 | 0.000000e+00 | -- | Inf
624.41/624.40 c 624s| 3190k|682136 | 7197k| 2.3 | 561M| 45 | 6 | 50 |4808 | 50 | 17 | 22 |1743k|5451 | 0.000000e+00 | -- | Inf
626.51/626.51 c 627s| 3200k|683773 | 7219k| 2.3 | 563M| 45 | - | 50 |6023 | 0 | 0 | 22 |1748k|5462 | 0.000000e+00 | -- | Inf
628.71/628.78 c 629s| 3210k|685368 | 7243k| 2.3 | 564M| 45 | 6 | 50 |5869 | 50 | 17 | 22 |1754k|5468 | 0.000000e+00 | -- | Inf
631.01/631.07 c 631s| 3220k|687033 | 7264k| 2.3 | 566M| 45 | - | 50 |5724 | 50 | 17 | 22 |1760k|5479 | 0.000000e+00 | -- | Inf
633.31/633.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
633.31/633.38 c 633s| 3230k|688748 | 7287k| 2.3 | 567M| 45 | 6 | 50 |5319 | 50 | 17 | 22 |1766k|5485 | 0.000000e+00 | -- | Inf
635.51/635.56 c 636s| 3240k|690441 | 7309k| 2.3 | 569M| 45 | 6 | 50 |5375 | 50 | 17 | 22 |1771k|5490 | 0.000000e+00 | -- | Inf
637.81/637.87 c 638s| 3250k|691996 | 7332k| 2.3 | 570M| 45 | 6 | 50 |4271 | 50 | 17 | 22 |1777k|5499 | 0.000000e+00 | -- | Inf
639.81/639.81 c 640s| 3260k|694228 | 7354k| 2.3 | 573M| 45 | 6 | 50 |6052 | 50 | 17 | 22 |1783k|5507 | 0.000000e+00 | -- | Inf
642.00/642.04 c 642s| 3270k|695837 | 7378k| 2.3 | 574M| 45 | 6 | 50 |6138 | 50 | 17 | 22 |1789k|5518 | 0.000000e+00 | -- | Inf
644.10/644.18 c 644s| 3280k|697993 | 7401k| 2.3 | 576M| 45 | - | 50 |7827 | 50 | 17 | 22 |1794k|5527 | 0.000000e+00 | -- | Inf
646.41/646.47 c 646s| 3290k|699882 | 7424k| 2.3 | 578M| 45 | 6 | 50 |6299 | 50 | 17 | 22 |1800k|5531 | 0.000000e+00 | -- | Inf
648.61/648.65 c 649s| 3300k|701710 | 7447k| 2.3 | 579M| 45 | - | 50 |6033 | 50 | 17 | 22 |1805k|5535 | 0.000000e+00 | -- | Inf
650.71/650.79 c 651s| 3310k|703538 | 7470k| 2.3 | 581M| 45 | - | 50 |6550 | 50 | 17 | 22 |1811k|5545 | 0.000000e+00 | -- | Inf
653.00/653.05 c 653s| 3320k|705049 | 7494k| 2.3 | 583M| 45 | 6 | 50 |7225 | 50 | 17 | 22 |1817k|5552 | 0.000000e+00 | -- | Inf
655.31/655.39 c 655s| 3330k|706956 | 7516k| 2.3 | 584M| 45 | 6 | 50 |6726 | 50 | 17 | 22 |1822k|5560 | 0.000000e+00 | -- | Inf
657.61/657.67 c 658s| 3340k|708700 | 7539k| 2.3 | 586M| 45 | - | 50 |6077 | 0 | 0 | 22 |1828k|5569 | 0.000000e+00 | -- | Inf
659.81/659.84 c 660s| 3350k|710410 | 7561k| 2.3 | 587M| 45 | 6 | 50 |5960 | 50 | 17 | 22 |1834k|5579 | 0.000000e+00 | -- | Inf
662.01/662.02 c 662s| 3360k|712108 | 7584k| 2.3 | 589M| 45 | 6 | 50 |6402 | 50 | 17 | 22 |1839k|5588 | 0.000000e+00 | -- | Inf
664.10/664.12 c 664s| 3370k|713874 | 7606k| 2.3 | 591M| 45 | - | 50 |8178 | 50 | 17 | 22 |1845k|5596 | 0.000000e+00 | -- | Inf
666.51/666.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
666.51/666.57 c 667s| 3380k|715571 | 7629k| 2.3 | 592M| 45 | 6 | 50 |5648 | 50 | 17 | 22 |1850k|5601 | 0.000000e+00 | -- | Inf
668.81/668.82 c 669s| 3390k|717459 | 7650k| 2.3 | 593M| 45 | 6 | 50 |5397 | 50 | 17 | 22 |1856k|5608 | 0.000000e+00 | -- | Inf
671.11/671.18 c 671s| 3400k|718935 | 7672k| 2.3 | 595M| 45 | - | 50 |5265 | 50 | 17 | 22 |1862k|5615 | 0.000000e+00 | -- | Inf
673.41/673.43 c 673s| 3410k|720573 | 7696k| 2.3 | 596M| 45 | 6 | 50 |5128 | 50 | 17 | 22 |1868k|5624 | 0.000000e+00 | -- | Inf
675.61/675.67 c 676s| 3420k|722293 | 7719k| 2.3 | 598M| 45 | - | 50 |5452 | 50 | 17 | 22 |1873k|5631 | 0.000000e+00 | -- | Inf
678.01/678.00 c 678s| 3430k|723882 | 7741k| 2.3 | 600M| 45 | - | 50 |4994 | 50 | 17 | 22 |1879k|5647 | 0.000000e+00 | -- | Inf
679.82/679.88 c 680s| 3440k|725924 | 7763k| 2.3 | 602M| 45 | - | 50 |7133 | 50 | 17 | 22 |1885k|5659 | 0.000000e+00 | -- | Inf
682.11/682.18 c 682s| 3450k|727718 | 7786k| 2.3 | 604M| 45 | 6 | 50 |7153 | 50 | 17 | 22 |1890k|5662 | 0.000000e+00 | -- | Inf
684.41/684.48 c 684s| 3460k|729336 | 7809k| 2.3 | 605M| 45 | 6 | 50 |7071 | 50 | 17 | 22 |1896k|5671 | 0.000000e+00 | -- | Inf
686.71/686.74 c 687s| 3470k|731067 | 7832k| 2.3 | 607M| 45 | - | 50 |7620 | 0 | 0 | 22 |1902k|5681 | 0.000000e+00 | -- | Inf
689.20/689.20 c 689s| 3480k|732712 | 7855k| 2.3 | 608M| 45 | 6 | 50 |5335 | 50 | 17 | 22 |1908k|5687 | 0.000000e+00 | -- | Inf
691.51/691.54 c 692s| 3490k|734271 | 7878k| 2.3 | 609M| 45 | 6 | 50 |5087 | 50 | 17 | 22 |1914k|5699 | 0.000000e+00 | -- | Inf
693.61/693.60 c 694s| 3500k|736329 | 7901k| 2.3 | 611M| 45 | 6 | 50 |6706 | 50 | 17 | 22 |1919k|5706 | 0.000000e+00 | -- | Inf
696.01/696.00 c 696s| 3510k|737709 | 7924k| 2.3 | 613M| 45 | 6 | 50 |7278 | 50 | 17 | 22 |1925k|5717 | 0.000000e+00 | -- | Inf
698.31/698.34 c 698s| 3520k|739569 | 7947k| 2.3 | 614M| 45 | 6 | 50 |6130 | 50 | 17 | 22 |1931k|5725 | 0.000000e+00 | -- | Inf
700.61/700.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
700.61/700.67 c 701s| 3530k|741302 | 7969k| 2.3 | 616M| 45 | 6 | 50 |5189 | 50 | 17 | 22 |1937k|5738 | 0.000000e+00 | -- | Inf
702.91/702.99 c 703s| 3540k|742816 | 7992k| 2.3 | 617M| 45 | 6 | 50 |5240 | 50 | 17 | 22 |1943k|5753 | 0.000000e+00 | -- | Inf
705.12/705.10 c 705s| 3550k|744490 | 8015k| 2.3 | 619M| 45 | 6 | 50 |6888 | 50 | 17 | 22 |1948k|5759 | 0.000000e+00 | -- | Inf
707.60/707.66 c 708s| 3560k|745798 | 8037k| 2.3 | 620M| 45 | - | 50 |4605 | 50 | 17 | 22 |1954k|5764 | 0.000000e+00 | -- | Inf
709.91/709.92 c 710s| 3570k|747268 | 8059k| 2.3 | 622M| 45 | 6 | 50 |5532 | 50 | 17 | 22 |1960k|5774 | 0.000000e+00 | -- | Inf
712.31/712.32 c 712s| 3580k|748523 | 8081k| 2.3 | 623M| 45 | 6 | 50 |4956 | 50 | 17 | 22 |1966k|5776 | 0.000000e+00 | -- | Inf
714.51/714.59 c 715s| 3590k|750026 | 8104k| 2.3 | 625M| 45 | - | 50 |4760 | 50 | 17 | 22 |1972k|5778 | 0.000000e+00 | -- | Inf
716.71/716.79 c 717s| 3600k|751614 | 8126k| 2.3 | 626M| 45 | - | 50 |5508 | 0 | 0 | 22 |1978k|5782 | 0.000000e+00 | -- | Inf
718.91/718.92 c 719s| 3610k|753383 | 8148k| 2.3 | 628M| 45 | 6 | 50 |5645 | 50 | 17 | 22 |1984k|5786 | 0.000000e+00 | -- | Inf
721.21/721.21 c 721s| 3620k|754944 | 8171k| 2.3 | 629M| 45 | - | 50 |5654 | 50 | 17 | 22 |1990k|5793 | 0.000000e+00 | -- | Inf
723.41/723.42 c 723s| 3630k|756623 | 8193k| 2.3 | 631M| 45 | 6 | 50 |5453 | 50 | 17 | 22 |1996k|5799 | 0.000000e+00 | -- | Inf
725.71/725.72 c 726s| 3640k|758081 | 8216k| 2.3 | 632M| 45 | 6 | 50 |5082 | 50 | 17 | 22 |2002k|5804 | 0.000000e+00 | -- | Inf
727.81/727.89 c 728s| 3650k|759790 | 8238k| 2.3 | 634M| 45 | 6 | 50 |6057 | 50 | 17 | 22 |2007k|5809 | 0.000000e+00 | -- | Inf
730.11/730.10 c 730s| 3660k|761584 | 8261k| 2.3 | 636M| 45 | 6 | 50 |5844 | 50 | 17 | 22 |2013k|5813 | 0.000000e+00 | -- | Inf
732.31/732.38 c 732s| 3670k|763078 | 8284k| 2.3 | 637M| 45 | 6 | 50 |5555 | 50 | 17 | 22 |2019k|5822 | 0.000000e+00 | -- | Inf
734.61/734.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
734.61/734.64 c 735s| 3680k|764696 | 8305k| 2.3 | 639M| 45 | 6 | 50 |5514 | 50 | 17 | 22 |2025k|5827 | 0.000000e+00 | -- | Inf
736.71/736.72 c 737s| 3690k|766599 | 8328k| 2.3 | 641M| 45 | 6 | 50 |6283 | 50 | 17 | 22 |2030k|5840 | 0.000000e+00 | -- | Inf
738.91/738.93 c 739s| 3700k|768268 | 8352k| 2.3 | 643M| 45 | 6 | 50 |8090 | 50 | 17 | 22 |2036k|5842 | 0.000000e+00 | -- | Inf
741.21/741.20 c 741s| 3710k|770364 | 8374k| 2.3 | 644M| 45 | - | 50 |7048 | 50 | 17 | 22 |2041k|5845 | 0.000000e+00 | -- | Inf
743.41/743.44 c 743s| 3720k|772505 | 8397k| 2.3 | 646M| 45 | - | 50 |8557 | 0 | 0 | 22 |2047k|5857 | 0.000000e+00 | -- | Inf
746.11/746.10 c 746s| 3730k|773988 | 8420k| 2.3 | 647M| 45 | - | 50 |5214 | 50 | 17 | 22 |2053k|5864 | 0.000000e+00 | -- | Inf
748.31/748.35 c 748s| 3740k|775730 | 8441k| 2.3 | 648M| 45 | - | 50 |4748 | 50 | 17 | 22 |2058k|5876 | 0.000000e+00 | -- | Inf
750.61/750.60 c 751s| 3750k|777419 | 8464k| 2.3 | 650M| 45 | 6 | 50 |5063 | 50 | 17 | 22 |2064k|5883 | 0.000000e+00 | -- | Inf
752.51/752.59 c 753s| 3760k|779594 | 8487k| 2.3 | 652M| 45 | 6 | 50 |6760 | 50 | 17 | 22 |2070k|5892 | 0.000000e+00 | -- | Inf
754.62/754.67 c 755s| 3770k|782165 | 8510k| 2.3 | 655M| 45 | 6 | 50 |8917 | 50 | 17 | 22 |2075k|5902 | 0.000000e+00 | -- | Inf
757.01/757.05 c 757s| 3780k|784138 | 8532k| 2.3 | 656M| 45 | 6 | 50 |9249 | 50 | 17 | 22 |2080k|5911 | 0.000000e+00 | -- | Inf
759.32/759.33 c 759s| 3790k|786320 | 8555k| 2.3 | 658M| 45 | - | 50 |9956 | 50 | 17 | 22 |2085k|5919 | 0.000000e+00 | -- | Inf
761.81/761.80 c 762s| 3800k|788432 | 8579k| 2.3 | 661M| 45 | - | 50 | 11k| 50 | 17 | 22 |2091k|5925 | 0.000000e+00 | -- | Inf
764.31/764.34 c 764s| 3810k|790270 | 8602k| 2.3 | 662M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |2096k|5939 | 0.000000e+00 | -- | Inf
767.22/767.20 c 767s| 3820k|791861 | 8625k| 2.3 | 663M| 45 | - | 50 |8829 | 0 | 0 | 22 |2102k|5945 | 0.000000e+00 | -- | Inf
769.81/769.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
769.81/769.89 c 770s| 3830k|793250 | 8648k| 2.3 | 664M| 45 | 6 | 50 |5984 | 50 | 17 | 22 |2108k|5953 | 0.000000e+00 | -- | Inf
772.31/772.30 c 772s| 3840k|794698 | 8670k| 2.3 | 665M| 45 | - | 50 |5595 | 50 | 17 | 22 |2114k|5957 | 0.000000e+00 | -- | Inf
774.51/774.59 c 775s| 3850k|796336 | 8693k| 2.3 | 667M| 45 | - | 50 |5651 | 50 | 17 | 22 |2119k|5962 | 0.000000e+00 | -- | Inf
776.72/776.77 c 777s| 3860k|798427 | 8715k| 2.3 | 669M| 45 | 6 | 50 |6633 | 50 | 17 | 22 |2125k|5966 | 0.000000e+00 | -- | Inf
779.01/779.07 c 779s| 3870k|800228 | 8737k| 2.3 | 670M| 45 | 6 | 50 |6972 | 50 | 17 | 22 |2130k|5972 | 0.000000e+00 | -- | Inf
781.61/781.68 c 782s| 3880k|801581 | 8760k| 2.3 | 671M| 45 | - | 50 |4916 | 50 | 17 | 22 |2136k|5980 | 0.000000e+00 | -- | Inf
783.81/783.86 c 784s| 3890k|803150 | 8782k| 2.3 | 673M| 45 | 6 | 50 |6421 | 50 | 17 | 22 |2142k|5989 | 0.000000e+00 | -- | Inf
786.11/786.10 c 786s| 3900k|804957 | 8805k| 2.3 | 675M| 45 | 6 | 50 |7039 | 50 | 17 | 22 |2148k|5997 | 0.000000e+00 | -- | Inf
788.41/788.45 c 788s| 3910k|806733 | 8827k| 2.3 | 676M| 45 | 6 | 50 |5543 | 50 | 17 | 22 |2153k|6006 | 0.000000e+00 | -- | Inf
790.51/790.57 c 791s| 3920k|808787 | 8851k| 2.3 | 678M| 45 | - | 50 |7137 | 50 | 17 | 22 |2159k|6016 | 0.000000e+00 | -- | Inf
792.92/792.93 c 793s| 3930k|810472 | 8874k| 2.3 | 680M| 45 | - | 50 |7928 | 0 | 0 | 22 |2165k|6023 | 0.000000e+00 | -- | Inf
795.11/795.15 c 795s| 3940k|812800 | 8897k| 2.3 | 682M| 45 | - | 50 |8901 | 0 | 0 | 22 |2170k|6029 | 0.000000e+00 | -- | Inf
797.52/797.60 c 798s| 3950k|814720 | 8919k| 2.3 | 684M| 45 | - | 50 |9123 | 50 | 17 | 22 |2175k|6046 | 0.000000e+00 | -- | Inf
800.11/800.10 c 800s| 3960k|816555 | 8942k| 2.3 | 685M| 45 | - | 50 |8008 | 50 | 17 | 22 |2181k|6054 | 0.000000e+00 | -- | Inf
802.41/802.44 c 802s| 3970k|818582 | 8965k| 2.3 | 687M| 45 | 6 | 50 |8233 | 50 | 17 | 22 |2186k|6065 | 0.000000e+00 | -- | Inf
804.81/804.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
804.81/804.88 c 805s| 3980k|820271 | 8988k| 2.3 | 688M| 45 | 6 | 50 |8871 | 50 | 17 | 22 |2191k|6075 | 0.000000e+00 | -- | Inf
807.51/807.52 c 808s| 3990k|821676 | 9010k| 2.3 | 690M| 45 | 6 | 50 |9368 | 50 | 17 | 22 |2197k|6088 | 0.000000e+00 | -- | Inf
810.11/810.17 c 810s| 4000k|823122 | 9032k| 2.3 | 691M| 45 | - | 50 |8770 | 50 | 17 | 22 |2202k|6097 | 0.000000e+00 | -- | Inf
812.82/812.86 c 813s| 4010k|824588 | 9055k| 2.3 | 692M| 45 | - | 50 |6694 | 50 | 17 | 22 |2208k|6105 | 0.000000e+00 | -- | Inf
815.31/815.30 c 815s| 4020k|826220 | 9077k| 2.3 | 694M| 45 | - | 50 |6273 | 50 | 17 | 22 |2214k|6120 | 0.000000e+00 | -- | Inf
817.81/817.85 c 818s| 4030k|827478 | 9100k| 2.3 | 695M| 45 | 6 | 50 |5415 | 50 | 17 | 22 |2220k|6124 | 0.000000e+00 | -- | Inf
820.11/820.11 c 820s| 4040k|829081 | 9122k| 2.3 | 697M| 45 | 6 | 50 |5836 | 50 | 17 | 22 |2226k|6131 | 0.000000e+00 | -- | Inf
822.32/822.32 c 822s| 4050k|830913 | 9145k| 2.3 | 698M| 45 | - | 50 |5951 | 50 | 17 | 22 |2232k|6137 | 0.000000e+00 | -- | Inf
824.71/824.73 c 825s| 4060k|832365 | 9167k| 2.3 | 700M| 45 | 6 | 50 |5466 | 50 | 17 | 22 |2238k|6142 | 0.000000e+00 | -- | Inf
827.01/827.08 c 827s| 4070k|833955 | 9190k| 2.3 | 701M| 45 | 6 | 50 |5335 | 50 | 17 | 22 |2244k|6149 | 0.000000e+00 | -- | Inf
829.21/829.22 c 829s| 4080k|835704 | 9212k| 2.3 | 703M| 45 | - | 50 |6559 | 50 | 17 | 22 |2249k|6154 | 0.000000e+00 | -- | Inf
831.62/831.62 c 832s| 4090k|837285 | 9235k| 2.3 | 704M| 45 | 6 | 50 |6191 | 50 | 17 | 22 |2255k|6164 | 0.000000e+00 | -- | Inf
834.02/834.07 c 834s| 4100k|838715 | 9258k| 2.3 | 706M| 45 | 6 | 50 |4928 | 50 | 17 | 22 |2261k|6175 | 0.000000e+00 | -- | Inf
836.42/836.44 c 836s| 4110k|839966 | 9281k| 2.3 | 707M| 45 | 6 | 50 |4618 | 50 | 17 | 22 |2267k|6181 | 0.000000e+00 | -- | Inf
838.52/838.56 c 839s| 4120k|841445 | 9303k| 2.3 | 709M| 45 | - | 50 |5980 | 50 | 17 | 22 |2273k|6191 | 0.000000e+00 | -- | Inf
840.71/840.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
840.71/840.78 c 841s| 4130k|843091 | 9326k| 2.3 | 711M| 45 | - | 50 |6259 | 50 | 17 | 22 |2279k|6195 | 0.000000e+00 | -- | Inf
843.12/843.10 c 843s| 4140k|844813 | 9349k| 2.3 | 712M| 45 | - | 50 |7298 | 50 | 17 | 22 |2285k|6207 | 0.000000e+00 | -- | Inf
845.41/845.42 c 845s| 4150k|846413 | 9372k| 2.3 | 714M| 45 | 6 | 50 |6547 | 50 | 17 | 22 |2291k|6213 | 0.000000e+00 | -- | Inf
847.51/847.53 c 848s| 4160k|848549 | 9394k| 2.3 | 716M| 45 | 6 | 50 |7471 | 50 | 17 | 22 |2296k|6224 | 0.000000e+00 | -- | Inf
849.71/849.72 c 850s| 4170k|850390 | 9416k| 2.3 | 718M| 45 | - | 50 |9000 | 0 | 0 | 22 |2301k|6233 | 0.000000e+00 | -- | Inf
852.11/852.12 c 852s| 4180k|852075 | 9438k| 2.3 | 719M| 45 | - | 50 | 10k| 50 | 17 | 22 |2306k|6238 | 0.000000e+00 | -- | Inf
854.81/854.85 c 855s| 4190k|853591 | 9461k| 2.3 | 720M| 45 | - | 50 |6623 | 0 | 0 | 22 |2312k|6247 | 0.000000e+00 | -- | Inf
857.22/857.27 c 857s| 4200k|855135 | 9484k| 2.3 | 721M| 45 | 6 | 50 |6233 | 50 | 17 | 22 |2318k|6254 | 0.000000e+00 | -- | Inf
859.71/859.70 c 860s| 4210k|856614 | 9507k| 2.3 | 723M| 45 | 6 | 50 |5747 | 50 | 17 | 22 |2324k|6262 | 0.000000e+00 | -- | Inf
861.82/861.87 c 862s| 4220k|858350 | 9530k| 2.3 | 725M| 45 | 6 | 50 |6647 | 50 | 17 | 22 |2330k|6274 | 0.000000e+00 | -- | Inf
864.11/864.17 c 864s| 4230k|860124 | 9552k| 2.3 | 726M| 45 | - | 50 |6749 | 50 | 17 | 22 |2335k|6287 | 0.000000e+00 | -- | Inf
866.42/866.45 c 866s| 4240k|862177 | 9577k| 2.3 | 728M| 45 | 6 | 50 |7290 | 50 | 17 | 22 |2341k|6292 | 0.000000e+00 | -- | Inf
868.92/868.95 c 869s| 4250k|863946 | 9601k| 2.3 | 730M| 45 | 6 | 50 |8150 | 50 | 17 | 22 |2347k|6293 | 0.000000e+00 | -- | Inf
871.51/871.58 c 872s| 4260k|865591 | 9624k| 2.3 | 731M| 45 | 6 | 50 |6778 | 50 | 17 | 22 |2353k|6295 | 0.000000e+00 | -- | Inf
873.91/873.92 c 874s| 4270k|867312 | 9647k| 2.3 | 732M| 45 | 6 | 50 |6432 | 50 | 17 | 22 |2358k|6303 | 0.000000e+00 | -- | Inf
876.32/876.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
876.32/876.35 c 876s| 4280k|868931 | 9669k| 2.3 | 734M| 45 | 6 | 50 |5983 | 50 | 17 | 22 |2364k|6304 | 0.000000e+00 | -- | Inf
878.42/878.47 c 878s| 4290k|870978 | 9691k| 2.3 | 736M| 45 | 6 | 50 |7918 | 50 | 17 | 22 |2370k|6307 | 0.000000e+00 | -- | Inf
880.81/880.86 c 881s| 4300k|872358 | 9712k| 2.3 | 737M| 45 | - | 50 |7926 | 50 | 17 | 22 |2376k|6314 | 0.000000e+00 | -- | Inf
883.21/883.23 c 883s| 4310k|873964 | 9735k| 2.3 | 739M| 45 | 6 | 50 |7669 | 50 | 17 | 22 |2382k|6318 | 0.000000e+00 | -- | Inf
885.52/885.58 c 886s| 4320k|875797 | 9757k| 2.3 | 740M| 45 | - | 50 |6517 | 50 | 17 | 22 |2387k|6322 | 0.000000e+00 | -- | Inf
888.01/888.00 c 888s| 4330k|877837 | 9780k| 2.3 | 742M| 45 | 6 | 50 |6441 | 50 | 17 | 22 |2393k|6327 | 0.000000e+00 | -- | Inf
890.21/890.30 c 890s| 4340k|879415 | 9802k| 2.3 | 743M| 45 | 6 | 50 |6276 | 50 | 17 | 22 |2399k|6341 | 0.000000e+00 | -- | Inf
892.41/892.45 c 892s| 4350k|881128 | 9824k| 2.3 | 745M| 45 | - | 50 |7468 | 0 | 0 | 22 |2404k|6344 | 0.000000e+00 | -- | Inf
894.92/894.98 c 895s| 4360k|882672 | 9846k| 2.3 | 746M| 45 | 6 | 50 |5363 | 50 | 17 | 22 |2410k|6347 | 0.000000e+00 | -- | Inf
897.02/897.04 c 897s| 4370k|885058 | 9868k| 2.3 | 748M| 45 | - | 50 |6626 | 50 | 17 | 22 |2415k|6357 | 0.000000e+00 | -- | Inf
899.31/899.39 c 899s| 4380k|886617 | 9891k| 2.3 | 750M| 45 | - | 50 |7100 | 50 | 17 | 22 |2421k|6361 | 0.000000e+00 | -- | Inf
901.82/901.85 c 902s| 4390k|888057 | 9914k| 2.3 | 751M| 45 | 6 | 50 |7007 | 50 | 17 | 22 |2427k|6365 | 0.000000e+00 | -- | Inf
904.32/904.31 c 904s| 4400k|889612 | 9936k| 2.3 | 753M| 45 | 6 | 50 |5871 | 50 | 17 | 22 |2433k|6376 | 0.000000e+00 | -- | Inf
906.72/906.72 c 907s| 4410k|891095 | 9959k| 2.3 | 754M| 45 | 6 | 50 |5639 | 50 | 17 | 22 |2439k|6387 | 0.000000e+00 | -- | Inf
909.02/909.00 c 909s| 4420k|892633 | 9981k| 2.3 | 756M| 45 | - | 50 |5737 | 50 | 17 | 22 |2444k|6408 | 0.000000e+00 | -- | Inf
911.22/911.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
911.22/911.27 c 911s| 4430k|894210 | 10003k| 2.3 | 757M| 45 | 6 | 50 |6739 | 50 | 17 | 22 |2450k|6409 | 0.000000e+00 | -- | Inf
913.42/913.43 c 913s| 4440k|896306 | 10026k| 2.3 | 759M| 45 | - | 50 |7076 | 50 | 17 | 22 |2456k|6434 | 0.000000e+00 | -- | Inf
915.41/915.44 c 915s| 4450k|899042 | 10050k| 2.3 | 762M| 45 | 6 | 50 |9346 | 50 | 17 | 22 |2461k|6522 | 0.000000e+00 | -- | Inf
917.81/917.85 c 918s| 4460k|901420 | 10073k| 2.3 | 764M| 45 | - | 50 |9634 | 50 | 17 | 22 |2467k|6537 | 0.000000e+00 | -- | Inf
920.22/920.27 c 920s| 4470k|903697 | 10097k| 2.3 | 766M| 45 | - | 50 | 10k| 50 | 17 | 22 |2472k|6547 | 0.000000e+00 | -- | Inf
922.82/922.87 c 923s| 4480k|905740 | 10121k| 2.3 | 768M| 45 | - | 50 | 10k| 0 | 0 | 22 |2478k|6563 | 0.000000e+00 | -- | Inf
925.52/925.52 c 926s| 4490k|907669 | 10144k| 2.3 | 769M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |2484k|6582 | 0.000000e+00 | -- | Inf
928.11/928.13 c 928s| 4500k|909509 | 10168k| 2.3 | 771M| 45 | - | 50 | 11k| 50 | 17 | 22 |2490k|6588 | 0.000000e+00 | -- | Inf
930.91/930.97 c 931s| 4510k|911401 | 10190k| 2.3 | 773M| 45 | - | 50 | 11k| 50 | 17 | 22 |2495k|6598 | 0.000000e+00 | -- | Inf
934.01/934.07 c 934s| 4520k|913048 | 10213k| 2.3 | 774M| 45 | - | 50 | 10k| 50 | 17 | 22 |2501k|6650 | 0.000000e+00 | -- | Inf
936.82/936.80 c 937s| 4530k|915064 | 10236k| 2.3 | 776M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |2507k|6702 | 0.000000e+00 | -- | Inf
939.52/939.53 c 940s| 4540k|916753 | 10260k| 2.3 | 778M| 45 | - | 50 | 12k| 0 | 0 | 22 |2513k|6702 | 0.000000e+00 | -- | Inf
942.42/942.47 c 942s| 4550k|918430 | 10283k| 2.3 | 779M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2519k|6722 | 0.000000e+00 | -- | Inf
945.02/945.09 c 945s| 4560k|920299 | 10306k| 2.3 | 781M| 45 | 6 | 50 | 12k| 50 | 17 | 22 |2525k|6762 | 0.000000e+00 | -- | Inf
947.92/947.96 c 948s| 4570k|921958 | 10328k| 2.3 | 783M| 45 | - | 50 | 14k| 50 | 17 | 22 |2530k|6762 | 0.000000e+00 | -- | Inf
951.32/951.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
951.32/951.31 c 951s| 4580k|923479 | 10351k| 2.3 | 784M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2536k|6766 | 0.000000e+00 | -- | Inf
954.42/954.45 c 954s| 4590k|924910 | 10374k| 2.3 | 785M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2542k|6772 | 0.000000e+00 | -- | Inf
957.03/957.06 c 957s| 4600k|927100 | 10397k| 2.3 | 787M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2548k|6772 | 0.000000e+00 | -- | Inf
960.32/960.34 c 960s| 4610k|928432 | 10420k| 2.3 | 789M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2554k|6791 | 0.000000e+00 | -- | Inf
963.21/963.27 c 963s| 4620k|930277 | 10443k| 2.3 | 790M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2559k|6793 | 0.000000e+00 | -- | Inf
966.31/966.30 c 966s| 4630k|931685 | 10466k| 2.3 | 792M| 45 | - | 50 | 11k| 50 | 17 | 22 |2565k|6820 | 0.000000e+00 | -- | Inf
969.03/969.00 c 969s| 4640k|933593 | 10490k| 2.3 | 793M| 45 | - | 50 | 11k| 50 | 17 | 22 |2571k|6833 | 0.000000e+00 | -- | Inf
971.81/971.83 c 972s| 4650k|935107 | 10514k| 2.3 | 795M| 45 | 6 | 50 | 12k| 50 | 17 | 22 |2578k|6833 | 0.000000e+00 | -- | Inf
975.12/975.14 c 975s| 4660k|936314 | 10537k| 2.3 | 796M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2584k|6864 | 0.000000e+00 | -- | Inf
978.31/978.33 c 978s| 4670k|937611 | 10560k| 2.3 | 798M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2590k|6866 | 0.000000e+00 | -- | Inf
981.32/981.34 c 981s| 4680k|939091 | 10583k| 2.3 | 799M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2596k|6866 | 0.000000e+00 | -- | Inf
984.43/984.41 c 984s| 4690k|940476 | 10606k| 2.3 | 801M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2603k|6920 | 0.000000e+00 | -- | Inf
987.42/987.47 c 987s| 4700k|941993 | 10629k| 2.3 | 802M| 45 | - | 50 | 12k| 50 | 17 | 22 |2609k|6932 | 0.000000e+00 | -- | Inf
990.52/990.54 c 991s| 4710k|943473 | 10652k| 2.3 | 804M| 45 | - | 50 | 12k| 50 | 17 | 22 |2615k|6940 | 0.000000e+00 | -- | Inf
993.72/993.72 c 994s| 4720k|944727 | 10675k| 2.3 | 805M| 45 | - | 50 | 11k| 0 | 0 | 22 |2621k|6956 | 0.000000e+00 | -- | Inf
996.72/996.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
996.72/996.75 c 997s| 4730k|946315 | 10697k| 2.3 | 807M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2626k|6956 | 0.000000e+00 | -- | Inf
1000.11/1000.17 c 1000s| 4740k|947255 | 10720k| 2.3 | 808M| 45 | - | 50 | 11k| 50 | 17 | 22 |2633k|6972 | 0.000000e+00 | -- | Inf
1003.42/1003.40 c 1003s| 4750k|948282 | 10743k| 2.3 | 809M| 45 | - | 50 | 11k| 50 | 17 | 22 |2639k|6981 | 0.000000e+00 | -- | Inf
1006.22/1006.23 c 1006s| 4760k|949820 | 10766k| 2.3 | 810M| 45 | 6 | 50 |7881 | 50 | 17 | 22 |2645k|6982 | 0.000000e+00 | -- | Inf
1008.82/1008.83 c 1009s| 4770k|951436 | 10788k| 2.3 | 811M| 45 | - | 50 |6350 | 50 | 17 | 22 |2651k|6982 | 0.000000e+00 | -- | Inf
1011.22/1011.29 c 1011s| 4780k|952958 | 10811k| 2.3 | 812M| 45 | - | 50 |6060 | 50 | 17 | 22 |2657k|6983 | 0.000000e+00 | -- | Inf
1013.72/1013.74 c 1014s| 4790k|954401 | 10833k| 2.3 | 814M| 45 | 6 | 50 |5889 | 50 | 17 | 22 |2663k|6983 | 0.000000e+00 | -- | Inf
1015.91/1015.98 c 1016s| 4800k|956116 | 10856k| 2.3 | 816M| 45 | - | 50 |6987 | 50 | 17 | 22 |2669k|6983 | 0.000000e+00 | -- | Inf
1018.32/1018.36 c 1018s| 4810k|957589 | 10877k| 2.3 | 817M| 45 | 6 | 50 |7599 | 50 | 17 | 22 |2674k|6988 | 0.000000e+00 | -- | Inf
1020.72/1020.80 c 1021s| 4820k|959553 | 10900k| 2.3 | 819M| 45 | 6 | 50 |6794 | 50 | 17 | 22 |2680k|6990 | 0.000000e+00 | -- | Inf
1023.12/1023.11 c 1023s| 4830k|961154 | 10922k| 2.3 | 820M| 45 | 6 | 50 |7751 | 50 | 17 | 22 |2686k|6991 | 0.000000e+00 | -- | Inf
1025.23/1025.23 c 1025s| 4840k|963797 | 10946k| 2.3 | 823M| 45 | - | 50 |8301 | 50 | 17 | 22 |2691k|7040 | 0.000000e+00 | -- | Inf
1027.62/1027.65 c 1028s| 4850k|965673 | 10969k| 2.3 | 825M| 45 | - | 50 |9073 | 50 | 17 | 22 |2697k|7040 | 0.000000e+00 | -- | Inf
1030.12/1030.14 c 1030s| 4860k|967428 | 10992k| 2.3 | 826M| 45 | - | 50 |9300 | 50 | 17 | 22 |2703k|7040 | 0.000000e+00 | -- | Inf
1032.51/1032.53 c 1033s| 4870k|969954 | 11015k| 2.3 | 828M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |2708k|7040 | 0.000000e+00 | -- | Inf
1035.13/1035.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1035.13/1035.14 c 1035s| 4880k|972107 | 11038k| 2.3 | 830M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2714k|7040 | 0.000000e+00 | -- | Inf
1037.92/1037.92 c 1038s| 4890k|973875 | 11060k| 2.3 | 832M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |2719k|7040 | 0.000000e+00 | -- | Inf
1040.63/1040.69 c 1041s| 4900k|975558 | 11083k| 2.3 | 833M| 45 | 6 | 50 |9572 | 50 | 17 | 22 |2725k|7040 | 0.000000e+00 | -- | Inf
1043.41/1043.43 c 1043s| 4910k|977034 | 11106k| 2.3 | 834M| 45 | 6 | 50 |8529 | 50 | 17 | 22 |2731k|7040 | 0.000000e+00 | -- | Inf
1046.03/1046.10 c 1046s| 4920k|978393 | 11129k| 2.3 | 836M| 45 | 6 | 50 |8775 | 50 | 17 | 22 |2737k|7040 | 0.000000e+00 | -- | Inf
1048.72/1048.72 c 1049s| 4930k|979988 | 11152k| 2.3 | 838M| 45 | 6 | 50 |9187 | 50 | 17 | 22 |2743k|7040 | 0.000000e+00 | -- | Inf
1051.42/1051.48 c 1051s| 4940k|981342 | 11175k| 2.3 | 839M| 45 | 6 | 50 |8973 | 50 | 17 | 22 |2749k|7040 | 0.000000e+00 | -- | Inf
1054.02/1054.07 c 1054s| 4950k|982907 | 11199k| 2.3 | 841M| 45 | 6 | 50 |9214 | 50 | 17 | 22 |2756k|7040 | 0.000000e+00 | -- | Inf
1057.02/1057.05 c 1057s| 4960k|983923 | 11222k| 2.3 | 842M| 45 | - | 50 |8515 | 50 | 17 | 22 |2762k|7040 | 0.000000e+00 | -- | Inf
1059.52/1059.51 c 1060s| 4970k|985648 | 11244k| 2.3 | 844M| 45 | - | 50 | 10k| 0 | 0 | 22 |2768k|7040 | 0.000000e+00 | -- | Inf
1062.02/1062.05 c 1062s| 4980k|987649 | 11266k| 2.3 | 846M| 45 | - | 50 | 10k| 50 | 17 | 22 |2773k|7041 | 0.000000e+00 | -- | Inf
1064.83/1064.83 c 1065s| 4990k|989190 | 11288k| 2.3 | 847M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |2779k|7047 | 0.000000e+00 | -- | Inf
1067.32/1067.36 c 1067s| 5000k|991079 | 11311k| 2.3 | 849M| 45 | 6 | 50 |9742 | 50 | 17 | 22 |2785k|7052 | 0.000000e+00 | -- | Inf
1069.92/1069.98 c 1070s| 5010k|992644 | 11335k| 2.3 | 850M| 45 | - | 50 | 10k| 50 | 17 | 22 |2791k|7056 | 0.000000e+00 | -- | Inf
1072.92/1072.94 c 1073s| 5020k|993853 | 11358k| 2.3 | 851M| 45 | 6 | 50 |9986 | 50 | 17 | 22 |2797k|7058 | 0.000000e+00 | -- | Inf
1075.42/1075.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1075.42/1075.45 c 1075s| 5030k|995931 | 11381k| 2.3 | 853M| 45 | - | 50 | 10k| 50 | 17 | 22 |2803k|7061 | 0.000000e+00 | -- | Inf
1078.03/1078.08 c 1078s| 5040k|997480 | 11404k| 2.3 | 855M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2808k|7064 | 0.000000e+00 | -- | Inf
1080.83/1080.83 c 1081s| 5050k|999416 | 11427k| 2.3 | 857M| 45 | - | 50 | 11k| 50 | 17 | 22 |2814k|7066 | 0.000000e+00 | -- | Inf
1083.92/1083.95 c 1084s| 5060k| 1000k| 11451k| 2.3 | 858M| 45 | - | 50 | 11k| 50 | 17 | 22 |2820k|7069 | 0.000000e+00 | -- | Inf
1086.92/1086.91 c 1087s| 5070k| 1002k| 11474k| 2.3 | 860M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2827k|7073 | 0.000000e+00 | -- | Inf
1090.02/1090.08 c 1090s| 5080k| 1003k| 11497k| 2.3 | 861M| 45 | 6 | 50 |8951 | 50 | 17 | 22 |2833k|7081 | 0.000000e+00 | -- | Inf
1093.02/1093.00 c 1093s| 5090k| 1004k| 11519k| 2.3 | 862M| 45 | 6 | 50 |8788 | 50 | 17 | 22 |2839k|7086 | 0.000000e+00 | -- | Inf
1095.82/1095.87 c 1096s| 5100k| 1005k| 11542k| 2.3 | 863M| 45 | 6 | 50 |8544 | 50 | 17 | 22 |2845k|7092 | 0.000000e+00 | -- | Inf
1098.32/1098.30 c 1098s| 5110k| 1007k| 11564k| 2.3 | 865M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |2851k|7098 | 0.000000e+00 | -- | Inf
1101.13/1101.19 c 1101s| 5120k| 1008k| 11585k| 2.3 | 866M| 45 | - | 50 | 10k| 50 | 17 | 22 |2857k|7105 | 0.000000e+00 | -- | Inf
1104.02/1104.08 c 1104s| 5130k| 1010k| 11609k| 2.3 | 867M| 45 | 6 | 50 |6777 | 50 | 17 | 22 |2863k|7109 | 0.000000e+00 | -- | Inf
1106.63/1106.62 c 1107s| 5140k| 1011k| 11631k| 2.3 | 868M| 45 | 6 | 50 |6083 | 50 | 17 | 22 |2869k|7114 | 0.000000e+00 | -- | Inf
1109.22/1109.22 c 1109s| 5150k| 1013k| 11654k| 2.3 | 870M| 45 | 6 | 50 |5428 | 50 | 17 | 22 |2875k|7119 | 0.000000e+00 | -- | Inf
1111.62/1111.61 c 1112s| 5160k| 1014k| 11677k| 2.3 | 871M| 45 | 6 | 50 |6233 | 50 | 17 | 22 |2880k|7124 | 0.000000e+00 | -- | Inf
1114.13/1114.11 c 1114s| 5170k| 1016k| 11700k| 2.3 | 873M| 45 | - | 50 |6015 | 50 | 17 | 22 |2886k|7131 | 0.000000e+00 | -- | Inf
1116.62/1116.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1116.62/1116.62 c 1117s| 5180k| 1017k| 11722k| 2.3 | 874M| 45 | - | 50 |5778 | 50 | 17 | 22 |2892k|7134 | 0.000000e+00 | -- | Inf
1118.82/1118.85 c 1119s| 5190k| 1018k| 11745k| 2.3 | 876M| 45 | 6 | 50 |7156 | 50 | 17 | 22 |2898k|7141 | 0.000000e+00 | -- | Inf
1121.43/1121.42 c 1121s| 5200k| 1020k| 11768k| 2.3 | 877M| 45 | 6 | 50 |6337 | 50 | 17 | 22 |2904k|7149 | 0.000000e+00 | -- | Inf
1123.82/1123.87 c 1124s| 5210k| 1022k| 11791k| 2.3 | 879M| 45 | 6 | 50 |6532 | 50 | 17 | 22 |2910k|7153 | 0.000000e+00 | -- | Inf
1126.22/1126.28 c 1126s| 5220k| 1023k| 11813k| 2.3 | 880M| 45 | 6 | 50 |5872 | 50 | 17 | 22 |2916k|7157 | 0.000000e+00 | -- | Inf
1128.22/1128.21 c 1128s| 5230k| 1026k| 11837k| 2.3 | 883M| 45 | 6 | 50 |7706 | 50 | 17 | 22 |2921k|7160 | 0.000000e+00 | -- | Inf
1130.42/1130.45 c 1130s| 5240k| 1029k| 11861k| 2.3 | 885M| 45 | 6 | 50 |7268 | 50 | 17 | 22 |2926k|7163 | 0.000000e+00 | -- | Inf
1132.62/1132.63 c 1133s| 5250k| 1032k| 11885k| 2.3 | 887M| 45 | 6 | 50 |7911 | 50 | 17 | 22 |2930k|7166 | 0.000000e+00 | -- | Inf
1134.93/1134.97 c 1135s| 5260k| 1035k| 11908k| 2.3 | 888M| 45 | - | 50 |8015 | 50 | 17 | 22 |2935k|7169 | 0.000000e+00 | -- | Inf
1137.42/1137.44 c 1137s| 5270k| 1037k| 11932k| 2.3 | 890M| 45 | 6 | 50 |7564 | 50 | 17 | 22 |2941k|7174 | 0.000000e+00 | -- | Inf
1140.02/1140.01 c 1140s| 5280k| 1039k| 11956k| 2.3 | 892M| 45 | 6 | 50 |7765 | 50 | 17 | 22 |2946k|7179 | 0.000000e+00 | -- | Inf
1142.62/1142.63 c 1143s| 5290k| 1041k| 11980k| 2.3 | 893M| 45 | 6 | 50 |7444 | 50 | 17 | 22 |2952k|7191 | 0.000000e+00 | -- | Inf
1145.13/1145.18 c 1145s| 5300k| 1043k| 12005k| 2.3 | 895M| 45 | 6 | 50 |7977 | 50 | 17 | 22 |2957k|7197 | 0.000000e+00 | -- | Inf
1147.82/1147.84 c 1148s| 5310k| 1045k| 12029k| 2.3 | 897M| 45 | - | 50 |8014 | 50 | 17 | 22 |2963k|7208 | 0.000000e+00 | -- | Inf
1150.42/1150.44 c 1150s| 5320k| 1047k| 12053k| 2.3 | 899M| 45 | 6 | 50 |8163 | 50 | 17 | 22 |2968k|7214 | 0.000000e+00 | -- | Inf
1153.02/1153.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1153.02/1153.04 c 1153s| 5330k| 1049k| 12077k| 2.3 | 900M| 45 | 6 | 50 |8365 | 50 | 17 | 22 |2974k|7224 | 0.000000e+00 | -- | Inf
1155.73/1155.73 c 1156s| 5340k| 1051k| 12100k| 2.3 | 902M| 45 | 6 | 50 |7665 | 50 | 17 | 22 |2979k|7230 | 0.000000e+00 | -- | Inf
1158.23/1158.29 c 1158s| 5350k| 1053k| 12124k| 2.3 | 903M| 45 | 6 | 50 |8450 | 50 | 17 | 22 |2984k|7237 | 0.000000e+00 | -- | Inf
1160.83/1160.89 c 1161s| 5360k| 1055k| 12149k| 2.3 | 905M| 45 | 6 | 50 |9310 | 50 | 17 | 22 |2990k|7243 | 0.000000e+00 | -- | Inf
1163.62/1163.63 c 1164s| 5370k| 1057k| 12174k| 2.3 | 907M| 45 | 6 | 50 |8971 | 50 | 17 | 22 |2995k|7247 | 0.000000e+00 | -- | Inf
1166.53/1166.56 c 1167s| 5380k| 1058k| 12197k| 2.3 | 908M| 45 | 6 | 50 |7825 | 50 | 17 | 22 |3001k|7253 | 0.000000e+00 | -- | Inf
1168.72/1168.76 c 1169s| 5390k| 1061k| 12221k| 2.3 | 910M| 45 | 6 | 50 |9322 | 50 | 17 | 22 |3006k|7257 | 0.000000e+00 | -- | Inf
1171.32/1171.35 c 1171s| 5400k| 1063k| 12244k| 2.3 | 912M| 45 | - | 50 |9778 | 50 | 17 | 22 |3012k|7265 | 0.000000e+00 | -- | Inf
1174.22/1174.22 c 1174s| 5410k| 1064k| 12268k| 2.3 | 914M| 45 | - | 50 | 10k| 50 | 17 | 22 |3018k|7271 | 0.000000e+00 | -- | Inf
1177.33/1177.31 c 1177s| 5420k| 1066k| 12292k| 2.3 | 915M| 45 | 6 | 50 |8442 | 50 | 17 | 22 |3024k|7281 | 0.000000e+00 | -- | Inf
1179.82/1179.86 c 1180s| 5430k| 1068k| 12316k| 2.3 | 917M| 45 | 6 | 50 |9581 | 50 | 17 | 22 |3029k|7286 | 0.000000e+00 | -- | Inf
1182.92/1182.95 c 1183s| 5440k| 1069k| 12340k| 2.3 | 918M| 45 | 6 | 50 |7783 | 50 | 17 | 22 |3035k|7295 | 0.000000e+00 | -- | Inf
1185.62/1185.65 c 1186s| 5450k| 1070k| 12363k| 2.3 | 918M| 45 | 6 | 50 |5601 | 50 | 17 | 22 |3041k|7297 | 0.000000e+00 | -- | Inf
1187.93/1188.00 c 1188s| 5460k| 1072k| 12386k| 2.3 | 920M| 45 | - | 50 |6235 | 50 | 17 | 22 |3047k|7305 | 0.000000e+00 | -- | Inf
1190.52/1190.54 c 1191s| 5470k| 1073k| 12409k| 2.3 | 922M| 45 | 6 | 50 |5916 | 50 | 17 | 22 |3053k|7314 | 0.000000e+00 | -- | Inf
1192.83/1192.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1192.83/1192.89 c 1193s| 5480k| 1075k| 12430k| 2.3 | 923M| 45 | 6 | 50 |5642 | 50 | 17 | 22 |3059k|7319 | 0.000000e+00 | -- | Inf
1195.32/1195.32 c 1195s| 5490k| 1076k| 12452k| 2.3 | 925M| 45 | 6 | 50 |6097 | 50 | 17 | 22 |3065k|7325 | 0.000000e+00 | -- | Inf
1197.52/1197.50 c 1197s| 5500k| 1078k| 12474k| 2.3 | 927M| 45 | 6 | 50 |7248 | 50 | 17 | 22 |3070k|7335 | 0.000000e+00 | -- | Inf
1200.03/1200.00 c 1200s| 5510k| 1080k| 12497k| 2.3 | 928M| 45 | 6 | 50 |6421 | 50 | 17 | 22 |3076k|7341 | 0.000000e+00 | -- | Inf
1202.43/1202.42 c 1202s| 5520k| 1081k| 12520k| 2.3 | 930M| 45 | - | 50 |7135 | 0 | 0 | 22 |3082k|7349 | 0.000000e+00 | -- | Inf
1204.92/1204.91 c 1205s| 5530k| 1083k| 12542k| 2.3 | 931M| 45 | - | 50 |6818 | 50 | 17 | 22 |3088k|7355 | 0.000000e+00 | -- | Inf
1207.32/1207.30 c 1207s| 5540k| 1084k| 12564k| 2.3 | 932M| 45 | 6 | 50 |6719 | 50 | 17 | 22 |3094k|7359 | 0.000000e+00 | -- | Inf
1209.82/1209.84 c 1210s| 5550k| 1085k| 12587k| 2.3 | 934M| 45 | 6 | 50 |6766 | 50 | 17 | 22 |3100k|7364 | 0.000000e+00 | -- | Inf
1212.23/1212.23 c 1212s| 5560k| 1087k| 12610k| 2.3 | 935M| 45 | 6 | 50 |5443 | 50 | 17 | 22 |3105k|7367 | 0.000000e+00 | -- | Inf
1214.33/1214.30 c 1214s| 5570k| 1090k| 12632k| 2.3 | 937M| 45 | - | 50 |6777 | 50 | 17 | 22 |3110k|7374 | 0.000000e+00 | -- | Inf
1216.53/1216.53 c 1217s| 5580k| 1092k| 12654k| 2.3 | 939M| 45 | 6 | 50 |6980 | 50 | 17 | 22 |3115k|7376 | 0.000000e+00 | -- | Inf
1218.83/1218.88 c 1219s| 5590k| 1094k| 12677k| 2.3 | 941M| 45 | 6 | 50 |7742 | 50 | 17 | 22 |3121k|7384 | 0.000000e+00 | -- | Inf
1221.33/1221.37 c 1221s| 5600k| 1096k| 12698k| 2.3 | 942M| 45 | 6 | 50 |8163 | 50 | 17 | 22 |3126k|7393 | 0.000000e+00 | -- | Inf
1223.92/1223.96 c 1224s| 5610k| 1097k| 12721k| 2.3 | 944M| 45 | - | 50 |8184 | 50 | 17 | 22 |3132k|7401 | 0.000000e+00 | -- | Inf
1226.53/1226.54 c 1227s| 5620k| 1099k| 12743k| 2.3 | 945M| 45 | 6 | 50 |7919 | 50 | 17 | 22 |3137k|7410 | 0.000000e+00 | -- | Inf
1229.23/1229.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1229.23/1229.26 c 1229s| 5630k| 1100k| 12765k| 2.3 | 946M| 45 | 6 | 50 |6934 | 50 | 17 | 22 |3143k|7416 | 0.000000e+00 | -- | Inf
1231.73/1231.73 c 1232s| 5640k| 1102k| 12788k| 2.3 | 948M| 45 | - | 50 |7277 | 50 | 17 | 22 |3149k|7427 | 0.000000e+00 | -- | Inf
1234.13/1234.20 c 1234s| 5650k| 1104k| 12810k| 2.3 | 950M| 45 | - | 50 |8340 | 50 | 17 | 22 |3155k|7429 | 0.000000e+00 | -- | Inf
1236.72/1236.75 c 1237s| 5660k| 1105k| 12833k| 2.3 | 951M| 45 | - | 50 |8126 | 50 | 17 | 22 |3161k|7434 | 0.000000e+00 | -- | Inf
1239.33/1239.38 c 1239s| 5670k| 1107k| 12856k| 2.3 | 953M| 45 | - | 50 |7762 | 50 | 17 | 22 |3167k|7442 | 0.000000e+00 | -- | Inf
1241.62/1241.67 c 1242s| 5680k| 1108k| 12877k| 2.3 | 954M| 45 | - | 50 |8482 | 50 | 17 | 22 |3172k|7444 | 0.000000e+00 | -- | Inf
1244.32/1244.34 c 1244s| 5690k| 1110k| 12899k| 2.3 | 956M| 45 | 6 | 50 |7142 | 50 | 17 | 22 |3178k|7457 | 0.000000e+00 | -- | Inf
1246.53/1246.54 c 1247s| 5700k| 1113k| 12921k| 2.3 | 958M| 45 | 6 | 50 |8285 | 50 | 17 | 22 |3182k|7463 | 0.000000e+00 | -- | Inf
1248.83/1248.88 c 1249s| 5710k| 1115k| 12943k| 2.3 | 960M| 45 | 6 | 50 |9159 | 50 | 17 | 22 |3188k|7470 | 0.000000e+00 | -- | Inf
1251.22/1251.24 c 1251s| 5720k| 1117k| 12964k| 2.3 | 961M| 45 | - | 50 | 10k| 50 | 17 | 22 |3192k|7474 | 0.000000e+00 | -- | Inf
1253.93/1253.93 c 1254s| 5730k| 1119k| 12986k| 2.3 | 963M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |3198k|7479 | 0.000000e+00 | -- | Inf
1256.83/1256.85 c 1257s| 5740k| 1120k| 13009k| 2.3 | 964M| 45 | 6 | 50 |9691 | 50 | 17 | 22 |3203k|7483 | 0.000000e+00 | -- | Inf
1259.43/1259.50 c 1259s| 5750k| 1122k| 13031k| 2.3 | 966M| 45 | - | 50 |8881 | 50 | 17 | 22 |3209k|7487 | 0.000000e+00 | -- | Inf
1262.22/1262.23 c 1262s| 5760k| 1123k| 13054k| 2.3 | 967M| 45 | - | 50 |7536 | 50 | 17 | 22 |3215k|7491 | 0.000000e+00 | -- | Inf
1264.42/1264.42 c 1264s| 5770k| 1126k| 13076k| 2.3 | 969M| 45 | - | 50 |9524 | 0 | 0 | 22 |3220k|7493 | 0.000000e+00 | -- | Inf
1266.93/1266.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1266.93/1266.99 c 1267s| 5780k| 1128k| 13097k| 2.3 | 971M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |3225k|7496 | 0.000000e+00 | -- | Inf
1269.62/1269.68 c 1270s| 5790k| 1129k| 13119k| 2.3 | 973M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |3230k|7498 | 0.000000e+00 | -- | Inf
1272.73/1272.77 c 1273s| 5800k| 1131k| 13141k| 2.3 | 973M| 45 | - | 50 |7862 | 0 | 0 | 22 |3236k|7504 | 0.000000e+00 | -- | Inf
1275.43/1275.49 c 1275s| 5810k| 1132k| 13163k| 2.3 | 975M| 45 | 6 | 50 |6602 | 50 | 17 | 22 |3242k|7508 | 0.000000e+00 | -- | Inf
1277.63/1277.61 c 1278s| 5820k| 1135k| 13187k| 2.3 | 977M| 45 | - | 50 |7898 | 50 | 17 | 22 |3247k|7512 | 0.000000e+00 | -- | Inf
1280.13/1280.14 c 1280s| 5830k| 1137k| 13210k| 2.3 | 979M| 45 | - | 50 |7881 | 50 | 17 | 22 |3253k|7515 | 0.000000e+00 | -- | Inf
1282.63/1282.60 c 1283s| 5840k| 1139k| 13234k| 2.3 | 981M| 45 | 6 | 50 |8876 | 50 | 17 | 22 |3258k|7522 | 0.000000e+00 | -- | Inf
1285.43/1285.44 c 1285s| 5850k| 1140k| 13257k| 2.3 | 982M| 45 | 6 | 50 |8725 | 50 | 17 | 22 |3264k|7531 | 0.000000e+00 | -- | Inf
1288.23/1288.24 c 1288s| 5860k| 1142k| 13280k| 2.3 | 984M| 45 | 6 | 50 |9090 | 50 | 17 | 22 |3270k|7537 | 0.000000e+00 | -- | Inf
1291.13/1291.18 c 1291s| 5870k| 1143k| 13302k| 2.3 | 985M| 45 | - | 50 |6905 | 50 | 17 | 22 |3276k|7542 | 0.000000e+00 | -- | Inf
1293.73/1293.78 c 1294s| 5880k| 1144k| 13325k| 2.3 | 986M| 45 | 6 | 50 |6554 | 50 | 17 | 22 |3282k|7548 | 0.000000e+00 | -- | Inf
1296.23/1296.24 c 1296s| 5890k| 1146k| 13348k| 2.3 | 988M| 45 | 6 | 50 |7865 | 50 | 17 | 22 |3288k|7553 | 0.000000e+00 | -- | Inf
1298.73/1298.78 c 1299s| 5900k| 1147k| 13371k| 2.3 | 990M| 45 | - | 50 |8851 | 50 | 17 | 22 |3294k|7558 | 0.000000e+00 | -- | Inf
1301.53/1301.51 c 1302s| 5910k| 1149k| 13393k| 2.3 | 991M| 45 | 6 | 50 |6567 | 50 | 17 | 22 |3300k|7567 | 0.000000e+00 | -- | Inf
1304.03/1304.03 c 1304s| 5920k| 1150k| 13415k| 2.3 | 992M| 45 | 6 | 50 |7042 | 50 | 17 | 22 |3306k|7569 | 0.000000e+00 | -- | Inf
1306.83/1306.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1306.83/1306.83 c 1307s| 5930k| 1151k| 13438k| 2.3 | 993M| 45 | - | 50 |5348 | 0 | 0 | 22 |3312k|7575 | 0.000000e+00 | -- | Inf
1309.23/1309.22 c 1309s| 5940k| 1153k| 13461k| 2.3 | 995M| 45 | 6 | 50 |4968 | 50 | 17 | 22 |3318k|7582 | 0.000000e+00 | -- | Inf
1311.33/1311.30 c 1311s| 5950k| 1156k| 13485k| 2.3 | 997M| 45 | 6 | 50 |6678 | 50 | 17 | 22 |3323k|7597 | 0.000000e+00 | -- | Inf
1313.53/1313.56 c 1314s| 5960k| 1158k| 13509k| 2.3 | 999M| 45 | 6 | 50 |7700 | 50 | 17 | 22 |3328k|7600 | 0.000000e+00 | -- | Inf
1315.93/1315.95 c 1316s| 5970k| 1160k| 13533k| 2.3 |1001M| 45 | 6 | 50 |8036 | 50 | 17 | 22 |3334k|7606 | 0.000000e+00 | -- | Inf
1318.63/1318.64 c 1319s| 5980k| 1161k| 13558k| 2.3 |1002M| 45 | 6 | 50 |7785 | 50 | 17 | 22 |3340k|7613 | 0.000000e+00 | -- | Inf
1320.93/1320.94 c 1321s| 5990k| 1163k| 13581k| 2.3 |1005M| 45 | 6 | 50 |9510 | 50 | 17 | 22 |3345k|7618 | 0.000000e+00 | -- | Inf
1323.63/1323.61 c 1324s| 6000k| 1165k| 13605k| 2.3 |1006M| 45 | - | 50 |9253 | 50 | 17 | 22 |3351k|7622 | 0.000000e+00 | -- | Inf
1325.93/1325.95 c 1326s| 6010k| 1168k| 13629k| 2.3 |1008M| 45 | 6 | 50 |9847 | 50 | 17 | 22 |3356k|7625 | 0.000000e+00 | -- | Inf
1328.52/1328.56 c 1329s| 6020k| 1170k| 13652k| 2.3 |1010M| 45 | - | 50 | 10k| 50 | 17 | 22 |3361k|7634 | 0.000000e+00 | -- | Inf
1331.33/1331.37 c 1331s| 6030k| 1172k| 13675k| 2.3 |1011M| 45 | 6 | 50 |8608 | 50 | 17 | 22 |3367k|7639 | 0.000000e+00 | -- | Inf
1334.03/1334.09 c 1334s| 6040k| 1174k| 13699k| 2.3 |1013M| 45 | 6 | 50 |8918 | 50 | 17 | 22 |3372k|7643 | 0.000000e+00 | -- | Inf
1336.72/1336.76 c 1337s| 6050k| 1175k| 13722k| 2.3 |1014M| 45 | 6 | 50 |8297 | 50 | 17 | 22 |3378k|7650 | 0.000000e+00 | -- | Inf
1339.43/1339.43 c 1339s| 6060k| 1177k| 13745k| 2.3 |1016M| 45 | - | 50 |9159 | 50 | 17 | 22 |3384k|7656 | 0.000000e+00 | -- | Inf
1341.93/1341.99 c 1342s| 6070k| 1179k| 13768k| 2.3 |1018M| 45 | - | 50 |9210 | 0 | 0 | 22 |3389k|7665 | 0.000000e+00 | -- | Inf
1344.72/1344.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1344.72/1344.76 c 1345s| 6080k| 1180k| 13791k| 2.3 |1019M| 45 | - | 50 |8440 | 50 | 17 | 22 |3395k|7669 | 0.000000e+00 | -- | Inf
1347.43/1347.41 c 1347s| 6090k| 1182k| 13814k| 2.3 |1021M| 45 | 6 | 50 |9124 | 50 | 17 | 22 |3400k|7672 | 0.000000e+00 | -- | Inf
1350.53/1350.56 c 1351s| 6100k| 1183k| 13837k| 2.3 |1022M| 45 | 6 | 50 |8616 | 50 | 17 | 22 |3406k|7676 | 0.000000e+00 | -- | Inf
1353.12/1353.14 c 1353s| 6110k| 1185k| 13860k| 2.3 |1024M| 45 | - | 50 |9668 | 50 | 17 | 22 |3412k|7686 | 0.000000e+00 | -- | Inf
1355.83/1355.83 c 1356s| 6120k| 1186k| 13883k| 2.3 |1025M| 45 | - | 50 | 10k| 50 | 17 | 22 |3417k|7691 | 0.000000e+00 | -- | Inf
1358.43/1358.47 c 1358s| 6130k| 1189k| 13907k| 2.3 |1027M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |3423k|7695 | 0.000000e+00 | -- | Inf
1361.13/1361.14 c 1361s| 6140k| 1191k| 13930k| 2.3 |1029M| 45 | - | 50 | 11k| 50 | 17 | 22 |3428k|7699 | 0.000000e+00 | -- | Inf
1364.13/1364.18 c 1364s| 6150k| 1193k| 13954k| 2.3 |1031M| 45 | - | 50 | 11k| 50 | 17 | 22 |3433k|7706 | 0.000000e+00 | -- | Inf
1367.23/1367.22 c 1367s| 6160k| 1194k| 13978k| 2.3 |1032M| 45 | - | 50 | 11k| 50 | 17 | 22 |3439k|7715 | 0.000000e+00 | -- | Inf
1370.43/1370.44 c 1370s| 6170k| 1196k| 14001k| 2.3 |1034M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |3445k|7722 | 0.000000e+00 | -- | Inf
1373.73/1373.75 c 1374s| 6180k| 1197k| 14025k| 2.3 |1035M| 45 | 6 | 50 |9862 | 50 | 17 | 22 |3451k|7727 | 0.000000e+00 | -- | Inf
1376.43/1376.50 c 1376s| 6190k| 1198k| 14048k| 2.3 |1036M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |3457k|7736 | 0.000000e+00 | -- | Inf
1379.83/1379.88 c 1380s| 6200k| 1200k| 14071k| 2.3 |1037M| 45 | 6 | 50 |9614 | 50 | 17 | 22 |3463k|7744 | 0.000000e+00 | -- | Inf
1382.93/1382.98 c 1383s| 6210k| 1201k| 14094k| 2.3 |1039M| 45 | 6 | 50 |9404 | 50 | 17 | 22 |3468k|7752 | 0.000000e+00 | -- | Inf
1385.94/1385.99 c 1386s| 6220k| 1202k| 14116k| 2.3 |1039M| 45 | - | 50 |6851 | 50 | 17 | 22 |3474k|7760 | 0.000000e+00 | -- | Inf
1388.63/1388.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1388.63/1388.60 c 1389s| 6230k| 1203k| 14139k| 2.3 |1041M| 45 | 6 | 50 |6317 | 50 | 17 | 22 |3480k|7767 | 0.000000e+00 | -- | Inf
1391.13/1391.11 c 1391s| 6240k| 1205k| 14161k| 2.3 |1042M| 45 | 6 | 50 |6201 | 50 | 17 | 22 |3486k|7776 | 0.000000e+00 | -- | Inf
1393.63/1393.66 c 1394s| 6250k| 1206k| 14184k| 2.3 |1044M| 45 | - | 50 |5976 | 0 | 0 | 22 |3492k|7784 | 0.000000e+00 | -- | Inf
1395.94/1395.91 c 1396s| 6260k| 1208k| 14207k| 2.3 |1046M| 45 | 6 | 50 |7642 | 50 | 17 | 22 |3498k|7785 | 0.000000e+00 | -- | Inf
1398.33/1398.34 c 1398s| 6270k| 1210k| 14230k| 2.3 |1047M| 45 | - | 50 |8076 | 50 | 17 | 22 |3503k|7789 | 0.000000e+00 | -- | Inf
1400.93/1400.99 c 1401s| 6280k| 1212k| 14254k| 2.3 |1049M| 45 | 6 | 50 |8008 | 50 | 17 | 22 |3509k|7795 | 0.000000e+00 | -- | Inf
1403.53/1403.55 c 1404s| 6290k| 1213k| 14277k| 2.3 |1050M| 45 | - | 50 |7450 | 50 | 17 | 22 |3515k|7799 | 0.000000e+00 | -- | Inf
1406.03/1406.03 c 1406s| 6300k| 1215k| 14301k| 2.3 |1052M| 45 | 6 | 50 |9090 | 50 | 17 | 22 |3521k|7802 | 0.000000e+00 | -- | Inf
1408.63/1408.63 c 1409s| 6310k| 1216k| 14325k| 2.3 |1054M| 45 | - | 50 |9131 | 0 | 0 | 22 |3528k|7807 | 0.000000e+00 | -- | Inf
1411.43/1411.44 c 1411s| 6320k| 1218k| 14349k| 2.3 |1055M| 45 | 6 | 50 |9989 | 50 | 17 | 22 |3534k|7810 | 0.000000e+00 | -- | Inf
1414.53/1414.59 c 1415s| 6330k| 1219k| 14372k| 2.3 |1056M| 45 | - | 50 |6936 | 0 | 0 | 22 |3541k|7812 | 0.000000e+00 | -- | Inf
1417.23/1417.27 c 1417s| 6340k| 1220k| 14395k| 2.3 |1057M| 45 | 6 | 50 |6471 | 50 | 17 | 22 |3547k|7814 | 0.000000e+00 | -- | Inf
1419.83/1419.82 c 1420s| 6350k| 1221k| 14417k| 2.3 |1059M| 45 | - | 50 |7048 | 50 | 17 | 22 |3553k|7817 | 0.000000e+00 | -- | Inf
1422.53/1422.57 c 1423s| 6360k| 1222k| 14440k| 2.3 |1060M| 45 | 6 | 50 |6435 | 50 | 17 | 22 |3559k|7824 | 0.000000e+00 | -- | Inf
1425.14/1425.18 c 1425s| 6370k| 1224k| 14463k| 2.3 |1061M| 45 | 6 | 50 |6692 | 50 | 17 | 22 |3565k|7828 | 0.000000e+00 | -- | Inf
1427.53/1427.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1427.53/1427.59 c 1428s| 6380k| 1225k| 14485k| 2.3 |1063M| 45 | 6 | 50 |7567 | 50 | 17 | 22 |3571k|7833 | 0.000000e+00 | -- | Inf
1430.23/1430.29 c 1430s| 6390k| 1227k| 14507k| 2.3 |1064M| 45 | 6 | 50 |6311 | 50 | 17 | 22 |3577k|7835 | 0.000000e+00 | -- | Inf
1432.83/1432.83 c 1433s| 6400k| 1228k| 14530k| 2.3 |1065M| 45 | 6 | 50 |5894 | 50 | 17 | 22 |3583k|7835 | 0.000000e+00 | -- | Inf
1435.23/1435.21 c 1435s| 6410k| 1230k| 14552k| 2.3 |1067M| 45 | 6 | 50 |7012 | 50 | 17 | 22 |3589k|7835 | 0.000000e+00 | -- | Inf
1437.74/1437.72 c 1438s| 6420k| 1231k| 14574k| 2.3 |1069M| 45 | 6 | 50 |7189 | 50 | 17 | 22 |3595k|7840 | 0.000000e+00 | -- | Inf
1440.43/1440.47 c 1440s| 6430k| 1232k| 14597k| 2.3 |1070M| 45 | 6 | 50 |5926 | 50 | 17 | 22 |3601k|7845 | 0.000000e+00 | -- | Inf
1442.83/1442.89 c 1443s| 6440k| 1234k| 14619k| 2.3 |1072M| 45 | 6 | 50 |7059 | 50 | 17 | 22 |3607k|7848 | 0.000000e+00 | -- | Inf
1445.53/1445.51 c 1446s| 6450k| 1235k| 14642k| 2.3 |1073M| 45 | 6 | 50 |6913 | 50 | 17 | 22 |3613k|7851 | 0.000000e+00 | -- | Inf
1447.83/1447.85 c 1448s| 6460k| 1237k| 14665k| 2.3 |1075M| 45 | - | 50 |9200 | 50 | 17 | 22 |3619k|7853 | 0.000000e+00 | -- | Inf
1450.43/1450.47 c 1450s| 6470k| 1238k| 14686k| 2.3 |1077M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |3625k|7854 | 0.000000e+00 | -- | Inf
1453.33/1453.38 c 1453s| 6480k| 1240k| 14709k| 2.3 |1078M| 45 | - | 50 |7006 | 0 | 0 | 22 |3631k|7854 | 0.000000e+00 | -- | Inf
1455.74/1455.79 c 1456s| 6490k| 1241k| 14731k| 2.3 |1079M| 45 | - | 50 |7569 | 50 | 17 | 22 |3637k|7854 | 0.000000e+00 | -- | Inf
1458.34/1458.37 c 1458s| 6500k| 1242k| 14754k| 2.3 |1081M| 45 | - | 50 |8868 | 50 | 17 | 22 |3644k|7854 | 0.000000e+00 | -- | Inf
1461.03/1461.02 c 1461s| 6510k| 1244k| 14776k| 2.3 |1083M| 45 | 6 | 50 |9656 | 50 | 17 | 22 |3649k|7854 | 0.000000e+00 | -- | Inf
1463.63/1463.68 c 1464s| 6520k| 1246k| 14799k| 2.3 |1084M| 45 | 6 | 50 |7504 | 50 | 17 | 22 |3655k|7854 | 0.000000e+00 | -- | Inf
1466.24/1466.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1466.24/1466.29 c 1466s| 6530k| 1247k| 14822k| 2.3 |1086M| 45 | - | 50 |8330 | 50 | 17 | 22 |3661k|7854 | 0.000000e+00 | -- | Inf
1468.94/1468.99 c 1469s| 6540k| 1249k| 14844k| 2.3 |1087M| 45 | 6 | 50 |6650 | 50 | 17 | 22 |3667k|7854 | 0.000000e+00 | -- | Inf
1471.53/1471.52 c 1472s| 6550k| 1250k| 14867k| 2.3 |1088M| 45 | - | 50 |6806 | 50 | 17 | 22 |3673k|7854 | 0.000000e+00 | -- | Inf
1474.04/1474.08 c 1474s| 6560k| 1251k| 14890k| 2.3 |1090M| 45 | - | 50 |6686 | 50 | 17 | 22 |3679k|7854 | 0.000000e+00 | -- | Inf
1476.34/1476.39 c 1476s| 6570k| 1253k| 14913k| 2.3 |1092M| 45 | - | 50 |7957 | 0 | 0 | 22 |3685k|7854 | 0.000000e+00 | -- | Inf
1478.93/1478.93 c 1479s| 6580k| 1255k| 14935k| 2.3 |1093M| 45 | - | 50 |8504 | 50 | 17 | 22 |3691k|7854 | 0.000000e+00 | -- | Inf
1481.84/1481.86 c 1482s| 6590k| 1256k| 14958k| 2.3 |1094M| 45 | - | 50 |6204 | 50 | 17 | 22 |3697k|7854 | 0.000000e+00 | -- | Inf
1484.34/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.88 c 1487s| 6610k| 1258k| 15002k| 2.3 |1097M| 45 | 6 | 50 |6211 | 50 | 17 | 22 |3709k|7854 | 0.000000e+00 | -- | Inf
1489.44/1489.46 c 1489s| 6620k| 1260k| 15025k| 2.3 |1098M| 45 | 6 | 50 |5811 | 50 | 17 | 22 |3715k|7854 | 0.000000e+00 | -- | Inf
1491.83/1491.87 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.04/1497.04 c 1497s| 6650k| 1264k| 15093k| 2.3 |1103M| 45 | 6 | 50 |6411 | 50 | 17 | 22 |3733k|7854 | 0.000000e+00 | -- | Inf
1499.54/1499.57 c 1500s| 6660k| 1265k| 15115k| 2.3 |1104M| 45 | - | 50 |6246 | 50 | 17 | 22 |3739k|7854 | 0.000000e+00 | -- | Inf
1502.03/1502.04 c 1502s| 6670k| 1267k| 15138k| 2.3 |1106M| 45 | - | 50 |6137 | 50 | 17 | 22 |3745k|7854 | 0.000000e+00 | -- | Inf
1504.23/1504.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1504.23/1504.20 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.24/1509.21 c 1509s| 6700k| 1272k| 15209k| 2.3 |1111M| 45 | 6 | 50 |9032 | 50 | 17 | 22 |3763k|7854 | 0.000000e+00 | -- | Inf
1511.93/1511.96 c 1512s| 6710k| 1273k| 15233k| 2.3 |1113M| 45 | - | 50 |8375 | 50 | 17 | 22 |3769k|7854 | 0.000000e+00 | -- | Inf
1514.74/1514.80 c 1515s| 6720k| 1274k| 15255k| 2.3 |1114M| 45 | - | 50 |6280 | 50 | 17 | 22 |3775k|7854 | 0.000000e+00 | -- | Inf
1517.43/1517.48 c 1517s| 6730k| 1275k| 15279k| 2.3 |1115M| 45 | 6 | 50 |5419 | 50 | 17 | 22 |3782k|7854 | 0.000000e+00 | -- | Inf
1519.73/1519.76 c 1520s| 6740k| 1277k| 15300k| 2.3 |1117M| 45 | 6 | 50 |6638 | 50 | 17 | 22 |3787k|7854 | 0.000000e+00 | -- | Inf
1522.24/1522.28 c 1522s| 6750k| 1278k| 15322k| 2.3 |1118M| 45 | 6 | 50 |6224 | 50 | 17 | 22 |3793k|7854 | 0.000000e+00 | -- | Inf
1524.74/1524.70 c 1525s| 6760k| 1280k| 15344k| 2.3 |1120M| 45 | 6 | 50 |6824 | 50 | 17 | 22 |3799k|7854 | 0.000000e+00 | -- | Inf
1527.24/1527.21 c 1527s| 6770k| 1281k| 15367k| 2.3 |1121M| 45 | 6 | 50 |7359 | 50 | 17 | 22 |3805k|7854 | 0.000000e+00 | -- | Inf
1529.93/1529.95 c 1530s| 6780k| 1282k| 15389k| 2.3 |1122M| 45 | 6 | 50 |6503 | 50 | 17 | 22 |3811k|7854 | 0.000000e+00 | -- | Inf
1532.43/1532.42 c 1532s| 6790k| 1284k| 15413k| 2.3 |1124M| 45 | 6 | 50 |7057 | 50 | 17 | 22 |3817k|7854 | 0.000000e+00 | -- | Inf
1535.03/1535.02 c 1535s| 6800k| 1285k| 15436k| 2.3 |1125M| 45 | 6 | 50 |6724 | 50 | 17 | 22 |3823k|7854 | 0.000000e+00 | -- | Inf
1537.44/1537.44 c 1537s| 6810k| 1286k| 15458k| 2.3 |1127M| 45 | 6 | 50 |7384 | 50 | 17 | 22 |3829k|7854 | 0.000000e+00 | -- | Inf
1539.94/1539.99 c 1540s| 6820k| 1288k| 15480k| 2.3 |1129M| 45 | 6 | 50 |7571 | 50 | 17 | 22 |3835k|7854 | 0.000000e+00 | -- | Inf
1542.74/1542.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1542.74/1542.78 c 1543s| 6830k| 1289k| 15503k| 2.3 |1130M| 45 | 6 | 50 |6337 | 50 | 17 | 22 |3841k|7854 | 0.000000e+00 | -- | Inf
1545.33/1545.33 c 1545s| 6840k| 1290k| 15525k| 2.3 |1131M| 45 | - | 50 |6709 | 50 | 17 | 22 |3847k|7854 | 0.000000e+00 | -- | Inf
1547.64/1547.61 c 1548s| 6850k| 1292k| 15547k| 2.3 |1133M| 45 | - | 50 |8760 | 0 | 0 | 22 |3853k|7854 | 0.000000e+00 | -- | Inf
1550.34/1550.39 c 1550s| 6860k| 1293k| 15569k| 2.3 |1135M| 45 | 6 | 50 |9928 | 50 | 17 | 22 |3859k|7854 | 0.000000e+00 | -- | Inf
1552.94/1552.99 c 1553s| 6870k| 1295k| 15591k| 2.3 |1137M| 45 | - | 50 | 10k| 0 | 0 | 22 |3864k|7854 | 0.000000e+00 | -- | Inf
1555.74/1555.70 c 1556s| 6880k| 1297k| 15613k| 2.3 |1138M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |3869k|7854 | 0.000000e+00 | -- | Inf
1558.75/1558.78 c 1559s| 6890k| 1298k| 15634k| 2.3 |1139M| 45 | - | 50 | 10k| 50 | 17 | 22 |3875k|7854 | 0.000000e+00 | -- | Inf
1561.63/1561.65 c 1562s| 6900k| 1300k| 15656k| 2.3 |1141M| 45 | - | 50 | 11k| 50 | 17 | 22 |3880k|7854 | 0.000000e+00 | -- | Inf
1564.43/1564.43 c 1564s| 6910k| 1301k| 15677k| 2.3 |1142M| 45 | - | 50 |9692 | 50 | 17 | 22 |3886k|7855 | 0.000000e+00 | -- | Inf
1567.23/1567.26 c 1567s| 6920k| 1303k| 15700k| 2.3 |1143M| 45 | - | 50 |7345 | 50 | 17 | 22 |3891k|7859 | 0.000000e+00 | -- | Inf
1569.75/1569.71 c 1570s| 6930k| 1305k| 15722k| 2.3 |1145M| 45 | - | 50 |8503 | 50 | 17 | 22 |3897k|7861 | 0.000000e+00 | -- | Inf
1572.53/1572.56 c 1573s| 6940k| 1306k| 15745k| 2.3 |1146M| 45 | 6 | 50 |7203 | 50 | 17 | 22 |3903k|7862 | 0.000000e+00 | -- | Inf
1574.84/1574.87 c 1575s| 6950k| 1308k| 15769k| 2.3 |1148M| 45 | - | 50 |9043 | 50 | 17 | 22 |3909k|7862 | 0.000000e+00 | -- | Inf
1577.44/1577.46 c 1577s| 6960k| 1309k| 15792k| 2.3 |1150M| 45 | - | 50 | 10k| 50 | 17 | 22 |3915k|7862 | 0.000000e+00 | -- | Inf
1580.14/1580.14 c 1580s| 6970k| 1310k| 15816k| 2.3 |1151M| 45 | - | 50 | 10k| 50 | 17 | 22 |3921k|7862 | 0.000000e+00 | -- | Inf
1582.84/1582.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1582.84/1582.88 c 1583s| 6980k| 1312k| 15839k| 2.3 |1153M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |3928k|7862 | 0.000000e+00 | -- | Inf
1586.14/1586.16 c 1586s| 6990k| 1313k| 15861k| 2.3 |1153M| 45 | 6 | 50 |6768 | 50 | 17 | 22 |3934k|7866 | 0.000000e+00 | -- | Inf
1588.74/1588.77 c 1589s| 7000k| 1314k| 15885k| 2.3 |1155M| 45 | 6 | 50 |8292 | 50 | 17 | 22 |3940k|7866 | 0.000000e+00 | -- | Inf
1591.24/1591.24 c 1591s| 7010k| 1316k| 15908k| 2.3 |1157M| 45 | 6 | 50 |9257 | 50 | 17 | 22 |3946k|7866 | 0.000000e+00 | -- | Inf
1593.94/1593.98 c 1594s| 7020k| 1317k| 15930k| 2.3 |1158M| 45 | 6 | 50 |8744 | 50 | 17 | 22 |3952k|7868 | 0.000000e+00 | -- | Inf
1596.73/1596.79 c 1597s| 7030k| 1319k| 15953k| 2.3 |1159M| 45 | 6 | 50 |7121 | 50 | 17 | 22 |3958k|7873 | 0.000000e+00 | -- | Inf
1599.24/1599.20 c 1599s| 7040k| 1320k| 15976k| 2.3 |1161M| 45 | - | 50 |7907 | 50 | 17 | 22 |3964k|7875 | 0.000000e+00 | -- | Inf
1601.64/1601.69 c 1602s| 7050k| 1322k| 15998k| 2.3 |1163M| 45 | - | 50 |9067 | 0 | 0 | 22 |3970k|7881 | 0.000000e+00 | -- | Inf
1604.23/1604.29 c 1604s| 7060k| 1323k| 16021k| 2.3 |1164M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |3976k|7884 | 0.000000e+00 | -- | Inf
1607.24/1607.21 c 1607s| 7070k| 1325k| 16044k| 2.3 |1166M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |3982k|7891 | 0.000000e+00 | -- | Inf
1610.44/1610.47 c 1610s| 7080k| 1326k| 16066k| 2.3 |1167M| 45 | 6 | 50 |8459 | 50 | 17 | 22 |3988k|7893 | 0.000000e+00 | -- | Inf
1613.04/1613.09 c 1613s| 7090k| 1327k| 16088k| 2.3 |1168M| 45 | - | 50 |7876 | 50 | 17 | 22 |3993k|7894 | 0.000000e+00 | -- | Inf
1615.94/1615.92 c 1616s| 7100k| 1329k| 16112k| 2.3 |1169M| 45 | 6 | 50 |6807 | 50 | 17 | 22 |4000k|7898 | 0.000000e+00 | -- | Inf
1618.64/1618.62 c 1619s| 7110k| 1330k| 16135k| 2.3 |1171M| 45 | - | 50 |6244 | 0 | 0 | 22 |4006k|7901 | 0.000000e+00 | -- | Inf
1621.24/1621.25 c 1621s| 7120k| 1331k| 16157k| 2.3 |1172M| 45 | 6 | 50 |5618 | 50 | 17 | 22 |4012k|7907 | 0.000000e+00 | -- | Inf
1623.34/1623.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1623.34/1623.33 c 1623s| 7130k| 1333k| 16180k| 2.3 |1174M| 45 | 6 | 50 |7375 | 50 | 17 | 22 |4017k|7909 | 0.000000e+00 | -- | Inf
1625.54/1625.55 c 1626s| 7140k| 1336k| 16202k| 2.3 |1176M| 45 | - | 50 |8018 | 50 | 17 | 22 |4022k|7913 | 0.000000e+00 | -- | Inf
1628.14/1628.13 c 1628s| 7150k| 1338k| 16225k| 2.3 |1178M| 45 | 6 | 50 |8167 | 50 | 17 | 22 |4027k|7919 | 0.000000e+00 | -- | Inf
1630.53/1630.59 c 1631s| 7160k| 1340k| 16247k| 2.3 |1179M| 45 | 6 | 50 |8759 | 50 | 17 | 22 |4033k|7923 | 0.000000e+00 | -- | Inf
1633.13/1633.10 c 1633s| 7170k| 1341k| 16268k| 2.3 |1181M| 45 | 6 | 50 |9054 | 50 | 17 | 22 |4039k|7931 | 0.000000e+00 | -- | Inf
1635.74/1635.73 c 1636s| 7180k| 1343k| 16292k| 2.3 |1183M| 45 | 6 | 50 |9438 | 50 | 17 | 22 |4044k|7934 | 0.000000e+00 | -- | Inf
1638.34/1638.37 c 1638s| 7190k| 1345k| 16315k| 2.3 |1184M| 45 | - | 50 |8318 | 50 | 17 | 22 |4050k|7937 | 0.000000e+00 | -- | Inf
1640.84/1640.89 c 1641s| 7200k| 1346k| 16336k| 2.3 |1186M| 45 | 6 | 50 |9293 | 50 | 17 | 22 |4055k|7942 | 0.000000e+00 | -- | Inf
1643.54/1643.55 c 1644s| 7210k| 1348k| 16358k| 2.3 |1187M| 45 | 6 | 50 |8778 | 50 | 17 | 22 |4061k|7947 | 0.000000e+00 | -- | Inf
1646.24/1646.26 c 1646s| 7220k| 1349k| 16380k| 2.3 |1189M| 45 | 6 | 50 |9046 | 50 | 17 | 22 |4067k|7953 | 0.000000e+00 | -- | Inf
1648.95/1648.95 c 1649s| 7230k| 1351k| 16402k| 2.3 |1190M| 45 | - | 50 |9270 | 0 | 0 | 22 |4073k|7958 | 0.000000e+00 | -- | Inf
1651.64/1651.64 c 1652s| 7240k| 1352k| 16424k| 2.3 |1192M| 45 | 6 | 50 |9329 | 50 | 17 | 22 |4078k|7961 | 0.000000e+00 | -- | Inf
1654.45/1654.41 c 1654s| 7250k| 1353k| 16446k| 2.3 |1193M| 45 | - | 50 |9540 | 50 | 17 | 22 |4084k|7967 | 0.000000e+00 | -- | Inf
1657.34/1657.32 c 1657s| 7260k| 1355k| 16468k| 2.3 |1194M| 45 | 6 | 50 |8915 | 50 | 17 | 22 |4090k|7972 | 0.000000e+00 | -- | Inf
1660.24/1660.23 c 1660s| 7270k| 1356k| 16490k| 2.3 |1195M| 45 | 6 | 50 |8776 | 50 | 17 | 22 |4097k|7974 | 0.000000e+00 | -- | Inf
1663.04/1663.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1663.04/1663.04 c 1663s| 7280k| 1357k| 16512k| 2.3 |1197M| 45 | 6 | 50 |8871 | 50 | 17 | 22 |4102k|7979 | 0.000000e+00 | -- | Inf
1665.93/1665.90 c 1666s| 7290k| 1358k| 16534k| 2.3 |1198M| 45 | 6 | 50 |9183 | 50 | 17 | 22 |4109k|7981 | 0.000000e+00 | -- | Inf
1668.84/1668.83 c 1669s| 7300k| 1359k| 16556k| 2.3 |1199M| 45 | - | 50 |6995 | 50 | 17 | 22 |4114k|7982 | 0.000000e+00 | -- | Inf
1671.44/1671.49 c 1671s| 7310k| 1360k| 16578k| 2.3 |1200M| 45 | - | 50 |6333 | 0 | 0 | 22 |4120k|7982 | 0.000000e+00 | -- | Inf
1674.24/1674.25 c 1674s| 7320k| 1361k| 16601k| 2.3 |1201M| 45 | 6 | 50 |6269 | 50 | 17 | 22 |4127k|7984 | 0.000000e+00 | -- | Inf
1676.84/1676.88 c 1677s| 7330k| 1363k| 16622k| 2.3 |1203M| 45 | 6 | 50 |6137 | 50 | 17 | 22 |4133k|7987 | 0.000000e+00 | -- | Inf
1679.44/1679.40 c 1679s| 7340k| 1364k| 16645k| 2.3 |1204M| 45 | 6 | 50 |6883 | 50 | 17 | 22 |4138k|7990 | 0.000000e+00 | -- | Inf
1681.95/1681.97 c 1682s| 7350k| 1366k| 16667k| 2.3 |1206M| 45 | 6 | 50 |6417 | 50 | 17 | 22 |4144k|7994 | 0.000000e+00 | -- | Inf
1684.34/1684.37 c 1684s| 7360k| 1367k| 16688k| 2.3 |1208M| 45 | - | 50 |7915 | 50 | 17 | 22 |4150k|7999 | 0.000000e+00 | -- | Inf
1687.04/1687.06 c 1687s| 7370k| 1368k| 16711k| 2.3 |1209M| 45 | - | 50 |6618 | 50 | 17 | 22 |4156k|8001 | 0.000000e+00 | -- | Inf
1689.54/1689.50 c 1689s| 7380k| 1370k| 16734k| 2.3 |1210M| 45 | 6 | 50 |7472 | 50 | 17 | 22 |4162k|8002 | 0.000000e+00 | -- | Inf
1692.03/1692.05 c 1692s| 7390k| 1371k| 16755k| 2.3 |1212M| 45 | - | 50 |7050 | 50 | 17 | 22 |4167k|8002 | 0.000000e+00 | -- | Inf
1694.53/1694.54 c 1695s| 7400k| 1373k| 16777k| 2.3 |1213M| 45 | 6 | 50 |7623 | 50 | 17 | 22 |4173k|8003 | 0.000000e+00 | -- | Inf
1697.34/1697.32 c 1697s| 7410k| 1374k| 16800k| 2.3 |1215M| 45 | 6 | 50 |7573 | 50 | 17 | 22 |4179k|8004 | 0.000000e+00 | -- | Inf
1700.14/1700.16 c 1700s| 7420k| 1375k| 16822k| 2.3 |1216M| 45 | 6 | 50 |6085 | 50 | 17 | 22 |4186k|8006 | 0.000000e+00 | -- | Inf
1702.64/1702.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1702.64/1702.68 c 1703s| 7430k| 1376k| 16845k| 2.3 |1217M| 45 | 6 | 50 |6147 | 50 | 17 | 22 |4192k|8006 | 0.000000e+00 | -- | Inf
1705.24/1705.21 c 1705s| 7440k| 1378k| 16868k| 2.3 |1219M| 45 | 6 | 50 |6056 | 50 | 17 | 22 |4198k|8008 | 0.000000e+00 | -- | Inf
1707.44/1707.47 c 1707s| 7450k| 1380k| 16892k| 2.3 |1221M| 45 | - | 50 |7986 | 0 | 0 | 22 |4204k|8013 | 0.000000e+00 | -- | Inf
1709.94/1709.94 c 1710s| 7460k| 1381k| 16916k| 2.3 |1223M| 45 | 6 | 50 |8257 | 50 | 17 | 22 |4209k|8015 | 0.000000e+00 | -- | Inf
1712.44/1712.46 c 1712s| 7470k| 1383k| 16940k| 2.3 |1224M| 45 | - | 50 |8841 | 50 | 17 | 22 |4215k|8020 | 0.000000e+00 | -- | Inf
1715.14/1715.19 c 1715s| 7480k| 1385k| 16964k| 2.3 |1226M| 45 | 6 | 50 |8865 | 50 | 17 | 22 |4222k|8024 | 0.000000e+00 | -- | Inf
1718.04/1718.05 c 1718s| 7490k| 1386k| 16988k| 2.3 |1227M| 45 | - | 50 |8589 | 50 | 17 | 22 |4228k|8026 | 0.000000e+00 | -- | Inf
1720.84/1720.88 c 1721s| 7500k| 1387k| 17010k| 2.3 |1228M| 45 | - | 50 |7151 | 0 | 0 | 22 |4234k|8032 | 0.000000e+00 | -- | Inf
1723.54/1723.50 c 1724s| 7510k| 1388k| 17032k| 2.3 |1229M| 45 | 6 | 50 |6392 | 50 | 17 | 22 |4241k|8038 | 0.000000e+00 | -- | Inf
1726.24/1726.22 c 1726s| 7520k| 1389k| 17055k| 2.3 |1231M| 45 | 6 | 50 |6610 | 50 | 17 | 22 |4247k|8039 | 0.000000e+00 | -- | Inf
1728.94/1728.94 c 1729s| 7530k| 1391k| 17078k| 2.3 |1232M| 45 | 6 | 50 |5828 | 50 | 17 | 22 |4253k|8039 | 0.000000e+00 | -- | Inf
1731.24/1731.25 c 1731s| 7540k| 1393k| 17100k| 2.3 |1234M| 45 | - | 50 |7369 | 50 | 17 | 22 |4259k|8043 | 0.000000e+00 | -- | Inf
1733.65/1733.69 c 1734s| 7550k| 1394k| 17123k| 2.3 |1236M| 45 | - | 50 |9413 | 50 | 17 | 22 |4264k|8045 | 0.000000e+00 | -- | Inf
1736.74/1736.71 c 1737s| 7560k| 1395k| 17146k| 2.3 |1237M| 45 | 6 | 50 |8064 | 50 | 17 | 22 |4270k|8050 | 0.000000e+00 | -- | Inf
1739.54/1739.52 c 1740s| 7570k| 1397k| 17169k| 2.3 |1238M| 45 | 6 | 50 |5708 | 50 | 17 | 22 |4276k|8052 | 0.000000e+00 | -- | Inf
1741.74/1741.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1741.74/1741.71 c 1742s| 7580k| 1399k| 17191k| 2.3 |1240M| 45 | 6 | 50 |7315 | 50 | 17 | 22 |4282k|8052 | 0.000000e+00 | -- | Inf
1744.14/1744.13 c 1744s| 7590k| 1401k| 17212k| 2.3 |1242M| 45 | - | 50 |8096 | 50 | 17 | 22 |4287k|8054 | 0.000000e+00 | -- | Inf
1746.85/1746.89 c 1747s| 7600k| 1402k| 17234k| 2.3 |1243M| 45 | - | 50 |7898 | 50 | 17 | 22 |4293k|8059 | 0.000000e+00 | -- | Inf
1749.75/1749.77 c 1750s| 7610k| 1403k| 17256k| 2.3 |1244M| 45 | 6 | 50 |7442 | 50 | 17 | 22 |4299k|8062 | 0.000000e+00 | -- | Inf
1752.74/1752.72 c 1753s| 7620k| 1404k| 17279k| 2.3 |1245M| 45 | - | 50 |5971 | 50 | 17 | 22 |4306k|8067 | 0.000000e+00 | -- | Inf
1755.14/1755.16 c 1755s| 7630k| 1406k| 17301k| 2.3 |1247M| 45 | 6 | 50 |6745 | 50 | 17 | 22 |4311k|8071 | 0.000000e+00 | -- | Inf
1757.75/1757.70 c 1758s| 7640k| 1407k| 17325k| 2.3 |1249M| 45 | - | 50 |7794 | 0 | 0 | 22 |4317k|8076 | 0.000000e+00 | -- | Inf
1760.34/1760.34 c 1760s| 7650k| 1409k| 17348k| 2.3 |1250M| 45 | 6 | 50 |7436 | 50 | 17 | 22 |4323k|8082 | 0.000000e+00 | -- | Inf
1763.04/1763.03 c 1763s| 7660k| 1410k| 17371k| 2.3 |1251M| 45 | 6 | 50 |7100 | 50 | 17 | 22 |4329k|8084 | 0.000000e+00 | -- | Inf
1765.74/1765.78 c 1766s| 7670k| 1411k| 17393k| 2.3 |1253M| 45 | - | 50 |6158 | 50 | 17 | 22 |4335k|8091 | 0.000000e+00 | -- | Inf
1768.25/1768.20 c 1768s| 7680k| 1413k| 17416k| 2.3 |1254M| 45 | 6 | 50 |7172 | 50 | 17 | 22 |4341k|8094 | 0.000000e+00 | -- | Inf
1770.84/1770.82 c 1771s| 7690k| 1414k| 17439k| 2.3 |1256M| 45 | 6 | 50 |7094 | 50 | 17 | 22 |4347k|8098 | 0.000000e+00 | -- | Inf
1773.64/1773.60 c 1774s| 7700k| 1416k| 17462k| 2.3 |1257M| 45 | - | 50 |6990 | 50 | 17 | 22 |4353k|8100 | 0.000000e+00 | -- | Inf
1776.04/1776.05 c 1776s| 7710k| 1417k| 17484k| 2.3 |1259M| 45 | - | 50 |7749 | 50 | 17 | 22 |4359k|8103 | 0.000000e+00 | -- | Inf
1778.74/1778.73 c 1779s| 7720k| 1419k| 17507k| 2.3 |1260M| 45 | 6 | 50 |7752 | 50 | 17 | 22 |4365k|8104 | 0.000000e+00 | -- | Inf
1781.44/1781.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1781.44/1781.49 c 1781s| 7730k| 1420k| 17529k| 2.3 |1262M| 45 | - | 50 |6327 | 50 | 17 | 22 |4371k|8110 | 0.000000e+00 | -- | Inf
1784.15/1784.19 c 1784s| 7740k| 1421k| 17551k| 2.3 |1263M| 45 | - | 50 |6487 | 50 | 17 | 22 |4377k|8110 | 0.000000e+00 | -- | Inf
1786.84/1786.89 c 1787s| 7750k| 1423k| 17575k| 2.3 |1264M| 45 | - | 50 |6405 | 50 | 17 | 22 |4383k|8111 | 0.000000e+00 | -- | Inf
1789.24/1789.29 c 1789s| 7760k| 1424k| 17598k| 2.3 |1266M| 45 | 6 | 50 |7201 | 50 | 17 | 22 |4389k|8112 | 0.000000e+00 | -- | Inf
1791.85/1791.86 c 1792s| 7770k| 1425k| 17621k| 2.3 |1268M| 45 | 6 | 50 |9343 | 50 | 17 | 22 |4395k|8116 | 0.000000e+00 | -- | Inf
1794.55/1794.59 c 1795s| 7780k| 1427k| 17644k| 2.3 |1269M| 45 | - | 50 |8505 | 50 | 17 | 22 |4401k|8120 | 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 : 7787842
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-3488787-1307773113.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-3488787-1307773113.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 pseudoobj : 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 4748056 0 4 0 962 3416 0 0 9487556
1797.04/1797.00 c linear : 6+ 7 18525685 0 1 3 7750922 743385 9218313 0 0 0
1797.04/1797.00 c logicor : 0+ 6 8611227 0 0 0 6338725 31635 3240093 0 0 0
1797.04/1797.00 c countsols : 0 0 0 0 1 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.45 0.00 0.00 29.45 0.00 0.00 0.00
1797.04/1797.00 c linear : 148.70 0.00 129.21 0.00 0.00 0.00 19.49
1797.04/1797.00 c logicor : 374.23 0.00 364.52 0.00 0.00 0.00 9.71
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.99 2.99 0.00
1797.04/1797.00 c rootredcost : 3.04 3.04 0.00
1797.04/1797.00 c pseudoobj : 2.17 2.17 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.33 775020 650323 2067319 36.0 171 31.2 -
1797.04/1797.00 c infeasible LP : 72.86 2514253 2514171 4573573 23.5 29765 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 : - - - 3595970 20.8 - - -
1797.04/1797.00 c applied locally : - - - 810695 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.89 4748061 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.02 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.79 4748056 962 3416 0 0 9487556
1797.04/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.04/1797.00 c inference : 0.00 1 0 0 0 0 2
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.20 0 0
1797.04/1797.00 c crossover : 1.51 0 0
1797.04/1797.00 c guideddiving : 0.19 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.18 93 0
1797.04/1797.00 c objpscostdiving : 0.16 47 0
1797.04/1797.00 c rootsoldiving : 0.18 47 0
1797.04/1797.00 c coefdiving : 0.18 94 0
1797.04/1797.00 c pscostdiving : 0.19 94 0
1797.04/1797.00 c feaspump : 0.16 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.91 0 0
1797.04/1797.00 c zirounding : 12.75 0 0
1797.04/1797.00 c rounding : 1.88 30856 0
1797.04/1797.00 c shifting : 2.63 8889 0
1797.04/1797.00 c intshifting : 0.08 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.19 0 0
1797.04/1797.00 c trysol : 1.59 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.15 7071031 17658172 2.50 45729.01
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 33473.58
1797.04/1797.00 c strong branching : 0.87 8121 38868 4.79 44929.53
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 : 7787842
1797.04/1797.00 c nodes (total) : 7787842
1797.04/1797.00 c nodes left : 1428200
1797.04/1797.00 c max depth : 45
1797.04/1797.00 c max depth (total): 45
1797.04/1797.00 c backtracks : 1272106 (16.3%)
1797.04/1797.00 c delayed cutoffs : 271517
1797.04/1797.00 c repropagations : 6460018 (5199453 domain reductions, 245011 cutoffs)
1797.04/1797.00 c avg switch length: 5.37
1797.04/1797.00 c switching time : 451.92
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-3488787-1307773113/watcher-3488787-1307773113 -o /tmp/evaluation-result-3488787-1307773113/solver-3488787-1307773113 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488787-1307773113.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.03 2.00 3/181 9422
/proc/meminfo: memFree=30348140/32951124 swapFree=67054536/67111528
[pid=9422] ppid=9420 vsize=9448 CPUtime=0 cores=0,2,4,6
/proc/9422/stat : 9422 (scip-2.0.1.4b_2) R 9420 9422 8117 0 -1 4202496 1482 0 0 0 0 0 0 0 25 0 1 0 888909193 9674752 1436 33554432000 4194304 9016284 140734403432416 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9422/statm: 2362 1438 311 1178 0 1180 0
[startup+0.0602749 s]
/proc/loadavg: 2.00 2.03 2.00 3/181 9422
/proc/meminfo: memFree=30348140/32951124 swapFree=67054536/67111528
[pid=9422] ppid=9420 vsize=28360 CPUtime=0.05 cores=0,2,4,6
/proc/9422/stat : 9422 (scip-2.0.1.4b_2) R 9420 9422 8117 0 -1 4202496 7027 0 0 0 5 0 0 0 18 0 1 0 888909193 29040640 6018 33554432000 4194304 9016284 140734403432416 18446744073709551615 7870569 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9422/statm: 7090 6024 679 1178 0 5908 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 28360
[startup+0.100315 s]
/proc/loadavg: 2.00 2.03 2.00 3/181 9422
/proc/meminfo: memFree=30348140/32951124 swapFree=67054536/67111528
[pid=9422] ppid=9420 vsize=26308 CPUtime=0.08 cores=0,2,4,6
/proc/9422/stat : 9422 (scip-2.0.1.4b_2) R 9420 9422 8117 0 -1 4202496 7295 0 0 0 8 0 0 0 18 0 1 0 888909193 26939392 5545 33554432000 4194304 9016284 140734403432416 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9422/statm: 6577 5545 681 1178 0 5395 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 26308
[startup+0.300274 s]
/proc/loadavg: 2.00 2.03 2.00 3/181 9422
/proc/meminfo: memFree=30348140/32951124 swapFree=67054536/67111528
[pid=9422] ppid=9420 vsize=26308 CPUtime=0.28 cores=0,2,4,6
/proc/9422/stat : 9422 (scip-2.0.1.4b_2) R 9420 9422 8117 0 -1 4202496 7298 0 0 0 27 1 0 0 18 0 1 0 888909193 26939392 5548 33554432000 4194304 9016284 140734403432416 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9422/statm: 6577 5548 684 1178 0 5395 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 26308
[startup+0.700213 s]
/proc/loadavg: 2.00 2.03 2.00 3/181 9422
/proc/meminfo: memFree=30348140/32951124 swapFree=67054536/67111528
[pid=9422] ppid=9420 vsize=26308 CPUtime=0.69 cores=0,2,4,6
/proc/9422/stat : 9422 (scip-2.0.1.4b_2) R 9420 9422 8117 0 -1 4202496 7302 0 0 0 66 3 0 0 18 0 1 0 888909193 26939392 5552 33554432000 4194304 9016284 140734403432416 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9422/statm: 6577 5552 684 1178 0 5395 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26308
[startup+1.50106 s]
/proc/loadavg: 2.00 2.03 2.00 3/182 9423
/proc/meminfo: memFree=30327828/32951124 swapFree=67054536/67111528
[pid=9422] ppid=9420 vsize=26308 CPUtime=1.49 cores=0,2,4,6
/proc/9422/stat : 9422 (scip-2.0.1.4b_2) R 9420 9422 8117 0 -1 4202496 7307 0 0 0 144 5 0 0 20 0 1 0 888909193 26939392 5557 33554432000 4194304 9016284 140734403432416 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9422/statm: 6577 5557 684 1178 0 5395 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26308
[startup+3.10074 s]
/proc/loadavg: 2.00 2.03 2.00 3/182 9423
/proc/meminfo: memFree=30326584/32951124 swapFree=67054536/67111528
[pid=9422] ppid=9420 vsize=26308 CPUtime=3.09 cores=0,2,4,6
/proc/9422/stat : 9422 (scip-2.0.1.4b_2) R 9420 9422 8117 0 -1 4202496 7319 0 0 0 299 10 0 0 25 0 1 0 888909193 26939392 5569 33554432000 4194304 9016284 140734403432416 18446744073709551615 5879278 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9422/statm: 6577 5569 684 1178 0 5395 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26308
[startup+6.30019 s]
/proc/loadavg: 2.00 2.03 2.00 3/182 9423
/proc/meminfo: memFree=30320580/32951124 swapFree=67054536/67111528
[pid=9422] ppid=9420 vsize=31172 CPUtime=6.28 cores=0,2,4,6
/proc/9422/stat : 9422 (scip-2.0.1.4b_2) R 9420 9422 8117 0 -1 4202496 8449 0 0 0 608 20 0 0 25 0 1 0 888909193 31920128 6699 33554432000 4194304 9016284 140734403432416 18446744073709551615 4349791 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9422/statm: 7793 6699 684 1178 0 6611 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 31172
[startup+12.701 s]
/proc/loadavg: 2.00 2.03 2.00 3/182 9423
/proc/meminfo: memFree=30304560/32951124 swapFree=67054536/67111528
[pid=9422] ppid=9420 vsize=39600 CPUtime=12.69 cores=0,2,4,6
/proc/9422/stat : 9422 (scip-2.0.1.4b_2) R 9420 9422 8117 0 -1 4202496 10605 0 0 0 1228 41 0 0 25 0 1 0 888909193 40550400 8855 33554432000 4194304 9016284 140734403432416 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9422/statm: 9900 8855 684 1178 0 8718 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 39600
[startup+25.5007 s]
/proc/loadavg: 2.00 2.03 2.00 3/182 9424
/proc/meminfo: memFree=30275420/32951124 swapFree=67054536/67111528
[pid=9422] ppid=9420 vsize=56568 CPUtime=25.49 cores=0,2,4,6
/proc/9422/stat : 9422 (scip-2.0.1.4b_2) R 9420 9422 8117 0 -1 4202496 14899 0 0 0 2473 76 0 0 25 0 1 0 888909193 57925632 13149 33554432000 4194304 9016284 140734403432416 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9422/statm: 14142 13149 684 1178 0 12960 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 56568
[startup+51.101 s]
/proc/loadavg: 2.00 2.02 2.00 3/182 9424
/proc/meminfo: memFree=30226900/32951124 swapFree=67054536/67111528
[pid=9422] ppid=9420 vsize=90480 CPUtime=51.09 cores=0,2,4,6
/proc/9422/stat : 9422 (scip-2.0.1.4b_2) R 9420 9422 8117 0 -1 4202496 22979 0 0 0 4964 145 0 0 25 0 1 0 888909193 92651520 21229 33554432000 4194304 9016284 140734403432416 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9422/statm: 22620 21229 684 1178 0 21438 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 90480
[startup+102.307 s]
/proc/loadavg: 2.00 2.02 2.00 3/182 9426
/proc/meminfo: memFree=30132152/32951124 swapFree=67054536/67111528
[pid=9422] ppid=9420 vsize=146612 CPUtime=102.3 cores=0,2,4,6
/proc/9422/stat : 9422 (scip-2.0.1.4b_2) R 9420 9422 8117 0 -1 4202496 37247 0 0 0 9954 276 0 0 25 0 1 0 888909193 150130688 35497 33554432000 4194304 9016284 140734403432416 18446744073709551615 5325519 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9422/statm: 36653 35497 684 1178 0 35471 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 146612
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 9427
/proc/meminfo: memFree=30019904/32951124 swapFree=67054536/67111528
[pid=9422] ppid=9420 vsize=212524 CPUtime=162.3 cores=0,2,4,6
/proc/9422/stat : 9422 (scip-2.0.1.4b_2) R 9420 9422 8117 0 -1 4202496 52926 0 0 0 15798 432 0 0 25 0 1 0 888909193 217624576 51176 33554432000 4194304 9016284 140734403432416 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9422/statm: 53131 51176 684 1178 0 51949 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 212524
[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 9429
/proc/meminfo: memFree=29906264/32951124 swapFree=67054536/67111528
[pid=9422] ppid=9420 vsize=269772 CPUtime=222.29 cores=0,2,4,6
/proc/9422/stat : 9422 (scip-2.0.1.4b_2) R 9420 9422 8117 0 -1 4202496 67591 0 0 0 21647 582 0 0 25 0 1 0 888909193 276246528 65841 33554432000 4194304 9016284 140734403432416 18446744073709551615 6679808 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9422/statm: 67443 65841 684 1178 0 66261 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 269772
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 9431
/proc/meminfo: memFree=29808860/32951124 swapFree=67054536/67111528
[pid=9422] ppid=9420 vsize=323276 CPUtime=282.3 cores=0,2,4,6
/proc/9422/stat : 9422 (scip-2.0.1.4b_2) R 9420 9422 8117 0 -1 4202496 81172 0 0 0 27502 728 0 0 25 0 1 0 888909193 331034624 79422 33554432000 4194304 9016284 140734403432416 18446744073709551615 4888006 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9422/statm: 80819 79422 684 1178 0 79637 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 323276
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 9432
/proc/meminfo: memFree=29707984/32951124 swapFree=67054536/67111528
[pid=9422] ppid=9420 vsize=376072 CPUtime=342.3 cores=0,2,4,6
/proc/9422/stat : 9422 (scip-2.0.1.4b_2) R 9420 9422 8117 0 -1 4202496 94618 0 0 0 33363 867 0 0 25 0 1 0 888909193 385097728 92868 33554432000 4194304 9016284 140734403432416 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9422/statm: 94018 92868 684 1178 0 92836 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 376072
[startup+402.301 s]
/proc/loadavg: 2.05 2.01 2.00 3/182 9434
/proc/meminfo: memFree=29613564/32951124 swapFree=67054536/67111528
[pid=9422] ppid=9420 vsize=435940 CPUtime=402.31 cores=0,2,4,6
/proc/9422/stat : 9422 (scip-2.0.1.4b_2) R 9420 9422 8117 0 -1 4202496 107721 0 0 0 39230 1001 0 0 25 0 1 0 888909193 446402560 105971 33554432000 4194304 9016284 140734403432416 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9422/statm: 108985 105971 684 1178 0 107803 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 435940
[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/182 9435
/proc/meminfo: memFree=29511840/32951124 swapFree=67054536/67111528
[pid=9422] ppid=9420 vsize=485380 CPUtime=462.3 cores=0,2,4,6
/proc/9422/stat : 9422 (scip-2.0.1.4b_2) R 9420 9422 8117 0 -1 4202496 120223 0 0 0 45094 1136 0 0 25 0 1 0 888909193 497029120 118473 33554432000 4194304 9016284 140734403432416 18446744073709551615 5325519 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9422/statm: 121345 118473 684 1178 0 120163 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 485380
[startup+522.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/182 9437
/proc/meminfo: memFree=29417896/32951124 swapFree=67054536/67111528
[pid=9422] ppid=9420 vsize=530348 CPUtime=522.31 cores=0,2,4,6
/proc/9422/stat : 9422 (scip-2.0.1.4b_2) R 9420 9422 8117 0 -1 4202496 131798 0 0 0 50954 1277 0 0 25 0 1 0 888909193 543076352 130048 33554432000 4194304 9016284 140734403432416 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9422/statm: 132587 130048 684 1178 0 131405 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 530348
[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/182 9439
/proc/meminfo: memFree=29318752/32951124 swapFree=67054536/67111528
[pid=9422] ppid=9420 vsize=573416 CPUtime=582.31 cores=0,2,4,6
/proc/9422/stat : 9422 (scip-2.0.1.4b_2) R 9420 9422 8117 0 -1 4202496 142639 0 0 0 56826 1405 0 0 25 0 1 0 888909193 587177984 140889 33554432000 4194304 9016284 140734403432416 18446744073709551615 4689482 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9422/statm: 143354 140889 684 1178 0 142172 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 573416
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/182 9484
/proc/meminfo: memFree=30658912/32951124 swapFree=67054536/67111528
[pid=9422] ppid=9420 vsize=740696 CPUtime=822.32 cores=0,2,4,6
/proc/9422/stat : 9422 (scip-2.0.1.4b_2) R 9420 9422 8117 0 -1 4202496 185329 0 0 0 80353 1879 0 0 25 0 1 0 888909193 758472704 183579 33554432000 4194304 9016284 140734403432416 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9422/statm: 185174 183579 684 1178 0 183992 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 740696
[startup+882.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 9486
/proc/meminfo: memFree=30617564/32951124 swapFree=67054536/67111528
[pid=9422] ppid=9420 vsize=781708 CPUtime=882.32 cores=0,2,4,6
/proc/9422/stat : 9422 (scip-2.0.1.4b_2) R 9420 9422 8117 0 -1 4202496 195474 0 0 0 86239 1993 0 0 25 0 1 0 888909193 800468992 193724 33554432000 4194304 9016284 140734403432416 18446744073709551615 4349788 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9422/statm: 195427 193724 684 1178 0 194245 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 781708
[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/182 9525
/proc/meminfo: memFree=30541308/32951124 swapFree=67054536/67111528
[pid=9422] ppid=9420 vsize=821792 CPUtime=942.31 cores=0,2,4,6
/proc/9422/stat : 9422 (scip-2.0.1.4b_2) R 9420 9422 8117 0 -1 4202496 205746 0 0 0 92122 2109 0 0 25 0 1 0 888909193 841515008 203996 33554432000 4194304 9016284 140734403432416 18446744073709551615 4803445 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9422/statm: 205448 203996 684 1178 0 204266 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 821792
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 9527
/proc/meminfo: memFree=30409600/32951124 swapFree=67054536/67111528
[pid=9422] ppid=9420 vsize=853892 CPUtime=1002.32 cores=0,2,4,6
/proc/9422/stat : 9422 (scip-2.0.1.4b_2) R 9420 9422 8117 0 -1 4202496 213913 0 0 0 98029 2203 0 0 25 0 1 0 888909193 874385408 212163 33554432000 4194304 9016284 140734403432416 18446744073709551615 5325537 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9422/statm: 213473 212163 684 1178 0 212291 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 853892
[startup+1062.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/182 9528
/proc/meminfo: memFree=30287524/32951124 swapFree=67054536/67111528
[pid=9422] ppid=9420 vsize=904736 CPUtime=1062.32 cores=0,2,4,6
/proc/9422/stat : 9422 (scip-2.0.1.4b_2) R 9420 9422 8117 0 -1 4202496 222416 0 0 0 103918 2314 0 0 25 0 1 0 888909193 926449664 220666 33554432000 4194304 9016284 140734403432416 18446744073709551615 4319232 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9422/statm: 226184 220666 684 1178 0 225002 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 904736
[startup+1122.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/182 9530
/proc/meminfo: memFree=30172272/32951124 swapFree=67054536/67111528
[pid=9422] ppid=9420 vsize=937900 CPUtime=1122.32 cores=0,2,4,6
/proc/9422/stat : 9422 (scip-2.0.1.4b_2) R 9420 9422 8117 0 -1 4202496 230903 0 0 0 109808 2424 0 0 25 0 1 0 888909193 960409600 229153 33554432000 4194304 9016284 140734403432416 18446744073709551615 6679823 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9422/statm: 234475 229153 684 1178 0 233293 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 937900
[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/182 9532
/proc/meminfo: memFree=30050456/32951124 swapFree=67054536/67111528
[pid=9422] ppid=9420 vsize=976884 CPUtime=1182.33 cores=0,2,4,6
/proc/9422/stat : 9422 (scip-2.0.1.4b_2) R 9420 9422 8117 0 -1 4202496 240912 0 0 0 115695 2538 0 0 25 0 1 0 888909193 1000329216 239162 33554432000 4194304 9016284 140734403432416 18446744073709551615 4318655 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9422/statm: 244221 239162 684 1178 0 243039 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 976884
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 9533
/proc/meminfo: memFree=29937192/32951124 swapFree=67054536/67111528
[pid=9422] ppid=9420 vsize=1010492 CPUtime=1242.32 cores=0,2,4,6
/proc/9422/stat : 9422 (scip-2.0.1.4b_2) R 9420 9422 8117 0 -1 4202496 249547 0 0 0 121584 2648 0 0 25 0 1 0 888909193 1034743808 247797 33554432000 4194304 9016284 140734403432416 18446744073709551615 6469453 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9422/statm: 252623 247797 684 1178 0 251441 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1010492
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 9535
/proc/meminfo: memFree=29815740/32951124 swapFree=67054536/67111528
[pid=9422] ppid=9420 vsize=1048964 CPUtime=1302.33 cores=0,2,4,6
/proc/9422/stat : 9422 (scip-2.0.1.4b_2) R 9420 9422 8117 0 -1 4202496 259432 0 0 0 127477 2756 0 0 25 0 1 0 888909193 1074139136 257682 33554432000 4194304 9016284 140734403432416 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9422/statm: 262241 257682 684 1178 0 261059 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1048964
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 9536
/proc/meminfo: memFree=29700988/32951124 swapFree=67054536/67111528
[pid=9422] ppid=9420 vsize=1083992 CPUtime=1362.33 cores=0,2,4,6
/proc/9422/stat : 9422 (scip-2.0.1.4b_2) R 9420 9422 8117 0 -1 4202496 268018 0 0 0 133374 2859 0 0 25 0 1 0 888909193 1110007808 266268 33554432000 4194304 9016284 140734403432416 18446744073709551615 4318144 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9422/statm: 270998 266268 684 1178 0 269816 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1083992
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 9538
/proc/meminfo: memFree=29598000/32951124 swapFree=67054536/67111528
[pid=9422] ppid=9420 vsize=1114656 CPUtime=1422.34 cores=0,2,4,6
/proc/9422/stat : 9422 (scip-2.0.1.4b_2) R 9420 9422 8117 0 -1 4202496 275900 0 0 0 139271 2963 0 0 25 0 1 0 888909193 1141407744 274150 33554432000 4194304 9016284 140734403432416 18446744073709551615 4985823 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9422/statm: 278664 274150 684 1178 0 277482 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1114656
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 9540
/proc/meminfo: memFree=29487952/32951124 swapFree=67054536/67111528
[pid=9422] ppid=9420 vsize=1149768 CPUtime=1482.33 cores=0,2,4,6
/proc/9422/stat : 9422 (scip-2.0.1.4b_2) R 9420 9422 8117 0 -1 4202496 284836 0 0 0 145164 3069 0 0 25 0 1 0 888909193 1177362432 283086 33554432000 4194304 9016284 140734403432416 18446744073709551615 5252075 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9422/statm: 287442 283086 684 1178 0 286260 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1149768
[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/182 9541
/proc/meminfo: memFree=29374324/32951124 swapFree=67054536/67111528
[pid=9422] ppid=9420 vsize=1185520 CPUtime=1542.33 cores=0,2,4,6
/proc/9422/stat : 9422 (scip-2.0.1.4b_2) R 9420 9422 8117 0 -1 4202496 293948 0 0 0 151055 3178 0 0 25 0 1 0 888909193 1213972480 292198 33554432000 4194304 9016284 140734403432416 18446744073709551615 7818750 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9422/statm: 296380 292198 684 1178 0 295198 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1185520
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/182 9543
/proc/meminfo: memFree=29267132/32951124 swapFree=67054536/67111528
[pid=9422] ppid=9420 vsize=1219920 CPUtime=1602.34 cores=0,2,4,6
/proc/9422/stat : 9422 (scip-2.0.1.4b_2) R 9420 9422 8117 0 -1 4202496 302781 0 0 0 156958 3276 0 0 25 0 1 0 888909193 1249198080 301031 33554432000 4194304 9016284 140734403432416 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9422/statm: 304980 301031 684 1178 0 303798 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1219920
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 9544
/proc/meminfo: memFree=29157324/32951124 swapFree=67054536/67111528
[pid=9422] ppid=9420 vsize=1252400 CPUtime=1662.34 cores=0,2,4,6
/proc/9422/stat : 9422 (scip-2.0.1.4b_2) R 9420 9422 8117 0 -1 4202496 310599 0 0 0 162855 3379 0 0 25 0 1 0 888909193 1282457600 308849 33554432000 4194304 9016284 140734403432416 18446744073709551615 5325802 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9422/statm: 313100 308849 684 1178 0 311918 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1252400
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 9546
/proc/meminfo: memFree=29054848/32951124 swapFree=67054536/67111528
[pid=9422] ppid=9420 vsize=1285108 CPUtime=1722.34 cores=0,2,4,6
/proc/9422/stat : 9422 (scip-2.0.1.4b_2) R 9420 9422 8117 0 -1 4202496 318968 0 0 0 168749 3485 0 0 25 0 1 0 888909193 1315950592 317218 33554432000 4194304 9016284 140734403432416 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9422/statm: 321277 317218 684 1178 0 320095 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1285108
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 9548
/proc/meminfo: memFree=28944936/32951124 swapFree=67054536/67111528
[pid=9422] ppid=9420 vsize=1318256 CPUtime=1782.35 cores=0,2,4,6
/proc/9422/stat : 9422 (scip-2.0.1.4b_2) R 9420 9422 8117 0 -1 4202496 327488 0 0 0 174642 3593 0 0 25 0 1 0 888909193 1349894144 325738 33554432000 4194304 9016284 140734403432416 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9422/statm: 329564 325738 684 1178 0 328382 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 1318256
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 9548
/proc/meminfo: memFree=28918996/32951124 swapFree=67054536/67111528
[pid=9422] ppid=9420 vsize=1324084 CPUtime=1800.04 cores=0,2,4,6
/proc/9422/stat : 9422 (scip-2.0.1.4b_2) R 9420 9422 8117 0 -1 4202496 328959 0 0 0 176387 3617 0 0 25 0 1 0 888909193 1355862016 327209 33554432000 4194304 9016284 140734403432416 18446744073709551615 4897769 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9422/statm: 331021 327209 685 1178 0 329839 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1324084
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.88
CPU system time (s): 36.2295
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1324084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1763.88
system time used= 36.2295
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 328959
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 20176
runsolver used 3.15652 second user time and 6.23905 second system time
The end