0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3452522-1307095630.opb>
0.00/0.00 c original problem has 51 variables (51 bin, 0 int, 0 impl, 0 cont) and 13 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c presolving:
0.00/0.00 c (round 1) 1 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.00 c (round 2) 1 del vars, 7 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c presolving (3 rounds):
0.00/0.01 c 1 deleted vars, 7 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 0 implications, 0 cliques
0.00/0.01 c presolved problem has 50 variables (50 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.00/0.01 c 6 constraints of type <linear>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.00
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 2.0.1.4
0.00/0.01 c
0.00/0.01 c # frequency for displaying node information lines
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.01 c display/freq = 10000
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/time = 1800
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = 13950
0.00/0.01 c
0.00/0.01 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.01 c # [type: int, range: [1,2], default: 1]
0.00/0.01 c timing/clocktype = 2
0.00/0.01 c
0.00/0.01 c # belongs reading time to solving time?
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c timing/reading = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify inequalities
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/linear/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/indicator/addCouplingCons = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify knapsacks
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c separating/rapidlearning/freq = 0
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.01 c 0.0s| 1 | 0 | 32 | - | 292k| 0 | 6 | 50 | 15 | 50 | 6 | 0 | 9 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 114 | - | 323k| 0 | 9 | 50 | 15 | 50 | 11 | 5 | 9 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 118 | - | 365k| 0 | 13 | 50 | 15 | 50 | 16 | 10 | 9 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 123 | - | 392k| 0 | 14 | 50 | 15 | 50 | 20 | 14 | 9 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 134 | - | 423k| 0 | 14 | 50 | 15 | 50 | 24 | 18 | 9 | 0 | 0.000000e+00 | -- | Inf
0.00/0.05 c 0.0s| 1 | 0 | 142 | - | 437k| 0 | 13 | 50 | 15 | 50 | 27 | 21 | 9 | 0 | 0.000000e+00 | -- | Inf
0.00/0.05 c 0.1s| 1 | 0 | 149 | - | 448k| 0 | 15 | 50 | 15 | 50 | 30 | 24 | 9 | 0 | 0.000000e+00 | -- | Inf
0.00/0.07 c 0.1s| 1 | 2 | 149 | - | 449k| 0 | 15 | 50 | 15 | 50 | 30 | 24 | 9 | 9 | 0.000000e+00 | -- | Inf
1.49/1.58 c 1.6s| 10000 | 4611 | 25233 | 2.5 |4187k| 44 | 6 | 50 |3118 | 50 | 15 | 24 |3876 | 510 | 0.000000e+00 | -- | Inf
3.09/3.18 c 3.2s| 20000 | 8565 | 49525 | 2.5 |6322k| 44 | - | 50 |1948 | 50 | 15 | 24 |8158 | 717 | 0.000000e+00 | -- | Inf
4.59/4.61 c 4.6s| 30000 | 12511 | 75204 | 2.5 |8832k| 44 | 6 | 50 |2622 | 50 | 15 | 24 | 12k| 879 | 0.000000e+00 | -- | Inf
6.09/6.12 c 6.1s| 40000 | 16037 | 99896 | 2.5 | 11M| 44 | - | 50 |2824 | 50 | 15 | 24 | 17k| 977 | 0.000000e+00 | -- | Inf
7.59/7.70 c 7.7s| 50000 | 19288 |124949 | 2.5 | 13M| 44 | - | 50 |2814 | 0 | 0 | 24 | 21k|1060 | 0.000000e+00 | -- | Inf
9.19/9.23 c 9.2s| 60000 | 22626 |150113 | 2.5 | 15M| 44 | 6 | 50 |3582 | 50 | 15 | 24 | 26k|1147 | 0.000000e+00 | -- | Inf
10.79/10.80 c 10.8s| 70000 | 25861 |175355 | 2.5 | 17M| 44 | 6 | 50 |3920 | 50 | 15 | 24 | 31k|1211 | 0.000000e+00 | -- | Inf
12.29/12.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.29/12.38 c 12.4s| 80000 | 29126 |200518 | 2.5 | 20M| 44 | 6 | 50 |3724 | 50 | 15 | 24 | 36k|1253 | 0.000000e+00 | -- | Inf
13.99/14.05 c 14.0s| 90000 | 32081 |225750 | 2.5 | 22M| 44 | - | 50 |3746 | 50 | 15 | 24 | 41k|1276 | 0.000000e+00 | -- | Inf
15.69/15.72 c 15.7s|100000 | 34928 |251048 | 2.5 | 24M| 44 | - | 50 |3887 | 50 | 15 | 24 | 46k|1347 | 0.000000e+00 | -- | Inf
17.29/17.37 c 17.4s|110000 | 38150 |275929 | 2.5 | 26M| 44 | 6 | 50 |3901 | 50 | 15 | 24 | 51k|1410 | 0.000000e+00 | -- | Inf
18.99/19.02 c 19.0s|120000 | 41056 |301650 | 2.5 | 28M| 44 | - | 50 |4044 | 50 | 15 | 24 | 56k|1465 | 0.000000e+00 | -- | Inf
20.69/20.73 c 20.7s|130000 | 43940 |326973 | 2.5 | 30M| 44 | 6 | 50 |4220 | 50 | 15 | 24 | 62k|1515 | 0.000000e+00 | -- | Inf
22.29/22.32 c 22.3s|140000 | 47205 |353390 | 2.5 | 32M| 44 | 6 | 50 |4922 | 50 | 15 | 24 | 67k|1563 | 0.000000e+00 | -- | Inf
23.89/23.98 c 24.0s|150000 | 50180 |379086 | 2.5 | 35M| 44 | 6 | 50 |5303 | 50 | 15 | 24 | 72k|1615 | 0.000000e+00 | -- | Inf
25.69/25.70 c 25.7s|160000 | 53040 |404224 | 2.5 | 36M| 44 | 6 | 50 |4455 | 50 | 15 | 24 | 77k|1663 | 0.000000e+00 | -- | Inf
27.39/27.48 c 27.5s|170000 | 55610 |429943 | 2.5 | 38M| 44 | 6 | 50 |4553 | 50 | 15 | 24 | 82k|1711 | 0.000000e+00 | -- | Inf
29.09/29.16 c 29.2s|180000 | 58542 |454784 | 2.5 | 41M| 44 | - | 50 |4689 | 50 | 15 | 24 | 87k|1756 | 0.000000e+00 | -- | Inf
30.81/30.91 c 30.9s|190000 | 61314 |480327 | 2.5 | 43M| 44 | 6 | 50 |4936 | 50 | 15 | 24 | 93k|1789 | 0.000000e+00 | -- | Inf
32.59/32.60 c 32.6s|200000 | 64236 |505034 | 2.5 | 45M| 44 | 6 | 50 |5199 | 50 | 15 | 24 | 98k|1822 | 0.000000e+00 | -- | Inf
34.29/34.31 c 34.3s|210000 | 67249 |530392 | 2.5 | 47M| 44 | 6 | 50 |5438 | 50 | 15 | 24 | 103k|1873 | 0.000000e+00 | -- | Inf
36.09/36.11 c 36.1s|220000 | 69924 |556317 | 2.5 | 49M| 44 | 6 | 50 |4796 | 50 | 15 | 24 | 108k|1911 | 0.000000e+00 | -- | Inf
37.79/37.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.79/37.86 c 37.9s|230000 | 72660 |581470 | 2.5 | 51M| 44 | 6 | 50 |4626 | 50 | 15 | 24 | 114k|1954 | 0.000000e+00 | -- | Inf
39.61/39.68 c 39.7s|240000 | 75279 |606290 | 2.5 | 53M| 44 | 6 | 50 |4194 | 50 | 15 | 24 | 119k|1996 | 0.000000e+00 | -- | Inf
41.39/41.41 c 41.4s|250000 | 77979 |632475 | 2.5 | 55M| 44 | 6 | 50 |4948 | 50 | 15 | 24 | 124k|2037 | 0.000000e+00 | -- | Inf
43.01/43.03 c 43.0s|260000 | 81035 |658284 | 2.5 | 57M| 44 | 6 | 50 |5811 | 50 | 15 | 24 | 129k|2070 | 0.000000e+00 | -- | Inf
44.79/44.83 c 44.8s|270000 | 83961 |683316 | 2.5 | 59M| 44 | 6 | 50 |5342 | 50 | 15 | 24 | 134k|2104 | 0.000000e+00 | -- | Inf
46.49/46.57 c 46.6s|280000 | 86796 |708939 | 2.5 | 61M| 44 | - | 50 |5631 | 50 | 15 | 24 | 140k|2133 | 0.000000e+00 | -- | Inf
48.29/48.41 c 48.4s|290000 | 89535 |734342 | 2.5 | 63M| 44 | - | 50 |4957 | 50 | 15 | 24 | 145k|2158 | 0.000000e+00 | -- | Inf
50.19/50.21 c 50.2s|300000 | 92136 |759652 | 2.5 | 65M| 44 | 6 | 50 |5462 | 50 | 15 | 24 | 151k|2186 | 0.000000e+00 | -- | Inf
51.99/52.05 c 52.0s|310000 | 94628 |785316 | 2.5 | 67M| 44 | 6 | 50 |5145 | 50 | 15 | 24 | 156k|2216 | 0.000000e+00 | -- | Inf
53.80/53.88 c 53.9s|320000 | 97221 |811143 | 2.5 | 69M| 44 | 6 | 50 |5300 | 50 | 15 | 24 | 162k|2244 | 0.000000e+00 | -- | Inf
55.59/55.67 c 55.7s|330000 |100047 |836354 | 2.5 | 71M| 44 | 6 | 50 |5108 | 50 | 15 | 24 | 167k|2287 | 0.000000e+00 | -- | Inf
57.31/57.39 c 57.4s|340000 |102935 |862164 | 2.5 | 73M| 44 | 6 | 50 |5788 | 50 | 15 | 24 | 172k|2316 | 0.000000e+00 | -- | Inf
59.20/59.25 c 59.2s|350000 |105511 |887281 | 2.5 | 75M| 44 | 6 | 50 |4700 | 50 | 15 | 24 | 178k|2348 | 0.000000e+00 | -- | Inf
60.99/61.07 c 61.1s|360000 |108073 |912175 | 2.5 | 77M| 44 | 6 | 50 |4552 | 50 | 15 | 24 | 183k|2377 | 0.000000e+00 | -- | Inf
62.81/62.89 c 62.9s|370000 |110635 |937229 | 2.5 | 79M| 44 | 6 | 50 |4327 | 50 | 15 | 24 | 189k|2408 | 0.000000e+00 | -- | Inf
64.69/64.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.69/64.70 c 64.7s|380000 |113011 |962228 | 2.5 | 81M| 44 | 6 | 50 |4620 | 50 | 15 | 24 | 194k|2441 | 0.000000e+00 | -- | Inf
66.29/66.36 c 66.4s|390000 |115891 |988420 | 2.5 | 83M| 44 | 6 | 50 |6225 | 50 | 15 | 24 | 200k|2476 | 0.000000e+00 | -- | Inf
68.31/68.32 c 68.3s|400000 |118150 | 1013k| 2.5 | 85M| 44 | - | 50 |5562 | 50 | 15 | 24 | 205k|2510 | 0.000000e+00 | -- | Inf
69.87/69.96 c 70.0s|410000 |120687 | 1041k| 2.5 | 87M| 45 | - | 50 |6349 | 50 | 15 | 24 | 211k|2536 | 0.000000e+00 | -- | Inf
71.64/71.75 c 71.8s|420000 |123331 | 1067k| 2.5 | 89M| 45 | 6 | 50 |5849 | 50 | 15 | 24 | 217k|2567 | 0.000000e+00 | -- | Inf
73.53/73.68 c 73.7s|430000 |125639 | 1092k| 2.5 | 91M| 45 | 6 | 50 |5165 | 50 | 15 | 24 | 222k|2602 | 0.000000e+00 | -- | Inf
75.43/75.56 c 75.6s|440000 |128028 | 1118k| 2.5 | 93M| 45 | 6 | 50 |5526 | 50 | 15 | 24 | 228k|2629 | 0.000000e+00 | -- | Inf
77.23/77.37 c 77.4s|450000 |130443 | 1145k| 2.5 | 95M| 45 | - | 50 |6376 | 50 | 15 | 24 | 234k|2661 | 0.000000e+00 | -- | Inf
79.34/79.42 c 79.4s|460000 |132756 | 1170k| 2.5 | 96M| 45 | 6 | 50 |4746 | 50 | 15 | 24 | 240k|2695 | 0.000000e+00 | -- | Inf
81.14/81.29 c 81.3s|470000 |135096 | 1196k| 2.5 | 98M| 45 | 6 | 50 |5228 | 50 | 15 | 24 | 246k|2728 | 0.000000e+00 | -- | Inf
83.03/83.16 c 83.2s|480000 |137406 | 1222k| 2.5 | 100M| 45 | 6 | 50 |5425 | 50 | 15 | 24 | 251k|2752 | 0.000000e+00 | -- | Inf
85.04/85.10 c 85.1s|490000 |139637 | 1248k| 2.5 | 102M| 45 | 6 | 50 |4936 | 50 | 15 | 24 | 257k|2784 | 0.000000e+00 | -- | Inf
86.74/86.91 c 86.9s|500000 |142190 | 1273k| 2.5 | 105M| 45 | 6 | 50 |6488 | 50 | 15 | 24 | 263k|2802 | 0.000000e+00 | -- | Inf
88.84/88.92 c 88.9s|510000 |144548 | 1298k| 2.5 | 106M| 45 | 6 | 50 |5666 | 50 | 15 | 24 | 268k|2833 | 0.000000e+00 | -- | Inf
90.63/90.74 c 90.7s|520000 |147007 | 1323k| 2.5 | 108M| 45 | 6 | 50 |5890 | 50 | 15 | 24 | 274k|2858 | 0.000000e+00 | -- | Inf
92.53/92.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
92.53/92.64 c 92.6s|530000 |149514 | 1348k| 2.5 | 110M| 45 | 6 | 50 |5406 | 50 | 15 | 24 | 279k|2882 | 0.000000e+00 | -- | Inf
94.44/94.59 c 94.6s|540000 |151682 | 1373k| 2.5 | 112M| 45 | 6 | 50 |4991 | 50 | 15 | 24 | 285k|2908 | 0.000000e+00 | -- | Inf
96.24/96.33 c 96.3s|550000 |154424 | 1399k| 2.5 | 114M| 45 | 6 | 50 |6548 | 50 | 15 | 24 | 290k|2935 | 0.000000e+00 | -- | Inf
98.24/98.31 c 98.3s|560000 |156883 | 1424k| 2.5 | 115M| 45 | - | 50 |4617 | 50 | 15 | 24 | 296k|2964 | 0.000000e+00 | -- | Inf
100.05/100.13 c 100s|570000 |159268 | 1450k| 2.5 | 118M| 45 | 6 | 50 |5226 | 50 | 15 | 24 | 302k|2992 | 0.000000e+00 | -- | Inf
101.83/101.99 c 102s|580000 |161601 | 1476k| 2.5 | 120M| 45 | 6 | 50 |5944 | 50 | 15 | 24 | 307k|3015 | 0.000000e+00 | -- | Inf
103.53/103.68 c 104s|590000 |164786 | 1501k| 2.5 | 122M| 45 | 6 | 50 |7073 | 50 | 15 | 24 | 312k|3041 | 0.000000e+00 | -- | Inf
105.43/105.53 c 106s|600000 |167484 | 1527k| 2.5 | 124M| 45 | 6 | 50 |8251 | 50 | 15 | 24 | 317k|3060 | 0.000000e+00 | -- | Inf
107.44/107.56 c 108s|610000 |169898 | 1552k| 2.5 | 126M| 45 | 6 | 50 |7803 | 50 | 15 | 24 | 323k|3082 | 0.000000e+00 | -- | Inf
109.43/109.59 c 110s|620000 |172370 | 1578k| 2.5 | 128M| 45 | 6 | 50 |6386 | 50 | 15 | 24 | 329k|3112 | 0.000000e+00 | -- | Inf
111.34/111.48 c 111s|630000 |174824 | 1603k| 2.5 | 130M| 45 | 6 | 50 |7094 | 50 | 15 | 24 | 334k|3141 | 0.000000e+00 | -- | Inf
113.44/113.55 c 114s|640000 |177064 | 1629k| 2.5 | 131M| 45 | - | 50 |5543 | 50 | 15 | 24 | 340k|3164 | 0.000000e+00 | -- | Inf
115.45/115.52 c 116s|650000 |179268 | 1654k| 2.5 | 133M| 45 | 6 | 50 |5018 | 50 | 15 | 24 | 346k|3191 | 0.000000e+00 | -- | Inf
117.33/117.45 c 117s|660000 |181518 | 1680k| 2.5 | 135M| 45 | - | 50 |4616 | 50 | 15 | 24 | 352k|3211 | 0.000000e+00 | -- | Inf
119.24/119.34 c 119s|670000 |183742 | 1706k| 2.5 | 137M| 45 | 6 | 50 |5071 | 50 | 15 | 24 | 357k|3242 | 0.000000e+00 | -- | Inf
121.06/121.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
121.06/121.17 c 121s|680000 |186139 | 1731k| 2.5 | 139M| 45 | 6 | 50 |6330 | 50 | 15 | 24 | 363k|3270 | 0.000000e+00 | -- | Inf
122.93/123.09 c 123s|690000 |188438 | 1757k| 2.5 | 141M| 45 | 6 | 50 |7063 | 50 | 15 | 24 | 369k|3289 | 0.000000e+00 | -- | Inf
125.13/125.21 c 125s|700000 |190659 | 1783k| 2.5 | 143M| 45 | 6 | 50 |5985 | 50 | 15 | 24 | 375k|3316 | 0.000000e+00 | -- | Inf
127.24/127.30 c 127s|710000 |192840 | 1808k| 2.5 | 144M| 45 | 6 | 50 |5371 | 50 | 15 | 24 | 381k|3346 | 0.000000e+00 | -- | Inf
129.14/129.25 c 129s|720000 |195053 | 1834k| 2.5 | 146M| 45 | 6 | 50 |5895 | 50 | 15 | 24 | 386k|3369 | 0.000000e+00 | -- | Inf
131.14/131.25 c 131s|730000 |197383 | 1859k| 2.5 | 148M| 45 | - | 50 |5602 | 50 | 15 | 24 | 392k|3391 | 0.000000e+00 | -- | Inf
132.94/133.04 c 133s|740000 |200190 | 1885k| 2.5 | 151M| 45 | 6 | 50 |6990 | 50 | 15 | 24 | 397k|3413 | 0.000000e+00 | -- | Inf
135.03/135.16 c 135s|750000 |202416 | 1910k| 2.5 | 152M| 45 | - | 50 |5748 | 0 | 0 | 24 | 403k|3436 | 0.000000e+00 | -- | Inf
136.93/137.08 c 137s|760000 |204734 | 1935k| 2.5 | 154M| 45 | 6 | 50 |5697 | 50 | 15 | 24 | 409k|3456 | 0.000000e+00 | -- | Inf
138.83/138.96 c 139s|770000 |207128 | 1960k| 2.5 | 156M| 45 | 6 | 50 |6540 | 50 | 15 | 24 | 414k|3478 | 0.000000e+00 | -- | Inf
140.85/140.98 c 141s|780000 |209489 | 1985k| 2.5 | 158M| 45 | 6 | 50 |4929 | 50 | 15 | 24 | 420k|3501 | 0.000000e+00 | -- | Inf
142.64/142.76 c 143s|790000 |212151 | 2010k| 2.5 | 160M| 45 | - | 50 |6494 | 50 | 15 | 24 | 425k|3520 | 0.000000e+00 | -- | Inf
144.63/144.74 c 145s|800000 |214531 | 2036k| 2.5 | 162M| 45 | - | 50 |6335 | 0 | 0 | 24 | 431k|3537 | 0.000000e+00 | -- | Inf
146.64/146.70 c 147s|810000 |216934 | 2061k| 2.5 | 164M| 45 | 6 | 50 |6313 | 50 | 15 | 24 | 436k|3565 | 0.000000e+00 | -- | Inf
148.45/148.54 c 149s|820000 |219546 | 2088k| 2.5 | 166M| 45 | 6 | 50 |7951 | 50 | 15 | 24 | 442k|3583 | 0.000000e+00 | -- | Inf
150.44/150.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
150.44/150.54 c 151s|830000 |222116 | 2114k| 2.5 | 169M| 45 | 6 | 50 | 10k| 50 | 15 | 24 | 448k|3602 | 0.000000e+00 | -- | Inf
152.73/152.89 c 153s|840000 |224320 | 2140k| 2.5 | 170M| 45 | 6 | 50 |7563 | 50 | 15 | 24 | 454k|3624 | 0.000000e+00 | -- | Inf
154.94/155.08 c 155s|850000 |226459 | 2165k| 2.5 | 172M| 45 | - | 50 |5943 | 50 | 15 | 24 | 459k|3649 | 0.000000e+00 | -- | Inf
156.93/157.06 c 157s|860000 |228715 | 2191k| 2.5 | 174M| 45 | 6 | 50 |6476 | 50 | 15 | 24 | 465k|3670 | 0.000000e+00 | -- | Inf
158.94/159.03 c 159s|870000 |231080 | 2216k| 2.5 | 176M| 45 | 6 | 50 |7123 | 50 | 15 | 24 | 471k|3695 | 0.000000e+00 | -- | Inf
160.94/161.07 c 161s|880000 |233501 | 2241k| 2.5 | 178M| 45 | 6 | 50 |7707 | 50 | 15 | 24 | 476k|3711 | 0.000000e+00 | -- | Inf
162.94/163.05 c 163s|890000 |235956 | 2267k| 2.5 | 180M| 45 | 6 | 50 |7923 | 50 | 15 | 24 | 482k|3736 | 0.000000e+00 | -- | Inf
165.05/165.16 c 165s|900000 |238468 | 2292k| 2.5 | 182M| 45 | 6 | 50 |8616 | 50 | 15 | 24 | 487k|3754 | 0.000000e+00 | -- | Inf
167.25/167.39 c 167s|910000 |240694 | 2319k| 2.5 | 183M| 45 | 6 | 50 |6433 | 50 | 15 | 24 | 493k|3780 | 0.000000e+00 | -- | Inf
169.23/169.31 c 169s|920000 |243030 | 2345k| 2.5 | 185M| 45 | 6 | 50 |7645 | 50 | 15 | 24 | 499k|3794 | 0.000000e+00 | -- | Inf
171.34/171.47 c 171s|930000 |245272 | 2371k| 2.5 | 187M| 45 | - | 50 |5349 | 0 | 0 | 24 | 505k|3816 | 0.000000e+00 | -- | Inf
173.33/173.45 c 173s|940000 |247584 | 2396k| 2.5 | 188M| 45 | 6 | 50 |5597 | 50 | 15 | 24 | 510k|3838 | 0.000000e+00 | -- | Inf
175.24/175.34 c 175s|950000 |249763 | 2423k| 2.6 | 191M| 45 | 6 | 50 |7498 | 50 | 15 | 24 | 516k|3848 | 0.000000e+00 | -- | Inf
177.44/177.54 c 178s|960000 |251931 | 2448k| 2.6 | 192M| 45 | 6 | 50 |5922 | 50 | 15 | 24 | 522k|3869 | 0.000000e+00 | -- | Inf
179.44/179.56 c 180s|970000 |254008 | 2473k| 2.6 | 194M| 45 | 6 | 50 |6018 | 50 | 15 | 24 | 528k|3885 | 0.000000e+00 | -- | Inf
181.56/181.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
181.56/181.62 c 182s|980000 |256278 | 2498k| 2.5 | 196M| 45 | - | 50 |5682 | 50 | 15 | 24 | 534k|3904 | 0.000000e+00 | -- | Inf
183.33/183.41 c 183s|990000 |258765 | 2523k| 2.5 | 198M| 45 | - | 50 |6855 | 50 | 15 | 24 | 539k|3922 | 0.000000e+00 | -- | Inf
185.34/185.44 c 185s| 1000k|261158 | 2548k| 2.5 | 200M| 45 | 6 | 50 |6026 | 50 | 15 | 24 | 545k|3941 | 0.000000e+00 | -- | Inf
187.54/187.60 c 188s| 1010k|263311 | 2573k| 2.5 | 202M| 45 | 6 | 50 |5683 | 50 | 15 | 24 | 551k|3951 | 0.000000e+00 | -- | Inf
189.25/189.35 c 189s| 1020k|265997 | 2599k| 2.5 | 204M| 45 | - | 50 |8016 | 50 | 15 | 24 | 556k|3973 | 0.000000e+00 | -- | Inf
191.24/191.32 c 191s| 1030k|268286 | 2626k| 2.6 | 207M| 45 | 6 | 50 |9504 | 50 | 15 | 24 | 562k|3989 | 0.000000e+00 | -- | Inf
193.33/193.48 c 193s| 1040k|270476 | 2652k| 2.6 | 208M| 45 | 6 | 50 |8644 | 50 | 15 | 24 | 568k|4003 | 0.000000e+00 | -- | Inf
195.64/195.72 c 196s| 1050k|272609 | 2679k| 2.6 | 210M| 45 | 6 | 50 |8363 | 50 | 15 | 24 | 574k|4009 | 0.000000e+00 | -- | Inf
197.83/197.96 c 198s| 1060k|274735 | 2704k| 2.6 | 211M| 45 | - | 50 |6304 | 50 | 15 | 24 | 580k|4032 | 0.000000e+00 | -- | Inf
199.93/200.08 c 200s| 1070k|276894 | 2729k| 2.6 | 213M| 45 | 6 | 50 |5591 | 50 | 15 | 24 | 586k|4048 | 0.000000e+00 | -- | Inf
202.04/202.16 c 202s| 1080k|278855 | 2754k| 2.6 | 215M| 45 | - | 50 |5009 | 50 | 15 | 24 | 592k|4059 | 0.000000e+00 | -- | Inf
203.83/203.95 c 204s| 1090k|281345 | 2780k| 2.6 | 217M| 45 | 6 | 50 |6849 | 50 | 15 | 24 | 597k|4071 | 0.000000e+00 | -- | Inf
205.94/206.02 c 206s| 1100k|283521 | 2805k| 2.6 | 218M| 45 | - | 50 |5513 | 50 | 15 | 24 | 603k|4088 | 0.000000e+00 | -- | Inf
207.96/208.03 c 208s| 1110k|285670 | 2830k| 2.6 | 220M| 45 | 6 | 50 |4734 | 50 | 15 | 24 | 609k|4105 | 0.000000e+00 | -- | Inf
209.94/210.02 c 210s| 1120k|287764 | 2855k| 2.5 | 222M| 45 | 6 | 50 |5599 | 50 | 15 | 24 | 615k|4117 | 0.000000e+00 | -- | Inf
211.84/211.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
211.84/211.97 c 212s| 1130k|290017 | 2882k| 2.6 | 224M| 45 | - | 50 |6346 | 50 | 15 | 24 | 620k|4135 | 0.000000e+00 | -- | Inf
213.74/213.87 c 214s| 1140k|292524 | 2909k| 2.6 | 227M| 45 | - | 50 |7840 | 50 | 15 | 24 | 626k|4148 | 0.000000e+00 | -- | Inf
215.94/216.07 c 216s| 1150k|294530 | 2936k| 2.6 | 228M| 45 | 6 | 50 |7397 | 50 | 15 | 24 | 632k|4162 | 0.000000e+00 | -- | Inf
218.03/218.16 c 218s| 1160k|296795 | 2961k| 2.6 | 230M| 45 | 6 | 50 |6805 | 50 | 15 | 24 | 638k|4182 | 0.000000e+00 | -- | Inf
220.14/220.24 c 220s| 1170k|298981 | 2987k| 2.6 | 232M| 45 | 6 | 50 |6115 | 50 | 15 | 24 | 644k|4204 | 0.000000e+00 | -- | Inf
222.04/222.16 c 222s| 1180k|301297 | 3013k| 2.6 | 234M| 45 | - | 50 |8432 | 50 | 15 | 24 | 650k|4222 | 0.000000e+00 | -- | Inf
224.24/224.30 c 224s| 1190k|303664 | 3038k| 2.6 | 236M| 45 | 6 | 50 |8128 | 50 | 15 | 24 | 655k|4237 | 0.000000e+00 | -- | Inf
226.44/226.52 c 227s| 1200k|306000 | 3064k| 2.6 | 238M| 45 | - | 50 |6913 | 0 | 0 | 24 | 661k|4248 | 0.000000e+00 | -- | Inf
228.44/228.53 c 229s| 1210k|308137 | 3091k| 2.6 | 240M| 45 | 6 | 50 |8043 | 50 | 15 | 24 | 667k|4270 | 0.000000e+00 | -- | Inf
230.44/230.59 c 231s| 1220k|310411 | 3116k| 2.6 | 241M| 45 | 6 | 50 |7442 | 50 | 15 | 24 | 673k|4280 | 0.000000e+00 | -- | Inf
232.64/232.79 c 233s| 1230k|312472 | 3141k| 2.6 | 243M| 45 | 6 | 50 |5615 | 50 | 15 | 24 | 679k|4299 | 0.000000e+00 | -- | Inf
234.63/234.73 c 235s| 1240k|314806 | 3166k| 2.6 | 245M| 45 | - | 50 |6358 | 0 | 0 | 24 | 684k|4317 | 0.000000e+00 | -- | Inf
236.73/236.84 c 237s| 1250k|316916 | 3192k| 2.6 | 247M| 45 | 6 | 50 |6544 | 50 | 15 | 24 | 690k|4328 | 0.000000e+00 | -- | Inf
239.04/239.11 c 239s| 1260k|318763 | 3216k| 2.6 | 248M| 45 | - | 50 |5206 | 50 | 15 | 24 | 696k|4344 | 0.000000e+00 | -- | Inf
240.85/241.01 c 241s| 1270k|321083 | 3243k| 2.6 | 250M| 45 | - | 50 |6317 | 50 | 15 | 24 | 702k|4361 | 0.000000e+00 | -- | Inf
243.05/243.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
243.05/243.17 c 243s| 1280k|322976 | 3268k| 2.6 | 252M| 45 | - | 50 |5177 | 50 | 15 | 24 | 708k|4376 | 0.000000e+00 | -- | Inf
245.04/245.16 c 245s| 1290k|325052 | 3293k| 2.6 | 254M| 45 | - | 50 |5718 | 50 | 15 | 24 | 714k|4389 | 0.000000e+00 | -- | Inf
246.83/246.99 c 247s| 1300k|327748 | 3318k| 2.6 | 256M| 45 | - | 50 |6798 | 50 | 15 | 24 | 719k|4417 | 0.000000e+00 | -- | Inf
248.83/248.90 c 249s| 1310k|330213 | 3343k| 2.6 | 258M| 45 | 6 | 50 |8016 | 50 | 15 | 24 | 725k|4426 | 0.000000e+00 | -- | Inf
251.14/251.24 c 251s| 1320k|332229 | 3369k| 2.6 | 259M| 45 | 6 | 50 |5587 | 50 | 15 | 24 | 731k|4441 | 0.000000e+00 | -- | Inf
253.05/253.17 c 253s| 1330k|334651 | 3394k| 2.6 | 261M| 45 | 6 | 50 |6110 | 50 | 15 | 24 | 736k|4459 | 0.000000e+00 | -- | Inf
254.93/255.01 c 255s| 1340k|337389 | 3421k| 2.6 | 264M| 45 | - | 50 |8237 | 50 | 15 | 24 | 742k|4477 | 0.000000e+00 | -- | Inf
257.03/257.12 c 257s| 1350k|339590 | 3448k| 2.6 | 266M| 45 | 6 | 50 |8594 | 50 | 15 | 24 | 748k|4492 | 0.000000e+00 | -- | Inf
259.33/259.43 c 259s| 1360k|341654 | 3473k| 2.6 | 267M| 45 | 6 | 50 |6817 | 50 | 15 | 24 | 754k|4509 | 0.000000e+00 | -- | Inf
261.44/261.56 c 262s| 1370k|343949 | 3498k| 2.6 | 269M| 45 | 6 | 50 |7412 | 50 | 15 | 24 | 760k|4532 | 0.000000e+00 | -- | Inf
263.54/263.61 c 264s| 1380k|346196 | 3525k| 2.6 | 271M| 45 | - | 50 |7893 | 50 | 15 | 24 | 766k|4545 | 0.000000e+00 | -- | Inf
265.73/265.87 c 266s| 1390k|348365 | 3550k| 2.6 | 273M| 45 | 6 | 50 |5642 | 50 | 15 | 24 | 772k|4555 | 0.000000e+00 | -- | Inf
267.83/267.93 c 268s| 1400k|350584 | 3576k| 2.6 | 275M| 45 | 6 | 50 |5750 | 50 | 15 | 24 | 778k|4571 | 0.000000e+00 | -- | Inf
269.84/269.92 c 270s| 1410k|352904 | 3602k| 2.6 | 277M| 45 | - | 50 |6659 | 0 | 0 | 24 | 783k|4582 | 0.000000e+00 | -- | Inf
271.76/271.89 c 272s| 1420k|355406 | 3628k| 2.6 | 279M| 45 | - | 50 |8499 | 50 | 15 | 24 | 789k|4598 | 0.000000e+00 | -- | Inf
273.85/273.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
273.85/273.92 c 274s| 1430k|357955 | 3654k| 2.6 | 282M| 45 | 6 | 50 | 10k| 50 | 15 | 24 | 795k|4613 | 0.000000e+00 | -- | Inf
276.15/276.22 c 276s| 1440k|360229 | 3680k| 2.6 | 283M| 45 | - | 50 |9923 | 50 | 15 | 24 | 800k|4625 | 0.000000e+00 | -- | Inf
278.53/278.68 c 279s| 1450k|362408 | 3706k| 2.6 | 285M| 45 | 6 | 50 |7392 | 50 | 15 | 24 | 806k|4640 | 0.000000e+00 | -- | Inf
280.33/280.51 c 281s| 1460k|365334 | 3731k| 2.6 | 287M| 45 | - | 50 |9418 | 50 | 15 | 24 | 812k|4655 | 0.000000e+00 | -- | Inf
282.83/282.96 c 283s| 1470k|367338 | 3757k| 2.6 | 289M| 45 | 6 | 50 |7742 | 50 | 15 | 24 | 817k|4671 | 0.000000e+00 | -- | Inf
285.23/285.36 c 285s| 1480k|369379 | 3782k| 2.6 | 290M| 45 | 6 | 50 |5882 | 50 | 15 | 24 | 823k|4687 | 0.000000e+00 | -- | Inf
287.16/287.25 c 287s| 1490k|371645 | 3808k| 2.6 | 292M| 45 | 6 | 50 |8553 | 50 | 15 | 24 | 829k|4698 | 0.000000e+00 | -- | Inf
289.54/289.69 c 290s| 1500k|373582 | 3832k| 2.6 | 294M| 45 | 6 | 50 |5840 | 50 | 15 | 24 | 835k|4715 | 0.000000e+00 | -- | Inf
291.74/291.88 c 292s| 1510k|375596 | 3858k| 2.6 | 295M| 45 | - | 50 |6387 | 50 | 15 | 24 | 841k|4726 | 0.000000e+00 | -- | Inf
293.83/293.91 c 294s| 1520k|377668 | 3885k| 2.6 | 298M| 45 | - | 50 |8118 | 50 | 15 | 24 | 847k|4746 | 0.000000e+00 | -- | Inf
296.23/296.37 c 296s| 1530k|379573 | 3910k| 2.6 | 299M| 45 | 6 | 50 |5684 | 50 | 15 | 24 | 853k|4764 | 0.000000e+00 | -- | Inf
298.34/298.48 c 298s| 1540k|381704 | 3935k| 2.6 | 301M| 45 | - | 50 |5398 | 50 | 15 | 24 | 859k|4773 | 0.000000e+00 | -- | Inf
300.25/300.32 c 300s| 1550k|384288 | 3961k| 2.6 | 303M| 45 | 6 | 50 |7805 | 50 | 15 | 24 | 865k|4784 | 0.000000e+00 | -- | Inf
302.14/302.29 c 302s| 1560k|387130 | 3987k| 2.6 | 305M| 45 | 6 | 50 |8849 | 50 | 15 | 24 | 870k|4790 | 0.000000e+00 | -- | Inf
304.24/304.37 c 304s| 1570k|389648 | 4013k| 2.6 | 308M| 45 | 6 | 50 | 10k| 50 | 15 | 24 | 876k|4801 | 0.000000e+00 | -- | Inf
306.63/306.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
306.63/306.73 c 307s| 1580k|391673 | 4039k| 2.6 | 310M| 45 | 6 | 50 | 10k| 50 | 15 | 24 | 882k|4808 | 0.000000e+00 | -- | Inf
308.83/308.92 c 309s| 1590k|394360 | 4065k| 2.6 | 312M| 45 | 6 | 50 | 10k| 50 | 15 | 24 | 887k|4818 | 0.000000e+00 | -- | Inf
311.14/311.25 c 311s| 1600k|396738 | 4092k| 2.6 | 313M| 45 | - | 50 | 10k| 50 | 15 | 24 | 893k|4834 | 0.000000e+00 | -- | Inf
313.23/313.38 c 313s| 1610k|399599 | 4119k| 2.6 | 316M| 45 | - | 50 | 11k| 50 | 15 | 24 | 899k|4845 | 0.000000e+00 | -- | Inf
315.94/316.09 c 316s| 1620k|401432 | 4145k| 2.6 | 317M| 45 | - | 50 |8001 | 50 | 15 | 24 | 905k|4856 | 0.000000e+00 | -- | Inf
318.23/318.31 c 318s| 1630k|403800 | 4170k| 2.6 | 318M| 45 | 6 | 50 |6901 | 50 | 15 | 24 | 911k|4873 | 0.000000e+00 | -- | Inf
320.34/320.40 c 320s| 1640k|406306 | 4196k| 2.6 | 320M| 45 | 6 | 50 |6846 | 50 | 15 | 24 | 916k|4881 | 0.000000e+00 | -- | Inf
322.44/322.56 c 323s| 1650k|408552 | 4221k| 2.6 | 322M| 45 | - | 50 |7953 | 50 | 15 | 24 | 922k|4886 | 0.000000e+00 | -- | Inf
324.63/324.71 c 325s| 1660k|410975 | 4247k| 2.6 | 324M| 45 | - | 50 |7665 | 50 | 15 | 24 | 928k|4901 | 0.000000e+00 | -- | Inf
326.84/326.96 c 327s| 1670k|413077 | 4272k| 2.6 | 326M| 45 | 6 | 50 |5433 | 50 | 15 | 24 | 933k|4913 | 0.000000e+00 | -- | Inf
328.95/329.05 c 329s| 1680k|415222 | 4297k| 2.6 | 328M| 45 | 6 | 50 |5926 | 50 | 15 | 24 | 939k|4920 | 0.000000e+00 | -- | Inf
331.16/331.25 c 331s| 1690k|417125 | 4323k| 2.6 | 329M| 45 | - | 50 |5373 | 0 | 0 | 24 | 945k|4928 | 0.000000e+00 | -- | Inf
333.25/333.34 c 333s| 1700k|419245 | 4348k| 2.6 | 331M| 45 | - | 50 |5995 | 50 | 15 | 24 | 951k|4944 | 0.000000e+00 | -- | Inf
335.24/335.35 c 335s| 1710k|421487 | 4373k| 2.6 | 333M| 45 | 6 | 50 |6750 | 50 | 15 | 24 | 957k|4957 | 0.000000e+00 | -- | Inf
337.43/337.50 c 338s| 1720k|423703 | 4398k| 2.6 | 335M| 45 | 6 | 50 |6430 | 50 | 15 | 24 | 963k|4966 | 0.000000e+00 | -- | Inf
339.64/339.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
339.64/339.70 c 340s| 1730k|425661 | 4423k| 2.6 | 337M| 45 | - | 50 |5316 | 50 | 15 | 24 | 969k|4979 | 0.000000e+00 | -- | Inf
341.73/341.88 c 342s| 1740k|427533 | 4448k| 2.6 | 338M| 45 | - | 50 |5144 | 50 | 15 | 24 | 975k|4993 | 0.000000e+00 | -- | Inf
343.83/343.95 c 344s| 1750k|429668 | 4473k| 2.6 | 340M| 45 | 6 | 50 |5617 | 50 | 15 | 24 | 981k|5004 | 0.000000e+00 | -- | Inf
345.74/345.88 c 346s| 1760k|432265 | 4499k| 2.6 | 343M| 45 | - | 50 |7098 | 50 | 15 | 24 | 986k|5015 | 0.000000e+00 | -- | Inf
347.93/348.09 c 348s| 1770k|434281 | 4524k| 2.6 | 344M| 45 | - | 50 |6324 | 50 | 15 | 24 | 992k|5032 | 0.000000e+00 | -- | Inf
350.14/350.25 c 350s| 1780k|436278 | 4549k| 2.6 | 346M| 45 | 6 | 50 |6377 | 50 | 15 | 24 | 998k|5045 | 0.000000e+00 | -- | Inf
352.14/352.29 c 352s| 1790k|438579 | 4574k| 2.6 | 348M| 45 | - | 50 |7052 | 50 | 15 | 24 |1004k|5059 | 0.000000e+00 | -- | Inf
354.53/354.64 c 355s| 1800k|440309 | 4599k| 2.6 | 349M| 45 | 6 | 50 |5918 | 50 | 15 | 24 |1010k|5074 | 0.000000e+00 | -- | Inf
356.45/356.59 c 357s| 1810k|442585 | 4625k| 2.6 | 351M| 45 | 6 | 50 |6771 | 50 | 15 | 24 |1016k|5090 | 0.000000e+00 | -- | Inf
358.74/358.83 c 359s| 1820k|444456 | 4650k| 2.6 | 353M| 45 | 6 | 50 |5330 | 50 | 15 | 24 |1022k|5103 | 0.000000e+00 | -- | Inf
360.85/360.99 c 361s| 1830k|446387 | 4676k| 2.6 | 355M| 45 | - | 50 |5661 | 50 | 15 | 24 |1028k|5119 | 0.000000e+00 | -- | Inf
362.73/362.83 c 363s| 1840k|448948 | 4702k| 2.6 | 357M| 45 | 6 | 50 |7805 | 50 | 15 | 24 |1033k|5128 | 0.000000e+00 | -- | Inf
364.84/364.97 c 365s| 1850k|451550 | 4729k| 2.6 | 359M| 45 | - | 50 |8017 | 50 | 15 | 24 |1039k|5137 | 0.000000e+00 | -- | Inf
367.04/367.16 c 367s| 1860k|453791 | 4755k| 2.6 | 361M| 45 | 6 | 50 |8005 | 50 | 15 | 24 |1045k|5145 | 0.000000e+00 | -- | Inf
369.33/369.45 c 369s| 1870k|456143 | 4782k| 2.6 | 363M| 45 | - | 50 |8376 | 50 | 15 | 24 |1051k|5149 | 0.000000e+00 | -- | Inf
371.63/371.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
371.63/371.73 c 372s| 1880k|458397 | 4808k| 2.6 | 365M| 45 | - | 50 | 10k| 50 | 15 | 24 |1056k|5159 | 0.000000e+00 | -- | Inf
374.06/374.12 c 374s| 1890k|460518 | 4834k| 2.6 | 367M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |1062k|5170 | 0.000000e+00 | -- | Inf
376.54/376.68 c 377s| 1900k|462481 | 4860k| 2.6 | 368M| 45 | 6 | 50 |8421 | 50 | 15 | 24 |1068k|5176 | 0.000000e+00 | -- | Inf
378.64/378.76 c 379s| 1910k|464765 | 4886k| 2.6 | 371M| 45 | 6 | 50 |9244 | 50 | 15 | 24 |1074k|5182 | 0.000000e+00 | -- | Inf
381.13/381.20 c 381s| 1920k|466901 | 4912k| 2.6 | 372M| 45 | - | 50 |6788 | 0 | 0 | 24 |1080k|5201 | 0.000000e+00 | -- | Inf
383.13/383.26 c 383s| 1930k|469066 | 4938k| 2.6 | 374M| 45 | - | 50 |8130 | 50 | 15 | 24 |1086k|5210 | 0.000000e+00 | -- | Inf
385.23/385.37 c 385s| 1940k|471250 | 4966k| 2.6 | 376M| 45 | 6 | 50 |9484 | 50 | 15 | 24 |1092k|5217 | 0.000000e+00 | -- | Inf
387.74/387.87 c 388s| 1950k|472908 | 4993k| 2.6 | 378M| 45 | 6 | 50 |8238 | 50 | 15 | 24 |1099k|5230 | 0.000000e+00 | -- | Inf
389.84/389.95 c 390s| 1960k|475363 | 5018k| 2.6 | 380M| 45 | 6 | 50 |9300 | 50 | 15 | 24 |1104k|5236 | 0.000000e+00 | -- | Inf
392.23/392.39 c 392s| 1970k|477325 | 5044k| 2.6 | 381M| 45 | 6 | 50 |7314 | 50 | 15 | 24 |1110k|5247 | 0.000000e+00 | -- | Inf
394.53/394.65 c 395s| 1980k|479463 | 5069k| 2.6 | 383M| 45 | 6 | 50 |6986 | 50 | 15 | 24 |1116k|5253 | 0.000000e+00 | -- | Inf
396.94/397.05 c 397s| 1990k|481410 | 5095k| 2.6 | 384M| 45 | - | 50 |5919 | 50 | 15 | 24 |1122k|5260 | 0.000000e+00 | -- | Inf
399.13/399.20 c 399s| 2000k|483415 | 5121k| 2.6 | 386M| 45 | 6 | 50 |5824 | 50 | 15 | 24 |1128k|5272 | 0.000000e+00 | -- | Inf
401.34/401.43 c 401s| 2010k|485361 | 5145k| 2.6 | 388M| 45 | 6 | 50 |5129 | 50 | 15 | 24 |1134k|5280 | 0.000000e+00 | -- | Inf
403.54/403.60 c 404s| 2020k|487253 | 5171k| 2.6 | 389M| 45 | - | 50 |5265 | 50 | 15 | 24 |1140k|5288 | 0.000000e+00 | -- | Inf
405.44/405.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
405.44/405.54 c 406s| 2030k|489900 | 5196k| 2.6 | 392M| 45 | - | 50 |5952 | 50 | 15 | 24 |1146k|5297 | 0.000000e+00 | -- | Inf
407.44/407.53 c 408s| 2040k|492382 | 5223k| 2.6 | 394M| 45 | 6 | 50 |7406 | 50 | 15 | 24 |1151k|5308 | 0.000000e+00 | -- | Inf
409.44/409.53 c 410s| 2050k|495269 | 5251k| 2.6 | 396M| 45 | 6 | 50 |8879 | 50 | 15 | 24 |1156k|5318 | 0.000000e+00 | -- | Inf
411.74/411.85 c 412s| 2060k|497353 | 5277k| 2.6 | 398M| 45 | 6 | 50 |9318 | 50 | 15 | 24 |1162k|5330 | 0.000000e+00 | -- | Inf
414.34/414.48 c 414s| 2070k|499345 | 5303k| 2.6 | 399M| 45 | - | 50 |6861 | 50 | 15 | 24 |1168k|5343 | 0.000000e+00 | -- | Inf
416.64/416.77 c 417s| 2080k|501283 | 5328k| 2.6 | 401M| 45 | 6 | 50 |5585 | 50 | 15 | 24 |1174k|5355 | 0.000000e+00 | -- | Inf
418.64/418.73 c 419s| 2090k|503792 | 5355k| 2.6 | 403M| 45 | 6 | 50 |7148 | 50 | 15 | 24 |1180k|5368 | 0.000000e+00 | -- | Inf
421.04/421.14 c 421s| 2100k|505670 | 5381k| 2.6 | 404M| 45 | - | 50 |5456 | 50 | 15 | 24 |1186k|5378 | 0.000000e+00 | -- | Inf
423.14/423.29 c 423s| 2110k|507654 | 5406k| 2.6 | 406M| 45 | - | 50 |4850 | 50 | 15 | 24 |1192k|5392 | 0.000000e+00 | -- | Inf
425.24/425.33 c 425s| 2120k|509858 | 5431k| 2.6 | 408M| 45 | - | 50 |5393 | 50 | 15 | 24 |1198k|5400 | 0.000000e+00 | -- | Inf
427.44/427.53 c 428s| 2130k|511787 | 5457k| 2.6 | 410M| 45 | 6 | 50 |4697 | 50 | 15 | 24 |1204k|5407 | 0.000000e+00 | -- | Inf
429.33/429.49 c 429s| 2140k|514118 | 5482k| 2.6 | 412M| 45 | 6 | 50 |6926 | 50 | 15 | 24 |1210k|5421 | 0.000000e+00 | -- | Inf
431.54/431.63 c 432s| 2150k|516166 | 5508k| 2.6 | 413M| 45 | 6 | 50 |5692 | 50 | 15 | 24 |1216k|5430 | 0.000000e+00 | -- | Inf
433.54/433.66 c 434s| 2160k|518383 | 5534k| 2.6 | 416M| 45 | 6 | 50 |7040 | 50 | 15 | 24 |1221k|5441 | 0.000000e+00 | -- | Inf
435.66/435.76 c 436s| 2170k|520612 | 5560k| 2.6 | 418M| 45 | 6 | 50 |8904 | 50 | 15 | 24 |1227k|5456 | 0.000000e+00 | -- | Inf
438.03/438.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
438.03/438.12 c 438s| 2180k|522751 | 5585k| 2.6 | 419M| 45 | - | 50 |7348 | 50 | 15 | 24 |1233k|5463 | 0.000000e+00 | -- | Inf
440.05/440.12 c 440s| 2190k|525187 | 5609k| 2.6 | 422M| 45 | - | 50 |9560 | 50 | 15 | 24 |1239k|5482 | 0.000000e+00 | -- | Inf
442.64/442.73 c 443s| 2200k|526927 | 5634k| 2.6 | 423M| 45 | 6 | 50 |6086 | 50 | 15 | 24 |1245k|5492 | 0.000000e+00 | -- | Inf
444.64/444.72 c 445s| 2210k|529324 | 5659k| 2.6 | 425M| 45 | 6 | 50 |7180 | 50 | 15 | 24 |1250k|5503 | 0.000000e+00 | -- | Inf
446.93/447.09 c 447s| 2220k|531327 | 5684k| 2.6 | 426M| 45 | - | 50 |5538 | 50 | 15 | 24 |1256k|5513 | 0.000000e+00 | -- | Inf
449.14/449.23 c 449s| 2230k|533270 | 5710k| 2.6 | 428M| 45 | 6 | 50 |6325 | 50 | 15 | 24 |1262k|5525 | 0.000000e+00 | -- | Inf
451.34/451.43 c 451s| 2240k|535268 | 5736k| 2.6 | 430M| 45 | 6 | 50 |5461 | 50 | 15 | 24 |1268k|5535 | 0.000000e+00 | -- | Inf
453.53/453.63 c 454s| 2250k|537152 | 5761k| 2.6 | 432M| 45 | 6 | 50 |5616 | 50 | 15 | 24 |1274k|5545 | 0.000000e+00 | -- | Inf
455.63/455.77 c 456s| 2260k|539228 | 5786k| 2.6 | 433M| 45 | 6 | 50 |5589 | 50 | 15 | 24 |1280k|5553 | 0.000000e+00 | -- | Inf
457.74/457.86 c 458s| 2270k|541263 | 5811k| 2.6 | 435M| 45 | - | 50 |5079 | 50 | 15 | 24 |1286k|5567 | 0.000000e+00 | -- | Inf
459.75/459.90 c 460s| 2280k|543398 | 5838k| 2.6 | 437M| 45 | - | 50 |6672 | 50 | 15 | 24 |1292k|5584 | 0.000000e+00 | -- | Inf
461.95/462.10 c 462s| 2290k|545354 | 5864k| 2.6 | 439M| 45 | 6 | 50 |7058 | 50 | 15 | 24 |1298k|5597 | 0.000000e+00 | -- | Inf
464.25/464.39 c 464s| 2300k|547192 | 5890k| 2.6 | 440M| 45 | - | 50 |6013 | 50 | 15 | 24 |1304k|5605 | 0.000000e+00 | -- | Inf
466.23/466.40 c 466s| 2310k|549520 | 5916k| 2.6 | 443M| 45 | - | 50 |7666 | 50 | 15 | 24 |1310k|5616 | 0.000000e+00 | -- | Inf
468.34/468.40 c 468s| 2320k|552003 | 5942k| 2.6 | 445M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |1315k|5631 | 0.000000e+00 | -- | Inf
470.93/471.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
470.93/471.05 c 471s| 2330k|553878 | 5967k| 2.6 | 446M| 45 | - | 50 |5945 | 50 | 15 | 24 |1321k|5644 | 0.000000e+00 | -- | Inf
473.23/473.37 c 473s| 2340k|555723 | 5993k| 2.6 | 448M| 45 | - | 50 |5114 | 50 | 15 | 24 |1327k|5657 | 0.000000e+00 | -- | Inf
475.33/475.45 c 475s| 2350k|557751 | 6018k| 2.6 | 449M| 45 | 6 | 50 |5599 | 50 | 15 | 24 |1333k|5669 | 0.000000e+00 | -- | Inf
477.23/477.32 c 477s| 2360k|560319 | 6044k| 2.6 | 452M| 45 | - | 50 |7514 | 50 | 15 | 24 |1339k|5681 | 0.000000e+00 | -- | Inf
479.33/479.43 c 479s| 2370k|562417 | 6070k| 2.6 | 454M| 45 | 6 | 50 |7013 | 50 | 15 | 24 |1345k|5696 | 0.000000e+00 | -- | Inf
481.43/481.54 c 482s| 2380k|564470 | 6095k| 2.6 | 455M| 45 | 6 | 50 |6835 | 50 | 15 | 24 |1351k|5709 | 0.000000e+00 | -- | Inf
483.73/483.87 c 484s| 2390k|566224 | 6120k| 2.6 | 457M| 45 | 6 | 50 |5167 | 50 | 15 | 24 |1357k|5722 | 0.000000e+00 | -- | Inf
485.93/486.06 c 486s| 2400k|568221 | 6146k| 2.6 | 458M| 45 | 6 | 50 |4968 | 50 | 15 | 24 |1363k|5730 | 0.000000e+00 | -- | Inf
488.13/488.23 c 488s| 2410k|570066 | 6171k| 2.6 | 460M| 45 | 6 | 50 |5183 | 50 | 15 | 24 |1369k|5739 | 0.000000e+00 | -- | Inf
490.13/490.28 c 490s| 2420k|572166 | 6196k| 2.6 | 462M| 45 | - | 50 |5913 | 50 | 15 | 24 |1375k|5750 | 0.000000e+00 | -- | Inf
492.33/492.48 c 492s| 2430k|573972 | 6222k| 2.6 | 464M| 45 | 6 | 50 |5350 | 50 | 15 | 24 |1381k|5766 | 0.000000e+00 | -- | Inf
494.53/494.62 c 495s| 2440k|575861 | 6247k| 2.6 | 465M| 45 | 6 | 50 |5154 | 50 | 15 | 24 |1387k|5775 | 0.000000e+00 | -- | Inf
496.73/496.80 c 497s| 2450k|577671 | 6272k| 2.6 | 467M| 45 | - | 50 |5168 | 50 | 15 | 24 |1394k|5784 | 0.000000e+00 | -- | Inf
498.93/499.02 c 499s| 2460k|579521 | 6298k| 2.6 | 469M| 45 | - | 50 |4931 | 0 | 0 | 24 |1400k|5797 | 0.000000e+00 | -- | Inf
500.83/500.99 c 501s| 2470k|581632 | 6325k| 2.6 | 471M| 45 | 6 | 50 |5736 | 50 | 15 | 24 |1405k|5812 | 0.000000e+00 | -- | Inf
502.92/503.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
502.92/503.05 c 503s| 2480k|583640 | 6350k| 2.6 | 473M| 45 | 6 | 50 |6054 | 50 | 15 | 24 |1411k|5838 | 0.000000e+00 | -- | Inf
505.13/505.22 c 505s| 2490k|585609 | 6376k| 2.6 | 475M| 45 | - | 50 |5928 | 50 | 15 | 24 |1418k|5854 | 0.000000e+00 | -- | Inf
506.93/507.07 c 507s| 2500k|588408 | 6403k| 2.6 | 477M| 45 | - | 50 |7999 | 50 | 15 | 24 |1423k|5870 | 0.000000e+00 | -- | Inf
509.13/509.28 c 509s| 2510k|590776 | 6430k| 2.6 | 479M| 45 | 6 | 50 |8796 | 50 | 15 | 24 |1429k|5881 | 0.000000e+00 | -- | Inf
511.63/511.70 c 512s| 2520k|592805 | 6456k| 2.6 | 481M| 45 | 6 | 50 |8961 | 50 | 15 | 24 |1434k|5897 | 0.000000e+00 | -- | Inf
514.23/514.37 c 514s| 2530k|594592 | 6482k| 2.6 | 482M| 45 | 6 | 50 |5892 | 50 | 15 | 24 |1441k|5910 | 0.000000e+00 | -- | Inf
516.43/516.58 c 517s| 2540k|596549 | 6508k| 2.6 | 484M| 45 | 6 | 50 |5924 | 50 | 15 | 24 |1447k|5918 | 0.000000e+00 | -- | Inf
518.63/518.71 c 519s| 2550k|598653 | 6533k| 2.6 | 485M| 45 | - | 50 |5005 | 50 | 15 | 24 |1452k|5927 | 0.000000e+00 | -- | Inf
520.42/520.60 c 521s| 2560k|601272 | 6560k| 2.6 | 488M| 45 | - | 50 |7590 | 50 | 15 | 24 |1458k|5939 | 0.000000e+00 | -- | Inf
522.63/522.73 c 523s| 2570k|603811 | 6585k| 2.6 | 490M| 45 | 6 | 50 |8865 | 50 | 15 | 24 |1463k|5952 | 0.000000e+00 | -- | Inf
524.83/524.94 c 525s| 2580k|606140 | 6612k| 2.6 | 492M| 45 | - | 50 |9293 | 50 | 15 | 24 |1469k|5963 | 0.000000e+00 | -- | Inf
527.33/527.49 c 527s| 2590k|608290 | 6638k| 2.6 | 494M| 45 | - | 50 |7593 | 50 | 15 | 24 |1475k|5971 | 0.000000e+00 | -- | Inf
529.73/529.89 c 530s| 2600k|610152 | 6663k| 2.6 | 495M| 45 | 6 | 50 |5903 | 50 | 15 | 24 |1481k|5990 | 0.000000e+00 | -- | Inf
531.63/531.75 c 532s| 2610k|612915 | 6687k| 2.6 | 498M| 45 | 6 | 50 |7928 | 50 | 15 | 24 |1486k|5997 | 0.000000e+00 | -- | Inf
533.83/533.95 c 534s| 2620k|615163 | 6712k| 2.6 | 500M| 45 | 6 | 50 |8450 | 50 | 15 | 24 |1492k|6014 | 0.000000e+00 | -- | Inf
536.03/536.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
536.03/536.16 c 536s| 2630k|617250 | 6736k| 2.6 | 502M| 45 | 6 | 50 |9150 | 50 | 15 | 24 |1498k|6025 | 0.000000e+00 | -- | Inf
538.62/538.71 c 539s| 2640k|619104 | 6761k| 2.6 | 503M| 45 | 6 | 50 |7646 | 50 | 15 | 24 |1503k|6035 | 0.000000e+00 | -- | Inf
540.83/540.90 c 541s| 2650k|621182 | 6787k| 2.6 | 505M| 45 | 6 | 50 |7770 | 50 | 15 | 24 |1509k|6048 | 0.000000e+00 | -- | Inf
543.23/543.32 c 543s| 2660k|623020 | 6812k| 2.6 | 506M| 45 | 6 | 50 |5792 | 50 | 15 | 24 |1515k|6065 | 0.000000e+00 | -- | Inf
545.43/545.52 c 546s| 2670k|624978 | 6838k| 2.6 | 508M| 45 | 6 | 50 |6394 | 50 | 15 | 24 |1521k|6079 | 0.000000e+00 | -- | Inf
547.75/547.84 c 548s| 2680k|626913 | 6864k| 2.6 | 510M| 45 | 6 | 50 |5070 | 50 | 15 | 24 |1527k|6091 | 0.000000e+00 | -- | Inf
549.53/549.65 c 550s| 2690k|629480 | 6889k| 2.6 | 512M| 45 | 6 | 50 |6038 | 50 | 15 | 24 |1533k|6101 | 0.000000e+00 | -- | Inf
551.53/551.62 c 552s| 2700k|631741 | 6916k| 2.6 | 514M| 45 | - | 50 |7711 | 0 | 0 | 24 |1539k|6114 | 0.000000e+00 | -- | Inf
553.73/553.80 c 554s| 2710k|633749 | 6943k| 2.6 | 516M| 45 | 6 | 50 |6412 | 50 | 15 | 24 |1546k|6122 | 0.000000e+00 | -- | Inf
555.83/555.93 c 556s| 2720k|635472 | 6969k| 2.6 | 518M| 45 | 6 | 50 |6547 | 50 | 15 | 24 |1552k|6133 | 0.000000e+00 | -- | Inf
558.13/558.26 c 558s| 2730k|636995 | 6996k| 2.6 | 519M| 45 | 6 | 50 |6005 | 50 | 15 | 24 |1559k|6142 | 0.000000e+00 | -- | Inf
560.53/560.60 c 561s| 2740k|638701 | 7021k| 2.6 | 521M| 45 | 6 | 50 |4796 | 50 | 15 | 24 |1565k|6151 | 0.000000e+00 | -- | Inf
562.53/562.63 c 563s| 2750k|640772 | 7046k| 2.6 | 523M| 45 | 6 | 50 |5673 | 50 | 15 | 24 |1571k|6161 | 0.000000e+00 | -- | Inf
564.83/564.91 c 565s| 2760k|642748 | 7072k| 2.6 | 524M| 45 | - | 50 |5224 | 50 | 15 | 24 |1577k|6174 | 0.000000e+00 | -- | Inf
567.03/567.11 c 567s| 2770k|644527 | 7097k| 2.6 | 526M| 45 | - | 50 |6252 | 50 | 15 | 24 |1583k|6182 | 0.000000e+00 | -- | Inf
569.12/569.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
569.12/569.22 c 569s| 2780k|646930 | 7123k| 2.6 | 528M| 45 | - | 50 |6542 | 50 | 15 | 24 |1589k|6190 | 0.000000e+00 | -- | Inf
571.03/571.17 c 571s| 2790k|649624 | 7147k| 2.6 | 530M| 45 | - | 50 |8352 | 50 | 15 | 24 |1594k|6203 | 0.000000e+00 | -- | Inf
573.63/573.71 c 574s| 2800k|651516 | 7173k| 2.6 | 532M| 45 | 6 | 50 |6202 | 50 | 15 | 24 |1600k|6212 | 0.000000e+00 | -- | Inf
575.62/575.76 c 576s| 2810k|653757 | 7199k| 2.6 | 534M| 45 | - | 50 |7034 | 50 | 15 | 24 |1606k|6222 | 0.000000e+00 | -- | Inf
577.73/577.89 c 578s| 2820k|655682 | 7226k| 2.6 | 536M| 45 | - | 50 |8720 | 50 | 15 | 24 |1613k|6238 | 0.000000e+00 | -- | Inf
580.22/580.33 c 580s| 2830k|657589 | 7252k| 2.6 | 537M| 45 | - | 50 |6797 | 50 | 15 | 24 |1619k|6246 | 0.000000e+00 | -- | Inf
582.33/582.48 c 582s| 2840k|659631 | 7278k| 2.6 | 539M| 45 | 6 | 50 |7398 | 50 | 15 | 24 |1625k|6253 | 0.000000e+00 | -- | Inf
584.43/584.57 c 585s| 2850k|662065 | 7305k| 2.6 | 542M| 45 | 6 | 50 |9361 | 50 | 15 | 24 |1630k|6260 | 0.000000e+00 | -- | Inf
587.13/587.21 c 587s| 2860k|664128 | 7331k| 2.6 | 542M| 45 | 6 | 50 |5210 | 50 | 15 | 24 |1636k|6266 | 0.000000e+00 | -- | Inf
589.13/589.28 c 589s| 2870k|666075 | 7357k| 2.6 | 545M| 45 | - | 50 |6704 | 50 | 15 | 24 |1642k|6273 | 0.000000e+00 | -- | Inf
591.33/591.43 c 591s| 2880k|668170 | 7382k| 2.6 | 546M| 45 | - | 50 |6686 | 50 | 15 | 24 |1648k|6286 | 0.000000e+00 | -- | Inf
593.73/593.82 c 594s| 2890k|670105 | 7408k| 2.6 | 548M| 45 | 6 | 50 |5551 | 50 | 15 | 24 |1654k|6302 | 0.000000e+00 | -- | Inf
595.63/595.78 c 596s| 2900k|672325 | 7433k| 2.6 | 550M| 45 | 6 | 50 |7227 | 50 | 15 | 24 |1660k|6314 | 0.000000e+00 | -- | Inf
597.93/598.04 c 598s| 2910k|674298 | 7458k| 2.6 | 552M| 45 | - | 50 |7211 | 50 | 15 | 24 |1666k|6320 | 0.000000e+00 | -- | Inf
600.42/600.53 c 601s| 2920k|676135 | 7484k| 2.6 | 553M| 45 | 6 | 50 |5732 | 50 | 15 | 24 |1672k|6332 | 0.000000e+00 | -- | Inf
602.43/602.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
602.43/602.56 c 603s| 2930k|678061 | 7511k| 2.6 | 556M| 45 | 6 | 50 |8003 | 50 | 15 | 24 |1678k|6341 | 0.000000e+00 | -- | Inf
605.04/605.18 c 605s| 2940k|679783 | 7536k| 2.6 | 557M| 45 | 6 | 50 |5384 | 50 | 15 | 24 |1684k|6350 | 0.000000e+00 | -- | Inf
607.03/607.14 c 607s| 2950k|682104 | 7561k| 2.6 | 559M| 45 | - | 50 |7433 | 50 | 15 | 24 |1690k|6359 | 0.000000e+00 | -- | Inf
609.34/609.49 c 609s| 2960k|683979 | 7587k| 2.6 | 561M| 45 | - | 50 |6392 | 50 | 15 | 24 |1696k|6368 | 0.000000e+00 | -- | Inf
611.54/611.70 c 612s| 2970k|685976 | 7611k| 2.6 | 562M| 45 | 6 | 50 |6487 | 50 | 15 | 24 |1702k|6384 | 0.000000e+00 | -- | Inf
613.85/613.95 c 614s| 2980k|687750 | 7637k| 2.6 | 564M| 45 | - | 50 |6380 | 50 | 15 | 24 |1708k|6397 | 0.000000e+00 | -- | Inf
616.05/616.17 c 616s| 2990k|689778 | 7662k| 2.6 | 566M| 45 | - | 50 |6004 | 50 | 15 | 24 |1714k|6404 | 0.000000e+00 | -- | Inf
618.24/618.32 c 618s| 3000k|691877 | 7687k| 2.6 | 568M| 45 | 6 | 50 |6982 | 50 | 15 | 24 |1720k|6416 | 0.000000e+00 | -- | Inf
620.72/620.80 c 621s| 3010k|693649 | 7712k| 2.6 | 569M| 45 | 6 | 50 |5300 | 50 | 15 | 24 |1726k|6430 | 0.000000e+00 | -- | Inf
622.73/622.84 c 623s| 3020k|695924 | 7738k| 2.6 | 571M| 45 | - | 50 |5828 | 0 | 0 | 24 |1732k|6441 | 0.000000e+00 | -- | Inf
624.93/625.01 c 625s| 3030k|697975 | 7764k| 2.6 | 573M| 45 | - | 50 |6204 | 50 | 15 | 24 |1738k|6455 | 0.000000e+00 | -- | Inf
627.05/627.15 c 627s| 3040k|699939 | 7791k| 2.6 | 575M| 45 | 6 | 50 |7165 | 50 | 15 | 24 |1744k|6465 | 0.000000e+00 | -- | Inf
629.53/629.60 c 630s| 3050k|701478 | 7817k| 2.6 | 576M| 45 | 6 | 50 |5502 | 50 | 15 | 24 |1750k|6470 | 0.000000e+00 | -- | Inf
631.53/631.63 c 632s| 3060k|703871 | 7842k| 2.6 | 578M| 45 | 6 | 50 |7505 | 50 | 15 | 24 |1756k|6483 | 0.000000e+00 | -- | Inf
633.92/634.04 c 634s| 3070k|705718 | 7867k| 2.6 | 580M| 45 | 6 | 50 |6682 | 50 | 15 | 24 |1762k|6497 | 0.000000e+00 | -- | Inf
636.12/636.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
636.12/636.29 c 636s| 3080k|707830 | 7894k| 2.6 | 582M| 45 | 6 | 50 |6653 | 50 | 15 | 24 |1768k|6504 | 0.000000e+00 | -- | Inf
638.52/638.62 c 639s| 3090k|709672 | 7919k| 2.6 | 584M| 45 | 6 | 50 |6815 | 50 | 15 | 24 |1774k|6513 | 0.000000e+00 | -- | Inf
640.93/641.00 c 641s| 3100k|711495 | 7944k| 2.6 | 585M| 45 | - | 50 |5829 | 50 | 15 | 24 |1781k|6520 | 0.000000e+00 | -- | Inf
643.12/643.26 c 643s| 3110k|713475 | 7969k| 2.6 | 587M| 45 | - | 50 |5587 | 50 | 15 | 24 |1787k|6527 | 0.000000e+00 | -- | Inf
645.33/645.48 c 645s| 3120k|715329 | 7995k| 2.6 | 589M| 45 | 6 | 50 |5736 | 50 | 15 | 24 |1793k|6543 | 0.000000e+00 | -- | Inf
647.63/647.75 c 648s| 3130k|717029 | 8021k| 2.6 | 590M| 45 | 6 | 50 |5888 | 50 | 15 | 24 |1799k|6555 | 0.000000e+00 | -- | Inf
649.92/650.02 c 650s| 3140k|718758 | 8047k| 2.6 | 592M| 45 | 6 | 50 |6326 | 50 | 15 | 24 |1806k|6563 | 0.000000e+00 | -- | Inf
652.13/652.28 c 652s| 3150k|720906 | 8072k| 2.6 | 594M| 45 | 6 | 50 |6620 | 50 | 15 | 24 |1811k|6579 | 0.000000e+00 | -- | Inf
654.33/654.47 c 654s| 3160k|722992 | 8097k| 2.6 | 596M| 45 | - | 50 |6724 | 50 | 15 | 24 |1817k|6592 | 0.000000e+00 | -- | Inf
656.82/656.90 c 657s| 3170k|724711 | 8123k| 2.6 | 597M| 45 | 6 | 50 |5303 | 50 | 15 | 24 |1823k|6598 | 0.000000e+00 | -- | Inf
659.03/659.14 c 659s| 3180k|726560 | 8148k| 2.6 | 599M| 45 | 6 | 50 |5276 | 50 | 15 | 24 |1829k|6608 | 0.000000e+00 | -- | Inf
661.23/661.39 c 661s| 3190k|728457 | 8173k| 2.6 | 601M| 45 | - | 50 |5401 | 50 | 15 | 24 |1835k|6617 | 0.000000e+00 | -- | Inf
663.53/663.64 c 664s| 3200k|730403 | 8198k| 2.6 | 602M| 45 | 6 | 50 |5710 | 50 | 15 | 24 |1841k|6630 | 0.000000e+00 | -- | Inf
665.55/665.66 c 666s| 3210k|732853 | 8224k| 2.6 | 605M| 45 | 6 | 50 |6788 | 50 | 15 | 24 |1847k|6638 | 0.000000e+00 | -- | Inf
667.64/667.75 c 668s| 3220k|735019 | 8251k| 2.6 | 607M| 45 | - | 50 |8188 | 50 | 15 | 24 |1853k|6651 | 0.000000e+00 | -- | Inf
669.94/670.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
669.94/670.06 c 670s| 3230k|736748 | 8276k| 2.6 | 609M| 45 | - | 50 |8483 | 50 | 15 | 24 |1859k|6661 | 0.000000e+00 | -- | Inf
672.52/672.69 c 673s| 3240k|738526 | 8301k| 2.6 | 610M| 45 | - | 50 |5918 | 50 | 15 | 24 |1865k|6671 | 0.000000e+00 | -- | Inf
674.92/675.01 c 675s| 3250k|740414 | 8327k| 2.6 | 611M| 45 | 6 | 50 |5449 | 50 | 15 | 24 |1871k|6681 | 0.000000e+00 | -- | Inf
677.03/677.13 c 677s| 3260k|742511 | 8351k| 2.6 | 613M| 45 | 6 | 50 |6012 | 50 | 15 | 24 |1877k|6687 | 0.000000e+00 | -- | Inf
679.22/679.39 c 679s| 3270k|744449 | 8376k| 2.6 | 615M| 45 | - | 50 |6497 | 50 | 15 | 24 |1883k|6704 | 0.000000e+00 | -- | Inf
681.32/681.49 c 681s| 3280k|746488 | 8403k| 2.6 | 618M| 45 | 6 | 50 |8730 | 50 | 15 | 24 |1889k|6715 | 0.000000e+00 | -- | Inf
683.82/683.99 c 684s| 3290k|748378 | 8429k| 2.6 | 619M| 45 | 6 | 50 |7392 | 50 | 15 | 24 |1896k|6725 | 0.000000e+00 | -- | Inf
686.12/686.21 c 686s| 3300k|750398 | 8456k| 2.6 | 621M| 45 | 6 | 50 |9227 | 50 | 15 | 24 |1902k|6744 | 0.000000e+00 | -- | Inf
688.64/688.73 c 689s| 3310k|752266 | 8481k| 2.6 | 623M| 45 | - | 50 |7257 | 50 | 15 | 24 |1908k|6758 | 0.000000e+00 | -- | Inf
691.12/691.22 c 691s| 3320k|754066 | 8506k| 2.6 | 624M| 45 | - | 50 |5070 | 50 | 15 | 24 |1914k|6766 | 0.000000e+00 | -- | Inf
693.43/693.50 c 694s| 3330k|755790 | 8531k| 2.6 | 626M| 45 | 6 | 50 |6109 | 50 | 15 | 24 |1921k|6772 | 0.000000e+00 | -- | Inf
695.72/695.88 c 696s| 3340k|757553 | 8557k| 2.6 | 627M| 45 | 6 | 50 |5628 | 50 | 15 | 24 |1927k|6778 | 0.000000e+00 | -- | Inf
698.12/698.27 c 698s| 3350k|759183 | 8582k| 2.6 | 629M| 45 | 6 | 50 |5356 | 50 | 15 | 24 |1933k|6789 | 0.000000e+00 | -- | Inf
700.43/700.50 c 700s| 3360k|761019 | 8608k| 2.6 | 631M| 45 | 6 | 50 |5953 | 50 | 15 | 24 |1939k|6799 | 0.000000e+00 | -- | Inf
702.33/702.49 c 702s| 3370k|763491 | 8635k| 2.6 | 633M| 45 | 6 | 50 |8313 | 50 | 15 | 24 |1945k|6807 | 0.000000e+00 | -- | Inf
704.52/704.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
704.52/704.61 c 705s| 3380k|765999 | 8662k| 2.6 | 635M| 45 | 6 | 50 |9490 | 50 | 15 | 24 |1951k|6813 | 0.000000e+00 | -- | Inf
706.92/707.05 c 707s| 3390k|767905 | 8688k| 2.6 | 637M| 45 | 6 | 50 |9233 | 50 | 15 | 24 |1957k|6826 | 0.000000e+00 | -- | Inf
709.32/709.50 c 709s| 3400k|769965 | 8714k| 2.6 | 639M| 45 | 6 | 50 |8889 | 50 | 15 | 24 |1963k|6836 | 0.000000e+00 | -- | Inf
712.03/712.17 c 712s| 3410k|771852 | 8739k| 2.6 | 640M| 45 | - | 50 |5914 | 50 | 15 | 24 |1969k|6841 | 0.000000e+00 | -- | Inf
714.32/714.45 c 714s| 3420k|773662 | 8766k| 2.6 | 642M| 45 | 6 | 50 |5897 | 50 | 15 | 24 |1975k|6846 | 0.000000e+00 | -- | Inf
716.83/716.94 c 717s| 3430k|775270 | 8791k| 2.6 | 643M| 45 | 6 | 50 |4561 | 50 | 15 | 24 |1981k|6849 | 0.000000e+00 | -- | Inf
719.02/719.18 c 719s| 3440k|777034 | 8816k| 2.6 | 645M| 45 | - | 50 |5215 | 0 | 0 | 24 |1987k|6858 | 0.000000e+00 | -- | Inf
721.32/721.43 c 721s| 3450k|778803 | 8841k| 2.6 | 647M| 45 | 6 | 50 |5518 | 50 | 15 | 24 |1993k|6870 | 0.000000e+00 | -- | Inf
723.32/723.49 c 723s| 3460k|780802 | 8866k| 2.6 | 649M| 45 | 6 | 50 |7080 | 50 | 15 | 24 |1999k|6880 | 0.000000e+00 | -- | Inf
725.83/725.92 c 726s| 3470k|782543 | 8891k| 2.6 | 650M| 45 | 6 | 50 |5705 | 50 | 15 | 24 |2005k|6889 | 0.000000e+00 | -- | Inf
727.82/727.98 c 728s| 3480k|785042 | 8917k| 2.6 | 652M| 45 | 6 | 50 |6801 | 50 | 15 | 24 |2011k|6898 | 0.000000e+00 | -- | Inf
729.92/730.08 c 730s| 3490k|787478 | 8943k| 2.6 | 654M| 45 | 6 | 50 |7992 | 50 | 15 | 24 |2016k|6912 | 0.000000e+00 | -- | Inf
732.23/732.38 c 732s| 3500k|789658 | 8968k| 2.6 | 656M| 45 | - | 50 |8555 | 50 | 15 | 24 |2022k|6920 | 0.000000e+00 | -- | Inf
734.84/734.97 c 735s| 3510k|791452 | 8993k| 2.6 | 658M| 45 | 6 | 50 |7492 | 50 | 15 | 24 |2028k|6929 | 0.000000e+00 | -- | Inf
737.13/737.27 c 737s| 3520k|793393 | 9019k| 2.6 | 660M| 45 | 6 | 50 |7280 | 50 | 15 | 24 |2034k|6939 | 0.000000e+00 | -- | Inf
739.52/739.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
739.52/739.60 c 740s| 3530k|795299 | 9048k| 2.6 | 661M| 45 | 6 | 50 |7750 | 50 | 15 | 24 |2040k|6946 | 0.000000e+00 | -- | Inf
742.03/742.19 c 742s| 3540k|796976 | 9073k| 2.6 | 662M| 45 | 6 | 50 |5431 | 50 | 15 | 24 |2046k|6959 | 0.000000e+00 | -- | Inf
744.43/744.53 c 745s| 3550k|798692 | 9098k| 2.6 | 664M| 45 | - | 50 |5386 | 50 | 15 | 24 |2053k|6968 | 0.000000e+00 | -- | Inf
746.73/746.84 c 747s| 3560k|800378 | 9124k| 2.6 | 666M| 45 | 6 | 50 |5376 | 50 | 15 | 24 |2059k|6976 | 0.000000e+00 | -- | Inf
749.04/749.20 c 749s| 3570k|802180 | 9149k| 2.6 | 668M| 45 | - | 50 |5157 | 50 | 15 | 24 |2065k|6980 | 0.000000e+00 | -- | Inf
751.43/751.52 c 752s| 3580k|803880 | 9175k| 2.6 | 669M| 45 | - | 50 |5181 | 50 | 15 | 24 |2071k|6991 | 0.000000e+00 | -- | Inf
753.63/753.72 c 754s| 3590k|806054 | 9199k| 2.6 | 671M| 45 | 6 | 50 |5540 | 50 | 15 | 24 |2077k|6998 | 0.000000e+00 | -- | Inf
755.83/755.99 c 756s| 3600k|807878 | 9225k| 2.6 | 673M| 45 | 6 | 50 |5806 | 50 | 15 | 24 |2083k|7011 | 0.000000e+00 | -- | Inf
758.23/758.33 c 758s| 3610k|809632 | 9249k| 2.6 | 674M| 45 | - | 50 |5238 | 50 | 15 | 24 |2089k|7022 | 0.000000e+00 | -- | Inf
760.43/760.56 c 761s| 3620k|811408 | 9275k| 2.6 | 676M| 45 | 6 | 50 |5487 | 50 | 15 | 24 |2095k|7030 | 0.000000e+00 | -- | Inf
762.53/762.69 c 763s| 3630k|813456 | 9301k| 2.6 | 678M| 45 | 6 | 50 |7032 | 50 | 15 | 24 |2101k|7040 | 0.000000e+00 | -- | Inf
765.03/765.12 c 765s| 3640k|815297 | 9327k| 2.6 | 680M| 45 | - | 50 |6235 | 50 | 15 | 24 |2107k|7047 | 0.000000e+00 | -- | Inf
767.33/767.43 c 767s| 3650k|817189 | 9353k| 2.6 | 682M| 45 | - | 50 |6433 | 50 | 15 | 24 |2114k|7051 | 0.000000e+00 | -- | Inf
769.72/769.89 c 770s| 3660k|818866 | 9379k| 2.6 | 683M| 45 | 6 | 50 |5648 | 50 | 15 | 24 |2120k|7057 | 0.000000e+00 | -- | Inf
771.83/771.90 c 772s| 3670k|821103 | 9404k| 2.6 | 686M| 45 | 6 | 50 |7951 | 50 | 15 | 24 |2126k|7068 | 0.000000e+00 | -- | Inf
774.22/774.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
774.22/774.31 c 774s| 3680k|822929 | 9430k| 2.6 | 687M| 45 | - | 50 |7224 | 50 | 15 | 24 |2132k|7077 | 0.000000e+00 | -- | Inf
776.53/776.66 c 777s| 3690k|825015 | 9456k| 2.6 | 689M| 45 | - | 50 |7589 | 50 | 15 | 24 |2138k|7086 | 0.000000e+00 | -- | Inf
778.92/779.04 c 779s| 3700k|826812 | 9483k| 2.6 | 691M| 45 | 6 | 50 |8174 | 50 | 15 | 24 |2144k|7097 | 0.000000e+00 | -- | Inf
781.43/781.59 c 782s| 3710k|828530 | 9509k| 2.6 | 692M| 45 | 6 | 50 |6592 | 50 | 15 | 24 |2150k|7112 | 0.000000e+00 | -- | Inf
783.92/784.03 c 784s| 3720k|830205 | 9534k| 2.6 | 694M| 45 | 6 | 50 |5475 | 50 | 15 | 24 |2156k|7119 | 0.000000e+00 | -- | Inf
786.32/786.40 c 786s| 3730k|832006 | 9559k| 2.6 | 695M| 45 | 6 | 50 |4696 | 50 | 15 | 24 |2162k|7137 | 0.000000e+00 | -- | Inf
788.52/788.68 c 789s| 3740k|833628 | 9585k| 2.6 | 697M| 45 | 6 | 50 |5623 | 50 | 15 | 24 |2169k|7142 | 0.000000e+00 | -- | Inf
790.72/790.87 c 791s| 3750k|835571 | 9611k| 2.6 | 699M| 45 | - | 50 |6667 | 50 | 15 | 24 |2175k|7153 | 0.000000e+00 | -- | Inf
793.03/793.11 c 793s| 3760k|837559 | 9637k| 2.6 | 701M| 45 | - | 50 |6877 | 50 | 15 | 24 |2181k|7162 | 0.000000e+00 | -- | Inf
795.34/795.47 c 795s| 3770k|839350 | 9663k| 2.6 | 703M| 45 | - | 50 |6743 | 0 | 0 | 24 |2187k|7179 | 0.000000e+00 | -- | Inf
797.62/797.74 c 798s| 3780k|841139 | 9689k| 2.6 | 704M| 45 | 6 | 50 |6441 | 50 | 15 | 24 |2193k|7186 | 0.000000e+00 | -- | Inf
799.82/799.93 c 800s| 3790k|843400 | 9715k| 2.6 | 706M| 45 | 6 | 50 |6618 | 50 | 15 | 24 |2199k|7199 | 0.000000e+00 | -- | Inf
801.94/802.07 c 802s| 3800k|845839 | 9741k| 2.6 | 709M| 45 | 6 | 50 |8055 | 50 | 15 | 24 |2205k|7207 | 0.000000e+00 | -- | Inf
804.14/804.29 c 804s| 3810k|847950 | 9767k| 2.6 | 711M| 45 | 6 | 50 |9603 | 50 | 15 | 24 |2211k|7215 | 0.000000e+00 | -- | Inf
806.92/807.06 c 807s| 3820k|849583 | 9793k| 2.6 | 712M| 45 | - | 50 |7719 | 50 | 15 | 24 |2217k|7224 | 0.000000e+00 | -- | Inf
809.54/809.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
809.54/809.69 c 810s| 3830k|851133 | 9819k| 2.6 | 713M| 45 | - | 50 |5953 | 50 | 15 | 24 |2223k|7227 | 0.000000e+00 | -- | Inf
811.73/811.90 c 812s| 3840k|853252 | 9844k| 2.6 | 715M| 45 | - | 50 |6038 | 50 | 15 | 24 |2229k|7234 | 0.000000e+00 | -- | Inf
814.13/814.22 c 814s| 3850k|855059 | 9870k| 2.6 | 717M| 45 | 6 | 50 |5346 | 50 | 15 | 24 |2235k|7243 | 0.000000e+00 | -- | Inf
816.43/816.50 c 817s| 3860k|856755 | 9895k| 2.6 | 718M| 45 | - | 50 |5891 | 50 | 15 | 24 |2241k|7248 | 0.000000e+00 | -- | Inf
818.44/818.57 c 819s| 3870k|858929 | 9921k| 2.6 | 721M| 45 | 6 | 50 |7686 | 50 | 15 | 24 |2247k|7258 | 0.000000e+00 | -- | Inf
820.82/820.96 c 821s| 3880k|860820 | 9947k| 2.6 | 722M| 45 | 6 | 50 |6978 | 50 | 15 | 24 |2254k|7265 | 0.000000e+00 | -- | Inf
823.12/823.21 c 823s| 3890k|862937 | 9972k| 2.6 | 724M| 45 | 6 | 50 |8377 | 50 | 15 | 24 |2260k|7274 | 0.000000e+00 | -- | Inf
825.42/825.51 c 826s| 3900k|865074 | 9997k| 2.6 | 726M| 45 | 6 | 50 |7834 | 50 | 15 | 24 |2266k|7282 | 0.000000e+00 | -- | Inf
827.72/827.89 c 828s| 3910k|866995 | 10022k| 2.6 | 728M| 45 | - | 50 |7590 | 50 | 15 | 24 |2272k|7299 | 0.000000e+00 | -- | Inf
829.92/830.08 c 830s| 3920k|869451 | 10047k| 2.6 | 730M| 45 | 6 | 50 |8494 | 50 | 15 | 24 |2277k|7307 | 0.000000e+00 | -- | Inf
832.12/832.23 c 832s| 3930k|871807 | 10071k| 2.6 | 732M| 45 | 6 | 50 |9962 | 50 | 15 | 24 |2283k|7313 | 0.000000e+00 | -- | Inf
834.83/834.97 c 835s| 3940k|873636 | 10096k| 2.6 | 733M| 45 | 6 | 50 |7618 | 50 | 15 | 24 |2289k|7325 | 0.000000e+00 | -- | Inf
837.22/837.33 c 837s| 3950k|875970 | 10121k| 2.6 | 735M| 45 | - | 50 |6926 | 50 | 15 | 24 |2295k|7330 | 0.000000e+00 | -- | Inf
839.42/839.50 c 840s| 3960k|878283 | 10148k| 2.6 | 738M| 45 | 6 | 50 |9008 | 50 | 15 | 24 |2300k|7337 | 0.000000e+00 | -- | Inf
841.92/842.01 c 842s| 3970k|880236 | 10174k| 2.6 | 740M| 45 | 6 | 50 |9711 | 50 | 15 | 24 |2307k|7348 | 0.000000e+00 | -- | Inf
844.62/844.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
844.62/844.76 c 845s| 3980k|881908 | 10200k| 2.6 | 741M| 45 | - | 50 |7264 | 50 | 15 | 24 |2313k|7354 | 0.000000e+00 | -- | Inf
846.93/847.05 c 847s| 3990k|883923 | 10226k| 2.6 | 743M| 45 | 6 | 50 |7729 | 50 | 15 | 24 |2319k|7362 | 0.000000e+00 | -- | Inf
849.52/849.67 c 850s| 4000k|885654 | 10251k| 2.6 | 744M| 45 | 6 | 50 |5666 | 50 | 15 | 24 |2325k|7372 | 0.000000e+00 | -- | Inf
851.62/851.75 c 852s| 4010k|887739 | 10277k| 2.6 | 746M| 45 | - | 50 |7817 | 50 | 15 | 24 |2331k|7385 | 0.000000e+00 | -- | Inf
854.23/854.30 c 854s| 4020k|889276 | 10302k| 2.6 | 747M| 45 | - | 50 |6292 | 50 | 15 | 24 |2337k|7393 | 0.000000e+00 | -- | Inf
856.32/856.49 c 856s| 4030k|891308 | 10327k| 2.6 | 749M| 45 | 6 | 50 |7601 | 50 | 15 | 24 |2343k|7407 | 0.000000e+00 | -- | Inf
858.82/858.95 c 859s| 4040k|893143 | 10353k| 2.6 | 751M| 45 | - | 50 |6472 | 50 | 15 | 24 |2349k|7413 | 0.000000e+00 | -- | Inf
861.24/861.41 c 861s| 4050k|894885 | 10377k| 2.6 | 752M| 45 | - | 50 |5792 | 50 | 15 | 24 |2355k|7420 | 0.000000e+00 | -- | Inf
863.43/863.56 c 864s| 4060k|896955 | 10403k| 2.6 | 754M| 45 | - | 50 |6469 | 50 | 15 | 24 |2361k|7426 | 0.000000e+00 | -- | Inf
865.63/865.71 c 866s| 4070k|898955 | 10429k| 2.6 | 756M| 45 | 6 | 50 |7567 | 50 | 15 | 24 |2367k|7435 | 0.000000e+00 | -- | Inf
868.22/868.32 c 868s| 4080k|900501 | 10454k| 2.6 | 758M| 45 | 6 | 50 |5675 | 50 | 15 | 24 |2374k|7445 | 0.000000e+00 | -- | Inf
870.52/870.66 c 871s| 4090k|902312 | 10480k| 2.6 | 759M| 45 | 6 | 50 |5652 | 50 | 15 | 24 |2380k|7453 | 0.000000e+00 | -- | Inf
872.62/872.72 c 873s| 4100k|904622 | 10507k| 2.6 | 762M| 45 | - | 50 |7666 | 50 | 15 | 24 |2386k|7468 | 0.000000e+00 | -- | Inf
874.93/875.06 c 875s| 4110k|906706 | 10532k| 2.6 | 764M| 45 | - | 50 |8472 | 50 | 15 | 24 |2392k|7478 | 0.000000e+00 | -- | Inf
877.22/877.37 c 877s| 4120k|908664 | 10557k| 2.6 | 766M| 45 | - | 50 | 10k| 50 | 15 | 24 |2398k|7490 | 0.000000e+00 | -- | Inf
880.04/880.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
880.04/880.15 c 880s| 4130k|910379 | 10582k| 2.6 | 767M| 45 | 6 | 50 |6194 | 50 | 15 | 24 |2404k|7500 | 0.000000e+00 | -- | Inf
882.32/882.49 c 882s| 4140k|912280 | 10608k| 2.6 | 768M| 45 | - | 50 |6417 | 0 | 0 | 24 |2410k|7504 | 0.000000e+00 | -- | Inf
884.72/884.80 c 885s| 4150k|914183 | 10634k| 2.6 | 770M| 45 | 6 | 50 |6684 | 50 | 15 | 24 |2416k|7513 | 0.000000e+00 | -- | Inf
887.23/887.35 c 887s| 4160k|915700 | 10659k| 2.6 | 771M| 45 | 6 | 50 |5158 | 50 | 15 | 24 |2422k|7520 | 0.000000e+00 | -- | Inf
889.62/889.75 c 890s| 4170k|917375 | 10685k| 2.6 | 773M| 45 | 6 | 50 |5749 | 50 | 15 | 24 |2428k|7528 | 0.000000e+00 | -- | Inf
891.82/891.96 c 892s| 4180k|919436 | 10710k| 2.6 | 775M| 45 | - | 50 |6815 | 50 | 15 | 24 |2434k|7535 | 0.000000e+00 | -- | Inf
894.24/894.38 c 894s| 4190k|921186 | 10736k| 2.6 | 777M| 45 | 6 | 50 |6206 | 50 | 15 | 24 |2441k|7545 | 0.000000e+00 | -- | Inf
896.62/896.72 c 897s| 4200k|922949 | 10761k| 2.6 | 778M| 45 | - | 50 |5310 | 50 | 15 | 24 |2447k|7560 | 0.000000e+00 | -- | Inf
898.92/899.02 c 899s| 4210k|924673 | 10786k| 2.6 | 780M| 45 | 6 | 50 |5589 | 50 | 15 | 24 |2453k|7564 | 0.000000e+00 | -- | Inf
901.42/901.54 c 902s| 4220k|926179 | 10811k| 2.6 | 781M| 45 | 6 | 50 |4682 | 50 | 15 | 24 |2459k|7571 | 0.000000e+00 | -- | Inf
903.52/903.67 c 904s| 4230k|927892 | 10839k| 2.6 | 784M| 45 | 6 | 50 |7185 | 50 | 15 | 24 |2466k|7585 | 0.000000e+00 | -- | Inf
906.02/906.15 c 906s| 4240k|929561 | 10866k| 2.6 | 785M| 45 | 6 | 50 |7627 | 50 | 15 | 24 |2472k|7595 | 0.000000e+00 | -- | Inf
908.64/908.75 c 909s| 4250k|931267 | 10891k| 2.6 | 787M| 45 | 6 | 50 |5870 | 50 | 15 | 24 |2478k|7600 | 0.000000e+00 | -- | Inf
910.62/910.79 c 911s| 4260k|933850 | 10916k| 2.6 | 789M| 45 | - | 50 |6377 | 50 | 15 | 24 |2484k|7606 | 0.000000e+00 | -- | Inf
912.72/912.81 c 913s| 4270k|936296 | 10941k| 2.6 | 791M| 45 | - | 50 |7443 | 0 | 0 | 24 |2490k|7614 | 0.000000e+00 | -- | Inf
914.72/914.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
914.72/914.88 c 915s| 4280k|938921 | 10967k| 2.6 | 793M| 45 | 6 | 50 |8417 | 50 | 15 | 24 |2495k|7623 | 0.000000e+00 | -- | Inf
916.92/917.08 c 917s| 4290k|941212 | 10992k| 2.6 | 795M| 45 | - | 50 |9076 | 50 | 15 | 24 |2501k|7629 | 0.000000e+00 | -- | Inf
919.32/919.49 c 919s| 4300k|943268 | 11018k| 2.6 | 797M| 45 | 6 | 50 |7435 | 50 | 15 | 24 |2507k|7636 | 0.000000e+00 | -- | Inf
921.63/921.76 c 922s| 4310k|945324 | 11042k| 2.6 | 798M| 45 | 6 | 50 |7675 | 50 | 15 | 24 |2513k|7642 | 0.000000e+00 | -- | Inf
923.82/923.99 c 924s| 4320k|947477 | 11068k| 2.6 | 800M| 45 | 6 | 50 |8608 | 50 | 15 | 24 |2519k|7650 | 0.000000e+00 | -- | Inf
926.13/926.28 c 926s| 4330k|949541 | 11093k| 2.6 | 802M| 45 | 6 | 50 |8691 | 50 | 15 | 24 |2525k|7658 | 0.000000e+00 | -- | Inf
928.52/928.62 c 929s| 4340k|951528 | 11118k| 2.6 | 804M| 45 | 6 | 50 |8605 | 50 | 15 | 24 |2531k|7664 | 0.000000e+00 | -- | Inf
930.82/930.98 c 931s| 4350k|953376 | 11143k| 2.6 | 806M| 45 | 6 | 50 |8273 | 50 | 15 | 24 |2537k|7680 | 0.000000e+00 | -- | Inf
933.42/933.52 c 934s| 4360k|954866 | 11167k| 2.6 | 807M| 45 | 6 | 50 |7645 | 50 | 15 | 24 |2544k|7688 | 0.000000e+00 | -- | Inf
935.82/935.98 c 936s| 4370k|956414 | 11192k| 2.6 | 809M| 45 | 6 | 50 |7605 | 50 | 15 | 24 |2550k|7698 | 0.000000e+00 | -- | Inf
938.12/938.24 c 938s| 4380k|958693 | 11217k| 2.6 | 811M| 45 | - | 50 |8515 | 50 | 15 | 24 |2556k|7702 | 0.000000e+00 | -- | Inf
940.43/940.53 c 941s| 4390k|960895 | 11245k| 2.6 | 813M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |2562k|7711 | 0.000000e+00 | -- | Inf
943.12/943.23 c 943s| 4400k|962556 | 11272k| 2.6 | 815M| 45 | 6 | 50 |9911 | 50 | 15 | 24 |2568k|7722 | 0.000000e+00 | -- | Inf
945.62/945.76 c 946s| 4410k|964629 | 11296k| 2.6 | 816M| 45 | 6 | 50 |8628 | 50 | 15 | 24 |2574k|7730 | 0.000000e+00 | -- | Inf
948.24/948.38 c 948s| 4420k|966619 | 11321k| 2.6 | 818M| 45 | 6 | 50 |8224 | 50 | 15 | 24 |2580k|7738 | 0.000000e+00 | -- | Inf
950.52/950.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
950.52/950.66 c 951s| 4430k|968750 | 11348k| 2.6 | 820M| 45 | - | 50 |9484 | 50 | 15 | 24 |2585k|7746 | 0.000000e+00 | -- | Inf
953.32/953.46 c 953s| 4440k|970515 | 11373k| 2.6 | 821M| 45 | 6 | 50 |6776 | 50 | 15 | 24 |2592k|7750 | 0.000000e+00 | -- | Inf
955.42/955.56 c 956s| 4450k|972945 | 11399k| 2.6 | 824M| 45 | 6 | 50 |9036 | 50 | 15 | 24 |2597k|7764 | 0.000000e+00 | -- | Inf
957.92/958.07 c 958s| 4460k|974909 | 11425k| 2.6 | 825M| 45 | 6 | 50 |9297 | 50 | 15 | 24 |2604k|7771 | 0.000000e+00 | -- | Inf
960.82/960.92 c 961s| 4470k|976632 | 11451k| 2.6 | 826M| 45 | 6 | 50 |5996 | 50 | 15 | 24 |2610k|7775 | 0.000000e+00 | -- | Inf
963.32/963.40 c 963s| 4480k|978298 | 11477k| 2.6 | 828M| 45 | - | 50 |5725 | 50 | 15 | 24 |2616k|7780 | 0.000000e+00 | -- | Inf
965.62/965.77 c 966s| 4490k|980151 | 11501k| 2.6 | 830M| 45 | - | 50 |6367 | 50 | 15 | 24 |2622k|7789 | 0.000000e+00 | -- | Inf
968.04/968.16 c 968s| 4500k|982065 | 11527k| 2.6 | 831M| 45 | - | 50 |5779 | 50 | 15 | 24 |2628k|7795 | 0.000000e+00 | -- | Inf
970.02/970.19 c 970s| 4510k|984201 | 11554k| 2.6 | 834M| 45 | - | 50 |8032 | 50 | 15 | 24 |2634k|7803 | 0.000000e+00 | -- | Inf
972.52/972.67 c 973s| 4520k|986088 | 11579k| 2.6 | 835M| 45 | - | 50 |8076 | 50 | 15 | 24 |2640k|7812 | 0.000000e+00 | -- | Inf
975.12/975.24 c 975s| 4530k|987971 | 11605k| 2.6 | 837M| 45 | - | 50 |7484 | 50 | 15 | 24 |2647k|7827 | 0.000000e+00 | -- | Inf
977.42/977.55 c 978s| 4540k|989995 | 11631k| 2.6 | 839M| 45 | 6 | 50 |7911 | 50 | 15 | 24 |2653k|7833 | 0.000000e+00 | -- | Inf
979.92/980.00 c 980s| 4550k|991871 | 11656k| 2.6 | 841M| 45 | - | 50 |7974 | 50 | 15 | 24 |2659k|7840 | 0.000000e+00 | -- | Inf
982.62/982.75 c 983s| 4560k|993499 | 11682k| 2.6 | 842M| 45 | - | 50 |5774 | 0 | 0 | 24 |2665k|7845 | 0.000000e+00 | -- | Inf
984.62/984.79 c 985s| 4570k|995771 | 11709k| 2.6 | 844M| 45 | 6 | 50 |8123 | 50 | 15 | 24 |2671k|7852 | 0.000000e+00 | -- | Inf
986.92/987.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
986.92/987.07 c 987s| 4580k|997683 | 11737k| 2.6 | 846M| 45 | - | 50 |9131 | 50 | 15 | 24 |2677k|7864 | 0.000000e+00 | -- | Inf
989.52/989.66 c 990s| 4590k|999335 | 11764k| 2.6 | 848M| 45 | 6 | 50 |9267 | 50 | 15 | 24 |2683k|7871 | 0.000000e+00 | -- | Inf
992.13/992.27 c 992s| 4600k| 1001k| 11789k| 2.6 | 850M| 45 | 6 | 50 |9439 | 50 | 15 | 24 |2690k|7876 | 0.000000e+00 | -- | Inf
994.92/995.08 c 995s| 4610k| 1002k| 11815k| 2.6 | 851M| 45 | - | 50 |8119 | 0 | 0 | 24 |2696k|7884 | 0.000000e+00 | -- | Inf
997.42/997.57 c 998s| 4620k| 1004k| 11841k| 2.6 | 853M| 45 | 6 | 50 |7789 | 50 | 15 | 24 |2702k|7889 | 0.000000e+00 | -- | Inf
1000.12/1000.24 c 1000s| 4630k| 1006k| 11866k| 2.6 | 854M| 45 | - | 50 |6652 | 50 | 15 | 24 |2708k|7893 | 0.000000e+00 | -- | Inf
1002.42/1002.52 c 1003s| 4640k| 1008k| 11892k| 2.6 | 856M| 45 | 6 | 50 |6871 | 50 | 15 | 24 |2714k|7901 | 0.000000e+00 | -- | Inf
1004.72/1004.84 c 1005s| 4650k| 1009k| 11918k| 2.6 | 858M| 45 | - | 50 |8163 | 50 | 15 | 24 |2721k|7912 | 0.000000e+00 | -- | Inf
1007.12/1007.27 c 1007s| 4660k| 1011k| 11944k| 2.6 | 860M| 45 | - | 50 |8369 | 50 | 15 | 24 |2727k|7918 | 0.000000e+00 | -- | Inf
1009.83/1009.95 c 1010s| 4670k| 1013k| 11969k| 2.6 | 861M| 45 | - | 50 |6327 | 50 | 15 | 24 |2733k|7924 | 0.000000e+00 | -- | Inf
1012.22/1012.35 c 1012s| 4680k| 1015k| 11995k| 2.6 | 863M| 45 | 6 | 50 |7147 | 50 | 15 | 24 |2739k|7926 | 0.000000e+00 | -- | Inf
1014.72/1014.86 c 1015s| 4690k| 1017k| 12020k| 2.6 | 864M| 45 | - | 50 |5808 | 50 | 15 | 24 |2745k|7934 | 0.000000e+00 | -- | Inf
1017.02/1017.10 c 1017s| 4700k| 1018k| 12045k| 2.6 | 866M| 45 | 6 | 50 |7113 | 50 | 15 | 24 |2751k|7943 | 0.000000e+00 | -- | Inf
1019.42/1019.54 c 1020s| 4710k| 1020k| 12071k| 2.6 | 868M| 45 | 6 | 50 |7118 | 50 | 15 | 24 |2757k|7948 | 0.000000e+00 | -- | Inf
1022.02/1022.18 c 1022s| 4720k| 1022k| 12096k| 2.6 | 869M| 45 | 6 | 50 |5673 | 50 | 15 | 24 |2763k|7956 | 0.000000e+00 | -- | Inf
1024.42/1024.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1024.42/1024.50 c 1025s| 4730k| 1024k| 12121k| 2.6 | 871M| 45 | 6 | 50 |6557 | 50 | 15 | 24 |2770k|7959 | 0.000000e+00 | -- | Inf
1027.02/1027.11 c 1027s| 4740k| 1025k| 12147k| 2.6 | 872M| 45 | - | 50 |5083 | 50 | 15 | 24 |2776k|7966 | 0.000000e+00 | -- | Inf
1029.21/1029.31 c 1029s| 4750k| 1027k| 12172k| 2.6 | 874M| 45 | 6 | 50 |6372 | 50 | 15 | 24 |2782k|7974 | 0.000000e+00 | -- | Inf
1031.32/1031.44 c 1031s| 4760k| 1029k| 12197k| 2.6 | 877M| 45 | - | 50 |8263 | 50 | 15 | 24 |2788k|7984 | 0.000000e+00 | -- | Inf
1033.82/1033.99 c 1034s| 4770k| 1031k| 12223k| 2.6 | 878M| 45 | - | 50 |8370 | 50 | 15 | 24 |2794k|7993 | 0.000000e+00 | -- | Inf
1036.32/1036.42 c 1036s| 4780k| 1033k| 12249k| 2.6 | 880M| 45 | 6 | 50 |9484 | 50 | 15 | 24 |2801k|8000 | 0.000000e+00 | -- | Inf
1038.82/1038.94 c 1039s| 4790k| 1035k| 12274k| 2.6 | 882M| 45 | 6 | 50 |8367 | 50 | 15 | 24 |2806k|8004 | 0.000000e+00 | -- | Inf
1041.42/1041.58 c 1042s| 4800k| 1036k| 12300k| 2.6 | 883M| 45 | 6 | 50 |7313 | 50 | 15 | 24 |2813k|8007 | 0.000000e+00 | -- | Inf
1044.11/1044.23 c 1044s| 4810k| 1038k| 12325k| 2.6 | 884M| 45 | 6 | 50 |5233 | 50 | 15 | 24 |2819k|8010 | 0.000000e+00 | -- | Inf
1046.42/1046.57 c 1047s| 4820k| 1040k| 12350k| 2.6 | 886M| 45 | - | 50 |5956 | 50 | 15 | 24 |2825k|8023 | 0.000000e+00 | -- | Inf
1048.92/1049.07 c 1049s| 4830k| 1041k| 12375k| 2.6 | 888M| 45 | 6 | 50 |4954 | 50 | 15 | 24 |2832k|8028 | 0.000000e+00 | -- | Inf
1051.22/1051.36 c 1051s| 4840k| 1043k| 12402k| 2.6 | 890M| 45 | 6 | 50 |5928 | 50 | 15 | 24 |2838k|8032 | 0.000000e+00 | -- | Inf
1053.74/1053.84 c 1054s| 4850k| 1045k| 12427k| 2.6 | 891M| 45 | 6 | 50 |5742 | 50 | 15 | 24 |2844k|8037 | 0.000000e+00 | -- | Inf
1055.82/1055.97 c 1056s| 4860k| 1047k| 12454k| 2.6 | 894M| 45 | 6 | 50 |7768 | 50 | 15 | 24 |2850k|8046 | 0.000000e+00 | -- | Inf
1058.02/1058.18 c 1058s| 4870k| 1049k| 12481k| 2.6 | 896M| 45 | 6 | 50 |9087 | 50 | 15 | 24 |2856k|8051 | 0.000000e+00 | -- | Inf
1060.34/1060.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1060.34/1060.44 c 1060s| 4880k| 1051k| 12509k| 2.6 | 898M| 45 | - | 50 | 10k| 50 | 15 | 24 |2862k|8059 | 0.000000e+00 | -- | Inf
1062.82/1062.97 c 1063s| 4890k| 1053k| 12536k| 2.6 | 900M| 45 | - | 50 | 10k| 50 | 15 | 24 |2869k|8064 | 0.000000e+00 | -- | Inf
1065.42/1065.60 c 1066s| 4900k| 1055k| 12563k| 2.6 | 901M| 45 | 6 | 50 |9229 | 50 | 15 | 24 |2875k|8069 | 0.000000e+00 | -- | Inf
1068.03/1068.14 c 1068s| 4910k| 1057k| 12590k| 2.6 | 902M| 45 | 6 | 50 |8517 | 50 | 15 | 24 |2882k|8076 | 0.000000e+00 | -- | Inf
1070.51/1070.66 c 1071s| 4920k| 1058k| 12616k| 2.6 | 904M| 45 | 6 | 50 |9018 | 50 | 15 | 24 |2888k|8081 | 0.000000e+00 | -- | Inf
1073.11/1073.29 c 1073s| 4930k| 1060k| 12643k| 2.6 | 906M| 45 | 6 | 50 |8676 | 50 | 15 | 24 |2895k|8088 | 0.000000e+00 | -- | Inf
1075.84/1075.95 c 1076s| 4940k| 1061k| 12670k| 2.6 | 907M| 45 | 6 | 50 |8980 | 50 | 15 | 24 |2902k|8091 | 0.000000e+00 | -- | Inf
1078.31/1078.47 c 1078s| 4950k| 1063k| 12695k| 2.6 | 909M| 45 | 6 | 50 |8431 | 50 | 15 | 24 |2908k|8096 | 0.000000e+00 | -- | Inf
1080.82/1080.97 c 1081s| 4960k| 1065k| 12720k| 2.6 | 910M| 45 | 6 | 50 |7619 | 50 | 15 | 24 |2914k|8104 | 0.000000e+00 | -- | Inf
1083.43/1083.59 c 1084s| 4970k| 1067k| 12745k| 2.6 | 912M| 45 | 6 | 50 |5869 | 50 | 15 | 24 |2920k|8111 | 0.000000e+00 | -- | Inf
1085.92/1086.06 c 1086s| 4980k| 1068k| 12770k| 2.6 | 913M| 45 | 6 | 50 |5618 | 50 | 15 | 24 |2926k|8113 | 0.000000e+00 | -- | Inf
1088.31/1088.46 c 1088s| 4990k| 1070k| 12794k| 2.6 | 915M| 45 | 6 | 50 |5147 | 50 | 15 | 24 |2932k|8121 | 0.000000e+00 | -- | Inf
1090.62/1090.79 c 1091s| 5000k| 1072k| 12822k| 2.6 | 917M| 45 | 6 | 50 |5885 | 50 | 15 | 24 |2939k|8128 | 0.000000e+00 | -- | Inf
1093.02/1093.16 c 1093s| 5010k| 1074k| 12847k| 2.6 | 919M| 45 | - | 50 |6937 | 50 | 15 | 24 |2945k|8135 | 0.000000e+00 | -- | Inf
1095.63/1095.78 c 1096s| 5020k| 1075k| 12873k| 2.6 | 920M| 45 | - | 50 |5094 | 50 | 15 | 24 |2951k|8140 | 0.000000e+00 | -- | Inf
1098.12/1098.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1098.12/1098.22 c 1098s| 5030k| 1077k| 12898k| 2.6 | 921M| 45 | - | 50 |5096 | 50 | 15 | 24 |2957k|8147 | 0.000000e+00 | -- | Inf
1100.32/1100.46 c 1100s| 5040k| 1078k| 12924k| 2.6 | 923M| 45 | - | 50 |6107 | 50 | 15 | 24 |2963k|8153 | 0.000000e+00 | -- | Inf
1102.82/1102.94 c 1103s| 5050k| 1080k| 12949k| 2.6 | 925M| 45 | - | 50 |6006 | 50 | 15 | 24 |2970k|8160 | 0.000000e+00 | -- | Inf
1105.22/1105.34 c 1105s| 5060k| 1082k| 12975k| 2.6 | 927M| 45 | - | 50 |6601 | 50 | 15 | 24 |2976k|8166 | 0.000000e+00 | -- | Inf
1107.63/1107.80 c 1108s| 5070k| 1084k| 13000k| 2.6 | 928M| 45 | 6 | 50 |5682 | 50 | 15 | 24 |2982k|8176 | 0.000000e+00 | -- | Inf
1110.12/1110.25 c 1110s| 5080k| 1085k| 13025k| 2.6 | 930M| 45 | - | 50 |5420 | 50 | 15 | 24 |2988k|8185 | 0.000000e+00 | -- | Inf
1112.41/1112.55 c 1113s| 5090k| 1087k| 13050k| 2.6 | 932M| 45 | - | 50 |6584 | 50 | 15 | 24 |2994k|8192 | 0.000000e+00 | -- | Inf
1114.61/1114.79 c 1115s| 5100k| 1089k| 13076k| 2.6 | 934M| 45 | - | 50 |8877 | 50 | 15 | 24 |3000k|8199 | 0.000000e+00 | -- | Inf
1117.41/1117.57 c 1118s| 5110k| 1091k| 13101k| 2.6 | 935M| 45 | - | 50 |5298 | 0 | 0 | 24 |3006k|8211 | 0.000000e+00 | -- | Inf
1119.91/1120.02 c 1120s| 5120k| 1092k| 13126k| 2.6 | 937M| 45 | 6 | 50 |5100 | 50 | 15 | 24 |3013k|8217 | 0.000000e+00 | -- | Inf
1122.21/1122.37 c 1122s| 5130k| 1094k| 13152k| 2.6 | 939M| 45 | - | 50 |6332 | 50 | 15 | 24 |3019k|8224 | 0.000000e+00 | -- | Inf
1124.52/1124.64 c 1125s| 5140k| 1096k| 13177k| 2.6 | 941M| 45 | 6 | 50 |7426 | 50 | 15 | 24 |3025k|8233 | 0.000000e+00 | -- | Inf
1127.01/1127.12 c 1127s| 5150k| 1098k| 13203k| 2.6 | 942M| 45 | - | 50 |7214 | 50 | 15 | 24 |3031k|8243 | 0.000000e+00 | -- | Inf
1129.52/1129.69 c 1130s| 5160k| 1100k| 13229k| 2.6 | 944M| 45 | 6 | 50 |6037 | 50 | 15 | 24 |3037k|8251 | 0.000000e+00 | -- | Inf
1131.93/1132.08 c 1132s| 5170k| 1101k| 13254k| 2.6 | 945M| 45 | 6 | 50 |6103 | 50 | 15 | 24 |3043k|8258 | 0.000000e+00 | -- | Inf
1134.42/1134.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1134.42/1134.56 c 1135s| 5180k| 1103k| 13279k| 2.6 | 947M| 45 | 6 | 50 |6939 | 50 | 15 | 24 |3050k|8270 | 0.000000e+00 | -- | Inf
1136.71/1136.86 c 1137s| 5190k| 1105k| 13305k| 2.6 | 949M| 45 | - | 50 |7478 | 50 | 15 | 24 |3056k|8276 | 0.000000e+00 | -- | Inf
1139.22/1139.36 c 1139s| 5200k| 1107k| 13330k| 2.6 | 951M| 45 | - | 50 |6743 | 50 | 15 | 24 |3062k|8278 | 0.000000e+00 | -- | Inf
1141.73/1141.83 c 1142s| 5210k| 1108k| 13356k| 2.6 | 952M| 45 | 6 | 50 |6329 | 50 | 15 | 24 |3068k|8281 | 0.000000e+00 | -- | Inf
1144.12/1144.26 c 1144s| 5220k| 1110k| 13382k| 2.6 | 954M| 45 | - | 50 |6295 | 50 | 15 | 24 |3074k|8286 | 0.000000e+00 | -- | Inf
1146.61/1146.74 c 1147s| 5230k| 1112k| 13407k| 2.6 | 955M| 45 | 6 | 50 |5961 | 50 | 15 | 24 |3080k|8299 | 0.000000e+00 | -- | Inf
1148.91/1149.00 c 1149s| 5240k| 1114k| 13433k| 2.6 | 957M| 45 | 6 | 50 |6856 | 50 | 15 | 24 |3086k|8310 | 0.000000e+00 | -- | Inf
1151.22/1151.38 c 1151s| 5250k| 1115k| 13459k| 2.6 | 959M| 45 | 6 | 50 |6301 | 50 | 15 | 24 |3093k|8314 | 0.000000e+00 | -- | Inf
1153.71/1153.82 c 1154s| 5260k| 1117k| 13484k| 2.6 | 960M| 45 | 6 | 50 |5671 | 50 | 15 | 24 |3099k|8317 | 0.000000e+00 | -- | Inf
1156.03/1156.18 c 1156s| 5270k| 1119k| 13509k| 2.6 | 962M| 45 | - | 50 |5436 | 50 | 15 | 24 |3105k|8327 | 0.000000e+00 | -- | Inf
1158.41/1158.54 c 1159s| 5280k| 1121k| 13535k| 2.6 | 964M| 45 | - | 50 |6164 | 50 | 15 | 24 |3111k|8331 | 0.000000e+00 | -- | Inf
1160.81/1160.97 c 1161s| 5290k| 1122k| 13560k| 2.6 | 966M| 45 | 6 | 50 |5709 | 50 | 15 | 24 |3117k|8341 | 0.000000e+00 | -- | Inf
1163.22/1163.35 c 1163s| 5300k| 1124k| 13585k| 2.6 | 967M| 45 | - | 50 |5276 | 0 | 0 | 24 |3123k|8345 | 0.000000e+00 | -- | Inf
1165.51/1165.67 c 1166s| 5310k| 1126k| 13610k| 2.6 | 969M| 45 | 6 | 50 |6120 | 50 | 15 | 24 |3129k|8349 | 0.000000e+00 | -- | Inf
1167.91/1168.06 c 1168s| 5320k| 1128k| 13636k| 2.6 | 971M| 45 | - | 50 |6775 | 50 | 15 | 24 |3136k|8359 | 0.000000e+00 | -- | Inf
1170.33/1170.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1170.33/1170.49 c 1170s| 5330k| 1129k| 13662k| 2.6 | 973M| 45 | 6 | 50 |7205 | 50 | 15 | 24 |3142k|8367 | 0.000000e+00 | -- | Inf
1172.91/1173.03 c 1173s| 5340k| 1131k| 13687k| 2.6 | 974M| 45 | 6 | 50 |5863 | 50 | 15 | 24 |3148k|8373 | 0.000000e+00 | -- | Inf
1174.91/1175.06 c 1175s| 5350k| 1134k| 13712k| 2.6 | 977M| 45 | - | 50 |8024 | 50 | 15 | 24 |3154k|8382 | 0.000000e+00 | -- | Inf
1177.41/1177.57 c 1178s| 5360k| 1135k| 13738k| 2.6 | 978M| 45 | - | 50 |8761 | 50 | 15 | 24 |3160k|8389 | 0.000000e+00 | -- | Inf
1180.12/1180.21 c 1180s| 5370k| 1137k| 13764k| 2.6 | 980M| 45 | 6 | 50 |7031 | 50 | 15 | 24 |3166k|8396 | 0.000000e+00 | -- | Inf
1182.72/1182.83 c 1183s| 5380k| 1139k| 13789k| 2.6 | 981M| 45 | 6 | 50 |5935 | 50 | 15 | 24 |3172k|8403 | 0.000000e+00 | -- | Inf
1184.91/1185.09 c 1185s| 5390k| 1141k| 13816k| 2.6 | 983M| 45 | 6 | 50 |7940 | 50 | 15 | 24 |3179k|8417 | 0.000000e+00 | -- | Inf
1187.21/1187.36 c 1187s| 5400k| 1143k| 13842k| 2.6 | 985M| 45 | 6 | 50 |8880 | 50 | 15 | 24 |3185k|8424 | 0.000000e+00 | -- | Inf
1189.91/1190.08 c 1190s| 5410k| 1144k| 13867k| 2.6 | 987M| 45 | 6 | 50 |6897 | 50 | 15 | 24 |3191k|8437 | 0.000000e+00 | -- | Inf
1192.32/1192.41 c 1192s| 5420k| 1146k| 13893k| 2.6 | 989M| 45 | 6 | 50 |8343 | 50 | 15 | 24 |3197k|8446 | 0.000000e+00 | -- | Inf
1194.92/1195.00 c 1195s| 5430k| 1148k| 13919k| 2.6 | 990M| 45 | - | 50 |7141 | 0 | 0 | 24 |3203k|8452 | 0.000000e+00 | -- | Inf
1197.41/1197.55 c 1198s| 5440k| 1149k| 13944k| 2.6 | 992M| 45 | - | 50 |6778 | 50 | 15 | 24 |3209k|8456 | 0.000000e+00 | -- | Inf
1199.91/1200.05 c 1200s| 5450k| 1151k| 13970k| 2.6 | 993M| 45 | 6 | 50 |5933 | 50 | 15 | 24 |3216k|8462 | 0.000000e+00 | -- | Inf
1202.11/1202.23 c 1202s| 5460k| 1153k| 13997k| 2.6 | 995M| 45 | 6 | 50 |8176 | 50 | 15 | 24 |3223k|8469 | 0.000000e+00 | -- | Inf
1204.71/1204.84 c 1205s| 5470k| 1154k| 14024k| 2.6 | 997M| 45 | 6 | 50 |7396 | 50 | 15 | 24 |3230k|8476 | 0.000000e+00 | -- | Inf
1207.01/1207.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1207.01/1207.18 c 1207s| 5480k| 1156k| 14050k| 2.6 | 999M| 45 | 6 | 50 |7823 | 50 | 15 | 24 |3236k|8482 | 0.000000e+00 | -- | Inf
1209.01/1209.17 c 1209s| 5490k| 1159k| 14076k| 2.6 |1001M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |3241k|8487 | 0.000000e+00 | -- | Inf
1211.52/1211.63 c 1212s| 5500k| 1161k| 14102k| 2.6 |1003M| 45 | - | 50 | 10k| 50 | 15 | 24 |3247k|8494 | 0.000000e+00 | -- | Inf
1213.91/1214.02 c 1214s| 5510k| 1164k| 14129k| 2.6 |1005M| 45 | - | 50 | 11k| 0 | 0 | 24 |3253k|8499 | 0.000000e+00 | -- | Inf
1216.31/1216.46 c 1216s| 5520k| 1166k| 14156k| 2.6 |1008M| 45 | 6 | 50 | 12k| 50 | 15 | 24 |3259k|8501 | 0.000000e+00 | -- | Inf
1219.12/1219.29 c 1219s| 5530k| 1168k| 14182k| 2.6 |1009M| 45 | 6 | 50 | 12k| 50 | 15 | 24 |3265k|8512 | 0.000000e+00 | -- | Inf
1222.13/1222.29 c 1222s| 5540k| 1170k| 14209k| 2.6 |1011M| 45 | - | 50 | 11k| 50 | 15 | 24 |3272k|8518 | 0.000000e+00 | -- | Inf
1225.11/1225.21 c 1225s| 5550k| 1172k| 14235k| 2.6 |1012M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |3278k|8521 | 0.000000e+00 | -- | Inf
1228.02/1228.10 c 1228s| 5560k| 1173k| 14262k| 2.6 |1014M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |3284k|8525 | 0.000000e+00 | -- | Inf
1231.22/1231.32 c 1231s| 5570k| 1175k| 14288k| 2.6 |1015M| 45 | 6 | 50 |7245 | 50 | 15 | 24 |3291k|8529 | 0.000000e+00 | -- | Inf
1233.81/1233.93 c 1234s| 5580k| 1176k| 14313k| 2.6 |1016M| 45 | 6 | 50 |6724 | 50 | 15 | 24 |3297k|8540 | 0.000000e+00 | -- | Inf
1236.43/1236.55 c 1237s| 5590k| 1178k| 14338k| 2.6 |1018M| 45 | - | 50 |5823 | 50 | 15 | 24 |3303k|8544 | 0.000000e+00 | -- | Inf
1239.01/1239.13 c 1239s| 5600k| 1179k| 14363k| 2.6 |1019M| 45 | 6 | 50 |5280 | 50 | 15 | 24 |3310k|8547 | 0.000000e+00 | -- | Inf
1241.11/1241.26 c 1241s| 5610k| 1182k| 14390k| 2.6 |1021M| 45 | - | 50 |7732 | 50 | 15 | 24 |3315k|8559 | 0.000000e+00 | -- | Inf
1243.72/1243.85 c 1244s| 5620k| 1183k| 14416k| 2.6 |1023M| 45 | 6 | 50 |6467 | 50 | 15 | 24 |3321k|8561 | 0.000000e+00 | -- | Inf
1246.23/1246.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1246.23/1246.41 c 1246s| 5630k| 1185k| 14441k| 2.6 |1024M| 45 | 6 | 50 |5303 | 50 | 15 | 24 |3328k|8567 | 0.000000e+00 | -- | Inf
1248.61/1248.76 c 1249s| 5640k| 1187k| 14467k| 2.6 |1026M| 45 | 6 | 50 |6092 | 50 | 15 | 24 |3334k|8576 | 0.000000e+00 | -- | Inf
1251.11/1251.25 c 1251s| 5650k| 1188k| 14492k| 2.6 |1028M| 45 | - | 50 |5998 | 50 | 15 | 24 |3340k|8582 | 0.000000e+00 | -- | Inf
1253.41/1253.53 c 1254s| 5660k| 1190k| 14518k| 2.6 |1030M| 45 | 6 | 50 |8185 | 50 | 15 | 24 |3346k|8590 | 0.000000e+00 | -- | Inf
1256.12/1256.25 c 1256s| 5670k| 1192k| 14543k| 2.6 |1031M| 45 | 6 | 50 |7244 | 50 | 15 | 24 |3352k|8593 | 0.000000e+00 | -- | Inf
1258.72/1258.80 c 1259s| 5680k| 1194k| 14569k| 2.6 |1033M| 45 | 6 | 50 |5835 | 50 | 15 | 24 |3358k|8599 | 0.000000e+00 | -- | Inf
1260.63/1260.73 c 1261s| 5690k| 1197k| 14595k| 2.6 |1035M| 45 | 6 | 50 |7999 | 50 | 15 | 24 |3363k|8603 | 0.000000e+00 | -- | Inf
1262.83/1262.99 c 1263s| 5700k| 1200k| 14622k| 2.6 |1038M| 45 | - | 50 |8946 | 50 | 15 | 24 |3369k|8608 | 0.000000e+00 | -- | Inf
1265.22/1265.37 c 1265s| 5710k| 1202k| 14648k| 2.6 |1040M| 45 | 6 | 50 |9750 | 50 | 15 | 24 |3375k|8613 | 0.000000e+00 | -- | Inf
1267.61/1267.78 c 1268s| 5720k| 1204k| 14675k| 2.6 |1042M| 45 | - | 50 | 10k| 50 | 15 | 24 |3381k|8615 | 0.000000e+00 | -- | Inf
1270.31/1270.41 c 1270s| 5730k| 1206k| 14702k| 2.6 |1043M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |3387k|8625 | 0.000000e+00 | -- | Inf
1272.73/1272.87 c 1273s| 5740k| 1208k| 14730k| 2.6 |1045M| 45 | - | 50 | 10k| 50 | 15 | 24 |3393k|8633 | 0.000000e+00 | -- | Inf
1275.52/1275.62 c 1276s| 5750k| 1210k| 14756k| 2.6 |1047M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |3399k|8640 | 0.000000e+00 | -- | Inf
1278.23/1278.40 c 1278s| 5760k| 1212k| 14782k| 2.6 |1049M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |3405k|8650 | 0.000000e+00 | -- | Inf
1280.91/1281.06 c 1281s| 5770k| 1214k| 14808k| 2.6 |1050M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |3411k|8661 | 0.000000e+00 | -- | Inf
1283.41/1283.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1283.41/1283.51 c 1284s| 5780k| 1216k| 14834k| 2.6 |1053M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |3417k|8665 | 0.000000e+00 | -- | Inf
1286.11/1286.28 c 1286s| 5790k| 1218k| 14861k| 2.6 |1054M| 45 | - | 50 | 11k| 50 | 15 | 24 |3424k|8669 | 0.000000e+00 | -- | Inf
1288.91/1289.03 c 1289s| 5800k| 1220k| 14888k| 2.6 |1056M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |3430k|8674 | 0.000000e+00 | -- | Inf
1291.72/1291.88 c 1292s| 5810k| 1221k| 14914k| 2.6 |1058M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |3436k|8679 | 0.000000e+00 | -- | Inf
1294.81/1294.93 c 1295s| 5820k| 1223k| 14940k| 2.6 |1059M| 45 | - | 50 | 11k| 50 | 15 | 24 |3442k|8681 | 0.000000e+00 | -- | Inf
1298.03/1298.14 c 1298s| 5830k| 1224k| 14966k| 2.6 |1060M| 45 | 6 | 50 |7079 | 50 | 15 | 24 |3449k|8697 | 0.000000e+00 | -- | Inf
1300.71/1300.80 c 1301s| 5840k| 1226k| 14991k| 2.6 |1062M| 45 | 6 | 50 |7233 | 50 | 15 | 24 |3455k|8707 | 0.000000e+00 | -- | Inf
1303.31/1303.40 c 1303s| 5850k| 1228k| 15017k| 2.6 |1063M| 45 | - | 50 |7033 | 50 | 15 | 24 |3461k|8718 | 0.000000e+00 | -- | Inf
1305.91/1306.09 c 1306s| 5860k| 1229k| 15043k| 2.6 |1065M| 45 | 6 | 50 |7065 | 50 | 15 | 24 |3468k|8723 | 0.000000e+00 | -- | Inf
1308.61/1308.79 c 1309s| 5870k| 1231k| 15068k| 2.6 |1066M| 45 | 6 | 50 |5579 | 50 | 15 | 24 |3474k|8728 | 0.000000e+00 | -- | Inf
1311.23/1311.33 c 1311s| 5880k| 1233k| 15093k| 2.6 |1068M| 45 | - | 50 |5488 | 50 | 15 | 24 |3480k|8732 | 0.000000e+00 | -- | Inf
1313.52/1313.67 c 1314s| 5890k| 1234k| 15119k| 2.6 |1070M| 45 | 6 | 50 |7319 | 50 | 15 | 24 |3487k|8737 | 0.000000e+00 | -- | Inf
1316.11/1316.25 c 1316s| 5900k| 1236k| 15145k| 2.6 |1071M| 45 | 6 | 50 |6816 | 50 | 15 | 24 |3493k|8742 | 0.000000e+00 | -- | Inf
1318.71/1318.87 c 1319s| 5910k| 1238k| 15171k| 2.6 |1073M| 45 | - | 50 |5986 | 50 | 15 | 24 |3499k|8752 | 0.000000e+00 | -- | Inf
1321.13/1321.24 c 1321s| 5920k| 1239k| 15196k| 2.6 |1075M| 45 | - | 50 |6860 | 50 | 15 | 24 |3505k|8757 | 0.000000e+00 | -- | Inf
1323.81/1323.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1323.81/1323.98 c 1324s| 5930k| 1241k| 15222k| 2.6 |1076M| 45 | - | 50 |6239 | 50 | 15 | 24 |3512k|8764 | 0.000000e+00 | -- | Inf
1326.41/1326.57 c 1327s| 5940k| 1243k| 15247k| 2.6 |1078M| 45 | 6 | 50 |5578 | 50 | 15 | 24 |3518k|8770 | 0.000000e+00 | -- | Inf
1328.61/1328.71 c 1329s| 5950k| 1244k| 15273k| 2.6 |1080M| 45 | 6 | 50 |7299 | 50 | 15 | 24 |3524k|8776 | 0.000000e+00 | -- | Inf
1331.03/1331.19 c 1331s| 5960k| 1246k| 15299k| 2.6 |1082M| 45 | 6 | 50 |7834 | 50 | 15 | 24 |3530k|8780 | 0.000000e+00 | -- | Inf
1333.51/1333.66 c 1334s| 5970k| 1248k| 15325k| 2.6 |1083M| 45 | - | 50 |8118 | 50 | 15 | 24 |3536k|8786 | 0.000000e+00 | -- | Inf
1336.02/1336.19 c 1336s| 5980k| 1250k| 15351k| 2.6 |1085M| 45 | - | 50 |9461 | 50 | 15 | 24 |3543k|8793 | 0.000000e+00 | -- | Inf
1338.41/1338.52 c 1339s| 5990k| 1252k| 15376k| 2.6 |1087M| 45 | - | 50 |9968 | 50 | 15 | 24 |3548k|8801 | 0.000000e+00 | -- | Inf
1340.82/1340.96 c 1341s| 6000k| 1254k| 15401k| 2.6 |1089M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |3554k|8806 | 0.000000e+00 | -- | Inf
1343.21/1343.33 c 1343s| 6010k| 1257k| 15426k| 2.6 |1092M| 45 | 6 | 50 | 12k| 50 | 15 | 24 |3559k|8811 | 0.000000e+00 | -- | Inf
1345.91/1346.09 c 1346s| 6020k| 1259k| 15451k| 2.6 |1093M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |3565k|8816 | 0.000000e+00 | -- | Inf
1348.81/1348.93 c 1349s| 6030k| 1260k| 15477k| 2.6 |1095M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |3572k|8821 | 0.000000e+00 | -- | Inf
1351.83/1352.01 c 1352s| 6040k| 1262k| 15502k| 2.6 |1096M| 45 | 6 | 50 |7626 | 50 | 15 | 24 |3578k|8827 | 0.000000e+00 | -- | Inf
1354.71/1354.89 c 1355s| 6050k| 1263k| 15528k| 2.6 |1097M| 45 | 6 | 50 |5761 | 50 | 15 | 24 |3584k|8832 | 0.000000e+00 | -- | Inf
1357.32/1357.43 c 1357s| 6060k| 1265k| 15553k| 2.6 |1098M| 45 | 6 | 50 |5392 | 50 | 15 | 24 |3591k|8837 | 0.000000e+00 | -- | Inf
1359.63/1359.79 c 1360s| 6070k| 1267k| 15579k| 2.6 |1100M| 45 | 6 | 50 |6053 | 50 | 15 | 24 |3597k|8842 | 0.000000e+00 | -- | Inf
1362.11/1362.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1362.11/1362.22 c 1362s| 6080k| 1269k| 15605k| 2.6 |1102M| 45 | - | 50 |7046 | 50 | 15 | 24 |3603k|8851 | 0.000000e+00 | -- | Inf
1364.82/1364.92 c 1365s| 6090k| 1270k| 15631k| 2.6 |1104M| 45 | - | 50 |6086 | 50 | 15 | 24 |3609k|8859 | 0.000000e+00 | -- | Inf
1367.22/1367.32 c 1367s| 6100k| 1272k| 15657k| 2.6 |1106M| 45 | 6 | 50 |6871 | 50 | 15 | 24 |3615k|8865 | 0.000000e+00 | -- | Inf
1369.81/1369.97 c 1370s| 6110k| 1274k| 15682k| 2.6 |1107M| 45 | - | 50 |5405 | 0 | 0 | 24 |3622k|8871 | 0.000000e+00 | -- | Inf
1372.31/1372.45 c 1372s| 6120k| 1275k| 15708k| 2.6 |1108M| 45 | 6 | 50 |5555 | 50 | 15 | 24 |3628k|8874 | 0.000000e+00 | -- | Inf
1374.82/1374.90 c 1375s| 6130k| 1277k| 15733k| 2.6 |1110M| 45 | - | 50 |6125 | 50 | 15 | 24 |3634k|8877 | 0.000000e+00 | -- | Inf
1377.31/1377.43 c 1377s| 6140k| 1279k| 15758k| 2.6 |1112M| 45 | 6 | 50 |6057 | 50 | 15 | 24 |3640k|8884 | 0.000000e+00 | -- | Inf
1379.72/1379.82 c 1380s| 6150k| 1280k| 15783k| 2.6 |1114M| 45 | 6 | 50 |6134 | 50 | 15 | 24 |3646k|8888 | 0.000000e+00 | -- | Inf
1382.31/1382.44 c 1382s| 6160k| 1282k| 15808k| 2.6 |1115M| 45 | 6 | 50 |5442 | 50 | 15 | 24 |3653k|8896 | 0.000000e+00 | -- | Inf
1384.71/1384.84 c 1385s| 6170k| 1283k| 15833k| 2.6 |1117M| 45 | 6 | 50 |6226 | 50 | 15 | 24 |3659k|8900 | 0.000000e+00 | -- | Inf
1387.21/1387.33 c 1387s| 6180k| 1285k| 15859k| 2.6 |1118M| 45 | 6 | 50 |6154 | 50 | 15 | 24 |3665k|8909 | 0.000000e+00 | -- | Inf
1389.71/1389.86 c 1390s| 6190k| 1286k| 15884k| 2.6 |1120M| 45 | - | 50 |5749 | 50 | 15 | 24 |3671k|8911 | 0.000000e+00 | -- | Inf
1392.21/1392.33 c 1392s| 6200k| 1288k| 15910k| 2.6 |1122M| 45 | 6 | 50 |6248 | 50 | 15 | 24 |3678k|8920 | 0.000000e+00 | -- | Inf
1394.41/1394.58 c 1395s| 6210k| 1290k| 15936k| 2.6 |1124M| 45 | - | 50 |7519 | 50 | 15 | 24 |3684k|8927 | 0.000000e+00 | -- | Inf
1397.21/1397.31 c 1397s| 6220k| 1292k| 15962k| 2.6 |1125M| 45 | - | 50 |5660 | 50 | 15 | 24 |3690k|8930 | 0.000000e+00 | -- | Inf
1399.61/1399.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1399.61/1399.72 c 1400s| 6230k| 1293k| 15989k| 2.6 |1127M| 45 | - | 50 |7092 | 50 | 15 | 24 |3696k|8937 | 0.000000e+00 | -- | Inf
1402.11/1402.27 c 1402s| 6240k| 1295k| 16014k| 2.6 |1129M| 45 | - | 50 |7455 | 50 | 15 | 24 |3703k|8945 | 0.000000e+00 | -- | Inf
1404.81/1404.96 c 1405s| 6250k| 1297k| 16039k| 2.6 |1130M| 45 | - | 50 |6376 | 0 | 0 | 24 |3709k|8951 | 0.000000e+00 | -- | Inf
1407.11/1407.29 c 1407s| 6260k| 1298k| 16066k| 2.6 |1132M| 45 | 6 | 50 |8153 | 50 | 15 | 24 |3715k|8958 | 0.000000e+00 | -- | Inf
1410.01/1410.19 c 1410s| 6270k| 1300k| 16090k| 2.6 |1133M| 45 | 6 | 50 |5746 | 50 | 15 | 24 |3722k|8961 | 0.000000e+00 | -- | Inf
1412.51/1412.65 c 1413s| 6280k| 1301k| 16115k| 2.6 |1135M| 45 | - | 50 |5707 | 50 | 15 | 24 |3728k|8968 | 0.000000e+00 | -- | Inf
1414.71/1414.86 c 1415s| 6290k| 1304k| 16141k| 2.6 |1137M| 45 | - | 50 |7883 | 50 | 15 | 24 |3734k|8975 | 0.000000e+00 | -- | Inf
1417.32/1417.45 c 1417s| 6300k| 1305k| 16167k| 2.6 |1139M| 45 | 6 | 50 |8905 | 50 | 15 | 24 |3740k|8979 | 0.000000e+00 | -- | Inf
1419.81/1419.98 c 1420s| 6310k| 1307k| 16192k| 2.6 |1141M| 45 | 6 | 50 |8914 | 50 | 15 | 24 |3747k|8986 | 0.000000e+00 | -- | Inf
1422.33/1422.46 c 1422s| 6320k| 1309k| 16218k| 2.6 |1143M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |3753k|8997 | 0.000000e+00 | -- | Inf
1425.21/1425.35 c 1425s| 6330k| 1311k| 16242k| 2.6 |1144M| 45 | 6 | 50 |8438 | 50 | 15 | 24 |3759k|9005 | 0.000000e+00 | -- | Inf
1428.01/1428.12 c 1428s| 6340k| 1313k| 16268k| 2.6 |1146M| 45 | 6 | 50 |6570 | 50 | 15 | 24 |3765k|9012 | 0.000000e+00 | -- | Inf
1430.31/1430.40 c 1430s| 6350k| 1314k| 16294k| 2.6 |1148M| 45 | 6 | 50 |9377 | 50 | 15 | 24 |3771k|9021 | 0.000000e+00 | -- | Inf
1433.01/1433.12 c 1433s| 6360k| 1316k| 16319k| 2.6 |1150M| 45 | - | 50 |9045 | 50 | 15 | 24 |3777k|9025 | 0.000000e+00 | -- | Inf
1435.61/1435.72 c 1436s| 6370k| 1318k| 16345k| 2.6 |1151M| 45 | 6 | 50 |7380 | 50 | 15 | 24 |3783k|9031 | 0.000000e+00 | -- | Inf
1438.11/1438.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1438.11/1438.28 c 1438s| 6380k| 1320k| 16371k| 2.6 |1153M| 45 | 6 | 50 |7269 | 50 | 15 | 24 |3789k|9037 | 0.000000e+00 | -- | Inf
1440.81/1441.00 c 1441s| 6390k| 1321k| 16396k| 2.6 |1154M| 45 | 6 | 50 |5925 | 50 | 15 | 24 |3795k|9042 | 0.000000e+00 | -- | Inf
1443.41/1443.55 c 1444s| 6400k| 1323k| 16421k| 2.6 |1156M| 45 | 6 | 50 |6010 | 50 | 15 | 24 |3802k|9051 | 0.000000e+00 | -- | Inf
1446.01/1446.10 c 1446s| 6410k| 1325k| 16447k| 2.6 |1157M| 45 | 6 | 50 |5623 | 50 | 15 | 24 |3808k|9057 | 0.000000e+00 | -- | Inf
1448.41/1448.51 c 1449s| 6420k| 1327k| 16473k| 2.6 |1159M| 45 | - | 50 |6245 | 50 | 15 | 24 |3814k|9068 | 0.000000e+00 | -- | Inf
1450.93/1451.02 c 1451s| 6430k| 1328k| 16498k| 2.6 |1161M| 45 | 6 | 50 |6075 | 50 | 15 | 24 |3820k|9075 | 0.000000e+00 | -- | Inf
1453.42/1453.59 c 1454s| 6440k| 1330k| 16524k| 2.6 |1162M| 45 | 6 | 50 |5664 | 50 | 15 | 24 |3827k|9083 | 0.000000e+00 | -- | Inf
1455.91/1456.09 c 1456s| 6450k| 1331k| 16550k| 2.6 |1164M| 45 | - | 50 |6545 | 50 | 15 | 24 |3833k|9089 | 0.000000e+00 | -- | Inf
1458.42/1458.59 c 1459s| 6460k| 1333k| 16575k| 2.6 |1166M| 45 | 6 | 50 |6053 | 50 | 15 | 24 |3840k|9102 | 0.000000e+00 | -- | Inf
1461.01/1461.17 c 1461s| 6470k| 1335k| 16600k| 2.6 |1167M| 45 | 6 | 50 |5487 | 50 | 15 | 24 |3846k|9106 | 0.000000e+00 | -- | Inf
1463.72/1463.81 c 1464s| 6480k| 1336k| 16625k| 2.6 |1169M| 45 | 6 | 50 |5133 | 50 | 15 | 24 |3852k|9112 | 0.000000e+00 | -- | Inf
1466.23/1466.31 c 1466s| 6490k| 1338k| 16650k| 2.6 |1170M| 45 | 6 | 50 |6096 | 50 | 15 | 24 |3858k|9118 | 0.000000e+00 | -- | Inf
1468.71/1468.85 c 1469s| 6500k| 1339k| 16675k| 2.6 |1172M| 45 | 6 | 50 |6160 | 50 | 15 | 24 |3865k|9121 | 0.000000e+00 | -- | Inf
1471.11/1471.27 c 1471s| 6510k| 1341k| 16701k| 2.6 |1174M| 45 | - | 50 |7495 | 50 | 15 | 24 |3871k|9126 | 0.000000e+00 | -- | Inf
1473.81/1473.95 c 1474s| 6520k| 1342k| 16727k| 2.6 |1175M| 45 | 6 | 50 |5743 | 50 | 15 | 24 |3878k|9137 | 0.000000e+00 | -- | Inf
1476.13/1476.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1476.13/1476.22 c 1476s| 6530k| 1344k| 16752k| 2.6 |1177M| 45 | - | 50 |7115 | 50 | 15 | 24 |3884k|9143 | 0.000000e+00 | -- | Inf
1478.51/1478.69 c 1479s| 6540k| 1346k| 16778k| 2.6 |1179M| 45 | - | 50 |7989 | 50 | 15 | 24 |3890k|9148 | 0.000000e+00 | -- | Inf
1481.21/1481.35 c 1481s| 6550k| 1348k| 16804k| 2.6 |1181M| 45 | - | 50 |7134 | 50 | 15 | 24 |3896k|9151 | 0.000000e+00 | -- | Inf
1483.72/1483.82 c 1484s| 6560k| 1349k| 16828k| 2.6 |1182M| 45 | 6 | 50 |7336 | 50 | 15 | 24 |3902k|9157 | 0.000000e+00 | -- | Inf
1486.21/1486.34 c 1486s| 6570k| 1351k| 16854k| 2.6 |1184M| 45 | 6 | 50 |7926 | 50 | 15 | 24 |3908k|9166 | 0.000000e+00 | -- | Inf
1488.91/1489.08 c 1489s| 6580k| 1353k| 16880k| 2.6 |1186M| 45 | 6 | 50 |6817 | 50 | 15 | 24 |3915k|9171 | 0.000000e+00 | -- | Inf
1491.11/1491.27 c 1491s| 6590k| 1355k| 16906k| 2.6 |1188M| 45 | 6 | 50 |8624 | 50 | 15 | 24 |3920k|9174 | 0.000000e+00 | -- | Inf
1493.61/1493.79 c 1494s| 6600k| 1357k| 16930k| 2.6 |1190M| 45 | 6 | 50 |9338 | 50 | 15 | 24 |3927k|9182 | 0.000000e+00 | -- | Inf
1496.71/1496.82 c 1497s| 6610k| 1358k| 16955k| 2.6 |1190M| 45 | 6 | 50 |5739 | 50 | 15 | 24 |3933k|9187 | 0.000000e+00 | -- | Inf
1499.22/1499.36 c 1499s| 6620k| 1360k| 16980k| 2.6 |1192M| 45 | 6 | 50 |5898 | 50 | 15 | 24 |3939k|9193 | 0.000000e+00 | -- | Inf
1501.91/1502.00 c 1502s| 6630k| 1361k| 17006k| 2.6 |1193M| 45 | - | 50 |5149 | 50 | 15 | 24 |3945k|9198 | 0.000000e+00 | -- | Inf
1504.21/1504.38 c 1504s| 6640k| 1363k| 17031k| 2.6 |1195M| 45 | 6 | 50 |5697 | 50 | 15 | 24 |3951k|9203 | 0.000000e+00 | -- | Inf
1506.71/1506.84 c 1507s| 6650k| 1365k| 17056k| 2.6 |1197M| 45 | 6 | 50 |4892 | 50 | 15 | 24 |3957k|9208 | 0.000000e+00 | -- | Inf
1509.01/1509.11 c 1509s| 6660k| 1366k| 17081k| 2.6 |1199M| 45 | 6 | 50 |6367 | 50 | 15 | 24 |3964k|9213 | 0.000000e+00 | -- | Inf
1511.43/1511.56 c 1512s| 6670k| 1368k| 17107k| 2.6 |1200M| 45 | - | 50 |7006 | 50 | 15 | 24 |3970k|9215 | 0.000000e+00 | -- | Inf
1514.21/1514.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1514.21/1514.31 c 1514s| 6680k| 1369k| 17132k| 2.6 |1202M| 45 | 6 | 50 |5205 | 50 | 15 | 24 |3976k|9217 | 0.000000e+00 | -- | Inf
1516.71/1516.84 c 1517s| 6690k| 1371k| 17157k| 2.6 |1203M| 45 | 6 | 50 |5752 | 50 | 15 | 24 |3983k|9226 | 0.000000e+00 | -- | Inf
1519.13/1519.29 c 1519s| 6700k| 1373k| 17182k| 2.6 |1205M| 45 | - | 50 |5720 | 50 | 15 | 24 |3989k|9229 | 0.000000e+00 | -- | Inf
1521.41/1521.59 c 1522s| 6710k| 1374k| 17208k| 2.6 |1207M| 45 | - | 50 |7734 | 50 | 15 | 24 |3995k|9235 | 0.000000e+00 | -- | Inf
1524.00/1524.15 c 1524s| 6720k| 1376k| 17234k| 2.6 |1209M| 45 | 6 | 50 |8324 | 50 | 15 | 24 |4001k|9243 | 0.000000e+00 | -- | Inf
1526.60/1526.73 c 1527s| 6730k| 1378k| 17259k| 2.6 |1210M| 45 | 6 | 50 |7512 | 50 | 15 | 24 |4007k|9247 | 0.000000e+00 | -- | Inf
1529.30/1529.42 c 1529s| 6740k| 1379k| 17285k| 2.6 |1212M| 45 | 6 | 50 |6474 | 50 | 15 | 24 |4014k|9249 | 0.000000e+00 | -- | Inf
1531.91/1532.05 c 1532s| 6750k| 1381k| 17310k| 2.6 |1213M| 45 | - | 50 |5665 | 50 | 15 | 24 |4020k|9254 | 0.000000e+00 | -- | Inf
1534.31/1534.42 c 1534s| 6760k| 1383k| 17335k| 2.6 |1215M| 45 | - | 50 |6408 | 50 | 15 | 24 |4026k|9262 | 0.000000e+00 | -- | Inf
1536.41/1536.51 c 1537s| 6770k| 1386k| 17359k| 2.6 |1218M| 45 | 6 | 50 |8326 | 50 | 15 | 24 |4031k|9266 | 0.000000e+00 | -- | Inf
1538.82/1538.95 c 1539s| 6780k| 1388k| 17385k| 2.6 |1219M| 45 | 6 | 50 |8221 | 50 | 15 | 24 |4036k|9271 | 0.000000e+00 | -- | Inf
1541.21/1541.35 c 1541s| 6790k| 1390k| 17411k| 2.6 |1221M| 45 | - | 50 |8150 | 0 | 0 | 24 |4042k|9277 | 0.000000e+00 | -- | Inf
1544.01/1544.10 c 1544s| 6800k| 1392k| 17436k| 2.6 |1223M| 45 | 6 | 50 |8353 | 50 | 15 | 24 |4048k|9282 | 0.000000e+00 | -- | Inf
1546.52/1546.67 c 1547s| 6810k| 1394k| 17462k| 2.6 |1225M| 45 | - | 50 |9173 | 50 | 15 | 24 |4054k|9287 | 0.000000e+00 | -- | Inf
1549.31/1549.44 c 1549s| 6820k| 1396k| 17488k| 2.6 |1226M| 45 | - | 50 |7543 | 50 | 15 | 24 |4060k|9296 | 0.000000e+00 | -- | Inf
1552.02/1552.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1552.02/1552.18 c 1552s| 6830k| 1397k| 17512k| 2.6 |1228M| 45 | - | 50 |6682 | 0 | 0 | 24 |4066k|9303 | 0.000000e+00 | -- | Inf
1554.61/1554.72 c 1555s| 6840k| 1399k| 17538k| 2.6 |1229M| 45 | 6 | 50 |6763 | 50 | 15 | 24 |4073k|9317 | 0.000000e+00 | -- | Inf
1557.31/1557.46 c 1557s| 6850k| 1400k| 17563k| 2.6 |1231M| 45 | - | 50 |6558 | 50 | 15 | 24 |4079k|9320 | 0.000000e+00 | -- | Inf
1560.11/1560.24 c 1560s| 6860k| 1402k| 17588k| 2.6 |1232M| 45 | 6 | 50 |5736 | 50 | 15 | 24 |4085k|9325 | 0.000000e+00 | -- | Inf
1562.41/1562.50 c 1562s| 6870k| 1404k| 17613k| 2.6 |1234M| 45 | 6 | 50 |7341 | 50 | 15 | 24 |4091k|9337 | 0.000000e+00 | -- | Inf
1564.91/1565.06 c 1565s| 6880k| 1405k| 17639k| 2.6 |1236M| 45 | 6 | 50 |7328 | 50 | 15 | 24 |4098k|9343 | 0.000000e+00 | -- | Inf
1567.80/1567.97 c 1568s| 6890k| 1407k| 17665k| 2.6 |1237M| 45 | - | 50 |5570 | 50 | 15 | 24 |4104k|9354 | 0.000000e+00 | -- | Inf
1570.40/1570.58 c 1571s| 6900k| 1408k| 17690k| 2.6 |1239M| 45 | 6 | 50 |5165 | 50 | 15 | 24 |4110k|9359 | 0.000000e+00 | -- | Inf
1572.71/1572.89 c 1573s| 6910k| 1410k| 17715k| 2.6 |1241M| 45 | 6 | 50 |6615 | 50 | 15 | 24 |4116k|9368 | 0.000000e+00 | -- | Inf
1575.41/1575.50 c 1576s| 6920k| 1412k| 17741k| 2.6 |1242M| 45 | - | 50 |7012 | 50 | 15 | 24 |4122k|9378 | 0.000000e+00 | -- | Inf
1578.01/1578.16 c 1578s| 6930k| 1413k| 17766k| 2.6 |1244M| 45 | 6 | 50 |6014 | 50 | 15 | 24 |4129k|9384 | 0.000000e+00 | -- | Inf
1580.51/1580.69 c 1581s| 6940k| 1415k| 17791k| 2.6 |1245M| 45 | 6 | 50 |5936 | 50 | 15 | 24 |4135k|9389 | 0.000000e+00 | -- | Inf
1583.11/1583.21 c 1583s| 6950k| 1417k| 17816k| 2.6 |1247M| 45 | 6 | 50 |5787 | 50 | 15 | 24 |4141k|9396 | 0.000000e+00 | -- | Inf
1585.61/1585.75 c 1586s| 6960k| 1418k| 17842k| 2.6 |1249M| 45 | - | 50 |5456 | 50 | 15 | 24 |4147k|9404 | 0.000000e+00 | -- | Inf
1587.91/1588.01 c 1588s| 6970k| 1420k| 17868k| 2.6 |1251M| 45 | 6 | 50 |6765 | 50 | 15 | 24 |4153k|9411 | 0.000000e+00 | -- | Inf
1590.00/1590.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1590.00/1590.18 c 1590s| 6980k| 1423k| 17895k| 2.6 |1253M| 45 | 6 | 50 |8632 | 50 | 15 | 24 |4159k|9419 | 0.000000e+00 | -- | Inf
1592.31/1592.43 c 1592s| 6990k| 1425k| 17921k| 2.6 |1255M| 45 | 6 | 50 |8911 | 50 | 15 | 24 |4164k|9429 | 0.000000e+00 | -- | Inf
1594.81/1594.92 c 1595s| 7000k| 1428k| 17947k| 2.6 |1257M| 45 | 6 | 50 |8602 | 50 | 15 | 24 |4170k|9433 | 0.000000e+00 | -- | Inf
1597.30/1597.46 c 1597s| 7010k| 1430k| 17974k| 2.6 |1259M| 45 | - | 50 |9333 | 0 | 0 | 24 |4176k|9438 | 0.000000e+00 | -- | Inf
1599.70/1599.89 c 1600s| 7020k| 1432k| 18000k| 2.6 |1261M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4181k|9446 | 0.000000e+00 | -- | Inf
1602.41/1602.50 c 1603s| 7030k| 1434k| 18027k| 2.6 |1263M| 45 | - | 50 |9992 | 50 | 15 | 24 |4187k|9454 | 0.000000e+00 | -- | Inf
1605.00/1605.17 c 1605s| 7040k| 1436k| 18054k| 2.6 |1265M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4193k|9458 | 0.000000e+00 | -- | Inf
1607.91/1608.02 c 1608s| 7050k| 1438k| 18081k| 2.6 |1266M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4199k|9469 | 0.000000e+00 | -- | Inf
1610.81/1610.99 c 1611s| 7060k| 1439k| 18108k| 2.6 |1268M| 45 | - | 50 |9604 | 50 | 15 | 24 |4206k|9473 | 0.000000e+00 | -- | Inf
1613.73/1613.87 c 1614s| 7070k| 1441k| 18134k| 2.6 |1269M| 45 | 6 | 50 |9341 | 50 | 15 | 24 |4212k|9477 | 0.000000e+00 | -- | Inf
1616.51/1616.65 c 1617s| 7080k| 1443k| 18160k| 2.6 |1271M| 45 | - | 50 |8519 | 50 | 15 | 24 |4218k|9481 | 0.000000e+00 | -- | Inf
1619.01/1619.10 c 1619s| 7090k| 1445k| 18187k| 2.6 |1273M| 45 | - | 50 |8927 | 50 | 15 | 24 |4224k|9488 | 0.000000e+00 | -- | Inf
1621.21/1621.35 c 1621s| 7100k| 1447k| 18215k| 2.6 |1275M| 45 | - | 50 | 10k| 0 | 0 | 24 |4230k|9494 | 0.000000e+00 | -- | Inf
1623.81/1623.96 c 1624s| 7110k| 1449k| 18242k| 2.6 |1277M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4235k|9506 | 0.000000e+00 | -- | Inf
1626.51/1626.68 c 1627s| 7120k| 1451k| 18269k| 2.6 |1279M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4241k|9519 | 0.000000e+00 | -- | Inf
1629.30/1629.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1629.30/1629.42 c 1629s| 7130k| 1453k| 18297k| 2.6 |1281M| 45 | - | 50 | 11k| 50 | 15 | 24 |4247k|9525 | 0.000000e+00 | -- | Inf
1632.21/1632.30 c 1632s| 7140k| 1455k| 18324k| 2.6 |1283M| 45 | 6 | 50 | 12k| 50 | 15 | 24 |4254k|9533 | 0.000000e+00 | -- | Inf
1635.41/1635.53 c 1636s| 7150k| 1456k| 18350k| 2.6 |1284M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4260k|9536 | 0.000000e+00 | -- | Inf
1638.51/1638.67 c 1639s| 7160k| 1458k| 18375k| 2.6 |1284M| 45 | 6 | 50 |6209 | 50 | 15 | 24 |4266k|9540 | 0.000000e+00 | -- | Inf
1640.61/1640.75 c 1641s| 7170k| 1461k| 18402k| 2.6 |1287M| 45 | 6 | 50 |7206 | 50 | 15 | 24 |4272k|9544 | 0.000000e+00 | -- | Inf
1642.51/1642.67 c 1643s| 7180k| 1464k| 18428k| 2.6 |1289M| 45 | - | 50 |8283 | 50 | 15 | 24 |4276k|9551 | 0.000000e+00 | -- | Inf
1644.80/1644.94 c 1645s| 7190k| 1467k| 18454k| 2.6 |1291M| 45 | - | 50 |9461 | 50 | 15 | 24 |4282k|9556 | 0.000000e+00 | -- | Inf
1647.20/1647.31 c 1647s| 7200k| 1470k| 18481k| 2.6 |1294M| 45 | 6 | 50 |9849 | 50 | 15 | 24 |4287k|9563 | 0.000000e+00 | -- | Inf
1649.61/1649.78 c 1650s| 7210k| 1473k| 18507k| 2.6 |1295M| 45 | 6 | 50 |9151 | 50 | 15 | 24 |4292k|9567 | 0.000000e+00 | -- | Inf
1652.12/1652.25 c 1652s| 7220k| 1475k| 18533k| 2.6 |1298M| 45 | 6 | 50 |9810 | 50 | 15 | 24 |4298k|9571 | 0.000000e+00 | -- | Inf
1654.51/1654.66 c 1655s| 7230k| 1478k| 18559k| 2.6 |1300M| 45 | - | 50 | 10k| 50 | 15 | 24 |4303k|9578 | 0.000000e+00 | -- | Inf
1656.91/1657.08 c 1657s| 7240k| 1481k| 18586k| 2.6 |1302M| 45 | - | 50 | 11k| 50 | 15 | 24 |4309k|9591 | 0.000000e+00 | -- | Inf
1659.51/1659.64 c 1660s| 7250k| 1483k| 18612k| 2.6 |1304M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4314k|9597 | 0.000000e+00 | -- | Inf
1662.21/1662.33 c 1662s| 7260k| 1486k| 18637k| 2.6 |1305M| 45 | 6 | 50 |9332 | 50 | 15 | 24 |4320k|9607 | 0.000000e+00 | -- | Inf
1664.70/1664.87 c 1665s| 7270k| 1488k| 18663k| 2.6 |1307M| 45 | 6 | 50 |9434 | 50 | 15 | 24 |4325k|9613 | 0.000000e+00 | -- | Inf
1667.11/1667.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1667.11/1667.27 c 1667s| 7280k| 1490k| 18689k| 2.6 |1310M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4331k|9623 | 0.000000e+00 | -- | Inf
1670.00/1670.14 c 1670s| 7290k| 1493k| 18715k| 2.6 |1312M| 45 | - | 50 | 10k| 50 | 15 | 24 |4337k|9628 | 0.000000e+00 | -- | Inf
1672.91/1673.03 c 1673s| 7300k| 1495k| 18741k| 2.6 |1313M| 45 | - | 50 | 10k| 50 | 15 | 24 |4342k|9634 | 0.000000e+00 | -- | Inf
1675.51/1675.62 c 1676s| 7310k| 1497k| 18767k| 2.6 |1315M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4348k|9639 | 0.000000e+00 | -- | Inf
1678.31/1678.40 c 1678s| 7320k| 1499k| 18793k| 2.6 |1317M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4354k|9642 | 0.000000e+00 | -- | Inf
1681.00/1681.11 c 1681s| 7330k| 1502k| 18819k| 2.6 |1319M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4359k|9650 | 0.000000e+00 | -- | Inf
1683.90/1684.05 c 1684s| 7340k| 1504k| 18845k| 2.6 |1321M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4365k|9655 | 0.000000e+00 | -- | Inf
1686.70/1686.88 c 1687s| 7350k| 1506k| 18871k| 2.6 |1323M| 45 | - | 50 | 10k| 50 | 15 | 24 |4371k|9658 | 0.000000e+00 | -- | Inf
1689.40/1689.51 c 1690s| 7360k| 1508k| 18898k| 2.6 |1325M| 45 | - | 50 | 11k| 50 | 15 | 24 |4377k|9661 | 0.000000e+00 | -- | Inf
1692.01/1692.12 c 1692s| 7370k| 1510k| 18923k| 2.6 |1327M| 45 | - | 50 | 12k| 50 | 15 | 24 |4383k|9667 | 0.000000e+00 | -- | Inf
1694.70/1694.88 c 1695s| 7380k| 1513k| 18949k| 2.6 |1329M| 45 | - | 50 | 13k| 50 | 15 | 24 |4388k|9670 | 0.000000e+00 | -- | Inf
1697.91/1698.00 c 1698s| 7390k| 1515k| 18976k| 2.6 |1330M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4394k|9674 | 0.000000e+00 | -- | Inf
1700.41/1700.60 c 1701s| 7400k| 1516k| 19002k| 2.6 |1333M| 45 | 6 | 50 | 13k| 50 | 15 | 24 |4401k|9679 | 0.000000e+00 | -- | Inf
1703.21/1703.33 c 1703s| 7410k| 1518k| 19029k| 2.6 |1335M| 45 | 6 | 50 | 15k| 50 | 15 | 24 |4407k|9683 | 0.000000e+00 | -- | Inf
1706.13/1706.27 c 1706s| 7420k| 1521k| 19056k| 2.6 |1337M| 45 | - | 50 | 16k| 50 | 15 | 24 |4413k|9688 | 0.000000e+00 | -- | Inf
1709.80/1709.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1709.80/1709.92 c 1710s| 7430k| 1523k| 19081k| 2.6 |1338M| 45 | 6 | 50 | 12k| 50 | 15 | 24 |4419k|9692 | 0.000000e+00 | -- | Inf
1712.72/1712.86 c 1713s| 7440k| 1525k| 19108k| 2.6 |1340M| 45 | 6 | 50 | 12k| 50 | 15 | 24 |4425k|9697 | 0.000000e+00 | -- | Inf
1715.81/1715.99 c 1716s| 7450k| 1527k| 19133k| 2.6 |1341M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4430k|9701 | 0.000000e+00 | -- | Inf
1718.70/1718.89 c 1719s| 7460k| 1528k| 19159k| 2.6 |1343M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4437k|9707 | 0.000000e+00 | -- | Inf
1721.42/1721.56 c 1722s| 7470k| 1530k| 19185k| 2.6 |1345M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4442k|9711 | 0.000000e+00 | -- | Inf
1724.30/1724.48 c 1724s| 7480k| 1532k| 19211k| 2.6 |1347M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4449k|9713 | 0.000000e+00 | -- | Inf
1727.21/1727.30 c 1727s| 7490k| 1534k| 19239k| 2.6 |1349M| 45 | 6 | 50 | 12k| 50 | 15 | 24 |4455k|9717 | 0.000000e+00 | -- | Inf
1730.32/1730.47 c 1730s| 7500k| 1536k| 19265k| 2.6 |1350M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4461k|9721 | 0.000000e+00 | -- | Inf
1733.21/1733.36 c 1733s| 7510k| 1538k| 19291k| 2.6 |1352M| 45 | - | 50 | 11k| 50 | 15 | 24 |4466k|9726 | 0.000000e+00 | -- | Inf
1736.41/1736.55 c 1737s| 7520k| 1540k| 19317k| 2.6 |1354M| 45 | - | 50 | 10k| 50 | 15 | 24 |4473k|9730 | 0.000000e+00 | -- | Inf
1739.21/1739.32 c 1739s| 7530k| 1542k| 19344k| 2.6 |1355M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4479k|9733 | 0.000000e+00 | -- | Inf
1742.00/1742.14 c 1742s| 7540k| 1544k| 19369k| 2.6 |1357M| 45 | - | 50 | 12k| 50 | 15 | 24 |4484k|9740 | 0.000000e+00 | -- | Inf
1745.11/1745.29 c 1745s| 7550k| 1546k| 19395k| 2.6 |1359M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4490k|9744 | 0.000000e+00 | -- | Inf
1748.21/1748.37 c 1748s| 7560k| 1548k| 19421k| 2.6 |1361M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4496k|9751 | 0.000000e+00 | -- | Inf
1751.23/1751.34 c 1751s| 7570k| 1549k| 19448k| 2.6 |1363M| 45 | - | 50 | 12k| 50 | 15 | 24 |4503k|9757 | 0.000000e+00 | -- | Inf
1754.31/1754.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1754.31/1754.40 c 1754s| 7580k| 1551k| 19474k| 2.6 |1364M| 45 | - | 50 | 12k| 50 | 15 | 24 |4509k|9765 | 0.000000e+00 | -- | Inf
1757.50/1757.65 c 1758s| 7590k| 1553k| 19501k| 2.6 |1366M| 45 | - | 50 | 11k| 50 | 15 | 24 |4515k|9773 | 0.000000e+00 | -- | Inf
1760.91/1761.04 c 1761s| 7600k| 1554k| 19526k| 2.6 |1367M| 45 | - | 50 | 10k| 50 | 15 | 24 |4521k|9775 | 0.000000e+00 | -- | Inf
1763.70/1763.83 c 1764s| 7610k| 1556k| 19552k| 2.6 |1369M| 45 | - | 50 | 11k| 50 | 15 | 24 |4527k|9778 | 0.000000e+00 | -- | Inf
1766.90/1767.02 c 1767s| 7620k| 1558k| 19578k| 2.6 |1371M| 45 | - | 50 | 10k| 50 | 15 | 24 |4533k|9790 | 0.000000e+00 | -- | Inf
1769.92/1770.03 c 1770s| 7630k| 1560k| 19605k| 2.6 |1372M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4539k|9798 | 0.000000e+00 | -- | Inf
1773.22/1773.34 c 1773s| 7640k| 1561k| 19631k| 2.6 |1374M| 45 | - | 50 | 10k| 50 | 15 | 24 |4546k|9807 | 0.000000e+00 | -- | Inf
1776.53/1776.63 c 1777s| 7650k| 1563k| 19658k| 2.6 |1375M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4552k|9815 | 0.000000e+00 | -- | Inf
1779.72/1779.85 c 1780s| 7660k| 1564k| 19684k| 2.6 |1377M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4558k|9822 | 0.000000e+00 | -- | Inf
1782.81/1782.91 c 1783s| 7670k| 1566k| 19710k| 2.6 |1379M| 45 | - | 50 | 10k| 50 | 15 | 24 |4564k|9826 | 0.000000e+00 | -- | Inf
1785.61/1785.74 c 1786s| 7680k| 1568k| 19736k| 2.6 |1381M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4570k|9833 | 0.000000e+00 | -- | Inf
1788.41/1788.56 c 1789s| 7690k| 1570k| 19763k| 2.6 |1383M| 45 | - | 50 | 12k| 50 | 15 | 24 |4576k|9839 | 0.000000e+00 | -- | Inf
1791.82/1792.00 c 1792s| 7700k| 1571k| 19789k| 2.6 |1384M| 45 | - | 50 | 11k| 50 | 15 | 24 |4582k|9846 | 0.000000e+00 | -- | Inf
1794.91/1795.07 c 1795s| 7710k| 1573k| 19816k| 2.6 |1386M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4588k|9851 | 0.000000e+00 | -- | Inf
1797.61/1797.79 c 1798s| 7720k| 1575k| 19844k| 2.6 |1388M| 45 | - | 50 | 14k| 50 | 15 | 24 |4594k|9860 | 0.000000e+00 | -- | Inf
1799.91/1800.00 c
1799.91/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1799.91/1800.00 c Solving Time (sec) : 1800.00
1799.91/1800.00 c Solving Nodes : 7726457
1799.91/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1799.91/1800.00 c Dual Bound : +0.00000000000000e+00
1799.91/1800.00 c Gap : infinite
1799.91/1800.00 s UNKNOWN
1799.91/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1799.91/1800.00 c Total Time : 1800.00
1799.91/1800.00 c solving : 1800.00
1799.91/1800.00 c presolving : 0.00 (included in solving)
1799.91/1800.00 c reading : 0.00 (included in solving)
1799.91/1800.00 c Original Problem :
1799.91/1800.00 c Problem name : HOME/instance-3452522-1307095630.opb
1799.91/1800.00 c Variables : 51 (51 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.91/1800.00 c Constraints : 13 initial, 13 maximal
1799.91/1800.00 c Presolved Problem :
1799.91/1800.00 c Problem name : t_HOME/instance-3452522-1307095630.opb
1799.91/1800.00 c Variables : 50 (50 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.91/1800.00 c Constraints : 6 initial, 17267 maximal
1799.91/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1799.91/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1799.91/1800.00 c dualfix : 0.00 1 0 0 0 0 0 0 0 0
1799.91/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1799.91/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1799.91/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1799.91/1800.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1799.91/1800.00 c linear : 0.00 0 0 0 0 0 7 0 0 0
1799.91/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1799.91/1800.00 c root node : - 0 - - 0 - - - - -
1799.91/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1799.91/1800.00 c integral : 0 0 0 4752065 0 4 0 998 4954 0 0 9492484
1799.91/1800.00 c linear : 6 6 18141565 0 2 3 5147159 470937 6430872 0 0 0
1799.91/1800.00 c logicor : 0+ 6 8539632 0 0 0 6359643 17435 3256637 0 0 0
1799.91/1800.00 c countsols : 0 0 0 0 2 0 0 0 0 0 0 0
1799.91/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1799.91/1800.00 c integral : 29.67 0.00 0.00 29.67 0.00 0.00 0.00
1799.91/1800.00 c linear : 116.58 0.00 103.83 0.00 0.00 0.00 12.75
1799.91/1800.00 c logicor : 404.40 0.00 394.82 0.00 0.00 0.00 9.58
1799.91/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1799.91/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1799.91/1800.00 c vbounds : 0 0 0 0
1799.91/1800.00 c rootredcost : 0 0 0 0
1799.91/1800.00 c pseudoobj : 0 0 0 0
1799.91/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1799.91/1800.00 c vbounds : 2.87 2.87 0.00
1799.91/1800.00 c rootredcost : 3.15 3.15 0.00
1799.91/1800.00 c pseudoobj : 2.23 2.23 0.00
1799.91/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1799.91/1800.00 c propagation : 21.37 488372 432499 1482694 36.4 142 29.9 -
1799.91/1800.00 c infeasible LP : 74.72 2663751 2663689 5090633 23.5 42118 27.7 0
1799.91/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1799.91/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1799.91/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1799.91/1800.00 c applied globally : - - - 4039192 21.0 - - -
1799.91/1800.00 c applied locally : - - - 559997 34.3 - - -
1799.91/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1799.91/1800.00 c cut pool : 0.00 5 - - 32 - (maximal pool size: 100)
1799.91/1800.00 c redcost : 5.48 4752069 0 0 0 0
1799.91/1800.00 c impliedbounds : 0.00 6 0 0 0 0
1799.91/1800.00 c intobj : 0.00 0 0 0 0 0
1799.91/1800.00 c gomory : 0.00 6 0 0 1 0
1799.91/1800.00 c cgmip : 0.00 0 0 0 0 0
1799.91/1800.00 c closecuts : 0.00 0 0 0 0 0
1799.91/1800.00 c strongcg : 0.00 6 0 0 33 0
1799.91/1800.00 c cmir : 0.01 6 0 0 37 0
1799.91/1800.00 c flowcover : 0.01 6 0 0 48 0
1799.91/1800.00 c clique : 0.00 1 0 0 0 0
1799.91/1800.00 c zerohalf : 0.00 0 0 0 0 0
1799.91/1800.00 c mcf : 0.00 1 0 0 0 0
1799.91/1800.00 c oddcycle : 0.00 0 0 0 0 0
1799.91/1800.00 c rapidlearning : 0.01 1 0 0 0 0
1799.91/1800.00 c Pricers : Time Calls Vars
1799.91/1800.00 c problem variables: 0.00 0 0
1799.91/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1799.91/1800.00 c relpscost : 27.03 4752065 998 4954 0 0 9492484
1799.91/1800.00 c pscost : 0.00 0 0 0 0 0 0
1799.91/1800.00 c inference : 0.00 2 0 0 0 0 4
1799.91/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1799.91/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1799.91/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1799.91/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1799.91/1800.00 c random : 0.00 0 0 0 0 0 0
1799.91/1800.00 c Primal Heuristics : Time Calls Found
1799.91/1800.00 c LP solutions : 0.00 - 0
1799.91/1800.00 c pseudo solutions : 0.00 - 0
1799.91/1800.00 c oneopt : 2.25 0 0
1799.91/1800.00 c crossover : 1.36 0 0
1799.91/1800.00 c guideddiving : 0.18 0 0
1799.91/1800.00 c intshifting : 0.09 0 0
1799.91/1800.00 c rootsoldiving : 0.16 63 0
1799.91/1800.00 c coefdiving : 0.18 126 0
1799.91/1800.00 c pscostdiving : 0.20 126 0
1799.91/1800.00 c fracdiving : 0.19 126 0
1799.91/1800.00 c veclendiving : 0.19 126 0
1799.91/1800.00 c linesearchdiving : 0.17 126 0
1799.91/1800.00 c feaspump : 0.15 63 0
1799.91/1800.00 c objpscostdiving : 0.15 64 0
1799.91/1800.00 c trivial : 0.00 2 0
1799.91/1800.00 c shiftandpropagate: 0.00 1 0
1799.91/1800.00 c simplerounding : 0.89 0 0
1799.91/1800.00 c zirounding : 13.03 0 0
1799.91/1800.00 c rounding : 1.99 30847 0
1799.91/1800.00 c shifting : 2.71 9301 0
1799.91/1800.00 c twoopt : 0.00 0 0
1799.91/1800.00 c fixandinfer : 0.00 0 0
1799.91/1800.00 c clique : 0.00 0 0
1799.91/1800.00 c intdiving : 0.00 0 0
1799.91/1800.00 c actconsdiving : 0.00 0 0
1799.91/1800.00 c octane : 0.00 0 0
1799.91/1800.00 c rens : 0.01 1 0
1799.91/1800.00 c rins : 0.00 0 0
1799.91/1800.00 c localbranching : 0.00 0 0
1799.91/1800.00 c mutation : 0.00 0 0
1799.91/1800.00 c dins : 0.00 0 0
1799.91/1800.00 c vbounds : 0.00 0 0
1799.91/1800.00 c undercover : 0.00 0 0
1799.91/1800.00 c subnlp : 1.11 0 0
1799.91/1800.00 c trysol : 1.50 0 0
1799.91/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1799.91/1800.00 c primal LP : 0.00 0 0 0.00 -
1799.91/1800.00 c dual LP : 386.07 7240457 19858155 2.74 51436.42
1799.91/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1799.91/1800.00 c barrier LP : 0.00 0 0 0.00 -
1799.91/1800.00 c diving/probing LP: 0.12 2066 3933 1.90 32250.39
1799.91/1800.00 c strong branching : 0.90 9864 35679 3.62 39844.59
1799.91/1800.00 c (at root node) : - 9 440 48.89 -
1799.91/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1799.91/1800.00 c B&B Tree :
1799.91/1800.00 c number of runs : 1
1799.91/1800.00 c nodes : 7726457
1799.91/1800.00 c nodes (total) : 7726457
1799.91/1800.00 c nodes left : 1576507
1799.91/1800.00 c max depth : 45
1799.91/1800.00 c max depth (total): 45
1799.91/1800.00 c backtracks : 1126820 (14.6%)
1799.91/1800.00 c delayed cutoffs : 189525
1799.91/1800.00 c repropagations : 6439795 (4648879 domain reductions, 171381 cutoffs)
1799.91/1800.00 c avg switch length: 5.42
1799.91/1800.00 c switching time : 460.24
1799.91/1800.00 c Solution :
1799.91/1800.00 c Solutions found : 0 (0 improvements)
1799.91/1800.00 c Primal Bound : -
1799.91/1800.00 c Dual Bound : +0.00000000000000e+00
1799.91/1800.00 c Gap : infinite
1799.91/1800.00 c Root Dual Bound : +0.00000000000000e+00
1799.91/1800.00 c Root Iterations : 149
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3452522-1307095630/watcher-3452522-1307095630 -o /tmp/evaluation-result-3452522-1307095630/solver-3452522-1307095630 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452522-1307095630.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.03 2.00 2/519 22953
/proc/meminfo: memFree=21652944/32951124 swapFree=58800704/67111528
[pid=22953] ppid=22951 vsize=17100 CPUtime=0 cores=0,2,4,6
/proc/22953/stat : 22953 (scip-2.0.1.4.li) R 22951 22953 22695 0 -1 4202496 3440 0 0 0 0 0 0 0 25 0 1 0 801978456 17510400 3136 33554432000 4194304 9128323 140735729088976 18446744073709551615 6921603 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22953/statm: 4275 3136 650 1205 0 3066 0
[startup+0.11716 s]
/proc/loadavg: 2.00 2.03 2.00 2/519 22953
/proc/meminfo: memFree=21652944/32951124 swapFree=58800704/67111528
[pid=22953] ppid=22951 vsize=22772 CPUtime=0.11 cores=0,2,4,6
/proc/22953/stat : 22953 (scip-2.0.1.4.li) R 22951 22953 22695 0 -1 4202496 6206 0 0 0 10 1 0 0 25 0 1 0 801978456 23318528 4679 33554432000 4194304 9128323 140735729088976 18446744073709551615 6856920 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22953/statm: 5693 4679 721 1205 0 4484 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 22772
[startup+0.201161 s]
/proc/loadavg: 2.00 2.03 2.00 2/519 22953
/proc/meminfo: memFree=21652944/32951124 swapFree=58800704/67111528
[pid=22953] ppid=22951 vsize=22772 CPUtime=0.18 cores=0,2,4,6
/proc/22953/stat : 22953 (scip-2.0.1.4.li) R 22951 22953 22695 0 -1 4202496 6208 0 0 0 17 1 0 0 25 0 1 0 801978456 23318528 4681 33554432000 4194304 9128323 140735729088976 18446744073709551615 6526630 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22953/statm: 5693 4681 723 1205 0 4484 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 22772
[startup+0.301153 s]
/proc/loadavg: 2.00 2.03 2.00 2/519 22953
/proc/meminfo: memFree=21652944/32951124 swapFree=58800704/67111528
[pid=22953] ppid=22951 vsize=22772 CPUtime=0.29 cores=0,2,4,6
/proc/22953/stat : 22953 (scip-2.0.1.4.li) R 22951 22953 22695 0 -1 4202496 6209 0 0 0 27 2 0 0 25 0 1 0 801978456 23318528 4682 33554432000 4194304 9128323 140735729088976 18446744073709551615 6869611 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22953/statm: 5693 4682 723 1205 0 4484 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22772
[startup+0.701076 s]
/proc/loadavg: 2.00 2.03 2.00 2/519 22953
/proc/meminfo: memFree=21652944/32951124 swapFree=58800704/67111528
[pid=22953] ppid=22951 vsize=22772 CPUtime=0.69 cores=0,2,4,6
/proc/22953/stat : 22953 (scip-2.0.1.4.li) R 22951 22953 22695 0 -1 4202496 6216 0 0 0 66 3 0 0 25 0 1 0 801978456 23318528 4689 33554432000 4194304 9128323 140735729088976 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22953/statm: 5693 4689 723 1205 0 4484 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22772
[startup+1.50094 s]
/proc/loadavg: 2.00 2.03 2.00 3/522 22981
/proc/meminfo: memFree=21620996/32951124 swapFree=58800704/67111528
[pid=22953] ppid=22951 vsize=22772 CPUtime=1.49 cores=0,2,4,6
/proc/22953/stat : 22953 (scip-2.0.1.4.li) R 22951 22953 22695 0 -1 4202496 6224 0 0 0 143 6 0 0 25 0 1 0 801978456 23318528 4697 33554432000 4194304 9128323 140735729088976 18446744073709551615 4749372 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22953/statm: 5693 4697 723 1205 0 4484 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22772
[startup+3.10065 s]
/proc/loadavg: 2.00 2.03 2.00 3/522 22981
/proc/meminfo: memFree=21618764/32951124 swapFree=58800704/67111528
[pid=22953] ppid=22951 vsize=24692 CPUtime=3.09 cores=0,2,4,6
/proc/22953/stat : 22953 (scip-2.0.1.4.li) R 22951 22953 22695 0 -1 4202496 6611 0 0 0 298 11 0 0 25 0 1 0 801978456 25284608 5084 33554432000 4194304 9128323 140735729088976 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22953/statm: 6173 5084 723 1205 0 4964 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24692
[startup+6.30106 s]
/proc/loadavg: 2.00 2.03 2.00 3/522 22981
/proc/meminfo: memFree=21612004/32951124 swapFree=58800704/67111528
[pid=22953] ppid=22951 vsize=30164 CPUtime=6.29 cores=0,2,4,6
/proc/22953/stat : 22953 (scip-2.0.1.4.li) R 22951 22953 22695 0 -1 4202496 8017 0 0 0 606 23 0 0 25 0 1 0 801978456 30887936 6490 33554432000 4194304 9128323 140735729088976 18446744073709551615 4754344 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22953/statm: 7541 6490 723 1205 0 6332 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30164
[startup+12.7009 s]
/proc/loadavg: 2.00 2.03 2.00 3/522 22981
/proc/meminfo: memFree=21599828/32951124 swapFree=58800704/67111528
[pid=22953] ppid=22951 vsize=40276 CPUtime=12.69 cores=0,2,4,6
/proc/22953/stat : 22953 (scip-2.0.1.4.li) R 22951 22953 22695 0 -1 4202496 10574 0 0 0 1225 44 0 0 25 0 1 0 801978456 41242624 9047 33554432000 4194304 9128323 140735729088976 18446744073709551615 4640488 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22953/statm: 10069 9047 723 1205 0 8860 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40276
[startup+25.5005 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 22982
/proc/meminfo: memFree=21580540/32951124 swapFree=58800704/67111528
[pid=22953] ppid=22951 vsize=58408 CPUtime=25.49 cores=0,2,4,6
/proc/22953/stat : 22953 (scip-2.0.1.4.li) R 22951 22953 22695 0 -1 4202496 15199 0 0 0 2465 84 0 0 25 0 1 0 801978456 59809792 13672 33554432000 4194304 9128323 140735729088976 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22953/statm: 14602 13672 723 1205 0 13393 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 58408
[startup+51.1008 s]
/proc/loadavg: 2.08 2.04 2.00 3/522 22982
/proc/meminfo: memFree=21545608/32951124 swapFree=58800704/67111528
[pid=22953] ppid=22951 vsize=92172 CPUtime=51.09 cores=0,2,4,6
/proc/22953/stat : 22953 (scip-2.0.1.4.li) R 22951 22953 22695 0 -1 4202496 23213 0 0 0 4954 155 0 0 25 0 1 0 801978456 94384128 21686 33554432000 4194304 9128323 140735729088976 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22953/statm: 23043 21686 723 1205 0 21834 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 92172
[startup+102.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/522 23011
/proc/meminfo: memFree=21473144/32951124 swapFree=58800704/67111528
[pid=22953] ppid=22951 vsize=150012 CPUtime=102.25 cores=0,2,4,6
/proc/22953/stat : 22953 (scip-2.0.1.4.li) R 22951 22953 22695 0 -1 4202496 37936 0 0 0 9935 290 0 0 25 0 1 0 801978456 153612288 36409 33554432000 4194304 9128323 140735729088976 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22953/statm: 37503 36409 723 1205 0 36294 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 150012
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/522 23012
/proc/meminfo: memFree=21394876/32951124 swapFree=58800704/67111528
[pid=22953] ppid=22951 vsize=215604 CPUtime=162.23 cores=0,2,4,6
/proc/22953/stat : 22953 (scip-2.0.1.4.li) R 22951 22953 22695 0 -1 4202496 53476 0 0 0 15790 433 0 0 25 0 1 0 801978456 220778496 51949 33554432000 4194304 9128323 140735729088976 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22953/statm: 53901 51949 723 1205 0 52692 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 215604
[startup+222.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 23014
/proc/meminfo: memFree=21317212/32951124 swapFree=58800704/67111528
[pid=22953] ppid=22951 vsize=269996 CPUtime=222.25 cores=0,2,4,6
/proc/22953/stat : 22953 (scip-2.0.1.4.li) R 22951 22953 22695 0 -1 4202496 67352 0 0 0 21647 578 0 0 25 0 1 0 801978456 276475904 65825 33554432000 4194304 9128323 140735729088976 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22953/statm: 67499 65825 723 1205 0 66290 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 269996
[startup+282.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/522 23016
/proc/meminfo: memFree=21255296/32951124 swapFree=58800704/67111528
[pid=22953] ppid=22951 vsize=323560 CPUtime=282.23 cores=0,2,4,6
/proc/22953/stat : 22953 (scip-2.0.1.4.li) R 22951 22953 22695 0 -1 4202496 80974 0 0 0 27497 726 0 0 25 0 1 0 801978456 331325440 79447 33554432000 4194304 9128323 140735729088976 18446744073709551615 4209014 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22953/statm: 80890 79447 723 1205 0 79681 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 323560
[startup+342.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/522 23017
/proc/meminfo: memFree=21198844/32951124 swapFree=58800704/67111528
[pid=22953] ppid=22951 vsize=374348 CPUtime=342.23 cores=0,2,4,6
/proc/22953/stat : 22953 (scip-2.0.1.4.li) R 22951 22953 22695 0 -1 4202496 93955 0 0 0 33354 869 0 0 25 0 1 0 801978456 383332352 92428 33554432000 4194304 9128323 140735729088976 18446744073709551615 4240114 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22953/statm: 93587 92428 723 1205 0 92378 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 374348
[startup+402.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/522 23019
/proc/meminfo: memFree=21119696/32951124 swapFree=58800704/67111528
[pid=22953] ppid=22951 vsize=431952 CPUtime=402.24 cores=0,2,4,6
/proc/22953/stat : 22953 (scip-2.0.1.4.li) R 22951 22953 22695 0 -1 4202496 106446 0 0 0 39225 999 0 0 25 0 1 0 801978456 442318848 104919 33554432000 4194304 9128323 140735729088976 18446744073709551615 4240086 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22953/statm: 107988 104919 723 1205 0 106779 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 431952
[startup+462.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/522 23020
/proc/meminfo: memFree=21036732/32951124 swapFree=58800704/67111528
[pid=22953] ppid=22951 vsize=487564 CPUtime=462.23 cores=0,2,4,6
/proc/22953/stat : 22953 (scip-2.0.1.4.li) R 22951 22953 22695 0 -1 4202496 120561 0 0 0 45086 1137 0 0 25 0 1 0 801978456 499265536 119034 33554432000 4194304 9128323 140735729088976 18446744073709551615 5332999 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22953/statm: 121891 119034 723 1205 0 120682 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 487564
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 23022
/proc/meminfo: memFree=20966364/32951124 swapFree=58800704/67111528
[pid=22953] ppid=22951 vsize=533200 CPUtime=522.22 cores=0,2,4,6
/proc/22953/stat : 22953 (scip-2.0.1.4.li) R 22951 22953 22695 0 -1 4202496 132130 0 0 0 50944 1278 0 0 25 0 1 0 801978456 545996800 130603 33554432000 4194304 9128323 140735729088976 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22953/statm: 133300 130603 723 1205 0 132091 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 533200
[startup+582.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/522 23024
/proc/meminfo: memFree=20899624/32951124 swapFree=58800704/67111528
[pid=22953] ppid=22951 vsize=582888 CPUtime=582.22 cores=0,2,4,6
/proc/22953/stat : 22953 (scip-2.0.1.4.li) R 22951 22953 22695 0 -1 4202496 144835 0 0 0 56796 1426 0 0 25 0 1 0 801978456 596877312 143308 33554432000 4194304 9128323 140735729088976 18446744073709551615 6509504 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22953/statm: 145722 143308 723 1205 0 144513 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 582888
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 23030
/proc/meminfo: memFree=20678928/32951124 swapFree=58800704/67111528
[pid=22953] ppid=22951 vsize=764800 CPUtime=822.22 cores=0,2,4,6
/proc/22953/stat : 22953 (scip-2.0.1.4.li) R 22951 22953 22695 0 -1 4202496 191008 0 0 0 80269 1953 0 0 25 0 1 0 801978456 783155200 189481 33554432000 4194304 9128323 140735729088976 18446744073709551615 6807056 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22953/statm: 191200 189481 723 1205 0 189991 0
Current children cumulated CPU time (s) 822.22
Current children cumulated vsize (KiB) 764800
[startup+882.319 s]
/proc/loadavg: 2.11 2.04 2.01 3/522 23032
/proc/meminfo: memFree=20626192/32951124 swapFree=58800704/67111528
[pid=22953] ppid=22951 vsize=809192 CPUtime=882.24 cores=0,2,4,6
/proc/22953/stat : 22953 (scip-2.0.1.4.li) R 22951 22953 22695 0 -1 4202496 202389 0 0 0 86146 2078 0 0 25 0 1 0 801978456 828612608 200862 33554432000 4194304 9128323 140735729088976 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22953/statm: 202298 200862 723 1205 0 201089 0
Current children cumulated CPU time (s) 882.24
Current children cumulated vsize (KiB) 809192
[startup+942.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/522 23033
/proc/meminfo: memFree=20579140/32951124 swapFree=58800704/67111528
[pid=22953] ppid=22951 vsize=856124 CPUtime=942.22 cores=0,2,4,6
/proc/22953/stat : 22953 (scip-2.0.1.4.li) R 22951 22953 22695 0 -1 4202496 214414 0 0 0 92013 2209 0 0 25 0 1 0 801978456 876670976 212887 33554432000 4194304 9128323 140735729088976 18446744073709551615 4207474 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22953/statm: 214031 212887 723 1205 0 212822 0
Current children cumulated CPU time (s) 942.22
Current children cumulated vsize (KiB) 856124
[startup+1002.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/522 23035
/proc/meminfo: memFree=20530500/32951124 swapFree=58800704/67111528
[pid=22953] ppid=22951 vsize=914512 CPUtime=1002.22 cores=0,2,4,6
/proc/22953/stat : 22953 (scip-2.0.1.4.li) R 22951 22953 22695 0 -1 4202496 224852 0 0 0 97897 2325 0 0 25 0 1 0 801978456 936460288 223325 33554432000 4194304 9128323 140735729088976 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22953/statm: 228628 223325 723 1205 0 227419 0
Current children cumulated CPU time (s) 1002.22
Current children cumulated vsize (KiB) 914512
[startup+1062.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/522 23036
/proc/meminfo: memFree=20483700/32951124 swapFree=58800704/67111528
[pid=22953] ppid=22951 vsize=958588 CPUtime=1062.22 cores=0,2,4,6
/proc/22953/stat : 22953 (scip-2.0.1.4.li) R 22951 22953 22695 0 -1 4202496 236120 0 0 0 103767 2455 0 0 25 0 1 0 801978456 981594112 234593 33554432000 4194304 9128323 140735729088976 18446744073709551615 7414600 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22953/statm: 239647 234593 723 1205 0 238438 0
Current children cumulated CPU time (s) 1062.22
Current children cumulated vsize (KiB) 958588
[startup+1122.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/522 23041
/proc/meminfo: memFree=20422132/32951124 swapFree=58800704/67111528
[pid=22953] ppid=22951 vsize=994980 CPUtime=1122.21 cores=0,2,4,6
/proc/22953/stat : 22953 (scip-2.0.1.4.li) R 22951 22953 22695 0 -1 4202496 245454 0 0 0 109647 2574 0 0 25 0 1 0 801978456 1018859520 243927 33554432000 4194304 9128323 140735729088976 18446744073709551615 4703442 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22953/statm: 248745 243927 723 1205 0 247536 0
Current children cumulated CPU time (s) 1122.21
Current children cumulated vsize (KiB) 994980
[startup+1182.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/522 23043
/proc/meminfo: memFree=20366656/32951124 swapFree=58800704/67111528
[pid=22953] ppid=22951 vsize=1036412 CPUtime=1182.21 cores=0,2,4,6
/proc/22953/stat : 22953 (scip-2.0.1.4.li) R 22951 22953 22695 0 -1 4202496 255693 0 0 0 115523 2698 0 0 25 0 1 0 801978456 1061285888 254166 33554432000 4194304 9128323 140735729088976 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22953/statm: 259103 254166 723 1205 0 257894 0
Current children cumulated CPU time (s) 1182.21
Current children cumulated vsize (KiB) 1036412
[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/522 23044
/proc/meminfo: memFree=20313420/32951124 swapFree=58800704/67111528
[pid=22953] ppid=22951 vsize=1078804 CPUtime=1242.21 cores=0,2,4,6
/proc/22953/stat : 22953 (scip-2.0.1.4.li) R 22951 22953 22695 0 -1 4202496 266605 0 0 0 121401 2820 0 0 25 0 1 0 801978456 1104695296 265078 33554432000 4194304 9128323 140735729088976 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22953/statm: 269701 265078 723 1205 0 268492 0
Current children cumulated CPU time (s) 1242.21
Current children cumulated vsize (KiB) 1078804
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 23046
/proc/meminfo: memFree=20267500/32951124 swapFree=58800704/67111528
[pid=22953] ppid=22951 vsize=1115868 CPUtime=1302.21 cores=0,2,4,6
/proc/22953/stat : 22953 (scip-2.0.1.4.li) R 22951 22953 22695 0 -1 4202496 276137 0 0 0 127287 2934 0 0 25 0 1 0 801978456 1142648832 274610 33554432000 4194304 9128323 140735729088976 18446744073709551615 5333032 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22953/statm: 278967 274610 723 1205 0 277758 0
Current children cumulated CPU time (s) 1302.21
Current children cumulated vsize (KiB) 1115868
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 23047
/proc/meminfo: memFree=20225904/32951124 swapFree=58800704/67111528
[pid=22953] ppid=22951 vsize=1154628 CPUtime=1362.22 cores=0,2,4,6
/proc/22953/stat : 22953 (scip-2.0.1.4.li) R 22951 22953 22695 0 -1 4202496 286073 0 0 0 133174 3048 0 0 25 0 1 0 801978456 1182339072 284546 33554432000 4194304 9128323 140735729088976 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22953/statm: 288657 284546 723 1205 0 287448 0
Current children cumulated CPU time (s) 1362.22
Current children cumulated vsize (KiB) 1154628
[startup+1422.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/522 23049
/proc/meminfo: memFree=20180600/32951124 swapFree=58800704/67111528
[pid=22953] ppid=22951 vsize=1198352 CPUtime=1422.22 cores=0,2,4,6
/proc/22953/stat : 22953 (scip-2.0.1.4.li) R 22951 22953 22695 0 -1 4202496 297217 0 0 0 139054 3168 0 0 25 0 1 0 801978456 1227112448 295690 33554432000 4194304 9128323 140735729088976 18446744073709551615 7236443 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22953/statm: 299588 295690 723 1205 0 298379 0
Current children cumulated CPU time (s) 1422.22
Current children cumulated vsize (KiB) 1198352
[startup+1482.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/522 23051
/proc/meminfo: memFree=20143340/32951124 swapFree=58800704/67111528
[pid=22953] ppid=22951 vsize=1238448 CPUtime=1482.21 cores=0,2,4,6
/proc/22953/stat : 22953 (scip-2.0.1.4.li) R 22951 22953 22695 0 -1 4202496 306974 0 0 0 144935 3286 0 0 25 0 1 0 801978456 1268170752 305447 33554432000 4194304 9128323 140735729088976 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22953/statm: 309612 305447 723 1205 0 308403 0
Current children cumulated CPU time (s) 1482.21
Current children cumulated vsize (KiB) 1238448
[startup+1542.32 s]
/proc/loadavg: 2.01 2.02 2.00 3/522 23052
/proc/meminfo: memFree=20101016/32951124 swapFree=58800704/67111528
[pid=22953] ppid=22951 vsize=1277584 CPUtime=1542.22 cores=0,2,4,6
/proc/22953/stat : 22953 (scip-2.0.1.4.li) R 22951 22953 22695 0 -1 4202496 317047 0 0 0 150813 3409 0 0 25 0 1 0 801978456 1308246016 315520 33554432000 4194304 9128323 140735729088976 18446744073709551615 6807056 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22953/statm: 319396 315520 723 1205 0 318187 0
Current children cumulated CPU time (s) 1542.22
Current children cumulated vsize (KiB) 1277584
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 23054
/proc/meminfo: memFree=20058324/32951124 swapFree=58800704/67111528
[pid=22953] ppid=22951 vsize=1317272 CPUtime=1602.2 cores=0,2,4,6
/proc/22953/stat : 22953 (scip-2.0.1.4.li) R 22951 22953 22695 0 -1 4202496 327186 0 0 0 156691 3529 0 0 25 0 1 0 801978456 1348886528 325659 33554432000 4194304 9128323 140735729088976 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22953/statm: 329318 325659 723 1205 0 328109 0
Current children cumulated CPU time (s) 1602.2
Current children cumulated vsize (KiB) 1317272
[startup+1662.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/522 23055
/proc/meminfo: memFree=20011908/32951124 swapFree=58800704/67111528
[pid=22953] ppid=22951 vsize=1358400 CPUtime=1662.21 cores=0,2,4,6
/proc/22953/stat : 22953 (scip-2.0.1.4.li) R 22951 22953 22695 0 -1 4202496 337713 0 0 0 162569 3652 0 0 25 0 1 0 801978456 1391001600 336186 33554432000 4194304 9128323 140735729088976 18446744073709551615 5332956 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22953/statm: 339600 336186 723 1205 0 338391 0
Current children cumulated CPU time (s) 1662.21
Current children cumulated vsize (KiB) 1358400
[startup+1722.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/522 23057
/proc/meminfo: memFree=19949972/32951124 swapFree=58800704/67111528
[pid=22953] ppid=22951 vsize=1394128 CPUtime=1722.21 cores=0,2,4,6
/proc/22953/stat : 22953 (scip-2.0.1.4.li) R 22951 22953 22695 0 -1 4202496 346848 0 0 0 168459 3762 0 0 25 0 1 0 801978456 1427587072 345321 33554432000 4194304 9128323 140735729088976 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22953/statm: 348532 345321 723 1205 0 347323 0
Current children cumulated CPU time (s) 1722.21
Current children cumulated vsize (KiB) 1394128
[startup+1782.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/522 23059
/proc/meminfo: memFree=19896364/32951124 swapFree=58800704/67111528
[pid=22953] ppid=22951 vsize=1427284 CPUtime=1782.2 cores=0,2,4,6
/proc/22953/stat : 22953 (scip-2.0.1.4.li) R 22951 22953 22695 0 -1 4202496 355378 0 0 0 174358 3862 0 0 25 0 1 0 801978456 1461538816 353851 33554432000 4194304 9128323 140735729088976 18446744073709551615 5333232 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22953/statm: 356821 353851 723 1205 0 355612 0
Current children cumulated CPU time (s) 1782.2
Current children cumulated vsize (KiB) 1427284
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.02 2.04 2.00 3/522 23059
/proc/meminfo: memFree=19882220/32951124 swapFree=58800704/67111528
[pid=22953] ppid=22951 vsize=1439388 CPUtime=1800.02 cores=0,2,4,6
/proc/22953/stat : 22953 (scip-2.0.1.4.li) R 22951 22953 22695 0 -1 4202496 357960 0 0 0 176109 3893 0 0 18 0 1 0 801978456 1473933312 356433 33554432000 4194304 9128323 140735729088976 18446744073709551615 6885312 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/22953/statm: 359847 356433 725 1205 0 358638 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1439388
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.19
CPU time (s): 1800.1
CPU user time (s): 1761.1
CPU system time (s): 39.0031
CPU usage (%): 99.9952
Max. virtual memory (cumulated for all children) (KiB): 1439388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1761.1
system time used= 39.0031
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 357960
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= 7
involuntary context switches= 4500
runsolver used 9.8545 second user time and 20.3379 second system time
The end